5.142 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.022 * * * [progress]: [2/2] Setting up program. 0.025 * [progress]: [Phase 2 of 3] Improving. 0.025 * [simplify]: Simplifying using # : (* 2.0 (- (* x x) (* x y))) 0.026 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 0.026 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 0.028 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 0.034 * * [simplify]: iteration 3 : 58 enodes (cost 7 ) 0.044 * * [simplify]: iteration 4 : 72 enodes (cost 7 ) 0.057 * * [simplify]: iteration 5 : 81 enodes (cost 7 ) 0.075 * * [simplify]: iteration done : 81 enodes (cost 7 ) 0.075 * [simplify]: Simplified to: (* (* x (- x y)) 2.0) 0.079 * * [progress]: iteration 1 / 4 0.079 * * * [progress]: picking best candidate 0.081 * * * * [pick]: Picked # 0.081 * * * [progress]: localizing error 0.087 * * * [progress]: generating rewritten candidates 0.087 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.092 * * * [progress]: generating series expansions 0.092 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.092 * [approximate]: Taking taylor expansion of (- (pow x 2) (* x y)) in (x y) around 0 0.092 * [taylor]: Taking taylor expansion of (- (pow x 2) (* x y)) in y 0.092 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.092 * [taylor]: Taking taylor expansion of x in y 0.092 * [taylor]: Taking taylor expansion of (* x y) in y 0.092 * [taylor]: Taking taylor expansion of x in y 0.092 * [taylor]: Taking taylor expansion of y in y 0.092 * [taylor]: Taking taylor expansion of (- (pow x 2) (* x y)) in x 0.092 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.092 * [taylor]: Taking taylor expansion of x in x 0.092 * [taylor]: Taking taylor expansion of (* x y) in x 0.092 * [taylor]: Taking taylor expansion of x in x 0.092 * [taylor]: Taking taylor expansion of y in x 0.092 * [taylor]: Taking taylor expansion of (- (pow x 2) (* x y)) in x 0.092 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.092 * [taylor]: Taking taylor expansion of x in x 0.092 * [taylor]: Taking taylor expansion of (* x y) in x 0.092 * [taylor]: Taking taylor expansion of x in x 0.092 * [taylor]: Taking taylor expansion of y in x 0.093 * [taylor]: Taking taylor expansion of 0 in y 0.093 * [taylor]: Taking taylor expansion of (neg y) in y 0.093 * [taylor]: Taking taylor expansion of y in y 0.093 * [taylor]: Taking taylor expansion of 1 in y 0.093 * [taylor]: Taking taylor expansion of 0 in y 0.093 * [taylor]: Taking taylor expansion of 0 in y 0.094 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in (x y) around 0 0.094 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in y 0.094 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.094 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.094 * [taylor]: Taking taylor expansion of x in y 0.094 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.094 * [taylor]: Taking taylor expansion of (* x y) in y 0.094 * [taylor]: Taking taylor expansion of x in y 0.094 * [taylor]: Taking taylor expansion of y in y 0.094 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in x 0.094 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.094 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.094 * [taylor]: Taking taylor expansion of x in x 0.094 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.094 * [taylor]: Taking taylor expansion of (* x y) in x 0.094 * [taylor]: Taking taylor expansion of x in x 0.094 * [taylor]: Taking taylor expansion of y in x 0.094 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in x 0.094 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.094 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.094 * [taylor]: Taking taylor expansion of x in x 0.094 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.094 * [taylor]: Taking taylor expansion of (* x y) in x 0.094 * [taylor]: Taking taylor expansion of x in x 0.094 * [taylor]: Taking taylor expansion of y in x 0.094 * [taylor]: Taking taylor expansion of 1 in y 0.095 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 0.095 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.095 * [taylor]: Taking taylor expansion of y in y 0.095 * [taylor]: Taking taylor expansion of 0 in y 0.095 * [taylor]: Taking taylor expansion of 0 in y 0.096 * [taylor]: Taking taylor expansion of 0 in y 0.096 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in (x y) around 0 0.096 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in y 0.096 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.096 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.096 * [taylor]: Taking taylor expansion of x in y 0.096 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.096 * [taylor]: Taking taylor expansion of (* x y) in y 0.096 * [taylor]: Taking taylor expansion of x in y 0.096 * [taylor]: Taking taylor expansion of y in y 0.096 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in x 0.096 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.096 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.096 * [taylor]: Taking taylor expansion of x in x 0.096 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.096 * [taylor]: Taking taylor expansion of (* x y) in x 0.096 * [taylor]: Taking taylor expansion of x in x 0.096 * [taylor]: Taking taylor expansion of y in x 0.096 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in x 0.096 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.096 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.096 * [taylor]: Taking taylor expansion of x in x 0.096 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.097 * [taylor]: Taking taylor expansion of (* x y) in x 0.097 * [taylor]: Taking taylor expansion of x in x 0.097 * [taylor]: Taking taylor expansion of y in x 0.097 * [taylor]: Taking taylor expansion of 1 in y 0.097 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 0.097 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.097 * [taylor]: Taking taylor expansion of y in y 0.097 * [taylor]: Taking taylor expansion of 0 in y 0.097 * [taylor]: Taking taylor expansion of 0 in y 0.098 * [taylor]: Taking taylor expansion of 0 in y 0.098 * * * [progress]: simplifying candidates 0.098 * [simplify]: Simplifying using # : (/ (exp (* x x)) (exp (* x y))) (log (- (* x x) (* x y))) (exp (- (* x x) (* x y))) (* (cbrt (- (* x x) (* x y))) (cbrt (- (* x x) (* x y)))) (cbrt (- (* x x) (* x y))) (* (* (- (* x x) (* x y)) (- (* x x) (* x y))) (- (* x x) (* x y))) (sqrt (- (* x x) (* x y))) (sqrt (- (* x x) (* x y))) (- (pow (* x x) 3) (pow (* x y) 3)) (+ (* (* x x) (* x x)) (+ (* (* x y) (* x y)) (* (* x x) (* x y)))) (neg (* x y)) (- (* (* x x) (* x x)) (* (* x y) (* x y))) (+ (* x x) (* x y)) (- x y) (neg (* x y)) (- (pow x 2) (* x y)) (- (pow x 2) (* x y)) (- (pow x 2) (* x y)) 0.099 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 0.100 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 0.102 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 0.105 * * [simplify]: iteration 3 : 56 enodes (cost 6 ) 0.114 * * [simplify]: iteration 4 : 142 enodes (cost 6 ) 0.154 * * [simplify]: iteration 5 : 496 enodes (cost 6 ) 0.746 * * [simplify]: iteration 6 : 3035 enodes (cost 6 ) 2.217 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 2.218 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 2.219 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 2.220 * * [simplify]: iteration 2 : 23 enodes (cost 6 ) 2.223 * * [simplify]: iteration 3 : 25 enodes (cost 6 ) 2.226 * * [simplify]: iteration done : 25 enodes (cost 6 ) 2.227 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 2.228 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 2.229 * * [simplify]: iteration 2 : 31 enodes (cost 6 ) 2.234 * * [simplify]: iteration 3 : 55 enodes (cost 6 ) 2.242 * * [simplify]: iteration 4 : 115 enodes (cost 6 ) 2.270 * * [simplify]: iteration 5 : 351 enodes (cost 6 ) 2.557 * * [simplify]: iteration 6 : 1553 enodes (cost 6 ) 4.065 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 4.066 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 4.067 * * [simplify]: iteration 1 : 12 enodes (cost 13 ) 4.068 * * [simplify]: iteration 2 : 21 enodes (cost 13 ) 4.071 * * [simplify]: iteration 3 : 22 enodes (cost 13 ) 4.074 * * [simplify]: iteration done : 22 enodes (cost 13 ) 4.074 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 4.075 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 4.077 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 4.079 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 4.082 * * [simplify]: iteration done : 21 enodes (cost 6 ) 4.082 * * [simplify]: iteration 0 : 7 enodes (cost 23 ) 4.083 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 4.086 * * [simplify]: iteration 2 : 46 enodes (cost 7 ) 4.100 * * [simplify]: iteration 3 : 195 enodes (cost 7 ) 4.215 * * [simplify]: iteration 4 : 749 enodes (cost 7 ) 5.098 * * [simplify]: iteration 5 : 2466 enodes (cost 7 ) 7.647 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 7.648 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 7.649 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 7.650 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 7.653 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 7.655 * * [simplify]: iteration done : 21 enodes (cost 6 ) 7.656 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 7.657 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 7.658 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 7.665 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 7.668 * * [simplify]: iteration done : 21 enodes (cost 6 ) 7.669 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 7.670 * * [simplify]: iteration 1 : 28 enodes (cost 11 ) 7.676 * * [simplify]: iteration 2 : 98 enodes (cost 9 ) 7.703 * * [simplify]: iteration 3 : 330 enodes (cost 9 ) 7.887 * * [simplify]: iteration 4 : 857 enodes (cost 9 ) 8.598 * * [simplify]: iteration 5 : 2429 enodes (cost 9 ) 10.104 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 10.105 * * [simplify]: iteration 0 : 9 enodes (cost 23 ) 10.106 * * [simplify]: iteration 1 : 30 enodes (cost 19 ) 10.113 * * [simplify]: iteration 2 : 76 enodes (cost 15 ) 10.132 * * [simplify]: iteration 3 : 131 enodes (cost 13 ) 10.165 * * [simplify]: iteration 4 : 176 enodes (cost 13 ) 10.207 * * [simplify]: iteration 5 : 223 enodes (cost 13 ) 10.263 * * [simplify]: iteration 6 : 384 enodes (cost 13 ) 10.427 * * [simplify]: iteration 7 : 900 enodes (cost 13 ) 11.562 * * [simplify]: iteration 8 : 2961 enodes (cost 13 ) 13.221 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 13.221 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 13.222 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 13.223 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 13.224 * * [simplify]: iteration done : 11 enodes (cost 4 ) 13.225 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 13.226 * * [simplify]: iteration 1 : 23 enodes (cost 15 ) 13.234 * * [simplify]: iteration 2 : 65 enodes (cost 11 ) 13.250 * * [simplify]: iteration 3 : 154 enodes (cost 11 ) 13.291 * * [simplify]: iteration 4 : 270 enodes (cost 11 ) 13.383 * * [simplify]: iteration 5 : 457 enodes (cost 11 ) 13.590 * * [simplify]: iteration 6 : 913 enodes (cost 11 ) 14.293 * * [simplify]: iteration 7 : 2387 enodes (cost 11 ) 15.751 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 15.752 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 15.753 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 15.754 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 15.755 * * [simplify]: iteration done : 11 enodes (cost 5 ) 15.756 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 15.756 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 15.757 * * [simplify]: iteration 2 : 6 enodes (cost 3 ) 15.757 * * [simplify]: iteration done : 6 enodes (cost 3 ) 15.758 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 15.758 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 15.759 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 15.761 * * [simplify]: iteration done : 11 enodes (cost 4 ) 15.761 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 15.762 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 15.764 * * [simplify]: iteration 2 : 31 enodes (cost 5 ) 15.767 * * [simplify]: iteration 3 : 38 enodes (cost 5 ) 15.774 * * [simplify]: iteration 4 : 45 enodes (cost 5 ) 15.778 * * [simplify]: iteration 5 : 55 enodes (cost 5 ) 15.783 * * [simplify]: iteration 6 : 77 enodes (cost 5 ) 15.794 * * [simplify]: iteration 7 : 136 enodes (cost 5 ) 15.842 * * [simplify]: iteration 8 : 341 enodes (cost 5 ) 16.288 * * [simplify]: iteration 9 : 1274 enodes (cost 5 ) 18.636 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 18.636 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 18.637 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 18.639 * * [simplify]: iteration 2 : 31 enodes (cost 5 ) 18.642 * * [simplify]: iteration 3 : 38 enodes (cost 5 ) 18.646 * * [simplify]: iteration 4 : 45 enodes (cost 5 ) 18.649 * * [simplify]: iteration 5 : 55 enodes (cost 5 ) 18.655 * * [simplify]: iteration 6 : 77 enodes (cost 5 ) 18.666 * * [simplify]: iteration 7 : 136 enodes (cost 5 ) 18.715 * * [simplify]: iteration 8 : 341 enodes (cost 5 ) 19.164 * * [simplify]: iteration 9 : 1274 enodes (cost 5 ) 21.726 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 21.727 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 21.733 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 21.735 * * [simplify]: iteration 2 : 31 enodes (cost 5 ) 21.738 * * [simplify]: iteration 3 : 38 enodes (cost 5 ) 21.741 * * [simplify]: iteration 4 : 45 enodes (cost 5 ) 21.745 * * [simplify]: iteration 5 : 55 enodes (cost 5 ) 21.751 * * [simplify]: iteration 6 : 77 enodes (cost 5 ) 21.761 * * [simplify]: iteration 7 : 136 enodes (cost 5 ) 21.810 * * [simplify]: iteration 8 : 341 enodes (cost 5 ) 22.279 * * [simplify]: iteration 9 : 1274 enodes (cost 5 ) 24.692 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 24.692 * [simplify]: Simplified to: (exp (* x (- x y))) (log (* x (- x y))) (exp (* x (- x y))) (* (cbrt (* x (- x y))) (cbrt (* x (- x y)))) (cbrt (* x (- x y))) (pow (* x (- x y)) 3) (sqrt (* x (- x y))) (sqrt (* x (- x y))) (- (pow x 6) (pow (* x y) 3)) (* x (+ (* y (* x (+ y x))) (pow x 3))) (neg (* x y)) (* (* x x) (- (* x x) (* y y))) (* x (+ x y)) (- x y) (neg (* x y)) (* x (- x y)) (* x (- x y)) (* x (- x y)) 24.692 * * * [progress]: adding candidates to table 24.708 * [progress]: [Phase 3 of 3] Extracting. 24.710 * [simplify]: Simplifying using # : (* 2.0 (- (* x x) (* x y))) 24.711 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 24.711 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 24.711 * * [simplify]: iteration done : 9 enodes (cost 9 ) 24.711 * [simplify]: Simplified to: (* 2.0 (- (* x x) (* x y))) 25.581 * [regime-testing]: End program error score: 0.018575442242870503 25.645 * [regime-testing]: Target error score: 0.008626078259782472