5.576 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.092 * * * [progress]: [2/2] Setting up program.
0.094 * [progress]: [Phase 2 of 3] Improving.
0.094 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (cos (+ x eps)) (cos x))
0.096 * * [simplify]: iteration  0 :  9  enodes  (cost  4 )
0.098 * * [simplify]: iteration  1 :  10  enodes  (cost  4 )
0.099 * * [simplify]: iteration  2 :  10  enodes  (cost  4 )
0.099 * [simplify]: Simplified to:
   (- (cos (+ x eps)) (cos x))
0.099 * * [progress]: iteration 1 / 4
0.099 * * * [progress]: picking best candidate
0.101 * * * * [pick]: Picked  #<alt (λ (x eps) (- (cos (+ x eps)) (cos x)))>
0.101 * * * [progress]: localizing error
0.110 * * * [progress]: generating rewritten candidates
0.110 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.121 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.145 * * * [progress]: generating series expansions
0.145 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.145 * [approximate]: Taking taylor expansion of (cos (+ x eps)) in (x eps) around 0
0.145 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in eps
0.145 * [taylor]: Taking taylor expansion of (+ x eps) in eps
0.145 * [taylor]: Taking taylor expansion of x in eps
0.145 * [taylor]: Taking taylor expansion of eps in eps
0.145 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in x
0.145 * [taylor]: Taking taylor expansion of (+ x eps) in x
0.145 * [taylor]: Taking taylor expansion of x in x
0.145 * [taylor]: Taking taylor expansion of eps in x
0.145 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in x
0.145 * [taylor]: Taking taylor expansion of (+ x eps) in x
0.145 * [taylor]: Taking taylor expansion of x in x
0.145 * [taylor]: Taking taylor expansion of eps in x
0.146 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.146 * [taylor]: Taking taylor expansion of eps in eps
0.148 * [taylor]: Taking taylor expansion of (- (sin eps)) in eps
0.148 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.148 * [taylor]: Taking taylor expansion of eps in eps
0.150 * [taylor]: Taking taylor expansion of (- (* 1/2 (cos eps))) in eps
0.150 * [taylor]: Taking taylor expansion of (* 1/2 (cos eps)) in eps
0.150 * [taylor]: Taking taylor expansion of 1/2 in eps
0.150 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.150 * [taylor]: Taking taylor expansion of eps in eps
0.152 * [approximate]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in (x eps) around 0
0.152 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in eps
0.152 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.152 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.152 * [taylor]: Taking taylor expansion of eps in eps
0.152 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.152 * [taylor]: Taking taylor expansion of x in eps
0.152 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in x
0.153 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.153 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.153 * [taylor]: Taking taylor expansion of eps in x
0.153 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.153 * [taylor]: Taking taylor expansion of x in x
0.153 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in x
0.153 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.153 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.153 * [taylor]: Taking taylor expansion of eps in x
0.153 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.153 * [taylor]: Taking taylor expansion of x in x
0.154 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in eps
0.154 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.154 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.154 * [taylor]: Taking taylor expansion of eps in eps
0.154 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.154 * [taylor]: Taking taylor expansion of x in eps
0.155 * [taylor]: Taking taylor expansion of 0 in eps
0.155 * [taylor]: Taking taylor expansion of 0 in eps
0.155 * [taylor]: Taking taylor expansion of 0 in eps
0.155 * [approximate]: Taking taylor expansion of (cos (- (+ (/ 1 eps) (/ 1 x)))) in (x eps) around 0
0.155 * [taylor]: Taking taylor expansion of (cos (- (+ (/ 1 eps) (/ 1 x)))) in eps
0.155 * [taylor]: Taking taylor expansion of (- (+ (/ 1 eps) (/ 1 x))) in eps
0.155 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.155 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.155 * [taylor]: Taking taylor expansion of eps in eps
0.155 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.155 * [taylor]: Taking taylor expansion of x in eps
0.156 * [taylor]: Taking taylor expansion of (cos (- (+ (/ 1 eps) (/ 1 x)))) in x
0.156 * [taylor]: Taking taylor expansion of (- (+ (/ 1 eps) (/ 1 x))) in x
0.156 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.156 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.156 * [taylor]: Taking taylor expansion of eps in x
0.156 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.156 * [taylor]: Taking taylor expansion of x in x
0.157 * [taylor]: Taking taylor expansion of (cos (- (+ (/ 1 eps) (/ 1 x)))) in x
0.157 * [taylor]: Taking taylor expansion of (- (+ (/ 1 eps) (/ 1 x))) in x
0.157 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.157 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.157 * [taylor]: Taking taylor expansion of eps in x
0.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.157 * [taylor]: Taking taylor expansion of x in x
0.158 * [taylor]: Taking taylor expansion of (cos (- (+ (/ 1 eps) (/ 1 x)))) in eps
0.158 * [taylor]: Taking taylor expansion of (- (+ (/ 1 eps) (/ 1 x))) in eps
0.158 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.158 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.158 * [taylor]: Taking taylor expansion of eps in eps
0.158 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.158 * [taylor]: Taking taylor expansion of x in eps
0.159 * [taylor]: Taking taylor expansion of 0 in eps
0.159 * [taylor]: Taking taylor expansion of 0 in eps
0.159 * [taylor]: Taking taylor expansion of 0 in eps
0.159 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.159 * [approximate]: Taking taylor expansion of (- (cos (+ x eps)) (cos x)) in (x eps) around 0
0.159 * [taylor]: Taking taylor expansion of (- (cos (+ x eps)) (cos x)) in eps
0.159 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in eps
0.159 * [taylor]: Taking taylor expansion of (+ x eps) in eps
0.159 * [taylor]: Taking taylor expansion of x in eps
0.159 * [taylor]: Taking taylor expansion of eps in eps
0.159 * [taylor]: Taking taylor expansion of (cos x) in eps
0.159 * [taylor]: Taking taylor expansion of x in eps
0.159 * [taylor]: Taking taylor expansion of (- (cos (+ x eps)) (cos x)) in x
0.159 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in x
0.159 * [taylor]: Taking taylor expansion of (+ x eps) in x
0.159 * [taylor]: Taking taylor expansion of x in x
0.159 * [taylor]: Taking taylor expansion of eps in x
0.160 * [taylor]: Taking taylor expansion of (cos x) in x
0.160 * [taylor]: Taking taylor expansion of x in x
0.160 * [taylor]: Taking taylor expansion of (- (cos (+ x eps)) (cos x)) in x
0.160 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in x
0.160 * [taylor]: Taking taylor expansion of (+ x eps) in x
0.160 * [taylor]: Taking taylor expansion of x in x
0.160 * [taylor]: Taking taylor expansion of eps in x
0.160 * [taylor]: Taking taylor expansion of (cos x) in x
0.160 * [taylor]: Taking taylor expansion of x in x
0.160 * [taylor]: Taking taylor expansion of (- (cos eps) 1) in eps
0.160 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.160 * [taylor]: Taking taylor expansion of eps in eps
0.160 * [taylor]: Taking taylor expansion of 1 in eps
0.162 * [taylor]: Taking taylor expansion of (- (sin eps)) in eps
0.163 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.163 * [taylor]: Taking taylor expansion of eps in eps
0.167 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/2 (cos eps))) in eps
0.167 * [taylor]: Taking taylor expansion of 1/2 in eps
0.167 * [taylor]: Taking taylor expansion of (* 1/2 (cos eps)) in eps
0.167 * [taylor]: Taking taylor expansion of 1/2 in eps
0.167 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.167 * [taylor]: Taking taylor expansion of eps in eps
0.172 * [taylor]: Taking taylor expansion of (* 1/6 (sin eps)) in eps
0.172 * [taylor]: Taking taylor expansion of 1/6 in eps
0.172 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.172 * [taylor]: Taking taylor expansion of eps in eps
0.180 * [taylor]: Taking taylor expansion of (- (* 1/24 (cos eps)) 1/24) in eps
0.180 * [taylor]: Taking taylor expansion of (* 1/24 (cos eps)) in eps
0.180 * [taylor]: Taking taylor expansion of 1/24 in eps
0.180 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.180 * [taylor]: Taking taylor expansion of eps in eps
0.180 * [taylor]: Taking taylor expansion of 1/24 in eps
0.182 * [approximate]: Taking taylor expansion of (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in (x eps) around 0
0.182 * [taylor]: Taking taylor expansion of (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in eps
0.182 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in eps
0.182 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.182 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.182 * [taylor]: Taking taylor expansion of eps in eps
0.182 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.182 * [taylor]: Taking taylor expansion of x in eps
0.183 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
0.183 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.183 * [taylor]: Taking taylor expansion of x in eps
0.183 * [taylor]: Taking taylor expansion of (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in x
0.183 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in x
0.183 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.183 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.183 * [taylor]: Taking taylor expansion of eps in x
0.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.183 * [taylor]: Taking taylor expansion of x in x
0.184 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.184 * [taylor]: Taking taylor expansion of x in x
0.184 * [taylor]: Taking taylor expansion of (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in x
0.184 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in x
0.184 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.184 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.184 * [taylor]: Taking taylor expansion of eps in x
0.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.184 * [taylor]: Taking taylor expansion of x in x
0.185 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.185 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.185 * [taylor]: Taking taylor expansion of x in x
0.185 * [taylor]: Taking taylor expansion of (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in eps
0.185 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in eps
0.185 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.185 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.185 * [taylor]: Taking taylor expansion of eps in eps
0.185 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.185 * [taylor]: Taking taylor expansion of x in eps
0.186 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
0.186 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.186 * [taylor]: Taking taylor expansion of x in eps
0.187 * [taylor]: Taking taylor expansion of 0 in eps
0.189 * [taylor]: Taking taylor expansion of 0 in eps
0.192 * [taylor]: Taking taylor expansion of 0 in eps
0.192 * [approximate]: Taking taylor expansion of (- (cos (- (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in (x eps) around 0
0.192 * [taylor]: Taking taylor expansion of (- (cos (- (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in eps
0.192 * [taylor]: Taking taylor expansion of (cos (- (+ (/ 1 eps) (/ 1 x)))) in eps
0.192 * [taylor]: Taking taylor expansion of (- (+ (/ 1 eps) (/ 1 x))) in eps
0.192 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.192 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.192 * [taylor]: Taking taylor expansion of eps in eps
0.192 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.192 * [taylor]: Taking taylor expansion of x in eps
0.193 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
0.193 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.193 * [taylor]: Taking taylor expansion of -1 in eps
0.193 * [taylor]: Taking taylor expansion of x in eps
0.193 * [taylor]: Taking taylor expansion of (- (cos (- (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in x
0.193 * [taylor]: Taking taylor expansion of (cos (- (+ (/ 1 eps) (/ 1 x)))) in x
0.193 * [taylor]: Taking taylor expansion of (- (+ (/ 1 eps) (/ 1 x))) in x
0.193 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.193 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.193 * [taylor]: Taking taylor expansion of eps in x
0.193 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.193 * [taylor]: Taking taylor expansion of x in x
0.194 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.194 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.194 * [taylor]: Taking taylor expansion of -1 in x
0.194 * [taylor]: Taking taylor expansion of x in x
0.194 * [taylor]: Taking taylor expansion of (- (cos (- (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in x
0.194 * [taylor]: Taking taylor expansion of (cos (- (+ (/ 1 eps) (/ 1 x)))) in x
0.194 * [taylor]: Taking taylor expansion of (- (+ (/ 1 eps) (/ 1 x))) in x
0.194 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.194 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.194 * [taylor]: Taking taylor expansion of eps in x
0.194 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.194 * [taylor]: Taking taylor expansion of x in x
0.195 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.195 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.195 * [taylor]: Taking taylor expansion of -1 in x
0.195 * [taylor]: Taking taylor expansion of x in x
0.196 * [taylor]: Taking taylor expansion of (- (cos (- (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in eps
0.196 * [taylor]: Taking taylor expansion of (cos (- (+ (/ 1 eps) (/ 1 x)))) in eps
0.196 * [taylor]: Taking taylor expansion of (- (+ (/ 1 eps) (/ 1 x))) in eps
0.196 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.196 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.196 * [taylor]: Taking taylor expansion of eps in eps
0.196 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.196 * [taylor]: Taking taylor expansion of x in eps
0.197 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
0.197 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.197 * [taylor]: Taking taylor expansion of -1 in eps
0.197 * [taylor]: Taking taylor expansion of x in eps
0.198 * [taylor]: Taking taylor expansion of 0 in eps
0.200 * [taylor]: Taking taylor expansion of 0 in eps
0.203 * [taylor]: Taking taylor expansion of 0 in eps
0.203 * * * [progress]: simplifying candidates
0.204 * [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))))
  (- (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))
  (- (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.207 * * [simplify]: iteration  0 :  134  enodes  (cost  176 )
0.210 * * [simplify]: iteration  1 :  281  enodes  (cost  167 )
0.215 * * [simplify]: iteration  2 :  840  enodes  (cost  164 )
0.233 * * [simplify]: iteration  3 :  2958  enodes  (cost  164 )
0.314 * * [simplify]: iteration  4 :  5002  enodes  (cost  164 )
0.315 * [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 (/ (- (+ x eps) x) 2)) (sin (/ (+ (+ x eps) x) 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 eps)) (+ (cos (+ x eps)) (cos x))) (* (cos x) (cos x)))
  (- (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))
  (- (cos x))
  (- 1 (+ (* x eps) (* 1/2 (pow x 2))))
  (cos (+ x eps))
  (cos (+ x eps))
  (* eps (- (- (* 1/6 (pow x 3)) x) (* eps 1/2)))
  (- (cos (+ x eps)) (cos x))
  (- (cos (+ x eps)) (cos x))
0.315 * * * [progress]: adding candidates to table
0.385 * * [progress]: iteration 2 / 4
0.385 * * * [progress]: picking best candidate
0.409 * * * * [pick]: Picked  #<alt (λ (x eps) (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))>
0.409 * * * [progress]: localizing error
0.424 * * * [progress]: generating rewritten candidates
0.424 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.456 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.473 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.488 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.501 * * * [progress]: generating series expansions
0.501 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.502 * [approximate]: Taking taylor expansion of (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))) in (x eps) around 0
0.502 * [taylor]: Taking taylor expansion of (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))) in eps
0.502 * [taylor]: Taking taylor expansion of (* (cos x) (cos eps)) in eps
0.502 * [taylor]: Taking taylor expansion of (cos x) in eps
0.502 * [taylor]: Taking taylor expansion of x in eps
0.502 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.502 * [taylor]: Taking taylor expansion of eps in eps
0.502 * [taylor]: Taking taylor expansion of (+ (* (sin x) (sin eps)) (cos x)) in eps
0.502 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
0.502 * [taylor]: Taking taylor expansion of (sin x) in eps
0.502 * [taylor]: Taking taylor expansion of x in eps
0.502 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.502 * [taylor]: Taking taylor expansion of eps in eps
0.502 * [taylor]: Taking taylor expansion of (cos x) in eps
0.502 * [taylor]: Taking taylor expansion of x in eps
0.502 * [taylor]: Taking taylor expansion of (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))) in x
0.502 * [taylor]: Taking taylor expansion of (* (cos x) (cos eps)) in x
0.502 * [taylor]: Taking taylor expansion of (cos x) in x
0.502 * [taylor]: Taking taylor expansion of x in x
0.502 * [taylor]: Taking taylor expansion of (cos eps) in x
0.502 * [taylor]: Taking taylor expansion of eps in x
0.502 * [taylor]: Taking taylor expansion of (+ (* (sin x) (sin eps)) (cos x)) in x
0.502 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in x
0.502 * [taylor]: Taking taylor expansion of (sin x) in x
0.502 * [taylor]: Taking taylor expansion of x in x
0.502 * [taylor]: Taking taylor expansion of (sin eps) in x
0.502 * [taylor]: Taking taylor expansion of eps in x
0.502 * [taylor]: Taking taylor expansion of (cos x) in x
0.502 * [taylor]: Taking taylor expansion of x in x
0.502 * [taylor]: Taking taylor expansion of (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))) in x
0.502 * [taylor]: Taking taylor expansion of (* (cos x) (cos eps)) in x
0.502 * [taylor]: Taking taylor expansion of (cos x) in x
0.502 * [taylor]: Taking taylor expansion of x in x
0.502 * [taylor]: Taking taylor expansion of (cos eps) in x
0.502 * [taylor]: Taking taylor expansion of eps in x
0.503 * [taylor]: Taking taylor expansion of (+ (* (sin x) (sin eps)) (cos x)) in x
0.503 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in x
0.503 * [taylor]: Taking taylor expansion of (sin x) in x
0.503 * [taylor]: Taking taylor expansion of x in x
0.503 * [taylor]: Taking taylor expansion of (sin eps) in x
0.503 * [taylor]: Taking taylor expansion of eps in x
0.503 * [taylor]: Taking taylor expansion of (cos x) in x
0.503 * [taylor]: Taking taylor expansion of x in x
0.504 * [taylor]: Taking taylor expansion of (- (cos eps) 1) in eps
0.504 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.504 * [taylor]: Taking taylor expansion of eps in eps
0.504 * [taylor]: Taking taylor expansion of 1 in eps
0.509 * [taylor]: Taking taylor expansion of (- (sin eps)) in eps
0.509 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.509 * [taylor]: Taking taylor expansion of eps in eps
0.516 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/2 (cos eps))) in eps
0.516 * [taylor]: Taking taylor expansion of 1/2 in eps
0.516 * [taylor]: Taking taylor expansion of (* 1/2 (cos eps)) in eps
0.516 * [taylor]: Taking taylor expansion of 1/2 in eps
0.516 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.516 * [taylor]: Taking taylor expansion of eps in eps
0.526 * [taylor]: Taking taylor expansion of (* 1/6 (sin eps)) in eps
0.526 * [taylor]: Taking taylor expansion of 1/6 in eps
0.526 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.526 * [taylor]: Taking taylor expansion of eps in eps
0.544 * [taylor]: Taking taylor expansion of (- (* 1/24 (cos eps)) 1/24) in eps
0.544 * [taylor]: Taking taylor expansion of (* 1/24 (cos eps)) in eps
0.544 * [taylor]: Taking taylor expansion of 1/24 in eps
0.544 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.544 * [taylor]: Taking taylor expansion of eps in eps
0.544 * [taylor]: Taking taylor expansion of 1/24 in eps
0.546 * [approximate]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in (x eps) around 0
0.546 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in eps
0.546 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in eps
0.546 * [taylor]: Taking taylor expansion of (cos (/ 1 eps)) in eps
0.546 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.546 * [taylor]: Taking taylor expansion of eps in eps
0.546 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
0.547 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.547 * [taylor]: Taking taylor expansion of x in eps
0.547 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x)))) in eps
0.547 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
0.547 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.547 * [taylor]: Taking taylor expansion of x in eps
0.547 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
0.547 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in eps
0.547 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.547 * [taylor]: Taking taylor expansion of eps in eps
0.547 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
0.547 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.547 * [taylor]: Taking taylor expansion of x in eps
0.547 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in x
0.547 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in x
0.547 * [taylor]: Taking taylor expansion of (cos (/ 1 eps)) in x
0.547 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.547 * [taylor]: Taking taylor expansion of eps in x
0.547 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.547 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.548 * [taylor]: Taking taylor expansion of x in x
0.548 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x)))) in x
0.548 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.548 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.548 * [taylor]: Taking taylor expansion of x in x
0.548 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in x
0.548 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in x
0.548 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.548 * [taylor]: Taking taylor expansion of eps in x
0.548 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.548 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.548 * [taylor]: Taking taylor expansion of x in x
0.549 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in x
0.549 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in x
0.549 * [taylor]: Taking taylor expansion of (cos (/ 1 eps)) in x
0.549 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.549 * [taylor]: Taking taylor expansion of eps in x
0.549 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.549 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.549 * [taylor]: Taking taylor expansion of x in x
0.549 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x)))) in x
0.549 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.549 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.549 * [taylor]: Taking taylor expansion of x in x
0.549 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in x
0.549 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in x
0.549 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.549 * [taylor]: Taking taylor expansion of eps in x
0.549 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.549 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.549 * [taylor]: Taking taylor expansion of x in x
0.551 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in eps
0.551 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in eps
0.551 * [taylor]: Taking taylor expansion of (cos (/ 1 eps)) in eps
0.551 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.551 * [taylor]: Taking taylor expansion of eps in eps
0.551 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
0.551 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.551 * [taylor]: Taking taylor expansion of x in eps
0.551 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x)))) in eps
0.551 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
0.551 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.551 * [taylor]: Taking taylor expansion of x in eps
0.551 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
0.551 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in eps
0.551 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.551 * [taylor]: Taking taylor expansion of eps in eps
0.552 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
0.552 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.552 * [taylor]: Taking taylor expansion of x in eps
0.557 * [taylor]: Taking taylor expansion of 0 in eps
0.567 * [taylor]: Taking taylor expansion of 0 in eps
0.580 * [taylor]: Taking taylor expansion of 0 in eps
0.580 * [approximate]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in (x eps) around 0
0.581 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in eps
0.581 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in eps
0.581 * [taylor]: Taking taylor expansion of (cos (/ -1 eps)) in eps
0.581 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
0.581 * [taylor]: Taking taylor expansion of -1 in eps
0.581 * [taylor]: Taking taylor expansion of eps in eps
0.581 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
0.581 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.581 * [taylor]: Taking taylor expansion of -1 in eps
0.581 * [taylor]: Taking taylor expansion of x in eps
0.581 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in eps
0.581 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
0.581 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
0.581 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.581 * [taylor]: Taking taylor expansion of -1 in eps
0.581 * [taylor]: Taking taylor expansion of x in eps
0.581 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in eps
0.581 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
0.581 * [taylor]: Taking taylor expansion of -1 in eps
0.581 * [taylor]: Taking taylor expansion of eps in eps
0.582 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
0.582 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.582 * [taylor]: Taking taylor expansion of -1 in eps
0.582 * [taylor]: Taking taylor expansion of x in eps
0.582 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in x
0.582 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in x
0.582 * [taylor]: Taking taylor expansion of (cos (/ -1 eps)) in x
0.582 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
0.582 * [taylor]: Taking taylor expansion of -1 in x
0.582 * [taylor]: Taking taylor expansion of eps in x
0.582 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.582 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.582 * [taylor]: Taking taylor expansion of -1 in x
0.582 * [taylor]: Taking taylor expansion of x in x
0.582 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in x
0.582 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in x
0.582 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.582 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.582 * [taylor]: Taking taylor expansion of -1 in x
0.582 * [taylor]: Taking taylor expansion of x in x
0.583 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in x
0.583 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
0.583 * [taylor]: Taking taylor expansion of -1 in x
0.583 * [taylor]: Taking taylor expansion of eps in x
0.583 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.583 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.583 * [taylor]: Taking taylor expansion of -1 in x
0.583 * [taylor]: Taking taylor expansion of x in x
0.583 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in x
0.583 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in x
0.583 * [taylor]: Taking taylor expansion of (cos (/ -1 eps)) in x
0.583 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
0.583 * [taylor]: Taking taylor expansion of -1 in x
0.583 * [taylor]: Taking taylor expansion of eps in x
0.584 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.584 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.584 * [taylor]: Taking taylor expansion of -1 in x
0.584 * [taylor]: Taking taylor expansion of x in x
0.584 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in x
0.584 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in x
0.584 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.584 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.584 * [taylor]: Taking taylor expansion of -1 in x
0.584 * [taylor]: Taking taylor expansion of x in x
0.584 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in x
0.584 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
0.584 * [taylor]: Taking taylor expansion of -1 in x
0.584 * [taylor]: Taking taylor expansion of eps in x
0.584 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.585 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.585 * [taylor]: Taking taylor expansion of -1 in x
0.585 * [taylor]: Taking taylor expansion of x in x
0.586 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in eps
0.586 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in eps
0.586 * [taylor]: Taking taylor expansion of (cos (/ -1 eps)) in eps
0.586 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
0.586 * [taylor]: Taking taylor expansion of -1 in eps
0.586 * [taylor]: Taking taylor expansion of eps in eps
0.586 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
0.586 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.586 * [taylor]: Taking taylor expansion of -1 in eps
0.586 * [taylor]: Taking taylor expansion of x in eps
0.586 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in eps
0.586 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
0.586 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
0.586 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.586 * [taylor]: Taking taylor expansion of -1 in eps
0.586 * [taylor]: Taking taylor expansion of x in eps
0.587 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in eps
0.587 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
0.587 * [taylor]: Taking taylor expansion of -1 in eps
0.587 * [taylor]: Taking taylor expansion of eps in eps
0.587 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
0.587 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.587 * [taylor]: Taking taylor expansion of -1 in eps
0.587 * [taylor]: Taking taylor expansion of x in eps
0.592 * [taylor]: Taking taylor expansion of 0 in eps
0.602 * [taylor]: Taking taylor expansion of 0 in eps
0.616 * [taylor]: Taking taylor expansion of 0 in eps
0.616 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.616 * [approximate]: Taking taylor expansion of (* (sin x) (sin eps)) in (x eps) around 0
0.616 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
0.616 * [taylor]: Taking taylor expansion of (sin x) in eps
0.616 * [taylor]: Taking taylor expansion of x in eps
0.616 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.616 * [taylor]: Taking taylor expansion of eps in eps
0.616 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in x
0.616 * [taylor]: Taking taylor expansion of (sin x) in x
0.617 * [taylor]: Taking taylor expansion of x in x
0.617 * [taylor]: Taking taylor expansion of (sin eps) in x
0.617 * [taylor]: Taking taylor expansion of eps in x
0.617 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in x
0.617 * [taylor]: Taking taylor expansion of (sin x) in x
0.617 * [taylor]: Taking taylor expansion of x in x
0.617 * [taylor]: Taking taylor expansion of (sin eps) in x
0.617 * [taylor]: Taking taylor expansion of eps in x
0.617 * [taylor]: Taking taylor expansion of 0 in eps
0.619 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.619 * [taylor]: Taking taylor expansion of eps in eps
0.621 * [taylor]: Taking taylor expansion of 0 in eps
0.631 * [taylor]: Taking taylor expansion of (- (* 1/6 (sin eps))) in eps
0.631 * [taylor]: Taking taylor expansion of (* 1/6 (sin eps)) in eps
0.631 * [taylor]: Taking taylor expansion of 1/6 in eps
0.631 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.631 * [taylor]: Taking taylor expansion of eps in eps
0.636 * [taylor]: Taking taylor expansion of 0 in eps
0.636 * [approximate]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in (x eps) around 0
0.636 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
0.636 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in eps
0.636 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.636 * [taylor]: Taking taylor expansion of eps in eps
0.637 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
0.637 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.637 * [taylor]: Taking taylor expansion of x in eps
0.637 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in x
0.637 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in x
0.637 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.637 * [taylor]: Taking taylor expansion of eps in x
0.637 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.637 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.637 * [taylor]: Taking taylor expansion of x in x
0.637 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in x
0.637 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in x
0.637 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.637 * [taylor]: Taking taylor expansion of eps in x
0.638 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.638 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.638 * [taylor]: Taking taylor expansion of x in x
0.638 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
0.638 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in eps
0.638 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.638 * [taylor]: Taking taylor expansion of eps in eps
0.638 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
0.638 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.638 * [taylor]: Taking taylor expansion of x in eps
0.640 * [taylor]: Taking taylor expansion of 0 in eps
0.644 * [taylor]: Taking taylor expansion of 0 in eps
0.649 * [taylor]: Taking taylor expansion of 0 in eps
0.649 * [approximate]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in (x eps) around 0
0.649 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
0.649 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
0.649 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.649 * [taylor]: Taking taylor expansion of -1 in eps
0.649 * [taylor]: Taking taylor expansion of x in eps
0.649 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in eps
0.649 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
0.649 * [taylor]: Taking taylor expansion of -1 in eps
0.649 * [taylor]: Taking taylor expansion of eps in eps
0.649 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in x
0.649 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.650 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.650 * [taylor]: Taking taylor expansion of -1 in x
0.650 * [taylor]: Taking taylor expansion of x in x
0.650 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in x
0.650 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
0.650 * [taylor]: Taking taylor expansion of -1 in x
0.650 * [taylor]: Taking taylor expansion of eps in x
0.650 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in x
0.650 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.650 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.650 * [taylor]: Taking taylor expansion of -1 in x
0.650 * [taylor]: Taking taylor expansion of x in x
0.650 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in x
0.650 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
0.650 * [taylor]: Taking taylor expansion of -1 in x
0.650 * [taylor]: Taking taylor expansion of eps in x
0.651 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
0.651 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
0.651 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.651 * [taylor]: Taking taylor expansion of -1 in eps
0.651 * [taylor]: Taking taylor expansion of x in eps
0.651 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in eps
0.651 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
0.651 * [taylor]: Taking taylor expansion of -1 in eps
0.651 * [taylor]: Taking taylor expansion of eps in eps
0.653 * [taylor]: Taking taylor expansion of 0 in eps
0.657 * [taylor]: Taking taylor expansion of 0 in eps
0.662 * [taylor]: Taking taylor expansion of 0 in eps
0.662 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.662 * [approximate]: Taking taylor expansion of (+ (* (sin x) (sin eps)) (cos x)) in (x eps) around 0
0.662 * [taylor]: Taking taylor expansion of (+ (* (sin x) (sin eps)) (cos x)) in eps
0.662 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
0.662 * [taylor]: Taking taylor expansion of (sin x) in eps
0.662 * [taylor]: Taking taylor expansion of x in eps
0.662 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.662 * [taylor]: Taking taylor expansion of eps in eps
0.662 * [taylor]: Taking taylor expansion of (cos x) in eps
0.662 * [taylor]: Taking taylor expansion of x in eps
0.662 * [taylor]: Taking taylor expansion of (+ (* (sin x) (sin eps)) (cos x)) in x
0.662 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in x
0.662 * [taylor]: Taking taylor expansion of (sin x) in x
0.662 * [taylor]: Taking taylor expansion of x in x
0.662 * [taylor]: Taking taylor expansion of (sin eps) in x
0.662 * [taylor]: Taking taylor expansion of eps in x
0.663 * [taylor]: Taking taylor expansion of (cos x) in x
0.663 * [taylor]: Taking taylor expansion of x in x
0.663 * [taylor]: Taking taylor expansion of (+ (* (sin x) (sin eps)) (cos x)) in x
0.663 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in x
0.663 * [taylor]: Taking taylor expansion of (sin x) in x
0.663 * [taylor]: Taking taylor expansion of x in x
0.663 * [taylor]: Taking taylor expansion of (sin eps) in x
0.663 * [taylor]: Taking taylor expansion of eps in x
0.663 * [taylor]: Taking taylor expansion of (cos x) in x
0.663 * [taylor]: Taking taylor expansion of x in x
0.663 * [taylor]: Taking taylor expansion of 1 in eps
0.665 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.665 * [taylor]: Taking taylor expansion of eps in eps
0.669 * [taylor]: Taking taylor expansion of -1/2 in eps
0.670 * [approximate]: Taking taylor expansion of (+ (* (sin (/ 1 eps)) (sin (/ 1 x))) (cos (/ 1 x))) in (x eps) around 0
0.670 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 eps)) (sin (/ 1 x))) (cos (/ 1 x))) in eps
0.670 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
0.670 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in eps
0.670 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.670 * [taylor]: Taking taylor expansion of eps in eps
0.670 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
0.670 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.670 * [taylor]: Taking taylor expansion of x in eps
0.670 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
0.670 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.670 * [taylor]: Taking taylor expansion of x in eps
0.670 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 eps)) (sin (/ 1 x))) (cos (/ 1 x))) in x
0.671 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in x
0.671 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in x
0.671 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.671 * [taylor]: Taking taylor expansion of eps in x
0.671 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.671 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.671 * [taylor]: Taking taylor expansion of x in x
0.671 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.671 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.671 * [taylor]: Taking taylor expansion of x in x
0.672 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 eps)) (sin (/ 1 x))) (cos (/ 1 x))) in x
0.672 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in x
0.672 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in x
0.672 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.672 * [taylor]: Taking taylor expansion of eps in x
0.672 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.672 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.672 * [taylor]: Taking taylor expansion of x in x
0.672 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.672 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.672 * [taylor]: Taking taylor expansion of x in x
0.673 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 eps)) (sin (/ 1 x))) (cos (/ 1 x))) in eps
0.673 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
0.673 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in eps
0.673 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.673 * [taylor]: Taking taylor expansion of eps in eps
0.673 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
0.673 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.673 * [taylor]: Taking taylor expansion of x in eps
0.673 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
0.673 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.673 * [taylor]: Taking taylor expansion of x in eps
0.676 * [taylor]: Taking taylor expansion of 0 in eps
0.681 * [taylor]: Taking taylor expansion of 0 in eps
0.688 * [taylor]: Taking taylor expansion of 0 in eps
0.688 * [approximate]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in (x eps) around 0
0.689 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in eps
0.689 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
0.689 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
0.689 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.689 * [taylor]: Taking taylor expansion of -1 in eps
0.689 * [taylor]: Taking taylor expansion of x in eps
0.689 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in eps
0.689 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
0.689 * [taylor]: Taking taylor expansion of -1 in eps
0.689 * [taylor]: Taking taylor expansion of eps in eps
0.689 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
0.689 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.689 * [taylor]: Taking taylor expansion of -1 in eps
0.689 * [taylor]: Taking taylor expansion of x in eps
0.689 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in x
0.689 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in x
0.689 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.689 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.689 * [taylor]: Taking taylor expansion of -1 in x
0.689 * [taylor]: Taking taylor expansion of x in x
0.690 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in x
0.690 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
0.690 * [taylor]: Taking taylor expansion of -1 in x
0.690 * [taylor]: Taking taylor expansion of eps in x
0.690 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.690 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.690 * [taylor]: Taking taylor expansion of -1 in x
0.690 * [taylor]: Taking taylor expansion of x in x
0.690 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in x
0.690 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in x
0.690 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.690 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.690 * [taylor]: Taking taylor expansion of -1 in x
0.690 * [taylor]: Taking taylor expansion of x in x
0.691 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in x
0.691 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
0.691 * [taylor]: Taking taylor expansion of -1 in x
0.691 * [taylor]: Taking taylor expansion of eps in x
0.691 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.691 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.691 * [taylor]: Taking taylor expansion of -1 in x
0.691 * [taylor]: Taking taylor expansion of x in x
0.691 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in eps
0.691 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
0.691 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
0.691 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.691 * [taylor]: Taking taylor expansion of -1 in eps
0.691 * [taylor]: Taking taylor expansion of x in eps
0.692 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in eps
0.692 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
0.692 * [taylor]: Taking taylor expansion of -1 in eps
0.692 * [taylor]: Taking taylor expansion of eps in eps
0.692 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
0.692 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.692 * [taylor]: Taking taylor expansion of -1 in eps
0.692 * [taylor]: Taking taylor expansion of x in eps
0.694 * [taylor]: Taking taylor expansion of 0 in eps
0.700 * [taylor]: Taking taylor expansion of 0 in eps
0.707 * [taylor]: Taking taylor expansion of 0 in eps
0.707 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.707 * [approximate]: Taking taylor expansion of (* (cos eps) (cos x)) in (x eps) around 0
0.707 * [taylor]: Taking taylor expansion of (* (cos eps) (cos x)) in eps
0.707 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.707 * [taylor]: Taking taylor expansion of eps in eps
0.707 * [taylor]: Taking taylor expansion of (cos x) in eps
0.708 * [taylor]: Taking taylor expansion of x in eps
0.708 * [taylor]: Taking taylor expansion of (* (cos eps) (cos x)) in x
0.708 * [taylor]: Taking taylor expansion of (cos eps) in x
0.708 * [taylor]: Taking taylor expansion of eps in x
0.708 * [taylor]: Taking taylor expansion of (cos x) in x
0.708 * [taylor]: Taking taylor expansion of x in x
0.708 * [taylor]: Taking taylor expansion of (* (cos eps) (cos x)) in x
0.708 * [taylor]: Taking taylor expansion of (cos eps) in x
0.708 * [taylor]: Taking taylor expansion of eps in x
0.708 * [taylor]: Taking taylor expansion of (cos x) in x
0.708 * [taylor]: Taking taylor expansion of x in x
0.708 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.708 * [taylor]: Taking taylor expansion of eps in eps
0.710 * [taylor]: Taking taylor expansion of 0 in eps
0.713 * [taylor]: Taking taylor expansion of (- (* 1/2 (cos eps))) in eps
0.713 * [taylor]: Taking taylor expansion of (* 1/2 (cos eps)) in eps
0.713 * [taylor]: Taking taylor expansion of 1/2 in eps
0.713 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.713 * [taylor]: Taking taylor expansion of eps in eps
0.715 * [approximate]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in (x eps) around 0
0.715 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in eps
0.715 * [taylor]: Taking taylor expansion of (cos (/ 1 eps)) in eps
0.715 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.715 * [taylor]: Taking taylor expansion of eps in eps
0.715 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
0.715 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.715 * [taylor]: Taking taylor expansion of x in eps
0.715 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in x
0.715 * [taylor]: Taking taylor expansion of (cos (/ 1 eps)) in x
0.715 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.715 * [taylor]: Taking taylor expansion of eps in x
0.715 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.715 * [taylor]: Taking taylor expansion of x in x
0.720 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in x
0.720 * [taylor]: Taking taylor expansion of (cos (/ 1 eps)) in x
0.720 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.721 * [taylor]: Taking taylor expansion of eps in x
0.721 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.721 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.721 * [taylor]: Taking taylor expansion of x in x
0.722 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in eps
0.722 * [taylor]: Taking taylor expansion of (cos (/ 1 eps)) in eps
0.722 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.722 * [taylor]: Taking taylor expansion of eps in eps
0.722 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
0.722 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.722 * [taylor]: Taking taylor expansion of x in eps
0.724 * [taylor]: Taking taylor expansion of 0 in eps
0.728 * [taylor]: Taking taylor expansion of 0 in eps
0.734 * [taylor]: Taking taylor expansion of 0 in eps
0.734 * [approximate]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in (x eps) around 0
0.734 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in eps
0.734 * [taylor]: Taking taylor expansion of (cos (/ -1 eps)) in eps
0.734 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
0.734 * [taylor]: Taking taylor expansion of -1 in eps
0.734 * [taylor]: Taking taylor expansion of eps in eps
0.735 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
0.735 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.735 * [taylor]: Taking taylor expansion of -1 in eps
0.735 * [taylor]: Taking taylor expansion of x in eps
0.735 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in x
0.735 * [taylor]: Taking taylor expansion of (cos (/ -1 eps)) in x
0.735 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
0.735 * [taylor]: Taking taylor expansion of -1 in x
0.735 * [taylor]: Taking taylor expansion of eps in x
0.735 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.735 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.735 * [taylor]: Taking taylor expansion of -1 in x
0.735 * [taylor]: Taking taylor expansion of x in x
0.735 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in x
0.735 * [taylor]: Taking taylor expansion of (cos (/ -1 eps)) in x
0.735 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
0.735 * [taylor]: Taking taylor expansion of -1 in x
0.735 * [taylor]: Taking taylor expansion of eps in x
0.735 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.735 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.735 * [taylor]: Taking taylor expansion of -1 in x
0.735 * [taylor]: Taking taylor expansion of x in x
0.736 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in eps
0.736 * [taylor]: Taking taylor expansion of (cos (/ -1 eps)) in eps
0.736 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
0.736 * [taylor]: Taking taylor expansion of -1 in eps
0.736 * [taylor]: Taking taylor expansion of eps in eps
0.737 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
0.737 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.737 * [taylor]: Taking taylor expansion of -1 in eps
0.737 * [taylor]: Taking taylor expansion of x in eps
0.739 * [taylor]: Taking taylor expansion of 0 in eps
0.743 * [taylor]: Taking taylor expansion of 0 in eps
0.748 * [taylor]: Taking taylor expansion of 0 in eps
0.748 * * * [progress]: simplifying candidates
0.749 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (* (cos x) (cos eps))) (* (exp (* (sin x) (sin eps))) (exp (cos x))))
  (/ (exp (* (cos x) (cos eps))) (exp (+ (* (sin x) (sin eps)) (cos x))))
  (log (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (exp (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (* (cbrt (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x)))) (cbrt (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x)))))
  (cbrt (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (* (* (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))) (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x)))) (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (sqrt (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (sqrt (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (- (* (+ (cos (+ x eps)) (cos (- x eps))) (+ (* (* (sin x) (sin eps)) (* (sin x) (sin eps))) (- (* (cos x) (cos x)) (* (* (sin x) (sin eps)) (cos x))))) (* 2 (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3))))
  (* 2 (+ (* (* (sin x) (sin eps)) (* (sin x) (sin eps))) (- (* (cos x) (cos x)) (* (* (sin x) (sin eps)) (cos x)))))
  (- (* (+ (cos (+ x eps)) (cos (- x eps))) (- (* (sin x) (sin eps)) (cos x))) (* 2 (- (* (* (sin x) (sin eps)) (* (sin x) (sin eps))) (* (cos x) (cos x)))))
  (* 2 (- (* (sin x) (sin eps)) (cos x)))
  (- (pow (* (cos x) (cos eps)) 3) (pow (+ (* (sin x) (sin eps)) (cos x)) 3))
  (+ (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (+ (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) (* (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x)))))
  (- (+ (* (sin x) (sin eps)) (cos x)))
  (- (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x))))
  (+ (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x)))
  (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))
  (- (+ (* (sin x) (sin eps)) (cos x)))
  (- (cos (- x eps)) (cos (+ x eps)))
  (* (sin x) (sin eps))
  (+ (log (sin x)) (log (sin eps)))
  (log (* (sin x) (sin eps)))
  (exp (* (sin x) (sin eps)))
  (* (* (* (sin x) (sin x)) (sin x)) (* (* (sin eps) (sin eps)) (sin eps)))
  (* (cbrt (* (sin x) (sin eps))) (cbrt (* (sin x) (sin eps))))
  (cbrt (* (sin x) (sin eps)))
  (* (* (* (sin x) (sin eps)) (* (sin x) (sin eps))) (* (sin x) (sin eps)))
  (sqrt (* (sin x) (sin eps)))
  (sqrt (* (sin x) (sin eps)))
  (* (sqrt (sin x)) (sqrt (sin eps)))
  (* (sqrt (sin x)) (sqrt (sin eps)))
  (* (sin x) (* (cbrt (sin eps)) (cbrt (sin eps))))
  (* (sin x) (sqrt (sin eps)))
  (* (sin x) 1)
  (* (cbrt (sin x)) (sin eps))
  (* (sqrt (sin x)) (sin eps))
  (* (sin x) (sin eps))
  (* (exp (* (sin x) (sin eps))) (exp (cos x)))
  (log (+ (* (sin x) (sin eps)) (cos x)))
  (exp (+ (* (sin x) (sin eps)) (cos x)))
  (* (cbrt (+ (* (sin x) (sin eps)) (cos x))) (cbrt (+ (* (sin x) (sin eps)) (cos x))))
  (cbrt (+ (* (sin x) (sin eps)) (cos x)))
  (* (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) (+ (* (sin x) (sin eps)) (cos x)))
  (sqrt (+ (* (sin x) (sin eps)) (cos x)))
  (sqrt (+ (* (sin x) (sin eps)) (cos x)))
  (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3))
  (+ (* (* (sin x) (sin eps)) (* (sin x) (sin eps))) (- (* (cos x) (cos x)) (* (* (sin x) (sin eps)) (cos x))))
  (- (* (* (sin x) (sin eps)) (* (sin x) (sin eps))) (* (cos x) (cos x)))
  (- (* (sin x) (sin eps)) (cos x))
  (+ (cos (+ x eps)) (cos (- x eps)))
  (* (cos x) (cos eps))
  (+ (log (cos x)) (log (cos eps)))
  (log (* (cos x) (cos eps)))
  (exp (* (cos x) (cos eps)))
  (* (* (* (cos x) (cos x)) (cos x)) (* (* (cos eps) (cos eps)) (cos eps)))
  (* (cbrt (* (cos x) (cos eps))) (cbrt (* (cos x) (cos eps))))
  (cbrt (* (cos x) (cos eps)))
  (* (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (* (cos x) (cos eps)))
  (sqrt (* (cos x) (cos eps)))
  (sqrt (* (cos x) (cos eps)))
  (* (sqrt (cos x)) (sqrt (cos eps)))
  (* (sqrt (cos x)) (sqrt (cos eps)))
  (* (cos x) (* (cbrt (cos eps)) (cbrt (cos eps))))
  (* (cos x) (sqrt (cos eps)))
  (* (cos x) 1)
  (* (cbrt (cos x)) (cos eps))
  (* (sqrt (cos x)) (cos eps))
  (* (cos x) (cos eps))
  (- (* 1/6 (* (pow x 3) eps)) (+ (* x eps) (* 1/2 (pow eps 2))))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (* x eps)
  (* (sin x) (sin eps))
  (* (sin x) (sin eps))
  (- (+ (* x eps) 1) (* 1/2 (pow x 2)))
  (+ (* (sin x) (sin eps)) (cos x))
  (+ (* (sin x) (sin eps)) (cos x))
  (- 1 (+ (* 1/2 (pow x 2)) (* 1/2 (pow eps 2))))
  (* (cos x) (cos eps))
  (* (cos x) (cos eps))
0.754 * * [simplify]: iteration  0 :  332  enodes  (cost  607 )
0.760 * * [simplify]: iteration  1 :  1284  enodes  (cost  576 )
0.787 * * [simplify]: iteration  2 :  5002  enodes  (cost  567 )
0.790 * [simplify]: Simplified to:
   (exp (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (exp (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (log (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (exp (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (* (cbrt (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x)))) (cbrt (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x)))))
  (cbrt (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (pow (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) 3)
  (sqrt (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (sqrt (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (- (- (* (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))) (+ (cos (+ x eps)) (cos (- x eps)))) (* 2 (pow (* (sin x) (sin eps)) 3))) (* 2 (pow (cos x) 3)))
  (* (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))) 2)
  (* (- (* (sin x) (sin eps)) (cos x)) (- (+ (cos (+ x eps)) (cos (- x eps))) (* 2 (+ (* (sin x) (sin eps)) (cos x)))))
  (* 2 (- (* (sin x) (sin eps)) (cos x)))
  (- (pow (* (cos x) (cos eps)) 3) (pow (+ (* (sin x) (sin eps)) (cos x)) 3))
  (+ (* (+ (* (sin x) (sin eps)) (cos x)) (+ (+ (* (sin x) (sin eps)) (cos x)) (* (cos x) (cos eps)))) (* (* (cos x) (cos eps)) (* (cos x) (cos eps))))
  (- (+ (* (sin x) (sin eps)) (cos x)))
  (- (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x))))
  (+ (* (sin x) (sin eps)) (* (cos x) (+ (cos eps) 1)))
  (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))
  (- (+ (* (sin x) (sin eps)) (cos x)))
  (- (cos (- x eps)) (cos (+ x eps)))
  (* (sin x) (sin eps))
  (log (* (sin x) (sin eps)))
  (log (* (sin x) (sin eps)))
  (exp (* (sin x) (sin eps)))
  (pow (* (sin x) (sin eps)) 3)
  (* (cbrt (* (sin x) (sin eps))) (cbrt (* (sin x) (sin eps))))
  (cbrt (* (sin x) (sin eps)))
  (pow (* (sin x) (sin eps)) 3)
  (sqrt (* (sin x) (sin eps)))
  (sqrt (* (sin x) (sin eps)))
  (* (sqrt (sin x)) (sqrt (sin eps)))
  (* (sqrt (sin x)) (sqrt (sin eps)))
  (* (sin x) (* (cbrt (sin eps)) (cbrt (sin eps))))
  (* (sin x) (sqrt (sin eps)))
  (sin x)
  (* (cbrt (sin x)) (sin eps))
  (* (sqrt (sin x)) (sin eps))
  (* (sin x) (sin eps))
  (exp (+ (* (sin x) (sin eps)) (cos x)))
  (log (+ (* (sin x) (sin eps)) (cos x)))
  (exp (+ (* (sin x) (sin eps)) (cos x)))
  (* (cbrt (+ (* (sin x) (sin eps)) (cos x))) (cbrt (+ (* (sin x) (sin eps)) (cos x))))
  (cbrt (+ (* (sin x) (sin eps)) (cos x)))
  (pow (+ (* (sin x) (sin eps)) (cos x)) 3)
  (sqrt (+ (* (sin x) (sin eps)) (cos x)))
  (sqrt (+ (* (sin x) (sin eps)) (cos x)))
  (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3))
  (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps))))
  (- (* (* (sin x) (sin eps)) (* (sin x) (sin eps))) (* (cos x) (cos x)))
  (- (* (sin x) (sin eps)) (cos x))
  (+ (cos (+ x eps)) (cos (- x eps)))
  (* (cos x) (cos eps))
  (log (* (cos x) (cos eps)))
  (log (* (cos x) (cos eps)))
  (exp (* (cos x) (cos eps)))
  (pow (* (cos x) (cos eps)) 3)
  (* (cbrt (* (cos x) (cos eps))) (cbrt (* (cos x) (cos eps))))
  (cbrt (* (cos x) (cos eps)))
  (pow (* (cos x) (cos eps)) 3)
  (sqrt (* (cos x) (cos eps)))
  (sqrt (* (cos x) (cos eps)))
  (* (sqrt (cos x)) (sqrt (cos eps)))
  (* (sqrt (cos x)) (sqrt (cos eps)))
  (* (cos x) (* (cbrt (cos eps)) (cbrt (cos eps))))
  (* (cos x) (sqrt (cos eps)))
  (cos x)
  (* (cbrt (cos x)) (cos eps))
  (* (sqrt (cos x)) (cos eps))
  (* (cos x) (cos eps))
  (* eps (- (- (* 1/6 (pow x 3)) x) (* eps 1/2)))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (* x eps)
  (* (sin x) (sin eps))
  (* (sin x) (sin eps))
  (- (+ (* x eps) 1) (* 1/2 (pow x 2)))
  (+ (* (sin x) (sin eps)) (cos x))
  (+ (* (sin x) (sin eps)) (cos x))
  (- 1 (+ (* 1/2 (pow x 2)) (* 1/2 (pow eps 2))))
  (* (cos x) (cos eps))
  (* (cos x) (cos eps))
0.791 * * * [progress]: adding candidates to table
0.989 * * [progress]: iteration 3 / 4
0.989 * * * [progress]: picking best candidate
1.046 * * * * [pick]: Picked  #<alt (λ (x eps) (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))>
1.046 * * * [progress]: localizing error
1.064 * * * [progress]: generating rewritten candidates
1.064 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1.069 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1.115 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
1.125 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1)
1.142 * * * [progress]: generating series expansions
1.142 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1.142 * [approximate]: Taking taylor expansion of (* (sin x) (sin eps)) in (x eps) around 0
1.142 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
1.142 * [taylor]: Taking taylor expansion of (sin x) in eps
1.142 * [taylor]: Taking taylor expansion of x in eps
1.142 * [taylor]: Taking taylor expansion of (sin eps) in eps
1.142 * [taylor]: Taking taylor expansion of eps in eps
1.142 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in x
1.142 * [taylor]: Taking taylor expansion of (sin x) in x
1.142 * [taylor]: Taking taylor expansion of x in x
1.142 * [taylor]: Taking taylor expansion of (sin eps) in x
1.142 * [taylor]: Taking taylor expansion of eps in x
1.142 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in x
1.142 * [taylor]: Taking taylor expansion of (sin x) in x
1.142 * [taylor]: Taking taylor expansion of x in x
1.142 * [taylor]: Taking taylor expansion of (sin eps) in x
1.142 * [taylor]: Taking taylor expansion of eps in x
1.143 * [taylor]: Taking taylor expansion of 0 in eps
1.145 * [taylor]: Taking taylor expansion of (sin eps) in eps
1.145 * [taylor]: Taking taylor expansion of eps in eps
1.148 * [taylor]: Taking taylor expansion of 0 in eps
1.152 * [taylor]: Taking taylor expansion of (- (* 1/6 (sin eps))) in eps
1.152 * [taylor]: Taking taylor expansion of (* 1/6 (sin eps)) in eps
1.152 * [taylor]: Taking taylor expansion of 1/6 in eps
1.152 * [taylor]: Taking taylor expansion of (sin eps) in eps
1.152 * [taylor]: Taking taylor expansion of eps in eps
1.157 * [taylor]: Taking taylor expansion of 0 in eps
1.157 * [approximate]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in (x eps) around 0
1.157 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
1.157 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in eps
1.157 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.157 * [taylor]: Taking taylor expansion of eps in eps
1.158 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
1.158 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.158 * [taylor]: Taking taylor expansion of x in eps
1.158 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in x
1.158 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in x
1.158 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.158 * [taylor]: Taking taylor expansion of eps in x
1.158 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.158 * [taylor]: Taking taylor expansion of x in x
1.158 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in x
1.158 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in x
1.158 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.158 * [taylor]: Taking taylor expansion of eps in x
1.158 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.158 * [taylor]: Taking taylor expansion of x in x
1.159 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
1.159 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in eps
1.159 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.159 * [taylor]: Taking taylor expansion of eps in eps
1.159 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
1.159 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.159 * [taylor]: Taking taylor expansion of x in eps
1.161 * [taylor]: Taking taylor expansion of 0 in eps
1.165 * [taylor]: Taking taylor expansion of 0 in eps
1.170 * [taylor]: Taking taylor expansion of 0 in eps
1.170 * [approximate]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in (x eps) around 0
1.170 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
1.170 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
1.170 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
1.170 * [taylor]: Taking taylor expansion of -1 in eps
1.171 * [taylor]: Taking taylor expansion of x in eps
1.171 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in eps
1.171 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
1.171 * [taylor]: Taking taylor expansion of -1 in eps
1.171 * [taylor]: Taking taylor expansion of eps in eps
1.171 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in x
1.171 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.171 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.171 * [taylor]: Taking taylor expansion of -1 in x
1.171 * [taylor]: Taking taylor expansion of x in x
1.171 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in x
1.171 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
1.171 * [taylor]: Taking taylor expansion of -1 in x
1.171 * [taylor]: Taking taylor expansion of eps in x
1.172 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in x
1.172 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.172 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.172 * [taylor]: Taking taylor expansion of -1 in x
1.172 * [taylor]: Taking taylor expansion of x in x
1.172 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in x
1.172 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
1.172 * [taylor]: Taking taylor expansion of -1 in x
1.172 * [taylor]: Taking taylor expansion of eps in x
1.172 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
1.172 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
1.172 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
1.172 * [taylor]: Taking taylor expansion of -1 in eps
1.172 * [taylor]: Taking taylor expansion of x in eps
1.172 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in eps
1.172 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
1.172 * [taylor]: Taking taylor expansion of -1 in eps
1.172 * [taylor]: Taking taylor expansion of eps in eps
1.174 * [taylor]: Taking taylor expansion of 0 in eps
1.178 * [taylor]: Taking taylor expansion of 0 in eps
1.187 * [taylor]: Taking taylor expansion of 0 in eps
1.188 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1.188 * [approximate]: Taking taylor expansion of (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))) in (x eps) around 0
1.188 * [taylor]: Taking taylor expansion of (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))) in eps
1.188 * [taylor]: Taking taylor expansion of (* (cos x) (cos eps)) in eps
1.188 * [taylor]: Taking taylor expansion of (cos x) in eps
1.188 * [taylor]: Taking taylor expansion of x in eps
1.188 * [taylor]: Taking taylor expansion of (cos eps) in eps
1.188 * [taylor]: Taking taylor expansion of eps in eps
1.188 * [taylor]: Taking taylor expansion of (+ (* (sin x) (sin eps)) (cos x)) in eps
1.188 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
1.188 * [taylor]: Taking taylor expansion of (sin x) in eps
1.188 * [taylor]: Taking taylor expansion of x in eps
1.188 * [taylor]: Taking taylor expansion of (sin eps) in eps
1.188 * [taylor]: Taking taylor expansion of eps in eps
1.188 * [taylor]: Taking taylor expansion of (cos x) in eps
1.188 * [taylor]: Taking taylor expansion of x in eps
1.189 * [taylor]: Taking taylor expansion of (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))) in x
1.189 * [taylor]: Taking taylor expansion of (* (cos x) (cos eps)) in x
1.189 * [taylor]: Taking taylor expansion of (cos x) in x
1.189 * [taylor]: Taking taylor expansion of x in x
1.189 * [taylor]: Taking taylor expansion of (cos eps) in x
1.189 * [taylor]: Taking taylor expansion of eps in x
1.189 * [taylor]: Taking taylor expansion of (+ (* (sin x) (sin eps)) (cos x)) in x
1.189 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in x
1.189 * [taylor]: Taking taylor expansion of (sin x) in x
1.189 * [taylor]: Taking taylor expansion of x in x
1.189 * [taylor]: Taking taylor expansion of (sin eps) in x
1.189 * [taylor]: Taking taylor expansion of eps in x
1.189 * [taylor]: Taking taylor expansion of (cos x) in x
1.189 * [taylor]: Taking taylor expansion of x in x
1.189 * [taylor]: Taking taylor expansion of (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))) in x
1.189 * [taylor]: Taking taylor expansion of (* (cos x) (cos eps)) in x
1.189 * [taylor]: Taking taylor expansion of (cos x) in x
1.189 * [taylor]: Taking taylor expansion of x in x
1.189 * [taylor]: Taking taylor expansion of (cos eps) in x
1.189 * [taylor]: Taking taylor expansion of eps in x
1.189 * [taylor]: Taking taylor expansion of (+ (* (sin x) (sin eps)) (cos x)) in x
1.189 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in x
1.189 * [taylor]: Taking taylor expansion of (sin x) in x
1.189 * [taylor]: Taking taylor expansion of x in x
1.189 * [taylor]: Taking taylor expansion of (sin eps) in x
1.189 * [taylor]: Taking taylor expansion of eps in x
1.189 * [taylor]: Taking taylor expansion of (cos x) in x
1.189 * [taylor]: Taking taylor expansion of x in x
1.190 * [taylor]: Taking taylor expansion of (- (cos eps) 1) in eps
1.190 * [taylor]: Taking taylor expansion of (cos eps) in eps
1.190 * [taylor]: Taking taylor expansion of eps in eps
1.190 * [taylor]: Taking taylor expansion of 1 in eps
1.195 * [taylor]: Taking taylor expansion of (- (sin eps)) in eps
1.195 * [taylor]: Taking taylor expansion of (sin eps) in eps
1.195 * [taylor]: Taking taylor expansion of eps in eps
1.202 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/2 (cos eps))) in eps
1.202 * [taylor]: Taking taylor expansion of 1/2 in eps
1.202 * [taylor]: Taking taylor expansion of (* 1/2 (cos eps)) in eps
1.202 * [taylor]: Taking taylor expansion of 1/2 in eps
1.202 * [taylor]: Taking taylor expansion of (cos eps) in eps
1.202 * [taylor]: Taking taylor expansion of eps in eps
1.212 * [taylor]: Taking taylor expansion of (* 1/6 (sin eps)) in eps
1.212 * [taylor]: Taking taylor expansion of 1/6 in eps
1.212 * [taylor]: Taking taylor expansion of (sin eps) in eps
1.212 * [taylor]: Taking taylor expansion of eps in eps
1.226 * [taylor]: Taking taylor expansion of (- (* 1/24 (cos eps)) 1/24) in eps
1.226 * [taylor]: Taking taylor expansion of (* 1/24 (cos eps)) in eps
1.226 * [taylor]: Taking taylor expansion of 1/24 in eps
1.226 * [taylor]: Taking taylor expansion of (cos eps) in eps
1.226 * [taylor]: Taking taylor expansion of eps in eps
1.226 * [taylor]: Taking taylor expansion of 1/24 in eps
1.228 * [approximate]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in (x eps) around 0
1.228 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in eps
1.228 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in eps
1.228 * [taylor]: Taking taylor expansion of (cos (/ 1 eps)) in eps
1.228 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.228 * [taylor]: Taking taylor expansion of eps in eps
1.228 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
1.228 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.228 * [taylor]: Taking taylor expansion of x in eps
1.228 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x)))) in eps
1.228 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
1.228 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.228 * [taylor]: Taking taylor expansion of x in eps
1.229 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
1.229 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in eps
1.229 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.229 * [taylor]: Taking taylor expansion of eps in eps
1.229 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
1.229 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.229 * [taylor]: Taking taylor expansion of x in eps
1.229 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in x
1.229 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in x
1.229 * [taylor]: Taking taylor expansion of (cos (/ 1 eps)) in x
1.229 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.229 * [taylor]: Taking taylor expansion of eps in x
1.229 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.229 * [taylor]: Taking taylor expansion of x in x
1.229 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x)))) in x
1.230 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.230 * [taylor]: Taking taylor expansion of x in x
1.230 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in x
1.230 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in x
1.230 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.230 * [taylor]: Taking taylor expansion of eps in x
1.230 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.230 * [taylor]: Taking taylor expansion of x in x
1.230 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in x
1.230 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in x
1.230 * [taylor]: Taking taylor expansion of (cos (/ 1 eps)) in x
1.230 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.230 * [taylor]: Taking taylor expansion of eps in x
1.230 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.230 * [taylor]: Taking taylor expansion of x in x
1.231 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x)))) in x
1.231 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.231 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.231 * [taylor]: Taking taylor expansion of x in x
1.231 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in x
1.231 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in x
1.231 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.231 * [taylor]: Taking taylor expansion of eps in x
1.231 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.231 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.231 * [taylor]: Taking taylor expansion of x in x
1.232 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in eps
1.233 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in eps
1.233 * [taylor]: Taking taylor expansion of (cos (/ 1 eps)) in eps
1.233 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.233 * [taylor]: Taking taylor expansion of eps in eps
1.233 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
1.233 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.233 * [taylor]: Taking taylor expansion of x in eps
1.233 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x)))) in eps
1.233 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
1.233 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.233 * [taylor]: Taking taylor expansion of x in eps
1.233 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
1.233 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in eps
1.233 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.233 * [taylor]: Taking taylor expansion of eps in eps
1.233 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
1.233 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.233 * [taylor]: Taking taylor expansion of x in eps
1.239 * [taylor]: Taking taylor expansion of 0 in eps
1.249 * [taylor]: Taking taylor expansion of 0 in eps
1.262 * [taylor]: Taking taylor expansion of 0 in eps
1.263 * [approximate]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in (x eps) around 0
1.263 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in eps
1.263 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in eps
1.263 * [taylor]: Taking taylor expansion of (cos (/ -1 eps)) in eps
1.263 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
1.263 * [taylor]: Taking taylor expansion of -1 in eps
1.263 * [taylor]: Taking taylor expansion of eps in eps
1.263 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
1.263 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
1.263 * [taylor]: Taking taylor expansion of -1 in eps
1.263 * [taylor]: Taking taylor expansion of x in eps
1.263 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in eps
1.263 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
1.263 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
1.263 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
1.263 * [taylor]: Taking taylor expansion of -1 in eps
1.263 * [taylor]: Taking taylor expansion of x in eps
1.263 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in eps
1.263 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
1.263 * [taylor]: Taking taylor expansion of -1 in eps
1.263 * [taylor]: Taking taylor expansion of eps in eps
1.264 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
1.264 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
1.264 * [taylor]: Taking taylor expansion of -1 in eps
1.264 * [taylor]: Taking taylor expansion of x in eps
1.264 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in x
1.264 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in x
1.264 * [taylor]: Taking taylor expansion of (cos (/ -1 eps)) in x
1.264 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
1.264 * [taylor]: Taking taylor expansion of -1 in x
1.264 * [taylor]: Taking taylor expansion of eps in x
1.264 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.264 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.264 * [taylor]: Taking taylor expansion of -1 in x
1.264 * [taylor]: Taking taylor expansion of x in x
1.264 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in x
1.264 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in x
1.264 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.264 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.265 * [taylor]: Taking taylor expansion of -1 in x
1.265 * [taylor]: Taking taylor expansion of x in x
1.265 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in x
1.265 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
1.265 * [taylor]: Taking taylor expansion of -1 in x
1.265 * [taylor]: Taking taylor expansion of eps in x
1.265 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.265 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.265 * [taylor]: Taking taylor expansion of -1 in x
1.265 * [taylor]: Taking taylor expansion of x in x
1.265 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in x
1.265 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in x
1.265 * [taylor]: Taking taylor expansion of (cos (/ -1 eps)) in x
1.265 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
1.265 * [taylor]: Taking taylor expansion of -1 in x
1.265 * [taylor]: Taking taylor expansion of eps in x
1.266 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.266 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.266 * [taylor]: Taking taylor expansion of -1 in x
1.266 * [taylor]: Taking taylor expansion of x in x
1.266 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in x
1.266 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in x
1.266 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.266 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.266 * [taylor]: Taking taylor expansion of -1 in x
1.266 * [taylor]: Taking taylor expansion of x in x
1.271 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in x
1.271 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
1.271 * [taylor]: Taking taylor expansion of -1 in x
1.271 * [taylor]: Taking taylor expansion of eps in x
1.271 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.271 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.271 * [taylor]: Taking taylor expansion of -1 in x
1.271 * [taylor]: Taking taylor expansion of x in x
1.273 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in eps
1.273 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in eps
1.273 * [taylor]: Taking taylor expansion of (cos (/ -1 eps)) in eps
1.273 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
1.273 * [taylor]: Taking taylor expansion of -1 in eps
1.273 * [taylor]: Taking taylor expansion of eps in eps
1.273 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
1.273 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
1.273 * [taylor]: Taking taylor expansion of -1 in eps
1.273 * [taylor]: Taking taylor expansion of x in eps
1.273 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in eps
1.273 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
1.273 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
1.273 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
1.273 * [taylor]: Taking taylor expansion of -1 in eps
1.273 * [taylor]: Taking taylor expansion of x in eps
1.274 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in eps
1.274 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
1.274 * [taylor]: Taking taylor expansion of -1 in eps
1.274 * [taylor]: Taking taylor expansion of eps in eps
1.274 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
1.274 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
1.274 * [taylor]: Taking taylor expansion of -1 in eps
1.274 * [taylor]: Taking taylor expansion of x in eps
1.279 * [taylor]: Taking taylor expansion of 0 in eps
1.289 * [taylor]: Taking taylor expansion of 0 in eps
1.302 * [taylor]: Taking taylor expansion of 0 in eps
1.303 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
1.303 * [approximate]: Taking taylor expansion of (pow (* (sin x) (sin eps)) 3) in (x eps) around 0
1.303 * [taylor]: Taking taylor expansion of (pow (* (sin x) (sin eps)) 3) in eps
1.303 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
1.303 * [taylor]: Taking taylor expansion of (sin x) in eps
1.303 * [taylor]: Taking taylor expansion of x in eps
1.303 * [taylor]: Taking taylor expansion of (sin eps) in eps
1.303 * [taylor]: Taking taylor expansion of eps in eps
1.305 * [taylor]: Taking taylor expansion of (pow (* (sin x) (sin eps)) 3) in x
1.305 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in x
1.305 * [taylor]: Taking taylor expansion of (sin x) in x
1.305 * [taylor]: Taking taylor expansion of x in x
1.305 * [taylor]: Taking taylor expansion of (sin eps) in x
1.305 * [taylor]: Taking taylor expansion of eps in x
1.307 * [taylor]: Taking taylor expansion of (pow (* (sin x) (sin eps)) 3) in x
1.307 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in x
1.307 * [taylor]: Taking taylor expansion of (sin x) in x
1.307 * [taylor]: Taking taylor expansion of x in x
1.307 * [taylor]: Taking taylor expansion of (sin eps) in x
1.307 * [taylor]: Taking taylor expansion of eps in x
1.310 * [taylor]: Taking taylor expansion of (pow (sin eps) 3) in eps
1.310 * [taylor]: Taking taylor expansion of (sin eps) in eps
1.310 * [taylor]: Taking taylor expansion of eps in eps
1.313 * [taylor]: Taking taylor expansion of 0 in eps
1.319 * [taylor]: Taking taylor expansion of (- (* 1/2 (pow (sin eps) 3))) in eps
1.319 * [taylor]: Taking taylor expansion of (* 1/2 (pow (sin eps) 3)) in eps
1.319 * [taylor]: Taking taylor expansion of 1/2 in eps
1.319 * [taylor]: Taking taylor expansion of (pow (sin eps) 3) in eps
1.319 * [taylor]: Taking taylor expansion of (sin eps) in eps
1.319 * [taylor]: Taking taylor expansion of eps in eps
1.322 * [approximate]: Taking taylor expansion of (pow (* (sin (/ 1 eps)) (sin (/ 1 x))) 3) in (x eps) around 0
1.322 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1 eps)) (sin (/ 1 x))) 3) in eps
1.322 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
1.322 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in eps
1.322 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.322 * [taylor]: Taking taylor expansion of eps in eps
1.323 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
1.323 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.323 * [taylor]: Taking taylor expansion of x in eps
1.323 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1 eps)) (sin (/ 1 x))) 3) in x
1.323 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in x
1.323 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in x
1.323 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.323 * [taylor]: Taking taylor expansion of eps in x
1.323 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.323 * [taylor]: Taking taylor expansion of x in x
1.324 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1 eps)) (sin (/ 1 x))) 3) in x
1.324 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in x
1.324 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in x
1.324 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.324 * [taylor]: Taking taylor expansion of eps in x
1.324 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.324 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.324 * [taylor]: Taking taylor expansion of x in x
1.325 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 eps)) 3) (pow (sin (/ 1 x)) 3)) in eps
1.325 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 eps)) 3) in eps
1.325 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in eps
1.325 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.325 * [taylor]: Taking taylor expansion of eps in eps
1.325 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 3) in eps
1.325 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
1.325 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.325 * [taylor]: Taking taylor expansion of x in eps
1.328 * [taylor]: Taking taylor expansion of 0 in eps
1.333 * [taylor]: Taking taylor expansion of 0 in eps
1.340 * [taylor]: Taking taylor expansion of 0 in eps
1.341 * [approximate]: Taking taylor expansion of (pow (* (sin (/ -1 x)) (sin (/ -1 eps))) 3) in (x eps) around 0
1.341 * [taylor]: Taking taylor expansion of (pow (* (sin (/ -1 x)) (sin (/ -1 eps))) 3) in eps
1.341 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
1.341 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
1.341 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
1.341 * [taylor]: Taking taylor expansion of -1 in eps
1.341 * [taylor]: Taking taylor expansion of x in eps
1.341 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in eps
1.341 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
1.341 * [taylor]: Taking taylor expansion of -1 in eps
1.341 * [taylor]: Taking taylor expansion of eps in eps
1.342 * [taylor]: Taking taylor expansion of (pow (* (sin (/ -1 x)) (sin (/ -1 eps))) 3) in x
1.342 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in x
1.342 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.342 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.342 * [taylor]: Taking taylor expansion of -1 in x
1.342 * [taylor]: Taking taylor expansion of x in x
1.342 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in x
1.342 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
1.342 * [taylor]: Taking taylor expansion of -1 in x
1.342 * [taylor]: Taking taylor expansion of eps in x
1.343 * [taylor]: Taking taylor expansion of (pow (* (sin (/ -1 x)) (sin (/ -1 eps))) 3) in x
1.343 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in x
1.343 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.343 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.343 * [taylor]: Taking taylor expansion of -1 in x
1.343 * [taylor]: Taking taylor expansion of x in x
1.343 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in x
1.343 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
1.343 * [taylor]: Taking taylor expansion of -1 in x
1.343 * [taylor]: Taking taylor expansion of eps in x
1.344 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 x)) 3) (pow (sin (/ -1 eps)) 3)) in eps
1.344 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 3) in eps
1.344 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
1.344 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
1.344 * [taylor]: Taking taylor expansion of -1 in eps
1.344 * [taylor]: Taking taylor expansion of x in eps
1.344 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 eps)) 3) in eps
1.344 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in eps
1.344 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
1.344 * [taylor]: Taking taylor expansion of -1 in eps
1.344 * [taylor]: Taking taylor expansion of eps in eps
1.347 * [taylor]: Taking taylor expansion of 0 in eps
1.352 * [taylor]: Taking taylor expansion of 0 in eps
1.366 * [taylor]: Taking taylor expansion of 0 in eps
1.366 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1)
1.366 * [approximate]: Taking taylor expansion of (* (sin x) (sin eps)) in (x eps) around 0
1.366 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
1.366 * [taylor]: Taking taylor expansion of (sin x) in eps
1.366 * [taylor]: Taking taylor expansion of x in eps
1.366 * [taylor]: Taking taylor expansion of (sin eps) in eps
1.366 * [taylor]: Taking taylor expansion of eps in eps
1.366 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in x
1.366 * [taylor]: Taking taylor expansion of (sin x) in x
1.366 * [taylor]: Taking taylor expansion of x in x
1.366 * [taylor]: Taking taylor expansion of (sin eps) in x
1.366 * [taylor]: Taking taylor expansion of eps in x
1.366 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in x
1.366 * [taylor]: Taking taylor expansion of (sin x) in x
1.366 * [taylor]: Taking taylor expansion of x in x
1.366 * [taylor]: Taking taylor expansion of (sin eps) in x
1.366 * [taylor]: Taking taylor expansion of eps in x
1.367 * [taylor]: Taking taylor expansion of 0 in eps
1.368 * [taylor]: Taking taylor expansion of (sin eps) in eps
1.369 * [taylor]: Taking taylor expansion of eps in eps
1.371 * [taylor]: Taking taylor expansion of 0 in eps
1.375 * [taylor]: Taking taylor expansion of (- (* 1/6 (sin eps))) in eps
1.375 * [taylor]: Taking taylor expansion of (* 1/6 (sin eps)) in eps
1.375 * [taylor]: Taking taylor expansion of 1/6 in eps
1.375 * [taylor]: Taking taylor expansion of (sin eps) in eps
1.376 * [taylor]: Taking taylor expansion of eps in eps
1.381 * [taylor]: Taking taylor expansion of 0 in eps
1.381 * [approximate]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in (x eps) around 0
1.381 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
1.381 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in eps
1.381 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.381 * [taylor]: Taking taylor expansion of eps in eps
1.381 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
1.381 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.381 * [taylor]: Taking taylor expansion of x in eps
1.382 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in x
1.382 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in x
1.382 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.382 * [taylor]: Taking taylor expansion of eps in x
1.382 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.382 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.382 * [taylor]: Taking taylor expansion of x in x
1.382 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in x
1.382 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in x
1.382 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.382 * [taylor]: Taking taylor expansion of eps in x
1.382 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.382 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.382 * [taylor]: Taking taylor expansion of x in x
1.383 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
1.383 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in eps
1.383 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.383 * [taylor]: Taking taylor expansion of eps in eps
1.383 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
1.383 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.383 * [taylor]: Taking taylor expansion of x in eps
1.385 * [taylor]: Taking taylor expansion of 0 in eps
1.388 * [taylor]: Taking taylor expansion of 0 in eps
1.394 * [taylor]: Taking taylor expansion of 0 in eps
1.394 * [approximate]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in (x eps) around 0
1.394 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
1.394 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
1.394 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
1.394 * [taylor]: Taking taylor expansion of -1 in eps
1.394 * [taylor]: Taking taylor expansion of x in eps
1.394 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in eps
1.394 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
1.394 * [taylor]: Taking taylor expansion of -1 in eps
1.394 * [taylor]: Taking taylor expansion of eps in eps
1.394 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in x
1.394 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.394 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.394 * [taylor]: Taking taylor expansion of -1 in x
1.394 * [taylor]: Taking taylor expansion of x in x
1.395 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in x
1.395 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
1.395 * [taylor]: Taking taylor expansion of -1 in x
1.395 * [taylor]: Taking taylor expansion of eps in x
1.395 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in x
1.395 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.395 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.395 * [taylor]: Taking taylor expansion of -1 in x
1.395 * [taylor]: Taking taylor expansion of x in x
1.395 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in x
1.395 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
1.395 * [taylor]: Taking taylor expansion of -1 in x
1.395 * [taylor]: Taking taylor expansion of eps in x
1.396 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
1.396 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
1.396 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
1.396 * [taylor]: Taking taylor expansion of -1 in eps
1.396 * [taylor]: Taking taylor expansion of x in eps
1.396 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in eps
1.396 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
1.396 * [taylor]: Taking taylor expansion of -1 in eps
1.396 * [taylor]: Taking taylor expansion of eps in eps
1.398 * [taylor]: Taking taylor expansion of 0 in eps
1.401 * [taylor]: Taking taylor expansion of 0 in eps
1.406 * [taylor]: Taking taylor expansion of 0 in eps
1.407 * * * [progress]: simplifying candidates
1.408 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (pow (* (sin x) (sin eps)) 3)))
  (exp (cbrt (pow (* (sin x) (sin eps)) 3)))
  (cbrt (pow (sin x) 3))
  (cbrt (pow (sin eps) 3))
  (cbrt (* (* (sin x) (sin eps)) (* (sin x) (sin eps))))
  (cbrt (* (sin x) (sin eps)))
  (cbrt (* (cbrt (pow (* (sin x) (sin eps)) 3)) (cbrt (pow (* (sin x) (sin eps)) 3))))
  (cbrt (cbrt (pow (* (sin x) (sin eps)) 3)))
  (cbrt (pow (sin x) 3))
  (cbrt (pow (sin eps) 3))
  (cbrt (* (sin x) (sin eps)))
  (cbrt (* (* (sin x) (sin eps)) (* (sin x) (sin eps))))
  (cbrt (sqrt (pow (* (sin x) (sin eps)) 3)))
  (cbrt (sqrt (pow (* (sin x) (sin eps)) 3)))
  (cbrt 1)
  (cbrt (pow (* (sin x) (sin eps)) 3))
  (cbrt (pow (* (sin x) (sin eps)) (/ 3 2)))
  (cbrt (pow (* (sin x) (sin eps)) (/ 3 2)))
  (cbrt (pow (- (cos (- x eps)) (cos (+ x eps))) 3))
  (cbrt (pow 2 3))
  (* (cbrt (cbrt (pow (* (sin x) (sin eps)) 3))) (cbrt (cbrt (pow (* (sin x) (sin eps)) 3))))
  (cbrt (cbrt (pow (* (sin x) (sin eps)) 3)))
  (* (* (cbrt (pow (* (sin x) (sin eps)) 3)) (cbrt (pow (* (sin x) (sin eps)) 3))) (cbrt (pow (* (sin x) (sin eps)) 3)))
  (sqrt (cbrt (pow (* (sin x) (sin eps)) 3)))
  (sqrt (cbrt (pow (* (sin x) (sin eps)) 3)))
  (/ (exp (* (cos x) (cos eps))) (* (exp (cbrt (pow (* (sin x) (sin eps)) 3))) (exp (cos x))))
  (/ (exp (* (cos x) (cos eps))) (exp (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))
  (log (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))
  (exp (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))
  (* (cbrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)))) (cbrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)))))
  (cbrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))
  (* (* (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))) (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)))) (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))
  (sqrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))
  (sqrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))
  (- (* (+ (cos (+ x eps)) (cos (- x eps))) (+ (* (cbrt (pow (* (sin x) (sin eps)) 3)) (cbrt (pow (* (sin x) (sin eps)) 3))) (- (* (cos x) (cos x)) (* (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))) (* 2 (+ (pow (cbrt (pow (* (sin x) (sin eps)) 3)) 3) (pow (cos x) 3))))
  (* 2 (+ (* (cbrt (pow (* (sin x) (sin eps)) 3)) (cbrt (pow (* (sin x) (sin eps)) 3))) (- (* (cos x) (cos x)) (* (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)))))
  (- (* (+ (cos (+ x eps)) (cos (- x eps))) (- (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))) (* 2 (- (* (cbrt (pow (* (sin x) (sin eps)) 3)) (cbrt (pow (* (sin x) (sin eps)) 3))) (* (cos x) (cos x)))))
  (* 2 (- (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)))
  (- (pow (* (cos x) (cos eps)) 3) (pow (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)) 3))
  (+ (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (+ (* (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))) (* (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)))))
  (- (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)))
  (- (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (* (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))
  (+ (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)))
  (- (* (cos x) (cos eps)) (cbrt (pow (* (sin x) (sin eps)) 3)))
  (- (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)))
  (* (+ (log (sin x)) (log (sin eps))) 3)
  (* (log (* (sin x) (sin eps))) 3)
  (* (log (* (sin x) (sin eps))) 3)
  (* 1 3)
  (* 1 3)
  (pow (* (sin x) (sin eps)) (* (cbrt 3) (cbrt 3)))
  (pow (* (sin x) (sin eps)) (sqrt 3))
  (pow (* (sin x) (sin eps)) 1)
  (pow (sin x) 3)
  (pow (sin eps) 3)
  (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))
  (log (pow (* (sin x) (sin eps)) 3))
  (exp (pow (* (sin x) (sin eps)) 3))
  (* (cbrt (pow (* (sin x) (sin eps)) 3)) (cbrt (pow (* (sin x) (sin eps)) 3)))
  (cbrt (pow (* (sin x) (sin eps)) 3))
  (* (* (pow (* (sin x) (sin eps)) 3) (pow (* (sin x) (sin eps)) 3)) (pow (* (sin x) (sin eps)) 3))
  (pow (sin x) 3)
  (pow (sin eps) 3)
  (pow (- (cos (- x eps)) (cos (+ x eps))) 3)
  (pow 2 3)
  (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))
  (sqrt (pow (* (sin x) (sin eps)) 3))
  (sqrt (pow (* (sin x) (sin eps)) 3))
  (pow (* (sin x) (sin eps)) (/ 3 2))
  (pow (* (sin x) (sin eps)) (/ 3 2))
  (- (cos (- x eps)) (cos (+ x eps)))
  (* (sin x) (sin eps))
  (+ (log (sin x)) (log (sin eps)))
  (log (* (sin x) (sin eps)))
  (exp (* (sin x) (sin eps)))
  (* (* (* (sin x) (sin x)) (sin x)) (* (* (sin eps) (sin eps)) (sin eps)))
  (* (cbrt (* (sin x) (sin eps))) (cbrt (* (sin x) (sin eps))))
  (cbrt (* (sin x) (sin eps)))
  (* (* (* (sin x) (sin eps)) (* (sin x) (sin eps))) (* (sin x) (sin eps)))
  (sqrt (* (sin x) (sin eps)))
  (sqrt (* (sin x) (sin eps)))
  (* (sqrt (sin x)) (sqrt (sin eps)))
  (* (sqrt (sin x)) (sqrt (sin eps)))
  (* (sin x) (* (cbrt (sin eps)) (cbrt (sin eps))))
  (* (sin x) (sqrt (sin eps)))
  (* (sin x) 1)
  (* (cbrt (sin x)) (sin eps))
  (* (sqrt (sin x)) (sin eps))
  (* (sin x) (sin eps))
  (* x eps)
  (* (sin x) (sin eps))
  (* (sin x) (sin eps))
  (- (* 1/6 (* (pow x 3) eps)) (+ (* x eps) (* 1/2 (pow eps 2))))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (- (* (pow x 3) (pow eps 3)) (+ (* 1/2 (* (pow x 5) (pow eps 3))) (* 1/2 (* (pow x 3) (pow eps 5)))))
  (* (pow (sin x) 3) (pow (sin eps) 3))
  (* (pow (sin x) 3) (pow (sin eps) 3))
  (* x eps)
  (* (sin x) (sin eps))
  (* (sin x) (sin eps))
1.414 * * [simplify]: iteration  0 :  374  enodes  (cost  686 )
1.421 * * [simplify]: iteration  1 :  1626  enodes  (cost  613 )
1.454 * * [simplify]: iteration  2 :  5002  enodes  (cost  599 )
1.457 * [simplify]: Simplified to:
   (log (* (sin x) (sin eps)))
  (exp (* (sin x) (sin eps)))
  (sin x)
  (sin eps)
  (cbrt (* (* (sin x) (sin eps)) (* (sin x) (sin eps))))
  (cbrt (* (sin x) (sin eps)))
  (cbrt (* (* (sin x) (sin eps)) (* (sin x) (sin eps))))
  (cbrt (* (sin x) (sin eps)))
  (sin x)
  (sin eps)
  (cbrt (* (sin x) (sin eps)))
  (cbrt (* (* (sin x) (sin eps)) (* (sin x) (sin eps))))
  (cbrt (sqrt (pow (* (sin x) (sin eps)) 3)))
  (cbrt (sqrt (pow (* (sin x) (sin eps)) 3)))
  1
  (* (sin x) (sin eps))
  (cbrt (pow (* (sin x) (sin eps)) (/ 3 2)))
  (cbrt (pow (* (sin x) (sin eps)) (/ 3 2)))
  (- (cos (- x eps)) (cos (+ x eps)))
  2
  (* (cbrt (* (sin x) (sin eps))) (cbrt (* (sin x) (sin eps))))
  (cbrt (* (sin x) (sin eps)))
  (pow (* (sin x) (sin eps)) 3)
  (pow (* (sin x) (sin eps)) 1/2)
  (pow (* (sin x) (sin eps)) 1/2)
  (exp (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (exp (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (log (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))
  (exp (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (* (cbrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)))) (cbrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)))))
  (cbrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))
  (pow (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) 3)
  (sqrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))
  (sqrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))
  (- (- (* (+ (cos (+ x eps)) (cos (- x eps))) (+ (pow (* (sin x) (sin eps)) 2) (* (cos x) (- (cos x) (* (sin x) (sin eps)))))) (* 2 (pow (* (sin x) (sin eps)) 3))) (* 2 (pow (cos x) 3)))
  (* 2 (+ (pow (* (sin x) (sin eps)) 2) (* (cos x) (- (cos x) (* (sin x) (sin eps))))))
  (* (- (* (sin x) (sin eps)) (cos x)) (- (+ (cos (+ x eps)) (cos (- x eps))) (* 2 (+ (* (sin x) (sin eps)) (cos x)))))
  (* 2 (- (* (sin x) (sin eps)) (cos x)))
  (- (pow (* (cos x) (cos eps)) 3) (pow (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)) 3))
  (+ (* (* (cos x) (cos eps)) (+ (+ (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x))))
  (- (+ (* (sin x) (sin eps)) (cos x)))
  (* (+ (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))) (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (+ (* (sin x) (sin eps)) (* (+ (cos eps) 1) (cos x)))
  (- (* (cos eps) (cos x)) (* (sin x) (sin eps)))
  (- (+ (* (sin x) (sin eps)) (cos x)))
  (log (pow (* (sin x) (sin eps)) 3))
  (log (pow (* (sin x) (sin eps)) 3))
  (log (pow (* (sin x) (sin eps)) 3))
  3
  3
  (pow (* (sin x) (sin eps)) (* (cbrt 3) (cbrt 3)))
  (pow (* (sin x) (sin eps)) (sqrt 3))
  (* (sin x) (sin eps))
  (pow (sin x) 3)
  (pow (sin eps) 3)
  (pow (* (sin x) (sin eps)) 2)
  (log (pow (* (sin x) (sin eps)) 3))
  (exp (pow (* (sin x) (sin eps)) 3))
  (pow (* (sin x) (sin eps)) 2)
  (* (sin x) (sin eps))
  (pow (pow (* (sin x) (sin eps)) 3) 3)
  (pow (sin x) 3)
  (pow (sin eps) 3)
  (pow (- (cos (- x eps)) (cos (+ x eps))) 3)
  8
  (pow (* (sin x) (sin eps)) 2)
  (sqrt (pow (* (sin x) (sin eps)) 3))
  (sqrt (pow (* (sin x) (sin eps)) 3))
  (pow (* (sin x) (sin eps)) 3/2)
  (pow (* (sin x) (sin eps)) 3/2)
  (- (cos (- x eps)) (cos (+ x eps)))
  (* (sin x) (sin eps))
  (log (* (sin x) (sin eps)))
  (log (* (sin x) (sin eps)))
  (exp (* (sin x) (sin eps)))
  (pow (* (sin x) (sin eps)) 3)
  (* (cbrt (* (sin x) (sin eps))) (cbrt (* (sin x) (sin eps))))
  (cbrt (* (sin x) (sin eps)))
  (pow (* (sin x) (sin eps)) 3)
  (pow (* (sin x) (sin eps)) 1/2)
  (pow (* (sin x) (sin eps)) 1/2)
  (* (sqrt (sin x)) (sqrt (sin eps)))
  (* (sqrt (sin x)) (sqrt (sin eps)))
  (* (sin x) (* (cbrt (sin eps)) (cbrt (sin eps))))
  (* (sin x) (sqrt (sin eps)))
  (sin x)
  (* (cbrt (sin x)) (sin eps))
  (* (sqrt (sin x)) (sin eps))
  (* (sin x) (sin eps))
  (* x eps)
  (* (sin x) (sin eps))
  (* (sin x) (sin eps))
  (* eps (- (- (* 1/6 (pow x 3)) x) (* eps 1/2)))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (+ (* (pow eps 3) (- (pow x 3) (* 1/2 (pow x 5)))) (- (* 1/2 (* (pow x 3) (pow eps 5)))))
  (pow (* (sin x) (sin eps)) 3)
  (pow (* (sin x) (sin eps)) 3)
  (* x eps)
  (* (sin x) (sin eps))
  (* (sin x) (sin eps))
1.457 * * * [progress]: adding candidates to table
1.700 * * [progress]: iteration 4 / 4
1.700 * * * [progress]: picking best candidate
1.763 * * * * [pick]: Picked  #<alt (λ (x eps) (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))>
1.763 * * * [progress]: localizing error
1.781 * * * [progress]: generating rewritten candidates
1.781 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.811 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.816 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1.833 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.850 * * * [progress]: generating series expansions
1.850 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.850 * [approximate]: Taking taylor expansion of (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))) in (x eps) around 0
1.850 * [taylor]: Taking taylor expansion of (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))) in eps
1.850 * [taylor]: Taking taylor expansion of (* (cos x) (cos eps)) in eps
1.850 * [taylor]: Taking taylor expansion of (cos x) in eps
1.850 * [taylor]: Taking taylor expansion of x in eps
1.850 * [taylor]: Taking taylor expansion of (cos eps) in eps
1.850 * [taylor]: Taking taylor expansion of eps in eps
1.850 * [taylor]: Taking taylor expansion of (+ (* (sin x) (sin eps)) (cos x)) in eps
1.850 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
1.850 * [taylor]: Taking taylor expansion of (sin x) in eps
1.850 * [taylor]: Taking taylor expansion of x in eps
1.850 * [taylor]: Taking taylor expansion of (sin eps) in eps
1.850 * [taylor]: Taking taylor expansion of eps in eps
1.851 * [taylor]: Taking taylor expansion of (cos x) in eps
1.851 * [taylor]: Taking taylor expansion of x in eps
1.851 * [taylor]: Taking taylor expansion of (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))) in x
1.851 * [taylor]: Taking taylor expansion of (* (cos x) (cos eps)) in x
1.851 * [taylor]: Taking taylor expansion of (cos x) in x
1.851 * [taylor]: Taking taylor expansion of x in x
1.851 * [taylor]: Taking taylor expansion of (cos eps) in x
1.851 * [taylor]: Taking taylor expansion of eps in x
1.851 * [taylor]: Taking taylor expansion of (+ (* (sin x) (sin eps)) (cos x)) in x
1.851 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in x
1.851 * [taylor]: Taking taylor expansion of (sin x) in x
1.851 * [taylor]: Taking taylor expansion of x in x
1.851 * [taylor]: Taking taylor expansion of (sin eps) in x
1.851 * [taylor]: Taking taylor expansion of eps in x
1.851 * [taylor]: Taking taylor expansion of (cos x) in x
1.851 * [taylor]: Taking taylor expansion of x in x
1.851 * [taylor]: Taking taylor expansion of (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))) in x
1.851 * [taylor]: Taking taylor expansion of (* (cos x) (cos eps)) in x
1.851 * [taylor]: Taking taylor expansion of (cos x) in x
1.851 * [taylor]: Taking taylor expansion of x in x
1.851 * [taylor]: Taking taylor expansion of (cos eps) in x
1.851 * [taylor]: Taking taylor expansion of eps in x
1.851 * [taylor]: Taking taylor expansion of (+ (* (sin x) (sin eps)) (cos x)) in x
1.851 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in x
1.851 * [taylor]: Taking taylor expansion of (sin x) in x
1.851 * [taylor]: Taking taylor expansion of x in x
1.851 * [taylor]: Taking taylor expansion of (sin eps) in x
1.851 * [taylor]: Taking taylor expansion of eps in x
1.851 * [taylor]: Taking taylor expansion of (cos x) in x
1.851 * [taylor]: Taking taylor expansion of x in x
1.852 * [taylor]: Taking taylor expansion of (- (cos eps) 1) in eps
1.852 * [taylor]: Taking taylor expansion of (cos eps) in eps
1.852 * [taylor]: Taking taylor expansion of eps in eps
1.853 * [taylor]: Taking taylor expansion of 1 in eps
1.857 * [taylor]: Taking taylor expansion of (- (sin eps)) in eps
1.857 * [taylor]: Taking taylor expansion of (sin eps) in eps
1.857 * [taylor]: Taking taylor expansion of eps in eps
1.864 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/2 (cos eps))) in eps
1.864 * [taylor]: Taking taylor expansion of 1/2 in eps
1.864 * [taylor]: Taking taylor expansion of (* 1/2 (cos eps)) in eps
1.864 * [taylor]: Taking taylor expansion of 1/2 in eps
1.864 * [taylor]: Taking taylor expansion of (cos eps) in eps
1.864 * [taylor]: Taking taylor expansion of eps in eps
1.874 * [taylor]: Taking taylor expansion of (* 1/6 (sin eps)) in eps
1.874 * [taylor]: Taking taylor expansion of 1/6 in eps
1.874 * [taylor]: Taking taylor expansion of (sin eps) in eps
1.874 * [taylor]: Taking taylor expansion of eps in eps
1.889 * [taylor]: Taking taylor expansion of (- (* 1/24 (cos eps)) 1/24) in eps
1.889 * [taylor]: Taking taylor expansion of (* 1/24 (cos eps)) in eps
1.889 * [taylor]: Taking taylor expansion of 1/24 in eps
1.889 * [taylor]: Taking taylor expansion of (cos eps) in eps
1.889 * [taylor]: Taking taylor expansion of eps in eps
1.889 * [taylor]: Taking taylor expansion of 1/24 in eps
1.891 * [approximate]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in (x eps) around 0
1.891 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in eps
1.891 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in eps
1.891 * [taylor]: Taking taylor expansion of (cos (/ 1 eps)) in eps
1.891 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.891 * [taylor]: Taking taylor expansion of eps in eps
1.891 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
1.891 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.891 * [taylor]: Taking taylor expansion of x in eps
1.891 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x)))) in eps
1.891 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
1.891 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.891 * [taylor]: Taking taylor expansion of x in eps
1.891 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
1.891 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in eps
1.892 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.892 * [taylor]: Taking taylor expansion of eps in eps
1.892 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
1.892 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.892 * [taylor]: Taking taylor expansion of x in eps
1.892 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in x
1.892 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in x
1.892 * [taylor]: Taking taylor expansion of (cos (/ 1 eps)) in x
1.892 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.892 * [taylor]: Taking taylor expansion of eps in x
1.892 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.892 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.892 * [taylor]: Taking taylor expansion of x in x
1.892 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x)))) in x
1.892 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.892 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.892 * [taylor]: Taking taylor expansion of x in x
1.893 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in x
1.893 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in x
1.893 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.893 * [taylor]: Taking taylor expansion of eps in x
1.893 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.893 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.893 * [taylor]: Taking taylor expansion of x in x
1.893 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in x
1.893 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in x
1.893 * [taylor]: Taking taylor expansion of (cos (/ 1 eps)) in x
1.893 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.893 * [taylor]: Taking taylor expansion of eps in x
1.893 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.893 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.893 * [taylor]: Taking taylor expansion of x in x
1.894 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x)))) in x
1.894 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.894 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.894 * [taylor]: Taking taylor expansion of x in x
1.894 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in x
1.894 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in x
1.894 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.894 * [taylor]: Taking taylor expansion of eps in x
1.894 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.894 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.894 * [taylor]: Taking taylor expansion of x in x
1.895 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in eps
1.895 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in eps
1.895 * [taylor]: Taking taylor expansion of (cos (/ 1 eps)) in eps
1.895 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.895 * [taylor]: Taking taylor expansion of eps in eps
1.896 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
1.896 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.896 * [taylor]: Taking taylor expansion of x in eps
1.896 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x)))) in eps
1.896 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
1.896 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.896 * [taylor]: Taking taylor expansion of x in eps
1.896 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
1.896 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in eps
1.896 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.896 * [taylor]: Taking taylor expansion of eps in eps
1.896 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
1.896 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.896 * [taylor]: Taking taylor expansion of x in eps
1.906 * [taylor]: Taking taylor expansion of 0 in eps
1.916 * [taylor]: Taking taylor expansion of 0 in eps
1.929 * [taylor]: Taking taylor expansion of 0 in eps
1.930 * [approximate]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in (x eps) around 0
1.930 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in eps
1.930 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in eps
1.930 * [taylor]: Taking taylor expansion of (cos (/ -1 eps)) in eps
1.930 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
1.930 * [taylor]: Taking taylor expansion of -1 in eps
1.930 * [taylor]: Taking taylor expansion of eps in eps
1.931 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
1.931 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
1.931 * [taylor]: Taking taylor expansion of -1 in eps
1.931 * [taylor]: Taking taylor expansion of x in eps
1.931 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in eps
1.931 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
1.931 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
1.931 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
1.931 * [taylor]: Taking taylor expansion of -1 in eps
1.931 * [taylor]: Taking taylor expansion of x in eps
1.931 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in eps
1.931 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
1.931 * [taylor]: Taking taylor expansion of -1 in eps
1.931 * [taylor]: Taking taylor expansion of eps in eps
1.931 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
1.931 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
1.931 * [taylor]: Taking taylor expansion of -1 in eps
1.931 * [taylor]: Taking taylor expansion of x in eps
1.931 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in x
1.931 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in x
1.931 * [taylor]: Taking taylor expansion of (cos (/ -1 eps)) in x
1.931 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
1.932 * [taylor]: Taking taylor expansion of -1 in x
1.932 * [taylor]: Taking taylor expansion of eps in x
1.932 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.932 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.932 * [taylor]: Taking taylor expansion of -1 in x
1.932 * [taylor]: Taking taylor expansion of x in x
1.932 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in x
1.932 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in x
1.932 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.932 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.932 * [taylor]: Taking taylor expansion of -1 in x
1.932 * [taylor]: Taking taylor expansion of x in x
1.933 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in x
1.933 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
1.933 * [taylor]: Taking taylor expansion of -1 in x
1.933 * [taylor]: Taking taylor expansion of eps in x
1.933 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.933 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.933 * [taylor]: Taking taylor expansion of -1 in x
1.933 * [taylor]: Taking taylor expansion of x in x
1.933 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in x
1.933 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in x
1.933 * [taylor]: Taking taylor expansion of (cos (/ -1 eps)) in x
1.933 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
1.933 * [taylor]: Taking taylor expansion of -1 in x
1.933 * [taylor]: Taking taylor expansion of eps in x
1.933 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.933 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.933 * [taylor]: Taking taylor expansion of -1 in x
1.933 * [taylor]: Taking taylor expansion of x in x
1.934 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in x
1.934 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in x
1.934 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.934 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.934 * [taylor]: Taking taylor expansion of -1 in x
1.934 * [taylor]: Taking taylor expansion of x in x
1.934 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in x
1.934 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
1.934 * [taylor]: Taking taylor expansion of -1 in x
1.934 * [taylor]: Taking taylor expansion of eps in x
1.934 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.934 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.934 * [taylor]: Taking taylor expansion of -1 in x
1.934 * [taylor]: Taking taylor expansion of x in x
1.936 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in eps
1.936 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in eps
1.936 * [taylor]: Taking taylor expansion of (cos (/ -1 eps)) in eps
1.936 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
1.936 * [taylor]: Taking taylor expansion of -1 in eps
1.936 * [taylor]: Taking taylor expansion of eps in eps
1.936 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
1.936 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
1.936 * [taylor]: Taking taylor expansion of -1 in eps
1.936 * [taylor]: Taking taylor expansion of x in eps
1.936 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in eps
1.936 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
1.936 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
1.936 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
1.936 * [taylor]: Taking taylor expansion of -1 in eps
1.936 * [taylor]: Taking taylor expansion of x in eps
1.936 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in eps
1.936 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
1.936 * [taylor]: Taking taylor expansion of -1 in eps
1.936 * [taylor]: Taking taylor expansion of eps in eps
1.937 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
1.937 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
1.937 * [taylor]: Taking taylor expansion of -1 in eps
1.937 * [taylor]: Taking taylor expansion of x in eps
1.942 * [taylor]: Taking taylor expansion of 0 in eps
1.952 * [taylor]: Taking taylor expansion of 0 in eps
1.965 * [taylor]: Taking taylor expansion of 0 in eps
1.966 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1.966 * [approximate]: Taking taylor expansion of (* (cos eps) (cos x)) in (x eps) around 0
1.966 * [taylor]: Taking taylor expansion of (* (cos eps) (cos x)) in eps
1.966 * [taylor]: Taking taylor expansion of (cos eps) in eps
1.966 * [taylor]: Taking taylor expansion of eps in eps
1.966 * [taylor]: Taking taylor expansion of (cos x) in eps
1.966 * [taylor]: Taking taylor expansion of x in eps
1.966 * [taylor]: Taking taylor expansion of (* (cos eps) (cos x)) in x
1.966 * [taylor]: Taking taylor expansion of (cos eps) in x
1.966 * [taylor]: Taking taylor expansion of eps in x
1.966 * [taylor]: Taking taylor expansion of (cos x) in x
1.966 * [taylor]: Taking taylor expansion of x in x
1.966 * [taylor]: Taking taylor expansion of (* (cos eps) (cos x)) in x
1.966 * [taylor]: Taking taylor expansion of (cos eps) in x
1.966 * [taylor]: Taking taylor expansion of eps in x
1.966 * [taylor]: Taking taylor expansion of (cos x) in x
1.966 * [taylor]: Taking taylor expansion of x in x
1.967 * [taylor]: Taking taylor expansion of (cos eps) in eps
1.967 * [taylor]: Taking taylor expansion of eps in eps
1.969 * [taylor]: Taking taylor expansion of 0 in eps
1.972 * [taylor]: Taking taylor expansion of (- (* 1/2 (cos eps))) in eps
1.972 * [taylor]: Taking taylor expansion of (* 1/2 (cos eps)) in eps
1.972 * [taylor]: Taking taylor expansion of 1/2 in eps
1.972 * [taylor]: Taking taylor expansion of (cos eps) in eps
1.972 * [taylor]: Taking taylor expansion of eps in eps
1.973 * [approximate]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in (x eps) around 0
1.973 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in eps
1.973 * [taylor]: Taking taylor expansion of (cos (/ 1 eps)) in eps
1.973 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.973 * [taylor]: Taking taylor expansion of eps in eps
1.974 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
1.974 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.974 * [taylor]: Taking taylor expansion of x in eps
1.974 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in x
1.974 * [taylor]: Taking taylor expansion of (cos (/ 1 eps)) in x
1.974 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.974 * [taylor]: Taking taylor expansion of eps in x
1.974 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.974 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.974 * [taylor]: Taking taylor expansion of x in x
1.974 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in x
1.974 * [taylor]: Taking taylor expansion of (cos (/ 1 eps)) in x
1.974 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.974 * [taylor]: Taking taylor expansion of eps in x
1.974 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.974 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.974 * [taylor]: Taking taylor expansion of x in x
1.975 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in eps
1.975 * [taylor]: Taking taylor expansion of (cos (/ 1 eps)) in eps
1.975 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.975 * [taylor]: Taking taylor expansion of eps in eps
1.975 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
1.975 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.975 * [taylor]: Taking taylor expansion of x in eps
1.977 * [taylor]: Taking taylor expansion of 0 in eps
1.981 * [taylor]: Taking taylor expansion of 0 in eps
1.986 * [taylor]: Taking taylor expansion of 0 in eps
1.987 * [approximate]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in (x eps) around 0
1.987 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in eps
1.987 * [taylor]: Taking taylor expansion of (cos (/ -1 eps)) in eps
1.987 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
1.987 * [taylor]: Taking taylor expansion of -1 in eps
1.987 * [taylor]: Taking taylor expansion of eps in eps
1.987 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
1.987 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
1.987 * [taylor]: Taking taylor expansion of -1 in eps
1.987 * [taylor]: Taking taylor expansion of x in eps
1.987 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in x
1.987 * [taylor]: Taking taylor expansion of (cos (/ -1 eps)) in x
1.987 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
1.988 * [taylor]: Taking taylor expansion of -1 in x
1.988 * [taylor]: Taking taylor expansion of eps in x
1.988 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.988 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.988 * [taylor]: Taking taylor expansion of -1 in x
1.988 * [taylor]: Taking taylor expansion of x in x
1.988 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in x
1.988 * [taylor]: Taking taylor expansion of (cos (/ -1 eps)) in x
1.988 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
1.988 * [taylor]: Taking taylor expansion of -1 in x
1.988 * [taylor]: Taking taylor expansion of eps in x
1.988 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.988 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.988 * [taylor]: Taking taylor expansion of -1 in x
1.988 * [taylor]: Taking taylor expansion of x in x
1.989 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in eps
1.989 * [taylor]: Taking taylor expansion of (cos (/ -1 eps)) in eps
1.989 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
1.989 * [taylor]: Taking taylor expansion of -1 in eps
1.989 * [taylor]: Taking taylor expansion of eps in eps
1.989 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
1.989 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
1.989 * [taylor]: Taking taylor expansion of -1 in eps
1.989 * [taylor]: Taking taylor expansion of x in eps
1.997 * [taylor]: Taking taylor expansion of 0 in eps
2.001 * [taylor]: Taking taylor expansion of 0 in eps
2.006 * [taylor]: Taking taylor expansion of 0 in eps
2.006 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
2.006 * [approximate]: Taking taylor expansion of (* (sin x) (sin eps)) in (x eps) around 0
2.006 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
2.006 * [taylor]: Taking taylor expansion of (sin x) in eps
2.006 * [taylor]: Taking taylor expansion of x in eps
2.006 * [taylor]: Taking taylor expansion of (sin eps) in eps
2.007 * [taylor]: Taking taylor expansion of eps in eps
2.007 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in x
2.007 * [taylor]: Taking taylor expansion of (sin x) in x
2.007 * [taylor]: Taking taylor expansion of x in x
2.007 * [taylor]: Taking taylor expansion of (sin eps) in x
2.007 * [taylor]: Taking taylor expansion of eps in x
2.007 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in x
2.007 * [taylor]: Taking taylor expansion of (sin x) in x
2.007 * [taylor]: Taking taylor expansion of x in x
2.007 * [taylor]: Taking taylor expansion of (sin eps) in x
2.007 * [taylor]: Taking taylor expansion of eps in x
2.007 * [taylor]: Taking taylor expansion of 0 in eps
2.009 * [taylor]: Taking taylor expansion of (sin eps) in eps
2.009 * [taylor]: Taking taylor expansion of eps in eps
2.012 * [taylor]: Taking taylor expansion of 0 in eps
2.016 * [taylor]: Taking taylor expansion of (- (* 1/6 (sin eps))) in eps
2.016 * [taylor]: Taking taylor expansion of (* 1/6 (sin eps)) in eps
2.016 * [taylor]: Taking taylor expansion of 1/6 in eps
2.016 * [taylor]: Taking taylor expansion of (sin eps) in eps
2.016 * [taylor]: Taking taylor expansion of eps in eps
2.021 * [taylor]: Taking taylor expansion of 0 in eps
2.022 * [approximate]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in (x eps) around 0
2.022 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
2.022 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in eps
2.022 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
2.022 * [taylor]: Taking taylor expansion of eps in eps
2.022 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
2.022 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
2.022 * [taylor]: Taking taylor expansion of x in eps
2.022 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in x
2.022 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in x
2.022 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
2.022 * [taylor]: Taking taylor expansion of eps in x
2.022 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.022 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.022 * [taylor]: Taking taylor expansion of x in x
2.023 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in x
2.023 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in x
2.023 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
2.023 * [taylor]: Taking taylor expansion of eps in x
2.023 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.023 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.023 * [taylor]: Taking taylor expansion of x in x
2.023 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
2.023 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in eps
2.023 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
2.023 * [taylor]: Taking taylor expansion of eps in eps
2.024 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
2.024 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
2.024 * [taylor]: Taking taylor expansion of x in eps
2.025 * [taylor]: Taking taylor expansion of 0 in eps
2.029 * [taylor]: Taking taylor expansion of 0 in eps
2.034 * [taylor]: Taking taylor expansion of 0 in eps
2.034 * [approximate]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in (x eps) around 0
2.034 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
2.034 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
2.034 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
2.034 * [taylor]: Taking taylor expansion of -1 in eps
2.034 * [taylor]: Taking taylor expansion of x in eps
2.034 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in eps
2.034 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
2.034 * [taylor]: Taking taylor expansion of -1 in eps
2.034 * [taylor]: Taking taylor expansion of eps in eps
2.035 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in x
2.035 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.035 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.035 * [taylor]: Taking taylor expansion of -1 in x
2.035 * [taylor]: Taking taylor expansion of x in x
2.035 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in x
2.035 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
2.035 * [taylor]: Taking taylor expansion of -1 in x
2.035 * [taylor]: Taking taylor expansion of eps in x
2.035 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in x
2.035 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.035 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.035 * [taylor]: Taking taylor expansion of -1 in x
2.035 * [taylor]: Taking taylor expansion of x in x
2.035 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in x
2.035 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
2.035 * [taylor]: Taking taylor expansion of -1 in x
2.035 * [taylor]: Taking taylor expansion of eps in x
2.036 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
2.036 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
2.036 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
2.036 * [taylor]: Taking taylor expansion of -1 in eps
2.036 * [taylor]: Taking taylor expansion of x in eps
2.036 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in eps
2.036 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
2.036 * [taylor]: Taking taylor expansion of -1 in eps
2.036 * [taylor]: Taking taylor expansion of eps in eps
2.038 * [taylor]: Taking taylor expansion of 0 in eps
2.041 * [taylor]: Taking taylor expansion of 0 in eps
2.046 * [taylor]: Taking taylor expansion of 0 in eps
2.046 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
2.047 * [approximate]: Taking taylor expansion of (+ (* (sin x) (sin eps)) (cos x)) in (x eps) around 0
2.047 * [taylor]: Taking taylor expansion of (+ (* (sin x) (sin eps)) (cos x)) in eps
2.047 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
2.047 * [taylor]: Taking taylor expansion of (sin x) in eps
2.047 * [taylor]: Taking taylor expansion of x in eps
2.047 * [taylor]: Taking taylor expansion of (sin eps) in eps
2.047 * [taylor]: Taking taylor expansion of eps in eps
2.047 * [taylor]: Taking taylor expansion of (cos x) in eps
2.047 * [taylor]: Taking taylor expansion of x in eps
2.047 * [taylor]: Taking taylor expansion of (+ (* (sin x) (sin eps)) (cos x)) in x
2.047 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in x
2.047 * [taylor]: Taking taylor expansion of (sin x) in x
2.047 * [taylor]: Taking taylor expansion of x in x
2.047 * [taylor]: Taking taylor expansion of (sin eps) in x
2.047 * [taylor]: Taking taylor expansion of eps in x
2.047 * [taylor]: Taking taylor expansion of (cos x) in x
2.047 * [taylor]: Taking taylor expansion of x in x
2.047 * [taylor]: Taking taylor expansion of (+ (* (sin x) (sin eps)) (cos x)) in x
2.047 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in x
2.047 * [taylor]: Taking taylor expansion of (sin x) in x
2.047 * [taylor]: Taking taylor expansion of x in x
2.047 * [taylor]: Taking taylor expansion of (sin eps) in x
2.047 * [taylor]: Taking taylor expansion of eps in x
2.047 * [taylor]: Taking taylor expansion of (cos x) in x
2.047 * [taylor]: Taking taylor expansion of x in x
2.048 * [taylor]: Taking taylor expansion of 1 in eps
2.050 * [taylor]: Taking taylor expansion of (sin eps) in eps
2.050 * [taylor]: Taking taylor expansion of eps in eps
2.053 * [taylor]: Taking taylor expansion of -1/2 in eps
2.054 * [approximate]: Taking taylor expansion of (+ (* (sin (/ 1 eps)) (sin (/ 1 x))) (cos (/ 1 x))) in (x eps) around 0
2.054 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 eps)) (sin (/ 1 x))) (cos (/ 1 x))) in eps
2.054 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
2.054 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in eps
2.054 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
2.054 * [taylor]: Taking taylor expansion of eps in eps
2.054 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
2.054 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
2.054 * [taylor]: Taking taylor expansion of x in eps
2.054 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
2.054 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
2.054 * [taylor]: Taking taylor expansion of x in eps
2.054 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 eps)) (sin (/ 1 x))) (cos (/ 1 x))) in x
2.054 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in x
2.054 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in x
2.054 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
2.054 * [taylor]: Taking taylor expansion of eps in x
2.054 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.054 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.054 * [taylor]: Taking taylor expansion of x in x
2.055 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.055 * [taylor]: Taking taylor expansion of x in x
2.055 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 eps)) (sin (/ 1 x))) (cos (/ 1 x))) in x
2.055 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in x
2.055 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in x
2.055 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
2.055 * [taylor]: Taking taylor expansion of eps in x
2.055 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.055 * [taylor]: Taking taylor expansion of x in x
2.056 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.056 * [taylor]: Taking taylor expansion of x in x
2.056 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 eps)) (sin (/ 1 x))) (cos (/ 1 x))) in eps
2.056 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
2.056 * [taylor]: Taking taylor expansion of (sin (/ 1 eps)) in eps
2.056 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
2.056 * [taylor]: Taking taylor expansion of eps in eps
2.056 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
2.056 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
2.057 * [taylor]: Taking taylor expansion of x in eps
2.057 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
2.057 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
2.057 * [taylor]: Taking taylor expansion of x in eps
2.059 * [taylor]: Taking taylor expansion of 0 in eps
2.065 * [taylor]: Taking taylor expansion of 0 in eps
2.072 * [taylor]: Taking taylor expansion of 0 in eps
2.072 * [approximate]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in (x eps) around 0
2.072 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in eps
2.072 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
2.072 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
2.072 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
2.072 * [taylor]: Taking taylor expansion of -1 in eps
2.072 * [taylor]: Taking taylor expansion of x in eps
2.072 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in eps
2.072 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
2.072 * [taylor]: Taking taylor expansion of -1 in eps
2.072 * [taylor]: Taking taylor expansion of eps in eps
2.073 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
2.073 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
2.073 * [taylor]: Taking taylor expansion of -1 in eps
2.073 * [taylor]: Taking taylor expansion of x in eps
2.073 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in x
2.073 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in x
2.073 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.073 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.073 * [taylor]: Taking taylor expansion of -1 in x
2.073 * [taylor]: Taking taylor expansion of x in x
2.073 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in x
2.073 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
2.073 * [taylor]: Taking taylor expansion of -1 in x
2.073 * [taylor]: Taking taylor expansion of eps in x
2.073 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.073 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.073 * [taylor]: Taking taylor expansion of -1 in x
2.073 * [taylor]: Taking taylor expansion of x in x
2.074 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in x
2.074 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in x
2.074 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.074 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.074 * [taylor]: Taking taylor expansion of -1 in x
2.074 * [taylor]: Taking taylor expansion of x in x
2.074 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in x
2.074 * [taylor]: Taking taylor expansion of (/ -1 eps) in x
2.074 * [taylor]: Taking taylor expansion of -1 in x
2.074 * [taylor]: Taking taylor expansion of eps in x
2.074 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.074 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.074 * [taylor]: Taking taylor expansion of -1 in x
2.074 * [taylor]: Taking taylor expansion of x in x
2.075 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in eps
2.075 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
2.075 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
2.075 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
2.075 * [taylor]: Taking taylor expansion of -1 in eps
2.075 * [taylor]: Taking taylor expansion of x in eps
2.075 * [taylor]: Taking taylor expansion of (sin (/ -1 eps)) in eps
2.075 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps
2.075 * [taylor]: Taking taylor expansion of -1 in eps
2.075 * [taylor]: Taking taylor expansion of eps in eps
2.075 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
2.075 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
2.075 * [taylor]: Taking taylor expansion of -1 in eps
2.075 * [taylor]: Taking taylor expansion of x in eps
2.078 * [taylor]: Taking taylor expansion of 0 in eps
2.088 * [taylor]: Taking taylor expansion of 0 in eps
2.096 * [taylor]: Taking taylor expansion of 0 in eps
2.096 * * * [progress]: simplifying candidates
2.097 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (* (cos x) (cos eps))) (* (exp (* (sin x) (sin eps))) (exp (cos x))))
  (/ (exp (* (cos x) (cos eps))) (exp (+ (* (sin x) (sin eps)) (cos x))))
  (log (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))
  (exp (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))
  (* (cbrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x)))) (cbrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x)))))
  (cbrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))
  (* (* (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))) (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x)))) (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))
  (sqrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))
  (sqrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))
  (- (pow (log (exp (* (cos x) (cos eps)))) 3) (pow (+ (* (sin x) (sin eps)) (cos x)) 3))
  (+ (* (log (exp (* (cos x) (cos eps)))) (log (exp (* (cos x) (cos eps))))) (+ (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) (* (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x)))))
  (- (+ (* (sin x) (sin eps)) (cos x)))
  (- (* (log (exp (* (cos x) (cos eps)))) (log (exp (* (cos x) (cos eps))))) (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x))))
  (+ (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x)))
  (+ (sqrt (log (exp (* (cos x) (cos eps))))) (sqrt (+ (* (sin x) (sin eps)) (cos x))))
  (- (sqrt (log (exp (* (cos x) (cos eps))))) (sqrt (+ (* (sin x) (sin eps)) (cos x))))
  (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x)))
  (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x)))
  (- (log (exp (* (cos x) (cos eps)))) (* (sin x) (sin eps)))
  (- (log (cbrt (exp (* (cos x) (cos eps))))) (+ (* (sin x) (sin eps)) (cos x)))
  (- (log (sqrt (exp (* (cos x) (cos eps))))) (+ (* (sin x) (sin eps)) (cos x)))
  (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x)))
  (- (+ (* (sin x) (sin eps)) (cos x)))
  (log (* (cbrt (exp (* (cos x) (cos eps)))) (cbrt (exp (* (cos x) (cos eps))))))
  (log (cbrt (exp (* (cos x) (cos eps)))))
  (log (sqrt (exp (* (cos x) (cos eps)))))
  (log (sqrt (exp (* (cos x) (cos eps)))))
  (log 1)
  (log (exp (* (cos x) (cos eps))))
  (log (exp (cos x)))
  (log (exp (* (cos x) (cos eps))))
  (log (exp (cos x)))
  (log (log (exp (* (cos x) (cos eps)))))
  (exp (log (exp (* (cos x) (cos eps)))))
  (* (cbrt (log (exp (* (cos x) (cos eps))))) (cbrt (log (exp (* (cos x) (cos eps))))))
  (cbrt (log (exp (* (cos x) (cos eps)))))
  (* (* (log (exp (* (cos x) (cos eps)))) (log (exp (* (cos x) (cos eps))))) (log (exp (* (cos x) (cos eps)))))
  (sqrt (log (exp (* (cos x) (cos eps)))))
  (sqrt (log (exp (* (cos x) (cos eps)))))
  (- (cos (- x eps)) (cos (+ x eps)))
  (* (sin x) (sin eps))
  (+ (log (sin x)) (log (sin eps)))
  (log (* (sin x) (sin eps)))
  (exp (* (sin x) (sin eps)))
  (* (* (* (sin x) (sin x)) (sin x)) (* (* (sin eps) (sin eps)) (sin eps)))
  (* (cbrt (* (sin x) (sin eps))) (cbrt (* (sin x) (sin eps))))
  (cbrt (* (sin x) (sin eps)))
  (* (* (* (sin x) (sin eps)) (* (sin x) (sin eps))) (* (sin x) (sin eps)))
  (sqrt (* (sin x) (sin eps)))
  (sqrt (* (sin x) (sin eps)))
  (* (sqrt (sin x)) (sqrt (sin eps)))
  (* (sqrt (sin x)) (sqrt (sin eps)))
  (* (sin x) (* (cbrt (sin eps)) (cbrt (sin eps))))
  (* (sin x) (sqrt (sin eps)))
  (* (sin x) 1)
  (* (cbrt (sin x)) (sin eps))
  (* (sqrt (sin x)) (sin eps))
  (* (sin x) (sin eps))
  (* (exp (* (sin x) (sin eps))) (exp (cos x)))
  (log (+ (* (sin x) (sin eps)) (cos x)))
  (exp (+ (* (sin x) (sin eps)) (cos x)))
  (* (cbrt (+ (* (sin x) (sin eps)) (cos x))) (cbrt (+ (* (sin x) (sin eps)) (cos x))))
  (cbrt (+ (* (sin x) (sin eps)) (cos x)))
  (* (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) (+ (* (sin x) (sin eps)) (cos x)))
  (sqrt (+ (* (sin x) (sin eps)) (cos x)))
  (sqrt (+ (* (sin x) (sin eps)) (cos x)))
  (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3))
  (+ (* (* (sin x) (sin eps)) (* (sin x) (sin eps))) (- (* (cos x) (cos x)) (* (* (sin x) (sin eps)) (cos x))))
  (- (* (* (sin x) (sin eps)) (* (sin x) (sin eps))) (* (cos x) (cos x)))
  (- (* (sin x) (sin eps)) (cos x))
  (- (* 1/6 (* (pow x 3) eps)) (+ (* x eps) (* 1/2 (pow eps 2))))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (- 1 (+ (* 1/2 (pow x 2)) (* 1/2 (pow eps 2))))
  (* (cos x) (cos eps))
  (* (cos x) (cos eps))
  (* x eps)
  (* (sin x) (sin eps))
  (* (sin x) (sin eps))
  (- (+ (* x eps) 1) (* 1/2 (pow x 2)))
  (+ (* (sin x) (sin eps)) (cos x))
  (+ (* (sin x) (sin eps)) (cos x))
2.101 * * [simplify]: iteration  0 :  279  enodes  (cost  634 )
2.106 * * [simplify]: iteration  1 :  917  enodes  (cost  588 )
2.123 * * [simplify]: iteration  2 :  3215  enodes  (cost  580 )
2.183 * * [simplify]: iteration  3 :  5002  enodes  (cost  580 )
2.186 * [simplify]: Simplified to:
   (exp (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (exp (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (log (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))
  (exp (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (* (cbrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x)))) (cbrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x)))))
  (cbrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))
  (pow (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) 3)
  (sqrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))
  (sqrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))
  (+ (- (pow (+ (* (sin x) (sin eps)) (cos x)) 3)) (pow (* (cos x) (cos eps)) 3))
  (+ (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) (* (cos x) (* (cos eps) (+ (* (sin x) (sin eps)) (* (+ (cos eps) 1) (cos x))))))
  (- (+ (* (sin x) (sin eps)) (cos x)))
  (* (+ (+ (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)) (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))))
  (+ (* (sin x) (sin eps)) (* (+ (cos eps) 1) (cos x)))
  (+ (sqrt (log (exp (* (cos x) (cos eps))))) (sqrt (+ (* (sin x) (sin eps)) (cos x))))
  (- (sqrt (log (exp (* (cos x) (cos eps))))) (sqrt (+ (* (sin x) (sin eps)) (cos x))))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (- (* (cos eps) (cos x)) (* (sin x) (sin eps)))
  (- (log (cbrt (exp (* (cos x) (cos eps))))) (+ (* (sin x) (sin eps)) (cos x)))
  (- (log (sqrt (exp (* (cos x) (cos eps))))) (+ (* (sin x) (sin eps)) (cos x)))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (- (+ (* (sin x) (sin eps)) (cos x)))
  (* 2 (log (cbrt (exp (* (cos x) (cos eps))))))
  (log (cbrt (exp (* (cos x) (cos eps)))))
  (log (sqrt (exp (* (cos x) (cos eps)))))
  (log (sqrt (exp (* (cos x) (cos eps)))))
  0
  (* (cos x) (cos eps))
  (cos x)
  (* (cos x) (cos eps))
  (cos x)
  (+ (log (cos x)) (log (cos eps)))
  (exp (* (cos x) (cos eps)))
  (* (cbrt (log (exp (* (cos x) (cos eps))))) (cbrt (log (exp (* (cos x) (cos eps))))))
  (cbrt (log (exp (* (cos x) (cos eps)))))
  (pow (* (cos x) (cos eps)) 3)
  (sqrt (log (exp (* (cos x) (cos eps)))))
  (sqrt (log (exp (* (cos x) (cos eps)))))
  (- (cos (- x eps)) (cos (+ x eps)))
  (* (sin x) (sin eps))
  (log (* (sin x) (sin eps)))
  (log (* (sin x) (sin eps)))
  (exp (* (sin x) (sin eps)))
  (pow (* (sin x) (sin eps)) 3)
  (* (cbrt (* (sin x) (sin eps))) (cbrt (* (sin x) (sin eps))))
  (cbrt (* (sin x) (sin eps)))
  (pow (* (sin x) (sin eps)) 3)
  (sqrt (* (sin x) (sin eps)))
  (sqrt (* (sin x) (sin eps)))
  (* (sqrt (sin x)) (sqrt (sin eps)))
  (* (sqrt (sin x)) (sqrt (sin eps)))
  (* (sin x) (* (cbrt (sin eps)) (cbrt (sin eps))))
  (* (sin x) (sqrt (sin eps)))
  (sin x)
  (* (cbrt (sin x)) (sin eps))
  (* (sqrt (sin x)) (sin eps))
  (* (sin x) (sin eps))
  (exp (+ (* (sin x) (sin eps)) (cos x)))
  (log (+ (* (sin x) (sin eps)) (cos x)))
  (exp (+ (* (sin x) (sin eps)) (cos x)))
  (* (cbrt (+ (* (sin x) (sin eps)) (cos x))) (cbrt (+ (* (sin x) (sin eps)) (cos x))))
  (cbrt (+ (* (sin x) (sin eps)) (cos x)))
  (pow (+ (* (sin x) (sin eps)) (cos x)) 3)
  (sqrt (+ (* (sin x) (sin eps)) (cos x)))
  (sqrt (+ (* (sin x) (sin eps)) (cos x)))
  (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3))
  (+ (* (cos x) (cos x)) (- (* (* (sin x) (sin eps)) (- (cos x) (* (sin x) (sin eps))))))
  (- (* (* (sin x) (sin eps)) (* (sin x) (sin eps))) (* (cos x) (cos x)))
  (- (* (sin x) (sin eps)) (cos x))
  (* eps (- (- (* 1/6 (pow x 3)) x) (* eps 1/2)))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (- 1 (+ (* 1/2 (pow x 2)) (* 1/2 (pow eps 2))))
  (* (cos x) (cos eps))
  (* (cos x) (cos eps))
  (* x eps)
  (* (sin x) (sin eps))
  (* (sin x) (sin eps))
  (+ (* x (- eps (* x 1/2))) 1)
  (+ (* (sin x) (sin eps)) (cos x))
  (+ (* (sin x) (sin eps)) (cos x))
2.186 * * * [progress]: adding candidates to table
2.407 * [progress]: [Phase 3 of 3] Extracting.
2.407 * * [regime]: Finding splitpoints for: (#<alt (λ (x eps) (exp (log (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (log (exp (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (+ (log (sqrt (exp (* (cos x) (cos eps))))) (- (log (sqrt (exp (* (cos x) (cos eps))))) (+ (* (sin x) (sin eps)) (cos x)))))> #<alt (λ (x eps) (- (* (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (cos eps))) (+ (* (sin x) (sin eps)) (cos x))))> #<alt (λ (x eps) (cbrt (pow (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) 3)))> #<alt (λ (x eps) (- (cbrt (pow (* (cos x) (cos eps)) 3)) (+ (* (sin x) (sin eps)) (cos x))))> #<alt (λ (x eps) (+ (log (* (cbrt (exp (* (cos x) (cos eps)))) (cbrt (exp (* (cos x) (cos eps)))))) (- (log (cbrt (exp (* (cos x) (cos eps))))) (+ (* (sin x) (sin eps)) (cos x)))))> #<alt (λ (x eps) (/ (- (pow (* (cos x) (cos eps)) 3) (pow (+ (* (sin x) (sin eps)) (cos x)) 3)) (+ (* (+ (* (sin x) (sin eps)) (cos x)) (+ (+ (* (sin x) (sin eps)) (cos x)) (* (cos x) (cos eps)))) (* (* (cos x) (cos eps)) (* (cos x) (cos eps))))))> #<alt (λ (x eps) (* eps (- (- (* 1/6 (pow x 3)) x) (* eps 1/2))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (/ (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3)) (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))))))> #<alt (λ (x eps) (* -2 (* (sin (/ (- (+ x eps) x) 2)) (sin (/ (+ (+ x eps) x) 2)))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (* (* (cbrt (+ (* (sin x) (sin eps)) (cos x))) (cbrt (+ (* (sin x) (sin eps)) (cos x)))) (cbrt (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (cbrt (pow (+ (* (sin x) (sin eps)) (cos x)) 3))))> #<alt (λ (x eps) (* (+ (sqrt (log (exp (* (cos x) (cos eps))))) (sqrt (+ (* (sin x) (sin eps)) (cos x)))) (- (sqrt (log (exp (* (cos x) (cos eps))))) (sqrt (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (* (* (cbrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x)))) (cbrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))) (cbrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (- (log (exp (* (cos x) (cos eps)))) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))> #<alt (λ (x eps) (/ (+ (- (pow (+ (* (sin x) (sin eps)) (cos x)) 3)) (pow (* (cos x) (cos eps)) 3)) (+ (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) (* (cos x) (* (cos eps) (+ (* (sin x) (sin eps)) (* (+ (cos eps) 1) (cos x))))))))> #<alt (λ (x eps) (- (* (sqrt (cos x)) (* (sqrt (cos x)) (cos eps))) (+ (* (sin x) (sin eps)) (cos x))))> #<alt (λ (x eps) (* (* (cbrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)))) (cbrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))) (cbrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))))> #<alt (λ (x eps) (/ (- (- (* (+ (cos (+ x eps)) (cos (- x eps))) (+ (pow (* (sin x) (sin eps)) 2) (* (cos x) (- (cos x) (* (sin x) (sin eps)))))) (* 2 (pow (* (sin x) (sin eps)) 3))) (* 2 (pow (cos x) 3))) (* 2 (+ (pow (* (sin x) (sin eps)) 2) (* (cos x) (- (cos x) (* (sin x) (sin eps))))))))> #<alt (λ (x eps) (* (sqrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x)))) (sqrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (/ (- (pow (* (cos x) (cos eps)) 3) (pow (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)) 3)) (+ (* (* (cos x) (cos eps)) (+ (+ (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (/ (- (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))) (+ (* (sin x) (sin eps)) (* (cos x) (+ (cos eps) 1)))))>)
2.419 * * * [regime-changes]: Trying 2 branch expressions: (eps x)
2.419 * * * * [regimes]: Trying to branch on eps from (#<alt (λ (x eps) (exp (log (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (log (exp (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (+ (log (sqrt (exp (* (cos x) (cos eps))))) (- (log (sqrt (exp (* (cos x) (cos eps))))) (+ (* (sin x) (sin eps)) (cos x)))))> #<alt (λ (x eps) (- (* (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (cos eps))) (+ (* (sin x) (sin eps)) (cos x))))> #<alt (λ (x eps) (cbrt (pow (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) 3)))> #<alt (λ (x eps) (- (cbrt (pow (* (cos x) (cos eps)) 3)) (+ (* (sin x) (sin eps)) (cos x))))> #<alt (λ (x eps) (+ (log (* (cbrt (exp (* (cos x) (cos eps)))) (cbrt (exp (* (cos x) (cos eps)))))) (- (log (cbrt (exp (* (cos x) (cos eps))))) (+ (* (sin x) (sin eps)) (cos x)))))> #<alt (λ (x eps) (/ (- (pow (* (cos x) (cos eps)) 3) (pow (+ (* (sin x) (sin eps)) (cos x)) 3)) (+ (* (+ (* (sin x) (sin eps)) (cos x)) (+ (+ (* (sin x) (sin eps)) (cos x)) (* (cos x) (cos eps)))) (* (* (cos x) (cos eps)) (* (cos x) (cos eps))))))> #<alt (λ (x eps) (* eps (- (- (* 1/6 (pow x 3)) x) (* eps 1/2))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (/ (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3)) (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))))))> #<alt (λ (x eps) (* -2 (* (sin (/ (- (+ x eps) x) 2)) (sin (/ (+ (+ x eps) x) 2)))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (* (* (cbrt (+ (* (sin x) (sin eps)) (cos x))) (cbrt (+ (* (sin x) (sin eps)) (cos x)))) (cbrt (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (cbrt (pow (+ (* (sin x) (sin eps)) (cos x)) 3))))> #<alt (λ (x eps) (* (+ (sqrt (log (exp (* (cos x) (cos eps))))) (sqrt (+ (* (sin x) (sin eps)) (cos x)))) (- (sqrt (log (exp (* (cos x) (cos eps))))) (sqrt (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (* (* (cbrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x)))) (cbrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))) (cbrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (- (log (exp (* (cos x) (cos eps)))) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))> #<alt (λ (x eps) (/ (+ (- (pow (+ (* (sin x) (sin eps)) (cos x)) 3)) (pow (* (cos x) (cos eps)) 3)) (+ (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) (* (cos x) (* (cos eps) (+ (* (sin x) (sin eps)) (* (+ (cos eps) 1) (cos x))))))))> #<alt (λ (x eps) (- (* (sqrt (cos x)) (* (sqrt (cos x)) (cos eps))) (+ (* (sin x) (sin eps)) (cos x))))> #<alt (λ (x eps) (* (* (cbrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)))) (cbrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))) (cbrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))))> #<alt (λ (x eps) (/ (- (- (* (+ (cos (+ x eps)) (cos (- x eps))) (+ (pow (* (sin x) (sin eps)) 2) (* (cos x) (- (cos x) (* (sin x) (sin eps)))))) (* 2 (pow (* (sin x) (sin eps)) 3))) (* 2 (pow (cos x) 3))) (* 2 (+ (pow (* (sin x) (sin eps)) 2) (* (cos x) (- (cos x) (* (sin x) (sin eps))))))))> #<alt (λ (x eps) (* (sqrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x)))) (sqrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (/ (- (pow (* (cos x) (cos eps)) 3) (pow (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)) 3)) (+ (* (* (cos x) (cos eps)) (+ (+ (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (/ (- (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))) (+ (* (sin x) (sin eps)) (* (cos x) (+ (cos eps) 1)))))>)
2.543 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x eps) (exp (log (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (log (exp (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (+ (log (sqrt (exp (* (cos x) (cos eps))))) (- (log (sqrt (exp (* (cos x) (cos eps))))) (+ (* (sin x) (sin eps)) (cos x)))))> #<alt (λ (x eps) (- (* (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (cos eps))) (+ (* (sin x) (sin eps)) (cos x))))> #<alt (λ (x eps) (cbrt (pow (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) 3)))> #<alt (λ (x eps) (- (cbrt (pow (* (cos x) (cos eps)) 3)) (+ (* (sin x) (sin eps)) (cos x))))> #<alt (λ (x eps) (+ (log (* (cbrt (exp (* (cos x) (cos eps)))) (cbrt (exp (* (cos x) (cos eps)))))) (- (log (cbrt (exp (* (cos x) (cos eps))))) (+ (* (sin x) (sin eps)) (cos x)))))> #<alt (λ (x eps) (/ (- (pow (* (cos x) (cos eps)) 3) (pow (+ (* (sin x) (sin eps)) (cos x)) 3)) (+ (* (+ (* (sin x) (sin eps)) (cos x)) (+ (+ (* (sin x) (sin eps)) (cos x)) (* (cos x) (cos eps)))) (* (* (cos x) (cos eps)) (* (cos x) (cos eps))))))> #<alt (λ (x eps) (* eps (- (- (* 1/6 (pow x 3)) x) (* eps 1/2))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (/ (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3)) (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))))))> #<alt (λ (x eps) (* -2 (* (sin (/ (- (+ x eps) x) 2)) (sin (/ (+ (+ x eps) x) 2)))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (* (* (cbrt (+ (* (sin x) (sin eps)) (cos x))) (cbrt (+ (* (sin x) (sin eps)) (cos x)))) (cbrt (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (cbrt (pow (+ (* (sin x) (sin eps)) (cos x)) 3))))> #<alt (λ (x eps) (* (+ (sqrt (log (exp (* (cos x) (cos eps))))) (sqrt (+ (* (sin x) (sin eps)) (cos x)))) (- (sqrt (log (exp (* (cos x) (cos eps))))) (sqrt (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (* (* (cbrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x)))) (cbrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))) (cbrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (- (log (exp (* (cos x) (cos eps)))) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))> #<alt (λ (x eps) (/ (+ (- (pow (+ (* (sin x) (sin eps)) (cos x)) 3)) (pow (* (cos x) (cos eps)) 3)) (+ (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) (* (cos x) (* (cos eps) (+ (* (sin x) (sin eps)) (* (+ (cos eps) 1) (cos x))))))))> #<alt (λ (x eps) (- (* (sqrt (cos x)) (* (sqrt (cos x)) (cos eps))) (+ (* (sin x) (sin eps)) (cos x))))> #<alt (λ (x eps) (* (* (cbrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)))) (cbrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))) (cbrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))))> #<alt (λ (x eps) (/ (- (- (* (+ (cos (+ x eps)) (cos (- x eps))) (+ (pow (* (sin x) (sin eps)) 2) (* (cos x) (- (cos x) (* (sin x) (sin eps)))))) (* 2 (pow (* (sin x) (sin eps)) 3))) (* 2 (pow (cos x) 3))) (* 2 (+ (pow (* (sin x) (sin eps)) 2) (* (cos x) (- (cos x) (* (sin x) (sin eps))))))))> #<alt (λ (x eps) (* (sqrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x)))) (sqrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (/ (- (pow (* (cos x) (cos eps)) 3) (pow (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)) 3)) (+ (* (* (cos x) (cos eps)) (+ (+ (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (/ (- (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))) (+ (* (sin x) (sin eps)) (* (cos x) (+ (cos eps) 1)))))>)
2.665 * * * [regime]: Found split indices: #<option (#s(si 9 68) #s(si 8 191) #s(si 15 255))>
2.666 * [binary-search]: Improving bounds with binary search for eps and (#<alt (λ (x eps) (exp (log (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (log (exp (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (+ (log (sqrt (exp (* (cos x) (cos eps))))) (- (log (sqrt (exp (* (cos x) (cos eps))))) (+ (* (sin x) (sin eps)) (cos x)))))> #<alt (λ (x eps) (- (* (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (cos eps))) (+ (* (sin x) (sin eps)) (cos x))))> #<alt (λ (x eps) (cbrt (pow (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) 3)))> #<alt (λ (x eps) (- (cbrt (pow (* (cos x) (cos eps)) 3)) (+ (* (sin x) (sin eps)) (cos x))))> #<alt (λ (x eps) (+ (log (* (cbrt (exp (* (cos x) (cos eps)))) (cbrt (exp (* (cos x) (cos eps)))))) (- (log (cbrt (exp (* (cos x) (cos eps))))) (+ (* (sin x) (sin eps)) (cos x)))))> #<alt (λ (x eps) (/ (- (pow (* (cos x) (cos eps)) 3) (pow (+ (* (sin x) (sin eps)) (cos x)) 3)) (+ (* (+ (* (sin x) (sin eps)) (cos x)) (+ (+ (* (sin x) (sin eps)) (cos x)) (* (cos x) (cos eps)))) (* (* (cos x) (cos eps)) (* (cos x) (cos eps))))))> #<alt (λ (x eps) (* eps (- (- (* 1/6 (pow x 3)) x) (* eps 1/2))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (/ (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3)) (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))))))> #<alt (λ (x eps) (* -2 (* (sin (/ (- (+ x eps) x) 2)) (sin (/ (+ (+ x eps) x) 2)))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (* (* (cbrt (+ (* (sin x) (sin eps)) (cos x))) (cbrt (+ (* (sin x) (sin eps)) (cos x)))) (cbrt (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (cbrt (pow (+ (* (sin x) (sin eps)) (cos x)) 3))))> #<alt (λ (x eps) (* (+ (sqrt (log (exp (* (cos x) (cos eps))))) (sqrt (+ (* (sin x) (sin eps)) (cos x)))) (- (sqrt (log (exp (* (cos x) (cos eps))))) (sqrt (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (* (* (cbrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x)))) (cbrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))) (cbrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (- (log (exp (* (cos x) (cos eps)))) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))> #<alt (λ (x eps) (/ (+ (- (pow (+ (* (sin x) (sin eps)) (cos x)) 3)) (pow (* (cos x) (cos eps)) 3)) (+ (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) (* (cos x) (* (cos eps) (+ (* (sin x) (sin eps)) (* (+ (cos eps) 1) (cos x))))))))> #<alt (λ (x eps) (- (* (sqrt (cos x)) (* (sqrt (cos x)) (cos eps))) (+ (* (sin x) (sin eps)) (cos x))))> #<alt (λ (x eps) (* (* (cbrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)))) (cbrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))) (cbrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))))> #<alt (λ (x eps) (/ (- (- (* (+ (cos (+ x eps)) (cos (- x eps))) (+ (pow (* (sin x) (sin eps)) 2) (* (cos x) (- (cos x) (* (sin x) (sin eps)))))) (* 2 (pow (* (sin x) (sin eps)) 3))) (* 2 (pow (cos x) 3))) (* 2 (+ (pow (* (sin x) (sin eps)) 2) (* (cos x) (- (cos x) (* (sin x) (sin eps))))))))> #<alt (λ (x eps) (* (sqrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x)))) (sqrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (/ (- (pow (* (cos x) (cos eps)) 3) (pow (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)) 3)) (+ (* (* (cos x) (cos eps)) (+ (+ (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (/ (- (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))) (+ (* (sin x) (sin eps)) (* (cos x) (+ (cos eps) 1)))))>)
2.778 * [regimes]: Found splitpoints: (#s(sp 9 eps -2.1193854390859995e-28) #s(sp 8 eps 4.563413776044954e-06) #s(sp 15 eps +nan.0)) , with alts (#<alt (λ (x eps) (exp (log (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (log (exp (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (+ (log (sqrt (exp (* (cos x) (cos eps))))) (- (log (sqrt (exp (* (cos x) (cos eps))))) (+ (* (sin x) (sin eps)) (cos x)))))> #<alt (λ (x eps) (- (* (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (cos eps))) (+ (* (sin x) (sin eps)) (cos x))))> #<alt (λ (x eps) (cbrt (pow (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) 3)))> #<alt (λ (x eps) (- (cbrt (pow (* (cos x) (cos eps)) 3)) (+ (* (sin x) (sin eps)) (cos x))))> #<alt (λ (x eps) (+ (log (* (cbrt (exp (* (cos x) (cos eps)))) (cbrt (exp (* (cos x) (cos eps)))))) (- (log (cbrt (exp (* (cos x) (cos eps))))) (+ (* (sin x) (sin eps)) (cos x)))))> #<alt (λ (x eps) (/ (- (pow (* (cos x) (cos eps)) 3) (pow (+ (* (sin x) (sin eps)) (cos x)) 3)) (+ (* (+ (* (sin x) (sin eps)) (cos x)) (+ (+ (* (sin x) (sin eps)) (cos x)) (* (cos x) (cos eps)))) (* (* (cos x) (cos eps)) (* (cos x) (cos eps))))))> #<alt (λ (x eps) (* eps (- (- (* 1/6 (pow x 3)) x) (* eps 1/2))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (/ (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3)) (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))))))> #<alt (λ (x eps) (* -2 (* (sin (/ (- (+ x eps) x) 2)) (sin (/ (+ (+ x eps) x) 2)))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (* (* (cbrt (+ (* (sin x) (sin eps)) (cos x))) (cbrt (+ (* (sin x) (sin eps)) (cos x)))) (cbrt (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (cbrt (pow (+ (* (sin x) (sin eps)) (cos x)) 3))))> #<alt (λ (x eps) (* (+ (sqrt (log (exp (* (cos x) (cos eps))))) (sqrt (+ (* (sin x) (sin eps)) (cos x)))) (- (sqrt (log (exp (* (cos x) (cos eps))))) (sqrt (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (* (* (cbrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x)))) (cbrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))) (cbrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (- (log (exp (* (cos x) (cos eps)))) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))> #<alt (λ (x eps) (/ (+ (- (pow (+ (* (sin x) (sin eps)) (cos x)) 3)) (pow (* (cos x) (cos eps)) 3)) (+ (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) (* (cos x) (* (cos eps) (+ (* (sin x) (sin eps)) (* (+ (cos eps) 1) (cos x))))))))> #<alt (λ (x eps) (- (* (sqrt (cos x)) (* (sqrt (cos x)) (cos eps))) (+ (* (sin x) (sin eps)) (cos x))))> #<alt (λ (x eps) (* (* (cbrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)))) (cbrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))) (cbrt (- (* (cos x) (cos eps)) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x))))))> #<alt (λ (x eps) (/ (- (- (* (+ (cos (+ x eps)) (cos (- x eps))) (+ (pow (* (sin x) (sin eps)) 2) (* (cos x) (- (cos x) (* (sin x) (sin eps)))))) (* 2 (pow (* (sin x) (sin eps)) 3))) (* 2 (pow (cos x) 3))) (* 2 (+ (pow (* (sin x) (sin eps)) 2) (* (cos x) (- (cos x) (* (sin x) (sin eps))))))))> #<alt (λ (x eps) (* (sqrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x)))) (sqrt (- (log (exp (* (cos x) (cos eps)))) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (/ (- (pow (* (cos x) (cos eps)) 3) (pow (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)) 3)) (+ (* (* (cos x) (cos eps)) (+ (+ (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (/ (- (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))) (+ (* (sin x) (sin eps)) (* (cos x) (+ (cos eps) 1)))))>)
2.778 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= eps -2.1193854390859995e-28) (- (* (cos x) (cos eps)) (/ (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3)) (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))))) (if (<= eps 4.563413776044954e-06) (* eps (- (- (* 1/6 (pow x 3)) x) (* eps 1/2))) (- (log (exp (* (cos x) (cos eps)))) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)))))
2.779 * * [simplify]: iteration  0 :  46  enodes  (cost  46 )
2.779 * * [simplify]: iteration  1 :  46  enodes  (cost  46 )
2.780 * [simplify]: Simplified to:
   (if (<= eps -2.1193854390859995e-28) (- (* (cos x) (cos eps)) (/ (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3)) (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))))) (if (<= eps 4.563413776044954e-06) (* eps (- (- (* 1/6 (pow x 3)) x) (* eps 1/2))) (- (log (exp (* (cos x) (cos eps)))) (+ (cbrt (pow (* (sin x) (sin eps)) 3)) (cos x)))))
7.365 * [regime-testing]: Baseline error score: 24.647389102651832
7.365 * [regime-testing]: Oracle error score: 14.109711399777805
7.367 * [regime-testing]: End program error score: 16.15366712709326