97.039 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.748 * * * [progress]: [2/2] Setting up program. 0.784 * [progress]: [Phase 2 of 3] Improving. 0.785 * [simplify]: Simplifying: (log (/ (- 1.0 eps) (+ 1.0 eps))) 0.785 * * [simplify]: iteration 0: 6 enodes 0.787 * * [simplify]: iteration 1: 15 enodes 0.816 * * [simplify]: iteration 2: 20 enodes 0.836 * * [simplify]: iteration 3: 23 enodes 0.855 * * [simplify]: iteration complete: 23 enodes 0.855 * * [simplify]: Extracting #0: cost 1 inf + 0 0.855 * * [simplify]: Extracting #1: cost 5 inf + 0 0.855 * * [simplify]: Extracting #2: cost 10 inf + 0 0.855 * * [simplify]: Extracting #3: cost 13 inf + 0 0.855 * * [simplify]: Extracting #4: cost 10 inf + 44 0.856 * * [simplify]: Extracting #5: cost 3 inf + 707 0.856 * * [simplify]: Extracting #6: cost 0 inf + 1103 0.856 * [simplify]: Simplified to: (log (/ (- 1.0 eps) (+ 1.0 eps))) 0.881 * * [progress]: iteration 1 / 4 0.881 * * * [progress]: picking best candidate 0.886 * * * * [pick]: Picked # 0.908 * * * [progress]: localizing error 0.979 * * * [progress]: generating rewritten candidates 0.979 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.056 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1.656 * * * [progress]: generating series expansions 1.657 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.676 * [backup-simplify]: Simplify (log (/ (- 1.0 eps) (+ 1.0 eps))) into (log (/ (- 1.0 eps) (+ eps 1.0))) 1.676 * [approximate]: Taking taylor expansion of (log (/ (- 1.0 eps) (+ eps 1.0))) in (eps) around 0 1.676 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 eps) (+ eps 1.0))) in eps 1.676 * [taylor]: Taking taylor expansion of (/ (- 1.0 eps) (+ eps 1.0)) in eps 1.676 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 1.676 * [taylor]: Taking taylor expansion of 1.0 in eps 1.676 * [backup-simplify]: Simplify 1.0 into 1.0 1.676 * [taylor]: Taking taylor expansion of eps in eps 1.676 * [backup-simplify]: Simplify 0 into 0 1.676 * [backup-simplify]: Simplify 1 into 1 1.676 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 1.684 * [taylor]: Taking taylor expansion of eps in eps 1.684 * [backup-simplify]: Simplify 0 into 0 1.684 * [backup-simplify]: Simplify 1 into 1 1.684 * [taylor]: Taking taylor expansion of 1.0 in eps 1.684 * [backup-simplify]: Simplify 1.0 into 1.0 1.732 * [backup-simplify]: Simplify (- 0) into 0 1.733 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 1.733 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 1.734 * [backup-simplify]: Simplify (/ 1.0 1.0) into 1.0 1.734 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 1.734 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 eps) (+ eps 1.0))) in eps 1.734 * [taylor]: Taking taylor expansion of (/ (- 1.0 eps) (+ eps 1.0)) in eps 1.734 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 1.734 * [taylor]: Taking taylor expansion of 1.0 in eps 1.734 * [backup-simplify]: Simplify 1.0 into 1.0 1.734 * [taylor]: Taking taylor expansion of eps in eps 1.734 * [backup-simplify]: Simplify 0 into 0 1.734 * [backup-simplify]: Simplify 1 into 1 1.734 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 1.734 * [taylor]: Taking taylor expansion of eps in eps 1.734 * [backup-simplify]: Simplify 0 into 0 1.734 * [backup-simplify]: Simplify 1 into 1 1.734 * [taylor]: Taking taylor expansion of 1.0 in eps 1.734 * [backup-simplify]: Simplify 1.0 into 1.0 1.735 * [backup-simplify]: Simplify (- 0) into 0 1.735 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 1.744 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 1.745 * [backup-simplify]: Simplify (/ 1.0 1.0) into 1.0 1.746 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 1.746 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 1.746 * [backup-simplify]: Simplify (- 1) into -1 1.747 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.747 * [backup-simplify]: Simplify (+ 1 0) into 1 1.769 * [backup-simplify]: Simplify (- (/ -1 1.0) (+ (* 1.0 (/ 1 1.0)))) into (- 2.0) 1.789 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 2.0)) 1)) (pow 1.0 1)))) 1) into -2.0 1.790 * [backup-simplify]: Simplify -2.0 into -2.0 1.800 * [backup-simplify]: Simplify (- 0) into 0 1.800 * [backup-simplify]: Simplify (+ 0 0) into 0 1.800 * [backup-simplify]: Simplify (+ 0 0) into 0 1.813 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* (- 2.0) (/ 1 1.0)))) into 2.0 1.827 * [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))))) 1.831 * [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))))) 1.837 * [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))) 1.837 * [backup-simplify]: Simplify (log (/ (- 1.0 (/ 1 eps)) (+ 1.0 (/ 1 eps)))) into (log (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0))) 1.837 * [approximate]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0))) in (eps) around 0 1.837 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0))) in eps 1.837 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in eps 1.837 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 1.837 * [taylor]: Taking taylor expansion of 1.0 in eps 1.837 * [backup-simplify]: Simplify 1.0 into 1.0 1.837 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 1.837 * [taylor]: Taking taylor expansion of eps in eps 1.837 * [backup-simplify]: Simplify 0 into 0 1.837 * [backup-simplify]: Simplify 1 into 1 1.838 * [backup-simplify]: Simplify (/ 1 1) into 1 1.838 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 1.838 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 1.838 * [taylor]: Taking taylor expansion of eps in eps 1.838 * [backup-simplify]: Simplify 0 into 0 1.838 * [backup-simplify]: Simplify 1 into 1 1.839 * [backup-simplify]: Simplify (/ 1 1) into 1 1.839 * [taylor]: Taking taylor expansion of 1.0 in eps 1.839 * [backup-simplify]: Simplify 1.0 into 1.0 1.839 * [backup-simplify]: Simplify (- 1) into -1 1.844 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.845 * [backup-simplify]: Simplify (+ 1 0) into 1 1.846 * [backup-simplify]: Simplify (/ -1 1) into -1 1.847 * [backup-simplify]: Simplify (log -1) into (log -1) 1.847 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0))) in eps 1.847 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in eps 1.847 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 1.847 * [taylor]: Taking taylor expansion of 1.0 in eps 1.847 * [backup-simplify]: Simplify 1.0 into 1.0 1.847 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 1.847 * [taylor]: Taking taylor expansion of eps in eps 1.847 * [backup-simplify]: Simplify 0 into 0 1.847 * [backup-simplify]: Simplify 1 into 1 1.855 * [backup-simplify]: Simplify (/ 1 1) into 1 1.855 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 1.855 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 1.855 * [taylor]: Taking taylor expansion of eps in eps 1.855 * [backup-simplify]: Simplify 0 into 0 1.855 * [backup-simplify]: Simplify 1 into 1 1.856 * [backup-simplify]: Simplify (/ 1 1) into 1 1.856 * [taylor]: Taking taylor expansion of 1.0 in eps 1.857 * [backup-simplify]: Simplify 1.0 into 1.0 1.857 * [backup-simplify]: Simplify (- 1) into -1 1.858 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.859 * [backup-simplify]: Simplify (+ 1 0) into 1 1.859 * [backup-simplify]: Simplify (/ -1 1) into -1 1.859 * [backup-simplify]: Simplify (log -1) into (log -1) 1.862 * [backup-simplify]: Simplify (log -1) into (log -1) 1.863 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.863 * [backup-simplify]: Simplify (- 0) into 0 1.863 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 1.864 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.865 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 1.869 * [backup-simplify]: Simplify (- (/ 1.0 1) (+ (* -1 (/ 1.0 1)))) into 2.0 1.877 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 2.0) 1)) (pow -1 1)))) 1) into -2.0 1.877 * [backup-simplify]: Simplify -2.0 into -2.0 1.878 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.884 * [backup-simplify]: Simplify (- 0) into 0 1.884 * [backup-simplify]: Simplify (+ 0 0) into 0 1.885 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.886 * [backup-simplify]: Simplify (+ 0 0) into 0 1.890 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2.0 (/ 1.0 1)))) into (- 2.0) 1.904 * [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 1.904 * [backup-simplify]: Simplify 0 into 0 1.905 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.905 * [backup-simplify]: Simplify (- 0) into 0 1.906 * [backup-simplify]: Simplify (+ 0 0) into 0 1.906 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.907 * [backup-simplify]: Simplify (+ 0 0) into 0 1.952 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2.0 (/ 0 1)) (* (- 2.0) (/ 1.0 1)))) into 2.0 2.032 * [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 2.032 * [backup-simplify]: Simplify -0.6666666666666666 into -0.6666666666666666 2.033 * [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)))) 2.033 * [backup-simplify]: Simplify (log (/ (- 1.0 (/ 1 (- eps))) (+ 1.0 (/ 1 (- eps))))) into (log (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps)))) 2.033 * [approximate]: Taking taylor expansion of (log (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps)))) in (eps) around 0 2.033 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps)))) in eps 2.033 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in eps 2.033 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 2.033 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 2.033 * [taylor]: Taking taylor expansion of eps in eps 2.033 * [backup-simplify]: Simplify 0 into 0 2.033 * [backup-simplify]: Simplify 1 into 1 2.040 * [backup-simplify]: Simplify (/ 1 1) into 1 2.040 * [taylor]: Taking taylor expansion of 1.0 in eps 2.040 * [backup-simplify]: Simplify 1.0 into 1.0 2.040 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 2.040 * [taylor]: Taking taylor expansion of 1.0 in eps 2.040 * [backup-simplify]: Simplify 1.0 into 1.0 2.040 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 2.040 * [taylor]: Taking taylor expansion of eps in eps 2.040 * [backup-simplify]: Simplify 0 into 0 2.040 * [backup-simplify]: Simplify 1 into 1 2.041 * [backup-simplify]: Simplify (/ 1 1) into 1 2.041 * [backup-simplify]: Simplify (+ 1 0) into 1 2.262 * [backup-simplify]: Simplify (- 1) into -1 2.281 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.282 * [backup-simplify]: Simplify (/ 1 -1) into -1 2.282 * [backup-simplify]: Simplify (log -1) into (log -1) 2.282 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps)))) in eps 2.282 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in eps 2.282 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 2.283 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 2.283 * [taylor]: Taking taylor expansion of eps in eps 2.283 * [backup-simplify]: Simplify 0 into 0 2.283 * [backup-simplify]: Simplify 1 into 1 2.283 * [backup-simplify]: Simplify (/ 1 1) into 1 2.283 * [taylor]: Taking taylor expansion of 1.0 in eps 2.283 * [backup-simplify]: Simplify 1.0 into 1.0 2.283 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 2.283 * [taylor]: Taking taylor expansion of 1.0 in eps 2.283 * [backup-simplify]: Simplify 1.0 into 1.0 2.283 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 2.283 * [taylor]: Taking taylor expansion of eps in eps 2.283 * [backup-simplify]: Simplify 0 into 0 2.283 * [backup-simplify]: Simplify 1 into 1 2.284 * [backup-simplify]: Simplify (/ 1 1) into 1 2.284 * [backup-simplify]: Simplify (+ 1 0) into 1 2.284 * [backup-simplify]: Simplify (- 1) into -1 2.285 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.285 * [backup-simplify]: Simplify (/ 1 -1) into -1 2.285 * [backup-simplify]: Simplify (log -1) into (log -1) 2.293 * [backup-simplify]: Simplify (log -1) into (log -1) 2.294 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.295 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.296 * [backup-simplify]: Simplify (- 0) into 0 2.296 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.299 * [backup-simplify]: Simplify (- (/ 1.0 -1) (+ (* -1 (/ 1.0 -1)))) into (- 2.0) 2.340 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 2.0)) 1)) (pow -1 1)))) 1) into 2.0 2.340 * [backup-simplify]: Simplify 2.0 into 2.0 2.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.343 * [backup-simplify]: Simplify (+ 0 0) into 0 2.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.344 * [backup-simplify]: Simplify (- 0) into 0 2.344 * [backup-simplify]: Simplify (+ 0 0) into 0 2.357 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* (- 2.0) (/ 1.0 -1)))) into (- 2.0) 2.391 * [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 2.391 * [backup-simplify]: Simplify 0 into 0 2.397 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.398 * [backup-simplify]: Simplify (+ 0 0) into 0 2.399 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.399 * [backup-simplify]: Simplify (- 0) into 0 2.399 * [backup-simplify]: Simplify (+ 0 0) into 0 2.414 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* (- 2.0) (/ 0 -1)) (* (- 2.0) (/ 1.0 -1)))) into (- 2.0) 2.462 * [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 2.462 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 2.469 * [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)))) 2.469 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 2.469 * [backup-simplify]: Simplify (/ (- 1.0 eps) (+ 1.0 eps)) into (/ (- 1.0 eps) (+ eps 1.0)) 2.469 * [approximate]: Taking taylor expansion of (/ (- 1.0 eps) (+ eps 1.0)) in (eps) around 0 2.470 * [taylor]: Taking taylor expansion of (/ (- 1.0 eps) (+ eps 1.0)) in eps 2.470 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 2.470 * [taylor]: Taking taylor expansion of 1.0 in eps 2.470 * [backup-simplify]: Simplify 1.0 into 1.0 2.470 * [taylor]: Taking taylor expansion of eps in eps 2.470 * [backup-simplify]: Simplify 0 into 0 2.470 * [backup-simplify]: Simplify 1 into 1 2.470 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 2.470 * [taylor]: Taking taylor expansion of eps in eps 2.470 * [backup-simplify]: Simplify 0 into 0 2.470 * [backup-simplify]: Simplify 1 into 1 2.470 * [taylor]: Taking taylor expansion of 1.0 in eps 2.470 * [backup-simplify]: Simplify 1.0 into 1.0 2.470 * [backup-simplify]: Simplify (- 0) into 0 2.471 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.471 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.472 * [backup-simplify]: Simplify (/ 1.0 1.0) into 1.0 2.472 * [taylor]: Taking taylor expansion of (/ (- 1.0 eps) (+ eps 1.0)) in eps 2.472 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 2.472 * [taylor]: Taking taylor expansion of 1.0 in eps 2.472 * [backup-simplify]: Simplify 1.0 into 1.0 2.472 * [taylor]: Taking taylor expansion of eps in eps 2.472 * [backup-simplify]: Simplify 0 into 0 2.472 * [backup-simplify]: Simplify 1 into 1 2.472 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 2.472 * [taylor]: Taking taylor expansion of eps in eps 2.472 * [backup-simplify]: Simplify 0 into 0 2.472 * [backup-simplify]: Simplify 1 into 1 2.472 * [taylor]: Taking taylor expansion of 1.0 in eps 2.472 * [backup-simplify]: Simplify 1.0 into 1.0 2.473 * [backup-simplify]: Simplify (- 0) into 0 2.473 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.473 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.474 * [backup-simplify]: Simplify (/ 1.0 1.0) into 1.0 2.474 * [backup-simplify]: Simplify 1.0 into 1.0 2.474 * [backup-simplify]: Simplify (- 1) into -1 2.475 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.475 * [backup-simplify]: Simplify (+ 1 0) into 1 2.486 * [backup-simplify]: Simplify (- (/ -1 1.0) (+ (* 1.0 (/ 1 1.0)))) into (- 2.0) 2.487 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.487 * [backup-simplify]: Simplify (- 0) into 0 2.487 * [backup-simplify]: Simplify (+ 0 0) into 0 2.489 * [backup-simplify]: Simplify (+ 0 0) into 0 2.493 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* (- 2.0) (/ 1 1.0)))) into 2.0 2.494 * [backup-simplify]: Simplify 2.0 into 2.0 2.499 * [backup-simplify]: Simplify (+ (* 2.0 (pow eps 2)) (+ (* (- 2.0) eps) 1.0)) into (- (+ (* 2.0 (pow eps 2)) 1.0) (* 2.0 eps)) 2.504 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 eps)) (+ 1.0 (/ 1 eps))) into (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) 2.504 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in (eps) around 0 2.504 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in eps 2.504 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 2.504 * [taylor]: Taking taylor expansion of 1.0 in eps 2.504 * [backup-simplify]: Simplify 1.0 into 1.0 2.504 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 2.504 * [taylor]: Taking taylor expansion of eps in eps 2.504 * [backup-simplify]: Simplify 0 into 0 2.504 * [backup-simplify]: Simplify 1 into 1 2.505 * [backup-simplify]: Simplify (/ 1 1) into 1 2.505 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 2.505 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 2.505 * [taylor]: Taking taylor expansion of eps in eps 2.505 * [backup-simplify]: Simplify 0 into 0 2.505 * [backup-simplify]: Simplify 1 into 1 2.505 * [backup-simplify]: Simplify (/ 1 1) into 1 2.505 * [taylor]: Taking taylor expansion of 1.0 in eps 2.505 * [backup-simplify]: Simplify 1.0 into 1.0 2.506 * [backup-simplify]: Simplify (- 1) into -1 2.506 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.506 * [backup-simplify]: Simplify (+ 1 0) into 1 2.507 * [backup-simplify]: Simplify (/ -1 1) into -1 2.507 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in eps 2.507 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 2.507 * [taylor]: Taking taylor expansion of 1.0 in eps 2.507 * [backup-simplify]: Simplify 1.0 into 1.0 2.507 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 2.507 * [taylor]: Taking taylor expansion of eps in eps 2.507 * [backup-simplify]: Simplify 0 into 0 2.507 * [backup-simplify]: Simplify 1 into 1 2.508 * [backup-simplify]: Simplify (/ 1 1) into 1 2.508 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 2.508 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 2.508 * [taylor]: Taking taylor expansion of eps in eps 2.508 * [backup-simplify]: Simplify 0 into 0 2.508 * [backup-simplify]: Simplify 1 into 1 2.508 * [backup-simplify]: Simplify (/ 1 1) into 1 2.508 * [taylor]: Taking taylor expansion of 1.0 in eps 2.508 * [backup-simplify]: Simplify 1.0 into 1.0 2.508 * [backup-simplify]: Simplify (- 1) into -1 2.509 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.516 * [backup-simplify]: Simplify (+ 1 0) into 1 2.516 * [backup-simplify]: Simplify (/ -1 1) into -1 2.516 * [backup-simplify]: Simplify -1 into -1 2.517 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.518 * [backup-simplify]: Simplify (- 0) into 0 2.518 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.519 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.522 * [backup-simplify]: Simplify (- (/ 1.0 1) (+ (* -1 (/ 1.0 1)))) into 2.0 2.522 * [backup-simplify]: Simplify 2.0 into 2.0 2.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.523 * [backup-simplify]: Simplify (- 0) into 0 2.524 * [backup-simplify]: Simplify (+ 0 0) into 0 2.524 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.525 * [backup-simplify]: Simplify (+ 0 0) into 0 2.529 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2.0 (/ 1.0 1)))) into (- 2.0) 2.530 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.531 * [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)) 2.531 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 (- eps))) (+ 1.0 (/ 1 (- eps)))) into (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) 2.531 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in (eps) around 0 2.531 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in eps 2.531 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 2.531 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 2.531 * [taylor]: Taking taylor expansion of eps in eps 2.531 * [backup-simplify]: Simplify 0 into 0 2.531 * [backup-simplify]: Simplify 1 into 1 2.531 * [backup-simplify]: Simplify (/ 1 1) into 1 2.531 * [taylor]: Taking taylor expansion of 1.0 in eps 2.532 * [backup-simplify]: Simplify 1.0 into 1.0 2.532 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 2.532 * [taylor]: Taking taylor expansion of 1.0 in eps 2.532 * [backup-simplify]: Simplify 1.0 into 1.0 2.532 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 2.532 * [taylor]: Taking taylor expansion of eps in eps 2.532 * [backup-simplify]: Simplify 0 into 0 2.532 * [backup-simplify]: Simplify 1 into 1 2.532 * [backup-simplify]: Simplify (/ 1 1) into 1 2.532 * [backup-simplify]: Simplify (+ 1 0) into 1 2.533 * [backup-simplify]: Simplify (- 1) into -1 2.533 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.534 * [backup-simplify]: Simplify (/ 1 -1) into -1 2.534 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in eps 2.534 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 2.534 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 2.534 * [taylor]: Taking taylor expansion of eps in eps 2.534 * [backup-simplify]: Simplify 0 into 0 2.534 * [backup-simplify]: Simplify 1 into 1 2.534 * [backup-simplify]: Simplify (/ 1 1) into 1 2.534 * [taylor]: Taking taylor expansion of 1.0 in eps 2.534 * [backup-simplify]: Simplify 1.0 into 1.0 2.534 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 2.534 * [taylor]: Taking taylor expansion of 1.0 in eps 2.534 * [backup-simplify]: Simplify 1.0 into 1.0 2.534 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 2.534 * [taylor]: Taking taylor expansion of eps in eps 2.534 * [backup-simplify]: Simplify 0 into 0 2.534 * [backup-simplify]: Simplify 1 into 1 2.535 * [backup-simplify]: Simplify (/ 1 1) into 1 2.535 * [backup-simplify]: Simplify (+ 1 0) into 1 2.535 * [backup-simplify]: Simplify (- 1) into -1 2.536 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.536 * [backup-simplify]: Simplify (/ 1 -1) into -1 2.536 * [backup-simplify]: Simplify -1 into -1 2.537 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.538 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.539 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.539 * [backup-simplify]: Simplify (- 0) into 0 2.539 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.542 * [backup-simplify]: Simplify (- (/ 1.0 -1) (+ (* -1 (/ 1.0 -1)))) into (- 2.0) 2.543 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.544 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.544 * [backup-simplify]: Simplify (+ 0 0) into 0 2.545 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.545 * [backup-simplify]: Simplify (- 0) into 0 2.546 * [backup-simplify]: Simplify (+ 0 0) into 0 2.561 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* (- 2.0) (/ 1.0 -1)))) into (- 2.0) 2.561 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.562 * [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)) 2.563 * * * [progress]: simplifying candidates 2.576 * [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)) 2.596 * * [simplify]: iteration 0: 147 enodes 2.707 * * [simplify]: iteration 1: 365 enodes 3.643 * * [simplify]: iteration 2: 882 enodes 4.635 * * [simplify]: iteration 3: 3015 enodes 8.234 * * [simplify]: iteration complete: 5002 enodes 8.234 * * [simplify]: Extracting #0: cost 88 inf + 0 8.237 * * [simplify]: Extracting #1: cost 621 inf + 2 8.247 * * [simplify]: Extracting #2: cost 1123 inf + 2357 8.273 * * [simplify]: Extracting #3: cost 718 inf + 51899 8.354 * * [simplify]: Extracting #4: cost 154 inf + 150485 8.456 * * [simplify]: Extracting #5: cost 9 inf + 189618 8.562 * * [simplify]: Extracting #6: cost 0 inf + 192656 8.784 * [simplify]: Simplified to: (expm1 (log (/ (- 1.0 eps) (+ eps 1.0)))) (log1p (log (/ (- 1.0 eps) (+ eps 1.0)))) (log (* (cbrt (/ (- 1.0 eps) (+ eps 1.0))) (cbrt (/ (- 1.0 eps) (+ eps 1.0))))) (log (cbrt (/ (- 1.0 eps) (+ eps 1.0)))) (log (sqrt (/ (- 1.0 eps) (+ eps 1.0)))) (log (sqrt (/ (- 1.0 eps) (+ eps 1.0)))) (+ (log (/ (cbrt (- 1.0 eps)) (cbrt (+ eps 1.0)))) (log (/ (cbrt (- 1.0 eps)) (cbrt (+ eps 1.0))))) (log (/ (cbrt (- 1.0 eps)) (cbrt (+ eps 1.0)))) (log (* (/ (cbrt (- 1.0 eps)) (sqrt (+ eps 1.0))) (cbrt (- 1.0 eps)))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ eps 1.0)))) (+ (log (cbrt (- 1.0 eps))) (log (cbrt (- 1.0 eps)))) (log (/ (cbrt (- 1.0 eps)) (+ eps 1.0))) (+ (log (cbrt (- 1.0 eps))) (log (cbrt (- 1.0 eps)))) (log (/ (cbrt (- 1.0 eps)) (+ eps 1.0))) (log (/ (/ (sqrt (- 1.0 eps)) (cbrt (+ eps 1.0))) (cbrt (+ eps 1.0)))) (log (/ (sqrt (- 1.0 eps)) (cbrt (+ eps 1.0)))) (log (/ (sqrt (- 1.0 eps)) (sqrt (+ eps 1.0)))) (log (/ (sqrt (- 1.0 eps)) (sqrt (+ eps 1.0)))) (log (sqrt (- 1.0 eps))) (log (/ (sqrt (- 1.0 eps)) (+ eps 1.0))) (log (sqrt (- 1.0 eps))) (log (/ (sqrt (- 1.0 eps)) (+ eps 1.0))) (+ (- (log (cbrt (+ eps 1.0)))) (- (log (cbrt (+ eps 1.0))))) (log (/ (- 1.0 eps) (cbrt (+ eps 1.0)))) (- (log (sqrt (+ eps 1.0)))) (log (/ (- 1.0 eps) (sqrt (+ eps 1.0)))) 0 (log (/ (- 1.0 eps) (+ eps 1.0))) 0 (log (/ (- 1.0 eps) (+ eps 1.0))) (log (/ (/ (+ (sqrt 1.0) (sqrt eps)) (cbrt (+ eps 1.0))) (cbrt (+ eps 1.0)))) (log (/ (- (sqrt 1.0) (sqrt eps)) (cbrt (+ eps 1.0)))) (log (/ (+ (sqrt 1.0) (sqrt eps)) (sqrt (+ eps 1.0)))) (log (/ (- (sqrt 1.0) (sqrt eps)) (sqrt (+ eps 1.0)))) (log (+ (sqrt 1.0) (sqrt eps))) (log (/ (- (sqrt 1.0) (sqrt eps)) (+ eps 1.0))) (log (+ (sqrt 1.0) (sqrt eps))) (log (/ (- (sqrt 1.0) (sqrt eps)) (+ eps 1.0))) (+ (- (log (cbrt (+ eps 1.0)))) (- (log (cbrt (+ eps 1.0))))) (log (/ (- 1.0 eps) (cbrt (+ eps 1.0)))) (- (log (sqrt (+ eps 1.0)))) (log (/ (- 1.0 eps) (sqrt (+ eps 1.0)))) 0 (log (/ (- 1.0 eps) (+ eps 1.0))) 0 (log (/ (- 1.0 eps) (+ eps 1.0))) 0 (log (/ (- 1.0 eps) (+ eps 1.0))) (log (- 1.0 eps)) (- (log (+ eps 1.0))) (log (/ (- 1.0 eps) (fma 1.0 (* 1.0 1.0) (* (* eps eps) eps)))) (log (fma eps (- eps 1.0) (* 1.0 1.0))) (log (/ (/ (- 1.0 eps) (+ eps 1.0)) (- 1.0 eps))) (log (- 1.0 eps)) (log (- 1.0 eps)) (log (+ eps 1.0)) (log (/ (- 1.0 eps) (+ eps 1.0))) (log (log (/ (- 1.0 eps) (+ eps 1.0)))) (/ (- 1.0 eps) (+ eps 1.0)) (* (cbrt (log (/ (- 1.0 eps) (+ eps 1.0)))) (cbrt (log (/ (- 1.0 eps) (+ eps 1.0))))) (cbrt (log (/ (- 1.0 eps) (+ eps 1.0)))) (* (log (/ (- 1.0 eps) (+ eps 1.0))) (* (log (/ (- 1.0 eps) (+ eps 1.0))) (log (/ (- 1.0 eps) (+ eps 1.0))))) (sqrt (log (/ (- 1.0 eps) (+ eps 1.0)))) (sqrt (log (/ (- 1.0 eps) (+ eps 1.0)))) (expm1 (/ (- 1.0 eps) (+ eps 1.0))) (log1p (/ (- 1.0 eps) (+ eps 1.0))) (log (/ (- 1.0 eps) (+ eps 1.0))) (log (/ (- 1.0 eps) (+ eps 1.0))) (exp (/ (- 1.0 eps) (+ eps 1.0))) (* (* (/ (- 1.0 eps) (+ eps 1.0)) (/ (- 1.0 eps) (+ eps 1.0))) (/ (- 1.0 eps) (+ eps 1.0))) (* (cbrt (/ (- 1.0 eps) (+ eps 1.0))) (cbrt (/ (- 1.0 eps) (+ eps 1.0)))) (cbrt (/ (- 1.0 eps) (+ eps 1.0))) (* (* (/ (- 1.0 eps) (+ eps 1.0)) (/ (- 1.0 eps) (+ eps 1.0))) (/ (- 1.0 eps) (+ eps 1.0))) (sqrt (/ (- 1.0 eps) (+ eps 1.0))) (sqrt (/ (- 1.0 eps) (+ eps 1.0))) (- (- 1.0 eps)) (- (+ eps 1.0)) (/ 1.0 (+ eps 1.0)) (/ eps (+ eps 1.0)) (* (/ (cbrt (- 1.0 eps)) (cbrt (+ eps 1.0))) (/ (cbrt (- 1.0 eps)) (cbrt (+ eps 1.0)))) (/ (cbrt (- 1.0 eps)) (cbrt (+ eps 1.0))) (* (/ (cbrt (- 1.0 eps)) (sqrt (+ eps 1.0))) (cbrt (- 1.0 eps))) (/ (cbrt (- 1.0 eps)) (sqrt (+ eps 1.0))) (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (/ (cbrt (- 1.0 eps)) (+ eps 1.0)) (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (/ (cbrt (- 1.0 eps)) (+ eps 1.0)) (/ (/ (sqrt (- 1.0 eps)) (cbrt (+ eps 1.0))) (cbrt (+ eps 1.0))) (/ (sqrt (- 1.0 eps)) (cbrt (+ eps 1.0))) (/ (sqrt (- 1.0 eps)) (sqrt (+ eps 1.0))) (/ (sqrt (- 1.0 eps)) (sqrt (+ eps 1.0))) (sqrt (- 1.0 eps)) (/ (sqrt (- 1.0 eps)) (+ eps 1.0)) (sqrt (- 1.0 eps)) (/ (sqrt (- 1.0 eps)) (+ eps 1.0)) (/ 1 (* (cbrt (+ eps 1.0)) (cbrt (+ eps 1.0)))) (/ (- 1.0 eps) (cbrt (+ eps 1.0))) (/ 1 (sqrt (+ eps 1.0))) (/ (- 1.0 eps) (sqrt (+ eps 1.0))) 1 (/ (- 1.0 eps) (+ eps 1.0)) 1 (/ (- 1.0 eps) (+ eps 1.0)) (/ (/ (+ (sqrt 1.0) (sqrt eps)) (cbrt (+ eps 1.0))) (cbrt (+ eps 1.0))) (/ (- (sqrt 1.0) (sqrt eps)) (cbrt (+ eps 1.0))) (/ (+ (sqrt 1.0) (sqrt eps)) (sqrt (+ eps 1.0))) (/ (- (sqrt 1.0) (sqrt eps)) (sqrt (+ eps 1.0))) (+ (sqrt 1.0) (sqrt eps)) (/ (- (sqrt 1.0) (sqrt eps)) (+ eps 1.0)) (+ (sqrt 1.0) (sqrt eps)) (/ (- (sqrt 1.0) (sqrt eps)) (+ eps 1.0)) (/ 1 (* (cbrt (+ eps 1.0)) (cbrt (+ eps 1.0)))) (/ (- 1.0 eps) (cbrt (+ eps 1.0))) (/ 1 (sqrt (+ eps 1.0))) (/ (- 1.0 eps) (sqrt (+ eps 1.0))) 1 (/ (- 1.0 eps) (+ eps 1.0)) 1 (/ (- 1.0 eps) (+ eps 1.0)) (/ 1 (+ eps 1.0)) (/ (+ eps 1.0) (- 1.0 eps)) (/ (/ (- 1.0 eps) (cbrt (+ eps 1.0))) (cbrt (+ eps 1.0))) (/ (- 1.0 eps) (sqrt (+ eps 1.0))) (- 1.0 eps) (- 1.0 eps) (/ (+ eps 1.0) (cbrt (- 1.0 eps))) (/ (+ eps 1.0) (sqrt (- 1.0 eps))) (/ (+ eps 1.0) (- 1.0 eps)) (/ (+ eps 1.0) (- (sqrt 1.0) (sqrt eps))) (/ (+ eps 1.0) (- 1.0 eps)) (/ (- 1.0 eps) (fma 1.0 (* 1.0 1.0) (* (* eps eps) eps))) (/ (/ (- 1.0 eps) (+ eps 1.0)) (- 1.0 eps)) (* (fma eps (+ eps 1.0) (* 1.0 1.0)) (+ eps 1.0)) (* (+ eps 1.0) (+ eps 1.0)) (+ (* 2.0 (- (* eps eps) (fma (/ eps 1.0) (/ eps 1.0) eps))) (log 1.0)) (- (log -1) (+ (/ 0.6666666666666666 (* (* eps eps) eps)) (/ 2.0 eps))) (- (log -1) (+ (/ 0.6666666666666666 (* (* eps eps) eps)) (/ 2.0 eps))) (fma eps (- (* 2.0 eps) 2.0) 1.0) (+ (- -1 (/ (/ 2.0 eps) eps)) (/ 2.0 eps)) (+ (- -1 (/ (/ 2.0 eps) eps)) (/ 2.0 eps)) 8.800 * * * [progress]: adding candidates to table 9.749 * * [progress]: iteration 2 / 4 9.749 * * * [progress]: picking best candidate 9.805 * * * * [pick]: Picked # 9.805 * * * [progress]: localizing error 9.841 * * * [progress]: generating rewritten candidates 9.841 * * * [progress]: generating series expansions 9.841 * * * [progress]: simplifying candidates 9.841 * [simplify]: Simplifying: 9.841 * * [simplify]: iteration 0: 0 enodes 9.841 * * [simplify]: iteration complete: 0 enodes 9.841 * * [simplify]: Extracting #0: cost 0 inf + 0 9.841 * [simplify]: Simplified to: 9.841 * * * [progress]: adding candidates to table 9.842 * * [progress]: iteration 3 / 4 9.842 * * * [progress]: picking best candidate 9.870 * * * * [pick]: Picked # 9.870 * * * [progress]: localizing error 9.896 * * * [progress]: generating rewritten candidates 9.896 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 9.909 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 9.926 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 9.967 * * * [progress]: generating series expansions 9.967 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 9.967 * [backup-simplify]: Simplify (log (- 1.0 eps)) into (log (- 1.0 eps)) 9.967 * [approximate]: Taking taylor expansion of (log (- 1.0 eps)) in (eps) around 0 9.967 * [taylor]: Taking taylor expansion of (log (- 1.0 eps)) in eps 9.968 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 9.968 * [taylor]: Taking taylor expansion of 1.0 in eps 9.968 * [backup-simplify]: Simplify 1.0 into 1.0 9.968 * [taylor]: Taking taylor expansion of eps in eps 9.968 * [backup-simplify]: Simplify 0 into 0 9.968 * [backup-simplify]: Simplify 1 into 1 9.968 * [backup-simplify]: Simplify (- 0) into 0 9.969 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 9.969 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 9.969 * [taylor]: Taking taylor expansion of (log (- 1.0 eps)) in eps 9.969 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 9.969 * [taylor]: Taking taylor expansion of 1.0 in eps 9.969 * [backup-simplify]: Simplify 1.0 into 1.0 9.969 * [taylor]: Taking taylor expansion of eps in eps 9.969 * [backup-simplify]: Simplify 0 into 0 9.970 * [backup-simplify]: Simplify 1 into 1 9.970 * [backup-simplify]: Simplify (- 0) into 0 9.970 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 9.971 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 9.971 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 9.972 * [backup-simplify]: Simplify (- 1) into -1 9.972 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.978 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1.0 1)))) 1) into -1.0 9.978 * [backup-simplify]: Simplify -1.0 into -1.0 9.978 * [backup-simplify]: Simplify (- 0) into 0 9.979 * [backup-simplify]: Simplify (+ 0 0) into 0 9.989 * [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)) 9.990 * [backup-simplify]: Simplify (/ -1/2 (pow 1.0 2)) into (/ -1/2 (pow 1.0 2)) 9.992 * [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))) 9.992 * [backup-simplify]: Simplify (log (- 1.0 (/ 1 eps))) into (log (- 1.0 (/ 1 eps))) 9.992 * [approximate]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in (eps) around 0 9.992 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps 9.992 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 9.992 * [taylor]: Taking taylor expansion of 1.0 in eps 9.992 * [backup-simplify]: Simplify 1.0 into 1.0 9.992 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 9.992 * [taylor]: Taking taylor expansion of eps in eps 9.992 * [backup-simplify]: Simplify 0 into 0 9.992 * [backup-simplify]: Simplify 1 into 1 9.993 * [backup-simplify]: Simplify (/ 1 1) into 1 9.993 * [backup-simplify]: Simplify (- 1) into -1 9.994 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.994 * [backup-simplify]: Simplify (log -1) into (log -1) 9.994 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps 9.994 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 9.994 * [taylor]: Taking taylor expansion of 1.0 in eps 9.994 * [backup-simplify]: Simplify 1.0 into 1.0 9.994 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 9.994 * [taylor]: Taking taylor expansion of eps in eps 9.994 * [backup-simplify]: Simplify 0 into 0 9.994 * [backup-simplify]: Simplify 1 into 1 9.995 * [backup-simplify]: Simplify (/ 1 1) into 1 9.995 * [backup-simplify]: Simplify (- 1) into -1 9.995 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.996 * [backup-simplify]: Simplify (log -1) into (log -1) 9.997 * [backup-simplify]: Simplify (+ (* (- 1) (log eps)) (log -1)) into (- (log -1) (log eps)) 9.997 * [backup-simplify]: Simplify (- (log -1) (log eps)) into (- (log -1) (log eps)) 9.998 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.999 * [backup-simplify]: Simplify (- 0) into 0 9.999 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 10.007 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0 10.007 * [backup-simplify]: Simplify -1.0 into -1.0 10.008 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.008 * [backup-simplify]: Simplify (- 0) into 0 10.008 * [backup-simplify]: Simplify (+ 0 0) into 0 10.020 * [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.020 * [backup-simplify]: Simplify -0.5 into -0.5 10.021 * [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.022 * [backup-simplify]: Simplify (log (- 1.0 (/ 1 (- eps)))) into (log (+ (/ 1 eps) 1.0)) 10.022 * [approximate]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in (eps) around 0 10.022 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps 10.022 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 10.022 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.022 * [taylor]: Taking taylor expansion of eps in eps 10.022 * [backup-simplify]: Simplify 0 into 0 10.022 * [backup-simplify]: Simplify 1 into 1 10.022 * [backup-simplify]: Simplify (/ 1 1) into 1 10.022 * [taylor]: Taking taylor expansion of 1.0 in eps 10.022 * [backup-simplify]: Simplify 1.0 into 1.0 10.023 * [backup-simplify]: Simplify (+ 1 0) into 1 10.023 * [backup-simplify]: Simplify (log 1) into 0 10.023 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps 10.023 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 10.023 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.023 * [taylor]: Taking taylor expansion of eps in eps 10.023 * [backup-simplify]: Simplify 0 into 0 10.023 * [backup-simplify]: Simplify 1 into 1 10.024 * [backup-simplify]: Simplify (/ 1 1) into 1 10.024 * [taylor]: Taking taylor expansion of 1.0 in eps 10.024 * [backup-simplify]: Simplify 1.0 into 1.0 10.024 * [backup-simplify]: Simplify (+ 1 0) into 1 10.025 * [backup-simplify]: Simplify (log 1) into 0 10.025 * [backup-simplify]: Simplify (+ (* (- 1) (log eps)) 0) into (- (log eps)) 10.025 * [backup-simplify]: Simplify (- (log eps)) into (- (log eps)) 10.026 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.027 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 10.034 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0 10.034 * [backup-simplify]: Simplify 1.0 into 1.0 10.035 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.035 * [backup-simplify]: Simplify (+ 0 0) into 0 10.046 * [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.047 * [backup-simplify]: Simplify -0.5 into -0.5 10.047 * [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.047 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 10.047 * [backup-simplify]: Simplify (log (+ 1.0 eps)) into (log (+ eps 1.0)) 10.047 * [approximate]: Taking taylor expansion of (log (+ eps 1.0)) in (eps) around 0 10.047 * [taylor]: Taking taylor expansion of (log (+ eps 1.0)) in eps 10.047 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 10.047 * [taylor]: Taking taylor expansion of eps in eps 10.047 * [backup-simplify]: Simplify 0 into 0 10.047 * [backup-simplify]: Simplify 1 into 1 10.048 * [taylor]: Taking taylor expansion of 1.0 in eps 10.048 * [backup-simplify]: Simplify 1.0 into 1.0 10.048 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 10.049 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 10.049 * [taylor]: Taking taylor expansion of (log (+ eps 1.0)) in eps 10.049 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 10.049 * [taylor]: Taking taylor expansion of eps in eps 10.049 * [backup-simplify]: Simplify 0 into 0 10.049 * [backup-simplify]: Simplify 1 into 1 10.049 * [taylor]: Taking taylor expansion of 1.0 in eps 10.049 * [backup-simplify]: Simplify 1.0 into 1.0 10.049 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 10.050 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 10.050 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 10.051 * [backup-simplify]: Simplify (+ 1 0) into 1 10.055 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0 10.055 * [backup-simplify]: Simplify 1.0 into 1.0 10.055 * [backup-simplify]: Simplify (+ 0 0) into 0 10.071 * [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.073 * [backup-simplify]: Simplify (/ -1/2 (pow 1.0 2)) into (/ -1/2 (pow 1.0 2)) 10.075 * [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.075 * [backup-simplify]: Simplify (log (+ 1.0 (/ 1 eps))) into (log (+ (/ 1 eps) 1.0)) 10.075 * [approximate]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in (eps) around 0 10.075 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps 10.075 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 10.075 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.075 * [taylor]: Taking taylor expansion of eps in eps 10.076 * [backup-simplify]: Simplify 0 into 0 10.076 * [backup-simplify]: Simplify 1 into 1 10.076 * [backup-simplify]: Simplify (/ 1 1) into 1 10.076 * [taylor]: Taking taylor expansion of 1.0 in eps 10.076 * [backup-simplify]: Simplify 1.0 into 1.0 10.077 * [backup-simplify]: Simplify (+ 1 0) into 1 10.077 * [backup-simplify]: Simplify (log 1) into 0 10.077 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps 10.077 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 10.077 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.077 * [taylor]: Taking taylor expansion of eps in eps 10.077 * [backup-simplify]: Simplify 0 into 0 10.077 * [backup-simplify]: Simplify 1 into 1 10.078 * [backup-simplify]: Simplify (/ 1 1) into 1 10.078 * [taylor]: Taking taylor expansion of 1.0 in eps 10.078 * [backup-simplify]: Simplify 1.0 into 1.0 10.078 * [backup-simplify]: Simplify (+ 1 0) into 1 10.078 * [backup-simplify]: Simplify (log 1) into 0 10.079 * [backup-simplify]: Simplify (+ (* (- 1) (log eps)) 0) into (- (log eps)) 10.079 * [backup-simplify]: Simplify (- (log eps)) into (- (log eps)) 10.080 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.080 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 10.086 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0 10.086 * [backup-simplify]: Simplify 1.0 into 1.0 10.087 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.088 * [backup-simplify]: Simplify (+ 0 0) into 0 10.099 * [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.099 * [backup-simplify]: Simplify -0.5 into -0.5 10.099 * [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.099 * [backup-simplify]: Simplify (log (+ 1.0 (/ 1 (- eps)))) into (log (- 1.0 (/ 1 eps))) 10.099 * [approximate]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in (eps) around 0 10.099 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps 10.099 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 10.099 * [taylor]: Taking taylor expansion of 1.0 in eps 10.099 * [backup-simplify]: Simplify 1.0 into 1.0 10.099 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.099 * [taylor]: Taking taylor expansion of eps in eps 10.099 * [backup-simplify]: Simplify 0 into 0 10.100 * [backup-simplify]: Simplify 1 into 1 10.100 * [backup-simplify]: Simplify (/ 1 1) into 1 10.100 * [backup-simplify]: Simplify (- 1) into -1 10.101 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.101 * [backup-simplify]: Simplify (log -1) into (log -1) 10.101 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps 10.101 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 10.101 * [taylor]: Taking taylor expansion of 1.0 in eps 10.101 * [backup-simplify]: Simplify 1.0 into 1.0 10.101 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.101 * [taylor]: Taking taylor expansion of eps in eps 10.101 * [backup-simplify]: Simplify 0 into 0 10.101 * [backup-simplify]: Simplify 1 into 1 10.102 * [backup-simplify]: Simplify (/ 1 1) into 1 10.102 * [backup-simplify]: Simplify (- 1) into -1 10.102 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.103 * [backup-simplify]: Simplify (log -1) into (log -1) 10.104 * [backup-simplify]: Simplify (+ (* (- 1) (log eps)) (log -1)) into (- (log -1) (log eps)) 10.104 * [backup-simplify]: Simplify (- (log -1) (log eps)) into (- (log -1) (log eps)) 10.105 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.105 * [backup-simplify]: Simplify (- 0) into 0 10.105 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 10.112 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0 10.112 * [backup-simplify]: Simplify -1.0 into -1.0 10.113 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.114 * [backup-simplify]: Simplify (- 0) into 0 10.114 * [backup-simplify]: Simplify (+ 0 0) into 0 10.125 * [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.125 * [backup-simplify]: Simplify -0.5 into -0.5 10.126 * [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.126 * * * * [progress]: [ 3 / 3 ] generating series at (2) 10.127 * [backup-simplify]: Simplify (- (log (- 1.0 eps)) (log (+ 1.0 eps))) into (- (log (- 1.0 eps)) (log (+ eps 1.0))) 10.127 * [approximate]: Taking taylor expansion of (- (log (- 1.0 eps)) (log (+ eps 1.0))) in (eps) around 0 10.127 * [taylor]: Taking taylor expansion of (- (log (- 1.0 eps)) (log (+ eps 1.0))) in eps 10.127 * [taylor]: Taking taylor expansion of (log (- 1.0 eps)) in eps 10.127 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 10.127 * [taylor]: Taking taylor expansion of 1.0 in eps 10.127 * [backup-simplify]: Simplify 1.0 into 1.0 10.127 * [taylor]: Taking taylor expansion of eps in eps 10.127 * [backup-simplify]: Simplify 0 into 0 10.127 * [backup-simplify]: Simplify 1 into 1 10.127 * [backup-simplify]: Simplify (- 0) into 0 10.131 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 10.132 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 10.132 * [taylor]: Taking taylor expansion of (log (+ eps 1.0)) in eps 10.132 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 10.132 * [taylor]: Taking taylor expansion of eps in eps 10.132 * [backup-simplify]: Simplify 0 into 0 10.132 * [backup-simplify]: Simplify 1 into 1 10.132 * [taylor]: Taking taylor expansion of 1.0 in eps 10.132 * [backup-simplify]: Simplify 1.0 into 1.0 10.132 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 10.133 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 10.133 * [taylor]: Taking taylor expansion of (- (log (- 1.0 eps)) (log (+ eps 1.0))) in eps 10.133 * [taylor]: Taking taylor expansion of (log (- 1.0 eps)) in eps 10.133 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 10.133 * [taylor]: Taking taylor expansion of 1.0 in eps 10.133 * [backup-simplify]: Simplify 1.0 into 1.0 10.133 * [taylor]: Taking taylor expansion of eps in eps 10.133 * [backup-simplify]: Simplify 0 into 0 10.133 * [backup-simplify]: Simplify 1 into 1 10.133 * [backup-simplify]: Simplify (- 0) into 0 10.134 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 10.134 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 10.134 * [taylor]: Taking taylor expansion of (log (+ eps 1.0)) in eps 10.134 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 10.134 * [taylor]: Taking taylor expansion of eps in eps 10.134 * [backup-simplify]: Simplify 0 into 0 10.134 * [backup-simplify]: Simplify 1 into 1 10.134 * [taylor]: Taking taylor expansion of 1.0 in eps 10.134 * [backup-simplify]: Simplify 1.0 into 1.0 10.135 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 10.136 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 10.137 * [backup-simplify]: Simplify (- (log 1.0)) into (- (log 1.0)) 10.138 * [backup-simplify]: Simplify (+ (log 1.0) (- (log 1.0))) into 0 10.139 * [backup-simplify]: Simplify 0 into 0 10.139 * [backup-simplify]: Simplify (- 1) into -1 10.139 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.145 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1.0 1)))) 1) into -1.0 10.146 * [backup-simplify]: Simplify (+ 1 0) into 1 10.150 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0 10.151 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 10.152 * [backup-simplify]: Simplify (+ -1.0 (- 1.0)) into (- 2.0) 10.152 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 10.152 * [backup-simplify]: Simplify (- 0) into 0 10.153 * [backup-simplify]: Simplify (+ 0 0) into 0 10.163 * [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.163 * [backup-simplify]: Simplify (+ 0 0) into 0 10.175 * [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.177 * [backup-simplify]: Simplify (- (/ -1/2 (pow 1.0 2))) into (* 1/2 (/ 1 (pow 1.0 2))) 10.182 * [backup-simplify]: Simplify (+ (/ -1/2 (pow 1.0 2)) (* 1/2 (/ 1 (pow 1.0 2)))) into 0 10.182 * [backup-simplify]: Simplify 0 into 0 10.182 * [backup-simplify]: Simplify (- 0) into 0 10.182 * [backup-simplify]: Simplify (+ 0 0) into 0 10.201 * [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.202 * [backup-simplify]: Simplify (+ 0 0) into 0 10.218 * [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.224 * [backup-simplify]: Simplify (- (/ 1/3 (pow 1.0 3))) into (- (* 1/3 (/ 1 (pow 1.0 3)))) 10.230 * [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.234 * [backup-simplify]: Simplify (- (* 2/3 (/ 1 (pow 1.0 3)))) into (- (* 2/3 (/ 1 (pow 1.0 3)))) 10.234 * [backup-simplify]: Simplify (- 0) into 0 10.234 * [backup-simplify]: Simplify (+ 0 0) into 0 10.275 * [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.276 * [backup-simplify]: Simplify (+ 0 0) into 0 10.309 * [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.311 * [backup-simplify]: Simplify (- (/ -1/4 (pow 1.0 4))) into (* 1/4 (/ 1 (pow 1.0 4))) 10.315 * [backup-simplify]: Simplify (+ (/ -1/4 (pow 1.0 4)) (* 1/4 (/ 1 (pow 1.0 4)))) into 0 10.315 * [backup-simplify]: Simplify 0 into 0 10.315 * [backup-simplify]: Simplify (- 0) into 0 10.316 * [backup-simplify]: Simplify (+ 0 0) into 0 10.368 * [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.369 * [backup-simplify]: Simplify (+ 0 0) into 0 10.429 * [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.430 * [backup-simplify]: Simplify (- (/ 1/5 (pow 1.0 5))) into (- (* 1/5 (/ 1 (pow 1.0 5)))) 10.435 * [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.439 * [backup-simplify]: Simplify (- (* 2/5 (/ 1 (pow 1.0 5)))) into (- (* 2/5 (/ 1 (pow 1.0 5)))) 10.445 * [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.445 * [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.446 * [approximate]: Taking taylor expansion of (- (log (- 1.0 (/ 1 eps))) (log (+ (/ 1 eps) 1.0))) in (eps) around 0 10.446 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 eps))) (log (+ (/ 1 eps) 1.0))) in eps 10.446 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps 10.446 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 10.446 * [taylor]: Taking taylor expansion of 1.0 in eps 10.446 * [backup-simplify]: Simplify 1.0 into 1.0 10.446 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.446 * [taylor]: Taking taylor expansion of eps in eps 10.446 * [backup-simplify]: Simplify 0 into 0 10.446 * [backup-simplify]: Simplify 1 into 1 10.446 * [backup-simplify]: Simplify (/ 1 1) into 1 10.447 * [backup-simplify]: Simplify (- 1) into -1 10.447 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.447 * [backup-simplify]: Simplify (log -1) into (log -1) 10.447 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps 10.447 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 10.447 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.447 * [taylor]: Taking taylor expansion of eps in eps 10.447 * [backup-simplify]: Simplify 0 into 0 10.447 * [backup-simplify]: Simplify 1 into 1 10.448 * [backup-simplify]: Simplify (/ 1 1) into 1 10.448 * [taylor]: Taking taylor expansion of 1.0 in eps 10.448 * [backup-simplify]: Simplify 1.0 into 1.0 10.448 * [backup-simplify]: Simplify (+ 1 0) into 1 10.449 * [backup-simplify]: Simplify (log 1) into 0 10.449 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 eps))) (log (+ (/ 1 eps) 1.0))) in eps 10.449 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps 10.449 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 10.449 * [taylor]: Taking taylor expansion of 1.0 in eps 10.449 * [backup-simplify]: Simplify 1.0 into 1.0 10.449 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.449 * [taylor]: Taking taylor expansion of eps in eps 10.449 * [backup-simplify]: Simplify 0 into 0 10.449 * [backup-simplify]: Simplify 1 into 1 10.449 * [backup-simplify]: Simplify (/ 1 1) into 1 10.450 * [backup-simplify]: Simplify (- 1) into -1 10.450 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.450 * [backup-simplify]: Simplify (log -1) into (log -1) 10.450 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps 10.451 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 10.451 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.451 * [taylor]: Taking taylor expansion of eps in eps 10.451 * [backup-simplify]: Simplify 0 into 0 10.451 * [backup-simplify]: Simplify 1 into 1 10.451 * [backup-simplify]: Simplify (/ 1 1) into 1 10.451 * [taylor]: Taking taylor expansion of 1.0 in eps 10.451 * [backup-simplify]: Simplify 1.0 into 1.0 10.451 * [backup-simplify]: Simplify (+ 1 0) into 1 10.452 * [backup-simplify]: Simplify (log 1) into 0 10.453 * [backup-simplify]: Simplify (+ (* (- 1) (log eps)) (log -1)) into (- (log -1) (log eps)) 10.453 * [backup-simplify]: Simplify (+ (* (- 1) (log eps)) 0) into (- (log eps)) 10.453 * [backup-simplify]: Simplify (- (- (log eps))) into (log eps) 10.454 * [backup-simplify]: Simplify (+ (- (log -1) (log eps)) (log eps)) into (log -1) 10.454 * [backup-simplify]: Simplify (log -1) into (log -1) 10.455 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.455 * [backup-simplify]: Simplify (- 0) into 0 10.456 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 10.462 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0 10.463 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.464 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 10.469 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0 10.470 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 10.471 * [backup-simplify]: Simplify (+ -1.0 (- 1.0)) into (- 2.0) 10.471 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 10.472 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.472 * [backup-simplify]: Simplify (- 0) into 0 10.473 * [backup-simplify]: Simplify (+ 0 0) into 0 10.482 * [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.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.483 * [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.495 * [backup-simplify]: Simplify (- -0.5) into 0.5 10.495 * [backup-simplify]: Simplify (+ -0.5 0.5) into 0 10.495 * [backup-simplify]: Simplify 0 into 0 10.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.496 * [backup-simplify]: Simplify (- 0) into 0 10.497 * [backup-simplify]: Simplify (+ 0 0) into 0 10.516 * [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.517 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.517 * [backup-simplify]: Simplify (+ 0 0) into 0 10.543 * [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.543 * [backup-simplify]: Simplify (- 0.3333333333333333) into (- 0.3333333333333333) 10.544 * [backup-simplify]: Simplify (+ -0.3333333333333333 (- 0.3333333333333333)) into (- 0.6666666666666666) 10.544 * [backup-simplify]: Simplify (- 0.6666666666666666) into (- 0.6666666666666666) 10.546 * [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.546 * [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.546 * [approximate]: Taking taylor expansion of (- (log (+ (/ 1 eps) 1.0)) (log (- 1.0 (/ 1 eps)))) in (eps) around 0 10.546 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 eps) 1.0)) (log (- 1.0 (/ 1 eps)))) in eps 10.546 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps 10.546 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 10.546 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.546 * [taylor]: Taking taylor expansion of eps in eps 10.546 * [backup-simplify]: Simplify 0 into 0 10.546 * [backup-simplify]: Simplify 1 into 1 10.547 * [backup-simplify]: Simplify (/ 1 1) into 1 10.547 * [taylor]: Taking taylor expansion of 1.0 in eps 10.547 * [backup-simplify]: Simplify 1.0 into 1.0 10.547 * [backup-simplify]: Simplify (+ 1 0) into 1 10.548 * [backup-simplify]: Simplify (log 1) into 0 10.548 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps 10.548 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 10.548 * [taylor]: Taking taylor expansion of 1.0 in eps 10.548 * [backup-simplify]: Simplify 1.0 into 1.0 10.548 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.548 * [taylor]: Taking taylor expansion of eps in eps 10.548 * [backup-simplify]: Simplify 0 into 0 10.548 * [backup-simplify]: Simplify 1 into 1 10.548 * [backup-simplify]: Simplify (/ 1 1) into 1 10.549 * [backup-simplify]: Simplify (- 1) into -1 10.549 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.549 * [backup-simplify]: Simplify (log -1) into (log -1) 10.549 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 eps) 1.0)) (log (- 1.0 (/ 1 eps)))) in eps 10.549 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps 10.550 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 10.550 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.550 * [taylor]: Taking taylor expansion of eps in eps 10.550 * [backup-simplify]: Simplify 0 into 0 10.550 * [backup-simplify]: Simplify 1 into 1 10.550 * [backup-simplify]: Simplify (/ 1 1) into 1 10.550 * [taylor]: Taking taylor expansion of 1.0 in eps 10.550 * [backup-simplify]: Simplify 1.0 into 1.0 10.550 * [backup-simplify]: Simplify (+ 1 0) into 1 10.551 * [backup-simplify]: Simplify (log 1) into 0 10.551 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps 10.551 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 10.551 * [taylor]: Taking taylor expansion of 1.0 in eps 10.551 * [backup-simplify]: Simplify 1.0 into 1.0 10.551 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 10.551 * [taylor]: Taking taylor expansion of eps in eps 10.551 * [backup-simplify]: Simplify 0 into 0 10.551 * [backup-simplify]: Simplify 1 into 1 10.551 * [backup-simplify]: Simplify (/ 1 1) into 1 10.552 * [backup-simplify]: Simplify (- 1) into -1 10.552 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.553 * [backup-simplify]: Simplify (log -1) into (log -1) 10.553 * [backup-simplify]: Simplify (+ (* (- 1) (log eps)) 0) into (- (log eps)) 10.554 * [backup-simplify]: Simplify (+ (* (- 1) (log eps)) (log -1)) into (- (log -1) (log eps)) 10.554 * [backup-simplify]: Simplify (- (- (log -1) (log eps))) into (- (log eps) (log -1)) 10.555 * [backup-simplify]: Simplify (+ (- (log eps)) (- (log eps) (log -1))) into (- (log -1)) 10.556 * [backup-simplify]: Simplify (- (log -1)) into (- (log -1)) 10.557 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.557 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 10.563 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0 10.564 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.564 * [backup-simplify]: Simplify (- 0) into 0 10.565 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 10.571 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0 10.572 * [backup-simplify]: Simplify (- -1.0) into 1.0 10.572 * [backup-simplify]: Simplify (+ 1.0 1.0) into 2.0 10.572 * [backup-simplify]: Simplify 2.0 into 2.0 10.573 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.573 * [backup-simplify]: Simplify (+ 0 0) into 0 10.585 * [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.586 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.586 * [backup-simplify]: Simplify (- 0) into 0 10.587 * [backup-simplify]: Simplify (+ 0 0) into 0 10.598 * [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.599 * [backup-simplify]: Simplify (- -0.5) into 0.5 10.599 * [backup-simplify]: Simplify (+ -0.5 0.5) into 0 10.599 * [backup-simplify]: Simplify 0 into 0 10.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.601 * [backup-simplify]: Simplify (+ 0 0) into 0 10.618 * [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.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.620 * [backup-simplify]: Simplify (- 0) into 0 10.620 * [backup-simplify]: Simplify (+ 0 0) into 0 10.639 * [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.640 * [backup-simplify]: Simplify (- -0.3333333333333333) into 0.3333333333333333 10.640 * [backup-simplify]: Simplify (+ 0.3333333333333333 0.3333333333333333) into 0.6666666666666666 10.640 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 10.641 * [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.641 * * * [progress]: simplifying candidates 10.645 * [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.650 * * [simplify]: iteration 0: 168 enodes 10.899 * * [simplify]: iteration 1: 395 enodes 11.219 * * [simplify]: iteration 2: 962 enodes 13.028 * * [simplify]: iteration 3: 3251 enodes 16.056 * * [simplify]: iteration complete: 5009 enodes 16.057 * * [simplify]: Extracting #0: cost 66 inf + 0 16.060 * * [simplify]: Extracting #1: cost 441 inf + 1 16.069 * * [simplify]: Extracting #2: cost 900 inf + 2263 16.089 * * [simplify]: Extracting #3: cost 1021 inf + 39987 16.144 * * [simplify]: Extracting #4: cost 468 inf + 156752 16.236 * * [simplify]: Extracting #5: cost 165 inf + 254712 16.348 * * [simplify]: Extracting #6: cost 13 inf + 330858 16.466 * * [simplify]: Extracting #7: cost 0 inf + 338292 16.756 * [simplify]: Simplified to: (expm1 (log (- 1.0 eps))) (log1p (log (- 1.0 eps))) (+ (log (cbrt (- 1.0 eps))) (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 eps) (sqrt 1.0))) (log (- (sqrt 1.0) (sqrt eps))) 0 (log (- 1.0 eps)) (log (- (* (* 1.0 1.0) 1.0) (* (* eps eps) eps))) (log (fma eps (+ 1.0 eps) (* 1.0 1.0))) (log (* (- 1.0 eps) (+ 1.0 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))) (* (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))) (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 (fma (* 1.0 1.0) 1.0 (* (* eps eps) eps))) (log (fma eps (- eps 1.0) (* 1.0 1.0))) (log (* (- 1.0 eps) (+ 1.0 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))) (* (log (+ 1.0 eps)) (* (log (+ 1.0 eps)) (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)) 0) (- (log (- 1.0 eps)) (log (+ 1.0 eps))) (* (log (+ 1.0 eps)) 0) (- (log (- 1.0 eps)) (log (+ 1.0 eps))) (* (log (+ 1.0 eps)) 0) (- (log (- 1.0 eps)) (log (+ 1.0 eps))) (* (log (+ 1.0 eps)) 0) (- (log (- 1.0 eps)) (log (+ 1.0 eps))) (* (log (+ 1.0 eps)) 0) (- (log (- 1.0 eps)) (log (+ 1.0 eps))) (* (log (+ 1.0 eps)) 0) (- (log (- 1.0 eps)) (log (+ 1.0 eps))) (* (log (+ 1.0 eps)) 0) (- (log (- 1.0 eps)) (log (+ 1.0 eps))) (* (log (+ 1.0 eps)) 0) (- (log (- 1.0 eps)) (log (+ 1.0 eps))) (* (log (+ 1.0 eps)) 0) (- (log (- 1.0 eps)) (log (+ 1.0 eps))) (* (log (+ 1.0 eps)) 0) (- (log (- 1.0 eps)) (log (+ 1.0 eps))) (* (log (+ 1.0 eps)) 0) (- (log (- 1.0 eps)) (log (+ 1.0 eps))) (* (log (+ 1.0 eps)) 0) (- (log (- 1.0 eps)) (log (+ 1.0 eps))) (* (log (+ 1.0 eps)) 0) (- (log (- 1.0 eps)) (log (+ 1.0 eps))) (* (log (+ 1.0 eps)) 0) (- (log (- 1.0 eps)) (log (+ 1.0 eps))) (* (log (+ 1.0 eps)) 0) (- (log (- 1.0 eps)) (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)))) (* (- (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)))) (- (* (log (- 1.0 eps)) (* (log (- 1.0 eps)) (log (- 1.0 eps)))) (* (log (+ 1.0 eps)) (* (log (+ 1.0 eps)) (log (+ 1.0 eps))))) (fma (log (- 1.0 eps)) (log (+ 1.0 eps)) (fma (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) (+ 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))) (fma -2 (log (cbrt (+ 1.0 eps))) (log (- 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 (+ 1.0 eps)) (log (fma eps (+ 1.0 eps) (* 1.0 1.0)))) (+ (log (+ 1.0 eps)) (log (+ 1.0 eps))) (- (log (- 1.0 eps)) (log (fma (* 1.0 1.0) 1.0 (* (* eps eps) eps)))) (- (log (- 1.0 eps)) (log (* (- 1.0 eps) (+ 1.0 eps)))) (- (log (+ 1.0 eps))) (- (log 1.0) (fma 1.0 eps (* (/ eps 1.0) (* (/ eps 1.0) 1/2)))) (- (log -1) (- (+ (/ 0.5 (* eps eps)) (/ 1.0 eps)) (log eps))) (fma (/ 0.5 eps) (/ -1 eps) (- (+ (/ 1.0 eps) (log (/ -1 eps))))) (fma (* (/ eps 1.0) (/ eps 1.0)) -1/2 (fma 1.0 eps (log 1.0))) (- (+ (/ 1.0 eps) (log eps)) (/ 0.5 (* eps eps))) (+ (- (+ (log -1) (/ 1.0 eps)) (log -1)) (- (log eps) (/ 0.5 (* eps eps)))) (- (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) -2/3) (fma 2/5 (/ (pow eps 5) (pow 1.0 5)) (* eps 2.0))) (- (- (log -1) (/ 2.0 eps)) (/ (/ 0.6666666666666666 eps) (* eps eps))) (- (fma (/ 1 eps) 2.0 (fma (/ 0.6666666666666666 eps) (/ (/ 1 eps) eps) (log -1)))) 16.796 * * * [progress]: adding candidates to table 17.820 * * [progress]: iteration 4 / 4 17.820 * * * [progress]: picking best candidate 17.833 * * * * [pick]: Picked # 17.834 * * * [progress]: localizing error 17.884 * * * [progress]: generating rewritten candidates 17.884 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 18.430 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 18.624 * * * [progress]: generating series expansions 18.625 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 18.626 * [backup-simplify]: Simplify (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) -2/3) into (* -0.6666666666666666 (pow eps 3)) 18.626 * [approximate]: Taking taylor expansion of (* -0.6666666666666666 (pow eps 3)) in (eps) around 0 18.626 * [taylor]: Taking taylor expansion of (* -0.6666666666666666 (pow eps 3)) in eps 18.626 * [taylor]: Taking taylor expansion of -0.6666666666666666 in eps 18.626 * [backup-simplify]: Simplify -0.6666666666666666 into -0.6666666666666666 18.626 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 18.626 * [taylor]: Taking taylor expansion of eps in eps 18.626 * [backup-simplify]: Simplify 0 into 0 18.626 * [backup-simplify]: Simplify 1 into 1 18.626 * [taylor]: Taking taylor expansion of (* -0.6666666666666666 (pow eps 3)) in eps 18.626 * [taylor]: Taking taylor expansion of -0.6666666666666666 in eps 18.626 * [backup-simplify]: Simplify -0.6666666666666666 into -0.6666666666666666 18.626 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 18.626 * [taylor]: Taking taylor expansion of eps in eps 18.626 * [backup-simplify]: Simplify 0 into 0 18.626 * [backup-simplify]: Simplify 1 into 1 18.639 * [backup-simplify]: Simplify (* 1 1) into 1 18.642 * [backup-simplify]: Simplify (* 1 1) into 1 18.646 * [backup-simplify]: Simplify (* -0.6666666666666666 1) into -0.6666666666666666 18.646 * [backup-simplify]: Simplify -0.6666666666666666 into -0.6666666666666666 18.648 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.649 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.650 * [backup-simplify]: Simplify (+ (* -0.6666666666666666 0) (* 0 1)) into 0 18.650 * [backup-simplify]: Simplify 0 into 0 18.651 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.653 * [backup-simplify]: Simplify (+ (* -0.6666666666666666 0) (+ (* 0 0) (* 0 1))) into 0 18.653 * [backup-simplify]: Simplify 0 into 0 18.654 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.659 * [backup-simplify]: Simplify (+ (* -0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.659 * [backup-simplify]: Simplify 0 into 0 18.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.674 * [backup-simplify]: Simplify (+ (* -0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.674 * [backup-simplify]: Simplify 0 into 0 18.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.679 * [backup-simplify]: Simplify (+ (* -0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.679 * [backup-simplify]: Simplify 0 into 0 18.681 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.690 * [backup-simplify]: Simplify (+ (* -0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.690 * [backup-simplify]: Simplify 0 into 0 18.690 * [backup-simplify]: Simplify (* -0.6666666666666666 (pow eps 3)) into (* -0.6666666666666666 (pow eps 3)) 18.690 * [backup-simplify]: Simplify (* (* (/ (/ 1 eps) 1.0) (* (/ (/ 1 eps) 1.0) (/ (/ 1 eps) 1.0))) -2/3) into (/ -0.6666666666666666 (pow eps 3)) 18.690 * [approximate]: Taking taylor expansion of (/ -0.6666666666666666 (pow eps 3)) in (eps) around 0 18.690 * [taylor]: Taking taylor expansion of (/ -0.6666666666666666 (pow eps 3)) in eps 18.691 * [taylor]: Taking taylor expansion of -0.6666666666666666 in eps 18.691 * [backup-simplify]: Simplify -0.6666666666666666 into -0.6666666666666666 18.691 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 18.691 * [taylor]: Taking taylor expansion of eps in eps 18.691 * [backup-simplify]: Simplify 0 into 0 18.691 * [backup-simplify]: Simplify 1 into 1 18.691 * [backup-simplify]: Simplify (* 1 1) into 1 18.691 * [backup-simplify]: Simplify (* 1 1) into 1 18.692 * [backup-simplify]: Simplify (/ -0.6666666666666666 1) into -0.6666666666666666 18.692 * [taylor]: Taking taylor expansion of (/ -0.6666666666666666 (pow eps 3)) in eps 18.692 * [taylor]: Taking taylor expansion of -0.6666666666666666 in eps 18.692 * [backup-simplify]: Simplify -0.6666666666666666 into -0.6666666666666666 18.692 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 18.692 * [taylor]: Taking taylor expansion of eps in eps 18.692 * [backup-simplify]: Simplify 0 into 0 18.692 * [backup-simplify]: Simplify 1 into 1 18.693 * [backup-simplify]: Simplify (* 1 1) into 1 18.693 * [backup-simplify]: Simplify (* 1 1) into 1 18.694 * [backup-simplify]: Simplify (/ -0.6666666666666666 1) into -0.6666666666666666 18.694 * [backup-simplify]: Simplify -0.6666666666666666 into -0.6666666666666666 18.695 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.695 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.696 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.6666666666666666 (/ 0 1)))) into 0 18.696 * [backup-simplify]: Simplify 0 into 0 18.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.700 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.6666666666666666 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.700 * [backup-simplify]: Simplify 0 into 0 18.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.702 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.710 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.6666666666666666 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.711 * [backup-simplify]: Simplify 0 into 0 18.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.713 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.714 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.6666666666666666 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.714 * [backup-simplify]: Simplify 0 into 0 18.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.730 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.6666666666666666 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.730 * [backup-simplify]: Simplify 0 into 0 18.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.743 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.6666666666666666 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.743 * [backup-simplify]: Simplify 0 into 0 18.752 * [backup-simplify]: Simplify (* -0.6666666666666666 (pow (/ 1 (/ 1 eps)) 3)) into (* -0.6666666666666666 (pow eps 3)) 18.752 * [backup-simplify]: Simplify (* (* (/ (/ 1 (- eps)) 1.0) (* (/ (/ 1 (- eps)) 1.0) (/ (/ 1 (- eps)) 1.0))) -2/3) into (/ 0.6666666666666666 (pow eps 3)) 18.752 * [approximate]: Taking taylor expansion of (/ 0.6666666666666666 (pow eps 3)) in (eps) around 0 18.753 * [taylor]: Taking taylor expansion of (/ 0.6666666666666666 (pow eps 3)) in eps 18.753 * [taylor]: Taking taylor expansion of 0.6666666666666666 in eps 18.753 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 18.753 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 18.753 * [taylor]: Taking taylor expansion of eps in eps 18.753 * [backup-simplify]: Simplify 0 into 0 18.753 * [backup-simplify]: Simplify 1 into 1 18.753 * [backup-simplify]: Simplify (* 1 1) into 1 18.754 * [backup-simplify]: Simplify (* 1 1) into 1 18.755 * [backup-simplify]: Simplify (/ 0.6666666666666666 1) into 0.6666666666666666 18.755 * [taylor]: Taking taylor expansion of (/ 0.6666666666666666 (pow eps 3)) in eps 18.755 * [taylor]: Taking taylor expansion of 0.6666666666666666 in eps 18.755 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 18.755 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 18.755 * [taylor]: Taking taylor expansion of eps in eps 18.755 * [backup-simplify]: Simplify 0 into 0 18.755 * [backup-simplify]: Simplify 1 into 1 18.755 * [backup-simplify]: Simplify (* 1 1) into 1 18.764 * [backup-simplify]: Simplify (* 1 1) into 1 18.765 * [backup-simplify]: Simplify (/ 0.6666666666666666 1) into 0.6666666666666666 18.765 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 18.765 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.766 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.767 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.6666666666666666 (/ 0 1)))) into 0 18.767 * [backup-simplify]: Simplify 0 into 0 18.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.777 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.778 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.6666666666666666 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.778 * [backup-simplify]: Simplify 0 into 0 18.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.790 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.791 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.6666666666666666 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.791 * [backup-simplify]: Simplify 0 into 0 18.799 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.808 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.6666666666666666 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.808 * [backup-simplify]: Simplify 0 into 0 18.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.812 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.6666666666666666 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.812 * [backup-simplify]: Simplify 0 into 0 18.814 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.816 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.6666666666666666 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.816 * [backup-simplify]: Simplify 0 into 0 18.817 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (/ 1 (/ 1 (- eps))) 3)) into (* -0.6666666666666666 (pow eps 3)) 18.817 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 18.817 * [backup-simplify]: Simplify (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) into (* 1.0 (pow eps 3)) 18.817 * [approximate]: Taking taylor expansion of (* 1.0 (pow eps 3)) in (eps) around 0 18.817 * [taylor]: Taking taylor expansion of (* 1.0 (pow eps 3)) in eps 18.817 * [taylor]: Taking taylor expansion of 1.0 in eps 18.817 * [backup-simplify]: Simplify 1.0 into 1.0 18.817 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 18.817 * [taylor]: Taking taylor expansion of eps in eps 18.817 * [backup-simplify]: Simplify 0 into 0 18.817 * [backup-simplify]: Simplify 1 into 1 18.817 * [taylor]: Taking taylor expansion of (* 1.0 (pow eps 3)) in eps 18.817 * [taylor]: Taking taylor expansion of 1.0 in eps 18.817 * [backup-simplify]: Simplify 1.0 into 1.0 18.817 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 18.818 * [taylor]: Taking taylor expansion of eps in eps 18.818 * [backup-simplify]: Simplify 0 into 0 18.818 * [backup-simplify]: Simplify 1 into 1 18.818 * [backup-simplify]: Simplify (* 1 1) into 1 18.818 * [backup-simplify]: Simplify (* 1 1) into 1 18.819 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 18.819 * [backup-simplify]: Simplify 1.0 into 1.0 18.820 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.820 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.821 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 18.821 * [backup-simplify]: Simplify 0 into 0 18.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.824 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 18.824 * [backup-simplify]: Simplify 0 into 0 18.825 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.826 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.827 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.827 * [backup-simplify]: Simplify 0 into 0 18.829 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.831 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.831 * [backup-simplify]: Simplify 0 into 0 18.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.834 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.836 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.836 * [backup-simplify]: Simplify 0 into 0 18.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.839 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.840 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.840 * [backup-simplify]: Simplify 0 into 0 18.841 * [backup-simplify]: Simplify (* 1.0 (pow eps 3)) into (* 1.0 (pow eps 3)) 18.841 * [backup-simplify]: Simplify (* (/ (/ 1 eps) 1.0) (* (/ (/ 1 eps) 1.0) (/ (/ 1 eps) 1.0))) into (/ 1.0 (pow eps 3)) 18.841 * [approximate]: Taking taylor expansion of (/ 1.0 (pow eps 3)) in (eps) around 0 18.841 * [taylor]: Taking taylor expansion of (/ 1.0 (pow eps 3)) in eps 18.841 * [taylor]: Taking taylor expansion of 1.0 in eps 18.841 * [backup-simplify]: Simplify 1.0 into 1.0 18.841 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 18.841 * [taylor]: Taking taylor expansion of eps in eps 18.841 * [backup-simplify]: Simplify 0 into 0 18.841 * [backup-simplify]: Simplify 1 into 1 18.842 * [backup-simplify]: Simplify (* 1 1) into 1 18.842 * [backup-simplify]: Simplify (* 1 1) into 1 18.844 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0 18.844 * [taylor]: Taking taylor expansion of (/ 1.0 (pow eps 3)) in eps 18.844 * [taylor]: Taking taylor expansion of 1.0 in eps 18.844 * [backup-simplify]: Simplify 1.0 into 1.0 18.844 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 18.844 * [taylor]: Taking taylor expansion of eps in eps 18.844 * [backup-simplify]: Simplify 0 into 0 18.844 * [backup-simplify]: Simplify 1 into 1 18.844 * [backup-simplify]: Simplify (* 1 1) into 1 18.845 * [backup-simplify]: Simplify (* 1 1) into 1 18.845 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0 18.845 * [backup-simplify]: Simplify 1.0 into 1.0 18.846 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.846 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.847 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)))) into 0 18.847 * [backup-simplify]: Simplify 0 into 0 18.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.850 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.850 * [backup-simplify]: Simplify 0 into 0 18.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.853 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.853 * [backup-simplify]: Simplify 0 into 0 18.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.856 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.857 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.857 * [backup-simplify]: Simplify 0 into 0 18.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.860 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.861 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.861 * [backup-simplify]: Simplify 0 into 0 18.862 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.864 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.865 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.865 * [backup-simplify]: Simplify 0 into 0 18.865 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 (/ 1 eps)) 3)) into (* 1.0 (pow eps 3)) 18.866 * [backup-simplify]: Simplify (* (/ (/ 1 (- eps)) 1.0) (* (/ (/ 1 (- eps)) 1.0) (/ (/ 1 (- eps)) 1.0))) into (/ -1.0 (pow eps 3)) 18.866 * [approximate]: Taking taylor expansion of (/ -1.0 (pow eps 3)) in (eps) around 0 18.866 * [taylor]: Taking taylor expansion of (/ -1.0 (pow eps 3)) in eps 18.866 * [taylor]: Taking taylor expansion of -1.0 in eps 18.866 * [backup-simplify]: Simplify -1.0 into -1.0 18.866 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 18.866 * [taylor]: Taking taylor expansion of eps in eps 18.866 * [backup-simplify]: Simplify 0 into 0 18.866 * [backup-simplify]: Simplify 1 into 1 18.866 * [backup-simplify]: Simplify (* 1 1) into 1 18.867 * [backup-simplify]: Simplify (* 1 1) into 1 18.867 * [backup-simplify]: Simplify (/ -1.0 1) into -1.0 18.867 * [taylor]: Taking taylor expansion of (/ -1.0 (pow eps 3)) in eps 18.867 * [taylor]: Taking taylor expansion of -1.0 in eps 18.867 * [backup-simplify]: Simplify -1.0 into -1.0 18.867 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 18.867 * [taylor]: Taking taylor expansion of eps in eps 18.867 * [backup-simplify]: Simplify 0 into 0 18.867 * [backup-simplify]: Simplify 1 into 1 18.868 * [backup-simplify]: Simplify (* 1 1) into 1 18.868 * [backup-simplify]: Simplify (* 1 1) into 1 18.873 * [backup-simplify]: Simplify (/ -1.0 1) into -1.0 18.873 * [backup-simplify]: Simplify -1.0 into -1.0 18.877 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.881 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.940 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1.0 (/ 0 1)))) into 0 18.944 * [backup-simplify]: Simplify 0 into 0 18.967 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.968 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.969 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.969 * [backup-simplify]: Simplify 0 into 0 18.970 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.972 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.974 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.974 * [backup-simplify]: Simplify 0 into 0 18.975 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.983 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.983 * [backup-simplify]: Simplify 0 into 0 18.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.986 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.987 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.989 * [backup-simplify]: Simplify 0 into 0 18.991 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.994 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.994 * [backup-simplify]: Simplify 0 into 0 19.000 * [backup-simplify]: Simplify (* -1.0 (pow (/ 1 (/ 1 (- eps))) 3)) into (* 1.0 (pow eps 3)) 19.000 * * * [progress]: simplifying candidates 19.059 * [simplify]: Simplifying: (expm1 (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) -2/3)) (log1p (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) -2/3)) (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) -2/3) (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) -2/3) (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) -2/3) (+ (+ (- (log eps) (log 1.0)) (+ (- (log eps) (log 1.0)) (- (log eps) (log 1.0)))) (log -2/3)) (+ (+ (- (log eps) (log 1.0)) (+ (- (log eps) (log 1.0)) (log (/ eps 1.0)))) (log -2/3)) (+ (+ (- (log eps) (log 1.0)) (+ (log (/ eps 1.0)) (- (log eps) (log 1.0)))) (log -2/3)) (+ (+ (- (log eps) (log 1.0)) (+ (log (/ eps 1.0)) (log (/ eps 1.0)))) (log -2/3)) (+ (+ (- (log eps) (log 1.0)) (log (* (/ eps 1.0) (/ eps 1.0)))) (log -2/3)) (+ (+ (log (/ eps 1.0)) (+ (- (log eps) (log 1.0)) (- (log eps) (log 1.0)))) (log -2/3)) (+ (+ (log (/ eps 1.0)) (+ (- (log eps) (log 1.0)) (log (/ eps 1.0)))) (log -2/3)) (+ (+ (log (/ eps 1.0)) (+ (log (/ eps 1.0)) (- (log eps) (log 1.0)))) (log -2/3)) (+ (+ (log (/ eps 1.0)) (+ (log (/ eps 1.0)) (log (/ eps 1.0)))) (log -2/3)) (+ (+ (log (/ eps 1.0)) (log (* (/ eps 1.0) (/ eps 1.0)))) (log -2/3)) (+ (log (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0)))) (log -2/3)) (log (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) -2/3)) (exp (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) -2/3)) (* (* (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)) (* (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)) (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)))) (* (* -2/3 -2/3) -2/3)) (* (* (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)) (* (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)))) (* (* -2/3 -2/3) -2/3)) (* (* (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)) (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)))) (* (* -2/3 -2/3) -2/3)) (* (* (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)) (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)))) (* (* -2/3 -2/3) -2/3)) (* (* (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)) (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (* (/ eps 1.0) (/ eps 1.0)))) (* (* -2/3 -2/3) -2/3)) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)) (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)))) (* (* -2/3 -2/3) -2/3)) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)))) (* (* -2/3 -2/3) -2/3)) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)))) (* (* -2/3 -2/3) -2/3)) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)))) (* (* -2/3 -2/3) -2/3)) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (* (/ eps 1.0) (/ eps 1.0)))) (* (* -2/3 -2/3) -2/3)) (* (* (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0)))) (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0)))) (* (* -2/3 -2/3) -2/3)) (* (cbrt (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) -2/3)) (cbrt (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) -2/3))) (cbrt (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) -2/3)) (* (* (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) -2/3) (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) -2/3)) (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) -2/3)) (sqrt (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) -2/3)) (sqrt (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) -2/3)) (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) (* (cbrt -2/3) (cbrt -2/3))) (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) (sqrt -2/3)) (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) 1) (* (* (/ eps 1.0) (/ eps 1.0)) -2/3) (* (* eps (* eps eps)) -2/3) (* (* eps (* (/ eps 1.0) eps)) -2/3) (* (* eps (* eps (/ eps 1.0))) -2/3) (* (* (/ eps 1.0) (* eps eps)) -2/3) (* (* (/ eps 1.0) (* (/ eps 1.0) eps)) -2/3) (* (* (/ eps 1.0) (* eps (/ eps 1.0))) -2/3) (* (* eps (* (/ eps 1.0) (/ eps 1.0))) -2/3) (expm1 (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0)))) (log1p (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0)))) (+ 1 (+ 1 1)) (+ 1 2) (+ 1 (+ 1 1)) (+ 1 (* 2 1)) (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) (+ (- (log eps) (log 1.0)) (+ (- (log eps) (log 1.0)) (- (log eps) (log 1.0)))) (+ (- (log eps) (log 1.0)) (+ (- (log eps) (log 1.0)) (log (/ eps 1.0)))) (+ (- (log eps) (log 1.0)) (+ (log (/ eps 1.0)) (- (log eps) (log 1.0)))) (+ (- (log eps) (log 1.0)) (+ (log (/ eps 1.0)) (log (/ eps 1.0)))) (+ (- (log eps) (log 1.0)) (log (* (/ eps 1.0) (/ eps 1.0)))) (+ (log (/ eps 1.0)) (+ (- (log eps) (log 1.0)) (- (log eps) (log 1.0)))) (+ (log (/ eps 1.0)) (+ (- (log eps) (log 1.0)) (log (/ eps 1.0)))) (+ (log (/ eps 1.0)) (+ (log (/ eps 1.0)) (- (log eps) (log 1.0)))) (+ (log (/ eps 1.0)) (+ (log (/ eps 1.0)) (log (/ eps 1.0)))) (+ (log (/ eps 1.0)) (log (* (/ eps 1.0) (/ eps 1.0)))) (log (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0)))) (exp (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0)))) (* (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)) (* (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)) (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)))) (* (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)) (* (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)))) (* (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)) (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)))) (* (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)) (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)))) (* (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)) (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (* (/ eps 1.0) (/ eps 1.0)))) (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)) (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)))) (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)))) (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (/ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)))) (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)))) (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (* (/ eps 1.0) (/ eps 1.0)))) (* (cbrt (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0)))) (cbrt (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))))) (cbrt (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0)))) (* (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0)))) (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0)))) (sqrt (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0)))) (sqrt (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0)))) (* eps (* eps eps)) (* 1.0 (* 1.0 1.0)) (* eps (* (/ eps 1.0) eps)) (* 1.0 1.0) (* eps (* eps (/ eps 1.0))) (* 1.0 1.0) (* (sqrt (/ eps 1.0)) (/ eps 1.0)) (* (sqrt (/ eps 1.0)) (/ eps 1.0)) (* (/ (sqrt eps) (sqrt 1.0)) (/ eps 1.0)) (* (/ (sqrt eps) (sqrt 1.0)) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0)) (* (cbrt (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (* (sqrt (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (* (/ (cbrt eps) (cbrt 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (* (/ (cbrt eps) (sqrt 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (* (/ (cbrt eps) 1.0) (* (/ eps 1.0) (/ eps 1.0))) (* (/ (sqrt eps) (cbrt 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (* (/ (sqrt eps) (sqrt 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (* (/ (sqrt eps) 1.0) (* (/ eps 1.0) (/ eps 1.0))) (* (/ eps (cbrt 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (* (/ eps (sqrt 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) (* (/ 1 1.0) (* (/ eps 1.0) (/ eps 1.0))) (* (/ eps 1.0) (* eps eps)) (* (/ eps 1.0) (* (/ eps 1.0) eps)) (* (/ eps 1.0) (* eps (/ eps 1.0))) (* eps (* (/ eps 1.0) (/ eps 1.0))) (* -0.6666666666666666 (pow eps 3)) (* -0.6666666666666666 (pow eps 3)) (* -0.6666666666666666 (pow eps 3)) (* 1.0 (pow eps 3)) (* 1.0 (pow eps 3)) (* 1.0 (pow eps 3)) 19.069 * * [simplify]: iteration 0: 155 enodes 19.230 * * [simplify]: iteration 1: 434 enodes 20.370 * * [simplify]: iteration 2: 1428 enodes 25.460 * * [simplify]: iteration complete: 5000 enodes 25.465 * * [simplify]: Extracting #0: cost 45 inf + 0 25.469 * * [simplify]: Extracting #1: cost 665 inf + 1 25.513 * * [simplify]: Extracting #2: cost 1309 inf + 7814 25.602 * * [simplify]: Extracting #3: cost 750 inf + 145079 25.741 * * [simplify]: Extracting #4: cost 97 inf + 314812 25.968 * * [simplify]: Extracting #5: cost 1 inf + 338060 26.123 * * [simplify]: Extracting #6: cost 0 inf + 338233 26.392 * [simplify]: Simplified to: (expm1 (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) -2/3))) (log1p (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) -2/3))) (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) -2/3)) (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) -2/3)) (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) -2/3)) (log (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) -2/3))) (log (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) -2/3))) (log (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) -2/3))) (log (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) -2/3))) (log (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) -2/3))) (log (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) -2/3))) (log (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) -2/3))) (log (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) -2/3))) (log (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) -2/3))) (log (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) -2/3))) (log (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) -2/3))) (log (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) -2/3))) (exp (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) -2/3))) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (/ eps 1.0)) (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) -8/27)) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (/ eps 1.0)) (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) -8/27)) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (/ eps 1.0)) (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) -8/27)) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (/ eps 1.0)) (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) -8/27)) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (/ eps 1.0)) (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) -8/27)) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (/ eps 1.0)) (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) -8/27)) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (/ eps 1.0)) (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) -8/27)) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (/ eps 1.0)) (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) -8/27)) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (/ eps 1.0)) (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) -8/27)) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (/ eps 1.0)) (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) -8/27)) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (/ eps 1.0)) (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) -8/27)) (* (cbrt (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) -2/3))) (cbrt (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) -2/3)))) (cbrt (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) -2/3))) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (/ eps 1.0)) (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) -8/27)) (sqrt (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) -2/3))) (sqrt (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) -2/3))) (* (/ eps 1.0) (* (* (cbrt -2/3) (/ eps 1.0)) (* (cbrt -2/3) (/ eps 1.0)))) (* (/ eps 1.0) (* (* (/ eps 1.0) (/ eps 1.0)) (sqrt -2/3))) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (* -2/3 (/ eps 1.0)) (/ eps 1.0)) (* (* -2/3 eps) (* eps eps)) (* (/ (* eps eps) (/ 1.0 eps)) -2/3) (* (/ (* eps eps) (/ 1.0 eps)) -2/3) (* (/ (* eps eps) (/ 1.0 eps)) -2/3) (* -2/3 (/ eps (* (/ 1.0 eps) (/ 1.0 eps)))) (* -2/3 (/ eps (* (/ 1.0 eps) (/ 1.0 eps)))) (* -2/3 (/ eps (* (/ 1.0 eps) (/ 1.0 eps)))) (expm1 (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (log1p (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) 3 3 3 3 (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* 3 (log (/ eps 1.0))) (* 3 (log (/ eps 1.0))) (* 3 (log (/ eps 1.0))) (* 3 (log (/ eps 1.0))) (* 3 (log (/ eps 1.0))) (* 3 (log (/ eps 1.0))) (* 3 (log (/ eps 1.0))) (* 3 (log (/ eps 1.0))) (* 3 (log (/ eps 1.0))) (* 3 (log (/ eps 1.0))) (* 3 (log (/ eps 1.0))) (exp (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0) (* (* (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (sqrt (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (sqrt (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0))) (* eps (* eps eps)) (* (* 1.0 1.0) 1.0) (/ (* eps eps) (/ 1.0 eps)) (* 1.0 1.0) (/ (* eps eps) (/ 1.0 eps)) (* 1.0 1.0) (* (sqrt (/ eps 1.0)) (/ eps 1.0)) (* (sqrt (/ eps 1.0)) (/ eps 1.0)) (/ (* (sqrt eps) (/ eps 1.0)) (sqrt 1.0)) (/ (* (sqrt eps) (/ eps 1.0)) (sqrt 1.0)) (* (/ eps 1.0) (/ eps 1.0)) (* (cbrt (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (* (sqrt (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (* (* (/ (cbrt eps) (cbrt 1.0)) (/ eps 1.0)) (/ eps 1.0)) (* (/ (cbrt eps) (sqrt 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (/ (cbrt eps) (/ 1.0 (* (/ eps 1.0) (/ eps 1.0)))) (/ (* (sqrt eps) (* (/ eps 1.0) (/ eps 1.0))) (cbrt 1.0)) (* (/ (sqrt eps) (sqrt 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (* (/ (sqrt eps) 1.0) (* (/ eps 1.0) (/ eps 1.0))) (* (/ eps (cbrt 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (/ (/ eps (* (/ 1.0 eps) (/ 1.0 eps))) (sqrt 1.0)) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)) (/ (* (/ eps 1.0) (/ eps 1.0)) 1.0) (/ (* eps eps) (/ 1.0 eps)) (/ eps (* (/ 1.0 eps) (/ 1.0 eps))) (/ eps (* (/ 1.0 eps) (/ 1.0 eps))) (/ eps (* (/ 1.0 eps) (/ 1.0 eps))) (* -0.6666666666666666 (* eps (* eps eps))) (* -0.6666666666666666 (* eps (* eps eps))) (* -0.6666666666666666 (* eps (* eps eps))) (* (* (* 1.0 eps) eps) eps) (* (* (* 1.0 eps) eps) eps) (* (* (* 1.0 eps) eps) eps) 26.408 * * * [progress]: adding candidates to table 27.145 * [progress]: [Phase 3 of 3] Extracting. 27.145 * * [regime]: Finding splitpoints for: (# #) 27.146 * * * [regime-changes]: Trying 1 branch expressions: (eps) 27.146 * * * * [regimes]: Trying to branch on eps from (# #) 27.195 * * * [regime]: Found split indices: #