Pow Pow x4 Pow Mul x0 x3 asec Pow Mul atan pi 3 x0 x2 
Mul Pow Pow x4 Pow Mul x0 x3 asec Pow Mul atan pi 3 x0 Add x2 -1 Mul x2 Mul Pow x4 Add Pow Mul x0 x3 asec Pow Mul atan pi 3 x0 -1 Mul Mul x4 log x4 Mul Pow Mul x0 x3 Add asec Pow Mul atan pi 3 x0 -1 Add Mul asec Pow Mul atan pi 3 x0 x3 Mul Mul Mul x0 x3 log Mul x0 x3 Mul Mul Pow Mul atan pi 3 Add x0 -1 Mul Mul atan pi 3 log Mul atan pi 3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Mul atan pi 3 x0 Pow Mul atan pi 3 x0 -1 Pow Mul atan pi 3 x0 Pow Mul atan pi 3 x0 -1 