1554304953.923 * [misc]progress:  [Phase 1 of 3] Setting up.
1554304953.923 * * * [misc]progress:  [1/2] Preparing points
1554304953.923 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1554304953.925 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1554304953.926 * * * * [misc]points:  Setting MPFR precision to 64
1554304953.927 * * * * [misc]points:  Setting MPFR precision to 320
1554304953.928 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1554304953.929 * * * * [misc]points:  Setting MPFR precision to 64
1554304953.932 * * * * [misc]points:  Setting MPFR precision to 320
1554304953.934 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1554304953.935 * * * * [misc]points:  Setting MPFR precision to 64
1554304953.938 * * * * [misc]points:  Setting MPFR precision to 320
1554304953.942 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1554304953.944 * * * * [misc]points:  Setting MPFR precision to 64
1554304953.954 * * * * [misc]points:  Setting MPFR precision to 320
1554304953.963 * * * * [misc]points:  Computing exacts for 256 points
1554304953.965 * * * * [misc]points:  Setting MPFR precision to 64
1554304953.992 * * * * [misc]points:  Setting MPFR precision to 320
1554304954.014 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554304954.015 * * * * [exit]points:  Sampled 256 points with exact outputs
1554304954.015 * * * [misc]progress:  [2/2] Setting up program.
1554304954.020 * [misc]progress:  [Phase 2 of 3] Improving.
1554304954.020 * * * * [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))))>
1554304954.020 * [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)))
1554304954.020 * * [misc]simplify:  iters left: 3 (11 enodes)
1554304954.023 * * [misc]simplify:  iters left: 2 (29 enodes)
1554304954.027 * * [misc]simplify:  iters left: 1 (57 enodes)
1554304954.056 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304954.056 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1554304954.056 * * [misc]simplify:  Extracting #2: cost 31 inf + 0
1554304954.056 * * [misc]simplify:  Extracting #3: cost 44 inf + 0
1554304954.056 * * [misc]simplify:  Extracting #4: cost 58 inf + 647
1554304954.057 * * [misc]simplify:  Extracting #5: cost 32 inf + 21623
1554304954.058 * * [misc]simplify:  Extracting #6: cost 1 inf + 63920
1554304954.060 * * [misc]simplify:  Extracting #7: cost 0 inf + 65284
1554304954.062 * [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)))
1554304954.062 * [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))))
1554304954.068 * * [misc]progress:  iteration 1 / 4
1554304954.068 * * * [misc]progress:  picking best candidate
1554304954.073 * * * * [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))))>
1554304954.073 * * * [misc]progress:  localizing error
1554304954.217 * * * [misc]progress:  generating rewritten candidates
1554304954.217 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
1554304954.218 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1554304954.220 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 2)
1554304954.221 * * * [misc]progress:  generating series expansions
1554304954.221 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
1554304954.222 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1554304954.222 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 2)
1554304954.222 * * * [misc]progress:  simplifying candidates
1554304954.222 * * * * [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)))))>
1554304954.222 * [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)))
1554304954.222 * * [misc]simplify:  iters left: 3 (9 enodes)
1554304954.224 * * [misc]simplify:  iters left: 2 (37 enodes)
1554304954.231 * * [misc]simplify:  iters left: 1 (90 enodes)
1554304954.253 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304954.253 * * [misc]simplify:  Extracting #1: cost 21 inf + 0
1554304954.253 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1554304954.254 * * [misc]simplify:  Extracting #3: cost 88 inf + 2654
1554304954.255 * * [misc]simplify:  Extracting #4: cost 69 inf + 28908
1554304954.259 * * [misc]simplify:  Extracting #5: cost 2 inf + 127256
1554304954.268 * * [misc]simplify:  Extracting #6: cost 0 inf + 129622
1554304954.272 * [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)))
1554304954.272 * [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)))))
1554304954.273 * * * * [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))))>
1554304954.273 * * * * [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))))>
1554304954.273 * * * * [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))))>
1554304954.273 * * * * [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))))>
1554304954.273 * [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)))
1554304954.273 * * [misc]simplify:  iters left: 3 (11 enodes)
1554304954.275 * * [misc]simplify:  iters left: 2 (29 enodes)
1554304954.280 * * [misc]simplify:  iters left: 1 (57 enodes)
1554304954.291 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304954.291 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1554304954.291 * * [misc]simplify:  Extracting #2: cost 31 inf + 0
1554304954.291 * * [misc]simplify:  Extracting #3: cost 44 inf + 0
1554304954.291 * * [misc]simplify:  Extracting #4: cost 58 inf + 647
1554304954.292 * * [misc]simplify:  Extracting #5: cost 32 inf + 21623
1554304954.294 * * [misc]simplify:  Extracting #6: cost 1 inf + 63920
1554304954.296 * * [misc]simplify:  Extracting #7: cost 0 inf + 65284
1554304954.297 * [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)))
1554304954.297 * [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))))
1554304954.297 * * * * [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))))>
1554304954.298 * [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)))
1554304954.298 * * [misc]simplify:  iters left: 3 (11 enodes)
1554304954.300 * * [misc]simplify:  iters left: 2 (29 enodes)
1554304954.305 * * [misc]simplify:  iters left: 1 (57 enodes)
1554304954.317 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304954.317 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1554304954.317 * * [misc]simplify:  Extracting #2: cost 31 inf + 0
1554304954.317 * * [misc]simplify:  Extracting #3: cost 44 inf + 0
1554304954.317 * * [misc]simplify:  Extracting #4: cost 58 inf + 647
1554304954.318 * * [misc]simplify:  Extracting #5: cost 32 inf + 21623
1554304954.320 * * [misc]simplify:  Extracting #6: cost 1 inf + 63920
1554304954.322 * * [misc]simplify:  Extracting #7: cost 0 inf + 65284
1554304954.324 * [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)))
1554304954.324 * [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))))
1554304954.324 * * * * [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))))>
1554304954.324 * [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)))
1554304954.324 * * [misc]simplify:  iters left: 3 (11 enodes)
1554304954.326 * * [misc]simplify:  iters left: 2 (29 enodes)
1554304954.331 * * [misc]simplify:  iters left: 1 (57 enodes)
1554304954.343 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304954.343 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1554304954.343 * * [misc]simplify:  Extracting #2: cost 31 inf + 0
1554304954.343 * * [misc]simplify:  Extracting #3: cost 44 inf + 0
1554304954.343 * * [misc]simplify:  Extracting #4: cost 58 inf + 647
1554304954.344 * * [misc]simplify:  Extracting #5: cost 32 inf + 21623
1554304954.345 * * [misc]simplify:  Extracting #6: cost 1 inf + 63920
1554304954.347 * * [misc]simplify:  Extracting #7: cost 0 inf + 65284
1554304954.349 * [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)))
1554304954.349 * [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))))
1554304954.349 * * * [misc]progress:  adding candidates to table
1554304954.430 * * [misc]progress:  iteration 2 / 4
1554304954.430 * * * [misc]progress:  picking best candidate
1554304954.442 * * * * [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))))>
1554304954.442 * * * [misc]progress:  localizing error
1554304954.594 * * * [misc]progress:  generating rewritten candidates
1554304954.595 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1)
1554304954.600 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2)
1554304954.607 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2)
1554304954.610 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1)
1554304954.614 * * * [misc]progress:  generating series expansions
1554304954.615 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1)
1554304954.615 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2)
1554304954.615 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2)
1554304954.615 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1)
1554304954.615 * * * [misc]progress:  simplifying candidates
1554304954.615 * * * * [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))))>
1554304954.615 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1554304954.615 * * [misc]simplify:  iters left: 2 (7 enodes)
1554304954.617 * * [misc]simplify:  iters left: 1 (18 enodes)
1554304954.621 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304954.621 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304954.622 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1554304954.622 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1554304954.622 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1554304954.622 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1554304954.622 * [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))))
1554304954.622 * * * * [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))))>
1554304954.622 * [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))))
1554304954.622 * * [misc]simplify:  iters left: 4 (11 enodes)
1554304954.627 * * [misc]simplify:  iters left: 3 (47 enodes)
1554304954.645 * * [misc]simplify:  iters left: 2 (143 enodes)
1554304954.703 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304954.703 * * [misc]simplify:  Extracting #1: cost 25 inf + 0
1554304954.704 * * [misc]simplify:  Extracting #2: cost 73 inf + 0
1554304954.705 * * [misc]simplify:  Extracting #3: cost 142 inf + 2332
1554304954.708 * * [misc]simplify:  Extracting #4: cost 134 inf + 55820
1554304954.719 * * [misc]simplify:  Extracting #5: cost 28 inf + 228590
1554304954.736 * * [misc]simplify:  Extracting #6: cost 1 inf + 283752
1554304954.754 * * [misc]simplify:  Extracting #7: cost 0 inf + 287356
1554304954.773 * [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))))
1554304954.773 * [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))))
1554304954.773 * * * * [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)))))>
1554304954.773 * [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)))
1554304954.773 * * [misc]simplify:  iters left: 3 (9 enodes)
1554304954.778 * * [misc]simplify:  iters left: 2 (37 enodes)
1554304954.789 * * [misc]simplify:  iters left: 1 (90 enodes)
1554304954.819 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304954.819 * * [misc]simplify:  Extracting #1: cost 21 inf + 0
1554304954.820 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1554304954.820 * * [misc]simplify:  Extracting #3: cost 88 inf + 2654
1554304954.821 * * [misc]simplify:  Extracting #4: cost 69 inf + 28908
1554304954.825 * * [misc]simplify:  Extracting #5: cost 2 inf + 127256
1554304954.830 * * [misc]simplify:  Extracting #6: cost 0 inf + 129622
1554304954.836 * [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)))
1554304954.836 * [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)))))
1554304954.836 * * * * [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))))>
1554304954.836 * * * * [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.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))))>
1554304954.837 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1554304954.837 * * [misc]simplify:  iters left: 2 (7 enodes)
1554304954.840 * * [misc]simplify:  iters left: 1 (18 enodes)
1554304954.844 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304954.844 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304954.844 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1554304954.844 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1554304954.844 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1554304954.845 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1554304954.845 * [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))))
1554304954.845 * [enter]simplify:  Simplifying (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1554304954.845 * * [misc]simplify:  iters left: 2 (7 enodes)
1554304954.848 * * [misc]simplify:  iters left: 1 (24 enodes)
1554304954.855 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304954.855 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1554304954.855 * * [misc]simplify:  Extracting #2: cost 15 inf + 0
1554304954.855 * * [misc]simplify:  Extracting #3: cost 19 inf + 728
1554304954.856 * * [misc]simplify:  Extracting #4: cost 3 inf + 11524
1554304954.856 * * [misc]simplify:  Extracting #5: cost 0 inf + 15936
1554304954.857 * [exit]simplify:  Simplified to (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))
1554304954.857 * [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))))
1554304954.857 * * * * [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)) (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))))>
1554304954.857 * * * * [misc]progress:  [ 7 / 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))))>
1554304954.857 * * * * [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))))>
1554304954.858 * * * * [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))))>
1554304954.858 * * * * [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))))>
1554304954.858 * * * * [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))))>
1554304954.858 * * * [misc]progress:  adding candidates to table
1554304955.025 * * [misc]progress:  iteration 3 / 4
1554304955.025 * * * [misc]progress:  picking best candidate
1554304955.078 * * * * [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))))>
1554304955.078 * * * [misc]progress:  localizing error
1554304955.137 * * * [misc]progress:  generating rewritten candidates
1554304955.137 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1554304955.140 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2)
1554304955.146 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 2)
1554304955.148 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1)
1554304955.150 * * * [misc]progress:  generating series expansions
1554304955.150 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1554304955.150 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2)
1554304955.150 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 2)
1554304955.150 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1)
1554304955.150 * * * [misc]progress:  simplifying candidates
1554304955.150 * * * * [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)))))>
1554304955.150 * [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)))
1554304955.150 * * [misc]simplify:  iters left: 3 (8 enodes)
1554304955.153 * * [misc]simplify:  iters left: 2 (21 enodes)
1554304955.156 * * [misc]simplify:  iters left: 1 (22 enodes)
1554304955.161 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304955.161 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304955.161 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1554304955.161 * * [misc]simplify:  Extracting #3: cost 7 inf + 2
1554304955.161 * * [misc]simplify:  Extracting #4: cost 2 inf + 328
1554304955.161 * * [misc]simplify:  Extracting #5: cost 0 inf + 1334
1554304955.162 * [exit]simplify:  Simplified to (real->posit16 1.0)
1554304955.162 * [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)))))
1554304955.162 * * * * [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))))))>
1554304955.162 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1554304955.162 * * [misc]simplify:  iters left: 2 (7 enodes)
1554304955.163 * * [misc]simplify:  iters left: 1 (18 enodes)
1554304955.166 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304955.166 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304955.166 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1554304955.166 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1554304955.166 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1554304955.166 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1554304955.166 * [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))))))
1554304955.166 * * * * [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))))>
1554304955.166 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1554304955.166 * * [misc]simplify:  iters left: 2 (7 enodes)
1554304955.168 * * [misc]simplify:  iters left: 1 (18 enodes)
1554304955.170 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304955.170 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304955.170 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1554304955.170 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1554304955.171 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1554304955.171 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1554304955.171 * [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))))
1554304955.171 * * * * [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))))>
1554304955.171 * * * * [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))))>
1554304955.171 * * * * [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))))>
1554304955.171 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1554304955.171 * * [misc]simplify:  iters left: 2 (7 enodes)
1554304955.172 * * [misc]simplify:  iters left: 1 (18 enodes)
1554304955.175 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304955.175 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304955.175 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1554304955.175 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1554304955.175 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1554304955.175 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1554304955.175 * [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))))
1554304955.175 * * * * [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))))>
1554304955.175 * [enter]simplify:  Simplifying (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1554304955.176 * * [misc]simplify:  iters left: 2 (7 enodes)
1554304955.177 * * [misc]simplify:  iters left: 1 (24 enodes)
1554304955.181 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304955.181 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1554304955.181 * * [misc]simplify:  Extracting #2: cost 15 inf + 0
1554304955.182 * * [misc]simplify:  Extracting #3: cost 19 inf + 728
1554304955.182 * * [misc]simplify:  Extracting #4: cost 3 inf + 11524
1554304955.182 * * [misc]simplify:  Extracting #5: cost 0 inf + 15936
1554304955.183 * [exit]simplify:  Simplified to (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))
1554304955.183 * [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))))
1554304955.183 * * * * [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))))>
1554304955.183 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1554304955.183 * * [misc]simplify:  iters left: 2 (7 enodes)
1554304955.184 * * [misc]simplify:  iters left: 1 (18 enodes)
1554304955.187 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304955.187 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304955.187 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1554304955.187 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1554304955.187 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1554304955.187 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1554304955.187 * [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))))
1554304955.187 * * * * [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))))>
1554304955.187 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1554304955.187 * * [misc]simplify:  iters left: 2 (7 enodes)
1554304955.189 * * [misc]simplify:  iters left: 1 (18 enodes)
1554304955.191 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304955.191 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304955.191 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1554304955.191 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1554304955.191 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1554304955.191 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1554304955.191 * [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))))
1554304955.191 * * * * [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))))>
1554304955.192 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1554304955.192 * * [misc]simplify:  iters left: 2 (7 enodes)
1554304955.193 * * [misc]simplify:  iters left: 1 (18 enodes)
1554304955.198 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304955.198 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304955.198 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1554304955.198 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1554304955.198 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1554304955.198 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1554304955.198 * [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))))
1554304955.198 * * * * [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))))>
1554304955.198 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1554304955.199 * * [misc]simplify:  iters left: 2 (7 enodes)
1554304955.201 * * [misc]simplify:  iters left: 1 (18 enodes)
1554304955.205 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304955.205 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304955.205 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1554304955.205 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1554304955.206 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1554304955.206 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1554304955.206 * [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))))
1554304955.206 * * * [misc]progress:  adding candidates to table
1554304955.420 * * [misc]progress:  iteration 4 / 4
1554304955.420 * * * [misc]progress:  picking best candidate
1554304955.507 * * * * [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)))))>
1554304955.507 * * * [misc]progress:  localizing error
1554304955.563 * * * [misc]progress:  generating rewritten candidates
1554304955.563 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2)
1554304955.565 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2)
1554304955.569 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 2)
1554304955.571 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1)
1554304955.574 * * * [misc]progress:  generating series expansions
1554304955.575 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2)
1554304955.575 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2)
1554304955.575 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 2)
1554304955.575 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1)
1554304955.575 * * * [misc]progress:  simplifying candidates
1554304955.575 * * * * [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)))))>
1554304955.575 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1554304955.575 * * [misc]simplify:  iters left: 2 (7 enodes)
1554304955.578 * * [misc]simplify:  iters left: 1 (18 enodes)
1554304955.583 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304955.583 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304955.583 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1554304955.583 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1554304955.583 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1554304955.583 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1554304955.583 * [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)))))
1554304955.583 * * * * [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))))>
1554304955.584 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1554304955.584 * * [misc]simplify:  iters left: 2 (7 enodes)
1554304955.587 * * [misc]simplify:  iters left: 1 (18 enodes)
1554304955.592 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304955.592 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304955.592 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1554304955.592 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1554304955.592 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1554304955.592 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1554304955.592 * [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))))
1554304955.592 * * * * [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))))>
1554304955.593 * [enter]simplify:  Simplifying (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1554304955.593 * * [misc]simplify:  iters left: 2 (7 enodes)
1554304955.596 * * [misc]simplify:  iters left: 1 (24 enodes)
1554304955.610 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304955.610 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1554304955.611 * * [misc]simplify:  Extracting #2: cost 15 inf + 0
1554304955.611 * * [misc]simplify:  Extracting #3: cost 19 inf + 728
1554304955.611 * * [misc]simplify:  Extracting #4: cost 3 inf + 11524
1554304955.612 * * [misc]simplify:  Extracting #5: cost 0 inf + 15936
1554304955.613 * [exit]simplify:  Simplified to (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))
1554304955.613 * [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))))
1554304955.613 * * * * [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))))))>
1554304955.613 * * * * [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))))))>
1554304955.613 * * * * [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)))))>
1554304955.613 * * * * [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)))))>
1554304955.614 * [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))))
1554304955.614 * * [misc]simplify:  iters left: 4 (14 enodes)
1554304955.620 * * [misc]simplify:  iters left: 3 (35 enodes)
1554304955.632 * * [misc]simplify:  iters left: 2 (74 enodes)
1554304955.649 * * [misc]simplify:  iters left: 1 (208 enodes)
1554304955.764 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304955.764 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1554304955.765 * * [misc]simplify:  Extracting #2: cost 157 inf + 0
1554304955.767 * * [misc]simplify:  Extracting #3: cost 232 inf + 646
1554304955.769 * * [misc]simplify:  Extracting #4: cost 277 inf + 15215
1554304955.778 * * [misc]simplify:  Extracting #5: cost 108 inf + 261189
1554304955.794 * * [misc]simplify:  Extracting #6: cost 10 inf + 467107
1554304955.829 * * [misc]simplify:  Extracting #7: cost 0 inf + 497790
1554304955.865 * [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)))
1554304955.865 * [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))))
1554304955.865 * * * * [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)))))>
1554304955.866 * [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))))
1554304955.866 * * [misc]simplify:  iters left: 4 (14 enodes)
1554304955.872 * * [misc]simplify:  iters left: 3 (35 enodes)
1554304955.885 * * [misc]simplify:  iters left: 2 (74 enodes)
1554304955.917 * * [misc]simplify:  iters left: 1 (208 enodes)
1554304956.038 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304956.039 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1554304956.039 * * [misc]simplify:  Extracting #2: cost 157 inf + 0
1554304956.041 * * [misc]simplify:  Extracting #3: cost 232 inf + 646
1554304956.044 * * [misc]simplify:  Extracting #4: cost 277 inf + 15215
1554304956.062 * * [misc]simplify:  Extracting #5: cost 108 inf + 261189
1554304956.079 * * [misc]simplify:  Extracting #6: cost 10 inf + 467107
1554304956.101 * * [misc]simplify:  Extracting #7: cost 0 inf + 497790
1554304956.138 * [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)))
1554304956.138 * [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))))
1554304956.138 * * * * [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)))))>
1554304956.138 * [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))))
1554304956.138 * * [misc]simplify:  iters left: 4 (14 enodes)
1554304956.144 * * [misc]simplify:  iters left: 3 (35 enodes)
1554304956.150 * * [misc]simplify:  iters left: 2 (74 enodes)
1554304956.168 * * [misc]simplify:  iters left: 1 (208 enodes)
1554304956.293 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304956.293 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1554304956.293 * * [misc]simplify:  Extracting #2: cost 157 inf + 0
1554304956.294 * * [misc]simplify:  Extracting #3: cost 232 inf + 646
1554304956.295 * * [misc]simplify:  Extracting #4: cost 277 inf + 15215
1554304956.304 * * [misc]simplify:  Extracting #5: cost 108 inf + 261189
1554304956.330 * * [misc]simplify:  Extracting #6: cost 10 inf + 467107
1554304956.354 * * [misc]simplify:  Extracting #7: cost 0 inf + 497790
1554304956.388 * [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)))
1554304956.388 * [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))))
1554304956.388 * * * * [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)))))>
1554304956.388 * [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))))
1554304956.389 * * [misc]simplify:  iters left: 4 (14 enodes)
1554304956.392 * * [misc]simplify:  iters left: 3 (35 enodes)
1554304956.398 * * [misc]simplify:  iters left: 2 (74 enodes)
1554304956.413 * * [misc]simplify:  iters left: 1 (208 enodes)
1554304956.525 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304956.525 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1554304956.526 * * [misc]simplify:  Extracting #2: cost 157 inf + 0
1554304956.527 * * [misc]simplify:  Extracting #3: cost 232 inf + 646
1554304956.530 * * [misc]simplify:  Extracting #4: cost 277 inf + 15215
1554304956.542 * * [misc]simplify:  Extracting #5: cost 108 inf + 261189
1554304956.564 * * [misc]simplify:  Extracting #6: cost 10 inf + 467107
1554304956.585 * * [misc]simplify:  Extracting #7: cost 0 inf + 497790
1554304956.617 * [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)))
1554304956.617 * [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))))
1554304956.618 * * * [misc]progress:  adding candidates to table
1554304956.897 * [misc]progress:  [Phase 3 of 3] Extracting.
1554304956.897 * * [misc]regime:  Finding splitpoints for: (#<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 (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 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 (/.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 (+.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 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 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 (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))))>)
1554304956.903 * * * [misc]regime-changes:  Trying 4 branch expressions: (y.im x.re y.re x.im)
1554304956.903 * * * * [misc]regimes:  Trying to branch on y.im from (#<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 (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 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 (/.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 (+.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 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 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 (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))))>)
1554304957.166 * * * * [misc]regimes:  Trying to branch on x.re from (#<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 (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 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 (/.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 (+.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 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 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 (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))))>)
1554304957.339 * * * * [misc]regimes:  Trying to branch on y.re from (#<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 (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 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 (/.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 (+.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 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 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 (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))))>)
1554304957.514 * * * * [misc]regimes:  Trying to branch on x.im from (#<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 (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 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 (/.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 (+.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 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 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 (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))))>)
1554304957.680 * * * [misc]regime:  Found split indices: #<option (#s(si 6 256))>
1554304957.729 * [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)))
1554304957.729 * * [misc]simplify:  iters left: 3 (11 enodes)
1554304957.730 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304957.730 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304957.730 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1554304957.730 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554304957.730 * * [misc]simplify:  Extracting #4: cost 3 inf + 1650
1554304957.730 * * [misc]simplify:  Extracting #5: cost 0 inf + 4540
1554304957.730 * [exit]simplify:  Simplified to (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1554304957.731 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1554304957.783 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1554304957.785 * * * * [misc]points:  Setting MPFR precision to 64
1554304957.787 * * * * [misc]points:  Setting MPFR precision to 320
1554304957.789 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1554304957.790 * * * * [misc]points:  Setting MPFR precision to 64
1554304957.792 * * * * [misc]points:  Setting MPFR precision to 320
1554304957.794 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1554304957.795 * * * * [misc]points:  Setting MPFR precision to 64
1554304957.800 * * * * [misc]points:  Setting MPFR precision to 320
1554304957.804 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1554304957.805 * * * * [misc]points:  Setting MPFR precision to 64
1554304957.814 * * * * [misc]points:  Setting MPFR precision to 320
1554304957.822 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1554304957.823 * * * * [misc]points:  Setting MPFR precision to 64
1554304957.855 * * * * [misc]points:  Setting MPFR precision to 320
1554304957.873 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1554304957.874 * * * * [misc]points:  Setting MPFR precision to 64
1554304957.914 * * * * [misc]points:  Setting MPFR precision to 320
1554304957.949 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1554304957.950 * * * * [misc]points:  Setting MPFR precision to 64
1554304958.079 * * * * [misc]points:  Setting MPFR precision to 320
1554304958.174 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1554304958.205 * * * * [misc]points:  Setting MPFR precision to 64
1554304958.408 * * * * [misc]points:  Setting MPFR precision to 320
1554304958.669 * * * * [misc]points:  Computing exacts for 8000 points
1554304958.671 * * * * [misc]points:  Setting MPFR precision to 64
1554304959.932 * * * * [misc]points:  Setting MPFR precision to 320
1554304960.840 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554304960.886 * * * * [exit]points:  Sampled 8000 points with exact outputs
1554304963.688 * [misc]regime-testing:  Baseline error score: 64.0
1554304963.691 * [misc]regime-testing:  Oracle error score: 64.0
1554304963.698 * [misc]regime-testing:  End program error score: 1.0706011732670704