Pow Add asec x2 x0 atan Mul Add x4 Mul x0 4 x0 
Mul Pow Add asec x2 x0 Add atan Mul Add x4 Mul x0 4 x0 -1 Add atan Mul Add x4 Mul x0 4 x0 Mul Mul Add asec x2 x0 log Add asec x2 x0 Mul Add Mul x0 4 Add x4 Mul x0 4 Pow Add 1 Mul Mul Add x4 Mul x0 4 x0 Mul Add x4 Mul x0 4 x0 -1 