acosh Mul csch Mul Add Pow x0 x3 x0 x0 8 
Mul Mul 8 Mul Mul Mul -1 coth Mul Add Pow x0 x3 x0 x0 csch Mul Add Pow x0 x3 x0 x0 Add Mul x0 Add Mul Pow x0 Add x3 -1 x3 1 Add Pow x0 x3 x0 Pow Mul sqrt Add Mul csch Mul Add Pow x0 x3 x0 x0 8 -1 sqrt Add 1 Mul csch Mul Add Pow x0 x3 x0 x0 8 -1 