acoth acosh Mul Pow x0 coth x1 3 
Mul Mul Mul 3 Mul Pow x0 Add coth x1 -1 coth x1 Pow Mul sqrt Add Mul Pow x0 coth x1 3 -1 sqrt Add 1 Mul Pow x0 coth x1 3 -1 Pow Add 1 Mul -1 Mul acosh Mul Pow x0 coth x1 3 acosh Mul Pow x0 coth x1 3 -1 