removed sympy workaround