Mul Pow atan x7 Pow asin exp x0 Add x0 x0 Mul x0 sec Pow asec Add 2 Mul E x0 Add x0 x0 
Add Mul Mul x0 sec Pow asec Add 2 Mul E x0 Add x0 x0 Mul Pow atan x7 Add Pow asin exp x0 Add x0 x0 -1 Mul Mul atan x7 log atan x7 Mul Pow asin exp x0 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul exp x0 Pow sqrt Add 1 Mul -1 Mul exp x0 exp x0 -1 Mul Mul asin exp x0 log asin exp x0 2 Mul Pow atan x7 Pow asin exp x0 Add x0 x0 Add sec Pow asec Add 2 Mul E x0 Add x0 x0 Mul x0 Mul Mul tan Pow asec Add 2 Mul E x0 Add x0 x0 sec Pow asec Add 2 Mul E x0 Add x0 x0 Mul Pow asec Add 2 Mul E x0 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add 2 Mul E x0 Add 2 Mul E x0 -1 Add 2 Mul E x0 Add 2 Mul E x0 -1 Mul Mul asec Add 2 Mul E x0 log asec Add 2 Mul E x0 2 