Pow Mul Mul acsch x4 x0 tan x0 Mul acoth x6 x0 
Mul Pow Mul Mul acsch x4 x0 tan x0 Add Mul acoth x6 x0 -1 Add Mul Mul acoth x6 x0 Add Mul tan x0 acsch x4 Mul Mul acsch x4 x0 Pow sec x0 2 Mul Mul Mul Mul acsch x4 x0 tan x0 log Mul Mul acsch x4 x0 tan x0 acoth x6 