Premium apps Part of Proofline

Numerical Equation Solver & Optimizer

Every root of f(x) = 0 in an interval, Newton or bisection steps, systems and minima.

One equation (cos(x) = x, or x^3 - 2x - 5 meaning = 0), one function for minimum/maximum, or one equation per line for a system. Use + − * / ^, implicit products (2x), sin, cos, tan, exp, ln (natural log), log (base 10), sqrt, abs, pi and e. Angles are in radians.

More options

Default x; for a system a comma-separated list such as x, y (as many as equations).

Systems always use Newton’s method.

Newton’s method: one number, or one per unknown for a system (default 1 for each unknown; for one equation the interval midpoint).

Stop when the bracket, the step or the residual is below this value.

Try an example: All roots of cos(x) = x · Three roots of a cubic · Newton’s method for √2 with iteration table · Bisection steps for x³ − 2x − 5 = 0 · Circle meets hyperbola: nonlinear system · Minimum of x⁴ − 3x² + x

More about this tool

How it works

Finds every root of an equation such as cos(x) = x in an interval (sign changes refined with Brent’s method, touching roots detected), shows the iteration table of bisection or Newton’s method, solves systems of up to six nonlinear equations with a damped Newton method, and locates minima and maxima with Brent’s method or golden-section search. The numeric counterpart to the exact step-by-step solver; part of the Proofline math notebook.

  • Expressions are read by Proofline’s own parser (no eval): + − * / ^, implicit products, the usual functions; ln is the natural logarithm, log is base 10.
  • All roots: the interval is sampled at 401 points; every sign change is refined with Brent’s method (inverse quadratic interpolation, secant and bisection with guaranteed convergence). Sign changes across a pole (tan x) are rejected because |f| stays large. Local minima of |f| near zero without a sign change are refined by minimising f² and reported as touching roots.
  • Bisection halves a bracket with a sign change; Newton’s method uses a central-difference derivative with step ∛ε·max(1, |x|); both list every iteration.
  • Systems: damped Newton method with a forward-difference Jacobian and LU decomposition with partial pivoting; the step is halved until the largest residual decreases.
  • Minima and maxima: sampled local extrema refined with Brent’s minimiser (parabolic interpolation + golden section) or plain golden-section search; extrema at the interval ends are flagged.

Numerical methods find roots and extrema to floating-point precision; roots closer together than 1/400 of the interval can be missed, and Newton’s method may converge to a different root than expected.

Sources

Part of Proofline

Related tools

  • Step-by-Step Equation Solver – Solve linear, quadratic, rational and radical equations or linear systems with every step shown.
  • Graphing Calculator – Plot up to 6 functions or parametric curves with roots, extrema, intersections and SVG/PNG export.
  • Math Workbench – Simplify, factor, differentiate, integrate, solve, take limits, series and plots in one box.
  • Curve Fitter & Regression Calculator – Fit lines, polynomials, exponentials or your own model: parameters, R², errors, residuals.

Find roots, solve nonlinear systems and locate minima numerically

Get every root of f(x) = 0 in an interval, follow Newton or bisection step by step, solve small nonlinear systems and find minima and maxima.

What it is for

Many equations have no formula for their solution: cos(x) = x, e^(−x) = x² − 1, or a pair like x² + y² = 4 and x·y = 1. This tool solves them numerically, to about 12 significant digits, and shows how it got there.

Pick a Problem. Equation finds roots, either all of them in an interval (Brent's method) or one by bisection or Newton's method with every iteration listed. System of nonlinear equations solves up to six equations in as many unknowns with a damped Newton method. Minimum and Maximum scan an interval and refine every local extremum.

If you need exact answers with algebraic steps (fractions, square roots), use the step-by-step equation solver instead. This tool is the numeric counterpart.

Worked example

Enter exp(-x) = x^2 - 1, keep Brent, and set the interval from −3 to 3. The tool reports: One root of exp(-x) = x^2 - 1 between -3 and 3: x = 1.14775763214. The table shows the residual f(x) = −2.6·10⁻¹⁵, which means the two sides agree to the last digit a double can hold. Brent needed 5 iterations after the scan found the sign change.

Now switch to Newton's method for x^3 - 2x - 5 = 0 with start value 2. The iteration table is the classic textbook one: x goes 2 → 2.1 → 2.094568121 → 2.094551482, f(x) drops from −1 to 0.061, 0.00019, 1.7·10⁻⁹ and finally −8.9·10⁻¹⁶. The number of correct digits roughly doubles each step, which is what quadratic convergence looks like. Bisection on the same equation over [2, 3] with tolerance 10⁻⁶ needs 19 halvings.

For the system x^2 + y^2 = 4 and x*y = 1 with start values 2, 0.5, Newton's method converges in 4 iterations to x = 1.93185165258, y = 0.517638090205.

How to read the result

  • Metrics show the root(s), the residual and the work done (iterations, function evaluations).
  • Roots in the interval lists every root with its type: sign change or touches zero. A touching root, like x = 1 in (x − 1)², has no sign change and is found by minimising f²; it is accurate to about half as many digits.
  • Bisection steps / Newton iterations are the full tables, ready to copy into homework or a report.
  • For systems, Residual of each equation confirms the answer, and the convergence plot shows the largest residual per step on a log scale.
  • The graph marks the roots or extrema on f.

Tips and common mistakes

  • ln is the natural logarithm and log is base 10. Angles are in radians.
  • Brent samples the interval at 401 points. Two roots closer than 1/400 of the interval can hide between samples, so narrow the interval when you suspect clustered roots.
  • Sign changes across a pole (tan x at ±π/2) are rejected, because |f| stays large there.
  • Newton's method can jump to a different root, or diverge, from a poor start value. Use Brent to see where the roots are, then Newton for the steps.
  • A system needs as many equations as unknowns. If Newton stops with "no step reduces the residuals", try other start values; there may be no real solution nearby.
  • A minimum flagged at the interval end means the function keeps falling beyond your interval.

FAQ

How accurate are the roots?

The default tolerance is 10⁻¹², so roots of well-behaved functions are correct to about 12 digits. The residual column shows how close f(x) really is to zero.

Why does bisection need so many more steps than Newton?

Bisection gains one binary digit per step, about 3.3 steps per decimal digit. Newton doubles the correct digits each step once it is close, but it needs a derivative and a good start.

Can it find complex roots?

No. It works with real numbers only. For complex roots of polynomials use the step-by-step solver or the math workbench.

Is the derivative computed symbolically?

No. Newton's method uses a central difference with a step of about 6·10⁻⁶ times |x|. That is accurate enough for fast convergence on smooth functions.

Guide last updated:

For scripts and AI agents

  • JSON API: POST https://prooflineequationsolver.usefulweb.site/api/v1/calculate (same calculation as this page)
  • Interface description: OpenAPI 3.1 · AI guide: llms.txt
  • MCP server (Streamable HTTP): https://prooflineequationsolver.usefulweb.site/mcp · tool name proofline_equation_solver
Example request
curl -s -X POST https://prooflineequationsolver.usefulweb.site/api/v1/calculate \
  -H 'content-type: application/json' \
  -d '{"problem":"equation","equations":"cos(x) = x","from":-5,"to":5}'
Feedback · ideas & bug reports welcome