acoth Pow Add -3 E Pow x0 Mul tan x0 x4 
Mul Mul Pow Add -3 E Add Pow x0 Mul tan x0 x4 -1 Mul Mul Add -3 E log Add -3 E Mul Pow x0 Add Mul tan x0 x4 -1 Add Mul tan x0 x4 Mul Mul x0 log x0 Mul x4 Pow sec x0 2 Pow Add 1 Mul -1 Mul Pow Add -3 E Pow x0 Mul tan x0 x4 Pow Add -3 E Pow x0 Mul tan x0 x4 -1 