1550842918.713 * [misc]progress:  [Phase 1 of 3] Setting up.
1550842918.713 * * * [misc]progress:  [1/2] Preparing points
1550842918.713 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550842918.715 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550842918.716 * * * * [misc]points:  Setting MPFR precision to 64
1550842918.717 * * * * [misc]points:  Setting MPFR precision to 320
1550842918.718 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550842918.719 * * * * [misc]points:  Setting MPFR precision to 64
1550842918.721 * * * * [misc]points:  Setting MPFR precision to 320
1550842918.724 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550842918.725 * * * * [misc]points:  Setting MPFR precision to 64
1550842918.729 * * * * [misc]points:  Setting MPFR precision to 320
1550842918.733 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550842918.734 * * * * [misc]points:  Setting MPFR precision to 64
1550842918.740 * * * * [misc]points:  Setting MPFR precision to 320
1550842918.747 * * * * [misc]points:  Computing exacts for 256 points
1550842918.748 * * * * [misc]points:  Setting MPFR precision to 64
1550842918.775 * * * * [misc]points:  Setting MPFR precision to 320
1550842918.797 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842918.820 * * * * [misc]points:  Sampling 4 additional inputs, on iter 1 have 255 / 256
1550842918.820 * * * * [misc]points:  Computing exacts for 4 points
1550842918.822 * * * * [misc]points:  Setting MPFR precision to 64
1550842918.823 * * * * [misc]points:  Setting MPFR precision to 320
1550842918.823 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842918.824 * * * * [exit]points:  Sampled 259 points with exact outputs
1550842918.824 * * * [misc]progress:  [2/2] Setting up program.
1550842918.840 * [misc]progress:  [Phase 2 of 3] Improving.
1550842918.840 * * * * [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)))>
1550842918.840 * [enter]simplify:  Simplifying (-.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1))
1550842918.840 * * [misc]simplify:  iters left: 4 (11 enodes)
1550842918.842 * * [misc]simplify:  iters left: 3 (43 enodes)
1550842918.851 * * [misc]simplify:  iters left: 2 (148 enodes)
1550842918.909 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842918.909 * * [misc]simplify:  Extracting #1: cost 40 inf + 0
1550842918.910 * * [misc]simplify:  Extracting #2: cost 128 inf + 322
1550842918.910 * * [misc]simplify:  Extracting #3: cost 222 inf + 10234
1550842918.914 * * [misc]simplify:  Extracting #4: cost 153 inf + 124713
1550842918.922 * * [misc]simplify:  Extracting #5: cost 28 inf + 253727
1550842918.932 * * [misc]simplify:  Extracting #6: cost 1 inf + 271088
1550842918.941 * * [misc]simplify:  Extracting #7: cost 0 inf + 269810
1550842918.955 * * [misc]simplify:  Extracting #8: cost 0 inf + 269170
1550842918.964 * [exit]simplify:  Simplified to (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)))
1550842918.964 * [misc]simplify:  Simplified (2) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))
1550842918.996 * * [misc]progress:  iteration 1 / 4
1550842918.996 * * * [misc]progress:  picking best candidate
1550842919.028 * * * * [misc]pick:  Picked  #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))>
1550842919.028 * * * [misc]progress:  localizing error
1550842919.235 * * * [misc]progress:  generating rewritten candidates
1550842919.235 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 2)
1550842919.240 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1550842919.244 * * * [misc]progress:  generating series expansions
1550842919.244 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 2)
1550842919.244 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1550842919.244 * * * [misc]progress:  simplifying candidates
1550842919.244 * * * * [misc]progress:  [ 1 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (+.p16 (-.p16 d2 d3) d4) (neg.p16 d1))))>
1550842919.245 * [enter]simplify:  Simplifying (neg.p16 d1)
1550842919.245 * * [misc]simplify:  iters left: 1 (2 enodes)
1550842919.246 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842919.246 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550842919.246 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550842919.246 * * [misc]simplify:  Extracting #3: cost 0 inf + 82
1550842919.246 * [exit]simplify:  Simplified to (neg.p16 d1)
1550842919.246 * [misc]simplify:  Simplified (2 2 2) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (+.p16 (-.p16 d2 d3) d4) (neg.p16 d1))))
1550842919.246 * * * * [misc]progress:  [ 2 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (+.p16 (neg.p16 d3) (-.p16 d4 d1)))))>
1550842919.246 * * * * [misc]progress:  [ 3 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))>
1550842919.246 * * * * [misc]progress:  [ 4 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (-.p16 d3 (-.p16 d4 d1)))))>
1550842919.246 * * * * [misc]progress:  [ 5 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d4 d1) (-.p16 d2 d3))))>
1550842919.246 * * * * [misc]progress:  [ 6 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d1 (-.p16 d4 d1))))>
1550842919.247 * [enter]simplify:  Simplifying (*.p16 d1 (-.p16 d4 d1))
1550842919.247 * * [misc]simplify:  iters left: 2 (4 enodes)
1550842919.249 * * [misc]simplify:  iters left: 1 (16 enodes)
1550842919.254 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842919.254 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842919.254 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550842919.255 * * [misc]simplify:  Extracting #3: cost 11 inf + 1249
1550842919.255 * * [misc]simplify:  Extracting #4: cost 6 inf + 3901
1550842919.255 * * [misc]simplify:  Extracting #5: cost 1 inf + 7028
1550842919.256 * * [misc]simplify:  Extracting #6: cost 0 inf + 8390
1550842919.256 * [exit]simplify:  Simplified to (*.p16 d1 (-.p16 d4 d1))
1550842919.256 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d1 (-.p16 d4 d1))))
1550842919.256 * * * * [misc]progress:  [ 7 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))>
1550842919.257 * [enter]simplify:  Simplifying (*.p16 (-.p16 d4 d1) d1)
1550842919.257 * * [misc]simplify:  iters left: 2 (4 enodes)
1550842919.259 * * [misc]simplify:  iters left: 1 (16 enodes)
1550842919.264 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842919.264 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842919.264 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550842919.265 * * [misc]simplify:  Extracting #3: cost 13 inf + 885
1550842919.265 * * [misc]simplify:  Extracting #4: cost 8 inf + 2697
1550842919.265 * * [misc]simplify:  Extracting #5: cost 2 inf + 6266
1550842919.266 * * [misc]simplify:  Extracting #6: cost 0 inf + 8390
1550842919.266 * [exit]simplify:  Simplified to (*.p16 (-.p16 d4 d1) d1)
1550842919.266 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))
1550842919.266 * * * * [misc]progress:  [ 8 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)) d1))>
1550842919.266 * * * * [misc]progress:  [ 9 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))>
1550842919.267 * [enter]simplify:  Simplifying (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)))
1550842919.267 * * [misc]simplify:  iters left: 3 (8 enodes)
1550842919.270 * * [misc]simplify:  iters left: 2 (42 enodes)
1550842919.286 * * [misc]simplify:  iters left: 1 (117 enodes)
1550842919.344 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842919.345 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550842919.345 * * [misc]simplify:  Extracting #2: cost 56 inf + 1
1550842919.346 * * [misc]simplify:  Extracting #3: cost 108 inf + 1181
1550842919.348 * * [misc]simplify:  Extracting #4: cost 85 inf + 24120
1550842919.354 * * [misc]simplify:  Extracting #5: cost 33 inf + 70189
1550842919.362 * * [misc]simplify:  Extracting #6: cost 1 inf + 97168
1550842919.370 * * [misc]simplify:  Extracting #7: cost 0 inf + 98411
1550842919.379 * [exit]simplify:  Simplified to (*.p16 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)) d1)
1550842919.379 * [misc]simplify:  Simplified (2) to (λ (d1 d2 d3 d4) (*.p16 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)) d1))
1550842919.379 * * * * [misc]progress:  [ 10 / 10 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))>
1550842919.379 * [enter]simplify:  Simplifying (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)))
1550842919.379 * * [misc]simplify:  iters left: 3 (8 enodes)
1550842919.384 * * [misc]simplify:  iters left: 2 (42 enodes)
1550842919.400 * * [misc]simplify:  iters left: 1 (117 enodes)
1550842919.454 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842919.454 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550842919.454 * * [misc]simplify:  Extracting #2: cost 56 inf + 1
1550842919.455 * * [misc]simplify:  Extracting #3: cost 108 inf + 1181
1550842919.458 * * [misc]simplify:  Extracting #4: cost 85 inf + 24120
1550842919.464 * * [misc]simplify:  Extracting #5: cost 33 inf + 70189
1550842919.472 * * [misc]simplify:  Extracting #6: cost 1 inf + 97168
1550842919.480 * * [misc]simplify:  Extracting #7: cost 0 inf + 98411
1550842919.488 * [exit]simplify:  Simplified to (*.p16 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)) d1)
1550842919.488 * [misc]simplify:  Simplified (2) to (λ (d1 d2 d3 d4) (*.p16 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)) d1))
1550842919.489 * * * [misc]progress:  adding candidates to table
1550842919.887 * * [misc]progress:  iteration 2 / 4
1550842919.887 * * * [misc]progress:  picking best candidate
1550842920.009 * * * * [misc]pick:  Picked  #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))>
1550842920.010 * * * [misc]progress:  localizing error
1550842920.108 * * * [misc]progress:  generating rewritten candidates
1550842920.108 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
1550842920.113 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 2 1)
1550842920.114 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 2)
1550842920.119 * * * [misc]progress:  generating series expansions
1550842920.119 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
1550842920.119 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 2 1)
1550842920.119 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 2)
1550842920.119 * * * [misc]progress:  simplifying candidates
1550842920.119 * * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d1 (-.p16 d4 d1))))>
1550842920.119 * [enter]simplify:  Simplifying (*.p16 d1 (-.p16 d4 d1))
1550842920.119 * * [misc]simplify:  iters left: 2 (4 enodes)
1550842920.121 * * [misc]simplify:  iters left: 1 (16 enodes)
1550842920.123 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842920.123 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842920.123 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550842920.123 * * [misc]simplify:  Extracting #3: cost 11 inf + 1249
1550842920.124 * * [misc]simplify:  Extracting #4: cost 6 inf + 3901
1550842920.124 * * [misc]simplify:  Extracting #5: cost 1 inf + 7028
1550842920.124 * * [misc]simplify:  Extracting #6: cost 0 inf + 8390
1550842920.124 * [exit]simplify:  Simplified to (*.p16 d1 (-.p16 d4 d1))
1550842920.124 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d1 (-.p16 d4 d1))))
1550842920.124 * * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (+.p16 (-.p16 d2 d3) d4)) (*.p16 d1 (neg.p16 d1))))>
1550842920.125 * [enter]simplify:  Simplifying (*.p16 d1 (neg.p16 d1))
1550842920.125 * * [misc]simplify:  iters left: 2 (3 enodes)
1550842920.125 * * [misc]simplify:  iters left: 1 (6 enodes)
1550842920.126 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842920.126 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842920.126 * * [misc]simplify:  Extracting #2: cost 2 inf + 1
1550842920.126 * * [misc]simplify:  Extracting #3: cost 0 inf + 483
1550842920.126 * [exit]simplify:  Simplified to (*.p16 (neg.p16 d1) d1)
1550842920.126 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (+.p16 (-.p16 d2 d3) d4)) (*.p16 (neg.p16 d1) d1)))
1550842920.126 * * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))>
1550842920.126 * [enter]simplify:  Simplifying (*.p16 (-.p16 d4 d1) d1)
1550842920.126 * * [misc]simplify:  iters left: 2 (4 enodes)
1550842920.127 * * [misc]simplify:  iters left: 1 (16 enodes)
1550842920.130 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842920.130 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842920.130 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550842920.130 * * [misc]simplify:  Extracting #3: cost 13 inf + 885
1550842920.130 * * [misc]simplify:  Extracting #4: cost 8 inf + 2697
1550842920.131 * * [misc]simplify:  Extracting #5: cost 2 inf + 6266
1550842920.131 * * [misc]simplify:  Extracting #6: cost 0 inf + 8390
1550842920.132 * [exit]simplify:  Simplified to (*.p16 (-.p16 d4 d1) d1)
1550842920.132 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))
1550842920.132 * * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (+.p16 (-.p16 d2 d3) d4) d1) (*.p16 (neg.p16 d1) d1)))>
1550842920.132 * [enter]simplify:  Simplifying (*.p16 (neg.p16 d1) d1)
1550842920.132 * * [misc]simplify:  iters left: 2 (3 enodes)
1550842920.133 * * [misc]simplify:  iters left: 1 (6 enodes)
1550842920.133 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842920.133 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842920.133 * * [misc]simplify:  Extracting #2: cost 2 inf + 1
1550842920.133 * * [misc]simplify:  Extracting #3: cost 0 inf + 483
1550842920.133 * [exit]simplify:  Simplified to (*.p16 (neg.p16 d1) d1)
1550842920.133 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 (+.p16 (-.p16 d2 d3) d4) d1) (*.p16 (neg.p16 d1) d1)))
1550842920.134 * * * * [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)))>
1550842920.134 * [enter]simplify:  Simplifying (+.p16 (+.p16 (-.p16 d2 d3) d4) d1)
1550842920.134 * * [misc]simplify:  iters left: 3 (7 enodes)
1550842920.135 * * [misc]simplify:  iters left: 2 (28 enodes)
1550842920.140 * * [misc]simplify:  iters left: 1 (69 enodes)
1550842920.153 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842920.153 * * [misc]simplify:  Extracting #1: cost 28 inf + 0
1550842920.153 * * [misc]simplify:  Extracting #2: cost 45 inf + 86
1550842920.154 * * [misc]simplify:  Extracting #3: cost 46 inf + 4229
1550842920.155 * * [misc]simplify:  Extracting #4: cost 22 inf + 17381
1550842920.156 * * [misc]simplify:  Extracting #5: cost 5 inf + 30688
1550842920.158 * * [misc]simplify:  Extracting #6: cost 0 inf + 37097
1550842920.159 * [exit]simplify:  Simplified to (+.p16 (-.p16 (+.p16 d2 d4) d3) d1)
1550842920.159 * [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)))
1550842920.160 * * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1) d1))>
1550842920.160 * * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 d2 (+.p16 (neg.p16 d3) d4)) d1)))>
1550842920.160 * * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (-.p16 d2 (-.p16 d3 d4)) d1)))>
1550842920.160 * * * * [misc]progress:  [ 9 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 d4 (-.p16 d2 d3)) d1)))>
1550842920.160 * * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))>
1550842920.160 * [enter]simplify:  Simplifying (-.p16 d2 d3)
1550842920.160 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842920.161 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842920.161 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550842920.161 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550842920.161 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550842920.161 * [exit]simplify:  Simplified to (-.p16 d2 d3)
1550842920.161 * [misc]simplify:  Simplified (2 2 1) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))
1550842920.161 * * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (+.p16 (-.p16 d3 d4) d1))))>
1550842920.161 * * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (+.p16 (-.p16 d2 d3) d4) (neg.p16 d1))))>
1550842920.161 * * * * [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))))>
1550842920.161 * * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))>
1550842920.161 * * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))>
1550842920.161 * * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))>
1550842920.161 * * * [misc]progress:  adding candidates to table
1550842920.941 * * [misc]progress:  iteration 3 / 4
1550842920.941 * * * [misc]progress:  picking best candidate
1550842921.045 * * * * [misc]pick:  Picked  #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (-.p16 d2 (-.p16 d3 d4)) d1)))>
1550842921.045 * * * [misc]progress:  localizing error
1550842921.211 * * * [misc]progress:  generating rewritten candidates
1550842921.211 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
1550842921.216 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 2)
1550842921.218 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 2 1)
1550842921.219 * * * [misc]progress:  generating series expansions
1550842921.219 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
1550842921.219 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 2)
1550842921.219 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 2 1)
1550842921.220 * * * [misc]progress:  simplifying candidates
1550842921.220 * * * * [misc]progress:  [ 1 / 20 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d1 (-.p16 d4 d1))))>
1550842921.220 * [enter]simplify:  Simplifying (*.p16 d1 (-.p16 d4 d1))
1550842921.220 * * [misc]simplify:  iters left: 2 (4 enodes)
1550842921.222 * * [misc]simplify:  iters left: 1 (16 enodes)
1550842921.227 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842921.227 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842921.227 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550842921.228 * * [misc]simplify:  Extracting #3: cost 11 inf + 1249
1550842921.228 * * [misc]simplify:  Extracting #4: cost 6 inf + 3901
1550842921.228 * * [misc]simplify:  Extracting #5: cost 1 inf + 7028
1550842921.229 * * [misc]simplify:  Extracting #6: cost 0 inf + 8390
1550842921.229 * [exit]simplify:  Simplified to (*.p16 d1 (-.p16 d4 d1))
1550842921.229 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d1 (-.p16 d4 d1))))
1550842921.229 * * * * [misc]progress:  [ 2 / 20 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 d2) (*.p16 d1 (-.p16 (neg.p16 (-.p16 d3 d4)) d1))))>
1550842921.230 * [enter]simplify:  Simplifying (*.p16 d1 (-.p16 (neg.p16 (-.p16 d3 d4)) d1))
1550842921.230 * * [misc]simplify:  iters left: 4 (7 enodes)
1550842921.233 * * [misc]simplify:  iters left: 3 (28 enodes)
1550842921.243 * * [misc]simplify:  iters left: 2 (58 enodes)
1550842921.265 * * [misc]simplify:  iters left: 1 (145 enodes)
1550842921.342 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842921.342 * * [misc]simplify:  Extracting #1: cost 19 inf + 0
1550842921.343 * * [misc]simplify:  Extracting #2: cost 107 inf + 1
1550842921.343 * * [misc]simplify:  Extracting #3: cost 117 inf + 2261
1550842921.345 * * [misc]simplify:  Extracting #4: cost 128 inf + 26600
1550842921.349 * * [misc]simplify:  Extracting #5: cost 67 inf + 107066
1550842921.356 * * [misc]simplify:  Extracting #6: cost 27 inf + 173100
1550842921.365 * * [misc]simplify:  Extracting #7: cost 0 inf + 215268
1550842921.374 * * [misc]simplify:  Extracting #8: cost 0 inf + 214708
1550842921.383 * [exit]simplify:  Simplified to (*.p16 d1 (+.p16 (-.p16 (neg.p16 d1) d3) d4))
1550842921.383 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 d2) (*.p16 d1 (+.p16 (-.p16 (neg.p16 d1) d3) d4))))
1550842921.383 * * * * [misc]progress:  [ 3 / 20 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 (-.p16 d3 d4))) (*.p16 d1 (neg.p16 d1))))>
1550842921.383 * [enter]simplify:  Simplifying (*.p16 d1 (neg.p16 d1))
1550842921.383 * * [misc]simplify:  iters left: 2 (3 enodes)
1550842921.384 * * [misc]simplify:  iters left: 1 (6 enodes)
1550842921.385 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842921.385 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842921.385 * * [misc]simplify:  Extracting #2: cost 2 inf + 1
1550842921.385 * * [misc]simplify:  Extracting #3: cost 0 inf + 483
1550842921.385 * [exit]simplify:  Simplified to (*.p16 (neg.p16 d1) d1)
1550842921.385 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d1 (-.p16 d2 (-.p16 d3 d4))) (*.p16 (neg.p16 d1) d1)))
1550842921.385 * * * * [misc]progress:  [ 4 / 20 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))>
1550842921.385 * [enter]simplify:  Simplifying (*.p16 (-.p16 d4 d1) d1)
1550842921.385 * * [misc]simplify:  iters left: 2 (4 enodes)
1550842921.386 * * [misc]simplify:  iters left: 1 (16 enodes)
1550842921.389 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842921.389 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842921.389 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550842921.389 * * [misc]simplify:  Extracting #3: cost 13 inf + 885
1550842921.389 * * [misc]simplify:  Extracting #4: cost 8 inf + 2697
1550842921.389 * * [misc]simplify:  Extracting #5: cost 2 inf + 6266
1550842921.389 * * [misc]simplify:  Extracting #6: cost 0 inf + 8390
1550842921.389 * [exit]simplify:  Simplified to (*.p16 (-.p16 d4 d1) d1)
1550842921.390 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (*.p16 (-.p16 d4 d1) d1)))
1550842921.390 * * * * [misc]progress:  [ 5 / 20 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 (-.p16 (neg.p16 (-.p16 d3 d4)) d1) d1)))>
1550842921.390 * [enter]simplify:  Simplifying (*.p16 (-.p16 (neg.p16 (-.p16 d3 d4)) d1) d1)
1550842921.390 * * [misc]simplify:  iters left: 4 (7 enodes)
1550842921.391 * * [misc]simplify:  iters left: 3 (28 enodes)
1550842921.396 * * [misc]simplify:  iters left: 2 (58 enodes)
1550842921.406 * * [misc]simplify:  iters left: 1 (145 enodes)
1550842921.446 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842921.446 * * [misc]simplify:  Extracting #1: cost 19 inf + 0
1550842921.446 * * [misc]simplify:  Extracting #2: cost 107 inf + 1
1550842921.447 * * [misc]simplify:  Extracting #3: cost 105 inf + 11537
1550842921.449 * * [misc]simplify:  Extracting #4: cost 110 inf + 43734
1550842921.454 * * [misc]simplify:  Extracting #5: cost 71 inf + 102658
1550842921.460 * * [misc]simplify:  Extracting #6: cost 40 inf + 155034
1550842921.470 * * [misc]simplify:  Extracting #7: cost 0 inf + 215428
1550842921.480 * * [misc]simplify:  Extracting #8: cost 0 inf + 214548
1550842921.491 * [exit]simplify:  Simplified to (*.p16 d1 (+.p16 (-.p16 (neg.p16 d1) d3) d4))
1550842921.491 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 d1 (+.p16 (-.p16 (neg.p16 d1) d3) d4))))
1550842921.492 * * * * [misc]progress:  [ 6 / 20 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 (-.p16 d3 d4)) d1) (*.p16 (neg.p16 d1) d1)))>
1550842921.492 * [enter]simplify:  Simplifying (*.p16 (neg.p16 d1) d1)
1550842921.492 * * [misc]simplify:  iters left: 2 (3 enodes)
1550842921.493 * * [misc]simplify:  iters left: 1 (6 enodes)
1550842921.494 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842921.494 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842921.494 * * [misc]simplify:  Extracting #2: cost 2 inf + 1
1550842921.494 * * [misc]simplify:  Extracting #3: cost 0 inf + 483
1550842921.494 * [exit]simplify:  Simplified to (*.p16 (neg.p16 d1) d1)
1550842921.494 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 (-.p16 d3 d4)) d1) (*.p16 (neg.p16 d1) d1)))
1550842921.494 * * * * [misc]progress:  [ 7 / 20 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (/.p16 (*.p16 d1 (-.p16 (*.p16 (-.p16 d2 (-.p16 d3 d4)) (-.p16 d2 (-.p16 d3 d4))) (*.p16 d1 d1))) (+.p16 (-.p16 d2 (-.p16 d3 d4)) d1)))>
1550842921.495 * [enter]simplify:  Simplifying (+.p16 (-.p16 d2 (-.p16 d3 d4)) d1)
1550842921.495 * * [misc]simplify:  iters left: 3 (7 enodes)
1550842921.497 * * [misc]simplify:  iters left: 2 (34 enodes)
1550842921.508 * * [misc]simplify:  iters left: 1 (97 enodes)
1550842921.543 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842921.543 * * [misc]simplify:  Extracting #1: cost 22 inf + 0
1550842921.544 * * [misc]simplify:  Extracting #2: cost 46 inf + 735
1550842921.545 * * [misc]simplify:  Extracting #3: cost 76 inf + 8571
1550842921.547 * * [misc]simplify:  Extracting #4: cost 48 inf + 37106
1550842921.550 * * [misc]simplify:  Extracting #5: cost 12 inf + 71748
1550842921.553 * * [misc]simplify:  Extracting #6: cost 0 inf + 87414
1550842921.557 * [exit]simplify:  Simplified to (+.p16 (-.p16 d2 d3) (+.p16 d1 d4))
1550842921.557 * [misc]simplify:  Simplified (2 2) to (λ (d1 d2 d3 d4) (/.p16 (*.p16 d1 (-.p16 (*.p16 (-.p16 d2 (-.p16 d3 d4)) (-.p16 d2 (-.p16 d3 d4))) (*.p16 d1 d1))) (+.p16 (-.p16 d2 d3) (+.p16 d1 d4))))
1550842921.557 * * * * [misc]progress:  [ 8 / 20 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 (-.p16 (-.p16 d2 (-.p16 d3 d4)) d1) d1))>
1550842921.557 * * * * [misc]progress:  [ 9 / 20 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))>
1550842921.557 * [enter]simplify:  Simplifying (-.p16 d2 d3)
1550842921.557 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842921.558 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842921.558 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550842921.558 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550842921.558 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550842921.558 * [exit]simplify:  Simplified to (-.p16 d2 d3)
1550842921.558 * [misc]simplify:  Simplified (2 2 1) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))
1550842921.558 * * * * [misc]progress:  [ 10 / 20 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 d2 (-.p16 (neg.p16 (-.p16 d3 d4)) d1))))>
1550842921.558 * * * * [misc]progress:  [ 11 / 20 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 d2 (+.p16 (-.p16 d3 d4) d1))))>
1550842921.558 * * * * [misc]progress:  [ 12 / 20 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 (-.p16 d3 d4)) (neg.p16 d1))))>
1550842921.558 * * * * [misc]progress:  [ 13 / 20 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (/.p16 (-.p16 (*.p16 (-.p16 d2 (-.p16 d3 d4)) (-.p16 d2 (-.p16 d3 d4))) (*.p16 d1 d1)) (+.p16 (-.p16 d2 (-.p16 d3 d4)) d1))))>
1550842921.559 * * * * [misc]progress:  [ 14 / 20 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (-.p16 (-.p16 d2 d3) (neg.p16 d4)) d1)))>
1550842921.559 * [enter]simplify:  Simplifying (neg.p16 d4)
1550842921.559 * * [misc]simplify:  iters left: 1 (2 enodes)
1550842921.559 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842921.559 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550842921.559 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550842921.559 * * [misc]simplify:  Extracting #3: cost 0 inf + 82
1550842921.559 * [exit]simplify:  Simplified to (neg.p16 d4)
1550842921.559 * [misc]simplify:  Simplified (2 2 1 2) to (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (-.p16 (-.p16 d2 d3) (neg.p16 d4)) d1)))
1550842921.559 * * * * [misc]progress:  [ 15 / 20 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1)))>
1550842921.559 * * * * [misc]progress:  [ 16 / 20 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (+.p16 d2 (neg.p16 (-.p16 d3 d4))) d1)))>
1550842921.559 * * * * [misc]progress:  [ 17 / 20 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (/.p16 (-.p16 (*.p16 d2 d2) (*.p16 (-.p16 d3 d4) (-.p16 d3 d4))) (+.p16 d2 (-.p16 d3 d4))) d1)))>
1550842921.559 * * * * [misc]progress:  [ 18 / 20 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (-.p16 d2 (-.p16 d3 d4)) d1)))>
1550842921.559 * * * * [misc]progress:  [ 19 / 20 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (-.p16 d2 (-.p16 d3 d4)) d1)))>
1550842921.559 * * * * [misc]progress:  [ 20 / 20 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (-.p16 d2 (-.p16 d3 d4)) d1)))>
1550842921.560 * * * [misc]progress:  adding candidates to table
1550842922.284 * * [misc]progress:  iteration 4 / 4
1550842922.285 * * * [misc]progress:  picking best candidate
1550842922.406 * * * * [misc]pick:  Picked  #<alt (λ (d1 d2 d3 d4) (-.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1)))>
1550842922.406 * * * [misc]progress:  localizing error
1550842922.669 * * * [misc]progress:  generating rewritten candidates
1550842922.669 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
1550842922.675 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1 1)
1550842922.677 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1)
1550842922.680 * * * [misc]progress:  generating series expansions
1550842922.680 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
1550842922.680 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1 1)
1550842922.680 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1)
1550842922.680 * * * [misc]progress:  simplifying candidates
1550842922.680 * * * * [misc]progress:  [ 1 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (-.p16 (*.p16 d4 d1) (*.p16 d1 d1))))>
1550842922.680 * [enter]simplify:  Simplifying (-.p16 (*.p16 d1 d2) (*.p16 d1 d3))
1550842922.680 * * [misc]simplify:  iters left: 2 (6 enodes)
1550842922.681 * * [misc]simplify:  iters left: 1 (23 enodes)
1550842922.685 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842922.685 * * [misc]simplify:  Extracting #1: cost 8 inf + 0
1550842922.685 * * [misc]simplify:  Extracting #2: cost 17 inf + 1
1550842922.686 * * [misc]simplify:  Extracting #3: cost 25 inf + 408
1550842922.686 * * [misc]simplify:  Extracting #4: cost 9 inf + 8118
1550842922.686 * * [misc]simplify:  Extracting #5: cost 3 inf + 12811
1550842922.686 * * [misc]simplify:  Extracting #6: cost 0 inf + 16859
1550842922.687 * [exit]simplify:  Simplified to (*.p16 (-.p16 d2 d3) d1)
1550842922.687 * [misc]simplify:  Simplified (2 1) to (λ (d1 d2 d3 d4) (+.p16 (*.p16 (-.p16 d2 d3) d1) (-.p16 (*.p16 d4 d1) (*.p16 d1 d1))))
1550842922.687 * * * * [misc]progress:  [ 2 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (-.p16 (*.p16 d1 d2) (+.p16 (-.p16 (*.p16 d1 d3) (*.p16 d4 d1)) (*.p16 d1 d1))))>
1550842922.687 * [enter]simplify:  Simplifying (*.p16 d1 d2)
1550842922.687 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842922.688 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842922.688 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842922.688 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550842922.688 * * [misc]simplify:  Extracting #3: cost 0 inf + 324
1550842922.688 * [exit]simplify:  Simplified to (*.p16 d2 d1)
1550842922.688 * [misc]simplify:  Simplified (2 1) to (λ (d1 d2 d3 d4) (-.p16 (*.p16 d2 d1) (+.p16 (-.p16 (*.p16 d1 d3) (*.p16 d4 d1)) (*.p16 d1 d1))))
1550842922.688 * * * * [misc]progress:  [ 3 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (+.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (neg.p16 (*.p16 d1 d1))))>
1550842922.688 * * * * [misc]progress:  [ 4 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (/.p16 (-.p16 (*.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1))) (*.p16 (*.p16 d1 d1) (*.p16 d1 d1))) (+.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1))))>
1550842922.688 * * * * [misc]progress:  [ 5 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (-.p16 (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d4 d1)) (*.p16 d1 d1)))>
1550842922.688 * [enter]simplify:  Simplifying (-.p16 d2 d3)
1550842922.688 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842922.689 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842922.689 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550842922.689 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550842922.689 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550842922.689 * [exit]simplify:  Simplified to (-.p16 d2 d3)
1550842922.689 * [misc]simplify:  Simplified (2 1 1 2) to (λ (d1 d2 d3 d4) (-.p16 (+.p16 (*.p16 d1 (-.p16 d2 d3)) (*.p16 d4 d1)) (*.p16 d1 d1)))
1550842922.689 * * * * [misc]progress:  [ 6 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (-.p16 (+.p16 (+.p16 (*.p16 d1 d2) (neg.p16 (*.p16 d1 d3))) (*.p16 d4 d1)) (*.p16 d1 d1)))>
1550842922.689 * * * * [misc]progress:  [ 7 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (-.p16 (+.p16 (/.p16 (-.p16 (*.p16 (*.p16 d1 d2) (*.p16 d1 d2)) (*.p16 (*.p16 d1 d3) (*.p16 d1 d3))) (+.p16 (*.p16 d1 d2) (*.p16 d1 d3))) (*.p16 d4 d1)) (*.p16 d1 d1)))>
1550842922.689 * * * * [misc]progress:  [ 8 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (-.p16 (+.p16 (*.p16 d1 d2) (+.p16 (neg.p16 (*.p16 d1 d3)) (*.p16 d4 d1))) (*.p16 d1 d1)))>
1550842922.689 * [enter]simplify:  Simplifying (*.p16 d1 d2)
1550842922.689 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842922.690 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842922.690 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842922.690 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550842922.690 * * [misc]simplify:  Extracting #3: cost 0 inf + 324
1550842922.690 * [exit]simplify:  Simplified to (*.p16 d2 d1)
1550842922.690 * [misc]simplify:  Simplified (2 1 1) to (λ (d1 d2 d3 d4) (-.p16 (+.p16 (*.p16 d2 d1) (+.p16 (neg.p16 (*.p16 d1 d3)) (*.p16 d4 d1))) (*.p16 d1 d1)))
1550842922.690 * * * * [misc]progress:  [ 9 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (-.p16 (-.p16 (*.p16 d1 d2) (-.p16 (*.p16 d1 d3) (*.p16 d4 d1))) (*.p16 d1 d1)))>
1550842922.690 * [enter]simplify:  Simplifying (*.p16 d1 d2)
1550842922.690 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842922.691 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842922.691 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842922.691 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550842922.691 * * [misc]simplify:  Extracting #3: cost 0 inf + 324
1550842922.691 * [exit]simplify:  Simplified to (*.p16 d2 d1)
1550842922.691 * [misc]simplify:  Simplified (2 1 1) to (λ (d1 d2 d3 d4) (-.p16 (-.p16 (*.p16 d2 d1) (-.p16 (*.p16 d1 d3) (*.p16 d4 d1))) (*.p16 d1 d1)))
1550842922.691 * * * * [misc]progress:  [ 10 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (-.p16 (+.p16 (*.p16 d4 d1) (-.p16 (*.p16 d1 d2) (*.p16 d1 d3))) (*.p16 d1 d1)))>
1550842922.691 * * * * [misc]progress:  [ 11 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (-.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1)))>
1550842922.691 * [enter]simplify:  Simplifying (-.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1))
1550842922.692 * * [misc]simplify:  iters left: 4 (11 enodes)
1550842922.694 * * [misc]simplify:  iters left: 3 (43 enodes)
1550842922.708 * * [misc]simplify:  iters left: 2 (148 enodes)
1550842922.753 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842922.753 * * [misc]simplify:  Extracting #1: cost 40 inf + 0
1550842922.753 * * [misc]simplify:  Extracting #2: cost 128 inf + 322
1550842922.754 * * [misc]simplify:  Extracting #3: cost 222 inf + 10234
1550842922.757 * * [misc]simplify:  Extracting #4: cost 153 inf + 124713
1550842922.765 * * [misc]simplify:  Extracting #5: cost 28 inf + 253727
1550842922.777 * * [misc]simplify:  Extracting #6: cost 1 inf + 271088
1550842922.789 * * [misc]simplify:  Extracting #7: cost 0 inf + 269810
1550842922.798 * * [misc]simplify:  Extracting #8: cost 0 inf + 269170
1550842922.811 * [exit]simplify:  Simplified to (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)))
1550842922.811 * [misc]simplify:  Simplified (2) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))
1550842922.811 * * * * [misc]progress:  [ 12 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (-.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1)))>
1550842922.811 * [enter]simplify:  Simplifying (-.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1))
1550842922.811 * * [misc]simplify:  iters left: 4 (11 enodes)
1550842922.814 * * [misc]simplify:  iters left: 3 (43 enodes)
1550842922.823 * * [misc]simplify:  iters left: 2 (148 enodes)
1550842922.879 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842922.879 * * [misc]simplify:  Extracting #1: cost 40 inf + 0
1550842922.880 * * [misc]simplify:  Extracting #2: cost 128 inf + 322
1550842922.881 * * [misc]simplify:  Extracting #3: cost 222 inf + 10234
1550842922.887 * * [misc]simplify:  Extracting #4: cost 153 inf + 124713
1550842922.898 * * [misc]simplify:  Extracting #5: cost 28 inf + 253727
1550842922.907 * * [misc]simplify:  Extracting #6: cost 1 inf + 271088
1550842922.917 * * [misc]simplify:  Extracting #7: cost 0 inf + 269810
1550842922.926 * * [misc]simplify:  Extracting #8: cost 0 inf + 269170
1550842922.939 * [exit]simplify:  Simplified to (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)))
1550842922.939 * [misc]simplify:  Simplified (2) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))
1550842922.939 * * * * [misc]progress:  [ 13 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3 d4) (-.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1)))>
1550842922.939 * [enter]simplify:  Simplifying (-.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1))
1550842922.939 * * [misc]simplify:  iters left: 4 (11 enodes)
1550842922.942 * * [misc]simplify:  iters left: 3 (43 enodes)
1550842922.957 * * [misc]simplify:  iters left: 2 (148 enodes)
1550842923.024 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842923.024 * * [misc]simplify:  Extracting #1: cost 40 inf + 0
1550842923.025 * * [misc]simplify:  Extracting #2: cost 128 inf + 322
1550842923.026 * * [misc]simplify:  Extracting #3: cost 222 inf + 10234
1550842923.029 * * [misc]simplify:  Extracting #4: cost 153 inf + 124713
1550842923.039 * * [misc]simplify:  Extracting #5: cost 28 inf + 253727
1550842923.049 * * [misc]simplify:  Extracting #6: cost 1 inf + 271088
1550842923.058 * * [misc]simplify:  Extracting #7: cost 0 inf + 269810
1550842923.073 * * [misc]simplify:  Extracting #8: cost 0 inf + 269170
1550842923.090 * [exit]simplify:  Simplified to (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)))
1550842923.091 * [misc]simplify:  Simplified (2) to (λ (d1 d2 d3 d4) (*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1))))
1550842923.091 * * * [misc]progress:  adding candidates to table
1550842923.692 * [misc]progress:  [Phase 3 of 3] Extracting.
1550842923.692 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (d1 d2 d3 d4) (/.p16 (-.p16 (*.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1))) (*.p16 (*.p16 d1 d1) (*.p16 d1 d1))) (+.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1))))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (/.p16 (-.p16 (*.p16 (-.p16 d2 (-.p16 d3 d4)) (-.p16 d2 (-.p16 d3 d4))) (*.p16 d1 d1)) (+.p16 (-.p16 d2 (-.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 d1 (-.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 d2 d3) d4) d1) (*.p16 (neg.p16 d1) d1)))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 d1 (+.p16 (-.p16 (neg.p16 d1) d3) d4))))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (-.p16 d2 (-.p16 d3 d4)) d1)))> #<alt (λ (d1 d2 d3 d4) (-.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1)))>)
1550842923.693 * * * [misc]regime-changes:  Trying 4 branch expressions: (d4 d3 d2 d1)
1550842923.693 * * * * [misc]regimes:  Trying to branch on d4 from (#<alt (λ (d1 d2 d3 d4) (/.p16 (-.p16 (*.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1))) (*.p16 (*.p16 d1 d1) (*.p16 d1 d1))) (+.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1))))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (/.p16 (-.p16 (*.p16 (-.p16 d2 (-.p16 d3 d4)) (-.p16 d2 (-.p16 d3 d4))) (*.p16 d1 d1)) (+.p16 (-.p16 d2 (-.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 d1 (-.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 d2 d3) d4) d1) (*.p16 (neg.p16 d1) d1)))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 d1 (+.p16 (-.p16 (neg.p16 d1) d3) d4))))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (-.p16 d2 (-.p16 d3 d4)) d1)))> #<alt (λ (d1 d2 d3 d4) (-.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1)))>)
1550842924.049 * * * * [misc]regimes:  Trying to branch on d3 from (#<alt (λ (d1 d2 d3 d4) (/.p16 (-.p16 (*.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1))) (*.p16 (*.p16 d1 d1) (*.p16 d1 d1))) (+.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1))))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (/.p16 (-.p16 (*.p16 (-.p16 d2 (-.p16 d3 d4)) (-.p16 d2 (-.p16 d3 d4))) (*.p16 d1 d1)) (+.p16 (-.p16 d2 (-.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 d1 (-.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 d2 d3) d4) d1) (*.p16 (neg.p16 d1) d1)))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 d1 (+.p16 (-.p16 (neg.p16 d1) d3) d4))))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (-.p16 d2 (-.p16 d3 d4)) d1)))> #<alt (λ (d1 d2 d3 d4) (-.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1)))>)
1550842924.330 * * * * [misc]regimes:  Trying to branch on d2 from (#<alt (λ (d1 d2 d3 d4) (/.p16 (-.p16 (*.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1))) (*.p16 (*.p16 d1 d1) (*.p16 d1 d1))) (+.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1))))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (/.p16 (-.p16 (*.p16 (-.p16 d2 (-.p16 d3 d4)) (-.p16 d2 (-.p16 d3 d4))) (*.p16 d1 d1)) (+.p16 (-.p16 d2 (-.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 d1 (-.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 d2 d3) d4) d1) (*.p16 (neg.p16 d1) d1)))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 d1 (+.p16 (-.p16 (neg.p16 d1) d3) d4))))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (-.p16 d2 (-.p16 d3 d4)) d1)))> #<alt (λ (d1 d2 d3 d4) (-.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1)))>)
1550842924.692 * * * * [misc]regimes:  Trying to branch on d1 from (#<alt (λ (d1 d2 d3 d4) (/.p16 (-.p16 (*.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1))) (*.p16 (*.p16 d1 d1) (*.p16 d1 d1))) (+.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1))))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (/.p16 (-.p16 (*.p16 (-.p16 d2 (-.p16 d3 d4)) (-.p16 d2 (-.p16 d3 d4))) (*.p16 d1 d1)) (+.p16 (-.p16 d2 (-.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 d1 (-.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 d2 d3) d4) d1) (*.p16 (neg.p16 d1) d1)))> #<alt (λ (d1 d2 d3 d4) (+.p16 (*.p16 d2 d1) (*.p16 d1 (+.p16 (-.p16 (neg.p16 d1) d3) d4))))> #<alt (λ (d1 d2 d3 d4) (*.p16 d1 (-.p16 (-.p16 d2 (-.p16 d3 d4)) d1)))> #<alt (λ (d1 d2 d3 d4) (-.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1)))>)
1550842925.225 * * * [misc]regime:  Found split indices: #<option (#s(si 6 256))>
1550842925.226 * [enter]simplify:  Simplifying (*.p16 d1 (-.p16 (-.p16 d2 (-.p16 d3 d4)) d1))
1550842925.226 * * [misc]simplify:  iters left: 4 (8 enodes)
1550842925.226 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842925.226 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842925.226 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550842925.227 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550842925.227 * * [misc]simplify:  Extracting #4: cost 6 inf + 2
1550842925.227 * * [misc]simplify:  Extracting #5: cost 0 inf + 1057
1550842925.227 * [exit]simplify:  Simplified to (*.p16 d1 (-.p16 (-.p16 d2 (-.p16 d3 d4)) d1))
1550842925.227 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550842925.309 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550842925.311 * * * * [misc]points:  Setting MPFR precision to 64
1550842925.313 * * * * [misc]points:  Setting MPFR precision to 320
1550842925.315 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550842925.317 * * * * [misc]points:  Setting MPFR precision to 64
1550842925.321 * * * * [misc]points:  Setting MPFR precision to 320
1550842925.325 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550842925.326 * * * * [misc]points:  Setting MPFR precision to 64
1550842925.330 * * * * [misc]points:  Setting MPFR precision to 320
1550842925.348 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550842925.350 * * * * [misc]points:  Setting MPFR precision to 64
1550842925.366 * * * * [misc]points:  Setting MPFR precision to 320
1550842925.385 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550842925.387 * * * * [misc]points:  Setting MPFR precision to 64
1550842925.417 * * * * [misc]points:  Setting MPFR precision to 320
1550842925.455 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550842925.457 * * * * [misc]points:  Setting MPFR precision to 64
1550842925.517 * * * * [misc]points:  Setting MPFR precision to 320
1550842925.637 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550842925.640 * * * * [misc]points:  Setting MPFR precision to 64
1550842925.750 * * * * [misc]points:  Setting MPFR precision to 320
1550842925.897 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550842925.899 * * * * [misc]points:  Setting MPFR precision to 64
1550842926.089 * * * * [misc]points:  Setting MPFR precision to 320
1550842926.412 * * * * [misc]points:  Computing exacts for 8000 points
1550842926.414 * * * * [misc]points:  Setting MPFR precision to 64
1550842927.771 * * * * [misc]points:  Setting MPFR precision to 320
1550842928.936 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842929.690 * * * * [misc]points:  Sampling 4 additional inputs, on iter 1 have 7999 / 8000
1550842929.690 * * * * [misc]points:  Computing exacts for 4 points
1550842929.691 * * * * [misc]points:  Setting MPFR precision to 64
1550842929.692 * * * * [misc]points:  Setting MPFR precision to 320
1550842929.692 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842929.692 * * * * [exit]points:  Sampled 8003 points with exact outputs
1550842932.576 * [misc]regime-testing:  Baseline error score: 64.0
1550842932.579 * [misc]regime-testing:  Oracle error score: 64.0
1550842932.583 * [misc]regime-testing:  End program error score: 0.41472696136056497