sec Pow Mul Mul x0 x0 -2 atan x0 
Mul Mul tan Pow Mul Mul x0 x0 -2 atan x0 sec Pow Mul Mul x0 x0 -2 atan x0 Mul Pow Mul Mul x0 x0 -2 Add atan x0 -1 Add Mul atan x0 Mul -2 Add x0 x0 Mul Mul Mul Mul x0 x0 -2 log Mul Mul x0 x0 -2 Pow Add 1 Mul x0 x0 -1 