2.291 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.092 * * * [progress]: [2/2] Setting up program. 0.096 * [progress]: [Phase 2 of 3] Improving. 0.096 * [simplify]: Simplifying using # : (/ (+ (* (* (* 12.0 a) p) (+ (neg 1.0) (pow p n))) (* (* (+ (neg 1.0) p) (pow p n)) s)) (+ (neg 1.0) p)) 0.098 * * [simplify]: iteration 0 : 41 enodes (cost 15 ) 0.100 * * [simplify]: iteration 1 : 135 enodes (cost 15 ) 0.103 * * [simplify]: iteration 2 : 462 enodes (cost 15 ) 0.113 * * [simplify]: iteration 3 : 1500 enodes (cost 15 ) 0.148 * * [simplify]: iteration 4 : 4715 enodes (cost 15 ) 0.275 * * [simplify]: iteration 5 : 5002 enodes (cost 15 ) 0.276 * [simplify]: Simplified to: (/ (+ (* (* (* 12.0 a) p) (+ (neg 1.0) (pow p n))) (* (* (+ (neg 1.0) p) (pow p n)) s)) (+ (neg 1.0) p)) 0.276 * [progress]: [Phase 3 of 3] Extracting. 0.280 * [simplify]: Simplifying using # : (/ (+ (* (* (* 12.0 a) p) (+ (neg 1.0) (pow p n))) (* (* (+ (neg 1.0) p) (pow p n)) s)) (+ (neg 1.0) p)) 0.280 * * [simplify]: iteration 0 : 25 enodes (cost 15 ) 0.281 * * [simplify]: iteration 1 : 25 enodes (cost 15 ) 0.281 * [simplify]: Simplified to: (/ (+ (* (* (* 12.0 a) p) (+ (neg 1.0) (pow p n))) (* (* (+ (neg 1.0) p) (pow p n)) s)) (+ (neg 1.0) p)) 3.272 * [regime-testing]: End program error score: 15.753790440194821