acot Mul Pow Add Add x0 log x0 Pow x0 Pow x0 tan x4 Pow x0 Mul Mul -2 x0 x3 E 
Mul -1 Mul Mul E Mul Pow Add Add x0 log x0 Pow x0 Pow x0 tan x4 Add Pow x0 Mul Mul -2 x0 x3 -1 Add Mul Pow x0 Mul Mul -2 x0 x3 Add Add 1 Pow x0 -1 Mul Pow x0 Add Pow x0 tan x4 -1 Add Pow x0 tan x4 Mul Mul x0 log x0 Mul Pow x0 Add tan x4 -1 tan x4 Mul Mul Add Add x0 log x0 Pow x0 Pow x0 tan x4 log Add Add x0 log x0 Pow x0 Pow x0 tan x4 Mul Pow x0 Add Mul Mul -2 x0 x3 -1 Add Mul Mul -2 x0 x3 Mul Mul x0 log x0 Mul x3 -2 Pow Add 1 Mul Mul Pow Add Add x0 log x0 Pow x0 Pow x0 tan x4 Pow x0 Mul Mul -2 x0 x3 E Mul Pow Add Add x0 log x0 Pow x0 Pow x0 tan x4 Pow x0 Mul Mul -2 x0 x3 E -1 