asinh Pow Mul atanh x0 atanh acosh sqrt E 1.85081571768093 
Mul Mul Pow Mul atanh x0 atanh acosh sqrt E 0.850815717680925 Mul 1.85081571768093 Mul atanh acosh sqrt E Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul Pow Mul atanh x0 atanh acosh sqrt E 1.85081571768093 Pow Mul atanh x0 atanh acosh sqrt E 1.85081571768093 -1 