acosh Mul Pow Pow x0 x5 Add Add x2 x1 Pow x3 -3 acoth x0 
Mul Add Mul acoth x0 Mul Pow Pow x0 x5 Add Add Add x2 x1 Pow x3 -3 -1 Mul Add Add x2 x1 Pow x3 -3 Mul Pow x0 Add x5 -1 x5 Mul Pow Pow x0 x5 Add Add x2 x1 Pow x3 -3 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add Mul Pow Pow x0 x5 Add Add x2 x1 Pow x3 -3 acoth x0 -1 sqrt Add 1 Mul Pow Pow x0 x5 Add Add x2 x1 Pow x3 -3 acoth x0 -1 