Pow Pow x4 Mul 4 Pow coth x0 tan x2 E 
Mul Pow Pow x4 Mul 4 Pow coth x0 tan x2 Add E -1 Mul E Mul Pow x4 Add Mul 4 Pow coth x0 tan x2 -1 Mul Mul x4 log x4 Mul 4 Mul Pow coth x0 Add tan x2 -1 Mul tan x2 Mul -1 Pow csch x0 2 