Hyperbolic Functions Preserve ELC (And Why Trig Doesn't)

sinh, cosh, and tanh map ELC inputs to ELC outputs. sin, cos, and tan don't. Machine-verified in Lean 4. With a 3-4-5 triple bonus.