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.005 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.007 * * * * [points]: Setting MPFR precision to 64
0.009 * * * * [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.016 * * * * [points]: Setting MPFR precision to 320
0.019 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.021 * * * * [points]: Setting MPFR precision to 64
0.026 * * * * [points]: Setting MPFR precision to 320
0.032 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.034 * * * * [points]: Setting MPFR precision to 64
0.043 * * * * [points]: Setting MPFR precision to 320
0.053 * * * * [points]: Computing exacts for 256 points
0.055 * * * * [points]: Setting MPFR precision to 64
0.098 * * * * [points]: Setting MPFR precision to 320
0.126 * * * * [points]: Filtering points with unrepresentable outputs
0.128 * * * * [points]: Sampled 256 points with exact outputs
0.128 * * * [progress]: [2/2] Setting up program.
0.138 * [progress]: [Phase 2 of 3] Improving.
0.138 * * * * [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.138 * [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.139 * * [simplify]: iteration 1: (11 enodes)
0.144 * * [simplify]: iteration 2: (29 enodes)
0.153 * * [simplify]: iteration 3: (80 enodes)
0.170 * * [simplify]: iteration 4: (221 enodes)
0.281 * * [simplify]: iteration 5: (974 enodes)
3.124 * * [simplify]: Extracting #0: cost 1 inf + 0
3.124 * * [simplify]: Extracting #1: cost 27 inf + 0
3.125 * * [simplify]: Extracting #2: cost 359 inf + 1
3.131 * * [simplify]: Extracting #3: cost 1674 inf + 28746
3.196 * * [simplify]: Extracting #4: cost 1403 inf + 827798
3.381 * * [simplify]: Extracting #5: cost 241 inf + 2983069
3.581 * * [simplify]: Extracting #6: cost 14 inf + 3434030
3.794 * * [simplify]: Extracting #7: cost 0 inf + 3472746
4.002 * [simplify]: Simplified to (*.p16 x.im (+.p16 (+.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re)))
4.020 * * [progress]: iteration 1 / 4
4.020 * * * [progress]: picking best candidate
4.029 * * * * [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)))>
4.030 * * * [progress]: localizing error
4.242 * * * [progress]: generating rewritten candidates
4.242 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
4.254 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
4.257 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
4.259 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
4.263 * * * [progress]: generating series expansions
4.263 * * * * [progress]: [ 1 / 4 ] generating series at (2)
4.263 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
4.263 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
4.263 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
4.263 * * * [progress]: simplifying candidates
4.263 * * * * [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.re) (*.p16 x.im x.im)) x.im)))>
4.263 * * * * [progress]: [ 2 / 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)))>
4.263 * * * * [progress]: [ 3 / 10 ] 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)))>
4.263 * * * * [progress]: [ 4 / 10 ] 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)))>
4.263 * * * * [progress]: [ 5 / 10 ] 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)))))>
4.263 * * * * [progress]: [ 6 / 10 ] 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.im x.re) (*.p16 x.re x.im)) x.re)))>
4.263 * * * * [progress]: [ 7 / 10 ] 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)))>
4.263 * * * * [progress]: [ 8 / 10 ] 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)))>
4.263 * * * * [progress]: [ 9 / 10 ] 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)))>
4.263 * * * * [progress]: [ 10 / 10 ] 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)))>
4.264 * [simplify]: Simplifying (+.p16 x.re x.im), (-.p16 x.re x.im), (neg.p16 (*.p16 x.im x.im)), (-.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)), (+.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)), (+.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)), (+.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)), (+.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))
4.264 * * [simplify]: iteration 1: (18 enodes)
4.268 * * [simplify]: iteration 2: (50 enodes)
4.277 * * [simplify]: iteration 3: (136 enodes)
4.322 * * [simplify]: iteration 4: (597 enodes)
5.215 * * [simplify]: Extracting #0: cost 6 inf + 0
5.215 * * [simplify]: Extracting #1: cost 206 inf + 0
5.219 * * [simplify]: Extracting #2: cost 922 inf + 35225
5.264 * * [simplify]: Extracting #3: cost 841 inf + 645029
5.376 * * [simplify]: Extracting #4: cost 192 inf + 1849622
5.507 * * [simplify]: Extracting #5: cost 1 inf + 2262929
5.646 * * [simplify]: Extracting #6: cost 0 inf + 2266851
5.806 * [simplify]: Simplified to (+.p16 x.im x.re), (-.p16 x.re x.im), (neg.p16 (*.p16 x.im x.im)), (-.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.im x.im) (*.p16 x.re x.re)), (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))), (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))), (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))), (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))))
5.807 * * * [progress]: adding candidates to table
5.993 * * [progress]: iteration 2 / 4
5.993 * * * [progress]: picking best candidate
6.025 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))))>
6.025 * * * [progress]: localizing error
6.238 * * * [progress]: generating rewritten candidates
6.238 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
6.245 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
6.249 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
6.257 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
6.262 * * * [progress]: generating series expansions
6.262 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
6.262 * * * * [progress]: [ 2 / 4 ] generating series at (2)
6.262 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
6.262 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
6.263 * * * [progress]: simplifying candidates
6.263 * * * * [progress]: [ 1 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (-.p16 x.re x.im) x.re))))>
6.263 * * * * [progress]: [ 2 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 x.im (-.p16 x.re x.im))) (*.p16 x.re (-.p16 x.re x.im)))))>
6.263 * * * * [progress]: [ 3 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))))))>
6.263 * * * * [progress]: [ 4 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))))))>
6.263 * * * * [progress]: [ 5 / 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)))))>
6.263 * * * * [progress]: [ 6 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))) (*.p16 x.im (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))))>
6.263 * * * * [progress]: [ 7 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im) (*.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) x.im)))>
6.263 * * * * [progress]: [ 8 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))) x.im))>
6.263 * * * * [progress]: [ 9 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (+.p16 (*.p16 (-.p16 x.re x.im) x.im) (*.p16 (-.p16 x.re x.im) x.re)))))>
6.263 * * * * [progress]: [ 10 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (+.p16 (*.p16 x.im (-.p16 x.re x.im)) (*.p16 x.re (-.p16 x.re x.im))))))>
6.263 * * * * [progress]: [ 11 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (/.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) (+.p16 x.im x.re)) (+.p16 x.re x.im)))))>
6.263 * * * * [progress]: [ 12 / 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)))))>
6.263 * * * * [progress]: [ 13 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))))>
6.263 * * * * [progress]: [ 14 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))))>
6.263 * * * * [progress]: [ 15 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))))>
6.264 * * * * [progress]: [ 16 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))))>
6.264 * * * * [progress]: [ 17 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))))>
6.264 * * * * [progress]: [ 18 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))))>
6.264 * * * * [progress]: [ 19 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))))>
6.264 * [simplify]: Simplifying (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (-.p16 x.re x.im) x.im)), (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 x.im (-.p16 x.re x.im))), (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))), (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))), (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))), (*.p16 x.im (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))), (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im), (*.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) x.im), (*.p16 (-.p16 x.re x.im) x.im), (*.p16 (-.p16 x.re x.im) x.re), (*.p16 x.im (-.p16 x.re x.im)), (*.p16 x.re (-.p16 x.re x.im)), (*.p16 (-.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), (*.p16 x.re x.re), (*.p16 x.re x.re), (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))), (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))), (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))), (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))))
6.264 * * [simplify]: iteration 1: (24 enodes)
6.283 * * [simplify]: iteration 2: (65 enodes)
6.305 * * [simplify]: iteration 3: (215 enodes)
6.429 * * [simplify]: iteration 4: (667 enodes)
7.063 * * [simplify]: Extracting #0: cost 9 inf + 0
7.064 * * [simplify]: Extracting #1: cost 271 inf + 0
7.070 * * [simplify]: Extracting #2: cost 857 inf + 28718
7.088 * * [simplify]: Extracting #3: cost 560 inf + 462036
7.135 * * [simplify]: Extracting #4: cost 146 inf + 1118268
7.229 * * [simplify]: Extracting #5: cost 6 inf + 1338993
7.323 * * [simplify]: Extracting #6: cost 0 inf + 1347405
7.406 * [simplify]: Simplified to (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 (-.p16 x.re x.im) x.im)), (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 (-.p16 x.re x.im) x.im)), (-.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 x.im x.im)), (-.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 x.im x.im)), (*.p16 (*.p16 x.im x.re) (+.p16 x.re x.re)), (*.p16 (*.p16 (-.p16 x.re x.im) x.im) (+.p16 x.re x.im)), (*.p16 (*.p16 x.im x.re) (+.p16 x.re x.re)), (*.p16 (*.p16 (-.p16 x.re x.im) x.im) (+.p16 x.re x.im)), (*.p16 (-.p16 x.re x.im) x.im), (*.p16 x.re (-.p16 x.re x.im)), (*.p16 (-.p16 x.re x.im) x.im), (*.p16 x.re (-.p16 x.re x.im)), (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (+.p16 x.re x.im))), (*.p16 x.re x.re), (*.p16 x.re x.re), (*.p16 x.re x.re), (*.p16 x.re x.re), (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im), (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im), (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im), (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
7.407 * * * [progress]: adding candidates to table
7.653 * * [progress]: iteration 3 / 4
7.653 * * * [progress]: picking best candidate
7.693 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))>
7.693 * * * [progress]: localizing error
7.847 * * * [progress]: generating rewritten candidates
7.847 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
7.849 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
7.860 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
7.867 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
7.877 * * * [progress]: generating series expansions
7.877 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
7.877 * * * * [progress]: [ 2 / 4 ] generating series at (2)
7.877 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
7.877 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
7.877 * * * [progress]: simplifying candidates
7.878 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im))>
7.878 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im))>
7.878 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (neg.p16 (*.p16 x.im x.im))) x.im))>
7.878 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re))) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) (+.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im))) x.im))>
7.878 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (/.p16 (*.p16 (-.p16 (*.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re))) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) x.im) (+.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im))))>
7.878 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im))))>
7.878 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (-.p16 (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 x.re x.re)) (*.p16 x.im x.im)) x.im))>
7.878 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (-.p16 (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 x.re x.re)) (*.p16 x.im x.im)) x.im))>
7.878 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 x.re x.re) x.re) x.re) (*.p16 x.im x.im)) x.im))>
7.878 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 x.re (+.p16 x.re x.re))) (*.p16 x.im x.im)) x.im))>
7.878 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 x.re (+.p16 x.re x.re))) (*.p16 x.im x.im)) x.im))>
7.878 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))>
7.878 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))>
7.878 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))>
7.878 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))>
7.878 * [simplify]: Simplifying (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)), (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)), (neg.p16 (*.p16 x.im x.im)), (-.p16 (*.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re))) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))), (+.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)), (*.p16 (-.p16 (*.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re))) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) x.im), (*.p16 x.re (+.p16 x.re x.re)), (*.p16 x.re x.re), (*.p16 (+.p16 x.re x.re) x.re), (*.p16 x.re x.re), (+.p16 x.re x.re), (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im), (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im), (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im), (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
7.878 * * [simplify]: iteration 1: (18 enodes)
7.884 * * [simplify]: iteration 2: (56 enodes)
7.902 * * [simplify]: iteration 3: (171 enodes)
7.993 * * [simplify]: iteration 4: (949 enodes)
9.601 * * [simplify]: Extracting #0: cost 9 inf + 0
9.602 * * [simplify]: Extracting #1: cost 285 inf + 0
9.608 * * [simplify]: Extracting #2: cost 1272 inf + 15156
9.667 * * [simplify]: Extracting #3: cost 1262 inf + 679057
9.836 * * [simplify]: Extracting #4: cost 802 inf + 2049608
10.092 * * [simplify]: Extracting #5: cost 42 inf + 3399263
10.361 * * [simplify]: Extracting #6: cost 0 inf + 3460677
10.681 * * [simplify]: Extracting #7: cost 0 inf + 3459597
10.991 * [simplify]: Simplified to (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)), (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)), (neg.p16 (*.p16 x.im x.im)), (*.p16 (+.p16 (*.p16 x.im x.im) (*.p16 (+.p16 x.re (+.p16 x.re x.re)) x.re)) (-.p16 (*.p16 (+.p16 x.re (+.p16 x.re x.re)) x.re) (*.p16 x.im x.im))), (+.p16 (*.p16 x.im x.im) (*.p16 (+.p16 x.re (+.p16 x.re x.re)) x.re)), (*.p16 (*.p16 (+.p16 (*.p16 x.im x.im) (*.p16 (+.p16 x.re (+.p16 x.re x.re)) x.re)) x.im) (-.p16 (*.p16 (+.p16 x.re (+.p16 x.re x.re)) x.re) (*.p16 x.im x.im))), (*.p16 (+.p16 x.re x.re) x.re), (*.p16 x.re x.re), (*.p16 (+.p16 x.re x.re) x.re), (*.p16 x.re x.re), (+.p16 x.re x.re), (*.p16 (-.p16 (*.p16 (+.p16 x.re (+.p16 x.re x.re)) x.re) (*.p16 x.im x.im)) x.im), (*.p16 (-.p16 (*.p16 (+.p16 x.re (+.p16 x.re x.re)) x.re) (*.p16 x.im x.im)) x.im), (*.p16 (-.p16 (*.p16 (+.p16 x.re (+.p16 x.re x.re)) x.re) (*.p16 x.im x.im)) x.im), (*.p16 (-.p16 (*.p16 (+.p16 x.re (+.p16 x.re x.re)) x.re) (*.p16 x.im x.im)) x.im)
10.992 * * * [progress]: adding candidates to table
11.147 * * [progress]: iteration 4 / 4
11.147 * * * [progress]: picking best candidate
11.179 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))))))>
11.180 * * * [progress]: localizing error
11.381 * * * [progress]: generating rewritten candidates
11.381 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
11.390 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
11.394 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
11.401 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2)
11.405 * * * [progress]: generating series expansions
11.405 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
11.405 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
11.405 * * * * [progress]: [ 3 / 4 ] generating series at (2)
11.405 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2)
11.405 * * * [progress]: simplifying candidates
11.405 * * * * [progress]: [ 1 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))))>
11.405 * * * * [progress]: [ 2 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))) (*.p16 x.re x.re))))>
11.405 * * * * [progress]: [ 3 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re x.re) (+.p16 (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (-.p16 x.re x.im) x.re)))))>
11.405 * * * * [progress]: [ 4 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re x.re) (+.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.im (-.p16 x.re x.im))) (*.p16 x.re (-.p16 x.re x.im))))))>
11.405 * * * * [progress]: [ 5 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (*.p16 x.re x.re)))))>
11.405 * * * * [progress]: [ 6 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 x.re x.re)) (*.p16 x.im (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))))))>
11.405 * * * * [progress]: [ 7 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))) x.im)))>
11.405 * * * * [progress]: [ 8 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))) x.im))>
11.405 * * * * [progress]: [ 9 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 (-.p16 x.re x.im) x.im) (*.p16 (-.p16 x.re x.im) x.re))))))>
11.405 * * * * [progress]: [ 10 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im (-.p16 x.re x.im)) (*.p16 x.re (-.p16 x.re x.im)))))))>
11.406 * * * * [progress]: [ 11 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.re x.re) (/.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) (+.p16 x.im x.re)) (+.p16 x.re x.im))))))>
11.406 * * * * [progress]: [ 12 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.re x.re) (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))))))>
11.406 * * * * [progress]: [ 13 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))))))>
11.406 * * * * [progress]: [ 14 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))))))>
11.406 * * * * [progress]: [ 15 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))))))>
11.406 * * * * [progress]: [ 16 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))))))>
11.406 * [simplify]: Simplifying (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)), (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) x.im)), (+.p16 (*.p16 x.re x.re) (*.p16 x.im (-.p16 x.re x.im))), (*.p16 x.im (*.p16 x.re x.re)), (*.p16 x.im (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))), (*.p16 (*.p16 x.re x.re) x.im), (*.p16 (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))) x.im), (*.p16 (-.p16 x.re x.im) x.im), (*.p16 (-.p16 x.re x.im) x.re), (*.p16 x.im (-.p16 x.re x.im)), (*.p16 x.re (-.p16 x.re x.im)), (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) (+.p16 x.im x.re)), (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))), (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))), (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))), (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))
11.406 * * [simplify]: iteration 1: (21 enodes)
11.411 * * [simplify]: iteration 2: (59 enodes)
11.424 * * [simplify]: iteration 3: (189 enodes)
11.511 * * [simplify]: iteration 4: (530 enodes)
11.930 * * [simplify]: Extracting #0: cost 8 inf + 0
11.931 * * [simplify]: Extracting #1: cost 231 inf + 0
11.937 * * [simplify]: Extracting #2: cost 716 inf + 27761
11.949 * * [simplify]: Extracting #3: cost 548 inf + 267081
11.987 * * [simplify]: Extracting #4: cost 176 inf + 847864
12.069 * * [simplify]: Extracting #5: cost 10 inf + 1126733
12.141 * * [simplify]: Extracting #6: cost 0 inf + 1145233
12.228 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.re x.re)), (+.p16 (*.p16 (-.p16 x.re x.im) x.im) (*.p16 x.re x.re)), (+.p16 (*.p16 (-.p16 x.re x.im) x.im) (*.p16 x.re x.re)), (*.p16 x.re (*.p16 x.im x.re)), (*.p16 x.im (-.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 x.im x.im))), (*.p16 x.re (*.p16 x.im x.re)), (*.p16 x.im (-.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 x.im x.im))), (*.p16 (-.p16 x.re x.im) x.im), (*.p16 x.re (-.p16 x.re x.im)), (*.p16 (-.p16 x.re x.im) x.im), (*.p16 x.re (-.p16 x.re x.im)), (*.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (+.p16 x.re x.im)), (-.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 x.im x.im)), (-.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 x.im x.im)), (-.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 x.im x.im)), (-.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 x.im x.im))
12.228 * * * [progress]: adding candidates to table
12.399 * [progress]: [Phase 3 of 3] Extracting.
12.400 * * [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 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))))))> #<alt (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))> #<alt (λ (x.re x.im) (/.p16 (*.p16 (-.p16 (*.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re))) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) x.im) (+.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))) x.im)))> #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))) (*.p16 x.im (*.p16 (-.p16 x.re x.im) (+.p16 x.im 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)))>)
12.402 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re)
12.402 * * * * [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 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))))))> #<alt (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))> #<alt (λ (x.re x.im) (/.p16 (*.p16 (-.p16 (*.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re))) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) x.im) (+.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))) x.im)))> #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))) (*.p16 x.im (*.p16 (-.p16 x.re x.im) (+.p16 x.im 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)))>)
12.509 * * * * [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 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))))))> #<alt (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))> #<alt (λ (x.re x.im) (/.p16 (*.p16 (-.p16 (*.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re))) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) x.im) (+.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (+.p16 (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))) x.im)))> #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))) (*.p16 x.im (*.p16 (-.p16 x.re x.im) (+.p16 x.im 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)))>)
12.656 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
12.656 * [simplify]: Simplifying (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))))
12.656 * * [simplify]: iteration 1: (9 enodes)
12.657 * * [simplify]: Extracting #0: cost 1 inf + 0
12.657 * * [simplify]: Extracting #1: cost 3 inf + 0
12.657 * * [simplify]: Extracting #2: cost 4 inf + 1
12.657 * * [simplify]: Extracting #3: cost 7 inf + 1
12.657 * * [simplify]: Extracting #4: cost 8 inf + 1
12.657 * * [simplify]: Extracting #5: cost 0 inf + 3254
12.657 * [simplify]: Simplified to (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))))
12.657 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
12.680 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
12.682 * * * * [points]: Setting MPFR precision to 64
12.683 * * * * [points]: Setting MPFR precision to 320
12.685 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
12.687 * * * * [points]: Setting MPFR precision to 64
12.690 * * * * [points]: Setting MPFR precision to 320
12.693 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
12.696 * * * * [points]: Setting MPFR precision to 64
12.703 * * * * [points]: Setting MPFR precision to 320
12.709 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
12.711 * * * * [points]: Setting MPFR precision to 64
12.724 * * * * [points]: Setting MPFR precision to 320
12.747 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
12.749 * * * * [points]: Setting MPFR precision to 64
12.764 * * * * [points]: Setting MPFR precision to 320
12.784 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
12.787 * * * * [points]: Setting MPFR precision to 64
12.818 * * * * [points]: Setting MPFR precision to 320
12.858 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
12.861 * * * * [points]: Setting MPFR precision to 64
12.998 * * * * [points]: Setting MPFR precision to 320
13.082 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
13.084 * * * * [points]: Setting MPFR precision to 64
13.300 * * * * [points]: Setting MPFR precision to 320
13.542 * * * * [points]: Computing exacts for 8000 points
13.544 * * * * [points]: Setting MPFR precision to 64
14.837 * * * * [points]: Setting MPFR precision to 320
15.741 * * * * [points]: Filtering points with unrepresentable outputs
15.773 * * * * [points]: Sampled 8000 points with exact outputs
17.464 * [regime-testing]: Baseline error score: 64.0
17.471 * [regime-testing]: Oracle error score: 64.0
17.485 * [regime-testing]: End program error score: 0.3769531895280637