11.037 * [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.006 * * * * [points]: Setting MPFR precision to 64
0.008 * * * * [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.014 * * * * [points]: Setting MPFR precision to 320
0.018 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.018 * * * * [points]: Setting MPFR precision to 64
0.025 * * * * [points]: Setting MPFR precision to 320
0.034 * * * * [points]: Computing exacts for 256 points
0.034 * * * * [points]: Setting MPFR precision to 64
0.053 * * * * [points]: Setting MPFR precision to 320
0.074 * * * * [points]: Filtering points with unrepresentable outputs
0.075 * * * * [points]: Sampling 141 additional inputs, on iter 1 have 115 / 256
0.076 * * * * [points]: Computing exacts on every 8 of 141 points to ramp up precision
0.076 * * * * [points]: Setting MPFR precision to 64
0.077 * * * * [points]: Setting MPFR precision to 320
0.078 * * * * [points]: Computing exacts on every 4 of 141 points to ramp up precision
0.078 * * * * [points]: Setting MPFR precision to 64
0.081 * * * * [points]: Setting MPFR precision to 320
0.083 * * * * [points]: Computing exacts on every 2 of 141 points to ramp up precision
0.083 * * * * [points]: Setting MPFR precision to 64
0.087 * * * * [points]: Setting MPFR precision to 320
0.091 * * * * [points]: Computing exacts for 141 points
0.091 * * * * [points]: Setting MPFR precision to 64
0.101 * * * * [points]: Setting MPFR precision to 320
0.113 * * * * [points]: Filtering points with unrepresentable outputs
0.113 * * * * [points]: Sampling 73 additional inputs, on iter 2 have 183 / 256
0.114 * * * * [points]: Computing exacts on every 4 of 73 points to ramp up precision
0.114 * * * * [points]: Setting MPFR precision to 64
0.115 * * * * [points]: Setting MPFR precision to 320
0.116 * * * * [points]: Computing exacts on every 2 of 73 points to ramp up precision
0.116 * * * * [points]: Setting MPFR precision to 64
0.118 * * * * [points]: Setting MPFR precision to 320
0.120 * * * * [points]: Computing exacts for 73 points
0.120 * * * * [points]: Setting MPFR precision to 64
0.126 * * * * [points]: Setting MPFR precision to 320
0.133 * * * * [points]: Filtering points with unrepresentable outputs
0.133 * * * * [points]: Sampling 37 additional inputs, on iter 3 have 219 / 256
0.133 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision
0.133 * * * * [points]: Setting MPFR precision to 64
0.134 * * * * [points]: Setting MPFR precision to 320
0.135 * * * * [points]: Computing exacts for 37 points
0.135 * * * * [points]: Setting MPFR precision to 64
0.138 * * * * [points]: Setting MPFR precision to 320
0.141 * * * * [points]: Filtering points with unrepresentable outputs
0.141 * * * * [points]: Sampling 25 additional inputs, on iter 4 have 231 / 256
0.141 * * * * [points]: Computing exacts for 25 points
0.141 * * * * [points]: Setting MPFR precision to 64
0.143 * * * * [points]: Setting MPFR precision to 320
0.145 * * * * [points]: Filtering points with unrepresentable outputs
0.145 * * * * [points]: Sampling 14 additional inputs, on iter 5 have 242 / 256
0.145 * * * * [points]: Computing exacts for 14 points
0.145 * * * * [points]: Setting MPFR precision to 64
0.147 * * * * [points]: Setting MPFR precision to 320
0.148 * * * * [points]: Filtering points with unrepresentable outputs
0.148 * * * * [points]: Sampling 7 additional inputs, on iter 6 have 249 / 256
0.148 * * * * [points]: Computing exacts for 7 points
0.148 * * * * [points]: Setting MPFR precision to 64
0.148 * * * * [points]: Setting MPFR precision to 320
0.149 * * * * [points]: Filtering points with unrepresentable outputs
0.149 * * * * [points]: Sampling 5 additional inputs, on iter 7 have 251 / 256
0.149 * * * * [points]: Computing exacts for 5 points
0.149 * * * * [points]: Setting MPFR precision to 64
0.150 * * * * [points]: Setting MPFR precision to 320
0.150 * * * * [points]: Filtering points with unrepresentable outputs
0.150 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 254 / 256
0.150 * * * * [points]: Computing exacts for 4 points
0.150 * * * * [points]: Setting MPFR precision to 64
0.151 * * * * [points]: Setting MPFR precision to 320
0.151 * * * * [points]: Filtering points with unrepresentable outputs
0.151 * * * * [points]: Sampled 257 points with exact outputs
0.151 * * * [progress]: [2/2] Setting up program.
0.160 * [progress]: [Phase 2 of 3] Improving.
0.161 * [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.163 * * [simplify]: iteration  0 :  30  enodes  (cost  7 )
0.164 * * [simplify]: iteration  1 :  47  enodes  (cost  7 )
0.166 * * [simplify]: iteration  2 :  84  enodes  (cost  7 )
0.168 * * [simplify]: iteration  3 :  131  enodes  (cost  7 )
0.170 * * [simplify]: iteration  4 :  223  enodes  (cost  7 )
0.173 * * [simplify]: iteration  5 :  466  enodes  (cost  7 )
0.179 * * [simplify]: iteration  6 :  1123  enodes  (cost  7 )
0.191 * * [simplify]: iteration  7 :  2244  enodes  (cost  7 )
0.221 * * [simplify]: iteration  8 :  5002  enodes  (cost  7 )
0.221 * [simplify]: Simplified to:
   (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
0.228 * * [progress]: iteration 1 / 4
0.228 * * * [progress]: picking best candidate
0.233 * * * * [pick]: Picked  #<alt (λ (x y) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))>
0.233 * * * [progress]: localizing error
0.246 * * * [progress]: generating rewritten candidates
0.246 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1)
0.252 * * * [progress]: generating series expansions
0.252 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1)
0.252 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0
0.252 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.252 * [taylor]: Taking taylor expansion of (exp x) in x
0.252 * [taylor]: Taking taylor expansion of x in x
0.252 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.252 * [taylor]: Taking taylor expansion of (- x) in x
0.252 * [taylor]: Taking taylor expansion of x in x
0.252 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.252 * [taylor]: Taking taylor expansion of (exp x) in x
0.252 * [taylor]: Taking taylor expansion of x in x
0.252 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.252 * [taylor]: Taking taylor expansion of (- x) in x
0.252 * [taylor]: Taking taylor expansion of x in x
0.253 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0
0.253 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.253 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.253 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.253 * [taylor]: Taking taylor expansion of x in x
0.253 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.253 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.254 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.254 * [taylor]: Taking taylor expansion of x in x
0.254 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.254 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.254 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.254 * [taylor]: Taking taylor expansion of x in x
0.254 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.254 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.254 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.254 * [taylor]: Taking taylor expansion of x in x
0.254 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0
0.254 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.254 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.254 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.254 * [taylor]: Taking taylor expansion of x in x
0.254 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.254 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.254 * [taylor]: Taking taylor expansion of -1 in x
0.254 * [taylor]: Taking taylor expansion of x in x
0.254 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.255 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.255 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.255 * [taylor]: Taking taylor expansion of x in x
0.255 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.255 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.255 * [taylor]: Taking taylor expansion of -1 in x
0.255 * [taylor]: Taking taylor expansion of x in x
0.255 * * * [progress]: simplifying candidates
0.255 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (+ (exp x) (exp (- x))))
  (log1p (+ (exp x) (exp (- x))))
  (* (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.258 * * [simplify]: iteration  0 :  106  enodes  (cost  110 )
0.261 * * [simplify]: iteration  1 :  358  enodes  (cost  97 )
0.267 * * [simplify]: iteration  2 :  1325  enodes  (cost  95 )
0.306 * * [simplify]: iteration  3 :  5001  enodes  (cost  94 )
0.307 * [simplify]: Simplified to:
   (expm1 (+ (exp x) (exp (- x))))
  (log1p (+ (exp x) (exp (- x))))
  (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))
  (fma (exp x) (exp x) (expm1 (* x -2)))
  (fma (- (exp (- x))) (exp (* -1 x)) (exp (+ x x)))
  (- (exp x) (exp (- x)))
  (+ (exp (* -1 x)) (exp x))
  (fma x x (fma 1/12 (pow x 4) 2))
  (+ (exp (* -1 x)) (exp x))
  (+ (exp (* -1 x)) (exp x))
0.307 * * * [progress]: adding candidates to table
0.443 * * [progress]: iteration 2 / 4
0.443 * * * [progress]: picking best candidate
0.449 * * * * [pick]: Picked  #<alt (λ (x y) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y)))>
0.449 * * * [progress]: localizing error
0.463 * * * [progress]: generating rewritten candidates
0.463 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 2)
0.464 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 1)
0.466 * * * [progress]: generating series expansions
0.466 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 2)
0.466 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0
0.466 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.466 * [taylor]: Taking taylor expansion of (exp x) in x
0.466 * [taylor]: Taking taylor expansion of x in x
0.466 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.466 * [taylor]: Taking taylor expansion of (exp x) in x
0.466 * [taylor]: Taking taylor expansion of x in x
0.467 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0
0.467 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.467 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.467 * [taylor]: Taking taylor expansion of x in x
0.467 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.467 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.467 * [taylor]: Taking taylor expansion of x in x
0.468 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0
0.468 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.468 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.468 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.468 * [taylor]: Taking taylor expansion of -1 in x
0.468 * [taylor]: Taking taylor expansion of x in x
0.468 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.468 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.468 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.468 * [taylor]: Taking taylor expansion of -1 in x
0.468 * [taylor]: Taking taylor expansion of x in x
0.469 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 1)
0.469 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0
0.469 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.469 * [taylor]: Taking taylor expansion of (exp x) in x
0.469 * [taylor]: Taking taylor expansion of x in x
0.469 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.469 * [taylor]: Taking taylor expansion of (exp x) in x
0.469 * [taylor]: Taking taylor expansion of x in x
0.469 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0
0.469 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.469 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.469 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.469 * [taylor]: Taking taylor expansion of x in x
0.469 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.469 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.469 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.470 * [taylor]: Taking taylor expansion of x in x
0.470 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0
0.470 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.470 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.470 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.470 * [taylor]: Taking taylor expansion of -1 in x
0.470 * [taylor]: Taking taylor expansion of x in x
0.470 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.470 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.470 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.470 * [taylor]: Taking taylor expansion of -1 in x
0.470 * [taylor]: Taking taylor expansion of x in x
0.471 * * * [progress]: simplifying candidates
0.472 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (sqrt (exp x)))
  (log1p (sqrt (exp x)))
  (log (sqrt (exp x)))
  (exp (sqrt (exp x)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (cbrt (sqrt (exp x)))
  (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))
  (sqrt (* (cbrt (exp x)) (cbrt (exp x))))
  (sqrt (cbrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt 1)
  (sqrt (exp x))
  (/ 1 2)
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (/ x 2)
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (expm1 (sqrt (exp x)))
  (log1p (sqrt (exp x)))
  (log (sqrt (exp x)))
  (exp (sqrt (exp x)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (cbrt (sqrt (exp x)))
  (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))
  (sqrt (* (cbrt (exp x)) (cbrt (exp x))))
  (sqrt (cbrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt 1)
  (sqrt (exp x))
  (/ 1 2)
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (/ x 2)
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1))
  (sqrt (exp x))
  (sqrt (exp x))
  (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1))
  (sqrt (exp x))
  (sqrt (exp x))
0.474 * * [simplify]: iteration  0 :  48  enodes  (cost  118 )
0.476 * * [simplify]: iteration  1 :  82  enodes  (cost  116 )
0.478 * * [simplify]: iteration  2 :  204  enodes  (cost  116 )
0.482 * * [simplify]: iteration  3 :  731  enodes  (cost  114 )
0.508 * * [simplify]: iteration  4 :  5001  enodes  (cost  112 )
0.509 * [simplify]: Simplified to:
   (expm1 (sqrt (exp x)))
  (log1p (sqrt (exp x)))
  (log (sqrt (exp x)))
  (exp (sqrt (exp x)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (cbrt (sqrt (exp x)))
  (pow (sqrt (exp x)) 3)
  (fabs (cbrt (exp x)))
  (sqrt (cbrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  1
  (sqrt (exp x))
  1/2
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (* 1/2 x)
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (expm1 (sqrt (exp x)))
  (log1p (sqrt (exp x)))
  (log (sqrt (exp x)))
  (exp (sqrt (exp x)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (cbrt (sqrt (exp x)))
  (pow (sqrt (exp x)) 3)
  (fabs (cbrt (exp x)))
  (sqrt (cbrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  1
  (sqrt (exp x))
  1/2
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (* 1/2 x)
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (fma (fma x 1/8 1/2) x 1)
  (sqrt (exp x))
  (sqrt (exp x))
  (fma (fma x 1/8 1/2) x 1)
  (sqrt (exp x))
  (sqrt (exp x))
0.509 * * * [progress]: adding candidates to table
0.802 * [progress]: [Phase 3 of 3] Extracting.
0.802 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y)))> #<alt (λ (x y) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))>)
0.803 * * * [regime-changes]: Trying 2 branch expressions: (y x)
0.803 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y)))> #<alt (λ (x y) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))>)
0.835 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y)))> #<alt (λ (x y) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))>)
0.869 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
0.869 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))
0.870 * * [simplify]: iteration  0 :  12  enodes  (cost  10 )
0.870 * * [simplify]: iteration  1 :  12  enodes  (cost  10 )
0.870 * [simplify]: Simplified to:
   (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))
0.870 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
0.942 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
0.942 * * * * [points]: Setting MPFR precision to 64
0.943 * * * * [points]: Setting MPFR precision to 320
0.945 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
0.945 * * * * [points]: Setting MPFR precision to 64
0.947 * * * * [points]: Setting MPFR precision to 320
0.950 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
0.950 * * * * [points]: Setting MPFR precision to 64
0.955 * * * * [points]: Setting MPFR precision to 320
0.960 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
0.960 * * * * [points]: Setting MPFR precision to 64
0.970 * * * * [points]: Setting MPFR precision to 320
0.980 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
0.981 * * * * [points]: Setting MPFR precision to 64
0.999 * * * * [points]: Setting MPFR precision to 320
1.020 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.021 * * * * [points]: Setting MPFR precision to 64
1.058 * * * * [points]: Setting MPFR precision to 320
1.100 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.100 * * * * [points]: Setting MPFR precision to 64
1.176 * * * * [points]: Setting MPFR precision to 320
1.259 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1.259 * * * * [points]: Setting MPFR precision to 64
1.409 * * * * [points]: Setting MPFR precision to 320
1.575 * * * * [points]: Computing exacts for 8000 points
1.575 * * * * [points]: Setting MPFR precision to 64
2.178 * * * * [points]: Setting MPFR precision to 320
2.845 * * * * [points]: Filtering points with unrepresentable outputs
2.851 * * * * [points]: Sampling 4083 additional inputs, on iter 1 have 3917 / 8000
2.886 * * * * [points]: Computing exacts on every 255 of 4083 points to ramp up precision
2.886 * * * * [points]: Setting MPFR precision to 64
2.887 * * * * [points]: Setting MPFR precision to 320
2.888 * * * * [points]: Computing exacts on every 127 of 4083 points to ramp up precision
2.888 * * * * [points]: Setting MPFR precision to 64
2.890 * * * * [points]: Setting MPFR precision to 320
2.896 * * * * [points]: Computing exacts on every 63 of 4083 points to ramp up precision
2.896 * * * * [points]: Setting MPFR precision to 64
2.901 * * * * [points]: Setting MPFR precision to 320
2.906 * * * * [points]: Computing exacts on every 31 of 4083 points to ramp up precision
2.906 * * * * [points]: Setting MPFR precision to 64
2.916 * * * * [points]: Setting MPFR precision to 320
2.926 * * * * [points]: Computing exacts on every 15 of 4083 points to ramp up precision
2.926 * * * * [points]: Setting MPFR precision to 64
2.946 * * * * [points]: Setting MPFR precision to 320
2.967 * * * * [points]: Computing exacts on every 7 of 4083 points to ramp up precision
2.967 * * * * [points]: Setting MPFR precision to 64
3.006 * * * * [points]: Setting MPFR precision to 320
3.048 * * * * [points]: Computing exacts on every 3 of 4083 points to ramp up precision
3.049 * * * * [points]: Setting MPFR precision to 64
3.125 * * * * [points]: Setting MPFR precision to 320
3.209 * * * * [points]: Computing exacts for 4083 points
3.209 * * * * [points]: Setting MPFR precision to 64
3.515 * * * * [points]: Setting MPFR precision to 320
3.854 * * * * [points]: Filtering points with unrepresentable outputs
3.858 * * * * [points]: Sampling 2055 additional inputs, on iter 2 have 5945 / 8000
3.875 * * * * [points]: Computing exacts on every 128 of 2055 points to ramp up precision
3.875 * * * * [points]: Setting MPFR precision to 64
3.876 * * * * [points]: Setting MPFR precision to 320
3.880 * * * * [points]: Computing exacts on every 64 of 2055 points to ramp up precision
3.880 * * * * [points]: Setting MPFR precision to 64
3.883 * * * * [points]: Setting MPFR precision to 320
3.885 * * * * [points]: Computing exacts on every 32 of 2055 points to ramp up precision
3.885 * * * * [points]: Setting MPFR precision to 64
3.890 * * * * [points]: Setting MPFR precision to 320
3.895 * * * * [points]: Computing exacts on every 16 of 2055 points to ramp up precision
3.896 * * * * [points]: Setting MPFR precision to 64
3.905 * * * * [points]: Setting MPFR precision to 320
3.915 * * * * [points]: Computing exacts on every 8 of 2055 points to ramp up precision
3.915 * * * * [points]: Setting MPFR precision to 64
3.933 * * * * [points]: Setting MPFR precision to 320
3.952 * * * * [points]: Computing exacts on every 4 of 2055 points to ramp up precision
3.952 * * * * [points]: Setting MPFR precision to 64
3.983 * * * * [points]: Setting MPFR precision to 320
4.017 * * * * [points]: Computing exacts on every 2 of 2055 points to ramp up precision
4.018 * * * * [points]: Setting MPFR precision to 64
4.070 * * * * [points]: Setting MPFR precision to 320
4.128 * * * * [points]: Computing exacts for 2055 points
4.128 * * * * [points]: Setting MPFR precision to 64
4.283 * * * * [points]: Setting MPFR precision to 320
4.456 * * * * [points]: Filtering points with unrepresentable outputs
4.458 * * * * [points]: Sampling 1029 additional inputs, on iter 3 have 6971 / 8000
4.466 * * * * [points]: Computing exacts on every 64 of 1029 points to ramp up precision
4.466 * * * * [points]: Setting MPFR precision to 64
4.468 * * * * [points]: Setting MPFR precision to 320
4.469 * * * * [points]: Computing exacts on every 32 of 1029 points to ramp up precision
4.469 * * * * [points]: Setting MPFR precision to 64
4.471 * * * * [points]: Setting MPFR precision to 320
4.474 * * * * [points]: Computing exacts on every 16 of 1029 points to ramp up precision
4.474 * * * * [points]: Setting MPFR precision to 64
4.479 * * * * [points]: Setting MPFR precision to 320
4.484 * * * * [points]: Computing exacts on every 8 of 1029 points to ramp up precision
4.484 * * * * [points]: Setting MPFR precision to 64
4.493 * * * * [points]: Setting MPFR precision to 320
4.502 * * * * [points]: Computing exacts on every 4 of 1029 points to ramp up precision
4.502 * * * * [points]: Setting MPFR precision to 64
4.518 * * * * [points]: Setting MPFR precision to 320
4.535 * * * * [points]: Computing exacts on every 2 of 1029 points to ramp up precision
4.535 * * * * [points]: Setting MPFR precision to 64
4.563 * * * * [points]: Setting MPFR precision to 320
4.592 * * * * [points]: Computing exacts for 1029 points
4.592 * * * * [points]: Setting MPFR precision to 64
4.668 * * * * [points]: Setting MPFR precision to 320
4.754 * * * * [points]: Filtering points with unrepresentable outputs
4.755 * * * * [points]: Sampling 504 additional inputs, on iter 4 have 7496 / 8000
4.759 * * * * [points]: Computing exacts on every 31 of 504 points to ramp up precision
4.759 * * * * [points]: Setting MPFR precision to 64
4.761 * * * * [points]: Setting MPFR precision to 320
4.762 * * * * [points]: Computing exacts on every 15 of 504 points to ramp up precision
4.762 * * * * [points]: Setting MPFR precision to 64
4.764 * * * * [points]: Setting MPFR precision to 320
4.767 * * * * [points]: Computing exacts on every 7 of 504 points to ramp up precision
4.767 * * * * [points]: Setting MPFR precision to 64
4.772 * * * * [points]: Setting MPFR precision to 320
4.777 * * * * [points]: Computing exacts on every 3 of 504 points to ramp up precision
4.777 * * * * [points]: Setting MPFR precision to 64
4.787 * * * * [points]: Setting MPFR precision to 320
4.797 * * * * [points]: Computing exacts for 504 points
4.797 * * * * [points]: Setting MPFR precision to 64
4.835 * * * * [points]: Setting MPFR precision to 320
4.877 * * * * [points]: Filtering points with unrepresentable outputs
4.877 * * * * [points]: Sampling 268 additional inputs, on iter 5 have 7732 / 8000
4.880 * * * * [points]: Computing exacts on every 16 of 268 points to ramp up precision
4.880 * * * * [points]: Setting MPFR precision to 64
4.882 * * * * [points]: Setting MPFR precision to 320
4.884 * * * * [points]: Computing exacts on every 8 of 268 points to ramp up precision
4.884 * * * * [points]: Setting MPFR precision to 64
4.886 * * * * [points]: Setting MPFR precision to 320
4.889 * * * * [points]: Computing exacts on every 4 of 268 points to ramp up precision
4.889 * * * * [points]: Setting MPFR precision to 64
4.893 * * * * [points]: Setting MPFR precision to 320
4.897 * * * * [points]: Computing exacts on every 2 of 268 points to ramp up precision
4.897 * * * * [points]: Setting MPFR precision to 64
4.904 * * * * [points]: Setting MPFR precision to 320
4.911 * * * * [points]: Computing exacts for 268 points
4.911 * * * * [points]: Setting MPFR precision to 64
4.931 * * * * [points]: Setting MPFR precision to 320
4.953 * * * * [points]: Filtering points with unrepresentable outputs
4.954 * * * * [points]: Sampling 135 additional inputs, on iter 6 have 7865 / 8000
4.955 * * * * [points]: Computing exacts on every 8 of 135 points to ramp up precision
4.955 * * * * [points]: Setting MPFR precision to 64
4.956 * * * * [points]: Setting MPFR precision to 320
4.957 * * * * [points]: Computing exacts on every 4 of 135 points to ramp up precision
4.957 * * * * [points]: Setting MPFR precision to 64
4.959 * * * * [points]: Setting MPFR precision to 320
4.962 * * * * [points]: Computing exacts on every 2 of 135 points to ramp up precision
4.962 * * * * [points]: Setting MPFR precision to 64
4.965 * * * * [points]: Setting MPFR precision to 320
4.969 * * * * [points]: Computing exacts for 135 points
4.969 * * * * [points]: Setting MPFR precision to 64
4.979 * * * * [points]: Setting MPFR precision to 320
4.990 * * * * [points]: Filtering points with unrepresentable outputs
4.990 * * * * [points]: Sampling 66 additional inputs, on iter 7 have 7934 / 8000
4.991 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
4.991 * * * * [points]: Setting MPFR precision to 64
4.992 * * * * [points]: Setting MPFR precision to 320
4.993 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
4.993 * * * * [points]: Setting MPFR precision to 64
4.995 * * * * [points]: Setting MPFR precision to 320
4.996 * * * * [points]: Computing exacts for 66 points
4.996 * * * * [points]: Setting MPFR precision to 64
5.001 * * * * [points]: Setting MPFR precision to 320
5.007 * * * * [points]: Filtering points with unrepresentable outputs
5.007 * * * * [points]: Sampling 36 additional inputs, on iter 8 have 7964 / 8000
5.007 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
5.007 * * * * [points]: Setting MPFR precision to 64
5.008 * * * * [points]: Setting MPFR precision to 320
5.009 * * * * [points]: Computing exacts for 36 points
5.009 * * * * [points]: Setting MPFR precision to 64
5.012 * * * * [points]: Setting MPFR precision to 320
5.015 * * * * [points]: Filtering points with unrepresentable outputs
5.015 * * * * [points]: Sampling 12 additional inputs, on iter 9 have 7988 / 8000
5.015 * * * * [points]: Computing exacts for 12 points
5.015 * * * * [points]: Setting MPFR precision to 64
5.016 * * * * [points]: Setting MPFR precision to 320
5.017 * * * * [points]: Filtering points with unrepresentable outputs
5.017 * * * * [points]: Sampling 5 additional inputs, on iter 10 have 7995 / 8000
5.018 * * * * [points]: Computing exacts for 5 points
5.018 * * * * [points]: Setting MPFR precision to 64
5.018 * * * * [points]: Setting MPFR precision to 320
5.019 * * * * [points]: Filtering points with unrepresentable outputs
5.019 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7999 / 8000
5.019 * * * * [points]: Computing exacts for 4 points
5.019 * * * * [points]: Setting MPFR precision to 64
5.019 * * * * [points]: Setting MPFR precision to 320
5.019 * * * * [points]: Filtering points with unrepresentable outputs
5.019 * * * * [points]: Sampled 8000 points with exact outputs
5.750 * [regime-testing]: Baseline error score: 0.023075564063671884
5.751 * [regime-testing]: Oracle error score: 0.008615601562950723
5.752 * [regime-testing]: End program error score: 0.023075564063671884