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