Mul Mul Mul Pow Mul Pow coth x0 tan x6 x0 x0 Mul -2 x0 5 x6 
Mul x6 Mul 5 Add Mul Mul -2 x0 Mul Pow Mul Pow coth x0 tan x6 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul Pow coth x0 Add tan x6 -1 Mul tan x6 Mul -1 Pow csch x0 2 Pow coth x0 tan x6 Mul Mul Pow coth x0 tan x6 x0 log Mul Pow coth x0 tan x6 x0 Mul Pow Mul Pow coth x0 tan x6 x0 x0 -2 