40.148 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.025 * * * [progress]: [2/2] Setting up program.
0.027 * [progress]: [Phase 2 of 3] Improving.
0.027 * [simplify]: Simplifying:
  (+ (* x (* x x)) (* x x))
0.027 * * [simplify]: iteration 0: 4 enodes
0.028 * * [simplify]: iteration 1: 13 enodes
0.031 * * [simplify]: iteration 2: 26 enodes
0.035 * * [simplify]: iteration 3: 43 enodes
0.045 * * [simplify]: iteration 4: 131 enodes
0.091 * * [simplify]: iteration 5: 562 enodes
0.362 * * [simplify]: iteration complete: 5001 enodes
0.362 * * [simplify]: Extracting #0: cost 1 inf + 0
0.364 * * [simplify]: Extracting #1: cost 1275 inf + 0
0.369 * * [simplify]: Extracting #2: cost 2123 inf + 659
0.375 * * [simplify]: Extracting #3: cost 480 inf + 7123
0.382 * * [simplify]: Extracting #4: cost 79 inf + 9326
0.392 * * [simplify]: Extracting #5: cost 26 inf + 9557
0.398 * * [simplify]: Extracting #6: cost 1 inf + 9732
0.404 * * [simplify]: Extracting #7: cost 0 inf + 9743
0.410 * [simplify]: Simplified to:
  (* (* x x) (+ 1 x))
0.414 * * [progress]: iteration 1 / 4
0.414 * * * [progress]: picking best candidate
0.422 * * * * [pick]: Picked  #<alt (λ (x) (+ (* x (* x x)) (* x x)))>
0.422 * * * [progress]: localizing error
0.428 * * * [progress]: generating rewritten candidates
0.428 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.453 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.472 * * * [progress]: generating series expansions
0.472 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.472 * [backup-simplify]: Simplify (* x (* x x)) into (pow x 3)
0.472 * [approximate]: Taking taylor expansion of (pow x 3) in (x) around 0
0.473 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.473 * [taylor]: Taking taylor expansion of x in x
0.473 * [backup-simplify]: Simplify 0 into 0
0.473 * [backup-simplify]: Simplify 1 into 1
0.473 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.473 * [taylor]: Taking taylor expansion of x in x
0.473 * [backup-simplify]: Simplify 0 into 0
0.473 * [backup-simplify]: Simplify 1 into 1
0.473 * [backup-simplify]: Simplify (* 1 1) into 1
0.473 * [backup-simplify]: Simplify (* 1 1) into 1
0.473 * [backup-simplify]: Simplify 1 into 1
0.474 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.474 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.474 * [backup-simplify]: Simplify 0 into 0
0.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.475 * [backup-simplify]: Simplify 0 into 0
0.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.476 * [backup-simplify]: Simplify 0 into 0
0.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.478 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.478 * [backup-simplify]: Simplify 0 into 0
0.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.479 * [backup-simplify]: Simplify 0 into 0
0.480 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.481 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.481 * [backup-simplify]: Simplify 0 into 0
0.481 * [backup-simplify]: Simplify (* 1 (pow x 3)) into (pow x 3)
0.481 * [backup-simplify]: Simplify (* (/ 1 x) (* (/ 1 x) (/ 1 x))) into (/ 1 (pow x 3))
0.481 * [approximate]: Taking taylor expansion of (/ 1 (pow x 3)) in (x) around 0
0.481 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.481 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.481 * [taylor]: Taking taylor expansion of x in x
0.481 * [backup-simplify]: Simplify 0 into 0
0.481 * [backup-simplify]: Simplify 1 into 1
0.482 * [backup-simplify]: Simplify (* 1 1) into 1
0.482 * [backup-simplify]: Simplify (* 1 1) into 1
0.482 * [backup-simplify]: Simplify (/ 1 1) into 1
0.482 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.482 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.482 * [taylor]: Taking taylor expansion of x in x
0.482 * [backup-simplify]: Simplify 0 into 0
0.482 * [backup-simplify]: Simplify 1 into 1
0.482 * [backup-simplify]: Simplify (* 1 1) into 1
0.483 * [backup-simplify]: Simplify (* 1 1) into 1
0.483 * [backup-simplify]: Simplify (/ 1 1) into 1
0.483 * [backup-simplify]: Simplify 1 into 1
0.484 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.484 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.485 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.485 * [backup-simplify]: Simplify 0 into 0
0.486 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.487 * [backup-simplify]: Simplify 0 into 0
0.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.489 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.490 * [backup-simplify]: Simplify 0 into 0
0.491 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.493 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.493 * [backup-simplify]: Simplify 0 into 0
0.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.496 * [backup-simplify]: Simplify 0 into 0
0.498 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.499 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.500 * [backup-simplify]: Simplify 0 into 0
0.500 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 x)) 3)) into (pow x 3)
0.500 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* (/ 1 (- x)) (/ 1 (- x)))) into (/ -1 (pow x 3))
0.500 * [approximate]: Taking taylor expansion of (/ -1 (pow x 3)) in (x) around 0
0.500 * [taylor]: Taking taylor expansion of (/ -1 (pow x 3)) in x
0.500 * [taylor]: Taking taylor expansion of -1 in x
0.500 * [backup-simplify]: Simplify -1 into -1
0.500 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.500 * [taylor]: Taking taylor expansion of x in x
0.500 * [backup-simplify]: Simplify 0 into 0
0.500 * [backup-simplify]: Simplify 1 into 1
0.500 * [backup-simplify]: Simplify (* 1 1) into 1
0.500 * [backup-simplify]: Simplify (* 1 1) into 1
0.501 * [backup-simplify]: Simplify (/ -1 1) into -1
0.501 * [taylor]: Taking taylor expansion of (/ -1 (pow x 3)) in x
0.501 * [taylor]: Taking taylor expansion of -1 in x
0.501 * [backup-simplify]: Simplify -1 into -1
0.501 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.501 * [taylor]: Taking taylor expansion of x in x
0.501 * [backup-simplify]: Simplify 0 into 0
0.501 * [backup-simplify]: Simplify 1 into 1
0.501 * [backup-simplify]: Simplify (* 1 1) into 1
0.501 * [backup-simplify]: Simplify (* 1 1) into 1
0.502 * [backup-simplify]: Simplify (/ -1 1) into -1
0.502 * [backup-simplify]: Simplify -1 into -1
0.502 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.502 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.503 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.503 * [backup-simplify]: Simplify 0 into 0
0.504 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.505 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.506 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.506 * [backup-simplify]: Simplify 0 into 0
0.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.507 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.508 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.508 * [backup-simplify]: Simplify 0 into 0
0.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.510 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.511 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.511 * [backup-simplify]: Simplify 0 into 0
0.513 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.514 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.515 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.515 * [backup-simplify]: Simplify 0 into 0
0.516 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.518 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.518 * [backup-simplify]: Simplify 0 into 0
0.519 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- x))) 3)) into (pow x 3)
0.519 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.519 * [backup-simplify]: Simplify (+ (* x (* x x)) (* x x)) into (+ (pow x 3) (pow x 2))
0.519 * [approximate]: Taking taylor expansion of (+ (pow x 3) (pow x 2)) in (x) around 0
0.519 * [taylor]: Taking taylor expansion of (+ (pow x 3) (pow x 2)) in x
0.519 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.519 * [taylor]: Taking taylor expansion of x in x
0.519 * [backup-simplify]: Simplify 0 into 0
0.519 * [backup-simplify]: Simplify 1 into 1
0.519 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.519 * [taylor]: Taking taylor expansion of x in x
0.519 * [backup-simplify]: Simplify 0 into 0
0.519 * [backup-simplify]: Simplify 1 into 1
0.519 * [taylor]: Taking taylor expansion of (+ (pow x 3) (pow x 2)) in x
0.519 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.519 * [taylor]: Taking taylor expansion of x in x
0.519 * [backup-simplify]: Simplify 0 into 0
0.519 * [backup-simplify]: Simplify 1 into 1
0.519 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.519 * [taylor]: Taking taylor expansion of x in x
0.519 * [backup-simplify]: Simplify 0 into 0
0.519 * [backup-simplify]: Simplify 1 into 1
0.520 * [backup-simplify]: Simplify (* 1 1) into 1
0.520 * [backup-simplify]: Simplify (+ 0 1) into 1
0.520 * [backup-simplify]: Simplify 1 into 1
0.521 * [backup-simplify]: Simplify (* 1 1) into 1
0.521 * [backup-simplify]: Simplify (* 1 1) into 1
0.522 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.522 * [backup-simplify]: Simplify (+ 1 0) into 1
0.522 * [backup-simplify]: Simplify 1 into 1
0.523 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.523 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.524 * [backup-simplify]: Simplify (+ 0 0) into 0
0.524 * [backup-simplify]: Simplify 0 into 0
0.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.526 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.526 * [backup-simplify]: Simplify (+ 0 0) into 0
0.526 * [backup-simplify]: Simplify 0 into 0
0.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.528 * [backup-simplify]: Simplify (+ 0 0) into 0
0.528 * [backup-simplify]: Simplify 0 into 0
0.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.532 * [backup-simplify]: Simplify (+ 0 0) into 0
0.532 * [backup-simplify]: Simplify 0 into 0
0.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.534 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.536 * [backup-simplify]: Simplify (+ 0 0) into 0
0.536 * [backup-simplify]: Simplify 0 into 0
0.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
0.540 * [backup-simplify]: Simplify (+ 0 0) into 0
0.540 * [backup-simplify]: Simplify 0 into 0
0.541 * [backup-simplify]: Simplify (+ (* 1 (pow x 3)) (* 1 (pow x 2))) into (+ (pow x 3) (pow x 2))
0.541 * [backup-simplify]: Simplify (+ (* (/ 1 x) (* (/ 1 x) (/ 1 x))) (* (/ 1 x) (/ 1 x))) into (+ (/ 1 (pow x 3)) (/ 1 (pow x 2)))
0.541 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 3)) (/ 1 (pow x 2))) in (x) around 0
0.541 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) (/ 1 (pow x 2))) in x
0.541 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.541 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.541 * [taylor]: Taking taylor expansion of x in x
0.541 * [backup-simplify]: Simplify 0 into 0
0.541 * [backup-simplify]: Simplify 1 into 1
0.541 * [backup-simplify]: Simplify (* 1 1) into 1
0.542 * [backup-simplify]: Simplify (* 1 1) into 1
0.542 * [backup-simplify]: Simplify (/ 1 1) into 1
0.542 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.542 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.542 * [taylor]: Taking taylor expansion of x in x
0.542 * [backup-simplify]: Simplify 0 into 0
0.542 * [backup-simplify]: Simplify 1 into 1
0.543 * [backup-simplify]: Simplify (* 1 1) into 1
0.543 * [backup-simplify]: Simplify (/ 1 1) into 1
0.543 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) (/ 1 (pow x 2))) in x
0.543 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.543 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.543 * [taylor]: Taking taylor expansion of x in x
0.543 * [backup-simplify]: Simplify 0 into 0
0.543 * [backup-simplify]: Simplify 1 into 1
0.543 * [backup-simplify]: Simplify (* 1 1) into 1
0.544 * [backup-simplify]: Simplify (* 1 1) into 1
0.544 * [backup-simplify]: Simplify (/ 1 1) into 1
0.544 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.544 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.544 * [taylor]: Taking taylor expansion of x in x
0.544 * [backup-simplify]: Simplify 0 into 0
0.544 * [backup-simplify]: Simplify 1 into 1
0.545 * [backup-simplify]: Simplify (* 1 1) into 1
0.545 * [backup-simplify]: Simplify (/ 1 1) into 1
0.545 * [backup-simplify]: Simplify (+ 1 0) into 1
0.545 * [backup-simplify]: Simplify 1 into 1
0.546 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.546 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.547 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.548 * [backup-simplify]: Simplify (+ 0 1) into 1
0.548 * [backup-simplify]: Simplify 1 into 1
0.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.550 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.550 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.551 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.551 * [backup-simplify]: Simplify (+ 0 0) into 0
0.552 * [backup-simplify]: Simplify 0 into 0
0.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.554 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.555 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.560 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.561 * [backup-simplify]: Simplify (+ 0 0) into 0
0.561 * [backup-simplify]: Simplify 0 into 0
0.562 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.564 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.564 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.565 * [backup-simplify]: Simplify (+ 0 0) into 0
0.565 * [backup-simplify]: Simplify 0 into 0
0.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.567 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.568 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.569 * [backup-simplify]: Simplify (+ 0 0) into 0
0.569 * [backup-simplify]: Simplify 0 into 0
0.569 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.570 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.571 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.572 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.572 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.573 * [backup-simplify]: Simplify (+ 0 0) into 0
0.573 * [backup-simplify]: Simplify 0 into 0
0.574 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
0.574 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
0.575 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.576 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.577 * [backup-simplify]: Simplify (+ 0 0) into 0
0.577 * [backup-simplify]: Simplify 0 into 0
0.577 * [backup-simplify]: Simplify (+ (* 1 (pow (/ 1 (/ 1 x)) 2)) (* 1 (pow (/ 1 (/ 1 x)) 3))) into (+ (pow x 3) (pow x 2))
0.577 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (* (/ 1 (- x)) (/ 1 (- x)))) (* (/ 1 (- x)) (/ 1 (- x)))) into (- (/ 1 (pow x 2)) (/ 1 (pow x 3)))
0.577 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow x 3))) in (x) around 0
0.577 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow x 3))) in x
0.577 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.577 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.577 * [taylor]: Taking taylor expansion of x in x
0.577 * [backup-simplify]: Simplify 0 into 0
0.577 * [backup-simplify]: Simplify 1 into 1
0.577 * [backup-simplify]: Simplify (* 1 1) into 1
0.578 * [backup-simplify]: Simplify (/ 1 1) into 1
0.578 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.578 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.578 * [taylor]: Taking taylor expansion of x in x
0.578 * [backup-simplify]: Simplify 0 into 0
0.578 * [backup-simplify]: Simplify 1 into 1
0.578 * [backup-simplify]: Simplify (* 1 1) into 1
0.578 * [backup-simplify]: Simplify (* 1 1) into 1
0.578 * [backup-simplify]: Simplify (/ 1 1) into 1
0.579 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow x 3))) in x
0.579 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.579 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.579 * [taylor]: Taking taylor expansion of x in x
0.579 * [backup-simplify]: Simplify 0 into 0
0.579 * [backup-simplify]: Simplify 1 into 1
0.579 * [backup-simplify]: Simplify (* 1 1) into 1
0.579 * [backup-simplify]: Simplify (/ 1 1) into 1
0.579 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.579 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.579 * [taylor]: Taking taylor expansion of x in x
0.579 * [backup-simplify]: Simplify 0 into 0
0.579 * [backup-simplify]: Simplify 1 into 1
0.579 * [backup-simplify]: Simplify (* 1 1) into 1
0.580 * [backup-simplify]: Simplify (* 1 1) into 1
0.580 * [backup-simplify]: Simplify (/ 1 1) into 1
0.580 * [backup-simplify]: Simplify (- 1) into -1
0.581 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.581 * [backup-simplify]: Simplify -1 into -1
0.581 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.582 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.583 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.583 * [backup-simplify]: Simplify (- 0) into 0
0.584 * [backup-simplify]: Simplify (+ 1 0) into 1
0.584 * [backup-simplify]: Simplify 1 into 1
0.584 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.585 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.586 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.587 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.588 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.588 * [backup-simplify]: Simplify (- 0) into 0
0.589 * [backup-simplify]: Simplify (+ 0 0) into 0
0.589 * [backup-simplify]: Simplify 0 into 0
0.589 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.590 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.591 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.593 * [backup-simplify]: Simplify (- 0) into 0
0.593 * [backup-simplify]: Simplify (+ 0 0) into 0
0.593 * [backup-simplify]: Simplify 0 into 0
0.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.595 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.598 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.599 * [backup-simplify]: Simplify (- 0) into 0
0.599 * [backup-simplify]: Simplify (+ 0 0) into 0
0.599 * [backup-simplify]: Simplify 0 into 0
0.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.601 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.602 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.604 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.605 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.605 * [backup-simplify]: Simplify (- 0) into 0
0.605 * [backup-simplify]: Simplify (+ 0 0) into 0
0.605 * [backup-simplify]: Simplify 0 into 0
0.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.609 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.610 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.611 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.611 * [backup-simplify]: Simplify (- 0) into 0
0.612 * [backup-simplify]: Simplify (+ 0 0) into 0
0.612 * [backup-simplify]: Simplify 0 into 0
0.613 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.614 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.616 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
0.617 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
0.618 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.618 * [backup-simplify]: Simplify (- 0) into 0
0.619 * [backup-simplify]: Simplify (+ 0 0) into 0
0.619 * [backup-simplify]: Simplify 0 into 0
0.619 * [backup-simplify]: Simplify (+ (* 1 (pow (/ 1 (/ 1 (- x))) 2)) (* -1 (pow (/ 1 (/ 1 (- x))) 3))) into (+ (pow x 3) (pow x 2))
0.619 * * * [progress]: simplifying candidates
0.620 * [simplify]: Simplifying:
  (+ 1 (+ 1 1))
  (+ 1 2)
  (+ 1 (+ 1 1))
  (+ 1 (* 2 1))
  (* x (* x x))
  (* x (* x x))
  (+ (log x) (+ (log x) (log x)))
  (+ (log x) (log (* x x)))
  (log (* x (* x x)))
  (exp (* x (* x x)))
  (* (* (* x x) x) (* (* (* x x) x) (* (* x x) x)))
  (* (* (* x x) x) (* (* (* x x) (* x x)) (* x x)))
  (* (cbrt (* x (* x x))) (cbrt (* x (* x x))))
  (cbrt (* x (* x x)))
  (* (* (* x (* x x)) (* x (* x x))) (* x (* x x)))
  (sqrt (* x (* x x)))
  (sqrt (* x (* x x)))
  (* (sqrt x) x)
  (* (sqrt x) x)
  (* x x)
  (* (cbrt x) (* x x))
  (* (sqrt x) (* x x))
  (* x (* x x))
  (* (exp (* x (* x x))) (exp (* x x)))
  (log (+ (* x (* x x)) (* x x)))
  (exp (+ (* x (* x x)) (* x x)))
  (* (cbrt (+ (* x (* x x)) (* x x))) (cbrt (+ (* x (* x x)) (* x x))))
  (cbrt (+ (* x (* x x)) (* x x)))
  (* (* (+ (* x (* x x)) (* x x)) (+ (* x (* x x)) (* x x))) (+ (* x (* x x)) (* x x)))
  (sqrt (+ (* x (* x x)) (* x x)))
  (sqrt (+ (* x (* x x)) (* x x)))
  (+ (pow (* x (* x x)) 3) (pow (* x x) 3))
  (+ (* (* x (* x x)) (* x (* x x))) (- (* (* x x) (* x x)) (* (* x (* x x)) (* x x))))
  (- (* (* x (* x x)) (* x (* x x))) (* (* x x) (* x x)))
  (- (* x (* x x)) (* x x))
  (+ (* x x) x)
  (+ x 1)
  (pow x 3)
  (pow x 3)
  (pow x 3)
  (+ (pow x 3) (pow x 2))
  (+ (pow x 3) (pow x 2))
  (+ (pow x 3) (pow x 2))
0.621 * * [simplify]: iteration 0: 57 enodes
0.645 * * [simplify]: iteration 1: 192 enodes
0.916 * * [simplify]: iteration 2: 1417 enodes
1.577 * * [simplify]: iteration complete: 5001 enodes
1.577 * * [simplify]: Extracting #0: cost 24 inf + 0
1.578 * * [simplify]: Extracting #1: cost 594 inf + 5
1.584 * * [simplify]: Extracting #2: cost 1612 inf + 1759
1.593 * * [simplify]: Extracting #3: cost 796 inf + 8600
1.603 * * [simplify]: Extracting #4: cost 159 inf + 12910
1.617 * * [simplify]: Extracting #5: cost 14 inf + 13429
1.627 * * [simplify]: Extracting #6: cost 0 inf + 13499
1.634 * * [simplify]: Extracting #7: cost 0 inf + 13497
1.643 * [simplify]: Simplified to:
  3
  3
  3
  3
  (pow x 3)
  (pow x 3)
  (log (pow x 3))
  (log (pow x 3))
  (log (pow x 3))
  (exp (pow x 3))
  (pow (pow x 3) 3)
  (pow (pow x 3) 3)
  (* x x)
  x
  (pow (pow x 3) 3)
  (sqrt (pow x 3))
  (sqrt (pow x 3))
  (* (sqrt x) x)
  (* (sqrt x) x)
  (* x x)
  (* (cbrt x) (* x x))
  (* (sqrt x) (* x x))
  (pow x 3)
  (pow (exp x) (+ (* x x) x))
  (log (+ (* x x) (pow x 3)))
  (pow (exp x) (+ (* x x) x))
  (* (cbrt (+ (* x x) (pow x 3))) (cbrt (+ (* x x) (pow x 3))))
  (cbrt (+ (* x x) (pow x 3)))
  (pow (+ (* x x) (pow x 3)) 3)
  (sqrt (+ (* x x) (pow x 3)))
  (sqrt (+ (* x x) (pow x 3)))
  (+ (pow x 6) (pow (pow x 3) 3))
  (+ (* (pow x 3) (- x (* x x))) (pow x 6))
  (- (pow x 6) (pow x 4))
  (* x (- (* x x) x))
  (* (+ x 1) x)
  (+ 1 x)
  (pow x 3)
  (pow x 3)
  (pow x 3)
  (+ (* x x) (pow x 3))
  (+ (* x x) (pow x 3))
  (+ (* x x) (pow x 3))
1.644 * * * [progress]: adding candidates to table
1.763 * * [progress]: iteration 2 / 4
1.763 * * * [progress]: picking best candidate
1.768 * * * * [pick]: Picked  #<alt (λ (x) (+ (* 1 (pow x 3)) (* x x)))>
1.768 * * * [progress]: localizing error
1.776 * * * [progress]: generating rewritten candidates
1.776 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.784 * * * [progress]: generating series expansions
1.784 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.784 * [backup-simplify]: Simplify (+ (* 1 (pow x 3)) (* x x)) into (+ (pow x 3) (pow x 2))
1.784 * [approximate]: Taking taylor expansion of (+ (pow x 3) (pow x 2)) in (x) around 0
1.784 * [taylor]: Taking taylor expansion of (+ (pow x 3) (pow x 2)) in x
1.784 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.784 * [taylor]: Taking taylor expansion of x in x
1.784 * [backup-simplify]: Simplify 0 into 0
1.784 * [backup-simplify]: Simplify 1 into 1
1.784 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.784 * [taylor]: Taking taylor expansion of x in x
1.784 * [backup-simplify]: Simplify 0 into 0
1.784 * [backup-simplify]: Simplify 1 into 1
1.784 * [taylor]: Taking taylor expansion of (+ (pow x 3) (pow x 2)) in x
1.784 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.784 * [taylor]: Taking taylor expansion of x in x
1.784 * [backup-simplify]: Simplify 0 into 0
1.784 * [backup-simplify]: Simplify 1 into 1
1.784 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.784 * [taylor]: Taking taylor expansion of x in x
1.784 * [backup-simplify]: Simplify 0 into 0
1.784 * [backup-simplify]: Simplify 1 into 1
1.785 * [backup-simplify]: Simplify (* 1 1) into 1
1.785 * [backup-simplify]: Simplify (+ 0 1) into 1
1.785 * [backup-simplify]: Simplify 1 into 1
1.785 * [backup-simplify]: Simplify (* 1 1) into 1
1.785 * [backup-simplify]: Simplify (* 1 1) into 1
1.786 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.786 * [backup-simplify]: Simplify (+ 1 0) into 1
1.786 * [backup-simplify]: Simplify 1 into 1
1.787 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.787 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.787 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.788 * [backup-simplify]: Simplify (+ 0 0) into 0
1.788 * [backup-simplify]: Simplify 0 into 0
1.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.790 * [backup-simplify]: Simplify (+ 0 0) into 0
1.790 * [backup-simplify]: Simplify 0 into 0
1.790 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.791 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.791 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.792 * [backup-simplify]: Simplify (+ 0 0) into 0
1.792 * [backup-simplify]: Simplify 0 into 0
1.792 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.793 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.794 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.794 * [backup-simplify]: Simplify (+ 0 0) into 0
1.794 * [backup-simplify]: Simplify 0 into 0
1.795 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.795 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.796 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.797 * [backup-simplify]: Simplify (+ 0 0) into 0
1.797 * [backup-simplify]: Simplify 0 into 0
1.798 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.799 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.801 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1.801 * [backup-simplify]: Simplify (+ 0 0) into 0
1.801 * [backup-simplify]: Simplify 0 into 0
1.801 * [backup-simplify]: Simplify (+ (* 1 (pow x 3)) (* 1 (pow x 2))) into (+ (pow x 3) (pow x 2))
1.802 * [backup-simplify]: Simplify (+ (* 1 (pow (/ 1 x) 3)) (* (/ 1 x) (/ 1 x))) into (+ (/ 1 (pow x 3)) (/ 1 (pow x 2)))
1.802 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 3)) (/ 1 (pow x 2))) in (x) around 0
1.802 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) (/ 1 (pow x 2))) in x
1.802 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.802 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.802 * [taylor]: Taking taylor expansion of x in x
1.802 * [backup-simplify]: Simplify 0 into 0
1.802 * [backup-simplify]: Simplify 1 into 1
1.802 * [backup-simplify]: Simplify (* 1 1) into 1
1.802 * [backup-simplify]: Simplify (* 1 1) into 1
1.802 * [backup-simplify]: Simplify (/ 1 1) into 1
1.802 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.802 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.802 * [taylor]: Taking taylor expansion of x in x
1.802 * [backup-simplify]: Simplify 0 into 0
1.802 * [backup-simplify]: Simplify 1 into 1
1.803 * [backup-simplify]: Simplify (* 1 1) into 1
1.803 * [backup-simplify]: Simplify (/ 1 1) into 1
1.803 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) (/ 1 (pow x 2))) in x
1.803 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.803 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.803 * [taylor]: Taking taylor expansion of x in x
1.803 * [backup-simplify]: Simplify 0 into 0
1.803 * [backup-simplify]: Simplify 1 into 1
1.803 * [backup-simplify]: Simplify (* 1 1) into 1
1.804 * [backup-simplify]: Simplify (* 1 1) into 1
1.804 * [backup-simplify]: Simplify (/ 1 1) into 1
1.804 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.804 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.804 * [taylor]: Taking taylor expansion of x in x
1.804 * [backup-simplify]: Simplify 0 into 0
1.804 * [backup-simplify]: Simplify 1 into 1
1.804 * [backup-simplify]: Simplify (* 1 1) into 1
1.804 * [backup-simplify]: Simplify (/ 1 1) into 1
1.805 * [backup-simplify]: Simplify (+ 1 0) into 1
1.805 * [backup-simplify]: Simplify 1 into 1
1.805 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.805 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.806 * [backup-simplify]: Simplify (+ 0 1) into 1
1.806 * [backup-simplify]: Simplify 1 into 1
1.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.808 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.811 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.812 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.812 * [backup-simplify]: Simplify (+ 0 0) into 0
1.812 * [backup-simplify]: Simplify 0 into 0
1.813 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.813 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.814 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.814 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.815 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.815 * [backup-simplify]: Simplify (+ 0 0) into 0
1.815 * [backup-simplify]: Simplify 0 into 0
1.816 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.816 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.817 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.818 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.819 * [backup-simplify]: Simplify (+ 0 0) into 0
1.819 * [backup-simplify]: Simplify 0 into 0
1.820 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.821 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.822 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.823 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.824 * [backup-simplify]: Simplify (+ 0 0) into 0
1.824 * [backup-simplify]: Simplify 0 into 0
1.825 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.825 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.826 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.827 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.828 * [backup-simplify]: Simplify (+ 0 0) into 0
1.828 * [backup-simplify]: Simplify 0 into 0
1.829 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1.829 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1.830 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.832 * [backup-simplify]: Simplify (+ 0 0) into 0
1.832 * [backup-simplify]: Simplify 0 into 0
1.832 * [backup-simplify]: Simplify (+ (* 1 (pow (/ 1 (/ 1 x)) 2)) (* 1 (pow (/ 1 (/ 1 x)) 3))) into (+ (pow x 3) (pow x 2))
1.832 * [backup-simplify]: Simplify (+ (* 1 (pow (/ 1 (- x)) 3)) (* (/ 1 (- x)) (/ 1 (- x)))) into (- (/ 1 (pow x 2)) (/ 1 (pow x 3)))
1.832 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow x 3))) in (x) around 0
1.832 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow x 3))) in x
1.832 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.832 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.832 * [taylor]: Taking taylor expansion of x in x
1.832 * [backup-simplify]: Simplify 0 into 0
1.832 * [backup-simplify]: Simplify 1 into 1
1.832 * [backup-simplify]: Simplify (* 1 1) into 1
1.833 * [backup-simplify]: Simplify (/ 1 1) into 1
1.833 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.833 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.833 * [taylor]: Taking taylor expansion of x in x
1.833 * [backup-simplify]: Simplify 0 into 0
1.833 * [backup-simplify]: Simplify 1 into 1
1.833 * [backup-simplify]: Simplify (* 1 1) into 1
1.833 * [backup-simplify]: Simplify (* 1 1) into 1
1.834 * [backup-simplify]: Simplify (/ 1 1) into 1
1.834 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow x 3))) in x
1.834 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.834 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.834 * [taylor]: Taking taylor expansion of x in x
1.834 * [backup-simplify]: Simplify 0 into 0
1.834 * [backup-simplify]: Simplify 1 into 1
1.834 * [backup-simplify]: Simplify (* 1 1) into 1
1.834 * [backup-simplify]: Simplify (/ 1 1) into 1
1.834 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.834 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.834 * [taylor]: Taking taylor expansion of x in x
1.834 * [backup-simplify]: Simplify 0 into 0
1.834 * [backup-simplify]: Simplify 1 into 1
1.834 * [backup-simplify]: Simplify (* 1 1) into 1
1.835 * [backup-simplify]: Simplify (* 1 1) into 1
1.835 * [backup-simplify]: Simplify (/ 1 1) into 1
1.835 * [backup-simplify]: Simplify (- 1) into -1
1.835 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.835 * [backup-simplify]: Simplify -1 into -1
1.836 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.836 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.837 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.837 * [backup-simplify]: Simplify (- 0) into 0
1.837 * [backup-simplify]: Simplify (+ 1 0) into 1
1.837 * [backup-simplify]: Simplify 1 into 1
1.838 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.838 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.838 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.839 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.840 * [backup-simplify]: Simplify (- 0) into 0
1.840 * [backup-simplify]: Simplify (+ 0 0) into 0
1.840 * [backup-simplify]: Simplify 0 into 0
1.841 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.841 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.843 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.843 * [backup-simplify]: Simplify (- 0) into 0
1.843 * [backup-simplify]: Simplify (+ 0 0) into 0
1.843 * [backup-simplify]: Simplify 0 into 0
1.844 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.846 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.846 * [backup-simplify]: Simplify (- 0) into 0
1.847 * [backup-simplify]: Simplify (+ 0 0) into 0
1.847 * [backup-simplify]: Simplify 0 into 0
1.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.848 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.850 * [backup-simplify]: Simplify (- 0) into 0
1.851 * [backup-simplify]: Simplify (+ 0 0) into 0
1.851 * [backup-simplify]: Simplify 0 into 0
1.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.852 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.853 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.854 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.854 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.854 * [backup-simplify]: Simplify (- 0) into 0
1.855 * [backup-simplify]: Simplify (+ 0 0) into 0
1.855 * [backup-simplify]: Simplify 0 into 0
1.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.857 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.859 * [backup-simplify]: Simplify (- 0) into 0
1.859 * [backup-simplify]: Simplify (+ 0 0) into 0
1.859 * [backup-simplify]: Simplify 0 into 0
1.859 * [backup-simplify]: Simplify (+ (* 1 (pow (/ 1 (/ 1 (- x))) 2)) (* -1 (pow (/ 1 (/ 1 (- x))) 3))) into (+ (pow x 3) (pow x 2))
1.859 * * * [progress]: simplifying candidates
1.860 * [simplify]: Simplifying:
  (* (exp (* 1 (pow x 3))) (exp (* x x)))
  (log (+ (* 1 (pow x 3)) (* x x)))
  (exp (+ (* 1 (pow x 3)) (* x x)))
  (* (cbrt (+ (* 1 (pow x 3)) (* x x))) (cbrt (+ (* 1 (pow x 3)) (* x x))))
  (cbrt (+ (* 1 (pow x 3)) (* x x)))
  (* (* (+ (* 1 (pow x 3)) (* x x)) (+ (* 1 (pow x 3)) (* x x))) (+ (* 1 (pow x 3)) (* x x)))
  (sqrt (+ (* 1 (pow x 3)) (* x x)))
  (sqrt (+ (* 1 (pow x 3)) (* x x)))
  (+ (pow (* 1 (pow x 3)) 3) (pow (* x x) 3))
  (+ (* (* 1 (pow x 3)) (* 1 (pow x 3))) (- (* (* x x) (* x x)) (* (* 1 (pow x 3)) (* x x))))
  (- (* (* 1 (pow x 3)) (* 1 (pow x 3))) (* (* x x) (* x x)))
  (- (* 1 (pow x 3)) (* x x))
  (+ (pow x 3) (pow x 2))
  (+ (pow x 3) (pow x 2))
  (+ (pow x 3) (pow x 2))
1.860 * * [simplify]: iteration 0: 30 enodes
1.867 * * [simplify]: iteration 1: 113 enodes
1.929 * * [simplify]: iteration 2: 761 enodes
2.284 * * [simplify]: iteration complete: 5000 enodes
2.284 * * [simplify]: Extracting #0: cost 11 inf + 0
2.285 * * [simplify]: Extracting #1: cost 509 inf + 0
2.290 * * [simplify]: Extracting #2: cost 1801 inf + 276
2.299 * * [simplify]: Extracting #3: cost 1421 inf + 5484
2.306 * * [simplify]: Extracting #4: cost 323 inf + 15372
2.313 * * [simplify]: Extracting #5: cost 44 inf + 17185
2.326 * * [simplify]: Extracting #6: cost 2 inf + 17399
2.335 * * [simplify]: Extracting #7: cost 0 inf + 17413
2.344 * [simplify]: Simplified to:
  (pow (exp x) (+ (* x x) x))
  (log (* x (+ x (* x x))))
  (pow (exp x) (+ (* x x) x))
  (* (cbrt (* x (+ x (* x x)))) (cbrt (* x (+ x (* x x)))))
  (cbrt (* x (+ x (* x x))))
  (* (pow (+ x 1) 3) (pow x 6))
  (sqrt (* x (+ x (* x x))))
  (sqrt (* x (+ x (* x x))))
  (* (pow x 6) (+ (pow x 3) 1))
  (+ (* (pow x 3) (- x (* x x))) (pow x 6))
  (- (pow x 6) (pow x 4))
  (* x (- (* x x) x))
  (* x (+ x (* x x)))
  (* x (+ x (* x x)))
  (* x (+ x (* x x)))
2.344 * * * [progress]: adding candidates to table
2.403 * * [progress]: iteration 3 / 4
2.403 * * * [progress]: picking best candidate
2.407 * * * * [pick]: Picked  #<alt (λ (x) (* x (+ x (* x x))))>
2.407 * * * [progress]: localizing error
2.416 * * * [progress]: generating rewritten candidates
2.416 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.435 * * * [progress]: generating series expansions
2.435 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.435 * [backup-simplify]: Simplify (* x (+ x (* x x))) into (* x (+ x (pow x 2)))
2.435 * [approximate]: Taking taylor expansion of (* x (+ x (pow x 2))) in (x) around 0
2.435 * [taylor]: Taking taylor expansion of (* x (+ x (pow x 2))) in x
2.435 * [taylor]: Taking taylor expansion of x in x
2.435 * [backup-simplify]: Simplify 0 into 0
2.435 * [backup-simplify]: Simplify 1 into 1
2.435 * [taylor]: Taking taylor expansion of (+ x (pow x 2)) in x
2.435 * [taylor]: Taking taylor expansion of x in x
2.435 * [backup-simplify]: Simplify 0 into 0
2.435 * [backup-simplify]: Simplify 1 into 1
2.436 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.436 * [taylor]: Taking taylor expansion of x in x
2.436 * [backup-simplify]: Simplify 0 into 0
2.436 * [backup-simplify]: Simplify 1 into 1
2.436 * [taylor]: Taking taylor expansion of (* x (+ x (pow x 2))) in x
2.436 * [taylor]: Taking taylor expansion of x in x
2.436 * [backup-simplify]: Simplify 0 into 0
2.436 * [backup-simplify]: Simplify 1 into 1
2.436 * [taylor]: Taking taylor expansion of (+ x (pow x 2)) in x
2.436 * [taylor]: Taking taylor expansion of x in x
2.436 * [backup-simplify]: Simplify 0 into 0
2.436 * [backup-simplify]: Simplify 1 into 1
2.436 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.436 * [taylor]: Taking taylor expansion of x in x
2.436 * [backup-simplify]: Simplify 0 into 0
2.436 * [backup-simplify]: Simplify 1 into 1
2.436 * [backup-simplify]: Simplify (+ 0 0) into 0
2.437 * [backup-simplify]: Simplify (* 0 0) into 0
2.437 * [backup-simplify]: Simplify 0 into 0
2.437 * [backup-simplify]: Simplify (+ 1 0) into 1
2.438 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
2.438 * [backup-simplify]: Simplify 0 into 0
2.438 * [backup-simplify]: Simplify (* 1 1) into 1
2.438 * [backup-simplify]: Simplify (+ 0 1) into 1
2.439 * [backup-simplify]: Simplify (+ (* 0 1) (+ (* 1 1) (* 0 0))) into 1
2.439 * [backup-simplify]: Simplify 1 into 1
2.440 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.440 * [backup-simplify]: Simplify (+ 0 0) into 0
2.441 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (+ (* 0 1) (* 0 0)))) into 1
2.441 * [backup-simplify]: Simplify 1 into 1
2.441 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.442 * [backup-simplify]: Simplify (+ 0 0) into 0
2.443 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (+ (* 0 1) (* 0 0))))) into 0
2.443 * [backup-simplify]: Simplify 0 into 0
2.444 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.444 * [backup-simplify]: Simplify (+ 0 0) into 0
2.445 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 1) (* 0 0)))))) into 0
2.445 * [backup-simplify]: Simplify 0 into 0
2.446 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.446 * [backup-simplify]: Simplify (+ 0 0) into 0
2.447 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 1) (* 0 0))))))) into 0
2.447 * [backup-simplify]: Simplify 0 into 0
2.448 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.449 * [backup-simplify]: Simplify (+ 0 0) into 0
2.450 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 1) (* 0 0)))))))) into 0
2.450 * [backup-simplify]: Simplify 0 into 0
2.451 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.452 * [backup-simplify]: Simplify (+ 0 0) into 0
2.453 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 1) (* 0 0))))))))) into 0
2.453 * [backup-simplify]: Simplify 0 into 0
2.454 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.455 * [backup-simplify]: Simplify (+ 0 0) into 0
2.456 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 1) (* 0 0)))))))))) into 0
2.457 * [backup-simplify]: Simplify 0 into 0
2.457 * [backup-simplify]: Simplify (+ (* 1 (pow x 3)) (* 1 (pow x 2))) into (+ (pow x 3) (pow x 2))
2.457 * [backup-simplify]: Simplify (* (/ 1 x) (+ (/ 1 x) (* (/ 1 x) (/ 1 x)))) into (/ (+ (/ 1 (pow x 2)) (/ 1 x)) x)
2.457 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (pow x 2)) (/ 1 x)) x) in (x) around 0
2.457 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow x 2)) (/ 1 x)) x) in x
2.457 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 x)) in x
2.457 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.457 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.457 * [taylor]: Taking taylor expansion of x in x
2.457 * [backup-simplify]: Simplify 0 into 0
2.457 * [backup-simplify]: Simplify 1 into 1
2.458 * [backup-simplify]: Simplify (* 1 1) into 1
2.458 * [backup-simplify]: Simplify (/ 1 1) into 1
2.458 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.458 * [taylor]: Taking taylor expansion of x in x
2.458 * [backup-simplify]: Simplify 0 into 0
2.458 * [backup-simplify]: Simplify 1 into 1
2.458 * [backup-simplify]: Simplify (/ 1 1) into 1
2.459 * [taylor]: Taking taylor expansion of x in x
2.459 * [backup-simplify]: Simplify 0 into 0
2.459 * [backup-simplify]: Simplify 1 into 1
2.459 * [backup-simplify]: Simplify (+ 1 0) into 1
2.459 * [backup-simplify]: Simplify (/ 1 1) into 1
2.459 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow x 2)) (/ 1 x)) x) in x
2.459 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 x)) in x
2.459 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.459 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.459 * [taylor]: Taking taylor expansion of x in x
2.459 * [backup-simplify]: Simplify 0 into 0
2.459 * [backup-simplify]: Simplify 1 into 1
2.460 * [backup-simplify]: Simplify (* 1 1) into 1
2.460 * [backup-simplify]: Simplify (/ 1 1) into 1
2.460 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.460 * [taylor]: Taking taylor expansion of x in x
2.460 * [backup-simplify]: Simplify 0 into 0
2.460 * [backup-simplify]: Simplify 1 into 1
2.461 * [backup-simplify]: Simplify (/ 1 1) into 1
2.461 * [taylor]: Taking taylor expansion of x in x
2.461 * [backup-simplify]: Simplify 0 into 0
2.461 * [backup-simplify]: Simplify 1 into 1
2.461 * [backup-simplify]: Simplify (+ 1 0) into 1
2.461 * [backup-simplify]: Simplify (/ 1 1) into 1
2.461 * [backup-simplify]: Simplify 1 into 1
2.462 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.463 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.463 * [backup-simplify]: Simplify (+ 0 1) into 1
2.464 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
2.464 * [backup-simplify]: Simplify 1 into 1
2.464 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.465 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.466 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.466 * [backup-simplify]: Simplify (+ 0 0) into 0
2.467 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0
2.467 * [backup-simplify]: Simplify 0 into 0
2.467 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.468 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.469 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.469 * [backup-simplify]: Simplify (+ 0 0) into 0
2.470 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.470 * [backup-simplify]: Simplify 0 into 0
2.471 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.472 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.472 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.473 * [backup-simplify]: Simplify (+ 0 0) into 0
2.473 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.473 * [backup-simplify]: Simplify 0 into 0
2.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.475 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.476 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.476 * [backup-simplify]: Simplify (+ 0 0) into 0
2.477 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.477 * [backup-simplify]: Simplify 0 into 0
2.478 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.479 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.480 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.480 * [backup-simplify]: Simplify (+ 0 0) into 0
2.481 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.481 * [backup-simplify]: Simplify 0 into 0
2.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.484 * [backup-simplify]: Simplify (+ 0 0) into 0
2.484 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.485 * [backup-simplify]: Simplify 0 into 0
2.485 * [backup-simplify]: Simplify (+ (* 1 (pow (/ 1 (/ 1 x)) 2)) (* 1 (pow (/ 1 (/ 1 x)) 3))) into (+ (pow x 3) (pow x 2))
2.485 * [backup-simplify]: Simplify (* (/ 1 (- x)) (+ (/ 1 (- x)) (* (/ 1 (- x)) (/ 1 (- x))))) into (* -1 (/ (- (/ 1 (pow x 2)) (/ 1 x)) x))
2.485 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x 2)) (/ 1 x)) x)) in (x) around 0
2.485 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x 2)) (/ 1 x)) x)) in x
2.485 * [taylor]: Taking taylor expansion of -1 in x
2.485 * [backup-simplify]: Simplify -1 into -1
2.485 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 x)) x) in x
2.485 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 x)) in x
2.485 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.485 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.485 * [taylor]: Taking taylor expansion of x in x
2.485 * [backup-simplify]: Simplify 0 into 0
2.485 * [backup-simplify]: Simplify 1 into 1
2.486 * [backup-simplify]: Simplify (* 1 1) into 1
2.486 * [backup-simplify]: Simplify (/ 1 1) into 1
2.486 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.486 * [taylor]: Taking taylor expansion of x in x
2.486 * [backup-simplify]: Simplify 0 into 0
2.486 * [backup-simplify]: Simplify 1 into 1
2.486 * [backup-simplify]: Simplify (/ 1 1) into 1
2.487 * [taylor]: Taking taylor expansion of x in x
2.487 * [backup-simplify]: Simplify 0 into 0
2.487 * [backup-simplify]: Simplify 1 into 1
2.487 * [backup-simplify]: Simplify (+ 1 0) into 1
2.487 * [backup-simplify]: Simplify (/ 1 1) into 1
2.487 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x 2)) (/ 1 x)) x)) in x
2.487 * [taylor]: Taking taylor expansion of -1 in x
2.487 * [backup-simplify]: Simplify -1 into -1
2.487 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 x)) x) in x
2.487 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 x)) in x
2.487 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.487 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.487 * [taylor]: Taking taylor expansion of x in x
2.487 * [backup-simplify]: Simplify 0 into 0
2.487 * [backup-simplify]: Simplify 1 into 1
2.488 * [backup-simplify]: Simplify (* 1 1) into 1
2.488 * [backup-simplify]: Simplify (/ 1 1) into 1
2.488 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.488 * [taylor]: Taking taylor expansion of x in x
2.488 * [backup-simplify]: Simplify 0 into 0
2.488 * [backup-simplify]: Simplify 1 into 1
2.488 * [backup-simplify]: Simplify (/ 1 1) into 1
2.489 * [taylor]: Taking taylor expansion of x in x
2.489 * [backup-simplify]: Simplify 0 into 0
2.489 * [backup-simplify]: Simplify 1 into 1
2.489 * [backup-simplify]: Simplify (+ 1 0) into 1
2.489 * [backup-simplify]: Simplify (/ 1 1) into 1
2.490 * [backup-simplify]: Simplify (* -1 1) into -1
2.490 * [backup-simplify]: Simplify -1 into -1
2.490 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.491 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.491 * [backup-simplify]: Simplify (- 1) into -1
2.491 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.492 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
2.493 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 1)) into 1
2.493 * [backup-simplify]: Simplify 1 into 1
2.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.494 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.495 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.495 * [backup-simplify]: Simplify (- 0) into 0
2.496 * [backup-simplify]: Simplify (+ 0 0) into 0
2.501 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0
2.502 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 -1) (* 0 1))) into 0
2.502 * [backup-simplify]: Simplify 0 into 0
2.503 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.504 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.505 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.505 * [backup-simplify]: Simplify (- 0) into 0
2.505 * [backup-simplify]: Simplify (+ 0 0) into 0
2.506 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.507 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 -1) (* 0 1)))) into 0
2.507 * [backup-simplify]: Simplify 0 into 0
2.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.509 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.510 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.510 * [backup-simplify]: Simplify (- 0) into 0
2.510 * [backup-simplify]: Simplify (+ 0 0) into 0
2.511 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.513 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (* 0 1))))) into 0
2.513 * [backup-simplify]: Simplify 0 into 0
2.514 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.514 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.515 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.515 * [backup-simplify]: Simplify (- 0) into 0
2.516 * [backup-simplify]: Simplify (+ 0 0) into 0
2.517 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.518 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (* 0 1)))))) into 0
2.518 * [backup-simplify]: Simplify 0 into 0
2.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.520 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.521 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.522 * [backup-simplify]: Simplify (- 0) into 0
2.522 * [backup-simplify]: Simplify (+ 0 0) into 0
2.523 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.524 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (* 0 1))))))) into 0
2.524 * [backup-simplify]: Simplify 0 into 0
2.526 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.528 * [backup-simplify]: Simplify (- 0) into 0
2.528 * [backup-simplify]: Simplify (+ 0 0) into 0
2.529 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.531 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (* 0 1)))))))) into 0
2.531 * [backup-simplify]: Simplify 0 into 0
2.531 * [backup-simplify]: Simplify (+ (* 1 (pow (/ 1 (/ 1 (- x))) 2)) (* -1 (pow (/ 1 (/ 1 (- x))) 3))) into (+ (pow x 3) (pow x 2))
2.531 * * * [progress]: simplifying candidates
2.532 * [simplify]: Simplifying:
  (* x (+ x (* x x)))
  (+ (log x) (log (+ x (* x x))))
  (log (* x (+ x (* x x))))
  (exp (* x (+ x (* x x))))
  (* (* (* x x) x) (* (* (+ x (* x x)) (+ x (* x x))) (+ x (* x x))))
  (* (cbrt (* x (+ x (* x x)))) (cbrt (* x (+ x (* x x)))))
  (cbrt (* x (+ x (* x x))))
  (* (* (* x (+ x (* x x))) (* x (+ x (* x x)))) (* x (+ x (* x x))))
  (sqrt (* x (+ x (* x x))))
  (sqrt (* x (+ x (* x x))))
  (* (sqrt x) (sqrt (+ x (* x x))))
  (* (sqrt x) (sqrt (+ x (* x x))))
  (* x x)
  (* x (* x x))
  (* x x)
  (* (* x x) x)
  (* x (* (cbrt (+ x (* x x))) (cbrt (+ x (* x x)))))
  (* x (sqrt (+ x (* x x))))
  (* x 1)
  (* x x)
  (* x (+ x 1))
  (* (cbrt x) (+ x (* x x)))
  (* (sqrt x) (+ x (* x x)))
  (* x (+ x (* x x)))
  (* x (+ (pow x 3) (pow (* x x) 3)))
  (* x (- (* x x) (* (* x x) (* x x))))
  (+ (pow x 3) (pow x 2))
  (+ (pow x 3) (pow x 2))
  (+ (pow x 3) (pow x 2))
2.532 * * [simplify]: iteration 0: 44 enodes
2.547 * * [simplify]: iteration 1: 164 enodes
2.719 * * [simplify]: iteration 2: 1269 enodes
3.186 * * [simplify]: iteration complete: 5002 enodes
3.187 * * [simplify]: Extracting #0: cost 20 inf + 0
3.188 * * [simplify]: Extracting #1: cost 516 inf + 4
3.192 * * [simplify]: Extracting #2: cost 1228 inf + 1381
3.200 * * [simplify]: Extracting #3: cost 1531 inf + 9864
3.223 * * [simplify]: Extracting #4: cost 408 inf + 21699
3.237 * * [simplify]: Extracting #5: cost 27 inf + 23182
3.251 * * [simplify]: Extracting #6: cost 3 inf + 22980
3.264 * * [simplify]: Extracting #7: cost 0 inf + 22971
3.278 * [simplify]: Simplified to:
  (* x (+ x (* x x)))
  (log (* x (+ x (* x x))))
  (log (* x (+ x (* x x))))
  (exp (* x (+ x (* x x))))
  (* (pow (+ x (* x x)) 3) (pow x 3))
  (* (cbrt (* x (+ x (* x x)))) (cbrt (* x (+ x (* x x)))))
  (cbrt (* x (+ x (* x x))))
  (pow (* x (+ x (* x x))) 3)
  (sqrt (* x (+ x (* x x))))
  (sqrt (* x (+ x (* x x))))
  (* (sqrt x) (sqrt (+ x (* x x))))
  (* (sqrt x) (sqrt (+ x (* x x))))
  (* x x)
  (pow x 3)
  (* x x)
  (pow x 3)
  (* (cbrt (+ x (* x x))) (* (cbrt (+ x (* x x))) x))
  (* x (sqrt (+ x (* x x))))
  x
  (* x x)
  (+ x (* x x))
  (* (cbrt x) (+ x (* x x)))
  (* (+ x (* x x)) (sqrt x))
  (* x (+ x (* x x)))
  (* x (+ (pow x 6) (pow x 3)))
  (* x (* x (- x (pow x 3))))
  (* x (+ (* x x) x))
  (* x (+ (* x x) x))
  (* x (+ (* x x) x))
3.278 * * * [progress]: adding candidates to table
3.355 * [progress]: [Phase 3 of 3] Extracting.
3.355 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* x (+ x (* x x))))> #<alt (λ (x) (+ (* 1 (pow x 3)) (* x x)))>)
3.355 * * * [regime-changes]: Trying 1 branch expressions: (x)
3.355 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* x (+ x (* x x))))> #<alt (λ (x) (+ (* 1 (pow x 3)) (* x x)))>)
3.374 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
3.375 * [simplify]: Simplifying:
  (+ (* 1 (pow x 3)) (* x x))
3.375 * * [simplify]: iteration 0: 7 enodes
3.375 * * [simplify]: iteration 1: 11 enodes
3.376 * * [simplify]: iteration 2: 12 enodes
3.376 * * [simplify]: iteration complete: 12 enodes
3.376 * * [simplify]: Extracting #0: cost 1 inf + 0
3.376 * * [simplify]: Extracting #1: cost 3 inf + 0
3.376 * * [simplify]: Extracting #2: cost 6 inf + 0
3.376 * * [simplify]: Extracting #3: cost 0 inf + 16
3.376 * [simplify]: Simplified to:
  (+ (* x x) (pow x 3))
4.323 * [regime-testing]: Baseline error score: 0.014126765845730716
4.333 * [regime-testing]: Oracle error score: 0.004875609451181397
4.349 * [regime-testing]: End program error score: 0.014126765845730716
4.422 * [regime-testing]: Target error score: 0.024826223590538963