Mul cosh x7 sech Pow Mul x0 x5 Mul 2 Mul x7 x6 
Mul cosh x7 Mul Mul tanh Pow Mul x0 x5 Mul 2 Mul x7 x6 Mul -1 sech Pow Mul x0 x5 Mul 2 Mul x7 x6 Mul Pow Mul x0 x5 Add Mul 2 Mul x7 x6 -1 Mul Mul 2 Mul x7 x6 x5 