Mul x0 Add x6 Mul x0 Mul -5 Mul Mul cosh x3 sqrt x0 x1 
Add Add x6 Mul x0 Mul -5 Mul Mul cosh x3 sqrt x0 x1 Mul x0 Add Mul -5 Mul Mul cosh x3 sqrt x0 x1 Mul x0 Mul -5 Mul x1 Mul cosh x3 Pow Mul 2 sqrt x0 -1 