sec tan Mul exp Add cosh x0 Pow -1 x6 x5 
Mul Mul tan tan Mul exp Add cosh x0 Pow -1 x6 x5 sec tan Mul exp Add cosh x0 Pow -1 x6 x5 Mul Pow sec Mul exp Add cosh x0 Pow -1 x6 x5 2 Mul x5 Mul exp Add cosh x0 Pow -1 x6 sinh x0 