exp Mul Add x0 Add x4 Mul -3 x6 Add x0 sqrt cosh x0 
Mul exp Mul Add x0 Add x4 Mul -3 x6 Add x0 sqrt cosh x0 Add Add x0 sqrt cosh x0 Mul Add x0 Add x4 Mul -3 x6 Add 1 Mul Pow Mul 2 sqrt cosh x0 -1 sinh x0 