Symbolic Differentiation, Numerical Quadrature & Series Workbench
Switch seamlessly between symbolic derivative rule traces, visual Riemann/Simpson/Gauss–Legendre integration, Taylor expansions, and periodic Fourier spectra.
Applies symbolic Product and Chain rules step-by-step, locating stationary extrema at x = 0 and x = 4 plus concavity inflections.
x^2 * exp(-0.5*x)
Derives exact rational first and second derivatives, curvature κ(x₀), and bounded global extrema without pole singularities.
(x^2 + 1) / (x^2 - x + 2)
Finds all stationary maxima, minima, roots, and concavity sign-flips across [−π, π] with live tangent line visualization.
sin(2*x) + 0.5*cos(x)
Classic integration-by-parts identity where terms x/(1+x²) cancel algebraically to leave f′(x) = arctan(x) and f″(x) = 1/(1+x²).
x*atan(x) - 0.5*ln(1 + x^2)
Evaluates ∫₋₂² e^(−x²) dx = √π·erf(2) ≈ 1.76416278 across 6 quadrature rules, revealing exponential accuracy gain.
exp(-x^2)
Shades and integrates the famous ±1.96σ two-tailed statistical threshold to 7-digit Gauss–Legendre precision.
exp(-x^2 / 2) / sqrt(2*pi)
Rapidly chirping optical diffraction integral testing midpoint/trapezoid cancellation errors against 192-node Gauss–Legendre quadrature.
sin(x^2)
Simultaneously verifies area = 2π ≈ 6.283185, arc circumference = 2π, and solid-of-revolution sphere volume V = (4/3)π(2)³ ≈ 33.5103.
sqrt(max(0, 4 - x^2))
Classic benchmark integral evaluating to exactly 1, illustrating concave-down trapezoidal underestimation vs. midpoint overestimation.
ln(x)
Computes Si(π) ≈ 1.85193705, exceeding π/2 ≈ 1.570796 by the exact 8.95% Fourier Gibbs overshoot ratio.
sinc(x)
Overlays odd-degree alternating Maclaurin approximations onto sin(x), showing how each added term hugs another half-wavelength.
sin(x)
Every derivative f^(k)(0) = 1 generates clean reciprocal-factorial coefficients converging across all real x.
exp(x)
Visually demonstrates why Taylor polynomials match ln(1+x) tightly inside (−1, 1] yet diverge wildly for x > 1 due to the pole at x = −1.
ln(1 + x)
Canonical geometric expansion with unit coefficients cₖ = 1 bounded strictly by the vertical asymptote at x = 1.
1 / (1 - x)
Synthesizes odd sine harmonics 1, 3, 5, … up to N = 25, measuring RMS energy error and persistent 9% jump-discontinuity ringing.
Fourier(square)
Contains both odd and even integer harmonics decaying as 1/n, foundational to subtractive audio synthesizer waveforms.
Fourier(sawtooth)
Continuity of the triangle wave accelerates Fourier decay to 1/n², reaching near-visual perfection in just 5 harmonics.
Fourier(triangle)
Extracts DC average a₀/2 = 2/π ≈ 0.63662 plus even ripple harmonics cos(2nx)/(4n² − 1) for AC-DC filter capacitor design.
Fourier(rectified)
Mathematical Reference & Frequently Asked Questions
How accurate is the Gauss–Legendre reference compared to Riemann and Simpson sums?
Midpoint and Trapezoidal errors scale as O(h²), Simpson 1/3 scales as O(h⁴), whereas our 24-panel 8-node (192-point) Gauss–Legendre quadrature achieves near machine-epsilon precision on smooth integrands.