0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.005 * * * * [points]: Setting MPFR precision to 64
0.006 * * * * [points]: Setting MPFR precision to 320
0.007 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.009 * * * * [points]: Setting MPFR precision to 64
0.011 * * * * [points]: Setting MPFR precision to 320
0.013 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.014 * * * * [points]: Setting MPFR precision to 64
0.018 * * * * [points]: Setting MPFR precision to 320
0.022 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.024 * * * * [points]: Setting MPFR precision to 64
0.030 * * * * [points]: Setting MPFR precision to 320
0.037 * * * * [points]: Computing exacts for 256 points
0.038 * * * * [points]: Setting MPFR precision to 64
0.057 * * * * [points]: Setting MPFR precision to 320
0.092 * * * * [points]: Filtering points with unrepresentable outputs
0.093 * * * * [points]: Sampled 256 points with exact outputs
0.093 * * * [progress]: [2/2] Setting up program.
0.100 * [progress]: [Phase 2 of 3] Improving.
0.100 * * * * [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)))>
0.100 * [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))
0.101 * * [simplify]: iters left: 4 (11 enodes)
0.104 * * [simplify]: iters left: 3 (29 enodes)
0.111 * * [simplify]: iters left: 2 (80 enodes)
0.134 * * [simplify]: iters left: 1 (221 enodes)
0.223 * * [simplify]: Extracting #0: cost 1 inf + 0
0.223 * * [simplify]: Extracting #1: cost 13 inf + 0
0.223 * * [simplify]: Extracting #2: cost 84 inf + 1
0.224 * * [simplify]: Extracting #3: cost 260 inf + 1931
0.227 * * [simplify]: Extracting #4: cost 234 inf + 56565
0.239 * * [simplify]: Extracting #5: cost 79 inf + 287232
0.262 * * [simplify]: Extracting #6: cost 2 inf + 414836
0.282 * * [simplify]: Extracting #7: cost 0 inf + 420160
0.302 * [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))))
0.302 * [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)))))
0.315 * * [progress]: iteration 1 / 4
0.315 * * * [progress]: picking best candidate
0.326 * * * * [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)))))>
0.327 * * * [progress]: localizing error
0.468 * * * [progress]: generating rewritten candidates
0.468 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.471 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.477 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
0.489 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
0.493 * * * [progress]: generating series expansions
0.494 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.494 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
0.494 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
0.494 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
0.494 * * * [progress]: simplifying candidates
0.494 * * * * [progress]: [ 1 / 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)))))>
0.494 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
0.494 * * [simplify]: iters left: 3 (5 enodes)
0.495 * * [simplify]: iters left: 2 (15 enodes)
0.499 * * [simplify]: iters left: 1 (29 enodes)
0.505 * * [simplify]: Extracting #0: cost 1 inf + 0
0.505 * * [simplify]: Extracting #1: cost 10 inf + 0
0.505 * * [simplify]: Extracting #2: cost 5 inf + 725
0.506 * * [simplify]: Extracting #3: cost 0 inf + 2774
0.506 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
0.506 * [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)))
0.506 * * * * [progress]: [ 2 / 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)))>
0.506 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)
0.506 * * [simplify]: iters left: 3 (5 enodes)
0.508 * * [simplify]: iters left: 2 (15 enodes)
0.511 * * [simplify]: iters left: 1 (25 enodes)
0.517 * * [simplify]: Extracting #0: cost 1 inf + 0
0.517 * * [simplify]: Extracting #1: cost 10 inf + 0
0.518 * * [simplify]: Extracting #2: cost 7 inf + 43
0.518 * * [simplify]: Extracting #3: cost 3 inf + 1089
0.518 * * [simplify]: Extracting #4: cost 0 inf + 2774
0.518 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))
0.518 * [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))))
0.518 * * * * [progress]: [ 3 / 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))>
0.518 * * * * [progress]: [ 4 / 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))))>
0.518 * [simplify]: Simplifying (*.p16 x.re x.re)
0.519 * * [simplify]: iters left: 1 (2 enodes)
0.519 * * [simplify]: Extracting #0: cost 1 inf + 0
0.519 * * [simplify]: Extracting #1: cost 2 inf + 0
0.519 * * [simplify]: Extracting #2: cost 1 inf + 1
0.519 * * [simplify]: Extracting #3: cost 0 inf + 322
0.519 * [simplify]: Simplified to (*.p16 x.re x.re)
0.519 * [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))))
0.519 * * * * [progress]: [ 5 / 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))))>
0.519 * [simplify]: Simplifying (*.p16 x.re x.re)
0.519 * * [simplify]: iters left: 1 (2 enodes)
0.520 * * [simplify]: Extracting #0: cost 1 inf + 0
0.520 * * [simplify]: Extracting #1: cost 2 inf + 0
0.520 * * [simplify]: Extracting #2: cost 1 inf + 1
0.520 * * [simplify]: Extracting #3: cost 0 inf + 322
0.520 * [simplify]: Simplified to (*.p16 x.re x.re)
0.520 * [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))))
0.520 * * * * [progress]: [ 6 / 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))))))>
0.521 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
0.521 * * [simplify]: iters left: 2 (4 enodes)
0.522 * * [simplify]: iters left: 1 (10 enodes)
0.523 * * [simplify]: Extracting #0: cost 1 inf + 0
0.523 * * [simplify]: Extracting #1: cost 6 inf + 0
0.524 * * [simplify]: Extracting #2: cost 6 inf + 1
0.524 * * [simplify]: Extracting #3: cost 4 inf + 323
0.524 * * [simplify]: Extracting #4: cost 0 inf + 1371
0.524 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
0.524 * [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))))))
0.524 * * * * [progress]: [ 7 / 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))))))>
0.524 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
0.524 * * [simplify]: iters left: 2 (4 enodes)
0.525 * * [simplify]: iters left: 1 (15 enodes)
0.529 * * [simplify]: Extracting #0: cost 1 inf + 0
0.529 * * [simplify]: Extracting #1: cost 5 inf + 0
0.529 * * [simplify]: Extracting #2: cost 5 inf + 1
0.529 * * [simplify]: Extracting #3: cost 0 inf + 1049
0.529 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
0.529 * [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))))))
0.529 * * * * [progress]: [ 8 / 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)))))>
0.529 * * * * [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)))))>
0.529 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
0.529 * * [simplify]: iters left: 2 (5 enodes)
0.530 * * [simplify]: iters left: 1 (11 enodes)
0.533 * * [simplify]: Extracting #0: cost 1 inf + 0
0.533 * * [simplify]: Extracting #1: cost 7 inf + 0
0.533 * * [simplify]: Extracting #2: cost 9 inf + 0
0.533 * * [simplify]: Extracting #3: cost 7 inf + 2
0.533 * * [simplify]: Extracting #4: cost 0 inf + 2173
0.533 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
0.533 * [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)))))
0.533 * * * * [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)))))>
0.533 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
0.533 * * [simplify]: iters left: 2 (5 enodes)
0.535 * * [simplify]: iters left: 1 (17 enodes)
0.538 * * [simplify]: Extracting #0: cost 1 inf + 0
0.538 * * [simplify]: Extracting #1: cost 5 inf + 0
0.538 * * [simplify]: Extracting #2: cost 7 inf + 0
0.539 * * [simplify]: Extracting #3: cost 5 inf + 2
0.539 * * [simplify]: Extracting #4: cost 0 inf + 1370
0.539 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
0.539 * [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)))))
0.539 * * * * [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)))))>
0.539 * [simplify]: Simplifying (+.p16 x.re x.im)
0.539 * * [simplify]: iters left: 1 (3 enodes)
0.540 * * [simplify]: Extracting #0: cost 1 inf + 0
0.540 * * [simplify]: Extracting #1: cost 3 inf + 0
0.540 * * [simplify]: Extracting #2: cost 1 inf + 2
0.540 * * [simplify]: Extracting #3: cost 0 inf + 44
0.540 * [simplify]: Simplified to (+.p16 x.im x.re)
0.540 * [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)))))
0.540 * * * * [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)))))>
0.540 * * * * [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)))))>
0.540 * [simplify]: Simplifying (*.p16 x.re x.re)
0.540 * * [simplify]: iters left: 1 (2 enodes)
0.541 * * [simplify]: Extracting #0: cost 1 inf + 0
0.541 * * [simplify]: Extracting #1: cost 2 inf + 0
0.541 * * [simplify]: Extracting #2: cost 1 inf + 1
0.541 * * [simplify]: Extracting #3: cost 0 inf + 322
0.541 * [simplify]: Simplified to (*.p16 x.re x.re)
0.541 * [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)))))
0.541 * * * * [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)))))>
0.541 * [simplify]: Simplifying (*.p16 x.re x.re)
0.542 * * [simplify]: iters left: 1 (2 enodes)
0.542 * * [simplify]: Extracting #0: cost 1 inf + 0
0.542 * * [simplify]: Extracting #1: cost 2 inf + 0
0.542 * * [simplify]: Extracting #2: cost 1 inf + 1
0.542 * * [simplify]: Extracting #3: cost 0 inf + 322
0.542 * [simplify]: Simplified to (*.p16 x.re x.re)
0.542 * [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)))))
0.542 * * * * [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))))>
0.542 * * * * [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)))))>
0.543 * [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))))
0.543 * * [simplify]: iters left: 4 (9 enodes)
0.545 * * [simplify]: iters left: 3 (31 enodes)
0.553 * * [simplify]: iters left: 2 (81 enodes)
0.586 * * [simplify]: iters left: 1 (313 enodes)
0.844 * * [simplify]: Extracting #0: cost 1 inf + 0
0.844 * * [simplify]: Extracting #1: cost 25 inf + 0
0.845 * * [simplify]: Extracting #2: cost 146 inf + 1
0.846 * * [simplify]: Extracting #3: cost 271 inf + 9598
0.855 * * [simplify]: Extracting #4: cost 160 inf + 145347
0.875 * * [simplify]: Extracting #5: cost 29 inf + 293341
0.896 * * [simplify]: Extracting #6: cost 2 inf + 329705
0.914 * * [simplify]: Extracting #7: cost 0 inf + 334429
0.930 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
0.930 * [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))
0.930 * * * * [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)))))>
0.930 * [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))))
0.930 * * [simplify]: iters left: 4 (9 enodes)
0.932 * * [simplify]: iters left: 3 (31 enodes)
0.938 * * [simplify]: iters left: 2 (81 enodes)
0.967 * * [simplify]: iters left: 1 (313 enodes)
1.220 * * [simplify]: Extracting #0: cost 1 inf + 0
1.220 * * [simplify]: Extracting #1: cost 25 inf + 0
1.220 * * [simplify]: Extracting #2: cost 146 inf + 1
1.222 * * [simplify]: Extracting #3: cost 271 inf + 9598
1.234 * * [simplify]: Extracting #4: cost 160 inf + 145347
1.252 * * [simplify]: Extracting #5: cost 29 inf + 293341
1.268 * * [simplify]: Extracting #6: cost 2 inf + 329705
1.283 * * [simplify]: Extracting #7: cost 0 inf + 334429
1.298 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1.298 * [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))
1.298 * * * * [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)))))>
1.298 * [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))))
1.298 * * [simplify]: iters left: 4 (9 enodes)
1.300 * * [simplify]: iters left: 3 (31 enodes)
1.306 * * [simplify]: iters left: 2 (81 enodes)
1.328 * * [simplify]: iters left: 1 (313 enodes)
1.534 * * [simplify]: Extracting #0: cost 1 inf + 0
1.534 * * [simplify]: Extracting #1: cost 25 inf + 0
1.535 * * [simplify]: Extracting #2: cost 146 inf + 1
1.536 * * [simplify]: Extracting #3: cost 271 inf + 9598
1.545 * * [simplify]: Extracting #4: cost 160 inf + 145347
1.562 * * [simplify]: Extracting #5: cost 29 inf + 293341
1.582 * * [simplify]: Extracting #6: cost 2 inf + 329705
1.603 * * [simplify]: Extracting #7: cost 0 inf + 334429
1.626 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1.626 * [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))
1.626 * * * * [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)))))>
1.626 * [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))))
1.626 * * [simplify]: iters left: 4 (9 enodes)
1.629 * * [simplify]: iters left: 3 (31 enodes)
1.637 * * [simplify]: iters left: 2 (81 enodes)
1.666 * * [simplify]: iters left: 1 (313 enodes)
1.917 * * [simplify]: Extracting #0: cost 1 inf + 0
1.917 * * [simplify]: Extracting #1: cost 25 inf + 0
1.918 * * [simplify]: Extracting #2: cost 146 inf + 1
1.919 * * [simplify]: Extracting #3: cost 271 inf + 9598
1.928 * * [simplify]: Extracting #4: cost 160 inf + 145347
1.945 * * [simplify]: Extracting #5: cost 29 inf + 293341
1.967 * * [simplify]: Extracting #6: cost 2 inf + 329705
1.991 * * [simplify]: Extracting #7: cost 0 inf + 334429
2.007 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
2.007 * [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))
2.007 * * * [progress]: adding candidates to table
2.291 * * [progress]: iteration 2 / 4
2.292 * * * [progress]: picking best candidate
2.322 * * * * [pick]: Picked  #<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)))))>
2.322 * * * [progress]: localizing error
2.469 * * * [progress]: generating rewritten candidates
2.469 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
2.480 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
2.494 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
2.500 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
2.505 * * * [progress]: generating series expansions
2.505 * * * * [progress]: [ 1 / 4 ] generating series at (2)
2.505 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
2.505 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
2.505 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
2.505 * * * [progress]: simplifying candidates
2.505 * * * * [progress]: [ 1 / 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 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
2.505 * [simplify]: Simplifying (*.p16 x.im (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))
2.505 * * [simplify]: iters left: 3 (5 enodes)
2.506 * * [simplify]: iters left: 2 (16 enodes)
2.509 * * [simplify]: iters left: 1 (26 enodes)
2.513 * * [simplify]: Extracting #0: cost 1 inf + 0
2.513 * * [simplify]: Extracting #1: cost 11 inf + 0
2.513 * * [simplify]: Extracting #2: cost 3 inf + 1772
2.514 * * [simplify]: Extracting #3: cost 0 inf + 3136
2.514 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.re) (*.p16 x.re x.im))
2.514 * [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 x.re x.re) (*.p16 x.re x.im))))
2.514 * * * * [progress]: [ 2 / 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 (*.p16 x.re x.re) (*.p16 x.re x.re)) x.im)))>
2.514 * [simplify]: Simplifying (*.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) x.im)
2.514 * * [simplify]: iters left: 3 (5 enodes)
2.515 * * [simplify]: iters left: 2 (12 enodes)
2.517 * * [simplify]: iters left: 1 (21 enodes)
2.521 * * [simplify]: Extracting #0: cost 1 inf + 0
2.521 * * [simplify]: Extracting #1: cost 10 inf + 0
2.521 * * [simplify]: Extracting #2: cost 4 inf + 767
2.521 * * [simplify]: Extracting #3: cost 0 inf + 2774
2.522 * [simplify]: Simplified to (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.im))
2.522 * [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 x.re x.re) (+.p16 x.im x.im))))
2.522 * * * * [progress]: [ 3 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re))) x.im))>
2.522 * * * * [progress]: [ 4 / 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))))>
2.522 * [simplify]: Simplifying (*.p16 x.re x.re)
2.522 * * [simplify]: iters left: 1 (2 enodes)
2.522 * * [simplify]: Extracting #0: cost 1 inf + 0
2.522 * * [simplify]: Extracting #1: cost 2 inf + 0
2.522 * * [simplify]: Extracting #2: cost 1 inf + 1
2.522 * * [simplify]: Extracting #3: cost 0 inf + 322
2.522 * [simplify]: Simplified to (*.p16 x.re x.re)
2.522 * [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))))
2.522 * * * * [progress]: [ 5 / 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 (*.p16 x.re x.re) (*.p16 x.re x.re))))))>
2.523 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
2.523 * * [simplify]: iters left: 2 (4 enodes)
2.523 * * [simplify]: iters left: 1 (10 enodes)
2.525 * * [simplify]: Extracting #0: cost 1 inf + 0
2.525 * * [simplify]: Extracting #1: cost 6 inf + 0
2.525 * * [simplify]: Extracting #2: cost 6 inf + 1
2.525 * * [simplify]: Extracting #3: cost 4 inf + 323
2.525 * * [simplify]: Extracting #4: cost 0 inf + 1371
2.525 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
2.525 * [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 (*.p16 x.re x.re) (*.p16 x.re x.re))))))
2.525 * * * * [progress]: [ 6 / 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 (*.p16 x.re x.re) (*.p16 x.re x.re))))))>
2.525 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
2.525 * * [simplify]: iters left: 2 (4 enodes)
2.526 * * [simplify]: iters left: 1 (15 enodes)
2.528 * * [simplify]: Extracting #0: cost 1 inf + 0
2.529 * * [simplify]: Extracting #1: cost 5 inf + 0
2.529 * * [simplify]: Extracting #2: cost 5 inf + 1
2.532 * * [simplify]: Extracting #3: cost 0 inf + 1049
2.532 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
2.532 * [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 (*.p16 x.re x.re) (*.p16 x.re x.re))))))
2.532 * * * * [progress]: [ 7 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))))>
2.532 * * * * [progress]: [ 8 / 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)))))>
2.532 * [simplify]: Simplifying (+.p16 x.re x.re)
2.532 * * [simplify]: iters left: 1 (2 enodes)
2.532 * * [simplify]: Extracting #0: cost 1 inf + 0
2.533 * * [simplify]: Extracting #1: cost 2 inf + 0
2.533 * * [simplify]: Extracting #2: cost 1 inf + 1
2.533 * * [simplify]: Extracting #3: cost 0 inf + 42
2.533 * [simplify]: Simplified to (+.p16 x.re x.re)
2.533 * [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 x.re (+.p16 x.re x.re)))))
2.533 * * * * [progress]: [ 9 / 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)))))>
2.533 * [simplify]: Simplifying (+.p16 x.re x.re)
2.533 * * [simplify]: iters left: 1 (2 enodes)
2.533 * * [simplify]: Extracting #0: cost 1 inf + 0
2.533 * * [simplify]: Extracting #1: cost 2 inf + 0
2.533 * * [simplify]: Extracting #2: cost 1 inf + 1
2.533 * * [simplify]: Extracting #3: cost 0 inf + 42
2.533 * [simplify]: Simplified to (+.p16 x.re x.re)
2.533 * [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 x.re (+.p16 x.re x.re)))))
2.533 * * * * [progress]: [ 10 / 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)))))>
2.534 * [simplify]: Simplifying (+.p16 x.re x.re)
2.534 * * [simplify]: iters left: 1 (2 enodes)
2.534 * * [simplify]: Extracting #0: cost 1 inf + 0
2.534 * * [simplify]: Extracting #1: cost 2 inf + 0
2.534 * * [simplify]: Extracting #2: cost 1 inf + 1
2.534 * * [simplify]: Extracting #3: cost 0 inf + 42
2.534 * [simplify]: Simplified to (+.p16 x.re x.re)
2.534 * [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 x.re (+.p16 x.re x.re)))))
2.534 * * * * [progress]: [ 11 / 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)))))>
2.534 * * * * [progress]: [ 12 / 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 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
2.534 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
2.534 * * [simplify]: iters left: 2 (5 enodes)
2.535 * * [simplify]: iters left: 1 (11 enodes)
2.537 * * [simplify]: Extracting #0: cost 1 inf + 0
2.537 * * [simplify]: Extracting #1: cost 7 inf + 0
2.537 * * [simplify]: Extracting #2: cost 9 inf + 0
2.537 * * [simplify]: Extracting #3: cost 7 inf + 2
2.537 * * [simplify]: Extracting #4: cost 0 inf + 2173
2.537 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
2.537 * [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 (*.p16 x.re x.re) (*.p16 x.re x.re)))))
2.537 * * * * [progress]: [ 13 / 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 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
2.537 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
2.537 * * [simplify]: iters left: 2 (5 enodes)
2.538 * * [simplify]: iters left: 1 (17 enodes)
2.541 * * [simplify]: Extracting #0: cost 1 inf + 0
2.541 * * [simplify]: Extracting #1: cost 5 inf + 0
2.541 * * [simplify]: Extracting #2: cost 7 inf + 0
2.541 * * [simplify]: Extracting #3: cost 5 inf + 2
2.541 * * [simplify]: Extracting #4: cost 0 inf + 1370
2.541 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
2.541 * [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 (*.p16 x.re x.re) (*.p16 x.re x.re)))))
2.541 * * * * [progress]: [ 14 / 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 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
2.542 * [simplify]: Simplifying (+.p16 x.re x.im)
2.542 * * [simplify]: iters left: 1 (3 enodes)
2.542 * * [simplify]: Extracting #0: cost 1 inf + 0
2.542 * * [simplify]: Extracting #1: cost 3 inf + 0
2.542 * * [simplify]: Extracting #2: cost 1 inf + 2
2.542 * * [simplify]: Extracting #3: cost 0 inf + 44
2.542 * [simplify]: Simplified to (+.p16 x.im x.re)
2.542 * [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 (*.p16 x.re x.re) (*.p16 x.re x.re)))))
2.542 * * * * [progress]: [ 15 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
2.542 * * * * [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 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
2.543 * [simplify]: Simplifying (*.p16 x.re x.re)
2.543 * * [simplify]: iters left: 1 (2 enodes)
2.543 * * [simplify]: Extracting #0: cost 1 inf + 0
2.543 * * [simplify]: Extracting #1: cost 2 inf + 0
2.543 * * [simplify]: Extracting #2: cost 1 inf + 1
2.543 * * [simplify]: Extracting #3: cost 0 inf + 322
2.543 * [simplify]: Simplified to (*.p16 x.re x.re)
2.543 * [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)))))
2.543 * * * * [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 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
2.543 * [simplify]: Simplifying (*.p16 x.re x.re)
2.544 * * [simplify]: iters left: 1 (2 enodes)
2.544 * * [simplify]: Extracting #0: cost 1 inf + 0
2.544 * * [simplify]: Extracting #1: cost 2 inf + 0
2.544 * * [simplify]: Extracting #2: cost 1 inf + 1
2.544 * * [simplify]: Extracting #3: cost 0 inf + 322
2.544 * [simplify]: Simplified to (*.p16 x.re x.re)
2.544 * [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)))))
2.545 * * * * [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 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
2.545 * [simplify]: Simplifying (*.p16 x.re x.re)
2.545 * * [simplify]: iters left: 1 (2 enodes)
2.546 * * [simplify]: Extracting #0: cost 1 inf + 0
2.546 * * [simplify]: Extracting #1: cost 2 inf + 0
2.546 * * [simplify]: Extracting #2: cost 1 inf + 1
2.546 * * [simplify]: Extracting #3: cost 0 inf + 322
2.546 * [simplify]: Simplified to (*.p16 x.re x.re)
2.546 * [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)))))
2.546 * * * * [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 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
2.546 * [simplify]: Simplifying (*.p16 x.re x.re)
2.546 * * [simplify]: iters left: 1 (2 enodes)
2.547 * * [simplify]: Extracting #0: cost 1 inf + 0
2.547 * * [simplify]: Extracting #1: cost 2 inf + 0
2.547 * * [simplify]: Extracting #2: cost 1 inf + 1
2.547 * * [simplify]: Extracting #3: cost 0 inf + 322
2.547 * [simplify]: Simplified to (*.p16 x.re x.re)
2.547 * [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)))))
2.547 * * * [progress]: adding candidates to table
2.772 * * [progress]: iteration 3 / 4
2.772 * * * [progress]: picking best candidate
2.793 * * * * [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)))))>
2.793 * * * [progress]: localizing error
2.978 * * * [progress]: generating rewritten candidates
2.978 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
2.983 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
2.993 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
3.000 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
3.006 * * * [progress]: generating series expansions
3.006 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
3.006 * * * * [progress]: [ 2 / 4 ] generating series at (2)
3.006 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
3.006 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
3.006 * * * [progress]: simplifying candidates
3.006 * * * * [progress]: [ 1 / 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)))))>
3.007 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re x.re))
3.007 * * [simplify]: iters left: 2 (4 enodes)
3.008 * * [simplify]: iters left: 1 (11 enodes)
3.010 * * [simplify]: Extracting #0: cost 1 inf + 0
3.010 * * [simplify]: Extracting #1: cost 5 inf + 0
3.010 * * [simplify]: Extracting #2: cost 2 inf + 323
3.010 * * [simplify]: Extracting #3: cost 0 inf + 1287
3.010 * [simplify]: Simplified to (*.p16 x.im (*.p16 x.re x.re))
3.010 * [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)))))
3.010 * * * * [progress]: [ 2 / 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)))))>
3.010 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re x.re))
3.010 * * [simplify]: iters left: 2 (4 enodes)
3.012 * * [simplify]: iters left: 1 (11 enodes)
3.014 * * [simplify]: Extracting #0: cost 1 inf + 0
3.014 * * [simplify]: Extracting #1: cost 5 inf + 0
3.014 * * [simplify]: Extracting #2: cost 2 inf + 323
3.014 * * [simplify]: Extracting #3: cost 0 inf + 1287
3.014 * [simplify]: Simplified to (*.p16 x.im (*.p16 x.re x.re))
3.014 * [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)))))
3.014 * * * * [progress]: [ 3 / 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))))>
3.014 * [simplify]: Simplifying (*.p16 (*.p16 x.re x.re) x.im)
3.014 * * [simplify]: iters left: 2 (4 enodes)
3.015 * * [simplify]: iters left: 1 (11 enodes)
3.017 * * [simplify]: Extracting #0: cost 1 inf + 0
3.017 * * [simplify]: Extracting #1: cost 5 inf + 0
3.017 * * [simplify]: Extracting #2: cost 3 inf + 2
3.017 * * [simplify]: Extracting #3: cost 0 inf + 1287
3.018 * [simplify]: Simplified to (*.p16 x.im (*.p16 x.re x.re))
3.018 * [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)))))
3.018 * * * * [progress]: [ 4 / 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))))>
3.018 * [simplify]: Simplifying (*.p16 (*.p16 x.re x.re) x.im)
3.018 * * [simplify]: iters left: 2 (4 enodes)
3.019 * * [simplify]: iters left: 1 (11 enodes)
3.021 * * [simplify]: Extracting #0: cost 1 inf + 0
3.021 * * [simplify]: Extracting #1: cost 5 inf + 0
3.021 * * [simplify]: Extracting #2: cost 3 inf + 2
3.021 * * [simplify]: Extracting #3: cost 0 inf + 1287
3.021 * [simplify]: Simplified to (*.p16 x.im (*.p16 x.re x.re))
3.021 * [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)))))
3.021 * * * * [progress]: [ 5 / 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))))>
3.022 * [simplify]: Simplifying (+.p16 x.re x.re)
3.022 * * [simplify]: iters left: 1 (2 enodes)
3.022 * * [simplify]: Extracting #0: cost 1 inf + 0
3.022 * * [simplify]: Extracting #1: cost 2 inf + 0
3.022 * * [simplify]: Extracting #2: cost 1 inf + 1
3.022 * * [simplify]: Extracting #3: cost 0 inf + 42
3.022 * [simplify]: Simplified to (+.p16 x.re x.re)
3.022 * [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))))
3.023 * * * * [progress]: [ 6 / 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)))>
3.023 * * * * [progress]: [ 7 / 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)))))>
3.023 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))
3.023 * * [simplify]: iters left: 3 (8 enodes)
3.025 * * [simplify]: iters left: 2 (23 enodes)
3.030 * * [simplify]: iters left: 1 (53 enodes)
3.056 * * [simplify]: Extracting #0: cost 1 inf + 0
3.056 * * [simplify]: Extracting #1: cost 15 inf + 0
3.056 * * [simplify]: Extracting #2: cost 44 inf + 0
3.057 * * [simplify]: Extracting #3: cost 62 inf + 1008
3.057 * * [simplify]: Extracting #4: cost 33 inf + 20270
3.059 * * [simplify]: Extracting #5: cost 3 inf + 45322
3.061 * * [simplify]: Extracting #6: cost 0 inf + 50128
3.062 * [simplify]: Simplified to (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))
3.063 * [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))))
3.063 * * * * [progress]: [ 8 / 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))))>
3.063 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re x.re))
3.063 * * [simplify]: iters left: 2 (4 enodes)
3.065 * * [simplify]: iters left: 1 (11 enodes)
3.067 * * [simplify]: Extracting #0: cost 1 inf + 0
3.067 * * [simplify]: Extracting #1: cost 5 inf + 0
3.067 * * [simplify]: Extracting #2: cost 2 inf + 323
3.067 * * [simplify]: Extracting #3: cost 0 inf + 1287
3.067 * [simplify]: Simplified to (*.p16 x.im (*.p16 x.re x.re))
3.067 * [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))))
3.067 * * * * [progress]: [ 9 / 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))))>
3.067 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re x.re))
3.067 * * [simplify]: iters left: 2 (4 enodes)
3.068 * * [simplify]: iters left: 1 (11 enodes)
3.069 * * [simplify]: Extracting #0: cost 1 inf + 0
3.069 * * [simplify]: Extracting #1: cost 5 inf + 0
3.069 * * [simplify]: Extracting #2: cost 2 inf + 323
3.069 * * [simplify]: Extracting #3: cost 0 inf + 1287
3.069 * [simplify]: Simplified to (*.p16 x.im (*.p16 x.re x.re))
3.069 * [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))))
3.070 * * * * [progress]: [ 10 / 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)))>
3.070 * [simplify]: Simplifying (*.p16 (*.p16 x.re x.re) x.im)
3.070 * * [simplify]: iters left: 2 (4 enodes)
3.070 * * [simplify]: iters left: 1 (11 enodes)
3.072 * * [simplify]: Extracting #0: cost 1 inf + 0
3.072 * * [simplify]: Extracting #1: cost 5 inf + 0
3.072 * * [simplify]: Extracting #2: cost 3 inf + 2
3.072 * * [simplify]: Extracting #3: cost 0 inf + 1287
3.072 * [simplify]: Simplified to (*.p16 x.im (*.p16 x.re x.re))
3.072 * [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))))
3.072 * * * * [progress]: [ 11 / 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)))>
3.072 * [simplify]: Simplifying (*.p16 (*.p16 x.re x.re) x.im)
3.072 * * [simplify]: iters left: 2 (4 enodes)
3.073 * * [simplify]: iters left: 1 (11 enodes)
3.075 * * [simplify]: Extracting #0: cost 1 inf + 0
3.075 * * [simplify]: Extracting #1: cost 5 inf + 0
3.075 * * [simplify]: Extracting #2: cost 3 inf + 2
3.075 * * [simplify]: Extracting #3: cost 0 inf + 1287
3.075 * [simplify]: Simplified to (*.p16 x.im (*.p16 x.re x.re))
3.075 * [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))))
3.075 * * * * [progress]: [ 12 / 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))))))>
3.075 * [simplify]: Simplifying (*.p16 x.im (*.p16 (+.p16 x.im x.re) x.re))
3.075 * * [simplify]: iters left: 3 (5 enodes)
3.076 * * [simplify]: iters left: 2 (14 enodes)
3.078 * * [simplify]: iters left: 1 (30 enodes)
3.083 * * [simplify]: Extracting #0: cost 1 inf + 0
3.083 * * [simplify]: Extracting #1: cost 15 inf + 0
3.083 * * [simplify]: Extracting #2: cost 15 inf + 2
3.084 * * [simplify]: Extracting #3: cost 4 inf + 4942
3.084 * * [simplify]: Extracting #4: cost 0 inf + 7550
3.084 * [simplify]: Simplified to (*.p16 (*.p16 x.re x.im) (+.p16 x.re x.im))
3.084 * [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))))))
3.084 * * * * [progress]: [ 13 / 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))))))>
3.084 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.im x.re)))
3.084 * * [simplify]: iters left: 3 (5 enodes)
3.085 * * [simplify]: iters left: 2 (18 enodes)
3.089 * * [simplify]: iters left: 1 (41 enodes)
3.095 * * [simplify]: Extracting #0: cost 1 inf + 0
3.095 * * [simplify]: Extracting #1: cost 11 inf + 0
3.095 * * [simplify]: Extracting #2: cost 9 inf + 966
3.095 * * [simplify]: Extracting #3: cost 0 inf + 5062
3.096 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) (*.p16 x.re x.im))
3.096 * [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))))))
3.096 * * * * [progress]: [ 14 / 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))))))>
3.096 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.im)
3.096 * * [simplify]: iters left: 3 (5 enodes)
3.097 * * [simplify]: iters left: 2 (14 enodes)
3.099 * * [simplify]: iters left: 1 (25 enodes)
3.102 * * [simplify]: Extracting #0: cost 1 inf + 0
3.102 * * [simplify]: Extracting #1: cost 18 inf + 0
3.102 * * [simplify]: Extracting #2: cost 18 inf + 2
3.103 * * [simplify]: Extracting #3: cost 8 inf + 4300
3.103 * * [simplify]: Extracting #4: cost 0 inf + 9476
3.103 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.im) x.re) x.im)
3.103 * [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))))))
3.103 * * * * [progress]: [ 15 / 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))))))>
3.103 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.im)
3.103 * * [simplify]: iters left: 3 (5 enodes)
3.104 * * [simplify]: iters left: 2 (19 enodes)
3.107 * * [simplify]: iters left: 1 (35 enodes)
3.112 * * [simplify]: Extracting #0: cost 1 inf + 0
3.112 * * [simplify]: Extracting #1: cost 11 inf + 0
3.112 * * [simplify]: Extracting #2: cost 11 inf + 2
3.113 * * [simplify]: Extracting #3: cost 2 inf + 3738
3.113 * * [simplify]: Extracting #4: cost 0 inf + 5062
3.113 * [simplify]: Simplified to (*.p16 x.im (*.p16 x.re (+.p16 x.im x.re)))
3.113 * [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))))))
3.113 * * * * [progress]: [ 16 / 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)))))>
3.113 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))
3.113 * * [simplify]: iters left: 3 (8 enodes)
3.115 * * [simplify]: iters left: 2 (23 enodes)
3.119 * * [simplify]: iters left: 1 (53 enodes)
3.133 * * [simplify]: Extracting #0: cost 1 inf + 0
3.133 * * [simplify]: Extracting #1: cost 15 inf + 0
3.133 * * [simplify]: Extracting #2: cost 44 inf + 0
3.133 * * [simplify]: Extracting #3: cost 62 inf + 1008
3.134 * * [simplify]: Extracting #4: cost 33 inf + 20270
3.135 * * [simplify]: Extracting #5: cost 3 inf + 45322
3.137 * * [simplify]: Extracting #6: cost 0 inf + 50128
3.139 * [simplify]: Simplified to (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))
3.139 * [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))))
3.139 * * * * [progress]: [ 17 / 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)))))>
3.139 * * * * [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)))))>
3.139 * [simplify]: Simplifying (*.p16 x.im (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
3.139 * * [simplify]: iters left: 3 (6 enodes)
3.140 * * [simplify]: iters left: 2 (15 enodes)
3.143 * * [simplify]: iters left: 1 (34 enodes)
3.149 * * [simplify]: Extracting #0: cost 1 inf + 0
3.149 * * [simplify]: Extracting #1: cost 17 inf + 0
3.149 * * [simplify]: Extracting #2: cost 20 inf + 1
3.149 * * [simplify]: Extracting #3: cost 16 inf + 1125
3.149 * * [simplify]: Extracting #4: cost 6 inf + 6303
3.150 * * [simplify]: Extracting #5: cost 0 inf + 10353
3.150 * [simplify]: Simplified to (*.p16 (*.p16 (neg.p16 x.im) x.im) (+.p16 x.re x.im))
3.150 * [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)))))
3.150 * * * * [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)))))>
3.150 * [simplify]: Simplifying (*.p16 x.im (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))
3.150 * * [simplify]: iters left: 3 (6 enodes)
3.152 * * [simplify]: iters left: 2 (20 enodes)
3.155 * * [simplify]: iters left: 1 (45 enodes)
3.162 * * [simplify]: Extracting #0: cost 1 inf + 0
3.162 * * [simplify]: Extracting #1: cost 15 inf + 0
3.162 * * [simplify]: Extracting #2: cost 19 inf + 1
3.162 * * [simplify]: Extracting #3: cost 12 inf + 1811
3.163 * * [simplify]: Extracting #4: cost 3 inf + 7188
3.163 * * [simplify]: Extracting #5: cost 0 inf + 9474
3.163 * [simplify]: Simplified to (*.p16 x.im (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))
3.164 * [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)))))
3.164 * * * * [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)))))>
3.164 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.im)
3.164 * * [simplify]: iters left: 3 (6 enodes)
3.165 * * [simplify]: iters left: 2 (15 enodes)
3.167 * * [simplify]: iters left: 1 (27 enodes)
3.171 * * [simplify]: Extracting #0: cost 1 inf + 0
3.171 * * [simplify]: Extracting #1: cost 18 inf + 0
3.171 * * [simplify]: Extracting #2: cost 21 inf + 82
3.171 * * [simplify]: Extracting #3: cost 8 inf + 7221
3.172 * * [simplify]: Extracting #4: cost 0 inf + 11396
3.172 * [simplify]: Simplified to (*.p16 (*.p16 x.im (+.p16 x.re x.im)) (neg.p16 x.im))
3.172 * [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)))))
3.172 * * * * [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)))))>
3.172 * [simplify]: Simplifying (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.im)
3.172 * * [simplify]: iters left: 3 (6 enodes)
3.174 * * [simplify]: iters left: 2 (21 enodes)
3.177 * * [simplify]: iters left: 1 (39 enodes)
3.183 * * [simplify]: Extracting #0: cost 1 inf + 0
3.183 * * [simplify]: Extracting #1: cost 16 inf + 0
3.183 * * [simplify]: Extracting #2: cost 20 inf + 1
3.183 * * [simplify]: Extracting #3: cost 14 inf + 1090
3.183 * * [simplify]: Extracting #4: cost 2 inf + 8712
3.184 * * [simplify]: Extracting #5: cost 0 inf + 10236
3.184 * [simplify]: Simplified to (*.p16 x.im (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))
3.184 * [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)))))
3.184 * * * * [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)))))>
3.184 * [simplify]: Simplifying (-.p16 x.re x.im)
3.185 * * [simplify]: iters left: 1 (3 enodes)
3.185 * * [simplify]: Extracting #0: cost 1 inf + 0
3.185 * * [simplify]: Extracting #1: cost 6 inf + 0
3.185 * * [simplify]: Extracting #2: cost 5 inf + 44
3.185 * * [simplify]: Extracting #3: cost 0 inf + 1571
3.185 * [simplify]: Simplified to (-.p16 x.re x.im)
3.185 * [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)))))
3.185 * * * * [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)))))>
3.186 * [simplify]: Simplifying (+.p16 x.re x.im)
3.186 * * [simplify]: iters left: 1 (3 enodes)
3.186 * * [simplify]: Extracting #0: cost 1 inf + 0
3.186 * * [simplify]: Extracting #1: cost 3 inf + 0
3.186 * * [simplify]: Extracting #2: cost 1 inf + 2
3.186 * * [simplify]: Extracting #3: cost 0 inf + 44
3.186 * [simplify]: Simplified to (+.p16 x.im x.re)
3.186 * [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)))))
3.186 * * * * [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)))))>
3.186 * * * * [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)))))>
3.187 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
3.187 * * [simplify]: iters left: 2 (5 enodes)
3.188 * * [simplify]: iters left: 1 (11 enodes)
3.189 * * [simplify]: Extracting #0: cost 1 inf + 0
3.189 * * [simplify]: Extracting #1: cost 7 inf + 0
3.189 * * [simplify]: Extracting #2: cost 9 inf + 0
3.189 * * [simplify]: Extracting #3: cost 7 inf + 2
3.189 * * [simplify]: Extracting #4: cost 0 inf + 2173
3.189 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
3.189 * [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)))))
3.189 * * * * [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)))))>
3.190 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
3.190 * * [simplify]: iters left: 2 (5 enodes)
3.191 * * [simplify]: iters left: 1 (17 enodes)
3.193 * * [simplify]: Extracting #0: cost 1 inf + 0
3.193 * * [simplify]: Extracting #1: cost 5 inf + 0
3.193 * * [simplify]: Extracting #2: cost 7 inf + 0
3.193 * * [simplify]: Extracting #3: cost 5 inf + 2
3.193 * * [simplify]: Extracting #4: cost 0 inf + 1370
3.193 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
3.193 * [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)))))
3.194 * * * * [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)))))>
3.194 * [simplify]: Simplifying (+.p16 x.re x.im)
3.194 * * [simplify]: iters left: 1 (3 enodes)
3.195 * * [simplify]: Extracting #0: cost 1 inf + 0
3.195 * * [simplify]: Extracting #1: cost 3 inf + 0
3.195 * * [simplify]: Extracting #2: cost 1 inf + 2
3.195 * * [simplify]: Extracting #3: cost 0 inf + 44
3.195 * [simplify]: Simplified to (+.p16 x.im x.re)
3.195 * [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)))))
3.195 * * * * [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)))))>
3.195 * * * * [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)))))>
3.195 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
3.195 * * [simplify]: iters left: 3 (5 enodes)
3.196 * * [simplify]: iters left: 2 (15 enodes)
3.199 * * [simplify]: iters left: 1 (29 enodes)
3.203 * * [simplify]: Extracting #0: cost 1 inf + 0
3.203 * * [simplify]: Extracting #1: cost 10 inf + 0
3.203 * * [simplify]: Extracting #2: cost 5 inf + 725
3.203 * * [simplify]: Extracting #3: cost 0 inf + 2774
3.203 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
3.203 * [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)))
3.203 * * * * [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)))))>
3.204 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
3.204 * * [simplify]: iters left: 3 (5 enodes)
3.205 * * [simplify]: iters left: 2 (15 enodes)
3.207 * * [simplify]: iters left: 1 (29 enodes)
3.211 * * [simplify]: Extracting #0: cost 1 inf + 0
3.211 * * [simplify]: Extracting #1: cost 10 inf + 0
3.211 * * [simplify]: Extracting #2: cost 5 inf + 725
3.212 * * [simplify]: Extracting #3: cost 0 inf + 2774
3.212 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
3.212 * [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)))
3.212 * * * * [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)))))>
3.212 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
3.212 * * [simplify]: iters left: 3 (5 enodes)
3.213 * * [simplify]: iters left: 2 (15 enodes)
3.215 * * [simplify]: iters left: 1 (29 enodes)
3.220 * * [simplify]: Extracting #0: cost 1 inf + 0
3.220 * * [simplify]: Extracting #1: cost 10 inf + 0
3.220 * * [simplify]: Extracting #2: cost 5 inf + 725
3.220 * * [simplify]: Extracting #3: cost 0 inf + 2774
3.220 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
3.220 * [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)))
3.220 * * * * [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)))))>
3.220 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
3.220 * * [simplify]: iters left: 3 (5 enodes)
3.221 * * [simplify]: iters left: 2 (15 enodes)
3.223 * * [simplify]: iters left: 1 (29 enodes)
3.228 * * [simplify]: Extracting #0: cost 1 inf + 0
3.228 * * [simplify]: Extracting #1: cost 10 inf + 0
3.228 * * [simplify]: Extracting #2: cost 5 inf + 725
3.228 * * [simplify]: Extracting #3: cost 0 inf + 2774
3.229 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
3.229 * [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)))
3.229 * * * [progress]: adding candidates to table
3.628 * * [progress]: iteration 4 / 4
3.628 * * * [progress]: picking best candidate
3.663 * * * * [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)))))>
3.663 * * * [progress]: localizing error
3.782 * * * [progress]: generating rewritten candidates
3.782 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
3.790 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
3.795 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
3.799 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
3.802 * * * [progress]: generating series expansions
3.802 * * * * [progress]: [ 1 / 4 ] generating series at (2)
3.802 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
3.802 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
3.802 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
3.802 * * * [progress]: simplifying candidates
3.802 * * * * [progress]: [ 1 / 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)))))>
3.802 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
3.802 * * [simplify]: iters left: 3 (5 enodes)
3.803 * * [simplify]: iters left: 2 (15 enodes)
3.806 * * [simplify]: iters left: 1 (29 enodes)
3.811 * * [simplify]: Extracting #0: cost 1 inf + 0
3.811 * * [simplify]: Extracting #1: cost 10 inf + 0
3.811 * * [simplify]: Extracting #2: cost 5 inf + 725
3.811 * * [simplify]: Extracting #3: cost 0 inf + 2774
3.811 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
3.811 * [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)))
3.811 * * * * [progress]: [ 2 / 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)))>
3.811 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)
3.811 * * [simplify]: iters left: 3 (5 enodes)
3.812 * * [simplify]: iters left: 2 (15 enodes)
3.815 * * [simplify]: iters left: 1 (25 enodes)
3.818 * * [simplify]: Extracting #0: cost 1 inf + 0
3.818 * * [simplify]: Extracting #1: cost 10 inf + 0
3.818 * * [simplify]: Extracting #2: cost 7 inf + 43
3.819 * * [simplify]: Extracting #3: cost 3 inf + 1089
3.819 * * [simplify]: Extracting #4: cost 0 inf + 2774
3.819 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))
3.819 * [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))))
3.819 * * * * [progress]: [ 3 / 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))>
3.819 * * * * [progress]: [ 4 / 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))))>
3.819 * [simplify]: Simplifying (*.p16 x.re x.re)
3.819 * * [simplify]: iters left: 1 (2 enodes)
3.820 * * [simplify]: Extracting #0: cost 1 inf + 0
3.820 * * [simplify]: Extracting #1: cost 2 inf + 0
3.820 * * [simplify]: Extracting #2: cost 1 inf + 1
3.820 * * [simplify]: Extracting #3: cost 0 inf + 322
3.820 * [simplify]: Simplified to (*.p16 x.re x.re)
3.820 * [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))))
3.820 * * * * [progress]: [ 5 / 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))))>
3.820 * [simplify]: Simplifying (*.p16 x.re x.re)
3.820 * * [simplify]: iters left: 1 (2 enodes)
3.820 * * [simplify]: Extracting #0: cost 1 inf + 0
3.820 * * [simplify]: Extracting #1: cost 2 inf + 0
3.820 * * [simplify]: Extracting #2: cost 1 inf + 1
3.820 * * [simplify]: Extracting #3: cost 0 inf + 322
3.820 * [simplify]: Simplified to (*.p16 x.re x.re)
3.820 * [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))))
3.820 * * * * [progress]: [ 6 / 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))))))>
3.821 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
3.821 * * [simplify]: iters left: 2 (4 enodes)
3.821 * * [simplify]: iters left: 1 (10 enodes)
3.823 * * [simplify]: Extracting #0: cost 1 inf + 0
3.823 * * [simplify]: Extracting #1: cost 6 inf + 0
3.823 * * [simplify]: Extracting #2: cost 6 inf + 1
3.823 * * [simplify]: Extracting #3: cost 4 inf + 323
3.823 * * [simplify]: Extracting #4: cost 0 inf + 1371
3.823 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
3.823 * [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))))))
3.823 * * * * [progress]: [ 7 / 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))))))>
3.823 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
3.823 * * [simplify]: iters left: 2 (4 enodes)
3.824 * * [simplify]: iters left: 1 (15 enodes)
3.826 * * [simplify]: Extracting #0: cost 1 inf + 0
3.826 * * [simplify]: Extracting #1: cost 5 inf + 0
3.826 * * [simplify]: Extracting #2: cost 5 inf + 1
3.826 * * [simplify]: Extracting #3: cost 0 inf + 1049
3.826 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
3.826 * [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))))))
3.826 * * * * [progress]: [ 8 / 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)))))>
3.826 * * * * [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)))))>
3.827 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
3.827 * * [simplify]: iters left: 2 (5 enodes)
3.827 * * [simplify]: iters left: 1 (11 enodes)
3.829 * * [simplify]: Extracting #0: cost 1 inf + 0
3.829 * * [simplify]: Extracting #1: cost 7 inf + 0
3.829 * * [simplify]: Extracting #2: cost 9 inf + 0
3.829 * * [simplify]: Extracting #3: cost 7 inf + 2
3.829 * * [simplify]: Extracting #4: cost 0 inf + 2173
3.829 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
3.829 * [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)))))
3.829 * * * * [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)))))>
3.829 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
3.830 * * [simplify]: iters left: 2 (5 enodes)
3.830 * * [simplify]: iters left: 1 (17 enodes)
3.833 * * [simplify]: Extracting #0: cost 1 inf + 0
3.833 * * [simplify]: Extracting #1: cost 5 inf + 0
3.833 * * [simplify]: Extracting #2: cost 7 inf + 0
3.833 * * [simplify]: Extracting #3: cost 5 inf + 2
3.833 * * [simplify]: Extracting #4: cost 0 inf + 1370
3.833 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
3.833 * [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)))))
3.833 * * * * [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)))))>
3.833 * [simplify]: Simplifying (+.p16 x.re x.im)
3.833 * * [simplify]: iters left: 1 (3 enodes)
3.834 * * [simplify]: Extracting #0: cost 1 inf + 0
3.834 * * [simplify]: Extracting #1: cost 3 inf + 0
3.834 * * [simplify]: Extracting #2: cost 1 inf + 2
3.834 * * [simplify]: Extracting #3: cost 0 inf + 44
3.834 * [simplify]: Simplified to (+.p16 x.im x.re)
3.834 * [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)))))
3.834 * * * * [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)))))>
3.834 * * * * [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)))))>
3.834 * [simplify]: Simplifying (*.p16 x.re x.re)
3.834 * * [simplify]: iters left: 1 (2 enodes)
3.835 * * [simplify]: Extracting #0: cost 1 inf + 0
3.835 * * [simplify]: Extracting #1: cost 2 inf + 0
3.835 * * [simplify]: Extracting #2: cost 1 inf + 1
3.835 * * [simplify]: Extracting #3: cost 0 inf + 322
3.835 * [simplify]: Simplified to (*.p16 x.re x.re)
3.835 * [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)))))
3.835 * * * * [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)))))>
3.835 * [simplify]: Simplifying (*.p16 x.re x.re)
3.835 * * [simplify]: iters left: 1 (2 enodes)
3.836 * * [simplify]: Extracting #0: cost 1 inf + 0
3.836 * * [simplify]: Extracting #1: cost 2 inf + 0
3.836 * * [simplify]: Extracting #2: cost 1 inf + 1
3.836 * * [simplify]: Extracting #3: cost 0 inf + 322
3.836 * [simplify]: Simplified to (*.p16 x.re x.re)
3.836 * [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)))))
3.836 * * * * [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))))>
3.836 * * * * [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)))))>
3.836 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))
3.836 * * [simplify]: iters left: 3 (8 enodes)
3.838 * * [simplify]: iters left: 2 (23 enodes)
3.842 * * [simplify]: iters left: 1 (53 enodes)
3.857 * * [simplify]: Extracting #0: cost 1 inf + 0
3.857 * * [simplify]: Extracting #1: cost 15 inf + 0
3.858 * * [simplify]: Extracting #2: cost 44 inf + 0
3.858 * * [simplify]: Extracting #3: cost 62 inf + 1008
3.858 * * [simplify]: Extracting #4: cost 33 inf + 20270
3.860 * * [simplify]: Extracting #5: cost 3 inf + 45322
3.862 * * [simplify]: Extracting #6: cost 0 inf + 50128
3.864 * [simplify]: Simplified to (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))
3.864 * [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))))
3.864 * * * * [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)))))>
3.864 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))
3.864 * * [simplify]: iters left: 3 (8 enodes)
3.866 * * [simplify]: iters left: 2 (23 enodes)
3.869 * * [simplify]: iters left: 1 (53 enodes)
3.882 * * [simplify]: Extracting #0: cost 1 inf + 0
3.883 * * [simplify]: Extracting #1: cost 15 inf + 0
3.883 * * [simplify]: Extracting #2: cost 44 inf + 0
3.883 * * [simplify]: Extracting #3: cost 62 inf + 1008
3.884 * * [simplify]: Extracting #4: cost 33 inf + 20270
3.885 * * [simplify]: Extracting #5: cost 3 inf + 45322
3.887 * * [simplify]: Extracting #6: cost 0 inf + 50128
3.889 * [simplify]: Simplified to (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))
3.889 * [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))))
3.889 * * * * [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)))))>
3.889 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))
3.889 * * [simplify]: iters left: 3 (8 enodes)
3.891 * * [simplify]: iters left: 2 (23 enodes)
3.894 * * [simplify]: iters left: 1 (53 enodes)
3.908 * * [simplify]: Extracting #0: cost 1 inf + 0
3.908 * * [simplify]: Extracting #1: cost 15 inf + 0
3.908 * * [simplify]: Extracting #2: cost 44 inf + 0
3.908 * * [simplify]: Extracting #3: cost 62 inf + 1008
3.909 * * [simplify]: Extracting #4: cost 33 inf + 20270
3.910 * * [simplify]: Extracting #5: cost 3 inf + 45322
3.912 * * [simplify]: Extracting #6: cost 0 inf + 50128
3.914 * [simplify]: Simplified to (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))
3.914 * [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))))
3.914 * * * * [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)))))>
3.914 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))
3.914 * * [simplify]: iters left: 3 (8 enodes)
3.916 * * [simplify]: iters left: 2 (23 enodes)
3.920 * * [simplify]: iters left: 1 (53 enodes)
3.935 * * [simplify]: Extracting #0: cost 1 inf + 0
3.935 * * [simplify]: Extracting #1: cost 15 inf + 0
3.935 * * [simplify]: Extracting #2: cost 44 inf + 0
3.935 * * [simplify]: Extracting #3: cost 62 inf + 1008
3.936 * * [simplify]: Extracting #4: cost 33 inf + 20270
3.937 * * [simplify]: Extracting #5: cost 3 inf + 45322
3.939 * * [simplify]: Extracting #6: cost 0 inf + 50128
3.941 * [simplify]: Simplified to (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))
3.941 * [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))))
3.941 * * * [progress]: adding candidates to table
4.118 * [progress]: [Phase 3 of 3] Extracting.
4.118 * * [regime]: Finding splitpoints for: (#<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 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im x.re) (+.p16 x.re x.re))))> #<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)))> #<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 (*.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)))))> #<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))> #<alt (λ (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) (*.p16 x.re x.re)) x.im)))> #<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))))))>)
4.119 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re)
4.120 * * * * [regimes]: Trying to branch on x.im from (#<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 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im x.re) (+.p16 x.re x.re))))> #<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)))> #<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 (*.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)))))> #<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))> #<alt (λ (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) (*.p16 x.re x.re)) x.im)))> #<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))))))>)
4.193 * * * * [regimes]: Trying to branch on x.re from (#<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 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im x.re) (+.p16 x.re x.re))))> #<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)))> #<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 (*.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)))))> #<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))> #<alt (λ (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) (*.p16 x.re x.re)) x.im)))> #<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))))))>)
4.288 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
4.289 * [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))))
4.289 * * [simplify]: iters left: 4 (9 enodes)
4.289 * * [simplify]: Extracting #0: cost 1 inf + 0
4.289 * * [simplify]: Extracting #1: cost 3 inf + 0
4.289 * * [simplify]: Extracting #2: cost 4 inf + 1
4.289 * * [simplify]: Extracting #3: cost 8 inf + 1
4.289 * * [simplify]: Extracting #4: cost 0 inf + 2974
4.289 * [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))))
4.290 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
4.314 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
4.316 * * * * [points]: Setting MPFR precision to 64
4.317 * * * * [points]: Setting MPFR precision to 320
4.319 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
4.320 * * * * [points]: Setting MPFR precision to 64
4.322 * * * * [points]: Setting MPFR precision to 320
4.325 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
4.326 * * * * [points]: Setting MPFR precision to 64
4.329 * * * * [points]: Setting MPFR precision to 320
4.334 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
4.335 * * * * [points]: Setting MPFR precision to 64
4.343 * * * * [points]: Setting MPFR precision to 320
4.350 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
4.351 * * * * [points]: Setting MPFR precision to 64
4.364 * * * * [points]: Setting MPFR precision to 320
4.378 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
4.379 * * * * [points]: Setting MPFR precision to 64
4.436 * * * * [points]: Setting MPFR precision to 320
4.469 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
4.470 * * * * [points]: Setting MPFR precision to 64
4.522 * * * * [points]: Setting MPFR precision to 320
4.605 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
4.607 * * * * [points]: Setting MPFR precision to 64
5.108 * * * * [points]: Setting MPFR precision to 320
5.313 * * * * [points]: Computing exacts for 8000 points
5.315 * * * * [points]: Setting MPFR precision to 64
6.009 * * * * [points]: Setting MPFR precision to 320
6.702 * * * * [points]: Filtering points with unrepresentable outputs
6.756 * * * * [points]: Sampled 8000 points with exact outputs
8.253 * [regime-testing]: Baseline error score: 64.0
8.258 * [regime-testing]: Oracle error score: 64.0
8.267 * [regime-testing]: End program error score: 0.36394010446541614