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