Pow Mul x2 Add sec Pow Add pi -1 atan x0 Mul 2 x6 27 
Mul Pow Mul x2 Add sec Pow Add pi -1 atan x0 Mul 2 x6 26 Mul 27 Mul x2 Mul Mul tan Pow Add pi -1 atan x0 sec Pow Add pi -1 atan x0 Mul Pow Add pi -1 Add atan x0 -1 Mul Mul Add pi -1 log Add pi -1 Pow Add 1 Mul x0 x0 -1 