acosh Mul Add x7 4 Pow Add Add x0 -1 x0 sqrt x5 
Mul Mul Add x7 4 Mul Pow Add Add x0 -1 x0 Add sqrt x5 -1 Mul sqrt x5 2 Pow Mul sqrt Add Mul Add x7 4 Pow Add Add x0 -1 x0 sqrt x5 -1 sqrt Add 1 Mul Add x7 4 Pow Add Add x0 -1 x0 sqrt x5 -1 