1545561097.437 * [misc]progress:  [Phase 1 of 3] Setting up.
1545561097.437 * * * [misc]progress:  [1/2] Preparing points
1545561097.437 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545561097.482 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561097.482 * * * * [misc]points:  Sampling 111 additional inputs, on iter 1 have 145 / 256
1545561097.503 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561097.503 * * * * [misc]points:  Sampling 58 additional inputs, on iter 2 have 198 / 256
1545561097.515 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561097.515 * * * * [misc]points:  Sampling 33 additional inputs, on iter 3 have 223 / 256
1545561097.522 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561097.522 * * * * [misc]points:  Sampling 18 additional inputs, on iter 4 have 238 / 256
1545561097.526 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561097.526 * * * * [misc]points:  Sampling 10 additional inputs, on iter 5 have 246 / 256
1545561097.529 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561097.530 * * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 252 / 256
1545561097.531 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561097.531 * * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 253 / 256
1545561097.533 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561097.533 * * * * [misc]points:  Sampling 4 additional inputs, on iter 8 have 255 / 256
1545561097.535 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561097.535 * * * * [exit]points:  Sampled 258 points with exact outputs
1545561097.535 * * * [misc]progress:  [2/2] Setting up program.
1545561097.539 * [misc]progress:  [Phase 2 of 3] Improving.
1545561097.539 * [enter]simplify:  Simplifying (- (* a a) (* b b))
1545561097.539 * * [misc]simplify:  iters left: 4 (5 enodes)
1545561097.541 * * [misc]simplify:  iters left: 3 (11 enodes)
1545561097.545 * * [misc]simplify:  iters left: 2 (18 enodes)
1545561097.551 * * [misc]simplify:  iters left: 1 (35 enodes)
1545561097.565 * [exit]simplify:  Simplified to (- (* a a) (* b b))
1545561097.574 * * [misc]progress:  iteration 1 / 4
1545561097.574 * * * [misc]progress:  picking best candidate
1545561097.578 * * * * [misc]pick:  Picked  #<alt (λ (a b) (- (* a a) (* b b)))>
1545561097.578 * * * [misc]progress:  localizing error
1545561097.625 * * * [misc]progress:  generating rewritten candidates
1545561097.625 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545561097.630 * * * [misc]progress:  generating series expansions
1545561097.630 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545561097.630 * [misc]backup-simplify:  Simplify (- (* a a) (* b b)) into (- (pow a 2) (pow b 2))
1545561097.630 * [misc]approximate:  Taking taylor expansion of (- (pow a 2) (pow b 2)) in (a b) around 0
1545561097.630 * [misc]taylor:  Taking taylor expansion of (- (pow a 2) (pow b 2)) in b
1545561097.631 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545561097.631 * [misc]taylor:  Taking taylor expansion of a in b
1545561097.631 * [misc]backup-simplify:  Simplify a into a
1545561097.631 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545561097.631 * [misc]taylor:  Taking taylor expansion of b in b
1545561097.631 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.631 * [misc]backup-simplify:  Simplify 1 into 1
1545561097.631 * [misc]taylor:  Taking taylor expansion of (- (pow a 2) (pow b 2)) in a
1545561097.631 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545561097.631 * [misc]taylor:  Taking taylor expansion of a in a
1545561097.631 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.631 * [misc]backup-simplify:  Simplify 1 into 1
1545561097.631 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1545561097.631 * [misc]taylor:  Taking taylor expansion of b in a
1545561097.631 * [misc]backup-simplify:  Simplify b into b
1545561097.631 * [misc]taylor:  Taking taylor expansion of (- (pow a 2) (pow b 2)) in a
1545561097.631 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545561097.631 * [misc]taylor:  Taking taylor expansion of a in a
1545561097.631 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.631 * [misc]backup-simplify:  Simplify 1 into 1
1545561097.631 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1545561097.631 * [misc]taylor:  Taking taylor expansion of b in a
1545561097.631 * [misc]backup-simplify:  Simplify b into b
1545561097.631 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1545561097.631 * [misc]backup-simplify:  Simplify (- (pow b 2)) into (- (pow b 2))
1545561097.632 * [misc]backup-simplify:  Simplify (+ 0 (- (pow b 2))) into (- (pow b 2))
1545561097.632 * [misc]taylor:  Taking taylor expansion of (- (pow b 2)) in b
1545561097.632 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545561097.632 * [misc]taylor:  Taking taylor expansion of b in b
1545561097.632 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.632 * [misc]backup-simplify:  Simplify 1 into 1
1545561097.632 * [misc]backup-simplify:  Simplify (+ (* b 0) (* 0 b)) into 0
1545561097.632 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561097.632 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561097.632 * [misc]taylor:  Taking taylor expansion of 0 in b
1545561097.632 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.632 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.633 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545561097.633 * [misc]backup-simplify:  Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
1545561097.633 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561097.633 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545561097.633 * [misc]taylor:  Taking taylor expansion of 1 in b
1545561097.633 * [misc]backup-simplify:  Simplify 1 into 1
1545561097.633 * [misc]backup-simplify:  Simplify 1 into 1
1545561097.633 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.634 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545561097.634 * [misc]backup-simplify:  Simplify (- 1) into -1
1545561097.634 * [misc]backup-simplify:  Simplify -1 into -1
1545561097.634 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545561097.634 * [misc]backup-simplify:  Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
1545561097.634 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561097.635 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561097.635 * [misc]taylor:  Taking taylor expansion of 0 in b
1545561097.635 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.635 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.635 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.635 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.635 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545561097.635 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561097.635 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.636 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545561097.636 * [misc]backup-simplify:  Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0
1545561097.636 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561097.637 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561097.637 * [misc]taylor:  Taking taylor expansion of 0 in b
1545561097.637 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.637 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.637 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.637 * [misc]backup-simplify:  Simplify (+ (* -1 (pow (* b 1) 2)) (* 1 (pow (* 1 a) 2))) into (- (pow a 2) (pow b 2))
1545561097.637 * [misc]backup-simplify:  Simplify (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) into (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))
1545561097.637 * [misc]approximate:  Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in (a b) around 0
1545561097.637 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b
1545561097.637 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in b
1545561097.637 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545561097.637 * [misc]taylor:  Taking taylor expansion of a in b
1545561097.637 * [misc]backup-simplify:  Simplify a into a
1545561097.637 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545561097.638 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1545561097.638 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow b 2)) in b
1545561097.638 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545561097.638 * [misc]taylor:  Taking taylor expansion of b in b
1545561097.638 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.638 * [misc]backup-simplify:  Simplify 1 into 1
1545561097.638 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545561097.638 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545561097.638 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a
1545561097.638 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1545561097.638 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545561097.638 * [misc]taylor:  Taking taylor expansion of a in a
1545561097.638 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.638 * [misc]backup-simplify:  Simplify 1 into 1
1545561097.638 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545561097.639 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545561097.639 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow b 2)) in a
1545561097.639 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1545561097.639 * [misc]taylor:  Taking taylor expansion of b in a
1545561097.639 * [misc]backup-simplify:  Simplify b into b
1545561097.639 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1545561097.639 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1545561097.639 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a
1545561097.639 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1545561097.639 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545561097.639 * [misc]taylor:  Taking taylor expansion of a in a
1545561097.639 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.639 * [misc]backup-simplify:  Simplify 1 into 1
1545561097.639 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545561097.639 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545561097.639 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow b 2)) in a
1545561097.639 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1545561097.639 * [misc]taylor:  Taking taylor expansion of b in a
1545561097.639 * [misc]backup-simplify:  Simplify b into b
1545561097.639 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1545561097.640 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1545561097.640 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545561097.640 * [misc]taylor:  Taking taylor expansion of 1 in b
1545561097.640 * [misc]backup-simplify:  Simplify 1 into 1
1545561097.640 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545561097.640 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545561097.641 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561097.641 * [misc]taylor:  Taking taylor expansion of 0 in b
1545561097.641 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.641 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545561097.641 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545561097.641 * [misc]backup-simplify:  Simplify (- (/ 1 (pow b 2))) into (- (/ 1 (pow b 2)))
1545561097.641 * [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 (pow b 2)))) into (- (/ 1 (pow b 2)))
1545561097.642 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow b 2))) in b
1545561097.642 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow b 2)) in b
1545561097.642 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545561097.642 * [misc]taylor:  Taking taylor expansion of b in b
1545561097.642 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.642 * [misc]backup-simplify:  Simplify 1 into 1
1545561097.642 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545561097.642 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545561097.642 * [misc]backup-simplify:  Simplify (- 1) into -1
1545561097.642 * [misc]backup-simplify:  Simplify -1 into -1
1545561097.642 * [misc]backup-simplify:  Simplify 1 into 1
1545561097.643 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545561097.643 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545561097.643 * [misc]backup-simplify:  Simplify (+ (* b 0) (* 0 b)) into 0
1545561097.643 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0
1545561097.643 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561097.644 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561097.644 * [misc]taylor:  Taking taylor expansion of 0 in b
1545561097.644 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.644 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545561097.644 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545561097.644 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561097.644 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.644 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.644 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.645 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545561097.645 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545561097.645 * [misc]backup-simplify:  Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
1545561097.646 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
1545561097.646 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561097.646 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561097.646 * [misc]taylor:  Taking taylor expansion of 0 in b
1545561097.646 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.646 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545561097.647 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545561097.647 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561097.647 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.647 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.647 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.647 * [misc]backup-simplify:  Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (* -1 (pow (* (/ 1 (/ 1 b)) 1) 2))) into (- (pow a 2) (pow b 2))
1545561097.648 * [misc]backup-simplify:  Simplify (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) into (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))
1545561097.648 * [misc]approximate:  Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in (a b) around 0
1545561097.648 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b
1545561097.648 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in b
1545561097.648 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1545561097.648 * [misc]taylor:  Taking taylor expansion of a in b
1545561097.648 * [misc]backup-simplify:  Simplify a into a
1545561097.648 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1545561097.648 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1545561097.648 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow b 2)) in b
1545561097.648 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545561097.648 * [misc]taylor:  Taking taylor expansion of b in b
1545561097.648 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.648 * [misc]backup-simplify:  Simplify 1 into 1
1545561097.648 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545561097.649 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545561097.649 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a
1545561097.649 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1545561097.649 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545561097.649 * [misc]taylor:  Taking taylor expansion of a in a
1545561097.649 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.649 * [misc]backup-simplify:  Simplify 1 into 1
1545561097.649 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545561097.649 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545561097.649 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow b 2)) in a
1545561097.649 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1545561097.649 * [misc]taylor:  Taking taylor expansion of b in a
1545561097.649 * [misc]backup-simplify:  Simplify b into b
1545561097.649 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1545561097.649 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1545561097.649 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a
1545561097.649 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1545561097.649 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1545561097.649 * [misc]taylor:  Taking taylor expansion of a in a
1545561097.649 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.649 * [misc]backup-simplify:  Simplify 1 into 1
1545561097.650 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545561097.650 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545561097.650 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow b 2)) in a
1545561097.650 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1545561097.650 * [misc]taylor:  Taking taylor expansion of b in a
1545561097.650 * [misc]backup-simplify:  Simplify b into b
1545561097.650 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1545561097.650 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1545561097.650 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545561097.650 * [misc]taylor:  Taking taylor expansion of 1 in b
1545561097.650 * [misc]backup-simplify:  Simplify 1 into 1
1545561097.651 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545561097.651 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545561097.651 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561097.651 * [misc]taylor:  Taking taylor expansion of 0 in b
1545561097.651 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.651 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545561097.652 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545561097.652 * [misc]backup-simplify:  Simplify (- (/ 1 (pow b 2))) into (- (/ 1 (pow b 2)))
1545561097.652 * [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 (pow b 2)))) into (- (/ 1 (pow b 2)))
1545561097.652 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow b 2))) in b
1545561097.652 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow b 2)) in b
1545561097.652 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1545561097.652 * [misc]taylor:  Taking taylor expansion of b in b
1545561097.652 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.652 * [misc]backup-simplify:  Simplify 1 into 1
1545561097.652 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545561097.652 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545561097.653 * [misc]backup-simplify:  Simplify (- 1) into -1
1545561097.653 * [misc]backup-simplify:  Simplify -1 into -1
1545561097.653 * [misc]backup-simplify:  Simplify 1 into 1
1545561097.653 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545561097.653 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545561097.654 * [misc]backup-simplify:  Simplify (+ (* b 0) (* 0 b)) into 0
1545561097.654 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0
1545561097.654 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561097.654 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561097.654 * [misc]taylor:  Taking taylor expansion of 0 in b
1545561097.654 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.654 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545561097.655 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545561097.655 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561097.655 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.655 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.655 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.655 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545561097.656 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545561097.656 * [misc]backup-simplify:  Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
1545561097.656 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
1545561097.656 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561097.657 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561097.657 * [misc]taylor:  Taking taylor expansion of 0 in b
1545561097.657 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.657 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545561097.657 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545561097.657 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561097.657 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.658 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.658 * [misc]backup-simplify:  Simplify 0 into 0
1545561097.658 * [misc]backup-simplify:  Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- b))) 1) 2))) into (- (pow a 2) (pow b 2))
1545561097.658 * * * [misc]progress:  simplifying candidates
1545561097.658 * * * * [misc]progress:  [ 1 / 20 ] simplifiying candidate #<alt (λ (a b) (+ (fma a a (- (* b b))) (fma (- b) b (* b b))))>
1545561097.658 * [enter]simplify:  Simplifying (fma a a (- (* b b)))
1545561097.658 * * [misc]simplify:  iters left: 5 (5 enodes)
1545561097.660 * * [misc]simplify:  iters left: 4 (10 enodes)
1545561097.663 * * [misc]simplify:  iters left: 3 (12 enodes)
1545561097.667 * * [misc]simplify:  iters left: 2 (17 enodes)
1545561097.672 * * [misc]simplify:  iters left: 1 (20 enodes)
1545561097.678 * [exit]simplify:  Simplified to (* (- a b) (+ b a))
1545561097.678 * [misc]simplify:  Simplified (2 1) to (λ (a b) (+ (* (- a b) (+ b a)) (fma (- b) b (* b b))))
1545561097.678 * [enter]simplify:  Simplifying (fma (- b) b (* b b))
1545561097.678 * * [misc]simplify:  iters left: 3 (4 enodes)
1545561097.679 * * [misc]simplify:  iters left: 2 (6 enodes)
1545561097.681 * * [misc]simplify:  iters left: 1 (11 enodes)
1545561097.685 * [exit]simplify:  Simplified to (- (* b b) (* b b))
1545561097.685 * [misc]simplify:  Simplified (2 2) to (λ (a b) (+ (fma a a (- (* b b))) (- (* b b) (* b b))))
1545561097.686 * * * * [misc]progress:  [ 2 / 20 ] simplifiying candidate #<alt (λ (a b) (log1p (expm1 (- (* a a) (* b b)))))>
1545561097.686 * * * * [misc]progress:  [ 3 / 20 ] simplifiying candidate #<alt (λ (a b) (expm1 (log1p (- (* a a) (* b b)))))>
1545561097.686 * * * * [misc]progress:  [ 4 / 20 ] simplifiying candidate #<alt (λ (a b) (fma a a (- (* b b))))>
1545561097.686 * * * * [misc]progress:  [ 5 / 20 ] simplifiying candidate #<alt (λ (a b) (log (/ (exp (* a a)) (exp (* b b)))))>
1545561097.686 * [enter]simplify:  Simplifying (/ (exp (* a a)) (exp (* b b)))
1545561097.686 * * [misc]simplify:  iters left: 5 (7 enodes)
1545561097.689 * * [misc]simplify:  iters left: 4 (13 enodes)
1545561097.693 * * [misc]simplify:  iters left: 3 (19 enodes)
1545561097.698 * * [misc]simplify:  iters left: 2 (30 enodes)
1545561097.708 * * [misc]simplify:  iters left: 1 (57 enodes)
1545561097.722 * [exit]simplify:  Simplified to (exp (- (* a a) (* b b)))
1545561097.722 * [misc]simplify:  Simplified (2 1) to (λ (a b) (log (exp (- (* a a) (* b b)))))
1545561097.722 * * * * [misc]progress:  [ 6 / 20 ] simplifiying candidate #<alt (λ (a b) (pow (- (* a a) (* b b)) 1))>
1545561097.722 * * * * [misc]progress:  [ 7 / 20 ] simplifiying candidate #<alt (λ (a b) (exp (log (- (* a a) (* b b)))))>
1545561097.722 * * * * [misc]progress:  [ 8 / 20 ] simplifiying candidate #<alt (λ (a b) (log (exp (- (* a a) (* b b)))))>
1545561097.722 * * * * [misc]progress:  [ 9 / 20 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (- (* a a) (* b b))) (cbrt (- (* a a) (* b b)))) (cbrt (- (* a a) (* b b)))))>
1545561097.722 * * * * [misc]progress:  [ 10 / 20 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (- (* a a) (* b b)))))>
1545561097.722 * * * * [misc]progress:  [ 11 / 20 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (- (* a a) (* b b))) (sqrt (- (* a a) (* b b)))))>
1545561097.722 * * * * [misc]progress:  [ 12 / 20 ] simplifiying candidate #<alt (λ (a b) (/ (- (pow (* a a) 3) (pow (* b b) 3)) (+ (* (* a a) (* a a)) (+ (* (* b b) (* b b)) (* (* a a) (* b b))))))>
1545561097.722 * * * * [misc]progress:  [ 13 / 20 ] simplifiying candidate #<alt (λ (a b) (+ (* a a) (- (* b b))))>
1545561097.722 * * * * [misc]progress:  [ 14 / 20 ] simplifiying candidate #<alt (λ (a b) (* 1 (- (* a a) (* b b))))>
1545561097.723 * * * * [misc]progress:  [ 15 / 20 ] simplifiying candidate #<alt (λ (a b) (/ (- (* (* a a) (* a a)) (* (* b b) (* b b))) (+ (* a a) (* b b))))>
1545561097.723 * * * * [misc]progress:  [ 16 / 20 ] simplifiying candidate #<alt (λ (a b) (* (+ a b) (- a b)))>
1545561097.723 * [enter]simplify:  Simplifying (+ a b)
1545561097.723 * * [misc]simplify:  iters left: 2 (3 enodes)
1545561097.723 * * [misc]simplify:  iters left: 1 (4 enodes)
1545561097.724 * [exit]simplify:  Simplified to (+ b a)
1545561097.724 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (+ b a) (- a b)))
1545561097.724 * [enter]simplify:  Simplifying (- a b)
1545561097.724 * * [misc]simplify:  iters left: 2 (3 enodes)
1545561097.725 * * [misc]simplify:  iters left: 1 (5 enodes)
1545561097.725 * [exit]simplify:  Simplified to (- a b)
1545561097.725 * [misc]simplify:  Simplified (2 2) to (λ (a b) (* (+ a b) (- a b)))
1545561097.725 * * * * [misc]progress:  [ 17 / 20 ] simplifiying candidate #<alt (λ (a b) (+ (* a a) (- (* b b))))>
1545561097.725 * * * * [misc]progress:  [ 18 / 20 ] simplifiying candidate #<alt (λ (a b) (- (pow a 2) (pow b 2)))>
1545561097.725 * [enter]simplify:  Simplifying (- (pow a 2) (pow b 2))
1545561097.726 * * [misc]simplify:  iters left: 3 (6 enodes)
1545561097.726 * * [misc]simplify:  iters left: 2 (10 enodes)
1545561097.728 * * [misc]simplify:  iters left: 1 (18 enodes)
1545561097.731 * [exit]simplify:  Simplified to (- (* a a) (* b b))
1545561097.731 * [misc]simplify:  Simplified (2) to (λ (a b) (- (* a a) (* b b)))
1545561097.731 * * * * [misc]progress:  [ 19 / 20 ] simplifiying candidate #<alt (λ (a b) (- (pow a 2) (pow b 2)))>
1545561097.731 * [enter]simplify:  Simplifying (- (pow a 2) (pow b 2))
1545561097.731 * * [misc]simplify:  iters left: 3 (6 enodes)
1545561097.732 * * [misc]simplify:  iters left: 2 (10 enodes)
1545561097.733 * * [misc]simplify:  iters left: 1 (18 enodes)
1545561097.736 * [exit]simplify:  Simplified to (- (* a a) (* b b))
1545561097.736 * [misc]simplify:  Simplified (2) to (λ (a b) (- (* a a) (* b b)))
1545561097.736 * * * * [misc]progress:  [ 20 / 20 ] simplifiying candidate #<alt (λ (a b) (- (pow a 2) (pow b 2)))>
1545561097.736 * [enter]simplify:  Simplifying (- (pow a 2) (pow b 2))
1545561097.736 * * [misc]simplify:  iters left: 3 (6 enodes)
1545561097.737 * * [misc]simplify:  iters left: 2 (10 enodes)
1545561097.739 * * [misc]simplify:  iters left: 1 (18 enodes)
1545561097.746 * [exit]simplify:  Simplified to (- (* a a) (* b b))
1545561097.746 * [misc]simplify:  Simplified (2) to (λ (a b) (- (* a a) (* b b)))
1545561097.746 * * * [misc]progress:  adding candidates to table
1545561097.899 * * [misc]progress:  iteration 2 / 4
1545561097.899 * * * [misc]progress:  picking best candidate
1545561097.903 * * * * [misc]pick:  Picked  #<alt (λ (a b) (* (+ a b) (- a b)))>
1545561097.903 * * * [misc]progress:  localizing error
1545561097.920 * * * [misc]progress:  generating rewritten candidates
1545561097.920 * * * [misc]progress:  generating series expansions
1545561097.920 * * * [misc]progress:  simplifying candidates
1545561097.920 * * * [misc]progress:  adding candidates to table
1545561097.921 * [misc]progress:  [Phase 3 of 3] Extracting.
1545561097.925 * [enter]simplify:  Simplifying (* (+ a b) (- a b))
1545561097.925 * * [misc]simplify:  iters left: 4 (5 enodes)
1545561097.926 * * [misc]simplify:  iters left: 3 (7 enodes)
1545561097.926 * [exit]simplify:  Simplified to (* (+ b a) (- a b))
1545561097.927 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545561099.391 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561099.392 * * * * [misc]points:  Sampling 3561 additional inputs, on iter 1 have 4439 / 8000
1545561100.331 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561100.333 * * * * [misc]points:  Sampling 1519 additional inputs, on iter 2 have 6481 / 8000
1545561100.555 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561100.556 * * * * [misc]points:  Sampling 654 additional inputs, on iter 3 have 7346 / 8000
1545561100.689 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561100.690 * * * * [misc]points:  Sampling 292 additional inputs, on iter 4 have 7708 / 8000
1545561100.723 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561100.723 * * * * [misc]points:  Sampling 134 additional inputs, on iter 5 have 7866 / 8000
1545561100.736 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561100.736 * * * * [misc]points:  Sampling 61 additional inputs, on iter 6 have 7939 / 8000
1545561100.742 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561100.742 * * * * [misc]points:  Sampling 22 additional inputs, on iter 7 have 7978 / 8000
1545561100.746 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561100.746 * * * * [misc]points:  Sampling 7 additional inputs, on iter 8 have 7993 / 8000
1545561100.748 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561100.748 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 7997 / 8000
1545561100.750 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561100.750 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 7998 / 8000
1545561100.752 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561100.752 * * * * [exit]points:  Sampled 8001 points with exact outputs
1545561101.002 * [misc]regime-testing:  Baseline error score: 0.00075
1545561101.003 * [misc]regime-testing:  Oracle error score: 0.00075
1545561101.003 * [misc]regime-testing:  End program error score: 0.00075
1545561101.058 * [misc]regime-testing:  Target error score: 0.00075