acosh Mul Pow x7 3 Add Pow Mul x3 acoth x3 x0 8 
Mul Mul Pow x7 3 Mul Pow Mul x3 acoth x3 Add x0 -1 Mul Mul x3 acoth x3 log Mul x3 acoth x3 Pow Mul sqrt Add Mul Pow x7 3 Add Pow Mul x3 acoth x3 x0 8 -1 sqrt Add 1 Mul Pow x7 3 Add Pow Mul x3 acoth x3 x0 8 -1 