Mul Add x2 x4 Pow E Mul -3 Add Pow Mul -2 exp x0 cosh x0 sqrt Add -4 x0 
Mul Add x2 x4 Mul Pow E Add Mul -3 Add Pow Mul -2 exp x0 cosh x0 sqrt Add -4 x0 -1 Mul Mul E log E Mul -3 Add Mul Pow Mul -2 exp x0 Add cosh x0 -1 Add Mul cosh x0 Mul -2 exp x0 Mul Mul Mul -2 exp x0 log Mul -2 exp x0 sinh x0 Pow Mul 2 sqrt Add -4 x0 -1 