Mul atan Add -2 x0 Pow Add Mul sec Mul x0 x4 3 x0 Add Mul 2 Pow x0 atan Add x0 x3 x0 
Add Mul Pow Add Mul sec Mul x0 x4 3 x0 Add Mul 2 Pow x0 atan Add x0 x3 x0 Pow Add 1 Mul Add -2 x0 Add -2 x0 -1 Mul atan Add -2 x0 Mul Pow Add Mul sec Mul x0 x4 3 x0 Add Add Mul 2 Pow x0 atan Add x0 x3 x0 -1 Add Mul Add Mul 2 Pow x0 atan Add x0 x3 x0 Add Mul 3 Mul Mul tan Mul x0 x4 sec Mul x0 x4 x4 1 Mul Mul Add Mul sec Mul x0 x4 3 x0 log Add Mul sec Mul x0 x4 3 x0 Add Mul 2 Mul Pow x0 Add atan Add x0 x3 -1 Add atan Add x0 x3 Mul Mul x0 log x0 Pow Add 1 Mul Add x0 x3 Add x0 x3 -1 1 