1550699461.706 * [misc]progress:  [Phase 1 of 3] Setting up.
1550699461.706 * * * [misc]progress:  [1/2] Preparing points
1550699461.706 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550699461.708 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550699461.710 * * * * [misc]points:  Setting MPFR precision to 64
1550699461.712 * * * * [misc]points:  Setting MPFR precision to 320
1550699461.715 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550699461.717 * * * * [misc]points:  Setting MPFR precision to 64
1550699461.720 * * * * [misc]points:  Setting MPFR precision to 320
1550699461.724 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550699461.726 * * * * [misc]points:  Setting MPFR precision to 64
1550699461.733 * * * * [misc]points:  Setting MPFR precision to 320
1550699461.740 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550699461.742 * * * * [misc]points:  Setting MPFR precision to 64
1550699461.752 * * * * [misc]points:  Setting MPFR precision to 320
1550699461.765 * * * * [misc]points:  Computing exacts for 256 points
1550699461.767 * * * * [misc]points:  Setting MPFR precision to 64
1550699461.796 * * * * [misc]points:  Setting MPFR precision to 320
1550699461.834 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699461.861 * * * * [exit]points:  Sampled 256 points with exact outputs
1550699461.861 * * * [misc]progress:  [2/2] Setting up program.
1550699461.889 * [misc]progress:  [Phase 2 of 3] Improving.
1550699461.889 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1550699461.889 * [enter]simplify:  Simplifying (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))
1550699461.890 * * [misc]simplify:  iters left: 4 (11 enodes)
1550699461.895 * * [misc]simplify:  iters left: 3 (35 enodes)
1550699461.909 * * [misc]simplify:  iters left: 2 (110 enodes)
1550699462.013 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699462.013 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550699462.013 * * [misc]simplify:  Extracting #2: cost 59 inf + 0
1550699462.014 * * [misc]simplify:  Extracting #3: cost 123 inf + 2130
1550699462.017 * * [misc]simplify:  Extracting #4: cost 112 inf + 53106
1550699462.030 * * [misc]simplify:  Extracting #5: cost 25 inf + 192497
1550699462.046 * * [misc]simplify:  Extracting #6: cost 1 inf + 232493
1550699462.061 * * [misc]simplify:  Extracting #7: cost 0 inf + 235135
1550699462.077 * [exit]simplify:  Simplified to (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
1550699462.077 * [misc]simplify:  Simplified (2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1550699462.143 * * [misc]progress:  iteration 1 / 4
1550699462.143 * * * [misc]progress:  picking best candidate
1550699462.202 * * * * [misc]pick:  Picked  #<alt (λ (x.re x.im) (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1550699462.202 * * * [misc]progress:  localizing error
1550699462.725 * * * [misc]progress:  generating rewritten candidates
1550699462.725 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550699462.728 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1)
1550699462.730 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1)
1550699462.733 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2)
1550699462.736 * * * [misc]progress:  generating series expansions
1550699462.736 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550699462.736 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1)
1550699462.736 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1)
1550699462.736 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2)
1550699462.736 * * * [misc]progress:  simplifying candidates
1550699462.736 * * * * [misc]progress:  [ 1 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (neg.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))))>
1550699462.736 * * * * [misc]progress:  [ 2 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re)) (*.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))))>
1550699462.737 * * * * [misc]progress:  [ 3 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1550699462.737 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550699462.737 * * [misc]simplify:  iters left: 1 (3 enodes)
1550699462.738 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699462.738 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699462.738 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550699462.738 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550699462.738 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550699462.738 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x.re x.im) (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))
1550699462.739 * [enter]simplify:  Simplifying (-.p16 x.re x.im)
1550699462.739 * * [misc]simplify:  iters left: 1 (3 enodes)
1550699462.740 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699462.740 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550699462.740 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550699462.740 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550699462.741 * [exit]simplify:  Simplified to (-.p16 x.re x.im)
1550699462.741 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x.re x.im) (-.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))
1550699462.741 * * * * [misc]progress:  [ 4 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 (*.p16 x.re x.re) (neg.p16 (*.p16 x.im x.im))) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1550699462.741 * * * * [misc]progress:  [ 5 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1550699462.741 * * * * [misc]progress:  [ 6 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1550699462.741 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550699462.741 * * [misc]simplify:  iters left: 1 (3 enodes)
1550699462.742 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699462.742 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699462.742 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550699462.743 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550699462.743 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550699462.743 * [misc]simplify:  Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.im x.re) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))
1550699462.743 * * * * [misc]progress:  [ 7 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (/.p16 (*.p16 (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) x.re) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1550699462.743 * [enter]simplify:  Simplifying (*.p16 (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) x.re)
1550699462.743 * * [misc]simplify:  iters left: 4 (8 enodes)
1550699462.747 * * [misc]simplify:  iters left: 3 (31 enodes)
1550699462.758 * * [misc]simplify:  iters left: 2 (83 enodes)
1550699462.793 * * [misc]simplify:  iters left: 1 (271 enodes)
1550699463.049 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699463.049 * * [misc]simplify:  Extracting #1: cost 69 inf + 0
1550699463.050 * * [misc]simplify:  Extracting #2: cost 315 inf + 1
1550699463.060 * * [misc]simplify:  Extracting #3: cost 353 inf + 48242
1550699463.086 * * [misc]simplify:  Extracting #4: cost 160 inf + 436862
1550699463.141 * * [misc]simplify:  Extracting #5: cost 7 inf + 726566
1550699463.202 * * [misc]simplify:  Extracting #6: cost 0 inf + 746500
1550699463.730 * [exit]simplify:  Simplified to (*.p16 (*.p16 (+.p16 (*.p16 x.im x.im) (*.p16 x.re x.re)) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.re)
1550699463.730 * [misc]simplify:  Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (/.p16 (*.p16 (*.p16 (+.p16 (*.p16 x.im x.im) (*.p16 x.re x.re)) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.re) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))
1550699463.730 * * * * [misc]progress:  [ 8 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1550699463.730 * * * * [misc]progress:  [ 9 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 x.im (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)))))>
1550699463.730 * * * * [misc]progress:  [ 10 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1550699463.731 * [enter]simplify:  Simplifying (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))
1550699463.731 * * [misc]simplify:  iters left: 4 (11 enodes)
1550699463.736 * * [misc]simplify:  iters left: 3 (35 enodes)
1550699463.751 * * [misc]simplify:  iters left: 2 (110 enodes)
1550699463.821 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699463.821 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550699463.821 * * [misc]simplify:  Extracting #2: cost 59 inf + 0
1550699463.822 * * [misc]simplify:  Extracting #3: cost 123 inf + 2130
1550699463.826 * * [misc]simplify:  Extracting #4: cost 112 inf + 53106
1550699463.838 * * [misc]simplify:  Extracting #5: cost 25 inf + 192497
1550699463.854 * * [misc]simplify:  Extracting #6: cost 1 inf + 232493
1550699463.874 * * [misc]simplify:  Extracting #7: cost 0 inf + 235135
1550699463.890 * [exit]simplify:  Simplified to (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
1550699463.890 * [misc]simplify:  Simplified (2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1550699463.890 * * * * [misc]progress:  [ 11 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1550699463.891 * [enter]simplify:  Simplifying (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))
1550699463.891 * * [misc]simplify:  iters left: 4 (11 enodes)
1550699463.896 * * [misc]simplify:  iters left: 3 (35 enodes)
1550699463.910 * * [misc]simplify:  iters left: 2 (110 enodes)
1550699463.980 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699463.980 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550699463.980 * * [misc]simplify:  Extracting #2: cost 59 inf + 0
1550699463.981 * * [misc]simplify:  Extracting #3: cost 123 inf + 2130
1550699463.985 * * [misc]simplify:  Extracting #4: cost 112 inf + 53106
1550699463.998 * * [misc]simplify:  Extracting #5: cost 25 inf + 192497
1550699464.016 * * [misc]simplify:  Extracting #6: cost 1 inf + 232493
1550699464.032 * * [misc]simplify:  Extracting #7: cost 0 inf + 235135
1550699464.047 * [exit]simplify:  Simplified to (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
1550699464.047 * [misc]simplify:  Simplified (2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1550699464.047 * * * * [misc]progress:  [ 12 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1550699464.047 * [enter]simplify:  Simplifying (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))
1550699464.047 * * [misc]simplify:  iters left: 4 (11 enodes)
1550699464.052 * * [misc]simplify:  iters left: 3 (35 enodes)
1550699464.066 * * [misc]simplify:  iters left: 2 (110 enodes)
1550699464.135 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699464.135 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550699464.136 * * [misc]simplify:  Extracting #2: cost 59 inf + 0
1550699464.136 * * [misc]simplify:  Extracting #3: cost 123 inf + 2130
1550699464.140 * * [misc]simplify:  Extracting #4: cost 112 inf + 53106
1550699464.153 * * [misc]simplify:  Extracting #5: cost 25 inf + 192497
1550699464.170 * * [misc]simplify:  Extracting #6: cost 1 inf + 232493
1550699464.187 * * [misc]simplify:  Extracting #7: cost 0 inf + 235135
1550699464.202 * [exit]simplify:  Simplified to (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
1550699464.202 * [misc]simplify:  Simplified (2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1550699464.202 * * * * [misc]progress:  [ 13 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1550699464.203 * [enter]simplify:  Simplifying (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))
1550699464.203 * * [misc]simplify:  iters left: 4 (11 enodes)
1550699464.208 * * [misc]simplify:  iters left: 3 (35 enodes)
1550699464.222 * * [misc]simplify:  iters left: 2 (110 enodes)
1550699464.292 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699464.292 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550699464.292 * * [misc]simplify:  Extracting #2: cost 59 inf + 0
1550699464.293 * * [misc]simplify:  Extracting #3: cost 123 inf + 2130
1550699464.297 * * [misc]simplify:  Extracting #4: cost 112 inf + 53106
1550699464.312 * * [misc]simplify:  Extracting #5: cost 25 inf + 192497
1550699464.327 * * [misc]simplify:  Extracting #6: cost 1 inf + 232493
1550699464.344 * * [misc]simplify:  Extracting #7: cost 0 inf + 235135
1550699464.360 * [exit]simplify:  Simplified to (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
1550699464.360 * [misc]simplify:  Simplified (2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1550699464.360 * * * [misc]progress:  adding candidates to table
1550699465.123 * * [misc]progress:  iteration 2 / 4
1550699465.123 * * * [misc]progress:  picking best candidate
1550699465.253 * * * * [misc]pick:  Picked  #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1550699465.253 * * * [misc]progress:  localizing error
1550699465.501 * * * [misc]progress:  generating rewritten candidates
1550699465.501 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550699465.503 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1550699465.506 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1550699465.507 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1)
1550699465.509 * * * [misc]progress:  generating series expansions
1550699465.509 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550699465.509 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1550699465.509 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1550699465.509 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1)
1550699465.509 * * * [misc]progress:  simplifying candidates
1550699465.509 * * * * [misc]progress:  [ 1 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (neg.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))))>
1550699465.509 * * * * [misc]progress:  [ 2 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re))) (*.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))))>
1550699465.509 * * * * [misc]progress:  [ 3 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1550699465.509 * * * * [misc]progress:  [ 4 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re)) (+.p16 x.re x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1550699465.509 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550699465.509 * * [misc]simplify:  iters left: 1 (3 enodes)
1550699465.510 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699465.510 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699465.510 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550699465.510 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550699465.510 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550699465.510 * [misc]simplify:  Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re)) (+.p16 x.im x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))
1550699465.510 * * * * [misc]progress:  [ 5 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 (-.p16 x.re x.im) x.re) (+.p16 x.re x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1550699465.511 * * * * [misc]progress:  [ 6 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 x.im (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)))))>
1550699465.511 * * * * [misc]progress:  [ 7 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.im x.re) (*.p16 x.re x.im)) x.im)))>
1550699465.511 * * * * [misc]progress:  [ 8 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1550699465.511 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550699465.511 * * [misc]simplify:  iters left: 1 (3 enodes)
1550699465.511 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699465.512 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699465.512 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550699465.512 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550699465.512 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550699465.512 * [misc]simplify:  Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.im x.re) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))
1550699465.512 * * * * [misc]progress:  [ 9 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1550699465.512 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550699465.512 * * [misc]simplify:  iters left: 1 (3 enodes)
1550699465.513 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699465.513 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699465.513 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550699465.513 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550699465.513 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550699465.513 * [misc]simplify:  Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.im x.re) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))
1550699465.514 * * * * [misc]progress:  [ 10 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1550699465.514 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550699465.514 * * [misc]simplify:  iters left: 1 (3 enodes)
1550699465.515 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699465.515 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699465.516 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550699465.516 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550699465.516 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550699465.516 * [misc]simplify:  Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.im x.re) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))
1550699465.516 * * * * [misc]progress:  [ 11 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1550699465.516 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550699465.516 * * [misc]simplify:  iters left: 1 (3 enodes)
1550699465.518 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699465.518 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699465.518 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550699465.518 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550699465.518 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550699465.518 * [misc]simplify:  Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.im x.re) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))
1550699465.518 * * * [misc]progress:  adding candidates to table
1550699466.091 * * [misc]progress:  iteration 3 / 4
1550699466.091 * * * [misc]progress:  picking best candidate
1550699466.290 * * * * [misc]pick:  Picked  #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1550699466.291 * * * [misc]progress:  localizing error
1550699466.668 * * * [misc]progress:  generating rewritten candidates
1550699466.668 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550699466.674 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1550699466.681 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1550699466.684 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2)
1550699466.686 * * * [misc]progress:  generating series expansions
1550699466.687 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550699466.687 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1550699466.687 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1550699466.687 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2)
1550699466.687 * * * [misc]progress:  simplifying candidates
1550699466.687 * * * * [misc]progress:  [ 1 / 20 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re)) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
1550699466.687 * [enter]simplify:  Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re))
1550699466.687 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699466.689 * * [misc]simplify:  iters left: 2 (12 enodes)
1550699466.693 * * [misc]simplify:  iters left: 1 (20 enodes)
1550699466.700 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699466.701 * * [misc]simplify:  Extracting #1: cost 9 inf + 0
1550699466.701 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1550699466.701 * * [misc]simplify:  Extracting #3: cost 3 inf + 2373
1550699466.701 * * [misc]simplify:  Extracting #4: cost 0 inf + 4297
1550699466.702 * [exit]simplify:  Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
1550699466.702 * [misc]simplify:  Simplified (2 1) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))
1550699466.702 * * * * [misc]progress:  [ 2 / 20 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (-.p16 (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
1550699466.702 * [enter]simplify:  Simplifying (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re)))
1550699466.702 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699466.704 * * [misc]simplify:  iters left: 2 (18 enodes)
1550699466.710 * * [misc]simplify:  iters left: 1 (37 enodes)
1550699466.731 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699466.731 * * [misc]simplify:  Extracting #1: cost 9 inf + 0
1550699466.731 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1550699466.731 * * [misc]simplify:  Extracting #3: cost 1 inf + 3696
1550699466.732 * * [misc]simplify:  Extracting #4: cost 0 inf + 4378
1550699466.732 * [exit]simplify:  Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
1550699466.732 * [misc]simplify:  Simplified (2 1) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (-.p16 (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))
1550699466.732 * * * * [misc]progress:  [ 3 / 20 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re) (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
1550699466.733 * [enter]simplify:  Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re)
1550699466.733 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699466.735 * * [misc]simplify:  iters left: 2 (14 enodes)
1550699466.740 * * [misc]simplify:  iters left: 1 (21 enodes)
1550699466.747 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699466.747 * * [misc]simplify:  Extracting #1: cost 11 inf + 0
1550699466.747 * * [misc]simplify:  Extracting #2: cost 11 inf + 322
1550699466.748 * * [misc]simplify:  Extracting #3: cost 8 inf + 1605
1550699466.748 * * [misc]simplify:  Extracting #4: cost 0 inf + 5581
1550699466.748 * [exit]simplify:  Simplified to (*.p16 (+.p16 x.re x.im) (*.p16 x.re x.re))
1550699466.749 * [misc]simplify:  Simplified (2 1) to (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 x.re x.re)) (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))
1550699466.749 * * * * [misc]progress:  [ 4 / 20 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (-.p16 (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
1550699466.749 * [enter]simplify:  Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
1550699466.749 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699466.752 * * [misc]simplify:  iters left: 2 (17 enodes)
1550699466.758 * * [misc]simplify:  iters left: 1 (30 enodes)
1550699466.768 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699466.768 * * [misc]simplify:  Extracting #1: cost 9 inf + 0
1550699466.768 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1550699466.769 * * [misc]simplify:  Extracting #3: cost 6 inf + 1327
1550699466.769 * * [misc]simplify:  Extracting #4: cost 0 inf + 4378
1550699466.769 * [exit]simplify:  Simplified to (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.re))
1550699466.769 * [misc]simplify:  Simplified (2 1) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.re)) (-.p16 (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))
1550699466.769 * * * * [misc]progress:  [ 5 / 20 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
1550699466.770 * * * * [misc]progress:  [ 6 / 20 ] simplifiying candidate #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))) (*.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
1550699466.770 * * * * [misc]progress:  [ 7 / 20 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re)) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1550699466.770 * [enter]simplify:  Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
1550699466.770 * * [misc]simplify:  iters left: 3 (6 enodes)
1550699466.773 * * [misc]simplify:  iters left: 2 (15 enodes)
1550699466.777 * * [misc]simplify:  iters left: 1 (34 enodes)
1550699466.790 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699466.790 * * [misc]simplify:  Extracting #1: cost 17 inf + 0
1550699466.790 * * [misc]simplify:  Extracting #2: cost 20 inf + 1
1550699466.790 * * [misc]simplify:  Extracting #3: cost 16 inf + 1126
1550699466.791 * * [misc]simplify:  Extracting #4: cost 6 inf + 6305
1550699466.792 * * [misc]simplify:  Extracting #5: cost 0 inf + 10357
1550699466.792 * [exit]simplify:  Simplified to (*.p16 (*.p16 (neg.p16 x.im) x.re) (+.p16 x.im x.re))
1550699466.792 * [misc]simplify:  Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re)) (*.p16 (*.p16 (neg.p16 x.im) x.re) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1550699466.793 * * * * [misc]progress:  [ 8 / 20 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1550699466.793 * [enter]simplify:  Simplifying (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))
1550699466.793 * * [misc]simplify:  iters left: 3 (6 enodes)
1550699466.796 * * [misc]simplify:  iters left: 2 (20 enodes)
1550699466.803 * * [misc]simplify:  iters left: 1 (45 enodes)
1550699466.816 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699466.817 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1550699466.817 * * [misc]simplify:  Extracting #2: cost 19 inf + 1
1550699466.817 * * [misc]simplify:  Extracting #3: cost 14 inf + 1009
1550699466.817 * * [misc]simplify:  Extracting #4: cost 1 inf + 8713
1550699466.818 * * [misc]simplify:  Extracting #5: cost 0 inf + 9475
1550699466.819 * [exit]simplify:  Simplified to (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
1550699466.819 * [misc]simplify:  Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1550699466.819 * * * * [misc]progress:  [ 9 / 20 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re) (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1550699466.820 * [enter]simplify:  Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re)
1550699466.820 * * [misc]simplify:  iters left: 3 (6 enodes)
1550699466.822 * * [misc]simplify:  iters left: 2 (15 enodes)
1550699466.827 * * [misc]simplify:  iters left: 1 (27 enodes)
1550699466.835 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699466.836 * * [misc]simplify:  Extracting #1: cost 18 inf + 0
1550699466.836 * * [misc]simplify:  Extracting #2: cost 22 inf + 1
1550699466.836 * * [misc]simplify:  Extracting #3: cost 14 inf + 2214
1550699466.837 * * [misc]simplify:  Extracting #4: cost 2 inf + 9957
1550699466.838 * * [misc]simplify:  Extracting #5: cost 0 inf + 11401
1550699466.838 * [exit]simplify:  Simplified to (*.p16 (*.p16 (+.p16 x.re x.im) x.re) (neg.p16 x.im))
1550699466.838 * [misc]simplify:  Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re) (*.p16 (*.p16 (+.p16 x.re x.im) x.re) (neg.p16 x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1550699466.839 * * * * [misc]progress:  [ 10 / 20 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1550699466.839 * [enter]simplify:  Simplifying (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re)
1550699466.839 * * [misc]simplify:  iters left: 3 (6 enodes)
1550699466.842 * * [misc]simplify:  iters left: 2 (21 enodes)
1550699466.849 * * [misc]simplify:  iters left: 1 (39 enodes)
1550699466.861 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699466.861 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550699466.861 * * [misc]simplify:  Extracting #2: cost 20 inf + 1
1550699466.861 * * [misc]simplify:  Extracting #3: cost 12 inf + 2534
1550699466.862 * * [misc]simplify:  Extracting #4: cost 2 inf + 8713
1550699466.863 * * [misc]simplify:  Extracting #5: cost 0 inf + 10237
1550699466.864 * [exit]simplify:  Simplified to (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))
1550699466.864 * [misc]simplify:  Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1550699466.864 * * * * [misc]progress:  [ 11 / 20 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1550699466.864 * [enter]simplify:  Simplifying (-.p16 x.re x.im)
1550699466.864 * * [misc]simplify:  iters left: 1 (3 enodes)
1550699466.867 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699466.867 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550699466.867 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550699466.867 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550699466.867 * [exit]simplify:  Simplified to (-.p16 x.re x.im)
1550699466.867 * [misc]simplify:  Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1550699466.867 * * * * [misc]progress:  [ 12 / 20 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (/.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) (+.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1550699466.868 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550699466.868 * * [misc]simplify:  iters left: 1 (3 enodes)
1550699466.869 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699466.869 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699466.869 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550699466.869 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550699466.869 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550699466.869 * [misc]simplify:  Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (/.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) (+.p16 x.im x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1550699466.870 * * * * [misc]progress:  [ 13 / 20 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.re) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1550699466.870 * * * * [misc]progress:  [ 14 / 20 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
1550699466.870 * * * * [misc]progress:  [ 15 / 20 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 (+.p16 x.im x.im) x.re) x.im)))>
1550699466.870 * * * * [misc]progress:  [ 16 / 20 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.im x.im)))))>
1550699466.870 * * * * [misc]progress:  [ 17 / 20 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1550699466.870 * [enter]simplify:  Simplifying (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
1550699466.870 * * [misc]simplify:  iters left: 4 (10 enodes)
1550699466.874 * * [misc]simplify:  iters left: 3 (36 enodes)
1550699466.889 * * [misc]simplify:  iters left: 2 (123 enodes)
1550699467.000 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699467.000 * * [misc]simplify:  Extracting #1: cost 20 inf + 0
1550699467.001 * * [misc]simplify:  Extracting #2: cost 98 inf + 1
1550699467.002 * * [misc]simplify:  Extracting #3: cost 172 inf + 11955
1550699467.010 * * [misc]simplify:  Extracting #4: cost 120 inf + 141123
1550699467.032 * * [misc]simplify:  Extracting #5: cost 6 inf + 288750
1550699467.055 * * [misc]simplify:  Extracting #6: cost 0 inf + 294718
1550699467.078 * [exit]simplify:  Simplified to (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im)))))
1550699467.078 * [misc]simplify:  Simplified (2) to (λ (x.re x.im) (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))))
1550699467.079 * * * * [misc]progress:  [ 18 / 20 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1550699467.079 * [enter]simplify:  Simplifying (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
1550699467.079 * * [misc]simplify:  iters left: 4 (10 enodes)
1550699467.084 * * [misc]simplify:  iters left: 3 (36 enodes)
1550699467.099 * * [misc]simplify:  iters left: 2 (123 enodes)
1550699467.207 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699467.207 * * [misc]simplify:  Extracting #1: cost 20 inf + 0
1550699467.207 * * [misc]simplify:  Extracting #2: cost 98 inf + 1
1550699467.208 * * [misc]simplify:  Extracting #3: cost 172 inf + 11955
1550699467.218 * * [misc]simplify:  Extracting #4: cost 120 inf + 141123
1550699467.240 * * [misc]simplify:  Extracting #5: cost 6 inf + 288750
1550699467.264 * * [misc]simplify:  Extracting #6: cost 0 inf + 294718
1550699467.292 * [exit]simplify:  Simplified to (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im)))))
1550699467.292 * [misc]simplify:  Simplified (2) to (λ (x.re x.im) (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))))
1550699467.292 * * * * [misc]progress:  [ 19 / 20 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1550699467.292 * [enter]simplify:  Simplifying (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
1550699467.292 * * [misc]simplify:  iters left: 4 (10 enodes)
1550699467.297 * * [misc]simplify:  iters left: 3 (36 enodes)
1550699467.312 * * [misc]simplify:  iters left: 2 (123 enodes)
1550699467.409 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699467.409 * * [misc]simplify:  Extracting #1: cost 20 inf + 0
1550699467.410 * * [misc]simplify:  Extracting #2: cost 98 inf + 1
1550699467.411 * * [misc]simplify:  Extracting #3: cost 172 inf + 11955
1550699467.420 * * [misc]simplify:  Extracting #4: cost 120 inf + 141123
1550699467.441 * * [misc]simplify:  Extracting #5: cost 6 inf + 288750
1550699467.464 * * [misc]simplify:  Extracting #6: cost 0 inf + 294718
1550699467.486 * [exit]simplify:  Simplified to (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im)))))
1550699467.486 * [misc]simplify:  Simplified (2) to (λ (x.re x.im) (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))))
1550699467.486 * * * * [misc]progress:  [ 20 / 20 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1550699467.486 * [enter]simplify:  Simplifying (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
1550699467.486 * * [misc]simplify:  iters left: 4 (10 enodes)
1550699467.489 * * [misc]simplify:  iters left: 3 (36 enodes)
1550699467.497 * * [misc]simplify:  iters left: 2 (123 enodes)
1550699467.595 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699467.595 * * [misc]simplify:  Extracting #1: cost 20 inf + 0
1550699467.595 * * [misc]simplify:  Extracting #2: cost 98 inf + 1
1550699467.597 * * [misc]simplify:  Extracting #3: cost 172 inf + 11955
1550699467.608 * * [misc]simplify:  Extracting #4: cost 120 inf + 141123
1550699467.630 * * [misc]simplify:  Extracting #5: cost 6 inf + 288750
1550699467.656 * * [misc]simplify:  Extracting #6: cost 0 inf + 294718
1550699467.679 * [exit]simplify:  Simplified to (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im)))))
1550699467.679 * [misc]simplify:  Simplified (2) to (λ (x.re x.im) (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))))
1550699467.680 * * * [misc]progress:  adding candidates to table
1550699468.966 * * [misc]progress:  iteration 4 / 4
1550699468.966 * * * [misc]progress:  picking best candidate
1550699469.184 * * * * [misc]pick:  Picked  #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
1550699469.184 * * * [misc]progress:  localizing error
1550699469.327 * * * [misc]progress:  generating rewritten candidates
1550699469.327 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550699469.330 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2)
1550699469.333 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1)
1550699469.336 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2)
1550699469.338 * * * [misc]progress:  generating series expansions
1550699469.338 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550699469.339 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2)
1550699469.339 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1)
1550699469.339 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2)
1550699469.339 * * * [misc]progress:  simplifying candidates
1550699469.339 * * * * [misc]progress:  [ 1 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re)) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))))>
1550699469.339 * [enter]simplify:  Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re))
1550699469.339 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699469.340 * * [misc]simplify:  iters left: 2 (12 enodes)
1550699469.342 * * [misc]simplify:  iters left: 1 (20 enodes)
1550699469.345 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699469.345 * * [misc]simplify:  Extracting #1: cost 9 inf + 0
1550699469.346 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1550699469.346 * * [misc]simplify:  Extracting #3: cost 3 inf + 2373
1550699469.346 * * [misc]simplify:  Extracting #4: cost 0 inf + 4297
1550699469.346 * [exit]simplify:  Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
1550699469.346 * [misc]simplify:  Simplified (2 1) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))))
1550699469.346 * * * * [misc]progress:  [ 2 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (-.p16 (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))))>
1550699469.346 * [enter]simplify:  Simplifying (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re)))
1550699469.346 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699469.348 * * [misc]simplify:  iters left: 2 (18 enodes)
1550699469.351 * * [misc]simplify:  iters left: 1 (37 enodes)
1550699469.357 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699469.357 * * [misc]simplify:  Extracting #1: cost 9 inf + 0
1550699469.357 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1550699469.357 * * [misc]simplify:  Extracting #3: cost 1 inf + 3696
1550699469.357 * * [misc]simplify:  Extracting #4: cost 0 inf + 4378
1550699469.357 * [exit]simplify:  Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
1550699469.357 * [misc]simplify:  Simplified (2 1) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (-.p16 (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))))
1550699469.357 * * * * [misc]progress:  [ 3 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re) (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))))>
1550699469.358 * [enter]simplify:  Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re)
1550699469.358 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699469.359 * * [misc]simplify:  iters left: 2 (14 enodes)
1550699469.371 * * [misc]simplify:  iters left: 1 (21 enodes)
1550699469.379 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699469.379 * * [misc]simplify:  Extracting #1: cost 11 inf + 0
1550699469.380 * * [misc]simplify:  Extracting #2: cost 11 inf + 322
1550699469.380 * * [misc]simplify:  Extracting #3: cost 8 inf + 1605
1550699469.380 * * [misc]simplify:  Extracting #4: cost 0 inf + 5581
1550699469.381 * [exit]simplify:  Simplified to (*.p16 (+.p16 x.re x.im) (*.p16 x.re x.re))
1550699469.381 * [misc]simplify:  Simplified (2 1) to (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 x.re x.re)) (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))))
1550699469.381 * * * * [misc]progress:  [ 4 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (-.p16 (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))))>
1550699469.381 * [enter]simplify:  Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
1550699469.381 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699469.384 * * [misc]simplify:  iters left: 2 (17 enodes)
1550699469.389 * * [misc]simplify:  iters left: 1 (30 enodes)
1550699469.394 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699469.394 * * [misc]simplify:  Extracting #1: cost 9 inf + 0
1550699469.395 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1550699469.395 * * [misc]simplify:  Extracting #3: cost 6 inf + 1327
1550699469.395 * * [misc]simplify:  Extracting #4: cost 0 inf + 4378
1550699469.395 * [exit]simplify:  Simplified to (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.re))
1550699469.395 * [misc]simplify:  Simplified (2 1) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.re)) (-.p16 (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))))
1550699469.395 * * * * [misc]progress:  [ 5 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (neg.p16 (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))))>
1550699469.395 * * * * [misc]progress:  [ 6 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))) (*.p16 (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))))>
1550699469.395 * * * * [misc]progress:  [ 7 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1550699469.395 * * * * [misc]progress:  [ 8 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.re (*.p16 x.im (+.p16 x.im x.im)))))>
1550699469.395 * * * * [misc]progress:  [ 9 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re)) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
1550699469.395 * [enter]simplify:  Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
1550699469.396 * * [misc]simplify:  iters left: 3 (6 enodes)
1550699469.397 * * [misc]simplify:  iters left: 2 (15 enodes)
1550699469.400 * * [misc]simplify:  iters left: 1 (34 enodes)
1550699469.407 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699469.407 * * [misc]simplify:  Extracting #1: cost 17 inf + 0
1550699469.407 * * [misc]simplify:  Extracting #2: cost 20 inf + 1
1550699469.407 * * [misc]simplify:  Extracting #3: cost 16 inf + 1126
1550699469.407 * * [misc]simplify:  Extracting #4: cost 6 inf + 6305
1550699469.408 * * [misc]simplify:  Extracting #5: cost 0 inf + 10357
1550699469.408 * [exit]simplify:  Simplified to (*.p16 (*.p16 (neg.p16 x.im) x.re) (+.p16 x.im x.re))
1550699469.408 * [misc]simplify:  Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re)) (*.p16 (*.p16 (neg.p16 x.im) x.re) (+.p16 x.im x.re))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
1550699469.408 * * * * [misc]progress:  [ 10 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
1550699469.408 * [enter]simplify:  Simplifying (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))
1550699469.408 * * [misc]simplify:  iters left: 3 (6 enodes)
1550699469.410 * * [misc]simplify:  iters left: 2 (20 enodes)
1550699469.414 * * [misc]simplify:  iters left: 1 (45 enodes)
1550699469.426 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699469.426 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1550699469.427 * * [misc]simplify:  Extracting #2: cost 19 inf + 1
1550699469.427 * * [misc]simplify:  Extracting #3: cost 14 inf + 1009
1550699469.427 * * [misc]simplify:  Extracting #4: cost 1 inf + 8713
1550699469.428 * * [misc]simplify:  Extracting #5: cost 0 inf + 9475
1550699469.429 * [exit]simplify:  Simplified to (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
1550699469.429 * [misc]simplify:  Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
1550699469.430 * * * * [misc]progress:  [ 11 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re) (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re)) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
1550699469.430 * [enter]simplify:  Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re)
1550699469.430 * * [misc]simplify:  iters left: 3 (6 enodes)
1550699469.433 * * [misc]simplify:  iters left: 2 (15 enodes)
1550699469.438 * * [misc]simplify:  iters left: 1 (27 enodes)
1550699469.447 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699469.447 * * [misc]simplify:  Extracting #1: cost 18 inf + 0
1550699469.448 * * [misc]simplify:  Extracting #2: cost 22 inf + 1
1550699469.448 * * [misc]simplify:  Extracting #3: cost 14 inf + 2214
1550699469.448 * * [misc]simplify:  Extracting #4: cost 2 inf + 9957
1550699469.449 * * [misc]simplify:  Extracting #5: cost 0 inf + 11401
1550699469.450 * [exit]simplify:  Simplified to (*.p16 (*.p16 (+.p16 x.re x.im) x.re) (neg.p16 x.im))
1550699469.450 * [misc]simplify:  Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re) (*.p16 (*.p16 (+.p16 x.re x.im) x.re) (neg.p16 x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
1550699469.450 * * * * [misc]progress:  [ 12 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re)) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
1550699469.451 * [enter]simplify:  Simplifying (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re)
1550699469.451 * * [misc]simplify:  iters left: 3 (6 enodes)
1550699469.454 * * [misc]simplify:  iters left: 2 (21 enodes)
1550699469.462 * * [misc]simplify:  iters left: 1 (39 enodes)
1550699469.475 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699469.475 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550699469.475 * * [misc]simplify:  Extracting #2: cost 20 inf + 1
1550699469.476 * * [misc]simplify:  Extracting #3: cost 12 inf + 2534
1550699469.476 * * [misc]simplify:  Extracting #4: cost 2 inf + 8713
1550699469.477 * * [misc]simplify:  Extracting #5: cost 0 inf + 10237
1550699469.478 * [exit]simplify:  Simplified to (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))
1550699469.478 * [misc]simplify:  Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
1550699469.479 * * * * [misc]progress:  [ 13 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
1550699469.479 * [enter]simplify:  Simplifying (-.p16 x.re x.im)
1550699469.479 * * [misc]simplify:  iters left: 1 (3 enodes)
1550699469.480 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699469.480 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550699469.481 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550699469.481 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550699469.481 * [exit]simplify:  Simplified to (-.p16 x.re x.im)
1550699469.481 * [misc]simplify:  Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
1550699469.481 * * * * [misc]progress:  [ 14 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (/.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) (+.p16 x.re x.im)) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
1550699469.481 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550699469.481 * * [misc]simplify:  iters left: 1 (3 enodes)
1550699469.483 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699469.483 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699469.483 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550699469.483 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550699469.483 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550699469.483 * [misc]simplify:  Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (/.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) (+.p16 x.im x.re)) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
1550699469.483 * * * * [misc]progress:  [ 15 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.re) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
1550699469.483 * * * * [misc]progress:  [ 16 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
1550699469.484 * [enter]simplify:  Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
1550699469.484 * * [misc]simplify:  iters left: 2 (5 enodes)
1550699469.486 * * [misc]simplify:  iters left: 1 (11 enodes)
1550699469.489 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699469.489 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1550699469.489 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1550699469.489 * * [misc]simplify:  Extracting #3: cost 7 inf + 2
1550699469.490 * * [misc]simplify:  Extracting #4: cost 0 inf + 2173
1550699469.491 * [exit]simplify:  Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
1550699469.492 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
1550699469.492 * * * * [misc]progress:  [ 17 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
1550699469.492 * [enter]simplify:  Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
1550699469.492 * * [misc]simplify:  iters left: 2 (5 enodes)
1550699469.494 * * [misc]simplify:  iters left: 1 (17 enodes)
1550699469.500 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699469.500 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550699469.500 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699469.500 * * [misc]simplify:  Extracting #3: cost 5 inf + 2
1550699469.500 * * [misc]simplify:  Extracting #4: cost 0 inf + 1370
1550699469.500 * [exit]simplify:  Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
1550699469.500 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
1550699469.500 * * * * [misc]progress:  [ 18 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (+.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
1550699469.501 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550699469.501 * * [misc]simplify:  iters left: 1 (3 enodes)
1550699469.502 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699469.502 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699469.502 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550699469.502 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550699469.502 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550699469.502 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (+.p16 x.im x.re))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
1550699469.503 * * * * [misc]progress:  [ 19 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
1550699469.503 * * * * [misc]progress:  [ 20 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
1550699469.503 * * * * [misc]progress:  [ 21 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
1550699469.503 * * * * [misc]progress:  [ 22 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
1550699469.503 * * * * [misc]progress:  [ 23 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
1550699469.503 * * * [misc]progress:  adding candidates to table
1550699470.864 * [misc]progress:  [Phase 3 of 3] Extracting.
1550699470.864 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))> #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re))) (*.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))))> #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))> #<alt (λ (x.re x.im) (-.p16 (/.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) (+.p16 x.im x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re) (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))> #<alt (λ (x.re x.im) (-.p16 (/.p16 (*.p16 (*.p16 (+.p16 (*.p16 x.im x.im) (*.p16 x.re x.re)) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.re) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))> #<alt (λ (x.re x.im) (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))))> #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re)) (*.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))))>)
1550699470.867 * * * [misc]regime-changes:  Trying 2 branch expressions: (x.im x.re)
1550699470.867 * * * * [misc]regimes:  Trying to branch on x.im from (#<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))> #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re))) (*.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))))> #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))> #<alt (λ (x.re x.im) (-.p16 (/.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) (+.p16 x.im x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re) (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))> #<alt (λ (x.re x.im) (-.p16 (/.p16 (*.p16 (*.p16 (+.p16 (*.p16 x.im x.im) (*.p16 x.re x.re)) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.re) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))> #<alt (λ (x.re x.im) (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))))> #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re)) (*.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))))>)
1550699471.285 * * * * [misc]regimes:  Trying to branch on x.re from (#<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))> #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re))) (*.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))))> #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))> #<alt (λ (x.re x.im) (-.p16 (/.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) (+.p16 x.im x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re) (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))> #<alt (λ (x.re x.im) (-.p16 (/.p16 (*.p16 (*.p16 (+.p16 (*.p16 x.im x.im) (*.p16 x.re x.re)) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.re) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))> #<alt (λ (x.re x.im) (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))))> #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re)) (*.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))))>)
1550699471.772 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1550699471.772 * [enter]simplify:  Simplifying (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))
1550699471.772 * * [misc]simplify:  iters left: 4 (11 enodes)
1550699471.773 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699471.773 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699471.773 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699471.773 * * [misc]simplify:  Extracting #3: cost 10 inf + 1
1550699471.773 * * [misc]simplify:  Extracting #4: cost 9 inf + 2
1550699471.773 * * [misc]simplify:  Extracting #5: cost 0 inf + 5460
1550699471.773 * [exit]simplify:  Simplified to (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))
1550699471.774 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550699471.815 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550699471.817 * * * * [misc]points:  Setting MPFR precision to 64
1550699471.819 * * * * [misc]points:  Setting MPFR precision to 320
1550699471.821 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550699471.824 * * * * [misc]points:  Setting MPFR precision to 64
1550699471.827 * * * * [misc]points:  Setting MPFR precision to 320
1550699471.832 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550699471.834 * * * * [misc]points:  Setting MPFR precision to 64
1550699471.841 * * * * [misc]points:  Setting MPFR precision to 320
1550699471.850 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550699471.852 * * * * [misc]points:  Setting MPFR precision to 64
1550699471.865 * * * * [misc]points:  Setting MPFR precision to 320
1550699471.882 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550699471.885 * * * * [misc]points:  Setting MPFR precision to 64
1550699471.911 * * * * [misc]points:  Setting MPFR precision to 320
1550699471.946 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550699471.948 * * * * [misc]points:  Setting MPFR precision to 64
1550699472.034 * * * * [misc]points:  Setting MPFR precision to 320
1550699472.103 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550699472.106 * * * * [misc]points:  Setting MPFR precision to 64
1550699472.255 * * * * [misc]points:  Setting MPFR precision to 320
1550699472.389 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550699472.392 * * * * [misc]points:  Setting MPFR precision to 64
1550699472.651 * * * * [misc]points:  Setting MPFR precision to 320
1550699472.978 * * * * [misc]points:  Computing exacts for 8000 points
1550699472.980 * * * * [misc]points:  Setting MPFR precision to 64
1550699474.079 * * * * [misc]points:  Setting MPFR precision to 320
1550699476.009 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699476.673 * * * * [exit]points:  Sampled 8000 points with exact outputs
1550699479.229 * [misc]regime-testing:  Baseline error score: 64.0
1550699479.231 * [misc]regime-testing:  Oracle error score: 64.0
1550699479.236 * [misc]regime-testing:  End program error score: 0.3447748220376564