Mul -4 acosh Mul Pow Mul 4 Add Add x0 5 5 -2 x6 
Mul -4 Mul Mul x6 Mul Pow Mul 4 Add Add x0 5 5 3 2 Pow Mul sqrt Add Mul Pow Mul 4 Add Add x0 5 5 -2 x6 -1 sqrt Add 1 Mul Pow Mul 4 Add Add x0 5 5 -2 x6 -1 