ARM: An algebraic robot dynamic modeling program | Synapse