yaniv-golan/eml-skill

1

eml-check Verify whether a claimed EML tree really computes a stated elementary function. Use when a user presents an EML expre…

yaniv-golan/eml-skill

2

2

eml-fit Deterministic library-first regression — fit a CSV against the calculator-primitive witness library (unary, affine `a…

yaniv-golan/eml-skill

2

3

eml-lab Compile ordinary formulas (exp(x+y), x**y, ln(x*y), sin(x)+cos(x), sqrt(x*y), x/y, asin(x), atan(x), log10(x)) into E…

yaniv-golan/eml-skill

2

4

eml-optimize Verify numerical equivalence of two EML trees (interior samples + branch-cut probes), search for shorter trees via wi…

yaniv-golan/eml-skill

2

5

math-identity-check Numerically check whether two elementary-function expressions are equal. Use when someone asks "is sin(x)^2 + cos(x)^…

yaniv-golan/eml-skill

2