Mul x0 Add Add Mul acosh x1 Add x3 -4 x0 Mul x0 Add 4 Add Pow sqrt x0 -1 3.18299087769302 
Add Add Add Mul acosh x1 Add x3 -4 x0 Mul x0 Add 4 Add Pow sqrt x0 -1 3.18299087769302 Mul x0 Add 1 Add Add 4 Add Pow sqrt x0 -1 3.18299087769302 Mul x0 Mul Pow sqrt x0 2 Mul -1 Pow Mul 2 sqrt x0 -1 