* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
* * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Setting MPFR precision to 832
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 256 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 131 additional inputs, on iter 1 have 125 / 256
* * * * [misc]points:  Computing exacts on every 8 of 131 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 4 of 131 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 2 of 131 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 131 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 60 additional inputs, on iter 2 have 196 / 256
* * * * [misc]points:  Computing exacts on every 3 of 60 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 60 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 25 additional inputs, on iter 3 have 231 / 256
* * * * [misc]points:  Computing exacts for 25 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 12 additional inputs, on iter 4 have 244 / 256
* * * * [misc]points:  Computing exacts for 12 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 6 additional inputs, on iter 5 have 250 / 256
* * * * [misc]points:  Computing exacts for 6 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 252 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 254 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 257 points with exact outputs
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (log (/ (- 1 eps) (+ 1 eps)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* * [misc]simplify:  iters left: 3 (24 enodes)
* * [misc]simplify:  iters left: 2 (27 enodes)
* [exit]simplify:  Simplified to (log (/ (- 1 eps) (+ eps 1)))
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ (eps) (log (/ (- 1 eps) (+ 1 eps))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
* * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (log (/ (- 1 eps) (+ 1 eps))) in (eps) around 0
* [misc]taylor:  Taking taylor expansion of (log (/ (- 1 eps) (+ 1 eps))) in eps
* [misc]taylor:  Taking taylor expansion of (/ (- 1 eps) (+ 1 eps)) in eps
* [misc]taylor:  Taking taylor expansion of (- 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (log 1) into 0
* [misc]taylor:  Taking taylor expansion of (log (/ (- 1 eps) (+ 1 eps))) in eps
* [misc]taylor:  Taking taylor expansion of (/ (- 1 eps) (+ 1 eps)) in eps
* [misc]taylor:  Taking taylor expansion of (- 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (log 1) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -2) 1)) (pow 1 1)))) 1) into -2
* [misc]backup-simplify:  Simplify -2 into -2
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 -2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 2) 1)) (pow 1 1)))) 2) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 0 1)) (* 2 (/ 1 1)))) into -2
* [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 -2) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 -2) 1) (pow (* 2 2) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 -2) 1)) (pow 1 1)))) 6) into -2/3
* [misc]backup-simplify:  Simplify -2/3 into -2/3
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 0 1)) (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2
* [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 -2) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 -2) 2) (pow (* 2 2) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 2) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 -2) 1) 1 (pow (* 6 -2) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 2) 1)) (pow 1 1)))) 24) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 0 1)) (* 2 (/ 0 1)) (* -2 (/ 0 1)) (* 2 (/ 1 1)))) into -2
* [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 -2) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 -2) 3) (pow (* 2 2) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 -2) 1) (pow (* 2 2) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 -2) 2) 1 (pow (* 6 -2) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 2) 1) (pow (* 6 -2) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 -2) 1) 1 1 (pow (* 24 2) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 -2) 1)) (pow 1 1)))) 120) into -2/5
* [misc]backup-simplify:  Simplify -2/5 into -2/5
* [misc]backup-simplify:  Simplify (+ (* -2/5 (pow eps 5)) (+ (* -2/3 (pow eps 3)) (* -2 eps))) into (- (+ (* 2/3 (pow eps 3)) (+ (* 2/5 (pow eps 5)) (* 2 eps))))
* [misc]approximate:  Taking taylor expansion of (log (/ (- 1 (/ 1 eps)) (+ 1 (/ 1 eps)))) in (eps) around 0
* [misc]taylor:  Taking taylor expansion of (log (/ (- 1 (/ 1 eps)) (+ 1 (/ 1 eps)))) in eps
* [misc]taylor:  Taking taylor expansion of (/ (- 1 (/ 1 eps)) (+ 1 (/ 1 eps))) in eps
* [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 eps)) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (+ 1 (/ 1 eps)) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (/ -1 1) into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]taylor:  Taking taylor expansion of (log (/ (- 1 (/ 1 eps)) (+ 1 (/ 1 eps)))) in eps
* [misc]taylor:  Taking taylor expansion of (/ (- 1 (/ 1 eps)) (+ 1 (/ 1 eps))) in eps
* [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 eps)) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (+ 1 (/ 1 eps)) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (/ -1 1) into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 2) 1)) (pow -1 1)))) 1) into -2
* [misc]backup-simplify:  Simplify -2 into -2
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 2) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 -2) 1)) (pow -1 1)))) 2) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2
* [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 2) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 2) 1) (pow (* 2 -2) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 2) 1)) (pow -1 1)))) 6) into -2/3
* [misc]backup-simplify:  Simplify -2/3 into -2/3
* [misc]backup-simplify:  Simplify (+ (* -2/3 (pow (/ 1 eps) 3)) (+ (* -2 (/ 1 eps)) (log -1))) into (- (log -1) (+ (* 2 (/ 1 eps)) (* 2/3 (/ 1 (pow eps 3)))))
* [misc]approximate:  Taking taylor expansion of (log (/ (- 1 (/ 1 (- eps))) (+ 1 (/ 1 (- eps))))) in (eps) around 0
* [misc]taylor:  Taking taylor expansion of (log (/ (- 1 (/ 1 (- eps))) (+ 1 (/ 1 (- eps))))) in eps
* [misc]taylor:  Taking taylor expansion of (/ (- 1 (/ 1 (- eps))) (+ 1 (/ 1 (- eps)))) in eps
* [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (- eps))) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- eps)) in eps
* [misc]taylor:  Taking taylor expansion of (- eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (+ 1 (/ 1 (- eps))) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- eps)) in eps
* [misc]taylor:  Taking taylor expansion of (- eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (- -1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]taylor:  Taking taylor expansion of (log (/ (- 1 (/ 1 (- eps))) (+ 1 (/ 1 (- eps))))) in eps
* [misc]taylor:  Taking taylor expansion of (/ (- 1 (/ 1 (- eps))) (+ 1 (/ 1 (- eps)))) in eps
* [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (- eps))) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- eps)) in eps
* [misc]taylor:  Taking taylor expansion of (- eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (+ 1 (/ 1 (- eps))) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- eps)) in eps
* [misc]taylor:  Taking taylor expansion of (- eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (- -1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -2) 1)) (pow -1 1)))) 1) into 2
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 -2) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 -2) 1)) (pow -1 1)))) 2) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2
* [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 -2) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 -2) 1) (pow (* 2 -2) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 -2) 1)) (pow -1 1)))) 6) into 2/3
* [misc]backup-simplify:  Simplify 2/3 into 2/3
* [misc]backup-simplify:  Simplify (+ (* 2/3 (pow (/ 1 (- eps)) 3)) (+ (* 2 (/ 1 (- eps))) (log -1))) into (- (log -1) (+ (* 2 (/ 1 eps)) (* 2/3 (/ 1 (pow eps 3)))))
* * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
* [misc]approximate:  Taking taylor expansion of (/ (- 1 eps) (+ 1 eps)) in (eps) around 0
* [misc]taylor:  Taking taylor expansion of (/ (- 1 eps) (+ 1 eps)) in eps
* [misc]taylor:  Taking taylor expansion of (- 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ (- 1 eps) (+ 1 eps)) in eps
* [misc]taylor:  Taking taylor expansion of (- 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2
* [misc]backup-simplify:  Simplify -2 into -2
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify (+ (* 2 (pow eps 2)) (+ (* -2 eps) 1)) into (- (+ (* 2 (pow eps 2)) 1) (* 2 eps))
* [misc]approximate:  Taking taylor expansion of (/ (- 1 (/ 1 eps)) (+ 1 (/ 1 eps))) in (eps) around 0
* [misc]taylor:  Taking taylor expansion of (/ (- 1 (/ 1 eps)) (+ 1 (/ 1 eps))) in eps
* [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 eps)) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (+ 1 (/ 1 eps)) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (/ -1 1) into -1
* [misc]taylor:  Taking taylor expansion of (/ (- 1 (/ 1 eps)) (+ 1 (/ 1 eps))) in eps
* [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 eps)) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (+ 1 (/ 1 eps)) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (/ -1 1) into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2
* [misc]backup-simplify:  Simplify -2 into -2
* [misc]backup-simplify:  Simplify (+ (* -2 (pow (/ 1 eps) 2)) (+ (* 2 (/ 1 eps)) -1)) into (- (* 2 (/ 1 eps)) (+ (* 2 (/ 1 (pow eps 2))) 1))
* [misc]approximate:  Taking taylor expansion of (/ (- 1 (/ 1 (- eps))) (+ 1 (/ 1 (- eps)))) in (eps) around 0
* [misc]taylor:  Taking taylor expansion of (/ (- 1 (/ 1 (- eps))) (+ 1 (/ 1 (- eps)))) in eps
* [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (- eps))) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- eps)) in eps
* [misc]taylor:  Taking taylor expansion of (- eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (+ 1 (/ 1 (- eps))) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- eps)) in eps
* [misc]taylor:  Taking taylor expansion of (- eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (- -1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ (- 1 (/ 1 (- eps))) (+ 1 (/ 1 (- eps)))) in eps
* [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (- eps))) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- eps)) in eps
* [misc]taylor:  Taking taylor expansion of (- eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (+ 1 (/ 1 (- eps))) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- eps)) in eps
* [misc]taylor:  Taking taylor expansion of (- eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (- -1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2
* [misc]backup-simplify:  Simplify -2 into -2
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2
* [misc]backup-simplify:  Simplify -2 into -2
* [misc]backup-simplify:  Simplify (+ (* -2 (pow (/ 1 (- eps)) 2)) (+ (* -2 (/ 1 (- eps))) -1)) into (- (* 2 (/ 1 eps)) (+ (* 2 (/ 1 (pow eps 2))) 1))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 68 ] simplifiying candidate #<alt (λ (eps) (log1p (expm1 (log (/ (- 1 eps) (+ 1 eps))))))>
* * * * [misc]progress:  [ 2 / 68 ] simplifiying candidate #<alt (λ (eps) (expm1 (log1p (log (/ (- 1 eps) (+ 1 eps))))))>
* * * * [misc]progress:  [ 3 / 68 ] simplifiying candidate #<alt (λ (eps) (+ (log (* (cbrt (/ (- 1 eps) (+ 1 eps))) (cbrt (/ (- 1 eps) (+ 1 eps))))) (log (cbrt (/ (- 1 eps) (+ 1 eps))))))>
* [enter]simplify:  Simplifying (log (* (cbrt (/ (- 1 eps) (+ 1 eps))) (cbrt (/ (- 1 eps) (+ 1 eps)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (21 enodes)
* * [misc]simplify:  iters left: 3 (23 enodes)
* [exit]simplify:  Simplified to (log (* (cbrt (/ (- 1 eps) (+ eps 1))) (cbrt (/ (- 1 eps) (+ eps 1)))))
* [misc]simplify:  Simplified (2 1) to (λ (eps) (+ (log (* (cbrt (/ (- 1 eps) (+ eps 1))) (cbrt (/ (- 1 eps) (+ eps 1))))) (log (cbrt (/ (- 1 eps) (+ 1 eps))))))
* * * * [misc]progress:  [ 4 / 68 ] simplifiying candidate #<alt (λ (eps) (+ (log (sqrt (/ (- 1 eps) (+ 1 eps)))) (log (sqrt (/ (- 1 eps) (+ 1 eps))))))>
* [enter]simplify:  Simplifying (log (sqrt (/ (- 1 eps) (+ 1 eps))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (20 enodes)
* [exit]simplify:  Simplified to (log (sqrt (/ (- 1 eps) (+ eps 1))))
* [misc]simplify:  Simplified (2 1) to (λ (eps) (+ (log (sqrt (/ (- 1 eps) (+ eps 1)))) (log (sqrt (/ (- 1 eps) (+ 1 eps))))))
* * * * [misc]progress:  [ 5 / 68 ] simplifiying candidate #<alt (λ (eps) (+ (log (/ (* (cbrt (- 1 eps)) (cbrt (- 1 eps))) (* (cbrt (+ 1 eps)) (cbrt (+ 1 eps))))) (log (/ (cbrt (- 1 eps)) (cbrt (+ 1 eps))))))>
* [enter]simplify:  Simplifying (log (/ (* (cbrt (- 1 eps)) (cbrt (- 1 eps))) (* (cbrt (+ 1 eps)) (cbrt (+ 1 eps)))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (24 enodes)
* * [misc]simplify:  iters left: 4 (42 enodes)
* * [misc]simplify:  iters left: 3 (65 enodes)
* * [misc]simplify:  iters left: 2 (88 enodes)
* * [misc]simplify:  iters left: 1 (112 enodes)
* [exit]simplify:  Simplified to (+ (log (/ (cbrt (- 1 eps)) (cbrt (+ eps 1)))) (log (/ (cbrt (- 1 eps)) (cbrt (+ eps 1)))))
* [misc]simplify:  Simplified (2 1) to (λ (eps) (+ (+ (log (/ (cbrt (- 1 eps)) (cbrt (+ eps 1)))) (log (/ (cbrt (- 1 eps)) (cbrt (+ eps 1))))) (log (/ (cbrt (- 1 eps)) (cbrt (+ 1 eps))))))
* * * * [misc]progress:  [ 6 / 68 ] simplifiying candidate #<alt (λ (eps) (+ (log (/ (* (cbrt (- 1 eps)) (cbrt (- 1 eps))) (sqrt (+ 1 eps)))) (log (/ (cbrt (- 1 eps)) (sqrt (+ 1 eps))))))>
* [enter]simplify:  Simplifying (log (/ (* (cbrt (- 1 eps)) (cbrt (- 1 eps))) (sqrt (+ 1 eps))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (26 enodes)
* * [misc]simplify:  iters left: 3 (36 enodes)
* * [misc]simplify:  iters left: 2 (42 enodes)
* * [misc]simplify:  iters left: 1 (45 enodes)
* [exit]simplify:  Simplified to (log (/ (cbrt (- 1 eps)) (/ (sqrt (+ eps 1)) (cbrt (- 1 eps)))))
* [misc]simplify:  Simplified (2 1) to (λ (eps) (+ (log (/ (cbrt (- 1 eps)) (/ (sqrt (+ eps 1)) (cbrt (- 1 eps))))) (log (/ (cbrt (- 1 eps)) (sqrt (+ 1 eps))))))
* * * * [misc]progress:  [ 7 / 68 ] simplifiying candidate #<alt (λ (eps) (+ (log (/ (* (cbrt (- 1 eps)) (cbrt (- 1 eps))) 1)) (log (/ (cbrt (- 1 eps)) (+ 1 eps)))))>
* [enter]simplify:  Simplifying (log (/ (* (cbrt (- 1 eps)) (cbrt (- 1 eps))) 1))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (27 enodes)
* * [misc]simplify:  iters left: 3 (39 enodes)
* * [misc]simplify:  iters left: 2 (56 enodes)
* * [misc]simplify:  iters left: 1 (91 enodes)
* [exit]simplify:  Simplified to (log (* (cbrt (- 1 eps)) (cbrt (- 1 eps))))
* [misc]simplify:  Simplified (2 1) to (λ (eps) (+ (log (* (cbrt (- 1 eps)) (cbrt (- 1 eps)))) (log (/ (cbrt (- 1 eps)) (+ 1 eps)))))
* * * * [misc]progress:  [ 8 / 68 ] simplifiying candidate #<alt (λ (eps) (+ (log (/ (sqrt (- 1 eps)) (* (cbrt (+ 1 eps)) (cbrt (+ 1 eps))))) (log (/ (sqrt (- 1 eps)) (cbrt (+ 1 eps))))))>
* [enter]simplify:  Simplifying (log (/ (sqrt (- 1 eps)) (* (cbrt (+ 1 eps)) (cbrt (+ 1 eps)))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (24 enodes)
* * [misc]simplify:  iters left: 3 (31 enodes)
* * [misc]simplify:  iters left: 2 (37 enodes)
* * [misc]simplify:  iters left: 1 (42 enodes)
* [exit]simplify:  Simplified to (log (/ (sqrt (- 1 eps)) (* (cbrt (+ eps 1)) (cbrt (+ eps 1)))))
* [misc]simplify:  Simplified (2 1) to (λ (eps) (+ (log (/ (sqrt (- 1 eps)) (* (cbrt (+ eps 1)) (cbrt (+ eps 1))))) (log (/ (sqrt (- 1 eps)) (cbrt (+ 1 eps))))))
* * * * [misc]progress:  [ 9 / 68 ] simplifiying candidate #<alt (λ (eps) (+ (log (/ (sqrt (- 1 eps)) (sqrt (+ 1 eps)))) (log (/ (sqrt (- 1 eps)) (sqrt (+ 1 eps))))))>
* [enter]simplify:  Simplifying (log (/ (sqrt (- 1 eps)) (sqrt (+ 1 eps))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (19 enodes)
* * [misc]simplify:  iters left: 3 (20 enodes)
* [exit]simplify:  Simplified to (log (/ (sqrt (- 1 eps)) (sqrt (+ eps 1))))
* [misc]simplify:  Simplified (2 1) to (λ (eps) (+ (log (/ (sqrt (- 1 eps)) (sqrt (+ eps 1)))) (log (/ (sqrt (- 1 eps)) (sqrt (+ 1 eps))))))
* * * * [misc]progress:  [ 10 / 68 ] simplifiying candidate #<alt (λ (eps) (+ (log (/ (sqrt (- 1 eps)) 1)) (log (/ (sqrt (- 1 eps)) (+ 1 eps)))))>
* [enter]simplify:  Simplifying (log (/ (sqrt (- 1 eps)) 1))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (22 enodes)
* * [misc]simplify:  iters left: 3 (41 enodes)
* * [misc]simplify:  iters left: 2 (196 enodes)
* [exit]simplify:  Simplified to (log (sqrt (- 1 eps)))
* [misc]simplify:  Simplified (2 1) to (λ (eps) (+ (log (sqrt (- 1 eps))) (log (/ (sqrt (- 1 eps)) (+ 1 eps)))))
* * * * [misc]progress:  [ 11 / 68 ] simplifiying candidate #<alt (λ (eps) (+ (log (/ 1 (* (cbrt (+ 1 eps)) (cbrt (+ 1 eps))))) (log (/ (- 1 eps) (cbrt (+ 1 eps))))))>
* [enter]simplify:  Simplifying (log (/ 1 (* (cbrt (+ 1 eps)) (cbrt (+ 1 eps)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (21 enodes)
* * [misc]simplify:  iters left: 3 (30 enodes)
* * [misc]simplify:  iters left: 2 (60 enodes)
* * [misc]simplify:  iters left: 1 (135 enodes)
* [exit]simplify:  Simplified to (+ (- (log (cbrt (+ eps 1)))) (- (log (cbrt (+ eps 1)))))
* [misc]simplify:  Simplified (2 1) to (λ (eps) (+ (+ (- (log (cbrt (+ eps 1)))) (- (log (cbrt (+ eps 1))))) (log (/ (- 1 eps) (cbrt (+ 1 eps))))))
* * * * [misc]progress:  [ 12 / 68 ] simplifiying candidate #<alt (λ (eps) (+ (log (/ 1 (sqrt (+ 1 eps)))) (log (/ (- 1 eps) (sqrt (+ 1 eps))))))>
* [enter]simplify:  Simplifying (log (/ 1 (sqrt (+ 1 eps))))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (18 enodes)
* * [misc]simplify:  iters left: 2 (31 enodes)
* * [misc]simplify:  iters left: 1 (73 enodes)
* [exit]simplify:  Simplified to (log (/ 1 (sqrt (+ eps 1))))
* [misc]simplify:  Simplified (2 1) to (λ (eps) (+ (log (/ 1 (sqrt (+ eps 1)))) (log (/ (- 1 eps) (sqrt (+ 1 eps))))))
* * * * [misc]progress:  [ 13 / 68 ] simplifiying candidate #<alt (λ (eps) (+ (log (/ 1 1)) (log (/ (- 1 eps) (+ 1 eps)))))>
* [enter]simplify:  Simplifying (log (/ 1 1))
* * [misc]simplify:  iters left: 3 (3 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* [exit]simplify:  Simplified to (log 1)
* [misc]simplify:  Simplified (2 1) to (λ (eps) (+ (log 1) (log (/ (- 1 eps) (+ 1 eps)))))
* * * * [misc]progress:  [ 14 / 68 ] simplifiying candidate #<alt (λ (eps) (+ (log 1) (log (/ (- 1 eps) (+ 1 eps)))))>
* [enter]simplify:  Simplifying (log 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (log 1)
* [misc]simplify:  Simplified (2 1) to (λ (eps) (+ (log 1) (log (/ (- 1 eps) (+ 1 eps)))))
* * * * [misc]progress:  [ 15 / 68 ] simplifiying candidate #<alt (λ (eps) (+ (log (- 1 eps)) (log (/ 1 (+ 1 eps)))))>
* [enter]simplify:  Simplifying (log (- 1 eps))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* * [misc]simplify:  iters left: 1 (10 enodes)
* [exit]simplify:  Simplified to (log (- 1 eps))
* [misc]simplify:  Simplified (2 1) to (λ (eps) (+ (log (- 1 eps)) (log (/ 1 (+ 1 eps)))))
* * * * [misc]progress:  [ 16 / 68 ] simplifiying candidate #<alt (λ (eps) (+ (log (/ (- 1 eps) (+ (pow 1 3) (pow eps 3)))) (log (+ (* 1 1) (- (* eps eps) (* 1 eps))))))>
* [enter]simplify:  Simplifying (log (/ (- 1 eps) (+ (pow 1 3) (pow eps 3))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (34 enodes)
* * [misc]simplify:  iters left: 3 (37 enodes)
* [exit]simplify:  Simplified to (- (log (- 1 eps)) (log1p (pow eps 3)))
* [misc]simplify:  Simplified (2 1) to (λ (eps) (+ (- (log (- 1 eps)) (log1p (pow eps 3))) (log (+ (* 1 1) (- (* eps eps) (* 1 eps))))))
* * * * [misc]progress:  [ 17 / 68 ] simplifiying candidate #<alt (λ (eps) (+ (log (/ (- 1 eps) (- (* 1 1) (* eps eps)))) (log (- 1 eps))))>
* [enter]simplify:  Simplifying (log (/ (- 1 eps) (- (* 1 1) (* eps eps))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (31 enodes)
* * [misc]simplify:  iters left: 3 (36 enodes)
* [exit]simplify:  Simplified to (log (/ (- 1 eps) (- 1 (* eps eps))))
* [misc]simplify:  Simplified (2 1) to (λ (eps) (+ (log (/ (- 1 eps) (- 1 (* eps eps)))) (log (- 1 eps))))
* * * * [misc]progress:  [ 18 / 68 ] simplifiying candidate #<alt (λ (eps) (- (log (- 1 eps)) (log (+ 1 eps))))>
* [enter]simplify:  Simplifying (log (- 1 eps))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* * [misc]simplify:  iters left: 1 (10 enodes)
* [exit]simplify:  Simplified to (log (- 1 eps))
* [misc]simplify:  Simplified (2 1) to (λ (eps) (- (log (- 1 eps)) (log (+ 1 eps))))
* * * * [misc]progress:  [ 19 / 68 ] simplifiying candidate #<alt (λ (eps) (* 1 (log (/ (- 1 eps) (+ 1 eps)))))>
* * * * [misc]progress:  [ 20 / 68 ] simplifiying candidate #<alt (λ (eps) (pow (log (/ (- 1 eps) (+ 1 eps))) 1))>
* * * * [misc]progress:  [ 21 / 68 ] simplifiying candidate #<alt (λ (eps) (- (log (- 1 eps)) (log (+ 1 eps))))>
* [enter]simplify:  Simplifying (log (- 1 eps))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* * [misc]simplify:  iters left: 1 (10 enodes)
* [exit]simplify:  Simplified to (log (- 1 eps))
* [misc]simplify:  Simplified (2 1) to (λ (eps) (- (log (- 1 eps)) (log (+ 1 eps))))
* * * * [misc]progress:  [ 22 / 68 ] simplifiying candidate #<alt (λ (eps) (log (/ (- 1 eps) (+ 1 eps))))>
* [enter]simplify:  Simplifying (/ (- 1 eps) (+ 1 eps))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* * [misc]simplify:  iters left: 2 (16 enodes)
* * [misc]simplify:  iters left: 1 (18 enodes)
* [exit]simplify:  Simplified to (/ (- 1 eps) (+ eps 1))
* [misc]simplify:  Simplified (2 1) to (λ (eps) (log (/ (- 1 eps) (+ eps 1))))
* * * * [misc]progress:  [ 23 / 68 ] simplifiying candidate #<alt (λ (eps) (exp (log (log (/ (- 1 eps) (+ 1 eps))))))>
* * * * [misc]progress:  [ 24 / 68 ] simplifiying candidate #<alt (λ (eps) (log (exp (log (/ (- 1 eps) (+ 1 eps))))))>
* * * * [misc]progress:  [ 25 / 68 ] simplifiying candidate #<alt (λ (eps) (* (* (cbrt (log (/ (- 1 eps) (+ 1 eps)))) (cbrt (log (/ (- 1 eps) (+ 1 eps))))) (cbrt (log (/ (- 1 eps) (+ 1 eps))))))>
* * * * [misc]progress:  [ 26 / 68 ] simplifiying candidate #<alt (λ (eps) (cbrt (* (* (log (/ (- 1 eps) (+ 1 eps))) (log (/ (- 1 eps) (+ 1 eps)))) (log (/ (- 1 eps) (+ 1 eps))))))>
* * * * [misc]progress:  [ 27 / 68 ] simplifiying candidate #<alt (λ (eps) (* (sqrt (log (/ (- 1 eps) (+ 1 eps)))) (sqrt (log (/ (- 1 eps) (+ 1 eps))))))>
* * * * [misc]progress:  [ 28 / 68 ] simplifiying candidate #<alt (λ (eps) (* 1 (log (/ (- 1 eps) (+ 1 eps)))))>
* * * * [misc]progress:  [ 29 / 68 ] simplifiying candidate #<alt (λ (eps) (log (log1p (expm1 (/ (- 1 eps) (+ 1 eps))))))>
* * * * [misc]progress:  [ 30 / 68 ] simplifiying candidate #<alt (λ (eps) (log (expm1 (log1p (/ (- 1 eps) (+ 1 eps))))))>
* * * * [misc]progress:  [ 31 / 68 ] simplifiying candidate #<alt (λ (eps) (log (pow (/ (- 1 eps) (+ 1 eps)) 1)))>
* * * * [misc]progress:  [ 32 / 68 ] simplifiying candidate #<alt (λ (eps) (log (exp (- (log (- 1 eps)) (log (+ 1 eps))))))>
* [enter]simplify:  Simplifying (- (log (- 1 eps)) (log (+ 1 eps)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (18 enodes)
* [exit]simplify:  Simplified to (- (log (- 1 eps)) (log1p eps))
* [misc]simplify:  Simplified (2 1 1) to (λ (eps) (log (exp (- (log (- 1 eps)) (log1p eps)))))
* * * * [misc]progress:  [ 33 / 68 ] simplifiying candidate #<alt (λ (eps) (log (exp (log (/ (- 1 eps) (+ 1 eps))))))>
* * * * [misc]progress:  [ 34 / 68 ] simplifiying candidate #<alt (λ (eps) (log (log (exp (/ (- 1 eps) (+ 1 eps))))))>
* * * * [misc]progress:  [ 35 / 68 ] simplifiying candidate #<alt (λ (eps) (log (cbrt (/ (* (* (- 1 eps) (- 1 eps)) (- 1 eps)) (* (* (+ 1 eps) (+ 1 eps)) (+ 1 eps))))))>
* [enter]simplify:  Simplifying (/ (* (* (- 1 eps) (- 1 eps)) (- 1 eps)) (* (* (+ 1 eps) (+ 1 eps)) (+ 1 eps)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (35 enodes)
* * [misc]simplify:  iters left: 4 (100 enodes)
* * [misc]simplify:  iters left: 3 (315 enodes)
* [exit]simplify:  Simplified to (pow (/ (- 1 eps) (+ eps 1)) 3)
* [misc]simplify:  Simplified (2 1 1) to (λ (eps) (log (cbrt (pow (/ (- 1 eps) (+ eps 1)) 3))))
* * * * [misc]progress:  [ 36 / 68 ] simplifiying candidate #<alt (λ (eps) (log (* (* (cbrt (/ (- 1 eps) (+ 1 eps))) (cbrt (/ (- 1 eps) (+ 1 eps)))) (cbrt (/ (- 1 eps) (+ 1 eps))))))>
* * * * [misc]progress:  [ 37 / 68 ] simplifiying candidate #<alt (λ (eps) (log (cbrt (* (* (/ (- 1 eps) (+ 1 eps)) (/ (- 1 eps) (+ 1 eps))) (/ (- 1 eps) (+ 1 eps))))))>
* * * * [misc]progress:  [ 38 / 68 ] simplifiying candidate #<alt (λ (eps) (log (* (sqrt (/ (- 1 eps) (+ 1 eps))) (sqrt (/ (- 1 eps) (+ 1 eps))))))>
* * * * [misc]progress:  [ 39 / 68 ] simplifiying candidate #<alt (λ (eps) (log (/ (- (- 1 eps)) (- (+ 1 eps)))))>
* * * * [misc]progress:  [ 40 / 68 ] simplifiying candidate #<alt (λ (eps) (log (- (/ 1 (+ 1 eps)) (/ eps (+ 1 eps)))))>
* [enter]simplify:  Simplifying (/ 1 (+ 1 eps))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* [exit]simplify:  Simplified to (/ 1 (+ eps 1))
* [misc]simplify:  Simplified (2 1 1) to (λ (eps) (log (- (/ 1 (+ eps 1)) (/ eps (+ 1 eps)))))
* * * * [misc]progress:  [ 41 / 68 ] simplifiying candidate #<alt (λ (eps) (log (* (/ (* (cbrt (- 1 eps)) (cbrt (- 1 eps))) (* (cbrt (+ 1 eps)) (cbrt (+ 1 eps)))) (/ (cbrt (- 1 eps)) (cbrt (+ 1 eps))))))>
* [enter]simplify:  Simplifying (/ (* (cbrt (- 1 eps)) (cbrt (- 1 eps))) (* (cbrt (+ 1 eps)) (cbrt (+ 1 eps))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (30 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (36 enodes)
* [exit]simplify:  Simplified to (* (/ (cbrt (- 1 eps)) (cbrt (+ eps 1))) (/ (cbrt (- 1 eps)) (cbrt (+ eps 1))))
* [misc]simplify:  Simplified (2 1 1) to (λ (eps) (log (* (* (/ (cbrt (- 1 eps)) (cbrt (+ eps 1))) (/ (cbrt (- 1 eps)) (cbrt (+ eps 1)))) (/ (cbrt (- 1 eps)) (cbrt (+ 1 eps))))))
* [enter]simplify:  Simplifying (/ (cbrt (- 1 eps)) (cbrt (+ 1 eps)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* [exit]simplify:  Simplified to (/ (cbrt (- 1 eps)) (cbrt (+ eps 1)))
* [misc]simplify:  Simplified (2 1 2) to (λ (eps) (log (* (/ (* (cbrt (- 1 eps)) (cbrt (- 1 eps))) (* (cbrt (+ 1 eps)) (cbrt (+ 1 eps)))) (/ (cbrt (- 1 eps)) (cbrt (+ eps 1))))))
* * * * [misc]progress:  [ 42 / 68 ] simplifiying candidate #<alt (λ (eps) (log (* (/ (* (cbrt (- 1 eps)) (cbrt (- 1 eps))) (sqrt (+ 1 eps))) (/ (cbrt (- 1 eps)) (sqrt (+ 1 eps))))))>
* [enter]simplify:  Simplifying (/ (* (cbrt (- 1 eps)) (cbrt (- 1 eps))) (sqrt (+ 1 eps)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (19 enodes)
* [exit]simplify:  Simplified to (* (/ (cbrt (- 1 eps)) (sqrt (+ eps 1))) (cbrt (- 1 eps)))
* [misc]simplify:  Simplified (2 1 1) to (λ (eps) (log (* (* (/ (cbrt (- 1 eps)) (sqrt (+ eps 1))) (cbrt (- 1 eps))) (/ (cbrt (- 1 eps)) (sqrt (+ 1 eps))))))
* [enter]simplify:  Simplifying (/ (cbrt (- 1 eps)) (sqrt (+ 1 eps)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* [exit]simplify:  Simplified to (/ (cbrt (- 1 eps)) (sqrt (+ eps 1)))
* [misc]simplify:  Simplified (2 1 2) to (λ (eps) (log (* (/ (* (cbrt (- 1 eps)) (cbrt (- 1 eps))) (sqrt (+ 1 eps))) (/ (cbrt (- 1 eps)) (sqrt (+ eps 1))))))
* * * * [misc]progress:  [ 43 / 68 ] simplifiying candidate #<alt (λ (eps) (log (* (/ (* (cbrt (- 1 eps)) (cbrt (- 1 eps))) 1) (/ (cbrt (- 1 eps)) (+ 1 eps)))))>
* [enter]simplify:  Simplifying (/ (* (cbrt (- 1 eps)) (cbrt (- 1 eps))) 1)
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* * [misc]simplify:  iters left: 4 (19 enodes)
* * [misc]simplify:  iters left: 3 (24 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* [exit]simplify:  Simplified to (* (cbrt (- 1 eps)) (cbrt (- 1 eps)))
* [misc]simplify:  Simplified (2 1 1) to (λ (eps) (log (* (* (cbrt (- 1 eps)) (cbrt (- 1 eps))) (/ (cbrt (- 1 eps)) (+ 1 eps)))))
* [enter]simplify:  Simplifying (/ (cbrt (- 1 eps)) (+ 1 eps))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* [exit]simplify:  Simplified to (/ (cbrt (- 1 eps)) (+ eps 1))
* [misc]simplify:  Simplified (2 1 2) to (λ (eps) (log (* (* (cbrt (- 1 eps)) (cbrt (- 1 eps))) (/ (cbrt (- 1 eps)) (+ eps 1)))))
* * * * [misc]progress:  [ 44 / 68 ] simplifiying candidate #<alt (λ (eps) (log (* (/ (sqrt (- 1 eps)) (* (cbrt (+ 1 eps)) (cbrt (+ 1 eps)))) (/ (sqrt (- 1 eps)) (cbrt (+ 1 eps))))))>
* [enter]simplify:  Simplifying (/ (sqrt (- 1 eps)) (* (cbrt (+ 1 eps)) (cbrt (+ 1 eps))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* [exit]simplify:  Simplified to (/ (sqrt (- 1 eps)) (* (cbrt (+ eps 1)) (cbrt (+ eps 1))))
* [misc]simplify:  Simplified (2 1 1) to (λ (eps) (log (* (/ (sqrt (- 1 eps)) (* (cbrt (+ eps 1)) (cbrt (+ eps 1)))) (/ (sqrt (- 1 eps)) (cbrt (+ 1 eps))))))
* [enter]simplify:  Simplifying (/ (sqrt (- 1 eps)) (cbrt (+ 1 eps)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* [exit]simplify:  Simplified to (/ (sqrt (- 1 eps)) (cbrt (+ eps 1)))
* [misc]simplify:  Simplified (2 1 2) to (λ (eps) (log (* (/ (sqrt (- 1 eps)) (* (cbrt (+ 1 eps)) (cbrt (+ 1 eps)))) (/ (sqrt (- 1 eps)) (cbrt (+ eps 1))))))
* * * * [misc]progress:  [ 45 / 68 ] simplifiying candidate #<alt (λ (eps) (log (* (/ (sqrt (- 1 eps)) (sqrt (+ 1 eps))) (/ (sqrt (- 1 eps)) (sqrt (+ 1 eps))))))>
* [enter]simplify:  Simplifying (/ (sqrt (- 1 eps)) (sqrt (+ 1 eps)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* [exit]simplify:  Simplified to (/ (sqrt (- 1 eps)) (sqrt (+ eps 1)))
* [misc]simplify:  Simplified (2 1 1) to (λ (eps) (log (* (/ (sqrt (- 1 eps)) (sqrt (+ eps 1))) (/ (sqrt (- 1 eps)) (sqrt (+ 1 eps))))))
* [enter]simplify:  Simplifying (/ (sqrt (- 1 eps)) (sqrt (+ 1 eps)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* [exit]simplify:  Simplified to (/ (sqrt (- 1 eps)) (sqrt (+ eps 1)))
* [misc]simplify:  Simplified (2 1 2) to (λ (eps) (log (* (/ (sqrt (- 1 eps)) (sqrt (+ 1 eps))) (/ (sqrt (- 1 eps)) (sqrt (+ eps 1))))))
* * * * [misc]progress:  [ 46 / 68 ] simplifiying candidate #<alt (λ (eps) (log (* (/ (sqrt (- 1 eps)) 1) (/ (sqrt (- 1 eps)) (+ 1 eps)))))>
* [enter]simplify:  Simplifying (/ (sqrt (- 1 eps)) 1)
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* [exit]simplify:  Simplified to (sqrt (- 1 eps))
* [misc]simplify:  Simplified (2 1 1) to (λ (eps) (log (* (sqrt (- 1 eps)) (/ (sqrt (- 1 eps)) (+ 1 eps)))))
* [enter]simplify:  Simplifying (/ (sqrt (- 1 eps)) (+ 1 eps))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* [exit]simplify:  Simplified to (/ (sqrt (- 1 eps)) (+ eps 1))
* [misc]simplify:  Simplified (2 1 2) to (λ (eps) (log (* (sqrt (- 1 eps)) (/ (sqrt (- 1 eps)) (+ eps 1)))))
* * * * [misc]progress:  [ 47 / 68 ] simplifiying candidate #<alt (λ (eps) (log (* (/ 1 (* (cbrt (+ 1 eps)) (cbrt (+ 1 eps)))) (/ (- 1 eps) (cbrt (+ 1 eps))))))>
* [enter]simplify:  Simplifying (/ 1 (* (cbrt (+ 1 eps)) (cbrt (+ 1 eps))))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* [exit]simplify:  Simplified to (/ (/ 1 (cbrt (+ eps 1))) (cbrt (+ eps 1)))
* [misc]simplify:  Simplified (2 1 1) to (λ (eps) (log (* (/ (/ 1 (cbrt (+ eps 1))) (cbrt (+ eps 1))) (/ (- 1 eps) (cbrt (+ 1 eps))))))
* [enter]simplify:  Simplifying (/ (- 1 eps) (cbrt (+ 1 eps)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* [exit]simplify:  Simplified to (/ (- 1 eps) (cbrt (+ eps 1)))
* [misc]simplify:  Simplified (2 1 2) to (λ (eps) (log (* (/ 1 (* (cbrt (+ 1 eps)) (cbrt (+ 1 eps)))) (/ (- 1 eps) (cbrt (+ eps 1))))))
* * * * [misc]progress:  [ 48 / 68 ] simplifiying candidate #<alt (λ (eps) (log (* (/ 1 (sqrt (+ 1 eps))) (/ (- 1 eps) (sqrt (+ 1 eps))))))>
* [enter]simplify:  Simplifying (/ 1 (sqrt (+ 1 eps)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* [exit]simplify:  Simplified to (/ 1 (sqrt (+ eps 1)))
* [misc]simplify:  Simplified (2 1 1) to (λ (eps) (log (* (/ 1 (sqrt (+ eps 1))) (/ (- 1 eps) (sqrt (+ 1 eps))))))
* [enter]simplify:  Simplifying (/ (- 1 eps) (sqrt (+ 1 eps)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* [exit]simplify:  Simplified to (/ (- 1 eps) (sqrt (+ eps 1)))
* [misc]simplify:  Simplified (2 1 2) to (λ (eps) (log (* (/ 1 (sqrt (+ 1 eps))) (/ (- 1 eps) (sqrt (+ eps 1))))))
* * * * [misc]progress:  [ 49 / 68 ] simplifiying candidate #<alt (λ (eps) (log (* (/ 1 1) (/ (- 1 eps) (+ 1 eps)))))>
* [enter]simplify:  Simplifying (/ 1 1)
* * [misc]simplify:  iters left: 2 (2 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to 1
* [misc]simplify:  Simplified (2 1 1) to (λ (eps) (log (* 1 (/ (- 1 eps) (+ 1 eps)))))
* [enter]simplify:  Simplifying (/ (- 1 eps) (+ 1 eps))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* * [misc]simplify:  iters left: 2 (16 enodes)
* * [misc]simplify:  iters left: 1 (18 enodes)
* [exit]simplify:  Simplified to (/ (- 1 eps) (+ eps 1))
* [misc]simplify:  Simplified (2 1 2) to (λ (eps) (log (* 1 (/ (- 1 eps) (+ eps 1)))))
* * * * [misc]progress:  [ 50 / 68 ] simplifiying candidate #<alt (λ (eps) (log (* 1 (/ (- 1 eps) (+ 1 eps)))))>
* * * * [misc]progress:  [ 51 / 68 ] simplifiying candidate #<alt (λ (eps) (log (* (- 1 eps) (/ 1 (+ 1 eps)))))>
* * * * [misc]progress:  [ 52 / 68 ] simplifiying candidate #<alt (λ (eps) (log (/ 1 (/ (+ 1 eps) (- 1 eps)))))>
* * * * [misc]progress:  [ 53 / 68 ] simplifiying candidate #<alt (λ (eps) (log (/ (/ (- 1 eps) (* (cbrt (+ 1 eps)) (cbrt (+ 1 eps)))) (cbrt (+ 1 eps)))))>
* [enter]simplify:  Simplifying (cbrt (+ 1 eps))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* [exit]simplify:  Simplified to (cbrt (+ eps 1))
* [misc]simplify:  Simplified (2 1 2) to (λ (eps) (log (/ (/ (- 1 eps) (* (cbrt (+ 1 eps)) (cbrt (+ 1 eps)))) (cbrt (+ eps 1)))))
* * * * [misc]progress:  [ 54 / 68 ] simplifiying candidate #<alt (λ (eps) (log (/ (/ (- 1 eps) (sqrt (+ 1 eps))) (sqrt (+ 1 eps)))))>
* [enter]simplify:  Simplifying (sqrt (+ 1 eps))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* [exit]simplify:  Simplified to (sqrt (+ eps 1))
* [misc]simplify:  Simplified (2 1 2) to (λ (eps) (log (/ (/ (- 1 eps) (sqrt (+ 1 eps))) (sqrt (+ eps 1)))))
* * * * [misc]progress:  [ 55 / 68 ] simplifiying candidate #<alt (λ (eps) (log (/ (/ (- 1 eps) 1) (+ 1 eps))))>
* [enter]simplify:  Simplifying (+ 1 eps)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (6 enodes)
* [exit]simplify:  Simplified to (+ eps 1)
* [misc]simplify:  Simplified (2 1 2) to (λ (eps) (log (/ (/ (- 1 eps) 1) (+ eps 1))))
* * * * [misc]progress:  [ 56 / 68 ] simplifiying candidate #<alt (λ (eps) (log (/ (* (cbrt (- 1 eps)) (cbrt (- 1 eps))) (/ (+ 1 eps) (cbrt (- 1 eps))))))>
* [enter]simplify:  Simplifying (* (cbrt (- 1 eps)) (cbrt (- 1 eps)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (* (cbrt (- 1 eps)) (cbrt (- 1 eps)))
* [misc]simplify:  Simplified (2 1 1) to (λ (eps) (log (/ (* (cbrt (- 1 eps)) (cbrt (- 1 eps))) (/ (+ 1 eps) (cbrt (- 1 eps))))))
* * * * [misc]progress:  [ 57 / 68 ] simplifiying candidate #<alt (λ (eps) (log (/ (sqrt (- 1 eps)) (/ (+ 1 eps) (sqrt (- 1 eps))))))>
* [enter]simplify:  Simplifying (sqrt (- 1 eps))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* * [misc]simplify:  iters left: 1 (9 enodes)
* [exit]simplify:  Simplified to (sqrt (- 1 eps))
* [misc]simplify:  Simplified (2 1 1) to (λ (eps) (log (/ (sqrt (- 1 eps)) (/ (+ 1 eps) (sqrt (- 1 eps))))))
* * * * [misc]progress:  [ 58 / 68 ] simplifiying candidate #<alt (λ (eps) (log (/ 1 (/ (+ 1 eps) (- 1 eps)))))>
* * * * [misc]progress:  [ 59 / 68 ] simplifiying candidate #<alt (λ (eps) (log (* (/ (- 1 eps) (+ (pow 1 3) (pow eps 3))) (+ (* 1 1) (- (* eps eps) (* 1 eps))))))>
* [enter]simplify:  Simplifying (+ (* 1 1) (- (* eps eps) (* 1 eps)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (28 enodes)
* * [misc]simplify:  iters left: 3 (48 enodes)
* * [misc]simplify:  iters left: 2 (65 enodes)
* * [misc]simplify:  iters left: 1 (83 enodes)
* [exit]simplify:  Simplified to (fma eps eps (- 1 eps))
* [misc]simplify:  Simplified (2 1 2) to (λ (eps) (log (* (/ (- 1 eps) (+ (pow 1 3) (pow eps 3))) (fma eps eps (- 1 eps)))))
* * * * [misc]progress:  [ 60 / 68 ] simplifiying candidate #<alt (λ (eps) (log (* (/ (- 1 eps) (- (* 1 1) (* eps eps))) (- 1 eps))))>
* [enter]simplify:  Simplifying (- 1 eps)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (7 enodes)
* [exit]simplify:  Simplified to (- 1 eps)
* [misc]simplify:  Simplified (2 1 2) to (λ (eps) (log (* (/ (- 1 eps) (- (* 1 1) (* eps eps))) (- 1 eps))))
* * * * [misc]progress:  [ 61 / 68 ] simplifiying candidate #<alt (λ (eps) (log (/ (- (pow 1 3) (pow eps 3)) (* (+ 1 eps) (+ (* 1 1) (+ (* eps eps) (* 1 eps)))))))>
* [enter]simplify:  Simplifying (- (pow 1 3) (pow eps 3))
* * [misc]simplify:  iters left: 3 (6 enodes)
* * [misc]simplify:  iters left: 2 (15 enodes)
* * [misc]simplify:  iters left: 1 (22 enodes)
* [exit]simplify:  Simplified to (fma (- eps) (* eps eps) 1)
* [misc]simplify:  Simplified (2 1 1) to (λ (eps) (log (/ (fma (- eps) (* eps eps) 1) (* (+ 1 eps) (+ (* 1 1) (+ (* eps eps) (* 1 eps)))))))
* * * * [misc]progress:  [ 62 / 68 ] simplifiying candidate #<alt (λ (eps) (log (/ (- (* 1 1) (* eps eps)) (* (+ 1 eps) (+ 1 eps)))))>
* [enter]simplify:  Simplifying (- (* 1 1) (* eps eps))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* * [misc]simplify:  iters left: 1 (16 enodes)
* [exit]simplify:  Simplified to (- 1 (* eps eps))
* [misc]simplify:  Simplified (2 1 1) to (λ (eps) (log (/ (- 1 (* eps eps)) (* (+ 1 eps) (+ 1 eps)))))
* * * * [misc]progress:  [ 63 / 68 ] simplifiying candidate #<alt (λ (eps) (- (+ (* 2/3 (pow eps 3)) (+ (* 2/5 (pow eps 5)) (* 2 eps)))))>
* [enter]simplify:  Simplifying (- (+ (* 2/3 (pow eps 3)) (+ (* 2/5 (pow eps 5)) (* 2 eps))))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (29 enodes)
* * [misc]simplify:  iters left: 4 (61 enodes)
* * [misc]simplify:  iters left: 3 (154 enodes)
* * [misc]simplify:  iters left: 2 (274 enodes)
* * [misc]simplify:  iters left: 1 (380 enodes)
* [exit]simplify:  Simplified to (fma (fma (* eps eps) 2/3 2) (- eps) (* (- 2/5) (pow eps 5)))
* [misc]simplify:  Simplified (2) to (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* (- 2/5) (pow eps 5))))
* * * * [misc]progress:  [ 64 / 68 ] simplifiying candidate #<alt (λ (eps) (- (log -1) (+ (* 2 (/ 1 eps)) (* 2/3 (/ 1 (pow eps 3))))))>
* [enter]simplify:  Simplifying (- (log -1) (+ (* 2 (/ 1 eps)) (* 2/3 (/ 1 (pow eps 3)))))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (31 enodes)
* * [misc]simplify:  iters left: 4 (53 enodes)
* * [misc]simplify:  iters left: 3 (84 enodes)
* * [misc]simplify:  iters left: 2 (173 enodes)
* * [misc]simplify:  iters left: 1 (414 enodes)
* [exit]simplify:  Simplified to (- (- (log -1) (/ 2 eps)) (/ (/ 2/3 eps) (* eps eps)))
* [misc]simplify:  Simplified (2) to (λ (eps) (- (- (log -1) (/ 2 eps)) (/ (/ 2/3 eps) (* eps eps))))
* * * * [misc]progress:  [ 65 / 68 ] simplifiying candidate #<alt (λ (eps) (- (log -1) (+ (* 2 (/ 1 eps)) (* 2/3 (/ 1 (pow eps 3))))))>
* [enter]simplify:  Simplifying (- (log -1) (+ (* 2 (/ 1 eps)) (* 2/3 (/ 1 (pow eps 3)))))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (31 enodes)
* * [misc]simplify:  iters left: 4 (53 enodes)
* * [misc]simplify:  iters left: 3 (84 enodes)
* * [misc]simplify:  iters left: 2 (173 enodes)
* * [misc]simplify:  iters left: 1 (414 enodes)
* [exit]simplify:  Simplified to (- (- (log -1) (/ 2 eps)) (/ (/ 2/3 eps) (* eps eps)))
* [misc]simplify:  Simplified (2) to (λ (eps) (- (- (log -1) (/ 2 eps)) (/ (/ 2/3 eps) (* eps eps))))
* * * * [misc]progress:  [ 66 / 68 ] simplifiying candidate #<alt (λ (eps) (log (- (+ (* 2 (pow eps 2)) 1) (* 2 eps))))>
* [enter]simplify:  Simplifying (- (+ (* 2 (pow eps 2)) 1) (* 2 eps))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (38 enodes)
* * [misc]simplify:  iters left: 3 (63 enodes)
* * [misc]simplify:  iters left: 2 (92 enodes)
* * [misc]simplify:  iters left: 1 (111 enodes)
* [exit]simplify:  Simplified to (fma 2 (- (* eps eps) eps) 1)
* [misc]simplify:  Simplified (2 1) to (λ (eps) (log (fma 2 (- (* eps eps) eps) 1)))
* * * * [misc]progress:  [ 67 / 68 ] simplifiying candidate #<alt (λ (eps) (log (- (* 2 (/ 1 eps)) (+ (* 2 (/ 1 (pow eps 2))) 1))))>
* [enter]simplify:  Simplifying (- (* 2 (/ 1 eps)) (+ (* 2 (/ 1 (pow eps 2))) 1))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (45 enodes)
* * [misc]simplify:  iters left: 3 (70 enodes)
* * [misc]simplify:  iters left: 2 (155 enodes)
* * [misc]simplify:  iters left: 1 (375 enodes)
* [exit]simplify:  Simplified to (- (- (/ 2 eps) 1) (/ (/ 2 eps) eps))
* [misc]simplify:  Simplified (2 1) to (λ (eps) (log (- (- (/ 2 eps) 1) (/ (/ 2 eps) eps))))
* * * * [misc]progress:  [ 68 / 68 ] simplifiying candidate #<alt (λ (eps) (log (- (* 2 (/ 1 eps)) (+ (* 2 (/ 1 (pow eps 2))) 1))))>
* [enter]simplify:  Simplifying (- (* 2 (/ 1 eps)) (+ (* 2 (/ 1 (pow eps 2))) 1))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (45 enodes)
* * [misc]simplify:  iters left: 3 (70 enodes)
* * [misc]simplify:  iters left: 2 (155 enodes)
* * [misc]simplify:  iters left: 1 (375 enodes)
* [exit]simplify:  Simplified to (- (- (/ 2 eps) 1) (/ (/ 2 eps) eps))
* [misc]simplify:  Simplified (2 1) to (λ (eps) (log (- (- (/ 2 eps) 1) (/ (/ 2 eps) eps))))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* (- 2/5) (pow eps 5))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1)
* * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 3)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1)
* [misc]approximate:  Taking taylor expansion of (fma (* eps eps) 2/3 2) in (eps) around 0
* [misc]taylor:  Taking taylor expansion of (fma (* eps eps) 2/3 2) in eps
* [misc]taylor:  Rewrote expression to (+ (* (* eps eps) 2/3) 2)
* [misc]taylor:  Taking taylor expansion of (* (* eps eps) 2/3) in eps
* [misc]taylor:  Taking taylor expansion of (* eps eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 2/3 in eps
* [misc]backup-simplify:  Simplify 2/3 into 2/3
* [misc]taylor:  Taking taylor expansion of 2 in eps
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]taylor:  Taking taylor expansion of (fma (* eps eps) 2/3 2) in eps
* [misc]taylor:  Rewrote expression to (+ (* (* eps eps) 2/3) 2)
* [misc]taylor:  Taking taylor expansion of (* (* eps eps) 2/3) in eps
* [misc]taylor:  Taking taylor expansion of (* eps eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 2/3 in eps
* [misc]backup-simplify:  Simplify 2/3 into 2/3
* [misc]taylor:  Taking taylor expansion of 2 in eps
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (* 0 2/3) into 0
* [misc]backup-simplify:  Simplify (+ 0 2) into 2
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 0 2/3)) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 0 0) (* 1 2/3))) into 2/3
* [misc]backup-simplify:  Simplify (+ 2/3 0) into 2/3
* [misc]backup-simplify:  Simplify 2/3 into 2/3
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 0 0) (+ (* 1 0) (* 0 2/3)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 2/3))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2/3)))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2/3))))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2/3)))))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2/3))))))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 2/3 (pow eps 2)) 2) into (+ (* 2/3 (pow eps 2)) 2)
* [misc]approximate:  Taking taylor expansion of (fma (* (/ 1 eps) (/ 1 eps)) 2/3 2) in (eps) around 0
* [misc]taylor:  Taking taylor expansion of (fma (* (/ 1 eps) (/ 1 eps)) 2/3 2) in eps
* [misc]taylor:  Rewrote expression to (+ (* (* (/ 1 eps) (/ 1 eps)) 2/3) 2)
* [misc]taylor:  Taking taylor expansion of (* (* (/ 1 eps) (/ 1 eps)) 2/3) in eps
* [misc]taylor:  Taking taylor expansion of (* (/ 1 eps) (/ 1 eps)) in eps
* [misc]taylor:  Taking taylor expansion of (/ 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 2/3 in eps
* [misc]backup-simplify:  Simplify 2/3 into 2/3
* [misc]taylor:  Taking taylor expansion of 2 in eps
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]taylor:  Taking taylor expansion of (fma (* (/ 1 eps) (/ 1 eps)) 2/3 2) in eps
* [misc]taylor:  Rewrote expression to (+ (* (* (/ 1 eps) (/ 1 eps)) 2/3) 2)
* [misc]taylor:  Taking taylor expansion of (* (* (/ 1 eps) (/ 1 eps)) 2/3) in eps
* [misc]taylor:  Taking taylor expansion of (* (/ 1 eps) (/ 1 eps)) in eps
* [misc]taylor:  Taking taylor expansion of (/ 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 2/3 in eps
* [misc]backup-simplify:  Simplify 2/3 into 2/3
* [misc]taylor:  Taking taylor expansion of 2 in eps
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (* 1 2/3) into 2/3
* [misc]backup-simplify:  Simplify (+ 2/3 0) into 2/3
* [misc]backup-simplify:  Simplify 2/3 into 2/3
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 2/3)) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 2/3))) into 0
* [misc]backup-simplify:  Simplify (+ 0 2) into 2
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2/3)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2/3))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2/3)))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2/3))))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2/3)))))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2/3))))))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 2 (* 2/3 (pow (/ 1 (/ 1 eps)) 2))) into (+ (* 2/3 (pow eps 2)) 2)
* [misc]approximate:  Taking taylor expansion of (fma (* (/ 1 (- eps)) (/ 1 (- eps))) 2/3 2) in (eps) around 0
* [misc]taylor:  Taking taylor expansion of (fma (* (/ 1 (- eps)) (/ 1 (- eps))) 2/3 2) in eps
* [misc]taylor:  Rewrote expression to (+ (* (* (/ 1 (- eps)) (/ 1 (- eps))) 2/3) 2)
* [misc]taylor:  Taking taylor expansion of (* (* (/ 1 (- eps)) (/ 1 (- eps))) 2/3) in eps
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- eps)) (/ 1 (- eps))) in eps
* [misc]taylor:  Taking taylor expansion of (/ 1 (- eps)) in eps
* [misc]taylor:  Taking taylor expansion of (- eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- eps)) in eps
* [misc]taylor:  Taking taylor expansion of (- eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 2/3 in eps
* [misc]backup-simplify:  Simplify 2/3 into 2/3
* [misc]taylor:  Taking taylor expansion of 2 in eps
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]taylor:  Taking taylor expansion of (fma (* (/ 1 (- eps)) (/ 1 (- eps))) 2/3 2) in eps
* [misc]taylor:  Rewrote expression to (+ (* (* (/ 1 (- eps)) (/ 1 (- eps))) 2/3) 2)
* [misc]taylor:  Taking taylor expansion of (* (* (/ 1 (- eps)) (/ 1 (- eps))) 2/3) in eps
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- eps)) (/ 1 (- eps))) in eps
* [misc]taylor:  Taking taylor expansion of (/ 1 (- eps)) in eps
* [misc]taylor:  Taking taylor expansion of (- eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- eps)) in eps
* [misc]taylor:  Taking taylor expansion of (- eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 2/3 in eps
* [misc]backup-simplify:  Simplify 2/3 into 2/3
* [misc]taylor:  Taking taylor expansion of 2 in eps
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (* 1 2/3) into 2/3
* [misc]backup-simplify:  Simplify (+ 2/3 0) into 2/3
* [misc]backup-simplify:  Simplify 2/3 into 2/3
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 -1)) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 2/3)) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 2/3))) into 0
* [misc]backup-simplify:  Simplify (+ 0 2) into 2
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2/3)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2/3))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2/3)))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2/3))))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2/3)))))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2/3))))))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 2 (* 2/3 (pow (/ 1 (/ 1 (- eps))) 2))) into (+ (* 2/3 (pow eps 2)) 2)
* * * * [misc]progress:  [ 2 / 2 ] generating series at (2 3)
* [misc]approximate:  Taking taylor expansion of (* (- 2/5) (pow eps 5)) in (eps) around 0
* [misc]taylor:  Taking taylor expansion of (* (- 2/5) (pow eps 5)) in eps
* [misc]taylor:  Taking taylor expansion of (- 2/5) in eps
* [misc]taylor:  Taking taylor expansion of 2/5 in eps
* [misc]backup-simplify:  Simplify 2/5 into 2/5
* [misc]taylor:  Taking taylor expansion of (pow eps 5) in eps
* [misc]taylor:  Taking taylor expansion of (* (- 2/5) (pow eps 5)) in eps
* [misc]taylor:  Taking taylor expansion of (- 2/5) in eps
* [misc]taylor:  Taking taylor expansion of 2/5 in eps
* [misc]backup-simplify:  Simplify 2/5 into 2/5
* [misc]taylor:  Taking taylor expansion of (pow eps 5) in eps
* [misc]backup-simplify:  Simplify (- 2/5) into -2/5
* [misc]backup-simplify:  Simplify (* -2/5 1) into -2/5
* [misc]backup-simplify:  Simplify -2/5 into -2/5
* [misc]backup-simplify:  Simplify (- 2/5) into -2/5
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -2/5 0) (* 0 1)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 2/5) into -2/5
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -2/5 0) (+ (* 0 0) (* 0 1))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 2/5) into -2/5
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -2/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 2/5) into -2/5
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -2/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 2/5) into -2/5
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -2/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 2/5) into -2/5
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -2/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* -2/5 (pow eps 5)) into (* -2/5 (pow eps 5))
* [misc]approximate:  Taking taylor expansion of (* (- 2/5) (pow (/ 1 eps) 5)) in (eps) around 0
* [misc]taylor:  Taking taylor expansion of (* (- 2/5) (pow (/ 1 eps) 5)) in eps
* [misc]taylor:  Taking taylor expansion of (- 2/5) in eps
* [misc]taylor:  Taking taylor expansion of 2/5 in eps
* [misc]backup-simplify:  Simplify 2/5 into 2/5
* [misc]taylor:  Taking taylor expansion of (pow (/ 1 eps) 5) in eps
* [misc]taylor:  Taking taylor expansion of (exp (* 5 (log (/ 1 eps)))) in eps
* [misc]taylor:  Taking taylor expansion of (* 5 (log (/ 1 eps))) in eps
* [misc]taylor:  Taking taylor expansion of 5 in eps
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of (log (/ 1 eps)) in eps
* [misc]taylor:  Taking taylor expansion of (/ 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (log 1) into 0
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log eps)) 0) into (- (log eps))
* [misc]backup-simplify:  Simplify (* 5 (- (log eps))) into (* -5 (log eps))
* [misc]backup-simplify:  Simplify (exp (* -5 (log eps))) into (pow eps -5)
* [misc]taylor:  Taking taylor expansion of (* (- 2/5) (pow (/ 1 eps) 5)) in eps
* [misc]taylor:  Taking taylor expansion of (- 2/5) in eps
* [misc]taylor:  Taking taylor expansion of 2/5 in eps
* [misc]backup-simplify:  Simplify 2/5 into 2/5
* [misc]taylor:  Taking taylor expansion of (pow (/ 1 eps) 5) in eps
* [misc]taylor:  Taking taylor expansion of (exp (* 5 (log (/ 1 eps)))) in eps
* [misc]taylor:  Taking taylor expansion of (* 5 (log (/ 1 eps))) in eps
* [misc]taylor:  Taking taylor expansion of 5 in eps
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of (log (/ 1 eps)) in eps
* [misc]taylor:  Taking taylor expansion of (/ 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (log 1) into 0
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log eps)) 0) into (- (log eps))
* [misc]backup-simplify:  Simplify (* 5 (- (log eps))) into (* -5 (log eps))
* [misc]backup-simplify:  Simplify (exp (* -5 (log eps))) into (pow eps -5)
* [misc]backup-simplify:  Simplify (- 2/5) into -2/5
* [misc]backup-simplify:  Simplify (* -2/5 (pow eps -5)) into (/ -2/5 (pow eps 5))
* [misc]backup-simplify:  Simplify (/ -2/5 (pow eps 5)) into (/ -2/5 (pow eps 5))
* [misc]backup-simplify:  Simplify (- 2/5) into -2/5
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log eps)) 0) into (- (log eps))
* [misc]backup-simplify:  Simplify (+ (* 5 0) (* 0 (- (log eps)))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* -5 (log eps))) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -2/5 0) (* 0 (pow eps -5))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 2/5) into -2/5
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log eps)) 0) into (- (log eps))
* [misc]backup-simplify:  Simplify (+ (* 5 0) (+ (* 0 0) (* 0 (- (log eps))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* -5 (log eps))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -2/5 0) (+ (* 0 0) (* 0 (pow eps -5)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 2/5) into -2/5
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log eps)) 0) into (- (log eps))
* [misc]backup-simplify:  Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log eps)))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* -5 (log eps))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -2/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow eps -5))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 2/5) into -2/5
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log eps)) 0) into (- (log eps))
* [misc]backup-simplify:  Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log eps))))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* -5 (log eps))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -2/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow eps -5)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 2/5) into -2/5
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log eps)) 0) into (- (log eps))
* [misc]backup-simplify:  Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log eps)))))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* -5 (log eps))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -2/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow eps -5))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 2/5) into -2/5
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log eps)) 0) into (- (log eps))
* [misc]backup-simplify:  Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log eps))))))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* -5 (log eps))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -2/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow eps -5)))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ -2/5 (pow (/ 1 eps) 5)) into (* -2/5 (pow eps 5))
* [misc]approximate:  Taking taylor expansion of (* (- 2/5) (pow (/ 1 (- eps)) 5)) in (eps) around 0
* [misc]taylor:  Taking taylor expansion of (* (- 2/5) (pow (/ 1 (- eps)) 5)) in eps
* [misc]taylor:  Taking taylor expansion of (- 2/5) in eps
* [misc]taylor:  Taking taylor expansion of 2/5 in eps
* [misc]backup-simplify:  Simplify 2/5 into 2/5
* [misc]taylor:  Taking taylor expansion of (pow (/ 1 (- eps)) 5) in eps
* [misc]taylor:  Taking taylor expansion of (exp (* 5 (log (/ 1 (- eps))))) in eps
* [misc]taylor:  Taking taylor expansion of (* 5 (log (/ 1 (- eps)))) in eps
* [misc]taylor:  Taking taylor expansion of 5 in eps
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of (log (/ 1 (- eps))) in eps
* [misc]taylor:  Taking taylor expansion of (/ 1 (- eps)) in eps
* [misc]taylor:  Taking taylor expansion of (- eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log eps)) (log -1)) into (- (log -1) (log eps))
* [misc]backup-simplify:  Simplify (* 5 (- (log -1) (log eps))) into (* 5 (- (log -1) (log eps)))
* [misc]backup-simplify:  Simplify (exp (* 5 (- (log -1) (log eps)))) into (exp (* 5 (- (log -1) (log eps))))
* [misc]taylor:  Taking taylor expansion of (* (- 2/5) (pow (/ 1 (- eps)) 5)) in eps
* [misc]taylor:  Taking taylor expansion of (- 2/5) in eps
* [misc]taylor:  Taking taylor expansion of 2/5 in eps
* [misc]backup-simplify:  Simplify 2/5 into 2/5
* [misc]taylor:  Taking taylor expansion of (pow (/ 1 (- eps)) 5) in eps
* [misc]taylor:  Taking taylor expansion of (exp (* 5 (log (/ 1 (- eps))))) in eps
* [misc]taylor:  Taking taylor expansion of (* 5 (log (/ 1 (- eps)))) in eps
* [misc]taylor:  Taking taylor expansion of 5 in eps
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of (log (/ 1 (- eps))) in eps
* [misc]taylor:  Taking taylor expansion of (/ 1 (- eps)) in eps
* [misc]taylor:  Taking taylor expansion of (- eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log eps)) (log -1)) into (- (log -1) (log eps))
* [misc]backup-simplify:  Simplify (* 5 (- (log -1) (log eps))) into (* 5 (- (log -1) (log eps)))
* [misc]backup-simplify:  Simplify (exp (* 5 (- (log -1) (log eps)))) into (exp (* 5 (- (log -1) (log eps))))
* [misc]backup-simplify:  Simplify (- 2/5) into -2/5
* [misc]backup-simplify:  Simplify (* -2/5 (exp (* 5 (- (log -1) (log eps))))) into (* -2/5 (exp (* 5 (- (log -1) (log eps)))))
* [misc]backup-simplify:  Simplify (* -2/5 (exp (* 5 (- (log -1) (log eps))))) into (* -2/5 (exp (* 5 (- (log -1) (log eps)))))
* [misc]backup-simplify:  Simplify (- 2/5) into -2/5
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log eps)) (log -1)) into (- (log -1) (log eps))
* [misc]backup-simplify:  Simplify (+ (* 5 0) (* 0 (- (log -1) (log eps)))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 5 (- (log -1) (log eps)))) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -2/5 0) (* 0 (exp (* 5 (- (log -1) (log eps)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 2/5) into -2/5
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log eps)) (log -1)) into (- (log -1) (log eps))
* [misc]backup-simplify:  Simplify (+ (* 5 0) (+ (* 0 0) (* 0 (- (log -1) (log eps))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 5 (- (log -1) (log eps)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -2/5 0) (+ (* 0 0) (* 0 (exp (* 5 (- (log -1) (log eps))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 2/5) into -2/5
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into 0
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log eps)) (log -1)) into (- (log -1) (log eps))
* [misc]backup-simplify:  Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log eps)))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 5 (- (log -1) (log eps)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -2/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (* 5 (- (log -1) (log eps)))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 2/5) into -2/5
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -1 1)))) 24) into 0
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log eps)) (log -1)) into (- (log -1) (log eps))
* [misc]backup-simplify:  Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log eps))))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 5 (- (log -1) (log eps)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -2/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (* 5 (- (log -1) (log eps))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 2/5) into -2/5
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -1 1)))) 120) into 0
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log eps)) (log -1)) into (- (log -1) (log eps))
* [misc]backup-simplify:  Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log eps)))))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 5 (- (log -1) (log eps)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -2/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (* 5 (- (log -1) (log eps)))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 2/5) into -2/5
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow -1 1)))) 720) into 0
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log eps)) (log -1)) into (- (log -1) (log eps))
* [misc]backup-simplify:  Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log eps))))))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 5 (- (log -1) (log eps)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -2/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (* 5 (- (log -1) (log eps))))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* -2/5 (exp (* 5 (- (log -1) (log (/ 1 (- eps))))))) into (* -2/5 (exp (* 5 (- (log -1) (log (/ -1 eps))))))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (log1p (expm1 (fma (* eps eps) 2/3 2))) (- eps) (* (- 2/5) (pow eps 5))))>
* * * * [misc]progress:  [ 2 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (expm1 (log1p (fma (* eps eps) 2/3 2))) (- eps) (* (- 2/5) (pow eps 5))))>
* * * * [misc]progress:  [ 3 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (+ (* (* eps eps) 2/3) 2) (- eps) (* (- 2/5) (pow eps 5))))>
* * * * [misc]progress:  [ 4 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (pow (fma (* eps eps) 2/3 2) 1) (- eps) (* (- 2/5) (pow eps 5))))>
* * * * [misc]progress:  [ 5 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (exp (log (fma (* eps eps) 2/3 2))) (- eps) (* (- 2/5) (pow eps 5))))>
* * * * [misc]progress:  [ 6 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (log (exp (fma (* eps eps) 2/3 2))) (- eps) (* (- 2/5) (pow eps 5))))>
* * * * [misc]progress:  [ 7 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (* (* (cbrt (fma (* eps eps) 2/3 2)) (cbrt (fma (* eps eps) 2/3 2))) (cbrt (fma (* eps eps) 2/3 2))) (- eps) (* (- 2/5) (pow eps 5))))>
* * * * [misc]progress:  [ 8 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (cbrt (* (* (fma (* eps eps) 2/3 2) (fma (* eps eps) 2/3 2)) (fma (* eps eps) 2/3 2))) (- eps) (* (- 2/5) (pow eps 5))))>
* * * * [misc]progress:  [ 9 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (* (sqrt (fma (* eps eps) 2/3 2)) (sqrt (fma (* eps eps) 2/3 2))) (- eps) (* (- 2/5) (pow eps 5))))>
* * * * [misc]progress:  [ 10 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (* 1 (fma (* eps eps) 2/3 2)) (- eps) (* (- 2/5) (pow eps 5))))>
* * * * [misc]progress:  [ 11 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (log1p (expm1 (* (- 2/5) (pow eps 5))))))>
* * * * [misc]progress:  [ 12 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (expm1 (log1p (* (- 2/5) (pow eps 5))))))>
* * * * [misc]progress:  [ 13 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (pow (* (- 2/5) (pow eps 5)) 1)))>
* * * * [misc]progress:  [ 14 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (exp (+ (log (- 2/5)) (* (log eps) 5)))))>
* [enter]simplify:  Simplifying (+ (log (- 2/5)) (* (log eps) 5))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* [exit]simplify:  Simplified to (fma 5 (log eps) (log (- 2/5)))
* [misc]simplify:  Simplified (2 3 1) to (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (exp (fma 5 (log eps) (log (- 2/5))))))
* * * * [misc]progress:  [ 15 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (exp (+ (log (- 2/5)) (log (pow eps 5))))))>
* [enter]simplify:  Simplifying (+ (log (- 2/5)) (log (pow eps 5)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* [exit]simplify:  Simplified to (fma 5 (log eps) (log (- 2/5)))
* [misc]simplify:  Simplified (2 3 1) to (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (exp (fma 5 (log eps) (log (- 2/5))))))
* * * * [misc]progress:  [ 16 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (exp (log (* (- 2/5) (pow eps 5))))))>
* * * * [misc]progress:  [ 17 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (log (exp (* (- 2/5) (pow eps 5))))))>
* * * * [misc]progress:  [ 18 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (cbrt (* (* (* (- 2/5) (- 2/5)) (- 2/5)) (* (* (pow eps 5) (pow eps 5)) (pow eps 5))))))>
* [enter]simplify:  Simplifying (* (* (* (- 2/5) (- 2/5)) (- 2/5)) (* (* (pow eps 5) (pow eps 5)) (pow eps 5)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (24 enodes)
* * [misc]simplify:  iters left: 4 (81 enodes)
* * [misc]simplify:  iters left: 3 (205 enodes)
* * [misc]simplify:  iters left: 2 (415 enodes)
* [exit]simplify:  Simplified to (* (pow (pow eps 5) 3) (* (* 2/5 2/5) (- 2/5)))
* [misc]simplify:  Simplified (2 3 1) to (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (cbrt (* (pow (pow eps 5) 3) (* (* 2/5 2/5) (- 2/5))))))
* * * * [misc]progress:  [ 19 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* (* (cbrt (* (- 2/5) (pow eps 5))) (cbrt (* (- 2/5) (pow eps 5)))) (cbrt (* (- 2/5) (pow eps 5))))))>
* * * * [misc]progress:  [ 20 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (cbrt (* (* (* (- 2/5) (pow eps 5)) (* (- 2/5) (pow eps 5))) (* (- 2/5) (pow eps 5))))))>
* * * * [misc]progress:  [ 21 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* (sqrt (* (- 2/5) (pow eps 5))) (sqrt (* (- 2/5) (pow eps 5))))))>
* * * * [misc]progress:  [ 22 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* 1 (* (- 2/5) (pow eps 5)))))>
* * * * [misc]progress:  [ 23 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (- (* 2/5 (pow eps 5)))))>
* [enter]simplify:  Simplifying (* 2/5 (pow eps 5))
* * [misc]simplify:  iters left: 3 (5 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* [exit]simplify:  Simplified to (* (pow eps 5) 2/5)
* [misc]simplify:  Simplified (2 3 1) to (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (- (* (pow eps 5) 2/5))))
* * * * [misc]progress:  [ 24 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* (* (- 2/5) (* (cbrt (pow eps 5)) (cbrt (pow eps 5)))) (cbrt (pow eps 5)))))>
* [enter]simplify:  Simplifying (cbrt (pow eps 5))
* * [misc]simplify:  iters left: 2 (4 enodes)
* [exit]simplify:  Simplified to (cbrt (pow eps 5))
* [misc]simplify:  Simplified (2 3 2) to (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* (* (- 2/5) (* (cbrt (pow eps 5)) (cbrt (pow eps 5)))) (cbrt (pow eps 5)))))
* * * * [misc]progress:  [ 25 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* (* (- 2/5) (sqrt (pow eps 5))) (sqrt (pow eps 5)))))>
* [enter]simplify:  Simplifying (sqrt (pow eps 5))
* * [misc]simplify:  iters left: 2 (4 enodes)
* [exit]simplify:  Simplified to (sqrt (pow eps 5))
* [misc]simplify:  Simplified (2 3 2) to (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* (* (- 2/5) (sqrt (pow eps 5))) (sqrt (pow eps 5)))))
* * * * [misc]progress:  [ 26 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* (* (- 2/5) 1) (pow eps 5))))>
* [enter]simplify:  Simplifying (pow eps 5)
* * [misc]simplify:  iters left: 1 (3 enodes)
* [exit]simplify:  Simplified to (pow eps 5)
* [misc]simplify:  Simplified (2 3 2) to (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* (* (- 2/5) 1) (pow eps 5))))
* * * * [misc]progress:  [ 27 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* (* (cbrt (- 2/5)) (cbrt (- 2/5))) (* (cbrt (- 2/5)) (pow eps 5)))))>
* [enter]simplify:  Simplifying (* (cbrt (- 2/5)) (cbrt (- 2/5)))
* * [misc]simplify:  iters left: 5 (4 enodes)
* [exit]simplify:  Simplified to (* (cbrt (- 2/5)) (cbrt (- 2/5)))
* [misc]simplify:  Simplified (2 3 1) to (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* (* (cbrt (- 2/5)) (cbrt (- 2/5))) (* (cbrt (- 2/5)) (pow eps 5)))))
* * * * [misc]progress:  [ 28 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* (sqrt (- 2/5)) (* (sqrt (- 2/5)) (pow eps 5)))))>
* [enter]simplify:  Simplifying (sqrt (- 2/5))
* * [misc]simplify:  iters left: 3 (3 enodes)
* [exit]simplify:  Simplified to (sqrt (- 2/5))
* [misc]simplify:  Simplified (2 3 1) to (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* (sqrt (- 2/5)) (* (sqrt (- 2/5)) (pow eps 5)))))
* * * * [misc]progress:  [ 29 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* 1 (* (- 2/5) (pow eps 5)))))>
* * * * [misc]progress:  [ 30 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* -1 (* 2/5 (pow eps 5)))))>
* * * * [misc]progress:  [ 31 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* (pow eps 5) (- 2/5))))>
* * * * [misc]progress:  [ 32 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (+ (* 2/3 (pow eps 2)) 2) (- eps) (* (- 2/5) (pow eps 5))))>
* [enter]simplify:  Simplifying (+ (* 2/3 (pow eps 2)) 2)
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (15 enodes)
* * [misc]simplify:  iters left: 2 (17 enodes)
* [exit]simplify:  Simplified to (fma (* eps eps) 2/3 2)
* [misc]simplify:  Simplified (2 1) to (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* (- 2/5) (pow eps 5))))
* * * * [misc]progress:  [ 33 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (+ (* 2/3 (pow eps 2)) 2) (- eps) (* (- 2/5) (pow eps 5))))>
* [enter]simplify:  Simplifying (+ (* 2/3 (pow eps 2)) 2)
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (15 enodes)
* * [misc]simplify:  iters left: 2 (17 enodes)
* [exit]simplify:  Simplified to (fma (* eps eps) 2/3 2)
* [misc]simplify:  Simplified (2 1) to (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* (- 2/5) (pow eps 5))))
* * * * [misc]progress:  [ 34 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (+ (* 2/3 (pow eps 2)) 2) (- eps) (* (- 2/5) (pow eps 5))))>
* [enter]simplify:  Simplifying (+ (* 2/3 (pow eps 2)) 2)
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (15 enodes)
* * [misc]simplify:  iters left: 2 (17 enodes)
* [exit]simplify:  Simplified to (fma (* eps eps) 2/3 2)
* [misc]simplify:  Simplified (2 1) to (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* (- 2/5) (pow eps 5))))
* * * * [misc]progress:  [ 35 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* -2/5 (pow eps 5))))>
* [enter]simplify:  Simplifying (* -2/5 (pow eps 5))
* * [misc]simplify:  iters left: 3 (5 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* [exit]simplify:  Simplified to (* (pow eps 5) -2/5)
* [misc]simplify:  Simplified (2 3) to (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* (pow eps 5) -2/5)))
* * * * [misc]progress:  [ 36 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* -2/5 (pow eps 5))))>
* [enter]simplify:  Simplifying (* -2/5 (pow eps 5))
* * [misc]simplify:  iters left: 3 (5 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* [exit]simplify:  Simplified to (* (pow eps 5) -2/5)
* [misc]simplify:  Simplified (2 3) to (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* (pow eps 5) -2/5)))
* * * * [misc]progress:  [ 37 / 37 ] simplifiying candidate #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* -2/5 (exp (* 5 (- (log -1) (log (/ -1 eps))))))))>
* [enter]simplify:  Simplifying (* -2/5 (exp (* 5 (- (log -1) (log (/ -1 eps))))))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (30 enodes)
* * [misc]simplify:  iters left: 3 (53 enodes)
* * [misc]simplify:  iters left: 2 (96 enodes)
* * [misc]simplify:  iters left: 1 (211 enodes)
* [exit]simplify:  Simplified to (* (pow eps 5) -2/5)
* [misc]simplify:  Simplified (2 3) to (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* (pow eps 5) -2/5)))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 3 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ (eps) (- (log (- 1 eps)) (log (+ 1 eps))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1)
* * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1)
* [misc]approximate:  Taking taylor expansion of (log (- 1 eps)) in (eps) around 0
* [misc]taylor:  Taking taylor expansion of (log (- 1 eps)) in eps
* [misc]taylor:  Taking taylor expansion of (- 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (log 1) into 0
* [misc]taylor:  Taking taylor expansion of (log (- 1 eps)) in eps
* [misc]taylor:  Taking taylor expansion of (- 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (log 1) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
* [misc]backup-simplify:  Simplify -1/2 into -1/2
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 -1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 -1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into -1/3
* [misc]backup-simplify:  Simplify -1/3 into -1/3
* [misc]backup-simplify:  Simplify (+ (* -1/3 (pow eps 3)) (+ (* -1/2 (pow eps 2)) (* -1 eps))) into (- (+ (* 1/2 (pow eps 2)) (+ (* 1/3 (pow eps 3)) eps)))
* [misc]approximate:  Taking taylor expansion of (log (- 1 (/ 1 eps))) in (eps) around 0
* [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 eps))) in eps
* [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 eps)) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 eps))) in eps
* [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 eps)) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log eps)) (log -1)) into (- (log -1) (log eps))
* [misc]backup-simplify:  Simplify (- (log -1) (log eps)) into (- (log -1) (log eps))
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
* [misc]backup-simplify:  Simplify -1/2 into -1/2
* [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 eps) 2)) (+ (* -1 (/ 1 eps)) (- (log -1) (log (/ 1 eps))))) into (- (log -1) (+ (/ 1 eps) (+ (* 1/2 (/ 1 (pow eps 2))) (log (/ 1 eps)))))
* [misc]approximate:  Taking taylor expansion of (log (- 1 (/ 1 (- eps)))) in (eps) around 0
* [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 (- eps)))) in eps
* [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (- eps))) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- eps)) in eps
* [misc]taylor:  Taking taylor expansion of (- eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (- -1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (log 1) into 0
* [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 (- eps)))) in eps
* [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (- eps))) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- eps)) in eps
* [misc]taylor:  Taking taylor expansion of (- eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (- -1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (log 1) into 0
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log eps)) 0) into (- (log eps))
* [misc]backup-simplify:  Simplify (- (log eps)) into (- (log eps))
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
* [misc]backup-simplify:  Simplify -1/2 into -1/2
* [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (- eps)) 2)) (+ (* 1 (/ 1 (- eps))) (- (log (/ 1 (- eps)))))) into (- (+ (/ 1 eps) (+ (* 1/2 (/ 1 (pow eps 2))) (log (/ -1 eps)))))
* * * * [misc]progress:  [ 2 / 2 ] generating series at (2 2)
* [misc]approximate:  Taking taylor expansion of (log (+ 1 eps)) in (eps) around 0
* [misc]taylor:  Taking taylor expansion of (log (+ 1 eps)) in eps
* [misc]taylor:  Taking taylor expansion of (+ 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (log 1) into 0
* [misc]taylor:  Taking taylor expansion of (log (+ 1 eps)) in eps
* [misc]taylor:  Taking taylor expansion of (+ 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (log 1) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
* [misc]backup-simplify:  Simplify -1/2 into -1/2
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]backup-simplify:  Simplify (+ (* 1/3 (pow eps 3)) (+ (* -1/2 (pow eps 2)) (* 1 eps))) into (- (+ (* 1/3 (pow eps 3)) eps) (* 1/2 (pow eps 2)))
* [misc]approximate:  Taking taylor expansion of (log (+ 1 (/ 1 eps))) in (eps) around 0
* [misc]taylor:  Taking taylor expansion of (log (+ 1 (/ 1 eps))) in eps
* [misc]taylor:  Taking taylor expansion of (+ 1 (/ 1 eps)) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (log 1) into 0
* [misc]taylor:  Taking taylor expansion of (log (+ 1 (/ 1 eps))) in eps
* [misc]taylor:  Taking taylor expansion of (+ 1 (/ 1 eps)) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (log 1) into 0
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log eps)) 0) into (- (log eps))
* [misc]backup-simplify:  Simplify (- (log eps)) into (- (log eps))
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
* [misc]backup-simplify:  Simplify -1/2 into -1/2
* [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 eps) 2)) (+ (* 1 (/ 1 eps)) (- (log (/ 1 eps))))) into (- (/ 1 eps) (+ (* 1/2 (/ 1 (pow eps 2))) (log (/ 1 eps))))
* [misc]approximate:  Taking taylor expansion of (log (+ 1 (/ 1 (- eps)))) in (eps) around 0
* [misc]taylor:  Taking taylor expansion of (log (+ 1 (/ 1 (- eps)))) in eps
* [misc]taylor:  Taking taylor expansion of (+ 1 (/ 1 (- eps))) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- eps)) in eps
* [misc]taylor:  Taking taylor expansion of (- eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]taylor:  Taking taylor expansion of (log (+ 1 (/ 1 (- eps)))) in eps
* [misc]taylor:  Taking taylor expansion of (+ 1 (/ 1 (- eps))) in eps
* [misc]taylor:  Taking taylor expansion of 1 in eps
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- eps)) in eps
* [misc]taylor:  Taking taylor expansion of (- eps) in eps
* [misc]taylor:  Taking taylor expansion of eps in eps
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log eps)) (log -1)) into (- (log -1) (log eps))
* [misc]backup-simplify:  Simplify (- (log -1) (log eps)) into (- (log -1) (log eps))
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
* [misc]backup-simplify:  Simplify -1/2 into -1/2
* [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (- eps)) 2)) (+ (* -1 (/ 1 (- eps))) (- (log -1) (log (/ 1 (- eps)))))) into (- (+ (/ 1 eps) (log -1)) (+ (* 1/2 (/ 1 (pow eps 2))) (log (/ -1 eps))))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log1p (expm1 (log (- 1 eps)))) (log (+ 1 eps))))>
* * * * [misc]progress:  [ 2 / 41 ] simplifiying candidate #<alt (λ (eps) (- (expm1 (log1p (log (- 1 eps)))) (log (+ 1 eps))))>
* * * * [misc]progress:  [ 3 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log1p (- eps)) (log (+ 1 eps))))>
* [enter]simplify:  Simplifying (- eps)
* * [misc]simplify:  iters left: 2 (2 enodes)
* [exit]simplify:  Simplified to (- eps)
* [misc]simplify:  Simplified (2 1 1) to (λ (eps) (- (log1p (- eps)) (log (+ 1 eps))))
* * * * [misc]progress:  [ 4 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log1p (- eps)) (log (+ 1 eps))))>
* [enter]simplify:  Simplifying (- eps)
* * [misc]simplify:  iters left: 2 (2 enodes)
* [exit]simplify:  Simplified to (- eps)
* [misc]simplify:  Simplified (2 1 1) to (λ (eps) (- (log1p (- eps)) (log (+ 1 eps))))
* * * * [misc]progress:  [ 5 / 41 ] simplifiying candidate #<alt (λ (eps) (- (+ (log (* (cbrt (- 1 eps)) (cbrt (- 1 eps)))) (log (cbrt (- 1 eps)))) (log (+ 1 eps))))>
* [enter]simplify:  Simplifying (log (* (cbrt (- 1 eps)) (cbrt (- 1 eps))))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* [exit]simplify:  Simplified to (log (* (cbrt (- 1 eps)) (cbrt (- 1 eps))))
* [misc]simplify:  Simplified (2 1 1) to (λ (eps) (- (+ (log (* (cbrt (- 1 eps)) (cbrt (- 1 eps)))) (log (cbrt (- 1 eps)))) (log (+ 1 eps))))
* * * * [misc]progress:  [ 6 / 41 ] simplifiying candidate #<alt (λ (eps) (- (+ (log (sqrt (- 1 eps))) (log (sqrt (- 1 eps)))) (log (+ 1 eps))))>
* [enter]simplify:  Simplifying (log (sqrt (- 1 eps)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* [exit]simplify:  Simplified to (log (sqrt (- 1 eps)))
* [misc]simplify:  Simplified (2 1 1) to (λ (eps) (- (+ (log (sqrt (- 1 eps))) (log (sqrt (- 1 eps)))) (log (+ 1 eps))))
* * * * [misc]progress:  [ 7 / 41 ] simplifiying candidate #<alt (λ (eps) (- (+ (log 1) (log (- 1 eps))) (log (+ 1 eps))))>
* [enter]simplify:  Simplifying (log 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (log 1)
* [misc]simplify:  Simplified (2 1 1) to (λ (eps) (- (+ (log 1) (log (- 1 eps))) (log (+ 1 eps))))
* * * * [misc]progress:  [ 8 / 41 ] simplifiying candidate #<alt (λ (eps) (- (- (log (- (pow 1 3) (pow eps 3))) (log (+ (* 1 1) (+ (* eps eps) (* 1 eps))))) (log (+ 1 eps))))>
* [enter]simplify:  Simplifying (log (- (pow 1 3) (pow eps 3)))
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* * [misc]simplify:  iters left: 1 (30 enodes)
* [exit]simplify:  Simplified to (log (fma (* eps eps) (- eps) 1))
* [misc]simplify:  Simplified (2 1 1) to (λ (eps) (- (- (log (fma (* eps eps) (- eps) 1)) (log (+ (* 1 1) (+ (* eps eps) (* 1 eps))))) (log (+ 1 eps))))
* * * * [misc]progress:  [ 9 / 41 ] simplifiying candidate #<alt (λ (eps) (- (- (log (- (* 1 1) (* eps eps))) (log (+ 1 eps))) (log (+ 1 eps))))>
* [enter]simplify:  Simplifying (log (- (* 1 1) (* eps eps)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* [exit]simplify:  Simplified to (log (- 1 (* eps eps)))
* [misc]simplify:  Simplified (2 1 1) to (λ (eps) (- (- (log (- 1 (* eps eps))) (log (+ 1 eps))) (log (+ 1 eps))))
* * * * [misc]progress:  [ 10 / 41 ] simplifiying candidate #<alt (λ (eps) (- (* 1 (log (- 1 eps))) (log (+ 1 eps))))>
* * * * [misc]progress:  [ 11 / 41 ] simplifiying candidate #<alt (λ (eps) (- (pow (log (- 1 eps)) 1) (log (+ 1 eps))))>
* * * * [misc]progress:  [ 12 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log (- 1 eps)) (log (+ 1 eps))))>
* [enter]simplify:  Simplifying (- 1 eps)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (7 enodes)
* [exit]simplify:  Simplified to (- 1 eps)
* [misc]simplify:  Simplified (2 1 1) to (λ (eps) (- (log (- 1 eps)) (log (+ 1 eps))))
* * * * [misc]progress:  [ 13 / 41 ] simplifiying candidate #<alt (λ (eps) (- (exp (log (log (- 1 eps)))) (log (+ 1 eps))))>
* * * * [misc]progress:  [ 14 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log (exp (log (- 1 eps)))) (log (+ 1 eps))))>
* * * * [misc]progress:  [ 15 / 41 ] simplifiying candidate #<alt (λ (eps) (- (* (* (cbrt (log (- 1 eps))) (cbrt (log (- 1 eps)))) (cbrt (log (- 1 eps)))) (log (+ 1 eps))))>
* * * * [misc]progress:  [ 16 / 41 ] simplifiying candidate #<alt (λ (eps) (- (cbrt (* (* (log (- 1 eps)) (log (- 1 eps))) (log (- 1 eps)))) (log (+ 1 eps))))>
* * * * [misc]progress:  [ 17 / 41 ] simplifiying candidate #<alt (λ (eps) (- (* (sqrt (log (- 1 eps))) (sqrt (log (- 1 eps)))) (log (+ 1 eps))))>
* * * * [misc]progress:  [ 18 / 41 ] simplifiying candidate #<alt (λ (eps) (- (* 1 (log (- 1 eps))) (log (+ 1 eps))))>
* * * * [misc]progress:  [ 19 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log (- 1 eps)) (log1p (expm1 (log (+ 1 eps))))))>
* * * * [misc]progress:  [ 20 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log (- 1 eps)) (expm1 (log1p (log (+ 1 eps))))))>
* * * * [misc]progress:  [ 21 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log (- 1 eps)) (log1p eps)))>
* * * * [misc]progress:  [ 22 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log (- 1 eps)) (+ (log (* (cbrt (+ 1 eps)) (cbrt (+ 1 eps)))) (log (cbrt (+ 1 eps))))))>
* [enter]simplify:  Simplifying (log (* (cbrt (+ 1 eps)) (cbrt (+ 1 eps))))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* [exit]simplify:  Simplified to (log (* (cbrt (+ eps 1)) (cbrt (+ eps 1))))
* [misc]simplify:  Simplified (2 2 1) to (λ (eps) (- (log (- 1 eps)) (+ (log (* (cbrt (+ eps 1)) (cbrt (+ eps 1)))) (log (cbrt (+ 1 eps))))))
* * * * [misc]progress:  [ 23 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log (- 1 eps)) (+ (log (sqrt (+ 1 eps))) (log (sqrt (+ 1 eps))))))>
* [enter]simplify:  Simplifying (log (sqrt (+ 1 eps)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (log (sqrt (+ eps 1)))
* [misc]simplify:  Simplified (2 2 1) to (λ (eps) (- (log (- 1 eps)) (+ (log (sqrt (+ eps 1))) (log (sqrt (+ 1 eps))))))
* * * * [misc]progress:  [ 24 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log (- 1 eps)) (+ (log 1) (log (+ 1 eps)))))>
* [enter]simplify:  Simplifying (log 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (log 1)
* [misc]simplify:  Simplified (2 2 1) to (λ (eps) (- (log (- 1 eps)) (+ (log 1) (log (+ 1 eps)))))
* * * * [misc]progress:  [ 25 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log (- 1 eps)) (- (log (+ (pow 1 3) (pow eps 3))) (log (+ (* 1 1) (- (* eps eps) (* 1 eps)))))))>
* [enter]simplify:  Simplifying (log (+ (pow 1 3) (pow eps 3)))
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (15 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* [exit]simplify:  Simplified to (log1p (pow eps 3))
* [misc]simplify:  Simplified (2 2 1) to (λ (eps) (- (log (- 1 eps)) (- (log1p (pow eps 3)) (log (+ (* 1 1) (- (* eps eps) (* 1 eps)))))))
* * * * [misc]progress:  [ 26 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log (- 1 eps)) (- (log (- (* 1 1) (* eps eps))) (log (- 1 eps)))))>
* [enter]simplify:  Simplifying (log (- (* 1 1) (* eps eps)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* [exit]simplify:  Simplified to (log (- 1 (* eps eps)))
* [misc]simplify:  Simplified (2 2 1) to (λ (eps) (- (log (- 1 eps)) (- (log (- 1 (* eps eps))) (log (- 1 eps)))))
* * * * [misc]progress:  [ 27 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log (- 1 eps)) (* 1 (log (+ 1 eps)))))>
* * * * [misc]progress:  [ 28 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log (- 1 eps)) (pow (log (+ 1 eps)) 1)))>
* * * * [misc]progress:  [ 29 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log (- 1 eps)) (log (+ 1 eps))))>
* [enter]simplify:  Simplifying (+ 1 eps)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (6 enodes)
* [exit]simplify:  Simplified to (+ eps 1)
* [misc]simplify:  Simplified (2 2 1) to (λ (eps) (- (log (- 1 eps)) (log (+ eps 1))))
* * * * [misc]progress:  [ 30 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log (- 1 eps)) (exp (log (log (+ 1 eps))))))>
* * * * [misc]progress:  [ 31 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log (- 1 eps)) (log (exp (log (+ 1 eps))))))>
* * * * [misc]progress:  [ 32 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log (- 1 eps)) (* (* (cbrt (log (+ 1 eps))) (cbrt (log (+ 1 eps)))) (cbrt (log (+ 1 eps))))))>
* * * * [misc]progress:  [ 33 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log (- 1 eps)) (cbrt (* (* (log (+ 1 eps)) (log (+ 1 eps))) (log (+ 1 eps))))))>
* * * * [misc]progress:  [ 34 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log (- 1 eps)) (* (sqrt (log (+ 1 eps))) (sqrt (log (+ 1 eps))))))>
* * * * [misc]progress:  [ 35 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log (- 1 eps)) (* 1 (log (+ 1 eps)))))>
* * * * [misc]progress:  [ 36 / 41 ] simplifiying candidate #<alt (λ (eps) (- (- (+ (* 1/2 (pow eps 2)) (+ (* 1/3 (pow eps 3)) eps))) (log (+ 1 eps))))>
* [enter]simplify:  Simplifying (- (+ (* 1/2 (pow eps 2)) (+ (* 1/3 (pow eps 3)) eps)))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (26 enodes)
* * [misc]simplify:  iters left: 4 (63 enodes)
* * [misc]simplify:  iters left: 3 (163 enodes)
* * [misc]simplify:  iters left: 2 (364 enodes)
* [exit]simplify:  Simplified to (fma (- eps) (* eps (fma eps 1/3 1/2)) (- eps))
* [misc]simplify:  Simplified (2 1) to (λ (eps) (- (fma (- eps) (* eps (fma eps 1/3 1/2)) (- eps)) (log (+ 1 eps))))
* * * * [misc]progress:  [ 37 / 41 ] simplifiying candidate #<alt (λ (eps) (- (- (log -1) (+ (/ 1 eps) (+ (* 1/2 (/ 1 (pow eps 2))) (log (/ 1 eps))))) (log (+ 1 eps))))>
* [enter]simplify:  Simplifying (- (log -1) (+ (/ 1 eps) (+ (* 1/2 (/ 1 (pow eps 2))) (log (/ 1 eps)))))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (33 enodes)
* * [misc]simplify:  iters left: 4 (71 enodes)
* * [misc]simplify:  iters left: 3 (187 enodes)
* [exit]simplify:  Simplified to (- (+ (log eps) (log -1)) (fma (/ 1 eps) (/ 1/2 eps) (/ 1 eps)))
* [misc]simplify:  Simplified (2 1) to (λ (eps) (- (- (+ (log eps) (log -1)) (fma (/ 1 eps) (/ 1/2 eps) (/ 1 eps))) (log (+ 1 eps))))
* * * * [misc]progress:  [ 38 / 41 ] simplifiying candidate #<alt (λ (eps) (- (- (+ (/ 1 eps) (+ (* 1/2 (/ 1 (pow eps 2))) (log (/ -1 eps))))) (log (+ 1 eps))))>
* [enter]simplify:  Simplifying (- (+ (/ 1 eps) (+ (* 1/2 (/ 1 (pow eps 2))) (log (/ -1 eps)))))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (31 enodes)
* * [misc]simplify:  iters left: 4 (59 enodes)
* * [misc]simplify:  iters left: 3 (132 enodes)
* * [misc]simplify:  iters left: 2 (308 enodes)
* [exit]simplify:  Simplified to (- (- (log eps) (log -1)) (fma (/ 1 eps) (/ 1/2 eps) (/ 1 eps)))
* [misc]simplify:  Simplified (2 1) to (λ (eps) (- (- (- (log eps) (log -1)) (fma (/ 1 eps) (/ 1/2 eps) (/ 1 eps))) (log (+ 1 eps))))
* * * * [misc]progress:  [ 39 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log (- 1 eps)) (- (+ (* 1/3 (pow eps 3)) eps) (* 1/2 (pow eps 2)))))>
* [enter]simplify:  Simplifying (- (+ (* 1/3 (pow eps 3)) eps) (* 1/2 (pow eps 2)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (54 enodes)
* * [misc]simplify:  iters left: 3 (108 enodes)
* * [misc]simplify:  iters left: 2 (189 enodes)
* * [misc]simplify:  iters left: 1 (267 enodes)
* [exit]simplify:  Simplified to (fma (- (* 1/3 eps) 1/2) (* eps eps) eps)
* [misc]simplify:  Simplified (2 2) to (λ (eps) (- (log (- 1 eps)) (fma (- (* 1/3 eps) 1/2) (* eps eps) eps)))
* * * * [misc]progress:  [ 40 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log (- 1 eps)) (- (/ 1 eps) (+ (* 1/2 (/ 1 (pow eps 2))) (log (/ 1 eps))))))>
* [enter]simplify:  Simplifying (- (/ 1 eps) (+ (* 1/2 (/ 1 (pow eps 2))) (log (/ 1 eps))))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (27 enodes)
* * [misc]simplify:  iters left: 4 (49 enodes)
* * [misc]simplify:  iters left: 3 (110 enodes)
* * [misc]simplify:  iters left: 2 (284 enodes)
* [exit]simplify:  Simplified to (- (+ (log eps) (/ 1 eps)) (/ 1/2 (* eps eps)))
* [misc]simplify:  Simplified (2 2) to (λ (eps) (- (log (- 1 eps)) (- (+ (log eps) (/ 1 eps)) (/ 1/2 (* eps eps)))))
* * * * [misc]progress:  [ 41 / 41 ] simplifiying candidate #<alt (λ (eps) (- (log (- 1 eps)) (- (+ (/ 1 eps) (log -1)) (+ (* 1/2 (/ 1 (pow eps 2))) (log (/ -1 eps))))))>
* [enter]simplify:  Simplifying (- (+ (/ 1 eps) (log -1)) (+ (* 1/2 (/ 1 (pow eps 2))) (log (/ -1 eps))))
* * [misc]simplify:  iters left: 6 (15 enodes)
* * [misc]simplify:  iters left: 5 (32 enodes)
* * [misc]simplify:  iters left: 4 (68 enodes)
* * [misc]simplify:  iters left: 3 (157 enodes)
* * [misc]simplify:  iters left: 2 (412 enodes)
* [exit]simplify:  Simplified to (- (+ (log eps) (/ 1 eps)) (/ 1/2 (* eps eps)))
* [misc]simplify:  Simplified (2 2) to (λ (eps) (- (log (- 1 eps)) (- (+ (log eps) (/ 1 eps)) (/ 1/2 (* eps eps)))))
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* * [misc]regime:  Finding splitpoints for: (#<alt (λ (eps) (- (log (- 1 eps)) (log (+ 1 eps))))> #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* (- 2/5) (pow eps 5))))>)
* * * [misc]regime-changes:  Trying 1 branch expressions: (eps)
* * * * [misc]regimes:  Trying to branch on eps from (#<alt (λ (eps) (- (log (- 1 eps)) (log (+ 1 eps))))> #<alt (λ (eps) (fma (fma (* eps eps) 2/3 2) (- eps) (* (- 2/5) (pow eps 5))))>)
* * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
* [enter]simplify:  Simplifying (fma (fma (* eps eps) 2/3 2) (- eps) (* (- 2/5) (pow eps 5)))
* * [misc]simplify:  iters left: 5 (12 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (19 enodes)
* * [misc]simplify:  iters left: 2 (20 enodes)
* [exit]simplify:  Simplified to (fma (fma (* eps eps) 2/3 2) (- eps) (* (pow eps 5) (- 2/5)))
* * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
* * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 8000 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4064 additional inputs, on iter 1 have 3936 / 8000
* * * * [misc]points:  Computing exacts on every 254 of 4064 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 127 of 4064 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 63 of 4064 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 31 of 4064 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 15 of 4064 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 7 of 4064 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 3 of 4064 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 4064 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 2036 additional inputs, on iter 2 have 5964 / 8000
* * * * [misc]points:  Computing exacts on every 127 of 2036 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 63 of 2036 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 31 of 2036 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 15 of 2036 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 7 of 2036 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 3 of 2036 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 2036 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 977 additional inputs, on iter 3 have 7023 / 8000
* * * * [misc]points:  Computing exacts on every 61 of 977 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 30 of 977 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 15 of 977 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 7 of 977 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 3 of 977 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 977 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 469 additional inputs, on iter 4 have 7531 / 8000
* * * * [misc]points:  Computing exacts on every 29 of 469 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 14 of 469 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 7 of 469 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 3 of 469 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 469 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 238 additional inputs, on iter 5 have 7762 / 8000
* * * * [misc]points:  Computing exacts on every 14 of 238 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 7 of 238 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 3 of 238 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 238 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 124 additional inputs, on iter 6 have 7876 / 8000
* * * * [misc]points:  Computing exacts on every 7 of 124 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 3 of 124 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 124 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 63 additional inputs, on iter 7 have 7937 / 8000
* * * * [misc]points:  Computing exacts on every 3 of 63 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 63 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 17 additional inputs, on iter 8 have 7983 / 8000
* * * * [misc]points:  Computing exacts for 17 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 6 additional inputs, on iter 9 have 7994 / 8000
* * * * [misc]points:  Computing exacts for 6 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 7997 / 8000
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 8000 points with exact outputs