0.791 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.267 * * * [progress]: [2/2] Setting up program. 0.269 * [progress]: [Phase 2 of 3] Improving. 0.272 * [simplify]: Simplifying using # : (- (* re re) (* im im)) 0.274 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 0.278 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.279 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 0.281 * * [simplify]: iteration 3 : 32 enodes (cost 7 ) 0.286 * * [simplify]: iteration 4 : 57 enodes (cost 7 ) 0.296 * * [simplify]: iteration 5 : 98 enodes (cost 7 ) 0.325 * * [simplify]: iteration 6 : 156 enodes (cost 7 ) 0.369 * * [simplify]: iteration 7 : 324 enodes (cost 7 ) 0.863 * * [simplify]: iteration 8 : 1572 enodes (cost 7 ) 7.100 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 7.100 * [simplify]: Simplified to: (* (- re im) (+ re im)) 7.105 * * [progress]: iteration 1 / 4 7.105 * * * [progress]: picking best candidate 7.112 * * * * [pick]: Picked # 7.112 * * * [progress]: localizing error 7.119 * * * [progress]: generating rewritten candidates 7.119 * * * [progress]: generating series expansions 7.120 * * * [progress]: simplifying candidates 7.120 * [simplify]: Simplifying using # : 7.121 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 7.121 * * [simplify]: iteration done : 0 enodes (cost 0 ) 7.121 * [simplify]: Simplified to: 7.121 * * * [progress]: adding candidates to table 7.121 * [progress]: [Phase 3 of 3] Extracting. 7.123 * [simplify]: Simplifying using # : (* (- re im) (+ re im)) 7.123 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 7.123 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 7.123 * * [simplify]: iteration done : 7 enodes (cost 7 ) 7.123 * [simplify]: Simplified to: (* (- re im) (+ re im)) 7.626 * [regime-testing]: End program error score: 0.0012501562695336917