1.241 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.014 * * * [progress]: [2/2] Setting up program. 0.016 * [progress]: [Phase 2 of 3] Improving. 0.016 * [simplify]: Simplifying: (* 2.0 (+ (+ (* 1.0 (/ 1.0 9.0)) (* (/ 1.0 9.0) (/ 1.0 9.0))) (* (/ 1.0 9.0) 1.0))) 0.017 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.017 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.017 * * [simplify]: Extracting # 2 : cost 4 inf + 1 0.017 * * [simplify]: Extracting # 3 : cost 8 inf + 1 0.017 * * [simplify]: Extracting # 4 : cost 8 inf + 2 0.017 * * [simplify]: Extracting # 5 : cost 0 inf + 978 0.017 * * [simplify]: iteration 0 : 10 enodes (cost 283 ) 0.020 * * [simplify]: Extracting # 0 : cost 0 inf + 978 0.020 * * [simplify]: Extracting # 1 : cost 6 inf + 898 0.020 * * [simplify]: Extracting # 2 : cost 0 inf + 1673 0.021 * * [simplify]: Extracting # 3 : cost 0 inf + 1553 0.021 * * [simplify]: iteration 1 : 26 enodes (cost 243 ) 0.027 * * [simplify]: Extracting # 0 : cost 0 inf + 1553 0.028 * * [simplify]: Extracting # 1 : cost 21 inf + 1553 0.029 * * [simplify]: Extracting # 2 : cost 0 inf + 3721 0.030 * * [simplify]: iteration 2 : 81 enodes (cost 203 ) 0.060 * * [simplify]: Extracting # 0 : cost 0 inf + 3721 0.061 * * [simplify]: Extracting # 1 : cost 20 inf + 3601 0.063 * * [simplify]: Extracting # 2 : cost 0 inf + 6169 0.071 * * [simplify]: iteration 3 : 178 enodes (cost 203 ) 0.111 * * [simplify]: Extracting # 0 : cost 0 inf + 6169 0.114 * * [simplify]: Extracting # 1 : cost 37 inf + 6049 0.118 * * [simplify]: Extracting # 2 : cost 0 inf + 10418 0.121 * * [simplify]: iteration 4 : 309 enodes (cost 203 ) 0.238 * * [simplify]: Extracting # 0 : cost 0 inf + 10418 0.249 * * [simplify]: Extracting # 1 : cost 32 inf + 10216 0.263 * * [simplify]: Extracting # 2 : cost 0 inf + 14293 0.277 * * [simplify]: iteration 5 : 498 enodes (cost 203 ) 0.472 * * [simplify]: Extracting # 0 : cost 0 inf + 14293 0.480 * * [simplify]: Extracting # 1 : cost 46 inf + 14209 0.494 * * [simplify]: Extracting # 2 : cost 0 inf + 21371 0.514 * * [simplify]: iteration 6 : 711 enodes (cost 203 ) 0.777 * * [simplify]: Extracting # 0 : cost 0 inf + 21371 0.792 * * [simplify]: Extracting # 1 : cost 17 inf + 20848 0.818 * * [simplify]: Extracting # 2 : cost 0 inf + 23574 0.846 * * [simplify]: iteration 7 : 853 enodes (cost 203 ) 1.132 * * [simplify]: Extracting # 0 : cost 0 inf + 23574 1.156 * * [simplify]: Extracting # 1 : cost 21 inf + 23534 1.191 * * [simplify]: Extracting # 2 : cost 0 inf + 27157 1.226 * * [simplify]: iteration 8 : 953 enodes (cost 203 ) 1.492 * * [simplify]: Extracting # 0 : cost 0 inf + 27157 1.514 * * [simplify]: Extracting # 1 : cost 4 inf + 26793 1.536 * * [simplify]: Extracting # 2 : cost 0 inf + 27323 1.559 * * [simplify]: iteration 9 : 1014 enodes (cost 203 ) 1.767 * * [simplify]: Extracting # 0 : cost 0 inf + 27323 1.811 * * [simplify]: Extracting # 1 : cost 7 inf + 27282 1.853 * * [simplify]: Extracting # 2 : cost 0 inf + 28340 1.878 * * [simplify]: iteration 10 : 1056 enodes (cost 203 ) 2.084 * * [simplify]: Extracting # 0 : cost 0 inf + 28340 2.120 * * [simplify]: Extracting # 1 : cost 4 inf + 28340 2.143 * * [simplify]: Extracting # 2 : cost 0 inf + 28912 2.167 * * [simplify]: iteration 11 : 1092 enodes (cost 203 ) 2.389 * * [simplify]: Extracting # 0 : cost 0 inf + 28912 2.419 * * [simplify]: Extracting # 1 : cost 1 inf + 28912 2.465 * * [simplify]: Extracting # 2 : cost 0 inf + 29115 2.512 * * [simplify]: iteration 12 : 1103 enodes (cost 203 ) 2.688 * * [simplify]: Extracting # 0 : cost 0 inf + 29115 2.724 * * [simplify]: iteration complete: 1103 enodes (cost 203 ) 2.724 * [simplify]: Simplified to: (* 2.0 (* (/ 1.0 9.0) (+ 1.0 (+ 1.0 (/ 1.0 9.0))))) 2.727 * * [progress]: iteration 1 / 4 2.727 * * * [progress]: picking best candidate 2.729 * * * * [pick]: Picked # 2.729 * * * [progress]: localizing error 2.739 * * * [progress]: generating rewritten candidates 2.739 * * * [progress]: generating series expansions 2.739 * * * [progress]: simplifying candidates 2.739 * [simplify]: Simplifying: 2.739 * * [simplify]: Extracting # 0 : cost 0 inf + 0 2.739 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 2.739 * * [simplify]: Extracting # 0 : cost 0 inf + 0 2.739 * * [simplify]: iteration complete: 0 enodes (cost 0 ) 2.739 * [simplify]: Simplified to: 2.739 * * * [progress]: adding candidates to table 2.739 * [progress]: [Phase 3 of 3] Extracting. 2.742 * [simplify]: Simplifying: (* 2.0 (* (/ 1.0 9.0) (+ 1.0 (+ 1.0 (/ 1.0 9.0))))) 2.742 * * [simplify]: Extracting # 0 : cost 1 inf + 0 2.742 * * [simplify]: Extracting # 1 : cost 3 inf + 0 2.742 * * [simplify]: Extracting # 2 : cost 4 inf + 1 2.742 * * [simplify]: Extracting # 3 : cost 7 inf + 1 2.742 * * [simplify]: Extracting # 4 : cost 0 inf + 614 2.742 * * [simplify]: iteration 0 : 8 enodes (cost 203 ) 2.743 * * [simplify]: Extracting # 0 : cost 0 inf + 614 2.743 * * [simplify]: iteration 1 : 12 enodes (cost 203 ) 2.744 * * [simplify]: Extracting # 0 : cost 0 inf + 614 2.744 * * [simplify]: iteration complete: 12 enodes (cost 203 ) 2.744 * [simplify]: Simplified to: (* 2.0 (* (/ 1.0 9.0) (+ 1.0 (+ 1.0 (/ 1.0 9.0))))) 3.523 * [regime-testing]: Baseline error score: 0 3.534 * [regime-testing]: Oracle error score: 0 3.534 * [regime-testing]: End program error score: 0 3.604 * [regime-testing]: Target error score: 0