Symbolic math in Python for robotics