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