1550699056.564 * [misc]progress:  [Phase 1 of 3] Setting up.
1550699056.564 * * * [misc]progress:  [1/2] Preparing points
1550699056.564 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550699056.567 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550699056.569 * * * * [misc]points:  Setting MPFR precision to 64
1550699056.571 * * * * [misc]points:  Setting MPFR precision to 320
1550699056.575 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550699056.577 * * * * [misc]points:  Setting MPFR precision to 64
1550699056.580 * * * * [misc]points:  Setting MPFR precision to 320
1550699056.585 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550699056.587 * * * * [misc]points:  Setting MPFR precision to 64
1550699056.593 * * * * [misc]points:  Setting MPFR precision to 320
1550699056.601 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550699056.603 * * * * [misc]points:  Setting MPFR precision to 64
1550699056.613 * * * * [misc]points:  Setting MPFR precision to 320
1550699056.626 * * * * [misc]points:  Computing exacts for 256 points
1550699056.628 * * * * [misc]points:  Setting MPFR precision to 64
1550699056.654 * * * * [misc]points:  Setting MPFR precision to 320
1550699056.675 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699056.714 * * * * [exit]points:  Sampled 256 points with exact outputs
1550699056.714 * * * [misc]progress:  [2/2] Setting up program.
1550699056.729 * [misc]progress:  [Phase 2 of 3] Improving.
1550699056.729 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (-.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1)))>
1550699056.730 * [enter]simplify:  Simplifying (-.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1))
1550699056.730 * * [misc]simplify:  iters left: 4 (11 enodes)
1550699056.732 * * [misc]simplify:  iters left: 3 (43 enodes)
1550699056.740 * * [misc]simplify:  iters left: 2 (148 enodes)
1550699056.809 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699056.809 * * [misc]simplify:  Extracting #1: cost 40 inf + 0
1550699056.810 * * [misc]simplify:  Extracting #2: cost 128 inf + 322
1550699056.811 * * [misc]simplify:  Extracting #3: cost 222 inf + 10234
1550699056.818 * * [misc]simplify:  Extracting #4: cost 153 inf + 124713
1550699056.834 * * [misc]simplify:  Extracting #5: cost 28 inf + 253727
1550699056.851 * * [misc]simplify:  Extracting #6: cost 1 inf + 271088
1550699056.867 * * [misc]simplify:  Extracting #7: cost 0 inf + 269810
1550699056.884 * * [misc]simplify:  Extracting #8: cost 0 inf + 269170
1550699056.901 * [exit]simplify:  Simplified to (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)))
1550699056.901 * [misc]simplify:  Simplified (2) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))
1550699056.951 * * [misc]progress:  iteration 1 / 4
1550699056.951 * * * [misc]progress:  picking best candidate
1550699056.980 * * * * [misc]pick:  Picked  #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))>
1550699056.980 * * * [misc]progress:  localizing error
1550699057.159 * * * [misc]progress:  generating rewritten candidates
1550699057.159 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 2)
1550699057.163 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1550699057.166 * * * [misc]progress:  generating series expansions
1550699057.166 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 2)
1550699057.166 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1550699057.166 * * * [misc]progress:  simplifying candidates
1550699057.166 * * * * [misc]progress:  [ 1 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (+.p16 (-.p16 d2 d3) d4) (neg.p16 d1))))>
1550699057.166 * [enter]simplify:  Simplifying (neg.p16 d1)
1550699057.166 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699057.167 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699057.167 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699057.167 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699057.167 * * [misc]simplify:  Extracting #3: cost 0 inf + 82
1550699057.167 * [exit]simplify:  Simplified to (neg.p16 d1)
1550699057.167 * [misc]simplify:  Simplified (2 2 2) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (+.p16 (-.p16 d2 d3) d4) (neg.p16 d1))))
1550699057.167 * * * * [misc]progress:  [ 2 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (neg.p16 d3) (-.p16 d4 d1)))))>
1550699057.167 * * * * [misc]progress:  [ 3 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))>
1550699057.167 * * * * [misc]progress:  [ 4 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (-.p16 d3 (-.p16 d4 d1)))))>
1550699057.168 * * * * [misc]progress:  [ 5 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d4 d1) (-.p16 d2 d3))))>
1550699057.168 * * * * [misc]progress:  [ 6 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d1 (-.p16 d4 d1))))>
1550699057.168 * [enter]simplify:  Simplifying (*.p16 d1 (-.p16 d4 d1))
1550699057.168 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699057.170 * * [misc]simplify:  iters left: 1 (16 enodes)
1550699057.174 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699057.174 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550699057.174 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550699057.175 * * [misc]simplify:  Extracting #3: cost 11 inf + 1249
1550699057.175 * * [misc]simplify:  Extracting #4: cost 6 inf + 3901
1550699057.175 * * [misc]simplify:  Extracting #5: cost 1 inf + 7028
1550699057.176 * * [misc]simplify:  Extracting #6: cost 0 inf + 8390
1550699057.176 * [exit]simplify:  Simplified to (*.p16 d1 (-.p16 d4 d1))
1550699057.176 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d1 (-.p16 d4 d1))))
1550699057.176 * * * * [misc]progress:  [ 7 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))>
1550699057.177 * [enter]simplify:  Simplifying (*.p16 (-.p16 d4 d1) d1)
1550699057.177 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699057.178 * * [misc]simplify:  iters left: 1 (16 enodes)
1550699057.183 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699057.183 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550699057.183 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550699057.183 * * [misc]simplify:  Extracting #3: cost 13 inf + 885
1550699057.184 * * [misc]simplify:  Extracting #4: cost 8 inf + 2697
1550699057.184 * * [misc]simplify:  Extracting #5: cost 2 inf + 6266
1550699057.184 * * [misc]simplify:  Extracting #6: cost 0 inf + 8390
1550699057.185 * [exit]simplify:  Simplified to (*.p16 (-.p16 d4 d1) d1)
1550699057.185 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))
1550699057.185 * * * * [misc]progress:  [ 8 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)) d1))>
1550699057.185 * * * * [misc]progress:  [ 9 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))>
1550699057.185 * [enter]simplify:  Simplifying (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)))
1550699057.185 * * [misc]simplify:  iters left: 3 (8 enodes)
1550699057.188 * * [misc]simplify:  iters left: 2 (42 enodes)
1550699057.202 * * [misc]simplify:  iters left: 1 (117 enodes)
1550699057.252 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699057.252 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550699057.252 * * [misc]simplify:  Extracting #2: cost 56 inf + 1
1550699057.253 * * [misc]simplify:  Extracting #3: cost 108 inf + 1181
1550699057.256 * * [misc]simplify:  Extracting #4: cost 85 inf + 24120
1550699057.266 * * [misc]simplify:  Extracting #5: cost 33 inf + 70189
1550699057.269 * * [misc]simplify:  Extracting #6: cost 1 inf + 97168
1550699057.274 * * [misc]simplify:  Extracting #7: cost 0 inf + 98411
1550699057.278 * [exit]simplify:  Simplified to (*.p16 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)) d1)
1550699057.278 * [misc]simplify:  Simplified (2) to (λ (d1 d2 d3 d4) (*.p16 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)) d1))
1550699057.278 * * * * [misc]progress:  [ 10 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))>
1550699057.278 * [enter]simplify:  Simplifying (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)))
1550699057.278 * * [misc]simplify:  iters left: 3 (8 enodes)
1550699057.280 * * [misc]simplify:  iters left: 2 (42 enodes)
1550699057.287 * * [misc]simplify:  iters left: 1 (117 enodes)
1550699057.325 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699057.325 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550699057.325 * * [misc]simplify:  Extracting #2: cost 56 inf + 1
1550699057.326 * * [misc]simplify:  Extracting #3: cost 108 inf + 1181
1550699057.328 * * [misc]simplify:  Extracting #4: cost 85 inf + 24120
1550699057.334 * * [misc]simplify:  Extracting #5: cost 33 inf + 70189
1550699057.342 * * [misc]simplify:  Extracting #6: cost 1 inf + 97168
1550699057.351 * * [misc]simplify:  Extracting #7: cost 0 inf + 98411
1550699057.359 * [exit]simplify:  Simplified to (*.p16 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)) d1)
1550699057.359 * [misc]simplify:  Simplified (2) to (λ (d1 d2 d3 d4) (*.p16 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)) d1))
1550699057.359 * * * [misc]progress:  adding candidates to table
1550699057.889 * * [misc]progress:  iteration 2 / 4
1550699057.889 * * * [misc]progress:  picking best candidate
1550699058.373 * * * * [misc]pick:  Picked  #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))>
1550699058.373 * * * [misc]progress:  localizing error
1550699058.530 * * * [misc]progress:  generating rewritten candidates
1550699058.530 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
1550699058.538 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 2)
1550699058.546 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 2 1)
1550699058.550 * * * [misc]progress:  generating series expansions
1550699058.550 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
1550699058.550 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 2)
1550699058.550 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 2 1)
1550699058.550 * * * [misc]progress:  simplifying candidates
1550699058.550 * * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d1 (-.p16 d4 d1))))>
1550699058.550 * [enter]simplify:  Simplifying (*.p16 d1 (-.p16 d4 d1))
1550699058.550 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699058.552 * * [misc]simplify:  iters left: 1 (16 enodes)
1550699058.556 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699058.556 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550699058.556 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550699058.556 * * [misc]simplify:  Extracting #3: cost 11 inf + 1249
1550699058.557 * * [misc]simplify:  Extracting #4: cost 6 inf + 3901
1550699058.557 * * [misc]simplify:  Extracting #5: cost 1 inf + 7028
1550699058.558 * * [misc]simplify:  Extracting #6: cost 0 inf + 8390
1550699058.558 * [exit]simplify:  Simplified to (*.p16 d1 (-.p16 d4 d1))
1550699058.558 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d1 (-.p16 d4 d1))))
1550699058.558 * * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (+.p16 (-.p16 d2 d3) d4)) (*.p16 d1 (neg.p16 d1))))>
1550699058.559 * [enter]simplify:  Simplifying (*.p16 d1 (neg.p16 d1))
1550699058.559 * * [misc]simplify:  iters left: 2 (3 enodes)
1550699058.560 * * [misc]simplify:  iters left: 1 (6 enodes)
1550699058.561 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699058.561 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699058.561 * * [misc]simplify:  Extracting #2: cost 2 inf + 1
1550699058.562 * * [misc]simplify:  Extracting #3: cost 0 inf + 483
1550699058.562 * [exit]simplify:  Simplified to (*.p16 (neg.p16 d1) d1)
1550699058.562 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (+.p16 (-.p16 d2 d3) d4)) (*.p16 (neg.p16 d1) d1)))
1550699058.562 * * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))>
1550699058.562 * [enter]simplify:  Simplifying (*.p16 (-.p16 d4 d1) d1)
1550699058.562 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699058.564 * * [misc]simplify:  iters left: 1 (16 enodes)
1550699058.569 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699058.569 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550699058.569 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550699058.569 * * [misc]simplify:  Extracting #3: cost 13 inf + 885
1550699058.569 * * [misc]simplify:  Extracting #4: cost 8 inf + 2697
1550699058.570 * * [misc]simplify:  Extracting #5: cost 2 inf + 6266
1550699058.570 * * [misc]simplify:  Extracting #6: cost 0 inf + 8390
1550699058.571 * [exit]simplify:  Simplified to (*.p16 (-.p16 d4 d1) d1)
1550699058.571 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))
1550699058.571 * * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (+.p16 (-.p16 d2 d3) d4) d1) (*.p16 (neg.p16 d1) d1)))>
1550699058.571 * [enter]simplify:  Simplifying (*.p16 (neg.p16 d1) d1)
1550699058.571 * * [misc]simplify:  iters left: 2 (3 enodes)
1550699058.572 * * [misc]simplify:  iters left: 1 (6 enodes)
1550699058.574 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699058.574 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699058.574 * * [misc]simplify:  Extracting #2: cost 2 inf + 1
1550699058.574 * * [misc]simplify:  Extracting #3: cost 0 inf + 483
1550699058.574 * [exit]simplify:  Simplified to (*.p16 (neg.p16 d1) d1)
1550699058.574 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 (+.p16 (-.p16 d2 d3) d4) d1) (*.p16 (neg.p16 d1) d1)))
1550699058.574 * * * * [misc]progress:  [ 5 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (/.p16 (*.p16 d1 (-.p16 (*.p16 (+.p16 (-.p16 d2 d3) d4) (+.p16 (-.p16 d2 d3) d4)) (*.p16 d1 d1))) (+.p16 (+.p16 (-.p16 d2 d3) d4) d1)))>
1550699058.574 * [enter]simplify:  Simplifying (+.p16 (+.p16 (-.p16 d2 d3) d4) d1)
1550699058.575 * * [misc]simplify:  iters left: 3 (7 enodes)
1550699058.577 * * [misc]simplify:  iters left: 2 (28 enodes)
1550699058.587 * * [misc]simplify:  iters left: 1 (69 enodes)
1550699058.612 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699058.612 * * [misc]simplify:  Extracting #1: cost 28 inf + 0
1550699058.613 * * [misc]simplify:  Extracting #2: cost 45 inf + 86
1550699058.613 * * [misc]simplify:  Extracting #3: cost 46 inf + 4229
1550699058.615 * * [misc]simplify:  Extracting #4: cost 22 inf + 17381
1550699058.618 * * [misc]simplify:  Extracting #5: cost 5 inf + 30688
1550699058.621 * * [misc]simplify:  Extracting #6: cost 0 inf + 37097
1550699058.624 * [exit]simplify:  Simplified to (+.p16 (-.p16 (+.p16 d2 d4) d3) d1)
1550699058.624 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (/.p16 (*.p16 d1 (-.p16 (*.p16 (+.p16 (-.p16 d2 d3) d4) (+.p16 (-.p16 d2 d3) d4)) (*.p16 d1 d1))) (+.p16 (-.p16 (+.p16 d2 d4) d3) d1)))
1550699058.624 * * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1) d1))>
1550699058.624 * * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))>
1550699058.625 * [enter]simplify:  Simplifying (-.p16 d2 d3)
1550699058.625 * * [misc]simplify:  iters left: 1 (3 enodes)
1550699058.626 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699058.626 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550699058.626 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550699058.626 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550699058.626 * [exit]simplify:  Simplified to (-.p16 d2 d3)
1550699058.626 * [misc]simplify:  Simplified (2 2 1) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))
1550699058.626 * * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (+.p16 (-.p16 d3 d4) d1))))>
1550699058.626 * * * * [misc]progress:  [ 9 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (+.p16 (-.p16 d2 d3) d4) (neg.p16 d1))))>
1550699058.626 * * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (/.p16 (-.p16 (*.p16 (+.p16 (-.p16 d2 d3) d4) (+.p16 (-.p16 d2 d3) d4)) (*.p16 d1 d1)) (+.p16 (+.p16 (-.p16 d2 d3) d4) d1))))>
1550699058.626 * * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 d2 (+.p16 (neg.p16 d3) d4)) d1)))>
1550699058.627 * * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (-.p16 d2 (-.p16 d3 d4)) d1)))>
1550699058.627 * * * * [misc]progress:  [ 13 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 d4 (-.p16 d2 d3)) d1)))>
1550699058.627 * * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))>
1550699058.627 * * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))>
1550699058.627 * * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))>
1550699058.627 * * * [misc]progress:  adding candidates to table
1550699059.247 * * [misc]progress:  iteration 3 / 4
1550699059.247 * * * [misc]progress:  picking best candidate
1550699059.375 * * * * [misc]pick:  Picked  #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (neg.p16 d3) (-.p16 d4 d1)))))>
1550699059.375 * * * [misc]progress:  localizing error
1550699059.501 * * * [misc]progress:  generating rewritten candidates
1550699059.501 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 2)
1550699059.504 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2)
1550699059.506 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 2 2)
1550699059.509 * * * [misc]progress:  generating series expansions
1550699059.509 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 2)
1550699059.509 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2)
1550699059.509 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 2 2)
1550699059.509 * * * [misc]progress:  simplifying candidates
1550699059.509 * * * * [misc]progress:  [ 1 / 12 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (+.p16 d2 (neg.p16 d3)) (-.p16 d4 d1))))>
1550699059.509 * [enter]simplify:  Simplifying (-.p16 d4 d1)
1550699059.509 * * [misc]simplify:  iters left: 1 (3 enodes)
1550699059.510 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699059.510 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550699059.510 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550699059.510 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550699059.510 * [exit]simplify:  Simplified to (-.p16 d4 d1)
1550699059.510 * [misc]simplify:  Simplified (2 2 2) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (+.p16 d2 (neg.p16 d3)) (-.p16 d4 d1))))
1550699059.510 * * * * [misc]progress:  [ 2 / 12 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 d2 (+.p16 (neg.p16 d3) d4)) d1)))>
1550699059.510 * * * * [misc]progress:  [ 3 / 12 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (+.p16 (neg.p16 d3) (-.p16 d4 d1)) d2)))>
1550699059.510 * * * * [misc]progress:  [ 4 / 12 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 d2) (*.p16 d1 (+.p16 (neg.p16 d3) (-.p16 d4 d1)))))>
1550699059.510 * [enter]simplify:  Simplifying (*.p16 d1 (+.p16 (neg.p16 d3) (-.p16 d4 d1)))
1550699059.510 * * [misc]simplify:  iters left: 3 (7 enodes)
1550699059.512 * * [misc]simplify:  iters left: 2 (30 enodes)
1550699059.517 * * [misc]simplify:  iters left: 1 (63 enodes)
1550699059.546 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699059.546 * * [misc]simplify:  Extracting #1: cost 14 inf + 0
1550699059.546 * * [misc]simplify:  Extracting #2: cost 31 inf + 1
1550699059.547 * * [misc]simplify:  Extracting #3: cost 48 inf + 935
1550699059.548 * * [misc]simplify:  Extracting #4: cost 28 inf + 12916
1550699059.550 * * [misc]simplify:  Extracting #5: cost 11 inf + 28880
1550699059.553 * * [misc]simplify:  Extracting #6: cost 1 inf + 38934
1550699059.556 * * [misc]simplify:  Extracting #7: cost 0 inf + 40776
1550699059.559 * [exit]simplify:  Simplified to (*.p16 d1 (-.p16 d4 (+.p16 d1 d3)))
1550699059.559 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 d2) (*.p16 d1 (-.p16 d4 (+.p16 d1 d3)))))
1550699059.559 * * * * [misc]progress:  [ 5 / 12 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 (+.p16 (neg.p16 d3) (-.p16 d4 d1)) d1)))>
1550699059.559 * [enter]simplify:  Simplifying (*.p16 (+.p16 (neg.p16 d3) (-.p16 d4 d1)) d1)
1550699059.560 * * [misc]simplify:  iters left: 3 (7 enodes)
1550699059.563 * * [misc]simplify:  iters left: 2 (24 enodes)
1550699059.571 * * [misc]simplify:  iters left: 1 (53 enodes)
1550699059.591 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699059.591 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550699059.591 * * [misc]simplify:  Extracting #2: cost 29 inf + 1
1550699059.591 * * [misc]simplify:  Extracting #3: cost 30 inf + 1661
1550699059.592 * * [misc]simplify:  Extracting #4: cost 29 inf + 7378
1550699059.594 * * [misc]simplify:  Extracting #5: cost 15 inf + 18416
1550699059.597 * * [misc]simplify:  Extracting #6: cost 1 inf + 30838
1550699059.599 * * [misc]simplify:  Extracting #7: cost 0 inf + 32840
1550699059.602 * [exit]simplify:  Simplified to (*.p16 (-.p16 d4 (+.p16 d1 d3)) d1)
1550699059.602 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 (-.p16 d4 (+.p16 d1 d3)) d1)))
1550699059.602 * * * * [misc]progress:  [ 6 / 12 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 (+.p16 d2 (+.p16 (neg.p16 d3) (-.p16 d4 d1))) d1))>
1550699059.602 * * * * [misc]progress:  [ 7 / 12 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (+.p16 (neg.p16 d3) d4) (neg.p16 d1)))))>
1550699059.602 * [enter]simplify:  Simplifying (neg.p16 d1)
1550699059.602 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699059.603 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699059.603 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699059.603 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699059.603 * * [misc]simplify:  Extracting #3: cost 0 inf + 82
1550699059.603 * [exit]simplify:  Simplified to (neg.p16 d1)
1550699059.603 * [misc]simplify:  Simplified (2 2 2 2) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (+.p16 (neg.p16 d3) d4) (neg.p16 d1)))))
1550699059.603 * * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (-.p16 (+.p16 (neg.p16 d3) d4) d1))))>
1550699059.603 * * * * [misc]progress:  [ 9 / 12 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (-.p16 d4 d1) (neg.p16 d3)))))>
1550699059.603 * * * * [misc]progress:  [ 10 / 12 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (neg.p16 d3) (-.p16 d4 d1)))))>
1550699059.604 * * * * [misc]progress:  [ 11 / 12 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (neg.p16 d3) (-.p16 d4 d1)))))>
1550699059.604 * * * * [misc]progress:  [ 12 / 12 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (neg.p16 d3) (-.p16 d4 d1)))))>
1550699059.604 * * * [misc]progress:  adding candidates to table
1550699060.390 * * [misc]progress:  iteration 4 / 4
1550699060.390 * * * [misc]progress:  picking best candidate
1550699060.530 * * * * [misc]pick:  Picked  #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (+.p16 (-.p16 d3 d4) d1))))>
1550699060.530 * * * [misc]progress:  localizing error
1550699060.750 * * * [misc]progress:  generating rewritten candidates
1550699060.750 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 2)
1550699060.752 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2)
1550699060.755 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 2 2)
1550699060.758 * * * [misc]progress:  generating series expansions
1550699060.758 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 2)
1550699060.758 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2)
1550699060.758 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 2 2)
1550699060.758 * * * [misc]progress:  simplifying candidates
1550699060.758 * * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (-.p16 d2 (-.p16 d3 d4)) d1)))>
1550699060.758 * * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))>
1550699060.759 * [enter]simplify:  Simplifying (-.p16 d4 d1)
1550699060.759 * * [misc]simplify:  iters left: 1 (3 enodes)
1550699060.760 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699060.760 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550699060.760 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550699060.760 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550699060.760 * [exit]simplify:  Simplified to (-.p16 d4 d1)
1550699060.760 * [misc]simplify:  Simplified (2 2 2) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))
1550699060.760 * * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (neg.p16 (+.p16 (-.p16 d3 d4) d1)))))>
1550699060.760 * * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (/.p16 (-.p16 (*.p16 d2 d2) (*.p16 (+.p16 (-.p16 d3 d4) d1) (+.p16 (-.p16 d3 d4) d1))) (+.p16 d2 (+.p16 (-.p16 d3 d4) d1)))))>
1550699060.761 * * * * [misc]progress:  [ 5 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d1 (-.p16 d4 d1))))>
1550699060.761 * [enter]simplify:  Simplifying (*.p16 d1 (-.p16 d4 d1))
1550699060.761 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699060.763 * * [misc]simplify:  iters left: 1 (16 enodes)
1550699060.768 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699060.768 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550699060.768 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550699060.768 * * [misc]simplify:  Extracting #3: cost 11 inf + 1249
1550699060.768 * * [misc]simplify:  Extracting #4: cost 6 inf + 3901
1550699060.769 * * [misc]simplify:  Extracting #5: cost 1 inf + 7028
1550699060.769 * * [misc]simplify:  Extracting #6: cost 0 inf + 8390
1550699060.770 * [exit]simplify:  Simplified to (*.p16 d1 (-.p16 d4 d1))
1550699060.770 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d1 (-.p16 d4 d1))))
1550699060.770 * * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 d2) (*.p16 d1 (neg.p16 (+.p16 (-.p16 d3 d4) d1)))))>
1550699060.770 * [enter]simplify:  Simplifying (*.p16 d1 (neg.p16 (+.p16 (-.p16 d3 d4) d1)))
1550699060.770 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699060.773 * * [misc]simplify:  iters left: 3 (24 enodes)
1550699060.781 * * [misc]simplify:  iters left: 2 (51 enodes)
1550699060.798 * * [misc]simplify:  iters left: 1 (120 enodes)
1550699060.860 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699060.860 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699060.860 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699060.860 * * [misc]simplify:  Extracting #3: cost 24 inf + 1
1550699060.860 * * [misc]simplify:  Extracting #4: cost 69 inf + 491
1550699060.862 * * [misc]simplify:  Extracting #5: cost 92 inf + 17146
1550699060.867 * * [misc]simplify:  Extracting #6: cost 53 inf + 72859
1550699060.876 * * [misc]simplify:  Extracting #7: cost 10 inf + 127073
1550699060.887 * * [misc]simplify:  Extracting #8: cost 0 inf + 139724
1550699060.897 * [exit]simplify:  Simplified to (*.p16 d1 (neg.p16 (+.p16 d1 (-.p16 d3 d4))))
1550699060.897 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 d2) (*.p16 d1 (neg.p16 (+.p16 d1 (-.p16 d3 d4))))))
1550699060.897 * * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))>
1550699060.897 * [enter]simplify:  Simplifying (*.p16 (-.p16 d4 d1) d1)
1550699060.897 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699060.899 * * [misc]simplify:  iters left: 1 (16 enodes)
1550699060.904 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699060.904 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550699060.904 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550699060.904 * * [misc]simplify:  Extracting #3: cost 13 inf + 885
1550699060.905 * * [misc]simplify:  Extracting #4: cost 8 inf + 2697
1550699060.905 * * [misc]simplify:  Extracting #5: cost 2 inf + 6266
1550699060.905 * * [misc]simplify:  Extracting #6: cost 0 inf + 8390
1550699060.906 * [exit]simplify:  Simplified to (*.p16 (-.p16 d4 d1) d1)
1550699060.906 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))
1550699060.906 * * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 (neg.p16 (+.p16 (-.p16 d3 d4) d1)) d1)))>
1550699060.906 * [enter]simplify:  Simplifying (*.p16 (neg.p16 (+.p16 (-.p16 d3 d4) d1)) d1)
1550699060.906 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699060.909 * * [misc]simplify:  iters left: 3 (24 enodes)
1550699060.916 * * [misc]simplify:  iters left: 2 (51 enodes)
1550699060.934 * * [misc]simplify:  iters left: 1 (120 enodes)
1550699060.990 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699060.991 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699060.991 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699060.991 * * [misc]simplify:  Extracting #3: cost 24 inf + 1
1550699060.991 * * [misc]simplify:  Extracting #4: cost 71 inf + 207
1550699060.993 * * [misc]simplify:  Extracting #5: cost 93 inf + 16907
1550699060.998 * * [misc]simplify:  Extracting #6: cost 61 inf + 66401
1550699061.006 * * [misc]simplify:  Extracting #7: cost 15 inf + 121180
1550699061.016 * * [misc]simplify:  Extracting #8: cost 0 inf + 140604
1550699061.026 * [exit]simplify:  Simplified to (*.p16 (neg.p16 (+.p16 d3 (-.p16 d1 d4))) d1)
1550699061.027 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 (neg.p16 (+.p16 d3 (-.p16 d1 d4))) d1)))
1550699061.027 * * * * [misc]progress:  [ 9 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (/.p16 (*.p16 d1 (-.p16 (*.p16 d2 d2) (*.p16 (+.p16 (-.p16 d3 d4) d1) (+.p16 (-.p16 d3 d4) d1)))) (+.p16 d2 (+.p16 (-.p16 d3 d4) d1))))>
1550699061.027 * [enter]simplify:  Simplifying (+.p16 d2 (+.p16 (-.p16 d3 d4) d1))
1550699061.027 * * [misc]simplify:  iters left: 3 (7 enodes)
1550699061.030 * * [misc]simplify:  iters left: 2 (28 enodes)
1550699061.039 * * [misc]simplify:  iters left: 1 (67 enodes)
1550699061.065 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699061.065 * * [misc]simplify:  Extracting #1: cost 31 inf + 0
1550699061.065 * * [misc]simplify:  Extracting #2: cost 42 inf + 575
1550699061.067 * * [misc]simplify:  Extracting #3: cost 39 inf + 6292
1550699061.069 * * [misc]simplify:  Extracting #4: cost 20 inf + 18789
1550699061.072 * * [misc]simplify:  Extracting #5: cost 2 inf + 33577
1550699061.075 * * [misc]simplify:  Extracting #6: cost 0 inf + 37022
1550699061.078 * [exit]simplify:  Simplified to (+.p16 d2 (-.p16 (+.p16 d1 d3) d4))
1550699061.078 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (/.p16 (*.p16 d1 (-.p16 (*.p16 d2 d2) (*.p16 (+.p16 (-.p16 d3 d4) d1) (+.p16 (-.p16 d3 d4) d1)))) (+.p16 d2 (-.p16 (+.p16 d1 d3) d4))))
1550699061.078 * * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 (-.p16 d2 (+.p16 (-.p16 d3 d4) d1)) d1))>
1550699061.078 * * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (+.p16 d3 (+.p16 (neg.p16 d4) d1)))))>
1550699061.078 * * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (-.p16 d3 (-.p16 d4 d1)))))>
1550699061.079 * * * * [misc]progress:  [ 13 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (+.p16 d1 (-.p16 d3 d4)))))>
1550699061.079 * * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (+.p16 (-.p16 d3 d4) d1))))>
1550699061.079 * * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (+.p16 (-.p16 d3 d4) d1))))>
1550699061.079 * * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (+.p16 (-.p16 d3 d4) d1))))>
1550699061.079 * * * [misc]progress:  adding candidates to table
1550699062.093 * [misc]progress:  [Phase 3 of 3] Extracting.
1550699062.093 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))> #<alt (λ (d1 d2 d3 d4) (-.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1)))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (neg.p16 d3) (-.p16 d4 d1)))))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 (-.p16 d4 (+.p16 d1 d3)) d1)))> #<alt (λ (d1 d2 d3 d4) (/.p16 (*.p16 d1 (-.p16 (*.p16 d2 d2) (*.p16 (+.p16 (-.p16 d3 d4) d1) (+.p16 (-.p16 d3 d4) d1)))) (+.p16 d2 (+.p16 (-.p16 d3 d4) d1))))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (/.p16 (-.p16 (*.p16 (+.p16 (-.p16 d2 d3) d4) (+.p16 (-.p16 d2 d3) d4)) (*.p16 d1 d1)) (+.p16 (+.p16 (-.p16 d2 d3) d4) d1))))>)
1550699062.095 * * * [misc]regime-changes:  Trying 4 branch expressions: (d4 d3 d2 d1)
1550699062.095 * * * * [misc]regimes:  Trying to branch on d4 from (#<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))> #<alt (λ (d1 d2 d3 d4) (-.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1)))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (neg.p16 d3) (-.p16 d4 d1)))))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 (-.p16 d4 (+.p16 d1 d3)) d1)))> #<alt (λ (d1 d2 d3 d4) (/.p16 (*.p16 d1 (-.p16 (*.p16 d2 d2) (*.p16 (+.p16 (-.p16 d3 d4) d1) (+.p16 (-.p16 d3 d4) d1)))) (+.p16 d2 (+.p16 (-.p16 d3 d4) d1))))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (/.p16 (-.p16 (*.p16 (+.p16 (-.p16 d2 d3) d4) (+.p16 (-.p16 d2 d3) d4)) (*.p16 d1 d1)) (+.p16 (+.p16 (-.p16 d2 d3) d4) d1))))>)
1550699062.605 * * * * [misc]regimes:  Trying to branch on d3 from (#<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))> #<alt (λ (d1 d2 d3 d4) (-.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1)))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (neg.p16 d3) (-.p16 d4 d1)))))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 (-.p16 d4 (+.p16 d1 d3)) d1)))> #<alt (λ (d1 d2 d3 d4) (/.p16 (*.p16 d1 (-.p16 (*.p16 d2 d2) (*.p16 (+.p16 (-.p16 d3 d4) d1) (+.p16 (-.p16 d3 d4) d1)))) (+.p16 d2 (+.p16 (-.p16 d3 d4) d1))))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (/.p16 (-.p16 (*.p16 (+.p16 (-.p16 d2 d3) d4) (+.p16 (-.p16 d2 d3) d4)) (*.p16 d1 d1)) (+.p16 (+.p16 (-.p16 d2 d3) d4) d1))))>)
1550699063.069 * * * * [misc]regimes:  Trying to branch on d2 from (#<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))> #<alt (λ (d1 d2 d3 d4) (-.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1)))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (neg.p16 d3) (-.p16 d4 d1)))))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 (-.p16 d4 (+.p16 d1 d3)) d1)))> #<alt (λ (d1 d2 d3 d4) (/.p16 (*.p16 d1 (-.p16 (*.p16 d2 d2) (*.p16 (+.p16 (-.p16 d3 d4) d1) (+.p16 (-.p16 d3 d4) d1)))) (+.p16 d2 (+.p16 (-.p16 d3 d4) d1))))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (/.p16 (-.p16 (*.p16 (+.p16 (-.p16 d2 d3) d4) (+.p16 (-.p16 d2 d3) d4)) (*.p16 d1 d1)) (+.p16 (+.p16 (-.p16 d2 d3) d4) d1))))>)
1550699063.448 * * * * [misc]regimes:  Trying to branch on d1 from (#<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))> #<alt (λ (d1 d2 d3 d4) (-.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1)))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (neg.p16 d3) (-.p16 d4 d1)))))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 (-.p16 d4 (+.p16 d1 d3)) d1)))> #<alt (λ (d1 d2 d3 d4) (/.p16 (*.p16 d1 (-.p16 (*.p16 d2 d2) (*.p16 (+.p16 (-.p16 d3 d4) d1) (+.p16 (-.p16 d3 d4) d1)))) (+.p16 d2 (+.p16 (-.p16 d3 d4) d1))))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (/.p16 (-.p16 (*.p16 (+.p16 (-.p16 d2 d3) d4) (+.p16 (-.p16 d2 d3) d4)) (*.p16 d1 d1)) (+.p16 (+.p16 (-.p16 d2 d3) d4) d1))))>)
1550699063.913 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1550699063.913 * [enter]simplify:  Simplifying (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1))
1550699063.913 * * [misc]simplify:  iters left: 4 (8 enodes)
1550699063.914 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699063.915 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699063.915 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699063.915 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550699063.915 * * [misc]simplify:  Extracting #4: cost 6 inf + 2
1550699063.915 * * [misc]simplify:  Extracting #5: cost 0 inf + 937
1550699063.915 * [exit]simplify:  Simplified to (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1))
1550699063.915 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550699063.994 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550699063.996 * * * * [misc]points:  Setting MPFR precision to 64
1550699063.998 * * * * [misc]points:  Setting MPFR precision to 320
1550699064.000 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550699064.002 * * * * [misc]points:  Setting MPFR precision to 64
1550699064.006 * * * * [misc]points:  Setting MPFR precision to 320
1550699064.011 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550699064.013 * * * * [misc]points:  Setting MPFR precision to 64
1550699064.020 * * * * [misc]points:  Setting MPFR precision to 320
1550699064.030 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550699064.032 * * * * [misc]points:  Setting MPFR precision to 64
1550699064.047 * * * * [misc]points:  Setting MPFR precision to 320
1550699064.067 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550699064.068 * * * * [misc]points:  Setting MPFR precision to 64
1550699064.099 * * * * [misc]points:  Setting MPFR precision to 320
1550699064.136 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550699064.138 * * * * [misc]points:  Setting MPFR precision to 64
1550699064.214 * * * * [misc]points:  Setting MPFR precision to 320
1550699064.268 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550699064.270 * * * * [misc]points:  Setting MPFR precision to 64
1550699064.451 * * * * [misc]points:  Setting MPFR precision to 320
1550699064.600 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550699064.601 * * * * [misc]points:  Setting MPFR precision to 64
1550699064.852 * * * * [misc]points:  Setting MPFR precision to 320
1550699065.243 * * * * [misc]points:  Computing exacts for 8000 points
1550699065.245 * * * * [misc]points:  Setting MPFR precision to 64
1550699066.411 * * * * [misc]points:  Setting MPFR precision to 320
1550699068.375 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699069.521 * * * * [exit]points:  Sampled 8000 points with exact outputs
1550699072.425 * [misc]regime-testing:  Baseline error score: 64.0
1550699072.427 * [misc]regime-testing:  Oracle error score: 64.0
1550699072.432 * [misc]regime-testing:  End program error score: 0.4053132189820537