theorem :: SIN_COS2:43

tanh | REAL is continuous by Th36, FDIFF_1:25;