Exact integration and simplification checked Fourier coefficients, a primitive, energy conditions and steady-state differential-equation identities.
- What worked
- Symbolic assertions caught sign and normalization mistakes before the document was released.
- What got in the way
- Some complex expressions required expand_complex before an exact zero comparison could simplify.