Mul Pow Mul exp Add 3 x0 4 Add acosh sqrt x0 Add Mul x1 x0 x6 Add x0 4 
Add Mul Add x0 4 Mul Pow Mul exp Add 3 x0 4 Add Add acosh sqrt x0 Add Mul x1 x0 x6 -1 Add Mul Add acosh sqrt x0 Add Mul x1 x0 x6 Mul 4 exp Add 3 x0 Mul Mul Mul exp Add 3 x0 4 log Mul exp Add 3 x0 4 Add Mul Pow Mul 2 sqrt x0 -1 Pow Mul sqrt Add sqrt x0 -1 sqrt Add 1 sqrt x0 -1 x1 Pow Mul exp Add 3 x0 4 Add acosh sqrt x0 Add Mul x1 x0 x6 