2.868 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.615 * * * [progress]: [2/2] Setting up program. 0.631 * [progress]: [Phase 2 of 3] Improving. 0.631 * [simplify]: Simplifying using # : (- (- (+ (- (+ (- (- (+ (- (- (+ (+ (+ (- (+ (+ (- (+ (- (+ (- (+ (- (+ (- (+ (- (* 9.22457123 (pow x 6.0)) (* (* 67.7363663 (pow x 5.0)) y)) (* (* 237.309052 (pow x 4.0)) (pow y 2.0))) (* (* 485.350159 (pow x 3.0)) (pow y 3.0))) (* (* 613.234802 (pow x 2.0)) (pow y 4.0))) (* (* 452.321167 x) (pow y 5.0))) (* 159.178238 (pow y 6.0))) (* 15.9176311 (pow x 5.0))) (* (* 74.7787781 (pow x 4.0)) y)) (* (* 142.099533 (pow x 3.0)) (pow y 2.0))) (* (* 157.771423 (pow x 2.0)) (pow y 3.0))) (* (* 123.889465 x) (pow y 4.0))) (* 71.1816788 (pow y 5.0))) (* 8.04888725 (pow x 4.0))) (* (* 18.598938 (pow x 3.0)) y)) (* (* 2.34709096 (pow x 2.0)) (pow y 2.0))) (* (* 19.7704735 x) (pow y 3.0))) (* 2.07074881 (pow y 4.0))) (* 0.801993608 (pow x 3.0))) (* (* 2.02271795 (pow x 2.0)) y)) (* (* 10.0447788 x) (pow y 2.0))) (* 3.47425485 (pow y 3.0))) (* 0.135039002 (pow x 2.0))) (* (* 1.17968905 x) y)) (* 0.679169416 (pow y 2.0))) (* 0.0428266823 x)) (* 0.0518894903 y)) 0.0016306967) 0.635 * * [simplify]: iteration 0 : 305 enodes (cost 99 ) 0.640 * * [simplify]: iteration 1 : 1193 enodes (cost 99 ) 0.665 * * [simplify]: iteration 2 : 5001 enodes (cost 99 ) 0.666 * [simplify]: Simplified to: (- (- (+ (- (+ (- (- (+ (- (- (+ (+ (+ (- (+ (+ (- (+ (- (+ (- (+ (- (+ (- (+ (- (* 9.22457123 (pow x 6.0)) (* (* 67.7363663 (pow x 5.0)) y)) (* (* 237.309052 (pow x 4.0)) (pow y 2.0))) (* (* 485.350159 (pow x 3.0)) (pow y 3.0))) (* (* 613.234802 (pow x 2.0)) (pow y 4.0))) (* (* 452.321167 x) (pow y 5.0))) (* 159.178238 (pow y 6.0))) (* 15.9176311 (pow x 5.0))) (* (* 74.7787781 (pow x 4.0)) y)) (* (* 142.099533 (pow x 3.0)) (pow y 2.0))) (* (* 157.771423 (pow x 2.0)) (pow y 3.0))) (* (* 123.889465 x) (pow y 4.0))) (* 71.1816788 (pow y 5.0))) (* 8.04888725 (pow x 4.0))) (* (* 18.598938 (pow x 3.0)) y)) (* (* 2.34709096 (pow x 2.0)) (pow y 2.0))) (* (* 19.7704735 x) (pow y 3.0))) (* 2.07074881 (pow y 4.0))) (* 0.801993608 (pow x 3.0))) (* (* 2.02271795 (pow x 2.0)) y)) (* (* 10.0447788 x) (pow y 2.0))) (* 3.47425485 (pow y 3.0))) (* 0.135039002 (pow x 2.0))) (* (* 1.17968905 x) y)) (* 0.679169416 (pow y 2.0))) (* 0.0428266823 x)) (* 0.0518894903 y)) 0.0016306967) 0.666 * [progress]: [Phase 3 of 3] Extracting. 0.685 * [simplify]: Simplifying using # : (- (- (+ (- (+ (- (- (+ (- (- (+ (+ (+ (- (+ (+ (- (+ (- (+ (- (+ (- (+ (- (+ (- (* 9.22457123 (pow x 6.0)) (* (* 67.7363663 (pow x 5.0)) y)) (* (* 237.309052 (pow x 4.0)) (pow y 2.0))) (* (* 485.350159 (pow x 3.0)) (pow y 3.0))) (* (* 613.234802 (pow x 2.0)) (pow y 4.0))) (* (* 452.321167 x) (pow y 5.0))) (* 159.178238 (pow y 6.0))) (* 15.9176311 (pow x 5.0))) (* (* 74.7787781 (pow x 4.0)) y)) (* (* 142.099533 (pow x 3.0)) (pow y 2.0))) (* (* 157.771423 (pow x 2.0)) (pow y 3.0))) (* (* 123.889465 x) (pow y 4.0))) (* 71.1816788 (pow y 5.0))) (* 8.04888725 (pow x 4.0))) (* (* 18.598938 (pow x 3.0)) y)) (* (* 2.34709096 (pow x 2.0)) (pow y 2.0))) (* (* 19.7704735 x) (pow y 3.0))) (* 2.07074881 (pow y 4.0))) (* 0.801993608 (pow x 3.0))) (* (* 2.02271795 (pow x 2.0)) y)) (* (* 10.0447788 x) (pow y 2.0))) (* 3.47425485 (pow y 3.0))) (* 0.135039002 (pow x 2.0))) (* (* 1.17968905 x) y)) (* 0.679169416 (pow y 2.0))) (* 0.0428266823 x)) (* 0.0518894903 y)) 0.0016306967) 0.687 * * [simplify]: iteration 0 : 169 enodes (cost 99 ) 0.687 * * [simplify]: iteration 1 : 169 enodes (cost 99 ) 0.688 * [simplify]: Simplified to: (- (- (+ (- (+ (- (- (+ (- (- (+ (+ (+ (- (+ (+ (- (+ (- (+ (- (+ (- (+ (- (+ (- (* 9.22457123 (pow x 6.0)) (* (* 67.7363663 (pow x 5.0)) y)) (* (* 237.309052 (pow x 4.0)) (pow y 2.0))) (* (* 485.350159 (pow x 3.0)) (pow y 3.0))) (* (* 613.234802 (pow x 2.0)) (pow y 4.0))) (* (* 452.321167 x) (pow y 5.0))) (* 159.178238 (pow y 6.0))) (* 15.9176311 (pow x 5.0))) (* (* 74.7787781 (pow x 4.0)) y)) (* (* 142.099533 (pow x 3.0)) (pow y 2.0))) (* (* 157.771423 (pow x 2.0)) (pow y 3.0))) (* (* 123.889465 x) (pow y 4.0))) (* 71.1816788 (pow y 5.0))) (* 8.04888725 (pow x 4.0))) (* (* 18.598938 (pow x 3.0)) y)) (* (* 2.34709096 (pow x 2.0)) (pow y 2.0))) (* (* 19.7704735 x) (pow y 3.0))) (* 2.07074881 (pow y 4.0))) (* 0.801993608 (pow x 3.0))) (* (* 2.02271795 (pow x 2.0)) y)) (* (* 10.0447788 x) (pow y 2.0))) (* 3.47425485 (pow y 3.0))) (* 0.135039002 (pow x 2.0))) (* (* 1.17968905 x) y)) (* 0.679169416 (pow y 2.0))) (* 0.0428266823 x)) (* 0.0518894903 y)) 0.0016306967) 20.210 * [regime-testing]: End program error score: 0.09240486446478004