acosh Mul Pow Add 1 x0 x0 Mul x0 coth x4 
Mul Add Mul Mul x0 coth x4 Mul Pow Add 1 x0 Add x0 -1 Add x0 Mul Add 1 x0 log Add 1 x0 Mul Pow Add 1 x0 x0 coth x4 Pow Mul sqrt Add Mul Pow Add 1 x0 x0 Mul x0 coth x4 -1 sqrt Add 1 Mul Pow Add 1 x0 x0 Mul x0 coth x4 -1 