Pow x3 acosh Mul Mul Pow -4 x2 coth x0 sin Add -4 x0 
Mul Pow x3 Add acosh Mul Mul Pow -4 x2 coth x0 sin Add -4 x0 -1 Mul Mul x3 log x3 Mul Add Mul sin Add -4 x0 Mul Pow -4 x2 Mul -1 Pow csch x0 2 Mul Mul Pow -4 x2 coth x0 cos Add -4 x0 Pow Mul sqrt Add Mul Mul Pow -4 x2 coth x0 sin Add -4 x0 -1 sqrt Add 1 Mul Mul Pow -4 x2 coth x0 sin Add -4 x0 -1 