0.988 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.146 * * * [progress]: [2/2] Setting up program. 0.153 * [progress]: [Phase 2 of 3] Improving. 0.157 * [simplify]: Simplifying: (- (* re re) (* im im)) 0.158 * * [simplify]: Extracting # 0 : cost 0 0.158 * * [simplify]: Extracting # 1 : cost 0 0.159 * * [simplify]: Extracting # 2 : cost 0 0.159 * * [simplify]: Extracting # 3 : cost 0 0.159 * * [simplify]: Extracting # 4 : cost 0 0.159 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 0.167 * * [simplify]: Extracting # 0 : cost 0 0.167 * * [simplify]: Extracting # 1 : cost 0 0.167 * * [simplify]: Extracting # 2 : cost 0 0.167 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.171 * * [simplify]: Extracting # 0 : cost 0 0.172 * * [simplify]: Extracting # 1 : cost 0 0.172 * * [simplify]: Extracting # 2 : cost 0 0.172 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 0.176 * * [simplify]: Extracting # 0 : cost 0 0.176 * * [simplify]: Extracting # 1 : cost 0 0.176 * * [simplify]: Extracting # 2 : cost 0 0.177 * * [simplify]: iteration 3 : 32 enodes (cost 7 ) 0.187 * * [simplify]: Extracting # 0 : cost 0 0.187 * * [simplify]: Extracting # 1 : cost 0 0.187 * * [simplify]: Extracting # 2 : cost 0 0.188 * * [simplify]: iteration 4 : 58 enodes (cost 7 ) 0.211 * * [simplify]: Extracting # 0 : cost 0 0.212 * * [simplify]: Extracting # 1 : cost 0 0.212 * * [simplify]: Extracting # 2 : cost 0 0.212 * * [simplify]: iteration 5 : 129 enodes (cost 7 ) 0.277 * * [simplify]: Extracting # 0 : cost 0 0.277 * * [simplify]: Extracting # 1 : cost 0 0.278 * * [simplify]: Extracting # 2 : cost 0 0.278 * * [simplify]: Extracting # 3 : cost 0 0.278 * * [simplify]: iteration 6 : 281 enodes (cost 7 ) 0.362 * * [simplify]: Extracting # 0 : cost 0 0.363 * * [simplify]: Extracting # 1 : cost 0 0.363 * * [simplify]: Extracting # 2 : cost 0 0.364 * * [simplify]: Extracting # 3 : cost 0 0.364 * * [simplify]: iteration 7 : 703 enodes (cost 7 ) 1.380 * * [simplify]: Extracting # 0 : cost 0 1.391 * * [simplify]: Extracting # 1 : cost 0 1.397 * * [simplify]: Extracting # 2 : cost 0 1.402 * * [simplify]: Extracting # 3 : cost 0 1.406 * * [simplify]: Extracting # 4 : cost 0 1.409 * * [simplify]: iteration 8 : 3184 enodes (cost 7 ) 3.233 * * [simplify]: Extracting # 0 : cost 0 3.285 * * [simplify]: Extracting # 1 : cost 0 3.292 * * [simplify]: Extracting # 2 : cost 0 3.299 * * [simplify]: Extracting # 3 : cost 0 3.306 * * [simplify]: Extracting # 4 : cost 0 3.314 * * [simplify]: iteration done: 5000 enodes (cost 7 ) 3.314 * [simplify]: Simplified to: (- (* re re) (* im im)) 3.317 * * [progress]: iteration 1 / 4 3.317 * * * [progress]: picking best candidate 3.322 * * * * [pick]: Picked # 3.322 * * * [progress]: localizing error 3.338 * * * [progress]: generating rewritten candidates 3.340 * * * [progress]: generating series expansions 3.340 * * * [progress]: simplifying candidates 3.340 * [simplify]: Simplifying: 3.340 * * [simplify]: Extracting # 0 : cost 0 3.340 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 3.340 * * [simplify]: Extracting # 0 : cost 0 3.340 * * [simplify]: iteration done: 0 enodes (cost 0 ) 3.340 * [simplify]: Simplified to: 3.340 * * * [progress]: adding candidates to table 3.341 * [progress]: [Phase 3 of 3] Extracting. 3.355 * [simplify]: Simplifying: (- (* re re) (* im im)) 3.355 * * [simplify]: Extracting # 0 : cost 0 3.355 * * [simplify]: Extracting # 1 : cost 0 3.355 * * [simplify]: Extracting # 2 : cost 0 3.355 * * [simplify]: Extracting # 3 : cost 0 3.355 * * [simplify]: Extracting # 4 : cost 0 3.355 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 3.356 * * [simplify]: Extracting # 0 : cost 0 3.356 * * [simplify]: iteration done: 5 enodes (cost 7 ) 3.356 * [simplify]: Simplified to: (- (* re re) (* im im)) 4.638 * [regime-testing]: Baseline error score: 0.006698957682300432 4.641 * [regime-testing]: Oracle error score: 0.006698957682300432 4.642 * [regime-testing]: End program error score: 0.006698957682300432