13.335 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.641 * * * [progress]: [2/2] Setting up program. 0.667 * [progress]: [Phase 2 of 3] Improving. 0.667 * [simplify]: Simplifying using # : (/ (* t (+ (+ (+ (+ (* (* (* (neg 6.0) (+ (- (+ (- (+ (neg 10.0) (* 35.0 t)) (* 60.0 (pow t 2.0))) (* 55.0 (pow t 3.0))) (* 26.0 (pow t 4.0))) (* 5.0 (pow t 5.0)))) x1) y0) (* (* (* 3.0 t) x1) (+ (* (* 30.0 (pow (+ (neg 1.0) t) 4.0)) y1) (* t (+ (* (- (+ (- 20.0 (* 75.0 t)) (* 84.0 (pow t 2.0))) (* 30.0 (pow t 3.0))) y2) (* (* t (+ (- 5.0 (* 16.0 t)) (* 10.0 (pow t 2.0)))) y3)))))) (* (* (pow t 2.0) x3) (+ (* (- (+ (- 20.0 (* 45.0 t)) (* 36.0 (pow t 2.0))) (* 10.0 (pow t 3.0))) y0) (* t (+ (* (+ (- 45.0 (* 72.0 t)) (* 30.0 (pow t 2.0))) y1) (* (* 2.0 t) (+ (* (* (neg 3.0) (+ (neg 6.0) (* 5.0 t))) y2) (* (* 5.0 t) y3)))))))) (* (* (* 3.0 t) x2) (+ (* (+ (- (+ (- 20.0 (* 60.0 t)) (* 75.0 (pow t 2.0))) (* 44.0 (pow t 3.0))) (* 10.0 (pow t 4.0))) y0) (* t (+ (* (- (+ (- 40.0 (* 105.0 t)) (* 96.0 (pow t 2.0))) (* 30.0 (pow t 3.0))) y1) (* (* 2.0 t) (+ (* (* 15.0 (pow (+ (neg 1.0) t) 2.0)) y2) (* (* (- 4.0 (* 5.0 t)) t) y3)))))))) (* x0 (- (* (* 10.0 (+ (- (+ (- (+ (neg 6.0) (* 15.0 t)) (* 20.0 (pow t 2.0))) (* 15.0 (pow t 3.0))) (* 6.0 (pow t 4.0))) (pow t 5.0))) y0) (* t (+ (* (* 6.0 (+ (- (+ (- 15.0 (* 40.0 t)) (* 45.0 (pow t 2.0))) (* 24.0 (pow t 3.0))) (* 5.0 (pow t 4.0)))) y1) (* t (+ (* (* (neg 3.0) (+ (- (+ (neg 20.0) (* 45.0 t)) (* 36.0 (pow t 2.0))) (* 10.0 (pow t 3.0)))) y2) (* (* t (+ (- 15.0 (* 24.0 t)) (* 10.0 (pow t 2.0)))) y3))))))))) 20.0) 0.672 * * [simplify]: iteration 0 : 545 enodes (cost 177 ) 0.682 * * [simplify]: iteration 1 : 2140 enodes (cost 177 ) 0.720 * * [simplify]: iteration 2 : 5002 enodes (cost 177 ) 0.721 * [simplify]: Simplified to: (/ (* t (+ (+ (+ (+ (* (* (* (neg 6.0) (+ (- (+ (- (+ (neg 10.0) (* 35.0 t)) (* 60.0 (pow t 2.0))) (* 55.0 (pow t 3.0))) (* 26.0 (pow t 4.0))) (* 5.0 (pow t 5.0)))) x1) y0) (* (* (* 3.0 t) x1) (+ (* (* 30.0 (pow (+ (neg 1.0) t) 4.0)) y1) (* t (+ (* (- (+ (- 20.0 (* 75.0 t)) (* 84.0 (pow t 2.0))) (* 30.0 (pow t 3.0))) y2) (* (* t (+ (- 5.0 (* 16.0 t)) (* 10.0 (pow t 2.0)))) y3)))))) (* (* (pow t 2.0) x3) (+ (* (- (+ (- 20.0 (* 45.0 t)) (* 36.0 (pow t 2.0))) (* 10.0 (pow t 3.0))) y0) (* t (+ (* (+ (- 45.0 (* 72.0 t)) (* 30.0 (pow t 2.0))) y1) (* (* 2.0 t) (+ (* (* (neg 3.0) (+ (neg 6.0) (* 5.0 t))) y2) (* (* 5.0 t) y3)))))))) (* (* (* 3.0 t) x2) (+ (* (+ (- (+ (- 20.0 (* 60.0 t)) (* 75.0 (pow t 2.0))) (* 44.0 (pow t 3.0))) (* 10.0 (pow t 4.0))) y0) (* t (+ (* (- (+ (- 40.0 (* 105.0 t)) (* 96.0 (pow t 2.0))) (* 30.0 (pow t 3.0))) y1) (* (* 2.0 t) (+ (* (* 15.0 (pow (+ (neg 1.0) t) 2.0)) y2) (* (* (- 4.0 (* 5.0 t)) t) y3)))))))) (* x0 (- (* (* 10.0 (+ (- (+ (- (+ (neg 6.0) (* 15.0 t)) (* 20.0 (pow t 2.0))) (* 15.0 (pow t 3.0))) (* 6.0 (pow t 4.0))) (pow t 5.0))) y0) (* t (+ (* (* 6.0 (+ (- (+ (- 15.0 (* 40.0 t)) (* 45.0 (pow t 2.0))) (* 24.0 (pow t 3.0))) (* 5.0 (pow t 4.0)))) y1) (* t (+ (* (* (neg 3.0) (+ (- (+ (neg 20.0) (* 45.0 t)) (* 36.0 (pow t 2.0))) (* 10.0 (pow t 3.0)))) y2) (* (* t (+ (- 15.0 (* 24.0 t)) (* 10.0 (pow t 2.0)))) y3))))))))) 20.0) 0.722 * [progress]: [Phase 3 of 3] Extracting. 0.741 * [simplify]: Simplifying using # : (/ (* t (+ (+ (+ (+ (* (* (* (neg 6.0) (+ (- (+ (- (+ (neg 10.0) (* 35.0 t)) (* 60.0 (pow t 2.0))) (* 55.0 (pow t 3.0))) (* 26.0 (pow t 4.0))) (* 5.0 (pow t 5.0)))) x1) y0) (* (* (* 3.0 t) x1) (+ (* (* 30.0 (pow (+ (neg 1.0) t) 4.0)) y1) (* t (+ (* (- (+ (- 20.0 (* 75.0 t)) (* 84.0 (pow t 2.0))) (* 30.0 (pow t 3.0))) y2) (* (* t (+ (- 5.0 (* 16.0 t)) (* 10.0 (pow t 2.0)))) y3)))))) (* (* (pow t 2.0) x3) (+ (* (- (+ (- 20.0 (* 45.0 t)) (* 36.0 (pow t 2.0))) (* 10.0 (pow t 3.0))) y0) (* t (+ (* (+ (- 45.0 (* 72.0 t)) (* 30.0 (pow t 2.0))) y1) (* (* 2.0 t) (+ (* (* (neg 3.0) (+ (neg 6.0) (* 5.0 t))) y2) (* (* 5.0 t) y3)))))))) (* (* (* 3.0 t) x2) (+ (* (+ (- (+ (- 20.0 (* 60.0 t)) (* 75.0 (pow t 2.0))) (* 44.0 (pow t 3.0))) (* 10.0 (pow t 4.0))) y0) (* t (+ (* (- (+ (- 40.0 (* 105.0 t)) (* 96.0 (pow t 2.0))) (* 30.0 (pow t 3.0))) y1) (* (* 2.0 t) (+ (* (* 15.0 (pow (+ (neg 1.0) t) 2.0)) y2) (* (* (- 4.0 (* 5.0 t)) t) y3)))))))) (* x0 (- (* (* 10.0 (+ (- (+ (- (+ (neg 6.0) (* 15.0 t)) (* 20.0 (pow t 2.0))) (* 15.0 (pow t 3.0))) (* 6.0 (pow t 4.0))) (pow t 5.0))) y0) (* t (+ (* (* 6.0 (+ (- (+ (- 15.0 (* 40.0 t)) (* 45.0 (pow t 2.0))) (* 24.0 (pow t 3.0))) (* 5.0 (pow t 4.0)))) y1) (* t (+ (* (* (neg 3.0) (+ (- (+ (neg 20.0) (* 45.0 t)) (* 36.0 (pow t 2.0))) (* 10.0 (pow t 3.0)))) y2) (* (* t (+ (- 15.0 (* 24.0 t)) (* 10.0 (pow t 2.0)))) y3))))))))) 20.0) 0.744 * * [simplify]: iteration 0 : 290 enodes (cost 177 ) 0.744 * * [simplify]: iteration 1 : 314 enodes (cost 177 ) 0.745 * * [simplify]: iteration 2 : 345 enodes (cost 177 ) 0.747 * * [simplify]: iteration 3 : 364 enodes (cost 177 ) 0.748 * * [simplify]: iteration 4 : 390 enodes (cost 177 ) 0.749 * * [simplify]: iteration 5 : 451 enodes (cost 177 ) 0.750 * * [simplify]: iteration 6 : 496 enodes (cost 177 ) 0.752 * * [simplify]: iteration 7 : 543 enodes (cost 177 ) 0.754 * * [simplify]: iteration 8 : 618 enodes (cost 177 ) 0.756 * * [simplify]: iteration 9 : 735 enodes (cost 177 ) 0.758 * * [simplify]: iteration 10 : 808 enodes (cost 177 ) 0.760 * * [simplify]: iteration 11 : 909 enodes (cost 177 ) 0.763 * * [simplify]: iteration 12 : 1201 enodes (cost 177 ) 0.767 * * [simplify]: iteration 13 : 1519 enodes (cost 177 ) 0.772 * * [simplify]: iteration 14 : 1853 enodes (cost 177 ) 0.777 * * [simplify]: iteration 15 : 2165 enodes (cost 177 ) 0.783 * * [simplify]: iteration 16 : 2430 enodes (cost 177 ) 0.790 * * [simplify]: iteration 17 : 2517 enodes (cost 177 ) 0.797 * * [simplify]: iteration 18 : 2577 enodes (cost 177 ) 0.803 * * [simplify]: iteration 19 : 2640 enodes (cost 177 ) 0.809 * * [simplify]: iteration 20 : 2645 enodes (cost 177 ) 0.815 * * [simplify]: iteration 21 : 2645 enodes (cost 177 ) 0.815 * [simplify]: Simplified to: (/ (* t (+ (+ (+ (+ (* (* (* (neg 6.0) (+ (- (+ (- (+ (neg 10.0) (* 35.0 t)) (* 60.0 (pow t 2.0))) (* 55.0 (pow t 3.0))) (* 26.0 (pow t 4.0))) (* 5.0 (pow t 5.0)))) x1) y0) (* (* (* 3.0 t) x1) (+ (* (* 30.0 (pow (+ (neg 1.0) t) 4.0)) y1) (* t (+ (* (- (+ (- 20.0 (* 75.0 t)) (* 84.0 (pow t 2.0))) (* 30.0 (pow t 3.0))) y2) (* (* t (+ (- 5.0 (* 16.0 t)) (* 10.0 (pow t 2.0)))) y3)))))) (* (* (pow t 2.0) x3) (+ (* (- (+ (- 20.0 (* 45.0 t)) (* 36.0 (pow t 2.0))) (* 10.0 (pow t 3.0))) y0) (* t (+ (* (+ (- 45.0 (* 72.0 t)) (* 30.0 (pow t 2.0))) y1) (* (* 2.0 t) (+ (* (* (neg 3.0) (+ (neg 6.0) (* 5.0 t))) y2) (* (* 5.0 t) y3)))))))) (* (* (* 3.0 t) x2) (+ (* (+ (- (+ (- 20.0 (* 60.0 t)) (* 75.0 (pow t 2.0))) (* 44.0 (pow t 3.0))) (* 10.0 (pow t 4.0))) y0) (* t (+ (* (- (+ (- 40.0 (* 105.0 t)) (* 96.0 (pow t 2.0))) (* 30.0 (pow t 3.0))) y1) (* (* 2.0 t) (+ (* (* 15.0 (pow (+ (neg 1.0) t) 2.0)) y2) (* (* (- 4.0 (* 5.0 t)) t) y3)))))))) (* x0 (- (* (* 10.0 (+ (- (+ (- (+ (neg 6.0) (* 15.0 t)) (* 20.0 (pow t 2.0))) (* 15.0 (pow t 3.0))) (* 6.0 (pow t 4.0))) (pow t 5.0))) y0) (* t (+ (* (* 6.0 (+ (- (+ (- 15.0 (* 40.0 t)) (* 45.0 (pow t 2.0))) (* 24.0 (pow t 3.0))) (* 5.0 (pow t 4.0)))) y1) (* t (+ (* (* (neg 3.0) (+ (- (+ (neg 20.0) (* 45.0 t)) (* 36.0 (pow t 2.0))) (* 10.0 (pow t 3.0)))) y2) (* (* t (+ (- 15.0 (* 24.0 t)) (* 10.0 (pow t 2.0)))) y3))))))))) 20.0) 23.442 * [regime-testing]: End program error score: 13.696550895884084