10.824 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.039 * * * [progress]: [2/2] Setting up program.
0.045 * [progress]: [Phase 2 of 3] Improving.
0.046 * [simplify]: Simplifying:
  (+ (* x x) (* y y))
0.046 * * [simplify]: iteration 0: 5 enodes
0.049 * * [simplify]: iteration 1: 7 enodes
0.051 * * [simplify]: iteration 2: 8 enodes
0.054 * * [simplify]: iteration complete: 8 enodes
0.054 * * [simplify]: Extracting #0: cost 1 inf + 0
0.054 * * [simplify]: Extracting #1: cost 5 inf + 0
0.055 * * [simplify]: Extracting #2: cost 2 inf + 43
0.055 * * [simplify]: Extracting #3: cost 0 inf + 181
0.055 * [simplify]: Simplified to:
  (fma y y (* x x))
0.331 * * [progress]: iteration 1 / 4
0.331 * * * [progress]: picking best candidate
0.346 * * * * [pick]: Picked  #<alt (λ (x y) (fma y y (* x x)))>
0.346 * * * [progress]: localizing error
0.360 * * * [progress]: generating rewritten candidates
0.360 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.361 * * * [progress]: generating series expansions
0.361 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.361 * [backup-simplify]: Simplify (fma y y (* x x)) into (fma y y (pow x 2))
0.361 * [approximate]: Taking taylor expansion of (fma y y (pow x 2)) in (y x) around 0
0.361 * [taylor]: Taking taylor expansion of (fma y y (pow x 2)) in x
0.362 * [taylor]: Rewrote expression to (+ (* y y) (pow x 2))
0.362 * [taylor]: Taking taylor expansion of (* y y) in x
0.362 * [taylor]: Taking taylor expansion of y in x
0.362 * [backup-simplify]: Simplify y into y
0.362 * [taylor]: Taking taylor expansion of y in x
0.362 * [backup-simplify]: Simplify y into y
0.362 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.362 * [taylor]: Taking taylor expansion of x in x
0.362 * [backup-simplify]: Simplify 0 into 0
0.362 * [backup-simplify]: Simplify 1 into 1
0.362 * [taylor]: Taking taylor expansion of (fma y y (pow x 2)) in y
0.362 * [taylor]: Rewrote expression to (+ (* y y) (pow x 2))
0.362 * [taylor]: Taking taylor expansion of (* y y) in y
0.362 * [taylor]: Taking taylor expansion of y in y
0.362 * [backup-simplify]: Simplify 0 into 0
0.362 * [backup-simplify]: Simplify 1 into 1
0.362 * [taylor]: Taking taylor expansion of y in y
0.362 * [backup-simplify]: Simplify 0 into 0
0.362 * [backup-simplify]: Simplify 1 into 1
0.362 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.362 * [taylor]: Taking taylor expansion of x in y
0.362 * [backup-simplify]: Simplify x into x
0.362 * [taylor]: Taking taylor expansion of (fma y y (pow x 2)) in y
0.362 * [taylor]: Rewrote expression to (+ (* y y) (pow x 2))
0.362 * [taylor]: Taking taylor expansion of (* y y) in y
0.362 * [taylor]: Taking taylor expansion of y in y
0.362 * [backup-simplify]: Simplify 0 into 0
0.362 * [backup-simplify]: Simplify 1 into 1
0.363 * [taylor]: Taking taylor expansion of y in y
0.363 * [backup-simplify]: Simplify 0 into 0
0.363 * [backup-simplify]: Simplify 1 into 1
0.363 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.363 * [taylor]: Taking taylor expansion of x in y
0.363 * [backup-simplify]: Simplify x into x
0.363 * [backup-simplify]: Simplify (* 0 0) into 0
0.363 * [backup-simplify]: Simplify (* x x) into (pow x 2)
0.364 * [backup-simplify]: Simplify (+ 0 (pow x 2)) into (pow x 2)
0.364 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.364 * [taylor]: Taking taylor expansion of x in x
0.364 * [backup-simplify]: Simplify 0 into 0
0.364 * [backup-simplify]: Simplify 1 into 1
0.364 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
0.364 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
0.365 * [backup-simplify]: Simplify (+ 0 0) into 0
0.365 * [taylor]: Taking taylor expansion of 0 in x
0.365 * [backup-simplify]: Simplify 0 into 0
0.365 * [backup-simplify]: Simplify 0 into 0
0.366 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
0.366 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
0.367 * [backup-simplify]: Simplify (+ 1 0) into 1
0.367 * [taylor]: Taking taylor expansion of 1 in x
0.367 * [backup-simplify]: Simplify 1 into 1
0.367 * [backup-simplify]: Simplify 1 into 1
0.367 * [backup-simplify]: Simplify 0 into 0
0.367 * [backup-simplify]: Simplify (* 1 1) into 1
0.367 * [backup-simplify]: Simplify 1 into 1
0.368 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
0.369 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
0.370 * [backup-simplify]: Simplify (+ 0 0) into 0
0.370 * [taylor]: Taking taylor expansion of 0 in x
0.370 * [backup-simplify]: Simplify 0 into 0
0.370 * [backup-simplify]: Simplify 0 into 0
0.370 * [backup-simplify]: Simplify 0 into 0
0.370 * [backup-simplify]: Simplify 0 into 0
0.370 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.370 * [backup-simplify]: Simplify 0 into 0
0.371 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
0.372 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
0.372 * [backup-simplify]: Simplify (+ 0 0) into 0
0.372 * [taylor]: Taking taylor expansion of 0 in x
0.372 * [backup-simplify]: Simplify 0 into 0
0.372 * [backup-simplify]: Simplify 0 into 0
0.372 * [backup-simplify]: Simplify 0 into 0
0.373 * [backup-simplify]: Simplify (+ (* 1 (pow (* x 1) 2)) (* 1 (pow (* 1 y) 2))) into (+ (pow x 2) (pow y 2))
0.373 * [backup-simplify]: Simplify (fma (/ 1 y) (/ 1 y) (* (/ 1 x) (/ 1 x))) into (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2)))
0.373 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2))) in (y x) around 0
0.373 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2))) in x
0.373 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) (/ 1 (pow x 2)))
0.373 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x
0.373 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.373 * [taylor]: Taking taylor expansion of y in x
0.373 * [backup-simplify]: Simplify y into y
0.373 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.374 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.374 * [taylor]: Taking taylor expansion of y in x
0.374 * [backup-simplify]: Simplify y into y
0.374 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.374 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.374 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.374 * [taylor]: Taking taylor expansion of x in x
0.374 * [backup-simplify]: Simplify 0 into 0
0.374 * [backup-simplify]: Simplify 1 into 1
0.374 * [backup-simplify]: Simplify (* 1 1) into 1
0.375 * [backup-simplify]: Simplify (/ 1 1) into 1
0.375 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2))) in y
0.375 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) (/ 1 (pow x 2)))
0.375 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y
0.375 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.375 * [taylor]: Taking taylor expansion of y in y
0.375 * [backup-simplify]: Simplify 0 into 0
0.375 * [backup-simplify]: Simplify 1 into 1
0.376 * [backup-simplify]: Simplify (/ 1 1) into 1
0.376 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.376 * [taylor]: Taking taylor expansion of y in y
0.376 * [backup-simplify]: Simplify 0 into 0
0.376 * [backup-simplify]: Simplify 1 into 1
0.376 * [backup-simplify]: Simplify (/ 1 1) into 1
0.376 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.376 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.376 * [taylor]: Taking taylor expansion of x in y
0.376 * [backup-simplify]: Simplify x into x
0.376 * [backup-simplify]: Simplify (* x x) into (pow x 2)
0.377 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
0.377 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2))) in y
0.377 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) (/ 1 (pow x 2)))
0.377 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y
0.377 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.377 * [taylor]: Taking taylor expansion of y in y
0.377 * [backup-simplify]: Simplify 0 into 0
0.377 * [backup-simplify]: Simplify 1 into 1
0.377 * [backup-simplify]: Simplify (/ 1 1) into 1
0.377 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.378 * [taylor]: Taking taylor expansion of y in y
0.378 * [backup-simplify]: Simplify 0 into 0
0.378 * [backup-simplify]: Simplify 1 into 1
0.378 * [backup-simplify]: Simplify (/ 1 1) into 1
0.378 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.378 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.378 * [taylor]: Taking taylor expansion of x in y
0.378 * [backup-simplify]: Simplify x into x
0.378 * [backup-simplify]: Simplify (* x x) into (pow x 2)
0.378 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
0.379 * [backup-simplify]: Simplify (* 1 1) into 1
0.380 * [backup-simplify]: Simplify (+ 1 0) into 1
0.380 * [taylor]: Taking taylor expansion of 1 in x
0.380 * [backup-simplify]: Simplify 1 into 1
0.380 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.381 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.382 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.382 * [backup-simplify]: Simplify (+ 0 0) into 0
0.382 * [taylor]: Taking taylor expansion of 0 in x
0.382 * [backup-simplify]: Simplify 0 into 0
0.383 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.384 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.384 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.385 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow x 2))) into (/ 1 (pow x 2))
0.385 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.385 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.385 * [taylor]: Taking taylor expansion of x in x
0.385 * [backup-simplify]: Simplify 0 into 0
0.385 * [backup-simplify]: Simplify 1 into 1
0.385 * [backup-simplify]: Simplify (* 1 1) into 1
0.385 * [backup-simplify]: Simplify (/ 1 1) into 1
0.385 * [backup-simplify]: Simplify 1 into 1
0.385 * [backup-simplify]: Simplify 1 into 1
0.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.387 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.387 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
0.388 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0
0.388 * [backup-simplify]: Simplify (+ 0 0) into 0
0.388 * [taylor]: Taking taylor expansion of 0 in x
0.388 * [backup-simplify]: Simplify 0 into 0
0.389 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.390 * [backup-simplify]: Simplify 0 into 0
0.390 * [backup-simplify]: Simplify 0 into 0
0.390 * [backup-simplify]: Simplify 0 into 0
0.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.391 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.392 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
0.392 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0
0.393 * [backup-simplify]: Simplify (+ 0 0) into 0
0.393 * [taylor]: Taking taylor expansion of 0 in x
0.393 * [backup-simplify]: Simplify 0 into 0
0.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.394 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.395 * [backup-simplify]: Simplify 0 into 0
0.395 * [backup-simplify]: Simplify 0 into 0
0.395 * [backup-simplify]: Simplify 0 into 0
0.395 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 y))) 2)) (* 1 (pow (* (/ 1 (/ 1 x)) 1) 2))) into (+ (pow x 2) (pow y 2))
0.395 * [backup-simplify]: Simplify (fma (/ 1 (- y)) (/ 1 (- y)) (* (/ 1 (- x)) (/ 1 (- x)))) into (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2)))
0.395 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2))) in (y x) around 0
0.395 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2))) in x
0.396 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) (/ 1 (pow x 2)))
0.396 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x
0.396 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.396 * [taylor]: Taking taylor expansion of -1 in x
0.396 * [backup-simplify]: Simplify -1 into -1
0.396 * [taylor]: Taking taylor expansion of y in x
0.396 * [backup-simplify]: Simplify y into y
0.396 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.396 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.396 * [taylor]: Taking taylor expansion of -1 in x
0.396 * [backup-simplify]: Simplify -1 into -1
0.396 * [taylor]: Taking taylor expansion of y in x
0.396 * [backup-simplify]: Simplify y into y
0.396 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.396 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.396 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.396 * [taylor]: Taking taylor expansion of x in x
0.396 * [backup-simplify]: Simplify 0 into 0
0.396 * [backup-simplify]: Simplify 1 into 1
0.396 * [backup-simplify]: Simplify (* 1 1) into 1
0.397 * [backup-simplify]: Simplify (/ 1 1) into 1
0.397 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2))) in y
0.397 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) (/ 1 (pow x 2)))
0.397 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y
0.397 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.397 * [taylor]: Taking taylor expansion of -1 in y
0.397 * [backup-simplify]: Simplify -1 into -1
0.397 * [taylor]: Taking taylor expansion of y in y
0.397 * [backup-simplify]: Simplify 0 into 0
0.397 * [backup-simplify]: Simplify 1 into 1
0.397 * [backup-simplify]: Simplify (/ -1 1) into -1
0.397 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.398 * [taylor]: Taking taylor expansion of -1 in y
0.398 * [backup-simplify]: Simplify -1 into -1
0.398 * [taylor]: Taking taylor expansion of y in y
0.398 * [backup-simplify]: Simplify 0 into 0
0.398 * [backup-simplify]: Simplify 1 into 1
0.398 * [backup-simplify]: Simplify (/ -1 1) into -1
0.398 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.398 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.398 * [taylor]: Taking taylor expansion of x in y
0.398 * [backup-simplify]: Simplify x into x
0.398 * [backup-simplify]: Simplify (* x x) into (pow x 2)
0.398 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
0.399 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2))) in y
0.399 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) (/ 1 (pow x 2)))
0.399 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y
0.399 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.399 * [taylor]: Taking taylor expansion of -1 in y
0.399 * [backup-simplify]: Simplify -1 into -1
0.399 * [taylor]: Taking taylor expansion of y in y
0.399 * [backup-simplify]: Simplify 0 into 0
0.399 * [backup-simplify]: Simplify 1 into 1
0.399 * [backup-simplify]: Simplify (/ -1 1) into -1
0.400 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.400 * [taylor]: Taking taylor expansion of -1 in y
0.400 * [backup-simplify]: Simplify -1 into -1
0.400 * [taylor]: Taking taylor expansion of y in y
0.400 * [backup-simplify]: Simplify 0 into 0
0.400 * [backup-simplify]: Simplify 1 into 1
0.400 * [backup-simplify]: Simplify (/ -1 1) into -1
0.400 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.400 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.400 * [taylor]: Taking taylor expansion of x in y
0.400 * [backup-simplify]: Simplify x into x
0.400 * [backup-simplify]: Simplify (* x x) into (pow x 2)
0.401 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
0.401 * [backup-simplify]: Simplify (* -1 -1) into 1
0.402 * [backup-simplify]: Simplify (+ 1 0) into 1
0.402 * [taylor]: Taking taylor expansion of 1 in x
0.402 * [backup-simplify]: Simplify 1 into 1
0.403 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.403 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.404 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
0.404 * [backup-simplify]: Simplify (+ 0 0) into 0
0.404 * [taylor]: Taking taylor expansion of 0 in x
0.404 * [backup-simplify]: Simplify 0 into 0
0.405 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.406 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.407 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
0.408 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow x 2))) into (/ 1 (pow x 2))
0.408 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.408 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.408 * [taylor]: Taking taylor expansion of x in x
0.408 * [backup-simplify]: Simplify 0 into 0
0.408 * [backup-simplify]: Simplify 1 into 1
0.408 * [backup-simplify]: Simplify (* 1 1) into 1
0.409 * [backup-simplify]: Simplify (/ 1 1) into 1
0.409 * [backup-simplify]: Simplify 1 into 1
0.409 * [backup-simplify]: Simplify 1 into 1
0.410 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.411 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.412 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
0.412 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
0.412 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0
0.413 * [backup-simplify]: Simplify (+ 0 0) into 0
0.413 * [taylor]: Taking taylor expansion of 0 in x
0.413 * [backup-simplify]: Simplify 0 into 0
0.414 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.414 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.414 * [backup-simplify]: Simplify 0 into 0
0.414 * [backup-simplify]: Simplify 0 into 0
0.414 * [backup-simplify]: Simplify 0 into 0
0.415 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.416 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.418 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
0.418 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
0.419 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0
0.419 * [backup-simplify]: Simplify (+ 0 0) into 0
0.419 * [taylor]: Taking taylor expansion of 0 in x
0.419 * [backup-simplify]: Simplify 0 into 0
0.420 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.421 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.421 * [backup-simplify]: Simplify 0 into 0
0.421 * [backup-simplify]: Simplify 0 into 0
0.421 * [backup-simplify]: Simplify 0 into 0
0.422 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- y)))) 2)) (* 1 (pow (* (/ 1 (/ 1 (- x))) 1) 2))) into (+ (pow x 2) (pow y 2))
0.422 * * * [progress]: simplifying candidates
0.423 * [simplify]: Simplifying:
  (expm1 (fma y y (* x x)))
  (log1p (fma y y (* x x)))
  (* y y)
  (log (fma y y (* x x)))
  (exp (fma y y (* x x)))
  (* (cbrt (fma y y (* x x))) (cbrt (fma y y (* x x))))
  (cbrt (fma y y (* x x)))
  (* (* (fma y y (* x x)) (fma y y (* x x))) (fma y y (* x x)))
  (sqrt (fma y y (* x x)))
  (sqrt (fma y y (* x x)))
  (+ (pow x 2) (pow y 2))
  (+ (pow x 2) (pow y 2))
  (+ (pow x 2) (pow y 2))
0.423 * * [simplify]: iteration 0: 18 enodes
0.431 * * [simplify]: iteration 1: 26 enodes
0.444 * * [simplify]: iteration 2: 69 enodes
0.477 * * [simplify]: iteration 3: 185 enodes
0.718 * * [simplify]: iteration 4: 609 enodes
5.275 * * [simplify]: iteration 5: 2575 enodes
11.826 * * [simplify]: iteration complete: 5000 enodes
11.827 * * [simplify]: Extracting #0: cost 10 inf + 0
11.828 * * [simplify]: Extracting #1: cost 118 inf + 0
11.838 * * [simplify]: Extracting #2: cost 291 inf + 4639
11.952 * * [simplify]: Extracting #3: cost 65 inf + 41372
12.078 * * [simplify]: Extracting #4: cost 5 inf + 56110
12.284 * * [simplify]: Extracting #5: cost 0 inf + 57436
12.425 * [simplify]: Simplified to:
  (expm1 (fma x x (* y y)))
  (log1p (fma x x (* y y)))
  (* y y)
  (log (fma x x (* y y)))
  (exp (fma x x (* y y)))
  (* (cbrt (fma x x (* y y))) (cbrt (fma x x (* y y))))
  (cbrt (fma x x (* y y)))
  (* (* (fma x x (* y y)) (fma x x (* y y))) (fma x x (* y y)))
  (hypot y x)
  (hypot y x)
  (fma x x (* y y))
  (fma x x (* y y))
  (fma x x (* y y))
12.426 * * * [progress]: adding candidates to table
12.591 * * [progress]: iteration 2 / 4
12.591 * * * [progress]: picking best candidate
12.598 * * * * [pick]: Picked  #<alt (λ (x y) (fma x x (* y y)))>
12.598 * * * [progress]: localizing error
12.612 * * * [progress]: generating rewritten candidates
12.612 * * * [progress]: generating series expansions
12.612 * * * [progress]: simplifying candidates
12.617 * [simplify]: Simplifying:
  
12.617 * * [simplify]: iteration 0: 0 enodes
12.617 * * [simplify]: iteration complete: 0 enodes
12.617 * * [simplify]: Extracting #0: cost 0 inf + 0
12.617 * [simplify]: Simplified to:
  
12.617 * * * [progress]: adding candidates to table
12.618 * [progress]: [Phase 3 of 3] Extracting.
12.625 * [simplify]: Simplifying:
  (fma x x (* y y))
12.632 * * [simplify]: iteration 0: 4 enodes
12.640 * * [simplify]: iteration complete: 4 enodes
12.641 * * [simplify]: Extracting #0: cost 1 inf + 0
12.641 * * [simplify]: Extracting #1: cost 3 inf + 0
12.641 * * [simplify]: Extracting #2: cost 3 inf + 1
12.641 * * [simplify]: Extracting #3: cost 1 inf + 43
12.641 * * [simplify]: Extracting #4: cost 0 inf + 140
12.641 * [simplify]: Simplified to:
  (fma x x (* y y))
18.656 * [regime-testing]: Baseline error score: 0.003375421927740968
18.732 * [regime-testing]: Oracle error score: 0.003375421927740968
18.747 * [regime-testing]: End program error score: 0.003375421927740968