acosh Add Mul Pow atanh E x0 -0.999329299739067 x0 
Mul Add Mul -0.999329299739067 Mul Pow atanh E Add x0 -1 Mul atanh E log atanh E 1 Pow Mul sqrt Add Add Mul Pow atanh E x0 -0.999329299739067 x0 -1 sqrt Add 1 Add Mul Pow atanh E x0 -0.999329299739067 x0 -1 