0.728 * [progress]: [Phase 1 of 3] Setting up. 0.000 * * * [progress]: [1/2] Preparing points 0.557 * * * [progress]: [2/2] Setting up program. 0.564 * [progress]: [Phase 2 of 3] Improving. 0.685 * [simplify]: Simplifying using # : (/.f64 (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im))) 0.695 * * [simplify]: iteration 0 : 18 enodes (cost 30 ) 0.695 * * [simplify]: iteration 1 : 18 enodes (cost 30 ) 0.696 * [simplify]: Simplified to: (/.f64 (+.f64 (*.f64 (x.re) (y.re)) (*.f64 (x.im) (y.im))) (+.f64 (*.f64 (y.re) (y.re)) (*.f64 (y.im) (y.im))))