Mul x7 tan Pow Mul x0 sech Add x2 Mul E cosh x0 x2 
Mul x7 Mul Pow sec Pow Mul x0 sech Add x2 Mul E cosh x0 x2 2 Mul Pow Mul x0 sech Add x2 Mul E cosh x0 Add x2 -1 Mul x2 Add sech Add x2 Mul E cosh x0 Mul x0 Mul Mul tanh Add x2 Mul E cosh x0 Mul -1 sech Add x2 Mul E cosh x0 Mul E sinh x0 