38.503 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.127 * * * [progress]: [2/2] Setting up program. 0.131 * [progress]: [Phase 2 of 3] Improving. 0.131 * [simplify]: Simplifying: (log (/ (- 1.0 eps) (+ 1.0 eps))) 0.131 * * [simplify]: Extracting # 0 : cost 0 0.131 * * [simplify]: Extracting # 1 : cost 0 0.131 * * [simplify]: Extracting # 2 : cost 0 0.131 * * [simplify]: Extracting # 3 : cost 0 0.131 * * [simplify]: Extracting # 4 : cost 0 0.131 * * [simplify]: Extracting # 5 : cost 0 0.132 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 0.134 * * [simplify]: Extracting # 0 : cost 0 0.134 * * [simplify]: Extracting # 1 : cost 0 0.134 * * [simplify]: Extracting # 2 : cost 0 0.134 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 0.138 * * [simplify]: Extracting # 0 : cost 0 0.138 * * [simplify]: Extracting # 1 : cost 0 0.138 * * [simplify]: Extracting # 2 : cost 0 0.138 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 0.144 * * [simplify]: Extracting # 0 : cost 0 0.144 * * [simplify]: iteration 3 : 23 enodes (cost 8 ) 0.151 * * [simplify]: Extracting # 0 : cost 0 0.151 * * [simplify]: iteration done: 23 enodes (cost 8 ) 0.151 * [simplify]: Simplified to: (log (/ (- 1.0 eps) (+ 1.0 eps))) 0.151 * * [progress]: iteration 1 / 4 0.151 * * * [progress]: picking best candidate 0.153 * * * * [pick]: Picked # 0.153 * * * [progress]: localizing error 0.161 * * * [progress]: generating rewritten candidates 0.161 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.174 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.211 * * * [progress]: generating series expansions 0.211 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.211 * [backup-simplify]: Simplify (log (/ (- 1.0 eps) (+ 1.0 eps))) into (log (/ (- 1.0 eps) (+ eps 1.0))) 0.211 * [approximate]: Taking taylor expansion of (log (/ (- 1.0 eps) (+ eps 1.0))) in (eps) around 0 0.211 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 eps) (+ eps 1.0))) in eps 0.211 * [taylor]: Taking taylor expansion of (/ (- 1.0 eps) (+ eps 1.0)) in eps 0.211 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 0.211 * [taylor]: Taking taylor expansion of 1.0 in eps 0.211 * [backup-simplify]: Simplify 1.0 into 1.0 0.211 * [taylor]: Taking taylor expansion of eps in eps 0.211 * [backup-simplify]: Simplify 0 into 0 0.211 * [backup-simplify]: Simplify 1 into 1 0.212 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 0.212 * [taylor]: Taking taylor expansion of eps in eps 0.212 * [backup-simplify]: Simplify 0 into 0 0.212 * [backup-simplify]: Simplify 1 into 1 0.212 * [taylor]: Taking taylor expansion of 1.0 in eps 0.212 * [backup-simplify]: Simplify 1.0 into 1.0 0.212 * [backup-simplify]: Simplify (- 0) into 0 0.212 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.213 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.213 * [backup-simplify]: Simplify (/ 1.0 1.0) into 1.0 0.213 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 0.213 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 eps) (+ eps 1.0))) in eps 0.214 * [taylor]: Taking taylor expansion of (/ (- 1.0 eps) (+ eps 1.0)) in eps 0.214 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 0.214 * [taylor]: Taking taylor expansion of 1.0 in eps 0.214 * [backup-simplify]: Simplify 1.0 into 1.0 0.214 * [taylor]: Taking taylor expansion of eps in eps 0.214 * [backup-simplify]: Simplify 0 into 0 0.214 * [backup-simplify]: Simplify 1 into 1 0.214 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 0.214 * [taylor]: Taking taylor expansion of eps in eps 0.214 * [backup-simplify]: Simplify 0 into 0 0.214 * [backup-simplify]: Simplify 1 into 1 0.214 * [taylor]: Taking taylor expansion of 1.0 in eps 0.214 * [backup-simplify]: Simplify 1.0 into 1.0 0.214 * [backup-simplify]: Simplify (- 0) into 0 0.214 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.215 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.215 * [backup-simplify]: Simplify (/ 1.0 1.0) into 1.0 0.215 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 0.216 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 0.217 * [backup-simplify]: Simplify (- 1) into -1 0.217 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.217 * [backup-simplify]: Simplify (+ 1 0) into 1 0.220 * [backup-simplify]: Simplify (- (/ -1 1.0) (+ (* 1.0 (/ 1 1.0)))) into (- 2.0) 0.225 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 2.0)) 1)) (pow 1.0 1)))) 1) into -2.0 0.225 * [backup-simplify]: Simplify -2.0 into -2.0 0.226 * [backup-simplify]: Simplify (- 0) into 0 0.226 * [backup-simplify]: Simplify (+ 0 0) into 0 0.226 * [backup-simplify]: Simplify (+ 0 0) into 0 0.229 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* (- 2.0) (/ 1 1.0)))) into 2.0 0.239 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 2.0)) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 2.0) 1)) (pow 1.0 1)))) 2) into (* 1/2 (- 4.0 (* 4.0 (/ 1 (pow 1.0 2))))) 0.242 * [backup-simplify]: Simplify (* 1/2 (- 4.0 (* 4.0 (/ 1 (pow 1.0 2))))) into (* 1/2 (- 4.0 (* 4.0 (/ 1 (pow 1.0 2))))) 0.245 * [backup-simplify]: Simplify (+ (* (* 1/2 (- 4.0 (* 4.0 (/ 1 (pow 1.0 2))))) (pow eps 2)) (+ (* -2.0 eps) (log 1.0))) into (- (+ (* 2.0 (pow eps 2)) (log 1.0)) (+ (* 2.0 (/ (pow eps 2) (pow 1.0 2))) (* 2.0 eps))) 0.245 * [backup-simplify]: Simplify (log (/ (- 1.0 (/ 1 eps)) (+ 1.0 (/ 1 eps)))) into (log (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0))) 0.245 * [approximate]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0))) in (eps) around 0 0.245 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0))) in eps 0.245 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in eps 0.245 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.245 * [taylor]: Taking taylor expansion of 1.0 in eps 0.245 * [backup-simplify]: Simplify 1.0 into 1.0 0.245 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.245 * [taylor]: Taking taylor expansion of eps in eps 0.245 * [backup-simplify]: Simplify 0 into 0 0.245 * [backup-simplify]: Simplify 1 into 1 0.246 * [backup-simplify]: Simplify (/ 1 1) into 1 0.246 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.246 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.246 * [taylor]: Taking taylor expansion of eps in eps 0.246 * [backup-simplify]: Simplify 0 into 0 0.246 * [backup-simplify]: Simplify 1 into 1 0.246 * [backup-simplify]: Simplify (/ 1 1) into 1 0.246 * [taylor]: Taking taylor expansion of 1.0 in eps 0.246 * [backup-simplify]: Simplify 1.0 into 1.0 0.246 * [backup-simplify]: Simplify (- 1) into -1 0.247 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.247 * [backup-simplify]: Simplify (+ 1 0) into 1 0.247 * [backup-simplify]: Simplify (/ -1 1) into -1 0.247 * [backup-simplify]: Simplify (log -1) into (log -1) 0.247 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0))) in eps 0.248 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in eps 0.248 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.248 * [taylor]: Taking taylor expansion of 1.0 in eps 0.248 * [backup-simplify]: Simplify 1.0 into 1.0 0.248 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.248 * [taylor]: Taking taylor expansion of eps in eps 0.248 * [backup-simplify]: Simplify 0 into 0 0.248 * [backup-simplify]: Simplify 1 into 1 0.248 * [backup-simplify]: Simplify (/ 1 1) into 1 0.248 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.248 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.248 * [taylor]: Taking taylor expansion of eps in eps 0.248 * [backup-simplify]: Simplify 0 into 0 0.248 * [backup-simplify]: Simplify 1 into 1 0.248 * [backup-simplify]: Simplify (/ 1 1) into 1 0.248 * [taylor]: Taking taylor expansion of 1.0 in eps 0.248 * [backup-simplify]: Simplify 1.0 into 1.0 0.248 * [backup-simplify]: Simplify (- 1) into -1 0.249 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.249 * [backup-simplify]: Simplify (+ 1 0) into 1 0.250 * [backup-simplify]: Simplify (/ -1 1) into -1 0.250 * [backup-simplify]: Simplify (log -1) into (log -1) 0.250 * [backup-simplify]: Simplify (log -1) into (log -1) 0.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.252 * [backup-simplify]: Simplify (- 0) into 0 0.252 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.253 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.253 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.256 * [backup-simplify]: Simplify (- (/ 1.0 1) (+ (* -1 (/ 1.0 1)))) into 2.0 0.264 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 2.0) 1)) (pow -1 1)))) 1) into -2.0 0.264 * [backup-simplify]: Simplify -2.0 into -2.0 0.265 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.265 * [backup-simplify]: Simplify (- 0) into 0 0.265 * [backup-simplify]: Simplify (+ 0 0) into 0 0.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.267 * [backup-simplify]: Simplify (+ 0 0) into 0 0.271 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2.0 (/ 1.0 1)))) into (- 2.0) 0.285 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 2.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 (- 2.0)) 1)) (pow -1 1)))) 2) into 0 0.285 * [backup-simplify]: Simplify 0 into 0 0.285 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.286 * [backup-simplify]: Simplify (- 0) into 0 0.286 * [backup-simplify]: Simplify (+ 0 0) into 0 0.286 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.287 * [backup-simplify]: Simplify (+ 0 0) into 0 0.290 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2.0 (/ 0 1)) (* (- 2.0) (/ 1.0 1)))) into 2.0 0.308 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 2.0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 2.0) 1) (pow (* 2 (- 2.0)) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 2.0) 1)) (pow -1 1)))) 6) into -0.6666666666666666 0.308 * [backup-simplify]: Simplify -0.6666666666666666 into -0.6666666666666666 0.309 * [backup-simplify]: Simplify (+ (* -0.6666666666666666 (pow (/ 1 eps) 3)) (+ (* -2.0 (/ 1 eps)) (log -1))) into (- (log -1) (+ (* 0.6666666666666666 (/ 1 (pow eps 3))) (* 2.0 (/ 1 eps)))) 0.309 * [backup-simplify]: Simplify (log (/ (- 1.0 (/ 1 (- eps))) (+ 1.0 (/ 1 (- eps))))) into (log (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps)))) 0.309 * [approximate]: Taking taylor expansion of (log (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps)))) in (eps) around 0 0.309 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps)))) in eps 0.309 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in eps 0.309 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.310 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.310 * [taylor]: Taking taylor expansion of eps in eps 0.310 * [backup-simplify]: Simplify 0 into 0 0.310 * [backup-simplify]: Simplify 1 into 1 0.310 * [backup-simplify]: Simplify (/ 1 1) into 1 0.310 * [taylor]: Taking taylor expansion of 1.0 in eps 0.310 * [backup-simplify]: Simplify 1.0 into 1.0 0.310 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.310 * [taylor]: Taking taylor expansion of 1.0 in eps 0.310 * [backup-simplify]: Simplify 1.0 into 1.0 0.310 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.310 * [taylor]: Taking taylor expansion of eps in eps 0.310 * [backup-simplify]: Simplify 0 into 0 0.310 * [backup-simplify]: Simplify 1 into 1 0.311 * [backup-simplify]: Simplify (/ 1 1) into 1 0.311 * [backup-simplify]: Simplify (+ 1 0) into 1 0.312 * [backup-simplify]: Simplify (- 1) into -1 0.321 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.321 * [backup-simplify]: Simplify (/ 1 -1) into -1 0.322 * [backup-simplify]: Simplify (log -1) into (log -1) 0.322 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps)))) in eps 0.322 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in eps 0.322 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.322 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.322 * [taylor]: Taking taylor expansion of eps in eps 0.322 * [backup-simplify]: Simplify 0 into 0 0.322 * [backup-simplify]: Simplify 1 into 1 0.322 * [backup-simplify]: Simplify (/ 1 1) into 1 0.322 * [taylor]: Taking taylor expansion of 1.0 in eps 0.322 * [backup-simplify]: Simplify 1.0 into 1.0 0.322 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.322 * [taylor]: Taking taylor expansion of 1.0 in eps 0.322 * [backup-simplify]: Simplify 1.0 into 1.0 0.322 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.322 * [taylor]: Taking taylor expansion of eps in eps 0.322 * [backup-simplify]: Simplify 0 into 0 0.322 * [backup-simplify]: Simplify 1 into 1 0.323 * [backup-simplify]: Simplify (/ 1 1) into 1 0.323 * [backup-simplify]: Simplify (+ 1 0) into 1 0.323 * [backup-simplify]: Simplify (- 1) into -1 0.323 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.324 * [backup-simplify]: Simplify (/ 1 -1) into -1 0.324 * [backup-simplify]: Simplify (log -1) into (log -1) 0.325 * [backup-simplify]: Simplify (log -1) into (log -1) 0.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.326 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.326 * [backup-simplify]: Simplify (- 0) into 0 0.326 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.328 * [backup-simplify]: Simplify (- (/ 1.0 -1) (+ (* -1 (/ 1.0 -1)))) into (- 2.0) 0.334 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 2.0)) 1)) (pow -1 1)))) 1) into 2.0 0.334 * [backup-simplify]: Simplify 2.0 into 2.0 0.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.335 * [backup-simplify]: Simplify (+ 0 0) into 0 0.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.335 * [backup-simplify]: Simplify (- 0) into 0 0.336 * [backup-simplify]: Simplify (+ 0 0) into 0 0.339 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* (- 2.0) (/ 1.0 -1)))) into (- 2.0) 0.348 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 2.0)) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 (- 2.0)) 1)) (pow -1 1)))) 2) into 0 0.348 * [backup-simplify]: Simplify 0 into 0 0.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.349 * [backup-simplify]: Simplify (+ 0 0) into 0 0.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.349 * [backup-simplify]: Simplify (- 0) into 0 0.350 * [backup-simplify]: Simplify (+ 0 0) into 0 0.354 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* (- 2.0) (/ 0 -1)) (* (- 2.0) (/ 1.0 -1)))) into (- 2.0) 0.382 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 (- 2.0)) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 (- 2.0)) 1) (pow (* 2 (- 2.0)) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 (- 2.0)) 1)) (pow -1 1)))) 6) into 0.6666666666666666 0.382 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.383 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 (pow (/ 1 (- eps)) 3)) (+ (* 2.0 (/ 1 (- eps))) (log -1))) into (- (log -1) (+ (* 0.6666666666666666 (/ 1 (pow eps 3))) (* 2.0 (/ 1 eps)))) 0.383 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.383 * [backup-simplify]: Simplify (/ (- 1.0 eps) (+ 1.0 eps)) into (/ (- 1.0 eps) (+ eps 1.0)) 0.383 * [approximate]: Taking taylor expansion of (/ (- 1.0 eps) (+ eps 1.0)) in (eps) around 0 0.383 * [taylor]: Taking taylor expansion of (/ (- 1.0 eps) (+ eps 1.0)) in eps 0.383 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 0.383 * [taylor]: Taking taylor expansion of 1.0 in eps 0.383 * [backup-simplify]: Simplify 1.0 into 1.0 0.383 * [taylor]: Taking taylor expansion of eps in eps 0.383 * [backup-simplify]: Simplify 0 into 0 0.383 * [backup-simplify]: Simplify 1 into 1 0.383 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 0.383 * [taylor]: Taking taylor expansion of eps in eps 0.383 * [backup-simplify]: Simplify 0 into 0 0.383 * [backup-simplify]: Simplify 1 into 1 0.383 * [taylor]: Taking taylor expansion of 1.0 in eps 0.383 * [backup-simplify]: Simplify 1.0 into 1.0 0.384 * [backup-simplify]: Simplify (- 0) into 0 0.384 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.384 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.384 * [backup-simplify]: Simplify (/ 1.0 1.0) into 1.0 0.384 * [taylor]: Taking taylor expansion of (/ (- 1.0 eps) (+ eps 1.0)) in eps 0.385 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 0.385 * [taylor]: Taking taylor expansion of 1.0 in eps 0.385 * [backup-simplify]: Simplify 1.0 into 1.0 0.385 * [taylor]: Taking taylor expansion of eps in eps 0.385 * [backup-simplify]: Simplify 0 into 0 0.385 * [backup-simplify]: Simplify 1 into 1 0.385 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 0.385 * [taylor]: Taking taylor expansion of eps in eps 0.385 * [backup-simplify]: Simplify 0 into 0 0.385 * [backup-simplify]: Simplify 1 into 1 0.385 * [taylor]: Taking taylor expansion of 1.0 in eps 0.385 * [backup-simplify]: Simplify 1.0 into 1.0 0.385 * [backup-simplify]: Simplify (- 0) into 0 0.385 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.386 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.386 * [backup-simplify]: Simplify (/ 1.0 1.0) into 1.0 0.386 * [backup-simplify]: Simplify 1.0 into 1.0 0.386 * [backup-simplify]: Simplify (- 1) into -1 0.387 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.387 * [backup-simplify]: Simplify (+ 1 0) into 1 0.389 * [backup-simplify]: Simplify (- (/ -1 1.0) (+ (* 1.0 (/ 1 1.0)))) into (- 2.0) 0.389 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.389 * [backup-simplify]: Simplify (- 0) into 0 0.389 * [backup-simplify]: Simplify (+ 0 0) into 0 0.390 * [backup-simplify]: Simplify (+ 0 0) into 0 0.392 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* (- 2.0) (/ 1 1.0)))) into 2.0 0.392 * [backup-simplify]: Simplify 2.0 into 2.0 0.393 * [backup-simplify]: Simplify (+ (* 2.0 (pow eps 2)) (+ (* (- 2.0) eps) 1.0)) into (- (+ (* 2.0 (pow eps 2)) 1.0) (* 2.0 eps)) 0.393 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 eps)) (+ 1.0 (/ 1 eps))) into (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) 0.393 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in (eps) around 0 0.393 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in eps 0.393 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.393 * [taylor]: Taking taylor expansion of 1.0 in eps 0.393 * [backup-simplify]: Simplify 1.0 into 1.0 0.393 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.393 * [taylor]: Taking taylor expansion of eps in eps 0.393 * [backup-simplify]: Simplify 0 into 0 0.393 * [backup-simplify]: Simplify 1 into 1 0.393 * [backup-simplify]: Simplify (/ 1 1) into 1 0.393 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.393 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.393 * [taylor]: Taking taylor expansion of eps in eps 0.393 * [backup-simplify]: Simplify 0 into 0 0.393 * [backup-simplify]: Simplify 1 into 1 0.394 * [backup-simplify]: Simplify (/ 1 1) into 1 0.394 * [taylor]: Taking taylor expansion of 1.0 in eps 0.394 * [backup-simplify]: Simplify 1.0 into 1.0 0.394 * [backup-simplify]: Simplify (- 1) into -1 0.394 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.394 * [backup-simplify]: Simplify (+ 1 0) into 1 0.395 * [backup-simplify]: Simplify (/ -1 1) into -1 0.395 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in eps 0.395 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.395 * [taylor]: Taking taylor expansion of 1.0 in eps 0.395 * [backup-simplify]: Simplify 1.0 into 1.0 0.395 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.395 * [taylor]: Taking taylor expansion of eps in eps 0.395 * [backup-simplify]: Simplify 0 into 0 0.395 * [backup-simplify]: Simplify 1 into 1 0.395 * [backup-simplify]: Simplify (/ 1 1) into 1 0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.395 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.395 * [taylor]: Taking taylor expansion of eps in eps 0.395 * [backup-simplify]: Simplify 0 into 0 0.395 * [backup-simplify]: Simplify 1 into 1 0.395 * [backup-simplify]: Simplify (/ 1 1) into 1 0.395 * [taylor]: Taking taylor expansion of 1.0 in eps 0.395 * [backup-simplify]: Simplify 1.0 into 1.0 0.396 * [backup-simplify]: Simplify (- 1) into -1 0.396 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.396 * [backup-simplify]: Simplify (+ 1 0) into 1 0.396 * [backup-simplify]: Simplify (/ -1 1) into -1 0.397 * [backup-simplify]: Simplify -1 into -1 0.397 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.397 * [backup-simplify]: Simplify (- 0) into 0 0.397 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.398 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.398 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.400 * [backup-simplify]: Simplify (- (/ 1.0 1) (+ (* -1 (/ 1.0 1)))) into 2.0 0.400 * [backup-simplify]: Simplify 2.0 into 2.0 0.400 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.401 * [backup-simplify]: Simplify (- 0) into 0 0.401 * [backup-simplify]: Simplify (+ 0 0) into 0 0.401 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.402 * [backup-simplify]: Simplify (+ 0 0) into 0 0.404 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2.0 (/ 1.0 1)))) into (- 2.0) 0.404 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.405 * [backup-simplify]: Simplify (+ (* (- 2.0) (pow (/ 1 eps) 2)) (+ (* 2.0 (/ 1 eps)) -1)) into (- (* 2.0 (/ 1 eps)) (+ (* 2.0 (/ 1 (pow eps 2))) 1)) 0.405 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 (- eps))) (+ 1.0 (/ 1 (- eps)))) into (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) 0.405 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in (eps) around 0 0.405 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in eps 0.405 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.405 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.405 * [taylor]: Taking taylor expansion of eps in eps 0.405 * [backup-simplify]: Simplify 0 into 0 0.405 * [backup-simplify]: Simplify 1 into 1 0.405 * [backup-simplify]: Simplify (/ 1 1) into 1 0.405 * [taylor]: Taking taylor expansion of 1.0 in eps 0.405 * [backup-simplify]: Simplify 1.0 into 1.0 0.405 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.405 * [taylor]: Taking taylor expansion of 1.0 in eps 0.405 * [backup-simplify]: Simplify 1.0 into 1.0 0.405 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.405 * [taylor]: Taking taylor expansion of eps in eps 0.405 * [backup-simplify]: Simplify 0 into 0 0.405 * [backup-simplify]: Simplify 1 into 1 0.406 * [backup-simplify]: Simplify (/ 1 1) into 1 0.406 * [backup-simplify]: Simplify (+ 1 0) into 1 0.406 * [backup-simplify]: Simplify (- 1) into -1 0.406 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.407 * [backup-simplify]: Simplify (/ 1 -1) into -1 0.407 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in eps 0.407 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.407 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.407 * [taylor]: Taking taylor expansion of eps in eps 0.407 * [backup-simplify]: Simplify 0 into 0 0.407 * [backup-simplify]: Simplify 1 into 1 0.407 * [backup-simplify]: Simplify (/ 1 1) into 1 0.407 * [taylor]: Taking taylor expansion of 1.0 in eps 0.407 * [backup-simplify]: Simplify 1.0 into 1.0 0.407 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.407 * [taylor]: Taking taylor expansion of 1.0 in eps 0.407 * [backup-simplify]: Simplify 1.0 into 1.0 0.407 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.407 * [taylor]: Taking taylor expansion of eps in eps 0.407 * [backup-simplify]: Simplify 0 into 0 0.407 * [backup-simplify]: Simplify 1 into 1 0.407 * [backup-simplify]: Simplify (/ 1 1) into 1 0.408 * [backup-simplify]: Simplify (+ 1 0) into 1 0.408 * [backup-simplify]: Simplify (- 1) into -1 0.408 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.408 * [backup-simplify]: Simplify (/ 1 -1) into -1 0.408 * [backup-simplify]: Simplify -1 into -1 0.409 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.409 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.410 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.410 * [backup-simplify]: Simplify (- 0) into 0 0.410 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.412 * [backup-simplify]: Simplify (- (/ 1.0 -1) (+ (* -1 (/ 1.0 -1)))) into (- 2.0) 0.413 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.414 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.414 * [backup-simplify]: Simplify (+ 0 0) into 0 0.415 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.415 * [backup-simplify]: Simplify (- 0) into 0 0.416 * [backup-simplify]: Simplify (+ 0 0) into 0 0.421 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* (- 2.0) (/ 1.0 -1)))) into (- 2.0) 0.429 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.431 * [backup-simplify]: Simplify (+ (* (- 2.0) (pow (/ 1 (- eps)) 2)) (+ (* (- 2.0) (/ 1 (- eps))) -1)) into (- (* 2.0 (/ 1 eps)) (+ (* 2.0 (/ 1 (pow eps 2))) 1)) 0.431 * * * [progress]: simplifying candidates 0.434 * [simplify]: Simplifying: (expm1 (log (/ (- 1.0 eps) (+ 1.0 eps)))) (log1p (log (/ (- 1.0 eps) (+ 1.0 eps)))) (log (* (cbrt (/ (- 1.0 eps) (+ 1.0 eps))) (cbrt (/ (- 1.0 eps) (+ 1.0 eps))))) (log (cbrt (/ (- 1.0 eps) (+ 1.0 eps)))) (log (sqrt (/ (- 1.0 eps) (+ 1.0 eps)))) (log (sqrt (/ (- 1.0 eps) (+ 1.0 eps)))) (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (cbrt (+ 1.0 eps)))) (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) 1)) (log (/ (cbrt (- 1.0 eps)) (+ 1.0 eps))) (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) 1)) (log (/ (cbrt (- 1.0 eps)) (+ 1.0 eps))) (log (/ (sqrt (- 1.0 eps)) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (log (/ (sqrt (- 1.0 eps)) (cbrt (+ 1.0 eps)))) (log (/ (sqrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (sqrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (sqrt (- 1.0 eps)) 1)) (log (/ (sqrt (- 1.0 eps)) (+ 1.0 eps))) (log (/ (sqrt (- 1.0 eps)) 1)) (log (/ (sqrt (- 1.0 eps)) (+ 1.0 eps))) (log (/ 1 (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (log (/ (- 1.0 eps) (cbrt (+ 1.0 eps)))) (log (/ 1 (sqrt (+ 1.0 eps)))) (log (/ (- 1.0 eps) (sqrt (+ 1.0 eps)))) (log (/ 1 1)) (log (/ (- 1.0 eps) (+ 1.0 eps))) (log (/ 1 1)) (log (/ (- 1.0 eps) (+ 1.0 eps))) (log (/ (+ (sqrt 1.0) (sqrt eps)) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (log (/ (- (sqrt 1.0) (sqrt eps)) (cbrt (+ 1.0 eps)))) (log (/ (+ (sqrt 1.0) (sqrt eps)) (sqrt (+ 1.0 eps)))) (log (/ (- (sqrt 1.0) (sqrt eps)) (sqrt (+ 1.0 eps)))) (log (/ (+ (sqrt 1.0) (sqrt eps)) 1)) (log (/ (- (sqrt 1.0) (sqrt eps)) (+ 1.0 eps))) (log (/ (+ (sqrt 1.0) (sqrt eps)) 1)) (log (/ (- (sqrt 1.0) (sqrt eps)) (+ 1.0 eps))) (log (/ 1 (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (log (/ (- 1.0 eps) (cbrt (+ 1.0 eps)))) (log (/ 1 (sqrt (+ 1.0 eps)))) (log (/ (- 1.0 eps) (sqrt (+ 1.0 eps)))) (log (/ 1 1)) (log (/ (- 1.0 eps) (+ 1.0 eps))) (log (/ 1 1)) (log (/ (- 1.0 eps) (+ 1.0 eps))) (log 1) (log (/ (- 1.0 eps) (+ 1.0 eps))) (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) (+ 1.0 eps))) (log (log (/ (- 1.0 eps) (+ 1.0 eps)))) (exp (log (/ (- 1.0 eps) (+ 1.0 eps)))) (* (cbrt (log (/ (- 1.0 eps) (+ 1.0 eps)))) (cbrt (log (/ (- 1.0 eps) (+ 1.0 eps))))) (cbrt (log (/ (- 1.0 eps) (+ 1.0 eps)))) (* (* (log (/ (- 1.0 eps) (+ 1.0 eps))) (log (/ (- 1.0 eps) (+ 1.0 eps)))) (log (/ (- 1.0 eps) (+ 1.0 eps)))) (sqrt (log (/ (- 1.0 eps) (+ 1.0 eps)))) (sqrt (log (/ (- 1.0 eps) (+ 1.0 eps)))) (expm1 (/ (- 1.0 eps) (+ 1.0 eps))) (log1p (/ (- 1.0 eps) (+ 1.0 eps))) (- (log (- 1.0 eps)) (log (+ 1.0 eps))) (log (/ (- 1.0 eps) (+ 1.0 eps))) (exp (/ (- 1.0 eps) (+ 1.0 eps))) (/ (* (* (- 1.0 eps) (- 1.0 eps)) (- 1.0 eps)) (* (* (+ 1.0 eps) (+ 1.0 eps)) (+ 1.0 eps))) (* (cbrt (/ (- 1.0 eps) (+ 1.0 eps))) (cbrt (/ (- 1.0 eps) (+ 1.0 eps)))) (cbrt (/ (- 1.0 eps) (+ 1.0 eps))) (* (* (/ (- 1.0 eps) (+ 1.0 eps)) (/ (- 1.0 eps) (+ 1.0 eps))) (/ (- 1.0 eps) (+ 1.0 eps))) (sqrt (/ (- 1.0 eps) (+ 1.0 eps))) (sqrt (/ (- 1.0 eps) (+ 1.0 eps))) (- (- 1.0 eps)) (- (+ 1.0 eps)) (/ 1.0 (+ 1.0 eps)) (/ eps (+ 1.0 eps)) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (cbrt (+ 1.0 eps))) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) 1) (/ (cbrt (- 1.0 eps)) (+ 1.0 eps)) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) 1) (/ (cbrt (- 1.0 eps)) (+ 1.0 eps)) (/ (sqrt (- 1.0 eps)) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (sqrt (- 1.0 eps)) (cbrt (+ 1.0 eps))) (/ (sqrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (sqrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (sqrt (- 1.0 eps)) 1) (/ (sqrt (- 1.0 eps)) (+ 1.0 eps)) (/ (sqrt (- 1.0 eps)) 1) (/ (sqrt (- 1.0 eps)) (+ 1.0 eps)) (/ 1 (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (- 1.0 eps) (cbrt (+ 1.0 eps))) (/ 1 (sqrt (+ 1.0 eps))) (/ (- 1.0 eps) (sqrt (+ 1.0 eps))) (/ 1 1) (/ (- 1.0 eps) (+ 1.0 eps)) (/ 1 1) (/ (- 1.0 eps) (+ 1.0 eps)) (/ (+ (sqrt 1.0) (sqrt eps)) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (- (sqrt 1.0) (sqrt eps)) (cbrt (+ 1.0 eps))) (/ (+ (sqrt 1.0) (sqrt eps)) (sqrt (+ 1.0 eps))) (/ (- (sqrt 1.0) (sqrt eps)) (sqrt (+ 1.0 eps))) (/ (+ (sqrt 1.0) (sqrt eps)) 1) (/ (- (sqrt 1.0) (sqrt eps)) (+ 1.0 eps)) (/ (+ (sqrt 1.0) (sqrt eps)) 1) (/ (- (sqrt 1.0) (sqrt eps)) (+ 1.0 eps)) (/ 1 (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (- 1.0 eps) (cbrt (+ 1.0 eps))) (/ 1 (sqrt (+ 1.0 eps))) (/ (- 1.0 eps) (sqrt (+ 1.0 eps))) (/ 1 1) (/ (- 1.0 eps) (+ 1.0 eps)) (/ 1 1) (/ (- 1.0 eps) (+ 1.0 eps)) (/ 1 (+ 1.0 eps)) (/ (+ 1.0 eps) (- 1.0 eps)) (/ (- 1.0 eps) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (- 1.0 eps) (sqrt (+ 1.0 eps))) (/ (- 1.0 eps) 1) (/ (- 1.0 eps) 1) (/ (+ 1.0 eps) (cbrt (- 1.0 eps))) (/ (+ 1.0 eps) (sqrt (- 1.0 eps))) (/ (+ 1.0 eps) (- 1.0 eps)) (/ (+ 1.0 eps) (- (sqrt 1.0) (sqrt 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.438 * * [simplify]: Extracting # 0 : cost 0 0.439 * * [simplify]: Extracting # 1 : cost 0 0.439 * * [simplify]: Extracting # 2 : cost 0 0.439 * * [simplify]: Extracting # 3 : cost 0 0.440 * * [simplify]: Extracting # 4 : cost 0 0.440 * * [simplify]: Extracting # 5 : cost 0 0.441 * * [simplify]: Extracting # 6 : cost 0 0.441 * * [simplify]: Extracting # 7 : cost 0 0.441 * * [simplify]: Extracting # 8 : cost 0 0.442 * * [simplify]: iteration 0 : 147 enodes (cost 1318 ) 0.506 * * [simplify]: Extracting # 0 : cost 0 0.507 * * [simplify]: Extracting # 1 : cost 0 0.508 * * [simplify]: Extracting # 2 : cost 0 0.509 * * [simplify]: Extracting # 3 : cost 0 0.509 * * [simplify]: Extracting # 4 : cost 0 0.510 * * [simplify]: iteration 1 : 365 enodes (cost 1247 ) 0.733 * * [simplify]: Extracting # 0 : cost 0 0.736 * * [simplify]: Extracting # 1 : cost 0 0.739 * * [simplify]: Extracting # 2 : cost 0 0.743 * * [simplify]: Extracting # 3 : cost 0 0.746 * * [simplify]: Extracting # 4 : cost 0 0.750 * * [simplify]: iteration 2 : 1400 enodes (cost 1186 ) 1.533 * * [simplify]: Extracting # 0 : cost 0 1.539 * * [simplify]: Extracting # 1 : cost 0 1.547 * * [simplify]: Extracting # 2 : cost 0 1.568 * * [simplify]: Extracting # 3 : cost 0 1.581 * * [simplify]: Extracting # 4 : cost 0 1.588 * * [simplify]: iteration done: 5000 enodes (cost 1183 ) 1.589 * [simplify]: Simplified to: (expm1 (log (/ (- 1.0 eps) (+ 1.0 eps)))) (log1p (log (/ (- 1.0 eps) (+ 1.0 eps)))) (* 2 (log (cbrt (/ (- 1.0 eps) (+ 1.0 eps))))) (log (cbrt (/ (- 1.0 eps) (+ 1.0 eps)))) (log (sqrt (/ (- 1.0 eps) (+ 1.0 eps)))) (log (sqrt (/ (- 1.0 eps) (+ 1.0 eps)))) (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (cbrt (+ 1.0 eps)))) (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (log (/ (cbrt (- 1.0 eps)) (+ 1.0 eps))) (log (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (log (/ (cbrt (- 1.0 eps)) (+ 1.0 eps))) (log (/ (sqrt (- 1.0 eps)) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (log (/ (sqrt (- 1.0 eps)) (cbrt (+ 1.0 eps)))) (log (/ (sqrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (sqrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (sqrt (- 1.0 eps))) (log (/ (sqrt (- 1.0 eps)) (+ 1.0 eps))) (log (sqrt (- 1.0 eps))) (log (/ (sqrt (- 1.0 eps)) (+ 1.0 eps))) (- (log (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (log (/ (- 1.0 eps) (cbrt (+ 1.0 eps)))) (- (log (sqrt (+ 1.0 eps)))) (log (/ (- 1.0 eps) (sqrt (+ 1.0 eps)))) 0 (log (/ (- 1.0 eps) (+ 1.0 eps))) 0 (log (/ (- 1.0 eps) (+ 1.0 eps))) (log (/ (+ (sqrt 1.0) (sqrt eps)) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (log (/ (- (sqrt 1.0) (sqrt eps)) (cbrt (+ 1.0 eps)))) (log (/ (+ (sqrt 1.0) (sqrt eps)) (sqrt (+ 1.0 eps)))) (log (/ (- (sqrt 1.0) (sqrt eps)) (sqrt (+ 1.0 eps)))) (log (+ (sqrt 1.0) (sqrt eps))) (log (/ (- (sqrt 1.0) (sqrt eps)) (+ 1.0 eps))) (log (+ (sqrt 1.0) (sqrt eps))) (log (/ (- (sqrt 1.0) (sqrt eps)) (+ 1.0 eps))) (- (log (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (log (/ (- 1.0 eps) (cbrt (+ 1.0 eps)))) (- (log (sqrt (+ 1.0 eps)))) (log (/ (- 1.0 eps) (sqrt (+ 1.0 eps)))) 0 (log (/ (- 1.0 eps) (+ 1.0 eps))) 0 (log (/ (- 1.0 eps) (+ 1.0 eps))) 0 (log (/ (- 1.0 eps) (+ 1.0 eps))) (log (- 1.0 eps)) (- (log (+ 1.0 eps))) (log (/ (- 1.0 eps) (+ (pow 1.0 3) (pow eps 3)))) (log (fma 1.0 1.0 (* eps (- eps 1.0)))) (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) (+ 1.0 eps))) (log (log (/ (- 1.0 eps) (+ 1.0 eps)))) (/ (- 1.0 eps) (+ 1.0 eps)) (* (cbrt (log (/ (- 1.0 eps) (+ 1.0 eps)))) (cbrt (log (/ (- 1.0 eps) (+ 1.0 eps))))) (cbrt (log (/ (- 1.0 eps) (+ 1.0 eps)))) (pow (log (/ (- 1.0 eps) (+ 1.0 eps))) 3) (sqrt (log (/ (- 1.0 eps) (+ 1.0 eps)))) (sqrt (log (/ (- 1.0 eps) (+ 1.0 eps)))) (expm1 (/ (- 1.0 eps) (+ 1.0 eps))) (log1p (/ (- 1.0 eps) (+ 1.0 eps))) (log (/ (- 1.0 eps) (+ 1.0 eps))) (log (/ (- 1.0 eps) (+ 1.0 eps))) (exp (/ (- 1.0 eps) (+ 1.0 eps))) (pow (/ (- 1.0 eps) (+ 1.0 eps)) 3) (* (cbrt (/ (- 1.0 eps) (+ 1.0 eps))) (cbrt (/ (- 1.0 eps) (+ 1.0 eps)))) (cbrt (/ (- 1.0 eps) (+ 1.0 eps))) (pow (/ (- 1.0 eps) (+ 1.0 eps)) 3) (sqrt (/ (- 1.0 eps) (+ 1.0 eps))) (sqrt (/ (- 1.0 eps) (+ 1.0 eps))) (- (- 1.0 eps)) (- (+ 1.0 eps)) (/ 1.0 (+ 1.0 eps)) (/ eps (+ 1.0 eps)) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (cbrt (+ 1.0 eps))) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (/ (cbrt (- 1.0 eps)) (+ 1.0 eps)) (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (/ (cbrt (- 1.0 eps)) (+ 1.0 eps)) (/ (sqrt (- 1.0 eps)) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (sqrt (- 1.0 eps)) (cbrt (+ 1.0 eps))) (/ (sqrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (sqrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (sqrt (- 1.0 eps)) (/ (sqrt (- 1.0 eps)) (+ 1.0 eps)) (sqrt (- 1.0 eps)) (/ (sqrt (- 1.0 eps)) (+ 1.0 eps)) (/ 1 (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (- 1.0 eps) (cbrt (+ 1.0 eps))) (/ 1 (sqrt (+ 1.0 eps))) (/ (- 1.0 eps) (sqrt (+ 1.0 eps))) 1 (/ (- 1.0 eps) (+ 1.0 eps)) 1 (/ (- 1.0 eps) (+ 1.0 eps)) (/ (+ (sqrt 1.0) (sqrt eps)) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (- (sqrt 1.0) (sqrt eps)) (cbrt (+ 1.0 eps))) (/ (+ (sqrt 1.0) (sqrt eps)) (sqrt (+ 1.0 eps))) (/ (- (sqrt 1.0) (sqrt eps)) (sqrt (+ 1.0 eps))) (+ (sqrt 1.0) (sqrt eps)) (/ (- (sqrt 1.0) (sqrt eps)) (+ 1.0 eps)) (+ (sqrt 1.0) (sqrt eps)) (/ (- (sqrt 1.0) (sqrt eps)) (+ 1.0 eps)) (/ 1 (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (- 1.0 eps) (cbrt (+ 1.0 eps))) (/ 1 (sqrt (+ 1.0 eps))) (/ (- 1.0 eps) (sqrt (+ 1.0 eps))) 1 (/ (- 1.0 eps) (+ 1.0 eps)) 1 (/ (- 1.0 eps) (+ 1.0 eps)) (/ 1 (+ 1.0 eps)) (/ (+ 1.0 eps) (- 1.0 eps)) (/ (- 1.0 eps) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (- 1.0 eps) (sqrt (+ 1.0 eps))) (- 1.0 eps) (- 1.0 eps) (/ (+ 1.0 eps) (cbrt (- 1.0 eps))) (/ (+ 1.0 eps) (sqrt (- 1.0 eps))) (/ (+ 1.0 eps) (- 1.0 eps)) (/ (+ 1.0 eps) (- (sqrt 1.0) (sqrt 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))) (* (fma 1.0 1.0 (* eps (+ 1.0 eps))) (+ 1.0 eps)) (* (+ 1.0 eps) (+ 1.0 eps)) (fma (- 2.0) (fma (/ eps 1.0) (/ eps 1.0) eps) (fma 2.0 (pow eps 2) (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 (* eps eps) 1.0) (* 2.0 eps)) (+ (- (/ 2.0 eps) (/ (/ 2.0 eps) eps)) -1) (+ (- (/ 2.0 eps) (/ (/ 2.0 eps) eps)) -1) 1.590 * * * [progress]: adding candidates to table 1.891 * * [progress]: iteration 2 / 4 1.891 * * * [progress]: picking best candidate 1.902 * * * * [pick]: Picked # 1.902 * * * [progress]: localizing error 1.919 * * * [progress]: generating rewritten candidates 1.919 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3) 1.919 * * * [progress]: generating series expansions 1.919 * * * * [progress]: [ 1 / 1 ] generating series at (2 3) 1.920 * [backup-simplify]: Simplify (fma 2.0 (pow eps 2) (log 1.0)) into (fma 2.0 (pow eps 2) (log 1.0)) 1.920 * [approximate]: Taking taylor expansion of (fma 2.0 (pow eps 2) (log 1.0)) in (eps) around 0 1.920 * [taylor]: Taking taylor expansion of (fma 2.0 (pow eps 2) (log 1.0)) in eps 1.921 * [taylor]: Rewrote expression to (+ (* 2.0 (pow eps 2)) (log 1.0)) 1.921 * [taylor]: Taking taylor expansion of (* 2.0 (pow eps 2)) in eps 1.921 * [taylor]: Taking taylor expansion of 2.0 in eps 1.921 * [backup-simplify]: Simplify 2.0 into 2.0 1.921 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.921 * [taylor]: Taking taylor expansion of eps in eps 1.921 * [backup-simplify]: Simplify 0 into 0 1.921 * [backup-simplify]: Simplify 1 into 1 1.921 * [taylor]: Taking taylor expansion of (log 1.0) in eps 1.922 * [taylor]: Taking taylor expansion of 1.0 in eps 1.922 * [backup-simplify]: Simplify 1.0 into 1.0 1.922 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 1.922 * [taylor]: Taking taylor expansion of (fma 2.0 (pow eps 2) (log 1.0)) in eps 1.922 * [taylor]: Rewrote expression to (+ (* 2.0 (pow eps 2)) (log 1.0)) 1.922 * [taylor]: Taking taylor expansion of (* 2.0 (pow eps 2)) in eps 1.922 * [taylor]: Taking taylor expansion of 2.0 in eps 1.922 * [backup-simplify]: Simplify 2.0 into 2.0 1.922 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.922 * [taylor]: Taking taylor expansion of eps in eps 1.922 * [backup-simplify]: Simplify 0 into 0 1.922 * [backup-simplify]: Simplify 1 into 1 1.922 * [taylor]: Taking taylor expansion of (log 1.0) in eps 1.922 * [taylor]: Taking taylor expansion of 1.0 in eps 1.922 * [backup-simplify]: Simplify 1.0 into 1.0 1.922 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 1.923 * [backup-simplify]: Simplify (+ 0 (log 1.0)) into (log 1.0) 1.923 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 1.924 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1.0 1)))) 1) into 0 1.924 * [backup-simplify]: Simplify (+ 0 0) into 0 1.924 * [backup-simplify]: Simplify 0 into 0 1.925 * [backup-simplify]: Simplify (* 1 1) into 1 1.925 * [backup-simplify]: Simplify (* 2.0 1) into 2.0 1.927 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into 0 1.927 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 1.927 * [backup-simplify]: Simplify 2.0 into 2.0 1.927 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.928 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0 1.931 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1.0 1)))) 6) into 0 1.931 * [backup-simplify]: Simplify (+ 0 0) into 0 1.931 * [backup-simplify]: Simplify 0 into 0 1.932 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.933 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0 1.946 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1.0 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1.0 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1.0 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1.0 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1.0 1)))) 24) into 0 1.946 * [backup-simplify]: Simplify (+ 0 0) into 0 1.946 * [backup-simplify]: Simplify 0 into 0 1.947 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.948 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.967 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1.0 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1.0 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1.0 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1.0 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1.0 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1.0 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1.0 1)))) 120) into 0 1.968 * [backup-simplify]: Simplify (+ 0 0) into 0 1.968 * [backup-simplify]: Simplify 0 into 0 1.969 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.970 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.003 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1.0 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1.0 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1.0 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1.0 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1.0 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1.0 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1.0 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1.0 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1.0 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1.0 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1.0 1)))) 720) into 0 2.004 * [backup-simplify]: Simplify (+ 0 0) into 0 2.004 * [backup-simplify]: Simplify 0 into 0 2.005 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.007 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.059 * [backup-simplify]: Simplify (/ (+ (* 720 (/ (* (pow (* 1 0) 7)) (pow 1.0 7))) (* -2520 (/ (* (pow (* 1 0) 5) (pow (* 2 0) 1)) (pow 1.0 6))) (* 2520 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 2)) (pow 1.0 5))) (* 840 (/ (* (pow (* 1 0) 4) 1 (pow (* 6 0) 1)) (pow 1.0 5))) (* -630 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 3)) (pow 1.0 4))) (* -1260 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1.0 4))) (* -210 (/ (* (pow (* 1 0) 3) 1 1 (pow (* 24 0) 1)) (pow 1.0 4))) (* 210 (/ (* 1 (pow (* 2 0) 2) (pow (* 6 0) 1)) (pow 1.0 3))) (* 140 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 2)) (pow 1.0 3))) (* 210 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1.0 3))) (* 42 (/ (* (pow (* 1 0) 2) 1 1 1 (pow (* 120 0) 1)) (pow 1.0 3))) (* -35 (/ (* 1 1 (pow (* 6 0) 1) (pow (* 24 0) 1)) (pow 1.0 2))) (* -21 (/ (* 1 (pow (* 2 0) 1) 1 1 (pow (* 120 0) 1)) (pow 1.0 2))) (* -7 (/ (* (pow (* 1 0) 1) 1 1 1 1 (pow (* 720 0) 1)) (pow 1.0 2))) (* 1 (/ (* 1 1 1 1 1 1 (pow (* 5040 0) 1)) (pow 1.0 1)))) 5040) into 0 2.059 * [backup-simplify]: Simplify (+ 0 0) into 0 2.059 * [backup-simplify]: Simplify 0 into 0 2.060 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.061 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.147 * [backup-simplify]: Simplify (/ (+ (* -5040 (/ (* (pow (* 1 0) 8)) (pow 1.0 8))) (* 20160 (/ (* (pow (* 1 0) 6) (pow (* 2 0) 1)) (pow 1.0 7))) (* -25200 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 2)) (pow 1.0 6))) (* -6720 (/ (* (pow (* 1 0) 5) 1 (pow (* 6 0) 1)) (pow 1.0 6))) (* 10080 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 3)) (pow 1.0 5))) (* 13440 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1.0 5))) (* 1680 (/ (* (pow (* 1 0) 4) 1 1 (pow (* 24 0) 1)) (pow 1.0 5))) (* -630 (/ (* 1 (pow (* 2 0) 4)) (pow 1.0 4))) (* -5040 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2) (pow (* 6 0) 1)) (pow 1.0 4))) (* -1680 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 2)) (pow 1.0 4))) (* -2520 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1.0 4))) (* -336 (/ (* (pow (* 1 0) 3) 1 1 1 (pow (* 120 0) 1)) (pow 1.0 4))) (* 560 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 2)) (pow 1.0 3))) (* 420 (/ (* 1 (pow (* 2 0) 2) 1 (pow (* 24 0) 1)) (pow 1.0 3))) (* 560 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1) (pow (* 24 0) 1)) (pow 1.0 3))) (* 336 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) 1 1 (pow (* 120 0) 1)) (pow 1.0 3))) (* 56 (/ (* (pow (* 1 0) 2) 1 1 1 1 (pow (* 720 0) 1)) (pow 1.0 3))) (* -35 (/ (* 1 1 1 (pow (* 24 0) 2)) (pow 1.0 2))) (* -56 (/ (* 1 1 (pow (* 6 0) 1) 1 (pow (* 120 0) 1)) (pow 1.0 2))) (* -28 (/ (* 1 (pow (* 2 0) 1) 1 1 1 (pow (* 720 0) 1)) (pow 1.0 2))) (* -8 (/ (* (pow (* 1 0) 1) 1 1 1 1 1 (pow (* 5040 0) 1)) (pow 1.0 2))) (* 1 (/ (* 1 1 1 1 1 1 1 (pow (* 40320 0) 1)) (pow 1.0 1)))) 40320) into 0 2.148 * [backup-simplify]: Simplify (+ 0 0) into 0 2.148 * [backup-simplify]: Simplify 0 into 0 2.149 * [backup-simplify]: Simplify (+ (* 2.0 (pow eps 2)) (log 1.0)) into (+ (* 2.0 (pow eps 2)) (log 1.0)) 2.149 * [backup-simplify]: Simplify (fma 2.0 (pow (/ 1 eps) 2) (log 1.0)) into (fma 2.0 (pow (/ 1 eps) 2) (log 1.0)) 2.149 * [approximate]: Taking taylor expansion of (fma 2.0 (pow (/ 1 eps) 2) (log 1.0)) in (eps) around 0 2.149 * [taylor]: Taking taylor expansion of (fma 2.0 (pow (/ 1 eps) 2) (log 1.0)) in eps 2.149 * [taylor]: Rewrote expression to (+ (* 2.0 (pow (/ 1 eps) 2)) (log 1.0)) 2.150 * [taylor]: Taking taylor expansion of (* 2.0 (pow (/ 1 eps) 2)) in eps 2.150 * [taylor]: Taking taylor expansion of 2.0 in eps 2.150 * [backup-simplify]: Simplify 2.0 into 2.0 2.150 * [taylor]: Taking taylor expansion of (pow (/ 1 eps) 2) in eps 2.150 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 2.150 * [taylor]: Taking taylor expansion of eps in eps 2.150 * [backup-simplify]: Simplify 0 into 0 2.150 * [backup-simplify]: Simplify 1 into 1 2.150 * [backup-simplify]: Simplify (/ 1 1) into 1 2.150 * [taylor]: Taking taylor expansion of (log 1.0) in eps 2.150 * [taylor]: Taking taylor expansion of 1.0 in eps 2.150 * [backup-simplify]: Simplify 1.0 into 1.0 2.151 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 2.151 * [taylor]: Taking taylor expansion of (fma 2.0 (pow (/ 1 eps) 2) (log 1.0)) in eps 2.151 * [taylor]: Rewrote expression to (+ (* 2.0 (pow (/ 1 eps) 2)) (log 1.0)) 2.151 * [taylor]: Taking taylor expansion of (* 2.0 (pow (/ 1 eps) 2)) in eps 2.151 * [taylor]: Taking taylor expansion of 2.0 in eps 2.151 * [backup-simplify]: Simplify 2.0 into 2.0 2.151 * [taylor]: Taking taylor expansion of (pow (/ 1 eps) 2) in eps 2.151 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 2.151 * [taylor]: Taking taylor expansion of eps in eps 2.151 * [backup-simplify]: Simplify 0 into 0 2.151 * [backup-simplify]: Simplify 1 into 1 2.151 * [backup-simplify]: Simplify (/ 1 1) into 1 2.151 * [taylor]: Taking taylor expansion of (log 1.0) in eps 2.151 * [taylor]: Taking taylor expansion of 1.0 in eps 2.151 * [backup-simplify]: Simplify 1.0 into 1.0 2.152 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 2.152 * [backup-simplify]: Simplify (* 1 1) into 1 2.153 * [backup-simplify]: Simplify (* 2.0 1) into 2.0 2.153 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 2.153 * [backup-simplify]: Simplify 2.0 into 2.0 2.154 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.154 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.155 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0 2.155 * [backup-simplify]: Simplify (+ 0 0) into 0 2.155 * [backup-simplify]: Simplify 0 into 0 2.156 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.157 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.158 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0 2.159 * [backup-simplify]: Simplify (+ 0 (log 1.0)) into (log 1.0) 2.159 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 2.160 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.161 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.162 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.164 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1.0 1)))) 1) into 0 2.164 * [backup-simplify]: Simplify (+ 0 0) into 0 2.164 * [backup-simplify]: Simplify 0 into 0 2.165 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.166 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.177 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.180 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into 0 2.181 * [backup-simplify]: Simplify (+ 0 0) into 0 2.181 * [backup-simplify]: Simplify 0 into 0 2.182 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.183 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.184 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.187 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1.0 1)))) 6) into 0 2.187 * [backup-simplify]: Simplify (+ 0 0) into 0 2.187 * [backup-simplify]: Simplify 0 into 0 2.188 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.189 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.190 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.196 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1.0 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1.0 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1.0 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1.0 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1.0 1)))) 24) into 0 2.197 * [backup-simplify]: Simplify (+ 0 0) into 0 2.197 * [backup-simplify]: Simplify 0 into 0 2.197 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 2.199 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 2.209 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1.0 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1.0 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1.0 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1.0 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1.0 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1.0 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1.0 1)))) 120) into 0 2.210 * [backup-simplify]: Simplify (+ 0 0) into 0 2.210 * [backup-simplify]: Simplify 0 into 0 2.210 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.212 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 2.214 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 2.250 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1.0 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1.0 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1.0 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1.0 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1.0 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1.0 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1.0 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1.0 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1.0 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1.0 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1.0 1)))) 720) into 0 2.251 * [backup-simplify]: Simplify (+ 0 0) into 0 2.251 * [backup-simplify]: Simplify 0 into 0 2.251 * [backup-simplify]: Simplify (+ (log 1.0) (* 2.0 (pow (/ 1 (/ 1 eps)) 2))) into (+ (* 2.0 (pow eps 2)) (log 1.0)) 2.252 * [backup-simplify]: Simplify (fma 2.0 (pow (/ 1 (- eps)) 2) (log 1.0)) into (fma 2.0 (pow (/ -1 eps) 2) (log 1.0)) 2.252 * [approximate]: Taking taylor expansion of (fma 2.0 (pow (/ -1 eps) 2) (log 1.0)) in (eps) around 0 2.252 * [taylor]: Taking taylor expansion of (fma 2.0 (pow (/ -1 eps) 2) (log 1.0)) in eps 2.253 * [taylor]: Rewrote expression to (+ (* 2.0 (pow (/ -1 eps) 2)) (log 1.0)) 2.253 * [taylor]: Taking taylor expansion of (* 2.0 (pow (/ -1 eps) 2)) in eps 2.253 * [taylor]: Taking taylor expansion of 2.0 in eps 2.253 * [backup-simplify]: Simplify 2.0 into 2.0 2.253 * [taylor]: Taking taylor expansion of (pow (/ -1 eps) 2) in eps 2.253 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps 2.253 * [taylor]: Taking taylor expansion of -1 in eps 2.253 * [backup-simplify]: Simplify -1 into -1 2.253 * [taylor]: Taking taylor expansion of eps in eps 2.253 * [backup-simplify]: Simplify 0 into 0 2.253 * [backup-simplify]: Simplify 1 into 1 2.253 * [backup-simplify]: Simplify (/ -1 1) into -1 2.253 * [taylor]: Taking taylor expansion of (log 1.0) in eps 2.253 * [taylor]: Taking taylor expansion of 1.0 in eps 2.253 * [backup-simplify]: Simplify 1.0 into 1.0 2.254 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 2.254 * [taylor]: Taking taylor expansion of (fma 2.0 (pow (/ -1 eps) 2) (log 1.0)) in eps 2.254 * [taylor]: Rewrote expression to (+ (* 2.0 (pow (/ -1 eps) 2)) (log 1.0)) 2.254 * [taylor]: Taking taylor expansion of (* 2.0 (pow (/ -1 eps) 2)) in eps 2.254 * [taylor]: Taking taylor expansion of 2.0 in eps 2.254 * [backup-simplify]: Simplify 2.0 into 2.0 2.254 * [taylor]: Taking taylor expansion of (pow (/ -1 eps) 2) in eps 2.254 * [taylor]: Taking taylor expansion of (/ -1 eps) in eps 2.254 * [taylor]: Taking taylor expansion of -1 in eps 2.254 * [backup-simplify]: Simplify -1 into -1 2.254 * [taylor]: Taking taylor expansion of eps in eps 2.254 * [backup-simplify]: Simplify 0 into 0 2.255 * [backup-simplify]: Simplify 1 into 1 2.255 * [backup-simplify]: Simplify (/ -1 1) into -1 2.255 * [taylor]: Taking taylor expansion of (log 1.0) in eps 2.255 * [taylor]: Taking taylor expansion of 1.0 in eps 2.255 * [backup-simplify]: Simplify 1.0 into 1.0 2.256 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 2.256 * [backup-simplify]: Simplify (* -1 -1) into 1 2.257 * [backup-simplify]: Simplify (* 2.0 1) into 2.0 2.257 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 2.257 * [backup-simplify]: Simplify 2.0 into 2.0 2.258 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 2.259 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 2.260 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0 2.260 * [backup-simplify]: Simplify (+ 0 0) into 0 2.260 * [backup-simplify]: Simplify 0 into 0 2.261 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.262 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 2.263 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0 2.264 * [backup-simplify]: Simplify (+ 0 (log 1.0)) into (log 1.0) 2.265 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 2.266 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.267 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 2.268 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.270 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1.0 1)))) 1) into 0 2.270 * [backup-simplify]: Simplify (+ 0 0) into 0 2.270 * [backup-simplify]: Simplify 0 into 0 2.272 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.273 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 2.274 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.278 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into 0 2.279 * [backup-simplify]: Simplify (+ 0 0) into 0 2.279 * [backup-simplify]: Simplify 0 into 0 2.280 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.281 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0 2.282 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.288 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1.0 1)))) 6) into 0 2.289 * [backup-simplify]: Simplify (+ 0 0) into 0 2.289 * [backup-simplify]: Simplify 0 into 0 2.290 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.291 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0 2.293 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.304 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1.0 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1.0 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1.0 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1.0 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1.0 1)))) 24) into 0 2.305 * [backup-simplify]: Simplify (+ 0 0) into 0 2.305 * [backup-simplify]: Simplify 0 into 0 2.306 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.314 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))) into 0 2.315 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 2.325 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1.0 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1.0 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1.0 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1.0 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1.0 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1.0 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1.0 1)))) 120) into 0 2.326 * [backup-simplify]: Simplify (+ 0 0) into 0 2.326 * [backup-simplify]: Simplify 0 into 0 2.327 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.328 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))))) into 0 2.329 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 2.356 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1.0 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1.0 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1.0 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1.0 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1.0 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1.0 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1.0 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1.0 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1.0 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1.0 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1.0 1)))) 720) into 0 2.356 * [backup-simplify]: Simplify (+ 0 0) into 0 2.356 * [backup-simplify]: Simplify 0 into 0 2.357 * [backup-simplify]: Simplify (+ (log 1.0) (* 2.0 (pow (/ 1 (/ 1 (- eps))) 2))) into (+ (* 2.0 (pow eps 2)) (log 1.0)) 2.357 * * * [progress]: simplifying candidates 2.358 * [simplify]: Simplifying: (expm1 (fma 2.0 (pow eps 2) (log 1.0))) (log1p (fma 2.0 (pow eps 2) (log 1.0))) (* 2.0 (pow eps 2)) (log (fma 2.0 (pow eps 2) (log 1.0))) (exp (fma 2.0 (pow eps 2) (log 1.0))) (* (cbrt (fma 2.0 (pow eps 2) (log 1.0))) (cbrt (fma 2.0 (pow eps 2) (log 1.0)))) (cbrt (fma 2.0 (pow eps 2) (log 1.0))) (* (* (fma 2.0 (pow eps 2) (log 1.0)) (fma 2.0 (pow eps 2) (log 1.0))) (fma 2.0 (pow eps 2) (log 1.0))) (sqrt (fma 2.0 (pow eps 2) (log 1.0))) (sqrt (fma 2.0 (pow eps 2) (log 1.0))) (+ (* 2.0 (pow eps 2)) (log 1.0)) (+ (* 2.0 (pow eps 2)) (log 1.0)) (+ (* 2.0 (pow eps 2)) (log 1.0)) 2.358 * * [simplify]: Extracting # 0 : cost 0 2.358 * * [simplify]: Extracting # 1 : cost 0 2.358 * * [simplify]: Extracting # 2 : cost 0 2.358 * * [simplify]: Extracting # 3 : cost 0 2.359 * * [simplify]: Extracting # 4 : cost 0 2.359 * * [simplify]: Extracting # 5 : cost 0 2.359 * * [simplify]: iteration 0 : 18 enodes (cost 125 ) 2.364 * * [simplify]: Extracting # 0 : cost 0 2.365 * * [simplify]: Extracting # 1 : cost 0 2.365 * * [simplify]: Extracting # 2 : cost 0 2.365 * * [simplify]: Extracting # 3 : cost 0 2.365 * * [simplify]: Extracting # 4 : cost 0 2.365 * * [simplify]: iteration 1 : 29 enodes (cost 122 ) 2.376 * * [simplify]: Extracting # 0 : cost 0 2.377 * * [simplify]: Extracting # 1 : cost 0 2.377 * * [simplify]: Extracting # 2 : cost 0 2.377 * * [simplify]: iteration 2 : 89 enodes (cost 108 ) 2.414 * * [simplify]: Extracting # 0 : cost 0 2.414 * * [simplify]: Extracting # 1 : cost 0 2.414 * * [simplify]: Extracting # 2 : cost 0 2.415 * * [simplify]: Extracting # 3 : cost 0 2.415 * * [simplify]: iteration 3 : 343 enodes (cost 108 ) 2.794 * * [simplify]: Extracting # 0 : cost 0 2.802 * * [simplify]: Extracting # 1 : cost 0 2.807 * * [simplify]: Extracting # 2 : cost 0 2.817 * * [simplify]: Extracting # 3 : cost 0 2.820 * * [simplify]: Extracting # 4 : cost 0 2.823 * * [simplify]: iteration 4 : 2467 enodes (cost 108 ) 10.159 * * [simplify]: Extracting # 0 : cost 0 10.204 * * [simplify]: Extracting # 1 : cost 0 10.215 * * [simplify]: iteration done: 5000 enodes (cost 108 ) 10.215 * [simplify]: Simplified to: (expm1 (fma 2.0 (pow eps 2) (log 1.0))) (log1p (fma 2.0 (pow eps 2) (log 1.0))) (* 2.0 (pow eps 2)) (log (fma 2.0 (pow eps 2) (log 1.0))) (exp (fma 2.0 (pow eps 2) (log 1.0))) (* (cbrt (fma 2.0 (pow eps 2) (log 1.0))) (cbrt (fma 2.0 (pow eps 2) (log 1.0)))) (cbrt (fma 2.0 (pow eps 2) (log 1.0))) (pow (fma 2.0 (pow eps 2) (log 1.0)) 3) (sqrt (fma 2.0 (pow eps 2) (log 1.0))) (sqrt (fma 2.0 (pow eps 2) (log 1.0))) (fma 2.0 (pow eps 2) (log 1.0)) (fma 2.0 (pow eps 2) (log 1.0)) (fma 2.0 (pow eps 2) (log 1.0)) 10.215 * * * [progress]: adding candidates to table 10.293 * * [progress]: iteration 3 / 4 10.293 * * * [progress]: picking best candidate 10.300 * * * * [pick]: Picked # 10.300 * * * [progress]: localizing error 10.322 * * * [progress]: generating rewritten candidates 10.323 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 10.335 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 10.344 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 10.385 * * * [progress]: generating series expansions 10.386 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 10.386 * [backup-simplify]: Simplify (log (- 1.0 eps)) into (log (- 1.0 eps)) 10.386 * [approximate]: Taking taylor expansion of (log (- 1.0 eps)) in (eps) around 0 10.386 * [taylor]: Taking taylor expansion of (log (- 1.0 eps)) in eps 10.386 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 10.386 * [taylor]: Taking taylor expansion of 1.0 in eps 10.386 * [backup-simplify]: Simplify 1.0 into 1.0 10.386 * [taylor]: Taking taylor expansion of eps in eps 10.386 * [backup-simplify]: Simplify 0 into 0 10.386 * [backup-simplify]: Simplify 1 into 1 10.387 * [backup-simplify]: Simplify (- 0) into 0 10.387 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 10.388 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 10.388 * [taylor]: Taking taylor expansion of (log (- 1.0 eps)) in eps 10.388 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 10.388 * [taylor]: Taking taylor expansion of 1.0 in eps 10.388 * [backup-simplify]: Simplify 1.0 into 1.0 10.388 * [taylor]: Taking taylor expansion of eps in eps 10.388 * [backup-simplify]: Simplify 0 into 0 10.388 * [backup-simplify]: Simplify 1 into 1 10.388 * [backup-simplify]: Simplify (- 0) into 0 10.389 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 10.389 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 10.390 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 10.390 * [backup-simplify]: Simplify (- 1) into -1 10.390 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.396 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1.0 1)))) 1) into -1.0 10.396 * [backup-simplify]: Simplify -1.0 into -1.0 10.397 * [backup-simplify]: Simplify (- 0) into 0 10.397 * [backup-simplify]: Simplify (+ 0 0) into 0 10.408 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2)) 10.409 * [backup-simplify]: Simplify (/ -1/2 (pow 1.0 2)) into (/ -1/2 (pow 1.0 2)) 10.411 * [backup-simplify]: Simplify (+ (* (/ -1/2 (pow 1.0 2)) (pow eps 2)) (+ (* -1.0 eps) (log 1.0))) into (- (log 1.0) (+ (* 1/2 (/ (pow eps 2) (pow 1.0 2))) (* 1.0 eps))) 10.411 * [backup-simplify]: Simplify (log (- 1.0 (/ 1 eps))) into (log (- 1.0 (/ 1 eps))) 10.411 * [approximate]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in (eps) around 0 10.411 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps 10.411 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 10.411 * [taylor]: Taking taylor expansion of 1.0 in eps 10.411 * [backup-simplify]: Simplify 1.0 into 1.0 10.411 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.411 * [taylor]: Taking taylor expansion of eps in eps 10.411 * [backup-simplify]: Simplify 0 into 0 10.411 * [backup-simplify]: Simplify 1 into 1 10.411 * [backup-simplify]: Simplify (/ 1 1) into 1 10.412 * [backup-simplify]: Simplify (- 1) into -1 10.412 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.413 * [backup-simplify]: Simplify (log -1) into (log -1) 10.413 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps 10.413 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 10.413 * [taylor]: Taking taylor expansion of 1.0 in eps 10.413 * [backup-simplify]: Simplify 1.0 into 1.0 10.413 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.413 * [taylor]: Taking taylor expansion of eps in eps 10.413 * [backup-simplify]: Simplify 0 into 0 10.413 * [backup-simplify]: Simplify 1 into 1 10.413 * [backup-simplify]: Simplify (/ 1 1) into 1 10.414 * [backup-simplify]: Simplify (- 1) into -1 10.414 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.415 * [backup-simplify]: Simplify (log -1) into (log -1) 10.415 * [backup-simplify]: Simplify (+ (* (- 1) (log eps)) (log -1)) into (- (log -1) (log eps)) 10.416 * [backup-simplify]: Simplify (- (log -1) (log eps)) into (- (log -1) (log eps)) 10.417 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.417 * [backup-simplify]: Simplify (- 0) into 0 10.418 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 10.425 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0 10.425 * [backup-simplify]: Simplify -1.0 into -1.0 10.426 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.426 * [backup-simplify]: Simplify (- 0) into 0 10.427 * [backup-simplify]: Simplify (+ 0 0) into 0 10.438 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -0.5 10.438 * [backup-simplify]: Simplify -0.5 into -0.5 10.439 * [backup-simplify]: Simplify (+ (* -0.5 (pow (/ 1 eps) 2)) (+ (* -1.0 (/ 1 eps)) (- (log -1) (log (/ 1 eps))))) into (- (log -1) (+ (* 0.5 (/ 1 (pow eps 2))) (+ (log (/ 1 eps)) (* 1.0 (/ 1 eps))))) 10.439 * [backup-simplify]: Simplify (log (- 1.0 (/ 1 (- eps)))) into (log (+ (/ 1 eps) 1.0)) 10.440 * [approximate]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in (eps) around 0 10.440 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps 10.440 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 10.440 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.440 * [taylor]: Taking taylor expansion of eps in eps 10.440 * [backup-simplify]: Simplify 0 into 0 10.440 * [backup-simplify]: Simplify 1 into 1 10.440 * [backup-simplify]: Simplify (/ 1 1) into 1 10.440 * [taylor]: Taking taylor expansion of 1.0 in eps 10.440 * [backup-simplify]: Simplify 1.0 into 1.0 10.441 * [backup-simplify]: Simplify (+ 1 0) into 1 10.441 * [backup-simplify]: Simplify (log 1) into 0 10.441 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps 10.441 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 10.441 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.441 * [taylor]: Taking taylor expansion of eps in eps 10.441 * [backup-simplify]: Simplify 0 into 0 10.441 * [backup-simplify]: Simplify 1 into 1 10.442 * [backup-simplify]: Simplify (/ 1 1) into 1 10.442 * [taylor]: Taking taylor expansion of 1.0 in eps 10.442 * [backup-simplify]: Simplify 1.0 into 1.0 10.442 * [backup-simplify]: Simplify (+ 1 0) into 1 10.442 * [backup-simplify]: Simplify (log 1) into 0 10.443 * [backup-simplify]: Simplify (+ (* (- 1) (log eps)) 0) into (- (log eps)) 10.443 * [backup-simplify]: Simplify (- (log eps)) into (- (log eps)) 10.444 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.444 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 10.455 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0 10.455 * [backup-simplify]: Simplify 1.0 into 1.0 10.456 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.457 * [backup-simplify]: Simplify (+ 0 0) into 0 10.467 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5 10.467 * [backup-simplify]: Simplify -0.5 into -0.5 10.467 * [backup-simplify]: Simplify (+ (* -0.5 (pow (/ 1 (- eps)) 2)) (+ (* 1.0 (/ 1 (- eps))) (- (log (/ 1 (- eps)))))) into (- (+ (log (/ -1 eps)) (+ (* 0.5 (/ 1 (pow eps 2))) (* 1.0 (/ 1 eps))))) 10.467 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 10.467 * [backup-simplify]: Simplify (log (+ 1.0 eps)) into (log (+ eps 1.0)) 10.467 * [approximate]: Taking taylor expansion of (log (+ eps 1.0)) in (eps) around 0 10.468 * [taylor]: Taking taylor expansion of (log (+ eps 1.0)) in eps 10.468 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 10.468 * [taylor]: Taking taylor expansion of eps in eps 10.468 * [backup-simplify]: Simplify 0 into 0 10.468 * [backup-simplify]: Simplify 1 into 1 10.468 * [taylor]: Taking taylor expansion of 1.0 in eps 10.468 * [backup-simplify]: Simplify 1.0 into 1.0 10.468 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 10.468 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 10.468 * [taylor]: Taking taylor expansion of (log (+ eps 1.0)) in eps 10.468 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 10.468 * [taylor]: Taking taylor expansion of eps in eps 10.468 * [backup-simplify]: Simplify 0 into 0 10.468 * [backup-simplify]: Simplify 1 into 1 10.468 * [taylor]: Taking taylor expansion of 1.0 in eps 10.468 * [backup-simplify]: Simplify 1.0 into 1.0 10.469 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 10.469 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 10.469 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 10.470 * [backup-simplify]: Simplify (+ 1 0) into 1 10.473 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0 10.473 * [backup-simplify]: Simplify 1.0 into 1.0 10.473 * [backup-simplify]: Simplify (+ 0 0) into 0 10.478 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2)) 10.479 * [backup-simplify]: Simplify (/ -1/2 (pow 1.0 2)) into (/ -1/2 (pow 1.0 2)) 10.480 * [backup-simplify]: Simplify (+ (* (/ -1/2 (pow 1.0 2)) (pow eps 2)) (+ (* 1.0 eps) (log 1.0))) into (- (+ (log 1.0) (* 1.0 eps)) (* 1/2 (/ (pow eps 2) (pow 1.0 2)))) 10.480 * [backup-simplify]: Simplify (log (+ 1.0 (/ 1 eps))) into (log (+ (/ 1 eps) 1.0)) 10.480 * [approximate]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in (eps) around 0 10.480 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps 10.480 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 10.481 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.481 * [taylor]: Taking taylor expansion of eps in eps 10.481 * [backup-simplify]: Simplify 0 into 0 10.481 * [backup-simplify]: Simplify 1 into 1 10.481 * [backup-simplify]: Simplify (/ 1 1) into 1 10.481 * [taylor]: Taking taylor expansion of 1.0 in eps 10.481 * [backup-simplify]: Simplify 1.0 into 1.0 10.481 * [backup-simplify]: Simplify (+ 1 0) into 1 10.481 * [backup-simplify]: Simplify (log 1) into 0 10.481 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps 10.481 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 10.481 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.481 * [taylor]: Taking taylor expansion of eps in eps 10.481 * [backup-simplify]: Simplify 0 into 0 10.481 * [backup-simplify]: Simplify 1 into 1 10.482 * [backup-simplify]: Simplify (/ 1 1) into 1 10.482 * [taylor]: Taking taylor expansion of 1.0 in eps 10.482 * [backup-simplify]: Simplify 1.0 into 1.0 10.482 * [backup-simplify]: Simplify (+ 1 0) into 1 10.482 * [backup-simplify]: Simplify (log 1) into 0 10.483 * [backup-simplify]: Simplify (+ (* (- 1) (log eps)) 0) into (- (log eps)) 10.483 * [backup-simplify]: Simplify (- (log eps)) into (- (log eps)) 10.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.483 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 10.487 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0 10.487 * [backup-simplify]: Simplify 1.0 into 1.0 10.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.488 * [backup-simplify]: Simplify (+ 0 0) into 0 10.494 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5 10.494 * [backup-simplify]: Simplify -0.5 into -0.5 10.495 * [backup-simplify]: Simplify (+ (* -0.5 (pow (/ 1 eps) 2)) (+ (* 1.0 (/ 1 eps)) (- (log (/ 1 eps))))) into (- (* 1.0 (/ 1 eps)) (+ (* 0.5 (/ 1 (pow eps 2))) (log (/ 1 eps)))) 10.495 * [backup-simplify]: Simplify (log (+ 1.0 (/ 1 (- eps)))) into (log (- 1.0 (/ 1 eps))) 10.495 * [approximate]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in (eps) around 0 10.495 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps 10.495 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 10.495 * [taylor]: Taking taylor expansion of 1.0 in eps 10.495 * [backup-simplify]: Simplify 1.0 into 1.0 10.495 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.495 * [taylor]: Taking taylor expansion of eps in eps 10.495 * [backup-simplify]: Simplify 0 into 0 10.495 * [backup-simplify]: Simplify 1 into 1 10.495 * [backup-simplify]: Simplify (/ 1 1) into 1 10.495 * [backup-simplify]: Simplify (- 1) into -1 10.496 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.496 * [backup-simplify]: Simplify (log -1) into (log -1) 10.496 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps 10.496 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 10.496 * [taylor]: Taking taylor expansion of 1.0 in eps 10.496 * [backup-simplify]: Simplify 1.0 into 1.0 10.496 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.496 * [taylor]: Taking taylor expansion of eps in eps 10.496 * [backup-simplify]: Simplify 0 into 0 10.496 * [backup-simplify]: Simplify 1 into 1 10.496 * [backup-simplify]: Simplify (/ 1 1) into 1 10.497 * [backup-simplify]: Simplify (- 1) into -1 10.497 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.497 * [backup-simplify]: Simplify (log -1) into (log -1) 10.498 * [backup-simplify]: Simplify (+ (* (- 1) (log eps)) (log -1)) into (- (log -1) (log eps)) 10.498 * [backup-simplify]: Simplify (- (log -1) (log eps)) into (- (log -1) (log eps)) 10.498 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.499 * [backup-simplify]: Simplify (- 0) into 0 10.499 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 10.503 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0 10.503 * [backup-simplify]: Simplify -1.0 into -1.0 10.503 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.504 * [backup-simplify]: Simplify (- 0) into 0 10.504 * [backup-simplify]: Simplify (+ 0 0) into 0 10.510 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -0.5 10.510 * [backup-simplify]: Simplify -0.5 into -0.5 10.511 * [backup-simplify]: Simplify (+ (* -0.5 (pow (/ 1 (- eps)) 2)) (+ (* -1.0 (/ 1 (- eps))) (- (log -1) (log (/ 1 (- eps)))))) into (- (+ (log -1) (* 1.0 (/ 1 eps))) (+ (log (/ -1 eps)) (* 0.5 (/ 1 (pow eps 2))))) 10.511 * * * * [progress]: [ 3 / 3 ] generating series at (2) 10.511 * [backup-simplify]: Simplify (- (log (- 1.0 eps)) (log (+ 1.0 eps))) into (- (log (- 1.0 eps)) (log (+ eps 1.0))) 10.511 * [approximate]: Taking taylor expansion of (- (log (- 1.0 eps)) (log (+ eps 1.0))) in (eps) around 0 10.511 * [taylor]: Taking taylor expansion of (- (log (- 1.0 eps)) (log (+ eps 1.0))) in eps 10.511 * [taylor]: Taking taylor expansion of (log (- 1.0 eps)) in eps 10.511 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 10.511 * [taylor]: Taking taylor expansion of 1.0 in eps 10.511 * [backup-simplify]: Simplify 1.0 into 1.0 10.511 * [taylor]: Taking taylor expansion of eps in eps 10.511 * [backup-simplify]: Simplify 0 into 0 10.511 * [backup-simplify]: Simplify 1 into 1 10.512 * [backup-simplify]: Simplify (- 0) into 0 10.512 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 10.512 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 10.512 * [taylor]: Taking taylor expansion of (log (+ eps 1.0)) in eps 10.512 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 10.512 * [taylor]: Taking taylor expansion of eps in eps 10.512 * [backup-simplify]: Simplify 0 into 0 10.512 * [backup-simplify]: Simplify 1 into 1 10.512 * [taylor]: Taking taylor expansion of 1.0 in eps 10.512 * [backup-simplify]: Simplify 1.0 into 1.0 10.512 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 10.513 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 10.513 * [taylor]: Taking taylor expansion of (- (log (- 1.0 eps)) (log (+ eps 1.0))) in eps 10.513 * [taylor]: Taking taylor expansion of (log (- 1.0 eps)) in eps 10.513 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 10.513 * [taylor]: Taking taylor expansion of 1.0 in eps 10.513 * [backup-simplify]: Simplify 1.0 into 1.0 10.513 * [taylor]: Taking taylor expansion of eps in eps 10.513 * [backup-simplify]: Simplify 0 into 0 10.513 * [backup-simplify]: Simplify 1 into 1 10.513 * [backup-simplify]: Simplify (- 0) into 0 10.513 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 10.514 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 10.514 * [taylor]: Taking taylor expansion of (log (+ eps 1.0)) in eps 10.514 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 10.514 * [taylor]: Taking taylor expansion of eps in eps 10.514 * [backup-simplify]: Simplify 0 into 0 10.514 * [backup-simplify]: Simplify 1 into 1 10.514 * [taylor]: Taking taylor expansion of 1.0 in eps 10.514 * [backup-simplify]: Simplify 1.0 into 1.0 10.514 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 10.514 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 10.515 * [backup-simplify]: Simplify (- (log 1.0)) into (- (log 1.0)) 10.516 * [backup-simplify]: Simplify (+ (log 1.0) (- (log 1.0))) into 0 10.516 * [backup-simplify]: Simplify 0 into 0 10.516 * [backup-simplify]: Simplify (- 1) into -1 10.517 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.520 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1.0 1)))) 1) into -1.0 10.520 * [backup-simplify]: Simplify (+ 1 0) into 1 10.523 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0 10.523 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 10.524 * [backup-simplify]: Simplify (+ -1.0 (- 1.0)) into (- 2.0) 10.524 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 10.525 * [backup-simplify]: Simplify (- 0) into 0 10.525 * [backup-simplify]: Simplify (+ 0 0) into 0 10.531 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2)) 10.531 * [backup-simplify]: Simplify (+ 0 0) into 0 10.537 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2)) 10.538 * [backup-simplify]: Simplify (- (/ -1/2 (pow 1.0 2))) into (* 1/2 (/ 1 (pow 1.0 2))) 10.541 * [backup-simplify]: Simplify (+ (/ -1/2 (pow 1.0 2)) (* 1/2 (/ 1 (pow 1.0 2)))) into 0 10.541 * [backup-simplify]: Simplify 0 into 0 10.541 * [backup-simplify]: Simplify (- 0) into 0 10.541 * [backup-simplify]: Simplify (+ 0 0) into 0 10.554 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 -1) 3)) (pow 1.0 3))) (* -3 (/ (* (pow (* 1 -1) 1) (pow (* 2 0) 1)) (pow 1.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1.0 1)))) 6) into (/ -1/3 (pow 1.0 3)) 10.554 * [backup-simplify]: Simplify (+ 0 0) into 0 10.565 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1.0 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1.0 1)))) 6) into (/ 1/3 (pow 1.0 3)) 10.567 * [backup-simplify]: Simplify (- (/ 1/3 (pow 1.0 3))) into (- (* 1/3 (/ 1 (pow 1.0 3)))) 10.570 * [backup-simplify]: Simplify (+ (/ -1/3 (pow 1.0 3)) (- (* 1/3 (/ 1 (pow 1.0 3))))) into (- (* 2/3 (/ 1 (pow 1.0 3)))) 10.571 * [backup-simplify]: Simplify (- (* 2/3 (/ 1 (pow 1.0 3)))) into (- (* 2/3 (/ 1 (pow 1.0 3)))) 10.572 * [backup-simplify]: Simplify (- 0) into 0 10.572 * [backup-simplify]: Simplify (+ 0 0) into 0 10.592 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 -1) 4)) (pow 1.0 4))) (* 12 (/ (* (pow (* 1 -1) 2) (pow (* 2 0) 1)) (pow 1.0 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1.0 2))) (* -4 (/ (* (pow (* 1 -1) 1) 1 (pow (* 6 0) 1)) (pow 1.0 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1.0 1)))) 24) into (/ -1/4 (pow 1.0 4)) 10.592 * [backup-simplify]: Simplify (+ 0 0) into 0 10.610 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 1) 4)) (pow 1.0 4))) (* 12 (/ (* (pow (* 1 1) 2) (pow (* 2 0) 1)) (pow 1.0 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1.0 2))) (* -4 (/ (* (pow (* 1 1) 1) 1 (pow (* 6 0) 1)) (pow 1.0 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1.0 1)))) 24) into (/ -1/4 (pow 1.0 4)) 10.611 * [backup-simplify]: Simplify (- (/ -1/4 (pow 1.0 4))) into (* 1/4 (/ 1 (pow 1.0 4))) 10.614 * [backup-simplify]: Simplify (+ (/ -1/4 (pow 1.0 4)) (* 1/4 (/ 1 (pow 1.0 4)))) into 0 10.614 * [backup-simplify]: Simplify 0 into 0 10.614 * [backup-simplify]: Simplify (- 0) into 0 10.614 * [backup-simplify]: Simplify (+ 0 0) into 0 10.652 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 -1) 5)) (pow 1.0 5))) (* -60 (/ (* (pow (* 1 -1) 3) (pow (* 2 0) 1)) (pow 1.0 4))) (* 30 (/ (* (pow (* 1 -1) 1) (pow (* 2 0) 2)) (pow 1.0 3))) (* 20 (/ (* (pow (* 1 -1) 2) 1 (pow (* 6 0) 1)) (pow 1.0 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1.0 2))) (* -5 (/ (* (pow (* 1 -1) 1) 1 1 (pow (* 24 0) 1)) (pow 1.0 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1.0 1)))) 120) into (/ -1/5 (pow 1.0 5)) 10.652 * [backup-simplify]: Simplify (+ 0 0) into 0 10.693 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 1) 5)) (pow 1.0 5))) (* -60 (/ (* (pow (* 1 1) 3) (pow (* 2 0) 1)) (pow 1.0 4))) (* 30 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 2)) (pow 1.0 3))) (* 20 (/ (* (pow (* 1 1) 2) 1 (pow (* 6 0) 1)) (pow 1.0 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1.0 2))) (* -5 (/ (* (pow (* 1 1) 1) 1 1 (pow (* 24 0) 1)) (pow 1.0 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1.0 1)))) 120) into (/ 1/5 (pow 1.0 5)) 10.694 * [backup-simplify]: Simplify (- (/ 1/5 (pow 1.0 5))) into (- (* 1/5 (/ 1 (pow 1.0 5)))) 10.698 * [backup-simplify]: Simplify (+ (/ -1/5 (pow 1.0 5)) (- (* 1/5 (/ 1 (pow 1.0 5))))) into (- (* 2/5 (/ 1 (pow 1.0 5)))) 10.699 * [backup-simplify]: Simplify (- (* 2/5 (/ 1 (pow 1.0 5)))) into (- (* 2/5 (/ 1 (pow 1.0 5)))) 10.705 * [backup-simplify]: Simplify (+ (* (- (* 2/5 (/ 1 (pow 1.0 5)))) (pow eps 5)) (+ (* (- (* 2/3 (/ 1 (pow 1.0 3)))) (pow eps 3)) (* (- 2.0) eps))) into (- (+ (* 2/3 (/ (pow eps 3) (pow 1.0 3))) (+ (* 2/5 (/ (pow eps 5) (pow 1.0 5))) (* 2.0 eps)))) 10.705 * [backup-simplify]: Simplify (- (log (- 1.0 (/ 1 eps))) (log (+ 1.0 (/ 1 eps)))) into (- (log (- 1.0 (/ 1 eps))) (log (+ (/ 1 eps) 1.0))) 10.706 * [approximate]: Taking taylor expansion of (- (log (- 1.0 (/ 1 eps))) (log (+ (/ 1 eps) 1.0))) in (eps) around 0 10.706 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 eps))) (log (+ (/ 1 eps) 1.0))) in eps 10.706 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps 10.706 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 10.706 * [taylor]: Taking taylor expansion of 1.0 in eps 10.706 * [backup-simplify]: Simplify 1.0 into 1.0 10.706 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.706 * [taylor]: Taking taylor expansion of eps in eps 10.706 * [backup-simplify]: Simplify 0 into 0 10.706 * [backup-simplify]: Simplify 1 into 1 10.706 * [backup-simplify]: Simplify (/ 1 1) into 1 10.707 * [backup-simplify]: Simplify (- 1) into -1 10.707 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.707 * [backup-simplify]: Simplify (log -1) into (log -1) 10.707 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps 10.707 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 10.707 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.707 * [taylor]: Taking taylor expansion of eps in eps 10.707 * [backup-simplify]: Simplify 0 into 0 10.707 * [backup-simplify]: Simplify 1 into 1 10.708 * [backup-simplify]: Simplify (/ 1 1) into 1 10.708 * [taylor]: Taking taylor expansion of 1.0 in eps 10.708 * [backup-simplify]: Simplify 1.0 into 1.0 10.708 * [backup-simplify]: Simplify (+ 1 0) into 1 10.709 * [backup-simplify]: Simplify (log 1) into 0 10.709 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 eps))) (log (+ (/ 1 eps) 1.0))) in eps 10.709 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps 10.709 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 10.709 * [taylor]: Taking taylor expansion of 1.0 in eps 10.709 * [backup-simplify]: Simplify 1.0 into 1.0 10.709 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.709 * [taylor]: Taking taylor expansion of eps in eps 10.709 * [backup-simplify]: Simplify 0 into 0 10.709 * [backup-simplify]: Simplify 1 into 1 10.709 * [backup-simplify]: Simplify (/ 1 1) into 1 10.710 * [backup-simplify]: Simplify (- 1) into -1 10.710 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.710 * [backup-simplify]: Simplify (log -1) into (log -1) 10.710 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps 10.710 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 10.711 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.711 * [taylor]: Taking taylor expansion of eps in eps 10.711 * [backup-simplify]: Simplify 0 into 0 10.711 * [backup-simplify]: Simplify 1 into 1 10.711 * [backup-simplify]: Simplify (/ 1 1) into 1 10.711 * [taylor]: Taking taylor expansion of 1.0 in eps 10.711 * [backup-simplify]: Simplify 1.0 into 1.0 10.711 * [backup-simplify]: Simplify (+ 1 0) into 1 10.712 * [backup-simplify]: Simplify (log 1) into 0 10.713 * [backup-simplify]: Simplify (+ (* (- 1) (log eps)) (log -1)) into (- (log -1) (log eps)) 10.713 * [backup-simplify]: Simplify (+ (* (- 1) (log eps)) 0) into (- (log eps)) 10.713 * [backup-simplify]: Simplify (- (- (log eps))) into (log eps) 10.714 * [backup-simplify]: Simplify (+ (- (log -1) (log eps)) (log eps)) into (log -1) 10.714 * [backup-simplify]: Simplify (log -1) into (log -1) 10.715 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.715 * [backup-simplify]: Simplify (- 0) into 0 10.715 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 10.722 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0 10.722 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.723 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 10.728 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0 10.729 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 10.729 * [backup-simplify]: Simplify (+ -1.0 (- 1.0)) into (- 2.0) 10.730 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 10.731 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.731 * [backup-simplify]: Simplify (- 0) into 0 10.731 * [backup-simplify]: Simplify (+ 0 0) into 0 10.741 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -0.5 10.742 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.743 * [backup-simplify]: Simplify (+ 0 0) into 0 10.753 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5 10.754 * [backup-simplify]: Simplify (- -0.5) into 0.5 10.755 * [backup-simplify]: Simplify (+ -0.5 0.5) into 0 10.755 * [backup-simplify]: Simplify 0 into 0 10.755 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.755 * [backup-simplify]: Simplify (- 0) into 0 10.756 * [backup-simplify]: Simplify (+ 0 0) into 0 10.770 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1.0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 1.0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into -0.3333333333333333 10.771 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.771 * [backup-simplify]: Simplify (+ 0 0) into 0 10.781 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1.0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1.0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0.3333333333333333 10.781 * [backup-simplify]: Simplify (- 0.3333333333333333) into (- 0.3333333333333333) 10.781 * [backup-simplify]: Simplify (+ -0.3333333333333333 (- 0.3333333333333333)) into (- 0.6666666666666666) 10.782 * [backup-simplify]: Simplify (- 0.6666666666666666) into (- 0.6666666666666666) 10.782 * [backup-simplify]: Simplify (+ (* (- 0.6666666666666666) (pow (/ 1 eps) 3)) (+ (* (- 2.0) (/ 1 eps)) (log -1))) into (- (log -1) (+ (* 0.6666666666666666 (/ 1 (pow eps 3))) (* 2.0 (/ 1 eps)))) 10.783 * [backup-simplify]: Simplify (- (log (- 1.0 (/ 1 (- eps)))) (log (+ 1.0 (/ 1 (- eps))))) into (- (log (+ (/ 1 eps) 1.0)) (log (- 1.0 (/ 1 eps)))) 10.783 * [approximate]: Taking taylor expansion of (- (log (+ (/ 1 eps) 1.0)) (log (- 1.0 (/ 1 eps)))) in (eps) around 0 10.783 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 eps) 1.0)) (log (- 1.0 (/ 1 eps)))) in eps 10.783 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps 10.783 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 10.783 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.783 * [taylor]: Taking taylor expansion of eps in eps 10.783 * [backup-simplify]: Simplify 0 into 0 10.783 * [backup-simplify]: Simplify 1 into 1 10.783 * [backup-simplify]: Simplify (/ 1 1) into 1 10.783 * [taylor]: Taking taylor expansion of 1.0 in eps 10.783 * [backup-simplify]: Simplify 1.0 into 1.0 10.783 * [backup-simplify]: Simplify (+ 1 0) into 1 10.784 * [backup-simplify]: Simplify (log 1) into 0 10.784 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps 10.784 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 10.784 * [taylor]: Taking taylor expansion of 1.0 in eps 10.784 * [backup-simplify]: Simplify 1.0 into 1.0 10.784 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.784 * [taylor]: Taking taylor expansion of eps in eps 10.784 * [backup-simplify]: Simplify 0 into 0 10.784 * [backup-simplify]: Simplify 1 into 1 10.784 * [backup-simplify]: Simplify (/ 1 1) into 1 10.784 * [backup-simplify]: Simplify (- 1) into -1 10.784 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.785 * [backup-simplify]: Simplify (log -1) into (log -1) 10.785 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 eps) 1.0)) (log (- 1.0 (/ 1 eps)))) in eps 10.785 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps 10.785 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 10.785 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.785 * [taylor]: Taking taylor expansion of eps in eps 10.785 * [backup-simplify]: Simplify 0 into 0 10.785 * [backup-simplify]: Simplify 1 into 1 10.785 * [backup-simplify]: Simplify (/ 1 1) into 1 10.785 * [taylor]: Taking taylor expansion of 1.0 in eps 10.785 * [backup-simplify]: Simplify 1.0 into 1.0 10.785 * [backup-simplify]: Simplify (+ 1 0) into 1 10.786 * [backup-simplify]: Simplify (log 1) into 0 10.786 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps 10.786 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 10.786 * [taylor]: Taking taylor expansion of 1.0 in eps 10.786 * [backup-simplify]: Simplify 1.0 into 1.0 10.786 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.786 * [taylor]: Taking taylor expansion of eps in eps 10.786 * [backup-simplify]: Simplify 0 into 0 10.786 * [backup-simplify]: Simplify 1 into 1 10.786 * [backup-simplify]: Simplify (/ 1 1) into 1 10.786 * [backup-simplify]: Simplify (- 1) into -1 10.787 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.787 * [backup-simplify]: Simplify (log -1) into (log -1) 10.787 * [backup-simplify]: Simplify (+ (* (- 1) (log eps)) 0) into (- (log eps)) 10.788 * [backup-simplify]: Simplify (+ (* (- 1) (log eps)) (log -1)) into (- (log -1) (log eps)) 10.788 * [backup-simplify]: Simplify (- (- (log -1) (log eps))) into (- (log eps) (log -1)) 10.788 * [backup-simplify]: Simplify (+ (- (log eps)) (- (log eps) (log -1))) into (- (log -1)) 10.789 * [backup-simplify]: Simplify (- (log -1)) into (- (log -1)) 10.789 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.789 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 10.793 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0 10.794 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.794 * [backup-simplify]: Simplify (- 0) into 0 10.794 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 10.798 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0 10.798 * [backup-simplify]: Simplify (- -1.0) into 1.0 10.798 * [backup-simplify]: Simplify (+ 1.0 1.0) into 2.0 10.798 * [backup-simplify]: Simplify 2.0 into 2.0 10.799 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.799 * [backup-simplify]: Simplify (+ 0 0) into 0 10.807 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5 10.807 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.808 * [backup-simplify]: Simplify (- 0) into 0 10.808 * [backup-simplify]: Simplify (+ 0 0) into 0 10.814 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -0.5 10.814 * [backup-simplify]: Simplify (- -0.5) into 0.5 10.815 * [backup-simplify]: Simplify (+ -0.5 0.5) into 0 10.815 * [backup-simplify]: Simplify 0 into 0 10.815 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.815 * [backup-simplify]: Simplify (+ 0 0) into 0 10.825 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1.0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1.0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0.3333333333333333 10.826 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.826 * [backup-simplify]: Simplify (- 0) into 0 10.826 * [backup-simplify]: Simplify (+ 0 0) into 0 10.836 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1.0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 1.0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into -0.3333333333333333 10.836 * [backup-simplify]: Simplify (- -0.3333333333333333) into 0.3333333333333333 10.837 * [backup-simplify]: Simplify (+ 0.3333333333333333 0.3333333333333333) into 0.6666666666666666 10.837 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 10.838 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 (pow (/ 1 (- eps)) 3)) (+ (* 2.0 (/ 1 (- eps))) (- (log -1)))) into (- (+ (log -1) (+ (* 0.6666666666666666 (/ 1 (pow eps 3))) (* 2.0 (/ 1 eps))))) 10.838 * * * [progress]: simplifying candidates 10.839 * [simplify]: Simplifying: (expm1 (log (- 1.0 eps))) (log1p (log (- 1.0 eps))) (log (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (log (cbrt (- 1.0 eps))) (log (sqrt (- 1.0 eps))) (log (sqrt (- 1.0 eps))) (log 1) (log (- 1.0 eps)) (log (+ (sqrt 1.0) (sqrt eps))) (log (- (sqrt 1.0) (sqrt eps))) (log 1) (log (- 1.0 eps)) (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 (log (- 1.0 eps))) (exp (log (- 1.0 eps))) (* (cbrt (log (- 1.0 eps))) (cbrt (log (- 1.0 eps)))) (cbrt (log (- 1.0 eps))) (* (* (log (- 1.0 eps)) (log (- 1.0 eps))) (log (- 1.0 eps))) (sqrt (log (- 1.0 eps))) (sqrt (log (- 1.0 eps))) (expm1 (log (+ 1.0 eps))) (log1p (log (+ 1.0 eps))) (log (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (log (cbrt (+ 1.0 eps))) (log (sqrt (+ 1.0 eps))) (log (sqrt (+ 1.0 eps))) (log 1) (log (+ 1.0 eps)) (log 1) (log (+ 1.0 eps)) (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 (log (+ 1.0 eps))) (exp (log (+ 1.0 eps))) (* (cbrt (log (+ 1.0 eps))) (cbrt (log (+ 1.0 eps)))) (cbrt (log (+ 1.0 eps))) (* (* (log (+ 1.0 eps)) (log (+ 1.0 eps))) (log (+ 1.0 eps))) (sqrt (log (+ 1.0 eps))) (sqrt (log (+ 1.0 eps))) (fma 1 (log (- 1.0 eps)) (- (* (log (+ 1.0 eps)) 1))) (fma (- (log (+ 1.0 eps))) 1 (* (log (+ 1.0 eps)) 1)) (fma 1 (log (- 1.0 eps)) (- (* (cbrt (log (+ 1.0 eps))) (* (cbrt (log (+ 1.0 eps))) (cbrt (log (+ 1.0 eps))))))) (fma (- (cbrt (log (+ 1.0 eps)))) (* (cbrt (log (+ 1.0 eps))) (cbrt (log (+ 1.0 eps)))) (* (cbrt (log (+ 1.0 eps))) (* (cbrt (log (+ 1.0 eps))) (cbrt (log (+ 1.0 eps)))))) (fma 1 (log (- 1.0 eps)) (- (* (sqrt (log (+ 1.0 eps))) (sqrt (log (+ 1.0 eps)))))) (fma (- (sqrt (log (+ 1.0 eps)))) (sqrt (log (+ 1.0 eps))) (* (sqrt (log (+ 1.0 eps))) (sqrt (log (+ 1.0 eps))))) (fma 1 (log (- 1.0 eps)) (- (* (log (+ 1.0 eps)) 1))) (fma (- (log (+ 1.0 eps))) 1 (* (log (+ 1.0 eps)) 1)) (fma (* (cbrt (log (- 1.0 eps))) (cbrt (log (- 1.0 eps)))) (cbrt (log (- 1.0 eps))) (- (* (log (+ 1.0 eps)) 1))) (fma (- (log (+ 1.0 eps))) 1 (* (log (+ 1.0 eps)) 1)) (fma (* (cbrt (log (- 1.0 eps))) (cbrt (log (- 1.0 eps)))) (cbrt (log (- 1.0 eps))) (- (* (cbrt (log (+ 1.0 eps))) (* (cbrt (log (+ 1.0 eps))) (cbrt (log (+ 1.0 eps))))))) (fma (- (cbrt (log (+ 1.0 eps)))) (* (cbrt (log (+ 1.0 eps))) (cbrt (log (+ 1.0 eps)))) (* (cbrt (log (+ 1.0 eps))) (* (cbrt (log (+ 1.0 eps))) (cbrt (log (+ 1.0 eps)))))) (fma (* (cbrt (log (- 1.0 eps))) (cbrt (log (- 1.0 eps)))) (cbrt (log (- 1.0 eps))) (- (* (sqrt (log (+ 1.0 eps))) (sqrt (log (+ 1.0 eps)))))) (fma (- (sqrt (log (+ 1.0 eps)))) (sqrt (log (+ 1.0 eps))) (* (sqrt (log (+ 1.0 eps))) (sqrt (log (+ 1.0 eps))))) (fma (* (cbrt (log (- 1.0 eps))) (cbrt (log (- 1.0 eps)))) (cbrt (log (- 1.0 eps))) (- (* (log (+ 1.0 eps)) 1))) (fma (- (log (+ 1.0 eps))) 1 (* (log (+ 1.0 eps)) 1)) (fma (sqrt (log (- 1.0 eps))) (sqrt (log (- 1.0 eps))) (- (* (log (+ 1.0 eps)) 1))) (fma (- (log (+ 1.0 eps))) 1 (* (log (+ 1.0 eps)) 1)) (fma (sqrt (log (- 1.0 eps))) (sqrt (log (- 1.0 eps))) (- (* (cbrt (log (+ 1.0 eps))) (* (cbrt (log (+ 1.0 eps))) (cbrt (log (+ 1.0 eps))))))) (fma (- (cbrt (log (+ 1.0 eps)))) (* (cbrt (log (+ 1.0 eps))) (cbrt (log (+ 1.0 eps)))) (* (cbrt (log (+ 1.0 eps))) (* (cbrt (log (+ 1.0 eps))) (cbrt (log (+ 1.0 eps)))))) (fma (sqrt (log (- 1.0 eps))) (sqrt (log (- 1.0 eps))) (- (* (sqrt (log (+ 1.0 eps))) (sqrt (log (+ 1.0 eps)))))) (fma (- (sqrt (log (+ 1.0 eps)))) (sqrt (log (+ 1.0 eps))) (* (sqrt (log (+ 1.0 eps))) (sqrt (log (+ 1.0 eps))))) (fma (sqrt (log (- 1.0 eps))) (sqrt (log (- 1.0 eps))) (- (* (log (+ 1.0 eps)) 1))) (fma (- (log (+ 1.0 eps))) 1 (* (log (+ 1.0 eps)) 1)) (fma 1 (log (- 1.0 eps)) (- (* (log (+ 1.0 eps)) 1))) (fma (- (log (+ 1.0 eps))) 1 (* (log (+ 1.0 eps)) 1)) (fma 1 (log (- 1.0 eps)) (- (* (cbrt (log (+ 1.0 eps))) (* (cbrt (log (+ 1.0 eps))) (cbrt (log (+ 1.0 eps))))))) (fma (- (cbrt (log (+ 1.0 eps)))) (* (cbrt (log (+ 1.0 eps))) (cbrt (log (+ 1.0 eps)))) (* (cbrt (log (+ 1.0 eps))) (* (cbrt (log (+ 1.0 eps))) (cbrt (log (+ 1.0 eps)))))) (fma 1 (log (- 1.0 eps)) (- (* (sqrt (log (+ 1.0 eps))) (sqrt (log (+ 1.0 eps)))))) (fma (- (sqrt (log (+ 1.0 eps)))) (sqrt (log (+ 1.0 eps))) (* (sqrt (log (+ 1.0 eps))) (sqrt (log (+ 1.0 eps))))) (fma 1 (log (- 1.0 eps)) (- (* (log (+ 1.0 eps)) 1))) (fma (- (log (+ 1.0 eps))) 1 (* (log (+ 1.0 eps)) 1)) (expm1 (- (log (- 1.0 eps)) (log (+ 1.0 eps)))) (log1p (- (log (- 1.0 eps)) (log (+ 1.0 eps)))) (- (log (+ 1.0 eps))) (- (log (+ 1.0 eps))) (- (log (+ 1.0 eps))) (- (log (+ 1.0 eps))) (/ (- 1.0 eps) (+ 1.0 eps)) (log (- (log (- 1.0 eps)) (log (+ 1.0 eps)))) (exp (- (log (- 1.0 eps)) (log (+ 1.0 eps)))) (* (cbrt (- (log (- 1.0 eps)) (log (+ 1.0 eps)))) (cbrt (- (log (- 1.0 eps)) (log (+ 1.0 eps))))) (cbrt (- (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)))) (sqrt (- (log (- 1.0 eps)) (log (+ 1.0 eps)))) (sqrt (- (log (- 1.0 eps)) (log (+ 1.0 eps)))) (- (pow (log (- 1.0 eps)) 3) (pow (log (+ 1.0 eps)) 3)) (+ (* (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 (+ 1.0 eps)) (log (+ 1.0 eps)))) (+ (log (- 1.0 eps)) (log (+ 1.0 eps))) (+ (sqrt (log (- 1.0 eps))) (sqrt (log (+ 1.0 eps)))) (- (sqrt (log (- 1.0 eps))) (sqrt (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 (- 1.0 eps)) (log (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (- (log (- 1.0 eps)) (log (sqrt (+ 1.0 eps)))) (- (log (- 1.0 eps)) (log 1)) (- (log (- 1.0 eps)) (log 1)) (- (log (cbrt (- 1.0 eps))) (log (+ 1.0 eps))) (- (log (sqrt (- 1.0 eps))) (log (+ 1.0 eps))) (- (log (- 1.0 eps)) (log (+ 1.0 eps))) (- (log (- (sqrt 1.0) (sqrt eps))) (log (+ 1.0 eps))) (- (log (- 1.0 eps)) (log (+ 1.0 eps))) (+ (log (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps)))) (log (+ 1.0 eps))) (+ (log (+ 1.0 eps)) (log (+ 1.0 eps))) (- (log (- 1.0 eps)) (log (+ (pow 1.0 3) (pow eps 3)))) (- (log (- 1.0 eps)) (log (- (* 1.0 1.0) (* eps eps)))) (- (log (+ 1.0 eps))) (- (log 1.0) (+ (* 1/2 (/ (pow eps 2) (pow 1.0 2))) (* 1.0 eps))) (- (log -1) (+ (* 0.5 (/ 1 (pow eps 2))) (+ (log (/ 1 eps)) (* 1.0 (/ 1 eps))))) (- (+ (log (/ -1 eps)) (+ (* 0.5 (/ 1 (pow eps 2))) (* 1.0 (/ 1 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))))) (- (+ (* 2/3 (/ (pow eps 3) (pow 1.0 3))) (+ (* 2/5 (/ (pow eps 5) (pow 1.0 5))) (* 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))))) 10.841 * * [simplify]: Extracting # 0 : cost 0 10.841 * * [simplify]: Extracting # 1 : cost 0 10.842 * * [simplify]: Extracting # 2 : cost 0 10.842 * * [simplify]: Extracting # 3 : cost 0 10.842 * * [simplify]: Extracting # 4 : cost 0 10.842 * * [simplify]: Extracting # 5 : cost 0 10.842 * * [simplify]: Extracting # 6 : cost 0 10.843 * * [simplify]: Extracting # 7 : cost 0 10.843 * * [simplify]: Extracting # 8 : cost 0 10.843 * * [simplify]: Extracting # 9 : cost 0 10.843 * * [simplify]: Extracting # 10 : cost 0 10.843 * * [simplify]: iteration 0 : 168 enodes (cost 1543 ) 10.883 * * [simplify]: Extracting # 0 : cost 0 10.883 * * [simplify]: Extracting # 1 : cost 0 10.884 * * [simplify]: Extracting # 2 : cost 0 10.884 * * [simplify]: Extracting # 3 : cost 0 10.885 * * [simplify]: Extracting # 4 : cost 0 10.885 * * [simplify]: iteration 1 : 396 enodes (cost 1258 ) 11.088 * * [simplify]: Extracting # 0 : cost 0 11.091 * * [simplify]: Extracting # 1 : cost 0 11.094 * * [simplify]: Extracting # 2 : cost 0 11.101 * * [simplify]: Extracting # 3 : cost 0 11.103 * * [simplify]: Extracting # 4 : cost 0 11.106 * * [simplify]: iteration 2 : 1487 enodes (cost 1051 ) 11.992 * * [simplify]: Extracting # 0 : cost 0 12.009 * * [simplify]: Extracting # 1 : cost 0 12.019 * * [simplify]: Extracting # 2 : cost 0 12.032 * * [simplify]: Extracting # 3 : cost 0 12.038 * * [simplify]: Extracting # 4 : cost 0 12.043 * * [simplify]: iteration done: 5001 enodes (cost 929 ) 12.044 * [simplify]: Simplified to: (expm1 (log (- 1.0 eps))) (log1p (log (- 1.0 eps))) (* 2 (log (cbrt (- 1.0 eps)))) (log (cbrt (- 1.0 eps))) (log (sqrt (- 1.0 eps))) (log (sqrt (- 1.0 eps))) 0 (log (- 1.0 eps)) (log (+ (sqrt 1.0) (sqrt eps))) (log (- (sqrt 1.0) (sqrt eps))) 0 (log (- 1.0 eps)) (log (- (pow 1.0 3) (pow eps 3))) (log (fma 1.0 1.0 (* eps (+ 1.0 eps)))) (log (- (* 1.0 1.0) (* eps eps))) (log (+ 1.0 eps)) (log (- 1.0 eps)) (log (log (- 1.0 eps))) (- 1.0 eps) (* (cbrt (log (- 1.0 eps))) (cbrt (log (- 1.0 eps)))) (cbrt (log (- 1.0 eps))) (pow (log (- 1.0 eps)) 3) (sqrt (log (- 1.0 eps))) (sqrt (log (- 1.0 eps))) (expm1 (log (+ 1.0 eps))) (log1p (log (+ 1.0 eps))) (* 2 (log (cbrt (+ 1.0 eps)))) (log (cbrt (+ 1.0 eps))) (log (sqrt (+ 1.0 eps))) (log (sqrt (+ 1.0 eps))) 0 (log (+ 1.0 eps)) 0 (log (+ 1.0 eps)) (log (+ (pow 1.0 3) (pow eps 3))) (log (fma 1.0 1.0 (* eps (- eps 1.0)))) (log (- (* 1.0 1.0) (* eps eps))) (log (- 1.0 eps)) (log (+ 1.0 eps)) (log (log (+ 1.0 eps))) (+ 1.0 eps) (* (cbrt (log (+ 1.0 eps))) (cbrt (log (+ 1.0 eps)))) (cbrt (log (+ 1.0 eps))) (pow (log (+ 1.0 eps)) 3) (sqrt (log (+ 1.0 eps))) (sqrt (log (+ 1.0 eps))) (- (log (- 1.0 eps)) (log (+ 1.0 eps))) 0 (- (log (- 1.0 eps)) (log (+ 1.0 eps))) 0 (- (log (- 1.0 eps)) (log (+ 1.0 eps))) 0 (- (log (- 1.0 eps)) (log (+ 1.0 eps))) 0 (- (pow (cbrt (log (- 1.0 eps))) 3) (log (+ 1.0 eps))) 0 (- (pow (cbrt (log (- 1.0 eps))) 3) (log (+ 1.0 eps))) 0 (- (pow (cbrt (log (- 1.0 eps))) 3) (log (+ 1.0 eps))) 0 (- (pow (cbrt (log (- 1.0 eps))) 3) (log (+ 1.0 eps))) 0 (- (log (- 1.0 eps)) (log (+ 1.0 eps))) 0 (- (log (- 1.0 eps)) (log (+ 1.0 eps))) 0 (- (log (- 1.0 eps)) (log (+ 1.0 eps))) 0 (- (log (- 1.0 eps)) (log (+ 1.0 eps))) 0 (- (log (- 1.0 eps)) (log (+ 1.0 eps))) 0 (- (log (- 1.0 eps)) (log (+ 1.0 eps))) 0 (- (log (- 1.0 eps)) (log (+ 1.0 eps))) 0 (- (log (- 1.0 eps)) (log (+ 1.0 eps))) 0 (expm1 (- (log (- 1.0 eps)) (log (+ 1.0 eps)))) (log1p (- (log (- 1.0 eps)) (log (+ 1.0 eps)))) (- (log (+ 1.0 eps))) (- (log (+ 1.0 eps))) (- (log (+ 1.0 eps))) (- (log (+ 1.0 eps))) (/ (- 1.0 eps) (+ 1.0 eps)) (log (- (log (- 1.0 eps)) (log (+ 1.0 eps)))) (/ (- 1.0 eps) (+ 1.0 eps)) (* (cbrt (- (log (- 1.0 eps)) (log (+ 1.0 eps)))) (cbrt (- (log (- 1.0 eps)) (log (+ 1.0 eps))))) (cbrt (- (log (- 1.0 eps)) (log (+ 1.0 eps)))) (pow (- (log (- 1.0 eps)) (log (+ 1.0 eps))) 3) (sqrt (- (log (- 1.0 eps)) (log (+ 1.0 eps)))) (sqrt (- (log (- 1.0 eps)) (log (+ 1.0 eps)))) (- (pow (log (- 1.0 eps)) 3) (pow (log (+ 1.0 eps)) 3)) (fma (log (+ 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 1.0) (* eps eps))) (- (log (- 1.0 eps)) (log (+ 1.0 eps)))) (log (- (* 1.0 1.0) (* eps eps))) (+ (sqrt (log (- 1.0 eps))) (sqrt (log (+ 1.0 eps)))) (- (sqrt (log (- 1.0 eps))) (sqrt (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 (- 1.0 eps)) (* 2 (log (cbrt (+ 1.0 eps))))) (- (log (- 1.0 eps)) (log (sqrt (+ 1.0 eps)))) (log (- 1.0 eps)) (log (- 1.0 eps)) (- (log (cbrt (- 1.0 eps))) (log (+ 1.0 eps))) (- (log (sqrt (- 1.0 eps))) (log (+ 1.0 eps))) (- (log (- 1.0 eps)) (log (+ 1.0 eps))) (- (log (- (sqrt 1.0) (sqrt eps))) (log (+ 1.0 eps))) (- (log (- 1.0 eps)) (log (+ 1.0 eps))) (+ (log (fma 1.0 1.0 (* eps (+ 1.0 eps)))) (log (+ 1.0 eps))) (* 2 (log (+ 1.0 eps))) (- (log (- 1.0 eps)) (log (+ (pow 1.0 3) (pow eps 3)))) (- (log (- 1.0 eps)) (log (- (* 1.0 1.0) (* eps eps)))) (- (log (+ 1.0 eps))) (- (log 1.0) (fma 1/2 (/ (pow eps 2) (pow 1.0 2)) (* 1.0 eps))) (- (log -1) (+ (- (/ 0.5 (* eps eps)) (log eps)) (/ 1.0 eps))) (- (+ (+ (/ 0.5 (* eps eps)) (/ 1.0 eps)) (log (/ -1 eps)))) (fma -1/2 (/ (pow eps 2) (pow 1.0 2)) (fma 1.0 eps (log 1.0))) (- (/ 1.0 eps) (- (/ 0.5 (* eps eps)) (log eps))) (- (+ (log -1) (/ 1.0 eps)) (+ (/ 0.5 (* eps eps)) (log (/ -1 eps)))) (- (fma 2/3 (/ (pow eps 3) (pow 1.0 3)) (fma 2/5 (/ (pow eps 5) (pow 1.0 5)) (* 2.0 eps)))) (- (log -1) (+ (/ 2.0 eps) (/ 0.6666666666666666 (pow eps 3)))) (- (- (log -1)) (+ (/ 2.0 eps) (/ 0.6666666666666666 (pow eps 3)))) 12.045 * * * [progress]: adding candidates to table 12.258 * * [progress]: iteration 4 / 4 12.258 * * * [progress]: picking best candidate 12.266 * * * * [pick]: Picked # 12.266 * * * [progress]: localizing error 12.290 * * * [progress]: generating rewritten candidates 12.290 * * * [progress]: generating series expansions 12.290 * * * [progress]: simplifying candidates 12.290 * [simplify]: Simplifying: 12.291 * * [simplify]: Extracting # 0 : cost 0 12.291 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 12.291 * * [simplify]: Extracting # 0 : cost 0 12.291 * * [simplify]: iteration done: 0 enodes (cost 0 ) 12.291 * [simplify]: Simplified to: 12.291 * * * [progress]: adding candidates to table 12.291 * [progress]: [Phase 3 of 3] Extracting. 12.291 * * [regime]: Finding splitpoints for: (# #) 12.292 * * * [regime-changes]: Trying 1 branch expressions: (eps) 12.292 * * * * [regimes]: Trying to branch on eps from (# #) 12.311 * * * [regime]: Found split indices: #