1554043184.204 * [progress]: [Phase 1 of 3] Setting up. 1554043184.206 * * * [progress]: [1/2] Preparing points 1554043184.206 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1554043184.211 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1554043184.902 * * * * [points]: Setting MPFR precision to 64 1554043184.906 * * * * [points]: Setting MPFR precision to 320 1554043184.909 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1554043184.912 * * * * [points]: Setting MPFR precision to 64 1554043184.915 * * * * [points]: Setting MPFR precision to 320 1554043184.919 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1554043184.920 * * * * [points]: Setting MPFR precision to 64 1554043184.923 * * * * [points]: Setting MPFR precision to 320 1554043184.927 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1554043184.927 * * * * [points]: Setting MPFR precision to 64 1554043184.932 * * * * [points]: Setting MPFR precision to 320 1554043184.942 * * * * [points]: Computing exacts for 256 points 1554043184.943 * * * * [points]: Setting MPFR precision to 64 1554043184.957 * * * * [points]: Setting MPFR precision to 320 1554043184.974 * * * * [points]: Filtering points with unrepresentable outputs 1554043184.987 * * * * [points]: Sampled 256 points with exact outputs 1554043184.988 * * * [progress]: [2/2] Setting up program. 1554043185.003 * [progress]: [Phase 2 of 3] Improving. 1554043185.003 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1554043185.004 * [simplify]: Simplifying (+.p16 (*.p16 re im) (*.p16 im re)) 1554043185.006 * * [simplify]: iters left: 2 (5 enodes) 1554043185.038 * * [simplify]: iters left: 1 (10 enodes) 1554043185.040 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043185.040 * * [simplify]: Extracting #1: cost 6 inf + 0 1554043185.041 * * [simplify]: Extracting #2: cost 3 inf + 43 1554043185.041 * * [simplify]: Extracting #3: cost 0 inf + 768 1554043185.041 * [simplify]: Simplified to (+.p16 (*.p16 im re) (*.p16 im re)) 1554043185.041 * [simplify]: Simplified (2) to (λ (re im) (+.p16 (*.p16 im re) (*.p16 im re))) 1554043185.071 * * [progress]: iteration 1 / 4 1554043185.071 * * * [progress]: picking best candidate 1554043185.083 * * * * [pick]: Picked # 1554043185.083 * * * [progress]: localizing error 1554043185.140 * * * [progress]: generating rewritten candidates 1554043185.140 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1554043185.160 * * * [progress]: generating series expansions 1554043185.160 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1554043185.161 * * * [progress]: simplifying candidates 1554043185.161 * * * * [progress]: [ 1 / 5 ] simplifiying candidate # 1554043185.161 * [simplify]: Simplifying (+.p16 re re) 1554043185.161 * * [simplify]: iters left: 1 (2 enodes) 1554043185.161 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043185.162 * * [simplify]: Extracting #1: cost 2 inf + 0 1554043185.162 * * [simplify]: Extracting #2: cost 1 inf + 1 1554043185.162 * * [simplify]: Extracting #3: cost 0 inf + 42 1554043185.162 * [simplify]: Simplified to (+.p16 re re) 1554043185.162 * [simplify]: Simplified (2 2) to (λ (re im) (*.p16 im (+.p16 re re))) 1554043185.162 * * * * [progress]: [ 2 / 5 ] simplifiying candidate # 1554043185.162 * [simplify]: Simplifying (+.p16 im im) 1554043185.162 * * [simplify]: iters left: 1 (2 enodes) 1554043185.162 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043185.162 * * [simplify]: Extracting #1: cost 2 inf + 0 1554043185.162 * * [simplify]: Extracting #2: cost 1 inf + 1 1554043185.162 * * [simplify]: Extracting #3: cost 0 inf + 42 1554043185.162 * [simplify]: Simplified to (+.p16 im im) 1554043185.162 * [simplify]: Simplified (2 2) to (λ (re im) (*.p16 re (+.p16 im im))) 1554043185.162 * * * * [progress]: [ 3 / 5 ] simplifiying candidate # 1554043185.163 * [simplify]: Simplifying (+.p16 re re) 1554043185.163 * * [simplify]: iters left: 1 (2 enodes) 1554043185.163 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043185.163 * * [simplify]: Extracting #1: cost 2 inf + 0 1554043185.163 * * [simplify]: Extracting #2: cost 1 inf + 1 1554043185.163 * * [simplify]: Extracting #3: cost 0 inf + 42 1554043185.163 * [simplify]: Simplified to (+.p16 re re) 1554043185.163 * [simplify]: Simplified (2 2) to (λ (re im) (*.p16 im (+.p16 re re))) 1554043185.163 * * * * [progress]: [ 4 / 5 ] simplifiying candidate # 1554043185.163 * * * * [progress]: [ 5 / 5 ] simplifiying candidate # 1554043185.163 * [simplify]: Simplifying (+.p16 (*.p16 im re) (*.p16 im re)) 1554043185.163 * * [simplify]: iters left: 2 (4 enodes) 1554043185.164 * * [simplify]: iters left: 1 (13 enodes) 1554043185.166 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043185.166 * * [simplify]: Extracting #1: cost 6 inf + 0 1554043185.166 * * [simplify]: Extracting #2: cost 3 inf + 43 1554043185.166 * * [simplify]: Extracting #3: cost 0 inf + 768 1554043185.166 * [simplify]: Simplified to (*.p16 im (+.p16 re re)) 1554043185.166 * [simplify]: Simplified (2) to (λ (re im) (*.p16 im (+.p16 re re))) 1554043185.167 * * * [progress]: adding candidates to table 1554043185.330 * * [progress]: iteration 2 / 4 1554043185.330 * * * [progress]: picking best candidate 1554043185.356 * * * * [pick]: Picked # 1554043185.356 * * * [progress]: localizing error 1554043185.413 * * * [progress]: generating rewritten candidates 1554043185.413 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1554043185.416 * * * [progress]: generating series expansions 1554043185.416 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1554043185.416 * * * [progress]: simplifying candidates 1554043185.416 * * * * [progress]: [ 1 / 4 ] simplifiying candidate # 1554043185.416 * [simplify]: Simplifying (*.p16 im re) 1554043185.416 * * [simplify]: iters left: 1 (3 enodes) 1554043185.417 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043185.417 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043185.417 * * [simplify]: Extracting #2: cost 1 inf + 2 1554043185.417 * * [simplify]: Extracting #3: cost 0 inf + 324 1554043185.417 * [simplify]: Simplified to (*.p16 re im) 1554043185.417 * [simplify]: Simplified (2 2) to (λ (re im) (+.p16 (*.p16 im re) (*.p16 re im))) 1554043185.417 * * * * [progress]: [ 2 / 4 ] simplifiying candidate # 1554043185.417 * [simplify]: Simplifying (*.p16 re im) 1554043185.417 * * [simplify]: iters left: 1 (3 enodes) 1554043185.418 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043185.418 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043185.418 * * [simplify]: Extracting #2: cost 1 inf + 2 1554043185.418 * * [simplify]: Extracting #3: cost 0 inf + 324 1554043185.418 * [simplify]: Simplified to (*.p16 im re) 1554043185.418 * [simplify]: Simplified (2 2) to (λ (re im) (+.p16 (*.p16 re im) (*.p16 im re))) 1554043185.418 * * * * [progress]: [ 3 / 4 ] simplifiying candidate # 1554043185.418 * * * * [progress]: [ 4 / 4 ] simplifiying candidate # 1554043185.418 * [simplify]: Simplifying (+.p16 re re) 1554043185.418 * * [simplify]: iters left: 1 (2 enodes) 1554043185.419 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043185.419 * * [simplify]: Extracting #1: cost 2 inf + 0 1554043185.419 * * [simplify]: Extracting #2: cost 1 inf + 1 1554043185.419 * * [simplify]: Extracting #3: cost 0 inf + 42 1554043185.419 * [simplify]: Simplified to (+.p16 re re) 1554043185.419 * [simplify]: Simplified (2 2) to (λ (re im) (*.p16 im (+.p16 re re))) 1554043185.419 * * * [progress]: adding candidates to table 1554043185.514 * * [progress]: iteration 3 / 4 1554043185.514 * * * [progress]: picking best candidate 1554043185.528 * * * * [pick]: Picked # 1554043185.528 * * * [progress]: localizing error 1554043185.593 * * * [progress]: generating rewritten candidates 1554043185.593 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1554043185.596 * * * [progress]: generating series expansions 1554043185.596 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1554043185.596 * * * [progress]: simplifying candidates 1554043185.596 * * * * [progress]: [ 1 / 4 ] simplifiying candidate # 1554043185.596 * [simplify]: Simplifying (*.p16 re im) 1554043185.596 * * [simplify]: iters left: 1 (3 enodes) 1554043185.597 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043185.597 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043185.597 * * [simplify]: Extracting #2: cost 1 inf + 2 1554043185.597 * * [simplify]: Extracting #3: cost 0 inf + 324 1554043185.597 * [simplify]: Simplified to (*.p16 im re) 1554043185.597 * [simplify]: Simplified (2 2) to (λ (re im) (+.p16 (*.p16 re im) (*.p16 im re))) 1554043185.597 * * * * [progress]: [ 2 / 4 ] simplifiying candidate # 1554043185.597 * [simplify]: Simplifying (*.p16 im re) 1554043185.597 * * [simplify]: iters left: 1 (3 enodes) 1554043185.598 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043185.598 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043185.598 * * [simplify]: Extracting #2: cost 1 inf + 2 1554043185.598 * * [simplify]: Extracting #3: cost 0 inf + 324 1554043185.598 * [simplify]: Simplified to (*.p16 re im) 1554043185.598 * [simplify]: Simplified (2 2) to (λ (re im) (+.p16 (*.p16 im re) (*.p16 re im))) 1554043185.598 * * * * [progress]: [ 3 / 4 ] simplifiying candidate # 1554043185.598 * * * * [progress]: [ 4 / 4 ] simplifiying candidate # 1554043185.598 * [simplify]: Simplifying (+.p16 im im) 1554043185.598 * * [simplify]: iters left: 1 (2 enodes) 1554043185.598 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043185.598 * * [simplify]: Extracting #1: cost 2 inf + 0 1554043185.598 * * [simplify]: Extracting #2: cost 1 inf + 1 1554043185.599 * * [simplify]: Extracting #3: cost 0 inf + 42 1554043185.599 * [simplify]: Simplified to (+.p16 im im) 1554043185.599 * [simplify]: Simplified (2 2) to (λ (re im) (*.p16 re (+.p16 im im))) 1554043185.599 * * * [progress]: adding candidates to table 1554043185.692 * [progress]: [Phase 3 of 3] Extracting. 1554043185.692 * * [regime]: Finding splitpoints for: (# # #) 1554043185.693 * * * [regime-changes]: Trying 2 branch expressions: (im re) 1554043185.693 * * * * [regimes]: Trying to branch on im from (# # #) 1554043185.866 * * * * [regimes]: Trying to branch on re from (# # #) 1554043186.033 * * * [regime]: Found split indices: #