Numerical Derivative Calculator
Finite-difference derivative of a polynomial, sin, or exp, plus a numeric two-sided limit. Central, forward, backward, or limit. Discovery /two-sided-limit. Not symbolic d/dx. Runs locally.
Enter values to calculate.
Trust summary CVP VERIFIED · CVP protocol 1.0.0-proposed · Core assurance · all published methods
- Input interpretation
- Enter values to calculate.
- Result
- —
- Verified scope
- all published methods
- Assurance
- Core
- Declared partition coverage
- PASS · 7/7 declared partitions (tiny-step, subnormal-exp, central, forward, backward, limit, invalid-domain) · Matrix
- Known limitations
- Core CVP does not include live graph, viewport, or pointer interaction.
- Model
- Finite-difference derivative, or numeric two-sided limit, of poly, sin, or exp at x, with an engine-linked tangent (or limit) figure.
- Scope
- The Result Card includes an engine-linked figure of f around x (tangent slope is the published finite difference; two-sided limit draws a horizontal at the probe). Polynomial curve samples use exact dyadic intermediates; sin/exp samples use the same function family as REST/MCP. Not symbolic CAS d/dx.
- Verification
- Engine tested · Source checked · v1.1.4 · CVP VERIFIED · CVP protocol 1.0.0-proposed · Core assurance · all published methods· View Manifest · CVP overview · Specification
- Versions
- Calculation 1.1.4 · CVP protocol 1.0.0-proposed · Evidence 2026-10-28.metric-scope-v3
- Verification revision
- 2026-10-28.metric-scope-v3 · 1/1 property · digest 2f8a7989f6c9
- Legacy regression
- 14/14 tests · Production surface contract 6/6
- Trust layers
- Verification VERIFIED · Production CURRENT · Overall CVP state: VERIFIED under CVP 1.0.0-proposed
- Reference
- O1 model · O2 expected_values · O2 numerical_behavior
- Interfaces
- PASS · UI (SSR) / REST / MCP
- Supplemental domain review
- Not performed
- Named expert review
- Not performed
- CVP suite
- 255/255 golden · 2/2 CVP boundary · 16/16 invalid · 1/1 property · 2/2 metamorphic · 16/16 cross-interface · 1/1 cross-calculator · 6/6 CVP contract · Manifest
- Sources
- ISO 80000-2:2019 Quantities and units — Mathematics
- CRC Standard Mathematical Tables — forward, backward, and central differences
- NIST DLMF §3.4 — Differentiation
- Gilbert Strang, Calculus — Chapter 2: Derivatives (MIT OpenCourseWare)
- Evidence
- 4 legacy golden · 3 legacy boundary · legacy regression suite · 255/255 oracle-backed golden · 16/16 invalid · Artifact integrity PASS
- Semantic contract
- PASS
Full verification
Formulas
Core equations used by this calculator.
How to use
Choose difference or limit, and f
Poly needs coeffs. sin and exp are f(x)=sin x and eˣ. Central is usually more accurate for f′. Two-sided limit is a sibling method.
Enter x and optional h
The exact derivative or f(x) (for limit) is shown beside the numeric approximation.
Example calculations
Common configurations with formula and result.
x² at 3
coeffs 0,0,1, central
lim x² at 3
method=limit
Numerical Derivative calculator specification
Version 1.1.4 · Engine tested
- Engine tested 14/14 tests · Production surface contract 6/6
- Named expert review Not performed
- Calculation version 1.1.4
- Definition
- f′(x) is approximated by a forward, backward, or central difference with step h. method=limit estimates the two-sided lim_{t→x} f(t). Polynomial, sin, and exp have an exact check — not a CAS.
- What it calculates
- Finite-difference derivative, or numeric two-sided limit, of poly, sin, or exp at x, with an engine-linked tangent (or limit) figure.
- Inputs
- method
- integrand
- x
- h?
- coeffs?
- Outputs
- value
- exact
- abs_err
- left?
- right?
- gap?
- Formula
forward / backward / central difference, or two-sided [f(x+h)+f(x−h)]/2- Assumptions
- The Result Card includes an engine-linked figure of f around x (tangent slope is the published finite difference; two-sided limit draws a horizontal at the probe). Polynomial curve samples use exact dyadic intermediates; sin/exp samples use the same function family as REST/MCP. Not symbolic CAS d/dx.
- Not one-sided limits
- Not L’Hôpital
- Polynomial degree ≤ 8
- Units
- dimensionless
- Boundary conditions
- exp(x) underflow to zero → NUMERICAL_RANGE_ERROR
- Non-finite function probes, derivative or error → NUMERICAL_RANGE_ERROR
- h ≤ 0 → VALUE_MUST_BE_POSITIVE
- h > 1 → VALUE_OUT_OF_RANGE
- unknown method (including autodiff, left, lhopital, cas) → INVALID_MODE
- Example
- central poly 0,0,1 at x=3 → 6
- Validation cases
2 published on this page · 14/14 tests · Production surface contract 6/6 · View evidence
- method=central integrand=poly coeffs=0,0,1 x=3 → exact=6
- method=autodiff integrand=sin x=0 → INVALID_MODE
- Sources
- ISO 80000-2:2019 Quantities and units — MathematicsSupports: Mathematical symbols and notation. This standard is not numerical verification or an endorsement of this implementation.
- CRC Standard Mathematical Tables — forward, backward, and central differencesSupports: Forward (f(x+h)−f(x))/h; backward; central (f(x+h)−f(x−h))/(2h); two-sided probe of f
- NIST DLMF §3.4 — Differentiation — §3.4Supports: Numerical differentiation using differences, including truncation and rounding considerations.
- Gilbert Strang, Calculus — Chapter 2: Derivatives (MIT OpenCourseWare) — §§2.6–2.7 Limits and Continuous FunctionsSupports: Two-sided and one-sided limits, continuity, and functions whose limits do not exist. Finite numerical samples alone are not proof of a mathematical limit; CalculatorX’s sampling limitations are stated separately. Mathematical reference only; not implementation validation or an endorsement of CalculatorX.
- ISO 80000-2:2019 Quantities and units — Mathematics
- Calculation version
- 1.1.4
Background
Interpretation and common distinctions.
What does this numerical derivative calculator compute?
f′(x) is approximated by a forward, backward, or central difference with step h. method=limit estimates the two-sided lim_{t→x} f(t). Polynomial, sin, and exp have an exact check — not a CAS.
The published formula or method is forward / backward / central difference, or two-sided [f(x+h)+f(x−h)]/2. The following references support the stated mathematics or method:
- NIST DLMF §3.4 — Differentiation: Numerical differentiation using differences, including truncation and rounding considerations.
- Gilbert Strang, Calculus — Chapter 2: Derivatives (MIT OpenCourseWare): Two-sided and one-sided limits, continuity, and functions whose limits do not exist. Finite numerical samples alone are not proof of a mathematical limit; CalculatorX’s sampling limitations are stated separately. Mathematical reference only; not implementation validation or an endorsement of CalculatorX.
Which inputs and limits should you check?
A finite step gives a numerical estimate. Very small steps can amplify roundoff, while large steps introduce truncation error; finite samples alone do not prove an arbitrary limit.
The worked example uses coeffs 0,0,1, central with f′ = 2x. Compare it with the Example calculations and the complete result for the same inputs.
How can you verify and cite this result?
CalculatorX is responsible for this page. The mathematical references above explain the model; implementation checks and their scope are documented separately in the math.numerical.derivative v1.1.4 Evidence and capability contract. Read the displayed verification and production state together with the specification's numerical limits.
Use the clean calculator URL to cite the tool. A shared input link identifies a particular calculation. Content updates, numerical verification, and domain reviews have separate dates and scopes.
Input precision, finite-step meaning and privacy
Use finite decimal numbers or decimal text for x and h. Nonzero decimal underflow is rejected, never changed to zero. Missing h uses 0.000001; an explicitly empty h remains an error. h must satisfy 0<h≤1. Polynomial input is 2–9 constant-first coefficients, degree at most8; constants use c0,0. Method/function/coefficient aliases must agree. Two-Sided Limit locks method=limit.
The primary value is the requested finite-step approximation, not the analytic derivative. Polynomial x±h uses mathematical sums of the supplied binary64 values with exact dyadic intermediates; stable sin/exp identities also retain h when a binary64 node would round to x. A finite sample does not prove an arbitrary limit. Nonzero primary value/baseline underflow and nonfinite probes/results are rejected. Probe, gap and signed error diagnostics are rounded binary64 and may quantize to zero; subnormal outputs have coarse relative precision.
The historical exact field is a binary64 analytic baseline. abs_err is the signed difference of the published approximation and baseline, not an absolute error or certified bound. Values publish12 significant digits; this does not guarantee12 digits of accuracy for arbitrary h. The complete result includes method/function, x/h, polynomial coefficients, value/baseline/error/formula, and left/right/gap for limit. At unsupported graphic scales a figure may be omitted while the numeric result is retained.
Ordinary form calculations run locally without an account. JSON and CSV retain full inputs, results and calculation version. A shared query URL sends its parameters to the server when opened and may appear in server or third-party logs. Workspace fragments are recomputed from inputs; stored result claims are ignored.
Related tools
Other calculators in this family: Brent Method Calculator, Definite Integral Calculator, Euler Method Calculator, Gauss Quadrature Calculator, Golden Section Search Calculator, Nonlinear Equation Calculator, Numerical Interpolation Calculator, Numerical Root Calculator . Explore all Numerical Calculus.
Frequently asked questions
Key distinctions behind the calculation.
Can this differentiate a symbolic expression?
No. Symbolic d/dx is out of scope. This page is a finite difference or two-sided numeric limit of poly, sin, or exp, with an exact check.
Is the two-sided limit a second engine?
No. method=limit is on the same math.numerical.derivative engine. Discovery URL /calc/math/two-sided-limit. One-sided and L’Hôpital are INVALID_MODE.
Where does this run?
Locally in the browser by default. REST and MCP call the same derivative engine.