Add Mul x0 Add Mul x0 coth x0 Mul Pow coth acsch x5 tanh x0 x2 x0 
Add Add Add Mul x0 coth x0 Mul Pow coth acsch x5 tanh x0 x2 Mul x0 Add Add coth x0 Mul x0 Mul -1 Pow csch x0 2 Mul x2 Mul Pow coth acsch x5 Add tanh x0 -1 Mul Mul coth acsch x5 log coth acsch x5 Pow sech x0 2 1 