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