0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.002 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.003 * * * * [points]: Setting MPFR precision to 64
0.004 * * * * [points]: Setting MPFR precision to 320
0.005 * * * * [points]: Computing exacts on every 8 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 4 of 256 points to ramp up precision
0.011 * * * * [points]: Setting MPFR precision to 64
0.014 * * * * [points]: Setting MPFR precision to 320
0.016 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.017 * * * * [points]: Setting MPFR precision to 64
0.022 * * * * [points]: Setting MPFR precision to 320
0.026 * * * * [points]: Computing exacts for 256 points
0.027 * * * * [points]: Setting MPFR precision to 64
0.041 * * * * [points]: Setting MPFR precision to 320
0.066 * * * * [points]: Filtering points with unrepresentable outputs
0.066 * * * * [points]: Sampled 256 points with exact outputs
0.066 * * * [progress]: [2/2] Setting up program.
0.072 * [progress]: [Phase 2 of 3] Improving.
0.072 * * * * [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.072 * [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.072 * * [simplify]: iters left: 4 (11 enodes)
0.074 * * [simplify]: iters left: 3 (29 enodes)
0.079 * * [simplify]: iters left: 2 (80 enodes)
0.096 * * [simplify]: iters left: 1 (221 enodes)
0.172 * * [simplify]: Extracting #0: cost 1 inf + 0
0.172 * * [simplify]: Extracting #1: cost 13 inf + 0
0.172 * * [simplify]: Extracting #2: cost 84 inf + 1
0.173 * * [simplify]: Extracting #3: cost 260 inf + 1931
0.175 * * [simplify]: Extracting #4: cost 234 inf + 56565
0.184 * * [simplify]: Extracting #5: cost 79 inf + 287232
0.202 * * [simplify]: Extracting #6: cost 2 inf + 414836
0.217 * * [simplify]: Extracting #7: cost 0 inf + 420160
0.232 * [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.232 * [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.241 * * [progress]: iteration 1 / 4
0.241 * * * [progress]: picking best candidate
0.249 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
0.249 * * * [progress]: localizing error
0.364 * * * [progress]: generating rewritten candidates
0.364 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.366 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.370 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
0.381 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
0.384 * * * [progress]: generating series expansions
0.384 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.384 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
0.384 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
0.384 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
0.384 * * * [progress]: simplifying candidates
0.384 * * * * [progress]: [ 1 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
0.384 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
0.384 * * [simplify]: iters left: 3 (5 enodes)
0.385 * * [simplify]: iters left: 2 (15 enodes)
0.388 * * [simplify]: iters left: 1 (29 enodes)
0.392 * * [simplify]: Extracting #0: cost 1 inf + 0
0.392 * * [simplify]: Extracting #1: cost 10 inf + 0
0.392 * * [simplify]: Extracting #2: cost 5 inf + 725
0.393 * * [simplify]: Extracting #3: cost 0 inf + 2774
0.394 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
0.394 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)))
0.394 * * * * [progress]: [ 2 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))>
0.394 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)
0.394 * * [simplify]: iters left: 3 (5 enodes)
0.395 * * [simplify]: iters left: 2 (15 enodes)
0.397 * * [simplify]: iters left: 1 (25 enodes)
0.401 * * [simplify]: Extracting #0: cost 1 inf + 0
0.401 * * [simplify]: Extracting #1: cost 10 inf + 0
0.401 * * [simplify]: Extracting #2: cost 7 inf + 43
0.401 * * [simplify]: Extracting #3: cost 3 inf + 1089
0.402 * * [simplify]: Extracting #4: cost 0 inf + 2774
0.402 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))
0.402 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))))
0.402 * * * * [progress]: [ 3 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))) x.im))>
0.402 * * * * [progress]: [ 4 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))>
0.402 * [simplify]: Simplifying (*.p16 x.re x.re)
0.402 * * [simplify]: iters left: 1 (2 enodes)
0.402 * * [simplify]: Extracting #0: cost 1 inf + 0
0.402 * * [simplify]: Extracting #1: cost 2 inf + 0
0.403 * * [simplify]: Extracting #2: cost 1 inf + 1
0.403 * * [simplify]: Extracting #3: cost 0 inf + 322
0.403 * [simplify]: Simplified to (*.p16 x.re x.re)
0.403 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))
0.403 * * * * [progress]: [ 5 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))>
0.403 * [simplify]: Simplifying (*.p16 x.re x.re)
0.403 * * [simplify]: iters left: 1 (2 enodes)
0.403 * * [simplify]: Extracting #0: cost 1 inf + 0
0.403 * * [simplify]: Extracting #1: cost 2 inf + 0
0.403 * * [simplify]: Extracting #2: cost 1 inf + 1
0.403 * * [simplify]: Extracting #3: cost 0 inf + 322
0.403 * [simplify]: Simplified to (*.p16 x.re x.re)
0.403 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))
0.404 * * * * [progress]: [ 6 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (+.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 x.re (+.p16 x.re x.re))))))>
0.404 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
0.404 * * [simplify]: iters left: 2 (4 enodes)
0.405 * * [simplify]: iters left: 1 (10 enodes)
0.407 * * [simplify]: Extracting #0: cost 1 inf + 0
0.407 * * [simplify]: Extracting #1: cost 6 inf + 0
0.407 * * [simplify]: Extracting #2: cost 6 inf + 1
0.407 * * [simplify]: Extracting #3: cost 4 inf + 323
0.407 * * [simplify]: Extracting #4: cost 0 inf + 1371
0.407 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
0.407 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.re x.im) x.re) (+.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 x.re (+.p16 x.re x.re))))))
0.407 * * * * [progress]: [ 7 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))>
0.408 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
0.408 * * [simplify]: iters left: 2 (4 enodes)
0.409 * * [simplify]: iters left: 1 (15 enodes)
0.412 * * [simplify]: Extracting #0: cost 1 inf + 0
0.412 * * [simplify]: Extracting #1: cost 5 inf + 0
0.412 * * [simplify]: Extracting #2: cost 5 inf + 1
0.412 * * [simplify]: Extracting #3: cost 0 inf + 1049
0.412 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
0.413 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))
0.413 * * * * [progress]: [ 8 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))))>
0.413 * * * * [progress]: [ 9 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) (*.p16 x.re (+.p16 x.re x.re)))))>
0.413 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
0.413 * * [simplify]: iters left: 2 (5 enodes)
0.414 * * [simplify]: iters left: 1 (11 enodes)
0.416 * * [simplify]: Extracting #0: cost 1 inf + 0
0.416 * * [simplify]: Extracting #1: cost 7 inf + 0
0.417 * * [simplify]: Extracting #2: cost 9 inf + 0
0.417 * * [simplify]: Extracting #3: cost 7 inf + 2
0.417 * * [simplify]: Extracting #4: cost 0 inf + 2173
0.417 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
0.417 * [simplify]: Simplified (2 2 1 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))) (*.p16 x.re (+.p16 x.re x.re)))))
0.417 * * * * [progress]: [ 10 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 x.re (+.p16 x.re x.re)))))>
0.417 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
0.417 * * [simplify]: iters left: 2 (5 enodes)
0.419 * * [simplify]: iters left: 1 (17 enodes)
0.423 * * [simplify]: Extracting #0: cost 1 inf + 0
0.423 * * [simplify]: Extracting #1: cost 5 inf + 0
0.423 * * [simplify]: Extracting #2: cost 7 inf + 0
0.423 * * [simplify]: Extracting #3: cost 5 inf + 2
0.423 * * [simplify]: Extracting #4: cost 0 inf + 1370
0.423 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
0.423 * [simplify]: Simplified (2 2 1 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))) (*.p16 x.re (+.p16 x.re x.re)))))
0.423 * * * * [progress]: [ 11 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (/.p16 (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (+.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
0.423 * [simplify]: Simplifying (+.p16 x.re x.im)
0.423 * * [simplify]: iters left: 1 (3 enodes)
0.424 * * [simplify]: Extracting #0: cost 1 inf + 0
0.424 * * [simplify]: Extracting #1: cost 3 inf + 0
0.424 * * [simplify]: Extracting #2: cost 1 inf + 2
0.424 * * [simplify]: Extracting #3: cost 0 inf + 44
0.424 * [simplify]: Simplified to (+.p16 x.im x.re)
0.424 * [simplify]: Simplified (2 2 1 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (/.p16 (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re)))))
0.425 * * * * [progress]: [ 12 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re)))))>
0.425 * * * * [progress]: [ 13 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
0.425 * [simplify]: Simplifying (*.p16 x.re x.re)
0.425 * * [simplify]: iters left: 1 (2 enodes)
0.425 * * [simplify]: Extracting #0: cost 1 inf + 0
0.425 * * [simplify]: Extracting #1: cost 2 inf + 0
0.426 * * [simplify]: Extracting #2: cost 1 inf + 1
0.426 * * [simplify]: Extracting #3: cost 0 inf + 322
0.426 * [simplify]: Simplified to (*.p16 x.re x.re)
0.426 * [simplify]: Simplified (2 2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))
0.426 * * * * [progress]: [ 14 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
0.426 * [simplify]: Simplifying (*.p16 x.re x.re)
0.426 * * [simplify]: iters left: 1 (2 enodes)
0.427 * * [simplify]: Extracting #0: cost 1 inf + 0
0.427 * * [simplify]: Extracting #1: cost 2 inf + 0
0.427 * * [simplify]: Extracting #2: cost 1 inf + 1
0.427 * * [simplify]: Extracting #3: cost 0 inf + 322
0.427 * [simplify]: Simplified to (*.p16 x.re x.re)
0.427 * [simplify]: Simplified (2 2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))
0.427 * * * * [progress]: [ 15 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))))>
0.427 * * * * [progress]: [ 16 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
0.427 * [simplify]: Simplifying (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
0.427 * * [simplify]: iters left: 4 (9 enodes)
0.430 * * [simplify]: iters left: 3 (31 enodes)
0.436 * * [simplify]: iters left: 2 (81 enodes)
0.469 * * [simplify]: iters left: 1 (313 enodes)
0.718 * * [simplify]: Extracting #0: cost 1 inf + 0
0.718 * * [simplify]: Extracting #1: cost 25 inf + 0
0.718 * * [simplify]: Extracting #2: cost 146 inf + 1
0.719 * * [simplify]: Extracting #3: cost 271 inf + 9598
0.726 * * [simplify]: Extracting #4: cost 160 inf + 145347
0.742 * * [simplify]: Extracting #5: cost 29 inf + 293341
0.760 * * [simplify]: Extracting #6: cost 2 inf + 329705
0.776 * * [simplify]: Extracting #7: cost 0 inf + 334429
0.795 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
0.795 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))
0.795 * * * * [progress]: [ 17 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
0.795 * [simplify]: Simplifying (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
0.795 * * [simplify]: iters left: 4 (9 enodes)
0.798 * * [simplify]: iters left: 3 (31 enodes)
0.807 * * [simplify]: iters left: 2 (81 enodes)
0.836 * * [simplify]: iters left: 1 (313 enodes)
1.104 * * [simplify]: Extracting #0: cost 1 inf + 0
1.104 * * [simplify]: Extracting #1: cost 25 inf + 0
1.107 * * [simplify]: Extracting #2: cost 146 inf + 1
1.109 * * [simplify]: Extracting #3: cost 271 inf + 9598
1.115 * * [simplify]: Extracting #4: cost 160 inf + 145347
1.129 * * [simplify]: Extracting #5: cost 29 inf + 293341
1.148 * * [simplify]: Extracting #6: cost 2 inf + 329705
1.169 * * [simplify]: Extracting #7: cost 0 inf + 334429
1.192 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1.192 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))
1.193 * * * * [progress]: [ 18 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
1.193 * [simplify]: Simplifying (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
1.193 * * [simplify]: iters left: 4 (9 enodes)
1.197 * * [simplify]: iters left: 3 (31 enodes)
1.206 * * [simplify]: iters left: 2 (81 enodes)
1.244 * * [simplify]: iters left: 1 (313 enodes)
1.538 * * [simplify]: Extracting #0: cost 1 inf + 0
1.538 * * [simplify]: Extracting #1: cost 25 inf + 0
1.539 * * [simplify]: Extracting #2: cost 146 inf + 1
1.541 * * [simplify]: Extracting #3: cost 271 inf + 9598
1.551 * * [simplify]: Extracting #4: cost 160 inf + 145347
1.571 * * [simplify]: Extracting #5: cost 29 inf + 293341
1.596 * * [simplify]: Extracting #6: cost 2 inf + 329705
1.619 * * [simplify]: Extracting #7: cost 0 inf + 334429
1.644 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1.644 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))
1.644 * * * * [progress]: [ 19 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
1.644 * [simplify]: Simplifying (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
1.644 * * [simplify]: iters left: 4 (9 enodes)
1.646 * * [simplify]: iters left: 3 (31 enodes)
1.653 * * [simplify]: iters left: 2 (81 enodes)
1.686 * * [simplify]: iters left: 1 (313 enodes)
1.930 * * [simplify]: Extracting #0: cost 1 inf + 0
1.930 * * [simplify]: Extracting #1: cost 25 inf + 0
1.930 * * [simplify]: Extracting #2: cost 146 inf + 1
1.932 * * [simplify]: Extracting #3: cost 271 inf + 9598
1.941 * * [simplify]: Extracting #4: cost 160 inf + 145347
1.962 * * [simplify]: Extracting #5: cost 29 inf + 293341
1.983 * * [simplify]: Extracting #6: cost 2 inf + 329705
2.009 * * [simplify]: Extracting #7: cost 0 inf + 334429
2.031 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
2.031 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))
2.032 * * * [progress]: adding candidates to table
2.315 * * [progress]: iteration 2 / 4
2.315 * * * [progress]: picking best candidate
2.343 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
2.343 * * * [progress]: localizing error
2.518 * * * [progress]: generating rewritten candidates
2.518 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
2.527 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
2.537 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
2.542 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
2.549 * * * [progress]: generating series expansions
2.549 * * * * [progress]: [ 1 / 4 ] generating series at (2)
2.549 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
2.549 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
2.549 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
2.549 * * * [progress]: simplifying candidates
2.549 * * * * [progress]: [ 1 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
2.549 * [simplify]: Simplifying (*.p16 x.im (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))
2.549 * * [simplify]: iters left: 3 (5 enodes)
2.551 * * [simplify]: iters left: 2 (16 enodes)
2.555 * * [simplify]: iters left: 1 (26 enodes)
2.560 * * [simplify]: Extracting #0: cost 1 inf + 0
2.560 * * [simplify]: Extracting #1: cost 11 inf + 0
2.561 * * [simplify]: Extracting #2: cost 3 inf + 1772
2.561 * * [simplify]: Extracting #3: cost 0 inf + 3136
2.561 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.re) (*.p16 x.re x.im))
2.561 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (+.p16 x.re x.re) (*.p16 x.re x.im))))
2.561 * * * * [progress]: [ 2 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) x.im)))>
2.561 * [simplify]: Simplifying (*.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) x.im)
2.562 * * [simplify]: iters left: 3 (5 enodes)
2.563 * * [simplify]: iters left: 2 (12 enodes)
2.566 * * [simplify]: iters left: 1 (21 enodes)
2.571 * * [simplify]: Extracting #0: cost 1 inf + 0
2.571 * * [simplify]: Extracting #1: cost 10 inf + 0
2.571 * * [simplify]: Extracting #2: cost 4 inf + 767
2.575 * * [simplify]: Extracting #3: cost 0 inf + 2774
2.576 * [simplify]: Simplified to (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.im))
2.576 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.im))))
2.576 * * * * [progress]: [ 3 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re))) x.im))>
2.576 * * * * [progress]: [ 4 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))>
2.576 * [simplify]: Simplifying (*.p16 x.re x.re)
2.576 * * [simplify]: iters left: 1 (2 enodes)
2.577 * * [simplify]: Extracting #0: cost 1 inf + 0
2.577 * * [simplify]: Extracting #1: cost 2 inf + 0
2.577 * * [simplify]: Extracting #2: cost 1 inf + 1
2.577 * * [simplify]: Extracting #3: cost 0 inf + 322
2.577 * [simplify]: Simplified to (*.p16 x.re x.re)
2.577 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))
2.577 * * * * [progress]: [ 5 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (+.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re))))))>
2.577 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
2.577 * * [simplify]: iters left: 2 (4 enodes)
2.578 * * [simplify]: iters left: 1 (10 enodes)
2.580 * * [simplify]: Extracting #0: cost 1 inf + 0
2.580 * * [simplify]: Extracting #1: cost 6 inf + 0
2.580 * * [simplify]: Extracting #2: cost 6 inf + 1
2.580 * * [simplify]: Extracting #3: cost 4 inf + 323
2.580 * * [simplify]: Extracting #4: cost 0 inf + 1371
2.580 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
2.581 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.re x.im) x.re) (+.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re))))))
2.581 * * * * [progress]: [ 6 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re))))))>
2.581 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
2.581 * * [simplify]: iters left: 2 (4 enodes)
2.582 * * [simplify]: iters left: 1 (15 enodes)
2.585 * * [simplify]: Extracting #0: cost 1 inf + 0
2.585 * * [simplify]: Extracting #1: cost 5 inf + 0
2.585 * * [simplify]: Extracting #2: cost 5 inf + 1
2.585 * * [simplify]: Extracting #3: cost 0 inf + 1049
2.586 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
2.586 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re))))))
2.586 * * * * [progress]: [ 7 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))))>
2.586 * * * * [progress]: [ 8 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
2.586 * [simplify]: Simplifying (+.p16 x.re x.re)
2.586 * * [simplify]: iters left: 1 (2 enodes)
2.587 * * [simplify]: Extracting #0: cost 1 inf + 0
2.587 * * [simplify]: Extracting #1: cost 2 inf + 0
2.587 * * [simplify]: Extracting #2: cost 1 inf + 1
2.587 * * [simplify]: Extracting #3: cost 0 inf + 42
2.587 * [simplify]: Simplified to (+.p16 x.re x.re)
2.587 * [simplify]: Simplified (2 2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))
2.587 * * * * [progress]: [ 9 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
2.587 * [simplify]: Simplifying (+.p16 x.re x.re)
2.587 * * [simplify]: iters left: 1 (2 enodes)
2.588 * * [simplify]: Extracting #0: cost 1 inf + 0
2.588 * * [simplify]: Extracting #1: cost 2 inf + 0
2.588 * * [simplify]: Extracting #2: cost 1 inf + 1
2.588 * * [simplify]: Extracting #3: cost 0 inf + 42
2.588 * [simplify]: Simplified to (+.p16 x.re x.re)
2.588 * [simplify]: Simplified (2 2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))
2.588 * * * * [progress]: [ 10 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
2.588 * [simplify]: Simplifying (+.p16 x.re x.re)
2.588 * * [simplify]: iters left: 1 (2 enodes)
2.589 * * [simplify]: Extracting #0: cost 1 inf + 0
2.589 * * [simplify]: Extracting #1: cost 2 inf + 0
2.589 * * [simplify]: Extracting #2: cost 1 inf + 1
2.589 * * [simplify]: Extracting #3: cost 0 inf + 42
2.589 * [simplify]: Simplified to (+.p16 x.re x.re)
2.589 * [simplify]: Simplified (2 2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))
2.589 * * * * [progress]: [ 11 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
2.589 * * * * [progress]: [ 12 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
2.589 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
2.589 * * [simplify]: iters left: 2 (5 enodes)
2.590 * * [simplify]: iters left: 1 (11 enodes)
2.593 * * [simplify]: Extracting #0: cost 1 inf + 0
2.593 * * [simplify]: Extracting #1: cost 7 inf + 0
2.593 * * [simplify]: Extracting #2: cost 9 inf + 0
2.593 * * [simplify]: Extracting #3: cost 7 inf + 2
2.593 * * [simplify]: Extracting #4: cost 0 inf + 2173
2.593 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
2.593 * [simplify]: Simplified (2 2 1 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))
2.593 * * * * [progress]: [ 13 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
2.593 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
2.593 * * [simplify]: iters left: 2 (5 enodes)
2.595 * * [simplify]: iters left: 1 (17 enodes)
2.598 * * [simplify]: Extracting #0: cost 1 inf + 0
2.598 * * [simplify]: Extracting #1: cost 5 inf + 0
2.598 * * [simplify]: Extracting #2: cost 7 inf + 0
2.598 * * [simplify]: Extracting #3: cost 5 inf + 2
2.598 * * [simplify]: Extracting #4: cost 0 inf + 1370
2.599 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
2.599 * [simplify]: Simplified (2 2 1 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))
2.599 * * * * [progress]: [ 14 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (/.p16 (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (+.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
2.599 * [simplify]: Simplifying (+.p16 x.re x.im)
2.599 * * [simplify]: iters left: 1 (3 enodes)
2.600 * * [simplify]: Extracting #0: cost 1 inf + 0
2.600 * * [simplify]: Extracting #1: cost 3 inf + 0
2.600 * * [simplify]: Extracting #2: cost 1 inf + 2
2.600 * * [simplify]: Extracting #3: cost 0 inf + 44
2.600 * [simplify]: Simplified to (+.p16 x.im x.re)
2.600 * [simplify]: Simplified (2 2 1 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (/.p16 (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (+.p16 x.im x.re)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))
2.600 * * * * [progress]: [ 15 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
2.600 * * * * [progress]: [ 16 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
2.600 * [simplify]: Simplifying (*.p16 x.re x.re)
2.600 * * [simplify]: iters left: 1 (2 enodes)
2.601 * * [simplify]: Extracting #0: cost 1 inf + 0
2.601 * * [simplify]: Extracting #1: cost 2 inf + 0
2.601 * * [simplify]: Extracting #2: cost 1 inf + 1
2.601 * * [simplify]: Extracting #3: cost 0 inf + 322
2.601 * [simplify]: Simplified to (*.p16 x.re x.re)
2.601 * [simplify]: Simplified (2 2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))
2.601 * * * * [progress]: [ 17 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
2.601 * [simplify]: Simplifying (*.p16 x.re x.re)
2.601 * * [simplify]: iters left: 1 (2 enodes)
2.602 * * [simplify]: Extracting #0: cost 1 inf + 0
2.602 * * [simplify]: Extracting #1: cost 2 inf + 0
2.602 * * [simplify]: Extracting #2: cost 1 inf + 1
2.602 * * [simplify]: Extracting #3: cost 0 inf + 322
2.602 * [simplify]: Simplified to (*.p16 x.re x.re)
2.602 * [simplify]: Simplified (2 2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))
2.602 * * * * [progress]: [ 18 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
2.602 * [simplify]: Simplifying (*.p16 x.re x.re)
2.602 * * [simplify]: iters left: 1 (2 enodes)
2.603 * * [simplify]: Extracting #0: cost 1 inf + 0
2.603 * * [simplify]: Extracting #1: cost 2 inf + 0
2.603 * * [simplify]: Extracting #2: cost 1 inf + 1
2.603 * * [simplify]: Extracting #3: cost 0 inf + 322
2.603 * [simplify]: Simplified to (*.p16 x.re x.re)
2.603 * [simplify]: Simplified (2 2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))
2.603 * * * * [progress]: [ 19 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
2.603 * [simplify]: Simplifying (*.p16 x.re x.re)
2.603 * * [simplify]: iters left: 1 (2 enodes)
2.604 * * [simplify]: Extracting #0: cost 1 inf + 0
2.604 * * [simplify]: Extracting #1: cost 2 inf + 0
2.604 * * [simplify]: Extracting #2: cost 1 inf + 1
2.604 * * [simplify]: Extracting #3: cost 0 inf + 322
2.604 * [simplify]: Simplified to (*.p16 x.re x.re)
2.604 * [simplify]: Simplified (2 2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))
2.604 * * * [progress]: adding candidates to table
2.824 * * [progress]: iteration 3 / 4
2.824 * * * [progress]: picking best candidate
2.852 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
2.852 * * * [progress]: localizing error
3.048 * * * [progress]: generating rewritten candidates
3.048 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
3.054 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
3.064 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
3.073 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
3.080 * * * [progress]: generating series expansions
3.080 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
3.080 * * * * [progress]: [ 2 / 4 ] generating series at (2)
3.080 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
3.080 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
3.081 * * * [progress]: simplifying candidates
3.081 * * * * [progress]: [ 1 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (+.p16 (*.p16 x.im (*.p16 x.re x.re)) (*.p16 x.im (*.p16 x.re x.re)))))>
3.081 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re x.re))
3.081 * * [simplify]: iters left: 2 (4 enodes)
3.082 * * [simplify]: iters left: 1 (11 enodes)
3.085 * * [simplify]: Extracting #0: cost 1 inf + 0
3.085 * * [simplify]: Extracting #1: cost 5 inf + 0
3.085 * * [simplify]: Extracting #2: cost 2 inf + 323
3.085 * * [simplify]: Extracting #3: cost 0 inf + 1287
3.085 * [simplify]: Simplified to (*.p16 x.im (*.p16 x.re x.re))
3.085 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (+.p16 (*.p16 x.im (*.p16 x.re x.re)) (*.p16 x.im (*.p16 x.re x.re)))))
3.085 * * * * [progress]: [ 2 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (+.p16 (*.p16 x.im (*.p16 x.re x.re)) (*.p16 x.im (*.p16 x.re x.re)))))>
3.085 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re x.re))
3.085 * * [simplify]: iters left: 2 (4 enodes)
3.087 * * [simplify]: iters left: 1 (11 enodes)
3.089 * * [simplify]: Extracting #0: cost 1 inf + 0
3.089 * * [simplify]: Extracting #1: cost 5 inf + 0
3.089 * * [simplify]: Extracting #2: cost 2 inf + 323
3.089 * * [simplify]: Extracting #3: cost 0 inf + 1287
3.089 * [simplify]: Simplified to (*.p16 x.im (*.p16 x.re x.re))
3.089 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (+.p16 (*.p16 x.im (*.p16 x.re x.re)) (*.p16 x.im (*.p16 x.re x.re)))))
3.089 * * * * [progress]: [ 3 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))))>
3.090 * [simplify]: Simplifying (*.p16 (*.p16 x.re x.re) x.im)
3.090 * * [simplify]: iters left: 2 (4 enodes)
3.091 * * [simplify]: iters left: 1 (11 enodes)
3.093 * * [simplify]: Extracting #0: cost 1 inf + 0
3.093 * * [simplify]: Extracting #1: cost 5 inf + 0
3.093 * * [simplify]: Extracting #2: cost 3 inf + 2
3.093 * * [simplify]: Extracting #3: cost 0 inf + 1287
3.093 * [simplify]: Simplified to (*.p16 x.im (*.p16 x.re x.re))
3.093 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 x.im (*.p16 x.re x.re)))))
3.094 * * * * [progress]: [ 4 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))))>
3.094 * [simplify]: Simplifying (*.p16 (*.p16 x.re x.re) x.im)
3.094 * * [simplify]: iters left: 2 (4 enodes)
3.095 * * [simplify]: iters left: 1 (11 enodes)
3.097 * * [simplify]: Extracting #0: cost 1 inf + 0
3.097 * * [simplify]: Extracting #1: cost 5 inf + 0
3.097 * * [simplify]: Extracting #2: cost 3 inf + 2
3.098 * * [simplify]: Extracting #3: cost 0 inf + 1287
3.098 * [simplify]: Simplified to (*.p16 x.im (*.p16 x.re x.re))
3.098 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 x.im (*.p16 x.re x.re)))))
3.098 * * * * [progress]: [ 5 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im x.re) (+.p16 x.re x.re))))>
3.098 * [simplify]: Simplifying (+.p16 x.re x.re)
3.098 * * [simplify]: iters left: 1 (2 enodes)
3.099 * * [simplify]: Extracting #0: cost 1 inf + 0
3.099 * * [simplify]: Extracting #1: cost 2 inf + 0
3.099 * * [simplify]: Extracting #2: cost 1 inf + 1
3.099 * * [simplify]: Extracting #3: cost 0 inf + 42
3.099 * [simplify]: Simplified to (+.p16 x.re x.re)
3.099 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im x.re) (+.p16 x.re x.re))))
3.099 * * * * [progress]: [ 6 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))>
3.099 * * * * [progress]: [ 7 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
3.099 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))
3.099 * * [simplify]: iters left: 3 (8 enodes)
3.102 * * [simplify]: iters left: 2 (23 enodes)
3.107 * * [simplify]: iters left: 1 (53 enodes)
3.131 * * [simplify]: Extracting #0: cost 1 inf + 0
3.131 * * [simplify]: Extracting #1: cost 15 inf + 0
3.131 * * [simplify]: Extracting #2: cost 44 inf + 0
3.132 * * [simplify]: Extracting #3: cost 62 inf + 1008
3.133 * * [simplify]: Extracting #4: cost 33 inf + 20270
3.135 * * [simplify]: Extracting #5: cost 3 inf + 45322
3.138 * * [simplify]: Extracting #6: cost 0 inf + 50128
3.141 * [simplify]: Simplified to (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))
3.141 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))))
3.141 * * * * [progress]: [ 8 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re x.re))) (*.p16 x.im (*.p16 x.re x.re))))>
3.142 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re x.re))
3.142 * * [simplify]: iters left: 2 (4 enodes)
3.143 * * [simplify]: iters left: 1 (11 enodes)
3.145 * * [simplify]: Extracting #0: cost 1 inf + 0
3.145 * * [simplify]: Extracting #1: cost 5 inf + 0
3.145 * * [simplify]: Extracting #2: cost 2 inf + 323
3.146 * * [simplify]: Extracting #3: cost 0 inf + 1287
3.146 * [simplify]: Simplified to (*.p16 x.im (*.p16 x.re x.re))
3.146 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re x.re))) (*.p16 x.im (*.p16 x.re x.re))))
3.146 * * * * [progress]: [ 9 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re x.re))) (*.p16 x.im (*.p16 x.re x.re))))>
3.146 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re x.re))
3.146 * * [simplify]: iters left: 2 (4 enodes)
3.147 * * [simplify]: iters left: 1 (11 enodes)
3.149 * * [simplify]: Extracting #0: cost 1 inf + 0
3.150 * * [simplify]: Extracting #1: cost 5 inf + 0
3.150 * * [simplify]: Extracting #2: cost 2 inf + 323
3.150 * * [simplify]: Extracting #3: cost 0 inf + 1287
3.150 * [simplify]: Simplified to (*.p16 x.im (*.p16 x.re x.re))
3.150 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re x.re))) (*.p16 x.im (*.p16 x.re x.re))))
3.150 * * * * [progress]: [ 10 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.re x.re) x.im)) (*.p16 (*.p16 x.re x.re) x.im)))>
3.150 * [simplify]: Simplifying (*.p16 (*.p16 x.re x.re) x.im)
3.150 * * [simplify]: iters left: 2 (4 enodes)
3.151 * * [simplify]: iters left: 1 (11 enodes)
3.154 * * [simplify]: Extracting #0: cost 1 inf + 0
3.154 * * [simplify]: Extracting #1: cost 5 inf + 0
3.154 * * [simplify]: Extracting #2: cost 3 inf + 2
3.154 * * [simplify]: Extracting #3: cost 0 inf + 1287
3.154 * [simplify]: Simplified to (*.p16 x.im (*.p16 x.re x.re))
3.154 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.re x.re) x.im)) (*.p16 x.im (*.p16 x.re x.re))))
3.154 * * * * [progress]: [ 11 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.re x.re) x.im)) (*.p16 (*.p16 x.re x.re) x.im)))>
3.154 * [simplify]: Simplifying (*.p16 (*.p16 x.re x.re) x.im)
3.154 * * [simplify]: iters left: 2 (4 enodes)
3.156 * * [simplify]: iters left: 1 (11 enodes)
3.158 * * [simplify]: Extracting #0: cost 1 inf + 0
3.158 * * [simplify]: Extracting #1: cost 5 inf + 0
3.158 * * [simplify]: Extracting #2: cost 3 inf + 2
3.158 * * [simplify]: Extracting #3: cost 0 inf + 1287
3.158 * [simplify]: Simplified to (*.p16 x.im (*.p16 x.re x.re))
3.158 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.re x.re) x.im)) (*.p16 x.im (*.p16 x.re x.re))))
3.158 * * * * [progress]: [ 12 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) x.re)) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))))))>
3.158 * [simplify]: Simplifying (*.p16 x.im (*.p16 (+.p16 x.im x.re) x.re))
3.158 * * [simplify]: iters left: 3 (5 enodes)
3.160 * * [simplify]: iters left: 2 (14 enodes)
3.163 * * [simplify]: iters left: 1 (30 enodes)
3.172 * * [simplify]: Extracting #0: cost 1 inf + 0
3.172 * * [simplify]: Extracting #1: cost 15 inf + 0
3.172 * * [simplify]: Extracting #2: cost 15 inf + 2
3.172 * * [simplify]: Extracting #3: cost 4 inf + 4942
3.173 * * [simplify]: Extracting #4: cost 0 inf + 7550
3.173 * [simplify]: Simplified to (*.p16 (*.p16 x.re x.im) (+.p16 x.re x.im))
3.173 * [simplify]: Simplified (2 1) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re x.im) (+.p16 x.re x.im)) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))))))
3.173 * * * * [progress]: [ 13 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 x.re (+.p16 x.im x.re))) (+.p16 (*.p16 x.im (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))))))>
3.173 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.im x.re)))
3.174 * * [simplify]: iters left: 3 (5 enodes)
3.175 * * [simplify]: iters left: 2 (18 enodes)
3.180 * * [simplify]: iters left: 1 (41 enodes)
3.190 * * [simplify]: Extracting #0: cost 1 inf + 0
3.190 * * [simplify]: Extracting #1: cost 11 inf + 0
3.190 * * [simplify]: Extracting #2: cost 9 inf + 966
3.191 * * [simplify]: Extracting #3: cost 0 inf + 5062
3.191 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) (*.p16 x.re x.im))
3.191 * [simplify]: Simplified (2 1) to (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 x.re x.im)) (+.p16 (*.p16 x.im (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))))))
3.191 * * * * [progress]: [ 14 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.im) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))))))>
3.191 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.im)
3.191 * * [simplify]: iters left: 3 (5 enodes)
3.193 * * [simplify]: iters left: 2 (14 enodes)
3.196 * * [simplify]: iters left: 1 (25 enodes)
3.202 * * [simplify]: Extracting #0: cost 1 inf + 0
3.202 * * [simplify]: Extracting #1: cost 18 inf + 0
3.202 * * [simplify]: Extracting #2: cost 18 inf + 2
3.202 * * [simplify]: Extracting #3: cost 8 inf + 4300
3.202 * * [simplify]: Extracting #4: cost 0 inf + 9476
3.203 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.im) x.re) x.im)
3.203 * [simplify]: Simplified (2 1) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) x.re) x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.im) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))))))
3.203 * * * * [progress]: [ 15 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.im) (+.p16 (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.im) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))))))>
3.203 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.im)
3.203 * * [simplify]: iters left: 3 (5 enodes)
3.205 * * [simplify]: iters left: 2 (19 enodes)
3.210 * * [simplify]: iters left: 1 (35 enodes)
3.218 * * [simplify]: Extracting #0: cost 1 inf + 0
3.218 * * [simplify]: Extracting #1: cost 11 inf + 0
3.218 * * [simplify]: Extracting #2: cost 11 inf + 2
3.218 * * [simplify]: Extracting #3: cost 2 inf + 3738
3.218 * * [simplify]: Extracting #4: cost 0 inf + 5062
3.219 * [simplify]: Simplified to (*.p16 x.im (*.p16 x.re (+.p16 x.im x.re)))
3.219 * [simplify]: Simplified (2 1) to (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 x.re (+.p16 x.im x.re))) (+.p16 (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.im) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))))))
3.219 * * * * [progress]: [ 16 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
3.219 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))
3.219 * * [simplify]: iters left: 3 (8 enodes)
3.221 * * [simplify]: iters left: 2 (23 enodes)
3.227 * * [simplify]: iters left: 1 (53 enodes)
3.248 * * [simplify]: Extracting #0: cost 1 inf + 0
3.248 * * [simplify]: Extracting #1: cost 15 inf + 0
3.248 * * [simplify]: Extracting #2: cost 44 inf + 0
3.249 * * [simplify]: Extracting #3: cost 62 inf + 1008
3.250 * * [simplify]: Extracting #4: cost 33 inf + 20270
3.252 * * [simplify]: Extracting #5: cost 3 inf + 45322
3.255 * * [simplify]: Extracting #6: cost 0 inf + 50128
3.257 * [simplify]: Simplified to (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))
3.257 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))))
3.257 * * * * [progress]: [ 17 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))))>
3.258 * * * * [progress]: [ 18 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
3.258 * [simplify]: Simplifying (*.p16 x.im (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
3.258 * * [simplify]: iters left: 3 (6 enodes)
3.260 * * [simplify]: iters left: 2 (15 enodes)
3.263 * * [simplify]: iters left: 1 (34 enodes)
3.272 * * [simplify]: Extracting #0: cost 1 inf + 0
3.272 * * [simplify]: Extracting #1: cost 17 inf + 0
3.272 * * [simplify]: Extracting #2: cost 20 inf + 1
3.272 * * [simplify]: Extracting #3: cost 16 inf + 1125
3.272 * * [simplify]: Extracting #4: cost 6 inf + 6303
3.273 * * [simplify]: Extracting #5: cost 0 inf + 10353
3.274 * [simplify]: Simplified to (*.p16 (*.p16 (neg.p16 x.im) x.im) (+.p16 x.re x.im))
3.274 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) x.re)) (*.p16 (*.p16 (neg.p16 x.im) x.im) (+.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))
3.274 * * * * [progress]: [ 19 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
3.274 * [simplify]: Simplifying (*.p16 x.im (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))
3.274 * * [simplify]: iters left: 3 (6 enodes)
3.276 * * [simplify]: iters left: 2 (20 enodes)
3.281 * * [simplify]: iters left: 1 (45 enodes)
3.292 * * [simplify]: Extracting #0: cost 1 inf + 0
3.292 * * [simplify]: Extracting #1: cost 15 inf + 0
3.292 * * [simplify]: Extracting #2: cost 19 inf + 1
3.292 * * [simplify]: Extracting #3: cost 12 inf + 1811
3.293 * * [simplify]: Extracting #4: cost 3 inf + 7188
3.293 * * [simplify]: Extracting #5: cost 0 inf + 9474
3.294 * [simplify]: Simplified to (*.p16 x.im (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))
3.294 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))
3.294 * * * * [progress]: [ 20 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.im) (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.im)) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
3.294 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.im)
3.294 * * [simplify]: iters left: 3 (6 enodes)
3.296 * * [simplify]: iters left: 2 (15 enodes)
3.299 * * [simplify]: iters left: 1 (27 enodes)
3.305 * * [simplify]: Extracting #0: cost 1 inf + 0
3.305 * * [simplify]: Extracting #1: cost 18 inf + 0
3.306 * * [simplify]: Extracting #2: cost 21 inf + 82
3.306 * * [simplify]: Extracting #3: cost 8 inf + 7221
3.306 * * [simplify]: Extracting #4: cost 0 inf + 11396
3.307 * [simplify]: Simplified to (*.p16 (*.p16 x.im (+.p16 x.re x.im)) (neg.p16 x.im))
3.307 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (+.p16 (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.im) (*.p16 (*.p16 x.im (+.p16 x.re x.im)) (neg.p16 x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))
3.307 * * * * [progress]: [ 21 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.im) (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.im)) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
3.307 * [simplify]: Simplifying (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.im)
3.307 * * [simplify]: iters left: 3 (6 enodes)
3.309 * * [simplify]: iters left: 2 (21 enodes)
3.314 * * [simplify]: iters left: 1 (39 enodes)
3.323 * * [simplify]: Extracting #0: cost 1 inf + 0
3.323 * * [simplify]: Extracting #1: cost 16 inf + 0
3.323 * * [simplify]: Extracting #2: cost 20 inf + 1
3.323 * * [simplify]: Extracting #3: cost 14 inf + 1090
3.325 * * [simplify]: Extracting #4: cost 2 inf + 8712
3.326 * * [simplify]: Extracting #5: cost 0 inf + 10236
3.326 * [simplify]: Simplified to (*.p16 x.im (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))
3.326 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (+.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.im) (*.p16 x.im (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))
3.326 * * * * [progress]: [ 22 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.im (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
3.326 * [simplify]: Simplifying (-.p16 x.re x.im)
3.327 * * [simplify]: iters left: 1 (3 enodes)
3.328 * * [simplify]: Extracting #0: cost 1 inf + 0
3.328 * * [simplify]: Extracting #1: cost 6 inf + 0
3.328 * * [simplify]: Extracting #2: cost 5 inf + 44
3.328 * * [simplify]: Extracting #3: cost 0 inf + 1571
3.328 * [simplify]: Simplified to (-.p16 x.re x.im)
3.328 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.im (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))
3.328 * * * * [progress]: [ 23 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (/.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) (+.p16 x.re x.im)) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
3.328 * [simplify]: Simplifying (+.p16 x.re x.im)
3.328 * * [simplify]: iters left: 1 (3 enodes)
3.329 * * [simplify]: Extracting #0: cost 1 inf + 0
3.329 * * [simplify]: Extracting #1: cost 3 inf + 0
3.329 * * [simplify]: Extracting #2: cost 1 inf + 2
3.329 * * [simplify]: Extracting #3: cost 0 inf + 44
3.329 * [simplify]: Simplified to (+.p16 x.im x.re)
3.329 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (+.p16 (/.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) (+.p16 x.im x.re)) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))
3.329 * * * * [progress]: [ 24 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
3.329 * * * * [progress]: [ 25 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
3.330 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
3.330 * * [simplify]: iters left: 2 (5 enodes)
3.331 * * [simplify]: iters left: 1 (11 enodes)
3.333 * * [simplify]: Extracting #0: cost 1 inf + 0
3.333 * * [simplify]: Extracting #1: cost 7 inf + 0
3.333 * * [simplify]: Extracting #2: cost 9 inf + 0
3.333 * * [simplify]: Extracting #3: cost 7 inf + 2
3.333 * * [simplify]: Extracting #4: cost 0 inf + 2173
3.334 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
3.334 * [simplify]: Simplified (2 1 2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))
3.334 * * * * [progress]: [ 26 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
3.334 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
3.334 * * [simplify]: iters left: 2 (5 enodes)
3.335 * * [simplify]: iters left: 1 (17 enodes)
3.339 * * [simplify]: Extracting #0: cost 1 inf + 0
3.339 * * [simplify]: Extracting #1: cost 5 inf + 0
3.339 * * [simplify]: Extracting #2: cost 7 inf + 0
3.339 * * [simplify]: Extracting #3: cost 5 inf + 2
3.340 * * [simplify]: Extracting #4: cost 0 inf + 1370
3.340 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
3.340 * [simplify]: Simplified (2 1 2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))
3.340 * * * * [progress]: [ 27 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (/.p16 (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (+.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
3.340 * [simplify]: Simplifying (+.p16 x.re x.im)
3.340 * * [simplify]: iters left: 1 (3 enodes)
3.341 * * [simplify]: Extracting #0: cost 1 inf + 0
3.341 * * [simplify]: Extracting #1: cost 3 inf + 0
3.341 * * [simplify]: Extracting #2: cost 1 inf + 2
3.341 * * [simplify]: Extracting #3: cost 0 inf + 44
3.341 * [simplify]: Simplified to (+.p16 x.im x.re)
3.341 * [simplify]: Simplified (2 1 2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (/.p16 (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))
3.341 * * * * [progress]: [ 28 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
3.341 * * * * [progress]: [ 29 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
3.341 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
3.341 * * [simplify]: iters left: 3 (5 enodes)
3.343 * * [simplify]: iters left: 2 (15 enodes)
3.346 * * [simplify]: iters left: 1 (29 enodes)
3.353 * * [simplify]: Extracting #0: cost 1 inf + 0
3.353 * * [simplify]: Extracting #1: cost 10 inf + 0
3.353 * * [simplify]: Extracting #2: cost 5 inf + 725
3.353 * * [simplify]: Extracting #3: cost 0 inf + 2774
3.353 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
3.353 * [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.354 * * * * [progress]: [ 30 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
3.354 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
3.354 * * [simplify]: iters left: 3 (5 enodes)
3.355 * * [simplify]: iters left: 2 (15 enodes)
3.359 * * [simplify]: iters left: 1 (29 enodes)
3.365 * * [simplify]: Extracting #0: cost 1 inf + 0
3.365 * * [simplify]: Extracting #1: cost 10 inf + 0
3.365 * * [simplify]: Extracting #2: cost 5 inf + 725
3.365 * * [simplify]: Extracting #3: cost 0 inf + 2774
3.366 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
3.366 * [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.366 * * * * [progress]: [ 31 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
3.366 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
3.366 * * [simplify]: iters left: 3 (5 enodes)
3.368 * * [simplify]: iters left: 2 (15 enodes)
3.371 * * [simplify]: iters left: 1 (29 enodes)
3.377 * * [simplify]: Extracting #0: cost 1 inf + 0
3.377 * * [simplify]: Extracting #1: cost 10 inf + 0
3.378 * * [simplify]: Extracting #2: cost 5 inf + 725
3.378 * * [simplify]: Extracting #3: cost 0 inf + 2774
3.378 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
3.378 * [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.378 * * * * [progress]: [ 32 / 32 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
3.378 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
3.378 * * [simplify]: iters left: 3 (5 enodes)
3.380 * * [simplify]: iters left: 2 (15 enodes)
3.383 * * [simplify]: iters left: 1 (29 enodes)
3.390 * * [simplify]: Extracting #0: cost 1 inf + 0
3.390 * * [simplify]: Extracting #1: cost 10 inf + 0
3.390 * * [simplify]: Extracting #2: cost 5 inf + 725
3.390 * * [simplify]: Extracting #3: cost 0 inf + 2774
3.390 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
3.391 * [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.391 * * * [progress]: adding candidates to table
3.900 * * [progress]: iteration 4 / 4
3.901 * * * [progress]: picking best candidate
3.938 * * * * [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.938 * * * [progress]: localizing error
4.087 * * * [progress]: generating rewritten candidates
4.087 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
4.089 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
4.093 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
4.097 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
4.100 * * * [progress]: generating series expansions
4.100 * * * * [progress]: [ 1 / 4 ] generating series at (2)
4.100 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
4.100 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
4.100 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
4.100 * * * [progress]: simplifying candidates
4.100 * * * * [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)))))>
4.100 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
4.100 * * [simplify]: iters left: 3 (5 enodes)
4.101 * * [simplify]: iters left: 2 (15 enodes)
4.104 * * [simplify]: iters left: 1 (29 enodes)
4.108 * * [simplify]: Extracting #0: cost 1 inf + 0
4.108 * * [simplify]: Extracting #1: cost 10 inf + 0
4.108 * * [simplify]: Extracting #2: cost 5 inf + 725
4.108 * * [simplify]: Extracting #3: cost 0 inf + 2774
4.108 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
4.108 * [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)))
4.109 * * * * [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)))>
4.109 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)
4.109 * * [simplify]: iters left: 3 (5 enodes)
4.110 * * [simplify]: iters left: 2 (15 enodes)
4.113 * * [simplify]: iters left: 1 (25 enodes)
4.119 * * [simplify]: Extracting #0: cost 1 inf + 0
4.119 * * [simplify]: Extracting #1: cost 10 inf + 0
4.119 * * [simplify]: Extracting #2: cost 7 inf + 43
4.119 * * [simplify]: Extracting #3: cost 3 inf + 1089
4.119 * * [simplify]: Extracting #4: cost 0 inf + 2774
4.119 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))
4.119 * [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))))
4.119 * * * * [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))>
4.119 * * * * [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))))>
4.120 * [simplify]: Simplifying (*.p16 x.re x.re)
4.120 * * [simplify]: iters left: 1 (2 enodes)
4.120 * * [simplify]: Extracting #0: cost 1 inf + 0
4.120 * * [simplify]: Extracting #1: cost 2 inf + 0
4.120 * * [simplify]: Extracting #2: cost 1 inf + 1
4.120 * * [simplify]: Extracting #3: cost 0 inf + 322
4.120 * [simplify]: Simplified to (*.p16 x.re x.re)
4.120 * [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))))
4.121 * * * * [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))))>
4.121 * [simplify]: Simplifying (*.p16 x.re x.re)
4.121 * * [simplify]: iters left: 1 (2 enodes)
4.121 * * [simplify]: Extracting #0: cost 1 inf + 0
4.121 * * [simplify]: Extracting #1: cost 2 inf + 0
4.121 * * [simplify]: Extracting #2: cost 1 inf + 1
4.121 * * [simplify]: Extracting #3: cost 0 inf + 322
4.121 * [simplify]: Simplified to (*.p16 x.re x.re)
4.121 * [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))))
4.122 * * * * [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))))))>
4.122 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
4.122 * * [simplify]: iters left: 2 (4 enodes)
4.123 * * [simplify]: iters left: 1 (10 enodes)
4.125 * * [simplify]: Extracting #0: cost 1 inf + 0
4.125 * * [simplify]: Extracting #1: cost 6 inf + 0
4.125 * * [simplify]: Extracting #2: cost 6 inf + 1
4.125 * * [simplify]: Extracting #3: cost 4 inf + 323
4.125 * * [simplify]: Extracting #4: cost 0 inf + 1371
4.125 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
4.125 * [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))))))
4.125 * * * * [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))))))>
4.126 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
4.126 * * [simplify]: iters left: 2 (4 enodes)
4.127 * * [simplify]: iters left: 1 (15 enodes)
4.130 * * [simplify]: Extracting #0: cost 1 inf + 0
4.130 * * [simplify]: Extracting #1: cost 5 inf + 0
4.130 * * [simplify]: Extracting #2: cost 5 inf + 1
4.130 * * [simplify]: Extracting #3: cost 0 inf + 1049
4.130 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
4.130 * [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))))))
4.131 * * * * [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)))))>
4.131 * * * * [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)))))>
4.131 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
4.131 * * [simplify]: iters left: 2 (5 enodes)
4.132 * * [simplify]: iters left: 1 (11 enodes)
4.134 * * [simplify]: Extracting #0: cost 1 inf + 0
4.134 * * [simplify]: Extracting #1: cost 7 inf + 0
4.134 * * [simplify]: Extracting #2: cost 9 inf + 0
4.134 * * [simplify]: Extracting #3: cost 7 inf + 2
4.135 * * [simplify]: Extracting #4: cost 0 inf + 2173
4.135 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
4.135 * [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)))))
4.135 * * * * [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)))))>
4.135 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
4.135 * * [simplify]: iters left: 2 (5 enodes)
4.136 * * [simplify]: iters left: 1 (17 enodes)
4.140 * * [simplify]: Extracting #0: cost 1 inf + 0
4.140 * * [simplify]: Extracting #1: cost 5 inf + 0
4.140 * * [simplify]: Extracting #2: cost 7 inf + 0
4.140 * * [simplify]: Extracting #3: cost 5 inf + 2
4.140 * * [simplify]: Extracting #4: cost 0 inf + 1370
4.140 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
4.141 * [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)))))
4.141 * * * * [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)))))>
4.141 * [simplify]: Simplifying (+.p16 x.re x.im)
4.141 * * [simplify]: iters left: 1 (3 enodes)
4.142 * * [simplify]: Extracting #0: cost 1 inf + 0
4.142 * * [simplify]: Extracting #1: cost 3 inf + 0
4.142 * * [simplify]: Extracting #2: cost 1 inf + 2
4.142 * * [simplify]: Extracting #3: cost 0 inf + 44
4.142 * [simplify]: Simplified to (+.p16 x.im x.re)
4.142 * [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)))))
4.142 * * * * [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)))))>
4.142 * * * * [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)))))>
4.142 * [simplify]: Simplifying (*.p16 x.re x.re)
4.142 * * [simplify]: iters left: 1 (2 enodes)
4.143 * * [simplify]: Extracting #0: cost 1 inf + 0
4.143 * * [simplify]: Extracting #1: cost 2 inf + 0
4.143 * * [simplify]: Extracting #2: cost 1 inf + 1
4.143 * * [simplify]: Extracting #3: cost 0 inf + 322
4.143 * [simplify]: Simplified to (*.p16 x.re x.re)
4.143 * [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)))))
4.143 * * * * [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)))))>
4.143 * [simplify]: Simplifying (*.p16 x.re x.re)
4.143 * * [simplify]: iters left: 1 (2 enodes)
4.144 * * [simplify]: Extracting #0: cost 1 inf + 0
4.144 * * [simplify]: Extracting #1: cost 2 inf + 0
4.144 * * [simplify]: Extracting #2: cost 1 inf + 1
4.144 * * [simplify]: Extracting #3: cost 0 inf + 322
4.144 * [simplify]: Simplified to (*.p16 x.re x.re)
4.144 * [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)))))
4.144 * * * * [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))))>
4.144 * * * * [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)))))>
4.144 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))
4.144 * * [simplify]: iters left: 3 (8 enodes)
4.147 * * [simplify]: iters left: 2 (23 enodes)
4.152 * * [simplify]: iters left: 1 (53 enodes)
4.175 * * [simplify]: Extracting #0: cost 1 inf + 0
4.175 * * [simplify]: Extracting #1: cost 15 inf + 0
4.175 * * [simplify]: Extracting #2: cost 44 inf + 0
4.175 * * [simplify]: Extracting #3: cost 62 inf + 1008
4.176 * * [simplify]: Extracting #4: cost 33 inf + 20270
4.179 * * [simplify]: Extracting #5: cost 3 inf + 45322
4.181 * * [simplify]: Extracting #6: cost 0 inf + 50128
4.184 * [simplify]: Simplified to (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))
4.184 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))))
4.184 * * * * [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.184 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))
4.184 * * [simplify]: iters left: 3 (8 enodes)
4.187 * * [simplify]: iters left: 2 (23 enodes)
4.192 * * [simplify]: iters left: 1 (53 enodes)
4.212 * * [simplify]: Extracting #0: cost 1 inf + 0
4.212 * * [simplify]: Extracting #1: cost 15 inf + 0
4.212 * * [simplify]: Extracting #2: cost 44 inf + 0
4.212 * * [simplify]: Extracting #3: cost 62 inf + 1008
4.213 * * [simplify]: Extracting #4: cost 33 inf + 20270
4.216 * * [simplify]: Extracting #5: cost 3 inf + 45322
4.219 * * [simplify]: Extracting #6: cost 0 inf + 50128
4.221 * [simplify]: Simplified to (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))
4.221 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))))
4.221 * * * * [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.222 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))
4.222 * * [simplify]: iters left: 3 (8 enodes)
4.224 * * [simplify]: iters left: 2 (23 enodes)
4.229 * * [simplify]: iters left: 1 (53 enodes)
4.251 * * [simplify]: Extracting #0: cost 1 inf + 0
4.251 * * [simplify]: Extracting #1: cost 15 inf + 0
4.251 * * [simplify]: Extracting #2: cost 44 inf + 0
4.251 * * [simplify]: Extracting #3: cost 62 inf + 1008
4.252 * * [simplify]: Extracting #4: cost 33 inf + 20270
4.255 * * [simplify]: Extracting #5: cost 3 inf + 45322
4.257 * * [simplify]: Extracting #6: cost 0 inf + 50128
4.260 * [simplify]: Simplified to (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))
4.260 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))))
4.260 * * * * [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)))))>
4.261 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))
4.261 * * [simplify]: iters left: 3 (8 enodes)
4.263 * * [simplify]: iters left: 2 (23 enodes)
4.269 * * [simplify]: iters left: 1 (53 enodes)
4.288 * * [simplify]: Extracting #0: cost 1 inf + 0
4.288 * * [simplify]: Extracting #1: cost 15 inf + 0
4.288 * * [simplify]: Extracting #2: cost 44 inf + 0
4.288 * * [simplify]: Extracting #3: cost 62 inf + 1008
4.289 * * [simplify]: Extracting #4: cost 33 inf + 20270
4.292 * * [simplify]: Extracting #5: cost 3 inf + 45322
4.294 * * [simplify]: Extracting #6: cost 0 inf + 50128
4.297 * [simplify]: Simplified to (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))
4.297 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))))
4.297 * * * [progress]: adding candidates to table
4.544 * [progress]: [Phase 3 of 3] Extracting.
4.544 * * [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 (*.p16 (*.p16 x.im (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) x.im)))> #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im x.re) (+.p16 x.re x.re))))> #<alt (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re x.re))) (*.p16 x.im (*.p16 x.re x.re))))> #<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 x.im (*.p16 x.re (+.p16 x.im x.re))) (+.p16 (*.p16 x.im (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))))))>)
4.546 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re)
4.546 * * * * [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 (*.p16 (*.p16 x.im (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) x.im)))> #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im x.re) (+.p16 x.re x.re))))> #<alt (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re x.re))) (*.p16 x.im (*.p16 x.re x.re))))> #<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 x.im (*.p16 x.re (+.p16 x.im x.re))) (+.p16 (*.p16 x.im (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))))))>)
4.647 * * * * [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 (*.p16 (*.p16 x.im (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) x.im)))> #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im x.re) (+.p16 x.re x.re))))> #<alt (λ (x.re x.im) (+.p16 (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re x.re))) (*.p16 x.im (*.p16 x.re x.re))))> #<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 x.im (*.p16 x.re (+.p16 x.im x.re))) (+.p16 (*.p16 x.im (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re))))))>)
4.752 * * * [regime]: Found split indices: #<option (#s(si 2 256))>
4.752 * [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.752 * * [simplify]: iters left: 4 (9 enodes)
4.753 * * [simplify]: Extracting #0: cost 1 inf + 0
4.753 * * [simplify]: Extracting #1: cost 3 inf + 0
4.753 * * [simplify]: Extracting #2: cost 4 inf + 1
4.753 * * [simplify]: Extracting #3: cost 8 inf + 1
4.753 * * [simplify]: Extracting #4: cost 0 inf + 2974
4.753 * [simplify]: Simplified to (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
4.753 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
4.775 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
4.776 * * * * [points]: Setting MPFR precision to 64
4.777 * * * * [points]: Setting MPFR precision to 320
4.778 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
4.779 * * * * [points]: Setting MPFR precision to 64
4.781 * * * * [points]: Setting MPFR precision to 320
4.783 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
4.784 * * * * [points]: Setting MPFR precision to 64
4.787 * * * * [points]: Setting MPFR precision to 320
4.791 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
4.792 * * * * [points]: Setting MPFR precision to 64
4.799 * * * * [points]: Setting MPFR precision to 320
4.806 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
4.807 * * * * [points]: Setting MPFR precision to 64
4.823 * * * * [points]: Setting MPFR precision to 320
4.842 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
4.844 * * * * [points]: Setting MPFR precision to 64
4.896 * * * * [points]: Setting MPFR precision to 320
4.923 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
4.924 * * * * [points]: Setting MPFR precision to 64
5.002 * * * * [points]: Setting MPFR precision to 320
5.058 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
5.059 * * * * [points]: Setting MPFR precision to 64
5.255 * * * * [points]: Setting MPFR precision to 320
5.402 * * * * [points]: Computing exacts for 8000 points
5.404 * * * * [points]: Setting MPFR precision to 64
6.380 * * * * [points]: Setting MPFR precision to 320
7.076 * * * * [points]: Filtering points with unrepresentable outputs
7.097 * * * * [points]: Sampled 8000 points with exact outputs
8.432 * [regime-testing]: Baseline error score: 64.0
8.437 * [regime-testing]: Oracle error score: 64.0
8.445 * [regime-testing]: End program error score: 0.36394010446541614