1550699597.512 * [misc]progress:  [Phase 1 of 3] Setting up.
1550699597.513 * * * [misc]progress:  [1/2] Preparing points
1550699597.513 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550699597.515 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550699597.518 * * * * [misc]points:  Setting MPFR precision to 64
1550699597.521 * * * * [misc]points:  Setting MPFR precision to 320
1550699597.524 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550699597.526 * * * * [misc]points:  Setting MPFR precision to 64
1550699597.530 * * * * [misc]points:  Setting MPFR precision to 320
1550699597.535 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550699597.538 * * * * [misc]points:  Setting MPFR precision to 64
1550699597.545 * * * * [misc]points:  Setting MPFR precision to 320
1550699597.550 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550699597.551 * * * * [misc]points:  Setting MPFR precision to 64
1550699597.558 * * * * [misc]points:  Setting MPFR precision to 320
1550699597.566 * * * * [misc]points:  Computing exacts for 256 points
1550699597.567 * * * * [misc]points:  Setting MPFR precision to 64
1550699597.595 * * * * [misc]points:  Setting MPFR precision to 320
1550699597.636 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699597.680 * * * * [exit]points:  Sampled 256 points with exact outputs
1550699597.680 * * * [misc]progress:  [2/2] Setting up program.
1550699597.746 * [misc]progress:  [Phase 2 of 3] Improving.
1550699597.746 * * * * [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)))>
1550699597.747 * [enter]simplify:  Simplifying (-.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1))
1550699597.747 * * [misc]simplify:  iters left: 4 (11 enodes)
1550699597.752 * * [misc]simplify:  iters left: 3 (43 enodes)
1550699597.770 * * [misc]simplify:  iters left: 2 (148 enodes)
1550699597.859 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699597.859 * * [misc]simplify:  Extracting #1: cost 40 inf + 0
1550699597.860 * * [misc]simplify:  Extracting #2: cost 128 inf + 322
1550699597.861 * * [misc]simplify:  Extracting #3: cost 222 inf + 10234
1550699597.876 * * [misc]simplify:  Extracting #4: cost 153 inf + 124713
1550699597.892 * * [misc]simplify:  Extracting #5: cost 28 inf + 253727
1550699597.910 * * [misc]simplify:  Extracting #6: cost 1 inf + 271088
1550699597.928 * * [misc]simplify:  Extracting #7: cost 0 inf + 269810
1550699597.946 * * [misc]simplify:  Extracting #8: cost 0 inf + 269170
1550699597.964 * [exit]simplify:  Simplified to (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)))
1550699597.965 * [misc]simplify:  Simplified (2) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))
1550699598.003 * * [misc]progress:  iteration 1 / 4
1550699598.003 * * * [misc]progress:  picking best candidate
1550699598.053 * * * * [misc]pick:  Picked  #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))>
1550699598.053 * * * [misc]progress:  localizing error
1550699598.224 * * * [misc]progress:  generating rewritten candidates
1550699598.224 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 2)
1550699598.229 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1550699598.233 * * * [misc]progress:  generating series expansions
1550699598.233 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 2)
1550699598.233 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1550699598.233 * * * [misc]progress:  simplifying candidates
1550699598.233 * * * * [misc]progress:  [ 1 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (+.p16 (-.p16 d2 d3) d4) (neg.p16 d1))))>
1550699598.233 * [enter]simplify:  Simplifying (neg.p16 d1)
1550699598.234 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699598.234 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699598.234 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699598.235 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699598.235 * * [misc]simplify:  Extracting #3: cost 0 inf + 82
1550699598.235 * [exit]simplify:  Simplified to (neg.p16 d1)
1550699598.235 * [misc]simplify:  Simplified (2 2 2) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (+.p16 (-.p16 d2 d3) d4) (neg.p16 d1))))
1550699598.235 * * * * [misc]progress:  [ 2 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (neg.p16 d3) (-.p16 d4 d1)))))>
1550699598.235 * * * * [misc]progress:  [ 3 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))>
1550699598.235 * * * * [misc]progress:  [ 4 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (-.p16 d3 (-.p16 d4 d1)))))>
1550699598.235 * * * * [misc]progress:  [ 5 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d4 d1) (-.p16 d2 d3))))>
1550699598.235 * * * * [misc]progress:  [ 6 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d1 (-.p16 d4 d1))))>
1550699598.235 * [enter]simplify:  Simplifying (*.p16 d1 (-.p16 d4 d1))
1550699598.235 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699598.237 * * [misc]simplify:  iters left: 1 (16 enodes)
1550699598.243 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699598.243 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550699598.243 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550699598.243 * * [misc]simplify:  Extracting #3: cost 11 inf + 1249
1550699598.243 * * [misc]simplify:  Extracting #4: cost 6 inf + 3901
1550699598.244 * * [misc]simplify:  Extracting #5: cost 1 inf + 7028
1550699598.244 * * [misc]simplify:  Extracting #6: cost 0 inf + 8390
1550699598.245 * [exit]simplify:  Simplified to (*.p16 d1 (-.p16 d4 d1))
1550699598.245 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d1 (-.p16 d4 d1))))
1550699598.245 * * * * [misc]progress:  [ 7 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))>
1550699598.245 * [enter]simplify:  Simplifying (*.p16 (-.p16 d4 d1) d1)
1550699598.245 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699598.247 * * [misc]simplify:  iters left: 1 (16 enodes)
1550699598.253 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699598.253 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550699598.253 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550699598.253 * * [misc]simplify:  Extracting #3: cost 13 inf + 885
1550699598.254 * * [misc]simplify:  Extracting #4: cost 8 inf + 2697
1550699598.254 * * [misc]simplify:  Extracting #5: cost 2 inf + 6266
1550699598.255 * * [misc]simplify:  Extracting #6: cost 0 inf + 8390
1550699598.255 * [exit]simplify:  Simplified to (*.p16 (-.p16 d4 d1) d1)
1550699598.255 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))
1550699598.255 * * * * [misc]progress:  [ 8 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)) d1))>
1550699598.256 * * * * [misc]progress:  [ 9 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))>
1550699598.256 * [enter]simplify:  Simplifying (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)))
1550699598.256 * * [misc]simplify:  iters left: 3 (8 enodes)
1550699598.260 * * [misc]simplify:  iters left: 2 (42 enodes)
1550699598.273 * * [misc]simplify:  iters left: 1 (117 enodes)
1550699598.300 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699598.301 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550699598.301 * * [misc]simplify:  Extracting #2: cost 56 inf + 1
1550699598.301 * * [misc]simplify:  Extracting #3: cost 108 inf + 1181
1550699598.303 * * [misc]simplify:  Extracting #4: cost 85 inf + 24120
1550699598.306 * * [misc]simplify:  Extracting #5: cost 33 inf + 70189
1550699598.310 * * [misc]simplify:  Extracting #6: cost 1 inf + 97168
1550699598.318 * * [misc]simplify:  Extracting #7: cost 0 inf + 98411
1550699598.322 * [exit]simplify:  Simplified to (*.p16 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)) d1)
1550699598.322 * [misc]simplify:  Simplified (2) to (λ (d1 d2 d3 d4) (*.p16 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)) d1))
1550699598.322 * * * * [misc]progress:  [ 10 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))>
1550699598.322 * [enter]simplify:  Simplifying (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)))
1550699598.322 * * [misc]simplify:  iters left: 3 (8 enodes)
1550699598.324 * * [misc]simplify:  iters left: 2 (42 enodes)
1550699598.332 * * [misc]simplify:  iters left: 1 (117 enodes)
1550699598.364 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699598.364 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550699598.365 * * [misc]simplify:  Extracting #2: cost 56 inf + 1
1550699598.365 * * [misc]simplify:  Extracting #3: cost 108 inf + 1181
1550699598.368 * * [misc]simplify:  Extracting #4: cost 85 inf + 24120
1550699598.374 * * [misc]simplify:  Extracting #5: cost 33 inf + 70189
1550699598.382 * * [misc]simplify:  Extracting #6: cost 1 inf + 97168
1550699598.391 * * [misc]simplify:  Extracting #7: cost 0 inf + 98411
1550699598.400 * [exit]simplify:  Simplified to (*.p16 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)) d1)
1550699598.400 * [misc]simplify:  Simplified (2) to (λ (d1 d2 d3 d4) (*.p16 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)) d1))
1550699598.400 * * * [misc]progress:  adding candidates to table
1550699598.998 * * [misc]progress:  iteration 2 / 4
1550699598.998 * * * [misc]progress:  picking best candidate
1550699599.100 * * * * [misc]pick:  Picked  #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (neg.p16 d3) (-.p16 d4 d1)))))>
1550699599.100 * * * [misc]progress:  localizing error
1550699599.337 * * * [misc]progress:  generating rewritten candidates
1550699599.337 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 2 2)
1550699599.343 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2)
1550699599.348 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 2)
1550699599.353 * * * [misc]progress:  generating series expansions
1550699599.354 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 2 2)
1550699599.354 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2)
1550699599.354 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 2)
1550699599.354 * * * [misc]progress:  simplifying candidates
1550699599.354 * * * * [misc]progress:  [ 1 / 12 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (+.p16 (neg.p16 d3) d4) (neg.p16 d1)))))>
1550699599.354 * [enter]simplify:  Simplifying (neg.p16 d1)
1550699599.354 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699599.355 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699599.355 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699599.355 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699599.355 * * [misc]simplify:  Extracting #3: cost 0 inf + 82
1550699599.355 * [exit]simplify:  Simplified to (neg.p16 d1)
1550699599.355 * [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)))))
1550699599.355 * * * * [misc]progress:  [ 2 / 12 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (-.p16 (+.p16 (neg.p16 d3) d4) d1))))>
1550699599.355 * * * * [misc]progress:  [ 3 / 12 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (-.p16 d4 d1) (neg.p16 d3)))))>
1550699599.355 * * * * [misc]progress:  [ 4 / 12 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 d2) (*.p16 d1 (+.p16 (neg.p16 d3) (-.p16 d4 d1)))))>
1550699599.356 * [enter]simplify:  Simplifying (*.p16 d1 (+.p16 (neg.p16 d3) (-.p16 d4 d1)))
1550699599.356 * * [misc]simplify:  iters left: 3 (7 enodes)
1550699599.359 * * [misc]simplify:  iters left: 2 (30 enodes)
1550699599.382 * * [misc]simplify:  iters left: 1 (63 enodes)
1550699599.404 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699599.404 * * [misc]simplify:  Extracting #1: cost 14 inf + 0
1550699599.404 * * [misc]simplify:  Extracting #2: cost 31 inf + 1
1550699599.405 * * [misc]simplify:  Extracting #3: cost 48 inf + 935
1550699599.406 * * [misc]simplify:  Extracting #4: cost 28 inf + 12916
1550699599.408 * * [misc]simplify:  Extracting #5: cost 11 inf + 28880
1550699599.411 * * [misc]simplify:  Extracting #6: cost 1 inf + 38934
1550699599.416 * * [misc]simplify:  Extracting #7: cost 0 inf + 40776
1550699599.419 * [exit]simplify:  Simplified to (*.p16 d1 (-.p16 d4 (+.p16 d1 d3)))
1550699599.419 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 d2) (*.p16 d1 (-.p16 d4 (+.p16 d1 d3)))))
1550699599.419 * * * * [misc]progress:  [ 5 / 12 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 (+.p16 (neg.p16 d3) (-.p16 d4 d1)) d1)))>
1550699599.419 * [enter]simplify:  Simplifying (*.p16 (+.p16 (neg.p16 d3) (-.p16 d4 d1)) d1)
1550699599.420 * * [misc]simplify:  iters left: 3 (7 enodes)
1550699599.422 * * [misc]simplify:  iters left: 2 (24 enodes)
1550699599.430 * * [misc]simplify:  iters left: 1 (53 enodes)
1550699599.450 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699599.450 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550699599.450 * * [misc]simplify:  Extracting #2: cost 29 inf + 1
1550699599.451 * * [misc]simplify:  Extracting #3: cost 30 inf + 1661
1550699599.452 * * [misc]simplify:  Extracting #4: cost 29 inf + 7378
1550699599.453 * * [misc]simplify:  Extracting #5: cost 15 inf + 18416
1550699599.456 * * [misc]simplify:  Extracting #6: cost 1 inf + 30838
1550699599.458 * * [misc]simplify:  Extracting #7: cost 0 inf + 32840
1550699599.461 * [exit]simplify:  Simplified to (*.p16 (-.p16 d4 (+.p16 d1 d3)) d1)
1550699599.461 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 (-.p16 d4 (+.p16 d1 d3)) d1)))
1550699599.461 * * * * [misc]progress:  [ 6 / 12 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 (+.p16 d2 (+.p16 (neg.p16 d3) (-.p16 d4 d1))) d1))>
1550699599.461 * * * * [misc]progress:  [ 7 / 12 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (+.p16 d2 (neg.p16 d3)) (-.p16 d4 d1))))>
1550699599.461 * [enter]simplify:  Simplifying (-.p16 d4 d1)
1550699599.461 * * [misc]simplify:  iters left: 1 (3 enodes)
1550699599.463 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699599.463 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550699599.463 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550699599.463 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550699599.463 * [exit]simplify:  Simplified to (-.p16 d4 d1)
1550699599.463 * [misc]simplify:  Simplified (2 2 2) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (+.p16 d2 (neg.p16 d3)) (-.p16 d4 d1))))
1550699599.463 * * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 d2 (+.p16 (neg.p16 d3) d4)) d1)))>
1550699599.463 * * * * [misc]progress:  [ 9 / 12 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (+.p16 (neg.p16 d3) (-.p16 d4 d1)) d2)))>
1550699599.464 * * * * [misc]progress:  [ 10 / 12 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (neg.p16 d3) (-.p16 d4 d1)))))>
1550699599.464 * * * * [misc]progress:  [ 11 / 12 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (neg.p16 d3) (-.p16 d4 d1)))))>
1550699599.464 * * * * [misc]progress:  [ 12 / 12 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (neg.p16 d3) (-.p16 d4 d1)))))>
1550699599.464 * * * [misc]progress:  adding candidates to table
1550699600.295 * * [misc]progress:  iteration 3 / 4
1550699600.295 * * * [misc]progress:  picking best candidate
1550699600.394 * * * * [misc]pick:  Picked  #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (-.p16 (+.p16 (neg.p16 d3) d4) d1))))>
1550699600.394 * * * [misc]progress:  localizing error
1550699600.546 * * * [misc]progress:  generating rewritten candidates
1550699600.546 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 2 2)
1550699600.550 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2)
1550699600.555 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 2)
1550699600.559 * * * [misc]progress:  generating series expansions
1550699600.559 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 2 2)
1550699600.559 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2)
1550699600.559 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 2)
1550699600.559 * * * [misc]progress:  simplifying candidates
1550699600.559 * * * * [misc]progress:  [ 1 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (neg.p16 d3) (-.p16 d4 d1)))))>
1550699600.560 * [enter]simplify:  Simplifying (neg.p16 d3)
1550699600.560 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699600.560 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699600.560 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699600.560 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699600.560 * * [misc]simplify:  Extracting #3: cost 0 inf + 82
1550699600.560 * [exit]simplify:  Simplified to (neg.p16 d3)
1550699600.560 * [misc]simplify:  Simplified (2 2 2 1) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (neg.p16 d3) (-.p16 d4 d1)))))
1550699600.560 * * * * [misc]progress:  [ 2 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (+.p16 (neg.p16 d3) d4) (neg.p16 d1)))))>
1550699600.560 * * * * [misc]progress:  [ 3 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (/.p16 (-.p16 (*.p16 (+.p16 (neg.p16 d3) d4) (+.p16 (neg.p16 d3) d4)) (*.p16 d1 d1)) (+.p16 (+.p16 (neg.p16 d3) d4) d1)))))>
1550699600.560 * * * * [misc]progress:  [ 4 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 d2) (*.p16 d1 (-.p16 (+.p16 (neg.p16 d3) d4) d1))))>
1550699600.560 * [enter]simplify:  Simplifying (*.p16 d1 (-.p16 (+.p16 (neg.p16 d3) d4) d1))
1550699600.560 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699600.562 * * [misc]simplify:  iters left: 3 (24 enodes)
1550699600.566 * * [misc]simplify:  iters left: 2 (73 enodes)
1550699600.583 * * [misc]simplify:  iters left: 1 (248 enodes)
1550699600.693 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699600.693 * * [misc]simplify:  Extracting #1: cost 25 inf + 0
1550699600.694 * * [misc]simplify:  Extracting #2: cost 238 inf + 1
1550699600.698 * * [misc]simplify:  Extracting #3: cost 340 inf + 27897
1550699600.715 * * [misc]simplify:  Extracting #4: cost 93 inf + 256968
1550699600.731 * * [misc]simplify:  Extracting #5: cost 13 inf + 356607
1550699600.748 * * [misc]simplify:  Extracting #6: cost 1 inf + 368586
1550699600.768 * * [misc]simplify:  Extracting #7: cost 0 inf + 369868
1550699600.788 * [exit]simplify:  Simplified to (*.p16 d1 (-.p16 d4 (+.p16 d3 d1)))
1550699600.788 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 d2) (*.p16 d1 (-.p16 d4 (+.p16 d3 d1)))))
1550699600.789 * * * * [misc]progress:  [ 5 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 (-.p16 (+.p16 (neg.p16 d3) d4) d1) d1)))>
1550699600.789 * [enter]simplify:  Simplifying (*.p16 (-.p16 (+.p16 (neg.p16 d3) d4) d1) d1)
1550699600.789 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699600.790 * * [misc]simplify:  iters left: 3 (24 enodes)
1550699600.794 * * [misc]simplify:  iters left: 2 (73 enodes)
1550699600.812 * * [misc]simplify:  iters left: 1 (248 enodes)
1550699600.972 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699600.972 * * [misc]simplify:  Extracting #1: cost 26 inf + 0
1550699600.973 * * [misc]simplify:  Extracting #2: cost 250 inf + 1
1550699600.977 * * [misc]simplify:  Extracting #3: cost 357 inf + 29897
1550699600.995 * * [misc]simplify:  Extracting #4: cost 88 inf + 268617
1550699601.022 * * [misc]simplify:  Extracting #5: cost 13 inf + 364852
1550699601.052 * * [misc]simplify:  Extracting #6: cost 2 inf + 374068
1550699601.075 * * [misc]simplify:  Extracting #7: cost 0 inf + 376712
1550699601.092 * [exit]simplify:  Simplified to (*.p16 d1 (-.p16 d4 (+.p16 d3 d1)))
1550699601.092 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 d1 (-.p16 d4 (+.p16 d3 d1)))))
1550699601.092 * * * * [misc]progress:  [ 6 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 (+.p16 d2 (-.p16 (+.p16 (neg.p16 d3) d4) d1)) d1))>
1550699601.092 * * * * [misc]progress:  [ 7 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (+.p16 d2 (neg.p16 d3)) (-.p16 d4 d1))))>
1550699601.093 * [enter]simplify:  Simplifying (-.p16 d4 d1)
1550699601.093 * * [misc]simplify:  iters left: 1 (3 enodes)
1550699601.093 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699601.093 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550699601.093 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550699601.093 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550699601.094 * [exit]simplify:  Simplified to (-.p16 d4 d1)
1550699601.094 * [misc]simplify:  Simplified (2 2 2) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (+.p16 d2 (neg.p16 d3)) (-.p16 d4 d1))))
1550699601.094 * * * * [misc]progress:  [ 8 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (+.p16 d2 (+.p16 (neg.p16 d3) d4)) (neg.p16 d1))))>
1550699601.094 * [enter]simplify:  Simplifying (neg.p16 d1)
1550699601.094 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699601.094 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699601.094 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699601.094 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699601.094 * * [misc]simplify:  Extracting #3: cost 0 inf + 82
1550699601.094 * [exit]simplify:  Simplified to (neg.p16 d1)
1550699601.094 * [misc]simplify:  Simplified (2 2 2) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (+.p16 d2 (+.p16 (neg.p16 d3) d4)) (neg.p16 d1))))
1550699601.094 * * * * [misc]progress:  [ 9 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 d2 (+.p16 (neg.p16 d3) d4)) d1)))>
1550699601.094 * * * * [misc]progress:  [ 10 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 (+.p16 (neg.p16 d3) d4) d1) d2)))>
1550699601.095 * * * * [misc]progress:  [ 11 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (-.p16 (+.p16 (neg.p16 d3) d4) d1))))>
1550699601.095 * * * * [misc]progress:  [ 12 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (-.p16 (+.p16 (neg.p16 d3) d4) d1))))>
1550699601.095 * * * * [misc]progress:  [ 13 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (-.p16 (+.p16 (neg.p16 d3) d4) d1))))>
1550699601.095 * * * [misc]progress:  adding candidates to table
1550699601.717 * * [misc]progress:  iteration 4 / 4
1550699601.717 * * * [misc]progress:  picking best candidate
1550699601.780 * * * * [misc]pick:  Picked  #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))>
1550699601.780 * * * [misc]progress:  localizing error
1550699601.923 * * * [misc]progress:  generating rewritten candidates
1550699601.924 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
1550699601.932 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 2 1)
1550699601.935 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 2)
1550699601.943 * * * [misc]progress:  generating series expansions
1550699601.943 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
1550699601.943 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 2 1)
1550699601.943 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 2)
1550699601.943 * * * [misc]progress:  simplifying candidates
1550699601.943 * * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d1 (-.p16 d4 d1))))>
1550699601.943 * [enter]simplify:  Simplifying (*.p16 d1 (-.p16 d4 d1))
1550699601.944 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699601.945 * * [misc]simplify:  iters left: 1 (16 enodes)
1550699601.950 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699601.950 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550699601.950 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550699601.950 * * [misc]simplify:  Extracting #3: cost 11 inf + 1249
1550699601.951 * * [misc]simplify:  Extracting #4: cost 6 inf + 3901
1550699601.951 * * [misc]simplify:  Extracting #5: cost 1 inf + 7028
1550699601.951 * * [misc]simplify:  Extracting #6: cost 0 inf + 8390
1550699601.952 * [exit]simplify:  Simplified to (*.p16 d1 (-.p16 d4 d1))
1550699601.952 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d1 (-.p16 d4 d1))))
1550699601.952 * * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (+.p16 (-.p16 d2 d3) d4)) (*.p16 d1 (neg.p16 d1))))>
1550699601.952 * [enter]simplify:  Simplifying (*.p16 d1 (neg.p16 d1))
1550699601.952 * * [misc]simplify:  iters left: 2 (3 enodes)
1550699601.953 * * [misc]simplify:  iters left: 1 (6 enodes)
1550699601.955 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699601.955 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699601.955 * * [misc]simplify:  Extracting #2: cost 2 inf + 1
1550699601.955 * * [misc]simplify:  Extracting #3: cost 0 inf + 483
1550699601.955 * [exit]simplify:  Simplified to (*.p16 (neg.p16 d1) d1)
1550699601.955 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (+.p16 (-.p16 d2 d3) d4)) (*.p16 (neg.p16 d1) d1)))
1550699601.955 * * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))>
1550699601.956 * [enter]simplify:  Simplifying (*.p16 (-.p16 d4 d1) d1)
1550699601.956 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699601.957 * * [misc]simplify:  iters left: 1 (16 enodes)
1550699601.962 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699601.962 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550699601.962 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550699601.962 * * [misc]simplify:  Extracting #3: cost 13 inf + 885
1550699601.963 * * [misc]simplify:  Extracting #4: cost 8 inf + 2697
1550699601.963 * * [misc]simplify:  Extracting #5: cost 2 inf + 6266
1550699601.963 * * [misc]simplify:  Extracting #6: cost 0 inf + 8390
1550699601.964 * [exit]simplify:  Simplified to (*.p16 (-.p16 d4 d1) d1)
1550699601.964 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))
1550699601.964 * * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (+.p16 (-.p16 d2 d3) d4) d1) (*.p16 (neg.p16 d1) d1)))>
1550699601.964 * [enter]simplify:  Simplifying (*.p16 (neg.p16 d1) d1)
1550699601.964 * * [misc]simplify:  iters left: 2 (3 enodes)
1550699601.966 * * [misc]simplify:  iters left: 1 (6 enodes)
1550699601.967 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699601.967 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699601.967 * * [misc]simplify:  Extracting #2: cost 2 inf + 1
1550699601.967 * * [misc]simplify:  Extracting #3: cost 0 inf + 483
1550699601.967 * [exit]simplify:  Simplified to (*.p16 (neg.p16 d1) d1)
1550699601.967 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 (+.p16 (-.p16 d2 d3) d4) d1) (*.p16 (neg.p16 d1) d1)))
1550699601.967 * * * * [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)))>
1550699601.968 * [enter]simplify:  Simplifying (+.p16 (+.p16 (-.p16 d2 d3) d4) d1)
1550699601.968 * * [misc]simplify:  iters left: 3 (7 enodes)
1550699601.971 * * [misc]simplify:  iters left: 2 (28 enodes)
1550699601.979 * * [misc]simplify:  iters left: 1 (69 enodes)
1550699602.011 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699602.011 * * [misc]simplify:  Extracting #1: cost 28 inf + 0
1550699602.012 * * [misc]simplify:  Extracting #2: cost 45 inf + 86
1550699602.013 * * [misc]simplify:  Extracting #3: cost 46 inf + 4229
1550699602.015 * * [misc]simplify:  Extracting #4: cost 22 inf + 17381
1550699602.017 * * [misc]simplify:  Extracting #5: cost 5 inf + 30688
1550699602.020 * * [misc]simplify:  Extracting #6: cost 0 inf + 37097
1550699602.023 * [exit]simplify:  Simplified to (+.p16 (-.p16 (+.p16 d2 d4) d3) d1)
1550699602.023 * [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)))
1550699602.023 * * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1) d1))>
1550699602.023 * * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 d2 (+.p16 (neg.p16 d3) d4)) d1)))>
1550699602.023 * * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (-.p16 d2 (-.p16 d3 d4)) d1)))>
1550699602.023 * * * * [misc]progress:  [ 9 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 d4 (-.p16 d2 d3)) d1)))>
1550699602.023 * * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))>
1550699602.024 * [enter]simplify:  Simplifying (-.p16 d2 d3)
1550699602.024 * * [misc]simplify:  iters left: 1 (3 enodes)
1550699602.025 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699602.025 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550699602.025 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550699602.025 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550699602.025 * [exit]simplify:  Simplified to (-.p16 d2 d3)
1550699602.026 * [misc]simplify:  Simplified (2 2 1) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))
1550699602.026 * * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (+.p16 (-.p16 d3 d4) d1))))>
1550699602.026 * * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (+.p16 (-.p16 d2 d3) d4) (neg.p16 d1))))>
1550699602.026 * * * * [misc]progress:  [ 13 / 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))))>
1550699602.026 * * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))>
1550699602.026 * * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))>
1550699602.026 * * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))>
1550699602.026 * * * [misc]progress:  adding candidates to table
1550699603.082 * [misc]progress:  [Phase 3 of 3] Extracting.
1550699603.082 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (-.p16 (+.p16 (neg.p16 d3) d4) d1))))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 d1 (-.p16 d4 (+.p16 d3 d1)))))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (+.p16 (-.p16 d2 d3) d4) d1) (*.p16 (neg.p16 d1) 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 (-.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)))>)
1550699603.084 * * * [misc]regime-changes:  Trying 4 branch expressions: (d4 d3 d2 d1)
1550699603.084 * * * * [misc]regimes:  Trying to branch on d4 from (#<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (-.p16 (+.p16 (neg.p16 d3) d4) d1))))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 d1 (-.p16 d4 (+.p16 d3 d1)))))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (+.p16 (-.p16 d2 d3) d4) d1) (*.p16 (neg.p16 d1) 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 (-.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)))>)
1550699603.602 * * * * [misc]regimes:  Trying to branch on d3 from (#<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (-.p16 (+.p16 (neg.p16 d3) d4) d1))))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 d1 (-.p16 d4 (+.p16 d3 d1)))))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (+.p16 (-.p16 d2 d3) d4) d1) (*.p16 (neg.p16 d1) 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 (-.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)))>)
1550699604.088 * * * * [misc]regimes:  Trying to branch on d2 from (#<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (-.p16 (+.p16 (neg.p16 d3) d4) d1))))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 d1 (-.p16 d4 (+.p16 d3 d1)))))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (+.p16 (-.p16 d2 d3) d4) d1) (*.p16 (neg.p16 d1) 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 (-.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)))>)
1550699604.601 * * * * [misc]regimes:  Trying to branch on d1 from (#<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (-.p16 (+.p16 (neg.p16 d3) d4) d1))))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 d1 (-.p16 d4 (+.p16 d3 d1)))))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (+.p16 (-.p16 d2 d3) d4) d1) (*.p16 (neg.p16 d1) 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 (-.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)))>)
1550699605.107 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1550699605.107 * [enter]simplify:  Simplifying (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)))
1550699605.108 * * [misc]simplify:  iters left: 3 (8 enodes)
1550699605.108 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699605.108 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699605.108 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1550699605.108 * * [misc]simplify:  Extracting #3: cost 7 inf + 1
1550699605.108 * * [misc]simplify:  Extracting #4: cost 0 inf + 896
1550699605.109 * [exit]simplify:  Simplified to (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)))
1550699605.109 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550699605.191 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550699605.193 * * * * [misc]points:  Setting MPFR precision to 64
1550699605.195 * * * * [misc]points:  Setting MPFR precision to 320
1550699605.197 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550699605.199 * * * * [misc]points:  Setting MPFR precision to 64
1550699605.204 * * * * [misc]points:  Setting MPFR precision to 320
1550699605.209 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550699605.211 * * * * [misc]points:  Setting MPFR precision to 64
1550699605.218 * * * * [misc]points:  Setting MPFR precision to 320
1550699605.227 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550699605.229 * * * * [misc]points:  Setting MPFR precision to 64
1550699605.243 * * * * [misc]points:  Setting MPFR precision to 320
1550699605.257 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550699605.258 * * * * [misc]points:  Setting MPFR precision to 64
1550699605.276 * * * * [misc]points:  Setting MPFR precision to 320
1550699605.333 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550699605.335 * * * * [misc]points:  Setting MPFR precision to 64
1550699605.380 * * * * [misc]points:  Setting MPFR precision to 320
1550699605.462 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550699605.464 * * * * [misc]points:  Setting MPFR precision to 64
1550699605.625 * * * * [misc]points:  Setting MPFR precision to 320
1550699606.251 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550699606.254 * * * * [misc]points:  Setting MPFR precision to 64
1550699606.533 * * * * [misc]points:  Setting MPFR precision to 320
1550699606.839 * * * * [misc]points:  Computing exacts for 8000 points
1550699606.841 * * * * [misc]points:  Setting MPFR precision to 64
1550699607.831 * * * * [misc]points:  Setting MPFR precision to 320
1550699608.976 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699610.769 * * * * [exit]points:  Sampled 8000 points with exact outputs
1550699614.335 * [misc]regime-testing:  Baseline error score: 64.0
1550699614.337 * [misc]regime-testing:  Oracle error score: 64.0
1550699614.343 * [misc]regime-testing:  End program error score: 0.38241794110406285