Mul E Pow Add sin Mul -4 Mul cosh cosh sqrt x0 x0 x0 x4 
Mul E Mul Pow Add sin Mul -4 Mul cosh cosh sqrt x0 x0 x0 Add x4 -1 Mul x4 Add Mul cos Mul -4 Mul cosh cosh sqrt x0 x0 Mul -4 Add Mul x0 Mul sinh cosh sqrt x0 Mul sinh sqrt x0 Pow Mul 2 sqrt x0 -1 cosh cosh sqrt x0 1 