Pow sec x5 Pow Add Add x3 Mul x0 atan x0 Add x0 x0 Add x0 x0 
Mul Pow sec x5 Add Pow Add Add x3 Mul x0 atan x0 Add x0 x0 Add x0 x0 -1 Mul Mul sec x5 log sec x5 Mul Pow Add Add x3 Mul x0 atan x0 Add x0 x0 Add Add x0 x0 -1 Add Mul Add x0 x0 Add Add atan x0 Mul x0 Pow Add 1 Mul x0 x0 -1 2 Mul Mul Add Add x3 Mul x0 atan x0 Add x0 x0 log Add Add x3 Mul x0 atan x0 Add x0 x0 2 