20.105 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.092 * * * [progress]: [2/2] Setting up program.
0.096 * [progress]: [Phase 2 of 3] Improving.
0.096 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (- (cos (+ x eps)) (cos x))
0.098 * * [simplify]: iteration  0 :  9  enodes  (cost  4 )
0.099 * * [simplify]: iteration  1 :  10  enodes  (cost  4 )
0.099 * * [simplify]: iteration  2 :  10  enodes  (cost  4 )
0.100 * [simplify]: Simplified to:
  (- (cos (+ x eps)) (cos x))
0.100 * * [progress]: iteration 1 / 4
0.100 * * * [progress]: picking best candidate
0.103 * * * * [pick]: Picked  #<alt (λ (x eps) (- (cos (+ x eps)) (cos x)))>
0.103 * * * [progress]: localizing error
0.120 * * * [progress]: generating rewritten candidates
0.120 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.124 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.130 * * * [progress]: generating series expansions
0.130 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.130 * [approximate]: Approximating (cos (+ x eps)) in (x eps) around 0
0.132 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in eps
0.135 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in eps
0.139 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in eps
0.141 * [approximate]: Approximating (cos (+ (/ 1 eps) (/ 1 x))) in (x eps) around 0
0.143 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in eps
0.144 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in eps
0.144 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in eps
0.144 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in eps
0.144 * [approximate]: Approximating (cos (neg (+ (/ 1 eps) (/ 1 x)))) in (x eps) around 0
0.148 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in eps
0.149 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in eps
0.149 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in eps
0.149 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in eps
0.150 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.150 * [approximate]: Approximating (- (cos (+ x eps)) (cos x)) in (x eps) around 0
0.151 * [taylor]: Taking taylor expansion of (- (cos (+ x eps)) (cos x)) in eps
0.154 * [taylor]: Taking taylor expansion of (- (cos (+ x eps)) (cos x)) in eps
0.160 * [taylor]: Taking taylor expansion of (- (cos (+ x eps)) (cos x)) in eps
0.168 * [taylor]: Taking taylor expansion of (- (cos (+ x eps)) (cos x)) in eps
0.179 * [taylor]: Taking taylor expansion of (- (cos (+ x eps)) (cos x)) in eps
0.181 * [approximate]: Approximating (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in (x eps) around 0
0.185 * [taylor]: Taking taylor expansion of (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in eps
0.187 * [taylor]: Taking taylor expansion of (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in eps
0.191 * [taylor]: Taking taylor expansion of (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in eps
0.195 * [taylor]: Taking taylor expansion of (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in eps
0.195 * [approximate]: Approximating (- (cos (neg (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in (x eps) around 0
0.205 * [taylor]: Taking taylor expansion of (- (cos (neg (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in eps
0.208 * [taylor]: Taking taylor expansion of (- (cos (neg (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in eps
0.212 * [taylor]: Taking taylor expansion of (- (cos (neg (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in eps
0.216 * [taylor]: Taking taylor expansion of (- (cos (neg (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in eps
0.216 * * * [progress]: simplifying candidates
0.217 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (cos x) (cos eps))
  (* (sin x) (sin eps))
  (log (cos (+ x eps)))
  (exp (cos (+ x eps)))
  (* (cbrt (cos (+ x eps))) (cbrt (cos (+ x eps))))
  (cbrt (cos (+ x eps)))
  (* (* (cos (+ x eps)) (cos (+ x eps))) (cos (+ x eps)))
  (sqrt (cos (+ x eps)))
  (sqrt (cos (+ x eps)))
  (* (sin (/ (- (+ x eps) x) 2)) (sin (/ (+ (+ x eps) x) 2)))
  (/ (exp (cos (+ x eps))) (exp (cos x)))
  (log (- (cos (+ x eps)) (cos x)))
  (exp (- (cos (+ x eps)) (cos x)))
  (* (cbrt (- (cos (+ x eps)) (cos x))) (cbrt (- (cos (+ x eps)) (cos x))))
  (cbrt (- (cos (+ x eps)) (cos x)))
  (* (* (- (cos (+ x eps)) (cos x)) (- (cos (+ x eps)) (cos x))) (- (cos (+ x eps)) (cos x)))
  (sqrt (- (cos (+ x eps)) (cos x)))
  (sqrt (- (cos (+ x eps)) (cos x)))
  (- (pow (cos (+ x eps)) 3) (pow (cos x) 3))
  (+ (* (cos (+ x eps)) (cos (+ x eps))) (+ (* (cos x) (cos x)) (* (cos (+ x eps)) (cos x))))
  (neg (cos x))
  (- (* (cos (+ x eps)) (cos (+ x eps))) (* (cos x) (cos x)))
  (+ (cos (+ x eps)) (cos x))
  (+ (sqrt (cos (+ x eps))) (sqrt (cos x)))
  (- (sqrt (cos (+ x eps))) (sqrt (cos x)))
  (- (cos (+ x eps)) (cos x))
  (+ (* (sin x) (sin eps)) (cos x))
  (neg (cos x))
  (- 1 (+ (* x eps) (* 1/2 (pow x 2))))
  (cos (+ x eps))
  (cos (+ x eps))
  (- (* 1/6 (* (pow x 3) eps)) (+ (* x eps) (* 1/2 (pow eps 2))))
  (- (cos (+ x eps)) (cos x))
  (- (cos (+ x eps)) (cos x))
0.220 * * [simplify]: iteration  0 :  134  enodes  (cost  176 )
0.222 * * [simplify]: iteration  1 :  281  enodes  (cost  167 )
0.227 * * [simplify]: iteration  2 :  840  enodes  (cost  164 )
0.244 * * [simplify]: iteration  3 :  2958  enodes  (cost  164 )
0.329 * * [simplify]: iteration  4 :  5002  enodes  (cost  164 )
0.331 * [simplify]: Simplified to:
  (* (cos x) (cos eps))
  (* (sin x) (sin eps))
  (log (cos (+ x eps)))
  (exp (cos (+ x eps)))
  (* (cbrt (cos (+ x eps))) (cbrt (cos (+ x eps))))
  (cbrt (cos (+ x eps)))
  (pow (cos (+ x eps)) 3)
  (sqrt (cos (+ x eps)))
  (sqrt (cos (+ x eps)))
  (* (sin (/ (- (+ x eps) x) 2)) (sin (/ (+ (+ x eps) x) 2)))
  (exp (- (cos (+ x eps)) (cos x)))
  (log (- (cos (+ x eps)) (cos x)))
  (exp (- (cos (+ x eps)) (cos x)))
  (* (cbrt (- (cos (+ x eps)) (cos x))) (cbrt (- (cos (+ x eps)) (cos x))))
  (cbrt (- (cos (+ x eps)) (cos x)))
  (pow (- (cos (+ x eps)) (cos x)) 3)
  (sqrt (- (cos (+ x eps)) (cos x)))
  (sqrt (- (cos (+ x eps)) (cos x)))
  (- (pow (cos (+ x eps)) 3) (pow (cos x) 3))
  (+ (* (cos (+ x eps)) (+ (cos (+ x eps)) (cos x))) (* (cos x) (cos x)))
  (neg (cos x))
  (- (* (cos (+ x eps)) (cos (+ x eps))) (* (cos x) (cos x)))
  (+ (cos (+ x eps)) (cos x))
  (+ (sqrt (cos (+ x eps))) (sqrt (cos x)))
  (- (sqrt (cos (+ x eps))) (sqrt (cos x)))
  (- (cos (+ x eps)) (cos x))
  (+ (* (sin x) (sin eps)) (cos x))
  (neg (cos x))
  (- 1 (+ (* x eps) (* 1/2 (pow x 2))))
  (cos (+ x eps))
  (cos (+ x eps))
  (* eps (- (- (* 1/6 (pow x 3)) x) (* eps 1/2)))
  (- (cos (+ x eps)) (cos x))
  (- (cos (+ x eps)) (cos x))
0.331 * * * [progress]: adding candidates to table
0.400 * * [progress]: iteration 2 / 4
0.400 * * * [progress]: picking best candidate
0.434 * * * * [pick]: Picked  #<alt (λ (x eps) (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))>
0.434 * * * [progress]: localizing error
0.448 * * * [progress]: generating rewritten candidates
0.448 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.457 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.464 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.469 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.474 * * * [progress]: generating series expansions
0.474 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.475 * [approximate]: Approximating (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) in (x eps) around 0
0.477 * [taylor]: Taking taylor expansion of (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) in eps
0.484 * [taylor]: Taking taylor expansion of (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) in eps
0.495 * [taylor]: Taking taylor expansion of (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) in eps
0.509 * [taylor]: Taking taylor expansion of (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) in eps
0.530 * [taylor]: Taking taylor expansion of (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) in eps
0.532 * [approximate]: Approximating (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in (x eps) around 0
0.537 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in eps
0.551 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in eps
0.566 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in eps
0.586 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in eps
0.587 * [approximate]: Approximating (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in (x eps) around 0
0.592 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in eps
0.600 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in eps
0.615 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in eps
0.640 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in eps
0.640 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.641 * [approximate]: Approximating (* (sin x) (sin eps)) in (x eps) around 0
0.641 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
0.644 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
0.648 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
0.654 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
0.661 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
0.661 * [approximate]: Approximating (* (sin (/ 1 eps)) (sin (/ 1 x))) in (x eps) around 0
0.663 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
0.666 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
0.671 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
0.678 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
0.678 * [approximate]: Approximating (* (sin (/ -1 x)) (sin (/ -1 eps))) in (x eps) around 0
0.680 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
0.683 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
0.688 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
0.695 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
0.696 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.696 * [approximate]: Approximating (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) in (x eps) around 0
0.697 * [taylor]: Taking taylor expansion of (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) in eps
0.703 * [taylor]: Taking taylor expansion of (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) in eps
0.717 * [taylor]: Taking taylor expansion of (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) in eps
0.719 * [approximate]: Approximating (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (* (sin (/ 1 eps)) (sin (/ 1 x)))) in (x eps) around 0
0.723 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (* (sin (/ 1 eps)) (sin (/ 1 x)))) in eps
0.730 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (* (sin (/ 1 eps)) (sin (/ 1 x)))) in eps
0.742 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (* (sin (/ 1 eps)) (sin (/ 1 x)))) in eps
0.758 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (* (sin (/ 1 eps)) (sin (/ 1 x)))) in eps
0.759 * [approximate]: Approximating (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (* (sin (/ -1 x)) (sin (/ -1 eps)))) in (x eps) around 0
0.762 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (* (sin (/ -1 x)) (sin (/ -1 eps)))) in eps
0.770 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (* (sin (/ -1 x)) (sin (/ -1 eps)))) in eps
0.782 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (* (sin (/ -1 x)) (sin (/ -1 eps)))) in eps
0.803 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (* (sin (/ -1 x)) (sin (/ -1 eps)))) in eps
0.803 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.804 * [approximate]: Approximating (* (cos eps) (cos x)) in (x eps) around 0
0.804 * [taylor]: Taking taylor expansion of (* (cos eps) (cos x)) in eps
0.807 * [taylor]: Taking taylor expansion of (* (cos eps) (cos x)) in eps
0.812 * [taylor]: Taking taylor expansion of (* (cos eps) (cos x)) in eps
0.814 * [approximate]: Approximating (* (cos (/ 1 eps)) (cos (/ 1 x))) in (x eps) around 0
0.816 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in eps
0.819 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in eps
0.825 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in eps
0.832 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in eps
0.833 * [approximate]: Approximating (* (cos (/ -1 eps)) (cos (/ -1 x))) in (x eps) around 0
0.835 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in eps
0.838 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in eps
0.844 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in eps
0.853 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in eps
0.853 * * * [progress]: simplifying candidates
0.854 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (/ (/ (exp (* (cos x) (cos eps))) (exp (* (sin x) (sin eps)))) (exp (cos x)))
  (/ (exp (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (exp (cos x)))
  (log (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (* (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))
  (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (* (* (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)) (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (sqrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (sqrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (- (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3) (pow (cos x) 3))
  (+ (* (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (+ (* (cos x) (cos x)) (* (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))
  (neg (cos x))
  (- (* (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (* (cos x) (cos x)))
  (+ (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))
  (+ (sqrt (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (sqrt (cos x)))
  (- (sqrt (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (sqrt (cos x)))
  (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))
  (- (neg (* (sin x) (sin eps))) (cos x))
  (- (neg (* (sin x) (sin eps))) (cos x))
  (+ (* (sin x) (sin eps)) (cos x))
  (neg (cos x))
  (- (cos (- x eps)) (cos (+ x eps)))
  (* (sin x) (sin eps))
  (+ (log (sin x)) (log (sin eps)))
  (log (* (sin x) (sin eps)))
  (exp (* (sin x) (sin eps)))
  (* (* (* (sin x) (sin x)) (sin x)) (* (* (sin eps) (sin eps)) (sin eps)))
  (* (cbrt (* (sin x) (sin eps))) (cbrt (* (sin x) (sin eps))))
  (cbrt (* (sin x) (sin eps)))
  (* (* (* (sin x) (sin eps)) (* (sin x) (sin eps))) (* (sin x) (sin eps)))
  (sqrt (* (sin x) (sin eps)))
  (sqrt (* (sin x) (sin eps)))
  (* (sqrt (sin x)) (sqrt (sin eps)))
  (* (sqrt (sin x)) (sqrt (sin eps)))
  (* (sin x) (* (cbrt (sin eps)) (cbrt (sin eps))))
  (* (sin x) (sqrt (sin eps)))
  (* (sin x) 1)
  (* (cbrt (sin x)) (sin eps))
  (* (sqrt (sin x)) (sin eps))
  (* (sin x) (sin eps))
  (/ (exp (* (cos x) (cos eps))) (exp (* (sin x) (sin eps))))
  (log (- (* (cos x) (cos eps)) (* (sin x) (sin eps))))
  (exp (- (* (cos x) (cos eps)) (* (sin x) (sin eps))))
  (* (cbrt (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (cbrt (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))))
  (cbrt (- (* (cos x) (cos eps)) (* (sin x) (sin eps))))
  (* (* (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (- (* (cos x) (cos eps)) (* (sin x) (sin eps))))
  (sqrt (- (* (cos x) (cos eps)) (* (sin x) (sin eps))))
  (sqrt (- (* (cos x) (cos eps)) (* (sin x) (sin eps))))
  (- (+ (cos (+ x eps)) (cos (- x eps))) (- (cos (- x eps)) (cos (+ x eps))))
  (- (* (+ (cos (+ x eps)) (cos (- x eps))) 2) (* 2 (- (cos (- x eps)) (cos (+ x eps)))))
  (* 2 2)
  (- (pow (* (cos x) (cos eps)) 3) (pow (* (sin x) (sin eps)) 3))
  (+ (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (+ (* (* (sin x) (sin eps)) (* (sin x) (sin eps))) (* (* (cos x) (cos eps)) (* (sin x) (sin eps)))))
  (neg (* (sin x) (sin eps)))
  (- (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps))))
  (+ (* (cos x) (cos eps)) (* (sin x) (sin eps)))
  (neg (* (sin x) (sin eps)))
  (+ (cos (+ x eps)) (cos (- x eps)))
  (* (cos x) (cos eps))
  (+ (log (cos x)) (log (cos eps)))
  (log (* (cos x) (cos eps)))
  (exp (* (cos x) (cos eps)))
  (* (* (* (cos x) (cos x)) (cos x)) (* (* (cos eps) (cos eps)) (cos eps)))
  (* (cbrt (* (cos x) (cos eps))) (cbrt (* (cos x) (cos eps))))
  (cbrt (* (cos x) (cos eps)))
  (* (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (* (cos x) (cos eps)))
  (sqrt (* (cos x) (cos eps)))
  (sqrt (* (cos x) (cos eps)))
  (* (sqrt (cos x)) (sqrt (cos eps)))
  (* (sqrt (cos x)) (sqrt (cos eps)))
  (* (cos x) (* (cbrt (cos eps)) (cbrt (cos eps))))
  (* (cos x) (sqrt (cos eps)))
  (* (cos x) 1)
  (* (cbrt (cos x)) (cos eps))
  (* (sqrt (cos x)) (cos eps))
  (* (cos x) (cos eps))
  (- (* 1/6 (* (pow x 3) eps)) (+ (* x eps) (* 1/2 (pow eps 2))))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (* x eps)
  (* (sin x) (sin eps))
  (* (sin x) (sin eps))
  (- 1 (+ (* x eps) (* 1/2 (pow x 2))))
  (- (* (cos eps) (cos x)) (* (sin x) (sin eps)))
  (- (* (cos eps) (cos x)) (* (sin x) (sin eps)))
  (- 1 (+ (* 1/2 (pow x 2)) (* 1/2 (pow eps 2))))
  (* (cos x) (cos eps))
  (* (cos x) (cos eps))
0.858 * * [simplify]: iteration  0 :  304  enodes  (cost  632 )
0.864 * * [simplify]: iteration  1 :  1061  enodes  (cost  600 )
0.886 * * [simplify]: iteration  2 :  4487  enodes  (cost  582 )
0.965 * * [simplify]: iteration  3 :  5002  enodes  (cost  582 )
0.968 * [simplify]: Simplified to:
  (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (log (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (* (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))
  (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (pow (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) 3)
  (sqrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (sqrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (- (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3) (pow (cos x) 3))
  (+ (* (- (* (cos eps) (cos x)) (* (sin x) (sin eps))) (+ (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (* (cos x) (cos x)))
  (neg (cos x))
  (- (* (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (* (cos x) (cos x)))
  (+ (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))
  (+ (sqrt (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (sqrt (cos x)))
  (- (sqrt (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (sqrt (cos x)))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (- (neg (* (sin x) (sin eps))) (cos x))
  (- (neg (* (sin x) (sin eps))) (cos x))
  (+ (* (sin x) (sin eps)) (cos x))
  (neg (cos x))
  (- (cos (- x eps)) (cos (+ x eps)))
  (* (sin x) (sin eps))
  (log (* (sin x) (sin eps)))
  (log (* (sin x) (sin eps)))
  (exp (* (sin x) (sin eps)))
  (pow (* (sin x) (sin eps)) 3)
  (* (cbrt (* (sin x) (sin eps))) (cbrt (* (sin x) (sin eps))))
  (cbrt (* (sin x) (sin eps)))
  (pow (* (sin x) (sin eps)) 3)
  (sqrt (* (sin x) (sin eps)))
  (sqrt (* (sin x) (sin eps)))
  (* (sqrt (sin x)) (sqrt (sin eps)))
  (* (sqrt (sin x)) (sqrt (sin eps)))
  (* (sin x) (* (cbrt (sin eps)) (cbrt (sin eps))))
  (* (sin x) (sqrt (sin eps)))
  (sin x)
  (* (cbrt (sin x)) (sin eps))
  (* (sqrt (sin x)) (sin eps))
  (* (sin x) (sin eps))
  (exp (- (* (cos x) (cos eps)) (* (sin x) (sin eps))))
  (log (- (* (cos x) (cos eps)) (* (sin x) (sin eps))))
  (exp (- (* (cos x) (cos eps)) (* (sin x) (sin eps))))
  (* (cbrt (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (cbrt (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))))
  (cbrt (- (* (cos x) (cos eps)) (* (sin x) (sin eps))))
  (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3)
  (sqrt (- (* (cos x) (cos eps)) (* (sin x) (sin eps))))
  (sqrt (- (* (cos x) (cos eps)) (* (sin x) (sin eps))))
  (+ (+ (cos (+ x eps)) (cos (+ x eps))) 0)
  (* (+ (+ (cos (+ x eps)) (cos (+ x eps))) 0) 2)
  4
  (- (pow (* (cos x) (cos eps)) 3) (pow (* (sin x) (sin eps)) 3))
  (+ (* (* (sin x) (sin eps)) (+ (* (sin x) (sin eps)) (* (cos x) (cos eps)))) (* (* (cos x) (cos eps)) (* (cos x) (cos eps))))
  (neg (* (sin x) (sin eps)))
  (- (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps))))
  (+ (* (cos x) (cos eps)) (* (sin x) (sin eps)))
  (neg (* (sin x) (sin eps)))
  (+ (cos (+ x eps)) (cos (- x eps)))
  (* (cos x) (cos eps))
  (log (* (cos x) (cos eps)))
  (log (* (cos x) (cos eps)))
  (exp (* (cos x) (cos eps)))
  (pow (* (cos x) (cos eps)) 3)
  (* (cbrt (* (cos x) (cos eps))) (cbrt (* (cos x) (cos eps))))
  (cbrt (* (cos x) (cos eps)))
  (pow (* (cos x) (cos eps)) 3)
  (sqrt (* (cos x) (cos eps)))
  (sqrt (* (cos x) (cos eps)))
  (* (sqrt (cos x)) (sqrt (cos eps)))
  (* (sqrt (cos x)) (sqrt (cos eps)))
  (* (cos x) (* (cbrt (cos eps)) (cbrt (cos eps))))
  (* (cos x) (sqrt (cos eps)))
  (cos x)
  (* (cbrt (cos x)) (cos eps))
  (* (sqrt (cos x)) (cos eps))
  (* (cos x) (cos eps))
  (* eps (- (- (* 1/6 (pow x 3)) x) (* eps 1/2)))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (* x eps)
  (* (sin x) (sin eps))
  (* (sin x) (sin eps))
  (- 1 (+ (* x eps) (* 1/2 (pow x 2))))
  (- (* (cos eps) (cos x)) (* (sin x) (sin eps)))
  (- (* (cos eps) (cos x)) (* (sin x) (sin eps)))
  (+ (* -1/2 (+ (pow x 2) (pow eps 2))) 1)
  (* (cos x) (cos eps))
  (* (cos x) (cos eps))
0.969 * * * [progress]: adding candidates to table
1.253 * * [progress]: iteration 3 / 4
1.253 * * * [progress]: picking best candidate
1.321 * * * * [pick]: Picked  #<alt (λ (x eps) (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))>
1.321 * * * [progress]: localizing error
1.335 * * * [progress]: generating rewritten candidates
1.335 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.344 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
1.348 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1.353 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.359 * * * [progress]: generating series expansions
1.359 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.359 * [approximate]: Approximating (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))) in (x eps) around 0
1.361 * [taylor]: Taking taylor expansion of (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))) in eps
1.368 * [taylor]: Taking taylor expansion of (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))) in eps
1.379 * [taylor]: Taking taylor expansion of (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))) in eps
1.393 * [taylor]: Taking taylor expansion of (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))) in eps
1.419 * [taylor]: Taking taylor expansion of (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))) in eps
1.422 * [approximate]: Approximating (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in (x eps) around 0
1.426 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in eps
1.435 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in eps
1.450 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in eps
1.469 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in eps
1.470 * [approximate]: Approximating (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in (x eps) around 0
1.475 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in eps
1.488 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in eps
1.503 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in eps
1.523 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in eps
1.523 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
1.524 * [approximate]: Approximating (* (sin x) (sin eps)) in (x eps) around 0
1.524 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
1.527 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
1.531 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
1.537 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
1.544 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
1.545 * [approximate]: Approximating (* (sin (/ 1 eps)) (sin (/ 1 x))) in (x eps) around 0
1.546 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
1.549 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
1.554 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
1.566 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
1.567 * [approximate]: Approximating (* (sin (/ -1 x)) (sin (/ -1 eps))) in (x eps) around 0
1.569 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
1.572 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
1.577 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
1.585 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
1.585 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1.586 * [approximate]: Approximating (+ (* (sin x) (sin eps)) (cos x)) in (x eps) around 0
1.586 * [taylor]: Taking taylor expansion of (+ (* (sin x) (sin eps)) (cos x)) in eps
1.590 * [taylor]: Taking taylor expansion of (+ (* (sin x) (sin eps)) (cos x)) in eps
1.595 * [taylor]: Taking taylor expansion of (+ (* (sin x) (sin eps)) (cos x)) in eps
1.596 * [approximate]: Approximating (+ (* (sin (/ 1 eps)) (sin (/ 1 x))) (cos (/ 1 x))) in (x eps) around 0
1.598 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 eps)) (sin (/ 1 x))) (cos (/ 1 x))) in eps
1.602 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 eps)) (sin (/ 1 x))) (cos (/ 1 x))) in eps
1.611 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 eps)) (sin (/ 1 x))) (cos (/ 1 x))) in eps
1.621 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 eps)) (sin (/ 1 x))) (cos (/ 1 x))) in eps
1.622 * [approximate]: Approximating (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in (x eps) around 0
1.625 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in eps
1.629 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in eps
1.637 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in eps
1.653 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))) in eps
1.653 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.653 * [approximate]: Approximating (* (cos eps) (cos x)) in (x eps) around 0
1.654 * [taylor]: Taking taylor expansion of (* (cos eps) (cos x)) in eps
1.658 * [taylor]: Taking taylor expansion of (* (cos eps) (cos x)) in eps
1.662 * [taylor]: Taking taylor expansion of (* (cos eps) (cos x)) in eps
1.664 * [approximate]: Approximating (* (cos (/ 1 eps)) (cos (/ 1 x))) in (x eps) around 0
1.666 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in eps
1.670 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in eps
1.676 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in eps
1.683 * [taylor]: Taking taylor expansion of (* (cos (/ 1 eps)) (cos (/ 1 x))) in eps
1.684 * [approximate]: Approximating (* (cos (/ -1 eps)) (cos (/ -1 x))) in (x eps) around 0
1.686 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in eps
1.689 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in eps
1.695 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in eps
1.703 * [taylor]: Taking taylor expansion of (* (cos (/ -1 eps)) (cos (/ -1 x))) in eps
1.703 * * * [progress]: simplifying candidates
1.704 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (/ (exp (* (cos x) (cos eps))) (* (exp (* (sin x) (sin eps))) (exp (cos x))))
  (/ (exp (* (cos x) (cos eps))) (exp (+ (* (sin x) (sin eps)) (cos x))))
  (log (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (exp (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (* (cbrt (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x)))) (cbrt (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x)))))
  (cbrt (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (* (* (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))) (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x)))) (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (sqrt (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (sqrt (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (- (* (+ (cos (+ x eps)) (cos (- x eps))) (+ (* (* (sin x) (sin eps)) (* (sin x) (sin eps))) (- (* (cos x) (cos x)) (* (* (sin x) (sin eps)) (cos x))))) (* 2 (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3))))
  (* 2 (+ (* (* (sin x) (sin eps)) (* (sin x) (sin eps))) (- (* (cos x) (cos x)) (* (* (sin x) (sin eps)) (cos x)))))
  (- (* (+ (cos (+ x eps)) (cos (- x eps))) (- (* (sin x) (sin eps)) (cos x))) (* 2 (- (* (* (sin x) (sin eps)) (* (sin x) (sin eps))) (* (cos x) (cos x)))))
  (* 2 (- (* (sin x) (sin eps)) (cos x)))
  (- (pow (* (cos x) (cos eps)) 3) (pow (+ (* (sin x) (sin eps)) (cos x)) 3))
  (+ (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (+ (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) (* (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x)))))
  (neg (+ (* (sin x) (sin eps)) (cos x)))
  (- (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x))))
  (+ (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x)))
  (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))
  (neg (+ (* (sin x) (sin eps)) (cos x)))
  (- (cos (- x eps)) (cos (+ x eps)))
  (* (sin x) (sin eps))
  (+ (log (sin x)) (log (sin eps)))
  (log (* (sin x) (sin eps)))
  (exp (* (sin x) (sin eps)))
  (* (* (* (sin x) (sin x)) (sin x)) (* (* (sin eps) (sin eps)) (sin eps)))
  (* (cbrt (* (sin x) (sin eps))) (cbrt (* (sin x) (sin eps))))
  (cbrt (* (sin x) (sin eps)))
  (* (* (* (sin x) (sin eps)) (* (sin x) (sin eps))) (* (sin x) (sin eps)))
  (sqrt (* (sin x) (sin eps)))
  (sqrt (* (sin x) (sin eps)))
  (* (sqrt (sin x)) (sqrt (sin eps)))
  (* (sqrt (sin x)) (sqrt (sin eps)))
  (* (sin x) (* (cbrt (sin eps)) (cbrt (sin eps))))
  (* (sin x) (sqrt (sin eps)))
  (* (sin x) 1)
  (* (cbrt (sin x)) (sin eps))
  (* (sqrt (sin x)) (sin eps))
  (* (sin x) (sin eps))
  (* (exp (* (sin x) (sin eps))) (exp (cos x)))
  (log (+ (* (sin x) (sin eps)) (cos x)))
  (exp (+ (* (sin x) (sin eps)) (cos x)))
  (* (cbrt (+ (* (sin x) (sin eps)) (cos x))) (cbrt (+ (* (sin x) (sin eps)) (cos x))))
  (cbrt (+ (* (sin x) (sin eps)) (cos x)))
  (* (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) (+ (* (sin x) (sin eps)) (cos x)))
  (sqrt (+ (* (sin x) (sin eps)) (cos x)))
  (sqrt (+ (* (sin x) (sin eps)) (cos x)))
  (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3))
  (+ (* (* (sin x) (sin eps)) (* (sin x) (sin eps))) (- (* (cos x) (cos x)) (* (* (sin x) (sin eps)) (cos x))))
  (- (* (* (sin x) (sin eps)) (* (sin x) (sin eps))) (* (cos x) (cos x)))
  (- (* (sin x) (sin eps)) (cos x))
  (+ (cos (+ x eps)) (cos (- x eps)))
  (* (cos x) (cos eps))
  (+ (log (cos x)) (log (cos eps)))
  (log (* (cos x) (cos eps)))
  (exp (* (cos x) (cos eps)))
  (* (* (* (cos x) (cos x)) (cos x)) (* (* (cos eps) (cos eps)) (cos eps)))
  (* (cbrt (* (cos x) (cos eps))) (cbrt (* (cos x) (cos eps))))
  (cbrt (* (cos x) (cos eps)))
  (* (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (* (cos x) (cos eps)))
  (sqrt (* (cos x) (cos eps)))
  (sqrt (* (cos x) (cos eps)))
  (* (sqrt (cos x)) (sqrt (cos eps)))
  (* (sqrt (cos x)) (sqrt (cos eps)))
  (* (cos x) (* (cbrt (cos eps)) (cbrt (cos eps))))
  (* (cos x) (sqrt (cos eps)))
  (* (cos x) 1)
  (* (cbrt (cos x)) (cos eps))
  (* (sqrt (cos x)) (cos eps))
  (* (cos x) (cos eps))
  (- (* 1/6 (* (pow x 3) eps)) (+ (* x eps) (* 1/2 (pow eps 2))))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (* x eps)
  (* (sin x) (sin eps))
  (* (sin x) (sin eps))
  (- (+ (* x eps) 1) (* 1/2 (pow x 2)))
  (+ (* (sin x) (sin eps)) (cos x))
  (+ (* (sin x) (sin eps)) (cos x))
  (- 1 (+ (* 1/2 (pow x 2)) (* 1/2 (pow eps 2))))
  (* (cos x) (cos eps))
  (* (cos x) (cos eps))
1.709 * * [simplify]: iteration  0 :  332  enodes  (cost  607 )
1.715 * * [simplify]: iteration  1 :  1284  enodes  (cost  574 )
1.743 * * [simplify]: iteration  2 :  5002  enodes  (cost  565 )
1.746 * [simplify]: Simplified to:
  (exp (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (exp (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (log (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (exp (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (* (cbrt (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x)))) (cbrt (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x)))))
  (cbrt (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (pow (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) 3)
  (sqrt (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (sqrt (- (* (cos x) (cos eps)) (+ (* (sin x) (sin eps)) (cos x))))
  (+ (* -2 (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3))) (* (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))) (+ (cos (+ x eps)) (cos (- x eps)))))
  (* (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))) 2)
  (* (- (* (sin x) (sin eps)) (cos x)) (- (+ (cos (+ x eps)) (cos (- x eps))) (* 2 (+ (* (sin x) (sin eps)) (cos x)))))
  (* 2 (- (* (sin x) (sin eps)) (cos x)))
  (- (pow (* (cos x) (cos eps)) 3) (pow (+ (* (sin x) (sin eps)) (cos x)) 3))
  (+ (* (+ (* (sin x) (sin eps)) (cos x)) (+ (+ (* (sin x) (sin eps)) (cos x)) (* (cos x) (cos eps)))) (* (* (cos x) (cos eps)) (* (cos x) (cos eps))))
  (neg (+ (* (sin x) (sin eps)) (cos x)))
  (- (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x))))
  (+ (* (sin x) (sin eps)) (* (cos x) (+ (cos eps) 1)))
  (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))
  (neg (+ (* (sin x) (sin eps)) (cos x)))
  (- (cos (- x eps)) (cos (+ x eps)))
  (* (sin x) (sin eps))
  (log (* (sin x) (sin eps)))
  (log (* (sin x) (sin eps)))
  (exp (* (sin x) (sin eps)))
  (pow (* (sin x) (sin eps)) 3)
  (* (cbrt (* (sin x) (sin eps))) (cbrt (* (sin x) (sin eps))))
  (cbrt (* (sin x) (sin eps)))
  (pow (* (sin x) (sin eps)) 3)
  (sqrt (* (sin x) (sin eps)))
  (sqrt (* (sin x) (sin eps)))
  (* (sqrt (sin x)) (sqrt (sin eps)))
  (* (sqrt (sin x)) (sqrt (sin eps)))
  (* (sin x) (* (cbrt (sin eps)) (cbrt (sin eps))))
  (* (sin x) (sqrt (sin eps)))
  (sin x)
  (* (cbrt (sin x)) (sin eps))
  (* (sqrt (sin x)) (sin eps))
  (* (sin x) (sin eps))
  (exp (+ (* (sin x) (sin eps)) (cos x)))
  (log (+ (* (sin x) (sin eps)) (cos x)))
  (exp (+ (* (sin x) (sin eps)) (cos x)))
  (* (cbrt (+ (* (sin x) (sin eps)) (cos x))) (cbrt (+ (* (sin x) (sin eps)) (cos x))))
  (cbrt (+ (* (sin x) (sin eps)) (cos x)))
  (pow (+ (* (sin x) (sin eps)) (cos x)) 3)
  (sqrt (+ (* (sin x) (sin eps)) (cos x)))
  (sqrt (+ (* (sin x) (sin eps)) (cos x)))
  (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3))
  (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps))))
  (- (* (* (sin x) (sin eps)) (* (sin x) (sin eps))) (* (cos x) (cos x)))
  (- (* (sin x) (sin eps)) (cos x))
  (+ (cos (+ x eps)) (cos (- x eps)))
  (* (cos x) (cos eps))
  (log (* (cos x) (cos eps)))
  (log (* (cos x) (cos eps)))
  (exp (* (cos x) (cos eps)))
  (pow (* (cos x) (cos eps)) 3)
  (* (cbrt (* (cos x) (cos eps))) (cbrt (* (cos x) (cos eps))))
  (cbrt (* (cos x) (cos eps)))
  (pow (* (cos x) (cos eps)) 3)
  (sqrt (* (cos x) (cos eps)))
  (sqrt (* (cos x) (cos eps)))
  (* (sqrt (cos x)) (sqrt (cos eps)))
  (* (sqrt (cos x)) (sqrt (cos eps)))
  (* (cos x) (* (cbrt (cos eps)) (cbrt (cos eps))))
  (* (cos x) (sqrt (cos eps)))
  (cos x)
  (* (cbrt (cos x)) (cos eps))
  (* (sqrt (cos x)) (cos eps))
  (* (cos x) (cos eps))
  (* eps (- (- (* 1/6 (pow x 3)) x) (* eps 1/2)))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (* x eps)
  (* (sin x) (sin eps))
  (* (sin x) (sin eps))
  (- (+ (* x eps) 1) (* 1/2 (pow x 2)))
  (+ (* (sin x) (sin eps)) (cos x))
  (+ (* (sin x) (sin eps)) (cos x))
  (+ (* -1/2 (+ (pow x 2) (pow eps 2))) 1)
  (* (cos x) (cos eps))
  (* (cos x) (cos eps))
1.746 * * * [progress]: adding candidates to table
1.988 * * [progress]: iteration 4 / 4
1.988 * * * [progress]: picking best candidate
2.072 * * * * [pick]: Picked  #<alt (λ (x eps) (log (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))>
2.072 * * * [progress]: localizing error
2.090 * * * [progress]: generating rewritten candidates
2.090 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
2.096 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
2.105 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2)
2.110 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
2.121 * * * [progress]: generating series expansions
2.121 * * * * [progress]: [ 1 / 4 ] generating series at (2)
2.121 * [approximate]: Approximating (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) in (x eps) around 0
2.123 * [taylor]: Taking taylor expansion of (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) in eps
2.131 * [taylor]: Taking taylor expansion of (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) in eps
2.145 * [taylor]: Taking taylor expansion of (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) in eps
2.160 * [taylor]: Taking taylor expansion of (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) in eps
2.181 * [taylor]: Taking taylor expansion of (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) in eps
2.183 * [approximate]: Approximating (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in (x eps) around 0
2.188 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in eps
2.196 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in eps
2.212 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in eps
2.238 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in eps
2.239 * [approximate]: Approximating (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in (x eps) around 0
2.244 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in eps
2.253 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in eps
2.268 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in eps
2.288 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in eps
2.288 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
2.289 * [approximate]: Approximating (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) in (x eps) around 0
2.290 * [taylor]: Taking taylor expansion of (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) in eps
2.297 * [taylor]: Taking taylor expansion of (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) in eps
2.313 * [taylor]: Taking taylor expansion of (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) in eps
2.329 * [taylor]: Taking taylor expansion of (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) in eps
2.349 * [taylor]: Taking taylor expansion of (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))) in eps
2.351 * [approximate]: Approximating (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in (x eps) around 0
2.356 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in eps
2.364 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in eps
2.380 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in eps
2.405 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x))))) in eps
2.405 * [approximate]: Approximating (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in (x eps) around 0
2.410 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in eps
2.419 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in eps
2.434 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in eps
2.453 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x)))) in eps
2.454 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2)
2.454 * [approximate]: Approximating (* (sin x) (sin eps)) in (x eps) around 0
2.454 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
2.457 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
2.461 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
2.467 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
2.480 * [taylor]: Taking taylor expansion of (* (sin x) (sin eps)) in eps
2.480 * [approximate]: Approximating (* (sin (/ 1 eps)) (sin (/ 1 x))) in (x eps) around 0
2.482 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
2.485 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
2.490 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
2.497 * [taylor]: Taking taylor expansion of (* (sin (/ 1 eps)) (sin (/ 1 x))) in eps
2.497 * [approximate]: Approximating (* (sin (/ -1 x)) (sin (/ -1 eps))) in (x eps) around 0
2.499 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
2.502 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
2.507 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
2.514 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 eps))) in eps
2.514 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
2.515 * [approximate]: Approximating (exp (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))) in (x eps) around 0
2.527 * [taylor]: Taking taylor expansion of (exp (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))) in eps
2.536 * [taylor]: Taking taylor expansion of (exp (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))) in eps
2.551 * [taylor]: Taking taylor expansion of (exp (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))) in eps
2.565 * [approximate]: Approximating (exp (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x)))))) in (x eps) around 0
2.573 * [taylor]: Taking taylor expansion of (exp (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x)))))) in eps
2.582 * [taylor]: Taking taylor expansion of (exp (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x)))))) in eps
2.599 * [taylor]: Taking taylor expansion of (exp (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x)))))) in eps
2.621 * [taylor]: Taking taylor expansion of (exp (- (* (cos (/ 1 eps)) (cos (/ 1 x))) (+ (cos (/ 1 x)) (* (sin (/ 1 eps)) (sin (/ 1 x)))))) in eps
2.622 * [approximate]: Approximating (exp (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))))) in (x eps) around 0
2.630 * [taylor]: Taking taylor expansion of (exp (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))))) in eps
2.645 * [taylor]: Taking taylor expansion of (exp (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))))) in eps
2.662 * [taylor]: Taking taylor expansion of (exp (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))))) in eps
2.684 * [taylor]: Taking taylor expansion of (exp (- (* (cos (/ -1 eps)) (cos (/ -1 x))) (+ (* (sin (/ -1 x)) (sin (/ -1 eps))) (cos (/ -1 x))))) in eps
2.684 * * * [progress]: simplifying candidates
2.686 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (exp (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))))
  (log (exp (neg (cos x))))
  (log (exp (* (cos x) (cos eps))))
  (log (exp (- (neg (* (sin x) (sin eps))) (cos x))))
  (log (exp (* (cos x) (cos eps))))
  (log (exp (- (neg (* (sin x) (sin eps))) (cos x))))
  (log (exp (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))))
  (log (exp (neg (cos x))))
  (log (* (cbrt (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))) (cbrt (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))))
  (log (cbrt (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))
  (log (sqrt (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))
  (log (sqrt (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))
  (log 1)
  (log (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))
  (log (exp (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))))
  (log (exp (cos x)))
  (log (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))
  (log (exp (* (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))))
  (log (exp (sqrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))
  (log (exp 1))
  (log (exp (+ (sqrt (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (sqrt (cos x)))))
  (log (exp 1))
  (log (log (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))
  (exp (log (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))
  (* (cbrt (log (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))) (cbrt (log (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))))
  (cbrt (log (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))
  (* (* (log (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))) (log (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))) (log (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))
  (sqrt (log (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))
  (sqrt (log (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))
  (/ (/ (exp (* (cos x) (cos eps))) (exp (* (sin x) (sin eps)))) (exp (cos x)))
  (/ (exp (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (exp (cos x)))
  (log (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (* (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))
  (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (* (* (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)) (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (sqrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (sqrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (- (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3) (pow (cos x) 3))
  (+ (* (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (+ (* (cos x) (cos x)) (* (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))
  (neg (cos x))
  (- (* (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (* (cos x) (cos x)))
  (+ (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))
  (+ (sqrt (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (sqrt (cos x)))
  (- (sqrt (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (sqrt (cos x)))
  (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))
  (- (neg (* (sin x) (sin eps))) (cos x))
  (- (neg (* (sin x) (sin eps))) (cos x))
  (+ (* (sin x) (sin eps)) (cos x))
  (neg (cos x))
  (- (cos (- x eps)) (cos (+ x eps)))
  (* (sin x) (sin eps))
  (+ (log (sin x)) (log (sin eps)))
  (log (* (sin x) (sin eps)))
  (exp (* (sin x) (sin eps)))
  (* (* (* (sin x) (sin x)) (sin x)) (* (* (sin eps) (sin eps)) (sin eps)))
  (* (cbrt (* (sin x) (sin eps))) (cbrt (* (sin x) (sin eps))))
  (cbrt (* (sin x) (sin eps)))
  (* (* (* (sin x) (sin eps)) (* (sin x) (sin eps))) (* (sin x) (sin eps)))
  (sqrt (* (sin x) (sin eps)))
  (sqrt (* (sin x) (sin eps)))
  (* (sqrt (sin x)) (sqrt (sin eps)))
  (* (sqrt (sin x)) (sqrt (sin eps)))
  (* (sin x) (* (cbrt (sin eps)) (cbrt (sin eps))))
  (* (sin x) (sqrt (sin eps)))
  (* (sin x) 1)
  (* (cbrt (sin x)) (sin eps))
  (* (sqrt (sin x)) (sin eps))
  (* (sin x) (sin eps))
  (exp (* (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))
  (exp (sqrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))
  (exp 1)
  (exp (+ (sqrt (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (sqrt (cos x))))
  (exp 1)
  (exp (- (* (cos x) (cos eps)) (* (sin x) (sin eps))))
  (exp (neg (cos x)))
  (exp (* (cos x) (cos eps)))
  (exp (- (neg (* (sin x) (sin eps))) (cos x)))
  (exp (* (cos x) (cos eps)))
  (exp (- (neg (* (sin x) (sin eps))) (cos x)))
  (exp (- (* (cos x) (cos eps)) (* (sin x) (sin eps))))
  (exp (neg (cos x)))
  (exp (- (* (cos x) (cos eps)) (* (sin x) (sin eps))))
  (exp (cos x))
  (log (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))
  (exp (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))
  (* (cbrt (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))) (cbrt (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))
  (cbrt (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))
  (* (* (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))) (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))
  (sqrt (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))
  (sqrt (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))
  (- (* 1/6 (* (pow x 3) eps)) (+ (* x eps) (* 1/2 (pow eps 2))))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (- (* 1/6 (* (pow x 3) eps)) (+ (* x eps) (* 1/2 (pow eps 2))))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))
  (* x eps)
  (* (sin x) (sin eps))
  (* (sin x) (sin eps))
  (- 1 (+ (* x eps) (* 1/2 (pow eps 2))))
  (exp (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))))
  (exp (- (* (cos eps) (cos x)) (+ (* (sin x) (sin eps)) (cos x))))
2.691 * * [simplify]: iteration  0 :  239  enodes  (cost  889 )
2.695 * * [simplify]: iteration  1 :  734  enodes  (cost  805 )
2.707 * * [simplify]: iteration  2 :  2890  enodes  (cost  794 )
2.755 * * [simplify]: iteration  3 :  5001  enodes  (cost  794 )
2.759 * [simplify]: Simplified to:
  (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))
  (neg (cos x))
  (* (cos x) (cos eps))
  (- (neg (* (sin x) (sin eps))) (cos x))
  (* (cos x) (cos eps))
  (- (neg (* (sin x) (sin eps))) (cos x))
  (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))
  (neg (cos x))
  (* 2 (log (cbrt (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))))
  (log (cbrt (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))
  (log (sqrt (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))
  (log (sqrt (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))
  0
  (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))
  (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))
  (cos x)
  (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))
  (* (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))
  (sqrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  1
  (+ (sqrt (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (sqrt (cos x)))
  1
  (log (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (* (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))
  (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (pow (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)) 3)
  (sqrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (sqrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (log (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (* (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))
  (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (pow (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)) 3)
  (sqrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (sqrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (- (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3) (pow (cos x) 3))
  (+ (* (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (+ (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (* (cos x) (cos x)))
  (neg (cos x))
  (- (* (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (* (cos x) (cos x)))
  (- (* (+ (cos eps) 1) (cos x)) (* (sin x) (sin eps)))
  (+ (sqrt (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (sqrt (cos x)))
  (- (sqrt (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (sqrt (cos x)))
  (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))
  (- (neg (* (sin x) (sin eps))) (cos x))
  (- (neg (* (sin x) (sin eps))) (cos x))
  (+ (* (sin x) (sin eps)) (cos x))
  (neg (cos x))
  (- (cos (- x eps)) (cos (+ x eps)))
  (* (sin x) (sin eps))
  (log (* (sin x) (sin eps)))
  (log (* (sin x) (sin eps)))
  (exp (* (sin x) (sin eps)))
  (pow (* (sin x) (sin eps)) 3)
  (* (cbrt (* (sin x) (sin eps))) (cbrt (* (sin x) (sin eps))))
  (cbrt (* (sin x) (sin eps)))
  (pow (* (sin x) (sin eps)) 3)
  (sqrt (* (sin x) (sin eps)))
  (sqrt (* (sin x) (sin eps)))
  (* (sqrt (sin x)) (sqrt (sin eps)))
  (* (sqrt (sin x)) (sqrt (sin eps)))
  (* (sin x) (* (cbrt (sin eps)) (cbrt (sin eps))))
  (* (sin x) (sqrt (sin eps)))
  (sin x)
  (* (cbrt (sin x)) (sin eps))
  (* (sqrt (sin x)) (sin eps))
  (* (sin x) (sin eps))
  (exp (* (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))
  (exp (sqrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))
  E
  (exp (+ (sqrt (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (sqrt (cos x))))
  E
  (exp (- (* (cos x) (cos eps)) (* (sin x) (sin eps))))
  (exp (neg (cos x)))
  (exp (* (cos x) (cos eps)))
  (exp (- (neg (* (sin x) (sin eps))) (cos x)))
  (exp (* (cos x) (cos eps)))
  (exp (- (neg (* (sin x) (sin eps))) (cos x)))
  (exp (- (* (cos x) (cos eps)) (* (sin x) (sin eps))))
  (exp (neg (cos x)))
  (exp (- (* (cos x) (cos eps)) (* (sin x) (sin eps))))
  (exp (cos x))
  (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))
  (exp (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))
  (* (cbrt (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))) (cbrt (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))
  (cbrt (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))
  (pow (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) 3)
  (sqrt (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))
  (sqrt (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))
  (* eps (- (- (* 1/6 (pow x 3)) x) (* eps 1/2)))
  (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))
  (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))
  (* eps (- (- (* 1/6 (pow x 3)) x) (* eps 1/2)))
  (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))
  (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))
  (* x eps)
  (* (sin x) (sin eps))
  (* (sin x) (sin eps))
  (- 1 (+ (* x eps) (* 1/2 (pow eps 2))))
  (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
  (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))
2.760 * * * [progress]: adding candidates to table
3.062 * [progress]: [Phase 3 of 3] Extracting.
3.062 * * [regime]: Finding splitpoints for: (#<alt (λ (x eps) (log (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))> #<alt (λ (x eps) (- (* (* (cbrt (cos (+ x eps))) (cbrt (cos (+ x eps)))) (cbrt (cos (+ x eps)))) (cos x)))> #<alt (λ (x eps) (* (* (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))) (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))> #<alt (λ (x eps) (* -2 (* (sin (/ (- (+ x eps) x) 2)) (sin (/ (+ (+ x eps) x) 2)))))> #<alt (λ (x eps) (- (- (* (cos x) (cos eps)) (* (* (cbrt (* (sin x) (sin eps))) (cbrt (* (sin x) (sin eps)))) (cbrt (* (sin x) (sin eps))))) (cos x)))> #<alt (λ (x eps) (* eps (- (- (* 1/6 (pow x 3)) x) (* eps 1/2))))> #<alt (λ (x eps) (- (- (* (cos x) (cos eps)) (* x eps)) (cos x)))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (cbrt (pow (+ (* (sin x) (sin eps)) (cos x)) 3))))> #<alt (λ (x eps) (log (- 1 (+ (* x eps) (* 1/2 (pow eps 2))))))> #<alt (λ (x eps) (/ (- (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))) (+ (* (sin x) (sin eps)) (* (cos x) (+ (cos eps) 1)))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (/ (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3)) (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))))))> #<alt (λ (x eps) (- (exp (log (cos (+ x eps)))) (cos x)))> #<alt (λ (x eps) (- (/ (- (pow (* (cos x) (cos eps)) 3) (pow (* (sin x) (sin eps)) 3)) (+ (* (* (sin x) (sin eps)) (+ (* (sin x) (sin eps)) (* (cos x) (cos eps)))) (* (* (cos x) (cos eps)) (* (cos x) (cos eps))))) (cos x)))> #<alt (λ (x eps) (- (cbrt (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3)) (cos x)))> #<alt (λ (x eps) (/ (- (* (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (* (cos x) (cos x))) (+ (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))> #<alt (λ (x eps) (log (pow E (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (* (* (cbrt (+ (* (sin x) (sin eps)) (cos x))) (cbrt (+ (* (sin x) (sin eps)) (cos x)))) (cbrt (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (/ (+ (* -2 (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3))) (* (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))) (+ (cos (+ x eps)) (cos (- x eps))))) (* (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))) 2)))>)
3.069 * * * [regime-changes]: Trying 2 branch expressions: (eps x)
3.069 * * * * [regimes]: Trying to branch on eps from (#<alt (λ (x eps) (log (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))> #<alt (λ (x eps) (- (* (* (cbrt (cos (+ x eps))) (cbrt (cos (+ x eps)))) (cbrt (cos (+ x eps)))) (cos x)))> #<alt (λ (x eps) (* (* (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))) (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))> #<alt (λ (x eps) (* -2 (* (sin (/ (- (+ x eps) x) 2)) (sin (/ (+ (+ x eps) x) 2)))))> #<alt (λ (x eps) (- (- (* (cos x) (cos eps)) (* (* (cbrt (* (sin x) (sin eps))) (cbrt (* (sin x) (sin eps)))) (cbrt (* (sin x) (sin eps))))) (cos x)))> #<alt (λ (x eps) (* eps (- (- (* 1/6 (pow x 3)) x) (* eps 1/2))))> #<alt (λ (x eps) (- (- (* (cos x) (cos eps)) (* x eps)) (cos x)))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (cbrt (pow (+ (* (sin x) (sin eps)) (cos x)) 3))))> #<alt (λ (x eps) (log (- 1 (+ (* x eps) (* 1/2 (pow eps 2))))))> #<alt (λ (x eps) (/ (- (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))) (+ (* (sin x) (sin eps)) (* (cos x) (+ (cos eps) 1)))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (/ (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3)) (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))))))> #<alt (λ (x eps) (- (exp (log (cos (+ x eps)))) (cos x)))> #<alt (λ (x eps) (- (/ (- (pow (* (cos x) (cos eps)) 3) (pow (* (sin x) (sin eps)) 3)) (+ (* (* (sin x) (sin eps)) (+ (* (sin x) (sin eps)) (* (cos x) (cos eps)))) (* (* (cos x) (cos eps)) (* (cos x) (cos eps))))) (cos x)))> #<alt (λ (x eps) (- (cbrt (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3)) (cos x)))> #<alt (λ (x eps) (/ (- (* (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (* (cos x) (cos x))) (+ (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))> #<alt (λ (x eps) (log (pow E (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (* (* (cbrt (+ (* (sin x) (sin eps)) (cos x))) (cbrt (+ (* (sin x) (sin eps)) (cos x)))) (cbrt (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (/ (+ (* -2 (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3))) (* (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))) (+ (cos (+ x eps)) (cos (- x eps))))) (* (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))) 2)))>)
3.209 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x eps) (log (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))> #<alt (λ (x eps) (- (* (* (cbrt (cos (+ x eps))) (cbrt (cos (+ x eps)))) (cbrt (cos (+ x eps)))) (cos x)))> #<alt (λ (x eps) (* (* (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))) (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))> #<alt (λ (x eps) (* -2 (* (sin (/ (- (+ x eps) x) 2)) (sin (/ (+ (+ x eps) x) 2)))))> #<alt (λ (x eps) (- (- (* (cos x) (cos eps)) (* (* (cbrt (* (sin x) (sin eps))) (cbrt (* (sin x) (sin eps)))) (cbrt (* (sin x) (sin eps))))) (cos x)))> #<alt (λ (x eps) (* eps (- (- (* 1/6 (pow x 3)) x) (* eps 1/2))))> #<alt (λ (x eps) (- (- (* (cos x) (cos eps)) (* x eps)) (cos x)))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (cbrt (pow (+ (* (sin x) (sin eps)) (cos x)) 3))))> #<alt (λ (x eps) (log (- 1 (+ (* x eps) (* 1/2 (pow eps 2))))))> #<alt (λ (x eps) (/ (- (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))) (+ (* (sin x) (sin eps)) (* (cos x) (+ (cos eps) 1)))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (/ (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3)) (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))))))> #<alt (λ (x eps) (- (exp (log (cos (+ x eps)))) (cos x)))> #<alt (λ (x eps) (- (/ (- (pow (* (cos x) (cos eps)) 3) (pow (* (sin x) (sin eps)) 3)) (+ (* (* (sin x) (sin eps)) (+ (* (sin x) (sin eps)) (* (cos x) (cos eps)))) (* (* (cos x) (cos eps)) (* (cos x) (cos eps))))) (cos x)))> #<alt (λ (x eps) (- (cbrt (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3)) (cos x)))> #<alt (λ (x eps) (/ (- (* (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (* (cos x) (cos x))) (+ (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))> #<alt (λ (x eps) (log (pow E (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (* (* (cbrt (+ (* (sin x) (sin eps)) (cos x))) (cbrt (+ (* (sin x) (sin eps)) (cos x)))) (cbrt (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (/ (+ (* -2 (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3))) (* (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))) (+ (cos (+ x eps)) (cos (- x eps))))) (* (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))) 2)))>)
3.346 * * * [regime]: Found split indices: #<option (#s(si 0 74) #s(si 5 200) #s(si 0 255))>
3.347 * [binary-search]: Improving bounds with binary search for eps and (#<alt (λ (x eps) (log (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))> #<alt (λ (x eps) (- (* (* (cbrt (cos (+ x eps))) (cbrt (cos (+ x eps)))) (cbrt (cos (+ x eps)))) (cos x)))> #<alt (λ (x eps) (* (* (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))) (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))> #<alt (λ (x eps) (* -2 (* (sin (/ (- (+ x eps) x) 2)) (sin (/ (+ (+ x eps) x) 2)))))> #<alt (λ (x eps) (- (- (* (cos x) (cos eps)) (* (* (cbrt (* (sin x) (sin eps))) (cbrt (* (sin x) (sin eps)))) (cbrt (* (sin x) (sin eps))))) (cos x)))> #<alt (λ (x eps) (* eps (- (- (* 1/6 (pow x 3)) x) (* eps 1/2))))> #<alt (λ (x eps) (- (- (* (cos x) (cos eps)) (* x eps)) (cos x)))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (cbrt (pow (+ (* (sin x) (sin eps)) (cos x)) 3))))> #<alt (λ (x eps) (log (- 1 (+ (* x eps) (* 1/2 (pow eps 2))))))> #<alt (λ (x eps) (/ (- (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))) (+ (* (sin x) (sin eps)) (* (cos x) (+ (cos eps) 1)))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (/ (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3)) (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))))))> #<alt (λ (x eps) (- (exp (log (cos (+ x eps)))) (cos x)))> #<alt (λ (x eps) (- (/ (- (pow (* (cos x) (cos eps)) 3) (pow (* (sin x) (sin eps)) 3)) (+ (* (* (sin x) (sin eps)) (+ (* (sin x) (sin eps)) (* (cos x) (cos eps)))) (* (* (cos x) (cos eps)) (* (cos x) (cos eps))))) (cos x)))> #<alt (λ (x eps) (- (cbrt (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3)) (cos x)))> #<alt (λ (x eps) (/ (- (* (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (* (cos x) (cos x))) (+ (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))> #<alt (λ (x eps) (log (pow E (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (* (* (cbrt (+ (* (sin x) (sin eps)) (cos x))) (cbrt (+ (* (sin x) (sin eps)) (cos x)))) (cbrt (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (/ (+ (* -2 (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3))) (* (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))) (+ (cos (+ x eps)) (cos (- x eps))))) (* (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))) 2)))>)
3.501 * [regimes]: Found splitpoints: (#s(sp 0 eps -1.2748310744836653e-06) #s(sp 5 eps 4.014258208791341e-07) #s(sp 0 eps +nan.0)) , with alts (#<alt (λ (x eps) (log (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))> #<alt (λ (x eps) (- (* (* (cbrt (cos (+ x eps))) (cbrt (cos (+ x eps)))) (cbrt (cos (+ x eps)))) (cos x)))> #<alt (λ (x eps) (* (* (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))) (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))) (cbrt (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))> #<alt (λ (x eps) (* -2 (* (sin (/ (- (+ x eps) x) 2)) (sin (/ (+ (+ x eps) x) 2)))))> #<alt (λ (x eps) (- (- (* (cos x) (cos eps)) (* (* (cbrt (* (sin x) (sin eps))) (cbrt (* (sin x) (sin eps)))) (cbrt (* (sin x) (sin eps))))) (cos x)))> #<alt (λ (x eps) (* eps (- (- (* 1/6 (pow x 3)) x) (* eps 1/2))))> #<alt (λ (x eps) (- (- (* (cos x) (cos eps)) (* x eps)) (cos x)))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (cbrt (pow (+ (* (sin x) (sin eps)) (cos x)) 3))))> #<alt (λ (x eps) (log (- 1 (+ (* x eps) (* 1/2 (pow eps 2))))))> #<alt (λ (x eps) (/ (- (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (* (+ (* (sin x) (sin eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x)))) (+ (* (sin x) (sin eps)) (* (cos x) (+ (cos eps) 1)))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (/ (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3)) (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))))))> #<alt (λ (x eps) (- (exp (log (cos (+ x eps)))) (cos x)))> #<alt (λ (x eps) (- (/ (- (pow (* (cos x) (cos eps)) 3) (pow (* (sin x) (sin eps)) 3)) (+ (* (* (sin x) (sin eps)) (+ (* (sin x) (sin eps)) (* (cos x) (cos eps)))) (* (* (cos x) (cos eps)) (* (cos x) (cos eps))))) (cos x)))> #<alt (λ (x eps) (- (cbrt (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3)) (cos x)))> #<alt (λ (x eps) (/ (- (* (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (- (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (* (cos x) (cos x))) (+ (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))> #<alt (λ (x eps) (log (pow E (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))))> #<alt (λ (x eps) (- (* (cos x) (cos eps)) (* (* (cbrt (+ (* (sin x) (sin eps)) (cos x))) (cbrt (+ (* (sin x) (sin eps)) (cos x)))) (cbrt (+ (* (sin x) (sin eps)) (cos x))))))> #<alt (λ (x eps) (/ (+ (* -2 (+ (pow (* (sin x) (sin eps)) 3) (pow (cos x) 3))) (* (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))) (+ (cos (+ x eps)) (cos (- x eps))))) (* (+ (* (cos x) (- (cos x) (* (sin x) (sin eps)))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))) 2)))>)
3.501 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (if (<= eps -1.2748310744836653e-06) (log (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))) (if (<= eps 4.014258208791341e-07) (* eps (- (- (* 1/6 (pow x 3)) x) (* eps 1/2))) (log (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x))))))
3.502 * * [simplify]: iteration  0 :  35  enodes  (cost  17 )
3.502 * * [simplify]: iteration  1 :  35  enodes  (cost  17 )
3.502 * [simplify]: Simplified to:
  (if (or (<= eps -1.2748310744836653e-06) (not (<= eps 4.014258208791341e-07))) (log (exp (- (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) (cos x)))) (* eps (- (- (* 1/6 (pow x 3)) x) (* eps 1/2))))