Add acosh Add Mul Add x0 x0 x0 Add Mul -4 x0 x2 x0 
Add Mul Add Add Mul x0 2 Add x0 x0 -4 Pow Mul sqrt Add Add Mul Add x0 x0 x0 Add Mul -4 x0 x2 -1 sqrt Add 1 Add Mul Add x0 x0 x0 Add Mul -4 x0 x2 -1 1 