Add Pow x0 Pow coth x0 sinh acosh x4 Pow Mul x4 x0 x2 
Add Mul Pow x0 Add Pow coth x0 sinh acosh x4 -1 Add Pow coth x0 sinh acosh x4 Mul Mul x0 log x0 Mul Pow coth x0 Add sinh acosh x4 -1 Mul sinh acosh x4 Mul -1 Pow csch x0 2 Mul Pow Mul x4 x0 Add x2 -1 Mul x2 x4 