11.933 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.103 * * * [progress]: [2/2] Setting up program.
0.106 * [progress]: [Phase 2 of 3] Improving.
0.107 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (sin (+ x eps)) (sin x))
0.107 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.108 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
0.109 * * [simplify]: iteration  2 :  10  enodes  (cost  7 )
0.110 * * [simplify]: iteration  done :  10  enodes  (cost  7 )
0.110 * [simplify]: Simplified to:
   (- (sin (+ x eps)) (sin x))
0.110 * * [progress]: iteration 1 / 4
0.110 * * * [progress]: picking best candidate
0.114 * * * * [pick]: Picked  #<alt (λ (x eps) (- (sin (+ x eps)) (sin x)))>
0.114 * * * [progress]: localizing error
0.122 * * * [progress]: generating rewritten candidates
0.122 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.126 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.134 * * * [progress]: generating series expansions
0.134 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.134 * [approximate]: Taking taylor expansion of (sin (+ x eps)) in (x eps) around 0
0.134 * [taylor]: Taking taylor expansion of (sin (+ x eps)) in eps
0.134 * [taylor]: Taking taylor expansion of (+ x eps) in eps
0.134 * [taylor]: Taking taylor expansion of x in eps
0.134 * [taylor]: Taking taylor expansion of eps in eps
0.134 * [taylor]: Taking taylor expansion of (sin (+ x eps)) in x
0.134 * [taylor]: Taking taylor expansion of (+ x eps) in x
0.134 * [taylor]: Taking taylor expansion of x in x
0.134 * [taylor]: Taking taylor expansion of eps in x
0.134 * [taylor]: Taking taylor expansion of (sin (+ x eps)) in x
0.134 * [taylor]: Taking taylor expansion of (+ x eps) in x
0.134 * [taylor]: Taking taylor expansion of x in x
0.134 * [taylor]: Taking taylor expansion of eps in x
0.135 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.135 * [taylor]: Taking taylor expansion of eps in eps
0.135 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.135 * [taylor]: Taking taylor expansion of eps in eps
0.136 * [taylor]: Taking taylor expansion of (neg (* 1/2 (sin eps))) in eps
0.136 * [taylor]: Taking taylor expansion of (* 1/2 (sin eps)) in eps
0.136 * [taylor]: Taking taylor expansion of 1/2 in eps
0.136 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.136 * [taylor]: Taking taylor expansion of eps in eps
0.136 * [taylor]: Taking taylor expansion of (neg (* 1/6 (cos eps))) in eps
0.136 * [taylor]: Taking taylor expansion of (* 1/6 (cos eps)) in eps
0.136 * [taylor]: Taking taylor expansion of 1/6 in eps
0.136 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.136 * [taylor]: Taking taylor expansion of eps in eps
0.137 * [approximate]: Taking taylor expansion of (sin (+ (/ 1 eps) (/ 1 x))) in (x eps) around 0
0.137 * [taylor]: Taking taylor expansion of (sin (+ (/ 1 eps) (/ 1 x))) in eps
0.137 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.137 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.137 * [taylor]: Taking taylor expansion of eps in eps
0.137 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.137 * [taylor]: Taking taylor expansion of x in eps
0.137 * [taylor]: Taking taylor expansion of (sin (+ (/ 1 eps) (/ 1 x))) in x
0.137 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.137 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.137 * [taylor]: Taking taylor expansion of eps in x
0.137 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.137 * [taylor]: Taking taylor expansion of x in x
0.137 * [taylor]: Taking taylor expansion of (sin (+ (/ 1 eps) (/ 1 x))) in x
0.137 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.137 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.137 * [taylor]: Taking taylor expansion of eps in x
0.137 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.137 * [taylor]: Taking taylor expansion of x in x
0.137 * [taylor]: Taking taylor expansion of (sin (+ (/ 1 eps) (/ 1 x))) in eps
0.137 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.137 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.137 * [taylor]: Taking taylor expansion of eps in eps
0.137 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.137 * [taylor]: Taking taylor expansion of x in eps
0.138 * [taylor]: Taking taylor expansion of 0 in eps
0.138 * [taylor]: Taking taylor expansion of 0 in eps
0.138 * [taylor]: Taking taylor expansion of 0 in eps
0.138 * [approximate]: Taking taylor expansion of (sin (neg (+ (/ 1 eps) (/ 1 x)))) in (x eps) around 0
0.138 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ 1 eps) (/ 1 x)))) in eps
0.138 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in eps
0.138 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.138 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.138 * [taylor]: Taking taylor expansion of eps in eps
0.138 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.138 * [taylor]: Taking taylor expansion of x in eps
0.138 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ 1 eps) (/ 1 x)))) in x
0.138 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in x
0.138 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.138 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.138 * [taylor]: Taking taylor expansion of eps in x
0.138 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.138 * [taylor]: Taking taylor expansion of x in x
0.138 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ 1 eps) (/ 1 x)))) in x
0.138 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in x
0.138 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.138 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.138 * [taylor]: Taking taylor expansion of eps in x
0.138 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.138 * [taylor]: Taking taylor expansion of x in x
0.139 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ 1 eps) (/ 1 x)))) in eps
0.139 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in eps
0.139 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.139 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.139 * [taylor]: Taking taylor expansion of eps in eps
0.139 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.139 * [taylor]: Taking taylor expansion of x in eps
0.139 * [taylor]: Taking taylor expansion of 0 in eps
0.139 * [taylor]: Taking taylor expansion of 0 in eps
0.139 * [taylor]: Taking taylor expansion of 0 in eps
0.139 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.139 * [approximate]: Taking taylor expansion of (- (sin (+ x eps)) (sin x)) in (x eps) around 0
0.139 * [taylor]: Taking taylor expansion of (- (sin (+ x eps)) (sin x)) in eps
0.139 * [taylor]: Taking taylor expansion of (sin (+ x eps)) in eps
0.139 * [taylor]: Taking taylor expansion of (+ x eps) in eps
0.139 * [taylor]: Taking taylor expansion of x in eps
0.139 * [taylor]: Taking taylor expansion of eps in eps
0.139 * [taylor]: Taking taylor expansion of (sin x) in eps
0.139 * [taylor]: Taking taylor expansion of x in eps
0.139 * [taylor]: Taking taylor expansion of (- (sin (+ x eps)) (sin x)) in x
0.139 * [taylor]: Taking taylor expansion of (sin (+ x eps)) in x
0.139 * [taylor]: Taking taylor expansion of (+ x eps) in x
0.139 * [taylor]: Taking taylor expansion of x in x
0.139 * [taylor]: Taking taylor expansion of eps in x
0.139 * [taylor]: Taking taylor expansion of (sin x) in x
0.139 * [taylor]: Taking taylor expansion of x in x
0.140 * [taylor]: Taking taylor expansion of (- (sin (+ x eps)) (sin x)) in x
0.140 * [taylor]: Taking taylor expansion of (sin (+ x eps)) in x
0.140 * [taylor]: Taking taylor expansion of (+ x eps) in x
0.140 * [taylor]: Taking taylor expansion of x in x
0.140 * [taylor]: Taking taylor expansion of eps in x
0.140 * [taylor]: Taking taylor expansion of (sin x) in x
0.140 * [taylor]: Taking taylor expansion of x in x
0.140 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.140 * [taylor]: Taking taylor expansion of eps in eps
0.140 * [taylor]: Taking taylor expansion of (- (cos eps) 1) in eps
0.140 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.140 * [taylor]: Taking taylor expansion of eps in eps
0.140 * [taylor]: Taking taylor expansion of 1 in eps
0.141 * [taylor]: Taking taylor expansion of (neg (* 1/2 (sin eps))) in eps
0.141 * [taylor]: Taking taylor expansion of (* 1/2 (sin eps)) in eps
0.141 * [taylor]: Taking taylor expansion of 1/2 in eps
0.141 * [taylor]: Taking taylor expansion of (sin eps) in eps
0.141 * [taylor]: Taking taylor expansion of eps in eps
0.141 * [taylor]: Taking taylor expansion of (- 1/6 (* 1/6 (cos eps))) in eps
0.141 * [taylor]: Taking taylor expansion of 1/6 in eps
0.142 * [taylor]: Taking taylor expansion of (* 1/6 (cos eps)) in eps
0.142 * [taylor]: Taking taylor expansion of 1/6 in eps
0.142 * [taylor]: Taking taylor expansion of (cos eps) in eps
0.142 * [taylor]: Taking taylor expansion of eps in eps
0.142 * [approximate]: Taking taylor expansion of (- (sin (+ (/ 1 eps) (/ 1 x))) (sin (/ 1 x))) in (x eps) around 0
0.142 * [taylor]: Taking taylor expansion of (- (sin (+ (/ 1 eps) (/ 1 x))) (sin (/ 1 x))) in eps
0.142 * [taylor]: Taking taylor expansion of (sin (+ (/ 1 eps) (/ 1 x))) in eps
0.142 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.142 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.143 * [taylor]: Taking taylor expansion of eps in eps
0.143 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.143 * [taylor]: Taking taylor expansion of x in eps
0.143 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
0.143 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.143 * [taylor]: Taking taylor expansion of x in eps
0.143 * [taylor]: Taking taylor expansion of (- (sin (+ (/ 1 eps) (/ 1 x))) (sin (/ 1 x))) in x
0.143 * [taylor]: Taking taylor expansion of (sin (+ (/ 1 eps) (/ 1 x))) in x
0.143 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.143 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.143 * [taylor]: Taking taylor expansion of eps in x
0.143 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.143 * [taylor]: Taking taylor expansion of x in x
0.143 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.143 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.143 * [taylor]: Taking taylor expansion of x in x
0.143 * [taylor]: Taking taylor expansion of (- (sin (+ (/ 1 eps) (/ 1 x))) (sin (/ 1 x))) in x
0.143 * [taylor]: Taking taylor expansion of (sin (+ (/ 1 eps) (/ 1 x))) in x
0.143 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.143 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.143 * [taylor]: Taking taylor expansion of eps in x
0.143 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.143 * [taylor]: Taking taylor expansion of x in x
0.143 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.143 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.143 * [taylor]: Taking taylor expansion of x in x
0.144 * [taylor]: Taking taylor expansion of (- (sin (+ (/ 1 eps) (/ 1 x))) (sin (/ 1 x))) in eps
0.144 * [taylor]: Taking taylor expansion of (sin (+ (/ 1 eps) (/ 1 x))) in eps
0.144 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.144 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.144 * [taylor]: Taking taylor expansion of eps in eps
0.144 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.144 * [taylor]: Taking taylor expansion of x in eps
0.144 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps
0.144 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.144 * [taylor]: Taking taylor expansion of x in eps
0.144 * [taylor]: Taking taylor expansion of 0 in eps
0.144 * [taylor]: Taking taylor expansion of 0 in eps
0.145 * [taylor]: Taking taylor expansion of 0 in eps
0.145 * [approximate]: Taking taylor expansion of (- (sin (neg (+ (/ 1 eps) (/ 1 x)))) (sin (/ -1 x))) in (x eps) around 0
0.145 * [taylor]: Taking taylor expansion of (- (sin (neg (+ (/ 1 eps) (/ 1 x)))) (sin (/ -1 x))) in eps
0.145 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ 1 eps) (/ 1 x)))) in eps
0.145 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in eps
0.145 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.145 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.145 * [taylor]: Taking taylor expansion of eps in eps
0.145 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.145 * [taylor]: Taking taylor expansion of x in eps
0.145 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
0.145 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.145 * [taylor]: Taking taylor expansion of -1 in eps
0.145 * [taylor]: Taking taylor expansion of x in eps
0.145 * [taylor]: Taking taylor expansion of (- (sin (neg (+ (/ 1 eps) (/ 1 x)))) (sin (/ -1 x))) in x
0.146 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ 1 eps) (/ 1 x)))) in x
0.146 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in x
0.146 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.146 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.146 * [taylor]: Taking taylor expansion of eps in x
0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.146 * [taylor]: Taking taylor expansion of x in x
0.146 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.146 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.146 * [taylor]: Taking taylor expansion of -1 in x
0.146 * [taylor]: Taking taylor expansion of x in x
0.146 * [taylor]: Taking taylor expansion of (- (sin (neg (+ (/ 1 eps) (/ 1 x)))) (sin (/ -1 x))) in x
0.146 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ 1 eps) (/ 1 x)))) in x
0.146 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in x
0.146 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x
0.146 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
0.146 * [taylor]: Taking taylor expansion of eps in x
0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.146 * [taylor]: Taking taylor expansion of x in x
0.146 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.146 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.146 * [taylor]: Taking taylor expansion of -1 in x
0.146 * [taylor]: Taking taylor expansion of x in x
0.146 * [taylor]: Taking taylor expansion of (- (sin (neg (+ (/ 1 eps) (/ 1 x)))) (sin (/ -1 x))) in eps
0.146 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ 1 eps) (/ 1 x)))) in eps
0.146 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in eps
0.146 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps
0.146 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.146 * [taylor]: Taking taylor expansion of eps in eps
0.147 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
0.147 * [taylor]: Taking taylor expansion of x in eps
0.147 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps
0.147 * [taylor]: Taking taylor expansion of (/ -1 x) in eps
0.147 * [taylor]: Taking taylor expansion of -1 in eps
0.147 * [taylor]: Taking taylor expansion of x in eps
0.147 * [taylor]: Taking taylor expansion of 0 in eps
0.147 * [taylor]: Taking taylor expansion of 0 in eps
0.148 * [taylor]: Taking taylor expansion of 0 in eps
0.148 * * * [progress]: simplifying candidates
0.148 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (sin x) (cos eps))
  (* (cos x) (sin eps))
  (log (sin (+ x eps)))
  (exp (sin (+ x eps)))
  (* (cbrt (sin (+ x eps))) (cbrt (sin (+ x eps))))
  (cbrt (sin (+ x eps)))
  (* (* (sin (+ x eps)) (sin (+ x eps))) (sin (+ x eps)))
  (sqrt (sin (+ x eps)))
  (sqrt (sin (+ x eps)))
  (* (sin (/ (- (+ x eps) x) 2)) (cos (/ (+ (+ x eps) x) 2)))
  (/ (exp (sin (+ x eps))) (exp (sin x)))
  (log (- (sin (+ x eps)) (sin x)))
  (exp (- (sin (+ x eps)) (sin x)))
  (* (cbrt (- (sin (+ x eps)) (sin x))) (cbrt (- (sin (+ x eps)) (sin x))))
  (cbrt (- (sin (+ x eps)) (sin x)))
  (* (* (- (sin (+ x eps)) (sin x)) (- (sin (+ x eps)) (sin x))) (- (sin (+ x eps)) (sin x)))
  (sqrt (- (sin (+ x eps)) (sin x)))
  (sqrt (- (sin (+ x eps)) (sin x)))
  (- (pow (sin (+ x eps)) 3) (pow (sin x) 3))
  (+ (* (sin (+ x eps)) (sin (+ x eps))) (+ (* (sin x) (sin x)) (* (sin (+ x eps)) (sin x))))
  (neg (sin x))
  (- (* (sin (+ x eps)) (sin (+ x eps))) (* (sin x) (sin x)))
  (+ (sin (+ x eps)) (sin x))
  (+ (sqrt (sin (+ x eps))) (sqrt (sin x)))
  (- (sqrt (sin (+ x eps))) (sqrt (sin x)))
  (- (sin (+ x eps)) (sin x))
  (- (* (cos x) (sin eps)) (sin x))
  (neg (sin x))
  (- (+ x eps) (* 1/6 (pow x 3)))
  (sin (+ x eps))
  (sin (+ x eps))
  (- eps (+ (* 1/2 (* x (pow eps 2))) (* 1/2 (* (pow x 2) eps))))
  (- (sin (+ x eps)) (sin x))
  (- (sin (+ x eps)) (sin x))
0.150 * * [simplify]: iteration  0 :  63  enodes  (cost  309 )
0.158 * * [simplify]: iteration  1 :  134  enodes  (cost  295 )
0.193 * * [simplify]: iteration  2 :  295  enodes  (cost  281 )
0.241 * * [simplify]: iteration  3 :  535  enodes  (cost  275 )
0.411 * * [simplify]: iteration  4 :  1090  enodes  (cost  271 )
0.837 * * [simplify]: iteration  5 :  2480  enodes  (cost  271 )
1.851 * * [simplify]: iteration  done :  5000  enodes  (cost  271 )
1.851 * [simplify]: Simplified to:
   (* (sin x) (cos eps))
  (* (cos x) (sin eps))
  (log (sin (+ x eps)))
  (exp (sin (+ x eps)))
  (* (cbrt (sin (+ x eps))) (cbrt (sin (+ x eps))))
  (cbrt (sin (+ x eps)))
  (pow (sin (+ x eps)) 3)
  (sqrt (sin (+ x eps)))
  (sqrt (sin (+ x eps)))
  (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))
  (exp (- (sin (+ x eps)) (sin x)))
  (log (- (sin (+ x eps)) (sin x)))
  (exp (- (sin (+ x eps)) (sin x)))
  (* (cbrt (- (sin (+ x eps)) (sin x))) (cbrt (- (sin (+ x eps)) (sin x))))
  (cbrt (- (sin (+ x eps)) (sin x)))
  (pow (- (sin (+ x eps)) (sin x)) 3)
  (sqrt (- (sin (+ x eps)) (sin x)))
  (sqrt (- (sin (+ x eps)) (sin x)))
  (- (pow (sin (+ x eps)) 3) (pow (sin x) 3))
  (+ (* (sin x) (sin x)) (* (sin (+ x eps)) (+ (sin (+ x eps)) (sin x))))
  (neg (sin x))
  (- (* (sin (+ x eps)) (sin (+ x eps))) (* (sin x) (sin x)))
  (+ (sin (+ x eps)) (sin x))
  (+ (sqrt (sin (+ x eps))) (sqrt (sin x)))
  (- (sqrt (sin (+ x eps))) (sqrt (sin x)))
  (- (sin (+ x eps)) (sin x))
  (- (* (cos x) (sin eps)) (sin x))
  (neg (sin x))
  (- (+ x eps) (* 1/6 (pow x 3)))
  (sin (+ x eps))
  (sin (+ x eps))
  (+ (* (* (* eps x) (+ x eps)) -1/2) eps)
  (- (sin (+ x eps)) (sin x))
  (- (sin (+ x eps)) (sin x))
1.851 * * * [progress]: adding candidates to table
1.891 * * [progress]: iteration 2 / 4
1.891 * * * [progress]: picking best candidate
1.900 * * * * [pick]: Picked  #<alt (λ (x eps) (* 2 (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))))>
1.901 * * * [progress]: localizing error
1.913 * * * [progress]: generating rewritten candidates
1.913 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
1.921 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
1.927 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1 1 1)
1.934 * * * [progress]: generating series expansions
1.934 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
1.934 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in (x eps) around 0
1.935 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in eps
1.935 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
1.935 * [taylor]: Taking taylor expansion of 1/2 in eps
1.935 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
1.935 * [taylor]: Taking taylor expansion of (* 2 x) in eps
1.935 * [taylor]: Taking taylor expansion of 2 in eps
1.935 * [taylor]: Taking taylor expansion of x in eps
1.935 * [taylor]: Taking taylor expansion of eps in eps
1.935 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
1.935 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
1.935 * [taylor]: Taking taylor expansion of 1/2 in x
1.935 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
1.935 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.935 * [taylor]: Taking taylor expansion of 2 in x
1.935 * [taylor]: Taking taylor expansion of x in x
1.935 * [taylor]: Taking taylor expansion of eps in x
1.935 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
1.935 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
1.935 * [taylor]: Taking taylor expansion of 1/2 in x
1.935 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
1.935 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.935 * [taylor]: Taking taylor expansion of 2 in x
1.935 * [taylor]: Taking taylor expansion of x in x
1.935 * [taylor]: Taking taylor expansion of eps in x
1.936 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
1.936 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.936 * [taylor]: Taking taylor expansion of 1/2 in eps
1.936 * [taylor]: Taking taylor expansion of eps in eps
1.936 * [taylor]: Taking taylor expansion of (neg (sin (* 1/2 eps))) in eps
1.936 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.936 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.936 * [taylor]: Taking taylor expansion of 1/2 in eps
1.936 * [taylor]: Taking taylor expansion of eps in eps
1.937 * [taylor]: Taking taylor expansion of (neg (* 1/2 (cos (* 1/2 eps)))) in eps
1.937 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* 1/2 eps))) in eps
1.937 * [taylor]: Taking taylor expansion of 1/2 in eps
1.937 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
1.937 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.937 * [taylor]: Taking taylor expansion of 1/2 in eps
1.937 * [taylor]: Taking taylor expansion of eps in eps
1.937 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
1.937 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.937 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.937 * [taylor]: Taking taylor expansion of 1/2 in eps
1.937 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.937 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.937 * [taylor]: Taking taylor expansion of eps in eps
1.937 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.937 * [taylor]: Taking taylor expansion of 2 in eps
1.937 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.937 * [taylor]: Taking taylor expansion of x in eps
1.937 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.938 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.938 * [taylor]: Taking taylor expansion of 1/2 in x
1.938 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.938 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.938 * [taylor]: Taking taylor expansion of eps in x
1.938 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.938 * [taylor]: Taking taylor expansion of 2 in x
1.938 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.938 * [taylor]: Taking taylor expansion of x in x
1.938 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.938 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.938 * [taylor]: Taking taylor expansion of 1/2 in x
1.938 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.938 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.938 * [taylor]: Taking taylor expansion of eps in x
1.938 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.938 * [taylor]: Taking taylor expansion of 2 in x
1.938 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.938 * [taylor]: Taking taylor expansion of x in x
1.938 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.938 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.938 * [taylor]: Taking taylor expansion of 1/2 in eps
1.938 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.938 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.938 * [taylor]: Taking taylor expansion of eps in eps
1.938 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.938 * [taylor]: Taking taylor expansion of 2 in eps
1.938 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.938 * [taylor]: Taking taylor expansion of x in eps
1.939 * [taylor]: Taking taylor expansion of 0 in eps
1.939 * [taylor]: Taking taylor expansion of 0 in eps
1.939 * [taylor]: Taking taylor expansion of 0 in eps
1.939 * [approximate]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
1.939 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.939 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.939 * [taylor]: Taking taylor expansion of -1/2 in eps
1.939 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.939 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.939 * [taylor]: Taking taylor expansion of eps in eps
1.939 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.939 * [taylor]: Taking taylor expansion of 2 in eps
1.939 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.939 * [taylor]: Taking taylor expansion of x in eps
1.939 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.939 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.939 * [taylor]: Taking taylor expansion of -1/2 in x
1.939 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.939 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.939 * [taylor]: Taking taylor expansion of eps in x
1.939 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.939 * [taylor]: Taking taylor expansion of 2 in x
1.939 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.939 * [taylor]: Taking taylor expansion of x in x
1.939 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.939 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.939 * [taylor]: Taking taylor expansion of -1/2 in x
1.940 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.940 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.940 * [taylor]: Taking taylor expansion of eps in x
1.940 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.940 * [taylor]: Taking taylor expansion of 2 in x
1.940 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.940 * [taylor]: Taking taylor expansion of x in x
1.940 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.940 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.940 * [taylor]: Taking taylor expansion of -1/2 in eps
1.940 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.940 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.940 * [taylor]: Taking taylor expansion of eps in eps
1.940 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.940 * [taylor]: Taking taylor expansion of 2 in eps
1.940 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.940 * [taylor]: Taking taylor expansion of x in eps
1.940 * [taylor]: Taking taylor expansion of 0 in eps
1.940 * [taylor]: Taking taylor expansion of 0 in eps
1.940 * [taylor]: Taking taylor expansion of 0 in eps
1.940 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
1.941 * [approximate]: Taking taylor expansion of (* (sin (* 1/2 eps)) (cos (* 1/2 (+ (* 2 x) eps)))) in (x eps) around 0
1.941 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (cos (* 1/2 (+ (* 2 x) eps)))) in eps
1.941 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.941 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.941 * [taylor]: Taking taylor expansion of 1/2 in eps
1.941 * [taylor]: Taking taylor expansion of eps in eps
1.941 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in eps
1.941 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
1.941 * [taylor]: Taking taylor expansion of 1/2 in eps
1.941 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
1.941 * [taylor]: Taking taylor expansion of (* 2 x) in eps
1.941 * [taylor]: Taking taylor expansion of 2 in eps
1.941 * [taylor]: Taking taylor expansion of x in eps
1.941 * [taylor]: Taking taylor expansion of eps in eps
1.941 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (cos (* 1/2 (+ (* 2 x) eps)))) in x
1.941 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x
1.941 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
1.941 * [taylor]: Taking taylor expansion of 1/2 in x
1.941 * [taylor]: Taking taylor expansion of eps in x
1.941 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
1.941 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
1.941 * [taylor]: Taking taylor expansion of 1/2 in x
1.941 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
1.941 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.941 * [taylor]: Taking taylor expansion of 2 in x
1.941 * [taylor]: Taking taylor expansion of x in x
1.941 * [taylor]: Taking taylor expansion of eps in x
1.941 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (cos (* 1/2 (+ (* 2 x) eps)))) in x
1.941 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x
1.941 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x
1.941 * [taylor]: Taking taylor expansion of 1/2 in x
1.941 * [taylor]: Taking taylor expansion of eps in x
1.941 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
1.941 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
1.941 * [taylor]: Taking taylor expansion of 1/2 in x
1.941 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
1.941 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.941 * [taylor]: Taking taylor expansion of 2 in x
1.941 * [taylor]: Taking taylor expansion of x in x
1.941 * [taylor]: Taking taylor expansion of eps in x
1.942 * [taylor]: Taking taylor expansion of (* (cos (* 1/2 eps)) (sin (* 1/2 eps))) in eps
1.942 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
1.942 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.942 * [taylor]: Taking taylor expansion of 1/2 in eps
1.942 * [taylor]: Taking taylor expansion of eps in eps
1.942 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.942 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.942 * [taylor]: Taking taylor expansion of 1/2 in eps
1.942 * [taylor]: Taking taylor expansion of eps in eps
1.943 * [taylor]: Taking taylor expansion of (neg (pow (sin (* 1/2 eps)) 2)) in eps
1.943 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps
1.943 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.943 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.943 * [taylor]: Taking taylor expansion of 1/2 in eps
1.943 * [taylor]: Taking taylor expansion of eps in eps
1.944 * [taylor]: Taking taylor expansion of (neg (* 1/2 (* (cos (* 1/2 eps)) (sin (* 1/2 eps))))) in eps
1.944 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (* 1/2 eps)) (sin (* 1/2 eps)))) in eps
1.944 * [taylor]: Taking taylor expansion of 1/2 in eps
1.944 * [taylor]: Taking taylor expansion of (* (cos (* 1/2 eps)) (sin (* 1/2 eps))) in eps
1.944 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
1.944 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.944 * [taylor]: Taking taylor expansion of 1/2 in eps
1.944 * [taylor]: Taking taylor expansion of eps in eps
1.944 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.944 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.944 * [taylor]: Taking taylor expansion of 1/2 in eps
1.944 * [taylor]: Taking taylor expansion of eps in eps
1.945 * [taylor]: Taking taylor expansion of (* 1/6 (pow (sin (* 1/2 eps)) 2)) in eps
1.945 * [taylor]: Taking taylor expansion of 1/6 in eps
1.945 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps
1.945 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
1.945 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
1.945 * [taylor]: Taking taylor expansion of 1/2 in eps
1.945 * [taylor]: Taking taylor expansion of eps in eps
1.946 * [approximate]: Taking taylor expansion of (* (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ 1/2 eps))) in (x eps) around 0
1.946 * [taylor]: Taking taylor expansion of (* (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ 1/2 eps))) in eps
1.946 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.946 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.946 * [taylor]: Taking taylor expansion of 1/2 in eps
1.946 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.946 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.946 * [taylor]: Taking taylor expansion of eps in eps
1.946 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.946 * [taylor]: Taking taylor expansion of 2 in eps
1.946 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.946 * [taylor]: Taking taylor expansion of x in eps
1.946 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
1.946 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
1.946 * [taylor]: Taking taylor expansion of 1/2 in eps
1.946 * [taylor]: Taking taylor expansion of eps in eps
1.947 * [taylor]: Taking taylor expansion of (* (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ 1/2 eps))) in x
1.947 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.947 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.947 * [taylor]: Taking taylor expansion of 1/2 in x
1.947 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.947 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.947 * [taylor]: Taking taylor expansion of eps in x
1.947 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.947 * [taylor]: Taking taylor expansion of 2 in x
1.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.947 * [taylor]: Taking taylor expansion of x in x
1.947 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x
1.947 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x
1.947 * [taylor]: Taking taylor expansion of 1/2 in x
1.947 * [taylor]: Taking taylor expansion of eps in x
1.947 * [taylor]: Taking taylor expansion of (* (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ 1/2 eps))) in x
1.947 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.947 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.947 * [taylor]: Taking taylor expansion of 1/2 in x
1.947 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.947 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.947 * [taylor]: Taking taylor expansion of eps in x
1.947 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.947 * [taylor]: Taking taylor expansion of 2 in x
1.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.947 * [taylor]: Taking taylor expansion of x in x
1.947 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x
1.947 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x
1.947 * [taylor]: Taking taylor expansion of 1/2 in x
1.947 * [taylor]: Taking taylor expansion of eps in x
1.948 * [taylor]: Taking taylor expansion of (* (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) (sin (/ 1/2 eps))) in eps
1.948 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.948 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.948 * [taylor]: Taking taylor expansion of 1/2 in eps
1.948 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.948 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.948 * [taylor]: Taking taylor expansion of eps in eps
1.948 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.948 * [taylor]: Taking taylor expansion of 2 in eps
1.948 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.948 * [taylor]: Taking taylor expansion of x in eps
1.948 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps
1.948 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps
1.948 * [taylor]: Taking taylor expansion of 1/2 in eps
1.948 * [taylor]: Taking taylor expansion of eps in eps
1.949 * [taylor]: Taking taylor expansion of 0 in eps
1.949 * [taylor]: Taking taylor expansion of 0 in eps
1.950 * [taylor]: Taking taylor expansion of 0 in eps
1.950 * [approximate]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in (x eps) around 0
1.950 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
1.950 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
1.950 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
1.950 * [taylor]: Taking taylor expansion of -1/2 in eps
1.950 * [taylor]: Taking taylor expansion of eps in eps
1.950 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.950 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.950 * [taylor]: Taking taylor expansion of -1/2 in eps
1.950 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.951 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.951 * [taylor]: Taking taylor expansion of eps in eps
1.951 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.951 * [taylor]: Taking taylor expansion of 2 in eps
1.951 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.951 * [taylor]: Taking taylor expansion of x in eps
1.951 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
1.951 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x
1.951 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x
1.951 * [taylor]: Taking taylor expansion of -1/2 in x
1.951 * [taylor]: Taking taylor expansion of eps in x
1.951 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.951 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.951 * [taylor]: Taking taylor expansion of -1/2 in x
1.951 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.951 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.951 * [taylor]: Taking taylor expansion of eps in x
1.951 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.951 * [taylor]: Taking taylor expansion of 2 in x
1.951 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.951 * [taylor]: Taking taylor expansion of x in x
1.951 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
1.951 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x
1.951 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x
1.951 * [taylor]: Taking taylor expansion of -1/2 in x
1.951 * [taylor]: Taking taylor expansion of eps in x
1.951 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
1.951 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.951 * [taylor]: Taking taylor expansion of -1/2 in x
1.951 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.951 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.951 * [taylor]: Taking taylor expansion of eps in x
1.951 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.951 * [taylor]: Taking taylor expansion of 2 in x
1.951 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.952 * [taylor]: Taking taylor expansion of x in x
1.952 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
1.952 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps
1.952 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps
1.952 * [taylor]: Taking taylor expansion of -1/2 in eps
1.952 * [taylor]: Taking taylor expansion of eps in eps
1.952 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
1.952 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.952 * [taylor]: Taking taylor expansion of -1/2 in eps
1.952 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.952 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.952 * [taylor]: Taking taylor expansion of eps in eps
1.952 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.952 * [taylor]: Taking taylor expansion of 2 in eps
1.952 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.952 * [taylor]: Taking taylor expansion of x in eps
1.953 * [taylor]: Taking taylor expansion of 0 in eps
1.953 * [taylor]: Taking taylor expansion of 0 in eps
1.954 * [taylor]: Taking taylor expansion of 0 in eps
1.954 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1 1 1)
1.954 * [approximate]: Taking taylor expansion of (+ (* 2 x) eps) in (x eps) around 0
1.954 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
1.954 * [taylor]: Taking taylor expansion of (* 2 x) in eps
1.954 * [taylor]: Taking taylor expansion of 2 in eps
1.954 * [taylor]: Taking taylor expansion of x in eps
1.954 * [taylor]: Taking taylor expansion of eps in eps
1.954 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
1.954 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.954 * [taylor]: Taking taylor expansion of 2 in x
1.955 * [taylor]: Taking taylor expansion of x in x
1.955 * [taylor]: Taking taylor expansion of eps in x
1.955 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
1.955 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.955 * [taylor]: Taking taylor expansion of 2 in x
1.955 * [taylor]: Taking taylor expansion of x in x
1.955 * [taylor]: Taking taylor expansion of eps in x
1.955 * [taylor]: Taking taylor expansion of eps in eps
1.955 * [taylor]: Taking taylor expansion of 2 in eps
1.955 * [taylor]: Taking taylor expansion of 0 in eps
1.955 * [taylor]: Taking taylor expansion of 0 in eps
1.955 * [approximate]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in (x eps) around 0
1.955 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.955 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.955 * [taylor]: Taking taylor expansion of eps in eps
1.955 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.955 * [taylor]: Taking taylor expansion of 2 in eps
1.955 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.955 * [taylor]: Taking taylor expansion of x in eps
1.955 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.955 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.955 * [taylor]: Taking taylor expansion of eps in x
1.955 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.955 * [taylor]: Taking taylor expansion of 2 in x
1.955 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.955 * [taylor]: Taking taylor expansion of x in x
1.955 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.955 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.955 * [taylor]: Taking taylor expansion of eps in x
1.955 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.956 * [taylor]: Taking taylor expansion of 2 in x
1.956 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.956 * [taylor]: Taking taylor expansion of x in x
1.956 * [taylor]: Taking taylor expansion of 2 in eps
1.956 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.956 * [taylor]: Taking taylor expansion of eps in eps
1.956 * [taylor]: Taking taylor expansion of 0 in eps
1.956 * [taylor]: Taking taylor expansion of 0 in eps
1.956 * [taylor]: Taking taylor expansion of 0 in eps
1.957 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 eps) (* 2 (/ 1 x)))) in (x eps) around 0
1.957 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
1.957 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
1.957 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.957 * [taylor]: Taking taylor expansion of eps in eps
1.957 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
1.957 * [taylor]: Taking taylor expansion of 2 in eps
1.957 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
1.957 * [taylor]: Taking taylor expansion of x in eps
1.957 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.957 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.957 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.957 * [taylor]: Taking taylor expansion of eps in x
1.957 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.957 * [taylor]: Taking taylor expansion of 2 in x
1.957 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.957 * [taylor]: Taking taylor expansion of x in x
1.957 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
1.957 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
1.957 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
1.957 * [taylor]: Taking taylor expansion of eps in x
1.957 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.957 * [taylor]: Taking taylor expansion of 2 in x
1.957 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.957 * [taylor]: Taking taylor expansion of x in x
1.957 * [taylor]: Taking taylor expansion of (neg 2) in eps
1.957 * [taylor]: Taking taylor expansion of 2 in eps
1.957 * [taylor]: Taking taylor expansion of (neg (/ 1 eps)) in eps
1.957 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.958 * [taylor]: Taking taylor expansion of eps in eps
1.958 * [taylor]: Taking taylor expansion of 0 in eps
1.958 * [taylor]: Taking taylor expansion of 0 in eps
1.958 * [taylor]: Taking taylor expansion of 0 in eps
1.959 * * * [progress]: simplifying candidates
1.959 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cos (/ (+ (+ x eps) x) 2)))
  (exp (cos (/ (+ (+ x eps) x) 2)))
  (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (cbrt (cos (/ (+ (+ x eps) x) 2)))
  (* (* (cos (/ (+ (+ x eps) x) 2)) (cos (/ (+ (+ x eps) x) 2))) (cos (/ (+ (+ x eps) x) 2)))
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))
  (+ (log (cos (/ (+ (+ x eps) x) 2))) (log (sin (/ eps 2))))
  (log (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))))
  (exp (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))))
  (* (* (* (cos (/ (+ (+ x eps) x) 2)) (cos (/ (+ (+ x eps) x) 2))) (cos (/ (+ (+ x eps) x) 2))) (* (* (sin (/ eps 2)) (sin (/ eps 2))) (sin (/ eps 2))))
  (* (cbrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))) (cbrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))))
  (cbrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))))
  (* (* (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))) (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))) (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))))
  (sqrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))))
  (sqrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))))
  (* (sqrt (cos (/ (+ (+ x eps) x) 2))) (sqrt (sin (/ eps 2))))
  (* (sqrt (cos (/ (+ (+ x eps) x) 2))) (sqrt (sin (/ eps 2))))
  (* (cos (/ (+ (+ x eps) x) 2)) (* (cbrt (sin (/ eps 2))) (cbrt (sin (/ eps 2)))))
  (* (cos (/ (+ (+ x eps) x) 2)) (sqrt (sin (/ eps 2))))
  (* (cos (/ (+ (+ x eps) x) 2)) 1)
  (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (sin (/ eps 2)))
  (* (sqrt (cos (/ (+ (+ x eps) x) 2))) (sin (/ eps 2)))
  (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))
  (* (* (exp x) (exp eps)) (exp x))
  (* (exp (+ x eps)) (exp x))
  (log (+ (+ x eps) x))
  (exp (+ (+ x eps) x))
  (* (cbrt (+ (+ x eps) x)) (cbrt (+ (+ x eps) x)))
  (cbrt (+ (+ x eps) x))
  (* (* (+ (+ x eps) x) (+ (+ x eps) x)) (+ (+ x eps) x))
  (sqrt (+ (+ x eps) x))
  (sqrt (+ (+ x eps) x))
  (+ (pow (+ x eps) 3) (pow x 3))
  (+ (* (+ x eps) (+ x eps)) (- (* x x) (* (+ x eps) x)))
  (- (* (+ x eps) (+ x eps)) (* x x))
  (- (+ x eps) x)
  (+ (+ x eps) x)
  (+ (+ x eps) x)
  (+ eps x)
  (- 1 (+ (* 1/2 (* x eps)) (* 1/2 (pow x 2))))
  (cos (* 1/2 (+ (* 2 x) eps)))
  (cos (* 1/2 (+ (* 2 x) eps)))
  (- (* 1/2 eps) (+ (* 1/4 (* x (pow eps 2))) (* 1/4 (* (pow x 2) eps))))
  (* (sin (* 1/2 eps)) (cos (* 1/2 (+ (* 2 x) eps))))
  (* (sin (* 1/2 eps)) (cos (* 1/2 (+ (* 2 x) eps))))
  (+ (* 2 x) eps)
  (+ (* 2 x) eps)
  (+ (* 2 x) eps)
1.961 * * [simplify]: iteration  0 :  86  enodes  (cost  633 )
1.977 * * [simplify]: iteration  1 :  203  enodes  (cost  621 )
2.017 * * [simplify]: iteration  2 :  518  enodes  (cost  541 )
2.194 * * [simplify]: iteration  3 :  1338  enodes  (cost  529 )
3.814 * * [simplify]: iteration  4 :  4263  enodes  (cost  513 )
4.973 * * [simplify]: iteration  done :  5001  enodes  (cost  513 )
4.974 * [simplify]: Simplified to:
   (log (cos (/ (+ (+ x eps) x) 2)))
  (exp (cos (/ (+ (+ x eps) x) 2)))
  (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (cbrt (cos (/ (+ (+ x eps) x) 2)))
  (pow (cos (/ (+ (+ x eps) x) 2)) 3)
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))
  (log (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))))
  (log (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))))
  (exp (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))))
  (pow (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))) 3)
  (* (cbrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))) (cbrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))))
  (cbrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))))
  (pow (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))) 3)
  (sqrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))))
  (sqrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))))
  (* (sqrt (cos (/ (+ (+ x eps) x) 2))) (sqrt (sin (/ eps 2))))
  (* (sqrt (cos (/ (+ (+ x eps) x) 2))) (sqrt (sin (/ eps 2))))
  (* (cos (/ (+ (+ x eps) x) 2)) (* (cbrt (sin (/ eps 2))) (cbrt (sin (/ eps 2)))))
  (* (cos (/ (+ (+ x eps) x) 2)) (sqrt (sin (/ eps 2))))
  (cos (/ (+ (+ x eps) x) 2))
  (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (sin (/ eps 2)))
  (* (sqrt (cos (/ (+ (+ x eps) x) 2))) (sin (/ eps 2)))
  (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))
  (exp (+ (+ x eps) x))
  (exp (+ (+ x eps) x))
  (log (+ (+ x eps) x))
  (exp (+ (+ x eps) x))
  (* (cbrt (+ (+ x eps) x)) (cbrt (+ (+ x eps) x)))
  (cbrt (+ (+ x eps) x))
  (pow (+ (+ x eps) x) 3)
  (sqrt (+ (+ x eps) x))
  (sqrt (+ (+ x eps) x))
  (+ (pow (+ x eps) 3) (pow x 3))
  (+ (* (+ eps x) eps) (* x x))
  (* (+ (+ x eps) x) eps)
  eps
  (+ (+ x x) eps)
  (+ (+ x x) eps)
  (+ eps x)
  (- 1 (* 1/2 (* (+ x eps) x)))
  (cos (+ x (* 1/2 eps)))
  (cos (+ x (* 1/2 eps)))
  (* eps (- 1/2 (* 1/4 (* (+ x eps) x))))
  (* (cos (+ x (* 1/2 eps))) (sin (* 1/2 eps)))
  (* (cos (+ x (* 1/2 eps))) (sin (* 1/2 eps)))
  (+ (+ x x) eps)
  (+ (+ x x) eps)
  (+ (+ x x) eps)
4.974 * * * [progress]: adding candidates to table
5.058 * * [progress]: iteration 3 / 4
5.058 * * * [progress]: picking best candidate
5.087 * * * * [pick]: Picked  #<alt (λ (x eps) (* 2 (* (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2)))) (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (sin (/ eps 2))))))>
5.087 * * * [progress]: localizing error
5.104 * * * [progress]: generating rewritten candidates
5.104 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1)
5.111 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1)
5.119 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1)
5.127 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
5.129 * * * [progress]: generating series expansions
5.129 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1)
5.129 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in (x eps) around 0
5.129 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in eps
5.129 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
5.129 * [taylor]: Taking taylor expansion of 1/2 in eps
5.129 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
5.129 * [taylor]: Taking taylor expansion of (* 2 x) in eps
5.129 * [taylor]: Taking taylor expansion of 2 in eps
5.129 * [taylor]: Taking taylor expansion of x in eps
5.129 * [taylor]: Taking taylor expansion of eps in eps
5.129 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
5.129 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
5.129 * [taylor]: Taking taylor expansion of 1/2 in x
5.129 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
5.129 * [taylor]: Taking taylor expansion of (* 2 x) in x
5.129 * [taylor]: Taking taylor expansion of 2 in x
5.129 * [taylor]: Taking taylor expansion of x in x
5.129 * [taylor]: Taking taylor expansion of eps in x
5.129 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
5.129 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
5.129 * [taylor]: Taking taylor expansion of 1/2 in x
5.129 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
5.129 * [taylor]: Taking taylor expansion of (* 2 x) in x
5.129 * [taylor]: Taking taylor expansion of 2 in x
5.129 * [taylor]: Taking taylor expansion of x in x
5.129 * [taylor]: Taking taylor expansion of eps in x
5.130 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
5.130 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
5.130 * [taylor]: Taking taylor expansion of 1/2 in eps
5.130 * [taylor]: Taking taylor expansion of eps in eps
5.130 * [taylor]: Taking taylor expansion of (neg (sin (* 1/2 eps))) in eps
5.130 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
5.130 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
5.130 * [taylor]: Taking taylor expansion of 1/2 in eps
5.130 * [taylor]: Taking taylor expansion of eps in eps
5.131 * [taylor]: Taking taylor expansion of (neg (* 1/2 (cos (* 1/2 eps)))) in eps
5.131 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* 1/2 eps))) in eps
5.131 * [taylor]: Taking taylor expansion of 1/2 in eps
5.131 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
5.131 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
5.131 * [taylor]: Taking taylor expansion of 1/2 in eps
5.131 * [taylor]: Taking taylor expansion of eps in eps
5.131 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
5.131 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
5.131 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
5.131 * [taylor]: Taking taylor expansion of 1/2 in eps
5.131 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
5.131 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
5.131 * [taylor]: Taking taylor expansion of eps in eps
5.131 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
5.131 * [taylor]: Taking taylor expansion of 2 in eps
5.131 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
5.131 * [taylor]: Taking taylor expansion of x in eps
5.132 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
5.132 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
5.132 * [taylor]: Taking taylor expansion of 1/2 in x
5.132 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
5.132 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
5.132 * [taylor]: Taking taylor expansion of eps in x
5.132 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
5.132 * [taylor]: Taking taylor expansion of 2 in x
5.132 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.132 * [taylor]: Taking taylor expansion of x in x
5.132 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
5.132 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
5.132 * [taylor]: Taking taylor expansion of 1/2 in x
5.132 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
5.132 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
5.132 * [taylor]: Taking taylor expansion of eps in x
5.132 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
5.132 * [taylor]: Taking taylor expansion of 2 in x
5.132 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.132 * [taylor]: Taking taylor expansion of x in x
5.132 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
5.132 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
5.132 * [taylor]: Taking taylor expansion of 1/2 in eps
5.132 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
5.132 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
5.132 * [taylor]: Taking taylor expansion of eps in eps
5.132 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
5.132 * [taylor]: Taking taylor expansion of 2 in eps
5.132 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
5.132 * [taylor]: Taking taylor expansion of x in eps
5.133 * [taylor]: Taking taylor expansion of 0 in eps
5.133 * [taylor]: Taking taylor expansion of 0 in eps
5.133 * [taylor]: Taking taylor expansion of 0 in eps
5.133 * [approximate]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
5.133 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
5.133 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
5.133 * [taylor]: Taking taylor expansion of -1/2 in eps
5.133 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
5.133 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
5.133 * [taylor]: Taking taylor expansion of eps in eps
5.133 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
5.133 * [taylor]: Taking taylor expansion of 2 in eps
5.133 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
5.133 * [taylor]: Taking taylor expansion of x in eps
5.133 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
5.133 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
5.133 * [taylor]: Taking taylor expansion of -1/2 in x
5.133 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
5.133 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
5.133 * [taylor]: Taking taylor expansion of eps in x
5.133 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
5.133 * [taylor]: Taking taylor expansion of 2 in x
5.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.133 * [taylor]: Taking taylor expansion of x in x
5.134 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
5.134 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
5.134 * [taylor]: Taking taylor expansion of -1/2 in x
5.134 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
5.134 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
5.134 * [taylor]: Taking taylor expansion of eps in x
5.134 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
5.134 * [taylor]: Taking taylor expansion of 2 in x
5.134 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.134 * [taylor]: Taking taylor expansion of x in x
5.134 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
5.134 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
5.134 * [taylor]: Taking taylor expansion of -1/2 in eps
5.134 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
5.134 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
5.134 * [taylor]: Taking taylor expansion of eps in eps
5.134 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
5.134 * [taylor]: Taking taylor expansion of 2 in eps
5.134 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
5.134 * [taylor]: Taking taylor expansion of x in eps
5.134 * [taylor]: Taking taylor expansion of 0 in eps
5.134 * [taylor]: Taking taylor expansion of 0 in eps
5.134 * [taylor]: Taking taylor expansion of 0 in eps
5.134 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1)
5.135 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in (x eps) around 0
5.135 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in eps
5.135 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
5.135 * [taylor]: Taking taylor expansion of 1/2 in eps
5.135 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
5.135 * [taylor]: Taking taylor expansion of (* 2 x) in eps
5.135 * [taylor]: Taking taylor expansion of 2 in eps
5.135 * [taylor]: Taking taylor expansion of x in eps
5.135 * [taylor]: Taking taylor expansion of eps in eps
5.135 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
5.135 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
5.135 * [taylor]: Taking taylor expansion of 1/2 in x
5.135 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
5.135 * [taylor]: Taking taylor expansion of (* 2 x) in x
5.135 * [taylor]: Taking taylor expansion of 2 in x
5.135 * [taylor]: Taking taylor expansion of x in x
5.135 * [taylor]: Taking taylor expansion of eps in x
5.135 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
5.135 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
5.135 * [taylor]: Taking taylor expansion of 1/2 in x
5.135 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
5.135 * [taylor]: Taking taylor expansion of (* 2 x) in x
5.135 * [taylor]: Taking taylor expansion of 2 in x
5.135 * [taylor]: Taking taylor expansion of x in x
5.135 * [taylor]: Taking taylor expansion of eps in x
5.135 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
5.135 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
5.135 * [taylor]: Taking taylor expansion of 1/2 in eps
5.135 * [taylor]: Taking taylor expansion of eps in eps
5.136 * [taylor]: Taking taylor expansion of (neg (sin (* 1/2 eps))) in eps
5.136 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
5.136 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
5.136 * [taylor]: Taking taylor expansion of 1/2 in eps
5.136 * [taylor]: Taking taylor expansion of eps in eps
5.136 * [taylor]: Taking taylor expansion of (neg (* 1/2 (cos (* 1/2 eps)))) in eps
5.136 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* 1/2 eps))) in eps
5.136 * [taylor]: Taking taylor expansion of 1/2 in eps
5.136 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
5.136 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
5.136 * [taylor]: Taking taylor expansion of 1/2 in eps
5.136 * [taylor]: Taking taylor expansion of eps in eps
5.137 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
5.137 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
5.137 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
5.137 * [taylor]: Taking taylor expansion of 1/2 in eps
5.137 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
5.137 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
5.137 * [taylor]: Taking taylor expansion of eps in eps
5.137 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
5.137 * [taylor]: Taking taylor expansion of 2 in eps
5.137 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
5.137 * [taylor]: Taking taylor expansion of x in eps
5.137 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
5.137 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
5.137 * [taylor]: Taking taylor expansion of 1/2 in x
5.137 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
5.137 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
5.137 * [taylor]: Taking taylor expansion of eps in x
5.137 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
5.137 * [taylor]: Taking taylor expansion of 2 in x
5.137 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.137 * [taylor]: Taking taylor expansion of x in x
5.137 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
5.137 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
5.137 * [taylor]: Taking taylor expansion of 1/2 in x
5.137 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
5.137 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
5.137 * [taylor]: Taking taylor expansion of eps in x
5.138 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
5.138 * [taylor]: Taking taylor expansion of 2 in x
5.138 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.138 * [taylor]: Taking taylor expansion of x in x
5.138 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
5.138 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
5.138 * [taylor]: Taking taylor expansion of 1/2 in eps
5.138 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
5.138 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
5.138 * [taylor]: Taking taylor expansion of eps in eps
5.138 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
5.138 * [taylor]: Taking taylor expansion of 2 in eps
5.138 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
5.138 * [taylor]: Taking taylor expansion of x in eps
5.138 * [taylor]: Taking taylor expansion of 0 in eps
5.138 * [taylor]: Taking taylor expansion of 0 in eps
5.138 * [taylor]: Taking taylor expansion of 0 in eps
5.138 * [approximate]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
5.138 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
5.138 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
5.138 * [taylor]: Taking taylor expansion of -1/2 in eps
5.138 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
5.138 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
5.139 * [taylor]: Taking taylor expansion of eps in eps
5.139 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
5.139 * [taylor]: Taking taylor expansion of 2 in eps
5.139 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
5.139 * [taylor]: Taking taylor expansion of x in eps
5.139 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
5.139 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
5.139 * [taylor]: Taking taylor expansion of -1/2 in x
5.139 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
5.139 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
5.139 * [taylor]: Taking taylor expansion of eps in x
5.139 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
5.139 * [taylor]: Taking taylor expansion of 2 in x
5.139 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.139 * [taylor]: Taking taylor expansion of x in x
5.139 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
5.139 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
5.139 * [taylor]: Taking taylor expansion of -1/2 in x
5.139 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
5.139 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
5.139 * [taylor]: Taking taylor expansion of eps in x
5.139 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
5.139 * [taylor]: Taking taylor expansion of 2 in x
5.139 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.139 * [taylor]: Taking taylor expansion of x in x
5.139 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
5.139 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
5.139 * [taylor]: Taking taylor expansion of -1/2 in eps
5.139 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
5.139 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
5.139 * [taylor]: Taking taylor expansion of eps in eps
5.139 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
5.139 * [taylor]: Taking taylor expansion of 2 in eps
5.139 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
5.140 * [taylor]: Taking taylor expansion of x in eps
5.140 * [taylor]: Taking taylor expansion of 0 in eps
5.140 * [taylor]: Taking taylor expansion of 0 in eps
5.140 * [taylor]: Taking taylor expansion of 0 in eps
5.140 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1)
5.140 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in (x eps) around 0
5.140 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in eps
5.140 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
5.140 * [taylor]: Taking taylor expansion of 1/2 in eps
5.140 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
5.140 * [taylor]: Taking taylor expansion of (* 2 x) in eps
5.140 * [taylor]: Taking taylor expansion of 2 in eps
5.140 * [taylor]: Taking taylor expansion of x in eps
5.140 * [taylor]: Taking taylor expansion of eps in eps
5.140 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
5.140 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
5.140 * [taylor]: Taking taylor expansion of 1/2 in x
5.140 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
5.140 * [taylor]: Taking taylor expansion of (* 2 x) in x
5.140 * [taylor]: Taking taylor expansion of 2 in x
5.140 * [taylor]: Taking taylor expansion of x in x
5.140 * [taylor]: Taking taylor expansion of eps in x
5.141 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
5.141 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
5.141 * [taylor]: Taking taylor expansion of 1/2 in x
5.141 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
5.141 * [taylor]: Taking taylor expansion of (* 2 x) in x
5.141 * [taylor]: Taking taylor expansion of 2 in x
5.141 * [taylor]: Taking taylor expansion of x in x
5.141 * [taylor]: Taking taylor expansion of eps in x
5.141 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
5.141 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
5.141 * [taylor]: Taking taylor expansion of 1/2 in eps
5.141 * [taylor]: Taking taylor expansion of eps in eps
5.141 * [taylor]: Taking taylor expansion of (neg (sin (* 1/2 eps))) in eps
5.141 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
5.141 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
5.141 * [taylor]: Taking taylor expansion of 1/2 in eps
5.141 * [taylor]: Taking taylor expansion of eps in eps
5.142 * [taylor]: Taking taylor expansion of (neg (* 1/2 (cos (* 1/2 eps)))) in eps
5.142 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* 1/2 eps))) in eps
5.142 * [taylor]: Taking taylor expansion of 1/2 in eps
5.142 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
5.142 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
5.142 * [taylor]: Taking taylor expansion of 1/2 in eps
5.142 * [taylor]: Taking taylor expansion of eps in eps
5.142 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
5.142 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
5.142 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
5.142 * [taylor]: Taking taylor expansion of 1/2 in eps
5.142 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
5.142 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
5.142 * [taylor]: Taking taylor expansion of eps in eps
5.142 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
5.142 * [taylor]: Taking taylor expansion of 2 in eps
5.142 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
5.143 * [taylor]: Taking taylor expansion of x in eps
5.143 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
5.143 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
5.143 * [taylor]: Taking taylor expansion of 1/2 in x
5.143 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
5.143 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
5.143 * [taylor]: Taking taylor expansion of eps in x
5.143 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
5.143 * [taylor]: Taking taylor expansion of 2 in x
5.143 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.143 * [taylor]: Taking taylor expansion of x in x
5.143 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
5.143 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
5.143 * [taylor]: Taking taylor expansion of 1/2 in x
5.143 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
5.143 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
5.143 * [taylor]: Taking taylor expansion of eps in x
5.143 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
5.143 * [taylor]: Taking taylor expansion of 2 in x
5.143 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.143 * [taylor]: Taking taylor expansion of x in x
5.143 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
5.143 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
5.143 * [taylor]: Taking taylor expansion of 1/2 in eps
5.143 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
5.143 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
5.143 * [taylor]: Taking taylor expansion of eps in eps
5.143 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
5.143 * [taylor]: Taking taylor expansion of 2 in eps
5.143 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
5.143 * [taylor]: Taking taylor expansion of x in eps
5.144 * [taylor]: Taking taylor expansion of 0 in eps
5.144 * [taylor]: Taking taylor expansion of 0 in eps
5.144 * [taylor]: Taking taylor expansion of 0 in eps
5.144 * [approximate]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
5.144 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
5.144 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
5.144 * [taylor]: Taking taylor expansion of -1/2 in eps
5.144 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
5.144 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
5.144 * [taylor]: Taking taylor expansion of eps in eps
5.144 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
5.144 * [taylor]: Taking taylor expansion of 2 in eps
5.144 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
5.144 * [taylor]: Taking taylor expansion of x in eps
5.144 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
5.144 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
5.144 * [taylor]: Taking taylor expansion of -1/2 in x
5.144 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
5.144 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
5.144 * [taylor]: Taking taylor expansion of eps in x
5.144 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
5.144 * [taylor]: Taking taylor expansion of 2 in x
5.144 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.144 * [taylor]: Taking taylor expansion of x in x
5.145 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
5.145 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
5.145 * [taylor]: Taking taylor expansion of -1/2 in x
5.145 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
5.145 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
5.145 * [taylor]: Taking taylor expansion of eps in x
5.145 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
5.145 * [taylor]: Taking taylor expansion of 2 in x
5.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.145 * [taylor]: Taking taylor expansion of x in x
5.145 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
5.145 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
5.145 * [taylor]: Taking taylor expansion of -1/2 in eps
5.145 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
5.145 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
5.145 * [taylor]: Taking taylor expansion of eps in eps
5.145 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
5.145 * [taylor]: Taking taylor expansion of 2 in eps
5.145 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
5.145 * [taylor]: Taking taylor expansion of x in eps
5.145 * [taylor]: Taking taylor expansion of 0 in eps
5.145 * [taylor]: Taking taylor expansion of 0 in eps
5.146 * [taylor]: Taking taylor expansion of 0 in eps
5.146 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
5.146 * [approximate]: Taking taylor expansion of (pow (cos (* 1/2 (+ (* 2 x) eps))) 1/3) in (x eps) around 0
5.146 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (* 2 x) eps))) 1/3) in eps
5.146 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (* 1/2 (+ (* 2 x) eps)))))) in eps
5.146 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (* 1/2 (+ (* 2 x) eps))))) in eps
5.146 * [taylor]: Taking taylor expansion of 1/3 in eps
5.146 * [taylor]: Taking taylor expansion of (log (cos (* 1/2 (+ (* 2 x) eps)))) in eps
5.146 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in eps
5.146 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
5.146 * [taylor]: Taking taylor expansion of 1/2 in eps
5.146 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
5.146 * [taylor]: Taking taylor expansion of (* 2 x) in eps
5.146 * [taylor]: Taking taylor expansion of 2 in eps
5.146 * [taylor]: Taking taylor expansion of x in eps
5.146 * [taylor]: Taking taylor expansion of eps in eps
5.146 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (* 2 x) eps))) 1/3) in x
5.146 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (* 1/2 (+ (* 2 x) eps)))))) in x
5.146 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (* 1/2 (+ (* 2 x) eps))))) in x
5.146 * [taylor]: Taking taylor expansion of 1/3 in x
5.146 * [taylor]: Taking taylor expansion of (log (cos (* 1/2 (+ (* 2 x) eps)))) in x
5.147 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
5.147 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
5.147 * [taylor]: Taking taylor expansion of 1/2 in x
5.147 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
5.147 * [taylor]: Taking taylor expansion of (* 2 x) in x
5.147 * [taylor]: Taking taylor expansion of 2 in x
5.147 * [taylor]: Taking taylor expansion of x in x
5.147 * [taylor]: Taking taylor expansion of eps in x
5.147 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (* 2 x) eps))) 1/3) in x
5.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (* 1/2 (+ (* 2 x) eps)))))) in x
5.147 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (* 1/2 (+ (* 2 x) eps))))) in x
5.147 * [taylor]: Taking taylor expansion of 1/3 in x
5.147 * [taylor]: Taking taylor expansion of (log (cos (* 1/2 (+ (* 2 x) eps)))) in x
5.147 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
5.147 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
5.147 * [taylor]: Taking taylor expansion of 1/2 in x
5.147 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
5.147 * [taylor]: Taking taylor expansion of (* 2 x) in x
5.147 * [taylor]: Taking taylor expansion of 2 in x
5.147 * [taylor]: Taking taylor expansion of x in x
5.147 * [taylor]: Taking taylor expansion of eps in x
5.147 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 eps)) 1/3) in eps
5.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (* 1/2 eps))))) in eps
5.147 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (* 1/2 eps)))) in eps
5.147 * [taylor]: Taking taylor expansion of 1/3 in eps
5.147 * [taylor]: Taking taylor expansion of (log (cos (* 1/2 eps))) in eps
5.147 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
5.148 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
5.148 * [taylor]: Taking taylor expansion of 1/2 in eps
5.148 * [taylor]: Taking taylor expansion of eps in eps
5.148 * [taylor]: Taking taylor expansion of (* -1/3 (* (sin (* 1/2 eps)) (pow (/ 1 (pow (cos (* 1/2 eps)) 2)) 1/3))) in eps
5.149 * [taylor]: Taking taylor expansion of -1/3 in eps
5.149 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (pow (/ 1 (pow (cos (* 1/2 eps)) 2)) 1/3)) in eps
5.149 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
5.149 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
5.149 * [taylor]: Taking taylor expansion of 1/2 in eps
5.149 * [taylor]: Taking taylor expansion of eps in eps
5.149 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (cos (* 1/2 eps)) 2)) 1/3) in eps
5.149 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (cos (* 1/2 eps)) 2))))) in eps
5.149 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow (cos (* 1/2 eps)) 2)))) in eps
5.149 * [taylor]: Taking taylor expansion of 1/3 in eps
5.149 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (cos (* 1/2 eps)) 2))) in eps
5.149 * [taylor]: Taking taylor expansion of (/ 1 (pow (cos (* 1/2 eps)) 2)) in eps
5.149 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 eps)) 2) in eps
5.149 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
5.149 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
5.149 * [taylor]: Taking taylor expansion of 1/2 in eps
5.149 * [taylor]: Taking taylor expansion of eps in eps
5.151 * [taylor]: Taking taylor expansion of (* -1 (* (pow (cos (* 1/2 eps)) 1/3) (+ (* 1/9 (/ (pow (sin (* 1/2 eps)) 2) (pow (cos (* 1/2 eps)) 2))) 1/6))) in eps
5.151 * [taylor]: Taking taylor expansion of -1 in eps
5.151 * [taylor]: Taking taylor expansion of (* (pow (cos (* 1/2 eps)) 1/3) (+ (* 1/9 (/ (pow (sin (* 1/2 eps)) 2) (pow (cos (* 1/2 eps)) 2))) 1/6)) in eps
5.151 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 eps)) 1/3) in eps
5.151 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (* 1/2 eps))))) in eps
5.151 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (* 1/2 eps)))) in eps
5.151 * [taylor]: Taking taylor expansion of 1/3 in eps
5.151 * [taylor]: Taking taylor expansion of (log (cos (* 1/2 eps))) in eps
5.151 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
5.151 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
5.151 * [taylor]: Taking taylor expansion of 1/2 in eps
5.151 * [taylor]: Taking taylor expansion of eps in eps
5.151 * [taylor]: Taking taylor expansion of (+ (* 1/9 (/ (pow (sin (* 1/2 eps)) 2) (pow (cos (* 1/2 eps)) 2))) 1/6) in eps
5.151 * [taylor]: Taking taylor expansion of (* 1/9 (/ (pow (sin (* 1/2 eps)) 2) (pow (cos (* 1/2 eps)) 2))) in eps
5.151 * [taylor]: Taking taylor expansion of 1/9 in eps
5.151 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 1/2 eps)) 2) (pow (cos (* 1/2 eps)) 2)) in eps
5.151 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps
5.151 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
5.151 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
5.151 * [taylor]: Taking taylor expansion of 1/2 in eps
5.151 * [taylor]: Taking taylor expansion of eps in eps
5.152 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 eps)) 2) in eps
5.152 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
5.152 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
5.152 * [taylor]: Taking taylor expansion of 1/2 in eps
5.152 * [taylor]: Taking taylor expansion of eps in eps
5.152 * [taylor]: Taking taylor expansion of 1/6 in eps
5.152 * [approximate]: Taking taylor expansion of (pow (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 1/3) in (x eps) around 0
5.153 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 1/3) in eps
5.153 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))))) in eps
5.153 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in eps
5.153 * [taylor]: Taking taylor expansion of 1/3 in eps
5.153 * [taylor]: Taking taylor expansion of (log (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
5.153 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
5.153 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
5.153 * [taylor]: Taking taylor expansion of 1/2 in eps
5.153 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
5.153 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
5.153 * [taylor]: Taking taylor expansion of eps in eps
5.153 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
5.153 * [taylor]: Taking taylor expansion of 2 in eps
5.153 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
5.153 * [taylor]: Taking taylor expansion of x in eps
5.153 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 1/3) in x
5.153 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))))) in x
5.153 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in x
5.153 * [taylor]: Taking taylor expansion of 1/3 in x
5.153 * [taylor]: Taking taylor expansion of (log (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
5.153 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
5.153 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
5.153 * [taylor]: Taking taylor expansion of 1/2 in x
5.153 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
5.153 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
5.153 * [taylor]: Taking taylor expansion of eps in x
5.153 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
5.154 * [taylor]: Taking taylor expansion of 2 in x
5.154 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.154 * [taylor]: Taking taylor expansion of x in x
5.154 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 1/3) in x
5.154 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))))) in x
5.154 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in x
5.154 * [taylor]: Taking taylor expansion of 1/3 in x
5.154 * [taylor]: Taking taylor expansion of (log (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
5.154 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
5.154 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
5.154 * [taylor]: Taking taylor expansion of 1/2 in x
5.154 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
5.154 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
5.154 * [taylor]: Taking taylor expansion of eps in x
5.154 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
5.154 * [taylor]: Taking taylor expansion of 2 in x
5.154 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.154 * [taylor]: Taking taylor expansion of x in x
5.155 * [taylor]: Taking taylor expansion of (pow (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 1/3) in eps
5.155 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))))) in eps
5.155 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in eps
5.155 * [taylor]: Taking taylor expansion of 1/3 in eps
5.155 * [taylor]: Taking taylor expansion of (log (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
5.155 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
5.155 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
5.155 * [taylor]: Taking taylor expansion of 1/2 in eps
5.155 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
5.155 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
5.155 * [taylor]: Taking taylor expansion of eps in eps
5.155 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
5.155 * [taylor]: Taking taylor expansion of 2 in eps
5.155 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
5.155 * [taylor]: Taking taylor expansion of x in eps
5.156 * [taylor]: Taking taylor expansion of 0 in eps
5.157 * [taylor]: Taking taylor expansion of 0 in eps
5.158 * [taylor]: Taking taylor expansion of 0 in eps
5.159 * [approximate]: Taking taylor expansion of (pow (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 1/3) in (x eps) around 0
5.159 * [taylor]: Taking taylor expansion of (pow (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 1/3) in eps
5.159 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))))) in eps
5.159 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in eps
5.159 * [taylor]: Taking taylor expansion of 1/3 in eps
5.159 * [taylor]: Taking taylor expansion of (log (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
5.159 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
5.159 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
5.159 * [taylor]: Taking taylor expansion of -1/2 in eps
5.159 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
5.159 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
5.159 * [taylor]: Taking taylor expansion of eps in eps
5.159 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
5.159 * [taylor]: Taking taylor expansion of 2 in eps
5.159 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
5.159 * [taylor]: Taking taylor expansion of x in eps
5.159 * [taylor]: Taking taylor expansion of (pow (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 1/3) in x
5.159 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))))) in x
5.159 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in x
5.159 * [taylor]: Taking taylor expansion of 1/3 in x
5.159 * [taylor]: Taking taylor expansion of (log (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
5.159 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
5.159 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
5.159 * [taylor]: Taking taylor expansion of -1/2 in x
5.159 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
5.160 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
5.160 * [taylor]: Taking taylor expansion of eps in x
5.160 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
5.160 * [taylor]: Taking taylor expansion of 2 in x
5.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.160 * [taylor]: Taking taylor expansion of x in x
5.160 * [taylor]: Taking taylor expansion of (pow (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 1/3) in x
5.160 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))))) in x
5.160 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in x
5.160 * [taylor]: Taking taylor expansion of 1/3 in x
5.160 * [taylor]: Taking taylor expansion of (log (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in x
5.160 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
5.160 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
5.160 * [taylor]: Taking taylor expansion of -1/2 in x
5.160 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
5.160 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
5.160 * [taylor]: Taking taylor expansion of eps in x
5.160 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
5.160 * [taylor]: Taking taylor expansion of 2 in x
5.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.160 * [taylor]: Taking taylor expansion of x in x
5.161 * [taylor]: Taking taylor expansion of (pow (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) 1/3) in eps
5.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))))) in eps
5.161 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))))) in eps
5.161 * [taylor]: Taking taylor expansion of 1/3 in eps
5.161 * [taylor]: Taking taylor expansion of (log (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))))) in eps
5.161 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
5.161 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
5.161 * [taylor]: Taking taylor expansion of -1/2 in eps
5.161 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
5.161 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
5.161 * [taylor]: Taking taylor expansion of eps in eps
5.161 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
5.161 * [taylor]: Taking taylor expansion of 2 in eps
5.161 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
5.161 * [taylor]: Taking taylor expansion of x in eps
5.162 * [taylor]: Taking taylor expansion of 0 in eps
5.163 * [taylor]: Taking taylor expansion of 0 in eps
5.164 * [taylor]: Taking taylor expansion of 0 in eps
5.165 * * * [progress]: simplifying candidates
5.165 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cos (/ (+ (+ x eps) x) 2)))
  (exp (cos (/ (+ (+ x eps) x) 2)))
  (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (cbrt (cos (/ (+ (+ x eps) x) 2)))
  (* (* (cos (/ (+ (+ x eps) x) 2)) (cos (/ (+ (+ x eps) x) 2))) (cos (/ (+ (+ x eps) x) 2)))
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (log (cos (/ (+ (+ x eps) x) 2)))
  (exp (cos (/ (+ (+ x eps) x) 2)))
  (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (cbrt (cos (/ (+ (+ x eps) x) 2)))
  (* (* (cos (/ (+ (+ x eps) x) 2)) (cos (/ (+ (+ x eps) x) 2))) (cos (/ (+ (+ x eps) x) 2)))
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (log (cos (/ (+ (+ x eps) x) 2)))
  (exp (cos (/ (+ (+ x eps) x) 2)))
  (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (cbrt (cos (/ (+ (+ x eps) x) 2)))
  (* (* (cos (/ (+ (+ x eps) x) 2)) (cos (/ (+ (+ x eps) x) 2))) (cos (/ (+ (+ x eps) x) 2)))
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (log (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (exp (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (cbrt (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2)))))
  (cbrt (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (cbrt (sqrt (cos (/ (+ (+ x eps) x) 2))))
  (cbrt (sqrt (cos (/ (+ (+ x eps) x) 2))))
  (cbrt 1)
  (cbrt (cos (/ (+ (+ x eps) x) 2)))
  (* (cbrt (cbrt (cos (/ (+ (+ x eps) x) 2)))) (cbrt (cbrt (cos (/ (+ (+ x eps) x) 2)))))
  (cbrt (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (* (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2)))) (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (sqrt (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (sqrt (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (- 1 (+ (* 1/2 (* x eps)) (* 1/2 (pow x 2))))
  (cos (* 1/2 (+ (* 2 x) eps)))
  (cos (* 1/2 (+ (* 2 x) eps)))
  (- 1 (+ (* 1/2 (* x eps)) (* 1/2 (pow x 2))))
  (cos (* 1/2 (+ (* 2 x) eps)))
  (cos (* 1/2 (+ (* 2 x) eps)))
  (- 1 (+ (* 1/2 (* x eps)) (* 1/2 (pow x 2))))
  (cos (* 1/2 (+ (* 2 x) eps)))
  (cos (* 1/2 (+ (* 2 x) eps)))
  (- (pow 1 1/3) (+ (* 1/6 (* x eps)) (* 1/6 (pow x 2))))
  (pow (cos (* 1/2 (+ (* 2 x) eps))) 1/3)
  (pow (cos (* 1/2 (+ (* 2 x) eps))) 1/3)
5.167 * * [simplify]: iteration  0 :  43  enodes  (cost  553 )
5.175 * * [simplify]: iteration  1 :  90  enodes  (cost  540 )
5.189 * * [simplify]: iteration  2 :  167  enodes  (cost  466 )
5.217 * * [simplify]: iteration  3 :  325  enodes  (cost  463 )
5.352 * * [simplify]: iteration  4 :  730  enodes  (cost  447 )
5.668 * * [simplify]: iteration  5 :  1797  enodes  (cost  447 )
6.779 * * [simplify]: iteration  done :  5000  enodes  (cost  447 )
6.780 * [simplify]: Simplified to:
   (log (cos (/ (+ (+ x eps) x) 2)))
  (exp (cos (/ (+ (+ x eps) x) 2)))
  (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (cbrt (cos (/ (+ (+ x eps) x) 2)))
  (pow (cos (/ (+ (+ x eps) x) 2)) 3)
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (log (cos (/ (+ (+ x eps) x) 2)))
  (exp (cos (/ (+ (+ x eps) x) 2)))
  (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (cbrt (cos (/ (+ (+ x eps) x) 2)))
  (pow (cos (/ (+ (+ x eps) x) 2)) 3)
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (log (cos (/ (+ (+ x eps) x) 2)))
  (exp (cos (/ (+ (+ x eps) x) 2)))
  (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (cbrt (cos (/ (+ (+ x eps) x) 2)))
  (pow (cos (/ (+ (+ x eps) x) 2)) 3)
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (log (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (exp (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (cbrt (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2)))))
  (cbrt (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (cbrt (sqrt (cos (/ (+ (+ x eps) x) 2))))
  (cbrt (sqrt (cos (/ (+ (+ x eps) x) 2))))
  1
  (cbrt (cos (/ (+ (+ x eps) x) 2)))
  (* (cbrt (cbrt (cos (/ (+ (+ x eps) x) 2)))) (cbrt (cbrt (cos (/ (+ (+ x eps) x) 2)))))
  (cbrt (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (cos (/ (+ (+ x eps) x) 2))
  (sqrt (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (sqrt (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (- 1 (* (* x (+ x eps)) 1/2))
  (cos (+ x (* eps 1/2)))
  (cos (+ x (* eps 1/2)))
  (- 1 (* (* x (+ x eps)) 1/2))
  (cos (+ x (* eps 1/2)))
  (cos (+ x (* eps 1/2)))
  (- 1 (* (* x (+ x eps)) 1/2))
  (cos (+ x (* eps 1/2)))
  (cos (+ x (* eps 1/2)))
  (- 1 (* (* x (+ x eps)) 1/6))
  (cbrt (cos (+ x (* eps 1/2))))
  (cbrt (cos (+ x (* eps 1/2))))
6.780 * * * [progress]: adding candidates to table
6.912 * * [progress]: iteration 4 / 4
6.912 * * * [progress]: picking best candidate
6.940 * * * * [pick]: Picked  #<alt (λ (x eps) (* 2 (* (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2)))) (* (cbrt (* (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2)))) (cbrt (cos (/ (+ (+ x eps) x) 2))))) (sin (/ eps 2))))))>
6.940 * * * [progress]: localizing error
6.962 * * * [progress]: generating rewritten candidates
6.962 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1 2 1)
6.970 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 1 2 1)
6.978 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 1 1 1)
6.986 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1)
6.994 * * * [progress]: generating series expansions
6.995 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1 2 1)
6.995 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in (x eps) around 0
6.995 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in eps
6.995 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
6.995 * [taylor]: Taking taylor expansion of 1/2 in eps
6.995 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
6.995 * [taylor]: Taking taylor expansion of (* 2 x) in eps
6.995 * [taylor]: Taking taylor expansion of 2 in eps
6.995 * [taylor]: Taking taylor expansion of x in eps
6.995 * [taylor]: Taking taylor expansion of eps in eps
6.995 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
6.995 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
6.995 * [taylor]: Taking taylor expansion of 1/2 in x
6.995 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
6.995 * [taylor]: Taking taylor expansion of (* 2 x) in x
6.995 * [taylor]: Taking taylor expansion of 2 in x
6.995 * [taylor]: Taking taylor expansion of x in x
6.995 * [taylor]: Taking taylor expansion of eps in x
6.995 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
6.995 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
6.995 * [taylor]: Taking taylor expansion of 1/2 in x
6.995 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
6.995 * [taylor]: Taking taylor expansion of (* 2 x) in x
6.995 * [taylor]: Taking taylor expansion of 2 in x
6.995 * [taylor]: Taking taylor expansion of x in x
6.995 * [taylor]: Taking taylor expansion of eps in x
6.995 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
6.995 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
6.996 * [taylor]: Taking taylor expansion of 1/2 in eps
6.996 * [taylor]: Taking taylor expansion of eps in eps
6.996 * [taylor]: Taking taylor expansion of (neg (sin (* 1/2 eps))) in eps
6.996 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
6.996 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
6.996 * [taylor]: Taking taylor expansion of 1/2 in eps
6.996 * [taylor]: Taking taylor expansion of eps in eps
6.996 * [taylor]: Taking taylor expansion of (neg (* 1/2 (cos (* 1/2 eps)))) in eps
6.996 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* 1/2 eps))) in eps
6.996 * [taylor]: Taking taylor expansion of 1/2 in eps
6.997 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
6.997 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
6.997 * [taylor]: Taking taylor expansion of 1/2 in eps
6.997 * [taylor]: Taking taylor expansion of eps in eps
6.997 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
6.997 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
6.997 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
6.997 * [taylor]: Taking taylor expansion of 1/2 in eps
6.997 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
6.997 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
6.997 * [taylor]: Taking taylor expansion of eps in eps
6.997 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
6.997 * [taylor]: Taking taylor expansion of 2 in eps
6.997 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
6.997 * [taylor]: Taking taylor expansion of x in eps
6.997 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
6.997 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
6.997 * [taylor]: Taking taylor expansion of 1/2 in x
6.997 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
6.997 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
6.997 * [taylor]: Taking taylor expansion of eps in x
6.997 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
6.997 * [taylor]: Taking taylor expansion of 2 in x
6.997 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.998 * [taylor]: Taking taylor expansion of x in x
6.998 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
6.998 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
6.998 * [taylor]: Taking taylor expansion of 1/2 in x
6.998 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
6.998 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
6.998 * [taylor]: Taking taylor expansion of eps in x
6.998 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
6.998 * [taylor]: Taking taylor expansion of 2 in x
6.998 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.998 * [taylor]: Taking taylor expansion of x in x
6.998 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
6.998 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
6.998 * [taylor]: Taking taylor expansion of 1/2 in eps
6.998 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
6.998 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
6.998 * [taylor]: Taking taylor expansion of eps in eps
6.998 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
6.998 * [taylor]: Taking taylor expansion of 2 in eps
6.998 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
6.998 * [taylor]: Taking taylor expansion of x in eps
6.998 * [taylor]: Taking taylor expansion of 0 in eps
6.998 * [taylor]: Taking taylor expansion of 0 in eps
6.998 * [taylor]: Taking taylor expansion of 0 in eps
6.999 * [approximate]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
6.999 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
6.999 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
6.999 * [taylor]: Taking taylor expansion of -1/2 in eps
6.999 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
6.999 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
6.999 * [taylor]: Taking taylor expansion of eps in eps
6.999 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
6.999 * [taylor]: Taking taylor expansion of 2 in eps
6.999 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
6.999 * [taylor]: Taking taylor expansion of x in eps
6.999 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
6.999 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
6.999 * [taylor]: Taking taylor expansion of -1/2 in x
6.999 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
6.999 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
6.999 * [taylor]: Taking taylor expansion of eps in x
6.999 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
6.999 * [taylor]: Taking taylor expansion of 2 in x
6.999 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.999 * [taylor]: Taking taylor expansion of x in x
6.999 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
6.999 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
6.999 * [taylor]: Taking taylor expansion of -1/2 in x
6.999 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
6.999 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
6.999 * [taylor]: Taking taylor expansion of eps in x
6.999 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
6.999 * [taylor]: Taking taylor expansion of 2 in x
6.999 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.999 * [taylor]: Taking taylor expansion of x in x
7.000 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
7.000 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
7.000 * [taylor]: Taking taylor expansion of -1/2 in eps
7.000 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
7.000 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
7.000 * [taylor]: Taking taylor expansion of eps in eps
7.000 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
7.000 * [taylor]: Taking taylor expansion of 2 in eps
7.000 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
7.000 * [taylor]: Taking taylor expansion of x in eps
7.000 * [taylor]: Taking taylor expansion of 0 in eps
7.000 * [taylor]: Taking taylor expansion of 0 in eps
7.000 * [taylor]: Taking taylor expansion of 0 in eps
7.000 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 1 2 1)
7.000 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in (x eps) around 0
7.000 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in eps
7.000 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
7.000 * [taylor]: Taking taylor expansion of 1/2 in eps
7.000 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
7.000 * [taylor]: Taking taylor expansion of (* 2 x) in eps
7.000 * [taylor]: Taking taylor expansion of 2 in eps
7.000 * [taylor]: Taking taylor expansion of x in eps
7.000 * [taylor]: Taking taylor expansion of eps in eps
7.001 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
7.001 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
7.001 * [taylor]: Taking taylor expansion of 1/2 in x
7.001 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
7.001 * [taylor]: Taking taylor expansion of (* 2 x) in x
7.001 * [taylor]: Taking taylor expansion of 2 in x
7.001 * [taylor]: Taking taylor expansion of x in x
7.001 * [taylor]: Taking taylor expansion of eps in x
7.001 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
7.001 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
7.001 * [taylor]: Taking taylor expansion of 1/2 in x
7.001 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
7.001 * [taylor]: Taking taylor expansion of (* 2 x) in x
7.001 * [taylor]: Taking taylor expansion of 2 in x
7.001 * [taylor]: Taking taylor expansion of x in x
7.001 * [taylor]: Taking taylor expansion of eps in x
7.001 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
7.001 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
7.001 * [taylor]: Taking taylor expansion of 1/2 in eps
7.001 * [taylor]: Taking taylor expansion of eps in eps
7.001 * [taylor]: Taking taylor expansion of (neg (sin (* 1/2 eps))) in eps
7.001 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
7.001 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
7.001 * [taylor]: Taking taylor expansion of 1/2 in eps
7.002 * [taylor]: Taking taylor expansion of eps in eps
7.002 * [taylor]: Taking taylor expansion of (neg (* 1/2 (cos (* 1/2 eps)))) in eps
7.002 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* 1/2 eps))) in eps
7.002 * [taylor]: Taking taylor expansion of 1/2 in eps
7.002 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
7.002 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
7.002 * [taylor]: Taking taylor expansion of 1/2 in eps
7.002 * [taylor]: Taking taylor expansion of eps in eps
7.002 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
7.003 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
7.003 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
7.003 * [taylor]: Taking taylor expansion of 1/2 in eps
7.003 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
7.003 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
7.003 * [taylor]: Taking taylor expansion of eps in eps
7.003 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
7.003 * [taylor]: Taking taylor expansion of 2 in eps
7.003 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
7.003 * [taylor]: Taking taylor expansion of x in eps
7.003 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
7.003 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
7.003 * [taylor]: Taking taylor expansion of 1/2 in x
7.003 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
7.003 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
7.003 * [taylor]: Taking taylor expansion of eps in x
7.003 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
7.003 * [taylor]: Taking taylor expansion of 2 in x
7.003 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.003 * [taylor]: Taking taylor expansion of x in x
7.003 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
7.003 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
7.003 * [taylor]: Taking taylor expansion of 1/2 in x
7.003 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
7.003 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
7.003 * [taylor]: Taking taylor expansion of eps in x
7.003 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
7.003 * [taylor]: Taking taylor expansion of 2 in x
7.003 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.003 * [taylor]: Taking taylor expansion of x in x
7.003 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
7.003 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
7.004 * [taylor]: Taking taylor expansion of 1/2 in eps
7.004 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
7.004 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
7.004 * [taylor]: Taking taylor expansion of eps in eps
7.004 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
7.004 * [taylor]: Taking taylor expansion of 2 in eps
7.004 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
7.004 * [taylor]: Taking taylor expansion of x in eps
7.004 * [taylor]: Taking taylor expansion of 0 in eps
7.004 * [taylor]: Taking taylor expansion of 0 in eps
7.004 * [taylor]: Taking taylor expansion of 0 in eps
7.004 * [approximate]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
7.004 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
7.004 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
7.004 * [taylor]: Taking taylor expansion of -1/2 in eps
7.004 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
7.004 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
7.004 * [taylor]: Taking taylor expansion of eps in eps
7.004 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
7.004 * [taylor]: Taking taylor expansion of 2 in eps
7.004 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
7.004 * [taylor]: Taking taylor expansion of x in eps
7.005 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
7.005 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
7.005 * [taylor]: Taking taylor expansion of -1/2 in x
7.005 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
7.005 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
7.005 * [taylor]: Taking taylor expansion of eps in x
7.005 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
7.005 * [taylor]: Taking taylor expansion of 2 in x
7.005 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.005 * [taylor]: Taking taylor expansion of x in x
7.005 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
7.005 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
7.005 * [taylor]: Taking taylor expansion of -1/2 in x
7.005 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
7.005 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
7.005 * [taylor]: Taking taylor expansion of eps in x
7.005 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
7.005 * [taylor]: Taking taylor expansion of 2 in x
7.005 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.005 * [taylor]: Taking taylor expansion of x in x
7.005 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
7.005 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
7.005 * [taylor]: Taking taylor expansion of -1/2 in eps
7.005 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
7.005 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
7.005 * [taylor]: Taking taylor expansion of eps in eps
7.005 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
7.005 * [taylor]: Taking taylor expansion of 2 in eps
7.005 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
7.005 * [taylor]: Taking taylor expansion of x in eps
7.006 * [taylor]: Taking taylor expansion of 0 in eps
7.006 * [taylor]: Taking taylor expansion of 0 in eps
7.006 * [taylor]: Taking taylor expansion of 0 in eps
7.006 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 1 1 1)
7.006 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in (x eps) around 0
7.006 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in eps
7.006 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
7.006 * [taylor]: Taking taylor expansion of 1/2 in eps
7.006 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
7.006 * [taylor]: Taking taylor expansion of (* 2 x) in eps
7.006 * [taylor]: Taking taylor expansion of 2 in eps
7.006 * [taylor]: Taking taylor expansion of x in eps
7.006 * [taylor]: Taking taylor expansion of eps in eps
7.006 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
7.006 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
7.006 * [taylor]: Taking taylor expansion of 1/2 in x
7.006 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
7.006 * [taylor]: Taking taylor expansion of (* 2 x) in x
7.006 * [taylor]: Taking taylor expansion of 2 in x
7.006 * [taylor]: Taking taylor expansion of x in x
7.006 * [taylor]: Taking taylor expansion of eps in x
7.007 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
7.007 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
7.007 * [taylor]: Taking taylor expansion of 1/2 in x
7.007 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
7.007 * [taylor]: Taking taylor expansion of (* 2 x) in x
7.007 * [taylor]: Taking taylor expansion of 2 in x
7.007 * [taylor]: Taking taylor expansion of x in x
7.007 * [taylor]: Taking taylor expansion of eps in x
7.007 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
7.007 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
7.007 * [taylor]: Taking taylor expansion of 1/2 in eps
7.007 * [taylor]: Taking taylor expansion of eps in eps
7.007 * [taylor]: Taking taylor expansion of (neg (sin (* 1/2 eps))) in eps
7.007 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
7.007 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
7.007 * [taylor]: Taking taylor expansion of 1/2 in eps
7.007 * [taylor]: Taking taylor expansion of eps in eps
7.008 * [taylor]: Taking taylor expansion of (neg (* 1/2 (cos (* 1/2 eps)))) in eps
7.008 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* 1/2 eps))) in eps
7.008 * [taylor]: Taking taylor expansion of 1/2 in eps
7.008 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
7.008 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
7.008 * [taylor]: Taking taylor expansion of 1/2 in eps
7.008 * [taylor]: Taking taylor expansion of eps in eps
7.008 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
7.009 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
7.009 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
7.009 * [taylor]: Taking taylor expansion of 1/2 in eps
7.009 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
7.009 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
7.009 * [taylor]: Taking taylor expansion of eps in eps
7.009 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
7.009 * [taylor]: Taking taylor expansion of 2 in eps
7.009 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
7.009 * [taylor]: Taking taylor expansion of x in eps
7.009 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
7.009 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
7.009 * [taylor]: Taking taylor expansion of 1/2 in x
7.009 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
7.009 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
7.009 * [taylor]: Taking taylor expansion of eps in x
7.009 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
7.009 * [taylor]: Taking taylor expansion of 2 in x
7.009 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.009 * [taylor]: Taking taylor expansion of x in x
7.009 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
7.009 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
7.009 * [taylor]: Taking taylor expansion of 1/2 in x
7.009 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
7.009 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
7.009 * [taylor]: Taking taylor expansion of eps in x
7.009 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
7.009 * [taylor]: Taking taylor expansion of 2 in x
7.009 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.009 * [taylor]: Taking taylor expansion of x in x
7.009 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
7.009 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
7.010 * [taylor]: Taking taylor expansion of 1/2 in eps
7.010 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
7.010 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
7.010 * [taylor]: Taking taylor expansion of eps in eps
7.010 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
7.010 * [taylor]: Taking taylor expansion of 2 in eps
7.010 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
7.010 * [taylor]: Taking taylor expansion of x in eps
7.010 * [taylor]: Taking taylor expansion of 0 in eps
7.010 * [taylor]: Taking taylor expansion of 0 in eps
7.010 * [taylor]: Taking taylor expansion of 0 in eps
7.010 * [approximate]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
7.010 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
7.010 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
7.010 * [taylor]: Taking taylor expansion of -1/2 in eps
7.010 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
7.010 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
7.010 * [taylor]: Taking taylor expansion of eps in eps
7.010 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
7.010 * [taylor]: Taking taylor expansion of 2 in eps
7.010 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
7.010 * [taylor]: Taking taylor expansion of x in eps
7.010 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
7.011 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
7.011 * [taylor]: Taking taylor expansion of -1/2 in x
7.011 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
7.011 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
7.011 * [taylor]: Taking taylor expansion of eps in x
7.011 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
7.011 * [taylor]: Taking taylor expansion of 2 in x
7.011 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.011 * [taylor]: Taking taylor expansion of x in x
7.011 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
7.011 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
7.011 * [taylor]: Taking taylor expansion of -1/2 in x
7.011 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
7.011 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
7.011 * [taylor]: Taking taylor expansion of eps in x
7.011 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
7.011 * [taylor]: Taking taylor expansion of 2 in x
7.011 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.011 * [taylor]: Taking taylor expansion of x in x
7.011 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
7.011 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
7.011 * [taylor]: Taking taylor expansion of -1/2 in eps
7.011 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
7.011 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
7.011 * [taylor]: Taking taylor expansion of eps in eps
7.011 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
7.011 * [taylor]: Taking taylor expansion of 2 in eps
7.011 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
7.011 * [taylor]: Taking taylor expansion of x in eps
7.011 * [taylor]: Taking taylor expansion of 0 in eps
7.012 * [taylor]: Taking taylor expansion of 0 in eps
7.012 * [taylor]: Taking taylor expansion of 0 in eps
7.012 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1)
7.012 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in (x eps) around 0
7.012 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in eps
7.012 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in eps
7.012 * [taylor]: Taking taylor expansion of 1/2 in eps
7.012 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in eps
7.012 * [taylor]: Taking taylor expansion of (* 2 x) in eps
7.012 * [taylor]: Taking taylor expansion of 2 in eps
7.012 * [taylor]: Taking taylor expansion of x in eps
7.012 * [taylor]: Taking taylor expansion of eps in eps
7.012 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
7.012 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
7.012 * [taylor]: Taking taylor expansion of 1/2 in x
7.012 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
7.012 * [taylor]: Taking taylor expansion of (* 2 x) in x
7.012 * [taylor]: Taking taylor expansion of 2 in x
7.012 * [taylor]: Taking taylor expansion of x in x
7.012 * [taylor]: Taking taylor expansion of eps in x
7.012 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (* 2 x) eps))) in x
7.012 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* 2 x) eps)) in x
7.012 * [taylor]: Taking taylor expansion of 1/2 in x
7.012 * [taylor]: Taking taylor expansion of (+ (* 2 x) eps) in x
7.012 * [taylor]: Taking taylor expansion of (* 2 x) in x
7.012 * [taylor]: Taking taylor expansion of 2 in x
7.012 * [taylor]: Taking taylor expansion of x in x
7.012 * [taylor]: Taking taylor expansion of eps in x
7.013 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
7.013 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
7.013 * [taylor]: Taking taylor expansion of 1/2 in eps
7.013 * [taylor]: Taking taylor expansion of eps in eps
7.013 * [taylor]: Taking taylor expansion of (neg (sin (* 1/2 eps))) in eps
7.013 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps
7.013 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
7.013 * [taylor]: Taking taylor expansion of 1/2 in eps
7.013 * [taylor]: Taking taylor expansion of eps in eps
7.013 * [taylor]: Taking taylor expansion of (neg (* 1/2 (cos (* 1/2 eps)))) in eps
7.014 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* 1/2 eps))) in eps
7.014 * [taylor]: Taking taylor expansion of 1/2 in eps
7.014 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps
7.014 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps
7.014 * [taylor]: Taking taylor expansion of 1/2 in eps
7.014 * [taylor]: Taking taylor expansion of eps in eps
7.014 * [approximate]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
7.014 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
7.014 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
7.014 * [taylor]: Taking taylor expansion of 1/2 in eps
7.014 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
7.014 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
7.014 * [taylor]: Taking taylor expansion of eps in eps
7.014 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
7.014 * [taylor]: Taking taylor expansion of 2 in eps
7.014 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
7.014 * [taylor]: Taking taylor expansion of x in eps
7.014 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
7.014 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
7.014 * [taylor]: Taking taylor expansion of 1/2 in x
7.014 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
7.014 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
7.014 * [taylor]: Taking taylor expansion of eps in x
7.014 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
7.014 * [taylor]: Taking taylor expansion of 2 in x
7.014 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.015 * [taylor]: Taking taylor expansion of x in x
7.015 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
7.015 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
7.015 * [taylor]: Taking taylor expansion of 1/2 in x
7.015 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
7.015 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
7.015 * [taylor]: Taking taylor expansion of eps in x
7.015 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
7.015 * [taylor]: Taking taylor expansion of 2 in x
7.015 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.015 * [taylor]: Taking taylor expansion of x in x
7.015 * [taylor]: Taking taylor expansion of (cos (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
7.015 * [taylor]: Taking taylor expansion of (* 1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
7.015 * [taylor]: Taking taylor expansion of 1/2 in eps
7.015 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
7.015 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
7.015 * [taylor]: Taking taylor expansion of eps in eps
7.015 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
7.015 * [taylor]: Taking taylor expansion of 2 in eps
7.015 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
7.015 * [taylor]: Taking taylor expansion of x in eps
7.015 * [taylor]: Taking taylor expansion of 0 in eps
7.015 * [taylor]: Taking taylor expansion of 0 in eps
7.015 * [taylor]: Taking taylor expansion of 0 in eps
7.016 * [approximate]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in (x eps) around 0
7.016 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
7.016 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
7.016 * [taylor]: Taking taylor expansion of -1/2 in eps
7.016 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
7.016 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
7.016 * [taylor]: Taking taylor expansion of eps in eps
7.016 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
7.016 * [taylor]: Taking taylor expansion of 2 in eps
7.016 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
7.016 * [taylor]: Taking taylor expansion of x in eps
7.016 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
7.016 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
7.016 * [taylor]: Taking taylor expansion of -1/2 in x
7.016 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
7.016 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
7.016 * [taylor]: Taking taylor expansion of eps in x
7.016 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
7.016 * [taylor]: Taking taylor expansion of 2 in x
7.016 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.016 * [taylor]: Taking taylor expansion of x in x
7.016 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in x
7.016 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in x
7.016 * [taylor]: Taking taylor expansion of -1/2 in x
7.017 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in x
7.017 * [taylor]: Taking taylor expansion of (/ 1 eps) in x
7.017 * [taylor]: Taking taylor expansion of eps in x
7.017 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
7.017 * [taylor]: Taking taylor expansion of 2 in x
7.017 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.017 * [taylor]: Taking taylor expansion of x in x
7.017 * [taylor]: Taking taylor expansion of (cos (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x))))) in eps
7.017 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 eps) (* 2 (/ 1 x)))) in eps
7.017 * [taylor]: Taking taylor expansion of -1/2 in eps
7.017 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (* 2 (/ 1 x))) in eps
7.017 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
7.017 * [taylor]: Taking taylor expansion of eps in eps
7.017 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in eps
7.017 * [taylor]: Taking taylor expansion of 2 in eps
7.017 * [taylor]: Taking taylor expansion of (/ 1 x) in eps
7.017 * [taylor]: Taking taylor expansion of x in eps
7.017 * [taylor]: Taking taylor expansion of 0 in eps
7.017 * [taylor]: Taking taylor expansion of 0 in eps
7.017 * [taylor]: Taking taylor expansion of 0 in eps
7.017 * * * [progress]: simplifying candidates
7.018 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cos (/ (+ (+ x eps) x) 2)))
  (exp (cos (/ (+ (+ x eps) x) 2)))
  (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (cbrt (cos (/ (+ (+ x eps) x) 2)))
  (* (* (cos (/ (+ (+ x eps) x) 2)) (cos (/ (+ (+ x eps) x) 2))) (cos (/ (+ (+ x eps) x) 2)))
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (log (cos (/ (+ (+ x eps) x) 2)))
  (exp (cos (/ (+ (+ x eps) x) 2)))
  (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (cbrt (cos (/ (+ (+ x eps) x) 2)))
  (* (* (cos (/ (+ (+ x eps) x) 2)) (cos (/ (+ (+ x eps) x) 2))) (cos (/ (+ (+ x eps) x) 2)))
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (log (cos (/ (+ (+ x eps) x) 2)))
  (exp (cos (/ (+ (+ x eps) x) 2)))
  (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (cbrt (cos (/ (+ (+ x eps) x) 2)))
  (* (* (cos (/ (+ (+ x eps) x) 2)) (cos (/ (+ (+ x eps) x) 2))) (cos (/ (+ (+ x eps) x) 2)))
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (log (cos (/ (+ (+ x eps) x) 2)))
  (exp (cos (/ (+ (+ x eps) x) 2)))
  (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (cbrt (cos (/ (+ (+ x eps) x) 2)))
  (* (* (cos (/ (+ (+ x eps) x) 2)) (cos (/ (+ (+ x eps) x) 2))) (cos (/ (+ (+ x eps) x) 2)))
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (- 1 (+ (* 1/2 (* x eps)) (* 1/2 (pow x 2))))
  (cos (* 1/2 (+ (* 2 x) eps)))
  (cos (* 1/2 (+ (* 2 x) eps)))
  (- 1 (+ (* 1/2 (* x eps)) (* 1/2 (pow x 2))))
  (cos (* 1/2 (+ (* 2 x) eps)))
  (cos (* 1/2 (+ (* 2 x) eps)))
  (- 1 (+ (* 1/2 (* x eps)) (* 1/2 (pow x 2))))
  (cos (* 1/2 (+ (* 2 x) eps)))
  (cos (* 1/2 (+ (* 2 x) eps)))
  (- 1 (+ (* 1/2 (* x eps)) (* 1/2 (pow x 2))))
  (cos (* 1/2 (+ (* 2 x) eps)))
  (cos (* 1/2 (+ (* 2 x) eps)))
7.019 * * [simplify]: iteration  0 :  26  enodes  (cost  476 )
7.023 * * [simplify]: iteration  1 :  56  enodes  (cost  468 )
7.032 * * [simplify]: iteration  2 :  100  enodes  (cost  396 )
7.049 * * [simplify]: iteration  3 :  184  enodes  (cost  396 )
7.120 * * [simplify]: iteration  4 :  379  enodes  (cost  380 )
7.267 * * [simplify]: iteration  5 :  897  enodes  (cost  380 )
8.961 * * [simplify]: iteration  6 :  3620  enodes  (cost  380 )
10.895 * * [simplify]: iteration  done :  5001  enodes  (cost  380 )
10.896 * [simplify]: Simplified to:
   (log (cos (/ (+ (+ x eps) x) 2)))
  (exp (cos (/ (+ (+ x eps) x) 2)))
  (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (cbrt (cos (/ (+ (+ x eps) x) 2)))
  (pow (cos (/ (+ (+ x eps) x) 2)) 3)
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (log (cos (/ (+ (+ x eps) x) 2)))
  (exp (cos (/ (+ (+ x eps) x) 2)))
  (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (cbrt (cos (/ (+ (+ x eps) x) 2)))
  (pow (cos (/ (+ (+ x eps) x) 2)) 3)
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (log (cos (/ (+ (+ x eps) x) 2)))
  (exp (cos (/ (+ (+ x eps) x) 2)))
  (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (cbrt (cos (/ (+ (+ x eps) x) 2)))
  (pow (cos (/ (+ (+ x eps) x) 2)) 3)
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (log (cos (/ (+ (+ x eps) x) 2)))
  (exp (cos (/ (+ (+ x eps) x) 2)))
  (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2))))
  (cbrt (cos (/ (+ (+ x eps) x) 2)))
  (pow (cos (/ (+ (+ x eps) x) 2)) 3)
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (sqrt (cos (/ (+ (+ x eps) x) 2)))
  (- 1 (* 1/2 (* x (+ x eps))))
  (cos (+ (* 1/2 eps) x))
  (cos (+ (* 1/2 eps) x))
  (- 1 (* 1/2 (* x (+ x eps))))
  (cos (+ (* 1/2 eps) x))
  (cos (+ (* 1/2 eps) x))
  (- 1 (* 1/2 (* x (+ x eps))))
  (cos (+ (* 1/2 eps) x))
  (cos (+ (* 1/2 eps) x))
  (- 1 (* 1/2 (* x (+ x eps))))
  (cos (+ (* 1/2 eps) x))
  (cos (+ (* 1/2 eps) x))
10.901 * * * [progress]: adding candidates to table
11.085 * [progress]: [Phase 3 of 3] Extracting.
11.085 * * [regime]: Finding splitpoints for: (#<alt (λ (x eps) (* 2 (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))))> #<alt (λ (x eps) (+ (* (sin x) (cos eps)) (- (* (cos x) (sin eps)) (sin x))))> #<alt (λ (x eps) (* 2 (cbrt (pow (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))) 3))))> #<alt (λ (x eps) (* 2 (* (* (cbrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))) (cbrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))))) (cbrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))))))> #<alt (λ (x eps) (* 2 (* (* (cos (/ (+ (+ x eps) x) 2)) (sqrt (sin (/ eps 2)))) (sqrt (sin (/ eps 2))))))> #<alt (λ (x eps) (- (+ (* (sin x) (cos eps)) (* (cos x) (sin eps))) (sin x)))> #<alt (λ (x eps) (* 2 (* (sqrt (cos (/ (+ (+ x eps) x) 2))) (* (sqrt (cos (/ (+ (+ x eps) x) 2))) (sin (/ eps 2))))))> #<alt (λ (x eps) (* 2 (* (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (* (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2)))) (cbrt (cos (/ (+ (+ x eps) x) 2)))))) (* (cbrt (* (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2)))) (cbrt (cos (/ (+ (+ x eps) x) 2))))) (sin (/ eps 2))))))>)
11.087 * * * [regime-changes]: Trying 2 branch expressions: (eps x)
11.087 * * * * [regimes]: Trying to branch on eps from (#<alt (λ (x eps) (* 2 (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))))> #<alt (λ (x eps) (+ (* (sin x) (cos eps)) (- (* (cos x) (sin eps)) (sin x))))> #<alt (λ (x eps) (* 2 (cbrt (pow (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))) 3))))> #<alt (λ (x eps) (* 2 (* (* (cbrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))) (cbrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))))) (cbrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))))))> #<alt (λ (x eps) (* 2 (* (* (cos (/ (+ (+ x eps) x) 2)) (sqrt (sin (/ eps 2)))) (sqrt (sin (/ eps 2))))))> #<alt (λ (x eps) (- (+ (* (sin x) (cos eps)) (* (cos x) (sin eps))) (sin x)))> #<alt (λ (x eps) (* 2 (* (sqrt (cos (/ (+ (+ x eps) x) 2))) (* (sqrt (cos (/ (+ (+ x eps) x) 2))) (sin (/ eps 2))))))> #<alt (λ (x eps) (* 2 (* (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (* (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2)))) (cbrt (cos (/ (+ (+ x eps) x) 2)))))) (* (cbrt (* (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2)))) (cbrt (cos (/ (+ (+ x eps) x) 2))))) (sin (/ eps 2))))))>)
11.163 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x eps) (* 2 (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))))> #<alt (λ (x eps) (+ (* (sin x) (cos eps)) (- (* (cos x) (sin eps)) (sin x))))> #<alt (λ (x eps) (* 2 (cbrt (pow (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))) 3))))> #<alt (λ (x eps) (* 2 (* (* (cbrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))) (cbrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))))) (cbrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))))))> #<alt (λ (x eps) (* 2 (* (* (cos (/ (+ (+ x eps) x) 2)) (sqrt (sin (/ eps 2)))) (sqrt (sin (/ eps 2))))))> #<alt (λ (x eps) (- (+ (* (sin x) (cos eps)) (* (cos x) (sin eps))) (sin x)))> #<alt (λ (x eps) (* 2 (* (sqrt (cos (/ (+ (+ x eps) x) 2))) (* (sqrt (cos (/ (+ (+ x eps) x) 2))) (sin (/ eps 2))))))> #<alt (λ (x eps) (* 2 (* (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (* (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2)))) (cbrt (cos (/ (+ (+ x eps) x) 2)))))) (* (cbrt (* (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2)))) (cbrt (cos (/ (+ (+ x eps) x) 2))))) (sin (/ eps 2))))))>)
11.241 * * * [regime]: Found split indices: #<option (#s(si 5 69) #s(si 0 180) #s(si 5 255))>
11.241 * [binary-search]: Improving bounds with binary search for eps and (#<alt (λ (x eps) (* 2 (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))))> #<alt (λ (x eps) (+ (* (sin x) (cos eps)) (- (* (cos x) (sin eps)) (sin x))))> #<alt (λ (x eps) (* 2 (cbrt (pow (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))) 3))))> #<alt (λ (x eps) (* 2 (* (* (cbrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))) (cbrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))))) (cbrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))))))> #<alt (λ (x eps) (* 2 (* (* (cos (/ (+ (+ x eps) x) 2)) (sqrt (sin (/ eps 2)))) (sqrt (sin (/ eps 2))))))> #<alt (λ (x eps) (- (+ (* (sin x) (cos eps)) (* (cos x) (sin eps))) (sin x)))> #<alt (λ (x eps) (* 2 (* (sqrt (cos (/ (+ (+ x eps) x) 2))) (* (sqrt (cos (/ (+ (+ x eps) x) 2))) (sin (/ eps 2))))))> #<alt (λ (x eps) (* 2 (* (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (* (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2)))) (cbrt (cos (/ (+ (+ x eps) x) 2)))))) (* (cbrt (* (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2)))) (cbrt (cos (/ (+ (+ x eps) x) 2))))) (sin (/ eps 2))))))>)
11.299 * [regimes]: Found splitpoints: (#s(sp 5 eps -0.0001647469450861392) #s(sp 0 eps 5.621069998466474e-12) #s(sp 5 eps +nan.0)) , with alts (#<alt (λ (x eps) (* 2 (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))))> #<alt (λ (x eps) (+ (* (sin x) (cos eps)) (- (* (cos x) (sin eps)) (sin x))))> #<alt (λ (x eps) (* 2 (cbrt (pow (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))) 3))))> #<alt (λ (x eps) (* 2 (* (* (cbrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))) (cbrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2))))) (cbrt (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))))))> #<alt (λ (x eps) (* 2 (* (* (cos (/ (+ (+ x eps) x) 2)) (sqrt (sin (/ eps 2)))) (sqrt (sin (/ eps 2))))))> #<alt (λ (x eps) (- (+ (* (sin x) (cos eps)) (* (cos x) (sin eps))) (sin x)))> #<alt (λ (x eps) (* 2 (* (sqrt (cos (/ (+ (+ x eps) x) 2))) (* (sqrt (cos (/ (+ (+ x eps) x) 2))) (sin (/ eps 2))))))> #<alt (λ (x eps) (* 2 (* (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (* (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2)))) (cbrt (cos (/ (+ (+ x eps) x) 2)))))) (* (cbrt (* (* (cbrt (cos (/ (+ (+ x eps) x) 2))) (cbrt (cos (/ (+ (+ x eps) x) 2)))) (cbrt (cos (/ (+ (+ x eps) x) 2))))) (sin (/ eps 2))))))>)
11.300 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= eps -0.0001647469450861392) (- (+ (* (sin x) (cos eps)) (* (cos x) (sin eps))) (sin x)) (if (<= eps 5.621069998466474e-12) (* 2 (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))) (- (+ (* (sin x) (cos eps)) (* (cos x) (sin eps))) (sin x))))
11.300 * * [simplify]: iteration  0 :  25  enodes  (cost  51 )
11.301 * * [simplify]: iteration  1 :  35  enodes  (cost  38 )
11.302 * * [simplify]: iteration  done :  35  enodes  (cost  38 )
11.302 * [simplify]: Simplified to:
   (if (or (<= eps -0.0001647469450861392) (not (<= eps 5.621069998466474e-12))) (- (+ (* (sin x) (cos eps)) (* (cos x) (sin eps))) (sin x)) (* 2 (* (cos (/ (+ (+ x eps) x) 2)) (sin (/ eps 2)))))
15.492 * [regime-testing]: End program error score: 0.4642440451822515
15.581 * [regime-testing]: Target error score: 14.850651320765953