1554300745.640 * [misc]progress:  [Phase 1 of 3] Setting up.
1554300745.641 * * * [misc]progress:  [1/2] Preparing points
1554300745.642 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1554300745.644 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1554300745.706 * * * * [misc]points:  Setting MPFR precision to 64
1554300745.709 * * * * [misc]points:  Setting MPFR precision to 320
1554300745.711 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1554300745.712 * * * * [misc]points:  Setting MPFR precision to 64
1554300745.714 * * * * [misc]points:  Setting MPFR precision to 320
1554300745.717 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1554300745.718 * * * * [misc]points:  Setting MPFR precision to 64
1554300745.722 * * * * [misc]points:  Setting MPFR precision to 320
1554300745.727 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1554300745.728 * * * * [misc]points:  Setting MPFR precision to 64
1554300745.736 * * * * [misc]points:  Setting MPFR precision to 320
1554300745.743 * * * * [misc]points:  Computing exacts for 256 points
1554300745.744 * * * * [misc]points:  Setting MPFR precision to 64
1554300745.766 * * * * [misc]points:  Setting MPFR precision to 320
1554300745.787 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554300745.789 * * * * [exit]points:  Sampled 256 points with exact outputs
1554300745.789 * * * [misc]progress:  [2/2] Setting up program.
1554300745.798 * [misc]progress:  [Phase 2 of 3] Improving.
1554300745.798 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (re im) (-.p16 (*.p16 re re) (*.p16 im im)))>
1554300745.799 * [enter]simplify:  Simplifying (-.p16 (*.p16 re re) (*.p16 im im))
1554300745.844 * * [misc]simplify:  iters left: 2 (5 enodes)
1554300745.851 * * [misc]simplify:  iters left: 1 (19 enodes)
1554300745.859 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300745.859 * * [misc]simplify:  Extracting #1: cost 8 inf + 0
1554300745.859 * * [misc]simplify:  Extracting #2: cost 16 inf + 0
1554300745.860 * * [misc]simplify:  Extracting #3: cost 16 inf + 1766
1554300745.860 * * [misc]simplify:  Extracting #4: cost 6 inf + 6819
1554300745.861 * * [misc]simplify:  Extracting #5: cost 1 inf + 12227
1554300745.862 * * [misc]simplify:  Extracting #6: cost 0 inf + 13549
1554300745.862 * [exit]simplify:  Simplified to (*.p16 (-.p16 re im) (+.p16 im re))
1554300745.862 * [misc]simplify:  Simplified (2) to (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))
1554300745.880 * * [misc]progress:  iteration 1 / 4
1554300745.880 * * * [misc]progress:  picking best candidate
1554300745.894 * * * * [misc]pick:  Picked  #<alt (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))>
1554300745.894 * * * [misc]progress:  localizing error
1554300745.997 * * * [misc]progress:  generating rewritten candidates
1554300745.997 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1554300746.004 * * * [misc]progress:  generating series expansions
1554300746.005 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1554300746.005 * * * [misc]progress:  simplifying candidates
1554300746.005 * * * * [misc]progress:  [ 1 / 5 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 (-.p16 re im) im) (*.p16 (-.p16 re im) re)))>
1554300746.005 * [enter]simplify:  Simplifying (*.p16 (-.p16 re im) re)
1554300746.005 * * [misc]simplify:  iters left: 2 (4 enodes)
1554300746.007 * * [misc]simplify:  iters left: 1 (16 enodes)
1554300746.012 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300746.012 * * [misc]simplify:  Extracting #1: cost 9 inf + 0
1554300746.012 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1554300746.012 * * [misc]simplify:  Extracting #3: cost 13 inf + 323
1554300746.012 * * [misc]simplify:  Extracting #4: cost 9 inf + 1933
1554300746.013 * * [misc]simplify:  Extracting #5: cost 3 inf + 4862
1554300746.013 * * [misc]simplify:  Extracting #6: cost 0 inf + 7748
1554300746.014 * [exit]simplify:  Simplified to (*.p16 re (-.p16 re im))
1554300746.014 * [misc]simplify:  Simplified (2 2) to (λ (re im) (+.p16 (*.p16 (-.p16 re im) im) (*.p16 re (-.p16 re im))))
1554300746.014 * * * * [misc]progress:  [ 2 / 5 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (*.p16 re (-.p16 re im))))>
1554300746.014 * [enter]simplify:  Simplifying (*.p16 re (-.p16 re im))
1554300746.014 * * [misc]simplify:  iters left: 2 (4 enodes)
1554300746.016 * * [misc]simplify:  iters left: 1 (16 enodes)
1554300746.022 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300746.022 * * [misc]simplify:  Extracting #1: cost 9 inf + 0
1554300746.022 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1554300746.022 * * [misc]simplify:  Extracting #3: cost 13 inf + 323
1554300746.022 * * [misc]simplify:  Extracting #4: cost 9 inf + 1933
1554300746.022 * * [misc]simplify:  Extracting #5: cost 3 inf + 4862
1554300746.023 * * [misc]simplify:  Extracting #6: cost 0 inf + 7748
1554300746.023 * [exit]simplify:  Simplified to (*.p16 re (-.p16 re im))
1554300746.023 * [misc]simplify:  Simplified (2 2) to (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (*.p16 re (-.p16 re im))))
1554300746.024 * * * * [misc]progress:  [ 3 / 5 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (-.p16 (*.p16 re re) (*.p16 im im)) (+.p16 im re)) (+.p16 re im)))>
1554300746.024 * [enter]simplify:  Simplifying (*.p16 (-.p16 (*.p16 re re) (*.p16 im im)) (+.p16 im re))
1554300746.024 * * [misc]simplify:  iters left: 3 (7 enodes)
1554300746.446 * * [misc]simplify:  iters left: 2 (28 enodes)
1554300746.459 * * [misc]simplify:  iters left: 1 (79 enodes)
1554300746.493 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300746.493 * * [misc]simplify:  Extracting #1: cost 23 inf + 0
1554300746.493 * * [misc]simplify:  Extracting #2: cost 63 inf + 0
1554300746.494 * * [misc]simplify:  Extracting #3: cost 75 inf + 1531
1554300746.495 * * [misc]simplify:  Extracting #4: cost 37 inf + 47856
1554300746.497 * * [misc]simplify:  Extracting #5: cost 1 inf + 91596
1554300746.501 * * [misc]simplify:  Extracting #6: cost 0 inf + 94238
1554300746.504 * [exit]simplify:  Simplified to (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 re im))
1554300746.504 * [misc]simplify:  Simplified (2 1) to (λ (re im) (/.p16 (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 re im)) (+.p16 re im)))
1554300746.504 * * * * [misc]progress:  [ 4 / 5 ] simplifiying candidate #<alt (λ (re im) (*.p16 (+.p16 im re) (-.p16 re im)))>
1554300746.504 * * * * [misc]progress:  [ 5 / 5 ] simplifiying candidate #<alt (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))>
1554300746.504 * [enter]simplify:  Simplifying (*.p16 (-.p16 re im) (+.p16 im re))
1554300746.504 * * [misc]simplify:  iters left: 2 (5 enodes)
1554300746.506 * * [misc]simplify:  iters left: 1 (23 enodes)
1554300746.510 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300746.510 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1554300746.510 * * [misc]simplify:  Extracting #2: cost 31 inf + 0
1554300746.510 * * [misc]simplify:  Extracting #3: cost 28 inf + 323
1554300746.510 * * [misc]simplify:  Extracting #4: cost 9 inf + 8236
1554300746.511 * * [misc]simplify:  Extracting #5: cost 0 inf + 14252
1554300746.511 * [exit]simplify:  Simplified to (*.p16 (+.p16 im re) (-.p16 re im))
1554300746.511 * [misc]simplify:  Simplified (2) to (λ (re im) (*.p16 (+.p16 im re) (-.p16 re im)))
1554300746.511 * * * [misc]progress:  adding candidates to table
1554300746.577 * * [misc]progress:  iteration 2 / 4
1554300746.577 * * * [misc]progress:  picking best candidate
1554300746.596 * * * * [misc]pick:  Picked  #<alt (λ (re im) (-.p16 (*.p16 re re) (*.p16 im im)))>
1554300746.596 * * * [misc]progress:  localizing error
1554300746.690 * * * [misc]progress:  generating rewritten candidates
1554300746.690 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1554300746.692 * * * [misc]progress:  generating series expansions
1554300746.692 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1554300746.692 * * * [misc]progress:  simplifying candidates
1554300746.692 * * * * [misc]progress:  [ 1 / 4 ] simplifiying candidate #<alt (λ (re im) (*.p16 (+.p16 re im) (-.p16 re im)))>
1554300746.693 * [enter]simplify:  Simplifying (+.p16 re im)
1554300746.693 * * [misc]simplify:  iters left: 1 (3 enodes)
1554300746.694 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300746.694 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300746.694 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1554300746.694 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1554300746.694 * [exit]simplify:  Simplified to (+.p16 im re)
1554300746.694 * [misc]simplify:  Simplified (2 1) to (λ (re im) (*.p16 (+.p16 im re) (-.p16 re im)))
1554300746.695 * [enter]simplify:  Simplifying (-.p16 re im)
1554300746.695 * * [misc]simplify:  iters left: 1 (3 enodes)
1554300746.696 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300746.696 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1554300746.696 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1554300746.696 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1554300746.696 * [exit]simplify:  Simplified to (-.p16 re im)
1554300746.696 * [misc]simplify:  Simplified (2 2) to (λ (re im) (*.p16 (+.p16 re im) (-.p16 re im)))
1554300746.696 * * * * [misc]progress:  [ 2 / 4 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 re re) (neg.p16 (*.p16 im im))))>
1554300746.696 * * * * [misc]progress:  [ 3 / 4 ] simplifiying candidate #<alt (λ (re im) (/.p16 (-.p16 (*.p16 (*.p16 re re) (*.p16 re re)) (*.p16 (*.p16 im im) (*.p16 im im))) (+.p16 (*.p16 re re) (*.p16 im im))))>
1554300746.697 * * * * [misc]progress:  [ 4 / 4 ] simplifiying candidate #<alt (λ (re im) (-.p16 (*.p16 re re) (*.p16 im im)))>
1554300746.697 * [enter]simplify:  Simplifying (-.p16 (*.p16 re re) (*.p16 im im))
1554300746.697 * * [misc]simplify:  iters left: 2 (5 enodes)
1554300746.699 * * [misc]simplify:  iters left: 1 (19 enodes)
1554300746.706 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300746.706 * * [misc]simplify:  Extracting #1: cost 8 inf + 0
1554300746.706 * * [misc]simplify:  Extracting #2: cost 16 inf + 0
1554300746.706 * * [misc]simplify:  Extracting #3: cost 16 inf + 1766
1554300746.706 * * [misc]simplify:  Extracting #4: cost 6 inf + 6819
1554300746.707 * * [misc]simplify:  Extracting #5: cost 1 inf + 12227
1554300746.708 * * [misc]simplify:  Extracting #6: cost 0 inf + 13549
1554300746.708 * [exit]simplify:  Simplified to (*.p16 (-.p16 re im) (+.p16 im re))
1554300746.708 * [misc]simplify:  Simplified (2) to (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))
1554300746.708 * * * [misc]progress:  adding candidates to table
1554300746.768 * * [misc]progress:  iteration 3 / 4
1554300746.768 * * * [misc]progress:  picking best candidate
1554300746.776 * * * * [misc]pick:  Picked  #<alt (λ (re im) (/.p16 (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 re im)) (+.p16 re im)))>
1554300746.776 * * * [misc]progress:  localizing error
1554300746.850 * * * [misc]progress:  generating rewritten candidates
1554300746.850 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
1554300746.861 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1 1)
1554300746.863 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1)
1554300746.867 * * * [misc]progress:  generating series expansions
1554300746.867 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
1554300746.867 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1 1)
1554300746.867 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1)
1554300746.867 * * * [misc]progress:  simplifying candidates
1554300746.867 * * * * [misc]progress:  [ 1 / 13 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (/.p16 (+.p16 re im) (-.p16 re im))))>
1554300746.867 * [enter]simplify:  Simplifying (*.p16 (+.p16 im re) (+.p16 im re))
1554300746.867 * * [misc]simplify:  iters left: 2 (4 enodes)
1554300746.868 * * [misc]simplify:  iters left: 1 (15 enodes)
1554300746.871 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300746.871 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554300746.871 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554300746.871 * * [misc]simplify:  Extracting #3: cost 7 inf + 323
1554300746.871 * * [misc]simplify:  Extracting #4: cost 0 inf + 2416
1554300746.871 * [exit]simplify:  Simplified to (*.p16 (+.p16 re im) (+.p16 re im))
1554300746.871 * [misc]simplify:  Simplified (2 1) to (λ (re im) (/.p16 (*.p16 (+.p16 re im) (+.p16 re im)) (/.p16 (+.p16 re im) (-.p16 re im))))
1554300746.871 * * * * [misc]progress:  [ 2 / 13 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 (*.p16 re re) (*.p16 im im))) (*.p16 (+.p16 re im) (+.p16 re im))))>
1554300746.872 * [enter]simplify:  Simplifying (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 (*.p16 re re) (*.p16 im im)))
1554300746.872 * * [misc]simplify:  iters left: 3 (8 enodes)
1554300746.873 * * [misc]simplify:  iters left: 2 (31 enodes)
1554300746.879 * * [misc]simplify:  iters left: 1 (96 enodes)
1554300746.927 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300746.927 * * [misc]simplify:  Extracting #1: cost 23 inf + 0
1554300746.928 * * [misc]simplify:  Extracting #2: cost 110 inf + 0
1554300746.929 * * [misc]simplify:  Extracting #3: cost 108 inf + 13073
1554300746.934 * * [misc]simplify:  Extracting #4: cost 53 inf + 81123
1554300746.943 * * [misc]simplify:  Extracting #5: cost 1 inf + 138651
1554300746.953 * * [misc]simplify:  Extracting #6: cost 0 inf + 141293
1554300746.963 * [exit]simplify:  Simplified to (*.p16 (+.p16 re im) (*.p16 (-.p16 re im) (*.p16 (+.p16 re im) (+.p16 re im))))
1554300746.963 * [misc]simplify:  Simplified (2 1) to (λ (re im) (/.p16 (*.p16 (+.p16 re im) (*.p16 (-.p16 re im) (*.p16 (+.p16 re im) (+.p16 re im)))) (*.p16 (+.p16 re im) (+.p16 re im))))
1554300746.963 * * * * [misc]progress:  [ 3 / 13 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 (+.p16 im re) im) (*.p16 (+.p16 im re) re)) (-.p16 re im)) (+.p16 re im)))>
1554300746.964 * [enter]simplify:  Simplifying (*.p16 (+.p16 im re) re)
1554300746.964 * * [misc]simplify:  iters left: 2 (4 enodes)
1554300746.965 * * [misc]simplify:  iters left: 1 (10 enodes)
1554300746.968 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300746.968 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1554300746.968 * * [misc]simplify:  Extracting #2: cost 6 inf + 1
1554300746.968 * * [misc]simplify:  Extracting #3: cost 4 inf + 323
1554300746.968 * * [misc]simplify:  Extracting #4: cost 0 inf + 1371
1554300746.968 * [exit]simplify:  Simplified to (*.p16 (+.p16 re im) re)
1554300746.968 * [misc]simplify:  Simplified (2 1 1 2) to (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 (+.p16 im re) im) (*.p16 (+.p16 re im) re)) (-.p16 re im)) (+.p16 re im)))
1554300746.969 * * * * [misc]progress:  [ 4 / 13 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 im (+.p16 im re)) (*.p16 re (+.p16 im re))) (-.p16 re im)) (+.p16 re im)))>
1554300746.969 * [enter]simplify:  Simplifying (*.p16 re (+.p16 im re))
1554300746.969 * * [misc]simplify:  iters left: 2 (4 enodes)
1554300746.973 * * [misc]simplify:  iters left: 1 (15 enodes)
1554300746.975 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300746.975 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1554300746.975 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1554300746.975 * * [misc]simplify:  Extracting #3: cost 0 inf + 1049
1554300746.975 * [exit]simplify:  Simplified to (*.p16 re (+.p16 im re))
1554300746.975 * [misc]simplify:  Simplified (2 1 1 2) to (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 im (+.p16 im re)) (*.p16 re (+.p16 im re))) (-.p16 re im)) (+.p16 re im)))
1554300746.975 * * * * [misc]progress:  [ 5 / 13 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 re im)) (+.p16 re im)))>
1554300746.975 * * * * [misc]progress:  [ 6 / 13 ] simplifiying candidate #<alt (λ (re im) (/.p16 (+.p16 (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) re) (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (neg.p16 im))) (+.p16 re im)))>
1554300746.975 * [enter]simplify:  Simplifying (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (neg.p16 im))
1554300746.975 * * [misc]simplify:  iters left: 3 (6 enodes)
1554300746.977 * * [misc]simplify:  iters left: 2 (20 enodes)
1554300746.980 * * [misc]simplify:  iters left: 1 (48 enodes)
1554300746.990 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300746.990 * * [misc]simplify:  Extracting #1: cost 18 inf + 0
1554300746.990 * * [misc]simplify:  Extracting #2: cost 43 inf + 0
1554300746.990 * * [misc]simplify:  Extracting #3: cost 36 inf + 1527
1554300746.991 * * [misc]simplify:  Extracting #4: cost 14 inf + 14449
1554300746.992 * * [misc]simplify:  Extracting #5: cost 0 inf + 24637
1554300746.993 * [exit]simplify:  Simplified to (*.p16 (*.p16 (+.p16 re im) (neg.p16 im)) (+.p16 re im))
1554300746.993 * [misc]simplify:  Simplified (2 1 2) to (λ (re im) (/.p16 (+.p16 (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) re) (*.p16 (*.p16 (+.p16 re im) (neg.p16 im)) (+.p16 re im))) (+.p16 re im)))
1554300746.993 * * * * [misc]progress:  [ 7 / 13 ] simplifiying candidate #<alt (λ (re im) (/.p16 (+.p16 (*.p16 re (*.p16 (+.p16 im re) (+.p16 im re))) (*.p16 (neg.p16 im) (*.p16 (+.p16 im re) (+.p16 im re)))) (+.p16 re im)))>
1554300746.993 * [enter]simplify:  Simplifying (*.p16 (neg.p16 im) (*.p16 (+.p16 im re) (+.p16 im re)))
1554300746.993 * * [misc]simplify:  iters left: 3 (6 enodes)
1554300746.994 * * [misc]simplify:  iters left: 2 (20 enodes)
1554300746.998 * * [misc]simplify:  iters left: 1 (64 enodes)
1554300747.014 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300747.014 * * [misc]simplify:  Extracting #1: cost 13 inf + 0
1554300747.014 * * [misc]simplify:  Extracting #2: cost 44 inf + 0
1554300747.014 * * [misc]simplify:  Extracting #3: cost 37 inf + 2170
1554300747.015 * * [misc]simplify:  Extracting #4: cost 16 inf + 15286
1554300747.016 * * [misc]simplify:  Extracting #5: cost 0 inf + 26278
1554300747.017 * * [misc]simplify:  Extracting #6: cost 0 inf + 25918
1554300747.018 * [exit]simplify:  Simplified to (*.p16 (+.p16 re im) (*.p16 (neg.p16 im) (+.p16 re im)))
1554300747.018 * [misc]simplify:  Simplified (2 1 2) to (λ (re im) (/.p16 (+.p16 (*.p16 re (*.p16 (+.p16 im re) (+.p16 im re))) (*.p16 (+.p16 re im) (*.p16 (neg.p16 im) (+.p16 re im)))) (+.p16 re im)))
1554300747.018 * * * * [misc]progress:  [ 8 / 13 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (+.p16 im re) (*.p16 (+.p16 im re) (-.p16 re im))) (+.p16 re im)))>
1554300747.019 * [enter]simplify:  Simplifying (+.p16 im re)
1554300747.019 * * [misc]simplify:  iters left: 1 (3 enodes)
1554300747.019 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300747.019 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300747.019 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1554300747.019 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1554300747.019 * [exit]simplify:  Simplified to (+.p16 re im)
1554300747.019 * [misc]simplify:  Simplified (2 1 1) to (λ (re im) (/.p16 (*.p16 (+.p16 re im) (*.p16 (+.p16 im re) (-.p16 re im))) (+.p16 re im)))
1554300747.019 * * * * [misc]progress:  [ 9 / 13 ] simplifiying candidate #<alt (λ (re im) (/.p16 (/.p16 (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 (*.p16 re re) (*.p16 im im))) (+.p16 re im)) (+.p16 re im)))>
1554300747.020 * [enter]simplify:  Simplifying (+.p16 re im)
1554300747.020 * * [misc]simplify:  iters left: 1 (3 enodes)
1554300747.020 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300747.020 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300747.020 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1554300747.020 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1554300747.020 * [exit]simplify:  Simplified to (+.p16 im re)
1554300747.020 * [misc]simplify:  Simplified (2 1 2) to (λ (re im) (/.p16 (/.p16 (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 (*.p16 re re) (*.p16 im im))) (+.p16 im re)) (+.p16 re im)))
1554300747.020 * * * * [misc]progress:  [ 10 / 13 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (-.p16 re im) (*.p16 (+.p16 im re) (+.p16 im re))) (+.p16 re im)))>
1554300747.020 * * * * [misc]progress:  [ 11 / 13 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 re im)) (+.p16 re im)))>
1554300747.021 * [enter]simplify:  Simplifying (/.p16 (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 re im)) (+.p16 re im))
1554300747.021 * * [misc]simplify:  iters left: 4 (8 enodes)
1554300747.022 * * [misc]simplify:  iters left: 3 (29 enodes)
1554300747.028 * * [misc]simplify:  iters left: 2 (82 enodes)
1554300747.053 * * [misc]simplify:  iters left: 1 (350 enodes)
1554300747.368 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300747.368 * * [misc]simplify:  Extracting #1: cost 67 inf + 0
1554300747.370 * * [misc]simplify:  Extracting #2: cost 333 inf + 0
1554300747.376 * * [misc]simplify:  Extracting #3: cost 477 inf + 42016
1554300747.411 * * [misc]simplify:  Extracting #4: cost 156 inf + 425441
1554300747.438 * * [misc]simplify:  Extracting #5: cost 6 inf + 597290
1554300747.472 * * [misc]simplify:  Extracting #6: cost 1 inf + 593270
1554300747.528 * * [misc]simplify:  Extracting #7: cost 0 inf + 594552
1554300747.571 * [exit]simplify:  Simplified to (*.p16 (+.p16 re im) (-.p16 re im))
1554300747.571 * [misc]simplify:  Simplified (2) to (λ (re im) (*.p16 (+.p16 re im) (-.p16 re im)))
1554300747.571 * * * * [misc]progress:  [ 12 / 13 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 re im)) (+.p16 re im)))>
1554300747.571 * [enter]simplify:  Simplifying (/.p16 (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 re im)) (+.p16 re im))
1554300747.571 * * [misc]simplify:  iters left: 4 (8 enodes)
1554300747.573 * * [misc]simplify:  iters left: 3 (29 enodes)
1554300747.578 * * [misc]simplify:  iters left: 2 (82 enodes)
1554300747.603 * * [misc]simplify:  iters left: 1 (350 enodes)
1554300747.854 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300747.854 * * [misc]simplify:  Extracting #1: cost 67 inf + 0
1554300747.856 * * [misc]simplify:  Extracting #2: cost 333 inf + 0
1554300747.863 * * [misc]simplify:  Extracting #3: cost 477 inf + 42016
1554300747.892 * * [misc]simplify:  Extracting #4: cost 156 inf + 425441
1554300747.931 * * [misc]simplify:  Extracting #5: cost 6 inf + 597290
1554300747.981 * * [misc]simplify:  Extracting #6: cost 1 inf + 593270
1554300748.034 * * [misc]simplify:  Extracting #7: cost 0 inf + 594552
1554300748.090 * [exit]simplify:  Simplified to (*.p16 (+.p16 re im) (-.p16 re im))
1554300748.090 * [misc]simplify:  Simplified (2) to (λ (re im) (*.p16 (+.p16 re im) (-.p16 re im)))
1554300748.090 * * * * [misc]progress:  [ 13 / 13 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 re im)) (+.p16 re im)))>
1554300748.090 * [enter]simplify:  Simplifying (/.p16 (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 re im)) (+.p16 re im))
1554300748.090 * * [misc]simplify:  iters left: 4 (8 enodes)
1554300748.094 * * [misc]simplify:  iters left: 3 (29 enodes)
1554300748.104 * * [misc]simplify:  iters left: 2 (82 enodes)
1554300748.149 * * [misc]simplify:  iters left: 1 (350 enodes)
1554300748.513 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300748.514 * * [misc]simplify:  Extracting #1: cost 67 inf + 0
1554300748.515 * * [misc]simplify:  Extracting #2: cost 333 inf + 0
1554300748.522 * * [misc]simplify:  Extracting #3: cost 477 inf + 42016
1554300748.551 * * [misc]simplify:  Extracting #4: cost 156 inf + 425441
1554300748.610 * * [misc]simplify:  Extracting #5: cost 6 inf + 597290
1554300748.638 * * [misc]simplify:  Extracting #6: cost 1 inf + 593270
1554300748.682 * * [misc]simplify:  Extracting #7: cost 0 inf + 594552
1554300748.711 * [exit]simplify:  Simplified to (*.p16 (+.p16 re im) (-.p16 re im))
1554300748.711 * [misc]simplify:  Simplified (2) to (λ (re im) (*.p16 (+.p16 re im) (-.p16 re im)))
1554300748.711 * * * [misc]progress:  adding candidates to table
1554300748.901 * * [misc]progress:  iteration 4 / 4
1554300748.901 * * * [misc]progress:  picking best candidate
1554300748.930 * * * * [misc]pick:  Picked  #<alt (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 im (+.p16 im re)) (*.p16 re (+.p16 im re))) (-.p16 re im)) (+.p16 re im)))>
1554300748.930 * * * [misc]progress:  localizing error
1554300749.091 * * * [misc]progress:  generating rewritten candidates
1554300749.091 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1554300749.098 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1)
1554300749.103 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1554300749.105 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1)
1554300749.107 * * * [misc]progress:  generating series expansions
1554300749.107 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1554300749.107 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1)
1554300749.107 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1554300749.107 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1)
1554300749.107 * * * [misc]progress:  simplifying candidates
1554300749.107 * * * * [misc]progress:  [ 1 / 18 ] simplifiying candidate #<alt (λ (re im) (/.p16 (+.p16 (*.p16 im (+.p16 im re)) (*.p16 re (+.p16 im re))) (/.p16 (+.p16 re im) (-.p16 re im))))>
1554300749.107 * [enter]simplify:  Simplifying (+.p16 (*.p16 im (+.p16 im re)) (*.p16 re (+.p16 im re)))
1554300749.107 * * [misc]simplify:  iters left: 3 (6 enodes)
1554300749.110 * * [misc]simplify:  iters left: 2 (23 enodes)
1554300749.118 * * [misc]simplify:  iters left: 1 (41 enodes)
1554300749.129 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300749.129 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1554300749.130 * * [misc]simplify:  Extracting #2: cost 16 inf + 0
1554300749.130 * * [misc]simplify:  Extracting #3: cost 14 inf + 2
1554300749.137 * * [misc]simplify:  Extracting #4: cost 3 inf + 3302
1554300749.138 * * [misc]simplify:  Extracting #5: cost 0 inf + 4828
1554300749.139 * [exit]simplify:  Simplified to (*.p16 (+.p16 re im) (+.p16 re im))
1554300749.139 * [misc]simplify:  Simplified (2 1) to (λ (re im) (/.p16 (*.p16 (+.p16 re im) (+.p16 re im)) (/.p16 (+.p16 re im) (-.p16 re im))))
1554300749.139 * * * * [misc]progress:  [ 2 / 18 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 im (+.p16 im re)) (*.p16 re (+.p16 im re))) (-.p16 (*.p16 re re) (*.p16 im im))) (*.p16 (+.p16 re im) (+.p16 re im))))>
1554300749.139 * [enter]simplify:  Simplifying (*.p16 (+.p16 (*.p16 im (+.p16 im re)) (*.p16 re (+.p16 im re))) (-.p16 (*.p16 re re) (*.p16 im im)))
1554300749.139 * * [misc]simplify:  iters left: 4 (10 enodes)
1554300749.144 * * [misc]simplify:  iters left: 3 (35 enodes)
1554300749.159 * * [misc]simplify:  iters left: 2 (96 enodes)
1554300749.184 * * [misc]simplify:  iters left: 1 (381 enodes)
1554300749.588 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300749.588 * * [misc]simplify:  Extracting #1: cost 101 inf + 0
1554300749.593 * * [misc]simplify:  Extracting #2: cost 416 inf + 0
1554300749.607 * * [misc]simplify:  Extracting #3: cost 413 inf + 195446
1554300749.664 * * [misc]simplify:  Extracting #4: cost 58 inf + 771037
1554300749.724 * * [misc]simplify:  Extracting #5: cost 1 inf + 860560
1554300749.773 * * [misc]simplify:  Extracting #6: cost 0 inf + 863842
1554300749.810 * [exit]simplify:  Simplified to (*.p16 (*.p16 (-.p16 re im) (+.p16 re im)) (*.p16 (+.p16 re im) (+.p16 re im)))
1554300749.810 * [misc]simplify:  Simplified (2 1) to (λ (re im) (/.p16 (*.p16 (*.p16 (-.p16 re im) (+.p16 re im)) (*.p16 (+.p16 re im) (+.p16 re im))) (*.p16 (+.p16 re im) (+.p16 re im))))
1554300749.810 * * * * [misc]progress:  [ 3 / 18 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 re im)) (+.p16 re im)))>
1554300749.810 * [enter]simplify:  Simplifying (+.p16 im re)
1554300749.810 * * [misc]simplify:  iters left: 1 (3 enodes)
1554300749.811 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300749.811 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300749.811 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1554300749.811 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1554300749.811 * [exit]simplify:  Simplified to (+.p16 re im)
1554300749.811 * [misc]simplify:  Simplified (2 1 1 1) to (λ (re im) (/.p16 (*.p16 (*.p16 (+.p16 re im) (+.p16 im re)) (-.p16 re im)) (+.p16 re im)))
1554300749.811 * [enter]simplify:  Simplifying (+.p16 im re)
1554300749.811 * * [misc]simplify:  iters left: 1 (3 enodes)
1554300749.812 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300749.812 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300749.812 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1554300749.812 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1554300749.812 * [exit]simplify:  Simplified to (+.p16 re im)
1554300749.812 * [misc]simplify:  Simplified (2 1 1 2) to (λ (re im) (/.p16 (*.p16 (*.p16 (+.p16 im re) (+.p16 re im)) (-.p16 re im)) (+.p16 re im)))
1554300749.812 * * * * [misc]progress:  [ 4 / 18 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (+.p16 (+.p16 (*.p16 im (+.p16 im re)) (*.p16 re im)) (*.p16 re re)) (-.p16 re im)) (+.p16 re im)))>
1554300749.812 * [enter]simplify:  Simplifying (*.p16 re re)
1554300749.812 * * [misc]simplify:  iters left: 1 (2 enodes)
1554300749.813 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300749.813 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554300749.813 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1554300749.813 * * [misc]simplify:  Extracting #3: cost 0 inf + 322
1554300749.813 * [exit]simplify:  Simplified to (*.p16 re re)
1554300749.813 * [misc]simplify:  Simplified (2 1 1 2) to (λ (re im) (/.p16 (*.p16 (+.p16 (+.p16 (*.p16 im (+.p16 im re)) (*.p16 re im)) (*.p16 re re)) (-.p16 re im)) (+.p16 re im)))
1554300749.813 * * * * [misc]progress:  [ 5 / 18 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (+.p16 (+.p16 (*.p16 im (+.p16 im re)) (*.p16 im re)) (*.p16 re re)) (-.p16 re im)) (+.p16 re im)))>
1554300749.813 * [enter]simplify:  Simplifying (*.p16 re re)
1554300749.813 * * [misc]simplify:  iters left: 1 (2 enodes)
1554300749.814 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300749.814 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554300749.814 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1554300749.814 * * [misc]simplify:  Extracting #3: cost 0 inf + 322
1554300749.814 * [exit]simplify:  Simplified to (*.p16 re re)
1554300749.814 * [misc]simplify:  Simplified (2 1 1 2) to (λ (re im) (/.p16 (*.p16 (+.p16 (+.p16 (*.p16 im (+.p16 im re)) (*.p16 im re)) (*.p16 re re)) (-.p16 re im)) (+.p16 re im)))
1554300749.814 * * * * [misc]progress:  [ 6 / 18 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 im im) (+.p16 (*.p16 im re) (*.p16 re (+.p16 im re)))) (-.p16 re im)) (+.p16 re im)))>
1554300749.814 * [enter]simplify:  Simplifying (*.p16 im im)
1554300749.814 * * [misc]simplify:  iters left: 1 (2 enodes)
1554300749.814 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300749.814 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554300749.814 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1554300749.814 * * [misc]simplify:  Extracting #3: cost 0 inf + 322
1554300749.814 * [exit]simplify:  Simplified to (*.p16 im im)
1554300749.814 * [misc]simplify:  Simplified (2 1 1 1) to (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 im im) (+.p16 (*.p16 im re) (*.p16 re (+.p16 im re)))) (-.p16 re im)) (+.p16 re im)))
1554300749.815 * * * * [misc]progress:  [ 7 / 18 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 im im) (+.p16 (*.p16 re im) (*.p16 re (+.p16 im re)))) (-.p16 re im)) (+.p16 re im)))>
1554300749.815 * [enter]simplify:  Simplifying (*.p16 im im)
1554300749.815 * * [misc]simplify:  iters left: 1 (2 enodes)
1554300749.815 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300749.815 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554300749.815 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1554300749.815 * * [misc]simplify:  Extracting #3: cost 0 inf + 322
1554300749.815 * [exit]simplify:  Simplified to (*.p16 im im)
1554300749.815 * [misc]simplify:  Simplified (2 1 1 1) to (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 im im) (+.p16 (*.p16 re im) (*.p16 re (+.p16 im re)))) (-.p16 re im)) (+.p16 re im)))
1554300749.815 * * * * [misc]progress:  [ 8 / 18 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 re (+.p16 im re)) (*.p16 im (+.p16 im re))) (-.p16 re im)) (+.p16 re im)))>
1554300749.815 * * * * [misc]progress:  [ 9 / 18 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 im (+.p16 im re)) (+.p16 (*.p16 re im) (*.p16 re re))) (-.p16 re im)) (+.p16 re im)))>
1554300749.815 * [enter]simplify:  Simplifying (*.p16 re re)
1554300749.815 * * [misc]simplify:  iters left: 1 (2 enodes)
1554300749.816 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300749.816 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554300749.816 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1554300749.816 * * [misc]simplify:  Extracting #3: cost 0 inf + 322
1554300749.816 * [exit]simplify:  Simplified to (*.p16 re re)
1554300749.816 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 im (+.p16 im re)) (+.p16 (*.p16 re im) (*.p16 re re))) (-.p16 re im)) (+.p16 re im)))
1554300749.816 * * * * [misc]progress:  [ 10 / 18 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 im (+.p16 im re)) (+.p16 (*.p16 im re) (*.p16 re re))) (-.p16 re im)) (+.p16 re im)))>
1554300749.816 * [enter]simplify:  Simplifying (*.p16 re re)
1554300749.816 * * [misc]simplify:  iters left: 1 (2 enodes)
1554300749.817 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300749.817 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554300749.817 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1554300749.817 * * [misc]simplify:  Extracting #3: cost 0 inf + 322
1554300749.817 * [exit]simplify:  Simplified to (*.p16 re re)
1554300749.817 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 im (+.p16 im re)) (+.p16 (*.p16 im re) (*.p16 re re))) (-.p16 re im)) (+.p16 re im)))
1554300749.817 * * * * [misc]progress:  [ 11 / 18 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 im (+.p16 im re)) (*.p16 (+.p16 im re) re)) (-.p16 re im)) (+.p16 re im)))>
1554300749.817 * * * * [misc]progress:  [ 12 / 18 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (+.p16 (+.p16 (*.p16 im im) (*.p16 im re)) (*.p16 re (+.p16 im re))) (-.p16 re im)) (+.p16 re im)))>
1554300749.817 * [enter]simplify:  Simplifying (*.p16 im re)
1554300749.817 * * [misc]simplify:  iters left: 1 (3 enodes)
1554300749.818 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300749.819 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300749.819 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1554300749.819 * * [misc]simplify:  Extracting #3: cost 0 inf + 324
1554300749.819 * [exit]simplify:  Simplified to (*.p16 re im)
1554300749.819 * [misc]simplify:  Simplified (2 1 1 1 2) to (λ (re im) (/.p16 (*.p16 (+.p16 (+.p16 (*.p16 im im) (*.p16 re im)) (*.p16 re (+.p16 im re))) (-.p16 re im)) (+.p16 re im)))
1554300749.819 * * * * [misc]progress:  [ 13 / 18 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (+.p16 (+.p16 (*.p16 im im) (*.p16 re im)) (*.p16 re (+.p16 im re))) (-.p16 re im)) (+.p16 re im)))>
1554300749.819 * [enter]simplify:  Simplifying (*.p16 re im)
1554300749.819 * * [misc]simplify:  iters left: 1 (3 enodes)
1554300749.820 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300749.820 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300749.820 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1554300749.820 * * [misc]simplify:  Extracting #3: cost 0 inf + 324
1554300749.821 * [exit]simplify:  Simplified to (*.p16 im re)
1554300749.821 * [misc]simplify:  Simplified (2 1 1 1 2) to (λ (re im) (/.p16 (*.p16 (+.p16 (+.p16 (*.p16 im im) (*.p16 im re)) (*.p16 re (+.p16 im re))) (-.p16 re im)) (+.p16 re im)))
1554300749.821 * * * * [misc]progress:  [ 14 / 18 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 (+.p16 im re) im) (*.p16 re (+.p16 im re))) (-.p16 re im)) (+.p16 re im)))>
1554300749.821 * * * * [misc]progress:  [ 15 / 18 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 im (+.p16 im re)) (*.p16 re (+.p16 im re))) (-.p16 re im)) (+.p16 re im)))>
1554300749.821 * [enter]simplify:  Simplifying (*.p16 re (+.p16 im re))
1554300749.821 * * [misc]simplify:  iters left: 2 (4 enodes)
1554300749.823 * * [misc]simplify:  iters left: 1 (15 enodes)
1554300749.826 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300749.826 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1554300749.826 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1554300749.826 * * [misc]simplify:  Extracting #3: cost 0 inf + 1049
1554300749.826 * [exit]simplify:  Simplified to (*.p16 re (+.p16 im re))
1554300749.826 * [misc]simplify:  Simplified (2 1 1 2) to (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 im (+.p16 im re)) (*.p16 re (+.p16 im re))) (-.p16 re im)) (+.p16 re im)))
1554300749.826 * * * * [misc]progress:  [ 16 / 18 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 im (+.p16 im re)) (*.p16 re (+.p16 im re))) (-.p16 re im)) (+.p16 re im)))>
1554300749.826 * [enter]simplify:  Simplifying (*.p16 re (+.p16 im re))
1554300749.826 * * [misc]simplify:  iters left: 2 (4 enodes)
1554300749.827 * * [misc]simplify:  iters left: 1 (15 enodes)
1554300749.829 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300749.829 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1554300749.830 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1554300749.830 * * [misc]simplify:  Extracting #3: cost 0 inf + 1049
1554300749.830 * [exit]simplify:  Simplified to (*.p16 re (+.p16 im re))
1554300749.830 * [misc]simplify:  Simplified (2 1 1 2) to (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 im (+.p16 im re)) (*.p16 re (+.p16 im re))) (-.p16 re im)) (+.p16 re im)))
1554300749.830 * * * * [misc]progress:  [ 17 / 18 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 im (+.p16 im re)) (*.p16 re (+.p16 im re))) (-.p16 re im)) (+.p16 re im)))>
1554300749.830 * [enter]simplify:  Simplifying (*.p16 re (+.p16 im re))
1554300749.830 * * [misc]simplify:  iters left: 2 (4 enodes)
1554300749.831 * * [misc]simplify:  iters left: 1 (15 enodes)
1554300749.834 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300749.834 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1554300749.834 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1554300749.834 * * [misc]simplify:  Extracting #3: cost 0 inf + 1049
1554300749.834 * [exit]simplify:  Simplified to (*.p16 re (+.p16 im re))
1554300749.834 * [misc]simplify:  Simplified (2 1 1 2) to (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 im (+.p16 im re)) (*.p16 re (+.p16 im re))) (-.p16 re im)) (+.p16 re im)))
1554300749.834 * * * * [misc]progress:  [ 18 / 18 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 im (+.p16 im re)) (*.p16 re (+.p16 im re))) (-.p16 re im)) (+.p16 re im)))>
1554300749.834 * [enter]simplify:  Simplifying (*.p16 re (+.p16 im re))
1554300749.834 * * [misc]simplify:  iters left: 2 (4 enodes)
1554300749.835 * * [misc]simplify:  iters left: 1 (15 enodes)
1554300749.837 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300749.837 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1554300749.837 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1554300749.837 * * [misc]simplify:  Extracting #3: cost 0 inf + 1049
1554300749.837 * [exit]simplify:  Simplified to (*.p16 re (+.p16 im re))
1554300749.837 * [misc]simplify:  Simplified (2 1 1 2) to (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 im (+.p16 im re)) (*.p16 re (+.p16 im re))) (-.p16 re im)) (+.p16 re im)))
1554300749.838 * * * [misc]progress:  adding candidates to table
1554300750.039 * [misc]progress:  [Phase 3 of 3] Extracting.
1554300750.039 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (re im) (-.p16 (*.p16 re re) (*.p16 im im)))> #<alt (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 im (+.p16 im re)) (*.p16 re (+.p16 im re))) (-.p16 re im)) (+.p16 re im)))> #<alt (λ (re im) (/.p16 (+.p16 (*.p16 re (*.p16 (+.p16 im re) (+.p16 im re))) (*.p16 (neg.p16 im) (*.p16 (+.p16 im re) (+.p16 im re)))) (+.p16 re im)))> #<alt (λ (re im) (/.p16 (/.p16 (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 (*.p16 re re) (*.p16 im im))) (+.p16 re im)) (+.p16 re im)))> #<alt (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))>)
1554300750.040 * * * [misc]regime-changes:  Trying 2 branch expressions: (im re)
1554300750.041 * * * * [misc]regimes:  Trying to branch on im from (#<alt (λ (re im) (-.p16 (*.p16 re re) (*.p16 im im)))> #<alt (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 im (+.p16 im re)) (*.p16 re (+.p16 im re))) (-.p16 re im)) (+.p16 re im)))> #<alt (λ (re im) (/.p16 (+.p16 (*.p16 re (*.p16 (+.p16 im re) (+.p16 im re))) (*.p16 (neg.p16 im) (*.p16 (+.p16 im re) (+.p16 im re)))) (+.p16 re im)))> #<alt (λ (re im) (/.p16 (/.p16 (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 (*.p16 re re) (*.p16 im im))) (+.p16 re im)) (+.p16 re im)))> #<alt (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))>)
1554300750.122 * * * * [misc]regimes:  Trying to branch on re from (#<alt (λ (re im) (-.p16 (*.p16 re re) (*.p16 im im)))> #<alt (λ (re im) (/.p16 (*.p16 (+.p16 (*.p16 im (+.p16 im re)) (*.p16 re (+.p16 im re))) (-.p16 re im)) (+.p16 re im)))> #<alt (λ (re im) (/.p16 (+.p16 (*.p16 re (*.p16 (+.p16 im re) (+.p16 im re))) (*.p16 (neg.p16 im) (*.p16 (+.p16 im re) (+.p16 im re)))) (+.p16 re im)))> #<alt (λ (re im) (/.p16 (/.p16 (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 (*.p16 re re) (*.p16 im im))) (+.p16 re im)) (+.p16 re im)))> #<alt (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))>)
1554300750.199 * * * [misc]regime:  Found split indices: #<option (#s(si 4 256))>
1554300750.199 * [enter]simplify:  Simplifying (*.p16 (-.p16 re im) (+.p16 im re))
1554300750.199 * * [misc]simplify:  iters left: 2 (5 enodes)
1554300750.199 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300750.199 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300750.199 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554300750.199 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1554300750.199 * * [misc]simplify:  Extracting #4: cost 0 inf + 568
1554300750.199 * [exit]simplify:  Simplified to (*.p16 (-.p16 re im) (+.p16 im re))
1554300750.200 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1554300750.238 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1554300750.239 * * * * [misc]points:  Setting MPFR precision to 64
1554300750.240 * * * * [misc]points:  Setting MPFR precision to 320
1554300750.240 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1554300750.241 * * * * [misc]points:  Setting MPFR precision to 64
1554300750.243 * * * * [misc]points:  Setting MPFR precision to 320
1554300750.244 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1554300750.245 * * * * [misc]points:  Setting MPFR precision to 64
1554300750.248 * * * * [misc]points:  Setting MPFR precision to 320
1554300750.251 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1554300750.252 * * * * [misc]points:  Setting MPFR precision to 64
1554300750.257 * * * * [misc]points:  Setting MPFR precision to 320
1554300750.263 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1554300750.264 * * * * [misc]points:  Setting MPFR precision to 64
1554300750.275 * * * * [misc]points:  Setting MPFR precision to 320
1554300750.294 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1554300750.296 * * * * [misc]points:  Setting MPFR precision to 64
1554300750.322 * * * * [misc]points:  Setting MPFR precision to 320
1554300750.352 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1554300750.353 * * * * [misc]points:  Setting MPFR precision to 64
1554300750.449 * * * * [misc]points:  Setting MPFR precision to 320
1554300750.513 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1554300750.514 * * * * [misc]points:  Setting MPFR precision to 64
1554300750.660 * * * * [misc]points:  Setting MPFR precision to 320
1554300750.800 * * * * [misc]points:  Computing exacts for 8000 points
1554300750.802 * * * * [misc]points:  Setting MPFR precision to 64
1554300751.400 * * * * [misc]points:  Setting MPFR precision to 320
1554300751.935 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554300751.960 * * * * [exit]points:  Sampled 8000 points with exact outputs
1554300753.323 * [misc]regime-testing:  Baseline error score: 64.0
1554300753.327 * [misc]regime-testing:  Oracle error score: 64.0
1554300753.336 * [misc]regime-testing:  End program error score: 0.09568872187554087