438.636 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.110 * * * [progress]: [2/2] Setting up program. 0.113 * [progress]: [Phase 2 of 3] Improving. 0.113 * [simplify]: Simplifying using # : (- (cos (+ x eps)) (cos x)) 0.114 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.115 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 0.116 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 0.117 * * [simplify]: iteration done : 10 enodes (cost 7 ) 0.117 * [simplify]: Simplified to: (- (cos (+ x eps)) (cos x)) 0.117 * * [progress]: iteration 1 / 4 0.117 * * * [progress]: picking best candidate 0.120 * * * * [pick]: Picked # 0.120 * * * [progress]: localizing error 0.128 * * * [progress]: generating rewritten candidates 0.128 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.133 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.140 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 0.143 * * * [progress]: generating series expansions 0.143 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.143 * [approximate]: Taking taylor expansion of (cos (+ x eps)) in (x eps) around 0 0.143 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in eps 0.143 * [taylor]: Taking taylor expansion of (+ x eps) in eps 0.143 * [taylor]: Taking taylor expansion of x in eps 0.143 * [taylor]: Taking taylor expansion of eps in eps 0.143 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in x 0.143 * [taylor]: Taking taylor expansion of (+ x eps) in x 0.143 * [taylor]: Taking taylor expansion of x in x 0.143 * [taylor]: Taking taylor expansion of eps in x 0.143 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in x 0.144 * [taylor]: Taking taylor expansion of (+ x eps) in x 0.144 * [taylor]: Taking taylor expansion of x in x 0.144 * [taylor]: Taking taylor expansion of eps in x 0.144 * [taylor]: Taking taylor expansion of (cos eps) in eps 0.144 * [taylor]: Taking taylor expansion of eps in eps 0.145 * [taylor]: Taking taylor expansion of (neg (sin eps)) in eps 0.145 * [taylor]: Taking taylor expansion of (sin eps) in eps 0.145 * [taylor]: Taking taylor expansion of eps in eps 0.145 * [taylor]: Taking taylor expansion of (neg (* 1/2 (cos eps))) in eps 0.145 * [taylor]: Taking taylor expansion of (* 1/2 (cos eps)) in eps 0.145 * [taylor]: Taking taylor expansion of 1/2 in eps 0.145 * [taylor]: Taking taylor expansion of (cos eps) in eps 0.145 * [taylor]: Taking taylor expansion of eps in eps 0.146 * [approximate]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in (x eps) around 0 0.146 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in eps 0.146 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps 0.146 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.146 * [taylor]: Taking taylor expansion of eps in eps 0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 0.146 * [taylor]: Taking taylor expansion of x in eps 0.146 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 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 (cos (+ (/ 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 (cos (+ (/ 1 eps) (/ 1 x))) in eps 0.146 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps 0.147 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.147 * [taylor]: Taking taylor expansion of eps in eps 0.147 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 0.147 * [taylor]: Taking taylor expansion of x in eps 0.147 * [taylor]: Taking taylor expansion of 0 in eps 0.147 * [taylor]: Taking taylor expansion of 0 in eps 0.147 * [taylor]: Taking taylor expansion of 0 in eps 0.147 * [approximate]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in (x eps) around 0 0.147 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in eps 0.147 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in eps 0.147 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps 0.147 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.147 * [taylor]: Taking taylor expansion of eps in eps 0.147 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 0.147 * [taylor]: Taking taylor expansion of x in eps 0.148 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in x 0.148 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in x 0.148 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x 0.148 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.148 * [taylor]: Taking taylor expansion of eps in x 0.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.148 * [taylor]: Taking taylor expansion of x in x 0.148 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in x 0.148 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in x 0.148 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x 0.148 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.148 * [taylor]: Taking taylor expansion of eps in x 0.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.148 * [taylor]: Taking taylor expansion of x in x 0.148 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in eps 0.148 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in eps 0.148 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps 0.148 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.148 * [taylor]: Taking taylor expansion of eps in eps 0.149 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 0.149 * [taylor]: Taking taylor expansion of x in eps 0.149 * [taylor]: Taking taylor expansion of 0 in eps 0.149 * [taylor]: Taking taylor expansion of 0 in eps 0.149 * [taylor]: Taking taylor expansion of 0 in eps 0.149 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.149 * [approximate]: Taking taylor expansion of (- (cos (+ x eps)) (cos x)) in (x eps) around 0 0.149 * [taylor]: Taking taylor expansion of (- (cos (+ x eps)) (cos x)) in eps 0.149 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in eps 0.149 * [taylor]: Taking taylor expansion of (+ x eps) in eps 0.149 * [taylor]: Taking taylor expansion of x in eps 0.149 * [taylor]: Taking taylor expansion of eps in eps 0.149 * [taylor]: Taking taylor expansion of (cos x) in eps 0.149 * [taylor]: Taking taylor expansion of x in eps 0.149 * [taylor]: Taking taylor expansion of (- (cos (+ x eps)) (cos x)) in x 0.149 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in x 0.149 * [taylor]: Taking taylor expansion of (+ x eps) in x 0.150 * [taylor]: Taking taylor expansion of x in x 0.150 * [taylor]: Taking taylor expansion of eps in x 0.150 * [taylor]: Taking taylor expansion of (cos x) in x 0.150 * [taylor]: Taking taylor expansion of x in x 0.150 * [taylor]: Taking taylor expansion of (- (cos (+ x eps)) (cos x)) in x 0.150 * [taylor]: Taking taylor expansion of (cos (+ x eps)) in x 0.150 * [taylor]: Taking taylor expansion of (+ x eps) in x 0.150 * [taylor]: Taking taylor expansion of x in x 0.150 * [taylor]: Taking taylor expansion of eps in x 0.150 * [taylor]: Taking taylor expansion of (cos x) in x 0.150 * [taylor]: Taking taylor expansion of x in x 0.150 * [taylor]: Taking taylor expansion of (- (cos eps) 1) in eps 0.150 * [taylor]: Taking taylor expansion of (cos eps) in eps 0.150 * [taylor]: Taking taylor expansion of eps in eps 0.150 * [taylor]: Taking taylor expansion of 1 in eps 0.150 * [taylor]: Taking taylor expansion of (neg (sin eps)) in eps 0.150 * [taylor]: Taking taylor expansion of (sin eps) in eps 0.150 * [taylor]: Taking taylor expansion of eps in eps 0.151 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/2 (cos eps))) in eps 0.151 * [taylor]: Taking taylor expansion of 1/2 in eps 0.151 * [taylor]: Taking taylor expansion of (* 1/2 (cos eps)) in eps 0.151 * [taylor]: Taking taylor expansion of 1/2 in eps 0.151 * [taylor]: Taking taylor expansion of (cos eps) in eps 0.151 * [taylor]: Taking taylor expansion of eps in eps 0.152 * [taylor]: Taking taylor expansion of (* 1/6 (sin eps)) in eps 0.152 * [taylor]: Taking taylor expansion of 1/6 in eps 0.152 * [taylor]: Taking taylor expansion of (sin eps) in eps 0.152 * [taylor]: Taking taylor expansion of eps in eps 0.153 * [taylor]: Taking taylor expansion of (- (* 1/24 (cos eps)) 1/24) in eps 0.153 * [taylor]: Taking taylor expansion of (* 1/24 (cos eps)) in eps 0.153 * [taylor]: Taking taylor expansion of 1/24 in eps 0.153 * [taylor]: Taking taylor expansion of (cos eps) in eps 0.153 * [taylor]: Taking taylor expansion of eps in eps 0.153 * [taylor]: Taking taylor expansion of 1/24 in eps 0.154 * [approximate]: Taking taylor expansion of (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in (x eps) around 0 0.154 * [taylor]: Taking taylor expansion of (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in eps 0.154 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in eps 0.154 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps 0.154 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.154 * [taylor]: Taking taylor expansion of eps in eps 0.154 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 0.154 * [taylor]: Taking taylor expansion of x in eps 0.154 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps 0.154 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 0.154 * [taylor]: Taking taylor expansion of x in eps 0.154 * [taylor]: Taking taylor expansion of (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in x 0.154 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in x 0.155 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x 0.155 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.155 * [taylor]: Taking taylor expansion of eps in x 0.155 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.155 * [taylor]: Taking taylor expansion of x in x 0.155 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.155 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.155 * [taylor]: Taking taylor expansion of x in x 0.155 * [taylor]: Taking taylor expansion of (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in x 0.155 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in x 0.155 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x 0.155 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.155 * [taylor]: Taking taylor expansion of eps in x 0.155 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.155 * [taylor]: Taking taylor expansion of x in x 0.155 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.155 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.155 * [taylor]: Taking taylor expansion of x in x 0.155 * [taylor]: Taking taylor expansion of (- (cos (+ (/ 1 eps) (/ 1 x))) (cos (/ 1 x))) in eps 0.155 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 eps) (/ 1 x))) in eps 0.155 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps 0.155 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.155 * [taylor]: Taking taylor expansion of eps in eps 0.155 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 0.155 * [taylor]: Taking taylor expansion of x in eps 0.156 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps 0.156 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 0.156 * [taylor]: Taking taylor expansion of x in eps 0.156 * [taylor]: Taking taylor expansion of 0 in eps 0.156 * [taylor]: Taking taylor expansion of 0 in eps 0.157 * [taylor]: Taking taylor expansion of 0 in eps 0.157 * [approximate]: Taking taylor expansion of (- (cos (neg (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in (x eps) around 0 0.157 * [taylor]: Taking taylor expansion of (- (cos (neg (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in eps 0.157 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in eps 0.157 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in eps 0.157 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps 0.157 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.157 * [taylor]: Taking taylor expansion of eps in eps 0.157 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 0.157 * [taylor]: Taking taylor expansion of x in eps 0.157 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps 0.157 * [taylor]: Taking taylor expansion of (/ -1 x) in eps 0.157 * [taylor]: Taking taylor expansion of -1 in eps 0.157 * [taylor]: Taking taylor expansion of x in eps 0.157 * [taylor]: Taking taylor expansion of (- (cos (neg (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in x 0.157 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in x 0.157 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in x 0.157 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x 0.157 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.158 * [taylor]: Taking taylor expansion of eps in x 0.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.158 * [taylor]: Taking taylor expansion of x in x 0.158 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.158 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.158 * [taylor]: Taking taylor expansion of -1 in x 0.158 * [taylor]: Taking taylor expansion of x in x 0.158 * [taylor]: Taking taylor expansion of (- (cos (neg (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in x 0.158 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in x 0.158 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in x 0.158 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in x 0.158 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.158 * [taylor]: Taking taylor expansion of eps in x 0.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.158 * [taylor]: Taking taylor expansion of x in x 0.158 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.158 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.158 * [taylor]: Taking taylor expansion of -1 in x 0.158 * [taylor]: Taking taylor expansion of x in x 0.158 * [taylor]: Taking taylor expansion of (- (cos (neg (+ (/ 1 eps) (/ 1 x)))) (cos (/ -1 x))) in eps 0.158 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 eps) (/ 1 x)))) in eps 0.158 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 eps) (/ 1 x))) in eps 0.159 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) (/ 1 x)) in eps 0.159 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.159 * [taylor]: Taking taylor expansion of eps in eps 0.159 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 0.159 * [taylor]: Taking taylor expansion of x in eps 0.159 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps 0.159 * [taylor]: Taking taylor expansion of (/ -1 x) in eps 0.159 * [taylor]: Taking taylor expansion of -1 in eps 0.159 * [taylor]: Taking taylor expansion of x in eps 0.159 * [taylor]: Taking taylor expansion of 0 in eps 0.160 * [taylor]: Taking taylor expansion of 0 in eps 0.160 * [taylor]: Taking taylor expansion of 0 in eps 0.160 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 0.160 * [approximate]: Taking taylor expansion of (cos x) in (x) around 0 0.160 * [taylor]: Taking taylor expansion of (cos x) in x 0.160 * [taylor]: Taking taylor expansion of x in x 0.160 * [taylor]: Taking taylor expansion of (cos x) in x 0.160 * [taylor]: Taking taylor expansion of x in x 0.161 * [approximate]: Taking taylor expansion of (cos (/ 1 x)) in (x) around 0 0.161 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.161 * [taylor]: Taking taylor expansion of x in x 0.161 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.161 * [taylor]: Taking taylor expansion of x in x 0.161 * [approximate]: Taking taylor expansion of (cos (/ -1 x)) in (x) around 0 0.161 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.161 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.161 * [taylor]: Taking taylor expansion of -1 in x 0.162 * [taylor]: Taking taylor expansion of x in x 0.162 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.162 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.162 * [taylor]: Taking taylor expansion of -1 in x 0.162 * [taylor]: Taking taylor expansion of x in x 0.162 * * * [progress]: simplifying candidates 0.162 * [simplify]: Simplifying using # : (* (cos x) (cos eps)) (* (sin x) (sin eps)) (log (cos (+ x eps))) (exp (cos (+ x eps))) (* (cbrt (cos (+ x eps))) (cbrt (cos (+ x eps)))) (cbrt (cos (+ x eps))) (* (* (cos (+ x eps)) (cos (+ x eps))) (cos (+ x eps))) (sqrt (cos (+ x eps))) (sqrt (cos (+ x eps))) (* (sin (/ (- (+ x eps) x) 2)) (sin (/ (+ (+ x eps) x) 2))) (/ (exp (cos (+ x eps))) (exp (cos x))) (log (- (cos (+ x eps)) (cos x))) (exp (- (cos (+ x eps)) (cos x))) (* (cbrt (- (cos (+ x eps)) (cos x))) (cbrt (- (cos (+ x eps)) (cos x)))) (cbrt (- (cos (+ x eps)) (cos x))) (* (* (- (cos (+ x eps)) (cos x)) (- (cos (+ x eps)) (cos x))) (- (cos (+ x eps)) (cos x))) (sqrt (- (cos (+ x eps)) (cos x))) (sqrt (- (cos (+ x eps)) (cos x))) (- (pow (cos (+ x eps)) 3) (pow (cos x) 3)) (+ (* (cos (+ x eps)) (cos (+ x eps))) (+ (* (cos x) (cos x)) (* (cos (+ x eps)) (cos x)))) (neg (cos x)) (- (* (cos (+ x eps)) (cos (+ x eps))) (* (cos x) (cos x))) (+ (cos (+ x eps)) (cos x)) (+ (sqrt (cos (+ x eps))) (sqrt (cos x))) (- (sqrt (cos (+ x eps))) (sqrt (cos x))) (- (cos (+ x eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x)) (neg (cos x)) (log (cos x)) (exp (cos x)) (* (cbrt (cos x)) (cbrt (cos x))) (cbrt (cos x)) (* (* (cos x) (cos x)) (cos x)) (sqrt (cos x)) (sqrt (cos x)) (- 1 (+ (* x eps) (* 1/2 (pow x 2)))) (cos (+ x eps)) (cos (+ x eps)) (- (* 1/6 (* (pow x 3) eps)) (+ (* x eps) (* 1/2 (pow eps 2)))) (- (cos (+ x eps)) (cos x)) (- (cos (+ x eps)) (cos x)) (- (+ 1 (* 1/24 (pow x 4))) (* 1/2 (pow x 2))) (cos x) (cos x) 0.163 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.164 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 0.164 * * [simplify]: iteration done : 6 enodes (cost 5 ) 0.165 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.165 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 0.166 * * [simplify]: iteration done : 6 enodes (cost 5 ) 0.167 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.167 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 0.168 * * [simplify]: iteration done : 6 enodes (cost 5 ) 0.168 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.169 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 0.169 * * [simplify]: iteration done : 6 enodes (cost 5 ) 0.170 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 0.171 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 0.171 * * [simplify]: iteration done : 7 enodes (cost 11 ) 0.172 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.172 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 0.173 * * [simplify]: iteration done : 6 enodes (cost 5 ) 0.173 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 0.174 * * [simplify]: iteration 1 : 8 enodes (cost 14 ) 0.175 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 0.176 * * [simplify]: iteration 3 : 15 enodes (cost 6 ) 0.178 * * [simplify]: iteration 4 : 21 enodes (cost 6 ) 0.180 * * [simplify]: iteration 5 : 31 enodes (cost 6 ) 0.184 * * [simplify]: iteration 6 : 54 enodes (cost 6 ) 0.391 * * [simplify]: iteration 7 : 110 enodes (cost 6 ) 0.434 * * [simplify]: iteration 8 : 319 enodes (cost 6 ) 0.886 * * [simplify]: iteration 9 : 1259 enodes (cost 6 ) 3.191 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 3.192 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 3.193 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 3.193 * * [simplify]: iteration done : 6 enodes (cost 5 ) 3.194 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 3.194 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 3.195 * * [simplify]: iteration done : 6 enodes (cost 5 ) 3.196 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 3.197 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 3.199 * * [simplify]: iteration 2 : 33 enodes (cost 17 ) 3.203 * * [simplify]: iteration 3 : 42 enodes (cost 15 ) 3.212 * * [simplify]: iteration 4 : 47 enodes (cost 13 ) 3.216 * * [simplify]: iteration 5 : 56 enodes (cost 13 ) 3.223 * * [simplify]: iteration 6 : 81 enodes (cost 13 ) 3.231 * * [simplify]: iteration 7 : 91 enodes (cost 13 ) 3.240 * * [simplify]: iteration 8 : 112 enodes (cost 13 ) 3.254 * * [simplify]: iteration 9 : 135 enodes (cost 13 ) 3.271 * * [simplify]: iteration 10 : 152 enodes (cost 13 ) 3.286 * * [simplify]: iteration 11 : 165 enodes (cost 13 ) 3.302 * * [simplify]: iteration 12 : 179 enodes (cost 13 ) 3.325 * * [simplify]: iteration 13 : 224 enodes (cost 13 ) 3.428 * * [simplify]: iteration 14 : 437 enodes (cost 13 ) 3.732 * * [simplify]: iteration 15 : 913 enodes (cost 13 ) 7.438 * * [simplify]: iteration 16 : 2244 enodes (cost 11 ) 15.304 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 15.304 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 15.305 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 15.306 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 15.308 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 15.310 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 15.312 * * [simplify]: iteration 5 : 25 enodes (cost 8 ) 15.315 * * [simplify]: iteration 6 : 29 enodes (cost 8 ) 15.318 * * [simplify]: iteration 7 : 45 enodes (cost 8 ) 15.323 * * [simplify]: iteration 8 : 49 enodes (cost 8 ) 15.328 * * [simplify]: iteration 9 : 54 enodes (cost 8 ) 15.334 * * [simplify]: iteration 10 : 61 enodes (cost 8 ) 15.345 * * [simplify]: iteration 11 : 80 enodes (cost 8 ) 15.355 * * [simplify]: iteration 12 : 101 enodes (cost 8 ) 15.369 * * [simplify]: iteration 13 : 113 enodes (cost 8 ) 15.383 * * [simplify]: iteration 14 : 116 enodes (cost 8 ) 15.398 * * [simplify]: iteration done : 116 enodes (cost 8 ) 15.399 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 15.400 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 15.401 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 15.402 * * [simplify]: iteration done : 11 enodes (cost 8 ) 15.402 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 15.403 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 15.404 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 15.406 * * [simplify]: iteration 3 : 19 enodes (cost 8 ) 15.408 * * [simplify]: iteration 4 : 25 enodes (cost 8 ) 15.411 * * [simplify]: iteration 5 : 29 enodes (cost 8 ) 15.415 * * [simplify]: iteration 6 : 45 enodes (cost 8 ) 15.420 * * [simplify]: iteration 7 : 49 enodes (cost 8 ) 15.425 * * [simplify]: iteration 8 : 54 enodes (cost 8 ) 15.431 * * [simplify]: iteration 9 : 61 enodes (cost 8 ) 15.438 * * [simplify]: iteration 10 : 79 enodes (cost 8 ) 15.448 * * [simplify]: iteration 11 : 100 enodes (cost 8 ) 15.464 * * [simplify]: iteration 12 : 113 enodes (cost 8 ) 15.478 * * [simplify]: iteration 13 : 116 enodes (cost 8 ) 15.492 * * [simplify]: iteration done : 116 enodes (cost 8 ) 15.492 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 15.493 * * [simplify]: iteration 1 : 11 enodes (cost 17 ) 15.494 * * [simplify]: iteration 2 : 12 enodes (cost 17 ) 15.495 * * [simplify]: iteration done : 12 enodes (cost 17 ) 15.496 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 15.497 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 15.498 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 15.499 * * [simplify]: iteration done : 11 enodes (cost 8 ) 15.499 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 15.500 * * [simplify]: iteration 1 : 12 enodes (cost 23 ) 15.502 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 15.507 * * [simplify]: iteration 3 : 70 enodes (cost 9 ) 15.525 * * [simplify]: iteration 4 : 179 enodes (cost 9 ) 15.589 * * [simplify]: iteration 5 : 507 enodes (cost 9 ) 16.043 * * [simplify]: iteration 6 : 1717 enodes (cost 9 ) 18.858 * * [simplify]: iteration 7 : 4952 enodes (cost 9 ) 20.102 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 20.102 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 20.103 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 20.104 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 20.105 * * [simplify]: iteration done : 11 enodes (cost 8 ) 20.106 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 20.107 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 20.108 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 20.109 * * [simplify]: iteration done : 11 enodes (cost 8 ) 20.109 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 20.117 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 20.121 * * [simplify]: iteration 2 : 47 enodes (cost 11 ) 20.129 * * [simplify]: iteration 3 : 81 enodes (cost 11 ) 20.142 * * [simplify]: iteration 4 : 165 enodes (cost 11 ) 20.191 * * [simplify]: iteration 5 : 497 enodes (cost 11 ) 20.528 * * [simplify]: iteration 6 : 2238 enodes (cost 11 ) 21.641 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 21.642 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 21.644 * * [simplify]: iteration 1 : 18 enodes (cost 20 ) 21.650 * * [simplify]: iteration 2 : 26 enodes (cost 20 ) 21.655 * * [simplify]: iteration 3 : 29 enodes (cost 18 ) 21.659 * * [simplify]: iteration 4 : 30 enodes (cost 18 ) 21.664 * * [simplify]: iteration done : 30 enodes (cost 18 ) 21.665 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 21.665 * * [simplify]: iteration done : 3 enodes (cost 3 ) 21.666 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 21.667 * * [simplify]: iteration 1 : 14 enodes (cost 15 ) 21.668 * * [simplify]: iteration 2 : 21 enodes (cost 15 ) 21.671 * * [simplify]: iteration 3 : 36 enodes (cost 15 ) 21.677 * * [simplify]: iteration 4 : 61 enodes (cost 15 ) 21.688 * * [simplify]: iteration 5 : 102 enodes (cost 15 ) 21.715 * * [simplify]: iteration 6 : 166 enodes (cost 15 ) 21.769 * * [simplify]: iteration 7 : 334 enodes (cost 15 ) 22.521 * * [simplify]: iteration 8 : 1644 enodes (cost 15 ) 28.739 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 28.739 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 28.740 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 28.741 * * [simplify]: iteration done : 8 enodes (cost 7 ) 28.741 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 28.742 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 28.743 * * [simplify]: iteration done : 10 enodes (cost 9 ) 28.744 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 28.744 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 28.745 * * [simplify]: iteration 2 : 12 enodes (cost 9 ) 28.747 * * [simplify]: iteration done : 12 enodes (cost 9 ) 28.747 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 28.748 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 28.749 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 28.750 * * [simplify]: iteration done : 10 enodes (cost 7 ) 28.750 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 28.751 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 28.752 * * [simplify]: iteration done : 9 enodes (cost 8 ) 28.753 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 28.753 * * [simplify]: iteration done : 3 enodes (cost 3 ) 28.753 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 28.754 * * [simplify]: iteration done : 3 enodes (cost 3 ) 28.754 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 28.755 * * [simplify]: iteration done : 3 enodes (cost 3 ) 28.755 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 28.756 * * [simplify]: iteration done : 4 enodes (cost 7 ) 28.756 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 28.756 * * [simplify]: iteration done : 3 enodes (cost 3 ) 28.757 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 28.757 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 28.758 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 28.759 * * [simplify]: iteration 3 : 12 enodes (cost 4 ) 28.760 * * [simplify]: iteration 4 : 18 enodes (cost 4 ) 28.762 * * [simplify]: iteration 5 : 28 enodes (cost 4 ) 28.766 * * [simplify]: iteration 6 : 49 enodes (cost 4 ) 28.775 * * [simplify]: iteration 7 : 108 enodes (cost 4 ) 28.820 * * [simplify]: iteration 8 : 316 enodes (cost 4 ) 29.278 * * [simplify]: iteration 9 : 1236 enodes (cost 4 ) 31.676 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 31.677 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 31.677 * * [simplify]: iteration done : 3 enodes (cost 3 ) 31.677 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 31.678 * * [simplify]: iteration done : 3 enodes (cost 3 ) 31.678 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 31.680 * * [simplify]: iteration 1 : 23 enodes (cost 11 ) 31.683 * * [simplify]: iteration 2 : 45 enodes (cost 11 ) 31.690 * * [simplify]: iteration 3 : 102 enodes (cost 9 ) 31.727 * * [simplify]: iteration 4 : 238 enodes (cost 9 ) 31.824 * * [simplify]: iteration 5 : 624 enodes (cost 9 ) 33.007 * * [simplify]: iteration 6 : 2525 enodes (cost 9 ) 35.568 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 35.569 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 35.569 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 35.570 * * [simplify]: iteration done : 5 enodes (cost 4 ) 35.570 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 35.571 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 35.571 * * [simplify]: iteration done : 5 enodes (cost 4 ) 35.572 * * [simplify]: iteration 0 : 14 enodes (cost 17 ) 35.574 * * [simplify]: iteration 1 : 37 enodes (cost 17 ) 35.582 * * [simplify]: iteration 2 : 91 enodes (cost 15 ) 35.597 * * [simplify]: iteration 3 : 196 enodes (cost 15 ) 35.663 * * [simplify]: iteration 4 : 388 enodes (cost 13 ) 35.853 * * [simplify]: iteration 5 : 844 enodes (cost 13 ) 36.882 * * [simplify]: iteration 6 : 2465 enodes (cost 13 ) 39.611 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 39.612 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 39.612 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 39.613 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 39.614 * * [simplify]: iteration done : 10 enodes (cost 7 ) 39.615 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 39.616 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 39.616 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 39.617 * * [simplify]: iteration done : 10 enodes (cost 7 ) 39.618 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 39.620 * * [simplify]: iteration 1 : 28 enodes (cost 13 ) 39.625 * * [simplify]: iteration 2 : 73 enodes (cost 13 ) 39.641 * * [simplify]: iteration 3 : 186 enodes (cost 13 ) 39.756 * * [simplify]: iteration 4 : 554 enodes (cost 13 ) 40.016 * * [simplify]: iteration 5 : 1275 enodes (cost 13 ) 42.020 * * [simplify]: iteration 6 : 4390 enodes (cost 13 ) 44.558 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 44.559 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 44.559 * * [simplify]: iteration done : 2 enodes (cost 2 ) 44.560 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 44.560 * * [simplify]: iteration done : 2 enodes (cost 2 ) 44.560 * [simplify]: Simplified to: (* (cos x) (cos eps)) (* (sin x) (sin eps)) (log (cos (+ x eps))) (exp (cos (+ x eps))) (* (cbrt (cos (+ x eps))) (cbrt (cos (+ x eps)))) (cbrt (cos (+ x eps))) (pow (cos (+ x eps)) 3) (sqrt (cos (+ x eps))) (sqrt (cos (+ x eps))) (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))) (exp (- (cos (+ x eps)) (cos x))) (log (- (cos (+ x eps)) (cos x))) (exp (- (cos (+ x eps)) (cos x))) (* (cbrt (- (cos (+ x eps)) (cos x))) (cbrt (- (cos (+ x eps)) (cos x)))) (cbrt (- (cos (+ x eps)) (cos x))) (pow (- (cos (+ x eps)) (cos x)) 3) (sqrt (- (cos (+ x eps)) (cos x))) (sqrt (- (cos (+ x eps)) (cos x))) (- (pow (cos (+ x eps)) 3) (pow (cos x) 3)) (+ (* (cos (+ x eps)) (+ (cos x) (cos (+ x eps)))) (* (cos x) (cos x))) (neg (cos x)) (- (* (cos (+ x eps)) (cos (+ x eps))) (* (cos x) (cos x))) (+ (cos (+ x eps)) (cos x)) (+ (sqrt (cos (+ x eps))) (sqrt (cos x))) (- (sqrt (cos (+ x eps))) (sqrt (cos x))) (- (cos (+ x eps)) (cos x)) (+ (* (sin x) (sin eps)) (cos x)) (neg (cos x)) (log (cos x)) (exp (cos x)) (* (cbrt (cos x)) (cbrt (cos x))) (cbrt (cos x)) (pow (cos x) 3) (sqrt (cos x)) (sqrt (cos x)) (- 1 (* x (+ eps (* x 1/2)))) (cos (+ x eps)) (cos (+ x eps)) (* eps (+ (* -1/2 eps) (- (* 1/6 (pow x 3)) x))) (- (cos (+ x eps)) (cos x)) (- (cos (+ x eps)) (cos x)) (- (+ 1 (* 1/24 (pow x 4))) (* 1/2 (pow x 2))) (cos x) (cos x) 44.560 * * * [progress]: adding candidates to table 44.613 * * [progress]: iteration 2 / 4 44.613 * * * [progress]: picking best candidate 44.636 * * * * [pick]: Picked # 44.636 * * * [progress]: localizing error 44.647 * * * [progress]: generating rewritten candidates 44.647 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2) 44.655 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 44.666 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 44.686 * * * [progress]: generating series expansions 44.686 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2) 44.686 * [approximate]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in (x eps) around 0 44.686 * [taylor]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in eps 44.686 * [taylor]: Taking taylor expansion of (+ x (* 1/2 eps)) in eps 44.686 * [taylor]: Taking taylor expansion of x in eps 44.686 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 44.686 * [taylor]: Taking taylor expansion of 1/2 in eps 44.686 * [taylor]: Taking taylor expansion of eps in eps 44.686 * [taylor]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in x 44.686 * [taylor]: Taking taylor expansion of (+ x (* 1/2 eps)) in x 44.686 * [taylor]: Taking taylor expansion of x in x 44.686 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x 44.686 * [taylor]: Taking taylor expansion of 1/2 in x 44.686 * [taylor]: Taking taylor expansion of eps in x 44.686 * [taylor]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in x 44.686 * [taylor]: Taking taylor expansion of (+ x (* 1/2 eps)) in x 44.687 * [taylor]: Taking taylor expansion of x in x 44.687 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x 44.687 * [taylor]: Taking taylor expansion of 1/2 in x 44.687 * [taylor]: Taking taylor expansion of eps in x 44.687 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps 44.687 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 44.687 * [taylor]: Taking taylor expansion of 1/2 in eps 44.687 * [taylor]: Taking taylor expansion of eps in eps 44.688 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps 44.688 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 44.688 * [taylor]: Taking taylor expansion of 1/2 in eps 44.688 * [taylor]: Taking taylor expansion of eps in eps 44.688 * [taylor]: Taking taylor expansion of (neg (* 1/2 (sin (* 1/2 eps)))) in eps 44.688 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/2 eps))) in eps 44.688 * [taylor]: Taking taylor expansion of 1/2 in eps 44.688 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps 44.688 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 44.688 * [taylor]: Taking taylor expansion of 1/2 in eps 44.688 * [taylor]: Taking taylor expansion of eps in eps 44.689 * [taylor]: Taking taylor expansion of (neg (* 1/6 (cos (* 1/2 eps)))) in eps 44.689 * [taylor]: Taking taylor expansion of (* 1/6 (cos (* 1/2 eps))) in eps 44.689 * [taylor]: Taking taylor expansion of 1/6 in eps 44.689 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps 44.689 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 44.689 * [taylor]: Taking taylor expansion of 1/2 in eps 44.689 * [taylor]: Taking taylor expansion of eps in eps 44.690 * [approximate]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in (x eps) around 0 44.690 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps 44.690 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps 44.690 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps 44.690 * [taylor]: Taking taylor expansion of 1/2 in eps 44.690 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 44.690 * [taylor]: Taking taylor expansion of eps in eps 44.690 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 44.690 * [taylor]: Taking taylor expansion of x in eps 44.690 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x 44.690 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x 44.690 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x 44.690 * [taylor]: Taking taylor expansion of 1/2 in x 44.690 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 44.690 * [taylor]: Taking taylor expansion of eps in x 44.690 * [taylor]: Taking taylor expansion of (/ 1 x) in x 44.690 * [taylor]: Taking taylor expansion of x in x 44.691 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x 44.691 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x 44.691 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x 44.691 * [taylor]: Taking taylor expansion of 1/2 in x 44.691 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 44.691 * [taylor]: Taking taylor expansion of eps in x 44.691 * [taylor]: Taking taylor expansion of (/ 1 x) in x 44.691 * [taylor]: Taking taylor expansion of x in x 44.691 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps 44.691 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps 44.691 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps 44.691 * [taylor]: Taking taylor expansion of 1/2 in eps 44.691 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 44.691 * [taylor]: Taking taylor expansion of eps in eps 44.691 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 44.691 * [taylor]: Taking taylor expansion of x in eps 44.691 * [taylor]: Taking taylor expansion of 0 in eps 44.691 * [taylor]: Taking taylor expansion of 0 in eps 44.691 * [taylor]: Taking taylor expansion of 0 in eps 44.692 * [approximate]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in (x eps) around 0 44.692 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in eps 44.692 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps 44.692 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps 44.692 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps 44.692 * [taylor]: Taking taylor expansion of 1/2 in eps 44.692 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 44.692 * [taylor]: Taking taylor expansion of eps in eps 44.692 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 44.692 * [taylor]: Taking taylor expansion of x in eps 44.692 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in x 44.692 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x 44.692 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x 44.692 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x 44.692 * [taylor]: Taking taylor expansion of 1/2 in x 44.692 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 44.693 * [taylor]: Taking taylor expansion of eps in x 44.693 * [taylor]: Taking taylor expansion of (/ 1 x) in x 44.693 * [taylor]: Taking taylor expansion of x in x 44.693 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in x 44.693 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x 44.693 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x 44.693 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x 44.693 * [taylor]: Taking taylor expansion of 1/2 in x 44.693 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 44.693 * [taylor]: Taking taylor expansion of eps in x 44.693 * [taylor]: Taking taylor expansion of (/ 1 x) in x 44.693 * [taylor]: Taking taylor expansion of x in x 44.693 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in eps 44.693 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps 44.693 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps 44.693 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps 44.693 * [taylor]: Taking taylor expansion of 1/2 in eps 44.693 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 44.693 * [taylor]: Taking taylor expansion of eps in eps 44.693 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 44.693 * [taylor]: Taking taylor expansion of x in eps 44.694 * [taylor]: Taking taylor expansion of 0 in eps 44.694 * [taylor]: Taking taylor expansion of 0 in eps 44.694 * [taylor]: Taking taylor expansion of 0 in eps 44.694 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 44.694 * [approximate]: Taking taylor expansion of (* (sin (* 1/2 eps)) (sin (+ x (* 1/2 eps)))) in (eps x) around 0 44.694 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (sin (+ x (* 1/2 eps)))) in x 44.694 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x 44.694 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x 44.694 * [taylor]: Taking taylor expansion of 1/2 in x 44.694 * [taylor]: Taking taylor expansion of eps in x 44.694 * [taylor]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in x 44.694 * [taylor]: Taking taylor expansion of (+ x (* 1/2 eps)) in x 44.694 * [taylor]: Taking taylor expansion of x in x 44.694 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x 44.694 * [taylor]: Taking taylor expansion of 1/2 in x 44.694 * [taylor]: Taking taylor expansion of eps in x 44.694 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (sin (+ x (* 1/2 eps)))) in eps 44.694 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps 44.694 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 44.694 * [taylor]: Taking taylor expansion of 1/2 in eps 44.694 * [taylor]: Taking taylor expansion of eps in eps 44.694 * [taylor]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in eps 44.694 * [taylor]: Taking taylor expansion of (+ x (* 1/2 eps)) in eps 44.695 * [taylor]: Taking taylor expansion of x in eps 44.695 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 44.695 * [taylor]: Taking taylor expansion of 1/2 in eps 44.695 * [taylor]: Taking taylor expansion of eps in eps 44.695 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (sin (+ x (* 1/2 eps)))) in eps 44.695 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps 44.695 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 44.695 * [taylor]: Taking taylor expansion of 1/2 in eps 44.695 * [taylor]: Taking taylor expansion of eps in eps 44.695 * [taylor]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in eps 44.695 * [taylor]: Taking taylor expansion of (+ x (* 1/2 eps)) in eps 44.695 * [taylor]: Taking taylor expansion of x in eps 44.695 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 44.695 * [taylor]: Taking taylor expansion of 1/2 in eps 44.695 * [taylor]: Taking taylor expansion of eps in eps 44.695 * [taylor]: Taking taylor expansion of 0 in x 44.695 * [taylor]: Taking taylor expansion of (* 1/2 (sin x)) in x 44.695 * [taylor]: Taking taylor expansion of 1/2 in x 44.696 * [taylor]: Taking taylor expansion of (sin x) in x 44.696 * [taylor]: Taking taylor expansion of x in x 44.696 * [taylor]: Taking taylor expansion of (* 1/4 (cos x)) in x 44.696 * [taylor]: Taking taylor expansion of 1/4 in x 44.696 * [taylor]: Taking taylor expansion of (cos x) in x 44.696 * [taylor]: Taking taylor expansion of x in x 44.697 * [taylor]: Taking taylor expansion of (neg (* 1/12 (sin x))) in x 44.697 * [taylor]: Taking taylor expansion of (* 1/12 (sin x)) in x 44.697 * [taylor]: Taking taylor expansion of 1/12 in x 44.697 * [taylor]: Taking taylor expansion of (sin x) in x 44.697 * [taylor]: Taking taylor expansion of x in x 44.699 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos x))) in x 44.699 * [taylor]: Taking taylor expansion of (* 1/48 (cos x)) in x 44.699 * [taylor]: Taking taylor expansion of 1/48 in x 44.699 * [taylor]: Taking taylor expansion of (cos x) in x 44.699 * [taylor]: Taking taylor expansion of x in x 44.699 * [approximate]: Taking taylor expansion of (* (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) (sin (/ 1/2 eps))) in (eps x) around 0 44.699 * [taylor]: Taking taylor expansion of (* (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) (sin (/ 1/2 eps))) in x 44.699 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x 44.699 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x 44.699 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x 44.699 * [taylor]: Taking taylor expansion of 1/2 in x 44.699 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 44.699 * [taylor]: Taking taylor expansion of eps in x 44.699 * [taylor]: Taking taylor expansion of (/ 1 x) in x 44.699 * [taylor]: Taking taylor expansion of x in x 44.699 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x 44.699 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x 44.700 * [taylor]: Taking taylor expansion of 1/2 in x 44.700 * [taylor]: Taking taylor expansion of eps in x 44.700 * [taylor]: Taking taylor expansion of (* (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) (sin (/ 1/2 eps))) in eps 44.700 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps 44.700 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps 44.700 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps 44.700 * [taylor]: Taking taylor expansion of 1/2 in eps 44.700 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 44.700 * [taylor]: Taking taylor expansion of eps in eps 44.700 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 44.700 * [taylor]: Taking taylor expansion of x in eps 44.700 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps 44.700 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 44.700 * [taylor]: Taking taylor expansion of 1/2 in eps 44.700 * [taylor]: Taking taylor expansion of eps in eps 44.700 * [taylor]: Taking taylor expansion of (* (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) (sin (/ 1/2 eps))) in eps 44.700 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps 44.700 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps 44.700 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps 44.700 * [taylor]: Taking taylor expansion of 1/2 in eps 44.700 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 44.700 * [taylor]: Taking taylor expansion of eps in eps 44.700 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 44.700 * [taylor]: Taking taylor expansion of x in eps 44.700 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps 44.700 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 44.700 * [taylor]: Taking taylor expansion of 1/2 in eps 44.700 * [taylor]: Taking taylor expansion of eps in eps 44.701 * [taylor]: Taking taylor expansion of (* (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) (sin (/ 1/2 eps))) in x 44.701 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x 44.701 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x 44.701 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x 44.701 * [taylor]: Taking taylor expansion of 1/2 in x 44.701 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 44.701 * [taylor]: Taking taylor expansion of eps in x 44.701 * [taylor]: Taking taylor expansion of (/ 1 x) in x 44.701 * [taylor]: Taking taylor expansion of x in x 44.701 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x 44.701 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x 44.701 * [taylor]: Taking taylor expansion of 1/2 in x 44.701 * [taylor]: Taking taylor expansion of eps in x 44.701 * [taylor]: Taking taylor expansion of 0 in x 44.702 * [taylor]: Taking taylor expansion of 0 in x 44.703 * [taylor]: Taking taylor expansion of 0 in x 44.703 * [approximate]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in (eps x) around 0 44.703 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in x 44.703 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x 44.703 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x 44.703 * [taylor]: Taking taylor expansion of -1/2 in x 44.703 * [taylor]: Taking taylor expansion of eps in x 44.703 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in x 44.703 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x 44.703 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x 44.703 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x 44.703 * [taylor]: Taking taylor expansion of 1/2 in x 44.703 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 44.703 * [taylor]: Taking taylor expansion of eps in x 44.703 * [taylor]: Taking taylor expansion of (/ 1 x) in x 44.703 * [taylor]: Taking taylor expansion of x in x 44.703 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in eps 44.704 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps 44.704 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 44.704 * [taylor]: Taking taylor expansion of -1/2 in eps 44.704 * [taylor]: Taking taylor expansion of eps in eps 44.704 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in eps 44.704 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps 44.704 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps 44.704 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps 44.704 * [taylor]: Taking taylor expansion of 1/2 in eps 44.704 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 44.704 * [taylor]: Taking taylor expansion of eps in eps 44.704 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 44.704 * [taylor]: Taking taylor expansion of x in eps 44.704 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in eps 44.704 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps 44.704 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 44.704 * [taylor]: Taking taylor expansion of -1/2 in eps 44.704 * [taylor]: Taking taylor expansion of eps in eps 44.704 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in eps 44.704 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps 44.704 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps 44.704 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps 44.704 * [taylor]: Taking taylor expansion of 1/2 in eps 44.704 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 44.704 * [taylor]: Taking taylor expansion of eps in eps 44.704 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 44.704 * [taylor]: Taking taylor expansion of x in eps 44.705 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in x 44.705 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x 44.705 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x 44.705 * [taylor]: Taking taylor expansion of -1/2 in x 44.705 * [taylor]: Taking taylor expansion of eps in x 44.705 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in x 44.705 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x 44.705 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x 44.705 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x 44.705 * [taylor]: Taking taylor expansion of 1/2 in x 44.705 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 44.705 * [taylor]: Taking taylor expansion of eps in x 44.705 * [taylor]: Taking taylor expansion of (/ 1 x) in x 44.705 * [taylor]: Taking taylor expansion of x in x 44.706 * [taylor]: Taking taylor expansion of 0 in x 44.706 * [taylor]: Taking taylor expansion of 0 in x 44.707 * [taylor]: Taking taylor expansion of 0 in x 44.707 * * * * [progress]: [ 3 / 3 ] generating series at (2) 44.707 * [approximate]: Taking taylor expansion of (* -2 (* (sin (* 1/2 eps)) (sin (+ x (* 1/2 eps))))) in (eps x) around 0 44.707 * [taylor]: Taking taylor expansion of (* -2 (* (sin (* 1/2 eps)) (sin (+ x (* 1/2 eps))))) in x 44.707 * [taylor]: Taking taylor expansion of -2 in x 44.707 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (sin (+ x (* 1/2 eps)))) in x 44.707 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x 44.707 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x 44.707 * [taylor]: Taking taylor expansion of 1/2 in x 44.708 * [taylor]: Taking taylor expansion of eps in x 44.708 * [taylor]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in x 44.708 * [taylor]: Taking taylor expansion of (+ x (* 1/2 eps)) in x 44.708 * [taylor]: Taking taylor expansion of x in x 44.708 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x 44.708 * [taylor]: Taking taylor expansion of 1/2 in x 44.708 * [taylor]: Taking taylor expansion of eps in x 44.708 * [taylor]: Taking taylor expansion of (* -2 (* (sin (* 1/2 eps)) (sin (+ x (* 1/2 eps))))) in eps 44.708 * [taylor]: Taking taylor expansion of -2 in eps 44.708 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (sin (+ x (* 1/2 eps)))) in eps 44.708 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps 44.708 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 44.708 * [taylor]: Taking taylor expansion of 1/2 in eps 44.708 * [taylor]: Taking taylor expansion of eps in eps 44.708 * [taylor]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in eps 44.708 * [taylor]: Taking taylor expansion of (+ x (* 1/2 eps)) in eps 44.708 * [taylor]: Taking taylor expansion of x in eps 44.708 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 44.708 * [taylor]: Taking taylor expansion of 1/2 in eps 44.708 * [taylor]: Taking taylor expansion of eps in eps 44.708 * [taylor]: Taking taylor expansion of (* -2 (* (sin (* 1/2 eps)) (sin (+ x (* 1/2 eps))))) in eps 44.708 * [taylor]: Taking taylor expansion of -2 in eps 44.708 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (sin (+ x (* 1/2 eps)))) in eps 44.708 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps 44.708 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 44.708 * [taylor]: Taking taylor expansion of 1/2 in eps 44.708 * [taylor]: Taking taylor expansion of eps in eps 44.708 * [taylor]: Taking taylor expansion of (sin (+ x (* 1/2 eps))) in eps 44.708 * [taylor]: Taking taylor expansion of (+ x (* 1/2 eps)) in eps 44.708 * [taylor]: Taking taylor expansion of x in eps 44.708 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 44.708 * [taylor]: Taking taylor expansion of 1/2 in eps 44.708 * [taylor]: Taking taylor expansion of eps in eps 44.709 * [taylor]: Taking taylor expansion of 0 in x 44.709 * [taylor]: Taking taylor expansion of (neg (sin x)) in x 44.709 * [taylor]: Taking taylor expansion of (sin x) in x 44.709 * [taylor]: Taking taylor expansion of x in x 44.710 * [taylor]: Taking taylor expansion of (neg (* 1/2 (cos x))) in x 44.710 * [taylor]: Taking taylor expansion of (* 1/2 (cos x)) in x 44.710 * [taylor]: Taking taylor expansion of 1/2 in x 44.710 * [taylor]: Taking taylor expansion of (cos x) in x 44.710 * [taylor]: Taking taylor expansion of x in x 44.711 * [taylor]: Taking taylor expansion of (* 1/6 (sin x)) in x 44.711 * [taylor]: Taking taylor expansion of 1/6 in x 44.711 * [taylor]: Taking taylor expansion of (sin x) in x 44.711 * [taylor]: Taking taylor expansion of x in x 44.713 * [taylor]: Taking taylor expansion of (* 1/24 (cos x)) in x 44.713 * [taylor]: Taking taylor expansion of 1/24 in x 44.713 * [taylor]: Taking taylor expansion of (cos x) in x 44.713 * [taylor]: Taking taylor expansion of x in x 44.713 * [approximate]: Taking taylor expansion of (* -2 (* (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) (sin (/ 1/2 eps)))) in (eps x) around 0 44.713 * [taylor]: Taking taylor expansion of (* -2 (* (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) (sin (/ 1/2 eps)))) in x 44.713 * [taylor]: Taking taylor expansion of -2 in x 44.713 * [taylor]: Taking taylor expansion of (* (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) (sin (/ 1/2 eps))) in x 44.713 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x 44.713 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x 44.713 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x 44.713 * [taylor]: Taking taylor expansion of 1/2 in x 44.713 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 44.713 * [taylor]: Taking taylor expansion of eps in x 44.713 * [taylor]: Taking taylor expansion of (/ 1 x) in x 44.713 * [taylor]: Taking taylor expansion of x in x 44.714 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x 44.714 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x 44.714 * [taylor]: Taking taylor expansion of 1/2 in x 44.714 * [taylor]: Taking taylor expansion of eps in x 44.714 * [taylor]: Taking taylor expansion of (* -2 (* (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) (sin (/ 1/2 eps)))) in eps 44.714 * [taylor]: Taking taylor expansion of -2 in eps 44.714 * [taylor]: Taking taylor expansion of (* (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) (sin (/ 1/2 eps))) in eps 44.714 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps 44.714 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps 44.714 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps 44.714 * [taylor]: Taking taylor expansion of 1/2 in eps 44.714 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 44.714 * [taylor]: Taking taylor expansion of eps in eps 44.714 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 44.714 * [taylor]: Taking taylor expansion of x in eps 44.714 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps 44.714 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 44.714 * [taylor]: Taking taylor expansion of 1/2 in eps 44.714 * [taylor]: Taking taylor expansion of eps in eps 44.714 * [taylor]: Taking taylor expansion of (* -2 (* (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) (sin (/ 1/2 eps)))) in eps 44.714 * [taylor]: Taking taylor expansion of -2 in eps 44.714 * [taylor]: Taking taylor expansion of (* (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) (sin (/ 1/2 eps))) in eps 44.714 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps 44.714 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps 44.714 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps 44.714 * [taylor]: Taking taylor expansion of 1/2 in eps 44.714 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 44.714 * [taylor]: Taking taylor expansion of eps in eps 44.714 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 44.714 * [taylor]: Taking taylor expansion of x in eps 44.715 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps 44.715 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 44.715 * [taylor]: Taking taylor expansion of 1/2 in eps 44.715 * [taylor]: Taking taylor expansion of eps in eps 44.715 * [taylor]: Taking taylor expansion of (* -2 (* (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) (sin (/ 1/2 eps)))) in x 44.715 * [taylor]: Taking taylor expansion of -2 in x 44.715 * [taylor]: Taking taylor expansion of (* (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) (sin (/ 1/2 eps))) in x 44.715 * [taylor]: Taking taylor expansion of (sin (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x 44.715 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x 44.715 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x 44.715 * [taylor]: Taking taylor expansion of 1/2 in x 44.715 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 44.715 * [taylor]: Taking taylor expansion of eps in x 44.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x 44.715 * [taylor]: Taking taylor expansion of x in x 44.715 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x 44.715 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x 44.715 * [taylor]: Taking taylor expansion of 1/2 in x 44.715 * [taylor]: Taking taylor expansion of eps in x 44.716 * [taylor]: Taking taylor expansion of 0 in x 44.717 * [taylor]: Taking taylor expansion of 0 in x 44.718 * [taylor]: Taking taylor expansion of 0 in x 44.718 * [approximate]: Taking taylor expansion of (* -2 (* (sin (/ -1/2 eps)) (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))))) in (eps x) around 0 44.718 * [taylor]: Taking taylor expansion of (* -2 (* (sin (/ -1/2 eps)) (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))))) in x 44.718 * [taylor]: Taking taylor expansion of -2 in x 44.718 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in x 44.718 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x 44.718 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x 44.718 * [taylor]: Taking taylor expansion of -1/2 in x 44.718 * [taylor]: Taking taylor expansion of eps in x 44.718 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in x 44.718 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x 44.718 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x 44.718 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x 44.718 * [taylor]: Taking taylor expansion of 1/2 in x 44.718 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 44.718 * [taylor]: Taking taylor expansion of eps in x 44.718 * [taylor]: Taking taylor expansion of (/ 1 x) in x 44.718 * [taylor]: Taking taylor expansion of x in x 44.719 * [taylor]: Taking taylor expansion of (* -2 (* (sin (/ -1/2 eps)) (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))))) in eps 44.719 * [taylor]: Taking taylor expansion of -2 in eps 44.719 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in eps 44.719 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps 44.719 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 44.719 * [taylor]: Taking taylor expansion of -1/2 in eps 44.719 * [taylor]: Taking taylor expansion of eps in eps 44.719 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in eps 44.719 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps 44.719 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps 44.719 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps 44.719 * [taylor]: Taking taylor expansion of 1/2 in eps 44.719 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 44.719 * [taylor]: Taking taylor expansion of eps in eps 44.719 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 44.719 * [taylor]: Taking taylor expansion of x in eps 44.719 * [taylor]: Taking taylor expansion of (* -2 (* (sin (/ -1/2 eps)) (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))))) in eps 44.719 * [taylor]: Taking taylor expansion of -2 in eps 44.719 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in eps 44.719 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps 44.719 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 44.719 * [taylor]: Taking taylor expansion of -1/2 in eps 44.719 * [taylor]: Taking taylor expansion of eps in eps 44.719 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in eps 44.719 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in eps 44.719 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in eps 44.719 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in eps 44.719 * [taylor]: Taking taylor expansion of 1/2 in eps 44.719 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 44.719 * [taylor]: Taking taylor expansion of eps in eps 44.719 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 44.719 * [taylor]: Taking taylor expansion of x in eps 44.720 * [taylor]: Taking taylor expansion of (* -2 (* (sin (/ -1/2 eps)) (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))))) in x 44.720 * [taylor]: Taking taylor expansion of -2 in x 44.720 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))))) in x 44.720 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x 44.720 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x 44.720 * [taylor]: Taking taylor expansion of -1/2 in x 44.720 * [taylor]: Taking taylor expansion of eps in x 44.720 * [taylor]: Taking taylor expansion of (sin (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x)))) in x 44.720 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 eps)) (/ 1 x))) in x 44.720 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 eps)) (/ 1 x)) in x 44.720 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 eps)) in x 44.720 * [taylor]: Taking taylor expansion of 1/2 in x 44.720 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 44.720 * [taylor]: Taking taylor expansion of eps in x 44.720 * [taylor]: Taking taylor expansion of (/ 1 x) in x 44.720 * [taylor]: Taking taylor expansion of x in x 44.721 * [taylor]: Taking taylor expansion of 0 in x 44.722 * [taylor]: Taking taylor expansion of 0 in x 44.723 * [taylor]: Taking taylor expansion of 0 in x 44.723 * * * [progress]: simplifying candidates 44.725 * [simplify]: Simplifying using # : (* (sin x) (cos (/ eps 2))) (* (cos x) (sin (/ eps 2))) (log (sin (+ x (/ eps 2)))) (exp (sin (+ x (/ eps 2)))) (* (cbrt (sin (+ x (/ eps 2)))) (cbrt (sin (+ x (/ eps 2))))) (cbrt (sin (+ x (/ eps 2)))) (* (* (sin (+ x (/ eps 2))) (sin (+ x (/ eps 2)))) (sin (+ x (/ eps 2)))) (sqrt (sin (+ x (/ eps 2)))) (sqrt (sin (+ x (/ eps 2)))) (- (cos (- (/ eps 2) (+ x (/ eps 2)))) (cos (+ (/ eps 2) (+ x (/ eps 2))))) (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))) (+ (log (sin (/ eps 2))) (log (sin (+ x (/ eps 2))))) (log (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (exp (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (* (* (* (sin (/ eps 2)) (sin (/ eps 2))) (sin (/ eps 2))) (* (* (sin (+ x (/ eps 2))) (sin (+ x (/ eps 2)))) (sin (+ x (/ eps 2))))) (* (cbrt (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (cbrt (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))))) (cbrt (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (* (* (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))) (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (sqrt (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (sqrt (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (* (sqrt (sin (/ eps 2))) (sqrt (sin (+ x (/ eps 2))))) (* (sqrt (sin (/ eps 2))) (sqrt (sin (+ x (/ eps 2))))) (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2)))) (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2)))) (* (* (sin x) (cos (/ eps 2))) (sin (/ eps 2))) (* (* (cos x) (sin (/ eps 2))) (sin (/ eps 2))) (* (sin (/ eps 2)) (* (cbrt (sin (+ x (/ eps 2)))) (cbrt (sin (+ x (/ eps 2)))))) (* (sin (/ eps 2)) (sqrt (sin (+ x (/ eps 2))))) (* (sin (/ eps 2)) 1) (* (cbrt (sin (/ eps 2))) (sin (+ x (/ eps 2)))) (* (sqrt (sin (/ eps 2))) (sin (+ x (/ eps 2)))) (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))) (* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (+ (log -2) (+ (log (sin (/ eps 2))) (log (sin (+ x (/ eps 2)))))) (+ (log -2) (log (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))))) (log (* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))))) (exp (* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))))) (* (* (* -2 -2) -2) (* (* (* (sin (/ eps 2)) (sin (/ eps 2))) (sin (/ eps 2))) (* (* (sin (+ x (/ eps 2))) (sin (+ x (/ eps 2)))) (sin (+ x (/ eps 2)))))) (* (* (* -2 -2) -2) (* (* (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))) (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))))) (* (cbrt (* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))))) (cbrt (* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))))) (cbrt (* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))))) (* (* (* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))))) (* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))))) (sqrt (* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))))) (sqrt (* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))))) (* -2 (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2))))) (* -2 (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (* -2 (* (* (sin x) (cos (/ eps 2))) (sin (/ eps 2)))) (* -2 (* (* (cos x) (sin (/ eps 2))) (sin (/ eps 2)))) (* (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2)))) -2) (* (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2)))) -2) (* (* (* (sin x) (cos (/ eps 2))) (sin (/ eps 2))) -2) (* (* (* (cos x) (sin (/ eps 2))) (sin (/ eps 2))) -2) (* -2 (sin (/ eps 2))) (* (cbrt -2) (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (* (sqrt -2) (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (* -2 (- (cos (- (/ eps 2) (+ x (/ eps 2)))) (cos (+ (/ eps 2) (+ x (/ eps 2)))))) (- (+ x (* 1/2 eps)) (* 1/6 (pow x 3))) (sin (+ x (* 1/2 eps))) (sin (+ x (* 1/2 eps))) (- (+ (* 1/2 (* x eps)) (* 1/4 (pow eps 2))) (* 1/48 (pow eps 4))) (* (sin (* 1/2 eps)) (sin (+ x (* 1/2 eps)))) (* (sin (* 1/2 eps)) (sin (+ x (* 1/2 eps)))) (- (* 1/24 (pow eps 4)) (+ (* x eps) (* 1/2 (pow eps 2)))) (* -2 (* (sin (* 1/2 eps)) (sin (+ x (* 1/2 eps))))) (* -2 (* (sin (* 1/2 eps)) (sin (+ x (* 1/2 eps))))) 44.725 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 44.726 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 44.727 * * [simplify]: iteration done : 8 enodes (cost 7 ) 44.727 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 44.728 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 44.729 * * [simplify]: iteration done : 8 enodes (cost 7 ) 44.729 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 44.730 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 44.731 * * [simplify]: iteration done : 8 enodes (cost 7 ) 44.731 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 44.732 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 44.733 * * [simplify]: iteration done : 8 enodes (cost 7 ) 44.733 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 44.734 * * [simplify]: iteration 1 : 9 enodes (cost 15 ) 44.735 * * [simplify]: iteration done : 9 enodes (cost 15 ) 44.736 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 44.736 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 44.737 * * [simplify]: iteration done : 8 enodes (cost 7 ) 44.738 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 44.739 * * [simplify]: iteration 1 : 10 enodes (cost 20 ) 44.740 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 44.741 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 44.743 * * [simplify]: iteration 4 : 22 enodes (cost 8 ) 44.745 * * [simplify]: iteration 5 : 32 enodes (cost 8 ) 44.749 * * [simplify]: iteration 6 : 53 enodes (cost 8 ) 44.759 * * [simplify]: iteration 7 : 114 enodes (cost 8 ) 44.807 * * [simplify]: iteration 8 : 327 enodes (cost 8 ) 45.490 * * [simplify]: iteration 9 : 1261 enodes (cost 8 ) 47.900 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 47.901 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 47.902 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 47.902 * * [simplify]: iteration done : 8 enodes (cost 7 ) 47.903 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 47.904 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 47.904 * * [simplify]: iteration done : 8 enodes (cost 7 ) 47.905 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 47.906 * * [simplify]: iteration 1 : 18 enodes (cost 21 ) 47.908 * * [simplify]: iteration 2 : 31 enodes (cost 21 ) 47.913 * * [simplify]: iteration 3 : 45 enodes (cost 13 ) 47.919 * * [simplify]: iteration 4 : 55 enodes (cost 12 ) 47.947 * * [simplify]: iteration 5 : 189 enodes (cost 11 ) 48.432 * * [simplify]: iteration 6 : 833 enodes (cost 9 ) 49.688 * * [simplify]: iteration 7 : 1591 enodes (cost 7 ) 56.797 * * [simplify]: iteration 8 : 3773 enodes (cost 7 ) 58.939 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 58.940 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 58.941 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 58.942 * * [simplify]: iteration done : 10 enodes (cost 11 ) 58.943 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 58.944 * * [simplify]: iteration 1 : 12 enodes (cost 13 ) 58.945 * * [simplify]: iteration done : 12 enodes (cost 13 ) 58.945 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 58.951 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 58.952 * * [simplify]: iteration 2 : 15 enodes (cost 12 ) 58.954 * * [simplify]: iteration done : 15 enodes (cost 12 ) 58.955 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 58.956 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 58.957 * * [simplify]: iteration 2 : 18 enodes (cost 12 ) 58.959 * * [simplify]: iteration 3 : 26 enodes (cost 12 ) 58.962 * * [simplify]: iteration 4 : 49 enodes (cost 12 ) 58.970 * * [simplify]: iteration 5 : 107 enodes (cost 12 ) 59.001 * * [simplify]: iteration 6 : 249 enodes (cost 12 ) 59.154 * * [simplify]: iteration 7 : 711 enodes (cost 12 ) 60.250 * * [simplify]: iteration 8 : 2710 enodes (cost 12 ) 62.072 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 62.072 * * [simplify]: iteration 0 : 12 enodes (cost 35 ) 62.074 * * [simplify]: iteration 1 : 20 enodes (cost 35 ) 62.077 * * [simplify]: iteration 2 : 45 enodes (cost 15 ) 62.086 * * [simplify]: iteration 3 : 83 enodes (cost 15 ) 62.107 * * [simplify]: iteration 4 : 137 enodes (cost 13 ) 62.157 * * [simplify]: iteration 5 : 256 enodes (cost 13 ) 62.303 * * [simplify]: iteration 6 : 659 enodes (cost 13 ) 63.218 * * [simplify]: iteration 7 : 2436 enodes (cost 13 ) 65.288 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 65.289 * * [simplify]: iteration 0 : 10 enodes (cost 25 ) 65.290 * * [simplify]: iteration 1 : 12 enodes (cost 25 ) 65.291 * * [simplify]: iteration done : 12 enodes (cost 25 ) 65.296 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 65.297 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 65.299 * * [simplify]: iteration done : 11 enodes (cost 12 ) 65.299 * * [simplify]: iteration 0 : 10 enodes (cost 35 ) 65.301 * * [simplify]: iteration 1 : 22 enodes (cost 35 ) 65.304 * * [simplify]: iteration 2 : 51 enodes (cost 13 ) 65.322 * * [simplify]: iteration 3 : 95 enodes (cost 13 ) 65.346 * * [simplify]: iteration 4 : 113 enodes (cost 13 ) 65.378 * * [simplify]: iteration 5 : 159 enodes (cost 13 ) 65.441 * * [simplify]: iteration 6 : 310 enodes (cost 13 ) 65.612 * * [simplify]: iteration 7 : 768 enodes (cost 13 ) 66.719 * * [simplify]: iteration 8 : 2781 enodes (cost 13 ) 69.113 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 69.114 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 69.115 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 69.117 * * [simplify]: iteration done : 11 enodes (cost 12 ) 69.117 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 69.118 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 69.120 * * [simplify]: iteration done : 11 enodes (cost 12 ) 69.120 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 69.121 * * [simplify]: iteration 1 : 12 enodes (cost 13 ) 69.122 * * [simplify]: iteration done : 12 enodes (cost 13 ) 69.123 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 69.124 * * [simplify]: iteration 1 : 12 enodes (cost 13 ) 69.125 * * [simplify]: iteration done : 12 enodes (cost 13 ) 69.126 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 69.127 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 69.128 * * [simplify]: iteration 2 : 19 enodes (cost 12 ) 69.130 * * [simplify]: iteration done : 19 enodes (cost 12 ) 69.131 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 69.132 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 69.133 * * [simplify]: iteration 2 : 13 enodes (cost 12 ) 69.135 * * [simplify]: iteration done : 13 enodes (cost 12 ) 69.135 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 69.136 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 69.138 * * [simplify]: iteration 2 : 19 enodes (cost 12 ) 69.140 * * [simplify]: iteration done : 19 enodes (cost 12 ) 69.141 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 69.142 * * [simplify]: iteration 1 : 12 enodes (cost 12 ) 69.143 * * [simplify]: iteration 2 : 13 enodes (cost 12 ) 69.145 * * [simplify]: iteration done : 13 enodes (cost 12 ) 69.145 * * [simplify]: iteration 0 : 10 enodes (cost 20 ) 69.147 * * [simplify]: iteration 1 : 14 enodes (cost 20 ) 69.148 * * [simplify]: iteration 2 : 16 enodes (cost 20 ) 69.150 * * [simplify]: iteration done : 16 enodes (cost 20 ) 69.150 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 69.151 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 69.152 * * [simplify]: iteration done : 11 enodes (cost 12 ) 69.153 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 69.154 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 69.155 * * [simplify]: iteration 2 : 12 enodes (cost 4 ) 69.155 * * [simplify]: iteration done : 12 enodes (cost 4 ) 69.156 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 69.157 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 69.158 * * [simplify]: iteration done : 11 enodes (cost 12 ) 69.159 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 69.160 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 69.161 * * [simplify]: iteration done : 11 enodes (cost 12 ) 69.161 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 69.163 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 69.163 * * [simplify]: iteration done : 10 enodes (cost 11 ) 69.164 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 69.165 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 69.167 * * [simplify]: iteration 2 : 21 enodes (cost 13 ) 69.170 * * [simplify]: iteration done : 21 enodes (cost 13 ) 69.171 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 69.172 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 69.173 * * [simplify]: iteration 2 : 21 enodes (cost 13 ) 69.180 * * [simplify]: iteration done : 21 enodes (cost 13 ) 69.181 * * [simplify]: iteration 0 : 13 enodes (cost 16 ) 69.182 * * [simplify]: iteration 1 : 18 enodes (cost 16 ) 69.184 * * [simplify]: iteration 2 : 24 enodes (cost 16 ) 69.186 * * [simplify]: iteration done : 24 enodes (cost 16 ) 69.187 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 69.189 * * [simplify]: iteration 1 : 18 enodes (cost 15 ) 69.190 * * [simplify]: iteration 2 : 23 enodes (cost 15 ) 69.193 * * [simplify]: iteration 3 : 27 enodes (cost 15 ) 69.196 * * [simplify]: iteration done : 27 enodes (cost 15 ) 69.197 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 69.198 * * [simplify]: iteration 1 : 19 enodes (cost 14 ) 69.200 * * [simplify]: iteration 2 : 32 enodes (cost 14 ) 69.204 * * [simplify]: iteration 3 : 46 enodes (cost 14 ) 69.209 * * [simplify]: iteration done : 46 enodes (cost 14 ) 69.210 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 69.211 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 69.214 * * [simplify]: iteration 2 : 31 enodes (cost 14 ) 69.218 * * [simplify]: iteration 3 : 59 enodes (cost 14 ) 69.226 * * [simplify]: iteration 4 : 119 enodes (cost 14 ) 69.250 * * [simplify]: iteration 5 : 261 enodes (cost 14 ) 69.371 * * [simplify]: iteration 6 : 669 enodes (cost 14 ) 70.138 * * [simplify]: iteration 7 : 2358 enodes (cost 14 ) 71.598 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 71.599 * * [simplify]: iteration 0 : 16 enodes (cost 41 ) 71.601 * * [simplify]: iteration 1 : 32 enodes (cost 37 ) 71.606 * * [simplify]: iteration 2 : 88 enodes (cost 17 ) 71.639 * * [simplify]: iteration 3 : 270 enodes (cost 17 ) 71.831 * * [simplify]: iteration 4 : 832 enodes (cost 15 ) 73.262 * * [simplify]: iteration 5 : 2262 enodes (cost 15 ) 77.077 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 77.078 * * [simplify]: iteration 0 : 14 enodes (cost 41 ) 77.080 * * [simplify]: iteration 1 : 34 enodes (cost 37 ) 77.086 * * [simplify]: iteration 2 : 92 enodes (cost 15 ) 77.122 * * [simplify]: iteration 3 : 300 enodes (cost 15 ) 77.364 * * [simplify]: iteration 4 : 756 enodes (cost 15 ) 78.449 * * [simplify]: iteration 5 : 1482 enodes (cost 15 ) 80.518 * * [simplify]: iteration 6 : 2461 enodes (cost 15 ) 83.241 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 83.242 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 83.243 * * [simplify]: iteration 1 : 17 enodes (cost 29 ) 83.245 * * [simplify]: iteration 2 : 23 enodes (cost 29 ) 83.248 * * [simplify]: iteration 3 : 25 enodes (cost 29 ) 83.251 * * [simplify]: iteration done : 25 enodes (cost 29 ) 83.251 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 83.252 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 83.254 * * [simplify]: iteration 2 : 22 enodes (cost 14 ) 83.257 * * [simplify]: iteration 3 : 24 enodes (cost 14 ) 83.260 * * [simplify]: iteration done : 24 enodes (cost 14 ) 83.260 * * [simplify]: iteration 0 : 12 enodes (cost 41 ) 83.262 * * [simplify]: iteration 1 : 28 enodes (cost 39 ) 83.267 * * [simplify]: iteration 2 : 97 enodes (cost 15 ) 83.311 * * [simplify]: iteration 3 : 406 enodes (cost 15 ) 83.807 * * [simplify]: iteration 4 : 1131 enodes (cost 15 ) 85.407 * * [simplify]: iteration 5 : 1560 enodes (cost 15 ) 87.803 * * [simplify]: iteration 6 : 2377 enodes (cost 15 ) 91.666 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 91.667 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 91.668 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 91.670 * * [simplify]: iteration 2 : 22 enodes (cost 14 ) 91.673 * * [simplify]: iteration 3 : 24 enodes (cost 14 ) 91.682 * * [simplify]: iteration done : 24 enodes (cost 14 ) 91.683 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 91.684 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 91.686 * * [simplify]: iteration 2 : 22 enodes (cost 14 ) 91.688 * * [simplify]: iteration 3 : 24 enodes (cost 14 ) 91.691 * * [simplify]: iteration done : 24 enodes (cost 14 ) 91.692 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 91.693 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 91.696 * * [simplify]: iteration 2 : 38 enodes (cost 14 ) 91.702 * * [simplify]: iteration 3 : 60 enodes (cost 14 ) 91.713 * * [simplify]: iteration 4 : 61 enodes (cost 14 ) 91.725 * * [simplify]: iteration done : 61 enodes (cost 14 ) 91.726 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 91.727 * * [simplify]: iteration 1 : 15 enodes (cost 14 ) 91.730 * * [simplify]: iteration 2 : 28 enodes (cost 14 ) 91.734 * * [simplify]: iteration 3 : 44 enodes (cost 14 ) 91.744 * * [simplify]: iteration 4 : 48 enodes (cost 14 ) 91.751 * * [simplify]: iteration done : 48 enodes (cost 14 ) 91.751 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 91.753 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 91.755 * * [simplify]: iteration 2 : 37 enodes (cost 14 ) 91.761 * * [simplify]: iteration 3 : 62 enodes (cost 14 ) 91.774 * * [simplify]: iteration 4 : 64 enodes (cost 14 ) 91.786 * * [simplify]: iteration done : 64 enodes (cost 14 ) 91.787 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 91.788 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 91.790 * * [simplify]: iteration 2 : 30 enodes (cost 14 ) 91.798 * * [simplify]: iteration 3 : 42 enodes (cost 14 ) 91.805 * * [simplify]: iteration 4 : 43 enodes (cost 14 ) 91.811 * * [simplify]: iteration done : 43 enodes (cost 14 ) 91.812 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 91.813 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 91.816 * * [simplify]: iteration 2 : 37 enodes (cost 14 ) 91.822 * * [simplify]: iteration 3 : 63 enodes (cost 14 ) 91.835 * * [simplify]: iteration 4 : 65 enodes (cost 14 ) 91.849 * * [simplify]: iteration done : 65 enodes (cost 14 ) 91.850 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 91.852 * * [simplify]: iteration 1 : 15 enodes (cost 14 ) 91.854 * * [simplify]: iteration 2 : 27 enodes (cost 14 ) 91.858 * * [simplify]: iteration 3 : 43 enodes (cost 14 ) 91.866 * * [simplify]: iteration 4 : 45 enodes (cost 14 ) 91.872 * * [simplify]: iteration done : 45 enodes (cost 14 ) 91.873 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 91.874 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 91.877 * * [simplify]: iteration 2 : 38 enodes (cost 14 ) 91.883 * * [simplify]: iteration 3 : 63 enodes (cost 14 ) 91.895 * * [simplify]: iteration 4 : 64 enodes (cost 14 ) 91.909 * * [simplify]: iteration done : 64 enodes (cost 14 ) 91.910 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 91.911 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 91.913 * * [simplify]: iteration 2 : 32 enodes (cost 14 ) 91.919 * * [simplify]: iteration 3 : 42 enodes (cost 14 ) 91.926 * * [simplify]: iteration done : 42 enodes (cost 14 ) 91.927 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 91.927 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 91.928 * * [simplify]: iteration done : 7 enodes (cost 6 ) 91.929 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 91.930 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 91.932 * * [simplify]: iteration 2 : 22 enodes (cost 14 ) 91.934 * * [simplify]: iteration done : 22 enodes (cost 14 ) 91.935 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 91.936 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 91.938 * * [simplify]: iteration 2 : 22 enodes (cost 14 ) 91.941 * * [simplify]: iteration done : 22 enodes (cost 14 ) 91.941 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 91.943 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 91.944 * * [simplify]: iteration 2 : 21 enodes (cost 13 ) 91.947 * * [simplify]: iteration done : 21 enodes (cost 13 ) 91.948 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 91.949 * * [simplify]: iteration 1 : 21 enodes (cost 23 ) 91.952 * * [simplify]: iteration 2 : 40 enodes (cost 23 ) 91.957 * * [simplify]: iteration 3 : 59 enodes (cost 15 ) 91.968 * * [simplify]: iteration 4 : 73 enodes (cost 14 ) 92.000 * * [simplify]: iteration 5 : 207 enodes (cost 13 ) 92.532 * * [simplify]: iteration 6 : 850 enodes (cost 11 ) 93.989 * * [simplify]: iteration 7 : 1566 enodes (cost 9 ) 101.044 * * [simplify]: iteration 8 : 3752 enodes (cost 9 ) 103.291 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 103.292 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 103.293 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 103.297 * * [simplify]: iteration 2 : 57 enodes (cost 11 ) 103.308 * * [simplify]: iteration 3 : 125 enodes (cost 11 ) 103.350 * * [simplify]: iteration 4 : 270 enodes (cost 11 ) 103.475 * * [simplify]: iteration 5 : 629 enodes (cost 11 ) 104.316 * * [simplify]: iteration 6 : 2017 enodes (cost 11 ) 106.839 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 106.840 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 106.840 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 106.841 * * [simplify]: iteration done : 8 enodes (cost 6 ) 106.842 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 106.843 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 106.844 * * [simplify]: iteration done : 8 enodes (cost 6 ) 106.845 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 106.847 * * [simplify]: iteration 1 : 34 enodes (cost 17 ) 106.854 * * [simplify]: iteration 2 : 87 enodes (cost 17 ) 106.873 * * [simplify]: iteration 3 : 145 enodes (cost 17 ) 106.906 * * [simplify]: iteration 4 : 256 enodes (cost 15 ) 106.991 * * [simplify]: iteration 5 : 399 enodes (cost 15 ) 107.106 * * [simplify]: iteration 6 : 642 enodes (cost 15 ) 107.443 * * [simplify]: iteration 7 : 1223 enodes (cost 15 ) 108.527 * * [simplify]: iteration 8 : 2804 enodes (cost 15 ) 110.401 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 110.402 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 110.403 * * [simplify]: iteration 1 : 11 enodes (cost 11 ) 110.404 * * [simplify]: iteration done : 11 enodes (cost 11 ) 110.404 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 110.405 * * [simplify]: iteration 1 : 11 enodes (cost 11 ) 110.407 * * [simplify]: iteration done : 11 enodes (cost 11 ) 110.407 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 110.409 * * [simplify]: iteration 1 : 29 enodes (cost 15 ) 110.415 * * [simplify]: iteration 2 : 71 enodes (cost 15 ) 110.423 * * [simplify]: iteration 3 : 124 enodes (cost 15 ) 110.451 * * [simplify]: iteration 4 : 194 enodes (cost 13 ) 110.493 * * [simplify]: iteration 5 : 305 enodes (cost 13 ) 110.592 * * [simplify]: iteration 6 : 515 enodes (cost 13 ) 110.770 * * [simplify]: iteration 7 : 1034 enodes (cost 13 ) 111.855 * * [simplify]: iteration 8 : 2761 enodes (cost 13 ) 113.788 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 113.788 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 113.789 * * [simplify]: iteration 1 : 16 enodes (cost 13 ) 113.791 * * [simplify]: iteration 2 : 22 enodes (cost 13 ) 113.794 * * [simplify]: iteration 3 : 24 enodes (cost 13 ) 113.797 * * [simplify]: iteration done : 24 enodes (cost 13 ) 113.797 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 113.799 * * [simplify]: iteration 1 : 16 enodes (cost 13 ) 113.801 * * [simplify]: iteration 2 : 22 enodes (cost 13 ) 113.808 * * [simplify]: iteration 3 : 24 enodes (cost 13 ) 113.810 * * [simplify]: iteration done : 24 enodes (cost 13 ) 113.811 * [simplify]: Simplified to: (* (sin x) (cos (/ eps 2))) (* (cos x) (sin (/ eps 2))) (log (sin (+ x (/ eps 2)))) (exp (sin (+ x (/ eps 2)))) (* (cbrt (sin (+ x (/ eps 2)))) (cbrt (sin (+ x (/ eps 2))))) (cbrt (sin (+ x (/ eps 2)))) (pow (sin (+ x (/ eps 2))) 3) (sqrt (sin (+ x (/ eps 2)))) (sqrt (sin (+ x (/ eps 2)))) (- (cos x) (cos (+ eps x))) (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))) (+ (log (sin (/ eps 2))) (log (sin (+ x (/ eps 2))))) (log (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (exp (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (pow (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))) 3) (* (cbrt (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (cbrt (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))))) (cbrt (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (pow (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))) 3) (sqrt (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (sqrt (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (* (sqrt (sin (/ eps 2))) (sqrt (sin (+ x (/ eps 2))))) (* (sqrt (sin (/ eps 2))) (sqrt (sin (+ x (/ eps 2))))) (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2)))) (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2)))) (* (* (sin x) (cos (/ eps 2))) (sin (/ eps 2))) (* (* (cos x) (sin (/ eps 2))) (sin (/ eps 2))) (* (sin (/ eps 2)) (* (cbrt (sin (+ x (/ eps 2)))) (cbrt (sin (+ x (/ eps 2)))))) (* (sin (/ eps 2)) (sqrt (sin (+ x (/ eps 2))))) (sin (/ eps 2)) (* (cbrt (sin (/ eps 2))) (sin (+ x (/ eps 2)))) (* (sqrt (sin (/ eps 2))) (sin (+ x (/ eps 2)))) (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))) (* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (+ (log -2) (+ (log (sin (/ eps 2))) (log (sin (+ x (/ eps 2)))))) (+ (log -2) (log (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))))) (log (* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))))) (exp (* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))))) (* -8 (pow (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))) 3)) (* (pow (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))) 3) -8) (* (cbrt (* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))))) (cbrt (* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))))) (cbrt (* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))))) (pow (* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) 3) (sqrt (* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))))) (sqrt (* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))))) (* -2 (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2))))) (* -2 (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (* -2 (* (* (sin x) (cos (/ eps 2))) (sin (/ eps 2)))) (* -2 (* (* (cos x) (sin (/ eps 2))) (sin (/ eps 2)))) (* (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2)))) -2) (* (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2)))) -2) (* (* (* (sin x) (cos (/ eps 2))) (sin (/ eps 2))) -2) (* (* (* (cos x) (sin (/ eps 2))) (sin (/ eps 2))) -2) (* -2 (sin (/ eps 2))) (* (cbrt -2) (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (* (sqrt -2) (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2))))) (* -2 (- (cos x) (cos (+ x eps)))) (- (+ x (* 1/2 eps)) (* 1/6 (pow x 3))) (sin (+ x (* 1/2 eps))) (sin (+ x (* 1/2 eps))) (- (* eps (+ (* 1/2 x) (* 1/4 eps))) (* 1/48 (pow eps 4))) (* (sin (* 1/2 eps)) (sin (+ x (* 1/2 eps)))) (* (sin (* 1/2 eps)) (sin (+ x (* 1/2 eps)))) (+ (* eps (- (* -1/2 eps) x)) (* 1/24 (pow eps 4))) (* -2 (* (sin (* 1/2 eps)) (sin (+ x (* 1/2 eps))))) (* -2 (* (sin (* 1/2 eps)) (sin (+ x (* 1/2 eps))))) 113.811 * * * [progress]: adding candidates to table 113.943 * * [progress]: iteration 3 / 4 113.943 * * * [progress]: picking best candidate 113.993 * * * * [pick]: Picked # 113.993 * * * [progress]: localizing error 114.013 * * * [progress]: generating rewritten candidates 114.013 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 114.022 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 114.036 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2) 114.041 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 114.050 * * * [progress]: generating series expansions 114.050 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 114.050 * [approximate]: Taking taylor expansion of (* (sin x) (* (cos (* 1/2 eps)) (sin (* 1/2 eps)))) in (eps x) around 0 114.050 * [taylor]: Taking taylor expansion of (* (sin x) (* (cos (* 1/2 eps)) (sin (* 1/2 eps)))) in x 114.051 * [taylor]: Taking taylor expansion of (sin x) in x 114.051 * [taylor]: Taking taylor expansion of x in x 114.051 * [taylor]: Taking taylor expansion of (* (cos (* 1/2 eps)) (sin (* 1/2 eps))) in x 114.051 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in x 114.051 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x 114.051 * [taylor]: Taking taylor expansion of 1/2 in x 114.051 * [taylor]: Taking taylor expansion of eps in x 114.051 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x 114.051 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x 114.051 * [taylor]: Taking taylor expansion of 1/2 in x 114.051 * [taylor]: Taking taylor expansion of eps in x 114.051 * [taylor]: Taking taylor expansion of (* (sin x) (* (cos (* 1/2 eps)) (sin (* 1/2 eps)))) in eps 114.051 * [taylor]: Taking taylor expansion of (sin x) in eps 114.051 * [taylor]: Taking taylor expansion of x in eps 114.051 * [taylor]: Taking taylor expansion of (* (cos (* 1/2 eps)) (sin (* 1/2 eps))) in eps 114.051 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps 114.051 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 114.051 * [taylor]: Taking taylor expansion of 1/2 in eps 114.051 * [taylor]: Taking taylor expansion of eps in eps 114.052 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps 114.052 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 114.052 * [taylor]: Taking taylor expansion of 1/2 in eps 114.052 * [taylor]: Taking taylor expansion of eps in eps 114.052 * [taylor]: Taking taylor expansion of (* (sin x) (* (cos (* 1/2 eps)) (sin (* 1/2 eps)))) in eps 114.052 * [taylor]: Taking taylor expansion of (sin x) in eps 114.052 * [taylor]: Taking taylor expansion of x in eps 114.052 * [taylor]: Taking taylor expansion of (* (cos (* 1/2 eps)) (sin (* 1/2 eps))) in eps 114.052 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps 114.052 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 114.052 * [taylor]: Taking taylor expansion of 1/2 in eps 114.052 * [taylor]: Taking taylor expansion of eps in eps 114.052 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps 114.052 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 114.052 * [taylor]: Taking taylor expansion of 1/2 in eps 114.052 * [taylor]: Taking taylor expansion of eps in eps 114.052 * [taylor]: Taking taylor expansion of 0 in x 114.053 * [taylor]: Taking taylor expansion of (* 1/2 (sin x)) in x 114.053 * [taylor]: Taking taylor expansion of 1/2 in x 114.053 * [taylor]: Taking taylor expansion of (sin x) in x 114.053 * [taylor]: Taking taylor expansion of x in x 114.053 * [taylor]: Taking taylor expansion of 0 in x 114.054 * [taylor]: Taking taylor expansion of (neg (* 1/12 (sin x))) in x 114.054 * [taylor]: Taking taylor expansion of (* 1/12 (sin x)) in x 114.054 * [taylor]: Taking taylor expansion of 1/12 in x 114.054 * [taylor]: Taking taylor expansion of (sin x) in x 114.054 * [taylor]: Taking taylor expansion of x in x 114.056 * [taylor]: Taking taylor expansion of 0 in x 114.056 * [approximate]: Taking taylor expansion of (* (sin (/ 1 x)) (* (sin (/ 1/2 eps)) (cos (/ 1/2 eps)))) in (eps x) around 0 114.056 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (* (sin (/ 1/2 eps)) (cos (/ 1/2 eps)))) in x 114.056 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 114.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x 114.056 * [taylor]: Taking taylor expansion of x in x 114.056 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (cos (/ 1/2 eps))) in x 114.056 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x 114.056 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x 114.056 * [taylor]: Taking taylor expansion of 1/2 in x 114.056 * [taylor]: Taking taylor expansion of eps in x 114.056 * [taylor]: Taking taylor expansion of (cos (/ 1/2 eps)) in x 114.056 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x 114.056 * [taylor]: Taking taylor expansion of 1/2 in x 114.056 * [taylor]: Taking taylor expansion of eps in x 114.056 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (* (sin (/ 1/2 eps)) (cos (/ 1/2 eps)))) in eps 114.057 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps 114.057 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 114.057 * [taylor]: Taking taylor expansion of x in eps 114.057 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (cos (/ 1/2 eps))) in eps 114.057 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps 114.057 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 114.057 * [taylor]: Taking taylor expansion of 1/2 in eps 114.057 * [taylor]: Taking taylor expansion of eps in eps 114.057 * [taylor]: Taking taylor expansion of (cos (/ 1/2 eps)) in eps 114.057 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 114.057 * [taylor]: Taking taylor expansion of 1/2 in eps 114.057 * [taylor]: Taking taylor expansion of eps in eps 114.057 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (* (sin (/ 1/2 eps)) (cos (/ 1/2 eps)))) in eps 114.057 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps 114.057 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 114.057 * [taylor]: Taking taylor expansion of x in eps 114.057 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (cos (/ 1/2 eps))) in eps 114.057 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps 114.057 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 114.057 * [taylor]: Taking taylor expansion of 1/2 in eps 114.057 * [taylor]: Taking taylor expansion of eps in eps 114.057 * [taylor]: Taking taylor expansion of (cos (/ 1/2 eps)) in eps 114.057 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 114.057 * [taylor]: Taking taylor expansion of 1/2 in eps 114.057 * [taylor]: Taking taylor expansion of eps in eps 114.058 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (* (sin (/ 1 x)) (cos (/ 1/2 eps)))) in x 114.058 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x 114.058 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x 114.058 * [taylor]: Taking taylor expansion of 1/2 in x 114.058 * [taylor]: Taking taylor expansion of eps in x 114.058 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (cos (/ 1/2 eps))) in x 114.058 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 114.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x 114.058 * [taylor]: Taking taylor expansion of x in x 114.058 * [taylor]: Taking taylor expansion of (cos (/ 1/2 eps)) in x 114.058 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x 114.058 * [taylor]: Taking taylor expansion of 1/2 in x 114.058 * [taylor]: Taking taylor expansion of eps in x 114.059 * [taylor]: Taking taylor expansion of 0 in x 114.060 * [taylor]: Taking taylor expansion of 0 in x 114.062 * [taylor]: Taking taylor expansion of 0 in x 114.062 * [approximate]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (* (cos (/ -1/2 eps)) (sin (/ -1 x)))) in (eps x) around 0 114.062 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (* (cos (/ -1/2 eps)) (sin (/ -1 x)))) in x 114.062 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x 114.062 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x 114.062 * [taylor]: Taking taylor expansion of -1/2 in x 114.062 * [taylor]: Taking taylor expansion of eps in x 114.062 * [taylor]: Taking taylor expansion of (* (cos (/ -1/2 eps)) (sin (/ -1 x))) in x 114.062 * [taylor]: Taking taylor expansion of (cos (/ -1/2 eps)) in x 114.062 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x 114.062 * [taylor]: Taking taylor expansion of -1/2 in x 114.062 * [taylor]: Taking taylor expansion of eps in x 114.062 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 114.062 * [taylor]: Taking taylor expansion of (/ -1 x) in x 114.062 * [taylor]: Taking taylor expansion of -1 in x 114.062 * [taylor]: Taking taylor expansion of x in x 114.063 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (* (cos (/ -1/2 eps)) (sin (/ -1 x)))) in eps 114.063 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps 114.063 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 114.063 * [taylor]: Taking taylor expansion of -1/2 in eps 114.063 * [taylor]: Taking taylor expansion of eps in eps 114.063 * [taylor]: Taking taylor expansion of (* (cos (/ -1/2 eps)) (sin (/ -1 x))) in eps 114.063 * [taylor]: Taking taylor expansion of (cos (/ -1/2 eps)) in eps 114.063 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 114.063 * [taylor]: Taking taylor expansion of -1/2 in eps 114.063 * [taylor]: Taking taylor expansion of eps in eps 114.063 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps 114.063 * [taylor]: Taking taylor expansion of (/ -1 x) in eps 114.063 * [taylor]: Taking taylor expansion of -1 in eps 114.063 * [taylor]: Taking taylor expansion of x in eps 114.063 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (* (cos (/ -1/2 eps)) (sin (/ -1 x)))) in eps 114.063 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps 114.063 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 114.063 * [taylor]: Taking taylor expansion of -1/2 in eps 114.063 * [taylor]: Taking taylor expansion of eps in eps 114.063 * [taylor]: Taking taylor expansion of (* (cos (/ -1/2 eps)) (sin (/ -1 x))) in eps 114.063 * [taylor]: Taking taylor expansion of (cos (/ -1/2 eps)) in eps 114.063 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 114.063 * [taylor]: Taking taylor expansion of -1/2 in eps 114.063 * [taylor]: Taking taylor expansion of eps in eps 114.063 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps 114.063 * [taylor]: Taking taylor expansion of (/ -1 x) in eps 114.063 * [taylor]: Taking taylor expansion of -1 in eps 114.063 * [taylor]: Taking taylor expansion of x in eps 114.064 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (* (sin (/ -1 x)) (cos (/ -1/2 eps)))) in x 114.064 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x 114.064 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x 114.064 * [taylor]: Taking taylor expansion of -1/2 in x 114.064 * [taylor]: Taking taylor expansion of eps in x 114.064 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (cos (/ -1/2 eps))) in x 114.064 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 114.064 * [taylor]: Taking taylor expansion of (/ -1 x) in x 114.064 * [taylor]: Taking taylor expansion of -1 in x 114.064 * [taylor]: Taking taylor expansion of x in x 114.064 * [taylor]: Taking taylor expansion of (cos (/ -1/2 eps)) in x 114.064 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x 114.064 * [taylor]: Taking taylor expansion of -1/2 in x 114.064 * [taylor]: Taking taylor expansion of eps in x 114.065 * [taylor]: Taking taylor expansion of 0 in x 114.067 * [taylor]: Taking taylor expansion of 0 in x 114.069 * [taylor]: Taking taylor expansion of 0 in x 114.069 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 114.069 * [approximate]: Taking taylor expansion of (* (pow (sin (* 1/2 eps)) 2) (cos x)) in (eps x) around 0 114.069 * [taylor]: Taking taylor expansion of (* (pow (sin (* 1/2 eps)) 2) (cos x)) in x 114.069 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in x 114.069 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x 114.069 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x 114.069 * [taylor]: Taking taylor expansion of 1/2 in x 114.069 * [taylor]: Taking taylor expansion of eps in x 114.069 * [taylor]: Taking taylor expansion of (cos x) in x 114.069 * [taylor]: Taking taylor expansion of x in x 114.070 * [taylor]: Taking taylor expansion of (* (pow (sin (* 1/2 eps)) 2) (cos x)) in eps 114.070 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps 114.070 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps 114.070 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 114.070 * [taylor]: Taking taylor expansion of 1/2 in eps 114.070 * [taylor]: Taking taylor expansion of eps in eps 114.070 * [taylor]: Taking taylor expansion of (cos x) in eps 114.070 * [taylor]: Taking taylor expansion of x in eps 114.070 * [taylor]: Taking taylor expansion of (* (pow (sin (* 1/2 eps)) 2) (cos x)) in eps 114.070 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps 114.070 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps 114.070 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 114.070 * [taylor]: Taking taylor expansion of 1/2 in eps 114.070 * [taylor]: Taking taylor expansion of eps in eps 114.070 * [taylor]: Taking taylor expansion of (cos x) in eps 114.070 * [taylor]: Taking taylor expansion of x in eps 114.070 * [taylor]: Taking taylor expansion of (* 1/4 (cos x)) in x 114.070 * [taylor]: Taking taylor expansion of 1/4 in x 114.070 * [taylor]: Taking taylor expansion of (cos x) in x 114.070 * [taylor]: Taking taylor expansion of x in x 114.071 * [taylor]: Taking taylor expansion of 0 in x 114.071 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos x))) in x 114.072 * [taylor]: Taking taylor expansion of (* 1/48 (cos x)) in x 114.072 * [taylor]: Taking taylor expansion of 1/48 in x 114.072 * [taylor]: Taking taylor expansion of (cos x) in x 114.072 * [taylor]: Taking taylor expansion of x in x 114.072 * [approximate]: Taking taylor expansion of (* (cos (/ 1 x)) (pow (sin (/ 1/2 eps)) 2)) in (eps x) around 0 114.072 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (pow (sin (/ 1/2 eps)) 2)) in x 114.072 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 114.072 * [taylor]: Taking taylor expansion of (/ 1 x) in x 114.072 * [taylor]: Taking taylor expansion of x in x 114.073 * [taylor]: Taking taylor expansion of (pow (sin (/ 1/2 eps)) 2) in x 114.073 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x 114.073 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x 114.073 * [taylor]: Taking taylor expansion of 1/2 in x 114.073 * [taylor]: Taking taylor expansion of eps in x 114.073 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (pow (sin (/ 1/2 eps)) 2)) in eps 114.073 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps 114.073 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 114.073 * [taylor]: Taking taylor expansion of x in eps 114.073 * [taylor]: Taking taylor expansion of (pow (sin (/ 1/2 eps)) 2) in eps 114.073 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps 114.073 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 114.073 * [taylor]: Taking taylor expansion of 1/2 in eps 114.073 * [taylor]: Taking taylor expansion of eps in eps 114.073 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (pow (sin (/ 1/2 eps)) 2)) in eps 114.073 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps 114.073 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 114.073 * [taylor]: Taking taylor expansion of x in eps 114.073 * [taylor]: Taking taylor expansion of (pow (sin (/ 1/2 eps)) 2) in eps 114.073 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps 114.073 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 114.073 * [taylor]: Taking taylor expansion of 1/2 in eps 114.073 * [taylor]: Taking taylor expansion of eps in eps 114.074 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1/2 eps)) 2) (cos (/ 1 x))) in x 114.074 * [taylor]: Taking taylor expansion of (pow (sin (/ 1/2 eps)) 2) in x 114.074 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x 114.074 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x 114.074 * [taylor]: Taking taylor expansion of 1/2 in x 114.074 * [taylor]: Taking taylor expansion of eps in x 114.074 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 114.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x 114.074 * [taylor]: Taking taylor expansion of x in x 114.075 * [taylor]: Taking taylor expansion of 0 in x 114.076 * [taylor]: Taking taylor expansion of 0 in x 114.077 * [taylor]: Taking taylor expansion of 0 in x 114.077 * [approximate]: Taking taylor expansion of (* (pow (sin (/ -1/2 eps)) 2) (cos (/ -1 x))) in (eps x) around 0 114.077 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1/2 eps)) 2) (cos (/ -1 x))) in x 114.077 * [taylor]: Taking taylor expansion of (pow (sin (/ -1/2 eps)) 2) in x 114.077 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x 114.077 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x 114.077 * [taylor]: Taking taylor expansion of -1/2 in x 114.078 * [taylor]: Taking taylor expansion of eps in x 114.078 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 114.078 * [taylor]: Taking taylor expansion of (/ -1 x) in x 114.078 * [taylor]: Taking taylor expansion of -1 in x 114.078 * [taylor]: Taking taylor expansion of x in x 114.078 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1/2 eps)) 2) (cos (/ -1 x))) in eps 114.078 * [taylor]: Taking taylor expansion of (pow (sin (/ -1/2 eps)) 2) in eps 114.078 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps 114.078 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 114.078 * [taylor]: Taking taylor expansion of -1/2 in eps 114.078 * [taylor]: Taking taylor expansion of eps in eps 114.078 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps 114.078 * [taylor]: Taking taylor expansion of (/ -1 x) in eps 114.078 * [taylor]: Taking taylor expansion of -1 in eps 114.078 * [taylor]: Taking taylor expansion of x in eps 114.078 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1/2 eps)) 2) (cos (/ -1 x))) in eps 114.078 * [taylor]: Taking taylor expansion of (pow (sin (/ -1/2 eps)) 2) in eps 114.078 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps 114.078 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 114.078 * [taylor]: Taking taylor expansion of -1/2 in eps 114.078 * [taylor]: Taking taylor expansion of eps in eps 114.078 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps 114.078 * [taylor]: Taking taylor expansion of (/ -1 x) in eps 114.078 * [taylor]: Taking taylor expansion of -1 in eps 114.078 * [taylor]: Taking taylor expansion of x in eps 114.079 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1/2 eps)) 2) (cos (/ -1 x))) in x 114.079 * [taylor]: Taking taylor expansion of (pow (sin (/ -1/2 eps)) 2) in x 114.079 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x 114.079 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x 114.079 * [taylor]: Taking taylor expansion of -1/2 in x 114.079 * [taylor]: Taking taylor expansion of eps in x 114.079 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 114.079 * [taylor]: Taking taylor expansion of (/ -1 x) in x 114.079 * [taylor]: Taking taylor expansion of -1 in x 114.079 * [taylor]: Taking taylor expansion of x in x 114.080 * [taylor]: Taking taylor expansion of 0 in x 114.081 * [taylor]: Taking taylor expansion of 0 in x 114.082 * [taylor]: Taking taylor expansion of 0 in x 114.082 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2) 114.082 * [approximate]: Taking taylor expansion of (* (sin x) (cos (* 1/2 eps))) in (x eps) around 0 114.082 * [taylor]: Taking taylor expansion of (* (sin x) (cos (* 1/2 eps))) in eps 114.082 * [taylor]: Taking taylor expansion of (sin x) in eps 114.082 * [taylor]: Taking taylor expansion of x in eps 114.083 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps 114.083 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 114.083 * [taylor]: Taking taylor expansion of 1/2 in eps 114.083 * [taylor]: Taking taylor expansion of eps in eps 114.083 * [taylor]: Taking taylor expansion of (* (sin x) (cos (* 1/2 eps))) in x 114.083 * [taylor]: Taking taylor expansion of (sin x) in x 114.083 * [taylor]: Taking taylor expansion of x in x 114.083 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in x 114.083 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x 114.083 * [taylor]: Taking taylor expansion of 1/2 in x 114.083 * [taylor]: Taking taylor expansion of eps in x 114.083 * [taylor]: Taking taylor expansion of (* (sin x) (cos (* 1/2 eps))) in x 114.083 * [taylor]: Taking taylor expansion of (sin x) in x 114.083 * [taylor]: Taking taylor expansion of x in x 114.083 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in x 114.083 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x 114.083 * [taylor]: Taking taylor expansion of 1/2 in x 114.083 * [taylor]: Taking taylor expansion of eps in x 114.083 * [taylor]: Taking taylor expansion of 0 in eps 114.084 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps 114.084 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 114.084 * [taylor]: Taking taylor expansion of 1/2 in eps 114.084 * [taylor]: Taking taylor expansion of eps in eps 114.084 * [taylor]: Taking taylor expansion of 0 in eps 114.085 * [taylor]: Taking taylor expansion of (neg (* 1/6 (cos (* 1/2 eps)))) in eps 114.085 * [taylor]: Taking taylor expansion of (* 1/6 (cos (* 1/2 eps))) in eps 114.085 * [taylor]: Taking taylor expansion of 1/6 in eps 114.085 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps 114.085 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 114.085 * [taylor]: Taking taylor expansion of 1/2 in eps 114.085 * [taylor]: Taking taylor expansion of eps in eps 114.085 * [approximate]: Taking taylor expansion of (* (sin (/ 1 x)) (cos (/ 1/2 eps))) in (x eps) around 0 114.086 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (cos (/ 1/2 eps))) in eps 114.086 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps 114.086 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 114.086 * [taylor]: Taking taylor expansion of x in eps 114.086 * [taylor]: Taking taylor expansion of (cos (/ 1/2 eps)) in eps 114.086 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 114.086 * [taylor]: Taking taylor expansion of 1/2 in eps 114.086 * [taylor]: Taking taylor expansion of eps in eps 114.086 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (cos (/ 1/2 eps))) in x 114.086 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 114.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x 114.086 * [taylor]: Taking taylor expansion of x in x 114.086 * [taylor]: Taking taylor expansion of (cos (/ 1/2 eps)) in x 114.086 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x 114.086 * [taylor]: Taking taylor expansion of 1/2 in x 114.086 * [taylor]: Taking taylor expansion of eps in x 114.086 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (cos (/ 1/2 eps))) in x 114.086 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 114.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x 114.086 * [taylor]: Taking taylor expansion of x in x 114.086 * [taylor]: Taking taylor expansion of (cos (/ 1/2 eps)) in x 114.086 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x 114.086 * [taylor]: Taking taylor expansion of 1/2 in x 114.086 * [taylor]: Taking taylor expansion of eps in x 114.087 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (cos (/ 1/2 eps))) in eps 114.087 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps 114.087 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 114.087 * [taylor]: Taking taylor expansion of x in eps 114.087 * [taylor]: Taking taylor expansion of (cos (/ 1/2 eps)) in eps 114.087 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 114.087 * [taylor]: Taking taylor expansion of 1/2 in eps 114.087 * [taylor]: Taking taylor expansion of eps in eps 114.087 * [taylor]: Taking taylor expansion of 0 in eps 114.088 * [taylor]: Taking taylor expansion of 0 in eps 114.089 * [taylor]: Taking taylor expansion of 0 in eps 114.089 * [approximate]: Taking taylor expansion of (* (sin (/ -1 x)) (cos (/ -1/2 eps))) in (x eps) around 0 114.089 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (cos (/ -1/2 eps))) in eps 114.089 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps 114.089 * [taylor]: Taking taylor expansion of (/ -1 x) in eps 114.089 * [taylor]: Taking taylor expansion of -1 in eps 114.089 * [taylor]: Taking taylor expansion of x in eps 114.090 * [taylor]: Taking taylor expansion of (cos (/ -1/2 eps)) in eps 114.090 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 114.090 * [taylor]: Taking taylor expansion of -1/2 in eps 114.090 * [taylor]: Taking taylor expansion of eps in eps 114.090 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (cos (/ -1/2 eps))) in x 114.090 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 114.090 * [taylor]: Taking taylor expansion of (/ -1 x) in x 114.090 * [taylor]: Taking taylor expansion of -1 in x 114.090 * [taylor]: Taking taylor expansion of x in x 114.090 * [taylor]: Taking taylor expansion of (cos (/ -1/2 eps)) in x 114.090 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x 114.090 * [taylor]: Taking taylor expansion of -1/2 in x 114.090 * [taylor]: Taking taylor expansion of eps in x 114.090 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (cos (/ -1/2 eps))) in x 114.090 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 114.090 * [taylor]: Taking taylor expansion of (/ -1 x) in x 114.090 * [taylor]: Taking taylor expansion of -1 in x 114.090 * [taylor]: Taking taylor expansion of x in x 114.090 * [taylor]: Taking taylor expansion of (cos (/ -1/2 eps)) in x 114.090 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x 114.090 * [taylor]: Taking taylor expansion of -1/2 in x 114.090 * [taylor]: Taking taylor expansion of eps in x 114.090 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (cos (/ -1/2 eps))) in eps 114.090 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps 114.090 * [taylor]: Taking taylor expansion of (/ -1 x) in eps 114.091 * [taylor]: Taking taylor expansion of -1 in eps 114.091 * [taylor]: Taking taylor expansion of x in eps 114.091 * [taylor]: Taking taylor expansion of (cos (/ -1/2 eps)) in eps 114.091 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 114.091 * [taylor]: Taking taylor expansion of -1/2 in eps 114.091 * [taylor]: Taking taylor expansion of eps in eps 114.091 * [taylor]: Taking taylor expansion of 0 in eps 114.092 * [taylor]: Taking taylor expansion of 0 in eps 114.093 * [taylor]: Taking taylor expansion of 0 in eps 114.093 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 114.093 * [approximate]: Taking taylor expansion of (* (sin (* 1/2 eps)) (cos x)) in (x eps) around 0 114.093 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (cos x)) in eps 114.093 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps 114.093 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 114.093 * [taylor]: Taking taylor expansion of 1/2 in eps 114.093 * [taylor]: Taking taylor expansion of eps in eps 114.093 * [taylor]: Taking taylor expansion of (cos x) in eps 114.094 * [taylor]: Taking taylor expansion of x in eps 114.094 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (cos x)) in x 114.094 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x 114.094 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x 114.094 * [taylor]: Taking taylor expansion of 1/2 in x 114.094 * [taylor]: Taking taylor expansion of eps in x 114.094 * [taylor]: Taking taylor expansion of (cos x) in x 114.094 * [taylor]: Taking taylor expansion of x in x 114.094 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (cos x)) in x 114.094 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x 114.094 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x 114.094 * [taylor]: Taking taylor expansion of 1/2 in x 114.094 * [taylor]: Taking taylor expansion of eps in x 114.094 * [taylor]: Taking taylor expansion of (cos x) in x 114.094 * [taylor]: Taking taylor expansion of x in x 114.094 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps 114.094 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 114.094 * [taylor]: Taking taylor expansion of 1/2 in eps 114.094 * [taylor]: Taking taylor expansion of eps in eps 114.095 * [taylor]: Taking taylor expansion of 0 in eps 114.095 * [taylor]: Taking taylor expansion of (neg (* 1/2 (sin (* 1/2 eps)))) in eps 114.095 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/2 eps))) in eps 114.095 * [taylor]: Taking taylor expansion of 1/2 in eps 114.095 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps 114.095 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 114.095 * [taylor]: Taking taylor expansion of 1/2 in eps 114.095 * [taylor]: Taking taylor expansion of eps in eps 114.096 * [taylor]: Taking taylor expansion of 0 in eps 114.097 * [approximate]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (cos (/ 1 x))) in (x eps) around 0 114.097 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (cos (/ 1 x))) in eps 114.097 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps 114.097 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 114.097 * [taylor]: Taking taylor expansion of 1/2 in eps 114.097 * [taylor]: Taking taylor expansion of eps in eps 114.097 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps 114.097 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 114.097 * [taylor]: Taking taylor expansion of x in eps 114.097 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (cos (/ 1 x))) in x 114.097 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x 114.097 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x 114.097 * [taylor]: Taking taylor expansion of 1/2 in x 114.097 * [taylor]: Taking taylor expansion of eps in x 114.097 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 114.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x 114.097 * [taylor]: Taking taylor expansion of x in x 114.097 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (cos (/ 1 x))) in x 114.097 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x 114.097 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x 114.098 * [taylor]: Taking taylor expansion of 1/2 in x 114.098 * [taylor]: Taking taylor expansion of eps in x 114.098 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 114.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x 114.098 * [taylor]: Taking taylor expansion of x in x 114.098 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (sin (/ 1/2 eps))) in eps 114.098 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps 114.098 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 114.098 * [taylor]: Taking taylor expansion of x in eps 114.098 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps 114.098 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 114.098 * [taylor]: Taking taylor expansion of 1/2 in eps 114.098 * [taylor]: Taking taylor expansion of eps in eps 114.099 * [taylor]: Taking taylor expansion of 0 in eps 114.099 * [taylor]: Taking taylor expansion of 0 in eps 114.100 * [taylor]: Taking taylor expansion of 0 in eps 114.101 * [approximate]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (/ -1 x))) in (x eps) around 0 114.101 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (/ -1 x))) in eps 114.101 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps 114.101 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 114.101 * [taylor]: Taking taylor expansion of -1/2 in eps 114.101 * [taylor]: Taking taylor expansion of eps in eps 114.101 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps 114.101 * [taylor]: Taking taylor expansion of (/ -1 x) in eps 114.101 * [taylor]: Taking taylor expansion of -1 in eps 114.101 * [taylor]: Taking taylor expansion of x in eps 114.101 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (/ -1 x))) in x 114.101 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x 114.101 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x 114.101 * [taylor]: Taking taylor expansion of -1/2 in x 114.101 * [taylor]: Taking taylor expansion of eps in x 114.101 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 114.101 * [taylor]: Taking taylor expansion of (/ -1 x) in x 114.101 * [taylor]: Taking taylor expansion of -1 in x 114.101 * [taylor]: Taking taylor expansion of x in x 114.101 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (/ -1 x))) in x 114.101 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x 114.101 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x 114.101 * [taylor]: Taking taylor expansion of -1/2 in x 114.101 * [taylor]: Taking taylor expansion of eps in x 114.101 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 114.101 * [taylor]: Taking taylor expansion of (/ -1 x) in x 114.102 * [taylor]: Taking taylor expansion of -1 in x 114.102 * [taylor]: Taking taylor expansion of x in x 114.102 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (/ -1 x))) in eps 114.102 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps 114.102 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 114.102 * [taylor]: Taking taylor expansion of -1/2 in eps 114.102 * [taylor]: Taking taylor expansion of eps in eps 114.102 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps 114.102 * [taylor]: Taking taylor expansion of (/ -1 x) in eps 114.102 * [taylor]: Taking taylor expansion of -1 in eps 114.102 * [taylor]: Taking taylor expansion of x in eps 114.103 * [taylor]: Taking taylor expansion of 0 in eps 114.103 * [taylor]: Taking taylor expansion of 0 in eps 114.104 * [taylor]: Taking taylor expansion of 0 in eps 114.105 * * * [progress]: simplifying candidates 114.106 * [simplify]: Simplifying using # : (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2)))) (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2)))) (+ (log (sin (/ eps 2))) (+ (log (sin x)) (log (cos (/ eps 2))))) (+ (log (sin (/ eps 2))) (log (* (sin x) (cos (/ eps 2))))) (log (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2))))) (exp (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2))))) (* (* (* (sin (/ eps 2)) (sin (/ eps 2))) (sin (/ eps 2))) (* (* (* (sin x) (sin x)) (sin x)) (* (* (cos (/ eps 2)) (cos (/ eps 2))) (cos (/ eps 2))))) (* (* (* (sin (/ eps 2)) (sin (/ eps 2))) (sin (/ eps 2))) (* (* (* (sin x) (cos (/ eps 2))) (* (sin x) (cos (/ eps 2)))) (* (sin x) (cos (/ eps 2))))) (* (cbrt (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2))))) (cbrt (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2)))))) (cbrt (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2))))) (* (* (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2)))) (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2))))) (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2))))) (sqrt (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2))))) (sqrt (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2))))) (* (sin (/ eps 2)) (sin x)) (* (cbrt (sin (/ eps 2))) (* (sin x) (cos (/ eps 2)))) (* (sqrt (sin (/ eps 2))) (* (sin x) (cos (/ eps 2)))) (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2)))) (* (sin (/ eps 2)) (+ (sin (- x (/ eps 2))) (sin (+ x (/ eps 2))))) (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2)))) (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2)))) (+ (log (sin (/ eps 2))) (+ (log (cos x)) (log (sin (/ eps 2))))) (+ (log (sin (/ eps 2))) (log (* (cos x) (sin (/ eps 2))))) (log (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (exp (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (* (* (* (sin (/ eps 2)) (sin (/ eps 2))) (sin (/ eps 2))) (* (* (* (cos x) (cos x)) (cos x)) (* (* (sin (/ eps 2)) (sin (/ eps 2))) (sin (/ eps 2))))) (* (* (* (sin (/ eps 2)) (sin (/ eps 2))) (sin (/ eps 2))) (* (* (* (cos x) (sin (/ eps 2))) (* (cos x) (sin (/ eps 2)))) (* (cos x) (sin (/ eps 2))))) (* (cbrt (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (cbrt (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2)))))) (cbrt (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (* (* (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2)))) (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (sqrt (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (sqrt (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (* (sin (/ eps 2)) (cos x)) (* (cbrt (sin (/ eps 2))) (* (cos x) (sin (/ eps 2)))) (* (sqrt (sin (/ eps 2))) (* (cos x) (sin (/ eps 2)))) (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2)))) (+ (sin (- x (/ eps 2))) (sin (+ x (/ eps 2)))) (* (sin x) (cos (/ eps 2))) (+ (log (sin x)) (log (cos (/ eps 2)))) (log (* (sin x) (cos (/ eps 2)))) (exp (* (sin x) (cos (/ eps 2)))) (* (* (* (sin x) (sin x)) (sin x)) (* (* (cos (/ eps 2)) (cos (/ eps 2))) (cos (/ eps 2)))) (* (cbrt (* (sin x) (cos (/ eps 2)))) (cbrt (* (sin x) (cos (/ eps 2))))) (cbrt (* (sin x) (cos (/ eps 2)))) (* (* (* (sin x) (cos (/ eps 2))) (* (sin x) (cos (/ eps 2)))) (* (sin x) (cos (/ eps 2)))) (sqrt (* (sin x) (cos (/ eps 2)))) (sqrt (* (sin x) (cos (/ eps 2)))) (* (sqrt (sin x)) (sqrt (cos (/ eps 2)))) (* (sqrt (sin x)) (sqrt (cos (/ eps 2)))) (* (sin x) (* (cbrt (cos (/ eps 2))) (cbrt (cos (/ eps 2))))) (* (sin x) (sqrt (cos (/ eps 2)))) (* (sin x) 1) (* (cbrt (sin x)) (cos (/ eps 2))) (* (sqrt (sin x)) (cos (/ eps 2))) (* (sin x) (cos (/ eps 2))) (* (cos x) (sin (/ eps 2))) (+ (log (cos x)) (log (sin (/ eps 2)))) (log (* (cos x) (sin (/ eps 2)))) (exp (* (cos x) (sin (/ eps 2)))) (* (* (* (cos x) (cos x)) (cos x)) (* (* (sin (/ eps 2)) (sin (/ eps 2))) (sin (/ eps 2)))) (* (cbrt (* (cos x) (sin (/ eps 2)))) (cbrt (* (cos x) (sin (/ eps 2))))) (cbrt (* (cos x) (sin (/ eps 2)))) (* (* (* (cos x) (sin (/ eps 2))) (* (cos x) (sin (/ eps 2)))) (* (cos x) (sin (/ eps 2)))) (sqrt (* (cos x) (sin (/ eps 2)))) (sqrt (* (cos x) (sin (/ eps 2)))) (* (sqrt (cos x)) (sqrt (sin (/ eps 2)))) (* (sqrt (cos x)) (sqrt (sin (/ eps 2)))) (* (cos x) (* (cbrt (sin (/ eps 2))) (cbrt (sin (/ eps 2))))) (* (cos x) (sqrt (sin (/ eps 2)))) (* (cos x) 1) (* (cbrt (cos x)) (sin (/ eps 2))) (* (sqrt (cos x)) (sin (/ eps 2))) (* (cos x) (sin (/ eps 2))) (* 1/2 (* x eps)) (* (sin x) (* (cos (* 1/2 eps)) (sin (* 1/2 eps)))) (* (sin x) (* (cos (* 1/2 eps)) (sin (* 1/2 eps)))) (- (* 1/4 (pow eps 2)) (+ (* 1/8 (* (pow x 2) (pow eps 2))) (* 1/48 (pow eps 4)))) (* (pow (sin (* 1/2 eps)) 2) (cos x)) (* (pow (sin (* 1/2 eps)) 2) (cos x)) (- x (+ (* 1/8 (* x (pow eps 2))) (* 1/6 (pow x 3)))) (* (sin x) (cos (* 1/2 eps))) (* (sin x) (cos (* 1/2 eps))) (- (* 1/2 eps) (+ (* 1/4 (* (pow x 2) eps)) (* 1/48 (pow eps 3)))) (* (sin (* 1/2 eps)) (cos x)) (* (sin (* 1/2 eps)) (cos x)) 114.107 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 114.108 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 114.109 * * [simplify]: iteration 2 : 19 enodes (cost 12 ) 114.112 * * [simplify]: iteration done : 19 enodes (cost 12 ) 114.113 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 114.114 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 114.116 * * [simplify]: iteration 2 : 19 enodes (cost 12 ) 114.118 * * [simplify]: iteration done : 19 enodes (cost 12 ) 114.119 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 114.120 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 114.122 * * [simplify]: iteration 2 : 22 enodes (cost 15 ) 114.124 * * [simplify]: iteration 3 : 24 enodes (cost 15 ) 114.127 * * [simplify]: iteration done : 24 enodes (cost 15 ) 114.128 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 114.129 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 114.135 * * [simplify]: iteration 2 : 21 enodes (cost 14 ) 114.137 * * [simplify]: iteration 3 : 25 enodes (cost 14 ) 114.140 * * [simplify]: iteration done : 25 enodes (cost 14 ) 114.141 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 114.142 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 114.144 * * [simplify]: iteration 2 : 30 enodes (cost 13 ) 114.147 * * [simplify]: iteration 3 : 42 enodes (cost 13 ) 114.152 * * [simplify]: iteration 4 : 44 enodes (cost 13 ) 114.157 * * [simplify]: iteration done : 44 enodes (cost 13 ) 114.157 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 114.158 * * [simplify]: iteration 1 : 16 enodes (cost 13 ) 114.161 * * [simplify]: iteration 2 : 29 enodes (cost 13 ) 114.165 * * [simplify]: iteration 3 : 54 enodes (cost 13 ) 114.173 * * [simplify]: iteration 4 : 111 enodes (cost 13 ) 114.196 * * [simplify]: iteration 5 : 250 enodes (cost 13 ) 114.315 * * [simplify]: iteration 6 : 613 enodes (cost 13 ) 114.955 * * [simplify]: iteration 7 : 1805 enodes (cost 13 ) 117.264 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 117.265 * * [simplify]: iteration 0 : 15 enodes (cost 38 ) 117.272 * * [simplify]: iteration 1 : 28 enodes (cost 38 ) 117.278 * * [simplify]: iteration 2 : 94 enodes (cost 18 ) 117.311 * * [simplify]: iteration 3 : 330 enodes (cost 18 ) 117.595 * * [simplify]: iteration 4 : 1078 enodes (cost 16 ) 119.448 * * [simplify]: iteration 5 : 2960 enodes (cost 16 ) 121.804 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 121.805 * * [simplify]: iteration 0 : 13 enodes (cost 38 ) 121.807 * * [simplify]: iteration 1 : 30 enodes (cost 38 ) 121.813 * * [simplify]: iteration 2 : 98 enodes (cost 16 ) 121.856 * * [simplify]: iteration 3 : 375 enodes (cost 16 ) 122.240 * * [simplify]: iteration 4 : 1062 enodes (cost 14 ) 124.321 * * [simplify]: iteration 5 : 2036 enodes (cost 14 ) 129.668 * * [simplify]: iteration 6 : 4908 enodes (cost 14 ) 130.912 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 130.913 * * [simplify]: iteration 0 : 11 enodes (cost 27 ) 130.914 * * [simplify]: iteration 1 : 15 enodes (cost 27 ) 130.922 * * [simplify]: iteration 2 : 21 enodes (cost 27 ) 130.924 * * [simplify]: iteration done : 21 enodes (cost 27 ) 130.925 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 130.926 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 130.928 * * [simplify]: iteration 2 : 20 enodes (cost 13 ) 130.930 * * [simplify]: iteration done : 20 enodes (cost 13 ) 130.931 * * [simplify]: iteration 0 : 11 enodes (cost 38 ) 130.932 * * [simplify]: iteration 1 : 25 enodes (cost 38 ) 130.938 * * [simplify]: iteration 2 : 96 enodes (cost 14 ) 130.988 * * [simplify]: iteration 3 : 413 enodes (cost 14 ) 131.558 * * [simplify]: iteration 4 : 1216 enodes (cost 14 ) 133.213 * * [simplify]: iteration 5 : 1700 enodes (cost 14 ) 135.969 * * [simplify]: iteration 6 : 3151 enodes (cost 14 ) 137.851 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 137.852 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 137.853 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 137.855 * * [simplify]: iteration 2 : 20 enodes (cost 13 ) 137.858 * * [simplify]: iteration done : 20 enodes (cost 13 ) 137.859 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 137.860 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 137.862 * * [simplify]: iteration 2 : 20 enodes (cost 13 ) 137.864 * * [simplify]: iteration done : 20 enodes (cost 13 ) 137.865 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 137.865 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 137.866 * * [simplify]: iteration done : 8 enodes (cost 7 ) 137.868 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 137.869 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 137.870 * * [simplify]: iteration 2 : 20 enodes (cost 13 ) 137.873 * * [simplify]: iteration 3 : 22 enodes (cost 13 ) 137.875 * * [simplify]: iteration done : 22 enodes (cost 13 ) 137.876 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 137.877 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 137.878 * * [simplify]: iteration 2 : 20 enodes (cost 13 ) 137.881 * * [simplify]: iteration 3 : 22 enodes (cost 13 ) 137.883 * * [simplify]: iteration done : 22 enodes (cost 13 ) 137.887 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 137.888 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 137.889 * * [simplify]: iteration 2 : 19 enodes (cost 12 ) 137.892 * * [simplify]: iteration done : 19 enodes (cost 12 ) 137.892 * * [simplify]: iteration 0 : 11 enodes (cost 18 ) 137.894 * * [simplify]: iteration 1 : 22 enodes (cost 18 ) 137.896 * * [simplify]: iteration 2 : 26 enodes (cost 18 ) 137.899 * * [simplify]: iteration done : 26 enodes (cost 18 ) 137.900 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 137.901 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 137.902 * * [simplify]: iteration 2 : 13 enodes (cost 12 ) 137.903 * * [simplify]: iteration done : 13 enodes (cost 12 ) 137.904 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 137.905 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 137.906 * * [simplify]: iteration 2 : 13 enodes (cost 12 ) 137.908 * * [simplify]: iteration done : 13 enodes (cost 12 ) 137.908 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 137.910 * * [simplify]: iteration 1 : 12 enodes (cost 15 ) 137.911 * * [simplify]: iteration 2 : 15 enodes (cost 15 ) 137.913 * * [simplify]: iteration 3 : 16 enodes (cost 11 ) 137.914 * * [simplify]: iteration 4 : 17 enodes (cost 11 ) 137.917 * * [simplify]: iteration done : 17 enodes (cost 11 ) 137.917 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 137.918 * * [simplify]: iteration 1 : 14 enodes (cost 14 ) 137.920 * * [simplify]: iteration 2 : 17 enodes (cost 14 ) 137.922 * * [simplify]: iteration 3 : 19 enodes (cost 11 ) 137.924 * * [simplify]: iteration 4 : 20 enodes (cost 11 ) 137.926 * * [simplify]: iteration done : 20 enodes (cost 11 ) 137.926 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 137.927 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 137.929 * * [simplify]: iteration 2 : 21 enodes (cost 13 ) 137.931 * * [simplify]: iteration 3 : 27 enodes (cost 13 ) 137.935 * * [simplify]: iteration 4 : 28 enodes (cost 11 ) 137.938 * * [simplify]: iteration 5 : 29 enodes (cost 11 ) 137.941 * * [simplify]: iteration done : 29 enodes (cost 11 ) 137.941 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 137.942 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 137.944 * * [simplify]: iteration 2 : 21 enodes (cost 13 ) 137.946 * * [simplify]: iteration 3 : 39 enodes (cost 13 ) 137.953 * * [simplify]: iteration 4 : 83 enodes (cost 13 ) 137.968 * * [simplify]: iteration 5 : 189 enodes (cost 13 ) 138.051 * * [simplify]: iteration 6 : 473 enodes (cost 13 ) 138.518 * * [simplify]: iteration 7 : 1456 enodes (cost 13 ) 140.859 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 140.860 * * [simplify]: iteration 0 : 12 enodes (cost 38 ) 140.861 * * [simplify]: iteration 1 : 22 enodes (cost 38 ) 140.865 * * [simplify]: iteration 2 : 69 enodes (cost 18 ) 140.890 * * [simplify]: iteration 3 : 199 enodes (cost 11 ) 141.010 * * [simplify]: iteration 4 : 412 enodes (cost 11 ) 141.392 * * [simplify]: iteration 5 : 1060 enodes (cost 11 ) 143.790 * * [simplify]: iteration 6 : 3774 enodes (cost 11 ) 146.017 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 146.018 * * [simplify]: iteration 0 : 12 enodes (cost 38 ) 146.020 * * [simplify]: iteration 1 : 28 enodes (cost 38 ) 146.027 * * [simplify]: iteration 2 : 92 enodes (cost 16 ) 146.078 * * [simplify]: iteration 3 : 244 enodes (cost 16 ) 146.256 * * [simplify]: iteration 4 : 427 enodes (cost 14 ) 146.703 * * [simplify]: iteration 5 : 1001 enodes (cost 11 ) 148.681 * * [simplify]: iteration 6 : 3083 enodes (cost 11 ) 150.958 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 150.959 * * [simplify]: iteration 0 : 10 enodes (cost 27 ) 150.960 * * [simplify]: iteration 1 : 12 enodes (cost 27 ) 150.961 * * [simplify]: iteration 2 : 15 enodes (cost 27 ) 150.963 * * [simplify]: iteration done : 15 enodes (cost 27 ) 150.964 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 150.965 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 150.966 * * [simplify]: iteration 2 : 14 enodes (cost 13 ) 150.967 * * [simplify]: iteration done : 14 enodes (cost 13 ) 150.968 * * [simplify]: iteration 0 : 10 enodes (cost 38 ) 150.969 * * [simplify]: iteration 1 : 22 enodes (cost 38 ) 150.974 * * [simplify]: iteration 2 : 70 enodes (cost 14 ) 151.004 * * [simplify]: iteration 3 : 182 enodes (cost 14 ) 151.124 * * [simplify]: iteration 4 : 350 enodes (cost 14 ) 151.359 * * [simplify]: iteration 5 : 544 enodes (cost 11 ) 151.919 * * [simplify]: iteration 6 : 1348 enodes (cost 11 ) 155.165 * * [simplify]: iteration 7 : 4440 enodes (cost 11 ) 157.125 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 157.126 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 157.127 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 157.128 * * [simplify]: iteration 2 : 14 enodes (cost 13 ) 157.129 * * [simplify]: iteration done : 14 enodes (cost 13 ) 157.130 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 157.131 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 157.132 * * [simplify]: iteration 2 : 14 enodes (cost 13 ) 157.134 * * [simplify]: iteration done : 14 enodes (cost 13 ) 157.134 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 157.135 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 157.143 * * [simplify]: iteration done : 8 enodes (cost 7 ) 157.143 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 157.144 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 157.146 * * [simplify]: iteration 2 : 19 enodes (cost 13 ) 157.148 * * [simplify]: iteration done : 19 enodes (cost 13 ) 157.149 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 157.150 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 157.151 * * [simplify]: iteration 2 : 19 enodes (cost 13 ) 157.153 * * [simplify]: iteration done : 19 enodes (cost 13 ) 157.154 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 157.155 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 157.156 * * [simplify]: iteration 2 : 13 enodes (cost 12 ) 157.158 * * [simplify]: iteration done : 13 enodes (cost 12 ) 157.159 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 157.160 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 157.161 * * [simplify]: iteration 2 : 16 enodes (cost 13 ) 157.162 * * [simplify]: iteration done : 16 enodes (cost 13 ) 157.163 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 157.164 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 157.165 * * [simplify]: iteration done : 8 enodes (cost 7 ) 157.165 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 157.166 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 157.167 * * [simplify]: iteration done : 10 enodes (cost 9 ) 157.168 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 157.169 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 157.170 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 157.171 * * [simplify]: iteration done : 13 enodes (cost 8 ) 157.172 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 157.172 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 157.174 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 157.175 * * [simplify]: iteration 3 : 24 enodes (cost 8 ) 157.178 * * [simplify]: iteration 4 : 47 enodes (cost 8 ) 157.185 * * [simplify]: iteration 5 : 103 enodes (cost 8 ) 157.222 * * [simplify]: iteration 6 : 240 enodes (cost 8 ) 157.369 * * [simplify]: iteration 7 : 702 enodes (cost 8 ) 158.482 * * [simplify]: iteration 8 : 2708 enodes (cost 8 ) 160.252 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 160.253 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 160.255 * * [simplify]: iteration 1 : 18 enodes (cost 23 ) 160.258 * * [simplify]: iteration 2 : 43 enodes (cost 11 ) 160.266 * * [simplify]: iteration 3 : 79 enodes (cost 11 ) 160.286 * * [simplify]: iteration 4 : 135 enodes (cost 9 ) 160.337 * * [simplify]: iteration 5 : 260 enodes (cost 9 ) 160.481 * * [simplify]: iteration 6 : 659 enodes (cost 9 ) 161.404 * * [simplify]: iteration 7 : 2458 enodes (cost 9 ) 163.039 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 163.040 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 163.041 * * [simplify]: iteration 1 : 10 enodes (cost 17 ) 163.042 * * [simplify]: iteration done : 10 enodes (cost 17 ) 163.042 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 163.043 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 163.044 * * [simplify]: iteration done : 9 enodes (cost 8 ) 163.045 * * [simplify]: iteration 0 : 9 enodes (cost 23 ) 163.046 * * [simplify]: iteration 1 : 20 enodes (cost 23 ) 163.050 * * [simplify]: iteration 2 : 49 enodes (cost 9 ) 163.063 * * [simplify]: iteration 3 : 91 enodes (cost 9 ) 163.086 * * [simplify]: iteration 4 : 107 enodes (cost 9 ) 163.118 * * [simplify]: iteration 5 : 153 enodes (cost 9 ) 163.181 * * [simplify]: iteration 6 : 295 enodes (cost 9 ) 163.351 * * [simplify]: iteration 7 : 747 enodes (cost 9 ) 164.419 * * [simplify]: iteration 8 : 2750 enodes (cost 9 ) 166.483 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 166.483 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 166.484 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 166.486 * * [simplify]: iteration done : 9 enodes (cost 8 ) 166.486 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 166.487 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 166.488 * * [simplify]: iteration done : 9 enodes (cost 8 ) 166.488 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 166.489 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 166.494 * * [simplify]: iteration done : 10 enodes (cost 9 ) 166.495 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 166.496 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 166.497 * * [simplify]: iteration done : 10 enodes (cost 9 ) 166.497 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 166.498 * * [simplify]: iteration 1 : 12 enodes (cost 14 ) 166.500 * * [simplify]: iteration 2 : 14 enodes (cost 14 ) 166.501 * * [simplify]: iteration done : 14 enodes (cost 14 ) 166.502 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 166.502 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 166.503 * * [simplify]: iteration done : 9 enodes (cost 8 ) 166.504 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 166.504 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 166.505 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 166.506 * * [simplify]: iteration done : 10 enodes (cost 2 ) 166.506 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 166.507 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 166.508 * * [simplify]: iteration done : 9 enodes (cost 8 ) 166.509 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 166.509 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 166.510 * * [simplify]: iteration done : 9 enodes (cost 8 ) 166.511 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 166.511 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 166.512 * * [simplify]: iteration done : 8 enodes (cost 7 ) 166.513 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 166.513 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 166.514 * * [simplify]: iteration done : 8 enodes (cost 7 ) 166.515 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 166.516 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 166.517 * * [simplify]: iteration done : 10 enodes (cost 9 ) 166.517 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 166.518 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 166.519 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 166.520 * * [simplify]: iteration done : 13 enodes (cost 8 ) 166.521 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 166.522 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 166.523 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 166.525 * * [simplify]: iteration 3 : 24 enodes (cost 8 ) 166.528 * * [simplify]: iteration 4 : 47 enodes (cost 8 ) 166.536 * * [simplify]: iteration 5 : 103 enodes (cost 8 ) 166.572 * * [simplify]: iteration 6 : 240 enodes (cost 8 ) 166.722 * * [simplify]: iteration 7 : 702 enodes (cost 8 ) 167.815 * * [simplify]: iteration 8 : 2708 enodes (cost 8 ) 169.564 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 169.565 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 169.566 * * [simplify]: iteration 1 : 18 enodes (cost 23 ) 169.569 * * [simplify]: iteration 2 : 43 enodes (cost 11 ) 169.578 * * [simplify]: iteration 3 : 79 enodes (cost 11 ) 169.598 * * [simplify]: iteration 4 : 135 enodes (cost 9 ) 169.649 * * [simplify]: iteration 5 : 260 enodes (cost 9 ) 169.792 * * [simplify]: iteration 6 : 659 enodes (cost 9 ) 170.724 * * [simplify]: iteration 7 : 2458 enodes (cost 9 ) 172.561 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 172.562 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 172.563 * * [simplify]: iteration 1 : 10 enodes (cost 17 ) 172.564 * * [simplify]: iteration done : 10 enodes (cost 17 ) 172.564 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 172.565 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 172.566 * * [simplify]: iteration done : 9 enodes (cost 8 ) 172.567 * * [simplify]: iteration 0 : 9 enodes (cost 23 ) 172.568 * * [simplify]: iteration 1 : 20 enodes (cost 23 ) 172.572 * * [simplify]: iteration 2 : 49 enodes (cost 9 ) 172.584 * * [simplify]: iteration 3 : 91 enodes (cost 9 ) 172.608 * * [simplify]: iteration 4 : 107 enodes (cost 9 ) 172.641 * * [simplify]: iteration 5 : 153 enodes (cost 9 ) 172.703 * * [simplify]: iteration 6 : 295 enodes (cost 9 ) 172.878 * * [simplify]: iteration 7 : 747 enodes (cost 9 ) 173.963 * * [simplify]: iteration 8 : 2750 enodes (cost 9 ) 176.007 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 176.007 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 176.008 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 176.009 * * [simplify]: iteration done : 9 enodes (cost 8 ) 176.010 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 176.010 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 176.011 * * [simplify]: iteration done : 9 enodes (cost 8 ) 176.012 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 176.013 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 176.014 * * [simplify]: iteration done : 10 enodes (cost 9 ) 176.014 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 176.015 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 176.020 * * [simplify]: iteration done : 10 enodes (cost 9 ) 176.021 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 176.022 * * [simplify]: iteration 1 : 12 enodes (cost 14 ) 176.023 * * [simplify]: iteration 2 : 14 enodes (cost 14 ) 176.024 * * [simplify]: iteration done : 14 enodes (cost 14 ) 176.025 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 176.026 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 176.027 * * [simplify]: iteration done : 9 enodes (cost 8 ) 176.028 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 176.028 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 176.029 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 176.030 * * [simplify]: iteration done : 10 enodes (cost 2 ) 176.031 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 176.031 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 176.032 * * [simplify]: iteration done : 9 enodes (cost 8 ) 176.033 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 176.034 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 176.034 * * [simplify]: iteration done : 9 enodes (cost 8 ) 176.035 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 176.036 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 176.036 * * [simplify]: iteration done : 8 enodes (cost 7 ) 176.037 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 176.038 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 176.039 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 176.041 * * [simplify]: iteration done : 15 enodes (cost 5 ) 176.041 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 176.042 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 176.044 * * [simplify]: iteration 2 : 20 enodes (cost 12 ) 176.046 * * [simplify]: iteration done : 20 enodes (cost 12 ) 176.047 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 176.048 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 176.050 * * [simplify]: iteration 2 : 20 enodes (cost 12 ) 176.053 * * [simplify]: iteration done : 20 enodes (cost 12 ) 176.053 * * [simplify]: iteration 0 : 16 enodes (cost 21 ) 176.056 * * [simplify]: iteration 1 : 38 enodes (cost 21 ) 176.066 * * [simplify]: iteration 2 : 132 enodes (cost 17 ) 176.090 * * [simplify]: iteration 3 : 260 enodes (cost 17 ) 176.169 * * [simplify]: iteration 4 : 556 enodes (cost 17 ) 176.491 * * [simplify]: iteration 5 : 1025 enodes (cost 17 ) 177.035 * * [simplify]: iteration 6 : 1569 enodes (cost 17 ) 178.336 * * [simplify]: iteration 7 : 2916 enodes (cost 17 ) 180.121 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 180.122 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 180.123 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 180.125 * * [simplify]: iteration 2 : 31 enodes (cost 9 ) 180.133 * * [simplify]: iteration 3 : 50 enodes (cost 9 ) 180.140 * * [simplify]: iteration 4 : 101 enodes (cost 9 ) 180.167 * * [simplify]: iteration 5 : 251 enodes (cost 9 ) 180.366 * * [simplify]: iteration 6 : 786 enodes (cost 9 ) 182.434 * * [simplify]: iteration 7 : 3255 enodes (cost 9 ) 185.696 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 185.697 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 185.698 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 185.701 * * [simplify]: iteration 2 : 31 enodes (cost 9 ) 185.704 * * [simplify]: iteration 3 : 50 enodes (cost 9 ) 185.711 * * [simplify]: iteration 4 : 101 enodes (cost 9 ) 185.738 * * [simplify]: iteration 5 : 251 enodes (cost 9 ) 185.939 * * [simplify]: iteration 6 : 786 enodes (cost 9 ) 187.984 * * [simplify]: iteration 7 : 3255 enodes (cost 9 ) 191.222 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 191.223 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 191.224 * * [simplify]: iteration 1 : 35 enodes (cost 15 ) 191.230 * * [simplify]: iteration 2 : 88 enodes (cost 15 ) 191.245 * * [simplify]: iteration 3 : 186 enodes (cost 15 ) 191.310 * * [simplify]: iteration 4 : 426 enodes (cost 15 ) 191.500 * * [simplify]: iteration 5 : 902 enodes (cost 15 ) 193.115 * * [simplify]: iteration 6 : 2900 enodes (cost 15 ) 195.324 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 195.324 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 195.325 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 195.326 * * [simplify]: iteration done : 9 enodes (cost 7 ) 195.326 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 195.327 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 195.328 * * [simplify]: iteration done : 9 enodes (cost 7 ) 195.329 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 195.331 * * [simplify]: iteration 1 : 38 enodes (cost 17 ) 195.338 * * [simplify]: iteration 2 : 92 enodes (cost 15 ) 195.357 * * [simplify]: iteration 3 : 197 enodes (cost 15 ) 195.420 * * [simplify]: iteration 4 : 445 enodes (cost 15 ) 195.629 * * [simplify]: iteration 5 : 940 enodes (cost 15 ) 197.313 * * [simplify]: iteration 6 : 3023 enodes (cost 15 ) 199.833 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 199.833 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 199.834 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 199.835 * * [simplify]: iteration done : 9 enodes (cost 7 ) 199.836 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 199.836 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 199.837 * * [simplify]: iteration done : 9 enodes (cost 7 ) 199.838 * [simplify]: Simplified to: (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2)))) (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2)))) (+ (log (sin (/ eps 2))) (+ (log (sin x)) (log (cos (/ eps 2))))) (+ (log (sin (/ eps 2))) (log (* (sin x) (cos (/ eps 2))))) (log (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2))))) (exp (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2))))) (* (pow (* (sin x) (cos (/ eps 2))) 3) (pow (sin (/ eps 2)) 3)) (pow (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2)))) 3) (* (cbrt (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2))))) (cbrt (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2)))))) (cbrt (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2))))) (pow (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2)))) 3) (sqrt (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2))))) (sqrt (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2))))) (* (sin (/ eps 2)) (sin x)) (* (cbrt (sin (/ eps 2))) (* (sin x) (cos (/ eps 2)))) (* (sqrt (sin (/ eps 2))) (* (sin x) (cos (/ eps 2)))) (* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2)))) (* (sin (/ eps 2)) (+ (sin (- x (/ eps 2))) (sin (+ x (/ eps 2))))) (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2)))) (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2)))) (+ (log (cos x)) (* 2 (log (sin (/ eps 2))))) (+ (log (cos x)) (* 2 (log (sin (/ eps 2))))) (+ (* 2 (log (sin (/ eps 2)))) (log (cos x))) (exp (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (* (pow (cos x) 3) (pow (sin (/ eps 2)) 6)) (* (pow (sin (/ eps 2)) 6) (pow (cos x) 3)) (* (cbrt (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (cbrt (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2)))))) (cbrt (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (* (pow (sin (/ eps 2)) 6) (pow (cos x) 3)) (sqrt (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (sqrt (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (* (sin (/ eps 2)) (cos x)) (* (cbrt (sin (/ eps 2))) (* (cos x) (sin (/ eps 2)))) (* (sqrt (sin (/ eps 2))) (* (cos x) (sin (/ eps 2)))) (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2)))) (+ (sin (- x (/ eps 2))) (sin (+ x (/ eps 2)))) (* (sin x) (cos (/ eps 2))) (+ (log (sin x)) (log (cos (/ eps 2)))) (log (* (sin x) (cos (/ eps 2)))) (exp (* (sin x) (cos (/ eps 2)))) (pow (* (sin x) (cos (/ eps 2))) 3) (* (cbrt (* (sin x) (cos (/ eps 2)))) (cbrt (* (sin x) (cos (/ eps 2))))) (cbrt (* (sin x) (cos (/ eps 2)))) (pow (* (sin x) (cos (/ eps 2))) 3) (sqrt (* (sin x) (cos (/ eps 2)))) (sqrt (* (sin x) (cos (/ eps 2)))) (* (sqrt (sin x)) (sqrt (cos (/ eps 2)))) (* (sqrt (sin x)) (sqrt (cos (/ eps 2)))) (* (sin x) (* (cbrt (cos (/ eps 2))) (cbrt (cos (/ eps 2))))) (* (sin x) (sqrt (cos (/ eps 2)))) (sin x) (* (cbrt (sin x)) (cos (/ eps 2))) (* (sqrt (sin x)) (cos (/ eps 2))) (* (sin x) (cos (/ eps 2))) (* (cos x) (sin (/ eps 2))) (+ (log (cos x)) (log (sin (/ eps 2)))) (log (* (cos x) (sin (/ eps 2)))) (exp (* (cos x) (sin (/ eps 2)))) (pow (* (cos x) (sin (/ eps 2))) 3) (* (cbrt (* (cos x) (sin (/ eps 2)))) (cbrt (* (cos x) (sin (/ eps 2))))) (cbrt (* (cos x) (sin (/ eps 2)))) (pow (* (cos x) (sin (/ eps 2))) 3) (sqrt (* (cos x) (sin (/ eps 2)))) (sqrt (* (cos x) (sin (/ eps 2)))) (* (sqrt (cos x)) (sqrt (sin (/ eps 2)))) (* (sqrt (cos x)) (sqrt (sin (/ eps 2)))) (* (cos x) (* (cbrt (sin (/ eps 2))) (cbrt (sin (/ eps 2))))) (* (cos x) (sqrt (sin (/ eps 2)))) (cos x) (* (cbrt (cos x)) (sin (/ eps 2))) (* (sqrt (cos x)) (sin (/ eps 2))) (* (cos x) (sin (/ eps 2))) (* 1/2 (* x eps)) (* (sin x) (* (cos (* 1/2 eps)) (sin (* 1/2 eps)))) (* (sin x) (* (cos (* 1/2 eps)) (sin (* 1/2 eps)))) (- (* (pow eps 2) (- 1/4 (* 1/8 (pow x 2)))) (* 1/48 (pow eps 4))) (* (pow (sin (* 1/2 eps)) 2) (cos x)) (* (pow (sin (* 1/2 eps)) 2) (cos x)) (- x (+ (* 1/8 (* x (pow eps 2))) (* 1/6 (pow x 3)))) (* (sin x) (cos (* 1/2 eps))) (* (sin x) (cos (* 1/2 eps))) (- (* eps (- 1/2 (* 1/4 (pow x 2)))) (* 1/48 (pow eps 3))) (* (sin (* 1/2 eps)) (cos x)) (* (sin (* 1/2 eps)) (cos x)) 199.839 * * * [progress]: adding candidates to table 200.055 * * [progress]: iteration 4 / 4 200.055 * * * [progress]: picking best candidate 200.127 * * * * [pick]: Picked # 200.127 * * * [progress]: localizing error 200.148 * * * [progress]: generating rewritten candidates 200.148 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 200.159 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1) 200.166 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 200.174 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 200.182 * * * [progress]: generating series expansions 200.182 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 200.183 * [approximate]: Taking taylor expansion of (* (pow (sin (* 1/2 eps)) 2) (cos x)) in (eps x) around 0 200.183 * [taylor]: Taking taylor expansion of (* (pow (sin (* 1/2 eps)) 2) (cos x)) in x 200.183 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in x 200.183 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x 200.183 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x 200.183 * [taylor]: Taking taylor expansion of 1/2 in x 200.183 * [taylor]: Taking taylor expansion of eps in x 200.183 * [taylor]: Taking taylor expansion of (cos x) in x 200.183 * [taylor]: Taking taylor expansion of x in x 200.183 * [taylor]: Taking taylor expansion of (* (pow (sin (* 1/2 eps)) 2) (cos x)) in eps 200.183 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps 200.183 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps 200.183 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 200.183 * [taylor]: Taking taylor expansion of 1/2 in eps 200.183 * [taylor]: Taking taylor expansion of eps in eps 200.183 * [taylor]: Taking taylor expansion of (cos x) in eps 200.183 * [taylor]: Taking taylor expansion of x in eps 200.183 * [taylor]: Taking taylor expansion of (* (pow (sin (* 1/2 eps)) 2) (cos x)) in eps 200.183 * [taylor]: Taking taylor expansion of (pow (sin (* 1/2 eps)) 2) in eps 200.183 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps 200.183 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 200.183 * [taylor]: Taking taylor expansion of 1/2 in eps 200.183 * [taylor]: Taking taylor expansion of eps in eps 200.184 * [taylor]: Taking taylor expansion of (cos x) in eps 200.184 * [taylor]: Taking taylor expansion of x in eps 200.184 * [taylor]: Taking taylor expansion of (* 1/4 (cos x)) in x 200.184 * [taylor]: Taking taylor expansion of 1/4 in x 200.184 * [taylor]: Taking taylor expansion of (cos x) in x 200.184 * [taylor]: Taking taylor expansion of x in x 200.184 * [taylor]: Taking taylor expansion of 0 in x 200.185 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos x))) in x 200.185 * [taylor]: Taking taylor expansion of (* 1/48 (cos x)) in x 200.185 * [taylor]: Taking taylor expansion of 1/48 in x 200.185 * [taylor]: Taking taylor expansion of (cos x) in x 200.185 * [taylor]: Taking taylor expansion of x in x 200.186 * [approximate]: Taking taylor expansion of (* (cos (/ 1 x)) (pow (sin (/ 1/2 eps)) 2)) in (eps x) around 0 200.186 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (pow (sin (/ 1/2 eps)) 2)) in x 200.186 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 200.186 * [taylor]: Taking taylor expansion of (/ 1 x) in x 200.186 * [taylor]: Taking taylor expansion of x in x 200.186 * [taylor]: Taking taylor expansion of (pow (sin (/ 1/2 eps)) 2) in x 200.186 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x 200.186 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x 200.186 * [taylor]: Taking taylor expansion of 1/2 in x 200.186 * [taylor]: Taking taylor expansion of eps in x 200.186 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (pow (sin (/ 1/2 eps)) 2)) in eps 200.186 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps 200.186 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 200.186 * [taylor]: Taking taylor expansion of x in eps 200.186 * [taylor]: Taking taylor expansion of (pow (sin (/ 1/2 eps)) 2) in eps 200.186 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps 200.186 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 200.186 * [taylor]: Taking taylor expansion of 1/2 in eps 200.186 * [taylor]: Taking taylor expansion of eps in eps 200.186 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (pow (sin (/ 1/2 eps)) 2)) in eps 200.186 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps 200.186 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 200.186 * [taylor]: Taking taylor expansion of x in eps 200.186 * [taylor]: Taking taylor expansion of (pow (sin (/ 1/2 eps)) 2) in eps 200.186 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps 200.186 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 200.186 * [taylor]: Taking taylor expansion of 1/2 in eps 200.187 * [taylor]: Taking taylor expansion of eps in eps 200.187 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1/2 eps)) 2) (cos (/ 1 x))) in x 200.187 * [taylor]: Taking taylor expansion of (pow (sin (/ 1/2 eps)) 2) in x 200.187 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x 200.187 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x 200.187 * [taylor]: Taking taylor expansion of 1/2 in x 200.187 * [taylor]: Taking taylor expansion of eps in x 200.187 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 200.187 * [taylor]: Taking taylor expansion of (/ 1 x) in x 200.187 * [taylor]: Taking taylor expansion of x in x 200.188 * [taylor]: Taking taylor expansion of 0 in x 200.189 * [taylor]: Taking taylor expansion of 0 in x 200.190 * [taylor]: Taking taylor expansion of 0 in x 200.191 * [approximate]: Taking taylor expansion of (* (pow (sin (/ -1/2 eps)) 2) (cos (/ -1 x))) in (eps x) around 0 200.191 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1/2 eps)) 2) (cos (/ -1 x))) in x 200.191 * [taylor]: Taking taylor expansion of (pow (sin (/ -1/2 eps)) 2) in x 200.191 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x 200.191 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x 200.191 * [taylor]: Taking taylor expansion of -1/2 in x 200.191 * [taylor]: Taking taylor expansion of eps in x 200.191 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 200.191 * [taylor]: Taking taylor expansion of (/ -1 x) in x 200.191 * [taylor]: Taking taylor expansion of -1 in x 200.191 * [taylor]: Taking taylor expansion of x in x 200.191 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1/2 eps)) 2) (cos (/ -1 x))) in eps 200.191 * [taylor]: Taking taylor expansion of (pow (sin (/ -1/2 eps)) 2) in eps 200.191 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps 200.191 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 200.191 * [taylor]: Taking taylor expansion of -1/2 in eps 200.191 * [taylor]: Taking taylor expansion of eps in eps 200.191 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps 200.191 * [taylor]: Taking taylor expansion of (/ -1 x) in eps 200.191 * [taylor]: Taking taylor expansion of -1 in eps 200.191 * [taylor]: Taking taylor expansion of x in eps 200.191 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1/2 eps)) 2) (cos (/ -1 x))) in eps 200.191 * [taylor]: Taking taylor expansion of (pow (sin (/ -1/2 eps)) 2) in eps 200.191 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps 200.191 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 200.192 * [taylor]: Taking taylor expansion of -1/2 in eps 200.192 * [taylor]: Taking taylor expansion of eps in eps 200.192 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps 200.192 * [taylor]: Taking taylor expansion of (/ -1 x) in eps 200.192 * [taylor]: Taking taylor expansion of -1 in eps 200.192 * [taylor]: Taking taylor expansion of x in eps 200.192 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1/2 eps)) 2) (cos (/ -1 x))) in x 200.192 * [taylor]: Taking taylor expansion of (pow (sin (/ -1/2 eps)) 2) in x 200.192 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x 200.192 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x 200.192 * [taylor]: Taking taylor expansion of -1/2 in x 200.192 * [taylor]: Taking taylor expansion of eps in x 200.192 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 200.192 * [taylor]: Taking taylor expansion of (/ -1 x) in x 200.192 * [taylor]: Taking taylor expansion of -1 in x 200.192 * [taylor]: Taking taylor expansion of x in x 200.193 * [taylor]: Taking taylor expansion of 0 in x 200.194 * [taylor]: Taking taylor expansion of 0 in x 200.195 * [taylor]: Taking taylor expansion of 0 in x 200.196 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1) 200.196 * [approximate]: Taking taylor expansion of (* (sin x) (sin (* 1/2 eps))) in (eps x) around 0 200.196 * [taylor]: Taking taylor expansion of (* (sin x) (sin (* 1/2 eps))) in x 200.196 * [taylor]: Taking taylor expansion of (sin x) in x 200.196 * [taylor]: Taking taylor expansion of x in x 200.196 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x 200.196 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x 200.196 * [taylor]: Taking taylor expansion of 1/2 in x 200.196 * [taylor]: Taking taylor expansion of eps in x 200.196 * [taylor]: Taking taylor expansion of (* (sin x) (sin (* 1/2 eps))) in eps 200.196 * [taylor]: Taking taylor expansion of (sin x) in eps 200.196 * [taylor]: Taking taylor expansion of x in eps 200.196 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps 200.196 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 200.196 * [taylor]: Taking taylor expansion of 1/2 in eps 200.196 * [taylor]: Taking taylor expansion of eps in eps 200.196 * [taylor]: Taking taylor expansion of (* (sin x) (sin (* 1/2 eps))) in eps 200.196 * [taylor]: Taking taylor expansion of (sin x) in eps 200.196 * [taylor]: Taking taylor expansion of x in eps 200.196 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps 200.196 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 200.196 * [taylor]: Taking taylor expansion of 1/2 in eps 200.196 * [taylor]: Taking taylor expansion of eps in eps 200.196 * [taylor]: Taking taylor expansion of 0 in x 200.197 * [taylor]: Taking taylor expansion of (* 1/2 (sin x)) in x 200.197 * [taylor]: Taking taylor expansion of 1/2 in x 200.197 * [taylor]: Taking taylor expansion of (sin x) in x 200.197 * [taylor]: Taking taylor expansion of x in x 200.197 * [taylor]: Taking taylor expansion of 0 in x 200.198 * [taylor]: Taking taylor expansion of (neg (* 1/48 (sin x))) in x 200.198 * [taylor]: Taking taylor expansion of (* 1/48 (sin x)) in x 200.198 * [taylor]: Taking taylor expansion of 1/48 in x 200.198 * [taylor]: Taking taylor expansion of (sin x) in x 200.198 * [taylor]: Taking taylor expansion of x in x 200.199 * [taylor]: Taking taylor expansion of 0 in x 200.199 * [approximate]: Taking taylor expansion of (* (sin (/ 1 x)) (sin (/ 1/2 eps))) in (eps x) around 0 200.199 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (sin (/ 1/2 eps))) in x 200.199 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 200.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x 200.199 * [taylor]: Taking taylor expansion of x in x 200.199 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x 200.199 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x 200.199 * [taylor]: Taking taylor expansion of 1/2 in x 200.199 * [taylor]: Taking taylor expansion of eps in x 200.199 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (sin (/ 1/2 eps))) in eps 200.200 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps 200.200 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 200.200 * [taylor]: Taking taylor expansion of x in eps 200.200 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps 200.200 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 200.200 * [taylor]: Taking taylor expansion of 1/2 in eps 200.200 * [taylor]: Taking taylor expansion of eps in eps 200.200 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (sin (/ 1/2 eps))) in eps 200.200 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps 200.200 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 200.200 * [taylor]: Taking taylor expansion of x in eps 200.200 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps 200.200 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 200.200 * [taylor]: Taking taylor expansion of 1/2 in eps 200.200 * [taylor]: Taking taylor expansion of eps in eps 200.200 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (sin (/ 1 x))) in x 200.200 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x 200.200 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x 200.200 * [taylor]: Taking taylor expansion of 1/2 in x 200.200 * [taylor]: Taking taylor expansion of eps in x 200.200 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 200.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x 200.200 * [taylor]: Taking taylor expansion of x in x 200.201 * [taylor]: Taking taylor expansion of 0 in x 200.202 * [taylor]: Taking taylor expansion of 0 in x 200.203 * [taylor]: Taking taylor expansion of 0 in x 200.203 * [approximate]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (/ -1 x))) in (eps x) around 0 200.203 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (/ -1 x))) in x 200.203 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x 200.203 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x 200.203 * [taylor]: Taking taylor expansion of -1/2 in x 200.203 * [taylor]: Taking taylor expansion of eps in x 200.203 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 200.203 * [taylor]: Taking taylor expansion of (/ -1 x) in x 200.203 * [taylor]: Taking taylor expansion of -1 in x 200.203 * [taylor]: Taking taylor expansion of x in x 200.203 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (/ -1 x))) in eps 200.203 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps 200.203 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 200.203 * [taylor]: Taking taylor expansion of -1/2 in eps 200.203 * [taylor]: Taking taylor expansion of eps in eps 200.203 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps 200.203 * [taylor]: Taking taylor expansion of (/ -1 x) in eps 200.203 * [taylor]: Taking taylor expansion of -1 in eps 200.203 * [taylor]: Taking taylor expansion of x in eps 200.204 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (/ -1 x))) in eps 200.204 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps 200.204 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 200.204 * [taylor]: Taking taylor expansion of -1/2 in eps 200.204 * [taylor]: Taking taylor expansion of eps in eps 200.204 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps 200.204 * [taylor]: Taking taylor expansion of (/ -1 x) in eps 200.204 * [taylor]: Taking taylor expansion of -1 in eps 200.204 * [taylor]: Taking taylor expansion of x in eps 200.204 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (sin (/ -1 x))) in x 200.204 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x 200.204 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x 200.204 * [taylor]: Taking taylor expansion of -1/2 in x 200.204 * [taylor]: Taking taylor expansion of eps in x 200.204 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 200.204 * [taylor]: Taking taylor expansion of (/ -1 x) in x 200.204 * [taylor]: Taking taylor expansion of -1 in x 200.204 * [taylor]: Taking taylor expansion of x in x 200.205 * [taylor]: Taking taylor expansion of 0 in x 200.206 * [taylor]: Taking taylor expansion of 0 in x 200.207 * [taylor]: Taking taylor expansion of 0 in x 200.207 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 200.207 * [approximate]: Taking taylor expansion of (* (sin x) (* (cos (* 1/2 eps)) (sin (* 1/2 eps)))) in (eps x) around 0 200.207 * [taylor]: Taking taylor expansion of (* (sin x) (* (cos (* 1/2 eps)) (sin (* 1/2 eps)))) in x 200.207 * [taylor]: Taking taylor expansion of (sin x) in x 200.207 * [taylor]: Taking taylor expansion of x in x 200.207 * [taylor]: Taking taylor expansion of (* (cos (* 1/2 eps)) (sin (* 1/2 eps))) in x 200.207 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in x 200.207 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x 200.207 * [taylor]: Taking taylor expansion of 1/2 in x 200.207 * [taylor]: Taking taylor expansion of eps in x 200.207 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x 200.207 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x 200.207 * [taylor]: Taking taylor expansion of 1/2 in x 200.207 * [taylor]: Taking taylor expansion of eps in x 200.207 * [taylor]: Taking taylor expansion of (* (sin x) (* (cos (* 1/2 eps)) (sin (* 1/2 eps)))) in eps 200.207 * [taylor]: Taking taylor expansion of (sin x) in eps 200.207 * [taylor]: Taking taylor expansion of x in eps 200.207 * [taylor]: Taking taylor expansion of (* (cos (* 1/2 eps)) (sin (* 1/2 eps))) in eps 200.207 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps 200.207 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 200.207 * [taylor]: Taking taylor expansion of 1/2 in eps 200.207 * [taylor]: Taking taylor expansion of eps in eps 200.208 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps 200.208 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 200.208 * [taylor]: Taking taylor expansion of 1/2 in eps 200.208 * [taylor]: Taking taylor expansion of eps in eps 200.208 * [taylor]: Taking taylor expansion of (* (sin x) (* (cos (* 1/2 eps)) (sin (* 1/2 eps)))) in eps 200.208 * [taylor]: Taking taylor expansion of (sin x) in eps 200.208 * [taylor]: Taking taylor expansion of x in eps 200.208 * [taylor]: Taking taylor expansion of (* (cos (* 1/2 eps)) (sin (* 1/2 eps))) in eps 200.208 * [taylor]: Taking taylor expansion of (cos (* 1/2 eps)) in eps 200.208 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 200.208 * [taylor]: Taking taylor expansion of 1/2 in eps 200.208 * [taylor]: Taking taylor expansion of eps in eps 200.208 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps 200.208 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 200.208 * [taylor]: Taking taylor expansion of 1/2 in eps 200.208 * [taylor]: Taking taylor expansion of eps in eps 200.208 * [taylor]: Taking taylor expansion of 0 in x 200.209 * [taylor]: Taking taylor expansion of (* 1/2 (sin x)) in x 200.209 * [taylor]: Taking taylor expansion of 1/2 in x 200.209 * [taylor]: Taking taylor expansion of (sin x) in x 200.209 * [taylor]: Taking taylor expansion of x in x 200.209 * [taylor]: Taking taylor expansion of 0 in x 200.210 * [taylor]: Taking taylor expansion of (neg (* 1/12 (sin x))) in x 200.210 * [taylor]: Taking taylor expansion of (* 1/12 (sin x)) in x 200.210 * [taylor]: Taking taylor expansion of 1/12 in x 200.210 * [taylor]: Taking taylor expansion of (sin x) in x 200.210 * [taylor]: Taking taylor expansion of x in x 200.212 * [taylor]: Taking taylor expansion of 0 in x 200.212 * [approximate]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (* (sin (/ 1 x)) (cos (/ 1/2 eps)))) in (eps x) around 0 200.212 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (* (sin (/ 1 x)) (cos (/ 1/2 eps)))) in x 200.212 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x 200.212 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x 200.212 * [taylor]: Taking taylor expansion of 1/2 in x 200.212 * [taylor]: Taking taylor expansion of eps in x 200.212 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (cos (/ 1/2 eps))) in x 200.212 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 200.212 * [taylor]: Taking taylor expansion of (/ 1 x) in x 200.212 * [taylor]: Taking taylor expansion of x in x 200.212 * [taylor]: Taking taylor expansion of (cos (/ 1/2 eps)) in x 200.212 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x 200.212 * [taylor]: Taking taylor expansion of 1/2 in x 200.212 * [taylor]: Taking taylor expansion of eps in x 200.213 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (* (sin (/ 1 x)) (cos (/ 1/2 eps)))) in eps 200.213 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps 200.213 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 200.213 * [taylor]: Taking taylor expansion of 1/2 in eps 200.213 * [taylor]: Taking taylor expansion of eps in eps 200.213 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (cos (/ 1/2 eps))) in eps 200.213 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps 200.213 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 200.213 * [taylor]: Taking taylor expansion of x in eps 200.213 * [taylor]: Taking taylor expansion of (cos (/ 1/2 eps)) in eps 200.213 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 200.213 * [taylor]: Taking taylor expansion of 1/2 in eps 200.213 * [taylor]: Taking taylor expansion of eps in eps 200.213 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (* (sin (/ 1 x)) (cos (/ 1/2 eps)))) in eps 200.213 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps 200.213 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 200.213 * [taylor]: Taking taylor expansion of 1/2 in eps 200.213 * [taylor]: Taking taylor expansion of eps in eps 200.213 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (cos (/ 1/2 eps))) in eps 200.213 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in eps 200.213 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 200.213 * [taylor]: Taking taylor expansion of x in eps 200.213 * [taylor]: Taking taylor expansion of (cos (/ 1/2 eps)) in eps 200.213 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 200.213 * [taylor]: Taking taylor expansion of 1/2 in eps 200.213 * [taylor]: Taking taylor expansion of eps in eps 200.214 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (* (sin (/ 1/2 eps)) (cos (/ 1/2 eps)))) in x 200.214 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 200.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x 200.214 * [taylor]: Taking taylor expansion of x in x 200.214 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (cos (/ 1/2 eps))) in x 200.214 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x 200.214 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x 200.214 * [taylor]: Taking taylor expansion of 1/2 in x 200.214 * [taylor]: Taking taylor expansion of eps in x 200.214 * [taylor]: Taking taylor expansion of (cos (/ 1/2 eps)) in x 200.214 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x 200.214 * [taylor]: Taking taylor expansion of 1/2 in x 200.214 * [taylor]: Taking taylor expansion of eps in x 200.215 * [taylor]: Taking taylor expansion of 0 in x 200.217 * [taylor]: Taking taylor expansion of 0 in x 200.218 * [taylor]: Taking taylor expansion of 0 in x 200.219 * [approximate]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (* (cos (/ -1/2 eps)) (sin (/ -1 x)))) in (eps x) around 0 200.219 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (* (cos (/ -1/2 eps)) (sin (/ -1 x)))) in x 200.219 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x 200.219 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x 200.219 * [taylor]: Taking taylor expansion of -1/2 in x 200.219 * [taylor]: Taking taylor expansion of eps in x 200.219 * [taylor]: Taking taylor expansion of (* (cos (/ -1/2 eps)) (sin (/ -1 x))) in x 200.219 * [taylor]: Taking taylor expansion of (cos (/ -1/2 eps)) in x 200.219 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x 200.219 * [taylor]: Taking taylor expansion of -1/2 in x 200.219 * [taylor]: Taking taylor expansion of eps in x 200.219 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 200.219 * [taylor]: Taking taylor expansion of (/ -1 x) in x 200.219 * [taylor]: Taking taylor expansion of -1 in x 200.219 * [taylor]: Taking taylor expansion of x in x 200.219 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (* (cos (/ -1/2 eps)) (sin (/ -1 x)))) in eps 200.219 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps 200.219 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 200.219 * [taylor]: Taking taylor expansion of -1/2 in eps 200.219 * [taylor]: Taking taylor expansion of eps in eps 200.219 * [taylor]: Taking taylor expansion of (* (cos (/ -1/2 eps)) (sin (/ -1 x))) in eps 200.219 * [taylor]: Taking taylor expansion of (cos (/ -1/2 eps)) in eps 200.219 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 200.219 * [taylor]: Taking taylor expansion of -1/2 in eps 200.219 * [taylor]: Taking taylor expansion of eps in eps 200.219 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps 200.220 * [taylor]: Taking taylor expansion of (/ -1 x) in eps 200.220 * [taylor]: Taking taylor expansion of -1 in eps 200.220 * [taylor]: Taking taylor expansion of x in eps 200.220 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (* (cos (/ -1/2 eps)) (sin (/ -1 x)))) in eps 200.220 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps 200.220 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 200.220 * [taylor]: Taking taylor expansion of -1/2 in eps 200.220 * [taylor]: Taking taylor expansion of eps in eps 200.220 * [taylor]: Taking taylor expansion of (* (cos (/ -1/2 eps)) (sin (/ -1 x))) in eps 200.220 * [taylor]: Taking taylor expansion of (cos (/ -1/2 eps)) in eps 200.220 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 200.220 * [taylor]: Taking taylor expansion of -1/2 in eps 200.220 * [taylor]: Taking taylor expansion of eps in eps 200.220 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in eps 200.220 * [taylor]: Taking taylor expansion of (/ -1 x) in eps 200.220 * [taylor]: Taking taylor expansion of -1 in eps 200.220 * [taylor]: Taking taylor expansion of x in eps 200.220 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (* (sin (/ -1 x)) (cos (/ -1/2 eps)))) in x 200.220 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x 200.220 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x 200.220 * [taylor]: Taking taylor expansion of -1/2 in x 200.220 * [taylor]: Taking taylor expansion of eps in x 200.221 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (cos (/ -1/2 eps))) in x 200.221 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 200.221 * [taylor]: Taking taylor expansion of (/ -1 x) in x 200.221 * [taylor]: Taking taylor expansion of -1 in x 200.221 * [taylor]: Taking taylor expansion of x in x 200.221 * [taylor]: Taking taylor expansion of (cos (/ -1/2 eps)) in x 200.221 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x 200.221 * [taylor]: Taking taylor expansion of -1/2 in x 200.221 * [taylor]: Taking taylor expansion of eps in x 200.222 * [taylor]: Taking taylor expansion of 0 in x 200.223 * [taylor]: Taking taylor expansion of 0 in x 200.225 * [taylor]: Taking taylor expansion of 0 in x 200.225 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 200.225 * [approximate]: Taking taylor expansion of (* (sin (* 1/2 eps)) (cos x)) in (x eps) around 0 200.225 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (cos x)) in eps 200.225 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps 200.225 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 200.225 * [taylor]: Taking taylor expansion of 1/2 in eps 200.225 * [taylor]: Taking taylor expansion of eps in eps 200.225 * [taylor]: Taking taylor expansion of (cos x) in eps 200.225 * [taylor]: Taking taylor expansion of x in eps 200.226 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (cos x)) in x 200.226 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x 200.226 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x 200.226 * [taylor]: Taking taylor expansion of 1/2 in x 200.226 * [taylor]: Taking taylor expansion of eps in x 200.226 * [taylor]: Taking taylor expansion of (cos x) in x 200.226 * [taylor]: Taking taylor expansion of x in x 200.226 * [taylor]: Taking taylor expansion of (* (sin (* 1/2 eps)) (cos x)) in x 200.226 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in x 200.226 * [taylor]: Taking taylor expansion of (* 1/2 eps) in x 200.226 * [taylor]: Taking taylor expansion of 1/2 in x 200.226 * [taylor]: Taking taylor expansion of eps in x 200.226 * [taylor]: Taking taylor expansion of (cos x) in x 200.226 * [taylor]: Taking taylor expansion of x in x 200.226 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps 200.226 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 200.226 * [taylor]: Taking taylor expansion of 1/2 in eps 200.226 * [taylor]: Taking taylor expansion of eps in eps 200.226 * [taylor]: Taking taylor expansion of 0 in eps 200.227 * [taylor]: Taking taylor expansion of (neg (* 1/2 (sin (* 1/2 eps)))) in eps 200.227 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/2 eps))) in eps 200.227 * [taylor]: Taking taylor expansion of 1/2 in eps 200.227 * [taylor]: Taking taylor expansion of (sin (* 1/2 eps)) in eps 200.227 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 200.227 * [taylor]: Taking taylor expansion of 1/2 in eps 200.227 * [taylor]: Taking taylor expansion of eps in eps 200.228 * [taylor]: Taking taylor expansion of 0 in eps 200.229 * [approximate]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (cos (/ 1 x))) in (x eps) around 0 200.229 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (cos (/ 1 x))) in eps 200.229 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps 200.229 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 200.229 * [taylor]: Taking taylor expansion of 1/2 in eps 200.229 * [taylor]: Taking taylor expansion of eps in eps 200.229 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps 200.229 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 200.229 * [taylor]: Taking taylor expansion of x in eps 200.229 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (cos (/ 1 x))) in x 200.229 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x 200.229 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x 200.229 * [taylor]: Taking taylor expansion of 1/2 in x 200.229 * [taylor]: Taking taylor expansion of eps in x 200.229 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 200.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x 200.229 * [taylor]: Taking taylor expansion of x in x 200.229 * [taylor]: Taking taylor expansion of (* (sin (/ 1/2 eps)) (cos (/ 1 x))) in x 200.229 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in x 200.229 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in x 200.229 * [taylor]: Taking taylor expansion of 1/2 in x 200.230 * [taylor]: Taking taylor expansion of eps in x 200.230 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 200.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x 200.230 * [taylor]: Taking taylor expansion of x in x 200.230 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (sin (/ 1/2 eps))) in eps 200.230 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in eps 200.230 * [taylor]: Taking taylor expansion of (/ 1 x) in eps 200.230 * [taylor]: Taking taylor expansion of x in eps 200.230 * [taylor]: Taking taylor expansion of (sin (/ 1/2 eps)) in eps 200.230 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 200.230 * [taylor]: Taking taylor expansion of 1/2 in eps 200.230 * [taylor]: Taking taylor expansion of eps in eps 200.231 * [taylor]: Taking taylor expansion of 0 in eps 200.231 * [taylor]: Taking taylor expansion of 0 in eps 200.232 * [taylor]: Taking taylor expansion of 0 in eps 200.233 * [approximate]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (/ -1 x))) in (x eps) around 0 200.233 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (/ -1 x))) in eps 200.233 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps 200.233 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 200.233 * [taylor]: Taking taylor expansion of -1/2 in eps 200.233 * [taylor]: Taking taylor expansion of eps in eps 200.233 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps 200.233 * [taylor]: Taking taylor expansion of (/ -1 x) in eps 200.233 * [taylor]: Taking taylor expansion of -1 in eps 200.233 * [taylor]: Taking taylor expansion of x in eps 200.233 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (/ -1 x))) in x 200.233 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x 200.233 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x 200.233 * [taylor]: Taking taylor expansion of -1/2 in x 200.233 * [taylor]: Taking taylor expansion of eps in x 200.233 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 200.233 * [taylor]: Taking taylor expansion of (/ -1 x) in x 200.233 * [taylor]: Taking taylor expansion of -1 in x 200.233 * [taylor]: Taking taylor expansion of x in x 200.233 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (/ -1 x))) in x 200.233 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in x 200.233 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in x 200.233 * [taylor]: Taking taylor expansion of -1/2 in x 200.233 * [taylor]: Taking taylor expansion of eps in x 200.234 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 200.234 * [taylor]: Taking taylor expansion of (/ -1 x) in x 200.234 * [taylor]: Taking taylor expansion of -1 in x 200.234 * [taylor]: Taking taylor expansion of x in x 200.234 * [taylor]: Taking taylor expansion of (* (sin (/ -1/2 eps)) (cos (/ -1 x))) in eps 200.234 * [taylor]: Taking taylor expansion of (sin (/ -1/2 eps)) in eps 200.234 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 200.234 * [taylor]: Taking taylor expansion of -1/2 in eps 200.234 * [taylor]: Taking taylor expansion of eps in eps 200.234 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in eps 200.234 * [taylor]: Taking taylor expansion of (/ -1 x) in eps 200.234 * [taylor]: Taking taylor expansion of -1 in eps 200.234 * [taylor]: Taking taylor expansion of x in eps 200.235 * [taylor]: Taking taylor expansion of 0 in eps 200.235 * [taylor]: Taking taylor expansion of 0 in eps 200.236 * [taylor]: Taking taylor expansion of 0 in eps 200.237 * * * [progress]: simplifying candidates 200.238 * [simplify]: Simplifying using # : (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2)))) (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2)))) (+ (log (sin (/ eps 2))) (+ (log (cos x)) (log (sin (/ eps 2))))) (+ (log (sin (/ eps 2))) (log (* (cos x) (sin (/ eps 2))))) (log (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (exp (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (* (* (* (sin (/ eps 2)) (sin (/ eps 2))) (sin (/ eps 2))) (* (* (* (cos x) (cos x)) (cos x)) (* (* (sin (/ eps 2)) (sin (/ eps 2))) (sin (/ eps 2))))) (* (* (* (sin (/ eps 2)) (sin (/ eps 2))) (sin (/ eps 2))) (* (* (* (cos x) (sin (/ eps 2))) (* (cos x) (sin (/ eps 2)))) (* (cos x) (sin (/ eps 2))))) (* (cbrt (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (cbrt (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2)))))) (cbrt (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (* (* (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2)))) (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (sqrt (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (sqrt (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (* (sin (/ eps 2)) (cos x)) (* (cbrt (sin (/ eps 2))) (* (cos x) (sin (/ eps 2)))) (* (sqrt (sin (/ eps 2))) (* (cos x) (sin (/ eps 2)))) (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2)))) (- (cos (- (/ eps 2) x)) (cos (+ (/ eps 2) x))) (* (sin (/ eps 2)) (sin x)) (+ (log (sin (/ eps 2))) (log (sin x))) (log (* (sin (/ eps 2)) (sin x))) (exp (* (sin (/ eps 2)) (sin x))) (* (* (* (sin (/ eps 2)) (sin (/ eps 2))) (sin (/ eps 2))) (* (* (sin x) (sin x)) (sin x))) (* (cbrt (* (sin (/ eps 2)) (sin x))) (cbrt (* (sin (/ eps 2)) (sin x)))) (cbrt (* (sin (/ eps 2)) (sin x))) (* (* (* (sin (/ eps 2)) (sin x)) (* (sin (/ eps 2)) (sin x))) (* (sin (/ eps 2)) (sin x))) (sqrt (* (sin (/ eps 2)) (sin x))) (sqrt (* (sin (/ eps 2)) (sin x))) (* (sqrt (sin (/ eps 2))) (sqrt (sin x))) (* (sqrt (sin (/ eps 2))) (sqrt (sin x))) (* (sin (/ eps 2)) (* (cbrt (sin x)) (cbrt (sin x)))) (* (sin (/ eps 2)) (sqrt (sin x))) (* (sin (/ eps 2)) 1) (* (cbrt (sin (/ eps 2))) (sin x)) (* (sqrt (sin (/ eps 2))) (sin x)) (* (sin (/ eps 2)) (sin x)) (* (* (sin (/ eps 2)) (sin x)) (cos (/ eps 2))) (* (* (sin (/ eps 2)) (sin x)) (cos (/ eps 2))) (+ (+ (log (sin (/ eps 2))) (log (sin x))) (log (cos (/ eps 2)))) (+ (log (* (sin (/ eps 2)) (sin x))) (log (cos (/ eps 2)))) (log (* (* (sin (/ eps 2)) (sin x)) (cos (/ eps 2)))) (exp (* (* (sin (/ eps 2)) (sin x)) (cos (/ eps 2)))) (* (* (* (* (sin (/ eps 2)) (sin (/ eps 2))) (sin (/ eps 2))) (* (* (sin x) (sin x)) (sin x))) (* (* (cos (/ eps 2)) (cos (/ eps 2))) (cos (/ eps 2)))) (* (* (* (* (sin (/ eps 2)) (sin x)) (* (sin (/ eps 2)) (sin x))) (* (sin (/ eps 2)) (sin x))) (* (* (cos (/ eps 2)) (cos (/ eps 2))) (cos (/ eps 2)))) (* (cbrt (* (* (sin (/ eps 2)) (sin x)) (cos (/ eps 2)))) (cbrt (* (* (sin (/ eps 2)) (sin x)) (cos (/ eps 2))))) (cbrt (* (* (sin (/ eps 2)) (sin x)) (cos (/ eps 2)))) (* (* (* (* (sin (/ eps 2)) (sin x)) (cos (/ eps 2))) (* (* (sin (/ eps 2)) (sin x)) (cos (/ eps 2)))) (* (* (sin (/ eps 2)) (sin x)) (cos (/ eps 2)))) (sqrt (* (* (sin (/ eps 2)) (sin x)) (cos (/ eps 2)))) (sqrt (* (* (sin (/ eps 2)) (sin x)) (cos (/ eps 2)))) (* (* (sin (/ eps 2)) (sin x)) (* (cbrt (cos (/ eps 2))) (cbrt (cos (/ eps 2))))) (* (* (sin (/ eps 2)) (sin x)) (sqrt (cos (/ eps 2)))) (* (* (sin (/ eps 2)) (sin x)) 1) (* (sin x) (cos (/ eps 2))) (* (- (cos (- (/ eps 2) x)) (cos (+ (/ eps 2) x))) (cos (/ eps 2))) (* (cos x) (sin (/ eps 2))) (+ (log (cos x)) (log (sin (/ eps 2)))) (log (* (cos x) (sin (/ eps 2)))) (exp (* (cos x) (sin (/ eps 2)))) (* (* (* (cos x) (cos x)) (cos x)) (* (* (sin (/ eps 2)) (sin (/ eps 2))) (sin (/ eps 2)))) (* (cbrt (* (cos x) (sin (/ eps 2)))) (cbrt (* (cos x) (sin (/ eps 2))))) (cbrt (* (cos x) (sin (/ eps 2)))) (* (* (* (cos x) (sin (/ eps 2))) (* (cos x) (sin (/ eps 2)))) (* (cos x) (sin (/ eps 2)))) (sqrt (* (cos x) (sin (/ eps 2)))) (sqrt (* (cos x) (sin (/ eps 2)))) (* (sqrt (cos x)) (sqrt (sin (/ eps 2)))) (* (sqrt (cos x)) (sqrt (sin (/ eps 2)))) (* (cos x) (* (cbrt (sin (/ eps 2))) (cbrt (sin (/ eps 2))))) (* (cos x) (sqrt (sin (/ eps 2)))) (* (cos x) 1) (* (cbrt (cos x)) (sin (/ eps 2))) (* (sqrt (cos x)) (sin (/ eps 2))) (* (cos x) (sin (/ eps 2))) (- (* 1/4 (pow eps 2)) (+ (* 1/8 (* (pow x 2) (pow eps 2))) (* 1/48 (pow eps 4)))) (* (pow (sin (* 1/2 eps)) 2) (cos x)) (* (pow (sin (* 1/2 eps)) 2) (cos x)) (* 1/2 (* x eps)) (* (sin x) (sin (* 1/2 eps))) (* (sin x) (sin (* 1/2 eps))) (* 1/2 (* x eps)) (* (sin x) (* (sin (* 1/2 eps)) (cos (* 1/2 eps)))) (* (sin x) (* (cos (* 1/2 eps)) (sin (* 1/2 eps)))) (- (* 1/2 eps) (+ (* 1/4 (* (pow x 2) eps)) (* 1/48 (pow eps 3)))) (* (sin (* 1/2 eps)) (cos x)) (* (sin (* 1/2 eps)) (cos x)) 200.238 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 200.239 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 200.240 * * [simplify]: iteration 2 : 13 enodes (cost 12 ) 200.242 * * [simplify]: iteration done : 13 enodes (cost 12 ) 200.243 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 200.244 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 200.245 * * [simplify]: iteration 2 : 13 enodes (cost 12 ) 200.246 * * [simplify]: iteration done : 13 enodes (cost 12 ) 200.247 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 200.251 * * [simplify]: iteration 1 : 12 enodes (cost 15 ) 200.252 * * [simplify]: iteration 2 : 15 enodes (cost 15 ) 200.254 * * [simplify]: iteration 3 : 16 enodes (cost 11 ) 200.256 * * [simplify]: iteration 4 : 17 enodes (cost 11 ) 200.257 * * [simplify]: iteration done : 17 enodes (cost 11 ) 200.258 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 200.259 * * [simplify]: iteration 1 : 14 enodes (cost 14 ) 200.261 * * [simplify]: iteration 2 : 17 enodes (cost 14 ) 200.262 * * [simplify]: iteration 3 : 19 enodes (cost 11 ) 200.264 * * [simplify]: iteration 4 : 20 enodes (cost 11 ) 200.266 * * [simplify]: iteration done : 20 enodes (cost 11 ) 200.267 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 200.268 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 200.270 * * [simplify]: iteration 2 : 21 enodes (cost 13 ) 200.273 * * [simplify]: iteration 3 : 27 enodes (cost 13 ) 200.276 * * [simplify]: iteration 4 : 28 enodes (cost 11 ) 200.279 * * [simplify]: iteration 5 : 29 enodes (cost 11 ) 200.282 * * [simplify]: iteration done : 29 enodes (cost 11 ) 200.282 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 200.283 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 200.285 * * [simplify]: iteration 2 : 21 enodes (cost 13 ) 200.288 * * [simplify]: iteration 3 : 39 enodes (cost 13 ) 200.293 * * [simplify]: iteration 4 : 83 enodes (cost 13 ) 200.309 * * [simplify]: iteration 5 : 189 enodes (cost 13 ) 200.394 * * [simplify]: iteration 6 : 473 enodes (cost 13 ) 200.859 * * [simplify]: iteration 7 : 1456 enodes (cost 13 ) 203.197 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 203.198 * * [simplify]: iteration 0 : 12 enodes (cost 38 ) 203.199 * * [simplify]: iteration 1 : 22 enodes (cost 38 ) 203.204 * * [simplify]: iteration 2 : 69 enodes (cost 18 ) 203.226 * * [simplify]: iteration 3 : 199 enodes (cost 11 ) 203.346 * * [simplify]: iteration 4 : 412 enodes (cost 11 ) 203.724 * * [simplify]: iteration 5 : 1060 enodes (cost 11 ) 206.066 * * [simplify]: iteration 6 : 3774 enodes (cost 11 ) 208.258 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 208.259 * * [simplify]: iteration 0 : 12 enodes (cost 38 ) 208.261 * * [simplify]: iteration 1 : 28 enodes (cost 38 ) 208.266 * * [simplify]: iteration 2 : 92 enodes (cost 16 ) 208.307 * * [simplify]: iteration 3 : 244 enodes (cost 16 ) 208.479 * * [simplify]: iteration 4 : 427 enodes (cost 14 ) 208.912 * * [simplify]: iteration 5 : 1001 enodes (cost 11 ) 210.876 * * [simplify]: iteration 6 : 3083 enodes (cost 11 ) 212.896 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 212.897 * * [simplify]: iteration 0 : 10 enodes (cost 27 ) 212.898 * * [simplify]: iteration 1 : 12 enodes (cost 27 ) 212.899 * * [simplify]: iteration 2 : 15 enodes (cost 27 ) 212.901 * * [simplify]: iteration done : 15 enodes (cost 27 ) 212.901 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 212.902 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 212.903 * * [simplify]: iteration 2 : 14 enodes (cost 13 ) 212.905 * * [simplify]: iteration done : 14 enodes (cost 13 ) 212.906 * * [simplify]: iteration 0 : 10 enodes (cost 38 ) 212.907 * * [simplify]: iteration 1 : 22 enodes (cost 38 ) 212.912 * * [simplify]: iteration 2 : 70 enodes (cost 14 ) 212.938 * * [simplify]: iteration 3 : 182 enodes (cost 14 ) 213.054 * * [simplify]: iteration 4 : 350 enodes (cost 14 ) 213.281 * * [simplify]: iteration 5 : 544 enodes (cost 11 ) 213.833 * * [simplify]: iteration 6 : 1348 enodes (cost 11 ) 216.981 * * [simplify]: iteration 7 : 4440 enodes (cost 11 ) 218.934 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 218.934 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 218.935 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 218.937 * * [simplify]: iteration 2 : 14 enodes (cost 13 ) 218.938 * * [simplify]: iteration done : 14 enodes (cost 13 ) 218.939 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 218.940 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 218.941 * * [simplify]: iteration 2 : 14 enodes (cost 13 ) 218.942 * * [simplify]: iteration done : 14 enodes (cost 13 ) 218.943 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 218.944 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 218.945 * * [simplify]: iteration done : 8 enodes (cost 7 ) 218.945 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 218.946 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 218.948 * * [simplify]: iteration 2 : 19 enodes (cost 13 ) 218.950 * * [simplify]: iteration done : 19 enodes (cost 13 ) 218.951 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 218.952 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 218.954 * * [simplify]: iteration 2 : 19 enodes (cost 13 ) 218.956 * * [simplify]: iteration done : 19 enodes (cost 13 ) 218.956 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 218.957 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 218.958 * * [simplify]: iteration 2 : 13 enodes (cost 12 ) 218.960 * * [simplify]: iteration done : 13 enodes (cost 12 ) 218.961 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 218.962 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 218.963 * * [simplify]: iteration 2 : 16 enodes (cost 13 ) 218.965 * * [simplify]: iteration done : 16 enodes (cost 13 ) 218.965 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 218.966 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 218.967 * * [simplify]: iteration done : 8 enodes (cost 7 ) 218.968 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 218.969 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 218.970 * * [simplify]: iteration done : 10 enodes (cost 9 ) 218.970 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 218.971 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 218.973 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 218.978 * * [simplify]: iteration done : 13 enodes (cost 8 ) 218.978 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 218.979 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 218.980 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 218.982 * * [simplify]: iteration 3 : 24 enodes (cost 8 ) 218.985 * * [simplify]: iteration 4 : 47 enodes (cost 8 ) 218.992 * * [simplify]: iteration 5 : 103 enodes (cost 8 ) 219.026 * * [simplify]: iteration 6 : 240 enodes (cost 8 ) 219.177 * * [simplify]: iteration 7 : 701 enodes (cost 8 ) 220.266 * * [simplify]: iteration 8 : 2714 enodes (cost 8 ) 222.303 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 222.303 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 222.305 * * [simplify]: iteration 1 : 18 enodes (cost 23 ) 222.308 * * [simplify]: iteration 2 : 43 enodes (cost 11 ) 222.317 * * [simplify]: iteration 3 : 80 enodes (cost 11 ) 222.337 * * [simplify]: iteration 4 : 138 enodes (cost 9 ) 222.388 * * [simplify]: iteration 5 : 265 enodes (cost 9 ) 222.530 * * [simplify]: iteration 6 : 652 enodes (cost 9 ) 223.435 * * [simplify]: iteration 7 : 2440 enodes (cost 9 ) 225.184 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 225.184 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 225.185 * * [simplify]: iteration 1 : 10 enodes (cost 17 ) 225.186 * * [simplify]: iteration done : 10 enodes (cost 17 ) 225.187 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 225.188 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 225.188 * * [simplify]: iteration done : 9 enodes (cost 8 ) 225.189 * * [simplify]: iteration 0 : 9 enodes (cost 23 ) 225.190 * * [simplify]: iteration 1 : 20 enodes (cost 23 ) 225.198 * * [simplify]: iteration 2 : 49 enodes (cost 9 ) 225.211 * * [simplify]: iteration 3 : 92 enodes (cost 9 ) 225.235 * * [simplify]: iteration 4 : 108 enodes (cost 9 ) 225.268 * * [simplify]: iteration 5 : 154 enodes (cost 9 ) 225.330 * * [simplify]: iteration 6 : 292 enodes (cost 9 ) 225.496 * * [simplify]: iteration 7 : 756 enodes (cost 9 ) 226.544 * * [simplify]: iteration 8 : 2750 enodes (cost 9 ) 228.550 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 228.551 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 228.552 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 228.552 * * [simplify]: iteration done : 9 enodes (cost 8 ) 228.553 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 228.554 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 228.555 * * [simplify]: iteration done : 9 enodes (cost 8 ) 228.555 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 228.557 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 228.557 * * [simplify]: iteration done : 10 enodes (cost 9 ) 228.558 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 228.559 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 228.560 * * [simplify]: iteration done : 10 enodes (cost 9 ) 228.561 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 228.561 * * [simplify]: iteration 1 : 12 enodes (cost 12 ) 228.563 * * [simplify]: iteration 2 : 14 enodes (cost 12 ) 228.564 * * [simplify]: iteration done : 14 enodes (cost 12 ) 228.565 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 228.566 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 228.567 * * [simplify]: iteration done : 9 enodes (cost 8 ) 228.567 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 228.568 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 228.569 * * [simplify]: iteration 2 : 12 enodes (cost 4 ) 228.570 * * [simplify]: iteration done : 12 enodes (cost 4 ) 228.570 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 228.571 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 228.572 * * [simplify]: iteration done : 9 enodes (cost 8 ) 228.573 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 228.574 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 228.574 * * [simplify]: iteration done : 9 enodes (cost 8 ) 228.575 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 228.579 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 228.580 * * [simplify]: iteration done : 8 enodes (cost 7 ) 228.581 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 228.582 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 228.583 * * [simplify]: iteration 2 : 19 enodes (cost 12 ) 228.586 * * [simplify]: iteration done : 19 enodes (cost 12 ) 228.586 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 228.587 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 228.589 * * [simplify]: iteration 2 : 19 enodes (cost 12 ) 228.591 * * [simplify]: iteration done : 19 enodes (cost 12 ) 228.592 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 228.593 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 228.595 * * [simplify]: iteration 2 : 22 enodes (cost 15 ) 228.597 * * [simplify]: iteration 3 : 24 enodes (cost 15 ) 228.600 * * [simplify]: iteration done : 24 enodes (cost 15 ) 228.600 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 228.602 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 228.603 * * [simplify]: iteration 2 : 21 enodes (cost 14 ) 228.606 * * [simplify]: iteration 3 : 25 enodes (cost 14 ) 228.608 * * [simplify]: iteration done : 25 enodes (cost 14 ) 228.609 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 228.610 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 228.612 * * [simplify]: iteration 2 : 30 enodes (cost 13 ) 228.616 * * [simplify]: iteration 3 : 42 enodes (cost 13 ) 228.621 * * [simplify]: iteration 4 : 44 enodes (cost 13 ) 228.625 * * [simplify]: iteration done : 44 enodes (cost 13 ) 228.626 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 228.627 * * [simplify]: iteration 1 : 16 enodes (cost 13 ) 228.629 * * [simplify]: iteration 2 : 32 enodes (cost 13 ) 228.633 * * [simplify]: iteration 3 : 54 enodes (cost 13 ) 228.642 * * [simplify]: iteration 4 : 110 enodes (cost 13 ) 228.661 * * [simplify]: iteration 5 : 251 enodes (cost 13 ) 228.772 * * [simplify]: iteration 6 : 596 enodes (cost 13 ) 229.210 * * [simplify]: iteration 7 : 1575 enodes (cost 13 ) 230.629 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 230.629 * * [simplify]: iteration 0 : 15 enodes (cost 38 ) 230.632 * * [simplify]: iteration 1 : 28 enodes (cost 38 ) 230.637 * * [simplify]: iteration 2 : 93 enodes (cost 18 ) 230.674 * * [simplify]: iteration 3 : 339 enodes (cost 18 ) 230.955 * * [simplify]: iteration 4 : 1097 enodes (cost 16 ) 232.838 * * [simplify]: iteration 5 : 3000 enodes (cost 16 ) 234.429 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 234.429 * * [simplify]: iteration 0 : 13 enodes (cost 38 ) 234.431 * * [simplify]: iteration 1 : 30 enodes (cost 38 ) 234.438 * * [simplify]: iteration 2 : 97 enodes (cost 16 ) 234.480 * * [simplify]: iteration 3 : 372 enodes (cost 16 ) 234.855 * * [simplify]: iteration 4 : 1121 enodes (cost 14 ) 236.659 * * [simplify]: iteration 5 : 2171 enodes (cost 14 ) 241.829 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 241.829 * * [simplify]: iteration 0 : 11 enodes (cost 27 ) 241.831 * * [simplify]: iteration 1 : 15 enodes (cost 27 ) 241.832 * * [simplify]: iteration 2 : 21 enodes (cost 27 ) 241.835 * * [simplify]: iteration done : 21 enodes (cost 27 ) 241.836 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 241.837 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 241.838 * * [simplify]: iteration 2 : 20 enodes (cost 13 ) 241.841 * * [simplify]: iteration done : 20 enodes (cost 13 ) 241.841 * * [simplify]: iteration 0 : 11 enodes (cost 38 ) 241.843 * * [simplify]: iteration 1 : 25 enodes (cost 38 ) 241.848 * * [simplify]: iteration 2 : 95 enodes (cost 14 ) 241.899 * * [simplify]: iteration 3 : 431 enodes (cost 14 ) 242.491 * * [simplify]: iteration 4 : 1224 enodes (cost 14 ) 244.231 * * [simplify]: iteration 5 : 1704 enodes (cost 14 ) 247.486 * * [simplify]: iteration 6 : 3289 enodes (cost 14 ) 249.284 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 249.285 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 249.286 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 249.288 * * [simplify]: iteration 2 : 20 enodes (cost 13 ) 249.295 * * [simplify]: iteration done : 20 enodes (cost 13 ) 249.296 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 249.297 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 249.298 * * [simplify]: iteration 2 : 20 enodes (cost 13 ) 249.301 * * [simplify]: iteration done : 20 enodes (cost 13 ) 249.301 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 249.303 * * [simplify]: iteration 1 : 17 enodes (cost 19 ) 249.305 * * [simplify]: iteration 2 : 30 enodes (cost 19 ) 249.310 * * [simplify]: iteration 3 : 40 enodes (cost 19 ) 249.316 * * [simplify]: iteration done : 40 enodes (cost 19 ) 249.317 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 249.318 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 249.320 * * [simplify]: iteration 2 : 20 enodes (cost 13 ) 249.322 * * [simplify]: iteration 3 : 22 enodes (cost 13 ) 249.325 * * [simplify]: iteration done : 22 enodes (cost 13 ) 249.325 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 249.326 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 249.328 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 249.332 * * [simplify]: iteration 3 : 35 enodes (cost 7 ) 249.335 * * [simplify]: iteration done : 35 enodes (cost 7 ) 249.335 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 249.336 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 249.337 * * [simplify]: iteration done : 8 enodes (cost 7 ) 249.337 * * [simplify]: iteration 0 : 11 enodes (cost 18 ) 249.339 * * [simplify]: iteration 1 : 17 enodes (cost 18 ) 249.340 * * [simplify]: iteration 2 : 25 enodes (cost 18 ) 249.343 * * [simplify]: iteration 3 : 30 enodes (cost 18 ) 249.347 * * [simplify]: iteration 4 : 34 enodes (cost 18 ) 249.351 * * [simplify]: iteration done : 34 enodes (cost 18 ) 249.351 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 249.352 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 249.353 * * [simplify]: iteration done : 8 enodes (cost 7 ) 249.353 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 249.357 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 249.357 * * [simplify]: iteration done : 10 enodes (cost 9 ) 249.358 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 249.359 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 249.360 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 249.362 * * [simplify]: iteration done : 13 enodes (cost 8 ) 249.362 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 249.363 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 249.364 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 249.366 * * [simplify]: iteration 3 : 24 enodes (cost 8 ) 249.369 * * [simplify]: iteration 4 : 47 enodes (cost 8 ) 249.376 * * [simplify]: iteration 5 : 103 enodes (cost 8 ) 249.409 * * [simplify]: iteration 6 : 240 enodes (cost 8 ) 249.557 * * [simplify]: iteration 7 : 702 enodes (cost 8 ) 250.636 * * [simplify]: iteration 8 : 2708 enodes (cost 8 ) 252.365 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 252.366 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 252.367 * * [simplify]: iteration 1 : 18 enodes (cost 23 ) 252.370 * * [simplify]: iteration 2 : 43 enodes (cost 11 ) 252.384 * * [simplify]: iteration 3 : 79 enodes (cost 11 ) 252.404 * * [simplify]: iteration 4 : 135 enodes (cost 9 ) 252.456 * * [simplify]: iteration 5 : 260 enodes (cost 9 ) 252.600 * * [simplify]: iteration 6 : 659 enodes (cost 9 ) 253.526 * * [simplify]: iteration 7 : 2458 enodes (cost 9 ) 255.134 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 255.135 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 255.136 * * [simplify]: iteration 1 : 10 enodes (cost 17 ) 255.137 * * [simplify]: iteration done : 10 enodes (cost 17 ) 255.137 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 255.138 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 255.139 * * [simplify]: iteration done : 9 enodes (cost 8 ) 255.140 * * [simplify]: iteration 0 : 9 enodes (cost 23 ) 255.141 * * [simplify]: iteration 1 : 20 enodes (cost 23 ) 255.144 * * [simplify]: iteration 2 : 49 enodes (cost 9 ) 255.161 * * [simplify]: iteration 3 : 91 enodes (cost 9 ) 255.185 * * [simplify]: iteration 4 : 107 enodes (cost 9 ) 255.216 * * [simplify]: iteration 5 : 153 enodes (cost 9 ) 255.276 * * [simplify]: iteration 6 : 295 enodes (cost 9 ) 255.446 * * [simplify]: iteration 7 : 747 enodes (cost 9 ) 256.519 * * [simplify]: iteration 8 : 2750 enodes (cost 9 ) 258.564 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 258.564 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 258.565 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 258.566 * * [simplify]: iteration done : 9 enodes (cost 8 ) 258.567 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 258.568 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 258.569 * * [simplify]: iteration done : 9 enodes (cost 8 ) 258.569 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 258.570 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 258.571 * * [simplify]: iteration done : 10 enodes (cost 9 ) 258.572 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 258.573 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 258.574 * * [simplify]: iteration done : 10 enodes (cost 9 ) 258.574 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 258.575 * * [simplify]: iteration 1 : 12 enodes (cost 14 ) 258.577 * * [simplify]: iteration 2 : 14 enodes (cost 14 ) 258.578 * * [simplify]: iteration done : 14 enodes (cost 14 ) 258.579 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 258.580 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 258.581 * * [simplify]: iteration done : 9 enodes (cost 8 ) 258.581 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 258.582 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 258.582 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 258.583 * * [simplify]: iteration done : 10 enodes (cost 2 ) 258.584 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 258.585 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 258.585 * * [simplify]: iteration done : 9 enodes (cost 8 ) 258.586 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 258.587 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 258.588 * * [simplify]: iteration done : 9 enodes (cost 8 ) 258.588 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 258.589 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 258.590 * * [simplify]: iteration done : 8 enodes (cost 7 ) 258.590 * * [simplify]: iteration 0 : 16 enodes (cost 21 ) 258.593 * * [simplify]: iteration 1 : 38 enodes (cost 21 ) 258.608 * * [simplify]: iteration 2 : 132 enodes (cost 17 ) 258.629 * * [simplify]: iteration 3 : 260 enodes (cost 17 ) 258.708 * * [simplify]: iteration 4 : 556 enodes (cost 17 ) 259.031 * * [simplify]: iteration 5 : 1025 enodes (cost 17 ) 259.572 * * [simplify]: iteration 6 : 1569 enodes (cost 17 ) 260.859 * * [simplify]: iteration 7 : 2916 enodes (cost 17 ) 262.642 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 262.643 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 262.644 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 262.646 * * [simplify]: iteration 2 : 31 enodes (cost 9 ) 262.649 * * [simplify]: iteration 3 : 50 enodes (cost 9 ) 262.657 * * [simplify]: iteration 4 : 101 enodes (cost 9 ) 262.687 * * [simplify]: iteration 5 : 251 enodes (cost 9 ) 262.880 * * [simplify]: iteration 6 : 786 enodes (cost 9 ) 264.925 * * [simplify]: iteration 7 : 3255 enodes (cost 9 ) 268.166 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 268.167 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 268.168 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 268.170 * * [simplify]: iteration 2 : 31 enodes (cost 9 ) 268.174 * * [simplify]: iteration 3 : 50 enodes (cost 9 ) 268.181 * * [simplify]: iteration 4 : 101 enodes (cost 9 ) 268.211 * * [simplify]: iteration 5 : 251 enodes (cost 9 ) 268.409 * * [simplify]: iteration 6 : 786 enodes (cost 9 ) 270.702 * * [simplify]: iteration 7 : 3255 enodes (cost 9 ) 273.953 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 273.954 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 273.955 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 273.956 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 273.963 * * [simplify]: iteration done : 15 enodes (cost 5 ) 273.964 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 273.964 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 273.965 * * [simplify]: iteration done : 9 enodes (cost 7 ) 273.966 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 273.967 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 273.968 * * [simplify]: iteration done : 9 enodes (cost 7 ) 273.968 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 273.969 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 273.970 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 273.972 * * [simplify]: iteration done : 15 enodes (cost 5 ) 273.973 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 273.974 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 273.976 * * [simplify]: iteration 2 : 20 enodes (cost 12 ) 273.978 * * [simplify]: iteration done : 20 enodes (cost 12 ) 273.979 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 273.980 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 273.981 * * [simplify]: iteration 2 : 20 enodes (cost 12 ) 273.984 * * [simplify]: iteration done : 20 enodes (cost 12 ) 273.984 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 273.986 * * [simplify]: iteration 1 : 38 enodes (cost 17 ) 273.993 * * [simplify]: iteration 2 : 92 enodes (cost 15 ) 274.008 * * [simplify]: iteration 3 : 197 enodes (cost 15 ) 274.076 * * [simplify]: iteration 4 : 445 enodes (cost 15 ) 274.289 * * [simplify]: iteration 5 : 940 enodes (cost 15 ) 275.992 * * [simplify]: iteration 6 : 3023 enodes (cost 15 ) 278.278 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 278.279 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 278.280 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 278.284 * * [simplify]: iteration done : 9 enodes (cost 7 ) 278.285 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 278.286 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 278.286 * * [simplify]: iteration done : 9 enodes (cost 7 ) 278.287 * [simplify]: Simplified to: (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2)))) (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2)))) (+ (log (cos x)) (* 2 (log (sin (/ eps 2))))) (+ (log (cos x)) (* 2 (log (sin (/ eps 2))))) (+ (* 2 (log (sin (/ eps 2)))) (log (cos x))) (exp (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (* (pow (cos x) 3) (pow (sin (/ eps 2)) 6)) (* (pow (sin (/ eps 2)) 6) (pow (cos x) 3)) (* (cbrt (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (cbrt (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2)))))) (cbrt (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (* (pow (sin (/ eps 2)) 6) (pow (cos x) 3)) (sqrt (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (sqrt (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))) (* (sin (/ eps 2)) (cos x)) (* (cbrt (sin (/ eps 2))) (* (cos x) (sin (/ eps 2)))) (* (sqrt (sin (/ eps 2))) (* (cos x) (sin (/ eps 2)))) (* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2)))) (- (cos (- (/ eps 2) x)) (cos (+ (/ eps 2) x))) (* (sin (/ eps 2)) (sin x)) (+ (log (sin (/ eps 2))) (log (sin x))) (log (* (sin (/ eps 2)) (sin x))) (exp (* (sin (/ eps 2)) (sin x))) (pow (* (sin (/ eps 2)) (sin x)) 3) (* (cbrt (* (sin (/ eps 2)) (sin x))) (cbrt (* (sin (/ eps 2)) (sin x)))) (cbrt (* (sin (/ eps 2)) (sin x))) (pow (* (sin (/ eps 2)) (sin x)) 3) (sqrt (* (sin (/ eps 2)) (sin x))) (sqrt (* (sin (/ eps 2)) (sin x))) (* (sqrt (sin (/ eps 2))) (sqrt (sin x))) (* (sqrt (sin (/ eps 2))) (sqrt (sin x))) (* (sin (/ eps 2)) (* (cbrt (sin x)) (cbrt (sin x)))) (* (sin (/ eps 2)) (sqrt (sin x))) (sin (/ eps 2)) (* (cbrt (sin (/ eps 2))) (sin x)) (* (sqrt (sin (/ eps 2))) (sin x)) (* (sin (/ eps 2)) (sin x)) (* (* (sin (/ eps 2)) (sin x)) (cos (/ eps 2))) (* (* (sin (/ eps 2)) (sin x)) (cos (/ eps 2))) (+ (+ (log (sin (/ eps 2))) (log (sin x))) (log (cos (/ eps 2)))) (+ (log (* (sin (/ eps 2)) (sin x))) (log (cos (/ eps 2)))) (log (* (* (sin (/ eps 2)) (sin x)) (cos (/ eps 2)))) (exp (* (* (sin (/ eps 2)) (sin x)) (cos (/ eps 2)))) (* (pow (cos (/ eps 2)) 3) (pow (* (sin (/ eps 2)) (sin x)) 3)) (pow (* (* (sin (/ eps 2)) (sin x)) (cos (/ eps 2))) 3) (* (cbrt (* (* (sin (/ eps 2)) (sin x)) (cos (/ eps 2)))) (cbrt (* (* (sin (/ eps 2)) (sin x)) (cos (/ eps 2))))) (cbrt (* (* (sin (/ eps 2)) (sin x)) (cos (/ eps 2)))) (pow (* (* (sin (/ eps 2)) (sin x)) (cos (/ eps 2))) 3) (sqrt (* (* (sin (/ eps 2)) (sin x)) (cos (/ eps 2)))) (sqrt (* (* (sin (/ eps 2)) (sin x)) (cos (/ eps 2)))) (* (* (sin (/ eps 2)) (sin x)) (* (cbrt (cos (/ eps 2))) (cbrt (cos (/ eps 2))))) (* (* (sin (/ eps 2)) (sin x)) (sqrt (cos (/ eps 2)))) (* (sin (/ eps 2)) (sin x)) (* (sin x) (cos (/ eps 2))) (* (- (cos (- (/ eps 2) x)) (cos (+ (/ eps 2) x))) (cos (/ eps 2))) (* (cos x) (sin (/ eps 2))) (+ (log (cos x)) (log (sin (/ eps 2)))) (log (* (cos x) (sin (/ eps 2)))) (exp (* (cos x) (sin (/ eps 2)))) (pow (* (cos x) (sin (/ eps 2))) 3) (* (cbrt (* (cos x) (sin (/ eps 2)))) (cbrt (* (cos x) (sin (/ eps 2))))) (cbrt (* (cos x) (sin (/ eps 2)))) (pow (* (cos x) (sin (/ eps 2))) 3) (sqrt (* (cos x) (sin (/ eps 2)))) (sqrt (* (cos x) (sin (/ eps 2)))) (* (sqrt (cos x)) (sqrt (sin (/ eps 2)))) (* (sqrt (cos x)) (sqrt (sin (/ eps 2)))) (* (cos x) (* (cbrt (sin (/ eps 2))) (cbrt (sin (/ eps 2))))) (* (cos x) (sqrt (sin (/ eps 2)))) (cos x) (* (cbrt (cos x)) (sin (/ eps 2))) (* (sqrt (cos x)) (sin (/ eps 2))) (* (cos x) (sin (/ eps 2))) (- (* (pow eps 2) (- 1/4 (* 1/8 (pow x 2)))) (* 1/48 (pow eps 4))) (* (pow (sin (* 1/2 eps)) 2) (cos x)) (* (pow (sin (* 1/2 eps)) 2) (cos x)) (* 1/2 (* x eps)) (* (sin x) (sin (* 1/2 eps))) (* (sin x) (sin (* 1/2 eps))) (* 1/2 (* x eps)) (* (sin x) (* (sin (* 1/2 eps)) (cos (* 1/2 eps)))) (* (sin x) (* (cos (* 1/2 eps)) (sin (* 1/2 eps)))) (- (* eps (- 1/2 (* 1/4 (pow x 2)))) (* 1/48 (pow eps 3))) (* (sin (* 1/2 eps)) (cos x)) (* (sin (* 1/2 eps)) (cos x)) 278.288 * * * [progress]: adding candidates to table 278.490 * [progress]: [Phase 3 of 3] Extracting. 278.491 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # #) 278.496 * * * [regime-changes]: Trying 3 branch expressions: ((- (cos (+ x eps)) (cos x)) eps x) 278.496 * * * * [regimes]: Trying to branch on (- (cos (+ x eps)) (cos x)) from (# # # # # # # # # # # # # # #) 278.605 * * * * [regimes]: Trying to branch on eps from (# # # # # # # # # # # # # # #) 278.710 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # # # #) 278.815 * * * [regime]: Found split indices: #