0.956 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.149 * * * [progress]: [2/2] Setting up program. 0.152 * [progress]: [Phase 2 of 3] Improving. 0.153 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.154 * [simplify]: Simplifying: (- (pow x 4) (pow y 4)) 0.155 * * [simplify]: iteration 1: (6 enodes) 0.160 * * [simplify]: iteration 2: (14 enodes) 0.165 * * [simplify]: iteration 3: (38 enodes) 0.197 * * [simplify]: iteration 4: (51 enodes) 0.201 * * [simplify]: iteration 5: (68 enodes) 0.209 * * [simplify]: iteration 6: (123 enodes) 0.233 * * [simplify]: iteration 7: (277 enodes) 0.305 * * [simplify]: iteration 8: (551 enodes) 0.508 * * [simplify]: iteration 9: (1277 enodes) 3.040 * * [simplify]: Extracting #0: cost 1 inf + 0 3.040 * * [simplify]: Extracting #1: cost 155 inf + 0 3.044 * * [simplify]: Extracting #2: cost 796 inf + 1 3.049 * * [simplify]: Extracting #3: cost 861 inf + 3213 3.070 * * [simplify]: Extracting #4: cost 496 inf + 101312 3.163 * * [simplify]: Extracting #5: cost 26 inf + 239491 3.303 * * [simplify]: Extracting #6: cost 0 inf + 238309 3.412 * * [simplify]: Extracting #7: cost 0 inf + 238189 3.501 * [simplify]: Simplified to: (- (* (* x x) (* x x)) (* (* y y) (* y y))) 3.514 * * [progress]: iteration 1 / 4 3.514 * * * [progress]: picking best candidate 3.519 * * * * [pick]: Picked # 3.519 * * * [progress]: localizing error 3.530 * * * [progress]: generating rewritten candidates 3.531 * * * [progress]: generating series expansions 3.531 * * * [progress]: simplifying candidates 3.531 * [simplify]: Simplifying: 3.531 * * [simplify]: iteration 1: (0 enodes) 3.531 * * [simplify]: Extracting #0: cost 0 inf + 0 3.531 * [simplify]: Simplified to: 3.531 * * * [progress]: adding candidates to table 3.531 * [progress]: [Phase 3 of 3] Extracting. 3.534 * [simplify]: Simplifying: (- (pow x 4) (pow y 4)) 3.534 * * [simplify]: iteration 1: (6 enodes) 3.534 * * [simplify]: Extracting #0: cost 1 inf + 0 3.534 * * [simplify]: Extracting #1: cost 3 inf + 0 3.534 * * [simplify]: Extracting #2: cost 6 inf + 0 3.534 * * [simplify]: Extracting #3: cost 2 inf + 215 3.535 * * [simplify]: Extracting #4: cost 0 inf + 890 3.535 * [simplify]: Simplified to: (- (pow x 4) (pow y 4)) 5.832 * [regime-testing]: Baseline error score: 0.003375421927740968 5.834 * [regime-testing]: Oracle error score: 0.003375421927740968 5.835 * [regime-testing]: End program error score: 0.003375421927740968