12.829 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.083 * * * [progress]: [2/2] Setting up program. 0.085 * [progress]: [Phase 2 of 3] Improving. 0.085 * [simplify]: Simplifying using # : (log (/ (- 1.0 eps) (+ 1.0 eps))) 0.087 * * [simplify]: iteration 0 : 15 enodes (cost 4 ) 0.088 * * [simplify]: iteration 1 : 20 enodes (cost 4 ) 0.090 * * [simplify]: iteration 2 : 23 enodes (cost 4 ) 0.091 * * [simplify]: iteration 3 : 23 enodes (cost 4 ) 0.091 * [simplify]: Simplified to: (log (/ (- 1.0 eps) (+ 1.0 eps))) 0.091 * * [progress]: iteration 1 / 4 0.091 * * * [progress]: picking best candidate 0.093 * * * * [pick]: Picked # 0.093 * * * [progress]: localizing error 0.098 * * * [progress]: generating rewritten candidates 0.098 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.101 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.106 * * * [progress]: generating series expansions 0.106 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.106 * [approximate]: Taking taylor expansion of (log (/ (- 1.0 eps) (+ eps 1.0))) in (eps) around 0 0.106 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 eps) (+ eps 1.0))) in eps 0.106 * [taylor]: Taking taylor expansion of (/ (- 1.0 eps) (+ eps 1.0)) in eps 0.106 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 0.106 * [taylor]: Taking taylor expansion of 1.0 in eps 0.106 * [taylor]: Taking taylor expansion of eps in eps 0.106 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 0.106 * [taylor]: Taking taylor expansion of eps in eps 0.106 * [taylor]: Taking taylor expansion of 1.0 in eps 0.108 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 eps) (+ eps 1.0))) in eps 0.108 * [taylor]: Taking taylor expansion of (/ (- 1.0 eps) (+ eps 1.0)) in eps 0.108 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 0.108 * [taylor]: Taking taylor expansion of 1.0 in eps 0.108 * [taylor]: Taking taylor expansion of eps in eps 0.108 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 0.108 * [taylor]: Taking taylor expansion of eps in eps 0.108 * [taylor]: Taking taylor expansion of 1.0 in eps 0.140 * [approximate]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0))) in (eps) around 0 0.140 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0))) in eps 0.140 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in eps 0.140 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.140 * [taylor]: Taking taylor expansion of 1.0 in eps 0.140 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.140 * [taylor]: Taking taylor expansion of eps in eps 0.140 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.140 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.140 * [taylor]: Taking taylor expansion of eps in eps 0.140 * [taylor]: Taking taylor expansion of 1.0 in eps 0.142 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0))) in eps 0.142 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in eps 0.142 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.142 * [taylor]: Taking taylor expansion of 1.0 in eps 0.142 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.142 * [taylor]: Taking taylor expansion of eps in eps 0.142 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.142 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.142 * [taylor]: Taking taylor expansion of eps in eps 0.142 * [taylor]: Taking taylor expansion of 1.0 in eps 0.185 * [approximate]: Taking taylor expansion of (log (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps)))) in (eps) around 0 0.186 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps)))) in eps 0.186 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in eps 0.186 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.186 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.186 * [taylor]: Taking taylor expansion of eps in eps 0.186 * [taylor]: Taking taylor expansion of 1.0 in eps 0.186 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.186 * [taylor]: Taking taylor expansion of 1.0 in eps 0.186 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.186 * [taylor]: Taking taylor expansion of eps in eps 0.187 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps)))) in eps 0.188 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in eps 0.188 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.188 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.188 * [taylor]: Taking taylor expansion of eps in eps 0.188 * [taylor]: Taking taylor expansion of 1.0 in eps 0.188 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.188 * [taylor]: Taking taylor expansion of 1.0 in eps 0.188 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.188 * [taylor]: Taking taylor expansion of eps in eps 0.239 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.239 * [approximate]: Taking taylor expansion of (/ (- 1.0 eps) (+ eps 1.0)) in (eps) around 0 0.239 * [taylor]: Taking taylor expansion of (/ (- 1.0 eps) (+ eps 1.0)) in eps 0.239 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 0.239 * [taylor]: Taking taylor expansion of 1.0 in eps 0.239 * [taylor]: Taking taylor expansion of eps in eps 0.239 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 0.239 * [taylor]: Taking taylor expansion of eps in eps 0.239 * [taylor]: Taking taylor expansion of 1.0 in eps 0.240 * [taylor]: Taking taylor expansion of (/ (- 1.0 eps) (+ eps 1.0)) in eps 0.241 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 0.241 * [taylor]: Taking taylor expansion of 1.0 in eps 0.241 * [taylor]: Taking taylor expansion of eps in eps 0.241 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 0.241 * [taylor]: Taking taylor expansion of eps in eps 0.241 * [taylor]: Taking taylor expansion of 1.0 in eps 0.248 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in (eps) around 0 0.249 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in eps 0.249 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.249 * [taylor]: Taking taylor expansion of 1.0 in eps 0.249 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.249 * [taylor]: Taking taylor expansion of eps in eps 0.249 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.249 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.249 * [taylor]: Taking taylor expansion of eps in eps 0.249 * [taylor]: Taking taylor expansion of 1.0 in eps 0.250 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in eps 0.250 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.250 * [taylor]: Taking taylor expansion of 1.0 in eps 0.250 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.250 * [taylor]: Taking taylor expansion of eps in eps 0.251 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.251 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.251 * [taylor]: Taking taylor expansion of eps in eps 0.251 * [taylor]: Taking taylor expansion of 1.0 in eps 0.260 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in (eps) around 0 0.260 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in eps 0.260 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.260 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.260 * [taylor]: Taking taylor expansion of eps in eps 0.261 * [taylor]: Taking taylor expansion of 1.0 in eps 0.261 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.261 * [taylor]: Taking taylor expansion of 1.0 in eps 0.261 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.261 * [taylor]: Taking taylor expansion of eps in eps 0.262 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in eps 0.262 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.262 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.262 * [taylor]: Taking taylor expansion of eps in eps 0.262 * [taylor]: Taking taylor expansion of 1.0 in eps 0.262 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.262 * [taylor]: Taking taylor expansion of 1.0 in eps 0.262 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.262 * [taylor]: Taking taylor expansion of eps in eps 0.273 * * * [progress]: simplifying candidates 0.273 * [simplify]: Simplifying using # : (log (- 1.0 eps)) (log (/ 1 (+ 1.0 eps))) (log (/ (- 1.0 eps) (+ (pow 1.0 3) (pow eps 3)))) (log (+ (* 1.0 1.0) (- (* eps eps) (* 1.0 eps)))) (log (/ (- 1.0 eps) (- (* 1.0 1.0) (* eps eps)))) (log (- 1.0 eps)) (log (- 1.0 eps)) (log (+ 1.0 eps)) (log (- (- 1.0 eps))) (log (- (+ 1.0 eps))) (log 1) (log (/ (+ 1.0 eps) (- 1.0 eps))) (log (- (pow 1.0 3) (pow eps 3))) (log (* (+ 1.0 eps) (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps))))) (log (- (* 1.0 1.0) (* eps eps))) (log (* (+ 1.0 eps) (+ 1.0 eps))) (log (/ (+ 1.0 eps) (- 1.0 eps))) (- (- 1.0 eps)) (- (+ 1.0 eps)) (/ 1.0 (+ 1.0 eps)) (/ eps (+ 1.0 eps)) (/ 1 (+ 1.0 eps)) (/ (+ 1.0 eps) (- 1.0 eps)) (/ (- 1.0 eps) (+ (pow 1.0 3) (pow eps 3))) (/ (- 1.0 eps) (- (* 1.0 1.0) (* eps eps))) (* (+ 1.0 eps) (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps)))) (* (+ 1.0 eps) (+ 1.0 eps)) (- (+ (* 2.0 (pow eps 2)) (log 1.0)) (+ (* 2.0 (/ (pow eps 2) (pow 1.0 2))) (* 2.0 eps))) (- (log -1) (+ (* 0.6666666666666666 (/ 1 (pow eps 3))) (* 2.0 (/ 1 eps)))) (- (log -1) (+ (* 0.6666666666666666 (/ 1 (pow eps 3))) (* 2.0 (/ 1 eps)))) (- (+ (* 2.0 (pow eps 2)) 1.0) (* 2.0 eps)) (- (* 2.0 (/ 1 eps)) (+ (* 2.0 (/ 1 (pow eps 2))) 1)) (- (* 2.0 (/ 1 eps)) (+ (* 2.0 (/ 1 (pow eps 2))) 1)) 0.277 * * [simplify]: iteration 0 : 182 enodes (cost 137 ) 0.280 * * [simplify]: iteration 1 : 537 enodes (cost 133 ) 0.288 * * [simplify]: iteration 2 : 1937 enodes (cost 129 ) 0.323 * * [simplify]: iteration 3 : 5001 enodes (cost 119 ) 0.324 * [simplify]: Simplified to: (log (- 1.0 eps)) (log (/ 1 (+ 1.0 eps))) (log (/ (- 1.0 eps) (+ (pow 1.0 3) (pow eps 3)))) (log (+ (* 1.0 1.0) (- (* eps eps) (* 1.0 eps)))) (log (/ 1 (+ 1.0 eps))) (log (- 1.0 eps)) (log (- 1.0 eps)) (log (+ 1.0 eps)) (log (- (- 1.0 eps))) (log (- (+ 1.0 eps))) 0 (log (/ (+ 1.0 eps) (- 1.0 eps))) (log (- (pow 1.0 3) (pow eps 3))) (+ (log (+ 1.0 eps)) (log (fma 1.0 1.0 (fma eps eps (* 1.0 eps))))) (log (- (* 1.0 1.0) (* eps eps))) (* 2 (log (+ 1.0 eps))) (log (/ (+ 1.0 eps) (- 1.0 eps))) (- eps 1.0) (- (+ 1.0 eps)) (/ 1.0 (+ 1.0 eps)) (/ eps (+ 1.0 eps)) (/ 1 (+ 1.0 eps)) (/ (+ 1.0 eps) (- 1.0 eps)) (/ (- 1.0 eps) (+ (pow 1.0 3) (pow eps 3))) (/ 1 (+ 1.0 eps)) (* (fma 1.0 1.0 (fma eps eps (* 1.0 eps))) (+ 1.0 eps)) (* (+ 1.0 eps) (+ 1.0 eps)) (fma 2.0 (- (pow eps 2) (fma (/ eps 1.0) (/ eps 1.0) eps)) (log 1.0)) (+ (log -1) (- (/ (- 0.6666666666666666) (pow eps 3)) (/ 2.0 eps))) (+ (log -1) (- (/ (- 0.6666666666666666) (pow eps 3)) (/ 2.0 eps))) (fma 2.0 (- (pow eps 2) eps) 1.0) (fma (/ 1 eps) (- 2.0 (/ 2.0 eps)) (- 1)) (fma (/ 1 eps) (- 2.0 (/ 2.0 eps)) (- 1)) 0.324 * * * [progress]: adding candidates to table 0.383 * * [progress]: iteration 2 / 4 0.383 * * * [progress]: picking best candidate 0.388 * * * * [pick]: Picked # 0.388 * * * [progress]: localizing error 0.398 * * * [progress]: generating rewritten candidates 0.398 * * * [progress]: generating series expansions 0.398 * * * [progress]: simplifying candidates 0.398 * [simplify]: Simplifying using # : 0.403 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 0.403 * [simplify]: Simplified to: 0.403 * * * [progress]: adding candidates to table 0.403 * * [progress]: iteration 3 / 4 0.403 * * * [progress]: picking best candidate 0.406 * * * * [pick]: Picked # 0.406 * * * [progress]: localizing error 0.413 * * * [progress]: generating rewritten candidates 0.413 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.417 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1) 0.421 * * * [progress]: generating series expansions 0.421 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.421 * [approximate]: Taking taylor expansion of (log (/ (+ eps 1.0) (- 1.0 eps))) in (eps) around 0 0.421 * [taylor]: Taking taylor expansion of (log (/ (+ eps 1.0) (- 1.0 eps))) in eps 0.421 * [taylor]: Taking taylor expansion of (/ (+ eps 1.0) (- 1.0 eps)) in eps 0.421 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 0.421 * [taylor]: Taking taylor expansion of eps in eps 0.421 * [taylor]: Taking taylor expansion of 1.0 in eps 0.421 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 0.421 * [taylor]: Taking taylor expansion of 1.0 in eps 0.421 * [taylor]: Taking taylor expansion of eps in eps 0.423 * [taylor]: Taking taylor expansion of (log (/ (+ eps 1.0) (- 1.0 eps))) in eps 0.423 * [taylor]: Taking taylor expansion of (/ (+ eps 1.0) (- 1.0 eps)) in eps 0.423 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 0.423 * [taylor]: Taking taylor expansion of eps in eps 0.423 * [taylor]: Taking taylor expansion of 1.0 in eps 0.423 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 0.423 * [taylor]: Taking taylor expansion of 1.0 in eps 0.423 * [taylor]: Taking taylor expansion of eps in eps 0.448 * [approximate]: Taking taylor expansion of (log (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps)))) in (eps) around 0 0.448 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps)))) in eps 0.448 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in eps 0.448 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.448 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.448 * [taylor]: Taking taylor expansion of eps in eps 0.449 * [taylor]: Taking taylor expansion of 1.0 in eps 0.449 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.449 * [taylor]: Taking taylor expansion of 1.0 in eps 0.449 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.449 * [taylor]: Taking taylor expansion of eps in eps 0.450 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps)))) in eps 0.450 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in eps 0.450 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.450 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.450 * [taylor]: Taking taylor expansion of eps in eps 0.451 * [taylor]: Taking taylor expansion of 1.0 in eps 0.451 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.451 * [taylor]: Taking taylor expansion of 1.0 in eps 0.451 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.451 * [taylor]: Taking taylor expansion of eps in eps 0.502 * [approximate]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0))) in (eps) around 0 0.502 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0))) in eps 0.502 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in eps 0.502 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.502 * [taylor]: Taking taylor expansion of 1.0 in eps 0.502 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.502 * [taylor]: Taking taylor expansion of eps in eps 0.502 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.502 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.502 * [taylor]: Taking taylor expansion of eps in eps 0.502 * [taylor]: Taking taylor expansion of 1.0 in eps 0.504 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0))) in eps 0.504 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in eps 0.504 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.504 * [taylor]: Taking taylor expansion of 1.0 in eps 0.504 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.504 * [taylor]: Taking taylor expansion of eps in eps 0.504 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.504 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.504 * [taylor]: Taking taylor expansion of eps in eps 0.504 * [taylor]: Taking taylor expansion of 1.0 in eps 0.548 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1) 0.548 * [approximate]: Taking taylor expansion of (/ (+ eps 1.0) (- 1.0 eps)) in (eps) around 0 0.548 * [taylor]: Taking taylor expansion of (/ (+ eps 1.0) (- 1.0 eps)) in eps 0.548 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 0.548 * [taylor]: Taking taylor expansion of eps in eps 0.548 * [taylor]: Taking taylor expansion of 1.0 in eps 0.548 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 0.548 * [taylor]: Taking taylor expansion of 1.0 in eps 0.548 * [taylor]: Taking taylor expansion of eps in eps 0.549 * [taylor]: Taking taylor expansion of (/ (+ eps 1.0) (- 1.0 eps)) in eps 0.549 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 0.549 * [taylor]: Taking taylor expansion of eps in eps 0.549 * [taylor]: Taking taylor expansion of 1.0 in eps 0.549 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 0.549 * [taylor]: Taking taylor expansion of 1.0 in eps 0.549 * [taylor]: Taking taylor expansion of eps in eps 0.556 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in (eps) around 0 0.556 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in eps 0.556 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.556 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.556 * [taylor]: Taking taylor expansion of eps in eps 0.556 * [taylor]: Taking taylor expansion of 1.0 in eps 0.556 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.556 * [taylor]: Taking taylor expansion of 1.0 in eps 0.556 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.556 * [taylor]: Taking taylor expansion of eps in eps 0.558 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in eps 0.558 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.558 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.558 * [taylor]: Taking taylor expansion of eps in eps 0.558 * [taylor]: Taking taylor expansion of 1.0 in eps 0.558 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.558 * [taylor]: Taking taylor expansion of 1.0 in eps 0.558 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.558 * [taylor]: Taking taylor expansion of eps in eps 0.574 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in (eps) around 0 0.574 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in eps 0.574 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.574 * [taylor]: Taking taylor expansion of 1.0 in eps 0.574 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.574 * [taylor]: Taking taylor expansion of eps in eps 0.574 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.574 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.574 * [taylor]: Taking taylor expansion of eps in eps 0.574 * [taylor]: Taking taylor expansion of 1.0 in eps 0.575 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in eps 0.575 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.575 * [taylor]: Taking taylor expansion of 1.0 in eps 0.575 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.575 * [taylor]: Taking taylor expansion of eps in eps 0.576 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.576 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.576 * [taylor]: Taking taylor expansion of eps in eps 0.576 * [taylor]: Taking taylor expansion of 1.0 in eps 0.586 * * * [progress]: simplifying candidates 0.586 * [simplify]: Simplifying using # : (log (+ 1.0 eps)) (log (/ 1 (- 1.0 eps))) (log (/ (+ 1.0 eps) (- (pow 1.0 3) (pow eps 3)))) (log (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps)))) (log (/ (+ 1.0 eps) (- (* 1.0 1.0) (* eps eps)))) (log (+ 1.0 eps)) (log (+ 1.0 eps)) (log (- 1.0 eps)) (log (- (+ 1.0 eps))) (log (- (- 1.0 eps))) (log 1) (log (/ (- 1.0 eps) (+ 1.0 eps))) (log (+ (pow 1.0 3) (pow eps 3))) (log (* (- 1.0 eps) (+ (* 1.0 1.0) (- (* eps eps) (* 1.0 eps))))) (log (- (* 1.0 1.0) (* eps eps))) (log (* (- 1.0 eps) (- 1.0 eps))) (log (/ (- 1.0 eps) (+ 1.0 eps))) (- (+ 1.0 eps)) (- (- 1.0 eps)) (/ 1 (- 1.0 eps)) (/ (- 1.0 eps) (+ 1.0 eps)) (/ (+ 1.0 eps) (- (pow 1.0 3) (pow eps 3))) (/ (+ 1.0 eps) (- (* 1.0 1.0) (* eps eps))) (* (- 1.0 eps) (+ (* 1.0 1.0) (- (* eps eps) (* 1.0 eps)))) (* (- 1.0 eps) (- 1.0 eps)) (- (+ (* 2.0 (pow eps 2)) (+ (log 1.0) (* 2.0 eps))) (* 2.0 (/ (pow eps 2) (pow 1.0 2)))) (+ (log -1) (+ (* 0.6666666666666666 (/ 1 (pow eps 3))) (* 2.0 (/ 1 eps)))) (+ (log -1) (+ (* 0.6666666666666666 (/ 1 (pow eps 3))) (* 2.0 (/ 1 eps)))) (+ (* 2.0 (pow eps 2)) (+ (* 2.0 eps) 1.0)) (- (+ (* 2.0 (/ 1 (pow eps 2))) (+ (* 2.0 (/ 1 eps)) 1))) (- (+ (* 2.0 (/ 1 (pow eps 2))) (+ (* 2.0 (/ 1 eps)) 1))) 0.589 * * [simplify]: iteration 0 : 170 enodes (cost 136 ) 0.592 * * [simplify]: iteration 1 : 522 enodes (cost 129 ) 0.600 * * [simplify]: iteration 2 : 1881 enodes (cost 121 ) 0.634 * * [simplify]: iteration 3 : 5001 enodes (cost 117 ) 0.635 * [simplify]: Simplified to: (log (+ 1.0 eps)) (log (/ 1 (- 1.0 eps))) (log (/ (+ 1.0 eps) (- (pow 1.0 3) (pow eps 3)))) (log (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps)))) (log (/ 1 (- 1.0 eps))) (log (+ 1.0 eps)) (log (+ 1.0 eps)) (log (- 1.0 eps)) (log (- (+ 1.0 eps))) (log (- (- 1.0 eps))) 0 (log (/ (- 1.0 eps) (+ 1.0 eps))) (log (+ (pow 1.0 3) (pow eps 3))) (log (* (- 1.0 eps) (+ (* 1.0 1.0) (- (* eps eps) (* 1.0 eps))))) (log (- (* 1.0 1.0) (* eps eps))) (* 2 (log (- 1.0 eps))) (log (/ (- 1.0 eps) (+ 1.0 eps))) (- (+ 1.0 eps)) (- eps 1.0) (/ 1 (- 1.0 eps)) (/ (- 1.0 eps) (+ 1.0 eps)) (/ (+ 1.0 eps) (- (pow 1.0 3) (pow eps 3))) (/ 1 (- 1.0 eps)) (* (fma 1.0 1.0 (- (* eps eps) (* 1.0 eps))) (- 1.0 eps)) (* (- 1.0 eps) (- 1.0 eps)) (fma (- (/ (pow eps 2) 1.0)) (/ 2.0 1.0) (fma (fma eps eps eps) 2.0 (log 1.0))) (fma (/ 1 eps) (+ (/ 0.6666666666666666 (pow eps 2)) 2.0) (log -1)) (fma (/ 1 eps) (+ (/ 0.6666666666666666 (pow eps 2)) 2.0) (log -1)) (fma (fma eps eps eps) 2.0 1.0) (- (/ (- 2.0) (pow eps 2)) (fma 2.0 (/ 1 eps) 1)) (- (/ (- 2.0) (pow eps 2)) (fma 2.0 (/ 1 eps) 1)) 0.635 * * * [progress]: adding candidates to table 0.679 * * [progress]: iteration 4 / 4 0.679 * * * [progress]: picking best candidate 0.681 * * * * [pick]: Picked # 0.681 * * * [progress]: localizing error 0.695 * * * [progress]: generating rewritten candidates 0.695 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2) 0.697 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.701 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.708 * * * [progress]: generating series expansions 0.708 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2) 0.708 * [approximate]: Taking taylor expansion of (log (+ eps 1.0)) in (eps) around 0 0.708 * [taylor]: Taking taylor expansion of (log (+ eps 1.0)) in eps 0.708 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 0.708 * [taylor]: Taking taylor expansion of eps in eps 0.708 * [taylor]: Taking taylor expansion of 1.0 in eps 0.709 * [taylor]: Taking taylor expansion of (log (+ eps 1.0)) in eps 0.709 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 0.709 * [taylor]: Taking taylor expansion of eps in eps 0.709 * [taylor]: Taking taylor expansion of 1.0 in eps 0.721 * [approximate]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in (eps) around 0 0.721 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps 0.721 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.721 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.721 * [taylor]: Taking taylor expansion of eps in eps 0.721 * [taylor]: Taking taylor expansion of 1.0 in eps 0.722 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps 0.722 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.722 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.722 * [taylor]: Taking taylor expansion of eps in eps 0.722 * [taylor]: Taking taylor expansion of 1.0 in eps 0.735 * [approximate]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in (eps) around 0 0.735 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps 0.735 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.735 * [taylor]: Taking taylor expansion of 1.0 in eps 0.735 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.735 * [taylor]: Taking taylor expansion of eps in eps 0.736 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps 0.736 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.736 * [taylor]: Taking taylor expansion of 1.0 in eps 0.736 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.736 * [taylor]: Taking taylor expansion of eps in eps 0.750 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.751 * [approximate]: Taking taylor expansion of (log (- 1.0 (pow eps 2))) in (eps) around 0 0.751 * [taylor]: Taking taylor expansion of (log (- 1.0 (pow eps 2))) in eps 0.751 * [taylor]: Taking taylor expansion of (- 1.0 (pow eps 2)) in eps 0.751 * [taylor]: Taking taylor expansion of 1.0 in eps 0.751 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 0.751 * [taylor]: Taking taylor expansion of eps in eps 0.751 * [taylor]: Taking taylor expansion of (log (- 1.0 (pow eps 2))) in eps 0.751 * [taylor]: Taking taylor expansion of (- 1.0 (pow eps 2)) in eps 0.751 * [taylor]: Taking taylor expansion of 1.0 in eps 0.751 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 0.751 * [taylor]: Taking taylor expansion of eps in eps 0.788 * [approximate]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow eps 2)))) in (eps) around 0 0.788 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow eps 2)))) in eps 0.788 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow eps 2))) in eps 0.788 * [taylor]: Taking taylor expansion of 1.0 in eps 0.788 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 0.788 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 0.788 * [taylor]: Taking taylor expansion of eps in eps 0.790 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow eps 2)))) in eps 0.790 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow eps 2))) in eps 0.790 * [taylor]: Taking taylor expansion of 1.0 in eps 0.790 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 0.790 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 0.790 * [taylor]: Taking taylor expansion of eps in eps 0.825 * [approximate]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow eps 2)))) in (eps) around 0 0.825 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow eps 2)))) in eps 0.825 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow eps 2))) in eps 0.825 * [taylor]: Taking taylor expansion of 1.0 in eps 0.825 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 0.825 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 0.825 * [taylor]: Taking taylor expansion of eps in eps 0.826 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow eps 2)))) in eps 0.826 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow eps 2))) in eps 0.826 * [taylor]: Taking taylor expansion of 1.0 in eps 0.826 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 0.827 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 0.827 * [taylor]: Taking taylor expansion of eps in eps 0.867 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.868 * [approximate]: Taking taylor expansion of (- (log (- 1.0 (pow eps 2))) (* 2 (log (+ eps 1.0)))) in (eps) around 0 0.868 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (pow eps 2))) (* 2 (log (+ eps 1.0)))) in eps 0.868 * [taylor]: Taking taylor expansion of (log (- 1.0 (pow eps 2))) in eps 0.868 * [taylor]: Taking taylor expansion of (- 1.0 (pow eps 2)) in eps 0.868 * [taylor]: Taking taylor expansion of 1.0 in eps 0.868 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 0.868 * [taylor]: Taking taylor expansion of eps in eps 0.868 * [taylor]: Taking taylor expansion of (* 2 (log (+ eps 1.0))) in eps 0.868 * [taylor]: Taking taylor expansion of 2 in eps 0.868 * [taylor]: Taking taylor expansion of (log (+ eps 1.0)) in eps 0.868 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 0.868 * [taylor]: Taking taylor expansion of eps in eps 0.868 * [taylor]: Taking taylor expansion of 1.0 in eps 0.869 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (pow eps 2))) (* 2 (log (+ eps 1.0)))) in eps 0.869 * [taylor]: Taking taylor expansion of (log (- 1.0 (pow eps 2))) in eps 0.869 * [taylor]: Taking taylor expansion of (- 1.0 (pow eps 2)) in eps 0.869 * [taylor]: Taking taylor expansion of 1.0 in eps 0.869 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 0.869 * [taylor]: Taking taylor expansion of eps in eps 0.870 * [taylor]: Taking taylor expansion of (* 2 (log (+ eps 1.0))) in eps 0.870 * [taylor]: Taking taylor expansion of 2 in eps 0.870 * [taylor]: Taking taylor expansion of (log (+ eps 1.0)) in eps 0.870 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 0.870 * [taylor]: Taking taylor expansion of eps in eps 0.870 * [taylor]: Taking taylor expansion of 1.0 in eps 0.901 * [approximate]: Taking taylor expansion of (- (log (- 1.0 (/ 1 (pow eps 2)))) (* 2 (log (+ (/ 1 eps) 1.0)))) in (eps) around 0 0.901 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 (pow eps 2)))) (* 2 (log (+ (/ 1 eps) 1.0)))) in eps 0.901 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow eps 2)))) in eps 0.901 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow eps 2))) in eps 0.901 * [taylor]: Taking taylor expansion of 1.0 in eps 0.901 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 0.901 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 0.901 * [taylor]: Taking taylor expansion of eps in eps 0.903 * [taylor]: Taking taylor expansion of (* 2 (log (+ (/ 1 eps) 1.0))) in eps 0.903 * [taylor]: Taking taylor expansion of 2 in eps 0.903 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps 0.903 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.903 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.903 * [taylor]: Taking taylor expansion of eps in eps 0.903 * [taylor]: Taking taylor expansion of 1.0 in eps 0.904 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 (pow eps 2)))) (* 2 (log (+ (/ 1 eps) 1.0)))) in eps 0.904 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow eps 2)))) in eps 0.904 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow eps 2))) in eps 0.904 * [taylor]: Taking taylor expansion of 1.0 in eps 0.904 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 0.904 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 0.904 * [taylor]: Taking taylor expansion of eps in eps 0.905 * [taylor]: Taking taylor expansion of (* 2 (log (+ (/ 1 eps) 1.0))) in eps 0.905 * [taylor]: Taking taylor expansion of 2 in eps 0.905 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps 0.905 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.905 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.905 * [taylor]: Taking taylor expansion of eps in eps 0.905 * [taylor]: Taking taylor expansion of 1.0 in eps 0.955 * [approximate]: Taking taylor expansion of (- (log (- 1.0 (/ 1 (pow eps 2)))) (* 2 (log (- 1.0 (/ 1 eps))))) in (eps) around 0 0.955 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 (pow eps 2)))) (* 2 (log (- 1.0 (/ 1 eps))))) in eps 0.955 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow eps 2)))) in eps 0.955 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow eps 2))) in eps 0.955 * [taylor]: Taking taylor expansion of 1.0 in eps 0.955 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 0.955 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 0.955 * [taylor]: Taking taylor expansion of eps in eps 0.956 * [taylor]: Taking taylor expansion of (* 2 (log (- 1.0 (/ 1 eps)))) in eps 0.956 * [taylor]: Taking taylor expansion of 2 in eps 0.956 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps 0.956 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.956 * [taylor]: Taking taylor expansion of 1.0 in eps 0.956 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.956 * [taylor]: Taking taylor expansion of eps in eps 0.957 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 (pow eps 2)))) (* 2 (log (- 1.0 (/ 1 eps))))) in eps 0.957 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow eps 2)))) in eps 0.958 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow eps 2))) in eps 0.958 * [taylor]: Taking taylor expansion of 1.0 in eps 0.958 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 0.958 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 0.958 * [taylor]: Taking taylor expansion of eps in eps 0.959 * [taylor]: Taking taylor expansion of (* 2 (log (- 1.0 (/ 1 eps)))) in eps 0.959 * [taylor]: Taking taylor expansion of 2 in eps 0.959 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps 0.959 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.959 * [taylor]: Taking taylor expansion of 1.0 in eps 0.959 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.959 * [taylor]: Taking taylor expansion of eps in eps 1.007 * * * [progress]: simplifying candidates 1.007 * [simplify]: Simplifying using # : (log (+ (pow 1.0 3) (pow eps 3))) (log (+ (* 1.0 1.0) (- (* eps eps) (* 1.0 eps)))) (log (- (* 1.0 1.0) (* eps eps))) (log (- 1.0 eps)) (log (+ 1.0 eps)) (log (- 1.0 eps)) (log (+ 1.0 eps)) (log (- 1.0 eps)) (log (+ 1.0 eps)) (log (- 1.0 eps)) (log (+ 1.0 eps)) (log (- 1.0 eps)) (log (- (pow (* 1.0 1.0) 3) (pow (* eps eps) 3))) (log (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (* eps eps) (* eps eps)) (* (* 1.0 1.0) (* eps eps))))) (log (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (* eps eps) (* eps eps)))) (log (+ (* 1.0 1.0) (* eps eps))) (- (pow (log (- (* 1.0 1.0) (* eps eps))) 3) (pow (* 2 (log (+ 1.0 eps))) 3)) (+ (* (log (- (* 1.0 1.0) (* eps eps))) (log (- (* 1.0 1.0) (* eps eps)))) (+ (* (* 2 (log (+ 1.0 eps))) (* 2 (log (+ 1.0 eps)))) (* (log (- (* 1.0 1.0) (* eps eps))) (* 2 (log (+ 1.0 eps)))))) (- (* 2 (log (+ 1.0 eps)))) (- (* (log (- (* 1.0 1.0) (* eps eps))) (log (- (* 1.0 1.0) (* eps eps)))) (* (* 2 (log (+ 1.0 eps))) (* 2 (log (+ 1.0 eps))))) (+ (log (- (* 1.0 1.0) (* eps eps))) (* 2 (log (+ 1.0 eps)))) (- (log (- 1.0 eps)) (* 2 (log (+ 1.0 eps)))) (- (log (- 1.0 eps)) (* 2 (log (+ 1.0 eps)))) (- (log (- 1.0 eps)) (* 2 (log (+ 1.0 eps)))) (- (log (- 1.0 eps)) (* 2 (log (+ 1.0 eps)))) (+ (log (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (* eps eps) (* eps eps)) (* (* 1.0 1.0) (* eps eps))))) (* 2 (log (+ 1.0 eps)))) (+ (log (+ (* 1.0 1.0) (* eps eps))) (* 2 (log (+ 1.0 eps)))) (- (* 2 (log (+ 1.0 eps)))) (- (+ (log 1.0) (* 1.0 eps)) (* 1/2 (/ (pow eps 2) (pow 1.0 2)))) (- (* 1.0 (/ 1 eps)) (+ (* 0.5 (/ 1 (pow eps 2))) (log (/ 1 eps)))) (- (+ (log -1) (* 1.0 (/ 1 eps))) (+ (log (/ -1 eps)) (* 0.5 (/ 1 (pow eps 2))))) (- (log 1.0) (+ (* 1.0 (pow eps 2)) (* 1/2 (/ (pow eps 4) (pow 1.0 2))))) (- (log -1) (+ (* 0.5 (/ 1 (pow eps 4))) (+ (* 1.0 (/ 1 (pow eps 2))) (* 2 (log (/ 1 eps)))))) (- (log -1) (+ (* 0.5 (/ 1 (pow eps 4))) (+ (* 1.0 (/ 1 (pow eps 2))) (* 2 (log (/ -1 eps)))))) (- (/ (pow eps 2) (pow 1.0 2)) (+ (* 1.0 (pow eps 2)) (+ (log 1.0) (* 2.0 eps)))) (- (log -1) (+ (* 0.6666666666666666 (/ 1 (pow eps 3))) (* 2.0 (/ 1 eps)))) (- (+ (log -1) (+ (* 0.6666666666666666 (/ 1 (pow eps 3))) (* 2.0 (/ 1 eps))))) 1.011 * * [simplify]: iteration 0 : 309 enodes (cost 262 ) 1.017 * * [simplify]: iteration 1 : 1082 enodes (cost 254 ) 1.034 * * [simplify]: iteration 2 : 4263 enodes (cost 244 ) 1.128 * * [simplify]: iteration 3 : 5001 enodes (cost 242 ) 1.130 * [simplify]: Simplified to: (log (+ (pow 1.0 3) (pow eps 3))) (log (+ (* 1.0 1.0) (- (* eps eps) (* 1.0 eps)))) (log (- (* 1.0 1.0) (* eps eps))) (log (- 1.0 eps)) (log (+ 1.0 eps)) (log (- 1.0 eps)) (log (+ 1.0 eps)) (log (- 1.0 eps)) (log (+ 1.0 eps)) (log (- 1.0 eps)) (log (+ 1.0 eps)) (log (- 1.0 eps)) (log (- (pow (* 1.0 1.0) 3) (pow (* eps eps) 3))) (log (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (* eps eps) (* eps eps)) (* (* 1.0 1.0) (* eps eps))))) (log (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (* eps eps) (* eps eps)))) (log (+ (* 1.0 1.0) (* eps eps))) (- (pow (log (- (* 1.0 1.0) (* eps eps))) 3) (pow (* 2 (log (+ 1.0 eps))) 3)) (fma (log (- (* 1.0 1.0) (* eps eps))) (fma (log (+ 1.0 eps)) 2 (log (- (* 1.0 1.0) (* eps eps)))) (* 4 (* (log (+ 1.0 eps)) (log (+ 1.0 eps))))) (- (* 2 (log (+ 1.0 eps)))) (* (- (log (- (* 1.0 1.0) (* eps eps))) (* 2 (log (+ 1.0 eps)))) (fma (log (+ 1.0 eps)) 2 (log (- (* 1.0 1.0) (* eps eps))))) (fma (log (+ 1.0 eps)) 2 (log (- (* 1.0 1.0) (* eps eps)))) (- (log (- 1.0 eps)) (* 2 (log (+ 1.0 eps)))) (- (log (- 1.0 eps)) (* 2 (log (+ 1.0 eps)))) (- (log (- 1.0 eps)) (* 2 (log (+ 1.0 eps)))) (- (log (- 1.0 eps)) (* 2 (log (+ 1.0 eps)))) (fma (log (+ 1.0 eps)) 2 (log (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (* eps eps) (* eps eps)) (* (* 1.0 1.0) (* eps eps)))))) (fma (log (+ 1.0 eps)) 2 (log (+ (* 1.0 1.0) (* eps eps)))) (- (* 2 (log (+ 1.0 eps)))) (fma eps 1.0 (- (log 1.0) (* 1/2 (/ (pow eps 2) (pow 1.0 2))))) (fma (/ 1 eps) (- 1.0 (/ 0.5 eps)) (log eps)) (fma 1.0 (/ 1 eps) (- (log -1) (fma 0.5 (/ 1 (pow eps 2)) (log (/ -1 eps))))) (- (log 1.0) (+ (* 1.0 (pow eps 2)) (* 1/2 (/ (pow eps 4) (pow 1.0 2))))) (- (- (log -1) (/ 1.0 (pow eps 2))) (fma (log (/ 1 eps)) 2 (/ 0.5 (pow eps 4)))) (- (- (log -1) (/ 1.0 (pow eps 2))) (fma (log (/ -1 eps)) 2 (/ 0.5 (pow eps 4)))) (- (- (/ (pow eps 2) (pow 1.0 2)) (fma (pow eps 2) 1.0 (log 1.0))) (* 2.0 eps)) (- (log -1) (+ (* 0.6666666666666666 (/ 1 (pow eps 3))) (* 2.0 (/ 1 eps)))) (- (- (log -1)) (fma 0.6666666666666666 (/ 1 (pow eps 3)) (* 2.0 (/ 1 eps)))) 1.130 * * * [progress]: adding candidates to table 1.193 * [progress]: [Phase 3 of 3] Extracting. 1.193 * * [regime]: Finding splitpoints for: (# # # #) 1.194 * * * [regime-changes]: Trying 3 branch expressions: ((/ (- 1.0 eps) (+ 1.0 eps)) (log (/ (- 1.0 eps) (+ 1.0 eps))) eps) 1.194 * * * * [regimes]: Trying to branch on (/ (- 1.0 eps) (+ 1.0 eps)) from (# # # #) 1.209 * * * * [regimes]: Trying to branch on (log (/ (- 1.0 eps) (+ 1.0 eps))) from (# # # #) 1.223 * * * * [regimes]: Trying to branch on eps from (# # # #) 1.237 * * * [regime]: Found split indices: #