rederive-maths on e-2: passed
the difference simplifies to 0
tool: {"name": "credencegraph-extract", "python": "3.15.0", "sympy": "1.14.0", "version": "0.1.dev20+g4785bc2fb"}
model: null
