33.537 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.024 * * * [progress]: [2/2] Setting up program.
0.028 * [progress]: [Phase 2 of 3] Improving.
0.028 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y) (- (+ x y) (* x y)))>
0.028 * [simplify]: Simplifying:
  (- (+ x y) (* x y))
0.029 * * [simplify]: iteration 0: 5 enodes
0.030 * * [simplify]: iteration 1: 11 enodes
0.034 * * [simplify]: iteration 2: 25 enodes
0.041 * * [simplify]: iteration 3: 37 enodes
0.045 * * [simplify]: iteration 4: 44 enodes
0.050 * * [simplify]: iteration 5: 60 enodes
0.061 * * [simplify]: iteration 6: 115 enodes
0.075 * * [simplify]: iteration 7: 225 enodes
0.117 * * [simplify]: iteration 8: 428 enodes
0.216 * * [simplify]: iteration 9: 817 enodes
0.525 * * [simplify]: iteration 10: 1170 enodes
1.036 * * [simplify]: iteration 11: 1715 enodes
1.794 * * [simplify]: iteration 12: 2411 enodes
3.214 * * [simplify]: iteration 13: 3231 enodes
4.919 * * [simplify]: iteration complete: 5000 enodes
4.920 * * [simplify]: Extracting #0: cost 1 inf + 0
4.922 * * [simplify]: Extracting #1: cost 480 inf + 0
4.927 * * [simplify]: Extracting #2: cost 504 inf + 5126
4.940 * * [simplify]: Extracting #3: cost 200 inf + 37625
4.971 * * [simplify]: Extracting #4: cost 3 inf + 57656
4.999 * * [simplify]: Extracting #5: cost 0 inf + 58063
5.028 * * [simplify]: Extracting #6: cost 0 inf + 58023
5.056 * [simplify]: Simplified to:
  (- (+ x y) (* y x))
5.057 * * [progress]: iteration 1 / 4
5.057 * * * [progress]: picking best candidate
5.060 * * * * [pick]: Picked  #<alt (λ (x y) (- (+ x y) (* x y)))>
5.060 * * * [progress]: localizing error
5.074 * * * [progress]: generating rewritten candidates
5.074 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.118 * * * [progress]: generating series expansions
5.118 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.118 * [backup-simplify]: Simplify (- (+ x y) (* x y)) into (- (+ x y) (* x y))
5.118 * [approximate]: Taking taylor expansion of (- (+ x y) (* x y)) in (x y) around 0
5.118 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in y
5.118 * [taylor]: Taking taylor expansion of (+ x y) in y
5.118 * [taylor]: Taking taylor expansion of x in y
5.118 * [backup-simplify]: Simplify x into x
5.118 * [taylor]: Taking taylor expansion of y in y
5.118 * [backup-simplify]: Simplify 0 into 0
5.118 * [backup-simplify]: Simplify 1 into 1
5.118 * [taylor]: Taking taylor expansion of (* x y) in y
5.118 * [taylor]: Taking taylor expansion of x in y
5.118 * [backup-simplify]: Simplify x into x
5.118 * [taylor]: Taking taylor expansion of y in y
5.118 * [backup-simplify]: Simplify 0 into 0
5.118 * [backup-simplify]: Simplify 1 into 1
5.118 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x
5.118 * [taylor]: Taking taylor expansion of (+ x y) in x
5.118 * [taylor]: Taking taylor expansion of x in x
5.118 * [backup-simplify]: Simplify 0 into 0
5.118 * [backup-simplify]: Simplify 1 into 1
5.118 * [taylor]: Taking taylor expansion of y in x
5.119 * [backup-simplify]: Simplify y into y
5.119 * [taylor]: Taking taylor expansion of (* x y) in x
5.119 * [taylor]: Taking taylor expansion of x in x
5.119 * [backup-simplify]: Simplify 0 into 0
5.119 * [backup-simplify]: Simplify 1 into 1
5.119 * [taylor]: Taking taylor expansion of y in x
5.119 * [backup-simplify]: Simplify y into y
5.119 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x
5.119 * [taylor]: Taking taylor expansion of (+ x y) in x
5.119 * [taylor]: Taking taylor expansion of x in x
5.119 * [backup-simplify]: Simplify 0 into 0
5.119 * [backup-simplify]: Simplify 1 into 1
5.119 * [taylor]: Taking taylor expansion of y in x
5.119 * [backup-simplify]: Simplify y into y
5.119 * [taylor]: Taking taylor expansion of (* x y) in x
5.119 * [taylor]: Taking taylor expansion of x in x
5.119 * [backup-simplify]: Simplify 0 into 0
5.119 * [backup-simplify]: Simplify 1 into 1
5.119 * [taylor]: Taking taylor expansion of y in x
5.119 * [backup-simplify]: Simplify y into y
5.119 * [backup-simplify]: Simplify (+ 0 y) into y
5.119 * [backup-simplify]: Simplify (* 0 y) into 0
5.120 * [backup-simplify]: Simplify (- 0) into 0
5.120 * [backup-simplify]: Simplify (+ y 0) into y
5.120 * [taylor]: Taking taylor expansion of y in y
5.120 * [backup-simplify]: Simplify 0 into 0
5.120 * [backup-simplify]: Simplify 1 into 1
5.120 * [backup-simplify]: Simplify 0 into 0
5.120 * [backup-simplify]: Simplify (+ 1 0) into 1
5.121 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.121 * [backup-simplify]: Simplify (- y) into (- y)
5.121 * [backup-simplify]: Simplify (+ 1 (- y)) into (- 1 y)
5.121 * [taylor]: Taking taylor expansion of (- 1 y) in y
5.121 * [taylor]: Taking taylor expansion of 1 in y
5.121 * [backup-simplify]: Simplify 1 into 1
5.121 * [taylor]: Taking taylor expansion of y in y
5.121 * [backup-simplify]: Simplify 0 into 0
5.121 * [backup-simplify]: Simplify 1 into 1
5.121 * [backup-simplify]: Simplify (- 0) into 0
5.122 * [backup-simplify]: Simplify (+ 1 0) into 1
5.122 * [backup-simplify]: Simplify 1 into 1
5.122 * [backup-simplify]: Simplify 1 into 1
5.122 * [backup-simplify]: Simplify (+ 0 0) into 0
5.123 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.123 * [backup-simplify]: Simplify (- 0) into 0
5.123 * [backup-simplify]: Simplify (+ 0 0) into 0
5.124 * [taylor]: Taking taylor expansion of 0 in y
5.124 * [backup-simplify]: Simplify 0 into 0
5.124 * [backup-simplify]: Simplify 0 into 0
5.124 * [backup-simplify]: Simplify (- 1) into -1
5.124 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.124 * [backup-simplify]: Simplify -1 into -1
5.125 * [backup-simplify]: Simplify (+ (* -1 (* y x)) (+ (* 1 (* y 1)) (* 1 (* 1 x)))) into (- (+ x y) (* x y))
5.125 * [backup-simplify]: Simplify (- (+ (/ 1 x) (/ 1 y)) (* (/ 1 x) (/ 1 y))) into (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))
5.125 * [approximate]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in (x y) around 0
5.125 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in y
5.125 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
5.125 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.125 * [taylor]: Taking taylor expansion of x in y
5.125 * [backup-simplify]: Simplify x into x
5.125 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.125 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.125 * [taylor]: Taking taylor expansion of y in y
5.125 * [backup-simplify]: Simplify 0 into 0
5.125 * [backup-simplify]: Simplify 1 into 1
5.125 * [backup-simplify]: Simplify (/ 1 1) into 1
5.125 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
5.125 * [taylor]: Taking taylor expansion of (* x y) in y
5.125 * [taylor]: Taking taylor expansion of x in y
5.126 * [backup-simplify]: Simplify x into x
5.126 * [taylor]: Taking taylor expansion of y in y
5.126 * [backup-simplify]: Simplify 0 into 0
5.126 * [backup-simplify]: Simplify 1 into 1
5.126 * [backup-simplify]: Simplify (* x 0) into 0
5.126 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.126 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.126 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in x
5.126 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
5.126 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.126 * [taylor]: Taking taylor expansion of x in x
5.126 * [backup-simplify]: Simplify 0 into 0
5.126 * [backup-simplify]: Simplify 1 into 1
5.127 * [backup-simplify]: Simplify (/ 1 1) into 1
5.127 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.127 * [taylor]: Taking taylor expansion of y in x
5.127 * [backup-simplify]: Simplify y into y
5.127 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.127 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.127 * [taylor]: Taking taylor expansion of (* x y) in x
5.127 * [taylor]: Taking taylor expansion of x in x
5.127 * [backup-simplify]: Simplify 0 into 0
5.127 * [backup-simplify]: Simplify 1 into 1
5.127 * [taylor]: Taking taylor expansion of y in x
5.127 * [backup-simplify]: Simplify y into y
5.127 * [backup-simplify]: Simplify (* 0 y) into 0
5.127 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.127 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.127 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in x
5.127 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
5.127 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.127 * [taylor]: Taking taylor expansion of x in x
5.127 * [backup-simplify]: Simplify 0 into 0
5.127 * [backup-simplify]: Simplify 1 into 1
5.128 * [backup-simplify]: Simplify (/ 1 1) into 1
5.128 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.128 * [taylor]: Taking taylor expansion of y in x
5.128 * [backup-simplify]: Simplify y into y
5.128 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.128 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.128 * [taylor]: Taking taylor expansion of (* x y) in x
5.128 * [taylor]: Taking taylor expansion of x in x
5.128 * [backup-simplify]: Simplify 0 into 0
5.128 * [backup-simplify]: Simplify 1 into 1
5.128 * [taylor]: Taking taylor expansion of y in x
5.128 * [backup-simplify]: Simplify y into y
5.128 * [backup-simplify]: Simplify (* 0 y) into 0
5.129 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.129 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.129 * [backup-simplify]: Simplify (+ 1 0) into 1
5.129 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
5.129 * [backup-simplify]: Simplify (+ 1 (- (/ 1 y))) into (- 1 (/ 1 y))
5.130 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
5.130 * [taylor]: Taking taylor expansion of 1 in y
5.130 * [backup-simplify]: Simplify 1 into 1
5.130 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.130 * [taylor]: Taking taylor expansion of y in y
5.130 * [backup-simplify]: Simplify 0 into 0
5.130 * [backup-simplify]: Simplify 1 into 1
5.130 * [backup-simplify]: Simplify (/ 1 1) into 1
5.130 * [backup-simplify]: Simplify (- 1) into -1
5.131 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.131 * [backup-simplify]: Simplify -1 into -1
5.131 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.132 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
5.132 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.132 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.133 * [backup-simplify]: Simplify (- 0) into 0
5.133 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
5.133 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.133 * [taylor]: Taking taylor expansion of y in y
5.133 * [backup-simplify]: Simplify 0 into 0
5.133 * [backup-simplify]: Simplify 1 into 1
5.133 * [backup-simplify]: Simplify (/ 1 1) into 1
5.133 * [backup-simplify]: Simplify 1 into 1
5.134 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.134 * [backup-simplify]: Simplify (- 0) into 0
5.135 * [backup-simplify]: Simplify (+ 1 0) into 1
5.135 * [backup-simplify]: Simplify 1 into 1
5.135 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 x)))) (+ (* 1 (* (/ 1 (/ 1 y)) 1)) (* -1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))))) into (- (+ x y) (* x y))
5.135 * [backup-simplify]: Simplify (- (+ (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- x)) (/ 1 (- y)))) into (- (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))
5.135 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in (x y) around 0
5.135 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in y
5.135 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in y
5.135 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
5.135 * [taylor]: Taking taylor expansion of (* x y) in y
5.135 * [taylor]: Taking taylor expansion of x in y
5.135 * [backup-simplify]: Simplify x into x
5.135 * [taylor]: Taking taylor expansion of y in y
5.135 * [backup-simplify]: Simplify 0 into 0
5.135 * [backup-simplify]: Simplify 1 into 1
5.136 * [backup-simplify]: Simplify (* x 0) into 0
5.136 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.136 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.136 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
5.136 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.136 * [taylor]: Taking taylor expansion of x in y
5.136 * [backup-simplify]: Simplify x into x
5.136 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.136 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.136 * [taylor]: Taking taylor expansion of y in y
5.136 * [backup-simplify]: Simplify 0 into 0
5.136 * [backup-simplify]: Simplify 1 into 1
5.137 * [backup-simplify]: Simplify (/ 1 1) into 1
5.137 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in x
5.137 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x
5.137 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.137 * [taylor]: Taking taylor expansion of (* x y) in x
5.137 * [taylor]: Taking taylor expansion of x in x
5.137 * [backup-simplify]: Simplify 0 into 0
5.137 * [backup-simplify]: Simplify 1 into 1
5.137 * [taylor]: Taking taylor expansion of y in x
5.137 * [backup-simplify]: Simplify y into y
5.137 * [backup-simplify]: Simplify (* 0 y) into 0
5.137 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.137 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.137 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
5.137 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.137 * [taylor]: Taking taylor expansion of x in x
5.137 * [backup-simplify]: Simplify 0 into 0
5.137 * [backup-simplify]: Simplify 1 into 1
5.138 * [backup-simplify]: Simplify (/ 1 1) into 1
5.138 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.138 * [taylor]: Taking taylor expansion of y in x
5.138 * [backup-simplify]: Simplify y into y
5.138 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.138 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in x
5.138 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x
5.138 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.138 * [taylor]: Taking taylor expansion of (* x y) in x
5.138 * [taylor]: Taking taylor expansion of x in x
5.138 * [backup-simplify]: Simplify 0 into 0
5.138 * [backup-simplify]: Simplify 1 into 1
5.138 * [taylor]: Taking taylor expansion of y in x
5.138 * [backup-simplify]: Simplify y into y
5.138 * [backup-simplify]: Simplify (* 0 y) into 0
5.139 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.139 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.139 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
5.139 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.139 * [taylor]: Taking taylor expansion of x in x
5.139 * [backup-simplify]: Simplify 0 into 0
5.139 * [backup-simplify]: Simplify 1 into 1
5.139 * [backup-simplify]: Simplify (/ 1 1) into 1
5.139 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.139 * [taylor]: Taking taylor expansion of y in x
5.139 * [backup-simplify]: Simplify y into y
5.139 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.140 * [backup-simplify]: Simplify (+ 1 0) into 1
5.140 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ 1 (/ 1 y))
5.140 * [backup-simplify]: Simplify (- (+ 1 (/ 1 y))) into (- (+ 1 (/ 1 y)))
5.140 * [taylor]: Taking taylor expansion of (- (+ 1 (/ 1 y))) in y
5.140 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y
5.140 * [taylor]: Taking taylor expansion of 1 in y
5.140 * [backup-simplify]: Simplify 1 into 1
5.140 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.140 * [taylor]: Taking taylor expansion of y in y
5.140 * [backup-simplify]: Simplify 0 into 0
5.140 * [backup-simplify]: Simplify 1 into 1
5.140 * [backup-simplify]: Simplify (/ 1 1) into 1
5.141 * [backup-simplify]: Simplify (+ 0 1) into 1
5.141 * [backup-simplify]: Simplify (- 1) into -1
5.141 * [backup-simplify]: Simplify -1 into -1
5.142 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.142 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.143 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.143 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
5.143 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
5.143 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
5.143 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
5.143 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.143 * [taylor]: Taking taylor expansion of y in y
5.143 * [backup-simplify]: Simplify 0 into 0
5.143 * [backup-simplify]: Simplify 1 into 1
5.143 * [backup-simplify]: Simplify (/ 1 1) into 1
5.144 * [backup-simplify]: Simplify (- 1) into -1
5.144 * [backup-simplify]: Simplify -1 into -1
5.144 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.145 * [backup-simplify]: Simplify (+ 1 0) into 1
5.145 * [backup-simplify]: Simplify (- 1) into -1
5.145 * [backup-simplify]: Simplify -1 into -1
5.146 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- x))))) (+ (* -1 (* (/ 1 (/ 1 (- y))) 1)) (* -1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))))) into (- (+ x y) (* x y))
5.146 * * * [progress]: simplifying candidates
5.146 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (x y) (log (/ (* (exp x) (exp y)) (exp (* x y)))))>
5.146 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (x y) (log (/ (exp (+ x y)) (exp (* x y)))))>
5.146 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (x y) (pow (- (+ x y) (* x y)) 1))>
5.146 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (x y) (exp (log (- (+ x y) (* x y)))))>
5.146 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (x y) (log (exp (- (+ x y) (* x y)))))>
5.146 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))) (cbrt (- (+ x y) (* x y)))))>
5.146 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (- (+ x y) (* x y)) (- (+ x y) (* x y))) (- (+ x y) (* x y)))))>
5.146 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y)))))>
5.146 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (x y) (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y))))))>
5.146 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (x y) (+ (+ x y) (- (* x y))))>
5.146 * * * * [progress]: [ 11 / 18 ] simplifiying candidate #<alt (λ (x y) (* 1 (- (+ x y) (* x y))))>
5.146 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (x y) (/ (- (* (+ x y) (+ x y)) (* (* x y) (* x y))) (+ (+ x y) (* x y))))>
5.146 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (x y) (+ x (- y (* x y))))>
5.146 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (x y) (+ (+ x y) (- (* x y))))>
5.146 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (- (+ x y) (* x y)))))>
5.146 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (x y) (- (+ x y) (* x y)))>
5.147 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (x y) (- (+ x y) (* x y)))>
5.147 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (x y) (- (+ x y) (* x y)))>
5.147 * [simplify]: Simplifying:
  (/ (* (exp x) (exp y)) (exp (* x y)))
  (/ (exp (+ x y)) (exp (* x y)))
  (log (- (+ x y) (* x y)))
  (exp (- (+ x y) (* x y)))
  (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))
  (cbrt (- (+ x y) (* x y)))
  (* (* (- (+ x y) (* x y)) (- (+ x y) (* x y))) (- (+ x y) (* x y)))
  (sqrt (- (+ x y) (* x y)))
  (sqrt (- (+ x y) (* x y)))
  (- (pow (+ x y) 3) (pow (* x y) 3))
  (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y))))
  (- (* x y))
  (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))
  (+ (+ x y) (* x y))
  (- y (* x y))
  (- (* x y))
  (real->posit16 (- (+ x y) (* x y)))
  (- (+ x y) (* x y))
  (- (+ x y) (* x y))
  (- (+ x y) (* x y))
5.147 * * [simplify]: iteration 0: 33 enodes
5.158 * * [simplify]: iteration 1: 89 enodes
5.197 * * [simplify]: iteration 2: 302 enodes
5.327 * * [simplify]: iteration 3: 1223 enodes
6.065 * * [simplify]: iteration complete: 5000 enodes
6.065 * * [simplify]: Extracting #0: cost 14 inf + 0
6.066 * * [simplify]: Extracting #1: cost 477 inf + 0
6.077 * * [simplify]: Extracting #2: cost 1451 inf + 7617
6.118 * * [simplify]: Extracting #3: cost 843 inf + 174578
6.210 * * [simplify]: Extracting #4: cost 107 inf + 365801
6.338 * * [simplify]: Extracting #5: cost 31 inf + 394514
6.461 * * [simplify]: Extracting #6: cost 14 inf + 397998
6.557 * * [simplify]: Extracting #7: cost 2 inf + 400728
6.690 * * [simplify]: Extracting #8: cost 0 inf + 401316
6.817 * [simplify]: Simplified to:
  (exp (+ y (- x (* x y))))
  (exp (+ y (- x (* x y))))
  (log (+ y (- x (* x y))))
  (exp (+ y (- x (* x y))))
  (* (cbrt (+ y (- x (* x y)))) (cbrt (+ y (- x (* x y)))))
  (cbrt (+ y (- x (* x y))))
  (* (* (+ y (- x (* x y))) (+ y (- x (* x y)))) (+ y (- x (* x y))))
  (sqrt (+ y (- x (* x y))))
  (sqrt (+ y (- x (* x y))))
  (- (* (+ x y) (* (+ x y) (+ x y))) (* (* (* x y) (* x y)) (* x y)))
  (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))
  (- (* x y))
  (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))
  (+ (* x y) (+ x y))
  (- y (* x y))
  (- (* x y))
  (real->posit16 (+ y (- x (* x y))))
  (+ y (- x (* x y)))
  (+ y (- x (* x y)))
  (+ y (- x (* x y)))
6.818 * * * [progress]: adding candidates to table
6.862 * [progress]: [Phase 3 of 3] Extracting.
6.866 * [simplify]: Simplifying:
  (- (+ x y) (* x y))
6.866 * * [simplify]: iteration 0: 5 enodes
6.866 * * [simplify]: iteration 1: 7 enodes
6.867 * * [simplify]: iteration complete: 7 enodes
6.867 * * [simplify]: Extracting #0: cost 1 inf + 0
6.867 * * [simplify]: Extracting #1: cost 3 inf + 0
6.867 * * [simplify]: Extracting #2: cost 5 inf + 0
6.867 * * [simplify]: Extracting #3: cost 3 inf + 2
6.867 * * [simplify]: Extracting #4: cost 0 inf + 208
6.867 * [simplify]: Simplified to:
  (- (+ y x) (* x y))
7.863 * [regime-testing]: Baseline error score: 0.009876234529316165
7.867 * [regime-testing]: Oracle error score: 0.009876234529316165
7.867 * [regime-testing]: End program error score: 0.009876234529316165