1552123048.705 * [progress]: [Phase 1 of 3] Setting up.
1552123048.705 * * * [progress]: [1/2] Preparing points
1552123048.705 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1552123048.707 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1552123048.709 * * * * [points]: Setting MPFR precision to 64
1552123048.711 * * * * [points]: Setting MPFR precision to 320
1552123048.713 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1552123048.715 * * * * [points]: Setting MPFR precision to 64
1552123048.718 * * * * [points]: Setting MPFR precision to 320
1552123048.723 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1552123048.725 * * * * [points]: Setting MPFR precision to 64
1552123048.731 * * * * [points]: Setting MPFR precision to 320
1552123048.738 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1552123048.740 * * * * [points]: Setting MPFR precision to 64
1552123048.750 * * * * [points]: Setting MPFR precision to 320
1552123048.763 * * * * [points]: Computing exacts for 256 points
1552123048.765 * * * * [points]: Setting MPFR precision to 64
1552123048.798 * * * * [points]: Setting MPFR precision to 320
1552123048.819 * * * * [points]: Filtering points with unrepresentable outputs
1552123048.833 * * * * [points]: Sampled 256 points with exact outputs
1552123048.833 * * * [progress]: [2/2] Setting up program.
1552123048.848 * [progress]: [Phase 2 of 3] Improving.
1552123048.848 * * * * [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)))>
1552123048.849 * [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))
1552123048.849 * * [simplify]: iters left: 4 (11 enodes)
1552123048.851 * * [simplify]: iters left: 3 (29 enodes)
1552123048.856 * * [simplify]: iters left: 2 (80 enodes)
1552123048.873 * * [simplify]: iters left: 1 (221 enodes)
1552123048.959 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123048.959 * * [simplify]: Extracting #1: cost 13 inf + 0
1552123048.959 * * [simplify]: Extracting #2: cost 84 inf + 1
1552123048.960 * * [simplify]: Extracting #3: cost 260 inf + 1931
1552123048.962 * * [simplify]: Extracting #4: cost 234 inf + 56565
1552123048.971 * * [simplify]: Extracting #5: cost 79 inf + 287232
1552123048.985 * * [simplify]: Extracting #6: cost 2 inf + 414836
1552123049.001 * * [simplify]: Extracting #7: cost 0 inf + 420160
1552123049.016 * [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))))
1552123049.016 * [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)))))
1552123049.050 * * [progress]: iteration 1 / 4
1552123049.050 * * * [progress]: picking best candidate
1552123049.080 * * * * [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)))>
1552123049.080 * * * [progress]: localizing error
1552123049.367 * * * [progress]: generating rewritten candidates
1552123049.367 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1552123049.368 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1552123049.371 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1552123049.372 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1552123049.374 * * * [progress]: generating series expansions
1552123049.374 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1552123049.374 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1552123049.374 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1552123049.374 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1552123049.374 * * * [progress]: simplifying candidates
1552123049.374 * * * * [progress]: [ 1 / 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)))>
1552123049.374 * [simplify]: Simplifying (+.p16 x.re x.im)
1552123049.374 * * [simplify]: iters left: 1 (3 enodes)
1552123049.375 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123049.375 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123049.375 * * [simplify]: Extracting #2: cost 1 inf + 2
1552123049.375 * * [simplify]: Extracting #3: cost 0 inf + 44
1552123049.375 * [simplify]: Simplified to (+.p16 x.im x.re)
1552123049.375 * [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)))
1552123049.375 * [simplify]: Simplifying (-.p16 x.re x.im)
1552123049.375 * * [simplify]: iters left: 1 (3 enodes)
1552123049.376 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123049.376 * * [simplify]: Extracting #1: cost 6 inf + 0
1552123049.376 * * [simplify]: Extracting #2: cost 5 inf + 44
1552123049.376 * * [simplify]: Extracting #3: cost 0 inf + 1571
1552123049.376 * [simplify]: Simplified to (-.p16 x.re x.im)
1552123049.376 * [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)))
1552123049.376 * * * * [progress]: [ 2 / 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)))>
1552123049.376 * * * * [progress]: [ 3 / 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)))>
1552123049.376 * * * * [progress]: [ 4 / 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)))>
1552123049.376 * * * * [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)))>
1552123049.377 * [simplify]: Simplifying (+.p16 x.re x.im)
1552123049.377 * * [simplify]: iters left: 1 (3 enodes)
1552123049.377 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123049.377 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123049.377 * * [simplify]: Extracting #2: cost 1 inf + 2
1552123049.377 * * [simplify]: Extracting #3: cost 0 inf + 44
1552123049.377 * [simplify]: Simplified to (+.p16 x.im x.re)
1552123049.377 * [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)))
1552123049.377 * * * * [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)))>
1552123049.378 * [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)
1552123049.378 * * [simplify]: iters left: 4 (8 enodes)
1552123049.379 * * [simplify]: iters left: 3 (31 enodes)
1552123049.385 * * [simplify]: iters left: 2 (85 enodes)
1552123049.404 * * [simplify]: iters left: 1 (279 enodes)
1552123049.563 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123049.563 * * [simplify]: Extracting #1: cost 69 inf + 0
1552123049.564 * * [simplify]: Extracting #2: cost 323 inf + 1
1552123049.567 * * [simplify]: Extracting #3: cost 341 inf + 60114
1552123049.586 * * [simplify]: Extracting #4: cost 127 inf + 505558
1552123049.616 * * [simplify]: Extracting #5: cost 4 inf + 763673
1552123049.648 * * [simplify]: Extracting #6: cost 0 inf + 776441
1552123049.682 * [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)
1552123049.682 * [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)))
1552123049.683 * * * * [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)))>
1552123049.683 * * * * [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)))))>
1552123049.683 * * * * [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)))>
1552123049.683 * [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))
1552123049.683 * * [simplify]: iters left: 4 (11 enodes)
1552123049.685 * * [simplify]: iters left: 3 (29 enodes)
1552123049.690 * * [simplify]: iters left: 2 (80 enodes)
1552123049.707 * * [simplify]: iters left: 1 (221 enodes)
1552123049.782 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123049.782 * * [simplify]: Extracting #1: cost 13 inf + 0
1552123049.782 * * [simplify]: Extracting #2: cost 84 inf + 1
1552123049.783 * * [simplify]: Extracting #3: cost 260 inf + 1931
1552123049.785 * * [simplify]: Extracting #4: cost 234 inf + 56565
1552123049.793 * * [simplify]: Extracting #5: cost 79 inf + 287232
1552123049.811 * * [simplify]: Extracting #6: cost 2 inf + 414836
1552123049.826 * * [simplify]: Extracting #7: cost 0 inf + 420160
1552123049.848 * [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))))
1552123049.848 * [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)))))
1552123049.849 * * * * [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)))>
1552123049.849 * [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))
1552123049.849 * * [simplify]: iters left: 4 (11 enodes)
1552123049.854 * * [simplify]: iters left: 3 (29 enodes)
1552123049.865 * * [simplify]: iters left: 2 (80 enodes)
1552123049.899 * * [simplify]: iters left: 1 (221 enodes)
1552123049.978 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123049.978 * * [simplify]: Extracting #1: cost 13 inf + 0
1552123049.978 * * [simplify]: Extracting #2: cost 84 inf + 1
1552123049.979 * * [simplify]: Extracting #3: cost 260 inf + 1931
1552123049.981 * * [simplify]: Extracting #4: cost 234 inf + 56565
1552123049.989 * * [simplify]: Extracting #5: cost 79 inf + 287232
1552123050.004 * * [simplify]: Extracting #6: cost 2 inf + 414836
1552123050.019 * * [simplify]: Extracting #7: cost 0 inf + 420160
1552123050.034 * [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))))
1552123050.034 * [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)))))
1552123050.034 * * * * [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)))>
1552123050.034 * [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))
1552123050.034 * * [simplify]: iters left: 4 (11 enodes)
1552123050.036 * * [simplify]: iters left: 3 (29 enodes)
1552123050.042 * * [simplify]: iters left: 2 (80 enodes)
1552123050.060 * * [simplify]: iters left: 1 (221 enodes)
1552123050.135 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123050.135 * * [simplify]: Extracting #1: cost 13 inf + 0
1552123050.135 * * [simplify]: Extracting #2: cost 84 inf + 1
1552123050.135 * * [simplify]: Extracting #3: cost 260 inf + 1931
1552123050.138 * * [simplify]: Extracting #4: cost 234 inf + 56565
1552123050.146 * * [simplify]: Extracting #5: cost 79 inf + 287232
1552123050.160 * * [simplify]: Extracting #6: cost 2 inf + 414836
1552123050.178 * * [simplify]: Extracting #7: cost 0 inf + 420160
1552123050.193 * [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))))
1552123050.193 * [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)))))
1552123050.193 * * * * [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)))>
1552123050.193 * [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))
1552123050.193 * * [simplify]: iters left: 4 (11 enodes)
1552123050.198 * * [simplify]: iters left: 3 (29 enodes)
1552123050.209 * * [simplify]: iters left: 2 (80 enodes)
1552123050.234 * * [simplify]: iters left: 1 (221 enodes)
1552123050.321 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123050.321 * * [simplify]: Extracting #1: cost 13 inf + 0
1552123050.321 * * [simplify]: Extracting #2: cost 84 inf + 1
1552123050.322 * * [simplify]: Extracting #3: cost 260 inf + 1931
1552123050.324 * * [simplify]: Extracting #4: cost 234 inf + 56565
1552123050.336 * * [simplify]: Extracting #5: cost 79 inf + 287232
1552123050.351 * * [simplify]: Extracting #6: cost 2 inf + 414836
1552123050.365 * * [simplify]: Extracting #7: cost 0 inf + 420160
1552123050.380 * [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))))
1552123050.380 * [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)))))
1552123050.381 * * * [progress]: adding candidates to table
1552123050.761 * * [progress]: iteration 2 / 4
1552123050.762 * * * [progress]: picking best candidate
1552123050.825 * * * * [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)))>
1552123050.825 * * * [progress]: localizing error
1552123050.974 * * * [progress]: generating rewritten candidates
1552123050.974 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1552123050.977 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1552123050.979 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1552123050.982 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1552123050.983 * * * [progress]: generating series expansions
1552123050.983 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1552123050.983 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1552123050.983 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1552123050.983 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1552123050.983 * * * [progress]: simplifying candidates
1552123050.983 * * * * [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))))>
1552123050.983 * * * * [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)))))>
1552123050.983 * * * * [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)))>
1552123050.983 * * * * [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)))>
1552123050.983 * [simplify]: Simplifying (+.p16 x.re x.im)
1552123050.983 * * [simplify]: iters left: 1 (3 enodes)
1552123050.984 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123050.984 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123050.984 * * [simplify]: Extracting #2: cost 1 inf + 2
1552123050.984 * * [simplify]: Extracting #3: cost 0 inf + 44
1552123050.984 * [simplify]: Simplified to (+.p16 x.im x.re)
1552123050.984 * [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)))
1552123050.984 * * * * [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)))>
1552123050.984 * * * * [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)))>
1552123050.984 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im)
1552123050.985 * * [simplify]: iters left: 3 (6 enodes)
1552123050.986 * * [simplify]: iters left: 2 (21 enodes)
1552123050.989 * * [simplify]: iters left: 1 (58 enodes)
1552123051.001 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123051.001 * * [simplify]: Extracting #1: cost 19 inf + 0
1552123051.002 * * [simplify]: Extracting #2: cost 57 inf + 1
1552123051.002 * * [simplify]: Extracting #3: cost 56 inf + 2810
1552123051.003 * * [simplify]: Extracting #4: cost 40 inf + 27662
1552123051.004 * * [simplify]: Extracting #5: cost 1 inf + 68925
1552123051.006 * * [simplify]: Extracting #6: cost 0 inf + 71247
1552123051.008 * [simplify]: Simplified to (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))
1552123051.008 * [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)))
1552123051.008 * * * * [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)))>
1552123051.009 * * * * [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)))>
1552123051.009 * [simplify]: Simplifying (+.p16 x.re x.im)
1552123051.009 * * [simplify]: iters left: 1 (3 enodes)
1552123051.009 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123051.009 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123051.009 * * [simplify]: Extracting #2: cost 1 inf + 2
1552123051.009 * * [simplify]: Extracting #3: cost 0 inf + 44
1552123051.009 * [simplify]: Simplified to (+.p16 x.im x.re)
1552123051.010 * [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)))
1552123051.010 * * * * [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)))>
1552123051.010 * [simplify]: Simplifying (+.p16 x.re x.im)
1552123051.010 * * [simplify]: iters left: 1 (3 enodes)
1552123051.010 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123051.010 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123051.010 * * [simplify]: Extracting #2: cost 1 inf + 2
1552123051.010 * * [simplify]: Extracting #3: cost 0 inf + 44
1552123051.010 * [simplify]: Simplified to (+.p16 x.im x.re)
1552123051.010 * [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)))
1552123051.011 * * * * [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)))>
1552123051.011 * [simplify]: Simplifying (+.p16 x.re x.im)
1552123051.011 * * [simplify]: iters left: 1 (3 enodes)
1552123051.011 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123051.011 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123051.011 * * [simplify]: Extracting #2: cost 1 inf + 2
1552123051.011 * * [simplify]: Extracting #3: cost 0 inf + 44
1552123051.011 * [simplify]: Simplified to (+.p16 x.im x.re)
1552123051.011 * [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)))
1552123051.011 * * * * [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)))>
1552123051.012 * [simplify]: Simplifying (+.p16 x.re x.im)
1552123051.012 * * [simplify]: iters left: 1 (3 enodes)
1552123051.012 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123051.012 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123051.012 * * [simplify]: Extracting #2: cost 1 inf + 2
1552123051.012 * * [simplify]: Extracting #3: cost 0 inf + 44
1552123051.012 * [simplify]: Simplified to (+.p16 x.im x.re)
1552123051.012 * [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)))
1552123051.012 * * * [progress]: adding candidates to table
1552123051.315 * * [progress]: iteration 3 / 4
1552123051.315 * * * [progress]: picking best candidate
1552123051.361 * * * * [pick]: Picked  #<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)))>
1552123051.361 * * * [progress]: localizing error
1552123051.450 * * * [progress]: generating rewritten candidates
1552123051.451 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1552123051.454 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1552123051.457 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1552123051.458 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
1552123051.460 * * * [progress]: generating series expansions
1552123051.460 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1552123051.460 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1552123051.460 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1552123051.460 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1552123051.460 * * * [progress]: simplifying candidates
1552123051.460 * * * * [progress]: [ 1 / 10 ] 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.im) (-.p16 x.re x.im)) x.im)))>
1552123051.460 * * * * [progress]: [ 2 / 10 ] 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)))>
1552123051.461 * [simplify]: Simplifying (+.p16 x.re x.im)
1552123051.461 * * [simplify]: iters left: 1 (3 enodes)
1552123051.461 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123051.461 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123051.461 * * [simplify]: Extracting #2: cost 1 inf + 2
1552123051.461 * * [simplify]: Extracting #3: cost 0 inf + 44
1552123051.461 * [simplify]: Simplified to (+.p16 x.im x.re)
1552123051.461 * [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)))
1552123051.462 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.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)))>
1552123051.462 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im)
1552123051.462 * * [simplify]: iters left: 4 (8 enodes)
1552123051.464 * * [simplify]: iters left: 3 (26 enodes)
1552123051.468 * * [simplify]: iters left: 2 (77 enodes)
1552123051.488 * * [simplify]: iters left: 1 (298 enodes)
1552123051.685 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123051.685 * * [simplify]: Extracting #1: cost 59 inf + 0
1552123051.685 * * [simplify]: Extracting #2: cost 289 inf + 1
1552123051.691 * * [simplify]: Extracting #3: cost 343 inf + 39496
1552123051.700 * * [simplify]: Extracting #4: cost 150 inf + 290379
1552123051.718 * * [simplify]: Extracting #5: cost 43 inf + 492829
1552123051.759 * * [simplify]: Extracting #6: cost 3 inf + 557843
1552123051.800 * * [simplify]: Extracting #7: cost 0 inf + 567009
1552123051.824 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 x.re x.im) x.im) (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re)))
1552123051.824 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (+.p16 (/.p16 (*.p16 (*.p16 (-.p16 x.re x.im) x.im) (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re))) (+.p16 x.re x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
1552123051.824 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552123051.824 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 x.re (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)))))>
1552123051.824 * * * * [progress]: [ 6 / 10 ] 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.im x.re) (*.p16 x.re x.im)) x.re)))>
1552123051.824 * * * * [progress]: [ 7 / 10 ] 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)))>
1552123051.824 * [simplify]: Simplifying (+.p16 x.re x.im)
1552123051.824 * * [simplify]: iters left: 1 (3 enodes)
1552123051.825 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123051.825 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123051.825 * * [simplify]: Extracting #2: cost 1 inf + 2
1552123051.825 * * [simplify]: Extracting #3: cost 0 inf + 44
1552123051.825 * [simplify]: Simplified to (+.p16 x.im x.re)
1552123051.825 * [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)))
1552123051.825 * [simplify]: Simplifying (-.p16 x.re x.im)
1552123051.825 * * [simplify]: iters left: 1 (3 enodes)
1552123051.826 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123051.826 * * [simplify]: Extracting #1: cost 6 inf + 0
1552123051.826 * * [simplify]: Extracting #2: cost 5 inf + 44
1552123051.826 * * [simplify]: Extracting #3: cost 0 inf + 1571
1552123051.826 * [simplify]: Simplified to (-.p16 x.re x.im)
1552123051.826 * [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)))
1552123051.826 * * * * [progress]: [ 8 / 10 ] 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)))>
1552123051.826 * [simplify]: Simplifying (+.p16 x.re x.im)
1552123051.826 * * [simplify]: iters left: 1 (3 enodes)
1552123051.827 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123051.827 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123051.827 * * [simplify]: Extracting #2: cost 1 inf + 2
1552123051.827 * * [simplify]: Extracting #3: cost 0 inf + 44
1552123051.827 * [simplify]: Simplified to (+.p16 x.im x.re)
1552123051.827 * [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)))
1552123051.827 * [simplify]: Simplifying (-.p16 x.re x.im)
1552123051.827 * * [simplify]: iters left: 1 (3 enodes)
1552123051.828 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123051.828 * * [simplify]: Extracting #1: cost 6 inf + 0
1552123051.828 * * [simplify]: Extracting #2: cost 5 inf + 44
1552123051.828 * * [simplify]: Extracting #3: cost 0 inf + 1571
1552123051.828 * [simplify]: Simplified to (-.p16 x.re x.im)
1552123051.828 * [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)))
1552123051.828 * * * * [progress]: [ 9 / 10 ] 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)))>
1552123051.828 * [simplify]: Simplifying (+.p16 x.re x.im)
1552123051.828 * * [simplify]: iters left: 1 (3 enodes)
1552123051.829 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123051.829 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123051.829 * * [simplify]: Extracting #2: cost 1 inf + 2
1552123051.829 * * [simplify]: Extracting #3: cost 0 inf + 44
1552123051.829 * [simplify]: Simplified to (+.p16 x.im x.re)
1552123051.829 * [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)))
1552123051.829 * [simplify]: Simplifying (-.p16 x.re x.im)
1552123051.829 * * [simplify]: iters left: 1 (3 enodes)
1552123051.830 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123051.830 * * [simplify]: Extracting #1: cost 6 inf + 0
1552123051.830 * * [simplify]: Extracting #2: cost 5 inf + 44
1552123051.830 * * [simplify]: Extracting #3: cost 0 inf + 1571
1552123051.830 * [simplify]: Simplified to (-.p16 x.re x.im)
1552123051.830 * [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)))
1552123051.830 * * * * [progress]: [ 10 / 10 ] 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)))>
1552123051.830 * [simplify]: Simplifying (+.p16 x.re x.im)
1552123051.830 * * [simplify]: iters left: 1 (3 enodes)
1552123051.831 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123051.831 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123051.831 * * [simplify]: Extracting #2: cost 1 inf + 2
1552123051.831 * * [simplify]: Extracting #3: cost 0 inf + 44
1552123051.831 * [simplify]: Simplified to (+.p16 x.im x.re)
1552123051.831 * [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)))
1552123051.831 * [simplify]: Simplifying (-.p16 x.re x.im)
1552123051.831 * * [simplify]: iters left: 1 (3 enodes)
1552123051.832 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123051.832 * * [simplify]: Extracting #1: cost 6 inf + 0
1552123051.832 * * [simplify]: Extracting #2: cost 5 inf + 44
1552123051.832 * * [simplify]: Extracting #3: cost 0 inf + 1571
1552123051.832 * [simplify]: Simplified to (-.p16 x.re x.im)
1552123051.832 * [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)))
1552123051.832 * * * [progress]: adding candidates to table
1552123052.071 * * [progress]: iteration 4 / 4
1552123052.072 * * * [progress]: picking best candidate
1552123052.111 * * * * [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)))))>
1552123052.111 * * * [progress]: localizing error
1552123052.283 * * * [progress]: generating rewritten candidates
1552123052.284 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1552123052.287 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1552123052.288 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1552123052.290 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1552123052.291 * * * [progress]: generating series expansions
1552123052.291 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1552123052.291 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1552123052.291 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1552123052.291 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1552123052.291 * * * [progress]: simplifying candidates
1552123052.291 * * * * [progress]: [ 1 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))>
1552123052.292 * [simplify]: Simplifying (*.p16 x.re x.re)
1552123052.292 * * [simplify]: iters left: 1 (2 enodes)
1552123052.292 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123052.292 * * [simplify]: Extracting #1: cost 2 inf + 0
1552123052.292 * * [simplify]: Extracting #2: cost 1 inf + 1
1552123052.292 * * [simplify]: Extracting #3: cost 0 inf + 322
1552123052.292 * [simplify]: Simplified to (*.p16 x.re x.re)
1552123052.292 * [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))))
1552123052.292 * * * * [progress]: [ 2 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))>
1552123052.292 * [simplify]: Simplifying (*.p16 x.re x.re)
1552123052.292 * * [simplify]: iters left: 1 (2 enodes)
1552123052.293 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123052.293 * * [simplify]: Extracting #1: cost 2 inf + 0
1552123052.293 * * [simplify]: Extracting #2: cost 1 inf + 1
1552123052.293 * * [simplify]: Extracting #3: cost 0 inf + 322
1552123052.293 * [simplify]: Simplified to (*.p16 x.re x.re)
1552123052.293 * [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))))
1552123052.293 * * * * [progress]: [ 3 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (+.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 x.re (+.p16 x.re x.re))))))>
1552123052.293 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
1552123052.293 * * [simplify]: iters left: 2 (4 enodes)
1552123052.294 * * [simplify]: iters left: 1 (10 enodes)
1552123052.295 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123052.295 * * [simplify]: Extracting #1: cost 6 inf + 0
1552123052.295 * * [simplify]: Extracting #2: cost 6 inf + 1
1552123052.295 * * [simplify]: Extracting #3: cost 4 inf + 323
1552123052.295 * * [simplify]: Extracting #4: cost 0 inf + 1371
1552123052.296 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
1552123052.296 * [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))))))
1552123052.296 * * * * [progress]: [ 4 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))>
1552123052.296 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
1552123052.296 * * [simplify]: iters left: 2 (4 enodes)
1552123052.297 * * [simplify]: iters left: 1 (15 enodes)
1552123052.299 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123052.299 * * [simplify]: Extracting #1: cost 5 inf + 0
1552123052.299 * * [simplify]: Extracting #2: cost 5 inf + 1
1552123052.299 * * [simplify]: Extracting #3: cost 0 inf + 1049
1552123052.299 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
1552123052.299 * [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))))))
1552123052.299 * * * * [progress]: [ 5 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))))>
1552123052.299 * * * * [progress]: [ 6 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
1552123052.299 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
1552123052.300 * * [simplify]: iters left: 3 (5 enodes)
1552123052.301 * * [simplify]: iters left: 2 (15 enodes)
1552123052.303 * * [simplify]: iters left: 1 (29 enodes)
1552123052.307 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123052.307 * * [simplify]: Extracting #1: cost 10 inf + 0
1552123052.307 * * [simplify]: Extracting #2: cost 5 inf + 725
1552123052.308 * * [simplify]: Extracting #3: cost 0 inf + 2774
1552123052.308 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
1552123052.308 * [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)))
1552123052.308 * * * * [progress]: [ 7 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))>
1552123052.308 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)
1552123052.308 * * [simplify]: iters left: 3 (5 enodes)
1552123052.309 * * [simplify]: iters left: 2 (15 enodes)
1552123052.311 * * [simplify]: iters left: 1 (25 enodes)
1552123052.315 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123052.315 * * [simplify]: Extracting #1: cost 10 inf + 0
1552123052.315 * * [simplify]: Extracting #2: cost 7 inf + 43
1552123052.316 * * [simplify]: Extracting #3: cost 3 inf + 1089
1552123052.316 * * [simplify]: Extracting #4: cost 0 inf + 2774
1552123052.316 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))
1552123052.316 * [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))))
1552123052.316 * * * * [progress]: [ 8 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))) x.im))>
1552123052.316 * * * * [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)))))>
1552123052.316 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
1552123052.316 * * [simplify]: iters left: 2 (5 enodes)
1552123052.317 * * [simplify]: iters left: 1 (11 enodes)
1552123052.319 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123052.319 * * [simplify]: Extracting #1: cost 7 inf + 0
1552123052.319 * * [simplify]: Extracting #2: cost 9 inf + 0
1552123052.319 * * [simplify]: Extracting #3: cost 7 inf + 2
1552123052.319 * * [simplify]: Extracting #4: cost 0 inf + 2173
1552123052.319 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
1552123052.319 * [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)))))
1552123052.319 * * * * [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)))))>
1552123052.319 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
1552123052.319 * * [simplify]: iters left: 2 (5 enodes)
1552123052.320 * * [simplify]: iters left: 1 (17 enodes)
1552123052.323 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123052.323 * * [simplify]: Extracting #1: cost 5 inf + 0
1552123052.323 * * [simplify]: Extracting #2: cost 7 inf + 0
1552123052.323 * * [simplify]: Extracting #3: cost 5 inf + 2
1552123052.323 * * [simplify]: Extracting #4: cost 0 inf + 1370
1552123052.323 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
1552123052.323 * [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)))))
1552123052.323 * * * * [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)))))>
1552123052.324 * [simplify]: Simplifying (+.p16 x.re x.im)
1552123052.324 * * [simplify]: iters left: 1 (3 enodes)
1552123052.324 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123052.324 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123052.324 * * [simplify]: Extracting #2: cost 1 inf + 2
1552123052.324 * * [simplify]: Extracting #3: cost 0 inf + 44
1552123052.324 * [simplify]: Simplified to (+.p16 x.im x.re)
1552123052.324 * [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)))))
1552123052.324 * * * * [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)))))>
1552123052.324 * * * * [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)))))>
1552123052.325 * [simplify]: Simplifying (*.p16 x.re x.re)
1552123052.325 * * [simplify]: iters left: 1 (2 enodes)
1552123052.325 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123052.325 * * [simplify]: Extracting #1: cost 2 inf + 0
1552123052.325 * * [simplify]: Extracting #2: cost 1 inf + 1
1552123052.325 * * [simplify]: Extracting #3: cost 0 inf + 322
1552123052.325 * [simplify]: Simplified to (*.p16 x.re x.re)
1552123052.325 * [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)))))
1552123052.325 * * * * [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)))))>
1552123052.325 * [simplify]: Simplifying (*.p16 x.re x.re)
1552123052.325 * * [simplify]: iters left: 1 (2 enodes)
1552123052.326 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123052.326 * * [simplify]: Extracting #1: cost 2 inf + 0
1552123052.326 * * [simplify]: Extracting #2: cost 1 inf + 1
1552123052.326 * * [simplify]: Extracting #3: cost 0 inf + 322
1552123052.326 * [simplify]: Simplified to (*.p16 x.re x.re)
1552123052.326 * [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)))))
1552123052.326 * * * * [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))))>
1552123052.326 * * * * [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)))))>
1552123052.326 * [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))))
1552123052.326 * * [simplify]: iters left: 4 (9 enodes)
1552123052.328 * * [simplify]: iters left: 3 (31 enodes)
1552123052.334 * * [simplify]: iters left: 2 (81 enodes)
1552123052.359 * * [simplify]: iters left: 1 (313 enodes)
1552123052.658 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123052.659 * * [simplify]: Extracting #1: cost 25 inf + 0
1552123052.659 * * [simplify]: Extracting #2: cost 146 inf + 1
1552123052.660 * * [simplify]: Extracting #3: cost 271 inf + 9598
1552123052.670 * * [simplify]: Extracting #4: cost 160 inf + 145347
1552123052.684 * * [simplify]: Extracting #5: cost 29 inf + 293341
1552123052.699 * * [simplify]: Extracting #6: cost 2 inf + 329705
1552123052.714 * * [simplify]: Extracting #7: cost 0 inf + 334429
1552123052.730 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1552123052.730 * [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))
1552123052.730 * * * * [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)))))>
1552123052.730 * [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))))
1552123052.730 * * [simplify]: iters left: 4 (9 enodes)
1552123052.732 * * [simplify]: iters left: 3 (31 enodes)
1552123052.740 * * [simplify]: iters left: 2 (81 enodes)
1552123052.762 * * [simplify]: iters left: 1 (313 enodes)
1552123053.117 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123053.117 * * [simplify]: Extracting #1: cost 25 inf + 0
1552123053.118 * * [simplify]: Extracting #2: cost 146 inf + 1
1552123053.120 * * [simplify]: Extracting #3: cost 271 inf + 9598
1552123053.133 * * [simplify]: Extracting #4: cost 160 inf + 145347
1552123053.161 * * [simplify]: Extracting #5: cost 29 inf + 293341
1552123053.191 * * [simplify]: Extracting #6: cost 2 inf + 329705
1552123053.214 * * [simplify]: Extracting #7: cost 0 inf + 334429
1552123053.231 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1552123053.231 * [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))
1552123053.231 * * * * [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)))))>
1552123053.231 * [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))))
1552123053.232 * * [simplify]: iters left: 4 (9 enodes)
1552123053.234 * * [simplify]: iters left: 3 (31 enodes)
1552123053.245 * * [simplify]: iters left: 2 (81 enodes)
1552123053.287 * * [simplify]: iters left: 1 (313 enodes)
1552123054.009 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123054.009 * * [simplify]: Extracting #1: cost 25 inf + 0
1552123054.009 * * [simplify]: Extracting #2: cost 146 inf + 1
1552123054.011 * * [simplify]: Extracting #3: cost 271 inf + 9598
1552123054.017 * * [simplify]: Extracting #4: cost 160 inf + 145347
1552123054.030 * * [simplify]: Extracting #5: cost 29 inf + 293341
1552123054.059 * * [simplify]: Extracting #6: cost 2 inf + 329705
1552123054.090 * * [simplify]: Extracting #7: cost 0 inf + 334429
1552123054.121 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1552123054.121 * [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))
1552123054.121 * * * * [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)))))>
1552123054.122 * [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))))
1552123054.122 * * [simplify]: iters left: 4 (9 enodes)
1552123054.124 * * [simplify]: iters left: 3 (31 enodes)
1552123054.130 * * [simplify]: iters left: 2 (81 enodes)
1552123054.156 * * [simplify]: iters left: 1 (313 enodes)
1552123054.518 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123054.518 * * [simplify]: Extracting #1: cost 25 inf + 0
1552123054.519 * * [simplify]: Extracting #2: cost 146 inf + 1
1552123054.521 * * [simplify]: Extracting #3: cost 271 inf + 9598
1552123054.534 * * [simplify]: Extracting #4: cost 160 inf + 145347
1552123054.560 * * [simplify]: Extracting #5: cost 29 inf + 293341
1552123054.591 * * [simplify]: Extracting #6: cost 2 inf + 329705
1552123054.626 * * [simplify]: Extracting #7: cost 0 inf + 334429
1552123054.657 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1552123054.657 * [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))
1552123054.658 * * * [progress]: adding candidates to table
1552123055.508 * [progress]: [Phase 3 of 3] Extracting.
1552123055.508 * * [regime]: Finding splitpoints for: (#<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 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 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re 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 x.re x.im) x.im) (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re))) (+.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 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))))>)
1552123055.509 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re)
1552123055.509 * * * * [regimes]: Trying to branch on x.im from (#<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 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 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re 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 x.re x.im) x.im) (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re))) (+.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 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))))>)
1552123055.735 * * * * [regimes]: Trying to branch on x.re from (#<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 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 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re 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 x.re x.im) x.im) (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re))) (+.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 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))))>)
1552123055.967 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
1552123055.967 * [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))
1552123055.967 * * [simplify]: iters left: 4 (11 enodes)
1552123055.967 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123055.967 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123055.967 * * [simplify]: Extracting #2: cost 7 inf + 0
1552123055.967 * * [simplify]: Extracting #3: cost 10 inf + 1
1552123055.968 * * [simplify]: Extracting #4: cost 0 inf + 5420
1552123055.968 * [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))
1552123055.968 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1552123055.990 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1552123055.992 * * * * [points]: Setting MPFR precision to 64
1552123055.993 * * * * [points]: Setting MPFR precision to 320
1552123055.994 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1552123055.995 * * * * [points]: Setting MPFR precision to 64
1552123055.997 * * * * [points]: Setting MPFR precision to 320
1552123056.000 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1552123056.001 * * * * [points]: Setting MPFR precision to 64
1552123056.005 * * * * [points]: Setting MPFR precision to 320
1552123056.021 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1552123056.022 * * * * [points]: Setting MPFR precision to 64
1552123056.033 * * * * [points]: Setting MPFR precision to 320
1552123056.043 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1552123056.044 * * * * [points]: Setting MPFR precision to 64
1552123056.059 * * * * [points]: Setting MPFR precision to 320
1552123056.079 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1552123056.080 * * * * [points]: Setting MPFR precision to 64
1552123056.109 * * * * [points]: Setting MPFR precision to 320
1552123056.148 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1552123056.174 * * * * [points]: Setting MPFR precision to 64
1552123056.248 * * * * [points]: Setting MPFR precision to 320
1552123056.445 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1552123056.448 * * * * [points]: Setting MPFR precision to 64
1552123056.706 * * * * [points]: Setting MPFR precision to 320
1552123057.027 * * * * [points]: Computing exacts for 8000 points
1552123057.029 * * * * [points]: Setting MPFR precision to 64
1552123058.081 * * * * [points]: Setting MPFR precision to 320
1552123059.450 * * * * [points]: Filtering points with unrepresentable outputs
1552123059.933 * * * * [points]: Sampled 8000 points with exact outputs
1552123061.635 * [regime-testing]: Baseline error score: 64.0
1552123061.637 * [regime-testing]: Oracle error score: 64.0
1552123061.641 * [regime-testing]: End program error score: 0.35359676379589666