0.004 * [progress]: [Phase 1 of 3] Setting up. 0.005 * * * [progress]: [1/2] Preparing points 0.164 * * * [progress]: [2/2] Setting up program. 0.171 * [progress]: [Phase 2 of 3] Improving. 0.171 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.175 * [simplify]: Simplifying (- (pow x 4) (pow y 4)) 0.176 * * [simplify]: iteration 1: (6 enodes) 0.242 * * [simplify]: iteration 2: (26 enodes) 0.253 * * [simplify]: iteration 3: (52 enodes) 0.270 * * [simplify]: iteration 4: (83 enodes) 0.298 * * [simplify]: iteration 5: (135 enodes) 0.342 * * [simplify]: iteration 6: (262 enodes) 0.504 * * [simplify]: iteration 7: (775 enodes) 1.170 * * [simplify]: Extracting #0: cost 1 inf + 0 1.171 * * [simplify]: Extracting #1: cost 88 inf + 0 1.173 * * [simplify]: Extracting #2: cost 388 inf + 0 1.179 * * [simplify]: Extracting #3: cost 397 inf + 14513 1.216 * * [simplify]: Extracting #4: cost 128 inf + 66599 1.256 * * [simplify]: Extracting #5: cost 4 inf + 94731 1.297 * * [simplify]: Extracting #6: cost 0 inf + 96372 1.342 * [simplify]: Simplified to (* (- (* x x) (* y y)) (+ (* y y) (* x x))) 1.356 * * [progress]: iteration 1 / 4 1.356 * * * [progress]: picking best candidate 1.361 * * * * [pick]: Picked # 1.361 * * * [progress]: localizing error 1.384 * * * [progress]: generating rewritten candidates 1.384 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.411 * * * [progress]: generating series expansions 1.411 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.419 * [backup-simplify]: Simplify (- (pow x 4) (pow y 4)) into (- (pow x 4) (pow y 4)) 1.419 * [approximate]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in (x y) around 0 1.421 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y 1.421 * [taylor]: Taking taylor expansion of (pow x 4) in y 1.421 * [taylor]: Taking taylor expansion of x in y 1.421 * [backup-simplify]: Simplify x into x 1.421 * [taylor]: Taking taylor expansion of (pow y 4) in y 1.421 * [taylor]: Taking taylor expansion of y in y 1.421 * [backup-simplify]: Simplify 0 into 0 1.421 * [backup-simplify]: Simplify 1 into 1 1.422 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 1.422 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.422 * [taylor]: Taking taylor expansion of x in x 1.422 * [backup-simplify]: Simplify 0 into 0 1.422 * [backup-simplify]: Simplify 1 into 1 1.422 * [taylor]: Taking taylor expansion of (pow y 4) in x 1.422 * [taylor]: Taking taylor expansion of y in x 1.422 * [backup-simplify]: Simplify y into y 1.422 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 1.422 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.422 * [taylor]: Taking taylor expansion of x in x 1.422 * [backup-simplify]: Simplify 0 into 0 1.422 * [backup-simplify]: Simplify 1 into 1 1.422 * [taylor]: Taking taylor expansion of (pow y 4) in x 1.422 * [taylor]: Taking taylor expansion of y in x 1.422 * [backup-simplify]: Simplify y into y 1.423 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.423 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1.423 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4)) 1.423 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4)) 1.423 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y 1.423 * [taylor]: Taking taylor expansion of (pow y 4) in y 1.424 * [taylor]: Taking taylor expansion of y in y 1.424 * [backup-simplify]: Simplify 0 into 0 1.424 * [backup-simplify]: Simplify 1 into 1 1.424 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 1.424 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 1.425 * [backup-simplify]: Simplify (- 0) into 0 1.425 * [backup-simplify]: Simplify (+ 0 0) into 0 1.425 * [taylor]: Taking taylor expansion of 0 in y 1.425 * [backup-simplify]: Simplify 0 into 0 1.425 * [backup-simplify]: Simplify 0 into 0 1.426 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1.427 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 1.427 * [backup-simplify]: Simplify (- 0) into 0 1.427 * [backup-simplify]: Simplify (+ 0 0) into 0 1.427 * [taylor]: Taking taylor expansion of 0 in y 1.427 * [backup-simplify]: Simplify 0 into 0 1.427 * [backup-simplify]: Simplify 0 into 0 1.428 * [backup-simplify]: Simplify 0 into 0 1.428 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 1.429 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 1.430 * [backup-simplify]: Simplify (- 0) into 0 1.430 * [backup-simplify]: Simplify (+ 0 0) into 0 1.430 * [taylor]: Taking taylor expansion of 0 in y 1.430 * [backup-simplify]: Simplify 0 into 0 1.430 * [backup-simplify]: Simplify 0 into 0 1.430 * [backup-simplify]: Simplify 0 into 0 1.430 * [backup-simplify]: Simplify 0 into 0 1.430 * [backup-simplify]: Simplify 0 into 0 1.431 * [backup-simplify]: Simplify (- (pow (/ 1 x) 4) (pow (/ 1 y) 4)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1.431 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0 1.431 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 1.431 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 1.431 * [taylor]: Taking taylor expansion of (pow x 4) in y 1.431 * [taylor]: Taking taylor expansion of x in y 1.431 * [backup-simplify]: Simplify x into x 1.431 * [backup-simplify]: Simplify (* x x) into (pow x 2) 1.432 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 1.432 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 1.432 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 1.432 * [taylor]: Taking taylor expansion of (pow y 4) in y 1.432 * [taylor]: Taking taylor expansion of y in y 1.432 * [backup-simplify]: Simplify 0 into 0 1.432 * [backup-simplify]: Simplify 1 into 1 1.432 * [backup-simplify]: Simplify (* 1 1) into 1 1.433 * [backup-simplify]: Simplify (* 1 1) into 1 1.433 * [backup-simplify]: Simplify (/ 1 1) into 1 1.433 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1.433 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.433 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.433 * [taylor]: Taking taylor expansion of x in x 1.433 * [backup-simplify]: Simplify 0 into 0 1.433 * [backup-simplify]: Simplify 1 into 1 1.434 * [backup-simplify]: Simplify (* 1 1) into 1 1.434 * [backup-simplify]: Simplify (* 1 1) into 1 1.434 * [backup-simplify]: Simplify (/ 1 1) into 1 1.434 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 1.434 * [taylor]: Taking taylor expansion of (pow y 4) in x 1.434 * [taylor]: Taking taylor expansion of y in x 1.435 * [backup-simplify]: Simplify y into y 1.435 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.435 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1.435 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1.435 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1.435 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.435 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.435 * [taylor]: Taking taylor expansion of x in x 1.435 * [backup-simplify]: Simplify 0 into 0 1.435 * [backup-simplify]: Simplify 1 into 1 1.435 * [backup-simplify]: Simplify (* 1 1) into 1 1.436 * [backup-simplify]: Simplify (* 1 1) into 1 1.436 * [backup-simplify]: Simplify (/ 1 1) into 1 1.436 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 1.436 * [taylor]: Taking taylor expansion of (pow y 4) in x 1.436 * [taylor]: Taking taylor expansion of y in x 1.436 * [backup-simplify]: Simplify y into y 1.436 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.436 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1.437 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1.437 * [backup-simplify]: Simplify (+ 1 0) into 1 1.437 * [taylor]: Taking taylor expansion of 1 in y 1.437 * [backup-simplify]: Simplify 1 into 1 1.438 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.439 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.440 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.440 * [backup-simplify]: Simplify (+ 0 0) into 0 1.440 * [taylor]: Taking taylor expansion of 0 in y 1.440 * [backup-simplify]: Simplify 0 into 0 1.441 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.443 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.443 * [backup-simplify]: Simplify (+ 0 0) into 0 1.443 * [taylor]: Taking taylor expansion of 0 in y 1.443 * [backup-simplify]: Simplify 0 into 0 1.444 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.446 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.447 * [backup-simplify]: Simplify (+ 0 0) into 0 1.447 * [taylor]: Taking taylor expansion of 0 in y 1.447 * [backup-simplify]: Simplify 0 into 0 1.448 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.450 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.451 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.451 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4))) 1.451 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4))) 1.451 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 1.451 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 1.451 * [taylor]: Taking taylor expansion of (pow y 4) in y 1.451 * [taylor]: Taking taylor expansion of y in y 1.451 * [backup-simplify]: Simplify 0 into 0 1.451 * [backup-simplify]: Simplify 1 into 1 1.452 * [backup-simplify]: Simplify (* 1 1) into 1 1.452 * [backup-simplify]: Simplify (* 1 1) into 1 1.453 * [backup-simplify]: Simplify (/ 1 1) into 1 1.453 * [backup-simplify]: Simplify (- 1) into -1 1.453 * [backup-simplify]: Simplify -1 into -1 1.453 * [backup-simplify]: Simplify 1 into 1 1.455 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.456 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.457 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.457 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 1.458 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 1.458 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0 1.458 * [backup-simplify]: Simplify (- 0) into 0 1.459 * [backup-simplify]: Simplify (+ 0 0) into 0 1.459 * [taylor]: Taking taylor expansion of 0 in y 1.459 * [backup-simplify]: Simplify 0 into 0 1.459 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.460 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.461 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.461 * [backup-simplify]: Simplify (- 0) into 0 1.461 * [backup-simplify]: Simplify 0 into 0 1.461 * [backup-simplify]: Simplify 0 into 0 1.461 * [backup-simplify]: Simplify 0 into 0 1.463 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.473 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.475 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.476 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1.476 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 1.476 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0 1.477 * [backup-simplify]: Simplify (- 0) into 0 1.477 * [backup-simplify]: Simplify (+ 0 0) into 0 1.477 * [taylor]: Taking taylor expansion of 0 in y 1.477 * [backup-simplify]: Simplify 0 into 0 1.478 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.480 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.480 * [backup-simplify]: Simplify (- 0) into 0 1.480 * [backup-simplify]: Simplify 0 into 0 1.481 * [backup-simplify]: Simplify 0 into 0 1.481 * [backup-simplify]: Simplify 0 into 0 1.481 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 4)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 4))) into (- (pow x 4) (pow y 4)) 1.481 * [backup-simplify]: Simplify (- (pow (/ 1 (- x)) 4) (pow (/ 1 (- y)) 4)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1.482 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0 1.482 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 1.482 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 1.482 * [taylor]: Taking taylor expansion of (pow x 4) in y 1.482 * [taylor]: Taking taylor expansion of x in y 1.482 * [backup-simplify]: Simplify x into x 1.482 * [backup-simplify]: Simplify (* x x) into (pow x 2) 1.482 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 1.482 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 1.482 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 1.482 * [taylor]: Taking taylor expansion of (pow y 4) in y 1.482 * [taylor]: Taking taylor expansion of y in y 1.482 * [backup-simplify]: Simplify 0 into 0 1.482 * [backup-simplify]: Simplify 1 into 1 1.483 * [backup-simplify]: Simplify (* 1 1) into 1 1.483 * [backup-simplify]: Simplify (* 1 1) into 1 1.483 * [backup-simplify]: Simplify (/ 1 1) into 1 1.483 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1.483 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.483 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.483 * [taylor]: Taking taylor expansion of x in x 1.483 * [backup-simplify]: Simplify 0 into 0 1.484 * [backup-simplify]: Simplify 1 into 1 1.484 * [backup-simplify]: Simplify (* 1 1) into 1 1.484 * [backup-simplify]: Simplify (* 1 1) into 1 1.485 * [backup-simplify]: Simplify (/ 1 1) into 1 1.485 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 1.485 * [taylor]: Taking taylor expansion of (pow y 4) in x 1.485 * [taylor]: Taking taylor expansion of y in x 1.485 * [backup-simplify]: Simplify y into y 1.485 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.485 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1.485 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1.485 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1.485 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.485 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.485 * [taylor]: Taking taylor expansion of x in x 1.485 * [backup-simplify]: Simplify 0 into 0 1.485 * [backup-simplify]: Simplify 1 into 1 1.486 * [backup-simplify]: Simplify (* 1 1) into 1 1.486 * [backup-simplify]: Simplify (* 1 1) into 1 1.486 * [backup-simplify]: Simplify (/ 1 1) into 1 1.486 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 1.487 * [taylor]: Taking taylor expansion of (pow y 4) in x 1.487 * [taylor]: Taking taylor expansion of y in x 1.487 * [backup-simplify]: Simplify y into y 1.487 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.487 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1.487 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1.488 * [backup-simplify]: Simplify (+ 1 0) into 1 1.488 * [taylor]: Taking taylor expansion of 1 in y 1.488 * [backup-simplify]: Simplify 1 into 1 1.488 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.489 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.490 * [backup-simplify]: Simplify (+ 0 0) into 0 1.490 * [taylor]: Taking taylor expansion of 0 in y 1.490 * [backup-simplify]: Simplify 0 into 0 1.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.493 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.494 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.494 * [backup-simplify]: Simplify (+ 0 0) into 0 1.494 * [taylor]: Taking taylor expansion of 0 in y 1.494 * [backup-simplify]: Simplify 0 into 0 1.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.496 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.497 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.497 * [backup-simplify]: Simplify (+ 0 0) into 0 1.497 * [taylor]: Taking taylor expansion of 0 in y 1.497 * [backup-simplify]: Simplify 0 into 0 1.498 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.498 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.499 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.499 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4))) 1.499 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4))) 1.499 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 1.499 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 1.499 * [taylor]: Taking taylor expansion of (pow y 4) in y 1.499 * [taylor]: Taking taylor expansion of y in y 1.499 * [backup-simplify]: Simplify 0 into 0 1.499 * [backup-simplify]: Simplify 1 into 1 1.500 * [backup-simplify]: Simplify (* 1 1) into 1 1.500 * [backup-simplify]: Simplify (* 1 1) into 1 1.500 * [backup-simplify]: Simplify (/ 1 1) into 1 1.500 * [backup-simplify]: Simplify (- 1) into -1 1.500 * [backup-simplify]: Simplify -1 into -1 1.500 * [backup-simplify]: Simplify 1 into 1 1.501 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.502 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.503 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.503 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 1.503 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 1.503 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0 1.503 * [backup-simplify]: Simplify (- 0) into 0 1.504 * [backup-simplify]: Simplify (+ 0 0) into 0 1.504 * [taylor]: Taking taylor expansion of 0 in y 1.504 * [backup-simplify]: Simplify 0 into 0 1.504 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.505 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.505 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.505 * [backup-simplify]: Simplify (- 0) into 0 1.505 * [backup-simplify]: Simplify 0 into 0 1.505 * [backup-simplify]: Simplify 0 into 0 1.505 * [backup-simplify]: Simplify 0 into 0 1.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.507 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.508 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1.508 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 1.508 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0 1.509 * [backup-simplify]: Simplify (- 0) into 0 1.509 * [backup-simplify]: Simplify (+ 0 0) into 0 1.509 * [taylor]: Taking taylor expansion of 0 in y 1.509 * [backup-simplify]: Simplify 0 into 0 1.510 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.510 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.511 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.511 * [backup-simplify]: Simplify (- 0) into 0 1.511 * [backup-simplify]: Simplify 0 into 0 1.511 * [backup-simplify]: Simplify 0 into 0 1.511 * [backup-simplify]: Simplify 0 into 0 1.511 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 4)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 4))) into (- (pow x 4) (pow y 4)) 1.511 * * * [progress]: simplifying candidates 1.511 * * * * [progress]: [ 1 / 27 ] simplifiying candidate # 1.512 * * * * [progress]: [ 2 / 27 ] simplifiying candidate # 1.512 * * * * [progress]: [ 3 / 27 ] simplifiying candidate # 1.512 * * * * [progress]: [ 4 / 27 ] simplifiying candidate # 1.512 * * * * [progress]: [ 5 / 27 ] simplifiying candidate # 1.512 * * * * [progress]: [ 6 / 27 ] simplifiying candidate # 1.512 * * * * [progress]: [ 7 / 27 ] simplifiying candidate # 1.512 * * * * [progress]: [ 8 / 27 ] simplifiying candidate # 1.512 * * * * [progress]: [ 9 / 27 ] simplifiying candidate # 1.512 * * * * [progress]: [ 10 / 27 ] simplifiying candidate # 1.512 * * * * [progress]: [ 11 / 27 ] simplifiying candidate # 1.512 * * * * [progress]: [ 12 / 27 ] simplifiying candidate # 1.512 * * * * [progress]: [ 13 / 27 ] simplifiying candidate # 1.512 * * * * [progress]: [ 14 / 27 ] simplifiying candidate # 1.512 * * * * [progress]: [ 15 / 27 ] simplifiying candidate # 1.512 * * * * [progress]: [ 16 / 27 ] simplifiying candidate # 1.512 * * * * [progress]: [ 17 / 27 ] simplifiying candidate # 1.512 * * * * [progress]: [ 18 / 27 ] simplifiying candidate # 1.512 * * * * [progress]: [ 19 / 27 ] simplifiying candidate # 1.512 * * * * [progress]: [ 20 / 27 ] simplifiying candidate # 1.512 * * * * [progress]: [ 21 / 27 ] simplifiying candidate # 1.512 * * * * [progress]: [ 22 / 27 ] simplifiying candidate # 1.512 * * * * [progress]: [ 23 / 27 ] simplifiying candidate # 1.512 * * * * [progress]: [ 24 / 27 ] simplifiying candidate #real (real->posit16 (- (pow x 4) (pow y 4)))))> 1.513 * * * * [progress]: [ 25 / 27 ] simplifiying candidate # 1.513 * * * * [progress]: [ 26 / 27 ] simplifiying candidate # 1.513 * * * * [progress]: [ 27 / 27 ] simplifiying candidate # 1.513 * [simplify]: Simplifying (/ (exp (pow x 4)) (exp (pow y 4))), (log (- (pow x 4) (pow y 4))), (exp (- (pow x 4) (pow y 4))), (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))), (cbrt (- (pow x 4) (pow y 4))), (* (* (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4))) (- (pow x 4) (pow y 4))), (sqrt (- (pow x 4) (pow y 4))), (sqrt (- (pow x 4) (pow y 4))), (- (pow (pow x 4) 3) (pow (pow y 4) 3)), (+ (* (pow x 4) (pow x 4)) (+ (* (pow y 4) (pow y 4)) (* (pow x 4) (pow y 4)))), (- (pow y 4)), (- (* (pow x 4) (pow x 4)) (* (pow y 4) (pow y 4))), (+ (pow x 4) (pow y 4)), (+ (pow (sqrt x) 4) (pow (sqrt y) 4)), (- (pow (sqrt x) 4) (pow (sqrt y) 4)), (+ (pow (sqrt x) 4) (sqrt (pow y 4))), (- (pow (sqrt x) 4) (sqrt (pow y 4))), (+ (pow (sqrt x) 4) (pow y (/ 4 2))), (- (pow (sqrt x) 4) (pow y (/ 4 2))), (+ (sqrt (pow x 4)) (pow (sqrt y) 4)), (- (sqrt (pow x 4)) (pow (sqrt y) 4)), (+ (sqrt (pow x 4)) (sqrt (pow y 4))), (- (sqrt (pow x 4)) (sqrt (pow y 4))), (+ (sqrt (pow x 4)) (pow y (/ 4 2))), (- (sqrt (pow x 4)) (pow y (/ 4 2))), (+ (pow x (/ 4 2)) (pow (sqrt y) 4)), (- (pow x (/ 4 2)) (pow (sqrt y) 4)), (+ (pow x (/ 4 2)) (sqrt (pow y 4))), (- (pow x (/ 4 2)) (sqrt (pow y 4))), (+ (pow x (/ 4 2)) (pow y (/ 4 2))), (- (pow x (/ 4 2)) (pow y (/ 4 2))), (- (pow x 4) (pow y 4)), (- (pow x 4) (pow y 4)), (- (pow y 4)), (real->posit16 (- (pow x 4) (pow y 4))), 0, (- (pow x 4) (pow y 4)), (- (pow x 4) (pow y 4)) 1.514 * * [simplify]: iteration 1: (58 enodes) 1.530 * * [simplify]: iteration 2: (229 enodes) 1.578 * * [simplify]: iteration 3: (422 enodes) 1.776 * * [simplify]: iteration 4: (1200 enodes) 2.871 * * [simplify]: Extracting #0: cost 22 inf + 0 2.872 * * [simplify]: Extracting #1: cost 187 inf + 1 2.875 * * [simplify]: Extracting #2: cost 578 inf + 167 2.889 * * [simplify]: Extracting #3: cost 611 inf + 57702 2.943 * * [simplify]: Extracting #4: cost 212 inf + 175559 3.028 * * [simplify]: Extracting #5: cost 20 inf + 213020 3.097 * * [simplify]: Extracting #6: cost 0 inf + 209529 3.189 * * [simplify]: Extracting #7: cost 0 inf + 208634 3.281 * [simplify]: Simplified to (exp (- (* (* x x) (* x x)) (* (* y y) (* y y)))), (log (- (* (* x x) (* x x)) (* (* y y) (* y y)))), (exp (- (* (* x x) (* x x)) (* (* y y) (* y y)))), (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))), (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))), (* (* (- (* (* x x) (* x x)) (* (* y y) (* y y))) (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (- (* (* x x) (* x x)) (* (* y y) (* y y)))), (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))), (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))), (- (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* (* x x) (* x x)))) (* (* (* y y) (* y y)) (* (* (* y y) (* y y)) (* (* y y) (* y y))))), (+ (* (* (* y y) (* y y)) (* (* y y) (* y y))) (* (* (* x x) (* x x)) (+ (* (* y y) (* y y)) (* (* x x) (* x x))))), (- (* (* y y) (* y y))), (* (- (* (* x x) (* x x)) (* (* y y) (* y y))) (+ (* (* y y) (* y y)) (* (* x x) (* x x)))), (+ (* (* y y) (* y y)) (* (* x x) (* x x))), (+ (* y y) (* x x)), (* (+ x y) (- x y)), (+ (* x x) (fabs (* y y))), (- (* x x) (fabs (* y y))), (+ (* y y) (* x x)), (* (+ x y) (- x y)), (+ (* y y) (fabs (* x x))), (- (fabs (* x x)) (* y y)), (+ (fabs (* x x)) (fabs (* y y))), (- (fabs (* x x)) (fabs (* y y))), (+ (* y y) (fabs (* x x))), (- (fabs (* x x)) (* y y)), (+ (* y y) (* x x)), (* (+ x y) (- x y)), (+ (* x x) (fabs (* y y))), (- (* x x) (fabs (* y y))), (+ (* y y) (* x x)), (* (+ x y) (- x y)), (- (* (* x x) (* x x)) (* (* y y) (* y y))), (- (* (* x x) (* x x)) (* (* y y) (* y y))), (- (* (* y y) (* y y))), (real->posit16 (- (* (* x x) (* x x)) (* (* y y) (* y y)))), 0, (- (* (* x x) (* x x)) (* (* y y) (* y y))), (- (* (* x x) (* x x)) (* (* y y) (* y y))) 3.285 * * * [progress]: adding candidates to table 3.515 * [progress]: [Phase 3 of 3] Extracting. 3.518 * [simplify]: Simplifying (- (pow x 4) (pow y 4)) 3.518 * * [simplify]: iteration 1: (6 enodes) 3.519 * * [simplify]: Extracting #0: cost 1 inf + 0 3.519 * * [simplify]: Extracting #1: cost 3 inf + 0 3.519 * * [simplify]: Extracting #2: cost 6 inf + 0 3.519 * * [simplify]: Extracting #3: cost 2 inf + 215 3.519 * * [simplify]: Extracting #4: cost 0 inf + 890 3.519 * [simplify]: Simplified to (- (pow x 4) (pow y 4)) 6.549 * [regime-testing]: Baseline error score: 0.0025734419928392497 6.551 * [regime-testing]: Oracle error score: 0.0025734419928392497 6.551 * [regime-testing]: End program error score: 0.0025734419928392497