0.365 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.139 * * * [progress]: [2/2] Setting up program.
0.145 * [progress]: [Phase 2 of 3] Improving.
0.145 * [simplify]: Simplifying:
  (* (cos (- (/ (* K (+ m n)) 2.0) M)) (exp (- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n))))))
0.145 * [simplify]: Sending expressions to egg_math:
 (* (cos (- (/ (* h4 (+ h1 h0)) 2.0) h3)) (exp (- (- (pow (- (/ (+ h1 h0) 2.0) h3) 2.0)) (- h2 (fabs (- h1 h0))))))