20.893 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.011 * * * [progress]: [2/2] Setting up program. 0.014 * [progress]: [Phase 2 of 3] Improving. 0.014 * [simplify]: Simplifying: (- (- 1.0 x) y) 0.014 * * [simplify]: iteration 0: 5 enodes 0.015 * * [simplify]: iteration 1: 11 enodes 0.017 * * [simplify]: iteration 2: 20 enodes 0.020 * * [simplify]: iteration 3: 35 enodes 0.026 * * [simplify]: iteration 4: 57 enodes 0.033 * * [simplify]: iteration 5: 88 enodes 0.054 * * [simplify]: iteration 6: 109 enodes 0.070 * * [simplify]: iteration 7: 144 enodes 0.094 * * [simplify]: iteration 8: 216 enodes 0.146 * * [simplify]: iteration 9: 352 enodes 0.198 * * [simplify]: iteration 10: 491 enodes 0.254 * * [simplify]: iteration 11: 622 enodes 0.286 * * [simplify]: iteration 12: 735 enodes 0.343 * * [simplify]: iteration 13: 865 enodes 0.379 * * [simplify]: iteration 14: 986 enodes 0.412 * * [simplify]: iteration 15: 1116 enodes 0.470 * * [simplify]: iteration 16: 1229 enodes 0.532 * * [simplify]: iteration 17: 1359 enodes 0.589 * * [simplify]: iteration 18: 1472 enodes 0.650 * * [simplify]: iteration 19: 1602 enodes 0.709 * * [simplify]: iteration 20: 1715 enodes 0.748 * * [simplify]: iteration 21: 1845 enodes 0.793 * * [simplify]: iteration 22: 1958 enodes 0.824 * * [simplify]: iteration 23: 2088 enodes 0.862 * * [simplify]: iteration 24: 2201 enodes 0.900 * * [simplify]: iteration 25: 2331 enodes 0.932 * * [simplify]: iteration 26: 2444 enodes 0.962 * * [simplify]: iteration 27: 2574 enodes 1.020 * * [simplify]: iteration 28: 2687 enodes 1.077 * * [simplify]: iteration 29: 2817 enodes 1.138 * * [simplify]: iteration 30: 2930 enodes 1.184 * * [simplify]: iteration 31: 3060 enodes 1.223 * * [simplify]: iteration 32: 3173 enodes 1.281 * * [simplify]: iteration 33: 3303 enodes 1.310 * * [simplify]: iteration 34: 3416 enodes 1.361 * * [simplify]: iteration 35: 3546 enodes 1.396 * * [simplify]: iteration 36: 3659 enodes 1.428 * * [simplify]: iteration 37: 3789 enodes 1.462 * * [simplify]: iteration 38: 3902 enodes 1.509 * * [simplify]: iteration 39: 4032 enodes 1.541 * * [simplify]: iteration 40: 4145 enodes 1.570 * * [simplify]: iteration 41: 4275 enodes 1.602 * * [simplify]: iteration 42: 4388 enodes 1.634 * * [simplify]: iteration 43: 4518 enodes 1.680 * * [simplify]: iteration 44: 4631 enodes 1.710 * * [simplify]: iteration 45: 4761 enodes 1.742 * * [simplify]: iteration 46: 4874 enodes 1.769 * * [simplify]: iteration complete: 5000 enodes 1.769 * * [simplify]: Extracting #0: cost 1 inf + 0 1.769 * * [simplify]: Extracting #1: cost 14 inf + 0 1.770 * * [simplify]: Extracting #2: cost 30 inf + 209 1.770 * * [simplify]: Extracting #3: cost 7 inf + 2056 1.771 * * [simplify]: Extracting #4: cost 0 inf + 2630 1.772 * [simplify]: Simplified to: (- 1.0 (+ y x)) 1.772 * * [progress]: iteration 1 / 4 1.772 * * * [progress]: picking best candidate 1.778 * * * * [pick]: Picked # 1.778 * * * [progress]: localizing error 1.790 * * * [progress]: generating rewritten candidates 1.790 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.859 * * * [progress]: generating series expansions 1.859 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.859 * [backup-simplify]: Simplify (- (- 1.0 x) y) into (- 1.0 (+ x y)) 1.859 * [approximate]: Taking taylor expansion of (- 1.0 (+ x y)) in (x y) around 0 1.859 * [taylor]: Taking taylor expansion of (- 1.0 (+ x y)) in y 1.859 * [taylor]: Taking taylor expansion of 1.0 in y 1.859 * [backup-simplify]: Simplify 1.0 into 1.0 1.859 * [taylor]: Taking taylor expansion of (+ x y) in y 1.859 * [taylor]: Taking taylor expansion of x in y 1.859 * [backup-simplify]: Simplify x into x 1.859 * [taylor]: Taking taylor expansion of y in y 1.859 * [backup-simplify]: Simplify 0 into 0 1.859 * [backup-simplify]: Simplify 1 into 1 1.859 * [taylor]: Taking taylor expansion of (- 1.0 (+ x y)) in x 1.859 * [taylor]: Taking taylor expansion of 1.0 in x 1.859 * [backup-simplify]: Simplify 1.0 into 1.0 1.859 * [taylor]: Taking taylor expansion of (+ x y) in x 1.859 * [taylor]: Taking taylor expansion of x in x 1.859 * [backup-simplify]: Simplify 0 into 0 1.859 * [backup-simplify]: Simplify 1 into 1 1.859 * [taylor]: Taking taylor expansion of y in x 1.859 * [backup-simplify]: Simplify y into y 1.859 * [taylor]: Taking taylor expansion of (- 1.0 (+ x y)) in x 1.860 * [taylor]: Taking taylor expansion of 1.0 in x 1.860 * [backup-simplify]: Simplify 1.0 into 1.0 1.860 * [taylor]: Taking taylor expansion of (+ x y) in x 1.860 * [taylor]: Taking taylor expansion of x in x 1.860 * [backup-simplify]: Simplify 0 into 0 1.860 * [backup-simplify]: Simplify 1 into 1 1.860 * [taylor]: Taking taylor expansion of y in x 1.860 * [backup-simplify]: Simplify y into y 1.860 * [backup-simplify]: Simplify (+ 0 y) into y 1.860 * [backup-simplify]: Simplify (- y) into (- y) 1.860 * [backup-simplify]: Simplify (+ 1.0 (- y)) into (- 1.0 y) 1.860 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 1.860 * [taylor]: Taking taylor expansion of 1.0 in y 1.860 * [backup-simplify]: Simplify 1.0 into 1.0 1.860 * [taylor]: Taking taylor expansion of y in y 1.860 * [backup-simplify]: Simplify 0 into 0 1.860 * [backup-simplify]: Simplify 1 into 1 1.861 * [backup-simplify]: Simplify (- 0) into 0 1.862 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 1.862 * [backup-simplify]: Simplify 1.0 into 1.0 1.862 * [backup-simplify]: Simplify (+ 1 0) into 1 1.863 * [backup-simplify]: Simplify (- 1) into -1 1.863 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.863 * [taylor]: Taking taylor expansion of -1 in y 1.863 * [backup-simplify]: Simplify -1 into -1 1.863 * [backup-simplify]: Simplify -1 into -1 1.864 * [backup-simplify]: Simplify (- 1) into -1 1.864 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.864 * [backup-simplify]: Simplify -1 into -1 1.864 * [backup-simplify]: Simplify (+ (* -1 (* y 1)) (+ (* -1 (* 1 x)) 1.0)) into (- 1.0 (+ x y)) 1.865 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 x)) (/ 1 y)) into (- 1.0 (+ (/ 1 x) (/ 1 y))) 1.865 * [approximate]: Taking taylor expansion of (- 1.0 (+ (/ 1 x) (/ 1 y))) in (x y) around 0 1.865 * [taylor]: Taking taylor expansion of (- 1.0 (+ (/ 1 x) (/ 1 y))) in y 1.865 * [taylor]: Taking taylor expansion of 1.0 in y 1.865 * [backup-simplify]: Simplify 1.0 into 1.0 1.865 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 1.865 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.865 * [taylor]: Taking taylor expansion of x in y 1.865 * [backup-simplify]: Simplify x into x 1.865 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.865 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.865 * [taylor]: Taking taylor expansion of y in y 1.865 * [backup-simplify]: Simplify 0 into 0 1.865 * [backup-simplify]: Simplify 1 into 1 1.866 * [backup-simplify]: Simplify (/ 1 1) into 1 1.866 * [taylor]: Taking taylor expansion of (- 1.0 (+ (/ 1 x) (/ 1 y))) in x 1.866 * [taylor]: Taking taylor expansion of 1.0 in x 1.866 * [backup-simplify]: Simplify 1.0 into 1.0 1.866 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 1.866 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.866 * [taylor]: Taking taylor expansion of x in x 1.866 * [backup-simplify]: Simplify 0 into 0 1.866 * [backup-simplify]: Simplify 1 into 1 1.866 * [backup-simplify]: Simplify (/ 1 1) into 1 1.866 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.866 * [taylor]: Taking taylor expansion of y in x 1.866 * [backup-simplify]: Simplify y into y 1.866 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.867 * [taylor]: Taking taylor expansion of (- 1.0 (+ (/ 1 x) (/ 1 y))) in x 1.867 * [taylor]: Taking taylor expansion of 1.0 in x 1.867 * [backup-simplify]: Simplify 1.0 into 1.0 1.867 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 1.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.867 * [taylor]: Taking taylor expansion of x in x 1.867 * [backup-simplify]: Simplify 0 into 0 1.867 * [backup-simplify]: Simplify 1 into 1 1.867 * [backup-simplify]: Simplify (/ 1 1) into 1 1.867 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.867 * [taylor]: Taking taylor expansion of y in x 1.867 * [backup-simplify]: Simplify y into y 1.867 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.868 * [backup-simplify]: Simplify (+ 1 0) into 1 1.868 * [backup-simplify]: Simplify (- 1) into -1 1.869 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.869 * [taylor]: Taking taylor expansion of -1 in y 1.869 * [backup-simplify]: Simplify -1 into -1 1.870 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.870 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 1.870 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 1.870 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y)) 1.870 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 1.870 * [taylor]: Taking taylor expansion of 1.0 in y 1.870 * [backup-simplify]: Simplify 1.0 into 1.0 1.870 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.870 * [taylor]: Taking taylor expansion of y in y 1.870 * [backup-simplify]: Simplify 0 into 0 1.870 * [backup-simplify]: Simplify 1 into 1 1.871 * [backup-simplify]: Simplify (/ 1 1) into 1 1.871 * [backup-simplify]: Simplify (- 1) into -1 1.871 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.872 * [backup-simplify]: Simplify -1 into -1 1.872 * [backup-simplify]: Simplify -1 into -1 1.873 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.873 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1.874 * [backup-simplify]: Simplify (+ 0 0) into 0 1.875 * [backup-simplify]: Simplify (- 0) into 0 1.875 * [backup-simplify]: Simplify (+ 0 0) into 0 1.875 * [taylor]: Taking taylor expansion of 0 in y 1.875 * [backup-simplify]: Simplify 0 into 0 1.876 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.876 * [backup-simplify]: Simplify (- 0) into 0 1.877 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 1.877 * [backup-simplify]: Simplify 1.0 into 1.0 1.877 * [backup-simplify]: Simplify (+ 1.0 (+ (* -1 (* 1 (/ 1 (/ 1 x)))) (* -1 (* (/ 1 (/ 1 y)) 1)))) into (- 1.0 (+ x y)) 1.877 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- x))) (/ 1 (- y))) into (+ (/ 1 y) (+ (/ 1 x) 1.0)) 1.877 * [approximate]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 x) 1.0)) in (x y) around 0 1.877 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 x) 1.0)) in y 1.877 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.877 * [taylor]: Taking taylor expansion of y in y 1.877 * [backup-simplify]: Simplify 0 into 0 1.877 * [backup-simplify]: Simplify 1 into 1 1.878 * [backup-simplify]: Simplify (/ 1 1) into 1 1.878 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 1.878 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.878 * [taylor]: Taking taylor expansion of x in y 1.878 * [backup-simplify]: Simplify x into x 1.878 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.878 * [taylor]: Taking taylor expansion of 1.0 in y 1.878 * [backup-simplify]: Simplify 1.0 into 1.0 1.878 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 x) 1.0)) in x 1.878 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.878 * [taylor]: Taking taylor expansion of y in x 1.878 * [backup-simplify]: Simplify y into y 1.878 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.878 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 1.878 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.878 * [taylor]: Taking taylor expansion of x in x 1.879 * [backup-simplify]: Simplify 0 into 0 1.879 * [backup-simplify]: Simplify 1 into 1 1.879 * [backup-simplify]: Simplify (/ 1 1) into 1 1.879 * [taylor]: Taking taylor expansion of 1.0 in x 1.879 * [backup-simplify]: Simplify 1.0 into 1.0 1.879 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 x) 1.0)) in x 1.879 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.879 * [taylor]: Taking taylor expansion of y in x 1.879 * [backup-simplify]: Simplify y into y 1.879 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.879 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 1.879 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.879 * [taylor]: Taking taylor expansion of x in x 1.879 * [backup-simplify]: Simplify 0 into 0 1.879 * [backup-simplify]: Simplify 1 into 1 1.880 * [backup-simplify]: Simplify (/ 1 1) into 1 1.880 * [taylor]: Taking taylor expansion of 1.0 in x 1.880 * [backup-simplify]: Simplify 1.0 into 1.0 1.881 * [backup-simplify]: Simplify (+ 1 0) into 1 1.881 * [backup-simplify]: Simplify (+ 0 1) into 1 1.881 * [taylor]: Taking taylor expansion of 1 in y 1.881 * [backup-simplify]: Simplify 1 into 1 1.882 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.882 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 1.883 * [backup-simplify]: Simplify (+ (/ 1 y) 1.0) into (+ 1.0 (/ 1 y)) 1.883 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 1.883 * [taylor]: Taking taylor expansion of 1.0 in y 1.883 * [backup-simplify]: Simplify 1.0 into 1.0 1.883 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.883 * [taylor]: Taking taylor expansion of y in y 1.883 * [backup-simplify]: Simplify 0 into 0 1.883 * [backup-simplify]: Simplify 1 into 1 1.883 * [backup-simplify]: Simplify (/ 1 1) into 1 1.884 * [backup-simplify]: Simplify (+ 0 1) into 1 1.884 * [backup-simplify]: Simplify 1 into 1 1.884 * [backup-simplify]: Simplify 1 into 1 1.884 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1.885 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.885 * [backup-simplify]: Simplify (+ 0 0) into 0 1.886 * [backup-simplify]: Simplify (+ 0 0) into 0 1.886 * [taylor]: Taking taylor expansion of 0 in y 1.886 * [backup-simplify]: Simplify 0 into 0 1.887 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.887 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 1.887 * [backup-simplify]: Simplify 1.0 into 1.0 1.887 * [backup-simplify]: Simplify (+ 1.0 (+ (* 1 (* 1 (/ 1 (/ 1 (- x))))) (* 1 (* (/ 1 (/ 1 (- y))) 1)))) into (- 1.0 (+ x y)) 1.888 * * * [progress]: simplifying candidates 1.888 * [simplify]: Simplifying: (/ (/ (exp 1.0) (exp x)) (exp y)) (/ (exp (- 1.0 x)) (exp y)) (log (- (- 1.0 x) y)) (exp (- (- 1.0 x) y)) (* (cbrt (- (- 1.0 x) y)) (cbrt (- (- 1.0 x) y))) (cbrt (- (- 1.0 x) y)) (* (* (- (- 1.0 x) y) (- (- 1.0 x) y)) (- (- 1.0 x) y)) (sqrt (- (- 1.0 x) y)) (sqrt (- (- 1.0 x) y)) (- (pow (- 1.0 x) 3) (pow y 3)) (+ (* (- 1.0 x) (- 1.0 x)) (+ (* y y) (* (- 1.0 x) y))) (- y) (- (* (- 1.0 x) (- 1.0 x)) (* y y)) (+ (- 1.0 x) y) (+ (sqrt (- 1.0 x)) (sqrt y)) (- (sqrt (- 1.0 x)) (sqrt y)) (- (- 1.0 x) y) (- (- 1.0 x) y) (- (- x) y) (- (- x) y) (+ x y) (- y) (- 1.0 (+ x y)) (- 1.0 (+ x y)) (- 1.0 (+ x y)) 1.889 * * [simplify]: iteration 0: 39 enodes 1.903 * * [simplify]: iteration 1: 79 enodes 1.920 * * [simplify]: iteration 2: 205 enodes 2.021 * * [simplify]: iteration 3: 693 enodes 2.668 * * [simplify]: iteration 4: 3755 enodes 3.707 * * [simplify]: iteration complete: 5001 enodes 3.707 * * [simplify]: Extracting #0: cost 16 inf + 0 3.708 * * [simplify]: Extracting #1: cost 247 inf + 0 3.714 * * [simplify]: Extracting #2: cost 969 inf + 2230 3.742 * * [simplify]: Extracting #3: cost 915 inf + 63889 3.824 * * [simplify]: Extracting #4: cost 150 inf + 216561 3.925 * * [simplify]: Extracting #5: cost 60 inf + 246428 4.003 * * [simplify]: Extracting #6: cost 28 inf + 252995 4.075 * * [simplify]: Extracting #7: cost 3 inf + 258336 4.160 * * [simplify]: Extracting #8: cost 0 inf + 259218 4.238 * [simplify]: Simplified to: (exp (- (- 1.0 x) y)) (exp (- (- 1.0 x) y)) (log (- (- 1.0 y) x)) (exp (- (- 1.0 x) y)) (* (cbrt (- (- 1.0 y) x)) (cbrt (- (- 1.0 y) x))) (cbrt (- (- 1.0 y) x)) (* (- (- 1.0 y) x) (* (- (- 1.0 y) x) (- (- 1.0 y) x))) (sqrt (- (- 1.0 y) x)) (sqrt (- (- 1.0 y) x)) (- (* (- 1.0 x) (* (- 1.0 x) (- 1.0 x))) (* y (* y y))) (+ (* (- 1.0 x) (+ (- 1.0 x) y)) (* y y)) (- y) (* (+ (- 1.0 x) y) (- (- 1.0 x) y)) (- 1.0 (- x y)) (+ (sqrt y) (sqrt (- 1.0 x))) (- (sqrt (- 1.0 x)) (sqrt y)) (- (- 1.0 y) x) (- (- 1.0 y) x) (- (+ y x)) (- (+ y x)) (+ y x) (- y) (- (- 1.0 y) x) (- (- 1.0 y) x) (- (- 1.0 y) x) 4.239 * * * [progress]: adding candidates to table 4.313 * * [progress]: iteration 2 / 4 4.314 * * * [progress]: picking best candidate 4.317 * * * * [pick]: Picked # 4.317 * * * [progress]: localizing error 4.323 * * * [progress]: generating rewritten candidates 4.323 * * * [progress]: generating series expansions 4.323 * * * [progress]: simplifying candidates 4.323 * [simplify]: Simplifying: 4.323 * * [simplify]: iteration 0: 0 enodes 4.323 * * [simplify]: iteration complete: 0 enodes 4.323 * * [simplify]: Extracting #0: cost 0 inf + 0 4.323 * [simplify]: Simplified to: 4.323 * * * [progress]: adding candidates to table 4.324 * [progress]: [Phase 3 of 3] Extracting. 4.327 * [simplify]: Simplifying: (- 1.0 (+ x y)) 4.327 * * [simplify]: iteration 0: 5 enodes 4.328 * * [simplify]: iteration 1: 6 enodes 4.328 * * [simplify]: iteration complete: 6 enodes 4.328 * * [simplify]: Extracting #0: cost 1 inf + 0 4.328 * * [simplify]: Extracting #1: cost 3 inf + 0 4.328 * * [simplify]: Extracting #2: cost 4 inf + 1 4.328 * * [simplify]: Extracting #3: cost 0 inf + 128 4.328 * [simplify]: Simplified to: (- 1.0 (+ x y)) 5.109 * [regime-testing]: Baseline error score: 0.0011251406425803225 5.118 * [regime-testing]: Oracle error score: 0.0011251406425803225 5.119 * [regime-testing]: End program error score: 0.0011251406425803225