Apparently we need sympy from git