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