exp Pow sqrt Mul x0 Add x0 Add x0 -4 cosh x6 
Mul exp Pow sqrt Mul x0 Add x0 Add x0 -4 cosh x6 Mul Pow sqrt Mul x0 Add x0 Add x0 -4 Add cosh x6 -1 Mul cosh x6 Mul Pow Mul 2 sqrt Mul x0 Add x0 Add x0 -4 -1 Add Add x0 Add x0 -4 Mul x0 2 