85.374 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.040 * * * [progress]: [2/2] Setting up program.
0.043 * [progress]: [Phase 2 of 3] Improving.
0.043 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y) (* (+ x y) (+ x y)))>
0.044 * [simplify]: Simplifying:
  (* (+ x y) (+ x y))
0.044 * * [simplify]: iteration 0: 4 enodes
0.045 * * [simplify]: iteration 1: 11 enodes
0.048 * * [simplify]: iteration 2: 25 enodes
0.055 * * [simplify]: iteration 3: 53 enodes
0.068 * * [simplify]: iteration 4: 72 enodes
0.087 * * [simplify]: iteration 5: 88 enodes
0.110 * * [simplify]: iteration 6: 97 enodes
0.142 * * [simplify]: iteration 7: 103 enodes
0.166 * * [simplify]: iteration complete: 103 enodes
0.166 * * [simplify]: Extracting #0: cost 1 inf + 0
0.166 * * [simplify]: Extracting #1: cost 12 inf + 0
0.166 * * [simplify]: Extracting #2: cost 19 inf + 0
0.166 * * [simplify]: Extracting #3: cost 16 inf + 3
0.167 * * [simplify]: Extracting #4: cost 1 inf + 1149
0.168 * * [simplify]: Extracting #5: cost 0 inf + 1271
0.169 * [simplify]: Simplified to:
  (* (+ y x) (+ y x))
0.170 * * [progress]: iteration 1 / 4
0.170 * * * [progress]: picking best candidate
0.173 * * * * [pick]: Picked  #<alt (λ (x y) (* (+ x y) (+ x y)))>
0.173 * * * [progress]: localizing error
0.183 * * * [progress]: generating rewritten candidates
0.183 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.223 * * * [progress]: generating series expansions
0.223 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.224 * [backup-simplify]: Simplify (* (+ x y) (+ x y)) into (pow (+ x y) 2)
0.224 * [approximate]: Taking taylor expansion of (pow (+ x y) 2) in (x y) around 0
0.224 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in y
0.224 * [taylor]: Taking taylor expansion of (+ x y) in y
0.224 * [taylor]: Taking taylor expansion of x in y
0.224 * [backup-simplify]: Simplify x into x
0.224 * [taylor]: Taking taylor expansion of y in y
0.224 * [backup-simplify]: Simplify 0 into 0
0.224 * [backup-simplify]: Simplify 1 into 1
0.224 * [backup-simplify]: Simplify (+ x 0) into x
0.224 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in x
0.224 * [taylor]: Taking taylor expansion of (+ x y) in x
0.224 * [taylor]: Taking taylor expansion of x in x
0.224 * [backup-simplify]: Simplify 0 into 0
0.224 * [backup-simplify]: Simplify 1 into 1
0.224 * [taylor]: Taking taylor expansion of y in x
0.224 * [backup-simplify]: Simplify y into y
0.224 * [backup-simplify]: Simplify (+ 0 y) into y
0.224 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in x
0.224 * [taylor]: Taking taylor expansion of (+ x y) in x
0.224 * [taylor]: Taking taylor expansion of x in x
0.224 * [backup-simplify]: Simplify 0 into 0
0.224 * [backup-simplify]: Simplify 1 into 1
0.224 * [taylor]: Taking taylor expansion of y in x
0.224 * [backup-simplify]: Simplify y into y
0.224 * [backup-simplify]: Simplify (+ 0 y) into y
0.225 * [backup-simplify]: Simplify (* y y) into (pow y 2)
0.225 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.225 * [taylor]: Taking taylor expansion of y in y
0.225 * [backup-simplify]: Simplify 0 into 0
0.225 * [backup-simplify]: Simplify 1 into 1
0.225 * [backup-simplify]: Simplify (+ 1 0) into 1
0.226 * [backup-simplify]: Simplify (+ (* y 1) (* 1 y)) into (* 2 y)
0.226 * [taylor]: Taking taylor expansion of (* 2 y) in y
0.226 * [taylor]: Taking taylor expansion of 2 in y
0.226 * [backup-simplify]: Simplify 2 into 2
0.226 * [taylor]: Taking taylor expansion of y in y
0.226 * [backup-simplify]: Simplify 0 into 0
0.226 * [backup-simplify]: Simplify 1 into 1
0.226 * [backup-simplify]: Simplify (* 2 0) into 0
0.226 * [backup-simplify]: Simplify 0 into 0
0.227 * [backup-simplify]: Simplify (+ 0 0) into 0
0.227 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 1 1) (* 0 y))) into 1
0.227 * [taylor]: Taking taylor expansion of 1 in y
0.227 * [backup-simplify]: Simplify 1 into 1
0.227 * [backup-simplify]: Simplify 1 into 1
0.228 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
0.228 * [backup-simplify]: Simplify 2 into 2
0.228 * [backup-simplify]: Simplify (* 1 1) into 1
0.228 * [backup-simplify]: Simplify 1 into 1
0.228 * [backup-simplify]: Simplify (+ (* 1 (pow (* y 1) 2)) (+ (* 2 (* y x)) (* 1 (pow (* 1 x) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
0.229 * [backup-simplify]: Simplify (* (+ (/ 1 x) (/ 1 y)) (+ (/ 1 x) (/ 1 y))) into (pow (+ (/ 1 x) (/ 1 y)) 2)
0.229 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in (x y) around 0
0.229 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in y
0.229 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
0.229 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.229 * [taylor]: Taking taylor expansion of x in y
0.229 * [backup-simplify]: Simplify x into x
0.229 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.229 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.229 * [taylor]: Taking taylor expansion of y in y
0.229 * [backup-simplify]: Simplify 0 into 0
0.229 * [backup-simplify]: Simplify 1 into 1
0.229 * [backup-simplify]: Simplify (/ 1 1) into 1
0.229 * [backup-simplify]: Simplify (+ 0 1) into 1
0.229 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in x
0.229 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
0.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.229 * [taylor]: Taking taylor expansion of x in x
0.229 * [backup-simplify]: Simplify 0 into 0
0.229 * [backup-simplify]: Simplify 1 into 1
0.230 * [backup-simplify]: Simplify (/ 1 1) into 1
0.230 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.230 * [taylor]: Taking taylor expansion of y in x
0.230 * [backup-simplify]: Simplify y into y
0.230 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.230 * [backup-simplify]: Simplify (+ 1 0) into 1
0.230 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in x
0.230 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
0.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.230 * [taylor]: Taking taylor expansion of x in x
0.230 * [backup-simplify]: Simplify 0 into 0
0.230 * [backup-simplify]: Simplify 1 into 1
0.230 * [backup-simplify]: Simplify (/ 1 1) into 1
0.230 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.230 * [taylor]: Taking taylor expansion of y in x
0.230 * [backup-simplify]: Simplify y into y
0.230 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.231 * [backup-simplify]: Simplify (+ 1 0) into 1
0.231 * [backup-simplify]: Simplify (* 1 1) into 1
0.231 * [taylor]: Taking taylor expansion of 1 in y
0.231 * [backup-simplify]: Simplify 1 into 1
0.232 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.232 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
0.232 * [backup-simplify]: Simplify (+ (* 1 (/ 1 y)) (* (/ 1 y) 1)) into (* 2 (/ 1 y))
0.232 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
0.232 * [taylor]: Taking taylor expansion of 2 in y
0.232 * [backup-simplify]: Simplify 2 into 2
0.232 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.232 * [taylor]: Taking taylor expansion of y in y
0.232 * [backup-simplify]: Simplify 0 into 0
0.232 * [backup-simplify]: Simplify 1 into 1
0.232 * [backup-simplify]: Simplify (/ 1 1) into 1
0.233 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.233 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.233 * [backup-simplify]: Simplify (+ 0 0) into 0
0.234 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) (/ 1 y)) (* 0 1))) into (/ 1 (pow y 2))
0.234 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.234 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.234 * [taylor]: Taking taylor expansion of y in y
0.234 * [backup-simplify]: Simplify 0 into 0
0.234 * [backup-simplify]: Simplify 1 into 1
0.234 * [backup-simplify]: Simplify (* 1 1) into 1
0.234 * [backup-simplify]: Simplify (/ 1 1) into 1
0.234 * [backup-simplify]: Simplify 1 into 1
0.234 * [backup-simplify]: Simplify (* 2 1) into 2
0.235 * [backup-simplify]: Simplify 2 into 2
0.235 * [backup-simplify]: Simplify 1 into 1
0.235 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (+ (* 2 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) (* 1 (pow (* (/ 1 (/ 1 y)) 1) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
0.235 * [backup-simplify]: Simplify (* (+ (/ 1 (- x)) (/ 1 (- y))) (+ (/ 1 (- x)) (/ 1 (- y)))) into (pow (+ (/ 1 x) (/ 1 y)) 2)
0.235 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in (x y) around 0
0.235 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in y
0.235 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
0.235 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.235 * [taylor]: Taking taylor expansion of x in y
0.235 * [backup-simplify]: Simplify x into x
0.236 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.236 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.236 * [taylor]: Taking taylor expansion of y in y
0.236 * [backup-simplify]: Simplify 0 into 0
0.236 * [backup-simplify]: Simplify 1 into 1
0.236 * [backup-simplify]: Simplify (/ 1 1) into 1
0.236 * [backup-simplify]: Simplify (+ 0 1) into 1
0.236 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in x
0.236 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
0.236 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.237 * [taylor]: Taking taylor expansion of x in x
0.237 * [backup-simplify]: Simplify 0 into 0
0.237 * [backup-simplify]: Simplify 1 into 1
0.237 * [backup-simplify]: Simplify (/ 1 1) into 1
0.237 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.237 * [taylor]: Taking taylor expansion of y in x
0.237 * [backup-simplify]: Simplify y into y
0.237 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.237 * [backup-simplify]: Simplify (+ 1 0) into 1
0.237 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in x
0.237 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
0.237 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.238 * [taylor]: Taking taylor expansion of x in x
0.238 * [backup-simplify]: Simplify 0 into 0
0.238 * [backup-simplify]: Simplify 1 into 1
0.238 * [backup-simplify]: Simplify (/ 1 1) into 1
0.238 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.238 * [taylor]: Taking taylor expansion of y in x
0.238 * [backup-simplify]: Simplify y into y
0.238 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.238 * [backup-simplify]: Simplify (+ 1 0) into 1
0.238 * [backup-simplify]: Simplify (* 1 1) into 1
0.238 * [taylor]: Taking taylor expansion of 1 in y
0.238 * [backup-simplify]: Simplify 1 into 1
0.239 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.239 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
0.239 * [backup-simplify]: Simplify (+ (* 1 (/ 1 y)) (* (/ 1 y) 1)) into (* 2 (/ 1 y))
0.239 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
0.239 * [taylor]: Taking taylor expansion of 2 in y
0.239 * [backup-simplify]: Simplify 2 into 2
0.239 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.239 * [taylor]: Taking taylor expansion of y in y
0.239 * [backup-simplify]: Simplify 0 into 0
0.239 * [backup-simplify]: Simplify 1 into 1
0.239 * [backup-simplify]: Simplify (/ 1 1) into 1
0.240 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.240 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.240 * [backup-simplify]: Simplify (+ 0 0) into 0
0.241 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) (/ 1 y)) (* 0 1))) into (/ 1 (pow y 2))
0.241 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.241 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.241 * [taylor]: Taking taylor expansion of y in y
0.241 * [backup-simplify]: Simplify 0 into 0
0.241 * [backup-simplify]: Simplify 1 into 1
0.241 * [backup-simplify]: Simplify (* 1 1) into 1
0.242 * [backup-simplify]: Simplify (/ 1 1) into 1
0.242 * [backup-simplify]: Simplify 1 into 1
0.244 * [backup-simplify]: Simplify (* 2 1) into 2
0.244 * [backup-simplify]: Simplify 2 into 2
0.244 * [backup-simplify]: Simplify 1 into 1
0.245 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (* 1 (pow (* (/ 1 (/ 1 (- y))) 1) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
0.245 * * * [progress]: simplifying candidates
0.245 * * * * [progress]: [ 1 / 44 ] simplifiying candidate #<alt (λ (x y) (pow (+ x y) (+ 1 1)))>
0.245 * * * * [progress]: [ 2 / 44 ] simplifiying candidate #<alt (λ (x y) (pow (* (+ x y) (+ x y)) 1))>
0.245 * * * * [progress]: [ 3 / 44 ] simplifiying candidate #<alt (λ (x y) (pow (+ x y) 2))>
0.245 * * * * [progress]: [ 4 / 44 ] simplifiying candidate #<alt (λ (x y) (pow (+ x y) (+ 1 1)))>
0.245 * * * * [progress]: [ 5 / 44 ] simplifiying candidate #<alt (λ (x y) (pow (* (+ x y) (+ x y)) 1))>
0.245 * * * * [progress]: [ 6 / 44 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (+ x y)) (log (+ x y)))))>
0.245 * * * * [progress]: [ 7 / 44 ] simplifiying candidate #<alt (λ (x y) (exp (log (* (+ x y) (+ x y)))))>
0.245 * * * * [progress]: [ 8 / 44 ] simplifiying candidate #<alt (λ (x y) (log (exp (* (+ x y) (+ x y)))))>
0.245 * * * * [progress]: [ 9 / 44 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (+ x y) (+ x y)) (+ x y)) (* (* (+ x y) (+ x y)) (+ x y)))))>
0.245 * * * * [progress]: [ 10 / 44 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (* (+ x y) (+ x y))) (cbrt (* (+ x y) (+ x y)))) (cbrt (* (+ x y) (+ x y)))))>
0.245 * * * * [progress]: [ 11 / 44 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (+ x y) (+ x y)) (* (+ x y) (+ x y))) (* (+ x y) (+ x y)))))>
0.245 * * * * [progress]: [ 12 / 44 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (* (+ x y) (+ x y))) (sqrt (* (+ x y) (+ x y)))))>
0.245 * * * * [progress]: [ 13 / 44 ] simplifiying candidate #<alt (λ (x y) (/ (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))))>
0.245 * * * * [progress]: [ 14 / 44 ] simplifiying candidate #<alt (λ (x y) (/ (* (+ (pow x 3) (pow y 3)) (- (* x x) (* y y))) (* (+ (* x x) (- (* y y) (* x y))) (- x y))))>
0.246 * * * * [progress]: [ 15 / 44 ] simplifiying candidate #<alt (λ (x y) (/ (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))))>
0.246 * * * * [progress]: [ 16 / 44 ] simplifiying candidate #<alt (λ (x y) (/ (* (- (* x x) (* y y)) (- (* x x) (* y y))) (* (- x y) (- x y))))>
0.246 * * * * [progress]: [ 17 / 44 ] simplifiying candidate #<alt (λ (x y) (* 1 (* (+ x y) (+ x y))))>
0.246 * * * * [progress]: [ 18 / 44 ] simplifiying candidate #<alt (λ (x y) (* (* (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ x y)) (cbrt (+ x y)))) (* (cbrt (+ x y)) (cbrt (+ x y)))))>
0.246 * * * * [progress]: [ 19 / 44 ] simplifiying candidate #<alt (λ (x y) (* (* (sqrt (+ x y)) (sqrt (+ x y))) (* (sqrt (+ x y)) (sqrt (+ x y)))))>
0.246 * * * * [progress]: [ 20 / 44 ] simplifiying candidate #<alt (λ (x y) (* (* 1 1) (* (+ x y) (+ x y))))>
0.246 * * * * [progress]: [ 21 / 44 ] simplifiying candidate #<alt (λ (x y) (* (* 1 1) (* (+ x y) (+ x y))))>
0.246 * * * * [progress]: [ 22 / 44 ] simplifiying candidate #<alt (λ (x y) (* (* 1 1) (* (+ x y) (+ x y))))>
0.246 * * * * [progress]: [ 23 / 44 ] simplifiying candidate #<alt (λ (x y) (* (* 1 1) (* (+ x y) (+ x y))))>
0.246 * * * * [progress]: [ 24 / 44 ] simplifiying candidate #<alt (λ (x y) (* (* (sqrt (+ x y)) (sqrt (+ x y))) (* (sqrt (+ x y)) (sqrt (+ x y)))))>
0.246 * * * * [progress]: [ 25 / 44 ] simplifiying candidate #<alt (λ (x y) (pow (+ x y) (* 2 1)))>
0.246 * * * * [progress]: [ 26 / 44 ] simplifiying candidate #<alt (λ (x y) (+ (* (+ x y) x) (* (+ x y) y)))>
0.246 * * * * [progress]: [ 27 / 44 ] simplifiying candidate #<alt (λ (x y) (+ (* x (+ x y)) (* y (+ x y))))>
0.246 * * * * [progress]: [ 28 / 44 ] simplifiying candidate #<alt (λ (x y) (* (* (+ x y) (* (cbrt (+ x y)) (cbrt (+ x y)))) (cbrt (+ x y))))>
0.246 * * * * [progress]: [ 29 / 44 ] simplifiying candidate #<alt (λ (x y) (* (* (+ x y) (sqrt (+ x y))) (sqrt (+ x y))))>
0.246 * * * * [progress]: [ 30 / 44 ] simplifiying candidate #<alt (λ (x y) (* (* (+ x y) 1) (+ x y)))>
0.246 * * * * [progress]: [ 31 / 44 ] simplifiying candidate #<alt (λ (x y) (* (* (+ x y) 1) (+ x y)))>
0.246 * * * * [progress]: [ 32 / 44 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ x y)) (+ x y))))>
0.246 * * * * [progress]: [ 33 / 44 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (* (sqrt (+ x y)) (+ x y))))>
0.247 * * * * [progress]: [ 34 / 44 ] simplifiying candidate #<alt (λ (x y) (* 1 (* (+ x y) (+ x y))))>
0.247 * * * * [progress]: [ 35 / 44 ] simplifiying candidate #<alt (λ (x y) (* 1 (* (+ x y) (+ x y))))>
0.247 * * * * [progress]: [ 36 / 44 ] simplifiying candidate #<alt (λ (x y) (/ (* (+ x y) (+ (pow x 3) (pow y 3))) (+ (* x x) (- (* y y) (* x y)))))>
0.247 * * * * [progress]: [ 37 / 44 ] simplifiying candidate #<alt (λ (x y) (/ (* (+ x y) (- (* x x) (* y y))) (- x y)))>
0.247 * * * * [progress]: [ 38 / 44 ] simplifiying candidate #<alt (λ (x y) (/ (* (+ (pow x 3) (pow y 3)) (+ x y)) (+ (* x x) (- (* y y) (* x y)))))>
0.247 * * * * [progress]: [ 39 / 44 ] simplifiying candidate #<alt (λ (x y) (/ (* (- (* x x) (* y y)) (+ x y)) (- x y)))>
0.247 * * * * [progress]: [ 40 / 44 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (* (+ x y) (+ x y)))))>
0.247 * * * * [progress]: [ 41 / 44 ] simplifiying candidate #<alt (λ (x y) (* (+ x y) (+ x y)))>
0.247 * * * * [progress]: [ 42 / 44 ] simplifiying candidate #<alt (λ (x y) (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))))>
0.247 * * * * [progress]: [ 43 / 44 ] simplifiying candidate #<alt (λ (x y) (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))))>
0.247 * * * * [progress]: [ 44 / 44 ] simplifiying candidate #<alt (λ (x y) (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))))>
0.248 * [simplify]: Simplifying:
  (+ 1 1)
  (* (+ x y) (+ x y))
  (+ 1 1)
  (+ (log (+ x y)) (log (+ x y)))
  (log (* (+ x y) (+ x y)))
  (exp (* (+ x y) (+ x y)))
  (* (* (* (+ x y) (+ x y)) (+ x y)) (* (* (+ x y) (+ 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 3) (pow y 3)) (+ (pow x 3) (pow y 3)))
  (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))
  (* (+ (pow x 3) (pow y 3)) (- (* x x) (* y y)))
  (* (+ (* x x) (- (* y y) (* x y))) (- x y))
  (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3)))
  (* (- x y) (+ (* x x) (- (* y y) (* x y))))
  (* (- (* x x) (* y y)) (- (* x x) (* y y)))
  (* (- x y) (- x y))
  (* (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (* (cbrt (+ x y)) (cbrt (+ x y)))
  (* (sqrt (+ x y)) (sqrt (+ x y)))
  (* (sqrt (+ x y)) (sqrt (+ x y)))
  (* 1 1)
  (* (+ x y) (+ x y))
  (* 1 1)
  (* (+ x y) (+ x y))
  (* 1 1)
  (* (+ x y) (+ x y))
  (* 1 1)
  (* (+ x y) (+ x y))
  (* (sqrt (+ x y)) (sqrt (+ x y)))
  (* (sqrt (+ x y)) (sqrt (+ x y)))
  (* 2 1)
  (* (+ x y) x)
  (* (+ x y) y)
  (* x (+ x y))
  (* y (+ x y))
  (* (+ x y) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (* (+ x y) (sqrt (+ x y)))
  (* (+ x y) 1)
  (* (+ x y) 1)
  (* (cbrt (+ x y)) (+ x y))
  (* (sqrt (+ x y)) (+ x y))
  (* (+ x y) (+ x y))
  (* (+ x y) (+ x y))
  (* (+ x y) (+ (pow x 3) (pow y 3)))
  (* (+ x y) (- (* x x) (* y y)))
  (* (+ (pow x 3) (pow y 3)) (+ x y))
  (* (- (* x x) (* y y)) (+ x y))
  (real->posit16 (* (+ x y) (+ x y)))
  (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
  (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
  (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
0.249 * * [simplify]: iteration 0: 63 enodes
0.275 * * [simplify]: iteration 1: 225 enodes
0.375 * * [simplify]: iteration 2: 802 enodes
0.960 * * [simplify]: iteration 3: 4234 enodes
2.112 * * [simplify]: iteration complete: 5000 enodes
2.112 * * [simplify]: Extracting #0: cost 26 inf + 0
2.113 * * [simplify]: Extracting #1: cost 338 inf + 2
2.118 * * [simplify]: Extracting #2: cost 1184 inf + 1378
2.133 * * [simplify]: Extracting #3: cost 1244 inf + 50927
2.166 * * [simplify]: Extracting #4: cost 299 inf + 212973
2.226 * * [simplify]: Extracting #5: cost 13 inf + 282186
2.296 * * [simplify]: Extracting #6: cost 0 inf + 286790
2.371 * [simplify]: Simplified to:
  2
  (* (+ y x) (+ y x))
  2
  (+ (log (+ y x)) (log (+ y x)))
  (+ (log (+ y x)) (log (+ y x)))
  (exp (* (+ y x) (+ y x)))
  (* (* (* (+ y x) (+ y x)) (* (+ y x) (+ y x))) (* (+ y x) (+ y x)))
  (* (cbrt (* (+ y x) (+ y x))) (cbrt (* (+ y x) (+ y x))))
  (cbrt (* (+ y x) (+ y x)))
  (* (* (* (+ y x) (+ y x)) (* (+ y x) (+ y x))) (* (+ y x) (+ y x)))
  (fabs (+ y x))
  (fabs (+ y x))
  (* (+ (* y (* y y)) (* (* x x) x)) (+ (* y (* y y)) (* (* x x) x)))
  (* (+ (* (- y x) y) (* x x)) (+ (* (- y x) y) (* x x)))
  (* (- (* x x) (* y y)) (+ (* y (* y y)) (* (* x x) x)))
  (* (+ (* (- y x) y) (* x x)) (- x y))
  (* (- (* x x) (* y y)) (+ (* y (* y y)) (* (* x x) x)))
  (* (+ (* (- y x) y) (* x x)) (- x y))
  (* (- (* x x) (* y y)) (- (* x x) (* y y)))
  (* (- x y) (- x y))
  (* (cbrt (+ y x)) (+ y x))
  (* (cbrt (+ y x)) (cbrt (+ y x)))
  (+ y x)
  (+ y x)
  1
  (* (+ y x) (+ y x))
  1
  (* (+ y x) (+ y x))
  1
  (* (+ y x) (+ y x))
  1
  (* (+ y x) (+ y x))
  (+ y x)
  (+ y x)
  2
  (* x (+ y x))
  (* (+ y x) y)
  (* x (+ y x))
  (* (+ y x) y)
  (* (* (cbrt (+ y x)) (cbrt (+ y x))) (+ y x))
  (* (sqrt (+ y x)) (+ y x))
  (+ y x)
  (+ y x)
  (* (cbrt (+ y x)) (+ y x))
  (* (sqrt (+ y x)) (+ y x))
  (* (+ y x) (+ y x))
  (* (+ y x) (+ y x))
  (* (+ (* y (* y y)) (* (* x x) x)) (+ x y))
  (* (* (+ y x) (+ y x)) (- x y))
  (* (+ (* y (* y y)) (* (* x x) x)) (+ x y))
  (* (* (+ y x) (+ y x)) (- x y))
  (real->posit16 (* (+ y x) (+ y x)))
  (+ (+ (* x x) (* y y)) (+ (* x y) (* x y)))
  (+ (+ (* x x) (* y y)) (+ (* x y) (* x y)))
  (+ (+ (* x x) (* y y)) (+ (* x y) (* x y)))
2.375 * * * [progress]: adding candidates to table
2.481 * * [progress]: iteration 2 / 4
2.481 * * * [progress]: picking best candidate
2.483 * * * * [pick]: Picked  #<alt (λ (x y) (+ (+ (* x x) (* y y)) (+ (* x y) (* x y))))>
2.483 * * * [progress]: localizing error
2.500 * * * [progress]: generating rewritten candidates
2.500 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
2.510 * * * [progress]: generating series expansions
2.510 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
2.510 * [backup-simplify]: Simplify (+ (* x y) (* x y)) into (* 2 (* x y))
2.511 * [approximate]: Taking taylor expansion of (* 2 (* x y)) in (x y) around 0
2.511 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in y
2.511 * [taylor]: Taking taylor expansion of 2 in y
2.511 * [backup-simplify]: Simplify 2 into 2
2.511 * [taylor]: Taking taylor expansion of (* x y) in y
2.511 * [taylor]: Taking taylor expansion of x in y
2.511 * [backup-simplify]: Simplify x into x
2.511 * [taylor]: Taking taylor expansion of y in y
2.511 * [backup-simplify]: Simplify 0 into 0
2.511 * [backup-simplify]: Simplify 1 into 1
2.511 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in x
2.511 * [taylor]: Taking taylor expansion of 2 in x
2.511 * [backup-simplify]: Simplify 2 into 2
2.511 * [taylor]: Taking taylor expansion of (* x y) in x
2.511 * [taylor]: Taking taylor expansion of x in x
2.511 * [backup-simplify]: Simplify 0 into 0
2.511 * [backup-simplify]: Simplify 1 into 1
2.511 * [taylor]: Taking taylor expansion of y in x
2.511 * [backup-simplify]: Simplify y into y
2.511 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in x
2.511 * [taylor]: Taking taylor expansion of 2 in x
2.511 * [backup-simplify]: Simplify 2 into 2
2.511 * [taylor]: Taking taylor expansion of (* x y) in x
2.511 * [taylor]: Taking taylor expansion of x in x
2.511 * [backup-simplify]: Simplify 0 into 0
2.511 * [backup-simplify]: Simplify 1 into 1
2.511 * [taylor]: Taking taylor expansion of y in x
2.511 * [backup-simplify]: Simplify y into y
2.511 * [backup-simplify]: Simplify (* 0 y) into 0
2.512 * [backup-simplify]: Simplify (* 2 0) into 0
2.512 * [taylor]: Taking taylor expansion of 0 in y
2.512 * [backup-simplify]: Simplify 0 into 0
2.512 * [backup-simplify]: Simplify 0 into 0
2.512 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.513 * [backup-simplify]: Simplify (+ (* 2 y) (* 0 0)) into (* 2 y)
2.513 * [taylor]: Taking taylor expansion of (* 2 y) in y
2.513 * [taylor]: Taking taylor expansion of 2 in y
2.513 * [backup-simplify]: Simplify 2 into 2
2.513 * [taylor]: Taking taylor expansion of y in y
2.513 * [backup-simplify]: Simplify 0 into 0
2.513 * [backup-simplify]: Simplify 1 into 1
2.513 * [backup-simplify]: Simplify (* 2 0) into 0
2.514 * [backup-simplify]: Simplify 0 into 0
2.514 * [backup-simplify]: Simplify 0 into 0
2.514 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
2.515 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 y) (* 0 0))) into 0
2.515 * [taylor]: Taking taylor expansion of 0 in y
2.515 * [backup-simplify]: Simplify 0 into 0
2.515 * [backup-simplify]: Simplify 0 into 0
2.516 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
2.516 * [backup-simplify]: Simplify 2 into 2
2.516 * [backup-simplify]: Simplify 0 into 0
2.517 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
2.523 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0
2.523 * [taylor]: Taking taylor expansion of 0 in y
2.523 * [backup-simplify]: Simplify 0 into 0
2.523 * [backup-simplify]: Simplify 0 into 0
2.523 * [backup-simplify]: Simplify 0 into 0
2.524 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0
2.524 * [backup-simplify]: Simplify 0 into 0
2.524 * [backup-simplify]: Simplify 0 into 0
2.525 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
2.526 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
2.526 * [taylor]: Taking taylor expansion of 0 in y
2.526 * [backup-simplify]: Simplify 0 into 0
2.526 * [backup-simplify]: Simplify 0 into 0
2.526 * [backup-simplify]: Simplify (* 2 (* y x)) into (* 2 (* x y))
2.526 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 y)) (* (/ 1 x) (/ 1 y))) into (* 2 (/ 1 (* x y)))
2.526 * [approximate]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in (x y) around 0
2.527 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y
2.527 * [taylor]: Taking taylor expansion of 2 in y
2.527 * [backup-simplify]: Simplify 2 into 2
2.527 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.527 * [taylor]: Taking taylor expansion of (* x y) in y
2.527 * [taylor]: Taking taylor expansion of x in y
2.527 * [backup-simplify]: Simplify x into x
2.527 * [taylor]: Taking taylor expansion of y in y
2.527 * [backup-simplify]: Simplify 0 into 0
2.527 * [backup-simplify]: Simplify 1 into 1
2.527 * [backup-simplify]: Simplify (* x 0) into 0
2.527 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.527 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.527 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
2.527 * [taylor]: Taking taylor expansion of 2 in x
2.527 * [backup-simplify]: Simplify 2 into 2
2.527 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.527 * [taylor]: Taking taylor expansion of (* x y) in x
2.527 * [taylor]: Taking taylor expansion of x in x
2.527 * [backup-simplify]: Simplify 0 into 0
2.527 * [backup-simplify]: Simplify 1 into 1
2.527 * [taylor]: Taking taylor expansion of y in x
2.527 * [backup-simplify]: Simplify y into y
2.527 * [backup-simplify]: Simplify (* 0 y) into 0
2.528 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.528 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.528 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
2.528 * [taylor]: Taking taylor expansion of 2 in x
2.528 * [backup-simplify]: Simplify 2 into 2
2.528 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.528 * [taylor]: Taking taylor expansion of (* x y) in x
2.528 * [taylor]: Taking taylor expansion of x in x
2.528 * [backup-simplify]: Simplify 0 into 0
2.528 * [backup-simplify]: Simplify 1 into 1
2.528 * [taylor]: Taking taylor expansion of y in x
2.528 * [backup-simplify]: Simplify y into y
2.528 * [backup-simplify]: Simplify (* 0 y) into 0
2.528 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.528 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.529 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y)
2.529 * [taylor]: Taking taylor expansion of (/ 2 y) in y
2.529 * [taylor]: Taking taylor expansion of 2 in y
2.529 * [backup-simplify]: Simplify 2 into 2
2.529 * [taylor]: Taking taylor expansion of y in y
2.529 * [backup-simplify]: Simplify 0 into 0
2.529 * [backup-simplify]: Simplify 1 into 1
2.529 * [backup-simplify]: Simplify (/ 2 1) into 2
2.529 * [backup-simplify]: Simplify 2 into 2
2.530 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
2.530 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.530 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0
2.530 * [taylor]: Taking taylor expansion of 0 in y
2.530 * [backup-simplify]: Simplify 0 into 0
2.531 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0
2.531 * [backup-simplify]: Simplify 0 into 0
2.532 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
2.532 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.533 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
2.533 * [taylor]: Taking taylor expansion of 0 in y
2.533 * [backup-simplify]: Simplify 0 into 0
2.533 * [backup-simplify]: Simplify 0 into 0
2.534 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.534 * [backup-simplify]: Simplify 0 into 0
2.535 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
2.535 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.536 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
2.536 * [taylor]: Taking taylor expansion of 0 in y
2.536 * [backup-simplify]: Simplify 0 into 0
2.536 * [backup-simplify]: Simplify 0 into 0
2.536 * [backup-simplify]: Simplify 0 into 0
2.537 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.537 * [backup-simplify]: Simplify 0 into 0
2.537 * [backup-simplify]: Simplify (* 2 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 2 (* x y))
2.537 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- x)) (/ 1 (- y)))) into (* 2 (/ 1 (* x y)))
2.537 * [approximate]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in (x y) around 0
2.537 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y
2.538 * [taylor]: Taking taylor expansion of 2 in y
2.538 * [backup-simplify]: Simplify 2 into 2
2.538 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.538 * [taylor]: Taking taylor expansion of (* x y) in y
2.538 * [taylor]: Taking taylor expansion of x in y
2.538 * [backup-simplify]: Simplify x into x
2.538 * [taylor]: Taking taylor expansion of y in y
2.538 * [backup-simplify]: Simplify 0 into 0
2.538 * [backup-simplify]: Simplify 1 into 1
2.538 * [backup-simplify]: Simplify (* x 0) into 0
2.538 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.538 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.538 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
2.538 * [taylor]: Taking taylor expansion of 2 in x
2.538 * [backup-simplify]: Simplify 2 into 2
2.538 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.538 * [taylor]: Taking taylor expansion of (* x y) in x
2.538 * [taylor]: Taking taylor expansion of x in x
2.538 * [backup-simplify]: Simplify 0 into 0
2.538 * [backup-simplify]: Simplify 1 into 1
2.538 * [taylor]: Taking taylor expansion of y in x
2.538 * [backup-simplify]: Simplify y into y
2.538 * [backup-simplify]: Simplify (* 0 y) into 0
2.539 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.539 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.539 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
2.539 * [taylor]: Taking taylor expansion of 2 in x
2.539 * [backup-simplify]: Simplify 2 into 2
2.539 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.539 * [taylor]: Taking taylor expansion of (* x y) in x
2.539 * [taylor]: Taking taylor expansion of x in x
2.539 * [backup-simplify]: Simplify 0 into 0
2.539 * [backup-simplify]: Simplify 1 into 1
2.539 * [taylor]: Taking taylor expansion of y in x
2.539 * [backup-simplify]: Simplify y into y
2.539 * [backup-simplify]: Simplify (* 0 y) into 0
2.539 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.539 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.540 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y)
2.540 * [taylor]: Taking taylor expansion of (/ 2 y) in y
2.540 * [taylor]: Taking taylor expansion of 2 in y
2.540 * [backup-simplify]: Simplify 2 into 2
2.540 * [taylor]: Taking taylor expansion of y in y
2.540 * [backup-simplify]: Simplify 0 into 0
2.540 * [backup-simplify]: Simplify 1 into 1
2.540 * [backup-simplify]: Simplify (/ 2 1) into 2
2.540 * [backup-simplify]: Simplify 2 into 2
2.541 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
2.541 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.541 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0
2.541 * [taylor]: Taking taylor expansion of 0 in y
2.541 * [backup-simplify]: Simplify 0 into 0
2.542 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0
2.542 * [backup-simplify]: Simplify 0 into 0
2.543 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
2.543 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.544 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
2.544 * [taylor]: Taking taylor expansion of 0 in y
2.544 * [backup-simplify]: Simplify 0 into 0
2.544 * [backup-simplify]: Simplify 0 into 0
2.545 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.545 * [backup-simplify]: Simplify 0 into 0
2.546 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
2.546 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.547 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
2.547 * [taylor]: Taking taylor expansion of 0 in y
2.547 * [backup-simplify]: Simplify 0 into 0
2.547 * [backup-simplify]: Simplify 0 into 0
2.547 * [backup-simplify]: Simplify 0 into 0
2.548 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.548 * [backup-simplify]: Simplify 0 into 0
2.548 * [backup-simplify]: Simplify (* 2 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 2 (* x y))
2.548 * * * [progress]: simplifying candidates
2.548 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (x y) (+ (+ (* x x) (* y y)) (log (* (exp (* x y)) (exp (* x y))))))>
2.548 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (x y) (+ (+ (* x x) (* y y)) (pow (+ (* x y) (* x y)) 1)))>
2.548 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (x y) (+ (+ (* x x) (* y y)) (exp (log (+ (* x y) (* x y))))))>
2.548 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (x y) (+ (+ (* x x) (* y y)) (log (exp (+ (* x y) (* x y))))))>
2.548 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (x y) (+ (+ (* x x) (* y y)) (* (* (cbrt (+ (* x y) (* x y))) (cbrt (+ (* x y) (* x y)))) (cbrt (+ (* x y) (* x y))))))>
2.548 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (x y) (+ (+ (* x x) (* y y)) (cbrt (* (* (+ (* x y) (* x y)) (+ (* x y) (* x y))) (+ (* x y) (* x y))))))>
2.548 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (x y) (+ (+ (* x x) (* y y)) (* (sqrt (+ (* x y) (* x y))) (sqrt (+ (* x y) (* x y))))))>
2.549 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (x y) (+ (+ (* x x) (* y y)) (/ (+ (pow (* x y) 3) (pow (* x y) 3)) (+ (* (* x y) (* x y)) (- (* (* x y) (* x y)) (* (* x y) (* x y)))))))>
2.549 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (x y) (+ (+ (* x x) (* y y)) (* 1 (+ (* x y) (* x y)))))>
2.549 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (x y) (+ (+ (* x x) (* y y)) (/ (- (* (* x y) (* x y)) (* (* x y) (* x y))) (- (* x y) (* x y)))))>
2.549 * * * * [progress]: [ 11 / 18 ] simplifiying candidate #<alt (λ (x y) (+ (+ (* x x) (* y y)) (* x (+ y y))))>
2.549 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (x y) (+ (+ (* x x) (* y y)) (* y (+ x x))))>
2.549 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (x y) (+ (+ (* x x) (* y y)) (* 2 (* x y))))>
2.549 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (x y) (+ (+ (* x x) (* y y)) (posit16->real (real->posit16 (+ (* x y) (* x y))))))>
2.549 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (x y) (+ (+ (* x x) (* y y)) (+ (* x y) (* x y))))>
2.549 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (x y) (+ (+ (* x x) (* y y)) (* 2 (* x y))))>
2.549 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (x y) (+ (+ (* x x) (* y y)) (* 2 (* x y))))>
2.549 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (x y) (+ (+ (* x x) (* y y)) (* 2 (* x y))))>
2.549 * [simplify]: Simplifying:
  (* (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))
  (+ y y)
  (+ x x)
  (real->posit16 (+ (* x y) (* x y)))
  (* 2 (* x y))
  (* 2 (* x y))
  (* 2 (* x y))
2.550 * * [simplify]: iteration 0: 25 enodes
2.555 * * [simplify]: iteration 1: 63 enodes
2.576 * * [simplify]: iteration 2: 231 enodes
2.741 * * [simplify]: iteration 3: 904 enodes
4.181 * * [simplify]: iteration 4: 2953 enodes
5.169 * * [simplify]: iteration complete: 5000 enodes
5.169 * * [simplify]: Extracting #0: cost 13 inf + 0
5.176 * * [simplify]: Extracting #1: cost 208 inf + 1
5.182 * * [simplify]: Extracting #2: cost 1087 inf + 7569
5.211 * * [simplify]: Extracting #3: cost 790 inf + 96674
5.268 * * [simplify]: Extracting #4: cost 180 inf + 230214
5.327 * * [simplify]: Extracting #5: cost 29 inf + 290648
5.384 * * [simplify]: Extracting #6: cost 1 inf + 299741
5.452 * * [simplify]: Extracting #7: cost 0 inf + 300035
5.511 * [simplify]: Simplified to:
  (* (exp (* x y)) (exp (* x y)))
  (log (* x (+ y y)))
  (* (exp (* x y)) (exp (* x y)))
  (* (cbrt (* x (+ y y))) (cbrt (* x (+ y y))))
  (cbrt (* x (+ y y)))
  (* (* x (+ y y)) (* (* x (+ y y)) (* x (+ y y))))
  (sqrt (* x (+ y y)))
  (sqrt (* x (+ y y)))
  (* (* x y) (+ (* (* x y) (* x y)) (* (* x y) (* x y))))
  (* (* x y) (* x y))
  0
  0
  (+ y y)
  (+ x x)
  (real->posit16 (* x (+ y y)))
  (* x (+ y y))
  (* x (+ y y))
  (* x (+ y y))
5.512 * * * [progress]: adding candidates to table
5.574 * [progress]: [Phase 3 of 3] Extracting.
5.577 * [simplify]: Simplifying:
  (+ (+ (* x x) (* y y)) (+ (* x y) (* x y)))
5.577 * * [simplify]: iteration 0: 8 enodes
5.577 * * [simplify]: iteration 1: 11 enodes
5.578 * * [simplify]: iteration complete: 11 enodes
5.578 * * [simplify]: Extracting #0: cost 1 inf + 0
5.578 * * [simplify]: Extracting #1: cost 3 inf + 0
5.578 * * [simplify]: Extracting #2: cost 6 inf + 0
5.578 * * [simplify]: Extracting #3: cost 8 inf + 0
5.578 * * [simplify]: Extracting #4: cost 5 inf + 43
5.578 * * [simplify]: Extracting #5: cost 0 inf + 572
5.578 * [simplify]: Simplified to:
  (+ (+ (* x y) (* x y)) (+ (* x x) (* y y)))
7.052 * [regime-testing]: Baseline error score: 0.017052705684164882
7.056 * [regime-testing]: Oracle error score: 0.017052705684164882
7.056 * [regime-testing]: End program error score: 0.017052705684164882
7.115 * [regime-testing]: Target error score: 0.016692608373970193