1546938724.533 * [misc]progress:  [Phase 1 of 3] Setting up.
1546938724.533 * * * [misc]progress:  [1/2] Preparing points
1546938724.533 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1546938724.564 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546938724.564 * * * * [exit]points:  Sampled 256 points with exact outputs
1546938724.565 * * * [misc]progress:  [2/2] Setting up program.
1546938724.568 * [misc]progress:  [Phase 2 of 3] Improving.
1546938724.568 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (+ (* x (* x x)) (* x x)))>
1546938724.568 * [enter]simplify:  Simplifying (+ (* x (* x x)) (* x x))
1546938724.568 * * [misc]simplify:  iters left: 6 (4 enodes)
1546938724.570 * * [misc]simplify:  iters left: 5 (13 enodes)
1546938724.574 * * [misc]simplify:  iters left: 4 (21 enodes)
1546938724.581 * * [misc]simplify:  iters left: 3 (30 enodes)
1546938724.590 * * [misc]simplify:  iters left: 2 (60 enodes)
1546938724.608 * * [misc]simplify:  iters left: 1 (77 enodes)
1546938724.616 * [exit]simplify:  Simplified to (* (+ x 1) (* x x))
1546938724.616 * [misc]simplify:  Simplified (2) to (λ (x) (* (+ x 1) (* x x)))
1546938724.620 * * [misc]progress:  iteration 1 / 4
1546938724.620 * * * [misc]progress:  picking best candidate
1546938724.623 * * * * [misc]pick:  Picked  #<alt (λ (x) (+ (* x (* x x)) (* x x)))>
1546938724.623 * * * [misc]progress:  localizing error
1546938724.631 * * * [misc]progress:  generating rewritten candidates
1546938724.631 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1)
1546938724.632 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1546938724.635 * * * [misc]progress:  generating series expansions
1546938724.635 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1)
1546938724.635 * [misc]backup-simplify:  Simplify (* x (* x x)) into (pow x 3)
1546938724.635 * [misc]approximate:  Taking taylor expansion of (pow x 3) in (x) around 0
1546938724.635 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1546938724.635 * [misc]taylor:  Taking taylor expansion of x in x
1546938724.635 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.635 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.635 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1546938724.635 * [misc]taylor:  Taking taylor expansion of x in x
1546938724.635 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.635 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.635 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.636 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.636 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.636 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546938724.636 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546938724.636 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.636 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546938724.636 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546938724.636 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.637 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546938724.637 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546938724.637 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.637 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1546938724.637 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1546938724.637 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.637 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1546938724.638 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1546938724.638 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.638 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1546938724.638 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1546938724.638 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.638 * [misc]backup-simplify:  Simplify (* 1 (pow x 3)) into (pow x 3)
1546938724.639 * [misc]backup-simplify:  Simplify (* (/ 1 x) (* (/ 1 x) (/ 1 x))) into (/ 1 (pow x 3))
1546938724.639 * [misc]approximate:  Taking taylor expansion of (/ 1 (pow x 3)) in (x) around 0
1546938724.639 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1546938724.639 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1546938724.639 * [misc]taylor:  Taking taylor expansion of x in x
1546938724.639 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.639 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.639 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.639 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.639 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938724.639 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1546938724.639 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1546938724.639 * [misc]taylor:  Taking taylor expansion of x in x
1546938724.639 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.639 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.639 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.639 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.639 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938724.640 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.640 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546938724.640 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546938724.640 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546938724.640 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.641 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546938724.641 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546938724.641 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.641 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.642 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546938724.642 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546938724.642 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.642 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.643 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1546938724.643 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1546938724.644 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.644 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.644 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1546938724.644 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1546938724.645 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.645 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.645 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1546938724.646 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1546938724.647 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.647 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.647 * [misc]backup-simplify:  Simplify (* 1 (pow (/ 1 (/ 1 x)) 3)) into (pow x 3)
1546938724.647 * [misc]backup-simplify:  Simplify (* (/ 1 (- x)) (* (/ 1 (- x)) (/ 1 (- x)))) into (/ -1 (pow x 3))
1546938724.647 * [misc]approximate:  Taking taylor expansion of (/ -1 (pow x 3)) in (x) around 0
1546938724.647 * [misc]taylor:  Taking taylor expansion of (/ -1 (pow x 3)) in x
1546938724.647 * [misc]taylor:  Taking taylor expansion of -1 in x
1546938724.647 * [misc]backup-simplify:  Simplify -1 into -1
1546938724.647 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1546938724.647 * [misc]taylor:  Taking taylor expansion of x in x
1546938724.647 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.647 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.647 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.648 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.648 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546938724.648 * [misc]taylor:  Taking taylor expansion of (/ -1 (pow x 3)) in x
1546938724.648 * [misc]taylor:  Taking taylor expansion of -1 in x
1546938724.648 * [misc]backup-simplify:  Simplify -1 into -1
1546938724.648 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1546938724.648 * [misc]taylor:  Taking taylor expansion of x in x
1546938724.648 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.648 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.648 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.648 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.649 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546938724.649 * [misc]backup-simplify:  Simplify -1 into -1
1546938724.649 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546938724.649 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546938724.649 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1546938724.649 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.650 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546938724.650 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546938724.650 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.650 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.651 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546938724.651 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546938724.651 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.652 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.652 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1546938724.652 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1546938724.653 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.653 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.653 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1546938724.654 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1546938724.654 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.654 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.655 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1546938724.656 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1546938724.656 * [misc]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
1546938724.656 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.656 * [misc]backup-simplify:  Simplify (* -1 (pow (/ 1 (/ 1 (- x))) 3)) into (pow x 3)
1546938724.656 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1546938724.657 * [misc]backup-simplify:  Simplify (+ (* x (* x x)) (* x x)) into (+ (pow x 3) (pow x 2))
1546938724.657 * [misc]approximate:  Taking taylor expansion of (+ (pow x 3) (pow x 2)) in (x) around 0
1546938724.657 * [misc]taylor:  Taking taylor expansion of (+ (pow x 3) (pow x 2)) in x
1546938724.657 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1546938724.657 * [misc]taylor:  Taking taylor expansion of x in x
1546938724.657 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.657 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.658 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1546938724.658 * [misc]taylor:  Taking taylor expansion of x in x
1546938724.658 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.658 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.658 * [misc]taylor:  Taking taylor expansion of (+ (pow x 3) (pow x 2)) in x
1546938724.658 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1546938724.658 * [misc]taylor:  Taking taylor expansion of x in x
1546938724.658 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.658 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.658 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1546938724.658 * [misc]taylor:  Taking taylor expansion of x in x
1546938724.658 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.658 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.658 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.658 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546938724.658 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.659 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.659 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.659 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546938724.659 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546938724.659 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.659 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546938724.660 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546938724.660 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546938724.660 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938724.660 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.660 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546938724.661 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546938724.661 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546938724.661 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938724.661 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.662 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546938724.666 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546938724.666 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1546938724.666 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938724.666 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.667 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1546938724.667 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1546938724.667 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1546938724.668 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938724.668 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.668 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1546938724.668 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1546938724.669 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1546938724.669 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938724.669 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.669 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1546938724.670 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1546938724.670 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1546938724.670 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938724.670 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.671 * [misc]backup-simplify:  Simplify (+ (* 1 (pow x 3)) (* 1 (pow x 2))) into (+ (pow x 3) (pow x 2))
1546938724.671 * [misc]backup-simplify:  Simplify (+ (* (/ 1 x) (* (/ 1 x) (/ 1 x))) (* (/ 1 x) (/ 1 x))) into (+ (/ 1 (pow x 3)) (/ 1 (pow x 2)))
1546938724.671 * [misc]approximate:  Taking taylor expansion of (+ (/ 1 (pow x 3)) (/ 1 (pow x 2))) in (x) around 0
1546938724.671 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (pow x 3)) (/ 1 (pow x 2))) in x
1546938724.671 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1546938724.671 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1546938724.671 * [misc]taylor:  Taking taylor expansion of x in x
1546938724.671 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.671 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.671 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.671 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.672 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938724.672 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1546938724.672 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1546938724.672 * [misc]taylor:  Taking taylor expansion of x in x
1546938724.672 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.672 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.672 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.672 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938724.672 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (pow x 3)) (/ 1 (pow x 2))) in x
1546938724.672 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1546938724.672 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1546938724.672 * [misc]taylor:  Taking taylor expansion of x in x
1546938724.672 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.672 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.672 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.672 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.673 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938724.673 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1546938724.673 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1546938724.673 * [misc]taylor:  Taking taylor expansion of x in x
1546938724.673 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.673 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.673 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.673 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938724.673 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546938724.673 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.673 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546938724.674 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546938724.674 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546938724.674 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546938724.674 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.674 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546938724.675 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546938724.675 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.675 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546938724.675 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546938724.675 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938724.675 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.676 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546938724.676 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546938724.676 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.677 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546938724.677 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.677 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938724.677 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.677 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1546938724.678 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1546938724.678 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.678 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546938724.679 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.679 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938724.679 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.679 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1546938724.680 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1546938724.680 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.681 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1546938724.681 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.681 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938724.681 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.682 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1546938724.682 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1546938724.683 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.683 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1546938724.683 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.684 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938724.684 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.684 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1546938724.685 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1546938724.685 * [misc]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
1546938724.686 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1546938724.686 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.686 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938724.686 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.687 * [misc]backup-simplify:  Simplify (+ (* 1 (pow (/ 1 (/ 1 x)) 2)) (* 1 (pow (/ 1 (/ 1 x)) 3))) into (+ (pow x 3) (pow x 2))
1546938724.687 * [misc]backup-simplify:  Simplify (+ (* (/ 1 (- x)) (* (/ 1 (- x)) (/ 1 (- x)))) (* (/ 1 (- x)) (/ 1 (- x)))) into (- (/ 1 (pow x 2)) (/ 1 (pow x 3)))
1546938724.687 * [misc]approximate:  Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow x 3))) in (x) around 0
1546938724.687 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow x 3))) in x
1546938724.687 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1546938724.687 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1546938724.687 * [misc]taylor:  Taking taylor expansion of x in x
1546938724.687 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.687 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.688 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.688 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938724.688 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1546938724.688 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1546938724.688 * [misc]taylor:  Taking taylor expansion of x in x
1546938724.688 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.688 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.688 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.688 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.688 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938724.688 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow x 3))) in x
1546938724.688 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1546938724.688 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1546938724.688 * [misc]taylor:  Taking taylor expansion of x in x
1546938724.689 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.689 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.689 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.689 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938724.689 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1546938724.689 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1546938724.689 * [misc]taylor:  Taking taylor expansion of x in x
1546938724.689 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.689 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.689 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.689 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546938724.690 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938724.690 * [misc]backup-simplify:  Simplify (- 1) into -1
1546938724.690 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546938724.690 * [misc]backup-simplify:  Simplify -1 into -1
1546938724.690 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546938724.691 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546938724.691 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546938724.691 * [misc]backup-simplify:  Simplify (- 0) into 0
1546938724.691 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546938724.691 * [misc]backup-simplify:  Simplify 1 into 1
1546938724.691 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546938724.692 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546938724.692 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546938724.692 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546938724.693 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.693 * [misc]backup-simplify:  Simplify (- 0) into 0
1546938724.693 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938724.693 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.693 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546938724.693 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.694 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546938724.694 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546938724.694 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.695 * [misc]backup-simplify:  Simplify (- 0) into 0
1546938724.695 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938724.695 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.695 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1546938724.695 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.696 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1546938724.696 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1546938724.697 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.697 * [misc]backup-simplify:  Simplify (- 0) into 0
1546938724.697 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938724.697 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.697 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1546938724.698 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.698 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1546938724.699 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1546938724.699 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.699 * [misc]backup-simplify:  Simplify (- 0) into 0
1546938724.699 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938724.699 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.700 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1546938724.700 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.701 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1546938724.701 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1546938724.702 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.702 * [misc]backup-simplify:  Simplify (- 0) into 0
1546938724.702 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938724.702 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.703 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1546938724.703 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938724.704 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1546938724.704 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1546938724.705 * [misc]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
1546938724.705 * [misc]backup-simplify:  Simplify (- 0) into 0
1546938724.705 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938724.705 * [misc]backup-simplify:  Simplify 0 into 0
1546938724.706 * [misc]backup-simplify:  Simplify (+ (* 1 (pow (/ 1 (/ 1 (- x))) 2)) (* -1 (pow (/ 1 (/ 1 (- x))) 3))) into (+ (pow x 3) (pow x 2))
1546938724.706 * * * [misc]progress:  simplifying candidates
1546938724.706 * * * * [misc]progress:  [ 1 / 29 ] simplifiying candidate #<alt (λ (x) (+ (pow (* x (* x x)) 1) (* x x)))>
1546938724.706 * * * * [misc]progress:  [ 2 / 29 ] simplifiying candidate #<alt (λ (x) (+ (exp (log (* x (* x x)))) (* x x)))>
1546938724.706 * * * * [misc]progress:  [ 3 / 29 ] simplifiying candidate #<alt (λ (x) (+ (log (exp (* x (* x x)))) (* x x)))>
1546938724.706 * * * * [misc]progress:  [ 4 / 29 ] simplifiying candidate #<alt (λ (x) (+ (pow x 3) (* x x)))>
1546938724.706 * * * * [misc]progress:  [ 5 / 29 ] simplifiying candidate #<alt (λ (x) (+ (* (* (cbrt (* x (* x x))) (cbrt (* x (* x x)))) (cbrt (* x (* x x)))) (* x x)))>
1546938724.706 * * * * [misc]progress:  [ 6 / 29 ] simplifiying candidate #<alt (λ (x) (+ (cbrt (* (* (* x (* x x)) (* x (* x x))) (* x (* x x)))) (* x x)))>
1546938724.706 * * * * [misc]progress:  [ 7 / 29 ] simplifiying candidate #<alt (λ (x) (+ (* (sqrt (* x (* x x))) (sqrt (* x (* x x)))) (* x x)))>
1546938724.706 * * * * [misc]progress:  [ 8 / 29 ] simplifiying candidate #<alt (λ (x) (+ (* 1 (* x (* x x))) (* x x)))>
1546938724.706 * * * * [misc]progress:  [ 9 / 29 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) x) (* x x)))>
1546938724.706 * * * * [misc]progress:  [ 10 / 29 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) x) (* x x)))>
1546938724.706 * * * * [misc]progress:  [ 11 / 29 ] simplifiying candidate #<alt (λ (x) (log (* (exp (* x (* x x))) (exp (* x x)))))>
1546938724.707 * [enter]simplify:  Simplifying (* (exp (* x (* x x))) (exp (* x x)))
1546938724.707 * * [misc]simplify:  iters left: 6 (6 enodes)
1546938724.709 * * [misc]simplify:  iters left: 5 (15 enodes)
1546938724.714 * * [misc]simplify:  iters left: 4 (22 enodes)
1546938724.721 * * [misc]simplify:  iters left: 3 (33 enodes)
1546938724.730 * * [misc]simplify:  iters left: 2 (45 enodes)
1546938724.742 * * [misc]simplify:  iters left: 1 (78 enodes)
1546938724.758 * [exit]simplify:  Simplified to (exp (* (* x x) (+ x 1)))
1546938724.758 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (exp (* (* x x) (+ x 1)))))
1546938724.758 * * * * [misc]progress:  [ 12 / 29 ] simplifiying candidate #<alt (λ (x) (pow (+ (* x (* x x)) (* x x)) 1))>
1546938724.758 * * * * [misc]progress:  [ 13 / 29 ] simplifiying candidate #<alt (λ (x) (exp (log (+ (* x (* x x)) (* x x)))))>
1546938724.758 * * * * [misc]progress:  [ 14 / 29 ] simplifiying candidate #<alt (λ (x) (log (exp (+ (* x (* x x)) (* x x)))))>
1546938724.758 * * * * [misc]progress:  [ 15 / 29 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (+ (* x (* x x)) (* x x))) (cbrt (+ (* x (* x x)) (* x x)))) (cbrt (+ (* x (* x x)) (* x x)))))>
1546938724.758 * * * * [misc]progress:  [ 16 / 29 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (+ (* x (* x x)) (* x x)) (+ (* x (* x x)) (* x x))) (+ (* x (* x x)) (* x x)))))>
1546938724.758 * * * * [misc]progress:  [ 17 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt (+ (* x (* x x)) (* x x))) (sqrt (+ (* x (* x x)) (* x x)))))>
1546938724.758 * * * * [misc]progress:  [ 18 / 29 ] simplifiying candidate #<alt (λ (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))))))>
1546938724.758 * * * * [misc]progress:  [ 19 / 29 ] simplifiying candidate #<alt (λ (x) (* 1 (+ (* x (* x x)) (* x x))))>
1546938724.758 * * * * [misc]progress:  [ 20 / 29 ] simplifiying candidate #<alt (λ (x) (/ (- (* (* x (* x x)) (* x (* x x))) (* (* x x) (* x x))) (- (* x (* x x)) (* x x))))>
1546938724.758 * * * * [misc]progress:  [ 21 / 29 ] simplifiying candidate #<alt (λ (x) (* x (+ (* x x) x)))>
1546938724.759 * [enter]simplify:  Simplifying (+ (* x x) x)
1546938724.759 * * [misc]simplify:  iters left: 4 (3 enodes)
1546938724.759 * * [misc]simplify:  iters left: 3 (7 enodes)
1546938724.760 * * [misc]simplify:  iters left: 2 (11 enodes)
1546938724.762 * * [misc]simplify:  iters left: 1 (17 enodes)
1546938724.765 * [exit]simplify:  Simplified to (+ x (* x x))
1546938724.765 * [misc]simplify:  Simplified (2 2) to (λ (x) (* x (+ x (* x x))))
1546938724.765 * * * * [misc]progress:  [ 22 / 29 ] simplifiying candidate #<alt (λ (x) (* (+ x 1) (* x x)))>
1546938724.765 * [enter]simplify:  Simplifying (+ x 1)
1546938724.765 * * [misc]simplify:  iters left: 2 (3 enodes)
1546938724.765 * * [misc]simplify:  iters left: 1 (6 enodes)
1546938724.766 * [exit]simplify:  Simplified to (+ 1 x)
1546938724.766 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (+ 1 x) (* x x)))
1546938724.766 * * * * [misc]progress:  [ 23 / 29 ] simplifiying candidate #<alt (λ (x) (+ (* x x) (* x (* x x))))>
1546938724.766 * * * * [misc]progress:  [ 24 / 29 ] simplifiying candidate #<alt (λ (x) (+ (pow x 3) (* x x)))>
1546938724.766 * [enter]simplify:  Simplifying (pow x 3)
1546938724.766 * * [misc]simplify:  iters left: 1 (3 enodes)
1546938724.767 * [exit]simplify:  Simplified to (pow x 3)
1546938724.767 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (pow x 3) (* x x)))
1546938724.767 * * * * [misc]progress:  [ 25 / 29 ] simplifiying candidate #<alt (λ (x) (+ (pow x 3) (* x x)))>
1546938724.767 * [enter]simplify:  Simplifying (pow x 3)
1546938724.767 * * [misc]simplify:  iters left: 1 (3 enodes)
1546938724.768 * [exit]simplify:  Simplified to (pow x 3)
1546938724.768 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (pow x 3) (* x x)))
1546938724.768 * * * * [misc]progress:  [ 26 / 29 ] simplifiying candidate #<alt (λ (x) (+ (pow x 3) (* x x)))>
1546938724.768 * [enter]simplify:  Simplifying (pow x 3)
1546938724.768 * * [misc]simplify:  iters left: 1 (3 enodes)
1546938724.768 * [exit]simplify:  Simplified to (pow x 3)
1546938724.768 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (pow x 3) (* x x)))
1546938724.768 * * * * [misc]progress:  [ 27 / 29 ] simplifiying candidate #<alt (λ (x) (+ (pow x 3) (pow x 2)))>
1546938724.769 * [enter]simplify:  Simplifying (+ (pow x 3) (pow x 2))
1546938724.769 * * [misc]simplify:  iters left: 3 (6 enodes)
1546938724.770 * * [misc]simplify:  iters left: 2 (10 enodes)
1546938724.772 * * [misc]simplify:  iters left: 1 (19 enodes)
1546938724.775 * [exit]simplify:  Simplified to (* (* x x) (+ x 1))
1546938724.775 * [misc]simplify:  Simplified (2) to (λ (x) (* (* x x) (+ x 1)))
1546938724.775 * * * * [misc]progress:  [ 28 / 29 ] simplifiying candidate #<alt (λ (x) (+ (pow x 3) (pow x 2)))>
1546938724.775 * [enter]simplify:  Simplifying (+ (pow x 3) (pow x 2))
1546938724.775 * * [misc]simplify:  iters left: 3 (6 enodes)
1546938724.777 * * [misc]simplify:  iters left: 2 (10 enodes)
1546938724.780 * * [misc]simplify:  iters left: 1 (19 enodes)
1546938724.786 * [exit]simplify:  Simplified to (* (* x x) (+ x 1))
1546938724.786 * [misc]simplify:  Simplified (2) to (λ (x) (* (* x x) (+ x 1)))
1546938724.787 * * * * [misc]progress:  [ 29 / 29 ] simplifiying candidate #<alt (λ (x) (+ (pow x 3) (pow x 2)))>
1546938724.787 * [enter]simplify:  Simplifying (+ (pow x 3) (pow x 2))
1546938724.787 * * [misc]simplify:  iters left: 3 (6 enodes)
1546938724.789 * * [misc]simplify:  iters left: 2 (10 enodes)
1546938724.792 * * [misc]simplify:  iters left: 1 (19 enodes)
1546938724.797 * [exit]simplify:  Simplified to (* (* x x) (+ x 1))
1546938724.797 * [misc]simplify:  Simplified (2) to (λ (x) (* (* x x) (+ x 1)))
1546938724.797 * * * [misc]progress:  adding candidates to table
1546938724.979 * * [misc]progress:  iteration 2 / 4
1546938724.979 * * * [misc]progress:  picking best candidate
1546938724.982 * * * * [misc]pick:  Picked  #<alt (λ (x) (* x (+ (* x x) x)))>
1546938724.982 * * * [misc]progress:  localizing error
1546938724.992 * * * [misc]progress:  generating rewritten candidates
1546938724.992 * * * [misc]progress:  generating series expansions
1546938724.992 * * * [misc]progress:  simplifying candidates
1546938724.992 * * * [misc]progress:  adding candidates to table
1546938724.993 * [misc]progress:  [Phase 3 of 3] Extracting.
1546938724.996 * [enter]simplify:  Simplifying (* x (+ (* x x) x))
1546938724.996 * * [misc]simplify:  iters left: 6 (4 enodes)
1546938724.997 * * [misc]simplify:  iters left: 5 (6 enodes)
1546938724.997 * [exit]simplify:  Simplified to (* x (+ (* x x) x))
1546938724.997 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1546938725.740 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546938725.743 * * * * [exit]points:  Sampled 8000 points with exact outputs
1546938725.931 * [misc]regime-testing:  Baseline error score: 0.013625
1546938725.932 * [misc]regime-testing:  Oracle error score: 0.013625
1546938725.933 * [misc]regime-testing:  End program error score: 0.013625
1546938725.985 * [misc]regime-testing:  Target error score: 0.02374060156295072