atanh Mul Mul exp atanh Mul Pow x0 acosh x0 x0 x0 1.85081571768093 
Mul Mul 1.85081571768093 Add Mul x0 Mul exp atanh Mul Pow x0 acosh x0 x0 Mul Add Mul x0 Mul Pow x0 Add acosh x0 -1 Add acosh x0 Mul Mul x0 log x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow x0 acosh x0 Pow Add 1 Mul -1 Mul Mul Pow x0 acosh x0 x0 Mul Pow x0 acosh x0 x0 -1 exp atanh Mul Pow x0 acosh x0 x0 Pow Add 1 Mul -1 Mul Mul Mul exp atanh Mul Pow x0 acosh x0 x0 x0 1.85081571768093 Mul Mul exp atanh Mul Pow x0 acosh x0 x0 x0 1.85081571768093 -1 