Add x0 Mul atan Pow -4 x3 Mul x0 Pow pi Mul sec x7 Mul Add x0 x6 x3 
Add 1 Mul atan Pow -4 x3 Add Pow pi Mul sec x7 Mul Add x0 x6 x3 Mul x0 Mul Pow pi Add Mul sec x7 Mul Add x0 x6 x3 -1 Mul Mul pi log pi Mul sec x7 x3 