Add Pow atan x2 Pow tan x0 Add E -4 Add Pow Mul -4 E x0 Pow x0 x6 
Add Mul Pow atan x2 Add Pow tan x0 Add E -4 -1 Mul Mul atan x2 log atan x2 Mul Pow tan x0 Add Add E -4 -1 Mul Add E -4 Pow sec x0 2 Add Mul Pow Mul -4 E Add x0 -1 Mul Mul -4 E log Mul -4 E Mul Pow x0 Add x6 -1 x6 