101.056 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.203 * * * [progress]: [2/2] Setting up program.
0.233 * [progress]: [Phase 2 of 3] Improving.
0.234 * [simplify]: Simplifying:
  (log (/ (- 1.0 eps) (+ 1.0 eps)))
0.234 * * [simplify]: iteration 0: 6 enodes
0.248 * * [simplify]: iteration 1: 15 enodes
0.255 * * [simplify]: iteration 2: 20 enodes
0.274 * * [simplify]: iteration 3: 23 enodes
0.289 * * [simplify]: iteration complete: 23 enodes
0.289 * * [simplify]: Extracting #0: cost 1 inf + 0
0.289 * * [simplify]: Extracting #1: cost 5 inf + 0
0.289 * * [simplify]: Extracting #2: cost 10 inf + 0
0.289 * * [simplify]: Extracting #3: cost 13 inf + 0
0.289 * * [simplify]: Extracting #4: cost 10 inf + 44
0.290 * * [simplify]: Extracting #5: cost 3 inf + 707
0.290 * * [simplify]: Extracting #6: cost 0 inf + 1103
0.291 * [simplify]: Simplified to:
  (log (/ (- 1.0 eps) (+ 1.0 eps)))
0.292 * * [progress]: iteration 1 / 4
0.292 * * * [progress]: picking best candidate
0.303 * * * * [pick]: Picked  #<alt (λ (eps) (log (/ (- 1.0 eps) (+ 1.0 eps))))>
0.304 * * * [progress]: localizing error
0.326 * * * [progress]: generating rewritten candidates
0.326 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.362 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.636 * * * [progress]: generating series expansions
0.636 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.636 * [backup-simplify]: Simplify (log (/ (- 1.0 eps) (+ 1.0 eps))) into (log (/ (- 1.0 eps) (+ eps 1.0)))
0.637 * [approximate]: Taking taylor expansion of (log (/ (- 1.0 eps) (+ eps 1.0))) in (eps) around 0
0.637 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 eps) (+ eps 1.0))) in eps
0.637 * [taylor]: Taking taylor expansion of (/ (- 1.0 eps) (+ eps 1.0)) in eps
0.637 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps
0.637 * [taylor]: Taking taylor expansion of 1.0 in eps
0.637 * [backup-simplify]: Simplify 1.0 into 1.0
0.637 * [taylor]: Taking taylor expansion of eps in eps
0.637 * [backup-simplify]: Simplify 0 into 0
0.637 * [backup-simplify]: Simplify 1 into 1
0.637 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps
0.637 * [taylor]: Taking taylor expansion of eps in eps
0.637 * [backup-simplify]: Simplify 0 into 0
0.637 * [backup-simplify]: Simplify 1 into 1
0.637 * [taylor]: Taking taylor expansion of 1.0 in eps
0.637 * [backup-simplify]: Simplify 1.0 into 1.0
0.638 * [backup-simplify]: Simplify (- 0) into 0
0.639 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.640 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.641 * [backup-simplify]: Simplify (/ 1.0 1.0) into 1.0
0.642 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
0.642 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 eps) (+ eps 1.0))) in eps
0.642 * [taylor]: Taking taylor expansion of (/ (- 1.0 eps) (+ eps 1.0)) in eps
0.642 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps
0.642 * [taylor]: Taking taylor expansion of 1.0 in eps
0.642 * [backup-simplify]: Simplify 1.0 into 1.0
0.643 * [taylor]: Taking taylor expansion of eps in eps
0.643 * [backup-simplify]: Simplify 0 into 0
0.643 * [backup-simplify]: Simplify 1 into 1
0.643 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps
0.643 * [taylor]: Taking taylor expansion of eps in eps
0.643 * [backup-simplify]: Simplify 0 into 0
0.643 * [backup-simplify]: Simplify 1 into 1
0.643 * [taylor]: Taking taylor expansion of 1.0 in eps
0.643 * [backup-simplify]: Simplify 1.0 into 1.0
0.645 * [backup-simplify]: Simplify (- 0) into 0
0.646 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.647 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.649 * [backup-simplify]: Simplify (/ 1.0 1.0) into 1.0
0.650 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
0.652 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
0.654 * [backup-simplify]: Simplify (- 1) into -1
0.654 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.655 * [backup-simplify]: Simplify (+ 1 0) into 1
0.659 * [backup-simplify]: Simplify (- (/ -1 1.0) (+ (* 1.0 (/ 1 1.0)))) into (- 2.0)
0.671 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 2.0)) 1)) (pow 1.0 1)))) 1) into -2.0
0.671 * [backup-simplify]: Simplify -2.0 into -2.0
0.674 * [backup-simplify]: Simplify (- 0) into 0
0.675 * [backup-simplify]: Simplify (+ 0 0) into 0
0.675 * [backup-simplify]: Simplify (+ 0 0) into 0
0.681 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* (- 2.0) (/ 1 1.0)))) into 2.0
0.702 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 2.0)) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 2.0) 1)) (pow 1.0 1)))) 2) into (* 1/2 (- 4.0 (* 4.0 (/ 1 (pow 1.0 2)))))
0.707 * [backup-simplify]: Simplify (* 1/2 (- 4.0 (* 4.0 (/ 1 (pow 1.0 2))))) into (* 1/2 (- 4.0 (* 4.0 (/ 1 (pow 1.0 2)))))
0.713 * [backup-simplify]: Simplify (+ (* (* 1/2 (- 4.0 (* 4.0 (/ 1 (pow 1.0 2))))) (pow eps 2)) (+ (* -2.0 eps) (log 1.0))) into (- (+ (* 2.0 (pow eps 2)) (log 1.0)) (+ (* 2.0 (/ (pow eps 2) (pow 1.0 2))) (* 2.0 eps)))
0.714 * [backup-simplify]: Simplify (log (/ (- 1.0 (/ 1 eps)) (+ 1.0 (/ 1 eps)))) into (log (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)))
0.714 * [approximate]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0))) in (eps) around 0
0.714 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0))) in eps
0.714 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in eps
0.714 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps
0.714 * [taylor]: Taking taylor expansion of 1.0 in eps
0.714 * [backup-simplify]: Simplify 1.0 into 1.0
0.714 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.714 * [taylor]: Taking taylor expansion of eps in eps
0.714 * [backup-simplify]: Simplify 0 into 0
0.714 * [backup-simplify]: Simplify 1 into 1
0.715 * [backup-simplify]: Simplify (/ 1 1) into 1
0.715 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps
0.715 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.715 * [taylor]: Taking taylor expansion of eps in eps
0.715 * [backup-simplify]: Simplify 0 into 0
0.715 * [backup-simplify]: Simplify 1 into 1
0.716 * [backup-simplify]: Simplify (/ 1 1) into 1
0.716 * [taylor]: Taking taylor expansion of 1.0 in eps
0.716 * [backup-simplify]: Simplify 1.0 into 1.0
0.716 * [backup-simplify]: Simplify (- 1) into -1
0.717 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.717 * [backup-simplify]: Simplify (+ 1 0) into 1
0.718 * [backup-simplify]: Simplify (/ -1 1) into -1
0.718 * [backup-simplify]: Simplify (log -1) into (log -1)
0.718 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0))) in eps
0.718 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in eps
0.718 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps
0.718 * [taylor]: Taking taylor expansion of 1.0 in eps
0.718 * [backup-simplify]: Simplify 1.0 into 1.0
0.718 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.718 * [taylor]: Taking taylor expansion of eps in eps
0.718 * [backup-simplify]: Simplify 0 into 0
0.718 * [backup-simplify]: Simplify 1 into 1
0.719 * [backup-simplify]: Simplify (/ 1 1) into 1
0.719 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps
0.719 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.719 * [taylor]: Taking taylor expansion of eps in eps
0.719 * [backup-simplify]: Simplify 0 into 0
0.719 * [backup-simplify]: Simplify 1 into 1
0.719 * [backup-simplify]: Simplify (/ 1 1) into 1
0.719 * [taylor]: Taking taylor expansion of 1.0 in eps
0.719 * [backup-simplify]: Simplify 1.0 into 1.0
0.720 * [backup-simplify]: Simplify (- 1) into -1
0.720 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.721 * [backup-simplify]: Simplify (+ 1 0) into 1
0.721 * [backup-simplify]: Simplify (/ -1 1) into -1
0.722 * [backup-simplify]: Simplify (log -1) into (log -1)
0.722 * [backup-simplify]: Simplify (log -1) into (log -1)
0.723 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.723 * [backup-simplify]: Simplify (- 0) into 0
0.724 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.724 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.725 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.728 * [backup-simplify]: Simplify (- (/ 1.0 1) (+ (* -1 (/ 1.0 1)))) into 2.0
0.736 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 2.0) 1)) (pow -1 1)))) 1) into -2.0
0.736 * [backup-simplify]: Simplify -2.0 into -2.0
0.738 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.739 * [backup-simplify]: Simplify (- 0) into 0
0.739 * [backup-simplify]: Simplify (+ 0 0) into 0
0.744 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.745 * [backup-simplify]: Simplify (+ 0 0) into 0
0.750 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2.0 (/ 1.0 1)))) into (- 2.0)
0.915 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 2.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 (- 2.0)) 1)) (pow -1 1)))) 2) into 0
0.917 * [backup-simplify]: Simplify 0 into 0
0.919 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.920 * [backup-simplify]: Simplify (- 0) into 0
0.920 * [backup-simplify]: Simplify (+ 0 0) into 0
0.925 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.926 * [backup-simplify]: Simplify (+ 0 0) into 0
0.944 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2.0 (/ 0 1)) (* (- 2.0) (/ 1.0 1)))) into 2.0
0.978 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 2.0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 2.0) 1) (pow (* 2 (- 2.0)) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 2.0) 1)) (pow -1 1)))) 6) into -0.6666666666666666
0.978 * [backup-simplify]: Simplify -0.6666666666666666 into -0.6666666666666666
0.987 * [backup-simplify]: Simplify (+ (* -0.6666666666666666 (pow (/ 1 eps) 3)) (+ (* -2.0 (/ 1 eps)) (log -1))) into (- (log -1) (+ (* 0.6666666666666666 (/ 1 (pow eps 3))) (* 2.0 (/ 1 eps))))
0.987 * [backup-simplify]: Simplify (log (/ (- 1.0 (/ 1 (- eps))) (+ 1.0 (/ 1 (- eps))))) into (log (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))))
0.987 * [approximate]: Taking taylor expansion of (log (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps)))) in (eps) around 0
0.987 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps)))) in eps
0.987 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in eps
0.987 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps
0.987 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.987 * [taylor]: Taking taylor expansion of eps in eps
0.987 * [backup-simplify]: Simplify 0 into 0
0.987 * [backup-simplify]: Simplify 1 into 1
0.991 * [backup-simplify]: Simplify (/ 1 1) into 1
0.991 * [taylor]: Taking taylor expansion of 1.0 in eps
0.991 * [backup-simplify]: Simplify 1.0 into 1.0
0.991 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps
0.991 * [taylor]: Taking taylor expansion of 1.0 in eps
0.992 * [backup-simplify]: Simplify 1.0 into 1.0
0.992 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.992 * [taylor]: Taking taylor expansion of eps in eps
0.992 * [backup-simplify]: Simplify 0 into 0
0.992 * [backup-simplify]: Simplify 1 into 1
0.992 * [backup-simplify]: Simplify (/ 1 1) into 1
0.993 * [backup-simplify]: Simplify (+ 1 0) into 1
0.993 * [backup-simplify]: Simplify (- 1) into -1
0.994 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.994 * [backup-simplify]: Simplify (/ 1 -1) into -1
0.995 * [backup-simplify]: Simplify (log -1) into (log -1)
0.995 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps)))) in eps
0.995 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in eps
0.995 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps
0.995 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.995 * [taylor]: Taking taylor expansion of eps in eps
0.995 * [backup-simplify]: Simplify 0 into 0
0.995 * [backup-simplify]: Simplify 1 into 1
0.995 * [backup-simplify]: Simplify (/ 1 1) into 1
0.996 * [taylor]: Taking taylor expansion of 1.0 in eps
0.996 * [backup-simplify]: Simplify 1.0 into 1.0
0.996 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps
0.996 * [taylor]: Taking taylor expansion of 1.0 in eps
0.996 * [backup-simplify]: Simplify 1.0 into 1.0
0.996 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
0.996 * [taylor]: Taking taylor expansion of eps in eps
0.996 * [backup-simplify]: Simplify 0 into 0
0.996 * [backup-simplify]: Simplify 1 into 1
0.996 * [backup-simplify]: Simplify (/ 1 1) into 1
0.997 * [backup-simplify]: Simplify (+ 1 0) into 1
0.997 * [backup-simplify]: Simplify (- 1) into -1
0.998 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.998 * [backup-simplify]: Simplify (/ 1 -1) into -1
0.998 * [backup-simplify]: Simplify (log -1) into (log -1)
0.999 * [backup-simplify]: Simplify (log -1) into (log -1)
1.000 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.013 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.014 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.015 * [backup-simplify]: Simplify (- 0) into 0
1.016 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.019 * [backup-simplify]: Simplify (- (/ 1.0 -1) (+ (* -1 (/ 1.0 -1)))) into (- 2.0)
1.032 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 2.0)) 1)) (pow -1 1)))) 1) into 2.0
1.032 * [backup-simplify]: Simplify 2.0 into 2.0
1.043 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.044 * [backup-simplify]: Simplify (+ 0 0) into 0
1.045 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.046 * [backup-simplify]: Simplify (- 0) into 0
1.046 * [backup-simplify]: Simplify (+ 0 0) into 0
1.084 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* (- 2.0) (/ 1.0 -1)))) into (- 2.0)
1.121 * [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.121 * [backup-simplify]: Simplify 0 into 0
1.122 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.123 * [backup-simplify]: Simplify (+ 0 0) into 0
1.124 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.124 * [backup-simplify]: Simplify (- 0) into 0
1.125 * [backup-simplify]: Simplify (+ 0 0) into 0
1.132 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* (- 2.0) (/ 0 -1)) (* (- 2.0) (/ 1.0 -1)))) into (- 2.0)
1.168 * [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
1.168 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
1.169 * [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))))
1.169 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1.169 * [backup-simplify]: Simplify (/ (- 1.0 eps) (+ 1.0 eps)) into (/ (- 1.0 eps) (+ eps 1.0))
1.169 * [approximate]: Taking taylor expansion of (/ (- 1.0 eps) (+ eps 1.0)) in (eps) around 0
1.169 * [taylor]: Taking taylor expansion of (/ (- 1.0 eps) (+ eps 1.0)) in eps
1.169 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps
1.169 * [taylor]: Taking taylor expansion of 1.0 in eps
1.169 * [backup-simplify]: Simplify 1.0 into 1.0
1.169 * [taylor]: Taking taylor expansion of eps in eps
1.169 * [backup-simplify]: Simplify 0 into 0
1.169 * [backup-simplify]: Simplify 1 into 1
1.169 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps
1.169 * [taylor]: Taking taylor expansion of eps in eps
1.169 * [backup-simplify]: Simplify 0 into 0
1.169 * [backup-simplify]: Simplify 1 into 1
1.169 * [taylor]: Taking taylor expansion of 1.0 in eps
1.169 * [backup-simplify]: Simplify 1.0 into 1.0
1.170 * [backup-simplify]: Simplify (- 0) into 0
1.170 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.171 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.171 * [backup-simplify]: Simplify (/ 1.0 1.0) into 1.0
1.171 * [taylor]: Taking taylor expansion of (/ (- 1.0 eps) (+ eps 1.0)) in eps
1.171 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps
1.171 * [taylor]: Taking taylor expansion of 1.0 in eps
1.171 * [backup-simplify]: Simplify 1.0 into 1.0
1.171 * [taylor]: Taking taylor expansion of eps in eps
1.171 * [backup-simplify]: Simplify 0 into 0
1.171 * [backup-simplify]: Simplify 1 into 1
1.171 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps
1.171 * [taylor]: Taking taylor expansion of eps in eps
1.171 * [backup-simplify]: Simplify 0 into 0
1.171 * [backup-simplify]: Simplify 1 into 1
1.171 * [taylor]: Taking taylor expansion of 1.0 in eps
1.171 * [backup-simplify]: Simplify 1.0 into 1.0
1.172 * [backup-simplify]: Simplify (- 0) into 0
1.172 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.172 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.173 * [backup-simplify]: Simplify (/ 1.0 1.0) into 1.0
1.173 * [backup-simplify]: Simplify 1.0 into 1.0
1.180 * [backup-simplify]: Simplify (- 1) into -1
1.181 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.181 * [backup-simplify]: Simplify (+ 1 0) into 1
1.184 * [backup-simplify]: Simplify (- (/ -1 1.0) (+ (* 1.0 (/ 1 1.0)))) into (- 2.0)
1.185 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.185 * [backup-simplify]: Simplify (- 0) into 0
1.185 * [backup-simplify]: Simplify (+ 0 0) into 0
1.186 * [backup-simplify]: Simplify (+ 0 0) into 0
1.191 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* (- 2.0) (/ 1 1.0)))) into 2.0
1.192 * [backup-simplify]: Simplify 2.0 into 2.0
1.193 * [backup-simplify]: Simplify (+ (* 2.0 (pow eps 2)) (+ (* (- 2.0) eps) 1.0)) into (- (+ (* 2.0 (pow eps 2)) 1.0) (* 2.0 eps))
1.193 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 eps)) (+ 1.0 (/ 1 eps))) into (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0))
1.194 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in (eps) around 0
1.194 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in eps
1.194 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps
1.194 * [taylor]: Taking taylor expansion of 1.0 in eps
1.194 * [backup-simplify]: Simplify 1.0 into 1.0
1.194 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.194 * [taylor]: Taking taylor expansion of eps in eps
1.194 * [backup-simplify]: Simplify 0 into 0
1.194 * [backup-simplify]: Simplify 1 into 1
1.194 * [backup-simplify]: Simplify (/ 1 1) into 1
1.194 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps
1.194 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.195 * [taylor]: Taking taylor expansion of eps in eps
1.195 * [backup-simplify]: Simplify 0 into 0
1.195 * [backup-simplify]: Simplify 1 into 1
1.195 * [backup-simplify]: Simplify (/ 1 1) into 1
1.195 * [taylor]: Taking taylor expansion of 1.0 in eps
1.195 * [backup-simplify]: Simplify 1.0 into 1.0
1.195 * [backup-simplify]: Simplify (- 1) into -1
1.196 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.196 * [backup-simplify]: Simplify (+ 1 0) into 1
1.197 * [backup-simplify]: Simplify (/ -1 1) into -1
1.197 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in eps
1.197 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps
1.197 * [taylor]: Taking taylor expansion of 1.0 in eps
1.197 * [backup-simplify]: Simplify 1.0 into 1.0
1.197 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.197 * [taylor]: Taking taylor expansion of eps in eps
1.197 * [backup-simplify]: Simplify 0 into 0
1.197 * [backup-simplify]: Simplify 1 into 1
1.197 * [backup-simplify]: Simplify (/ 1 1) into 1
1.197 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps
1.197 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.198 * [taylor]: Taking taylor expansion of eps in eps
1.198 * [backup-simplify]: Simplify 0 into 0
1.198 * [backup-simplify]: Simplify 1 into 1
1.198 * [backup-simplify]: Simplify (/ 1 1) into 1
1.198 * [taylor]: Taking taylor expansion of 1.0 in eps
1.198 * [backup-simplify]: Simplify 1.0 into 1.0
1.198 * [backup-simplify]: Simplify (- 1) into -1
1.199 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.199 * [backup-simplify]: Simplify (+ 1 0) into 1
1.200 * [backup-simplify]: Simplify (/ -1 1) into -1
1.200 * [backup-simplify]: Simplify -1 into -1
1.201 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.202 * [backup-simplify]: Simplify (- 0) into 0
1.202 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.203 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.203 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.207 * [backup-simplify]: Simplify (- (/ 1.0 1) (+ (* -1 (/ 1.0 1)))) into 2.0
1.207 * [backup-simplify]: Simplify 2.0 into 2.0
1.216 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.216 * [backup-simplify]: Simplify (- 0) into 0
1.217 * [backup-simplify]: Simplify (+ 0 0) into 0
1.217 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.218 * [backup-simplify]: Simplify (+ 0 0) into 0
1.236 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2.0 (/ 1.0 1)))) into (- 2.0)
1.236 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.237 * [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))
1.237 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 (- eps))) (+ 1.0 (/ 1 (- eps)))) into (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps)))
1.237 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in (eps) around 0
1.237 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in eps
1.237 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps
1.237 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.237 * [taylor]: Taking taylor expansion of eps in eps
1.237 * [backup-simplify]: Simplify 0 into 0
1.237 * [backup-simplify]: Simplify 1 into 1
1.238 * [backup-simplify]: Simplify (/ 1 1) into 1
1.238 * [taylor]: Taking taylor expansion of 1.0 in eps
1.238 * [backup-simplify]: Simplify 1.0 into 1.0
1.238 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps
1.238 * [taylor]: Taking taylor expansion of 1.0 in eps
1.238 * [backup-simplify]: Simplify 1.0 into 1.0
1.238 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.238 * [taylor]: Taking taylor expansion of eps in eps
1.238 * [backup-simplify]: Simplify 0 into 0
1.238 * [backup-simplify]: Simplify 1 into 1
1.238 * [backup-simplify]: Simplify (/ 1 1) into 1
1.239 * [backup-simplify]: Simplify (+ 1 0) into 1
1.239 * [backup-simplify]: Simplify (- 1) into -1
1.240 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.252 * [backup-simplify]: Simplify (/ 1 -1) into -1
1.253 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in eps
1.253 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps
1.253 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.253 * [taylor]: Taking taylor expansion of eps in eps
1.253 * [backup-simplify]: Simplify 0 into 0
1.253 * [backup-simplify]: Simplify 1 into 1
1.253 * [backup-simplify]: Simplify (/ 1 1) into 1
1.253 * [taylor]: Taking taylor expansion of 1.0 in eps
1.253 * [backup-simplify]: Simplify 1.0 into 1.0
1.253 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps
1.254 * [taylor]: Taking taylor expansion of 1.0 in eps
1.254 * [backup-simplify]: Simplify 1.0 into 1.0
1.254 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
1.254 * [taylor]: Taking taylor expansion of eps in eps
1.254 * [backup-simplify]: Simplify 0 into 0
1.254 * [backup-simplify]: Simplify 1 into 1
1.254 * [backup-simplify]: Simplify (/ 1 1) into 1
1.255 * [backup-simplify]: Simplify (+ 1 0) into 1
1.255 * [backup-simplify]: Simplify (- 1) into -1
1.256 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.256 * [backup-simplify]: Simplify (/ 1 -1) into -1
1.256 * [backup-simplify]: Simplify -1 into -1
1.257 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.258 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.259 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.259 * [backup-simplify]: Simplify (- 0) into 0
1.260 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.263 * [backup-simplify]: Simplify (- (/ 1.0 -1) (+ (* -1 (/ 1.0 -1)))) into (- 2.0)
1.264 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.265 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.266 * [backup-simplify]: Simplify (+ 0 0) into 0
1.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.267 * [backup-simplify]: Simplify (- 0) into 0
1.267 * [backup-simplify]: Simplify (+ 0 0) into 0
1.287 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* (- 2.0) (/ 1.0 -1)))) into (- 2.0)
1.287 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.288 * [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))
1.288 * * * [progress]: simplifying candidates
1.292 * [simplify]: Simplifying:
  (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))))
  (- (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))
1.298 * * [simplify]: iteration 0: 143 enodes
1.384 * * [simplify]: iteration 1: 349 enodes
1.873 * * [simplify]: iteration 2: 843 enodes
4.225 * * [simplify]: iteration 3: 3081 enodes
8.559 * * [simplify]: iteration complete: 5002 enodes
8.561 * * [simplify]: Extracting #0: cost 84 inf + 0
8.594 * * [simplify]: Extracting #1: cost 701 inf + 2
8.640 * * [simplify]: Extracting #2: cost 1576 inf + 3628
8.683 * * [simplify]: Extracting #3: cost 1136 inf + 64866
9.023 * * [simplify]: Extracting #4: cost 426 inf + 182236
9.305 * * [simplify]: Extracting #5: cost 63 inf + 267480
9.641 * * [simplify]: Extracting #6: cost 21 inf + 280455
9.956 * * [simplify]: Extracting #7: cost 1 inf + 284249
10.183 * * [simplify]: Extracting #8: cost 0 inf + 284502
10.340 * [simplify]: Simplified to:
  (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)) (sqrt (+ 1.0 eps))) (cbrt (- 1.0 eps))))
  (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))))
  (+ (log (cbrt (- 1.0 eps))) (log (cbrt (- 1.0 eps))))
  (log (/ (cbrt (- 1.0 eps)) (+ 1.0 eps)))
  (+ (log (cbrt (- 1.0 eps))) (log (cbrt (- 1.0 eps))))
  (log (/ (cbrt (- 1.0 eps)) (+ 1.0 eps)))
  (log (/ (/ (sqrt (- 1.0 eps)) (cbrt (+ 1.0 eps))) (cbrt (+ 1.0 eps))))
  (log (/ (sqrt (- 1.0 eps)) (cbrt (+ 1.0 eps))))
  (log (/ (sqrt (- 1.0 eps)) (sqrt (+ 1.0 eps))))
  (log (/ (sqrt (- 1.0 eps)) (sqrt (+ 1.0 eps))))
  (log (sqrt (- 1.0 eps)))
  (log (/ (sqrt (- 1.0 eps)) (+ 1.0 eps)))
  (log (sqrt (- 1.0 eps)))
  (log (/ (sqrt (- 1.0 eps)) (+ 1.0 eps)))
  (- (- (log (cbrt (+ 1.0 eps)))) (log (cbrt (+ 1.0 eps))))
  (log (/ (- 1.0 eps) (cbrt (+ 1.0 eps))))
  (- (log (sqrt (+ 1.0 eps))))
  (log (/ (- 1.0 eps) (sqrt (+ 1.0 eps))))
  0
  (log (/ (- 1.0 eps) (+ 1.0 eps)))
  0
  (log (/ (- 1.0 eps) (+ 1.0 eps)))
  (log (/ (/ (+ (sqrt 1.0) (sqrt eps)) (cbrt (+ 1.0 eps))) (cbrt (+ 1.0 eps))))
  (log (/ (- (sqrt 1.0) (sqrt eps)) (cbrt (+ 1.0 eps))))
  (log (/ (+ (sqrt 1.0) (sqrt eps)) (sqrt (+ 1.0 eps))))
  (log (/ (- (sqrt 1.0) (sqrt eps)) (sqrt (+ 1.0 eps))))
  (log (+ (sqrt 1.0) (sqrt eps)))
  (log (/ (- (sqrt 1.0) (sqrt eps)) (+ 1.0 eps)))
  (log (+ (sqrt 1.0) (sqrt eps)))
  (log (/ (- (sqrt 1.0) (sqrt eps)) (+ 1.0 eps)))
  (- (- (log (cbrt (+ 1.0 eps)))) (log (cbrt (+ 1.0 eps))))
  (log (/ (- 1.0 eps) (cbrt (+ 1.0 eps))))
  (- (log (sqrt (+ 1.0 eps))))
  (log (/ (- 1.0 eps) (sqrt (+ 1.0 eps))))
  0
  (log (/ (- 1.0 eps) (+ 1.0 eps)))
  0
  (log (/ (- 1.0 eps) (+ 1.0 eps)))
  0
  (log (/ (- 1.0 eps) (+ 1.0 eps)))
  (log (- 1.0 eps))
  (- (log (+ 1.0 eps)))
  (log (/ (- 1.0 eps) (+ (* (* 1.0 1.0) 1.0) (* (* eps eps) eps))))
  (log (+ (* (- eps 1.0) eps) (* 1.0 1.0)))
  (log (/ (/ (- 1.0 eps) (+ 1.0 eps)) (- 1.0 eps)))
  (log (- 1.0 eps))
  (log (- 1.0 eps))
  (log (+ 1.0 eps))
  (log (/ (- 1.0 eps) (+ 1.0 eps)))
  (log (log (/ (- 1.0 eps) (+ 1.0 eps))))
  (/ (- 1.0 eps) (+ 1.0 eps))
  (* (cbrt (log (/ (- 1.0 eps) (+ 1.0 eps)))) (cbrt (log (/ (- 1.0 eps) (+ 1.0 eps)))))
  (cbrt (log (/ (- 1.0 eps) (+ 1.0 eps))))
  (* (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))))
  (log (/ (- 1.0 eps) (+ 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))
  (- (- eps) 1.0)
  (/ 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)) (sqrt (+ 1.0 eps))) (cbrt (- 1.0 eps)))
  (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))
  (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))
  (/ (cbrt (- 1.0 eps)) (+ 1.0 eps))
  (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))
  (/ (cbrt (- 1.0 eps)) (+ 1.0 eps))
  (/ (/ (sqrt (- 1.0 eps)) (cbrt (+ 1.0 eps))) (cbrt (+ 1.0 eps)))
  (/ (sqrt (- 1.0 eps)) (cbrt (+ 1.0 eps)))
  (/ (sqrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))
  (/ (sqrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))
  (sqrt (- 1.0 eps))
  (/ (sqrt (- 1.0 eps)) (+ 1.0 eps))
  (sqrt (- 1.0 eps))
  (/ (sqrt (- 1.0 eps)) (+ 1.0 eps))
  (/ 1 (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))
  (/ (- 1.0 eps) (cbrt (+ 1.0 eps)))
  (/ 1 (sqrt (+ 1.0 eps)))
  (/ (- 1.0 eps) (sqrt (+ 1.0 eps)))
  1
  (/ (- 1.0 eps) (+ 1.0 eps))
  1
  (/ (- 1.0 eps) (+ 1.0 eps))
  (/ (/ (+ (sqrt 1.0) (sqrt eps)) (cbrt (+ 1.0 eps))) (cbrt (+ 1.0 eps)))
  (/ (- (sqrt 1.0) (sqrt eps)) (cbrt (+ 1.0 eps)))
  (/ (+ (sqrt 1.0) (sqrt eps)) (sqrt (+ 1.0 eps)))
  (/ (- (sqrt 1.0) (sqrt eps)) (sqrt (+ 1.0 eps)))
  (+ (sqrt 1.0) (sqrt eps))
  (/ (- (sqrt 1.0) (sqrt eps)) (+ 1.0 eps))
  (+ (sqrt 1.0) (sqrt eps))
  (/ (- (sqrt 1.0) (sqrt eps)) (+ 1.0 eps))
  (/ 1 (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))
  (/ (- 1.0 eps) (cbrt (+ 1.0 eps)))
  (/ 1 (sqrt (+ 1.0 eps)))
  (/ (- 1.0 eps) (sqrt (+ 1.0 eps)))
  1
  (/ (- 1.0 eps) (+ 1.0 eps))
  1
  (/ (- 1.0 eps) (+ 1.0 eps))
  (/ 1 (+ 1.0 eps))
  (/ (+ 1.0 eps) (- 1.0 eps))
  (/ (/ (- 1.0 eps) (cbrt (+ 1.0 eps))) (cbrt (+ 1.0 eps)))
  (/ (- 1.0 eps) (sqrt (+ 1.0 eps)))
  (- 1.0 eps)
  (- 1.0 eps)
  (/ (+ 1.0 eps) (cbrt (- 1.0 eps)))
  (/ (+ 1.0 eps) (sqrt (- 1.0 eps)))
  (/ (+ 1.0 eps) (- 1.0 eps))
  (/ (+ 1.0 eps) (- (sqrt 1.0) (sqrt eps)))
  (/ (+ 1.0 eps) (- 1.0 eps))
  (/ (- 1.0 eps) (+ (* (* 1.0 1.0) 1.0) (* (* eps eps) eps)))
  (/ (/ (- 1.0 eps) (+ 1.0 eps)) (- 1.0 eps))
  (* (+ (* eps (+ 1.0 eps)) (* 1.0 1.0)) (+ 1.0 eps))
  (* (+ 1.0 eps) (+ 1.0 eps))
  (+ (log 1.0) (* 2.0 (- (* eps eps) (+ (* (/ eps 1.0) (/ eps 1.0)) eps))))
  (- (log -1) (+ (/ (/ 0.6666666666666666 eps) (* eps eps)) (/ 2.0 eps)))
  (- (log -1) (+ (/ (/ 0.6666666666666666 eps) (* eps eps)) (/ 2.0 eps)))
  (+ (* eps (- (* eps 2.0) 2.0)) 1.0)
  (+ (/ 2.0 eps) (- -1 (/ 2.0 (* eps eps))))
  (+ (/ 2.0 eps) (- -1 (/ 2.0 (* eps eps))))
10.397 * * * [progress]: adding candidates to table
11.880 * * [progress]: iteration 2 / 4
11.881 * * * [progress]: picking best candidate
12.176 * * * * [pick]: Picked  #<alt (λ (eps) (+ (log 1.0) (* 2.0 (- (* eps eps) (+ (* (/ eps 1.0) (/ eps 1.0)) eps)))))>
12.177 * * * [progress]: localizing error
12.242 * * * [progress]: generating rewritten candidates
12.246 * * * [progress]: generating series expansions
12.246 * * * [progress]: simplifying candidates
12.250 * [simplify]: Simplifying:
  
12.250 * * [simplify]: iteration 0: 0 enodes
12.251 * * [simplify]: iteration complete: 0 enodes
12.251 * * [simplify]: Extracting #0: cost 0 inf + 0
12.251 * [simplify]: Simplified to:
  
12.251 * * * [progress]: adding candidates to table
12.253 * * [progress]: iteration 3 / 4
12.253 * * * [progress]: picking best candidate
12.359 * * * * [pick]: Picked  #<alt (λ (eps) (- (log (- 1.0 eps)) (log (+ 1.0 eps))))>
12.359 * * * [progress]: localizing error
12.419 * * * [progress]: generating rewritten candidates
12.419 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
12.456 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
12.485 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
12.686 * * * [progress]: generating series expansions
12.686 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
12.686 * [backup-simplify]: Simplify (log (- 1.0 eps)) into (log (- 1.0 eps))
12.686 * [approximate]: Taking taylor expansion of (log (- 1.0 eps)) in (eps) around 0
12.686 * [taylor]: Taking taylor expansion of (log (- 1.0 eps)) in eps
12.687 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps
12.687 * [taylor]: Taking taylor expansion of 1.0 in eps
12.687 * [backup-simplify]: Simplify 1.0 into 1.0
12.687 * [taylor]: Taking taylor expansion of eps in eps
12.687 * [backup-simplify]: Simplify 0 into 0
12.687 * [backup-simplify]: Simplify 1 into 1
12.687 * [backup-simplify]: Simplify (- 0) into 0
12.688 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
12.688 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
12.688 * [taylor]: Taking taylor expansion of (log (- 1.0 eps)) in eps
12.688 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps
12.689 * [taylor]: Taking taylor expansion of 1.0 in eps
12.689 * [backup-simplify]: Simplify 1.0 into 1.0
12.689 * [taylor]: Taking taylor expansion of eps in eps
12.689 * [backup-simplify]: Simplify 0 into 0
12.689 * [backup-simplify]: Simplify 1 into 1
12.689 * [backup-simplify]: Simplify (- 0) into 0
12.690 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
12.690 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
12.691 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
12.691 * [backup-simplify]: Simplify (- 1) into -1
12.691 * [backup-simplify]: Simplify (+ 0 -1) into -1
12.698 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1.0 1)))) 1) into -1.0
12.698 * [backup-simplify]: Simplify -1.0 into -1.0
12.699 * [backup-simplify]: Simplify (- 0) into 0
12.700 * [backup-simplify]: Simplify (+ 0 0) into 0
12.711 * [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))
12.712 * [backup-simplify]: Simplify (/ -1/2 (pow 1.0 2)) into (/ -1/2 (pow 1.0 2))
12.714 * [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)))
12.714 * [backup-simplify]: Simplify (log (- 1.0 (/ 1 eps))) into (log (- 1.0 (/ 1 eps)))
12.714 * [approximate]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in (eps) around 0
12.714 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps
12.714 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps
12.714 * [taylor]: Taking taylor expansion of 1.0 in eps
12.714 * [backup-simplify]: Simplify 1.0 into 1.0
12.714 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
12.714 * [taylor]: Taking taylor expansion of eps in eps
12.714 * [backup-simplify]: Simplify 0 into 0
12.714 * [backup-simplify]: Simplify 1 into 1
12.714 * [backup-simplify]: Simplify (/ 1 1) into 1
12.715 * [backup-simplify]: Simplify (- 1) into -1
12.715 * [backup-simplify]: Simplify (+ 0 -1) into -1
12.715 * [backup-simplify]: Simplify (log -1) into (log -1)
12.715 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps
12.716 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps
12.716 * [taylor]: Taking taylor expansion of 1.0 in eps
12.716 * [backup-simplify]: Simplify 1.0 into 1.0
12.716 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
12.716 * [taylor]: Taking taylor expansion of eps in eps
12.716 * [backup-simplify]: Simplify 0 into 0
12.716 * [backup-simplify]: Simplify 1 into 1
12.716 * [backup-simplify]: Simplify (/ 1 1) into 1
12.716 * [backup-simplify]: Simplify (- 1) into -1
12.717 * [backup-simplify]: Simplify (+ 0 -1) into -1
12.717 * [backup-simplify]: Simplify (log -1) into (log -1)
12.718 * [backup-simplify]: Simplify (+ (* (- 1) (log eps)) (log -1)) into (- (log -1) (log eps))
12.719 * [backup-simplify]: Simplify (- (log -1) (log eps)) into (- (log -1) (log eps))
12.719 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.720 * [backup-simplify]: Simplify (- 0) into 0
12.720 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
12.728 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0
12.728 * [backup-simplify]: Simplify -1.0 into -1.0
12.729 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.729 * [backup-simplify]: Simplify (- 0) into 0
12.729 * [backup-simplify]: Simplify (+ 0 0) into 0
12.742 * [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
12.742 * [backup-simplify]: Simplify -0.5 into -0.5
12.743 * [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)))))
12.743 * [backup-simplify]: Simplify (log (- 1.0 (/ 1 (- eps)))) into (log (+ (/ 1 eps) 1.0))
12.743 * [approximate]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in (eps) around 0
12.743 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps
12.743 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps
12.743 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
12.743 * [taylor]: Taking taylor expansion of eps in eps
12.743 * [backup-simplify]: Simplify 0 into 0
12.743 * [backup-simplify]: Simplify 1 into 1
12.743 * [backup-simplify]: Simplify (/ 1 1) into 1
12.743 * [taylor]: Taking taylor expansion of 1.0 in eps
12.743 * [backup-simplify]: Simplify 1.0 into 1.0
12.744 * [backup-simplify]: Simplify (+ 1 0) into 1
12.744 * [backup-simplify]: Simplify (log 1) into 0
12.744 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps
12.744 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps
12.744 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
12.744 * [taylor]: Taking taylor expansion of eps in eps
12.744 * [backup-simplify]: Simplify 0 into 0
12.744 * [backup-simplify]: Simplify 1 into 1
12.745 * [backup-simplify]: Simplify (/ 1 1) into 1
12.745 * [taylor]: Taking taylor expansion of 1.0 in eps
12.745 * [backup-simplify]: Simplify 1.0 into 1.0
12.745 * [backup-simplify]: Simplify (+ 1 0) into 1
12.746 * [backup-simplify]: Simplify (log 1) into 0
12.746 * [backup-simplify]: Simplify (+ (* (- 1) (log eps)) 0) into (- (log eps))
12.746 * [backup-simplify]: Simplify (- (log eps)) into (- (log eps))
12.747 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.748 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
12.754 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
12.754 * [backup-simplify]: Simplify 1.0 into 1.0
12.755 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.756 * [backup-simplify]: Simplify (+ 0 0) into 0
12.769 * [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
12.769 * [backup-simplify]: Simplify -0.5 into -0.5
12.770 * [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)))))
12.770 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
12.771 * [backup-simplify]: Simplify (log (+ 1.0 eps)) into (log (+ eps 1.0))
12.771 * [approximate]: Taking taylor expansion of (log (+ eps 1.0)) in (eps) around 0
12.771 * [taylor]: Taking taylor expansion of (log (+ eps 1.0)) in eps
12.771 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps
12.771 * [taylor]: Taking taylor expansion of eps in eps
12.771 * [backup-simplify]: Simplify 0 into 0
12.771 * [backup-simplify]: Simplify 1 into 1
12.771 * [taylor]: Taking taylor expansion of 1.0 in eps
12.771 * [backup-simplify]: Simplify 1.0 into 1.0
12.772 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
12.773 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
12.773 * [taylor]: Taking taylor expansion of (log (+ eps 1.0)) in eps
12.773 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps
12.773 * [taylor]: Taking taylor expansion of eps in eps
12.773 * [backup-simplify]: Simplify 0 into 0
12.773 * [backup-simplify]: Simplify 1 into 1
12.773 * [taylor]: Taking taylor expansion of 1.0 in eps
12.773 * [backup-simplify]: Simplify 1.0 into 1.0
12.775 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
12.776 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
12.777 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
12.778 * [backup-simplify]: Simplify (+ 1 0) into 1
12.793 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0
12.793 * [backup-simplify]: Simplify 1.0 into 1.0
12.794 * [backup-simplify]: Simplify (+ 0 0) into 0
12.805 * [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))
12.807 * [backup-simplify]: Simplify (/ -1/2 (pow 1.0 2)) into (/ -1/2 (pow 1.0 2))
12.809 * [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))))
12.809 * [backup-simplify]: Simplify (log (+ 1.0 (/ 1 eps))) into (log (+ (/ 1 eps) 1.0))
12.809 * [approximate]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in (eps) around 0
12.809 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps
12.809 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps
12.809 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
12.809 * [taylor]: Taking taylor expansion of eps in eps
12.809 * [backup-simplify]: Simplify 0 into 0
12.809 * [backup-simplify]: Simplify 1 into 1
12.810 * [backup-simplify]: Simplify (/ 1 1) into 1
12.810 * [taylor]: Taking taylor expansion of 1.0 in eps
12.810 * [backup-simplify]: Simplify 1.0 into 1.0
12.810 * [backup-simplify]: Simplify (+ 1 0) into 1
12.811 * [backup-simplify]: Simplify (log 1) into 0
12.811 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps
12.811 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps
12.811 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
12.811 * [taylor]: Taking taylor expansion of eps in eps
12.811 * [backup-simplify]: Simplify 0 into 0
12.811 * [backup-simplify]: Simplify 1 into 1
12.811 * [backup-simplify]: Simplify (/ 1 1) into 1
12.811 * [taylor]: Taking taylor expansion of 1.0 in eps
12.811 * [backup-simplify]: Simplify 1.0 into 1.0
12.812 * [backup-simplify]: Simplify (+ 1 0) into 1
12.812 * [backup-simplify]: Simplify (log 1) into 0
12.813 * [backup-simplify]: Simplify (+ (* (- 1) (log eps)) 0) into (- (log eps))
12.813 * [backup-simplify]: Simplify (- (log eps)) into (- (log eps))
12.814 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.822 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
12.832 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
12.832 * [backup-simplify]: Simplify 1.0 into 1.0
12.833 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.834 * [backup-simplify]: Simplify (+ 0 0) into 0
13.082 * [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
13.082 * [backup-simplify]: Simplify -0.5 into -0.5
13.083 * [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))))
13.083 * [backup-simplify]: Simplify (log (+ 1.0 (/ 1 (- eps)))) into (log (- 1.0 (/ 1 eps)))
13.083 * [approximate]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in (eps) around 0
13.083 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps
13.083 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps
13.083 * [taylor]: Taking taylor expansion of 1.0 in eps
13.083 * [backup-simplify]: Simplify 1.0 into 1.0
13.083 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
13.083 * [taylor]: Taking taylor expansion of eps in eps
13.083 * [backup-simplify]: Simplify 0 into 0
13.084 * [backup-simplify]: Simplify 1 into 1
13.084 * [backup-simplify]: Simplify (/ 1 1) into 1
13.088 * [backup-simplify]: Simplify (- 1) into -1
13.089 * [backup-simplify]: Simplify (+ 0 -1) into -1
13.089 * [backup-simplify]: Simplify (log -1) into (log -1)
13.089 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps
13.089 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps
13.089 * [taylor]: Taking taylor expansion of 1.0 in eps
13.089 * [backup-simplify]: Simplify 1.0 into 1.0
13.089 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
13.089 * [taylor]: Taking taylor expansion of eps in eps
13.089 * [backup-simplify]: Simplify 0 into 0
13.089 * [backup-simplify]: Simplify 1 into 1
13.090 * [backup-simplify]: Simplify (/ 1 1) into 1
13.090 * [backup-simplify]: Simplify (- 1) into -1
13.091 * [backup-simplify]: Simplify (+ 0 -1) into -1
13.091 * [backup-simplify]: Simplify (log -1) into (log -1)
13.092 * [backup-simplify]: Simplify (+ (* (- 1) (log eps)) (log -1)) into (- (log -1) (log eps))
13.092 * [backup-simplify]: Simplify (- (log -1) (log eps)) into (- (log -1) (log eps))
13.094 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.094 * [backup-simplify]: Simplify (- 0) into 0
13.095 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
13.101 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0
13.101 * [backup-simplify]: Simplify -1.0 into -1.0
13.102 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.103 * [backup-simplify]: Simplify (- 0) into 0
13.103 * [backup-simplify]: Simplify (+ 0 0) into 0
13.124 * [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
13.125 * [backup-simplify]: Simplify -0.5 into -0.5
13.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)))))
13.128 * * * * [progress]: [ 3 / 3 ] generating series at (2)
13.129 * [backup-simplify]: Simplify (- (log (- 1.0 eps)) (log (+ 1.0 eps))) into (- (log (- 1.0 eps)) (log (+ eps 1.0)))
13.129 * [approximate]: Taking taylor expansion of (- (log (- 1.0 eps)) (log (+ eps 1.0))) in (eps) around 0
13.129 * [taylor]: Taking taylor expansion of (- (log (- 1.0 eps)) (log (+ eps 1.0))) in eps
13.129 * [taylor]: Taking taylor expansion of (log (- 1.0 eps)) in eps
13.129 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps
13.129 * [taylor]: Taking taylor expansion of 1.0 in eps
13.129 * [backup-simplify]: Simplify 1.0 into 1.0
13.129 * [taylor]: Taking taylor expansion of eps in eps
13.129 * [backup-simplify]: Simplify 0 into 0
13.129 * [backup-simplify]: Simplify 1 into 1
13.131 * [backup-simplify]: Simplify (- 0) into 0
13.132 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
13.132 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
13.132 * [taylor]: Taking taylor expansion of (log (+ eps 1.0)) in eps
13.132 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps
13.132 * [taylor]: Taking taylor expansion of eps in eps
13.132 * [backup-simplify]: Simplify 0 into 0
13.132 * [backup-simplify]: Simplify 1 into 1
13.133 * [taylor]: Taking taylor expansion of 1.0 in eps
13.133 * [backup-simplify]: Simplify 1.0 into 1.0
13.133 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
13.134 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
13.134 * [taylor]: Taking taylor expansion of (- (log (- 1.0 eps)) (log (+ eps 1.0))) in eps
13.134 * [taylor]: Taking taylor expansion of (log (- 1.0 eps)) in eps
13.134 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps
13.134 * [taylor]: Taking taylor expansion of 1.0 in eps
13.134 * [backup-simplify]: Simplify 1.0 into 1.0
13.134 * [taylor]: Taking taylor expansion of eps in eps
13.134 * [backup-simplify]: Simplify 0 into 0
13.134 * [backup-simplify]: Simplify 1 into 1
13.135 * [backup-simplify]: Simplify (- 0) into 0
13.135 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
13.136 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
13.136 * [taylor]: Taking taylor expansion of (log (+ eps 1.0)) in eps
13.136 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps
13.136 * [taylor]: Taking taylor expansion of eps in eps
13.136 * [backup-simplify]: Simplify 0 into 0
13.136 * [backup-simplify]: Simplify 1 into 1
13.136 * [taylor]: Taking taylor expansion of 1.0 in eps
13.136 * [backup-simplify]: Simplify 1.0 into 1.0
13.137 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
13.137 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
13.138 * [backup-simplify]: Simplify (- (log 1.0)) into (- (log 1.0))
13.140 * [backup-simplify]: Simplify (+ (log 1.0) (- (log 1.0))) into 0
13.140 * [backup-simplify]: Simplify 0 into 0
13.141 * [backup-simplify]: Simplify (- 1) into -1
13.141 * [backup-simplify]: Simplify (+ 0 -1) into -1
13.147 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1.0 1)))) 1) into -1.0
13.148 * [backup-simplify]: Simplify (+ 1 0) into 1
13.154 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0
13.155 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
13.157 * [backup-simplify]: Simplify (+ -1.0 (- 1.0)) into (- 2.0)
13.157 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
13.158 * [backup-simplify]: Simplify (- 0) into 0
13.158 * [backup-simplify]: Simplify (+ 0 0) into 0
13.174 * [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))
13.174 * [backup-simplify]: Simplify (+ 0 0) into 0
13.187 * [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))
13.190 * [backup-simplify]: Simplify (- (/ -1/2 (pow 1.0 2))) into (* 1/2 (/ 1 (pow 1.0 2)))
13.195 * [backup-simplify]: Simplify (+ (/ -1/2 (pow 1.0 2)) (* 1/2 (/ 1 (pow 1.0 2)))) into 0
13.195 * [backup-simplify]: Simplify 0 into 0
13.195 * [backup-simplify]: Simplify (- 0) into 0
13.196 * [backup-simplify]: Simplify (+ 0 0) into 0
13.216 * [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))
13.217 * [backup-simplify]: Simplify (+ 0 0) into 0
13.235 * [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))
13.238 * [backup-simplify]: Simplify (- (/ 1/3 (pow 1.0 3))) into (- (* 1/3 (/ 1 (pow 1.0 3))))
13.244 * [backup-simplify]: Simplify (+ (/ -1/3 (pow 1.0 3)) (- (* 1/3 (/ 1 (pow 1.0 3))))) into (- (* 2/3 (/ 1 (pow 1.0 3))))
13.247 * [backup-simplify]: Simplify (- (* 2/3 (/ 1 (pow 1.0 3)))) into (- (* 2/3 (/ 1 (pow 1.0 3))))
13.248 * [backup-simplify]: Simplify (- 0) into 0
13.248 * [backup-simplify]: Simplify (+ 0 0) into 0
13.295 * [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))
13.295 * [backup-simplify]: Simplify (+ 0 0) into 0
13.331 * [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))
13.333 * [backup-simplify]: Simplify (- (/ -1/4 (pow 1.0 4))) into (* 1/4 (/ 1 (pow 1.0 4)))
13.338 * [backup-simplify]: Simplify (+ (/ -1/4 (pow 1.0 4)) (* 1/4 (/ 1 (pow 1.0 4)))) into 0
13.338 * [backup-simplify]: Simplify 0 into 0
13.338 * [backup-simplify]: Simplify (- 0) into 0
13.339 * [backup-simplify]: Simplify (+ 0 0) into 0
13.395 * [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))
13.396 * [backup-simplify]: Simplify (+ 0 0) into 0
13.463 * [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))
13.465 * [backup-simplify]: Simplify (- (/ 1/5 (pow 1.0 5))) into (- (* 1/5 (/ 1 (pow 1.0 5))))
13.476 * [backup-simplify]: Simplify (+ (/ -1/5 (pow 1.0 5)) (- (* 1/5 (/ 1 (pow 1.0 5))))) into (- (* 2/5 (/ 1 (pow 1.0 5))))
13.482 * [backup-simplify]: Simplify (- (* 2/5 (/ 1 (pow 1.0 5)))) into (- (* 2/5 (/ 1 (pow 1.0 5))))
13.489 * [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))))
13.489 * [backup-simplify]: Simplify (- (log (- 1.0 (/ 1 eps))) (log (+ 1.0 (/ 1 eps)))) into (- (log (- 1.0 (/ 1 eps))) (log (+ (/ 1 eps) 1.0)))
13.489 * [approximate]: Taking taylor expansion of (- (log (- 1.0 (/ 1 eps))) (log (+ (/ 1 eps) 1.0))) in (eps) around 0
13.489 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 eps))) (log (+ (/ 1 eps) 1.0))) in eps
13.489 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps
13.490 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps
13.490 * [taylor]: Taking taylor expansion of 1.0 in eps
13.490 * [backup-simplify]: Simplify 1.0 into 1.0
13.490 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
13.490 * [taylor]: Taking taylor expansion of eps in eps
13.490 * [backup-simplify]: Simplify 0 into 0
13.490 * [backup-simplify]: Simplify 1 into 1
13.490 * [backup-simplify]: Simplify (/ 1 1) into 1
13.491 * [backup-simplify]: Simplify (- 1) into -1
13.491 * [backup-simplify]: Simplify (+ 0 -1) into -1
13.492 * [backup-simplify]: Simplify (log -1) into (log -1)
13.492 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps
13.492 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps
13.492 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
13.492 * [taylor]: Taking taylor expansion of eps in eps
13.492 * [backup-simplify]: Simplify 0 into 0
13.492 * [backup-simplify]: Simplify 1 into 1
13.492 * [backup-simplify]: Simplify (/ 1 1) into 1
13.492 * [taylor]: Taking taylor expansion of 1.0 in eps
13.492 * [backup-simplify]: Simplify 1.0 into 1.0
13.493 * [backup-simplify]: Simplify (+ 1 0) into 1
13.493 * [backup-simplify]: Simplify (log 1) into 0
13.493 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 eps))) (log (+ (/ 1 eps) 1.0))) in eps
13.493 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps
13.493 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps
13.493 * [taylor]: Taking taylor expansion of 1.0 in eps
13.493 * [backup-simplify]: Simplify 1.0 into 1.0
13.493 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
13.494 * [taylor]: Taking taylor expansion of eps in eps
13.494 * [backup-simplify]: Simplify 0 into 0
13.494 * [backup-simplify]: Simplify 1 into 1
13.494 * [backup-simplify]: Simplify (/ 1 1) into 1
13.494 * [backup-simplify]: Simplify (- 1) into -1
13.495 * [backup-simplify]: Simplify (+ 0 -1) into -1
13.495 * [backup-simplify]: Simplify (log -1) into (log -1)
13.495 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps
13.495 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps
13.495 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
13.496 * [taylor]: Taking taylor expansion of eps in eps
13.496 * [backup-simplify]: Simplify 0 into 0
13.496 * [backup-simplify]: Simplify 1 into 1
13.496 * [backup-simplify]: Simplify (/ 1 1) into 1
13.496 * [taylor]: Taking taylor expansion of 1.0 in eps
13.496 * [backup-simplify]: Simplify 1.0 into 1.0
13.497 * [backup-simplify]: Simplify (+ 1 0) into 1
13.497 * [backup-simplify]: Simplify (log 1) into 0
13.498 * [backup-simplify]: Simplify (+ (* (- 1) (log eps)) (log -1)) into (- (log -1) (log eps))
13.499 * [backup-simplify]: Simplify (+ (* (- 1) (log eps)) 0) into (- (log eps))
13.499 * [backup-simplify]: Simplify (- (- (log eps))) into (log eps)
13.499 * [backup-simplify]: Simplify (+ (- (log -1) (log eps)) (log eps)) into (log -1)
13.500 * [backup-simplify]: Simplify (log -1) into (log -1)
13.501 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.501 * [backup-simplify]: Simplify (- 0) into 0
13.501 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
13.509 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0
13.510 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.510 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
13.518 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
13.519 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
13.519 * [backup-simplify]: Simplify (+ -1.0 (- 1.0)) into (- 2.0)
13.520 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
13.521 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.521 * [backup-simplify]: Simplify (- 0) into 0
13.522 * [backup-simplify]: Simplify (+ 0 0) into 0
13.535 * [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
13.536 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.537 * [backup-simplify]: Simplify (+ 0 0) into 0
13.569 * [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
13.570 * [backup-simplify]: Simplify (- -0.5) into 0.5
13.571 * [backup-simplify]: Simplify (+ -0.5 0.5) into 0
13.571 * [backup-simplify]: Simplify 0 into 0
13.577 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.578 * [backup-simplify]: Simplify (- 0) into 0
13.578 * [backup-simplify]: Simplify (+ 0 0) into 0
13.603 * [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
13.604 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.605 * [backup-simplify]: Simplify (+ 0 0) into 0
13.626 * [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
13.626 * [backup-simplify]: Simplify (- 0.3333333333333333) into (- 0.3333333333333333)
13.627 * [backup-simplify]: Simplify (+ -0.3333333333333333 (- 0.3333333333333333)) into (- 0.6666666666666666)
13.628 * [backup-simplify]: Simplify (- 0.6666666666666666) into (- 0.6666666666666666)
13.630 * [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))))
13.630 * [backup-simplify]: Simplify (- (log (- 1.0 (/ 1 (- eps)))) (log (+ 1.0 (/ 1 (- eps))))) into (- (log (+ (/ 1 eps) 1.0)) (log (- 1.0 (/ 1 eps))))
13.630 * [approximate]: Taking taylor expansion of (- (log (+ (/ 1 eps) 1.0)) (log (- 1.0 (/ 1 eps)))) in (eps) around 0
13.630 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 eps) 1.0)) (log (- 1.0 (/ 1 eps)))) in eps
13.630 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps
13.630 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps
13.630 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
13.630 * [taylor]: Taking taylor expansion of eps in eps
13.630 * [backup-simplify]: Simplify 0 into 0
13.630 * [backup-simplify]: Simplify 1 into 1
13.631 * [backup-simplify]: Simplify (/ 1 1) into 1
13.631 * [taylor]: Taking taylor expansion of 1.0 in eps
13.631 * [backup-simplify]: Simplify 1.0 into 1.0
13.631 * [backup-simplify]: Simplify (+ 1 0) into 1
13.631 * [backup-simplify]: Simplify (log 1) into 0
13.631 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps
13.631 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps
13.631 * [taylor]: Taking taylor expansion of 1.0 in eps
13.631 * [backup-simplify]: Simplify 1.0 into 1.0
13.631 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
13.631 * [taylor]: Taking taylor expansion of eps in eps
13.631 * [backup-simplify]: Simplify 0 into 0
13.631 * [backup-simplify]: Simplify 1 into 1
13.632 * [backup-simplify]: Simplify (/ 1 1) into 1
13.632 * [backup-simplify]: Simplify (- 1) into -1
13.641 * [backup-simplify]: Simplify (+ 0 -1) into -1
13.641 * [backup-simplify]: Simplify (log -1) into (log -1)
13.642 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 eps) 1.0)) (log (- 1.0 (/ 1 eps)))) in eps
13.642 * [taylor]: Taking taylor expansion of (log (+ (/ 1 eps) 1.0)) in eps
13.642 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps
13.642 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
13.642 * [taylor]: Taking taylor expansion of eps in eps
13.642 * [backup-simplify]: Simplify 0 into 0
13.642 * [backup-simplify]: Simplify 1 into 1
13.642 * [backup-simplify]: Simplify (/ 1 1) into 1
13.642 * [taylor]: Taking taylor expansion of 1.0 in eps
13.642 * [backup-simplify]: Simplify 1.0 into 1.0
13.643 * [backup-simplify]: Simplify (+ 1 0) into 1
13.643 * [backup-simplify]: Simplify (log 1) into 0
13.643 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 eps))) in eps
13.643 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps
13.643 * [taylor]: Taking taylor expansion of 1.0 in eps
13.643 * [backup-simplify]: Simplify 1.0 into 1.0
13.643 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps
13.643 * [taylor]: Taking taylor expansion of eps in eps
13.643 * [backup-simplify]: Simplify 0 into 0
13.643 * [backup-simplify]: Simplify 1 into 1
13.644 * [backup-simplify]: Simplify (/ 1 1) into 1
13.644 * [backup-simplify]: Simplify (- 1) into -1
13.645 * [backup-simplify]: Simplify (+ 0 -1) into -1
13.645 * [backup-simplify]: Simplify (log -1) into (log -1)
13.646 * [backup-simplify]: Simplify (+ (* (- 1) (log eps)) 0) into (- (log eps))
13.647 * [backup-simplify]: Simplify (+ (* (- 1) (log eps)) (log -1)) into (- (log -1) (log eps))
13.647 * [backup-simplify]: Simplify (- (- (log -1) (log eps))) into (- (log eps) (log -1))
13.648 * [backup-simplify]: Simplify (+ (- (log eps)) (- (log eps) (log -1))) into (- (log -1))
13.657 * [backup-simplify]: Simplify (- (log -1)) into (- (log -1))
13.658 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.659 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
13.679 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
13.680 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.685 * [backup-simplify]: Simplify (- 0) into 0
13.686 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
13.693 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0
13.701 * [backup-simplify]: Simplify (- -1.0) into 1.0
13.702 * [backup-simplify]: Simplify (+ 1.0 1.0) into 2.0
13.702 * [backup-simplify]: Simplify 2.0 into 2.0
13.703 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.704 * [backup-simplify]: Simplify (+ 0 0) into 0
13.717 * [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
13.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.719 * [backup-simplify]: Simplify (- 0) into 0
13.719 * [backup-simplify]: Simplify (+ 0 0) into 0
13.740 * [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
13.741 * [backup-simplify]: Simplify (- -0.5) into 0.5
13.741 * [backup-simplify]: Simplify (+ -0.5 0.5) into 0
13.741 * [backup-simplify]: Simplify 0 into 0
13.743 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.743 * [backup-simplify]: Simplify (+ 0 0) into 0
13.816 * [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
13.818 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.819 * [backup-simplify]: Simplify (- 0) into 0
13.819 * [backup-simplify]: Simplify (+ 0 0) into 0
13.878 * [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
13.878 * [backup-simplify]: Simplify (- -0.3333333333333333) into 0.3333333333333333
13.879 * [backup-simplify]: Simplify (+ 0.3333333333333333 0.3333333333333333) into 0.6666666666666666
13.879 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
13.880 * [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)))))
13.885 * * * [progress]: simplifying candidates
13.894 * [simplify]: Simplifying:
  (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)))
  (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)))
  (/ (- 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)))))
13.900 * * [simplify]: iteration 0: 142 enodes
14.062 * * [simplify]: iteration 1: 313 enodes
14.586 * * [simplify]: iteration 2: 779 enodes
17.258 * * [simplify]: iteration 3: 2554 enodes
20.736 * * [simplify]: iteration complete: 5000 enodes
20.736 * * [simplify]: Extracting #0: cost 59 inf + 0
20.737 * * [simplify]: Extracting #1: cost 265 inf + 1
20.742 * * [simplify]: Extracting #2: cost 930 inf + 468
20.757 * * [simplify]: Extracting #3: cost 1539 inf + 26288
20.814 * * [simplify]: Extracting #4: cost 734 inf + 239263
20.932 * * [simplify]: Extracting #5: cost 187 inf + 416084
21.164 * * [simplify]: Extracting #6: cost 22 inf + 500451
21.339 * * [simplify]: Extracting #7: cost 0 inf + 512067
21.500 * [simplify]: Simplified to:
  (log (* (cbrt (- 1.0 eps)) (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 (+ (* eps (+ eps 1.0)) (* 1.0 1.0)))
  (log (* (+ eps 1.0) (- 1.0 eps)))
  (log (+ eps 1.0))
  (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 (cbrt (+ eps 1.0))) (log (cbrt (+ eps 1.0))))
  (log (cbrt (+ eps 1.0)))
  (log (sqrt (+ eps 1.0)))
  (log (sqrt (+ eps 1.0)))
  0
  (log (+ eps 1.0))
  0
  (log (+ eps 1.0))
  (log (+ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0)))
  (log (+ (* 1.0 1.0) (* (- eps 1.0) eps)))
  (log (* (+ eps 1.0) (- 1.0 eps)))
  (log (- 1.0 eps))
  (log (+ eps 1.0))
  (log (log (+ eps 1.0)))
  (+ eps 1.0)
  (* (cbrt (log (+ eps 1.0))) (cbrt (log (+ eps 1.0))))
  (cbrt (log (+ eps 1.0)))
  (* (log (+ eps 1.0)) (* (log (+ eps 1.0)) (log (+ eps 1.0))))
  (sqrt (log (+ eps 1.0)))
  (sqrt (log (+ eps 1.0)))
  (/ (- 1.0 eps) (+ eps 1.0))
  (log (- (log (- 1.0 eps)) (log (+ eps 1.0))))
  (/ (- 1.0 eps) (+ eps 1.0))
  (* (cbrt (- (log (- 1.0 eps)) (log (+ eps 1.0)))) (cbrt (- (log (- 1.0 eps)) (log (+ eps 1.0)))))
  (cbrt (- (log (- 1.0 eps)) (log (+ eps 1.0))))
  (* (* (- (log (- 1.0 eps)) (log (+ eps 1.0))) (- (log (- 1.0 eps)) (log (+ eps 1.0)))) (- (log (- 1.0 eps)) (log (+ eps 1.0))))
  (sqrt (- (log (- 1.0 eps)) (log (+ eps 1.0))))
  (sqrt (- (log (- 1.0 eps)) (log (+ eps 1.0))))
  (- (* (* (log (- 1.0 eps)) (log (- 1.0 eps))) (log (- 1.0 eps))) (* (log (+ eps 1.0)) (* (log (+ eps 1.0)) (log (+ eps 1.0)))))
  (+ (+ (* (log (- 1.0 eps)) (log (- 1.0 eps))) (* (log (+ eps 1.0)) (log (+ eps 1.0)))) (* (log (- 1.0 eps)) (log (+ eps 1.0))))
  (- (log (+ eps 1.0)))
  (* (+ (log (- 1.0 eps)) (log (+ eps 1.0))) (- (log (- 1.0 eps)) (log (+ eps 1.0))))
  (log (* (+ eps 1.0) (- 1.0 eps)))
  (+ (sqrt (log (- 1.0 eps))) (sqrt (log (+ eps 1.0))))
  (- (sqrt (log (- 1.0 eps))) (sqrt (log (+ eps 1.0))))
  (- (log (- 1.0 eps)) (log (+ eps 1.0)))
  (- (log (- 1.0 eps)) (log (+ eps 1.0)))
  (- (log (- 1.0 eps)) (log (+ eps 1.0)))
  (- (log (- 1.0 eps)) (log (+ eps 1.0)))
  (- (log (- 1.0 eps)) (+ (log (cbrt (+ eps 1.0))) (log (cbrt (+ eps 1.0)))))
  (- (log (- 1.0 eps)) (log (sqrt (+ eps 1.0))))
  (log (- 1.0 eps))
  (log (- 1.0 eps))
  (- (log (cbrt (- 1.0 eps))) (log (+ eps 1.0)))
  (- (log (sqrt (- 1.0 eps))) (log (+ eps 1.0)))
  (- (log (- 1.0 eps)) (log (+ eps 1.0)))
  (- (log (- (sqrt 1.0) (sqrt eps))) (log (+ eps 1.0)))
  (- (log (- 1.0 eps)) (log (+ eps 1.0)))
  (+ (log (+ eps 1.0)) (log (+ (* eps (+ eps 1.0)) (* 1.0 1.0))))
  (+ (log (+ eps 1.0)) (log (+ eps 1.0)))
  (- (log (- 1.0 eps)) (log (+ (* (* eps eps) eps) (* (* 1.0 1.0) 1.0))))
  (- (log (- 1.0 eps)) (log (* (+ eps 1.0) (- 1.0 eps))))
  (- (log (+ eps 1.0)))
  (- (log 1.0) (+ (* 1/2 (* (/ eps 1.0) (/ eps 1.0))) (* eps 1.0)))
  (+ (log -1) (- (log eps) (+ (/ 0.5 (* eps eps)) (/ 1.0 eps))))
  (- (- (+ (log (/ -1 eps)) (/ 0.5 (* eps eps)))) (/ 1.0 eps))
  (- (* eps 1.0) (- (* 1/2 (* (/ eps 1.0) (/ eps 1.0))) (log 1.0)))
  (- (+ (/ 1.0 eps) (log eps)) (/ 0.5 (* eps eps)))
  (- (- (/ 1.0 eps) (log (/ -1 eps))) (- (/ 0.5 (* eps eps)) (log -1)))
  (- (- (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) -2/3) (* eps 2.0)) (* (/ 2/5 (pow 1.0 5)) (pow eps 5)))
  (- (log -1) (+ (/ 0.6666666666666666 (* (* eps eps) eps)) (/ 2.0 eps)))
  (- (- (- (log -1)) (/ 0.6666666666666666 (* (* eps eps) eps))) (/ 2.0 eps))
21.507 * * * [progress]: adding candidates to table
22.391 * * [progress]: iteration 4 / 4
22.391 * * * [progress]: picking best candidate
22.403 * * * * [pick]: Picked  #<alt (λ (eps) (- (- (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) -2/3) (* eps 2.0)) (* (/ 2/5 (pow 1.0 5)) (pow eps 5))))>
22.403 * * * [progress]: localizing error
22.463 * * * [progress]: generating rewritten candidates
22.464 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
24.048 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1)
24.145 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
24.287 * * * [progress]: generating series expansions
24.288 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
24.288 * [backup-simplify]: Simplify (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) -2/3) into (* -0.6666666666666666 (pow eps 3))
24.288 * [approximate]: Taking taylor expansion of (* -0.6666666666666666 (pow eps 3)) in (eps) around 0
24.288 * [taylor]: Taking taylor expansion of (* -0.6666666666666666 (pow eps 3)) in eps
24.288 * [taylor]: Taking taylor expansion of -0.6666666666666666 in eps
24.288 * [backup-simplify]: Simplify -0.6666666666666666 into -0.6666666666666666
24.288 * [taylor]: Taking taylor expansion of (pow eps 3) in eps
24.288 * [taylor]: Taking taylor expansion of eps in eps
24.288 * [backup-simplify]: Simplify 0 into 0
24.288 * [backup-simplify]: Simplify 1 into 1
24.288 * [taylor]: Taking taylor expansion of (* -0.6666666666666666 (pow eps 3)) in eps
24.288 * [taylor]: Taking taylor expansion of -0.6666666666666666 in eps
24.288 * [backup-simplify]: Simplify -0.6666666666666666 into -0.6666666666666666
24.288 * [taylor]: Taking taylor expansion of (pow eps 3) in eps
24.288 * [taylor]: Taking taylor expansion of eps in eps
24.288 * [backup-simplify]: Simplify 0 into 0
24.288 * [backup-simplify]: Simplify 1 into 1
24.290 * [backup-simplify]: Simplify (* 1 1) into 1
24.290 * [backup-simplify]: Simplify (* 1 1) into 1
24.291 * [backup-simplify]: Simplify (* -0.6666666666666666 1) into -0.6666666666666666
24.291 * [backup-simplify]: Simplify -0.6666666666666666 into -0.6666666666666666
24.292 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.294 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.294 * [backup-simplify]: Simplify (+ (* -0.6666666666666666 0) (* 0 1)) into 0
24.294 * [backup-simplify]: Simplify 0 into 0
24.295 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.298 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.299 * [backup-simplify]: Simplify (+ (* -0.6666666666666666 0) (+ (* 0 0) (* 0 1))) into 0
24.299 * [backup-simplify]: Simplify 0 into 0
24.301 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.302 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.307 * [backup-simplify]: Simplify (+ (* -0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.307 * [backup-simplify]: Simplify 0 into 0
24.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
24.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
24.329 * [backup-simplify]: Simplify (+ (* -0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
24.329 * [backup-simplify]: Simplify 0 into 0
24.331 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
24.341 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
24.342 * [backup-simplify]: Simplify (+ (* -0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
24.342 * [backup-simplify]: Simplify 0 into 0
24.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
24.367 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
24.369 * [backup-simplify]: Simplify (+ (* -0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
24.369 * [backup-simplify]: Simplify 0 into 0
24.369 * [backup-simplify]: Simplify (* -0.6666666666666666 (pow eps 3)) into (* -0.6666666666666666 (pow eps 3))
24.370 * [backup-simplify]: Simplify (* (* (/ (/ 1 eps) 1.0) (* (/ (/ 1 eps) 1.0) (/ (/ 1 eps) 1.0))) -2/3) into (/ -0.6666666666666666 (pow eps 3))
24.370 * [approximate]: Taking taylor expansion of (/ -0.6666666666666666 (pow eps 3)) in (eps) around 0
24.370 * [taylor]: Taking taylor expansion of (/ -0.6666666666666666 (pow eps 3)) in eps
24.370 * [taylor]: Taking taylor expansion of -0.6666666666666666 in eps
24.370 * [backup-simplify]: Simplify -0.6666666666666666 into -0.6666666666666666
24.370 * [taylor]: Taking taylor expansion of (pow eps 3) in eps
24.370 * [taylor]: Taking taylor expansion of eps in eps
24.370 * [backup-simplify]: Simplify 0 into 0
24.370 * [backup-simplify]: Simplify 1 into 1
24.371 * [backup-simplify]: Simplify (* 1 1) into 1
24.371 * [backup-simplify]: Simplify (* 1 1) into 1
24.372 * [backup-simplify]: Simplify (/ -0.6666666666666666 1) into -0.6666666666666666
24.372 * [taylor]: Taking taylor expansion of (/ -0.6666666666666666 (pow eps 3)) in eps
24.372 * [taylor]: Taking taylor expansion of -0.6666666666666666 in eps
24.372 * [backup-simplify]: Simplify -0.6666666666666666 into -0.6666666666666666
24.372 * [taylor]: Taking taylor expansion of (pow eps 3) in eps
24.372 * [taylor]: Taking taylor expansion of eps in eps
24.372 * [backup-simplify]: Simplify 0 into 0
24.372 * [backup-simplify]: Simplify 1 into 1
24.373 * [backup-simplify]: Simplify (* 1 1) into 1
24.373 * [backup-simplify]: Simplify (* 1 1) into 1
24.374 * [backup-simplify]: Simplify (/ -0.6666666666666666 1) into -0.6666666666666666
24.374 * [backup-simplify]: Simplify -0.6666666666666666 into -0.6666666666666666
24.375 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.375 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.377 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.6666666666666666 (/ 0 1)))) into 0
24.377 * [backup-simplify]: Simplify 0 into 0
24.378 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.379 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.380 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.6666666666666666 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.380 * [backup-simplify]: Simplify 0 into 0
24.381 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.383 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.6666666666666666 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.383 * [backup-simplify]: Simplify 0 into 0
24.384 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
24.386 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
24.387 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.6666666666666666 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.387 * [backup-simplify]: Simplify 0 into 0
24.388 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
24.390 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
24.391 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.6666666666666666 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.391 * [backup-simplify]: Simplify 0 into 0
24.393 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
24.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
24.394 * [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
24.394 * [backup-simplify]: Simplify 0 into 0
24.395 * [backup-simplify]: Simplify (* -0.6666666666666666 (pow (/ 1 (/ 1 eps)) 3)) into (* -0.6666666666666666 (pow eps 3))
24.395 * [backup-simplify]: Simplify (* (* (/ (/ 1 (- eps)) 1.0) (* (/ (/ 1 (- eps)) 1.0) (/ (/ 1 (- eps)) 1.0))) -2/3) into (/ 0.6666666666666666 (pow eps 3))
24.395 * [approximate]: Taking taylor expansion of (/ 0.6666666666666666 (pow eps 3)) in (eps) around 0
24.395 * [taylor]: Taking taylor expansion of (/ 0.6666666666666666 (pow eps 3)) in eps
24.395 * [taylor]: Taking taylor expansion of 0.6666666666666666 in eps
24.395 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
24.395 * [taylor]: Taking taylor expansion of (pow eps 3) in eps
24.395 * [taylor]: Taking taylor expansion of eps in eps
24.395 * [backup-simplify]: Simplify 0 into 0
24.395 * [backup-simplify]: Simplify 1 into 1
24.395 * [backup-simplify]: Simplify (* 1 1) into 1
24.395 * [backup-simplify]: Simplify (* 1 1) into 1
24.396 * [backup-simplify]: Simplify (/ 0.6666666666666666 1) into 0.6666666666666666
24.396 * [taylor]: Taking taylor expansion of (/ 0.6666666666666666 (pow eps 3)) in eps
24.396 * [taylor]: Taking taylor expansion of 0.6666666666666666 in eps
24.396 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
24.396 * [taylor]: Taking taylor expansion of (pow eps 3) in eps
24.396 * [taylor]: Taking taylor expansion of eps in eps
24.396 * [backup-simplify]: Simplify 0 into 0
24.396 * [backup-simplify]: Simplify 1 into 1
24.396 * [backup-simplify]: Simplify (* 1 1) into 1
24.397 * [backup-simplify]: Simplify (* 1 1) into 1
24.397 * [backup-simplify]: Simplify (/ 0.6666666666666666 1) into 0.6666666666666666
24.397 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
24.398 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.398 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.399 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.6666666666666666 (/ 0 1)))) into 0
24.399 * [backup-simplify]: Simplify 0 into 0
24.400 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.401 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.402 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.6666666666666666 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.402 * [backup-simplify]: Simplify 0 into 0
24.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.412 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.413 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.6666666666666666 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.413 * [backup-simplify]: Simplify 0 into 0
24.414 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
24.415 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
24.417 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.6666666666666666 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.417 * [backup-simplify]: Simplify 0 into 0
24.418 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
24.420 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
24.421 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.6666666666666666 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.421 * [backup-simplify]: Simplify 0 into 0
24.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
24.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
24.425 * [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
24.425 * [backup-simplify]: Simplify 0 into 0
24.426 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (/ 1 (/ 1 (- eps))) 3)) into (* -0.6666666666666666 (pow eps 3))
24.426 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1)
24.426 * [backup-simplify]: Simplify (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) into (* 1.0 (pow eps 3))
24.426 * [approximate]: Taking taylor expansion of (* 1.0 (pow eps 3)) in (eps) around 0
24.426 * [taylor]: Taking taylor expansion of (* 1.0 (pow eps 3)) in eps
24.426 * [taylor]: Taking taylor expansion of 1.0 in eps
24.426 * [backup-simplify]: Simplify 1.0 into 1.0
24.426 * [taylor]: Taking taylor expansion of (pow eps 3) in eps
24.426 * [taylor]: Taking taylor expansion of eps in eps
24.426 * [backup-simplify]: Simplify 0 into 0
24.426 * [backup-simplify]: Simplify 1 into 1
24.426 * [taylor]: Taking taylor expansion of (* 1.0 (pow eps 3)) in eps
24.426 * [taylor]: Taking taylor expansion of 1.0 in eps
24.426 * [backup-simplify]: Simplify 1.0 into 1.0
24.426 * [taylor]: Taking taylor expansion of (pow eps 3) in eps
24.427 * [taylor]: Taking taylor expansion of eps in eps
24.427 * [backup-simplify]: Simplify 0 into 0
24.427 * [backup-simplify]: Simplify 1 into 1
24.427 * [backup-simplify]: Simplify (* 1 1) into 1
24.427 * [backup-simplify]: Simplify (* 1 1) into 1
24.428 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
24.428 * [backup-simplify]: Simplify 1.0 into 1.0
24.429 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.429 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.430 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
24.430 * [backup-simplify]: Simplify 0 into 0
24.431 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.433 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
24.433 * [backup-simplify]: Simplify 0 into 0
24.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.435 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.436 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.436 * [backup-simplify]: Simplify 0 into 0
24.438 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
24.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
24.440 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
24.440 * [backup-simplify]: Simplify 0 into 0
24.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
24.443 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
24.445 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
24.445 * [backup-simplify]: Simplify 0 into 0
24.446 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
24.448 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
24.450 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
24.450 * [backup-simplify]: Simplify 0 into 0
24.450 * [backup-simplify]: Simplify (* 1.0 (pow eps 3)) into (* 1.0 (pow eps 3))
24.451 * [backup-simplify]: Simplify (* (/ (/ 1 eps) 1.0) (* (/ (/ 1 eps) 1.0) (/ (/ 1 eps) 1.0))) into (/ 1.0 (pow eps 3))
24.451 * [approximate]: Taking taylor expansion of (/ 1.0 (pow eps 3)) in (eps) around 0
24.451 * [taylor]: Taking taylor expansion of (/ 1.0 (pow eps 3)) in eps
24.451 * [taylor]: Taking taylor expansion of 1.0 in eps
24.451 * [backup-simplify]: Simplify 1.0 into 1.0
24.451 * [taylor]: Taking taylor expansion of (pow eps 3) in eps
24.451 * [taylor]: Taking taylor expansion of eps in eps
24.451 * [backup-simplify]: Simplify 0 into 0
24.451 * [backup-simplify]: Simplify 1 into 1
24.451 * [backup-simplify]: Simplify (* 1 1) into 1
24.452 * [backup-simplify]: Simplify (* 1 1) into 1
24.452 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
24.452 * [taylor]: Taking taylor expansion of (/ 1.0 (pow eps 3)) in eps
24.452 * [taylor]: Taking taylor expansion of 1.0 in eps
24.453 * [backup-simplify]: Simplify 1.0 into 1.0
24.453 * [taylor]: Taking taylor expansion of (pow eps 3) in eps
24.453 * [taylor]: Taking taylor expansion of eps in eps
24.453 * [backup-simplify]: Simplify 0 into 0
24.453 * [backup-simplify]: Simplify 1 into 1
24.453 * [backup-simplify]: Simplify (* 1 1) into 1
24.453 * [backup-simplify]: Simplify (* 1 1) into 1
24.454 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
24.454 * [backup-simplify]: Simplify 1.0 into 1.0
24.455 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.455 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.456 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)))) into 0
24.456 * [backup-simplify]: Simplify 0 into 0
24.457 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.458 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.459 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.459 * [backup-simplify]: Simplify 0 into 0
24.469 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.470 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.472 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.472 * [backup-simplify]: Simplify 0 into 0
24.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
24.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
24.485 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.485 * [backup-simplify]: Simplify 0 into 0
24.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
24.489 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
24.490 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.490 * [backup-simplify]: Simplify 0 into 0
24.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
24.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
24.501 * [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
24.502 * [backup-simplify]: Simplify 0 into 0
24.502 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 (/ 1 eps)) 3)) into (* 1.0 (pow eps 3))
24.502 * [backup-simplify]: Simplify (* (/ (/ 1 (- eps)) 1.0) (* (/ (/ 1 (- eps)) 1.0) (/ (/ 1 (- eps)) 1.0))) into (/ -1.0 (pow eps 3))
24.502 * [approximate]: Taking taylor expansion of (/ -1.0 (pow eps 3)) in (eps) around 0
24.502 * [taylor]: Taking taylor expansion of (/ -1.0 (pow eps 3)) in eps
24.502 * [taylor]: Taking taylor expansion of -1.0 in eps
24.502 * [backup-simplify]: Simplify -1.0 into -1.0
24.502 * [taylor]: Taking taylor expansion of (pow eps 3) in eps
24.502 * [taylor]: Taking taylor expansion of eps in eps
24.502 * [backup-simplify]: Simplify 0 into 0
24.502 * [backup-simplify]: Simplify 1 into 1
24.503 * [backup-simplify]: Simplify (* 1 1) into 1
24.503 * [backup-simplify]: Simplify (* 1 1) into 1
24.504 * [backup-simplify]: Simplify (/ -1.0 1) into -1.0
24.504 * [taylor]: Taking taylor expansion of (/ -1.0 (pow eps 3)) in eps
24.504 * [taylor]: Taking taylor expansion of -1.0 in eps
24.504 * [backup-simplify]: Simplify -1.0 into -1.0
24.504 * [taylor]: Taking taylor expansion of (pow eps 3) in eps
24.504 * [taylor]: Taking taylor expansion of eps in eps
24.504 * [backup-simplify]: Simplify 0 into 0
24.504 * [backup-simplify]: Simplify 1 into 1
24.507 * [backup-simplify]: Simplify (* 1 1) into 1
24.508 * [backup-simplify]: Simplify (* 1 1) into 1
24.508 * [backup-simplify]: Simplify (/ -1.0 1) into -1.0
24.509 * [backup-simplify]: Simplify -1.0 into -1.0
24.509 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.510 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.511 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1.0 (/ 0 1)))) into 0
24.511 * [backup-simplify]: Simplify 0 into 0
24.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.524 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.528 * [backup-simplify]: Simplify 0 into 0
24.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.532 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.532 * [backup-simplify]: Simplify 0 into 0
24.534 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
24.541 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
24.543 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.543 * [backup-simplify]: Simplify 0 into 0
24.544 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
24.547 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
24.556 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.556 * [backup-simplify]: Simplify 0 into 0
24.558 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
24.564 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
24.566 * [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
24.566 * [backup-simplify]: Simplify 0 into 0
24.566 * [backup-simplify]: Simplify (* -1.0 (pow (/ 1 (/ 1 (- eps))) 3)) into (* 1.0 (pow eps 3))
24.566 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
24.568 * [backup-simplify]: Simplify (* (/ 2/5 (pow 1.0 5)) (pow eps 5)) into (* 2/5 (/ (pow eps 5) (pow 1.0 5)))
24.568 * [approximate]: Taking taylor expansion of (* 2/5 (/ (pow eps 5) (pow 1.0 5))) in (eps) around 0
24.568 * [taylor]: Taking taylor expansion of (* 2/5 (/ (pow eps 5) (pow 1.0 5))) in eps
24.568 * [taylor]: Taking taylor expansion of 2/5 in eps
24.568 * [backup-simplify]: Simplify 2/5 into 2/5
24.568 * [taylor]: Taking taylor expansion of (/ (pow eps 5) (pow 1.0 5)) in eps
24.568 * [taylor]: Taking taylor expansion of (pow eps 5) in eps
24.568 * [taylor]: Taking taylor expansion of eps in eps
24.568 * [backup-simplify]: Simplify 0 into 0
24.568 * [backup-simplify]: Simplify 1 into 1
24.568 * [taylor]: Taking taylor expansion of (pow 1.0 5) in eps
24.568 * [taylor]: Taking taylor expansion of 1.0 in eps
24.569 * [backup-simplify]: Simplify 1.0 into 1.0
24.569 * [backup-simplify]: Simplify (* 1 1) into 1
24.569 * [backup-simplify]: Simplify (* 1 1) into 1
24.570 * [backup-simplify]: Simplify (* 1 1) into 1
24.577 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
24.578 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
24.578 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
24.579 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
24.579 * [taylor]: Taking taylor expansion of (* 2/5 (/ (pow eps 5) (pow 1.0 5))) in eps
24.579 * [taylor]: Taking taylor expansion of 2/5 in eps
24.579 * [backup-simplify]: Simplify 2/5 into 2/5
24.579 * [taylor]: Taking taylor expansion of (/ (pow eps 5) (pow 1.0 5)) in eps
24.579 * [taylor]: Taking taylor expansion of (pow eps 5) in eps
24.579 * [taylor]: Taking taylor expansion of eps in eps
24.579 * [backup-simplify]: Simplify 0 into 0
24.579 * [backup-simplify]: Simplify 1 into 1
24.579 * [taylor]: Taking taylor expansion of (pow 1.0 5) in eps
24.579 * [taylor]: Taking taylor expansion of 1.0 in eps
24.579 * [backup-simplify]: Simplify 1.0 into 1.0
24.580 * [backup-simplify]: Simplify (* 1 1) into 1
24.580 * [backup-simplify]: Simplify (* 1 1) into 1
24.581 * [backup-simplify]: Simplify (* 1 1) into 1
24.582 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
24.583 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
24.583 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
24.584 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
24.592 * [backup-simplify]: Simplify (* 2/5 1.0) into 0.4
24.593 * [backup-simplify]: Simplify 0.4 into 0.4
24.593 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.593 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.594 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.594 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1.0)) into 0
24.594 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1.0)) into 0
24.595 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1.0)) into 0
24.595 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)))) into 0
24.596 * [backup-simplify]: Simplify (+ (* 2/5 0) (* 0 1.0)) into 0
24.596 * [backup-simplify]: Simplify 0 into 0
24.598 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.609 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1.0))) into 0
24.610 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1.0))) into 0
24.611 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1.0))) into 0
24.612 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* 0 (/ 0 1.0)))) into 0
24.613 * [backup-simplify]: Simplify (+ (* 2/5 0) (+ (* 0 0) (* 0 1.0))) into 0
24.613 * [backup-simplify]: Simplify 0 into 0
24.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.626 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
24.627 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
24.628 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
24.630 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)))) into 0
24.631 * [backup-simplify]: Simplify (+ (* 2/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
24.631 * [backup-simplify]: Simplify 0 into 0
24.637 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
24.639 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
24.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
24.650 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0
24.651 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0
24.653 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0
24.654 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)))) into 0
24.664 * [backup-simplify]: Simplify (+ (* 2/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0
24.665 * [backup-simplify]: Simplify 0 into 0
24.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
24.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
24.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
24.680 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))))) into 0
24.682 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))))) into 0
24.684 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))))) into 0
24.685 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)))) into 0
24.686 * [backup-simplify]: Simplify (+ (* 2/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))))) into 0
24.686 * [backup-simplify]: Simplify 0 into 0
24.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
24.698 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
24.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
24.702 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))))) into 0
24.704 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))))) into 0
24.714 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))))) into 0
24.718 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)))) into 0
24.721 * [backup-simplify]: Simplify (+ (* 2/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))))) into 0
24.721 * [backup-simplify]: Simplify 0 into 0
24.721 * [backup-simplify]: Simplify (* 0.4 (pow eps 5)) into (* 0.4 (pow eps 5))
24.723 * [backup-simplify]: Simplify (* (/ 2/5 (pow 1.0 5)) (pow (/ 1 eps) 5)) into (/ 2/5 (* (pow eps 5) (pow 1.0 5)))
24.723 * [approximate]: Taking taylor expansion of (/ 2/5 (* (pow eps 5) (pow 1.0 5))) in (eps) around 0
24.723 * [taylor]: Taking taylor expansion of (/ 2/5 (* (pow eps 5) (pow 1.0 5))) in eps
24.723 * [taylor]: Taking taylor expansion of 2/5 in eps
24.723 * [backup-simplify]: Simplify 2/5 into 2/5
24.723 * [taylor]: Taking taylor expansion of (* (pow eps 5) (pow 1.0 5)) in eps
24.723 * [taylor]: Taking taylor expansion of (pow eps 5) in eps
24.723 * [taylor]: Taking taylor expansion of eps in eps
24.723 * [backup-simplify]: Simplify 0 into 0
24.723 * [backup-simplify]: Simplify 1 into 1
24.723 * [taylor]: Taking taylor expansion of (pow 1.0 5) in eps
24.723 * [taylor]: Taking taylor expansion of 1.0 in eps
24.723 * [backup-simplify]: Simplify 1.0 into 1.0
24.724 * [backup-simplify]: Simplify (* 1 1) into 1
24.724 * [backup-simplify]: Simplify (* 1 1) into 1
24.725 * [backup-simplify]: Simplify (* 1 1) into 1
24.726 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
24.726 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
24.727 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
24.727 * [backup-simplify]: Simplify (* 1 1.0) into 1.0
24.729 * [backup-simplify]: Simplify (/ 2/5 1.0) into 0.4
24.729 * [taylor]: Taking taylor expansion of (/ 2/5 (* (pow eps 5) (pow 1.0 5))) in eps
24.729 * [taylor]: Taking taylor expansion of 2/5 in eps
24.729 * [backup-simplify]: Simplify 2/5 into 2/5
24.729 * [taylor]: Taking taylor expansion of (* (pow eps 5) (pow 1.0 5)) in eps
24.729 * [taylor]: Taking taylor expansion of (pow eps 5) in eps
24.729 * [taylor]: Taking taylor expansion of eps in eps
24.729 * [backup-simplify]: Simplify 0 into 0
24.729 * [backup-simplify]: Simplify 1 into 1
24.729 * [taylor]: Taking taylor expansion of (pow 1.0 5) in eps
24.729 * [taylor]: Taking taylor expansion of 1.0 in eps
24.729 * [backup-simplify]: Simplify 1.0 into 1.0
24.730 * [backup-simplify]: Simplify (* 1 1) into 1
24.730 * [backup-simplify]: Simplify (* 1 1) into 1
24.730 * [backup-simplify]: Simplify (* 1 1) into 1
24.731 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
24.731 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
24.732 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
24.732 * [backup-simplify]: Simplify (* 1 1.0) into 1.0
24.733 * [backup-simplify]: Simplify (/ 2/5 1.0) into 0.4
24.733 * [backup-simplify]: Simplify 0.4 into 0.4
24.733 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1.0)) into 0
24.734 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1.0)) into 0
24.735 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1.0)) into 0
24.735 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.736 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.737 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.738 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1.0)) into 0
24.739 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 0.4 (/ 0 1.0)))) into 0
24.739 * [backup-simplify]: Simplify 0 into 0
24.740 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1.0))) into 0
24.741 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1.0))) into 0
24.742 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1.0))) into 0
24.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1.0))) into 0
24.747 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 0.4 (/ 0 1.0)) (* 0 (/ 0 1.0)))) into 0
24.747 * [backup-simplify]: Simplify 0 into 0
24.748 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
24.750 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
24.751 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
24.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.754 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.756 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
24.758 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 0.4 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)))) into 0
24.758 * [backup-simplify]: Simplify 0 into 0
24.760 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0
24.761 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0
24.763 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0
24.764 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
24.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
24.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
24.768 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0
24.769 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 0.4 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)))) into 0
24.769 * [backup-simplify]: Simplify 0 into 0
24.770 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))))) into 0
24.781 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))))) into 0
24.782 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))))) into 0
24.783 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
24.786 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
24.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
24.790 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))))) into 0
24.791 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 0.4 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)))) into 0
24.791 * [backup-simplify]: Simplify 0 into 0
24.793 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))))) into 0
24.794 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))))) into 0
24.796 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))))) into 0
24.797 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
24.799 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
24.800 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
24.801 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))))) into 0
24.801 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 0.4 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)))) into 0
24.801 * [backup-simplify]: Simplify 0 into 0
24.802 * [backup-simplify]: Simplify (* 0.4 (pow (/ 1 (/ 1 eps)) 5)) into (* 0.4 (pow eps 5))
24.803 * [backup-simplify]: Simplify (* (/ 2/5 (pow 1.0 5)) (pow (/ 1 (- eps)) 5)) into (/ -2/5 (* (pow eps 5) (pow 1.0 5)))
24.803 * [approximate]: Taking taylor expansion of (/ -2/5 (* (pow eps 5) (pow 1.0 5))) in (eps) around 0
24.803 * [taylor]: Taking taylor expansion of (/ -2/5 (* (pow eps 5) (pow 1.0 5))) in eps
24.803 * [taylor]: Taking taylor expansion of -2/5 in eps
24.803 * [backup-simplify]: Simplify -2/5 into -2/5
24.803 * [taylor]: Taking taylor expansion of (* (pow eps 5) (pow 1.0 5)) in eps
24.803 * [taylor]: Taking taylor expansion of (pow eps 5) in eps
24.803 * [taylor]: Taking taylor expansion of eps in eps
24.803 * [backup-simplify]: Simplify 0 into 0
24.803 * [backup-simplify]: Simplify 1 into 1
24.803 * [taylor]: Taking taylor expansion of (pow 1.0 5) in eps
24.803 * [taylor]: Taking taylor expansion of 1.0 in eps
24.803 * [backup-simplify]: Simplify 1.0 into 1.0
24.803 * [backup-simplify]: Simplify (* 1 1) into 1
24.803 * [backup-simplify]: Simplify (* 1 1) into 1
24.804 * [backup-simplify]: Simplify (* 1 1) into 1
24.804 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
24.804 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
24.804 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
24.805 * [backup-simplify]: Simplify (* 1 1.0) into 1.0
24.805 * [backup-simplify]: Simplify (/ -2/5 1.0) into -0.4
24.805 * [taylor]: Taking taylor expansion of (/ -2/5 (* (pow eps 5) (pow 1.0 5))) in eps
24.805 * [taylor]: Taking taylor expansion of -2/5 in eps
24.805 * [backup-simplify]: Simplify -2/5 into -2/5
24.805 * [taylor]: Taking taylor expansion of (* (pow eps 5) (pow 1.0 5)) in eps
24.805 * [taylor]: Taking taylor expansion of (pow eps 5) in eps
24.805 * [taylor]: Taking taylor expansion of eps in eps
24.805 * [backup-simplify]: Simplify 0 into 0
24.805 * [backup-simplify]: Simplify 1 into 1
24.805 * [taylor]: Taking taylor expansion of (pow 1.0 5) in eps
24.805 * [taylor]: Taking taylor expansion of 1.0 in eps
24.805 * [backup-simplify]: Simplify 1.0 into 1.0
24.806 * [backup-simplify]: Simplify (* 1 1) into 1
24.806 * [backup-simplify]: Simplify (* 1 1) into 1
24.806 * [backup-simplify]: Simplify (* 1 1) into 1
24.807 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
24.807 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
24.808 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
24.809 * [backup-simplify]: Simplify (* 1 1.0) into 1.0
24.810 * [backup-simplify]: Simplify (/ -2/5 1.0) into -0.4
24.810 * [backup-simplify]: Simplify -0.4 into -0.4
24.811 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1.0)) into 0
24.811 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1.0)) into 0
24.812 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1.0)) into 0
24.812 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.813 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.813 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.813 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1.0)) into 0
24.814 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* -0.4 (/ 0 1.0)))) into 0
24.814 * [backup-simplify]: Simplify 0 into 0
24.814 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1.0))) into 0
24.815 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1.0))) into 0
24.815 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1.0))) into 0
24.816 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.817 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.819 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.820 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1.0))) into 0
24.822 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* -0.4 (/ 0 1.0)) (* 0 (/ 0 1.0)))) into 0
24.822 * [backup-simplify]: Simplify 0 into 0
24.823 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
24.825 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
24.826 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
24.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.828 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.829 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
24.832 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* -0.4 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)))) into 0
24.832 * [backup-simplify]: Simplify 0 into 0
24.833 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0
24.834 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0
24.835 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0
24.836 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
24.836 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
24.838 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
24.839 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0
24.840 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* -0.4 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)))) into 0
24.840 * [backup-simplify]: Simplify 0 into 0
24.842 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))))) into 0
24.843 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))))) into 0
24.845 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))))) into 0
24.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
24.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
24.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
24.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))))) into 0
24.853 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* -0.4 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)))) into 0
24.854 * [backup-simplify]: Simplify 0 into 0
24.856 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))))) into 0
24.859 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))))) into 0
24.861 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))))) into 0
24.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
24.865 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
24.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
24.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))))) into 0
24.870 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* -0.4 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)) (* 0 (/ 0 1.0)))) into 0
24.870 * [backup-simplify]: Simplify 0 into 0
24.871 * [backup-simplify]: Simplify (* -0.4 (pow (/ 1 (/ 1 (- eps))) 5)) into (* 0.4 (pow eps 5))
24.871 * * * [progress]: simplifying candidates
24.877 * [simplify]: Simplifying:
  (* (* (/ 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)
  (+ 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)))
  (+ (- (log 2/5) (* (log 1.0) 5)) (* (log eps) 5))
  (+ (- (log 2/5) (* (log 1.0) 5)) (* (log eps) 5))
  (+ (- (log 2/5) (* (log 1.0) 5)) (log (pow eps 5)))
  (+ (- (log 2/5) (* (log 1.0) 5)) (* (log eps) 5))
  (+ (- (log 2/5) (* (log 1.0) 5)) (* (log eps) 5))
  (+ (- (log 2/5) (* (log 1.0) 5)) (log (pow eps 5)))
  (+ (- (log 2/5) (log (pow 1.0 5))) (* (log eps) 5))
  (+ (- (log 2/5) (log (pow 1.0 5))) (* (log eps) 5))
  (+ (- (log 2/5) (log (pow 1.0 5))) (log (pow eps 5)))
  (+ (log (/ 2/5 (pow 1.0 5))) (* (log eps) 5))
  (+ (log (/ 2/5 (pow 1.0 5))) (* (log eps) 5))
  (+ (log (/ 2/5 (pow 1.0 5))) (log (pow eps 5)))
  (log (* (/ 2/5 (pow 1.0 5)) (pow eps 5)))
  (exp (* (/ 2/5 (pow 1.0 5)) (pow eps 5)))
  (* (/ (* (* 2/5 2/5) 2/5) (* (* (pow 1.0 5) (pow 1.0 5)) (pow 1.0 5))) (* (* (pow eps 5) (pow eps 5)) (pow eps 5)))
  (* (* (* (/ 2/5 (pow 1.0 5)) (/ 2/5 (pow 1.0 5))) (/ 2/5 (pow 1.0 5))) (* (* (pow eps 5) (pow eps 5)) (pow eps 5)))
  (* (cbrt (* (/ 2/5 (pow 1.0 5)) (pow eps 5))) (cbrt (* (/ 2/5 (pow 1.0 5)) (pow eps 5))))
  (cbrt (* (/ 2/5 (pow 1.0 5)) (pow eps 5)))
  (* (* (* (/ 2/5 (pow 1.0 5)) (pow eps 5)) (* (/ 2/5 (pow 1.0 5)) (pow eps 5))) (* (/ 2/5 (pow 1.0 5)) (pow eps 5)))
  (sqrt (* (/ 2/5 (pow 1.0 5)) (pow eps 5)))
  (sqrt (* (/ 2/5 (pow 1.0 5)) (pow eps 5)))
  (* (sqrt (/ 2/5 (pow 1.0 5))) (pow (sqrt eps) 5))
  (* (sqrt (/ 2/5 (pow 1.0 5))) (pow (sqrt eps) 5))
  (* (sqrt (/ 2/5 (pow 1.0 5))) (sqrt (pow eps 5)))
  (* (sqrt (/ 2/5 (pow 1.0 5))) (sqrt (pow eps 5)))
  (* (sqrt (/ 2/5 (pow 1.0 5))) (pow eps (/ 5 2)))
  (* (sqrt (/ 2/5 (pow 1.0 5))) (pow eps (/ 5 2)))
  (* (/ (sqrt 2/5) (pow (sqrt 1.0) 5)) (pow (sqrt eps) 5))
  (* (/ (sqrt 2/5) (pow (sqrt 1.0) 5)) (pow (sqrt eps) 5))
  (* (/ (sqrt 2/5) (pow (sqrt 1.0) 5)) (sqrt (pow eps 5)))
  (* (/ (sqrt 2/5) (pow (sqrt 1.0) 5)) (sqrt (pow eps 5)))
  (* (/ (sqrt 2/5) (pow (sqrt 1.0) 5)) (pow eps (/ 5 2)))
  (* (/ (sqrt 2/5) (pow (sqrt 1.0) 5)) (pow eps (/ 5 2)))
  (* (/ (sqrt 2/5) (sqrt (pow 1.0 5))) (pow (sqrt eps) 5))
  (* (/ (sqrt 2/5) (sqrt (pow 1.0 5))) (pow (sqrt eps) 5))
  (* (/ (sqrt 2/5) (sqrt (pow 1.0 5))) (sqrt (pow eps 5)))
  (* (/ (sqrt 2/5) (sqrt (pow 1.0 5))) (sqrt (pow eps 5)))
  (* (/ (sqrt 2/5) (sqrt (pow 1.0 5))) (pow eps (/ 5 2)))
  (* (/ (sqrt 2/5) (sqrt (pow 1.0 5))) (pow eps (/ 5 2)))
  (* (/ (sqrt 2/5) (pow 1.0 (/ 5 2))) (pow (sqrt eps) 5))
  (* (/ (sqrt 2/5) (pow 1.0 (/ 5 2))) (pow (sqrt eps) 5))
  (* (/ (sqrt 2/5) (pow 1.0 (/ 5 2))) (sqrt (pow eps 5)))
  (* (/ (sqrt 2/5) (pow 1.0 (/ 5 2))) (sqrt (pow eps 5)))
  (* (/ (sqrt 2/5) (pow 1.0 (/ 5 2))) (pow eps (/ 5 2)))
  (* (/ (sqrt 2/5) (pow 1.0 (/ 5 2))) (pow eps (/ 5 2)))
  (* (/ 2/5 (pow 1.0 5)) (pow (* (cbrt eps) (cbrt eps)) 5))
  (* (/ 2/5 (pow 1.0 5)) (pow (sqrt eps) 5))
  (* (/ 2/5 (pow 1.0 5)) (pow 1 5))
  (* (/ 2/5 (pow 1.0 5)) (* (cbrt (pow eps 5)) (cbrt (pow eps 5))))
  (* (/ 2/5 (pow 1.0 5)) (sqrt (pow eps 5)))
  (* (/ 2/5 (pow 1.0 5)) 1)
  (* (/ 2/5 (pow 1.0 5)) (pow eps (/ 5 2)))
  (* (cbrt (/ 2/5 (pow 1.0 5))) (pow eps 5))
  (* (sqrt (/ 2/5 (pow 1.0 5))) (pow eps 5))
  (* (/ (cbrt 2/5) (pow (cbrt 1.0) 5)) (pow eps 5))
  (* (/ (cbrt 2/5) (pow (sqrt 1.0) 5)) (pow eps 5))
  (* (/ (cbrt 2/5) (pow 1.0 5)) (pow eps 5))
  (* (/ (cbrt 2/5) (cbrt (pow 1.0 5))) (pow eps 5))
  (* (/ (cbrt 2/5) (sqrt (pow 1.0 5))) (pow eps 5))
  (* (/ (cbrt 2/5) (pow 1.0 5)) (pow eps 5))
  (* (/ (cbrt 2/5) (pow 1.0 (/ 5 2))) (pow eps 5))
  (* (/ (sqrt 2/5) (pow (cbrt 1.0) 5)) (pow eps 5))
  (* (/ (sqrt 2/5) (pow (sqrt 1.0) 5)) (pow eps 5))
  (* (/ (sqrt 2/5) (pow 1.0 5)) (pow eps 5))
  (* (/ (sqrt 2/5) (cbrt (pow 1.0 5))) (pow eps 5))
  (* (/ (sqrt 2/5) (sqrt (pow 1.0 5))) (pow eps 5))
  (* (/ (sqrt 2/5) (pow 1.0 5)) (pow eps 5))
  (* (/ (sqrt 2/5) (pow 1.0 (/ 5 2))) (pow eps 5))
  (* (/ 2/5 (pow (cbrt 1.0) 5)) (pow eps 5))
  (* (/ 2/5 (pow (sqrt 1.0) 5)) (pow eps 5))
  (* (/ 2/5 (pow 1.0 5)) (pow eps 5))
  (* (/ 2/5 (cbrt (pow 1.0 5))) (pow eps 5))
  (* (/ 2/5 (sqrt (pow 1.0 5))) (pow eps 5))
  (* (/ 2/5 (pow 1.0 5)) (pow eps 5))
  (* (/ 2/5 (pow 1.0 (/ 5 2))) (pow eps 5))
  (* (/ 2/5 (pow 1.0 5)) (pow eps 5))
  (* (/ 1 (pow 1.0 5)) (pow eps 5))
  (* 2/5 (pow eps 5))
  (* -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))
  (* 0.4 (pow eps 5))
  (* 0.4 (pow eps 5))
  (* 0.4 (pow eps 5))
24.885 * * [simplify]: iteration 0: 267 enodes
25.276 * * [simplify]: iteration 1: 709 enodes
26.942 * * [simplify]: iteration 2: 2414 enodes
29.999 * * [simplify]: iteration complete: 5005 enodes
29.999 * * [simplify]: Extracting #0: cost 89 inf + 0
30.079 * * [simplify]: Extracting #1: cost 964 inf + 1
30.117 * * [simplify]: Extracting #2: cost 1675 inf + 5485
30.175 * * [simplify]: Extracting #3: cost 1471 inf + 93043
30.328 * * [simplify]: Extracting #4: cost 465 inf + 430729
30.503 * * [simplify]: Extracting #5: cost 16 inf + 631906
30.817 * * [simplify]: Extracting #6: cost 0 inf + 635651
31.181 * [simplify]: Simplified to:
  (* (* (* (/ 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)))) -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) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)))
  (* (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)))) -8/27) (* (* (/ eps 1.0) (/ eps 1.0)) (/ eps 1.0)))
  (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) (cbrt -2/3)) (* (/ eps 1.0) (cbrt -2/3))))
  (* (* (* (/ 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))
  (* (* (* eps eps) -2/3) eps)
  (/ (* (* (* eps eps) -2/3) eps) 1.0)
  (/ (* (* (* eps eps) -2/3) eps) 1.0)
  (/ (* (* (* eps eps) -2/3) eps) 1.0)
  (* -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))))
  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 eps)) 1.0)
  (* 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) (/ 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))
  (* (/ eps 1.0) (* (/ eps 1.0) (sqrt (/ eps 1.0))))
  (* (/ (cbrt eps) (cbrt 1.0)) (* (/ eps 1.0) (/ eps 1.0)))
  (* (/ eps 1.0) (* (/ eps 1.0) (/ (cbrt eps) (sqrt 1.0))))
  (* (* (/ eps 1.0) (/ eps 1.0)) (/ (cbrt 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 1.0) (/ eps (cbrt 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 eps)) 1.0)
  (/ eps (* (/ 1.0 eps) (/ 1.0 eps)))
  (/ eps (* (/ 1.0 eps) (/ 1.0 eps)))
  (/ eps (* (/ 1.0 eps) (/ 1.0 eps)))
  (+ (log 2/5) (* 5 (log (/ eps 1.0))))
  (+ (log 2/5) (* 5 (log (/ eps 1.0))))
  (+ (log 2/5) (* 5 (log (/ eps 1.0))))
  (+ (log 2/5) (* 5 (log (/ eps 1.0))))
  (+ (log 2/5) (* 5 (log (/ eps 1.0))))
  (+ (log 2/5) (* 5 (log (/ eps 1.0))))
  (+ (log 2/5) (* 5 (log (/ eps 1.0))))
  (+ (log 2/5) (* 5 (log (/ eps 1.0))))
  (+ (log 2/5) (* 5 (log (/ eps 1.0))))
  (+ (log 2/5) (* 5 (log (/ eps 1.0))))
  (+ (log 2/5) (* 5 (log (/ eps 1.0))))
  (+ (log 2/5) (* 5 (log (/ eps 1.0))))
  (+ (log 2/5) (* 5 (log (/ eps 1.0))))
  (exp (/ (* (pow eps 5) 2/5) (pow 1.0 5)))
  (* (pow (pow eps 5) 3) (* (/ 4/25 (pow 1.0 5)) (/ (/ 2/5 (pow 1.0 5)) (pow 1.0 5))))
  (* (* (/ (* (pow eps 5) 2/5) (pow 1.0 5)) (/ (* (pow eps 5) 2/5) (pow 1.0 5))) (/ (* (pow eps 5) 2/5) (pow 1.0 5)))
  (* (cbrt (/ (* (pow eps 5) 2/5) (pow 1.0 5))) (cbrt (/ (* (pow eps 5) 2/5) (pow 1.0 5))))
  (cbrt (/ (* (pow eps 5) 2/5) (pow 1.0 5)))
  (* (* (/ (* (pow eps 5) 2/5) (pow 1.0 5)) (/ (* (pow eps 5) 2/5) (pow 1.0 5))) (/ (* (pow eps 5) 2/5) (pow 1.0 5)))
  (sqrt (/ (* (pow eps 5) 2/5) (pow 1.0 5)))
  (sqrt (/ (* (pow eps 5) 2/5) (pow 1.0 5)))
  (* (pow (sqrt eps) 5) (sqrt (/ 2/5 (pow 1.0 5))))
  (* (pow (sqrt eps) 5) (sqrt (/ 2/5 (pow 1.0 5))))
  (* (fabs (pow eps 5/2)) (sqrt (/ 2/5 (pow 1.0 5))))
  (* (fabs (pow eps 5/2)) (sqrt (/ 2/5 (pow 1.0 5))))
  (* (sqrt (/ 2/5 (pow 1.0 5))) (pow eps 5/2))
  (* (sqrt (/ 2/5 (pow 1.0 5))) (pow eps 5/2))
  (* (/ (sqrt 2/5) (pow (sqrt 1.0) 5)) (pow (sqrt eps) 5))
  (* (/ (sqrt 2/5) (pow (sqrt 1.0) 5)) (pow (sqrt eps) 5))
  (* (/ (sqrt 2/5) (pow (sqrt 1.0) 5)) (fabs (pow eps 5/2)))
  (* (/ (sqrt 2/5) (pow (sqrt 1.0) 5)) (fabs (pow eps 5/2)))
  (* (/ (sqrt 2/5) (pow (sqrt 1.0) 5)) (pow eps 5/2))
  (* (/ (sqrt 2/5) (pow (sqrt 1.0) 5)) (pow eps 5/2))
  (/ (* (pow (sqrt eps) 5) (sqrt 2/5)) (fabs (pow 1.0 5/2)))
  (/ (* (pow (sqrt eps) 5) (sqrt 2/5)) (fabs (pow 1.0 5/2)))
  (/ (sqrt 2/5) (/ (fabs (pow 1.0 5/2)) (fabs (pow eps 5/2))))
  (/ (sqrt 2/5) (/ (fabs (pow 1.0 5/2)) (fabs (pow eps 5/2))))
  (/ (* (sqrt 2/5) (pow eps 5/2)) (fabs (pow 1.0 5/2)))
  (/ (* (sqrt 2/5) (pow eps 5/2)) (fabs (pow 1.0 5/2)))
  (/ (sqrt 2/5) (/ (pow 1.0 5/2) (pow (sqrt eps) 5)))
  (/ (sqrt 2/5) (/ (pow 1.0 5/2) (pow (sqrt eps) 5)))
  (* (fabs (pow eps 5/2)) (/ (sqrt 2/5) (pow 1.0 5/2)))
  (* (fabs (pow eps 5/2)) (/ (sqrt 2/5) (pow 1.0 5/2)))
  (* (pow eps 5/2) (/ (sqrt 2/5) (pow 1.0 5/2)))
  (* (pow eps 5/2) (/ (sqrt 2/5) (pow 1.0 5/2)))
  (/ 2/5 (/ (pow 1.0 5) (pow (* (cbrt eps) (cbrt eps)) 5)))
  (* (pow (sqrt eps) 5) (/ 2/5 (pow 1.0 5)))
  (/ 2/5 (pow 1.0 5))
  (* (* (/ 2/5 (pow 1.0 5)) (cbrt (pow eps 5))) (cbrt (pow eps 5)))
  (* (fabs (pow eps 5/2)) (/ 2/5 (pow 1.0 5)))
  (/ 2/5 (pow 1.0 5))
  (/ 2/5 (/ (pow 1.0 5) (pow eps 5/2)))
  (* (cbrt (/ 2/5 (pow 1.0 5))) (pow eps 5))
  (* (sqrt (/ 2/5 (pow 1.0 5))) (pow eps 5))
  (/ (* (pow eps 5) (cbrt 2/5)) (pow (cbrt 1.0) 5))
  (* (/ (cbrt 2/5) (pow (sqrt 1.0) 5)) (pow eps 5))
  (* (/ (cbrt 2/5) (pow 1.0 5)) (pow eps 5))
  (/ (cbrt 2/5) (/ (cbrt (pow 1.0 5)) (pow eps 5)))
  (/ (cbrt 2/5) (/ (fabs (pow 1.0 5/2)) (pow eps 5)))
  (* (/ (cbrt 2/5) (pow 1.0 5)) (pow eps 5))
  (/ (* (pow eps 5) (cbrt 2/5)) (pow 1.0 5/2))
  (* (pow eps 5) (/ (sqrt 2/5) (pow (cbrt 1.0) 5)))
  (/ (* (pow eps 5) (sqrt 2/5)) (pow (sqrt 1.0) 5))
  (* (pow eps 5) (/ (sqrt 2/5) (pow 1.0 5)))
  (* (pow eps 5) (/ (sqrt 2/5) (cbrt (pow 1.0 5))))
  (* (pow eps 5) (/ (sqrt 2/5) (fabs (pow 1.0 5/2))))
  (* (pow eps 5) (/ (sqrt 2/5) (pow 1.0 5)))
  (/ (sqrt 2/5) (/ (pow 1.0 5/2) (pow eps 5)))
  (/ (* (pow eps 5) 2/5) (pow (cbrt 1.0) 5))
  (* (pow eps 5) (/ 2/5 (pow (sqrt 1.0) 5)))
  (/ (* (pow eps 5) 2/5) (pow 1.0 5))
  (* (pow eps 5) (/ 2/5 (cbrt (pow 1.0 5))))
  (/ (* (pow eps 5) 2/5) (fabs (pow 1.0 5/2)))
  (/ (* (pow eps 5) 2/5) (pow 1.0 5))
  (/ (* (pow eps 5) 2/5) (pow 1.0 5/2))
  (/ (* (pow eps 5) 2/5) (pow 1.0 5))
  (/ (pow eps 5) (pow 1.0 5))
  (* (pow eps 5) 2/5)
  (* (* eps (* eps eps)) -0.6666666666666666)
  (* (* eps (* eps eps)) -0.6666666666666666)
  (* (* eps (* eps eps)) -0.6666666666666666)
  (* (* 1.0 eps) (* eps eps))
  (* (* 1.0 eps) (* eps eps))
  (* (* 1.0 eps) (* eps eps))
  (* 0.4 (pow eps 5))
  (* 0.4 (pow eps 5))
  (* 0.4 (pow eps 5))
31.288 * * * [progress]: adding candidates to table
33.730 * [progress]: [Phase 3 of 3] Extracting.
33.730 * * [regime]: Finding splitpoints for: (#<alt (λ (eps) (- (log (- 1.0 eps)) (log (+ 1.0 eps))))> #<alt (λ (eps) (- (- (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) -2/3) (* eps 2.0)) (* (/ 2/5 (pow 1.0 5)) (pow eps 5))))>)
33.731 * * * [regime-changes]: Trying 1 branch expressions: (eps)
33.731 * * * * [regimes]: Trying to branch on eps from (#<alt (λ (eps) (- (log (- 1.0 eps)) (log (+ 1.0 eps))))> #<alt (λ (eps) (- (- (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) -2/3) (* eps 2.0)) (* (/ 2/5 (pow 1.0 5)) (pow eps 5))))>)
33.865 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
33.866 * [simplify]: Simplifying:
  (- (- (* (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0))) -2/3) (* eps 2.0)) (* (/ 2/5 (pow 1.0 5)) (pow eps 5)))
33.866 * * [simplify]: iteration 0: 17 enodes
33.876 * * [simplify]: iteration 1: 21 enodes
33.878 * * [simplify]: iteration complete: 21 enodes
33.878 * * [simplify]: Extracting #0: cost 1 inf + 0
33.878 * * [simplify]: Extracting #1: cost 3 inf + 0
33.878 * * [simplify]: Extracting #2: cost 7 inf + 0
33.878 * * [simplify]: Extracting #3: cost 14 inf + 0
33.879 * * [simplify]: Extracting #4: cost 12 inf + 5
33.879 * * [simplify]: Extracting #5: cost 8 inf + 302
33.879 * * [simplify]: Extracting #6: cost 4 inf + 1353
33.879 * * [simplify]: Extracting #7: cost 1 inf + 1882
33.880 * * [simplify]: Extracting #8: cost 0 inf + 2668
33.880 * [simplify]: Simplified to:
  (- (- (* -2/3 (* (/ eps 1.0) (* (/ eps 1.0) (/ eps 1.0)))) (* 2.0 eps)) (* (/ 2/5 (pow 1.0 5)) (pow eps 5)))
57.260 * [regime-testing]: Baseline error score: 0.23098911724397939
57.283 * [regime-testing]: Oracle error score: 0.020178459050222197
57.321 * [regime-testing]: End program error score: 0.23098911724397939
57.776 * [regime-testing]: Target error score: 0.23098911724397939