Mul Pow coth sinh x0 Add x0 x3 x0 
Add Mul x0 Mul Pow coth sinh x0 Add Add x0 x3 -1 Add Mul Add x0 x3 Mul Mul -1 Pow csch sinh x0 2 cosh x0 Mul coth sinh x0 log coth sinh x0 Pow coth sinh x0 Add x0 x3 