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