1545040560.178 * [misc]progress:  [Phase 1 of 3] Setting up.
1545040560.179 * * * [misc]progress:  [1/2] Preparing points
1545040560.180 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545040560.643 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040560.644 * * * * [misc]points:  Sampling 58 additional inputs, on iter 1 have 198 / 256
1545040560.676 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040560.676 * * * * [misc]points:  Sampling 10 additional inputs, on iter 2 have 246 / 256
1545040560.683 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040560.683 * * * * [misc]points:  Sampling 4 additional inputs, on iter 3 have 254 / 256
1545040560.687 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040560.687 * * * * [exit]points:  Sampled 257 points with exact outputs
1545040560.688 * * * [misc]progress:  [2/2] Setting up program.
1545040560.693 * [misc]progress:  [Phase 2 of 3] Improving.
1545040560.693 * [enter]simplify:  Simplifying (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1)))
1545040560.696 * * [misc]simplify:  iters left: 6 (10 enodes)
1545040560.733 * * [misc]simplify:  iters left: 5 (24 enodes)
1545040560.736 * * [misc]simplify:  iters left: 4 (27 enodes)
1545040560.743 * * [misc]simplify:  iters left: 3 (37 enodes)
1545040560.748 * * [misc]simplify:  iters left: 2 (54 enodes)
1545040560.768 * * [misc]simplify:  iters left: 1 (90 enodes)
1545040560.792 * [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
1545040560.800 * * [misc]progress:  iteration 1 / 4
1545040560.800 * * * [misc]progress:  picking best candidate
1545040560.803 * * * * [misc]pick:  Picked  #<alt (λ (x) (sqrt (+ (exp x) 1)))>
1545040560.803 * * * [misc]progress:  localizing error
1545040560.823 * * * [misc]progress:  generating rewritten candidates
1545040560.823 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1)
1545040560.828 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1545040560.831 * * * [misc]progress:  generating series expansions
1545040560.831 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1)
1545040560.834 * [misc]backup-simplify:  Simplify (+ (exp x) 1) into (+ (exp x) 1)
1545040560.834 * [misc]approximate:  Taking taylor expansion of (+ (exp x) 1) in (x) around 0
1545040560.835 * [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
1545040560.835 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1545040560.835 * [misc]taylor:  Taking taylor expansion of x in x
1545040560.835 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.835 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.835 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545040560.835 * [misc]taylor:  Taking taylor expansion of 1 in x
1545040560.835 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.835 * [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
1545040560.835 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1545040560.835 * [misc]taylor:  Taking taylor expansion of x in x
1545040560.835 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.836 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.836 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545040560.836 * [misc]taylor:  Taking taylor expansion of 1 in x
1545040560.836 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.836 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1545040560.837 * [misc]backup-simplify:  Simplify 2 into 2
1545040560.840 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1545040560.840 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545040560.840 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.842 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1545040560.842 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1545040560.842 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1545040560.843 * [misc]backup-simplify:  Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2))
1545040560.843 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
1545040560.843 * [misc]approximate:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0
1545040560.843 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
1545040560.843 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1545040560.843 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545040560.843 * [misc]taylor:  Taking taylor expansion of x in x
1545040560.843 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.843 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.843 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040560.843 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1545040560.843 * [misc]taylor:  Taking taylor expansion of 1 in x
1545040560.843 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.843 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
1545040560.843 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1545040560.843 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545040560.843 * [misc]taylor:  Taking taylor expansion of x in x
1545040560.844 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.844 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.844 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040560.844 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1545040560.844 * [misc]taylor:  Taking taylor expansion of 1 in x
1545040560.844 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.844 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
1545040560.844 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
1545040560.844 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.844 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.844 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.844 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.844 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.844 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.845 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.845 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.845 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.845 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.845 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.845 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.845 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1)
1545040560.845 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (- x))) 1) into (+ (exp (/ -1 x)) 1)
1545040560.845 * [misc]approximate:  Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0
1545040560.845 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
1545040560.845 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1545040560.845 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545040560.845 * [misc]taylor:  Taking taylor expansion of -1 in x
1545040560.845 * [misc]backup-simplify:  Simplify -1 into -1
1545040560.845 * [misc]taylor:  Taking taylor expansion of x in x
1545040560.845 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.845 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.845 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545040560.845 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1545040560.845 * [misc]taylor:  Taking taylor expansion of 1 in x
1545040560.845 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.845 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
1545040560.846 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1545040560.846 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545040560.846 * [misc]taylor:  Taking taylor expansion of -1 in x
1545040560.846 * [misc]backup-simplify:  Simplify -1 into -1
1545040560.846 * [misc]taylor:  Taking taylor expansion of x in x
1545040560.846 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.846 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.846 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545040560.846 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1545040560.846 * [misc]taylor:  Taking taylor expansion of 1 in x
1545040560.846 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.846 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
1545040560.846 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
1545040560.846 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.846 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.846 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.846 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.846 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.846 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.847 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.847 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.847 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.847 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.847 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.847 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.847 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1)
1545040560.847 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1545040560.847 * [misc]backup-simplify:  Simplify (sqrt (+ (exp x) 1)) into (sqrt (+ (exp x) 1))
1545040560.847 * [misc]approximate:  Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0
1545040560.847 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
1545040560.847 * [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
1545040560.847 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1545040560.847 * [misc]taylor:  Taking taylor expansion of x in x
1545040560.847 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.847 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.847 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545040560.847 * [misc]taylor:  Taking taylor expansion of 1 in x
1545040560.847 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.847 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1545040560.848 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1545040560.848 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1545040560.849 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545040560.849 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
1545040560.849 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
1545040560.849 * [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
1545040560.849 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1545040560.849 * [misc]taylor:  Taking taylor expansion of x in x
1545040560.849 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.849 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.849 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545040560.849 * [misc]taylor:  Taking taylor expansion of 1 in x
1545040560.849 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.849 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1545040560.849 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1545040560.850 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1545040560.850 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545040560.851 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
1545040560.851 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1545040560.851 * [misc]backup-simplify:  Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2))
1545040560.853 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1545040560.853 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1545040560.854 * [misc]backup-simplify:  Simplify (/ (- 1/2 (pow (/ 1/2 (sqrt 2)) 2) (+)) (* 2 (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2)))
1545040560.856 * [misc]backup-simplify:  Simplify (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2)))
1545040560.858 * [misc]backup-simplify:  Simplify (+ (* (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) (pow x 2)) (+ (* (/ 1/2 (sqrt 2)) x) (sqrt 2))) into (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
1545040560.858 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
1545040560.858 * [misc]approximate:  Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0
1545040560.858 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
1545040560.858 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
1545040560.858 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1545040560.858 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545040560.858 * [misc]taylor:  Taking taylor expansion of x in x
1545040560.858 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.858 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.858 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040560.858 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1545040560.858 * [misc]taylor:  Taking taylor expansion of 1 in x
1545040560.858 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.858 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
1545040560.858 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
1545040560.858 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.858 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1545040560.859 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
1545040560.859 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
1545040560.859 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1545040560.859 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545040560.859 * [misc]taylor:  Taking taylor expansion of x in x
1545040560.859 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.859 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.859 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040560.859 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1545040560.859 * [misc]taylor:  Taking taylor expansion of 1 in x
1545040560.859 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.859 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
1545040560.859 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
1545040560.859 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.859 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1545040560.859 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
1545040560.859 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.859 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.860 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1545040560.860 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.860 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.860 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1545040560.860 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.861 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.861 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1545040560.861 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.861 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.861 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1545040560.862 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.862 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.862 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
1545040560.862 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.862 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1))
1545040560.862 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ 1 (- x))) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
1545040560.862 * [misc]approximate:  Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0
1545040560.862 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
1545040560.863 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
1545040560.863 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1545040560.863 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545040560.863 * [misc]taylor:  Taking taylor expansion of -1 in x
1545040560.863 * [misc]backup-simplify:  Simplify -1 into -1
1545040560.863 * [misc]taylor:  Taking taylor expansion of x in x
1545040560.863 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.863 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.863 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545040560.863 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1545040560.863 * [misc]taylor:  Taking taylor expansion of 1 in x
1545040560.863 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.863 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
1545040560.863 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
1545040560.863 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.863 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1545040560.863 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
1545040560.863 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
1545040560.863 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1545040560.863 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545040560.863 * [misc]taylor:  Taking taylor expansion of -1 in x
1545040560.863 * [misc]backup-simplify:  Simplify -1 into -1
1545040560.863 * [misc]taylor:  Taking taylor expansion of x in x
1545040560.863 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.863 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.864 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545040560.864 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1545040560.864 * [misc]taylor:  Taking taylor expansion of 1 in x
1545040560.864 * [misc]backup-simplify:  Simplify 1 into 1
1545040560.864 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
1545040560.864 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
1545040560.864 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.864 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1545040560.865 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
1545040560.865 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.865 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.866 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1545040560.866 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.866 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.866 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1545040560.866 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.866 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.867 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1545040560.867 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.868 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.868 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1545040560.868 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.868 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040560.869 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
1545040560.869 * [misc]backup-simplify:  Simplify 0 into 0
1545040560.869 * [misc]backup-simplify:  Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1))
1545040560.869 * * * [misc]progress:  simplifying candidates
1545040560.870 * * * * [misc]progress:  [ 1 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (log1p (expm1 (+ (exp x) 1)))))>
1545040560.870 * * * * [misc]progress:  [ 2 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (expm1 (log1p (+ (exp x) 1)))))>
1545040560.870 * * * * [misc]progress:  [ 3 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) 1)))>
1545040560.870 * [enter]simplify:  Simplifying (* (cbrt (exp x)) (cbrt (exp x)))
1545040560.871 * * [misc]simplify:  iters left: 4 (4 enodes)
1545040560.872 * [exit]simplify:  Simplified to (* (cbrt (exp x)) (cbrt (exp x)))
1545040560.872 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (sqrt (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) 1)))
1545040560.872 * * * * [misc]progress:  [ 4 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)))>
1545040560.872 * [enter]simplify:  Simplifying (sqrt (exp x))
1545040560.873 * * [misc]simplify:  iters left: 2 (3 enodes)
1545040560.873 * [exit]simplify:  Simplified to (sqrt (exp x))
1545040560.873 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)))
1545040560.874 * * * * [misc]progress:  [ 5 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (fma 1 (exp x) 1)))>
1545040560.874 * * * * [misc]progress:  [ 6 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (+ (exp x) 1) 1)))>
1545040560.874 * * * * [misc]progress:  [ 7 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (+ (exp x) 1)))))>
1545040560.874 * * * * [misc]progress:  [ 8 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (log (exp (+ (exp x) 1)))))>
1545040560.874 * * * * [misc]progress:  [ 9 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (* (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))) (cbrt (+ (exp x) 1)))))>
1545040560.874 * * * * [misc]progress:  [ 10 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)))))>
1545040560.874 * * * * [misc]progress:  [ 11 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)))))>
1545040560.874 * * * * [misc]progress:  [ 12 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040560.874 * * * * [misc]progress:  [ 13 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (* 1 (+ (exp x) 1))))>
1545040560.874 * * * * [misc]progress:  [ 14 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (- (* (exp x) (exp x)) (* 1 1)) (- (exp x) 1))))>
1545040560.874 * * * * [misc]progress:  [ 15 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (+ 1 (exp x))))>
1545040560.874 * * * * [misc]progress:  [ 16 / 37 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (sqrt (+ (exp x) 1)))))>
1545040560.874 * * * * [misc]progress:  [ 17 / 37 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (sqrt (+ (exp x) 1)))))>
1545040560.874 * * * * [misc]progress:  [ 18 / 37 ] simplifiying candidate #<alt (λ (x) (pow (+ (exp x) 1) 1/2))>
1545040560.874 * * * * [misc]progress:  [ 19 / 37 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (+ (exp x) 1)) 1))>
1545040560.874 * * * * [misc]progress:  [ 20 / 37 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (+ (exp x) 1)))))>
1545040560.874 * * * * [misc]progress:  [ 21 / 37 ] simplifiying candidate #<alt (λ (x) (log (exp (sqrt (+ (exp x) 1)))))>
1545040560.875 * * * * [misc]progress:  [ 22 / 37 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1)))) (cbrt (sqrt (+ (exp x) 1)))))>
1545040560.875 * * * * [misc]progress:  [ 23 / 37 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1))) (sqrt (+ (exp x) 1)))))>
1545040560.875 * * * * [misc]progress:  [ 24 / 37 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))) (sqrt (cbrt (+ (exp x) 1)))))>
1545040560.875 * [enter]simplify:  Simplifying (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))))
1545040560.875 * * [misc]simplify:  iters left: 6 (7 enodes)
1545040560.877 * * [misc]simplify:  iters left: 5 (11 enodes)
1545040560.880 * [exit]simplify:  Simplified to (fabs (cbrt (+ (exp x) 1)))
1545040560.880 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ (exp x) 1))) (sqrt (cbrt (+ (exp x) 1)))))
1545040560.880 * * * * [misc]progress:  [ 25 / 37 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))>
1545040560.881 * [enter]simplify:  Simplifying (sqrt (sqrt (+ (exp x) 1)))
1545040560.881 * * [misc]simplify:  iters left: 5 (6 enodes)
1545040560.883 * * [misc]simplify:  iters left: 4 (9 enodes)
1545040560.885 * [exit]simplify:  Simplified to (sqrt (sqrt (+ (exp x) 1)))
1545040560.885 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))
1545040560.885 * * * * [misc]progress:  [ 26 / 37 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (sqrt (+ (exp x) 1))))>
1545040560.885 * [enter]simplify:  Simplifying (sqrt 1)
1545040560.885 * * [misc]simplify:  iters left: 1 (2 enodes)
1545040560.887 * [exit]simplify:  Simplified to 1
1545040560.887 * [misc]simplify:  Simplified (2 1) to (λ (x) (* 1 (sqrt (+ (exp x) 1))))
1545040560.887 * * * * [misc]progress:  [ 27 / 37 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040560.887 * [enter]simplify:  Simplifying (sqrt (+ (pow (exp x) 3) (pow 1 3)))
1545040560.887 * * [misc]simplify:  iters left: 5 (8 enodes)
1545040560.891 * * [misc]simplify:  iters left: 4 (16 enodes)
1545040560.895 * * [misc]simplify:  iters left: 3 (20 enodes)
1545040560.899 * * [misc]simplify:  iters left: 2 (24 enodes)
1545040560.905 * [exit]simplify:  Simplified to (sqrt (fma (exp x) (* (exp x) (exp x)) 1))
1545040560.905 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (fma (exp x) (* (exp x) (exp x)) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040560.905 * * * * [misc]progress:  [ 28 / 37 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (- (* (exp x) (exp x)) (* 1 1))) (sqrt (- (exp x) 1))))>
1545040560.906 * [enter]simplify:  Simplifying (sqrt (- (* (exp x) (exp x)) (* 1 1)))
1545040560.906 * * [misc]simplify:  iters left: 6 (7 enodes)
1545040560.910 * * [misc]simplify:  iters left: 5 (16 enodes)
1545040560.914 * * [misc]simplify:  iters left: 4 (24 enodes)
1545040560.919 * * [misc]simplify:  iters left: 3 (28 enodes)
1545040560.925 * * [misc]simplify:  iters left: 2 (44 enodes)
1545040560.946 * * [misc]simplify:  iters left: 1 (75 enodes)
1545040560.971 * [exit]simplify:  Simplified to (sqrt (expm1 (+ x x)))
1545040560.971 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (expm1 (+ x x))) (sqrt (- (exp x) 1))))
1545040560.971 * * * * [misc]progress:  [ 29 / 37 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))>
1545040560.971 * * * * [misc]progress:  [ 30 / 37 ] simplifiying candidate #<alt (λ (x) (fabs (sqrt (+ (exp x) 1))))>
1545040560.972 * [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
1545040560.972 * * [misc]simplify:  iters left: 4 (5 enodes)
1545040560.972 * * [misc]simplify:  iters left: 3 (8 enodes)
1545040560.973 * [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
1545040560.973 * [misc]simplify:  Simplified (2 1) to (λ (x) (fabs (sqrt (+ (exp x) 1))))
1545040560.973 * * * * [misc]progress:  [ 31 / 37 ] simplifiying candidate #<alt (λ (x) (* 1 (sqrt (+ (exp x) 1))))>
1545040560.973 * * * * [misc]progress:  [ 32 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (+ x (+ (* 1/2 (pow x 2)) 2))))>
1545040560.974 * [enter]simplify:  Simplifying (+ x (+ (* 1/2 (pow x 2)) 2))
1545040560.974 * * [misc]simplify:  iters left: 6 (7 enodes)
1545040560.975 * * [misc]simplify:  iters left: 5 (14 enodes)
1545040560.977 * * [misc]simplify:  iters left: 4 (25 enodes)
1545040560.981 * * [misc]simplify:  iters left: 3 (39 enodes)
1545040560.985 * * [misc]simplify:  iters left: 2 (46 enodes)
1545040560.993 * * [misc]simplify:  iters left: 1 (52 enodes)
1545040561.017 * [exit]simplify:  Simplified to (fma (fma x 1/2 1) x 2)
1545040561.017 * [misc]simplify:  Simplified (2 1) to (λ (x) (sqrt (fma (fma x 1/2 1) x 2)))
1545040561.017 * * * * [misc]progress:  [ 33 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
1545040561.017 * [enter]simplify:  Simplifying (+ (exp x) 1)
1545040561.018 * * [misc]simplify:  iters left: 3 (4 enodes)
1545040561.018 * * [misc]simplify:  iters left: 2 (7 enodes)
1545040561.019 * [exit]simplify:  Simplified to (+ (exp x) 1)
1545040561.019 * [misc]simplify:  Simplified (2 1) to (λ (x) (sqrt (+ (exp x) 1)))
1545040561.019 * * * * [misc]progress:  [ 34 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
1545040561.019 * [enter]simplify:  Simplifying (+ (exp x) 1)
1545040561.019 * * [misc]simplify:  iters left: 3 (4 enodes)
1545040561.020 * * [misc]simplify:  iters left: 2 (7 enodes)
1545040561.021 * [exit]simplify:  Simplified to (+ (exp x) 1)
1545040561.021 * [misc]simplify:  Simplified (2 1) to (λ (x) (sqrt (+ (exp x) 1)))
1545040561.021 * * * * [misc]progress:  [ 35 / 37 ] simplifiying candidate #<alt (λ (x) (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))))>
1545040561.021 * [enter]simplify:  Simplifying (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
1545040561.021 * * [misc]simplify:  iters left: 6 (18 enodes)
1545040561.025 * * [misc]simplify:  iters left: 5 (40 enodes)
1545040561.033 * * [misc]simplify:  iters left: 4 (111 enodes)
1545040561.068 * * [misc]simplify:  iters left: 3 (276 enodes)
1545040561.238 * [exit]simplify:  Simplified to (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2)))
1545040561.238 * [misc]simplify:  Simplified (2) to (λ (x) (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2))))
1545040561.238 * * * * [misc]progress:  [ 36 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
1545040561.239 * [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
1545040561.239 * * [misc]simplify:  iters left: 4 (5 enodes)
1545040561.240 * * [misc]simplify:  iters left: 3 (8 enodes)
1545040561.242 * [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
1545040561.242 * [misc]simplify:  Simplified (2) to (λ (x) (sqrt (+ (exp x) 1)))
1545040561.242 * * * * [misc]progress:  [ 37 / 37 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
1545040561.243 * [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
1545040561.243 * * [misc]simplify:  iters left: 4 (5 enodes)
1545040561.244 * * [misc]simplify:  iters left: 3 (8 enodes)
1545040561.246 * [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
1545040561.246 * [misc]simplify:  Simplified (2) to (λ (x) (sqrt (+ (exp x) 1)))
1545040561.246 * * * [misc]progress:  adding candidates to table
1545040561.629 * * [misc]progress:  iteration 2 / 4
1545040561.630 * * * [misc]progress:  picking best candidate
1545040561.638 * * * * [misc]pick:  Picked  #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.638 * * * [misc]progress:  localizing error
1545040561.668 * * * [misc]progress:  generating rewritten candidates
1545040561.668 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 2)
1545040561.676 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1)
1545040561.684 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 1)
1545040561.695 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1)
1545040561.709 * * * [misc]progress:  generating series expansions
1545040561.709 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 2)
1545040561.710 * [misc]backup-simplify:  Simplify (- (* 1 1) (* (exp x) 1)) into (- 1 (exp x))
1545040561.710 * [misc]approximate:  Taking taylor expansion of (- 1 (exp x)) in (x) around 0
1545040561.710 * [misc]taylor:  Taking taylor expansion of (- 1 (exp x)) in x
1545040561.710 * [misc]taylor:  Taking taylor expansion of 1 in x
1545040561.710 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.710 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1545040561.710 * [misc]taylor:  Taking taylor expansion of x in x
1545040561.710 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.710 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.710 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545040561.710 * [misc]taylor:  Taking taylor expansion of (- 1 (exp x)) in x
1545040561.710 * [misc]taylor:  Taking taylor expansion of 1 in x
1545040561.710 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.710 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1545040561.710 * [misc]taylor:  Taking taylor expansion of x in x
1545040561.710 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.710 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.710 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545040561.711 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040561.711 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1545040561.711 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.712 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1545040561.713 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040561.713 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545040561.713 * [misc]backup-simplify:  Simplify -1 into -1
1545040561.715 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1545040561.715 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1545040561.715 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1545040561.715 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545040561.719 * [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
1545040561.719 * [misc]backup-simplify:  Simplify (- 1/6) into -1/6
1545040561.719 * [misc]backup-simplify:  Simplify (+ 0 -1/6) into -1/6
1545040561.719 * [misc]backup-simplify:  Simplify -1/6 into -1/6
1545040561.720 * [misc]backup-simplify:  Simplify (+ (* -1/6 (pow x 3)) (+ (* -1/2 (pow x 2)) (* -1 x))) into (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))
1545040561.720 * [misc]backup-simplify:  Simplify (- (* 1 1) (* (exp (/ 1 x)) 1)) into (- 1 (exp (/ 1 x)))
1545040561.721 * [misc]approximate:  Taking taylor expansion of (- 1 (exp (/ 1 x))) in (x) around 0
1545040561.721 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ 1 x))) in x
1545040561.721 * [misc]taylor:  Taking taylor expansion of 1 in x
1545040561.721 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.721 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1545040561.721 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545040561.721 * [misc]taylor:  Taking taylor expansion of x in x
1545040561.721 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.721 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.721 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040561.721 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1545040561.721 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ 1 x))) in x
1545040561.721 * [misc]taylor:  Taking taylor expansion of 1 in x
1545040561.721 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.721 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1545040561.721 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545040561.721 * [misc]taylor:  Taking taylor expansion of x in x
1545040561.721 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.721 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.721 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040561.721 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1545040561.722 * [misc]backup-simplify:  Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
1545040561.722 * [misc]backup-simplify:  Simplify (+ 1 (- (exp (/ 1 x)))) into (- 1 (exp (/ 1 x)))
1545040561.722 * [misc]backup-simplify:  Simplify (- 1 (exp (/ 1 x))) into (- 1 (exp (/ 1 x)))
1545040561.722 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040561.722 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040561.722 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.722 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040561.722 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040561.723 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.723 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040561.723 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040561.723 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.723 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040561.723 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040561.723 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.723 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040561.724 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040561.724 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.724 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040561.724 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040561.724 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.724 * [misc]backup-simplify:  Simplify (- 1 (exp (/ 1 (/ 1 x)))) into (- 1 (exp x))
1545040561.724 * [misc]backup-simplify:  Simplify (- (* 1 1) (* (exp (/ 1 (- x))) 1)) into (- 1 (exp (/ -1 x)))
1545040561.724 * [misc]approximate:  Taking taylor expansion of (- 1 (exp (/ -1 x))) in (x) around 0
1545040561.724 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ -1 x))) in x
1545040561.725 * [misc]taylor:  Taking taylor expansion of 1 in x
1545040561.725 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.725 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1545040561.725 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545040561.725 * [misc]taylor:  Taking taylor expansion of -1 in x
1545040561.725 * [misc]backup-simplify:  Simplify -1 into -1
1545040561.725 * [misc]taylor:  Taking taylor expansion of x in x
1545040561.725 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.725 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.725 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545040561.725 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1545040561.725 * [misc]taylor:  Taking taylor expansion of (- 1 (exp (/ -1 x))) in x
1545040561.725 * [misc]taylor:  Taking taylor expansion of 1 in x
1545040561.725 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.725 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1545040561.725 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545040561.725 * [misc]taylor:  Taking taylor expansion of -1 in x
1545040561.725 * [misc]backup-simplify:  Simplify -1 into -1
1545040561.725 * [misc]taylor:  Taking taylor expansion of x in x
1545040561.725 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.725 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.725 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545040561.725 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1545040561.726 * [misc]backup-simplify:  Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x)))
1545040561.726 * [misc]backup-simplify:  Simplify (+ 1 (- (exp (/ -1 x)))) into (- 1 (exp (/ -1 x)))
1545040561.726 * [misc]backup-simplify:  Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x)))
1545040561.726 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040561.726 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040561.726 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.726 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040561.727 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040561.727 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.727 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040561.727 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040561.727 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.727 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040561.727 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040561.727 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.727 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040561.728 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040561.728 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.728 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040561.728 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040561.728 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.728 * [misc]backup-simplify:  Simplify (- 1 (exp (/ -1 (/ 1 (- x))))) into (- 1 (exp x))
1545040561.728 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1)
1545040561.728 * [misc]backup-simplify:  Simplify (pow (exp x) 3) into (pow (exp x) 3)
1545040561.728 * [misc]approximate:  Taking taylor expansion of (pow (exp x) 3) in (x) around 0
1545040561.728 * [misc]taylor:  Taking taylor expansion of (pow (exp x) 3) in x
1545040561.728 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1545040561.728 * [misc]taylor:  Taking taylor expansion of x in x
1545040561.728 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.728 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.728 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545040561.729 * [misc]taylor:  Taking taylor expansion of (pow (exp x) 3) in x
1545040561.729 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1545040561.729 * [misc]taylor:  Taking taylor expansion of x in x
1545040561.729 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.729 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.729 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545040561.729 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545040561.730 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545040561.730 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.731 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1545040561.732 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1545040561.732 * [misc]backup-simplify:  Simplify (+ (* 1 2) (* 1 1)) into 3
1545040561.732 * [misc]backup-simplify:  Simplify 3 into 3
1545040561.734 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1545040561.734 * [misc]backup-simplify:  Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
1545040561.735 * [misc]backup-simplify:  Simplify (+ (* 1 2) (+ (* 1 2) (* 1/2 1))) into 9/2
1545040561.735 * [misc]backup-simplify:  Simplify 9/2 into 9/2
1545040561.735 * [misc]backup-simplify:  Simplify (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1)) into (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1))
1545040561.735 * [misc]backup-simplify:  Simplify (pow (exp (/ 1 x)) 3) into (pow (exp (/ 1 x)) 3)
1545040561.735 * [misc]approximate:  Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0
1545040561.735 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1545040561.735 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1545040561.735 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545040561.735 * [misc]taylor:  Taking taylor expansion of x in x
1545040561.735 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.735 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.735 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040561.735 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1545040561.736 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1545040561.736 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1545040561.736 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545040561.736 * [misc]taylor:  Taking taylor expansion of x in x
1545040561.736 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.736 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.736 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040561.736 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1545040561.736 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
1545040561.736 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) (pow (exp (/ 1 x)) 2)) into (pow (exp (/ 1 x)) 3)
1545040561.736 * [misc]backup-simplify:  Simplify (pow (exp (/ 1 x)) 3) into (pow (exp (/ 1 x)) 3)
1545040561.737 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
1545040561.737 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (pow (exp (/ 1 x)) 2))) into 0
1545040561.737 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.737 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
1545040561.738 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))) into 0
1545040561.738 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.738 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
1545040561.739 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))) into 0
1545040561.739 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.739 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
1545040561.740 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))) into 0
1545040561.740 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.741 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
1545040561.741 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))))) into 0
1545040561.742 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.742 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
1545040561.743 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))))) into 0
1545040561.743 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.743 * [misc]backup-simplify:  Simplify (pow (exp (/ 1 (/ 1 x))) 3) into (pow (exp x) 3)
1545040561.744 * [misc]backup-simplify:  Simplify (pow (exp (/ 1 (- x))) 3) into (pow (exp (/ -1 x)) 3)
1545040561.744 * [misc]approximate:  Taking taylor expansion of (pow (exp (/ -1 x)) 3) in (x) around 0
1545040561.744 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1545040561.744 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1545040561.744 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545040561.744 * [misc]taylor:  Taking taylor expansion of -1 in x
1545040561.744 * [misc]backup-simplify:  Simplify -1 into -1
1545040561.744 * [misc]taylor:  Taking taylor expansion of x in x
1545040561.744 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.744 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.744 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545040561.744 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1545040561.744 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1545040561.744 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1545040561.744 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545040561.744 * [misc]taylor:  Taking taylor expansion of -1 in x
1545040561.744 * [misc]backup-simplify:  Simplify -1 into -1
1545040561.744 * [misc]taylor:  Taking taylor expansion of x in x
1545040561.744 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.744 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.744 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545040561.745 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1545040561.745 * [misc]backup-simplify:  Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
1545040561.745 * [misc]backup-simplify:  Simplify (* (exp (/ -1 x)) (pow (exp (/ -1 x)) 2)) into (pow (exp (/ -1 x)) 3)
1545040561.745 * [misc]backup-simplify:  Simplify (pow (exp (/ -1 x)) 3) into (pow (exp (/ -1 x)) 3)
1545040561.745 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
1545040561.746 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (pow (exp (/ -1 x)) 2))) into 0
1545040561.746 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.746 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
1545040561.746 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))) into 0
1545040561.746 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.747 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
1545040561.747 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2))))) into 0
1545040561.747 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.748 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
1545040561.749 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))))) into 0
1545040561.749 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.749 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
1545040561.750 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2))))))) into 0
1545040561.750 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.751 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
1545040561.752 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))))))) into 0
1545040561.752 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.752 * [misc]backup-simplify:  Simplify (pow (exp (/ -1 (/ 1 (- x)))) 3) into (pow (exp x) 3)
1545040561.752 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 1)
1545040561.752 * [misc]backup-simplify:  Simplify (* (exp x) (exp x)) into (pow (exp x) 2)
1545040561.752 * [misc]approximate:  Taking taylor expansion of (pow (exp x) 2) in (x) around 0
1545040561.752 * [misc]taylor:  Taking taylor expansion of (pow (exp x) 2) in x
1545040561.752 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1545040561.752 * [misc]taylor:  Taking taylor expansion of x in x
1545040561.752 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.752 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.752 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545040561.752 * [misc]taylor:  Taking taylor expansion of (pow (exp x) 2) in x
1545040561.752 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1545040561.752 * [misc]taylor:  Taking taylor expansion of x in x
1545040561.752 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.752 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.752 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545040561.752 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545040561.752 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.753 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1545040561.754 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1545040561.754 * [misc]backup-simplify:  Simplify 2 into 2
1545040561.755 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1545040561.756 * [misc]backup-simplify:  Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
1545040561.756 * [misc]backup-simplify:  Simplify 2 into 2
1545040561.756 * [misc]backup-simplify:  Simplify (+ (* 2 (pow x 2)) (+ (* 2 x) 1)) into (+ (* 2 x) (+ (* 2 (pow x 2)) 1))
1545040561.756 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
1545040561.756 * [misc]approximate:  Taking taylor expansion of (pow (exp (/ 1 x)) 2) in (x) around 0
1545040561.756 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1545040561.756 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1545040561.756 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545040561.756 * [misc]taylor:  Taking taylor expansion of x in x
1545040561.756 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.756 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.757 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040561.757 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1545040561.757 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1545040561.757 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1545040561.757 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545040561.757 * [misc]taylor:  Taking taylor expansion of x in x
1545040561.757 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.757 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.757 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040561.757 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1545040561.757 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
1545040561.757 * [misc]backup-simplify:  Simplify (pow (exp (/ 1 x)) 2) into (pow (exp (/ 1 x)) 2)
1545040561.758 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
1545040561.758 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.758 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
1545040561.758 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.758 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
1545040561.758 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.759 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
1545040561.759 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.760 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
1545040561.760 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.761 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
1545040561.761 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.761 * [misc]backup-simplify:  Simplify (pow (exp (/ 1 (/ 1 x))) 2) into (pow (exp x) 2)
1545040561.761 * [misc]backup-simplify:  Simplify (* (exp (/ 1 (- x))) (exp (/ 1 (- x)))) into (pow (exp (/ -1 x)) 2)
1545040561.761 * [misc]approximate:  Taking taylor expansion of (pow (exp (/ -1 x)) 2) in (x) around 0
1545040561.761 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1545040561.761 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1545040561.761 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545040561.761 * [misc]taylor:  Taking taylor expansion of -1 in x
1545040561.761 * [misc]backup-simplify:  Simplify -1 into -1
1545040561.761 * [misc]taylor:  Taking taylor expansion of x in x
1545040561.761 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.761 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.762 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545040561.762 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1545040561.762 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1545040561.762 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1545040561.762 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545040561.762 * [misc]taylor:  Taking taylor expansion of -1 in x
1545040561.762 * [misc]backup-simplify:  Simplify -1 into -1
1545040561.762 * [misc]taylor:  Taking taylor expansion of x in x
1545040561.762 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.762 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.762 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545040561.762 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1545040561.762 * [misc]backup-simplify:  Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
1545040561.762 * [misc]backup-simplify:  Simplify (pow (exp (/ -1 x)) 2) into (pow (exp (/ -1 x)) 2)
1545040561.763 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
1545040561.763 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.763 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
1545040561.763 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.764 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
1545040561.764 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.764 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
1545040561.764 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.765 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
1545040561.765 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.766 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
1545040561.766 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.766 * [misc]backup-simplify:  Simplify (pow (exp (/ -1 (/ 1 (- x)))) 2) into (pow (exp x) 2)
1545040561.766 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1)
1545040561.767 * [misc]backup-simplify:  Simplify (+ (pow (exp x) 3) (pow 1 3)) into (+ (pow (exp x) 3) 1)
1545040561.767 * [misc]approximate:  Taking taylor expansion of (+ (pow (exp x) 3) 1) in (x) around 0
1545040561.767 * [misc]taylor:  Taking taylor expansion of (+ (pow (exp x) 3) 1) in x
1545040561.767 * [misc]taylor:  Taking taylor expansion of (pow (exp x) 3) in x
1545040561.767 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1545040561.767 * [misc]taylor:  Taking taylor expansion of x in x
1545040561.767 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.767 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.767 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545040561.767 * [misc]taylor:  Taking taylor expansion of 1 in x
1545040561.767 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.767 * [misc]taylor:  Taking taylor expansion of (+ (pow (exp x) 3) 1) in x
1545040561.767 * [misc]taylor:  Taking taylor expansion of (pow (exp x) 3) in x
1545040561.767 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1545040561.767 * [misc]taylor:  Taking taylor expansion of x in x
1545040561.767 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.767 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.767 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545040561.767 * [misc]taylor:  Taking taylor expansion of 1 in x
1545040561.767 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.768 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545040561.768 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545040561.768 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1545040561.768 * [misc]backup-simplify:  Simplify 2 into 2
1545040561.770 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1545040561.770 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1545040561.770 * [misc]backup-simplify:  Simplify (+ (* 1 2) (* 1 1)) into 3
1545040561.770 * [misc]backup-simplify:  Simplify (+ 3 0) into 3
1545040561.770 * [misc]backup-simplify:  Simplify 3 into 3
1545040561.773 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1545040561.773 * [misc]backup-simplify:  Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
1545040561.773 * [misc]backup-simplify:  Simplify (+ (* 1 2) (+ (* 1 2) (* 1/2 1))) into 9/2
1545040561.773 * [misc]backup-simplify:  Simplify (+ 9/2 0) into 9/2
1545040561.773 * [misc]backup-simplify:  Simplify 9/2 into 9/2
1545040561.774 * [misc]backup-simplify:  Simplify (+ (* 9/2 (pow x 2)) (+ (* 3 x) 2)) into (+ (* 3 x) (+ (* 9/2 (pow x 2)) 2))
1545040561.774 * [misc]backup-simplify:  Simplify (+ (pow (exp (/ 1 x)) 3) (pow 1 3)) into (+ (pow (exp (/ 1 x)) 3) 1)
1545040561.774 * [misc]approximate:  Taking taylor expansion of (+ (pow (exp (/ 1 x)) 3) 1) in (x) around 0
1545040561.774 * [misc]taylor:  Taking taylor expansion of (+ (pow (exp (/ 1 x)) 3) 1) in x
1545040561.774 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1545040561.774 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1545040561.774 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545040561.774 * [misc]taylor:  Taking taylor expansion of x in x
1545040561.774 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.774 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.774 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040561.775 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1545040561.775 * [misc]taylor:  Taking taylor expansion of 1 in x
1545040561.775 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.775 * [misc]taylor:  Taking taylor expansion of (+ (pow (exp (/ 1 x)) 3) 1) in x
1545040561.775 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1545040561.775 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1545040561.775 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545040561.775 * [misc]taylor:  Taking taylor expansion of x in x
1545040561.775 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.775 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.775 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040561.775 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1545040561.775 * [misc]taylor:  Taking taylor expansion of 1 in x
1545040561.775 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.775 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
1545040561.775 * [misc]backup-simplify:  Simplify (* (exp (/ 1 x)) (pow (exp (/ 1 x)) 2)) into (pow (exp (/ 1 x)) 3)
1545040561.776 * [misc]backup-simplify:  Simplify (+ (pow (exp (/ 1 x)) 3) 1) into (+ (pow (exp (/ 1 x)) 3) 1)
1545040561.776 * [misc]backup-simplify:  Simplify (+ (pow (exp (/ 1 x)) 3) 1) into (+ (pow (exp (/ 1 x)) 3) 1)
1545040561.776 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
1545040561.776 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (pow (exp (/ 1 x)) 2))) into 0
1545040561.776 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040561.776 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.777 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
1545040561.777 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))) into 0
1545040561.777 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040561.777 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.778 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
1545040561.778 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))) into 0
1545040561.778 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040561.778 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.779 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
1545040561.779 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))) into 0
1545040561.779 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040561.779 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.780 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
1545040561.781 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))))) into 0
1545040561.781 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040561.781 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.782 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
1545040561.783 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))))) into 0
1545040561.783 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040561.783 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.783 * [misc]backup-simplify:  Simplify (+ (pow (exp (/ 1 (/ 1 x))) 3) 1) into (+ (pow (exp x) 3) 1)
1545040561.783 * [misc]backup-simplify:  Simplify (+ (pow (exp (/ 1 (- x))) 3) (pow 1 3)) into (+ (pow (exp (/ -1 x)) 3) 1)
1545040561.783 * [misc]approximate:  Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) 1) in (x) around 0
1545040561.783 * [misc]taylor:  Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) 1) in x
1545040561.783 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1545040561.783 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1545040561.783 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545040561.783 * [misc]taylor:  Taking taylor expansion of -1 in x
1545040561.784 * [misc]backup-simplify:  Simplify -1 into -1
1545040561.784 * [misc]taylor:  Taking taylor expansion of x in x
1545040561.784 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.784 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.784 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545040561.784 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1545040561.784 * [misc]taylor:  Taking taylor expansion of 1 in x
1545040561.784 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.784 * [misc]taylor:  Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) 1) in x
1545040561.784 * [misc]taylor:  Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1545040561.784 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1545040561.784 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545040561.784 * [misc]taylor:  Taking taylor expansion of -1 in x
1545040561.784 * [misc]backup-simplify:  Simplify -1 into -1
1545040561.784 * [misc]taylor:  Taking taylor expansion of x in x
1545040561.784 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.784 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.784 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545040561.784 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1545040561.784 * [misc]taylor:  Taking taylor expansion of 1 in x
1545040561.784 * [misc]backup-simplify:  Simplify 1 into 1
1545040561.785 * [misc]backup-simplify:  Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
1545040561.785 * [misc]backup-simplify:  Simplify (* (exp (/ -1 x)) (pow (exp (/ -1 x)) 2)) into (pow (exp (/ -1 x)) 3)
1545040561.785 * [misc]backup-simplify:  Simplify (+ (pow (exp (/ -1 x)) 3) 1) into (+ (pow (exp (/ -1 x)) 3) 1)
1545040561.785 * [misc]backup-simplify:  Simplify (+ (pow (exp (/ -1 x)) 3) 1) into (+ (pow (exp (/ -1 x)) 3) 1)
1545040561.785 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
1545040561.785 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (pow (exp (/ -1 x)) 2))) into 0
1545040561.785 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040561.785 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.786 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
1545040561.786 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))) into 0
1545040561.786 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040561.786 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.787 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
1545040561.787 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2))))) into 0
1545040561.787 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040561.787 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.788 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
1545040561.788 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))))) into 0
1545040561.789 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040561.789 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.789 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
1545040561.790 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2))))))) into 0
1545040561.790 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040561.790 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.791 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
1545040561.792 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))))))) into 0
1545040561.792 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040561.792 * [misc]backup-simplify:  Simplify 0 into 0
1545040561.792 * [misc]backup-simplify:  Simplify (+ (pow (exp (/ -1 (/ 1 (- x)))) 3) 1) into (+ (pow (exp x) 3) 1)
1545040561.792 * * * [misc]progress:  simplifying candidates
1545040561.792 * * * * [misc]progress:  [ 1 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (+ (fma 1 1 (- (* 1 (exp x)))) (fma (- 1) (exp x) (* 1 (exp x))))))))>
1545040561.793 * [enter]simplify:  Simplifying (fma 1 1 (- (* 1 (exp x))))
1545040561.793 * * [misc]simplify:  iters left: 6 (6 enodes)
1545040561.796 * * [misc]simplify:  iters left: 5 (16 enodes)
1545040561.800 * * [misc]simplify:  iters left: 4 (20 enodes)
1545040561.808 * * [misc]simplify:  iters left: 3 (29 enodes)
1545040561.813 * * [misc]simplify:  iters left: 2 (32 enodes)
1545040561.819 * [exit]simplify:  Simplified to (- 1 (exp x))
1545040561.819 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (+ (- 1 (exp x)) (fma (- 1) (exp x) (* 1 (exp x))))))))
1545040561.819 * [enter]simplify:  Simplifying (fma (- 1) (exp x) (* 1 (exp x)))
1545040561.820 * * [misc]simplify:  iters left: 4 (6 enodes)
1545040561.822 * * [misc]simplify:  iters left: 3 (12 enodes)
1545040561.826 * * [misc]simplify:  iters left: 2 (20 enodes)
1545040561.840 * * [misc]simplify:  iters left: 1 (38 enodes)
1545040561.845 * [exit]simplify:  Simplified to 0
1545040561.845 * [misc]simplify:  Simplified (2 1 2 2 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (+ (- 1 (exp x)) 0)))))
1545040561.845 * * * * [misc]progress:  [ 2 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (log1p (expm1 (- (* 1 1) (* (exp x) 1))))))))>
1545040561.845 * * * * [misc]progress:  [ 3 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (expm1 (log1p (- (* 1 1) (* (exp x) 1))))))))>
1545040561.845 * * * * [misc]progress:  [ 4 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (fma 1 1 (- (* (exp x) 1)))))))>
1545040561.845 * * * * [misc]progress:  [ 5 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (log (/ (exp (* 1 1)) (exp (* (exp x) 1))))))))>
1545040561.846 * [enter]simplify:  Simplifying (/ (exp (* 1 1)) (exp (* (exp x) 1)))
1545040561.846 * * [misc]simplify:  iters left: 6 (8 enodes)
1545040561.848 * * [misc]simplify:  iters left: 5 (17 enodes)
1545040561.850 * * [misc]simplify:  iters left: 4 (25 enodes)
1545040561.853 * * [misc]simplify:  iters left: 3 (34 enodes)
1545040561.857 * * [misc]simplify:  iters left: 2 (45 enodes)
1545040561.861 * * [misc]simplify:  iters left: 1 (49 enodes)
1545040561.867 * [exit]simplify:  Simplified to (/ E (exp (exp x)))
1545040561.867 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (log (/ E (exp (exp x))))))))
1545040561.867 * * * * [misc]progress:  [ 6 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (pow (- (* 1 1) (* (exp x) 1)) 1)))))>
1545040561.867 * * * * [misc]progress:  [ 7 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (exp (log (- (* 1 1) (* (exp x) 1))))))))>
1545040561.867 * * * * [misc]progress:  [ 8 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (log (exp (- (* 1 1) (* (exp x) 1))))))))>
1545040561.867 * * * * [misc]progress:  [ 9 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (* (* (cbrt (- (* 1 1) (* (exp x) 1))) (cbrt (- (* 1 1) (* (exp x) 1)))) (cbrt (- (* 1 1) (* (exp x) 1))))))))>
1545040561.867 * * * * [misc]progress:  [ 10 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (cbrt (* (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (- (* 1 1) (* (exp x) 1))))))))>
1545040561.867 * * * * [misc]progress:  [ 11 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (* (sqrt (- (* 1 1) (* (exp x) 1))) (sqrt (- (* 1 1) (* (exp x) 1))))))))>
1545040561.867 * * * * [misc]progress:  [ 12 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (/ (- (pow (* 1 1) 3) (pow (* (exp x) 1) 3)) (+ (* (* 1 1) (* 1 1)) (+ (* (* (exp x) 1) (* (exp x) 1)) (* (* 1 1) (* (exp x) 1)))))))))>
1545040561.867 * * * * [misc]progress:  [ 13 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (+ (* 1 1) (- (* (exp x) 1)))))))>
1545040561.867 * * * * [misc]progress:  [ 14 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (* 1 (- (* 1 1) (* (exp x) 1)))))))>
1545040561.867 * * * * [misc]progress:  [ 15 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (/ (- (* (* 1 1) (* 1 1)) (* (* (exp x) 1) (* (exp x) 1))) (+ (* 1 1) (* (exp x) 1)))))))>
1545040561.867 * * * * [misc]progress:  [ 16 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (* 1 (- 1 (exp x)))))))>
1545040561.867 * [enter]simplify:  Simplifying (- 1 (exp x))
1545040561.867 * * [misc]simplify:  iters left: 3 (4 enodes)
1545040561.868 * * [misc]simplify:  iters left: 2 (8 enodes)
1545040561.869 * * [misc]simplify:  iters left: 1 (9 enodes)
1545040561.870 * [exit]simplify:  Simplified to (- 1 (exp x))
1545040561.870 * [misc]simplify:  Simplified (2 1 2 2 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (* 1 (- 1 (exp x)))))))
1545040561.870 * * * * [misc]progress:  [ 17 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (+ (* 1 1) (- (* (exp x) 1)))))))>
1545040561.870 * * * * [misc]progress:  [ 18 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (log1p (expm1 (pow (exp x) 3))) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.870 * * * * [misc]progress:  [ 19 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (expm1 (log1p (pow (exp x) 3))) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.870 * * * * [misc]progress:  [ 20 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* x 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.870 * [enter]simplify:  Simplifying (* x 3)
1545040561.870 * * [misc]simplify:  iters left: 2 (3 enodes)
1545040561.871 * * [misc]simplify:  iters left: 1 (4 enodes)
1545040561.871 * [exit]simplify:  Simplified to (* x 3)
1545040561.871 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (sqrt (/ (+ (exp (* x 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040561.872 * * * * [misc]progress:  [ 21 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* (log (exp x)) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.872 * * * * [misc]progress:  [ 22 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) (* 1 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.872 * [enter]simplify:  Simplifying (exp x)
1545040561.872 * * [misc]simplify:  iters left: 1 (2 enodes)
1545040561.872 * [exit]simplify:  Simplified to (exp x)
1545040561.872 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) (* 1 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040561.872 * * * * [misc]progress:  [ 23 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (pow (* (cbrt (exp x)) (cbrt (exp x))) 3) (pow (cbrt (exp x)) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.872 * [enter]simplify:  Simplifying (pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
1545040561.872 * * [misc]simplify:  iters left: 5 (6 enodes)
1545040561.873 * * [misc]simplify:  iters left: 4 (11 enodes)
1545040561.875 * * [misc]simplify:  iters left: 3 (19 enodes)
1545040561.878 * * [misc]simplify:  iters left: 2 (27 enodes)
1545040561.885 * * [misc]simplify:  iters left: 1 (32 enodes)
1545040561.892 * [exit]simplify:  Simplified to (* (exp x) (exp x))
1545040561.892 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (sqrt (/ (+ (* (* (exp x) (exp x)) (pow (cbrt (exp x)) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040561.893 * * * * [misc]progress:  [ 24 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.893 * [enter]simplify:  Simplifying (pow (sqrt (exp x)) 3)
1545040561.893 * * [misc]simplify:  iters left: 3 (5 enodes)
1545040561.894 * * [misc]simplify:  iters left: 2 (8 enodes)
1545040561.897 * [exit]simplify:  Simplified to (* (sqrt (exp x)) (exp x))
1545040561.897 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (sqrt (/ (+ (* (* (sqrt (exp x)) (exp x)) (pow (sqrt (exp x)) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040561.897 * * * * [misc]progress:  [ 25 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (pow 1 3) (pow (exp x) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.898 * [enter]simplify:  Simplifying (pow 1 3)
1545040561.898 * * [misc]simplify:  iters left: 1 (3 enodes)
1545040561.899 * [exit]simplify:  Simplified to 1
1545040561.900 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (sqrt (/ (+ (* 1 (pow (exp x) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040561.900 * * * * [misc]progress:  [ 26 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (* (exp x) (exp x)) (exp x)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.900 * * * * [misc]progress:  [ 27 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (pow (exp x) 3) 1) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.900 * * * * [misc]progress:  [ 28 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (log (pow (exp x) 3))) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.900 * * * * [misc]progress:  [ 29 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (log (exp (pow (exp x) 3))) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.900 * * * * [misc]progress:  [ 30 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (* (cbrt (pow (exp x) 3)) (cbrt (pow (exp x) 3))) (cbrt (pow (exp x) 3))) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.900 * * * * [misc]progress:  [ 31 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (cbrt (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3))) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.900 * * * * [misc]progress:  [ 32 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (pow (* (cbrt (exp x)) (cbrt (exp x))) 3) (pow (cbrt (exp x)) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.900 * [enter]simplify:  Simplifying (pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
1545040561.900 * * [misc]simplify:  iters left: 5 (6 enodes)
1545040561.902 * * [misc]simplify:  iters left: 4 (11 enodes)
1545040561.906 * * [misc]simplify:  iters left: 3 (19 enodes)
1545040561.913 * * [misc]simplify:  iters left: 2 (27 enodes)
1545040561.920 * * [misc]simplify:  iters left: 1 (32 enodes)
1545040561.928 * [exit]simplify:  Simplified to (* (exp x) (exp x))
1545040561.928 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (sqrt (/ (+ (* (* (exp x) (exp x)) (pow (cbrt (exp x)) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040561.928 * * * * [misc]progress:  [ 33 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.929 * [enter]simplify:  Simplifying (pow (sqrt (exp x)) 3)
1545040561.929 * * [misc]simplify:  iters left: 3 (5 enodes)
1545040561.930 * * [misc]simplify:  iters left: 2 (8 enodes)
1545040561.933 * [exit]simplify:  Simplified to (* (sqrt (exp x)) (exp x))
1545040561.933 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (sqrt (/ (+ (* (* (sqrt (exp x)) (exp x)) (pow (sqrt (exp x)) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040561.933 * * * * [misc]progress:  [ 34 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (pow 1 3) (pow (exp x) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.933 * [enter]simplify:  Simplifying (pow 1 3)
1545040561.933 * * [misc]simplify:  iters left: 1 (3 enodes)
1545040561.936 * [exit]simplify:  Simplified to 1
1545040561.936 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (sqrt (/ (+ (* 1 (pow (exp x) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040561.936 * * * * [misc]progress:  [ 35 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.936 * * * * [misc]progress:  [ 36 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (* (exp x) (exp x)) (exp x)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.936 * [enter]simplify:  Simplifying (* (exp x) (exp x))
1545040561.936 * * [misc]simplify:  iters left: 3 (3 enodes)
1545040561.937 * * [misc]simplify:  iters left: 2 (5 enodes)
1545040561.939 * [exit]simplify:  Simplified to (* (exp x) (exp x))
1545040561.939 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (sqrt (/ (+ (* (* (exp x) (exp x)) (exp x)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040561.939 * * * * [misc]progress:  [ 37 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (sqrt (pow (exp x) 3)) (sqrt (pow (exp x) 3))) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.939 * * * * [misc]progress:  [ 38 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* 1 (pow (exp x) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.939 * * * * [misc]progress:  [ 39 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (log1p (expm1 (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) 1))))))>
1545040561.939 * * * * [misc]progress:  [ 40 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (expm1 (log1p (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) 1))))))>
1545040561.939 * * * * [misc]progress:  [ 41 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (exp x) (+ 1 1)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.939 * [enter]simplify:  Simplifying (exp x)
1545040561.939 * * [misc]simplify:  iters left: 1 (2 enodes)
1545040561.940 * [exit]simplify:  Simplified to (exp x)
1545040561.940 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (exp x) (+ 1 1)) (- (* 1 1) (* (exp x) 1))))))
1545040561.940 * [enter]simplify:  Simplifying (+ 1 1)
1545040561.940 * * [misc]simplify:  iters left: 2 (2 enodes)
1545040561.942 * * [misc]simplify:  iters left: 1 (5 enodes)
1545040561.943 * [exit]simplify:  Simplified to 2
1545040561.943 * [misc]simplify:  Simplified (2 1 2 1 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (exp x) 2) (- (* 1 1) (* (exp x) 1))))))
1545040561.943 * * * * [misc]progress:  [ 42 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (* (exp x) (exp x)) 1) (- (* 1 1) (* (exp x) 1))))))>
1545040561.943 * [enter]simplify:  Simplifying (* (exp x) (exp x))
1545040561.943 * * [misc]simplify:  iters left: 3 (3 enodes)
1545040561.944 * * [misc]simplify:  iters left: 2 (5 enodes)
1545040561.946 * [exit]simplify:  Simplified to (* (exp x) (exp x))
1545040561.946 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (* (exp x) (exp x)) 1) (- (* 1 1) (* (exp x) 1))))))
1545040561.946 * * * * [misc]progress:  [ 43 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (exp x) 2) (- (* 1 1) (* (exp x) 1))))))>
1545040561.946 * * * * [misc]progress:  [ 44 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (exp x) (+ 1 1)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.946 * [enter]simplify:  Simplifying (exp x)
1545040561.946 * * [misc]simplify:  iters left: 1 (2 enodes)
1545040561.947 * [exit]simplify:  Simplified to (exp x)
1545040561.947 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (exp x) (+ 1 1)) (- (* 1 1) (* (exp x) 1))))))
1545040561.947 * * * * [misc]progress:  [ 45 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (* (exp x) (exp x)) 1) (- (* 1 1) (* (exp x) 1))))))>
1545040561.947 * * * * [misc]progress:  [ 46 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (exp (+ x x)) (- (* 1 1) (* (exp x) 1))))))>
1545040561.947 * [enter]simplify:  Simplifying (+ x x)
1545040561.947 * * [misc]simplify:  iters left: 2 (2 enodes)
1545040561.948 * [exit]simplify:  Simplified to (+ x x)
1545040561.948 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (exp (+ x x)) (- (* 1 1) (* (exp x) 1))))))
1545040561.948 * * * * [misc]progress:  [ 47 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (exp (log (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) 1))))))>
1545040561.948 * * * * [misc]progress:  [ 48 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (log (exp (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) 1))))))>
1545040561.948 * * * * [misc]progress:  [ 49 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (cbrt (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x)))) (- (* 1 1) (* (exp x) 1))))))>
1545040561.948 * [enter]simplify:  Simplifying (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x)))
1545040561.949 * * [misc]simplify:  iters left: 6 (5 enodes)
1545040561.951 * * [misc]simplify:  iters left: 5 (12 enodes)
1545040561.955 * * [misc]simplify:  iters left: 4 (24 enodes)
1545040561.966 * * [misc]simplify:  iters left: 3 (56 enodes)
1545040561.982 * * [misc]simplify:  iters left: 2 (104 enodes)
1545040562.004 * * [misc]simplify:  iters left: 1 (107 enodes)
1545040562.016 * [exit]simplify:  Simplified to (pow (exp x) 6)
1545040562.016 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (cbrt (pow (exp x) 6)) (- (* 1 1) (* (exp x) 1))))))
1545040562.016 * * * * [misc]progress:  [ 50 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (* (cbrt (* (exp x) (exp x))) (cbrt (* (exp x) (exp x)))) (cbrt (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) 1))))))>
1545040562.016 * * * * [misc]progress:  [ 51 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (cbrt (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) 1))))))>
1545040562.016 * * * * [misc]progress:  [ 52 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (sqrt (* (exp x) (exp x))) (sqrt (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) 1))))))>
1545040562.016 * * * * [misc]progress:  [ 53 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* 1 (* (exp x) (exp x))) (- (* 1 1) (* (exp x) 1))))))>
1545040562.016 * * * * [misc]progress:  [ 54 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (* (exp x) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))) (- (* 1 1) (* (exp x) 1))))))>
1545040562.016 * [enter]simplify:  Simplifying (cbrt (exp x))
1545040562.016 * * [misc]simplify:  iters left: 2 (3 enodes)
1545040562.017 * [exit]simplify:  Simplified to (cbrt (exp x))
1545040562.017 * [misc]simplify:  Simplified (2 1 2 1 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (* (exp x) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))) (- (* 1 1) (* (exp x) 1))))))
1545040562.017 * * * * [misc]progress:  [ 55 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (* (exp x) (sqrt (exp x))) (sqrt (exp x))) (- (* 1 1) (* (exp x) 1))))))>
1545040562.018 * [enter]simplify:  Simplifying (sqrt (exp x))
1545040562.018 * * [misc]simplify:  iters left: 2 (3 enodes)
1545040562.019 * [exit]simplify:  Simplified to (sqrt (exp x))
1545040562.019 * [misc]simplify:  Simplified (2 1 2 1 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (* (exp x) (sqrt (exp x))) (sqrt (exp x))) (- (* 1 1) (* (exp x) 1))))))
1545040562.019 * * * * [misc]progress:  [ 56 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (* (exp x) 1) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.019 * [enter]simplify:  Simplifying (exp x)
1545040562.019 * * [misc]simplify:  iters left: 1 (2 enodes)
1545040562.020 * [exit]simplify:  Simplified to (exp x)
1545040562.020 * [misc]simplify:  Simplified (2 1 2 1 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (* (exp x) 1) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040562.020 * * * * [misc]progress:  [ 57 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (exp x))) (- (* 1 1) (* (exp x) 1))))))>
1545040562.020 * [enter]simplify:  Simplifying (* (cbrt (exp x)) (cbrt (exp x)))
1545040562.020 * * [misc]simplify:  iters left: 4 (4 enodes)
1545040562.022 * [exit]simplify:  Simplified to (* (cbrt (exp x)) (cbrt (exp x)))
1545040562.022 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (exp x))) (- (* 1 1) (* (exp x) 1))))))
1545040562.022 * * * * [misc]progress:  [ 58 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (sqrt (exp x)) (* (sqrt (exp x)) (exp x))) (- (* 1 1) (* (exp x) 1))))))>
1545040562.022 * [enter]simplify:  Simplifying (sqrt (exp x))
1545040562.022 * * [misc]simplify:  iters left: 2 (3 enodes)
1545040562.023 * [exit]simplify:  Simplified to (sqrt (exp x))
1545040562.023 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (sqrt (exp x)) (* (sqrt (exp x)) (exp x))) (- (* 1 1) (* (exp x) 1))))))
1545040562.023 * * * * [misc]progress:  [ 59 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* 1 (* (exp x) (exp x))) (- (* 1 1) (* (exp x) 1))))))>
1545040562.023 * * * * [misc]progress:  [ 60 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.023 * * * * [misc]progress:  [ 61 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (log1p (expm1 (+ (pow (exp x) 3) (pow 1 3)))) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.023 * * * * [misc]progress:  [ 62 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (expm1 (log1p (+ (pow (exp x) 3) (pow 1 3)))) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.023 * * * * [misc]progress:  [ 63 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (fma (pow (* (cbrt (exp x)) (cbrt (exp x))) 3) (pow (cbrt (exp x)) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.024 * [enter]simplify:  Simplifying (pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
1545040562.024 * * [misc]simplify:  iters left: 5 (6 enodes)
1545040562.026 * * [misc]simplify:  iters left: 4 (11 enodes)
1545040562.030 * * [misc]simplify:  iters left: 3 (19 enodes)
1545040562.036 * * [misc]simplify:  iters left: 2 (27 enodes)
1545040562.044 * * [misc]simplify:  iters left: 1 (32 enodes)
1545040562.052 * [exit]simplify:  Simplified to (* (exp x) (exp x))
1545040562.052 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (sqrt (/ (fma (* (exp x) (exp x)) (pow (cbrt (exp x)) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040562.052 * * * * [misc]progress:  [ 64 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (fma (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.052 * [enter]simplify:  Simplifying (pow (sqrt (exp x)) 3)
1545040562.053 * * [misc]simplify:  iters left: 3 (5 enodes)
1545040562.054 * * [misc]simplify:  iters left: 2 (8 enodes)
1545040562.056 * [exit]simplify:  Simplified to (* (sqrt (exp x)) (exp x))
1545040562.057 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (sqrt (/ (fma (* (sqrt (exp x)) (exp x)) (pow (sqrt (exp x)) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040562.057 * * * * [misc]progress:  [ 65 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (fma (pow 1 3) (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.057 * [enter]simplify:  Simplifying (pow 1 3)
1545040562.057 * * [misc]simplify:  iters left: 1 (3 enodes)
1545040562.059 * [exit]simplify:  Simplified to 1
1545040562.059 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (sqrt (/ (fma 1 (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040562.059 * * * * [misc]progress:  [ 66 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (fma (* (exp x) (exp x)) (exp x) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.060 * [enter]simplify:  Simplifying (* (exp x) (exp x))
1545040562.060 * * [misc]simplify:  iters left: 3 (3 enodes)
1545040562.061 * * [misc]simplify:  iters left: 2 (5 enodes)
1545040562.062 * [exit]simplify:  Simplified to (* (exp x) (exp x))
1545040562.062 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (sqrt (/ (fma (* (exp x) (exp x)) (exp x) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040562.062 * * * * [misc]progress:  [ 67 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (fma (* (cbrt (pow (exp x) 3)) (cbrt (pow (exp x) 3))) (cbrt (pow (exp x) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.062 * [enter]simplify:  Simplifying (* (cbrt (pow (exp x) 3)) (cbrt (pow (exp x) 3)))
1545040562.063 * * [misc]simplify:  iters left: 5 (6 enodes)
1545040562.064 * * [misc]simplify:  iters left: 4 (9 enodes)
1545040562.065 * * [misc]simplify:  iters left: 3 (13 enodes)
1545040562.067 * * [misc]simplify:  iters left: 2 (17 enodes)
1545040562.069 * [exit]simplify:  Simplified to (exp (+ x x))
1545040562.069 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (sqrt (/ (fma (exp (+ x x)) (cbrt (pow (exp x) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040562.069 * * * * [misc]progress:  [ 68 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (fma (pow (* (cbrt (exp x)) (cbrt (exp x))) 3) (pow (cbrt (exp x)) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.069 * [enter]simplify:  Simplifying (pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
1545040562.070 * * [misc]simplify:  iters left: 5 (6 enodes)
1545040562.071 * * [misc]simplify:  iters left: 4 (11 enodes)
1545040562.072 * * [misc]simplify:  iters left: 3 (19 enodes)
1545040562.076 * * [misc]simplify:  iters left: 2 (27 enodes)
1545040562.080 * * [misc]simplify:  iters left: 1 (32 enodes)
1545040562.084 * [exit]simplify:  Simplified to (* (exp x) (exp x))
1545040562.084 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (sqrt (/ (fma (* (exp x) (exp x)) (pow (cbrt (exp x)) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040562.084 * * * * [misc]progress:  [ 69 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (fma (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.084 * [enter]simplify:  Simplifying (pow (sqrt (exp x)) 3)
1545040562.084 * * [misc]simplify:  iters left: 3 (5 enodes)
1545040562.086 * * [misc]simplify:  iters left: 2 (8 enodes)
1545040562.088 * [exit]simplify:  Simplified to (* (sqrt (exp x)) (exp x))
1545040562.088 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (sqrt (/ (fma (* (sqrt (exp x)) (exp x)) (pow (sqrt (exp x)) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040562.088 * * * * [misc]progress:  [ 70 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (fma (pow 1 3) (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.089 * [enter]simplify:  Simplifying (pow 1 3)
1545040562.089 * * [misc]simplify:  iters left: 1 (3 enodes)
1545040562.091 * [exit]simplify:  Simplified to 1
1545040562.091 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (sqrt (/ (fma 1 (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040562.091 * * * * [misc]progress:  [ 71 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (fma (exp x) (* (exp x) (exp x)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.091 * [enter]simplify:  Simplifying (exp x)
1545040562.091 * * [misc]simplify:  iters left: 1 (2 enodes)
1545040562.092 * [exit]simplify:  Simplified to (exp x)
1545040562.092 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (sqrt (/ (fma (exp x) (* (exp x) (exp x)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040562.092 * * * * [misc]progress:  [ 72 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (fma (sqrt (pow (exp x) 3)) (sqrt (pow (exp x) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.092 * [enter]simplify:  Simplifying (sqrt (pow (exp x) 3))
1545040562.092 * * [misc]simplify:  iters left: 3 (5 enodes)
1545040562.094 * * [misc]simplify:  iters left: 2 (8 enodes)
1545040562.096 * * [misc]simplify:  iters left: 1 (10 enodes)
1545040562.101 * [exit]simplify:  Simplified to (sqrt (pow (exp x) 3))
1545040562.101 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (sqrt (/ (fma (sqrt (pow (exp x) 3)) (sqrt (pow (exp x) 3)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040562.101 * * * * [misc]progress:  [ 73 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (fma 1 (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.101 * * * * [misc]progress:  [ 74 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (log (* (exp (pow (exp x) 3)) (exp (pow 1 3)))) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.101 * [enter]simplify:  Simplifying (* (exp (pow (exp x) 3)) (exp (pow 1 3)))
1545040562.101 * * [misc]simplify:  iters left: 5 (9 enodes)
1545040562.106 * * [misc]simplify:  iters left: 4 (19 enodes)
1545040562.111 * * [misc]simplify:  iters left: 3 (32 enodes)
1545040562.117 * * [misc]simplify:  iters left: 2 (37 enodes)
1545040562.125 * [exit]simplify:  Simplified to (exp (fma (exp (+ x x)) (exp x) 1))
1545040562.125 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (sqrt (/ (log (exp (fma (exp (+ x x)) (exp x) 1))) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040562.125 * * * * [misc]progress:  [ 75 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (pow (+ (pow (exp x) 3) (pow 1 3)) 1) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.126 * * * * [misc]progress:  [ 76 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (exp (log (+ (pow (exp x) 3) (pow 1 3)))) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.126 * * * * [misc]progress:  [ 77 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (log (exp (+ (pow (exp x) 3) (pow 1 3)))) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.126 * * * * [misc]progress:  [ 78 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (* (* (cbrt (+ (pow (exp x) 3) (pow 1 3))) (cbrt (+ (pow (exp x) 3) (pow 1 3)))) (cbrt (+ (pow (exp x) 3) (pow 1 3)))) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.126 * * * * [misc]progress:  [ 79 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (exp x) 3) (pow 1 3))) (+ (pow (exp x) 3) (pow 1 3)))) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.126 * * * * [misc]progress:  [ 80 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (* (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (pow (exp x) 3) (pow 1 3)))) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.126 * * * * [misc]progress:  [ 81 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (* (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))) (+ (exp x) 1)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.126 * [enter]simplify:  Simplifying (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))
1545040562.126 * * [misc]simplify:  iters left: 6 (8 enodes)
1545040562.129 * * [misc]simplify:  iters left: 5 (21 enodes)
1545040562.136 * * [misc]simplify:  iters left: 4 (33 enodes)
1545040562.145 * * [misc]simplify:  iters left: 3 (45 enodes)
1545040562.155 * * [misc]simplify:  iters left: 2 (66 enodes)
1545040562.173 * * [misc]simplify:  iters left: 1 (103 enodes)
1545040562.192 * [exit]simplify:  Simplified to (fma (exp x) (expm1 x) 1)
1545040562.192 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (sqrt (/ (* (fma (exp x) (expm1 x) 1) (+ (exp x) 1)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040562.193 * [enter]simplify:  Simplifying (+ (exp x) 1)
1545040562.193 * * [misc]simplify:  iters left: 3 (4 enodes)
1545040562.193 * * [misc]simplify:  iters left: 2 (7 enodes)
1545040562.195 * [exit]simplify:  Simplified to (+ (exp x) 1)
1545040562.195 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (sqrt (/ (* (fma (exp x) (expm1 x) 1) (+ (exp x) 1)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040562.195 * * * * [misc]progress:  [ 82 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (/ (+ (pow (pow (exp x) 3) 3) (pow (pow 1 3) 3)) (+ (* (pow (exp x) 3) (pow (exp x) 3)) (- (* (pow 1 3) (pow 1 3)) (* (pow (exp x) 3) (pow 1 3))))) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.195 * * * * [misc]progress:  [ 83 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (* 1 (+ (pow (exp x) 3) (pow 1 3))) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.195 * * * * [misc]progress:  [ 84 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (/ (- (* (pow (exp x) 3) (pow (exp x) 3)) (* (pow 1 3) (pow 1 3))) (- (pow (exp x) 3) (pow 1 3))) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.195 * * * * [misc]progress:  [ 85 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (* 1 (+ (pow (exp x) 3) (* 1 1))) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.196 * [enter]simplify:  Simplifying (+ (pow (exp x) 3) (* 1 1))
1545040562.196 * * [misc]simplify:  iters left: 4 (7 enodes)
1545040562.198 * * [misc]simplify:  iters left: 3 (13 enodes)
1545040562.201 * * [misc]simplify:  iters left: 2 (17 enodes)
1545040562.206 * * [misc]simplify:  iters left: 1 (21 enodes)
1545040562.211 * [exit]simplify:  Simplified to (fma (* (exp x) (exp x)) (exp x) 1)
1545040562.211 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (sqrt (/ (* 1 (fma (* (exp x) (exp x)) (exp x) 1)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040562.211 * * * * [misc]progress:  [ 86 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (* 1 (+ (pow (exp x) 3) (pow 1 3))) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.211 * [enter]simplify:  Simplifying (+ (pow (exp x) 3) (pow 1 3))
1545040562.211 * * [misc]simplify:  iters left: 4 (7 enodes)
1545040562.215 * * [misc]simplify:  iters left: 3 (15 enodes)
1545040562.218 * * [misc]simplify:  iters left: 2 (19 enodes)
1545040562.223 * * [misc]simplify:  iters left: 1 (23 enodes)
1545040562.228 * [exit]simplify:  Simplified to (fma (exp (+ x x)) (exp x) 1)
1545040562.228 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (sqrt (/ (* 1 (fma (exp (+ x x)) (exp x) 1)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040562.228 * * * * [misc]progress:  [ 87 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow 1 3) (pow (exp x) 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.228 * * * * [misc]progress:  [ 88 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))))))>
1545040562.229 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))
1545040562.229 * * [misc]simplify:  iters left: 6 (12 enodes)
1545040562.233 * * [misc]simplify:  iters left: 5 (25 enodes)
1545040562.242 * * [misc]simplify:  iters left: 4 (55 enodes)
1545040562.268 * * [misc]simplify:  iters left: 3 (157 enodes)
1545040562.363 * * [misc]simplify:  iters left: 2 (387 enodes)
1545040562.603 * [exit]simplify:  Simplified to (fma (* x x) (fma -1/6 x -1/2) (- x))
1545040562.603 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (fma (* x x) (fma -1/6 x -1/2) (- x))))))
1545040562.603 * * * * [misc]progress:  [ 89 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- 1 (exp x))))))>
1545040562.603 * [enter]simplify:  Simplifying (- 1 (exp x))
1545040562.603 * * [misc]simplify:  iters left: 3 (4 enodes)
1545040562.604 * * [misc]simplify:  iters left: 2 (8 enodes)
1545040562.605 * * [misc]simplify:  iters left: 1 (9 enodes)
1545040562.606 * [exit]simplify:  Simplified to (- 1 (exp x))
1545040562.606 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- 1 (exp x))))))
1545040562.606 * * * * [misc]progress:  [ 90 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- 1 (exp x))))))>
1545040562.606 * [enter]simplify:  Simplifying (- 1 (exp x))
1545040562.606 * * [misc]simplify:  iters left: 3 (4 enodes)
1545040562.607 * * [misc]simplify:  iters left: 2 (8 enodes)
1545040562.608 * * [misc]simplify:  iters left: 1 (9 enodes)
1545040562.609 * [exit]simplify:  Simplified to (- 1 (exp x))
1545040562.609 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- 1 (exp x))))))
1545040562.609 * * * * [misc]progress:  [ 91 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1)) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.609 * [enter]simplify:  Simplifying (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1))
1545040562.609 * * [misc]simplify:  iters left: 6 (10 enodes)
1545040562.611 * * [misc]simplify:  iters left: 5 (21 enodes)
1545040562.614 * * [misc]simplify:  iters left: 4 (35 enodes)
1545040562.619 * * [misc]simplify:  iters left: 3 (56 enodes)
1545040562.626 * * [misc]simplify:  iters left: 2 (76 enodes)
1545040562.651 * * [misc]simplify:  iters left: 1 (91 enodes)
1545040562.663 * [exit]simplify:  Simplified to (fma x (fma x 9/2 3) 1)
1545040562.663 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (sqrt (/ (+ (fma x (fma x 9/2 3) 1) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040562.663 * * * * [misc]progress:  [ 92 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.664 * [enter]simplify:  Simplifying (pow (exp x) 3)
1545040562.664 * * [misc]simplify:  iters left: 2 (4 enodes)
1545040562.664 * * [misc]simplify:  iters left: 1 (7 enodes)
1545040562.665 * [exit]simplify:  Simplified to (pow (exp x) 3)
1545040562.665 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040562.665 * * * * [misc]progress:  [ 93 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.666 * [enter]simplify:  Simplifying (pow (exp x) 3)
1545040562.666 * * [misc]simplify:  iters left: 2 (4 enodes)
1545040562.666 * * [misc]simplify:  iters left: 1 (7 enodes)
1545040562.667 * [exit]simplify:  Simplified to (pow (exp x) 3)
1545040562.667 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040562.667 * * * * [misc]progress:  [ 94 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (+ (* 2 x) (+ (* 2 (pow x 2)) 1)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.668 * [enter]simplify:  Simplifying (+ (* 2 x) (+ (* 2 (pow x 2)) 1))
1545040562.668 * * [misc]simplify:  iters left: 6 (8 enodes)
1545040562.669 * * [misc]simplify:  iters left: 5 (19 enodes)
1545040562.672 * * [misc]simplify:  iters left: 4 (33 enodes)
1545040562.677 * * [misc]simplify:  iters left: 3 (55 enodes)
1545040562.691 * * [misc]simplify:  iters left: 2 (68 enodes)
1545040562.726 * * [misc]simplify:  iters left: 1 (81 enodes)
1545040562.784 * [exit]simplify:  Simplified to (fma x (fma x 2 2) 1)
1545040562.784 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (fma x (fma x 2 2) 1) (- (* 1 1) (* (exp x) 1))))))
1545040562.785 * * * * [misc]progress:  [ 95 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (exp x) 2) (- (* 1 1) (* (exp x) 1))))))>
1545040562.785 * [enter]simplify:  Simplifying (pow (exp x) 2)
1545040562.785 * * [misc]simplify:  iters left: 2 (4 enodes)
1545040562.785 * * [misc]simplify:  iters left: 1 (5 enodes)
1545040562.786 * [exit]simplify:  Simplified to (* (exp x) (exp x))
1545040562.786 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040562.786 * * * * [misc]progress:  [ 96 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (exp x) 2) (- (* 1 1) (* (exp x) 1))))))>
1545040562.787 * [enter]simplify:  Simplifying (pow (exp x) 2)
1545040562.787 * * [misc]simplify:  iters left: 2 (4 enodes)
1545040562.787 * * [misc]simplify:  iters left: 1 (5 enodes)
1545040562.788 * [exit]simplify:  Simplified to (* (exp x) (exp x))
1545040562.788 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040562.788 * * * * [misc]progress:  [ 97 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* 3 x) (+ (* 9/2 (pow x 2)) 2)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.788 * [enter]simplify:  Simplifying (+ (* 3 x) (+ (* 9/2 (pow x 2)) 2))
1545040562.788 * * [misc]simplify:  iters left: 6 (9 enodes)
1545040562.790 * * [misc]simplify:  iters left: 5 (18 enodes)
1545040562.794 * * [misc]simplify:  iters left: 4 (32 enodes)
1545040562.805 * * [misc]simplify:  iters left: 3 (53 enodes)
1545040562.819 * * [misc]simplify:  iters left: 2 (70 enodes)
1545040562.837 * * [misc]simplify:  iters left: 1 (82 enodes)
1545040562.849 * [exit]simplify:  Simplified to (fma (fma x 9/2 3) x 2)
1545040562.849 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (sqrt (/ (fma (fma x 9/2 3) x 2) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040562.849 * * * * [misc]progress:  [ 98 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) 1) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.850 * [enter]simplify:  Simplifying (+ (pow (exp x) 3) 1)
1545040562.850 * * [misc]simplify:  iters left: 4 (6 enodes)
1545040562.852 * * [misc]simplify:  iters left: 3 (12 enodes)
1545040562.855 * * [misc]simplify:  iters left: 2 (16 enodes)
1545040562.858 * * [misc]simplify:  iters left: 1 (20 enodes)
1545040562.861 * [exit]simplify:  Simplified to (fma (exp x) (exp (+ x x)) 1)
1545040562.861 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (sqrt (/ (fma (exp x) (exp (+ x x)) 1) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040562.861 * * * * [misc]progress:  [ 99 / 99 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) 1) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
1545040562.861 * [enter]simplify:  Simplifying (+ (pow (exp x) 3) 1)
1545040562.861 * * [misc]simplify:  iters left: 4 (6 enodes)
1545040562.862 * * [misc]simplify:  iters left: 3 (12 enodes)
1545040562.864 * * [misc]simplify:  iters left: 2 (16 enodes)
1545040562.865 * * [misc]simplify:  iters left: 1 (20 enodes)
1545040562.868 * [exit]simplify:  Simplified to (fma (exp x) (exp (+ x x)) 1)
1545040562.868 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (sqrt (/ (fma (exp x) (exp (+ x x)) 1) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
1545040562.868 * * * [misc]progress:  adding candidates to table
1545040564.233 * [misc]progress:  [Phase 3 of 3] Extracting.
1545040564.234 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (sqrt (+ (exp x) 1)))> #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>)
1545040564.235 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1545040564.236 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (sqrt (+ (exp x) 1)))> #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>)
1545040564.264 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1545040564.264 * [enter]simplify:  Simplifying (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))
1545040564.265 * * [misc]simplify:  iters left: 6 (14 enodes)
1545040564.266 * * [misc]simplify:  iters left: 5 (20 enodes)
1545040564.267 * [exit]simplify:  Simplified to (sqrt (/ (+ (pow (exp x) 3) 1) (+ (* (exp x) (exp x)) (- 1 (exp x)))))
1545040564.267 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545040574.024 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040574.025 * * * * [misc]points:  Sampling 1990 additional inputs, on iter 1 have 6010 / 8000
1545040576.510 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040576.511 * * * * [misc]points:  Sampling 491 additional inputs, on iter 2 have 7509 / 8000
1545040577.320 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040577.320 * * * * [misc]points:  Sampling 119 additional inputs, on iter 3 have 7881 / 8000
1545040577.398 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040577.398 * * * * [misc]points:  Sampling 28 additional inputs, on iter 4 have 7972 / 8000
1545040577.426 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040577.426 * * * * [misc]points:  Sampling 6 additional inputs, on iter 5 have 7994 / 8000
1545040577.439 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040577.439 * * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 7998 / 8000
1545040577.447 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040577.447 * * * * [exit]points:  Sampled 8001 points with exact outputs
1545040577.876 * [misc]regime-testing:  Baseline error score: 0.044953322138880196
1545040577.877 * [misc]regime-testing:  End program error score: 0.044953322138880196
1545040577.877 * [misc]regime-testing:  Oracle error score: 0.025705712967141157