10.010 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.093 * * * [progress]: [2/2] Setting up program.
0.098 * [progress]: [Phase 2 of 3] Improving.
0.098 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
0.112 * * [simplify]: iteration  0 :  72  enodes  (cost  11 )
0.112 * * [simplify]: iteration  1 :  72  enodes  (cost  11 )
0.112 * [simplify]: Simplified to:
   (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
0.113 * * [progress]: iteration 1 / 4
0.113 * * * [progress]: picking best candidate
0.123 * * * * [pick]: Picked  #<alt (λ (x eps) (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)))>
0.123 * * * [progress]: localizing error
0.134 * * * [progress]: generating rewritten candidates
0.135 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.139 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.146 * * * [progress]: generating series expansions
0.146 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.146 * [approximate]: Taking taylor expansion of (cos (+ x eps)) in (x eps) around 0
0.146 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in eps
0.146 * [taylor]: Taking taylor expansion of (+ x eps) in eps
0.146 * [taylor]: Taking taylor expansion of x in eps
0.146 * [taylor]: Taking taylor expansion of eps in eps
0.146 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in x
0.146 * [taylor]: Taking taylor expansion of (+ x eps) in x
0.146 * [taylor]: Taking taylor expansion of x in x
0.146 * [taylor]: Taking taylor expansion of eps in x
0.146 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in x
0.146 * [taylor]: Taking taylor expansion of (+ x eps) in x
0.146 * [taylor]: Taking taylor expansion of x in x
0.147 * [taylor]: Taking taylor expansion of eps in x
0.148 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.148 * [taylor]: Taking taylor expansion of eps in eps
0.149 * [taylor]: Taking taylor expansion of (neg (sin eps)) in eps
0.149 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.149 * [taylor]: Taking taylor expansion of eps in eps
0.151 * [taylor]: Taking taylor expansion of (neg (* 1/2 (cos eps))) in eps
0.151 * [taylor]: Taking taylor expansion of (* 1/2 (cos eps)) in eps
0.151 * [taylor]: Taking taylor expansion of 1/2 in eps
0.151 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.151 * [taylor]: Taking taylor expansion of eps in eps
0.153 * [approximate]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in (x eps) around 0
0.153 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in eps
0.153 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.153 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.153 * [taylor]: Taking taylor expansion of eps in eps
0.153 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.153 * [taylor]: Taking taylor expansion of x in eps
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.154 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.154 * [taylor]: Taking taylor expansion of x in x
0.154 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in x
0.154 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.154 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.154 * [taylor]: Taking taylor expansion of eps in x
0.154 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.154 * [taylor]: Taking taylor expansion of x in x
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) 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.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.156 * [approximate]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in (x eps) around 0
0.156 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in eps
0.156 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in eps
0.156 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.156 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.156 * [taylor]: Taking taylor expansion of eps in eps
0.157 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.157 * [taylor]: Taking taylor expansion of x in eps
0.157 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in x
0.157 * [taylor]: Taking taylor expansion of (neg (+ (/ 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 (neg (+ (/ 1 eps) (/ 1 x)))) in x
0.158 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in x
0.158 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.158 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.158 * [taylor]: Taking taylor expansion of eps in x
0.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.158 * [taylor]: Taking taylor expansion of x in x
0.159 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in eps
0.159 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in eps
0.159 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.159 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.159 * [taylor]: Taking taylor expansion of eps in eps
0.159 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.159 * [taylor]: Taking taylor expansion of x in eps
0.160 * [taylor]: Taking taylor expansion of 0 in eps
0.160 * [taylor]: Taking taylor expansion of 0 in eps
0.160 * [taylor]: Taking taylor expansion of 0 in eps
0.160 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.161 * [approximate]: Taking taylor expansion of (- (cos (+ x eps)) (cos x)) in (x eps) around 0
0.161 * [taylor]: Taking taylor expansion of (- (cos (+ x eps)) (cos x)) in eps
0.161 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in eps
0.161 * [taylor]: Taking taylor expansion of (+ x eps) in eps
0.161 * [taylor]: Taking taylor expansion of x in eps
0.161 * [taylor]: Taking taylor expansion of eps in eps
0.161 * [taylor]: Taking taylor expansion of (cos x) in eps
0.161 * [taylor]: Taking taylor expansion of x in eps
0.161 * [taylor]: Taking taylor expansion of (- (cos (+ x eps)) (cos x)) in x
0.161 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in x
0.161 * [taylor]: Taking taylor expansion of (+ x eps) in x
0.161 * [taylor]: Taking taylor expansion of x in x
0.161 * [taylor]: Taking taylor expansion of eps in x
0.161 * [taylor]: Taking taylor expansion of (cos x) in x
0.161 * [taylor]: Taking taylor expansion of x in x
0.161 * [taylor]: Taking taylor expansion of (- (cos (+ x eps)) (cos x)) in x
0.161 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in x
0.162 * [taylor]: Taking taylor expansion of (+ x eps) in x
0.162 * [taylor]: Taking taylor expansion of x in x
0.162 * [taylor]: Taking taylor expansion of eps in x
0.162 * [taylor]: Taking taylor expansion of (cos x) in x
0.162 * [taylor]: Taking taylor expansion of x in x
0.162 * [taylor]: Taking taylor expansion of (- (cos eps) 1) in eps
0.162 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.162 * [taylor]: Taking taylor expansion of eps in eps
0.162 * [taylor]: Taking taylor expansion of 1 in eps
0.164 * [taylor]: Taking taylor expansion of (neg (sin eps)) in eps
0.164 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.164 * [taylor]: Taking taylor expansion of eps in eps
0.166 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/2 (cos eps))) in eps
0.166 * [taylor]: Taking taylor expansion of 1/2 in eps
0.166 * [taylor]: Taking taylor expansion of (* 1/2 (cos eps)) in eps
0.166 * [taylor]: Taking taylor expansion of 1/2 in eps
0.166 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.166 * [taylor]: Taking taylor expansion of eps in eps
0.170 * [taylor]: Taking taylor expansion of (* 1/6 (sin eps)) in eps
0.170 * [taylor]: Taking taylor expansion of 1/6 in eps
0.170 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.170 * [taylor]: Taking taylor expansion of eps in eps
0.174 * [taylor]: Taking taylor expansion of (- (* 1/24 (cos eps)) 1/24) in eps
0.174 * [taylor]: Taking taylor expansion of (* 1/24 (cos eps)) in eps
0.174 * [taylor]: Taking taylor expansion of 1/24 in eps
0.174 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.174 * [taylor]: Taking taylor expansion of eps in eps
0.174 * [taylor]: Taking taylor expansion of 1/24 in eps
0.177 * [approximate]: Taking taylor expansion of (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in (x eps) around 0
0.177 * [taylor]: Taking taylor expansion of (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in eps
0.177 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in eps
0.177 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.177 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.177 * [taylor]: Taking taylor expansion of eps in eps
0.177 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.177 * [taylor]: Taking taylor expansion of x in eps
0.178 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
0.178 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.178 * [taylor]: Taking taylor expansion of x in eps
0.178 * [taylor]: Taking taylor expansion of (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in x
0.178 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in x
0.178 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.178 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.178 * [taylor]: Taking taylor expansion of eps in x
0.178 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.178 * [taylor]: Taking taylor expansion of x in x
0.178 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.178 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.178 * [taylor]: Taking taylor expansion of x in x
0.179 * [taylor]: Taking taylor expansion of (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in x
0.179 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in x
0.179 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.179 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.179 * [taylor]: Taking taylor expansion of eps in x
0.179 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.179 * [taylor]: Taking taylor expansion of x in x
0.179 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.179 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.179 * [taylor]: Taking taylor expansion of x in x
0.180 * [taylor]: Taking taylor expansion of (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in eps
0.180 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in eps
0.180 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.180 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.180 * [taylor]: Taking taylor expansion of eps in eps
0.180 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.180 * [taylor]: Taking taylor expansion of x in eps
0.181 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps
0.181 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.181 * [taylor]: Taking taylor expansion of x in eps
0.183 * [taylor]: Taking taylor expansion of 0 in eps
0.184 * [taylor]: Taking taylor expansion of 0 in eps
0.186 * [taylor]: Taking taylor expansion of 0 in eps
0.188 * [approximate]: Taking taylor expansion of (- (cos (neg (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in (x eps) around 0
0.188 * [taylor]: Taking taylor expansion of (- (cos (neg (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in eps
0.188 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in eps
0.188 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in eps
0.188 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.188 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.188 * [taylor]: Taking taylor expansion of eps in eps
0.188 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.188 * [taylor]: Taking taylor expansion of x in eps
0.189 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
0.189 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.189 * [taylor]: Taking taylor expansion of -1 in eps
0.189 * [taylor]: Taking taylor expansion of x in eps
0.189 * [taylor]: Taking taylor expansion of (- (cos (neg (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in x
0.189 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in x
0.189 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in x
0.189 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.189 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.189 * [taylor]: Taking taylor expansion of eps in x
0.189 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.189 * [taylor]: Taking taylor expansion of x in x
0.190 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.190 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.190 * [taylor]: Taking taylor expansion of -1 in x
0.190 * [taylor]: Taking taylor expansion of x in x
0.190 * [taylor]: Taking taylor expansion of (- (cos (neg (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in x
0.190 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in x
0.190 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in x
0.190 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.190 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.190 * [taylor]: Taking taylor expansion of eps in x
0.190 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.190 * [taylor]: Taking taylor expansion of x in x
0.191 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.191 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.191 * [taylor]: Taking taylor expansion of -1 in x
0.191 * [taylor]: Taking taylor expansion of x in x
0.192 * [taylor]: Taking taylor expansion of (- (cos (neg (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in eps
0.192 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in eps
0.192 * [taylor]: Taking taylor expansion of (neg (+ (/ 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.192 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps
0.192 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.192 * [taylor]: Taking taylor expansion of -1 in eps
0.192 * [taylor]: Taking taylor expansion of x in eps
0.195 * [taylor]: Taking taylor expansion of 0 in eps
0.196 * [taylor]: Taking taylor expansion of 0 in eps
0.198 * [taylor]: Taking taylor expansion of 0 in eps
0.199 * * * [progress]: simplifying candidates
0.200 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (sqrt.f64 (cos.f64 (+.f64 x eps)))
  (sqrt.f64 (cos.f64 (+.f64 x eps)))
  (*.f64 (*.f64 (cos.f64 (+.f64 x eps)) (cos.f64 (+.f64 x eps))) (cos.f64 (+.f64 x eps)))
  (*.f64 (cbrt.f64 (cos.f64 (+.f64 x eps))) (cbrt.f64 (cos.f64 (+.f64 x eps))))
  (cbrt.f64 (cos.f64 (+.f64 x eps)))
  (exp.f64 (cos.f64 (+.f64 x eps)))
  (log.f64 (cos.f64 (+.f64 x eps)))
  (*.f64 (cos.f64 x) (cos.f64 eps))
  (*.f64 (sin.f64 x) (sin.f64 eps))
  (+.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (cos.f64 x))
  (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
  (+.f64 (sqrt.f64 (cos.f64 (+.f64 x eps))) (sqrt.f64 (cos.f64 x)))
  (-.f64 (sqrt.f64 (cos.f64 (+.f64 x eps))) (sqrt.f64 (cos.f64 x)))
  (-.f64 (*.f64 (cos.f64 (+.f64 x eps)) (cos.f64 (+.f64 x eps))) (*.f64 (cos.f64 x) (cos.f64 x)))
  (+.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
  (neg.f64 (cos.f64 x))
  (-.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 3) (pow.f64 (cos.f64 x) 3))
  (+.f64 (*.f64 (cos.f64 (+.f64 x eps)) (cos.f64 (+.f64 x eps))) (+.f64 (*.f64 (cos.f64 x) (cos.f64 x)) (*.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))
  (sqrt.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)))
  (sqrt.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)))
  (*.f64 (*.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)) (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))) (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)))
  (*.f64 (cbrt.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))) (cbrt.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))
  (cbrt.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)))
  (exp.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)))
  (log.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)))
  (/.f64 (exp.f64 (cos.f64 (+.f64 x eps))) (exp.f64 (cos.f64 x)))
  (*.f64 (sin.f64 (/.f64 (-.f64 (+.f64 x eps) x) 2)) (sin.f64 (/.f64 (+.f64 (+.f64 x eps) x) 2)))
  (-.f64 1 (+.f64 (*.f64 x eps) (*.f64 1/2 (pow.f64 x 2))))
  (cos.f64 (+.f64 x eps))
  (cos.f64 (+.f64 x eps))
  (-.f64 (*.f64 1/6 (*.f64 (pow.f64 x 3) eps)) (+.f64 (*.f64 x eps) (*.f64 1/2 (pow.f64 eps 2))))
  (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
  (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
0.241 * * [simplify]: iteration  0 :  5087  enodes  (cost  429 )
0.244 * [simplify]: Simplified to:
   (sqrt.f64 (cos.f64 (+.f64 x eps)))
  (sqrt.f64 (cos.f64 (+.f64 x eps)))
  (pow.f64 (cos.f64 (+.f64 x eps)) 3)
  (*.f64 (cbrt.f64 (cos.f64 (+.f64 x eps))) (cbrt.f64 (cos.f64 (+.f64 x eps))))
  (cbrt.f64 (cos.f64 (+.f64 x eps)))
  (exp.f64 (cos.f64 (+.f64 x eps)))
  (log.f64 (cos.f64 (+.f64 x eps)))
  (*.f64 (cos.f64 x) (cos.f64 eps))
  (*.f64 (sin.f64 x) (sin.f64 eps))
  (+.f64 (cos.f64 x) (*.f64 (sin.f64 x) (sin.f64 eps)))
  (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
  (+.f64 (sqrt.f64 (cos.f64 (+.f64 x eps))) (sqrt.f64 (cos.f64 x)))
  (-.f64 (sqrt.f64 (cos.f64 (+.f64 x eps))) (sqrt.f64 (cos.f64 x)))
  (-.f64 (*.f64 (cos.f64 (+.f64 x eps)) (cos.f64 (+.f64 x eps))) (*.f64 (cos.f64 x) (cos.f64 x)))
  (+.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
  (neg.f64 (cos.f64 x))
  (-.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 3) (pow.f64 (cos.f64 x) 3))
  (+.f64 (*.f64 (cos.f64 x) (cos.f64 x)) (*.f64 (cos.f64 (+.f64 x eps)) (+.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))
  (sqrt.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)))
  (sqrt.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)))
  (pow.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)) 3)
  (*.f64 (cbrt.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))) (cbrt.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))
  (cbrt.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)))
  (exp.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)))
  (log.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)))
  (exp.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)))
  (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (-.f64 1 (*.f64 x (+.f64 eps (*.f64 x 1/2))))
  (cos.f64 (+.f64 x eps))
  (cos.f64 (+.f64 x eps))
  (*.f64 eps (-.f64 (*.f64 1/6 (pow.f64 x 3)) (+.f64 x (*.f64 eps 1/2))))
  (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
  (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
0.244 * * * [progress]: adding candidates to table
0.349 * * [progress]: iteration 2 / 4
0.349 * * * [progress]: picking best candidate
0.402 * * * * [pick]: Picked  #<alt (λ (x eps) (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))))>
0.402 * * * [progress]: localizing error
0.421 * * * [progress]: generating rewritten candidates
0.421 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.428 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.441 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.459 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1)
0.466 * * * [progress]: generating series expansions
0.466 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.467 * [approximate]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in (x eps) around 0
0.467 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in eps
0.467 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
0.467 * [taylor]: Taking taylor expansion of 1/2 in eps
0.467 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
0.467 * [taylor]: Taking taylor expansion of (* 2 x) in eps
0.467 * [taylor]: Taking taylor expansion of 2 in eps
0.467 * [taylor]: Taking taylor expansion of x in eps
0.467 * [taylor]: Taking taylor expansion of eps in eps
0.467 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in x
0.468 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
0.468 * [taylor]: Taking taylor expansion of 1/2 in x
0.468 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.468 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.468 * [taylor]: Taking taylor expansion of 2 in x
0.468 * [taylor]: Taking taylor expansion of x in x
0.468 * [taylor]: Taking taylor expansion of eps in x
0.468 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in x
0.468 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
0.468 * [taylor]: Taking taylor expansion of 1/2 in x
0.468 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.468 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.468 * [taylor]: Taking taylor expansion of 2 in x
0.468 * [taylor]: Taking taylor expansion of x in x
0.468 * [taylor]: Taking taylor expansion of eps in x
0.469 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.469 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.470 * [taylor]: Taking taylor expansion of 1/2 in eps
0.470 * [taylor]: Taking taylor expansion of eps in eps
0.471 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.471 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.471 * [taylor]: Taking taylor expansion of 1/2 in eps
0.471 * [taylor]: Taking taylor expansion of eps in eps
0.474 * [taylor]: Taking taylor expansion of (neg (* 1/2 (sin (* 1/2 eps)))) in eps
0.474 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/2 eps))) in eps
0.474 * [taylor]: Taking taylor expansion of 1/2 in eps
0.474 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.474 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.474 * [taylor]: Taking taylor expansion of 1/2 in eps
0.474 * [taylor]: Taking taylor expansion of eps in eps
0.477 * [taylor]: Taking taylor expansion of (neg (* 1/6 (cos (* 1/2 eps)))) in eps
0.477 * [taylor]: Taking taylor expansion of (* 1/6 (cos (* 1/2 eps))) in eps
0.477 * [taylor]: Taking taylor expansion of 1/6 in eps
0.477 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
0.477 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.477 * [taylor]: Taking taylor expansion of 1/2 in eps
0.477 * [taylor]: Taking taylor expansion of eps in eps
0.479 * [approximate]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
0.479 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.479 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.479 * [taylor]: Taking taylor expansion of 1/2 in eps
0.479 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.479 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.479 * [taylor]: Taking taylor expansion of eps in eps
0.479 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.479 * [taylor]: Taking taylor expansion of 2 in eps
0.479 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.480 * [taylor]: Taking taylor expansion of x in eps
0.480 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.480 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.480 * [taylor]: Taking taylor expansion of 1/2 in x
0.480 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.480 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.480 * [taylor]: Taking taylor expansion of eps in x
0.480 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.480 * [taylor]: Taking taylor expansion of 2 in x
0.480 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.480 * [taylor]: Taking taylor expansion of x in x
0.481 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.481 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.481 * [taylor]: Taking taylor expansion of 1/2 in x
0.481 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.481 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.481 * [taylor]: Taking taylor expansion of eps in x
0.481 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.481 * [taylor]: Taking taylor expansion of 2 in x
0.481 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.481 * [taylor]: Taking taylor expansion of x in x
0.482 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.482 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.482 * [taylor]: Taking taylor expansion of 1/2 in eps
0.482 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.482 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.482 * [taylor]: Taking taylor expansion of eps in eps
0.482 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.482 * [taylor]: Taking taylor expansion of 2 in eps
0.482 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.482 * [taylor]: Taking taylor expansion of x in eps
0.483 * [taylor]: Taking taylor expansion of 0 in eps
0.483 * [taylor]: Taking taylor expansion of 0 in eps
0.483 * [taylor]: Taking taylor expansion of 0 in eps
0.484 * [approximate]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
0.484 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.484 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.484 * [taylor]: Taking taylor expansion of -1/2 in eps
0.484 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.484 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.484 * [taylor]: Taking taylor expansion of eps in eps
0.485 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.485 * [taylor]: Taking taylor expansion of 2 in eps
0.485 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.485 * [taylor]: Taking taylor expansion of x in eps
0.485 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.485 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.485 * [taylor]: Taking taylor expansion of -1/2 in x
0.485 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.485 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.485 * [taylor]: Taking taylor expansion of eps in x
0.485 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.485 * [taylor]: Taking taylor expansion of 2 in x
0.485 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.485 * [taylor]: Taking taylor expansion of x in x
0.486 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.486 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.486 * [taylor]: Taking taylor expansion of -1/2 in x
0.486 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.486 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.486 * [taylor]: Taking taylor expansion of eps in x
0.486 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.486 * [taylor]: Taking taylor expansion of 2 in x
0.486 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.486 * [taylor]: Taking taylor expansion of x in x
0.487 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.487 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.487 * [taylor]: Taking taylor expansion of -1/2 in eps
0.487 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.487 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.487 * [taylor]: Taking taylor expansion of eps in eps
0.487 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.487 * [taylor]: Taking taylor expansion of 2 in eps
0.487 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.487 * [taylor]: Taking taylor expansion of x in eps
0.488 * [taylor]: Taking taylor expansion of 0 in eps
0.488 * [taylor]: Taking taylor expansion of 0 in eps
0.488 * [taylor]: Taking taylor expansion of 0 in eps
0.489 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
0.489 * [approximate]: Taking taylor expansion of (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) in (eps x) around 0
0.490 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) in x
0.490 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in x
0.490 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
0.490 * [taylor]: Taking taylor expansion of 1/2 in x
0.490 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.490 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.490 * [taylor]: Taking taylor expansion of 2 in x
0.490 * [taylor]: Taking taylor expansion of x in x
0.490 * [taylor]: Taking taylor expansion of eps in x
0.490 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x
0.490 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
0.490 * [taylor]: Taking taylor expansion of 1/2 in x
0.490 * [taylor]: Taking taylor expansion of eps in x
0.490 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) in eps
0.490 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in eps
0.490 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
0.490 * [taylor]: Taking taylor expansion of 1/2 in eps
0.491 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
0.491 * [taylor]: Taking taylor expansion of (* 2 x) in eps
0.491 * [taylor]: Taking taylor expansion of 2 in eps
0.491 * [taylor]: Taking taylor expansion of x in eps
0.491 * [taylor]: Taking taylor expansion of eps in eps
0.491 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.491 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.491 * [taylor]: Taking taylor expansion of 1/2 in eps
0.491 * [taylor]: Taking taylor expansion of eps in eps
0.491 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) in eps
0.491 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in eps
0.491 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
0.491 * [taylor]: Taking taylor expansion of 1/2 in eps
0.491 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
0.491 * [taylor]: Taking taylor expansion of (* 2 x) in eps
0.491 * [taylor]: Taking taylor expansion of 2 in eps
0.491 * [taylor]: Taking taylor expansion of x in eps
0.491 * [taylor]: Taking taylor expansion of eps in eps
0.492 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.492 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.492 * [taylor]: Taking taylor expansion of 1/2 in eps
0.492 * [taylor]: Taking taylor expansion of eps in eps
0.493 * [taylor]: Taking taylor expansion of 0 in x
0.495 * [taylor]: Taking taylor expansion of (* 1/2 (sin x)) in x
0.495 * [taylor]: Taking taylor expansion of 1/2 in x
0.495 * [taylor]: Taking taylor expansion of (sin x) in x
0.495 * [taylor]: Taking taylor expansion of x in x
0.497 * [taylor]: Taking taylor expansion of (* 1/4 (cos x)) in x
0.497 * [taylor]: Taking taylor expansion of 1/4 in x
0.497 * [taylor]: Taking taylor expansion of (cos x) in x
0.497 * [taylor]: Taking taylor expansion of x in x
0.502 * [taylor]: Taking taylor expansion of (neg (* 1/12 (sin x))) in x
0.502 * [taylor]: Taking taylor expansion of (* 1/12 (sin x)) in x
0.502 * [taylor]: Taking taylor expansion of 1/12 in x
0.502 * [taylor]: Taking taylor expansion of (sin x) in x
0.502 * [taylor]: Taking taylor expansion of x in x
0.507 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos x))) in x
0.507 * [taylor]: Taking taylor expansion of (* 1/48 (cos x)) in x
0.507 * [taylor]: Taking taylor expansion of 1/48 in x
0.507 * [taylor]: Taking taylor expansion of (cos x) in x
0.507 * [taylor]: Taking taylor expansion of x in x
0.509 * [approximate]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in (eps x) around 0
0.509 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
0.509 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x
0.509 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x
0.509 * [taylor]: Taking taylor expansion of 1/2 in x
0.509 * [taylor]: Taking taylor expansion of eps in x
0.510 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.510 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.510 * [taylor]: Taking taylor expansion of 1/2 in x
0.510 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.510 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.510 * [taylor]: Taking taylor expansion of eps in x
0.510 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.510 * [taylor]: Taking taylor expansion of 2 in x
0.510 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.510 * [taylor]: Taking taylor expansion of x in x
0.510 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
0.510 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
0.510 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
0.510 * [taylor]: Taking taylor expansion of 1/2 in eps
0.510 * [taylor]: Taking taylor expansion of eps in eps
0.510 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.510 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.511 * [taylor]: Taking taylor expansion of 1/2 in eps
0.511 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.511 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.511 * [taylor]: Taking taylor expansion of eps in eps
0.511 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.511 * [taylor]: Taking taylor expansion of 2 in eps
0.511 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.511 * [taylor]: Taking taylor expansion of x in eps
0.511 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
0.511 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
0.511 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
0.511 * [taylor]: Taking taylor expansion of 1/2 in eps
0.511 * [taylor]: Taking taylor expansion of eps in eps
0.511 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.511 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.511 * [taylor]: Taking taylor expansion of 1/2 in eps
0.511 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.511 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.511 * [taylor]: Taking taylor expansion of eps in eps
0.512 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.512 * [taylor]: Taking taylor expansion of 2 in eps
0.512 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.512 * [taylor]: Taking taylor expansion of x in eps
0.513 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
0.513 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x
0.513 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x
0.513 * [taylor]: Taking taylor expansion of 1/2 in x
0.513 * [taylor]: Taking taylor expansion of eps in x
0.513 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.513 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.513 * [taylor]: Taking taylor expansion of 1/2 in x
0.513 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.513 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.513 * [taylor]: Taking taylor expansion of eps in x
0.513 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.513 * [taylor]: Taking taylor expansion of 2 in x
0.513 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.513 * [taylor]: Taking taylor expansion of x in x
0.515 * [taylor]: Taking taylor expansion of 0 in x
0.518 * [taylor]: Taking taylor expansion of 0 in x
0.520 * [taylor]: Taking taylor expansion of 0 in x
0.522 * [approximate]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in (eps x) around 0
0.522 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
0.522 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x
0.522 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x
0.522 * [taylor]: Taking taylor expansion of -1/2 in x
0.522 * [taylor]: Taking taylor expansion of eps in x
0.523 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.523 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.523 * [taylor]: Taking taylor expansion of -1/2 in x
0.523 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.523 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.523 * [taylor]: Taking taylor expansion of eps in x
0.523 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.523 * [taylor]: Taking taylor expansion of 2 in x
0.523 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.523 * [taylor]: Taking taylor expansion of x in x
0.523 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
0.523 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
0.523 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
0.523 * [taylor]: Taking taylor expansion of -1/2 in eps
0.523 * [taylor]: Taking taylor expansion of eps in eps
0.524 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.524 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.524 * [taylor]: Taking taylor expansion of -1/2 in eps
0.524 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.524 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.524 * [taylor]: Taking taylor expansion of eps in eps
0.524 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.524 * [taylor]: Taking taylor expansion of 2 in eps
0.524 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.524 * [taylor]: Taking taylor expansion of x in eps
0.524 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
0.524 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
0.524 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
0.524 * [taylor]: Taking taylor expansion of -1/2 in eps
0.524 * [taylor]: Taking taylor expansion of eps in eps
0.524 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.525 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.525 * [taylor]: Taking taylor expansion of -1/2 in eps
0.525 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.525 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.525 * [taylor]: Taking taylor expansion of eps in eps
0.525 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.525 * [taylor]: Taking taylor expansion of 2 in eps
0.525 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.525 * [taylor]: Taking taylor expansion of x in eps
0.526 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
0.526 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x
0.526 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x
0.526 * [taylor]: Taking taylor expansion of -1/2 in x
0.526 * [taylor]: Taking taylor expansion of eps in x
0.526 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.526 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.526 * [taylor]: Taking taylor expansion of -1/2 in x
0.526 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.526 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.526 * [taylor]: Taking taylor expansion of eps in x
0.526 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.526 * [taylor]: Taking taylor expansion of 2 in x
0.526 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.526 * [taylor]: Taking taylor expansion of x in x
0.529 * [taylor]: Taking taylor expansion of 0 in x
0.531 * [taylor]: Taking taylor expansion of 0 in x
0.534 * [taylor]: Taking taylor expansion of 0 in x
0.535 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.536 * [approximate]: Taking taylor expansion of (* -2 (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))) in (eps x) around 0
0.536 * [taylor]: Taking taylor expansion of (* -2 (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))) in x
0.536 * [taylor]: Taking taylor expansion of -2 in x
0.536 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) in x
0.536 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in x
0.536 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
0.536 * [taylor]: Taking taylor expansion of 1/2 in x
0.536 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.536 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.536 * [taylor]: Taking taylor expansion of 2 in x
0.536 * [taylor]: Taking taylor expansion of x in x
0.536 * [taylor]: Taking taylor expansion of eps in x
0.537 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x
0.537 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
0.537 * [taylor]: Taking taylor expansion of 1/2 in x
0.537 * [taylor]: Taking taylor expansion of eps in x
0.537 * [taylor]: Taking taylor expansion of (* -2 (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))) in eps
0.537 * [taylor]: Taking taylor expansion of -2 in eps
0.537 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) in eps
0.537 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in eps
0.537 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
0.537 * [taylor]: Taking taylor expansion of 1/2 in eps
0.537 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
0.537 * [taylor]: Taking taylor expansion of (* 2 x) in eps
0.537 * [taylor]: Taking taylor expansion of 2 in eps
0.537 * [taylor]: Taking taylor expansion of x in eps
0.537 * [taylor]: Taking taylor expansion of eps in eps
0.538 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.538 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.538 * [taylor]: Taking taylor expansion of 1/2 in eps
0.538 * [taylor]: Taking taylor expansion of eps in eps
0.538 * [taylor]: Taking taylor expansion of (* -2 (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))) in eps
0.538 * [taylor]: Taking taylor expansion of -2 in eps
0.538 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) in eps
0.538 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in eps
0.538 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
0.538 * [taylor]: Taking taylor expansion of 1/2 in eps
0.538 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
0.538 * [taylor]: Taking taylor expansion of (* 2 x) in eps
0.538 * [taylor]: Taking taylor expansion of 2 in eps
0.538 * [taylor]: Taking taylor expansion of x in eps
0.538 * [taylor]: Taking taylor expansion of eps in eps
0.538 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
0.538 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
0.538 * [taylor]: Taking taylor expansion of 1/2 in eps
0.538 * [taylor]: Taking taylor expansion of eps in eps
0.539 * [taylor]: Taking taylor expansion of 0 in x
0.541 * [taylor]: Taking taylor expansion of (neg (sin x)) in x
0.541 * [taylor]: Taking taylor expansion of (sin x) in x
0.541 * [taylor]: Taking taylor expansion of x in x
0.544 * [taylor]: Taking taylor expansion of (neg (* 1/2 (cos x))) in x
0.545 * [taylor]: Taking taylor expansion of (* 1/2 (cos x)) in x
0.545 * [taylor]: Taking taylor expansion of 1/2 in x
0.545 * [taylor]: Taking taylor expansion of (cos x) in x
0.545 * [taylor]: Taking taylor expansion of x in x
0.549 * [taylor]: Taking taylor expansion of (* 1/6 (sin x)) in x
0.549 * [taylor]: Taking taylor expansion of 1/6 in x
0.549 * [taylor]: Taking taylor expansion of (sin x) in x
0.549 * [taylor]: Taking taylor expansion of x in x
0.555 * [taylor]: Taking taylor expansion of (* 1/24 (cos x)) in x
0.556 * [taylor]: Taking taylor expansion of 1/24 in x
0.556 * [taylor]: Taking taylor expansion of (cos x) in x
0.556 * [taylor]: Taking taylor expansion of x in x
0.557 * [approximate]: Taking taylor expansion of (* -2 (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in (eps x) around 0
0.557 * [taylor]: Taking taylor expansion of (* -2 (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in x
0.557 * [taylor]: Taking taylor expansion of -2 in x
0.557 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
0.557 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x
0.557 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x
0.557 * [taylor]: Taking taylor expansion of 1/2 in x
0.557 * [taylor]: Taking taylor expansion of eps in x
0.558 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.558 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.558 * [taylor]: Taking taylor expansion of 1/2 in x
0.558 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.558 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.558 * [taylor]: Taking taylor expansion of eps in x
0.558 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.558 * [taylor]: Taking taylor expansion of 2 in x
0.558 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.558 * [taylor]: Taking taylor expansion of x in x
0.558 * [taylor]: Taking taylor expansion of (* -2 (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in eps
0.558 * [taylor]: Taking taylor expansion of -2 in eps
0.558 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
0.558 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
0.558 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
0.559 * [taylor]: Taking taylor expansion of 1/2 in eps
0.559 * [taylor]: Taking taylor expansion of eps in eps
0.559 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.559 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.559 * [taylor]: Taking taylor expansion of 1/2 in eps
0.559 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.559 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.559 * [taylor]: Taking taylor expansion of eps in eps
0.559 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.559 * [taylor]: Taking taylor expansion of 2 in eps
0.559 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.559 * [taylor]: Taking taylor expansion of x in eps
0.559 * [taylor]: Taking taylor expansion of (* -2 (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in eps
0.559 * [taylor]: Taking taylor expansion of -2 in eps
0.559 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
0.559 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
0.559 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
0.559 * [taylor]: Taking taylor expansion of 1/2 in eps
0.559 * [taylor]: Taking taylor expansion of eps in eps
0.560 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.560 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.560 * [taylor]: Taking taylor expansion of 1/2 in eps
0.560 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.560 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.560 * [taylor]: Taking taylor expansion of eps in eps
0.560 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.560 * [taylor]: Taking taylor expansion of 2 in eps
0.560 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.560 * [taylor]: Taking taylor expansion of x in eps
0.561 * [taylor]: Taking taylor expansion of (* -2 (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in x
0.561 * [taylor]: Taking taylor expansion of -2 in x
0.561 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
0.561 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x
0.561 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x
0.561 * [taylor]: Taking taylor expansion of 1/2 in x
0.561 * [taylor]: Taking taylor expansion of eps in x
0.562 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.562 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.562 * [taylor]: Taking taylor expansion of 1/2 in x
0.562 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.562 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.562 * [taylor]: Taking taylor expansion of eps in x
0.562 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.562 * [taylor]: Taking taylor expansion of 2 in x
0.562 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.562 * [taylor]: Taking taylor expansion of x in x
0.565 * [taylor]: Taking taylor expansion of 0 in x
0.569 * [taylor]: Taking taylor expansion of 0 in x
0.573 * [taylor]: Taking taylor expansion of 0 in x
0.575 * [approximate]: Taking taylor expansion of (* -2 (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in (eps x) around 0
0.575 * [taylor]: Taking taylor expansion of (* -2 (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in x
0.575 * [taylor]: Taking taylor expansion of -2 in x
0.575 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
0.575 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x
0.575 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x
0.575 * [taylor]: Taking taylor expansion of -1/2 in x
0.575 * [taylor]: Taking taylor expansion of eps in x
0.575 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.575 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.575 * [taylor]: Taking taylor expansion of -1/2 in x
0.575 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.575 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.575 * [taylor]: Taking taylor expansion of eps in x
0.575 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.575 * [taylor]: Taking taylor expansion of 2 in x
0.575 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.575 * [taylor]: Taking taylor expansion of x in x
0.576 * [taylor]: Taking taylor expansion of (* -2 (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in eps
0.576 * [taylor]: Taking taylor expansion of -2 in eps
0.576 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
0.576 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
0.576 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
0.576 * [taylor]: Taking taylor expansion of -1/2 in eps
0.576 * [taylor]: Taking taylor expansion of eps in eps
0.576 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.576 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.576 * [taylor]: Taking taylor expansion of -1/2 in eps
0.576 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.576 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.576 * [taylor]: Taking taylor expansion of eps in eps
0.576 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.576 * [taylor]: Taking taylor expansion of 2 in eps
0.576 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.576 * [taylor]: Taking taylor expansion of x in eps
0.577 * [taylor]: Taking taylor expansion of (* -2 (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in eps
0.577 * [taylor]: Taking taylor expansion of -2 in eps
0.577 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
0.577 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
0.577 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
0.577 * [taylor]: Taking taylor expansion of -1/2 in eps
0.577 * [taylor]: Taking taylor expansion of eps in eps
0.577 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
0.577 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.577 * [taylor]: Taking taylor expansion of -1/2 in eps
0.577 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.577 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.577 * [taylor]: Taking taylor expansion of eps in eps
0.577 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.577 * [taylor]: Taking taylor expansion of 2 in eps
0.577 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.577 * [taylor]: Taking taylor expansion of x in eps
0.579 * [taylor]: Taking taylor expansion of (* -2 (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in x
0.579 * [taylor]: Taking taylor expansion of -2 in x
0.579 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
0.579 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x
0.579 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x
0.579 * [taylor]: Taking taylor expansion of -1/2 in x
0.579 * [taylor]: Taking taylor expansion of eps in x
0.579 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
0.579 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.579 * [taylor]: Taking taylor expansion of -1/2 in x
0.579 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.579 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.579 * [taylor]: Taking taylor expansion of eps in x
0.579 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.579 * [taylor]: Taking taylor expansion of 2 in x
0.579 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.579 * [taylor]: Taking taylor expansion of x in x
0.583 * [taylor]: Taking taylor expansion of 0 in x
0.586 * [taylor]: Taking taylor expansion of 0 in x
0.590 * [taylor]: Taking taylor expansion of 0 in x
0.591 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1)
0.592 * [approximate]: Taking taylor expansion of (+ (* 2 x) eps) in (x eps) around 0
0.592 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
0.592 * [taylor]: Taking taylor expansion of (* 2 x) in eps
0.592 * [taylor]: Taking taylor expansion of 2 in eps
0.592 * [taylor]: Taking taylor expansion of x in eps
0.592 * [taylor]: Taking taylor expansion of eps in eps
0.592 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.592 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.592 * [taylor]: Taking taylor expansion of 2 in x
0.592 * [taylor]: Taking taylor expansion of x in x
0.592 * [taylor]: Taking taylor expansion of eps in x
0.592 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
0.592 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.592 * [taylor]: Taking taylor expansion of 2 in x
0.592 * [taylor]: Taking taylor expansion of x in x
0.592 * [taylor]: Taking taylor expansion of eps in x
0.592 * [taylor]: Taking taylor expansion of eps in eps
0.592 * [taylor]: Taking taylor expansion of 2 in eps
0.592 * [taylor]: Taking taylor expansion of 0 in eps
0.593 * [taylor]: Taking taylor expansion of 0 in eps
0.594 * [approximate]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in (x eps) around 0
0.594 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.594 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.594 * [taylor]: Taking taylor expansion of eps in eps
0.594 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.594 * [taylor]: Taking taylor expansion of 2 in eps
0.594 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.594 * [taylor]: Taking taylor expansion of x in eps
0.594 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.594 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.594 * [taylor]: Taking taylor expansion of eps in x
0.594 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.594 * [taylor]: Taking taylor expansion of 2 in x
0.594 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.594 * [taylor]: Taking taylor expansion of x in x
0.594 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.594 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.594 * [taylor]: Taking taylor expansion of eps in x
0.594 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.594 * [taylor]: Taking taylor expansion of 2 in x
0.594 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.595 * [taylor]: Taking taylor expansion of x in x
0.595 * [taylor]: Taking taylor expansion of 2 in eps
0.595 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.595 * [taylor]: Taking taylor expansion of eps in eps
0.596 * [taylor]: Taking taylor expansion of 0 in eps
0.598 * [taylor]: Taking taylor expansion of 0 in eps
0.600 * [taylor]: Taking taylor expansion of 0 in eps
0.601 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 eps) (* 2 (/ 1 x)))) in (x eps) around 0
0.601 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
0.601 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
0.601 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.601 * [taylor]: Taking taylor expansion of eps in eps
0.601 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
0.601 * [taylor]: Taking taylor expansion of 2 in eps
0.601 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.601 * [taylor]: Taking taylor expansion of x in eps
0.601 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.601 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.601 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.601 * [taylor]: Taking taylor expansion of eps in x
0.601 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.601 * [taylor]: Taking taylor expansion of 2 in x
0.602 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.602 * [taylor]: Taking taylor expansion of x in x
0.602 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
0.602 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
0.602 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.602 * [taylor]: Taking taylor expansion of eps in x
0.602 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.602 * [taylor]: Taking taylor expansion of 2 in x
0.602 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.602 * [taylor]: Taking taylor expansion of x in x
0.602 * [taylor]: Taking taylor expansion of -2 in eps
0.603 * [taylor]: Taking taylor expansion of (neg (/ 1 eps)) in eps
0.603 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.603 * [taylor]: Taking taylor expansion of eps in eps
0.604 * [taylor]: Taking taylor expansion of 0 in eps
0.606 * [taylor]: Taking taylor expansion of 0 in eps
0.608 * [taylor]: Taking taylor expansion of 0 in eps
0.608 * * * [progress]: simplifying candidates
0.612 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (*.f64 (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
  (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (log.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (*.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (*.f64 (sin.f64 (/.f64 eps 2)) 1)
  (*.f64 (sin.f64 (/.f64 eps 2)) (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
  (*.f64 (sin.f64 (/.f64 eps 2)) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))))
  (*.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))) (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
  (*.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))) (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
  (sqrt.f64 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
  (sqrt.f64 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
  (*.f64 (*.f64 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))) (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
  (*.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))))
  (cbrt.f64 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
  (*.f64 (*.f64 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 eps 2))) (sin.f64 (/.f64 eps 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
  (exp.f64 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
  (log.f64 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
  (+.f64 (log.f64 (sin.f64 (/.f64 eps 2))) (log.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
  (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (-.f64 (cos.f64 (-.f64 (/.f64 eps 2) (/.f64 (+.f64 x (+.f64 x eps)) 2))) (cos.f64 (+.f64 (/.f64 eps 2) (/.f64 (+.f64 x (+.f64 x eps)) 2))))
  (*.f64 -2 (-.f64 (cos.f64 (-.f64 (/.f64 eps 2) (/.f64 (+.f64 x (+.f64 x eps)) 2))) (cos.f64 (+.f64 (/.f64 eps 2) (/.f64 (+.f64 x (+.f64 x eps)) 2)))))
  (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
  (*.f64 (sqrt.f64 -2) (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
  (*.f64 (cbrt.f64 -2) (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
  (*.f64 -2 (sin.f64 (/.f64 eps 2)))
  (sqrt.f64 (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))))
  (sqrt.f64 (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))))
  (*.f64 (*.f64 (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))) (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))) (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))))
  (*.f64 (cbrt.f64 (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))) (cbrt.f64 (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))))
  (cbrt.f64 (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))))
  (*.f64 (*.f64 (*.f64 -2 -2) -2) (*.f64 (*.f64 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))) (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))))
  (*.f64 (*.f64 (*.f64 -2 -2) -2) (*.f64 (*.f64 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 eps 2))) (sin.f64 (/.f64 eps 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))))
  (exp.f64 (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))))
  (log.f64 (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))))
  (+.f64 (log.f64 -2) (log.f64 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))))
  (+.f64 (log.f64 -2) (+.f64 (log.f64 (sin.f64 (/.f64 eps 2))) (log.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))))
  (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
  (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
  (+.f64 x x)
  (+.f64 x (+.f64 x eps))
  (+.f64 x (+.f64 x eps))
  (-.f64 (*.f64 x x) (*.f64 (+.f64 x eps) (+.f64 x eps)))
  (-.f64 x (+.f64 x eps))
  (+.f64 (pow.f64 x 3) (pow.f64 (+.f64 x eps) 3))
  (+.f64 (*.f64 x x) (-.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (+.f64 x eps))))
  (sqrt.f64 (+.f64 x (+.f64 x eps)))
  (sqrt.f64 (+.f64 x (+.f64 x eps)))
  (*.f64 (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (+.f64 x eps))) (+.f64 x (+.f64 x eps)))
  (*.f64 (cbrt.f64 (+.f64 x (+.f64 x eps))) (cbrt.f64 (+.f64 x (+.f64 x eps))))
  (cbrt.f64 (+.f64 x (+.f64 x eps)))
  (exp.f64 (+.f64 x (+.f64 x eps)))
  (log.f64 (+.f64 x (+.f64 x eps)))
  (*.f64 (exp.f64 x) (exp.f64 (+.f64 x eps)))
  (*.f64 (exp.f64 x) (*.f64 (exp.f64 x) (exp.f64 eps)))
  (-.f64 (+.f64 (*.f64 1/2 eps) x) (*.f64 1/6 (pow.f64 x 3)))
  (sin.f64 (*.f64 1/2 (+.f64 (*.f64 2 x) eps)))
  (sin.f64 (*.f64 1/2 (+.f64 (*.f64 2 x) eps)))
  (-.f64 (+.f64 (*.f64 1/2 (*.f64 x eps)) (*.f64 1/4 (pow.f64 eps 2))) (*.f64 1/48 (pow.f64 eps 4)))
  (*.f64 (sin.f64 (*.f64 1/2 (+.f64 (*.f64 2 x) eps))) (sin.f64 (*.f64 1/2 eps)))
  (*.f64 (sin.f64 (*.f64 1/2 (+.f64 (*.f64 2 x) eps))) (sin.f64 (*.f64 1/2 eps)))
  (-.f64 (*.f64 1/24 (pow.f64 eps 4)) (+.f64 (*.f64 x eps) (*.f64 1/2 (pow.f64 eps 2))))
  (*.f64 -2 (*.f64 (sin.f64 (*.f64 1/2 (+.f64 (*.f64 2 x) eps))) (sin.f64 (*.f64 1/2 eps))))
  (*.f64 -2 (*.f64 (sin.f64 (*.f64 1/2 (+.f64 (*.f64 2 x) eps))) (sin.f64 (*.f64 1/2 eps))))
  (+.f64 (*.f64 2 x) eps)
  (+.f64 (*.f64 2 x) eps)
  (+.f64 (*.f64 2 x) eps)
0.701 * * [simplify]: iteration  0 :  4886  enodes  (cost  1363 )
0.702 * * [simplify]: iteration  1 :  4886  enodes  (cost  1363 )
0.708 * [simplify]: Simplified to:
   (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (pow.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) 3)
  (*.f64 (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
  (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (log.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))
  (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sqrt.f64 (sin.f64 (/.f64 eps 2))))
  (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (sin.f64 (/.f64 eps 2))
  (*.f64 (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2)))
  (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))) (sin.f64 (/.f64 eps 2)))
  (*.f64 (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sqrt.f64 (sin.f64 (/.f64 eps 2))))
  (*.f64 (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sqrt.f64 (sin.f64 (/.f64 eps 2))))
  (sqrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))
  (sqrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))
  (pow.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) 3)
  (*.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))
  (pow.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) 3)
  (pow.f64 (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2)))
  (log.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))
  (log.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))
  (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))
  (-.f64 (cos.f64 (+.f64 (/.f64 eps 2) (-.f64 (*.f64 eps -1/2) x))) (cos.f64 (+.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2) (/.f64 eps 2))))
  (*.f64 (-.f64 (cos.f64 (+.f64 (/.f64 eps 2) (-.f64 (*.f64 eps -1/2) x))) (cos.f64 (+.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2) (/.f64 eps 2)))) -2)
  (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) -2)
  (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) (sqrt.f64 -2))
  (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) (cbrt.f64 -2))
  (*.f64 (sin.f64 (/.f64 eps 2)) -2)
  (sqrt.f64 (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) -2))
  (sqrt.f64 (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) -2))
  (*.f64 (pow.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) 3) -8)
  (*.f64 (cbrt.f64 (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) -2)) (cbrt.f64 (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) -2)))
  (cbrt.f64 (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) -2))
  (*.f64 (pow.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) 3) -8)
  (*.f64 (pow.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) 3) -8)
  (pow.f64 (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (*.f64 (sin.f64 (/.f64 eps 2)) -2))
  (log.f64 (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) -2))
  (log.f64 (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) -2))
  (log.f64 (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) -2))
  (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) -2)
  (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) -2)
  (+.f64 x x)
  (+.f64 x (+.f64 x eps))
  (+.f64 x (+.f64 x eps))
  (*.f64 eps (-.f64 (*.f64 x -2) eps))
  (neg.f64 eps)
  (+.f64 (pow.f64 x 3) (pow.f64 (+.f64 x eps) 3))
  (+.f64 (*.f64 x x) (*.f64 eps (+.f64 x eps)))
  (sqrt.f64 (+.f64 x (+.f64 x eps)))
  (sqrt.f64 (+.f64 x (+.f64 x eps)))
  (pow.f64 (+.f64 x (+.f64 x eps)) 3)
  (*.f64 (cbrt.f64 (+.f64 x (+.f64 x eps))) (cbrt.f64 (+.f64 x (+.f64 x eps))))
  (cbrt.f64 (+.f64 x (+.f64 x eps)))
  (exp.f64 (+.f64 x (+.f64 x eps)))
  (log.f64 (+.f64 x (+.f64 x eps)))
  (exp.f64 (+.f64 x (+.f64 x eps)))
  (exp.f64 (+.f64 x (+.f64 x eps)))
  (-.f64 (+.f64 x (*.f64 eps 1/2)) (*.f64 (pow.f64 x 3) 1/6))
  (sin.f64 (+.f64 x (*.f64 eps 1/2)))
  (sin.f64 (+.f64 x (*.f64 eps 1/2)))
  (-.f64 (*.f64 eps (+.f64 (*.f64 x 1/2) (*.f64 eps 1/4))) (*.f64 1/48 (pow.f64 eps 4)))
  (*.f64 (sin.f64 (+.f64 x (*.f64 eps 1/2))) (sin.f64 (*.f64 eps 1/2)))
  (*.f64 (sin.f64 (+.f64 x (*.f64 eps 1/2))) (sin.f64 (*.f64 eps 1/2)))
  (-.f64 (*.f64 (pow.f64 eps 4) 1/24) (*.f64 eps (+.f64 x (*.f64 eps 1/2))))
  (*.f64 -2 (*.f64 (sin.f64 (+.f64 x (*.f64 eps 1/2))) (sin.f64 (*.f64 eps 1/2))))
  (*.f64 -2 (*.f64 (sin.f64 (+.f64 x (*.f64 eps 1/2))) (sin.f64 (*.f64 eps 1/2))))
  (+.f64 x (+.f64 x eps))
  (+.f64 x (+.f64 x eps))
  (+.f64 x (+.f64 x eps))
0.709 * * * [progress]: adding candidates to table
0.975 * * [progress]: iteration 3 / 4
0.975 * * * [progress]: picking best candidate
1.069 * * * * [pick]: Picked  #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (cbrt.f64 (sin.f64 (/.f64 eps 2)))))))>
1.069 * * * [progress]: localizing error
1.102 * * * [progress]: generating rewritten candidates
1.102 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
1.110 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2)
1.113 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
1.115 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
1.117 * * * [progress]: generating series expansions
1.117 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
1.118 * [approximate]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in (x eps) around 0
1.118 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in eps
1.118 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
1.118 * [taylor]: Taking taylor expansion of 1/2 in eps
1.118 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
1.118 * [taylor]: Taking taylor expansion of (* 2 x) in eps
1.118 * [taylor]: Taking taylor expansion of 2 in eps
1.118 * [taylor]: Taking taylor expansion of x in eps
1.118 * [taylor]: Taking taylor expansion of eps in eps
1.119 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in x
1.119 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
1.119 * [taylor]: Taking taylor expansion of 1/2 in x
1.119 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
1.119 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.119 * [taylor]: Taking taylor expansion of 2 in x
1.119 * [taylor]: Taking taylor expansion of x in x
1.119 * [taylor]: Taking taylor expansion of eps in x
1.119 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in x
1.119 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
1.119 * [taylor]: Taking taylor expansion of 1/2 in x
1.119 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
1.119 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.119 * [taylor]: Taking taylor expansion of 2 in x
1.119 * [taylor]: Taking taylor expansion of x in x
1.119 * [taylor]: Taking taylor expansion of eps in x
1.120 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.121 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.121 * [taylor]: Taking taylor expansion of 1/2 in eps
1.121 * [taylor]: Taking taylor expansion of eps in eps
1.122 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
1.122 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.122 * [taylor]: Taking taylor expansion of 1/2 in eps
1.122 * [taylor]: Taking taylor expansion of eps in eps
1.125 * [taylor]: Taking taylor expansion of (neg (* 1/2 (sin (* 1/2 eps)))) in eps
1.125 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/2 eps))) in eps
1.125 * [taylor]: Taking taylor expansion of 1/2 in eps
1.125 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.125 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.125 * [taylor]: Taking taylor expansion of 1/2 in eps
1.125 * [taylor]: Taking taylor expansion of eps in eps
1.128 * [taylor]: Taking taylor expansion of (neg (* 1/6 (cos (* 1/2 eps)))) in eps
1.128 * [taylor]: Taking taylor expansion of (* 1/6 (cos (* 1/2 eps))) in eps
1.128 * [taylor]: Taking taylor expansion of 1/6 in eps
1.128 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
1.128 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.128 * [taylor]: Taking taylor expansion of 1/2 in eps
1.128 * [taylor]: Taking taylor expansion of eps in eps
1.130 * [approximate]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
1.130 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.130 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.130 * [taylor]: Taking taylor expansion of 1/2 in eps
1.130 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.130 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.130 * [taylor]: Taking taylor expansion of eps in eps
1.130 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.130 * [taylor]: Taking taylor expansion of 2 in eps
1.130 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.130 * [taylor]: Taking taylor expansion of x in eps
1.131 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.131 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.131 * [taylor]: Taking taylor expansion of 1/2 in x
1.131 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.131 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.131 * [taylor]: Taking taylor expansion of eps in x
1.131 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.131 * [taylor]: Taking taylor expansion of 2 in x
1.131 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.131 * [taylor]: Taking taylor expansion of x in x
1.131 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.132 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.132 * [taylor]: Taking taylor expansion of 1/2 in x
1.132 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.132 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.132 * [taylor]: Taking taylor expansion of eps in x
1.132 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.132 * [taylor]: Taking taylor expansion of 2 in x
1.132 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.132 * [taylor]: Taking taylor expansion of x in x
1.132 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.132 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.132 * [taylor]: Taking taylor expansion of 1/2 in eps
1.132 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.132 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.132 * [taylor]: Taking taylor expansion of eps in eps
1.133 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.133 * [taylor]: Taking taylor expansion of 2 in eps
1.133 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.133 * [taylor]: Taking taylor expansion of x in eps
1.134 * [taylor]: Taking taylor expansion of 0 in eps
1.134 * [taylor]: Taking taylor expansion of 0 in eps
1.134 * [taylor]: Taking taylor expansion of 0 in eps
1.135 * [approximate]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
1.135 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.135 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.135 * [taylor]: Taking taylor expansion of -1/2 in eps
1.135 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.135 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.135 * [taylor]: Taking taylor expansion of eps in eps
1.135 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.135 * [taylor]: Taking taylor expansion of 2 in eps
1.135 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.135 * [taylor]: Taking taylor expansion of x in eps
1.136 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.136 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.136 * [taylor]: Taking taylor expansion of -1/2 in x
1.136 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.136 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.136 * [taylor]: Taking taylor expansion of eps in x
1.136 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.136 * [taylor]: Taking taylor expansion of 2 in x
1.136 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.136 * [taylor]: Taking taylor expansion of x in x
1.137 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.137 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.137 * [taylor]: Taking taylor expansion of -1/2 in x
1.137 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.137 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.137 * [taylor]: Taking taylor expansion of eps in x
1.137 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.137 * [taylor]: Taking taylor expansion of 2 in x
1.137 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.137 * [taylor]: Taking taylor expansion of x in x
1.138 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.138 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.138 * [taylor]: Taking taylor expansion of -1/2 in eps
1.138 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.138 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.138 * [taylor]: Taking taylor expansion of eps in eps
1.138 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.138 * [taylor]: Taking taylor expansion of 2 in eps
1.138 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.138 * [taylor]: Taking taylor expansion of x in eps
1.139 * [taylor]: Taking taylor expansion of 0 in eps
1.139 * [taylor]: Taking taylor expansion of 0 in eps
1.139 * [taylor]: Taking taylor expansion of 0 in eps
1.140 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2)
1.140 * [approximate]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 1/3) in (eps) around 0
1.140 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 1/3) in eps
1.140 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (* 1/2 eps))))) in eps
1.140 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (* 1/2 eps)))) in eps
1.140 * [taylor]: Taking taylor expansion of 1/3 in eps
1.140 * [taylor]: Taking taylor expansion of (log (sin (* 1/2 eps))) in eps
1.140 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.140 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.140 * [taylor]: Taking taylor expansion of 1/2 in eps
1.140 * [taylor]: Taking taylor expansion of eps in eps
1.142 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 1/3) in eps
1.142 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (* 1/2 eps))))) in eps
1.142 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (* 1/2 eps)))) in eps
1.142 * [taylor]: Taking taylor expansion of 1/3 in eps
1.142 * [taylor]: Taking taylor expansion of (log (sin (* 1/2 eps))) in eps
1.142 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.142 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.142 * [taylor]: Taking taylor expansion of 1/2 in eps
1.142 * [taylor]: Taking taylor expansion of eps in eps
1.163 * [approximate]: Taking taylor expansion of (pow (sin (/ 1/2 eps)) 1/3) in (eps) around 0
1.163 * [taylor]: Taking taylor expansion of (pow (sin (/ 1/2 eps)) 1/3) in eps
1.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1/2 eps))))) in eps
1.163 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1/2 eps)))) in eps
1.163 * [taylor]: Taking taylor expansion of 1/3 in eps
1.163 * [taylor]: Taking taylor expansion of (log (sin (/ 1/2 eps))) in eps
1.163 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
1.163 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
1.163 * [taylor]: Taking taylor expansion of 1/2 in eps
1.163 * [taylor]: Taking taylor expansion of eps in eps
1.164 * [taylor]: Taking taylor expansion of (pow (sin (/ 1/2 eps)) 1/3) in eps
1.164 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1/2 eps))))) in eps
1.164 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1/2 eps)))) in eps
1.164 * [taylor]: Taking taylor expansion of 1/3 in eps
1.164 * [taylor]: Taking taylor expansion of (log (sin (/ 1/2 eps))) in eps
1.164 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
1.164 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
1.164 * [taylor]: Taking taylor expansion of 1/2 in eps
1.164 * [taylor]: Taking taylor expansion of eps in eps
1.194 * [approximate]: Taking taylor expansion of (pow (sin (/ -1/2 eps)) 1/3) in (eps) around 0
1.195 * [taylor]: Taking taylor expansion of (pow (sin (/ -1/2 eps)) 1/3) in eps
1.195 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1/2 eps))))) in eps
1.195 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1/2 eps)))) in eps
1.195 * [taylor]: Taking taylor expansion of 1/3 in eps
1.195 * [taylor]: Taking taylor expansion of (log (sin (/ -1/2 eps))) in eps
1.195 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
1.195 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
1.195 * [taylor]: Taking taylor expansion of -1/2 in eps
1.195 * [taylor]: Taking taylor expansion of eps in eps
1.195 * [taylor]: Taking taylor expansion of (pow (sin (/ -1/2 eps)) 1/3) in eps
1.195 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1/2 eps))))) in eps
1.196 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1/2 eps)))) in eps
1.196 * [taylor]: Taking taylor expansion of 1/3 in eps
1.196 * [taylor]: Taking taylor expansion of (log (sin (/ -1/2 eps))) in eps
1.196 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
1.196 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
1.196 * [taylor]: Taking taylor expansion of -1/2 in eps
1.196 * [taylor]: Taking taylor expansion of eps in eps
1.224 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
1.224 * [approximate]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 1/3) in (eps) around 0
1.224 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 1/3) in eps
1.224 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (* 1/2 eps))))) in eps
1.224 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (* 1/2 eps)))) in eps
1.224 * [taylor]: Taking taylor expansion of 1/3 in eps
1.224 * [taylor]: Taking taylor expansion of (log (sin (* 1/2 eps))) in eps
1.224 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.224 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.224 * [taylor]: Taking taylor expansion of 1/2 in eps
1.224 * [taylor]: Taking taylor expansion of eps in eps
1.226 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 1/3) in eps
1.226 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (* 1/2 eps))))) in eps
1.226 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (* 1/2 eps)))) in eps
1.226 * [taylor]: Taking taylor expansion of 1/3 in eps
1.226 * [taylor]: Taking taylor expansion of (log (sin (* 1/2 eps))) in eps
1.226 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.226 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.226 * [taylor]: Taking taylor expansion of 1/2 in eps
1.226 * [taylor]: Taking taylor expansion of eps in eps
1.244 * [approximate]: Taking taylor expansion of (pow (sin (/ 1/2 eps)) 1/3) in (eps) around 0
1.244 * [taylor]: Taking taylor expansion of (pow (sin (/ 1/2 eps)) 1/3) in eps
1.244 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1/2 eps))))) in eps
1.244 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1/2 eps)))) in eps
1.244 * [taylor]: Taking taylor expansion of 1/3 in eps
1.244 * [taylor]: Taking taylor expansion of (log (sin (/ 1/2 eps))) in eps
1.244 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
1.244 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
1.244 * [taylor]: Taking taylor expansion of 1/2 in eps
1.244 * [taylor]: Taking taylor expansion of eps in eps
1.245 * [taylor]: Taking taylor expansion of (pow (sin (/ 1/2 eps)) 1/3) in eps
1.245 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1/2 eps))))) in eps
1.245 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1/2 eps)))) in eps
1.245 * [taylor]: Taking taylor expansion of 1/3 in eps
1.245 * [taylor]: Taking taylor expansion of (log (sin (/ 1/2 eps))) in eps
1.245 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
1.245 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
1.245 * [taylor]: Taking taylor expansion of 1/2 in eps
1.245 * [taylor]: Taking taylor expansion of eps in eps
1.277 * [approximate]: Taking taylor expansion of (pow (sin (/ -1/2 eps)) 1/3) in (eps) around 0
1.277 * [taylor]: Taking taylor expansion of (pow (sin (/ -1/2 eps)) 1/3) in eps
1.277 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1/2 eps))))) in eps
1.277 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1/2 eps)))) in eps
1.277 * [taylor]: Taking taylor expansion of 1/3 in eps
1.277 * [taylor]: Taking taylor expansion of (log (sin (/ -1/2 eps))) in eps
1.277 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
1.277 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
1.277 * [taylor]: Taking taylor expansion of -1/2 in eps
1.277 * [taylor]: Taking taylor expansion of eps in eps
1.277 * [taylor]: Taking taylor expansion of (pow (sin (/ -1/2 eps)) 1/3) in eps
1.277 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1/2 eps))))) in eps
1.278 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1/2 eps)))) in eps
1.278 * [taylor]: Taking taylor expansion of 1/3 in eps
1.278 * [taylor]: Taking taylor expansion of (log (sin (/ -1/2 eps))) in eps
1.278 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
1.278 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
1.278 * [taylor]: Taking taylor expansion of -1/2 in eps
1.278 * [taylor]: Taking taylor expansion of eps in eps
1.305 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
1.306 * [approximate]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 1/3) in (eps) around 0
1.306 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 1/3) in eps
1.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (* 1/2 eps))))) in eps
1.306 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (* 1/2 eps)))) in eps
1.306 * [taylor]: Taking taylor expansion of 1/3 in eps
1.306 * [taylor]: Taking taylor expansion of (log (sin (* 1/2 eps))) in eps
1.306 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.306 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.306 * [taylor]: Taking taylor expansion of 1/2 in eps
1.306 * [taylor]: Taking taylor expansion of eps in eps
1.307 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 1/3) in eps
1.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (* 1/2 eps))))) in eps
1.307 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (* 1/2 eps)))) in eps
1.307 * [taylor]: Taking taylor expansion of 1/3 in eps
1.307 * [taylor]: Taking taylor expansion of (log (sin (* 1/2 eps))) in eps
1.307 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.307 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.307 * [taylor]: Taking taylor expansion of 1/2 in eps
1.307 * [taylor]: Taking taylor expansion of eps in eps
1.325 * [approximate]: Taking taylor expansion of (pow (sin (/ 1/2 eps)) 1/3) in (eps) around 0
1.325 * [taylor]: Taking taylor expansion of (pow (sin (/ 1/2 eps)) 1/3) in eps
1.325 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1/2 eps))))) in eps
1.325 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1/2 eps)))) in eps
1.325 * [taylor]: Taking taylor expansion of 1/3 in eps
1.325 * [taylor]: Taking taylor expansion of (log (sin (/ 1/2 eps))) in eps
1.325 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
1.325 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
1.325 * [taylor]: Taking taylor expansion of 1/2 in eps
1.325 * [taylor]: Taking taylor expansion of eps in eps
1.326 * [taylor]: Taking taylor expansion of (pow (sin (/ 1/2 eps)) 1/3) in eps
1.326 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1/2 eps))))) in eps
1.326 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1/2 eps)))) in eps
1.326 * [taylor]: Taking taylor expansion of 1/3 in eps
1.326 * [taylor]: Taking taylor expansion of (log (sin (/ 1/2 eps))) in eps
1.326 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
1.326 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
1.326 * [taylor]: Taking taylor expansion of 1/2 in eps
1.326 * [taylor]: Taking taylor expansion of eps in eps
1.354 * [approximate]: Taking taylor expansion of (pow (sin (/ -1/2 eps)) 1/3) in (eps) around 0
1.354 * [taylor]: Taking taylor expansion of (pow (sin (/ -1/2 eps)) 1/3) in eps
1.354 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1/2 eps))))) in eps
1.354 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1/2 eps)))) in eps
1.354 * [taylor]: Taking taylor expansion of 1/3 in eps
1.354 * [taylor]: Taking taylor expansion of (log (sin (/ -1/2 eps))) in eps
1.354 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
1.354 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
1.354 * [taylor]: Taking taylor expansion of -1/2 in eps
1.354 * [taylor]: Taking taylor expansion of eps in eps
1.355 * [taylor]: Taking taylor expansion of (pow (sin (/ -1/2 eps)) 1/3) in eps
1.355 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1/2 eps))))) in eps
1.355 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1/2 eps)))) in eps
1.355 * [taylor]: Taking taylor expansion of 1/3 in eps
1.355 * [taylor]: Taking taylor expansion of (log (sin (/ -1/2 eps))) in eps
1.355 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
1.355 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
1.355 * [taylor]: Taking taylor expansion of -1/2 in eps
1.355 * [taylor]: Taking taylor expansion of eps in eps
1.385 * * * [progress]: simplifying candidates
1.385 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (*.f64 (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
  (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (log.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (sqrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (sqrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2)))))
  (cbrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (cbrt.f64 1)
  (cbrt.f64 (sin.f64 (/.f64 eps 2)))
  (cbrt.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))))
  (cbrt.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))))
  (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))))
  (cbrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (exp.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (log.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (sqrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (sqrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2)))))
  (cbrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (cbrt.f64 1)
  (cbrt.f64 (sin.f64 (/.f64 eps 2)))
  (cbrt.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))))
  (cbrt.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))))
  (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))))
  (cbrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (exp.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (log.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (sqrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (sqrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2)))))
  (cbrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (cbrt.f64 1)
  (cbrt.f64 (sin.f64 (/.f64 eps 2)))
  (cbrt.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))))
  (cbrt.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))))
  (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))))
  (cbrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (exp.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (log.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (-.f64 (+.f64 (*.f64 1/2 eps) x) (*.f64 1/6 (pow.f64 x 3)))
  (sin.f64 (*.f64 1/2 (+.f64 (*.f64 2 x) eps)))
  (sin.f64 (*.f64 1/2 (+.f64 (*.f64 2 x) eps)))
  (-.f64 (exp.f64 (*.f64 1/3 (+.f64 (log.f64 eps) (log.f64 1/2)))) (+.f64 (*.f64 1/51840 (*.f64 (exp.f64 (*.f64 1/3 (+.f64 (log.f64 eps) (log.f64 1/2)))) (pow.f64 eps 4))) (*.f64 1/72 (*.f64 (exp.f64 (*.f64 1/3 (+.f64 (log.f64 eps) (log.f64 1/2)))) (pow.f64 eps 2)))))
  (pow.f64 (sin.f64 (*.f64 1/2 eps)) 1/3)
  (pow.f64 (sin.f64 (*.f64 1/2 eps)) 1/3)
  (-.f64 (exp.f64 (*.f64 1/3 (+.f64 (log.f64 eps) (log.f64 1/2)))) (+.f64 (*.f64 1/51840 (*.f64 (exp.f64 (*.f64 1/3 (+.f64 (log.f64 eps) (log.f64 1/2)))) (pow.f64 eps 4))) (*.f64 1/72 (*.f64 (exp.f64 (*.f64 1/3 (+.f64 (log.f64 eps) (log.f64 1/2)))) (pow.f64 eps 2)))))
  (pow.f64 (sin.f64 (*.f64 1/2 eps)) 1/3)
  (pow.f64 (sin.f64 (*.f64 1/2 eps)) 1/3)
  (-.f64 (exp.f64 (*.f64 1/3 (+.f64 (log.f64 eps) (log.f64 1/2)))) (+.f64 (*.f64 1/51840 (*.f64 (exp.f64 (*.f64 1/3 (+.f64 (log.f64 eps) (log.f64 1/2)))) (pow.f64 eps 4))) (*.f64 1/72 (*.f64 (exp.f64 (*.f64 1/3 (+.f64 (log.f64 eps) (log.f64 1/2)))) (pow.f64 eps 2)))))
  (pow.f64 (sin.f64 (*.f64 1/2 eps)) 1/3)
  (pow.f64 (sin.f64 (*.f64 1/2 eps)) 1/3)
1.431 * * [simplify]: iteration  0 :  5317  enodes  (cost  695 )
1.435 * [simplify]: Simplified to:
   (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (pow.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) 3)
  (*.f64 (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
  (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (log.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (sqrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (sqrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (sin.f64 (/.f64 eps 2))
  (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2)))))
  (cbrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (cbrt.f64 1)
  (cbrt.f64 (sin.f64 (/.f64 eps 2)))
  (cbrt.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))))
  (cbrt.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))))
  (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))))
  (cbrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (exp.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (log.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (sqrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (sqrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (sin.f64 (/.f64 eps 2))
  (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2)))))
  (cbrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (cbrt.f64 1)
  (cbrt.f64 (sin.f64 (/.f64 eps 2)))
  (cbrt.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))))
  (cbrt.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))))
  (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))))
  (cbrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (exp.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (log.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (sqrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (sqrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (sin.f64 (/.f64 eps 2))
  (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2)))))
  (cbrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (cbrt.f64 1)
  (cbrt.f64 (sin.f64 (/.f64 eps 2)))
  (cbrt.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))))
  (cbrt.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))))
  (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))))
  (cbrt.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (exp.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (log.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))))
  (-.f64 (+.f64 x (*.f64 eps 1/2)) (*.f64 1/6 (pow.f64 x 3)))
  (sin.f64 (+.f64 x (*.f64 eps 1/2)))
  (sin.f64 (+.f64 x (*.f64 eps 1/2)))
  (*.f64 (cbrt.f64 (*.f64 eps 1/2)) (-.f64 (+.f64 1 (*.f64 (pow.f64 eps 4) -1/51840)) (*.f64 1/72 (*.f64 eps eps))))
  (cbrt.f64 (sin.f64 (*.f64 eps 1/2)))
  (cbrt.f64 (sin.f64 (*.f64 eps 1/2)))
  (*.f64 (cbrt.f64 (*.f64 eps 1/2)) (-.f64 (+.f64 1 (*.f64 (pow.f64 eps 4) -1/51840)) (*.f64 1/72 (*.f64 eps eps))))
  (cbrt.f64 (sin.f64 (*.f64 eps 1/2)))
  (cbrt.f64 (sin.f64 (*.f64 eps 1/2)))
  (*.f64 (cbrt.f64 (*.f64 eps 1/2)) (-.f64 (+.f64 1 (*.f64 (pow.f64 eps 4) -1/51840)) (*.f64 1/72 (*.f64 eps eps))))
  (cbrt.f64 (sin.f64 (*.f64 eps 1/2)))
  (cbrt.f64 (sin.f64 (*.f64 eps 1/2)))
1.435 * * * [progress]: adding candidates to table
1.699 * * [progress]: iteration 4 / 4
1.699 * * * [progress]: picking best candidate
1.800 * * * * [pick]: Picked  #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))))>
1.800 * * * [progress]: localizing error
1.825 * * * [progress]: generating rewritten candidates
1.825 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
1.834 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
1.842 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
1.851 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1)
1.862 * * * [progress]: generating series expansions
1.862 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
1.864 * [approximate]: Taking taylor expansion of (pow (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) 1/3) in (x eps) around 0
1.864 * [taylor]: Taking taylor expansion of (pow (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) 1/3) in eps
1.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))))) in eps
1.864 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))))) in eps
1.864 * [taylor]: Taking taylor expansion of 1/3 in eps
1.865 * [taylor]: Taking taylor expansion of (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))) in eps
1.865 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) in eps
1.865 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in eps
1.865 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
1.865 * [taylor]: Taking taylor expansion of 1/2 in eps
1.865 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
1.865 * [taylor]: Taking taylor expansion of (* 2 x) in eps
1.865 * [taylor]: Taking taylor expansion of 2 in eps
1.865 * [taylor]: Taking taylor expansion of x in eps
1.865 * [taylor]: Taking taylor expansion of eps in eps
1.865 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.865 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.865 * [taylor]: Taking taylor expansion of 1/2 in eps
1.865 * [taylor]: Taking taylor expansion of eps in eps
1.869 * [taylor]: Taking taylor expansion of (pow (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) 1/3) in x
1.869 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))))) in x
1.869 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))))) in x
1.869 * [taylor]: Taking taylor expansion of 1/3 in x
1.869 * [taylor]: Taking taylor expansion of (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))) in x
1.869 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) in x
1.869 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in x
1.869 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
1.869 * [taylor]: Taking taylor expansion of 1/2 in x
1.869 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
1.869 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.869 * [taylor]: Taking taylor expansion of 2 in x
1.869 * [taylor]: Taking taylor expansion of x in x
1.869 * [taylor]: Taking taylor expansion of eps in x
1.870 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x
1.870 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
1.870 * [taylor]: Taking taylor expansion of 1/2 in x
1.870 * [taylor]: Taking taylor expansion of eps in x
1.872 * [taylor]: Taking taylor expansion of (pow (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) 1/3) in x
1.872 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))))) in x
1.872 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))))) in x
1.872 * [taylor]: Taking taylor expansion of 1/3 in x
1.872 * [taylor]: Taking taylor expansion of (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))) in x
1.872 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) in x
1.872 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in x
1.872 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
1.872 * [taylor]: Taking taylor expansion of 1/2 in x
1.872 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
1.872 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.872 * [taylor]: Taking taylor expansion of 2 in x
1.873 * [taylor]: Taking taylor expansion of x in x
1.873 * [taylor]: Taking taylor expansion of eps in x
1.873 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x
1.873 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
1.873 * [taylor]: Taking taylor expansion of 1/2 in x
1.873 * [taylor]: Taking taylor expansion of eps in x
1.876 * [taylor]: Taking taylor expansion of (pow (pow (sin (* 1/2 eps)) 2) 1/3) in eps
1.876 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (* 1/2 eps)) 2)))) in eps
1.876 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (* 1/2 eps)) 2))) in eps
1.876 * [taylor]: Taking taylor expansion of 1/3 in eps
1.876 * [taylor]: Taking taylor expansion of (log (pow (sin (* 1/2 eps)) 2)) in eps
1.876 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps
1.876 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.876 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.876 * [taylor]: Taking taylor expansion of 1/2 in eps
1.876 * [taylor]: Taking taylor expansion of eps in eps
1.883 * [taylor]: Taking taylor expansion of (* 1/3 (* (cos (* 1/2 eps)) (pow (/ 1 (sin (* 1/2 eps))) 1/3))) in eps
1.883 * [taylor]: Taking taylor expansion of 1/3 in eps
1.883 * [taylor]: Taking taylor expansion of (* (cos (* 1/2 eps)) (pow (/ 1 (sin (* 1/2 eps))) 1/3)) in eps
1.883 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
1.883 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.883 * [taylor]: Taking taylor expansion of 1/2 in eps
1.883 * [taylor]: Taking taylor expansion of eps in eps
1.883 * [taylor]: Taking taylor expansion of (pow (/ 1 (sin (* 1/2 eps))) 1/3) in eps
1.883 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (sin (* 1/2 eps)))))) in eps
1.883 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (sin (* 1/2 eps))))) in eps
1.883 * [taylor]: Taking taylor expansion of 1/3 in eps
1.883 * [taylor]: Taking taylor expansion of (log (/ 1 (sin (* 1/2 eps)))) in eps
1.883 * [taylor]: Taking taylor expansion of (/ 1 (sin (* 1/2 eps))) in eps
1.883 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.883 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.883 * [taylor]: Taking taylor expansion of 1/2 in eps
1.883 * [taylor]: Taking taylor expansion of eps in eps
1.901 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (sin (* 1/2 eps)) 2) 1/3) (+ (* 1/9 (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2))) 1/6))) in eps
1.901 * [taylor]: Taking taylor expansion of -1 in eps
1.901 * [taylor]: Taking taylor expansion of (* (pow (pow (sin (* 1/2 eps)) 2) 1/3) (+ (* 1/9 (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2))) 1/6)) in eps
1.902 * [taylor]: Taking taylor expansion of (pow (pow (sin (* 1/2 eps)) 2) 1/3) in eps
1.902 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (* 1/2 eps)) 2)))) in eps
1.902 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (* 1/2 eps)) 2))) in eps
1.902 * [taylor]: Taking taylor expansion of 1/3 in eps
1.902 * [taylor]: Taking taylor expansion of (log (pow (sin (* 1/2 eps)) 2)) in eps
1.902 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps
1.902 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.902 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.902 * [taylor]: Taking taylor expansion of 1/2 in eps
1.902 * [taylor]: Taking taylor expansion of eps in eps
1.903 * [taylor]: Taking taylor expansion of (+ (* 1/9 (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2))) 1/6) in eps
1.903 * [taylor]: Taking taylor expansion of (* 1/9 (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2))) in eps
1.903 * [taylor]: Taking taylor expansion of 1/9 in eps
1.903 * [taylor]: Taking taylor expansion of (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2)) in eps
1.903 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 eps)) 2) in eps
1.903 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
1.903 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.903 * [taylor]: Taking taylor expansion of 1/2 in eps
1.903 * [taylor]: Taking taylor expansion of eps in eps
1.903 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps
1.903 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.903 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.903 * [taylor]: Taking taylor expansion of 1/2 in eps
1.903 * [taylor]: Taking taylor expansion of eps in eps
1.904 * [taylor]: Taking taylor expansion of 1/6 in eps
1.918 * [approximate]: Taking taylor expansion of (pow (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) 1/3) in (x eps) around 0
1.918 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) 1/3) in eps
1.918 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))))) in eps
1.918 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))))) in eps
1.918 * [taylor]: Taking taylor expansion of 1/3 in eps
1.918 * [taylor]: Taking taylor expansion of (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in eps
1.918 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
1.918 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
1.918 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
1.918 * [taylor]: Taking taylor expansion of 1/2 in eps
1.918 * [taylor]: Taking taylor expansion of eps in eps
1.919 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.919 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.919 * [taylor]: Taking taylor expansion of 1/2 in eps
1.919 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.919 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.919 * [taylor]: Taking taylor expansion of eps in eps
1.919 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.919 * [taylor]: Taking taylor expansion of 2 in eps
1.919 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.919 * [taylor]: Taking taylor expansion of x in eps
1.922 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) 1/3) in x
1.922 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))))) in x
1.922 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))))) in x
1.922 * [taylor]: Taking taylor expansion of 1/3 in x
1.922 * [taylor]: Taking taylor expansion of (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in x
1.922 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
1.922 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x
1.922 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x
1.922 * [taylor]: Taking taylor expansion of 1/2 in x
1.922 * [taylor]: Taking taylor expansion of eps in x
1.922 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.922 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.922 * [taylor]: Taking taylor expansion of 1/2 in x
1.922 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.922 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.922 * [taylor]: Taking taylor expansion of eps in x
1.922 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.922 * [taylor]: Taking taylor expansion of 2 in x
1.922 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.922 * [taylor]: Taking taylor expansion of x in x
1.926 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) 1/3) in x
1.926 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))))) in x
1.926 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))))) in x
1.926 * [taylor]: Taking taylor expansion of 1/3 in x
1.926 * [taylor]: Taking taylor expansion of (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in x
1.926 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
1.926 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x
1.926 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x
1.926 * [taylor]: Taking taylor expansion of 1/2 in x
1.926 * [taylor]: Taking taylor expansion of eps in x
1.926 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.926 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.926 * [taylor]: Taking taylor expansion of 1/2 in x
1.926 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.926 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.926 * [taylor]: Taking taylor expansion of eps in x
1.927 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.927 * [taylor]: Taking taylor expansion of 2 in x
1.927 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.927 * [taylor]: Taking taylor expansion of x in x
1.930 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) 1/3) in eps
1.930 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))))) in eps
1.930 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))))) in eps
1.930 * [taylor]: Taking taylor expansion of 1/3 in eps
1.930 * [taylor]: Taking taylor expansion of (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in eps
1.930 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
1.930 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
1.930 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
1.930 * [taylor]: Taking taylor expansion of 1/2 in eps
1.930 * [taylor]: Taking taylor expansion of eps in eps
1.930 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.930 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.931 * [taylor]: Taking taylor expansion of 1/2 in eps
1.931 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.931 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.931 * [taylor]: Taking taylor expansion of eps in eps
1.931 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.931 * [taylor]: Taking taylor expansion of 2 in eps
1.931 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.931 * [taylor]: Taking taylor expansion of x in eps
1.939 * [taylor]: Taking taylor expansion of 0 in eps
1.948 * [taylor]: Taking taylor expansion of 0 in eps
1.960 * [taylor]: Taking taylor expansion of 0 in eps
1.963 * [approximate]: Taking taylor expansion of (pow (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) 1/3) in (x eps) around 0
1.963 * [taylor]: Taking taylor expansion of (pow (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) 1/3) in eps
1.963 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps)))))) in eps
1.963 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))))) in eps
1.963 * [taylor]: Taking taylor expansion of 1/3 in eps
1.963 * [taylor]: Taking taylor expansion of (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps)))) in eps
1.963 * [taylor]: Taking taylor expansion of (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) in eps
1.963 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.963 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.963 * [taylor]: Taking taylor expansion of -1/2 in eps
1.963 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.963 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.963 * [taylor]: Taking taylor expansion of eps in eps
1.963 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.963 * [taylor]: Taking taylor expansion of 2 in eps
1.963 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.963 * [taylor]: Taking taylor expansion of x in eps
1.964 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
1.964 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
1.964 * [taylor]: Taking taylor expansion of -1/2 in eps
1.964 * [taylor]: Taking taylor expansion of eps in eps
1.966 * [taylor]: Taking taylor expansion of (pow (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) 1/3) in x
1.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps)))))) in x
1.966 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))))) in x
1.966 * [taylor]: Taking taylor expansion of 1/3 in x
1.966 * [taylor]: Taking taylor expansion of (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps)))) in x
1.966 * [taylor]: Taking taylor expansion of (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) in x
1.966 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.966 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.966 * [taylor]: Taking taylor expansion of -1/2 in x
1.966 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.966 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.966 * [taylor]: Taking taylor expansion of eps in x
1.966 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.966 * [taylor]: Taking taylor expansion of 2 in x
1.966 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.966 * [taylor]: Taking taylor expansion of x in x
1.967 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x
1.967 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x
1.967 * [taylor]: Taking taylor expansion of -1/2 in x
1.967 * [taylor]: Taking taylor expansion of eps in x
1.969 * [taylor]: Taking taylor expansion of (pow (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) 1/3) in x
1.970 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps)))))) in x
1.971 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))))) in x
1.971 * [taylor]: Taking taylor expansion of 1/3 in x
1.971 * [taylor]: Taking taylor expansion of (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps)))) in x
1.971 * [taylor]: Taking taylor expansion of (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) in x
1.971 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.971 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.971 * [taylor]: Taking taylor expansion of -1/2 in x
1.971 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.971 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.971 * [taylor]: Taking taylor expansion of eps in x
1.971 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.971 * [taylor]: Taking taylor expansion of 2 in x
1.971 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.971 * [taylor]: Taking taylor expansion of x in x
1.971 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x
1.971 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x
1.971 * [taylor]: Taking taylor expansion of -1/2 in x
1.971 * [taylor]: Taking taylor expansion of eps in x
1.974 * [taylor]: Taking taylor expansion of (pow (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) 1/3) in eps
1.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps)))))) in eps
1.974 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))))) in eps
1.974 * [taylor]: Taking taylor expansion of 1/3 in eps
1.974 * [taylor]: Taking taylor expansion of (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps)))) in eps
1.974 * [taylor]: Taking taylor expansion of (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) in eps
1.974 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.974 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.974 * [taylor]: Taking taylor expansion of -1/2 in eps
1.974 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.974 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.974 * [taylor]: Taking taylor expansion of eps in eps
1.974 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.975 * [taylor]: Taking taylor expansion of 2 in eps
1.975 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.975 * [taylor]: Taking taylor expansion of x in eps
1.975 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
1.975 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
1.975 * [taylor]: Taking taylor expansion of -1/2 in eps
1.975 * [taylor]: Taking taylor expansion of eps in eps
1.982 * [taylor]: Taking taylor expansion of 0 in eps
1.991 * [taylor]: Taking taylor expansion of 0 in eps
2.005 * [taylor]: Taking taylor expansion of 0 in eps
2.006 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
2.007 * [approximate]: Taking taylor expansion of (pow (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) 1/3) in (x eps) around 0
2.007 * [taylor]: Taking taylor expansion of (pow (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) 1/3) in eps
2.007 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))))) in eps
2.007 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))))) in eps
2.007 * [taylor]: Taking taylor expansion of 1/3 in eps
2.007 * [taylor]: Taking taylor expansion of (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))) in eps
2.007 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) in eps
2.007 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in eps
2.007 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
2.007 * [taylor]: Taking taylor expansion of 1/2 in eps
2.007 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
2.007 * [taylor]: Taking taylor expansion of (* 2 x) in eps
2.007 * [taylor]: Taking taylor expansion of 2 in eps
2.007 * [taylor]: Taking taylor expansion of x in eps
2.008 * [taylor]: Taking taylor expansion of eps in eps
2.008 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
2.008 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
2.008 * [taylor]: Taking taylor expansion of 1/2 in eps
2.008 * [taylor]: Taking taylor expansion of eps in eps
2.012 * [taylor]: Taking taylor expansion of (pow (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) 1/3) in x
2.012 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))))) in x
2.012 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))))) in x
2.012 * [taylor]: Taking taylor expansion of 1/3 in x
2.012 * [taylor]: Taking taylor expansion of (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))) in x
2.012 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) in x
2.012 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in x
2.012 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
2.012 * [taylor]: Taking taylor expansion of 1/2 in x
2.012 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
2.012 * [taylor]: Taking taylor expansion of (* 2 x) in x
2.012 * [taylor]: Taking taylor expansion of 2 in x
2.012 * [taylor]: Taking taylor expansion of x in x
2.012 * [taylor]: Taking taylor expansion of eps in x
2.013 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x
2.013 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
2.013 * [taylor]: Taking taylor expansion of 1/2 in x
2.013 * [taylor]: Taking taylor expansion of eps in x
2.015 * [taylor]: Taking taylor expansion of (pow (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) 1/3) in x
2.015 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))))) in x
2.015 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))))) in x
2.015 * [taylor]: Taking taylor expansion of 1/3 in x
2.015 * [taylor]: Taking taylor expansion of (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))) in x
2.015 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) in x
2.015 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in x
2.015 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
2.015 * [taylor]: Taking taylor expansion of 1/2 in x
2.016 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
2.016 * [taylor]: Taking taylor expansion of (* 2 x) in x
2.016 * [taylor]: Taking taylor expansion of 2 in x
2.016 * [taylor]: Taking taylor expansion of x in x
2.016 * [taylor]: Taking taylor expansion of eps in x
2.016 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x
2.016 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
2.016 * [taylor]: Taking taylor expansion of 1/2 in x
2.016 * [taylor]: Taking taylor expansion of eps in x
2.019 * [taylor]: Taking taylor expansion of (pow (pow (sin (* 1/2 eps)) 2) 1/3) in eps
2.019 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (* 1/2 eps)) 2)))) in eps
2.019 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (* 1/2 eps)) 2))) in eps
2.019 * [taylor]: Taking taylor expansion of 1/3 in eps
2.019 * [taylor]: Taking taylor expansion of (log (pow (sin (* 1/2 eps)) 2)) in eps
2.019 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps
2.019 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
2.019 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
2.019 * [taylor]: Taking taylor expansion of 1/2 in eps
2.019 * [taylor]: Taking taylor expansion of eps in eps
2.026 * [taylor]: Taking taylor expansion of (* 1/3 (* (cos (* 1/2 eps)) (pow (/ 1 (sin (* 1/2 eps))) 1/3))) in eps
2.026 * [taylor]: Taking taylor expansion of 1/3 in eps
2.026 * [taylor]: Taking taylor expansion of (* (cos (* 1/2 eps)) (pow (/ 1 (sin (* 1/2 eps))) 1/3)) in eps
2.026 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
2.026 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
2.026 * [taylor]: Taking taylor expansion of 1/2 in eps
2.026 * [taylor]: Taking taylor expansion of eps in eps
2.027 * [taylor]: Taking taylor expansion of (pow (/ 1 (sin (* 1/2 eps))) 1/3) in eps
2.027 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (sin (* 1/2 eps)))))) in eps
2.027 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (sin (* 1/2 eps))))) in eps
2.027 * [taylor]: Taking taylor expansion of 1/3 in eps
2.027 * [taylor]: Taking taylor expansion of (log (/ 1 (sin (* 1/2 eps)))) in eps
2.027 * [taylor]: Taking taylor expansion of (/ 1 (sin (* 1/2 eps))) in eps
2.027 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
2.027 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
2.027 * [taylor]: Taking taylor expansion of 1/2 in eps
2.027 * [taylor]: Taking taylor expansion of eps in eps
2.047 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (sin (* 1/2 eps)) 2) 1/3) (+ (* 1/9 (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2))) 1/6))) in eps
2.047 * [taylor]: Taking taylor expansion of -1 in eps
2.047 * [taylor]: Taking taylor expansion of (* (pow (pow (sin (* 1/2 eps)) 2) 1/3) (+ (* 1/9 (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2))) 1/6)) in eps
2.047 * [taylor]: Taking taylor expansion of (pow (pow (sin (* 1/2 eps)) 2) 1/3) in eps
2.048 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (* 1/2 eps)) 2)))) in eps
2.048 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (* 1/2 eps)) 2))) in eps
2.048 * [taylor]: Taking taylor expansion of 1/3 in eps
2.048 * [taylor]: Taking taylor expansion of (log (pow (sin (* 1/2 eps)) 2)) in eps
2.048 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps
2.048 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
2.048 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
2.048 * [taylor]: Taking taylor expansion of 1/2 in eps
2.048 * [taylor]: Taking taylor expansion of eps in eps
2.049 * [taylor]: Taking taylor expansion of (+ (* 1/9 (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2))) 1/6) in eps
2.049 * [taylor]: Taking taylor expansion of (* 1/9 (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2))) in eps
2.049 * [taylor]: Taking taylor expansion of 1/9 in eps
2.049 * [taylor]: Taking taylor expansion of (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2)) in eps
2.049 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 eps)) 2) in eps
2.049 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
2.049 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
2.049 * [taylor]: Taking taylor expansion of 1/2 in eps
2.049 * [taylor]: Taking taylor expansion of eps in eps
2.049 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps
2.049 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
2.049 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
2.049 * [taylor]: Taking taylor expansion of 1/2 in eps
2.049 * [taylor]: Taking taylor expansion of eps in eps
2.050 * [taylor]: Taking taylor expansion of 1/6 in eps
2.065 * [approximate]: Taking taylor expansion of (pow (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) 1/3) in (x eps) around 0
2.065 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) 1/3) in eps
2.065 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))))) in eps
2.065 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))))) in eps
2.065 * [taylor]: Taking taylor expansion of 1/3 in eps
2.065 * [taylor]: Taking taylor expansion of (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in eps
2.065 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
2.065 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
2.065 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
2.065 * [taylor]: Taking taylor expansion of 1/2 in eps
2.065 * [taylor]: Taking taylor expansion of eps in eps
2.065 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
2.065 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
2.065 * [taylor]: Taking taylor expansion of 1/2 in eps
2.065 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
2.065 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
2.065 * [taylor]: Taking taylor expansion of eps in eps
2.065 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
2.065 * [taylor]: Taking taylor expansion of 2 in eps
2.065 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
2.065 * [taylor]: Taking taylor expansion of x in eps
2.068 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) 1/3) in x
2.068 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))))) in x
2.068 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))))) in x
2.068 * [taylor]: Taking taylor expansion of 1/3 in x
2.068 * [taylor]: Taking taylor expansion of (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in x
2.068 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
2.068 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x
2.068 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x
2.068 * [taylor]: Taking taylor expansion of 1/2 in x
2.068 * [taylor]: Taking taylor expansion of eps in x
2.068 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
2.068 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
2.068 * [taylor]: Taking taylor expansion of 1/2 in x
2.068 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
2.068 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
2.068 * [taylor]: Taking taylor expansion of eps in x
2.068 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.069 * [taylor]: Taking taylor expansion of 2 in x
2.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.069 * [taylor]: Taking taylor expansion of x in x
2.071 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) 1/3) in x
2.071 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))))) in x
2.071 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))))) in x
2.071 * [taylor]: Taking taylor expansion of 1/3 in x
2.071 * [taylor]: Taking taylor expansion of (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in x
2.071 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
2.072 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x
2.072 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x
2.072 * [taylor]: Taking taylor expansion of 1/2 in x
2.072 * [taylor]: Taking taylor expansion of eps in x
2.072 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
2.072 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
2.072 * [taylor]: Taking taylor expansion of 1/2 in x
2.072 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
2.072 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
2.072 * [taylor]: Taking taylor expansion of eps in x
2.072 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.072 * [taylor]: Taking taylor expansion of 2 in x
2.072 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.072 * [taylor]: Taking taylor expansion of x in x
2.075 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) 1/3) in eps
2.075 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))))) in eps
2.075 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))))) in eps
2.075 * [taylor]: Taking taylor expansion of 1/3 in eps
2.075 * [taylor]: Taking taylor expansion of (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in eps
2.075 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
2.075 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
2.075 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
2.075 * [taylor]: Taking taylor expansion of 1/2 in eps
2.075 * [taylor]: Taking taylor expansion of eps in eps
2.075 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
2.075 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
2.075 * [taylor]: Taking taylor expansion of 1/2 in eps
2.075 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
2.075 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
2.075 * [taylor]: Taking taylor expansion of eps in eps
2.076 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
2.076 * [taylor]: Taking taylor expansion of 2 in eps
2.076 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
2.076 * [taylor]: Taking taylor expansion of x in eps
2.083 * [taylor]: Taking taylor expansion of 0 in eps
2.092 * [taylor]: Taking taylor expansion of 0 in eps
2.105 * [taylor]: Taking taylor expansion of 0 in eps
2.108 * [approximate]: Taking taylor expansion of (pow (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) 1/3) in (x eps) around 0
2.108 * [taylor]: Taking taylor expansion of (pow (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) 1/3) in eps
2.108 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps)))))) in eps
2.108 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))))) in eps
2.108 * [taylor]: Taking taylor expansion of 1/3 in eps
2.108 * [taylor]: Taking taylor expansion of (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps)))) in eps
2.108 * [taylor]: Taking taylor expansion of (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) in eps
2.108 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
2.108 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
2.108 * [taylor]: Taking taylor expansion of -1/2 in eps
2.108 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
2.108 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
2.108 * [taylor]: Taking taylor expansion of eps in eps
2.108 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
2.108 * [taylor]: Taking taylor expansion of 2 in eps
2.108 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
2.108 * [taylor]: Taking taylor expansion of x in eps
2.109 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
2.109 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
2.109 * [taylor]: Taking taylor expansion of -1/2 in eps
2.109 * [taylor]: Taking taylor expansion of eps in eps
2.111 * [taylor]: Taking taylor expansion of (pow (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) 1/3) in x
2.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps)))))) in x
2.111 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))))) in x
2.111 * [taylor]: Taking taylor expansion of 1/3 in x
2.111 * [taylor]: Taking taylor expansion of (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps)))) in x
2.111 * [taylor]: Taking taylor expansion of (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) in x
2.111 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
2.111 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
2.111 * [taylor]: Taking taylor expansion of -1/2 in x
2.111 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
2.111 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
2.111 * [taylor]: Taking taylor expansion of eps in x
2.111 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.111 * [taylor]: Taking taylor expansion of 2 in x
2.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.111 * [taylor]: Taking taylor expansion of x in x
2.112 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x
2.112 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x
2.112 * [taylor]: Taking taylor expansion of -1/2 in x
2.112 * [taylor]: Taking taylor expansion of eps in x
2.115 * [taylor]: Taking taylor expansion of (pow (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) 1/3) in x
2.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps)))))) in x
2.115 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))))) in x
2.115 * [taylor]: Taking taylor expansion of 1/3 in x
2.115 * [taylor]: Taking taylor expansion of (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps)))) in x
2.115 * [taylor]: Taking taylor expansion of (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) in x
2.115 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
2.115 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
2.115 * [taylor]: Taking taylor expansion of -1/2 in x
2.115 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
2.115 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
2.115 * [taylor]: Taking taylor expansion of eps in x
2.115 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.115 * [taylor]: Taking taylor expansion of 2 in x
2.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.115 * [taylor]: Taking taylor expansion of x in x
2.115 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x
2.115 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x
2.115 * [taylor]: Taking taylor expansion of -1/2 in x
2.115 * [taylor]: Taking taylor expansion of eps in x
2.118 * [taylor]: Taking taylor expansion of (pow (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) 1/3) in eps
2.118 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps)))))) in eps
2.118 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))))) in eps
2.118 * [taylor]: Taking taylor expansion of 1/3 in eps
2.118 * [taylor]: Taking taylor expansion of (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps)))) in eps
2.118 * [taylor]: Taking taylor expansion of (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) in eps
2.118 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
2.118 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
2.118 * [taylor]: Taking taylor expansion of -1/2 in eps
2.118 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
2.118 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
2.118 * [taylor]: Taking taylor expansion of eps in eps
2.118 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
2.118 * [taylor]: Taking taylor expansion of 2 in eps
2.118 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
2.119 * [taylor]: Taking taylor expansion of x in eps
2.119 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
2.119 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
2.119 * [taylor]: Taking taylor expansion of -1/2 in eps
2.119 * [taylor]: Taking taylor expansion of eps in eps
2.126 * [taylor]: Taking taylor expansion of 0 in eps
2.135 * [taylor]: Taking taylor expansion of 0 in eps
2.148 * [taylor]: Taking taylor expansion of 0 in eps
2.149 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
2.151 * [approximate]: Taking taylor expansion of (pow (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) 1/3) in (x eps) around 0
2.151 * [taylor]: Taking taylor expansion of (pow (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) 1/3) in eps
2.151 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))))) in eps
2.151 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))))) in eps
2.151 * [taylor]: Taking taylor expansion of 1/3 in eps
2.151 * [taylor]: Taking taylor expansion of (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))) in eps
2.151 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) in eps
2.151 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in eps
2.151 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
2.151 * [taylor]: Taking taylor expansion of 1/2 in eps
2.151 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
2.151 * [taylor]: Taking taylor expansion of (* 2 x) in eps
2.151 * [taylor]: Taking taylor expansion of 2 in eps
2.151 * [taylor]: Taking taylor expansion of x in eps
2.151 * [taylor]: Taking taylor expansion of eps in eps
2.151 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
2.151 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
2.151 * [taylor]: Taking taylor expansion of 1/2 in eps
2.151 * [taylor]: Taking taylor expansion of eps in eps
2.155 * [taylor]: Taking taylor expansion of (pow (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) 1/3) in x
2.155 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))))) in x
2.156 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))))) in x
2.156 * [taylor]: Taking taylor expansion of 1/3 in x
2.156 * [taylor]: Taking taylor expansion of (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))) in x
2.156 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) in x
2.156 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in x
2.156 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
2.156 * [taylor]: Taking taylor expansion of 1/2 in x
2.156 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
2.156 * [taylor]: Taking taylor expansion of (* 2 x) in x
2.156 * [taylor]: Taking taylor expansion of 2 in x
2.156 * [taylor]: Taking taylor expansion of x in x
2.156 * [taylor]: Taking taylor expansion of eps in x
2.156 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x
2.156 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
2.156 * [taylor]: Taking taylor expansion of 1/2 in x
2.156 * [taylor]: Taking taylor expansion of eps in x
2.159 * [taylor]: Taking taylor expansion of (pow (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) 1/3) in x
2.159 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))))) in x
2.159 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))))) in x
2.159 * [taylor]: Taking taylor expansion of 1/3 in x
2.159 * [taylor]: Taking taylor expansion of (log (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))) in x
2.159 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps))) in x
2.159 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in x
2.159 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
2.159 * [taylor]: Taking taylor expansion of 1/2 in x
2.159 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
2.159 * [taylor]: Taking taylor expansion of (* 2 x) in x
2.159 * [taylor]: Taking taylor expansion of 2 in x
2.159 * [taylor]: Taking taylor expansion of x in x
2.159 * [taylor]: Taking taylor expansion of eps in x
2.160 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x
2.160 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
2.160 * [taylor]: Taking taylor expansion of 1/2 in x
2.160 * [taylor]: Taking taylor expansion of eps in x
2.162 * [taylor]: Taking taylor expansion of (pow (pow (sin (* 1/2 eps)) 2) 1/3) in eps
2.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (* 1/2 eps)) 2)))) in eps
2.162 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (* 1/2 eps)) 2))) in eps
2.162 * [taylor]: Taking taylor expansion of 1/3 in eps
2.162 * [taylor]: Taking taylor expansion of (log (pow (sin (* 1/2 eps)) 2)) in eps
2.162 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps
2.162 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
2.162 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
2.162 * [taylor]: Taking taylor expansion of 1/2 in eps
2.162 * [taylor]: Taking taylor expansion of eps in eps
2.169 * [taylor]: Taking taylor expansion of (* 1/3 (* (cos (* 1/2 eps)) (pow (/ 1 (sin (* 1/2 eps))) 1/3))) in eps
2.169 * [taylor]: Taking taylor expansion of 1/3 in eps
2.169 * [taylor]: Taking taylor expansion of (* (cos (* 1/2 eps)) (pow (/ 1 (sin (* 1/2 eps))) 1/3)) in eps
2.169 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
2.169 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
2.169 * [taylor]: Taking taylor expansion of 1/2 in eps
2.169 * [taylor]: Taking taylor expansion of eps in eps
2.170 * [taylor]: Taking taylor expansion of (pow (/ 1 (sin (* 1/2 eps))) 1/3) in eps
2.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (sin (* 1/2 eps)))))) in eps
2.170 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (sin (* 1/2 eps))))) in eps
2.170 * [taylor]: Taking taylor expansion of 1/3 in eps
2.170 * [taylor]: Taking taylor expansion of (log (/ 1 (sin (* 1/2 eps)))) in eps
2.170 * [taylor]: Taking taylor expansion of (/ 1 (sin (* 1/2 eps))) in eps
2.170 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
2.170 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
2.170 * [taylor]: Taking taylor expansion of 1/2 in eps
2.170 * [taylor]: Taking taylor expansion of eps in eps
2.189 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (sin (* 1/2 eps)) 2) 1/3) (+ (* 1/9 (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2))) 1/6))) in eps
2.189 * [taylor]: Taking taylor expansion of -1 in eps
2.189 * [taylor]: Taking taylor expansion of (* (pow (pow (sin (* 1/2 eps)) 2) 1/3) (+ (* 1/9 (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2))) 1/6)) in eps
2.189 * [taylor]: Taking taylor expansion of (pow (pow (sin (* 1/2 eps)) 2) 1/3) in eps
2.189 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (* 1/2 eps)) 2)))) in eps
2.189 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (* 1/2 eps)) 2))) in eps
2.189 * [taylor]: Taking taylor expansion of 1/3 in eps
2.189 * [taylor]: Taking taylor expansion of (log (pow (sin (* 1/2 eps)) 2)) in eps
2.189 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps
2.189 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
2.189 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
2.189 * [taylor]: Taking taylor expansion of 1/2 in eps
2.189 * [taylor]: Taking taylor expansion of eps in eps
2.191 * [taylor]: Taking taylor expansion of (+ (* 1/9 (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2))) 1/6) in eps
2.191 * [taylor]: Taking taylor expansion of (* 1/9 (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2))) in eps
2.191 * [taylor]: Taking taylor expansion of 1/9 in eps
2.191 * [taylor]: Taking taylor expansion of (/ (pow (cos (* 1/2 eps)) 2) (pow (sin (* 1/2 eps)) 2)) in eps
2.191 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 eps)) 2) in eps
2.191 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
2.191 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
2.191 * [taylor]: Taking taylor expansion of 1/2 in eps
2.191 * [taylor]: Taking taylor expansion of eps in eps
2.191 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps
2.191 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
2.191 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
2.191 * [taylor]: Taking taylor expansion of 1/2 in eps
2.191 * [taylor]: Taking taylor expansion of eps in eps
2.192 * [taylor]: Taking taylor expansion of 1/6 in eps
2.206 * [approximate]: Taking taylor expansion of (pow (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) 1/3) in (x eps) around 0
2.206 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) 1/3) in eps
2.206 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))))) in eps
2.206 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))))) in eps
2.206 * [taylor]: Taking taylor expansion of 1/3 in eps
2.206 * [taylor]: Taking taylor expansion of (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in eps
2.206 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
2.206 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
2.206 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
2.206 * [taylor]: Taking taylor expansion of 1/2 in eps
2.206 * [taylor]: Taking taylor expansion of eps in eps
2.206 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
2.206 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
2.206 * [taylor]: Taking taylor expansion of 1/2 in eps
2.206 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
2.206 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
2.206 * [taylor]: Taking taylor expansion of eps in eps
2.207 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
2.207 * [taylor]: Taking taylor expansion of 2 in eps
2.207 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
2.207 * [taylor]: Taking taylor expansion of x in eps
2.210 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) 1/3) in x
2.210 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))))) in x
2.210 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))))) in x
2.210 * [taylor]: Taking taylor expansion of 1/3 in x
2.210 * [taylor]: Taking taylor expansion of (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in x
2.210 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
2.210 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x
2.210 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x
2.210 * [taylor]: Taking taylor expansion of 1/2 in x
2.210 * [taylor]: Taking taylor expansion of eps in x
2.210 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
2.210 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
2.210 * [taylor]: Taking taylor expansion of 1/2 in x
2.210 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
2.210 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
2.210 * [taylor]: Taking taylor expansion of eps in x
2.210 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.210 * [taylor]: Taking taylor expansion of 2 in x
2.210 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.210 * [taylor]: Taking taylor expansion of x in x
2.214 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) 1/3) in x
2.214 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))))) in x
2.214 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))))) in x
2.214 * [taylor]: Taking taylor expansion of 1/3 in x
2.214 * [taylor]: Taking taylor expansion of (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in x
2.214 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
2.214 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x
2.214 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x
2.214 * [taylor]: Taking taylor expansion of 1/2 in x
2.214 * [taylor]: Taking taylor expansion of eps in x
2.214 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
2.214 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
2.214 * [taylor]: Taking taylor expansion of 1/2 in x
2.214 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
2.214 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
2.214 * [taylor]: Taking taylor expansion of eps in x
2.214 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.214 * [taylor]: Taking taylor expansion of 2 in x
2.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.214 * [taylor]: Taking taylor expansion of x in x
2.218 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) 1/3) in eps
2.218 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))))) in eps
2.218 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))))) in eps
2.218 * [taylor]: Taking taylor expansion of 1/3 in eps
2.218 * [taylor]: Taking taylor expansion of (log (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in eps
2.218 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
2.218 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
2.218 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
2.218 * [taylor]: Taking taylor expansion of 1/2 in eps
2.218 * [taylor]: Taking taylor expansion of eps in eps
2.218 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
2.218 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
2.218 * [taylor]: Taking taylor expansion of 1/2 in eps
2.218 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
2.218 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
2.218 * [taylor]: Taking taylor expansion of eps in eps
2.219 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
2.219 * [taylor]: Taking taylor expansion of 2 in eps
2.219 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
2.219 * [taylor]: Taking taylor expansion of x in eps
2.226 * [taylor]: Taking taylor expansion of 0 in eps
2.238 * [taylor]: Taking taylor expansion of 0 in eps
2.251 * [taylor]: Taking taylor expansion of 0 in eps
2.253 * [approximate]: Taking taylor expansion of (pow (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) 1/3) in (x eps) around 0
2.253 * [taylor]: Taking taylor expansion of (pow (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) 1/3) in eps
2.253 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps)))))) in eps
2.253 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))))) in eps
2.253 * [taylor]: Taking taylor expansion of 1/3 in eps
2.253 * [taylor]: Taking taylor expansion of (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps)))) in eps
2.253 * [taylor]: Taking taylor expansion of (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) in eps
2.253 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
2.253 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
2.253 * [taylor]: Taking taylor expansion of -1/2 in eps
2.253 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
2.253 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
2.253 * [taylor]: Taking taylor expansion of eps in eps
2.253 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
2.253 * [taylor]: Taking taylor expansion of 2 in eps
2.253 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
2.253 * [taylor]: Taking taylor expansion of x in eps
2.254 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
2.254 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
2.254 * [taylor]: Taking taylor expansion of -1/2 in eps
2.254 * [taylor]: Taking taylor expansion of eps in eps
2.256 * [taylor]: Taking taylor expansion of (pow (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) 1/3) in x
2.256 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps)))))) in x
2.256 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))))) in x
2.256 * [taylor]: Taking taylor expansion of 1/3 in x
2.256 * [taylor]: Taking taylor expansion of (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps)))) in x
2.256 * [taylor]: Taking taylor expansion of (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) in x
2.256 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
2.256 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
2.256 * [taylor]: Taking taylor expansion of -1/2 in x
2.256 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
2.256 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
2.256 * [taylor]: Taking taylor expansion of eps in x
2.256 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.256 * [taylor]: Taking taylor expansion of 2 in x
2.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.256 * [taylor]: Taking taylor expansion of x in x
2.257 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x
2.257 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x
2.257 * [taylor]: Taking taylor expansion of -1/2 in x
2.257 * [taylor]: Taking taylor expansion of eps in x
2.260 * [taylor]: Taking taylor expansion of (pow (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) 1/3) in x
2.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps)))))) in x
2.260 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))))) in x
2.260 * [taylor]: Taking taylor expansion of 1/3 in x
2.260 * [taylor]: Taking taylor expansion of (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps)))) in x
2.260 * [taylor]: Taking taylor expansion of (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) in x
2.260 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
2.260 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
2.260 * [taylor]: Taking taylor expansion of -1/2 in x
2.260 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
2.260 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
2.260 * [taylor]: Taking taylor expansion of eps in x
2.260 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.260 * [taylor]: Taking taylor expansion of 2 in x
2.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.260 * [taylor]: Taking taylor expansion of x in x
2.260 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x
2.260 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x
2.260 * [taylor]: Taking taylor expansion of -1/2 in x
2.260 * [taylor]: Taking taylor expansion of eps in x
2.263 * [taylor]: Taking taylor expansion of (pow (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) 1/3) in eps
2.263 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps)))))) in eps
2.263 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))))) in eps
2.263 * [taylor]: Taking taylor expansion of 1/3 in eps
2.263 * [taylor]: Taking taylor expansion of (log (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps)))) in eps
2.263 * [taylor]: Taking taylor expansion of (* (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ -1/2 eps))) in eps
2.263 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
2.263 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
2.263 * [taylor]: Taking taylor expansion of -1/2 in eps
2.263 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
2.263 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
2.263 * [taylor]: Taking taylor expansion of eps in eps
2.263 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
2.263 * [taylor]: Taking taylor expansion of 2 in eps
2.263 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
2.264 * [taylor]: Taking taylor expansion of x in eps
2.264 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
2.264 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
2.264 * [taylor]: Taking taylor expansion of -1/2 in eps
2.264 * [taylor]: Taking taylor expansion of eps in eps
2.272 * [taylor]: Taking taylor expansion of 0 in eps
2.281 * [taylor]: Taking taylor expansion of 0 in eps
2.294 * [taylor]: Taking taylor expansion of 0 in eps
2.295 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1)
2.295 * [approximate]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in (x eps) around 0
2.295 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in eps
2.295 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
2.295 * [taylor]: Taking taylor expansion of 1/2 in eps
2.295 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
2.295 * [taylor]: Taking taylor expansion of (* 2 x) in eps
2.295 * [taylor]: Taking taylor expansion of 2 in eps
2.296 * [taylor]: Taking taylor expansion of x in eps
2.296 * [taylor]: Taking taylor expansion of eps in eps
2.296 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in x
2.296 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
2.296 * [taylor]: Taking taylor expansion of 1/2 in x
2.296 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
2.296 * [taylor]: Taking taylor expansion of (* 2 x) in x
2.296 * [taylor]: Taking taylor expansion of 2 in x
2.296 * [taylor]: Taking taylor expansion of x in x
2.296 * [taylor]: Taking taylor expansion of eps in x
2.296 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (* 2 x) eps))) in x
2.297 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
2.297 * [taylor]: Taking taylor expansion of 1/2 in x
2.297 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
2.297 * [taylor]: Taking taylor expansion of (* 2 x) in x
2.297 * [taylor]: Taking taylor expansion of 2 in x
2.297 * [taylor]: Taking taylor expansion of x in x
2.297 * [taylor]: Taking taylor expansion of eps in x
2.297 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
2.297 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
2.297 * [taylor]: Taking taylor expansion of 1/2 in eps
2.297 * [taylor]: Taking taylor expansion of eps in eps
2.299 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
2.299 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
2.299 * [taylor]: Taking taylor expansion of 1/2 in eps
2.299 * [taylor]: Taking taylor expansion of eps in eps
2.301 * [taylor]: Taking taylor expansion of (neg (* 1/2 (sin (* 1/2 eps)))) in eps
2.301 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/2 eps))) in eps
2.301 * [taylor]: Taking taylor expansion of 1/2 in eps
2.301 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
2.301 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
2.301 * [taylor]: Taking taylor expansion of 1/2 in eps
2.301 * [taylor]: Taking taylor expansion of eps in eps
2.304 * [taylor]: Taking taylor expansion of (neg (* 1/6 (cos (* 1/2 eps)))) in eps
2.304 * [taylor]: Taking taylor expansion of (* 1/6 (cos (* 1/2 eps))) in eps
2.305 * [taylor]: Taking taylor expansion of 1/6 in eps
2.305 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
2.305 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
2.305 * [taylor]: Taking taylor expansion of 1/2 in eps
2.305 * [taylor]: Taking taylor expansion of eps in eps
2.306 * [approximate]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
2.306 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
2.306 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
2.306 * [taylor]: Taking taylor expansion of 1/2 in eps
2.306 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
2.306 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
2.306 * [taylor]: Taking taylor expansion of eps in eps
2.306 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
2.306 * [taylor]: Taking taylor expansion of 2 in eps
2.306 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
2.306 * [taylor]: Taking taylor expansion of x in eps
2.307 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
2.307 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
2.307 * [taylor]: Taking taylor expansion of 1/2 in x
2.307 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
2.307 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
2.307 * [taylor]: Taking taylor expansion of eps in x
2.307 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.307 * [taylor]: Taking taylor expansion of 2 in x
2.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.307 * [taylor]: Taking taylor expansion of x in x
2.307 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
2.307 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
2.308 * [taylor]: Taking taylor expansion of 1/2 in x
2.308 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
2.308 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
2.308 * [taylor]: Taking taylor expansion of eps in x
2.308 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.308 * [taylor]: Taking taylor expansion of 2 in x
2.308 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.308 * [taylor]: Taking taylor expansion of x in x
2.308 * [taylor]: Taking taylor expansion of (sin (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
2.308 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
2.308 * [taylor]: Taking taylor expansion of 1/2 in eps
2.308 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
2.308 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
2.308 * [taylor]: Taking taylor expansion of eps in eps
2.308 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
2.308 * [taylor]: Taking taylor expansion of 2 in eps
2.308 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
2.308 * [taylor]: Taking taylor expansion of x in eps
2.309 * [taylor]: Taking taylor expansion of 0 in eps
2.309 * [taylor]: Taking taylor expansion of 0 in eps
2.309 * [taylor]: Taking taylor expansion of 0 in eps
2.310 * [approximate]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
2.310 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
2.310 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
2.311 * [taylor]: Taking taylor expansion of -1/2 in eps
2.311 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
2.311 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
2.311 * [taylor]: Taking taylor expansion of eps in eps
2.311 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
2.311 * [taylor]: Taking taylor expansion of 2 in eps
2.311 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
2.311 * [taylor]: Taking taylor expansion of x in eps
2.311 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
2.311 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
2.311 * [taylor]: Taking taylor expansion of -1/2 in x
2.311 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
2.311 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
2.311 * [taylor]: Taking taylor expansion of eps in x
2.311 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.311 * [taylor]: Taking taylor expansion of 2 in x
2.311 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.311 * [taylor]: Taking taylor expansion of x in x
2.312 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
2.312 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
2.312 * [taylor]: Taking taylor expansion of -1/2 in x
2.312 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
2.312 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
2.312 * [taylor]: Taking taylor expansion of eps in x
2.312 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.312 * [taylor]: Taking taylor expansion of 2 in x
2.312 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.312 * [taylor]: Taking taylor expansion of x in x
2.313 * [taylor]: Taking taylor expansion of (sin (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
2.313 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
2.313 * [taylor]: Taking taylor expansion of -1/2 in eps
2.313 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
2.313 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
2.313 * [taylor]: Taking taylor expansion of eps in eps
2.313 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
2.313 * [taylor]: Taking taylor expansion of 2 in eps
2.313 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
2.313 * [taylor]: Taking taylor expansion of x in eps
2.314 * [taylor]: Taking taylor expansion of 0 in eps
2.314 * [taylor]: Taking taylor expansion of 0 in eps
2.314 * [taylor]: Taking taylor expansion of 0 in eps
2.314 * * * [progress]: simplifying candidates
2.315 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (sqrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (sqrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (*.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))) (cbrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))))
  (cbrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (cbrt.f64 (-.f64 (cos.f64 (-.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2) (/.f64 eps 2))) (cos.f64 (+.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2) (/.f64 eps 2)))))
  (cbrt.f64 2)
  (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (cbrt.f64 (sin.f64 (/.f64 eps 2)))
  (exp.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (log.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (sqrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (sqrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (*.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))) (cbrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))))
  (cbrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (cbrt.f64 (-.f64 (cos.f64 (-.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2) (/.f64 eps 2))) (cos.f64 (+.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2) (/.f64 eps 2)))))
  (cbrt.f64 2)
  (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (cbrt.f64 (sin.f64 (/.f64 eps 2)))
  (exp.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (log.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (sqrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (sqrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (*.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))) (cbrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))))
  (cbrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (cbrt.f64 (-.f64 (cos.f64 (-.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2) (/.f64 eps 2))) (cos.f64 (+.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2) (/.f64 eps 2)))))
  (cbrt.f64 2)
  (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (cbrt.f64 (sin.f64 (/.f64 eps 2)))
  (exp.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (log.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (*.f64 (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
  (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (log.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (-.f64 (+.f64 (exp.f64 (*.f64 1/3 (+.f64 (*.f64 2 (log.f64 eps)) (log.f64 1/4)))) (*.f64 1/3 (*.f64 x (exp.f64 (*.f64 1/3 (-.f64 (log.f64 2) (log.f64 eps))))))) (*.f64 13/162 (*.f64 (exp.f64 (*.f64 1/3 (+.f64 (*.f64 2 (log.f64 eps)) (log.f64 1/4)))) (pow.f64 x 2))))
  (pow.f64 (*.f64 (sin.f64 (*.f64 1/2 (+.f64 (*.f64 2 x) eps))) (sin.f64 (*.f64 1/2 eps))) 1/3)
  (pow.f64 (*.f64 (sin.f64 (*.f64 1/2 (+.f64 (*.f64 2 x) eps))) (sin.f64 (*.f64 1/2 eps))) 1/3)
  (-.f64 (+.f64 (exp.f64 (*.f64 1/3 (+.f64 (*.f64 2 (log.f64 eps)) (log.f64 1/4)))) (*.f64 1/3 (*.f64 x (exp.f64 (*.f64 1/3 (-.f64 (log.f64 2) (log.f64 eps))))))) (*.f64 13/162 (*.f64 (exp.f64 (*.f64 1/3 (+.f64 (*.f64 2 (log.f64 eps)) (log.f64 1/4)))) (pow.f64 x 2))))
  (pow.f64 (*.f64 (sin.f64 (*.f64 1/2 (+.f64 (*.f64 2 x) eps))) (sin.f64 (*.f64 1/2 eps))) 1/3)
  (pow.f64 (*.f64 (sin.f64 (*.f64 1/2 (+.f64 (*.f64 2 x) eps))) (sin.f64 (*.f64 1/2 eps))) 1/3)
  (-.f64 (+.f64 (exp.f64 (*.f64 1/3 (+.f64 (*.f64 2 (log.f64 eps)) (log.f64 1/4)))) (*.f64 1/3 (*.f64 x (exp.f64 (*.f64 1/3 (-.f64 (log.f64 2) (log.f64 eps))))))) (*.f64 13/162 (*.f64 (exp.f64 (*.f64 1/3 (+.f64 (*.f64 2 (log.f64 eps)) (log.f64 1/4)))) (pow.f64 x 2))))
  (pow.f64 (*.f64 (sin.f64 (*.f64 1/2 (+.f64 (*.f64 2 x) eps))) (sin.f64 (*.f64 1/2 eps))) 1/3)
  (pow.f64 (*.f64 (sin.f64 (*.f64 1/2 (+.f64 (*.f64 2 x) eps))) (sin.f64 (*.f64 1/2 eps))) 1/3)
  (-.f64 (+.f64 (*.f64 1/2 eps) x) (*.f64 1/6 (pow.f64 x 3)))
  (sin.f64 (*.f64 1/2 (+.f64 (*.f64 2 x) eps)))
  (sin.f64 (*.f64 1/2 (+.f64 (*.f64 2 x) eps)))
2.415 * * [simplify]: iteration  0 :  5335  enodes  (cost  1133 )
2.421 * [simplify]: Simplified to:
   (sqrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (sqrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))
  (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))) (cbrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))))
  (cbrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (cbrt.f64 (-.f64 (cos.f64 (-.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2) (/.f64 eps 2))) (cos.f64 (+.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2) (/.f64 eps 2)))))
  (cbrt.f64 2)
  (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (cbrt.f64 (sin.f64 (/.f64 eps 2)))
  (exp.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (log.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (sqrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (sqrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))
  (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))) (cbrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))))
  (cbrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (cbrt.f64 (-.f64 (cos.f64 (-.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2) (/.f64 eps 2))) (cos.f64 (+.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2) (/.f64 eps 2)))))
  (cbrt.f64 2)
  (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (cbrt.f64 (sin.f64 (/.f64 eps 2)))
  (exp.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (log.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (sqrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (sqrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))
  (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))) (cbrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))))
  (cbrt.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (cbrt.f64 (-.f64 (cos.f64 (-.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2) (/.f64 eps 2))) (cos.f64 (+.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2) (/.f64 eps 2)))))
  (cbrt.f64 2)
  (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (cbrt.f64 (sin.f64 (/.f64 eps 2)))
  (exp.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (log.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))
  (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (pow.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) 3)
  (*.f64 (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
  (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (log.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
  (+.f64 (*.f64 1/3 (*.f64 x (cbrt.f64 (/.f64 2 eps)))) (*.f64 (+.f64 1 (*.f64 (*.f64 x x) -13/162)) (*.f64 (pow.f64 eps 2/3) (cbrt.f64 1/4))))
  (cbrt.f64 (*.f64 (sin.f64 (+.f64 x (*.f64 eps 1/2))) (sin.f64 (*.f64 eps 1/2))))
  (cbrt.f64 (*.f64 (sin.f64 (+.f64 x (*.f64 eps 1/2))) (sin.f64 (*.f64 eps 1/2))))
  (+.f64 (*.f64 1/3 (*.f64 x (cbrt.f64 (/.f64 2 eps)))) (*.f64 (+.f64 1 (*.f64 (*.f64 x x) -13/162)) (*.f64 (pow.f64 eps 2/3) (cbrt.f64 1/4))))
  (cbrt.f64 (*.f64 (sin.f64 (+.f64 x (*.f64 eps 1/2))) (sin.f64 (*.f64 eps 1/2))))
  (cbrt.f64 (*.f64 (sin.f64 (+.f64 x (*.f64 eps 1/2))) (sin.f64 (*.f64 eps 1/2))))
  (+.f64 (*.f64 1/3 (*.f64 x (cbrt.f64 (/.f64 2 eps)))) (*.f64 (+.f64 1 (*.f64 (*.f64 x x) -13/162)) (*.f64 (pow.f64 eps 2/3) (cbrt.f64 1/4))))
  (cbrt.f64 (*.f64 (sin.f64 (+.f64 x (*.f64 eps 1/2))) (sin.f64 (*.f64 eps 1/2))))
  (cbrt.f64 (*.f64 (sin.f64 (+.f64 x (*.f64 eps 1/2))) (sin.f64 (*.f64 eps 1/2))))
  (+.f64 x (-.f64 (*.f64 eps 1/2) (*.f64 1/6 (pow.f64 x 3))))
  (sin.f64 (+.f64 x (*.f64 eps 1/2)))
  (sin.f64 (+.f64 x (*.f64 eps 1/2)))
2.422 * * * [progress]: adding candidates to table
2.704 * [progress]: [Phase 3 of 3] Extracting.
2.704 * * [regime]: Finding splitpoints for: (#<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (cbrt.f64 (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (/.f64 (-.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 3) (pow.f64 (cos.f64 x) 3)) (+.f64 (*.f64 (cos.f64 x) (cos.f64 x)) (*.f64 (cos.f64 (+.f64 x eps)) (+.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2))) (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))) (log.f64 (exp.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (log.f64 (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sqrt.f64 (sin.f64 (/.f64 eps 2)))) (*.f64 (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sqrt.f64 (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (sqrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))) (sqrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (*.f64 -2 (cbrt.f64 (pow.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) 3))))> #<alt (λ (x eps) (exp.f64 (log.f64 (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) -2))))> #<alt (λ (x eps) (-.f64 (-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x)))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (+.f64 (cos.f64 x) (*.f64 (sin.f64 x) (sin.f64 eps)))))> #<alt (λ (x eps) (*.f64 -2 (log.f64 (pow.f64 (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2))))))> #<alt (λ (x eps) (*.f64 -2 (exp.f64 (log.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (-.f64 (*.f64 (pow.f64 eps 4) 1/24) (*.f64 eps (+.f64 x (*.f64 eps 1/2)))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))) (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))))))>)
2.709 * * * [regime-changes]: Trying 2 branch expressions: (eps x)
2.709 * * * * [regimes]: Trying to branch on eps from (#<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (cbrt.f64 (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (/.f64 (-.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 3) (pow.f64 (cos.f64 x) 3)) (+.f64 (*.f64 (cos.f64 x) (cos.f64 x)) (*.f64 (cos.f64 (+.f64 x eps)) (+.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2))) (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))) (log.f64 (exp.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (log.f64 (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sqrt.f64 (sin.f64 (/.f64 eps 2)))) (*.f64 (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sqrt.f64 (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (sqrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))) (sqrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (*.f64 -2 (cbrt.f64 (pow.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) 3))))> #<alt (λ (x eps) (exp.f64 (log.f64 (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) -2))))> #<alt (λ (x eps) (-.f64 (-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x)))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (+.f64 (cos.f64 x) (*.f64 (sin.f64 x) (sin.f64 eps)))))> #<alt (λ (x eps) (*.f64 -2 (log.f64 (pow.f64 (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2))))))> #<alt (λ (x eps) (*.f64 -2 (exp.f64 (log.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (-.f64 (*.f64 (pow.f64 eps 4) 1/24) (*.f64 eps (+.f64 x (*.f64 eps 1/2)))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))) (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))))))>)
2.894 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (cbrt.f64 (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (/.f64 (-.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 3) (pow.f64 (cos.f64 x) 3)) (+.f64 (*.f64 (cos.f64 x) (cos.f64 x)) (*.f64 (cos.f64 (+.f64 x eps)) (+.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2))) (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))) (log.f64 (exp.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (log.f64 (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sqrt.f64 (sin.f64 (/.f64 eps 2)))) (*.f64 (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sqrt.f64 (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (sqrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))) (sqrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (*.f64 -2 (cbrt.f64 (pow.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) 3))))> #<alt (λ (x eps) (exp.f64 (log.f64 (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) -2))))> #<alt (λ (x eps) (-.f64 (-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x)))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (+.f64 (cos.f64 x) (*.f64 (sin.f64 x) (sin.f64 eps)))))> #<alt (λ (x eps) (*.f64 -2 (log.f64 (pow.f64 (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2))))))> #<alt (λ (x eps) (*.f64 -2 (exp.f64 (log.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (-.f64 (*.f64 (pow.f64 eps 4) 1/24) (*.f64 eps (+.f64 x (*.f64 eps 1/2)))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))) (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))))))>)
3.088 * * * [regime]: Found split indices: #<option (#s(si 10 62) #s(si 2 185) #s(si 12 255))>
3.089 * [binary-search]: Improving bounds with binary search for eps and (#<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (cbrt.f64 (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (/.f64 (-.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 3) (pow.f64 (cos.f64 x) 3)) (+.f64 (*.f64 (cos.f64 x) (cos.f64 x)) (*.f64 (cos.f64 (+.f64 x eps)) (+.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2))) (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))) (log.f64 (exp.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (log.f64 (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sqrt.f64 (sin.f64 (/.f64 eps 2)))) (*.f64 (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sqrt.f64 (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (sqrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))) (sqrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (*.f64 -2 (cbrt.f64 (pow.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) 3))))> #<alt (λ (x eps) (exp.f64 (log.f64 (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) -2))))> #<alt (λ (x eps) (-.f64 (-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x)))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (+.f64 (cos.f64 x) (*.f64 (sin.f64 x) (sin.f64 eps)))))> #<alt (λ (x eps) (*.f64 -2 (log.f64 (pow.f64 (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2))))))> #<alt (λ (x eps) (*.f64 -2 (exp.f64 (log.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (-.f64 (*.f64 (pow.f64 eps 4) 1/24) (*.f64 eps (+.f64 x (*.f64 eps 1/2)))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))) (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))))))>)
3.174 * [regimes]: Found splitpoints: (#s(sp 10 eps -2.8455796645710814e-07) #s(sp 2 eps 0.027486047656807233) #s(sp 12 eps +nan.0)) , with alts (#<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (cbrt.f64 (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (/.f64 (-.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 3) (pow.f64 (cos.f64 x) 3)) (+.f64 (*.f64 (cos.f64 x) (cos.f64 x)) (*.f64 (cos.f64 (+.f64 x eps)) (+.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2))) (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))) (log.f64 (exp.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (log.f64 (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sqrt.f64 (sin.f64 (/.f64 eps 2)))) (*.f64 (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sqrt.f64 (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (sqrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))) (sqrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (*.f64 -2 (cbrt.f64 (pow.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) 3))))> #<alt (λ (x eps) (exp.f64 (log.f64 (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))) -2))))> #<alt (λ (x eps) (-.f64 (-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x)))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2))))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (+.f64 (cos.f64 x) (*.f64 (sin.f64 x) (sin.f64 eps)))))> #<alt (λ (x eps) (*.f64 -2 (log.f64 (pow.f64 (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2))))))> #<alt (λ (x eps) (*.f64 -2 (exp.f64 (log.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))))))> #<alt (λ (x eps) (-.f64 (*.f64 (pow.f64 eps 4) 1/24) (*.f64 eps (+.f64 x (*.f64 eps 1/2)))))> #<alt (λ (x eps) (*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))) (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))))))>)
3.175 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<=.f64 eps -5375148012922369/18889465931478580854784) (-.f64 (-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x)) (if (<=.f64 eps 495144615940339/18014398509481984) (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))) (-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (+.f64 (cos.f64 x) (*.f64 (sin.f64 x) (sin.f64 eps))))))
3.178 * * [simplify]: iteration  0 :  83  enodes  (cost  81 )
3.178 * * [simplify]: iteration  1 :  83  enodes  (cost  81 )
3.178 * [simplify]: Simplified to:
   (if (<=.f64 eps -5375148012922369/18889465931478580854784) (-.f64 (-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x)) (if (<=.f64 eps 495144615940339/18014398509481984) (*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))) (-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (+.f64 (cos.f64 x) (*.f64 (sin.f64 x) (sin.f64 eps))))))
10.180 * [regime-testing]: End program error score: 0.729058848241115