jax
numpy
sympy
tqdm
sympy2jax
