1539789750.577 * [misc]progress:  [Phase 1 of 3] Setting up.
1539789750.577 * * * [misc]progress:  [1/2] Preparing points
1539789750.577 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1539789750.579 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1539789750.580 * * * * [misc]points:  Setting MPFR precision to 64
1539789750.581 * * * * [misc]points:  Setting MPFR precision to 320
1539789750.581 * * * * [misc]points:  Setting MPFR precision to 576
1539789750.582 * * * * [misc]points:  Setting MPFR precision to 832
1539789750.583 * * * * [misc]points:  Setting MPFR precision to 1088
1539789750.584 * * * * [misc]points:  Setting MPFR precision to 1344
1539789750.585 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1539789750.588 * * * * [misc]points:  Setting MPFR precision to 1088
1539789750.589 * * * * [misc]points:  Setting MPFR precision to 1344
1539789750.591 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1539789750.594 * * * * [misc]points:  Setting MPFR precision to 1088
1539789750.597 * * * * [misc]points:  Setting MPFR precision to 1344
1539789750.600 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1539789750.602 * * * * [misc]points:  Setting MPFR precision to 1088
1539789750.608 * * * * [misc]points:  Setting MPFR precision to 1344
1539789750.614 * * * * [misc]points:  Computing exacts for 256 points
1539789750.617 * * * * [misc]points:  Setting MPFR precision to 1088
1539789750.634 * * * * [misc]points:  Setting MPFR precision to 1344
1539789750.651 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539789750.651 * * * * [misc]points:  Sampling 58 additional inputs, on iter 1 have 198 / 256
1539789750.652 * * * * [misc]points:  Computing exacts on every 3 of 58 points to ramp up precision
1539789750.665 * * * * [misc]points:  Setting MPFR precision to 1088
1539789750.665 * * * * [misc]points:  Setting MPFR precision to 1344
1539789750.667 * * * * [misc]points:  Computing exacts for 58 points
1539789750.670 * * * * [misc]points:  Setting MPFR precision to 1088
1539789750.673 * * * * [misc]points:  Setting MPFR precision to 1344
1539789750.677 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539789750.677 * * * * [misc]points:  Sampling 11 additional inputs, on iter 2 have 245 / 256
1539789750.677 * * * * [misc]points:  Computing exacts for 11 points
1539789750.680 * * * * [misc]points:  Setting MPFR precision to 1088
1539789750.681 * * * * [misc]points:  Setting MPFR precision to 1344
1539789750.681 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539789750.681 * * * * [misc]points:  Sampling 4 additional inputs, on iter 3 have 254 / 256
1539789750.681 * * * * [misc]points:  Computing exacts for 4 points
1539789750.684 * * * * [misc]points:  Setting MPFR precision to 1088
1539789750.685 * * * * [misc]points:  Setting MPFR precision to 1344
1539789750.685 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539789750.685 * * * * [exit]points:  Sampled 257 points with exact outputs
1539789750.685 * * * [misc]progress:  [2/2] Setting up program.
1539789750.689 * [misc]progress:  [Phase 2 of 3] Improving.
1539789750.689 * [enter]simplify:  Simplifying (/ (- (exp x) 1) x)
1539789750.689 * * [misc]simplify:  iters left: 5 (5 enodes)
1539789750.691 * * [misc]simplify:  iters left: 4 (13 enodes)
1539789750.694 * * [misc]simplify:  iters left: 3 (16 enodes)
1539789750.698 * * [misc]simplify:  iters left: 2 (18 enodes)
1539789750.702 * [exit]simplify:  Simplified to (/ (+ -1 (exp x)) x)
1539789750.710 * * [misc]progress:  iteration 1 / 4
1539789750.710 * * * [misc]progress:  picking best candidate
1539789750.713 * * * * [misc]pick:  Picked  #<alt (λ (x) (/ (- (exp x) 1) x))>
1539789750.714 * * * [misc]progress:  localizing error
1539789750.742 * * * [misc]progress:  generating rewritten candidates
1539789750.742 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1)
1539789750.745 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1539789750.752 * * * [misc]progress:  generating series expansions
1539789750.752 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1)
1539789750.752 * [misc]backup-simplify:  Simplify (- (exp x) 1) into (- (exp x) 1)
1539789750.752 * [misc]approximate:  Taking taylor expansion of (- (exp x) 1) in (x) around 0
1539789750.752 * [misc]taylor:  Taking taylor expansion of (- (exp x) 1) in x
1539789750.752 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539789750.752 * [misc]taylor:  Taking taylor expansion of x in x
1539789750.752 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.752 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.752 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539789750.752 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789750.752 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.752 * [misc]taylor:  Taking taylor expansion of (- (exp x) 1) in x
1539789750.752 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539789750.752 * [misc]taylor:  Taking taylor expansion of x in x
1539789750.752 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.752 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.752 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539789750.752 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789750.752 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.752 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789750.753 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1539789750.753 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.754 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1539789750.754 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.754 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539789750.754 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.755 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1539789750.755 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.756 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1539789750.756 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1539789750.758 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1539789750.758 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.758 * [misc]backup-simplify:  Simplify (+ 1/6 0) into 1/6
1539789750.758 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539789750.758 * [misc]backup-simplify:  Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
1539789750.758 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1)
1539789750.758 * [misc]approximate:  Taking taylor expansion of (- (exp (/ 1 x)) 1) in (x) around 0
1539789750.758 * [misc]taylor:  Taking taylor expansion of (- (exp (/ 1 x)) 1) in x
1539789750.758 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539789750.758 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539789750.758 * [misc]taylor:  Taking taylor expansion of x in x
1539789750.758 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.758 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.759 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789750.759 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539789750.759 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789750.759 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.759 * [misc]taylor:  Taking taylor expansion of (- (exp (/ 1 x)) 1) in x
1539789750.759 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539789750.759 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539789750.759 * [misc]taylor:  Taking taylor expansion of x in x
1539789750.759 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.759 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.759 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789750.759 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539789750.759 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789750.759 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.759 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789750.759 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
1539789750.759 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1)
1539789750.759 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.760 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.760 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.760 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.760 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.760 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.760 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.760 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.760 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.760 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.760 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.760 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.760 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.760 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.760 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.761 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.761 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.761 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.761 * [misc]backup-simplify:  Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1)
1539789750.761 * [misc]backup-simplify:  Simplify (- (exp (/ 1 (- x))) 1) into (- (exp (/ -1 x)) 1)
1539789750.761 * [misc]approximate:  Taking taylor expansion of (- (exp (/ -1 x)) 1) in (x) around 0
1539789750.761 * [misc]taylor:  Taking taylor expansion of (- (exp (/ -1 x)) 1) in x
1539789750.761 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539789750.761 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539789750.761 * [misc]taylor:  Taking taylor expansion of -1 in x
1539789750.761 * [misc]backup-simplify:  Simplify -1 into -1
1539789750.761 * [misc]taylor:  Taking taylor expansion of x in x
1539789750.761 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.761 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.761 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539789750.761 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539789750.761 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789750.761 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.761 * [misc]taylor:  Taking taylor expansion of (- (exp (/ -1 x)) 1) in x
1539789750.761 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539789750.761 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539789750.761 * [misc]taylor:  Taking taylor expansion of -1 in x
1539789750.761 * [misc]backup-simplify:  Simplify -1 into -1
1539789750.761 * [misc]taylor:  Taking taylor expansion of x in x
1539789750.761 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.761 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.761 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539789750.761 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539789750.761 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789750.762 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.762 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789750.762 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
1539789750.762 * [misc]backup-simplify:  Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1)
1539789750.762 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.762 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.762 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.762 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.762 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.762 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.762 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.762 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.762 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.763 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.763 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.763 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.763 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.763 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.763 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.763 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.763 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.763 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.763 * [misc]backup-simplify:  Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1)
1539789750.763 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1539789750.763 * [misc]backup-simplify:  Simplify (/ (- (exp x) 1) x) into (/ (- (exp x) 1) x)
1539789750.763 * [misc]approximate:  Taking taylor expansion of (/ (- (exp x) 1) x) in (x) around 0
1539789750.763 * [misc]taylor:  Taking taylor expansion of (/ (- (exp x) 1) x) in x
1539789750.763 * [misc]taylor:  Taking taylor expansion of (- (exp x) 1) in x
1539789750.763 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539789750.763 * [misc]taylor:  Taking taylor expansion of x in x
1539789750.763 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.763 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.763 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539789750.763 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789750.763 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.764 * [misc]taylor:  Taking taylor expansion of x in x
1539789750.764 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.764 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.764 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789750.764 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1539789750.765 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1539789750.765 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.765 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539789750.765 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789750.765 * [misc]taylor:  Taking taylor expansion of (/ (- (exp x) 1) x) in x
1539789750.765 * [misc]taylor:  Taking taylor expansion of (- (exp x) 1) in x
1539789750.765 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539789750.765 * [misc]taylor:  Taking taylor expansion of x in x
1539789750.765 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.765 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.765 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539789750.765 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789750.765 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.765 * [misc]taylor:  Taking taylor expansion of x in x
1539789750.765 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.765 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.765 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789750.765 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1539789750.766 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1539789750.766 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.766 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539789750.767 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789750.767 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.768 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1539789750.768 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.768 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1539789750.768 * [misc]backup-simplify:  Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)))) into 1/2
1539789750.768 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1539789750.771 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1539789750.771 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.771 * [misc]backup-simplify:  Simplify (+ 1/6 0) into 1/6
1539789750.771 * [misc]backup-simplify:  Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 1/2 (/ 0 1)))) into 1/6
1539789750.771 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539789750.771 * [misc]backup-simplify:  Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
1539789750.772 * [misc]backup-simplify:  Simplify (/ (- (exp (/ 1 x)) 1) (/ 1 x)) into (* x (- (exp (/ 1 x)) 1))
1539789750.772 * [misc]approximate:  Taking taylor expansion of (* x (- (exp (/ 1 x)) 1)) in (x) around 0
1539789750.772 * [misc]taylor:  Taking taylor expansion of (* x (- (exp (/ 1 x)) 1)) in x
1539789750.772 * [misc]taylor:  Taking taylor expansion of x in x
1539789750.772 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.772 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.772 * [misc]taylor:  Taking taylor expansion of (- (exp (/ 1 x)) 1) in x
1539789750.772 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539789750.772 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539789750.772 * [misc]taylor:  Taking taylor expansion of x in x
1539789750.772 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.772 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.772 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789750.772 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539789750.772 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789750.772 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.772 * [misc]taylor:  Taking taylor expansion of (* x (- (exp (/ 1 x)) 1)) in x
1539789750.772 * [misc]taylor:  Taking taylor expansion of x in x
1539789750.772 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.772 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.772 * [misc]taylor:  Taking taylor expansion of (- (exp (/ 1 x)) 1) in x
1539789750.772 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539789750.772 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539789750.772 * [misc]taylor:  Taking taylor expansion of x in x
1539789750.772 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.772 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.773 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789750.773 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539789750.773 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789750.773 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.773 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789750.773 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
1539789750.773 * [misc]backup-simplify:  Simplify (* 0 (- (exp (/ 1 x)) 1)) into 0
1539789750.773 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.773 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.773 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.774 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (exp (/ 1 x)) 1))) into (- (exp (/ 1 x)) 1)
1539789750.774 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1)
1539789750.774 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.774 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.774 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ 1 x)) 1)))) into 0
1539789750.775 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.775 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.775 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.775 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))) into 0
1539789750.775 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.775 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.776 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.776 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1)))))) into 0
1539789750.776 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.776 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.776 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.777 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))))) into 0
1539789750.777 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.777 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.777 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.777 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1)))))))) into 0
1539789750.777 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.778 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.778 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.778 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))))))) into 0
1539789750.778 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.778 * [misc]backup-simplify:  Simplify (* (- (exp (/ 1 (/ 1 x))) 1) (/ 1 x)) into (/ (- (exp x) 1) x)
1539789750.778 * [misc]backup-simplify:  Simplify (/ (- (exp (/ 1 (- x))) 1) (/ 1 (- x))) into (* -1 (* (- (exp (/ -1 x)) 1) x))
1539789750.779 * [misc]approximate:  Taking taylor expansion of (* -1 (* (- (exp (/ -1 x)) 1) x)) in (x) around 0
1539789750.779 * [misc]taylor:  Taking taylor expansion of (* -1 (* (- (exp (/ -1 x)) 1) x)) in x
1539789750.779 * [misc]taylor:  Taking taylor expansion of -1 in x
1539789750.779 * [misc]backup-simplify:  Simplify -1 into -1
1539789750.779 * [misc]taylor:  Taking taylor expansion of (* (- (exp (/ -1 x)) 1) x) in x
1539789750.779 * [misc]taylor:  Taking taylor expansion of (- (exp (/ -1 x)) 1) in x
1539789750.779 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539789750.779 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539789750.779 * [misc]taylor:  Taking taylor expansion of -1 in x
1539789750.779 * [misc]backup-simplify:  Simplify -1 into -1
1539789750.779 * [misc]taylor:  Taking taylor expansion of x in x
1539789750.779 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.779 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.779 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539789750.779 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539789750.779 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789750.779 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.779 * [misc]taylor:  Taking taylor expansion of x in x
1539789750.779 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.779 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.779 * [misc]taylor:  Taking taylor expansion of (* -1 (* (- (exp (/ -1 x)) 1) x)) in x
1539789750.779 * [misc]taylor:  Taking taylor expansion of -1 in x
1539789750.779 * [misc]backup-simplify:  Simplify -1 into -1
1539789750.779 * [misc]taylor:  Taking taylor expansion of (* (- (exp (/ -1 x)) 1) x) in x
1539789750.779 * [misc]taylor:  Taking taylor expansion of (- (exp (/ -1 x)) 1) in x
1539789750.779 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539789750.779 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539789750.779 * [misc]taylor:  Taking taylor expansion of -1 in x
1539789750.779 * [misc]backup-simplify:  Simplify -1 into -1
1539789750.779 * [misc]taylor:  Taking taylor expansion of x in x
1539789750.779 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.779 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.779 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539789750.779 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539789750.779 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789750.779 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.779 * [misc]taylor:  Taking taylor expansion of x in x
1539789750.779 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.779 * [misc]backup-simplify:  Simplify 1 into 1
1539789750.779 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789750.780 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
1539789750.780 * [misc]backup-simplify:  Simplify (* (- (exp (/ -1 x)) 1) 0) into 0
1539789750.780 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1539789750.780 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.780 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.780 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.780 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 1) (* 0 0)) into (- (exp (/ -1 x)) 1)
1539789750.780 * [misc]backup-simplify:  Simplify (+ (* -1 (- (exp (/ -1 x)) 1)) (* 0 0)) into (- 1 (exp (/ -1 x)))
1539789750.780 * [misc]backup-simplify:  Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x)))
1539789750.780 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.781 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.781 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 1) (* 0 0))) into 0
1539789750.781 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))) into 0
1539789750.781 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.781 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.781 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.782 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1539789750.782 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))) into 0
1539789750.782 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.782 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.782 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.782 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1539789750.783 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))) into 0
1539789750.783 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.783 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.783 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.783 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1539789750.784 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))) into 0
1539789750.784 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.784 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.784 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.784 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1539789750.785 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))))) into 0
1539789750.785 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.785 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789750.789 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789750.789 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1539789750.790 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))))) into 0
1539789750.790 * [misc]backup-simplify:  Simplify 0 into 0
1539789750.790 * [misc]backup-simplify:  Simplify (* (- 1 (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (/ (- 1 (exp x)) x))
1539789750.790 * * * [misc]progress:  simplifying candidates
1539789750.790 * * * * [misc]progress:  [ 1 / 35 ] simplifiying candidate #<alt (λ (x) (/ (pow (- (exp x) 1) 1) x))>
1539789750.790 * * * * [misc]progress:  [ 2 / 35 ] simplifiying candidate #<alt (λ (x) (/ (exp (log (- (exp x) 1))) x))>
1539789750.790 * * * * [misc]progress:  [ 3 / 35 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (- (exp x) 1))) x))>
1539789750.790 * * * * [misc]progress:  [ 4 / 35 ] simplifiying candidate #<alt (λ (x) (/ (* (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1))) (cbrt (- (exp x) 1))) x))>
1539789750.790 * * * * [misc]progress:  [ 5 / 35 ] simplifiying candidate #<alt (λ (x) (/ (cbrt (* (* (- (exp x) 1) (- (exp x) 1)) (- (exp x) 1))) x))>
1539789750.790 * * * * [misc]progress:  [ 6 / 35 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (- (exp x) 1)) (sqrt (- (exp x) 1))) x))>
1539789750.790 * * * * [misc]progress:  [ 7 / 35 ] simplifiying candidate #<alt (λ (x) (/ (/ (- (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))) x))>
1539789750.791 * * * * [misc]progress:  [ 8 / 35 ] simplifiying candidate #<alt (λ (x) (/ (+ (exp x) (- 1)) x))>
1539789750.791 * * * * [misc]progress:  [ 9 / 35 ] simplifiying candidate #<alt (λ (x) (/ (* 1 (- (exp x) 1)) x))>
1539789750.791 * * * * [misc]progress:  [ 10 / 35 ] simplifiying candidate #<alt (λ (x) (/ (/ (- (* (exp x) (exp x)) (* 1 1)) (+ (exp x) 1)) x))>
1539789750.791 * * * * [misc]progress:  [ 11 / 35 ] simplifiying candidate #<alt (λ (x) (/ (* (+ (sqrt (exp x)) 1) (- (sqrt (exp x)) 1)) x))>
1539789750.791 * [enter]simplify:  Simplifying (+ (sqrt (exp x)) 1)
1539789750.791 * * [misc]simplify:  iters left: 4 (5 enodes)
1539789750.792 * * [misc]simplify:  iters left: 3 (8 enodes)
1539789750.792 * [exit]simplify:  Simplified to (+ 1 (sqrt (exp x)))
1539789750.792 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) 1)) x))
1539789750.793 * * * * [misc]progress:  [ 12 / 35 ] simplifiying candidate #<alt (λ (x) (/ (+ (exp x) (- 1)) x))>
1539789750.793 * * * * [misc]progress:  [ 13 / 35 ] simplifiying candidate #<alt (λ (x) (pow (/ (- (exp x) 1) x) 1))>
1539789750.793 * * * * [misc]progress:  [ 14 / 35 ] simplifiying candidate #<alt (λ (x) (exp (log (/ (- (exp x) 1) x))))>
1539789750.793 * * * * [misc]progress:  [ 15 / 35 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (- (exp x) 1) x))))>
1539789750.793 * * * * [misc]progress:  [ 16 / 35 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (/ (- (exp x) 1) x)) (cbrt (/ (- (exp x) 1) x))) (cbrt (/ (- (exp x) 1) x))))>
1539789750.793 * * * * [misc]progress:  [ 17 / 35 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (/ (- (exp x) 1) x) (/ (- (exp x) 1) x)) (/ (- (exp x) 1) x))))>
1539789750.793 * * * * [misc]progress:  [ 18 / 35 ] simplifiying candidate #<alt (λ (x) (* (sqrt (/ (- (exp x) 1) x)) (sqrt (/ (- (exp x) 1) x))))>
1539789750.793 * * * * [misc]progress:  [ 19 / 35 ] simplifiying candidate #<alt (λ (x) (/ (- (- (exp x) 1)) (- x)))>
1539789750.793 * * * * [misc]progress:  [ 20 / 35 ] simplifiying candidate #<alt (λ (x) (- (/ (exp x) x) (/ 1 x)))>
1539789750.793 * [enter]simplify:  Simplifying (/ (exp x) x)
1539789750.793 * * [misc]simplify:  iters left: 3 (3 enodes)
1539789750.793 * [exit]simplify:  Simplified to (/ (exp x) x)
1539789750.793 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (/ (exp x) x) (/ 1 x)))
1539789750.793 * * * * [misc]progress:  [ 21 / 35 ] simplifiying candidate #<alt (λ (x) (* 1 (/ (- (exp x) 1) x)))>
1539789750.793 * * * * [misc]progress:  [ 22 / 35 ] simplifiying candidate #<alt (λ (x) (* (- (exp x) 1) (/ 1 x)))>
1539789750.794 * * * * [misc]progress:  [ 23 / 35 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ x (- (exp x) 1))))>
1539789750.794 * * * * [misc]progress:  [ 24 / 35 ] simplifiying candidate #<alt (λ (x) (/ (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1))) (/ x (cbrt (- (exp x) 1)))))>
1539789750.794 * [enter]simplify:  Simplifying (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))
1539789750.794 * * [misc]simplify:  iters left: 6 (6 enodes)
1539789750.795 * * [misc]simplify:  iters left: 5 (11 enodes)
1539789750.797 * * [misc]simplify:  iters left: 4 (12 enodes)
1539789750.798 * [exit]simplify:  Simplified to (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))
1539789750.798 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1))) (/ x (cbrt (- (exp x) 1)))))
1539789750.798 * * * * [misc]progress:  [ 25 / 35 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (- (exp x) 1)) (/ x (sqrt (- (exp x) 1)))))>
1539789750.798 * [enter]simplify:  Simplifying (sqrt (- (exp x) 1))
1539789750.798 * * [misc]simplify:  iters left: 4 (5 enodes)
1539789750.799 * * [misc]simplify:  iters left: 3 (10 enodes)
1539789750.800 * * [misc]simplify:  iters left: 2 (11 enodes)
1539789750.801 * [exit]simplify:  Simplified to (sqrt (- (exp x) 1))
1539789750.802 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (- (exp x) 1)) (/ x (sqrt (- (exp x) 1)))))
1539789750.802 * * * * [misc]progress:  [ 26 / 35 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ x (- (exp x) 1))))>
1539789750.802 * * * * [misc]progress:  [ 27 / 35 ] simplifiying candidate #<alt (λ (x) (/ (+ (sqrt (exp x)) 1) (/ x (- (sqrt (exp x)) 1))))>
1539789750.802 * [enter]simplify:  Simplifying (+ (sqrt (exp x)) 1)
1539789750.802 * * [misc]simplify:  iters left: 4 (5 enodes)
1539789750.802 * * [misc]simplify:  iters left: 3 (8 enodes)
1539789750.804 * [exit]simplify:  Simplified to (+ 1 (sqrt (exp x)))
1539789750.804 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (+ 1 (sqrt (exp x))) (/ x (- (sqrt (exp x)) 1))))
1539789750.804 * * * * [misc]progress:  [ 28 / 35 ] simplifiying candidate #<alt (λ (x) (/ (- (pow (exp x) 3) (pow 1 3)) (* x (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))))))>
1539789750.804 * [enter]simplify:  Simplifying (- (pow (exp x) 3) (pow 1 3))
1539789750.804 * * [misc]simplify:  iters left: 4 (7 enodes)
1539789750.808 * * [misc]simplify:  iters left: 3 (17 enodes)
1539789750.811 * * [misc]simplify:  iters left: 2 (20 enodes)
1539789750.816 * * [misc]simplify:  iters left: 1 (26 enodes)
1539789750.821 * [exit]simplify:  Simplified to (- (pow (exp x) 3) 1)
1539789750.821 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (- (pow (exp x) 3) 1) (* x (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))))))
1539789750.821 * * * * [misc]progress:  [ 29 / 35 ] simplifiying candidate #<alt (λ (x) (/ (- (* (exp x) (exp x)) (* 1 1)) (* x (+ (exp x) 1))))>
1539789750.822 * [enter]simplify:  Simplifying (- (* (exp x) (exp x)) (* 1 1))
1539789750.822 * * [misc]simplify:  iters left: 5 (6 enodes)
1539789750.825 * * [misc]simplify:  iters left: 4 (13 enodes)
1539789750.828 * * [misc]simplify:  iters left: 3 (16 enodes)
1539789750.831 * * [misc]simplify:  iters left: 2 (19 enodes)
1539789750.834 * * [misc]simplify:  iters left: 1 (35 enodes)
1539789750.842 * [exit]simplify:  Simplified to (+ -1 (* (exp x) (exp x)))
1539789750.842 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (+ -1 (* (exp x) (exp x))) (* x (+ (exp x) 1))))
1539789750.842 * * * * [misc]progress:  [ 30 / 35 ] simplifiying candidate #<alt (λ (x) (/ (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) x))>
1539789750.842 * [enter]simplify:  Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
1539789750.842 * * [misc]simplify:  iters left: 6 (11 enodes)
1539789750.844 * * [misc]simplify:  iters left: 5 (20 enodes)
1539789750.848 * * [misc]simplify:  iters left: 4 (41 enodes)
1539789750.855 * * [misc]simplify:  iters left: 3 (70 enodes)
1539789750.869 * * [misc]simplify:  iters left: 2 (112 enodes)
1539789750.918 * * [misc]simplify:  iters left: 1 (181 enodes)
1539789750.949 * [exit]simplify:  Simplified to (+ x (* (+ (* x 1/6) 1/2) (* x x)))
1539789750.949 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (+ x (* (+ (* x 1/6) 1/2) (* x x))) x))
1539789750.949 * * * * [misc]progress:  [ 31 / 35 ] simplifiying candidate #<alt (λ (x) (/ (- (exp x) 1) x))>
1539789750.949 * [enter]simplify:  Simplifying (- (exp x) 1)
1539789750.949 * * [misc]simplify:  iters left: 3 (4 enodes)
1539789750.950 * * [misc]simplify:  iters left: 2 (9 enodes)
1539789750.951 * * [misc]simplify:  iters left: 1 (10 enodes)
1539789750.953 * [exit]simplify:  Simplified to (- (exp x) 1)
1539789750.953 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (- (exp x) 1) x))
1539789750.953 * * * * [misc]progress:  [ 32 / 35 ] simplifiying candidate #<alt (λ (x) (/ (- (exp x) 1) x))>
1539789750.953 * [enter]simplify:  Simplifying (- (exp x) 1)
1539789750.954 * * [misc]simplify:  iters left: 3 (4 enodes)
1539789750.955 * * [misc]simplify:  iters left: 2 (9 enodes)
1539789750.957 * * [misc]simplify:  iters left: 1 (10 enodes)
1539789750.959 * [exit]simplify:  Simplified to (- (exp x) 1)
1539789750.959 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (- (exp x) 1) x))
1539789750.959 * * * * [misc]progress:  [ 33 / 35 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))>
1539789750.960 * [enter]simplify:  Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
1539789750.960 * * [misc]simplify:  iters left: 6 (10 enodes)
1539789750.961 * * [misc]simplify:  iters left: 5 (19 enodes)
1539789750.964 * * [misc]simplify:  iters left: 4 (29 enodes)
1539789750.968 * * [misc]simplify:  iters left: 3 (40 enodes)
1539789750.972 * * [misc]simplify:  iters left: 2 (52 enodes)
1539789750.980 * [exit]simplify:  Simplified to (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x)))
1539789750.980 * [misc]simplify:  Simplified (2) to (λ (x) (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x))))
1539789750.980 * * * * [misc]progress:  [ 34 / 35 ] simplifiying candidate #<alt (λ (x) (/ (- (exp x) 1) x))>
1539789750.980 * [enter]simplify:  Simplifying (/ (- (exp x) 1) x)
1539789750.980 * * [misc]simplify:  iters left: 5 (5 enodes)
1539789750.981 * * [misc]simplify:  iters left: 4 (13 enodes)
1539789750.983 * * [misc]simplify:  iters left: 3 (16 enodes)
1539789750.985 * * [misc]simplify:  iters left: 2 (18 enodes)
1539789750.986 * [exit]simplify:  Simplified to (/ (+ -1 (exp x)) x)
1539789750.987 * [misc]simplify:  Simplified (2) to (λ (x) (/ (+ -1 (exp x)) x))
1539789750.987 * * * * [misc]progress:  [ 35 / 35 ] simplifiying candidate #<alt (λ (x) (* -1 (/ (- 1 (exp x)) x)))>
1539789750.987 * [enter]simplify:  Simplifying (* -1 (/ (- 1 (exp x)) x))
1539789750.987 * * [misc]simplify:  iters left: 6 (7 enodes)
1539789750.988 * * [misc]simplify:  iters left: 5 (18 enodes)
1539789750.992 * * [misc]simplify:  iters left: 4 (32 enodes)
1539789751.003 * * [misc]simplify:  iters left: 3 (55 enodes)
1539789751.018 * * [misc]simplify:  iters left: 2 (85 enodes)
1539789751.043 * * [misc]simplify:  iters left: 1 (131 enodes)
1539789751.082 * [exit]simplify:  Simplified to (/ (+ (exp x) -1) x)
1539789751.082 * [misc]simplify:  Simplified (2) to (λ (x) (/ (+ (exp x) -1) x))
1539789751.082 * * * [misc]progress:  adding candidates to table
1539789751.321 * * [misc]progress:  iteration 2 / 4
1539789751.321 * * * [misc]progress:  picking best candidate
1539789751.332 * * * * [misc]pick:  Picked  #<alt (λ (x) (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))>
1539789751.332 * * * [misc]progress:  localizing error
1539789751.359 * * * [misc]progress:  generating rewritten candidates
1539789751.359 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 2 1)
1539789751.364 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1539789751.383 * * * [misc]progress:  generating series expansions
1539789751.383 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 2 1)
1539789751.383 * [misc]backup-simplify:  Simplify (* 1/6 (pow x 2)) into (* 1/6 (pow x 2))
1539789751.383 * [misc]approximate:  Taking taylor expansion of (* 1/6 (pow x 2)) in (x) around 0
1539789751.383 * [misc]taylor:  Taking taylor expansion of (* 1/6 (pow x 2)) in x
1539789751.383 * [misc]taylor:  Taking taylor expansion of 1/6 in x
1539789751.383 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539789751.383 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539789751.383 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.383 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.383 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.383 * [misc]taylor:  Taking taylor expansion of (* 1/6 (pow x 2)) in x
1539789751.383 * [misc]taylor:  Taking taylor expansion of 1/6 in x
1539789751.383 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539789751.383 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539789751.383 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.383 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.383 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.384 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539789751.384 * [misc]backup-simplify:  Simplify (* 1/6 1) into 1/6
1539789751.384 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539789751.384 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539789751.384 * [misc]backup-simplify:  Simplify (+ (* 1/6 0) (* 0 1)) into 0
1539789751.384 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.385 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1539789751.385 * [misc]backup-simplify:  Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
1539789751.385 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.385 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1539789751.386 * [misc]backup-simplify:  Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1539789751.386 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.386 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1539789751.386 * [misc]backup-simplify:  Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1539789751.386 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.387 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1539789751.387 * [misc]backup-simplify:  Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1539789751.387 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.388 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1539789751.388 * [misc]backup-simplify:  Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1539789751.388 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.389 * [misc]backup-simplify:  Simplify (* 1/6 (pow x 2)) into (* 1/6 (pow x 2))
1539789751.389 * [misc]backup-simplify:  Simplify (* 1/6 (pow (/ 1 x) 2)) into (/ 1/6 (pow x 2))
1539789751.389 * [misc]approximate:  Taking taylor expansion of (/ 1/6 (pow x 2)) in (x) around 0
1539789751.389 * [misc]taylor:  Taking taylor expansion of (/ 1/6 (pow x 2)) in x
1539789751.389 * [misc]taylor:  Taking taylor expansion of 1/6 in x
1539789751.389 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539789751.389 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539789751.389 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.389 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.389 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.389 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539789751.389 * [misc]backup-simplify:  Simplify (/ 1/6 1) into 1/6
1539789751.389 * [misc]taylor:  Taking taylor expansion of (/ 1/6 (pow x 2)) in x
1539789751.389 * [misc]taylor:  Taking taylor expansion of 1/6 in x
1539789751.389 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539789751.389 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539789751.389 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.389 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.390 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.390 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539789751.390 * [misc]backup-simplify:  Simplify (/ 1/6 1) into 1/6
1539789751.390 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539789751.390 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539789751.390 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0
1539789751.390 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.391 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1539789751.391 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539789751.391 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.391 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1539789751.392 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539789751.392 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.392 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1539789751.393 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539789751.393 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.393 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1539789751.394 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539789751.394 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.394 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1539789751.395 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539789751.395 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.395 * [misc]backup-simplify:  Simplify (* 1/6 (pow (/ 1 (/ 1 x)) 2)) into (* 1/6 (pow x 2))
1539789751.395 * [misc]backup-simplify:  Simplify (* 1/6 (pow (/ 1 (- x)) 2)) into (/ 1/6 (pow x 2))
1539789751.395 * [misc]approximate:  Taking taylor expansion of (/ 1/6 (pow x 2)) in (x) around 0
1539789751.395 * [misc]taylor:  Taking taylor expansion of (/ 1/6 (pow x 2)) in x
1539789751.396 * [misc]taylor:  Taking taylor expansion of 1/6 in x
1539789751.396 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539789751.396 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539789751.396 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.396 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.396 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.396 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539789751.396 * [misc]backup-simplify:  Simplify (/ 1/6 1) into 1/6
1539789751.396 * [misc]taylor:  Taking taylor expansion of (/ 1/6 (pow x 2)) in x
1539789751.396 * [misc]taylor:  Taking taylor expansion of 1/6 in x
1539789751.396 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539789751.396 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539789751.396 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.396 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.396 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.396 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539789751.397 * [misc]backup-simplify:  Simplify (/ 1/6 1) into 1/6
1539789751.397 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539789751.397 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539789751.397 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0
1539789751.397 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.397 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1539789751.398 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539789751.398 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.398 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1539789751.399 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539789751.399 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.399 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1539789751.399 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539789751.399 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.400 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1539789751.400 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539789751.401 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.401 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1539789751.402 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539789751.402 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.402 * [misc]backup-simplify:  Simplify (* 1/6 (pow (/ 1 (/ 1 (- x))) 2)) into (* 1/6 (pow x 2))
1539789751.402 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1539789751.403 * [misc]backup-simplify:  Simplify (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
1539789751.403 * [misc]approximate:  Taking taylor expansion of (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) in (x) around 0
1539789751.403 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) in x
1539789751.403 * [misc]taylor:  Taking taylor expansion of (* 1/2 x) in x
1539789751.403 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1539789751.403 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1539789751.403 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.403 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.403 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.403 * [misc]taylor:  Taking taylor expansion of (+ (* 1/6 (pow x 2)) 1) in x
1539789751.403 * [misc]taylor:  Taking taylor expansion of (* 1/6 (pow x 2)) in x
1539789751.403 * [misc]taylor:  Taking taylor expansion of 1/6 in x
1539789751.403 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539789751.403 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539789751.403 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.403 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.403 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.403 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789751.403 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.403 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) in x
1539789751.403 * [misc]taylor:  Taking taylor expansion of (* 1/2 x) in x
1539789751.403 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1539789751.403 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1539789751.403 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.403 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.403 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.403 * [misc]taylor:  Taking taylor expansion of (+ (* 1/6 (pow x 2)) 1) in x
1539789751.403 * [misc]taylor:  Taking taylor expansion of (* 1/6 (pow x 2)) in x
1539789751.403 * [misc]taylor:  Taking taylor expansion of 1/6 in x
1539789751.403 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539789751.403 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539789751.403 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.404 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.404 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.404 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789751.404 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.404 * [misc]backup-simplify:  Simplify (* 1/2 0) into 0
1539789751.404 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539789751.404 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539789751.404 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.404 * [misc]backup-simplify:  Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
1539789751.405 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789751.405 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1539789751.405 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1539789751.405 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0
1539789751.405 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539789751.405 * [misc]backup-simplify:  Simplify (* 1/6 1) into 1/6
1539789751.406 * [misc]backup-simplify:  Simplify (+ 1/6 0) into 1/6
1539789751.406 * [misc]backup-simplify:  Simplify (+ 0 1/6) into 1/6
1539789751.406 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539789751.406 * [misc]backup-simplify:  Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
1539789751.406 * [misc]backup-simplify:  Simplify (+ (* 1/2 (/ 1 x)) (+ (* 1/6 (pow (/ 1 x) 2)) 1)) into (+ (* 1/6 (/ 1 (pow x 2))) (+ (* 1/2 (/ 1 x)) 1))
1539789751.406 * [misc]approximate:  Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) (+ (* 1/2 (/ 1 x)) 1)) in (x) around 0
1539789751.406 * [misc]taylor:  Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) (+ (* 1/2 (/ 1 x)) 1)) in x
1539789751.406 * [misc]taylor:  Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x
1539789751.406 * [misc]taylor:  Taking taylor expansion of 1/6 in x
1539789751.406 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539789751.406 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1539789751.406 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539789751.407 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.407 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.407 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.407 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539789751.407 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789751.407 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 (/ 1 x)) 1) in x
1539789751.407 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 x)) in x
1539789751.407 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1539789751.407 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1539789751.407 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539789751.407 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.407 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.407 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.407 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789751.407 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789751.407 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.407 * [misc]taylor:  Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) (+ (* 1/2 (/ 1 x)) 1)) in x
1539789751.407 * [misc]taylor:  Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x
1539789751.408 * [misc]taylor:  Taking taylor expansion of 1/6 in x
1539789751.408 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539789751.408 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1539789751.408 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539789751.408 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.408 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.408 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.408 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539789751.408 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789751.408 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 (/ 1 x)) 1) in x
1539789751.408 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 x)) in x
1539789751.408 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1539789751.408 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1539789751.408 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539789751.408 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.408 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.408 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.408 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789751.408 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789751.408 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.409 * [misc]backup-simplify:  Simplify (* 1/6 1) into 1/6
1539789751.409 * [misc]backup-simplify:  Simplify (+ 1/6 0) into 1/6
1539789751.409 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539789751.409 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539789751.409 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539789751.409 * [misc]backup-simplify:  Simplify (+ (* 1/6 0) (* 0 1)) into 0
1539789751.410 * [misc]backup-simplify:  Simplify (* 1/2 1) into 1/2
1539789751.410 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1539789751.410 * [misc]backup-simplify:  Simplify (+ 0 1/2) into 1/2
1539789751.410 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1539789751.410 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1539789751.411 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539789751.411 * [misc]backup-simplify:  Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
1539789751.411 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539789751.411 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (* 0 1)) into 0
1539789751.412 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539789751.412 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539789751.412 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.412 * [misc]backup-simplify:  Simplify (+ 1 (+ (* 1/2 (/ 1 (/ 1 x))) (* 1/6 (pow (/ 1 (/ 1 x)) 2)))) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
1539789751.412 * [misc]backup-simplify:  Simplify (+ (* 1/2 (/ 1 (- x))) (+ (* 1/6 (pow (/ 1 (- x)) 2)) 1)) into (- (+ (* 1/6 (/ 1 (pow x 2))) 1) (* 1/2 (/ 1 x)))
1539789751.412 * [misc]approximate:  Taking taylor expansion of (- (+ (* 1/6 (/ 1 (pow x 2))) 1) (* 1/2 (/ 1 x))) in (x) around 0
1539789751.412 * [misc]taylor:  Taking taylor expansion of (- (+ (* 1/6 (/ 1 (pow x 2))) 1) (* 1/2 (/ 1 x))) in x
1539789751.413 * [misc]taylor:  Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) 1) in x
1539789751.413 * [misc]taylor:  Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x
1539789751.413 * [misc]taylor:  Taking taylor expansion of 1/6 in x
1539789751.413 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539789751.413 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1539789751.413 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539789751.413 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.413 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.413 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.413 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539789751.413 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789751.413 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789751.413 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.413 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 x)) in x
1539789751.413 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1539789751.413 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1539789751.413 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539789751.413 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.413 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.413 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.413 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789751.414 * [misc]taylor:  Taking taylor expansion of (- (+ (* 1/6 (/ 1 (pow x 2))) 1) (* 1/2 (/ 1 x))) in x
1539789751.414 * [misc]taylor:  Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) 1) in x
1539789751.414 * [misc]taylor:  Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x
1539789751.414 * [misc]taylor:  Taking taylor expansion of 1/6 in x
1539789751.414 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539789751.414 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1539789751.414 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539789751.414 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.414 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.414 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.414 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539789751.414 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789751.414 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789751.414 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.414 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 x)) in x
1539789751.414 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1539789751.414 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1539789751.414 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539789751.414 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.414 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.414 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.415 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789751.415 * [misc]backup-simplify:  Simplify (* 1/6 1) into 1/6
1539789751.415 * [misc]backup-simplify:  Simplify (+ 1/6 0) into 1/6
1539789751.415 * [misc]backup-simplify:  Simplify (+ 1/6 0) into 1/6
1539789751.415 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539789751.415 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539789751.416 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539789751.416 * [misc]backup-simplify:  Simplify (+ (* 1/6 0) (* 0 1)) into 0
1539789751.416 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789751.416 * [misc]backup-simplify:  Simplify (* 1/2 1) into 1/2
1539789751.416 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1539789751.416 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1539789751.416 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539789751.417 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1539789751.417 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539789751.417 * [misc]backup-simplify:  Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
1539789751.418 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539789751.418 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539789751.418 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (* 0 1)) into 0
1539789751.418 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789751.418 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539789751.418 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.419 * [misc]backup-simplify:  Simplify (+ 1 (+ (* -1/2 (/ 1 (/ 1 (- x)))) (* 1/6 (pow (/ 1 (/ 1 (- x))) 2)))) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
1539789751.419 * * * [misc]progress:  simplifying candidates
1539789751.419 * * * * [misc]progress:  [ 1 / 30 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 x) (+ (pow (* 1/6 (pow x 2)) 1) 1)))>
1539789751.419 * * * * [misc]progress:  [ 2 / 30 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 x) (+ (exp (log (* 1/6 (pow x 2)))) 1)))>
1539789751.419 * * * * [misc]progress:  [ 3 / 30 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 x) (+ (log (exp (* 1/6 (pow x 2)))) 1)))>
1539789751.419 * * * * [misc]progress:  [ 4 / 30 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 x) (+ (* (* (cbrt (* 1/6 (pow x 2))) (cbrt (* 1/6 (pow x 2)))) (cbrt (* 1/6 (pow x 2)))) 1)))>
1539789751.419 * * * * [misc]progress:  [ 5 / 30 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 x) (+ (cbrt (* (* (* 1/6 (pow x 2)) (* 1/6 (pow x 2))) (* 1/6 (pow x 2)))) 1)))>
1539789751.419 * * * * [misc]progress:  [ 6 / 30 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 x) (+ (* (sqrt (* 1/6 (pow x 2))) (sqrt (* 1/6 (pow x 2)))) 1)))>
1539789751.419 * * * * [misc]progress:  [ 7 / 30 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 x) (+ (* 1 (* 1/6 (pow x 2))) 1)))>
1539789751.419 * * * * [misc]progress:  [ 8 / 30 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 x) (+ (* (* 1/6 x) x) 1)))>
1539789751.419 * * * * [misc]progress:  [ 9 / 30 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 x) (+ (* (* 1/6 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (cbrt (pow x 2))) 1)))>
1539789751.420 * [enter]simplify:  Simplifying (cbrt (pow x 2))
1539789751.420 * * [misc]simplify:  iters left: 2 (4 enodes)
1539789751.421 * * [misc]simplify:  iters left: 1 (5 enodes)
1539789751.422 * [exit]simplify:  Simplified to (cbrt (* x x))
1539789751.422 * [misc]simplify:  Simplified (2 2 1 2) to (λ (x) (+ (* 1/2 x) (+ (* (* 1/6 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (cbrt (* x x))) 1)))
1539789751.422 * * * * [misc]progress:  [ 10 / 30 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 x) (+ (* (* 1/6 (sqrt (pow x 2))) (sqrt (pow x 2))) 1)))>
1539789751.423 * [enter]simplify:  Simplifying (sqrt (pow x 2))
1539789751.423 * * [misc]simplify:  iters left: 2 (4 enodes)
1539789751.423 * * [misc]simplify:  iters left: 1 (5 enodes)
1539789751.424 * [exit]simplify:  Simplified to (fabs x)
1539789751.424 * [misc]simplify:  Simplified (2 2 1 2) to (λ (x) (+ (* 1/2 x) (+ (* (* 1/6 (sqrt (pow x 2))) (fabs x)) 1)))
1539789751.424 * * * * [misc]progress:  [ 11 / 30 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 x) (+ (* (* 1/6 1) (pow x 2)) 1)))>
1539789751.424 * [enter]simplify:  Simplifying (pow x 2)
1539789751.424 * * [misc]simplify:  iters left: 1 (3 enodes)
1539789751.425 * [exit]simplify:  Simplified to (* x x)
1539789751.425 * [misc]simplify:  Simplified (2 2 1 2) to (λ (x) (+ (* 1/2 x) (+ (* (* 1/6 1) (* x x)) 1)))
1539789751.425 * * * * [misc]progress:  [ 12 / 30 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 x) (+ (* (pow x 2) 1/6) 1)))>
1539789751.425 * * * * [misc]progress:  [ 13 / 30 ] simplifiying candidate #<alt (λ (x) (log (* (exp (* 1/2 x)) (exp (+ (* 1/6 (pow x 2)) 1)))))>
1539789751.425 * [enter]simplify:  Simplifying (* (exp (* 1/2 x)) (exp (+ (* 1/6 (pow x 2)) 1)))
1539789751.425 * * [misc]simplify:  iters left: 6 (12 enodes)
1539789751.428 * * [misc]simplify:  iters left: 5 (26 enodes)
1539789751.432 * * [misc]simplify:  iters left: 4 (46 enodes)
1539789751.441 * * [misc]simplify:  iters left: 3 (65 enodes)
1539789751.450 * * [misc]simplify:  iters left: 2 (79 enodes)
1539789751.459 * * [misc]simplify:  iters left: 1 (84 enodes)
1539789751.467 * [exit]simplify:  Simplified to (exp (+ (+ 1 (* 1/2 x)) (* (* x x) 1/6)))
1539789751.467 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (exp (+ (+ 1 (* 1/2 x)) (* (* x x) 1/6)))))
1539789751.467 * * * * [misc]progress:  [ 14 / 30 ] simplifiying candidate #<alt (λ (x) (pow (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1))>
1539789751.468 * * * * [misc]progress:  [ 15 / 30 ] simplifiying candidate #<alt (λ (x) (exp (log (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))))>
1539789751.468 * * * * [misc]progress:  [ 16 / 30 ] simplifiying candidate #<alt (λ (x) (log (exp (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))))>
1539789751.468 * * * * [misc]progress:  [ 17 / 30 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))) (cbrt (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))) (cbrt (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))))>
1539789751.468 * * * * [misc]progress:  [ 18 / 30 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))) (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))))>
1539789751.468 * * * * [misc]progress:  [ 19 / 30 ] simplifiying candidate #<alt (λ (x) (* (sqrt (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))) (sqrt (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))))>
1539789751.468 * * * * [misc]progress:  [ 20 / 30 ] simplifiying candidate #<alt (λ (x) (/ (+ (pow (* 1/2 x) 3) (pow (+ (* 1/6 (pow x 2)) 1) 3)) (+ (* (* 1/2 x) (* 1/2 x)) (- (* (+ (* 1/6 (pow x 2)) 1) (+ (* 1/6 (pow x 2)) 1)) (* (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))))))>
1539789751.468 * * * * [misc]progress:  [ 21 / 30 ] simplifiying candidate #<alt (λ (x) (* 1 (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))))>
1539789751.468 * * * * [misc]progress:  [ 22 / 30 ] simplifiying candidate #<alt (λ (x) (/ (- (* (* 1/2 x) (* 1/2 x)) (* (+ (* 1/6 (pow x 2)) 1) (+ (* 1/6 (pow x 2)) 1))) (- (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))))>
1539789751.468 * * * * [misc]progress:  [ 23 / 30 ] simplifiying candidate #<alt (λ (x) (+ (+ (* 1/2 x) (* 1/6 (pow x 2))) 1))>
1539789751.468 * * * * [misc]progress:  [ 24 / 30 ] simplifiying candidate #<alt (λ (x) (+ (+ (* 1/6 (pow x 2)) 1) (* 1/2 x)))>
1539789751.468 * * * * [misc]progress:  [ 25 / 30 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))>
1539789751.468 * [enter]simplify:  Simplifying (* 1/6 (pow x 2))
1539789751.468 * * [misc]simplify:  iters left: 3 (5 enodes)
1539789751.469 * * [misc]simplify:  iters left: 2 (7 enodes)
1539789751.470 * * [misc]simplify:  iters left: 1 (11 enodes)
1539789751.472 * [exit]simplify:  Simplified to (* (* x x) 1/6)
1539789751.472 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+ (* 1/2 x) (+ (* (* x x) 1/6) 1)))
1539789751.472 * * * * [misc]progress:  [ 26 / 30 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))>
1539789751.472 * [enter]simplify:  Simplifying (* 1/6 (pow x 2))
1539789751.472 * * [misc]simplify:  iters left: 3 (5 enodes)
1539789751.473 * * [misc]simplify:  iters left: 2 (7 enodes)
1539789751.475 * * [misc]simplify:  iters left: 1 (11 enodes)
1539789751.479 * [exit]simplify:  Simplified to (* (* x x) 1/6)
1539789751.479 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+ (* 1/2 x) (+ (* (* x x) 1/6) 1)))
1539789751.479 * * * * [misc]progress:  [ 27 / 30 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))>
1539789751.479 * [enter]simplify:  Simplifying (* 1/6 (pow x 2))
1539789751.479 * * [misc]simplify:  iters left: 3 (5 enodes)
1539789751.480 * * [misc]simplify:  iters left: 2 (7 enodes)
1539789751.482 * * [misc]simplify:  iters left: 1 (11 enodes)
1539789751.486 * [exit]simplify:  Simplified to (* (* x x) 1/6)
1539789751.486 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+ (* 1/2 x) (+ (* (* x x) 1/6) 1)))
1539789751.486 * * * * [misc]progress:  [ 28 / 30 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))>
1539789751.486 * [enter]simplify:  Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
1539789751.486 * * [misc]simplify:  iters left: 6 (10 enodes)
1539789751.489 * * [misc]simplify:  iters left: 5 (19 enodes)
1539789751.495 * * [misc]simplify:  iters left: 4 (29 enodes)
1539789751.503 * * [misc]simplify:  iters left: 3 (40 enodes)
1539789751.513 * * [misc]simplify:  iters left: 2 (52 enodes)
1539789751.525 * [exit]simplify:  Simplified to (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x)))
1539789751.526 * [misc]simplify:  Simplified (2) to (λ (x) (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x))))
1539789751.526 * * * * [misc]progress:  [ 29 / 30 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))>
1539789751.526 * [enter]simplify:  Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
1539789751.526 * * [misc]simplify:  iters left: 6 (10 enodes)
1539789751.529 * * [misc]simplify:  iters left: 5 (19 enodes)
1539789751.534 * * [misc]simplify:  iters left: 4 (29 enodes)
1539789751.543 * * [misc]simplify:  iters left: 3 (40 enodes)
1539789751.553 * * [misc]simplify:  iters left: 2 (52 enodes)
1539789751.559 * [exit]simplify:  Simplified to (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x)))
1539789751.559 * [misc]simplify:  Simplified (2) to (λ (x) (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x))))
1539789751.559 * * * * [misc]progress:  [ 30 / 30 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))>
1539789751.559 * [enter]simplify:  Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
1539789751.559 * * [misc]simplify:  iters left: 6 (10 enodes)
1539789751.561 * * [misc]simplify:  iters left: 5 (19 enodes)
1539789751.563 * * [misc]simplify:  iters left: 4 (29 enodes)
1539789751.568 * * [misc]simplify:  iters left: 3 (40 enodes)
1539789751.572 * * [misc]simplify:  iters left: 2 (52 enodes)
1539789751.578 * [exit]simplify:  Simplified to (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x)))
1539789751.578 * [misc]simplify:  Simplified (2) to (λ (x) (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x))))
1539789751.578 * * * [misc]progress:  adding candidates to table
1539789751.812 * * [misc]progress:  iteration 3 / 4
1539789751.812 * * * [misc]progress:  picking best candidate
1539789751.816 * * * * [misc]pick:  Picked  #<alt (λ (x) (- (/ (exp x) x) (/ 1 x)))>
1539789751.816 * * * [misc]progress:  localizing error
1539789751.823 * * * [misc]progress:  generating rewritten candidates
1539789751.823 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1539789751.830 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1539789751.833 * * * [misc]progress:  generating series expansions
1539789751.833 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1539789751.833 * [misc]backup-simplify:  Simplify (- (/ (exp x) x) (/ 1 x)) into (- (/ (exp x) x) (/ 1 x))
1539789751.833 * [misc]approximate:  Taking taylor expansion of (- (/ (exp x) x) (/ 1 x)) in (x) around 0
1539789751.833 * [misc]taylor:  Taking taylor expansion of (- (/ (exp x) x) (/ 1 x)) in x
1539789751.833 * [misc]taylor:  Taking taylor expansion of (/ (exp x) x) in x
1539789751.833 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539789751.833 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.833 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.833 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.833 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539789751.833 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.833 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.833 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.833 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789751.833 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539789751.833 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.833 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.833 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.833 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789751.833 * [misc]taylor:  Taking taylor expansion of (- (/ (exp x) x) (/ 1 x)) in x
1539789751.833 * [misc]taylor:  Taking taylor expansion of (/ (exp x) x) in x
1539789751.833 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539789751.833 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.833 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.833 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.833 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539789751.833 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.833 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.834 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.834 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789751.834 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539789751.834 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.834 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.834 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.834 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789751.834 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789751.834 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1539789751.834 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.835 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1539789751.835 * [misc]backup-simplify:  Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
1539789751.835 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539789751.836 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789751.836 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539789751.836 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.838 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1539789751.838 * [misc]backup-simplify:  Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 1/2
1539789751.839 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539789751.839 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789751.839 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1539789751.839 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1539789751.843 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1539789751.843 * [misc]backup-simplify:  Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 1/2 (/ 0 1)))) into 1/6
1539789751.844 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539789751.844 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789751.844 * [misc]backup-simplify:  Simplify (+ 1/6 0) into 1/6
1539789751.844 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539789751.844 * [misc]backup-simplify:  Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
1539789751.845 * [misc]backup-simplify:  Simplify (- (/ (exp (/ 1 x)) (/ 1 x)) (/ 1 (/ 1 x))) into (- (* (exp (/ 1 x)) x) x)
1539789751.845 * [misc]approximate:  Taking taylor expansion of (- (* (exp (/ 1 x)) x) x) in (x) around 0
1539789751.845 * [misc]taylor:  Taking taylor expansion of (- (* (exp (/ 1 x)) x) x) in x
1539789751.845 * [misc]taylor:  Taking taylor expansion of (* (exp (/ 1 x)) x) in x
1539789751.845 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539789751.845 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539789751.845 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.845 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.845 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.845 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789751.845 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539789751.845 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.845 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.845 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.845 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.845 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.845 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.845 * [misc]taylor:  Taking taylor expansion of (- (* (exp (/ 1 x)) x) x) in x
1539789751.845 * [misc]taylor:  Taking taylor expansion of (* (exp (/ 1 x)) x) in x
1539789751.845 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539789751.845 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539789751.845 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.845 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.845 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.846 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789751.846 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539789751.846 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.846 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.846 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.846 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.846 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.846 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.846 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) 0) into 0
1539789751.846 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789751.846 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789751.846 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.847 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 1) (* 0 0)) into (exp (/ 1 x))
1539789751.847 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789751.847 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
1539789751.847 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1)
1539789751.847 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 1) (* 0 0))) into 0
1539789751.847 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789751.848 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789751.848 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.848 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1539789751.848 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789751.848 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789751.848 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.849 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1539789751.849 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789751.849 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789751.849 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.850 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1539789751.850 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789751.850 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789751.850 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.850 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1539789751.851 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789751.851 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789751.851 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.851 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1539789751.851 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789751.852 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789751.852 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.852 * [misc]backup-simplify:  Simplify (* (- (exp (/ 1 (/ 1 x))) 1) (/ 1 x)) into (/ (- (exp x) 1) x)
1539789751.852 * [misc]backup-simplify:  Simplify (- (/ (exp (/ 1 (- x))) (/ 1 (- x))) (/ 1 (/ 1 (- x)))) into (- x (* x (exp (/ -1 x))))
1539789751.852 * [misc]approximate:  Taking taylor expansion of (- x (* x (exp (/ -1 x)))) in (x) around 0
1539789751.852 * [misc]taylor:  Taking taylor expansion of (- x (* x (exp (/ -1 x)))) in x
1539789751.852 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.852 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.852 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.852 * [misc]taylor:  Taking taylor expansion of (* x (exp (/ -1 x))) in x
1539789751.852 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.852 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.852 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.852 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539789751.852 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539789751.852 * [misc]taylor:  Taking taylor expansion of -1 in x
1539789751.852 * [misc]backup-simplify:  Simplify -1 into -1
1539789751.852 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.853 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.853 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.853 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539789751.853 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539789751.853 * [misc]taylor:  Taking taylor expansion of (- x (* x (exp (/ -1 x)))) in x
1539789751.853 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.853 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.853 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.853 * [misc]taylor:  Taking taylor expansion of (* x (exp (/ -1 x))) in x
1539789751.853 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.853 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.853 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.853 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539789751.853 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539789751.853 * [misc]taylor:  Taking taylor expansion of -1 in x
1539789751.853 * [misc]backup-simplify:  Simplify -1 into -1
1539789751.853 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.853 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.853 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.853 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539789751.853 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539789751.854 * [misc]backup-simplify:  Simplify (* 0 (exp (/ -1 x))) into 0
1539789751.854 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789751.854 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789751.854 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.854 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (exp (/ -1 x)))) into (exp (/ -1 x))
1539789751.854 * [misc]backup-simplify:  Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x)))
1539789751.854 * [misc]backup-simplify:  Simplify (+ 1 (- (exp (/ -1 x)))) into (- 1 (exp (/ -1 x)))
1539789751.854 * [misc]backup-simplify:  Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x)))
1539789751.855 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (/ -1 x))))) into 0
1539789751.855 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789751.855 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789751.855 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.856 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
1539789751.856 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789751.856 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789751.856 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.857 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
1539789751.857 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789751.857 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789751.857 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.858 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
1539789751.858 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789751.858 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789751.858 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.859 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
1539789751.859 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789751.859 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789751.859 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.860 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))))) into 0
1539789751.860 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789751.861 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789751.861 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.861 * [misc]backup-simplify:  Simplify (* (- 1 (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (/ (- 1 (exp x)) x))
1539789751.861 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1539789751.861 * [misc]backup-simplify:  Simplify (/ (exp x) x) into (/ (exp x) x)
1539789751.861 * [misc]approximate:  Taking taylor expansion of (/ (exp x) x) in (x) around 0
1539789751.861 * [misc]taylor:  Taking taylor expansion of (/ (exp x) x) in x
1539789751.861 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539789751.861 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.861 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.861 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.861 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539789751.861 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.861 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.861 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.861 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789751.861 * [misc]taylor:  Taking taylor expansion of (/ (exp x) x) in x
1539789751.861 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539789751.862 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.862 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.862 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.862 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539789751.862 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.862 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.862 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.862 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789751.862 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.863 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1539789751.864 * [misc]backup-simplify:  Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
1539789751.864 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.866 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1539789751.867 * [misc]backup-simplify:  Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 1/2
1539789751.867 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1539789751.867 * [misc]backup-simplify:  Simplify (+ (* 1/2 x) (+ 1 (* 1 (/ 1 x)))) into (+ (* 1/2 x) (+ (/ 1 x) 1))
1539789751.867 * [misc]backup-simplify:  Simplify (/ (exp (/ 1 x)) (/ 1 x)) into (* (exp (/ 1 x)) x)
1539789751.867 * [misc]approximate:  Taking taylor expansion of (* (exp (/ 1 x)) x) in (x) around 0
1539789751.867 * [misc]taylor:  Taking taylor expansion of (* (exp (/ 1 x)) x) in x
1539789751.867 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539789751.867 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539789751.867 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.868 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.868 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.868 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789751.868 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539789751.868 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.868 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.868 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.868 * [misc]taylor:  Taking taylor expansion of (* (exp (/ 1 x)) x) in x
1539789751.868 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539789751.868 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539789751.868 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.868 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.868 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.868 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789751.868 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539789751.868 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.868 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.868 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.869 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) 0) into 0
1539789751.869 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.869 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 1) (* 0 0)) into (exp (/ 1 x))
1539789751.869 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539789751.869 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 1) (* 0 0))) into 0
1539789751.869 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.870 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1539789751.870 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.870 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1539789751.870 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.871 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1539789751.871 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.871 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1539789751.871 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.872 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1539789751.872 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.872 * [misc]backup-simplify:  Simplify (* (exp (/ 1 (/ 1 x))) (/ 1 x)) into (/ (exp x) x)
1539789751.872 * [misc]backup-simplify:  Simplify (/ (exp (/ 1 (- x))) (/ 1 (- x))) into (* -1 (* x (exp (/ -1 x))))
1539789751.872 * [misc]approximate:  Taking taylor expansion of (* -1 (* x (exp (/ -1 x)))) in (x) around 0
1539789751.872 * [misc]taylor:  Taking taylor expansion of (* -1 (* x (exp (/ -1 x)))) in x
1539789751.872 * [misc]taylor:  Taking taylor expansion of -1 in x
1539789751.872 * [misc]backup-simplify:  Simplify -1 into -1
1539789751.872 * [misc]taylor:  Taking taylor expansion of (* x (exp (/ -1 x))) in x
1539789751.872 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.872 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.872 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.872 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539789751.872 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539789751.872 * [misc]taylor:  Taking taylor expansion of -1 in x
1539789751.873 * [misc]backup-simplify:  Simplify -1 into -1
1539789751.873 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.873 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.873 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.873 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539789751.873 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539789751.873 * [misc]taylor:  Taking taylor expansion of (* -1 (* x (exp (/ -1 x)))) in x
1539789751.873 * [misc]taylor:  Taking taylor expansion of -1 in x
1539789751.873 * [misc]backup-simplify:  Simplify -1 into -1
1539789751.873 * [misc]taylor:  Taking taylor expansion of (* x (exp (/ -1 x))) in x
1539789751.873 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.873 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.873 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.873 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539789751.873 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539789751.873 * [misc]taylor:  Taking taylor expansion of -1 in x
1539789751.873 * [misc]backup-simplify:  Simplify -1 into -1
1539789751.873 * [misc]taylor:  Taking taylor expansion of x in x
1539789751.873 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.873 * [misc]backup-simplify:  Simplify 1 into 1
1539789751.873 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539789751.873 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539789751.874 * [misc]backup-simplify:  Simplify (* 0 (exp (/ -1 x))) into 0
1539789751.874 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1539789751.874 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.874 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (exp (/ -1 x)))) into (exp (/ -1 x))
1539789751.874 * [misc]backup-simplify:  Simplify (+ (* -1 (exp (/ -1 x))) (* 0 0)) into (- (exp (/ -1 x)))
1539789751.874 * [misc]backup-simplify:  Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x)))
1539789751.875 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (/ -1 x))))) into 0
1539789751.875 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 (exp (/ -1 x))) (* 0 0))) into 0
1539789751.875 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.876 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
1539789751.876 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (exp (/ -1 x))) (* 0 0)))) into 0
1539789751.876 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.877 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
1539789751.877 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (exp (/ -1 x))) (* 0 0))))) into 0
1539789751.877 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.878 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
1539789751.879 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (exp (/ -1 x))) (* 0 0)))))) into 0
1539789751.879 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.880 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
1539789751.881 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (exp (/ -1 x))) (* 0 0))))))) into 0
1539789751.881 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.882 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))))) into 0
1539789751.883 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (exp (/ -1 x))) (* 0 0)))))))) into 0
1539789751.883 * [misc]backup-simplify:  Simplify 0 into 0
1539789751.883 * [misc]backup-simplify:  Simplify (* (- (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (/ (exp x) x)
1539789751.883 * * * [misc]progress:  simplifying candidates
1539789751.883 * * * * [misc]progress:  [ 1 / 38 ] simplifiying candidate #<alt (λ (x) (log (/ (exp (/ (exp x) x)) (exp (/ 1 x)))))>
1539789751.883 * [enter]simplify:  Simplifying (/ (exp (/ (exp x) x)) (exp (/ 1 x)))
1539789751.883 * * [misc]simplify:  iters left: 6 (8 enodes)
1539789751.886 * * [misc]simplify:  iters left: 5 (12 enodes)
1539789751.889 * * [misc]simplify:  iters left: 4 (14 enodes)
1539789751.892 * * [misc]simplify:  iters left: 3 (20 enodes)
1539789751.896 * * [misc]simplify:  iters left: 2 (22 enodes)
1539789751.899 * * [misc]simplify:  iters left: 1 (26 enodes)
1539789751.902 * [exit]simplify:  Simplified to (exp (+ (/ -1 x) (/ (exp x) x)))
1539789751.902 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (exp (+ (/ -1 x) (/ (exp x) x)))))
1539789751.902 * * * * [misc]progress:  [ 2 / 38 ] simplifiying candidate #<alt (λ (x) (pow (- (/ (exp x) x) (/ 1 x)) 1))>
1539789751.903 * * * * [misc]progress:  [ 3 / 38 ] simplifiying candidate #<alt (λ (x) (exp (log (- (/ (exp x) x) (/ 1 x)))))>
1539789751.903 * * * * [misc]progress:  [ 4 / 38 ] simplifiying candidate #<alt (λ (x) (log (exp (- (/ (exp x) x) (/ 1 x)))))>
1539789751.903 * * * * [misc]progress:  [ 5 / 38 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (- (/ (exp x) x) (/ 1 x))) (cbrt (- (/ (exp x) x) (/ 1 x)))) (cbrt (- (/ (exp x) x) (/ 1 x)))))>
1539789751.903 * * * * [misc]progress:  [ 6 / 38 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (- (/ (exp x) x) (/ 1 x)) (- (/ (exp x) x) (/ 1 x))) (- (/ (exp x) x) (/ 1 x)))))>
1539789751.903 * * * * [misc]progress:  [ 7 / 38 ] simplifiying candidate #<alt (λ (x) (* (sqrt (- (/ (exp x) x) (/ 1 x))) (sqrt (- (/ (exp x) x) (/ 1 x)))))>
1539789751.903 * * * * [misc]progress:  [ 8 / 38 ] simplifiying candidate #<alt (λ (x) (/ (- (exp x) 1) x))>
1539789751.903 * [enter]simplify:  Simplifying (- (exp x) 1)
1539789751.903 * * [misc]simplify:  iters left: 3 (4 enodes)
1539789751.904 * * [misc]simplify:  iters left: 2 (9 enodes)
1539789751.905 * * [misc]simplify:  iters left: 1 (10 enodes)
1539789751.906 * [exit]simplify:  Simplified to (- (exp x) 1)
1539789751.906 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (- (exp x) 1) x))
1539789751.906 * * * * [misc]progress:  [ 9 / 38 ] simplifiying candidate #<alt (λ (x) (/ (- (* (exp x) x) (* x 1)) (* x x)))>
1539789751.906 * [enter]simplify:  Simplifying (- (* (exp x) x) (* x 1))
1539789751.906 * * [misc]simplify:  iters left: 5 (6 enodes)
1539789751.907 * * [misc]simplify:  iters left: 4 (11 enodes)
1539789751.908 * * [misc]simplify:  iters left: 3 (12 enodes)
1539789751.910 * [exit]simplify:  Simplified to (- (* x (exp x)) x)
1539789751.910 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (- (* x (exp x)) x) (* x x)))
1539789751.910 * [enter]simplify:  Simplifying (* x x)
1539789751.910 * * [misc]simplify:  iters left: 2 (2 enodes)
1539789751.910 * [exit]simplify:  Simplified to (* x x)
1539789751.910 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (- (* x (exp x)) x) (* x x)))
1539789751.910 * * * * [misc]progress:  [ 10 / 38 ] simplifiying candidate #<alt (λ (x) (/ (- (pow (/ (exp x) x) 3) (pow (/ 1 x) 3)) (+ (* (/ (exp x) x) (/ (exp x) x)) (+ (* (/ 1 x) (/ 1 x)) (* (/ (exp x) x) (/ 1 x))))))>
1539789751.910 * * * * [misc]progress:  [ 11 / 38 ] simplifiying candidate #<alt (λ (x) (+ (/ (exp x) x) (- (/ 1 x))))>
1539789751.910 * * * * [misc]progress:  [ 12 / 38 ] simplifiying candidate #<alt (λ (x) (* 1 (- (/ (exp x) x) (/ 1 x))))>
1539789751.910 * * * * [misc]progress:  [ 13 / 38 ] simplifiying candidate #<alt (λ (x) (/ (- (* (/ (exp x) x) (/ (exp x) x)) (* (/ 1 x) (/ 1 x))) (+ (/ (exp x) x) (/ 1 x))))>
1539789751.910 * * * * [misc]progress:  [ 14 / 38 ] simplifiying candidate #<alt (λ (x) (* (+ (sqrt (/ (exp x) x)) (sqrt (/ 1 x))) (- (sqrt (/ (exp x) x)) (sqrt (/ 1 x)))))>
1539789751.910 * [enter]simplify:  Simplifying (+ (sqrt (/ (exp x) x)) (sqrt (/ 1 x)))
1539789751.911 * * [misc]simplify:  iters left: 6 (8 enodes)
1539789751.912 * * [misc]simplify:  iters left: 5 (11 enodes)
1539789751.913 * [exit]simplify:  Simplified to (+ (sqrt (/ (exp x) x)) (sqrt (/ 1 x)))
1539789751.913 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (+ (sqrt (/ (exp x) x)) (sqrt (/ 1 x))) (- (sqrt (/ (exp x) x)) (sqrt (/ 1 x)))))
1539789751.913 * [enter]simplify:  Simplifying (- (sqrt (/ (exp x) x)) (sqrt (/ 1 x)))
1539789751.913 * * [misc]simplify:  iters left: 6 (8 enodes)
1539789751.914 * * [misc]simplify:  iters left: 5 (12 enodes)
1539789751.916 * * [misc]simplify:  iters left: 4 (13 enodes)
1539789751.917 * [exit]simplify:  Simplified to (- (sqrt (/ (exp x) x)) (sqrt (/ 1 x)))
1539789751.917 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (+ (sqrt (/ (exp x) x)) (sqrt (/ 1 x))) (- (sqrt (/ (exp x) x)) (sqrt (/ 1 x)))))
1539789751.917 * * * * [misc]progress:  [ 15 / 38 ] simplifiying candidate #<alt (λ (x) (* 1 (- (/ (exp x) x) (/ 1 x))))>
1539789751.918 * [enter]simplify:  Simplifying (- (/ (exp x) x) (/ 1 x))
1539789751.918 * * [misc]simplify:  iters left: 5 (6 enodes)
1539789751.919 * * [misc]simplify:  iters left: 4 (10 enodes)
1539789751.920 * * [misc]simplify:  iters left: 3 (14 enodes)
1539789751.922 * [exit]simplify:  Simplified to (+ (/ -1 x) (/ (exp x) x))
1539789751.922 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (+ (/ -1 x) (/ (exp x) x))))
1539789751.922 * * * * [misc]progress:  [ 16 / 38 ] simplifiying candidate #<alt (λ (x) (* 1 (- (/ (exp x) x) (/ 1 x))))>
1539789751.922 * [enter]simplify:  Simplifying (- (/ (exp x) x) (/ 1 x))
1539789751.922 * * [misc]simplify:  iters left: 5 (6 enodes)
1539789751.923 * * [misc]simplify:  iters left: 4 (10 enodes)
1539789751.925 * * [misc]simplify:  iters left: 3 (14 enodes)
1539789751.926 * [exit]simplify:  Simplified to (+ (/ -1 x) (/ (exp x) x))
1539789751.926 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (+ (/ -1 x) (/ (exp x) x))))
1539789751.926 * * * * [misc]progress:  [ 17 / 38 ] simplifiying candidate #<alt (λ (x) (* (/ 1 x) (- (exp x) 1)))>
1539789751.926 * [enter]simplify:  Simplifying (/ 1 x)
1539789751.926 * * [misc]simplify:  iters left: 2 (3 enodes)
1539789751.927 * * [misc]simplify:  iters left: 1 (5 enodes)
1539789751.927 * [exit]simplify:  Simplified to (/ 1 x)
1539789751.927 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ 1 x) (- (exp x) 1)))
1539789751.928 * [enter]simplify:  Simplifying (- (exp x) 1)
1539789751.928 * * [misc]simplify:  iters left: 3 (4 enodes)
1539789751.929 * * [misc]simplify:  iters left: 2 (9 enodes)
1539789751.929 * * [misc]simplify:  iters left: 1 (10 enodes)
1539789751.930 * [exit]simplify:  Simplified to (- (exp x) 1)
1539789751.930 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ 1 x) (- (exp x) 1)))
1539789751.930 * * * * [misc]progress:  [ 18 / 38 ] simplifiying candidate #<alt (λ (x) (* (/ 1 x) (- (exp x) 1)))>
1539789751.931 * [enter]simplify:  Simplifying (/ 1 x)
1539789751.931 * * [misc]simplify:  iters left: 2 (3 enodes)
1539789751.931 * * [misc]simplify:  iters left: 1 (5 enodes)
1539789751.932 * [exit]simplify:  Simplified to (/ 1 x)
1539789751.932 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ 1 x) (- (exp x) 1)))
1539789751.932 * [enter]simplify:  Simplifying (- (exp x) 1)
1539789751.932 * * [misc]simplify:  iters left: 3 (4 enodes)
1539789751.934 * * [misc]simplify:  iters left: 2 (9 enodes)
1539789751.936 * * [misc]simplify:  iters left: 1 (10 enodes)
1539789751.937 * [exit]simplify:  Simplified to (- (exp x) 1)
1539789751.937 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ 1 x) (- (exp x) 1)))
1539789751.937 * * * * [misc]progress:  [ 19 / 38 ] simplifiying candidate #<alt (λ (x) (+ (/ (exp x) x) (- (/ 1 x))))>
1539789751.937 * * * * [misc]progress:  [ 20 / 38 ] simplifiying candidate #<alt (λ (x) (- (pow (/ (exp x) x) 1) (/ 1 x)))>
1539789751.937 * * * * [misc]progress:  [ 21 / 38 ] simplifiying candidate #<alt (λ (x) (- (exp (log (/ (exp x) x))) (/ 1 x)))>
1539789751.937 * * * * [misc]progress:  [ 22 / 38 ] simplifiying candidate #<alt (λ (x) (- (log (exp (/ (exp x) x))) (/ 1 x)))>
1539789751.937 * * * * [misc]progress:  [ 23 / 38 ] simplifiying candidate #<alt (λ (x) (- (* (* (cbrt (/ (exp x) x)) (cbrt (/ (exp x) x))) (cbrt (/ (exp x) x))) (/ 1 x)))>
1539789751.937 * * * * [misc]progress:  [ 24 / 38 ] simplifiying candidate #<alt (λ (x) (- (cbrt (* (* (/ (exp x) x) (/ (exp x) x)) (/ (exp x) x))) (/ 1 x)))>
1539789751.937 * * * * [misc]progress:  [ 25 / 38 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (/ (exp x) x)) (sqrt (/ (exp x) x))) (/ 1 x)))>
1539789751.937 * * * * [misc]progress:  [ 26 / 38 ] simplifiying candidate #<alt (λ (x) (- (/ (- (exp x)) (- x)) (/ 1 x)))>
1539789751.937 * * * * [misc]progress:  [ 27 / 38 ] simplifiying candidate #<alt (λ (x) (- (* 1 (/ (exp x) x)) (/ 1 x)))>
1539789751.937 * * * * [misc]progress:  [ 28 / 38 ] simplifiying candidate #<alt (λ (x) (- (* (exp x) (/ 1 x)) (/ 1 x)))>
1539789751.937 * * * * [misc]progress:  [ 29 / 38 ] simplifiying candidate #<alt (λ (x) (- (/ 1 (/ x (exp x))) (/ 1 x)))>
1539789751.937 * * * * [misc]progress:  [ 30 / 38 ] simplifiying candidate #<alt (λ (x) (- (/ (* (cbrt (exp x)) (cbrt (exp x))) (/ x (cbrt (exp x)))) (/ 1 x)))>
1539789751.937 * [enter]simplify:  Simplifying (* (cbrt (exp x)) (cbrt (exp x)))
1539789751.937 * * [misc]simplify:  iters left: 4 (4 enodes)
1539789751.938 * [exit]simplify:  Simplified to (* (cbrt (exp x)) (cbrt (exp x)))
1539789751.938 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (/ (* (cbrt (exp x)) (cbrt (exp x))) (/ x (cbrt (exp x)))) (/ 1 x)))
1539789751.938 * * * * [misc]progress:  [ 31 / 38 ] simplifiying candidate #<alt (λ (x) (- (/ (sqrt (exp x)) (/ x (sqrt (exp x)))) (/ 1 x)))>
1539789751.938 * [enter]simplify:  Simplifying (sqrt (exp x))
1539789751.938 * * [misc]simplify:  iters left: 2 (3 enodes)
1539789751.939 * [exit]simplify:  Simplified to (sqrt (exp x))
1539789751.939 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (/ (sqrt (exp x)) (/ x (sqrt (exp x)))) (/ 1 x)))
1539789751.939 * * * * [misc]progress:  [ 32 / 38 ] simplifiying candidate #<alt (λ (x) (- (/ 1 (/ x (exp x))) (/ 1 x)))>
1539789751.939 * * * * [misc]progress:  [ 33 / 38 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))>
1539789751.939 * [enter]simplify:  Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
1539789751.939 * * [misc]simplify:  iters left: 6 (10 enodes)
1539789751.940 * * [misc]simplify:  iters left: 5 (19 enodes)
1539789751.943 * * [misc]simplify:  iters left: 4 (29 enodes)
1539789751.947 * * [misc]simplify:  iters left: 3 (40 enodes)
1539789751.952 * * [misc]simplify:  iters left: 2 (52 enodes)
1539789751.958 * [exit]simplify:  Simplified to (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x)))
1539789751.958 * [misc]simplify:  Simplified (2) to (λ (x) (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x))))
1539789751.958 * * * * [misc]progress:  [ 34 / 38 ] simplifiying candidate #<alt (λ (x) (/ (- (exp x) 1) x))>
1539789751.958 * [enter]simplify:  Simplifying (/ (- (exp x) 1) x)
1539789751.958 * * [misc]simplify:  iters left: 5 (5 enodes)
1539789751.959 * * [misc]simplify:  iters left: 4 (13 enodes)
1539789751.961 * * [misc]simplify:  iters left: 3 (16 enodes)
1539789751.962 * * [misc]simplify:  iters left: 2 (18 enodes)
1539789751.966 * [exit]simplify:  Simplified to (/ (+ -1 (exp x)) x)
1539789751.966 * [misc]simplify:  Simplified (2) to (λ (x) (/ (+ -1 (exp x)) x))
1539789751.966 * * * * [misc]progress:  [ 35 / 38 ] simplifiying candidate #<alt (λ (x) (* -1 (/ (- 1 (exp x)) x)))>
1539789751.966 * [enter]simplify:  Simplifying (* -1 (/ (- 1 (exp x)) x))
1539789751.966 * * [misc]simplify:  iters left: 6 (7 enodes)
1539789751.969 * * [misc]simplify:  iters left: 5 (18 enodes)
1539789751.976 * * [misc]simplify:  iters left: 4 (32 enodes)
1539789751.988 * * [misc]simplify:  iters left: 3 (55 enodes)
1539789752.003 * * [misc]simplify:  iters left: 2 (85 enodes)
1539789752.028 * * [misc]simplify:  iters left: 1 (131 enodes)
1539789752.067 * [exit]simplify:  Simplified to (/ (+ (exp x) -1) x)
1539789752.067 * [misc]simplify:  Simplified (2) to (λ (x) (/ (+ (exp x) -1) x))
1539789752.067 * * * * [misc]progress:  [ 36 / 38 ] simplifiying candidate #<alt (λ (x) (- (+ (* 1/2 x) (+ (/ 1 x) 1)) (/ 1 x)))>
1539789752.067 * [enter]simplify:  Simplifying (+ (* 1/2 x) (+ (/ 1 x) 1))
1539789752.068 * * [misc]simplify:  iters left: 6 (7 enodes)
1539789752.070 * * [misc]simplify:  iters left: 5 (14 enodes)
1539789752.073 * * [misc]simplify:  iters left: 4 (20 enodes)
1539789752.079 * * [misc]simplify:  iters left: 3 (22 enodes)
1539789752.086 * [exit]simplify:  Simplified to (+ 1 (+ (* 1/2 x) (/ 1 x)))
1539789752.086 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (+ 1 (+ (* 1/2 x) (/ 1 x))) (/ 1 x)))
1539789752.087 * * * * [misc]progress:  [ 37 / 38 ] simplifiying candidate #<alt (λ (x) (- (/ (exp x) x) (/ 1 x)))>
1539789752.087 * [enter]simplify:  Simplifying (/ (exp x) x)
1539789752.087 * * [misc]simplify:  iters left: 3 (3 enodes)
1539789752.088 * [exit]simplify:  Simplified to (/ (exp x) x)
1539789752.088 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (/ (exp x) x) (/ 1 x)))
1539789752.088 * * * * [misc]progress:  [ 38 / 38 ] simplifiying candidate #<alt (λ (x) (- (/ (exp x) x) (/ 1 x)))>
1539789752.088 * [enter]simplify:  Simplifying (/ (exp x) x)
1539789752.088 * * [misc]simplify:  iters left: 3 (3 enodes)
1539789752.089 * [exit]simplify:  Simplified to (/ (exp x) x)
1539789752.089 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (/ (exp x) x) (/ 1 x)))
1539789752.089 * * * [misc]progress:  adding candidates to table
1539789752.287 * * [misc]progress:  iteration 4 / 4
1539789752.287 * * * [misc]progress:  picking best candidate
1539789752.297 * * * * [misc]pick:  Picked  #<alt (λ (x) (/ (log (exp (- (exp x) 1))) x))>
1539789752.297 * * * [misc]progress:  localizing error
1539789752.342 * * * [misc]progress:  generating rewritten candidates
1539789752.342 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 1)
1539789752.345 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1539789752.351 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2)
1539789752.370 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1)
1539789752.382 * * * [misc]progress:  generating series expansions
1539789752.382 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 1)
1539789752.382 * [misc]backup-simplify:  Simplify (- (exp x) 1) into (- (exp x) 1)
1539789752.382 * [misc]approximate:  Taking taylor expansion of (- (exp x) 1) in (x) around 0
1539789752.382 * [misc]taylor:  Taking taylor expansion of (- (exp x) 1) in x
1539789752.382 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539789752.383 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.383 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.383 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.383 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539789752.383 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789752.383 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.383 * [misc]taylor:  Taking taylor expansion of (- (exp x) 1) in x
1539789752.383 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539789752.383 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.383 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.383 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.383 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539789752.383 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789752.383 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.383 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789752.383 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1539789752.384 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.385 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1539789752.385 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.385 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539789752.385 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.388 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1539789752.388 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.388 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1539789752.388 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1539789752.392 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1539789752.392 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.392 * [misc]backup-simplify:  Simplify (+ 1/6 0) into 1/6
1539789752.392 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539789752.393 * [misc]backup-simplify:  Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
1539789752.393 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1)
1539789752.393 * [misc]approximate:  Taking taylor expansion of (- (exp (/ 1 x)) 1) in (x) around 0
1539789752.393 * [misc]taylor:  Taking taylor expansion of (- (exp (/ 1 x)) 1) in x
1539789752.393 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539789752.393 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539789752.393 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.393 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.393 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.393 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789752.393 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539789752.393 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789752.393 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.393 * [misc]taylor:  Taking taylor expansion of (- (exp (/ 1 x)) 1) in x
1539789752.393 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539789752.393 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539789752.393 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.393 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.393 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.394 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789752.394 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539789752.394 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789752.394 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.394 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789752.394 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
1539789752.394 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1)
1539789752.394 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.394 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.395 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.395 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.395 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.395 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.395 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.395 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.395 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.395 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.396 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.396 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.396 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.396 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.396 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.396 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.396 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.396 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.396 * [misc]backup-simplify:  Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1)
1539789752.397 * [misc]backup-simplify:  Simplify (- (exp (/ 1 (- x))) 1) into (- (exp (/ -1 x)) 1)
1539789752.397 * [misc]approximate:  Taking taylor expansion of (- (exp (/ -1 x)) 1) in (x) around 0
1539789752.397 * [misc]taylor:  Taking taylor expansion of (- (exp (/ -1 x)) 1) in x
1539789752.397 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539789752.397 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539789752.397 * [misc]taylor:  Taking taylor expansion of -1 in x
1539789752.397 * [misc]backup-simplify:  Simplify -1 into -1
1539789752.397 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.397 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.397 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.397 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539789752.397 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539789752.397 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789752.397 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.397 * [misc]taylor:  Taking taylor expansion of (- (exp (/ -1 x)) 1) in x
1539789752.397 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539789752.397 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539789752.397 * [misc]taylor:  Taking taylor expansion of -1 in x
1539789752.397 * [misc]backup-simplify:  Simplify -1 into -1
1539789752.397 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.397 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.397 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.398 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539789752.398 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539789752.398 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789752.398 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.398 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789752.398 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
1539789752.398 * [misc]backup-simplify:  Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1)
1539789752.399 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.399 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.399 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.399 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.399 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.399 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.399 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.399 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.399 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.400 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.400 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.400 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.400 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.400 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.400 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.400 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.401 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.401 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.401 * [misc]backup-simplify:  Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1)
1539789752.401 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1539789752.401 * [misc]backup-simplify:  Simplify (log (exp (- (exp x) 1))) into (- (exp x) 1)
1539789752.401 * [misc]approximate:  Taking taylor expansion of (- (exp x) 1) in (x) around 0
1539789752.401 * [misc]taylor:  Taking taylor expansion of (- (exp x) 1) in x
1539789752.401 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539789752.401 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.401 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.401 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.401 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539789752.401 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789752.401 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.401 * [misc]taylor:  Taking taylor expansion of (- (exp x) 1) in x
1539789752.401 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539789752.401 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.401 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.401 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.401 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539789752.401 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789752.401 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.402 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789752.402 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1539789752.402 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.403 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1539789752.404 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.404 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539789752.404 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.406 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1539789752.406 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.407 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1539789752.407 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1539789752.410 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1539789752.411 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.411 * [misc]backup-simplify:  Simplify (+ 1/6 0) into 1/6
1539789752.411 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539789752.411 * [misc]backup-simplify:  Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
1539789752.411 * [misc]backup-simplify:  Simplify (log (exp (- (exp (/ 1 x)) 1))) into (- (exp (/ 1 x)) 1)
1539789752.411 * [misc]approximate:  Taking taylor expansion of (- (exp (/ 1 x)) 1) in (x) around 0
1539789752.411 * [misc]taylor:  Taking taylor expansion of (- (exp (/ 1 x)) 1) in x
1539789752.411 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539789752.412 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539789752.412 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.412 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.412 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.412 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789752.412 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539789752.412 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789752.412 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.412 * [misc]taylor:  Taking taylor expansion of (- (exp (/ 1 x)) 1) in x
1539789752.412 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539789752.412 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539789752.412 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.412 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.412 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.412 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789752.412 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539789752.412 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789752.412 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.413 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789752.413 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
1539789752.413 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1)
1539789752.413 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.413 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.413 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.413 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.413 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.413 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.414 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.414 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.414 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.414 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.414 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.414 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.414 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.414 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.414 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.415 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.415 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.415 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.415 * [misc]backup-simplify:  Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1)
1539789752.415 * [misc]backup-simplify:  Simplify (log (exp (- (exp (/ 1 (- x))) 1))) into (- (exp (/ -1 x)) 1)
1539789752.415 * [misc]approximate:  Taking taylor expansion of (- (exp (/ -1 x)) 1) in (x) around 0
1539789752.415 * [misc]taylor:  Taking taylor expansion of (- (exp (/ -1 x)) 1) in x
1539789752.415 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539789752.415 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539789752.415 * [misc]taylor:  Taking taylor expansion of -1 in x
1539789752.415 * [misc]backup-simplify:  Simplify -1 into -1
1539789752.415 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.415 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.415 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.416 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539789752.416 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539789752.416 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789752.416 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.416 * [misc]taylor:  Taking taylor expansion of (- (exp (/ -1 x)) 1) in x
1539789752.416 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539789752.416 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539789752.416 * [misc]taylor:  Taking taylor expansion of -1 in x
1539789752.416 * [misc]backup-simplify:  Simplify -1 into -1
1539789752.416 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.416 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.416 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.416 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539789752.416 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539789752.416 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789752.416 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.417 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789752.417 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
1539789752.417 * [misc]backup-simplify:  Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1)
1539789752.417 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.417 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.417 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.417 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.417 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.418 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.418 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.418 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.418 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.418 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.418 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.418 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.418 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.419 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.419 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.419 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.419 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.419 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.419 * [misc]backup-simplify:  Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1)
1539789752.419 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2)
1539789752.419 * [misc]backup-simplify:  Simplify (/ (log (exp (- (exp x) 1))) x) into (/ (- (exp x) 1) x)
1539789752.419 * [misc]approximate:  Taking taylor expansion of (/ (- (exp x) 1) x) in (x) around 0
1539789752.419 * [misc]taylor:  Taking taylor expansion of (/ (- (exp x) 1) x) in x
1539789752.420 * [misc]taylor:  Taking taylor expansion of (- (exp x) 1) in x
1539789752.420 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539789752.420 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.420 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.420 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.420 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539789752.420 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789752.420 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.420 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.420 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.420 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.420 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789752.420 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1539789752.422 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1539789752.422 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.422 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539789752.422 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789752.422 * [misc]taylor:  Taking taylor expansion of (/ (- (exp x) 1) x) in x
1539789752.422 * [misc]taylor:  Taking taylor expansion of (- (exp x) 1) in x
1539789752.422 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539789752.422 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.422 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.422 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.423 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539789752.423 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789752.423 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.423 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.423 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.423 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.423 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789752.423 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1539789752.424 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1539789752.425 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.425 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539789752.425 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789752.425 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.427 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1539789752.428 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.428 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1539789752.428 * [misc]backup-simplify:  Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)))) into 1/2
1539789752.428 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1539789752.432 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1539789752.432 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.432 * [misc]backup-simplify:  Simplify (+ 1/6 0) into 1/6
1539789752.433 * [misc]backup-simplify:  Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 1/2 (/ 0 1)))) into 1/6
1539789752.433 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539789752.433 * [misc]backup-simplify:  Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
1539789752.433 * [misc]backup-simplify:  Simplify (/ (log (exp (- (exp (/ 1 x)) 1))) (/ 1 x)) into (* x (- (exp (/ 1 x)) 1))
1539789752.433 * [misc]approximate:  Taking taylor expansion of (* x (- (exp (/ 1 x)) 1)) in (x) around 0
1539789752.433 * [misc]taylor:  Taking taylor expansion of (* x (- (exp (/ 1 x)) 1)) in x
1539789752.433 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.433 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.433 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.433 * [misc]taylor:  Taking taylor expansion of (- (exp (/ 1 x)) 1) in x
1539789752.433 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539789752.433 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539789752.433 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.433 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.433 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.433 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789752.434 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539789752.434 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789752.434 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.434 * [misc]taylor:  Taking taylor expansion of (* x (- (exp (/ 1 x)) 1)) in x
1539789752.434 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.434 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.434 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.434 * [misc]taylor:  Taking taylor expansion of (- (exp (/ 1 x)) 1) in x
1539789752.434 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539789752.434 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539789752.434 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.434 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.434 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.434 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789752.434 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539789752.434 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789752.434 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.434 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789752.435 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
1539789752.435 * [misc]backup-simplify:  Simplify (* 0 (- (exp (/ 1 x)) 1)) into 0
1539789752.435 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.435 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.435 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.435 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (exp (/ 1 x)) 1))) into (- (exp (/ 1 x)) 1)
1539789752.435 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1)
1539789752.436 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.436 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.436 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ 1 x)) 1)))) into 0
1539789752.436 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.436 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.436 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.437 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))) into 0
1539789752.437 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.437 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.437 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.438 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1)))))) into 0
1539789752.438 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.438 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.438 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.439 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))))) into 0
1539789752.439 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.439 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.440 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.440 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1)))))))) into 0
1539789752.441 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.441 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.441 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.442 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))))))) into 0
1539789752.442 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.442 * [misc]backup-simplify:  Simplify (* (- (exp (/ 1 (/ 1 x))) 1) (/ 1 x)) into (/ (- (exp x) 1) x)
1539789752.442 * [misc]backup-simplify:  Simplify (/ (log (exp (- (exp (/ 1 (- x))) 1))) (/ 1 (- x))) into (* -1 (* (- (exp (/ -1 x)) 1) x))
1539789752.442 * [misc]approximate:  Taking taylor expansion of (* -1 (* (- (exp (/ -1 x)) 1) x)) in (x) around 0
1539789752.442 * [misc]taylor:  Taking taylor expansion of (* -1 (* (- (exp (/ -1 x)) 1) x)) in x
1539789752.442 * [misc]taylor:  Taking taylor expansion of -1 in x
1539789752.442 * [misc]backup-simplify:  Simplify -1 into -1
1539789752.442 * [misc]taylor:  Taking taylor expansion of (* (- (exp (/ -1 x)) 1) x) in x
1539789752.442 * [misc]taylor:  Taking taylor expansion of (- (exp (/ -1 x)) 1) in x
1539789752.442 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539789752.442 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539789752.443 * [misc]taylor:  Taking taylor expansion of -1 in x
1539789752.443 * [misc]backup-simplify:  Simplify -1 into -1
1539789752.443 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.443 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.443 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.443 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539789752.443 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539789752.443 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789752.443 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.443 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.443 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.443 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.443 * [misc]taylor:  Taking taylor expansion of (* -1 (* (- (exp (/ -1 x)) 1) x)) in x
1539789752.443 * [misc]taylor:  Taking taylor expansion of -1 in x
1539789752.443 * [misc]backup-simplify:  Simplify -1 into -1
1539789752.443 * [misc]taylor:  Taking taylor expansion of (* (- (exp (/ -1 x)) 1) x) in x
1539789752.443 * [misc]taylor:  Taking taylor expansion of (- (exp (/ -1 x)) 1) in x
1539789752.443 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539789752.443 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539789752.443 * [misc]taylor:  Taking taylor expansion of -1 in x
1539789752.443 * [misc]backup-simplify:  Simplify -1 into -1
1539789752.443 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.443 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.443 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.444 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539789752.444 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539789752.444 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789752.444 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.444 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.444 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.444 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.444 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789752.444 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
1539789752.444 * [misc]backup-simplify:  Simplify (* (- (exp (/ -1 x)) 1) 0) into 0
1539789752.444 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1539789752.444 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.445 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.445 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.445 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 1) (* 0 0)) into (- (exp (/ -1 x)) 1)
1539789752.445 * [misc]backup-simplify:  Simplify (+ (* -1 (- (exp (/ -1 x)) 1)) (* 0 0)) into (- 1 (exp (/ -1 x)))
1539789752.445 * [misc]backup-simplify:  Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x)))
1539789752.446 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.446 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.446 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 1) (* 0 0))) into 0
1539789752.446 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))) into 0
1539789752.446 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.447 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.447 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.447 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1539789752.448 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))) into 0
1539789752.448 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.450 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.451 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.451 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1539789752.452 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))) into 0
1539789752.452 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.452 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.452 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.453 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1539789752.454 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))) into 0
1539789752.454 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.454 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.454 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.454 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1539789752.455 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))))) into 0
1539789752.455 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.456 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.456 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.456 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1539789752.457 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))))) into 0
1539789752.458 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.458 * [misc]backup-simplify:  Simplify (* (- 1 (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (/ (- 1 (exp x)) x))
1539789752.458 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1)
1539789752.458 * [misc]backup-simplify:  Simplify (exp (- (exp x) 1)) into (exp (- (exp x) 1))
1539789752.458 * [misc]approximate:  Taking taylor expansion of (exp (- (exp x) 1)) in (x) around 0
1539789752.458 * [misc]taylor:  Taking taylor expansion of (exp (- (exp x) 1)) in x
1539789752.458 * [misc]taylor:  Taking taylor expansion of (- (exp x) 1) in x
1539789752.458 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539789752.458 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.458 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.458 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.458 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539789752.458 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789752.458 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.458 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789752.459 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1539789752.460 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1539789752.460 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.460 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539789752.460 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539789752.460 * [misc]taylor:  Taking taylor expansion of (exp (- (exp x) 1)) in x
1539789752.461 * [misc]taylor:  Taking taylor expansion of (- (exp x) 1) in x
1539789752.461 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1539789752.461 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.461 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.461 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.461 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539789752.461 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789752.461 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.461 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789752.461 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1539789752.463 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1539789752.463 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.463 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539789752.463 * [misc]backup-simplify:  Simplify (exp 0) into 1
1539789752.463 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.465 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1539789752.465 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.467 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1539789752.467 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.467 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1539789752.469 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 1/2 1) 1)))) into 1
1539789752.469 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.470 * [misc]backup-simplify:  Simplify (+ (* 1 (pow x 2)) (+ (* 1 x) 1)) into (+ x (+ (pow x 2) 1))
1539789752.470 * [misc]backup-simplify:  Simplify (exp (- (exp (/ 1 x)) 1)) into (exp (- (exp (/ 1 x)) 1))
1539789752.470 * [misc]approximate:  Taking taylor expansion of (exp (- (exp (/ 1 x)) 1)) in (x) around 0
1539789752.470 * [misc]taylor:  Taking taylor expansion of (exp (- (exp (/ 1 x)) 1)) in x
1539789752.470 * [misc]taylor:  Taking taylor expansion of (- (exp (/ 1 x)) 1) in x
1539789752.470 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539789752.470 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539789752.470 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.470 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.470 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.470 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789752.470 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539789752.470 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789752.470 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.470 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789752.470 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
1539789752.471 * [misc]backup-simplify:  Simplify (exp (- (exp (/ 1 x)) 1)) into (exp (- (exp (/ 1 x)) 1))
1539789752.471 * [misc]taylor:  Taking taylor expansion of (exp (- (exp (/ 1 x)) 1)) in x
1539789752.471 * [misc]taylor:  Taking taylor expansion of (- (exp (/ 1 x)) 1) in x
1539789752.471 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1539789752.471 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539789752.471 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.471 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.471 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.471 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539789752.471 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1539789752.471 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789752.471 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.471 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789752.471 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
1539789752.471 * [misc]backup-simplify:  Simplify (exp (- (exp (/ 1 x)) 1)) into (exp (- (exp (/ 1 x)) 1))
1539789752.472 * [misc]backup-simplify:  Simplify (exp (- (exp (/ 1 x)) 1)) into (exp (- (exp (/ 1 x)) 1))
1539789752.472 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.472 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.473 * [misc]backup-simplify:  Simplify (* (exp (- (exp (/ 1 x)) 1)) (+ (* (/ (pow 0 1) 1)))) into 0
1539789752.473 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.473 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.474 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.476 * [misc]backup-simplify:  Simplify (* (exp (- (exp (/ 1 x)) 1)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1539789752.476 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.476 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.476 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.479 * [misc]backup-simplify:  Simplify (* (exp (- (exp (/ 1 x)) 1)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1539789752.479 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.480 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.480 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.485 * [misc]backup-simplify:  Simplify (* (exp (- (exp (/ 1 x)) 1)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1539789752.485 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.485 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.486 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.494 * [misc]backup-simplify:  Simplify (* (exp (- (exp (/ 1 x)) 1)) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1539789752.494 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.495 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.495 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.506 * [misc]backup-simplify:  Simplify (* (exp (- (exp (/ 1 x)) 1)) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1539789752.506 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.506 * [misc]backup-simplify:  Simplify (exp (- (exp (/ 1 (/ 1 x))) 1)) into (exp (- (exp x) 1))
1539789752.507 * [misc]backup-simplify:  Simplify (exp (- (exp (/ 1 (- x))) 1)) into (exp (- (exp (/ -1 x)) 1))
1539789752.507 * [misc]approximate:  Taking taylor expansion of (exp (- (exp (/ -1 x)) 1)) in (x) around 0
1539789752.507 * [misc]taylor:  Taking taylor expansion of (exp (- (exp (/ -1 x)) 1)) in x
1539789752.507 * [misc]taylor:  Taking taylor expansion of (- (exp (/ -1 x)) 1) in x
1539789752.507 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539789752.507 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539789752.507 * [misc]taylor:  Taking taylor expansion of -1 in x
1539789752.507 * [misc]backup-simplify:  Simplify -1 into -1
1539789752.507 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.507 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.507 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.507 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539789752.507 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539789752.507 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789752.507 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.507 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789752.507 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
1539789752.507 * [misc]backup-simplify:  Simplify (exp (- (exp (/ -1 x)) 1)) into (exp (- (exp (/ -1 x)) 1))
1539789752.507 * [misc]taylor:  Taking taylor expansion of (exp (- (exp (/ -1 x)) 1)) in x
1539789752.507 * [misc]taylor:  Taking taylor expansion of (- (exp (/ -1 x)) 1) in x
1539789752.507 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1539789752.507 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1539789752.507 * [misc]taylor:  Taking taylor expansion of -1 in x
1539789752.507 * [misc]backup-simplify:  Simplify -1 into -1
1539789752.507 * [misc]taylor:  Taking taylor expansion of x in x
1539789752.507 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.507 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.507 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1539789752.507 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1539789752.508 * [misc]taylor:  Taking taylor expansion of 1 in x
1539789752.508 * [misc]backup-simplify:  Simplify 1 into 1
1539789752.508 * [misc]backup-simplify:  Simplify (- 1) into -1
1539789752.508 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
1539789752.508 * [misc]backup-simplify:  Simplify (exp (- (exp (/ -1 x)) 1)) into (exp (- (exp (/ -1 x)) 1))
1539789752.508 * [misc]backup-simplify:  Simplify (exp (- (exp (/ -1 x)) 1)) into (exp (- (exp (/ -1 x)) 1))
1539789752.508 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.508 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.509 * [misc]backup-simplify:  Simplify (* (exp (- (exp (/ -1 x)) 1)) (+ (* (/ (pow 0 1) 1)))) into 0
1539789752.509 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.509 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.509 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.510 * [misc]backup-simplify:  Simplify (* (exp (- (exp (/ -1 x)) 1)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1539789752.510 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.511 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.511 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.512 * [misc]backup-simplify:  Simplify (* (exp (- (exp (/ -1 x)) 1)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1539789752.512 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.513 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.513 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.516 * [misc]backup-simplify:  Simplify (* (exp (- (exp (/ -1 x)) 1)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1539789752.516 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.516 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.516 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.521 * [misc]backup-simplify:  Simplify (* (exp (- (exp (/ -1 x)) 1)) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1539789752.521 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.521 * [misc]backup-simplify:  Simplify (- 0) into 0
1539789752.521 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539789752.529 * [misc]backup-simplify:  Simplify (* (exp (- (exp (/ -1 x)) 1)) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1539789752.529 * [misc]backup-simplify:  Simplify 0 into 0
1539789752.529 * [misc]backup-simplify:  Simplify (exp (- (exp (/ -1 (/ 1 (- x)))) 1)) into (exp (- (exp x) 1))
1539789752.529 * * * [misc]progress:  simplifying candidates
1539789752.529 * * * * [misc]progress:  [ 1 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (pow (- (exp x) 1) 1))) x))>
1539789752.529 * * * * [misc]progress:  [ 2 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (exp (log (- (exp x) 1))))) x))>
1539789752.529 * * * * [misc]progress:  [ 3 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (log (exp (- (exp x) 1))))) x))>
1539789752.529 * * * * [misc]progress:  [ 4 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (* (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1))) (cbrt (- (exp x) 1))))) x))>
1539789752.530 * * * * [misc]progress:  [ 5 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (cbrt (* (* (- (exp x) 1) (- (exp x) 1)) (- (exp x) 1))))) x))>
1539789752.530 * * * * [misc]progress:  [ 6 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (* (sqrt (- (exp x) 1)) (sqrt (- (exp x) 1))))) x))>
1539789752.530 * * * * [misc]progress:  [ 7 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (/ (- (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))))) x))>
1539789752.530 * * * * [misc]progress:  [ 8 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (+ (exp x) (- 1)))) x))>
1539789752.530 * * * * [misc]progress:  [ 9 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (* 1 (- (exp x) 1)))) x))>
1539789752.530 * * * * [misc]progress:  [ 10 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (/ (- (* (exp x) (exp x)) (* 1 1)) (+ (exp x) 1)))) x))>
1539789752.530 * * * * [misc]progress:  [ 11 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (* (+ (sqrt (exp x)) 1) (- (sqrt (exp x)) 1)))) x))>
1539789752.530 * [enter]simplify:  Simplifying (+ (sqrt (exp x)) 1)
1539789752.530 * * [misc]simplify:  iters left: 4 (5 enodes)
1539789752.531 * * [misc]simplify:  iters left: 3 (8 enodes)
1539789752.532 * [exit]simplify:  Simplified to (+ 1 (sqrt (exp x)))
1539789752.532 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (/ (log (exp (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) 1)))) x))
1539789752.532 * * * * [misc]progress:  [ 12 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (+ (exp x) (- 1)))) x))>
1539789752.532 * * * * [misc]progress:  [ 13 / 77 ] simplifiying candidate #<alt (λ (x) (/ (+ (log (exp (exp x))) (log (exp (- 1)))) x))>
1539789752.532 * [enter]simplify:  Simplifying (log (exp (exp x)))
1539789752.532 * * [misc]simplify:  iters left: 3 (4 enodes)
1539789752.532 * [exit]simplify:  Simplified to (exp x)
1539789752.532 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (+ (exp x) (log (exp (- 1)))) x))
1539789752.532 * * * * [misc]progress:  [ 14 / 77 ] simplifiying candidate #<alt (λ (x) (/ (+ (log (exp (exp x))) (log (exp (- 1)))) x))>
1539789752.533 * [enter]simplify:  Simplifying (log (exp (exp x)))
1539789752.533 * * [misc]simplify:  iters left: 3 (4 enodes)
1539789752.533 * [exit]simplify:  Simplified to (exp x)
1539789752.533 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (+ (exp x) (log (exp (- 1)))) x))
1539789752.533 * * * * [misc]progress:  [ 15 / 77 ] simplifiying candidate #<alt (λ (x) (/ (+ (log (* (cbrt (exp (- (exp x) 1))) (cbrt (exp (- (exp x) 1))))) (log (cbrt (exp (- (exp x) 1))))) x))>
1539789752.533 * [enter]simplify:  Simplifying (log (* (cbrt (exp (- (exp x) 1))) (cbrt (exp (- (exp x) 1)))))
1539789752.533 * * [misc]simplify:  iters left: 6 (8 enodes)
1539789752.535 * * [misc]simplify:  iters left: 5 (18 enodes)
1539789752.538 * * [misc]simplify:  iters left: 4 (22 enodes)
1539789752.540 * * [misc]simplify:  iters left: 3 (23 enodes)
1539789752.543 * [exit]simplify:  Simplified to (log (* (cbrt (exp (- (exp x) 1))) (cbrt (exp (- (exp x) 1)))))
1539789752.543 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (+ (log (* (cbrt (exp (- (exp x) 1))) (cbrt (exp (- (exp x) 1))))) (log (cbrt (exp (- (exp x) 1))))) x))
1539789752.543 * * * * [misc]progress:  [ 16 / 77 ] simplifiying candidate #<alt (λ (x) (/ (+ (log (sqrt (exp (- (exp x) 1)))) (log (sqrt (exp (- (exp x) 1))))) x))>
1539789752.543 * [enter]simplify:  Simplifying (log (sqrt (exp (- (exp x) 1))))
1539789752.543 * * [misc]simplify:  iters left: 6 (7 enodes)
1539789752.545 * * [misc]simplify:  iters left: 5 (15 enodes)
1539789752.547 * * [misc]simplify:  iters left: 4 (19 enodes)
1539789752.549 * * [misc]simplify:  iters left: 3 (20 enodes)
1539789752.552 * [exit]simplify:  Simplified to (log (sqrt (exp (- (exp x) 1))))
1539789752.552 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (+ (log (sqrt (exp (- (exp x) 1)))) (log (sqrt (exp (- (exp x) 1))))) x))
1539789752.552 * * * * [misc]progress:  [ 17 / 77 ] simplifiying candidate #<alt (λ (x) (/ (+ (log 1) (log (exp (- (exp x) 1)))) x))>
1539789752.552 * [enter]simplify:  Simplifying (log 1)
1539789752.552 * * [misc]simplify:  iters left: 1 (2 enodes)
1539789752.553 * [exit]simplify:  Simplified to 0
1539789752.554 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (+ 0 (log (exp (- (exp x) 1)))) x))
1539789752.554 * * * * [misc]progress:  [ 18 / 77 ] simplifiying candidate #<alt (λ (x) (/ (- (log (exp (exp x))) (log (exp 1))) x))>
1539789752.554 * [enter]simplify:  Simplifying (log (exp (exp x)))
1539789752.554 * * [misc]simplify:  iters left: 3 (4 enodes)
1539789752.555 * [exit]simplify:  Simplified to (exp x)
1539789752.555 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (- (exp x) (log (exp 1))) x))
1539789752.555 * * * * [misc]progress:  [ 19 / 77 ] simplifiying candidate #<alt (λ (x) (/ (* 1 (log (exp (- (exp x) 1)))) x))>
1539789752.555 * * * * [misc]progress:  [ 20 / 77 ] simplifiying candidate #<alt (λ (x) (/ (* (cbrt (- (exp x) 1)) (log (exp (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))))) x))>
1539789752.555 * [enter]simplify:  Simplifying (cbrt (- (exp x) 1))
1539789752.555 * * [misc]simplify:  iters left: 4 (5 enodes)
1539789752.557 * * [misc]simplify:  iters left: 3 (10 enodes)
1539789752.560 * * [misc]simplify:  iters left: 2 (11 enodes)
1539789752.562 * [exit]simplify:  Simplified to (cbrt (- (exp x) 1))
1539789752.562 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (* (cbrt (- (exp x) 1)) (log (exp (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))))) x))
1539789752.562 * * * * [misc]progress:  [ 21 / 77 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (- (exp x) 1)) (log (exp (sqrt (- (exp x) 1))))) x))>
1539789752.562 * [enter]simplify:  Simplifying (sqrt (- (exp x) 1))
1539789752.562 * * [misc]simplify:  iters left: 4 (5 enodes)
1539789752.564 * * [misc]simplify:  iters left: 3 (10 enodes)
1539789752.566 * * [misc]simplify:  iters left: 2 (11 enodes)
1539789752.569 * [exit]simplify:  Simplified to (sqrt (- (exp x) 1))
1539789752.569 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (* (sqrt (- (exp x) 1)) (log (exp (sqrt (- (exp x) 1))))) x))
1539789752.569 * * * * [misc]progress:  [ 22 / 77 ] simplifiying candidate #<alt (λ (x) (/ (* (- (exp x) 1) (log (exp 1))) x))>
1539789752.569 * [enter]simplify:  Simplifying (- (exp x) 1)
1539789752.569 * * [misc]simplify:  iters left: 3 (4 enodes)
1539789752.571 * * [misc]simplify:  iters left: 2 (9 enodes)
1539789752.575 * * [misc]simplify:  iters left: 1 (10 enodes)
1539789752.577 * [exit]simplify:  Simplified to (- (exp x) 1)
1539789752.577 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (* (- (exp x) 1) (log (exp 1))) x))
1539789752.577 * * * * [misc]progress:  [ 23 / 77 ] simplifiying candidate #<alt (λ (x) (/ (* (- (sqrt (exp x)) 1) (log (exp (+ (sqrt (exp x)) 1)))) x))>
1539789752.577 * [enter]simplify:  Simplifying (- (sqrt (exp x)) 1)
1539789752.577 * * [misc]simplify:  iters left: 4 (5 enodes)
1539789752.579 * * [misc]simplify:  iters left: 3 (10 enodes)
1539789752.581 * * [misc]simplify:  iters left: 2 (11 enodes)
1539789752.584 * [exit]simplify:  Simplified to (+ -1 (sqrt (exp x)))
1539789752.584 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (* (+ -1 (sqrt (exp x))) (log (exp (+ (sqrt (exp x)) 1)))) x))
1539789752.584 * * * * [misc]progress:  [ 24 / 77 ] simplifiying candidate #<alt (λ (x) (/ (pow (log (exp (- (exp x) 1))) 1) x))>
1539789752.584 * * * * [misc]progress:  [ 25 / 77 ] simplifiying candidate #<alt (λ (x) (/ (- (exp x) 1) x))>
1539789752.584 * [enter]simplify:  Simplifying (exp x)
1539789752.584 * * [misc]simplify:  iters left: 1 (2 enodes)
1539789752.585 * [exit]simplify:  Simplified to (exp x)
1539789752.585 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (- (exp x) 1) x))
1539789752.585 * * * * [misc]progress:  [ 26 / 77 ] simplifiying candidate #<alt (λ (x) (/ (exp (log (log (exp (- (exp x) 1))))) x))>
1539789752.585 * * * * [misc]progress:  [ 27 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (log (exp (- (exp x) 1))))) x))>
1539789752.585 * * * * [misc]progress:  [ 28 / 77 ] simplifiying candidate #<alt (λ (x) (/ (* (* (cbrt (log (exp (- (exp x) 1)))) (cbrt (log (exp (- (exp x) 1))))) (cbrt (log (exp (- (exp x) 1))))) x))>
1539789752.585 * * * * [misc]progress:  [ 29 / 77 ] simplifiying candidate #<alt (λ (x) (/ (cbrt (* (* (log (exp (- (exp x) 1))) (log (exp (- (exp x) 1)))) (log (exp (- (exp x) 1))))) x))>
1539789752.585 * * * * [misc]progress:  [ 30 / 77 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (log (exp (- (exp x) 1)))) (sqrt (log (exp (- (exp x) 1))))) x))>
1539789752.585 * * * * [misc]progress:  [ 31 / 77 ] simplifiying candidate #<alt (λ (x) (/ (* 1 (log (exp (- (exp x) 1)))) x))>
1539789752.585 * * * * [misc]progress:  [ 32 / 77 ] simplifiying candidate #<alt (λ (x) (pow (/ (log (exp (- (exp x) 1))) x) 1))>
1539789752.585 * * * * [misc]progress:  [ 33 / 77 ] simplifiying candidate #<alt (λ (x) (exp (log (/ (log (exp (- (exp x) 1))) x))))>
1539789752.585 * * * * [misc]progress:  [ 34 / 77 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (log (exp (- (exp x) 1))) x))))>
1539789752.585 * * * * [misc]progress:  [ 35 / 77 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (/ (log (exp (- (exp x) 1))) x)) (cbrt (/ (log (exp (- (exp x) 1))) x))) (cbrt (/ (log (exp (- (exp x) 1))) x))))>
1539789752.585 * * * * [misc]progress:  [ 36 / 77 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (/ (log (exp (- (exp x) 1))) x) (/ (log (exp (- (exp x) 1))) x)) (/ (log (exp (- (exp x) 1))) x))))>
1539789752.586 * * * * [misc]progress:  [ 37 / 77 ] simplifiying candidate #<alt (λ (x) (* (sqrt (/ (log (exp (- (exp x) 1))) x)) (sqrt (/ (log (exp (- (exp x) 1))) x))))>
1539789752.586 * * * * [misc]progress:  [ 38 / 77 ] simplifiying candidate #<alt (λ (x) (/ (- (log (exp (- (exp x) 1)))) (- x)))>
1539789752.586 * * * * [misc]progress:  [ 39 / 77 ] simplifiying candidate #<alt (λ (x) (- (/ (log (exp (exp x))) x) (/ (log (exp 1)) x)))>
1539789752.586 * [enter]simplify:  Simplifying (/ (log (exp (exp x))) x)
1539789752.586 * * [misc]simplify:  iters left: 5 (5 enodes)
1539789752.587 * [exit]simplify:  Simplified to (/ (exp x) x)
1539789752.588 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (/ (exp x) x) (/ (log (exp 1)) x)))
1539789752.588 * * * * [misc]progress:  [ 40 / 77 ] simplifiying candidate #<alt (λ (x) (* 1 (/ (log (exp (- (exp x) 1))) x)))>
1539789752.588 * * * * [misc]progress:  [ 41 / 77 ] simplifiying candidate #<alt (λ (x) (* (log (exp (- (exp x) 1))) (/ 1 x)))>
1539789752.588 * * * * [misc]progress:  [ 42 / 77 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ x (log (exp (- (exp x) 1))))))>
1539789752.588 * * * * [misc]progress:  [ 43 / 77 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ x (log (exp (- (exp x) 1))))))>
1539789752.588 * * * * [misc]progress:  [ 44 / 77 ] simplifiying candidate #<alt (λ (x) (/ (cbrt (- (exp x) 1)) (/ x (log (exp (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1))))))))>
1539789752.588 * [enter]simplify:  Simplifying (cbrt (- (exp x) 1))
1539789752.588 * * [misc]simplify:  iters left: 4 (5 enodes)
1539789752.590 * * [misc]simplify:  iters left: 3 (10 enodes)
1539789752.592 * * [misc]simplify:  iters left: 2 (11 enodes)
1539789752.595 * [exit]simplify:  Simplified to (cbrt (- (exp x) 1))
1539789752.595 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (cbrt (- (exp x) 1)) (/ x (log (exp (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1))))))))
1539789752.595 * * * * [misc]progress:  [ 45 / 77 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (- (exp x) 1)) (/ x (log (exp (sqrt (- (exp x) 1)))))))>
1539789752.595 * [enter]simplify:  Simplifying (sqrt (- (exp x) 1))
1539789752.595 * * [misc]simplify:  iters left: 4 (5 enodes)
1539789752.597 * * [misc]simplify:  iters left: 3 (10 enodes)
1539789752.600 * * [misc]simplify:  iters left: 2 (11 enodes)
1539789752.602 * [exit]simplify:  Simplified to (sqrt (- (exp x) 1))
1539789752.602 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (- (exp x) 1)) (/ x (log (exp (sqrt (- (exp x) 1)))))))
1539789752.602 * * * * [misc]progress:  [ 46 / 77 ] simplifiying candidate #<alt (λ (x) (/ (- (exp x) 1) (/ x (log (exp 1)))))>
1539789752.602 * [enter]simplify:  Simplifying (- (exp x) 1)
1539789752.603 * * [misc]simplify:  iters left: 3 (4 enodes)
1539789752.605 * * [misc]simplify:  iters left: 2 (9 enodes)
1539789752.607 * * [misc]simplify:  iters left: 1 (10 enodes)
1539789752.609 * [exit]simplify:  Simplified to (- (exp x) 1)
1539789752.609 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (- (exp x) 1) (/ x (log (exp 1)))))
1539789752.609 * * * * [misc]progress:  [ 47 / 77 ] simplifiying candidate #<alt (λ (x) (/ (- (sqrt (exp x)) 1) (/ x (log (exp (+ (sqrt (exp x)) 1))))))>
1539789752.609 * [enter]simplify:  Simplifying (- (sqrt (exp x)) 1)
1539789752.609 * * [misc]simplify:  iters left: 4 (5 enodes)
1539789752.611 * * [misc]simplify:  iters left: 3 (10 enodes)
1539789752.612 * * [misc]simplify:  iters left: 2 (11 enodes)
1539789752.613 * [exit]simplify:  Simplified to (+ -1 (sqrt (exp x)))
1539789752.613 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (+ -1 (sqrt (exp x))) (/ x (log (exp (+ (sqrt (exp x)) 1))))))
1539789752.613 * * * * [misc]progress:  [ 48 / 77 ] simplifiying candidate #<alt (λ (x) (/ (* (cbrt (log (exp (- (exp x) 1)))) (cbrt (log (exp (- (exp x) 1))))) (/ x (cbrt (log (exp (- (exp x) 1)))))))>
1539789752.614 * [enter]simplify:  Simplifying (* (cbrt (log (exp (- (exp x) 1)))) (cbrt (log (exp (- (exp x) 1)))))
1539789752.614 * * [misc]simplify:  iters left: 6 (8 enodes)
1539789752.616 * * [misc]simplify:  iters left: 5 (16 enodes)
1539789752.618 * * [misc]simplify:  iters left: 4 (23 enodes)
1539789752.621 * * [misc]simplify:  iters left: 3 (26 enodes)
1539789752.624 * * [misc]simplify:  iters left: 2 (33 enodes)
1539789752.627 * * [misc]simplify:  iters left: 1 (37 enodes)
1539789752.631 * [exit]simplify:  Simplified to (* (cbrt (+ -1 (exp x))) (cbrt (+ -1 (exp x))))
1539789752.631 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (* (cbrt (+ -1 (exp x))) (cbrt (+ -1 (exp x)))) (/ x (cbrt (log (exp (- (exp x) 1)))))))
1539789752.631 * * * * [misc]progress:  [ 49 / 77 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (log (exp (- (exp x) 1)))) (/ x (sqrt (log (exp (- (exp x) 1)))))))>
1539789752.631 * [enter]simplify:  Simplifying (sqrt (log (exp (- (exp x) 1))))
1539789752.631 * * [misc]simplify:  iters left: 6 (7 enodes)
1539789752.633 * * [misc]simplify:  iters left: 5 (15 enodes)
1539789752.635 * * [misc]simplify:  iters left: 4 (22 enodes)
1539789752.638 * * [misc]simplify:  iters left: 3 (25 enodes)
1539789752.641 * * [misc]simplify:  iters left: 2 (32 enodes)
1539789752.644 * * [misc]simplify:  iters left: 1 (36 enodes)
1539789752.647 * [exit]simplify:  Simplified to (sqrt (+ -1 (exp x)))
1539789752.647 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (+ -1 (exp x))) (/ x (sqrt (log (exp (- (exp x) 1)))))))
1539789752.647 * * * * [misc]progress:  [ 50 / 77 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ x (log (exp (- (exp x) 1))))))>
1539789752.647 * * * * [misc]progress:  [ 51 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (pow (exp (- (exp x) 1)) 1)) x))>
1539789752.647 * * * * [misc]progress:  [ 52 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (pow (exp (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) (cbrt (- (exp x) 1)))) x))>
1539789752.647 * [enter]simplify:  Simplifying (exp (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1))))
1539789752.648 * * [misc]simplify:  iters left: 6 (7 enodes)
1539789752.649 * * [misc]simplify:  iters left: 5 (14 enodes)
1539789752.651 * * [misc]simplify:  iters left: 4 (15 enodes)
1539789752.652 * [exit]simplify:  Simplified to (exp (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1))))
1539789752.652 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (/ (log (pow (exp (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) (cbrt (- (exp x) 1)))) x))
1539789752.652 * * * * [misc]progress:  [ 53 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (pow (exp (sqrt (- (exp x) 1))) (sqrt (- (exp x) 1)))) x))>
1539789752.652 * [enter]simplify:  Simplifying (exp (sqrt (- (exp x) 1)))
1539789752.653 * * [misc]simplify:  iters left: 5 (6 enodes)
1539789752.654 * * [misc]simplify:  iters left: 4 (11 enodes)
1539789752.655 * * [misc]simplify:  iters left: 3 (12 enodes)
1539789752.657 * [exit]simplify:  Simplified to (exp (sqrt (- (exp x) 1)))
1539789752.657 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (/ (log (pow (exp (sqrt (- (exp x) 1))) (sqrt (- (exp x) 1)))) x))
1539789752.657 * * * * [misc]progress:  [ 54 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (pow (exp 1) (- (exp x) 1))) x))>
1539789752.658 * [enter]simplify:  Simplifying (exp 1)
1539789752.658 * * [misc]simplify:  iters left: 1 (2 enodes)
1539789752.658 * [exit]simplify:  Simplified to E
1539789752.658 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (/ (log (pow E (- (exp x) 1))) x))
1539789752.658 * * * * [misc]progress:  [ 55 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (pow (exp (+ (sqrt (exp x)) 1)) (- (sqrt (exp x)) 1))) x))>
1539789752.659 * [enter]simplify:  Simplifying (exp (+ (sqrt (exp x)) 1))
1539789752.659 * * [misc]simplify:  iters left: 5 (6 enodes)
1539789752.661 * * [misc]simplify:  iters left: 4 (12 enodes)
1539789752.664 * * [misc]simplify:  iters left: 3 (14 enodes)
1539789752.667 * [exit]simplify:  Simplified to (* E (exp (sqrt (exp x))))
1539789752.667 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (/ (log (pow (* E (exp (sqrt (exp x)))) (- (sqrt (exp x)) 1))) x))
1539789752.667 * * * * [misc]progress:  [ 56 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (* (exp (exp x)) (exp (- 1)))) x))>
1539789752.668 * [enter]simplify:  Simplifying (exp (exp x))
1539789752.668 * * [misc]simplify:  iters left: 2 (3 enodes)
1539789752.668 * [exit]simplify:  Simplified to (exp (exp x))
1539789752.668 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (/ (log (* (exp (exp x)) (exp (- 1)))) x))
1539789752.669 * * * * [misc]progress:  [ 57 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (* (exp (exp x)) (exp (- 1)))) x))>
1539789752.669 * [enter]simplify:  Simplifying (exp (exp x))
1539789752.669 * * [misc]simplify:  iters left: 2 (3 enodes)
1539789752.670 * [exit]simplify:  Simplified to (exp (exp x))
1539789752.670 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (/ (log (* (exp (exp x)) (exp (- 1)))) x))
1539789752.670 * * * * [misc]progress:  [ 58 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (/ (exp (exp x)) (exp 1))) x))>
1539789752.670 * [enter]simplify:  Simplifying (exp (exp x))
1539789752.670 * * [misc]simplify:  iters left: 2 (3 enodes)
1539789752.671 * [exit]simplify:  Simplified to (exp (exp x))
1539789752.671 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (/ (log (/ (exp (exp x)) (exp 1))) x))
1539789752.671 * * * * [misc]progress:  [ 59 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (- (exp x) 1))) x))>
1539789752.671 * [enter]simplify:  Simplifying (- (exp x) 1)
1539789752.671 * * [misc]simplify:  iters left: 3 (4 enodes)
1539789752.673 * * [misc]simplify:  iters left: 2 (9 enodes)
1539789752.675 * * [misc]simplify:  iters left: 1 (10 enodes)
1539789752.677 * [exit]simplify:  Simplified to (- (exp x) 1)
1539789752.677 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (/ (log (exp (- (exp x) 1))) x))
1539789752.677 * * * * [misc]progress:  [ 60 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (log (exp (- (exp x) 1))))) x))>
1539789752.677 * * * * [misc]progress:  [ 61 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (log (exp (exp (- (exp x) 1))))) x))>
1539789752.677 * * * * [misc]progress:  [ 62 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (* (* (cbrt (exp (- (exp x) 1))) (cbrt (exp (- (exp x) 1)))) (cbrt (exp (- (exp x) 1))))) x))>
1539789752.677 * * * * [misc]progress:  [ 63 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (cbrt (* (* (exp (- (exp x) 1)) (exp (- (exp x) 1))) (exp (- (exp x) 1))))) x))>
1539789752.677 * * * * [misc]progress:  [ 64 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (* (sqrt (exp (- (exp x) 1))) (sqrt (exp (- (exp x) 1))))) x))>
1539789752.677 * * * * [misc]progress:  [ 65 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (* 1 (exp (- (exp x) 1)))) x))>
1539789752.677 * * * * [misc]progress:  [ 66 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))) x))>
1539789752.678 * [enter]simplify:  Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
1539789752.678 * * [misc]simplify:  iters left: 6 (11 enodes)
1539789752.682 * * [misc]simplify:  iters left: 5 (20 enodes)
1539789752.689 * * [misc]simplify:  iters left: 4 (41 enodes)
1539789752.704 * * [misc]simplify:  iters left: 3 (70 enodes)
1539789752.724 * * [misc]simplify:  iters left: 2 (112 enodes)
1539789752.769 * * [misc]simplify:  iters left: 1 (181 enodes)
1539789752.804 * [exit]simplify:  Simplified to (+ x (* (+ (* x 1/6) 1/2) (* x x)))
1539789752.804 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (/ (log (exp (+ x (* (+ (* x 1/6) 1/2) (* x x))))) x))
1539789752.804 * * * * [misc]progress:  [ 67 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (- (exp x) 1))) x))>
1539789752.804 * [enter]simplify:  Simplifying (- (exp x) 1)
1539789752.804 * * [misc]simplify:  iters left: 3 (4 enodes)
1539789752.805 * * [misc]simplify:  iters left: 2 (9 enodes)
1539789752.806 * * [misc]simplify:  iters left: 1 (10 enodes)
1539789752.807 * [exit]simplify:  Simplified to (- (exp x) 1)
1539789752.807 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (/ (log (exp (- (exp x) 1))) x))
1539789752.807 * * * * [misc]progress:  [ 68 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (- (exp x) 1))) x))>
1539789752.807 * [enter]simplify:  Simplifying (- (exp x) 1)
1539789752.807 * * [misc]simplify:  iters left: 3 (4 enodes)
1539789752.808 * * [misc]simplify:  iters left: 2 (9 enodes)
1539789752.809 * * [misc]simplify:  iters left: 1 (10 enodes)
1539789752.810 * [exit]simplify:  Simplified to (- (exp x) 1)
1539789752.810 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (/ (log (exp (- (exp x) 1))) x))
1539789752.810 * * * * [misc]progress:  [ 69 / 77 ] simplifiying candidate #<alt (λ (x) (/ (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) x))>
1539789752.811 * [enter]simplify:  Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
1539789752.811 * * [misc]simplify:  iters left: 6 (11 enodes)
1539789752.812 * * [misc]simplify:  iters left: 5 (20 enodes)
1539789752.817 * * [misc]simplify:  iters left: 4 (41 enodes)
1539789752.830 * * [misc]simplify:  iters left: 3 (70 enodes)
1539789752.850 * * [misc]simplify:  iters left: 2 (112 enodes)
1539789752.895 * * [misc]simplify:  iters left: 1 (181 enodes)
1539789752.950 * [exit]simplify:  Simplified to (+ x (* (+ (* x 1/6) 1/2) (* x x)))
1539789752.950 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (+ x (* (+ (* x 1/6) 1/2) (* x x))) x))
1539789752.951 * * * * [misc]progress:  [ 70 / 77 ] simplifiying candidate #<alt (λ (x) (/ (- (exp x) 1) x))>
1539789752.951 * [enter]simplify:  Simplifying (- (exp x) 1)
1539789752.951 * * [misc]simplify:  iters left: 3 (4 enodes)
1539789752.952 * * [misc]simplify:  iters left: 2 (9 enodes)
1539789752.953 * * [misc]simplify:  iters left: 1 (10 enodes)
1539789752.954 * [exit]simplify:  Simplified to (- (exp x) 1)
1539789752.954 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (- (exp x) 1) x))
1539789752.954 * * * * [misc]progress:  [ 71 / 77 ] simplifiying candidate #<alt (λ (x) (/ (- (exp x) 1) x))>
1539789752.954 * [enter]simplify:  Simplifying (- (exp x) 1)
1539789752.954 * * [misc]simplify:  iters left: 3 (4 enodes)
1539789752.955 * * [misc]simplify:  iters left: 2 (9 enodes)
1539789752.956 * * [misc]simplify:  iters left: 1 (10 enodes)
1539789752.957 * [exit]simplify:  Simplified to (- (exp x) 1)
1539789752.957 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (- (exp x) 1) x))
1539789752.957 * * * * [misc]progress:  [ 72 / 77 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))>
1539789752.957 * [enter]simplify:  Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
1539789752.957 * * [misc]simplify:  iters left: 6 (10 enodes)
1539789752.959 * * [misc]simplify:  iters left: 5 (19 enodes)
1539789752.961 * * [misc]simplify:  iters left: 4 (29 enodes)
1539789752.965 * * [misc]simplify:  iters left: 3 (40 enodes)
1539789752.970 * * [misc]simplify:  iters left: 2 (52 enodes)
1539789752.977 * [exit]simplify:  Simplified to (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x)))
1539789752.977 * [misc]simplify:  Simplified (2) to (λ (x) (+ (+ 1 (* 1/2 x)) (* 1/6 (* x x))))
1539789752.977 * * * * [misc]progress:  [ 73 / 77 ] simplifiying candidate #<alt (λ (x) (/ (- (exp x) 1) x))>
1539789752.977 * [enter]simplify:  Simplifying (/ (- (exp x) 1) x)
1539789752.977 * * [misc]simplify:  iters left: 5 (5 enodes)
1539789752.979 * * [misc]simplify:  iters left: 4 (13 enodes)
1539789752.981 * * [misc]simplify:  iters left: 3 (16 enodes)
1539789752.985 * * [misc]simplify:  iters left: 2 (18 enodes)
1539789752.989 * [exit]simplify:  Simplified to (/ (+ -1 (exp x)) x)
1539789752.989 * [misc]simplify:  Simplified (2) to (λ (x) (/ (+ -1 (exp x)) x))
1539789752.989 * * * * [misc]progress:  [ 74 / 77 ] simplifiying candidate #<alt (λ (x) (* -1 (/ (- 1 (exp x)) x)))>
1539789752.989 * [enter]simplify:  Simplifying (* -1 (/ (- 1 (exp x)) x))
1539789752.989 * * [misc]simplify:  iters left: 6 (7 enodes)
1539789752.992 * * [misc]simplify:  iters left: 5 (18 enodes)
1539789752.999 * * [misc]simplify:  iters left: 4 (32 enodes)
1539789753.005 * * [misc]simplify:  iters left: 3 (55 enodes)
1539789753.012 * * [misc]simplify:  iters left: 2 (85 enodes)
1539789753.027 * * [misc]simplify:  iters left: 1 (131 enodes)
1539789753.071 * [exit]simplify:  Simplified to (/ (+ (exp x) -1) x)
1539789753.071 * [misc]simplify:  Simplified (2) to (λ (x) (/ (+ (exp x) -1) x))
1539789753.071 * * * * [misc]progress:  [ 75 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (+ x (+ (pow x 2) 1))) x))>
1539789753.071 * [enter]simplify:  Simplifying (+ x (+ (pow x 2) 1))
1539789753.071 * * [misc]simplify:  iters left: 5 (6 enodes)
1539789753.073 * * [misc]simplify:  iters left: 4 (13 enodes)
1539789753.077 * * [misc]simplify:  iters left: 3 (20 enodes)
1539789753.082 * * [misc]simplify:  iters left: 2 (22 enodes)
1539789753.085 * * [misc]simplify:  iters left: 1 (28 enodes)
1539789753.089 * [exit]simplify:  Simplified to (+ (+ 1 x) (* x x))
1539789753.089 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (log (+ (+ 1 x) (* x x))) x))
1539789753.089 * * * * [misc]progress:  [ 76 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (- (exp x) 1))) x))>
1539789753.089 * [enter]simplify:  Simplifying (exp (- (exp x) 1))
1539789753.089 * * [misc]simplify:  iters left: 4 (5 enodes)
1539789753.090 * * [misc]simplify:  iters left: 3 (13 enodes)
1539789753.092 * * [misc]simplify:  iters left: 2 (17 enodes)
1539789753.094 * * [misc]simplify:  iters left: 1 (18 enodes)
1539789753.097 * [exit]simplify:  Simplified to (/ (exp (exp x)) E)
1539789753.097 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (log (/ (exp (exp x)) E)) x))
1539789753.097 * * * * [misc]progress:  [ 77 / 77 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (- (exp x) 1))) x))>
1539789753.097 * [enter]simplify:  Simplifying (exp (- (exp x) 1))
1539789753.097 * * [misc]simplify:  iters left: 4 (5 enodes)
1539789753.098 * * [misc]simplify:  iters left: 3 (13 enodes)
1539789753.101 * * [misc]simplify:  iters left: 2 (17 enodes)
1539789753.103 * * [misc]simplify:  iters left: 1 (18 enodes)
1539789753.105 * [exit]simplify:  Simplified to (/ (exp (exp x)) E)
1539789753.105 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (log (/ (exp (exp x)) E)) x))
1539789753.106 * * * [misc]progress:  adding candidates to table
1539789753.683 * [misc]progress:  [Phase 3 of 3] Extracting.
1539789753.683 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (/ (log (exp (/ (- (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))))) x))> #<alt (λ (x) (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))> #<alt (λ (x) (- (/ (exp x) x) (/ 1 x)))> #<alt (λ (x) (/ (* (* (cbrt (log (exp (- (exp x) 1)))) (cbrt (log (exp (- (exp x) 1))))) (cbrt (log (exp (- (exp x) 1))))) x))>)
1539789753.683 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1539789753.683 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (/ (log (exp (/ (- (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))))) x))> #<alt (λ (x) (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))> #<alt (λ (x) (- (/ (exp x) x) (/ 1 x)))> #<alt (λ (x) (/ (* (* (cbrt (log (exp (- (exp x) 1)))) (cbrt (log (exp (- (exp x) 1))))) (cbrt (log (exp (- (exp x) 1))))) x))>)
1539789753.727 * * * [misc]regime:  Found split indices: #<option (#s(si 0 80) #s(si 1 256))>
1539789753.728 * [misc]binary-search:  Improving bounds with binary search for x and (#<alt (λ (x) (/ (log (exp (/ (- (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))))) x))> #<alt (λ (x) (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))> #<alt (λ (x) (- (/ (exp x) x) (/ 1 x)))> #<alt (λ (x) (/ (* (* (cbrt (log (exp (- (exp x) 1)))) (cbrt (log (exp (- (exp x) 1))))) (cbrt (log (exp (- (exp x) 1))))) x))>)
1539789753.728 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1539789753.728 * * * * [misc]points:  Computing exacts for 16 points
1539789753.731 * * * * [misc]points:  Setting MPFR precision to 1088
1539789753.733 * * * * [misc]points:  Setting MPFR precision to 1344
1539789753.734 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539789753.734 * * * * [exit]points:  Sampled 16 points with exact outputs
1539789753.739 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1539789753.739 * * * * [misc]points:  Computing exacts for 16 points
1539789753.743 * * * * [misc]points:  Setting MPFR precision to 1088
1539789753.744 * * * * [misc]points:  Setting MPFR precision to 1344
1539789753.745 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539789753.745 * * * * [exit]points:  Sampled 16 points with exact outputs
1539789753.749 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1539789753.749 * * * * [misc]points:  Computing exacts for 16 points
1539789753.753 * * * * [misc]points:  Setting MPFR precision to 1088
1539789753.754 * * * * [misc]points:  Setting MPFR precision to 1344
1539789753.755 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539789753.755 * * * * [exit]points:  Sampled 16 points with exact outputs
1539789753.760 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1539789753.760 * * * * [misc]points:  Computing exacts for 16 points
1539789753.763 * * * * [misc]points:  Setting MPFR precision to 1088
1539789753.764 * * * * [misc]points:  Setting MPFR precision to 1344
1539789753.766 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539789753.766 * * * * [exit]points:  Sampled 16 points with exact outputs
1539789753.770 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1539789753.770 * * * * [misc]points:  Computing exacts for 16 points
1539789753.774 * * * * [misc]points:  Setting MPFR precision to 1088
1539789753.776 * * * * [misc]points:  Setting MPFR precision to 1344
1539789753.777 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539789753.777 * * * * [exit]points:  Sampled 16 points with exact outputs
1539789753.781 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1539789753.781 * * * * [misc]points:  Computing exacts for 16 points
1539789753.785 * * * * [misc]points:  Setting MPFR precision to 1088
1539789753.786 * * * * [misc]points:  Setting MPFR precision to 1344
1539789753.788 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539789753.788 * * * * [exit]points:  Sampled 16 points with exact outputs
1539789753.792 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1539789753.792 * * * * [misc]points:  Computing exacts for 16 points
1539789753.796 * * * * [misc]points:  Setting MPFR precision to 1088
1539789753.797 * * * * [misc]points:  Setting MPFR precision to 1344
1539789753.798 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539789753.798 * * * * [exit]points:  Sampled 16 points with exact outputs
1539789753.803 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1539789753.803 * * * * [misc]points:  Computing exacts for 16 points
1539789753.806 * * * * [misc]points:  Setting MPFR precision to 1088
1539789753.807 * * * * [misc]points:  Setting MPFR precision to 1344
1539789753.809 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539789753.809 * * * * [exit]points:  Sampled 16 points with exact outputs
1539789753.818 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1539789753.819 * * * * [misc]points:  Computing exacts for 16 points
1539789753.822 * * * * [misc]points:  Setting MPFR precision to 1088
1539789753.824 * * * * [misc]points:  Setting MPFR precision to 1344
1539789753.825 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539789753.825 * * * * [exit]points:  Sampled 16 points with exact outputs
1539789753.830 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1539789753.830 * * * * [misc]points:  Computing exacts for 16 points
1539789753.835 * * * * [misc]points:  Setting MPFR precision to 1088
1539789753.836 * * * * [misc]points:  Setting MPFR precision to 1344
1539789753.837 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539789753.837 * * * * [exit]points:  Sampled 16 points with exact outputs
1539789753.842 * [misc]regimes:  Found splitpoints: (#s(sp 0 x -0.00017053935770967545) #s(sp 1 x +nan.0)) , with alts (#<alt (λ (x) (/ (log (exp (/ (- (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))))) x))> #<alt (λ (x) (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))> #<alt (λ (x) (- (/ (exp x) x) (/ 1 x)))> #<alt (λ (x) (/ (* (* (cbrt (log (exp (- (exp x) 1)))) (cbrt (log (exp (- (exp x) 1))))) (cbrt (log (exp (- (exp x) 1))))) x))>)
1539789753.842 * [enter]simplify:  Simplifying (if (<= x -0.00017053935770967545) (/ (log (exp (/ (- (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))))) x) (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))
1539789753.843 * * [misc]simplify:  iters left: 6 (27 enodes)
1539789753.846 * * [misc]simplify:  iters left: 5 (37 enodes)
1539789753.849 * [exit]simplify:  Simplified to (if (<= x -0.00017053935770967545) (/ (log (exp (/ (- (pow (exp x) 3) 1) (+ (+ (exp x) 1) (* (exp x) (exp x)))))) x) (+ (* x 1/2) (+ (* (pow x 2) 1/6) 1)))
1539789753.849 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1539789753.886 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1539789753.889 * * * * [misc]points:  Setting MPFR precision to 1088
1539789753.890 * * * * [misc]points:  Setting MPFR precision to 1344
1539789753.891 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1539789753.894 * * * * [misc]points:  Setting MPFR precision to 1088
1539789753.896 * * * * [misc]points:  Setting MPFR precision to 1344
1539789753.897 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1539789753.900 * * * * [misc]points:  Setting MPFR precision to 1088
1539789753.904 * * * * [misc]points:  Setting MPFR precision to 1344
1539789753.909 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1539789753.912 * * * * [misc]points:  Setting MPFR precision to 1088
1539789753.920 * * * * [misc]points:  Setting MPFR precision to 1344
1539789753.930 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1539789753.933 * * * * [misc]points:  Setting MPFR precision to 1088
1539789753.959 * * * * [misc]points:  Setting MPFR precision to 1344
1539789753.975 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1539789753.978 * * * * [misc]points:  Setting MPFR precision to 1088
1539789754.006 * * * * [misc]points:  Setting MPFR precision to 1344
1539789754.024 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1539789754.026 * * * * [misc]points:  Setting MPFR precision to 1088
1539789754.065 * * * * [misc]points:  Setting MPFR precision to 1344
1539789754.107 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1539789754.110 * * * * [misc]points:  Setting MPFR precision to 1088
1539789754.218 * * * * [misc]points:  Setting MPFR precision to 1344
1539789754.341 * * * * [misc]points:  Computing exacts for 8000 points
1539789754.343 * * * * [misc]points:  Setting MPFR precision to 1088
1539789754.803 * * * * [misc]points:  Setting MPFR precision to 1344
1539789755.238 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539789755.240 * * * * [misc]points:  Sampling 1962 additional inputs, on iter 1 have 6038 / 8000
1539789755.245 * * * * [misc]points:  Computing exacts on every 122 of 1962 points to ramp up precision
1539789755.266 * * * * [misc]points:  Setting MPFR precision to 1088
1539789755.267 * * * * [misc]points:  Setting MPFR precision to 1344
1539789755.268 * * * * [misc]points:  Computing exacts on every 61 of 1962 points to ramp up precision
1539789755.269 * * * * [misc]points:  Setting MPFR precision to 1088
1539789755.271 * * * * [misc]points:  Setting MPFR precision to 1344
1539789755.272 * * * * [misc]points:  Computing exacts on every 30 of 1962 points to ramp up precision
1539789755.273 * * * * [misc]points:  Setting MPFR precision to 1088
1539789755.277 * * * * [misc]points:  Setting MPFR precision to 1344
1539789755.279 * * * * [misc]points:  Computing exacts on every 15 of 1962 points to ramp up precision
1539789755.282 * * * * [misc]points:  Setting MPFR precision to 1088
1539789755.290 * * * * [misc]points:  Setting MPFR precision to 1344
1539789755.298 * * * * [misc]points:  Computing exacts on every 7 of 1962 points to ramp up precision
1539789755.301 * * * * [misc]points:  Setting MPFR precision to 1088
1539789755.317 * * * * [misc]points:  Setting MPFR precision to 1344
1539789755.332 * * * * [misc]points:  Computing exacts on every 3 of 1962 points to ramp up precision
1539789755.335 * * * * [misc]points:  Setting MPFR precision to 1088
1539789755.366 * * * * [misc]points:  Setting MPFR precision to 1344
1539789755.399 * * * * [misc]points:  Computing exacts for 1962 points
1539789755.402 * * * * [misc]points:  Setting MPFR precision to 1088
1539789755.495 * * * * [misc]points:  Setting MPFR precision to 1344
1539789755.606 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539789755.607 * * * * [misc]points:  Sampling 480 additional inputs, on iter 2 have 7520 / 8000
1539789755.609 * * * * [misc]points:  Computing exacts on every 30 of 480 points to ramp up precision
1539789755.612 * * * * [misc]points:  Setting MPFR precision to 1088
1539789755.613 * * * * [misc]points:  Setting MPFR precision to 1344
1539789755.614 * * * * [misc]points:  Computing exacts on every 15 of 480 points to ramp up precision
1539789755.617 * * * * [misc]points:  Setting MPFR precision to 1088
1539789755.619 * * * * [misc]points:  Setting MPFR precision to 1344
1539789755.620 * * * * [misc]points:  Computing exacts on every 7 of 480 points to ramp up precision
1539789755.623 * * * * [misc]points:  Setting MPFR precision to 1088
1539789755.627 * * * * [misc]points:  Setting MPFR precision to 1344
1539789755.631 * * * * [misc]points:  Computing exacts on every 3 of 480 points to ramp up precision
1539789755.634 * * * * [misc]points:  Setting MPFR precision to 1088
1539789755.643 * * * * [misc]points:  Setting MPFR precision to 1344
1539789755.651 * * * * [misc]points:  Computing exacts for 480 points
1539789755.654 * * * * [misc]points:  Setting MPFR precision to 1088
1539789755.683 * * * * [misc]points:  Setting MPFR precision to 1344
1539789755.699 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539789755.699 * * * * [misc]points:  Sampling 130 additional inputs, on iter 3 have 7870 / 8000
1539789755.700 * * * * [misc]points:  Computing exacts on every 8 of 130 points to ramp up precision
1539789755.701 * * * * [misc]points:  Setting MPFR precision to 1088
1539789755.702 * * * * [misc]points:  Setting MPFR precision to 1344
1539789755.703 * * * * [misc]points:  Computing exacts on every 4 of 130 points to ramp up precision
1539789755.704 * * * * [misc]points:  Setting MPFR precision to 1088
1539789755.705 * * * * [misc]points:  Setting MPFR precision to 1344
1539789755.706 * * * * [misc]points:  Computing exacts on every 2 of 130 points to ramp up precision
1539789755.727 * * * * [misc]points:  Setting MPFR precision to 1088
1539789755.729 * * * * [misc]points:  Setting MPFR precision to 1344
1539789755.730 * * * * [misc]points:  Computing exacts for 130 points
1539789755.732 * * * * [misc]points:  Setting MPFR precision to 1088
1539789755.737 * * * * [misc]points:  Setting MPFR precision to 1344
1539789755.744 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539789755.744 * * * * [misc]points:  Sampling 26 additional inputs, on iter 4 have 7974 / 8000
1539789755.745 * * * * [misc]points:  Computing exacts for 26 points
1539789755.747 * * * * [misc]points:  Setting MPFR precision to 1088
1539789755.749 * * * * [misc]points:  Setting MPFR precision to 1344
1539789755.751 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539789755.751 * * * * [misc]points:  Sampling 4 additional inputs, on iter 5 have 7997 / 8000
1539789755.751 * * * * [misc]points:  Computing exacts for 4 points
1539789755.754 * * * * [misc]points:  Setting MPFR precision to 1088
1539789755.754 * * * * [misc]points:  Setting MPFR precision to 1344
1539789755.754 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539789755.754 * * * * [exit]points:  Sampled 8000 points with exact outputs
1539789756.559 * [misc]regime-testing:  Baseline error score: 20.480287427311758
1539789756.559 * [misc]regime-testing:  End program error score: 0.26030248183150284
1539789756.561 * [misc]regime-testing:  Oracle error score: 0.04155601295168301
1539789756.665 * [misc]regime-testing:  Target error score: 39.49194844329032