8.709 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.003 * * * * [points]: Setting MPFR precision to 64
0.004 * * * * [points]: Setting MPFR precision to 320
0.005 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.005 * * * * [points]: Setting MPFR precision to 64
0.007 * * * * [points]: Setting MPFR precision to 320
0.010 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.010 * * * * [points]: Setting MPFR precision to 64
0.013 * * * * [points]: Setting MPFR precision to 320
0.017 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.017 * * * * [points]: Setting MPFR precision to 64
0.023 * * * * [points]: Setting MPFR precision to 320
0.030 * * * * [points]: Computing exacts for 256 points
0.030 * * * * [points]: Setting MPFR precision to 64
0.048 * * * * [points]: Setting MPFR precision to 320
0.068 * * * * [points]: Filtering points with unrepresentable outputs
0.069 * * * * [points]: Sampling 141 additional inputs, on iter 1 have 115 / 256
0.070 * * * * [points]: Computing exacts on every 8 of 141 points to ramp up precision
0.070 * * * * [points]: Setting MPFR precision to 64
0.071 * * * * [points]: Setting MPFR precision to 320
0.072 * * * * [points]: Computing exacts on every 4 of 141 points to ramp up precision
0.072 * * * * [points]: Setting MPFR precision to 64
0.074 * * * * [points]: Setting MPFR precision to 320
0.076 * * * * [points]: Computing exacts on every 2 of 141 points to ramp up precision
0.076 * * * * [points]: Setting MPFR precision to 64
0.080 * * * * [points]: Setting MPFR precision to 320
0.084 * * * * [points]: Computing exacts for 141 points
0.084 * * * * [points]: Setting MPFR precision to 64
0.094 * * * * [points]: Setting MPFR precision to 320
0.105 * * * * [points]: Filtering points with unrepresentable outputs
0.105 * * * * [points]: Sampling 73 additional inputs, on iter 2 have 183 / 256
0.106 * * * * [points]: Computing exacts on every 4 of 73 points to ramp up precision
0.106 * * * * [points]: Setting MPFR precision to 64
0.107 * * * * [points]: Setting MPFR precision to 320
0.108 * * * * [points]: Computing exacts on every 2 of 73 points to ramp up precision
0.108 * * * * [points]: Setting MPFR precision to 64
0.110 * * * * [points]: Setting MPFR precision to 320
0.112 * * * * [points]: Computing exacts for 73 points
0.112 * * * * [points]: Setting MPFR precision to 64
0.117 * * * * [points]: Setting MPFR precision to 320
0.123 * * * * [points]: Filtering points with unrepresentable outputs
0.123 * * * * [points]: Sampling 37 additional inputs, on iter 3 have 219 / 256
0.124 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision
0.124 * * * * [points]: Setting MPFR precision to 64
0.125 * * * * [points]: Setting MPFR precision to 320
0.125 * * * * [points]: Computing exacts for 37 points
0.125 * * * * [points]: Setting MPFR precision to 64
0.130 * * * * [points]: Setting MPFR precision to 320
0.133 * * * * [points]: Filtering points with unrepresentable outputs
0.133 * * * * [points]: Sampling 25 additional inputs, on iter 4 have 231 / 256
0.133 * * * * [points]: Computing exacts for 25 points
0.133 * * * * [points]: Setting MPFR precision to 64
0.135 * * * * [points]: Setting MPFR precision to 320
0.137 * * * * [points]: Filtering points with unrepresentable outputs
0.137 * * * * [points]: Sampling 14 additional inputs, on iter 5 have 242 / 256
0.137 * * * * [points]: Computing exacts for 14 points
0.137 * * * * [points]: Setting MPFR precision to 64
0.138 * * * * [points]: Setting MPFR precision to 320
0.139 * * * * [points]: Filtering points with unrepresentable outputs
0.139 * * * * [points]: Sampling 7 additional inputs, on iter 6 have 249 / 256
0.140 * * * * [points]: Computing exacts for 7 points
0.140 * * * * [points]: Setting MPFR precision to 64
0.140 * * * * [points]: Setting MPFR precision to 320
0.141 * * * * [points]: Filtering points with unrepresentable outputs
0.141 * * * * [points]: Sampling 5 additional inputs, on iter 7 have 251 / 256
0.141 * * * * [points]: Computing exacts for 5 points
0.141 * * * * [points]: Setting MPFR precision to 64
0.141 * * * * [points]: Setting MPFR precision to 320
0.142 * * * * [points]: Filtering points with unrepresentable outputs
0.142 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 254 / 256
0.142 * * * * [points]: Computing exacts for 4 points
0.142 * * * * [points]: Setting MPFR precision to 64
0.142 * * * * [points]: Setting MPFR precision to 320
0.142 * * * * [points]: Filtering points with unrepresentable outputs
0.142 * * * * [points]: Sampled 257 points with exact outputs
0.142 * * * [progress]: [2/2] Setting up program.
0.152 * [progress]: [Phase 2 of 3] Improving.
0.152 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (re (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))))
0.155 * * [simplify]: iteration  0 :  30  enodes  (cost  7 )
0.156 * * [simplify]: iteration  1 :  47  enodes  (cost  7 )
0.157 * * [simplify]: iteration  2 :  84  enodes  (cost  7 )
0.159 * * [simplify]: iteration  3 :  121  enodes  (cost  7 )
0.161 * * [simplify]: iteration  4 :  206  enodes  (cost  7 )
0.164 * * [simplify]: iteration  5 :  410  enodes  (cost  7 )
0.170 * * [simplify]: iteration  6 :  1017  enodes  (cost  7 )
0.182 * * [simplify]: iteration  7 :  2074  enodes  (cost  7 )
0.211 * * [simplify]: iteration  8 :  5001  enodes  (cost  7 )
0.211 * [simplify]: Simplified to:
   (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
0.218 * * [progress]: iteration 1 / 4
0.218 * * * [progress]: picking best candidate
0.223 * * * * [pick]: Picked  #<alt (λ (x y) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))>
0.223 * * * [progress]: localizing error
0.235 * * * [progress]: generating rewritten candidates
0.235 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1)
0.240 * * * [progress]: generating series expansions
0.241 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1)
0.241 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0
0.241 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.241 * [taylor]: Taking taylor expansion of (exp x) in x
0.241 * [taylor]: Taking taylor expansion of x in x
0.241 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.241 * [taylor]: Taking taylor expansion of (- x) in x
0.241 * [taylor]: Taking taylor expansion of x in x
0.241 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.241 * [taylor]: Taking taylor expansion of (exp x) in x
0.241 * [taylor]: Taking taylor expansion of x in x
0.241 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.241 * [taylor]: Taking taylor expansion of (- x) in x
0.241 * [taylor]: Taking taylor expansion of x in x
0.242 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0
0.242 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.242 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.242 * [taylor]: Taking taylor expansion of x in x
0.242 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.242 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.242 * [taylor]: Taking taylor expansion of x in x
0.242 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.242 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.242 * [taylor]: Taking taylor expansion of x in x
0.242 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.242 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.242 * [taylor]: Taking taylor expansion of x in x
0.243 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0
0.243 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.243 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.243 * [taylor]: Taking taylor expansion of x in x
0.243 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.243 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.243 * [taylor]: Taking taylor expansion of -1 in x
0.243 * [taylor]: Taking taylor expansion of x in x
0.243 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.243 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.243 * [taylor]: Taking taylor expansion of x in x
0.243 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.243 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.243 * [taylor]: Taking taylor expansion of -1 in x
0.243 * [taylor]: Taking taylor expansion of x in x
0.244 * * * [progress]: simplifying candidates
0.244 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp (exp x)) (exp (exp (- x))))
  (log (+ (exp x) (exp (- x))))
  (exp (+ (exp x) (exp (- x))))
  (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))
  (cbrt (+ (exp x) (exp (- x))))
  (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x))))
  (sqrt (+ (exp x) (exp (- x))))
  (sqrt (+ (exp x) (exp (- x))))
  (+ (pow (exp x) 3) (pow (exp (- x)) 3))
  (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
  (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))
  (- (exp x) (exp (- x)))
  (+ (exp x) (exp (- x)))
  (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
  (+ (exp x) (exp (- x)))
  (+ (exp (* -1 x)) (exp x))
0.247 * * [simplify]: iteration  0 :  100  enodes  (cost  100 )
0.249 * * [simplify]: iteration  1 :  331  enodes  (cost  88 )
0.255 * * [simplify]: iteration  2 :  1216  enodes  (cost  87 )
0.293 * * [simplify]: iteration  3 :  5001  enodes  (cost  87 )
0.294 * [simplify]: Simplified to:
   (exp (+ (exp x) (exp (- x))))
  (log (+ (exp x) (exp (- x))))
  (exp (+ (exp x) (exp (- x))))
  (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))
  (cbrt (+ (exp x) (exp (- x))))
  (pow (+ (exp (* -1 x)) (exp x)) 3)
  (sqrt (+ (exp x) (exp (- x))))
  (sqrt (+ (exp x) (exp (- x))))
  (+ (pow (exp x) 3) (pow (exp (- x)) 3))
  (+ (pow (exp x) -2) (- (exp (+ x x)) 1))
  (+ (exp (+ x x)) (- (exp (+ (- x) (- x)))))
  (- (exp x) (exp (- x)))
  (+ (exp (* -1 x)) (exp x))
  (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
  (+ (exp (* -1 x)) (exp x))
  (+ (exp (* -1 x)) (exp x))
0.294 * * * [progress]: adding candidates to table
0.399 * * [progress]: iteration 2 / 4
0.399 * * * [progress]: picking best candidate
0.406 * * * * [pick]: Picked  #<alt (λ (x y) (* (/ (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) 2.0) (cos y)))>
0.406 * * * [progress]: localizing error
0.421 * * * [progress]: generating rewritten candidates
0.421 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1 2 1)
0.427 * * * [progress]: generating series expansions
0.427 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1 2 1)
0.427 * [approximate]: Taking taylor expansion of (* 1/12 (pow x 4)) in (x) around 0
0.427 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.427 * [taylor]: Taking taylor expansion of 1/12 in x
0.427 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.428 * [taylor]: Taking taylor expansion of x in x
0.428 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.428 * [taylor]: Taking taylor expansion of 1/12 in x
0.428 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.428 * [taylor]: Taking taylor expansion of x in x
0.428 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0
0.428 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.428 * [taylor]: Taking taylor expansion of 1/12 in x
0.428 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.428 * [taylor]: Taking taylor expansion of x in x
0.428 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.428 * [taylor]: Taking taylor expansion of 1/12 in x
0.428 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.428 * [taylor]: Taking taylor expansion of x in x
0.429 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0
0.429 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.429 * [taylor]: Taking taylor expansion of 1/12 in x
0.429 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.429 * [taylor]: Taking taylor expansion of x in x
0.429 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.429 * [taylor]: Taking taylor expansion of 1/12 in x
0.429 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.429 * [taylor]: Taking taylor expansion of x in x
0.430 * * * [progress]: simplifying candidates
0.430 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (log 1/12) (* (log x) 4))
  (+ (log 1/12) (* (log x) 4))
  (+ (log 1/12) (log (pow x 4)))
  (log (* 1/12 (pow x 4)))
  (exp (* 1/12 (pow x 4)))
  (* (* (* 1/12 1/12) 1/12) (* (* (pow x 4) (pow x 4)) (pow x 4)))
  (* (cbrt (* 1/12 (pow x 4))) (cbrt (* 1/12 (pow x 4))))
  (cbrt (* 1/12 (pow x 4)))
  (* (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4))) (* 1/12 (pow x 4)))
  (sqrt (* 1/12 (pow x 4)))
  (sqrt (* 1/12 (pow x 4)))
  (* (sqrt 1/12) (pow (sqrt x) 4))
  (* (sqrt 1/12) (pow (sqrt x) 4))
  (* (sqrt 1/12) (sqrt (pow x 4)))
  (* (sqrt 1/12) (sqrt (pow x 4)))
  (* (sqrt 1/12) (pow x (/ 4 2)))
  (* (sqrt 1/12) (pow x (/ 4 2)))
  (* 1/12 (pow (* (cbrt x) (cbrt x)) 4))
  (* 1/12 (pow (sqrt x) 4))
  (* 1/12 (pow 1 4))
  (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4))))
  (* 1/12 (sqrt (pow x 4)))
  (* 1/12 1)
  (* 1/12 (pow x (/ 4 2)))
  (* (cbrt 1/12) (pow x 4))
  (* (sqrt 1/12) (pow x 4))
  (* 1/12 (pow x 4))
  (* 1/12 (pow x 4))
  (* 1/12 (pow x 4))
  (* 1/12 (pow x 4))
0.433 * * [simplify]: iteration  0 :  100  enodes  (cost  97 )
0.436 * * [simplify]: iteration  1 :  402  enodes  (cost  92 )
0.445 * * [simplify]: iteration  2 :  1830  enodes  (cost  89 )
0.500 * * [simplify]: iteration  3 :  5002  enodes  (cost  89 )
0.500 * [simplify]: Simplified to:
   (log (* 1/12 (pow x 4)))
  (log (* 1/12 (pow x 4)))
  (log (* 1/12 (pow x 4)))
  (log (* 1/12 (pow x 4)))
  (exp (* 1/12 (pow x 4)))
  (pow (* 1/12 (pow x 4)) 3)
  (* (cbrt (* 1/12 (pow x 4))) (cbrt (* 1/12 (pow x 4))))
  (cbrt (* 1/12 (pow x 4)))
  (pow (* 1/12 (pow x 4)) 3)
  (sqrt (* 1/12 (pow x 4)))
  (sqrt (* 1/12 (pow x 4)))
  (* (sqrt 1/12) (pow x 2))
  (* (sqrt 1/12) (pow x 2))
  (* (sqrt 1/12) (sqrt (pow x 4)))
  (* (sqrt 1/12) (sqrt (pow x 4)))
  (* (sqrt 1/12) (pow x 2))
  (* (sqrt 1/12) (pow x 2))
  (* 1/12 (pow (* (cbrt x) (cbrt x)) 4))
  (* 1/12 (pow x 2))
  1/12
  (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4))))
  (* 1/12 (sqrt (pow x 4)))
  1/12
  (* 1/12 (pow x 2))
  (* (cbrt 1/12) (pow x 4))
  (* (sqrt 1/12) (pow x 4))
  (* 1/12 (pow x 4))
  (* 1/12 (pow x 4))
  (* 1/12 (pow x 4))
  (* 1/12 (pow x 4))
0.501 * * * [progress]: adding candidates to table
0.663 * [progress]: [Phase 3 of 3] Extracting.
0.663 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (/ (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) 2.0) (cos y)))> #<alt (λ (x y) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))>)
0.663 * * * [regime-changes]: Trying 2 branch expressions: (y x)
0.663 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (/ (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) 2.0) (cos y)))> #<alt (λ (x y) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))>)
0.699 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (/ (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) 2.0) (cos y)))> #<alt (λ (x y) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))>)
0.736 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
0.736 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
0.737 * * [simplify]: iteration  0 :  12  enodes  (cost  7 )
0.737 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
0.737 * [simplify]: Simplified to:
   (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
0.737 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
0.809 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
0.809 * * * * [points]: Setting MPFR precision to 64
0.810 * * * * [points]: Setting MPFR precision to 320
0.812 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
0.812 * * * * [points]: Setting MPFR precision to 64
0.814 * * * * [points]: Setting MPFR precision to 320
0.817 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
0.817 * * * * [points]: Setting MPFR precision to 64
0.821 * * * * [points]: Setting MPFR precision to 320
0.826 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
0.826 * * * * [points]: Setting MPFR precision to 64
0.835 * * * * [points]: Setting MPFR precision to 320
0.845 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
0.845 * * * * [points]: Setting MPFR precision to 64
0.863 * * * * [points]: Setting MPFR precision to 320
0.882 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
0.882 * * * * [points]: Setting MPFR precision to 64
0.918 * * * * [points]: Setting MPFR precision to 320
0.958 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
0.958 * * * * [points]: Setting MPFR precision to 64
1.028 * * * * [points]: Setting MPFR precision to 320
1.108 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1.108 * * * * [points]: Setting MPFR precision to 64
1.247 * * * * [points]: Setting MPFR precision to 320
1.404 * * * * [points]: Computing exacts for 8000 points
1.404 * * * * [points]: Setting MPFR precision to 64
1.967 * * * * [points]: Setting MPFR precision to 320
2.591 * * * * [points]: Filtering points with unrepresentable outputs
2.597 * * * * [points]: Sampling 4083 additional inputs, on iter 1 have 3917 / 8000
2.635 * * * * [points]: Computing exacts on every 255 of 4083 points to ramp up precision
2.635 * * * * [points]: Setting MPFR precision to 64
2.636 * * * * [points]: Setting MPFR precision to 320
2.637 * * * * [points]: Computing exacts on every 127 of 4083 points to ramp up precision
2.637 * * * * [points]: Setting MPFR precision to 64
2.640 * * * * [points]: Setting MPFR precision to 320
2.642 * * * * [points]: Computing exacts on every 63 of 4083 points to ramp up precision
2.642 * * * * [points]: Setting MPFR precision to 64
2.646 * * * * [points]: Setting MPFR precision to 320
2.651 * * * * [points]: Computing exacts on every 31 of 4083 points to ramp up precision
2.651 * * * * [points]: Setting MPFR precision to 64
2.660 * * * * [points]: Setting MPFR precision to 320
2.670 * * * * [points]: Computing exacts on every 15 of 4083 points to ramp up precision
2.670 * * * * [points]: Setting MPFR precision to 64
2.688 * * * * [points]: Setting MPFR precision to 320
2.708 * * * * [points]: Computing exacts on every 7 of 4083 points to ramp up precision
2.708 * * * * [points]: Setting MPFR precision to 64
2.744 * * * * [points]: Setting MPFR precision to 320
2.784 * * * * [points]: Computing exacts on every 3 of 4083 points to ramp up precision
2.785 * * * * [points]: Setting MPFR precision to 64
2.856 * * * * [points]: Setting MPFR precision to 320
2.935 * * * * [points]: Computing exacts for 4083 points
2.936 * * * * [points]: Setting MPFR precision to 64
3.221 * * * * [points]: Setting MPFR precision to 320
3.539 * * * * [points]: Filtering points with unrepresentable outputs
3.543 * * * * [points]: Sampling 2055 additional inputs, on iter 2 have 5945 / 8000
3.563 * * * * [points]: Computing exacts on every 128 of 2055 points to ramp up precision
3.563 * * * * [points]: Setting MPFR precision to 64
3.564 * * * * [points]: Setting MPFR precision to 320
3.565 * * * * [points]: Computing exacts on every 64 of 2055 points to ramp up precision
3.565 * * * * [points]: Setting MPFR precision to 64
3.568 * * * * [points]: Setting MPFR precision to 320
3.571 * * * * [points]: Computing exacts on every 32 of 2055 points to ramp up precision
3.571 * * * * [points]: Setting MPFR precision to 64
3.575 * * * * [points]: Setting MPFR precision to 320
3.580 * * * * [points]: Computing exacts on every 16 of 2055 points to ramp up precision
3.580 * * * * [points]: Setting MPFR precision to 64
3.589 * * * * [points]: Setting MPFR precision to 320
3.598 * * * * [points]: Computing exacts on every 8 of 2055 points to ramp up precision
3.598 * * * * [points]: Setting MPFR precision to 64
3.614 * * * * [points]: Setting MPFR precision to 320
3.632 * * * * [points]: Computing exacts on every 4 of 2055 points to ramp up precision
3.632 * * * * [points]: Setting MPFR precision to 64
3.661 * * * * [points]: Setting MPFR precision to 320
3.694 * * * * [points]: Computing exacts on every 2 of 2055 points to ramp up precision
3.694 * * * * [points]: Setting MPFR precision to 64
3.743 * * * * [points]: Setting MPFR precision to 320
3.797 * * * * [points]: Computing exacts for 2055 points
3.797 * * * * [points]: Setting MPFR precision to 64
3.941 * * * * [points]: Setting MPFR precision to 320
4.102 * * * * [points]: Filtering points with unrepresentable outputs
4.104 * * * * [points]: Sampling 1029 additional inputs, on iter 3 have 6971 / 8000
4.113 * * * * [points]: Computing exacts on every 64 of 1029 points to ramp up precision
4.113 * * * * [points]: Setting MPFR precision to 64
4.114 * * * * [points]: Setting MPFR precision to 320
4.115 * * * * [points]: Computing exacts on every 32 of 1029 points to ramp up precision
4.115 * * * * [points]: Setting MPFR precision to 64
4.118 * * * * [points]: Setting MPFR precision to 320
4.120 * * * * [points]: Computing exacts on every 16 of 1029 points to ramp up precision
4.120 * * * * [points]: Setting MPFR precision to 64
4.125 * * * * [points]: Setting MPFR precision to 320
4.130 * * * * [points]: Computing exacts on every 8 of 1029 points to ramp up precision
4.130 * * * * [points]: Setting MPFR precision to 64
4.138 * * * * [points]: Setting MPFR precision to 320
4.146 * * * * [points]: Computing exacts on every 4 of 1029 points to ramp up precision
4.146 * * * * [points]: Setting MPFR precision to 64
4.161 * * * * [points]: Setting MPFR precision to 320
4.179 * * * * [points]: Computing exacts on every 2 of 1029 points to ramp up precision
4.179 * * * * [points]: Setting MPFR precision to 64
4.204 * * * * [points]: Setting MPFR precision to 320
4.230 * * * * [points]: Computing exacts for 1029 points
4.230 * * * * [points]: Setting MPFR precision to 64
4.302 * * * * [points]: Setting MPFR precision to 320
4.383 * * * * [points]: Filtering points with unrepresentable outputs
4.384 * * * * [points]: Sampling 504 additional inputs, on iter 4 have 7496 / 8000
4.388 * * * * [points]: Computing exacts on every 31 of 504 points to ramp up precision
4.388 * * * * [points]: Setting MPFR precision to 64
4.389 * * * * [points]: Setting MPFR precision to 320
4.390 * * * * [points]: Computing exacts on every 15 of 504 points to ramp up precision
4.390 * * * * [points]: Setting MPFR precision to 64
4.393 * * * * [points]: Setting MPFR precision to 320
4.395 * * * * [points]: Computing exacts on every 7 of 504 points to ramp up precision
4.395 * * * * [points]: Setting MPFR precision to 64
4.400 * * * * [points]: Setting MPFR precision to 320
4.405 * * * * [points]: Computing exacts on every 3 of 504 points to ramp up precision
4.405 * * * * [points]: Setting MPFR precision to 64
4.414 * * * * [points]: Setting MPFR precision to 320
4.423 * * * * [points]: Computing exacts for 504 points
4.424 * * * * [points]: Setting MPFR precision to 64
4.459 * * * * [points]: Setting MPFR precision to 320
4.499 * * * * [points]: Filtering points with unrepresentable outputs
4.500 * * * * [points]: Sampling 268 additional inputs, on iter 5 have 7732 / 8000
4.502 * * * * [points]: Computing exacts on every 16 of 268 points to ramp up precision
4.502 * * * * [points]: Setting MPFR precision to 64
4.503 * * * * [points]: Setting MPFR precision to 320
4.504 * * * * [points]: Computing exacts on every 8 of 268 points to ramp up precision
4.505 * * * * [points]: Setting MPFR precision to 64
4.507 * * * * [points]: Setting MPFR precision to 320
4.509 * * * * [points]: Computing exacts on every 4 of 268 points to ramp up precision
4.509 * * * * [points]: Setting MPFR precision to 64
4.513 * * * * [points]: Setting MPFR precision to 320
4.517 * * * * [points]: Computing exacts on every 2 of 268 points to ramp up precision
4.517 * * * * [points]: Setting MPFR precision to 64
4.523 * * * * [points]: Setting MPFR precision to 320
4.530 * * * * [points]: Computing exacts for 268 points
4.530 * * * * [points]: Setting MPFR precision to 64
4.549 * * * * [points]: Setting MPFR precision to 320
4.569 * * * * [points]: Filtering points with unrepresentable outputs
4.570 * * * * [points]: Sampling 135 additional inputs, on iter 6 have 7865 / 8000
4.571 * * * * [points]: Computing exacts on every 8 of 135 points to ramp up precision
4.571 * * * * [points]: Setting MPFR precision to 64
4.572 * * * * [points]: Setting MPFR precision to 320
4.573 * * * * [points]: Computing exacts on every 4 of 135 points to ramp up precision
4.573 * * * * [points]: Setting MPFR precision to 64
4.575 * * * * [points]: Setting MPFR precision to 320
4.577 * * * * [points]: Computing exacts on every 2 of 135 points to ramp up precision
4.577 * * * * [points]: Setting MPFR precision to 64
4.581 * * * * [points]: Setting MPFR precision to 320
4.584 * * * * [points]: Computing exacts for 135 points
4.584 * * * * [points]: Setting MPFR precision to 64
4.594 * * * * [points]: Setting MPFR precision to 320
4.604 * * * * [points]: Filtering points with unrepresentable outputs
4.604 * * * * [points]: Sampling 66 additional inputs, on iter 7 have 7934 / 8000
4.605 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
4.605 * * * * [points]: Setting MPFR precision to 64
4.606 * * * * [points]: Setting MPFR precision to 320
4.607 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
4.607 * * * * [points]: Setting MPFR precision to 64
4.608 * * * * [points]: Setting MPFR precision to 320
4.610 * * * * [points]: Computing exacts for 66 points
4.610 * * * * [points]: Setting MPFR precision to 64
4.615 * * * * [points]: Setting MPFR precision to 320
4.620 * * * * [points]: Filtering points with unrepresentable outputs
4.620 * * * * [points]: Sampling 36 additional inputs, on iter 8 have 7964 / 8000
4.620 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
4.620 * * * * [points]: Setting MPFR precision to 64
4.621 * * * * [points]: Setting MPFR precision to 320
4.622 * * * * [points]: Computing exacts for 36 points
4.622 * * * * [points]: Setting MPFR precision to 64
4.625 * * * * [points]: Setting MPFR precision to 320
4.627 * * * * [points]: Filtering points with unrepresentable outputs
4.628 * * * * [points]: Sampling 12 additional inputs, on iter 9 have 7988 / 8000
4.628 * * * * [points]: Computing exacts for 12 points
4.628 * * * * [points]: Setting MPFR precision to 64
4.629 * * * * [points]: Setting MPFR precision to 320
4.629 * * * * [points]: Filtering points with unrepresentable outputs
4.630 * * * * [points]: Sampling 5 additional inputs, on iter 10 have 7995 / 8000
4.630 * * * * [points]: Computing exacts for 5 points
4.630 * * * * [points]: Setting MPFR precision to 64
4.630 * * * * [points]: Setting MPFR precision to 320
4.631 * * * * [points]: Filtering points with unrepresentable outputs
4.631 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7999 / 8000
4.631 * * * * [points]: Computing exacts for 4 points
4.631 * * * * [points]: Setting MPFR precision to 64
4.631 * * * * [points]: Setting MPFR precision to 320
4.631 * * * * [points]: Filtering points with unrepresentable outputs
4.631 * * * * [points]: Sampled 8000 points with exact outputs
5.344 * [regime-testing]: Baseline error score: 0.010615601562950723
5.345 * [regime-testing]: Oracle error score: 0.008740601562950723
5.346 * [regime-testing]: End program error score: 0.010615601562950723