Mul Pow Mul x0 Add x0 -2 x0 Pow sec atan Pow Pow x4 3 x5 Mul x5 x1 
Mul Pow sec atan Pow Pow x4 3 x5 Mul x5 x1 Mul Pow Mul x0 Add x0 -2 Add x0 -1 Add Mul x0 Add Add x0 -2 x0 Mul Mul x0 Add x0 -2 log Mul x0 Add x0 -2 