Pow Pow Mul x0 1.25992104989487 2 Mul acosh sqrt Pow x7 Add x0 5 x0 
Mul Pow Pow Mul x0 1.25992104989487 2 Add Mul acosh sqrt Pow x7 Add x0 5 x0 -1 Add Mul Mul acosh sqrt Pow x7 Add x0 5 x0 Mul Mul x0 1.25992104989487 3.25992104989487 Mul Mul Pow Mul x0 1.25992104989487 2 log Pow Mul x0 1.25992104989487 2 Add Mul x0 Mul Mul Pow Mul 2 sqrt Pow x7 Add x0 5 -1 Mul Pow x7 Add Add x0 5 -1 Mul x7 log x7 Pow Mul sqrt Add sqrt Pow x7 Add x0 5 -1 sqrt Add 1 sqrt Pow x7 Add x0 5 -1 acosh sqrt Pow x7 Add x0 5 