Mul tan Pow Mul 2 Pow acoth x4 csch tan x0 -4 Pow x5 x0 
Add Mul Pow x5 x0 Mul Pow sec Pow Mul 2 Pow acoth x4 csch tan x0 -4 2 Mul Pow Mul 2 Pow acoth x4 csch tan x0 5 Mul -4 Mul 2 Mul Pow acoth x4 Add csch tan x0 -1 Mul Mul acoth x4 log acoth x4 Mul Mul Mul -1 coth tan x0 csch tan x0 Pow sec x0 2 Mul tan Pow Mul 2 Pow acoth x4 csch tan x0 -4 Mul Pow x5 Add x0 -1 Mul x5 log x5 