Pow x2 Add asec Pow x0 x0 exp Pow Add x7 Add pi x0 x0 
Mul Pow x2 Add Add asec Pow x0 x0 exp Pow Add x7 Add pi x0 x0 -1 Mul Mul x2 log x2 Add Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x0 x0 Pow x0 x0 -1 Pow x0 x0 Pow x0 x0 -1 Mul exp Pow Add x7 Add pi x0 x0 Mul Pow Add x7 Add pi x0 Add x0 -1 Add x0 Mul Add x7 Add pi x0 log Add x7 Add pi x0 