Pow Add Add x0 Pow Mul x0 x1 x1 Add acosh Pow x7 4 x3 Add x0 1.70997594667670 
Mul Pow Add Add x0 Pow Mul x0 x1 x1 Add acosh Pow x7 4 x3 Add Add x0 1.70997594667670 -1 Add Mul Add x0 1.70997594667670 Add 1 Mul Pow Mul x0 x1 Add x1 -1 Mul x1 x1 Mul Add Add x0 Pow Mul x0 x1 x1 Add acosh Pow x7 4 x3 log Add Add x0 Pow Mul x0 x1 x1 Add acosh Pow x7 4 x3 