What
sin(x) → (e^(ix) - e^(-ix))/(2i) and the reverse: collapse complex exponentials back to trig/hyperbolic functions. simplify_trig handles trig→trig; the exp↔trig direction is separate.
Applications
Fourier analysis, complex analysis education, simplifying results that mix trig and exp terms.
Notes
Low-cost addition to the existing simplify_log_exp ruleset.
Tracked from mathematical coverage gap analysis.
What
sin(x) → (e^(ix) - e^(-ix))/(2i)and the reverse: collapse complex exponentials back to trig/hyperbolic functions.simplify_trighandles trig→trig; the exp↔trig direction is separate.Applications
Fourier analysis, complex analysis education, simplifying results that mix trig and exp terms.
Notes
Low-cost addition to the existing
simplify_log_expruleset.Tracked from mathematical coverage gap analysis.