1553935111.497 * [progress]: [Phase 1 of 3] Setting up.
1553935111.499 * * * [progress]: [1/2] Preparing points
1553935111.500 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1553935111.506 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1553935111.915 * * * * [points]: Setting MPFR precision to 64
1553935111.918 * * * * [points]: Setting MPFR precision to 320
1553935111.920 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1553935111.921 * * * * [points]: Setting MPFR precision to 64
1553935111.922 * * * * [points]: Setting MPFR precision to 320
1553935111.924 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1553935111.925 * * * * [points]: Setting MPFR precision to 64
1553935111.928 * * * * [points]: Setting MPFR precision to 320
1553935111.931 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1553935111.932 * * * * [points]: Setting MPFR precision to 64
1553935111.936 * * * * [points]: Setting MPFR precision to 320
1553935111.941 * * * * [points]: Computing exacts for 256 points
1553935111.942 * * * * [points]: Setting MPFR precision to 64
1553935111.955 * * * * [points]: Setting MPFR precision to 320
1553935111.971 * * * * [points]: Filtering points with unrepresentable outputs
1553935111.984 * * * * [points]: Sampled 256 points with exact outputs
1553935111.984 * * * [progress]: [2/2] Setting up program.
1553935111.998 * [progress]: [Phase 2 of 3] Improving.
1553935111.999 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (re im) (-.p16 (*.p16 re re) (*.p16 im im)))>
1553935112.000 * [simplify]: Simplifying (-.p16 (*.p16 re re) (*.p16 im im))
1553935112.001 * * [simplify]: iters left: 2 (5 enodes)
1553935112.030 * * [simplify]: iters left: 1 (19 enodes)
1553935112.034 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935112.034 * * [simplify]: Extracting #1: cost 8 inf + 0
1553935112.035 * * [simplify]: Extracting #2: cost 16 inf + 0
1553935112.035 * * [simplify]: Extracting #3: cost 16 inf + 1766
1553935112.035 * * [simplify]: Extracting #4: cost 6 inf + 6819
1553935112.035 * * [simplify]: Extracting #5: cost 1 inf + 12227
1553935112.036 * * [simplify]: Extracting #6: cost 0 inf + 13549
1553935112.036 * [simplify]: Simplified to (*.p16 (-.p16 re im) (+.p16 im re))
1553935112.036 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))
1553935112.065 * * [progress]: iteration 1 / 4
1553935112.065 * * * [progress]: picking best candidate
1553935112.091 * * * * [pick]: Picked  #<alt (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))>
1553935112.091 * * * [progress]: localizing error
1553935112.194 * * * [progress]: generating rewritten candidates
1553935112.195 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1553935112.201 * * * [progress]: generating series expansions
1553935112.201 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1553935112.201 * * * [progress]: simplifying candidates
1553935112.201 * * * * [progress]: [ 1 / 5 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 (-.p16 re im) im) (*.p16 (-.p16 re im) re)))>
1553935112.202 * [simplify]: Simplifying (*.p16 (-.p16 re im) re)
1553935112.202 * * [simplify]: iters left: 2 (4 enodes)
1553935112.203 * * [simplify]: iters left: 1 (16 enodes)
1553935112.205 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935112.205 * * [simplify]: Extracting #1: cost 9 inf + 0
1553935112.205 * * [simplify]: Extracting #2: cost 11 inf + 1
1553935112.205 * * [simplify]: Extracting #3: cost 13 inf + 323
1553935112.206 * * [simplify]: Extracting #4: cost 9 inf + 1933
1553935112.206 * * [simplify]: Extracting #5: cost 3 inf + 4862
1553935112.206 * * [simplify]: Extracting #6: cost 0 inf + 7748
1553935112.206 * [simplify]: Simplified to (*.p16 re (-.p16 re im))
1553935112.206 * [simplify]: Simplified (2 2) to (λ (re im) (+.p16 (*.p16 (-.p16 re im) im) (*.p16 re (-.p16 re im))))
1553935112.206 * * * * [progress]: [ 2 / 5 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (*.p16 re (-.p16 re im))))>
1553935112.206 * [simplify]: Simplifying (*.p16 re (-.p16 re im))
1553935112.207 * * [simplify]: iters left: 2 (4 enodes)
1553935112.207 * * [simplify]: iters left: 1 (16 enodes)
1553935112.210 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935112.210 * * [simplify]: Extracting #1: cost 9 inf + 0
1553935112.210 * * [simplify]: Extracting #2: cost 11 inf + 1
1553935112.210 * * [simplify]: Extracting #3: cost 13 inf + 323
1553935112.210 * * [simplify]: Extracting #4: cost 9 inf + 1933
1553935112.210 * * [simplify]: Extracting #5: cost 3 inf + 4862
1553935112.211 * * [simplify]: Extracting #6: cost 0 inf + 7748
1553935112.211 * [simplify]: Simplified to (*.p16 re (-.p16 re im))
1553935112.211 * [simplify]: Simplified (2 2) to (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (*.p16 re (-.p16 re im))))
1553935112.211 * * * * [progress]: [ 3 / 5 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (-.p16 (*.p16 re re) (*.p16 im im)) (+.p16 im re)) (+.p16 re im)))>
1553935112.211 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 re re) (*.p16 im im)) (+.p16 im re))
1553935112.211 * * [simplify]: iters left: 3 (7 enodes)
1553935112.213 * * [simplify]: iters left: 2 (28 enodes)
1553935112.219 * * [simplify]: iters left: 1 (79 enodes)
1553935112.237 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935112.237 * * [simplify]: Extracting #1: cost 23 inf + 0
1553935112.237 * * [simplify]: Extracting #2: cost 63 inf + 0
1553935112.238 * * [simplify]: Extracting #3: cost 75 inf + 1531
1553935112.239 * * [simplify]: Extracting #4: cost 37 inf + 47856
1553935112.242 * * [simplify]: Extracting #5: cost 1 inf + 91596
1553935112.245 * * [simplify]: Extracting #6: cost 0 inf + 94238
1553935112.249 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 re im))
1553935112.249 * [simplify]: Simplified (2 1) to (λ (re im) (/.p16 (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 re im)) (+.p16 re im)))
1553935112.249 * * * * [progress]: [ 4 / 5 ] simplifiying candidate #<alt (λ (re im) (*.p16 (+.p16 im re) (-.p16 re im)))>
1553935112.249 * * * * [progress]: [ 5 / 5 ] simplifiying candidate #<alt (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))>
1553935112.249 * [simplify]: Simplifying (*.p16 (-.p16 re im) (+.p16 im re))
1553935112.249 * * [simplify]: iters left: 2 (5 enodes)
1553935112.258 * * [simplify]: iters left: 1 (23 enodes)
1553935112.262 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935112.262 * * [simplify]: Extracting #1: cost 16 inf + 0
1553935112.263 * * [simplify]: Extracting #2: cost 31 inf + 0
1553935112.263 * * [simplify]: Extracting #3: cost 28 inf + 323
1553935112.263 * * [simplify]: Extracting #4: cost 9 inf + 8236
1553935112.263 * * [simplify]: Extracting #5: cost 0 inf + 14252
1553935112.264 * [simplify]: Simplified to (*.p16 (+.p16 im re) (-.p16 re im))
1553935112.264 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (+.p16 im re) (-.p16 re im)))
1553935112.264 * * * [progress]: adding candidates to table
1553935112.395 * * [progress]: iteration 2 / 4
1553935112.395 * * * [progress]: picking best candidate
1553935112.422 * * * * [pick]: Picked  #<alt (λ (re im) (-.p16 (*.p16 re re) (*.p16 im im)))>
1553935112.422 * * * [progress]: localizing error
1553935112.545 * * * [progress]: generating rewritten candidates
1553935112.545 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1553935112.551 * * * [progress]: generating series expansions
1553935112.551 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1553935112.551 * * * [progress]: simplifying candidates
1553935112.551 * * * * [progress]: [ 1 / 4 ] simplifiying candidate #<alt (λ (re im) (*.p16 (+.p16 re im) (-.p16 re im)))>
1553935112.551 * [simplify]: Simplifying (+.p16 re im)
1553935112.552 * * [simplify]: iters left: 1 (3 enodes)
1553935112.553 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935112.553 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935112.553 * * [simplify]: Extracting #2: cost 1 inf + 2
1553935112.553 * * [simplify]: Extracting #3: cost 0 inf + 44
1553935112.553 * [simplify]: Simplified to (+.p16 im re)
1553935112.553 * [simplify]: Simplified (2 1) to (λ (re im) (*.p16 (+.p16 im re) (-.p16 re im)))
1553935112.553 * [simplify]: Simplifying (-.p16 re im)
1553935112.553 * * [simplify]: iters left: 1 (3 enodes)
1553935112.555 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935112.555 * * [simplify]: Extracting #1: cost 6 inf + 0
1553935112.555 * * [simplify]: Extracting #2: cost 5 inf + 44
1553935112.555 * * [simplify]: Extracting #3: cost 0 inf + 1571
1553935112.555 * [simplify]: Simplified to (-.p16 re im)
1553935112.555 * [simplify]: Simplified (2 2) to (λ (re im) (*.p16 (+.p16 re im) (-.p16 re im)))
1553935112.555 * * * * [progress]: [ 2 / 4 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 re re) (neg.p16 (*.p16 im im))))>
1553935112.555 * * * * [progress]: [ 3 / 4 ] simplifiying candidate #<alt (λ (re im) (/.p16 (-.p16 (*.p16 (*.p16 re re) (*.p16 re re)) (*.p16 (*.p16 im im) (*.p16 im im))) (+.p16 (*.p16 re re) (*.p16 im im))))>
1553935112.555 * * * * [progress]: [ 4 / 4 ] simplifiying candidate #<alt (λ (re im) (-.p16 (*.p16 re re) (*.p16 im im)))>
1553935112.556 * [simplify]: Simplifying (-.p16 (*.p16 re re) (*.p16 im im))
1553935112.556 * * [simplify]: iters left: 2 (5 enodes)
1553935112.558 * * [simplify]: iters left: 1 (19 enodes)
1553935112.565 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935112.565 * * [simplify]: Extracting #1: cost 8 inf + 0
1553935112.565 * * [simplify]: Extracting #2: cost 16 inf + 0
1553935112.565 * * [simplify]: Extracting #3: cost 16 inf + 1766
1553935112.566 * * [simplify]: Extracting #4: cost 6 inf + 6819
1553935112.566 * * [simplify]: Extracting #5: cost 1 inf + 12227
1553935112.567 * * [simplify]: Extracting #6: cost 0 inf + 13549
1553935112.568 * [simplify]: Simplified to (*.p16 (-.p16 re im) (+.p16 im re))
1553935112.568 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))
1553935112.568 * * * [progress]: adding candidates to table
1553935112.754 * * [progress]: iteration 3 / 4
1553935112.754 * * * [progress]: picking best candidate
1553935112.767 * * * * [pick]: Picked  #<alt (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (*.p16 re (-.p16 re im))))>
1553935112.767 * * * [progress]: localizing error
1553935112.927 * * * [progress]: generating rewritten candidates
1553935112.927 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1553935112.931 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
1553935112.934 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
1553935112.938 * * * [progress]: generating series expansions
1553935112.938 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1553935112.938 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
1553935112.938 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
1553935112.938 * * * [progress]: simplifying candidates
1553935112.938 * * * * [progress]: [ 1 / 17 ] simplifiying candidate #<alt (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))>
1553935112.938 * [simplify]: Simplifying (-.p16 re im)
1553935112.938 * * [simplify]: iters left: 1 (3 enodes)
1553935112.939 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935112.939 * * [simplify]: Extracting #1: cost 6 inf + 0
1553935112.939 * * [simplify]: Extracting #2: cost 5 inf + 44
1553935112.939 * * [simplify]: Extracting #3: cost 0 inf + 1571
1553935112.939 * [simplify]: Simplified to (-.p16 re im)
1553935112.939 * [simplify]: Simplified (2 1) to (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))
1553935112.939 * [simplify]: Simplifying (+.p16 im re)
1553935112.939 * * [simplify]: iters left: 1 (3 enodes)
1553935112.940 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935112.940 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935112.940 * * [simplify]: Extracting #2: cost 1 inf + 2
1553935112.940 * * [simplify]: Extracting #3: cost 0 inf + 44
1553935112.940 * [simplify]: Simplified to (+.p16 re im)
1553935112.940 * [simplify]: Simplified (2 2) to (λ (re im) (*.p16 (-.p16 re im) (+.p16 re im)))
1553935112.940 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #<alt (λ (re im) (+.p16 (+.p16 (*.p16 im (-.p16 re im)) (*.p16 re re)) (*.p16 re (neg.p16 im))))>
1553935112.940 * [simplify]: Simplifying (*.p16 re (neg.p16 im))
1553935112.940 * * [simplify]: iters left: 2 (4 enodes)
1553935112.941 * * [simplify]: iters left: 1 (9 enodes)
1553935112.944 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935112.944 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935112.944 * * [simplify]: Extracting #2: cost 3 inf + 1
1553935112.944 * * [simplify]: Extracting #3: cost 0 inf + 485
1553935112.944 * [simplify]: Simplified to (*.p16 re (neg.p16 im))
1553935112.944 * [simplify]: Simplified (2 2) to (λ (re im) (+.p16 (+.p16 (*.p16 im (-.p16 re im)) (*.p16 re re)) (*.p16 re (neg.p16 im))))
1553935112.944 * * * * [progress]: [ 3 / 17 ] simplifiying candidate #<alt (λ (re im) (+.p16 (+.p16 (*.p16 im (-.p16 re im)) (*.p16 re re)) (*.p16 (neg.p16 im) re)))>
1553935112.944 * [simplify]: Simplifying (*.p16 (neg.p16 im) re)
1553935112.944 * * [simplify]: iters left: 2 (4 enodes)
1553935112.946 * * [simplify]: iters left: 1 (9 enodes)
1553935112.948 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935112.948 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935112.948 * * [simplify]: Extracting #2: cost 3 inf + 1
1553935112.948 * * [simplify]: Extracting #3: cost 2 inf + 2
1553935112.948 * * [simplify]: Extracting #4: cost 0 inf + 485
1553935112.948 * [simplify]: Simplified to (*.p16 re (neg.p16 im))
1553935112.948 * [simplify]: Simplified (2 2) to (λ (re im) (+.p16 (+.p16 (*.p16 im (-.p16 re im)) (*.p16 re re)) (*.p16 re (neg.p16 im))))
1553935112.948 * * * * [progress]: [ 4 / 17 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 im re) (+.p16 (*.p16 im (neg.p16 im)) (*.p16 re (-.p16 re im)))))>
1553935112.949 * [simplify]: Simplifying (*.p16 im re)
1553935112.949 * * [simplify]: iters left: 1 (3 enodes)
1553935112.950 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935112.950 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935112.950 * * [simplify]: Extracting #2: cost 1 inf + 2
1553935112.950 * * [simplify]: Extracting #3: cost 0 inf + 324
1553935112.950 * [simplify]: Simplified to (*.p16 re im)
1553935112.950 * [simplify]: Simplified (2 1) to (λ (re im) (+.p16 (*.p16 re im) (+.p16 (*.p16 im (neg.p16 im)) (*.p16 re (-.p16 re im)))))
1553935112.950 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 re im) (+.p16 (*.p16 (neg.p16 im) im) (*.p16 re (-.p16 re im)))))>
1553935112.951 * [simplify]: Simplifying (*.p16 re im)
1553935112.951 * * [simplify]: iters left: 1 (3 enodes)
1553935112.952 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935112.952 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935112.952 * * [simplify]: Extracting #2: cost 1 inf + 2
1553935112.952 * * [simplify]: Extracting #3: cost 0 inf + 324
1553935112.952 * [simplify]: Simplified to (*.p16 im re)
1553935112.952 * [simplify]: Simplified (2 1) to (λ (re im) (+.p16 (*.p16 im re) (+.p16 (*.p16 (neg.p16 im) im) (*.p16 re (-.p16 re im)))))
1553935112.952 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 re (-.p16 re im)) (*.p16 im (-.p16 re im))))>
1553935112.952 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (+.p16 (*.p16 re re) (*.p16 re (neg.p16 im)))))>
1553935112.952 * [simplify]: Simplifying (*.p16 re (neg.p16 im))
1553935112.953 * * [simplify]: iters left: 2 (4 enodes)
1553935112.954 * * [simplify]: iters left: 1 (9 enodes)
1553935112.955 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935112.955 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935112.955 * * [simplify]: Extracting #2: cost 3 inf + 1
1553935112.955 * * [simplify]: Extracting #3: cost 0 inf + 485
1553935112.955 * [simplify]: Simplified to (*.p16 re (neg.p16 im))
1553935112.955 * [simplify]: Simplified (2 2 2) to (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (+.p16 (*.p16 re re) (*.p16 re (neg.p16 im)))))
1553935112.955 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (+.p16 (*.p16 re re) (*.p16 (neg.p16 im) re))))>
1553935112.955 * [simplify]: Simplifying (*.p16 (neg.p16 im) re)
1553935112.955 * * [simplify]: iters left: 2 (4 enodes)
1553935112.956 * * [simplify]: iters left: 1 (9 enodes)
1553935112.957 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935112.957 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935112.957 * * [simplify]: Extracting #2: cost 3 inf + 1
1553935112.957 * * [simplify]: Extracting #3: cost 2 inf + 2
1553935112.957 * * [simplify]: Extracting #4: cost 0 inf + 485
1553935112.957 * [simplify]: Simplified to (*.p16 re (neg.p16 im))
1553935112.957 * [simplify]: Simplified (2 2 2) to (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (+.p16 (*.p16 re re) (*.p16 re (neg.p16 im)))))
1553935112.957 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (/.p16 (*.p16 re (-.p16 (*.p16 re re) (*.p16 im im))) (+.p16 re im))))>
1553935112.957 * [simplify]: Simplifying (+.p16 re im)
1553935112.957 * * [simplify]: iters left: 1 (3 enodes)
1553935112.958 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935112.958 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935112.958 * * [simplify]: Extracting #2: cost 1 inf + 2
1553935112.958 * * [simplify]: Extracting #3: cost 0 inf + 44
1553935112.958 * [simplify]: Simplified to (+.p16 im re)
1553935112.958 * [simplify]: Simplified (2 2 2) to (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (/.p16 (*.p16 re (-.p16 (*.p16 re re) (*.p16 im im))) (+.p16 im re))))
1553935112.958 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (*.p16 (-.p16 re im) re)))>
1553935112.958 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #<alt (λ (re im) (+.p16 (+.p16 (*.p16 im re) (*.p16 im (neg.p16 im))) (*.p16 re (-.p16 re im))))>
1553935112.958 * [simplify]: Simplifying (*.p16 im (neg.p16 im))
1553935112.958 * * [simplify]: iters left: 2 (3 enodes)
1553935112.959 * * [simplify]: iters left: 1 (6 enodes)
1553935112.960 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935112.960 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935112.960 * * [simplify]: Extracting #2: cost 2 inf + 1
1553935112.960 * * [simplify]: Extracting #3: cost 0 inf + 483
1553935112.960 * [simplify]: Simplified to (*.p16 (neg.p16 im) im)
1553935112.960 * [simplify]: Simplified (2 1 2) to (λ (re im) (+.p16 (+.p16 (*.p16 im re) (*.p16 (neg.p16 im) im)) (*.p16 re (-.p16 re im))))
1553935112.960 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #<alt (λ (re im) (+.p16 (+.p16 (*.p16 re im) (*.p16 (neg.p16 im) im)) (*.p16 re (-.p16 re im))))>
1553935112.960 * [simplify]: Simplifying (*.p16 (neg.p16 im) im)
1553935112.960 * * [simplify]: iters left: 2 (3 enodes)
1553935112.961 * * [simplify]: iters left: 1 (6 enodes)
1553935112.961 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935112.961 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935112.961 * * [simplify]: Extracting #2: cost 2 inf + 1
1553935112.961 * * [simplify]: Extracting #3: cost 0 inf + 483
1553935112.961 * [simplify]: Simplified to (*.p16 (neg.p16 im) im)
1553935112.961 * [simplify]: Simplified (2 1 2) to (λ (re im) (+.p16 (+.p16 (*.p16 re im) (*.p16 (neg.p16 im) im)) (*.p16 re (-.p16 re im))))
1553935112.962 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #<alt (λ (re im) (+.p16 (/.p16 (*.p16 im (-.p16 (*.p16 re re) (*.p16 im im))) (+.p16 re im)) (*.p16 re (-.p16 re im))))>
1553935112.962 * [simplify]: Simplifying (+.p16 re im)
1553935112.962 * * [simplify]: iters left: 1 (3 enodes)
1553935112.962 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935112.962 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935112.962 * * [simplify]: Extracting #2: cost 1 inf + 2
1553935112.962 * * [simplify]: Extracting #3: cost 0 inf + 44
1553935112.962 * [simplify]: Simplified to (+.p16 im re)
1553935112.962 * [simplify]: Simplified (2 1 2) to (λ (re im) (+.p16 (/.p16 (*.p16 im (-.p16 (*.p16 re re) (*.p16 im im))) (+.p16 im re)) (*.p16 re (-.p16 re im))))
1553935112.962 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 (-.p16 re im) im) (*.p16 re (-.p16 re im))))>
1553935112.963 * * * * [progress]: [ 15 / 17 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (*.p16 re (-.p16 re im))))>
1553935112.963 * [simplify]: Simplifying (*.p16 re (-.p16 re im))
1553935112.963 * * [simplify]: iters left: 2 (4 enodes)
1553935112.964 * * [simplify]: iters left: 1 (16 enodes)
1553935112.966 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935112.966 * * [simplify]: Extracting #1: cost 9 inf + 0
1553935112.966 * * [simplify]: Extracting #2: cost 11 inf + 1
1553935112.966 * * [simplify]: Extracting #3: cost 13 inf + 323
1553935112.966 * * [simplify]: Extracting #4: cost 9 inf + 1933
1553935112.967 * * [simplify]: Extracting #5: cost 3 inf + 4862
1553935112.967 * * [simplify]: Extracting #6: cost 0 inf + 7748
1553935112.967 * [simplify]: Simplified to (*.p16 re (-.p16 re im))
1553935112.967 * [simplify]: Simplified (2 2) to (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (*.p16 re (-.p16 re im))))
1553935112.967 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (*.p16 re (-.p16 re im))))>
1553935112.967 * [simplify]: Simplifying (*.p16 re (-.p16 re im))
1553935112.967 * * [simplify]: iters left: 2 (4 enodes)
1553935112.968 * * [simplify]: iters left: 1 (16 enodes)
1553935112.971 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935112.971 * * [simplify]: Extracting #1: cost 9 inf + 0
1553935112.971 * * [simplify]: Extracting #2: cost 11 inf + 1
1553935112.971 * * [simplify]: Extracting #3: cost 13 inf + 323
1553935112.971 * * [simplify]: Extracting #4: cost 9 inf + 1933
1553935112.971 * * [simplify]: Extracting #5: cost 3 inf + 4862
1553935112.971 * * [simplify]: Extracting #6: cost 0 inf + 7748
1553935112.972 * [simplify]: Simplified to (*.p16 re (-.p16 re im))
1553935112.972 * [simplify]: Simplified (2 2) to (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (*.p16 re (-.p16 re im))))
1553935112.972 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (*.p16 re (-.p16 re im))))>
1553935112.972 * [simplify]: Simplifying (*.p16 re (-.p16 re im))
1553935112.972 * * [simplify]: iters left: 2 (4 enodes)
1553935112.973 * * [simplify]: iters left: 1 (16 enodes)
1553935112.975 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935112.975 * * [simplify]: Extracting #1: cost 9 inf + 0
1553935112.975 * * [simplify]: Extracting #2: cost 11 inf + 1
1553935112.975 * * [simplify]: Extracting #3: cost 13 inf + 323
1553935112.975 * * [simplify]: Extracting #4: cost 9 inf + 1933
1553935112.976 * * [simplify]: Extracting #5: cost 3 inf + 4862
1553935112.976 * * [simplify]: Extracting #6: cost 0 inf + 7748
1553935112.976 * [simplify]: Simplified to (*.p16 re (-.p16 re im))
1553935112.976 * [simplify]: Simplified (2 2) to (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (*.p16 re (-.p16 re im))))
1553935112.976 * * * [progress]: adding candidates to table
1553935113.529 * * [progress]: iteration 4 / 4
1553935113.530 * * * [progress]: picking best candidate
1553935113.590 * * * * [pick]: Picked  #<alt (λ (re im) (+.p16 (+.p16 (*.p16 re im) (*.p16 (neg.p16 im) im)) (*.p16 re (-.p16 re im))))>
1553935113.591 * * * [progress]: localizing error
1553935113.844 * * * [progress]: generating rewritten candidates
1553935113.844 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1553935113.864 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
1553935113.870 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
1553935113.873 * * * [progress]: generating series expansions
1553935113.873 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1553935113.873 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
1553935113.873 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
1553935113.873 * * * [progress]: simplifying candidates
1553935113.873 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (re im) (+.p16 (+.p16 (+.p16 (*.p16 re im) (*.p16 (neg.p16 im) im)) (*.p16 re re)) (*.p16 re (neg.p16 im))))>
1553935113.873 * [simplify]: Simplifying (*.p16 re (neg.p16 im))
1553935113.873 * * [simplify]: iters left: 2 (4 enodes)
1553935113.874 * * [simplify]: iters left: 1 (9 enodes)
1553935113.875 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935113.875 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935113.875 * * [simplify]: Extracting #2: cost 3 inf + 1
1553935113.875 * * [simplify]: Extracting #3: cost 0 inf + 485
1553935113.875 * [simplify]: Simplified to (*.p16 re (neg.p16 im))
1553935113.875 * [simplify]: Simplified (2 2) to (λ (re im) (+.p16 (+.p16 (+.p16 (*.p16 re im) (*.p16 (neg.p16 im) im)) (*.p16 re re)) (*.p16 re (neg.p16 im))))
1553935113.875 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (re im) (+.p16 (+.p16 (+.p16 (*.p16 re im) (*.p16 (neg.p16 im) im)) (*.p16 re re)) (*.p16 (neg.p16 im) re)))>
1553935113.876 * [simplify]: Simplifying (*.p16 (neg.p16 im) re)
1553935113.876 * * [simplify]: iters left: 2 (4 enodes)
1553935113.876 * * [simplify]: iters left: 1 (9 enodes)
1553935113.877 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935113.877 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935113.877 * * [simplify]: Extracting #2: cost 3 inf + 1
1553935113.878 * * [simplify]: Extracting #3: cost 2 inf + 2
1553935113.878 * * [simplify]: Extracting #4: cost 0 inf + 485
1553935113.878 * [simplify]: Simplified to (*.p16 re (neg.p16 im))
1553935113.878 * [simplify]: Simplified (2 2) to (λ (re im) (+.p16 (+.p16 (+.p16 (*.p16 re im) (*.p16 (neg.p16 im) im)) (*.p16 re re)) (*.p16 re (neg.p16 im))))
1553935113.878 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 re im) (+.p16 (*.p16 (neg.p16 im) im) (*.p16 re (-.p16 re im)))))>
1553935113.878 * [simplify]: Simplifying (*.p16 re im)
1553935113.878 * * [simplify]: iters left: 1 (3 enodes)
1553935113.879 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935113.879 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935113.879 * * [simplify]: Extracting #2: cost 1 inf + 2
1553935113.879 * * [simplify]: Extracting #3: cost 0 inf + 324
1553935113.879 * [simplify]: Simplified to (*.p16 im re)
1553935113.879 * [simplify]: Simplified (2 1) to (λ (re im) (+.p16 (*.p16 im re) (+.p16 (*.p16 (neg.p16 im) im) (*.p16 re (-.p16 re im)))))
1553935113.879 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 re (-.p16 re im)) (+.p16 (*.p16 re im) (*.p16 (neg.p16 im) im))))>
1553935113.879 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 im (+.p16 re (neg.p16 im))) (*.p16 re (-.p16 re im))))>
1553935113.880 * [simplify]: Simplifying (+.p16 re (neg.p16 im))
1553935113.880 * * [simplify]: iters left: 2 (4 enodes)
1553935113.880 * * [simplify]: iters left: 1 (10 enodes)
1553935113.882 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935113.882 * * [simplify]: Extracting #1: cost 6 inf + 0
1553935113.882 * * [simplify]: Extracting #2: cost 5 inf + 83
1553935113.882 * * [simplify]: Extracting #3: cost 0 inf + 1571
1553935113.882 * [simplify]: Simplified to (-.p16 re im)
1553935113.882 * [simplify]: Simplified (2 1 2) to (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (*.p16 re (-.p16 re im))))
1553935113.882 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (re im) (+.p16 (+.p16 (*.p16 (neg.p16 im) im) (*.p16 re im)) (*.p16 re (-.p16 re im))))>
1553935113.882 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (re im) (+.p16 (+.p16 (*.p16 re im) (*.p16 (neg.p16 im) im)) (+.p16 (*.p16 re re) (*.p16 re (neg.p16 im)))))>
1553935113.882 * [simplify]: Simplifying (*.p16 re (neg.p16 im))
1553935113.882 * * [simplify]: iters left: 2 (4 enodes)
1553935113.883 * * [simplify]: iters left: 1 (9 enodes)
1553935113.884 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935113.884 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935113.884 * * [simplify]: Extracting #2: cost 3 inf + 1
1553935113.884 * * [simplify]: Extracting #3: cost 0 inf + 485
1553935113.884 * [simplify]: Simplified to (*.p16 re (neg.p16 im))
1553935113.884 * [simplify]: Simplified (2 2 2) to (λ (re im) (+.p16 (+.p16 (*.p16 re im) (*.p16 (neg.p16 im) im)) (+.p16 (*.p16 re re) (*.p16 re (neg.p16 im)))))
1553935113.885 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (re im) (+.p16 (+.p16 (*.p16 re im) (*.p16 (neg.p16 im) im)) (+.p16 (*.p16 re re) (*.p16 (neg.p16 im) re))))>
1553935113.885 * [simplify]: Simplifying (*.p16 (neg.p16 im) re)
1553935113.885 * * [simplify]: iters left: 2 (4 enodes)
1553935113.885 * * [simplify]: iters left: 1 (9 enodes)
1553935113.887 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935113.887 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935113.887 * * [simplify]: Extracting #2: cost 3 inf + 1
1553935113.887 * * [simplify]: Extracting #3: cost 2 inf + 2
1553935113.887 * * [simplify]: Extracting #4: cost 0 inf + 485
1553935113.887 * [simplify]: Simplified to (*.p16 re (neg.p16 im))
1553935113.887 * [simplify]: Simplified (2 2 2) to (λ (re im) (+.p16 (+.p16 (*.p16 re im) (*.p16 (neg.p16 im) im)) (+.p16 (*.p16 re re) (*.p16 re (neg.p16 im)))))
1553935113.887 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (re im) (+.p16 (+.p16 (*.p16 re im) (*.p16 (neg.p16 im) im)) (/.p16 (*.p16 re (-.p16 (*.p16 re re) (*.p16 im im))) (+.p16 re im))))>
1553935113.887 * [simplify]: Simplifying (+.p16 re im)
1553935113.887 * * [simplify]: iters left: 1 (3 enodes)
1553935113.888 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935113.888 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935113.888 * * [simplify]: Extracting #2: cost 1 inf + 2
1553935113.888 * * [simplify]: Extracting #3: cost 0 inf + 44
1553935113.888 * [simplify]: Simplified to (+.p16 im re)
1553935113.888 * [simplify]: Simplified (2 2 2) to (λ (re im) (+.p16 (+.p16 (*.p16 re im) (*.p16 (neg.p16 im) im)) (/.p16 (*.p16 re (-.p16 (*.p16 re re) (*.p16 im im))) (+.p16 im re))))
1553935113.888 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (re im) (+.p16 (+.p16 (*.p16 re im) (*.p16 (neg.p16 im) im)) (*.p16 (-.p16 re im) re)))>
1553935113.888 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (re im) (+.p16 (+.p16 (*.p16 re im) (*.p16 (neg.p16 im) im)) (*.p16 re (-.p16 re im))))>
1553935113.888 * [simplify]: Simplifying (*.p16 (neg.p16 im) im)
1553935113.888 * * [simplify]: iters left: 2 (3 enodes)
1553935113.889 * * [simplify]: iters left: 1 (6 enodes)
1553935113.890 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935113.890 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935113.890 * * [simplify]: Extracting #2: cost 2 inf + 1
1553935113.890 * * [simplify]: Extracting #3: cost 0 inf + 483
1553935113.890 * [simplify]: Simplified to (*.p16 (neg.p16 im) im)
1553935113.890 * [simplify]: Simplified (2 1 2) to (λ (re im) (+.p16 (+.p16 (*.p16 re im) (*.p16 (neg.p16 im) im)) (*.p16 re (-.p16 re im))))
1553935113.890 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (re im) (+.p16 (+.p16 (*.p16 re im) (*.p16 (neg.p16 im) im)) (*.p16 re (-.p16 re im))))>
1553935113.890 * [simplify]: Simplifying (*.p16 (neg.p16 im) im)
1553935113.890 * * [simplify]: iters left: 2 (3 enodes)
1553935113.890 * * [simplify]: iters left: 1 (6 enodes)
1553935113.891 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935113.891 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935113.891 * * [simplify]: Extracting #2: cost 2 inf + 1
1553935113.891 * * [simplify]: Extracting #3: cost 0 inf + 483
1553935113.891 * [simplify]: Simplified to (*.p16 (neg.p16 im) im)
1553935113.891 * [simplify]: Simplified (2 1 2) to (λ (re im) (+.p16 (+.p16 (*.p16 re im) (*.p16 (neg.p16 im) im)) (*.p16 re (-.p16 re im))))
1553935113.891 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (re im) (+.p16 (+.p16 (*.p16 re im) (*.p16 (neg.p16 im) im)) (*.p16 re (-.p16 re im))))>
1553935113.892 * [simplify]: Simplifying (*.p16 (neg.p16 im) im)
1553935113.892 * * [simplify]: iters left: 2 (3 enodes)
1553935113.892 * * [simplify]: iters left: 1 (6 enodes)
1553935113.893 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935113.893 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935113.893 * * [simplify]: Extracting #2: cost 2 inf + 1
1553935113.893 * * [simplify]: Extracting #3: cost 0 inf + 483
1553935113.893 * [simplify]: Simplified to (*.p16 (neg.p16 im) im)
1553935113.893 * [simplify]: Simplified (2 1 2) to (λ (re im) (+.p16 (+.p16 (*.p16 re im) (*.p16 (neg.p16 im) im)) (*.p16 re (-.p16 re im))))
1553935113.893 * * * [progress]: adding candidates to table
1553935114.569 * [progress]: [Phase 3 of 3] Extracting.
1553935114.569 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (+.p16 (+.p16 (+.p16 (*.p16 re im) (*.p16 (neg.p16 im) im)) (*.p16 re re)) (*.p16 (neg.p16 im) re)))> #<alt (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))> #<alt (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (*.p16 re (-.p16 re im))))> #<alt (λ (re im) (-.p16 (*.p16 re re) (*.p16 im im)))>)
1553935114.571 * * * [regime-changes]: Trying 2 branch expressions: (im re)
1553935114.571 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (+.p16 (+.p16 (+.p16 (*.p16 re im) (*.p16 (neg.p16 im) im)) (*.p16 re re)) (*.p16 (neg.p16 im) re)))> #<alt (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))> #<alt (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (*.p16 re (-.p16 re im))))> #<alt (λ (re im) (-.p16 (*.p16 re re) (*.p16 im im)))>)
1553935114.901 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (+.p16 (+.p16 (+.p16 (*.p16 re im) (*.p16 (neg.p16 im) im)) (*.p16 re re)) (*.p16 (neg.p16 im) re)))> #<alt (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))> #<alt (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (*.p16 re (-.p16 re im))))> #<alt (λ (re im) (-.p16 (*.p16 re re) (*.p16 im im)))>)
1553935115.210 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
1553935115.210 * [simplify]: Simplifying (*.p16 (-.p16 re im) (+.p16 im re))
1553935115.210 * * [simplify]: iters left: 2 (5 enodes)
1553935115.210 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935115.210 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935115.210 * * [simplify]: Extracting #2: cost 5 inf + 0
1553935115.211 * * [simplify]: Extracting #3: cost 3 inf + 2
1553935115.211 * * [simplify]: Extracting #4: cost 0 inf + 568
1553935115.211 * [simplify]: Simplified to (*.p16 (-.p16 re im) (+.p16 im re))
1553935115.211 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1553935115.242 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1553935115.242 * * * * [points]: Setting MPFR precision to 64
1553935115.244 * * * * [points]: Setting MPFR precision to 320
1553935115.245 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1553935115.246 * * * * [points]: Setting MPFR precision to 64
1553935115.248 * * * * [points]: Setting MPFR precision to 320
1553935115.250 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1553935115.251 * * * * [points]: Setting MPFR precision to 64
1553935115.254 * * * * [points]: Setting MPFR precision to 320
1553935115.259 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1553935115.260 * * * * [points]: Setting MPFR precision to 64
1553935115.266 * * * * [points]: Setting MPFR precision to 320
1553935115.274 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1553935115.275 * * * * [points]: Setting MPFR precision to 64
1553935115.287 * * * * [points]: Setting MPFR precision to 320
1553935115.303 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1553935115.304 * * * * [points]: Setting MPFR precision to 64
1553935115.328 * * * * [points]: Setting MPFR precision to 320
1553935115.360 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1553935115.361 * * * * [points]: Setting MPFR precision to 64
1553935115.433 * * * * [points]: Setting MPFR precision to 320
1553935115.497 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1553935115.498 * * * * [points]: Setting MPFR precision to 64
1553935115.619 * * * * [points]: Setting MPFR precision to 320
1553935115.806 * * * * [points]: Computing exacts for 8000 points
1553935115.808 * * * * [points]: Setting MPFR precision to 64
1553935116.581 * * * * [points]: Setting MPFR precision to 320
1553935117.470 * * * * [points]: Filtering points with unrepresentable outputs
1553935118.628 * * * * [points]: Sampled 8000 points with exact outputs
1553935120.304 * [regime-testing]: Baseline error score: 64.0
1553935120.306 * [regime-testing]: Oracle error score: 64.0
1553935120.310 * [regime-testing]: End program error score: 0.09518872187554087