Pow acosh Mul x1 0.999998600209970 Pow Add x0 atanh acosh x3 x0 
Mul Pow acosh Mul x1 0.999998600209970 Add Pow Add x0 atanh acosh x3 x0 -1 Mul Mul acosh Mul x1 0.999998600209970 log acosh Mul x1 0.999998600209970 Mul Pow Add x0 atanh acosh x3 Add x0 -1 Add x0 Mul Add x0 atanh acosh x3 log Add x0 atanh acosh x3 