1550699489.820 * [misc]progress:  [Phase 1 of 3] Setting up.
1550699489.820 * * * [misc]progress:  [1/2] Preparing points
1550699489.820 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550699489.824 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550699489.826 * * * * [misc]points:  Setting MPFR precision to 64
1550699489.829 * * * * [misc]points:  Setting MPFR precision to 320
1550699489.831 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550699489.833 * * * * [misc]points:  Setting MPFR precision to 64
1550699489.837 * * * * [misc]points:  Setting MPFR precision to 320
1550699489.842 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550699489.844 * * * * [misc]points:  Setting MPFR precision to 64
1550699489.850 * * * * [misc]points:  Setting MPFR precision to 320
1550699489.858 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550699489.860 * * * * [misc]points:  Setting MPFR precision to 64
1550699489.871 * * * * [misc]points:  Setting MPFR precision to 320
1550699489.884 * * * * [misc]points:  Computing exacts for 256 points
1550699489.886 * * * * [misc]points:  Setting MPFR precision to 64
1550699489.920 * * * * [misc]points:  Setting MPFR precision to 320
1550699489.959 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699490.027 * * * * [exit]points:  Sampled 256 points with exact outputs
1550699490.027 * * * [misc]progress:  [2/2] Setting up program.
1550699490.057 * [misc]progress:  [Phase 2 of 3] Improving.
1550699490.058 * * * * [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))))>
1550699490.058 * [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)))
1550699490.058 * * [misc]simplify:  iters left: 3 (11 enodes)
1550699490.063 * * [misc]simplify:  iters left: 2 (29 enodes)
1550699490.074 * * [misc]simplify:  iters left: 1 (57 enodes)
1550699490.095 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699490.095 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550699490.095 * * [misc]simplify:  Extracting #2: cost 31 inf + 0
1550699490.095 * * [misc]simplify:  Extracting #3: cost 44 inf + 0
1550699490.096 * * [misc]simplify:  Extracting #4: cost 58 inf + 647
1550699490.097 * * [misc]simplify:  Extracting #5: cost 32 inf + 21623
1550699490.100 * * [misc]simplify:  Extracting #6: cost 1 inf + 63920
1550699490.103 * * [misc]simplify:  Extracting #7: cost 0 inf + 65284
1550699490.107 * [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)))
1550699490.107 * [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))))
1550699490.136 * * [misc]progress:  iteration 1 / 4
1550699490.136 * * * [misc]progress:  picking best candidate
1550699490.163 * * * * [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))))>
1550699490.163 * * * [misc]progress:  localizing error
1550699490.535 * * * [misc]progress:  generating rewritten candidates
1550699490.535 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
1550699490.538 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1550699490.540 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 2)
1550699490.544 * * * [misc]progress:  generating series expansions
1550699490.544 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
1550699490.544 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1550699490.544 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 2)
1550699490.544 * * * [misc]progress:  simplifying candidates
1550699490.544 * * * * [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)))))>
1550699490.545 * [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)))
1550699490.545 * * [misc]simplify:  iters left: 3 (9 enodes)
1550699490.549 * * [misc]simplify:  iters left: 2 (37 enodes)
1550699490.562 * * [misc]simplify:  iters left: 1 (90 enodes)
1550699490.601 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699490.601 * * [misc]simplify:  Extracting #1: cost 21 inf + 0
1550699490.601 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1550699490.602 * * [misc]simplify:  Extracting #3: cost 88 inf + 2654
1550699490.604 * * [misc]simplify:  Extracting #4: cost 69 inf + 28908
1550699490.608 * * [misc]simplify:  Extracting #5: cost 2 inf + 127256
1550699490.615 * * [misc]simplify:  Extracting #6: cost 0 inf + 129622
1550699490.630 * [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)))
1550699490.630 * [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)))))
1550699490.630 * * * * [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))))>
1550699490.630 * * * * [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))))>
1550699490.630 * * * * [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))))>
1550699490.630 * * * * [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))))>
1550699490.631 * [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)))
1550699490.631 * * [misc]simplify:  iters left: 3 (11 enodes)
1550699490.635 * * [misc]simplify:  iters left: 2 (29 enodes)
1550699490.644 * * [misc]simplify:  iters left: 1 (57 enodes)
1550699490.663 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699490.663 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550699490.663 * * [misc]simplify:  Extracting #2: cost 31 inf + 0
1550699490.663 * * [misc]simplify:  Extracting #3: cost 44 inf + 0
1550699490.663 * * [misc]simplify:  Extracting #4: cost 58 inf + 647
1550699490.664 * * [misc]simplify:  Extracting #5: cost 32 inf + 21623
1550699490.667 * * [misc]simplify:  Extracting #6: cost 1 inf + 63920
1550699490.671 * * [misc]simplify:  Extracting #7: cost 0 inf + 65284
1550699490.674 * [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)))
1550699490.674 * [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))))
1550699490.674 * * * * [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))))>
1550699490.675 * [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)))
1550699490.675 * * [misc]simplify:  iters left: 3 (11 enodes)
1550699490.679 * * [misc]simplify:  iters left: 2 (29 enodes)
1550699490.687 * * [misc]simplify:  iters left: 1 (57 enodes)
1550699490.705 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699490.706 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550699490.706 * * [misc]simplify:  Extracting #2: cost 31 inf + 0
1550699490.706 * * [misc]simplify:  Extracting #3: cost 44 inf + 0
1550699490.706 * * [misc]simplify:  Extracting #4: cost 58 inf + 647
1550699490.707 * * [misc]simplify:  Extracting #5: cost 32 inf + 21623
1550699490.710 * * [misc]simplify:  Extracting #6: cost 1 inf + 63920
1550699490.713 * * [misc]simplify:  Extracting #7: cost 0 inf + 65284
1550699490.716 * [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)))
1550699490.716 * [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))))
1550699490.716 * * * * [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))))>
1550699490.717 * [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)))
1550699490.717 * * [misc]simplify:  iters left: 3 (11 enodes)
1550699490.721 * * [misc]simplify:  iters left: 2 (29 enodes)
1550699490.728 * * [misc]simplify:  iters left: 1 (57 enodes)
1550699490.739 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699490.739 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550699490.739 * * [misc]simplify:  Extracting #2: cost 31 inf + 0
1550699490.739 * * [misc]simplify:  Extracting #3: cost 44 inf + 0
1550699490.739 * * [misc]simplify:  Extracting #4: cost 58 inf + 647
1550699490.740 * * [misc]simplify:  Extracting #5: cost 32 inf + 21623
1550699490.742 * * [misc]simplify:  Extracting #6: cost 1 inf + 63920
1550699490.743 * * [misc]simplify:  Extracting #7: cost 0 inf + 65284
1550699490.747 * [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)))
1550699490.747 * [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))))
1550699490.747 * * * [misc]progress:  adding candidates to table
1550699491.079 * * [misc]progress:  iteration 2 / 4
1550699491.079 * * * [misc]progress:  picking best candidate
1550699491.137 * * * * [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))))>
1550699491.137 * * * [misc]progress:  localizing error
1550699491.418 * * * [misc]progress:  generating rewritten candidates
1550699491.418 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1)
1550699491.424 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2)
1550699491.432 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2)
1550699491.436 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2)
1550699491.440 * * * [misc]progress:  generating series expansions
1550699491.440 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1)
1550699491.440 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2)
1550699491.440 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2)
1550699491.440 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2)
1550699491.440 * * * [misc]progress:  simplifying candidates
1550699491.440 * * * * [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))))>
1550699491.440 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550699491.441 * * [misc]simplify:  iters left: 2 (7 enodes)
1550699491.443 * * [misc]simplify:  iters left: 1 (18 enodes)
1550699491.448 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699491.448 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699491.448 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699491.448 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550699491.448 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550699491.449 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550699491.449 * [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))))
1550699491.449 * * * * [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))))>
1550699491.449 * [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))))
1550699491.449 * * [misc]simplify:  iters left: 4 (11 enodes)
1550699491.455 * * [misc]simplify:  iters left: 3 (47 enodes)
1550699491.473 * * [misc]simplify:  iters left: 2 (143 enodes)
1550699491.565 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699491.566 * * [misc]simplify:  Extracting #1: cost 25 inf + 0
1550699491.566 * * [misc]simplify:  Extracting #2: cost 73 inf + 0
1550699491.567 * * [misc]simplify:  Extracting #3: cost 142 inf + 2332
1550699491.570 * * [misc]simplify:  Extracting #4: cost 134 inf + 55820
1550699491.583 * * [misc]simplify:  Extracting #5: cost 28 inf + 228590
1550699491.602 * * [misc]simplify:  Extracting #6: cost 1 inf + 283752
1550699491.621 * * [misc]simplify:  Extracting #7: cost 0 inf + 287356
1550699491.640 * [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))))
1550699491.641 * [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))))
1550699491.641 * * * * [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)))))>
1550699491.641 * [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)))
1550699491.641 * * [misc]simplify:  iters left: 3 (9 enodes)
1550699491.646 * * [misc]simplify:  iters left: 2 (37 enodes)
1550699491.659 * * [misc]simplify:  iters left: 1 (90 enodes)
1550699491.702 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699491.702 * * [misc]simplify:  Extracting #1: cost 21 inf + 0
1550699491.702 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1550699491.703 * * [misc]simplify:  Extracting #3: cost 88 inf + 2654
1550699491.705 * * [misc]simplify:  Extracting #4: cost 69 inf + 28908
1550699491.713 * * [misc]simplify:  Extracting #5: cost 2 inf + 127256
1550699491.721 * * [misc]simplify:  Extracting #6: cost 0 inf + 129622
1550699491.729 * [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)))
1550699491.729 * [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)))))
1550699491.729 * * * * [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.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))))>
1550699491.730 * * * * [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)) (*.p16 (*.p16 (*.p16 x.re y.im) 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))))>
1550699491.730 * * * * [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.im y.re)) (*.p16 x.re (*.p16 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))))>
1550699491.730 * * * * [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.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550699491.730 * * * * [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))))>
1550699491.730 * * * * [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))))>
1550699491.730 * * * * [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))))>
1550699491.730 * * * * [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))))>
1550699491.730 * * * [misc]progress:  adding candidates to table
1550699492.383 * * [misc]progress:  iteration 3 / 4
1550699492.383 * * * [misc]progress:  picking best candidate
1550699492.520 * * * * [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))))>
1550699492.520 * * * [misc]progress:  localizing error
1550699492.655 * * * [misc]progress:  generating rewritten candidates
1550699492.655 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550699492.660 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2)
1550699492.663 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 1)
1550699492.665 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1)
1550699492.668 * * * [misc]progress:  generating series expansions
1550699492.668 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550699492.668 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2)
1550699492.668 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 1)
1550699492.668 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1)
1550699492.668 * * * [misc]progress:  simplifying candidates
1550699492.668 * * * * [misc]progress:  [ 1 / 9 ] 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)))))>
1550699492.668 * [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)))
1550699492.669 * * [misc]simplify:  iters left: 3 (8 enodes)
1550699492.672 * * [misc]simplify:  iters left: 2 (21 enodes)
1550699492.677 * * [misc]simplify:  iters left: 1 (22 enodes)
1550699492.682 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699492.682 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699492.682 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1550699492.682 * * [misc]simplify:  Extracting #3: cost 7 inf + 2
1550699492.682 * * [misc]simplify:  Extracting #4: cost 2 inf + 328
1550699492.682 * * [misc]simplify:  Extracting #5: cost 0 inf + 1334
1550699492.682 * [exit]simplify:  Simplified to (real->posit16 1.0)
1550699492.682 * [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)))))
1550699492.682 * * * * [misc]progress:  [ 2 / 9 ] 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))))))>
1550699492.682 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550699492.683 * * [misc]simplify:  iters left: 2 (7 enodes)
1550699492.685 * * [misc]simplify:  iters left: 1 (18 enodes)
1550699492.688 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699492.688 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699492.688 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699492.688 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550699492.688 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550699492.689 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550699492.689 * [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))))))
1550699492.689 * * * * [misc]progress:  [ 3 / 9 ] 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))))>
1550699492.689 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550699492.689 * * [misc]simplify:  iters left: 2 (7 enodes)
1550699492.691 * * [misc]simplify:  iters left: 1 (18 enodes)
1550699492.694 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699492.694 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699492.694 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699492.694 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550699492.694 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550699492.694 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550699492.695 * [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))))
1550699492.695 * * * * [misc]progress:  [ 4 / 9 ] 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.re y.im) (*.p16 x.im y.re)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550699492.695 * * * * [misc]progress:  [ 5 / 9 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.re y.im) (*.p16 x.im y.re)) (/.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))))>
1550699492.695 * * * * [misc]progress:  [ 6 / 9 ] 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))))>
1550699492.695 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550699492.695 * * [misc]simplify:  iters left: 2 (7 enodes)
1550699492.697 * * [misc]simplify:  iters left: 1 (18 enodes)
1550699492.701 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699492.701 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699492.701 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699492.701 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550699492.701 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550699492.701 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550699492.701 * [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))))
1550699492.701 * * * * [misc]progress:  [ 7 / 9 ] 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))))>
1550699492.702 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550699492.702 * * [misc]simplify:  iters left: 2 (7 enodes)
1550699492.704 * * [misc]simplify:  iters left: 1 (18 enodes)
1550699492.708 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699492.708 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699492.708 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699492.708 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550699492.708 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550699492.708 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550699492.708 * [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))))
1550699492.709 * * * * [misc]progress:  [ 8 / 9 ] 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))))>
1550699492.709 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550699492.709 * * [misc]simplify:  iters left: 2 (7 enodes)
1550699492.711 * * [misc]simplify:  iters left: 1 (18 enodes)
1550699492.714 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699492.714 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699492.714 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699492.714 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550699492.714 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550699492.714 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550699492.714 * [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))))
1550699492.714 * * * * [misc]progress:  [ 9 / 9 ] 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))))>
1550699492.714 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550699492.715 * * [misc]simplify:  iters left: 2 (7 enodes)
1550699492.716 * * [misc]simplify:  iters left: 1 (18 enodes)
1550699492.718 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699492.718 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699492.718 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699492.718 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550699492.719 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550699492.719 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550699492.719 * [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))))
1550699492.719 * * * [misc]progress:  adding candidates to table
1550699493.037 * * [misc]progress:  iteration 4 / 4
1550699493.037 * * * [misc]progress:  picking best candidate
1550699493.154 * * * * [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)))))>
1550699493.154 * * * [misc]progress:  localizing error
1550699493.273 * * * [misc]progress:  generating rewritten candidates
1550699493.273 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2)
1550699493.275 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2)
1550699493.277 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 2)
1550699493.278 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1)
1550699493.280 * * * [misc]progress:  generating series expansions
1550699493.280 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2)
1550699493.280 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2)
1550699493.280 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 2)
1550699493.280 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1)
1550699493.280 * * * [misc]progress:  simplifying candidates
1550699493.280 * * * * [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)))))>
1550699493.280 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550699493.280 * * [misc]simplify:  iters left: 2 (7 enodes)
1550699493.281 * * [misc]simplify:  iters left: 1 (18 enodes)
1550699493.285 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699493.285 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699493.285 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699493.285 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550699493.285 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550699493.285 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550699493.285 * [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)))))
1550699493.285 * * * * [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))))>
1550699493.286 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550699493.286 * * [misc]simplify:  iters left: 2 (7 enodes)
1550699493.288 * * [misc]simplify:  iters left: 1 (18 enodes)
1550699493.291 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699493.291 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699493.291 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699493.291 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550699493.291 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550699493.291 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550699493.291 * [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))))
1550699493.291 * * * * [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))))>
1550699493.291 * [enter]simplify:  Simplifying (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550699493.291 * * [misc]simplify:  iters left: 2 (7 enodes)
1550699493.294 * * [misc]simplify:  iters left: 1 (24 enodes)
1550699493.299 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699493.299 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550699493.299 * * [misc]simplify:  Extracting #2: cost 15 inf + 0
1550699493.300 * * [misc]simplify:  Extracting #3: cost 19 inf + 728
1550699493.300 * * [misc]simplify:  Extracting #4: cost 3 inf + 11524
1550699493.301 * * [misc]simplify:  Extracting #5: cost 0 inf + 15936
1550699493.301 * [exit]simplify:  Simplified to (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))
1550699493.301 * [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))))
1550699493.301 * * * * [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))))))>
1550699493.301 * * * * [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))))))>
1550699493.301 * * * * [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)))))>
1550699493.301 * * * * [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)))))>
1550699493.302 * [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))))
1550699493.302 * * [misc]simplify:  iters left: 4 (14 enodes)
1550699493.307 * * [misc]simplify:  iters left: 3 (35 enodes)
1550699493.316 * * [misc]simplify:  iters left: 2 (74 enodes)
1550699493.342 * * [misc]simplify:  iters left: 1 (208 enodes)
1550699493.456 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699493.456 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550699493.457 * * [misc]simplify:  Extracting #2: cost 157 inf + 0
1550699493.458 * * [misc]simplify:  Extracting #3: cost 232 inf + 646
1550699493.460 * * [misc]simplify:  Extracting #4: cost 277 inf + 15215
1550699493.471 * * [misc]simplify:  Extracting #5: cost 108 inf + 261189
1550699493.493 * * [misc]simplify:  Extracting #6: cost 10 inf + 467107
1550699493.524 * * [misc]simplify:  Extracting #7: cost 0 inf + 497790
1550699493.910 * [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)))
1550699493.910 * [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))))
1550699493.910 * * * * [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)))))>
1550699493.911 * [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))))
1550699493.911 * * [misc]simplify:  iters left: 4 (14 enodes)
1550699493.916 * * [misc]simplify:  iters left: 3 (35 enodes)
1550699493.928 * * [misc]simplify:  iters left: 2 (74 enodes)
1550699493.955 * * [misc]simplify:  iters left: 1 (208 enodes)
1550699494.065 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699494.065 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550699494.065 * * [misc]simplify:  Extracting #2: cost 157 inf + 0
1550699494.067 * * [misc]simplify:  Extracting #3: cost 232 inf + 646
1550699494.069 * * [misc]simplify:  Extracting #4: cost 277 inf + 15215
1550699494.077 * * [misc]simplify:  Extracting #5: cost 108 inf + 261189
1550699494.096 * * [misc]simplify:  Extracting #6: cost 10 inf + 467107
1550699494.125 * * [misc]simplify:  Extracting #7: cost 0 inf + 497790
1550699494.152 * [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)))
1550699494.153 * [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))))
1550699494.153 * * * * [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)))))>
1550699494.153 * [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))))
1550699494.153 * * [misc]simplify:  iters left: 4 (14 enodes)
1550699494.158 * * [misc]simplify:  iters left: 3 (35 enodes)
1550699494.168 * * [misc]simplify:  iters left: 2 (74 enodes)
1550699494.190 * * [misc]simplify:  iters left: 1 (208 enodes)
1550699494.301 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699494.301 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550699494.302 * * [misc]simplify:  Extracting #2: cost 157 inf + 0
1550699494.303 * * [misc]simplify:  Extracting #3: cost 232 inf + 646
1550699494.305 * * [misc]simplify:  Extracting #4: cost 277 inf + 15215
1550699494.318 * * [misc]simplify:  Extracting #5: cost 108 inf + 261189
1550699494.340 * * [misc]simplify:  Extracting #6: cost 10 inf + 467107
1550699494.363 * * [misc]simplify:  Extracting #7: cost 0 inf + 497790
1550699494.385 * [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)))
1550699494.385 * [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))))
1550699494.385 * * * * [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)))))>
1550699494.385 * [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))))
1550699494.385 * * [misc]simplify:  iters left: 4 (14 enodes)
1550699494.389 * * [misc]simplify:  iters left: 3 (35 enodes)
1550699494.395 * * [misc]simplify:  iters left: 2 (74 enodes)
1550699494.416 * * [misc]simplify:  iters left: 1 (208 enodes)
1550699494.527 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699494.528 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550699494.528 * * [misc]simplify:  Extracting #2: cost 157 inf + 0
1550699494.529 * * [misc]simplify:  Extracting #3: cost 232 inf + 646
1550699494.531 * * [misc]simplify:  Extracting #4: cost 277 inf + 15215
1550699494.544 * * [misc]simplify:  Extracting #5: cost 108 inf + 261189
1550699494.570 * * [misc]simplify:  Extracting #6: cost 10 inf + 467107
1550699494.599 * * [misc]simplify:  Extracting #7: cost 0 inf + 497790
1550699494.625 * [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)))
1550699494.625 * [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))))
1550699494.625 * * * [misc]progress:  adding candidates to table
1550699495.173 * [misc]progress:  [Phase 3 of 3] Extracting.
1550699495.173 * * [misc]regime:  Finding splitpoints for: (#<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 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 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 x.re (*.p16 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))))> #<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))))> #<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 (*.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 (/.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 (-.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 y.re y.re) (*.p16 y.im y.im))) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))>)
1550699495.178 * * * [misc]regime-changes:  Trying 4 branch expressions: (y.im x.re y.re x.im)
1550699495.178 * * * * [misc]regimes:  Trying to branch on y.im from (#<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 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 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 x.re (*.p16 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))))> #<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))))> #<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 (*.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 (/.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 (-.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 y.re y.re) (*.p16 y.im y.im))) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))>)
1550699495.638 * * * * [misc]regimes:  Trying to branch on x.re from (#<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 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 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 x.re (*.p16 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))))> #<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))))> #<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 (*.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 (/.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 (-.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 y.re y.re) (*.p16 y.im y.im))) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))>)
1550699496.109 * * * * [misc]regimes:  Trying to branch on y.re from (#<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 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 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 x.re (*.p16 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))))> #<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))))> #<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 (*.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 (/.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 (-.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 y.re y.re) (*.p16 y.im y.im))) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))>)
1550699496.601 * * * * [misc]regimes:  Trying to branch on x.im from (#<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 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 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 x.re (*.p16 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))))> #<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))))> #<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 (*.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 (/.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 (-.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 y.re y.re) (*.p16 y.im y.im))) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))>)
1550699497.075 * * * [misc]regime:  Found split indices: #<option (#s(si 6 256))>
1550699497.076 * [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)))
1550699497.076 * * [misc]simplify:  iters left: 5 (14 enodes)
1550699497.077 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699497.077 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699497.077 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699497.077 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1550699497.077 * * [misc]simplify:  Extracting #4: cost 9 inf + 1326
1550699497.077 * * [misc]simplify:  Extracting #5: cost 6 inf + 1650
1550699497.077 * * [misc]simplify:  Extracting #6: cost 3 inf + 3380
1550699497.078 * * [misc]simplify:  Extracting #7: cost 0 inf + 8992
1550699497.078 * [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)))
1550699497.078 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550699497.139 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550699497.141 * * * * [misc]points:  Setting MPFR precision to 64
1550699497.154 * * * * [misc]points:  Setting MPFR precision to 320
1550699497.156 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550699497.158 * * * * [misc]points:  Setting MPFR precision to 64
1550699497.162 * * * * [misc]points:  Setting MPFR precision to 320
1550699497.166 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550699497.168 * * * * [misc]points:  Setting MPFR precision to 64
1550699497.175 * * * * [misc]points:  Setting MPFR precision to 320
1550699497.184 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550699497.186 * * * * [misc]points:  Setting MPFR precision to 64
1550699497.199 * * * * [misc]points:  Setting MPFR precision to 320
1550699497.214 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550699497.216 * * * * [misc]points:  Setting MPFR precision to 64
1550699497.242 * * * * [misc]points:  Setting MPFR precision to 320
1550699497.272 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550699497.274 * * * * [misc]points:  Setting MPFR precision to 64
1550699497.321 * * * * [misc]points:  Setting MPFR precision to 320
1550699497.422 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550699497.424 * * * * [misc]points:  Setting MPFR precision to 64
1550699497.520 * * * * [misc]points:  Setting MPFR precision to 320
1550699497.679 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550699497.681 * * * * [misc]points:  Setting MPFR precision to 64
1550699497.894 * * * * [misc]points:  Setting MPFR precision to 320
1550699498.203 * * * * [misc]points:  Computing exacts for 8000 points
1550699498.205 * * * * [misc]points:  Setting MPFR precision to 64
1550699499.193 * * * * [misc]points:  Setting MPFR precision to 320
1550699500.757 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699501.621 * * * * [exit]points:  Sampled 8000 points with exact outputs
1550699505.635 * [misc]regime-testing:  Baseline error score: 64.0
1550699505.638 * [misc]regime-testing:  Oracle error score: 64.0
1550699505.645 * [misc]regime-testing:  End program error score: 1.1195823648235768