Optlang is not yet ready for sympy==0.7.5