acos Add Mul Pow x0 x1 Add -3 Mul Pow -3 E log acsch x2 1 
Mul -1 Mul Mul Add -3 Mul Pow -3 E log acsch x2 Mul Pow x0 Add x1 -1 x1 Pow sqrt Add 1 Mul -1 Mul Add Mul Pow x0 x1 Add -3 Mul Pow -3 E log acsch x2 1 Add Mul Pow x0 x1 Add -3 Mul Pow -3 E log acsch x2 1 -1 