Add x0 Mul Pow acot sec Mul Pow x2 Add x0 tan x6 2 E Add x0 Pow Add x2 Pow x3 x1 x0 
Add 1 Add Mul Add x0 Pow Add x2 Pow x3 x1 x0 Mul Pow acot sec Mul Pow x2 Add x0 tan x6 2 Add E -1 Mul E Mul -1 Mul Mul Mul tan Mul Pow x2 Add x0 tan x6 2 sec Mul Pow x2 Add x0 tan x6 2 Mul 2 Mul Pow x2 Add Add x0 tan x6 -1 Mul x2 log x2 Pow Add 1 Mul sec Mul Pow x2 Add x0 tan x6 2 sec Mul Pow x2 Add x0 tan x6 2 -1 Mul Pow acot sec Mul Pow x2 Add x0 tan x6 2 E Add 1 Mul Pow Add x2 Pow x3 x1 Add x0 -1 Mul Add x2 Pow x3 x1 log Add x2 Pow x3 x1 