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.dev7+g70142a561.d20261025"}
model: null
