Pow Add -1 acosh sqrt Add x7 x0 x0 
Mul Pow Add -1 acosh sqrt Add x7 x0 Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt Add x7 x0 -1 Pow Mul sqrt Add sqrt Add x7 x0 -1 sqrt Add 1 sqrt Add x7 x0 -1 Mul Add -1 acosh sqrt Add x7 x0 log Add -1 acosh sqrt Add x7 x0 