Methods, accuracy, and supported domains
Maintained by Starlight Robotics. Updated . A named mathematical reviewer and qualification have not been documented; no independent review is claimed.
- Symbolic differentiation
- The local expression tree applies power, product, quotient, and chain rules. Both derivatives and the rules used appear in the solution.
- Algebraic root analysis
- Numeric literals first parse at browser floating-point precision; subsequent rational polynomial coefficient operations use exact fraction arithmetic. Repeated factors are removed before derivative-based root isolation and bisection. Supported root polynomials have degree at most eight. Rational roots with denominator up to 1,000 and quadratic radicals receive exact labels.
- Supported global analysis
- Rational functions on a continuous domain; abs or sqrt of supported polynomials on a valid domain; exp, ln, and log of an affine expression; sin and cos of an affine expression on finite intervals with at most 180 periods of π. Open or infinite boundaries use analytic limits for these families. Domains containing denominator gaps are not certified.
- Numerical fallback
- Other expressions use 1,600 sampled subintervals with bisection and Newton refinement. Their results are exploratory: roots, cusps, discontinuities, and narrow or rapid oscillations may be missed. An infinite domain is explored through a finite graph window, never treated as a global search.
- Tolerances and rounding
- Algebraic bisection stops at about 10⁻¹³(1+|x|); numerical locations within 10⁻⁹(1+|x|) merge. Value ties use relative tolerance 10⁻⁹ with a 10⁻¹² scale floor. Decimal precision affects display only; very small nonzero values use scientific notation. Extreme scales and closely spaced roots may be unresolved.
- Privacy and limits
- Calculations run in your browser. Use one variable and expressions up to 300 characters. Finite bounds must lie within ±10 billion. Exact substituted expressions may remain unsimplified; ≈ always marks numerical values.
Validation cases cover polynomial endpoint winners, equal extrema, repeated roots, flat minima, stationary inflections, sine, exponential limits, absolute-value cusps, denominator discontinuities, open domains, and applied constraints. See the examples below for reproducible inputs.
