jax
numpy
sympy
tqdm
