jax2sympy - John, Viljoen (2025)