1540201425.698 * [misc]progress:  [Phase 1 of 3] Setting up.
1540201425.699 * * * [misc]progress:  [1/2] Preparing points
1540201425.699 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1540201425.700 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1540201425.701 * * * * [misc]points:  Setting MPFR precision to 64
1540201425.702 * * * * [misc]points:  Setting MPFR precision to 320
1540201425.702 * * * * [misc]points:  Setting MPFR precision to 576
1540201425.703 * * * * [misc]points:  Setting MPFR precision to 832
1540201425.704 * * * * [misc]points:  Setting MPFR precision to 1088
1540201425.705 * * * * [misc]points:  Setting MPFR precision to 1344
1540201425.707 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1540201425.710 * * * * [misc]points:  Setting MPFR precision to 1088
1540201425.712 * * * * [misc]points:  Setting MPFR precision to 1344
1540201425.714 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1540201425.717 * * * * [misc]points:  Setting MPFR precision to 1088
1540201425.720 * * * * [misc]points:  Setting MPFR precision to 1344
1540201425.723 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1540201425.726 * * * * [misc]points:  Setting MPFR precision to 1088
1540201425.732 * * * * [misc]points:  Setting MPFR precision to 1344
1540201425.737 * * * * [misc]points:  Computing exacts for 256 points
1540201425.740 * * * * [misc]points:  Setting MPFR precision to 1088
1540201425.755 * * * * [misc]points:  Setting MPFR precision to 1344
1540201425.770 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540201425.771 * * * * [misc]points:  Sampling 69 additional inputs, on iter 1 have 187 / 256
1540201425.771 * * * * [misc]points:  Computing exacts on every 4 of 69 points to ramp up precision
1540201425.774 * * * * [misc]points:  Setting MPFR precision to 1088
1540201425.775 * * * * [misc]points:  Setting MPFR precision to 1344
1540201425.775 * * * * [misc]points:  Computing exacts on every 2 of 69 points to ramp up precision
1540201425.778 * * * * [misc]points:  Setting MPFR precision to 1088
1540201425.779 * * * * [misc]points:  Setting MPFR precision to 1344
1540201425.781 * * * * [misc]points:  Computing exacts for 69 points
1540201425.784 * * * * [misc]points:  Setting MPFR precision to 1088
1540201425.788 * * * * [misc]points:  Setting MPFR precision to 1344
1540201425.792 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540201425.792 * * * * [misc]points:  Sampling 17 additional inputs, on iter 2 have 239 / 256
1540201425.792 * * * * [misc]points:  Computing exacts for 17 points
1540201425.795 * * * * [misc]points:  Setting MPFR precision to 1088
1540201425.797 * * * * [misc]points:  Setting MPFR precision to 1344
1540201425.798 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540201425.798 * * * * [misc]points:  Sampling 6 additional inputs, on iter 3 have 250 / 256
1540201425.798 * * * * [misc]points:  Computing exacts for 6 points
1540201425.801 * * * * [misc]points:  Setting MPFR precision to 1088
1540201425.801 * * * * [misc]points:  Setting MPFR precision to 1344
1540201425.801 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540201425.801 * * * * [misc]points:  Sampling 4 additional inputs, on iter 4 have 255 / 256
1540201425.801 * * * * [misc]points:  Computing exacts for 4 points
1540201425.804 * * * * [misc]points:  Setting MPFR precision to 1088
1540201425.805 * * * * [misc]points:  Setting MPFR precision to 1344
1540201425.805 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540201425.805 * * * * [exit]points:  Sampled 258 points with exact outputs
1540201425.805 * * * [misc]progress:  [2/2] Setting up program.
1540201425.808 * [misc]progress:  [Phase 2 of 3] Improving.
1540201425.809 * [enter]simplify:  Simplifying (/ (- (exp x) 1) x)
1540201425.809 * * [misc]simplify:  iters left: 5 (5 enodes)
1540201425.811 * * [misc]simplify:  iters left: 4 (14 enodes)
1540201425.815 * * [misc]simplify:  iters left: 3 (16 enodes)
1540201425.818 * * [misc]simplify:  iters left: 2 (18 enodes)
1540201425.822 * [exit]simplify:  Simplified to (/ (expm1 x) x)
1540201425.832 * * [misc]progress:  iteration 1 / 4
1540201425.832 * * * [misc]progress:  picking best candidate
1540201425.835 * * * * [misc]pick:  Picked  #<alt (λ (x) (/ (expm1 x) x))>
1540201425.835 * * * [misc]progress:  localizing error
1540201425.884 * * * [misc]progress:  generating rewritten candidates
1540201425.884 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1540201425.889 * * * [misc]progress:  generating series expansions
1540201425.890 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1540201425.890 * [misc]backup-simplify:  Simplify (/ (expm1 x) x) into (/ (expm1 x) x)
1540201425.890 * [misc]approximate:  Taking taylor expansion of (/ (expm1 x) x) in (x) around 0
1540201425.890 * [misc]taylor:  Taking taylor expansion of (/ (expm1 x) x) in x
1540201425.890 * [misc]taylor:  Taking taylor expansion of (expm1 x) in x
1540201425.903 * [misc]taylor:  Rewrote expression to (- (exp x) 1)
1540201425.905 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1540201425.905 * [misc]taylor:  Taking taylor expansion of x in x
1540201425.905 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.905 * [misc]backup-simplify:  Simplify 1 into 1
1540201425.906 * [misc]backup-simplify:  Simplify (exp 0) into 1
1540201425.906 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201425.906 * [misc]backup-simplify:  Simplify 1 into 1
1540201425.906 * [misc]taylor:  Taking taylor expansion of x in x
1540201425.906 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.906 * [misc]backup-simplify:  Simplify 1 into 1
1540201425.906 * [misc]backup-simplify:  Simplify (- 1) into -1
1540201425.906 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1540201425.908 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1540201425.908 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201425.908 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540201425.908 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540201425.908 * [misc]taylor:  Taking taylor expansion of (/ (expm1 x) x) in x
1540201425.908 * [misc]taylor:  Taking taylor expansion of (expm1 x) in x
1540201425.908 * [misc]taylor:  Rewrote expression to (- (exp x) 1)
1540201425.908 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1540201425.908 * [misc]taylor:  Taking taylor expansion of x in x
1540201425.909 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.909 * [misc]backup-simplify:  Simplify 1 into 1
1540201425.909 * [misc]backup-simplify:  Simplify (exp 0) into 1
1540201425.909 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201425.909 * [misc]backup-simplify:  Simplify 1 into 1
1540201425.909 * [misc]taylor:  Taking taylor expansion of x in x
1540201425.909 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.909 * [misc]backup-simplify:  Simplify 1 into 1
1540201425.909 * [misc]backup-simplify:  Simplify (- 1) into -1
1540201425.909 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1540201425.910 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1540201425.911 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201425.911 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540201425.911 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540201425.911 * [misc]backup-simplify:  Simplify 1 into 1
1540201425.913 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1540201425.914 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201425.914 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1540201425.914 * [misc]backup-simplify:  Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)))) into 1/2
1540201425.914 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1540201425.918 * [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
1540201425.918 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201425.918 * [misc]backup-simplify:  Simplify (+ 1/6 0) into 1/6
1540201425.918 * [misc]backup-simplify:  Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 1/2 (/ 0 1)))) into 1/6
1540201425.918 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1540201425.919 * [misc]backup-simplify:  Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
1540201425.919 * [misc]backup-simplify:  Simplify (/ (expm1 (/ 1 x)) (/ 1 x)) into (* (expm1 (/ 1 x)) x)
1540201425.919 * [misc]approximate:  Taking taylor expansion of (* (expm1 (/ 1 x)) x) in (x) around 0
1540201425.919 * [misc]taylor:  Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x
1540201425.919 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 x)) in x
1540201425.919 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 x)) 1)
1540201425.919 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1540201425.919 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540201425.919 * [misc]taylor:  Taking taylor expansion of x in x
1540201425.919 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.919 * [misc]backup-simplify:  Simplify 1 into 1
1540201425.919 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540201425.919 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1540201425.920 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201425.920 * [misc]backup-simplify:  Simplify 1 into 1
1540201425.920 * [misc]taylor:  Taking taylor expansion of x in x
1540201425.920 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.920 * [misc]backup-simplify:  Simplify 1 into 1
1540201425.920 * [misc]taylor:  Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x
1540201425.920 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 x)) in x
1540201425.920 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 x)) 1)
1540201425.920 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1540201425.920 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540201425.920 * [misc]taylor:  Taking taylor expansion of x in x
1540201425.920 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.920 * [misc]backup-simplify:  Simplify 1 into 1
1540201425.920 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540201425.920 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1540201425.920 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201425.920 * [misc]backup-simplify:  Simplify 1 into 1
1540201425.920 * [misc]taylor:  Taking taylor expansion of x in x
1540201425.920 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.920 * [misc]backup-simplify:  Simplify 1 into 1
1540201425.920 * [misc]backup-simplify:  Simplify (- 1) into -1
1540201425.921 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
1540201425.921 * [misc]backup-simplify:  Simplify (* (- (exp (/ 1 x)) 1) 0) into 0
1540201425.921 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.921 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201425.921 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201425.921 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 1) (* 0 0)) into (- (exp (/ 1 x)) 1)
1540201425.921 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1)
1540201425.922 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201425.922 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201425.922 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 1) (* 0 0))) into 0
1540201425.922 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.922 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201425.922 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201425.923 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540201425.923 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.923 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201425.923 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201425.924 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1540201425.924 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.924 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201425.924 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201425.925 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1540201425.925 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.925 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201425.925 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201425.926 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1540201425.926 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.926 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201425.926 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201425.927 * [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
1540201425.927 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.927 * [misc]backup-simplify:  Simplify (* (- (exp (/ 1 (/ 1 x))) 1) (/ 1 x)) into (/ (- (exp x) 1) x)
1540201425.927 * [misc]backup-simplify:  Simplify (/ (expm1 (/ 1 (- x))) (/ 1 (- x))) into (* -1 (* x (expm1 (/ -1 x))))
1540201425.927 * [misc]approximate:  Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in (x) around 0
1540201425.927 * [misc]taylor:  Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x
1540201425.927 * [misc]taylor:  Taking taylor expansion of -1 in x
1540201425.927 * [misc]backup-simplify:  Simplify -1 into -1
1540201425.927 * [misc]taylor:  Taking taylor expansion of (* x (expm1 (/ -1 x))) in x
1540201425.927 * [misc]taylor:  Taking taylor expansion of x in x
1540201425.927 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.927 * [misc]backup-simplify:  Simplify 1 into 1
1540201425.927 * [misc]taylor:  Taking taylor expansion of (expm1 (/ -1 x)) in x
1540201425.927 * [misc]taylor:  Rewrote expression to (- (exp (/ -1 x)) 1)
1540201425.927 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1540201425.927 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540201425.928 * [misc]taylor:  Taking taylor expansion of -1 in x
1540201425.928 * [misc]backup-simplify:  Simplify -1 into -1
1540201425.928 * [misc]taylor:  Taking taylor expansion of x in x
1540201425.928 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.928 * [misc]backup-simplify:  Simplify 1 into 1
1540201425.928 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540201425.928 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1540201425.928 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201425.928 * [misc]backup-simplify:  Simplify 1 into 1
1540201425.928 * [misc]taylor:  Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x
1540201425.928 * [misc]taylor:  Taking taylor expansion of -1 in x
1540201425.928 * [misc]backup-simplify:  Simplify -1 into -1
1540201425.928 * [misc]taylor:  Taking taylor expansion of (* x (expm1 (/ -1 x))) in x
1540201425.928 * [misc]taylor:  Taking taylor expansion of x in x
1540201425.928 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.928 * [misc]backup-simplify:  Simplify 1 into 1
1540201425.928 * [misc]taylor:  Taking taylor expansion of (expm1 (/ -1 x)) in x
1540201425.928 * [misc]taylor:  Rewrote expression to (- (exp (/ -1 x)) 1)
1540201425.928 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1540201425.928 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540201425.928 * [misc]taylor:  Taking taylor expansion of -1 in x
1540201425.928 * [misc]backup-simplify:  Simplify -1 into -1
1540201425.928 * [misc]taylor:  Taking taylor expansion of x in x
1540201425.928 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.928 * [misc]backup-simplify:  Simplify 1 into 1
1540201425.929 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540201425.929 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1540201425.929 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201425.929 * [misc]backup-simplify:  Simplify 1 into 1
1540201425.929 * [misc]backup-simplify:  Simplify (- 1) into -1
1540201425.929 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
1540201425.929 * [misc]backup-simplify:  Simplify (* 0 (- (exp (/ -1 x)) 1)) into 0
1540201425.929 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1540201425.929 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.929 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201425.930 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201425.930 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (exp (/ -1 x)) 1))) into (- (exp (/ -1 x)) 1)
1540201425.930 * [misc]backup-simplify:  Simplify (+ (* -1 (- (exp (/ -1 x)) 1)) (* 0 0)) into (- 1 (exp (/ -1 x)))
1540201425.930 * [misc]backup-simplify:  Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x)))
1540201425.930 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201425.931 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201425.931 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ -1 x)) 1)))) into 0
1540201425.931 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))) into 0
1540201425.931 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.932 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201425.932 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201425.932 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))) into 0
1540201425.933 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))) into 0
1540201425.933 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.933 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201425.933 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201425.934 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))) into 0
1540201425.934 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))) into 0
1540201425.934 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.934 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201425.935 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201425.935 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))))) into 0
1540201425.936 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))) into 0
1540201425.936 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.936 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201425.937 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201425.937 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))))) into 0
1540201425.938 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))))) into 0
1540201425.938 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.939 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201425.939 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201425.940 * [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
1540201425.941 * [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
1540201425.941 * [misc]backup-simplify:  Simplify 0 into 0
1540201425.941 * [misc]backup-simplify:  Simplify (* (- 1 (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (/ (- 1 (exp x)) x))
1540201425.941 * * * [misc]progress:  simplifying candidates
1540201425.941 * * * * [misc]progress:  [ 1 / 19 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (/ (expm1 x) x))))>
1540201425.941 * * * * [misc]progress:  [ 2 / 19 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (/ (expm1 x) x))))>
1540201425.941 * * * * [misc]progress:  [ 3 / 19 ] simplifiying candidate #<alt (λ (x) (pow (/ (expm1 x) x) 1))>
1540201425.941 * * * * [misc]progress:  [ 4 / 19 ] simplifiying candidate #<alt (λ (x) (exp (log (/ (expm1 x) x))))>
1540201425.941 * * * * [misc]progress:  [ 5 / 19 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (expm1 x) x))))>
1540201425.941 * * * * [misc]progress:  [ 6 / 19 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (/ (expm1 x) x)) (cbrt (/ (expm1 x) x))) (cbrt (/ (expm1 x) x))))>
1540201425.941 * * * * [misc]progress:  [ 7 / 19 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (/ (expm1 x) x) (/ (expm1 x) x)) (/ (expm1 x) x))))>
1540201425.941 * * * * [misc]progress:  [ 8 / 19 ] simplifiying candidate #<alt (λ (x) (* (sqrt (/ (expm1 x) x)) (sqrt (/ (expm1 x) x))))>
1540201425.942 * * * * [misc]progress:  [ 9 / 19 ] simplifiying candidate #<alt (λ (x) (/ (- (expm1 x)) (- x)))>
1540201425.942 * * * * [misc]progress:  [ 10 / 19 ] simplifiying candidate #<alt (λ (x) (- (/ (exp x) x) (/ 1 x)))>
1540201425.942 * [enter]simplify:  Simplifying (/ (exp x) x)
1540201425.942 * * [misc]simplify:  iters left: 3 (3 enodes)
1540201425.943 * [exit]simplify:  Simplified to (/ (exp x) x)
1540201425.943 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (/ (exp x) x) (/ 1 x)))
1540201425.943 * * * * [misc]progress:  [ 11 / 19 ] simplifiying candidate #<alt (λ (x) (* 1 (/ (expm1 x) x)))>
1540201425.943 * * * * [misc]progress:  [ 12 / 19 ] simplifiying candidate #<alt (λ (x) (* (expm1 x) (/ 1 x)))>
1540201425.943 * * * * [misc]progress:  [ 13 / 19 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ x (expm1 x))))>
1540201425.943 * * * * [misc]progress:  [ 14 / 19 ] simplifiying candidate #<alt (λ (x) (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) (/ x (cbrt (expm1 x)))))>
1540201425.943 * [enter]simplify:  Simplifying (* (cbrt (expm1 x)) (cbrt (expm1 x)))
1540201425.943 * * [misc]simplify:  iters left: 4 (4 enodes)
1540201425.945 * [exit]simplify:  Simplified to (* (cbrt (expm1 x)) (cbrt (expm1 x)))
1540201425.945 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) (/ x (cbrt (expm1 x)))))
1540201425.945 * * * * [misc]progress:  [ 15 / 19 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (expm1 x)) (/ x (sqrt (expm1 x)))))>
1540201425.945 * [enter]simplify:  Simplifying (sqrt (expm1 x))
1540201425.945 * * [misc]simplify:  iters left: 2 (3 enodes)
1540201425.946 * [exit]simplify:  Simplified to (sqrt (expm1 x))
1540201425.946 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (expm1 x)) (/ x (sqrt (expm1 x)))))
1540201425.946 * * * * [misc]progress:  [ 16 / 19 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ x (expm1 x))))>
1540201425.946 * * * * [misc]progress:  [ 17 / 19 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))>
1540201425.946 * [enter]simplify:  Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
1540201425.946 * * [misc]simplify:  iters left: 6 (10 enodes)
1540201425.950 * * [misc]simplify:  iters left: 5 (21 enodes)
1540201425.956 * * [misc]simplify:  iters left: 4 (35 enodes)
1540201425.967 * * [misc]simplify:  iters left: 3 (56 enodes)
1540201425.981 * * [misc]simplify:  iters left: 2 (76 enodes)
1540201426.002 * * [misc]simplify:  iters left: 1 (91 enodes)
1540201426.015 * [exit]simplify:  Simplified to (fma x (fma x 1/6 1/2) 1)
1540201426.015 * [misc]simplify:  Simplified (2) to (λ (x) (fma x (fma x 1/6 1/2) 1))
1540201426.015 * * * * [misc]progress:  [ 18 / 19 ] simplifiying candidate #<alt (λ (x) (/ (- (exp x) 1) x))>
1540201426.015 * [enter]simplify:  Simplifying (/ (- (exp x) 1) x)
1540201426.015 * * [misc]simplify:  iters left: 5 (5 enodes)
1540201426.017 * * [misc]simplify:  iters left: 4 (14 enodes)
1540201426.021 * * [misc]simplify:  iters left: 3 (16 enodes)
1540201426.025 * * [misc]simplify:  iters left: 2 (18 enodes)
1540201426.029 * [exit]simplify:  Simplified to (/ (expm1 x) x)
1540201426.029 * [misc]simplify:  Simplified (2) to (λ (x) (/ (expm1 x) x))
1540201426.029 * * * * [misc]progress:  [ 19 / 19 ] simplifiying candidate #<alt (λ (x) (* -1 (/ (- 1 (exp x)) x)))>
1540201426.029 * [enter]simplify:  Simplifying (* -1 (/ (- 1 (exp x)) x))
1540201426.029 * * [misc]simplify:  iters left: 6 (7 enodes)
1540201426.032 * * [misc]simplify:  iters left: 5 (18 enodes)
1540201426.039 * * [misc]simplify:  iters left: 4 (32 enodes)
1540201426.056 * * [misc]simplify:  iters left: 3 (55 enodes)
1540201426.068 * * [misc]simplify:  iters left: 2 (89 enodes)
1540201426.082 * * [misc]simplify:  iters left: 1 (139 enodes)
1540201426.121 * [exit]simplify:  Simplified to (fma (/ 1 x) (exp x) (/ -1 x))
1540201426.121 * [misc]simplify:  Simplified (2) to (λ (x) (fma (/ 1 x) (exp x) (/ -1 x)))
1540201426.121 * * * [misc]progress:  adding candidates to table
1540201426.272 * * [misc]progress:  iteration 2 / 4
1540201426.272 * * * [misc]progress:  picking best candidate
1540201426.276 * * * * [misc]pick:  Picked  #<alt (λ (x) (/ 1 (/ x (expm1 x))))>
1540201426.276 * * * [misc]progress:  localizing error
1540201426.281 * * * [misc]progress:  generating rewritten candidates
1540201426.281 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1540201426.285 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 2)
1540201426.288 * * * [misc]progress:  generating series expansions
1540201426.288 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1540201426.288 * [misc]backup-simplify:  Simplify (/ 1 (/ x (expm1 x))) into (/ (expm1 x) x)
1540201426.288 * [misc]approximate:  Taking taylor expansion of (/ (expm1 x) x) in (x) around 0
1540201426.288 * [misc]taylor:  Taking taylor expansion of (/ (expm1 x) x) in x
1540201426.288 * [misc]taylor:  Taking taylor expansion of (expm1 x) in x
1540201426.288 * [misc]taylor:  Rewrote expression to (- (exp x) 1)
1540201426.288 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1540201426.288 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.288 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.288 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.288 * [misc]backup-simplify:  Simplify (exp 0) into 1
1540201426.288 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201426.288 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.288 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.288 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.288 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.288 * [misc]backup-simplify:  Simplify (- 1) into -1
1540201426.288 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1540201426.289 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1540201426.289 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.290 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540201426.290 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540201426.290 * [misc]taylor:  Taking taylor expansion of (/ (expm1 x) x) in x
1540201426.290 * [misc]taylor:  Taking taylor expansion of (expm1 x) in x
1540201426.290 * [misc]taylor:  Rewrote expression to (- (exp x) 1)
1540201426.290 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1540201426.290 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.290 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.290 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.290 * [misc]backup-simplify:  Simplify (exp 0) into 1
1540201426.290 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201426.290 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.290 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.290 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.290 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.290 * [misc]backup-simplify:  Simplify (- 1) into -1
1540201426.290 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1540201426.291 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1540201426.291 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.291 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540201426.291 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540201426.292 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.293 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1540201426.293 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.293 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1540201426.293 * [misc]backup-simplify:  Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)))) into 1/2
1540201426.293 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1540201426.296 * [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
1540201426.296 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.296 * [misc]backup-simplify:  Simplify (+ 1/6 0) into 1/6
1540201426.296 * [misc]backup-simplify:  Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 1/2 (/ 0 1)))) into 1/6
1540201426.296 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1540201426.296 * [misc]backup-simplify:  Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
1540201426.297 * [misc]backup-simplify:  Simplify (/ 1 (/ (/ 1 x) (expm1 (/ 1 x)))) into (* x (expm1 (/ 1 x)))
1540201426.297 * [misc]approximate:  Taking taylor expansion of (* x (expm1 (/ 1 x))) in (x) around 0
1540201426.297 * [misc]taylor:  Taking taylor expansion of (* x (expm1 (/ 1 x))) in x
1540201426.297 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.297 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.297 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.297 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 x)) in x
1540201426.297 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 x)) 1)
1540201426.297 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1540201426.297 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540201426.297 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.297 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.297 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.297 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540201426.297 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1540201426.297 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201426.297 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.297 * [misc]taylor:  Taking taylor expansion of (* x (expm1 (/ 1 x))) in x
1540201426.297 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.297 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.297 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.297 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 x)) in x
1540201426.297 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 x)) 1)
1540201426.297 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1540201426.297 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540201426.297 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.297 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.297 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.297 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540201426.297 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1540201426.297 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201426.297 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.297 * [misc]backup-simplify:  Simplify (- 1) into -1
1540201426.298 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
1540201426.298 * [misc]backup-simplify:  Simplify (* 0 (- (exp (/ 1 x)) 1)) into 0
1540201426.298 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.298 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.298 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.298 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (exp (/ 1 x)) 1))) into (- (exp (/ 1 x)) 1)
1540201426.298 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1)
1540201426.298 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.298 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.299 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ 1 x)) 1)))) into 0
1540201426.299 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.299 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.299 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.299 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))) into 0
1540201426.299 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.299 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.299 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.300 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1)))))) into 0
1540201426.300 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.300 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.300 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.300 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))))) into 0
1540201426.301 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.301 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.301 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.301 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1)))))))) into 0
1540201426.301 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.301 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.301 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.302 * [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
1540201426.302 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.302 * [misc]backup-simplify:  Simplify (* (- (exp (/ 1 (/ 1 x))) 1) (/ 1 x)) into (/ (- (exp x) 1) x)
1540201426.302 * [misc]backup-simplify:  Simplify (/ 1 (/ (/ 1 (- x)) (expm1 (/ 1 (- x))))) into (* -1 (* x (expm1 (/ -1 x))))
1540201426.302 * [misc]approximate:  Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in (x) around 0
1540201426.302 * [misc]taylor:  Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x
1540201426.302 * [misc]taylor:  Taking taylor expansion of -1 in x
1540201426.302 * [misc]backup-simplify:  Simplify -1 into -1
1540201426.302 * [misc]taylor:  Taking taylor expansion of (* x (expm1 (/ -1 x))) in x
1540201426.302 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.302 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.302 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.302 * [misc]taylor:  Taking taylor expansion of (expm1 (/ -1 x)) in x
1540201426.303 * [misc]taylor:  Rewrote expression to (- (exp (/ -1 x)) 1)
1540201426.303 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1540201426.303 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540201426.303 * [misc]taylor:  Taking taylor expansion of -1 in x
1540201426.303 * [misc]backup-simplify:  Simplify -1 into -1
1540201426.303 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.303 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.303 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.303 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540201426.303 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1540201426.303 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201426.303 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.303 * [misc]taylor:  Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x
1540201426.303 * [misc]taylor:  Taking taylor expansion of -1 in x
1540201426.303 * [misc]backup-simplify:  Simplify -1 into -1
1540201426.303 * [misc]taylor:  Taking taylor expansion of (* x (expm1 (/ -1 x))) in x
1540201426.303 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.303 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.303 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.303 * [misc]taylor:  Taking taylor expansion of (expm1 (/ -1 x)) in x
1540201426.303 * [misc]taylor:  Rewrote expression to (- (exp (/ -1 x)) 1)
1540201426.303 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1540201426.303 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540201426.303 * [misc]taylor:  Taking taylor expansion of -1 in x
1540201426.303 * [misc]backup-simplify:  Simplify -1 into -1
1540201426.303 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.303 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.303 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.303 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540201426.303 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1540201426.303 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201426.303 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.304 * [misc]backup-simplify:  Simplify (- 1) into -1
1540201426.304 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
1540201426.304 * [misc]backup-simplify:  Simplify (* 0 (- (exp (/ -1 x)) 1)) into 0
1540201426.304 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1540201426.304 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.304 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.304 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.304 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (exp (/ -1 x)) 1))) into (- (exp (/ -1 x)) 1)
1540201426.305 * [misc]backup-simplify:  Simplify (+ (* -1 (- (exp (/ -1 x)) 1)) (* 0 0)) into (- 1 (exp (/ -1 x)))
1540201426.305 * [misc]backup-simplify:  Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x)))
1540201426.305 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.305 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.305 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ -1 x)) 1)))) into 0
1540201426.305 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))) into 0
1540201426.305 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.305 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.306 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.306 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))) into 0
1540201426.306 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))) into 0
1540201426.306 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.306 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.306 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.307 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))) into 0
1540201426.307 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))) into 0
1540201426.307 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.307 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.307 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.308 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))))) into 0
1540201426.308 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))) into 0
1540201426.308 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.308 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.309 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.309 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))))) into 0
1540201426.310 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))))) into 0
1540201426.310 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.310 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.310 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.310 * [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
1540201426.311 * [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
1540201426.311 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.311 * [misc]backup-simplify:  Simplify (* (- 1 (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (/ (- 1 (exp x)) x))
1540201426.311 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 2)
1540201426.311 * [misc]backup-simplify:  Simplify (/ x (expm1 x)) into (/ x (expm1 x))
1540201426.311 * [misc]approximate:  Taking taylor expansion of (/ x (expm1 x)) in (x) around 0
1540201426.311 * [misc]taylor:  Taking taylor expansion of (/ x (expm1 x)) in x
1540201426.311 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.311 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.311 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.311 * [misc]taylor:  Taking taylor expansion of (expm1 x) in x
1540201426.311 * [misc]taylor:  Rewrote expression to (- (exp x) 1)
1540201426.311 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1540201426.311 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.312 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.312 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.312 * [misc]backup-simplify:  Simplify (exp 0) into 1
1540201426.312 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201426.312 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.312 * [misc]backup-simplify:  Simplify (- 1) into -1
1540201426.312 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1540201426.313 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1540201426.313 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.315 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540201426.315 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540201426.315 * [misc]taylor:  Taking taylor expansion of (/ x (expm1 x)) in x
1540201426.315 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.315 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.315 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.315 * [misc]taylor:  Taking taylor expansion of (expm1 x) in x
1540201426.315 * [misc]taylor:  Rewrote expression to (- (exp x) 1)
1540201426.315 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1540201426.315 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.315 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.315 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.315 * [misc]backup-simplify:  Simplify (exp 0) into 1
1540201426.315 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201426.315 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.315 * [misc]backup-simplify:  Simplify (- 1) into -1
1540201426.316 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1540201426.317 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1540201426.317 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.317 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540201426.317 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540201426.317 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.318 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1540201426.318 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.319 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1540201426.319 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1/2 1)))) into -1/2
1540201426.319 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1540201426.321 * [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
1540201426.321 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.321 * [misc]backup-simplify:  Simplify (+ 1/6 0) into 1/6
1540201426.321 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1/6 1)) (* -1/2 (/ 1/2 1)))) into 1/12
1540201426.321 * [misc]backup-simplify:  Simplify 1/12 into 1/12
1540201426.322 * [misc]backup-simplify:  Simplify (+ (* 1/12 (pow x 2)) (+ (* -1/2 x) 1)) into (- (+ (* 1/12 (pow x 2)) 1) (* 1/2 x))
1540201426.322 * [misc]backup-simplify:  Simplify (/ (/ 1 x) (expm1 (/ 1 x))) into (/ 1 (* x (expm1 (/ 1 x))))
1540201426.322 * [misc]approximate:  Taking taylor expansion of (/ 1 (* x (expm1 (/ 1 x)))) in (x) around 0
1540201426.322 * [misc]taylor:  Taking taylor expansion of (/ 1 (* x (expm1 (/ 1 x)))) in x
1540201426.322 * [misc]taylor:  Taking taylor expansion of (* x (expm1 (/ 1 x))) in x
1540201426.322 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.322 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.322 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.322 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 x)) in x
1540201426.322 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 x)) 1)
1540201426.322 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1540201426.322 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540201426.322 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.322 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.322 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.322 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540201426.322 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1540201426.322 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201426.322 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.322 * [misc]backup-simplify:  Simplify (- 1) into -1
1540201426.322 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
1540201426.322 * [misc]backup-simplify:  Simplify (* 0 (- (exp (/ 1 x)) 1)) into 0
1540201426.322 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.323 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.323 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (exp (/ 1 x)) 1))) into (- (exp (/ 1 x)) 1)
1540201426.323 * [misc]backup-simplify:  Simplify (/ 1 (- (exp (/ 1 x)) 1)) into (/ 1 (- (exp (/ 1 x)) 1))
1540201426.323 * [misc]taylor:  Taking taylor expansion of (/ 1 (* x (expm1 (/ 1 x)))) in x
1540201426.323 * [misc]taylor:  Taking taylor expansion of (* x (expm1 (/ 1 x))) in x
1540201426.323 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.323 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.323 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.323 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 x)) in x
1540201426.323 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 x)) 1)
1540201426.323 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1540201426.323 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540201426.323 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.323 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.323 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.323 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540201426.323 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1540201426.323 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201426.323 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.323 * [misc]backup-simplify:  Simplify (- 1) into -1
1540201426.323 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
1540201426.323 * [misc]backup-simplify:  Simplify (* 0 (- (exp (/ 1 x)) 1)) into 0
1540201426.324 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.324 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.324 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (exp (/ 1 x)) 1))) into (- (exp (/ 1 x)) 1)
1540201426.324 * [misc]backup-simplify:  Simplify (/ 1 (- (exp (/ 1 x)) 1)) into (/ 1 (- (exp (/ 1 x)) 1))
1540201426.324 * [misc]backup-simplify:  Simplify (/ 1 (- (exp (/ 1 x)) 1)) into (/ 1 (- (exp (/ 1 x)) 1))
1540201426.324 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.324 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.324 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ 1 x)) 1)))) into 0
1540201426.325 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))))) into 0
1540201426.325 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.325 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.325 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.325 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))) into 0
1540201426.325 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0
1540201426.325 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.325 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.326 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.326 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1)))))) into 0
1540201426.326 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0
1540201426.326 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.326 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.326 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.327 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1))))))) into 0
1540201426.327 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0
1540201426.327 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.327 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.327 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.328 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1)))))))) into 0
1540201426.329 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0
1540201426.329 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.329 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.329 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.330 * [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
1540201426.331 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0
1540201426.331 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.331 * [misc]backup-simplify:  Simplify (* (/ 1 (- (exp (/ 1 (/ 1 x))) 1)) (/ 1 (/ 1 x))) into (/ x (- (exp x) 1))
1540201426.331 * [misc]backup-simplify:  Simplify (/ (/ 1 (- x)) (expm1 (/ 1 (- x)))) into (/ -1 (* x (expm1 (/ -1 x))))
1540201426.331 * [misc]approximate:  Taking taylor expansion of (/ -1 (* x (expm1 (/ -1 x)))) in (x) around 0
1540201426.331 * [misc]taylor:  Taking taylor expansion of (/ -1 (* x (expm1 (/ -1 x)))) in x
1540201426.332 * [misc]taylor:  Taking taylor expansion of -1 in x
1540201426.332 * [misc]backup-simplify:  Simplify -1 into -1
1540201426.332 * [misc]taylor:  Taking taylor expansion of (* x (expm1 (/ -1 x))) in x
1540201426.332 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.332 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.332 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.332 * [misc]taylor:  Taking taylor expansion of (expm1 (/ -1 x)) in x
1540201426.332 * [misc]taylor:  Rewrote expression to (- (exp (/ -1 x)) 1)
1540201426.332 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1540201426.332 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540201426.332 * [misc]taylor:  Taking taylor expansion of -1 in x
1540201426.332 * [misc]backup-simplify:  Simplify -1 into -1
1540201426.332 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.332 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.332 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.332 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540201426.332 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1540201426.332 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201426.332 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.332 * [misc]backup-simplify:  Simplify (- 1) into -1
1540201426.332 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
1540201426.333 * [misc]backup-simplify:  Simplify (* 0 (- (exp (/ -1 x)) 1)) into 0
1540201426.333 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.333 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.333 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (exp (/ -1 x)) 1))) into (- (exp (/ -1 x)) 1)
1540201426.333 * [misc]backup-simplify:  Simplify (/ -1 (- (exp (/ -1 x)) 1)) into (/ -1 (- (exp (/ -1 x)) 1))
1540201426.333 * [misc]taylor:  Taking taylor expansion of (/ -1 (* x (expm1 (/ -1 x)))) in x
1540201426.333 * [misc]taylor:  Taking taylor expansion of -1 in x
1540201426.333 * [misc]backup-simplify:  Simplify -1 into -1
1540201426.333 * [misc]taylor:  Taking taylor expansion of (* x (expm1 (/ -1 x))) in x
1540201426.333 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.333 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.333 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.333 * [misc]taylor:  Taking taylor expansion of (expm1 (/ -1 x)) in x
1540201426.334 * [misc]taylor:  Rewrote expression to (- (exp (/ -1 x)) 1)
1540201426.334 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1540201426.334 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540201426.334 * [misc]taylor:  Taking taylor expansion of -1 in x
1540201426.334 * [misc]backup-simplify:  Simplify -1 into -1
1540201426.334 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.334 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.334 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.334 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540201426.334 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1540201426.334 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201426.334 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.334 * [misc]backup-simplify:  Simplify (- 1) into -1
1540201426.334 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
1540201426.334 * [misc]backup-simplify:  Simplify (* 0 (- (exp (/ -1 x)) 1)) into 0
1540201426.334 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.335 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.335 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (exp (/ -1 x)) 1))) into (- (exp (/ -1 x)) 1)
1540201426.335 * [misc]backup-simplify:  Simplify (/ -1 (- (exp (/ -1 x)) 1)) into (/ -1 (- (exp (/ -1 x)) 1))
1540201426.335 * [misc]backup-simplify:  Simplify (/ -1 (- (exp (/ -1 x)) 1)) into (/ -1 (- (exp (/ -1 x)) 1))
1540201426.335 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.336 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.336 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ -1 x)) 1)))) into 0
1540201426.336 * [misc]backup-simplify:  Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ -1 (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))))) into 0
1540201426.336 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.336 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.337 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.337 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))) into 0
1540201426.337 * [misc]backup-simplify:  Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ -1 (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0
1540201426.337 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.338 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.338 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.338 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))) into 0
1540201426.339 * [misc]backup-simplify:  Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ -1 (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0
1540201426.339 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.339 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.339 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.340 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))))) into 0
1540201426.340 * [misc]backup-simplify:  Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ -1 (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0
1540201426.340 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.340 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.340 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.341 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))))) into 0
1540201426.341 * [misc]backup-simplify:  Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ -1 (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0
1540201426.341 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.341 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.341 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.342 * [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
1540201426.342 * [misc]backup-simplify:  Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ -1 (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0
1540201426.342 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.342 * [misc]backup-simplify:  Simplify (* (/ -1 (- (exp (/ -1 (/ 1 (- x)))) 1)) (/ 1 (/ 1 (- x)))) into (/ x (- (exp x) 1))
1540201426.342 * * * [misc]progress:  simplifying candidates
1540201426.342 * * * * [misc]progress:  [ 1 / 41 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (/ 1 (/ x (expm1 x))))))>
1540201426.343 * * * * [misc]progress:  [ 2 / 41 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (/ 1 (/ x (expm1 x))))))>
1540201426.343 * * * * [misc]progress:  [ 3 / 41 ] simplifiying candidate #<alt (λ (x) (pow (/ x (expm1 x)) -1))>
1540201426.343 * * * * [misc]progress:  [ 4 / 41 ] simplifiying candidate #<alt (λ (x) (pow (/ x (expm1 x)) (- 1)))>
1540201426.343 * [enter]simplify:  Simplifying (- 1)
1540201426.343 * * [misc]simplify:  iters left: 2 (2 enodes)
1540201426.344 * * [misc]simplify:  iters left: 1 (5 enodes)
1540201426.344 * [exit]simplify:  Simplified to -1
1540201426.344 * [misc]simplify:  Simplified (2 2) to (λ (x) (pow (/ x (expm1 x)) -1))
1540201426.344 * * * * [misc]progress:  [ 5 / 41 ] simplifiying candidate #<alt (λ (x) (pow (/ 1 (/ x (expm1 x))) 1))>
1540201426.344 * * * * [misc]progress:  [ 6 / 41 ] simplifiying candidate #<alt (λ (x) (exp (- (log (/ x (expm1 x))))))>
1540201426.344 * * * * [misc]progress:  [ 7 / 41 ] simplifiying candidate #<alt (λ (x) (exp (log (/ 1 (/ x (expm1 x))))))>
1540201426.344 * * * * [misc]progress:  [ 8 / 41 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 1 (/ x (expm1 x))))))>
1540201426.344 * * * * [misc]progress:  [ 9 / 41 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (/ 1 (/ x (expm1 x)))) (cbrt (/ 1 (/ x (expm1 x))))) (cbrt (/ 1 (/ x (expm1 x))))))>
1540201426.344 * * * * [misc]progress:  [ 10 / 41 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (/ 1 (/ x (expm1 x))) (/ 1 (/ x (expm1 x)))) (/ 1 (/ x (expm1 x))))))>
1540201426.344 * * * * [misc]progress:  [ 11 / 41 ] simplifiying candidate #<alt (λ (x) (* (sqrt (/ 1 (/ x (expm1 x)))) (sqrt (/ 1 (/ x (expm1 x))))))>
1540201426.344 * * * * [misc]progress:  [ 12 / 41 ] simplifiying candidate #<alt (λ (x) (/ (- 1) (- (/ x (expm1 x)))))>
1540201426.344 * * * * [misc]progress:  [ 13 / 41 ] simplifiying candidate #<alt (λ (x) (* 1 (/ 1 (/ x (expm1 x)))))>
1540201426.344 * * * * [misc]progress:  [ 14 / 41 ] simplifiying candidate #<alt (λ (x) (* 1 (/ 1 (/ x (expm1 x)))))>
1540201426.345 * * * * [misc]progress:  [ 15 / 41 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (/ x (expm1 x)) 1)))>
1540201426.345 * * * * [misc]progress:  [ 16 / 41 ] simplifiying candidate #<alt (λ (x) (/ (/ 1 (* (cbrt (/ x (expm1 x))) (cbrt (/ x (expm1 x))))) (cbrt (/ x (expm1 x)))))>
1540201426.345 * [enter]simplify:  Simplifying (cbrt (/ x (expm1 x)))
1540201426.345 * * [misc]simplify:  iters left: 4 (4 enodes)
1540201426.345 * [exit]simplify:  Simplified to (cbrt (/ x (expm1 x)))
1540201426.345 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (/ 1 (* (cbrt (/ x (expm1 x))) (cbrt (/ x (expm1 x))))) (cbrt (/ x (expm1 x)))))
1540201426.345 * * * * [misc]progress:  [ 17 / 41 ] simplifiying candidate #<alt (λ (x) (/ (/ 1 (sqrt (/ x (expm1 x)))) (sqrt (/ x (expm1 x)))))>
1540201426.346 * [enter]simplify:  Simplifying (sqrt (/ x (expm1 x)))
1540201426.346 * * [misc]simplify:  iters left: 4 (4 enodes)
1540201426.346 * [exit]simplify:  Simplified to (sqrt (/ x (expm1 x)))
1540201426.346 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (/ 1 (sqrt (/ x (expm1 x)))) (sqrt (/ x (expm1 x)))))
1540201426.346 * * * * [misc]progress:  [ 18 / 41 ] simplifiying candidate #<alt (λ (x) (/ (/ 1 1) (/ x (expm1 x))))>
1540201426.346 * [enter]simplify:  Simplifying (/ x (expm1 x))
1540201426.347 * * [misc]simplify:  iters left: 3 (3 enodes)
1540201426.347 * [exit]simplify:  Simplified to (/ x (expm1 x))
1540201426.347 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (/ 1 1) (/ x (expm1 x))))
1540201426.347 * * * * [misc]progress:  [ 19 / 41 ] simplifiying candidate #<alt (λ (x) (/ (/ 1 x) (/ 1 (expm1 x))))>
1540201426.347 * [enter]simplify:  Simplifying (/ 1 (expm1 x))
1540201426.347 * * [misc]simplify:  iters left: 3 (4 enodes)
1540201426.348 * * [misc]simplify:  iters left: 2 (6 enodes)
1540201426.349 * [exit]simplify:  Simplified to (/ 1 (expm1 x))
1540201426.349 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (/ 1 x) (/ 1 (expm1 x))))
1540201426.349 * * * * [misc]progress:  [ 20 / 41 ] simplifiying candidate #<alt (λ (x) (* (/ 1 x) (expm1 x)))>
1540201426.349 * [enter]simplify:  Simplifying (expm1 x)
1540201426.349 * * [misc]simplify:  iters left: 1 (2 enodes)
1540201426.349 * [exit]simplify:  Simplified to (expm1 x)
1540201426.349 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ 1 x) (expm1 x)))
1540201426.349 * * * * [misc]progress:  [ 21 / 41 ] simplifiying candidate #<alt (λ (x) (/ 1 (log1p (expm1 (/ x (expm1 x))))))>
1540201426.349 * * * * [misc]progress:  [ 22 / 41 ] simplifiying candidate #<alt (λ (x) (/ 1 (expm1 (log1p (/ x (expm1 x))))))>
1540201426.349 * * * * [misc]progress:  [ 23 / 41 ] simplifiying candidate #<alt (λ (x) (/ 1 (pow (/ x (expm1 x)) 1)))>
1540201426.349 * * * * [misc]progress:  [ 24 / 41 ] simplifiying candidate #<alt (λ (x) (/ 1 (exp (log (/ x (expm1 x))))))>
1540201426.349 * * * * [misc]progress:  [ 25 / 41 ] simplifiying candidate #<alt (λ (x) (/ 1 (log (exp (/ x (expm1 x))))))>
1540201426.349 * * * * [misc]progress:  [ 26 / 41 ] simplifiying candidate #<alt (λ (x) (/ 1 (* (* (cbrt (/ x (expm1 x))) (cbrt (/ x (expm1 x)))) (cbrt (/ x (expm1 x))))))>
1540201426.349 * * * * [misc]progress:  [ 27 / 41 ] simplifiying candidate #<alt (λ (x) (/ 1 (cbrt (* (* (/ x (expm1 x)) (/ x (expm1 x))) (/ x (expm1 x))))))>
1540201426.349 * * * * [misc]progress:  [ 28 / 41 ] simplifiying candidate #<alt (λ (x) (/ 1 (* (sqrt (/ x (expm1 x))) (sqrt (/ x (expm1 x))))))>
1540201426.350 * * * * [misc]progress:  [ 29 / 41 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (- x) (- (expm1 x)))))>
1540201426.350 * * * * [misc]progress:  [ 30 / 41 ] simplifiying candidate #<alt (λ (x) (/ 1 (* 1 (/ x (expm1 x)))))>
1540201426.350 * * * * [misc]progress:  [ 31 / 41 ] simplifiying candidate #<alt (λ (x) (/ 1 (* x (/ 1 (expm1 x)))))>
1540201426.350 * * * * [misc]progress:  [ 32 / 41 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ 1 (/ (expm1 x) x))))>
1540201426.350 * * * * [misc]progress:  [ 33 / 41 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (/ x (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (cbrt (expm1 x)))))>
1540201426.350 * [enter]simplify:  Simplifying (cbrt (expm1 x))
1540201426.350 * * [misc]simplify:  iters left: 2 (3 enodes)
1540201426.350 * [exit]simplify:  Simplified to (cbrt (expm1 x))
1540201426.350 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (/ 1 (/ (/ x (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (cbrt (expm1 x)))))
1540201426.350 * * * * [misc]progress:  [ 34 / 41 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (/ x (sqrt (expm1 x))) (sqrt (expm1 x)))))>
1540201426.350 * [enter]simplify:  Simplifying (sqrt (expm1 x))
1540201426.350 * * [misc]simplify:  iters left: 2 (3 enodes)
1540201426.351 * [exit]simplify:  Simplified to (sqrt (expm1 x))
1540201426.351 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (/ 1 (/ (/ x (sqrt (expm1 x))) (sqrt (expm1 x)))))
1540201426.351 * * * * [misc]progress:  [ 35 / 41 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (/ x 1) (expm1 x))))>
1540201426.351 * [enter]simplify:  Simplifying (expm1 x)
1540201426.351 * * [misc]simplify:  iters left: 1 (2 enodes)
1540201426.351 * [exit]simplify:  Simplified to (expm1 x)
1540201426.351 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (/ 1 (/ (/ x 1) (expm1 x))))
1540201426.352 * * * * [misc]progress:  [ 36 / 41 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))>
1540201426.352 * [enter]simplify:  Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
1540201426.352 * * [misc]simplify:  iters left: 6 (10 enodes)
1540201426.353 * * [misc]simplify:  iters left: 5 (21 enodes)
1540201426.357 * * [misc]simplify:  iters left: 4 (35 enodes)
1540201426.363 * * [misc]simplify:  iters left: 3 (56 enodes)
1540201426.370 * * [misc]simplify:  iters left: 2 (76 enodes)
1540201426.382 * * [misc]simplify:  iters left: 1 (91 enodes)
1540201426.394 * [exit]simplify:  Simplified to (fma x (fma x 1/6 1/2) 1)
1540201426.394 * [misc]simplify:  Simplified (2) to (λ (x) (fma x (fma x 1/6 1/2) 1))
1540201426.395 * * * * [misc]progress:  [ 37 / 41 ] simplifiying candidate #<alt (λ (x) (/ (- (exp x) 1) x))>
1540201426.395 * [enter]simplify:  Simplifying (/ (- (exp x) 1) x)
1540201426.395 * * [misc]simplify:  iters left: 5 (5 enodes)
1540201426.397 * * [misc]simplify:  iters left: 4 (14 enodes)
1540201426.401 * * [misc]simplify:  iters left: 3 (16 enodes)
1540201426.405 * * [misc]simplify:  iters left: 2 (18 enodes)
1540201426.409 * [exit]simplify:  Simplified to (/ (expm1 x) x)
1540201426.409 * [misc]simplify:  Simplified (2) to (λ (x) (/ (expm1 x) x))
1540201426.409 * * * * [misc]progress:  [ 38 / 41 ] simplifiying candidate #<alt (λ (x) (* -1 (/ (- 1 (exp x)) x)))>
1540201426.410 * [enter]simplify:  Simplifying (* -1 (/ (- 1 (exp x)) x))
1540201426.410 * * [misc]simplify:  iters left: 6 (7 enodes)
1540201426.412 * * [misc]simplify:  iters left: 5 (18 enodes)
1540201426.421 * * [misc]simplify:  iters left: 4 (32 enodes)
1540201426.426 * * [misc]simplify:  iters left: 3 (55 enodes)
1540201426.435 * * [misc]simplify:  iters left: 2 (89 enodes)
1540201426.450 * * [misc]simplify:  iters left: 1 (139 enodes)
1540201426.506 * [exit]simplify:  Simplified to (fma (/ 1 x) (exp x) (/ -1 x))
1540201426.506 * [misc]simplify:  Simplified (2) to (λ (x) (fma (/ 1 x) (exp x) (/ -1 x)))
1540201426.506 * * * * [misc]progress:  [ 39 / 41 ] simplifiying candidate #<alt (λ (x) (/ 1 (- (+ (* 1/12 (pow x 2)) 1) (* 1/2 x))))>
1540201426.506 * [enter]simplify:  Simplifying (- (+ (* 1/12 (pow x 2)) 1) (* 1/2 x))
1540201426.506 * * [misc]simplify:  iters left: 6 (10 enodes)
1540201426.508 * * [misc]simplify:  iters left: 5 (21 enodes)
1540201426.512 * * [misc]simplify:  iters left: 4 (43 enodes)
1540201426.526 * * [misc]simplify:  iters left: 3 (65 enodes)
1540201426.540 * * [misc]simplify:  iters left: 2 (88 enodes)
1540201426.550 * * [misc]simplify:  iters left: 1 (108 enodes)
1540201426.567 * [exit]simplify:  Simplified to (fma x (fma 1/12 x -1/2) 1)
1540201426.568 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ 1 (fma x (fma 1/12 x -1/2) 1)))
1540201426.568 * * * * [misc]progress:  [ 40 / 41 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ x (- (exp x) 1))))>
1540201426.568 * [enter]simplify:  Simplifying (/ x (- (exp x) 1))
1540201426.568 * * [misc]simplify:  iters left: 5 (5 enodes)
1540201426.570 * * [misc]simplify:  iters left: 4 (11 enodes)
1540201426.573 * [exit]simplify:  Simplified to (/ x (expm1 x))
1540201426.573 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ 1 (/ x (expm1 x))))
1540201426.573 * * * * [misc]progress:  [ 41 / 41 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ x (- (exp x) 1))))>
1540201426.573 * [enter]simplify:  Simplifying (/ x (- (exp x) 1))
1540201426.573 * * [misc]simplify:  iters left: 5 (5 enodes)
1540201426.575 * * [misc]simplify:  iters left: 4 (11 enodes)
1540201426.578 * [exit]simplify:  Simplified to (/ x (expm1 x))
1540201426.578 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ 1 (/ x (expm1 x))))
1540201426.578 * * * [misc]progress:  adding candidates to table
1540201426.870 * * [misc]progress:  iteration 3 / 4
1540201426.870 * * * [misc]progress:  picking best candidate
1540201426.875 * * * * [misc]pick:  Picked  #<alt (λ (x) (log (exp (/ (expm1 x) x))))>
1540201426.875 * * * [misc]progress:  localizing error
1540201426.908 * * * [misc]progress:  generating rewritten candidates
1540201426.908 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1540201426.913 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1 1)
1540201426.919 * * * [misc]progress:  generating series expansions
1540201426.919 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1540201426.919 * [misc]backup-simplify:  Simplify (log (exp (/ (expm1 x) x))) into (/ (expm1 x) x)
1540201426.919 * [misc]approximate:  Taking taylor expansion of (/ (expm1 x) x) in (x) around 0
1540201426.919 * [misc]taylor:  Taking taylor expansion of (/ (expm1 x) x) in x
1540201426.919 * [misc]taylor:  Taking taylor expansion of (expm1 x) in x
1540201426.919 * [misc]taylor:  Rewrote expression to (- (exp x) 1)
1540201426.919 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1540201426.919 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.919 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.919 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.919 * [misc]backup-simplify:  Simplify (exp 0) into 1
1540201426.919 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201426.919 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.919 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.919 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.919 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.920 * [misc]backup-simplify:  Simplify (- 1) into -1
1540201426.920 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1540201426.921 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1540201426.922 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.922 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540201426.922 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540201426.922 * [misc]taylor:  Taking taylor expansion of (/ (expm1 x) x) in x
1540201426.922 * [misc]taylor:  Taking taylor expansion of (expm1 x) in x
1540201426.922 * [misc]taylor:  Rewrote expression to (- (exp x) 1)
1540201426.922 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1540201426.922 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.922 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.922 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.922 * [misc]backup-simplify:  Simplify (exp 0) into 1
1540201426.922 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201426.922 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.922 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.922 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.922 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.922 * [misc]backup-simplify:  Simplify (- 1) into -1
1540201426.923 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1540201426.924 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1540201426.924 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.924 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540201426.925 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540201426.925 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.927 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1540201426.927 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.927 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1540201426.928 * [misc]backup-simplify:  Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)))) into 1/2
1540201426.928 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1540201426.931 * [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
1540201426.932 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.932 * [misc]backup-simplify:  Simplify (+ 1/6 0) into 1/6
1540201426.932 * [misc]backup-simplify:  Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 1/2 (/ 0 1)))) into 1/6
1540201426.932 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1540201426.932 * [misc]backup-simplify:  Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
1540201426.933 * [misc]backup-simplify:  Simplify (log (exp (/ (expm1 (/ 1 x)) (/ 1 x)))) into (* (expm1 (/ 1 x)) x)
1540201426.933 * [misc]approximate:  Taking taylor expansion of (* (expm1 (/ 1 x)) x) in (x) around 0
1540201426.933 * [misc]taylor:  Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x
1540201426.933 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 x)) in x
1540201426.933 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 x)) 1)
1540201426.933 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1540201426.933 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540201426.933 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.933 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.933 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.933 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540201426.933 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1540201426.933 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201426.933 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.933 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.933 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.933 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.933 * [misc]taylor:  Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x
1540201426.933 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 x)) in x
1540201426.933 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 x)) 1)
1540201426.933 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1540201426.933 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540201426.933 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.933 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.934 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.934 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540201426.934 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1540201426.934 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201426.934 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.934 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.934 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.934 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.934 * [misc]backup-simplify:  Simplify (- 1) into -1
1540201426.934 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
1540201426.934 * [misc]backup-simplify:  Simplify (* (- (exp (/ 1 x)) 1) 0) into 0
1540201426.934 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.935 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.935 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.935 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 1) (* 0 0)) into (- (exp (/ 1 x)) 1)
1540201426.935 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1)
1540201426.935 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.935 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.936 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 1) (* 0 0))) into 0
1540201426.936 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.936 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.936 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.936 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540201426.936 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.937 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.937 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.937 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1540201426.937 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.938 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.938 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.938 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1540201426.938 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.938 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.939 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.939 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1540201426.939 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.939 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.939 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.940 * [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
1540201426.940 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.940 * [misc]backup-simplify:  Simplify (* (- (exp (/ 1 (/ 1 x))) 1) (/ 1 x)) into (/ (- (exp x) 1) x)
1540201426.940 * [misc]backup-simplify:  Simplify (log (exp (/ (expm1 (/ 1 (- x))) (/ 1 (- x))))) into (* -1 (* x (expm1 (/ -1 x))))
1540201426.940 * [misc]approximate:  Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in (x) around 0
1540201426.940 * [misc]taylor:  Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x
1540201426.940 * [misc]taylor:  Taking taylor expansion of -1 in x
1540201426.940 * [misc]backup-simplify:  Simplify -1 into -1
1540201426.940 * [misc]taylor:  Taking taylor expansion of (* x (expm1 (/ -1 x))) in x
1540201426.940 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.940 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.940 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.940 * [misc]taylor:  Taking taylor expansion of (expm1 (/ -1 x)) in x
1540201426.940 * [misc]taylor:  Rewrote expression to (- (exp (/ -1 x)) 1)
1540201426.940 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1540201426.940 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540201426.940 * [misc]taylor:  Taking taylor expansion of -1 in x
1540201426.940 * [misc]backup-simplify:  Simplify -1 into -1
1540201426.940 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.940 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.940 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.940 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540201426.940 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1540201426.940 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201426.940 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.940 * [misc]taylor:  Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x
1540201426.940 * [misc]taylor:  Taking taylor expansion of -1 in x
1540201426.940 * [misc]backup-simplify:  Simplify -1 into -1
1540201426.941 * [misc]taylor:  Taking taylor expansion of (* x (expm1 (/ -1 x))) in x
1540201426.941 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.941 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.941 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.941 * [misc]taylor:  Taking taylor expansion of (expm1 (/ -1 x)) in x
1540201426.941 * [misc]taylor:  Rewrote expression to (- (exp (/ -1 x)) 1)
1540201426.941 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1540201426.941 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540201426.941 * [misc]taylor:  Taking taylor expansion of -1 in x
1540201426.941 * [misc]backup-simplify:  Simplify -1 into -1
1540201426.941 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.941 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.941 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.941 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540201426.941 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1540201426.941 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201426.941 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.941 * [misc]backup-simplify:  Simplify (- 1) into -1
1540201426.941 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
1540201426.941 * [misc]backup-simplify:  Simplify (* 0 (- (exp (/ -1 x)) 1)) into 0
1540201426.941 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1540201426.941 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.941 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.942 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.942 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (exp (/ -1 x)) 1))) into (- (exp (/ -1 x)) 1)
1540201426.942 * [misc]backup-simplify:  Simplify (+ (* -1 (- (exp (/ -1 x)) 1)) (* 0 0)) into (- 1 (exp (/ -1 x)))
1540201426.942 * [misc]backup-simplify:  Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x)))
1540201426.942 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.942 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.942 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ -1 x)) 1)))) into 0
1540201426.943 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))) into 0
1540201426.943 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.943 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.943 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.943 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))) into 0
1540201426.943 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))) into 0
1540201426.944 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.944 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.944 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.944 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))) into 0
1540201426.944 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))) into 0
1540201426.945 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.945 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.945 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.945 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))))) into 0
1540201426.946 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))) into 0
1540201426.946 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.946 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.946 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.946 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))))) into 0
1540201426.947 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))))) into 0
1540201426.947 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.947 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.947 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.948 * [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
1540201426.948 * [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
1540201426.948 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.949 * [misc]backup-simplify:  Simplify (* (- 1 (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (/ (- 1 (exp x)) x))
1540201426.949 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1 1)
1540201426.949 * [misc]backup-simplify:  Simplify (/ (expm1 x) x) into (/ (expm1 x) x)
1540201426.949 * [misc]approximate:  Taking taylor expansion of (/ (expm1 x) x) in (x) around 0
1540201426.949 * [misc]taylor:  Taking taylor expansion of (/ (expm1 x) x) in x
1540201426.949 * [misc]taylor:  Taking taylor expansion of (expm1 x) in x
1540201426.949 * [misc]taylor:  Rewrote expression to (- (exp x) 1)
1540201426.949 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1540201426.949 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.949 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.949 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.949 * [misc]backup-simplify:  Simplify (exp 0) into 1
1540201426.949 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201426.949 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.949 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.949 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.949 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.949 * [misc]backup-simplify:  Simplify (- 1) into -1
1540201426.949 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1540201426.950 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1540201426.950 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.950 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540201426.950 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540201426.950 * [misc]taylor:  Taking taylor expansion of (/ (expm1 x) x) in x
1540201426.950 * [misc]taylor:  Taking taylor expansion of (expm1 x) in x
1540201426.950 * [misc]taylor:  Rewrote expression to (- (exp x) 1)
1540201426.950 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1540201426.950 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.950 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.950 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.951 * [misc]backup-simplify:  Simplify (exp 0) into 1
1540201426.951 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201426.951 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.951 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.951 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.951 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.951 * [misc]backup-simplify:  Simplify (- 1) into -1
1540201426.951 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1540201426.952 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1540201426.952 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.952 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540201426.952 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540201426.952 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.953 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1540201426.954 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.954 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1540201426.954 * [misc]backup-simplify:  Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)))) into 1/2
1540201426.954 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1540201426.956 * [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
1540201426.956 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.956 * [misc]backup-simplify:  Simplify (+ 1/6 0) into 1/6
1540201426.956 * [misc]backup-simplify:  Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 1/2 (/ 0 1)))) into 1/6
1540201426.956 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1540201426.957 * [misc]backup-simplify:  Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
1540201426.957 * [misc]backup-simplify:  Simplify (/ (expm1 (/ 1 x)) (/ 1 x)) into (* (expm1 (/ 1 x)) x)
1540201426.957 * [misc]approximate:  Taking taylor expansion of (* (expm1 (/ 1 x)) x) in (x) around 0
1540201426.957 * [misc]taylor:  Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x
1540201426.957 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 x)) in x
1540201426.957 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 x)) 1)
1540201426.957 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1540201426.957 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540201426.957 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.957 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.957 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.957 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540201426.957 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1540201426.957 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201426.957 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.957 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.957 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.957 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.957 * [misc]taylor:  Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x
1540201426.957 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 x)) in x
1540201426.957 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 x)) 1)
1540201426.957 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1540201426.957 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540201426.957 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.957 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.957 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.957 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540201426.957 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1540201426.957 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201426.957 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.957 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.957 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.957 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.958 * [misc]backup-simplify:  Simplify (- 1) into -1
1540201426.958 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
1540201426.958 * [misc]backup-simplify:  Simplify (* (- (exp (/ 1 x)) 1) 0) into 0
1540201426.958 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.958 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.958 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.958 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 1) (* 0 0)) into (- (exp (/ 1 x)) 1)
1540201426.958 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1)
1540201426.958 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.958 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.959 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 1) (* 0 0))) into 0
1540201426.959 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.959 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.959 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.959 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540201426.959 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.959 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.959 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.959 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1540201426.959 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.960 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.960 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.960 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1540201426.960 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.960 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.960 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.960 * [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1540201426.961 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.961 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.961 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.961 * [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
1540201426.961 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.961 * [misc]backup-simplify:  Simplify (* (- (exp (/ 1 (/ 1 x))) 1) (/ 1 x)) into (/ (- (exp x) 1) x)
1540201426.961 * [misc]backup-simplify:  Simplify (/ (expm1 (/ 1 (- x))) (/ 1 (- x))) into (* -1 (* x (expm1 (/ -1 x))))
1540201426.961 * [misc]approximate:  Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in (x) around 0
1540201426.961 * [misc]taylor:  Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x
1540201426.961 * [misc]taylor:  Taking taylor expansion of -1 in x
1540201426.961 * [misc]backup-simplify:  Simplify -1 into -1
1540201426.961 * [misc]taylor:  Taking taylor expansion of (* x (expm1 (/ -1 x))) in x
1540201426.961 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.961 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.961 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.961 * [misc]taylor:  Taking taylor expansion of (expm1 (/ -1 x)) in x
1540201426.961 * [misc]taylor:  Rewrote expression to (- (exp (/ -1 x)) 1)
1540201426.961 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1540201426.962 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540201426.962 * [misc]taylor:  Taking taylor expansion of -1 in x
1540201426.962 * [misc]backup-simplify:  Simplify -1 into -1
1540201426.962 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.962 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.962 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.962 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540201426.962 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1540201426.962 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201426.962 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.962 * [misc]taylor:  Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x
1540201426.962 * [misc]taylor:  Taking taylor expansion of -1 in x
1540201426.962 * [misc]backup-simplify:  Simplify -1 into -1
1540201426.962 * [misc]taylor:  Taking taylor expansion of (* x (expm1 (/ -1 x))) in x
1540201426.962 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.962 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.962 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.962 * [misc]taylor:  Taking taylor expansion of (expm1 (/ -1 x)) in x
1540201426.962 * [misc]taylor:  Rewrote expression to (- (exp (/ -1 x)) 1)
1540201426.962 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1540201426.962 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540201426.962 * [misc]taylor:  Taking taylor expansion of -1 in x
1540201426.962 * [misc]backup-simplify:  Simplify -1 into -1
1540201426.962 * [misc]taylor:  Taking taylor expansion of x in x
1540201426.962 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.962 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.962 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540201426.962 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1540201426.962 * [misc]taylor:  Taking taylor expansion of 1 in x
1540201426.962 * [misc]backup-simplify:  Simplify 1 into 1
1540201426.962 * [misc]backup-simplify:  Simplify (- 1) into -1
1540201426.962 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
1540201426.962 * [misc]backup-simplify:  Simplify (* 0 (- (exp (/ -1 x)) 1)) into 0
1540201426.963 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1540201426.963 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.963 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.963 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.963 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (exp (/ -1 x)) 1))) into (- (exp (/ -1 x)) 1)
1540201426.963 * [misc]backup-simplify:  Simplify (+ (* -1 (- (exp (/ -1 x)) 1)) (* 0 0)) into (- 1 (exp (/ -1 x)))
1540201426.963 * [misc]backup-simplify:  Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x)))
1540201426.963 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.963 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.964 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ -1 x)) 1)))) into 0
1540201426.964 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))) into 0
1540201426.964 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.964 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.964 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.964 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))) into 0
1540201426.965 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))) into 0
1540201426.965 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.965 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.965 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.965 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))) into 0
1540201426.966 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))) into 0
1540201426.966 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.966 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.966 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.966 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))))) into 0
1540201426.967 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))) into 0
1540201426.967 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.967 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.967 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.968 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))))) into 0
1540201426.969 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))))) into 0
1540201426.969 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.969 * [misc]backup-simplify:  Simplify (- 0) into 0
1540201426.969 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540201426.970 * [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
1540201426.971 * [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
1540201426.971 * [misc]backup-simplify:  Simplify 0 into 0
1540201426.972 * [misc]backup-simplify:  Simplify (* (- 1 (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (/ (- 1 (exp x)) x))
1540201426.972 * * * [misc]progress:  simplifying candidates
1540201426.972 * * * * [misc]progress:  [ 1 / 41 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (log (exp (/ (expm1 x) x))))))>
1540201426.972 * * * * [misc]progress:  [ 2 / 41 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (log (exp (/ (expm1 x) x))))))>
1540201426.972 * * * * [misc]progress:  [ 3 / 41 ] simplifiying candidate #<alt (λ (x) (+ (log (* (cbrt (exp (/ (expm1 x) x))) (cbrt (exp (/ (expm1 x) x))))) (log (cbrt (exp (/ (expm1 x) x))))))>
1540201426.972 * [enter]simplify:  Simplifying (log (* (cbrt (exp (/ (expm1 x) x))) (cbrt (exp (/ (expm1 x) x)))))
1540201426.972 * * [misc]simplify:  iters left: 6 (7 enodes)
1540201426.977 * * [misc]simplify:  iters left: 5 (9 enodes)
1540201426.980 * [exit]simplify:  Simplified to (log (* (cbrt (exp (/ (expm1 x) x))) (cbrt (exp (/ (expm1 x) x)))))
1540201426.980 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log (* (cbrt (exp (/ (expm1 x) x))) (cbrt (exp (/ (expm1 x) x))))) (log (cbrt (exp (/ (expm1 x) x))))))
1540201426.980 * * * * [misc]progress:  [ 4 / 41 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (exp (/ (expm1 x) x)))) (log (sqrt (exp (/ (expm1 x) x))))))>
1540201426.980 * [enter]simplify:  Simplifying (log (sqrt (exp (/ (expm1 x) x))))
1540201426.980 * * [misc]simplify:  iters left: 6 (6 enodes)
1540201426.982 * [exit]simplify:  Simplified to (log (sqrt (exp (/ (expm1 x) x))))
1540201426.982 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log (sqrt (exp (/ (expm1 x) x)))) (log (sqrt (exp (/ (expm1 x) x))))))
1540201426.982 * * * * [misc]progress:  [ 5 / 41 ] simplifiying candidate #<alt (λ (x) (+ (log 1) (log (exp (/ (expm1 x) x)))))>
1540201426.983 * [enter]simplify:  Simplifying (log 1)
1540201426.983 * * [misc]simplify:  iters left: 1 (2 enodes)
1540201426.984 * [exit]simplify:  Simplified to 0
1540201426.984 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ 0 (log (exp (/ (expm1 x) x)))))
1540201426.984 * * * * [misc]progress:  [ 6 / 41 ] simplifiying candidate #<alt (λ (x) (- (log (exp (/ (exp x) x))) (log (exp (/ 1 x)))))>
1540201426.984 * [enter]simplify:  Simplifying (log (exp (/ (exp x) x)))
1540201426.984 * * [misc]simplify:  iters left: 5 (5 enodes)
1540201426.986 * [exit]simplify:  Simplified to (/ (exp x) x)
1540201426.986 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (/ (exp x) x) (log (exp (/ 1 x)))))
1540201426.986 * * * * [misc]progress:  [ 7 / 41 ] simplifiying candidate #<alt (λ (x) (* 1 (log (exp (/ (expm1 x) x)))))>
1540201426.986 * * * * [misc]progress:  [ 8 / 41 ] simplifiying candidate #<alt (λ (x) (* (cbrt (/ (expm1 x) x)) (log (exp (* (cbrt (/ (expm1 x) x)) (cbrt (/ (expm1 x) x)))))))>
1540201426.986 * [enter]simplify:  Simplifying (cbrt (/ (expm1 x) x))
1540201426.986 * * [misc]simplify:  iters left: 4 (4 enodes)
1540201426.987 * [exit]simplify:  Simplified to (cbrt (/ (expm1 x) x))
1540201426.987 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (cbrt (/ (expm1 x) x)) (log (exp (* (cbrt (/ (expm1 x) x)) (cbrt (/ (expm1 x) x)))))))
1540201426.987 * * * * [misc]progress:  [ 9 / 41 ] simplifiying candidate #<alt (λ (x) (* (sqrt (/ (expm1 x) x)) (log (exp (sqrt (/ (expm1 x) x))))))>
1540201426.988 * [enter]simplify:  Simplifying (sqrt (/ (expm1 x) x))
1540201426.988 * * [misc]simplify:  iters left: 4 (4 enodes)
1540201426.989 * [exit]simplify:  Simplified to (sqrt (/ (expm1 x) x))
1540201426.989 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (/ (expm1 x) x)) (log (exp (sqrt (/ (expm1 x) x))))))
1540201426.989 * * * * [misc]progress:  [ 10 / 41 ] simplifiying candidate #<alt (λ (x) (* (/ (expm1 x) x) (log (exp 1))))>
1540201426.989 * [enter]simplify:  Simplifying (/ (expm1 x) x)
1540201426.989 * * [misc]simplify:  iters left: 3 (3 enodes)
1540201426.990 * [exit]simplify:  Simplified to (/ (expm1 x) x)
1540201426.990 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ (expm1 x) x) (log (exp 1))))
1540201426.990 * * * * [misc]progress:  [ 11 / 41 ] simplifiying candidate #<alt (λ (x) (* (/ 1 x) (log (exp (expm1 x)))))>
1540201426.990 * [enter]simplify:  Simplifying (/ 1 x)
1540201426.991 * * [misc]simplify:  iters left: 2 (3 enodes)
1540201426.992 * * [misc]simplify:  iters left: 1 (5 enodes)
1540201426.993 * [exit]simplify:  Simplified to (/ 1 x)
1540201426.993 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ 1 x) (log (exp (expm1 x)))))
1540201426.993 * * * * [misc]progress:  [ 12 / 41 ] simplifiying candidate #<alt (λ (x) (pow (log (exp (/ (expm1 x) x))) 1))>
1540201426.993 * * * * [misc]progress:  [ 13 / 41 ] simplifiying candidate #<alt (λ (x) (/ (expm1 x) x))>
1540201426.993 * [enter]simplify:  Simplifying (expm1 x)
1540201426.993 * * [misc]simplify:  iters left: 1 (2 enodes)
1540201426.994 * [exit]simplify:  Simplified to (expm1 x)
1540201426.994 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (expm1 x) x))
1540201426.994 * * * * [misc]progress:  [ 14 / 41 ] simplifiying candidate #<alt (λ (x) (exp (log (log (exp (/ (expm1 x) x))))))>
1540201426.994 * * * * [misc]progress:  [ 15 / 41 ] simplifiying candidate #<alt (λ (x) (log (exp (log (exp (/ (expm1 x) x))))))>
1540201426.994 * * * * [misc]progress:  [ 16 / 41 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (log (exp (/ (expm1 x) x)))) (cbrt (log (exp (/ (expm1 x) x))))) (cbrt (log (exp (/ (expm1 x) x))))))>
1540201426.994 * * * * [misc]progress:  [ 17 / 41 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (exp (/ (expm1 x) x))) (log (exp (/ (expm1 x) x)))) (log (exp (/ (expm1 x) x))))))>
1540201426.994 * * * * [misc]progress:  [ 18 / 41 ] simplifiying candidate #<alt (λ (x) (* (sqrt (log (exp (/ (expm1 x) x)))) (sqrt (log (exp (/ (expm1 x) x))))))>
1540201426.994 * * * * [misc]progress:  [ 19 / 41 ] simplifiying candidate #<alt (λ (x) (* 1 (log (exp (/ (expm1 x) x)))))>
1540201426.994 * * * * [misc]progress:  [ 20 / 41 ] simplifiying candidate #<alt (λ (x) (log (exp (log1p (expm1 (/ (expm1 x) x))))))>
1540201426.994 * * * * [misc]progress:  [ 21 / 41 ] simplifiying candidate #<alt (λ (x) (log (exp (expm1 (log1p (/ (expm1 x) x))))))>
1540201426.994 * * * * [misc]progress:  [ 22 / 41 ] simplifiying candidate #<alt (λ (x) (log (exp (pow (/ (expm1 x) x) 1))))>
1540201426.994 * * * * [misc]progress:  [ 23 / 41 ] simplifiying candidate #<alt (λ (x) (log (exp (exp (log (/ (expm1 x) x))))))>
1540201426.994 * * * * [misc]progress:  [ 24 / 41 ] simplifiying candidate #<alt (λ (x) (log (exp (log (exp (/ (expm1 x) x))))))>
1540201426.994 * * * * [misc]progress:  [ 25 / 41 ] simplifiying candidate #<alt (λ (x) (log (exp (* (* (cbrt (/ (expm1 x) x)) (cbrt (/ (expm1 x) x))) (cbrt (/ (expm1 x) x))))))>
1540201426.994 * * * * [misc]progress:  [ 26 / 41 ] simplifiying candidate #<alt (λ (x) (log (exp (cbrt (* (* (/ (expm1 x) x) (/ (expm1 x) x)) (/ (expm1 x) x))))))>
1540201426.995 * * * * [misc]progress:  [ 27 / 41 ] simplifiying candidate #<alt (λ (x) (log (exp (* (sqrt (/ (expm1 x) x)) (sqrt (/ (expm1 x) x))))))>
1540201426.995 * * * * [misc]progress:  [ 28 / 41 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (- (expm1 x)) (- x)))))>
1540201426.995 * * * * [misc]progress:  [ 29 / 41 ] simplifiying candidate #<alt (λ (x) (log (exp (- (/ (exp x) x) (/ 1 x)))))>
1540201426.995 * [enter]simplify:  Simplifying (/ (exp x) x)
1540201426.995 * * [misc]simplify:  iters left: 3 (3 enodes)
1540201426.996 * [exit]simplify:  Simplified to (/ (exp x) x)
1540201426.996 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (log (exp (- (/ (exp x) x) (/ 1 x)))))
1540201426.996 * * * * [misc]progress:  [ 30 / 41 ] simplifiying candidate #<alt (λ (x) (log (exp (* 1 (/ (expm1 x) x)))))>
1540201426.996 * * * * [misc]progress:  [ 31 / 41 ] simplifiying candidate #<alt (λ (x) (log (exp (* (expm1 x) (/ 1 x)))))>
1540201426.996 * * * * [misc]progress:  [ 32 / 41 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 1 (/ x (expm1 x))))))>
1540201426.996 * * * * [misc]progress:  [ 33 / 41 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) (/ x (cbrt (expm1 x)))))))>
1540201426.996 * [enter]simplify:  Simplifying (* (cbrt (expm1 x)) (cbrt (expm1 x)))
1540201426.996 * * [misc]simplify:  iters left: 4 (4 enodes)
1540201426.998 * [exit]simplify:  Simplified to (* (cbrt (expm1 x)) (cbrt (expm1 x)))
1540201426.998 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (log (exp (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) (/ x (cbrt (expm1 x)))))))
1540201426.998 * * * * [misc]progress:  [ 34 / 41 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (sqrt (expm1 x)) (/ x (sqrt (expm1 x)))))))>
1540201426.998 * [enter]simplify:  Simplifying (sqrt (expm1 x))
1540201426.998 * * [misc]simplify:  iters left: 2 (3 enodes)
1540201426.999 * [exit]simplify:  Simplified to (sqrt (expm1 x))
1540201426.999 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (log (exp (/ (sqrt (expm1 x)) (/ x (sqrt (expm1 x)))))))
1540201426.999 * * * * [misc]progress:  [ 35 / 41 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 1 (/ x (expm1 x))))))>
1540201426.999 * * * * [misc]progress:  [ 36 / 41 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))>
1540201426.999 * [enter]simplify:  Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
1540201426.999 * * [misc]simplify:  iters left: 6 (10 enodes)
1540201427.002 * * [misc]simplify:  iters left: 5 (21 enodes)
1540201427.005 * * [misc]simplify:  iters left: 4 (35 enodes)
1540201427.010 * * [misc]simplify:  iters left: 3 (56 enodes)
1540201427.017 * * [misc]simplify:  iters left: 2 (76 enodes)
1540201427.028 * * [misc]simplify:  iters left: 1 (91 enodes)
1540201427.034 * [exit]simplify:  Simplified to (fma x (fma x 1/6 1/2) 1)
1540201427.034 * [misc]simplify:  Simplified (2) to (λ (x) (fma x (fma x 1/6 1/2) 1))
1540201427.034 * * * * [misc]progress:  [ 37 / 41 ] simplifiying candidate #<alt (λ (x) (/ (- (exp x) 1) x))>
1540201427.034 * [enter]simplify:  Simplifying (/ (- (exp x) 1) x)
1540201427.034 * * [misc]simplify:  iters left: 5 (5 enodes)
1540201427.036 * * [misc]simplify:  iters left: 4 (14 enodes)
1540201427.037 * * [misc]simplify:  iters left: 3 (16 enodes)
1540201427.039 * * [misc]simplify:  iters left: 2 (18 enodes)
1540201427.041 * [exit]simplify:  Simplified to (/ (expm1 x) x)
1540201427.041 * [misc]simplify:  Simplified (2) to (λ (x) (/ (expm1 x) x))
1540201427.041 * * * * [misc]progress:  [ 38 / 41 ] simplifiying candidate #<alt (λ (x) (* -1 (/ (- 1 (exp x)) x)))>
1540201427.041 * [enter]simplify:  Simplifying (* -1 (/ (- 1 (exp x)) x))
1540201427.041 * * [misc]simplify:  iters left: 6 (7 enodes)
1540201427.043 * * [misc]simplify:  iters left: 5 (18 enodes)
1540201427.046 * * [misc]simplify:  iters left: 4 (32 enodes)
1540201427.053 * * [misc]simplify:  iters left: 3 (55 enodes)
1540201427.069 * * [misc]simplify:  iters left: 2 (89 enodes)
1540201427.099 * * [misc]simplify:  iters left: 1 (139 enodes)
1540201427.145 * [exit]simplify:  Simplified to (fma (/ 1 x) (exp x) (/ -1 x))
1540201427.145 * [misc]simplify:  Simplified (2) to (λ (x) (fma (/ 1 x) (exp x) (/ -1 x)))
1540201427.146 * * * * [misc]progress:  [ 39 / 41 ] simplifiying candidate #<alt (λ (x) (log (exp (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)))))>
1540201427.146 * [enter]simplify:  Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
1540201427.146 * * [misc]simplify:  iters left: 6 (10 enodes)
1540201427.148 * * [misc]simplify:  iters left: 5 (21 enodes)
1540201427.151 * * [misc]simplify:  iters left: 4 (35 enodes)
1540201427.162 * * [misc]simplify:  iters left: 3 (56 enodes)
1540201427.177 * * [misc]simplify:  iters left: 2 (76 enodes)
1540201427.187 * * [misc]simplify:  iters left: 1 (91 enodes)
1540201427.193 * [exit]simplify:  Simplified to (fma x (fma x 1/6 1/2) 1)
1540201427.193 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (log (exp (fma x (fma x 1/6 1/2) 1))))
1540201427.194 * * * * [misc]progress:  [ 40 / 41 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (- (exp x) 1) x))))>
1540201427.194 * [enter]simplify:  Simplifying (/ (- (exp x) 1) x)
1540201427.194 * * [misc]simplify:  iters left: 5 (5 enodes)
1540201427.195 * * [misc]simplify:  iters left: 4 (14 enodes)
1540201427.197 * * [misc]simplify:  iters left: 3 (16 enodes)
1540201427.199 * * [misc]simplify:  iters left: 2 (18 enodes)
1540201427.201 * [exit]simplify:  Simplified to (/ (expm1 x) x)
1540201427.201 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (log (exp (/ (expm1 x) x))))
1540201427.201 * * * * [misc]progress:  [ 41 / 41 ] simplifiying candidate #<alt (λ (x) (log (exp (* -1 (/ (- 1 (exp x)) x)))))>
1540201427.201 * [enter]simplify:  Simplifying (* -1 (/ (- 1 (exp x)) x))
1540201427.201 * * [misc]simplify:  iters left: 6 (7 enodes)
1540201427.202 * * [misc]simplify:  iters left: 5 (18 enodes)
1540201427.206 * * [misc]simplify:  iters left: 4 (32 enodes)
1540201427.212 * * [misc]simplify:  iters left: 3 (55 enodes)
1540201427.221 * * [misc]simplify:  iters left: 2 (89 enodes)
1540201427.235 * * [misc]simplify:  iters left: 1 (139 enodes)
1540201427.275 * [exit]simplify:  Simplified to (fma (/ 1 x) (exp x) (/ -1 x))
1540201427.275 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (log (exp (fma (/ 1 x) (exp x) (/ -1 x)))))
1540201427.275 * * * [misc]progress:  adding candidates to table
1540201427.624 * [misc]progress:  [Phase 3 of 3] Extracting.
1540201427.624 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (log (exp (/ (expm1 x) x))))> #<alt (λ (x) (/ 1 (/ x (expm1 x))))>)
1540201427.624 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1540201427.624 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (log (exp (/ (expm1 x) x))))> #<alt (λ (x) (/ 1 (/ x (expm1 x))))>)
1540201427.640 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1540201427.640 * [enter]simplify:  Simplifying (/ 1 (/ x (expm1 x)))
1540201427.640 * * [misc]simplify:  iters left: 5 (5 enodes)
1540201427.641 * * [misc]simplify:  iters left: 4 (7 enodes)
1540201427.641 * [exit]simplify:  Simplified to (/ 1 (/ x (expm1 x)))
1540201427.641 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1540201427.662 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1540201427.663 * * * * [misc]points:  Setting MPFR precision to 1088
1540201427.664 * * * * [misc]points:  Setting MPFR precision to 1344
1540201427.665 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1540201427.666 * * * * [misc]points:  Setting MPFR precision to 1088
1540201427.667 * * * * [misc]points:  Setting MPFR precision to 1344
1540201427.668 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1540201427.670 * * * * [misc]points:  Setting MPFR precision to 1088
1540201427.672 * * * * [misc]points:  Setting MPFR precision to 1344
1540201427.676 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1540201427.679 * * * * [misc]points:  Setting MPFR precision to 1088
1540201427.688 * * * * [misc]points:  Setting MPFR precision to 1344
1540201427.697 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1540201427.700 * * * * [misc]points:  Setting MPFR precision to 1088
1540201427.715 * * * * [misc]points:  Setting MPFR precision to 1344
1540201427.729 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1540201427.732 * * * * [misc]points:  Setting MPFR precision to 1088
1540201427.759 * * * * [misc]points:  Setting MPFR precision to 1344
1540201427.775 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1540201427.777 * * * * [misc]points:  Setting MPFR precision to 1088
1540201427.806 * * * * [misc]points:  Setting MPFR precision to 1344
1540201427.887 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1540201427.890 * * * * [misc]points:  Setting MPFR precision to 1088
1540201427.987 * * * * [misc]points:  Setting MPFR precision to 1344
1540201428.097 * * * * [misc]points:  Computing exacts for 8000 points
1540201428.100 * * * * [misc]points:  Setting MPFR precision to 1088
1540201428.537 * * * * [misc]points:  Setting MPFR precision to 1344
1540201428.978 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540201428.979 * * * * [misc]points:  Sampling 2010 additional inputs, on iter 1 have 5990 / 8000
1540201428.988 * * * * [misc]points:  Computing exacts on every 125 of 2010 points to ramp up precision
1540201428.992 * * * * [misc]points:  Setting MPFR precision to 1088
1540201428.993 * * * * [misc]points:  Setting MPFR precision to 1344
1540201428.994 * * * * [misc]points:  Computing exacts on every 62 of 2010 points to ramp up precision
1540201428.996 * * * * [misc]points:  Setting MPFR precision to 1088
1540201428.999 * * * * [misc]points:  Setting MPFR precision to 1344
1540201429.001 * * * * [misc]points:  Computing exacts on every 31 of 2010 points to ramp up precision
1540201429.004 * * * * [misc]points:  Setting MPFR precision to 1088
1540201429.008 * * * * [misc]points:  Setting MPFR precision to 1344
1540201429.011 * * * * [misc]points:  Computing exacts on every 15 of 2010 points to ramp up precision
1540201429.013 * * * * [misc]points:  Setting MPFR precision to 1088
1540201429.017 * * * * [misc]points:  Setting MPFR precision to 1344
1540201429.021 * * * * [misc]points:  Computing exacts on every 7 of 2010 points to ramp up precision
1540201429.023 * * * * [misc]points:  Setting MPFR precision to 1088
1540201429.031 * * * * [misc]points:  Setting MPFR precision to 1344
1540201429.039 * * * * [misc]points:  Computing exacts on every 3 of 2010 points to ramp up precision
1540201429.040 * * * * [misc]points:  Setting MPFR precision to 1088
1540201429.070 * * * * [misc]points:  Setting MPFR precision to 1344
1540201429.101 * * * * [misc]points:  Computing exacts for 2010 points
1540201429.118 * * * * [misc]points:  Setting MPFR precision to 1088
1540201429.223 * * * * [misc]points:  Setting MPFR precision to 1344
1540201429.362 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540201429.362 * * * * [misc]points:  Sampling 457 additional inputs, on iter 2 have 7543 / 8000
1540201429.365 * * * * [misc]points:  Computing exacts on every 28 of 457 points to ramp up precision
1540201429.368 * * * * [misc]points:  Setting MPFR precision to 1088
1540201429.368 * * * * [misc]points:  Setting MPFR precision to 1344
1540201429.369 * * * * [misc]points:  Computing exacts on every 14 of 457 points to ramp up precision
1540201429.372 * * * * [misc]points:  Setting MPFR precision to 1088
1540201429.374 * * * * [misc]points:  Setting MPFR precision to 1344
1540201429.376 * * * * [misc]points:  Computing exacts on every 7 of 457 points to ramp up precision
1540201429.379 * * * * [misc]points:  Setting MPFR precision to 1088
1540201429.382 * * * * [misc]points:  Setting MPFR precision to 1344
1540201429.420 * * * * [misc]points:  Computing exacts on every 3 of 457 points to ramp up precision
1540201429.424 * * * * [misc]points:  Setting MPFR precision to 1088
1540201429.434 * * * * [misc]points:  Setting MPFR precision to 1344
1540201429.438 * * * * [misc]points:  Computing exacts for 457 points
1540201429.440 * * * * [misc]points:  Setting MPFR precision to 1088
1540201429.454 * * * * [misc]points:  Setting MPFR precision to 1344
1540201429.468 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540201429.469 * * * * [misc]points:  Sampling 105 additional inputs, on iter 3 have 7895 / 8000
1540201429.469 * * * * [misc]points:  Computing exacts on every 6 of 105 points to ramp up precision
1540201429.471 * * * * [misc]points:  Setting MPFR precision to 1088
1540201429.472 * * * * [misc]points:  Setting MPFR precision to 1344
1540201429.472 * * * * [misc]points:  Computing exacts on every 3 of 105 points to ramp up precision
1540201429.474 * * * * [misc]points:  Setting MPFR precision to 1088
1540201429.475 * * * * [misc]points:  Setting MPFR precision to 1344
1540201429.476 * * * * [misc]points:  Computing exacts for 105 points
1540201429.477 * * * * [misc]points:  Setting MPFR precision to 1088
1540201429.481 * * * * [misc]points:  Setting MPFR precision to 1344
1540201429.485 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540201429.485 * * * * [misc]points:  Sampling 26 additional inputs, on iter 4 have 7974 / 8000
1540201429.485 * * * * [misc]points:  Computing exacts for 26 points
1540201429.487 * * * * [misc]points:  Setting MPFR precision to 1088
1540201429.488 * * * * [misc]points:  Setting MPFR precision to 1344
1540201429.489 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540201429.489 * * * * [misc]points:  Sampling 7 additional inputs, on iter 5 have 7993 / 8000
1540201429.489 * * * * [misc]points:  Computing exacts for 7 points
1540201429.491 * * * * [misc]points:  Setting MPFR precision to 1088
1540201429.491 * * * * [misc]points:  Setting MPFR precision to 1344
1540201429.491 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540201429.491 * * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 7998 / 8000
1540201429.491 * * * * [misc]points:  Computing exacts for 4 points
1540201429.494 * * * * [misc]points:  Setting MPFR precision to 1088
1540201429.494 * * * * [misc]points:  Setting MPFR precision to 1344
1540201429.495 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540201429.495 * * * * [exit]points:  Sampled 8001 points with exact outputs
1540201429.760 * [misc]regime-testing:  Baseline error score: 0.014240601562950723
1540201429.760 * [misc]regime-testing:  End program error score: 0.014240601562950723
1540201429.761 * [misc]regime-testing:  Oracle error score: 0.00839624062518029
1540201429.827 * [misc]regime-testing:  Target error score: 38.74631499206252