1552126531.124 * [progress]: [Phase 1 of 3] Setting up.
1552126531.124 * * * [progress]: [1/2] Preparing points
1552126531.124 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1552126531.127 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1552126531.128 * * * * [points]: Setting MPFR precision to 64
1552126531.130 * * * * [points]: Setting MPFR precision to 320
1552126531.132 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1552126531.133 * * * * [points]: Setting MPFR precision to 64
1552126531.137 * * * * [points]: Setting MPFR precision to 320
1552126531.141 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1552126531.142 * * * * [points]: Setting MPFR precision to 64
1552126531.147 * * * * [points]: Setting MPFR precision to 320
1552126531.154 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1552126531.155 * * * * [points]: Setting MPFR precision to 64
1552126531.164 * * * * [points]: Setting MPFR precision to 320
1552126531.176 * * * * [points]: Computing exacts for 256 points
1552126531.177 * * * * [points]: Setting MPFR precision to 64
1552126531.201 * * * * [points]: Setting MPFR precision to 320
1552126531.219 * * * * [points]: Filtering points with unrepresentable outputs
1552126531.262 * * * * [points]: Sampled 256 points with exact outputs
1552126531.262 * * * [progress]: [2/2] Setting up program.
1552126531.276 * [progress]: [Phase 2 of 3] Improving.
1552126531.276 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))>
1552126531.277 * [simplify]: Simplifying (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1552126531.277 * * [simplify]: iters left: 2 (7 enodes)
1552126531.278 * * [simplify]: iters left: 1 (24 enodes)
1552126531.282 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126531.282 * * [simplify]: Extracting #1: cost 6 inf + 0
1552126531.282 * * [simplify]: Extracting #2: cost 15 inf + 0
1552126531.282 * * [simplify]: Extracting #3: cost 19 inf + 728
1552126531.283 * * [simplify]: Extracting #4: cost 3 inf + 11524
1552126531.283 * * [simplify]: Extracting #5: cost 0 inf + 15936
1552126531.283 * [simplify]: Simplified to (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))
1552126531.284 * [simplify]: Simplified (2) to (λ (x.re x.im y.re y.im) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im)))
1552126531.308 * * [progress]: iteration 1 / 4
1552126531.308 * * * [progress]: picking best candidate
1552126531.332 * * * * [pick]: Picked  #<alt (λ (x.re x.im y.re y.im) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))>
1552126531.332 * * * [progress]: localizing error
1552126531.478 * * * [progress]: generating rewritten candidates
1552126531.478 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1552126531.486 * * * [progress]: generating series expansions
1552126531.486 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1552126531.486 * * * [progress]: simplifying candidates
1552126531.486 * * * * [progress]: [ 1 / 3 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (+.p16 (*.p16 x.re y.re) (neg.p16 (*.p16 x.im y.im))))>
1552126531.487 * * * * [progress]: [ 2 / 3 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1552126531.487 * * * * [progress]: [ 3 / 3 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))>
1552126531.487 * [simplify]: Simplifying (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1552126531.487 * * [simplify]: iters left: 2 (7 enodes)
1552126531.490 * * [simplify]: iters left: 1 (24 enodes)
1552126531.497 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126531.497 * * [simplify]: Extracting #1: cost 6 inf + 0
1552126531.497 * * [simplify]: Extracting #2: cost 15 inf + 0
1552126531.498 * * [simplify]: Extracting #3: cost 19 inf + 728
1552126531.498 * * [simplify]: Extracting #4: cost 3 inf + 11524
1552126531.499 * * [simplify]: Extracting #5: cost 0 inf + 15936
1552126531.500 * [simplify]: Simplified to (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))
1552126531.500 * [simplify]: Simplified (2) to (λ (x.re x.im y.re y.im) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im)))
1552126531.500 * * * [progress]: adding candidates to table
1552126531.638 * * [progress]: iteration 2 / 4
1552126531.638 * * * [progress]: picking best candidate
1552126531.656 * * * * [pick]: Picked  #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1552126531.656 * * * [progress]: localizing error
1552126531.847 * * * [progress]: generating rewritten candidates
1552126531.847 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1552126531.853 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1552126531.856 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1552126531.861 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1552126531.865 * * * [progress]: generating series expansions
1552126531.865 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1552126531.865 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1552126531.865 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1552126531.865 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1552126531.865 * * * [progress]: simplifying candidates
1552126531.865 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1552126531.865 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1552126531.866 * * [simplify]: iters left: 2 (7 enodes)
1552126531.868 * * [simplify]: iters left: 1 (18 enodes)
1552126531.872 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126531.872 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126531.872 * * [simplify]: Extracting #2: cost 7 inf + 0
1552126531.872 * * [simplify]: Extracting #3: cost 2 inf + 326
1552126531.872 * * [simplify]: Extracting #4: cost 0 inf + 1332
1552126531.872 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1552126531.872 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))
1552126531.872 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))>
1552126531.873 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))
1552126531.873 * * [simplify]: iters left: 4 (11 enodes)
1552126531.875 * * [simplify]: iters left: 3 (47 enodes)
1552126531.885 * * [simplify]: iters left: 2 (143 enodes)
1552126531.929 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126531.929 * * [simplify]: Extracting #1: cost 25 inf + 0
1552126531.929 * * [simplify]: Extracting #2: cost 73 inf + 0
1552126531.929 * * [simplify]: Extracting #3: cost 142 inf + 2332
1552126531.931 * * [simplify]: Extracting #4: cost 134 inf + 55820
1552126531.939 * * [simplify]: Extracting #5: cost 28 inf + 228590
1552126531.957 * * [simplify]: Extracting #6: cost 1 inf + 283752
1552126531.972 * * [simplify]: Extracting #7: cost 0 inf + 287356
1552126531.988 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 (*.p16 y.re x.re) (*.p16 y.re x.re)) (*.p16 (*.p16 y.im x.im) (*.p16 y.im x.im))) (-.p16 (*.p16 (*.p16 y.re x.re) (*.p16 y.re x.re)) (*.p16 (*.p16 y.im x.im) (*.p16 y.im x.im))))
1552126531.988 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 (*.p16 y.re x.re) (*.p16 y.re x.re)) (*.p16 (*.p16 y.im x.im) (*.p16 y.im x.im))) (-.p16 (*.p16 (*.p16 y.re x.re) (*.p16 y.re x.re)) (*.p16 (*.p16 y.im x.im) (*.p16 y.im x.im)))) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))
1552126531.988 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.im y.im) (*.p16 x.re y.re))))>
1552126531.988 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1552126531.988 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1552126531.988 * * [simplify]: iters left: 2 (7 enodes)
1552126531.990 * * [simplify]: iters left: 1 (18 enodes)
1552126531.992 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126531.992 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126531.992 * * [simplify]: Extracting #2: cost 7 inf + 0
1552126531.992 * * [simplify]: Extracting #3: cost 2 inf + 326
1552126531.992 * * [simplify]: Extracting #4: cost 0 inf + 1332
1552126531.992 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1552126531.992 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))
1552126531.992 * [simplify]: Simplifying (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1552126531.992 * * [simplify]: iters left: 2 (7 enodes)
1552126531.994 * * [simplify]: iters left: 1 (24 enodes)
1552126531.998 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126531.998 * * [simplify]: Extracting #1: cost 6 inf + 0
1552126531.998 * * [simplify]: Extracting #2: cost 15 inf + 0
1552126531.998 * * [simplify]: Extracting #3: cost 19 inf + 728
1552126531.998 * * [simplify]: Extracting #4: cost 3 inf + 11524
1552126531.998 * * [simplify]: Extracting #5: cost 0 inf + 15936
1552126531.999 * [simplify]: Simplified to (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))
1552126531.999 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))
1552126531.999 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (neg.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1552126531.999 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1552126531.999 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 (*.p16 x.im y.im) x.im) y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1552126531.999 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 x.im (*.p16 y.im (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1552126531.999 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1552126531.999 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1552126531.999 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1552126531.999 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1552126531.999 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1552126531.999 * * * [progress]: adding candidates to table
1552126532.529 * * [progress]: iteration 3 / 4
1552126532.529 * * * [progress]: picking best candidate
1552126532.626 * * * * [pick]: Picked  #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1552126532.626 * * * [progress]: localizing error
1552126532.709 * * * [progress]: generating rewritten candidates
1552126532.709 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1552126532.711 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1552126532.713 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
1552126532.714 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
1552126532.716 * * * [progress]: generating series expansions
1552126532.716 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1552126532.716 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1552126532.716 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
1552126532.716 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1552126532.716 * * * [progress]: simplifying candidates
1552126532.716 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1552126532.716 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1552126532.716 * * [simplify]: iters left: 2 (7 enodes)
1552126532.718 * * [simplify]: iters left: 1 (18 enodes)
1552126532.720 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126532.720 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126532.720 * * [simplify]: Extracting #2: cost 7 inf + 0
1552126532.720 * * [simplify]: Extracting #3: cost 2 inf + 326
1552126532.720 * * [simplify]: Extracting #4: cost 0 inf + 1332
1552126532.720 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1552126532.720 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)))))
1552126532.720 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1552126532.720 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1552126532.720 * * [simplify]: iters left: 2 (7 enodes)
1552126532.728 * * [simplify]: iters left: 1 (18 enodes)
1552126532.730 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126532.730 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126532.730 * * [simplify]: Extracting #2: cost 7 inf + 0
1552126532.730 * * [simplify]: Extracting #3: cost 2 inf + 326
1552126532.730 * * [simplify]: Extracting #4: cost 0 inf + 1332
1552126532.730 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1552126532.730 * [simplify]: Simplified (2 2) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))) (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))))
1552126532.730 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1552126532.731 * [simplify]: Simplifying (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1552126532.731 * * [simplify]: iters left: 2 (7 enodes)
1552126532.732 * * [simplify]: iters left: 1 (24 enodes)
1552126532.736 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126532.736 * * [simplify]: Extracting #1: cost 6 inf + 0
1552126532.736 * * [simplify]: Extracting #2: cost 15 inf + 0
1552126532.736 * * [simplify]: Extracting #3: cost 19 inf + 728
1552126532.736 * * [simplify]: Extracting #4: cost 3 inf + 11524
1552126532.736 * * [simplify]: Extracting #5: cost 0 inf + 15936
1552126532.737 * [simplify]: Simplified to (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))
1552126532.737 * [simplify]: Simplified (2 2) to (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))))
1552126532.737 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (neg.p16 (*.p16 x.im y.im))))))>
1552126532.737 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))))>
1552126532.737 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.im) (*.p16 x.re y.re)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1552126532.737 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1552126532.737 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1552126532.737 * * [simplify]: iters left: 2 (7 enodes)
1552126532.740 * * [simplify]: iters left: 1 (18 enodes)
1552126532.744 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126532.744 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126532.744 * * [simplify]: Extracting #2: cost 7 inf + 0
1552126532.745 * * [simplify]: Extracting #3: cost 2 inf + 326
1552126532.745 * * [simplify]: Extracting #4: cost 0 inf + 1332
1552126532.745 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1552126532.745 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))
1552126532.745 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1552126532.745 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1552126532.745 * * [simplify]: iters left: 2 (7 enodes)
1552126532.748 * * [simplify]: iters left: 1 (18 enodes)
1552126532.752 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126532.752 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126532.752 * * [simplify]: Extracting #2: cost 7 inf + 0
1552126532.752 * * [simplify]: Extracting #3: cost 2 inf + 326
1552126532.753 * * [simplify]: Extracting #4: cost 0 inf + 1332
1552126532.753 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1552126532.753 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))
1552126532.753 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1552126532.753 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1552126532.753 * * [simplify]: iters left: 2 (7 enodes)
1552126532.756 * * [simplify]: iters left: 1 (18 enodes)
1552126532.760 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126532.760 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126532.760 * * [simplify]: Extracting #2: cost 7 inf + 0
1552126532.760 * * [simplify]: Extracting #3: cost 2 inf + 326
1552126532.761 * * [simplify]: Extracting #4: cost 0 inf + 1332
1552126532.761 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1552126532.761 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))
1552126532.761 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1552126532.761 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1552126532.761 * * [simplify]: iters left: 2 (7 enodes)
1552126532.764 * * [simplify]: iters left: 1 (18 enodes)
1552126532.768 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126532.768 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126532.768 * * [simplify]: Extracting #2: cost 7 inf + 0
1552126532.769 * * [simplify]: Extracting #3: cost 2 inf + 326
1552126532.769 * * [simplify]: Extracting #4: cost 0 inf + 1332
1552126532.769 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1552126532.769 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))
1552126532.769 * * * [progress]: adding candidates to table
1552126533.176 * * [progress]: iteration 4 / 4
1552126533.176 * * * [progress]: picking best candidate
1552126533.327 * * * * [pick]: Picked  #<alt (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1552126533.327 * * * [progress]: localizing error
1552126533.403 * * * [progress]: generating rewritten candidates
1552126533.403 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1552126533.406 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1552126533.407 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1552126533.409 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1552126533.411 * * * [progress]: generating series expansions
1552126533.411 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1552126533.411 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1552126533.411 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1552126533.411 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1552126533.411 * * * [progress]: simplifying candidates
1552126533.411 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1552126533.411 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1552126533.411 * * [simplify]: iters left: 2 (7 enodes)
1552126533.413 * * [simplify]: iters left: 1 (18 enodes)
1552126533.415 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126533.415 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126533.415 * * [simplify]: Extracting #2: cost 7 inf + 0
1552126533.415 * * [simplify]: Extracting #3: cost 2 inf + 326
1552126533.415 * * [simplify]: Extracting #4: cost 0 inf + 1332
1552126533.415 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1552126533.415 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))
1552126533.415 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1552126533.415 * [simplify]: Simplifying (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))
1552126533.416 * * [simplify]: iters left: 4 (11 enodes)
1552126533.418 * * [simplify]: iters left: 3 (40 enodes)
1552126533.425 * * [simplify]: iters left: 2 (113 enodes)
1552126533.474 * * [simplify]: iters left: 1 (413 enodes)
1552126533.730 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126533.731 * * [simplify]: Extracting #1: cost 52 inf + 0
1552126533.736 * * [simplify]: Extracting #2: cost 318 inf + 0
1552126533.739 * * [simplify]: Extracting #3: cost 432 inf + 78712
1552126533.762 * * [simplify]: Extracting #4: cost 270 inf + 493470
1552126533.810 * * [simplify]: Extracting #5: cost 29 inf + 960412
1552126533.858 * * [simplify]: Extracting #6: cost 0 inf + 1031717
1552126533.904 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (*.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))))
1552126533.905 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (*.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im)))) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))
1552126533.905 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (neg.p16 (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1552126533.905 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1552126533.905 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.im y.im) (*.p16 x.re y.re))))>
1552126533.905 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.im y.im) (*.p16 x.re y.re)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1552126533.905 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1552126533.905 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1552126533.905 * * [simplify]: iters left: 2 (7 enodes)
1552126533.907 * * [simplify]: iters left: 1 (18 enodes)
1552126533.909 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126533.909 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126533.909 * * [simplify]: Extracting #2: cost 7 inf + 0
1552126533.909 * * [simplify]: Extracting #3: cost 2 inf + 326
1552126533.909 * * [simplify]: Extracting #4: cost 0 inf + 1332
1552126533.909 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1552126533.909 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))
1552126533.909 * [simplify]: Simplifying (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1552126533.909 * * [simplify]: iters left: 2 (7 enodes)
1552126533.912 * * [simplify]: iters left: 1 (24 enodes)
1552126533.915 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126533.915 * * [simplify]: Extracting #1: cost 6 inf + 0
1552126533.915 * * [simplify]: Extracting #2: cost 15 inf + 0
1552126533.915 * * [simplify]: Extracting #3: cost 19 inf + 728
1552126533.916 * * [simplify]: Extracting #4: cost 3 inf + 11524
1552126533.916 * * [simplify]: Extracting #5: cost 0 inf + 15936
1552126533.916 * [simplify]: Simplified to (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))
1552126533.916 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))
1552126533.917 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1552126533.917 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1552126533.917 * * [simplify]: iters left: 2 (7 enodes)
1552126533.918 * * [simplify]: iters left: 1 (18 enodes)
1552126533.920 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126533.920 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126533.920 * * [simplify]: Extracting #2: cost 7 inf + 0
1552126533.920 * * [simplify]: Extracting #3: cost 2 inf + 326
1552126533.920 * * [simplify]: Extracting #4: cost 0 inf + 1332
1552126533.921 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1552126533.921 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))
1552126533.921 * [simplify]: Simplifying (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1552126533.921 * * [simplify]: iters left: 2 (7 enodes)
1552126533.922 * * [simplify]: iters left: 1 (24 enodes)
1552126533.926 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126533.926 * * [simplify]: Extracting #1: cost 6 inf + 0
1552126533.926 * * [simplify]: Extracting #2: cost 15 inf + 0
1552126533.926 * * [simplify]: Extracting #3: cost 19 inf + 728
1552126533.927 * * [simplify]: Extracting #4: cost 3 inf + 11524
1552126533.927 * * [simplify]: Extracting #5: cost 0 inf + 15936
1552126533.928 * [simplify]: Simplified to (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))
1552126533.928 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))
1552126533.928 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1552126533.928 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1552126533.928 * * [simplify]: iters left: 2 (7 enodes)
1552126533.930 * * [simplify]: iters left: 1 (18 enodes)
1552126533.932 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126533.932 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126533.932 * * [simplify]: Extracting #2: cost 7 inf + 0
1552126533.932 * * [simplify]: Extracting #3: cost 2 inf + 326
1552126533.932 * * [simplify]: Extracting #4: cost 0 inf + 1332
1552126533.932 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1552126533.932 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))
1552126533.932 * [simplify]: Simplifying (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1552126533.932 * * [simplify]: iters left: 2 (7 enodes)
1552126533.934 * * [simplify]: iters left: 1 (24 enodes)
1552126533.937 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126533.937 * * [simplify]: Extracting #1: cost 6 inf + 0
1552126533.937 * * [simplify]: Extracting #2: cost 15 inf + 0
1552126533.938 * * [simplify]: Extracting #3: cost 19 inf + 728
1552126533.938 * * [simplify]: Extracting #4: cost 3 inf + 11524
1552126533.938 * * [simplify]: Extracting #5: cost 0 inf + 15936
1552126533.939 * [simplify]: Simplified to (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))
1552126533.939 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))
1552126533.939 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1552126533.939 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1552126533.939 * * [simplify]: iters left: 2 (7 enodes)
1552126533.941 * * [simplify]: iters left: 1 (18 enodes)
1552126533.943 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126533.943 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126533.943 * * [simplify]: Extracting #2: cost 7 inf + 0
1552126533.943 * * [simplify]: Extracting #3: cost 2 inf + 326
1552126533.943 * * [simplify]: Extracting #4: cost 0 inf + 1332
1552126533.943 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1552126533.943 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))
1552126533.944 * [simplify]: Simplifying (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1552126533.944 * * [simplify]: iters left: 2 (7 enodes)
1552126533.945 * * [simplify]: iters left: 1 (24 enodes)
1552126533.949 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126533.949 * * [simplify]: Extracting #1: cost 6 inf + 0
1552126533.949 * * [simplify]: Extracting #2: cost 15 inf + 0
1552126533.949 * * [simplify]: Extracting #3: cost 19 inf + 728
1552126533.949 * * [simplify]: Extracting #4: cost 3 inf + 11524
1552126533.949 * * [simplify]: Extracting #5: cost 0 inf + 15936
1552126533.950 * [simplify]: Simplified to (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))
1552126533.950 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))
1552126533.950 * * * [progress]: adding candidates to table
1552126534.203 * [progress]: [Phase 3 of 3] Extracting.
1552126534.203 * * [regime]: Finding splitpoints for: (#<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 (*.p16 x.im y.im) x.im) y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))> #<alt (λ (x.re x.im y.re y.im) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))>)
1552126534.205 * * * [regime-changes]: Trying 4 branch expressions: (y.im x.im y.re x.re)
1552126534.205 * * * * [regimes]: Trying to branch on y.im from (#<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 (*.p16 x.im y.im) x.im) y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))> #<alt (λ (x.re x.im y.re y.im) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))>)
1552126534.502 * * * * [regimes]: Trying to branch on x.im from (#<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 (*.p16 x.im y.im) x.im) y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))> #<alt (λ (x.re x.im y.re y.im) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))>)
1552126534.934 * * * * [regimes]: Trying to branch on y.re from (#<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 (*.p16 x.im y.im) x.im) y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))> #<alt (λ (x.re x.im y.re y.im) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))>)
1552126535.292 * * * * [regimes]: Trying to branch on x.re from (#<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 (*.p16 x.im y.im) x.im) y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))> #<alt (λ (x.re x.im y.re y.im) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))>)
1552126535.744 * * * [regime]: Found split indices: #<option (#s(si 6 256))>
1552126535.744 * [simplify]: Simplifying (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1552126535.744 * * [simplify]: iters left: 2 (7 enodes)
1552126535.745 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126535.745 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126535.745 * * [simplify]: Extracting #2: cost 7 inf + 0
1552126535.745 * * [simplify]: Extracting #3: cost 2 inf + 326
1552126535.745 * * [simplify]: Extracting #4: cost 0 inf + 1372
1552126535.745 * [simplify]: Simplified to (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1552126535.745 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1552126535.827 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1552126535.828 * * * * [points]: Setting MPFR precision to 64
1552126535.830 * * * * [points]: Setting MPFR precision to 320
1552126535.833 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1552126535.834 * * * * [points]: Setting MPFR precision to 64
1552126535.837 * * * * [points]: Setting MPFR precision to 320
1552126535.842 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1552126535.843 * * * * [points]: Setting MPFR precision to 64
1552126535.850 * * * * [points]: Setting MPFR precision to 320
1552126535.858 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1552126535.860 * * * * [points]: Setting MPFR precision to 64
1552126535.873 * * * * [points]: Setting MPFR precision to 320
1552126535.890 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1552126535.892 * * * * [points]: Setting MPFR precision to 64
1552126535.919 * * * * [points]: Setting MPFR precision to 320
1552126535.953 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1552126535.954 * * * * [points]: Setting MPFR precision to 64
1552126536.042 * * * * [points]: Setting MPFR precision to 320
1552126536.103 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1552126536.106 * * * * [points]: Setting MPFR precision to 64
1552126536.204 * * * * [points]: Setting MPFR precision to 320
1552126536.332 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1552126536.333 * * * * [points]: Setting MPFR precision to 64
1552126536.573 * * * * [points]: Setting MPFR precision to 320
1552126536.874 * * * * [points]: Computing exacts for 8000 points
1552126536.875 * * * * [points]: Setting MPFR precision to 64
1552126537.709 * * * * [points]: Setting MPFR precision to 320
1552126539.212 * * * * [points]: Filtering points with unrepresentable outputs
1552126540.109 * * * * [points]: Sampled 8000 points with exact outputs
1552126542.295 * [regime-testing]: Baseline error score: 64.0
1552126542.298 * [regime-testing]: Oracle error score: 64.0
1552126542.302 * [regime-testing]: End program error score: 0.27077046268503296