HF RL Explorer

Bug Report: simplify() produces mathematically incorrect results in non‑default algebraic domains

Bug Report: simplify() produces mathematically incorrect results in non‑default algebraic domains: a task in LegoFlow-SWE (Harbor dataset). The math.simplify() function applies all built‑in simplification rules regardless of the algebraic domain. This leads to incorrect simplifications in several…

The task

The `math.simplify()` function applies all built‑in simplification rules regardless of the algebraic domain. This leads to incorrect simplifications in several important scenarios:

Part of Lego-X/LegoFlow-SWE.