12.515 * [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.006 * * * * [points]: Setting MPFR precision to 64
0.007 * * * * [points]: Setting MPFR precision to 320
0.008 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.010 * * * * [points]: Setting MPFR precision to 64
0.011 * * * * [points]: Setting MPFR precision to 320
0.012 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.014 * * * * [points]: Setting MPFR precision to 64
0.016 * * * * [points]: Setting MPFR precision to 320
0.017 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.020 * * * * [points]: Setting MPFR precision to 64
0.022 * * * * [points]: Setting MPFR precision to 320
0.025 * * * * [points]: Computing exacts for 256 points
0.027 * * * * [points]: Setting MPFR precision to 64
0.035 * * * * [points]: Setting MPFR precision to 320
0.044 * * * * [points]: Filtering points with unrepresentable outputs
0.045 * * * * [points]: Sampling 124 additional inputs, on iter 1 have 132 / 256
0.046 * * * * [points]: Computing exacts on every 7 of 124 points to ramp up precision
0.048 * * * * [points]: Setting MPFR precision to 64
0.049 * * * * [points]: Setting MPFR precision to 320
0.049 * * * * [points]: Computing exacts on every 3 of 124 points to ramp up precision
0.051 * * * * [points]: Setting MPFR precision to 64
0.052 * * * * [points]: Setting MPFR precision to 320
0.053 * * * * [points]: Computing exacts for 124 points
0.055 * * * * [points]: Setting MPFR precision to 64
0.059 * * * * [points]: Setting MPFR precision to 320
0.063 * * * * [points]: Filtering points with unrepresentable outputs
0.064 * * * * [points]: Sampling 59 additional inputs, on iter 2 have 197 / 256
0.064 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
0.066 * * * * [points]: Setting MPFR precision to 64
0.067 * * * * [points]: Setting MPFR precision to 320
0.067 * * * * [points]: Computing exacts for 59 points
0.069 * * * * [points]: Setting MPFR precision to 64
0.071 * * * * [points]: Setting MPFR precision to 320
0.073 * * * * [points]: Filtering points with unrepresentable outputs
0.073 * * * * [points]: Sampling 30 additional inputs, on iter 3 have 226 / 256
0.074 * * * * [points]: Computing exacts for 30 points
0.076 * * * * [points]: Setting MPFR precision to 64
0.077 * * * * [points]: Setting MPFR precision to 320
0.078 * * * * [points]: Filtering points with unrepresentable outputs
0.078 * * * * [points]: Sampling 16 additional inputs, on iter 4 have 240 / 256
0.078 * * * * [points]: Computing exacts for 16 points
0.080 * * * * [points]: Setting MPFR precision to 64
0.081 * * * * [points]: Setting MPFR precision to 320
0.082 * * * * [points]: Filtering points with unrepresentable outputs
0.082 * * * * [points]: Sampling 8 additional inputs, on iter 5 have 248 / 256
0.082 * * * * [points]: Computing exacts for 8 points
0.084 * * * * [points]: Setting MPFR precision to 64
0.084 * * * * [points]: Setting MPFR precision to 320
0.085 * * * * [points]: Filtering points with unrepresentable outputs
0.085 * * * * [points]: Sampling 7 additional inputs, on iter 6 have 249 / 256
0.085 * * * * [points]: Computing exacts for 7 points
0.087 * * * * [points]: Setting MPFR precision to 64
0.092 * * * * [points]: Setting MPFR precision to 320
0.092 * * * * [points]: Filtering points with unrepresentable outputs
0.092 * * * * [points]: Sampling 5 additional inputs, on iter 7 have 251 / 256
0.092 * * * * [points]: Computing exacts for 5 points
0.094 * * * * [points]: Setting MPFR precision to 64
0.095 * * * * [points]: Setting MPFR precision to 320
0.095 * * * * [points]: Filtering points with unrepresentable outputs
0.095 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256
0.095 * * * * [points]: Computing exacts for 4 points
0.097 * * * * [points]: Setting MPFR precision to 64
0.097 * * * * [points]: Setting MPFR precision to 320
0.097 * * * * [points]: Filtering points with unrepresentable outputs
0.097 * * * * [points]: Sampled 258 points with exact outputs
0.098 * * * [progress]: [2/2] Setting up program.
0.101 * [progress]: [Phase 2 of 3] Improving.
0.101 * [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.103 * * [simplify]: iteration  0 :  30  enodes  (cost  7 )
0.105 * * [simplify]: iteration  1 :  47  enodes  (cost  7 )
0.106 * * [simplify]: iteration  2 :  84  enodes  (cost  7 )
0.108 * * [simplify]: iteration  3 :  131  enodes  (cost  7 )
0.110 * * [simplify]: iteration  4 :  223  enodes  (cost  7 )
0.114 * * [simplify]: iteration  5 :  466  enodes  (cost  7 )
0.119 * * [simplify]: iteration  6 :  1123  enodes  (cost  7 )
0.132 * * [simplify]: iteration  7 :  2244  enodes  (cost  7 )
0.160 * * [simplify]: iteration  8 :  5002  enodes  (cost  7 )
0.160 * [simplify]: Simplified to:
   (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
0.163 * * [progress]: iteration 1 / 4
0.163 * * * [progress]: picking best candidate
0.165 * * * * [pick]: Picked  #<alt (λ (x y) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))>
0.165 * * * [progress]: localizing error
0.176 * * * [progress]: generating rewritten candidates
0.176 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1)
0.182 * * * [progress]: generating series expansions
0.182 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1)
0.182 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0
0.182 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.182 * [taylor]: Taking taylor expansion of (exp x) in x
0.182 * [taylor]: Taking taylor expansion of x in x
0.182 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.182 * [taylor]: Taking taylor expansion of (- x) in x
0.182 * [taylor]: Taking taylor expansion of x in x
0.183 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.183 * [taylor]: Taking taylor expansion of (exp x) in x
0.183 * [taylor]: Taking taylor expansion of x in x
0.183 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.183 * [taylor]: Taking taylor expansion of (- x) in x
0.183 * [taylor]: Taking taylor expansion of x in x
0.197 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0
0.197 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.197 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.197 * [taylor]: Taking taylor expansion of x in x
0.198 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.198 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.198 * [taylor]: Taking taylor expansion of x in x
0.198 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.198 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.198 * [taylor]: Taking taylor expansion of x in x
0.199 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.199 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.199 * [taylor]: Taking taylor expansion of x in x
0.201 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0
0.201 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.201 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.201 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.201 * [taylor]: Taking taylor expansion of x in x
0.201 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.201 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.201 * [taylor]: Taking taylor expansion of -1 in x
0.202 * [taylor]: Taking taylor expansion of x in x
0.202 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.202 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.202 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.202 * [taylor]: Taking taylor expansion of x in x
0.202 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.202 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.202 * [taylor]: Taking taylor expansion of -1 in x
0.202 * [taylor]: Taking taylor expansion of x in x
0.204 * * * [progress]: simplifying candidates
0.205 * [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.207 * * [simplify]: iteration  0 :  106  enodes  (cost  110 )
0.210 * * [simplify]: iteration  1 :  358  enodes  (cost  97 )
0.216 * * [simplify]: iteration  2 :  1325  enodes  (cost  95 )
0.253 * * [simplify]: iteration  3 :  5001  enodes  (cost  94 )
0.254 * [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.254 * * * [progress]: adding candidates to table
0.313 * * [progress]: iteration 2 / 4
0.313 * * * [progress]: picking best candidate
0.318 * * * * [pick]: Picked  #<alt (λ (x y) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y)))>
0.318 * * * [progress]: localizing error
0.331 * * * [progress]: generating rewritten candidates
0.331 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2)
0.333 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1)
0.336 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
0.337 * * * [progress]: generating series expansions
0.337 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2)
0.337 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0
0.337 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.337 * [taylor]: Taking taylor expansion of (exp x) in x
0.337 * [taylor]: Taking taylor expansion of x in x
0.339 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.339 * [taylor]: Taking taylor expansion of (exp x) in x
0.339 * [taylor]: Taking taylor expansion of x in x
0.342 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0
0.342 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.342 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.342 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.342 * [taylor]: Taking taylor expansion of x in x
0.343 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.343 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.343 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.343 * [taylor]: Taking taylor expansion of x in x
0.346 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0
0.346 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.346 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.346 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.346 * [taylor]: Taking taylor expansion of -1 in x
0.346 * [taylor]: Taking taylor expansion of x in x
0.346 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.346 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.346 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.346 * [taylor]: Taking taylor expansion of -1 in x
0.346 * [taylor]: Taking taylor expansion of x in x
0.350 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1)
0.350 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0
0.350 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.350 * [taylor]: Taking taylor expansion of (exp x) in x
0.350 * [taylor]: Taking taylor expansion of x in x
0.351 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.351 * [taylor]: Taking taylor expansion of (exp x) in x
0.351 * [taylor]: Taking taylor expansion of x in x
0.354 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0
0.354 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.354 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.354 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.355 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.355 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.355 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.355 * [taylor]: Taking taylor expansion of x in x
0.358 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0
0.358 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.358 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.358 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.358 * [taylor]: Taking taylor expansion of -1 in x
0.358 * [taylor]: Taking taylor expansion of x in x
0.358 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.358 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.358 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.358 * [taylor]: Taking taylor expansion of -1 in x
0.358 * [taylor]: Taking taylor expansion of x in x
0.361 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
0.362 * [approximate]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) in (x) around 0
0.362 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) in x
0.362 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (exp (- x)))
0.362 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x
0.362 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.362 * [taylor]: Taking taylor expansion of (exp x) in x
0.362 * [taylor]: Taking taylor expansion of x in x
0.363 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.363 * [taylor]: Taking taylor expansion of (exp x) in x
0.363 * [taylor]: Taking taylor expansion of x in x
0.364 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.364 * [taylor]: Taking taylor expansion of (- x) in x
0.364 * [taylor]: Taking taylor expansion of x in x
0.365 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) in x
0.365 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (exp (- x)))
0.365 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x
0.365 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.365 * [taylor]: Taking taylor expansion of (exp x) in x
0.365 * [taylor]: Taking taylor expansion of x in x
0.366 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.366 * [taylor]: Taking taylor expansion of (exp x) in x
0.366 * [taylor]: Taking taylor expansion of x in x
0.367 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.367 * [taylor]: Taking taylor expansion of (- x) in x
0.367 * [taylor]: Taking taylor expansion of x in x
0.391 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x)))) in (x) around 0
0.391 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x)))) in x
0.391 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (exp (- (/ 1 x))))
0.391 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x
0.391 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.391 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.391 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.391 * [taylor]: Taking taylor expansion of x in x
0.392 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.392 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.392 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.392 * [taylor]: Taking taylor expansion of x in x
0.392 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.392 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.392 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.392 * [taylor]: Taking taylor expansion of x in x
0.393 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x)))) in x
0.393 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (exp (- (/ 1 x))))
0.393 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x
0.393 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.393 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.393 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.393 * [taylor]: Taking taylor expansion of x in x
0.393 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.393 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.393 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.393 * [taylor]: Taking taylor expansion of x in x
0.394 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.394 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.394 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.394 * [taylor]: Taking taylor expansion of x in x
0.410 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) in (x) around 0
0.410 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) in x
0.410 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (exp (/ 1 x)))
0.410 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x
0.410 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.410 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.410 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.410 * [taylor]: Taking taylor expansion of -1 in x
0.410 * [taylor]: Taking taylor expansion of x in x
0.410 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.410 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.410 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.410 * [taylor]: Taking taylor expansion of -1 in x
0.411 * [taylor]: Taking taylor expansion of x in x
0.411 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.411 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.411 * [taylor]: Taking taylor expansion of x in x
0.411 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) in x
0.411 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (exp (/ 1 x)))
0.412 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x
0.412 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.412 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.412 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.412 * [taylor]: Taking taylor expansion of -1 in x
0.412 * [taylor]: Taking taylor expansion of x in x
0.412 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.412 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.412 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.412 * [taylor]: Taking taylor expansion of -1 in x
0.412 * [taylor]: Taking taylor expansion of x in x
0.412 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.413 * [taylor]: Taking taylor expansion of x in x
0.423 * * * [progress]: simplifying candidates
0.424 * [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)))
  (expm1 (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))))
  (log1p (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))))
  (* (sqrt (exp x)) (sqrt (exp x)))
  (log (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))))
  (exp (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))))
  (* (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))))
  (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))))
  (* (* (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))))
  (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))))
  (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (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))
  (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
  (+ (exp x) (exp (- x)))
  (+ (exp (* -1 x)) (exp x))
0.427 * * [simplify]: iteration  0 :  88  enodes  (cost  227 )
0.429 * * [simplify]: iteration  1 :  214  enodes  (cost  204 )
0.433 * * [simplify]: iteration  2 :  653  enodes  (cost  199 )
0.451 * * [simplify]: iteration  3 :  3895  enodes  (cost  195 )
0.619 * * [simplify]: iteration  4 :  5001  enodes  (cost  193 )
0.621 * [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)))
  (expm1 (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))))
  (log1p (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))))
  (exp x)
  (log (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))))
  (exp (+ (exp x) (exp (- x))))
  (* (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))))
  (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))))
  (pow (+ (exp x) (exp (- x))) 3)
  (hypot (sqrt (exp x)) (pow (exp x) -1/2))
  (hypot (sqrt (exp x)) (pow (exp x) -1/2))
  (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))
  (fma x x (fma 1/12 (pow x 4) 2))
  (+ (exp x) (exp (- x)))
  (+ (exp x) (exp (- x)))
0.622 * * * [progress]: adding candidates to table
0.782 * [progress]: [Phase 3 of 3] Extracting.
0.782 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))> #<alt (λ (x y) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y)))>)
0.783 * * * [regime-changes]: Trying 2 branch expressions: (y x)
0.783 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))> #<alt (λ (x y) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y)))>)
0.795 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))> #<alt (λ (x y) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y)))>)
0.810 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
0.810 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
0.810 * * [simplify]: iteration  0 :  12  enodes  (cost  7 )
0.811 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
0.811 * [simplify]: Simplified to:
   (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
0.811 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
0.878 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
0.885 * * * * [points]: Setting MPFR precision to 64
0.886 * * * * [points]: Setting MPFR precision to 320
0.887 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
0.889 * * * * [points]: Setting MPFR precision to 64
0.890 * * * * [points]: Setting MPFR precision to 320
0.891 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
0.893 * * * * [points]: Setting MPFR precision to 64
0.895 * * * * [points]: Setting MPFR precision to 320
0.897 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
0.900 * * * * [points]: Setting MPFR precision to 64
0.903 * * * * [points]: Setting MPFR precision to 320
0.908 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
0.910 * * * * [points]: Setting MPFR precision to 64
0.918 * * * * [points]: Setting MPFR precision to 320
0.927 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
0.929 * * * * [points]: Setting MPFR precision to 64
0.944 * * * * [points]: Setting MPFR precision to 320
0.962 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
0.964 * * * * [points]: Setting MPFR precision to 64
0.993 * * * * [points]: Setting MPFR precision to 320
1.031 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1.033 * * * * [points]: Setting MPFR precision to 64
1.091 * * * * [points]: Setting MPFR precision to 320
1.162 * * * * [points]: Computing exacts for 8000 points
1.166 * * * * [points]: Setting MPFR precision to 64
1.397 * * * * [points]: Setting MPFR precision to 320
1.684 * * * * [points]: Setting MPFR precision to 576
2.075 * * * * [points]: Filtering points with unrepresentable outputs
2.082 * * * * [points]: Sampling 3980 additional inputs, on iter 1 have 4020 / 8000
2.115 * * * * [points]: Computing exacts on every 248 of 3980 points to ramp up precision
2.122 * * * * [points]: Setting MPFR precision to 320
2.122 * * * * [points]: Setting MPFR precision to 576
2.123 * * * * [points]: Computing exacts on every 124 of 3980 points to ramp up precision
2.126 * * * * [points]: Setting MPFR precision to 320
2.127 * * * * [points]: Setting MPFR precision to 576
2.129 * * * * [points]: Computing exacts on every 62 of 3980 points to ramp up precision
2.131 * * * * [points]: Setting MPFR precision to 320
2.134 * * * * [points]: Setting MPFR precision to 576
2.137 * * * * [points]: Computing exacts on every 31 of 3980 points to ramp up precision
2.139 * * * * [points]: Setting MPFR precision to 320
2.144 * * * * [points]: Setting MPFR precision to 576
2.150 * * * * [points]: Computing exacts on every 15 of 3980 points to ramp up precision
2.153 * * * * [points]: Setting MPFR precision to 320
2.162 * * * * [points]: Setting MPFR precision to 576
2.175 * * * * [points]: Computing exacts on every 7 of 3980 points to ramp up precision
2.177 * * * * [points]: Setting MPFR precision to 320
2.196 * * * * [points]: Setting MPFR precision to 576
2.220 * * * * [points]: Computing exacts on every 3 of 3980 points to ramp up precision
2.223 * * * * [points]: Setting MPFR precision to 320
2.261 * * * * [points]: Setting MPFR precision to 576
2.309 * * * * [points]: Computing exacts for 3980 points
2.312 * * * * [points]: Setting MPFR precision to 320
2.453 * * * * [points]: Setting MPFR precision to 576
2.646 * * * * [points]: Filtering points with unrepresentable outputs
2.649 * * * * [points]: Sampling 1966 additional inputs, on iter 2 have 6034 / 8000
2.666 * * * * [points]: Computing exacts on every 122 of 1966 points to ramp up precision
2.668 * * * * [points]: Setting MPFR precision to 320
2.669 * * * * [points]: Setting MPFR precision to 576
2.670 * * * * [points]: Computing exacts on every 61 of 1966 points to ramp up precision
2.672 * * * * [points]: Setting MPFR precision to 320
2.673 * * * * [points]: Setting MPFR precision to 576
2.675 * * * * [points]: Computing exacts on every 30 of 1966 points to ramp up precision
2.678 * * * * [points]: Setting MPFR precision to 320
2.680 * * * * [points]: Setting MPFR precision to 576
2.683 * * * * [points]: Computing exacts on every 15 of 1966 points to ramp up precision
2.686 * * * * [points]: Setting MPFR precision to 320
2.690 * * * * [points]: Setting MPFR precision to 576
2.696 * * * * [points]: Computing exacts on every 7 of 1966 points to ramp up precision
2.698 * * * * [points]: Setting MPFR precision to 320
2.707 * * * * [points]: Setting MPFR precision to 576
2.720 * * * * [points]: Computing exacts on every 3 of 1966 points to ramp up precision
2.726 * * * * [points]: Setting MPFR precision to 320
2.743 * * * * [points]: Setting MPFR precision to 576
2.768 * * * * [points]: Computing exacts for 1966 points
2.771 * * * * [points]: Setting MPFR precision to 320
2.840 * * * * [points]: Setting MPFR precision to 576
2.937 * * * * [points]: Filtering points with unrepresentable outputs
2.939 * * * * [points]: Sampling 965 additional inputs, on iter 3 have 7035 / 8000
2.947 * * * * [points]: Computing exacts on every 60 of 965 points to ramp up precision
2.950 * * * * [points]: Setting MPFR precision to 320
2.951 * * * * [points]: Setting MPFR precision to 576
2.952 * * * * [points]: Computing exacts on every 30 of 965 points to ramp up precision
2.955 * * * * [points]: Setting MPFR precision to 320
2.956 * * * * [points]: Setting MPFR precision to 576
2.957 * * * * [points]: Computing exacts on every 15 of 965 points to ramp up precision
2.960 * * * * [points]: Setting MPFR precision to 320
2.962 * * * * [points]: Setting MPFR precision to 576
2.965 * * * * [points]: Computing exacts on every 7 of 965 points to ramp up precision
2.968 * * * * [points]: Setting MPFR precision to 320
2.973 * * * * [points]: Setting MPFR precision to 576
2.978 * * * * [points]: Computing exacts on every 3 of 965 points to ramp up precision
2.981 * * * * [points]: Setting MPFR precision to 320
2.990 * * * * [points]: Setting MPFR precision to 576
3.002 * * * * [points]: Computing exacts for 965 points
3.005 * * * * [points]: Setting MPFR precision to 320
3.042 * * * * [points]: Setting MPFR precision to 576
3.089 * * * * [points]: Filtering points with unrepresentable outputs
3.090 * * * * [points]: Sampling 486 additional inputs, on iter 4 have 7514 / 8000
3.094 * * * * [points]: Computing exacts on every 30 of 486 points to ramp up precision
3.097 * * * * [points]: Setting MPFR precision to 320
3.098 * * * * [points]: Setting MPFR precision to 576
3.099 * * * * [points]: Computing exacts on every 15 of 486 points to ramp up precision
3.101 * * * * [points]: Setting MPFR precision to 320
3.102 * * * * [points]: Setting MPFR precision to 576
3.104 * * * * [points]: Computing exacts on every 7 of 486 points to ramp up precision
3.106 * * * * [points]: Setting MPFR precision to 320
3.108 * * * * [points]: Setting MPFR precision to 576
3.111 * * * * [points]: Computing exacts on every 3 of 486 points to ramp up precision
3.114 * * * * [points]: Setting MPFR precision to 320
3.118 * * * * [points]: Setting MPFR precision to 576
3.124 * * * * [points]: Computing exacts for 486 points
3.126 * * * * [points]: Setting MPFR precision to 320
3.143 * * * * [points]: Setting MPFR precision to 576
3.167 * * * * [points]: Filtering points with unrepresentable outputs
3.167 * * * * [points]: Sampling 249 additional inputs, on iter 5 have 7751 / 8000
3.169 * * * * [points]: Computing exacts on every 15 of 249 points to ramp up precision
3.175 * * * * [points]: Setting MPFR precision to 320
3.176 * * * * [points]: Setting MPFR precision to 576
3.177 * * * * [points]: Computing exacts on every 7 of 249 points to ramp up precision
3.179 * * * * [points]: Setting MPFR precision to 320
3.180 * * * * [points]: Setting MPFR precision to 576
3.182 * * * * [points]: Computing exacts on every 3 of 249 points to ramp up precision
3.185 * * * * [points]: Setting MPFR precision to 320
3.187 * * * * [points]: Setting MPFR precision to 576
3.190 * * * * [points]: Computing exacts for 249 points
3.192 * * * * [points]: Setting MPFR precision to 320
3.202 * * * * [points]: Setting MPFR precision to 576
3.214 * * * * [points]: Filtering points with unrepresentable outputs
3.214 * * * * [points]: Sampling 110 additional inputs, on iter 6 have 7890 / 8000
3.215 * * * * [points]: Computing exacts on every 6 of 110 points to ramp up precision
3.218 * * * * [points]: Setting MPFR precision to 320
3.219 * * * * [points]: Setting MPFR precision to 576
3.220 * * * * [points]: Computing exacts on every 3 of 110 points to ramp up precision
3.222 * * * * [points]: Setting MPFR precision to 320
3.223 * * * * [points]: Setting MPFR precision to 576
3.224 * * * * [points]: Computing exacts for 110 points
3.227 * * * * [points]: Setting MPFR precision to 320
3.231 * * * * [points]: Setting MPFR precision to 576
3.236 * * * * [points]: Filtering points with unrepresentable outputs
3.236 * * * * [points]: Sampling 58 additional inputs, on iter 7 have 7942 / 8000
3.237 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision
3.240 * * * * [points]: Setting MPFR precision to 320
3.240 * * * * [points]: Setting MPFR precision to 576
3.241 * * * * [points]: Computing exacts for 58 points
3.243 * * * * [points]: Setting MPFR precision to 320
3.246 * * * * [points]: Setting MPFR precision to 576
3.248 * * * * [points]: Filtering points with unrepresentable outputs
3.248 * * * * [points]: Sampling 27 additional inputs, on iter 8 have 7973 / 8000
3.248 * * * * [points]: Computing exacts for 27 points
3.251 * * * * [points]: Setting MPFR precision to 320
3.252 * * * * [points]: Setting MPFR precision to 576
3.253 * * * * [points]: Filtering points with unrepresentable outputs
3.253 * * * * [points]: Sampling 16 additional inputs, on iter 9 have 7984 / 8000
3.253 * * * * [points]: Computing exacts for 16 points
3.256 * * * * [points]: Setting MPFR precision to 320
3.256 * * * * [points]: Setting MPFR precision to 576
3.257 * * * * [points]: Filtering points with unrepresentable outputs
3.257 * * * * [points]: Sampling 9 additional inputs, on iter 10 have 7991 / 8000
3.257 * * * * [points]: Computing exacts for 9 points
3.260 * * * * [points]: Setting MPFR precision to 320
3.260 * * * * [points]: Setting MPFR precision to 576
3.261 * * * * [points]: Filtering points with unrepresentable outputs
3.261 * * * * [points]: Sampling 5 additional inputs, on iter 11 have 7995 / 8000
3.261 * * * * [points]: Computing exacts for 5 points
3.263 * * * * [points]: Setting MPFR precision to 320
3.268 * * * * [points]: Setting MPFR precision to 576
3.269 * * * * [points]: Filtering points with unrepresentable outputs
3.269 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
3.269 * * * * [points]: Computing exacts for 4 points
3.272 * * * * [points]: Setting MPFR precision to 320
3.272 * * * * [points]: Setting MPFR precision to 576
3.272 * * * * [points]: Filtering points with unrepresentable outputs
3.272 * * * * [points]: Sampled 8001 points with exact outputs
3.431 * [regime-testing]: Baseline error score: 0.010469360937770435
3.432 * [regime-testing]: Oracle error score: 0.008323120312590145
3.433 * [regime-testing]: End program error score: 0.010469360937770435