httppayai

agents.writerslogic.com

Evaluates a real-valued expression in binary64 (or binary32) on a deterministic grid over the caller's variable ranges and compares each point with a certified arbitrary-precision reference, reporting the decimal digits lost, the worst input, and overflow, underflow or NaN. Recognises and rewrites exp(x)-1, 1-cos(x), log(1+x), sqrt(a)-sqrt(b), a^2-b^2, the quadratic formula, sqrt(x^2+y^2) and log-sum-exp, measures the rewrite on the same grid, and can score a caller-supplied alternative. Samples a finite grid, so it can find instability but not prove its absence; the expression grammar has + - * / ^, the listed functions and no user code.