* [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:  Computing exacts on every 8 of 256 points to ramp up precision
* * * * [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 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 59 additional inputs, on iter 1 have 197 / 256
* * * * [misc]points:  Computing exacts on every 3 of 59 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 59 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 2 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 4 additional inputs, on iter 3 have 253 / 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 (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (23 enodes)
* * [misc]simplify:  iters left: 4 (28 enodes)
* * [misc]simplify:  iters left: 3 (38 enodes)
* * [misc]simplify:  iters left: 2 (56 enodes)
* * [misc]simplify:  iters left: 1 (95 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (x) (sqrt (+ (exp x) 1)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1)
* [misc]approximate:  Taking taylor expansion of (+ (exp x) 1) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp 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 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp 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 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1/2 into 1/2
* [misc]backup-simplify:  Simplify 1/2 into 1/2
* [misc]backup-simplify:  Simplify 1/2 into 1/2
* [misc]backup-simplify:  Simplify (+ 2 (+ (* 1/2 (pow x 2)) x)) into (+ (* 1/2 (pow x 2)) (+ x 2))
* [misc]approximate:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) 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 into 1
* [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) 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 into 1
* [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
* [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
* [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 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 (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1)
* [misc]approximate:  Taking taylor expansion of (+ (exp (/ 1 (- x))) 1) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 (- x))) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 (- x))) 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 into -1
* [misc]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 (- x))) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 (- x))) 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 into -1
* [misc]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
* [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
* [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 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 (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 18 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (log1p (expm1 (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (expm1 (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (expm1 (+ 1 (exp x)))
* [exit]simplify:  Simplified to (expm1 (+ 1 (exp x)))
* * * * [misc]progress:  [ 2 / 18 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (log1p (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (log1p (+ 1 (exp x)))
* [exit]simplify:  Simplified to (log1p (+ 1 (exp x)))
* * * * [misc]progress:  [ 3 / 18 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) 1)))>
* * * * [misc]progress:  [ 4 / 18 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)))>
* * * * [misc]progress:  [ 5 / 18 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (fma 1 (exp x) 1)))>
* * * * [misc]progress:  [ 6 / 18 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (pow (+ (exp x) 1) 1)))>
* * * * [misc]progress:  [ 7 / 18 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (exp (log (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (log (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (9 enodes)
* [exit]simplify:  Simplified to (log1p (exp x))
* [exit]simplify:  Simplified to (log1p (exp x))
* * * * [misc]progress:  [ 8 / 18 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (log (exp (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (exp (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (13 enodes)
* [exit]simplify:  Simplified to (* E (exp (exp x)))
* [exit]simplify:  Simplified to (* E (exp (exp x)))
* * * * [misc]progress:  [ 9 / 18 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (* (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))) (cbrt (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (9 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x))))
* [exit]simplify:  Simplified to (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x))))
* [enter]simplify:  Simplifying (cbrt (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (cbrt (+ 1 (exp x)))
* [exit]simplify:  Simplified to (cbrt (+ 1 (exp x)))
* * * * [misc]progress:  [ 10 / 18 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (cbrt (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (45 enodes)
* * [misc]simplify:  iters left: 3 (135 enodes)
* [exit]simplify:  Simplified to (pow (+ 1 (exp x)) 3)
* [exit]simplify:  Simplified to (pow (+ 1 (exp x)) 3)
* * * * [misc]progress:  [ 11 / 18 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* * * * [misc]progress:  [ 12 / 18 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
* [enter]simplify:  Simplifying (+ (pow (exp x) 3) (pow 1 3))
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (15 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* * [misc]simplify:  iters left: 1 (23 enodes)
* [exit]simplify:  Simplified to (fma (exp (+ x x)) (exp x) 1)
* [exit]simplify:  Simplified to (fma (exp (+ x x)) (exp x) 1)
* [enter]simplify:  Simplifying (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (33 enodes)
* * [misc]simplify:  iters left: 3 (55 enodes)
* * [misc]simplify:  iters left: 2 (94 enodes)
* * [misc]simplify:  iters left: 1 (136 enodes)
* [exit]simplify:  Simplified to (fma (exp x) (expm1 x) 1)
* [exit]simplify:  Simplified to (fma (exp x) (expm1 x) 1)
* * * * [misc]progress:  [ 13 / 18 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (* 1 (+ (exp x) 1))))>
* * * * [misc]progress:  [ 14 / 18 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (- (* (exp x) (exp x)) (* 1 1)) (- (exp x) 1))))>
* [enter]simplify:  Simplifying (- (* (exp x) (exp x)) (* 1 1))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (23 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (47 enodes)
* [exit]simplify:  Simplified to (expm1 (+ x x))
* [exit]simplify:  Simplified to (expm1 (+ x x))
* [enter]simplify:  Simplifying (- (exp x) 1)
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (9 enodes)
* * [misc]simplify:  iters left: 1 (10 enodes)
* [exit]simplify:  Simplified to (expm1 x)
* [exit]simplify:  Simplified to (expm1 x)
* * * * [misc]progress:  [ 15 / 18 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (+ 1 (exp x))))>
* * * * [misc]progress:  [ 16 / 18 ] simplifiying candidate #<alt-event (λ (x) (sqrt (+ (* 1/2 (pow x 2)) (+ x 2))))>
* [enter]simplify:  Simplifying (sqrt (+ (* 1/2 (pow x 2)) (+ x 2)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (28 enodes)
* * [misc]simplify:  iters left: 3 (42 enodes)
* * [misc]simplify:  iters left: 2 (49 enodes)
* * [misc]simplify:  iters left: 1 (53 enodes)
* [exit]simplify:  Simplified to (sqrt (fma (fma 1/2 x 1) x 2))
* * * * [misc]progress:  [ 17 / 18 ] simplifiying candidate #<alt-event (λ (x) (sqrt (+ (exp x) 1)))>
* [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* * * * [misc]progress:  [ 18 / 18 ] simplifiying candidate #<alt-event (λ (x) (sqrt (+ (exp x) 1)))>
* [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (x) (sqrt (expm1 (log1p (+ (exp x) 1)))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
* * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
* * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1 1 1)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
* [misc]approximate:  Taking taylor expansion of (log1p (+ (exp x) 1)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp x) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp x) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp x) 1)) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp 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 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]backup-simplify:  Simplify (log 3) into (log 3)
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp x) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp x) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp x) 1)) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp 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 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]backup-simplify:  Simplify (log 3) into (log 3)
* [misc]backup-simplify:  Simplify (log 3) into (log 3)
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]backup-simplify:  Simplify 1/2 into 1/2
* [misc]backup-simplify:  Simplify 1/2 into 1/2
* [misc]backup-simplify:  Simplify 1/2 into 1/2
* [misc]backup-simplify:  Simplify 1/9 into 1/9
* [misc]backup-simplify:  Simplify 1/9 into 1/9
* [misc]backup-simplify:  Simplify (+ (* 1/9 (pow x 2)) (+ (* 1/3 x) (log 3))) into (+ (* 1/9 (pow x 2)) (+ (* 1/3 x) (log 3)))
* [misc]approximate:  Taking taylor expansion of (log1p (+ (exp (/ 1 x)) 1)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp (/ 1 x)) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp (/ 1 x)) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp (/ 1 x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) 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 into 1
* [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
* [misc]backup-simplify:  Simplify (+ 1 (+ (exp (/ 1 x)) 1)) into (+ (exp (/ 1 x)) 2)
* [misc]backup-simplify:  Simplify (log (+ (exp (/ 1 x)) 2)) into (log (+ (exp (/ 1 x)) 2))
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp (/ 1 x)) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp (/ 1 x)) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp (/ 1 x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) 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 into 1
* [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
* [misc]backup-simplify:  Simplify (+ 1 (+ (exp (/ 1 x)) 1)) into (+ (exp (/ 1 x)) 2)
* [misc]backup-simplify:  Simplify (log (+ (exp (/ 1 x)) 2)) into (log (+ (exp (/ 1 x)) 2))
* [misc]backup-simplify:  Simplify (log (+ (exp (/ 1 x)) 2)) into (log (+ (exp (/ 1 x)) 2))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 0 (+ (exp (/ 1 x)) 2)) 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 (/ (+ (* -1 (/ 0 (pow (+ (exp (/ 1 x)) 2) 2))) (/ 0 (+ (exp (/ 1 x)) 2))) 2) 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 (/ 0 (pow (+ (exp (/ 1 x)) 2) 3))) (+ (* -3 (/ 0 (pow (+ (exp (/ 1 x)) 2) 2))) (/ 0 (+ (exp (/ 1 x)) 2)))) 6) 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 (/ (+ (* -6 (/ 0 (pow (+ (exp (/ 1 x)) 2) 4))) (+ (* 12 (/ 0 (pow (+ (exp (/ 1 x)) 2) 3))) (+ (* -3 (/ 0 (pow (+ (exp (/ 1 x)) 2) 2))) (+ (* -4 (/ 0 (pow (+ (exp (/ 1 x)) 2) 2))) (/ 0 (+ (exp (/ 1 x)) 2)))))) 24) 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 (/ (+ (* 24 (/ 0 (pow (+ (exp (/ 1 x)) 2) 5))) (+ (* -60 (/ 0 (pow (+ (exp (/ 1 x)) 2) 4))) (+ (* 30 (/ 0 (pow (+ (exp (/ 1 x)) 2) 3))) (+ (* 20 (/ 0 (pow (+ (exp (/ 1 x)) 2) 3))) (+ (* -10 (/ 0 (pow (+ (exp (/ 1 x)) 2) 2))) (+ (* -5 (/ 0 (pow (+ (exp (/ 1 x)) 2) 2))) (/ 0 (+ (exp (/ 1 x)) 2)))))))) 120) 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 (/ (+ (* -120 (/ 0 (pow (+ (exp (/ 1 x)) 2) 6))) (+ (* 360 (/ 0 (pow (+ (exp (/ 1 x)) 2) 5))) (+ (* -270 (/ 0 (pow (+ (exp (/ 1 x)) 2) 4))) (+ (* -120 (/ 0 (pow (+ (exp (/ 1 x)) 2) 4))) (+ (* 30 (/ 0 (pow (+ (exp (/ 1 x)) 2) 3))) (+ (* 120 (/ 0 (pow (+ (exp (/ 1 x)) 2) 3))) (+ (* 30 (/ 0 (pow (+ (exp (/ 1 x)) 2) 3))) (+ (* -10 (/ 0 (pow (+ (exp (/ 1 x)) 2) 2))) (+ (* -15 (/ 0 (pow (+ (exp (/ 1 x)) 2) 2))) (+ (* -6 (/ 0 (pow (+ (exp (/ 1 x)) 2) 2))) (/ 0 (+ (exp (/ 1 x)) 2)))))))))))) 720) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (log (+ (exp (/ 1 (/ 1 x))) 2)) into (log (+ (exp x) 2))
* [misc]approximate:  Taking taylor expansion of (log1p (+ (exp (/ 1 (- x))) 1)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp (/ 1 (- x))) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp (/ 1 (- x))) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp (/ 1 (- x))) 1)) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 (- x))) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 (- x))) 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 into -1
* [misc]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
* [misc]backup-simplify:  Simplify (+ 1 (+ (exp (/ -1 x)) 1)) into (+ (exp (/ -1 x)) 2)
* [misc]backup-simplify:  Simplify (log (+ (exp (/ -1 x)) 2)) into (log (+ (exp (/ -1 x)) 2))
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp (/ 1 (- x))) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp (/ 1 (- x))) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp (/ 1 (- x))) 1)) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 (- x))) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 (- x))) 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 into -1
* [misc]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
* [misc]backup-simplify:  Simplify (+ 1 (+ (exp (/ -1 x)) 1)) into (+ (exp (/ -1 x)) 2)
* [misc]backup-simplify:  Simplify (log (+ (exp (/ -1 x)) 2)) into (log (+ (exp (/ -1 x)) 2))
* [misc]backup-simplify:  Simplify (log (+ (exp (/ -1 x)) 2)) into (log (+ (exp (/ -1 x)) 2))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 0 (+ (exp (/ -1 x)) 2)) 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 (/ (+ (* -1 (/ 0 (pow (+ (exp (/ -1 x)) 2) 2))) (/ 0 (+ (exp (/ -1 x)) 2))) 2) 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 (/ 0 (pow (+ (exp (/ -1 x)) 2) 3))) (+ (* -3 (/ 0 (pow (+ (exp (/ -1 x)) 2) 2))) (/ 0 (+ (exp (/ -1 x)) 2)))) 6) 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 (/ (+ (* -6 (/ 0 (pow (+ (exp (/ -1 x)) 2) 4))) (+ (* 12 (/ 0 (pow (+ (exp (/ -1 x)) 2) 3))) (+ (* -3 (/ 0 (pow (+ (exp (/ -1 x)) 2) 2))) (+ (* -4 (/ 0 (pow (+ (exp (/ -1 x)) 2) 2))) (/ 0 (+ (exp (/ -1 x)) 2)))))) 24) 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 (/ (+ (* 24 (/ 0 (pow (+ (exp (/ -1 x)) 2) 5))) (+ (* -60 (/ 0 (pow (+ (exp (/ -1 x)) 2) 4))) (+ (* 30 (/ 0 (pow (+ (exp (/ -1 x)) 2) 3))) (+ (* 20 (/ 0 (pow (+ (exp (/ -1 x)) 2) 3))) (+ (* -10 (/ 0 (pow (+ (exp (/ -1 x)) 2) 2))) (+ (* -5 (/ 0 (pow (+ (exp (/ -1 x)) 2) 2))) (/ 0 (+ (exp (/ -1 x)) 2)))))))) 120) 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 (/ (+ (* -120 (/ 0 (pow (+ (exp (/ -1 x)) 2) 6))) (+ (* 360 (/ 0 (pow (+ (exp (/ -1 x)) 2) 5))) (+ (* -270 (/ 0 (pow (+ (exp (/ -1 x)) 2) 4))) (+ (* -120 (/ 0 (pow (+ (exp (/ -1 x)) 2) 4))) (+ (* 30 (/ 0 (pow (+ (exp (/ -1 x)) 2) 3))) (+ (* 120 (/ 0 (pow (+ (exp (/ -1 x)) 2) 3))) (+ (* 30 (/ 0 (pow (+ (exp (/ -1 x)) 2) 3))) (+ (* -10 (/ 0 (pow (+ (exp (/ -1 x)) 2) 2))) (+ (* -15 (/ 0 (pow (+ (exp (/ -1 x)) 2) 2))) (+ (* -6 (/ 0 (pow (+ (exp (/ -1 x)) 2) 2))) (/ 0 (+ (exp (/ -1 x)) 2)))))))))))) 720) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (log (+ (exp (/ -1 (/ 1 (- x)))) 2)) into (log (+ (exp x) 2))
* * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
* [misc]approximate:  Taking taylor expansion of (expm1 (log1p (+ (exp x) 1))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (+ (exp x) 1))) in x
* [misc]taylor:  Rewrote expression to (- (exp (log1p (+ (exp x) 1))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (log1p (+ (exp x) 1))) in x
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp x) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp x) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp x) 1)) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp 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 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]backup-simplify:  Simplify (log 3) into (log 3)
* [misc]backup-simplify:  Simplify (exp (log 3)) into 3
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (+ (exp x) 1))) in x
* [misc]taylor:  Rewrote expression to (- (exp (log1p (+ (exp x) 1))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (log1p (+ (exp x) 1))) in x
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp x) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp x) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp x) 1)) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp 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 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]backup-simplify:  Simplify (log 3) into (log 3)
* [misc]backup-simplify:  Simplify (exp (log 3)) into 3
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [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/2 into 1/2
* [misc]backup-simplify:  Simplify 1/2 into 1/2
* [misc]backup-simplify:  Simplify 1/2 into 1/2
* [misc]backup-simplify:  Simplify 1/9 into 1/9
* [misc]backup-simplify:  Simplify 1/2 into 1/2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1/2 into 1/2
* [misc]backup-simplify:  Simplify 1/2 into 1/2
* [misc]backup-simplify:  Simplify (+ 2 (+ (* 1/2 (pow x 2)) x)) into (+ (* 1/2 (pow x 2)) (+ x 2))
* [misc]approximate:  Taking taylor expansion of (expm1 (log1p (+ (exp (/ 1 x)) 1))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (+ (exp (/ 1 x)) 1))) in x
* [misc]taylor:  Rewrote expression to (- (exp (log1p (+ (exp (/ 1 x)) 1))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (log1p (+ (exp (/ 1 x)) 1))) in x
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp (/ 1 x)) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp (/ 1 x)) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp (/ 1 x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) 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 into 1
* [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
* [misc]backup-simplify:  Simplify (+ 1 (+ (exp (/ 1 x)) 1)) into (+ (exp (/ 1 x)) 2)
* [misc]backup-simplify:  Simplify (log (+ (exp (/ 1 x)) 2)) into (log (+ (exp (/ 1 x)) 2))
* [misc]backup-simplify:  Simplify (exp (log (+ (exp (/ 1 x)) 2))) into (+ (exp (/ 1 x)) 2)
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (+ (exp (/ 1 x)) 1))) in x
* [misc]taylor:  Rewrote expression to (- (exp (log1p (+ (exp (/ 1 x)) 1))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (log1p (+ (exp (/ 1 x)) 1))) in x
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp (/ 1 x)) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp (/ 1 x)) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp (/ 1 x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) 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 into 1
* [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
* [misc]backup-simplify:  Simplify (+ 1 (+ (exp (/ 1 x)) 1)) into (+ (exp (/ 1 x)) 2)
* [misc]backup-simplify:  Simplify (log (+ (exp (/ 1 x)) 2)) into (log (+ (exp (/ 1 x)) 2))
* [misc]backup-simplify:  Simplify (exp (log (+ (exp (/ 1 x)) 2))) into (+ (exp (/ 1 x)) 2)
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (+ -1 (+ (exp (/ 1 x)) 2)) into (+ (exp (/ 1 x)) 1)
* [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 0 (+ (exp (/ 1 x)) 2)) 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 (/ (+ (* -1 (/ 0 (pow (+ (exp (/ 1 x)) 2) 2))) (/ 0 (+ (exp (/ 1 x)) 2))) 2) 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 (/ 0 (pow (+ (exp (/ 1 x)) 2) 3))) (+ (* -3 (/ 0 (pow (+ (exp (/ 1 x)) 2) 2))) (/ 0 (+ (exp (/ 1 x)) 2)))) 6) 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 (/ (+ (* -6 (/ 0 (pow (+ (exp (/ 1 x)) 2) 4))) (+ (* 12 (/ 0 (pow (+ (exp (/ 1 x)) 2) 3))) (+ (* -3 (/ 0 (pow (+ (exp (/ 1 x)) 2) 2))) (+ (* -4 (/ 0 (pow (+ (exp (/ 1 x)) 2) 2))) (/ 0 (+ (exp (/ 1 x)) 2)))))) 24) 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 (/ (+ (* 24 (/ 0 (pow (+ (exp (/ 1 x)) 2) 5))) (+ (* -60 (/ 0 (pow (+ (exp (/ 1 x)) 2) 4))) (+ (* 30 (/ 0 (pow (+ (exp (/ 1 x)) 2) 3))) (+ (* 20 (/ 0 (pow (+ (exp (/ 1 x)) 2) 3))) (+ (* -10 (/ 0 (pow (+ (exp (/ 1 x)) 2) 2))) (+ (* -5 (/ 0 (pow (+ (exp (/ 1 x)) 2) 2))) (/ 0 (+ (exp (/ 1 x)) 2)))))))) 120) 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 (/ (+ (* -120 (/ 0 (pow (+ (exp (/ 1 x)) 2) 6))) (+ (* 360 (/ 0 (pow (+ (exp (/ 1 x)) 2) 5))) (+ (* -270 (/ 0 (pow (+ (exp (/ 1 x)) 2) 4))) (+ (* -120 (/ 0 (pow (+ (exp (/ 1 x)) 2) 4))) (+ (* 30 (/ 0 (pow (+ (exp (/ 1 x)) 2) 3))) (+ (* 120 (/ 0 (pow (+ (exp (/ 1 x)) 2) 3))) (+ (* 30 (/ 0 (pow (+ (exp (/ 1 x)) 2) 3))) (+ (* -10 (/ 0 (pow (+ (exp (/ 1 x)) 2) 2))) (+ (* -15 (/ 0 (pow (+ (exp (/ 1 x)) 2) 2))) (+ (* -6 (/ 0 (pow (+ (exp (/ 1 x)) 2) 2))) (/ 0 (+ (exp (/ 1 x)) 2)))))))))))) 720) 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 (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1)
* [misc]approximate:  Taking taylor expansion of (expm1 (log1p (+ (exp (/ 1 (- x))) 1))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (+ (exp (/ 1 (- x))) 1))) in x
* [misc]taylor:  Rewrote expression to (- (exp (log1p (+ (exp (/ 1 (- x))) 1))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (log1p (+ (exp (/ 1 (- x))) 1))) in x
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp (/ 1 (- x))) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp (/ 1 (- x))) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp (/ 1 (- x))) 1)) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 (- x))) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 (- x))) 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 into -1
* [misc]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
* [misc]backup-simplify:  Simplify (+ 1 (+ (exp (/ -1 x)) 1)) into (+ (exp (/ -1 x)) 2)
* [misc]backup-simplify:  Simplify (log (+ (exp (/ -1 x)) 2)) into (log (+ (exp (/ -1 x)) 2))
* [misc]backup-simplify:  Simplify (exp (log (+ (exp (/ -1 x)) 2))) into (+ (exp (/ -1 x)) 2)
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (+ (exp (/ 1 (- x))) 1))) in x
* [misc]taylor:  Rewrote expression to (- (exp (log1p (+ (exp (/ 1 (- x))) 1))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (log1p (+ (exp (/ 1 (- x))) 1))) in x
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp (/ 1 (- x))) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp (/ 1 (- x))) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp (/ 1 (- x))) 1)) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 (- x))) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 (- x))) 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 into -1
* [misc]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
* [misc]backup-simplify:  Simplify (+ 1 (+ (exp (/ -1 x)) 1)) into (+ (exp (/ -1 x)) 2)
* [misc]backup-simplify:  Simplify (log (+ (exp (/ -1 x)) 2)) into (log (+ (exp (/ -1 x)) 2))
* [misc]backup-simplify:  Simplify (exp (log (+ (exp (/ -1 x)) 2))) into (+ (exp (/ -1 x)) 2)
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (+ -1 (+ (exp (/ -1 x)) 2)) into (+ (exp (/ -1 x)) 1)
* [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 0 (+ (exp (/ -1 x)) 2)) 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 (/ (+ (* -1 (/ 0 (pow (+ (exp (/ -1 x)) 2) 2))) (/ 0 (+ (exp (/ -1 x)) 2))) 2) 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 (/ 0 (pow (+ (exp (/ -1 x)) 2) 3))) (+ (* -3 (/ 0 (pow (+ (exp (/ -1 x)) 2) 2))) (/ 0 (+ (exp (/ -1 x)) 2)))) 6) 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 (/ (+ (* -6 (/ 0 (pow (+ (exp (/ -1 x)) 2) 4))) (+ (* 12 (/ 0 (pow (+ (exp (/ -1 x)) 2) 3))) (+ (* -3 (/ 0 (pow (+ (exp (/ -1 x)) 2) 2))) (+ (* -4 (/ 0 (pow (+ (exp (/ -1 x)) 2) 2))) (/ 0 (+ (exp (/ -1 x)) 2)))))) 24) 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 (/ (+ (* 24 (/ 0 (pow (+ (exp (/ -1 x)) 2) 5))) (+ (* -60 (/ 0 (pow (+ (exp (/ -1 x)) 2) 4))) (+ (* 30 (/ 0 (pow (+ (exp (/ -1 x)) 2) 3))) (+ (* 20 (/ 0 (pow (+ (exp (/ -1 x)) 2) 3))) (+ (* -10 (/ 0 (pow (+ (exp (/ -1 x)) 2) 2))) (+ (* -5 (/ 0 (pow (+ (exp (/ -1 x)) 2) 2))) (/ 0 (+ (exp (/ -1 x)) 2)))))))) 120) 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 (/ (+ (* -120 (/ 0 (pow (+ (exp (/ -1 x)) 2) 6))) (+ (* 360 (/ 0 (pow (+ (exp (/ -1 x)) 2) 5))) (+ (* -270 (/ 0 (pow (+ (exp (/ -1 x)) 2) 4))) (+ (* -120 (/ 0 (pow (+ (exp (/ -1 x)) 2) 4))) (+ (* 30 (/ 0 (pow (+ (exp (/ -1 x)) 2) 3))) (+ (* 120 (/ 0 (pow (+ (exp (/ -1 x)) 2) 3))) (+ (* 30 (/ 0 (pow (+ (exp (/ -1 x)) 2) 3))) (+ (* -10 (/ 0 (pow (+ (exp (/ -1 x)) 2) 2))) (+ (* -15 (/ 0 (pow (+ (exp (/ -1 x)) 2) 2))) (+ (* -6 (/ 0 (pow (+ (exp (/ -1 x)) 2) 2))) (/ 0 (+ (exp (/ -1 x)) 2)))))))))))) 720) 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 (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1)
* * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1 1 1)
* [misc]approximate:  Taking taylor expansion of (+ (exp x) 1) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp 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 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp 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 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1/2 into 1/2
* [misc]backup-simplify:  Simplify 1/2 into 1/2
* [misc]backup-simplify:  Simplify 1/2 into 1/2
* [misc]backup-simplify:  Simplify (+ 2 (+ (* 1/2 (pow x 2)) x)) into (+ (* 1/2 (pow x 2)) (+ x 2))
* [misc]approximate:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) 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 into 1
* [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) 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 into 1
* [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
* [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
* [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 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 (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1)
* [misc]approximate:  Taking taylor expansion of (+ (exp (/ 1 (- x))) 1) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 (- x))) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 (- x))) 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 into -1
* [misc]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 (- x))) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 (- x))) 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 into -1
* [misc]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
* [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
* [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 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 (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log (+ 1 (+ (exp x) 1))))))>
* [enter]simplify:  Simplifying (+ 1 (+ (exp x) 1))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (12 enodes)
* [exit]simplify:  Simplified to (+ (+ 1 1) (exp x))
* [exit]simplify:  Simplified to (+ (+ 1 1) (exp x))
* * * * [misc]progress:  [ 2 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (expm1 (log1p (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (+ 1 (exp x))
* [exit]simplify:  Simplified to (+ 1 (exp x))
* * * * [misc]progress:  [ 3 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (expm1 (log1p (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (log1p (log1p (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (log1p (log1p (+ 1 (exp x))))
* [exit]simplify:  Simplified to (log1p (log1p (+ 1 (exp x))))
* * * * [misc]progress:  [ 4 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (+ (exp x) 1)))))>
* * * * [misc]progress:  [ 5 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (pow (log1p (+ (exp x) 1)) 1))))>
* * * * [misc]progress:  [ 6 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (exp (log (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (log (log1p (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (log (log1p (+ 1 (exp x))))
* [exit]simplify:  Simplified to (log (log1p (+ 1 (exp x))))
* * * * [misc]progress:  [ 7 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log (exp (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (exp (log1p (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (exp (log1p (+ 1 (exp x))))
* [exit]simplify:  Simplified to (exp (log1p (+ 1 (exp x))))
* * * * [misc]progress:  [ 8 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (* (* (cbrt (log1p (+ (exp x) 1))) (cbrt (log1p (+ (exp x) 1)))) (cbrt (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (* (cbrt (log1p (+ (exp x) 1))) (cbrt (log1p (+ (exp x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (* (cbrt (log1p (+ 1 (exp x)))) (cbrt (log1p (+ 1 (exp x)))))
* [exit]simplify:  Simplified to (* (cbrt (log1p (+ 1 (exp x)))) (cbrt (log1p (+ 1 (exp x)))))
* [enter]simplify:  Simplifying (cbrt (log1p (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (cbrt (log1p (+ 1 (exp x))))
* [exit]simplify:  Simplified to (cbrt (log1p (+ 1 (exp x))))
* * * * [misc]progress:  [ 9 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (cbrt (* (* (log1p (+ (exp x) 1)) (log1p (+ (exp x) 1))) (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (* (* (log1p (+ (exp x) 1)) (log1p (+ (exp x) 1))) (log1p (+ (exp x) 1)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* [exit]simplify:  Simplified to (pow (log1p (+ 1 (exp x))) 3)
* [exit]simplify:  Simplified to (pow (log1p (+ 1 (exp x))) 3)
* * * * [misc]progress:  [ 10 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (* (sqrt (log1p (+ (exp x) 1))) (sqrt (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (sqrt (log1p (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (sqrt (log1p (+ 1 (exp x))))
* [exit]simplify:  Simplified to (sqrt (log1p (+ 1 (exp x))))
* [enter]simplify:  Simplifying (sqrt (log1p (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (sqrt (log1p (+ 1 (exp x))))
* [exit]simplify:  Simplified to (sqrt (log1p (+ 1 (exp x))))
* * * * [misc]progress:  [ 11 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (* 1 (log1p (+ (exp x) 1))))))>
* * * * [misc]progress:  [ 12 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (- (exp (log1p (+ (exp x) 1))) 1)))>
* [enter]simplify:  Simplifying (exp (log1p (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (exp (log1p (+ 1 (exp x))))
* [exit]simplify:  Simplified to (exp (log1p (+ 1 (exp x))))
* * * * [misc]progress:  [ 13 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (log1p (expm1 (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (expm1 (expm1 (log1p (+ (exp x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (expm1 (+ 1 (exp x)))
* [exit]simplify:  Simplified to (expm1 (+ 1 (exp x)))
* * * * [misc]progress:  [ 14 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (log1p (expm1 (log1p (+ (exp x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (log1p (+ 1 (exp x)))
* [exit]simplify:  Simplified to (log1p (+ 1 (exp x)))
* * * * [misc]progress:  [ 15 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (+ (exp x) 1)))>
* * * * [misc]progress:  [ 16 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (pow (expm1 (log1p (+ (exp x) 1))) 1)))>
* * * * [misc]progress:  [ 17 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (exp (log (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (log (expm1 (log1p (+ (exp x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* [exit]simplify:  Simplified to (log1p (exp x))
* [exit]simplify:  Simplified to (log1p (exp x))
* * * * [misc]progress:  [ 18 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (log (exp (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (exp (expm1 (log1p (+ (exp x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* [exit]simplify:  Simplified to (* (exp (exp x)) E)
* [exit]simplify:  Simplified to (* (exp (exp x)) E)
* * * * [misc]progress:  [ 19 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (* (* (cbrt (expm1 (log1p (+ (exp x) 1)))) (cbrt (expm1 (log1p (+ (exp x) 1))))) (cbrt (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (* (cbrt (expm1 (log1p (+ (exp x) 1)))) (cbrt (expm1 (log1p (+ (exp x) 1)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x))))
* [exit]simplify:  Simplified to (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x))))
* [enter]simplify:  Simplifying (cbrt (expm1 (log1p (+ (exp x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (cbrt (+ 1 (exp x)))
* [exit]simplify:  Simplified to (cbrt (+ 1 (exp x)))
* * * * [misc]progress:  [ 20 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (cbrt (* (* (expm1 (log1p (+ (exp x) 1))) (expm1 (log1p (+ (exp x) 1)))) (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (* (* (expm1 (log1p (+ (exp x) 1))) (expm1 (log1p (+ (exp x) 1)))) (expm1 (log1p (+ (exp x) 1))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* * [misc]simplify:  iters left: 4 (30 enodes)
* * [misc]simplify:  iters left: 3 (52 enodes)
* * [misc]simplify:  iters left: 2 (135 enodes)
* [exit]simplify:  Simplified to (pow (+ 1 (exp x)) 3)
* [exit]simplify:  Simplified to (pow (+ 1 (exp x)) 3)
* * * * [misc]progress:  [ 21 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (* (sqrt (expm1 (log1p (+ (exp x) 1)))) (sqrt (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (sqrt (expm1 (log1p (+ (exp x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* [enter]simplify:  Simplifying (sqrt (expm1 (log1p (+ (exp x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* * * * [misc]progress:  [ 22 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (* 1 (expm1 (log1p (+ (exp x) 1))))))>
* * * * [misc]progress:  [ 23 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (log1p (expm1 (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (expm1 (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (expm1 (+ 1 (exp x)))
* [exit]simplify:  Simplified to (expm1 (+ 1 (exp x)))
* * * * [misc]progress:  [ 24 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (log1p (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (log1p (+ 1 (exp x)))
* [exit]simplify:  Simplified to (log1p (+ 1 (exp x)))
* * * * [misc]progress:  [ 25 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) 1)))))>
* * * * [misc]progress:  [ 26 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (fma (sqrt (exp x)) (sqrt (exp x)) 1)))))>
* * * * [misc]progress:  [ 27 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (fma 1 (exp x) 1)))))>
* * * * [misc]progress:  [ 28 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (pow (+ (exp x) 1) 1)))))>
* * * * [misc]progress:  [ 29 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (exp (log (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (log (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (9 enodes)
* [exit]simplify:  Simplified to (log1p (exp x))
* [exit]simplify:  Simplified to (log1p (exp x))
* * * * [misc]progress:  [ 30 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (log (exp (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (exp (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (13 enodes)
* [exit]simplify:  Simplified to (* E (exp (exp x)))
* [exit]simplify:  Simplified to (* E (exp (exp x)))
* * * * [misc]progress:  [ 31 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (* (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))) (cbrt (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (9 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x))))
* [exit]simplify:  Simplified to (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x))))
* [enter]simplify:  Simplifying (cbrt (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (cbrt (+ 1 (exp x)))
* [exit]simplify:  Simplified to (cbrt (+ 1 (exp x)))
* * * * [misc]progress:  [ 32 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (cbrt (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (45 enodes)
* * [misc]simplify:  iters left: 3 (135 enodes)
* [exit]simplify:  Simplified to (pow (+ 1 (exp x)) 3)
* [exit]simplify:  Simplified to (pow (+ 1 (exp x)) 3)
* * * * [misc]progress:  [ 33 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* * * * [misc]progress:  [ 34 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))))>
* [enter]simplify:  Simplifying (+ (pow (exp x) 3) (pow 1 3))
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (15 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* * [misc]simplify:  iters left: 1 (23 enodes)
* [exit]simplify:  Simplified to (fma (exp (+ x x)) (exp x) 1)
* [exit]simplify:  Simplified to (fma (exp (+ x x)) (exp x) 1)
* [enter]simplify:  Simplifying (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (33 enodes)
* * [misc]simplify:  iters left: 3 (55 enodes)
* * [misc]simplify:  iters left: 2 (94 enodes)
* * [misc]simplify:  iters left: 1 (136 enodes)
* [exit]simplify:  Simplified to (fma (exp x) (expm1 x) 1)
* [exit]simplify:  Simplified to (fma (exp x) (expm1 x) 1)
* * * * [misc]progress:  [ 35 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (* 1 (+ (exp x) 1))))))>
* * * * [misc]progress:  [ 36 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (/ (- (* (exp x) (exp x)) (* 1 1)) (- (exp x) 1))))))>
* [enter]simplify:  Simplifying (- (* (exp x) (exp x)) (* 1 1))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (23 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (47 enodes)
* [exit]simplify:  Simplified to (expm1 (+ x x))
* [exit]simplify:  Simplified to (expm1 (+ x x))
* [enter]simplify:  Simplifying (- (exp x) 1)
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (9 enodes)
* * [misc]simplify:  iters left: 1 (10 enodes)
* [exit]simplify:  Simplified to (expm1 x)
* [exit]simplify:  Simplified to (expm1 x)
* * * * [misc]progress:  [ 37 / 46 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (+ 1 (exp x))))))>
* * * * [misc]progress:  [ 38 / 46 ] simplifiying candidate #<alt-event (λ (x) (sqrt (expm1 (+ (* 1/9 (pow x 2)) (+ (* 1/3 x) (log 3))))))>
* [enter]simplify:  Simplifying (sqrt (expm1 (+ (* 1/9 (pow x 2)) (+ (* 1/3 x) (log 3)))))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (36 enodes)
* * [misc]simplify:  iters left: 3 (59 enodes)
* * [misc]simplify:  iters left: 2 (69 enodes)
* * [misc]simplify:  iters left: 1 (71 enodes)
* [exit]simplify:  Simplified to (sqrt (expm1 (fma x (fma x 1/9 1/3) (log 3))))
* * * * [misc]progress:  [ 39 / 46 ] simplifiying candidate #<alt-event (λ (x) (sqrt (expm1 (log (+ (exp x) 2)))))>
* [enter]simplify:  Simplifying (sqrt (expm1 (log (+ (exp x) 2))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (expm1 (log (+ 2 (exp x)))))
* * * * [misc]progress:  [ 40 / 46 ] simplifiying candidate #<alt-event (λ (x) (sqrt (expm1 (log (+ (exp x) 2)))))>
* [enter]simplify:  Simplifying (sqrt (expm1 (log (+ (exp x) 2))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (expm1 (log (+ 2 (exp x)))))
* * * * [misc]progress:  [ 41 / 46 ] simplifiying candidate #<alt-event (λ (x) (sqrt (+ (* 1/2 (pow x 2)) (+ x 2))))>
* [enter]simplify:  Simplifying (sqrt (+ (* 1/2 (pow x 2)) (+ x 2)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (28 enodes)
* * [misc]simplify:  iters left: 3 (42 enodes)
* * [misc]simplify:  iters left: 2 (49 enodes)
* * [misc]simplify:  iters left: 1 (53 enodes)
* [exit]simplify:  Simplified to (sqrt (fma (fma 1/2 x 1) x 2))
* * * * [misc]progress:  [ 42 / 46 ] simplifiying candidate #<alt-event (λ (x) (sqrt (+ (exp x) 1)))>
* [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* * * * [misc]progress:  [ 43 / 46 ] simplifiying candidate #<alt-event (λ (x) (sqrt (+ (exp x) 1)))>
* [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* * * * [misc]progress:  [ 44 / 46 ] simplifiying candidate #<alt-event (λ (x) (sqrt (expm1 (log1p (+ (* 1/2 (pow x 2)) (+ x 2))))))>
* [enter]simplify:  Simplifying (sqrt (expm1 (log1p (+ (* 1/2 (pow x 2)) (+ x 2)))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (30 enodes)
* * [misc]simplify:  iters left: 3 (44 enodes)
* * [misc]simplify:  iters left: 2 (51 enodes)
* * [misc]simplify:  iters left: 1 (57 enodes)
* [exit]simplify:  Simplified to (sqrt (fma (fma 1/2 x 1) x 2))
* * * * [misc]progress:  [ 45 / 46 ] simplifiying candidate #<alt-event (λ (x) (sqrt (expm1 (log1p (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (sqrt (expm1 (log1p (+ (exp x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* * * * [misc]progress:  [ 46 / 46 ] simplifiying candidate #<alt-event (λ (x) (sqrt (expm1 (log1p (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (sqrt (expm1 (log1p (+ (exp x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* * [misc]regime-changes:  Finding splitpoints for: (#<alt-delta (λ (x) (sqrt (+ (exp x) 1)))> #<alt-delta (λ (x) (sqrt (expm1 (log1p (+ (exp x) 1)))))>)
* [misc]regimes:  Found splitpoints: (#s(sp 0 (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))) +nan.0)) , with alts (#<alt-delta (λ (x) (sqrt (+ (exp x) 1)))>)
* [enter]simplify:  Simplifying (+ (exp x) 1)
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* [exit]simplify:  Simplified to (+ 1 (exp x))
* [exit]simplify:  Simplified to (+ 1 (exp x))
* * * * [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 1999 additional inputs, on iter 1 have 6001 / 8000
* * * * [misc]points:  Computing exacts on every 124 of 1999 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 1999 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 1999 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 1999 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 1999 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 1999 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 1999 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 492 additional inputs, on iter 2 have 7508 / 8000
* * * * [misc]points:  Computing exacts on every 30 of 492 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 492 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 492 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 492 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 492 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 118 additional inputs, on iter 3 have 7882 / 8000
* * * * [misc]points:  Computing exacts on every 7 of 118 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 118 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 118 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 27 additional inputs, on iter 4 have 7973 / 8000
* * * * [misc]points:  Computing exacts for 27 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 5 have 7996 / 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