14.098 * [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.011 * * * * [points]: Setting MPFR precision to 64
0.011 * * * * [points]: Setting MPFR precision to 320
0.013 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.015 * * * * [points]: Setting MPFR precision to 64
0.016 * * * * [points]: Setting MPFR precision to 320
0.018 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.021 * * * * [points]: Setting MPFR precision to 64
0.023 * * * * [points]: Setting MPFR precision to 320
0.027 * * * * [points]: Computing exacts for 256 points
0.029 * * * * [points]: Setting MPFR precision to 64
0.036 * * * * [points]: Setting MPFR precision to 320
0.046 * * * * [points]: Filtering points with unrepresentable outputs
0.046 * * * * [points]: Sampling 132 additional inputs, on iter 1 have 124 / 256
0.048 * * * * [points]: Computing exacts on every 8 of 132 points to ramp up precision
0.050 * * * * [points]: Setting MPFR precision to 64
0.051 * * * * [points]: Setting MPFR precision to 320
0.051 * * * * [points]: Computing exacts on every 4 of 132 points to ramp up precision
0.053 * * * * [points]: Setting MPFR precision to 64
0.054 * * * * [points]: Setting MPFR precision to 320
0.055 * * * * [points]: Computing exacts on every 2 of 132 points to ramp up precision
0.057 * * * * [points]: Setting MPFR precision to 64
0.059 * * * * [points]: Setting MPFR precision to 320
0.060 * * * * [points]: Computing exacts for 132 points
0.062 * * * * [points]: Setting MPFR precision to 64
0.066 * * * * [points]: Setting MPFR precision to 320
0.071 * * * * [points]: Filtering points with unrepresentable outputs
0.071 * * * * [points]: Sampling 70 additional inputs, on iter 2 have 186 / 256
0.072 * * * * [points]: Computing exacts on every 4 of 70 points to ramp up precision
0.074 * * * * [points]: Setting MPFR precision to 64
0.075 * * * * [points]: Setting MPFR precision to 320
0.075 * * * * [points]: Computing exacts on every 2 of 70 points to ramp up precision
0.078 * * * * [points]: Setting MPFR precision to 64
0.078 * * * * [points]: Setting MPFR precision to 320
0.079 * * * * [points]: Computing exacts for 70 points
0.081 * * * * [points]: Setting MPFR precision to 64
0.084 * * * * [points]: Setting MPFR precision to 320
0.086 * * * * [points]: Filtering points with unrepresentable outputs
0.086 * * * * [points]: Sampling 37 additional inputs, on iter 3 have 219 / 256
0.086 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision
0.089 * * * * [points]: Setting MPFR precision to 64
0.089 * * * * [points]: Setting MPFR precision to 320
0.090 * * * * [points]: Computing exacts for 37 points
0.092 * * * * [points]: Setting MPFR precision to 64
0.098 * * * * [points]: Setting MPFR precision to 320
0.100 * * * * [points]: Filtering points with unrepresentable outputs
0.100 * * * * [points]: Sampling 19 additional inputs, on iter 4 have 237 / 256
0.100 * * * * [points]: Computing exacts for 19 points
0.103 * * * * [points]: Setting MPFR precision to 64
0.103 * * * * [points]: Setting MPFR precision to 320
0.104 * * * * [points]: Filtering points with unrepresentable outputs
0.104 * * * * [points]: Sampling 14 additional inputs, on iter 5 have 242 / 256
0.104 * * * * [points]: Computing exacts for 14 points
0.107 * * * * [points]: Setting MPFR precision to 64
0.107 * * * * [points]: Setting MPFR precision to 320
0.108 * * * * [points]: Filtering points with unrepresentable outputs
0.108 * * * * [points]: Sampling 9 additional inputs, on iter 6 have 247 / 256
0.108 * * * * [points]: Computing exacts for 9 points
0.111 * * * * [points]: Setting MPFR precision to 64
0.111 * * * * [points]: Setting MPFR precision to 320
0.111 * * * * [points]: Filtering points with unrepresentable outputs
0.111 * * * * [points]: Sampling 5 additional inputs, on iter 7 have 251 / 256
0.111 * * * * [points]: Computing exacts for 5 points
0.114 * * * * [points]: Setting MPFR precision to 64
0.114 * * * * [points]: Setting MPFR precision to 320
0.114 * * * * [points]: Filtering points with unrepresentable outputs
0.114 * * * * [points]: Sampling 5 additional inputs, on iter 8 have 251 / 256
0.114 * * * * [points]: Computing exacts for 5 points
0.116 * * * * [points]: Setting MPFR precision to 64
0.117 * * * * [points]: Setting MPFR precision to 320
0.117 * * * * [points]: Filtering points with unrepresentable outputs
0.117 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 254 / 256
0.117 * * * * [points]: Computing exacts for 4 points
0.119 * * * * [points]: Setting MPFR precision to 64
0.119 * * * * [points]: Setting MPFR precision to 320
0.120 * * * * [points]: Filtering points with unrepresentable outputs
0.120 * * * * [points]: Sampled 258 points with exact outputs
0.120 * * * [progress]: [2/2] Setting up program.
0.123 * [progress]: [Phase 2 of 3] Improving.
0.123 * [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.125 * * [simplify]: iteration  0 :  30  enodes  (cost  7 )
0.127 * * [simplify]: iteration  1 :  47  enodes  (cost  7 )
0.128 * * [simplify]: iteration  2 :  84  enodes  (cost  7 )
0.130 * * [simplify]: iteration  3 :  131  enodes  (cost  7 )
0.132 * * [simplify]: iteration  4 :  223  enodes  (cost  7 )
0.135 * * [simplify]: iteration  5 :  466  enodes  (cost  7 )
0.141 * * [simplify]: iteration  6 :  1123  enodes  (cost  7 )
0.153 * * [simplify]: iteration  7 :  2244  enodes  (cost  7 )
0.181 * * [simplify]: iteration  8 :  5002  enodes  (cost  7 )
0.182 * [simplify]: Simplified to:
   (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
0.185 * * [progress]: iteration 1 / 4
0.185 * * * [progress]: picking best candidate
0.187 * * * * [pick]: Picked  #<alt (λ (x y) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))>
0.187 * * * [progress]: localizing error
0.198 * * * [progress]: generating rewritten candidates
0.198 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.208 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1)
0.214 * * * [progress]: generating series expansions
0.214 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.215 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in (x y) around 0
0.215 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in y
0.215 * [taylor]: Taking taylor expansion of 0.5 in y
0.215 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in y
0.215 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y
0.215 * [taylor]: Taking taylor expansion of (exp x) in y
0.215 * [taylor]: Taking taylor expansion of x in y
0.215 * [taylor]: Taking taylor expansion of (exp (- x)) in y
0.215 * [taylor]: Taking taylor expansion of (- x) in y
0.215 * [taylor]: Taking taylor expansion of x in y
0.215 * [taylor]: Taking taylor expansion of (cos y) in y
0.215 * [taylor]: Taking taylor expansion of y in y
0.215 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in x
0.215 * [taylor]: Taking taylor expansion of 0.5 in x
0.215 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x
0.215 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.215 * [taylor]: Taking taylor expansion of (exp x) in x
0.215 * [taylor]: Taking taylor expansion of x in x
0.215 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.215 * [taylor]: Taking taylor expansion of (- x) in x
0.215 * [taylor]: Taking taylor expansion of x in x
0.216 * [taylor]: Taking taylor expansion of (cos y) in x
0.216 * [taylor]: Taking taylor expansion of y in x
0.216 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in x
0.216 * [taylor]: Taking taylor expansion of 0.5 in x
0.216 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x
0.216 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.216 * [taylor]: Taking taylor expansion of (exp x) in x
0.216 * [taylor]: Taking taylor expansion of x in x
0.216 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.216 * [taylor]: Taking taylor expansion of (- x) in x
0.216 * [taylor]: Taking taylor expansion of x in x
0.217 * [taylor]: Taking taylor expansion of (cos y) in x
0.217 * [taylor]: Taking taylor expansion of y in x
0.218 * [taylor]: Taking taylor expansion of (* 1.0 (cos y)) in y
0.218 * [taylor]: Taking taylor expansion of 1.0 in y
0.218 * [taylor]: Taking taylor expansion of (cos y) in y
0.218 * [taylor]: Taking taylor expansion of y in y
0.223 * [taylor]: Taking taylor expansion of 0 in y
0.229 * [taylor]: Taking taylor expansion of (* 0.5 (cos y)) in y
0.229 * [taylor]: Taking taylor expansion of 0.5 in y
0.229 * [taylor]: Taking taylor expansion of (cos y) in y
0.229 * [taylor]: Taking taylor expansion of y in y
0.232 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x y) around 0
0.233 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
0.233 * [taylor]: Taking taylor expansion of 0.5 in y
0.233 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
0.233 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.233 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.233 * [taylor]: Taking taylor expansion of y in y
0.233 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
0.233 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.233 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.233 * [taylor]: Taking taylor expansion of x in y
0.233 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
0.233 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
0.233 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.233 * [taylor]: Taking taylor expansion of x in y
0.233 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
0.233 * [taylor]: Taking taylor expansion of 0.5 in x
0.233 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
0.233 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.233 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.233 * [taylor]: Taking taylor expansion of y in x
0.233 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.233 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.233 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.233 * [taylor]: Taking taylor expansion of x in x
0.234 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.234 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.234 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.234 * [taylor]: Taking taylor expansion of x in x
0.234 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
0.234 * [taylor]: Taking taylor expansion of 0.5 in x
0.234 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
0.234 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.234 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.235 * [taylor]: Taking taylor expansion of y in x
0.235 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.235 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.235 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.235 * [taylor]: Taking taylor expansion of x in x
0.235 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.235 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.235 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.235 * [taylor]: Taking taylor expansion of x in x
0.236 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
0.236 * [taylor]: Taking taylor expansion of 0.5 in y
0.236 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
0.236 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.236 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.236 * [taylor]: Taking taylor expansion of y in y
0.237 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
0.237 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.237 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.237 * [taylor]: Taking taylor expansion of x in y
0.237 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
0.237 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
0.237 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.237 * [taylor]: Taking taylor expansion of x in y
0.245 * [taylor]: Taking taylor expansion of 0 in y
0.250 * [taylor]: Taking taylor expansion of 0 in y
0.259 * [taylor]: Taking taylor expansion of 0 in y
0.259 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in (x y) around 0
0.259 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
0.259 * [taylor]: Taking taylor expansion of 0.5 in y
0.259 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
0.259 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.259 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.259 * [taylor]: Taking taylor expansion of -1 in y
0.259 * [taylor]: Taking taylor expansion of y in y
0.260 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
0.260 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.260 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.260 * [taylor]: Taking taylor expansion of x in y
0.260 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.260 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.260 * [taylor]: Taking taylor expansion of -1 in y
0.260 * [taylor]: Taking taylor expansion of x in y
0.260 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
0.260 * [taylor]: Taking taylor expansion of 0.5 in x
0.260 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
0.260 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.260 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.260 * [taylor]: Taking taylor expansion of -1 in x
0.260 * [taylor]: Taking taylor expansion of y in x
0.260 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.260 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.260 * [taylor]: Taking taylor expansion of x in x
0.260 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.260 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.260 * [taylor]: Taking taylor expansion of -1 in x
0.260 * [taylor]: Taking taylor expansion of x in x
0.261 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
0.261 * [taylor]: Taking taylor expansion of 0.5 in x
0.261 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
0.261 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.261 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.261 * [taylor]: Taking taylor expansion of -1 in x
0.261 * [taylor]: Taking taylor expansion of y in x
0.261 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.261 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.261 * [taylor]: Taking taylor expansion of x in x
0.261 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.261 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.261 * [taylor]: Taking taylor expansion of -1 in x
0.261 * [taylor]: Taking taylor expansion of x in x
0.262 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
0.262 * [taylor]: Taking taylor expansion of 0.5 in y
0.262 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
0.262 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.263 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.263 * [taylor]: Taking taylor expansion of -1 in y
0.263 * [taylor]: Taking taylor expansion of y in y
0.263 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
0.263 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.263 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.263 * [taylor]: Taking taylor expansion of x in y
0.263 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.263 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.263 * [taylor]: Taking taylor expansion of -1 in y
0.263 * [taylor]: Taking taylor expansion of x in y
0.266 * [taylor]: Taking taylor expansion of 0 in y
0.271 * [taylor]: Taking taylor expansion of 0 in y
0.279 * [taylor]: Taking taylor expansion of 0 in y
0.279 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1)
0.279 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0
0.279 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.279 * [taylor]: Taking taylor expansion of (exp x) in x
0.279 * [taylor]: Taking taylor expansion of x in x
0.279 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.279 * [taylor]: Taking taylor expansion of (- x) in x
0.279 * [taylor]: Taking taylor expansion of x in x
0.280 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.280 * [taylor]: Taking taylor expansion of (exp x) in x
0.280 * [taylor]: Taking taylor expansion of x in x
0.280 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.280 * [taylor]: Taking taylor expansion of (- x) in x
0.280 * [taylor]: Taking taylor expansion of x in x
0.295 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0
0.295 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.296 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.296 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.296 * [taylor]: Taking taylor expansion of x in x
0.296 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.296 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.296 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.296 * [taylor]: Taking taylor expansion of x in x
0.296 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.296 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.297 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.297 * [taylor]: Taking taylor expansion of x in x
0.297 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.297 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.297 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.297 * [taylor]: Taking taylor expansion of x in x
0.299 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0
0.299 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.299 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.299 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.299 * [taylor]: Taking taylor expansion of x in x
0.300 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.300 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.300 * [taylor]: Taking taylor expansion of -1 in x
0.300 * [taylor]: Taking taylor expansion of x in x
0.300 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.300 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.300 * [taylor]: Taking taylor expansion of x in x
0.301 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.301 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.301 * [taylor]: Taking taylor expansion of -1 in x
0.301 * [taylor]: Taking taylor expansion of x in x
0.303 * * * [progress]: simplifying candidates
0.303 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (log1p (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (+ (- (log (+ (exp x) (exp (- x)))) (log 2.0)) (log (cos y)))
  (+ (log (/ (+ (exp x) (exp (- x))) 2.0)) (log (cos y)))
  (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (exp (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (/ (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (* (* 2.0 2.0) 2.0)) (* (* (cos y) (cos y)) (cos y)))
  (* (* (* (/ (+ (exp x) (exp (- x))) 2.0) (/ (+ (exp x) (exp (- x))) 2.0)) (/ (+ (exp x) (exp (- x))) 2.0)) (* (* (cos y) (cos y)) (cos y)))
  (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (* (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y)))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y)))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (* (cbrt (cos y)) (cbrt (cos y))))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y)))
  (* (/ (+ (exp x) (exp (- x))) 2.0) 1)
  (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) 2.0) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (/ 1 2.0) (cos y))
  (* (+ (exp x) (exp (- x))) (cos y))
  (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)))
  (- (+ (* 0.5 (pow x 2)) 1.0) (* 0.5 (pow y 2)))
  (* 0.5 (* (+ (exp x) (exp (- x))) (cos y)))
  (* 0.5 (* (cos y) (+ (exp (* -1 x)) (exp x))))
  (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
  (+ (exp x) (exp (- x)))
  (+ (exp (* -1 x)) (exp x))
0.308 * * [simplify]: iteration  0 :  286  enodes  (cost  487 )
0.313 * * [simplify]: iteration  1 :  1053  enodes  (cost  428 )
0.331 * * [simplify]: iteration  2 :  4913  enodes  (cost  426 )
0.465 * * [simplify]: iteration  3 :  5001  enodes  (cost  426 )
0.468 * [simplify]: Simplified to:
   (expm1 (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (log1p (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (exp (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (pow (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 3)
  (pow (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 3)
  (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (pow (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 3)
  (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y)))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y)))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (* (cbrt (cos y)) (cbrt (cos y))))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y)))
  (/ (+ (exp x) (exp (- x))) 2.0)
  (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) 2.0) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (/ 1 2.0) (cos y))
  (* (cos y) (+ (exp (* -1 x)) (exp x)))
  (expm1 (+ (exp x) (exp (- x))))
  (log1p (+ (exp x) (exp (- x))))
  (exp (+ (exp x) (exp (- x))))
  (log (+ (exp (* -1 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))
  (fma (- (exp (- x))) (exp (* -1 x)) (exp (+ x x)))
  (- (exp x) (exp (- x)))
  (+ (exp (* -1 x)) (exp x))
  (fma (pow x 2) 0.5 (- 1.0 (* 0.5 (pow y 2))))
  (* 0.5 (* (cos y) (+ (exp (* -1 x)) (exp x))))
  (* 0.5 (* (cos y) (+ (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.468 * * * [progress]: adding candidates to table
0.625 * * [progress]: iteration 2 / 4
0.625 * * * [progress]: picking best candidate
0.631 * * * * [pick]: Picked  #<alt (λ (x y) (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2.0) (cbrt 2.0))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))))>
0.631 * * * [progress]: localizing error
0.653 * * * [progress]: generating rewritten candidates
0.653 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2)
0.654 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
0.655 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
0.656 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
0.662 * * * [progress]: generating series expansions
0.662 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2)
0.662 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
0.662 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
0.662 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
0.662 * [approximate]: Taking taylor expansion of (pow (+ (exp x) (exp (- x))) 1/3) in (x) around 0
0.662 * [taylor]: Taking taylor expansion of (pow (+ (exp x) (exp (- x))) 1/3) in x
0.662 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (exp x) (exp (- x)))))) in x
0.662 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (exp x) (exp (- x))))) in x
0.662 * [taylor]: Taking taylor expansion of 1/3 in x
0.662 * [taylor]: Taking taylor expansion of (log (+ (exp x) (exp (- x)))) in x
0.662 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.662 * [taylor]: Taking taylor expansion of (exp x) in x
0.662 * [taylor]: Taking taylor expansion of x in x
0.662 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.662 * [taylor]: Taking taylor expansion of (- x) in x
0.662 * [taylor]: Taking taylor expansion of x in x
0.665 * [taylor]: Taking taylor expansion of (pow (+ (exp x) (exp (- x))) 1/3) in x
0.665 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (exp x) (exp (- x)))))) in x
0.665 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (exp x) (exp (- x))))) in x
0.665 * [taylor]: Taking taylor expansion of 1/3 in x
0.665 * [taylor]: Taking taylor expansion of (log (+ (exp x) (exp (- x)))) in x
0.665 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.665 * [taylor]: Taking taylor expansion of (exp x) in x
0.665 * [taylor]: Taking taylor expansion of x in x
0.665 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.665 * [taylor]: Taking taylor expansion of (- x) in x
0.665 * [taylor]: Taking taylor expansion of x in x
0.710 * [approximate]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 1/3) in (x) around 0
0.710 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 1/3) in x
0.710 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) in x
0.710 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
0.710 * [taylor]: Taking taylor expansion of 1/3 in x
0.710 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
0.710 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.710 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.710 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.710 * [taylor]: Taking taylor expansion of x in x
0.711 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.711 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.711 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.711 * [taylor]: Taking taylor expansion of x in x
0.711 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 1/3) in x
0.712 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) in x
0.712 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
0.712 * [taylor]: Taking taylor expansion of 1/3 in x
0.712 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
0.712 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.712 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.712 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.712 * [taylor]: Taking taylor expansion of x in x
0.712 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.712 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.712 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.712 * [taylor]: Taking taylor expansion of x in x
0.755 * [approximate]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 1/3) in (x) around 0
0.755 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 1/3) in x
0.755 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in x
0.755 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
0.755 * [taylor]: Taking taylor expansion of 1/3 in x
0.755 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
0.755 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.755 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.755 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.755 * [taylor]: Taking taylor expansion of x in x
0.756 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.756 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.756 * [taylor]: Taking taylor expansion of -1 in x
0.756 * [taylor]: Taking taylor expansion of x in x
0.756 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 1/3) in x
0.757 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in x
0.757 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
0.757 * [taylor]: Taking taylor expansion of 1/3 in x
0.757 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
0.757 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.757 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.757 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.757 * [taylor]: Taking taylor expansion of x in x
0.757 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.757 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.757 * [taylor]: Taking taylor expansion of -1 in x
0.757 * [taylor]: Taking taylor expansion of x in x
0.793 * * * [progress]: simplifying candidates
0.794 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (cbrt 2.0))
  (log1p (cbrt 2.0))
  (log (cbrt 2.0))
  (exp (cbrt 2.0))
  (cbrt (* (cbrt 2.0) (cbrt 2.0)))
  (cbrt (cbrt 2.0))
  (cbrt (sqrt 2.0))
  (cbrt (sqrt 2.0))
  (cbrt 1)
  (cbrt 2.0)
  (* (cbrt (cbrt 2.0)) (cbrt (cbrt 2.0)))
  (cbrt (cbrt 2.0))
  (* (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0))
  (sqrt (cbrt 2.0))
  (sqrt (cbrt 2.0))
  (expm1 (cbrt 2.0))
  (log1p (cbrt 2.0))
  (log (cbrt 2.0))
  (exp (cbrt 2.0))
  (cbrt (* (cbrt 2.0) (cbrt 2.0)))
  (cbrt (cbrt 2.0))
  (cbrt (sqrt 2.0))
  (cbrt (sqrt 2.0))
  (cbrt 1)
  (cbrt 2.0)
  (* (cbrt (cbrt 2.0)) (cbrt (cbrt 2.0)))
  (cbrt (cbrt 2.0))
  (* (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0))
  (sqrt (cbrt 2.0))
  (sqrt (cbrt 2.0))
  (expm1 (cbrt 2.0))
  (log1p (cbrt 2.0))
  (log (cbrt 2.0))
  (exp (cbrt 2.0))
  (cbrt (* (cbrt 2.0) (cbrt 2.0)))
  (cbrt (cbrt 2.0))
  (cbrt (sqrt 2.0))
  (cbrt (sqrt 2.0))
  (cbrt 1)
  (cbrt 2.0)
  (* (cbrt (cbrt 2.0)) (cbrt (cbrt 2.0)))
  (cbrt (cbrt 2.0))
  (* (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0))
  (sqrt (cbrt 2.0))
  (sqrt (cbrt 2.0))
  (expm1 (cbrt (+ (exp x) (exp (- x)))))
  (log1p (cbrt (+ (exp x) (exp (- x)))))
  (log (cbrt (+ (exp x) (exp (- x)))))
  (exp (cbrt (+ (exp x) (exp (- x)))))
  (cbrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (cbrt (cbrt (+ (exp x) (exp (- x)))))
  (cbrt (sqrt (+ (exp x) (exp (- x)))))
  (cbrt (sqrt (+ (exp x) (exp (- x)))))
  (cbrt 1)
  (cbrt (+ (exp x) (exp (- x))))
  (cbrt 1)
  (cbrt (+ (exp x) (exp (- x))))
  (cbrt (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (cbrt (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))
  (cbrt (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))
  (cbrt (- (exp x) (exp (- x))))
  (* (cbrt (cbrt (+ (exp x) (exp (- x))))) (cbrt (cbrt (+ (exp x) (exp (- x))))))
  (cbrt (cbrt (+ (exp x) (exp (- x)))))
  (* (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))))
  (sqrt (cbrt (+ (exp x) (exp (- x)))))
  (sqrt (cbrt (+ (exp x) (exp (- x)))))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))
  (- (+ (* 1/6 (* (pow x 2) (pow 2 1/3))) (pow 2 1/3)) (* 1/72 (* (pow x 4) (pow 2 1/3))))
  (pow (+ (exp x) (exp (- x))) 1/3)
  (pow (+ (exp (* -1 x)) (exp x)) 1/3)
0.797 * * [simplify]: iteration  0 :  148  enodes  (cost  307 )
0.800 * * [simplify]: iteration  1 :  436  enodes  (cost  286 )
0.808 * * [simplify]: iteration  2 :  1752  enodes  (cost  270 )
0.854 * * [simplify]: iteration  3 :  5001  enodes  (cost  270 )
0.856 * [simplify]: Simplified to:
   (expm1 (cbrt 2.0))
  (log1p (cbrt 2.0))
  (log (cbrt 2.0))
  (exp (cbrt 2.0))
  (cbrt (* (cbrt 2.0) (cbrt 2.0)))
  (cbrt (cbrt 2.0))
  (cbrt (sqrt 2.0))
  (cbrt (sqrt 2.0))
  1
  (cbrt 2.0)
  (* (cbrt (cbrt 2.0)) (cbrt (cbrt 2.0)))
  (cbrt (cbrt 2.0))
  2.0
  (sqrt (cbrt 2.0))
  (sqrt (cbrt 2.0))
  (expm1 (cbrt 2.0))
  (log1p (cbrt 2.0))
  (log (cbrt 2.0))
  (exp (cbrt 2.0))
  (cbrt (* (cbrt 2.0) (cbrt 2.0)))
  (cbrt (cbrt 2.0))
  (cbrt (sqrt 2.0))
  (cbrt (sqrt 2.0))
  1
  (cbrt 2.0)
  (* (cbrt (cbrt 2.0)) (cbrt (cbrt 2.0)))
  (cbrt (cbrt 2.0))
  2.0
  (sqrt (cbrt 2.0))
  (sqrt (cbrt 2.0))
  (expm1 (cbrt 2.0))
  (log1p (cbrt 2.0))
  (log (cbrt 2.0))
  (exp (cbrt 2.0))
  (cbrt (* (cbrt 2.0) (cbrt 2.0)))
  (cbrt (cbrt 2.0))
  (cbrt (sqrt 2.0))
  (cbrt (sqrt 2.0))
  1
  (cbrt 2.0)
  (* (cbrt (cbrt 2.0)) (cbrt (cbrt 2.0)))
  (cbrt (cbrt 2.0))
  2.0
  (sqrt (cbrt 2.0))
  (sqrt (cbrt 2.0))
  (expm1 (cbrt (+ (exp x) (exp (- x)))))
  (log1p (cbrt (+ (exp x) (exp (- x)))))
  (log (cbrt (+ (exp x) (exp (- x)))))
  (exp (cbrt (+ (exp x) (exp (- x)))))
  (cbrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (cbrt (cbrt (+ (exp x) (exp (- x)))))
  (cbrt (sqrt (+ (exp x) (exp (- x)))))
  (cbrt (sqrt (+ (exp x) (exp (- x)))))
  1
  (pow (+ (exp (* -1 x)) (exp x)) 1/3)
  1
  (pow (+ (exp (* -1 x)) (exp x)) 1/3)
  (cbrt (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (cbrt (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))
  (cbrt (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))
  (cbrt (- (exp x) (exp (- x))))
  (* (cbrt (cbrt (+ (exp x) (exp (- x))))) (cbrt (cbrt (+ (exp x) (exp (- x))))))
  (cbrt (cbrt (+ (exp x) (exp (- x)))))
  (+ (exp (* -1 x)) (exp x))
  (sqrt (cbrt (+ (exp x) (exp (- x)))))
  (sqrt (cbrt (+ (exp x) (exp (- x)))))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))
  (* (pow 2 1/3) (- (fma (* 1/6 x) x 1) (* 1/72 (pow x 4))))
  (pow (+ (exp (* -1 x)) (exp x)) 1/3)
  (pow (+ (exp (* -1 x)) (exp x)) 1/3)
0.856 * * * [progress]: adding candidates to table
1.074 * * [progress]: iteration 3 / 4
1.074 * * * [progress]: picking best candidate
1.076 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))>
1.077 * * * [progress]: localizing error
1.092 * * * [progress]: generating rewritten candidates
1.092 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.099 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.106 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1.116 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.123 * * * [progress]: generating series expansions
1.123 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.123 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp x) (exp (- x))) (cos y)) 1/3)) in (x y) around 0
1.123 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp x) (exp (- x))) (cos y)) 1/3)) in y
1.123 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.123 * [taylor]: Taking taylor expansion of 0.5 in y
1.125 * [taylor]: Taking taylor expansion of (pow (* (+ (exp x) (exp (- x))) (cos y)) 1/3) in y
1.125 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp x) (exp (- x))) (cos y))))) in y
1.125 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp x) (exp (- x))) (cos y)))) in y
1.125 * [taylor]: Taking taylor expansion of 1/3 in y
1.125 * [taylor]: Taking taylor expansion of (log (* (+ (exp x) (exp (- x))) (cos y))) in y
1.125 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in y
1.125 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y
1.125 * [taylor]: Taking taylor expansion of (exp x) in y
1.125 * [taylor]: Taking taylor expansion of x in y
1.125 * [taylor]: Taking taylor expansion of (exp (- x)) in y
1.125 * [taylor]: Taking taylor expansion of (- x) in y
1.125 * [taylor]: Taking taylor expansion of x in y
1.125 * [taylor]: Taking taylor expansion of (cos y) in y
1.125 * [taylor]: Taking taylor expansion of y in y
1.125 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp x) (exp (- x))) (cos y)) 1/3)) in x
1.125 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x
1.125 * [taylor]: Taking taylor expansion of 0.5 in x
1.126 * [taylor]: Taking taylor expansion of (pow (* (+ (exp x) (exp (- x))) (cos y)) 1/3) in x
1.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp x) (exp (- x))) (cos y))))) in x
1.126 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp x) (exp (- x))) (cos y)))) in x
1.126 * [taylor]: Taking taylor expansion of 1/3 in x
1.126 * [taylor]: Taking taylor expansion of (log (* (+ (exp x) (exp (- x))) (cos y))) in x
1.126 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x
1.126 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1.126 * [taylor]: Taking taylor expansion of (exp x) in x
1.126 * [taylor]: Taking taylor expansion of x in x
1.126 * [taylor]: Taking taylor expansion of (exp (- x)) in x
1.126 * [taylor]: Taking taylor expansion of (- x) in x
1.126 * [taylor]: Taking taylor expansion of x in x
1.127 * [taylor]: Taking taylor expansion of (cos y) in x
1.127 * [taylor]: Taking taylor expansion of y in x
1.128 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp x) (exp (- x))) (cos y)) 1/3)) in x
1.128 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x
1.128 * [taylor]: Taking taylor expansion of 0.5 in x
1.128 * [taylor]: Taking taylor expansion of (pow (* (+ (exp x) (exp (- x))) (cos y)) 1/3) in x
1.128 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp x) (exp (- x))) (cos y))))) in x
1.128 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp x) (exp (- x))) (cos y)))) in x
1.128 * [taylor]: Taking taylor expansion of 1/3 in x
1.128 * [taylor]: Taking taylor expansion of (log (* (+ (exp x) (exp (- x))) (cos y))) in x
1.128 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x
1.128 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1.129 * [taylor]: Taking taylor expansion of (exp x) in x
1.129 * [taylor]: Taking taylor expansion of x in x
1.129 * [taylor]: Taking taylor expansion of (exp (- x)) in x
1.129 * [taylor]: Taking taylor expansion of (- x) in x
1.129 * [taylor]: Taking taylor expansion of x in x
1.129 * [taylor]: Taking taylor expansion of (cos y) in x
1.129 * [taylor]: Taking taylor expansion of y in x
1.130 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (cos y) 2) 1/3)) in y
1.130 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.130 * [taylor]: Taking taylor expansion of 0.5 in y
1.131 * [taylor]: Taking taylor expansion of (pow (* (cos y) 2) 1/3) in y
1.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) 2)))) in y
1.131 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) 2))) in y
1.131 * [taylor]: Taking taylor expansion of 1/3 in y
1.131 * [taylor]: Taking taylor expansion of (log (* (cos y) 2)) in y
1.131 * [taylor]: Taking taylor expansion of (* (cos y) 2) in y
1.131 * [taylor]: Taking taylor expansion of (cos y) in y
1.131 * [taylor]: Taking taylor expansion of y in y
1.131 * [taylor]: Taking taylor expansion of 2 in y
1.141 * [taylor]: Taking taylor expansion of 0 in y
1.153 * [taylor]: Taking taylor expansion of (* 1/6 (* (cbrt 0.5) (pow (* (cos y) 2) 1/3))) in y
1.153 * [taylor]: Taking taylor expansion of 1/6 in y
1.153 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (cos y) 2) 1/3)) in y
1.153 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.153 * [taylor]: Taking taylor expansion of 0.5 in y
1.154 * [taylor]: Taking taylor expansion of (pow (* (cos y) 2) 1/3) in y
1.154 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) 2)))) in y
1.154 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) 2))) in y
1.154 * [taylor]: Taking taylor expansion of 1/3 in y
1.154 * [taylor]: Taking taylor expansion of (log (* (cos y) 2)) in y
1.154 * [taylor]: Taking taylor expansion of (* (cos y) 2) in y
1.154 * [taylor]: Taking taylor expansion of (cos y) in y
1.154 * [taylor]: Taking taylor expansion of y in y
1.154 * [taylor]: Taking taylor expansion of 2 in y
1.178 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3)) in (x y) around 0
1.178 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3)) in y
1.178 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.178 * [taylor]: Taking taylor expansion of 0.5 in y
1.178 * [taylor]: Taking taylor expansion of (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3) in y
1.178 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y)))))) in y
1.178 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))))) in y
1.178 * [taylor]: Taking taylor expansion of 1/3 in y
1.178 * [taylor]: Taking taylor expansion of (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y)))) in y
1.178 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) in y
1.178 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
1.178 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.179 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.179 * [taylor]: Taking taylor expansion of x in y
1.179 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
1.179 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
1.179 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.179 * [taylor]: Taking taylor expansion of x in y
1.179 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.179 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.179 * [taylor]: Taking taylor expansion of y in y
1.180 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3)) in x
1.180 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x
1.180 * [taylor]: Taking taylor expansion of 0.5 in x
1.180 * [taylor]: Taking taylor expansion of (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3) in x
1.180 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y)))))) in x
1.180 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))))) in x
1.180 * [taylor]: Taking taylor expansion of 1/3 in x
1.181 * [taylor]: Taking taylor expansion of (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y)))) in x
1.181 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) in x
1.181 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1.181 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.181 * [taylor]: Taking taylor expansion of x in x
1.181 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
1.181 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.181 * [taylor]: Taking taylor expansion of x in x
1.181 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
1.181 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.182 * [taylor]: Taking taylor expansion of y in x
1.183 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3)) in x
1.183 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x
1.183 * [taylor]: Taking taylor expansion of 0.5 in x
1.183 * [taylor]: Taking taylor expansion of (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3) in x
1.183 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y)))))) in x
1.183 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))))) in x
1.183 * [taylor]: Taking taylor expansion of 1/3 in x
1.183 * [taylor]: Taking taylor expansion of (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y)))) in x
1.183 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) in x
1.183 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1.183 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.183 * [taylor]: Taking taylor expansion of x in x
1.184 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
1.184 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.184 * [taylor]: Taking taylor expansion of x in x
1.184 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
1.184 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.184 * [taylor]: Taking taylor expansion of y in x
1.186 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3)) in y
1.186 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.186 * [taylor]: Taking taylor expansion of 0.5 in y
1.187 * [taylor]: Taking taylor expansion of (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3) in y
1.187 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y)))))) in y
1.187 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))))) in y
1.187 * [taylor]: Taking taylor expansion of 1/3 in y
1.187 * [taylor]: Taking taylor expansion of (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y)))) in y
1.187 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) in y
1.187 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
1.187 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.187 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.187 * [taylor]: Taking taylor expansion of x in y
1.187 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
1.187 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
1.187 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.187 * [taylor]: Taking taylor expansion of x in y
1.187 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.187 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.187 * [taylor]: Taking taylor expansion of y in y
1.193 * [taylor]: Taking taylor expansion of 0 in y
1.211 * [taylor]: Taking taylor expansion of 0 in y
1.228 * [taylor]: Taking taylor expansion of 0 in y
1.228 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3)) in (x y) around 0
1.228 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3)) in y
1.229 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.229 * [taylor]: Taking taylor expansion of 0.5 in y
1.229 * [taylor]: Taking taylor expansion of (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3) in y
1.229 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))))) in y
1.229 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y
1.229 * [taylor]: Taking taylor expansion of 1/3 in y
1.229 * [taylor]: Taking taylor expansion of (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
1.229 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
1.229 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.229 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.229 * [taylor]: Taking taylor expansion of -1 in y
1.229 * [taylor]: Taking taylor expansion of y in y
1.230 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
1.230 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.230 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.230 * [taylor]: Taking taylor expansion of x in y
1.230 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
1.230 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.230 * [taylor]: Taking taylor expansion of -1 in y
1.230 * [taylor]: Taking taylor expansion of x in y
1.231 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3)) in x
1.231 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x
1.231 * [taylor]: Taking taylor expansion of 0.5 in x
1.231 * [taylor]: Taking taylor expansion of (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3) in x
1.231 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))))) in x
1.231 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in x
1.231 * [taylor]: Taking taylor expansion of 1/3 in x
1.231 * [taylor]: Taking taylor expansion of (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
1.231 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
1.231 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
1.231 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.231 * [taylor]: Taking taylor expansion of -1 in x
1.231 * [taylor]: Taking taylor expansion of y in x
1.232 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1.232 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.232 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.232 * [taylor]: Taking taylor expansion of x in x
1.232 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.232 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.232 * [taylor]: Taking taylor expansion of -1 in x
1.232 * [taylor]: Taking taylor expansion of x in x
1.233 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3)) in x
1.233 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x
1.233 * [taylor]: Taking taylor expansion of 0.5 in x
1.234 * [taylor]: Taking taylor expansion of (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3) in x
1.234 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))))) in x
1.234 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in x
1.234 * [taylor]: Taking taylor expansion of 1/3 in x
1.234 * [taylor]: Taking taylor expansion of (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
1.234 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
1.234 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
1.234 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.234 * [taylor]: Taking taylor expansion of -1 in x
1.234 * [taylor]: Taking taylor expansion of y in x
1.234 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1.234 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.234 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.234 * [taylor]: Taking taylor expansion of x in x
1.235 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.235 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.235 * [taylor]: Taking taylor expansion of -1 in x
1.235 * [taylor]: Taking taylor expansion of x in x
1.236 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3)) in y
1.236 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.236 * [taylor]: Taking taylor expansion of 0.5 in y
1.237 * [taylor]: Taking taylor expansion of (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3) in y
1.237 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))))) in y
1.237 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y
1.237 * [taylor]: Taking taylor expansion of 1/3 in y
1.237 * [taylor]: Taking taylor expansion of (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
1.237 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
1.237 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.237 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.237 * [taylor]: Taking taylor expansion of -1 in y
1.237 * [taylor]: Taking taylor expansion of y in y
1.238 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
1.238 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.238 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.238 * [taylor]: Taking taylor expansion of x in y
1.238 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
1.238 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.238 * [taylor]: Taking taylor expansion of -1 in y
1.238 * [taylor]: Taking taylor expansion of x in y
1.244 * [taylor]: Taking taylor expansion of 0 in y
1.254 * [taylor]: Taking taylor expansion of 0 in y
1.270 * [taylor]: Taking taylor expansion of 0 in y
1.271 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.271 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp x) (exp (- x))) (cos y)) 1/3)) in (x y) around 0
1.271 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp x) (exp (- x))) (cos y)) 1/3)) in y
1.271 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.271 * [taylor]: Taking taylor expansion of 0.5 in y
1.272 * [taylor]: Taking taylor expansion of (pow (* (+ (exp x) (exp (- x))) (cos y)) 1/3) in y
1.272 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp x) (exp (- x))) (cos y))))) in y
1.272 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp x) (exp (- x))) (cos y)))) in y
1.272 * [taylor]: Taking taylor expansion of 1/3 in y
1.272 * [taylor]: Taking taylor expansion of (log (* (+ (exp x) (exp (- x))) (cos y))) in y
1.272 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in y
1.272 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y
1.272 * [taylor]: Taking taylor expansion of (exp x) in y
1.272 * [taylor]: Taking taylor expansion of x in y
1.272 * [taylor]: Taking taylor expansion of (exp (- x)) in y
1.272 * [taylor]: Taking taylor expansion of (- x) in y
1.272 * [taylor]: Taking taylor expansion of x in y
1.272 * [taylor]: Taking taylor expansion of (cos y) in y
1.272 * [taylor]: Taking taylor expansion of y in y
1.272 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp x) (exp (- x))) (cos y)) 1/3)) in x
1.272 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x
1.272 * [taylor]: Taking taylor expansion of 0.5 in x
1.273 * [taylor]: Taking taylor expansion of (pow (* (+ (exp x) (exp (- x))) (cos y)) 1/3) in x
1.273 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp x) (exp (- x))) (cos y))))) in x
1.273 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp x) (exp (- x))) (cos y)))) in x
1.273 * [taylor]: Taking taylor expansion of 1/3 in x
1.273 * [taylor]: Taking taylor expansion of (log (* (+ (exp x) (exp (- x))) (cos y))) in x
1.273 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x
1.273 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1.273 * [taylor]: Taking taylor expansion of (exp x) in x
1.273 * [taylor]: Taking taylor expansion of x in x
1.273 * [taylor]: Taking taylor expansion of (exp (- x)) in x
1.273 * [taylor]: Taking taylor expansion of (- x) in x
1.273 * [taylor]: Taking taylor expansion of x in x
1.274 * [taylor]: Taking taylor expansion of (cos y) in x
1.274 * [taylor]: Taking taylor expansion of y in x
1.275 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp x) (exp (- x))) (cos y)) 1/3)) in x
1.275 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x
1.275 * [taylor]: Taking taylor expansion of 0.5 in x
1.275 * [taylor]: Taking taylor expansion of (pow (* (+ (exp x) (exp (- x))) (cos y)) 1/3) in x
1.275 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp x) (exp (- x))) (cos y))))) in x
1.275 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp x) (exp (- x))) (cos y)))) in x
1.275 * [taylor]: Taking taylor expansion of 1/3 in x
1.275 * [taylor]: Taking taylor expansion of (log (* (+ (exp x) (exp (- x))) (cos y))) in x
1.275 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x
1.275 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1.276 * [taylor]: Taking taylor expansion of (exp x) in x
1.276 * [taylor]: Taking taylor expansion of x in x
1.276 * [taylor]: Taking taylor expansion of (exp (- x)) in x
1.276 * [taylor]: Taking taylor expansion of (- x) in x
1.276 * [taylor]: Taking taylor expansion of x in x
1.276 * [taylor]: Taking taylor expansion of (cos y) in x
1.276 * [taylor]: Taking taylor expansion of y in x
1.277 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (cos y) 2) 1/3)) in y
1.277 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.277 * [taylor]: Taking taylor expansion of 0.5 in y
1.278 * [taylor]: Taking taylor expansion of (pow (* (cos y) 2) 1/3) in y
1.278 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) 2)))) in y
1.278 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) 2))) in y
1.278 * [taylor]: Taking taylor expansion of 1/3 in y
1.278 * [taylor]: Taking taylor expansion of (log (* (cos y) 2)) in y
1.278 * [taylor]: Taking taylor expansion of (* (cos y) 2) in y
1.278 * [taylor]: Taking taylor expansion of (cos y) in y
1.278 * [taylor]: Taking taylor expansion of y in y
1.278 * [taylor]: Taking taylor expansion of 2 in y
1.288 * [taylor]: Taking taylor expansion of 0 in y
1.304 * [taylor]: Taking taylor expansion of (* 1/6 (* (cbrt 0.5) (pow (* (cos y) 2) 1/3))) in y
1.304 * [taylor]: Taking taylor expansion of 1/6 in y
1.304 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (cos y) 2) 1/3)) in y
1.305 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.305 * [taylor]: Taking taylor expansion of 0.5 in y
1.305 * [taylor]: Taking taylor expansion of (pow (* (cos y) 2) 1/3) in y
1.305 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) 2)))) in y
1.305 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) 2))) in y
1.305 * [taylor]: Taking taylor expansion of 1/3 in y
1.305 * [taylor]: Taking taylor expansion of (log (* (cos y) 2)) in y
1.305 * [taylor]: Taking taylor expansion of (* (cos y) 2) in y
1.305 * [taylor]: Taking taylor expansion of (cos y) in y
1.305 * [taylor]: Taking taylor expansion of y in y
1.305 * [taylor]: Taking taylor expansion of 2 in y
1.328 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3)) in (x y) around 0
1.328 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3)) in y
1.328 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.329 * [taylor]: Taking taylor expansion of 0.5 in y
1.329 * [taylor]: Taking taylor expansion of (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3) in y
1.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y)))))) in y
1.329 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))))) in y
1.329 * [taylor]: Taking taylor expansion of 1/3 in y
1.329 * [taylor]: Taking taylor expansion of (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y)))) in y
1.329 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) in y
1.329 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
1.329 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.329 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.329 * [taylor]: Taking taylor expansion of x in y
1.329 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
1.329 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
1.329 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.330 * [taylor]: Taking taylor expansion of x in y
1.330 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.330 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.330 * [taylor]: Taking taylor expansion of y in y
1.331 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3)) in x
1.331 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x
1.331 * [taylor]: Taking taylor expansion of 0.5 in x
1.331 * [taylor]: Taking taylor expansion of (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3) in x
1.331 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y)))))) in x
1.331 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))))) in x
1.331 * [taylor]: Taking taylor expansion of 1/3 in x
1.331 * [taylor]: Taking taylor expansion of (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y)))) in x
1.331 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) in x
1.331 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1.331 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.331 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.331 * [taylor]: Taking taylor expansion of x in x
1.332 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
1.332 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.332 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.332 * [taylor]: Taking taylor expansion of x in x
1.332 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
1.332 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.332 * [taylor]: Taking taylor expansion of y in x
1.333 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3)) in x
1.333 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x
1.333 * [taylor]: Taking taylor expansion of 0.5 in x
1.334 * [taylor]: Taking taylor expansion of (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3) in x
1.334 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y)))))) in x
1.334 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))))) in x
1.334 * [taylor]: Taking taylor expansion of 1/3 in x
1.334 * [taylor]: Taking taylor expansion of (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y)))) in x
1.334 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) in x
1.334 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1.334 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.334 * [taylor]: Taking taylor expansion of x in x
1.335 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
1.335 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.335 * [taylor]: Taking taylor expansion of x in x
1.335 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
1.335 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.335 * [taylor]: Taking taylor expansion of y in x
1.337 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3)) in y
1.337 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.337 * [taylor]: Taking taylor expansion of 0.5 in y
1.338 * [taylor]: Taking taylor expansion of (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3) in y
1.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y)))))) in y
1.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))))) in y
1.338 * [taylor]: Taking taylor expansion of 1/3 in y
1.338 * [taylor]: Taking taylor expansion of (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y)))) in y
1.338 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) in y
1.338 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
1.338 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.338 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.338 * [taylor]: Taking taylor expansion of x in y
1.338 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
1.338 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
1.338 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.338 * [taylor]: Taking taylor expansion of x in y
1.338 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.338 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.338 * [taylor]: Taking taylor expansion of y in y
1.344 * [taylor]: Taking taylor expansion of 0 in y
1.355 * [taylor]: Taking taylor expansion of 0 in y
1.373 * [taylor]: Taking taylor expansion of 0 in y
1.373 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3)) in (x y) around 0
1.373 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3)) in y
1.373 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.373 * [taylor]: Taking taylor expansion of 0.5 in y
1.374 * [taylor]: Taking taylor expansion of (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3) in y
1.374 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))))) in y
1.374 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y
1.374 * [taylor]: Taking taylor expansion of 1/3 in y
1.374 * [taylor]: Taking taylor expansion of (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
1.374 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
1.374 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.374 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.374 * [taylor]: Taking taylor expansion of -1 in y
1.374 * [taylor]: Taking taylor expansion of y in y
1.375 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
1.375 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.375 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.375 * [taylor]: Taking taylor expansion of x in y
1.375 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
1.375 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.375 * [taylor]: Taking taylor expansion of -1 in y
1.375 * [taylor]: Taking taylor expansion of x in y
1.375 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3)) in x
1.375 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x
1.375 * [taylor]: Taking taylor expansion of 0.5 in x
1.376 * [taylor]: Taking taylor expansion of (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3) in x
1.376 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))))) in x
1.376 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in x
1.376 * [taylor]: Taking taylor expansion of 1/3 in x
1.376 * [taylor]: Taking taylor expansion of (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
1.376 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
1.376 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
1.376 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.376 * [taylor]: Taking taylor expansion of -1 in x
1.376 * [taylor]: Taking taylor expansion of y in x
1.376 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1.376 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.376 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.377 * [taylor]: Taking taylor expansion of x in x
1.377 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.377 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.377 * [taylor]: Taking taylor expansion of -1 in x
1.377 * [taylor]: Taking taylor expansion of x in x
1.378 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3)) in x
1.378 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x
1.378 * [taylor]: Taking taylor expansion of 0.5 in x
1.379 * [taylor]: Taking taylor expansion of (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3) in x
1.379 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))))) in x
1.379 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in x
1.379 * [taylor]: Taking taylor expansion of 1/3 in x
1.379 * [taylor]: Taking taylor expansion of (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
1.379 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
1.379 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
1.379 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.379 * [taylor]: Taking taylor expansion of -1 in x
1.379 * [taylor]: Taking taylor expansion of y in x
1.379 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1.379 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.379 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.379 * [taylor]: Taking taylor expansion of x in x
1.380 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.380 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.380 * [taylor]: Taking taylor expansion of -1 in x
1.380 * [taylor]: Taking taylor expansion of x in x
1.381 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3)) in y
1.381 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.381 * [taylor]: Taking taylor expansion of 0.5 in y
1.382 * [taylor]: Taking taylor expansion of (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3) in y
1.382 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))))) in y
1.382 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y
1.382 * [taylor]: Taking taylor expansion of 1/3 in y
1.382 * [taylor]: Taking taylor expansion of (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
1.382 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
1.382 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.382 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.382 * [taylor]: Taking taylor expansion of -1 in y
1.382 * [taylor]: Taking taylor expansion of y in y
1.387 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
1.387 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.387 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.387 * [taylor]: Taking taylor expansion of x in y
1.388 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
1.388 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.388 * [taylor]: Taking taylor expansion of -1 in y
1.388 * [taylor]: Taking taylor expansion of x in y
1.393 * [taylor]: Taking taylor expansion of 0 in y
1.404 * [taylor]: Taking taylor expansion of 0 in y
1.420 * [taylor]: Taking taylor expansion of 0 in y
1.421 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1.421 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp x) (exp (- x))) (cos y)) 1/3)) in (x y) around 0
1.421 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp x) (exp (- x))) (cos y)) 1/3)) in y
1.421 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.421 * [taylor]: Taking taylor expansion of 0.5 in y
1.422 * [taylor]: Taking taylor expansion of (pow (* (+ (exp x) (exp (- x))) (cos y)) 1/3) in y
1.422 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp x) (exp (- x))) (cos y))))) in y
1.422 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp x) (exp (- x))) (cos y)))) in y
1.422 * [taylor]: Taking taylor expansion of 1/3 in y
1.422 * [taylor]: Taking taylor expansion of (log (* (+ (exp x) (exp (- x))) (cos y))) in y
1.422 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in y
1.422 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y
1.422 * [taylor]: Taking taylor expansion of (exp x) in y
1.422 * [taylor]: Taking taylor expansion of x in y
1.422 * [taylor]: Taking taylor expansion of (exp (- x)) in y
1.422 * [taylor]: Taking taylor expansion of (- x) in y
1.422 * [taylor]: Taking taylor expansion of x in y
1.422 * [taylor]: Taking taylor expansion of (cos y) in y
1.422 * [taylor]: Taking taylor expansion of y in y
1.423 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp x) (exp (- x))) (cos y)) 1/3)) in x
1.423 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x
1.423 * [taylor]: Taking taylor expansion of 0.5 in x
1.423 * [taylor]: Taking taylor expansion of (pow (* (+ (exp x) (exp (- x))) (cos y)) 1/3) in x
1.423 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp x) (exp (- x))) (cos y))))) in x
1.423 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp x) (exp (- x))) (cos y)))) in x
1.423 * [taylor]: Taking taylor expansion of 1/3 in x
1.423 * [taylor]: Taking taylor expansion of (log (* (+ (exp x) (exp (- x))) (cos y))) in x
1.423 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x
1.424 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1.424 * [taylor]: Taking taylor expansion of (exp x) in x
1.424 * [taylor]: Taking taylor expansion of x in x
1.424 * [taylor]: Taking taylor expansion of (exp (- x)) in x
1.424 * [taylor]: Taking taylor expansion of (- x) in x
1.424 * [taylor]: Taking taylor expansion of x in x
1.424 * [taylor]: Taking taylor expansion of (cos y) in x
1.424 * [taylor]: Taking taylor expansion of y in x
1.425 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp x) (exp (- x))) (cos y)) 1/3)) in x
1.425 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x
1.425 * [taylor]: Taking taylor expansion of 0.5 in x
1.426 * [taylor]: Taking taylor expansion of (pow (* (+ (exp x) (exp (- x))) (cos y)) 1/3) in x
1.426 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp x) (exp (- x))) (cos y))))) in x
1.426 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp x) (exp (- x))) (cos y)))) in x
1.426 * [taylor]: Taking taylor expansion of 1/3 in x
1.426 * [taylor]: Taking taylor expansion of (log (* (+ (exp x) (exp (- x))) (cos y))) in x
1.426 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x
1.426 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1.426 * [taylor]: Taking taylor expansion of (exp x) in x
1.426 * [taylor]: Taking taylor expansion of x in x
1.426 * [taylor]: Taking taylor expansion of (exp (- x)) in x
1.426 * [taylor]: Taking taylor expansion of (- x) in x
1.426 * [taylor]: Taking taylor expansion of x in x
1.426 * [taylor]: Taking taylor expansion of (cos y) in x
1.426 * [taylor]: Taking taylor expansion of y in x
1.428 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (cos y) 2) 1/3)) in y
1.428 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.428 * [taylor]: Taking taylor expansion of 0.5 in y
1.428 * [taylor]: Taking taylor expansion of (pow (* (cos y) 2) 1/3) in y
1.428 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) 2)))) in y
1.428 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) 2))) in y
1.428 * [taylor]: Taking taylor expansion of 1/3 in y
1.428 * [taylor]: Taking taylor expansion of (log (* (cos y) 2)) in y
1.428 * [taylor]: Taking taylor expansion of (* (cos y) 2) in y
1.428 * [taylor]: Taking taylor expansion of (cos y) in y
1.428 * [taylor]: Taking taylor expansion of y in y
1.428 * [taylor]: Taking taylor expansion of 2 in y
1.438 * [taylor]: Taking taylor expansion of 0 in y
1.450 * [taylor]: Taking taylor expansion of (* 1/6 (* (cbrt 0.5) (pow (* (cos y) 2) 1/3))) in y
1.450 * [taylor]: Taking taylor expansion of 1/6 in y
1.450 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (cos y) 2) 1/3)) in y
1.450 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.450 * [taylor]: Taking taylor expansion of 0.5 in y
1.451 * [taylor]: Taking taylor expansion of (pow (* (cos y) 2) 1/3) in y
1.451 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) 2)))) in y
1.451 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) 2))) in y
1.451 * [taylor]: Taking taylor expansion of 1/3 in y
1.451 * [taylor]: Taking taylor expansion of (log (* (cos y) 2)) in y
1.451 * [taylor]: Taking taylor expansion of (* (cos y) 2) in y
1.451 * [taylor]: Taking taylor expansion of (cos y) in y
1.451 * [taylor]: Taking taylor expansion of y in y
1.451 * [taylor]: Taking taylor expansion of 2 in y
1.479 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3)) in (x y) around 0
1.479 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3)) in y
1.479 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.479 * [taylor]: Taking taylor expansion of 0.5 in y
1.480 * [taylor]: Taking taylor expansion of (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3) in y
1.480 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y)))))) in y
1.480 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))))) in y
1.480 * [taylor]: Taking taylor expansion of 1/3 in y
1.480 * [taylor]: Taking taylor expansion of (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y)))) in y
1.480 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) in y
1.480 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
1.480 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.480 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.480 * [taylor]: Taking taylor expansion of x in y
1.480 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
1.480 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
1.480 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.480 * [taylor]: Taking taylor expansion of x in y
1.480 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.480 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.480 * [taylor]: Taking taylor expansion of y in y
1.481 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3)) in x
1.481 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x
1.481 * [taylor]: Taking taylor expansion of 0.5 in x
1.482 * [taylor]: Taking taylor expansion of (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3) in x
1.482 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y)))))) in x
1.482 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))))) in x
1.482 * [taylor]: Taking taylor expansion of 1/3 in x
1.482 * [taylor]: Taking taylor expansion of (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y)))) in x
1.482 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) in x
1.482 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1.482 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.482 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.482 * [taylor]: Taking taylor expansion of x in x
1.483 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
1.483 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.483 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.483 * [taylor]: Taking taylor expansion of x in x
1.483 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
1.483 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.483 * [taylor]: Taking taylor expansion of y in x
1.484 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3)) in x
1.484 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x
1.484 * [taylor]: Taking taylor expansion of 0.5 in x
1.485 * [taylor]: Taking taylor expansion of (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3) in x
1.485 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y)))))) in x
1.485 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))))) in x
1.485 * [taylor]: Taking taylor expansion of 1/3 in x
1.485 * [taylor]: Taking taylor expansion of (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y)))) in x
1.485 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) in x
1.485 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1.485 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.485 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.485 * [taylor]: Taking taylor expansion of x in x
1.485 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
1.486 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.486 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.486 * [taylor]: Taking taylor expansion of x in x
1.486 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
1.486 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.486 * [taylor]: Taking taylor expansion of y in x
1.488 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3)) in y
1.488 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.488 * [taylor]: Taking taylor expansion of 0.5 in y
1.488 * [taylor]: Taking taylor expansion of (pow (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) 1/3) in y
1.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y)))))) in y
1.489 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))))) in y
1.489 * [taylor]: Taking taylor expansion of 1/3 in y
1.489 * [taylor]: Taking taylor expansion of (log (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y)))) in y
1.489 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (cos (/ 1 y))) in y
1.489 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
1.489 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.489 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.489 * [taylor]: Taking taylor expansion of x in y
1.489 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
1.489 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
1.489 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.489 * [taylor]: Taking taylor expansion of x in y
1.489 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.489 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.489 * [taylor]: Taking taylor expansion of y in y
1.495 * [taylor]: Taking taylor expansion of 0 in y
1.506 * [taylor]: Taking taylor expansion of 0 in y
1.523 * [taylor]: Taking taylor expansion of 0 in y
1.524 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3)) in (x y) around 0
1.524 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3)) in y
1.524 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.524 * [taylor]: Taking taylor expansion of 0.5 in y
1.525 * [taylor]: Taking taylor expansion of (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3) in y
1.525 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))))) in y
1.525 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y
1.525 * [taylor]: Taking taylor expansion of 1/3 in y
1.525 * [taylor]: Taking taylor expansion of (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
1.525 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
1.525 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.525 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.525 * [taylor]: Taking taylor expansion of -1 in y
1.525 * [taylor]: Taking taylor expansion of y in y
1.525 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
1.525 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.525 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.525 * [taylor]: Taking taylor expansion of x in y
1.525 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
1.525 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.525 * [taylor]: Taking taylor expansion of -1 in y
1.525 * [taylor]: Taking taylor expansion of x in y
1.526 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3)) in x
1.526 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x
1.526 * [taylor]: Taking taylor expansion of 0.5 in x
1.527 * [taylor]: Taking taylor expansion of (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3) in x
1.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))))) in x
1.527 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in x
1.527 * [taylor]: Taking taylor expansion of 1/3 in x
1.527 * [taylor]: Taking taylor expansion of (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
1.527 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
1.527 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
1.527 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.527 * [taylor]: Taking taylor expansion of -1 in x
1.527 * [taylor]: Taking taylor expansion of y in x
1.527 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1.527 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.527 * [taylor]: Taking taylor expansion of x in x
1.527 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.527 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.527 * [taylor]: Taking taylor expansion of -1 in x
1.527 * [taylor]: Taking taylor expansion of x in x
1.528 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3)) in x
1.529 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x
1.529 * [taylor]: Taking taylor expansion of 0.5 in x
1.529 * [taylor]: Taking taylor expansion of (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3) in x
1.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))))) in x
1.529 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in x
1.529 * [taylor]: Taking taylor expansion of 1/3 in x
1.529 * [taylor]: Taking taylor expansion of (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
1.529 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
1.529 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
1.529 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.529 * [taylor]: Taking taylor expansion of -1 in x
1.529 * [taylor]: Taking taylor expansion of y in x
1.529 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1.530 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.530 * [taylor]: Taking taylor expansion of x in x
1.530 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.530 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.530 * [taylor]: Taking taylor expansion of -1 in x
1.530 * [taylor]: Taking taylor expansion of x in x
1.532 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3)) in y
1.532 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.532 * [taylor]: Taking taylor expansion of 0.5 in y
1.532 * [taylor]: Taking taylor expansion of (pow (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1/3) in y
1.532 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))))) in y
1.532 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y
1.532 * [taylor]: Taking taylor expansion of 1/3 in y
1.532 * [taylor]: Taking taylor expansion of (log (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
1.532 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
1.532 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.532 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.532 * [taylor]: Taking taylor expansion of -1 in y
1.533 * [taylor]: Taking taylor expansion of y in y
1.533 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
1.533 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.533 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.533 * [taylor]: Taking taylor expansion of x in y
1.533 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
1.533 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.533 * [taylor]: Taking taylor expansion of -1 in y
1.533 * [taylor]: Taking taylor expansion of x in y
1.539 * [taylor]: Taking taylor expansion of 0 in y
1.550 * [taylor]: Taking taylor expansion of 0 in y
1.572 * [taylor]: Taking taylor expansion of 0 in y
1.573 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.573 * [approximate]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (+ (exp x) (exp (- x))) 2) (pow (cos y) 2)) 1/3)) in (x y) around 0
1.573 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (+ (exp x) (exp (- x))) 2) (pow (cos y) 2)) 1/3)) in y
1.573 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in y
1.573 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.573 * [taylor]: Taking taylor expansion of 0.5 in y
1.574 * [taylor]: Taking taylor expansion of (pow (* (pow (+ (exp x) (exp (- x))) 2) (pow (cos y) 2)) 1/3) in y
1.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (+ (exp x) (exp (- x))) 2) (pow (cos y) 2))))) in y
1.574 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (+ (exp x) (exp (- x))) 2) (pow (cos y) 2)))) in y
1.574 * [taylor]: Taking taylor expansion of 1/3 in y
1.574 * [taylor]: Taking taylor expansion of (log (* (pow (+ (exp x) (exp (- x))) 2) (pow (cos y) 2))) in y
1.574 * [taylor]: Taking taylor expansion of (* (pow (+ (exp x) (exp (- x))) 2) (pow (cos y) 2)) in y
1.574 * [taylor]: Taking taylor expansion of (pow (+ (exp x) (exp (- x))) 2) in y
1.574 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y
1.574 * [taylor]: Taking taylor expansion of (exp x) in y
1.574 * [taylor]: Taking taylor expansion of x in y
1.574 * [taylor]: Taking taylor expansion of (exp (- x)) in y
1.574 * [taylor]: Taking taylor expansion of (- x) in y
1.574 * [taylor]: Taking taylor expansion of x in y
1.574 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
1.574 * [taylor]: Taking taylor expansion of (cos y) in y
1.574 * [taylor]: Taking taylor expansion of y in y
1.575 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (+ (exp x) (exp (- x))) 2) (pow (cos y) 2)) 1/3)) in x
1.575 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in x
1.575 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x
1.575 * [taylor]: Taking taylor expansion of 0.5 in x
1.576 * [taylor]: Taking taylor expansion of (pow (* (pow (+ (exp x) (exp (- x))) 2) (pow (cos y) 2)) 1/3) in x
1.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (+ (exp x) (exp (- x))) 2) (pow (cos y) 2))))) in x
1.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (+ (exp x) (exp (- x))) 2) (pow (cos y) 2)))) in x
1.576 * [taylor]: Taking taylor expansion of 1/3 in x
1.576 * [taylor]: Taking taylor expansion of (log (* (pow (+ (exp x) (exp (- x))) 2) (pow (cos y) 2))) in x
1.576 * [taylor]: Taking taylor expansion of (* (pow (+ (exp x) (exp (- x))) 2) (pow (cos y) 2)) in x
1.576 * [taylor]: Taking taylor expansion of (pow (+ (exp x) (exp (- x))) 2) in x
1.576 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1.576 * [taylor]: Taking taylor expansion of (exp x) in x
1.576 * [taylor]: Taking taylor expansion of x in x
1.576 * [taylor]: Taking taylor expansion of (exp (- x)) in x
1.576 * [taylor]: Taking taylor expansion of (- x) in x
1.576 * [taylor]: Taking taylor expansion of x in x
1.577 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in x
1.577 * [taylor]: Taking taylor expansion of (cos y) in x
1.577 * [taylor]: Taking taylor expansion of y in x
1.578 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (+ (exp x) (exp (- x))) 2) (pow (cos y) 2)) 1/3)) in x
1.578 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in x
1.578 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x
1.578 * [taylor]: Taking taylor expansion of 0.5 in x
1.579 * [taylor]: Taking taylor expansion of (pow (* (pow (+ (exp x) (exp (- x))) 2) (pow (cos y) 2)) 1/3) in x
1.579 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (+ (exp x) (exp (- x))) 2) (pow (cos y) 2))))) in x
1.579 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (+ (exp x) (exp (- x))) 2) (pow (cos y) 2)))) in x
1.579 * [taylor]: Taking taylor expansion of 1/3 in x
1.579 * [taylor]: Taking taylor expansion of (log (* (pow (+ (exp x) (exp (- x))) 2) (pow (cos y) 2))) in x
1.579 * [taylor]: Taking taylor expansion of (* (pow (+ (exp x) (exp (- x))) 2) (pow (cos y) 2)) in x
1.579 * [taylor]: Taking taylor expansion of (pow (+ (exp x) (exp (- x))) 2) in x
1.579 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1.579 * [taylor]: Taking taylor expansion of (exp x) in x
1.579 * [taylor]: Taking taylor expansion of x in x
1.579 * [taylor]: Taking taylor expansion of (exp (- x)) in x
1.579 * [taylor]: Taking taylor expansion of (- x) in x
1.579 * [taylor]: Taking taylor expansion of x in x
1.579 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in x
1.580 * [taylor]: Taking taylor expansion of (cos y) in x
1.580 * [taylor]: Taking taylor expansion of y in x
1.582 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (cos y) 2) 4) 1/3)) in y
1.582 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in y
1.582 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.582 * [taylor]: Taking taylor expansion of 0.5 in y
1.583 * [taylor]: Taking taylor expansion of (pow (* (pow (cos y) 2) 4) 1/3) in y
1.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cos y) 2) 4)))) in y
1.583 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cos y) 2) 4))) in y
1.583 * [taylor]: Taking taylor expansion of 1/3 in y
1.583 * [taylor]: Taking taylor expansion of (log (* (pow (cos y) 2) 4)) in y
1.583 * [taylor]: Taking taylor expansion of (* (pow (cos y) 2) 4) in y
1.583 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
1.583 * [taylor]: Taking taylor expansion of (cos y) in y
1.583 * [taylor]: Taking taylor expansion of y in y
1.583 * [taylor]: Taking taylor expansion of 4 in y
1.596 * [taylor]: Taking taylor expansion of 0 in y
1.611 * [taylor]: Taking taylor expansion of (* 1/3 (* (pow (cbrt 0.5) 2) (pow (* (pow (cos y) 2) 4) 1/3))) in y
1.611 * [taylor]: Taking taylor expansion of 1/3 in y
1.611 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (cos y) 2) 4) 1/3)) in y
1.611 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in y
1.611 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.611 * [taylor]: Taking taylor expansion of 0.5 in y
1.612 * [taylor]: Taking taylor expansion of (pow (* (pow (cos y) 2) 4) 1/3) in y
1.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cos y) 2) 4)))) in y
1.612 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cos y) 2) 4))) in y
1.612 * [taylor]: Taking taylor expansion of 1/3 in y
1.612 * [taylor]: Taking taylor expansion of (log (* (pow (cos y) 2) 4)) in y
1.612 * [taylor]: Taking taylor expansion of (* (pow (cos y) 2) 4) in y
1.612 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
1.612 * [taylor]: Taking taylor expansion of (cos y) in y
1.612 * [taylor]: Taking taylor expansion of y in y
1.612 * [taylor]: Taking taylor expansion of 4 in y
1.644 * [approximate]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2)) 1/3)) in (x y) around 0
1.644 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2)) 1/3)) in y
1.644 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in y
1.644 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.644 * [taylor]: Taking taylor expansion of 0.5 in y
1.644 * [taylor]: Taking taylor expansion of (pow (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2)) 1/3) in y
1.644 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2))))) in y
1.644 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2)))) in y
1.644 * [taylor]: Taking taylor expansion of 1/3 in y
1.644 * [taylor]: Taking taylor expansion of (log (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2))) in y
1.644 * [taylor]: Taking taylor expansion of (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2)) in y
1.645 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) in y
1.645 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
1.645 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.645 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.645 * [taylor]: Taking taylor expansion of x in y
1.645 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
1.645 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
1.645 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.645 * [taylor]: Taking taylor expansion of x in y
1.645 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
1.645 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.645 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.645 * [taylor]: Taking taylor expansion of y in y
1.646 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2)) 1/3)) in x
1.646 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in x
1.646 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x
1.646 * [taylor]: Taking taylor expansion of 0.5 in x
1.647 * [taylor]: Taking taylor expansion of (pow (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2)) 1/3) in x
1.647 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2))))) in x
1.647 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2)))) in x
1.647 * [taylor]: Taking taylor expansion of 1/3 in x
1.647 * [taylor]: Taking taylor expansion of (log (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2))) in x
1.647 * [taylor]: Taking taylor expansion of (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2)) in x
1.647 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) in x
1.647 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1.647 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.647 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.647 * [taylor]: Taking taylor expansion of x in x
1.648 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
1.648 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.648 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.648 * [taylor]: Taking taylor expansion of x in x
1.648 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in x
1.648 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
1.648 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.648 * [taylor]: Taking taylor expansion of y in x
1.650 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2)) 1/3)) in x
1.650 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in x
1.650 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x
1.650 * [taylor]: Taking taylor expansion of 0.5 in x
1.651 * [taylor]: Taking taylor expansion of (pow (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2)) 1/3) in x
1.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2))))) in x
1.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2)))) in x
1.651 * [taylor]: Taking taylor expansion of 1/3 in x
1.651 * [taylor]: Taking taylor expansion of (log (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2))) in x
1.651 * [taylor]: Taking taylor expansion of (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2)) in x
1.651 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) in x
1.651 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1.651 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.651 * [taylor]: Taking taylor expansion of x in x
1.651 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
1.651 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.651 * [taylor]: Taking taylor expansion of x in x
1.652 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in x
1.652 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
1.652 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.652 * [taylor]: Taking taylor expansion of y in x
1.655 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2)) 1/3)) in y
1.655 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in y
1.655 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.655 * [taylor]: Taking taylor expansion of 0.5 in y
1.656 * [taylor]: Taking taylor expansion of (pow (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2)) 1/3) in y
1.656 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2))))) in y
1.656 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2)))) in y
1.656 * [taylor]: Taking taylor expansion of 1/3 in y
1.656 * [taylor]: Taking taylor expansion of (log (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2))) in y
1.656 * [taylor]: Taking taylor expansion of (* (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (pow (cos (/ 1 y)) 2)) in y
1.656 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) in y
1.656 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
1.656 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.656 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.656 * [taylor]: Taking taylor expansion of x in y
1.656 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
1.656 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
1.656 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.656 * [taylor]: Taking taylor expansion of x in y
1.656 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
1.656 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.656 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.656 * [taylor]: Taking taylor expansion of y in y
1.672 * [taylor]: Taking taylor expansion of 0 in y
1.687 * [taylor]: Taking taylor expansion of 0 in y
1.708 * [taylor]: Taking taylor expansion of 0 in y
1.710 * [approximate]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2)) 1/3)) in (x y) around 0
1.710 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2)) 1/3)) in y
1.710 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in y
1.710 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.710 * [taylor]: Taking taylor expansion of 0.5 in y
1.710 * [taylor]: Taking taylor expansion of (pow (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2)) 1/3) in y
1.710 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2))))) in y
1.710 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2)))) in y
1.710 * [taylor]: Taking taylor expansion of 1/3 in y
1.711 * [taylor]: Taking taylor expansion of (log (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2))) in y
1.711 * [taylor]: Taking taylor expansion of (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2)) in y
1.711 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
1.711 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.711 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.711 * [taylor]: Taking taylor expansion of -1 in y
1.711 * [taylor]: Taking taylor expansion of y in y
1.711 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2) in y
1.711 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
1.711 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.711 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.711 * [taylor]: Taking taylor expansion of x in y
1.711 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
1.711 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.711 * [taylor]: Taking taylor expansion of -1 in y
1.711 * [taylor]: Taking taylor expansion of x in y
1.712 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2)) 1/3)) in x
1.712 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in x
1.712 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x
1.712 * [taylor]: Taking taylor expansion of 0.5 in x
1.713 * [taylor]: Taking taylor expansion of (pow (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2)) 1/3) in x
1.713 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2))))) in x
1.713 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2)))) in x
1.713 * [taylor]: Taking taylor expansion of 1/3 in x
1.713 * [taylor]: Taking taylor expansion of (log (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2))) in x
1.713 * [taylor]: Taking taylor expansion of (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2)) in x
1.713 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in x
1.713 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
1.713 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.713 * [taylor]: Taking taylor expansion of -1 in x
1.713 * [taylor]: Taking taylor expansion of y in x
1.714 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2) in x
1.714 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1.714 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.714 * [taylor]: Taking taylor expansion of x in x
1.714 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.714 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.714 * [taylor]: Taking taylor expansion of -1 in x
1.714 * [taylor]: Taking taylor expansion of x in x
1.716 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2)) 1/3)) in x
1.716 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in x
1.716 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x
1.716 * [taylor]: Taking taylor expansion of 0.5 in x
1.716 * [taylor]: Taking taylor expansion of (pow (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2)) 1/3) in x
1.716 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2))))) in x
1.716 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2)))) in x
1.716 * [taylor]: Taking taylor expansion of 1/3 in x
1.716 * [taylor]: Taking taylor expansion of (log (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2))) in x
1.716 * [taylor]: Taking taylor expansion of (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2)) in x
1.716 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in x
1.716 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
1.716 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.717 * [taylor]: Taking taylor expansion of -1 in x
1.717 * [taylor]: Taking taylor expansion of y in x
1.717 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2) in x
1.717 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1.717 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.717 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.717 * [taylor]: Taking taylor expansion of x in x
1.717 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.717 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.717 * [taylor]: Taking taylor expansion of -1 in x
1.717 * [taylor]: Taking taylor expansion of x in x
1.721 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2)) 1/3)) in y
1.721 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in y
1.721 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y
1.721 * [taylor]: Taking taylor expansion of 0.5 in y
1.722 * [taylor]: Taking taylor expansion of (pow (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2)) 1/3) in y
1.722 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2))))) in y
1.722 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2)))) in y
1.722 * [taylor]: Taking taylor expansion of 1/3 in y
1.722 * [taylor]: Taking taylor expansion of (log (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2))) in y
1.722 * [taylor]: Taking taylor expansion of (* (pow (cos (/ -1 y)) 2) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2)) in y
1.722 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
1.722 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.722 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.722 * [taylor]: Taking taylor expansion of -1 in y
1.722 * [taylor]: Taking taylor expansion of y in y
1.722 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 2) in y
1.722 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
1.722 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.722 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.722 * [taylor]: Taking taylor expansion of x in y
1.722 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
1.722 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.722 * [taylor]: Taking taylor expansion of -1 in y
1.722 * [taylor]: Taking taylor expansion of x in y
1.732 * [taylor]: Taking taylor expansion of 0 in y
1.746 * [taylor]: Taking taylor expansion of 0 in y
1.772 * [taylor]: Taking taylor expansion of 0 in y
1.773 * * * [progress]: simplifying candidates
1.774 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (log1p (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (log (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (exp (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (cbrt (/ (+ (exp x) (exp (- x))) 2.0))
  (cbrt (cos y))
  (cbrt (* (+ (exp x) (exp (- x))) (cos y)))
  (cbrt 2.0)
  (* (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (* (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (expm1 (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (log1p (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (log (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (exp (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (cbrt (/ (+ (exp x) (exp (- x))) 2.0))
  (cbrt (cos y))
  (cbrt (* (+ (exp x) (exp (- x))) (cos y)))
  (cbrt 2.0)
  (* (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (* (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (expm1 (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (log1p (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (log (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (exp (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (cbrt (/ (+ (exp x) (exp (- x))) 2.0))
  (cbrt (cos y))
  (cbrt (* (+ (exp x) (exp (- x))) (cos y)))
  (cbrt 2.0)
  (* (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (* (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (expm1 (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (log1p (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (+ 1 1)
  (+ (log (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (log (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (log (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (exp (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (* (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (cbrt (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))) (cbrt (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))))
  (cbrt (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (* (* (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))) (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (sqrt (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (sqrt (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (* (cbrt (* (+ (exp x) (exp (- x))) (cos y))) (cbrt (* (+ (exp x) (exp (- x))) (cos y))))
  (* (cbrt 2.0) (cbrt 2.0))
  (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cbrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (* (* (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))) (* (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))))
  (* (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (* (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (* (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (* 1 1)
  (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (* (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (* (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (* (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))))
  (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) 1)
  (* (cbrt (cos y)) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (* (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (* (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (+ (exp x) (exp (- x))) (cos y))))
  (* (cbrt (* (+ (exp x) (exp (- x))) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (- (+ (* (cbrt 0.5) (pow 2 1/3)) (* 1/6 (* (* (cbrt 0.5) (pow x 2)) (pow 2 1/3)))) (* 1/6 (* (* (cbrt 0.5) (pow y 2)) (pow 2 1/3))))
  (* (cbrt 0.5) (pow (* (+ (exp x) (exp (- x))) (cos y)) 1/3))
  (* (cbrt 0.5) (pow (* (cos y) (+ (exp (* -1 x)) (exp x))) 1/3))
  (- (+ (* (cbrt 0.5) (pow 2 1/3)) (* 1/6 (* (* (cbrt 0.5) (pow x 2)) (pow 2 1/3)))) (* 1/6 (* (* (cbrt 0.5) (pow y 2)) (pow 2 1/3))))
  (* (cbrt 0.5) (pow (* (+ (exp x) (exp (- x))) (cos y)) 1/3))
  (* (cbrt 0.5) (pow (* (cos y) (+ (exp (* -1 x)) (exp x))) 1/3))
  (- (+ (* (cbrt 0.5) (pow 2 1/3)) (* 1/6 (* (* (cbrt 0.5) (pow x 2)) (pow 2 1/3)))) (* 1/6 (* (* (cbrt 0.5) (pow y 2)) (pow 2 1/3))))
  (* (cbrt 0.5) (pow (* (+ (exp x) (exp (- x))) (cos y)) 1/3))
  (* (cbrt 0.5) (pow (* (cos y) (+ (exp (* -1 x)) (exp x))) 1/3))
  (- (+ (* 1/3 (* (* (pow (cbrt 0.5) 2) (pow x 2)) (pow 4 1/3))) (* (pow (cbrt 0.5) 2) (pow 4 1/3))) (* 1/3 (* (* (pow (cbrt 0.5) 2) (pow y 2)) (pow 4 1/3))))
  (* (pow (cbrt 0.5) 2) (pow (* (pow (+ (exp x) (exp (- x))) 2) (pow (cos y) 2)) 1/3))
  (* (pow (cbrt 0.5) 2) (pow (* (pow (cos y) 2) (pow (+ (exp (* -1 x)) (exp x)) 2)) 1/3))
1.780 * * [simplify]: iteration  0 :  237  enodes  (cost  1074 )
1.785 * * [simplify]: iteration  1 :  927  enodes  (cost  937 )
1.804 * * [simplify]: iteration  2 :  4704  enodes  (cost  847 )
1.926 * * [simplify]: iteration  3 :  5001  enodes  (cost  844 )
1.929 * [simplify]: Simplified to:
   (expm1 (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (log1p (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (log (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (exp (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (cbrt (/ (+ (exp x) (exp (- x))) 2.0))
  (cbrt (cos y))
  (pow (* (cos y) (+ (exp (* -1 x)) (exp x))) 1/3)
  (cbrt 2.0)
  (* (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (expm1 (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (log1p (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (log (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (exp (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (cbrt (/ (+ (exp x) (exp (- x))) 2.0))
  (cbrt (cos y))
  (pow (* (cos y) (+ (exp (* -1 x)) (exp x))) 1/3)
  (cbrt 2.0)
  (* (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (expm1 (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (log1p (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (log (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (exp (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (cbrt (/ (+ (exp x) (exp (- x))) 2.0))
  (cbrt (cos y))
  (pow (* (cos y) (+ (exp (* -1 x)) (exp x))) 1/3)
  (cbrt 2.0)
  (* (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (expm1 (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (log1p (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  2/3
  2
  (pow (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) 6)
  (pow (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) 4)
  2
  (* 2 (log (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (* 2 (log (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (pow (exp 1) (pow (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) 4))
  (pow (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) 6)
  (* (cbrt (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))) (cbrt (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))))
  (cbrt (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (pow (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) 6)
  (fabs (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (fabs (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (pow (* (cos y) (+ (exp (* -1 x)) (exp x))) 2/3)
  (* (cbrt 2.0) (cbrt 2.0))
  (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cbrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (pow (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) 4)
  (* (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  1
  (pow (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) 4)
  (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  2/3
  2
  (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (/ (+ (exp x) (exp (- x))) 2.0)))
  (* (pow (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) 4) (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))
  (pow (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) 3)
  (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (cbrt (cos y)) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (pow (cbrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) 4)
  (pow (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) 3)
  (pow (sqrt (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) 4)
  (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (+ (exp x) (exp (- x))) (cos y))))
  (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (+ (exp x) (exp (- x))) (cos y))))
  (fma (* (* (cbrt 0.5) (pow 2 1/3)) (- (pow x 2) (pow y 2))) 1/6 (* (cbrt 0.5) (pow 2 1/3)))
  (* (cbrt 0.5) (pow (* (cos y) (+ (exp (* -1 x)) (exp x))) 1/3))
  (* (cbrt 0.5) (pow (* (cos y) (+ (exp (* -1 x)) (exp x))) 1/3))
  (fma (* (* (cbrt 0.5) (pow 2 1/3)) (- (pow x 2) (pow y 2))) 1/6 (* (cbrt 0.5) (pow 2 1/3)))
  (* (cbrt 0.5) (pow (* (cos y) (+ (exp (* -1 x)) (exp x))) 1/3))
  (* (cbrt 0.5) (pow (* (cos y) (+ (exp (* -1 x)) (exp x))) 1/3))
  (fma (* (* (cbrt 0.5) (pow 2 1/3)) (- (pow x 2) (pow y 2))) 1/6 (* (cbrt 0.5) (pow 2 1/3)))
  (* (cbrt 0.5) (pow (* (cos y) (+ (exp (* -1 x)) (exp x))) 1/3))
  (* (cbrt 0.5) (pow (* (cos y) (+ (exp (* -1 x)) (exp x))) 1/3))
  (* (pow 4 1/3) (- (fma (* 1/3 (pow x 2)) (pow (cbrt 0.5) 2) (pow (cbrt 0.5) 2)) (* 1/3 (* (pow (cbrt 0.5) 2) (pow y 2)))))
  (* (pow (cbrt 0.5) 2) (pow (* (pow (cos y) 2) (pow (+ (exp (* -1 x)) (exp x)) 2)) 1/3))
  (* (pow (cbrt 0.5) 2) (pow (* (pow (cos y) 2) (pow (+ (exp (* -1 x)) (exp x)) 2)) 1/3))
1.930 * * * [progress]: adding candidates to table
2.197 * [progress]: [Phase 3 of 3] Extracting.
2.197 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))> #<alt (λ (x y) (* (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))> #<alt (λ (x y) (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2.0) (cbrt 2.0))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))))>)
2.198 * * * [regime-changes]: Trying 2 branch expressions: (y x)
2.198 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))> #<alt (λ (x y) (* (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))> #<alt (λ (x y) (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2.0) (cbrt 2.0))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))))>)
2.214 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))> #<alt (λ (x y) (* (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))))> #<alt (λ (x y) (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2.0) (cbrt 2.0))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))))>)
2.230 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
2.230 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
2.231 * * [simplify]: iteration  0 :  12  enodes  (cost  7 )
2.231 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
2.231 * [simplify]: Simplified to:
   (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
2.231 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
2.305 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
2.308 * * * * [points]: Setting MPFR precision to 64
2.308 * * * * [points]: Setting MPFR precision to 320
2.309 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
2.311 * * * * [points]: Setting MPFR precision to 64
2.312 * * * * [points]: Setting MPFR precision to 320
2.313 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
2.316 * * * * [points]: Setting MPFR precision to 64
2.317 * * * * [points]: Setting MPFR precision to 320
2.320 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
2.322 * * * * [points]: Setting MPFR precision to 64
2.326 * * * * [points]: Setting MPFR precision to 320
2.330 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
2.332 * * * * [points]: Setting MPFR precision to 64
2.344 * * * * [points]: Setting MPFR precision to 320
2.353 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
2.356 * * * * [points]: Setting MPFR precision to 64
2.370 * * * * [points]: Setting MPFR precision to 320
2.389 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
2.391 * * * * [points]: Setting MPFR precision to 64
2.420 * * * * [points]: Setting MPFR precision to 320
2.456 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
2.458 * * * * [points]: Setting MPFR precision to 64
2.518 * * * * [points]: Setting MPFR precision to 320
2.589 * * * * [points]: Computing exacts for 8000 points
2.592 * * * * [points]: Setting MPFR precision to 64
2.826 * * * * [points]: Setting MPFR precision to 320
3.113 * * * * [points]: Filtering points with unrepresentable outputs
3.120 * * * * [points]: Sampling 3988 additional inputs, on iter 1 have 4012 / 8000
3.156 * * * * [points]: Computing exacts on every 249 of 3988 points to ramp up precision
3.159 * * * * [points]: Setting MPFR precision to 64
3.159 * * * * [points]: Setting MPFR precision to 320
3.160 * * * * [points]: Computing exacts on every 124 of 3988 points to ramp up precision
3.162 * * * * [points]: Setting MPFR precision to 64
3.163 * * * * [points]: Setting MPFR precision to 320
3.165 * * * * [points]: Computing exacts on every 62 of 3988 points to ramp up precision
3.167 * * * * [points]: Setting MPFR precision to 64
3.169 * * * * [points]: Setting MPFR precision to 320
3.171 * * * * [points]: Computing exacts on every 31 of 3988 points to ramp up precision
3.179 * * * * [points]: Setting MPFR precision to 64
3.183 * * * * [points]: Setting MPFR precision to 320
3.188 * * * * [points]: Computing exacts on every 15 of 3988 points to ramp up precision
3.190 * * * * [points]: Setting MPFR precision to 64
3.198 * * * * [points]: Setting MPFR precision to 320
3.208 * * * * [points]: Computing exacts on every 7 of 3988 points to ramp up precision
3.210 * * * * [points]: Setting MPFR precision to 64
3.225 * * * * [points]: Setting MPFR precision to 320
3.243 * * * * [points]: Computing exacts on every 3 of 3988 points to ramp up precision
3.246 * * * * [points]: Setting MPFR precision to 64
3.275 * * * * [points]: Setting MPFR precision to 320
3.311 * * * * [points]: Computing exacts for 3988 points
3.314 * * * * [points]: Setting MPFR precision to 64
3.432 * * * * [points]: Setting MPFR precision to 320
3.577 * * * * [points]: Filtering points with unrepresentable outputs
3.580 * * * * [points]: Sampling 1955 additional inputs, on iter 2 have 6045 / 8000
3.598 * * * * [points]: Computing exacts on every 122 of 1955 points to ramp up precision
3.603 * * * * [points]: Setting MPFR precision to 64
3.603 * * * * [points]: Setting MPFR precision to 320
3.604 * * * * [points]: Computing exacts on every 61 of 1955 points to ramp up precision
3.606 * * * * [points]: Setting MPFR precision to 64
3.607 * * * * [points]: Setting MPFR precision to 320
3.608 * * * * [points]: Computing exacts on every 30 of 1955 points to ramp up precision
3.610 * * * * [points]: Setting MPFR precision to 64
3.612 * * * * [points]: Setting MPFR precision to 320
3.615 * * * * [points]: Computing exacts on every 15 of 1955 points to ramp up precision
3.617 * * * * [points]: Setting MPFR precision to 64
3.621 * * * * [points]: Setting MPFR precision to 320
3.626 * * * * [points]: Computing exacts on every 7 of 1955 points to ramp up precision
3.628 * * * * [points]: Setting MPFR precision to 64
3.635 * * * * [points]: Setting MPFR precision to 320
3.644 * * * * [points]: Computing exacts on every 3 of 1955 points to ramp up precision
3.646 * * * * [points]: Setting MPFR precision to 64
3.661 * * * * [points]: Setting MPFR precision to 320
3.678 * * * * [points]: Computing exacts for 1955 points
3.681 * * * * [points]: Setting MPFR precision to 64
3.740 * * * * [points]: Setting MPFR precision to 320
3.810 * * * * [points]: Filtering points with unrepresentable outputs
3.811 * * * * [points]: Sampling 990 additional inputs, on iter 3 have 7010 / 8000
3.820 * * * * [points]: Computing exacts on every 61 of 990 points to ramp up precision
3.823 * * * * [points]: Setting MPFR precision to 64
3.824 * * * * [points]: Setting MPFR precision to 320
3.824 * * * * [points]: Computing exacts on every 30 of 990 points to ramp up precision
3.826 * * * * [points]: Setting MPFR precision to 64
3.828 * * * * [points]: Setting MPFR precision to 320
3.829 * * * * [points]: Computing exacts on every 15 of 990 points to ramp up precision
3.831 * * * * [points]: Setting MPFR precision to 64
3.833 * * * * [points]: Setting MPFR precision to 320
3.835 * * * * [points]: Computing exacts on every 7 of 990 points to ramp up precision
3.837 * * * * [points]: Setting MPFR precision to 64
3.841 * * * * [points]: Setting MPFR precision to 320
3.846 * * * * [points]: Computing exacts on every 3 of 990 points to ramp up precision
3.848 * * * * [points]: Setting MPFR precision to 64
3.860 * * * * [points]: Setting MPFR precision to 320
3.869 * * * * [points]: Computing exacts for 990 points
3.871 * * * * [points]: Setting MPFR precision to 64
3.901 * * * * [points]: Setting MPFR precision to 320
3.937 * * * * [points]: Filtering points with unrepresentable outputs
3.938 * * * * [points]: Sampling 509 additional inputs, on iter 4 have 7491 / 8000
3.942 * * * * [points]: Computing exacts on every 31 of 509 points to ramp up precision
3.944 * * * * [points]: Setting MPFR precision to 64
3.945 * * * * [points]: Setting MPFR precision to 320
3.946 * * * * [points]: Computing exacts on every 15 of 509 points to ramp up precision
3.948 * * * * [points]: Setting MPFR precision to 64
3.949 * * * * [points]: Setting MPFR precision to 320
3.950 * * * * [points]: Computing exacts on every 7 of 509 points to ramp up precision
3.953 * * * * [points]: Setting MPFR precision to 64
3.955 * * * * [points]: Setting MPFR precision to 320
3.957 * * * * [points]: Computing exacts on every 3 of 509 points to ramp up precision
3.960 * * * * [points]: Setting MPFR precision to 64
3.964 * * * * [points]: Setting MPFR precision to 320
3.968 * * * * [points]: Computing exacts for 509 points
3.971 * * * * [points]: Setting MPFR precision to 64
3.990 * * * * [points]: Setting MPFR precision to 320
4.009 * * * * [points]: Filtering points with unrepresentable outputs
4.009 * * * * [points]: Sampling 247 additional inputs, on iter 5 have 7753 / 8000
4.012 * * * * [points]: Computing exacts on every 15 of 247 points to ramp up precision
4.014 * * * * [points]: Setting MPFR precision to 64
4.015 * * * * [points]: Setting MPFR precision to 320
4.015 * * * * [points]: Computing exacts on every 7 of 247 points to ramp up precision
4.017 * * * * [points]: Setting MPFR precision to 64
4.018 * * * * [points]: Setting MPFR precision to 320
4.019 * * * * [points]: Computing exacts on every 3 of 247 points to ramp up precision
4.021 * * * * [points]: Setting MPFR precision to 64
4.023 * * * * [points]: Setting MPFR precision to 320
4.025 * * * * [points]: Computing exacts for 247 points
4.028 * * * * [points]: Setting MPFR precision to 64
4.035 * * * * [points]: Setting MPFR precision to 320
4.044 * * * * [points]: Filtering points with unrepresentable outputs
4.045 * * * * [points]: Sampling 120 additional inputs, on iter 6 have 7880 / 8000
4.046 * * * * [points]: Computing exacts on every 7 of 120 points to ramp up precision
4.048 * * * * [points]: Setting MPFR precision to 64
4.049 * * * * [points]: Setting MPFR precision to 320
4.049 * * * * [points]: Computing exacts on every 3 of 120 points to ramp up precision
4.051 * * * * [points]: Setting MPFR precision to 64
4.052 * * * * [points]: Setting MPFR precision to 320
4.054 * * * * [points]: Computing exacts for 120 points
4.056 * * * * [points]: Setting MPFR precision to 64
4.059 * * * * [points]: Setting MPFR precision to 320
4.064 * * * * [points]: Filtering points with unrepresentable outputs
4.064 * * * * [points]: Sampling 67 additional inputs, on iter 7 have 7933 / 8000
4.065 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision
4.067 * * * * [points]: Setting MPFR precision to 64
4.068 * * * * [points]: Setting MPFR precision to 320
4.068 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision
4.070 * * * * [points]: Setting MPFR precision to 64
4.071 * * * * [points]: Setting MPFR precision to 320
4.072 * * * * [points]: Computing exacts for 67 points
4.074 * * * * [points]: Setting MPFR precision to 64
4.076 * * * * [points]: Setting MPFR precision to 320
4.078 * * * * [points]: Filtering points with unrepresentable outputs
4.079 * * * * [points]: Sampling 30 additional inputs, on iter 8 have 7970 / 8000
4.079 * * * * [points]: Computing exacts for 30 points
4.081 * * * * [points]: Setting MPFR precision to 64
4.082 * * * * [points]: Setting MPFR precision to 320
4.083 * * * * [points]: Filtering points with unrepresentable outputs
4.083 * * * * [points]: Sampling 15 additional inputs, on iter 9 have 7985 / 8000
4.084 * * * * [points]: Computing exacts for 15 points
4.086 * * * * [points]: Setting MPFR precision to 64
4.087 * * * * [points]: Setting MPFR precision to 320
4.087 * * * * [points]: Filtering points with unrepresentable outputs
4.087 * * * * [points]: Sampling 8 additional inputs, on iter 10 have 7992 / 8000
4.087 * * * * [points]: Computing exacts for 8 points
4.090 * * * * [points]: Setting MPFR precision to 64
4.095 * * * * [points]: Setting MPFR precision to 320
4.095 * * * * [points]: Filtering points with unrepresentable outputs
4.095 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000
4.095 * * * * [points]: Computing exacts for 4 points
4.098 * * * * [points]: Setting MPFR precision to 64
4.098 * * * * [points]: Setting MPFR precision to 320
4.098 * * * * [points]: Filtering points with unrepresentable outputs
4.099 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
4.099 * * * * [points]: Computing exacts for 4 points
4.101 * * * * [points]: Setting MPFR precision to 64
4.101 * * * * [points]: Setting MPFR precision to 320
4.101 * * * * [points]: Filtering points with unrepresentable outputs
4.101 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000
4.101 * * * * [points]: Computing exacts for 4 points
4.103 * * * * [points]: Setting MPFR precision to 64
4.104 * * * * [points]: Setting MPFR precision to 320
4.104 * * * * [points]: Filtering points with unrepresentable outputs
4.104 * * * * [points]: Sampled 8001 points with exact outputs
4.301 * [regime-testing]: Baseline error score: 0.011615601562950724
4.301 * [regime-testing]: Oracle error score: 0.008094360937770433
4.302 * [regime-testing]: End program error score: 0.011615601562950724