7.361 * [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: (+ (* x (* x x)) (* x x)) 0.016 * * [simplify]: iteration 0: 4 enodes 0.017 * * [simplify]: iteration 1: 14 enodes 0.020 * * [simplify]: iteration 2: 30 enodes 0.025 * * [simplify]: iteration 3: 48 enodes 0.042 * * [simplify]: iteration 4: 144 enodes 0.116 * * [simplify]: iteration 5: 618 enodes 0.648 * * [simplify]: iteration complete: 5000 enodes 0.648 * * [simplify]: Extracting #0: cost 1 inf + 0 0.650 * * [simplify]: Extracting #1: cost 1132 inf + 0 0.655 * * [simplify]: Extracting #2: cost 2005 inf + 419 0.661 * * [simplify]: Extracting #3: cost 317 inf + 7048 0.667 * * [simplify]: Extracting #4: cost 85 inf + 8316 0.677 * * [simplify]: Extracting #5: cost 17 inf + 8628 0.687 * * [simplify]: Extracting #6: cost 0 inf + 8713 0.697 * [simplify]: Simplified to: (fma x x (pow x 3)) 0.705 * * [progress]: iteration 1 / 4 0.705 * * * [progress]: picking best candidate 0.710 * * * * [pick]: Picked # 0.710 * * * [progress]: localizing error 0.722 * * * [progress]: generating rewritten candidates 0.722 * * * [progress]: generating series expansions 0.722 * * * [progress]: simplifying candidates 0.722 * [simplify]: Simplifying: 0.722 * * [simplify]: iteration 0: 0 enodes 0.722 * * [simplify]: iteration complete: 0 enodes 0.722 * * [simplify]: Extracting #0: cost 0 inf + 0 0.722 * [simplify]: Simplified to: 0.722 * * * [progress]: adding candidates to table 0.723 * [progress]: [Phase 3 of 3] Extracting. 0.728 * [simplify]: Simplifying: (fma x x (pow x 3)) 0.728 * * [simplify]: iteration 0: 4 enodes 0.728 * * [simplify]: iteration complete: 4 enodes 0.728 * * [simplify]: Extracting #0: cost 1 inf + 0 0.728 * * [simplify]: Extracting #1: cost 3 inf + 0 0.728 * * [simplify]: Extracting #2: cost 3 inf + 1 0.728 * * [simplify]: Extracting #3: cost 0 inf + 11 0.728 * [simplify]: Simplified to: (fma x x (pow x 3)) 1.640 * [regime-testing]: Baseline error score: 0.00037504688086010754 1.644 * [regime-testing]: Oracle error score: 0.00037504688086010754 1.644 * [regime-testing]: End program error score: 0.00037504688086010754 1.737 * [regime-testing]: Target error score: 0.021566417677750586