Mul Pow acsc E Add x4 tanh Mul tan x0 Mul acoth x6 x0 -5 
Mul -5 Mul Pow acsc E Add Add x4 tanh Mul tan x0 Mul acoth x6 x0 -1 Mul Mul acsc E log acsc E Mul Pow sech Mul tan x0 Mul acoth x6 x0 2 Add Mul Mul acoth x6 x0 Pow sec x0 2 Mul tan x0 acoth x6 