Add Mul x0 Pow coth Add x0 x2 Add Pow x4 cosh x0 acsch log x1 x0 
Add Add Pow coth Add x0 x2 Add Pow x4 cosh x0 acsch log x1 Mul x0 Mul Pow coth Add x0 x2 Add Add Pow x4 cosh x0 acsch log x1 -1 Add Mul Add Pow x4 cosh x0 acsch log x1 Mul -1 Pow csch Add x0 x2 2 Mul Mul coth Add x0 x2 log coth Add x0 x2 Mul Pow x4 Add cosh x0 -1 Mul Mul x4 log x4 sinh x0 1 