acosh Mul Pow Pow x0 Mul x5 x2 coth x7 3 
Mul Mul 3 Mul Pow Pow x0 Mul x5 x2 Add coth x7 -1 Mul coth x7 Mul Pow x0 Add Mul x5 x2 -1 Mul x5 x2 Pow Mul sqrt Add Mul Pow Pow x0 Mul x5 x2 coth x7 3 -1 sqrt Add 1 Mul Pow Pow x0 Mul x5 x2 coth x7 3 -1 