1550842842.241 * [misc]progress:  [Phase 1 of 3] Setting up.
1550842842.241 * * * [misc]progress:  [1/2] Preparing points
1550842842.241 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550842842.243 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550842842.244 * * * * [misc]points:  Setting MPFR precision to 64
1550842842.246 * * * * [misc]points:  Setting MPFR precision to 320
1550842842.248 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550842842.249 * * * * [misc]points:  Setting MPFR precision to 64
1550842842.252 * * * * [misc]points:  Setting MPFR precision to 320
1550842842.255 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550842842.256 * * * * [misc]points:  Setting MPFR precision to 64
1550842842.261 * * * * [misc]points:  Setting MPFR precision to 320
1550842842.266 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550842842.268 * * * * [misc]points:  Setting MPFR precision to 64
1550842842.274 * * * * [misc]points:  Setting MPFR precision to 320
1550842842.281 * * * * [misc]points:  Computing exacts for 256 points
1550842842.282 * * * * [misc]points:  Setting MPFR precision to 64
1550842842.305 * * * * [misc]points:  Setting MPFR precision to 320
1550842842.345 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842842.369 * * * * [misc]points:  Sampling 4 additional inputs, on iter 1 have 255 / 256
1550842842.369 * * * * [misc]points:  Computing exacts for 4 points
1550842842.371 * * * * [misc]points:  Setting MPFR precision to 64
1550842842.371 * * * * [misc]points:  Setting MPFR precision to 320
1550842842.372 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842842.372 * * * * [exit]points:  Sampled 259 points with exact outputs
1550842842.372 * * * [misc]progress:  [2/2] Setting up program.
1550842842.391 * [misc]progress:  [Phase 2 of 3] Improving.
1550842842.391 * * * * [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))))>
1550842842.391 * [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)))
1550842842.392 * * [misc]simplify:  iters left: 3 (11 enodes)
1550842842.395 * * [misc]simplify:  iters left: 2 (29 enodes)
1550842842.399 * * [misc]simplify:  iters left: 1 (57 enodes)
1550842842.413 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842842.413 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842842.413 * * [misc]simplify:  Extracting #2: cost 31 inf + 0
1550842842.413 * * [misc]simplify:  Extracting #3: cost 44 inf + 0
1550842842.414 * * [misc]simplify:  Extracting #4: cost 58 inf + 647
1550842842.414 * * [misc]simplify:  Extracting #5: cost 32 inf + 21623
1550842842.416 * * [misc]simplify:  Extracting #6: cost 1 inf + 63920
1550842842.418 * * [misc]simplify:  Extracting #7: cost 0 inf + 65284
1550842842.419 * [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)))
1550842842.419 * [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))))
1550842842.436 * * [misc]progress:  iteration 1 / 4
1550842842.436 * * * [misc]progress:  picking best candidate
1550842842.465 * * * * [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))))>
1550842842.465 * * * [misc]progress:  localizing error
1550842842.698 * * * [misc]progress:  generating rewritten candidates
1550842842.698 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
1550842842.700 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1550842842.702 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 2)
1550842842.704 * * * [misc]progress:  generating series expansions
1550842842.704 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
1550842842.704 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1550842842.705 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 2)
1550842842.705 * * * [misc]progress:  simplifying candidates
1550842842.705 * * * * [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)))))>
1550842842.705 * [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)))
1550842842.705 * * [misc]simplify:  iters left: 3 (9 enodes)
1550842842.708 * * [misc]simplify:  iters left: 2 (37 enodes)
1550842842.717 * * [misc]simplify:  iters left: 1 (90 enodes)
1550842842.744 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842842.744 * * [misc]simplify:  Extracting #1: cost 21 inf + 0
1550842842.745 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1550842842.746 * * [misc]simplify:  Extracting #3: cost 88 inf + 2654
1550842842.747 * * [misc]simplify:  Extracting #4: cost 69 inf + 28908
1550842842.753 * * [misc]simplify:  Extracting #5: cost 2 inf + 127256
1550842842.758 * * [misc]simplify:  Extracting #6: cost 0 inf + 129622
1550842842.764 * [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)))
1550842842.765 * [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)))))
1550842842.765 * * * * [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))))>
1550842842.765 * * * * [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))))>
1550842842.765 * * * * [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))))>
1550842842.765 * * * * [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))))>
1550842842.765 * [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)))
1550842842.765 * * [misc]simplify:  iters left: 3 (11 enodes)
1550842842.768 * * [misc]simplify:  iters left: 2 (29 enodes)
1550842842.775 * * [misc]simplify:  iters left: 1 (57 enodes)
1550842842.788 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842842.789 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842842.789 * * [misc]simplify:  Extracting #2: cost 31 inf + 0
1550842842.789 * * [misc]simplify:  Extracting #3: cost 44 inf + 0
1550842842.789 * * [misc]simplify:  Extracting #4: cost 58 inf + 647
1550842842.789 * * [misc]simplify:  Extracting #5: cost 32 inf + 21623
1550842842.791 * * [misc]simplify:  Extracting #6: cost 1 inf + 63920
1550842842.793 * * [misc]simplify:  Extracting #7: cost 0 inf + 65284
1550842842.794 * [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)))
1550842842.794 * [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))))
1550842842.794 * * * * [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))))>
1550842842.795 * [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)))
1550842842.795 * * [misc]simplify:  iters left: 3 (11 enodes)
1550842842.797 * * [misc]simplify:  iters left: 2 (29 enodes)
1550842842.801 * * [misc]simplify:  iters left: 1 (57 enodes)
1550842842.812 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842842.812 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842842.812 * * [misc]simplify:  Extracting #2: cost 31 inf + 0
1550842842.812 * * [misc]simplify:  Extracting #3: cost 44 inf + 0
1550842842.813 * * [misc]simplify:  Extracting #4: cost 58 inf + 647
1550842842.813 * * [misc]simplify:  Extracting #5: cost 32 inf + 21623
1550842842.815 * * [misc]simplify:  Extracting #6: cost 1 inf + 63920
1550842842.818 * * [misc]simplify:  Extracting #7: cost 0 inf + 65284
1550842842.820 * [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)))
1550842842.820 * [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))))
1550842842.820 * * * * [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))))>
1550842842.821 * [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)))
1550842842.821 * * [misc]simplify:  iters left: 3 (11 enodes)
1550842842.826 * * [misc]simplify:  iters left: 2 (29 enodes)
1550842842.832 * * [misc]simplify:  iters left: 1 (57 enodes)
1550842842.845 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842842.845 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842842.846 * * [misc]simplify:  Extracting #2: cost 31 inf + 0
1550842842.846 * * [misc]simplify:  Extracting #3: cost 44 inf + 0
1550842842.846 * * [misc]simplify:  Extracting #4: cost 58 inf + 647
1550842842.847 * * [misc]simplify:  Extracting #5: cost 32 inf + 21623
1550842842.849 * * [misc]simplify:  Extracting #6: cost 1 inf + 63920
1550842842.851 * * [misc]simplify:  Extracting #7: cost 0 inf + 65284
1550842842.854 * [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)))
1550842842.854 * [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))))
1550842842.854 * * * [misc]progress:  adding candidates to table
1550842843.079 * * [misc]progress:  iteration 2 / 4
1550842843.079 * * * [misc]progress:  picking best candidate
1550842843.120 * * * * [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))))>
1550842843.120 * * * [misc]progress:  localizing error
1550842843.299 * * * [misc]progress:  generating rewritten candidates
1550842843.299 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1)
1550842843.302 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2)
1550842843.306 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1)
1550842843.309 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2)
1550842843.311 * * * [misc]progress:  generating series expansions
1550842843.311 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1)
1550842843.312 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2)
1550842843.312 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1)
1550842843.312 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2)
1550842843.312 * * * [misc]progress:  simplifying candidates
1550842843.312 * * * * [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))))>
1550842843.312 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550842843.312 * * [misc]simplify:  iters left: 2 (7 enodes)
1550842843.314 * * [misc]simplify:  iters left: 1 (18 enodes)
1550842843.317 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842843.317 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842843.317 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550842843.317 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550842843.318 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550842843.318 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550842843.318 * [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))))
1550842843.318 * * * * [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))))>
1550842843.318 * [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))))
1550842843.318 * * [misc]simplify:  iters left: 4 (11 enodes)
1550842843.322 * * [misc]simplify:  iters left: 3 (47 enodes)
1550842843.339 * * [misc]simplify:  iters left: 2 (143 enodes)
1550842843.384 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842843.384 * * [misc]simplify:  Extracting #1: cost 25 inf + 0
1550842843.384 * * [misc]simplify:  Extracting #2: cost 73 inf + 0
1550842843.385 * * [misc]simplify:  Extracting #3: cost 142 inf + 2332
1550842843.386 * * [misc]simplify:  Extracting #4: cost 134 inf + 55820
1550842843.392 * * [misc]simplify:  Extracting #5: cost 28 inf + 228590
1550842843.403 * * [misc]simplify:  Extracting #6: cost 1 inf + 283752
1550842843.413 * * [misc]simplify:  Extracting #7: cost 0 inf + 287356
1550842843.426 * [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))))
1550842843.426 * [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))))
1550842843.426 * * * * [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)))))>
1550842843.426 * [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)))
1550842843.426 * * [misc]simplify:  iters left: 3 (9 enodes)
1550842843.428 * * [misc]simplify:  iters left: 2 (37 enodes)
1550842843.435 * * [misc]simplify:  iters left: 1 (90 enodes)
1550842843.457 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842843.457 * * [misc]simplify:  Extracting #1: cost 21 inf + 0
1550842843.457 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1550842843.458 * * [misc]simplify:  Extracting #3: cost 88 inf + 2654
1550842843.459 * * [misc]simplify:  Extracting #4: cost 69 inf + 28908
1550842843.463 * * [misc]simplify:  Extracting #5: cost 2 inf + 127256
1550842843.467 * * [misc]simplify:  Extracting #6: cost 0 inf + 129622
1550842843.472 * [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)))
1550842843.472 * [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)))))
1550842843.472 * * * * [misc]progress:  [ 4 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) 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))))>
1550842843.472 * * * * [misc]progress:  [ 5 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 x.im (*.p16 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))))>
1550842843.472 * * * * [misc]progress:  [ 6 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.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))))>
1550842843.472 * * * * [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))))>
1550842843.472 * * * * [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))))>
1550842843.472 * * * * [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))))>
1550842843.472 * * * * [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))))>
1550842843.472 * * * * [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))))>
1550842843.472 * * * [misc]progress:  adding candidates to table
1550842843.857 * * [misc]progress:  iteration 3 / 4
1550842843.857 * * * [misc]progress:  picking best candidate
1550842843.951 * * * * [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))))>
1550842843.951 * * * [misc]progress:  localizing error
1550842844.049 * * * [misc]progress:  generating rewritten candidates
1550842844.049 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550842844.053 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2)
1550842844.055 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 2)
1550842844.057 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1)
1550842844.060 * * * [misc]progress:  generating series expansions
1550842844.060 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550842844.060 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2)
1550842844.060 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 2)
1550842844.060 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1)
1550842844.060 * * * [misc]progress:  simplifying candidates
1550842844.060 * * * * [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)))))>
1550842844.060 * [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)))
1550842844.060 * * [misc]simplify:  iters left: 3 (8 enodes)
1550842844.063 * * [misc]simplify:  iters left: 2 (21 enodes)
1550842844.067 * * [misc]simplify:  iters left: 1 (22 enodes)
1550842844.071 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842844.071 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842844.071 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1550842844.071 * * [misc]simplify:  Extracting #3: cost 7 inf + 2
1550842844.071 * * [misc]simplify:  Extracting #4: cost 2 inf + 328
1550842844.071 * * [misc]simplify:  Extracting #5: cost 0 inf + 1334
1550842844.071 * [exit]simplify:  Simplified to (real->posit16 1.0)
1550842844.071 * [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)))))
1550842844.071 * * * * [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))))))>
1550842844.072 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550842844.072 * * [misc]simplify:  iters left: 2 (7 enodes)
1550842844.074 * * [misc]simplify:  iters left: 1 (18 enodes)
1550842844.077 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842844.077 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842844.077 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550842844.077 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550842844.077 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550842844.077 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550842844.077 * [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))))))
1550842844.077 * * * * [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))))>
1550842844.078 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550842844.078 * * [misc]simplify:  iters left: 2 (7 enodes)
1550842844.079 * * [misc]simplify:  iters left: 1 (18 enodes)
1550842844.082 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842844.083 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842844.083 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550842844.083 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550842844.083 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550842844.083 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550842844.083 * [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))))
1550842844.083 * * * * [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))))>
1550842844.083 * * * * [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))))>
1550842844.083 * * * * [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))))>
1550842844.083 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550842844.083 * * [misc]simplify:  iters left: 2 (7 enodes)
1550842844.085 * * [misc]simplify:  iters left: 1 (18 enodes)
1550842844.088 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842844.088 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842844.088 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550842844.088 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550842844.089 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550842844.089 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550842844.089 * [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))))
1550842844.089 * * * * [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))))>
1550842844.089 * [enter]simplify:  Simplifying (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550842844.089 * * [misc]simplify:  iters left: 2 (7 enodes)
1550842844.091 * * [misc]simplify:  iters left: 1 (24 enodes)
1550842844.096 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842844.096 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550842844.096 * * [misc]simplify:  Extracting #2: cost 15 inf + 0
1550842844.096 * * [misc]simplify:  Extracting #3: cost 19 inf + 728
1550842844.097 * * [misc]simplify:  Extracting #4: cost 3 inf + 11524
1550842844.097 * * [misc]simplify:  Extracting #5: cost 0 inf + 15936
1550842844.098 * [exit]simplify:  Simplified to (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))
1550842844.098 * [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))))
1550842844.098 * * * * [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))))>
1550842844.098 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550842844.098 * * [misc]simplify:  iters left: 2 (7 enodes)
1550842844.105 * * [misc]simplify:  iters left: 1 (18 enodes)
1550842844.108 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842844.108 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842844.108 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550842844.108 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550842844.108 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550842844.108 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550842844.108 * [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))))
1550842844.108 * * * * [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))))>
1550842844.109 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550842844.109 * * [misc]simplify:  iters left: 2 (7 enodes)
1550842844.111 * * [misc]simplify:  iters left: 1 (18 enodes)
1550842844.114 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842844.114 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842844.114 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550842844.114 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550842844.114 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550842844.114 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550842844.114 * [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))))
1550842844.114 * * * * [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))))>
1550842844.114 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550842844.114 * * [misc]simplify:  iters left: 2 (7 enodes)
1550842844.116 * * [misc]simplify:  iters left: 1 (18 enodes)
1550842844.119 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842844.120 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842844.120 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550842844.120 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550842844.120 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550842844.120 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550842844.120 * [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))))
1550842844.120 * * * * [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))))>
1550842844.120 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550842844.120 * * [misc]simplify:  iters left: 2 (7 enodes)
1550842844.122 * * [misc]simplify:  iters left: 1 (18 enodes)
1550842844.126 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842844.126 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842844.126 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550842844.126 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550842844.126 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550842844.126 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550842844.126 * [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))))
1550842844.126 * * * [misc]progress:  adding candidates to table
1550842844.493 * * [misc]progress:  iteration 4 / 4
1550842844.493 * * * [misc]progress:  picking best candidate
1550842844.614 * * * * [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)))))>
1550842844.614 * * * [misc]progress:  localizing error
1550842844.706 * * * [misc]progress:  generating rewritten candidates
1550842844.706 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2)
1550842844.709 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 2)
1550842844.711 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2)
1550842844.714 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1)
1550842844.717 * * * [misc]progress:  generating series expansions
1550842844.717 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2)
1550842844.717 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 2)
1550842844.717 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2)
1550842844.717 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1)
1550842844.717 * * * [misc]progress:  simplifying candidates
1550842844.717 * * * * [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)))))>
1550842844.717 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550842844.717 * * [misc]simplify:  iters left: 2 (7 enodes)
1550842844.719 * * [misc]simplify:  iters left: 1 (18 enodes)
1550842844.723 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842844.723 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842844.723 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550842844.723 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550842844.723 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550842844.723 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550842844.723 * [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)))))
1550842844.723 * * * * [misc]progress:  [ 2 / 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))))))>
1550842844.723 * * * * [misc]progress:  [ 3 / 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))))))>
1550842844.723 * * * * [misc]progress:  [ 4 / 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))))>
1550842844.724 * [enter]simplify:  Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550842844.724 * * [misc]simplify:  iters left: 2 (7 enodes)
1550842844.726 * * [misc]simplify:  iters left: 1 (18 enodes)
1550842844.729 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842844.729 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842844.729 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550842844.729 * * [misc]simplify:  Extracting #3: cost 2 inf + 326
1550842844.729 * * [misc]simplify:  Extracting #4: cost 0 inf + 1332
1550842844.730 * [exit]simplify:  Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1550842844.730 * [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))))
1550842844.730 * * * * [misc]progress:  [ 5 / 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))))>
1550842844.730 * [enter]simplify:  Simplifying (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1550842844.730 * * [misc]simplify:  iters left: 2 (7 enodes)
1550842844.732 * * [misc]simplify:  iters left: 1 (24 enodes)
1550842844.745 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842844.745 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550842844.745 * * [misc]simplify:  Extracting #2: cost 15 inf + 0
1550842844.745 * * [misc]simplify:  Extracting #3: cost 19 inf + 728
1550842844.746 * * [misc]simplify:  Extracting #4: cost 3 inf + 11524
1550842844.747 * * [misc]simplify:  Extracting #5: cost 0 inf + 15936
1550842844.748 * [exit]simplify:  Simplified to (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))
1550842844.748 * [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))))
1550842844.748 * * * * [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)))))>
1550842844.748 * * * * [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)))))>
1550842844.748 * [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))))
1550842844.748 * * [misc]simplify:  iters left: 4 (14 enodes)
1550842844.753 * * [misc]simplify:  iters left: 3 (35 enodes)
1550842844.762 * * [misc]simplify:  iters left: 2 (74 enodes)
1550842844.784 * * [misc]simplify:  iters left: 1 (208 enodes)
1550842844.886 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842844.886 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550842844.886 * * [misc]simplify:  Extracting #2: cost 157 inf + 0
1550842844.887 * * [misc]simplify:  Extracting #3: cost 232 inf + 646
1550842844.889 * * [misc]simplify:  Extracting #4: cost 277 inf + 15215
1550842844.899 * * [misc]simplify:  Extracting #5: cost 108 inf + 261189
1550842844.922 * * [misc]simplify:  Extracting #6: cost 10 inf + 467107
1550842844.945 * * [misc]simplify:  Extracting #7: cost 0 inf + 497790
1550842844.971 * [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)))
1550842844.971 * [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))))
1550842844.971 * * * * [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)))))>
1550842844.971 * [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))))
1550842844.972 * * [misc]simplify:  iters left: 4 (14 enodes)
1550842844.976 * * [misc]simplify:  iters left: 3 (35 enodes)
1550842844.984 * * [misc]simplify:  iters left: 2 (74 enodes)
1550842845.004 * * [misc]simplify:  iters left: 1 (208 enodes)
1550842845.111 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842845.111 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550842845.112 * * [misc]simplify:  Extracting #2: cost 157 inf + 0
1550842845.113 * * [misc]simplify:  Extracting #3: cost 232 inf + 646
1550842845.118 * * [misc]simplify:  Extracting #4: cost 277 inf + 15215
1550842845.128 * * [misc]simplify:  Extracting #5: cost 108 inf + 261189
1550842845.150 * * [misc]simplify:  Extracting #6: cost 10 inf + 467107
1550842845.175 * * [misc]simplify:  Extracting #7: cost 0 inf + 497790
1550842845.199 * [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)))
1550842845.199 * [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))))
1550842845.199 * * * * [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)))))>
1550842845.199 * [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))))
1550842845.199 * * [misc]simplify:  iters left: 4 (14 enodes)
1550842845.204 * * [misc]simplify:  iters left: 3 (35 enodes)
1550842845.213 * * [misc]simplify:  iters left: 2 (74 enodes)
1550842845.234 * * [misc]simplify:  iters left: 1 (208 enodes)
1550842845.335 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842845.335 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550842845.335 * * [misc]simplify:  Extracting #2: cost 157 inf + 0
1550842845.336 * * [misc]simplify:  Extracting #3: cost 232 inf + 646
1550842845.338 * * [misc]simplify:  Extracting #4: cost 277 inf + 15215
1550842845.348 * * [misc]simplify:  Extracting #5: cost 108 inf + 261189
1550842845.371 * * [misc]simplify:  Extracting #6: cost 10 inf + 467107
1550842845.395 * * [misc]simplify:  Extracting #7: cost 0 inf + 497790
1550842845.421 * [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)))
1550842845.421 * [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))))
1550842845.421 * * * * [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)))))>
1550842845.422 * [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))))
1550842845.422 * * [misc]simplify:  iters left: 4 (14 enodes)
1550842845.425 * * [misc]simplify:  iters left: 3 (35 enodes)
1550842845.430 * * [misc]simplify:  iters left: 2 (74 enodes)
1550842845.447 * * [misc]simplify:  iters left: 1 (208 enodes)
1550842845.529 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842845.529 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550842845.529 * * [misc]simplify:  Extracting #2: cost 157 inf + 0
1550842845.530 * * [misc]simplify:  Extracting #3: cost 232 inf + 646
1550842845.531 * * [misc]simplify:  Extracting #4: cost 277 inf + 15215
1550842845.538 * * [misc]simplify:  Extracting #5: cost 108 inf + 261189
1550842845.554 * * [misc]simplify:  Extracting #6: cost 10 inf + 467107
1550842845.579 * * [misc]simplify:  Extracting #7: cost 0 inf + 497790
1550842845.597 * [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)))
1550842845.597 * [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))))
1550842845.597 * * * [misc]progress:  adding candidates to table
1550842846.054 * [misc]progress:  [Phase 3 of 3] Extracting.
1550842846.054 * * [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 (*.p16 (*.p16 x.im y.re) 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 (*.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 (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 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (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 (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.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 (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 x.im (*.p16 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))))>)
1550842846.060 * * * [misc]regime-changes:  Trying 4 branch expressions: (y.im x.re y.re x.im)
1550842846.060 * * * * [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 (*.p16 (*.p16 x.im y.re) 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 (*.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 (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 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (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 (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.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 (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 x.im (*.p16 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))))>)
1550842846.473 * * * * [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 (*.p16 (*.p16 x.im y.re) 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 (*.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 (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 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (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 (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.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 (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 x.im (*.p16 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))))>)
1550842846.851 * * * * [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 (*.p16 (*.p16 x.im y.re) 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 (*.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 (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 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (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 (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.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 (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 x.im (*.p16 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))))>)
1550842847.185 * * * * [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 (*.p16 (*.p16 x.im y.re) 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 (*.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 (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 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (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 (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.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 (/.p16 (real->posit16 1.0) (/.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 x.im (*.p16 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))))>)
1550842847.581 * * * [misc]regime:  Found split indices: #<option (#s(si 6 256))>
1550842847.581 * [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)))
1550842847.581 * * [misc]simplify:  iters left: 5 (14 enodes)
1550842847.582 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842847.582 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842847.582 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550842847.582 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1550842847.582 * * [misc]simplify:  Extracting #4: cost 9 inf + 1326
1550842847.582 * * [misc]simplify:  Extracting #5: cost 6 inf + 1650
1550842847.582 * * [misc]simplify:  Extracting #6: cost 3 inf + 3380
1550842847.582 * * [misc]simplify:  Extracting #7: cost 0 inf + 8992
1550842847.583 * [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)))
1550842847.583 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550842847.643 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550842847.645 * * * * [misc]points:  Setting MPFR precision to 64
1550842847.647 * * * * [misc]points:  Setting MPFR precision to 320
1550842847.648 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550842847.650 * * * * [misc]points:  Setting MPFR precision to 64
1550842847.653 * * * * [misc]points:  Setting MPFR precision to 320
1550842847.657 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550842847.658 * * * * [misc]points:  Setting MPFR precision to 64
1550842847.664 * * * * [misc]points:  Setting MPFR precision to 320
1550842847.672 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550842847.673 * * * * [misc]points:  Setting MPFR precision to 64
1550842847.698 * * * * [misc]points:  Setting MPFR precision to 320
1550842847.711 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550842847.712 * * * * [misc]points:  Setting MPFR precision to 64
1550842847.728 * * * * [misc]points:  Setting MPFR precision to 320
1550842847.747 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550842847.749 * * * * [misc]points:  Setting MPFR precision to 64
1550842847.779 * * * * [misc]points:  Setting MPFR precision to 320
1550842847.854 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550842847.855 * * * * [misc]points:  Setting MPFR precision to 64
1550842847.917 * * * * [misc]points:  Setting MPFR precision to 320
1550842848.029 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550842848.031 * * * * [misc]points:  Setting MPFR precision to 64
1550842848.246 * * * * [misc]points:  Setting MPFR precision to 320
1550842848.539 * * * * [misc]points:  Computing exacts for 8000 points
1550842848.541 * * * * [misc]points:  Setting MPFR precision to 64
1550842849.647 * * * * [misc]points:  Setting MPFR precision to 320
1550842850.573 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842851.212 * * * * [misc]points:  Sampling 4 additional inputs, on iter 1 have 7999 / 8000
1550842851.212 * * * * [misc]points:  Computing exacts for 4 points
1550842851.213 * * * * [misc]points:  Setting MPFR precision to 64
1550842851.213 * * * * [misc]points:  Setting MPFR precision to 320
1550842851.214 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842851.214 * * * * [exit]points:  Sampled 8003 points with exact outputs
1550842855.306 * [misc]regime-testing:  Baseline error score: 64.0
1550842855.309 * [misc]regime-testing:  Oracle error score: 64.0
1550842855.314 * [misc]regime-testing:  End program error score: 1.1285422519531616