Mul 2 Add acsc x4 Add sech Mul Mul x0 Mul cosh x0 2 x0 exp x4 
Mul 2 Mul Mul tanh Mul Mul x0 Mul cosh x0 2 x0 Mul -1 sech Mul Mul x0 Mul cosh x0 2 x0 Add Mul x0 Add Mul cosh x0 2 Mul x0 Mul 2 sinh x0 Mul x0 Mul cosh x0 2 