Pow x0 acosh Mul x1 Add x6 Add x0 Mul 4 E 
Mul Pow x0 Add acosh Mul x1 Add x6 Add x0 Mul 4 E -1 Add acosh Mul x1 Add x6 Add x0 Mul 4 E Mul Mul x0 log x0 Mul x1 Pow Mul sqrt Add Mul x1 Add x6 Add x0 Mul 4 E -1 sqrt Add 1 Mul x1 Add x6 Add x0 Mul 4 E -1 