26.317 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.044 * * * [progress]: [2/2] Setting up program.
0.059 * [progress]: [Phase 2 of 3] Improving.
0.059 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a b) (- (* a a) (* b b)))>
0.059 * [simplify]: Simplifying:
  (- (* a a) (* b b))
0.060 * * [simplify]: iteration 0: 5 enodes
0.067 * * [simplify]: iteration 1: 11 enodes
0.081 * * [simplify]: iteration 2: 18 enodes
0.094 * * [simplify]: iteration 3: 35 enodes
0.121 * * [simplify]: iteration 4: 66 enodes
0.207 * * [simplify]: iteration 5: 159 enodes
0.355 * * [simplify]: iteration 6: 286 enodes
0.594 * * [simplify]: iteration 7: 519 enodes
1.554 * * [simplify]: iteration 8: 1418 enodes
10.692 * * [simplify]: iteration 9: 4794 enodes
15.078 * * [simplify]: iteration complete: 5000 enodes
15.078 * * [simplify]: Extracting #0: cost 1 inf + 0
15.078 * * [simplify]: Extracting #1: cost 191 inf + 0
15.083 * * [simplify]: Extracting #2: cost 574 inf + 3326
15.105 * * [simplify]: Extracting #3: cost 140 inf + 78086
15.183 * * [simplify]: Extracting #4: cost 3 inf + 107323
15.259 * * [simplify]: Extracting #5: cost 0 inf + 106470
15.308 * [simplify]: Simplified to:
  (- (* a a) (* b b))
15.310 * * [progress]: iteration 1 / 4
15.310 * * * [progress]: picking best candidate
15.325 * * * * [pick]: Picked  #<alt (λ (a b) (- (* a a) (* b b)))>
15.325 * * * [progress]: localizing error
15.344 * * * [progress]: generating rewritten candidates
15.344 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
15.355 * * * [progress]: generating series expansions
15.355 * * * * [progress]: [ 1 / 1 ] generating series at (2)
15.355 * [backup-simplify]: Simplify (- (* a a) (* b b)) into (- (pow a 2) (pow b 2))
15.355 * [approximate]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in (a b) around 0
15.355 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in b
15.355 * [taylor]: Taking taylor expansion of (pow a 2) in b
15.355 * [taylor]: Taking taylor expansion of a in b
15.355 * [backup-simplify]: Simplify a into a
15.355 * [taylor]: Taking taylor expansion of (pow b 2) in b
15.355 * [taylor]: Taking taylor expansion of b in b
15.355 * [backup-simplify]: Simplify 0 into 0
15.355 * [backup-simplify]: Simplify 1 into 1
15.355 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a
15.355 * [taylor]: Taking taylor expansion of (pow a 2) in a
15.355 * [taylor]: Taking taylor expansion of a in a
15.355 * [backup-simplify]: Simplify 0 into 0
15.356 * [backup-simplify]: Simplify 1 into 1
15.356 * [taylor]: Taking taylor expansion of (pow b 2) in a
15.356 * [taylor]: Taking taylor expansion of b in a
15.356 * [backup-simplify]: Simplify b into b
15.356 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a
15.356 * [taylor]: Taking taylor expansion of (pow a 2) in a
15.356 * [taylor]: Taking taylor expansion of a in a
15.356 * [backup-simplify]: Simplify 0 into 0
15.356 * [backup-simplify]: Simplify 1 into 1
15.356 * [taylor]: Taking taylor expansion of (pow b 2) in a
15.356 * [taylor]: Taking taylor expansion of b in a
15.356 * [backup-simplify]: Simplify b into b
15.356 * [backup-simplify]: Simplify (* b b) into (pow b 2)
15.356 * [backup-simplify]: Simplify (- (pow b 2)) into (- (pow b 2))
15.356 * [backup-simplify]: Simplify (+ 0 (- (pow b 2))) into (- (pow b 2))
15.356 * [taylor]: Taking taylor expansion of (- (pow b 2)) in b
15.356 * [taylor]: Taking taylor expansion of (pow b 2) in b
15.356 * [taylor]: Taking taylor expansion of b in b
15.356 * [backup-simplify]: Simplify 0 into 0
15.356 * [backup-simplify]: Simplify 1 into 1
15.357 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
15.357 * [backup-simplify]: Simplify (- 0) into 0
15.357 * [backup-simplify]: Simplify (+ 0 0) into 0
15.357 * [taylor]: Taking taylor expansion of 0 in b
15.357 * [backup-simplify]: Simplify 0 into 0
15.357 * [backup-simplify]: Simplify 0 into 0
15.358 * [backup-simplify]: Simplify (* 1 1) into 1
15.358 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
15.358 * [backup-simplify]: Simplify (- 0) into 0
15.359 * [backup-simplify]: Simplify (+ 1 0) into 1
15.359 * [taylor]: Taking taylor expansion of 1 in b
15.359 * [backup-simplify]: Simplify 1 into 1
15.359 * [backup-simplify]: Simplify 1 into 1
15.359 * [backup-simplify]: Simplify 0 into 0
15.359 * [backup-simplify]: Simplify (* 1 1) into 1
15.359 * [backup-simplify]: Simplify (- 1) into -1
15.359 * [backup-simplify]: Simplify -1 into -1
15.360 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.360 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
15.361 * [backup-simplify]: Simplify (- 0) into 0
15.361 * [backup-simplify]: Simplify (+ 0 0) into 0
15.361 * [taylor]: Taking taylor expansion of 0 in b
15.361 * [backup-simplify]: Simplify 0 into 0
15.361 * [backup-simplify]: Simplify 0 into 0
15.361 * [backup-simplify]: Simplify 0 into 0
15.361 * [backup-simplify]: Simplify 0 into 0
15.361 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.362 * [backup-simplify]: Simplify (- 0) into 0
15.362 * [backup-simplify]: Simplify 0 into 0
15.362 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.364 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0
15.364 * [backup-simplify]: Simplify (- 0) into 0
15.364 * [backup-simplify]: Simplify (+ 0 0) into 0
15.364 * [taylor]: Taking taylor expansion of 0 in b
15.364 * [backup-simplify]: Simplify 0 into 0
15.364 * [backup-simplify]: Simplify 0 into 0
15.364 * [backup-simplify]: Simplify 0 into 0
15.365 * [backup-simplify]: Simplify (+ (* -1 (pow (* b 1) 2)) (* 1 (pow (* 1 a) 2))) into (- (pow a 2) (pow b 2))
15.365 * [backup-simplify]: Simplify (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) into (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))
15.365 * [approximate]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in (a b) around 0
15.365 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b
15.365 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
15.365 * [taylor]: Taking taylor expansion of (pow a 2) in b
15.366 * [taylor]: Taking taylor expansion of a in b
15.366 * [backup-simplify]: Simplify a into a
15.366 * [backup-simplify]: Simplify (* a a) into (pow a 2)
15.366 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
15.366 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
15.366 * [taylor]: Taking taylor expansion of (pow b 2) in b
15.366 * [taylor]: Taking taylor expansion of b in b
15.366 * [backup-simplify]: Simplify 0 into 0
15.366 * [backup-simplify]: Simplify 1 into 1
15.366 * [backup-simplify]: Simplify (* 1 1) into 1
15.366 * [backup-simplify]: Simplify (/ 1 1) into 1
15.366 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a
15.366 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
15.367 * [taylor]: Taking taylor expansion of (pow a 2) in a
15.367 * [taylor]: Taking taylor expansion of a in a
15.367 * [backup-simplify]: Simplify 0 into 0
15.367 * [backup-simplify]: Simplify 1 into 1
15.367 * [backup-simplify]: Simplify (* 1 1) into 1
15.367 * [backup-simplify]: Simplify (/ 1 1) into 1
15.367 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
15.367 * [taylor]: Taking taylor expansion of (pow b 2) in a
15.367 * [taylor]: Taking taylor expansion of b in a
15.367 * [backup-simplify]: Simplify b into b
15.367 * [backup-simplify]: Simplify (* b b) into (pow b 2)
15.367 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
15.367 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a
15.367 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
15.368 * [taylor]: Taking taylor expansion of (pow a 2) in a
15.368 * [taylor]: Taking taylor expansion of a in a
15.368 * [backup-simplify]: Simplify 0 into 0
15.368 * [backup-simplify]: Simplify 1 into 1
15.368 * [backup-simplify]: Simplify (* 1 1) into 1
15.368 * [backup-simplify]: Simplify (/ 1 1) into 1
15.368 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
15.368 * [taylor]: Taking taylor expansion of (pow b 2) in a
15.368 * [taylor]: Taking taylor expansion of b in a
15.368 * [backup-simplify]: Simplify b into b
15.369 * [backup-simplify]: Simplify (* b b) into (pow b 2)
15.369 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
15.370 * [backup-simplify]: Simplify (+ 1 0) into 1
15.370 * [taylor]: Taking taylor expansion of 1 in b
15.370 * [backup-simplify]: Simplify 1 into 1
15.371 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.372 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.372 * [backup-simplify]: Simplify (+ 0 0) into 0
15.372 * [taylor]: Taking taylor expansion of 0 in b
15.372 * [backup-simplify]: Simplify 0 into 0
15.373 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.375 * [backup-simplify]: Simplify (- (/ 1 (pow b 2))) into (- (/ 1 (pow b 2)))
15.375 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow b 2)))) into (- (/ 1 (pow b 2)))
15.375 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b
15.375 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
15.375 * [taylor]: Taking taylor expansion of (pow b 2) in b
15.375 * [taylor]: Taking taylor expansion of b in b
15.375 * [backup-simplify]: Simplify 0 into 0
15.375 * [backup-simplify]: Simplify 1 into 1
15.376 * [backup-simplify]: Simplify (* 1 1) into 1
15.376 * [backup-simplify]: Simplify (/ 1 1) into 1
15.377 * [backup-simplify]: Simplify (- 1) into -1
15.377 * [backup-simplify]: Simplify -1 into -1
15.377 * [backup-simplify]: Simplify 1 into 1
15.378 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.379 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
15.381 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0
15.381 * [backup-simplify]: Simplify (- 0) into 0
15.381 * [backup-simplify]: Simplify (+ 0 0) into 0
15.381 * [taylor]: Taking taylor expansion of 0 in b
15.381 * [backup-simplify]: Simplify 0 into 0
15.382 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.383 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.387 * [backup-simplify]: Simplify (- 0) into 0
15.387 * [backup-simplify]: Simplify 0 into 0
15.387 * [backup-simplify]: Simplify 0 into 0
15.388 * [backup-simplify]: Simplify 0 into 0
15.389 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.391 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.391 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
15.393 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
15.393 * [backup-simplify]: Simplify (- 0) into 0
15.394 * [backup-simplify]: Simplify (+ 0 0) into 0
15.394 * [taylor]: Taking taylor expansion of 0 in b
15.394 * [backup-simplify]: Simplify 0 into 0
15.395 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.396 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.396 * [backup-simplify]: Simplify (- 0) into 0
15.396 * [backup-simplify]: Simplify 0 into 0
15.397 * [backup-simplify]: Simplify 0 into 0
15.397 * [backup-simplify]: Simplify 0 into 0
15.398 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (* -1 (pow (* (/ 1 (/ 1 b)) 1) 2))) into (- (pow a 2) (pow b 2))
15.399 * [backup-simplify]: Simplify (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) into (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))
15.399 * [approximate]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in (a b) around 0
15.399 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b
15.399 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
15.399 * [taylor]: Taking taylor expansion of (pow a 2) in b
15.399 * [taylor]: Taking taylor expansion of a in b
15.399 * [backup-simplify]: Simplify a into a
15.400 * [backup-simplify]: Simplify (* a a) into (pow a 2)
15.400 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
15.400 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
15.400 * [taylor]: Taking taylor expansion of (pow b 2) in b
15.400 * [taylor]: Taking taylor expansion of b in b
15.400 * [backup-simplify]: Simplify 0 into 0
15.400 * [backup-simplify]: Simplify 1 into 1
15.401 * [backup-simplify]: Simplify (* 1 1) into 1
15.401 * [backup-simplify]: Simplify (/ 1 1) into 1
15.401 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a
15.402 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
15.402 * [taylor]: Taking taylor expansion of (pow a 2) in a
15.402 * [taylor]: Taking taylor expansion of a in a
15.402 * [backup-simplify]: Simplify 0 into 0
15.402 * [backup-simplify]: Simplify 1 into 1
15.402 * [backup-simplify]: Simplify (* 1 1) into 1
15.403 * [backup-simplify]: Simplify (/ 1 1) into 1
15.403 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
15.403 * [taylor]: Taking taylor expansion of (pow b 2) in a
15.403 * [taylor]: Taking taylor expansion of b in a
15.403 * [backup-simplify]: Simplify b into b
15.403 * [backup-simplify]: Simplify (* b b) into (pow b 2)
15.404 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
15.404 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a
15.404 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
15.404 * [taylor]: Taking taylor expansion of (pow a 2) in a
15.404 * [taylor]: Taking taylor expansion of a in a
15.404 * [backup-simplify]: Simplify 0 into 0
15.404 * [backup-simplify]: Simplify 1 into 1
15.404 * [backup-simplify]: Simplify (* 1 1) into 1
15.405 * [backup-simplify]: Simplify (/ 1 1) into 1
15.405 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
15.405 * [taylor]: Taking taylor expansion of (pow b 2) in a
15.405 * [taylor]: Taking taylor expansion of b in a
15.405 * [backup-simplify]: Simplify b into b
15.405 * [backup-simplify]: Simplify (* b b) into (pow b 2)
15.406 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
15.406 * [backup-simplify]: Simplify (+ 1 0) into 1
15.406 * [taylor]: Taking taylor expansion of 1 in b
15.406 * [backup-simplify]: Simplify 1 into 1
15.407 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.408 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.408 * [backup-simplify]: Simplify (+ 0 0) into 0
15.408 * [taylor]: Taking taylor expansion of 0 in b
15.408 * [backup-simplify]: Simplify 0 into 0
15.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.411 * [backup-simplify]: Simplify (- (/ 1 (pow b 2))) into (- (/ 1 (pow b 2)))
15.412 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow b 2)))) into (- (/ 1 (pow b 2)))
15.412 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b
15.412 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
15.412 * [taylor]: Taking taylor expansion of (pow b 2) in b
15.412 * [taylor]: Taking taylor expansion of b in b
15.412 * [backup-simplify]: Simplify 0 into 0
15.412 * [backup-simplify]: Simplify 1 into 1
15.413 * [backup-simplify]: Simplify (* 1 1) into 1
15.413 * [backup-simplify]: Simplify (/ 1 1) into 1
15.413 * [backup-simplify]: Simplify (- 1) into -1
15.414 * [backup-simplify]: Simplify -1 into -1
15.414 * [backup-simplify]: Simplify 1 into 1
15.415 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.416 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.416 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
15.417 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0
15.418 * [backup-simplify]: Simplify (- 0) into 0
15.418 * [backup-simplify]: Simplify (+ 0 0) into 0
15.418 * [taylor]: Taking taylor expansion of 0 in b
15.418 * [backup-simplify]: Simplify 0 into 0
15.419 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.420 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.420 * [backup-simplify]: Simplify (- 0) into 0
15.420 * [backup-simplify]: Simplify 0 into 0
15.420 * [backup-simplify]: Simplify 0 into 0
15.420 * [backup-simplify]: Simplify 0 into 0
15.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.423 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.423 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
15.425 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
15.426 * [backup-simplify]: Simplify (- 0) into 0
15.426 * [backup-simplify]: Simplify (+ 0 0) into 0
15.426 * [taylor]: Taking taylor expansion of 0 in b
15.426 * [backup-simplify]: Simplify 0 into 0
15.427 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.428 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.429 * [backup-simplify]: Simplify (- 0) into 0
15.429 * [backup-simplify]: Simplify 0 into 0
15.429 * [backup-simplify]: Simplify 0 into 0
15.429 * [backup-simplify]: Simplify 0 into 0
15.431 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- b))) 1) 2))) into (- (pow a 2) (pow b 2))
15.431 * * * [progress]: simplifying candidates
15.431 * * * * [progress]: [ 1 / 21 ] simplifiying candidate #<alt (λ (a b) (posit16->real (real->posit16 (- (* a a) (* b b)))))>
15.431 * * * * [progress]: [ 2 / 21 ] simplifiying candidate #<alt (λ (a b) (+ (fma a a (- (* b b))) (fma (- b) b (* b b))))>
15.431 * * * * [progress]: [ 3 / 21 ] simplifiying candidate #<alt (λ (a b) (log1p (expm1 (- (* a a) (* b b)))))>
15.431 * * * * [progress]: [ 4 / 21 ] simplifiying candidate #<alt (λ (a b) (expm1 (log1p (- (* a a) (* b b)))))>
15.431 * * * * [progress]: [ 5 / 21 ] simplifiying candidate #<alt (λ (a b) (fma a a (- (* b b))))>
15.432 * * * * [progress]: [ 6 / 21 ] simplifiying candidate #<alt (λ (a b) (log (/ (exp (* a a)) (exp (* b b)))))>
15.432 * * * * [progress]: [ 7 / 21 ] simplifiying candidate #<alt (λ (a b) (pow (- (* a a) (* b b)) 1))>
15.432 * * * * [progress]: [ 8 / 21 ] simplifiying candidate #<alt (λ (a b) (exp (log (- (* a a) (* b b)))))>
15.432 * * * * [progress]: [ 9 / 21 ] simplifiying candidate #<alt (λ (a b) (log (exp (- (* a a) (* b b)))))>
15.432 * * * * [progress]: [ 10 / 21 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (- (* a a) (* b b))) (cbrt (- (* a a) (* b b)))) (cbrt (- (* a a) (* b b)))))>
15.432 * * * * [progress]: [ 11 / 21 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (- (* a a) (* b b)))))>
15.432 * * * * [progress]: [ 12 / 21 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (- (* a a) (* b b))) (sqrt (- (* a a) (* b b)))))>
15.432 * * * * [progress]: [ 13 / 21 ] simplifiying candidate #<alt (λ (a b) (/ (- (pow (* a a) 3) (pow (* b b) 3)) (+ (* (* a a) (* a a)) (+ (* (* b b) (* b b)) (* (* a a) (* b b))))))>
15.432 * * * * [progress]: [ 14 / 21 ] simplifiying candidate #<alt (λ (a b) (+ (* a a) (- (* b b))))>
15.432 * * * * [progress]: [ 15 / 21 ] simplifiying candidate #<alt (λ (a b) (* 1 (- (* a a) (* b b))))>
15.432 * * * * [progress]: [ 16 / 21 ] simplifiying candidate #<alt (λ (a b) (/ (- (* (* a a) (* a a)) (* (* b b) (* b b))) (+ (* a a) (* b b))))>
15.432 * * * * [progress]: [ 17 / 21 ] simplifiying candidate #<alt (λ (a b) (* (+ a b) (- a b)))>
15.432 * * * * [progress]: [ 18 / 21 ] simplifiying candidate #<alt (λ (a b) (+ (* a a) (- (* b b))))>
15.432 * * * * [progress]: [ 19 / 21 ] simplifiying candidate #<alt (λ (a b) (- (pow a 2) (pow b 2)))>
15.432 * * * * [progress]: [ 20 / 21 ] simplifiying candidate #<alt (λ (a b) (- (pow a 2) (pow b 2)))>
15.432 * * * * [progress]: [ 21 / 21 ] simplifiying candidate #<alt (λ (a b) (- (pow a 2) (pow b 2)))>
15.433 * [simplify]: Simplifying:
  (real->posit16 (- (* a a) (* b b)))
  (fma a a (- (* b b)))
  (fma (- b) b (* b b))
  (expm1 (- (* a a) (* b b)))
  (log1p (- (* a a) (* b b)))
  (- (* b b))
  (/ (exp (* a a)) (exp (* b b)))
  (log (- (* a a) (* b b)))
  (exp (- (* a a) (* b b)))
  (* (cbrt (- (* a a) (* b b))) (cbrt (- (* a a) (* b b))))
  (cbrt (- (* a a) (* b b)))
  (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (- (* a a) (* b b)))
  (sqrt (- (* a a) (* b b)))
  (sqrt (- (* a a) (* b b)))
  (- (pow (* a a) 3) (pow (* b b) 3))
  (+ (* (* a a) (* a a)) (+ (* (* b b) (* b b)) (* (* a a) (* b b))))
  (- (* b b))
  (- (* (* a a) (* a a)) (* (* b b) (* b b)))
  (+ (* a a) (* b b))
  (+ a b)
  (- a b)
  (- (* b b))
  (- (pow a 2) (pow b 2))
  (- (pow a 2) (pow b 2))
  (- (pow a 2) (pow b 2))
15.434 * * [simplify]: iteration 0: 39 enodes
15.493 * * [simplify]: iteration 1: 104 enodes
15.585 * * [simplify]: iteration 2: 316 enodes
15.992 * * [simplify]: iteration 3: 1433 enodes
17.801 * * [simplify]: iteration complete: 5006 enodes
17.802 * * [simplify]: Extracting #0: cost 18 inf + 0
17.803 * * [simplify]: Extracting #1: cost 335 inf + 1
17.812 * * [simplify]: Extracting #2: cost 1240 inf + 5637
17.845 * * [simplify]: Extracting #3: cost 959 inf + 109827
17.907 * * [simplify]: Extracting #4: cost 140 inf + 302500
17.971 * * [simplify]: Extracting #5: cost 32 inf + 330762
18.071 * * [simplify]: Extracting #6: cost 7 inf + 334192
18.144 * * [simplify]: Extracting #7: cost 0 inf + 336243
18.237 * [simplify]: Simplified to:
  (real->posit16 (- (* a a) (* b b)))
  (- (* a a) (* b b))
  0
  (expm1 (- (* a a) (* b b)))
  (log1p (- (* a a) (* b b)))
  (* b (- b))
  (exp (- (* a a) (* b b)))
  (log (- (* a a) (* b b)))
  (exp (- (* a a) (* b b)))
  (* (cbrt (- (* a a) (* b b))) (cbrt (- (* a a) (* b b))))
  (cbrt (- (* a a) (* b b)))
  (* (- (* a a) (* b b)) (* (- (* a a) (* b b)) (- (* a a) (* b b))))
  (sqrt (- (* a a) (* b b)))
  (sqrt (- (* a a) (* b b)))
  (- (* (* a (* a a)) (* a (* a a))) (* (* (* b b) (* b b)) (* b b)))
  (fma (* a a) (* b b) (fma (* b b) (* b b) (* (* a a) (* a a))))
  (* b (- b))
  (- (* (* a a) (* a a)) (* (* b b) (* b b)))
  (fma a a (* b b))
  (+ a b)
  (- a b)
  (* b (- b))
  (- (* a a) (* b b))
  (- (* a a) (* b b))
  (- (* a a) (* b b))
18.238 * * * [progress]: adding candidates to table
18.480 * * [progress]: iteration 2 / 4
18.480 * * * [progress]: picking best candidate
18.496 * * * * [pick]: Picked  #<alt (λ (a b) (* (+ a b) (- a b)))>
18.497 * * * [progress]: localizing error
18.520 * * * [progress]: generating rewritten candidates
18.520 * * * [progress]: generating series expansions
18.520 * * * [progress]: simplifying candidates
18.520 * [simplify]: Simplifying:
  
18.520 * * [simplify]: iteration 0: 0 enodes
18.520 * * [simplify]: iteration complete: 0 enodes
18.520 * * [simplify]: Extracting #0: cost 0 inf + 0
18.520 * [simplify]: Simplified to:
  
18.520 * * * [progress]: adding candidates to table
18.522 * [progress]: [Phase 3 of 3] Extracting.
18.538 * [simplify]: Simplifying:
  (* (+ a b) (- a b))
18.538 * * [simplify]: iteration 0: 5 enodes
18.540 * * [simplify]: iteration 1: 7 enodes
18.542 * * [simplify]: iteration complete: 7 enodes
18.542 * * [simplify]: Extracting #0: cost 1 inf + 0
18.542 * * [simplify]: Extracting #1: cost 3 inf + 0
18.542 * * [simplify]: Extracting #2: cost 5 inf + 0
18.542 * * [simplify]: Extracting #3: cost 3 inf + 2
18.542 * * [simplify]: Extracting #4: cost 0 inf + 208
18.542 * [simplify]: Simplified to:
  (* (+ b a) (- a b))
21.007 * [regime-testing]: Baseline error score: 0.0005000625078134767
21.042 * [regime-testing]: Oracle error score: 0.0005000625078134767
21.042 * [regime-testing]: End program error score: 0.0005000625078134767
21.402 * [regime-testing]: Target error score: 0.0005000625078134767