Mul acot x3 Mul 5 Add Pow Mul E coth Mul csch x0 x0 tan x1 x0 
Mul acot x3 Mul 5 Add Mul Pow Mul E coth Mul csch x0 x0 Add tan x1 -1 Mul tan x1 Mul E Mul Mul -1 Pow csch Mul csch x0 x0 2 Add Mul x0 Mul Mul -1 coth x0 csch x0 csch x0 1 