0.003 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.006 * * * * [points]: Setting MPFR precision to 64
0.008 * * * * [points]: Setting MPFR precision to 320
0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.012 * * * * [points]: Setting MPFR precision to 64
0.015 * * * * [points]: Setting MPFR precision to 320
0.018 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.020 * * * * [points]: Setting MPFR precision to 64
0.026 * * * * [points]: Setting MPFR precision to 320
0.031 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.033 * * * * [points]: Setting MPFR precision to 64
0.042 * * * * [points]: Setting MPFR precision to 320
0.052 * * * * [points]: Computing exacts for 256 points
0.054 * * * * [points]: Setting MPFR precision to 64
0.083 * * * * [points]: Setting MPFR precision to 320
0.110 * * * * [points]: Filtering points with unrepresentable outputs
0.112 * * * * [points]: Sampled 256 points with exact outputs
0.112 * * * [progress]: [2/2] Setting up program.
0.121 * [progress]: [Phase 2 of 3] Improving.
0.121 * * * * [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.122 * [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.122 * * [simplify]: iters left: 4 (11 enodes)
0.127 * * [simplify]: iters left: 3 (29 enodes)
0.138 * * [simplify]: iters left: 2 (80 enodes)
0.198 * * [simplify]: iters left: 1 (221 enodes)
0.359 * * [simplify]: Extracting #0: cost 1 inf + 0
0.359 * * [simplify]: Extracting #1: cost 13 inf + 0
0.359 * * [simplify]: Extracting #2: cost 84 inf + 1
0.361 * * [simplify]: Extracting #3: cost 260 inf + 1931
0.365 * * [simplify]: Extracting #4: cost 234 inf + 56565
0.384 * * [simplify]: Extracting #5: cost 79 inf + 287232
0.414 * * [simplify]: Extracting #6: cost 2 inf + 414836
0.444 * * [simplify]: Extracting #7: cost 0 inf + 420160
0.478 * [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.478 * [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.498 * * [progress]: iteration 1 / 4
0.498 * * * [progress]: picking best candidate
0.516 * * * * [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)))>
0.516 * * * [progress]: localizing error
0.848 * * * [progress]: generating rewritten candidates
0.849 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.852 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
0.855 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.858 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.860 * * * [progress]: generating series expansions
0.860 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.860 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
0.860 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.861 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.861 * * * [progress]: simplifying candidates
0.861 * * * * [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)))>
0.861 * * * * [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)))>
0.861 * [simplify]: Simplifying (+.p16 x.re x.im)
0.861 * * [simplify]: iters left: 1 (3 enodes)
0.861 * * [simplify]: Extracting #0: cost 1 inf + 0
0.862 * * [simplify]: Extracting #1: cost 3 inf + 0
0.862 * * [simplify]: Extracting #2: cost 1 inf + 2
0.862 * * [simplify]: Extracting #3: cost 0 inf + 44
0.862 * [simplify]: Simplified to (+.p16 x.im x.re)
0.862 * [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)))
0.862 * [simplify]: Simplifying (-.p16 x.re x.im)
0.862 * * [simplify]: iters left: 1 (3 enodes)
0.863 * * [simplify]: Extracting #0: cost 1 inf + 0
0.863 * * [simplify]: Extracting #1: cost 6 inf + 0
0.863 * * [simplify]: Extracting #2: cost 5 inf + 44
0.863 * * [simplify]: Extracting #3: cost 0 inf + 1571
0.863 * [simplify]: Simplified to (-.p16 x.re x.im)
0.863 * [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)))
0.863 * * * * [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)))>
0.863 * * * * [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)))>
0.863 * * * * [progress]: [ 5 / 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)))>
0.863 * [simplify]: Simplifying (+.p16 x.re x.im)
0.863 * * [simplify]: iters left: 1 (3 enodes)
0.864 * * [simplify]: Extracting #0: cost 1 inf + 0
0.864 * * [simplify]: Extracting #1: cost 3 inf + 0
0.864 * * [simplify]: Extracting #2: cost 1 inf + 2
0.864 * * [simplify]: Extracting #3: cost 0 inf + 44
0.864 * [simplify]: Simplified to (+.p16 x.im x.re)
0.864 * [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)))
0.864 * * * * [progress]: [ 6 / 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)))>
0.864 * [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)
0.864 * * [simplify]: iters left: 4 (8 enodes)
0.866 * * [simplify]: iters left: 3 (31 enodes)
0.878 * * [simplify]: iters left: 2 (85 enodes)
0.899 * * [simplify]: iters left: 1 (279 enodes)
1.060 * * [simplify]: Extracting #0: cost 1 inf + 0
1.061 * * [simplify]: Extracting #1: cost 69 inf + 0
1.062 * * [simplify]: Extracting #2: cost 323 inf + 1
1.064 * * [simplify]: Extracting #3: cost 341 inf + 60114
1.092 * * [simplify]: Extracting #4: cost 127 inf + 505558
1.151 * * [simplify]: Extracting #5: cost 4 inf + 763673
1.219 * * [simplify]: Extracting #6: cost 0 inf + 776441
1.283 * [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)
1.283 * [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)))
1.284 * * * * [progress]: [ 7 / 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)))>
1.284 * * * * [progress]: [ 8 / 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)))))>
1.284 * * * * [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)))>
1.284 * [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))
1.284 * * [simplify]: iters left: 4 (11 enodes)
1.289 * * [simplify]: iters left: 3 (29 enodes)
1.301 * * [simplify]: iters left: 2 (80 enodes)
1.337 * * [simplify]: iters left: 1 (221 enodes)
1.491 * * [simplify]: Extracting #0: cost 1 inf + 0
1.491 * * [simplify]: Extracting #1: cost 13 inf + 0
1.491 * * [simplify]: Extracting #2: cost 84 inf + 1
1.493 * * [simplify]: Extracting #3: cost 260 inf + 1931
1.497 * * [simplify]: Extracting #4: cost 234 inf + 56565
1.515 * * [simplify]: Extracting #5: cost 79 inf + 287232
1.545 * * [simplify]: Extracting #6: cost 2 inf + 414836
1.577 * * [simplify]: Extracting #7: cost 0 inf + 420160
1.610 * [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))))
1.610 * [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)))))
1.610 * * * * [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)))>
1.611 * [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))
1.611 * * [simplify]: iters left: 4 (11 enodes)
1.616 * * [simplify]: iters left: 3 (29 enodes)
1.627 * * [simplify]: iters left: 2 (80 enodes)
1.661 * * [simplify]: iters left: 1 (221 enodes)
1.816 * * [simplify]: Extracting #0: cost 1 inf + 0
1.816 * * [simplify]: Extracting #1: cost 13 inf + 0
1.817 * * [simplify]: Extracting #2: cost 84 inf + 1
1.818 * * [simplify]: Extracting #3: cost 260 inf + 1931
1.823 * * [simplify]: Extracting #4: cost 234 inf + 56565
1.832 * * [simplify]: Extracting #5: cost 79 inf + 287232
1.850 * * [simplify]: Extracting #6: cost 2 inf + 414836
1.865 * * [simplify]: Extracting #7: cost 0 inf + 420160
1.880 * [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))))
1.880 * [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)))))
1.880 * * * * [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)))>
1.881 * [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))
1.881 * * [simplify]: iters left: 4 (11 enodes)
1.883 * * [simplify]: iters left: 3 (29 enodes)
1.888 * * [simplify]: iters left: 2 (80 enodes)
1.906 * * [simplify]: iters left: 1 (221 enodes)
1.984 * * [simplify]: Extracting #0: cost 1 inf + 0
1.984 * * [simplify]: Extracting #1: cost 13 inf + 0
1.985 * * [simplify]: Extracting #2: cost 84 inf + 1
1.985 * * [simplify]: Extracting #3: cost 260 inf + 1931
1.987 * * [simplify]: Extracting #4: cost 234 inf + 56565
2.005 * * [simplify]: Extracting #5: cost 79 inf + 287232
2.036 * * [simplify]: Extracting #6: cost 2 inf + 414836
2.068 * * [simplify]: Extracting #7: cost 0 inf + 420160
2.098 * [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))))
2.099 * [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)))))
2.099 * * * * [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)))>
2.099 * [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))
2.099 * * [simplify]: iters left: 4 (11 enodes)
2.104 * * [simplify]: iters left: 3 (29 enodes)
2.115 * * [simplify]: iters left: 2 (80 enodes)
2.153 * * [simplify]: iters left: 1 (221 enodes)
2.307 * * [simplify]: Extracting #0: cost 1 inf + 0
2.307 * * [simplify]: Extracting #1: cost 13 inf + 0
2.307 * * [simplify]: Extracting #2: cost 84 inf + 1
2.309 * * [simplify]: Extracting #3: cost 260 inf + 1931
2.313 * * [simplify]: Extracting #4: cost 234 inf + 56565
2.332 * * [simplify]: Extracting #5: cost 79 inf + 287232
2.362 * * [simplify]: Extracting #6: cost 2 inf + 414836
2.396 * * [simplify]: Extracting #7: cost 0 inf + 420160
2.425 * [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))))
2.425 * [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)))))
2.425 * * * [progress]: adding candidates to table
2.683 * * [progress]: iteration 2 / 4
2.683 * * * [progress]: picking best candidate
2.713 * * * * [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)))>
2.713 * * * [progress]: localizing error
3.049 * * * [progress]: generating rewritten candidates
3.049 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
3.059 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
3.064 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
3.075 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
3.080 * * * [progress]: generating series expansions
3.080 * * * * [progress]: [ 1 / 4 ] generating series at (2)
3.080 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
3.080 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
3.080 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
3.080 * * * [progress]: simplifying candidates
3.080 * * * * [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))))>
3.080 * * * * [progress]: [ 2 / 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)))))>
3.080 * * * * [progress]: [ 3 / 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)))>
3.080 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im)) (+.p16 x.re x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
3.081 * [simplify]: Simplifying (+.p16 x.re x.im)
3.081 * * [simplify]: iters left: 1 (3 enodes)
3.082 * * [simplify]: Extracting #0: cost 1 inf + 0
3.082 * * [simplify]: Extracting #1: cost 3 inf + 0
3.082 * * [simplify]: Extracting #2: cost 1 inf + 2
3.082 * * [simplify]: Extracting #3: cost 0 inf + 44
3.082 * [simplify]: Simplified to (+.p16 x.im x.re)
3.082 * [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)))
3.082 * * * * [progress]: [ 5 / 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)))>
3.083 * * * * [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)))>
3.083 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im)
3.083 * * [simplify]: iters left: 3 (6 enodes)
3.086 * * [simplify]: iters left: 2 (21 enodes)
3.094 * * [simplify]: iters left: 1 (58 enodes)
3.126 * * [simplify]: Extracting #0: cost 1 inf + 0
3.126 * * [simplify]: Extracting #1: cost 19 inf + 0
3.126 * * [simplify]: Extracting #2: cost 57 inf + 1
3.126 * * [simplify]: Extracting #3: cost 56 inf + 2810
3.128 * * [simplify]: Extracting #4: cost 40 inf + 27662
3.131 * * [simplify]: Extracting #5: cost 1 inf + 68925
3.135 * * [simplify]: Extracting #6: cost 0 inf + 71247
3.139 * [simplify]: Simplified to (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))
3.139 * [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)))
3.139 * * * * [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)))>
3.139 * * * * [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)))>
3.140 * [simplify]: Simplifying (+.p16 x.re x.im)
3.140 * * [simplify]: iters left: 1 (3 enodes)
3.141 * * [simplify]: Extracting #0: cost 1 inf + 0
3.141 * * [simplify]: Extracting #1: cost 3 inf + 0
3.141 * * [simplify]: Extracting #2: cost 1 inf + 2
3.141 * * [simplify]: Extracting #3: cost 0 inf + 44
3.141 * [simplify]: Simplified to (+.p16 x.im x.re)
3.141 * [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)))
3.141 * * * * [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)))>
3.142 * [simplify]: Simplifying (+.p16 x.re x.im)
3.142 * * [simplify]: iters left: 1 (3 enodes)
3.143 * * [simplify]: Extracting #0: cost 1 inf + 0
3.143 * * [simplify]: Extracting #1: cost 3 inf + 0
3.143 * * [simplify]: Extracting #2: cost 1 inf + 2
3.143 * * [simplify]: Extracting #3: cost 0 inf + 44
3.143 * [simplify]: Simplified to (+.p16 x.im x.re)
3.143 * [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)))
3.143 * * * * [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)))>
3.143 * [simplify]: Simplifying (+.p16 x.re x.im)
3.143 * * [simplify]: iters left: 1 (3 enodes)
3.145 * * [simplify]: Extracting #0: cost 1 inf + 0
3.145 * * [simplify]: Extracting #1: cost 3 inf + 0
3.145 * * [simplify]: Extracting #2: cost 1 inf + 2
3.145 * * [simplify]: Extracting #3: cost 0 inf + 44
3.145 * [simplify]: Simplified to (+.p16 x.im x.re)
3.145 * [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)))
3.145 * * * * [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)))>
3.145 * [simplify]: Simplifying (+.p16 x.re x.im)
3.145 * * [simplify]: iters left: 1 (3 enodes)
3.146 * * [simplify]: Extracting #0: cost 1 inf + 0
3.146 * * [simplify]: Extracting #1: cost 3 inf + 0
3.146 * * [simplify]: Extracting #2: cost 1 inf + 2
3.146 * * [simplify]: Extracting #3: cost 0 inf + 44
3.147 * [simplify]: Simplified to (+.p16 x.im x.re)
3.147 * [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)))
3.147 * * * [progress]: adding candidates to table
3.327 * * [progress]: iteration 3 / 4
3.327 * * * [progress]: picking best candidate
3.357 * * * * [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.357 * * * [progress]: localizing error
3.620 * * * [progress]: generating rewritten candidates
3.620 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
3.622 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
3.626 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
3.630 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
3.633 * * * [progress]: generating series expansions
3.633 * * * * [progress]: [ 1 / 4 ] generating series at (2)
3.633 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
3.633 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
3.633 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
3.633 * * * [progress]: simplifying candidates
3.633 * * * * [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.633 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
3.634 * * [simplify]: iters left: 3 (5 enodes)
3.635 * * [simplify]: iters left: 2 (15 enodes)
3.637 * * [simplify]: iters left: 1 (29 enodes)
3.649 * * [simplify]: Extracting #0: cost 1 inf + 0
3.649 * * [simplify]: Extracting #1: cost 10 inf + 0
3.649 * * [simplify]: Extracting #2: cost 5 inf + 725
3.650 * * [simplify]: Extracting #3: cost 0 inf + 2774
3.650 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
3.650 * [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.650 * * * * [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.650 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)
3.650 * * [simplify]: iters left: 3 (5 enodes)
3.651 * * [simplify]: iters left: 2 (15 enodes)
3.653 * * [simplify]: iters left: 1 (25 enodes)
3.658 * * [simplify]: Extracting #0: cost 1 inf + 0
3.658 * * [simplify]: Extracting #1: cost 10 inf + 0
3.658 * * [simplify]: Extracting #2: cost 7 inf + 43
3.658 * * [simplify]: Extracting #3: cost 3 inf + 1089
3.658 * * [simplify]: Extracting #4: cost 0 inf + 2774
3.658 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))
3.658 * [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.658 * * * * [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.658 * * * * [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.658 * [simplify]: Simplifying (*.p16 x.re x.re)
3.658 * * [simplify]: iters left: 1 (2 enodes)
3.659 * * [simplify]: Extracting #0: cost 1 inf + 0
3.659 * * [simplify]: Extracting #1: cost 2 inf + 0
3.659 * * [simplify]: Extracting #2: cost 1 inf + 1
3.659 * * [simplify]: Extracting #3: cost 0 inf + 322
3.659 * [simplify]: Simplified to (*.p16 x.re x.re)
3.659 * [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.659 * * * * [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.659 * [simplify]: Simplifying (*.p16 x.re x.re)
3.659 * * [simplify]: iters left: 1 (2 enodes)
3.660 * * [simplify]: Extracting #0: cost 1 inf + 0
3.660 * * [simplify]: Extracting #1: cost 2 inf + 0
3.660 * * [simplify]: Extracting #2: cost 1 inf + 1
3.660 * * [simplify]: Extracting #3: cost 0 inf + 322
3.660 * [simplify]: Simplified to (*.p16 x.re x.re)
3.660 * [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.660 * * * * [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.660 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
3.660 * * [simplify]: iters left: 2 (4 enodes)
3.661 * * [simplify]: iters left: 1 (10 enodes)
3.662 * * [simplify]: Extracting #0: cost 1 inf + 0
3.663 * * [simplify]: Extracting #1: cost 6 inf + 0
3.663 * * [simplify]: Extracting #2: cost 6 inf + 1
3.663 * * [simplify]: Extracting #3: cost 4 inf + 323
3.663 * * [simplify]: Extracting #4: cost 0 inf + 1371
3.663 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
3.663 * [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.663 * * * * [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.663 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
3.663 * * [simplify]: iters left: 2 (4 enodes)
3.664 * * [simplify]: iters left: 1 (15 enodes)
3.667 * * [simplify]: Extracting #0: cost 1 inf + 0
3.667 * * [simplify]: Extracting #1: cost 5 inf + 0
3.668 * * [simplify]: Extracting #2: cost 5 inf + 1
3.668 * * [simplify]: Extracting #3: cost 0 inf + 1049
3.668 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
3.668 * [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.668 * * * * [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.668 * * * * [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.668 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
3.668 * * [simplify]: iters left: 2 (5 enodes)
3.669 * * [simplify]: iters left: 1 (11 enodes)
3.670 * * [simplify]: Extracting #0: cost 1 inf + 0
3.671 * * [simplify]: Extracting #1: cost 7 inf + 0
3.671 * * [simplify]: Extracting #2: cost 9 inf + 0
3.671 * * [simplify]: Extracting #3: cost 7 inf + 2
3.671 * * [simplify]: Extracting #4: cost 0 inf + 2173
3.671 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
3.671 * [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.671 * * * * [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.671 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
3.671 * * [simplify]: iters left: 2 (5 enodes)
3.672 * * [simplify]: iters left: 1 (17 enodes)
3.675 * * [simplify]: Extracting #0: cost 1 inf + 0
3.675 * * [simplify]: Extracting #1: cost 5 inf + 0
3.675 * * [simplify]: Extracting #2: cost 7 inf + 0
3.675 * * [simplify]: Extracting #3: cost 5 inf + 2
3.675 * * [simplify]: Extracting #4: cost 0 inf + 1370
3.675 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
3.675 * [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.675 * * * * [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.675 * [simplify]: Simplifying (+.p16 x.re x.im)
3.675 * * [simplify]: iters left: 1 (3 enodes)
3.676 * * [simplify]: Extracting #0: cost 1 inf + 0
3.676 * * [simplify]: Extracting #1: cost 3 inf + 0
3.676 * * [simplify]: Extracting #2: cost 1 inf + 2
3.676 * * [simplify]: Extracting #3: cost 0 inf + 44
3.676 * [simplify]: Simplified to (+.p16 x.im x.re)
3.676 * [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.676 * * * * [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.676 * * * * [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.676 * [simplify]: Simplifying (*.p16 x.re x.re)
3.676 * * [simplify]: iters left: 1 (2 enodes)
3.677 * * [simplify]: Extracting #0: cost 1 inf + 0
3.677 * * [simplify]: Extracting #1: cost 2 inf + 0
3.677 * * [simplify]: Extracting #2: cost 1 inf + 1
3.677 * * [simplify]: Extracting #3: cost 0 inf + 322
3.677 * [simplify]: Simplified to (*.p16 x.re x.re)
3.677 * [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.677 * * * * [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.677 * [simplify]: Simplifying (*.p16 x.re x.re)
3.677 * * [simplify]: iters left: 1 (2 enodes)
3.678 * * [simplify]: Extracting #0: cost 1 inf + 0
3.678 * * [simplify]: Extracting #1: cost 2 inf + 0
3.678 * * [simplify]: Extracting #2: cost 1 inf + 1
3.678 * * [simplify]: Extracting #3: cost 0 inf + 322
3.678 * [simplify]: Simplified to (*.p16 x.re x.re)
3.678 * [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.678 * * * * [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.678 * * * * [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.678 * [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))))
3.678 * * [simplify]: iters left: 4 (9 enodes)
3.680 * * [simplify]: iters left: 3 (31 enodes)
3.686 * * [simplify]: iters left: 2 (81 enodes)
3.709 * * [simplify]: iters left: 1 (313 enodes)
3.954 * * [simplify]: Extracting #0: cost 1 inf + 0
3.954 * * [simplify]: Extracting #1: cost 25 inf + 0
3.955 * * [simplify]: Extracting #2: cost 146 inf + 1
3.957 * * [simplify]: Extracting #3: cost 271 inf + 9598
3.970 * * [simplify]: Extracting #4: cost 160 inf + 145347
3.997 * * [simplify]: Extracting #5: cost 29 inf + 293341
4.033 * * [simplify]: Extracting #6: cost 2 inf + 329705
4.065 * * [simplify]: Extracting #7: cost 0 inf + 334429
4.097 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
4.097 * [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))
4.098 * * * * [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)))))>
4.098 * [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.098 * * [simplify]: iters left: 4 (9 enodes)
4.102 * * [simplify]: iters left: 3 (31 enodes)
4.115 * * [simplify]: iters left: 2 (81 enodes)
4.164 * * [simplify]: iters left: 1 (313 enodes)
4.363 * * [simplify]: Extracting #0: cost 1 inf + 0
4.363 * * [simplify]: Extracting #1: cost 25 inf + 0
4.364 * * [simplify]: Extracting #2: cost 146 inf + 1
4.365 * * [simplify]: Extracting #3: cost 271 inf + 9598
4.371 * * [simplify]: Extracting #4: cost 160 inf + 145347
4.388 * * [simplify]: Extracting #5: cost 29 inf + 293341
4.404 * * [simplify]: Extracting #6: cost 2 inf + 329705
4.419 * * [simplify]: Extracting #7: cost 0 inf + 334429
4.442 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
4.442 * [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))
4.442 * * * * [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)))))>
4.442 * [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.442 * * [simplify]: iters left: 4 (9 enodes)
4.444 * * [simplify]: iters left: 3 (31 enodes)
4.450 * * [simplify]: iters left: 2 (81 enodes)
4.473 * * [simplify]: iters left: 1 (313 enodes)
5.010 * * [simplify]: Extracting #0: cost 1 inf + 0
5.010 * * [simplify]: Extracting #1: cost 25 inf + 0
5.011 * * [simplify]: Extracting #2: cost 146 inf + 1
5.012 * * [simplify]: Extracting #3: cost 271 inf + 9598
5.018 * * [simplify]: Extracting #4: cost 160 inf + 145347
5.032 * * [simplify]: Extracting #5: cost 29 inf + 293341
5.048 * * [simplify]: Extracting #6: cost 2 inf + 329705
5.066 * * [simplify]: Extracting #7: cost 0 inf + 334429
5.083 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
5.083 * [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))
5.083 * * * * [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)))))>
5.083 * [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))))
5.084 * * [simplify]: iters left: 4 (9 enodes)
5.086 * * [simplify]: iters left: 3 (31 enodes)
5.091 * * [simplify]: iters left: 2 (81 enodes)
5.113 * * [simplify]: iters left: 1 (313 enodes)
5.388 * * [simplify]: Extracting #0: cost 1 inf + 0
5.388 * * [simplify]: Extracting #1: cost 25 inf + 0
5.389 * * [simplify]: Extracting #2: cost 146 inf + 1
5.391 * * [simplify]: Extracting #3: cost 271 inf + 9598
5.402 * * [simplify]: Extracting #4: cost 160 inf + 145347
5.425 * * [simplify]: Extracting #5: cost 29 inf + 293341
5.440 * * [simplify]: Extracting #6: cost 2 inf + 329705
5.459 * * [simplify]: Extracting #7: cost 0 inf + 334429
5.487 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
5.487 * [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))
5.487 * * * [progress]: adding candidates to table
5.720 * * [progress]: iteration 4 / 4
5.720 * * * [progress]: picking best candidate
5.756 * * * * [pick]: Picked  #<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))))>
5.756 * * * [progress]: localizing error
5.935 * * * [progress]: generating rewritten candidates
5.935 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
5.941 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
5.950 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
5.958 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
5.963 * * * [progress]: generating series expansions
5.963 * * * * [progress]: [ 1 / 4 ] generating series at (2)
5.963 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
5.963 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
5.963 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
5.963 * * * [progress]: simplifying candidates
5.963 * * * * [progress]: [ 1 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re))) (*.p16 x.im (*.p16 x.re x.re))))>
5.963 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re x.re))
5.963 * * [simplify]: iters left: 2 (4 enodes)
5.964 * * [simplify]: iters left: 1 (11 enodes)
5.966 * * [simplify]: Extracting #0: cost 1 inf + 0
5.966 * * [simplify]: Extracting #1: cost 5 inf + 0
5.966 * * [simplify]: Extracting #2: cost 2 inf + 323
5.966 * * [simplify]: Extracting #3: cost 0 inf + 1287
5.966 * [simplify]: Simplified to (*.p16 x.im (*.p16 x.re x.re))
5.966 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re))) (*.p16 x.im (*.p16 x.re x.re))))
5.966 * * * * [progress]: [ 2 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) x.im) (*.p16 (*.p16 x.re x.re) x.im)))>
5.966 * [simplify]: Simplifying (*.p16 (*.p16 x.re x.re) x.im)
5.966 * * [simplify]: iters left: 2 (4 enodes)
5.967 * * [simplify]: iters left: 1 (11 enodes)
5.969 * * [simplify]: Extracting #0: cost 1 inf + 0
5.969 * * [simplify]: Extracting #1: cost 5 inf + 0
5.969 * * [simplify]: Extracting #2: cost 3 inf + 2
5.969 * * [simplify]: Extracting #3: cost 0 inf + 1287
5.969 * [simplify]: Simplified to (*.p16 x.im (*.p16 x.re x.re))
5.969 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) x.im) (*.p16 x.im (*.p16 x.re x.re))))
5.969 * * * * [progress]: [ 3 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re)) x.im))>
5.969 * * * * [progress]: [ 4 / 16 ] 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)))))>
5.969 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))
5.969 * * [simplify]: iters left: 2 (5 enodes)
5.970 * * [simplify]: iters left: 1 (17 enodes)
5.973 * * [simplify]: Extracting #0: cost 1 inf + 0
5.973 * * [simplify]: Extracting #1: cost 18 inf + 0
5.973 * * [simplify]: Extracting #2: cost 23 inf + 0
5.973 * * [simplify]: Extracting #3: cost 20 inf + 323
5.973 * * [simplify]: Extracting #4: cost 12 inf + 2616
5.973 * * [simplify]: Extracting #5: cost 0 inf + 9758
5.974 * [simplify]: Simplified to (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im))
5.974 * [simplify]: Simplified (2 2 1) 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) (*.p16 x.re x.re)))))
5.974 * * * * [progress]: [ 5 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)))))>
5.974 * * * * [progress]: [ 6 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (+.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 x.re x.re))) (*.p16 x.re x.re))))>
5.974 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
5.974 * * [simplify]: iters left: 2 (4 enodes)
5.975 * * [simplify]: iters left: 1 (10 enodes)
5.976 * * [simplify]: Extracting #0: cost 1 inf + 0
5.976 * * [simplify]: Extracting #1: cost 6 inf + 0
5.976 * * [simplify]: Extracting #2: cost 6 inf + 1
5.976 * * [simplify]: Extracting #3: cost 4 inf + 323
5.976 * * [simplify]: Extracting #4: cost 0 inf + 1371
5.977 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
5.977 * [simplify]: Simplified (2 2 1 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.re x.im) x.re) (+.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 x.re x.re))) (*.p16 x.re x.re))))
5.977 * * * * [progress]: [ 7 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re x.re))) (*.p16 x.re x.re))))>
5.977 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
5.977 * * [simplify]: iters left: 2 (4 enodes)
5.978 * * [simplify]: iters left: 1 (15 enodes)
5.980 * * [simplify]: Extracting #0: cost 1 inf + 0
5.980 * * [simplify]: Extracting #1: cost 5 inf + 0
5.980 * * [simplify]: Extracting #2: cost 5 inf + 1
5.980 * * [simplify]: Extracting #3: cost 0 inf + 1049
5.980 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
5.980 * [simplify]: Simplified (2 2 1 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re x.re))) (*.p16 x.re x.re))))
5.980 * * * * [progress]: [ 8 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re x.re) (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.re x.re))))>
5.980 * * * * [progress]: [ 9 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) (*.p16 x.re x.re)) (*.p16 x.re x.re))))>
5.980 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
5.981 * * [simplify]: iters left: 2 (5 enodes)
5.982 * * [simplify]: iters left: 1 (11 enodes)
5.983 * * [simplify]: Extracting #0: cost 1 inf + 0
5.983 * * [simplify]: Extracting #1: cost 7 inf + 0
5.983 * * [simplify]: Extracting #2: cost 9 inf + 0
5.983 * * [simplify]: Extracting #3: cost 7 inf + 2
5.983 * * [simplify]: Extracting #4: cost 0 inf + 2173
5.983 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
5.983 * [simplify]: Simplified (2 2 1 1 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))) (*.p16 x.re x.re)) (*.p16 x.re x.re))))
5.984 * * * * [progress]: [ 10 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 x.re x.re)) (*.p16 x.re x.re))))>
5.984 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
5.984 * * [simplify]: iters left: 2 (5 enodes)
5.985 * * [simplify]: iters left: 1 (17 enodes)
5.987 * * [simplify]: Extracting #0: cost 1 inf + 0
5.987 * * [simplify]: Extracting #1: cost 5 inf + 0
5.988 * * [simplify]: Extracting #2: cost 7 inf + 0
5.988 * * [simplify]: Extracting #3: cost 5 inf + 2
5.988 * * [simplify]: Extracting #4: cost 0 inf + 1370
5.988 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
5.988 * [simplify]: Simplified (2 2 1 1 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))) (*.p16 x.re x.re)) (*.p16 x.re x.re))))
5.988 * * * * [progress]: [ 11 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.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 x.re)) (*.p16 x.re x.re))))>
5.988 * [simplify]: Simplifying (+.p16 x.re x.im)
5.988 * * [simplify]: iters left: 1 (3 enodes)
5.989 * * [simplify]: Extracting #0: cost 1 inf + 0
5.989 * * [simplify]: Extracting #1: cost 3 inf + 0
5.989 * * [simplify]: Extracting #2: cost 1 inf + 2
5.989 * * [simplify]: Extracting #3: cost 0 inf + 44
5.989 * [simplify]: Simplified to (+.p16 x.im x.re)
5.989 * [simplify]: Simplified (2 2 1 1 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.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 x.re)) (*.p16 x.re x.re))))
5.989 * * * * [progress]: [ 12 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))>
5.989 * * * * [progress]: [ 13 / 16 ] 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))))>
5.989 * [simplify]: Simplifying (*.p16 x.re x.re)
5.989 * * [simplify]: iters left: 1 (2 enodes)
5.990 * * [simplify]: Extracting #0: cost 1 inf + 0
5.990 * * [simplify]: Extracting #1: cost 2 inf + 0
5.990 * * [simplify]: Extracting #2: cost 1 inf + 1
5.990 * * [simplify]: Extracting #3: cost 0 inf + 322
5.990 * [simplify]: Simplified to (*.p16 x.re x.re)
5.990 * [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))))
5.990 * * * * [progress]: [ 14 / 16 ] 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))))>
5.990 * [simplify]: Simplifying (*.p16 x.re x.re)
5.990 * * [simplify]: iters left: 1 (2 enodes)
5.990 * * [simplify]: Extracting #0: cost 1 inf + 0
5.990 * * [simplify]: Extracting #1: cost 2 inf + 0
5.990 * * [simplify]: Extracting #2: cost 1 inf + 1
5.990 * * [simplify]: Extracting #3: cost 0 inf + 322
5.990 * [simplify]: Simplified to (*.p16 x.re x.re)
5.991 * [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))))
5.991 * * * * [progress]: [ 15 / 16 ] 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))))>
5.991 * [simplify]: Simplifying (*.p16 x.re x.re)
5.991 * * [simplify]: iters left: 1 (2 enodes)
5.991 * * [simplify]: Extracting #0: cost 1 inf + 0
5.991 * * [simplify]: Extracting #1: cost 2 inf + 0
5.991 * * [simplify]: Extracting #2: cost 1 inf + 1
5.991 * * [simplify]: Extracting #3: cost 0 inf + 322
5.991 * [simplify]: Simplified to (*.p16 x.re x.re)
5.991 * [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))))
5.991 * * * * [progress]: [ 16 / 16 ] 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))))>
5.991 * [simplify]: Simplifying (*.p16 x.re x.re)
5.991 * * [simplify]: iters left: 1 (2 enodes)
5.992 * * [simplify]: Extracting #0: cost 1 inf + 0
5.992 * * [simplify]: Extracting #1: cost 2 inf + 0
5.992 * * [simplify]: Extracting #2: cost 1 inf + 1
5.992 * * [simplify]: Extracting #3: cost 0 inf + 322
5.992 * [simplify]: Simplified to (*.p16 x.re x.re)
5.992 * [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))))
5.992 * * * [progress]: adding candidates to table
6.198 * [progress]: [Phase 3 of 3] Extracting.
6.198 * * [regime]: Finding splitpoints for: (#<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.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 (*.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)))> #<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 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))))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) x.im) (*.p16 (*.p16 x.re x.re) x.im)))>)
6.199 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re)
6.199 * * * * [regimes]: Trying to branch on x.im from (#<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.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 (*.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)))> #<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 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))))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) x.im) (*.p16 (*.p16 x.re x.re) x.im)))>)
6.275 * * * * [regimes]: Trying to branch on x.re from (#<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.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 (*.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)))> #<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 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))))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) x.im) (*.p16 (*.p16 x.re x.re) x.im)))>)
6.386 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
6.386 * [simplify]: Simplifying (+.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))
6.387 * * [simplify]: iters left: 4 (11 enodes)
6.387 * * [simplify]: Extracting #0: cost 1 inf + 0
6.387 * * [simplify]: Extracting #1: cost 3 inf + 0
6.387 * * [simplify]: Extracting #2: cost 7 inf + 0
6.387 * * [simplify]: Extracting #3: cost 10 inf + 1
6.388 * * [simplify]: Extracting #4: cost 0 inf + 5420
6.388 * [simplify]: Simplified to (+.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))
6.388 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
6.428 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
6.430 * * * * [points]: Setting MPFR precision to 64
6.432 * * * * [points]: Setting MPFR precision to 320
6.434 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
6.436 * * * * [points]: Setting MPFR precision to 64
6.439 * * * * [points]: Setting MPFR precision to 320
6.443 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
6.445 * * * * [points]: Setting MPFR precision to 64
6.451 * * * * [points]: Setting MPFR precision to 320
6.457 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
6.458 * * * * [points]: Setting MPFR precision to 64
6.465 * * * * [points]: Setting MPFR precision to 320
6.473 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
6.475 * * * * [points]: Setting MPFR precision to 64
6.498 * * * * [points]: Setting MPFR precision to 320
6.522 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
6.524 * * * * [points]: Setting MPFR precision to 64
6.570 * * * * [points]: Setting MPFR precision to 320
6.654 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
6.657 * * * * [points]: Setting MPFR precision to 64
6.731 * * * * [points]: Setting MPFR precision to 320
6.857 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
6.860 * * * * [points]: Setting MPFR precision to 64
7.119 * * * * [points]: Setting MPFR precision to 320
7.387 * * * * [points]: Computing exacts for 8000 points
7.390 * * * * [points]: Setting MPFR precision to 64
8.039 * * * * [points]: Setting MPFR precision to 320
8.768 * * * * [points]: Filtering points with unrepresentable outputs
9.063 * * * * [points]: Sampled 8000 points with exact outputs
10.282 * [regime-testing]: Baseline error score: 64.0
10.286 * [regime-testing]: Oracle error score: 64.0
10.293 * [regime-testing]: End program error score: 0.3575999421058883