0.560 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.146 * * * [progress]: [2/2] Setting up program. 0.155 * [progress]: [Phase 2 of 3] Improving. 0.159 * [simplify]: Simplifying: (+ x (* y (- z x))) 0.160 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.161 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.161 * * [simplify]: Extracting # 2 : cost 4 inf + 1 0.161 * * [simplify]: Extracting # 3 : cost 4 inf + 2 0.161 * * [simplify]: Extracting # 4 : cost 0 inf + 251 0.162 * * [simplify]: iteration 0 : 6 enodes (cost 123 ) 0.169 * * [simplify]: Extracting # 0 : cost 0 inf + 251 0.169 * * [simplify]: Extracting # 1 : cost 1 inf + 251 0.169 * * [simplify]: Extracting # 2 : cost 0 inf + 292 0.169 * * [simplify]: iteration 1 : 10 enodes (cost 123 ) 0.173 * * [simplify]: Extracting # 0 : cost 0 inf + 292 0.173 * * [simplify]: Extracting # 1 : cost 4 inf + 267 0.173 * * [simplify]: Extracting # 2 : cost 0 inf + 515 0.173 * * [simplify]: iteration 2 : 19 enodes (cost 98 ) 0.180 * * [simplify]: Extracting # 0 : cost 0 inf + 515 0.181 * * [simplify]: Extracting # 1 : cost 4 inf + 515 0.181 * * [simplify]: Extracting # 2 : cost 0 inf + 804 0.182 * * [simplify]: iteration 3 : 35 enodes (cost 98 ) 0.191 * * [simplify]: Extracting # 0 : cost 0 inf + 804 0.191 * * [simplify]: Extracting # 1 : cost 3 inf + 779 0.192 * * [simplify]: Extracting # 2 : cost 0 inf + 1105 0.193 * * [simplify]: iteration 4 : 54 enodes (cost 98 ) 0.208 * * [simplify]: Extracting # 0 : cost 0 inf + 1105 0.209 * * [simplify]: Extracting # 1 : cost 2 inf + 945 0.210 * * [simplify]: Extracting # 2 : cost 2 inf + 1027 0.211 * * [simplify]: Extracting # 3 : cost 1 inf + 1028 0.212 * * [simplify]: Extracting # 4 : cost 0 inf + 1110 0.213 * * [simplify]: iteration 5 : 68 enodes (cost 98 ) 0.229 * * [simplify]: Extracting # 0 : cost 0 inf + 1110 0.230 * * [simplify]: Extracting # 1 : cost 2 inf + 1110 0.231 * * [simplify]: Extracting # 2 : cost 0 inf + 1355 0.232 * * [simplify]: iteration 6 : 85 enodes (cost 98 ) 0.253 * * [simplify]: Extracting # 0 : cost 0 inf + 1355 0.254 * * [simplify]: Extracting # 1 : cost 6 inf + 1315 0.255 * * [simplify]: Extracting # 2 : cost 0 inf + 1767 0.257 * * [simplify]: Extracting # 3 : cost 0 inf + 1687 0.259 * * [simplify]: iteration 7 : 106 enodes (cost 98 ) 0.319 * * [simplify]: Extracting # 0 : cost 0 inf + 1687 0.321 * * [simplify]: Extracting # 1 : cost 9 inf + 1485 0.323 * * [simplify]: Extracting # 2 : cost 0 inf + 2182 0.325 * * [simplify]: iteration 8 : 162 enodes (cost 98 ) 0.365 * * [simplify]: Extracting # 0 : cost 0 inf + 2182 0.368 * * [simplify]: Extracting # 1 : cost 13 inf + 1957 0.372 * * [simplify]: Extracting # 2 : cost 0 inf + 2941 0.375 * * [simplify]: iteration 9 : 237 enodes (cost 98 ) 0.471 * * [simplify]: Extracting # 0 : cost 0 inf + 2941 0.476 * * [simplify]: Extracting # 1 : cost 57 inf + 2701 0.483 * * [simplify]: Extracting # 2 : cost 0 inf + 7174 0.490 * * [simplify]: iteration 10 : 451 enodes (cost 98 ) 0.713 * * [simplify]: Extracting # 0 : cost 0 inf + 7174 0.721 * * [simplify]: Extracting # 1 : cost 172 inf + 6434 0.730 * * [simplify]: Extracting # 2 : cost 0 inf + 24338 0.741 * * [simplify]: iteration 11 : 1102 enodes (cost 98 ) 1.515 * * [simplify]: Extracting # 0 : cost 0 inf + 24338 1.542 * * [simplify]: Extracting # 1 : cost 64 inf + 16983 1.579 * * [simplify]: Extracting # 2 : cost 0 inf + 23769 1.608 * * [simplify]: iteration 12 : 1830 enodes (cost 98 ) 1.756 * * [simplify]: Extracting # 0 : cost 0 inf + 23769 1.775 * * [simplify]: Extracting # 1 : cost 27 inf + 20727 1.800 * * [simplify]: Extracting # 2 : cost 0 inf + 23303 1.829 * * [simplify]: iteration 13 : 1995 enodes (cost 98 ) 1.967 * * [simplify]: Extracting # 0 : cost 0 inf + 23303 2.006 * * [simplify]: Extracting # 1 : cost 24 inf + 22261 2.048 * * [simplify]: Extracting # 2 : cost 0 inf + 24348 2.096 * * [simplify]: iteration 14 : 2128 enodes (cost 98 ) 2.236 * * [simplify]: Extracting # 0 : cost 0 inf + 24348 2.266 * * [simplify]: Extracting # 1 : cost 56 inf + 23665 2.297 * * [simplify]: Extracting # 2 : cost 0 inf + 28302 2.351 * * [simplify]: iteration 15 : 2319 enodes (cost 98 ) 2.559 * * [simplify]: Extracting # 0 : cost 0 inf + 28302 2.589 * * [simplify]: Extracting # 1 : cost 59 inf + 26934 2.645 * * [simplify]: Extracting # 2 : cost 0 inf + 31371 2.697 * * [simplify]: Extracting # 3 : cost 0 inf + 31331 2.747 * * [simplify]: iteration 16 : 2587 enodes (cost 98 ) 3.095 * * [simplify]: Extracting # 0 : cost 0 inf + 31331 3.149 * * [simplify]: Extracting # 1 : cost 33 inf + 29906 3.229 * * [simplify]: Extracting # 2 : cost 0 inf + 32050 3.311 * * [simplify]: iteration 17 : 2871 enodes (cost 98 ) 3.783 * * [simplify]: Extracting # 0 : cost 0 inf + 32050 3.840 * * [simplify]: Extracting # 1 : cost 83 inf + 31477 3.927 * * [simplify]: Extracting # 2 : cost 3 inf + 37189 4.008 * * [simplify]: Extracting # 3 : cost 0 inf + 37235 4.085 * * [simplify]: iteration 18 : 3327 enodes (cost 98 ) 5.016 * * [simplify]: Extracting # 0 : cost 0 inf + 37235 5.108 * * [simplify]: Extracting # 1 : cost 134 inf + 35249 5.237 * * [simplify]: Extracting # 2 : cost 2 inf + 46648 5.368 * * [simplify]: Extracting # 3 : cost 0 inf + 46488 5.488 * * [simplify]: iteration 19 : 4147 enodes (cost 98 ) 7.152 * * [simplify]: Extracting # 0 : cost 0 inf + 46488 7.281 * * [simplify]: Extracting # 1 : cost 1 inf + 42022 7.413 * * [simplify]: Extracting # 2 : cost 0 inf + 41267 7.551 * * [simplify]: iteration complete: 5000 enodes (cost 98 ) 7.551 * [simplify]: Simplified to: (fma y (- z x) x) 7.564 * * [progress]: iteration 1 / 4 7.564 * * * [progress]: picking best candidate 7.572 * * * * [pick]: Picked # 7.572 * * * [progress]: localizing error 7.590 * * * [progress]: generating rewritten candidates 7.591 * * * [progress]: generating series expansions 7.591 * * * [progress]: simplifying candidates 7.591 * [simplify]: Simplifying: 7.591 * * [simplify]: Extracting # 0 : cost 0 inf + 0 7.591 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 7.591 * * [simplify]: Extracting # 0 : cost 0 inf + 0 7.591 * * [simplify]: iteration complete: 0 enodes (cost 0 ) 7.591 * [simplify]: Simplified to: 7.591 * * * [progress]: adding candidates to table 7.592 * [progress]: [Phase 3 of 3] Extracting. 7.600 * [simplify]: Simplifying: (fma y (- z x) x) 7.600 * * [simplify]: Extracting # 0 : cost 1 inf + 0 7.600 * * [simplify]: Extracting # 1 : cost 4 inf + 0 7.601 * * [simplify]: Extracting # 2 : cost 3 inf + 2 7.601 * * [simplify]: Extracting # 3 : cost 0 inf + 143 7.601 * * [simplify]: iteration 0 : 5 enodes (cost 98 ) 7.601 * * [simplify]: Extracting # 0 : cost 0 inf + 143 7.601 * * [simplify]: iteration complete: 5 enodes (cost 98 ) 7.601 * [simplify]: Simplified to: (fma y (- z x) x) 9.211 * [regime-testing]: Baseline error score: 0.006625828228528566 9.220 * [regime-testing]: Oracle error score: 0.006625828228528566 9.220 * [regime-testing]: End program error score: 0.006625828228528566