Formula Equivalence Analyzer — x402gle