1550698962.600 * [misc]progress:  [Phase 1 of 3] Setting up.
1550698962.600 * * * [misc]progress:  [1/2] Preparing points
1550698962.600 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550698962.603 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550698962.605 * * * * [misc]points:  Setting MPFR precision to 64
1550698962.607 * * * * [misc]points:  Setting MPFR precision to 320
1550698962.610 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550698962.612 * * * * [misc]points:  Setting MPFR precision to 64
1550698962.616 * * * * [misc]points:  Setting MPFR precision to 320
1550698962.620 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550698962.622 * * * * [misc]points:  Setting MPFR precision to 64
1550698962.628 * * * * [misc]points:  Setting MPFR precision to 320
1550698962.636 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550698962.639 * * * * [misc]points:  Setting MPFR precision to 64
1550698962.649 * * * * [misc]points:  Setting MPFR precision to 320
1550698962.664 * * * * [misc]points:  Computing exacts for 256 points
1550698962.667 * * * * [misc]points:  Setting MPFR precision to 64
1550698962.699 * * * * [misc]points:  Setting MPFR precision to 320
1550698962.757 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550698962.780 * * * * [exit]points:  Sampled 256 points with exact outputs
1550698962.780 * * * [misc]progress:  [2/2] Setting up program.
1550698962.798 * [misc]progress:  [Phase 2 of 3] Improving.
1550698962.798 * * * * [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))))>
1550698962.799 * [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)))
1550698962.799 * * [misc]simplify:  iters left: 3 (11 enodes)
1550698962.803 * * [misc]simplify:  iters left: 2 (29 enodes)
1550698962.811 * * [misc]simplify:  iters left: 1 (57 enodes)
1550698962.825 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698962.825 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550698962.825 * * [misc]simplify:  Extracting #2: cost 31 inf + 0
1550698962.825 * * [misc]simplify:  Extracting #3: cost 44 inf + 0
1550698962.826 * * [misc]simplify:  Extracting #4: cost 58 inf + 647
1550698962.827 * * [misc]simplify:  Extracting #5: cost 32 inf + 21623
1550698962.830 * * [misc]simplify:  Extracting #6: cost 1 inf + 63920
1550698962.833 * * [misc]simplify:  Extracting #7: cost 0 inf + 65284
1550698962.836 * [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)))
1550698962.836 * [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))))
1550698962.866 * * [misc]progress:  iteration 1 / 4
1550698962.866 * * * [misc]progress:  picking best candidate
1550698962.897 * * * * [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))))>
1550698962.897 * * * [misc]progress:  localizing error
1550698963.232 * * * [misc]progress:  generating rewritten candidates
1550698963.232 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
1550698963.235 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1550698963.237 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 2)
1550698963.241 * * * [misc]progress:  generating series expansions
1550698963.241 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
1550698963.241 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1550698963.241 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 2)
1550698963.241 * * * [misc]progress:  simplifying candidates
1550698963.241 * * * * [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)))))>
1550698963.242 * [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)))
1550698963.242 * * [misc]simplify:  iters left: 3 (9 enodes)
1550698963.245 * * [misc]simplify:  iters left: 2 (37 enodes)
1550698963.257 * * [misc]simplify:  iters left: 1 (90 enodes)
1550698963.300 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698963.300 * * [misc]simplify:  Extracting #1: cost 21 inf + 0
1550698963.301 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1550698963.301 * * [misc]simplify:  Extracting #3: cost 88 inf + 2654
1550698963.303 * * [misc]simplify:  Extracting #4: cost 69 inf + 28908
1550698963.310 * * [misc]simplify:  Extracting #5: cost 2 inf + 127256
1550698963.318 * * [misc]simplify:  Extracting #6: cost 0 inf + 129622
1550698963.325 * [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)))
1550698963.326 * [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)))))
1550698963.326 * * * * [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))))>
1550698963.326 * * * * [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))))>
1550698963.326 * * * * [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))))>
1550698963.326 * * * * [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))))>
1550698963.326 * [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)))
1550698963.326 * * [misc]simplify:  iters left: 3 (11 enodes)
1550698963.331 * * [misc]simplify:  iters left: 2 (29 enodes)
1550698963.340 * * [misc]simplify:  iters left: 1 (57 enodes)
1550698963.362 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698963.362 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550698963.362 * * [misc]simplify:  Extracting #2: cost 31 inf + 0
1550698963.362 * * [misc]simplify:  Extracting #3: cost 44 inf + 0
1550698963.362 * * [misc]simplify:  Extracting #4: cost 58 inf + 647
1550698963.364 * * [misc]simplify:  Extracting #5: cost 32 inf + 21623
1550698963.367 * * [misc]simplify:  Extracting #6: cost 1 inf + 63920
1550698963.370 * * [misc]simplify:  Extracting #7: cost 0 inf + 65284
1550698963.374 * [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)))
1550698963.374 * [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))))
1550698963.374 * * * * [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))))>
1550698963.374 * [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)))
1550698963.374 * * [misc]simplify:  iters left: 3 (11 enodes)
1550698963.379 * * [misc]simplify:  iters left: 2 (29 enodes)
1550698963.388 * * [misc]simplify:  iters left: 1 (57 enodes)
1550698963.409 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698963.409 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550698963.409 * * [misc]simplify:  Extracting #2: cost 31 inf + 0
1550698963.409 * * [misc]simplify:  Extracting #3: cost 44 inf + 0
1550698963.410 * * [misc]simplify:  Extracting #4: cost 58 inf + 647
1550698963.411 * * [misc]simplify:  Extracting #5: cost 32 inf + 21623
1550698963.414 * * [misc]simplify:  Extracting #6: cost 1 inf + 63920
1550698963.418 * * [misc]simplify:  Extracting #7: cost 0 inf + 65284
1550698963.422 * [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)))
1550698963.422 * [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))))
1550698963.422 * * * * [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))))>
1550698963.422 * [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)))
1550698963.422 * * [misc]simplify:  iters left: 3 (11 enodes)
1550698963.427 * * [misc]simplify:  iters left: 2 (29 enodes)
1550698963.436 * * [misc]simplify:  iters left: 1 (57 enodes)
1550698963.459 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698963.459 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550698963.461 * * [misc]simplify:  Extracting #2: cost 31 inf + 0
1550698963.461 * * [misc]simplify:  Extracting #3: cost 44 inf + 0
1550698963.461 * * [misc]simplify:  Extracting #4: cost 58 inf + 647
1550698963.462 * * [misc]simplify:  Extracting #5: cost 32 inf + 21623
1550698963.465 * * [misc]simplify:  Extracting #6: cost 1 inf + 63920
1550698963.469 * * [misc]simplify:  Extracting #7: cost 0 inf + 65284
1550698963.473 * [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)))
1550698963.473 * [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))))
1550698963.473 * * * [misc]progress:  adding candidates to table
1550698963.828 * * [misc]progress:  iteration 2 / 4
1550698963.828 * * * [misc]progress:  picking best candidate
1550698963.900 * * * * [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))))>
1550698963.900 * * * [misc]progress:  localizing error
1550698964.151 * * * [misc]progress:  generating rewritten candidates
1550698964.151 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1)
1550698964.155 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2)
1550698964.159 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1)
1550698964.161 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2)
1550698964.163 * * * [misc]progress:  generating series expansions
1550698964.163 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1)
1550698964.163 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2)
1550698964.163 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1)
1550698964.163 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2)
1550698964.163 * * * [misc]progress:  simplifying candidates
1550698964.163 * * * * [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))))>
1550698964.164 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550698964.164 * * [misc]simplify:  iters left: 2 (7 enodes)
1550698964.165 * * [misc]simplify:  iters left: 1 (18 enodes)
1550698964.167 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698964.167 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698964.167 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550698964.167 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550698964.167 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550698964.167 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550698964.167 * [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))))
1550698964.168 * * * * [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))))>
1550698964.168 * [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))))
1550698964.168 * * [misc]simplify:  iters left: 4 (11 enodes)
1550698964.173 * * [misc]simplify:  iters left: 3 (47 enodes)
1550698964.192 * * [misc]simplify:  iters left: 2 (143 enodes)
1550698964.276 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698964.276 * * [misc]simplify:  Extracting #1: cost 25 inf + 0
1550698964.276 * * [misc]simplify:  Extracting #2: cost 73 inf + 0
1550698964.277 * * [misc]simplify:  Extracting #3: cost 142 inf + 2332
1550698964.281 * * [misc]simplify:  Extracting #4: cost 134 inf + 55820
1550698964.294 * * [misc]simplify:  Extracting #5: cost 28 inf + 228590
1550698964.314 * * [misc]simplify:  Extracting #6: cost 1 inf + 283752
1550698964.335 * * [misc]simplify:  Extracting #7: cost 0 inf + 287356
1550698964.356 * [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))))
1550698964.356 * [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))))
1550698964.356 * * * * [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)))))>
1550698964.357 * [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)))
1550698964.357 * * [misc]simplify:  iters left: 3 (9 enodes)
1550698964.364 * * [misc]simplify:  iters left: 2 (37 enodes)
1550698964.377 * * [misc]simplify:  iters left: 1 (90 enodes)
1550698964.415 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698964.415 * * [misc]simplify:  Extracting #1: cost 21 inf + 0
1550698964.415 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1550698964.416 * * [misc]simplify:  Extracting #3: cost 88 inf + 2654
1550698964.418 * * [misc]simplify:  Extracting #4: cost 69 inf + 28908
1550698964.426 * * [misc]simplify:  Extracting #5: cost 2 inf + 127256
1550698964.435 * * [misc]simplify:  Extracting #6: cost 0 inf + 129622
1550698964.443 * [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)))
1550698964.443 * [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)))))
1550698964.444 * * * * [misc]progress:  [ 4 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550698964.444 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550698964.444 * * [misc]simplify:  iters left: 2 (7 enodes)
1550698964.447 * * [misc]simplify:  iters left: 1 (18 enodes)
1550698964.452 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698964.452 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698964.452 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550698964.452 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550698964.452 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550698964.453 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550698964.453 * [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))))
1550698964.453 * [enter]simplify:  Simplifying (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550698964.453 * * [misc]simplify:  iters left: 2 (7 enodes)
1550698964.456 * * [misc]simplify:  iters left: 1 (24 enodes)
1550698964.463 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698964.463 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550698964.463 * * [misc]simplify:  Extracting #2: cost 15 inf + 0
1550698964.463 * * [misc]simplify:  Extracting #3: cost 19 inf + 728
1550698964.464 * * [misc]simplify:  Extracting #4: cost 3 inf + 11524
1550698964.464 * * [misc]simplify:  Extracting #5: cost 0 inf + 15936
1550698964.465 * [exit]simplify:  Simplified to (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))
1550698964.465 * [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))))
1550698964.466 * * * * [misc]progress:  [ 5 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (neg.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550698964.466 * * * * [misc]progress:  [ 6 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550698964.466 * * * * [misc]progress:  [ 7 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.re y.im) (*.p16 x.im y.re))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1550698964.466 * * * * [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))))>
1550698964.466 * * * * [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))))>
1550698964.466 * * * * [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))))>
1550698964.466 * * * * [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))))>
1550698964.467 * * * [misc]progress:  adding candidates to table
1550698965.053 * * [misc]progress:  iteration 3 / 4
1550698965.053 * * * [misc]progress:  picking best candidate
1550698965.137 * * * * [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))))>
1550698965.137 * * * [misc]progress:  localizing error
1550698965.246 * * * [misc]progress:  generating rewritten candidates
1550698965.246 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550698965.265 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2)
1550698965.268 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 2)
1550698965.270 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1)
1550698965.276 * * * [misc]progress:  generating series expansions
1550698965.276 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550698965.276 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2)
1550698965.276 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 2)
1550698965.276 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1)
1550698965.276 * * * [misc]progress:  simplifying candidates
1550698965.276 * * * * [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)))))>
1550698965.276 * [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)))
1550698965.276 * * [misc]simplify:  iters left: 3 (8 enodes)
1550698965.280 * * [misc]simplify:  iters left: 2 (21 enodes)
1550698965.286 * * [misc]simplify:  iters left: 1 (22 enodes)
1550698965.292 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698965.292 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698965.292 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1550698965.292 * * [misc]simplify:  Extracting #3: cost 7 inf + 2
1550698965.292 * * [misc]simplify:  Extracting #4: cost 2 inf + 328
1550698965.292 * * [misc]simplify:  Extracting #5: cost 0 inf + 1334
1550698965.292 * [exit]simplify:  Simplified to (real->posit16 1.0)
1550698965.292 * [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)))))
1550698965.292 * * * * [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))))))>
1550698965.293 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550698965.293 * * [misc]simplify:  iters left: 2 (7 enodes)
1550698965.295 * * [misc]simplify:  iters left: 1 (18 enodes)
1550698965.300 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698965.300 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698965.300 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550698965.300 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550698965.300 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550698965.300 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550698965.300 * [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))))))
1550698965.300 * * * * [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))))>
1550698965.301 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550698965.301 * * [misc]simplify:  iters left: 2 (7 enodes)
1550698965.303 * * [misc]simplify:  iters left: 1 (18 enodes)
1550698965.308 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698965.308 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698965.308 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550698965.308 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550698965.308 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550698965.308 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550698965.308 * [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))))
1550698965.309 * * * * [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))))>
1550698965.309 * * * * [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))))>
1550698965.309 * * * * [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))))>
1550698965.309 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550698965.309 * * [misc]simplify:  iters left: 2 (7 enodes)
1550698965.312 * * [misc]simplify:  iters left: 1 (18 enodes)
1550698965.316 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698965.316 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698965.317 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550698965.317 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550698965.317 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550698965.317 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550698965.317 * [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))))
1550698965.317 * * * * [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))))>
1550698965.317 * [enter]simplify:  Simplifying (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550698965.318 * * [misc]simplify:  iters left: 2 (7 enodes)
1550698965.320 * * [misc]simplify:  iters left: 1 (24 enodes)
1550698965.328 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698965.328 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550698965.328 * * [misc]simplify:  Extracting #2: cost 15 inf + 0
1550698965.328 * * [misc]simplify:  Extracting #3: cost 19 inf + 728
1550698965.329 * * [misc]simplify:  Extracting #4: cost 3 inf + 11524
1550698965.329 * * [misc]simplify:  Extracting #5: cost 0 inf + 15936
1550698965.330 * [exit]simplify:  Simplified to (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))
1550698965.330 * [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))))
1550698965.330 * * * * [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))))>
1550698965.331 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550698965.331 * * [misc]simplify:  iters left: 2 (7 enodes)
1550698965.334 * * [misc]simplify:  iters left: 1 (18 enodes)
1550698965.338 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698965.338 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698965.338 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550698965.338 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550698965.339 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550698965.339 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550698965.339 * [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))))
1550698965.339 * * * * [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))))>
1550698965.339 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550698965.339 * * [misc]simplify:  iters left: 2 (7 enodes)
1550698965.342 * * [misc]simplify:  iters left: 1 (18 enodes)
1550698965.346 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698965.347 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698965.347 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550698965.347 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550698965.347 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550698965.347 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550698965.347 * [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))))
1550698965.347 * * * * [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))))>
1550698965.347 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550698965.347 * * [misc]simplify:  iters left: 2 (7 enodes)
1550698965.350 * * [misc]simplify:  iters left: 1 (18 enodes)
1550698965.355 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698965.355 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698965.355 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550698965.355 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550698965.355 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550698965.355 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550698965.355 * [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))))
1550698965.355 * * * * [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))))>
1550698965.356 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550698965.356 * * [misc]simplify:  iters left: 2 (7 enodes)
1550698965.358 * * [misc]simplify:  iters left: 1 (18 enodes)
1550698965.363 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698965.363 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698965.363 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550698965.363 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550698965.363 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550698965.363 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550698965.363 * [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))))
1550698965.363 * * * [misc]progress:  adding candidates to table
1550698965.859 * * [misc]progress:  iteration 4 / 4
1550698965.859 * * * [misc]progress:  picking best candidate
1550698965.960 * * * * [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)))))>
1550698965.960 * * * [misc]progress:  localizing error
1550698966.064 * * * [misc]progress:  generating rewritten candidates
1550698966.064 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2)
1550698966.068 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2)
1550698966.072 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 2)
1550698966.074 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1)
1550698966.079 * * * [misc]progress:  generating series expansions
1550698966.079 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2)
1550698966.079 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2)
1550698966.079 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 2)
1550698966.079 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1)
1550698966.079 * * * [misc]progress:  simplifying candidates
1550698966.079 * * * * [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)))))>
1550698966.080 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550698966.080 * * [misc]simplify:  iters left: 2 (7 enodes)
1550698966.082 * * [misc]simplify:  iters left: 1 (18 enodes)
1550698966.087 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698966.087 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698966.087 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550698966.087 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550698966.087 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550698966.087 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550698966.088 * [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)))))
1550698966.088 * * * * [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))))>
1550698966.088 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550698966.088 * * [misc]simplify:  iters left: 2 (7 enodes)
1550698966.091 * * [misc]simplify:  iters left: 1 (18 enodes)
1550698966.095 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698966.095 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698966.096 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550698966.096 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550698966.096 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550698966.096 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550698966.096 * [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))))
1550698966.096 * * * * [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))))>
1550698966.096 * [enter]simplify:  Simplifying (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550698966.097 * * [misc]simplify:  iters left: 2 (7 enodes)
1550698966.099 * * [misc]simplify:  iters left: 1 (24 enodes)
1550698966.107 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698966.107 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550698966.107 * * [misc]simplify:  Extracting #2: cost 15 inf + 0
1550698966.107 * * [misc]simplify:  Extracting #3: cost 19 inf + 728
1550698966.108 * * [misc]simplify:  Extracting #4: cost 3 inf + 11524
1550698966.108 * * [misc]simplify:  Extracting #5: cost 0 inf + 15936
1550698966.109 * [exit]simplify:  Simplified to (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))
1550698966.109 * [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))))
1550698966.109 * * * * [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))))))>
1550698966.109 * * * * [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))))))>
1550698966.109 * * * * [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)))))>
1550698966.110 * * * * [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)))))>
1550698966.110 * [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))))
1550698966.110 * * [misc]simplify:  iters left: 4 (14 enodes)
1550698966.116 * * [misc]simplify:  iters left: 3 (35 enodes)
1550698966.129 * * [misc]simplify:  iters left: 2 (74 enodes)
1550698966.159 * * [misc]simplify:  iters left: 1 (208 enodes)
1550698966.287 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698966.287 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550698966.287 * * [misc]simplify:  Extracting #2: cost 157 inf + 0
1550698966.289 * * [misc]simplify:  Extracting #3: cost 232 inf + 646
1550698966.294 * * [misc]simplify:  Extracting #4: cost 277 inf + 15215
1550698966.307 * * [misc]simplify:  Extracting #5: cost 108 inf + 261189
1550698966.333 * * [misc]simplify:  Extracting #6: cost 10 inf + 467107
1550698966.360 * * [misc]simplify:  Extracting #7: cost 0 inf + 497790
1550698966.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)))
1550698966.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))))
1550698966.389 * * * * [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)))))>
1550698966.389 * [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))))
1550698966.389 * * [misc]simplify:  iters left: 4 (14 enodes)
1550698966.395 * * [misc]simplify:  iters left: 3 (35 enodes)
1550698966.407 * * [misc]simplify:  iters left: 2 (74 enodes)
1550698966.438 * * [misc]simplify:  iters left: 1 (208 enodes)
1550698966.535 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698966.535 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550698966.536 * * [misc]simplify:  Extracting #2: cost 157 inf + 0
1550698966.537 * * [misc]simplify:  Extracting #3: cost 232 inf + 646
1550698966.538 * * [misc]simplify:  Extracting #4: cost 277 inf + 15215
1550698966.545 * * [misc]simplify:  Extracting #5: cost 108 inf + 261189
1550698966.561 * * [misc]simplify:  Extracting #6: cost 10 inf + 467107
1550698966.579 * * [misc]simplify:  Extracting #7: cost 0 inf + 497790
1550698966.612 * [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)))
1550698966.612 * [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))))
1550698966.612 * * * * [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)))))>
1550698966.612 * [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))))
1550698966.612 * * [misc]simplify:  iters left: 4 (14 enodes)
1550698966.619 * * [misc]simplify:  iters left: 3 (35 enodes)
1550698966.631 * * [misc]simplify:  iters left: 2 (74 enodes)
1550698966.658 * * [misc]simplify:  iters left: 1 (208 enodes)
1550698966.744 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698966.744 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550698966.745 * * [misc]simplify:  Extracting #2: cost 157 inf + 0
1550698966.747 * * [misc]simplify:  Extracting #3: cost 232 inf + 646
1550698966.749 * * [misc]simplify:  Extracting #4: cost 277 inf + 15215
1550698966.764 * * [misc]simplify:  Extracting #5: cost 108 inf + 261189
1550698966.794 * * [misc]simplify:  Extracting #6: cost 10 inf + 467107
1550698966.835 * * [misc]simplify:  Extracting #7: cost 0 inf + 497790
1550698966.871 * [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)))
1550698966.871 * [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))))
1550698966.871 * * * * [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)))))>
1550698966.871 * [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))))
1550698966.872 * * [misc]simplify:  iters left: 4 (14 enodes)
1550698966.878 * * [misc]simplify:  iters left: 3 (35 enodes)
1550698966.890 * * [misc]simplify:  iters left: 2 (74 enodes)
1550698966.919 * * [misc]simplify:  iters left: 1 (208 enodes)
1550698967.063 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698967.063 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550698967.064 * * [misc]simplify:  Extracting #2: cost 157 inf + 0
1550698967.069 * * [misc]simplify:  Extracting #3: cost 232 inf + 646
1550698967.070 * * [misc]simplify:  Extracting #4: cost 277 inf + 15215
1550698967.078 * * [misc]simplify:  Extracting #5: cost 108 inf + 261189
1550698967.093 * * [misc]simplify:  Extracting #6: cost 10 inf + 467107
1550698967.112 * * [misc]simplify:  Extracting #7: cost 0 inf + 497790
1550698967.131 * [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)))
1550698967.131 * [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))))
1550698967.131 * * * [misc]progress:  adding candidates to table
1550698967.600 * [misc]progress:  [Phase 3 of 3] Extracting.
1550698967.600 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.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 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))))> #<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 (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 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (/.p16 (-.p16 (*.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))))>)
1550698967.607 * * * [misc]regime-changes:  Trying 4 branch expressions: (y.im x.re y.re x.im)
1550698967.607 * * * * [misc]regimes:  Trying to branch on y.im from (#<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.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 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))))> #<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 (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 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (/.p16 (-.p16 (*.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))))>)
1550698967.977 * * * * [misc]regimes:  Trying to branch on x.re from (#<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.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 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))))> #<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 (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 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (/.p16 (-.p16 (*.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))))>)
1550698968.310 * * * * [misc]regimes:  Trying to branch on y.re from (#<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.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 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))))> #<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 (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 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (/.p16 (-.p16 (*.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))))>)
1550698968.817 * * * * [misc]regimes:  Trying to branch on x.im from (#<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.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 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))))> #<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 (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 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (/.p16 (-.p16 (*.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))))>)
1550698969.461 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1550698969.461 * [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)))
1550698969.461 * * [misc]simplify:  iters left: 5 (14 enodes)
1550698969.462 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698969.462 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698969.462 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550698969.462 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1550698969.462 * * [misc]simplify:  Extracting #4: cost 9 inf + 1326
1550698969.463 * * [misc]simplify:  Extracting #5: cost 6 inf + 1650
1550698969.463 * * [misc]simplify:  Extracting #6: cost 3 inf + 3380
1550698969.463 * * [misc]simplify:  Extracting #7: cost 0 inf + 8992
1550698969.463 * [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)))
1550698969.464 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550698969.546 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550698969.548 * * * * [misc]points:  Setting MPFR precision to 64
1550698969.550 * * * * [misc]points:  Setting MPFR precision to 320
1550698969.553 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550698969.555 * * * * [misc]points:  Setting MPFR precision to 64
1550698969.559 * * * * [misc]points:  Setting MPFR precision to 320
1550698969.564 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550698969.566 * * * * [misc]points:  Setting MPFR precision to 64
1550698969.574 * * * * [misc]points:  Setting MPFR precision to 320
1550698969.584 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550698969.587 * * * * [misc]points:  Setting MPFR precision to 64
1550698969.602 * * * * [misc]points:  Setting MPFR precision to 320
1550698969.622 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550698969.624 * * * * [misc]points:  Setting MPFR precision to 64
1550698969.681 * * * * [misc]points:  Setting MPFR precision to 320
1550698969.717 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550698969.720 * * * * [misc]points:  Setting MPFR precision to 64
1550698969.781 * * * * [misc]points:  Setting MPFR precision to 320
1550698969.821 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550698969.823 * * * * [misc]points:  Setting MPFR precision to 64
1550698969.981 * * * * [misc]points:  Setting MPFR precision to 320
1550698970.152 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550698970.155 * * * * [misc]points:  Setting MPFR precision to 64
1550698970.414 * * * * [misc]points:  Setting MPFR precision to 320
1550698970.759 * * * * [misc]points:  Computing exacts for 8000 points
1550698970.806 * * * * [misc]points:  Setting MPFR precision to 64
1550698972.323 * * * * [misc]points:  Setting MPFR precision to 320
1550698973.432 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550698974.231 * * * * [exit]points:  Sampled 8000 points with exact outputs
1550698978.354 * [misc]regime-testing:  Baseline error score: 64.0
1550698978.358 * [misc]regime-testing:  Oracle error score: 64.0
1550698978.365 * [misc]regime-testing:  End program error score: 1.125875193014012