Add exp cbrt x7 Pow Mul Pow x2 cosh x6 x0 tan Mul x0 x0 
Mul Pow Mul Pow x2 cosh x6 x0 Add tan Mul x0 x0 -1 Add Mul tan Mul x0 x0 Pow x2 cosh x6 Mul Mul Mul Pow x2 cosh x6 x0 log Mul Pow x2 cosh x6 x0 Mul Pow sec Mul x0 x0 2 Add x0 x0 