Pow Add Mul x5 x0 Mul sec atan Add x0 4 Add x5 x0 Pow pi Mul x0 x0 
Mul Pow Add Mul x5 x0 Mul sec atan Add x0 4 Add x5 x0 Add Pow pi Mul x0 x0 -1 Add Mul Pow pi Mul x0 x0 Add x5 Add Mul Add x5 x0 Mul Mul tan atan Add x0 4 sec atan Add x0 4 Pow Add 1 Mul Add x0 4 Add x0 4 -1 sec atan Add x0 4 Mul Mul Add Mul x5 x0 Mul sec atan Add x0 4 Add x5 x0 log Add Mul x5 x0 Mul sec atan Add x0 4 Add x5 x0 Mul Pow pi Add Mul x0 x0 -1 Mul Mul pi log pi Add x0 x0 