4.357 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.049 * * * [progress]: [2/2] Setting up program. 0.053 * [progress]: [Phase 2 of 3] Improving. 0.053 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.053 * [simplify]: Simplifying: (exp (- (- 1 (* x x)))) 0.054 * * [simplify]: iteration 1: (6 enodes) 0.056 * * [simplify]: iteration 2: (10 enodes) 0.060 * * [simplify]: iteration 3: (23 enodes) 0.069 * * [simplify]: iteration 4: (49 enodes) 0.087 * * [simplify]: iteration 5: (89 enodes) 0.127 * * [simplify]: iteration 6: (159 enodes) 0.190 * * [simplify]: iteration 7: (330 enodes) 0.565 * * [simplify]: iteration 8: (1261 enodes) 5.089 * * [simplify]: Extracting #0: cost 1 inf + 0 5.091 * * [simplify]: Extracting #1: cost 468 inf + 0 5.098 * * [simplify]: Extracting #2: cost 953 inf + 44 5.108 * * [simplify]: Extracting #3: cost 980 inf + 3540 5.118 * * [simplify]: Extracting #4: cost 758 inf + 57039 5.161 * * [simplify]: Extracting #5: cost 313 inf + 304171 5.247 * * [simplify]: Extracting #6: cost 21 inf + 489839 5.362 * * [simplify]: Extracting #7: cost 0 inf + 495525 5.458 * * [simplify]: Extracting #8: cost 0 inf + 494943 5.595 * [simplify]: Simplified to: (exp (fma x x -1)) 5.602 * * [progress]: iteration 1 / 4 5.602 * * * [progress]: picking best candidate 5.606 * * * * [pick]: Picked # 5.606 * * * [progress]: localizing error 5.620 * * * [progress]: generating rewritten candidates 5.620 * * * [progress]: generating series expansions 5.620 * * * [progress]: simplifying candidates 5.621 * [simplify]: Simplifying: 5.621 * * [simplify]: iteration 1: (0 enodes) 5.621 * * [simplify]: Extracting #0: cost 0 inf + 0 5.621 * [simplify]: Simplified to: 5.621 * * * [progress]: adding candidates to table 5.622 * [progress]: [Phase 3 of 3] Extracting. 5.626 * [simplify]: Simplifying: (exp (fma x x -1)) 5.626 * * [simplify]: iteration 1: (4 enodes) 5.626 * * [simplify]: Extracting #0: cost 1 inf + 0 5.626 * * [simplify]: Extracting #1: cost 2 inf + 0 5.626 * * [simplify]: Extracting #2: cost 4 inf + 0 5.626 * * [simplify]: Extracting #3: cost 2 inf + 2 5.626 * * [simplify]: Extracting #4: cost 0 inf + 186 5.626 * [simplify]: Simplified to: (exp (fma x x -1)) 7.615 * [regime-testing]: Baseline error score: 0.018880641060645416 7.617 * [regime-testing]: Oracle error score: 0.018880641060645416 7.617 * [regime-testing]: End program error score: 0.018880641060645416