sympy2jax
