Mul Pow Pow 2 acosh Mul exp x0 acosh Mul x1 E Add Add x0 x0 x1 Pow x0 x5 
Add Mul Pow x0 x5 Mul Pow Pow 2 acosh Mul exp x0 acosh Mul x1 E Add Add Add x0 x0 x1 -1 Add Mul Add Add x0 x0 x1 Mul Pow 2 Add acosh Mul exp x0 acosh Mul x1 E -1 Mul 2.69314718055995 Mul Mul acosh Mul x1 E exp x0 Pow Mul sqrt Add Mul exp x0 acosh Mul x1 E -1 sqrt Add 1 Mul exp x0 acosh Mul x1 E -1 Mul Mul Pow 2 acosh Mul exp x0 acosh Mul x1 E log Pow 2 acosh Mul exp x0 acosh Mul x1 E 2 Mul Pow Pow 2 acosh Mul exp x0 acosh Mul x1 E Add Add x0 x0 x1 Mul Pow x0 Add x5 -1 x5 