Pow Add x0 Pow asec log Mul x0 Mul Add exp x0 x3 atan x2 Mul cosh x6 x3 x0 
Mul Pow Add x0 Pow asec log Mul x0 Mul Add exp x0 x3 atan x2 Mul cosh x6 x3 Add x0 -1 Add Mul x0 Add 1 Mul Pow asec log Mul x0 Mul Add exp x0 x3 atan x2 Add Mul cosh x6 x3 -1 Mul Mul cosh x6 x3 Mul Mul Add Mul Add exp x0 x3 atan x2 Mul x0 Mul atan x2 exp x0 Pow Mul x0 Mul Add exp x0 x3 atan x2 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul log Mul x0 Mul Add exp x0 x3 atan x2 log Mul x0 Mul Add exp x0 x3 atan x2 -1 log Mul x0 Mul Add exp x0 x3 atan x2 log Mul x0 Mul Add exp x0 x3 atan x2 -1 Mul Add x0 Pow asec log Mul x0 Mul Add exp x0 x3 atan x2 Mul cosh x6 x3 log Add x0 Pow asec log Mul x0 Mul Add exp x0 x3 atan x2 Mul cosh x6 x3 