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