1550619836.442 * [misc]progress:  [Phase 1 of 3] Setting up.
1550619836.442 * * * [misc]progress:  [1/2] Preparing points
1550619836.442 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550619836.445 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550619836.447 * * * * [misc]points:  Setting MPFR precision to 64
1550619836.449 * * * * [misc]points:  Setting MPFR precision to 320
1550619836.451 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550619836.453 * * * * [misc]points:  Setting MPFR precision to 64
1550619836.463 * * * * [misc]points:  Setting MPFR precision to 320
1550619836.467 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550619836.469 * * * * [misc]points:  Setting MPFR precision to 64
1550619836.476 * * * * [misc]points:  Setting MPFR precision to 320
1550619836.484 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550619836.486 * * * * [misc]points:  Setting MPFR precision to 64
1550619836.497 * * * * [misc]points:  Setting MPFR precision to 320
1550619836.510 * * * * [misc]points:  Computing exacts for 256 points
1550619836.512 * * * * [misc]points:  Setting MPFR precision to 64
1550619836.543 * * * * [misc]points:  Setting MPFR precision to 320
1550619836.583 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619836.612 * * * * [exit]points:  Sampled 256 points with exact outputs
1550619836.612 * * * [misc]progress:  [2/2] Setting up program.
1550619836.629 * [misc]progress:  [Phase 2 of 3] Improving.
1550619836.629 * * * * [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)))>
1550619836.630 * [enter]simplify:  Simplifying (-.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1))
1550619836.630 * * [misc]simplify:  iters left: 4 (11 enodes)
1550619836.632 * * [misc]simplify:  iters left: 3 (43 enodes)
1550619836.657 * * [misc]simplify:  iters left: 2 (148 enodes)
1550619836.700 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619836.700 * * [misc]simplify:  Extracting #1: cost 40 inf + 0
1550619836.700 * * [misc]simplify:  Extracting #2: cost 128 inf + 322
1550619836.701 * * [misc]simplify:  Extracting #3: cost 222 inf + 10234
1550619836.704 * * [misc]simplify:  Extracting #4: cost 153 inf + 124713
1550619836.712 * * [misc]simplify:  Extracting #5: cost 28 inf + 253727
1550619836.732 * * [misc]simplify:  Extracting #6: cost 1 inf + 271088
1550619836.750 * * [misc]simplify:  Extracting #7: cost 0 inf + 269810
1550619836.759 * * [misc]simplify:  Extracting #8: cost 0 inf + 269170
1550619836.769 * [exit]simplify:  Simplified to (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)))
1550619836.769 * [misc]simplify:  Simplified (2) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))
1550619836.802 * * [misc]progress:  iteration 1 / 4
1550619836.802 * * * [misc]progress:  picking best candidate
1550619836.860 * * * * [misc]pick:  Picked  #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))>
1550619836.860 * * * [misc]progress:  localizing error
1550619837.067 * * * [misc]progress:  generating rewritten candidates
1550619837.067 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 2)
1550619837.069 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1550619837.071 * * * [misc]progress:  generating series expansions
1550619837.071 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 2)
1550619837.071 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1550619837.071 * * * [misc]progress:  simplifying candidates
1550619837.071 * * * * [misc]progress:  [ 1 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (+.p16 (-.p16 d2 d3) d4) (neg.p16 d1))))>
1550619837.071 * [enter]simplify:  Simplifying (neg.p16 d1)
1550619837.072 * * [misc]simplify:  iters left: 1 (2 enodes)
1550619837.072 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619837.072 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550619837.072 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550619837.072 * * [misc]simplify:  Extracting #3: cost 0 inf + 82
1550619837.072 * [exit]simplify:  Simplified to (neg.p16 d1)
1550619837.072 * [misc]simplify:  Simplified (2 2 2) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (+.p16 (-.p16 d2 d3) d4) (neg.p16 d1))))
1550619837.072 * * * * [misc]progress:  [ 2 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (neg.p16 d3) (-.p16 d4 d1)))))>
1550619837.072 * * * * [misc]progress:  [ 3 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))>
1550619837.072 * * * * [misc]progress:  [ 4 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (-.p16 d3 (-.p16 d4 d1)))))>
1550619837.072 * * * * [misc]progress:  [ 5 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d4 d1) (-.p16 d2 d3))))>
1550619837.072 * * * * [misc]progress:  [ 6 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d1 (-.p16 d4 d1))))>
1550619837.072 * [enter]simplify:  Simplifying (*.p16 d1 (-.p16 d4 d1))
1550619837.072 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619837.073 * * [misc]simplify:  iters left: 1 (16 enodes)
1550619837.076 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619837.076 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550619837.076 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550619837.076 * * [misc]simplify:  Extracting #3: cost 11 inf + 1249
1550619837.076 * * [misc]simplify:  Extracting #4: cost 6 inf + 3901
1550619837.076 * * [misc]simplify:  Extracting #5: cost 1 inf + 7028
1550619837.077 * * [misc]simplify:  Extracting #6: cost 0 inf + 8390
1550619837.077 * [exit]simplify:  Simplified to (*.p16 d1 (-.p16 d4 d1))
1550619837.077 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d1 (-.p16 d4 d1))))
1550619837.077 * * * * [misc]progress:  [ 7 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))>
1550619837.077 * [enter]simplify:  Simplifying (*.p16 (-.p16 d4 d1) d1)
1550619837.077 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619837.086 * * [misc]simplify:  iters left: 1 (16 enodes)
1550619837.092 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619837.092 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550619837.092 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550619837.092 * * [misc]simplify:  Extracting #3: cost 13 inf + 885
1550619837.092 * * [misc]simplify:  Extracting #4: cost 8 inf + 2697
1550619837.092 * * [misc]simplify:  Extracting #5: cost 2 inf + 6266
1550619837.093 * * [misc]simplify:  Extracting #6: cost 0 inf + 8390
1550619837.093 * [exit]simplify:  Simplified to (*.p16 (-.p16 d4 d1) d1)
1550619837.094 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))
1550619837.094 * * * * [misc]progress:  [ 8 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)) d1))>
1550619837.094 * * * * [misc]progress:  [ 9 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))>
1550619837.094 * [enter]simplify:  Simplifying (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)))
1550619837.094 * * [misc]simplify:  iters left: 3 (8 enodes)
1550619837.098 * * [misc]simplify:  iters left: 2 (42 enodes)
1550619837.114 * * [misc]simplify:  iters left: 1 (117 enodes)
1550619837.163 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619837.163 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550619837.164 * * [misc]simplify:  Extracting #2: cost 56 inf + 1
1550619837.164 * * [misc]simplify:  Extracting #3: cost 108 inf + 1181
1550619837.167 * * [misc]simplify:  Extracting #4: cost 85 inf + 24120
1550619837.174 * * [misc]simplify:  Extracting #5: cost 33 inf + 70189
1550619837.182 * * [misc]simplify:  Extracting #6: cost 1 inf + 97168
1550619837.190 * * [misc]simplify:  Extracting #7: cost 0 inf + 98411
1550619837.198 * [exit]simplify:  Simplified to (*.p16 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)) d1)
1550619837.198 * [misc]simplify:  Simplified (2) to (λ (d1 d2 d3 d4) (*.p16 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)) d1))
1550619837.199 * * * * [misc]progress:  [ 10 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))>
1550619837.199 * [enter]simplify:  Simplifying (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)))
1550619837.199 * * [misc]simplify:  iters left: 3 (8 enodes)
1550619837.203 * * [misc]simplify:  iters left: 2 (42 enodes)
1550619837.218 * * [misc]simplify:  iters left: 1 (117 enodes)
1550619837.269 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619837.269 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550619837.270 * * [misc]simplify:  Extracting #2: cost 56 inf + 1
1550619837.270 * * [misc]simplify:  Extracting #3: cost 108 inf + 1181
1550619837.273 * * [misc]simplify:  Extracting #4: cost 85 inf + 24120
1550619837.280 * * [misc]simplify:  Extracting #5: cost 33 inf + 70189
1550619837.288 * * [misc]simplify:  Extracting #6: cost 1 inf + 97168
1550619837.296 * * [misc]simplify:  Extracting #7: cost 0 inf + 98411
1550619837.304 * [exit]simplify:  Simplified to (*.p16 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)) d1)
1550619837.304 * [misc]simplify:  Simplified (2) to (λ (d1 d2 d3 d4) (*.p16 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)) d1))
1550619837.304 * * * [misc]progress:  adding candidates to table
1550619837.868 * * [misc]progress:  iteration 2 / 4
1550619837.868 * * * [misc]progress:  picking best candidate
1550619837.971 * * * * [misc]pick:  Picked  #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))>
1550619837.971 * * * [misc]progress:  localizing error
1550619838.092 * * * [misc]progress:  generating rewritten candidates
1550619838.092 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
1550619838.097 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 2)
1550619838.101 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 2 1)
1550619838.103 * * * [misc]progress:  generating series expansions
1550619838.103 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
1550619838.103 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 2)
1550619838.103 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 2 1)
1550619838.103 * * * [misc]progress:  simplifying candidates
1550619838.103 * * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d1 (-.p16 d4 d1))))>
1550619838.103 * [enter]simplify:  Simplifying (*.p16 d1 (-.p16 d4 d1))
1550619838.104 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619838.104 * * [misc]simplify:  iters left: 1 (16 enodes)
1550619838.107 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619838.107 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550619838.107 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550619838.107 * * [misc]simplify:  Extracting #3: cost 11 inf + 1249
1550619838.107 * * [misc]simplify:  Extracting #4: cost 6 inf + 3901
1550619838.107 * * [misc]simplify:  Extracting #5: cost 1 inf + 7028
1550619838.108 * * [misc]simplify:  Extracting #6: cost 0 inf + 8390
1550619838.108 * [exit]simplify:  Simplified to (*.p16 d1 (-.p16 d4 d1))
1550619838.108 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d1 (-.p16 d4 d1))))
1550619838.108 * * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (+.p16 (-.p16 d2 d3) d4)) (*.p16 d1 (neg.p16 d1))))>
1550619838.108 * [enter]simplify:  Simplifying (*.p16 d1 (neg.p16 d1))
1550619838.108 * * [misc]simplify:  iters left: 2 (3 enodes)
1550619838.109 * * [misc]simplify:  iters left: 1 (6 enodes)
1550619838.109 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619838.109 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619838.109 * * [misc]simplify:  Extracting #2: cost 2 inf + 1
1550619838.109 * * [misc]simplify:  Extracting #3: cost 0 inf + 483
1550619838.110 * [exit]simplify:  Simplified to (*.p16 (neg.p16 d1) d1)
1550619838.110 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (+.p16 (-.p16 d2 d3) d4)) (*.p16 (neg.p16 d1) d1)))
1550619838.110 * * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))>
1550619838.110 * [enter]simplify:  Simplifying (*.p16 (-.p16 d4 d1) d1)
1550619838.110 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619838.111 * * [misc]simplify:  iters left: 1 (16 enodes)
1550619838.113 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619838.113 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550619838.113 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550619838.113 * * [misc]simplify:  Extracting #3: cost 13 inf + 885
1550619838.113 * * [misc]simplify:  Extracting #4: cost 8 inf + 2697
1550619838.113 * * [misc]simplify:  Extracting #5: cost 2 inf + 6266
1550619838.114 * * [misc]simplify:  Extracting #6: cost 0 inf + 8390
1550619838.114 * [exit]simplify:  Simplified to (*.p16 (-.p16 d4 d1) d1)
1550619838.114 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))
1550619838.114 * * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (+.p16 (-.p16 d2 d3) d4) d1) (*.p16 (neg.p16 d1) d1)))>
1550619838.114 * [enter]simplify:  Simplifying (*.p16 (neg.p16 d1) d1)
1550619838.114 * * [misc]simplify:  iters left: 2 (3 enodes)
1550619838.115 * * [misc]simplify:  iters left: 1 (6 enodes)
1550619838.116 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619838.116 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619838.116 * * [misc]simplify:  Extracting #2: cost 2 inf + 1
1550619838.116 * * [misc]simplify:  Extracting #3: cost 0 inf + 483
1550619838.116 * [exit]simplify:  Simplified to (*.p16 (neg.p16 d1) d1)
1550619838.116 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 (+.p16 (-.p16 d2 d3) d4) d1) (*.p16 (neg.p16 d1) d1)))
1550619838.116 * * * * [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)))>
1550619838.116 * [enter]simplify:  Simplifying (+.p16 (+.p16 (-.p16 d2 d3) d4) d1)
1550619838.116 * * [misc]simplify:  iters left: 3 (7 enodes)
1550619838.117 * * [misc]simplify:  iters left: 2 (28 enodes)
1550619838.129 * * [misc]simplify:  iters left: 1 (69 enodes)
1550619838.141 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619838.142 * * [misc]simplify:  Extracting #1: cost 28 inf + 0
1550619838.142 * * [misc]simplify:  Extracting #2: cost 45 inf + 86
1550619838.142 * * [misc]simplify:  Extracting #3: cost 46 inf + 4229
1550619838.143 * * [misc]simplify:  Extracting #4: cost 22 inf + 17381
1550619838.146 * * [misc]simplify:  Extracting #5: cost 5 inf + 30688
1550619838.147 * * [misc]simplify:  Extracting #6: cost 0 inf + 37097
1550619838.149 * [exit]simplify:  Simplified to (+.p16 (-.p16 (+.p16 d2 d4) d3) d1)
1550619838.149 * [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)))
1550619838.149 * * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1) d1))>
1550619838.149 * * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))>
1550619838.149 * [enter]simplify:  Simplifying (-.p16 d2 d3)
1550619838.149 * * [misc]simplify:  iters left: 1 (3 enodes)
1550619838.150 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619838.150 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619838.150 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550619838.150 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550619838.150 * [exit]simplify:  Simplified to (-.p16 d2 d3)
1550619838.150 * [misc]simplify:  Simplified (2 2 1) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))
1550619838.150 * * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (+.p16 (-.p16 d3 d4) d1))))>
1550619838.150 * * * * [misc]progress:  [ 9 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (+.p16 (-.p16 d2 d3) d4) (neg.p16 d1))))>
1550619838.150 * * * * [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))))>
1550619838.150 * * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 d2 (+.p16 (neg.p16 d3) d4)) d1)))>
1550619838.150 * * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (-.p16 d2 (-.p16 d3 d4)) d1)))>
1550619838.150 * * * * [misc]progress:  [ 13 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 d4 (-.p16 d2 d3)) d1)))>
1550619838.150 * * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))>
1550619838.150 * * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))>
1550619838.150 * * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))>
1550619838.150 * * * [misc]progress:  adding candidates to table
1550619838.806 * * [misc]progress:  iteration 3 / 4
1550619838.807 * * * [misc]progress:  picking best candidate
1550619838.996 * * * * [misc]pick:  Picked  #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (-.p16 d3 (-.p16 d4 d1)))))>
1550619838.996 * * * [misc]progress:  localizing error
1550619839.174 * * * [misc]progress:  generating rewritten candidates
1550619839.174 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 2)
1550619839.175 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2)
1550619839.178 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 2 2)
1550619839.179 * * * [misc]progress:  generating series expansions
1550619839.179 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 2)
1550619839.179 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2)
1550619839.179 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 2 2)
1550619839.179 * * * [misc]progress:  simplifying candidates
1550619839.179 * * * * [misc]progress:  [ 1 / 18 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (-.p16 d2 (-.p16 d3 d4)) d1)))>
1550619839.179 * * * * [misc]progress:  [ 2 / 18 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (-.p16 d2 d3) (neg.p16 (-.p16 d4 d1)))))>
1550619839.179 * [enter]simplify:  Simplifying (neg.p16 (-.p16 d4 d1))
1550619839.179 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619839.181 * * [misc]simplify:  iters left: 1 (15 enodes)
1550619839.185 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619839.185 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550619839.185 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550619839.185 * * [misc]simplify:  Extracting #3: cost 9 inf + 83
1550619839.185 * * [misc]simplify:  Extracting #4: cost 4 inf + 2134
1550619839.185 * * [misc]simplify:  Extracting #5: cost 0 inf + 5180
1550619839.186 * [exit]simplify:  Simplified to (neg.p16 (-.p16 d4 d1))
1550619839.186 * [misc]simplify:  Simplified (2 2 2) to (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (-.p16 d2 d3) (neg.p16 (-.p16 d4 d1)))))
1550619839.186 * * * * [misc]progress:  [ 3 / 18 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))>
1550619839.186 * [enter]simplify:  Simplifying (-.p16 d4 d1)
1550619839.186 * * [misc]simplify:  iters left: 1 (3 enodes)
1550619839.187 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619839.187 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619839.187 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550619839.188 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550619839.188 * [exit]simplify:  Simplified to (-.p16 d4 d1)
1550619839.188 * [misc]simplify:  Simplified (2 2 2) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))
1550619839.188 * * * * [misc]progress:  [ 4 / 18 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (neg.p16 (-.p16 d3 (-.p16 d4 d1))))))>
1550619839.188 * * * * [misc]progress:  [ 5 / 18 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (/.p16 (-.p16 (*.p16 d2 d2) (*.p16 (-.p16 d3 (-.p16 d4 d1)) (-.p16 d3 (-.p16 d4 d1)))) (+.p16 d2 (-.p16 d3 (-.p16 d4 d1))))))>
1550619839.188 * * * * [misc]progress:  [ 6 / 18 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d1 (-.p16 d4 d1))))>
1550619839.188 * [enter]simplify:  Simplifying (*.p16 d1 (-.p16 d4 d1))
1550619839.188 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619839.190 * * [misc]simplify:  iters left: 1 (16 enodes)
1550619839.194 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619839.194 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550619839.195 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550619839.195 * * [misc]simplify:  Extracting #3: cost 11 inf + 1249
1550619839.195 * * [misc]simplify:  Extracting #4: cost 6 inf + 3901
1550619839.195 * * [misc]simplify:  Extracting #5: cost 1 inf + 7028
1550619839.196 * * [misc]simplify:  Extracting #6: cost 0 inf + 8390
1550619839.196 * [exit]simplify:  Simplified to (*.p16 d1 (-.p16 d4 d1))
1550619839.196 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d1 (-.p16 d4 d1))))
1550619839.196 * * * * [misc]progress:  [ 7 / 18 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 d2) (*.p16 d1 (neg.p16 (-.p16 d3 (-.p16 d4 d1))))))>
1550619839.197 * [enter]simplify:  Simplifying (*.p16 d1 (neg.p16 (-.p16 d3 (-.p16 d4 d1))))
1550619839.197 * * [misc]simplify:  iters left: 4 (7 enodes)
1550619839.199 * * [misc]simplify:  iters left: 3 (30 enodes)
1550619839.208 * * [misc]simplify:  iters left: 2 (69 enodes)
1550619839.234 * * [misc]simplify:  iters left: 1 (247 enodes)
1550619839.397 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619839.397 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619839.397 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619839.397 * * [misc]simplify:  Extracting #3: cost 37 inf + 1
1550619839.398 * * [misc]simplify:  Extracting #4: cost 169 inf + 571
1550619839.401 * * [misc]simplify:  Extracting #5: cost 315 inf + 23094
1550619839.413 * * [misc]simplify:  Extracting #6: cost 214 inf + 199639
1550619839.430 * * [misc]simplify:  Extracting #7: cost 28 inf + 439637
1550619839.459 * * [misc]simplify:  Extracting #8: cost 0 inf + 479601
1550619839.490 * [exit]simplify:  Simplified to (*.p16 d1 (neg.p16 (-.p16 (+.p16 d3 d1) d4)))
1550619839.490 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 d2) (*.p16 d1 (neg.p16 (-.p16 (+.p16 d3 d1) d4)))))
1550619839.490 * * * * [misc]progress:  [ 8 / 18 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))>
1550619839.490 * [enter]simplify:  Simplifying (*.p16 (-.p16 d4 d1) d1)
1550619839.491 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619839.491 * * [misc]simplify:  iters left: 1 (16 enodes)
1550619839.494 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619839.494 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550619839.494 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550619839.495 * * [misc]simplify:  Extracting #3: cost 13 inf + 885
1550619839.495 * * [misc]simplify:  Extracting #4: cost 8 inf + 2697
1550619839.495 * * [misc]simplify:  Extracting #5: cost 2 inf + 6266
1550619839.495 * * [misc]simplify:  Extracting #6: cost 0 inf + 8390
1550619839.495 * [exit]simplify:  Simplified to (*.p16 (-.p16 d4 d1) d1)
1550619839.495 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))
1550619839.496 * * * * [misc]progress:  [ 9 / 18 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 (neg.p16 (-.p16 d3 (-.p16 d4 d1))) d1)))>
1550619839.496 * [enter]simplify:  Simplifying (*.p16 (neg.p16 (-.p16 d3 (-.p16 d4 d1))) d1)
1550619839.496 * * [misc]simplify:  iters left: 4 (7 enodes)
1550619839.498 * * [misc]simplify:  iters left: 3 (30 enodes)
1550619839.503 * * [misc]simplify:  iters left: 2 (69 enodes)
1550619839.525 * * [misc]simplify:  iters left: 1 (247 enodes)
1550619839.680 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619839.681 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619839.681 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619839.681 * * [misc]simplify:  Extracting #3: cost 37 inf + 1
1550619839.682 * * [misc]simplify:  Extracting #4: cost 170 inf + 449
1550619839.685 * * [misc]simplify:  Extracting #5: cost 322 inf + 18638
1550619839.697 * * [misc]simplify:  Extracting #6: cost 278 inf + 125122
1550619839.733 * * [misc]simplify:  Extracting #7: cost 38 inf + 422646
1550619839.773 * * [misc]simplify:  Extracting #8: cost 1 inf + 477317
1550619839.812 * * [misc]simplify:  Extracting #9: cost 0 inf + 479879
1550619839.844 * [exit]simplify:  Simplified to (*.p16 d1 (neg.p16 (-.p16 (+.p16 d1 d3) d4)))
1550619839.844 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 d1 (neg.p16 (-.p16 (+.p16 d1 d3) d4)))))
1550619839.844 * * * * [misc]progress:  [ 10 / 18 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (/.p16 (*.p16 d1 (-.p16 (*.p16 d2 d2) (*.p16 (-.p16 d3 (-.p16 d4 d1)) (-.p16 d3 (-.p16 d4 d1))))) (+.p16 d2 (-.p16 d3 (-.p16 d4 d1)))))>
1550619839.844 * [enter]simplify:  Simplifying (+.p16 d2 (-.p16 d3 (-.p16 d4 d1)))
1550619839.844 * * [misc]simplify:  iters left: 3 (7 enodes)
1550619839.846 * * [misc]simplify:  iters left: 2 (34 enodes)
1550619839.852 * * [misc]simplify:  iters left: 1 (90 enodes)
1550619839.872 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619839.872 * * [misc]simplify:  Extracting #1: cost 22 inf + 0
1550619839.872 * * [misc]simplify:  Extracting #2: cost 52 inf + 167
1550619839.873 * * [misc]simplify:  Extracting #3: cost 73 inf + 7807
1550619839.874 * * [misc]simplify:  Extracting #4: cost 49 inf + 32248
1550619839.877 * * [misc]simplify:  Extracting #5: cost 5 inf + 71213
1550619839.880 * * [misc]simplify:  Extracting #6: cost 0 inf + 79303
1550619839.884 * [exit]simplify:  Simplified to (+.p16 (+.p16 d2 d1) (-.p16 d3 d4))
1550619839.884 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (/.p16 (*.p16 d1 (-.p16 (*.p16 d2 d2) (*.p16 (-.p16 d3 (-.p16 d4 d1)) (-.p16 d3 (-.p16 d4 d1))))) (+.p16 (+.p16 d2 d1) (-.p16 d3 d4))))
1550619839.884 * * * * [misc]progress:  [ 11 / 18 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 (-.p16 d2 (-.p16 d3 (-.p16 d4 d1))) d1))>
1550619839.885 * * * * [misc]progress:  [ 12 / 18 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (-.p16 (-.p16 d3 d4) (neg.p16 d1)))))>
1550619839.885 * [enter]simplify:  Simplifying (neg.p16 d1)
1550619839.885 * * [misc]simplify:  iters left: 1 (2 enodes)
1550619839.885 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619839.885 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550619839.885 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550619839.885 * * [misc]simplify:  Extracting #3: cost 0 inf + 82
1550619839.885 * [exit]simplify:  Simplified to (neg.p16 d1)
1550619839.885 * [misc]simplify:  Simplified (2 2 2 2) to (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (-.p16 (-.p16 d3 d4) (neg.p16 d1)))))
1550619839.886 * * * * [misc]progress:  [ 13 / 18 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (+.p16 (-.p16 d3 d4) d1))))>
1550619839.886 * * * * [misc]progress:  [ 14 / 18 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (+.p16 d3 (neg.p16 (-.p16 d4 d1))))))>
1550619839.886 * * * * [misc]progress:  [ 15 / 18 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (/.p16 (-.p16 (*.p16 d3 d3) (*.p16 (-.p16 d4 d1) (-.p16 d4 d1))) (+.p16 d3 (-.p16 d4 d1))))))>
1550619839.886 * * * * [misc]progress:  [ 16 / 18 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (-.p16 d3 (-.p16 d4 d1)))))>
1550619839.886 * * * * [misc]progress:  [ 17 / 18 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (-.p16 d3 (-.p16 d4 d1)))))>
1550619839.886 * * * * [misc]progress:  [ 18 / 18 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (-.p16 d3 (-.p16 d4 d1)))))>
1550619839.886 * * * [misc]progress:  adding candidates to table
1550619840.989 * * [misc]progress:  iteration 4 / 4
1550619840.989 * * * [misc]progress:  picking best candidate
1550619841.188 * * * * [misc]pick:  Picked  #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (+.p16 (-.p16 d3 d4) d1))))>
1550619841.188 * * * [misc]progress:  localizing error
1550619841.441 * * * [misc]progress:  generating rewritten candidates
1550619841.441 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 2)
1550619841.443 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2)
1550619841.446 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 2 2)
1550619841.450 * * * [misc]progress:  generating series expansions
1550619841.450 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 2)
1550619841.450 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2)
1550619841.450 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 2 2)
1550619841.450 * * * [misc]progress:  simplifying candidates
1550619841.450 * * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (-.p16 d2 (-.p16 d3 d4)) d1)))>
1550619841.450 * * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))>
1550619841.451 * [enter]simplify:  Simplifying (-.p16 d4 d1)
1550619841.451 * * [misc]simplify:  iters left: 1 (3 enodes)
1550619841.452 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619841.452 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619841.452 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550619841.452 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550619841.453 * [exit]simplify:  Simplified to (-.p16 d4 d1)
1550619841.453 * [misc]simplify:  Simplified (2 2 2) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))
1550619841.453 * * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (neg.p16 (+.p16 (-.p16 d3 d4) d1)))))>
1550619841.453 * * * * [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)))))>
1550619841.453 * * * * [misc]progress:  [ 5 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d1 (-.p16 d4 d1))))>
1550619841.453 * [enter]simplify:  Simplifying (*.p16 d1 (-.p16 d4 d1))
1550619841.453 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619841.455 * * [misc]simplify:  iters left: 1 (16 enodes)
1550619841.460 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619841.460 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550619841.460 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550619841.460 * * [misc]simplify:  Extracting #3: cost 11 inf + 1249
1550619841.460 * * [misc]simplify:  Extracting #4: cost 6 inf + 3901
1550619841.461 * * [misc]simplify:  Extracting #5: cost 1 inf + 7028
1550619841.461 * * [misc]simplify:  Extracting #6: cost 0 inf + 8390
1550619841.462 * [exit]simplify:  Simplified to (*.p16 d1 (-.p16 d4 d1))
1550619841.462 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d1 (-.p16 d4 d1))))
1550619841.462 * * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 d2) (*.p16 d1 (neg.p16 (+.p16 (-.p16 d3 d4) d1)))))>
1550619841.462 * [enter]simplify:  Simplifying (*.p16 d1 (neg.p16 (+.p16 (-.p16 d3 d4) d1)))
1550619841.462 * * [misc]simplify:  iters left: 4 (7 enodes)
1550619841.465 * * [misc]simplify:  iters left: 3 (24 enodes)
1550619841.473 * * [misc]simplify:  iters left: 2 (51 enodes)
1550619841.489 * * [misc]simplify:  iters left: 1 (120 enodes)
1550619841.542 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619841.542 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619841.542 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619841.542 * * [misc]simplify:  Extracting #3: cost 24 inf + 1
1550619841.543 * * [misc]simplify:  Extracting #4: cost 69 inf + 491
1550619841.544 * * [misc]simplify:  Extracting #5: cost 92 inf + 17146
1550619841.550 * * [misc]simplify:  Extracting #6: cost 53 inf + 72859
1550619841.559 * * [misc]simplify:  Extracting #7: cost 10 inf + 127073
1550619841.573 * * [misc]simplify:  Extracting #8: cost 0 inf + 139724
1550619841.583 * [exit]simplify:  Simplified to (*.p16 d1 (neg.p16 (+.p16 d1 (-.p16 d3 d4))))
1550619841.583 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 d2) (*.p16 d1 (neg.p16 (+.p16 d1 (-.p16 d3 d4))))))
1550619841.584 * * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))>
1550619841.584 * [enter]simplify:  Simplifying (*.p16 (-.p16 d4 d1) d1)
1550619841.584 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619841.586 * * [misc]simplify:  iters left: 1 (16 enodes)
1550619841.591 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619841.591 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550619841.591 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550619841.591 * * [misc]simplify:  Extracting #3: cost 13 inf + 885
1550619841.591 * * [misc]simplify:  Extracting #4: cost 8 inf + 2697
1550619841.592 * * [misc]simplify:  Extracting #5: cost 2 inf + 6266
1550619841.592 * * [misc]simplify:  Extracting #6: cost 0 inf + 8390
1550619841.593 * [exit]simplify:  Simplified to (*.p16 (-.p16 d4 d1) d1)
1550619841.593 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))
1550619841.593 * * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 (neg.p16 (+.p16 (-.p16 d3 d4) d1)) d1)))>
1550619841.593 * [enter]simplify:  Simplifying (*.p16 (neg.p16 (+.p16 (-.p16 d3 d4) d1)) d1)
1550619841.593 * * [misc]simplify:  iters left: 4 (7 enodes)
1550619841.596 * * [misc]simplify:  iters left: 3 (24 enodes)
1550619841.604 * * [misc]simplify:  iters left: 2 (51 enodes)
1550619841.621 * * [misc]simplify:  iters left: 1 (120 enodes)
1550619841.674 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619841.674 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619841.674 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619841.674 * * [misc]simplify:  Extracting #3: cost 24 inf + 1
1550619841.675 * * [misc]simplify:  Extracting #4: cost 71 inf + 207
1550619841.676 * * [misc]simplify:  Extracting #5: cost 93 inf + 16907
1550619841.681 * * [misc]simplify:  Extracting #6: cost 61 inf + 66401
1550619841.690 * * [misc]simplify:  Extracting #7: cost 15 inf + 121180
1550619841.700 * * [misc]simplify:  Extracting #8: cost 0 inf + 140604
1550619841.713 * [exit]simplify:  Simplified to (*.p16 (neg.p16 (+.p16 d3 (-.p16 d1 d4))) d1)
1550619841.713 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 (neg.p16 (+.p16 d3 (-.p16 d1 d4))) d1)))
1550619841.713 * * * * [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))))>
1550619841.714 * [enter]simplify:  Simplifying (+.p16 d2 (+.p16 (-.p16 d3 d4) d1))
1550619841.714 * * [misc]simplify:  iters left: 3 (7 enodes)
1550619841.717 * * [misc]simplify:  iters left: 2 (28 enodes)
1550619841.726 * * [misc]simplify:  iters left: 1 (67 enodes)
1550619841.752 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619841.752 * * [misc]simplify:  Extracting #1: cost 31 inf + 0
1550619841.752 * * [misc]simplify:  Extracting #2: cost 42 inf + 575
1550619841.754 * * [misc]simplify:  Extracting #3: cost 39 inf + 6292
1550619841.756 * * [misc]simplify:  Extracting #4: cost 20 inf + 18789
1550619841.759 * * [misc]simplify:  Extracting #5: cost 2 inf + 33577
1550619841.762 * * [misc]simplify:  Extracting #6: cost 0 inf + 37022
1550619841.765 * [exit]simplify:  Simplified to (+.p16 d2 (-.p16 (+.p16 d1 d3) d4))
1550619841.765 * [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))))
1550619841.765 * * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 (-.p16 d2 (+.p16 (-.p16 d3 d4) d1)) d1))>
1550619841.766 * * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (+.p16 d3 (+.p16 (neg.p16 d4) d1)))))>
1550619841.766 * * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (-.p16 d3 (-.p16 d4 d1)))))>
1550619841.766 * * * * [misc]progress:  [ 13 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (+.p16 d1 (-.p16 d3 d4)))))>
1550619841.766 * * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (+.p16 (-.p16 d3 d4) d1))))>
1550619841.766 * * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (+.p16 (-.p16 d3 d4) d1))))>
1550619841.766 * * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (+.p16 (-.p16 d3 d4) d1))))>
1550619841.766 * * * [misc]progress:  adding candidates to table
1550619842.796 * [misc]progress:  [Phase 3 of 3] Extracting.
1550619842.796 * * [misc]regime:  Finding splitpoints for: (#<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 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 d2 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))))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 d1 (neg.p16 (-.p16 (+.p16 d1 d3) d4)))))> #<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 d3 (-.p16 d4 d1)))))>)
1550619842.797 * * * [misc]regime-changes:  Trying 4 branch expressions: (d4 d3 d2 d1)
1550619842.797 * * * * [misc]regimes:  Trying to branch on d4 from (#<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 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 d2 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))))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 d1 (neg.p16 (-.p16 (+.p16 d1 d3) d4)))))> #<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 d3 (-.p16 d4 d1)))))>)
1550619843.133 * * * * [misc]regimes:  Trying to branch on d3 from (#<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 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 d2 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))))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 d1 (neg.p16 (-.p16 (+.p16 d1 d3) d4)))))> #<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 d3 (-.p16 d4 d1)))))>)
1550619843.468 * * * * [misc]regimes:  Trying to branch on d2 from (#<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 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 d2 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))))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 d1 (neg.p16 (-.p16 (+.p16 d1 d3) d4)))))> #<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 d3 (-.p16 d4 d1)))))>)
1550619843.818 * * * * [misc]regimes:  Trying to branch on d1 from (#<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 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 d2 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))))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 d1 (neg.p16 (-.p16 (+.p16 d1 d3) d4)))))> #<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 d3 (-.p16 d4 d1)))))>)
1550619844.092 * * * [misc]regime:  Found split indices: #<option (#s(si 2 256))>
1550619844.092 * [enter]simplify:  Simplifying (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1))
1550619844.092 * * [misc]simplify:  iters left: 4 (8 enodes)
1550619844.092 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619844.092 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619844.092 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619844.092 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550619844.092 * * [misc]simplify:  Extracting #4: cost 6 inf + 2
1550619844.092 * * [misc]simplify:  Extracting #5: cost 0 inf + 937
1550619844.092 * [exit]simplify:  Simplified to (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1))
1550619844.092 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550619844.137 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550619844.138 * * * * [misc]points:  Setting MPFR precision to 64
1550619844.139 * * * * [misc]points:  Setting MPFR precision to 320
1550619844.140 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550619844.141 * * * * [misc]points:  Setting MPFR precision to 64
1550619844.143 * * * * [misc]points:  Setting MPFR precision to 320
1550619844.146 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550619844.147 * * * * [misc]points:  Setting MPFR precision to 64
1550619844.151 * * * * [misc]points:  Setting MPFR precision to 320
1550619844.157 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550619844.158 * * * * [misc]points:  Setting MPFR precision to 64
1550619844.178 * * * * [misc]points:  Setting MPFR precision to 320
1550619844.189 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550619844.191 * * * * [misc]points:  Setting MPFR precision to 64
1550619844.208 * * * * [misc]points:  Setting MPFR precision to 320
1550619844.229 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550619844.230 * * * * [misc]points:  Setting MPFR precision to 64
1550619844.263 * * * * [misc]points:  Setting MPFR precision to 320
1550619844.332 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550619844.333 * * * * [misc]points:  Setting MPFR precision to 64
1550619844.400 * * * * [misc]points:  Setting MPFR precision to 320
1550619844.514 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550619844.515 * * * * [misc]points:  Setting MPFR precision to 64
1550619844.675 * * * * [misc]points:  Setting MPFR precision to 320
1550619844.940 * * * * [misc]points:  Computing exacts for 8000 points
1550619844.942 * * * * [misc]points:  Setting MPFR precision to 64
1550619845.857 * * * * [misc]points:  Setting MPFR precision to 320
1550619847.421 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619848.649 * * * * [exit]points:  Sampled 8000 points with exact outputs
1550619851.316 * [misc]regime-testing:  Baseline error score: 64.0
1550619851.318 * [misc]regime-testing:  Oracle error score: 64.0
1550619851.322 * [misc]regime-testing:  End program error score: 0.4053132189820537