3.078 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.127 * * * [progress]: [2/2] Setting up program. 0.135 * [progress]: [Phase 2 of 3] Improving. 0.135 * [simplify]: Simplifying using # : (+ (+ (+ (+ (+ (+ (+ (* a (pow x 7.0)) (* b (pow x 6.0))) (* c (pow x 5.0))) (* d (pow x 4.0))) (* e (pow x 3.0))) (* f (pow x 2.0))) (* g x)) h) 0.137 * * [simplify]: iteration 0 : 80 enodes (cost 20 ) 0.139 * * [simplify]: iteration 1 : 224 enodes (cost 20 ) 0.144 * * [simplify]: iteration 2 : 1068 enodes (cost 20 ) 0.165 * * [simplify]: iteration 3 : 5001 enodes (cost 20 ) 0.165 * [simplify]: Simplified to: (+ (+ (+ (+ (+ (+ (+ (* a (pow x 7.0)) (* b (pow x 6.0))) (* c (pow x 5.0))) (* d (pow x 4.0))) (* e (pow x 3.0))) (* f (pow x 2.0))) (* g x)) h) 0.166 * [progress]: [Phase 3 of 3] Extracting. 0.173 * [simplify]: Simplifying using # : (+ (+ (+ (+ (+ (+ (+ (* a (pow x 7.0)) (* b (pow x 6.0))) (* c (pow x 5.0))) (* d (pow x 4.0))) (* e (pow x 3.0))) (* f (pow x 2.0))) (* g x)) h) 0.174 * * [simplify]: iteration 0 : 49 enodes (cost 20 ) 0.174 * * [simplify]: iteration 1 : 49 enodes (cost 20 ) 0.174 * [simplify]: Simplified to: (+ (+ (+ (+ (+ (+ (+ (* a (pow x 7.0)) (* b (pow x 6.0))) (* c (pow x 5.0))) (* d (pow x 4.0))) (* e (pow x 3.0))) (* f (pow x 2.0))) (* g x)) h) 4.871 * [regime-testing]: End program error score: 1.4238013801296014