1550842812.855 * [misc]progress:  [Phase 1 of 3] Setting up.
1550842812.856 * * * [misc]progress:  [1/2] Preparing points
1550842812.856 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550842812.856 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550842812.858 * * * * [misc]points:  Setting MPFR precision to 64
1550842812.859 * * * * [misc]points:  Setting MPFR precision to 320
1550842812.860 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550842812.861 * * * * [misc]points:  Setting MPFR precision to 64
1550842812.863 * * * * [misc]points:  Setting MPFR precision to 320
1550842812.866 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550842812.868 * * * * [misc]points:  Setting MPFR precision to 64
1550842812.871 * * * * [misc]points:  Setting MPFR precision to 320
1550842812.875 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550842812.876 * * * * [misc]points:  Setting MPFR precision to 64
1550842812.881 * * * * [misc]points:  Setting MPFR precision to 320
1550842812.894 * * * * [misc]points:  Computing exacts for 256 points
1550842812.896 * * * * [misc]points:  Setting MPFR precision to 64
1550842812.911 * * * * [misc]points:  Setting MPFR precision to 320
1550842812.931 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842812.945 * * * * [misc]points:  Sampling 4 additional inputs, on iter 1 have 255 / 256
1550842812.945 * * * * [misc]points:  Computing exacts for 4 points
1550842812.946 * * * * [misc]points:  Setting MPFR precision to 64
1550842812.947 * * * * [misc]points:  Setting MPFR precision to 320
1550842812.947 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842812.947 * * * * [exit]points:  Sampled 259 points with exact outputs
1550842812.947 * * * [misc]progress:  [2/2] Setting up program.
1550842812.963 * [misc]progress:  [Phase 2 of 3] Improving.
1550842812.963 * * * * [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.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1550842812.963 * [enter]simplify:  Simplifying (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))
1550842812.963 * * [misc]simplify:  iters left: 4 (11 enodes)
1550842812.965 * * [misc]simplify:  iters left: 3 (29 enodes)
1550842812.972 * * [misc]simplify:  iters left: 2 (80 enodes)
1550842812.989 * * [misc]simplify:  iters left: 1 (221 enodes)
1550842813.111 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842813.111 * * [misc]simplify:  Extracting #1: cost 13 inf + 0
1550842813.111 * * [misc]simplify:  Extracting #2: cost 84 inf + 1
1550842813.112 * * [misc]simplify:  Extracting #3: cost 260 inf + 1931
1550842813.114 * * [misc]simplify:  Extracting #4: cost 234 inf + 56565
1550842813.122 * * [misc]simplify:  Extracting #5: cost 79 inf + 287232
1550842813.137 * * [misc]simplify:  Extracting #6: cost 2 inf + 414836
1550842813.152 * * [misc]simplify:  Extracting #7: cost 0 inf + 420160
1550842813.167 * [exit]simplify:  Simplified to (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
1550842813.167 * [misc]simplify:  Simplified (2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))
1550842813.225 * * [misc]progress:  iteration 1 / 4
1550842813.225 * * * [misc]progress:  picking best candidate
1550842813.282 * * * * [misc]pick:  Picked  #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
1550842813.282 * * * [misc]progress:  localizing error
1550842813.656 * * * [misc]progress:  generating rewritten candidates
1550842813.656 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2)
1550842813.671 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2)
1550842813.674 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1)
1550842813.677 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2)
1550842813.679 * * * [misc]progress:  generating series expansions
1550842813.679 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2)
1550842813.679 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2)
1550842813.680 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1)
1550842813.680 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2)
1550842813.680 * * * [misc]progress:  simplifying candidates
1550842813.680 * * * * [misc]progress:  [ 1 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))>
1550842813.680 * [enter]simplify:  Simplifying (*.p16 x.re x.re)
1550842813.680 * * [misc]simplify:  iters left: 1 (2 enodes)
1550842813.681 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842813.681 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550842813.681 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550842813.681 * * [misc]simplify:  Extracting #3: cost 0 inf + 322
1550842813.681 * [exit]simplify:  Simplified to (*.p16 x.re x.re)
1550842813.681 * [misc]simplify:  Simplified (2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))
1550842813.681 * * * * [misc]progress:  [ 2 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))>
1550842813.681 * [enter]simplify:  Simplifying (*.p16 x.re x.re)
1550842813.681 * * [misc]simplify:  iters left: 1 (2 enodes)
1550842813.682 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842813.682 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550842813.682 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550842813.682 * * [misc]simplify:  Extracting #3: cost 0 inf + 322
1550842813.682 * [exit]simplify:  Simplified to (*.p16 x.re x.re)
1550842813.682 * [misc]simplify:  Simplified (2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))
1550842813.682 * * * * [misc]progress:  [ 3 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (+.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 x.re (+.p16 x.re x.re))))))>
1550842813.683 * [enter]simplify:  Simplifying (*.p16 (+.p16 x.im x.re) x.re)
1550842813.683 * * [misc]simplify:  iters left: 2 (4 enodes)
1550842813.685 * * [misc]simplify:  iters left: 1 (10 enodes)
1550842813.688 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842813.688 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550842813.688 * * [misc]simplify:  Extracting #2: cost 6 inf + 1
1550842813.688 * * [misc]simplify:  Extracting #3: cost 4 inf + 323
1550842813.688 * * [misc]simplify:  Extracting #4: cost 0 inf + 1371
1550842813.688 * [exit]simplify:  Simplified to (*.p16 (+.p16 x.re x.im) x.re)
1550842813.688 * [misc]simplify:  Simplified (2 2 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.re x.im) x.re) (+.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 x.re (+.p16 x.re x.re))))))
1550842813.688 * * * * [misc]progress:  [ 4 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))>
1550842813.689 * [enter]simplify:  Simplifying (*.p16 x.re (+.p16 x.im x.re))
1550842813.689 * * [misc]simplify:  iters left: 2 (4 enodes)
1550842813.690 * * [misc]simplify:  iters left: 1 (15 enodes)
1550842813.695 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842813.695 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550842813.695 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1550842813.695 * * [misc]simplify:  Extracting #3: cost 0 inf + 1049
1550842813.695 * [exit]simplify:  Simplified to (*.p16 x.re (+.p16 x.im x.re))
1550842813.695 * [misc]simplify:  Simplified (2 2 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))
1550842813.695 * * * * [misc]progress:  [ 5 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))))>
1550842813.695 * * * * [misc]progress:  [ 6 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
1550842813.695 * [enter]simplify:  Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
1550842813.695 * * [misc]simplify:  iters left: 3 (5 enodes)
1550842813.697 * * [misc]simplify:  iters left: 2 (15 enodes)
1550842813.702 * * [misc]simplify:  iters left: 1 (29 enodes)
1550842813.711 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842813.712 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842813.712 * * [misc]simplify:  Extracting #2: cost 5 inf + 725
1550842813.712 * * [misc]simplify:  Extracting #3: cost 0 inf + 2774
1550842813.712 * [exit]simplify:  Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
1550842813.712 * [misc]simplify:  Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)))
1550842813.712 * * * * [misc]progress:  [ 7 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))>
1550842813.713 * [enter]simplify:  Simplifying (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)
1550842813.713 * * [misc]simplify:  iters left: 3 (5 enodes)
1550842813.715 * * [misc]simplify:  iters left: 2 (15 enodes)
1550842813.720 * * [misc]simplify:  iters left: 1 (25 enodes)
1550842813.728 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842813.728 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842813.728 * * [misc]simplify:  Extracting #2: cost 7 inf + 43
1550842813.729 * * [misc]simplify:  Extracting #3: cost 3 inf + 1089
1550842813.729 * * [misc]simplify:  Extracting #4: cost 0 inf + 2774
1550842813.729 * [exit]simplify:  Simplified to (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))
1550842813.729 * [misc]simplify:  Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))))
1550842813.729 * * * * [misc]progress:  [ 8 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))) x.im))>
1550842813.729 * * * * [misc]progress:  [ 9 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) (*.p16 x.re (+.p16 x.re x.re)))))>
1550842813.730 * [enter]simplify:  Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
1550842813.730 * * [misc]simplify:  iters left: 2 (5 enodes)
1550842813.732 * * [misc]simplify:  iters left: 1 (11 enodes)
1550842813.735 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842813.735 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1550842813.735 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1550842813.735 * * [misc]simplify:  Extracting #3: cost 7 inf + 2
1550842813.736 * * [misc]simplify:  Extracting #4: cost 0 inf + 2173
1550842813.736 * [exit]simplify:  Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
1550842813.736 * [misc]simplify:  Simplified (2 2 1 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))) (*.p16 x.re (+.p16 x.re x.re)))))
1550842813.736 * * * * [misc]progress:  [ 10 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 x.re (+.p16 x.re x.re)))))>
1550842813.736 * [enter]simplify:  Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
1550842813.736 * * [misc]simplify:  iters left: 2 (5 enodes)
1550842813.738 * * [misc]simplify:  iters left: 1 (17 enodes)
1550842813.744 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842813.744 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550842813.744 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550842813.744 * * [misc]simplify:  Extracting #3: cost 5 inf + 2
1550842813.744 * * [misc]simplify:  Extracting #4: cost 0 inf + 1370
1550842813.744 * [exit]simplify:  Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
1550842813.744 * [misc]simplify:  Simplified (2 2 1 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))) (*.p16 x.re (+.p16 x.re x.re)))))
1550842813.745 * * * * [misc]progress:  [ 11 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (/.p16 (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (+.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
1550842813.745 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550842813.745 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842813.746 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842813.746 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842813.746 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550842813.746 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550842813.746 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550842813.746 * [misc]simplify:  Simplified (2 2 1 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (/.p16 (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re)))))
1550842813.747 * * * * [misc]progress:  [ 12 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re)))))>
1550842813.747 * * * * [misc]progress:  [ 13 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
1550842813.747 * [enter]simplify:  Simplifying (*.p16 x.re x.re)
1550842813.747 * * [misc]simplify:  iters left: 1 (2 enodes)
1550842813.748 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842813.748 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550842813.748 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550842813.748 * * [misc]simplify:  Extracting #3: cost 0 inf + 322
1550842813.748 * [exit]simplify:  Simplified to (*.p16 x.re x.re)
1550842813.748 * [misc]simplify:  Simplified (2 2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))
1550842813.748 * * * * [misc]progress:  [ 14 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
1550842813.749 * [enter]simplify:  Simplifying (*.p16 x.re x.re)
1550842813.749 * * [misc]simplify:  iters left: 1 (2 enodes)
1550842813.749 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842813.749 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550842813.749 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550842813.750 * * [misc]simplify:  Extracting #3: cost 0 inf + 322
1550842813.750 * [exit]simplify:  Simplified to (*.p16 x.re x.re)
1550842813.750 * [misc]simplify:  Simplified (2 2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))
1550842813.750 * * * * [misc]progress:  [ 15 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))))>
1550842813.750 * * * * [misc]progress:  [ 16 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
1550842813.750 * [enter]simplify:  Simplifying (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
1550842813.750 * * [misc]simplify:  iters left: 4 (9 enodes)
1550842813.754 * * [misc]simplify:  iters left: 3 (31 enodes)
1550842813.766 * * [misc]simplify:  iters left: 2 (81 enodes)
1550842813.816 * * [misc]simplify:  iters left: 1 (313 enodes)
1550842814.175 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842814.175 * * [misc]simplify:  Extracting #1: cost 25 inf + 0
1550842814.176 * * [misc]simplify:  Extracting #2: cost 146 inf + 1
1550842814.178 * * [misc]simplify:  Extracting #3: cost 271 inf + 9598
1550842814.191 * * [misc]simplify:  Extracting #4: cost 160 inf + 145347
1550842814.223 * * [misc]simplify:  Extracting #5: cost 29 inf + 293341
1550842814.254 * * [misc]simplify:  Extracting #6: cost 2 inf + 329705
1550842814.287 * * [misc]simplify:  Extracting #7: cost 0 inf + 334429
1550842814.318 * [exit]simplify:  Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1550842814.318 * [misc]simplify:  Simplified (2) to (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))
1550842814.318 * * * * [misc]progress:  [ 17 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
1550842814.318 * [enter]simplify:  Simplifying (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
1550842814.319 * * [misc]simplify:  iters left: 4 (9 enodes)
1550842814.323 * * [misc]simplify:  iters left: 3 (31 enodes)
1550842814.336 * * [misc]simplify:  iters left: 2 (81 enodes)
1550842814.383 * * [misc]simplify:  iters left: 1 (313 enodes)
1550842814.717 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842814.717 * * [misc]simplify:  Extracting #1: cost 25 inf + 0
1550842814.718 * * [misc]simplify:  Extracting #2: cost 146 inf + 1
1550842814.720 * * [misc]simplify:  Extracting #3: cost 271 inf + 9598
1550842814.733 * * [misc]simplify:  Extracting #4: cost 160 inf + 145347
1550842814.760 * * [misc]simplify:  Extracting #5: cost 29 inf + 293341
1550842814.791 * * [misc]simplify:  Extracting #6: cost 2 inf + 329705
1550842814.814 * * [misc]simplify:  Extracting #7: cost 0 inf + 334429
1550842814.829 * [exit]simplify:  Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1550842814.829 * [misc]simplify:  Simplified (2) to (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))
1550842814.829 * * * * [misc]progress:  [ 18 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
1550842814.829 * [enter]simplify:  Simplifying (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
1550842814.830 * * [misc]simplify:  iters left: 4 (9 enodes)
1550842814.832 * * [misc]simplify:  iters left: 3 (31 enodes)
1550842814.840 * * [misc]simplify:  iters left: 2 (81 enodes)
1550842814.885 * * [misc]simplify:  iters left: 1 (313 enodes)
1550842815.190 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842815.190 * * [misc]simplify:  Extracting #1: cost 25 inf + 0
1550842815.191 * * [misc]simplify:  Extracting #2: cost 146 inf + 1
1550842815.194 * * [misc]simplify:  Extracting #3: cost 271 inf + 9598
1550842815.207 * * [misc]simplify:  Extracting #4: cost 160 inf + 145347
1550842815.221 * * [misc]simplify:  Extracting #5: cost 29 inf + 293341
1550842815.237 * * [misc]simplify:  Extracting #6: cost 2 inf + 329705
1550842815.269 * * [misc]simplify:  Extracting #7: cost 0 inf + 334429
1550842815.294 * [exit]simplify:  Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1550842815.294 * [misc]simplify:  Simplified (2) to (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))
1550842815.295 * * * * [misc]progress:  [ 19 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
1550842815.295 * [enter]simplify:  Simplifying (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
1550842815.295 * * [misc]simplify:  iters left: 4 (9 enodes)
1550842815.297 * * [misc]simplify:  iters left: 3 (31 enodes)
1550842815.303 * * [misc]simplify:  iters left: 2 (81 enodes)
1550842815.330 * * [misc]simplify:  iters left: 1 (313 enodes)
1550842815.641 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842815.641 * * [misc]simplify:  Extracting #1: cost 25 inf + 0
1550842815.641 * * [misc]simplify:  Extracting #2: cost 146 inf + 1
1550842815.643 * * [misc]simplify:  Extracting #3: cost 271 inf + 9598
1550842815.649 * * [misc]simplify:  Extracting #4: cost 160 inf + 145347
1550842815.662 * * [misc]simplify:  Extracting #5: cost 29 inf + 293341
1550842815.678 * * [misc]simplify:  Extracting #6: cost 2 inf + 329705
1550842815.696 * * [misc]simplify:  Extracting #7: cost 0 inf + 334429
1550842815.714 * [exit]simplify:  Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1550842815.714 * [misc]simplify:  Simplified (2) to (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))
1550842815.714 * * * [misc]progress:  adding candidates to table
1550842816.723 * * [misc]progress:  iteration 2 / 4
1550842816.723 * * * [misc]progress:  picking best candidate
1550842816.815 * * * * [misc]pick:  Picked  #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1550842816.815 * * * [misc]progress:  localizing error
1550842817.271 * * * [misc]progress:  generating rewritten candidates
1550842817.271 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550842817.276 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1)
1550842817.279 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1550842817.281 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1)
1550842817.284 * * * [misc]progress:  generating series expansions
1550842817.284 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550842817.284 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1)
1550842817.284 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1550842817.284 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1)
1550842817.284 * * * [misc]progress:  simplifying candidates
1550842817.284 * * * * [misc]progress:  [ 1 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im)))>
1550842817.284 * * * * [misc]progress:  [ 2 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1550842817.284 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550842817.285 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842817.286 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842817.286 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842817.286 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550842817.286 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550842817.286 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550842817.286 * [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.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
1550842817.286 * [enter]simplify:  Simplifying (-.p16 x.re x.im)
1550842817.286 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842817.288 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842817.288 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550842817.288 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550842817.288 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550842817.289 * [exit]simplify:  Simplified to (-.p16 x.re x.im)
1550842817.289 * [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.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
1550842817.289 * * * * [misc]progress:  [ 3 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 (*.p16 x.re x.re) (neg.p16 (*.p16 x.im x.im))) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1550842817.289 * * * * [misc]progress:  [ 4 / 12 ] 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.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1550842817.289 * * * * [misc]progress:  [ 5 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 x.re (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)))))>
1550842817.289 * * * * [misc]progress:  [ 6 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1550842817.289 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550842817.289 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842817.290 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842817.290 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842817.291 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550842817.291 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550842817.291 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550842817.291 * [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.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
1550842817.291 * * * * [misc]progress:  [ 7 / 12 ] 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.im) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1550842817.291 * [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.im)
1550842817.291 * * [misc]simplify:  iters left: 4 (8 enodes)
1550842817.295 * * [misc]simplify:  iters left: 3 (31 enodes)
1550842817.307 * * [misc]simplify:  iters left: 2 (85 enodes)
1550842817.327 * * [misc]simplify:  iters left: 1 (279 enodes)
1550842817.564 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842817.564 * * [misc]simplify:  Extracting #1: cost 69 inf + 0
1550842817.566 * * [misc]simplify:  Extracting #2: cost 323 inf + 1
1550842817.571 * * [misc]simplify:  Extracting #3: cost 341 inf + 60114
1550842817.602 * * [misc]simplify:  Extracting #4: cost 127 inf + 505558
1550842817.667 * * [misc]simplify:  Extracting #5: cost 4 inf + 763673
1550842817.730 * * [misc]simplify:  Extracting #6: cost 0 inf + 776441
1550842817.793 * [exit]simplify:  Simplified to (*.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.im)
1550842817.793 * [misc]simplify:  Simplified (2 1 1) to (λ (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.im) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
1550842817.793 * * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1550842817.793 * * * * [misc]progress:  [ 9 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1550842817.794 * [enter]simplify:  Simplifying (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))
1550842817.794 * * [misc]simplify:  iters left: 4 (11 enodes)
1550842817.796 * * [misc]simplify:  iters left: 3 (29 enodes)
1550842817.802 * * [misc]simplify:  iters left: 2 (80 enodes)
1550842817.820 * * [misc]simplify:  iters left: 1 (221 enodes)
1550842817.939 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842817.939 * * [misc]simplify:  Extracting #1: cost 13 inf + 0
1550842817.940 * * [misc]simplify:  Extracting #2: cost 84 inf + 1
1550842817.941 * * [misc]simplify:  Extracting #3: cost 260 inf + 1931
1550842817.946 * * [misc]simplify:  Extracting #4: cost 234 inf + 56565
1550842817.964 * * [misc]simplify:  Extracting #5: cost 79 inf + 287232
1550842817.993 * * [misc]simplify:  Extracting #6: cost 2 inf + 414836
1550842818.027 * * [misc]simplify:  Extracting #7: cost 0 inf + 420160
1550842818.058 * [exit]simplify:  Simplified to (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
1550842818.058 * [misc]simplify:  Simplified (2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))
1550842818.058 * * * * [misc]progress:  [ 10 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1550842818.058 * [enter]simplify:  Simplifying (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))
1550842818.059 * * [misc]simplify:  iters left: 4 (11 enodes)
1550842818.063 * * [misc]simplify:  iters left: 3 (29 enodes)
1550842818.075 * * [misc]simplify:  iters left: 2 (80 enodes)
1550842818.110 * * [misc]simplify:  iters left: 1 (221 enodes)
1550842818.263 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842818.263 * * [misc]simplify:  Extracting #1: cost 13 inf + 0
1550842818.263 * * [misc]simplify:  Extracting #2: cost 84 inf + 1
1550842818.265 * * [misc]simplify:  Extracting #3: cost 260 inf + 1931
1550842818.269 * * [misc]simplify:  Extracting #4: cost 234 inf + 56565
1550842818.291 * * [misc]simplify:  Extracting #5: cost 79 inf + 287232
1550842818.320 * * [misc]simplify:  Extracting #6: cost 2 inf + 414836
1550842818.350 * * [misc]simplify:  Extracting #7: cost 0 inf + 420160
1550842818.374 * [exit]simplify:  Simplified to (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
1550842818.375 * [misc]simplify:  Simplified (2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))
1550842818.375 * * * * [misc]progress:  [ 11 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1550842818.375 * [enter]simplify:  Simplifying (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))
1550842818.375 * * [misc]simplify:  iters left: 4 (11 enodes)
1550842818.377 * * [misc]simplify:  iters left: 3 (29 enodes)
1550842818.383 * * [misc]simplify:  iters left: 2 (80 enodes)
1550842818.401 * * [misc]simplify:  iters left: 1 (221 enodes)
1550842818.479 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842818.479 * * [misc]simplify:  Extracting #1: cost 13 inf + 0
1550842818.479 * * [misc]simplify:  Extracting #2: cost 84 inf + 1
1550842818.480 * * [misc]simplify:  Extracting #3: cost 260 inf + 1931
1550842818.482 * * [misc]simplify:  Extracting #4: cost 234 inf + 56565
1550842818.491 * * [misc]simplify:  Extracting #5: cost 79 inf + 287232
1550842818.506 * * [misc]simplify:  Extracting #6: cost 2 inf + 414836
1550842818.522 * * [misc]simplify:  Extracting #7: cost 0 inf + 420160
1550842818.539 * [exit]simplify:  Simplified to (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
1550842818.539 * [misc]simplify:  Simplified (2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))
1550842818.539 * * * * [misc]progress:  [ 12 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1550842818.539 * [enter]simplify:  Simplifying (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))
1550842818.539 * * [misc]simplify:  iters left: 4 (11 enodes)
1550842818.541 * * [misc]simplify:  iters left: 3 (29 enodes)
1550842818.547 * * [misc]simplify:  iters left: 2 (80 enodes)
1550842818.566 * * [misc]simplify:  iters left: 1 (221 enodes)
1550842818.682 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842818.683 * * [misc]simplify:  Extracting #1: cost 13 inf + 0
1550842818.683 * * [misc]simplify:  Extracting #2: cost 84 inf + 1
1550842818.684 * * [misc]simplify:  Extracting #3: cost 260 inf + 1931
1550842818.689 * * [misc]simplify:  Extracting #4: cost 234 inf + 56565
1550842818.707 * * [misc]simplify:  Extracting #5: cost 79 inf + 287232
1550842818.740 * * [misc]simplify:  Extracting #6: cost 2 inf + 414836
1550842818.761 * * [misc]simplify:  Extracting #7: cost 0 inf + 420160
1550842818.776 * [exit]simplify:  Simplified to (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
1550842818.776 * [misc]simplify:  Simplified (2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))
1550842818.776 * * * [misc]progress:  adding candidates to table
1550842819.230 * * [misc]progress:  iteration 3 / 4
1550842819.230 * * * [misc]progress:  picking best candidate
1550842819.294 * * * * [misc]pick:  Picked  #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1550842819.294 * * * [misc]progress:  localizing error
1550842819.426 * * * [misc]progress:  generating rewritten candidates
1550842819.426 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550842819.430 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1550842819.432 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1550842819.434 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2)
1550842819.435 * * * [misc]progress:  generating series expansions
1550842819.435 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550842819.435 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1550842819.435 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1550842819.435 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2)
1550842819.435 * * * [misc]progress:  simplifying candidates
1550842819.435 * * * * [misc]progress:  [ 1 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re) (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im))))>
1550842819.435 * * * * [misc]progress:  [ 2 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1550842819.435 * * * * [misc]progress:  [ 3 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im)) (+.p16 x.re x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1550842819.435 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550842819.435 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842819.436 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842819.436 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842819.436 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550842819.436 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550842819.436 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550842819.436 * [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.im)) (+.p16 x.im x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
1550842819.436 * * * * [misc]progress:  [ 4 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (-.p16 x.re x.im) x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1550842819.436 * * * * [misc]progress:  [ 5 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 x.re (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)))))>
1550842819.436 * * * * [misc]progress:  [ 6 / 11 ] 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.im) (+.p16 x.re x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1550842819.436 * [enter]simplify:  Simplifying (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im)
1550842819.436 * * [misc]simplify:  iters left: 3 (6 enodes)
1550842819.437 * * [misc]simplify:  iters left: 2 (21 enodes)
1550842819.441 * * [misc]simplify:  iters left: 1 (58 enodes)
1550842819.454 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842819.454 * * [misc]simplify:  Extracting #1: cost 19 inf + 0
1550842819.454 * * [misc]simplify:  Extracting #2: cost 57 inf + 1
1550842819.454 * * [misc]simplify:  Extracting #3: cost 56 inf + 2810
1550842819.455 * * [misc]simplify:  Extracting #4: cost 40 inf + 27662
1550842819.456 * * [misc]simplify:  Extracting #5: cost 1 inf + 68925
1550842819.459 * * [misc]simplify:  Extracting #6: cost 0 inf + 71247
1550842819.461 * [exit]simplify:  Simplified to (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))
1550842819.461 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (/.p16 (*.p16 x.im (*.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.re)))
1550842819.461 * * * * [misc]progress:  [ 7 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 x.im (-.p16 x.re x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1550842819.461 * * * * [misc]progress:  [ 8 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1550842819.461 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550842819.461 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842819.462 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842819.462 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842819.462 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550842819.462 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550842819.462 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550842819.462 * [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.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
1550842819.462 * * * * [misc]progress:  [ 9 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1550842819.462 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550842819.462 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842819.463 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842819.463 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842819.463 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550842819.463 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550842819.463 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550842819.463 * [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.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
1550842819.463 * * * * [misc]progress:  [ 10 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1550842819.463 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550842819.463 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842819.464 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842819.464 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842819.464 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550842819.464 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550842819.464 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550842819.464 * [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.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
1550842819.464 * * * * [misc]progress:  [ 11 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1550842819.464 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550842819.464 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842819.465 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842819.465 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842819.465 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550842819.465 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550842819.465 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550842819.465 * [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.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
1550842819.465 * * * [misc]progress:  adding candidates to table
1550842819.761 * * [misc]progress:  iteration 4 / 4
1550842819.761 * * * [misc]progress:  picking best candidate
1550842819.821 * * * * [misc]pick:  Picked  #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
1550842819.821 * * * [misc]progress:  localizing error
1550842819.921 * * * [misc]progress:  generating rewritten candidates
1550842819.922 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550842819.926 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2)
1550842819.928 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1)
1550842819.931 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2)
1550842819.934 * * * [misc]progress:  generating series expansions
1550842819.934 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550842819.934 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2)
1550842819.934 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1)
1550842819.934 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2)
1550842819.934 * * * [misc]progress:  simplifying candidates
1550842819.934 * * * * [misc]progress:  [ 1 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
1550842819.934 * [enter]simplify:  Simplifying (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))
1550842819.934 * * [misc]simplify:  iters left: 3 (8 enodes)
1550842819.936 * * [misc]simplify:  iters left: 2 (23 enodes)
1550842819.940 * * [misc]simplify:  iters left: 1 (53 enodes)
1550842819.953 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842819.953 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1550842819.954 * * [misc]simplify:  Extracting #2: cost 44 inf + 0
1550842819.954 * * [misc]simplify:  Extracting #3: cost 62 inf + 1008
1550842819.955 * * [misc]simplify:  Extracting #4: cost 33 inf + 20270
1550842819.957 * * [misc]simplify:  Extracting #5: cost 3 inf + 45322
1550842819.959 * * [misc]simplify:  Extracting #6: cost 0 inf + 50128
1550842819.961 * [exit]simplify:  Simplified to (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))
1550842819.961 * [misc]simplify:  Simplified (2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))))
1550842819.961 * * * * [misc]progress:  [ 2 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re x.re))) (*.p16 x.im (*.p16 x.re x.re))))>
1550842819.961 * [enter]simplify:  Simplifying (*.p16 x.im (*.p16 x.re x.re))
1550842819.961 * * [misc]simplify:  iters left: 2 (4 enodes)
1550842819.962 * * [misc]simplify:  iters left: 1 (11 enodes)
1550842819.963 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842819.963 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550842819.963 * * [misc]simplify:  Extracting #2: cost 2 inf + 323
1550842819.963 * * [misc]simplify:  Extracting #3: cost 0 inf + 1287
1550842819.963 * [exit]simplify:  Simplified to (*.p16 x.im (*.p16 x.re x.re))
1550842819.964 * [misc]simplify:  Simplified (2 2) to (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re x.re))) (*.p16 x.im (*.p16 x.re x.re))))
1550842819.964 * * * * [misc]progress:  [ 3 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re x.re))) (*.p16 x.im (*.p16 x.re x.re))))>
1550842819.964 * [enter]simplify:  Simplifying (*.p16 x.im (*.p16 x.re x.re))
1550842819.964 * * [misc]simplify:  iters left: 2 (4 enodes)
1550842819.965 * * [misc]simplify:  iters left: 1 (11 enodes)
1550842819.966 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842819.966 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550842819.966 * * [misc]simplify:  Extracting #2: cost 2 inf + 323
1550842819.966 * * [misc]simplify:  Extracting #3: cost 0 inf + 1287
1550842819.966 * [exit]simplify:  Simplified to (*.p16 x.im (*.p16 x.re x.re))
1550842819.966 * [misc]simplify:  Simplified (2 2) to (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re x.re))) (*.p16 x.im (*.p16 x.re x.re))))
1550842819.966 * * * * [misc]progress:  [ 4 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.re x.re) x.im)) (*.p16 (*.p16 x.re x.re) x.im)))>
1550842819.967 * [enter]simplify:  Simplifying (*.p16 (*.p16 x.re x.re) x.im)
1550842819.967 * * [misc]simplify:  iters left: 2 (4 enodes)
1550842819.967 * * [misc]simplify:  iters left: 1 (11 enodes)
1550842819.969 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842819.969 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550842819.969 * * [misc]simplify:  Extracting #2: cost 3 inf + 2
1550842819.969 * * [misc]simplify:  Extracting #3: cost 0 inf + 1287
1550842819.969 * [exit]simplify:  Simplified to (*.p16 x.im (*.p16 x.re x.re))
1550842819.969 * [misc]simplify:  Simplified (2 2) to (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.re x.re) x.im)) (*.p16 x.im (*.p16 x.re x.re))))
1550842819.969 * * * * [misc]progress:  [ 5 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.re x.re) x.im)) (*.p16 (*.p16 x.re x.re) x.im)))>
1550842819.969 * [enter]simplify:  Simplifying (*.p16 (*.p16 x.re x.re) x.im)
1550842819.969 * * [misc]simplify:  iters left: 2 (4 enodes)
1550842819.970 * * [misc]simplify:  iters left: 1 (11 enodes)
1550842819.972 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842819.972 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550842819.972 * * [misc]simplify:  Extracting #2: cost 3 inf + 2
1550842819.972 * * [misc]simplify:  Extracting #3: cost 0 inf + 1287
1550842819.972 * [exit]simplify:  Simplified to (*.p16 x.im (*.p16 x.re x.re))
1550842819.972 * [misc]simplify:  Simplified (2 2) to (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.re x.re) x.im)) (*.p16 x.im (*.p16 x.re x.re))))
1550842819.972 * * * * [misc]progress:  [ 6 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) x.re)) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))))))>
1550842819.972 * [enter]simplify:  Simplifying (*.p16 x.im (*.p16 (+.p16 x.im x.re) x.re))
1550842819.972 * * [misc]simplify:  iters left: 3 (5 enodes)
1550842819.973 * * [misc]simplify:  iters left: 2 (14 enodes)
1550842819.976 * * [misc]simplify:  iters left: 1 (30 enodes)
1550842819.984 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842819.984 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1550842819.984 * * [misc]simplify:  Extracting #2: cost 15 inf + 2
1550842819.984 * * [misc]simplify:  Extracting #3: cost 4 inf + 4942
1550842819.984 * * [misc]simplify:  Extracting #4: cost 0 inf + 7550
1550842819.984 * [exit]simplify:  Simplified to (*.p16 (*.p16 x.re x.im) (+.p16 x.re x.im))
1550842819.984 * [misc]simplify:  Simplified (2 1) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re x.im) (+.p16 x.re x.im)) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))))))
1550842819.985 * * * * [misc]progress:  [ 7 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 x.re (+.p16 x.im x.re))) (+.p16 (*.p16 x.im (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))))))>
1550842819.985 * [enter]simplify:  Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.im x.re)))
1550842819.985 * * [misc]simplify:  iters left: 3 (5 enodes)
1550842819.986 * * [misc]simplify:  iters left: 2 (18 enodes)
1550842819.989 * * [misc]simplify:  iters left: 1 (41 enodes)
1550842819.996 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842819.996 * * [misc]simplify:  Extracting #1: cost 11 inf + 0
1550842819.996 * * [misc]simplify:  Extracting #2: cost 9 inf + 966
1550842819.996 * * [misc]simplify:  Extracting #3: cost 0 inf + 5062
1550842819.996 * [exit]simplify:  Simplified to (*.p16 (+.p16 x.re x.im) (*.p16 x.re x.im))
1550842819.996 * [misc]simplify:  Simplified (2 1) to (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 x.re x.im)) (+.p16 (*.p16 x.im (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))))))
1550842819.996 * * * * [misc]progress:  [ 8 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.im) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))))))>
1550842819.996 * [enter]simplify:  Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.im)
1550842819.996 * * [misc]simplify:  iters left: 3 (5 enodes)
1550842819.997 * * [misc]simplify:  iters left: 2 (14 enodes)
1550842820.000 * * [misc]simplify:  iters left: 1 (25 enodes)
1550842820.003 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842820.003 * * [misc]simplify:  Extracting #1: cost 18 inf + 0
1550842820.003 * * [misc]simplify:  Extracting #2: cost 18 inf + 2
1550842820.004 * * [misc]simplify:  Extracting #3: cost 8 inf + 4300
1550842820.004 * * [misc]simplify:  Extracting #4: cost 0 inf + 9476
1550842820.005 * [exit]simplify:  Simplified to (*.p16 (*.p16 (+.p16 x.re x.im) x.re) x.im)
1550842820.005 * [misc]simplify:  Simplified (2 1) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) x.re) x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.im) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))))))
1550842820.005 * * * * [misc]progress:  [ 9 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.im) (+.p16 (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.im) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))))))>
1550842820.005 * [enter]simplify:  Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.im)
1550842820.005 * * [misc]simplify:  iters left: 3 (5 enodes)
1550842820.006 * * [misc]simplify:  iters left: 2 (19 enodes)
1550842820.009 * * [misc]simplify:  iters left: 1 (35 enodes)
1550842820.015 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842820.015 * * [misc]simplify:  Extracting #1: cost 11 inf + 0
1550842820.015 * * [misc]simplify:  Extracting #2: cost 11 inf + 2
1550842820.015 * * [misc]simplify:  Extracting #3: cost 2 inf + 3738
1550842820.015 * * [misc]simplify:  Extracting #4: cost 0 inf + 5062
1550842820.015 * [exit]simplify:  Simplified to (*.p16 x.im (*.p16 x.re (+.p16 x.im x.re)))
1550842820.015 * [misc]simplify:  Simplified (2 1) to (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 x.re (+.p16 x.im x.re))) (+.p16 (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.im) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))))))
1550842820.015 * * * * [misc]progress:  [ 10 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
1550842820.016 * [enter]simplify:  Simplifying (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))
1550842820.016 * * [misc]simplify:  iters left: 3 (8 enodes)
1550842820.019 * * [misc]simplify:  iters left: 2 (23 enodes)
1550842820.027 * * [misc]simplify:  iters left: 1 (53 enodes)
1550842820.056 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842820.056 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1550842820.056 * * [misc]simplify:  Extracting #2: cost 44 inf + 0
1550842820.057 * * [misc]simplify:  Extracting #3: cost 62 inf + 1008
1550842820.058 * * [misc]simplify:  Extracting #4: cost 33 inf + 20270
1550842820.062 * * [misc]simplify:  Extracting #5: cost 3 inf + 45322
1550842820.066 * * [misc]simplify:  Extracting #6: cost 0 inf + 50128
1550842820.070 * [exit]simplify:  Simplified to (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))
1550842820.070 * [misc]simplify:  Simplified (2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))))
1550842820.070 * * * * [misc]progress:  [ 11 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))))>
1550842820.070 * * * * [misc]progress:  [ 12 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (+.p16 (*.p16 x.im (*.p16 x.re x.re)) (*.p16 x.im (*.p16 x.re x.re)))))>
1550842820.070 * [enter]simplify:  Simplifying (*.p16 x.im (*.p16 x.re x.re))
1550842820.070 * * [misc]simplify:  iters left: 2 (4 enodes)
1550842820.072 * * [misc]simplify:  iters left: 1 (11 enodes)
1550842820.075 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842820.075 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550842820.075 * * [misc]simplify:  Extracting #2: cost 2 inf + 323
1550842820.075 * * [misc]simplify:  Extracting #3: cost 0 inf + 1287
1550842820.075 * [exit]simplify:  Simplified to (*.p16 x.im (*.p16 x.re x.re))
1550842820.075 * [misc]simplify:  Simplified (2 2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (+.p16 (*.p16 x.im (*.p16 x.re x.re)) (*.p16 x.im (*.p16 x.re x.re)))))
1550842820.075 * * * * [misc]progress:  [ 13 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (+.p16 (*.p16 x.im (*.p16 x.re x.re)) (*.p16 x.im (*.p16 x.re x.re)))))>
1550842820.076 * [enter]simplify:  Simplifying (*.p16 x.im (*.p16 x.re x.re))
1550842820.076 * * [misc]simplify:  iters left: 2 (4 enodes)
1550842820.077 * * [misc]simplify:  iters left: 1 (11 enodes)
1550842820.080 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842820.080 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550842820.081 * * [misc]simplify:  Extracting #2: cost 2 inf + 323
1550842820.081 * * [misc]simplify:  Extracting #3: cost 0 inf + 1287
1550842820.081 * [exit]simplify:  Simplified to (*.p16 x.im (*.p16 x.re x.re))
1550842820.081 * [misc]simplify:  Simplified (2 2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (+.p16 (*.p16 x.im (*.p16 x.re x.re)) (*.p16 x.im (*.p16 x.re x.re)))))
1550842820.081 * * * * [misc]progress:  [ 14 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))))>
1550842820.081 * [enter]simplify:  Simplifying (*.p16 (*.p16 x.re x.re) x.im)
1550842820.082 * * [misc]simplify:  iters left: 2 (4 enodes)
1550842820.084 * * [misc]simplify:  iters left: 1 (11 enodes)
1550842820.087 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842820.087 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550842820.087 * * [misc]simplify:  Extracting #2: cost 3 inf + 2
1550842820.087 * * [misc]simplify:  Extracting #3: cost 0 inf + 1287
1550842820.088 * [exit]simplify:  Simplified to (*.p16 x.im (*.p16 x.re x.re))
1550842820.088 * [misc]simplify:  Simplified (2 2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 x.im (*.p16 x.re x.re)))))
1550842820.088 * * * * [misc]progress:  [ 15 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))))>
1550842820.088 * [enter]simplify:  Simplifying (*.p16 (*.p16 x.re x.re) x.im)
1550842820.088 * * [misc]simplify:  iters left: 2 (4 enodes)
1550842820.090 * * [misc]simplify:  iters left: 1 (11 enodes)
1550842820.093 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842820.093 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550842820.093 * * [misc]simplify:  Extracting #2: cost 3 inf + 2
1550842820.093 * * [misc]simplify:  Extracting #3: cost 0 inf + 1287
1550842820.093 * [exit]simplify:  Simplified to (*.p16 x.im (*.p16 x.re x.re))
1550842820.093 * [misc]simplify:  Simplified (2 2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 x.im (*.p16 x.re x.re)))))
1550842820.093 * * * * [misc]progress:  [ 16 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im x.re) (+.p16 x.re x.re))))>
1550842820.093 * [enter]simplify:  Simplifying (+.p16 x.re x.re)
1550842820.093 * * [misc]simplify:  iters left: 1 (2 enodes)
1550842820.094 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842820.094 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550842820.094 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550842820.094 * * [misc]simplify:  Extracting #3: cost 0 inf + 42
1550842820.094 * [exit]simplify:  Simplified to (+.p16 x.re x.re)
1550842820.094 * [misc]simplify:  Simplified (2 2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im x.re) (+.p16 x.re x.re))))
1550842820.094 * * * * [misc]progress:  [ 17 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))>
1550842820.094 * * * * [misc]progress:  [ 18 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
1550842820.095 * [enter]simplify:  Simplifying (*.p16 x.im (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
1550842820.095 * * [misc]simplify:  iters left: 3 (6 enodes)
1550842820.097 * * [misc]simplify:  iters left: 2 (15 enodes)
1550842820.101 * * [misc]simplify:  iters left: 1 (34 enodes)
1550842820.110 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842820.110 * * [misc]simplify:  Extracting #1: cost 17 inf + 0
1550842820.110 * * [misc]simplify:  Extracting #2: cost 20 inf + 1
1550842820.111 * * [misc]simplify:  Extracting #3: cost 16 inf + 1125
1550842820.111 * * [misc]simplify:  Extracting #4: cost 6 inf + 6303
1550842820.111 * * [misc]simplify:  Extracting #5: cost 0 inf + 10353
1550842820.112 * [exit]simplify:  Simplified to (*.p16 (*.p16 (neg.p16 x.im) x.im) (+.p16 x.re x.im))
1550842820.112 * [misc]simplify:  Simplified (2 1 2) to (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) x.re)) (*.p16 (*.p16 (neg.p16 x.im) x.im) (+.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))
1550842820.112 * * * * [misc]progress:  [ 19 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
1550842820.112 * [enter]simplify:  Simplifying (*.p16 x.im (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))
1550842820.112 * * [misc]simplify:  iters left: 3 (6 enodes)
1550842820.113 * * [misc]simplify:  iters left: 2 (20 enodes)
1550842820.117 * * [misc]simplify:  iters left: 1 (45 enodes)
1550842820.126 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842820.126 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1550842820.126 * * [misc]simplify:  Extracting #2: cost 19 inf + 1
1550842820.126 * * [misc]simplify:  Extracting #3: cost 12 inf + 1811
1550842820.126 * * [misc]simplify:  Extracting #4: cost 3 inf + 7188
1550842820.127 * * [misc]simplify:  Extracting #5: cost 0 inf + 9474
1550842820.127 * [exit]simplify:  Simplified to (*.p16 x.im (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))
1550842820.127 * [misc]simplify:  Simplified (2 1 2) to (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))
1550842820.128 * * * * [misc]progress:  [ 20 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.im) (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.im)) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
1550842820.128 * [enter]simplify:  Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.im)
1550842820.128 * * [misc]simplify:  iters left: 3 (6 enodes)
1550842820.129 * * [misc]simplify:  iters left: 2 (15 enodes)
1550842820.132 * * [misc]simplify:  iters left: 1 (27 enodes)
1550842820.137 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842820.137 * * [misc]simplify:  Extracting #1: cost 18 inf + 0
1550842820.137 * * [misc]simplify:  Extracting #2: cost 21 inf + 82
1550842820.138 * * [misc]simplify:  Extracting #3: cost 8 inf + 7221
1550842820.138 * * [misc]simplify:  Extracting #4: cost 0 inf + 11396
1550842820.138 * [exit]simplify:  Simplified to (*.p16 (*.p16 x.im (+.p16 x.re x.im)) (neg.p16 x.im))
1550842820.139 * [misc]simplify:  Simplified (2 1 2) to (λ (x.re x.im) (+.p16 (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.im) (*.p16 (*.p16 x.im (+.p16 x.re x.im)) (neg.p16 x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))
1550842820.139 * * * * [misc]progress:  [ 21 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.im) (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.im)) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
1550842820.139 * [enter]simplify:  Simplifying (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.im)
1550842820.139 * * [misc]simplify:  iters left: 3 (6 enodes)
1550842820.140 * * [misc]simplify:  iters left: 2 (21 enodes)
1550842820.144 * * [misc]simplify:  iters left: 1 (39 enodes)
1550842820.150 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842820.150 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550842820.150 * * [misc]simplify:  Extracting #2: cost 20 inf + 1
1550842820.150 * * [misc]simplify:  Extracting #3: cost 14 inf + 1090
1550842820.151 * * [misc]simplify:  Extracting #4: cost 2 inf + 8712
1550842820.151 * * [misc]simplify:  Extracting #5: cost 0 inf + 10236
1550842820.151 * [exit]simplify:  Simplified to (*.p16 x.im (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))
1550842820.151 * [misc]simplify:  Simplified (2 1 2) to (λ (x.re x.im) (+.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.im) (*.p16 x.im (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))
1550842820.152 * * * * [misc]progress:  [ 22 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.im (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
1550842820.152 * [enter]simplify:  Simplifying (-.p16 x.re x.im)
1550842820.152 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842820.152 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842820.153 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550842820.153 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550842820.153 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550842820.153 * [exit]simplify:  Simplified to (-.p16 x.re x.im)
1550842820.153 * [misc]simplify:  Simplified (2 1 2) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.im (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))
1550842820.153 * * * * [misc]progress:  [ 23 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (/.p16 (*.p16 x.im (*.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 x.re (+.p16 x.re x.re)))))>
1550842820.153 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550842820.153 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842820.154 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842820.154 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842820.154 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550842820.154 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550842820.154 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550842820.154 * [misc]simplify:  Simplified (2 1 2) to (λ (x.re x.im) (+.p16 (/.p16 (*.p16 x.im (*.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 x.re (+.p16 x.re x.re)))))
1550842820.154 * * * * [misc]progress:  [ 24 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
1550842820.154 * * * * [misc]progress:  [ 25 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
1550842820.154 * [enter]simplify:  Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
1550842820.154 * * [misc]simplify:  iters left: 2 (5 enodes)
1550842820.155 * * [misc]simplify:  iters left: 1 (11 enodes)
1550842820.157 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842820.157 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1550842820.157 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1550842820.157 * * [misc]simplify:  Extracting #3: cost 7 inf + 2
1550842820.157 * * [misc]simplify:  Extracting #4: cost 0 inf + 2173
1550842820.157 * [exit]simplify:  Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
1550842820.157 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))
1550842820.157 * * * * [misc]progress:  [ 26 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
1550842820.157 * [enter]simplify:  Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
1550842820.157 * * [misc]simplify:  iters left: 2 (5 enodes)
1550842820.158 * * [misc]simplify:  iters left: 1 (17 enodes)
1550842820.161 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842820.161 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550842820.161 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550842820.161 * * [misc]simplify:  Extracting #3: cost 5 inf + 2
1550842820.161 * * [misc]simplify:  Extracting #4: cost 0 inf + 1370
1550842820.161 * [exit]simplify:  Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
1550842820.161 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))
1550842820.161 * * * * [misc]progress:  [ 27 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (/.p16 (*.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 x.re (+.p16 x.re x.re)))))>
1550842820.161 * [enter]simplify:  Simplifying (+.p16 x.re x.im)
1550842820.161 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842820.162 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842820.162 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842820.162 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550842820.162 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550842820.162 * [exit]simplify:  Simplified to (+.p16 x.im x.re)
1550842820.162 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (/.p16 (*.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 x.re (+.p16 x.re x.re)))))
1550842820.162 * * * * [misc]progress:  [ 28 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
1550842820.162 * * * * [misc]progress:  [ 29 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
1550842820.162 * [enter]simplify:  Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
1550842820.162 * * [misc]simplify:  iters left: 3 (5 enodes)
1550842820.163 * * [misc]simplify:  iters left: 2 (15 enodes)
1550842820.166 * * [misc]simplify:  iters left: 1 (29 enodes)
1550842820.171 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842820.171 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842820.171 * * [misc]simplify:  Extracting #2: cost 5 inf + 725
1550842820.171 * * [misc]simplify:  Extracting #3: cost 0 inf + 2774
1550842820.172 * [exit]simplify:  Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
1550842820.172 * [misc]simplify:  Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)))
1550842820.172 * * * * [misc]progress:  [ 30 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
1550842820.172 * [enter]simplify:  Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
1550842820.172 * * [misc]simplify:  iters left: 3 (5 enodes)
1550842820.173 * * [misc]simplify:  iters left: 2 (15 enodes)
1550842820.175 * * [misc]simplify:  iters left: 1 (29 enodes)
1550842820.180 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842820.180 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842820.180 * * [misc]simplify:  Extracting #2: cost 5 inf + 725
1550842820.180 * * [misc]simplify:  Extracting #3: cost 0 inf + 2774
1550842820.180 * [exit]simplify:  Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
1550842820.180 * [misc]simplify:  Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)))
1550842820.181 * * * * [misc]progress:  [ 31 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
1550842820.181 * [enter]simplify:  Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
1550842820.181 * * [misc]simplify:  iters left: 3 (5 enodes)
1550842820.182 * * [misc]simplify:  iters left: 2 (15 enodes)
1550842820.184 * * [misc]simplify:  iters left: 1 (29 enodes)
1550842820.189 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842820.189 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842820.189 * * [misc]simplify:  Extracting #2: cost 5 inf + 725
1550842820.189 * * [misc]simplify:  Extracting #3: cost 0 inf + 2774
1550842820.190 * [exit]simplify:  Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
1550842820.190 * [misc]simplify:  Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)))
1550842820.190 * * * * [misc]progress:  [ 32 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
1550842820.190 * [enter]simplify:  Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
1550842820.190 * * [misc]simplify:  iters left: 3 (5 enodes)
1550842820.191 * * [misc]simplify:  iters left: 2 (15 enodes)
1550842820.193 * * [misc]simplify:  iters left: 1 (29 enodes)
1550842820.198 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842820.198 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842820.198 * * [misc]simplify:  Extracting #2: cost 5 inf + 725
1550842820.198 * * [misc]simplify:  Extracting #3: cost 0 inf + 2774
1550842820.199 * [exit]simplify:  Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
1550842820.199 * [misc]simplify:  Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)))
1550842820.199 * * * [misc]progress:  adding candidates to table
1550842821.536 * [misc]progress:  [Phase 3 of 3] Extracting.
1550842821.536 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))> #<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.im)) (+.p16 x.re x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> #<alt (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.re x.re) x.im)) (*.p16 (*.p16 x.re x.re) x.im)))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))> #<alt (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))>)
1550842821.538 * * * [misc]regime-changes:  Trying 2 branch expressions: (x.im x.re)
1550842821.538 * * * * [misc]regimes:  Trying to branch on x.im from (#<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))> #<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.im)) (+.p16 x.re x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> #<alt (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.re x.re) x.im)) (*.p16 (*.p16 x.re x.re) x.im)))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))> #<alt (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))>)
1550842822.269 * * * * [misc]regimes:  Trying to branch on x.re from (#<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))> #<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.im)) (+.p16 x.re x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> #<alt (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.re x.re) x.im)) (*.p16 (*.p16 x.re x.re) x.im)))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))> #<alt (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))>)
1550842822.555 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1550842822.555 * [enter]simplify:  Simplifying (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
1550842822.555 * * [misc]simplify:  iters left: 4 (9 enodes)
1550842822.555 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842822.555 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842822.555 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1550842822.555 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550842822.556 * * [misc]simplify:  Extracting #4: cost 0 inf + 2974
1550842822.556 * [exit]simplify:  Simplified to (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
1550842822.556 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550842822.582 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550842822.585 * * * * [misc]points:  Setting MPFR precision to 64
1550842822.587 * * * * [misc]points:  Setting MPFR precision to 320
1550842822.589 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550842822.591 * * * * [misc]points:  Setting MPFR precision to 64
1550842822.595 * * * * [misc]points:  Setting MPFR precision to 320
1550842822.599 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550842822.601 * * * * [misc]points:  Setting MPFR precision to 64
1550842822.609 * * * * [misc]points:  Setting MPFR precision to 320
1550842822.618 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550842822.620 * * * * [misc]points:  Setting MPFR precision to 64
1550842822.632 * * * * [misc]points:  Setting MPFR precision to 320
1550842822.642 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550842822.643 * * * * [misc]points:  Setting MPFR precision to 64
1550842822.658 * * * * [misc]points:  Setting MPFR precision to 320
1550842822.695 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550842822.696 * * * * [misc]points:  Setting MPFR precision to 64
1550842822.728 * * * * [misc]points:  Setting MPFR precision to 320
1550842822.767 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550842822.768 * * * * [misc]points:  Setting MPFR precision to 64
1550842822.877 * * * * [misc]points:  Setting MPFR precision to 320
1550842822.957 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550842822.960 * * * * [misc]points:  Setting MPFR precision to 64
1550842823.127 * * * * [misc]points:  Setting MPFR precision to 320
1550842823.378 * * * * [misc]points:  Computing exacts for 8000 points
1550842823.379 * * * * [misc]points:  Setting MPFR precision to 64
1550842824.241 * * * * [misc]points:  Setting MPFR precision to 320
1550842825.283 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842825.707 * * * * [misc]points:  Sampling 4 additional inputs, on iter 1 have 7999 / 8000
1550842825.707 * * * * [misc]points:  Computing exacts for 4 points
1550842825.708 * * * * [misc]points:  Setting MPFR precision to 64
1550842825.709 * * * * [misc]points:  Setting MPFR precision to 320
1550842825.709 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842825.709 * * * * [exit]points:  Sampled 8003 points with exact outputs
1550842827.558 * [misc]regime-testing:  Baseline error score: 64.0
1550842827.560 * [misc]regime-testing:  Oracle error score: 64.0
1550842827.564 * [misc]regime-testing:  End program error score: 0.3639613810430701