trying it out with sympy, is it too slow?