Pow Mul -2 x5 Add x0 Add Pow Mul x7 x0 Add 0.881373587019543 Pow x7 Mul sqrt acosh E x0 x0 
Mul Pow Mul -2 x5 Add Add x0 Add Pow Mul x7 x0 Add 0.881373587019543 Pow x7 Mul sqrt acosh E x0 x0 -1 Mul Mul Mul -2 x5 log Mul -2 x5 Add 1 Add Mul Pow Mul x7 x0 Add Add 0.881373587019543 Pow x7 Mul sqrt acosh E x0 -1 Add Mul Add 0.881373587019543 Pow x7 Mul sqrt acosh E x0 x7 Mul Mul Mul x7 x0 log Mul x7 x0 Mul Pow x7 Add Mul sqrt acosh E x0 -1 Mul Mul x7 log x7 sqrt acosh E 1 