Mul x0 Add Add acosh Add Mul -4 x0 x0 Mul 4 x4 Mul x0 x0 
Add Add Add acosh Add Mul -4 x0 x0 Mul 4 x4 Mul x0 x0 Mul x0 Add Mul 3 Pow Mul sqrt Add Add Mul -4 x0 x0 -1 sqrt Add 1 Add Mul -4 x0 x0 -1 Add x0 x0 