sech cosh Mul x0 Mul 0.321750554396642 x7 
Mul Mul tanh cosh Mul x0 Mul 0.321750554396642 x7 Mul -1 sech cosh Mul x0 Mul 0.321750554396642 x7 Mul sinh Mul x0 Mul 0.321750554396642 x7 Mul 0.321750554396642 x7 