12.928 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.200 * * * [progress]: [2/2] Setting up program.
0.206 * [progress]: [Phase 2 of 3] Improving.
0.206 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (sin (+ x eps)) (sin x))
0.214 * * [simplify]: iteration  0 :  71  enodes  (cost  7 )
0.214 * * [simplify]: iteration  1 :  71  enodes  (cost  7 )
0.214 * [simplify]: Simplified to:
   (- (sin (+ x eps)) (sin x))
0.215 * * [progress]: iteration 1 / 4
0.215 * * * [progress]: picking best candidate
0.221 * * * * [pick]: Picked  #<alt (λ (x eps) (- (sin (+ x eps)) (sin x)))>
0.221 * * * [progress]: localizing error
0.237 * * * [progress]: generating rewritten candidates
0.237 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.245 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.258 * * * [progress]: generating series expansions
0.258 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.259 * [approximate]: Taking taylor expansion of (sin (+ x eps)) in (x eps) around 0
0.259 * [taylor]: Taking taylor expansion of (sin (+ x eps)) in eps
0.259 * [taylor]: Taking taylor expansion of (+ x eps) in eps
0.259 * [taylor]: Taking taylor expansion of x in eps
0.259 * [taylor]: Taking taylor expansion of eps in eps
0.259 * [taylor]: Taking taylor expansion of (sin (+ x eps)) in x
0.259 * [taylor]: Taking taylor expansion of (+ x eps) in x
0.259 * [taylor]: Taking taylor expansion of x in x
0.259 * [taylor]: Taking taylor expansion of eps in x
0.259 * [taylor]: Taking taylor expansion of (sin (+ x eps)) in x
0.259 * [taylor]: Taking taylor expansion of (+ x eps) in x
0.259 * [taylor]: Taking taylor expansion of x in x
0.259 * [taylor]: Taking taylor expansion of eps in x
0.260 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.260 * [taylor]: Taking taylor expansion of eps in eps
0.261 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.261 * [taylor]: Taking taylor expansion of eps in eps
0.262 * [taylor]: Taking taylor expansion of (neg (* 1/2 (sin eps))) in eps
0.262 * [taylor]: Taking taylor expansion of (* 1/2 (sin eps)) in eps
0.262 * [taylor]: Taking taylor expansion of 1/2 in eps
0.262 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.262 * [taylor]: Taking taylor expansion of eps in eps
0.263 * [taylor]: Taking taylor expansion of (neg (* 1/6 (cos eps))) in eps
0.263 * [taylor]: Taking taylor expansion of (* 1/6 (cos eps)) in eps
0.263 * [taylor]: Taking taylor expansion of 1/6 in eps
0.263 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.263 * [taylor]: Taking taylor expansion of eps in eps
0.263 * [approximate]: Taking taylor expansion of (sin (+ (/ 1 eps) (/ 1 x))) in (x eps) around 0
0.263 * [taylor]: Taking taylor expansion of (sin (+ (/ 1 eps) (/ 1 x))) in eps
0.263 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.263 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.263 * [taylor]: Taking taylor expansion of eps in eps
0.264 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.264 * [taylor]: Taking taylor expansion of x in eps
0.264 * [taylor]: Taking taylor expansion of (sin (+ (/ 1 eps) (/ 1 x))) in x
0.264 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.264 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.264 * [taylor]: Taking taylor expansion of eps in x
0.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.264 * [taylor]: Taking taylor expansion of x in x
0.264 * [taylor]: Taking taylor expansion of (sin (+ (/ 1 eps) (/ 1 x))) in x
0.264 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.264 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.264 * [taylor]: Taking taylor expansion of eps in x
0.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.264 * [taylor]: Taking taylor expansion of x in x
0.265 * [taylor]: Taking taylor expansion of (sin (+ (/ 1 eps) (/ 1 x))) in eps
0.265 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.265 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.265 * [taylor]: Taking taylor expansion of eps in eps
0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.265 * [taylor]: Taking taylor expansion of x in eps
0.265 * [taylor]: Taking taylor expansion of 0 in eps
0.265 * [taylor]: Taking taylor expansion of 0 in eps
0.265 * [taylor]: Taking taylor expansion of 0 in eps
0.265 * [approximate]: Taking taylor expansion of (sin (neg (+ (/ 1 eps) (/ 1 x)))) in (x eps) around 0
0.265 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ 1 eps) (/ 1 x)))) in eps
0.266 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in eps
0.266 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.266 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.266 * [taylor]: Taking taylor expansion of eps in eps
0.266 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.266 * [taylor]: Taking taylor expansion of x in eps
0.266 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ 1 eps) (/ 1 x)))) in x
0.266 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in x
0.266 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.266 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.266 * [taylor]: Taking taylor expansion of eps in x
0.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.266 * [taylor]: Taking taylor expansion of x in x
0.266 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ 1 eps) (/ 1 x)))) in x
0.266 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in x
0.266 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.266 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.266 * [taylor]: Taking taylor expansion of eps in x
0.267 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.267 * [taylor]: Taking taylor expansion of x in x
0.267 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ 1 eps) (/ 1 x)))) in eps
0.267 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in eps
0.267 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.267 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.267 * [taylor]: Taking taylor expansion of eps in eps
0.267 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.267 * [taylor]: Taking taylor expansion of x in eps
0.267 * [taylor]: Taking taylor expansion of 0 in eps
0.268 * [taylor]: Taking taylor expansion of 0 in eps
0.268 * [taylor]: Taking taylor expansion of 0 in eps
0.268 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.268 * [approximate]: Taking taylor expansion of (- (sin (+ x eps)) (sin x)) in (x eps) around 0
0.268 * [taylor]: Taking taylor expansion of (- (sin (+ x eps)) (sin x)) in eps
0.268 * [taylor]: Taking taylor expansion of (sin (+ x eps)) in eps
0.268 * [taylor]: Taking taylor expansion of (+ x eps) in eps
0.268 * [taylor]: Taking taylor expansion of x in eps
0.268 * [taylor]: Taking taylor expansion of eps in eps
0.268 * [taylor]: Taking taylor expansion of (sin x) in eps
0.268 * [taylor]: Taking taylor expansion of x in eps
0.268 * [taylor]: Taking taylor expansion of (- (sin (+ x eps)) (sin x)) in x
0.268 * [taylor]: Taking taylor expansion of (sin (+ x eps)) in x
0.268 * [taylor]: Taking taylor expansion of (+ x eps) in x
0.268 * [taylor]: Taking taylor expansion of x in x
0.269 * [taylor]: Taking taylor expansion of eps in x
0.269 * [taylor]: Taking taylor expansion of (sin x) in x
0.269 * [taylor]: Taking taylor expansion of x in x
0.269 * [taylor]: Taking taylor expansion of (- (sin (+ x eps)) (sin x)) in x
0.269 * [taylor]: Taking taylor expansion of (sin (+ x eps)) in x
0.269 * [taylor]: Taking taylor expansion of (+ x eps) in x
0.269 * [taylor]: Taking taylor expansion of x in x
0.269 * [taylor]: Taking taylor expansion of eps in x
0.269 * [taylor]: Taking taylor expansion of (sin x) in x
0.269 * [taylor]: Taking taylor expansion of x in x
0.269 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.269 * [taylor]: Taking taylor expansion of eps in eps
0.270 * [taylor]: Taking taylor expansion of (- (cos eps) 1) in eps
0.270 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.270 * [taylor]: Taking taylor expansion of eps in eps
0.270 * [taylor]: Taking taylor expansion of 1 in eps
0.271 * [taylor]: Taking taylor expansion of (neg (* 1/2 (sin eps))) in eps
0.271 * [taylor]: Taking taylor expansion of (* 1/2 (sin eps)) in eps
0.271 * [taylor]: Taking taylor expansion of 1/2 in eps
0.271 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.271 * [taylor]: Taking taylor expansion of eps in eps
0.272 * [taylor]: Taking taylor expansion of (- 1/6 (* 1/6 (cos eps))) in eps
0.272 * [taylor]: Taking taylor expansion of 1/6 in eps
0.272 * [taylor]: Taking taylor expansion of (* 1/6 (cos eps)) in eps
0.272 * [taylor]: Taking taylor expansion of 1/6 in eps
0.272 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.272 * [taylor]: Taking taylor expansion of eps in eps
0.273 * [approximate]: Taking taylor expansion of (- (sin (+ (/ 1 eps) (/ 1 x))) (sin (/ 1 x))) in (x eps) around 0
0.273 * [taylor]: Taking taylor expansion of (- (sin (+ (/ 1 eps) (/ 1 x))) (sin (/ 1 x))) in eps
0.273 * [taylor]: Taking taylor expansion of (sin (+ (/ 1 eps) (/ 1 x))) in eps
0.274 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.274 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.274 * [taylor]: Taking taylor expansion of eps in eps
0.274 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.274 * [taylor]: Taking taylor expansion of x in eps
0.274 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
0.274 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.274 * [taylor]: Taking taylor expansion of x in eps
0.274 * [taylor]: Taking taylor expansion of (- (sin (+ (/ 1 eps) (/ 1 x))) (sin (/ 1 x))) in x
0.274 * [taylor]: Taking taylor expansion of (sin (+ (/ 1 eps) (/ 1 x))) in x
0.274 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.274 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.274 * [taylor]: Taking taylor expansion of eps in x
0.274 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.274 * [taylor]: Taking taylor expansion of x in x
0.274 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.275 * [taylor]: Taking taylor expansion of x in x
0.275 * [taylor]: Taking taylor expansion of (- (sin (+ (/ 1 eps) (/ 1 x))) (sin (/ 1 x))) in x
0.275 * [taylor]: Taking taylor expansion of (sin (+ (/ 1 eps) (/ 1 x))) in x
0.275 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.275 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.275 * [taylor]: Taking taylor expansion of eps in x
0.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.275 * [taylor]: Taking taylor expansion of x in x
0.275 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.275 * [taylor]: Taking taylor expansion of x in x
0.275 * [taylor]: Taking taylor expansion of (- (sin (+ (/ 1 eps) (/ 1 x))) (sin (/ 1 x))) in eps
0.275 * [taylor]: Taking taylor expansion of (sin (+ (/ 1 eps) (/ 1 x))) in eps
0.276 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.276 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.276 * [taylor]: Taking taylor expansion of eps in eps
0.276 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.276 * [taylor]: Taking taylor expansion of x in eps
0.276 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
0.276 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.276 * [taylor]: Taking taylor expansion of x in eps
0.277 * [taylor]: Taking taylor expansion of 0 in eps
0.277 * [taylor]: Taking taylor expansion of 0 in eps
0.278 * [taylor]: Taking taylor expansion of 0 in eps
0.278 * [approximate]: Taking taylor expansion of (- (sin (neg (+ (/ 1 eps) (/ 1 x)))) (sin (/ -1 x))) in (x eps) around 0
0.278 * [taylor]: Taking taylor expansion of (- (sin (neg (+ (/ 1 eps) (/ 1 x)))) (sin (/ -1 x))) in eps
0.278 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ 1 eps) (/ 1 x)))) in eps
0.278 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in eps
0.278 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.278 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.278 * [taylor]: Taking taylor expansion of eps in eps
0.279 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.279 * [taylor]: Taking taylor expansion of x in eps
0.279 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
0.279 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.279 * [taylor]: Taking taylor expansion of -1 in eps
0.279 * [taylor]: Taking taylor expansion of x in eps
0.279 * [taylor]: Taking taylor expansion of (- (sin (neg (+ (/ 1 eps) (/ 1 x)))) (sin (/ -1 x))) in x
0.279 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ 1 eps) (/ 1 x)))) in x
0.279 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in x
0.279 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.279 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.279 * [taylor]: Taking taylor expansion of eps in x
0.279 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.279 * [taylor]: Taking taylor expansion of x in x
0.280 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.280 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.280 * [taylor]: Taking taylor expansion of -1 in x
0.280 * [taylor]: Taking taylor expansion of x in x
0.280 * [taylor]: Taking taylor expansion of (- (sin (neg (+ (/ 1 eps) (/ 1 x)))) (sin (/ -1 x))) in x
0.280 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ 1 eps) (/ 1 x)))) in x
0.280 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in x
0.280 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.280 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.280 * [taylor]: Taking taylor expansion of eps in x
0.280 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.280 * [taylor]: Taking taylor expansion of x in x
0.280 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.280 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.280 * [taylor]: Taking taylor expansion of -1 in x
0.280 * [taylor]: Taking taylor expansion of x in x
0.281 * [taylor]: Taking taylor expansion of (- (sin (neg (+ (/ 1 eps) (/ 1 x)))) (sin (/ -1 x))) in eps
0.281 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ 1 eps) (/ 1 x)))) in eps
0.281 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in eps
0.281 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.281 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.281 * [taylor]: Taking taylor expansion of eps in eps
0.281 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.281 * [taylor]: Taking taylor expansion of x in eps
0.281 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
0.281 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.281 * [taylor]: Taking taylor expansion of -1 in eps
0.281 * [taylor]: Taking taylor expansion of x in eps
0.282 * [taylor]: Taking taylor expansion of 0 in eps
0.283 * [taylor]: Taking taylor expansion of 0 in eps
0.283 * [taylor]: Taking taylor expansion of 0 in eps
0.284 * * * [progress]: simplifying candidates
0.285 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (sin x) (cos eps))
  (* (cos x) (sin eps))
  (log (sin (+ x eps)))
  (exp (sin (+ x eps)))
  (* (cbrt (sin (+ x eps))) (cbrt (sin (+ x eps))))
  (cbrt (sin (+ x eps)))
  (* (* (sin (+ x eps)) (sin (+ x eps))) (sin (+ x eps)))
  (sqrt (sin (+ x eps)))
  (sqrt (sin (+ x eps)))
  (* (sin (/ (- (+ x eps) x) 2)) (cos (/ (+ (+ x eps) x) 2)))
  (/ (exp (sin (+ x eps))) (exp (sin x)))
  (log (- (sin (+ x eps)) (sin x)))
  (exp (- (sin (+ x eps)) (sin x)))
  (* (cbrt (- (sin (+ x eps)) (sin x))) (cbrt (- (sin (+ x eps)) (sin x))))
  (cbrt (- (sin (+ x eps)) (sin x)))
  (* (* (- (sin (+ x eps)) (sin x)) (- (sin (+ x eps)) (sin x))) (- (sin (+ x eps)) (sin x)))
  (sqrt (- (sin (+ x eps)) (sin x)))
  (sqrt (- (sin (+ x eps)) (sin x)))
  (- (pow (sin (+ x eps)) 3) (pow (sin x) 3))
  (+ (* (sin (+ x eps)) (sin (+ x eps))) (+ (* (sin x) (sin x)) (* (sin (+ x eps)) (sin x))))
  (neg (sin x))
  (- (* (sin (+ x eps)) (sin (+ x eps))) (* (sin x) (sin x)))
  (+ (sin (+ x eps)) (sin x))
  (+ (sqrt (sin (+ x eps))) (sqrt (sin x)))
  (- (sqrt (sin (+ x eps))) (sqrt (sin x)))
  (- (sin (+ x eps)) (sin x))
  (- (* (cos x) (sin eps)) (sin x))
  (neg (sin x))
  (- (+ eps x) (* 1/6 (pow x 3)))
  (sin (+ x eps))
  (sin (+ x eps))
  (- eps (+ (* 1/2 (* x (pow eps 2))) (* 1/2 (* (pow x 2) eps))))
  (- (sin (+ x eps)) (sin x))
  (- (sin (+ x eps)) (sin x))
0.359 * * [simplify]: iteration  0 :  5348  enodes  (cost  271 )
0.362 * [simplify]: Simplified to:
   (* (sin x) (cos eps))
  (* (cos x) (sin eps))
  (log (sin (+ x eps)))
  (exp (sin (+ x eps)))
  (* (cbrt (sin (+ x eps))) (cbrt (sin (+ x eps))))
  (cbrt (sin (+ x eps)))
  (pow (sin (+ x eps)) 3)
  (sqrt (sin (+ x eps)))
  (sqrt (sin (+ x eps)))
  (* (sin (/ eps 2)) (cos (/ (+ x (+ x eps)) 2)))
  (exp (- (sin (+ x eps)) (sin x)))
  (log (- (sin (+ x eps)) (sin x)))
  (exp (- (sin (+ x eps)) (sin x)))
  (* (cbrt (- (sin (+ x eps)) (sin x))) (cbrt (- (sin (+ x eps)) (sin x))))
  (cbrt (- (sin (+ x eps)) (sin x)))
  (pow (- (sin (+ x eps)) (sin x)) 3)
  (sqrt (- (sin (+ x eps)) (sin x)))
  (sqrt (- (sin (+ x eps)) (sin x)))
  (- (pow (sin (+ x eps)) 3) (pow (sin x) 3))
  (+ (* (sin x) (sin x)) (* (sin (+ x eps)) (+ (sin x) (sin (+ x eps)))))
  (neg (sin x))
  (- (* (sin (+ x eps)) (sin (+ x eps))) (* (sin x) (sin x)))
  (+ (sin x) (sin (+ x eps)))
  (+ (sqrt (sin (+ x eps))) (sqrt (sin x)))
  (- (sqrt (sin (+ x eps))) (sqrt (sin x)))
  (- (sin (+ x eps)) (sin x))
  (- (* (cos x) (sin eps)) (sin x))
  (neg (sin x))
  (+ x (+ eps (* (pow x 3) -1/6)))
  (sin (+ x eps))
  (sin (+ x eps))
  (+ eps (* x (* (* eps (+ x eps)) -1/2)))
  (- (sin (+ x eps)) (sin x))
  (- (sin (+ x eps)) (sin x))
0.362 * * * [progress]: adding candidates to table
0.435 * * [progress]: iteration 2 / 4
0.435 * * * [progress]: picking best candidate
0.460 * * * * [pick]: Picked  #<alt (λ (x eps) (* 2 (* (sin (/ eps 2)) (cos (/ (+ x (+ x eps)) 2)))))>
0.460 * * * [progress]: localizing error
0.486 * * * [progress]: generating rewritten candidates
0.486 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2)
0.499 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.511 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2 1 1)
0.525 * * * [progress]: generating series expansions
0.525 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2)
0.526 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in (x eps) around 0
0.526 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in eps
0.526 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
0.526 * [taylor]: Taking taylor expansion of 1/2 in eps
0.526 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
0.526 * [taylor]: Taking taylor expansion of (* 2 x) in eps
0.526 * [taylor]: Taking taylor expansion of 2 in eps
0.526 * [taylor]: Taking taylor expansion of x in eps
0.526 * [taylor]: Taking taylor expansion of eps in eps
0.526 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
0.526 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
0.526 * [taylor]: Taking taylor expansion of 1/2 in x
0.526 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.526 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.526 * [taylor]: Taking taylor expansion of 2 in x
0.526 * [taylor]: Taking taylor expansion of x in x
0.526 * [taylor]: Taking taylor expansion of eps in x
0.526 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
0.526 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
0.526 * [taylor]: Taking taylor expansion of 1/2 in x
0.526 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.526 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.526 * [taylor]: Taking taylor expansion of 2 in x
0.526 * [taylor]: Taking taylor expansion of x in x
0.526 * [taylor]: Taking taylor expansion of eps in x
0.527 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.527 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.527 * [taylor]: Taking taylor expansion of 1/2 in eps
0.527 * [taylor]: Taking taylor expansion of eps in eps
0.527 * [taylor]: Taking taylor expansion of (neg (sin (* 1/2 eps))) in eps
0.527 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.527 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.528 * [taylor]: Taking taylor expansion of 1/2 in eps
0.528 * [taylor]: Taking taylor expansion of eps in eps
0.528 * [taylor]: Taking taylor expansion of (neg (* 1/2 (cos (* 1/2 eps)))) in eps
0.528 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* 1/2 eps))) in eps
0.529 * [taylor]: Taking taylor expansion of 1/2 in eps
0.529 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.529 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.529 * [taylor]: Taking taylor expansion of 1/2 in eps
0.529 * [taylor]: Taking taylor expansion of eps in eps
0.529 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
0.529 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.530 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.530 * [taylor]: Taking taylor expansion of 1/2 in eps
0.530 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.530 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.530 * [taylor]: Taking taylor expansion of eps in eps
0.530 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.530 * [taylor]: Taking taylor expansion of 2 in eps
0.530 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.530 * [taylor]: Taking taylor expansion of x in eps
0.530 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.530 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.530 * [taylor]: Taking taylor expansion of 1/2 in x
0.530 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.530 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.530 * [taylor]: Taking taylor expansion of eps in x
0.530 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.530 * [taylor]: Taking taylor expansion of 2 in x
0.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.530 * [taylor]: Taking taylor expansion of x in x
0.531 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.531 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.531 * [taylor]: Taking taylor expansion of 1/2 in x
0.531 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.531 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.531 * [taylor]: Taking taylor expansion of eps in x
0.531 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.531 * [taylor]: Taking taylor expansion of 2 in x
0.531 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.531 * [taylor]: Taking taylor expansion of x in x
0.531 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.531 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.531 * [taylor]: Taking taylor expansion of 1/2 in eps
0.531 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.531 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.531 * [taylor]: Taking taylor expansion of eps in eps
0.531 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.531 * [taylor]: Taking taylor expansion of 2 in eps
0.532 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.532 * [taylor]: Taking taylor expansion of x in eps
0.532 * [taylor]: Taking taylor expansion of 0 in eps
0.532 * [taylor]: Taking taylor expansion of 0 in eps
0.532 * [taylor]: Taking taylor expansion of 0 in eps
0.533 * [approximate]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
0.533 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.533 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.533 * [taylor]: Taking taylor expansion of -1/2 in eps
0.533 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.533 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.533 * [taylor]: Taking taylor expansion of eps in eps
0.533 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.533 * [taylor]: Taking taylor expansion of 2 in eps
0.533 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.533 * [taylor]: Taking taylor expansion of x in eps
0.533 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.533 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.533 * [taylor]: Taking taylor expansion of -1/2 in x
0.533 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.533 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.533 * [taylor]: Taking taylor expansion of eps in x
0.533 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.533 * [taylor]: Taking taylor expansion of 2 in x
0.533 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.533 * [taylor]: Taking taylor expansion of x in x
0.534 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.534 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.534 * [taylor]: Taking taylor expansion of -1/2 in x
0.534 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.534 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.534 * [taylor]: Taking taylor expansion of eps in x
0.534 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.534 * [taylor]: Taking taylor expansion of 2 in x
0.534 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.534 * [taylor]: Taking taylor expansion of x in x
0.534 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.534 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.534 * [taylor]: Taking taylor expansion of -1/2 in eps
0.534 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.534 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.534 * [taylor]: Taking taylor expansion of eps in eps
0.535 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.535 * [taylor]: Taking taylor expansion of 2 in eps
0.535 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.535 * [taylor]: Taking taylor expansion of x in eps
0.535 * [taylor]: Taking taylor expansion of 0 in eps
0.535 * [taylor]: Taking taylor expansion of 0 in eps
0.535 * [taylor]: Taking taylor expansion of 0 in eps
0.535 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.536 * [approximate]: Taking taylor expansion of (* (sin (* 1/2 eps)) (cos (* 1/2 (+ (* 2 x) eps)))) in (eps x) around 0
0.536 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (cos (* 1/2 (+ (* 2 x) eps)))) in x
0.536 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x
0.536 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
0.536 * [taylor]: Taking taylor expansion of 1/2 in x
0.536 * [taylor]: Taking taylor expansion of eps in x
0.536 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
0.536 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
0.536 * [taylor]: Taking taylor expansion of 1/2 in x
0.536 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.536 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.536 * [taylor]: Taking taylor expansion of 2 in x
0.536 * [taylor]: Taking taylor expansion of x in x
0.536 * [taylor]: Taking taylor expansion of eps in x
0.536 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (cos (* 1/2 (+ (* 2 x) eps)))) in eps
0.536 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.536 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.536 * [taylor]: Taking taylor expansion of 1/2 in eps
0.537 * [taylor]: Taking taylor expansion of eps in eps
0.537 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in eps
0.537 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
0.537 * [taylor]: Taking taylor expansion of 1/2 in eps
0.537 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
0.537 * [taylor]: Taking taylor expansion of (* 2 x) in eps
0.537 * [taylor]: Taking taylor expansion of 2 in eps
0.537 * [taylor]: Taking taylor expansion of x in eps
0.537 * [taylor]: Taking taylor expansion of eps in eps
0.537 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (cos (* 1/2 (+ (* 2 x) eps)))) in eps
0.537 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.537 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.537 * [taylor]: Taking taylor expansion of 1/2 in eps
0.537 * [taylor]: Taking taylor expansion of eps in eps
0.537 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in eps
0.537 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
0.537 * [taylor]: Taking taylor expansion of 1/2 in eps
0.537 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
0.537 * [taylor]: Taking taylor expansion of (* 2 x) in eps
0.537 * [taylor]: Taking taylor expansion of 2 in eps
0.537 * [taylor]: Taking taylor expansion of x in eps
0.537 * [taylor]: Taking taylor expansion of eps in eps
0.538 * [taylor]: Taking taylor expansion of 0 in x
0.539 * [taylor]: Taking taylor expansion of (* 1/2 (cos x)) in x
0.539 * [taylor]: Taking taylor expansion of 1/2 in x
0.539 * [taylor]: Taking taylor expansion of (cos x) in x
0.539 * [taylor]: Taking taylor expansion of x in x
0.540 * [taylor]: Taking taylor expansion of (neg (* 1/4 (sin x))) in x
0.540 * [taylor]: Taking taylor expansion of (* 1/4 (sin x)) in x
0.540 * [taylor]: Taking taylor expansion of 1/4 in x
0.540 * [taylor]: Taking taylor expansion of (sin x) in x
0.540 * [taylor]: Taking taylor expansion of x in x
0.542 * [taylor]: Taking taylor expansion of (neg (* 1/12 (cos x))) in x
0.542 * [taylor]: Taking taylor expansion of (* 1/12 (cos x)) in x
0.542 * [taylor]: Taking taylor expansion of 1/12 in x
0.542 * [taylor]: Taking taylor expansion of (cos x) in x
0.542 * [taylor]: Taking taylor expansion of x in x
0.543 * [approximate]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in (eps x) around 0
0.543 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
0.543 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x
0.543 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x
0.543 * [taylor]: Taking taylor expansion of 1/2 in x
0.543 * [taylor]: Taking taylor expansion of eps in x
0.543 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.543 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.543 * [taylor]: Taking taylor expansion of 1/2 in x
0.543 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.543 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.543 * [taylor]: Taking taylor expansion of eps in x
0.544 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.544 * [taylor]: Taking taylor expansion of 2 in x
0.544 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.544 * [taylor]: Taking taylor expansion of x in x
0.544 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
0.544 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
0.544 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
0.544 * [taylor]: Taking taylor expansion of 1/2 in eps
0.544 * [taylor]: Taking taylor expansion of eps in eps
0.544 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.544 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.544 * [taylor]: Taking taylor expansion of 1/2 in eps
0.544 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.544 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.544 * [taylor]: Taking taylor expansion of eps in eps
0.544 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.544 * [taylor]: Taking taylor expansion of 2 in eps
0.544 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.544 * [taylor]: Taking taylor expansion of x in eps
0.545 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
0.545 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
0.545 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
0.545 * [taylor]: Taking taylor expansion of 1/2 in eps
0.545 * [taylor]: Taking taylor expansion of eps in eps
0.545 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.545 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.545 * [taylor]: Taking taylor expansion of 1/2 in eps
0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.545 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.545 * [taylor]: Taking taylor expansion of eps in eps
0.545 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.545 * [taylor]: Taking taylor expansion of 2 in eps
0.545 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.545 * [taylor]: Taking taylor expansion of x in eps
0.546 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
0.546 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x
0.546 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x
0.546 * [taylor]: Taking taylor expansion of 1/2 in x
0.546 * [taylor]: Taking taylor expansion of eps in x
0.546 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.546 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.546 * [taylor]: Taking taylor expansion of 1/2 in x
0.546 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.546 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.546 * [taylor]: Taking taylor expansion of eps in x
0.546 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.546 * [taylor]: Taking taylor expansion of 2 in x
0.546 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.546 * [taylor]: Taking taylor expansion of x in x
0.547 * [taylor]: Taking taylor expansion of 0 in x
0.548 * [taylor]: Taking taylor expansion of 0 in x
0.549 * [taylor]: Taking taylor expansion of 0 in x
0.550 * [approximate]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in (eps x) around 0
0.550 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
0.550 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x
0.550 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x
0.550 * [taylor]: Taking taylor expansion of -1/2 in x
0.550 * [taylor]: Taking taylor expansion of eps in x
0.550 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.550 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.550 * [taylor]: Taking taylor expansion of -1/2 in x
0.550 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.550 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.550 * [taylor]: Taking taylor expansion of eps in x
0.551 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.551 * [taylor]: Taking taylor expansion of 2 in x
0.551 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.551 * [taylor]: Taking taylor expansion of x in x
0.551 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
0.551 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
0.551 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
0.551 * [taylor]: Taking taylor expansion of -1/2 in eps
0.551 * [taylor]: Taking taylor expansion of eps in eps
0.551 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.551 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.551 * [taylor]: Taking taylor expansion of -1/2 in eps
0.551 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.551 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.551 * [taylor]: Taking taylor expansion of eps in eps
0.551 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.551 * [taylor]: Taking taylor expansion of 2 in eps
0.551 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.551 * [taylor]: Taking taylor expansion of x in eps
0.552 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
0.552 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
0.552 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
0.552 * [taylor]: Taking taylor expansion of -1/2 in eps
0.552 * [taylor]: Taking taylor expansion of eps in eps
0.552 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.552 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.552 * [taylor]: Taking taylor expansion of -1/2 in eps
0.552 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.552 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.552 * [taylor]: Taking taylor expansion of eps in eps
0.552 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.552 * [taylor]: Taking taylor expansion of 2 in eps
0.552 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.552 * [taylor]: Taking taylor expansion of x in eps
0.553 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
0.553 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x
0.553 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x
0.553 * [taylor]: Taking taylor expansion of -1/2 in x
0.553 * [taylor]: Taking taylor expansion of eps in x
0.553 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.553 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.553 * [taylor]: Taking taylor expansion of -1/2 in x
0.553 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.553 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.553 * [taylor]: Taking taylor expansion of eps in x
0.553 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.553 * [taylor]: Taking taylor expansion of 2 in x
0.553 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.553 * [taylor]: Taking taylor expansion of x in x
0.554 * [taylor]: Taking taylor expansion of 0 in x
0.555 * [taylor]: Taking taylor expansion of 0 in x
0.556 * [taylor]: Taking taylor expansion of 0 in x
0.557 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2 1 1)
0.557 * [approximate]: Taking taylor expansion of (+ (* 2 x) eps) in (x eps) around 0
0.557 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
0.557 * [taylor]: Taking taylor expansion of (* 2 x) in eps
0.557 * [taylor]: Taking taylor expansion of 2 in eps
0.557 * [taylor]: Taking taylor expansion of x in eps
0.557 * [taylor]: Taking taylor expansion of eps in eps
0.557 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.557 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.557 * [taylor]: Taking taylor expansion of 2 in x
0.557 * [taylor]: Taking taylor expansion of x in x
0.557 * [taylor]: Taking taylor expansion of eps in x
0.557 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.557 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.557 * [taylor]: Taking taylor expansion of 2 in x
0.557 * [taylor]: Taking taylor expansion of x in x
0.557 * [taylor]: Taking taylor expansion of eps in x
0.557 * [taylor]: Taking taylor expansion of eps in eps
0.558 * [taylor]: Taking taylor expansion of 2 in eps
0.558 * [taylor]: Taking taylor expansion of 0 in eps
0.558 * [taylor]: Taking taylor expansion of 0 in eps
0.558 * [approximate]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in (x eps) around 0
0.558 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.558 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.558 * [taylor]: Taking taylor expansion of eps in eps
0.558 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.558 * [taylor]: Taking taylor expansion of 2 in eps
0.558 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.558 * [taylor]: Taking taylor expansion of x in eps
0.559 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.559 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.559 * [taylor]: Taking taylor expansion of eps in x
0.559 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.559 * [taylor]: Taking taylor expansion of 2 in x
0.559 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.559 * [taylor]: Taking taylor expansion of x in x
0.559 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.559 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.559 * [taylor]: Taking taylor expansion of eps in x
0.559 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.559 * [taylor]: Taking taylor expansion of 2 in x
0.559 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.559 * [taylor]: Taking taylor expansion of x in x
0.559 * [taylor]: Taking taylor expansion of 2 in eps
0.559 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.559 * [taylor]: Taking taylor expansion of eps in eps
0.560 * [taylor]: Taking taylor expansion of 0 in eps
0.560 * [taylor]: Taking taylor expansion of 0 in eps
0.561 * [taylor]: Taking taylor expansion of 0 in eps
0.561 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 eps) (* 2 (/ 1 x)))) in (x eps) around 0
0.561 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.561 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.561 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.561 * [taylor]: Taking taylor expansion of eps in eps
0.561 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.561 * [taylor]: Taking taylor expansion of 2 in eps
0.561 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.561 * [taylor]: Taking taylor expansion of x in eps
0.561 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.561 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.562 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.562 * [taylor]: Taking taylor expansion of eps in x
0.562 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.562 * [taylor]: Taking taylor expansion of 2 in x
0.562 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.562 * [taylor]: Taking taylor expansion of x in x
0.562 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.562 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.562 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.562 * [taylor]: Taking taylor expansion of eps in x
0.562 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.562 * [taylor]: Taking taylor expansion of 2 in x
0.562 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.562 * [taylor]: Taking taylor expansion of x in x
0.562 * [taylor]: Taking taylor expansion of (neg 2) in eps
0.562 * [taylor]: Taking taylor expansion of 2 in eps
0.562 * [taylor]: Taking taylor expansion of (neg (/ 1 eps)) in eps
0.562 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.562 * [taylor]: Taking taylor expansion of eps in eps
0.563 * [taylor]: Taking taylor expansion of 0 in eps
0.563 * [taylor]: Taking taylor expansion of 0 in eps
0.564 * [taylor]: Taking taylor expansion of 0 in eps
0.564 * * * [progress]: simplifying candidates
0.565 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cos (/ (+ x (+ x eps)) 2)))
  (exp (cos (/ (+ x (+ x eps)) 2)))
  (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (cbrt (cos (/ (+ x (+ x eps)) 2))))
  (cbrt (cos (/ (+ x (+ x eps)) 2)))
  (* (* (cos (/ (+ x (+ x eps)) 2)) (cos (/ (+ x (+ x eps)) 2))) (cos (/ (+ x (+ x eps)) 2)))
  (sqrt (cos (/ (+ x (+ x eps)) 2)))
  (sqrt (cos (/ (+ x (+ x eps)) 2)))
  (+ (sin (- (/ eps 2) (/ (+ x (+ x eps)) 2))) (sin (+ (/ eps 2) (/ (+ x (+ x eps)) 2))))
  (* (sin (/ eps 2)) (cos (/ (+ x (+ x eps)) 2)))
  (+ (log (sin (/ eps 2))) (log (cos (/ (+ x (+ x eps)) 2))))
  (log (* (sin (/ eps 2)) (cos (/ (+ x (+ x eps)) 2))))
  (exp (* (sin (/ eps 2)) (cos (/ (+ x (+ x eps)) 2))))
  (* (* (* (sin (/ eps 2)) (sin (/ eps 2))) (sin (/ eps 2))) (* (* (cos (/ (+ x (+ x eps)) 2)) (cos (/ (+ x (+ x eps)) 2))) (cos (/ (+ x (+ x eps)) 2))))
  (* (cbrt (* (sin (/ eps 2)) (cos (/ (+ x (+ x eps)) 2)))) (cbrt (* (sin (/ eps 2)) (cos (/ (+ x (+ x eps)) 2)))))
  (cbrt (* (sin (/ eps 2)) (cos (/ (+ x (+ x eps)) 2))))
  (* (* (* (sin (/ eps 2)) (cos (/ (+ x (+ x eps)) 2))) (* (sin (/ eps 2)) (cos (/ (+ x (+ x eps)) 2)))) (* (sin (/ eps 2)) (cos (/ (+ x (+ x eps)) 2))))
  (sqrt (* (sin (/ eps 2)) (cos (/ (+ x (+ x eps)) 2))))
  (sqrt (* (sin (/ eps 2)) (cos (/ (+ x (+ x eps)) 2))))
  (* (sqrt (sin (/ eps 2))) (sqrt (cos (/ (+ x (+ x eps)) 2))))
  (* (sqrt (sin (/ eps 2))) (sqrt (cos (/ (+ x (+ x eps)) 2))))
  (* (sin (/ eps 2)) (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (cbrt (cos (/ (+ x (+ x eps)) 2)))))
  (* (sin (/ eps 2)) (sqrt (cos (/ (+ x (+ x eps)) 2))))
  (* (sin (/ eps 2)) 1)
  (* (cbrt (sin (/ eps 2))) (cos (/ (+ x (+ x eps)) 2)))
  (* (sqrt (sin (/ eps 2))) (cos (/ (+ x (+ x eps)) 2)))
  (* (sin (/ eps 2)) (cos (/ (+ x (+ x eps)) 2)))
  (* (exp x) (* (exp x) (exp eps)))
  (* (exp x) (exp (+ x eps)))
  (log (+ x (+ x eps)))
  (exp (+ x (+ x eps)))
  (* (cbrt (+ x (+ x eps))) (cbrt (+ x (+ x eps))))
  (cbrt (+ x (+ x eps)))
  (* (* (+ x (+ x eps)) (+ x (+ x eps))) (+ x (+ x eps)))
  (sqrt (+ x (+ x eps)))
  (sqrt (+ x (+ x eps)))
  (+ (pow x 3) (pow (+ x eps) 3))
  (+ (* x x) (- (* (+ x eps) (+ x eps)) (* x (+ x eps))))
  (- (* x x) (* (+ x eps) (+ x eps)))
  (- x (+ x eps))
  (+ x (+ x eps))
  (+ x (+ x eps))
  (+ x x)
  (- 1 (+ (* 1/2 (* x eps)) (* 1/2 (pow x 2))))
  (cos (* 1/2 (+ (* 2 x) eps)))
  (cos (* 1/2 (+ (* 2 x) eps)))
  (- (* 1/2 eps) (+ (* 1/4 (* x (pow eps 2))) (* 1/12 (pow eps 3))))
  (* (sin (* 1/2 eps)) (cos (* 1/2 (+ (* 2 x) eps))))
  (* (sin (* 1/2 eps)) (cos (* 1/2 (+ (* 2 x) eps))))
  (+ (* 2 x) eps)
  (+ (* 2 x) eps)
  (+ (* 2 x) eps)
0.659 * * [simplify]: iteration  0 :  5169  enodes  (cost  541 )
0.663 * [simplify]: Simplified to:
   (log (cos (/ (+ x (+ x eps)) 2)))
  (exp (cos (/ (+ x (+ x eps)) 2)))
  (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (cbrt (cos (/ (+ x (+ x eps)) 2))))
  (cbrt (cos (/ (+ x (+ x eps)) 2)))
  (pow (cos (/ (+ x (+ x eps)) 2)) 3)
  (sqrt (cos (/ (+ x (+ x eps)) 2)))
  (sqrt (cos (/ (+ x (+ x eps)) 2)))
  (+ (sin (+ (/ eps 2) (/ (- (* x -2) eps) 2))) (sin (+ (/ (+ x (+ x eps)) 2) (/ eps 2))))
  (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2)))
  (log (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2))))
  (log (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2))))
  (pow (exp (cos (/ (+ x (+ x eps)) 2))) (sin (/ eps 2)))
  (pow (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2))) 3)
  (* (cbrt (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2)))) (cbrt (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2)))))
  (cbrt (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2))))
  (pow (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2))) 3)
  (sqrt (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2))))
  (sqrt (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2))))
  (* (sqrt (cos (/ (+ x (+ x eps)) 2))) (sqrt (sin (/ eps 2))))
  (* (sqrt (cos (/ (+ x (+ x eps)) 2))) (sqrt (sin (/ eps 2))))
  (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (sin (/ eps 2))))
  (* (sqrt (cos (/ (+ x (+ x eps)) 2))) (sin (/ eps 2)))
  (sin (/ eps 2))
  (* (cos (/ (+ x (+ x eps)) 2)) (cbrt (sin (/ eps 2))))
  (* (cos (/ (+ x (+ x eps)) 2)) (sqrt (sin (/ eps 2))))
  (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2)))
  (exp (+ x (+ x eps)))
  (exp (+ x (+ x eps)))
  (log (+ x (+ x eps)))
  (exp (+ x (+ x eps)))
  (* (cbrt (+ x (+ x eps))) (cbrt (+ x (+ x eps))))
  (cbrt (+ x (+ x eps)))
  (pow (+ x (+ x eps)) 3)
  (sqrt (+ x (+ x eps)))
  (sqrt (+ x (+ x eps)))
  (+ (pow x 3) (pow (+ x eps) 3))
  (+ (* x x) (* eps (+ x eps)))
  (* eps (- (* x -2) eps))
  (neg eps)
  (+ x (+ x eps))
  (+ x (+ x eps))
  (+ x x)
  (+ 1 (* x (* (+ x eps) -1/2)))
  (cos (+ x (* eps 1/2)))
  (cos (+ x (* eps 1/2)))
  (* eps (- 1/2 (* eps (+ (* x 1/4) (* eps 1/12)))))
  (* (cos (+ x (* eps 1/2))) (sin (* eps 1/2)))
  (* (cos (+ x (* eps 1/2))) (sin (* eps 1/2)))
  (+ x (+ x eps))
  (+ x (+ x eps))
  (+ x (+ x eps))
0.664 * * * [progress]: adding candidates to table
0.825 * * [progress]: iteration 3 / 4
0.825 * * * [progress]: picking best candidate
0.893 * * * * [pick]: Picked  #<alt (λ (x eps) (* 2 (* (sin (/ eps 2)) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)))))>
0.893 * * * [progress]: localizing error
0.923 * * * [progress]: generating rewritten candidates
0.923 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1)
0.937 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
0.944 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
0.948 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.968 * * * [progress]: generating series expansions
0.968 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1)
0.968 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in (x eps) around 0
0.968 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in eps
0.968 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
0.968 * [taylor]: Taking taylor expansion of 1/2 in eps
0.968 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
0.968 * [taylor]: Taking taylor expansion of (* 2 x) in eps
0.968 * [taylor]: Taking taylor expansion of 2 in eps
0.968 * [taylor]: Taking taylor expansion of x in eps
0.968 * [taylor]: Taking taylor expansion of eps in eps
0.969 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
0.969 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
0.969 * [taylor]: Taking taylor expansion of 1/2 in x
0.969 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.969 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.969 * [taylor]: Taking taylor expansion of 2 in x
0.969 * [taylor]: Taking taylor expansion of x in x
0.969 * [taylor]: Taking taylor expansion of eps in x
0.969 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
0.969 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
0.969 * [taylor]: Taking taylor expansion of 1/2 in x
0.969 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.969 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.969 * [taylor]: Taking taylor expansion of 2 in x
0.969 * [taylor]: Taking taylor expansion of x in x
0.969 * [taylor]: Taking taylor expansion of eps in x
0.969 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.970 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.970 * [taylor]: Taking taylor expansion of 1/2 in eps
0.970 * [taylor]: Taking taylor expansion of eps in eps
0.970 * [taylor]: Taking taylor expansion of (neg (sin (* 1/2 eps))) in eps
0.970 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.970 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.970 * [taylor]: Taking taylor expansion of 1/2 in eps
0.970 * [taylor]: Taking taylor expansion of eps in eps
0.971 * [taylor]: Taking taylor expansion of (neg (* 1/2 (cos (* 1/2 eps)))) in eps
0.971 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* 1/2 eps))) in eps
0.971 * [taylor]: Taking taylor expansion of 1/2 in eps
0.971 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.971 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.971 * [taylor]: Taking taylor expansion of 1/2 in eps
0.971 * [taylor]: Taking taylor expansion of eps in eps
0.972 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
0.972 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.972 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.972 * [taylor]: Taking taylor expansion of 1/2 in eps
0.972 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.972 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.972 * [taylor]: Taking taylor expansion of eps in eps
0.972 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.972 * [taylor]: Taking taylor expansion of 2 in eps
0.972 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.972 * [taylor]: Taking taylor expansion of x in eps
0.973 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.973 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.973 * [taylor]: Taking taylor expansion of 1/2 in x
0.973 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.973 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.973 * [taylor]: Taking taylor expansion of eps in x
0.973 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.973 * [taylor]: Taking taylor expansion of 2 in x
0.973 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.973 * [taylor]: Taking taylor expansion of x in x
0.973 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.973 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.973 * [taylor]: Taking taylor expansion of 1/2 in x
0.973 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.973 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.973 * [taylor]: Taking taylor expansion of eps in x
0.973 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.973 * [taylor]: Taking taylor expansion of 2 in x
0.973 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.973 * [taylor]: Taking taylor expansion of x in x
0.974 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.974 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.974 * [taylor]: Taking taylor expansion of 1/2 in eps
0.974 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.974 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.974 * [taylor]: Taking taylor expansion of eps in eps
0.974 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.974 * [taylor]: Taking taylor expansion of 2 in eps
0.974 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.974 * [taylor]: Taking taylor expansion of x in eps
0.974 * [taylor]: Taking taylor expansion of 0 in eps
0.974 * [taylor]: Taking taylor expansion of 0 in eps
0.974 * [taylor]: Taking taylor expansion of 0 in eps
0.975 * [approximate]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
0.975 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.975 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.975 * [taylor]: Taking taylor expansion of -1/2 in eps
0.975 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.975 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.975 * [taylor]: Taking taylor expansion of eps in eps
0.975 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.975 * [taylor]: Taking taylor expansion of 2 in eps
0.975 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.975 * [taylor]: Taking taylor expansion of x in eps
0.975 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.975 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.976 * [taylor]: Taking taylor expansion of -1/2 in x
0.976 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.976 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.976 * [taylor]: Taking taylor expansion of eps in x
0.976 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.976 * [taylor]: Taking taylor expansion of 2 in x
0.976 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.976 * [taylor]: Taking taylor expansion of x in x
0.976 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.976 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.976 * [taylor]: Taking taylor expansion of -1/2 in x
0.976 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.976 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.976 * [taylor]: Taking taylor expansion of eps in x
0.976 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.976 * [taylor]: Taking taylor expansion of 2 in x
0.976 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.976 * [taylor]: Taking taylor expansion of x in x
0.977 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.977 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.977 * [taylor]: Taking taylor expansion of -1/2 in eps
0.977 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.977 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.977 * [taylor]: Taking taylor expansion of eps in eps
0.977 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.977 * [taylor]: Taking taylor expansion of 2 in eps
0.977 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.977 * [taylor]: Taking taylor expansion of x in eps
0.977 * [taylor]: Taking taylor expansion of 0 in eps
0.977 * [taylor]: Taking taylor expansion of 0 in eps
0.977 * [taylor]: Taking taylor expansion of 0 in eps
0.978 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
0.978 * [approximate]: Taking taylor expansion of (pow (cos (* 1/2 (+ (* 2 x) eps))) 3) in (x eps) around 0
0.978 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (* 2 x) eps))) 3) in eps
0.978 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in eps
0.978 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
0.978 * [taylor]: Taking taylor expansion of 1/2 in eps
0.978 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
0.978 * [taylor]: Taking taylor expansion of (* 2 x) in eps
0.978 * [taylor]: Taking taylor expansion of 2 in eps
0.978 * [taylor]: Taking taylor expansion of x in eps
0.978 * [taylor]: Taking taylor expansion of eps in eps
0.978 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (* 2 x) eps))) 3) in x
0.978 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
0.978 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
0.978 * [taylor]: Taking taylor expansion of 1/2 in x
0.978 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.979 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.979 * [taylor]: Taking taylor expansion of 2 in x
0.979 * [taylor]: Taking taylor expansion of x in x
0.979 * [taylor]: Taking taylor expansion of eps in x
0.979 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (* 2 x) eps))) 3) in x
0.979 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
0.979 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
0.979 * [taylor]: Taking taylor expansion of 1/2 in x
0.979 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.979 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.979 * [taylor]: Taking taylor expansion of 2 in x
0.979 * [taylor]: Taking taylor expansion of x in x
0.979 * [taylor]: Taking taylor expansion of eps in x
0.980 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 eps)) 3) in eps
0.980 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.980 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.980 * [taylor]: Taking taylor expansion of 1/2 in eps
0.980 * [taylor]: Taking taylor expansion of eps in eps
0.981 * [taylor]: Taking taylor expansion of (neg (* 3 (* (pow (cos (* 1/2 eps)) 2) (sin (* 1/2 eps))))) in eps
0.981 * [taylor]: Taking taylor expansion of (* 3 (* (pow (cos (* 1/2 eps)) 2) (sin (* 1/2 eps)))) in eps
0.981 * [taylor]: Taking taylor expansion of 3 in eps
0.981 * [taylor]: Taking taylor expansion of (* (pow (cos (* 1/2 eps)) 2) (sin (* 1/2 eps))) in eps
0.981 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 eps)) 2) in eps
0.981 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.981 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.981 * [taylor]: Taking taylor expansion of 1/2 in eps
0.981 * [taylor]: Taking taylor expansion of eps in eps
0.982 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.982 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.982 * [taylor]: Taking taylor expansion of 1/2 in eps
0.982 * [taylor]: Taking taylor expansion of eps in eps
0.984 * [taylor]: Taking taylor expansion of (- (+ (* (pow (sin (* 1/2 eps)) 2) (cos (* 1/2 eps))) (* 2 (* (cos (* 1/2 eps)) (pow (sin (* 1/2 eps)) 2)))) (* 3/2 (pow (cos (* 1/2 eps)) 3))) in eps
0.984 * [taylor]: Taking taylor expansion of (+ (* (pow (sin (* 1/2 eps)) 2) (cos (* 1/2 eps))) (* 2 (* (cos (* 1/2 eps)) (pow (sin (* 1/2 eps)) 2)))) in eps
0.984 * [taylor]: Taking taylor expansion of (* (pow (sin (* 1/2 eps)) 2) (cos (* 1/2 eps))) in eps
0.984 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps
0.984 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.984 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.984 * [taylor]: Taking taylor expansion of 1/2 in eps
0.984 * [taylor]: Taking taylor expansion of eps in eps
0.984 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.984 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.984 * [taylor]: Taking taylor expansion of 1/2 in eps
0.984 * [taylor]: Taking taylor expansion of eps in eps
0.984 * [taylor]: Taking taylor expansion of (* 2 (* (cos (* 1/2 eps)) (pow (sin (* 1/2 eps)) 2))) in eps
0.985 * [taylor]: Taking taylor expansion of 2 in eps
0.985 * [taylor]: Taking taylor expansion of (* (cos (* 1/2 eps)) (pow (sin (* 1/2 eps)) 2)) in eps
0.985 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.985 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.985 * [taylor]: Taking taylor expansion of 1/2 in eps
0.985 * [taylor]: Taking taylor expansion of eps in eps
0.985 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps
0.985 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.985 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.985 * [taylor]: Taking taylor expansion of 1/2 in eps
0.985 * [taylor]: Taking taylor expansion of eps in eps
0.985 * [taylor]: Taking taylor expansion of (* 3/2 (pow (cos (* 1/2 eps)) 3)) in eps
0.985 * [taylor]: Taking taylor expansion of 3/2 in eps
0.985 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 eps)) 3) in eps
0.985 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.985 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.985 * [taylor]: Taking taylor expansion of 1/2 in eps
0.985 * [taylor]: Taking taylor expansion of eps in eps
0.986 * [approximate]: Taking taylor expansion of (pow (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 3) in (x eps) around 0
0.986 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 3) in eps
0.986 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.986 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.986 * [taylor]: Taking taylor expansion of 1/2 in eps
0.986 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.986 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.986 * [taylor]: Taking taylor expansion of eps in eps
0.986 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.986 * [taylor]: Taking taylor expansion of 2 in eps
0.987 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.987 * [taylor]: Taking taylor expansion of x in eps
0.987 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 3) in x
0.987 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.987 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.987 * [taylor]: Taking taylor expansion of 1/2 in x
0.987 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.987 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.987 * [taylor]: Taking taylor expansion of eps in x
0.987 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.987 * [taylor]: Taking taylor expansion of 2 in x
0.987 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.987 * [taylor]: Taking taylor expansion of x in x
0.987 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 3) in x
0.987 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.987 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.987 * [taylor]: Taking taylor expansion of 1/2 in x
0.987 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.987 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.987 * [taylor]: Taking taylor expansion of eps in x
0.988 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.988 * [taylor]: Taking taylor expansion of 2 in x
0.988 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.988 * [taylor]: Taking taylor expansion of x in x
0.988 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 3) in eps
0.988 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.989 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.989 * [taylor]: Taking taylor expansion of 1/2 in eps
0.989 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.989 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.989 * [taylor]: Taking taylor expansion of eps in eps
0.989 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.989 * [taylor]: Taking taylor expansion of 2 in eps
0.989 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.989 * [taylor]: Taking taylor expansion of x in eps
0.991 * [taylor]: Taking taylor expansion of 0 in eps
0.992 * [taylor]: Taking taylor expansion of 0 in eps
0.993 * [taylor]: Taking taylor expansion of 0 in eps
0.994 * [approximate]: Taking taylor expansion of (pow (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 3) in (x eps) around 0
0.994 * [taylor]: Taking taylor expansion of (pow (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 3) in eps
0.994 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.994 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.994 * [taylor]: Taking taylor expansion of -1/2 in eps
0.994 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.994 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.994 * [taylor]: Taking taylor expansion of eps in eps
0.994 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.994 * [taylor]: Taking taylor expansion of 2 in eps
0.994 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.994 * [taylor]: Taking taylor expansion of x in eps
0.994 * [taylor]: Taking taylor expansion of (pow (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 3) in x
0.994 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.994 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.994 * [taylor]: Taking taylor expansion of -1/2 in x
0.995 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.995 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.995 * [taylor]: Taking taylor expansion of eps in x
0.995 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.995 * [taylor]: Taking taylor expansion of 2 in x
0.995 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.995 * [taylor]: Taking taylor expansion of x in x
0.995 * [taylor]: Taking taylor expansion of (pow (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 3) in x
0.995 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.995 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.995 * [taylor]: Taking taylor expansion of -1/2 in x
0.995 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.995 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.995 * [taylor]: Taking taylor expansion of eps in x
0.995 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.995 * [taylor]: Taking taylor expansion of 2 in x
0.995 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.995 * [taylor]: Taking taylor expansion of x in x
0.996 * [taylor]: Taking taylor expansion of (pow (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 3) in eps
0.996 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.996 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.996 * [taylor]: Taking taylor expansion of -1/2 in eps
0.996 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.996 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.996 * [taylor]: Taking taylor expansion of eps in eps
0.996 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.996 * [taylor]: Taking taylor expansion of 2 in eps
0.996 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.996 * [taylor]: Taking taylor expansion of x in eps
0.998 * [taylor]: Taking taylor expansion of 0 in eps
0.999 * [taylor]: Taking taylor expansion of 0 in eps
1.001 * [taylor]: Taking taylor expansion of 0 in eps
1.001 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
1.001 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in (x eps) around 0
1.001 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in eps
1.001 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
1.001 * [taylor]: Taking taylor expansion of 1/2 in eps
1.001 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
1.001 * [taylor]: Taking taylor expansion of (* 2 x) in eps
1.001 * [taylor]: Taking taylor expansion of 2 in eps
1.001 * [taylor]: Taking taylor expansion of x in eps
1.001 * [taylor]: Taking taylor expansion of eps in eps
1.002 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
1.002 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
1.002 * [taylor]: Taking taylor expansion of 1/2 in x
1.002 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
1.002 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.002 * [taylor]: Taking taylor expansion of 2 in x
1.002 * [taylor]: Taking taylor expansion of x in x
1.002 * [taylor]: Taking taylor expansion of eps in x
1.002 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
1.002 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
1.002 * [taylor]: Taking taylor expansion of 1/2 in x
1.002 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
1.002 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.002 * [taylor]: Taking taylor expansion of 2 in x
1.002 * [taylor]: Taking taylor expansion of x in x
1.002 * [taylor]: Taking taylor expansion of eps in x
1.002 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
1.002 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.003 * [taylor]: Taking taylor expansion of 1/2 in eps
1.003 * [taylor]: Taking taylor expansion of eps in eps
1.003 * [taylor]: Taking taylor expansion of (neg (sin (* 1/2 eps))) in eps
1.003 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.003 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.003 * [taylor]: Taking taylor expansion of 1/2 in eps
1.003 * [taylor]: Taking taylor expansion of eps in eps
1.004 * [taylor]: Taking taylor expansion of (neg (* 1/2 (cos (* 1/2 eps)))) in eps
1.004 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* 1/2 eps))) in eps
1.004 * [taylor]: Taking taylor expansion of 1/2 in eps
1.004 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
1.004 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.004 * [taylor]: Taking taylor expansion of 1/2 in eps
1.004 * [taylor]: Taking taylor expansion of eps in eps
1.005 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
1.005 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.005 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.005 * [taylor]: Taking taylor expansion of 1/2 in eps
1.005 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.005 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.005 * [taylor]: Taking taylor expansion of eps in eps
1.005 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.005 * [taylor]: Taking taylor expansion of 2 in eps
1.005 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.005 * [taylor]: Taking taylor expansion of x in eps
1.006 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.006 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.006 * [taylor]: Taking taylor expansion of 1/2 in x
1.006 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.006 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.006 * [taylor]: Taking taylor expansion of eps in x
1.006 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.006 * [taylor]: Taking taylor expansion of 2 in x
1.006 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.006 * [taylor]: Taking taylor expansion of x in x
1.006 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.006 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.006 * [taylor]: Taking taylor expansion of 1/2 in x
1.006 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.006 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.006 * [taylor]: Taking taylor expansion of eps in x
1.006 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.006 * [taylor]: Taking taylor expansion of 2 in x
1.006 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.006 * [taylor]: Taking taylor expansion of x in x
1.007 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.007 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.007 * [taylor]: Taking taylor expansion of 1/2 in eps
1.007 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.007 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.007 * [taylor]: Taking taylor expansion of eps in eps
1.007 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.007 * [taylor]: Taking taylor expansion of 2 in eps
1.007 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.007 * [taylor]: Taking taylor expansion of x in eps
1.007 * [taylor]: Taking taylor expansion of 0 in eps
1.007 * [taylor]: Taking taylor expansion of 0 in eps
1.007 * [taylor]: Taking taylor expansion of 0 in eps
1.008 * [approximate]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
1.008 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.008 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.008 * [taylor]: Taking taylor expansion of -1/2 in eps
1.008 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.008 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.008 * [taylor]: Taking taylor expansion of eps in eps
1.008 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.008 * [taylor]: Taking taylor expansion of 2 in eps
1.008 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.008 * [taylor]: Taking taylor expansion of x in eps
1.008 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.008 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.008 * [taylor]: Taking taylor expansion of -1/2 in x
1.009 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.009 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.009 * [taylor]: Taking taylor expansion of eps in x
1.009 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.009 * [taylor]: Taking taylor expansion of 2 in x
1.009 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.009 * [taylor]: Taking taylor expansion of x in x
1.009 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.009 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.009 * [taylor]: Taking taylor expansion of -1/2 in x
1.009 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.009 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.009 * [taylor]: Taking taylor expansion of eps in x
1.009 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.009 * [taylor]: Taking taylor expansion of 2 in x
1.009 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.009 * [taylor]: Taking taylor expansion of x in x
1.009 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.010 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.010 * [taylor]: Taking taylor expansion of -1/2 in eps
1.010 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.010 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.010 * [taylor]: Taking taylor expansion of eps in eps
1.010 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.010 * [taylor]: Taking taylor expansion of 2 in eps
1.010 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.010 * [taylor]: Taking taylor expansion of x in eps
1.010 * [taylor]: Taking taylor expansion of 0 in eps
1.010 * [taylor]: Taking taylor expansion of 0 in eps
1.010 * [taylor]: Taking taylor expansion of 0 in eps
1.011 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.011 * [approximate]: Taking taylor expansion of (* (sin (* 1/2 eps)) (cos (* 1/2 (+ (* 2 x) eps)))) in (eps x) around 0
1.011 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (cos (* 1/2 (+ (* 2 x) eps)))) in x
1.011 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x
1.011 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
1.011 * [taylor]: Taking taylor expansion of 1/2 in x
1.011 * [taylor]: Taking taylor expansion of eps in x
1.011 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
1.011 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
1.011 * [taylor]: Taking taylor expansion of 1/2 in x
1.011 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
1.011 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.011 * [taylor]: Taking taylor expansion of 2 in x
1.011 * [taylor]: Taking taylor expansion of x in x
1.011 * [taylor]: Taking taylor expansion of eps in x
1.011 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (cos (* 1/2 (+ (* 2 x) eps)))) in eps
1.012 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.012 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.012 * [taylor]: Taking taylor expansion of 1/2 in eps
1.012 * [taylor]: Taking taylor expansion of eps in eps
1.012 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in eps
1.012 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
1.012 * [taylor]: Taking taylor expansion of 1/2 in eps
1.012 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
1.012 * [taylor]: Taking taylor expansion of (* 2 x) in eps
1.012 * [taylor]: Taking taylor expansion of 2 in eps
1.012 * [taylor]: Taking taylor expansion of x in eps
1.012 * [taylor]: Taking taylor expansion of eps in eps
1.012 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (cos (* 1/2 (+ (* 2 x) eps)))) in eps
1.012 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.012 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.012 * [taylor]: Taking taylor expansion of 1/2 in eps
1.012 * [taylor]: Taking taylor expansion of eps in eps
1.012 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in eps
1.012 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
1.012 * [taylor]: Taking taylor expansion of 1/2 in eps
1.012 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
1.012 * [taylor]: Taking taylor expansion of (* 2 x) in eps
1.012 * [taylor]: Taking taylor expansion of 2 in eps
1.012 * [taylor]: Taking taylor expansion of x in eps
1.012 * [taylor]: Taking taylor expansion of eps in eps
1.013 * [taylor]: Taking taylor expansion of 0 in x
1.014 * [taylor]: Taking taylor expansion of (* 1/2 (cos x)) in x
1.014 * [taylor]: Taking taylor expansion of 1/2 in x
1.014 * [taylor]: Taking taylor expansion of (cos x) in x
1.014 * [taylor]: Taking taylor expansion of x in x
1.015 * [taylor]: Taking taylor expansion of (neg (* 1/4 (sin x))) in x
1.015 * [taylor]: Taking taylor expansion of (* 1/4 (sin x)) in x
1.015 * [taylor]: Taking taylor expansion of 1/4 in x
1.015 * [taylor]: Taking taylor expansion of (sin x) in x
1.015 * [taylor]: Taking taylor expansion of x in x
1.016 * [taylor]: Taking taylor expansion of (neg (* 1/12 (cos x))) in x
1.016 * [taylor]: Taking taylor expansion of (* 1/12 (cos x)) in x
1.016 * [taylor]: Taking taylor expansion of 1/12 in x
1.016 * [taylor]: Taking taylor expansion of (cos x) in x
1.016 * [taylor]: Taking taylor expansion of x in x
1.016 * [approximate]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in (eps x) around 0
1.016 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
1.016 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x
1.016 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x
1.016 * [taylor]: Taking taylor expansion of 1/2 in x
1.016 * [taylor]: Taking taylor expansion of eps in x
1.016 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.017 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.017 * [taylor]: Taking taylor expansion of 1/2 in x
1.017 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.017 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.017 * [taylor]: Taking taylor expansion of eps in x
1.017 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.017 * [taylor]: Taking taylor expansion of 2 in x
1.017 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.017 * [taylor]: Taking taylor expansion of x in x
1.017 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
1.017 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
1.017 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
1.017 * [taylor]: Taking taylor expansion of 1/2 in eps
1.017 * [taylor]: Taking taylor expansion of eps in eps
1.017 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.017 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.017 * [taylor]: Taking taylor expansion of 1/2 in eps
1.017 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.017 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.017 * [taylor]: Taking taylor expansion of eps in eps
1.017 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.017 * [taylor]: Taking taylor expansion of 2 in eps
1.017 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.017 * [taylor]: Taking taylor expansion of x in eps
1.017 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
1.017 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
1.017 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
1.017 * [taylor]: Taking taylor expansion of 1/2 in eps
1.017 * [taylor]: Taking taylor expansion of eps in eps
1.017 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.017 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.017 * [taylor]: Taking taylor expansion of 1/2 in eps
1.017 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.017 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.017 * [taylor]: Taking taylor expansion of eps in eps
1.017 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.017 * [taylor]: Taking taylor expansion of 2 in eps
1.017 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.017 * [taylor]: Taking taylor expansion of x in eps
1.018 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
1.018 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x
1.018 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x
1.018 * [taylor]: Taking taylor expansion of 1/2 in x
1.018 * [taylor]: Taking taylor expansion of eps in x
1.018 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.018 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.018 * [taylor]: Taking taylor expansion of 1/2 in x
1.018 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.018 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.018 * [taylor]: Taking taylor expansion of eps in x
1.018 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.018 * [taylor]: Taking taylor expansion of 2 in x
1.018 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.018 * [taylor]: Taking taylor expansion of x in x
1.018 * [taylor]: Taking taylor expansion of 0 in x
1.019 * [taylor]: Taking taylor expansion of 0 in x
1.020 * [taylor]: Taking taylor expansion of 0 in x
1.021 * [approximate]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in (eps x) around 0
1.021 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
1.021 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x
1.021 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x
1.021 * [taylor]: Taking taylor expansion of -1/2 in x
1.021 * [taylor]: Taking taylor expansion of eps in x
1.021 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.021 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.021 * [taylor]: Taking taylor expansion of -1/2 in x
1.021 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.021 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.021 * [taylor]: Taking taylor expansion of eps in x
1.021 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.021 * [taylor]: Taking taylor expansion of 2 in x
1.021 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.021 * [taylor]: Taking taylor expansion of x in x
1.022 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
1.022 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
1.022 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
1.022 * [taylor]: Taking taylor expansion of -1/2 in eps
1.022 * [taylor]: Taking taylor expansion of eps in eps
1.022 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.022 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.022 * [taylor]: Taking taylor expansion of -1/2 in eps
1.022 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.022 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.022 * [taylor]: Taking taylor expansion of eps in eps
1.022 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.022 * [taylor]: Taking taylor expansion of 2 in eps
1.022 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.022 * [taylor]: Taking taylor expansion of x in eps
1.022 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
1.022 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
1.022 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
1.022 * [taylor]: Taking taylor expansion of -1/2 in eps
1.022 * [taylor]: Taking taylor expansion of eps in eps
1.023 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.023 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.023 * [taylor]: Taking taylor expansion of -1/2 in eps
1.023 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.023 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.023 * [taylor]: Taking taylor expansion of eps in eps
1.023 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.023 * [taylor]: Taking taylor expansion of 2 in eps
1.023 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.023 * [taylor]: Taking taylor expansion of x in eps
1.023 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
1.023 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x
1.023 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x
1.023 * [taylor]: Taking taylor expansion of -1/2 in x
1.023 * [taylor]: Taking taylor expansion of eps in x
1.024 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.024 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.024 * [taylor]: Taking taylor expansion of -1/2 in x
1.024 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.024 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.024 * [taylor]: Taking taylor expansion of eps in x
1.024 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.024 * [taylor]: Taking taylor expansion of 2 in x
1.024 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.024 * [taylor]: Taking taylor expansion of x in x
1.025 * [taylor]: Taking taylor expansion of 0 in x
1.026 * [taylor]: Taking taylor expansion of 0 in x
1.027 * [taylor]: Taking taylor expansion of 0 in x
1.027 * * * [progress]: simplifying candidates
1.029 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cos (/ (+ x (+ x eps)) 2)))
  (exp (cos (/ (+ x (+ x eps)) 2)))
  (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (cbrt (cos (/ (+ x (+ x eps)) 2))))
  (cbrt (cos (/ (+ x (+ x eps)) 2)))
  (* (* (cos (/ (+ x (+ x eps)) 2)) (cos (/ (+ x (+ x eps)) 2))) (cos (/ (+ x (+ x eps)) 2)))
  (sqrt (cos (/ (+ x (+ x eps)) 2)))
  (sqrt (cos (/ (+ x (+ x eps)) 2)))
  (* (log (cos (/ (+ x (+ x eps)) 2))) 3)
  (* (log (cos (/ (+ x (+ x eps)) 2))) 3)
  (* 1 3)
  (pow (cos (/ (+ x (+ x eps)) 2)) (* (cbrt 3) (cbrt 3)))
  (pow (cos (/ (+ x (+ x eps)) 2)) (sqrt 3))
  (pow (cos (/ (+ x (+ x eps)) 2)) 1)
  (pow (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (cbrt (cos (/ (+ x (+ x eps)) 2)))) 3)
  (pow (cbrt (cos (/ (+ x (+ x eps)) 2))) 3)
  (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 3)
  (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 3)
  (pow 1 3)
  (pow (cos (/ (+ x (+ x eps)) 2)) 3)
  (* (cos (/ (+ x (+ x eps)) 2)) (cos (/ (+ x (+ x eps)) 2)))
  (log (pow (cos (/ (+ x (+ x eps)) 2)) 3))
  (exp (pow (cos (/ (+ x (+ x eps)) 2)) 3))
  (* (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)))
  (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))
  (* (* (pow (cos (/ (+ x (+ x eps)) 2)) 3) (pow (cos (/ (+ x (+ x eps)) 2)) 3)) (pow (cos (/ (+ x (+ x eps)) 2)) 3))
  (pow (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (cbrt (cos (/ (+ x (+ x eps)) 2)))) 3)
  (pow (cbrt (cos (/ (+ x (+ x eps)) 2))) 3)
  (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 3)
  (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 3)
  (pow 1 3)
  (pow (cos (/ (+ x (+ x eps)) 2)) 3)
  (* (cos (/ (+ x (+ x eps)) 2)) (cos (/ (+ x (+ x eps)) 2)))
  (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))
  (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))
  (pow (cos (/ (+ x (+ x eps)) 2)) (/ 3 2))
  (pow (cos (/ (+ x (+ x eps)) 2)) (/ 3 2))
  (log (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)))
  (exp (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)))
  (cbrt (pow (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (cbrt (cos (/ (+ x (+ x eps)) 2)))) 3))
  (cbrt (pow (cbrt (cos (/ (+ x (+ x eps)) 2))) 3))
  (cbrt (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 3))
  (cbrt (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))
  (cbrt (* (cos (/ (+ x (+ x eps)) 2)) (cos (/ (+ x (+ x eps)) 2))))
  (cbrt (cos (/ (+ x (+ x eps)) 2)))
  (cbrt (* (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))))
  (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)))
  (cbrt (pow (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (cbrt (cos (/ (+ x (+ x eps)) 2)))) 3))
  (cbrt (pow (cbrt (cos (/ (+ x (+ x eps)) 2))) 3))
  (cbrt (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 3))
  (cbrt (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))
  (cbrt (cos (/ (+ x (+ x eps)) 2)))
  (cbrt (* (cos (/ (+ x (+ x eps)) 2)) (cos (/ (+ x (+ x eps)) 2))))
  (cbrt (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)))
  (cbrt (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)))
  (cbrt 1)
  (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))
  (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) (/ 3 2)))
  (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) (/ 3 2)))
  (* (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))) (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))))
  (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)))
  (* (* (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)))
  (sqrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)))
  (sqrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)))
  (* (sin (/ eps 2)) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)))
  (+ (log (sin (/ eps 2))) (log (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))))
  (log (* (sin (/ eps 2)) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))))
  (exp (* (sin (/ eps 2)) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))))
  (* (* (* (sin (/ eps 2)) (sin (/ eps 2))) (sin (/ eps 2))) (pow (cos (/ (+ x (+ x eps)) 2)) 3))
  (* (cbrt (* (sin (/ eps 2)) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)))) (cbrt (* (sin (/ eps 2)) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)))))
  (cbrt (* (sin (/ eps 2)) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))))
  (* (* (* (sin (/ eps 2)) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))) (* (sin (/ eps 2)) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)))) (* (sin (/ eps 2)) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))))
  (sqrt (* (sin (/ eps 2)) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))))
  (sqrt (* (sin (/ eps 2)) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))))
  (* (sqrt (sin (/ eps 2))) (cbrt (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 3)))
  (* (sqrt (sin (/ eps 2))) (cbrt (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 3)))
  (* (sqrt (sin (/ eps 2))) (cbrt (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 3)))
  (* (sqrt (sin (/ eps 2))) (cbrt (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 3)))
  (* (sqrt (sin (/ eps 2))) (cbrt (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))))
  (* (sqrt (sin (/ eps 2))) (cbrt (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))))
  (* (sqrt (sin (/ eps 2))) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) (/ 3 2))))
  (* (sqrt (sin (/ eps 2))) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) (/ 3 2))))
  (* (sqrt (sin (/ eps 2))) (sqrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))))
  (* (sqrt (sin (/ eps 2))) (sqrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))))
  (* (sin (/ eps 2)) (cbrt (pow (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (cbrt (cos (/ (+ x (+ x eps)) 2)))) 3)))
  (* (sin (/ eps 2)) (cbrt (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 3)))
  (* (sin (/ eps 2)) (cbrt (pow 1 3)))
  (* (sin (/ eps 2)) (cbrt (* (cos (/ (+ x (+ x eps)) 2)) (cos (/ (+ x (+ x eps)) 2)))))
  (* (sin (/ eps 2)) (cbrt (* (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)))))
  (* (sin (/ eps 2)) (cbrt (pow (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (cbrt (cos (/ (+ x (+ x eps)) 2)))) 3)))
  (* (sin (/ eps 2)) (cbrt (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 3)))
  (* (sin (/ eps 2)) (cbrt (pow 1 3)))
  (* (sin (/ eps 2)) (cbrt (cos (/ (+ x (+ x eps)) 2))))
  (* (sin (/ eps 2)) (cbrt (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))))
  (* (sin (/ eps 2)) (cbrt 1))
  (* (sin (/ eps 2)) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) (/ 3 2))))
  (* (sin (/ eps 2)) (* (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))) (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)))))
  (* (sin (/ eps 2)) (sqrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))))
  (* (sin (/ eps 2)) 1)
  (* (cbrt (sin (/ eps 2))) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)))
  (* (sqrt (sin (/ eps 2))) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)))
  (* (sin (/ eps 2)) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)))
  (- 1 (+ (* 1/2 (* x eps)) (* 1/2 (pow x 2))))
  (cos (* 1/2 (+ (* 2 x) eps)))
  (cos (* 1/2 (+ (* 2 x) eps)))
  (- 1 (+ (* 3/2 (* x eps)) (* 3/2 (pow x 2))))
  (pow (cos (* 1/2 (+ (* 2 x) eps))) 3)
  (pow (cos (* 1/2 (+ (* 2 x) eps))) 3)
  (- 1 (+ (* 1/2 (* x eps)) (* 1/2 (pow x 2))))
  (cos (* 1/2 (+ (* 2 x) eps)))
  (cos (* 1/2 (+ (* 2 x) eps)))
  (- (* 1/2 eps) (+ (* 1/4 (* x (pow eps 2))) (* 1/12 (pow eps 3))))
  (* (sin (* 1/2 eps)) (cos (* 1/2 (+ (* 2 x) eps))))
  (* (sin (* 1/2 eps)) (cos (* 1/2 (+ (* 2 x) eps))))
1.081 * * [simplify]: iteration  0 :  4924  enodes  (cost  1255 )
1.082 * * [simplify]: iteration  1 :  4924  enodes  (cost  1255 )
1.090 * [simplify]: Simplified to:
   (log (cos (/ (+ x (+ x eps)) 2)))
  (exp (cos (/ (+ x (+ x eps)) 2)))
  (pow (cbrt (cos (/ (+ x (+ x eps)) 2))) 2)
  (cbrt (cos (/ (+ x (+ x eps)) 2)))
  (pow (cos (/ (+ x (+ x eps)) 2)) 3)
  (sqrt (cos (/ (+ x (+ x eps)) 2)))
  (sqrt (cos (/ (+ x (+ x eps)) 2)))
  (* (log (cos (/ (+ x (+ x eps)) 2))) 3)
  (* (log (cos (/ (+ x (+ x eps)) 2))) 3)
  3
  (pow (cos (/ (+ x (+ x eps)) 2)) (* (cbrt 3) (cbrt 3)))
  (pow (cos (/ (+ x (+ x eps)) 2)) (sqrt 3))
  (cos (/ (+ x (+ x eps)) 2))
  (pow (cos (/ (+ x (+ x eps)) 2)) 2)
  (cos (/ (+ x (+ x eps)) 2))
  (pow (cos (/ (+ x (+ x eps)) 2)) 3/2)
  (pow (cos (/ (+ x (+ x eps)) 2)) 3/2)
  1
  (pow (cos (/ (+ x (+ x eps)) 2)) 3)
  (pow (cos (/ (+ x (+ x eps)) 2)) 2)
  (* (log (cos (/ (+ x (+ x eps)) 2))) 3)
  (exp (pow (cos (/ (+ x (+ x eps)) 2)) 3))
  (pow (cos (/ (+ x (+ x eps)) 2)) 2)
  (cos (/ (+ x (+ x eps)) 2))
  (pow (cos (/ (+ x (+ x eps)) 2)) 9)
  (pow (cos (/ (+ x (+ x eps)) 2)) 2)
  (cos (/ (+ x (+ x eps)) 2))
  (pow (cos (/ (+ x (+ x eps)) 2)) 3/2)
  (pow (cos (/ (+ x (+ x eps)) 2)) 3/2)
  1
  (pow (cos (/ (+ x (+ x eps)) 2)) 3)
  (pow (cos (/ (+ x (+ x eps)) 2)) 2)
  (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))
  (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))
  (pow (cos (/ (+ x (+ x eps)) 2)) 3/2)
  (pow (cos (/ (+ x (+ x eps)) 2)) 3/2)
  (log (cos (/ (+ x (+ x eps)) 2)))
  (exp (cos (/ (+ x (+ x eps)) 2)))
  (pow (cbrt (cos (/ (+ x (+ x eps)) 2))) 2)
  (cbrt (cos (/ (+ x (+ x eps)) 2)))
  (sqrt (cos (/ (+ x (+ x eps)) 2)))
  (sqrt (cos (/ (+ x (+ x eps)) 2)))
  (cbrt 1)
  (cos (/ (+ x (+ x eps)) 2))
  (pow (cbrt (cos (/ (+ x (+ x eps)) 2))) 2)
  (cbrt (cos (/ (+ x (+ x eps)) 2)))
  (pow (cbrt (cos (/ (+ x (+ x eps)) 2))) 2)
  (cbrt (cos (/ (+ x (+ x eps)) 2)))
  (pow (cbrt (cos (/ (+ x (+ x eps)) 2))) 2)
  (cbrt (cos (/ (+ x (+ x eps)) 2)))
  (sqrt (cos (/ (+ x (+ x eps)) 2)))
  (sqrt (cos (/ (+ x (+ x eps)) 2)))
  (cbrt 1)
  (cos (/ (+ x (+ x eps)) 2))
  (cbrt (cos (/ (+ x (+ x eps)) 2)))
  (pow (cbrt (cos (/ (+ x (+ x eps)) 2))) 2)
  (cbrt (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)))
  (cbrt (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 3)))
  (cbrt 1)
  (cos (/ (+ x (+ x eps)) 2))
  (sqrt (cos (/ (+ x (+ x eps)) 2)))
  (sqrt (cos (/ (+ x (+ x eps)) 2)))
  (pow (cbrt (cos (/ (+ x (+ x eps)) 2))) 2)
  (cbrt (cos (/ (+ x (+ x eps)) 2)))
  (pow (cos (/ (+ x (+ x eps)) 2)) 3)
  (sqrt (cos (/ (+ x (+ x eps)) 2)))
  (sqrt (cos (/ (+ x (+ x eps)) 2)))
  (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2)))
  (log (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2))))
  (log (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2))))
  (pow (exp (cos (/ (+ x (+ x eps)) 2))) (sin (/ eps 2)))
  (pow (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2))) 3)
  (* (cbrt (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2)))) (cbrt (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2)))))
  (cbrt (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2))))
  (pow (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2))) 3)
  (sqrt (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2))))
  (sqrt (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2))))
  (* (sqrt (cos (/ (+ x (+ x eps)) 2))) (sqrt (sin (/ eps 2))))
  (* (sqrt (cos (/ (+ x (+ x eps)) 2))) (sqrt (sin (/ eps 2))))
  (* (sqrt (cos (/ (+ x (+ x eps)) 2))) (sqrt (sin (/ eps 2))))
  (* (sqrt (cos (/ (+ x (+ x eps)) 2))) (sqrt (sin (/ eps 2))))
  (* (cbrt (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))) (sqrt (sin (/ eps 2))))
  (* (cbrt (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))) (sqrt (sin (/ eps 2))))
  (* (sqrt (cos (/ (+ x (+ x eps)) 2))) (sqrt (sin (/ eps 2))))
  (* (sqrt (cos (/ (+ x (+ x eps)) 2))) (sqrt (sin (/ eps 2))))
  (* (sqrt (cos (/ (+ x (+ x eps)) 2))) (sqrt (sin (/ eps 2))))
  (* (sqrt (cos (/ (+ x (+ x eps)) 2))) (sqrt (sin (/ eps 2))))
  (* (pow (cbrt (cos (/ (+ x (+ x eps)) 2))) 2) (sin (/ eps 2)))
  (* (sqrt (cos (/ (+ x (+ x eps)) 2))) (sin (/ eps 2)))
  (* (cbrt 1) (sin (/ eps 2)))
  (* (pow (cbrt (cos (/ (+ x (+ x eps)) 2))) 2) (sin (/ eps 2)))
  (* (pow (cbrt (cos (/ (+ x (+ x eps)) 2))) 2) (sin (/ eps 2)))
  (* (pow (cbrt (cos (/ (+ x (+ x eps)) 2))) 2) (sin (/ eps 2)))
  (* (sqrt (cos (/ (+ x (+ x eps)) 2))) (sin (/ eps 2)))
  (* (cbrt 1) (sin (/ eps 2)))
  (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (sin (/ eps 2)))
  (* (cbrt (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 3))) (sin (/ eps 2)))
  (* (cbrt 1) (sin (/ eps 2)))
  (* (sqrt (cos (/ (+ x (+ x eps)) 2))) (sin (/ eps 2)))
  (* (pow (cbrt (cos (/ (+ x (+ x eps)) 2))) 2) (sin (/ eps 2)))
  (* (sqrt (cos (/ (+ x (+ x eps)) 2))) (sin (/ eps 2)))
  (sin (/ eps 2))
  (* (cos (/ (+ x (+ x eps)) 2)) (cbrt (sin (/ eps 2))))
  (* (cos (/ (+ x (+ x eps)) 2)) (sqrt (sin (/ eps 2))))
  (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2)))
  (+ 1 (* x (* (+ x eps) -1/2)))
  (cos (+ x (* eps 1/2)))
  (cos (+ x (* eps 1/2)))
  (+ 1 (* x (* -3/2 (+ x eps))))
  (pow (cos (+ x (* eps 1/2))) 3)
  (pow (cos (+ x (* eps 1/2))) 3)
  (+ 1 (* x (* (+ x eps) -1/2)))
  (cos (+ x (* eps 1/2)))
  (cos (+ x (* eps 1/2)))
  (+ (* eps 1/2) (* (* eps eps) (+ (* eps -1/12) (* x -1/4))))
  (* (cos (+ x (* eps 1/2))) (sin (* eps 1/2)))
  (* (cos (+ x (* eps 1/2))) (sin (* eps 1/2)))
1.091 * * * [progress]: adding candidates to table
1.359 * * [progress]: iteration 4 / 4
1.359 * * * [progress]: picking best candidate
1.433 * * * * [pick]: Picked  #<alt (λ (x eps) (* 2 (* (sin (/ eps 2)) (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))))>
1.433 * * * [progress]: localizing error
1.468 * * * [progress]: generating rewritten candidates
1.468 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1 1)
1.483 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1)
1.487 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1)
1.491 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1.498 * * * [progress]: generating series expansions
1.498 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1 1)
1.499 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in (x eps) around 0
1.499 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in eps
1.499 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
1.499 * [taylor]: Taking taylor expansion of 1/2 in eps
1.499 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
1.499 * [taylor]: Taking taylor expansion of (* 2 x) in eps
1.499 * [taylor]: Taking taylor expansion of 2 in eps
1.499 * [taylor]: Taking taylor expansion of x in eps
1.499 * [taylor]: Taking taylor expansion of eps in eps
1.499 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
1.499 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
1.499 * [taylor]: Taking taylor expansion of 1/2 in x
1.499 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
1.499 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.499 * [taylor]: Taking taylor expansion of 2 in x
1.499 * [taylor]: Taking taylor expansion of x in x
1.499 * [taylor]: Taking taylor expansion of eps in x
1.500 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
1.500 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
1.500 * [taylor]: Taking taylor expansion of 1/2 in x
1.500 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
1.500 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.500 * [taylor]: Taking taylor expansion of 2 in x
1.500 * [taylor]: Taking taylor expansion of x in x
1.500 * [taylor]: Taking taylor expansion of eps in x
1.500 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
1.500 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.500 * [taylor]: Taking taylor expansion of 1/2 in eps
1.500 * [taylor]: Taking taylor expansion of eps in eps
1.501 * [taylor]: Taking taylor expansion of (neg (sin (* 1/2 eps))) in eps
1.501 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.501 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.501 * [taylor]: Taking taylor expansion of 1/2 in eps
1.501 * [taylor]: Taking taylor expansion of eps in eps
1.502 * [taylor]: Taking taylor expansion of (neg (* 1/2 (cos (* 1/2 eps)))) in eps
1.502 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* 1/2 eps))) in eps
1.502 * [taylor]: Taking taylor expansion of 1/2 in eps
1.502 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
1.502 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.502 * [taylor]: Taking taylor expansion of 1/2 in eps
1.502 * [taylor]: Taking taylor expansion of eps in eps
1.503 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
1.503 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.503 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.503 * [taylor]: Taking taylor expansion of 1/2 in eps
1.503 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.503 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.503 * [taylor]: Taking taylor expansion of eps in eps
1.503 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.503 * [taylor]: Taking taylor expansion of 2 in eps
1.503 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.503 * [taylor]: Taking taylor expansion of x in eps
1.503 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.503 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.503 * [taylor]: Taking taylor expansion of 1/2 in x
1.504 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.504 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.504 * [taylor]: Taking taylor expansion of eps in x
1.504 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.504 * [taylor]: Taking taylor expansion of 2 in x
1.504 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.504 * [taylor]: Taking taylor expansion of x in x
1.504 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.504 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.504 * [taylor]: Taking taylor expansion of 1/2 in x
1.504 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.504 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.504 * [taylor]: Taking taylor expansion of eps in x
1.504 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.504 * [taylor]: Taking taylor expansion of 2 in x
1.504 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.504 * [taylor]: Taking taylor expansion of x in x
1.505 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.505 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.505 * [taylor]: Taking taylor expansion of 1/2 in eps
1.505 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.505 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.505 * [taylor]: Taking taylor expansion of eps in eps
1.505 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.505 * [taylor]: Taking taylor expansion of 2 in eps
1.505 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.505 * [taylor]: Taking taylor expansion of x in eps
1.505 * [taylor]: Taking taylor expansion of 0 in eps
1.505 * [taylor]: Taking taylor expansion of 0 in eps
1.505 * [taylor]: Taking taylor expansion of 0 in eps
1.506 * [approximate]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
1.506 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.506 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.506 * [taylor]: Taking taylor expansion of -1/2 in eps
1.506 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.506 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.506 * [taylor]: Taking taylor expansion of eps in eps
1.506 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.506 * [taylor]: Taking taylor expansion of 2 in eps
1.506 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.506 * [taylor]: Taking taylor expansion of x in eps
1.506 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.506 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.507 * [taylor]: Taking taylor expansion of -1/2 in x
1.507 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.507 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.507 * [taylor]: Taking taylor expansion of eps in x
1.507 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.507 * [taylor]: Taking taylor expansion of 2 in x
1.507 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.507 * [taylor]: Taking taylor expansion of x in x
1.507 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.507 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.507 * [taylor]: Taking taylor expansion of -1/2 in x
1.507 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.507 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.507 * [taylor]: Taking taylor expansion of eps in x
1.507 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.507 * [taylor]: Taking taylor expansion of 2 in x
1.507 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.507 * [taylor]: Taking taylor expansion of x in x
1.508 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.508 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.508 * [taylor]: Taking taylor expansion of -1/2 in eps
1.508 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.508 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.508 * [taylor]: Taking taylor expansion of eps in eps
1.508 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.508 * [taylor]: Taking taylor expansion of 2 in eps
1.508 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.508 * [taylor]: Taking taylor expansion of x in eps
1.508 * [taylor]: Taking taylor expansion of 0 in eps
1.508 * [taylor]: Taking taylor expansion of 0 in eps
1.508 * [taylor]: Taking taylor expansion of 0 in eps
1.509 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1)
1.509 * [approximate]: Taking taylor expansion of (pow (cos (* 1/2 (+ (* 2 x) eps))) 9) in (x eps) around 0
1.509 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (* 2 x) eps))) 9) in eps
1.509 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in eps
1.509 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
1.509 * [taylor]: Taking taylor expansion of 1/2 in eps
1.509 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
1.509 * [taylor]: Taking taylor expansion of (* 2 x) in eps
1.509 * [taylor]: Taking taylor expansion of 2 in eps
1.509 * [taylor]: Taking taylor expansion of x in eps
1.509 * [taylor]: Taking taylor expansion of eps in eps
1.510 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (* 2 x) eps))) 9) in x
1.510 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
1.510 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
1.510 * [taylor]: Taking taylor expansion of 1/2 in x
1.510 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
1.510 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.510 * [taylor]: Taking taylor expansion of 2 in x
1.510 * [taylor]: Taking taylor expansion of x in x
1.510 * [taylor]: Taking taylor expansion of eps in x
1.510 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (* 2 x) eps))) 9) in x
1.510 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
1.510 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
1.510 * [taylor]: Taking taylor expansion of 1/2 in x
1.510 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
1.510 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.510 * [taylor]: Taking taylor expansion of 2 in x
1.510 * [taylor]: Taking taylor expansion of x in x
1.510 * [taylor]: Taking taylor expansion of eps in x
1.511 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 eps)) 9) in eps
1.511 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
1.512 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.512 * [taylor]: Taking taylor expansion of 1/2 in eps
1.512 * [taylor]: Taking taylor expansion of eps in eps
1.515 * [taylor]: Taking taylor expansion of (neg (+ (* 8 (* (sin (* 1/2 eps)) (pow (cos (* 1/2 eps)) 8))) (* (pow (cos (* 1/2 eps)) 8) (sin (* 1/2 eps))))) in eps
1.515 * [taylor]: Taking taylor expansion of (+ (* 8 (* (sin (* 1/2 eps)) (pow (cos (* 1/2 eps)) 8))) (* (pow (cos (* 1/2 eps)) 8) (sin (* 1/2 eps)))) in eps
1.515 * [taylor]: Taking taylor expansion of (* 8 (* (sin (* 1/2 eps)) (pow (cos (* 1/2 eps)) 8))) in eps
1.515 * [taylor]: Taking taylor expansion of 8 in eps
1.515 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (pow (cos (* 1/2 eps)) 8)) in eps
1.515 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.515 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.515 * [taylor]: Taking taylor expansion of 1/2 in eps
1.515 * [taylor]: Taking taylor expansion of eps in eps
1.515 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 eps)) 8) in eps
1.515 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
1.515 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.515 * [taylor]: Taking taylor expansion of 1/2 in eps
1.515 * [taylor]: Taking taylor expansion of eps in eps
1.515 * [taylor]: Taking taylor expansion of (* (pow (cos (* 1/2 eps)) 8) (sin (* 1/2 eps))) in eps
1.515 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 eps)) 8) in eps
1.515 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
1.515 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.515 * [taylor]: Taking taylor expansion of 1/2 in eps
1.515 * [taylor]: Taking taylor expansion of eps in eps
1.515 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.516 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.516 * [taylor]: Taking taylor expansion of 1/2 in eps
1.516 * [taylor]: Taking taylor expansion of eps in eps
1.523 * [taylor]: Taking taylor expansion of (- (* 36 (* (pow (cos (* 1/2 eps)) 7) (pow (sin (* 1/2 eps)) 2))) (* 9/2 (pow (cos (* 1/2 eps)) 9))) in eps
1.523 * [taylor]: Taking taylor expansion of (* 36 (* (pow (cos (* 1/2 eps)) 7) (pow (sin (* 1/2 eps)) 2))) in eps
1.524 * [taylor]: Taking taylor expansion of 36 in eps
1.524 * [taylor]: Taking taylor expansion of (* (pow (cos (* 1/2 eps)) 7) (pow (sin (* 1/2 eps)) 2)) in eps
1.524 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 eps)) 7) in eps
1.524 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
1.524 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.524 * [taylor]: Taking taylor expansion of 1/2 in eps
1.524 * [taylor]: Taking taylor expansion of eps in eps
1.524 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps
1.524 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.524 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.524 * [taylor]: Taking taylor expansion of 1/2 in eps
1.524 * [taylor]: Taking taylor expansion of eps in eps
1.524 * [taylor]: Taking taylor expansion of (* 9/2 (pow (cos (* 1/2 eps)) 9)) in eps
1.524 * [taylor]: Taking taylor expansion of 9/2 in eps
1.524 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 eps)) 9) in eps
1.524 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
1.524 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.524 * [taylor]: Taking taylor expansion of 1/2 in eps
1.524 * [taylor]: Taking taylor expansion of eps in eps
1.526 * [approximate]: Taking taylor expansion of (pow (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 9) in (x eps) around 0
1.526 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 9) in eps
1.526 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.526 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.526 * [taylor]: Taking taylor expansion of 1/2 in eps
1.526 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.526 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.526 * [taylor]: Taking taylor expansion of eps in eps
1.526 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.526 * [taylor]: Taking taylor expansion of 2 in eps
1.526 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.526 * [taylor]: Taking taylor expansion of x in eps
1.526 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 9) in x
1.526 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.526 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.527 * [taylor]: Taking taylor expansion of 1/2 in x
1.527 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.527 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.527 * [taylor]: Taking taylor expansion of eps in x
1.527 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.527 * [taylor]: Taking taylor expansion of 2 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 (pow (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 9) in x
1.527 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.527 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.527 * [taylor]: Taking taylor expansion of 1/2 in x
1.527 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.527 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.527 * [taylor]: Taking taylor expansion of eps in x
1.527 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.527 * [taylor]: Taking taylor expansion of 2 in x
1.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.527 * [taylor]: Taking taylor expansion of x in x
1.529 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 9) in eps
1.529 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.529 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.529 * [taylor]: Taking taylor expansion of 1/2 in eps
1.529 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.529 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.529 * [taylor]: Taking taylor expansion of eps in eps
1.529 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.529 * [taylor]: Taking taylor expansion of 2 in eps
1.529 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.529 * [taylor]: Taking taylor expansion of x in eps
1.533 * [taylor]: Taking taylor expansion of 0 in eps
1.536 * [taylor]: Taking taylor expansion of 0 in eps
1.539 * [taylor]: Taking taylor expansion of 0 in eps
1.539 * [approximate]: Taking taylor expansion of (pow (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 9) in (x eps) around 0
1.539 * [taylor]: Taking taylor expansion of (pow (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 9) in eps
1.539 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.539 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.539 * [taylor]: Taking taylor expansion of -1/2 in eps
1.540 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.540 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.540 * [taylor]: Taking taylor expansion of eps in eps
1.540 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.540 * [taylor]: Taking taylor expansion of 2 in eps
1.540 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.540 * [taylor]: Taking taylor expansion of x in eps
1.540 * [taylor]: Taking taylor expansion of (pow (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 9) in x
1.540 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.540 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.540 * [taylor]: Taking taylor expansion of -1/2 in x
1.540 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.540 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.540 * [taylor]: Taking taylor expansion of eps in x
1.540 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.540 * [taylor]: Taking taylor expansion of 2 in x
1.540 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.540 * [taylor]: Taking taylor expansion of x in x
1.541 * [taylor]: Taking taylor expansion of (pow (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 9) in x
1.541 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.541 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.541 * [taylor]: Taking taylor expansion of -1/2 in x
1.541 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.541 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.541 * [taylor]: Taking taylor expansion of eps in x
1.541 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.541 * [taylor]: Taking taylor expansion of 2 in x
1.541 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.541 * [taylor]: Taking taylor expansion of x in x
1.545 * [taylor]: Taking taylor expansion of (pow (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 9) in eps
1.545 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.545 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.545 * [taylor]: Taking taylor expansion of -1/2 in eps
1.545 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.545 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.545 * [taylor]: Taking taylor expansion of eps in eps
1.545 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.545 * [taylor]: Taking taylor expansion of 2 in eps
1.545 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.545 * [taylor]: Taking taylor expansion of x in eps
1.549 * [taylor]: Taking taylor expansion of 0 in eps
1.552 * [taylor]: Taking taylor expansion of 0 in eps
1.555 * [taylor]: Taking taylor expansion of 0 in eps
1.555 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1)
1.556 * [approximate]: Taking taylor expansion of (pow (cos (* 1/2 (+ (* 2 x) eps))) 3) in (x eps) around 0
1.556 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (* 2 x) eps))) 3) in eps
1.556 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in eps
1.556 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
1.556 * [taylor]: Taking taylor expansion of 1/2 in eps
1.556 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
1.556 * [taylor]: Taking taylor expansion of (* 2 x) in eps
1.556 * [taylor]: Taking taylor expansion of 2 in eps
1.556 * [taylor]: Taking taylor expansion of x in eps
1.556 * [taylor]: Taking taylor expansion of eps in eps
1.556 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (* 2 x) eps))) 3) in x
1.556 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
1.556 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
1.556 * [taylor]: Taking taylor expansion of 1/2 in x
1.556 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
1.556 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.556 * [taylor]: Taking taylor expansion of 2 in x
1.556 * [taylor]: Taking taylor expansion of x in x
1.556 * [taylor]: Taking taylor expansion of eps in x
1.557 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (* 2 x) eps))) 3) in x
1.557 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
1.557 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
1.557 * [taylor]: Taking taylor expansion of 1/2 in x
1.557 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
1.557 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.557 * [taylor]: Taking taylor expansion of 2 in x
1.557 * [taylor]: Taking taylor expansion of x in x
1.557 * [taylor]: Taking taylor expansion of eps in x
1.558 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 eps)) 3) in eps
1.558 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
1.558 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.558 * [taylor]: Taking taylor expansion of 1/2 in eps
1.558 * [taylor]: Taking taylor expansion of eps in eps
1.559 * [taylor]: Taking taylor expansion of (neg (* 3 (* (pow (cos (* 1/2 eps)) 2) (sin (* 1/2 eps))))) in eps
1.559 * [taylor]: Taking taylor expansion of (* 3 (* (pow (cos (* 1/2 eps)) 2) (sin (* 1/2 eps)))) in eps
1.559 * [taylor]: Taking taylor expansion of 3 in eps
1.559 * [taylor]: Taking taylor expansion of (* (pow (cos (* 1/2 eps)) 2) (sin (* 1/2 eps))) in eps
1.559 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 eps)) 2) in eps
1.559 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
1.559 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.559 * [taylor]: Taking taylor expansion of 1/2 in eps
1.559 * [taylor]: Taking taylor expansion of eps in eps
1.560 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.560 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.560 * [taylor]: Taking taylor expansion of 1/2 in eps
1.560 * [taylor]: Taking taylor expansion of eps in eps
1.562 * [taylor]: Taking taylor expansion of (- (+ (* (pow (sin (* 1/2 eps)) 2) (cos (* 1/2 eps))) (* 2 (* (cos (* 1/2 eps)) (pow (sin (* 1/2 eps)) 2)))) (* 3/2 (pow (cos (* 1/2 eps)) 3))) in eps
1.562 * [taylor]: Taking taylor expansion of (+ (* (pow (sin (* 1/2 eps)) 2) (cos (* 1/2 eps))) (* 2 (* (cos (* 1/2 eps)) (pow (sin (* 1/2 eps)) 2)))) in eps
1.562 * [taylor]: Taking taylor expansion of (* (pow (sin (* 1/2 eps)) 2) (cos (* 1/2 eps))) in eps
1.562 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps
1.562 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.562 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.562 * [taylor]: Taking taylor expansion of 1/2 in eps
1.562 * [taylor]: Taking taylor expansion of eps in eps
1.562 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
1.563 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.563 * [taylor]: Taking taylor expansion of 1/2 in eps
1.563 * [taylor]: Taking taylor expansion of eps in eps
1.563 * [taylor]: Taking taylor expansion of (* 2 (* (cos (* 1/2 eps)) (pow (sin (* 1/2 eps)) 2))) in eps
1.563 * [taylor]: Taking taylor expansion of 2 in eps
1.563 * [taylor]: Taking taylor expansion of (* (cos (* 1/2 eps)) (pow (sin (* 1/2 eps)) 2)) in eps
1.563 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
1.563 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.563 * [taylor]: Taking taylor expansion of 1/2 in eps
1.563 * [taylor]: Taking taylor expansion of eps in eps
1.563 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps
1.563 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.563 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.563 * [taylor]: Taking taylor expansion of 1/2 in eps
1.563 * [taylor]: Taking taylor expansion of eps in eps
1.563 * [taylor]: Taking taylor expansion of (* 3/2 (pow (cos (* 1/2 eps)) 3)) in eps
1.563 * [taylor]: Taking taylor expansion of 3/2 in eps
1.563 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 eps)) 3) in eps
1.563 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
1.563 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.563 * [taylor]: Taking taylor expansion of 1/2 in eps
1.563 * [taylor]: Taking taylor expansion of eps in eps
1.565 * [approximate]: Taking taylor expansion of (pow (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 3) in (x eps) around 0
1.565 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 3) in eps
1.565 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.565 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.565 * [taylor]: Taking taylor expansion of 1/2 in eps
1.565 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.565 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.565 * [taylor]: Taking taylor expansion of eps in eps
1.565 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.565 * [taylor]: Taking taylor expansion of 2 in eps
1.565 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.565 * [taylor]: Taking taylor expansion of x in eps
1.565 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 3) in x
1.565 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.565 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.565 * [taylor]: Taking taylor expansion of 1/2 in x
1.565 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.565 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.565 * [taylor]: Taking taylor expansion of eps in x
1.565 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.565 * [taylor]: Taking taylor expansion of 2 in x
1.565 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.565 * [taylor]: Taking taylor expansion of x in x
1.566 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 3) in x
1.566 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.566 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.566 * [taylor]: Taking taylor expansion of 1/2 in x
1.566 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.566 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.566 * [taylor]: Taking taylor expansion of eps in x
1.566 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.566 * [taylor]: Taking taylor expansion of 2 in x
1.566 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.566 * [taylor]: Taking taylor expansion of x in x
1.567 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 3) in eps
1.567 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.567 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.567 * [taylor]: Taking taylor expansion of 1/2 in eps
1.567 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.567 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.567 * [taylor]: Taking taylor expansion of eps in eps
1.567 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.567 * [taylor]: Taking taylor expansion of 2 in eps
1.567 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.567 * [taylor]: Taking taylor expansion of x in eps
1.569 * [taylor]: Taking taylor expansion of 0 in eps
1.570 * [taylor]: Taking taylor expansion of 0 in eps
1.572 * [taylor]: Taking taylor expansion of 0 in eps
1.572 * [approximate]: Taking taylor expansion of (pow (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 3) in (x eps) around 0
1.572 * [taylor]: Taking taylor expansion of (pow (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 3) in eps
1.573 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.573 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.573 * [taylor]: Taking taylor expansion of -1/2 in eps
1.573 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.573 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.573 * [taylor]: Taking taylor expansion of eps in eps
1.573 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.573 * [taylor]: Taking taylor expansion of 2 in eps
1.573 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.573 * [taylor]: Taking taylor expansion of x in eps
1.573 * [taylor]: Taking taylor expansion of (pow (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 3) in x
1.573 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.573 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.573 * [taylor]: Taking taylor expansion of -1/2 in x
1.573 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.573 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.573 * [taylor]: Taking taylor expansion of eps in x
1.573 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.574 * [taylor]: Taking taylor expansion of 2 in x
1.574 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.574 * [taylor]: Taking taylor expansion of x in x
1.574 * [taylor]: Taking taylor expansion of (pow (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 3) in x
1.574 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.574 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.574 * [taylor]: Taking taylor expansion of -1/2 in x
1.574 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.574 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.574 * [taylor]: Taking taylor expansion of eps in x
1.574 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.574 * [taylor]: Taking taylor expansion of 2 in x
1.574 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.574 * [taylor]: Taking taylor expansion of x in x
1.575 * [taylor]: Taking taylor expansion of (pow (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 3) in eps
1.575 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.575 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.575 * [taylor]: Taking taylor expansion of -1/2 in eps
1.575 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.575 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.575 * [taylor]: Taking taylor expansion of eps in eps
1.575 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.575 * [taylor]: Taking taylor expansion of 2 in eps
1.575 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.576 * [taylor]: Taking taylor expansion of x in eps
1.577 * [taylor]: Taking taylor expansion of 0 in eps
1.578 * [taylor]: Taking taylor expansion of 0 in eps
1.580 * [taylor]: Taking taylor expansion of 0 in eps
1.580 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1.580 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in (x eps) around 0
1.581 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in eps
1.581 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
1.581 * [taylor]: Taking taylor expansion of 1/2 in eps
1.581 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
1.581 * [taylor]: Taking taylor expansion of (* 2 x) in eps
1.581 * [taylor]: Taking taylor expansion of 2 in eps
1.581 * [taylor]: Taking taylor expansion of x in eps
1.581 * [taylor]: Taking taylor expansion of eps in eps
1.581 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
1.581 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
1.581 * [taylor]: Taking taylor expansion of 1/2 in x
1.581 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
1.581 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.581 * [taylor]: Taking taylor expansion of 2 in x
1.581 * [taylor]: Taking taylor expansion of x in x
1.581 * [taylor]: Taking taylor expansion of eps in x
1.581 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
1.581 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
1.581 * [taylor]: Taking taylor expansion of 1/2 in x
1.581 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
1.581 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.582 * [taylor]: Taking taylor expansion of 2 in x
1.582 * [taylor]: Taking taylor expansion of x in x
1.582 * [taylor]: Taking taylor expansion of eps in x
1.582 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
1.582 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.582 * [taylor]: Taking taylor expansion of 1/2 in eps
1.582 * [taylor]: Taking taylor expansion of eps in eps
1.583 * [taylor]: Taking taylor expansion of (neg (sin (* 1/2 eps))) in eps
1.583 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.583 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.583 * [taylor]: Taking taylor expansion of 1/2 in eps
1.583 * [taylor]: Taking taylor expansion of eps in eps
1.584 * [taylor]: Taking taylor expansion of (neg (* 1/2 (cos (* 1/2 eps)))) in eps
1.584 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* 1/2 eps))) in eps
1.584 * [taylor]: Taking taylor expansion of 1/2 in eps
1.584 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
1.584 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.584 * [taylor]: Taking taylor expansion of 1/2 in eps
1.584 * [taylor]: Taking taylor expansion of eps in eps
1.585 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
1.585 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.585 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.585 * [taylor]: Taking taylor expansion of 1/2 in eps
1.585 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.585 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.585 * [taylor]: Taking taylor expansion of eps in eps
1.585 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.585 * [taylor]: Taking taylor expansion of 2 in eps
1.585 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.585 * [taylor]: Taking taylor expansion of x in eps
1.586 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.586 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.586 * [taylor]: Taking taylor expansion of 1/2 in x
1.586 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.586 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.586 * [taylor]: Taking taylor expansion of eps in x
1.586 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.586 * [taylor]: Taking taylor expansion of 2 in x
1.586 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.586 * [taylor]: Taking taylor expansion of x in x
1.586 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.586 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.586 * [taylor]: Taking taylor expansion of 1/2 in x
1.586 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.586 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.586 * [taylor]: Taking taylor expansion of eps in x
1.586 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.586 * [taylor]: Taking taylor expansion of 2 in x
1.586 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.587 * [taylor]: Taking taylor expansion of x in x
1.587 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.587 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.587 * [taylor]: Taking taylor expansion of 1/2 in eps
1.587 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.587 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.587 * [taylor]: Taking taylor expansion of eps in eps
1.587 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.587 * [taylor]: Taking taylor expansion of 2 in eps
1.587 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.587 * [taylor]: Taking taylor expansion of x in eps
1.587 * [taylor]: Taking taylor expansion of 0 in eps
1.588 * [taylor]: Taking taylor expansion of 0 in eps
1.588 * [taylor]: Taking taylor expansion of 0 in eps
1.588 * [approximate]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
1.588 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.588 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.588 * [taylor]: Taking taylor expansion of -1/2 in eps
1.588 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.588 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.588 * [taylor]: Taking taylor expansion of eps in eps
1.588 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.588 * [taylor]: Taking taylor expansion of 2 in eps
1.589 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.589 * [taylor]: Taking taylor expansion of x in eps
1.589 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.589 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.589 * [taylor]: Taking taylor expansion of -1/2 in x
1.589 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.589 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.589 * [taylor]: Taking taylor expansion of eps in x
1.589 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.589 * [taylor]: Taking taylor expansion of 2 in x
1.589 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.589 * [taylor]: Taking taylor expansion of x in x
1.589 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.589 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.589 * [taylor]: Taking taylor expansion of -1/2 in x
1.589 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.589 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.589 * [taylor]: Taking taylor expansion of eps in x
1.590 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.590 * [taylor]: Taking taylor expansion of 2 in x
1.590 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.590 * [taylor]: Taking taylor expansion of x in x
1.590 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.590 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.590 * [taylor]: Taking taylor expansion of -1/2 in eps
1.590 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.590 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.590 * [taylor]: Taking taylor expansion of eps in eps
1.590 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.590 * [taylor]: Taking taylor expansion of 2 in eps
1.590 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.590 * [taylor]: Taking taylor expansion of x in eps
1.591 * [taylor]: Taking taylor expansion of 0 in eps
1.591 * [taylor]: Taking taylor expansion of 0 in eps
1.591 * [taylor]: Taking taylor expansion of 0 in eps
1.591 * * * [progress]: simplifying candidates
1.593 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cos (/ (+ x (+ x eps)) 2)))
  (exp (cos (/ (+ x (+ x eps)) 2)))
  (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (cbrt (cos (/ (+ x (+ x eps)) 2))))
  (cbrt (cos (/ (+ x (+ x eps)) 2)))
  (* (* (cos (/ (+ x (+ x eps)) 2)) (cos (/ (+ x (+ x eps)) 2))) (cos (/ (+ x (+ x eps)) 2)))
  (sqrt (cos (/ (+ x (+ x eps)) 2)))
  (sqrt (cos (/ (+ x (+ x eps)) 2)))
  (* (log (cos (/ (+ x (+ x eps)) 2))) 9)
  (* (log (cos (/ (+ x (+ x eps)) 2))) 9)
  (* 1 9)
  (pow (cos (/ (+ x (+ x eps)) 2)) (* (cbrt 9) (cbrt 9)))
  (pow (cos (/ (+ x (+ x eps)) 2)) (sqrt 9))
  (pow (cos (/ (+ x (+ x eps)) 2)) 1)
  (pow (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (cbrt (cos (/ (+ x (+ x eps)) 2)))) 9)
  (pow (cbrt (cos (/ (+ x (+ x eps)) 2))) 9)
  (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 9)
  (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 9)
  (pow 1 9)
  (pow (cos (/ (+ x (+ x eps)) 2)) 9)
  (log (pow (cos (/ (+ x (+ x eps)) 2)) 9))
  (exp (pow (cos (/ (+ x (+ x eps)) 2)) 9))
  (* (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))
  (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))
  (* (* (pow (cos (/ (+ x (+ x eps)) 2)) 9) (pow (cos (/ (+ x (+ x eps)) 2)) 9)) (pow (cos (/ (+ x (+ x eps)) 2)) 9))
  (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))
  (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))
  (pow (cos (/ (+ x (+ x eps)) 2)) (/ 9 2))
  (pow (cos (/ (+ x (+ x eps)) 2)) (/ 9 2))
  (log (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))
  (exp (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))
  (cbrt (pow (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (cbrt (cos (/ (+ x (+ x eps)) 2)))) 9))
  (cbrt (pow (cbrt (cos (/ (+ x (+ x eps)) 2))) 9))
  (cbrt (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 9))
  (cbrt (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 9))
  (cbrt (pow 1 9))
  (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))
  (cbrt (* (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))
  (cbrt (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))
  (cbrt (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))
  (cbrt 1)
  (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))
  (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) (/ 9 2)))
  (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) (/ 9 2)))
  (* (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))) (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))
  (* (* (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))
  (sqrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))
  (sqrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))
  (log (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (exp (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (cbrt (cbrt (pow (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (cbrt (cos (/ (+ x (+ x eps)) 2)))) 9)))
  (cbrt (cbrt (pow (cbrt (cos (/ (+ x (+ x eps)) 2))) 9)))
  (cbrt (cbrt (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 9)))
  (cbrt (cbrt (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 9)))
  (cbrt (cbrt (pow 1 9)))
  (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))
  (cbrt (cbrt (* (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)) (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))))
  (cbrt (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (cbrt (cbrt (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (cbrt (cbrt (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))
  (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) (/ 9 2))))
  (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) (/ 9 2))))
  (cbrt (* (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))) (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))))
  (cbrt (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (cbrt (sqrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (cbrt (sqrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (cbrt 1)
  (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))
  (* (cbrt (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))) (cbrt (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))))
  (cbrt (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (* (* (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))) (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))) (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (sqrt (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (sqrt (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (- 1 (+ (* 1/2 (* x eps)) (* 1/2 (pow x 2))))
  (cos (* 1/2 (+ (* 2 x) eps)))
  (cos (* 1/2 (+ (* 2 x) eps)))
  (- 1 (+ (* 9/2 (* x eps)) (* 9/2 (pow x 2))))
  (pow (cos (* 1/2 (+ (* 2 x) eps))) 9)
  (pow (cos (* 1/2 (+ (* 2 x) eps))) 9)
  (- 1 (+ (* 3/2 (* x eps)) (* 3/2 (pow x 2))))
  (pow (cos (* 1/2 (+ (* 2 x) eps))) 3)
  (pow (cos (* 1/2 (+ (* 2 x) eps))) 3)
  (- 1 (+ (* 1/2 (* x eps)) (* 1/2 (pow x 2))))
  (cos (* 1/2 (+ (* 2 x) eps)))
  (cos (* 1/2 (+ (* 2 x) eps)))
1.649 * * [simplify]: iteration  0 :  5086  enodes  (cost  992 )
1.657 * [simplify]: Simplified to:
   (log (cos (/ (+ x (+ x eps)) 2)))
  (exp (cos (/ (+ x (+ x eps)) 2)))
  (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (cbrt (cos (/ (+ x (+ x eps)) 2))))
  (cbrt (cos (/ (+ x (+ x eps)) 2)))
  (pow (cos (/ (+ x (+ x eps)) 2)) 3)
  (sqrt (cos (/ (+ x (+ x eps)) 2)))
  (sqrt (cos (/ (+ x (+ x eps)) 2)))
  (* (log (cos (/ (+ x (+ x eps)) 2))) 9)
  (* (log (cos (/ (+ x (+ x eps)) 2))) 9)
  9
  (pow (cos (/ (+ x (+ x eps)) 2)) (* (cbrt 9) (cbrt 9)))
  (pow (cos (/ (+ x (+ x eps)) 2)) 3)
  (cos (/ (+ x (+ x eps)) 2))
  (pow (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (cbrt (cos (/ (+ x (+ x eps)) 2)))) 9)
  (pow (cbrt (cos (/ (+ x (+ x eps)) 2))) 9)
  (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 9)
  (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 9)
  1
  (pow (cos (/ (+ x (+ x eps)) 2)) 9)
  (* (log (cos (/ (+ x (+ x eps)) 2))) 9)
  (exp (pow (cos (/ (+ x (+ x eps)) 2)) 9))
  (pow (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))) 6)
  (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))
  (pow (pow (cos (/ (+ x (+ x eps)) 2)) 9) 3)
  (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))
  (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))
  (pow (cos (/ (+ x (+ x eps)) 2)) 9/2)
  (pow (cos (/ (+ x (+ x eps)) 2)) 9/2)
  (log (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))
  (exp (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))
  (cbrt (pow (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (cbrt (cos (/ (+ x (+ x eps)) 2)))) 9))
  (cbrt (pow (cbrt (cos (/ (+ x (+ x eps)) 2))) 9))
  (cbrt (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 9))
  (cbrt (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 9))
  (cbrt 1)
  (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))
  (cbrt (pow (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))) 6))
  (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))
  (cbrt (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))
  (cbrt (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))
  (cbrt 1)
  (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))
  (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9/2))
  (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9/2))
  (* (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))) (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))
  (pow (cos (/ (+ x (+ x eps)) 2)) 9)
  (sqrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))
  (sqrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))
  (log (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (exp (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (cbrt (cbrt (pow (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (cbrt (cos (/ (+ x (+ x eps)) 2)))) 9)))
  (cbrt (cbrt (pow (cbrt (cos (/ (+ x (+ x eps)) 2))) 9)))
  (cbrt (cbrt (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 9)))
  (cbrt (cbrt (pow (sqrt (cos (/ (+ x (+ x eps)) 2))) 9)))
  (cbrt (cbrt 1))
  (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))
  (cbrt (cbrt (pow (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))) 6)))
  (cbrt (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (cbrt (cbrt (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (cbrt (cbrt (sqrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))
  (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9/2)))
  (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9/2)))
  (cbrt (* (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))) (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))))
  (cbrt (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (cbrt (sqrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (cbrt (sqrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (cbrt 1)
  (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))
  (* (cbrt (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))) (cbrt (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9)))))
  (cbrt (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))
  (sqrt (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (sqrt (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))
  (+ 1 (* x (* (+ x eps) -1/2)))
  (cos (+ x (* eps 1/2)))
  (cos (+ x (* eps 1/2)))
  (+ 1 (* x (* (+ x eps) -9/2)))
  (pow (cos (+ x (* eps 1/2))) 9)
  (pow (cos (+ x (* eps 1/2))) 9)
  (+ 1 (* x (* (+ x eps) -3/2)))
  (pow (cos (+ x (* eps 1/2))) 3)
  (pow (cos (+ x (* eps 1/2))) 3)
  (+ 1 (* x (* (+ x eps) -1/2)))
  (cos (+ x (* eps 1/2)))
  (cos (+ x (* eps 1/2)))
1.658 * * * [progress]: adding candidates to table
1.991 * [progress]: [Phase 3 of 3] Extracting.
1.991 * * [regime]: Finding splitpoints for: (#<alt (λ (x eps) (* 2 (cbrt (pow (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2))) 3))))> #<alt (λ (x eps) (- (+ (* (sin x) (cos eps)) (* (cos x) (sin eps))) (sin x)))> #<alt (λ (x eps) (* 2 (* (sqrt (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2)))) (sqrt (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2)))))))> #<alt (λ (x eps) (* 2 (* (sin (/ eps 2)) (log (exp (cos (/ (+ x (+ x eps)) 2)))))))> #<alt (λ (x eps) (* 2 (* (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (sin (/ eps 2)))) (cbrt (cos (/ (+ x (+ x eps)) 2))))))> #<alt (λ (x eps) (* 2 (* (* (sqrt (cos (/ (+ x (+ x eps)) 2))) (sin (/ eps 2))) (sqrt (cos (/ (+ x (+ x eps)) 2))))))> #<alt (λ (x eps) (* 2 (* (sin (/ eps 2)) (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))))> #<alt (λ (x eps) (+ (* (sin x) (cos eps)) (- (* (cos x) (sin eps)) (sin x))))> #<alt (λ (x eps) (* 2 (* (sin (/ eps 2)) (cos (/ (+ x (+ x eps)) 2)))))> #<alt (λ (x eps) (* 2 (* (sin (/ eps 2)) (cbrt (log (exp (pow (cos (/ (+ x (+ x eps)) 2)) 3)))))))>)
1.995 * * * [regime-changes]: Trying 2 branch expressions: (eps x)
1.995 * * * * [regimes]: Trying to branch on eps from (#<alt (λ (x eps) (* 2 (cbrt (pow (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2))) 3))))> #<alt (λ (x eps) (- (+ (* (sin x) (cos eps)) (* (cos x) (sin eps))) (sin x)))> #<alt (λ (x eps) (* 2 (* (sqrt (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2)))) (sqrt (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2)))))))> #<alt (λ (x eps) (* 2 (* (sin (/ eps 2)) (log (exp (cos (/ (+ x (+ x eps)) 2)))))))> #<alt (λ (x eps) (* 2 (* (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (sin (/ eps 2)))) (cbrt (cos (/ (+ x (+ x eps)) 2))))))> #<alt (λ (x eps) (* 2 (* (* (sqrt (cos (/ (+ x (+ x eps)) 2))) (sin (/ eps 2))) (sqrt (cos (/ (+ x (+ x eps)) 2))))))> #<alt (λ (x eps) (* 2 (* (sin (/ eps 2)) (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))))> #<alt (λ (x eps) (+ (* (sin x) (cos eps)) (- (* (cos x) (sin eps)) (sin x))))> #<alt (λ (x eps) (* 2 (* (sin (/ eps 2)) (cos (/ (+ x (+ x eps)) 2)))))> #<alt (λ (x eps) (* 2 (* (sin (/ eps 2)) (cbrt (log (exp (pow (cos (/ (+ x (+ x eps)) 2)) 3)))))))>)
2.165 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x eps) (* 2 (cbrt (pow (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2))) 3))))> #<alt (λ (x eps) (- (+ (* (sin x) (cos eps)) (* (cos x) (sin eps))) (sin x)))> #<alt (λ (x eps) (* 2 (* (sqrt (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2)))) (sqrt (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2)))))))> #<alt (λ (x eps) (* 2 (* (sin (/ eps 2)) (log (exp (cos (/ (+ x (+ x eps)) 2)))))))> #<alt (λ (x eps) (* 2 (* (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (sin (/ eps 2)))) (cbrt (cos (/ (+ x (+ x eps)) 2))))))> #<alt (λ (x eps) (* 2 (* (* (sqrt (cos (/ (+ x (+ x eps)) 2))) (sin (/ eps 2))) (sqrt (cos (/ (+ x (+ x eps)) 2))))))> #<alt (λ (x eps) (* 2 (* (sin (/ eps 2)) (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))))> #<alt (λ (x eps) (+ (* (sin x) (cos eps)) (- (* (cos x) (sin eps)) (sin x))))> #<alt (λ (x eps) (* 2 (* (sin (/ eps 2)) (cos (/ (+ x (+ x eps)) 2)))))> #<alt (λ (x eps) (* 2 (* (sin (/ eps 2)) (cbrt (log (exp (pow (cos (/ (+ x (+ x eps)) 2)) 3)))))))>)
2.339 * * * [regime]: Found split indices: #<option (#s(si 1 71) #s(si 8 189) #s(si 1 255))>
2.340 * [binary-search]: Improving bounds with binary search for eps and (#<alt (λ (x eps) (* 2 (cbrt (pow (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2))) 3))))> #<alt (λ (x eps) (- (+ (* (sin x) (cos eps)) (* (cos x) (sin eps))) (sin x)))> #<alt (λ (x eps) (* 2 (* (sqrt (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2)))) (sqrt (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2)))))))> #<alt (λ (x eps) (* 2 (* (sin (/ eps 2)) (log (exp (cos (/ (+ x (+ x eps)) 2)))))))> #<alt (λ (x eps) (* 2 (* (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (sin (/ eps 2)))) (cbrt (cos (/ (+ x (+ x eps)) 2))))))> #<alt (λ (x eps) (* 2 (* (* (sqrt (cos (/ (+ x (+ x eps)) 2))) (sin (/ eps 2))) (sqrt (cos (/ (+ x (+ x eps)) 2))))))> #<alt (λ (x eps) (* 2 (* (sin (/ eps 2)) (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))))> #<alt (λ (x eps) (+ (* (sin x) (cos eps)) (- (* (cos x) (sin eps)) (sin x))))> #<alt (λ (x eps) (* 2 (* (sin (/ eps 2)) (cos (/ (+ x (+ x eps)) 2)))))> #<alt (λ (x eps) (* 2 (* (sin (/ eps 2)) (cbrt (log (exp (pow (cos (/ (+ x (+ x eps)) 2)) 3)))))))>)
2.481 * [regimes]: Found splitpoints: (#s(sp 1 eps -7.340102683950476e-09) #s(sp 8 eps 9.346320854214707e-23) #s(sp 1 eps +nan.0)) , with alts (#<alt (λ (x eps) (* 2 (cbrt (pow (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2))) 3))))> #<alt (λ (x eps) (- (+ (* (sin x) (cos eps)) (* (cos x) (sin eps))) (sin x)))> #<alt (λ (x eps) (* 2 (* (sqrt (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2)))) (sqrt (* (cos (/ (+ x (+ x eps)) 2)) (sin (/ eps 2)))))))> #<alt (λ (x eps) (* 2 (* (sin (/ eps 2)) (log (exp (cos (/ (+ x (+ x eps)) 2)))))))> #<alt (λ (x eps) (* 2 (* (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (* (cbrt (cos (/ (+ x (+ x eps)) 2))) (sin (/ eps 2)))) (cbrt (cos (/ (+ x (+ x eps)) 2))))))> #<alt (λ (x eps) (* 2 (* (* (sqrt (cos (/ (+ x (+ x eps)) 2))) (sin (/ eps 2))) (sqrt (cos (/ (+ x (+ x eps)) 2))))))> #<alt (λ (x eps) (* 2 (* (sin (/ eps 2)) (cbrt (cbrt (pow (cos (/ (+ x (+ x eps)) 2)) 9))))))> #<alt (λ (x eps) (+ (* (sin x) (cos eps)) (- (* (cos x) (sin eps)) (sin x))))> #<alt (λ (x eps) (* 2 (* (sin (/ eps 2)) (cos (/ (+ x (+ x eps)) 2)))))> #<alt (λ (x eps) (* 2 (* (sin (/ eps 2)) (cbrt (log (exp (pow (cos (/ (+ x (+ x eps)) 2)) 3)))))))>)
2.481 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= eps -7.340102683950476e-09) (- (+ (* (sin x) (cos eps)) (* (cos x) (sin eps))) (sin x)) (if (<= eps 9.346320854214707e-23) (* 2 (* (sin (/ eps 2)) (cos (/ (+ x (+ x eps)) 2)))) (- (+ (* (sin x) (cos eps)) (* (cos x) (sin eps))) (sin x))))
2.483 * * [simplify]: iteration  0 :  45  enodes  (cost  38 )
2.483 * * [simplify]: iteration  1 :  45  enodes  (cost  38 )
2.483 * [simplify]: Simplified to:
   (if (or (<= eps -7.340102683950476e-09) (not (<= eps 9.346320854214707e-23))) (- (+ (* (sin x) (cos eps)) (* (cos x) (sin eps))) (sin x)) (* 2 (* (sin (/ eps 2)) (cos (/ (+ x (+ eps x)) 2)))))
10.896 * [regime-testing]: End program error score: 0.6472819431604758
11.055 * [regime-testing]: Target error score: 15.524626444442061