Pow x7 Add Add asech Pow pi x0 -5 Pow Mul atan exp x0 acos atan x0 x0 
Mul Pow x7 Add Add Add asech Pow pi x0 -5 Pow Mul atan exp x0 acos atan x0 x0 -1 Mul Mul x7 log x7 Add Mul Mul Pow pi Add x0 -1 Mul pi log pi Pow Mul Mul Pow pi x0 Pow pi x0 sqrt Add 1 Mul -1 Pow Mul Pow pi x0 Pow pi x0 -1 -1 Mul Pow Mul atan exp x0 acos atan x0 Add x0 -1 Add Mul x0 Add Mul acos atan x0 Mul exp x0 Pow Add 1 Mul exp x0 exp x0 -1 Mul atan exp x0 Mul -1 Mul Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul atan x0 atan x0 -1 Mul Mul atan exp x0 acos atan x0 log Mul atan exp x0 acos atan x0 