Mul Pow x3 atan sec Pow pi x0 x0 
Add Mul x0 Mul Pow x3 Add atan sec Pow pi x0 -1 Mul Mul x3 log x3 Mul Mul Mul tan Pow pi x0 sec Pow pi x0 Mul Pow pi Add x0 -1 Mul pi log pi Pow Add 1 Mul sec Pow pi x0 sec Pow pi x0 -1 Pow x3 atan sec Pow pi x0 