Add x0 Add Pow Mul x1 Add 2 Mul acosh Add x7 x0 cosh Pow Add x0 5 x0 -4 4 
Add 1 Mul Pow Mul x1 Add 2 Mul acosh Add x7 x0 cosh Pow Add x0 5 x0 5 Mul -4 Mul x1 Add Mul cosh Pow Add x0 5 x0 Pow Mul sqrt Add Add x7 x0 -1 sqrt Add 1 Add x7 x0 -1 Mul acosh Add x7 x0 Mul sinh Pow Add x0 5 x0 Mul Pow Add x0 5 Add x0 -1 Add x0 Mul Add x0 5 log Add x0 5 