Pow Pow Pow x0 log x2 x7 Pow x1 sec atan acot Pow x1 Mul pi sqrt x3 
Mul Pow Pow Pow x0 log x2 x7 Add Pow x1 sec atan acot Pow x1 Mul pi sqrt x3 -1 Mul Pow x1 sec atan acot Pow x1 Mul pi sqrt x3 Mul Pow Pow x0 log x2 Add x7 -1 Mul x7 Mul Pow x0 Add log x2 -1 log x2 