10.616 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.105 * * * [progress]: [2/2] Setting up program.
0.109 * [progress]: [Phase 2 of 3] Improving.
0.109 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (cos (+ x eps)) (cos x))
0.113 * * [simplify]: iteration  0 :  77  enodes  (cost  7 )
0.113 * * [simplify]: iteration  1 :  77  enodes  (cost  7 )
0.114 * [simplify]: Simplified to:
   (- (cos (+ x eps)) (cos x))
0.114 * * [progress]: iteration 1 / 4
0.114 * * * [progress]: picking best candidate
0.117 * * * * [pick]: Picked  #<alt (λ (x eps) (- (cos (+ x eps)) (cos x)))>
0.117 * * * [progress]: localizing error
0.125 * * * [progress]: generating rewritten candidates
0.125 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.129 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.136 * * * [progress]: generating series expansions
0.136 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.136 * [approximate]: Taking taylor expansion of (cos (+ x eps)) in (x eps) around 0
0.136 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in eps
0.136 * [taylor]: Taking taylor expansion of (+ x eps) in eps
0.136 * [taylor]: Taking taylor expansion of x in eps
0.136 * [taylor]: Taking taylor expansion of eps in eps
0.136 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in x
0.136 * [taylor]: Taking taylor expansion of (+ x eps) in x
0.136 * [taylor]: Taking taylor expansion of x in x
0.136 * [taylor]: Taking taylor expansion of eps in x
0.136 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in x
0.136 * [taylor]: Taking taylor expansion of (+ x eps) in x
0.136 * [taylor]: Taking taylor expansion of x in x
0.136 * [taylor]: Taking taylor expansion of eps in x
0.137 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.137 * [taylor]: Taking taylor expansion of eps in eps
0.138 * [taylor]: Taking taylor expansion of (neg (sin eps)) in eps
0.138 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.138 * [taylor]: Taking taylor expansion of eps in eps
0.138 * [taylor]: Taking taylor expansion of (neg (* 1/2 (cos eps))) in eps
0.138 * [taylor]: Taking taylor expansion of (* 1/2 (cos eps)) in eps
0.138 * [taylor]: Taking taylor expansion of 1/2 in eps
0.138 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.138 * [taylor]: Taking taylor expansion of eps in eps
0.139 * [approximate]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in (x eps) around 0
0.139 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in eps
0.139 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.139 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.139 * [taylor]: Taking taylor expansion of eps in eps
0.139 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.139 * [taylor]: Taking taylor expansion of x in eps
0.139 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in x
0.139 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.139 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.139 * [taylor]: Taking taylor expansion of eps in x
0.139 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.139 * [taylor]: Taking taylor expansion of x in x
0.139 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in x
0.139 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.139 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.139 * [taylor]: Taking taylor expansion of eps in x
0.139 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.139 * [taylor]: Taking taylor expansion of x in x
0.139 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in eps
0.139 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.139 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.139 * [taylor]: Taking taylor expansion of eps in eps
0.139 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.139 * [taylor]: Taking taylor expansion of x in eps
0.139 * [taylor]: Taking taylor expansion of 0 in eps
0.139 * [taylor]: Taking taylor expansion of 0 in eps
0.140 * [taylor]: Taking taylor expansion of 0 in eps
0.140 * [approximate]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in (x eps) around 0
0.140 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in eps
0.140 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in eps
0.140 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.140 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.140 * [taylor]: Taking taylor expansion of eps in eps
0.140 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.140 * [taylor]: Taking taylor expansion of x in eps
0.140 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in x
0.140 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in x
0.140 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.140 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.140 * [taylor]: Taking taylor expansion of eps in x
0.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.140 * [taylor]: Taking taylor expansion of x in x
0.140 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in x
0.140 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in x
0.140 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.140 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.140 * [taylor]: Taking taylor expansion of eps in x
0.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.140 * [taylor]: Taking taylor expansion of x in x
0.140 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in eps
0.140 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in eps
0.140 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.140 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.140 * [taylor]: Taking taylor expansion of eps in eps
0.140 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.140 * [taylor]: Taking taylor expansion of x in eps
0.141 * [taylor]: Taking taylor expansion of 0 in eps
0.141 * [taylor]: Taking taylor expansion of 0 in eps
0.141 * [taylor]: Taking taylor expansion of 0 in eps
0.141 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.141 * [approximate]: Taking taylor expansion of (- (cos (+ x eps)) (cos x)) in (x eps) around 0
0.141 * [taylor]: Taking taylor expansion of (- (cos (+ x eps)) (cos x)) in eps
0.141 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in eps
0.141 * [taylor]: Taking taylor expansion of (+ x eps) in eps
0.141 * [taylor]: Taking taylor expansion of x in eps
0.141 * [taylor]: Taking taylor expansion of eps in eps
0.141 * [taylor]: Taking taylor expansion of (cos x) in eps
0.141 * [taylor]: Taking taylor expansion of x in eps
0.141 * [taylor]: Taking taylor expansion of (- (cos (+ x eps)) (cos x)) in x
0.141 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in x
0.141 * [taylor]: Taking taylor expansion of (+ x eps) in x
0.141 * [taylor]: Taking taylor expansion of x in x
0.141 * [taylor]: Taking taylor expansion of eps in x
0.141 * [taylor]: Taking taylor expansion of (cos x) in x
0.141 * [taylor]: Taking taylor expansion of x in x
0.141 * [taylor]: Taking taylor expansion of (- (cos (+ x eps)) (cos x)) in x
0.141 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in x
0.141 * [taylor]: Taking taylor expansion of (+ x eps) in x
0.141 * [taylor]: Taking taylor expansion of x in x
0.141 * [taylor]: Taking taylor expansion of eps in x
0.141 * [taylor]: Taking taylor expansion of (cos x) in x
0.141 * [taylor]: Taking taylor expansion of x in x
0.142 * [taylor]: Taking taylor expansion of (- (cos eps) 1) in eps
0.142 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.142 * [taylor]: Taking taylor expansion of eps in eps
0.142 * [taylor]: Taking taylor expansion of 1 in eps
0.142 * [taylor]: Taking taylor expansion of (neg (sin eps)) in eps
0.142 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.142 * [taylor]: Taking taylor expansion of eps in eps
0.142 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/2 (cos eps))) in eps
0.142 * [taylor]: Taking taylor expansion of 1/2 in eps
0.142 * [taylor]: Taking taylor expansion of (* 1/2 (cos eps)) in eps
0.142 * [taylor]: Taking taylor expansion of 1/2 in eps
0.142 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.142 * [taylor]: Taking taylor expansion of eps in eps
0.143 * [taylor]: Taking taylor expansion of (* 1/6 (sin eps)) in eps
0.143 * [taylor]: Taking taylor expansion of 1/6 in eps
0.143 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.143 * [taylor]: Taking taylor expansion of eps in eps
0.144 * [taylor]: Taking taylor expansion of (- (* 1/24 (cos eps)) 1/24) in eps
0.144 * [taylor]: Taking taylor expansion of (* 1/24 (cos eps)) in eps
0.144 * [taylor]: Taking taylor expansion of 1/24 in eps
0.144 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.144 * [taylor]: Taking taylor expansion of eps in eps
0.144 * [taylor]: Taking taylor expansion of 1/24 in eps
0.145 * [approximate]: Taking taylor expansion of (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in (x eps) around 0
0.145 * [taylor]: Taking taylor expansion of (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in eps
0.145 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in eps
0.145 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.145 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.145 * [taylor]: Taking taylor expansion of eps in eps
0.145 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.145 * [taylor]: Taking taylor expansion of x in eps
0.145 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
0.145 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.145 * [taylor]: Taking taylor expansion of x in eps
0.145 * [taylor]: Taking taylor expansion of (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in x
0.145 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in x
0.145 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.145 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.145 * [taylor]: Taking taylor expansion of eps in x
0.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.145 * [taylor]: Taking taylor expansion of x in x
0.145 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.145 * [taylor]: Taking taylor expansion of x in x
0.145 * [taylor]: Taking taylor expansion of (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in x
0.145 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in x
0.145 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.146 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.146 * [taylor]: Taking taylor expansion of eps in x
0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.146 * [taylor]: Taking taylor expansion of x in x
0.146 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.146 * [taylor]: Taking taylor expansion of x in x
0.146 * [taylor]: Taking taylor expansion of (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in eps
0.146 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in eps
0.146 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.146 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.146 * [taylor]: Taking taylor expansion of eps in eps
0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.146 * [taylor]: Taking taylor expansion of x in eps
0.146 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.146 * [taylor]: Taking taylor expansion of x in eps
0.146 * [taylor]: Taking taylor expansion of 0 in eps
0.147 * [taylor]: Taking taylor expansion of 0 in eps
0.147 * [taylor]: Taking taylor expansion of 0 in eps
0.147 * [approximate]: Taking taylor expansion of (- (cos (neg (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in (x eps) around 0
0.147 * [taylor]: Taking taylor expansion of (- (cos (neg (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in eps
0.147 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in eps
0.147 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in eps
0.147 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.147 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.147 * [taylor]: Taking taylor expansion of eps in eps
0.147 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.147 * [taylor]: Taking taylor expansion of x in eps
0.147 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
0.148 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.148 * [taylor]: Taking taylor expansion of -1 in eps
0.148 * [taylor]: Taking taylor expansion of x in eps
0.148 * [taylor]: Taking taylor expansion of (- (cos (neg (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in x
0.148 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in x
0.148 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in x
0.148 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.148 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.148 * [taylor]: Taking taylor expansion of eps in x
0.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.148 * [taylor]: Taking taylor expansion of x in x
0.148 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.148 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.148 * [taylor]: Taking taylor expansion of -1 in x
0.148 * [taylor]: Taking taylor expansion of x in x
0.148 * [taylor]: Taking taylor expansion of (- (cos (neg (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in x
0.148 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in x
0.148 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in x
0.148 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.148 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.148 * [taylor]: Taking taylor expansion of eps in x
0.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.148 * [taylor]: Taking taylor expansion of x in x
0.148 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.148 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.148 * [taylor]: Taking taylor expansion of -1 in x
0.148 * [taylor]: Taking taylor expansion of x in x
0.148 * [taylor]: Taking taylor expansion of (- (cos (neg (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in eps
0.148 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in eps
0.148 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in eps
0.148 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.148 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.148 * [taylor]: Taking taylor expansion of eps in eps
0.149 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.149 * [taylor]: Taking taylor expansion of x in eps
0.149 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
0.149 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.149 * [taylor]: Taking taylor expansion of -1 in eps
0.149 * [taylor]: Taking taylor expansion of x in eps
0.149 * [taylor]: Taking taylor expansion of 0 in eps
0.149 * [taylor]: Taking taylor expansion of 0 in eps
0.150 * [taylor]: Taking taylor expansion of 0 in eps
0.150 * * * [progress]: simplifying candidates
0.150 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (cos x) (cos eps))
  (* (sin x) (sin eps))
  (log (cos (+ x eps)))
  (exp (cos (+ x eps)))
  (* (cbrt (cos (+ x eps))) (cbrt (cos (+ x eps))))
  (cbrt (cos (+ x eps)))
  (* (* (cos (+ x eps)) (cos (+ x eps))) (cos (+ x eps)))
  (sqrt (cos (+ x eps)))
  (sqrt (cos (+ x eps)))
  (* (sin (/ (- (+ x eps) x) 2)) (sin (/ (+ (+ x eps) x) 2)))
  (/ (exp (cos (+ x eps))) (exp (cos x)))
  (log (- (cos (+ x eps)) (cos x)))
  (exp (- (cos (+ x eps)) (cos x)))
  (* (cbrt (- (cos (+ x eps)) (cos x))) (cbrt (- (cos (+ x eps)) (cos x))))
  (cbrt (- (cos (+ x eps)) (cos x)))
  (* (* (- (cos (+ x eps)) (cos x)) (- (cos (+ x eps)) (cos x))) (- (cos (+ x eps)) (cos x)))
  (sqrt (- (cos (+ x eps)) (cos x)))
  (sqrt (- (cos (+ x eps)) (cos x)))
  (- (pow (cos (+ x eps)) 3) (pow (cos x) 3))
  (+ (* (cos (+ x eps)) (cos (+ x eps))) (+ (* (cos x) (cos x)) (* (cos (+ x eps)) (cos x))))
  (neg (cos x))
  (- (* (cos (+ x eps)) (cos (+ x eps))) (* (cos x) (cos x)))
  (+ (cos (+ x eps)) (cos x))
  (+ (sqrt (cos (+ x eps))) (sqrt (cos x)))
  (- (sqrt (cos (+ x eps))) (sqrt (cos x)))
  (- (cos (+ x eps)) (cos x))
  (+ (* (sin x) (sin eps)) (cos x))
  (- 1 (+ (* x eps) (* 1/2 (pow x 2))))
  (cos (+ x eps))
  (cos (+ x eps))
  (- (* 1/6 (* (pow x 3) eps)) (+ (* x eps) (* 1/2 (pow eps 2))))
  (- (cos (+ x eps)) (cos x))
  (- (cos (+ x eps)) (cos x))
0.202 * * [simplify]: iteration  0 :  4957  enodes  (cost  270 )
0.202 * * [simplify]: iteration  1 :  4957  enodes  (cost  270 )
0.204 * [simplify]: Simplified to:
   (* (cos x) (cos eps))
  (* (sin x) (sin eps))
  (log (cos (+ x eps)))
  (exp (cos (+ x eps)))
  (* (cbrt (cos (+ x eps))) (cbrt (cos (+ x eps))))
  (cbrt (cos (+ x eps)))
  (pow (cos (+ x eps)) 3)
  (sqrt (cos (+ x eps)))
  (sqrt (cos (+ x eps)))
  (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2)))
  (exp (- (cos (+ x eps)) (cos x)))
  (log (- (cos (+ x eps)) (cos x)))
  (exp (- (cos (+ x eps)) (cos x)))
  (* (cbrt (- (cos (+ x eps)) (cos x))) (cbrt (- (cos (+ x eps)) (cos x))))
  (cbrt (- (cos (+ x eps)) (cos x)))
  (pow (- (cos (+ x eps)) (cos x)) 3)
  (sqrt (- (cos (+ x eps)) (cos x)))
  (sqrt (- (cos (+ x eps)) (cos x)))
  (- (pow (cos (+ x eps)) 3) (pow (cos x) 3))
  (+ (* (cos x) (cos x)) (* (cos (+ x eps)) (+ (cos x) (cos (+ x eps)))))
  (neg (cos x))
  (- (* (cos (+ x eps)) (cos (+ x eps))) (* (cos x) (cos x)))
  (+ (cos x) (cos (+ x eps)))
  (+ (sqrt (cos (+ x eps))) (sqrt (cos x)))
  (- (sqrt (cos (+ x eps))) (sqrt (cos x)))
  (- (cos (+ x eps)) (cos x))
  (+ (cos x) (* (sin x) (sin eps)))
  (+ 1 (* x (- (* x -1/2) eps)))
  (cos (+ x eps))
  (cos (+ x eps))
  (* eps (+ (* 1/6 (pow x 3)) (- (* eps -1/2) x)))
  (- (cos (+ x eps)) (cos x))
  (- (cos (+ x eps)) (cos x))
0.204 * * * [progress]: adding candidates to table
0.247 * * [progress]: iteration 2 / 4
0.247 * * * [progress]: picking best candidate
0.267 * * * * [pick]: Picked  #<alt (λ (x eps) (* -2 (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2)))))>
0.267 * * * [progress]: localizing error
0.280 * * * [progress]: generating rewritten candidates
0.280 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.282 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.288 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1)
0.294 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.302 * * * [progress]: generating series expansions
0.302 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.302 * [approximate]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in (x eps) around 0
0.302 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in eps
0.302 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
0.302 * [taylor]: Taking taylor expansion of 1/2 in eps
0.302 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
0.302 * [taylor]: Taking taylor expansion of (* 2 x) in eps
0.302 * [taylor]: Taking taylor expansion of 2 in eps
0.302 * [taylor]: Taking taylor expansion of x in eps
0.302 * [taylor]: Taking taylor expansion of eps in eps
0.303 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in x
0.303 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
0.303 * [taylor]: Taking taylor expansion of 1/2 in x
0.303 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.303 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.303 * [taylor]: Taking taylor expansion of 2 in x
0.303 * [taylor]: Taking taylor expansion of x in x
0.303 * [taylor]: Taking taylor expansion of eps in x
0.303 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in x
0.303 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
0.303 * [taylor]: Taking taylor expansion of 1/2 in x
0.303 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.303 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.303 * [taylor]: Taking taylor expansion of 2 in x
0.303 * [taylor]: Taking taylor expansion of x in x
0.303 * [taylor]: Taking taylor expansion of eps in x
0.304 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.304 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.304 * [taylor]: Taking taylor expansion of 1/2 in eps
0.304 * [taylor]: Taking taylor expansion of eps in eps
0.304 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.304 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.304 * [taylor]: Taking taylor expansion of 1/2 in eps
0.304 * [taylor]: Taking taylor expansion of eps in eps
0.304 * [taylor]: Taking taylor expansion of (neg (* 1/2 (sin (* 1/2 eps)))) in eps
0.304 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/2 eps))) in eps
0.304 * [taylor]: Taking taylor expansion of 1/2 in eps
0.305 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.305 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.305 * [taylor]: Taking taylor expansion of 1/2 in eps
0.305 * [taylor]: Taking taylor expansion of eps in eps
0.305 * [taylor]: Taking taylor expansion of (neg (* 1/6 (cos (* 1/2 eps)))) in eps
0.305 * [taylor]: Taking taylor expansion of (* 1/6 (cos (* 1/2 eps))) in eps
0.305 * [taylor]: Taking taylor expansion of 1/6 in eps
0.305 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.305 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.305 * [taylor]: Taking taylor expansion of 1/2 in eps
0.305 * [taylor]: Taking taylor expansion of eps in eps
0.306 * [approximate]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
0.306 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.306 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.306 * [taylor]: Taking taylor expansion of 1/2 in eps
0.306 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.306 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.306 * [taylor]: Taking taylor expansion of eps in eps
0.306 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.306 * [taylor]: Taking taylor expansion of 2 in eps
0.306 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.306 * [taylor]: Taking taylor expansion of x in eps
0.306 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.306 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.306 * [taylor]: Taking taylor expansion of 1/2 in x
0.306 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.306 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.306 * [taylor]: Taking taylor expansion of eps in x
0.306 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.306 * [taylor]: Taking taylor expansion of 2 in x
0.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.306 * [taylor]: Taking taylor expansion of x in x
0.306 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.306 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.306 * [taylor]: Taking taylor expansion of 1/2 in x
0.306 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.306 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.306 * [taylor]: Taking taylor expansion of eps in x
0.306 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.306 * [taylor]: Taking taylor expansion of 2 in x
0.309 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.309 * [taylor]: Taking taylor expansion of x in x
0.309 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.309 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.309 * [taylor]: Taking taylor expansion of 1/2 in eps
0.309 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.309 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.309 * [taylor]: Taking taylor expansion of eps in eps
0.309 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.309 * [taylor]: Taking taylor expansion of 2 in eps
0.309 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.309 * [taylor]: Taking taylor expansion of x in eps
0.309 * [taylor]: Taking taylor expansion of 0 in eps
0.309 * [taylor]: Taking taylor expansion of 0 in eps
0.309 * [taylor]: Taking taylor expansion of 0 in eps
0.310 * [approximate]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
0.310 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.310 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.310 * [taylor]: Taking taylor expansion of -1/2 in eps
0.310 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.310 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.310 * [taylor]: Taking taylor expansion of eps in eps
0.310 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.310 * [taylor]: Taking taylor expansion of 2 in eps
0.310 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.310 * [taylor]: Taking taylor expansion of x in eps
0.310 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.310 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.310 * [taylor]: Taking taylor expansion of -1/2 in x
0.310 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.310 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.310 * [taylor]: Taking taylor expansion of eps in x
0.310 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.310 * [taylor]: Taking taylor expansion of 2 in x
0.310 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.310 * [taylor]: Taking taylor expansion of x in x
0.310 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.310 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.310 * [taylor]: Taking taylor expansion of -1/2 in x
0.310 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.310 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.310 * [taylor]: Taking taylor expansion of eps in x
0.310 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.310 * [taylor]: Taking taylor expansion of 2 in x
0.310 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.310 * [taylor]: Taking taylor expansion of x in x
0.311 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.311 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.311 * [taylor]: Taking taylor expansion of -1/2 in eps
0.311 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.311 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.311 * [taylor]: Taking taylor expansion of eps in eps
0.311 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.311 * [taylor]: Taking taylor expansion of 2 in eps
0.311 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.311 * [taylor]: Taking taylor expansion of x in eps
0.311 * [taylor]: Taking taylor expansion of 0 in eps
0.311 * [taylor]: Taking taylor expansion of 0 in eps
0.311 * [taylor]: Taking taylor expansion of 0 in eps
0.311 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
0.311 * [approximate]: Taking taylor expansion of (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) in (eps x) around 0
0.311 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) in x
0.311 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in x
0.311 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
0.311 * [taylor]: Taking taylor expansion of 1/2 in x
0.311 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.311 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.311 * [taylor]: Taking taylor expansion of 2 in x
0.311 * [taylor]: Taking taylor expansion of x in x
0.311 * [taylor]: Taking taylor expansion of eps in x
0.311 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x
0.311 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
0.312 * [taylor]: Taking taylor expansion of 1/2 in x
0.312 * [taylor]: Taking taylor expansion of eps in x
0.312 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) in eps
0.312 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in eps
0.312 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
0.312 * [taylor]: Taking taylor expansion of 1/2 in eps
0.312 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
0.312 * [taylor]: Taking taylor expansion of (* 2 x) in eps
0.312 * [taylor]: Taking taylor expansion of 2 in eps
0.312 * [taylor]: Taking taylor expansion of x in eps
0.312 * [taylor]: Taking taylor expansion of eps in eps
0.312 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.312 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.312 * [taylor]: Taking taylor expansion of 1/2 in eps
0.312 * [taylor]: Taking taylor expansion of eps in eps
0.312 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) in eps
0.312 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in eps
0.312 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
0.312 * [taylor]: Taking taylor expansion of 1/2 in eps
0.312 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
0.312 * [taylor]: Taking taylor expansion of (* 2 x) in eps
0.312 * [taylor]: Taking taylor expansion of 2 in eps
0.312 * [taylor]: Taking taylor expansion of x in eps
0.312 * [taylor]: Taking taylor expansion of eps in eps
0.312 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.312 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.312 * [taylor]: Taking taylor expansion of 1/2 in eps
0.312 * [taylor]: Taking taylor expansion of eps in eps
0.312 * [taylor]: Taking taylor expansion of 0 in x
0.313 * [taylor]: Taking taylor expansion of (* 1/2 (sin x)) in x
0.313 * [taylor]: Taking taylor expansion of 1/2 in x
0.313 * [taylor]: Taking taylor expansion of (sin x) in x
0.313 * [taylor]: Taking taylor expansion of x in x
0.313 * [taylor]: Taking taylor expansion of (* 1/4 (cos x)) in x
0.313 * [taylor]: Taking taylor expansion of 1/4 in x
0.313 * [taylor]: Taking taylor expansion of (cos x) in x
0.313 * [taylor]: Taking taylor expansion of x in x
0.314 * [taylor]: Taking taylor expansion of (neg (* 1/12 (sin x))) in x
0.314 * [taylor]: Taking taylor expansion of (* 1/12 (sin x)) in x
0.314 * [taylor]: Taking taylor expansion of 1/12 in x
0.314 * [taylor]: Taking taylor expansion of (sin x) in x
0.314 * [taylor]: Taking taylor expansion of x in x
0.315 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos x))) in x
0.315 * [taylor]: Taking taylor expansion of (* 1/48 (cos x)) in x
0.316 * [taylor]: Taking taylor expansion of 1/48 in x
0.316 * [taylor]: Taking taylor expansion of (cos x) in x
0.316 * [taylor]: Taking taylor expansion of x in x
0.316 * [approximate]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in (eps x) around 0
0.316 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
0.316 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x
0.316 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x
0.316 * [taylor]: Taking taylor expansion of 1/2 in x
0.316 * [taylor]: Taking taylor expansion of eps in x
0.316 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.316 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.316 * [taylor]: Taking taylor expansion of 1/2 in x
0.316 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.316 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.316 * [taylor]: Taking taylor expansion of eps in x
0.316 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.316 * [taylor]: Taking taylor expansion of 2 in x
0.316 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.316 * [taylor]: Taking taylor expansion of x in x
0.316 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
0.316 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
0.316 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
0.316 * [taylor]: Taking taylor expansion of 1/2 in eps
0.316 * [taylor]: Taking taylor expansion of eps in eps
0.317 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.317 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.317 * [taylor]: Taking taylor expansion of 1/2 in eps
0.317 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.317 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.317 * [taylor]: Taking taylor expansion of eps in eps
0.317 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.317 * [taylor]: Taking taylor expansion of 2 in eps
0.317 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.317 * [taylor]: Taking taylor expansion of x in eps
0.317 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
0.317 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
0.317 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
0.317 * [taylor]: Taking taylor expansion of 1/2 in eps
0.317 * [taylor]: Taking taylor expansion of eps in eps
0.317 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.317 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.317 * [taylor]: Taking taylor expansion of 1/2 in eps
0.317 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.317 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.317 * [taylor]: Taking taylor expansion of eps in eps
0.317 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.317 * [taylor]: Taking taylor expansion of 2 in eps
0.317 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.317 * [taylor]: Taking taylor expansion of x in eps
0.317 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
0.317 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x
0.317 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x
0.317 * [taylor]: Taking taylor expansion of 1/2 in x
0.317 * [taylor]: Taking taylor expansion of eps in x
0.317 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.317 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.317 * [taylor]: Taking taylor expansion of 1/2 in x
0.317 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.318 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.318 * [taylor]: Taking taylor expansion of eps in x
0.318 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.318 * [taylor]: Taking taylor expansion of 2 in x
0.318 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.318 * [taylor]: Taking taylor expansion of x in x
0.318 * [taylor]: Taking taylor expansion of 0 in x
0.318 * [taylor]: Taking taylor expansion of 0 in x
0.319 * [taylor]: Taking taylor expansion of 0 in x
0.319 * [approximate]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in (eps x) around 0
0.319 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
0.319 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x
0.319 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x
0.319 * [taylor]: Taking taylor expansion of -1/2 in x
0.319 * [taylor]: Taking taylor expansion of eps in x
0.319 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.320 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.320 * [taylor]: Taking taylor expansion of -1/2 in x
0.320 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.320 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.320 * [taylor]: Taking taylor expansion of eps in x
0.320 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.320 * [taylor]: Taking taylor expansion of 2 in x
0.320 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.320 * [taylor]: Taking taylor expansion of x in x
0.320 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
0.320 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
0.320 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
0.320 * [taylor]: Taking taylor expansion of -1/2 in eps
0.320 * [taylor]: Taking taylor expansion of eps in eps
0.320 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.320 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.320 * [taylor]: Taking taylor expansion of -1/2 in eps
0.320 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.320 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.320 * [taylor]: Taking taylor expansion of eps in eps
0.320 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.320 * [taylor]: Taking taylor expansion of 2 in eps
0.320 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.320 * [taylor]: Taking taylor expansion of x in eps
0.320 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
0.320 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
0.320 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
0.320 * [taylor]: Taking taylor expansion of -1/2 in eps
0.320 * [taylor]: Taking taylor expansion of eps in eps
0.320 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.320 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.320 * [taylor]: Taking taylor expansion of -1/2 in eps
0.320 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.320 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.320 * [taylor]: Taking taylor expansion of eps in eps
0.320 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.320 * [taylor]: Taking taylor expansion of 2 in eps
0.320 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.320 * [taylor]: Taking taylor expansion of x in eps
0.321 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
0.321 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x
0.321 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x
0.321 * [taylor]: Taking taylor expansion of -1/2 in x
0.321 * [taylor]: Taking taylor expansion of eps in x
0.321 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.321 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.321 * [taylor]: Taking taylor expansion of -1/2 in x
0.321 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.321 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.321 * [taylor]: Taking taylor expansion of eps in x
0.321 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.321 * [taylor]: Taking taylor expansion of 2 in x
0.321 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.321 * [taylor]: Taking taylor expansion of x in x
0.321 * [taylor]: Taking taylor expansion of 0 in x
0.322 * [taylor]: Taking taylor expansion of 0 in x
0.322 * [taylor]: Taking taylor expansion of 0 in x
0.323 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1)
0.323 * [approximate]: Taking taylor expansion of (+ (* 2 x) eps) in (x eps) around 0
0.323 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
0.323 * [taylor]: Taking taylor expansion of (* 2 x) in eps
0.323 * [taylor]: Taking taylor expansion of 2 in eps
0.323 * [taylor]: Taking taylor expansion of x in eps
0.323 * [taylor]: Taking taylor expansion of eps in eps
0.323 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.323 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.323 * [taylor]: Taking taylor expansion of 2 in x
0.323 * [taylor]: Taking taylor expansion of x in x
0.323 * [taylor]: Taking taylor expansion of eps in x
0.323 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.323 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.323 * [taylor]: Taking taylor expansion of 2 in x
0.323 * [taylor]: Taking taylor expansion of x in x
0.323 * [taylor]: Taking taylor expansion of eps in x
0.323 * [taylor]: Taking taylor expansion of eps in eps
0.323 * [taylor]: Taking taylor expansion of 2 in eps
0.323 * [taylor]: Taking taylor expansion of 0 in eps
0.323 * [taylor]: Taking taylor expansion of 0 in eps
0.323 * [approximate]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in (x eps) around 0
0.323 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.323 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.323 * [taylor]: Taking taylor expansion of eps in eps
0.323 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.323 * [taylor]: Taking taylor expansion of 2 in eps
0.323 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.323 * [taylor]: Taking taylor expansion of x in eps
0.323 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.323 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.324 * [taylor]: Taking taylor expansion of eps in x
0.324 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.324 * [taylor]: Taking taylor expansion of 2 in x
0.324 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.324 * [taylor]: Taking taylor expansion of x in x
0.324 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.324 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.324 * [taylor]: Taking taylor expansion of eps in x
0.324 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.324 * [taylor]: Taking taylor expansion of 2 in x
0.324 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.324 * [taylor]: Taking taylor expansion of x in x
0.324 * [taylor]: Taking taylor expansion of 2 in eps
0.324 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.324 * [taylor]: Taking taylor expansion of eps in eps
0.324 * [taylor]: Taking taylor expansion of 0 in eps
0.324 * [taylor]: Taking taylor expansion of 0 in eps
0.325 * [taylor]: Taking taylor expansion of 0 in eps
0.325 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 eps) (* 2 (/ 1 x)))) in (x eps) around 0
0.325 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.325 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.325 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.325 * [taylor]: Taking taylor expansion of eps in eps
0.325 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.325 * [taylor]: Taking taylor expansion of 2 in eps
0.325 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.325 * [taylor]: Taking taylor expansion of x in eps
0.325 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.325 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.325 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.325 * [taylor]: Taking taylor expansion of eps in x
0.325 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.325 * [taylor]: Taking taylor expansion of 2 in x
0.325 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.325 * [taylor]: Taking taylor expansion of x in x
0.325 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.325 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.325 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.325 * [taylor]: Taking taylor expansion of eps in x
0.325 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.325 * [taylor]: Taking taylor expansion of 2 in x
0.325 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.325 * [taylor]: Taking taylor expansion of x in x
0.325 * [taylor]: Taking taylor expansion of (neg 2) in eps
0.325 * [taylor]: Taking taylor expansion of 2 in eps
0.325 * [taylor]: Taking taylor expansion of (neg (/ 1 eps)) in eps
0.325 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.325 * [taylor]: Taking taylor expansion of eps in eps
0.326 * [taylor]: Taking taylor expansion of 0 in eps
0.326 * [taylor]: Taking taylor expansion of 0 in eps
0.326 * [taylor]: Taking taylor expansion of 0 in eps
0.326 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.326 * [approximate]: Taking taylor expansion of (* -2 (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))) in (eps x) around 0
0.326 * [taylor]: Taking taylor expansion of (* -2 (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))) in x
0.326 * [taylor]: Taking taylor expansion of -2 in x
0.326 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) in x
0.326 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in x
0.326 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
0.326 * [taylor]: Taking taylor expansion of 1/2 in x
0.326 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.326 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.326 * [taylor]: Taking taylor expansion of 2 in x
0.327 * [taylor]: Taking taylor expansion of x in x
0.327 * [taylor]: Taking taylor expansion of eps in x
0.327 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x
0.327 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
0.327 * [taylor]: Taking taylor expansion of 1/2 in x
0.327 * [taylor]: Taking taylor expansion of eps in x
0.327 * [taylor]: Taking taylor expansion of (* -2 (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))) in eps
0.327 * [taylor]: Taking taylor expansion of -2 in eps
0.327 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) in eps
0.327 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in eps
0.327 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
0.327 * [taylor]: Taking taylor expansion of 1/2 in eps
0.327 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
0.327 * [taylor]: Taking taylor expansion of (* 2 x) in eps
0.327 * [taylor]: Taking taylor expansion of 2 in eps
0.327 * [taylor]: Taking taylor expansion of x in eps
0.327 * [taylor]: Taking taylor expansion of eps in eps
0.327 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.327 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.327 * [taylor]: Taking taylor expansion of 1/2 in eps
0.327 * [taylor]: Taking taylor expansion of eps in eps
0.327 * [taylor]: Taking taylor expansion of (* -2 (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))) in eps
0.327 * [taylor]: Taking taylor expansion of -2 in eps
0.327 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) in eps
0.327 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in eps
0.327 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
0.327 * [taylor]: Taking taylor expansion of 1/2 in eps
0.327 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
0.327 * [taylor]: Taking taylor expansion of (* 2 x) in eps
0.327 * [taylor]: Taking taylor expansion of 2 in eps
0.327 * [taylor]: Taking taylor expansion of x in eps
0.327 * [taylor]: Taking taylor expansion of eps in eps
0.327 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.327 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.327 * [taylor]: Taking taylor expansion of 1/2 in eps
0.327 * [taylor]: Taking taylor expansion of eps in eps
0.328 * [taylor]: Taking taylor expansion of 0 in x
0.328 * [taylor]: Taking taylor expansion of (neg (sin x)) in x
0.328 * [taylor]: Taking taylor expansion of (sin x) in x
0.328 * [taylor]: Taking taylor expansion of x in x
0.329 * [taylor]: Taking taylor expansion of (neg (* 1/2 (cos x))) in x
0.329 * [taylor]: Taking taylor expansion of (* 1/2 (cos x)) in x
0.329 * [taylor]: Taking taylor expansion of 1/2 in x
0.329 * [taylor]: Taking taylor expansion of (cos x) in x
0.329 * [taylor]: Taking taylor expansion of x in x
0.330 * [taylor]: Taking taylor expansion of (* 1/6 (sin x)) in x
0.330 * [taylor]: Taking taylor expansion of 1/6 in x
0.330 * [taylor]: Taking taylor expansion of (sin x) in x
0.330 * [taylor]: Taking taylor expansion of x in x
0.331 * [taylor]: Taking taylor expansion of (* 1/24 (cos x)) in x
0.331 * [taylor]: Taking taylor expansion of 1/24 in x
0.331 * [taylor]: Taking taylor expansion of (cos x) in x
0.331 * [taylor]: Taking taylor expansion of x in x
0.331 * [approximate]: Taking taylor expansion of (* -2 (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in (eps x) around 0
0.331 * [taylor]: Taking taylor expansion of (* -2 (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in x
0.331 * [taylor]: Taking taylor expansion of -2 in x
0.331 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
0.331 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x
0.331 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x
0.331 * [taylor]: Taking taylor expansion of 1/2 in x
0.331 * [taylor]: Taking taylor expansion of eps in x
0.332 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.332 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.332 * [taylor]: Taking taylor expansion of 1/2 in x
0.332 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.332 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.332 * [taylor]: Taking taylor expansion of eps in x
0.332 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.332 * [taylor]: Taking taylor expansion of 2 in x
0.332 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.332 * [taylor]: Taking taylor expansion of x in x
0.332 * [taylor]: Taking taylor expansion of (* -2 (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in eps
0.332 * [taylor]: Taking taylor expansion of -2 in eps
0.332 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
0.332 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
0.332 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
0.332 * [taylor]: Taking taylor expansion of 1/2 in eps
0.332 * [taylor]: Taking taylor expansion of eps in eps
0.332 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.332 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.332 * [taylor]: Taking taylor expansion of 1/2 in eps
0.332 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.332 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.332 * [taylor]: Taking taylor expansion of eps in eps
0.332 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.332 * [taylor]: Taking taylor expansion of 2 in eps
0.332 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.332 * [taylor]: Taking taylor expansion of x in eps
0.332 * [taylor]: Taking taylor expansion of (* -2 (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in eps
0.332 * [taylor]: Taking taylor expansion of -2 in eps
0.332 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
0.332 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
0.332 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
0.332 * [taylor]: Taking taylor expansion of 1/2 in eps
0.332 * [taylor]: Taking taylor expansion of eps in eps
0.332 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.332 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.332 * [taylor]: Taking taylor expansion of 1/2 in eps
0.332 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.332 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.332 * [taylor]: Taking taylor expansion of eps in eps
0.333 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.333 * [taylor]: Taking taylor expansion of 2 in eps
0.333 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.333 * [taylor]: Taking taylor expansion of x in eps
0.333 * [taylor]: Taking taylor expansion of (* -2 (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in x
0.333 * [taylor]: Taking taylor expansion of -2 in x
0.333 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
0.333 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x
0.333 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x
0.333 * [taylor]: Taking taylor expansion of 1/2 in x
0.333 * [taylor]: Taking taylor expansion of eps in x
0.333 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.333 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.333 * [taylor]: Taking taylor expansion of 1/2 in x
0.333 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.333 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.333 * [taylor]: Taking taylor expansion of eps in x
0.333 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.333 * [taylor]: Taking taylor expansion of 2 in x
0.333 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.333 * [taylor]: Taking taylor expansion of x in x
0.334 * [taylor]: Taking taylor expansion of 0 in x
0.335 * [taylor]: Taking taylor expansion of 0 in x
0.335 * [taylor]: Taking taylor expansion of 0 in x
0.336 * [approximate]: Taking taylor expansion of (* -2 (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in (eps x) around 0
0.336 * [taylor]: Taking taylor expansion of (* -2 (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in x
0.336 * [taylor]: Taking taylor expansion of -2 in x
0.336 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
0.336 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x
0.336 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x
0.336 * [taylor]: Taking taylor expansion of -1/2 in x
0.336 * [taylor]: Taking taylor expansion of eps in x
0.336 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.336 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.336 * [taylor]: Taking taylor expansion of -1/2 in x
0.336 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.336 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.336 * [taylor]: Taking taylor expansion of eps in x
0.336 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.336 * [taylor]: Taking taylor expansion of 2 in x
0.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.336 * [taylor]: Taking taylor expansion of x in x
0.336 * [taylor]: Taking taylor expansion of (* -2 (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in eps
0.336 * [taylor]: Taking taylor expansion of -2 in eps
0.336 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
0.336 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
0.336 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
0.336 * [taylor]: Taking taylor expansion of -1/2 in eps
0.336 * [taylor]: Taking taylor expansion of eps in eps
0.336 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.336 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.336 * [taylor]: Taking taylor expansion of -1/2 in eps
0.336 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.336 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.336 * [taylor]: Taking taylor expansion of eps in eps
0.336 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.336 * [taylor]: Taking taylor expansion of 2 in eps
0.336 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.336 * [taylor]: Taking taylor expansion of x in eps
0.336 * [taylor]: Taking taylor expansion of (* -2 (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in eps
0.337 * [taylor]: Taking taylor expansion of -2 in eps
0.337 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
0.337 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
0.337 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
0.337 * [taylor]: Taking taylor expansion of -1/2 in eps
0.337 * [taylor]: Taking taylor expansion of eps in eps
0.337 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.337 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.337 * [taylor]: Taking taylor expansion of -1/2 in eps
0.337 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.337 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.337 * [taylor]: Taking taylor expansion of eps in eps
0.337 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.337 * [taylor]: Taking taylor expansion of 2 in eps
0.337 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.337 * [taylor]: Taking taylor expansion of x in eps
0.337 * [taylor]: Taking taylor expansion of (* -2 (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in x
0.337 * [taylor]: Taking taylor expansion of -2 in x
0.337 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
0.337 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x
0.337 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x
0.337 * [taylor]: Taking taylor expansion of -1/2 in x
0.337 * [taylor]: Taking taylor expansion of eps in x
0.337 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.337 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.337 * [taylor]: Taking taylor expansion of -1/2 in x
0.337 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.337 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.337 * [taylor]: Taking taylor expansion of eps in x
0.337 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.337 * [taylor]: Taking taylor expansion of 2 in x
0.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.337 * [taylor]: Taking taylor expansion of x in x
0.338 * [taylor]: Taking taylor expansion of 0 in x
0.339 * [taylor]: Taking taylor expansion of 0 in x
0.340 * [taylor]: Taking taylor expansion of 0 in x
0.340 * * * [progress]: simplifying candidates
0.341 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sin (* (+ x (+ x eps)) 1/2)))
  (exp (sin (* (+ x (+ x eps)) 1/2)))
  (* (cbrt (sin (* (+ x (+ x eps)) 1/2))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))
  (cbrt (sin (* (+ x (+ x eps)) 1/2)))
  (* (* (sin (* (+ x (+ x eps)) 1/2)) (sin (* (+ x (+ x eps)) 1/2))) (sin (* (+ x (+ x eps)) 1/2)))
  (sqrt (sin (* (+ x (+ x eps)) 1/2)))
  (sqrt (sin (* (+ x (+ x eps)) 1/2)))
  (- (cos (- (* eps 1/2) (* (+ x (+ x eps)) 1/2))) (cos (+ (* eps 1/2) (* (+ x (+ x eps)) 1/2))))
  (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2)))
  (+ (log (sin (* eps 1/2))) (log (sin (* (+ x (+ x eps)) 1/2))))
  (log (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2))))
  (exp (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2))))
  (* (* (* (sin (* eps 1/2)) (sin (* eps 1/2))) (sin (* eps 1/2))) (* (* (sin (* (+ x (+ x eps)) 1/2)) (sin (* (+ x (+ x eps)) 1/2))) (sin (* (+ x (+ x eps)) 1/2))))
  (* (cbrt (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2)))) (cbrt (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2)))))
  (cbrt (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2))))
  (* (* (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2))) (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2)))) (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2))))
  (sqrt (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2))))
  (sqrt (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2))))
  (* (sqrt (sin (* eps 1/2))) (sqrt (sin (* (+ x (+ x eps)) 1/2))))
  (* (sqrt (sin (* eps 1/2))) (sqrt (sin (* (+ x (+ x eps)) 1/2))))
  (* (sin (* eps 1/2)) (* (cbrt (sin (* (+ x (+ x eps)) 1/2))) (cbrt (sin (* (+ x (+ x eps)) 1/2)))))
  (* (sin (* eps 1/2)) (sqrt (sin (* (+ x (+ x eps)) 1/2))))
  (* (sin (* eps 1/2)) 1)
  (* (cbrt (sin (* eps 1/2))) (sin (* (+ x (+ x eps)) 1/2)))
  (* (sqrt (sin (* eps 1/2))) (sin (* (+ x (+ x eps)) 1/2)))
  (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/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)
  (* -2 (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2))))
  (* -2 (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2))))
  (+ (log -2) (+ (log (sin (* eps 1/2))) (log (sin (* (+ x (+ x eps)) 1/2)))))
  (+ (log -2) (log (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2)))))
  (log (* -2 (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2)))))
  (exp (* -2 (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2)))))
  (* (* (* -2 -2) -2) (* (* (* (sin (* eps 1/2)) (sin (* eps 1/2))) (sin (* eps 1/2))) (* (* (sin (* (+ x (+ x eps)) 1/2)) (sin (* (+ x (+ x eps)) 1/2))) (sin (* (+ x (+ x eps)) 1/2)))))
  (* (* (* -2 -2) -2) (* (* (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2))) (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2)))) (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2)))))
  (* (cbrt (* -2 (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2))))) (cbrt (* -2 (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2))))))
  (cbrt (* -2 (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2)))))
  (* (* (* -2 (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2)))) (* -2 (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2))))) (* -2 (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2)))))
  (sqrt (* -2 (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2)))))
  (sqrt (* -2 (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2)))))
  (* -2 (sin (* eps 1/2)))
  (* (cbrt -2) (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2))))
  (* (sqrt -2) (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2))))
  (* -2 (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2))))
  (* -2 (- (cos (- (* eps 1/2) (* (+ x (+ x eps)) 1/2))) (cos (+ (* eps 1/2) (* (+ x (+ x eps)) 1/2)))))
  (- (+ (* 1/2 eps) x) (* 1/6 (pow x 3)))
  (sin (* 1/2 (+ (* 2 x) eps)))
  (sin (* 1/2 (+ (* 2 x) eps)))
  (- (+ (* 1/2 (* x eps)) (* 1/4 (pow eps 2))) (* 1/48 (pow eps 4)))
  (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))
  (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))
  (+ (* 2 x) eps)
  (+ (* 2 x) eps)
  (+ (* 2 x) eps)
  (- (* 1/24 (pow eps 4)) (+ (* x eps) (* 1/2 (pow eps 2))))
  (* -2 (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))))
  (* -2 (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))))
0.385 * * [simplify]: iteration  0 :  4890  enodes  (cost  766 )
0.385 * * [simplify]: iteration  1 :  4890  enodes  (cost  766 )
0.388 * [simplify]: Simplified to:
   (log (sin (+ x (* eps 1/2))))
  (exp (sin (+ x (* eps 1/2))))
  (* (cbrt (sin (+ x (* eps 1/2)))) (cbrt (sin (+ x (* eps 1/2)))))
  (cbrt (sin (+ x (* eps 1/2))))
  (pow (sin (+ x (* eps 1/2))) 3)
  (sqrt (sin (+ x (* eps 1/2))))
  (sqrt (sin (+ x (* eps 1/2))))
  (- (cos x) (cos (+ x eps)))
  (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2)))
  (log (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2))))
  (log (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2))))
  (pow (exp (sin (+ x (* eps 1/2)))) (sin (* eps 1/2)))
  (pow (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2))) 3)
  (* (cbrt (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2)))) (cbrt (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2)))))
  (cbrt (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2))))
  (pow (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2))) 3)
  (sqrt (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2))))
  (sqrt (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2))))
  (* (sqrt (sin (+ x (* eps 1/2)))) (sqrt (sin (* eps 1/2))))
  (* (sqrt (sin (+ x (* eps 1/2)))) (sqrt (sin (* eps 1/2))))
  (* (cbrt (sin (+ x (* eps 1/2)))) (* (cbrt (sin (+ x (* eps 1/2)))) (sin (* eps 1/2))))
  (* (sqrt (sin (+ x (* eps 1/2)))) (sin (* eps 1/2)))
  (sin (* eps 1/2))
  (* (sin (+ x (* eps 1/2))) (cbrt (sin (* eps 1/2))))
  (* (sin (+ x (* eps 1/2))) (sqrt (sin (* eps 1/2))))
  (* (sin (+ x (* eps 1/2))) (sin (* eps 1/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)
  (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2))
  (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2))
  (log (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2)))
  (log (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2)))
  (log (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2)))
  (pow (exp (sin (+ x (* eps 1/2)))) (* (sin (* eps 1/2)) -2))
  (* (pow (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2))) 3) -8)
  (* (pow (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2))) 3) -8)
  (* (cbrt (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2))) (cbrt (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2))))
  (cbrt (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2)))
  (* (pow (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2))) 3) -8)
  (sqrt (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2)))
  (sqrt (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2)))
  (* (sin (* eps 1/2)) -2)
  (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) (cbrt -2)))
  (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) (sqrt -2)))
  (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2))
  (* (- (cos x) (cos (+ x eps))) -2)
  (+ x (+ (* eps 1/2) (* (pow x 3) -1/6)))
  (sin (+ x (* eps 1/2)))
  (sin (+ x (* eps 1/2)))
  (+ (* eps (+ (* x 1/2) (* eps 1/4))) (* (pow eps 4) -1/48))
  (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2)))
  (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2)))
  (+ x (+ x eps))
  (+ x (+ x eps))
  (+ x (+ x eps))
  (+ (* (pow eps 4) 1/24) (* eps (- (* eps -1/2) x)))
  (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2))
  (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2))
0.389 * * * [progress]: adding candidates to table
0.509 * * [progress]: iteration 3 / 4
0.509 * * * [progress]: picking best candidate
0.560 * * * * [pick]: Picked  #<alt (λ (x eps) (* -2 (* (* (cbrt (sin (+ x (* eps 1/2)))) (* (cbrt (sin (+ x (* eps 1/2)))) (sin (* eps 1/2)))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))))>
0.560 * * * [progress]: localizing error
0.581 * * * [progress]: generating rewritten candidates
0.581 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
0.584 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1)
0.588 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1)
0.592 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1)
0.595 * * * [progress]: generating series expansions
0.595 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
0.595 * [approximate]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in (x eps) around 0
0.595 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in eps
0.595 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
0.595 * [taylor]: Taking taylor expansion of 1/2 in eps
0.595 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
0.595 * [taylor]: Taking taylor expansion of (* 2 x) in eps
0.595 * [taylor]: Taking taylor expansion of 2 in eps
0.595 * [taylor]: Taking taylor expansion of x in eps
0.595 * [taylor]: Taking taylor expansion of eps in eps
0.595 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in x
0.595 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
0.595 * [taylor]: Taking taylor expansion of 1/2 in x
0.596 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.596 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.596 * [taylor]: Taking taylor expansion of 2 in x
0.596 * [taylor]: Taking taylor expansion of x in x
0.596 * [taylor]: Taking taylor expansion of eps in x
0.596 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in x
0.596 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
0.596 * [taylor]: Taking taylor expansion of 1/2 in x
0.596 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.596 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.596 * [taylor]: Taking taylor expansion of 2 in x
0.596 * [taylor]: Taking taylor expansion of x in x
0.596 * [taylor]: Taking taylor expansion of eps in x
0.596 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.596 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.596 * [taylor]: Taking taylor expansion of 1/2 in eps
0.596 * [taylor]: Taking taylor expansion of eps in eps
0.596 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.597 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.597 * [taylor]: Taking taylor expansion of 1/2 in eps
0.597 * [taylor]: Taking taylor expansion of eps in eps
0.597 * [taylor]: Taking taylor expansion of (neg (* 1/2 (sin (* 1/2 eps)))) in eps
0.597 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/2 eps))) in eps
0.597 * [taylor]: Taking taylor expansion of 1/2 in eps
0.597 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.597 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.597 * [taylor]: Taking taylor expansion of 1/2 in eps
0.597 * [taylor]: Taking taylor expansion of eps in eps
0.598 * [taylor]: Taking taylor expansion of (neg (* 1/6 (cos (* 1/2 eps)))) in eps
0.598 * [taylor]: Taking taylor expansion of (* 1/6 (cos (* 1/2 eps))) in eps
0.598 * [taylor]: Taking taylor expansion of 1/6 in eps
0.598 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.598 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.598 * [taylor]: Taking taylor expansion of 1/2 in eps
0.598 * [taylor]: Taking taylor expansion of eps in eps
0.598 * [approximate]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
0.598 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.598 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.598 * [taylor]: Taking taylor expansion of 1/2 in eps
0.598 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.598 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.598 * [taylor]: Taking taylor expansion of eps in eps
0.598 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.598 * [taylor]: Taking taylor expansion of 2 in eps
0.598 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.598 * [taylor]: Taking taylor expansion of x in eps
0.598 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.598 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.598 * [taylor]: Taking taylor expansion of 1/2 in x
0.599 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.599 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.599 * [taylor]: Taking taylor expansion of eps in x
0.599 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.599 * [taylor]: Taking taylor expansion of 2 in x
0.599 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.599 * [taylor]: Taking taylor expansion of x in x
0.599 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.599 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.599 * [taylor]: Taking taylor expansion of 1/2 in x
0.599 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.599 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.599 * [taylor]: Taking taylor expansion of eps in x
0.599 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.599 * [taylor]: Taking taylor expansion of 2 in x
0.599 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.599 * [taylor]: Taking taylor expansion of x in x
0.599 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.599 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.599 * [taylor]: Taking taylor expansion of 1/2 in eps
0.599 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.599 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.599 * [taylor]: Taking taylor expansion of eps in eps
0.599 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.599 * [taylor]: Taking taylor expansion of 2 in eps
0.599 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.599 * [taylor]: Taking taylor expansion of x in eps
0.599 * [taylor]: Taking taylor expansion of 0 in eps
0.599 * [taylor]: Taking taylor expansion of 0 in eps
0.599 * [taylor]: Taking taylor expansion of 0 in eps
0.600 * [approximate]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
0.600 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.600 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.600 * [taylor]: Taking taylor expansion of -1/2 in eps
0.600 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.600 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.600 * [taylor]: Taking taylor expansion of eps in eps
0.600 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.600 * [taylor]: Taking taylor expansion of 2 in eps
0.600 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.600 * [taylor]: Taking taylor expansion of x in eps
0.600 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.600 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.600 * [taylor]: Taking taylor expansion of -1/2 in x
0.600 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.600 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.600 * [taylor]: Taking taylor expansion of eps in x
0.600 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.600 * [taylor]: Taking taylor expansion of 2 in x
0.600 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.600 * [taylor]: Taking taylor expansion of x in x
0.600 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.600 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.600 * [taylor]: Taking taylor expansion of -1/2 in x
0.600 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.600 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.600 * [taylor]: Taking taylor expansion of eps in x
0.600 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.600 * [taylor]: Taking taylor expansion of 2 in x
0.600 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.600 * [taylor]: Taking taylor expansion of x in x
0.601 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.601 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.601 * [taylor]: Taking taylor expansion of -1/2 in eps
0.601 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.601 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.601 * [taylor]: Taking taylor expansion of eps in eps
0.601 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.601 * [taylor]: Taking taylor expansion of 2 in eps
0.601 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.601 * [taylor]: Taking taylor expansion of x in eps
0.601 * [taylor]: Taking taylor expansion of 0 in eps
0.601 * [taylor]: Taking taylor expansion of 0 in eps
0.601 * [taylor]: Taking taylor expansion of 0 in eps
0.601 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1)
0.601 * [approximate]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in (x eps) around 0
0.601 * [taylor]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in eps
0.601 * [taylor]: Taking taylor expansion of (+ x (* 1/2 eps)) in eps
0.601 * [taylor]: Taking taylor expansion of x in eps
0.601 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.601 * [taylor]: Taking taylor expansion of 1/2 in eps
0.601 * [taylor]: Taking taylor expansion of eps in eps
0.601 * [taylor]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in x
0.601 * [taylor]: Taking taylor expansion of (+ x (* 1/2 eps)) in x
0.601 * [taylor]: Taking taylor expansion of x in x
0.601 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
0.601 * [taylor]: Taking taylor expansion of 1/2 in x
0.601 * [taylor]: Taking taylor expansion of eps in x
0.602 * [taylor]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in x
0.602 * [taylor]: Taking taylor expansion of (+ x (* 1/2 eps)) in x
0.602 * [taylor]: Taking taylor expansion of x in x
0.602 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
0.602 * [taylor]: Taking taylor expansion of 1/2 in x
0.602 * [taylor]: Taking taylor expansion of eps in x
0.602 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.602 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.602 * [taylor]: Taking taylor expansion of 1/2 in eps
0.602 * [taylor]: Taking taylor expansion of eps in eps
0.602 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.602 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.602 * [taylor]: Taking taylor expansion of 1/2 in eps
0.602 * [taylor]: Taking taylor expansion of eps in eps
0.603 * [taylor]: Taking taylor expansion of (neg (* 1/2 (sin (* 1/2 eps)))) in eps
0.603 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/2 eps))) in eps
0.603 * [taylor]: Taking taylor expansion of 1/2 in eps
0.603 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.603 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.603 * [taylor]: Taking taylor expansion of 1/2 in eps
0.603 * [taylor]: Taking taylor expansion of eps in eps
0.603 * [taylor]: Taking taylor expansion of (neg (* 1/6 (cos (* 1/2 eps)))) in eps
0.603 * [taylor]: Taking taylor expansion of (* 1/6 (cos (* 1/2 eps))) in eps
0.603 * [taylor]: Taking taylor expansion of 1/6 in eps
0.603 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.603 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.603 * [taylor]: Taking taylor expansion of 1/2 in eps
0.603 * [taylor]: Taking taylor expansion of eps in eps
0.604 * [approximate]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in (x eps) around 0
0.604 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps
0.604 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps
0.604 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps
0.604 * [taylor]: Taking taylor expansion of 1/2 in eps
0.604 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.604 * [taylor]: Taking taylor expansion of eps in eps
0.604 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.604 * [taylor]: Taking taylor expansion of x in eps
0.604 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x
0.604 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x
0.604 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x
0.604 * [taylor]: Taking taylor expansion of 1/2 in x
0.604 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.604 * [taylor]: Taking taylor expansion of eps in x
0.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.604 * [taylor]: Taking taylor expansion of x in x
0.604 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x
0.604 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x
0.604 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x
0.604 * [taylor]: Taking taylor expansion of 1/2 in x
0.604 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.604 * [taylor]: Taking taylor expansion of eps in x
0.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.604 * [taylor]: Taking taylor expansion of x in x
0.604 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps
0.605 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps
0.605 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps
0.605 * [taylor]: Taking taylor expansion of 1/2 in eps
0.605 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.605 * [taylor]: Taking taylor expansion of eps in eps
0.605 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.605 * [taylor]: Taking taylor expansion of x in eps
0.605 * [taylor]: Taking taylor expansion of 0 in eps
0.605 * [taylor]: Taking taylor expansion of 0 in eps
0.605 * [taylor]: Taking taylor expansion of 0 in eps
0.605 * [approximate]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in (x eps) around 0
0.605 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in eps
0.605 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps
0.605 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps
0.605 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps
0.605 * [taylor]: Taking taylor expansion of 1/2 in eps
0.605 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.605 * [taylor]: Taking taylor expansion of eps in eps
0.605 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.605 * [taylor]: Taking taylor expansion of x in eps
0.605 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in x
0.605 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x
0.605 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x
0.605 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x
0.605 * [taylor]: Taking taylor expansion of 1/2 in x
0.605 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.605 * [taylor]: Taking taylor expansion of eps in x
0.605 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.605 * [taylor]: Taking taylor expansion of x in x
0.606 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in x
0.606 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x
0.606 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x
0.606 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x
0.606 * [taylor]: Taking taylor expansion of 1/2 in x
0.606 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.606 * [taylor]: Taking taylor expansion of eps in x
0.606 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.606 * [taylor]: Taking taylor expansion of x in x
0.606 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in eps
0.606 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps
0.606 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps
0.606 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps
0.606 * [taylor]: Taking taylor expansion of 1/2 in eps
0.606 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.606 * [taylor]: Taking taylor expansion of eps in eps
0.606 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.606 * [taylor]: Taking taylor expansion of x in eps
0.606 * [taylor]: Taking taylor expansion of 0 in eps
0.606 * [taylor]: Taking taylor expansion of 0 in eps
0.606 * [taylor]: Taking taylor expansion of 0 in eps
0.606 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1)
0.607 * [approximate]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in (x eps) around 0
0.607 * [taylor]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in eps
0.607 * [taylor]: Taking taylor expansion of (+ x (* 1/2 eps)) in eps
0.607 * [taylor]: Taking taylor expansion of x in eps
0.607 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.607 * [taylor]: Taking taylor expansion of 1/2 in eps
0.607 * [taylor]: Taking taylor expansion of eps in eps
0.607 * [taylor]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in x
0.607 * [taylor]: Taking taylor expansion of (+ x (* 1/2 eps)) in x
0.607 * [taylor]: Taking taylor expansion of x in x
0.607 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
0.607 * [taylor]: Taking taylor expansion of 1/2 in x
0.607 * [taylor]: Taking taylor expansion of eps in x
0.607 * [taylor]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in x
0.607 * [taylor]: Taking taylor expansion of (+ x (* 1/2 eps)) in x
0.607 * [taylor]: Taking taylor expansion of x in x
0.607 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
0.607 * [taylor]: Taking taylor expansion of 1/2 in x
0.607 * [taylor]: Taking taylor expansion of eps in x
0.607 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.607 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.607 * [taylor]: Taking taylor expansion of 1/2 in eps
0.607 * [taylor]: Taking taylor expansion of eps in eps
0.607 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.607 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.608 * [taylor]: Taking taylor expansion of 1/2 in eps
0.608 * [taylor]: Taking taylor expansion of eps in eps
0.608 * [taylor]: Taking taylor expansion of (neg (* 1/2 (sin (* 1/2 eps)))) in eps
0.608 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/2 eps))) in eps
0.608 * [taylor]: Taking taylor expansion of 1/2 in eps
0.608 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.608 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.608 * [taylor]: Taking taylor expansion of 1/2 in eps
0.608 * [taylor]: Taking taylor expansion of eps in eps
0.611 * [taylor]: Taking taylor expansion of (neg (* 1/6 (cos (* 1/2 eps)))) in eps
0.611 * [taylor]: Taking taylor expansion of (* 1/6 (cos (* 1/2 eps))) in eps
0.611 * [taylor]: Taking taylor expansion of 1/6 in eps
0.611 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.611 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.611 * [taylor]: Taking taylor expansion of 1/2 in eps
0.611 * [taylor]: Taking taylor expansion of eps in eps
0.611 * [approximate]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in (x eps) around 0
0.611 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps
0.611 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps
0.611 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps
0.611 * [taylor]: Taking taylor expansion of 1/2 in eps
0.611 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.611 * [taylor]: Taking taylor expansion of eps in eps
0.611 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.611 * [taylor]: Taking taylor expansion of x in eps
0.611 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x
0.611 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x
0.611 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x
0.611 * [taylor]: Taking taylor expansion of 1/2 in x
0.611 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.611 * [taylor]: Taking taylor expansion of eps in x
0.611 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.611 * [taylor]: Taking taylor expansion of x in x
0.612 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x
0.612 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x
0.612 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x
0.612 * [taylor]: Taking taylor expansion of 1/2 in x
0.612 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.612 * [taylor]: Taking taylor expansion of eps in x
0.612 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.612 * [taylor]: Taking taylor expansion of x in x
0.612 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps
0.612 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps
0.612 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps
0.612 * [taylor]: Taking taylor expansion of 1/2 in eps
0.612 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.612 * [taylor]: Taking taylor expansion of eps in eps
0.612 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.612 * [taylor]: Taking taylor expansion of x in eps
0.612 * [taylor]: Taking taylor expansion of 0 in eps
0.612 * [taylor]: Taking taylor expansion of 0 in eps
0.612 * [taylor]: Taking taylor expansion of 0 in eps
0.612 * [approximate]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in (x eps) around 0
0.613 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in eps
0.613 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps
0.613 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps
0.613 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps
0.613 * [taylor]: Taking taylor expansion of 1/2 in eps
0.613 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.613 * [taylor]: Taking taylor expansion of eps in eps
0.613 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.613 * [taylor]: Taking taylor expansion of x in eps
0.613 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in x
0.613 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x
0.613 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x
0.613 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x
0.613 * [taylor]: Taking taylor expansion of 1/2 in x
0.613 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.613 * [taylor]: Taking taylor expansion of eps in x
0.613 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.613 * [taylor]: Taking taylor expansion of x in x
0.613 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in x
0.613 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x
0.613 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x
0.613 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x
0.613 * [taylor]: Taking taylor expansion of 1/2 in x
0.613 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.613 * [taylor]: Taking taylor expansion of eps in x
0.613 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.613 * [taylor]: Taking taylor expansion of x in x
0.613 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in eps
0.613 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps
0.613 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps
0.613 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps
0.613 * [taylor]: Taking taylor expansion of 1/2 in eps
0.613 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.613 * [taylor]: Taking taylor expansion of eps in eps
0.613 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.613 * [taylor]: Taking taylor expansion of x in eps
0.614 * [taylor]: Taking taylor expansion of 0 in eps
0.614 * [taylor]: Taking taylor expansion of 0 in eps
0.614 * [taylor]: Taking taylor expansion of 0 in eps
0.614 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1)
0.614 * [approximate]: Taking taylor expansion of (pow (sin (+ x (* 1/2 eps))) 1/3) in (x eps) around 0
0.614 * [taylor]: Taking taylor expansion of (pow (sin (+ x (* 1/2 eps))) 1/3) in eps
0.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (+ x (* 1/2 eps)))))) in eps
0.614 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (+ x (* 1/2 eps))))) in eps
0.614 * [taylor]: Taking taylor expansion of 1/3 in eps
0.614 * [taylor]: Taking taylor expansion of (log (sin (+ x (* 1/2 eps)))) in eps
0.614 * [taylor]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in eps
0.614 * [taylor]: Taking taylor expansion of (+ x (* 1/2 eps)) in eps
0.614 * [taylor]: Taking taylor expansion of x in eps
0.614 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.614 * [taylor]: Taking taylor expansion of 1/2 in eps
0.614 * [taylor]: Taking taylor expansion of eps in eps
0.614 * [taylor]: Taking taylor expansion of (pow (sin (+ x (* 1/2 eps))) 1/3) in x
0.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (+ x (* 1/2 eps)))))) in x
0.614 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (+ x (* 1/2 eps))))) in x
0.614 * [taylor]: Taking taylor expansion of 1/3 in x
0.614 * [taylor]: Taking taylor expansion of (log (sin (+ x (* 1/2 eps)))) in x
0.615 * [taylor]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in x
0.615 * [taylor]: Taking taylor expansion of (+ x (* 1/2 eps)) in x
0.615 * [taylor]: Taking taylor expansion of x in x
0.615 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
0.615 * [taylor]: Taking taylor expansion of 1/2 in x
0.615 * [taylor]: Taking taylor expansion of eps in x
0.615 * [taylor]: Taking taylor expansion of (pow (sin (+ x (* 1/2 eps))) 1/3) in x
0.615 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (+ x (* 1/2 eps)))))) in x
0.615 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (+ x (* 1/2 eps))))) in x
0.615 * [taylor]: Taking taylor expansion of 1/3 in x
0.615 * [taylor]: Taking taylor expansion of (log (sin (+ x (* 1/2 eps)))) in x
0.615 * [taylor]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in x
0.615 * [taylor]: Taking taylor expansion of (+ x (* 1/2 eps)) in x
0.615 * [taylor]: Taking taylor expansion of x in x
0.615 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
0.615 * [taylor]: Taking taylor expansion of 1/2 in x
0.615 * [taylor]: Taking taylor expansion of eps in x
0.615 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 1/3) in eps
0.615 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (* 1/2 eps))))) in eps
0.615 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (* 1/2 eps)))) in eps
0.615 * [taylor]: Taking taylor expansion of 1/3 in eps
0.615 * [taylor]: Taking taylor expansion of (log (sin (* 1/2 eps))) in eps
0.615 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.615 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.615 * [taylor]: Taking taylor expansion of 1/2 in eps
0.615 * [taylor]: Taking taylor expansion of eps in eps
0.617 * [taylor]: Taking taylor expansion of (* 1/3 (* (cos (* 1/2 eps)) (pow (/ 1 (pow (sin (* 1/2 eps)) 2)) 1/3))) in eps
0.617 * [taylor]: Taking taylor expansion of 1/3 in eps
0.617 * [taylor]: Taking taylor expansion of (* (cos (* 1/2 eps)) (pow (/ 1 (pow (sin (* 1/2 eps)) 2)) 1/3)) in eps
0.617 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.617 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.617 * [taylor]: Taking taylor expansion of 1/2 in eps
0.617 * [taylor]: Taking taylor expansion of eps in eps
0.617 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (sin (* 1/2 eps)) 2)) 1/3) in eps
0.617 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (sin (* 1/2 eps)) 2))))) in eps
0.617 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow (sin (* 1/2 eps)) 2)))) in eps
0.617 * [taylor]: Taking taylor expansion of 1/3 in eps
0.617 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (sin (* 1/2 eps)) 2))) in eps
0.617 * [taylor]: Taking taylor expansion of (/ 1 (pow (sin (* 1/2 eps)) 2)) in eps
0.617 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps
0.617 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.617 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.617 * [taylor]: Taking taylor expansion of 1/2 in eps
0.617 * [taylor]: Taking taylor expansion of eps in eps
0.619 * [taylor]: Taking taylor expansion of (* -1 (* (pow (sin (* 1/2 eps)) 1/3) (+ (* 1/9 (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2))) 1/6))) in eps
0.619 * [taylor]: Taking taylor expansion of -1 in eps
0.619 * [taylor]: Taking taylor expansion of (* (pow (sin (* 1/2 eps)) 1/3) (+ (* 1/9 (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2))) 1/6)) in eps
0.619 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 1/3) in eps
0.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (* 1/2 eps))))) in eps
0.619 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (* 1/2 eps)))) in eps
0.619 * [taylor]: Taking taylor expansion of 1/3 in eps
0.619 * [taylor]: Taking taylor expansion of (log (sin (* 1/2 eps))) in eps
0.619 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.619 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.619 * [taylor]: Taking taylor expansion of 1/2 in eps
0.619 * [taylor]: Taking taylor expansion of eps in eps
0.619 * [taylor]: Taking taylor expansion of (+ (* 1/9 (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2))) 1/6) in eps
0.620 * [taylor]: Taking taylor expansion of (* 1/9 (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2))) in eps
0.620 * [taylor]: Taking taylor expansion of 1/9 in eps
0.620 * [taylor]: Taking taylor expansion of (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2)) in eps
0.620 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 eps)) 2) in eps
0.620 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.620 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.620 * [taylor]: Taking taylor expansion of 1/2 in eps
0.620 * [taylor]: Taking taylor expansion of eps in eps
0.620 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps
0.620 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.620 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.620 * [taylor]: Taking taylor expansion of 1/2 in eps
0.620 * [taylor]: Taking taylor expansion of eps in eps
0.620 * [taylor]: Taking taylor expansion of 1/6 in eps
0.622 * [approximate]: Taking taylor expansion of (pow (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) 1/3) in (x eps) around 0
0.622 * [taylor]: Taking taylor expansion of (pow (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) 1/3) in eps
0.622 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x)))))) in eps
0.622 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in eps
0.622 * [taylor]: Taking taylor expansion of 1/3 in eps
0.622 * [taylor]: Taking taylor expansion of (log (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in eps
0.622 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps
0.622 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps
0.622 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps
0.622 * [taylor]: Taking taylor expansion of 1/2 in eps
0.622 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.622 * [taylor]: Taking taylor expansion of eps in eps
0.622 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.622 * [taylor]: Taking taylor expansion of x in eps
0.623 * [taylor]: Taking taylor expansion of (pow (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) 1/3) in x
0.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x)))))) in x
0.623 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in x
0.623 * [taylor]: Taking taylor expansion of 1/3 in x
0.623 * [taylor]: Taking taylor expansion of (log (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in x
0.623 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x
0.623 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x
0.623 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x
0.623 * [taylor]: Taking taylor expansion of 1/2 in x
0.623 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.623 * [taylor]: Taking taylor expansion of eps in x
0.623 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.623 * [taylor]: Taking taylor expansion of x in x
0.623 * [taylor]: Taking taylor expansion of (pow (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) 1/3) in x
0.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x)))))) in x
0.623 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in x
0.623 * [taylor]: Taking taylor expansion of 1/3 in x
0.623 * [taylor]: Taking taylor expansion of (log (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in x
0.623 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x
0.623 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x
0.623 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x
0.623 * [taylor]: Taking taylor expansion of 1/2 in x
0.623 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.623 * [taylor]: Taking taylor expansion of eps in x
0.623 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.623 * [taylor]: Taking taylor expansion of x in x
0.624 * [taylor]: Taking taylor expansion of (pow (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) 1/3) in eps
0.624 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x)))))) in eps
0.624 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in eps
0.624 * [taylor]: Taking taylor expansion of 1/3 in eps
0.624 * [taylor]: Taking taylor expansion of (log (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in eps
0.624 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps
0.624 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps
0.624 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps
0.624 * [taylor]: Taking taylor expansion of 1/2 in eps
0.624 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.624 * [taylor]: Taking taylor expansion of eps in eps
0.624 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.624 * [taylor]: Taking taylor expansion of x in eps
0.625 * [taylor]: Taking taylor expansion of 0 in eps
0.626 * [taylor]: Taking taylor expansion of 0 in eps
0.627 * [taylor]: Taking taylor expansion of 0 in eps
0.627 * [approximate]: Taking taylor expansion of (pow (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) 1/3) in (x eps) around 0
0.627 * [taylor]: Taking taylor expansion of (pow (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) 1/3) in eps
0.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))))) in eps
0.627 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))))) in eps
0.627 * [taylor]: Taking taylor expansion of 1/3 in eps
0.627 * [taylor]: Taking taylor expansion of (log (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in eps
0.627 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in eps
0.627 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps
0.627 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps
0.627 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps
0.627 * [taylor]: Taking taylor expansion of 1/2 in eps
0.627 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.627 * [taylor]: Taking taylor expansion of eps in eps
0.627 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.627 * [taylor]: Taking taylor expansion of x in eps
0.628 * [taylor]: Taking taylor expansion of (pow (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) 1/3) in x
0.628 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))))) in x
0.628 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))))) in x
0.628 * [taylor]: Taking taylor expansion of 1/3 in x
0.628 * [taylor]: Taking taylor expansion of (log (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in x
0.628 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in x
0.628 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x
0.628 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x
0.628 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x
0.628 * [taylor]: Taking taylor expansion of 1/2 in x
0.628 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.628 * [taylor]: Taking taylor expansion of eps in x
0.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.628 * [taylor]: Taking taylor expansion of x in x
0.628 * [taylor]: Taking taylor expansion of (pow (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) 1/3) in x
0.628 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))))) in x
0.628 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))))) in x
0.628 * [taylor]: Taking taylor expansion of 1/3 in x
0.628 * [taylor]: Taking taylor expansion of (log (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in x
0.628 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in x
0.628 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x
0.629 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x
0.629 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x
0.629 * [taylor]: Taking taylor expansion of 1/2 in x
0.629 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.629 * [taylor]: Taking taylor expansion of eps in x
0.629 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.629 * [taylor]: Taking taylor expansion of x in x
0.629 * [taylor]: Taking taylor expansion of (pow (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) 1/3) in eps
0.629 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))))) in eps
0.629 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))))) in eps
0.629 * [taylor]: Taking taylor expansion of 1/3 in eps
0.629 * [taylor]: Taking taylor expansion of (log (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in eps
0.629 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in eps
0.629 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps
0.629 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps
0.629 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps
0.629 * [taylor]: Taking taylor expansion of 1/2 in eps
0.629 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.629 * [taylor]: Taking taylor expansion of eps in eps
0.629 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.629 * [taylor]: Taking taylor expansion of x in eps
0.630 * [taylor]: Taking taylor expansion of 0 in eps
0.631 * [taylor]: Taking taylor expansion of 0 in eps
0.633 * [taylor]: Taking taylor expansion of 0 in eps
0.633 * * * [progress]: simplifying candidates
0.634 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sin (* (+ x (+ x eps)) 1/2)))
  (exp (sin (* (+ x (+ x eps)) 1/2)))
  (* (cbrt (sin (* (+ x (+ x eps)) 1/2))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))
  (cbrt (sin (* (+ x (+ x eps)) 1/2)))
  (* (* (sin (* (+ x (+ x eps)) 1/2)) (sin (* (+ x (+ x eps)) 1/2))) (sin (* (+ x (+ x eps)) 1/2)))
  (sqrt (sin (* (+ x (+ x eps)) 1/2)))
  (sqrt (sin (* (+ x (+ x eps)) 1/2)))
  (* (sin x) (cos (* eps 1/2)))
  (* (cos x) (sin (* eps 1/2)))
  (log (sin (+ x (* eps 1/2))))
  (exp (sin (+ x (* eps 1/2))))
  (* (cbrt (sin (+ x (* eps 1/2)))) (cbrt (sin (+ x (* eps 1/2)))))
  (cbrt (sin (+ x (* eps 1/2))))
  (* (* (sin (+ x (* eps 1/2))) (sin (+ x (* eps 1/2)))) (sin (+ x (* eps 1/2))))
  (sqrt (sin (+ x (* eps 1/2))))
  (sqrt (sin (+ x (* eps 1/2))))
  (* (sin x) (cos (* eps 1/2)))
  (* (cos x) (sin (* eps 1/2)))
  (log (sin (+ x (* eps 1/2))))
  (exp (sin (+ x (* eps 1/2))))
  (* (cbrt (sin (+ x (* eps 1/2)))) (cbrt (sin (+ x (* eps 1/2)))))
  (cbrt (sin (+ x (* eps 1/2))))
  (* (* (sin (+ x (* eps 1/2))) (sin (+ x (* eps 1/2)))) (sin (+ x (* eps 1/2))))
  (sqrt (sin (+ x (* eps 1/2))))
  (sqrt (sin (+ x (* eps 1/2))))
  (log (cbrt (sin (+ x (* eps 1/2)))))
  (exp (cbrt (sin (+ x (* eps 1/2)))))
  (cbrt (* (cbrt (sin (+ x (* eps 1/2)))) (cbrt (sin (+ x (* eps 1/2))))))
  (cbrt (cbrt (sin (+ x (* eps 1/2)))))
  (cbrt (sqrt (sin (+ x (* eps 1/2)))))
  (cbrt (sqrt (sin (+ x (* eps 1/2)))))
  (cbrt 1)
  (cbrt (sin (+ x (* eps 1/2))))
  (* (cbrt (cbrt (sin (+ x (* eps 1/2))))) (cbrt (cbrt (sin (+ x (* eps 1/2))))))
  (cbrt (cbrt (sin (+ x (* eps 1/2)))))
  (* (* (cbrt (sin (+ x (* eps 1/2)))) (cbrt (sin (+ x (* eps 1/2))))) (cbrt (sin (+ x (* eps 1/2)))))
  (sqrt (cbrt (sin (+ x (* eps 1/2)))))
  (sqrt (cbrt (sin (+ x (* eps 1/2)))))
  (- (+ (* 1/2 eps) x) (* 1/6 (pow x 3)))
  (sin (* 1/2 (+ (* 2 x) eps)))
  (sin (* 1/2 (+ (* 2 x) eps)))
  (- (+ (* 1/2 eps) x) (* 1/6 (pow x 3)))
  (sin (+ x (* 1/2 eps)))
  (sin (+ x (* 1/2 eps)))
  (- (+ (* 1/2 eps) x) (* 1/6 (pow x 3)))
  (sin (+ x (* 1/2 eps)))
  (sin (+ x (* 1/2 eps)))
  (- (+ (* 1/3 (* x (exp (* 1/3 (- (log 4) (* 2 (log eps))))))) (exp (* 1/3 (+ (log eps) (log 1/2))))) (* 7/81 (* (exp (* 1/3 (+ (log eps) (log 1/2)))) (pow x 2))))
  (pow (sin (+ x (* 1/2 eps))) 1/3)
  (pow (sin (+ x (* 1/2 eps))) 1/3)
0.678 * * [simplify]: iteration  0 :  4905  enodes  (cost  392 )
0.679 * * [simplify]: iteration  1 :  4905  enodes  (cost  392 )
0.681 * [simplify]: Simplified to:
   (log (sin (+ x (* eps 1/2))))
  (exp (sin (+ x (* eps 1/2))))
  (pow (sin (+ x (* eps 1/2))) 2/3)
  (cbrt (sin (+ x (* eps 1/2))))
  (pow (sin (+ x (* eps 1/2))) 3)
  (sqrt (sin (+ x (* eps 1/2))))
  (sqrt (sin (+ x (* eps 1/2))))
  (* (sin x) (cos (* eps 1/2)))
  (* (cos x) (sin (* eps 1/2)))
  (log (sin (+ x (* eps 1/2))))
  (exp (sin (+ x (* eps 1/2))))
  (pow (sin (+ x (* eps 1/2))) 2/3)
  (cbrt (sin (+ x (* eps 1/2))))
  (pow (sin (+ x (* eps 1/2))) 3)
  (sqrt (sin (+ x (* eps 1/2))))
  (sqrt (sin (+ x (* eps 1/2))))
  (* (sin x) (cos (* eps 1/2)))
  (* (cos x) (sin (* eps 1/2)))
  (log (sin (+ x (* eps 1/2))))
  (exp (sin (+ x (* eps 1/2))))
  (pow (sin (+ x (* eps 1/2))) 2/3)
  (cbrt (sin (+ x (* eps 1/2))))
  (pow (sin (+ x (* eps 1/2))) 3)
  (sqrt (sin (+ x (* eps 1/2))))
  (sqrt (sin (+ x (* eps 1/2))))
  (log (cbrt (sin (+ x (* eps 1/2)))))
  (exp (cbrt (sin (+ x (* eps 1/2)))))
  (cbrt (pow (sin (+ x (* eps 1/2))) 2/3))
  (cbrt (cbrt (sin (+ x (* eps 1/2)))))
  (cbrt (sqrt (sin (+ x (* eps 1/2)))))
  (cbrt (sqrt (sin (+ x (* eps 1/2)))))
  (cbrt 1)
  (cbrt (sin (+ x (* eps 1/2))))
  (* (cbrt (cbrt (sin (+ x (* eps 1/2))))) (cbrt (cbrt (sin (+ x (* eps 1/2))))))
  (cbrt (cbrt (sin (+ x (* eps 1/2)))))
  (sin (+ x (* eps 1/2)))
  (sqrt (cbrt (sin (+ x (* eps 1/2)))))
  (sqrt (cbrt (sin (+ x (* eps 1/2)))))
  (+ x (+ (* eps 1/2) (* (pow x 3) -1/6)))
  (sin (+ x (* eps 1/2)))
  (sin (+ x (* eps 1/2)))
  (+ x (+ (* eps 1/2) (* (pow x 3) -1/6)))
  (sin (+ x (* eps 1/2)))
  (sin (+ x (* eps 1/2)))
  (+ x (+ (* eps 1/2) (* (pow x 3) -1/6)))
  (sin (+ x (* eps 1/2)))
  (sin (+ x (* eps 1/2)))
  (+ (* x (* 1/3 (* (cbrt 4) (pow eps -2/3)))) (* (cbrt (* eps 1/2)) (+ 1 (* x (* x -7/81)))))
  (cbrt (sin (+ x (* eps 1/2))))
  (cbrt (sin (+ x (* eps 1/2))))
0.681 * * * [progress]: adding candidates to table
0.813 * * [progress]: iteration 4 / 4
0.813 * * * [progress]: picking best candidate
0.867 * * * * [pick]: Picked  #<alt (λ (x eps) (* -2 (* (* (cbrt (sin (+ x (* eps 1/2)))) (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (sin (* eps 1/2)))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))))>
0.867 * * * [progress]: localizing error
0.900 * * * [progress]: generating rewritten candidates
0.900 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
0.903 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1)
0.907 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
0.914 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
0.917 * * * [progress]: generating series expansions
0.917 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
0.917 * [approximate]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in (x eps) around 0
0.917 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in eps
0.917 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
0.917 * [taylor]: Taking taylor expansion of 1/2 in eps
0.917 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
0.917 * [taylor]: Taking taylor expansion of (* 2 x) in eps
0.917 * [taylor]: Taking taylor expansion of 2 in eps
0.917 * [taylor]: Taking taylor expansion of x in eps
0.917 * [taylor]: Taking taylor expansion of eps in eps
0.917 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in x
0.918 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
0.918 * [taylor]: Taking taylor expansion of 1/2 in x
0.918 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.918 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.918 * [taylor]: Taking taylor expansion of 2 in x
0.918 * [taylor]: Taking taylor expansion of x in x
0.918 * [taylor]: Taking taylor expansion of eps in x
0.918 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in x
0.918 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
0.918 * [taylor]: Taking taylor expansion of 1/2 in x
0.918 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.918 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.918 * [taylor]: Taking taylor expansion of 2 in x
0.918 * [taylor]: Taking taylor expansion of x in x
0.918 * [taylor]: Taking taylor expansion of eps in x
0.918 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.918 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.918 * [taylor]: Taking taylor expansion of 1/2 in eps
0.918 * [taylor]: Taking taylor expansion of eps in eps
0.918 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.918 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.918 * [taylor]: Taking taylor expansion of 1/2 in eps
0.918 * [taylor]: Taking taylor expansion of eps in eps
0.919 * [taylor]: Taking taylor expansion of (neg (* 1/2 (sin (* 1/2 eps)))) in eps
0.919 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/2 eps))) in eps
0.919 * [taylor]: Taking taylor expansion of 1/2 in eps
0.919 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.919 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.919 * [taylor]: Taking taylor expansion of 1/2 in eps
0.919 * [taylor]: Taking taylor expansion of eps in eps
0.920 * [taylor]: Taking taylor expansion of (neg (* 1/6 (cos (* 1/2 eps)))) in eps
0.920 * [taylor]: Taking taylor expansion of (* 1/6 (cos (* 1/2 eps))) in eps
0.920 * [taylor]: Taking taylor expansion of 1/6 in eps
0.920 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.920 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.920 * [taylor]: Taking taylor expansion of 1/2 in eps
0.920 * [taylor]: Taking taylor expansion of eps in eps
0.920 * [approximate]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
0.920 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.920 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.920 * [taylor]: Taking taylor expansion of 1/2 in eps
0.920 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.920 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.920 * [taylor]: Taking taylor expansion of eps in eps
0.920 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.920 * [taylor]: Taking taylor expansion of 2 in eps
0.920 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.920 * [taylor]: Taking taylor expansion of x in eps
0.920 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.920 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.920 * [taylor]: Taking taylor expansion of 1/2 in x
0.920 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.920 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.920 * [taylor]: Taking taylor expansion of eps in x
0.920 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.920 * [taylor]: Taking taylor expansion of 2 in x
0.920 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.921 * [taylor]: Taking taylor expansion of x in x
0.921 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.921 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.921 * [taylor]: Taking taylor expansion of 1/2 in x
0.921 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.921 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.921 * [taylor]: Taking taylor expansion of eps in x
0.921 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.921 * [taylor]: Taking taylor expansion of 2 in x
0.921 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.921 * [taylor]: Taking taylor expansion of x in x
0.921 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.921 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.921 * [taylor]: Taking taylor expansion of 1/2 in eps
0.921 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.921 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.921 * [taylor]: Taking taylor expansion of eps in eps
0.921 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.921 * [taylor]: Taking taylor expansion of 2 in eps
0.921 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.921 * [taylor]: Taking taylor expansion of x in eps
0.921 * [taylor]: Taking taylor expansion of 0 in eps
0.921 * [taylor]: Taking taylor expansion of 0 in eps
0.921 * [taylor]: Taking taylor expansion of 0 in eps
0.922 * [approximate]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
0.922 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.922 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.922 * [taylor]: Taking taylor expansion of -1/2 in eps
0.922 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.922 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.922 * [taylor]: Taking taylor expansion of eps in eps
0.922 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.922 * [taylor]: Taking taylor expansion of 2 in eps
0.922 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.922 * [taylor]: Taking taylor expansion of x in eps
0.922 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.922 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.922 * [taylor]: Taking taylor expansion of -1/2 in x
0.922 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.922 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.922 * [taylor]: Taking taylor expansion of eps in x
0.922 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.922 * [taylor]: Taking taylor expansion of 2 in x
0.922 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.922 * [taylor]: Taking taylor expansion of x in x
0.922 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.922 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.922 * [taylor]: Taking taylor expansion of -1/2 in x
0.922 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.922 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.922 * [taylor]: Taking taylor expansion of eps in x
0.922 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.922 * [taylor]: Taking taylor expansion of 2 in x
0.922 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.922 * [taylor]: Taking taylor expansion of x in x
0.922 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.922 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.922 * [taylor]: Taking taylor expansion of -1/2 in eps
0.923 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.923 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.923 * [taylor]: Taking taylor expansion of eps in eps
0.923 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.923 * [taylor]: Taking taylor expansion of 2 in eps
0.923 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.923 * [taylor]: Taking taylor expansion of x in eps
0.923 * [taylor]: Taking taylor expansion of 0 in eps
0.923 * [taylor]: Taking taylor expansion of 0 in eps
0.923 * [taylor]: Taking taylor expansion of 0 in eps
0.923 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1)
0.923 * [approximate]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in (x eps) around 0
0.923 * [taylor]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in eps
0.923 * [taylor]: Taking taylor expansion of (+ x (* 1/2 eps)) in eps
0.923 * [taylor]: Taking taylor expansion of x in eps
0.923 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.923 * [taylor]: Taking taylor expansion of 1/2 in eps
0.923 * [taylor]: Taking taylor expansion of eps in eps
0.923 * [taylor]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in x
0.923 * [taylor]: Taking taylor expansion of (+ x (* 1/2 eps)) in x
0.923 * [taylor]: Taking taylor expansion of x in x
0.923 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
0.923 * [taylor]: Taking taylor expansion of 1/2 in x
0.923 * [taylor]: Taking taylor expansion of eps in x
0.923 * [taylor]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in x
0.924 * [taylor]: Taking taylor expansion of (+ x (* 1/2 eps)) in x
0.924 * [taylor]: Taking taylor expansion of x in x
0.924 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
0.924 * [taylor]: Taking taylor expansion of 1/2 in x
0.924 * [taylor]: Taking taylor expansion of eps in x
0.924 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.924 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.924 * [taylor]: Taking taylor expansion of 1/2 in eps
0.924 * [taylor]: Taking taylor expansion of eps in eps
0.924 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.924 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.924 * [taylor]: Taking taylor expansion of 1/2 in eps
0.924 * [taylor]: Taking taylor expansion of eps in eps
0.925 * [taylor]: Taking taylor expansion of (neg (* 1/2 (sin (* 1/2 eps)))) in eps
0.925 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/2 eps))) in eps
0.925 * [taylor]: Taking taylor expansion of 1/2 in eps
0.925 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.925 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.925 * [taylor]: Taking taylor expansion of 1/2 in eps
0.925 * [taylor]: Taking taylor expansion of eps in eps
0.925 * [taylor]: Taking taylor expansion of (neg (* 1/6 (cos (* 1/2 eps)))) in eps
0.925 * [taylor]: Taking taylor expansion of (* 1/6 (cos (* 1/2 eps))) in eps
0.925 * [taylor]: Taking taylor expansion of 1/6 in eps
0.925 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.925 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.925 * [taylor]: Taking taylor expansion of 1/2 in eps
0.925 * [taylor]: Taking taylor expansion of eps in eps
0.926 * [approximate]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in (x eps) around 0
0.926 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps
0.926 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps
0.926 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps
0.926 * [taylor]: Taking taylor expansion of 1/2 in eps
0.926 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.926 * [taylor]: Taking taylor expansion of eps in eps
0.926 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.926 * [taylor]: Taking taylor expansion of x in eps
0.926 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x
0.926 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x
0.926 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x
0.926 * [taylor]: Taking taylor expansion of 1/2 in x
0.926 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.926 * [taylor]: Taking taylor expansion of eps in x
0.926 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.926 * [taylor]: Taking taylor expansion of x in x
0.926 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x
0.926 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x
0.926 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x
0.926 * [taylor]: Taking taylor expansion of 1/2 in x
0.926 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.926 * [taylor]: Taking taylor expansion of eps in x
0.926 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.926 * [taylor]: Taking taylor expansion of x in x
0.926 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps
0.926 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps
0.926 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps
0.926 * [taylor]: Taking taylor expansion of 1/2 in eps
0.926 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.926 * [taylor]: Taking taylor expansion of eps in eps
0.927 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.927 * [taylor]: Taking taylor expansion of x in eps
0.927 * [taylor]: Taking taylor expansion of 0 in eps
0.927 * [taylor]: Taking taylor expansion of 0 in eps
0.927 * [taylor]: Taking taylor expansion of 0 in eps
0.927 * [approximate]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in (x eps) around 0
0.927 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in eps
0.927 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps
0.927 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps
0.927 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps
0.927 * [taylor]: Taking taylor expansion of 1/2 in eps
0.927 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.927 * [taylor]: Taking taylor expansion of eps in eps
0.927 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.927 * [taylor]: Taking taylor expansion of x in eps
0.927 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in x
0.927 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x
0.927 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x
0.927 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x
0.927 * [taylor]: Taking taylor expansion of 1/2 in x
0.927 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.927 * [taylor]: Taking taylor expansion of eps in x
0.927 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.927 * [taylor]: Taking taylor expansion of x in x
0.928 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in x
0.928 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x
0.928 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x
0.928 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x
0.928 * [taylor]: Taking taylor expansion of 1/2 in x
0.928 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.928 * [taylor]: Taking taylor expansion of eps in x
0.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.928 * [taylor]: Taking taylor expansion of x in x
0.928 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in eps
0.928 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps
0.928 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps
0.928 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps
0.928 * [taylor]: Taking taylor expansion of 1/2 in eps
0.928 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.928 * [taylor]: Taking taylor expansion of eps in eps
0.928 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.928 * [taylor]: Taking taylor expansion of x in eps
0.928 * [taylor]: Taking taylor expansion of 0 in eps
0.928 * [taylor]: Taking taylor expansion of 0 in eps
0.928 * [taylor]: Taking taylor expansion of 0 in eps
0.928 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
0.929 * [approximate]: Taking taylor expansion of (pow (+ (* (cos (* 1/2 eps)) (sin x)) (* (sin (* 1/2 eps)) (cos x))) 1/3) in (x eps) around 0
0.929 * [taylor]: Taking taylor expansion of (pow (+ (* (cos (* 1/2 eps)) (sin x)) (* (sin (* 1/2 eps)) (cos x))) 1/3) in eps
0.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* (cos (* 1/2 eps)) (sin x)) (* (sin (* 1/2 eps)) (cos x)))))) in eps
0.929 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* (cos (* 1/2 eps)) (sin x)) (* (sin (* 1/2 eps)) (cos x))))) in eps
0.929 * [taylor]: Taking taylor expansion of 1/3 in eps
0.929 * [taylor]: Taking taylor expansion of (log (+ (* (cos (* 1/2 eps)) (sin x)) (* (sin (* 1/2 eps)) (cos x)))) in eps
0.929 * [taylor]: Taking taylor expansion of (+ (* (cos (* 1/2 eps)) (sin x)) (* (sin (* 1/2 eps)) (cos x))) in eps
0.929 * [taylor]: Taking taylor expansion of (* (cos (* 1/2 eps)) (sin x)) in eps
0.929 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.929 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.929 * [taylor]: Taking taylor expansion of 1/2 in eps
0.929 * [taylor]: Taking taylor expansion of eps in eps
0.929 * [taylor]: Taking taylor expansion of (sin x) in eps
0.929 * [taylor]: Taking taylor expansion of x in eps
0.929 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (cos x)) in eps
0.929 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.929 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.929 * [taylor]: Taking taylor expansion of 1/2 in eps
0.929 * [taylor]: Taking taylor expansion of eps in eps
0.929 * [taylor]: Taking taylor expansion of (cos x) in eps
0.929 * [taylor]: Taking taylor expansion of x in eps
0.929 * [taylor]: Taking taylor expansion of (pow (+ (* (cos (* 1/2 eps)) (sin x)) (* (sin (* 1/2 eps)) (cos x))) 1/3) in x
0.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* (cos (* 1/2 eps)) (sin x)) (* (sin (* 1/2 eps)) (cos x)))))) in x
0.929 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* (cos (* 1/2 eps)) (sin x)) (* (sin (* 1/2 eps)) (cos x))))) in x
0.929 * [taylor]: Taking taylor expansion of 1/3 in x
0.929 * [taylor]: Taking taylor expansion of (log (+ (* (cos (* 1/2 eps)) (sin x)) (* (sin (* 1/2 eps)) (cos x)))) in x
0.929 * [taylor]: Taking taylor expansion of (+ (* (cos (* 1/2 eps)) (sin x)) (* (sin (* 1/2 eps)) (cos x))) in x
0.929 * [taylor]: Taking taylor expansion of (* (cos (* 1/2 eps)) (sin x)) in x
0.929 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in x
0.929 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
0.929 * [taylor]: Taking taylor expansion of 1/2 in x
0.929 * [taylor]: Taking taylor expansion of eps in x
0.930 * [taylor]: Taking taylor expansion of (sin x) in x
0.930 * [taylor]: Taking taylor expansion of x in x
0.930 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (cos x)) in x
0.930 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x
0.930 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
0.930 * [taylor]: Taking taylor expansion of 1/2 in x
0.930 * [taylor]: Taking taylor expansion of eps in x
0.930 * [taylor]: Taking taylor expansion of (cos x) in x
0.930 * [taylor]: Taking taylor expansion of x in x
0.930 * [taylor]: Taking taylor expansion of (pow (+ (* (cos (* 1/2 eps)) (sin x)) (* (sin (* 1/2 eps)) (cos x))) 1/3) in x
0.930 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* (cos (* 1/2 eps)) (sin x)) (* (sin (* 1/2 eps)) (cos x)))))) in x
0.930 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* (cos (* 1/2 eps)) (sin x)) (* (sin (* 1/2 eps)) (cos x))))) in x
0.930 * [taylor]: Taking taylor expansion of 1/3 in x
0.930 * [taylor]: Taking taylor expansion of (log (+ (* (cos (* 1/2 eps)) (sin x)) (* (sin (* 1/2 eps)) (cos x)))) in x
0.930 * [taylor]: Taking taylor expansion of (+ (* (cos (* 1/2 eps)) (sin x)) (* (sin (* 1/2 eps)) (cos x))) in x
0.930 * [taylor]: Taking taylor expansion of (* (cos (* 1/2 eps)) (sin x)) in x
0.930 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in x
0.930 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
0.930 * [taylor]: Taking taylor expansion of 1/2 in x
0.930 * [taylor]: Taking taylor expansion of eps in x
0.930 * [taylor]: Taking taylor expansion of (sin x) in x
0.930 * [taylor]: Taking taylor expansion of x in x
0.930 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (cos x)) in x
0.930 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x
0.930 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
0.930 * [taylor]: Taking taylor expansion of 1/2 in x
0.930 * [taylor]: Taking taylor expansion of eps in x
0.930 * [taylor]: Taking taylor expansion of (cos x) in x
0.930 * [taylor]: Taking taylor expansion of x in x
0.931 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 1/3) in eps
0.931 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (* 1/2 eps))))) in eps
0.931 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (* 1/2 eps)))) in eps
0.931 * [taylor]: Taking taylor expansion of 1/3 in eps
0.931 * [taylor]: Taking taylor expansion of (log (sin (* 1/2 eps))) in eps
0.931 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.931 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.931 * [taylor]: Taking taylor expansion of 1/2 in eps
0.931 * [taylor]: Taking taylor expansion of eps in eps
0.932 * [taylor]: Taking taylor expansion of (* 1/3 (* (cos (* 1/2 eps)) (pow (/ 1 (pow (sin (* 1/2 eps)) 2)) 1/3))) in eps
0.932 * [taylor]: Taking taylor expansion of 1/3 in eps
0.932 * [taylor]: Taking taylor expansion of (* (cos (* 1/2 eps)) (pow (/ 1 (pow (sin (* 1/2 eps)) 2)) 1/3)) in eps
0.932 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.932 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.932 * [taylor]: Taking taylor expansion of 1/2 in eps
0.932 * [taylor]: Taking taylor expansion of eps in eps
0.932 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (sin (* 1/2 eps)) 2)) 1/3) in eps
0.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (sin (* 1/2 eps)) 2))))) in eps
0.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow (sin (* 1/2 eps)) 2)))) in eps
0.932 * [taylor]: Taking taylor expansion of 1/3 in eps
0.932 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (sin (* 1/2 eps)) 2))) in eps
0.932 * [taylor]: Taking taylor expansion of (/ 1 (pow (sin (* 1/2 eps)) 2)) in eps
0.932 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps
0.932 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.932 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.932 * [taylor]: Taking taylor expansion of 1/2 in eps
0.932 * [taylor]: Taking taylor expansion of eps in eps
0.935 * [taylor]: Taking taylor expansion of (* -1 (* (pow (sin (* 1/2 eps)) 1/3) (+ (* 1/9 (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2))) 1/6))) in eps
0.935 * [taylor]: Taking taylor expansion of -1 in eps
0.935 * [taylor]: Taking taylor expansion of (* (pow (sin (* 1/2 eps)) 1/3) (+ (* 1/9 (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2))) 1/6)) in eps
0.935 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 1/3) in eps
0.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (* 1/2 eps))))) in eps
0.935 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (* 1/2 eps)))) in eps
0.935 * [taylor]: Taking taylor expansion of 1/3 in eps
0.935 * [taylor]: Taking taylor expansion of (log (sin (* 1/2 eps))) in eps
0.935 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.935 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.935 * [taylor]: Taking taylor expansion of 1/2 in eps
0.935 * [taylor]: Taking taylor expansion of eps in eps
0.935 * [taylor]: Taking taylor expansion of (+ (* 1/9 (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2))) 1/6) in eps
0.935 * [taylor]: Taking taylor expansion of (* 1/9 (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2))) in eps
0.935 * [taylor]: Taking taylor expansion of 1/9 in eps
0.935 * [taylor]: Taking taylor expansion of (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2)) in eps
0.935 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 eps)) 2) in eps
0.936 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.936 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.936 * [taylor]: Taking taylor expansion of 1/2 in eps
0.936 * [taylor]: Taking taylor expansion of eps in eps
0.936 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps
0.936 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.936 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.936 * [taylor]: Taking taylor expansion of 1/2 in eps
0.936 * [taylor]: Taking taylor expansion of eps in eps
0.936 * [taylor]: Taking taylor expansion of 1/6 in eps
0.938 * [approximate]: Taking taylor expansion of (pow (+ (* (sin (/ 1 x)) (cos (/ 1/2 eps))) (* (cos (/ 1 x)) (sin (/ 1/2 eps)))) 1/3) in (x eps) around 0
0.938 * [taylor]: Taking taylor expansion of (pow (+ (* (sin (/ 1 x)) (cos (/ 1/2 eps))) (* (cos (/ 1 x)) (sin (/ 1/2 eps)))) 1/3) in eps
0.938 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* (sin (/ 1 x)) (cos (/ 1/2 eps))) (* (cos (/ 1 x)) (sin (/ 1/2 eps))))))) in eps
0.938 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* (sin (/ 1 x)) (cos (/ 1/2 eps))) (* (cos (/ 1 x)) (sin (/ 1/2 eps)))))) in eps
0.938 * [taylor]: Taking taylor expansion of 1/3 in eps
0.938 * [taylor]: Taking taylor expansion of (log (+ (* (sin (/ 1 x)) (cos (/ 1/2 eps))) (* (cos (/ 1 x)) (sin (/ 1/2 eps))))) in eps
0.938 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 x)) (cos (/ 1/2 eps))) (* (cos (/ 1 x)) (sin (/ 1/2 eps)))) in eps
0.938 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (cos (/ 1/2 eps))) in eps
0.938 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
0.938 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.938 * [taylor]: Taking taylor expansion of x in eps
0.938 * [taylor]: Taking taylor expansion of (cos (/ 1/2 eps)) in eps
0.938 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
0.938 * [taylor]: Taking taylor expansion of 1/2 in eps
0.938 * [taylor]: Taking taylor expansion of eps in eps
0.938 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (sin (/ 1/2 eps))) in eps
0.939 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
0.939 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.939 * [taylor]: Taking taylor expansion of x in eps
0.939 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
0.939 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
0.939 * [taylor]: Taking taylor expansion of 1/2 in eps
0.939 * [taylor]: Taking taylor expansion of eps in eps
0.939 * [taylor]: Taking taylor expansion of (pow (+ (* (sin (/ 1 x)) (cos (/ 1/2 eps))) (* (cos (/ 1 x)) (sin (/ 1/2 eps)))) 1/3) in x
0.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* (sin (/ 1 x)) (cos (/ 1/2 eps))) (* (cos (/ 1 x)) (sin (/ 1/2 eps))))))) in x
0.939 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* (sin (/ 1 x)) (cos (/ 1/2 eps))) (* (cos (/ 1 x)) (sin (/ 1/2 eps)))))) in x
0.939 * [taylor]: Taking taylor expansion of 1/3 in x
0.940 * [taylor]: Taking taylor expansion of (log (+ (* (sin (/ 1 x)) (cos (/ 1/2 eps))) (* (cos (/ 1 x)) (sin (/ 1/2 eps))))) in x
0.940 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 x)) (cos (/ 1/2 eps))) (* (cos (/ 1 x)) (sin (/ 1/2 eps)))) in x
0.940 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (cos (/ 1/2 eps))) in x
0.940 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.940 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.940 * [taylor]: Taking taylor expansion of x in x
0.940 * [taylor]: Taking taylor expansion of (cos (/ 1/2 eps)) in x
0.940 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x
0.940 * [taylor]: Taking taylor expansion of 1/2 in x
0.940 * [taylor]: Taking taylor expansion of eps in x
0.940 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (sin (/ 1/2 eps))) in x
0.940 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.940 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.940 * [taylor]: Taking taylor expansion of x in x
0.940 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x
0.940 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x
0.940 * [taylor]: Taking taylor expansion of 1/2 in x
0.940 * [taylor]: Taking taylor expansion of eps in x
0.941 * [taylor]: Taking taylor expansion of (pow (+ (* (sin (/ 1 x)) (cos (/ 1/2 eps))) (* (cos (/ 1 x)) (sin (/ 1/2 eps)))) 1/3) in x
0.941 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* (sin (/ 1 x)) (cos (/ 1/2 eps))) (* (cos (/ 1 x)) (sin (/ 1/2 eps))))))) in x
0.941 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* (sin (/ 1 x)) (cos (/ 1/2 eps))) (* (cos (/ 1 x)) (sin (/ 1/2 eps)))))) in x
0.941 * [taylor]: Taking taylor expansion of 1/3 in x
0.941 * [taylor]: Taking taylor expansion of (log (+ (* (sin (/ 1 x)) (cos (/ 1/2 eps))) (* (cos (/ 1 x)) (sin (/ 1/2 eps))))) in x
0.941 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 x)) (cos (/ 1/2 eps))) (* (cos (/ 1 x)) (sin (/ 1/2 eps)))) in x
0.941 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (cos (/ 1/2 eps))) in x
0.941 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.941 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.941 * [taylor]: Taking taylor expansion of x in x
0.941 * [taylor]: Taking taylor expansion of (cos (/ 1/2 eps)) in x
0.941 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x
0.941 * [taylor]: Taking taylor expansion of 1/2 in x
0.941 * [taylor]: Taking taylor expansion of eps in x
0.941 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (sin (/ 1/2 eps))) in x
0.941 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.941 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.941 * [taylor]: Taking taylor expansion of x in x
0.941 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x
0.941 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x
0.941 * [taylor]: Taking taylor expansion of 1/2 in x
0.941 * [taylor]: Taking taylor expansion of eps in x
0.942 * [taylor]: Taking taylor expansion of (pow (+ (* (sin (/ 1/2 eps)) (cos (/ 1 x))) (* (cos (/ 1/2 eps)) (sin (/ 1 x)))) 1/3) in eps
0.942 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* (sin (/ 1/2 eps)) (cos (/ 1 x))) (* (cos (/ 1/2 eps)) (sin (/ 1 x))))))) in eps
0.942 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* (sin (/ 1/2 eps)) (cos (/ 1 x))) (* (cos (/ 1/2 eps)) (sin (/ 1 x)))))) in eps
0.942 * [taylor]: Taking taylor expansion of 1/3 in eps
0.942 * [taylor]: Taking taylor expansion of (log (+ (* (sin (/ 1/2 eps)) (cos (/ 1 x))) (* (cos (/ 1/2 eps)) (sin (/ 1 x))))) in eps
0.942 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1/2 eps)) (cos (/ 1 x))) (* (cos (/ 1/2 eps)) (sin (/ 1 x)))) in eps
0.942 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (cos (/ 1 x))) in eps
0.942 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
0.942 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
0.942 * [taylor]: Taking taylor expansion of 1/2 in eps
0.942 * [taylor]: Taking taylor expansion of eps in eps
0.942 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
0.942 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.942 * [taylor]: Taking taylor expansion of x in eps
0.943 * [taylor]: Taking taylor expansion of (* (cos (/ 1/2 eps)) (sin (/ 1 x))) in eps
0.943 * [taylor]: Taking taylor expansion of (cos (/ 1/2 eps)) in eps
0.943 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
0.943 * [taylor]: Taking taylor expansion of 1/2 in eps
0.943 * [taylor]: Taking taylor expansion of eps in eps
0.943 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
0.943 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.943 * [taylor]: Taking taylor expansion of x in eps
0.945 * [taylor]: Taking taylor expansion of 0 in eps
0.947 * [taylor]: Taking taylor expansion of 0 in eps
0.951 * [taylor]: Taking taylor expansion of 0 in eps
0.951 * [approximate]: Taking taylor expansion of (pow (+ (* (sin (/ -1 x)) (cos (/ -1/2 eps))) (* (sin (/ -1/2 eps)) (cos (/ -1 x)))) 1/3) in (x eps) around 0
0.951 * [taylor]: Taking taylor expansion of (pow (+ (* (sin (/ -1 x)) (cos (/ -1/2 eps))) (* (sin (/ -1/2 eps)) (cos (/ -1 x)))) 1/3) in eps
0.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* (sin (/ -1 x)) (cos (/ -1/2 eps))) (* (sin (/ -1/2 eps)) (cos (/ -1 x))))))) in eps
0.951 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* (sin (/ -1 x)) (cos (/ -1/2 eps))) (* (sin (/ -1/2 eps)) (cos (/ -1 x)))))) in eps
0.951 * [taylor]: Taking taylor expansion of 1/3 in eps
0.951 * [taylor]: Taking taylor expansion of (log (+ (* (sin (/ -1 x)) (cos (/ -1/2 eps))) (* (sin (/ -1/2 eps)) (cos (/ -1 x))))) in eps
0.951 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (cos (/ -1/2 eps))) (* (sin (/ -1/2 eps)) (cos (/ -1 x)))) in eps
0.951 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (cos (/ -1/2 eps))) in eps
0.951 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
0.951 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.951 * [taylor]: Taking taylor expansion of -1 in eps
0.951 * [taylor]: Taking taylor expansion of x in eps
0.951 * [taylor]: Taking taylor expansion of (cos (/ -1/2 eps)) in eps
0.951 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
0.951 * [taylor]: Taking taylor expansion of -1/2 in eps
0.951 * [taylor]: Taking taylor expansion of eps in eps
0.951 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (/ -1 x))) in eps
0.951 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
0.951 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
0.951 * [taylor]: Taking taylor expansion of -1/2 in eps
0.951 * [taylor]: Taking taylor expansion of eps in eps
0.951 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
0.951 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.951 * [taylor]: Taking taylor expansion of -1 in eps
0.951 * [taylor]: Taking taylor expansion of x in eps
0.952 * [taylor]: Taking taylor expansion of (pow (+ (* (sin (/ -1 x)) (cos (/ -1/2 eps))) (* (sin (/ -1/2 eps)) (cos (/ -1 x)))) 1/3) in x
0.952 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* (sin (/ -1 x)) (cos (/ -1/2 eps))) (* (sin (/ -1/2 eps)) (cos (/ -1 x))))))) in x
0.952 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* (sin (/ -1 x)) (cos (/ -1/2 eps))) (* (sin (/ -1/2 eps)) (cos (/ -1 x)))))) in x
0.952 * [taylor]: Taking taylor expansion of 1/3 in x
0.952 * [taylor]: Taking taylor expansion of (log (+ (* (sin (/ -1 x)) (cos (/ -1/2 eps))) (* (sin (/ -1/2 eps)) (cos (/ -1 x))))) in x
0.952 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (cos (/ -1/2 eps))) (* (sin (/ -1/2 eps)) (cos (/ -1 x)))) in x
0.952 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (cos (/ -1/2 eps))) in x
0.952 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.952 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.952 * [taylor]: Taking taylor expansion of -1 in x
0.952 * [taylor]: Taking taylor expansion of x in x
0.952 * [taylor]: Taking taylor expansion of (cos (/ -1/2 eps)) in x
0.953 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x
0.953 * [taylor]: Taking taylor expansion of -1/2 in x
0.953 * [taylor]: Taking taylor expansion of eps in x
0.953 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (/ -1 x))) in x
0.953 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x
0.953 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x
0.953 * [taylor]: Taking taylor expansion of -1/2 in x
0.953 * [taylor]: Taking taylor expansion of eps in x
0.953 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.953 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.953 * [taylor]: Taking taylor expansion of -1 in x
0.953 * [taylor]: Taking taylor expansion of x in x
0.954 * [taylor]: Taking taylor expansion of (pow (+ (* (sin (/ -1 x)) (cos (/ -1/2 eps))) (* (sin (/ -1/2 eps)) (cos (/ -1 x)))) 1/3) in x
0.954 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* (sin (/ -1 x)) (cos (/ -1/2 eps))) (* (sin (/ -1/2 eps)) (cos (/ -1 x))))))) in x
0.954 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* (sin (/ -1 x)) (cos (/ -1/2 eps))) (* (sin (/ -1/2 eps)) (cos (/ -1 x)))))) in x
0.954 * [taylor]: Taking taylor expansion of 1/3 in x
0.954 * [taylor]: Taking taylor expansion of (log (+ (* (sin (/ -1 x)) (cos (/ -1/2 eps))) (* (sin (/ -1/2 eps)) (cos (/ -1 x))))) in x
0.954 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (cos (/ -1/2 eps))) (* (sin (/ -1/2 eps)) (cos (/ -1 x)))) in x
0.954 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (cos (/ -1/2 eps))) in x
0.954 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.954 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.954 * [taylor]: Taking taylor expansion of -1 in x
0.954 * [taylor]: Taking taylor expansion of x in x
0.954 * [taylor]: Taking taylor expansion of (cos (/ -1/2 eps)) in x
0.954 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x
0.954 * [taylor]: Taking taylor expansion of -1/2 in x
0.954 * [taylor]: Taking taylor expansion of eps in x
0.954 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (/ -1 x))) in x
0.954 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x
0.954 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x
0.954 * [taylor]: Taking taylor expansion of -1/2 in x
0.954 * [taylor]: Taking taylor expansion of eps in x
0.954 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.954 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.954 * [taylor]: Taking taylor expansion of -1 in x
0.954 * [taylor]: Taking taylor expansion of x in x
0.955 * [taylor]: Taking taylor expansion of (pow (+ (* (sin (/ -1 x)) (cos (/ -1/2 eps))) (* (sin (/ -1/2 eps)) (cos (/ -1 x)))) 1/3) in eps
0.955 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* (sin (/ -1 x)) (cos (/ -1/2 eps))) (* (sin (/ -1/2 eps)) (cos (/ -1 x))))))) in eps
0.955 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* (sin (/ -1 x)) (cos (/ -1/2 eps))) (* (sin (/ -1/2 eps)) (cos (/ -1 x)))))) in eps
0.955 * [taylor]: Taking taylor expansion of 1/3 in eps
0.955 * [taylor]: Taking taylor expansion of (log (+ (* (sin (/ -1 x)) (cos (/ -1/2 eps))) (* (sin (/ -1/2 eps)) (cos (/ -1 x))))) in eps
0.955 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (cos (/ -1/2 eps))) (* (sin (/ -1/2 eps)) (cos (/ -1 x)))) in eps
0.955 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (cos (/ -1/2 eps))) in eps
0.955 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
0.955 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.955 * [taylor]: Taking taylor expansion of -1 in eps
0.955 * [taylor]: Taking taylor expansion of x in eps
0.955 * [taylor]: Taking taylor expansion of (cos (/ -1/2 eps)) in eps
0.955 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
0.955 * [taylor]: Taking taylor expansion of -1/2 in eps
0.955 * [taylor]: Taking taylor expansion of eps in eps
0.955 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (/ -1 x))) in eps
0.955 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
0.955 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
0.955 * [taylor]: Taking taylor expansion of -1/2 in eps
0.955 * [taylor]: Taking taylor expansion of eps in eps
0.955 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
0.955 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.955 * [taylor]: Taking taylor expansion of -1 in eps
0.955 * [taylor]: Taking taylor expansion of x in eps
0.957 * [taylor]: Taking taylor expansion of 0 in eps
0.960 * [taylor]: Taking taylor expansion of 0 in eps
0.963 * [taylor]: Taking taylor expansion of 0 in eps
0.963 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
0.964 * [approximate]: Taking taylor expansion of (pow (sin (+ x (* 1/2 eps))) 1/3) in (x eps) around 0
0.964 * [taylor]: Taking taylor expansion of (pow (sin (+ x (* 1/2 eps))) 1/3) in eps
0.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (+ x (* 1/2 eps)))))) in eps
0.964 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (+ x (* 1/2 eps))))) in eps
0.964 * [taylor]: Taking taylor expansion of 1/3 in eps
0.964 * [taylor]: Taking taylor expansion of (log (sin (+ x (* 1/2 eps)))) in eps
0.964 * [taylor]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in eps
0.964 * [taylor]: Taking taylor expansion of (+ x (* 1/2 eps)) in eps
0.964 * [taylor]: Taking taylor expansion of x in eps
0.964 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.964 * [taylor]: Taking taylor expansion of 1/2 in eps
0.964 * [taylor]: Taking taylor expansion of eps in eps
0.964 * [taylor]: Taking taylor expansion of (pow (sin (+ x (* 1/2 eps))) 1/3) in x
0.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (+ x (* 1/2 eps)))))) in x
0.964 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (+ x (* 1/2 eps))))) in x
0.964 * [taylor]: Taking taylor expansion of 1/3 in x
0.964 * [taylor]: Taking taylor expansion of (log (sin (+ x (* 1/2 eps)))) in x
0.964 * [taylor]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in x
0.964 * [taylor]: Taking taylor expansion of (+ x (* 1/2 eps)) in x
0.964 * [taylor]: Taking taylor expansion of x in x
0.964 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
0.964 * [taylor]: Taking taylor expansion of 1/2 in x
0.964 * [taylor]: Taking taylor expansion of eps in x
0.964 * [taylor]: Taking taylor expansion of (pow (sin (+ x (* 1/2 eps))) 1/3) in x
0.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (+ x (* 1/2 eps)))))) in x
0.964 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (+ x (* 1/2 eps))))) in x
0.964 * [taylor]: Taking taylor expansion of 1/3 in x
0.964 * [taylor]: Taking taylor expansion of (log (sin (+ x (* 1/2 eps)))) in x
0.964 * [taylor]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in x
0.964 * [taylor]: Taking taylor expansion of (+ x (* 1/2 eps)) in x
0.964 * [taylor]: Taking taylor expansion of x in x
0.964 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
0.965 * [taylor]: Taking taylor expansion of 1/2 in x
0.965 * [taylor]: Taking taylor expansion of eps in x
0.965 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 1/3) in eps
0.965 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (* 1/2 eps))))) in eps
0.965 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (* 1/2 eps)))) in eps
0.965 * [taylor]: Taking taylor expansion of 1/3 in eps
0.965 * [taylor]: Taking taylor expansion of (log (sin (* 1/2 eps))) in eps
0.965 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.965 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.965 * [taylor]: Taking taylor expansion of 1/2 in eps
0.965 * [taylor]: Taking taylor expansion of eps in eps
0.966 * [taylor]: Taking taylor expansion of (* 1/3 (* (cos (* 1/2 eps)) (pow (/ 1 (pow (sin (* 1/2 eps)) 2)) 1/3))) in eps
0.966 * [taylor]: Taking taylor expansion of 1/3 in eps
0.966 * [taylor]: Taking taylor expansion of (* (cos (* 1/2 eps)) (pow (/ 1 (pow (sin (* 1/2 eps)) 2)) 1/3)) in eps
0.966 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.966 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.966 * [taylor]: Taking taylor expansion of 1/2 in eps
0.966 * [taylor]: Taking taylor expansion of eps in eps
0.966 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (sin (* 1/2 eps)) 2)) 1/3) in eps
0.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (sin (* 1/2 eps)) 2))))) in eps
0.966 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow (sin (* 1/2 eps)) 2)))) in eps
0.966 * [taylor]: Taking taylor expansion of 1/3 in eps
0.966 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (sin (* 1/2 eps)) 2))) in eps
0.966 * [taylor]: Taking taylor expansion of (/ 1 (pow (sin (* 1/2 eps)) 2)) in eps
0.966 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps
0.966 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.966 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.966 * [taylor]: Taking taylor expansion of 1/2 in eps
0.966 * [taylor]: Taking taylor expansion of eps in eps
0.968 * [taylor]: Taking taylor expansion of (* -1 (* (pow (sin (* 1/2 eps)) 1/3) (+ (* 1/9 (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2))) 1/6))) in eps
0.968 * [taylor]: Taking taylor expansion of -1 in eps
0.968 * [taylor]: Taking taylor expansion of (* (pow (sin (* 1/2 eps)) 1/3) (+ (* 1/9 (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2))) 1/6)) in eps
0.968 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 1/3) in eps
0.968 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (* 1/2 eps))))) in eps
0.968 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (* 1/2 eps)))) in eps
0.968 * [taylor]: Taking taylor expansion of 1/3 in eps
0.968 * [taylor]: Taking taylor expansion of (log (sin (* 1/2 eps))) in eps
0.968 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.968 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.968 * [taylor]: Taking taylor expansion of 1/2 in eps
0.968 * [taylor]: Taking taylor expansion of eps in eps
0.969 * [taylor]: Taking taylor expansion of (+ (* 1/9 (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2))) 1/6) in eps
0.969 * [taylor]: Taking taylor expansion of (* 1/9 (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2))) in eps
0.969 * [taylor]: Taking taylor expansion of 1/9 in eps
0.969 * [taylor]: Taking taylor expansion of (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2)) in eps
0.969 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 eps)) 2) in eps
0.969 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.969 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.969 * [taylor]: Taking taylor expansion of 1/2 in eps
0.969 * [taylor]: Taking taylor expansion of eps in eps
0.969 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps
0.969 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.969 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.969 * [taylor]: Taking taylor expansion of 1/2 in eps
0.969 * [taylor]: Taking taylor expansion of eps in eps
0.969 * [taylor]: Taking taylor expansion of 1/6 in eps
0.971 * [approximate]: Taking taylor expansion of (pow (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) 1/3) in (x eps) around 0
0.971 * [taylor]: Taking taylor expansion of (pow (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) 1/3) in eps
0.971 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x)))))) in eps
0.971 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in eps
0.971 * [taylor]: Taking taylor expansion of 1/3 in eps
0.971 * [taylor]: Taking taylor expansion of (log (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in eps
0.971 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps
0.971 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps
0.971 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps
0.971 * [taylor]: Taking taylor expansion of 1/2 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 (/ 1 x) in eps
0.972 * [taylor]: Taking taylor expansion of x in eps
0.972 * [taylor]: Taking taylor expansion of (pow (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) 1/3) in x
0.972 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x)))))) in x
0.972 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in x
0.972 * [taylor]: Taking taylor expansion of 1/3 in x
0.972 * [taylor]: Taking taylor expansion of (log (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in x
0.972 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x
0.972 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x
0.972 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x
0.972 * [taylor]: Taking taylor expansion of 1/2 in x
0.972 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.972 * [taylor]: Taking taylor expansion of eps in x
0.972 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.972 * [taylor]: Taking taylor expansion of x in x
0.972 * [taylor]: Taking taylor expansion of (pow (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) 1/3) in x
0.972 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x)))))) in x
0.972 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in x
0.972 * [taylor]: Taking taylor expansion of 1/3 in x
0.972 * [taylor]: Taking taylor expansion of (log (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in x
0.972 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x
0.972 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x
0.972 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x
0.972 * [taylor]: Taking taylor expansion of 1/2 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 (/ 1 x) in x
0.973 * [taylor]: Taking taylor expansion of x in x
0.973 * [taylor]: Taking taylor expansion of (pow (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) 1/3) in eps
0.973 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x)))))) in eps
0.973 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in eps
0.973 * [taylor]: Taking taylor expansion of 1/3 in eps
0.973 * [taylor]: Taking taylor expansion of (log (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in eps
0.973 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps
0.973 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps
0.973 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps
0.973 * [taylor]: Taking taylor expansion of 1/2 in eps
0.973 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.973 * [taylor]: Taking taylor expansion of eps in eps
0.973 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.973 * [taylor]: Taking taylor expansion of x in eps
0.974 * [taylor]: Taking taylor expansion of 0 in eps
0.975 * [taylor]: Taking taylor expansion of 0 in eps
0.976 * [taylor]: Taking taylor expansion of 0 in eps
0.976 * [approximate]: Taking taylor expansion of (pow (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) 1/3) in (x eps) around 0
0.976 * [taylor]: Taking taylor expansion of (pow (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) 1/3) in eps
0.976 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))))) in eps
0.976 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))))) in eps
0.976 * [taylor]: Taking taylor expansion of 1/3 in eps
0.976 * [taylor]: Taking taylor expansion of (log (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in eps
0.976 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in eps
0.976 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps
0.977 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps
0.977 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps
0.977 * [taylor]: Taking taylor expansion of 1/2 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 (/ 1 x) in eps
0.977 * [taylor]: Taking taylor expansion of x in eps
0.977 * [taylor]: Taking taylor expansion of (pow (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) 1/3) in x
0.977 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))))) in x
0.977 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))))) in x
0.977 * [taylor]: Taking taylor expansion of 1/3 in x
0.977 * [taylor]: Taking taylor expansion of (log (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in x
0.977 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in x
0.977 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x
0.977 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x
0.977 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x
0.977 * [taylor]: Taking taylor expansion of 1/2 in x
0.977 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.977 * [taylor]: Taking taylor expansion of eps in x
0.977 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.977 * [taylor]: Taking taylor expansion of x in x
0.978 * [taylor]: Taking taylor expansion of (pow (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) 1/3) in x
0.978 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))))) in x
0.978 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))))) in x
0.978 * [taylor]: Taking taylor expansion of 1/3 in x
0.978 * [taylor]: Taking taylor expansion of (log (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in x
0.978 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in x
0.978 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x
0.978 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x
0.978 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x
0.978 * [taylor]: Taking taylor expansion of 1/2 in x
0.978 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.978 * [taylor]: Taking taylor expansion of eps in x
0.978 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.978 * [taylor]: Taking taylor expansion of x in x
0.978 * [taylor]: Taking taylor expansion of (pow (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) 1/3) in eps
0.978 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))))) in eps
0.978 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))))) in eps
0.978 * [taylor]: Taking taylor expansion of 1/3 in eps
0.978 * [taylor]: Taking taylor expansion of (log (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in eps
0.978 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in eps
0.978 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps
0.978 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps
0.978 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps
0.978 * [taylor]: Taking taylor expansion of 1/2 in eps
0.978 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.978 * [taylor]: Taking taylor expansion of eps in eps
0.978 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.978 * [taylor]: Taking taylor expansion of x in eps
0.979 * [taylor]: Taking taylor expansion of 0 in eps
0.980 * [taylor]: Taking taylor expansion of 0 in eps
0.982 * [taylor]: Taking taylor expansion of 0 in eps
0.982 * * * [progress]: simplifying candidates
0.983 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sin (* (+ x (+ x eps)) 1/2)))
  (exp (sin (* (+ x (+ x eps)) 1/2)))
  (* (cbrt (sin (* (+ x (+ x eps)) 1/2))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))
  (cbrt (sin (* (+ x (+ x eps)) 1/2)))
  (* (* (sin (* (+ x (+ x eps)) 1/2)) (sin (* (+ x (+ x eps)) 1/2))) (sin (* (+ x (+ x eps)) 1/2)))
  (sqrt (sin (* (+ x (+ x eps)) 1/2)))
  (sqrt (sin (* (+ x (+ x eps)) 1/2)))
  (* (sin x) (cos (* eps 1/2)))
  (* (cos x) (sin (* eps 1/2)))
  (log (sin (+ x (* eps 1/2))))
  (exp (sin (+ x (* eps 1/2))))
  (* (cbrt (sin (+ x (* eps 1/2)))) (cbrt (sin (+ x (* eps 1/2)))))
  (cbrt (sin (+ x (* eps 1/2))))
  (* (* (sin (+ x (* eps 1/2))) (sin (+ x (* eps 1/2)))) (sin (+ x (* eps 1/2))))
  (sqrt (sin (+ x (* eps 1/2))))
  (sqrt (sin (+ x (* eps 1/2))))
  (log (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))))
  (exp (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))))
  (cbrt (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2)))))))
  (cbrt (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))))
  (cbrt (sqrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))))
  (cbrt (sqrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))))
  (cbrt 1)
  (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2)))))
  (cbrt (+ (pow (* (sin x) (cos (* eps 1/2))) 3) (pow (* (cos x) (sin (* eps 1/2))) 3)))
  (cbrt (+ (* (* (sin x) (cos (* eps 1/2))) (* (sin x) (cos (* eps 1/2)))) (- (* (* (cos x) (sin (* eps 1/2))) (* (cos x) (sin (* eps 1/2)))) (* (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2)))))))
  (cbrt (- (* (* (sin x) (cos (* eps 1/2))) (* (sin x) (cos (* eps 1/2)))) (* (* (cos x) (sin (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))))
  (cbrt (- (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2)))))
  (* (cbrt (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2)))))) (cbrt (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2)))))))
  (cbrt (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))))
  (* (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2)))))) (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))))
  (sqrt (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))))
  (sqrt (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))))
  (log (cbrt (sin (+ x (* eps 1/2)))))
  (exp (cbrt (sin (+ x (* eps 1/2)))))
  (cbrt (* (cbrt (sin (+ x (* eps 1/2)))) (cbrt (sin (+ x (* eps 1/2))))))
  (cbrt (cbrt (sin (+ x (* eps 1/2)))))
  (cbrt (sqrt (sin (+ x (* eps 1/2)))))
  (cbrt (sqrt (sin (+ x (* eps 1/2)))))
  (cbrt 1)
  (cbrt (sin (+ x (* eps 1/2))))
  (* (cbrt (cbrt (sin (+ x (* eps 1/2))))) (cbrt (cbrt (sin (+ x (* eps 1/2))))))
  (cbrt (cbrt (sin (+ x (* eps 1/2)))))
  (* (* (cbrt (sin (+ x (* eps 1/2)))) (cbrt (sin (+ x (* eps 1/2))))) (cbrt (sin (+ x (* eps 1/2)))))
  (sqrt (cbrt (sin (+ x (* eps 1/2)))))
  (sqrt (cbrt (sin (+ x (* eps 1/2)))))
  (- (+ (* 1/2 eps) x) (* 1/6 (pow x 3)))
  (sin (* 1/2 (+ (* 2 x) eps)))
  (sin (* 1/2 (+ (* 2 x) eps)))
  (- (+ (* 1/2 eps) x) (* 1/6 (pow x 3)))
  (sin (+ x (* 1/2 eps)))
  (sin (+ x (* 1/2 eps)))
  (- (+ (* 1/3 (* x (exp (* 1/3 (- (log 4) (* 2 (log eps))))))) (exp (* 1/3 (+ (log eps) (log 1/2))))) (* 7/81 (* (exp (* 1/3 (+ (log eps) (log 1/2)))) (pow x 2))))
  (pow (+ (* (cos (* 1/2 eps)) (sin x)) (* (sin (* 1/2 eps)) (cos x))) 1/3)
  (pow (+ (* (cos (* 1/2 eps)) (sin x)) (* (sin (* 1/2 eps)) (cos x))) 1/3)
  (- (+ (* 1/3 (* x (exp (* 1/3 (- (log 4) (* 2 (log eps))))))) (exp (* 1/3 (+ (log eps) (log 1/2))))) (* 7/81 (* (exp (* 1/3 (+ (log eps) (log 1/2)))) (pow x 2))))
  (pow (sin (+ x (* 1/2 eps))) 1/3)
  (pow (sin (+ x (* 1/2 eps))) 1/3)
1.042 * * [simplify]: iteration  0 :  4877  enodes  (cost  689 )
1.043 * * [simplify]: iteration  1 :  4877  enodes  (cost  689 )
1.045 * [simplify]: Simplified to:
   (log (sin (+ x (* eps 1/2))))
  (exp (sin (+ x (* eps 1/2))))
  (pow (sin (+ x (* eps 1/2))) 2/3)
  (cbrt (sin (+ x (* eps 1/2))))
  (pow (sin (+ x (* eps 1/2))) 3)
  (sqrt (sin (+ x (* eps 1/2))))
  (sqrt (sin (+ x (* eps 1/2))))
  (* (sin x) (cos (* eps 1/2)))
  (* (cos x) (sin (* eps 1/2)))
  (log (sin (+ x (* eps 1/2))))
  (exp (sin (+ x (* eps 1/2))))
  (pow (sin (+ x (* eps 1/2))) 2/3)
  (cbrt (sin (+ x (* eps 1/2))))
  (pow (sin (+ x (* eps 1/2))) 3)
  (sqrt (sin (+ x (* eps 1/2))))
  (sqrt (sin (+ x (* eps 1/2))))
  (log (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))))
  (exp (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))))
  (cbrt (pow (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2)))) 2/3))
  (cbrt (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))))
  (cbrt (sqrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))))
  (cbrt (sqrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))))
  (cbrt 1)
  (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2)))))
  (cbrt (+ (pow (* (sin x) (cos (* eps 1/2))) 3) (pow (* (cos x) (sin (* eps 1/2))) 3)))
  (cbrt (+ (* (sin x) (* (sin x) (* (cos (* eps 1/2)) (cos (* eps 1/2))))) (* (cos x) (* (sin (* eps 1/2)) (- (* (cos x) (sin (* eps 1/2))) (* (sin x) (cos (* eps 1/2))))))))
  (cbrt (- (* (sin x) (* (sin x) (* (cos (* eps 1/2)) (cos (* eps 1/2))))) (* (cos x) (* (cos x) (* (sin (* eps 1/2)) (sin (* eps 1/2)))))))
  (cbrt (- (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2)))))
  (* (cbrt (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2)))))) (cbrt (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2)))))))
  (cbrt (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))))
  (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))
  (sqrt (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))))
  (sqrt (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))))
  (log (cbrt (sin (+ x (* eps 1/2)))))
  (exp (cbrt (sin (+ x (* eps 1/2)))))
  (cbrt (pow (sin (+ x (* eps 1/2))) 2/3))
  (cbrt (cbrt (sin (+ x (* eps 1/2)))))
  (cbrt (sqrt (sin (+ x (* eps 1/2)))))
  (cbrt (sqrt (sin (+ x (* eps 1/2)))))
  (cbrt 1)
  (cbrt (sin (+ x (* eps 1/2))))
  (* (cbrt (cbrt (sin (+ x (* eps 1/2))))) (cbrt (cbrt (sin (+ x (* eps 1/2))))))
  (cbrt (cbrt (sin (+ x (* eps 1/2)))))
  (sin (+ x (* eps 1/2)))
  (sqrt (cbrt (sin (+ x (* eps 1/2)))))
  (sqrt (cbrt (sin (+ x (* eps 1/2)))))
  (+ x (+ (* eps 1/2) (* (pow x 3) -1/6)))
  (sin (+ x (* eps 1/2)))
  (sin (+ x (* eps 1/2)))
  (+ x (+ (* eps 1/2) (* (pow x 3) -1/6)))
  (sin (+ x (* eps 1/2)))
  (sin (+ x (* eps 1/2)))
  (+ (* x (* 1/3 (cbrt (* 4 (pow eps -2))))) (* (cbrt (* eps 1/2)) (+ 1 (* (* x x) -7/81))))
  (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2)))))
  (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2)))))
  (+ (* x (* 1/3 (cbrt (* 4 (pow eps -2))))) (* (cbrt (* eps 1/2)) (+ 1 (* (* x x) -7/81))))
  (cbrt (sin (+ x (* eps 1/2))))
  (cbrt (sin (+ x (* eps 1/2))))
1.046 * * * [progress]: adding candidates to table
1.215 * [progress]: [Phase 3 of 3] Extracting.
1.215 * * [regime]: Finding splitpoints for: (#<alt (λ (x eps) (* -2 (log (pow (exp (sin (+ x (* eps 1/2)))) (sin (* eps 1/2))))))> #<alt (λ (x eps) (* (* (cbrt (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2))) (cbrt (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2)))) (cbrt (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2)))))> #<alt (λ (x eps) (* -2 (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2)))))> #<alt (λ (x eps) (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))> #<alt (λ (x eps) (* -2 (* (* (* (cbrt (sqrt (sin (+ x (* eps 1/2))))) (cbrt (sqrt (sin (+ x (* eps 1/2)))))) (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (sin (* eps 1/2)))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))))> #<alt (λ (x eps) (* -2 (cbrt (pow (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2))) 3))))> #<alt (λ (x eps) (* -2 (* (* (* (sqrt (cbrt (sin (+ x (* eps 1/2))))) (sqrt (cbrt (sin (+ x (* eps 1/2)))))) (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (sin (* eps 1/2)))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2)))) (cbrt (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2))))) (cbrt (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2)))))))> #<alt (λ (x eps) (* -2 (* (* (sqrt (sin (+ x (* eps 1/2)))) (sin (* eps 1/2))) (sqrt (sin (* (+ x (+ x eps)) 1/2))))))> #<alt (λ (x eps) (* -2 (* (sin (* eps 1/2)) (log (exp (sin (+ x (* eps 1/2))))))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (+ (cos x) (* (sin x) (sin eps)))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (sin (* eps 1/2))) (cbrt (sin (* eps 1/2)))) (* (sin (+ x (* eps 1/2))) (cbrt (sin (* eps 1/2)))))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (sin (+ x (* eps 1/2)))) (* (* (cbrt (sqrt (sin (+ x (* eps 1/2))))) (cbrt (sqrt (sin (+ x (* eps 1/2)))))) (sin (* eps 1/2)))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (sin (+ x (* eps 1/2)))) (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (sin (* eps 1/2)))) (cbrt (log (exp (sin (+ x (* eps 1/2)))))))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (sin (* eps 1/2)))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))))>)
1.222 * * * [regime-changes]: Trying 2 branch expressions: (eps x)
1.222 * * * * [regimes]: Trying to branch on eps from (#<alt (λ (x eps) (* -2 (log (pow (exp (sin (+ x (* eps 1/2)))) (sin (* eps 1/2))))))> #<alt (λ (x eps) (* (* (cbrt (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2))) (cbrt (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2)))) (cbrt (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2)))))> #<alt (λ (x eps) (* -2 (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2)))))> #<alt (λ (x eps) (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))> #<alt (λ (x eps) (* -2 (* (* (* (cbrt (sqrt (sin (+ x (* eps 1/2))))) (cbrt (sqrt (sin (+ x (* eps 1/2)))))) (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (sin (* eps 1/2)))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))))> #<alt (λ (x eps) (* -2 (cbrt (pow (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2))) 3))))> #<alt (λ (x eps) (* -2 (* (* (* (sqrt (cbrt (sin (+ x (* eps 1/2))))) (sqrt (cbrt (sin (+ x (* eps 1/2)))))) (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (sin (* eps 1/2)))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2)))) (cbrt (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2))))) (cbrt (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2)))))))> #<alt (λ (x eps) (* -2 (* (* (sqrt (sin (+ x (* eps 1/2)))) (sin (* eps 1/2))) (sqrt (sin (* (+ x (+ x eps)) 1/2))))))> #<alt (λ (x eps) (* -2 (* (sin (* eps 1/2)) (log (exp (sin (+ x (* eps 1/2))))))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (+ (cos x) (* (sin x) (sin eps)))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (sin (* eps 1/2))) (cbrt (sin (* eps 1/2)))) (* (sin (+ x (* eps 1/2))) (cbrt (sin (* eps 1/2)))))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (sin (+ x (* eps 1/2)))) (* (* (cbrt (sqrt (sin (+ x (* eps 1/2))))) (cbrt (sqrt (sin (+ x (* eps 1/2)))))) (sin (* eps 1/2)))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (sin (+ x (* eps 1/2)))) (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (sin (* eps 1/2)))) (cbrt (log (exp (sin (+ x (* eps 1/2)))))))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (sin (* eps 1/2)))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))))>)
1.340 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x eps) (* -2 (log (pow (exp (sin (+ x (* eps 1/2)))) (sin (* eps 1/2))))))> #<alt (λ (x eps) (* (* (cbrt (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2))) (cbrt (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2)))) (cbrt (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2)))))> #<alt (λ (x eps) (* -2 (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2)))))> #<alt (λ (x eps) (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))> #<alt (λ (x eps) (* -2 (* (* (* (cbrt (sqrt (sin (+ x (* eps 1/2))))) (cbrt (sqrt (sin (+ x (* eps 1/2)))))) (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (sin (* eps 1/2)))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))))> #<alt (λ (x eps) (* -2 (cbrt (pow (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2))) 3))))> #<alt (λ (x eps) (* -2 (* (* (* (sqrt (cbrt (sin (+ x (* eps 1/2))))) (sqrt (cbrt (sin (+ x (* eps 1/2)))))) (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (sin (* eps 1/2)))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2)))) (cbrt (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2))))) (cbrt (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2)))))))> #<alt (λ (x eps) (* -2 (* (* (sqrt (sin (+ x (* eps 1/2)))) (sin (* eps 1/2))) (sqrt (sin (* (+ x (+ x eps)) 1/2))))))> #<alt (λ (x eps) (* -2 (* (sin (* eps 1/2)) (log (exp (sin (+ x (* eps 1/2))))))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (+ (cos x) (* (sin x) (sin eps)))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (sin (* eps 1/2))) (cbrt (sin (* eps 1/2)))) (* (sin (+ x (* eps 1/2))) (cbrt (sin (* eps 1/2)))))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (sin (+ x (* eps 1/2)))) (* (* (cbrt (sqrt (sin (+ x (* eps 1/2))))) (cbrt (sqrt (sin (+ x (* eps 1/2)))))) (sin (* eps 1/2)))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (sin (+ x (* eps 1/2)))) (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (sin (* eps 1/2)))) (cbrt (log (exp (sin (+ x (* eps 1/2)))))))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (sin (* eps 1/2)))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))))>)
1.474 * * * [regime]: Found split indices: #<option (#s(si 3 67) #s(si 2 188) #s(si 10 255))>
1.474 * [binary-search]: Improving bounds with binary search for eps and (#<alt (λ (x eps) (* -2 (log (pow (exp (sin (+ x (* eps 1/2)))) (sin (* eps 1/2))))))> #<alt (λ (x eps) (* (* (cbrt (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2))) (cbrt (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2)))) (cbrt (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2)))))> #<alt (λ (x eps) (* -2 (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2)))))> #<alt (λ (x eps) (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))> #<alt (λ (x eps) (* -2 (* (* (* (cbrt (sqrt (sin (+ x (* eps 1/2))))) (cbrt (sqrt (sin (+ x (* eps 1/2)))))) (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (sin (* eps 1/2)))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))))> #<alt (λ (x eps) (* -2 (cbrt (pow (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2))) 3))))> #<alt (λ (x eps) (* -2 (* (* (* (sqrt (cbrt (sin (+ x (* eps 1/2))))) (sqrt (cbrt (sin (+ x (* eps 1/2)))))) (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (sin (* eps 1/2)))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2)))) (cbrt (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2))))) (cbrt (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2)))))))> #<alt (λ (x eps) (* -2 (* (* (sqrt (sin (+ x (* eps 1/2)))) (sin (* eps 1/2))) (sqrt (sin (* (+ x (+ x eps)) 1/2))))))> #<alt (λ (x eps) (* -2 (* (sin (* eps 1/2)) (log (exp (sin (+ x (* eps 1/2))))))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (+ (cos x) (* (sin x) (sin eps)))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (sin (* eps 1/2))) (cbrt (sin (* eps 1/2)))) (* (sin (+ x (* eps 1/2))) (cbrt (sin (* eps 1/2)))))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (sin (+ x (* eps 1/2)))) (* (* (cbrt (sqrt (sin (+ x (* eps 1/2))))) (cbrt (sqrt (sin (+ x (* eps 1/2)))))) (sin (* eps 1/2)))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (sin (+ x (* eps 1/2)))) (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (sin (* eps 1/2)))) (cbrt (log (exp (sin (+ x (* eps 1/2)))))))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (sin (* eps 1/2)))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))))>)
1.554 * [regimes]: Found splitpoints: (#s(sp 3 eps -0.00010550978972917479) #s(sp 2 eps 4.0014569438137e-07) #s(sp 10 eps +nan.0)) , with alts (#<alt (λ (x eps) (* -2 (log (pow (exp (sin (+ x (* eps 1/2)))) (sin (* eps 1/2))))))> #<alt (λ (x eps) (* (* (cbrt (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2))) (cbrt (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2)))) (cbrt (* (sin (+ x (* eps 1/2))) (* (sin (* eps 1/2)) -2)))))> #<alt (λ (x eps) (* -2 (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2)))))> #<alt (λ (x eps) (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))> #<alt (λ (x eps) (* -2 (* (* (* (cbrt (sqrt (sin (+ x (* eps 1/2))))) (cbrt (sqrt (sin (+ x (* eps 1/2)))))) (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (sin (* eps 1/2)))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))))> #<alt (λ (x eps) (* -2 (cbrt (pow (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2))) 3))))> #<alt (λ (x eps) (* -2 (* (* (* (sqrt (cbrt (sin (+ x (* eps 1/2))))) (sqrt (cbrt (sin (+ x (* eps 1/2)))))) (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (sin (* eps 1/2)))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2)))) (cbrt (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2))))) (cbrt (* (sin (+ x (* eps 1/2))) (sin (* eps 1/2)))))))> #<alt (λ (x eps) (* -2 (* (* (sqrt (sin (+ x (* eps 1/2)))) (sin (* eps 1/2))) (sqrt (sin (* (+ x (+ x eps)) 1/2))))))> #<alt (λ (x eps) (* -2 (* (sin (* eps 1/2)) (log (exp (sin (+ x (* eps 1/2))))))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (+ (cos x) (* (sin x) (sin eps)))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (sin (* eps 1/2))) (cbrt (sin (* eps 1/2)))) (* (sin (+ x (* eps 1/2))) (cbrt (sin (* eps 1/2)))))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (sin (+ x (* eps 1/2)))) (* (* (cbrt (sqrt (sin (+ x (* eps 1/2))))) (cbrt (sqrt (sin (+ x (* eps 1/2)))))) (sin (* eps 1/2)))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (sin (+ x (* eps 1/2)))) (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (sin (* eps 1/2)))) (cbrt (log (exp (sin (+ x (* eps 1/2)))))))))> #<alt (λ (x eps) (* -2 (* (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (* (cbrt (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))) (sin (* eps 1/2)))) (cbrt (sin (* (+ x (+ x eps)) 1/2))))))>)
1.554 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= eps -0.00010550978972917479) (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)) (if (<= eps 4.0014569438137e-07) (* -2 (* (sin (* eps 1/2)) (sin (* (+ x (+ x eps)) 1/2)))) (- (* (cos x) (cos eps)) (+ (cos x) (* (sin x) (sin eps))))))
1.556 * * [simplify]: iteration  0 :  156  enodes  (cost  51 )
1.556 * * [simplify]: iteration  1 :  156  enodes  (cost  51 )
1.557 * [simplify]: Simplified to:
   (if (<= eps -0.00010550978972917479) (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)) (if (<= eps 4.0014569438137e-07) (* -2 (* (sin (* eps 1/2)) (sin (* 1/2 (+ x (+ eps x)))))) (- (* (cos x) (cos eps)) (+ (cos x) (* (sin x) (sin eps))))))
6.828 * [regime-testing]: End program error score: 0.6867915680336728