atan Mul x0 Pow asec acot Add asech Pow x5 x0 x2 x0 
Mul Add Pow asec acot Add asech Pow x5 x0 x2 x0 Mul x0 Mul Pow asec acot Add asech Pow x5 x0 x2 Add x0 -1 Add Mul x0 Mul Mul -1 Mul Mul Mul Pow x5 Add x0 -1 Mul x5 log x5 Pow Mul Mul Pow x5 x0 Pow x5 x0 sqrt Add 1 Mul -1 Pow Mul Pow x5 x0 Pow x5 x0 -1 -1 Pow Add 1 Mul Add asech Pow x5 x0 x2 Add asech Pow x5 x0 x2 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acot Add asech Pow x5 x0 x2 acot Add asech Pow x5 x0 x2 -1 acot Add asech Pow x5 x0 x2 acot Add asech Pow x5 x0 x2 -1 Mul asec acot Add asech Pow x5 x0 x2 log asec acot Add asech Pow x5 x0 x2 Pow Add 1 Mul Mul x0 Pow asec acot Add asech Pow x5 x0 x2 x0 Mul x0 Pow asec acot Add asech Pow x5 x0 x2 x0 -1 