1550619751.555 * [misc]progress:  [Phase 1 of 3] Setting up.
1550619751.555 * * * [misc]progress:  [1/2] Preparing points
1550619751.555 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550619751.557 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550619751.559 * * * * [misc]points:  Setting MPFR precision to 64
1550619751.560 * * * * [misc]points:  Setting MPFR precision to 320
1550619751.562 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550619751.562 * * * * [misc]points:  Setting MPFR precision to 64
1550619751.564 * * * * [misc]points:  Setting MPFR precision to 320
1550619751.568 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550619751.569 * * * * [misc]points:  Setting MPFR precision to 64
1550619751.575 * * * * [misc]points:  Setting MPFR precision to 320
1550619751.582 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550619751.584 * * * * [misc]points:  Setting MPFR precision to 64
1550619751.593 * * * * [misc]points:  Setting MPFR precision to 320
1550619751.605 * * * * [misc]points:  Computing exacts for 256 points
1550619751.607 * * * * [misc]points:  Setting MPFR precision to 64
1550619751.646 * * * * [misc]points:  Setting MPFR precision to 320
1550619751.672 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619751.696 * * * * [exit]points:  Sampled 256 points with exact outputs
1550619751.696 * * * [misc]progress:  [2/2] Setting up program.
1550619751.714 * [misc]progress:  [Phase 2 of 3] Improving.
1550619751.714 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619751.715 * [enter]simplify:  Simplifying (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1550619751.715 * * [misc]simplify:  iters left: 3 (11 enodes)
1550619751.717 * * [misc]simplify:  iters left: 2 (29 enodes)
1550619751.722 * * [misc]simplify:  iters left: 1 (57 enodes)
1550619751.732 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619751.732 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550619751.732 * * [misc]simplify:  Extracting #2: cost 31 inf + 0
1550619751.732 * * [misc]simplify:  Extracting #3: cost 44 inf + 0
1550619751.733 * * [misc]simplify:  Extracting #4: cost 58 inf + 647
1550619751.733 * * [misc]simplify:  Extracting #5: cost 32 inf + 21623
1550619751.735 * * [misc]simplify:  Extracting #6: cost 1 inf + 63920
1550619751.736 * * [misc]simplify:  Extracting #7: cost 0 inf + 65284
1550619751.738 * [exit]simplify:  Simplified to (/.p16 (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1550619751.738 * [misc]simplify:  Simplified (2) to (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1550619751.766 * * [misc]progress:  iteration 1 / 4
1550619751.766 * * * [misc]progress:  picking best candidate
1550619751.781 * * * * [misc]pick:  Picked  #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619751.781 * * * [misc]progress:  localizing error
1550619752.077 * * * [misc]progress:  generating rewritten candidates
1550619752.077 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
1550619752.079 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1550619752.080 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 2)
1550619752.082 * * * [misc]progress:  generating series expansions
1550619752.082 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
1550619752.082 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1550619752.082 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 2)
1550619752.082 * * * [misc]progress:  simplifying candidates
1550619752.082 * * * * [misc]progress:  [ 1 / 7 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))>
1550619752.082 * [enter]simplify:  Simplifying (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))
1550619752.083 * * [misc]simplify:  iters left: 3 (9 enodes)
1550619752.084 * * [misc]simplify:  iters left: 2 (37 enodes)
1550619752.098 * * [misc]simplify:  iters left: 1 (90 enodes)
1550619752.119 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619752.119 * * [misc]simplify:  Extracting #1: cost 21 inf + 0
1550619752.119 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1550619752.119 * * [misc]simplify:  Extracting #3: cost 88 inf + 2654
1550619752.120 * * [misc]simplify:  Extracting #4: cost 69 inf + 28908
1550619752.124 * * [misc]simplify:  Extracting #5: cost 2 inf + 127256
1550619752.129 * * [misc]simplify:  Extracting #6: cost 0 inf + 129622
1550619752.133 * [exit]simplify:  Simplified to (*.p16 (-.p16 (*.p16 y.re x.im) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re x.im) (*.p16 x.re y.im)))
1550619752.133 * [misc]simplify:  Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (-.p16 (*.p16 y.re x.im) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re x.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))
1550619752.133 * * * * [misc]progress:  [ 2 / 7 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (neg.p16 (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619752.133 * * * * [misc]progress:  [ 3 / 7 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619752.133 * * * * [misc]progress:  [ 4 / 7 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.im y.im) (*.p16 y.re y.re))))>
1550619752.133 * * * * [misc]progress:  [ 5 / 7 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619752.134 * [enter]simplify:  Simplifying (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1550619752.134 * * [misc]simplify:  iters left: 3 (11 enodes)
1550619752.136 * * [misc]simplify:  iters left: 2 (29 enodes)
1550619752.140 * * [misc]simplify:  iters left: 1 (57 enodes)
1550619752.150 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619752.150 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550619752.150 * * [misc]simplify:  Extracting #2: cost 31 inf + 0
1550619752.150 * * [misc]simplify:  Extracting #3: cost 44 inf + 0
1550619752.151 * * [misc]simplify:  Extracting #4: cost 58 inf + 647
1550619752.151 * * [misc]simplify:  Extracting #5: cost 32 inf + 21623
1550619752.153 * * [misc]simplify:  Extracting #6: cost 1 inf + 63920
1550619752.154 * * [misc]simplify:  Extracting #7: cost 0 inf + 65284
1550619752.156 * [exit]simplify:  Simplified to (/.p16 (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1550619752.156 * [misc]simplify:  Simplified (2) to (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1550619752.156 * * * * [misc]progress:  [ 6 / 7 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619752.157 * [enter]simplify:  Simplifying (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1550619752.157 * * [misc]simplify:  iters left: 3 (11 enodes)
1550619752.159 * * [misc]simplify:  iters left: 2 (29 enodes)
1550619752.165 * * [misc]simplify:  iters left: 1 (57 enodes)
1550619752.180 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619752.180 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550619752.180 * * [misc]simplify:  Extracting #2: cost 31 inf + 0
1550619752.180 * * [misc]simplify:  Extracting #3: cost 44 inf + 0
1550619752.180 * * [misc]simplify:  Extracting #4: cost 58 inf + 647
1550619752.180 * * [misc]simplify:  Extracting #5: cost 32 inf + 21623
1550619752.182 * * [misc]simplify:  Extracting #6: cost 1 inf + 63920
1550619752.186 * * [misc]simplify:  Extracting #7: cost 0 inf + 65284
1550619752.189 * [exit]simplify:  Simplified to (/.p16 (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1550619752.189 * [misc]simplify:  Simplified (2) to (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1550619752.189 * * * * [misc]progress:  [ 7 / 7 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619752.189 * [enter]simplify:  Simplifying (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1550619752.189 * * [misc]simplify:  iters left: 3 (11 enodes)
1550619752.193 * * [misc]simplify:  iters left: 2 (29 enodes)
1550619752.201 * * [misc]simplify:  iters left: 1 (57 enodes)
1550619752.221 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619752.221 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550619752.221 * * [misc]simplify:  Extracting #2: cost 31 inf + 0
1550619752.221 * * [misc]simplify:  Extracting #3: cost 44 inf + 0
1550619752.221 * * [misc]simplify:  Extracting #4: cost 58 inf + 647
1550619752.223 * * [misc]simplify:  Extracting #5: cost 32 inf + 21623
1550619752.226 * * [misc]simplify:  Extracting #6: cost 1 inf + 63920
1550619752.229 * * [misc]simplify:  Extracting #7: cost 0 inf + 65284
1550619752.232 * [exit]simplify:  Simplified to (/.p16 (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1550619752.232 * [misc]simplify:  Simplified (2) to (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1550619752.233 * * * [misc]progress:  adding candidates to table
1550619752.491 * * [misc]progress:  iteration 2 / 4
1550619752.491 * * * [misc]progress:  picking best candidate
1550619752.528 * * * * [misc]pick:  Picked  #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619752.529 * * * [misc]progress:  localizing error
1550619752.743 * * * [misc]progress:  generating rewritten candidates
1550619752.743 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1)
1550619752.749 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2)
1550619752.755 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1)
1550619752.760 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2)
1550619752.762 * * * [misc]progress:  generating series expansions
1550619752.762 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1)
1550619752.763 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2)
1550619752.763 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1)
1550619752.763 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2)
1550619752.763 * * * [misc]progress:  simplifying candidates
1550619752.763 * * * * [misc]progress:  [ 1 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619752.763 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550619752.763 * * [misc]simplify:  iters left: 2 (7 enodes)
1550619752.764 * * [misc]simplify:  iters left: 1 (18 enodes)
1550619752.766 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619752.766 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619752.766 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550619752.767 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550619752.767 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550619752.767 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550619752.767 * [misc]simplify:  Simplified (2 1 1) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1550619752.767 * * * * [misc]progress:  [ 2 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619752.767 * [enter]simplify:  Simplifying (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))
1550619752.767 * * [misc]simplify:  iters left: 4 (11 enodes)
1550619752.776 * * [misc]simplify:  iters left: 3 (47 enodes)
1550619752.785 * * [misc]simplify:  iters left: 2 (143 enodes)
1550619752.826 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619752.826 * * [misc]simplify:  Extracting #1: cost 25 inf + 0
1550619752.827 * * [misc]simplify:  Extracting #2: cost 73 inf + 0
1550619752.827 * * [misc]simplify:  Extracting #3: cost 142 inf + 2332
1550619752.831 * * [misc]simplify:  Extracting #4: cost 134 inf + 55820
1550619752.841 * * [misc]simplify:  Extracting #5: cost 28 inf + 228590
1550619752.862 * * [misc]simplify:  Extracting #6: cost 1 inf + 283752
1550619752.881 * * [misc]simplify:  Extracting #7: cost 0 inf + 287356
1550619752.891 * [exit]simplify:  Simplified to (*.p16 (+.p16 (*.p16 (*.p16 y.re x.im) (*.p16 y.re x.im)) (*.p16 (*.p16 y.im x.re) (*.p16 y.im x.re))) (-.p16 (*.p16 (*.p16 y.re x.im) (*.p16 y.re x.im)) (*.p16 (*.p16 y.im x.re) (*.p16 y.im x.re))))
1550619752.892 * [misc]simplify:  Simplified (2 1 1) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 (*.p16 y.re x.im) (*.p16 y.re x.im)) (*.p16 (*.p16 y.im x.re) (*.p16 y.im x.re))) (-.p16 (*.p16 (*.p16 y.re x.im) (*.p16 y.re x.im)) (*.p16 (*.p16 y.im x.re) (*.p16 y.im x.re)))) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1550619752.892 * * * * [misc]progress:  [ 3 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))>
1550619752.892 * [enter]simplify:  Simplifying (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))
1550619752.892 * * [misc]simplify:  iters left: 3 (9 enodes)
1550619752.894 * * [misc]simplify:  iters left: 2 (37 enodes)
1550619752.900 * * [misc]simplify:  iters left: 1 (90 enodes)
1550619752.918 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619752.918 * * [misc]simplify:  Extracting #1: cost 21 inf + 0
1550619752.919 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1550619752.919 * * [misc]simplify:  Extracting #3: cost 88 inf + 2654
1550619752.920 * * [misc]simplify:  Extracting #4: cost 69 inf + 28908
1550619752.924 * * [misc]simplify:  Extracting #5: cost 2 inf + 127256
1550619752.928 * * [misc]simplify:  Extracting #6: cost 0 inf + 129622
1550619752.932 * [exit]simplify:  Simplified to (*.p16 (-.p16 (*.p16 y.re x.im) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re x.im) (*.p16 x.re y.im)))
1550619752.933 * [misc]simplify:  Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (-.p16 (*.p16 y.re x.im) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re x.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))
1550619752.933 * * * * [misc]progress:  [ 4 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619752.933 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550619752.933 * * [misc]simplify:  iters left: 2 (7 enodes)
1550619752.934 * * [misc]simplify:  iters left: 1 (18 enodes)
1550619752.936 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619752.936 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619752.936 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550619752.936 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550619752.936 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550619752.936 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550619752.936 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1550619752.937 * [enter]simplify:  Simplifying (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550619752.937 * * [misc]simplify:  iters left: 2 (7 enodes)
1550619752.938 * * [misc]simplify:  iters left: 1 (24 enodes)
1550619752.941 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619752.941 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619752.942 * * [misc]simplify:  Extracting #2: cost 15 inf + 0
1550619752.942 * * [misc]simplify:  Extracting #3: cost 19 inf + 728
1550619752.942 * * [misc]simplify:  Extracting #4: cost 3 inf + 11524
1550619752.942 * * [misc]simplify:  Extracting #5: cost 0 inf + 15936
1550619752.943 * [exit]simplify:  Simplified to (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))
1550619752.943 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1550619752.943 * * * * [misc]progress:  [ 5 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (neg.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619752.943 * * * * [misc]progress:  [ 6 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619752.943 * * * * [misc]progress:  [ 7 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.re y.im) (*.p16 x.im y.re))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619752.943 * * * * [misc]progress:  [ 8 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619752.943 * * * * [misc]progress:  [ 9 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619752.943 * * * * [misc]progress:  [ 10 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619752.943 * * * * [misc]progress:  [ 11 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619752.943 * * * [misc]progress:  adding candidates to table
1550619753.277 * * [misc]progress:  iteration 3 / 4
1550619753.277 * * * [misc]progress:  picking best candidate
1550619753.412 * * * * [misc]pick:  Picked  #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619753.412 * * * [misc]progress:  localizing error
1550619753.557 * * * [misc]progress:  generating rewritten candidates
1550619753.557 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550619753.561 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2)
1550619753.564 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 2)
1550619753.566 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1)
1550619753.570 * * * [misc]progress:  generating series expansions
1550619753.570 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550619753.570 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2)
1550619753.570 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 2)
1550619753.570 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1)
1550619753.571 * * * [misc]progress:  simplifying candidates
1550619753.571 * * * * [misc]progress:  [ 1 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))>
1550619753.571 * [enter]simplify:  Simplifying (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))
1550619753.571 * * [misc]simplify:  iters left: 3 (8 enodes)
1550619753.574 * * [misc]simplify:  iters left: 2 (21 enodes)
1550619753.579 * * [misc]simplify:  iters left: 1 (22 enodes)
1550619753.584 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619753.584 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619753.584 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1550619753.584 * * [misc]simplify:  Extracting #3: cost 7 inf + 2
1550619753.585 * * [misc]simplify:  Extracting #4: cost 2 inf + 328
1550619753.585 * * [misc]simplify:  Extracting #5: cost 0 inf + 1334
1550619753.585 * [exit]simplify:  Simplified to (real->posit16 1.0)
1550619753.585 * [misc]simplify:  Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))
1550619753.585 * * * * [misc]progress:  [ 2 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))>
1550619753.585 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550619753.585 * * [misc]simplify:  iters left: 2 (7 enodes)
1550619753.588 * * [misc]simplify:  iters left: 1 (18 enodes)
1550619753.591 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619753.591 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619753.591 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550619753.592 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550619753.592 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550619753.592 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550619753.592 * [misc]simplify:  Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))
1550619753.592 * * * * [misc]progress:  [ 3 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619753.592 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550619753.592 * * [misc]simplify:  iters left: 2 (7 enodes)
1550619753.594 * * [misc]simplify:  iters left: 1 (18 enodes)
1550619753.598 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619753.598 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619753.598 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550619753.598 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550619753.598 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550619753.599 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550619753.599 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1550619753.599 * * * * [misc]progress:  [ 4 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 x.im y.re) (neg.p16 (*.p16 x.re y.im))))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619753.599 * * * * [misc]progress:  [ 5 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619753.599 * * * * [misc]progress:  [ 6 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619753.599 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550619753.599 * * [misc]simplify:  iters left: 2 (7 enodes)
1550619753.601 * * [misc]simplify:  iters left: 1 (18 enodes)
1550619753.605 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619753.605 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619753.605 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550619753.605 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550619753.606 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550619753.606 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550619753.606 * [misc]simplify:  Simplified (2 1 2) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1550619753.606 * * * * [misc]progress:  [ 7 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619753.606 * [enter]simplify:  Simplifying (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550619753.606 * * [misc]simplify:  iters left: 2 (7 enodes)
1550619753.609 * * [misc]simplify:  iters left: 1 (24 enodes)
1550619753.615 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619753.615 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619753.615 * * [misc]simplify:  Extracting #2: cost 15 inf + 0
1550619753.616 * * [misc]simplify:  Extracting #3: cost 19 inf + 728
1550619753.616 * * [misc]simplify:  Extracting #4: cost 3 inf + 11524
1550619753.617 * * [misc]simplify:  Extracting #5: cost 0 inf + 15936
1550619753.617 * [exit]simplify:  Simplified to (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))
1550619753.617 * [misc]simplify:  Simplified (2 1 2) to (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1550619753.617 * * * * [misc]progress:  [ 8 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619753.618 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550619753.618 * * [misc]simplify:  iters left: 2 (7 enodes)
1550619753.620 * * [misc]simplify:  iters left: 1 (18 enodes)
1550619753.624 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619753.624 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619753.624 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550619753.624 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550619753.624 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550619753.624 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550619753.625 * [misc]simplify:  Simplified (2 1 1) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1550619753.625 * * * * [misc]progress:  [ 9 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619753.625 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550619753.625 * * [misc]simplify:  iters left: 2 (7 enodes)
1550619753.627 * * [misc]simplify:  iters left: 1 (18 enodes)
1550619753.631 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619753.632 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619753.632 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550619753.632 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550619753.632 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550619753.632 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550619753.632 * [misc]simplify:  Simplified (2 1 1) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1550619753.632 * * * * [misc]progress:  [ 10 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619753.632 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550619753.632 * * [misc]simplify:  iters left: 2 (7 enodes)
1550619753.635 * * [misc]simplify:  iters left: 1 (18 enodes)
1550619753.639 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619753.639 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619753.639 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550619753.639 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550619753.639 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550619753.639 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550619753.640 * [misc]simplify:  Simplified (2 1 1) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1550619753.640 * * * * [misc]progress:  [ 11 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550619753.640 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550619753.640 * * [misc]simplify:  iters left: 2 (7 enodes)
1550619753.642 * * [misc]simplify:  iters left: 1 (18 enodes)
1550619753.647 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619753.647 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619753.647 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550619753.647 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550619753.647 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550619753.647 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550619753.647 * [misc]simplify:  Simplified (2 1 1) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1550619753.648 * * * [misc]progress:  adding candidates to table
1550619754.088 * * [misc]progress:  iteration 4 / 4
1550619754.088 * * * [misc]progress:  picking best candidate
1550619754.207 * * * * [misc]pick:  Picked  #<alt (λ (x.re x.im y.re y.im) (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))>
1550619754.207 * * * [misc]progress:  localizing error
1550619754.301 * * * [misc]progress:  generating rewritten candidates
1550619754.301 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2)
1550619754.303 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2)
1550619754.305 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 2)
1550619754.306 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1)
1550619754.308 * * * [misc]progress:  generating series expansions
1550619754.308 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2)
1550619754.308 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2)
1550619754.308 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 2)
1550619754.308 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1)
1550619754.308 * * * [misc]progress:  simplifying candidates
1550619754.308 * * * * [misc]progress:  [ 1 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (real->posit16 1.0) (*.p16 (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))>
1550619754.308 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550619754.308 * * [misc]simplify:  iters left: 2 (7 enodes)
1550619754.309 * * [misc]simplify:  iters left: 1 (18 enodes)
1550619754.311 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619754.312 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619754.312 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550619754.312 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550619754.312 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550619754.312 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550619754.312 * [misc]simplify:  Simplified (2 2 2) to (λ (x.re x.im y.re y.im) (/.p16 (real->posit16 1.0) (*.p16 (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)))))
1550619754.312 * * * * [misc]progress:  [ 2 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))>
1550619754.312 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550619754.312 * * [misc]simplify:  iters left: 2 (7 enodes)
1550619754.315 * * [misc]simplify:  iters left: 1 (18 enodes)
1550619754.320 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619754.320 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619754.320 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550619754.320 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550619754.320 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550619754.320 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550619754.320 * [misc]simplify:  Simplified (2 2) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))))
1550619754.320 * * * * [misc]progress:  [ 3 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (real->posit16 1.0) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))>
1550619754.321 * [enter]simplify:  Simplifying (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550619754.321 * * [misc]simplify:  iters left: 2 (7 enodes)
1550619754.324 * * [misc]simplify:  iters left: 1 (24 enodes)
1550619754.330 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619754.330 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619754.330 * * [misc]simplify:  Extracting #2: cost 15 inf + 0
1550619754.330 * * [misc]simplify:  Extracting #3: cost 19 inf + 728
1550619754.330 * * [misc]simplify:  Extracting #4: cost 3 inf + 11524
1550619754.331 * * [misc]simplify:  Extracting #5: cost 0 inf + 15936
1550619754.331 * [exit]simplify:  Simplified to (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))
1550619754.331 * [misc]simplify:  Simplified (2 2) to (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (real->posit16 1.0) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))))
1550619754.331 * * * * [misc]progress:  [ 4 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (neg.p16 (*.p16 x.re y.im))))))>
1550619754.331 * * * * [misc]progress:  [ 5 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))>
1550619754.331 * * * * [misc]progress:  [ 6 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.im y.im) (*.p16 y.re y.re)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))>
1550619754.331 * * * * [misc]progress:  [ 7 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))>
1550619754.331 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))
1550619754.331 * * [misc]simplify:  iters left: 4 (14 enodes)
1550619754.335 * * [misc]simplify:  iters left: 3 (35 enodes)
1550619754.340 * * [misc]simplify:  iters left: 2 (74 enodes)
1550619754.355 * * [misc]simplify:  iters left: 1 (208 enodes)
1550619754.452 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619754.452 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550619754.453 * * [misc]simplify:  Extracting #2: cost 157 inf + 0
1550619754.453 * * [misc]simplify:  Extracting #3: cost 232 inf + 646
1550619754.455 * * [misc]simplify:  Extracting #4: cost 277 inf + 15215
1550619754.462 * * [misc]simplify:  Extracting #5: cost 108 inf + 261189
1550619754.477 * * [misc]simplify:  Extracting #6: cost 10 inf + 467107
1550619754.502 * * [misc]simplify:  Extracting #7: cost 0 inf + 497790
1550619754.532 * [exit]simplify:  Simplified to (/.p16 (-.p16 (*.p16 y.re x.im) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1550619754.532 * [misc]simplify:  Simplified (2) to (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 y.re x.im) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1550619754.532 * * * * [misc]progress:  [ 8 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))>
1550619754.532 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))
1550619754.532 * * [misc]simplify:  iters left: 4 (14 enodes)
1550619754.537 * * [misc]simplify:  iters left: 3 (35 enodes)
1550619754.545 * * [misc]simplify:  iters left: 2 (74 enodes)
1550619754.559 * * [misc]simplify:  iters left: 1 (208 enodes)
1550619754.647 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619754.647 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550619754.648 * * [misc]simplify:  Extracting #2: cost 157 inf + 0
1550619754.649 * * [misc]simplify:  Extracting #3: cost 232 inf + 646
1550619754.651 * * [misc]simplify:  Extracting #4: cost 277 inf + 15215
1550619754.663 * * [misc]simplify:  Extracting #5: cost 108 inf + 261189
1550619754.687 * * [misc]simplify:  Extracting #6: cost 10 inf + 467107
1550619754.719 * * [misc]simplify:  Extracting #7: cost 0 inf + 497790
1550619754.748 * [exit]simplify:  Simplified to (/.p16 (-.p16 (*.p16 y.re x.im) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1550619754.749 * [misc]simplify:  Simplified (2) to (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 y.re x.im) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1550619754.749 * * * * [misc]progress:  [ 9 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))>
1550619754.749 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))
1550619754.749 * * [misc]simplify:  iters left: 4 (14 enodes)
1550619754.754 * * [misc]simplify:  iters left: 3 (35 enodes)
1550619754.764 * * [misc]simplify:  iters left: 2 (74 enodes)
1550619754.788 * * [misc]simplify:  iters left: 1 (208 enodes)
1550619754.909 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619754.909 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550619754.910 * * [misc]simplify:  Extracting #2: cost 157 inf + 0
1550619754.911 * * [misc]simplify:  Extracting #3: cost 232 inf + 646
1550619754.913 * * [misc]simplify:  Extracting #4: cost 277 inf + 15215
1550619754.925 * * [misc]simplify:  Extracting #5: cost 108 inf + 261189
1550619754.950 * * [misc]simplify:  Extracting #6: cost 10 inf + 467107
1550619754.971 * * [misc]simplify:  Extracting #7: cost 0 inf + 497790
1550619754.992 * [exit]simplify:  Simplified to (/.p16 (-.p16 (*.p16 y.re x.im) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1550619754.992 * [misc]simplify:  Simplified (2) to (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 y.re x.im) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1550619754.992 * * * * [misc]progress:  [ 10 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))>
1550619754.992 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))
1550619754.992 * * [misc]simplify:  iters left: 4 (14 enodes)
1550619754.997 * * [misc]simplify:  iters left: 3 (35 enodes)
1550619755.007 * * [misc]simplify:  iters left: 2 (74 enodes)
1550619755.031 * * [misc]simplify:  iters left: 1 (208 enodes)
1550619755.149 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619755.149 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550619755.149 * * [misc]simplify:  Extracting #2: cost 157 inf + 0
1550619755.151 * * [misc]simplify:  Extracting #3: cost 232 inf + 646
1550619755.153 * * [misc]simplify:  Extracting #4: cost 277 inf + 15215
1550619755.164 * * [misc]simplify:  Extracting #5: cost 108 inf + 261189
1550619755.182 * * [misc]simplify:  Extracting #6: cost 10 inf + 467107
1550619755.204 * * [misc]simplify:  Extracting #7: cost 0 inf + 497790
1550619755.222 * [exit]simplify:  Simplified to (/.p16 (-.p16 (*.p16 y.re x.im) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1550619755.222 * [misc]simplify:  Simplified (2) to (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 y.re x.im) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1550619755.223 * * * [misc]progress:  adding candidates to table
1550619755.638 * [misc]progress:  [Phase 3 of 3] Extracting.
1550619755.638 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (real->posit16 1.0) (*.p16 (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (real->posit16 1.0) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>)
1550619755.642 * * * [misc]regime-changes:  Trying 4 branch expressions: (y.im x.re y.re x.im)
1550619755.642 * * * * [misc]regimes:  Trying to branch on y.im from (#<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (real->posit16 1.0) (*.p16 (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (real->posit16 1.0) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>)
1550619755.995 * * * * [misc]regimes:  Trying to branch on x.re from (#<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (real->posit16 1.0) (*.p16 (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (real->posit16 1.0) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>)
1550619756.428 * * * * [misc]regimes:  Trying to branch on y.re from (#<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (real->posit16 1.0) (*.p16 (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (real->posit16 1.0) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>)
1550619756.940 * * * * [misc]regimes:  Trying to branch on x.im from (#<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (real->posit16 1.0) (*.p16 (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (real->posit16 1.0) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>)
1550619757.383 * * * [misc]regime:  Found split indices: #<option (#s(si 7 256))>
1550619757.383 * [enter]simplify:  Simplifying (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1550619757.383 * * [misc]simplify:  iters left: 5 (14 enodes)
1550619757.384 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619757.384 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619757.384 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550619757.384 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1550619757.384 * * [misc]simplify:  Extracting #4: cost 9 inf + 1326
1550619757.384 * * [misc]simplify:  Extracting #5: cost 6 inf + 1650
1550619757.384 * * [misc]simplify:  Extracting #6: cost 3 inf + 3380
1550619757.384 * * [misc]simplify:  Extracting #7: cost 0 inf + 8992
1550619757.385 * [exit]simplify:  Simplified to (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1550619757.385 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550619757.440 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550619757.441 * * * * [misc]points:  Setting MPFR precision to 64
1550619757.442 * * * * [misc]points:  Setting MPFR precision to 320
1550619757.443 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550619757.444 * * * * [misc]points:  Setting MPFR precision to 64
1550619757.446 * * * * [misc]points:  Setting MPFR precision to 320
1550619757.449 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550619757.450 * * * * [misc]points:  Setting MPFR precision to 64
1550619757.455 * * * * [misc]points:  Setting MPFR precision to 320
1550619757.463 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550619757.465 * * * * [misc]points:  Setting MPFR precision to 64
1550619757.490 * * * * [misc]points:  Setting MPFR precision to 320
1550619757.505 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550619757.507 * * * * [misc]points:  Setting MPFR precision to 64
1550619757.529 * * * * [misc]points:  Setting MPFR precision to 320
1550619757.558 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550619757.560 * * * * [misc]points:  Setting MPFR precision to 64
1550619757.607 * * * * [misc]points:  Setting MPFR precision to 320
1550619757.683 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550619757.685 * * * * [misc]points:  Setting MPFR precision to 64
1550619757.774 * * * * [misc]points:  Setting MPFR precision to 320
1550619757.917 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550619757.919 * * * * [misc]points:  Setting MPFR precision to 64
1550619758.124 * * * * [misc]points:  Setting MPFR precision to 320
1550619758.414 * * * * [misc]points:  Computing exacts for 8000 points
1550619758.416 * * * * [misc]points:  Setting MPFR precision to 64
1550619759.464 * * * * [misc]points:  Setting MPFR precision to 320
1550619760.534 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619761.323 * * * * [exit]points:  Sampled 8000 points with exact outputs
1550619764.963 * [misc]regime-testing:  Baseline error score: 64.0
1550619764.965 * [misc]regime-testing:  Oracle error score: 64.0
1550619764.969 * [misc]regime-testing:  End program error score: 1.125875193014012