Add Pow acosh Mul Pow x0 -4 x0 x0 Pow coth Pow x0 x4 Mul coth x2 x2 
Add Mul Pow acosh Mul Pow x0 -4 x0 Add x0 -1 Add Mul x0 Mul Add Mul x0 Mul Pow x0 5 -4 Pow x0 -4 Pow Mul sqrt Add Mul Pow x0 -4 x0 -1 sqrt Add 1 Mul Pow x0 -4 x0 -1 Mul acosh Mul Pow x0 -4 x0 log acosh Mul Pow x0 -4 x0 Mul Pow coth Pow x0 x4 Add Mul coth x2 x2 -1 Mul Mul coth x2 x2 Mul Mul -1 Pow csch Pow x0 x4 2 Mul Pow x0 Add x4 -1 x4 