Module symbolic_integration 

Symbolic integration (Calculus plan §4.1) — antiderivatives over the CAS.

The current Expr algebra has no ln/exp/trig variants, so this implements the cases it can represent exactly — the power rule, constants, linearity, scalar multiples, and the linear-substitution ∫(ax+b)ⁿ dx — and fails closed (IntegrationError::NotIntegrable, e.g. ∫x⁻¹ dx which needs ln) rather than returning a wrong antiderivative. A Verified round-trip (d/dx ∘ ∫) backs every handled case. Definite integrals use the Fundamental Theorem, with a numerical Simpson fallback when the symbolic form is unavailable.

Enums

IntegrationError

Functions

integrate

Indefinite integral ∫ expr dx (constant of integration omitted).

integrate_definite

Definite integral ∫_a^b expr dx via the Fundamental Theorem when an antiderivative exists, else a numerical Simpson fallback over steps (even) panels.