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