0.800 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.264 * * * [progress]: [2/2] Setting up program. 0.270 * [progress]: [Phase 2 of 3] Improving. 0.272 * [simplify]: Simplifying: (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) 0.273 * [simplify]: Sending expressions to egg_math: (* (exp (- (* (log (sqrt (+ (* h1 h1) (* h2 h2)))) h0) (* (atan2 h2 h1) h3))) (cos (+ (* (log (sqrt (+ (* h1 h1) (* h2 h2)))) h3) (* (atan2 h2 h1) h0))))