13.165 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.034 * * * [progress]: [2/2] Setting up program.
0.037 * [progress]: [Phase 2 of 3] Improving.
0.037 * [simplify]: Simplifying:
  (- (pow x 4.0) (pow y 4.0))
0.037 * * [simplify]: iteration 0: 6 enodes
0.047 * * [simplify]: iteration 1: 14 enodes
0.050 * * [simplify]: iteration 2: 30 enodes
0.057 * * [simplify]: iteration 3: 74 enodes
0.083 * * [simplify]: iteration 4: 207 enodes
0.189 * * [simplify]: iteration 5: 602 enodes
0.899 * * [simplify]: iteration 6: 2815 enodes
2.256 * * [simplify]: iteration complete: 5003 enodes
2.256 * * [simplify]: Extracting #0: cost 1 inf + 0
2.258 * * [simplify]: Extracting #1: cost 262 inf + 0
2.268 * * [simplify]: Extracting #2: cost 599 inf + 0
2.279 * * [simplify]: Extracting #3: cost 662 inf + 1188
2.295 * * [simplify]: Extracting #4: cost 586 inf + 28673
2.386 * * [simplify]: Extracting #5: cost 260 inf + 263997
2.560 * * [simplify]: Extracting #6: cost 2 inf + 473204
2.785 * * [simplify]: Extracting #7: cost 0 inf + 458513
3.065 * * [simplify]: Extracting #8: cost 0 inf + 455337
3.360 * [simplify]: Simplified to:
  (- (pow x 4.0) (pow y 4.0))
3.360 * * [progress]: iteration 1 / 4
3.360 * * * [progress]: picking best candidate
3.365 * * * * [pick]: Picked  #<alt (λ (x y) (- (pow x 4.0) (pow y 4.0)))>
3.365 * * * [progress]: localizing error
3.381 * * * [progress]: generating rewritten candidates
3.381 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.404 * * * [progress]: generating series expansions
3.404 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.405 * [backup-simplify]: Simplify (- (pow x 4.0) (pow y 4.0)) into (- (pow x 4) (pow y 4))
3.405 * [approximate]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in (x y) around 0
3.405 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y
3.405 * [taylor]: Taking taylor expansion of (pow x 4) in y
3.405 * [taylor]: Taking taylor expansion of x in y
3.405 * [backup-simplify]: Simplify x into x
3.405 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.405 * [taylor]: Taking taylor expansion of y in y
3.405 * [backup-simplify]: Simplify 0 into 0
3.405 * [backup-simplify]: Simplify 1 into 1
3.405 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
3.405 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.405 * [taylor]: Taking taylor expansion of x in x
3.405 * [backup-simplify]: Simplify 0 into 0
3.405 * [backup-simplify]: Simplify 1 into 1
3.405 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.405 * [taylor]: Taking taylor expansion of y in x
3.405 * [backup-simplify]: Simplify y into y
3.405 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
3.405 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.405 * [taylor]: Taking taylor expansion of x in x
3.405 * [backup-simplify]: Simplify 0 into 0
3.405 * [backup-simplify]: Simplify 1 into 1
3.405 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.405 * [taylor]: Taking taylor expansion of y in x
3.405 * [backup-simplify]: Simplify y into y
3.405 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.406 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.406 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4))
3.406 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4))
3.406 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y
3.406 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.406 * [taylor]: Taking taylor expansion of y in y
3.406 * [backup-simplify]: Simplify 0 into 0
3.406 * [backup-simplify]: Simplify 1 into 1
3.406 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
3.407 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
3.407 * [backup-simplify]: Simplify (- 0) into 0
3.408 * [backup-simplify]: Simplify (+ 0 0) into 0
3.408 * [taylor]: Taking taylor expansion of 0 in y
3.408 * [backup-simplify]: Simplify 0 into 0
3.408 * [backup-simplify]: Simplify 0 into 0
3.408 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
3.409 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
3.409 * [backup-simplify]: Simplify (- 0) into 0
3.410 * [backup-simplify]: Simplify (+ 0 0) into 0
3.410 * [taylor]: Taking taylor expansion of 0 in y
3.410 * [backup-simplify]: Simplify 0 into 0
3.410 * [backup-simplify]: Simplify 0 into 0
3.410 * [backup-simplify]: Simplify 0 into 0
3.411 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
3.412 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
3.412 * [backup-simplify]: Simplify (- 0) into 0
3.412 * [backup-simplify]: Simplify (+ 0 0) into 0
3.412 * [taylor]: Taking taylor expansion of 0 in y
3.413 * [backup-simplify]: Simplify 0 into 0
3.413 * [backup-simplify]: Simplify 0 into 0
3.413 * [backup-simplify]: Simplify 0 into 0
3.413 * [backup-simplify]: Simplify 0 into 0
3.413 * [backup-simplify]: Simplify 0 into 0
3.413 * [backup-simplify]: Simplify (- (pow (/ 1 x) 4.0) (pow (/ 1 y) 4.0)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))
3.413 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0
3.413 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
3.413 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
3.413 * [taylor]: Taking taylor expansion of (pow x 4) in y
3.413 * [taylor]: Taking taylor expansion of x in y
3.413 * [backup-simplify]: Simplify x into x
3.413 * [backup-simplify]: Simplify (* x x) into (pow x 2)
3.414 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
3.414 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
3.414 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
3.414 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.414 * [taylor]: Taking taylor expansion of y in y
3.414 * [backup-simplify]: Simplify 0 into 0
3.414 * [backup-simplify]: Simplify 1 into 1
3.414 * [backup-simplify]: Simplify (* 1 1) into 1
3.415 * [backup-simplify]: Simplify (* 1 1) into 1
3.415 * [backup-simplify]: Simplify (/ 1 1) into 1
3.415 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
3.415 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
3.415 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.415 * [taylor]: Taking taylor expansion of x in x
3.415 * [backup-simplify]: Simplify 0 into 0
3.415 * [backup-simplify]: Simplify 1 into 1
3.416 * [backup-simplify]: Simplify (* 1 1) into 1
3.416 * [backup-simplify]: Simplify (* 1 1) into 1
3.416 * [backup-simplify]: Simplify (/ 1 1) into 1
3.416 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
3.416 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.416 * [taylor]: Taking taylor expansion of y in x
3.416 * [backup-simplify]: Simplify y into y
3.417 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.417 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.417 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
3.417 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
3.417 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
3.417 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.417 * [taylor]: Taking taylor expansion of x in x
3.417 * [backup-simplify]: Simplify 0 into 0
3.417 * [backup-simplify]: Simplify 1 into 1
3.417 * [backup-simplify]: Simplify (* 1 1) into 1
3.418 * [backup-simplify]: Simplify (* 1 1) into 1
3.418 * [backup-simplify]: Simplify (/ 1 1) into 1
3.418 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
3.418 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.418 * [taylor]: Taking taylor expansion of y in x
3.418 * [backup-simplify]: Simplify y into y
3.418 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.419 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.419 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
3.419 * [backup-simplify]: Simplify (+ 1 0) into 1
3.419 * [taylor]: Taking taylor expansion of 1 in y
3.419 * [backup-simplify]: Simplify 1 into 1
3.420 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.421 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.421 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.422 * [backup-simplify]: Simplify (+ 0 0) into 0
3.422 * [taylor]: Taking taylor expansion of 0 in y
3.422 * [backup-simplify]: Simplify 0 into 0
3.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.425 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.425 * [backup-simplify]: Simplify (+ 0 0) into 0
3.425 * [taylor]: Taking taylor expansion of 0 in y
3.425 * [backup-simplify]: Simplify 0 into 0
3.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.433 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.433 * [backup-simplify]: Simplify (+ 0 0) into 0
3.433 * [taylor]: Taking taylor expansion of 0 in y
3.433 * [backup-simplify]: Simplify 0 into 0
3.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.436 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.436 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.436 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
3.436 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
3.436 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y
3.436 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
3.436 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.436 * [taylor]: Taking taylor expansion of y in y
3.436 * [backup-simplify]: Simplify 0 into 0
3.436 * [backup-simplify]: Simplify 1 into 1
3.437 * [backup-simplify]: Simplify (* 1 1) into 1
3.437 * [backup-simplify]: Simplify (* 1 1) into 1
3.437 * [backup-simplify]: Simplify (/ 1 1) into 1
3.437 * [backup-simplify]: Simplify (- 1) into -1
3.438 * [backup-simplify]: Simplify -1 into -1
3.438 * [backup-simplify]: Simplify 1 into 1
3.438 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.440 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.440 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
3.440 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
3.440 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
3.440 * [backup-simplify]: Simplify (- 0) into 0
3.441 * [backup-simplify]: Simplify (+ 0 0) into 0
3.441 * [taylor]: Taking taylor expansion of 0 in y
3.441 * [backup-simplify]: Simplify 0 into 0
3.441 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.442 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.442 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.442 * [backup-simplify]: Simplify (- 0) into 0
3.442 * [backup-simplify]: Simplify 0 into 0
3.442 * [backup-simplify]: Simplify 0 into 0
3.442 * [backup-simplify]: Simplify 0 into 0
3.443 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.444 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.445 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.445 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
3.446 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
3.446 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
3.446 * [backup-simplify]: Simplify (- 0) into 0
3.446 * [backup-simplify]: Simplify (+ 0 0) into 0
3.446 * [taylor]: Taking taylor expansion of 0 in y
3.446 * [backup-simplify]: Simplify 0 into 0
3.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.448 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.448 * [backup-simplify]: Simplify (- 0) into 0
3.448 * [backup-simplify]: Simplify 0 into 0
3.448 * [backup-simplify]: Simplify 0 into 0
3.448 * [backup-simplify]: Simplify 0 into 0
3.449 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 4)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 4))) into (- (pow x 4) (pow y 4))
3.449 * [backup-simplify]: Simplify (- (pow (/ 1 (- x)) 4.0) (pow (/ 1 (- y)) 4.0)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))
3.449 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0
3.449 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
3.449 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
3.449 * [taylor]: Taking taylor expansion of (pow x 4) in y
3.449 * [taylor]: Taking taylor expansion of x in y
3.449 * [backup-simplify]: Simplify x into x
3.449 * [backup-simplify]: Simplify (* x x) into (pow x 2)
3.449 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
3.449 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
3.449 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
3.449 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.449 * [taylor]: Taking taylor expansion of y in y
3.449 * [backup-simplify]: Simplify 0 into 0
3.449 * [backup-simplify]: Simplify 1 into 1
3.449 * [backup-simplify]: Simplify (* 1 1) into 1
3.450 * [backup-simplify]: Simplify (* 1 1) into 1
3.450 * [backup-simplify]: Simplify (/ 1 1) into 1
3.450 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
3.450 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
3.450 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.450 * [taylor]: Taking taylor expansion of x in x
3.450 * [backup-simplify]: Simplify 0 into 0
3.450 * [backup-simplify]: Simplify 1 into 1
3.451 * [backup-simplify]: Simplify (* 1 1) into 1
3.451 * [backup-simplify]: Simplify (* 1 1) into 1
3.451 * [backup-simplify]: Simplify (/ 1 1) into 1
3.451 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
3.451 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.451 * [taylor]: Taking taylor expansion of y in x
3.451 * [backup-simplify]: Simplify y into y
3.451 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.451 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.451 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
3.451 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
3.451 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
3.451 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.452 * [taylor]: Taking taylor expansion of x in x
3.452 * [backup-simplify]: Simplify 0 into 0
3.452 * [backup-simplify]: Simplify 1 into 1
3.452 * [backup-simplify]: Simplify (* 1 1) into 1
3.452 * [backup-simplify]: Simplify (* 1 1) into 1
3.452 * [backup-simplify]: Simplify (/ 1 1) into 1
3.452 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
3.452 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.452 * [taylor]: Taking taylor expansion of y in x
3.452 * [backup-simplify]: Simplify y into y
3.452 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.453 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.453 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
3.453 * [backup-simplify]: Simplify (+ 1 0) into 1
3.453 * [taylor]: Taking taylor expansion of 1 in y
3.453 * [backup-simplify]: Simplify 1 into 1
3.453 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.454 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.454 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.455 * [backup-simplify]: Simplify (+ 0 0) into 0
3.455 * [taylor]: Taking taylor expansion of 0 in y
3.455 * [backup-simplify]: Simplify 0 into 0
3.455 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.456 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.456 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.456 * [backup-simplify]: Simplify (+ 0 0) into 0
3.456 * [taylor]: Taking taylor expansion of 0 in y
3.456 * [backup-simplify]: Simplify 0 into 0
3.457 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.458 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.458 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.458 * [backup-simplify]: Simplify (+ 0 0) into 0
3.458 * [taylor]: Taking taylor expansion of 0 in y
3.458 * [backup-simplify]: Simplify 0 into 0
3.459 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.460 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.460 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.460 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
3.460 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
3.460 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y
3.461 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
3.461 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.461 * [taylor]: Taking taylor expansion of y in y
3.461 * [backup-simplify]: Simplify 0 into 0
3.461 * [backup-simplify]: Simplify 1 into 1
3.461 * [backup-simplify]: Simplify (* 1 1) into 1
3.461 * [backup-simplify]: Simplify (* 1 1) into 1
3.461 * [backup-simplify]: Simplify (/ 1 1) into 1
3.462 * [backup-simplify]: Simplify (- 1) into -1
3.462 * [backup-simplify]: Simplify -1 into -1
3.462 * [backup-simplify]: Simplify 1 into 1
3.462 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.463 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.464 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.464 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
3.464 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
3.464 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
3.464 * [backup-simplify]: Simplify (- 0) into 0
3.465 * [backup-simplify]: Simplify (+ 0 0) into 0
3.465 * [taylor]: Taking taylor expansion of 0 in y
3.465 * [backup-simplify]: Simplify 0 into 0
3.465 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.465 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.466 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.466 * [backup-simplify]: Simplify (- 0) into 0
3.466 * [backup-simplify]: Simplify 0 into 0
3.466 * [backup-simplify]: Simplify 0 into 0
3.466 * [backup-simplify]: Simplify 0 into 0
3.467 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.468 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.469 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.470 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
3.471 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
3.471 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
3.472 * [backup-simplify]: Simplify (- 0) into 0
3.472 * [backup-simplify]: Simplify (+ 0 0) into 0
3.472 * [taylor]: Taking taylor expansion of 0 in y
3.472 * [backup-simplify]: Simplify 0 into 0
3.473 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.475 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.475 * [backup-simplify]: Simplify (- 0) into 0
3.475 * [backup-simplify]: Simplify 0 into 0
3.475 * [backup-simplify]: Simplify 0 into 0
3.475 * [backup-simplify]: Simplify 0 into 0
3.476 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 4)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 4))) into (- (pow x 4) (pow y 4))
3.476 * * * [progress]: simplifying candidates
3.479 * [simplify]: Simplifying:
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))))
  (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))))
  (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (pow y 4.0) (pow 1 4.0))))
  (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0)))
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))))
  (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))))
  (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (pow y 4.0) 1)))
  (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1))
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))))
  (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))
  (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))))
  (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))))
  (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (pow y 4.0) (pow 1 4.0))))
  (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0)))
  (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))))
  (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))
  (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))))
  (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))
  (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (pow y 4.0) 1)))
  (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1))
  (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))))
  (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))
  (fma (pow 1 4.0) (pow x 4.0) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))))
  (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (fma (pow 1 4.0) (pow x 4.0) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))))
  (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (fma (pow 1 4.0) (pow x 4.0) (- (* (pow y 4.0) (pow 1 4.0))))
  (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0)))
  (fma (pow 1 4.0) (pow x 4.0) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))))
  (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))
  (fma (pow 1 4.0) (pow x 4.0) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))))
  (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))
  (fma (pow 1 4.0) (pow x 4.0) (- (* (pow y 4.0) 1)))
  (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1))
  (fma (pow 1 4.0) (pow x 4.0) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))))
  (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))
  (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))))
  (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))))
  (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (pow y 4.0) (pow 1 4.0))))
  (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0)))
  (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))))
  (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))
  (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))))
  (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))
  (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (pow y 4.0) 1)))
  (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1))
  (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))))
  (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))
  (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))))
  (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))))
  (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (pow y 4.0) (pow 1 4.0))))
  (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0)))
  (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))))
  (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))
  (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))))
  (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))
  (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (pow y 4.0) 1)))
  (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1))
  (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))))
  (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))
  (fma 1 (pow x 4.0) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))))
  (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (fma 1 (pow x 4.0) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))))
  (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (fma 1 (pow x 4.0) (- (* (pow y 4.0) (pow 1 4.0))))
  (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0)))
  (fma 1 (pow x 4.0) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))))
  (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))
  (fma 1 (pow x 4.0) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))))
  (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))
  (fma 1 (pow x 4.0) (- (* (pow y 4.0) 1)))
  (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1))
  (fma 1 (pow x 4.0) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))))
  (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))
  (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))))
  (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))))
  (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (pow y 4.0) (pow 1 4.0))))
  (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0)))
  (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))))
  (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))
  (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))))
  (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))
  (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (pow y 4.0) 1)))
  (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1))
  (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))))
  (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))
  (expm1 (- (pow x 4.0) (pow y 4.0)))
  (log1p (- (pow x 4.0) (pow y 4.0)))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (/ (exp (pow x 4.0)) (exp (pow y 4.0)))
  (log (- (pow x 4.0) (pow y 4.0)))
  (exp (- (pow x 4.0) (pow y 4.0)))
  (* (cbrt (- (pow x 4.0) (pow y 4.0))) (cbrt (- (pow x 4.0) (pow y 4.0))))
  (cbrt (- (pow x 4.0) (pow y 4.0)))
  (* (* (- (pow x 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0))) (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3))
  (+ (* (pow x 4.0) (pow x 4.0)) (+ (* (pow y 4.0) (pow y 4.0)) (* (pow x 4.0) (pow y 4.0))))
  (- (pow y 4.0))
  (- (* (pow x 4.0) (pow x 4.0)) (* (pow y 4.0) (pow y 4.0)))
  (+ (pow x 4.0) (pow y 4.0))
  (+ (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))
  (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))
  (+ (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))
  (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))
  (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))
  (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))
  (+ (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))
  (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))
  (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))
  (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))
  (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
  (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
  (+ (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))
  (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))
  (+ (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))
  (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))
  (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))
  (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))
  (- (pow x 4.0) (pow y 4.0))
  (- (pow x 4.0) (pow y 4.0))
  (- (pow y 4.0))
  0
  (- (pow x 4) (pow y 4))
  (- (pow x 4) (pow y 4))
3.484 * * [simplify]: iteration 0: 152 enodes
3.524 * * [simplify]: iteration 1: 324 enodes
3.664 * * [simplify]: iteration 2: 753 enodes
4.172 * * [simplify]: iteration 3: 2551 enodes
5.661 * * [simplify]: iteration complete: 5001 enodes
5.661 * * [simplify]: Extracting #0: cost 44 inf + 0
5.664 * * [simplify]: Extracting #1: cost 446 inf + 1
5.673 * * [simplify]: Extracting #2: cost 1092 inf + 218
5.687 * * [simplify]: Extracting #3: cost 1150 inf + 24895
5.732 * * [simplify]: Extracting #4: cost 812 inf + 199670
5.835 * * [simplify]: Extracting #5: cost 229 inf + 608483
5.919 * * [simplify]: Extracting #6: cost 4 inf + 789182
6.022 * * [simplify]: Extracting #7: cost 0 inf + 791195
6.137 * [simplify]: Simplified to:
  (- (* (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0)) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (* (+ (pow (cbrt y) 4.0) (- (pow (cbrt y) 4.0))) (pow (* (cbrt y) (cbrt y)) 4.0))
  (- (* (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0)) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (* (pow (sqrt y) 4.0) (+ (pow (sqrt y) 4.0) (- (pow (sqrt y) 4.0))))
  (- (* (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0)) (pow y 4.0))
  0
  (- (* (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0)) (pow y 4.0))
  0
  (- (* (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0)) (pow y 4.0))
  0
  (- (* (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0)) (pow y 4.0))
  0
  (- (* (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0)) (pow y 4.0))
  0
  (- (* (pow (sqrt x) 4.0) (pow (sqrt x) 4.0)) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (* (+ (pow (cbrt y) 4.0) (- (pow (cbrt y) 4.0))) (pow (* (cbrt y) (cbrt y)) 4.0))
  (- (* (pow (sqrt x) 4.0) (pow (sqrt x) 4.0)) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (* (pow (sqrt y) 4.0) (+ (pow (sqrt y) 4.0) (- (pow (sqrt y) 4.0))))
  (- (* (pow (sqrt x) 4.0) (pow (sqrt x) 4.0)) (pow y 4.0))
  0
  (- (* (pow (sqrt x) 4.0) (pow (sqrt x) 4.0)) (pow y 4.0))
  0
  (- (* (pow (sqrt x) 4.0) (pow (sqrt x) 4.0)) (pow y 4.0))
  0
  (- (* (pow (sqrt x) 4.0) (pow (sqrt x) 4.0)) (pow y 4.0))
  0
  (- (* (pow (sqrt x) 4.0) (pow (sqrt x) 4.0)) (pow y 4.0))
  0
  (- (pow x 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (* (+ (pow (cbrt y) 4.0) (- (pow (cbrt y) 4.0))) (pow (* (cbrt y) (cbrt y)) 4.0))
  (- (pow x 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (* (pow (sqrt y) 4.0) (+ (pow (sqrt y) 4.0) (- (pow (sqrt y) 4.0))))
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (* (+ (pow (cbrt y) 4.0) (- (pow (cbrt y) 4.0))) (pow (* (cbrt y) (cbrt y)) 4.0))
  (- (pow x 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (* (pow (sqrt y) 4.0) (+ (pow (sqrt y) 4.0) (- (pow (sqrt y) 4.0))))
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (* (+ (pow (cbrt y) 4.0) (- (pow (cbrt y) 4.0))) (pow (* (cbrt y) (cbrt y)) 4.0))
  (- (pow x 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (* (pow (sqrt y) 4.0) (+ (pow (sqrt y) 4.0) (- (pow (sqrt y) 4.0))))
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (* (+ (pow (cbrt y) 4.0) (- (pow (cbrt y) 4.0))) (pow (* (cbrt y) (cbrt y)) 4.0))
  (- (pow x 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (* (pow (sqrt y) 4.0) (+ (pow (sqrt y) 4.0) (- (pow (sqrt y) 4.0))))
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (* (+ (pow (cbrt y) 4.0) (- (pow (cbrt y) 4.0))) (pow (* (cbrt y) (cbrt y)) 4.0))
  (- (pow x 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (* (pow (sqrt y) 4.0) (+ (pow (sqrt y) 4.0) (- (pow (sqrt y) 4.0))))
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (expm1 (- (pow x 4.0) (pow y 4.0)))
  (log1p (- (pow x 4.0) (pow y 4.0)))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (exp (- (pow x 4.0) (pow y 4.0)))
  (log (- (pow x 4.0) (pow y 4.0)))
  (exp (- (pow x 4.0) (pow y 4.0)))
  (* (cbrt (- (pow x 4.0) (pow y 4.0))) (cbrt (- (pow x 4.0) (pow y 4.0))))
  (cbrt (- (pow x 4.0) (pow y 4.0)))
  (* (* (- (pow x 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0))) (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (- (* (pow x 4.0) (* (pow x 4.0) (pow x 4.0))) (* (* (pow y 4.0) (pow y 4.0)) (pow y 4.0)))
  (fma (+ (pow x 4.0) (pow y 4.0)) (pow y 4.0) (* (pow x 4.0) (pow x 4.0)))
  (- (pow y 4.0))
  (* (+ (pow x 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0)))
  (+ (pow x 4.0) (pow y 4.0))
  (+ (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))
  (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))
  (+ (sqrt (pow y 4.0)) (pow (sqrt x) 4.0))
  (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))
  (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))
  (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))
  (+ (pow (sqrt y) 4.0) (sqrt (pow x 4.0)))
  (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))
  (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))
  (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))
  (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
  (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
  (+ (pow (sqrt y) 4.0) (pow x (/ 4.0 2)))
  (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))
  (+ (sqrt (pow y 4.0)) (pow x (/ 4.0 2)))
  (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))
  (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))
  (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))
  (- (pow x 4.0) (pow y 4.0))
  (- (pow x 4.0) (pow y 4.0))
  (- (pow y 4.0))
  0
  (- (* (* x x) (* x x)) (* (* y y) (* y y)))
  (- (* (* x x) (* x x)) (* (* y y) (* y y)))
6.144 * * * [progress]: adding candidates to table
6.476 * [progress]: [Phase 3 of 3] Extracting.
6.480 * [simplify]: Simplifying:
  (- (pow x 4.0) (pow y 4.0))
6.481 * * [simplify]: iteration 0: 6 enodes
6.481 * * [simplify]: iteration complete: 6 enodes
6.481 * * [simplify]: Extracting #0: cost 1 inf + 0
6.481 * * [simplify]: Extracting #1: cost 3 inf + 0
6.481 * * [simplify]: Extracting #2: cost 6 inf + 0
6.481 * * [simplify]: Extracting #3: cost 2 inf + 215
6.481 * * [simplify]: Extracting #4: cost 0 inf + 890
6.481 * [simplify]: Simplified to:
  (- (pow x 4.0) (pow y 4.0))
8.575 * [regime-testing]: Baseline error score: 0.0035735670084662027
8.592 * [regime-testing]: Oracle error score: 0.0035735670084662027
8.592 * [regime-testing]: End program error score: 0.0035735670084662027