Mul x7 acos acosh Add Mul 5 Mul x0 Mul x0 4 -4 
Mul x7 Mul -1 Mul Mul Mul 5 Add Mul x0 4 Mul x0 4 Pow Mul sqrt Add Add Mul 5 Mul x0 Mul x0 4 -4 -1 sqrt Add 1 Add Mul 5 Mul x0 Mul x0 4 -4 -1 Pow sqrt Add 1 Mul -1 Mul acosh Add Mul 5 Mul x0 Mul x0 4 -4 acosh Add Mul 5 Mul x0 Mul x0 4 -4 -1 