1550619716.806 * [misc]progress:  [Phase 1 of 3] Setting up.
1550619716.806 * * * [misc]progress:  [1/2] Preparing points
1550619716.806 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550619716.807 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550619716.808 * * * * [misc]points:  Setting MPFR precision to 64
1550619716.810 * * * * [misc]points:  Setting MPFR precision to 320
1550619716.811 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550619716.812 * * * * [misc]points:  Setting MPFR precision to 64
1550619716.817 * * * * [misc]points:  Setting MPFR precision to 320
1550619716.819 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550619716.821 * * * * [misc]points:  Setting MPFR precision to 64
1550619716.824 * * * * [misc]points:  Setting MPFR precision to 320
1550619716.831 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550619716.833 * * * * [misc]points:  Setting MPFR precision to 64
1550619716.842 * * * * [misc]points:  Setting MPFR precision to 320
1550619716.855 * * * * [misc]points:  Computing exacts for 256 points
1550619716.856 * * * * [misc]points:  Setting MPFR precision to 64
1550619716.872 * * * * [misc]points:  Setting MPFR precision to 320
1550619716.893 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619716.908 * * * * [exit]points:  Sampled 256 points with exact outputs
1550619716.908 * * * [misc]progress:  [2/2] Setting up program.
1550619716.925 * [misc]progress:  [Phase 2 of 3] Improving.
1550619716.925 * * * * [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)))>
1550619716.925 * [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))
1550619716.925 * * [misc]simplify:  iters left: 4 (11 enodes)
1550619716.928 * * [misc]simplify:  iters left: 3 (35 enodes)
1550619716.934 * * [misc]simplify:  iters left: 2 (110 enodes)
1550619716.980 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619716.981 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550619716.982 * * [misc]simplify:  Extracting #2: cost 59 inf + 0
1550619716.982 * * [misc]simplify:  Extracting #3: cost 123 inf + 2130
1550619716.984 * * [misc]simplify:  Extracting #4: cost 112 inf + 53106
1550619716.990 * * [misc]simplify:  Extracting #5: cost 25 inf + 192497
1550619716.998 * * [misc]simplify:  Extracting #6: cost 1 inf + 232493
1550619717.006 * * [misc]simplify:  Extracting #7: cost 0 inf + 235135
1550619717.015 * [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)))
1550619717.015 * [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))))
1550619717.051 * * [misc]progress:  iteration 1 / 4
1550619717.052 * * * [misc]progress:  picking best candidate
1550619717.082 * * * * [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))))>
1550619717.082 * * * [misc]progress:  localizing error
1550619717.361 * * * [misc]progress:  generating rewritten candidates
1550619717.361 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550619717.364 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1550619717.367 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1550619717.369 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2)
1550619717.371 * * * [misc]progress:  generating series expansions
1550619717.371 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550619717.371 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1550619717.371 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1550619717.371 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2)
1550619717.371 * * * [misc]progress:  simplifying candidates
1550619717.371 * * * * [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)))))>
1550619717.371 * [enter]simplify:  Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re))
1550619717.371 * * [misc]simplify:  iters left: 3 (5 enodes)
1550619717.372 * * [misc]simplify:  iters left: 2 (12 enodes)
1550619717.374 * * [misc]simplify:  iters left: 1 (20 enodes)
1550619717.377 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619717.377 * * [misc]simplify:  Extracting #1: cost 9 inf + 0
1550619717.377 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1550619717.377 * * [misc]simplify:  Extracting #3: cost 3 inf + 2373
1550619717.377 * * [misc]simplify:  Extracting #4: cost 0 inf + 4297
1550619717.377 * [exit]simplify:  Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
1550619717.377 * [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)))))
1550619717.377 * * * * [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)))))>
1550619717.378 * [enter]simplify:  Simplifying (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re)))
1550619717.378 * * [misc]simplify:  iters left: 3 (5 enodes)
1550619717.379 * * [misc]simplify:  iters left: 2 (18 enodes)
1550619717.382 * * [misc]simplify:  iters left: 1 (37 enodes)
1550619717.387 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619717.387 * * [misc]simplify:  Extracting #1: cost 9 inf + 0
1550619717.387 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1550619717.387 * * [misc]simplify:  Extracting #3: cost 1 inf + 3696
1550619717.387 * * [misc]simplify:  Extracting #4: cost 0 inf + 4378
1550619717.387 * [exit]simplify:  Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
1550619717.388 * [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)))))
1550619717.388 * * * * [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)))))>
1550619717.388 * [enter]simplify:  Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re)
1550619717.388 * * [misc]simplify:  iters left: 3 (5 enodes)
1550619717.389 * * [misc]simplify:  iters left: 2 (14 enodes)
1550619717.391 * * [misc]simplify:  iters left: 1 (21 enodes)
1550619717.394 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619717.394 * * [misc]simplify:  Extracting #1: cost 11 inf + 0
1550619717.394 * * [misc]simplify:  Extracting #2: cost 11 inf + 322
1550619717.394 * * [misc]simplify:  Extracting #3: cost 8 inf + 1605
1550619717.394 * * [misc]simplify:  Extracting #4: cost 0 inf + 5581
1550619717.394 * [exit]simplify:  Simplified to (*.p16 (+.p16 x.re x.im) (*.p16 x.re x.re))
1550619717.395 * [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)))))
1550619717.395 * * * * [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)))))>
1550619717.395 * [enter]simplify:  Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
1550619717.395 * * [misc]simplify:  iters left: 3 (5 enodes)
1550619717.396 * * [misc]simplify:  iters left: 2 (17 enodes)
1550619717.399 * * [misc]simplify:  iters left: 1 (30 enodes)
1550619717.403 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619717.403 * * [misc]simplify:  Extracting #1: cost 9 inf + 0
1550619717.403 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1550619717.403 * * [misc]simplify:  Extracting #3: cost 6 inf + 1327
1550619717.403 * * [misc]simplify:  Extracting #4: cost 0 inf + 4378
1550619717.403 * [exit]simplify:  Simplified to (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.re))
1550619717.403 * [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)))))
1550619717.403 * * * * [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)))))>
1550619717.404 * * * * [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)))))>
1550619717.404 * * * * [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))))>
1550619717.404 * [enter]simplify:  Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
1550619717.404 * * [misc]simplify:  iters left: 3 (6 enodes)
1550619717.405 * * [misc]simplify:  iters left: 2 (15 enodes)
1550619717.407 * * [misc]simplify:  iters left: 1 (34 enodes)
1550619717.413 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619717.413 * * [misc]simplify:  Extracting #1: cost 17 inf + 0
1550619717.414 * * [misc]simplify:  Extracting #2: cost 20 inf + 1
1550619717.414 * * [misc]simplify:  Extracting #3: cost 16 inf + 1126
1550619717.414 * * [misc]simplify:  Extracting #4: cost 6 inf + 6305
1550619717.414 * * [misc]simplify:  Extracting #5: cost 0 inf + 10357
1550619717.415 * [exit]simplify:  Simplified to (*.p16 (*.p16 (neg.p16 x.im) x.re) (+.p16 x.im x.re))
1550619717.415 * [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))))
1550619717.415 * * * * [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))))>
1550619717.415 * [enter]simplify:  Simplifying (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))
1550619717.415 * * [misc]simplify:  iters left: 3 (6 enodes)
1550619717.416 * * [misc]simplify:  iters left: 2 (20 enodes)
1550619717.420 * * [misc]simplify:  iters left: 1 (45 enodes)
1550619717.429 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619717.429 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1550619717.429 * * [misc]simplify:  Extracting #2: cost 19 inf + 1
1550619717.429 * * [misc]simplify:  Extracting #3: cost 14 inf + 1009
1550619717.429 * * [misc]simplify:  Extracting #4: cost 1 inf + 8713
1550619717.430 * * [misc]simplify:  Extracting #5: cost 0 inf + 9475
1550619717.430 * [exit]simplify:  Simplified to (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
1550619717.430 * [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))))
1550619717.430 * * * * [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))))>
1550619717.431 * [enter]simplify:  Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re)
1550619717.431 * * [misc]simplify:  iters left: 3 (6 enodes)
1550619717.432 * * [misc]simplify:  iters left: 2 (15 enodes)
1550619717.434 * * [misc]simplify:  iters left: 1 (27 enodes)
1550619717.438 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619717.438 * * [misc]simplify:  Extracting #1: cost 18 inf + 0
1550619717.438 * * [misc]simplify:  Extracting #2: cost 22 inf + 1
1550619717.438 * * [misc]simplify:  Extracting #3: cost 14 inf + 2214
1550619717.439 * * [misc]simplify:  Extracting #4: cost 2 inf + 9957
1550619717.439 * * [misc]simplify:  Extracting #5: cost 0 inf + 11401
1550619717.439 * [exit]simplify:  Simplified to (*.p16 (*.p16 (+.p16 x.re x.im) x.re) (neg.p16 x.im))
1550619717.439 * [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))))
1550619717.440 * * * * [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))))>
1550619717.440 * [enter]simplify:  Simplifying (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re)
1550619717.440 * * [misc]simplify:  iters left: 3 (6 enodes)
1550619717.441 * * [misc]simplify:  iters left: 2 (21 enodes)
1550619717.444 * * [misc]simplify:  iters left: 1 (39 enodes)
1550619717.450 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619717.450 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550619717.450 * * [misc]simplify:  Extracting #2: cost 20 inf + 1
1550619717.450 * * [misc]simplify:  Extracting #3: cost 12 inf + 2534
1550619717.451 * * [misc]simplify:  Extracting #4: cost 2 inf + 8713
1550619717.451 * * [misc]simplify:  Extracting #5: cost 0 inf + 10237
1550619717.452 * [exit]simplify:  Simplified to (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))
1550619717.452 * [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))))
1550619717.452 * * * * [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))))>
1550619717.452 * [enter]simplify:  Simplifying (-.p16 x.re x.im)
1550619717.452 * * [misc]simplify:  iters left: 1 (3 enodes)
1550619717.453 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619717.453 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619717.453 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550619717.453 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550619717.453 * [exit]simplify:  Simplified to (-.p16 x.re x.im)
1550619717.453 * [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))))
1550619717.453 * * * * [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))))>
1550619717.453 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550619717.453 * * [misc]simplify:  iters left: 1 (3 enodes)
1550619717.454 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619717.454 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619717.454 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550619717.454 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550619717.454 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550619717.454 * [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))))
1550619717.454 * * * * [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))))>
1550619717.454 * * * * [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)))>
1550619717.454 * * * * [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)))>
1550619717.454 * * * * [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)))))>
1550619717.454 * * * * [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))))>
1550619717.454 * [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)))
1550619717.454 * * [misc]simplify:  iters left: 4 (10 enodes)
1550619717.457 * * [misc]simplify:  iters left: 3 (36 enodes)
1550619717.464 * * [misc]simplify:  iters left: 2 (123 enodes)
1550619717.521 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619717.521 * * [misc]simplify:  Extracting #1: cost 20 inf + 0
1550619717.521 * * [misc]simplify:  Extracting #2: cost 98 inf + 1
1550619717.522 * * [misc]simplify:  Extracting #3: cost 172 inf + 11955
1550619717.527 * * [misc]simplify:  Extracting #4: cost 120 inf + 141123
1550619717.537 * * [misc]simplify:  Extracting #5: cost 6 inf + 288750
1550619717.549 * * [misc]simplify:  Extracting #6: cost 0 inf + 294718
1550619717.561 * [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)))))
1550619717.561 * [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))))))
1550619717.562 * * * * [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))))>
1550619717.562 * [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)))
1550619717.562 * * [misc]simplify:  iters left: 4 (10 enodes)
1550619717.564 * * [misc]simplify:  iters left: 3 (36 enodes)
1550619717.573 * * [misc]simplify:  iters left: 2 (123 enodes)
1550619717.624 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619717.624 * * [misc]simplify:  Extracting #1: cost 20 inf + 0
1550619717.624 * * [misc]simplify:  Extracting #2: cost 98 inf + 1
1550619717.627 * * [misc]simplify:  Extracting #3: cost 172 inf + 11955
1550619717.632 * * [misc]simplify:  Extracting #4: cost 120 inf + 141123
1550619717.643 * * [misc]simplify:  Extracting #5: cost 6 inf + 288750
1550619717.654 * * [misc]simplify:  Extracting #6: cost 0 inf + 294718
1550619717.666 * [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)))))
1550619717.666 * [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))))))
1550619717.666 * * * * [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))))>
1550619717.666 * [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)))
1550619717.666 * * [misc]simplify:  iters left: 4 (10 enodes)
1550619717.668 * * [misc]simplify:  iters left: 3 (36 enodes)
1550619717.676 * * [misc]simplify:  iters left: 2 (123 enodes)
1550619717.746 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619717.746 * * [misc]simplify:  Extracting #1: cost 20 inf + 0
1550619717.746 * * [misc]simplify:  Extracting #2: cost 98 inf + 1
1550619717.748 * * [misc]simplify:  Extracting #3: cost 172 inf + 11955
1550619717.758 * * [misc]simplify:  Extracting #4: cost 120 inf + 141123
1550619717.778 * * [misc]simplify:  Extracting #5: cost 6 inf + 288750
1550619717.801 * * [misc]simplify:  Extracting #6: cost 0 inf + 294718
1550619717.826 * [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)))))
1550619717.826 * [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))))))
1550619717.826 * * * * [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))))>
1550619717.826 * [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)))
1550619717.826 * * [misc]simplify:  iters left: 4 (10 enodes)
1550619717.828 * * [misc]simplify:  iters left: 3 (36 enodes)
1550619717.835 * * [misc]simplify:  iters left: 2 (123 enodes)
1550619717.888 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619717.888 * * [misc]simplify:  Extracting #1: cost 20 inf + 0
1550619717.888 * * [misc]simplify:  Extracting #2: cost 98 inf + 1
1550619717.889 * * [misc]simplify:  Extracting #3: cost 172 inf + 11955
1550619717.893 * * [misc]simplify:  Extracting #4: cost 120 inf + 141123
1550619717.904 * * [misc]simplify:  Extracting #5: cost 6 inf + 288750
1550619717.920 * * [misc]simplify:  Extracting #6: cost 0 inf + 294718
1550619717.944 * [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)))))
1550619717.944 * [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))))))
1550619717.944 * * * [misc]progress:  adding candidates to table
1550619718.823 * * [misc]progress:  iteration 2 / 4
1550619718.823 * * * [misc]progress:  picking best candidate
1550619719.013 * * * * [misc]pick:  Picked  #<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))))>
1550619719.013 * * * [misc]progress:  localizing error
1550619719.144 * * * [misc]progress:  generating rewritten candidates
1550619719.144 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550619719.146 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2)
1550619719.155 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1)
1550619719.159 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1)
1550619719.160 * * * [misc]progress:  generating series expansions
1550619719.160 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550619719.160 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2)
1550619719.160 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1)
1550619719.160 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1)
1550619719.160 * * * [misc]progress:  simplifying candidates
1550619719.160 * * * * [misc]progress:  [ 1 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (neg.p16 x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
1550619719.160 * [enter]simplify:  Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
1550619719.160 * * [misc]simplify:  iters left: 3 (5 enodes)
1550619719.162 * * [misc]simplify:  iters left: 2 (17 enodes)
1550619719.164 * * [misc]simplify:  iters left: 1 (30 enodes)
1550619719.169 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619719.169 * * [misc]simplify:  Extracting #1: cost 9 inf + 0
1550619719.169 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1550619719.169 * * [misc]simplify:  Extracting #3: cost 6 inf + 1327
1550619719.169 * * [misc]simplify:  Extracting #4: cost 0 inf + 4378
1550619719.170 * [exit]simplify:  Simplified to (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.re))
1550619719.170 * [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 x.re (+.p16 x.im x.re)) (neg.p16 x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))
1550619719.170 * * * * [misc]progress:  [ 2 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (-.p16 (*.p16 (neg.p16 x.im) (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
1550619719.170 * [enter]simplify:  Simplifying (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re)))
1550619719.170 * * [misc]simplify:  iters left: 3 (5 enodes)
1550619719.172 * * [misc]simplify:  iters left: 2 (18 enodes)
1550619719.175 * * [misc]simplify:  iters left: 1 (37 enodes)
1550619719.181 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619719.181 * * [misc]simplify:  Extracting #1: cost 9 inf + 0
1550619719.181 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1550619719.181 * * [misc]simplify:  Extracting #3: cost 1 inf + 3696
1550619719.181 * * [misc]simplify:  Extracting #4: cost 0 inf + 4378
1550619719.182 * [exit]simplify:  Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
1550619719.182 * [misc]simplify:  Simplified (2 1) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (-.p16 (*.p16 (neg.p16 x.im) (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))
1550619719.182 * * * * [misc]progress:  [ 3 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
1550619719.182 * * * * [misc]progress:  [ 4 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 (*.p16 x.re (+.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 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
1550619719.182 * * * * [misc]progress:  [ 5 / 18 ] 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)))>
1550619719.182 * * * * [misc]progress:  [ 6 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 (*.p16 (+.p16 x.im x.im) x.re) x.im)))>
1550619719.182 * * * * [misc]progress:  [ 7 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (neg.p16 x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1550619719.182 * [enter]simplify:  Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (neg.p16 x.im))
1550619719.182 * * [misc]simplify:  iters left: 3 (6 enodes)
1550619719.183 * * [misc]simplify:  iters left: 2 (20 enodes)
1550619719.188 * * [misc]simplify:  iters left: 1 (38 enodes)
1550619719.200 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619719.200 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550619719.200 * * [misc]simplify:  Extracting #2: cost 16 inf + 1
1550619719.200 * * [misc]simplify:  Extracting #3: cost 14 inf + 323
1550619719.201 * * [misc]simplify:  Extracting #4: cost 0 inf + 7028
1550619719.201 * [exit]simplify:  Simplified to (*.p16 (*.p16 x.re (neg.p16 x.im)) (+.p16 x.im x.re))
1550619719.201 * [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 (*.p16 x.re (neg.p16 x.im)) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1550619719.201 * * * * [misc]progress:  [ 8 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (*.p16 (neg.p16 x.im) (*.p16 x.re (+.p16 x.im x.re)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1550619719.202 * [enter]simplify:  Simplifying (*.p16 (neg.p16 x.im) (*.p16 x.re (+.p16 x.im x.re)))
1550619719.202 * * [misc]simplify:  iters left: 3 (6 enodes)
1550619719.204 * * [misc]simplify:  iters left: 2 (20 enodes)
1550619719.210 * * [misc]simplify:  iters left: 1 (46 enodes)
1550619719.223 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619719.223 * * [misc]simplify:  Extracting #1: cost 11 inf + 0
1550619719.223 * * [misc]simplify:  Extracting #2: cost 15 inf + 1
1550619719.223 * * [misc]simplify:  Extracting #3: cost 13 inf + 323
1550619719.224 * * [misc]simplify:  Extracting #4: cost 5 inf + 3657
1550619719.224 * * [misc]simplify:  Extracting #5: cost 0 inf + 6346
1550619719.225 * [exit]simplify:  Simplified to (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) x.re)
1550619719.225 * [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 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1550619719.225 * * * * [misc]progress:  [ 9 / 18 ] 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))))>
1550619719.225 * * * * [misc]progress:  [ 10 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (/.p16 (*.p16 (*.p16 x.re (+.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))))>
1550619719.225 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550619719.225 * * [misc]simplify:  iters left: 1 (3 enodes)
1550619719.226 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619719.226 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619719.226 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550619719.226 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550619719.227 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550619719.227 * [misc]simplify:  Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (/.p16 (*.p16 (*.p16 x.re (+.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))))
1550619719.227 * * * * [misc]progress:  [ 11 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (-.p16 x.re x.im) (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1550619719.227 * * * * [misc]progress:  [ 12 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1550619719.227 * [enter]simplify:  Simplifying (*.p16 x.re x.re)
1550619719.227 * * [misc]simplify:  iters left: 1 (2 enodes)
1550619719.228 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619719.228 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550619719.228 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550619719.228 * * [misc]simplify:  Extracting #3: cost 0 inf + 322
1550619719.228 * [exit]simplify:  Simplified to (*.p16 x.re x.re)
1550619719.228 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x.re x.im) (-.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1550619719.228 * * * * [misc]progress:  [ 13 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 (*.p16 x.im x.re) (*.p16 x.re x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1550619719.228 * [enter]simplify:  Simplifying (*.p16 x.re x.re)
1550619719.228 * * [misc]simplify:  iters left: 1 (2 enodes)
1550619719.229 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619719.229 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550619719.229 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550619719.229 * * [misc]simplify:  Extracting #3: cost 0 inf + 322
1550619719.229 * [exit]simplify:  Simplified to (*.p16 x.re x.re)
1550619719.229 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x.re x.im) (-.p16 (*.p16 (+.p16 (*.p16 x.im x.re) (*.p16 x.re x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1550619719.229 * * * * [misc]progress:  [ 14 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1550619719.229 * * * * [misc]progress:  [ 15 / 18 ] 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))))>
1550619719.230 * [enter]simplify:  Simplifying (-.p16 x.re x.im)
1550619719.230 * * [misc]simplify:  iters left: 1 (3 enodes)
1550619719.231 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619719.231 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619719.231 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550619719.231 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550619719.231 * [exit]simplify:  Simplified to (-.p16 x.re x.im)
1550619719.231 * [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))))
1550619719.232 * * * * [misc]progress:  [ 16 / 18 ] 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))))>
1550619719.232 * [enter]simplify:  Simplifying (-.p16 x.re x.im)
1550619719.232 * * [misc]simplify:  iters left: 1 (3 enodes)
1550619719.233 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619719.233 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619719.233 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550619719.233 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550619719.233 * [exit]simplify:  Simplified to (-.p16 x.re x.im)
1550619719.233 * [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))))
1550619719.233 * * * * [misc]progress:  [ 17 / 18 ] 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))))>
1550619719.234 * [enter]simplify:  Simplifying (-.p16 x.re x.im)
1550619719.234 * * [misc]simplify:  iters left: 1 (3 enodes)
1550619719.235 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619719.235 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619719.235 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550619719.235 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550619719.235 * [exit]simplify:  Simplified to (-.p16 x.re x.im)
1550619719.235 * [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))))
1550619719.236 * * * * [misc]progress:  [ 18 / 18 ] 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))))>
1550619719.236 * [enter]simplify:  Simplifying (-.p16 x.re x.im)
1550619719.236 * * [misc]simplify:  iters left: 1 (3 enodes)
1550619719.237 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619719.237 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619719.237 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550619719.237 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550619719.237 * [exit]simplify:  Simplified to (-.p16 x.re x.im)
1550619719.237 * [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))))
1550619719.238 * * * [misc]progress:  adding candidates to table
1550619720.188 * * [misc]progress:  iteration 3 / 4
1550619720.188 * * * [misc]progress:  picking best candidate
1550619720.398 * * * * [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)))>
1550619720.399 * * * [misc]progress:  localizing error
1550619720.839 * * * [misc]progress:  generating rewritten candidates
1550619720.839 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550619720.842 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1)
1550619720.844 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1)
1550619720.846 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2)
1550619720.848 * * * [misc]progress:  generating series expansions
1550619720.848 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550619720.848 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1)
1550619720.848 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1)
1550619720.848 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2)
1550619720.849 * * * [misc]progress:  simplifying candidates
1550619720.849 * * * * [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))))>
1550619720.849 * * * * [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))))>
1550619720.849 * * * * [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)))>
1550619720.849 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550619720.849 * * [misc]simplify:  iters left: 1 (3 enodes)
1550619720.850 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619720.850 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619720.850 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550619720.850 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550619720.850 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550619720.850 * [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)))
1550619720.851 * [enter]simplify:  Simplifying (-.p16 x.re x.im)
1550619720.851 * * [misc]simplify:  iters left: 1 (3 enodes)
1550619720.852 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619720.852 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619720.852 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550619720.852 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550619720.852 * [exit]simplify:  Simplified to (-.p16 x.re x.im)
1550619720.852 * [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)))
1550619720.852 * * * * [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)))>
1550619720.852 * * * * [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)))>
1550619720.852 * * * * [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)))>
1550619720.853 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550619720.853 * * [misc]simplify:  iters left: 1 (3 enodes)
1550619720.854 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619720.854 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619720.854 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550619720.854 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550619720.854 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550619720.854 * [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)))
1550619720.854 * * * * [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)))>
1550619720.863 * [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)
1550619720.863 * * [misc]simplify:  iters left: 4 (8 enodes)
1550619720.866 * * [misc]simplify:  iters left: 3 (31 enodes)
1550619720.876 * * [misc]simplify:  iters left: 2 (83 enodes)
1550619720.910 * * [misc]simplify:  iters left: 1 (271 enodes)
1550619721.124 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619721.124 * * [misc]simplify:  Extracting #1: cost 69 inf + 0
1550619721.125 * * [misc]simplify:  Extracting #2: cost 315 inf + 1
1550619721.130 * * [misc]simplify:  Extracting #3: cost 353 inf + 48242
1550619721.148 * * [misc]simplify:  Extracting #4: cost 160 inf + 436862
1550619721.186 * * [misc]simplify:  Extracting #5: cost 7 inf + 726566
1550619721.246 * * [misc]simplify:  Extracting #6: cost 0 inf + 746500
1550619721.305 * [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)
1550619721.306 * [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)))
1550619721.306 * * * * [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)))>
1550619721.306 * * * * [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)))))>
1550619721.306 * * * * [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)))>
1550619721.306 * [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))
1550619721.306 * * [misc]simplify:  iters left: 4 (11 enodes)
1550619721.311 * * [misc]simplify:  iters left: 3 (35 enodes)
1550619721.325 * * [misc]simplify:  iters left: 2 (110 enodes)
1550619721.393 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619721.393 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550619721.393 * * [misc]simplify:  Extracting #2: cost 59 inf + 0
1550619721.394 * * [misc]simplify:  Extracting #3: cost 123 inf + 2130
1550619721.397 * * [misc]simplify:  Extracting #4: cost 112 inf + 53106
1550619721.410 * * [misc]simplify:  Extracting #5: cost 25 inf + 192497
1550619721.426 * * [misc]simplify:  Extracting #6: cost 1 inf + 232493
1550619721.442 * * [misc]simplify:  Extracting #7: cost 0 inf + 235135
1550619721.459 * [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)))
1550619721.459 * [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))))
1550619721.459 * * * * [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)))>
1550619721.459 * [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))
1550619721.460 * * [misc]simplify:  iters left: 4 (11 enodes)
1550619721.465 * * [misc]simplify:  iters left: 3 (35 enodes)
1550619721.479 * * [misc]simplify:  iters left: 2 (110 enodes)
1550619721.547 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619721.547 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550619721.548 * * [misc]simplify:  Extracting #2: cost 59 inf + 0
1550619721.548 * * [misc]simplify:  Extracting #3: cost 123 inf + 2130
1550619721.552 * * [misc]simplify:  Extracting #4: cost 112 inf + 53106
1550619721.565 * * [misc]simplify:  Extracting #5: cost 25 inf + 192497
1550619721.580 * * [misc]simplify:  Extracting #6: cost 1 inf + 232493
1550619721.597 * * [misc]simplify:  Extracting #7: cost 0 inf + 235135
1550619721.613 * [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)))
1550619721.613 * [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))))
1550619721.613 * * * * [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)))>
1550619721.613 * [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))
1550619721.613 * * [misc]simplify:  iters left: 4 (11 enodes)
1550619721.618 * * [misc]simplify:  iters left: 3 (35 enodes)
1550619721.632 * * [misc]simplify:  iters left: 2 (110 enodes)
1550619721.700 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619721.700 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550619721.700 * * [misc]simplify:  Extracting #2: cost 59 inf + 0
1550619721.701 * * [misc]simplify:  Extracting #3: cost 123 inf + 2130
1550619721.705 * * [misc]simplify:  Extracting #4: cost 112 inf + 53106
1550619721.717 * * [misc]simplify:  Extracting #5: cost 25 inf + 192497
1550619721.733 * * [misc]simplify:  Extracting #6: cost 1 inf + 232493
1550619721.749 * * [misc]simplify:  Extracting #7: cost 0 inf + 235135
1550619721.765 * [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)))
1550619721.766 * [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))))
1550619721.766 * * * * [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)))>
1550619721.766 * [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))
1550619721.766 * * [misc]simplify:  iters left: 4 (11 enodes)
1550619721.771 * * [misc]simplify:  iters left: 3 (35 enodes)
1550619721.785 * * [misc]simplify:  iters left: 2 (110 enodes)
1550619721.849 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619721.849 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550619721.849 * * [misc]simplify:  Extracting #2: cost 59 inf + 0
1550619721.849 * * [misc]simplify:  Extracting #3: cost 123 inf + 2130
1550619721.851 * * [misc]simplify:  Extracting #4: cost 112 inf + 53106
1550619721.857 * * [misc]simplify:  Extracting #5: cost 25 inf + 192497
1550619721.865 * * [misc]simplify:  Extracting #6: cost 1 inf + 232493
1550619721.875 * * [misc]simplify:  Extracting #7: cost 0 inf + 235135
1550619721.891 * [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)))
1550619721.891 * [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))))
1550619721.892 * * * [misc]progress:  adding candidates to table
1550619722.404 * * [misc]progress:  iteration 4 / 4
1550619722.404 * * * [misc]progress:  picking best candidate
1550619722.530 * * * * [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)))>
1550619722.530 * * * [misc]progress:  localizing error
1550619722.652 * * * [misc]progress:  generating rewritten candidates
1550619722.652 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550619722.654 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2)
1550619722.656 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1)
1550619722.658 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2)
1550619722.660 * * * [misc]progress:  generating series expansions
1550619722.660 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550619722.660 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2)
1550619722.660 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1)
1550619722.660 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2)
1550619722.660 * * * [misc]progress:  simplifying candidates
1550619722.660 * * * * [misc]progress:  [ 1 / 12 ] 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))))>
1550619722.660 * * * * [misc]progress:  [ 2 / 12 ] 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))))>
1550619722.660 * * * * [misc]progress:  [ 3 / 12 ] 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)))))>
1550619722.660 * * * * [misc]progress:  [ 4 / 12 ] 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)))>
1550619722.660 * * * * [misc]progress:  [ 5 / 12 ] 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)))>
1550619722.660 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550619722.660 * * [misc]simplify:  iters left: 1 (3 enodes)
1550619722.661 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619722.661 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619722.661 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550619722.661 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550619722.661 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550619722.661 * [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)))
1550619722.661 * * * * [misc]progress:  [ 6 / 12 ] 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)))>
1550619722.661 * * * * [misc]progress:  [ 7 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (/.p16 (*.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)))>
1550619722.661 * [enter]simplify:  Simplifying (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re)
1550619722.661 * * [misc]simplify:  iters left: 3 (6 enodes)
1550619722.662 * * [misc]simplify:  iters left: 2 (21 enodes)
1550619722.666 * * [misc]simplify:  iters left: 1 (56 enodes)
1550619722.677 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619722.677 * * [misc]simplify:  Extracting #1: cost 19 inf + 0
1550619722.677 * * [misc]simplify:  Extracting #2: cost 55 inf + 1
1550619722.677 * * [misc]simplify:  Extracting #3: cost 44 inf + 6428
1550619722.678 * * [misc]simplify:  Extracting #4: cost 26 inf + 32238
1550619722.680 * * [misc]simplify:  Extracting #5: cost 0 inf + 67279
1550619722.682 * [exit]simplify:  Simplified to (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))
1550619722.682 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (/.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))
1550619722.682 * * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 x.re (-.p16 x.re x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1550619722.682 * * * * [misc]progress:  [ 9 / 12 ] 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)))>
1550619722.682 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550619722.682 * * [misc]simplify:  iters left: 1 (3 enodes)
1550619722.683 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619722.683 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619722.683 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550619722.683 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550619722.683 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550619722.683 * [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)))
1550619722.683 * * * * [misc]progress:  [ 10 / 12 ] 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)))>
1550619722.683 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550619722.683 * * [misc]simplify:  iters left: 1 (3 enodes)
1550619722.684 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619722.684 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619722.684 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550619722.684 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550619722.684 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550619722.684 * [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)))
1550619722.684 * * * * [misc]progress:  [ 11 / 12 ] 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)))>
1550619722.684 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550619722.684 * * [misc]simplify:  iters left: 1 (3 enodes)
1550619722.685 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619722.685 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619722.685 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550619722.685 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550619722.685 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550619722.685 * [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)))
1550619722.685 * * * * [misc]progress:  [ 12 / 12 ] 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)))>
1550619722.685 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550619722.685 * * [misc]simplify:  iters left: 1 (3 enodes)
1550619722.686 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619722.686 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619722.686 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550619722.686 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550619722.686 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550619722.686 * [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)))
1550619722.686 * * * [misc]progress:  adding candidates to table
1550619723.271 * [misc]progress:  [Phase 3 of 3] Extracting.
1550619723.271 * * [misc]regime:  Finding splitpoints for: (#<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)))> #<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 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)))> #<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 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)))> #<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 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (-.p16 (*.p16 (neg.p16 x.im) (*.p16 x.re (+.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.re x.im) (*.p16 x.re x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<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)))))>)
1550619723.275 * * * [misc]regime-changes:  Trying 2 branch expressions: (x.im x.re)
1550619723.275 * * * * [misc]regimes:  Trying to branch on x.im from (#<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)))> #<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 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)))> #<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 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)))> #<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 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (-.p16 (*.p16 (neg.p16 x.im) (*.p16 x.re (+.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.re x.im) (*.p16 x.re x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<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)))))>)
1550619723.746 * * * * [misc]regimes:  Trying to branch on x.re from (#<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)))> #<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 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)))> #<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 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)))> #<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 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (-.p16 (*.p16 (neg.p16 x.im) (*.p16 x.re (+.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.re x.im) (*.p16 x.re x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<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)))))>)
1550619724.082 * * * [misc]regime:  Found split indices: #<option (#s(si 3 256))>
1550619724.082 * [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))
1550619724.083 * * [misc]simplify:  iters left: 4 (11 enodes)
1550619724.083 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619724.083 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619724.083 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550619724.083 * * [misc]simplify:  Extracting #3: cost 10 inf + 1
1550619724.083 * * [misc]simplify:  Extracting #4: cost 9 inf + 2
1550619724.083 * * [misc]simplify:  Extracting #5: cost 0 inf + 5460
1550619724.083 * [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))
1550619724.083 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550619724.107 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550619724.108 * * * * [misc]points:  Setting MPFR precision to 64
1550619724.109 * * * * [misc]points:  Setting MPFR precision to 320
1550619724.110 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550619724.111 * * * * [misc]points:  Setting MPFR precision to 64
1550619724.113 * * * * [misc]points:  Setting MPFR precision to 320
1550619724.124 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550619724.126 * * * * [misc]points:  Setting MPFR precision to 64
1550619724.131 * * * * [misc]points:  Setting MPFR precision to 320
1550619724.136 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550619724.138 * * * * [misc]points:  Setting MPFR precision to 64
1550619724.145 * * * * [misc]points:  Setting MPFR precision to 320
1550619724.156 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550619724.158 * * * * [misc]points:  Setting MPFR precision to 64
1550619724.173 * * * * [misc]points:  Setting MPFR precision to 320
1550619724.192 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550619724.194 * * * * [misc]points:  Setting MPFR precision to 64
1550619724.223 * * * * [misc]points:  Setting MPFR precision to 320
1550619724.292 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550619724.294 * * * * [misc]points:  Setting MPFR precision to 64
1550619724.404 * * * * [misc]points:  Setting MPFR precision to 320
1550619724.532 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550619724.534 * * * * [misc]points:  Setting MPFR precision to 64
1550619724.794 * * * * [misc]points:  Setting MPFR precision to 320
1550619725.539 * * * * [misc]points:  Computing exacts for 8000 points
1550619725.541 * * * * [misc]points:  Setting MPFR precision to 64
1550619726.605 * * * * [misc]points:  Setting MPFR precision to 320
1550619727.814 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619728.465 * * * * [exit]points:  Sampled 8000 points with exact outputs
1550619730.704 * [misc]regime-testing:  Baseline error score: 64.0
1550619730.708 * [misc]regime-testing:  Oracle error score: 64.0
1550619730.714 * [misc]regime-testing:  End program error score: 0.36404111800333344