* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * [misc]progress:  [2/2] Setting up program.
* [enter]simplify:  Simplifying (/ (+ x 16.0) 116.0)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (/ (+ x 16.0) 116.0)
* [misc]progress:  [Phase 2 of 3] Improving.
* * [misc]progress:  iteration 1 / 3
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-event (λ (x) (/ (+ x 16.0) 116.0))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (/ (+ x 16.0) 116.0) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (/ (+ x 16.0) 116.0) in x
* [misc]taylor:  Taking taylor expansion of (+ x 16.0) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 16.0 in x
* [misc]backup-simplify:  Simplify 16.0 into 16.0
* [misc]taylor:  Taking taylor expansion of 116.0 in x
* [misc]backup-simplify:  Simplify 116.0 into 116.0
* [misc]backup-simplify:  Simplify (+ 0 16.0) into 16.0
* [misc]backup-simplify:  Simplify (/ 16.0 116.0) into 0.13793103448275862
* [misc]taylor:  Taking taylor expansion of (/ (+ x 16.0) 116.0) in x
* [misc]taylor:  Taking taylor expansion of (+ x 16.0) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 16.0 in x
* [misc]backup-simplify:  Simplify 16.0 into 16.0
* [misc]taylor:  Taking taylor expansion of 116.0 in x
* [misc]backup-simplify:  Simplify 116.0 into 116.0
* [misc]backup-simplify:  Simplify (+ 0 16.0) into 16.0
* [misc]backup-simplify:  Simplify (/ 16.0 116.0) into 0.13793103448275862
* [misc]backup-simplify:  Simplify 0.13793103448275862 into 0.13793103448275862
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (- (/ 1 116.0) (+ (* 0.13793103448275862 (/ 0 116.0)))) into 0.008620689655172414
* [misc]backup-simplify:  Simplify 0.008620689655172414 into 0.008620689655172414
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 116.0) (+ (* 0.13793103448275862 (/ 0 116.0)) (* 0.008620689655172414 (/ 0 116.0)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 116.0) (+ (* 0.13793103448275862 (/ 0 116.0)) (* 0.008620689655172414 (/ 0 116.0)) (* 0 (/ 0 116.0)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 116.0) (+ (* 0.13793103448275862 (/ 0 116.0)) (* 0.008620689655172414 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.0)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 116.0) (+ (* 0.13793103448275862 (/ 0 116.0)) (* 0.008620689655172414 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.0)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 116.0) (+ (* 0.13793103448275862 (/ 0 116.0)) (* 0.008620689655172414 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.0)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 116.0) (+ (* 0.13793103448275862 (/ 0 116.0)) (* 0.008620689655172414 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.0)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0.008620689655172414 x) 0.13793103448275862) into (+ 0.13793103448275862 (* 0.008620689655172414 x))
* [misc]approximate:  Taking taylor expansion of (/ (+ (/ 1 x) 16.0) 116.0) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (/ (+ (/ 1 x) 16.0) 116.0) in x
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 16.0) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [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 16.0 in x
* [misc]backup-simplify:  Simplify 16.0 into 16.0
* [misc]taylor:  Taking taylor expansion of 116.0 in x
* [misc]backup-simplify:  Simplify 116.0 into 116.0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ 1 116.0) into 0.008620689655172414
* [misc]taylor:  Taking taylor expansion of (/ (+ (/ 1 x) 16.0) 116.0) in x
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 16.0) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [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 16.0 in x
* [misc]backup-simplify:  Simplify 16.0 into 16.0
* [misc]taylor:  Taking taylor expansion of 116.0 in x
* [misc]backup-simplify:  Simplify 116.0 into 116.0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ 1 116.0) into 0.008620689655172414
* [misc]backup-simplify:  Simplify 0.008620689655172414 into 0.008620689655172414
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 16.0) into 16.0
* [misc]backup-simplify:  Simplify (- (/ 16.0 116.0) (+ (* 0.008620689655172414 (/ 0 116.0)))) into 0.13793103448275862
* [misc]backup-simplify:  Simplify 0.13793103448275862 into 0.13793103448275862
* [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 116.0) (+ (* 0.008620689655172414 (/ 0 116.0)) (* 0.13793103448275862 (/ 0 116.0)))) 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 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 116.0) (+ (* 0.008620689655172414 (/ 0 116.0)) (* 0.13793103448275862 (/ 0 116.0)) (* 0 (/ 0 116.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 (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 116.0) (+ (* 0.008620689655172414 (/ 0 116.0)) (* 0.13793103448275862 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.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 (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 116.0) (+ (* 0.008620689655172414 (/ 0 116.0)) (* 0.13793103448275862 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.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 (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 116.0) (+ (* 0.008620689655172414 (/ 0 116.0)) (* 0.13793103448275862 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.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 (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 116.0) (+ (* 0.008620689655172414 (/ 0 116.0)) (* 0.13793103448275862 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.0)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0.13793103448275862 (* 0.008620689655172414 (/ 1 (/ 1 x)))) into (+ 0.13793103448275862 (* 0.008620689655172414 x))
* [misc]approximate:  Taking taylor expansion of (/ (+ (/ 1 (- x)) 16.0) 116.0) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (/ (+ (/ 1 (- x)) 16.0) 116.0) in x
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- x)) 16.0) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [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 16.0 in x
* [misc]backup-simplify:  Simplify 16.0 into 16.0
* [misc]taylor:  Taking taylor expansion of 116.0 in x
* [misc]backup-simplify:  Simplify 116.0 into 116.0
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]backup-simplify:  Simplify (/ -1 116.0) into -0.008620689655172414
* [misc]taylor:  Taking taylor expansion of (/ (+ (/ 1 (- x)) 16.0) 116.0) in x
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- x)) 16.0) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [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 16.0 in x
* [misc]backup-simplify:  Simplify 16.0 into 16.0
* [misc]taylor:  Taking taylor expansion of 116.0 in x
* [misc]backup-simplify:  Simplify 116.0 into 116.0
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]backup-simplify:  Simplify (/ -1 116.0) into -0.008620689655172414
* [misc]backup-simplify:  Simplify -0.008620689655172414 into -0.008620689655172414
* [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 16.0) into 16.0
* [misc]backup-simplify:  Simplify (- (/ 16.0 116.0) (+ (* -0.008620689655172414 (/ 0 116.0)))) into 0.13793103448275862
* [misc]backup-simplify:  Simplify 0.13793103448275862 into 0.13793103448275862
* [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 116.0) (+ (* -0.008620689655172414 (/ 0 116.0)) (* 0.13793103448275862 (/ 0 116.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 (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 116.0) (+ (* -0.008620689655172414 (/ 0 116.0)) (* 0.13793103448275862 (/ 0 116.0)) (* 0 (/ 0 116.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 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 116.0) (+ (* -0.008620689655172414 (/ 0 116.0)) (* 0.13793103448275862 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.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 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 116.0) (+ (* -0.008620689655172414 (/ 0 116.0)) (* 0.13793103448275862 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.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 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 116.0) (+ (* -0.008620689655172414 (/ 0 116.0)) (* 0.13793103448275862 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.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 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 116.0) (+ (* -0.008620689655172414 (/ 0 116.0)) (* 0.13793103448275862 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.0)) (* 0 (/ 0 116.0)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0.13793103448275862 (* -0.008620689655172414 (/ 1 (/ 1 (- x))))) into (+ 0.13793103448275862 (* 0.008620689655172414 x))
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt-event (λ (x) (+ 0.13793103448275862 (* 0.008620689655172414 x)))>
* [enter]simplify:  Simplifying (+ 0.13793103448275862 (* 0.008620689655172414 x))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* [exit]simplify:  Simplified to (+ (* x 0.008620689655172414) 0.13793103448275862)
* * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt-event (λ (x) (+ 0.13793103448275862 (* 0.008620689655172414 x)))>
* [enter]simplify:  Simplifying (+ 0.13793103448275862 (* 0.008620689655172414 x))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* [exit]simplify:  Simplified to (+ (* x 0.008620689655172414) 0.13793103448275862)
* * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt-event (λ (x) (+ 0.13793103448275862 (* 0.008620689655172414 x)))>
* [enter]simplify:  Simplifying (+ 0.13793103448275862 (* 0.008620689655172414 x))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* [exit]simplify:  Simplified to (+ (* x 0.008620689655172414) 0.13793103448275862)
* * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt-delta (λ (x) (pow (/ (+ x 16.0) 116.0) 1))>
* * * * [misc]progress:  [ 5 / 16 ] simplifiying candidate #<alt-delta (λ (x) (exp (log (/ (+ x 16.0) 116.0))))>
* [enter]simplify:  Simplifying (log (/ (+ x 16.0) 116.0))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* [exit]simplify:  Simplified to (log (/ (+ x 16.0) 116.0))
* [exit]simplify:  Simplified to (log (/ (+ x 16.0) 116.0))
* * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt-delta (λ (x) (log (exp (/ (+ x 16.0) 116.0))))>
* [enter]simplify:  Simplifying (exp (/ (+ x 16.0) 116.0))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (7 enodes)
* [exit]simplify:  Simplified to (exp (/ (+ x 16.0) 116.0))
* [exit]simplify:  Simplified to (exp (/ (+ x 16.0) 116.0))
* * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt-delta (λ (x) (cube (cbrt (/ (+ x 16.0) 116.0))))>
* [enter]simplify:  Simplifying (cbrt (/ (+ x 16.0) 116.0))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (7 enodes)
* [exit]simplify:  Simplified to (cbrt (/ (+ x 16.0) 116.0))
* [exit]simplify:  Simplified to (cbrt (/ (+ x 16.0) 116.0))
* * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt-delta (λ (x) (cbrt (cube (/ (+ x 16.0) 116.0))))>
* [enter]simplify:  Simplifying (cube (/ (+ x 16.0) 116.0))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* * [misc]simplify:  iters left: 2 (44 enodes)
* * [misc]simplify:  iters left: 1 (103 enodes)
* [exit]simplify:  Simplified to (cube (/ (+ x 16.0) 116.0))
* [exit]simplify:  Simplified to (cube (/ (+ x 16.0) 116.0))
* * * * [misc]progress:  [ 9 / 16 ] simplifiying candidate #<alt-delta (λ (x) (sqr (sqrt (/ (+ x 16.0) 116.0))))>
* [enter]simplify:  Simplifying (sqrt (/ (+ x 16.0) 116.0))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (7 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (+ x 16.0) 116.0))
* [exit]simplify:  Simplified to (sqrt (/ (+ x 16.0) 116.0))
* * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt-delta (λ (x) (/ (- (+ x 16.0)) (- 116.0)))>
* [enter]simplify:  Simplifying (- (+ x 16.0))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (9 enodes)
* [exit]simplify:  Simplified to (- (+ x 16.0))
* [exit]simplify:  Simplified to (- (+ x 16.0))
* [enter]simplify:  Simplifying (- 116.0)
* * [misc]simplify:  iters left: 2 (2 enodes)
* [exit]simplify:  Simplified to (- 116.0)
* [exit]simplify:  Simplified to (- 116.0)
* * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt-delta (λ (x) (* 1 (/ (+ x 16.0) 116.0)))>
* * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt-delta (λ (x) (* (+ x 16.0) (/ 1 116.0)))>
* [enter]simplify:  Simplifying (/ 1 116.0)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (/ 1 116.0)
* [exit]simplify:  Simplified to (/ 1 116.0)
* * * * [misc]progress:  [ 13 / 16 ] simplifiying candidate #<alt-delta (λ (x) (/ 1 (/ 116.0 (+ x 16.0))))>
* [enter]simplify:  Simplifying (/ 116.0 (+ x 16.0))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (/ 116.0 (+ 16.0 x))
* [exit]simplify:  Simplified to (/ 116.0 (+ 16.0 x))
* * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt-delta (λ (x) (/ 1 (/ 116.0 (+ x 16.0))))>
* [enter]simplify:  Simplifying (/ 116.0 (+ x 16.0))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (/ 116.0 (+ 16.0 x))
* [exit]simplify:  Simplified to (/ 116.0 (+ 16.0 x))
* * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (pow x 3) (pow 16.0 3)) (* 116.0 (+ (sqr x) (- (sqr 16.0) (* x 16.0))))))>
* [enter]simplify:  Simplifying (* 116.0 (+ (sqr x) (- (sqr 16.0) (* x 16.0))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (33 enodes)
* * [misc]simplify:  iters left: 3 (38 enodes)
* * [misc]simplify:  iters left: 2 (43 enodes)
* * [misc]simplify:  iters left: 1 (46 enodes)
* [exit]simplify:  Simplified to (+ (* (* x 116.0) x) (* (- 16.0 x) (* 116.0 16.0)))
* [exit]simplify:  Simplified to (+ (* (* x 116.0) x) (* (- 16.0 x) (* 116.0 16.0)))
* * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt-delta (λ (x) (/ (- (sqr x) (sqr 16.0)) (* 116.0 (- x 16.0))))>
* [enter]simplify:  Simplifying (* 116.0 (- x 16.0))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (* 116.0 (- x 16.0))
* [exit]simplify:  Simplified to (* 116.0 (- x 16.0))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 3
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-event (λ (x) (+ 0.13793103448275862 (* 0.008620689655172414 x)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (+ 0.13793103448275862 (* 0.008620689655172414 x)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ 0.13793103448275862 (* 0.008620689655172414 x)) in x
* [misc]taylor:  Taking taylor expansion of 0.13793103448275862 in x
* [misc]backup-simplify:  Simplify 0.13793103448275862 into 0.13793103448275862
* [misc]taylor:  Taking taylor expansion of (* 0.008620689655172414 x) in x
* [misc]taylor:  Taking taylor expansion of 0.008620689655172414 in x
* [misc]backup-simplify:  Simplify 0.008620689655172414 into 0.008620689655172414
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ 0.13793103448275862 (* 0.008620689655172414 x)) in x
* [misc]taylor:  Taking taylor expansion of 0.13793103448275862 in x
* [misc]backup-simplify:  Simplify 0.13793103448275862 into 0.13793103448275862
* [misc]taylor:  Taking taylor expansion of (* 0.008620689655172414 x) in x
* [misc]taylor:  Taking taylor expansion of 0.008620689655172414 in x
* [misc]backup-simplify:  Simplify 0.008620689655172414 into 0.008620689655172414
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0.008620689655172414 0) into 0
* [misc]backup-simplify:  Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
* [misc]backup-simplify:  Simplify 0.13793103448275862 into 0.13793103448275862
* [misc]backup-simplify:  Simplify (+ (* 0.008620689655172414 1) (* 0 0)) into 0.008620689655172414
* [misc]backup-simplify:  Simplify (+ 0 0.008620689655172414) into 0.008620689655172414
* [misc]backup-simplify:  Simplify 0.008620689655172414 into 0.008620689655172414
* [misc]backup-simplify:  Simplify (+ (* 0.008620689655172414 0) (+ (* 0 1) (* 0 0))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0.008620689655172414 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0.008620689655172414 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0.008620689655172414 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0.008620689655172414 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0.008620689655172414 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0.008620689655172414 x) 0.13793103448275862) into (+ 0.13793103448275862 (* 0.008620689655172414 x))
* [misc]approximate:  Taking taylor expansion of (+ 0.13793103448275862 (* 0.008620689655172414 (/ 1 x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ 0.13793103448275862 (* 0.008620689655172414 (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of 0.13793103448275862 in x
* [misc]backup-simplify:  Simplify 0.13793103448275862 into 0.13793103448275862
* [misc]taylor:  Taking taylor expansion of (* 0.008620689655172414 (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of 0.008620689655172414 in x
* [misc]backup-simplify:  Simplify 0.008620689655172414 into 0.008620689655172414
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [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 (+ 0.13793103448275862 (* 0.008620689655172414 (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of 0.13793103448275862 in x
* [misc]backup-simplify:  Simplify 0.13793103448275862 into 0.13793103448275862
* [misc]taylor:  Taking taylor expansion of (* 0.008620689655172414 (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of 0.008620689655172414 in x
* [misc]backup-simplify:  Simplify 0.008620689655172414 into 0.008620689655172414
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [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.008620689655172414 1) into 0.008620689655172414
* [misc]backup-simplify:  Simplify (+ 0 0.008620689655172414) into 0.008620689655172414
* [misc]backup-simplify:  Simplify 0.008620689655172414 into 0.008620689655172414
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0.008620689655172414 0) (* 0 1)) into 0
* [misc]backup-simplify:  Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
* [misc]backup-simplify:  Simplify 0.13793103448275862 into 0.13793103448275862
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0.008620689655172414 0) (+ (* 0 0) (* 0 1))) 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)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0.008620689655172414 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) 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 (+ (* 0.008620689655172414 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) 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 (+ (* 0.008620689655172414 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) 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 (+ (* 0.008620689655172414 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) 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 (+ (* 0.008620689655172414 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0.13793103448275862 (* 0.008620689655172414 (/ 1 (/ 1 x)))) into (+ 0.13793103448275862 (* 0.008620689655172414 x))
* [misc]approximate:  Taking taylor expansion of (+ 0.13793103448275862 (* 0.008620689655172414 (/ 1 (- x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ 0.13793103448275862 (* 0.008620689655172414 (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of 0.13793103448275862 in x
* [misc]backup-simplify:  Simplify 0.13793103448275862 into 0.13793103448275862
* [misc]taylor:  Taking taylor expansion of (* 0.008620689655172414 (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of 0.008620689655172414 in x
* [misc]backup-simplify:  Simplify 0.008620689655172414 into 0.008620689655172414
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [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 (+ 0.13793103448275862 (* 0.008620689655172414 (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of 0.13793103448275862 in x
* [misc]backup-simplify:  Simplify 0.13793103448275862 into 0.13793103448275862
* [misc]taylor:  Taking taylor expansion of (* 0.008620689655172414 (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of 0.008620689655172414 in x
* [misc]backup-simplify:  Simplify 0.008620689655172414 into 0.008620689655172414
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [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.008620689655172414 -1) into -0.008620689655172414
* [misc]backup-simplify:  Simplify (+ 0 -0.008620689655172414) into (- 0.008620689655172414)
* [misc]backup-simplify:  Simplify (- 0.008620689655172414) into (- 0.008620689655172414)
* [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.008620689655172414 0) (* 0 -1)) into 0
* [misc]backup-simplify:  Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
* [misc]backup-simplify:  Simplify 0.13793103448275862 into 0.13793103448275862
* [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.008620689655172414 0) (+ (* 0 0) (* 0 -1))) 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 (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0.008620689655172414 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) 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.008620689655172414 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) 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.008620689655172414 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) 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.008620689655172414 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) 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.008620689655172414 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0.13793103448275862 (* (- 0.008620689655172414) (/ 1 (/ 1 (- x))))) into (+ 0.13793103448275862 (* 0.008620689655172414 x))
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 13 ] simplifiying candidate #<alt-event (λ (x) (+ 0.13793103448275862 (* 0.008620689655172414 x)))>
* [enter]simplify:  Simplifying (+ 0.13793103448275862 (* 0.008620689655172414 x))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* [exit]simplify:  Simplified to (+ (* x 0.008620689655172414) 0.13793103448275862)
* * * * [misc]progress:  [ 2 / 13 ] simplifiying candidate #<alt-event (λ (x) (+ 0.13793103448275862 (* 0.008620689655172414 x)))>
* [enter]simplify:  Simplifying (+ 0.13793103448275862 (* 0.008620689655172414 x))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* [exit]simplify:  Simplified to (+ (* x 0.008620689655172414) 0.13793103448275862)
* * * * [misc]progress:  [ 3 / 13 ] simplifiying candidate #<alt-event (λ (x) (+ 0.13793103448275862 (* 0.008620689655172414 x)))>
* [enter]simplify:  Simplifying (+ 0.13793103448275862 (* 0.008620689655172414 x))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* [exit]simplify:  Simplified to (+ (* x 0.008620689655172414) 0.13793103448275862)
* * * * [misc]progress:  [ 4 / 13 ] simplifiying candidate #<alt-delta (λ (x) (pow (+ 0.13793103448275862 (* 0.008620689655172414 x)) 1))>
* * * * [misc]progress:  [ 5 / 13 ] simplifiying candidate #<alt-delta (λ (x) (exp (log (+ 0.13793103448275862 (* 0.008620689655172414 x)))))>
* [enter]simplify:  Simplifying (log (+ 0.13793103448275862 (* 0.008620689655172414 x)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* [exit]simplify:  Simplified to (log (+ (* x 0.008620689655172414) 0.13793103448275862))
* [exit]simplify:  Simplified to (log (+ (* x 0.008620689655172414) 0.13793103448275862))
* * * * [misc]progress:  [ 6 / 13 ] simplifiying candidate #<alt-delta (λ (x) (log (exp (+ 0.13793103448275862 (* 0.008620689655172414 x)))))>
* [enter]simplify:  Simplifying (exp (+ 0.13793103448275862 (* 0.008620689655172414 x)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* [exit]simplify:  Simplified to (exp (+ (* x 0.008620689655172414) 0.13793103448275862))
* [exit]simplify:  Simplified to (exp (+ (* x 0.008620689655172414) 0.13793103448275862))
* * * * [misc]progress:  [ 7 / 13 ] simplifiying candidate #<alt-delta (λ (x) (cube (cbrt (+ 0.13793103448275862 (* 0.008620689655172414 x)))))>
* [enter]simplify:  Simplifying (cbrt (+ 0.13793103448275862 (* 0.008620689655172414 x)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* [exit]simplify:  Simplified to (cbrt (+ (* x 0.008620689655172414) 0.13793103448275862))
* [exit]simplify:  Simplified to (cbrt (+ (* x 0.008620689655172414) 0.13793103448275862))
* * * * [misc]progress:  [ 8 / 13 ] simplifiying candidate #<alt-delta (λ (x) (cbrt (cube (+ 0.13793103448275862 (* 0.008620689655172414 x)))))>
* [enter]simplify:  Simplifying (cube (+ 0.13793103448275862 (* 0.008620689655172414 x)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (20 enodes)
* * [misc]simplify:  iters left: 2 (64 enodes)
* * [misc]simplify:  iters left: 1 (192 enodes)
* [exit]simplify:  Simplified to (cube (+ (* x 0.008620689655172414) 0.13793103448275862))
* [exit]simplify:  Simplified to (cube (+ (* x 0.008620689655172414) 0.13793103448275862))
* * * * [misc]progress:  [ 9 / 13 ] simplifiying candidate #<alt-delta (λ (x) (sqr (sqrt (+ 0.13793103448275862 (* 0.008620689655172414 x)))))>
* [enter]simplify:  Simplifying (sqrt (+ 0.13793103448275862 (* 0.008620689655172414 x)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (* x 0.008620689655172414) 0.13793103448275862))
* [exit]simplify:  Simplified to (sqrt (+ (* x 0.008620689655172414) 0.13793103448275862))
* * * * [misc]progress:  [ 10 / 13 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (pow 0.13793103448275862 3) (pow (* 0.008620689655172414 x) 3)) (+ (sqr 0.13793103448275862) (- (sqr (* 0.008620689655172414 x)) (* 0.13793103448275862 (* 0.008620689655172414 x))))))>
* [enter]simplify:  Simplifying (+ (pow 0.13793103448275862 3) (pow (* 0.008620689655172414 x) 3))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (20 enodes)
* * [misc]simplify:  iters left: 2 (32 enodes)
* * [misc]simplify:  iters left: 1 (42 enodes)
* [exit]simplify:  Simplified to (+ (cube 0.13793103448275862) (cube (* x 0.008620689655172414)))
* [exit]simplify:  Simplified to (+ (cube 0.13793103448275862) (cube (* x 0.008620689655172414)))
* [enter]simplify:  Simplifying (+ (sqr 0.13793103448275862) (- (sqr (* 0.008620689655172414 x)) (* 0.13793103448275862 (* 0.008620689655172414 x))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (31 enodes)
* * [misc]simplify:  iters left: 3 (48 enodes)
* * [misc]simplify:  iters left: 2 (69 enodes)
* * [misc]simplify:  iters left: 1 (71 enodes)
* [exit]simplify:  Simplified to (+ (* (* 0.008620689655172414 x) (- (* 0.008620689655172414 x) 0.13793103448275862)) (sqr 0.13793103448275862))
* [exit]simplify:  Simplified to (+ (* (* 0.008620689655172414 x) (- (* 0.008620689655172414 x) 0.13793103448275862)) (sqr 0.13793103448275862))
* * * * [misc]progress:  [ 11 / 13 ] simplifiying candidate #<alt-delta (λ (x) (* 1 (+ 0.13793103448275862 (* 0.008620689655172414 x))))>
* * * * [misc]progress:  [ 12 / 13 ] simplifiying candidate #<alt-delta (λ (x) (/ (- (sqr 0.13793103448275862) (sqr (* 0.008620689655172414 x))) (- 0.13793103448275862 (* 0.008620689655172414 x))))>
* [enter]simplify:  Simplifying (- (sqr 0.13793103448275862) (sqr (* 0.008620689655172414 x)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* * [misc]simplify:  iters left: 3 (21 enodes)
* * [misc]simplify:  iters left: 2 (37 enodes)
* * [misc]simplify:  iters left: 1 (49 enodes)
* [exit]simplify:  Simplified to (* (+ 0.13793103448275862 (* 0.008620689655172414 x)) (- 0.13793103448275862 (* 0.008620689655172414 x)))
* [exit]simplify:  Simplified to (* (+ 0.13793103448275862 (* 0.008620689655172414 x)) (- 0.13793103448275862 (* 0.008620689655172414 x)))
* [enter]simplify:  Simplifying (- 0.13793103448275862 (* 0.008620689655172414 x))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (- 0.13793103448275862 (* x 0.008620689655172414))
* [exit]simplify:  Simplified to (- 0.13793103448275862 (* x 0.008620689655172414))
* * * * [misc]progress:  [ 13 / 13 ] simplifiying candidate #<alt-delta (λ (x) (+ (* 0.008620689655172414 x) 0.13793103448275862))>
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* * [misc]regime-changes:  Finding splitpoints for: (#<alt-event (λ (x) (/ (+ x 16.0) 116.0))> #<alt-event (λ (x) (+ 0.13793103448275862 (* 0.008620689655172414 x)))>)
* [misc]regimes:  Found splitpoints: (#s(sp 0 x +inf.0)) , with alts (#<alt-event (λ (x) (/ (+ x 16.0) 116.0))>)
* [enter]simplify:  Simplifying (/ (+ x 16.0) 116.0)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (/ (+ x 16.0) 116.0)
* [enter]simplify:  Simplifying (+ 0.13793103448275862 (* 0.008620689655172414 x))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* [exit]simplify:  Simplified to (+ (* x 0.008620689655172414) 0.13793103448275862)