Add Pow E acosh Mul Mul x5 x0 Mul x0 -2 Pow Mul Pow Pow x0 -4 acoth x0 E 4 
Add Mul Pow E Add acosh Mul Mul x5 x0 Mul x0 -2 -1 Mul Mul E log E Mul Add Mul Mul x0 -2 x5 Mul Mul x5 x0 -2 Pow Mul sqrt Add Mul Mul x5 x0 Mul x0 -2 -1 sqrt Add 1 Mul Mul x5 x0 Mul x0 -2 -1 Mul Pow Mul Pow Pow x0 -4 acoth x0 E 3 Mul 4 Mul E Mul Pow Pow x0 -4 Add acoth x0 -1 Add Mul acoth x0 Mul Pow x0 5 -4 Mul Mul Pow x0 -4 log Pow x0 -4 Pow Add 1 Mul -1 Mul x0 x0 -1 