Add Mul Mul x0 Mul -5 x0 acosh Add x7 Add Add x0 x0 -3 1 
Add Mul acosh Add x7 Add Add x0 x0 -3 Add Mul -5 x0 Mul x0 -5 Mul Mul x0 Mul -5 x0 Mul 2 Pow Mul sqrt Add Add x7 Add Add x0 x0 -3 -1 sqrt Add 1 Add x7 Add Add x0 x0 -3 -1 