0.166 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.074 * * * [progress]: [2/2] Setting up program. 0.085 * [progress]: [Phase 2 of 3] Improving. 0.085 * [simplify]: Simplifying: (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))) 0.086 * * [simplify]: iteration 0: 18 enodes 0.092 * * [simplify]: iteration 1: 27 enodes 0.100 * * [simplify]: iteration 2: 44 enodes 0.112 * * [simplify]: iteration 3: 56 enodes 0.127 * * [simplify]: iteration 4: 74 enodes 0.181 * * [simplify]: iteration 5: 80 enodes 0.205 * * [simplify]: iteration complete: 80 enodes 0.205 * * [simplify]: Extracting #0: cost 1 inf + 0 0.205 * * [simplify]: Extracting #1: cost 6 inf + 0 0.206 * * [simplify]: Extracting #2: cost 29 inf + 0 0.206 * * [simplify]: Extracting #3: cost 30 inf + 6 0.206 * * [simplify]: Extracting #4: cost 27 inf + 11 0.206 * * [simplify]: Extracting #5: cost 22 inf + 69 0.206 * * [simplify]: Extracting #6: cost 12 inf + 167 0.207 * * [simplify]: Extracting #7: cost 3 inf + 327 0.207 * * [simplify]: Extracting #8: cost 0 inf + 376 0.207 * [simplify]: Simplified to: (/ (- (* (log base) (atan2 im re)) (* (log (sqrt (+ (* im im) (* re re)))) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))) 0.220 * * [progress]: iteration 1 / 4 0.220 * * * [progress]: picking best candidate