0.873 * [progress]: [Phase 1 of 3] Setting up.
0.005 * * * [progress]: [1/2] Preparing points
0.421 * * * [progress]: [2/2] Setting up program.
0.429 * [progress]: [Phase 2 of 3] Improving.
0.429 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))))>
0.432 * [simplify]: Simplifying:
  (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1)))
0.434 * * [simplify]: iteration 1: (10 enodes)
0.481 * * [simplify]: iteration 2: (22 enodes)
0.489 * * [simplify]: iteration 3: (28 enodes)
0.503 * * [simplify]: iteration 4: (51 enodes)
0.523 * * [simplify]: iteration 5: (106 enodes)
0.574 * * [simplify]: iteration 6: (283 enodes)
0.739 * * [simplify]: iteration 7: (796 enodes)
2.296 * * [simplify]: Extracting #0: cost 1 inf + 0
2.296 * * [simplify]: Extracting #1: cost 4 inf + 0
2.297 * * [simplify]: Extracting #2: cost 104 inf + 1
2.298 * * [simplify]: Extracting #3: cost 405 inf + 3
2.301 * * [simplify]: Extracting #4: cost 654 inf + 3283
2.312 * * [simplify]: Extracting #5: cost 598 inf + 29264
2.337 * * [simplify]: Extracting #6: cost 321 inf + 194206
2.407 * * [simplify]: Extracting #7: cost 19 inf + 417932
2.476 * * [simplify]: Extracting #8: cost 0 inf + 417737
2.555 * * [simplify]: Extracting #9: cost 0 inf + 412086
2.628 * * [simplify]: Extracting #10: cost 0 inf + 411330
2.700 * [simplify]: Simplified to:
  (sqrt (+ (exp x) 1))
2.712 * * [progress]: iteration 1 / 4
2.712 * * * [progress]: picking best candidate
2.716 * * * * [pick]: Picked  #<alt (λ (x) (sqrt (+ (exp x) 1)))>
2.716 * * * [progress]: localizing error
2.735 * * * [progress]: generating rewritten candidates
2.735 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
2.745 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
2.754 * * * [progress]: generating series expansions
2.755 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
2.757 * [backup-simplify]: Simplify (+ (exp x) 1) into (+ (exp x) 1)
2.757 * [approximate]: Taking taylor expansion of (+ (exp x) 1) in (x) around 0
2.758 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
2.758 * [taylor]: Taking taylor expansion of (exp x) in x
2.758 * [taylor]: Taking taylor expansion of x in x
2.758 * [backup-simplify]: Simplify 0 into 0
2.758 * [backup-simplify]: Simplify 1 into 1
2.758 * [backup-simplify]: Simplify (exp 0) into 1
2.758 * [taylor]: Taking taylor expansion of 1 in x
2.758 * [backup-simplify]: Simplify 1 into 1
2.759 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
2.759 * [taylor]: Taking taylor expansion of (exp x) in x
2.759 * [taylor]: Taking taylor expansion of x in x
2.759 * [backup-simplify]: Simplify 0 into 0
2.759 * [backup-simplify]: Simplify 1 into 1
2.759 * [backup-simplify]: Simplify (exp 0) into 1
2.759 * [taylor]: Taking taylor expansion of 1 in x
2.759 * [backup-simplify]: Simplify 1 into 1
2.760 * [backup-simplify]: Simplify (+ 1 1) into 2
2.760 * [backup-simplify]: Simplify 2 into 2
2.761 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.762 * [backup-simplify]: Simplify (+ 1 0) into 1
2.762 * [backup-simplify]: Simplify 1 into 1
2.763 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.764 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
2.764 * [backup-simplify]: Simplify 1/2 into 1/2
2.767 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2))
2.767 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
2.767 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0
2.767 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
2.767 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.767 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.767 * [taylor]: Taking taylor expansion of x in x
2.767 * [backup-simplify]: Simplify 0 into 0
2.767 * [backup-simplify]: Simplify 1 into 1
2.768 * [backup-simplify]: Simplify (/ 1 1) into 1
2.768 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.768 * [taylor]: Taking taylor expansion of 1 in x
2.768 * [backup-simplify]: Simplify 1 into 1
2.768 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
2.768 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.768 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.768 * [taylor]: Taking taylor expansion of x in x
2.768 * [backup-simplify]: Simplify 0 into 0
2.768 * [backup-simplify]: Simplify 1 into 1
2.769 * [backup-simplify]: Simplify (/ 1 1) into 1
2.769 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.769 * [taylor]: Taking taylor expansion of 1 in x
2.769 * [backup-simplify]: Simplify 1 into 1
2.769 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
2.769 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
2.770 * [backup-simplify]: Simplify (+ 0 0) into 0
2.770 * [backup-simplify]: Simplify 0 into 0
2.770 * [backup-simplify]: Simplify (+ 0 0) into 0
2.770 * [backup-simplify]: Simplify 0 into 0
2.771 * [backup-simplify]: Simplify (+ 0 0) into 0
2.771 * [backup-simplify]: Simplify 0 into 0
2.771 * [backup-simplify]: Simplify (+ 0 0) into 0
2.771 * [backup-simplify]: Simplify 0 into 0
2.772 * [backup-simplify]: Simplify (+ 0 0) into 0
2.772 * [backup-simplify]: Simplify 0 into 0
2.772 * [backup-simplify]: Simplify (+ 0 0) into 0
2.772 * [backup-simplify]: Simplify 0 into 0
2.772 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1)
2.772 * [backup-simplify]: Simplify (+ (exp (/ 1 (- x))) 1) into (+ (exp (/ -1 x)) 1)
2.772 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0
2.772 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
2.772 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.772 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.772 * [taylor]: Taking taylor expansion of -1 in x
2.772 * [backup-simplify]: Simplify -1 into -1
2.772 * [taylor]: Taking taylor expansion of x in x
2.772 * [backup-simplify]: Simplify 0 into 0
2.773 * [backup-simplify]: Simplify 1 into 1
2.773 * [backup-simplify]: Simplify (/ -1 1) into -1
2.773 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.773 * [taylor]: Taking taylor expansion of 1 in x
2.773 * [backup-simplify]: Simplify 1 into 1
2.773 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
2.773 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.773 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.773 * [taylor]: Taking taylor expansion of -1 in x
2.773 * [backup-simplify]: Simplify -1 into -1
2.773 * [taylor]: Taking taylor expansion of x in x
2.773 * [backup-simplify]: Simplify 0 into 0
2.773 * [backup-simplify]: Simplify 1 into 1
2.774 * [backup-simplify]: Simplify (/ -1 1) into -1
2.774 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.774 * [taylor]: Taking taylor expansion of 1 in x
2.774 * [backup-simplify]: Simplify 1 into 1
2.774 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
2.774 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
2.775 * [backup-simplify]: Simplify (+ 0 0) into 0
2.775 * [backup-simplify]: Simplify 0 into 0
2.775 * [backup-simplify]: Simplify (+ 0 0) into 0
2.775 * [backup-simplify]: Simplify 0 into 0
2.776 * [backup-simplify]: Simplify (+ 0 0) into 0
2.776 * [backup-simplify]: Simplify 0 into 0
2.776 * [backup-simplify]: Simplify (+ 0 0) into 0
2.776 * [backup-simplify]: Simplify 0 into 0
2.776 * [backup-simplify]: Simplify (+ 0 0) into 0
2.776 * [backup-simplify]: Simplify 0 into 0
2.777 * [backup-simplify]: Simplify (+ 0 0) into 0
2.777 * [backup-simplify]: Simplify 0 into 0
2.777 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1)
2.777 * * * * [progress]: [ 2 / 2 ] generating series at (2)
2.777 * [backup-simplify]: Simplify (sqrt (+ (exp x) 1)) into (sqrt (+ (exp x) 1))
2.777 * [approximate]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0
2.777 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
2.777 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
2.777 * [taylor]: Taking taylor expansion of (exp x) in x
2.777 * [taylor]: Taking taylor expansion of x in x
2.777 * [backup-simplify]: Simplify 0 into 0
2.777 * [backup-simplify]: Simplify 1 into 1
2.777 * [backup-simplify]: Simplify (exp 0) into 1
2.777 * [taylor]: Taking taylor expansion of 1 in x
2.777 * [backup-simplify]: Simplify 1 into 1
2.778 * [backup-simplify]: Simplify (+ 1 1) into 2
2.778 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
2.779 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.780 * [backup-simplify]: Simplify (+ 1 0) into 1
2.781 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
2.781 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
2.781 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
2.781 * [taylor]: Taking taylor expansion of (exp x) in x
2.782 * [taylor]: Taking taylor expansion of x in x
2.782 * [backup-simplify]: Simplify 0 into 0
2.782 * [backup-simplify]: Simplify 1 into 1
2.782 * [backup-simplify]: Simplify (exp 0) into 1
2.782 * [taylor]: Taking taylor expansion of 1 in x
2.782 * [backup-simplify]: Simplify 1 into 1
2.782 * [backup-simplify]: Simplify (+ 1 1) into 2
2.782 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
2.783 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.784 * [backup-simplify]: Simplify (+ 1 0) into 1
2.785 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
2.786 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
2.787 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2))
2.789 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.789 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
2.794 * [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)))
2.801 * [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)))
2.809 * [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))))
2.809 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
2.809 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0
2.809 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
2.809 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
2.809 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.809 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.809 * [taylor]: Taking taylor expansion of x in x
2.809 * [backup-simplify]: Simplify 0 into 0
2.809 * [backup-simplify]: Simplify 1 into 1
2.810 * [backup-simplify]: Simplify (/ 1 1) into 1
2.810 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.810 * [taylor]: Taking taylor expansion of 1 in x
2.810 * [backup-simplify]: Simplify 1 into 1
2.810 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
2.810 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
2.810 * [backup-simplify]: Simplify (+ 0 0) into 0
2.811 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.811 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
2.811 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
2.811 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.811 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.811 * [taylor]: Taking taylor expansion of x in x
2.811 * [backup-simplify]: Simplify 0 into 0
2.811 * [backup-simplify]: Simplify 1 into 1
2.811 * [backup-simplify]: Simplify (/ 1 1) into 1
2.811 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.811 * [taylor]: Taking taylor expansion of 1 in x
2.811 * [backup-simplify]: Simplify 1 into 1
2.811 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
2.811 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
2.812 * [backup-simplify]: Simplify (+ 0 0) into 0
2.812 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.812 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
2.812 * [backup-simplify]: Simplify 0 into 0
2.813 * [backup-simplify]: Simplify (+ 0 0) into 0
2.813 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.813 * [backup-simplify]: Simplify 0 into 0
2.814 * [backup-simplify]: Simplify (+ 0 0) into 0
2.815 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.815 * [backup-simplify]: Simplify 0 into 0
2.815 * [backup-simplify]: Simplify (+ 0 0) into 0
2.816 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.816 * [backup-simplify]: Simplify 0 into 0
2.816 * [backup-simplify]: Simplify (+ 0 0) into 0
2.817 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.817 * [backup-simplify]: Simplify 0 into 0
2.818 * [backup-simplify]: Simplify (+ 0 0) into 0
2.827 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.827 * [backup-simplify]: Simplify 0 into 0
2.827 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1))
2.828 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (- x))) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
2.828 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0
2.828 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
2.828 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
2.828 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.828 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.828 * [taylor]: Taking taylor expansion of -1 in x
2.828 * [backup-simplify]: Simplify -1 into -1
2.828 * [taylor]: Taking taylor expansion of x in x
2.828 * [backup-simplify]: Simplify 0 into 0
2.828 * [backup-simplify]: Simplify 1 into 1
2.829 * [backup-simplify]: Simplify (/ -1 1) into -1
2.829 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.829 * [taylor]: Taking taylor expansion of 1 in x
2.829 * [backup-simplify]: Simplify 1 into 1
2.829 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
2.829 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
2.829 * [backup-simplify]: Simplify (+ 0 0) into 0
2.829 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.829 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
2.830 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
2.830 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.830 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.830 * [taylor]: Taking taylor expansion of -1 in x
2.830 * [backup-simplify]: Simplify -1 into -1
2.830 * [taylor]: Taking taylor expansion of x in x
2.830 * [backup-simplify]: Simplify 0 into 0
2.830 * [backup-simplify]: Simplify 1 into 1
2.830 * [backup-simplify]: Simplify (/ -1 1) into -1
2.830 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.830 * [taylor]: Taking taylor expansion of 1 in x
2.830 * [backup-simplify]: Simplify 1 into 1
2.830 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
2.831 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
2.831 * [backup-simplify]: Simplify (+ 0 0) into 0
2.831 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.831 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
2.831 * [backup-simplify]: Simplify 0 into 0
2.832 * [backup-simplify]: Simplify (+ 0 0) into 0
2.832 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.832 * [backup-simplify]: Simplify 0 into 0
2.833 * [backup-simplify]: Simplify (+ 0 0) into 0
2.834 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.834 * [backup-simplify]: Simplify 0 into 0
2.834 * [backup-simplify]: Simplify (+ 0 0) into 0
2.835 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.835 * [backup-simplify]: Simplify 0 into 0
2.835 * [backup-simplify]: Simplify (+ 0 0) into 0
2.836 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.836 * [backup-simplify]: Simplify 0 into 0
2.836 * [backup-simplify]: Simplify (+ 0 0) into 0
2.837 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.837 * [backup-simplify]: Simplify 0 into 0
2.837 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1))
2.837 * * * [progress]: simplifying candidates
2.837 * * * * [progress]: [ 1 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (log1p (expm1 (+ (exp x) 1)))))>
2.837 * * * * [progress]: [ 2 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (expm1 (log1p (+ (exp x) 1)))))>
2.837 * * * * [progress]: [ 3 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) 1)))>
2.837 * * * * [progress]: [ 4 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)))>
2.837 * * * * [progress]: [ 5 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (fma 1 (exp x) 1)))>
2.837 * * * * [progress]: [ 6 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (log (* (exp (exp x)) (exp 1)))))>
2.837 * * * * [progress]: [ 7 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (+ (exp x) 1) 1)))>
2.837 * * * * [progress]: [ 8 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (+ (exp x) 1)))))>
2.837 * * * * [progress]: [ 9 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (log (exp (+ (exp x) 1)))))>
2.837 * * * * [progress]: [ 10 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (* (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))) (cbrt (+ (exp x) 1)))))>
2.837 * * * * [progress]: [ 11 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)))))>
2.837 * * * * [progress]: [ 12 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)))))>
2.837 * * * * [progress]: [ 13 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
2.838 * * * * [progress]: [ 14 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (* 1 (+ (exp x) 1))))>
2.838 * * * * [progress]: [ 15 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (- (* (exp x) (exp x)) (* 1 1)) (- (exp x) 1))))>
2.838 * * * * [progress]: [ 16 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (* 1 (+ (exp x) 1))))>
2.838 * * * * [progress]: [ 17 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (posit16->real (real->posit16 (+ (exp x) 1)))))>
2.838 * * * * [progress]: [ 18 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (+ 1 (exp x))))>
2.838 * * * * [progress]: [ 19 / 45 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (sqrt (+ (exp x) 1)))))>
2.838 * * * * [progress]: [ 20 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (sqrt (+ (exp x) 1)))))>
2.838 * * * * [progress]: [ 21 / 45 ] simplifiying candidate #<alt (λ (x) (hypot (sqrt (exp x)) (sqrt 1)))>
2.838 * * * * [progress]: [ 22 / 45 ] simplifiying candidate #<alt (λ (x) (hypot (sqrt (exp x)) 1))>
2.838 * * * * [progress]: [ 23 / 45 ] simplifiying candidate #<alt (λ (x) (pow (+ (exp x) 1) 1/2))>
2.838 * * * * [progress]: [ 24 / 45 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (+ (exp x) 1)) 1))>
2.838 * * * * [progress]: [ 25 / 45 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (+ (exp x) 1)))))>
2.838 * * * * [progress]: [ 26 / 45 ] simplifiying candidate #<alt (λ (x) (log (exp (sqrt (+ (exp x) 1)))))>
2.838 * * * * [progress]: [ 27 / 45 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1)))) (cbrt (sqrt (+ (exp x) 1)))))>
2.838 * * * * [progress]: [ 28 / 45 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1))) (sqrt (+ (exp x) 1)))))>
2.838 * * * * [progress]: [ 29 / 45 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))) (sqrt (cbrt (+ (exp x) 1)))))>
2.838 * * * * [progress]: [ 30 / 45 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))>
2.838 * * * * [progress]: [ 31 / 45 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (sqrt (+ (exp x) 1))))>
2.838 * * * * [progress]: [ 32 / 45 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (sqrt (+ (exp x) 1))))>
2.838 * * * * [progress]: [ 33 / 45 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
2.838 * * * * [progress]: [ 34 / 45 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (- (* (exp x) (exp x)) (* 1 1))) (sqrt (- (exp x) 1))))>
2.838 * * * * [progress]: [ 35 / 45 ] simplifiying candidate #<alt (λ (x) (pow (+ (exp x) 1) (/ 1 2)))>
2.838 * * * * [progress]: [ 36 / 45 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))>
2.838 * * * * [progress]: [ 37 / 45 ] simplifiying candidate #<alt (λ (x) (fabs (sqrt (+ (exp x) 1))))>
2.838 * * * * [progress]: [ 38 / 45 ] simplifiying candidate #<alt (λ (x) (* 1 (sqrt (+ (exp x) 1))))>
2.838 * * * * [progress]: [ 39 / 45 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (sqrt (+ (exp x) 1)))))>
2.838 * * * * [progress]: [ 40 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (+ x (+ (* 1/2 (pow x 2)) 2))))>
2.838 * * * * [progress]: [ 41 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
2.838 * * * * [progress]: [ 42 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
2.839 * * * * [progress]: [ 43 / 45 ] 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)))))>
2.839 * * * * [progress]: [ 44 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
2.839 * * * * [progress]: [ 45 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
2.839 * [simplify]: Simplifying:
  (expm1 (+ (exp x) 1))
  (log1p (+ (exp x) 1))
  (* (exp (exp x)) (exp 1))
  (log (+ (exp x) 1))
  (exp (+ (exp x) 1))
  (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))
  (cbrt (+ (exp x) 1))
  (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (+ (pow (exp x) 3) (pow 1 3))
  (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))
  (- (* (exp x) (exp x)) (* 1 1))
  (- (exp x) 1)
  (+ (exp x) 1)
  (real->posit16 (+ (exp x) 1))
  (expm1 (sqrt (+ (exp x) 1)))
  (log1p (sqrt (+ (exp x) 1)))
  (log (sqrt (+ (exp x) 1)))
  (exp (sqrt (+ (exp x) 1)))
  (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1))))
  (cbrt (sqrt (+ (exp x) 1)))
  (* (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1))) (sqrt (+ (exp x) 1)))
  (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))))
  (sqrt (cbrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt 1)
  (sqrt (+ (exp x) 1))
  (sqrt 1)
  (sqrt (+ (exp x) 1))
  (sqrt (+ (pow (exp x) 3) (pow 1 3)))
  (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))
  (sqrt (- (* (exp x) (exp x)) (* 1 1)))
  (sqrt (- (exp x) 1))
  (/ 1 2)
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (real->posit16 (sqrt (+ (exp x) 1)))
  (+ x (+ (* 1/2 (pow x 2)) 2))
  (+ (exp x) 1)
  (+ (exp x) 1)
  (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
2.840 * * [simplify]: iteration 1: (65 enodes)
2.858 * * [simplify]: iteration 2: (146 enodes)
2.922 * * [simplify]: iteration 3: (346 enodes)
3.080 * * [simplify]: iteration 4: (860 enodes)
4.022 * * [simplify]: Extracting #0: cost 33 inf + 0
4.023 * * [simplify]: Extracting #1: cost 139 inf + 2
4.026 * * [simplify]: Extracting #2: cost 425 inf + 885
4.037 * * [simplify]: Extracting #3: cost 327 inf + 25305
4.071 * * [simplify]: Extracting #4: cost 83 inf + 92763
4.112 * * [simplify]: Extracting #5: cost 3 inf + 123603
4.138 * * [simplify]: Extracting #6: cost 0 inf + 124052
4.161 * [simplify]: Simplified to:
  (expm1 (+ (exp x) 1))
  (log1p (+ (exp x) 1))
  (* E (exp (exp x)))
  (log1p (exp x))
  (* E (exp (exp x)))
  (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))
  (cbrt (+ (exp x) 1))
  (* (+ (exp x) 1) (* (+ (exp x) 1) (+ (exp x) 1)))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (+ 1 (exp (* 3 x)))
  (fma (exp x) (exp x) (- 1 (exp x)))
  (expm1 (+ x x))
  (expm1 x)
  (+ (exp x) 1)
  (real->posit16 (+ (exp x) 1))
  (expm1 (sqrt (+ (exp x) 1)))
  (log1p (sqrt (+ (exp x) 1)))
  (log (sqrt (+ (exp x) 1)))
  (exp (sqrt (+ (exp x) 1)))
  (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1))))
  (cbrt (sqrt (+ (exp x) 1)))
  (* (+ (exp x) 1) (sqrt (+ (exp x) 1)))
  (fabs (cbrt (+ (exp x) 1)))
  (sqrt (cbrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  1
  (sqrt (+ (exp x) 1))
  1
  (sqrt (+ (exp x) 1))
  (sqrt (+ 1 (exp (* 3 x))))
  (sqrt (fma (exp x) (exp x) (- 1 (exp x))))
  (sqrt (expm1 (+ x x)))
  (sqrt (expm1 x))
  1/2
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (real->posit16 (sqrt (+ (exp x) 1)))
  (fma (fma x 1/2 1) x 2)
  (+ (exp x) 1)
  (+ (exp x) 1)
  (fma (/ 1/2 (sqrt 2)) x (+ (* (/ x (/ (sqrt 2) x)) 3/16) (sqrt 2)))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
4.163 * * * [progress]: adding candidates to table
4.515 * * [progress]: iteration 2 / 4
4.515 * * * [progress]: picking best candidate
4.519 * * * * [pick]: Picked  #<alt (λ (x) (sqrt (exp (log1p (exp x)))))>
4.519 * * * [progress]: localizing error
4.529 * * * [progress]: generating rewritten candidates
4.529 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
4.531 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
4.531 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
4.534 * * * [progress]: generating series expansions
4.534 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
4.534 * [backup-simplify]: Simplify (exp (log1p (exp x))) into (exp (log1p (exp x)))
4.534 * [approximate]: Taking taylor expansion of (exp (log1p (exp x))) in (x) around 0
4.534 * [taylor]: Taking taylor expansion of (exp (log1p (exp x))) in x
4.534 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x
4.536 * [taylor]: Rewrote expression to (log (+ 1 (exp x)))
4.536 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x
4.536 * [taylor]: Taking taylor expansion of 1 in x
4.536 * [backup-simplify]: Simplify 1 into 1
4.536 * [taylor]: Taking taylor expansion of (exp x) in x
4.536 * [taylor]: Taking taylor expansion of x in x
4.536 * [backup-simplify]: Simplify 0 into 0
4.536 * [backup-simplify]: Simplify 1 into 1
4.536 * [backup-simplify]: Simplify (exp 0) into 1
4.536 * [backup-simplify]: Simplify (+ 1 1) into 2
4.537 * [backup-simplify]: Simplify (log 2) into (log 2)
4.537 * [backup-simplify]: Simplify (exp (log 2)) into 2
4.537 * [taylor]: Taking taylor expansion of (exp (log1p (exp x))) in x
4.537 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x
4.537 * [taylor]: Rewrote expression to (log (+ 1 (exp x)))
4.537 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x
4.537 * [taylor]: Taking taylor expansion of 1 in x
4.537 * [backup-simplify]: Simplify 1 into 1
4.537 * [taylor]: Taking taylor expansion of (exp x) in x
4.537 * [taylor]: Taking taylor expansion of x in x
4.537 * [backup-simplify]: Simplify 0 into 0
4.537 * [backup-simplify]: Simplify 1 into 1
4.537 * [backup-simplify]: Simplify (exp 0) into 1
4.538 * [backup-simplify]: Simplify (+ 1 1) into 2
4.538 * [backup-simplify]: Simplify (log 2) into (log 2)
4.538 * [backup-simplify]: Simplify (exp (log 2)) into 2
4.539 * [backup-simplify]: Simplify 2 into 2
4.539 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.540 * [backup-simplify]: Simplify (+ 0 1) into 1
4.540 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2
4.542 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 1) 1)))) into 1
4.542 * [backup-simplify]: Simplify 1 into 1
4.544 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.544 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
4.546 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 2 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 2 1)))) 2) into 1/8
4.548 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 2) 2)) (* (/ (pow 1/8 1) 1)))) into 1/2
4.549 * [backup-simplify]: Simplify 1/2 into 1/2
4.549 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2))
4.549 * [backup-simplify]: Simplify (exp (log1p (exp (/ 1 x)))) into (exp (log1p (exp (/ 1 x))))
4.549 * [approximate]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in (x) around 0
4.549 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in x
4.549 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x
4.549 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x))))
4.549 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x
4.549 * [taylor]: Taking taylor expansion of 1 in x
4.549 * [backup-simplify]: Simplify 1 into 1
4.549 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.549 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.549 * [taylor]: Taking taylor expansion of x in x
4.549 * [backup-simplify]: Simplify 0 into 0
4.549 * [backup-simplify]: Simplify 1 into 1
4.549 * [backup-simplify]: Simplify (/ 1 1) into 1
4.549 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.549 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
4.549 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
4.550 * [backup-simplify]: Simplify (exp (log (+ (exp (/ 1 x)) 1))) into (+ (exp (/ 1 x)) 1)
4.550 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in x
4.550 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x
4.550 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x))))
4.550 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x
4.550 * [taylor]: Taking taylor expansion of 1 in x
4.550 * [backup-simplify]: Simplify 1 into 1
4.550 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.550 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.550 * [taylor]: Taking taylor expansion of x in x
4.550 * [backup-simplify]: Simplify 0 into 0
4.550 * [backup-simplify]: Simplify 1 into 1
4.550 * [backup-simplify]: Simplify (/ 1 1) into 1
4.550 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.550 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
4.550 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
4.550 * [backup-simplify]: Simplify (exp (log (+ (exp (/ 1 x)) 1))) into (+ (exp (/ 1 x)) 1)
4.550 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
4.551 * [backup-simplify]: Simplify (+ 0 0) into 0
4.551 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 1) into 0
4.552 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
4.552 * [backup-simplify]: Simplify 0 into 0
4.552 * [backup-simplify]: Simplify (+ 0 0) into 0
4.559 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 2) into 0
4.560 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.560 * [backup-simplify]: Simplify 0 into 0
4.561 * [backup-simplify]: Simplify (+ 0 0) into 0
4.563 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 6) into 0
4.564 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.564 * [backup-simplify]: Simplify 0 into 0
4.564 * [backup-simplify]: Simplify (+ 0 0) into 0
4.567 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 24) into 0
4.569 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.569 * [backup-simplify]: Simplify 0 into 0
4.569 * [backup-simplify]: Simplify (+ 0 0) into 0
4.573 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 120) into 0
4.575 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.575 * [backup-simplify]: Simplify 0 into 0
4.576 * [backup-simplify]: Simplify (+ 0 0) into 0
4.583 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ 1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 720) into 0
4.586 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.586 * [backup-simplify]: Simplify 0 into 0
4.586 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1)
4.586 * [backup-simplify]: Simplify (exp (log1p (exp (/ 1 (- x))))) into (exp (log1p (exp (/ -1 x))))
4.586 * [approximate]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in (x) around 0
4.586 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in x
4.586 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x
4.586 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x))))
4.586 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x
4.586 * [taylor]: Taking taylor expansion of 1 in x
4.586 * [backup-simplify]: Simplify 1 into 1
4.586 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.586 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.586 * [taylor]: Taking taylor expansion of -1 in x
4.586 * [backup-simplify]: Simplify -1 into -1
4.586 * [taylor]: Taking taylor expansion of x in x
4.586 * [backup-simplify]: Simplify 0 into 0
4.586 * [backup-simplify]: Simplify 1 into 1
4.586 * [backup-simplify]: Simplify (/ -1 1) into -1
4.586 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.587 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
4.587 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
4.587 * [backup-simplify]: Simplify (exp (log (+ (exp (/ -1 x)) 1))) into (+ (exp (/ -1 x)) 1)
4.587 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in x
4.587 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x
4.587 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x))))
4.587 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x
4.587 * [taylor]: Taking taylor expansion of 1 in x
4.587 * [backup-simplify]: Simplify 1 into 1
4.587 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.587 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.587 * [taylor]: Taking taylor expansion of -1 in x
4.587 * [backup-simplify]: Simplify -1 into -1
4.587 * [taylor]: Taking taylor expansion of x in x
4.587 * [backup-simplify]: Simplify 0 into 0
4.587 * [backup-simplify]: Simplify 1 into 1
4.587 * [backup-simplify]: Simplify (/ -1 1) into -1
4.587 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.587 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
4.587 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
4.587 * [backup-simplify]: Simplify (exp (log (+ (exp (/ -1 x)) 1))) into (+ (exp (/ -1 x)) 1)
4.587 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
4.588 * [backup-simplify]: Simplify (+ 0 0) into 0
4.588 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 1) into 0
4.589 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
4.589 * [backup-simplify]: Simplify 0 into 0
4.589 * [backup-simplify]: Simplify (+ 0 0) into 0
4.590 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 2) into 0
4.591 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.591 * [backup-simplify]: Simplify 0 into 0
4.591 * [backup-simplify]: Simplify (+ 0 0) into 0
4.593 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 6) into 0
4.594 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.594 * [backup-simplify]: Simplify 0 into 0
4.594 * [backup-simplify]: Simplify (+ 0 0) into 0
4.597 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 24) into 0
4.598 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.598 * [backup-simplify]: Simplify 0 into 0
4.599 * [backup-simplify]: Simplify (+ 0 0) into 0
4.603 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 120) into 0
4.605 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.605 * [backup-simplify]: Simplify 0 into 0
4.605 * [backup-simplify]: Simplify (+ 0 0) into 0
4.612 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ -1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 720) into 0
4.616 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.617 * [backup-simplify]: Simplify 0 into 0
4.617 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1)
4.617 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
4.617 * [backup-simplify]: Simplify (log1p (exp x)) into (log1p (exp x))
4.617 * [approximate]: Taking taylor expansion of (log1p (exp x)) in (x) around 0
4.617 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x
4.617 * [taylor]: Rewrote expression to (log (+ 1 (exp x)))
4.617 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x
4.617 * [taylor]: Taking taylor expansion of 1 in x
4.617 * [backup-simplify]: Simplify 1 into 1
4.617 * [taylor]: Taking taylor expansion of (exp x) in x
4.617 * [taylor]: Taking taylor expansion of x in x
4.617 * [backup-simplify]: Simplify 0 into 0
4.617 * [backup-simplify]: Simplify 1 into 1
4.617 * [backup-simplify]: Simplify (exp 0) into 1
4.618 * [backup-simplify]: Simplify (+ 1 1) into 2
4.618 * [backup-simplify]: Simplify (log 2) into (log 2)
4.618 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x
4.618 * [taylor]: Rewrote expression to (log (+ 1 (exp x)))
4.618 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x
4.618 * [taylor]: Taking taylor expansion of 1 in x
4.618 * [backup-simplify]: Simplify 1 into 1
4.618 * [taylor]: Taking taylor expansion of (exp x) in x
4.618 * [taylor]: Taking taylor expansion of x in x
4.618 * [backup-simplify]: Simplify 0 into 0
4.618 * [backup-simplify]: Simplify 1 into 1
4.618 * [backup-simplify]: Simplify (exp 0) into 1
4.619 * [backup-simplify]: Simplify (+ 1 1) into 2
4.619 * [backup-simplify]: Simplify (log 2) into (log 2)
4.620 * [backup-simplify]: Simplify (log 2) into (log 2)
4.621 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.621 * [backup-simplify]: Simplify (+ 0 1) into 1
4.623 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2
4.623 * [backup-simplify]: Simplify 1/2 into 1/2
4.625 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.625 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
4.628 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 2 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 2 1)))) 2) into 1/8
4.628 * [backup-simplify]: Simplify 1/8 into 1/8
4.629 * [backup-simplify]: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) (log 2))) into (+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2))))
4.629 * [backup-simplify]: Simplify (log1p (exp (/ 1 x))) into (log1p (exp (/ 1 x)))
4.629 * [approximate]: Taking taylor expansion of (log1p (exp (/ 1 x))) in (x) around 0
4.629 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x
4.629 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x))))
4.629 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x
4.629 * [taylor]: Taking taylor expansion of 1 in x
4.629 * [backup-simplify]: Simplify 1 into 1
4.629 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.629 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.630 * [taylor]: Taking taylor expansion of x in x
4.630 * [backup-simplify]: Simplify 0 into 0
4.630 * [backup-simplify]: Simplify 1 into 1
4.630 * [backup-simplify]: Simplify (/ 1 1) into 1
4.630 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.630 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
4.630 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
4.630 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x
4.630 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x))))
4.630 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x
4.630 * [taylor]: Taking taylor expansion of 1 in x
4.630 * [backup-simplify]: Simplify 1 into 1
4.630 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.630 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.631 * [taylor]: Taking taylor expansion of x in x
4.631 * [backup-simplify]: Simplify 0 into 0
4.631 * [backup-simplify]: Simplify 1 into 1
4.631 * [backup-simplify]: Simplify (/ 1 1) into 1
4.631 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.631 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
4.631 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
4.631 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
4.632 * [backup-simplify]: Simplify (+ 0 0) into 0
4.633 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 1) into 0
4.633 * [backup-simplify]: Simplify 0 into 0
4.633 * [backup-simplify]: Simplify (+ 0 0) into 0
4.635 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 2) into 0
4.635 * [backup-simplify]: Simplify 0 into 0
4.635 * [backup-simplify]: Simplify (+ 0 0) into 0
4.638 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 6) into 0
4.638 * [backup-simplify]: Simplify 0 into 0
4.639 * [backup-simplify]: Simplify (+ 0 0) into 0
4.644 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 24) into 0
4.644 * [backup-simplify]: Simplify 0 into 0
4.644 * [backup-simplify]: Simplify (+ 0 0) into 0
4.652 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 120) into 0
4.652 * [backup-simplify]: Simplify 0 into 0
4.653 * [backup-simplify]: Simplify (+ 0 0) into 0
4.668 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ 1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 720) into 0
4.668 * [backup-simplify]: Simplify 0 into 0
4.668 * [backup-simplify]: Simplify (log (+ (exp (/ 1 (/ 1 x))) 1)) into (log (+ (exp x) 1))
4.668 * [backup-simplify]: Simplify (log1p (exp (/ 1 (- x)))) into (log1p (exp (/ -1 x)))
4.668 * [approximate]: Taking taylor expansion of (log1p (exp (/ -1 x))) in (x) around 0
4.668 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x
4.668 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x))))
4.668 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x
4.668 * [taylor]: Taking taylor expansion of 1 in x
4.668 * [backup-simplify]: Simplify 1 into 1
4.668 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.668 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.668 * [taylor]: Taking taylor expansion of -1 in x
4.668 * [backup-simplify]: Simplify -1 into -1
4.668 * [taylor]: Taking taylor expansion of x in x
4.668 * [backup-simplify]: Simplify 0 into 0
4.668 * [backup-simplify]: Simplify 1 into 1
4.669 * [backup-simplify]: Simplify (/ -1 1) into -1
4.669 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.669 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
4.669 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
4.669 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x
4.669 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x))))
4.669 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x
4.669 * [taylor]: Taking taylor expansion of 1 in x
4.669 * [backup-simplify]: Simplify 1 into 1
4.669 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.669 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.669 * [taylor]: Taking taylor expansion of -1 in x
4.669 * [backup-simplify]: Simplify -1 into -1
4.670 * [taylor]: Taking taylor expansion of x in x
4.670 * [backup-simplify]: Simplify 0 into 0
4.670 * [backup-simplify]: Simplify 1 into 1
4.670 * [backup-simplify]: Simplify (/ -1 1) into -1
4.670 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.670 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
4.670 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
4.670 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
4.671 * [backup-simplify]: Simplify (+ 0 0) into 0
4.672 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 1) into 0
4.672 * [backup-simplify]: Simplify 0 into 0
4.672 * [backup-simplify]: Simplify (+ 0 0) into 0
4.674 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 2) into 0
4.674 * [backup-simplify]: Simplify 0 into 0
4.674 * [backup-simplify]: Simplify (+ 0 0) into 0
4.677 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 6) into 0
4.677 * [backup-simplify]: Simplify 0 into 0
4.678 * [backup-simplify]: Simplify (+ 0 0) into 0
4.683 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 24) into 0
4.683 * [backup-simplify]: Simplify 0 into 0
4.684 * [backup-simplify]: Simplify (+ 0 0) into 0
4.692 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 120) into 0
4.692 * [backup-simplify]: Simplify 0 into 0
4.692 * [backup-simplify]: Simplify (+ 0 0) into 0
4.704 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ -1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 720) into 0
4.704 * [backup-simplify]: Simplify 0 into 0
4.704 * [backup-simplify]: Simplify (log (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (log (+ (exp x) 1))
4.704 * * * * [progress]: [ 3 / 3 ] generating series at (2)
4.704 * [backup-simplify]: Simplify (sqrt (exp (log1p (exp x)))) into (sqrt (exp (log1p (exp x))))
4.704 * [approximate]: Taking taylor expansion of (sqrt (exp (log1p (exp x)))) in (x) around 0
4.704 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp x)))) in x
4.705 * [taylor]: Taking taylor expansion of (exp (log1p (exp x))) in x
4.705 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x
4.705 * [taylor]: Rewrote expression to (log (+ 1 (exp x)))
4.705 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x
4.705 * [taylor]: Taking taylor expansion of 1 in x
4.705 * [backup-simplify]: Simplify 1 into 1
4.705 * [taylor]: Taking taylor expansion of (exp x) in x
4.705 * [taylor]: Taking taylor expansion of x in x
4.705 * [backup-simplify]: Simplify 0 into 0
4.705 * [backup-simplify]: Simplify 1 into 1
4.705 * [backup-simplify]: Simplify (exp 0) into 1
4.705 * [backup-simplify]: Simplify (+ 1 1) into 2
4.705 * [backup-simplify]: Simplify (log 2) into (log 2)
4.706 * [backup-simplify]: Simplify (exp (log 2)) into 2
4.706 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
4.707 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.707 * [backup-simplify]: Simplify (+ 0 1) into 1
4.708 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2
4.709 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 1) 1)))) into 1
4.710 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
4.710 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp x)))) in x
4.710 * [taylor]: Taking taylor expansion of (exp (log1p (exp x))) in x
4.710 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x
4.710 * [taylor]: Rewrote expression to (log (+ 1 (exp x)))
4.710 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x
4.710 * [taylor]: Taking taylor expansion of 1 in x
4.710 * [backup-simplify]: Simplify 1 into 1
4.710 * [taylor]: Taking taylor expansion of (exp x) in x
4.710 * [taylor]: Taking taylor expansion of x in x
4.710 * [backup-simplify]: Simplify 0 into 0
4.710 * [backup-simplify]: Simplify 1 into 1
4.710 * [backup-simplify]: Simplify (exp 0) into 1
4.711 * [backup-simplify]: Simplify (+ 1 1) into 2
4.711 * [backup-simplify]: Simplify (log 2) into (log 2)
4.712 * [backup-simplify]: Simplify (exp (log 2)) into 2
4.712 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
4.712 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.713 * [backup-simplify]: Simplify (+ 0 1) into 1
4.714 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2
4.715 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 1) 1)))) into 1
4.716 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
4.717 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
4.717 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2))
4.718 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.718 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
4.720 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 2 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 2 1)))) 2) into 1/8
4.723 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 2) 2)) (* (/ (pow 1/8 1) 1)))) into 1/2
4.726 * [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)))
4.730 * [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)))
4.735 * [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))))
4.735 * [backup-simplify]: Simplify (sqrt (exp (log1p (exp (/ 1 x))))) into (sqrt (exp (log1p (exp (/ 1 x)))))
4.735 * [approximate]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ 1 x))))) in (x) around 0
4.735 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ 1 x))))) in x
4.735 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in x
4.735 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x
4.735 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x))))
4.735 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x
4.735 * [taylor]: Taking taylor expansion of 1 in x
4.735 * [backup-simplify]: Simplify 1 into 1
4.735 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.735 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.735 * [taylor]: Taking taylor expansion of x in x
4.735 * [backup-simplify]: Simplify 0 into 0
4.735 * [backup-simplify]: Simplify 1 into 1
4.735 * [backup-simplify]: Simplify (/ 1 1) into 1
4.735 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.735 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
4.735 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
4.735 * [backup-simplify]: Simplify (exp (log (+ (exp (/ 1 x)) 1))) into (+ (exp (/ 1 x)) 1)
4.736 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
4.736 * [backup-simplify]: Simplify (+ 0 0) into 0
4.736 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 1) into 0
4.737 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
4.737 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
4.737 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ 1 x))))) in x
4.737 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in x
4.737 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x
4.737 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x))))
4.737 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x
4.737 * [taylor]: Taking taylor expansion of 1 in x
4.737 * [backup-simplify]: Simplify 1 into 1
4.737 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.737 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.737 * [taylor]: Taking taylor expansion of x in x
4.737 * [backup-simplify]: Simplify 0 into 0
4.737 * [backup-simplify]: Simplify 1 into 1
4.737 * [backup-simplify]: Simplify (/ 1 1) into 1
4.737 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.738 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
4.738 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
4.738 * [backup-simplify]: Simplify (exp (log (+ (exp (/ 1 x)) 1))) into (+ (exp (/ 1 x)) 1)
4.738 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
4.738 * [backup-simplify]: Simplify (+ 0 0) into 0
4.738 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 1) into 0
4.739 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
4.739 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
4.739 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
4.739 * [backup-simplify]: Simplify 0 into 0
4.740 * [backup-simplify]: Simplify (+ 0 0) into 0
4.741 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 2) into 0
4.741 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.742 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
4.742 * [backup-simplify]: Simplify 0 into 0
4.742 * [backup-simplify]: Simplify (+ 0 0) into 0
4.744 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 6) into 0
4.745 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.748 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
4.748 * [backup-simplify]: Simplify 0 into 0
4.748 * [backup-simplify]: Simplify (+ 0 0) into 0
4.752 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 24) into 0
4.753 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.754 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
4.754 * [backup-simplify]: Simplify 0 into 0
4.754 * [backup-simplify]: Simplify (+ 0 0) into 0
4.759 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 120) into 0
4.763 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.764 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
4.764 * [backup-simplify]: Simplify 0 into 0
4.765 * [backup-simplify]: Simplify (+ 0 0) into 0
4.780 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ 1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 720) into 0
4.786 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.788 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
4.788 * [backup-simplify]: Simplify 0 into 0
4.788 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1))
4.788 * [backup-simplify]: Simplify (sqrt (exp (log1p (exp (/ 1 (- x)))))) into (sqrt (exp (log1p (exp (/ -1 x)))))
4.788 * [approximate]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ -1 x))))) in (x) around 0
4.788 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ -1 x))))) in x
4.788 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in x
4.788 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x
4.788 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x))))
4.788 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x
4.788 * [taylor]: Taking taylor expansion of 1 in x
4.788 * [backup-simplify]: Simplify 1 into 1
4.788 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.788 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.788 * [taylor]: Taking taylor expansion of -1 in x
4.788 * [backup-simplify]: Simplify -1 into -1
4.788 * [taylor]: Taking taylor expansion of x in x
4.788 * [backup-simplify]: Simplify 0 into 0
4.789 * [backup-simplify]: Simplify 1 into 1
4.789 * [backup-simplify]: Simplify (/ -1 1) into -1
4.789 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.789 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
4.789 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
4.789 * [backup-simplify]: Simplify (exp (log (+ (exp (/ -1 x)) 1))) into (+ (exp (/ -1 x)) 1)
4.789 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
4.790 * [backup-simplify]: Simplify (+ 0 0) into 0
4.791 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 1) into 0
4.792 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
4.792 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
4.792 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ -1 x))))) in x
4.792 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in x
4.792 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x
4.792 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x))))
4.792 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x
4.792 * [taylor]: Taking taylor expansion of 1 in x
4.792 * [backup-simplify]: Simplify 1 into 1
4.792 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.792 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.792 * [taylor]: Taking taylor expansion of -1 in x
4.792 * [backup-simplify]: Simplify -1 into -1
4.792 * [taylor]: Taking taylor expansion of x in x
4.792 * [backup-simplify]: Simplify 0 into 0
4.792 * [backup-simplify]: Simplify 1 into 1
4.793 * [backup-simplify]: Simplify (/ -1 1) into -1
4.793 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.793 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
4.793 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
4.793 * [backup-simplify]: Simplify (exp (log (+ (exp (/ -1 x)) 1))) into (+ (exp (/ -1 x)) 1)
4.793 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
4.794 * [backup-simplify]: Simplify (+ 0 0) into 0
4.794 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 1) into 0
4.795 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
4.795 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
4.796 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
4.796 * [backup-simplify]: Simplify 0 into 0
4.796 * [backup-simplify]: Simplify (+ 0 0) into 0
4.798 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 2) into 0
4.799 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.800 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
4.800 * [backup-simplify]: Simplify 0 into 0
4.801 * [backup-simplify]: Simplify (+ 0 0) into 0
4.803 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 6) into 0
4.806 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.807 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
4.807 * [backup-simplify]: Simplify 0 into 0
4.807 * [backup-simplify]: Simplify (+ 0 0) into 0
4.813 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 24) into 0
4.816 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.817 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
4.818 * [backup-simplify]: Simplify 0 into 0
4.818 * [backup-simplify]: Simplify (+ 0 0) into 0
4.826 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 120) into 0
4.830 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.831 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
4.831 * [backup-simplify]: Simplify 0 into 0
4.831 * [backup-simplify]: Simplify (+ 0 0) into 0
4.844 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ -1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 720) into 0
4.850 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.851 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
4.851 * [backup-simplify]: Simplify 0 into 0
4.851 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1))
4.852 * * * [progress]: simplifying candidates
4.852 * * * * [progress]: [ 1 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (log1p (expm1 (exp (log1p (exp x)))))))>
4.852 * * * * [progress]: [ 2 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (expm1 (log1p (exp (log1p (exp x)))))))>
4.852 * * * * [progress]: [ 3 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (exp (log1p (exp x))) 1)))>
4.852 * * * * [progress]: [ 4 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (exp (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x))))) (cbrt (log1p (exp x))))))>
4.852 * * * * [progress]: [ 5 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (exp (sqrt (log1p (exp x)))) (sqrt (log1p (exp x))))))>
4.852 * * * * [progress]: [ 6 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (exp 1) (log1p (exp x)))))>
4.852 * * * * [progress]: [ 7 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (+ 1 (exp x))))>
4.852 * * * * [progress]: [ 8 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log1p (exp x)))))>
4.852 * * * * [progress]: [ 9 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (exp (log1p (exp x)))))))>
4.852 * * * * [progress]: [ 10 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (log (exp (exp (log1p (exp x)))))))>
4.852 * * * * [progress]: [ 11 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (* (* (cbrt (exp (log1p (exp x)))) (cbrt (exp (log1p (exp x))))) (cbrt (exp (log1p (exp x)))))))>
4.852 * * * * [progress]: [ 12 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (exp (log1p (exp x))) (exp (log1p (exp x)))) (exp (log1p (exp x)))))))>
4.852 * * * * [progress]: [ 13 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (* (sqrt (exp (log1p (exp x)))) (sqrt (exp (log1p (exp x)))))))>
4.852 * * * * [progress]: [ 14 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (* 1 (exp (log1p (exp x))))))>
4.852 * * * * [progress]: [ 15 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (posit16->real (real->posit16 (exp (log1p (exp x)))))))>
4.853 * * * * [progress]: [ 16 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (+ 1 (exp x))))))>
4.853 * * * * [progress]: [ 17 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log1p (expm1 (log1p (exp x)))))))>
4.853 * * * * [progress]: [ 18 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (expm1 (log1p (log1p (exp x)))))))>
4.853 * * * * [progress]: [ 19 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log1p (exp x)))))>
4.853 * * * * [progress]: [ 20 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (pow (log1p (exp x)) 1))))>
4.853 * * * * [progress]: [ 21 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (exp (log (log1p (exp x)))))))>
4.853 * * * * [progress]: [ 22 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (exp (log1p (exp x)))))))>
4.853 * * * * [progress]: [ 23 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (* (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x)))) (cbrt (log1p (exp x)))))))>
4.853 * * * * [progress]: [ 24 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (cbrt (* (* (log1p (exp x)) (log1p (exp x))) (log1p (exp x)))))))>
4.853 * * * * [progress]: [ 25 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (* (sqrt (log1p (exp x))) (sqrt (log1p (exp x)))))))>
4.853 * * * * [progress]: [ 26 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (* 1 (log1p (exp x))))))>
4.853 * * * * [progress]: [ 27 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (posit16->real (real->posit16 (log1p (exp x)))))))>
4.853 * * * * [progress]: [ 28 / 55 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (sqrt (exp (log1p (exp x)))))))>
4.853 * * * * [progress]: [ 29 / 55 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (sqrt (exp (log1p (exp x)))))))>
4.853 * * * * [progress]: [ 30 / 55 ] simplifiying candidate #<alt (λ (x) (pow (exp (log1p (exp x))) 1/2))>
4.853 * * * * [progress]: [ 31 / 55 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (exp (log1p (exp x)))) 1))>
4.853 * * * * [progress]: [ 32 / 55 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (exp (log1p (exp x)))))))>
4.853 * * * * [progress]: [ 33 / 55 ] simplifiying candidate #<alt (λ (x) (log (exp (sqrt (exp (log1p (exp x)))))))>
4.853 * * * * [progress]: [ 34 / 55 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (exp (log1p (exp x))))) (cbrt (sqrt (exp (log1p (exp x)))))) (cbrt (sqrt (exp (log1p (exp x)))))))>
4.854 * * * * [progress]: [ 35 / 55 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (sqrt (exp (log1p (exp x)))) (sqrt (exp (log1p (exp x))))) (sqrt (exp (log1p (exp x)))))))>
4.854 * * * * [progress]: [ 36 / 55 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (exp (log1p (exp x)))) (cbrt (exp (log1p (exp x)))))) (sqrt (cbrt (exp (log1p (exp x)))))))>
4.854 * * * * [progress]: [ 37 / 55 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (exp (log1p (exp x))))) (sqrt (sqrt (exp (log1p (exp x)))))))>
4.854 * * * * [progress]: [ 38 / 55 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (sqrt (exp (log1p (exp x))))))>
4.854 * * * * [progress]: [ 39 / 55 ] simplifiying candidate #<alt (λ (x) (pow (exp (log1p (exp x))) (/ 1 2)))>
4.854 * * * * [progress]: [ 40 / 55 ] simplifiying candidate #<alt (λ (x) (pow (exp (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x))))) (/ (cbrt (log1p (exp x))) 2)))>
4.854 * * * * [progress]: [ 41 / 55 ] simplifiying candidate #<alt (λ (x) (pow (exp (sqrt (log1p (exp x)))) (/ (sqrt (log1p (exp x))) 2)))>
4.854 * * * * [progress]: [ 42 / 55 ] simplifiying candidate #<alt (λ (x) (pow (exp 1) (/ (log1p (exp x)) 2)))>
4.854 * * * * [progress]: [ 43 / 55 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (exp (log1p (exp x))))) (sqrt (sqrt (exp (log1p (exp x)))))))>
4.854 * * * * [progress]: [ 44 / 55 ] simplifiying candidate #<alt (λ (x) (fabs (sqrt (exp (log1p (exp x))))))>
4.854 * * * * [progress]: [ 45 / 55 ] simplifiying candidate #<alt (λ (x) (* 1 (sqrt (exp (log1p (exp x))))))>
4.854 * * * * [progress]: [ 46 / 55 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (sqrt (exp (log1p (exp x)))))))>
4.854 * * * * [progress]: [ 47 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (+ x (+ (* 1/2 (pow x 2)) 2))))>
4.854 * * * * [progress]: [ 48 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
4.854 * * * * [progress]: [ 49 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
4.854 * * * * [progress]: [ 50 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2)))))))>
4.854 * * * * [progress]: [ 51 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (+ (exp x) 1)))))>
4.854 * * * * [progress]: [ 52 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (+ (exp x) 1)))))>
4.855 * * * * [progress]: [ 53 / 55 ] 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)))))>
4.855 * * * * [progress]: [ 54 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
4.855 * * * * [progress]: [ 55 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
4.855 * [simplify]: Simplifying:
  (expm1 (exp (log1p (exp x))))
  (log1p (exp (log1p (exp x))))
  (exp (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x)))))
  (exp (sqrt (log1p (exp x))))
  (exp 1)
  (log (exp (log1p (exp x))))
  (exp (exp (log1p (exp x))))
  (* (cbrt (exp (log1p (exp x)))) (cbrt (exp (log1p (exp x)))))
  (cbrt (exp (log1p (exp x))))
  (* (* (exp (log1p (exp x))) (exp (log1p (exp x)))) (exp (log1p (exp x))))
  (sqrt (exp (log1p (exp x))))
  (sqrt (exp (log1p (exp x))))
  (real->posit16 (exp (log1p (exp x))))
  (+ 1 (exp x))
  (expm1 (log1p (exp x)))
  (log1p (log1p (exp x)))
  (log (log1p (exp x)))
  (exp (log1p (exp x)))
  (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x))))
  (cbrt (log1p (exp x)))
  (* (* (log1p (exp x)) (log1p (exp x))) (log1p (exp x)))
  (sqrt (log1p (exp x)))
  (sqrt (log1p (exp x)))
  (real->posit16 (log1p (exp x)))
  (expm1 (sqrt (exp (log1p (exp x)))))
  (log1p (sqrt (exp (log1p (exp x)))))
  (log (sqrt (exp (log1p (exp x)))))
  (exp (sqrt (exp (log1p (exp x)))))
  (* (cbrt (sqrt (exp (log1p (exp x))))) (cbrt (sqrt (exp (log1p (exp x))))))
  (cbrt (sqrt (exp (log1p (exp x)))))
  (* (* (sqrt (exp (log1p (exp x)))) (sqrt (exp (log1p (exp x))))) (sqrt (exp (log1p (exp x)))))
  (sqrt (* (cbrt (exp (log1p (exp x)))) (cbrt (exp (log1p (exp x))))))
  (sqrt (cbrt (exp (log1p (exp x)))))
  (sqrt (sqrt (exp (log1p (exp x)))))
  (sqrt (sqrt (exp (log1p (exp x)))))
  (sqrt 1)
  (sqrt (exp (log1p (exp x))))
  (/ 1 2)
  (/ (cbrt (log1p (exp x))) 2)
  (/ (sqrt (log1p (exp x))) 2)
  (/ (log1p (exp x)) 2)
  (sqrt (sqrt (exp (log1p (exp x)))))
  (sqrt (sqrt (exp (log1p (exp x)))))
  (real->posit16 (sqrt (exp (log1p (exp x)))))
  (+ x (+ (* 1/2 (pow x 2)) 2))
  (+ (exp x) 1)
  (+ (exp x) 1)
  (+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2))))
  (log (+ (exp x) 1))
  (log (+ (exp x) 1))
  (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
4.856 * * [simplify]: iteration 1: (73 enodes)
4.886 * * [simplify]: iteration 2: (130 enodes)
4.940 * * [simplify]: iteration 3: (276 enodes)
5.058 * * [simplify]: iteration 4: (704 enodes)
5.667 * * [simplify]: Extracting #0: cost 41 inf + 0
5.668 * * [simplify]: Extracting #1: cost 131 inf + 3
5.671 * * [simplify]: Extracting #2: cost 389 inf + 674
5.679 * * [simplify]: Extracting #3: cost 337 inf + 17777
5.703 * * [simplify]: Extracting #4: cost 132 inf + 60414
5.730 * * [simplify]: Extracting #5: cost 17 inf + 108918
5.753 * * [simplify]: Extracting #6: cost 0 inf + 118070
5.775 * * [simplify]: Extracting #7: cost 0 inf + 118030
5.796 * [simplify]: Simplified to:
  (expm1 (+ 1 (exp x)))
  (log1p (+ 1 (exp x)))
  (exp (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x)))))
  (exp (sqrt (log1p (exp x))))
  E
  (log1p (exp x))
  (* E (exp (exp x)))
  (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x))))
  (cbrt (+ 1 (exp x)))
  (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))
  (sqrt (+ 1 (exp x)))
  (sqrt (+ 1 (exp x)))
  (real->posit16 (+ 1 (exp x)))
  (+ 1 (exp x))
  (exp x)
  (log1p (log1p (exp x)))
  (log (log1p (exp x)))
  (+ 1 (exp x))
  (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x))))
  (cbrt (log1p (exp x)))
  (* (log1p (exp x)) (* (log1p (exp x)) (log1p (exp x))))
  (sqrt (log1p (exp x)))
  (sqrt (log1p (exp x)))
  (real->posit16 (log1p (exp x)))
  (expm1 (sqrt (+ 1 (exp x))))
  (log1p (sqrt (+ 1 (exp x))))
  (log (sqrt (+ 1 (exp x))))
  (exp (sqrt (+ 1 (exp x))))
  (* (cbrt (sqrt (+ 1 (exp x)))) (cbrt (sqrt (+ 1 (exp x)))))
  (cbrt (sqrt (+ 1 (exp x))))
  (* (sqrt (+ 1 (exp x))) (+ 1 (exp x)))
  (fabs (cbrt (+ 1 (exp x))))
  (sqrt (cbrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  1
  (sqrt (+ 1 (exp x)))
  1/2
  (/ (cbrt (log1p (exp x))) 2)
  (/ (sqrt (log1p (exp x))) 2)
  (/ (log1p (exp x)) 2)
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (real->posit16 (sqrt (+ 1 (exp x))))
  (fma (fma 1/2 x 1) x 2)
  (+ 1 (exp x))
  (+ 1 (exp x))
  (fma x (fma x 1/8 1/2) (log 2))
  (log1p (exp x))
  (log1p (exp x))
  (fma 1/2 (/ x (sqrt 2)) (+ (* (* x (/ x (sqrt 2))) 3/16) (sqrt 2)))
  (sqrt (+ 1 (exp x)))
  (sqrt (+ 1 (exp x)))
5.797 * * * [progress]: adding candidates to table
6.268 * * [progress]: iteration 3 / 4
6.268 * * * [progress]: picking best candidate
6.271 * * * * [pick]: Picked  #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))))>
6.271 * * * [progress]: localizing error
6.287 * * * [progress]: generating rewritten candidates
6.287 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
6.330 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
6.367 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
6.372 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
6.380 * * * [progress]: generating series expansions
6.380 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
6.381 * [backup-simplify]: Simplify (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))) into (+ (exp x) 1)
6.381 * [approximate]: Taking taylor expansion of (+ (exp x) 1) in (x) around 0
6.381 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
6.381 * [taylor]: Taking taylor expansion of (exp x) in x
6.381 * [taylor]: Taking taylor expansion of x in x
6.381 * [backup-simplify]: Simplify 0 into 0
6.381 * [backup-simplify]: Simplify 1 into 1
6.381 * [backup-simplify]: Simplify (exp 0) into 1
6.381 * [taylor]: Taking taylor expansion of 1 in x
6.381 * [backup-simplify]: Simplify 1 into 1
6.381 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
6.381 * [taylor]: Taking taylor expansion of (exp x) in x
6.381 * [taylor]: Taking taylor expansion of x in x
6.381 * [backup-simplify]: Simplify 0 into 0
6.381 * [backup-simplify]: Simplify 1 into 1
6.381 * [backup-simplify]: Simplify (exp 0) into 1
6.381 * [taylor]: Taking taylor expansion of 1 in x
6.381 * [backup-simplify]: Simplify 1 into 1
6.381 * [backup-simplify]: Simplify (+ 1 1) into 2
6.381 * [backup-simplify]: Simplify 2 into 2
6.382 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
6.382 * [backup-simplify]: Simplify (+ 1 0) into 1
6.382 * [backup-simplify]: Simplify 1 into 1
6.384 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
6.385 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
6.385 * [backup-simplify]: Simplify 1/2 into 1/2
6.385 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2))
6.385 * [backup-simplify]: Simplify (cbrt (* (* (+ 1 (exp (/ 1 x))) (+ 1 (exp (/ 1 x)))) (+ 1 (exp (/ 1 x))))) into (+ (exp (/ 1 x)) 1)
6.385 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0
6.385 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
6.385 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.385 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.385 * [taylor]: Taking taylor expansion of x in x
6.385 * [backup-simplify]: Simplify 0 into 0
6.385 * [backup-simplify]: Simplify 1 into 1
6.386 * [backup-simplify]: Simplify (/ 1 1) into 1
6.386 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.386 * [taylor]: Taking taylor expansion of 1 in x
6.386 * [backup-simplify]: Simplify 1 into 1
6.386 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
6.386 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.386 * [taylor]: Taking taylor expansion of x in x
6.386 * [backup-simplify]: Simplify 0 into 0
6.386 * [backup-simplify]: Simplify 1 into 1
6.387 * [backup-simplify]: Simplify (/ 1 1) into 1
6.387 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.387 * [taylor]: Taking taylor expansion of 1 in x
6.387 * [backup-simplify]: Simplify 1 into 1
6.387 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
6.387 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
6.387 * [backup-simplify]: Simplify (+ 0 0) into 0
6.387 * [backup-simplify]: Simplify 0 into 0
6.388 * [backup-simplify]: Simplify (+ 0 0) into 0
6.388 * [backup-simplify]: Simplify 0 into 0
6.388 * [backup-simplify]: Simplify (+ 0 0) into 0
6.388 * [backup-simplify]: Simplify 0 into 0
6.389 * [backup-simplify]: Simplify (+ 0 0) into 0
6.389 * [backup-simplify]: Simplify 0 into 0
6.389 * [backup-simplify]: Simplify (+ 0 0) into 0
6.389 * [backup-simplify]: Simplify 0 into 0
6.390 * [backup-simplify]: Simplify (+ 0 0) into 0
6.390 * [backup-simplify]: Simplify 0 into 0
6.390 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1)
6.390 * [backup-simplify]: Simplify (cbrt (* (* (+ 1 (exp (/ 1 (- x)))) (+ 1 (exp (/ 1 (- x))))) (+ 1 (exp (/ 1 (- x)))))) into (+ (exp (/ -1 x)) 1)
6.390 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0
6.390 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
6.390 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.390 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.390 * [taylor]: Taking taylor expansion of -1 in x
6.390 * [backup-simplify]: Simplify -1 into -1
6.390 * [taylor]: Taking taylor expansion of x in x
6.390 * [backup-simplify]: Simplify 0 into 0
6.390 * [backup-simplify]: Simplify 1 into 1
6.391 * [backup-simplify]: Simplify (/ -1 1) into -1
6.391 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.391 * [taylor]: Taking taylor expansion of 1 in x
6.391 * [backup-simplify]: Simplify 1 into 1
6.391 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
6.391 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.391 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.391 * [taylor]: Taking taylor expansion of -1 in x
6.391 * [backup-simplify]: Simplify -1 into -1
6.391 * [taylor]: Taking taylor expansion of x in x
6.391 * [backup-simplify]: Simplify 0 into 0
6.391 * [backup-simplify]: Simplify 1 into 1
6.392 * [backup-simplify]: Simplify (/ -1 1) into -1
6.392 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.392 * [taylor]: Taking taylor expansion of 1 in x
6.392 * [backup-simplify]: Simplify 1 into 1
6.392 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
6.392 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
6.393 * [backup-simplify]: Simplify (+ 0 0) into 0
6.393 * [backup-simplify]: Simplify 0 into 0
6.393 * [backup-simplify]: Simplify (+ 0 0) into 0
6.393 * [backup-simplify]: Simplify 0 into 0
6.394 * [backup-simplify]: Simplify (+ 0 0) into 0
6.394 * [backup-simplify]: Simplify 0 into 0
6.394 * [backup-simplify]: Simplify (+ 0 0) into 0
6.394 * [backup-simplify]: Simplify 0 into 0
6.394 * [backup-simplify]: Simplify (+ 0 0) into 0
6.394 * [backup-simplify]: Simplify 0 into 0
6.395 * [backup-simplify]: Simplify (+ 0 0) into 0
6.395 * [backup-simplify]: Simplify 0 into 0
6.395 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1)
6.395 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
6.395 * [backup-simplify]: Simplify (* (+ 1 (exp x)) (+ 1 (exp x))) into (pow (+ (exp x) 1) 2)
6.395 * [approximate]: Taking taylor expansion of (pow (+ (exp x) 1) 2) in (x) around 0
6.395 * [taylor]: Taking taylor expansion of (pow (+ (exp x) 1) 2) in x
6.395 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
6.395 * [taylor]: Taking taylor expansion of (exp x) in x
6.395 * [taylor]: Taking taylor expansion of x in x
6.395 * [backup-simplify]: Simplify 0 into 0
6.395 * [backup-simplify]: Simplify 1 into 1
6.395 * [backup-simplify]: Simplify (exp 0) into 1
6.395 * [taylor]: Taking taylor expansion of 1 in x
6.396 * [backup-simplify]: Simplify 1 into 1
6.396 * [backup-simplify]: Simplify (+ 1 1) into 2
6.396 * [taylor]: Taking taylor expansion of (pow (+ (exp x) 1) 2) in x
6.396 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
6.396 * [taylor]: Taking taylor expansion of (exp x) in x
6.396 * [taylor]: Taking taylor expansion of x in x
6.396 * [backup-simplify]: Simplify 0 into 0
6.396 * [backup-simplify]: Simplify 1 into 1
6.396 * [backup-simplify]: Simplify (exp 0) into 1
6.396 * [taylor]: Taking taylor expansion of 1 in x
6.396 * [backup-simplify]: Simplify 1 into 1
6.397 * [backup-simplify]: Simplify (+ 1 1) into 2
6.397 * [backup-simplify]: Simplify (* 2 2) into 4
6.398 * [backup-simplify]: Simplify 4 into 4
6.399 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
6.399 * [backup-simplify]: Simplify (+ 1 0) into 1
6.400 * [backup-simplify]: Simplify (+ (* 2 1) (* 1 2)) into 4
6.400 * [backup-simplify]: Simplify 4 into 4
6.401 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
6.402 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
6.403 * [backup-simplify]: Simplify (+ (* 2 1/2) (+ (* 1 1) (* 1/2 2))) into 3
6.403 * [backup-simplify]: Simplify 3 into 3
6.403 * [backup-simplify]: Simplify (+ (* 3 (pow x 2)) (+ (* 4 x) 4)) into (+ (* 4 x) (+ (* 3 (pow x 2)) 4))
6.403 * [backup-simplify]: Simplify (* (+ 1 (exp (/ 1 x))) (+ 1 (exp (/ 1 x)))) into (pow (+ (exp (/ 1 x)) 1) 2)
6.403 * [approximate]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) 1) 2) in (x) around 0
6.403 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) 1) 2) in x
6.403 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
6.403 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.403 * [taylor]: Taking taylor expansion of x in x
6.403 * [backup-simplify]: Simplify 0 into 0
6.403 * [backup-simplify]: Simplify 1 into 1
6.404 * [backup-simplify]: Simplify (/ 1 1) into 1
6.404 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.404 * [taylor]: Taking taylor expansion of 1 in x
6.404 * [backup-simplify]: Simplify 1 into 1
6.404 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
6.404 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) 1) 2) in x
6.404 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
6.404 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.404 * [taylor]: Taking taylor expansion of x in x
6.404 * [backup-simplify]: Simplify 0 into 0
6.404 * [backup-simplify]: Simplify 1 into 1
6.405 * [backup-simplify]: Simplify (/ 1 1) into 1
6.405 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.405 * [taylor]: Taking taylor expansion of 1 in x
6.405 * [backup-simplify]: Simplify 1 into 1
6.405 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
6.405 * [backup-simplify]: Simplify (* (+ (exp (/ 1 x)) 1) (+ (exp (/ 1 x)) 1)) into (pow (+ (exp (/ 1 x)) 1) 2)
6.405 * [backup-simplify]: Simplify (pow (+ (exp (/ 1 x)) 1) 2) into (pow (+ (exp (/ 1 x)) 1) 2)
6.406 * [backup-simplify]: Simplify (+ 0 0) into 0
6.406 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) 1) 0) (* 0 (+ (exp (/ 1 x)) 1))) into 0
6.406 * [backup-simplify]: Simplify 0 into 0
6.406 * [backup-simplify]: Simplify (+ 0 0) into 0
6.407 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) 1) 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) 1)))) into 0
6.407 * [backup-simplify]: Simplify 0 into 0
6.407 * [backup-simplify]: Simplify (+ 0 0) into 0
6.408 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) 1))))) into 0
6.408 * [backup-simplify]: Simplify 0 into 0
6.409 * [backup-simplify]: Simplify (+ 0 0) into 0
6.410 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) 1)))))) into 0
6.410 * [backup-simplify]: Simplify 0 into 0
6.410 * [backup-simplify]: Simplify (+ 0 0) into 0
6.411 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) 1))))))) into 0
6.411 * [backup-simplify]: Simplify 0 into 0
6.412 * [backup-simplify]: Simplify (+ 0 0) into 0
6.413 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) 1)))))))) into 0
6.413 * [backup-simplify]: Simplify 0 into 0
6.413 * [backup-simplify]: Simplify (pow (+ (exp (/ 1 (/ 1 x))) 1) 2) into (pow (+ (exp x) 1) 2)
6.413 * [backup-simplify]: Simplify (* (+ 1 (exp (/ 1 (- x)))) (+ 1 (exp (/ 1 (- x))))) into (pow (+ (exp (/ -1 x)) 1) 2)
6.413 * [approximate]: Taking taylor expansion of (pow (+ (exp (/ -1 x)) 1) 2) in (x) around 0
6.413 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -1 x)) 1) 2) in x
6.413 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
6.413 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.413 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.413 * [taylor]: Taking taylor expansion of -1 in x
6.413 * [backup-simplify]: Simplify -1 into -1
6.413 * [taylor]: Taking taylor expansion of x in x
6.413 * [backup-simplify]: Simplify 0 into 0
6.413 * [backup-simplify]: Simplify 1 into 1
6.414 * [backup-simplify]: Simplify (/ -1 1) into -1
6.414 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.414 * [taylor]: Taking taylor expansion of 1 in x
6.414 * [backup-simplify]: Simplify 1 into 1
6.414 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
6.414 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -1 x)) 1) 2) in x
6.414 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
6.414 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.414 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.414 * [taylor]: Taking taylor expansion of -1 in x
6.414 * [backup-simplify]: Simplify -1 into -1
6.414 * [taylor]: Taking taylor expansion of x in x
6.414 * [backup-simplify]: Simplify 0 into 0
6.414 * [backup-simplify]: Simplify 1 into 1
6.414 * [backup-simplify]: Simplify (/ -1 1) into -1
6.414 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.414 * [taylor]: Taking taylor expansion of 1 in x
6.414 * [backup-simplify]: Simplify 1 into 1
6.414 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
6.414 * [backup-simplify]: Simplify (* (+ (exp (/ -1 x)) 1) (+ (exp (/ -1 x)) 1)) into (pow (+ (exp (/ -1 x)) 1) 2)
6.414 * [backup-simplify]: Simplify (pow (+ (exp (/ -1 x)) 1) 2) into (pow (+ (exp (/ -1 x)) 1) 2)
6.415 * [backup-simplify]: Simplify (+ 0 0) into 0
6.415 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 x)) 1) 0) (* 0 (+ (exp (/ -1 x)) 1))) into 0
6.415 * [backup-simplify]: Simplify 0 into 0
6.415 * [backup-simplify]: Simplify (+ 0 0) into 0
6.415 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 x)) 1) 0) (+ (* 0 0) (* 0 (+ (exp (/ -1 x)) 1)))) into 0
6.416 * [backup-simplify]: Simplify 0 into 0
6.416 * [backup-simplify]: Simplify (+ 0 0) into 0
6.416 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ -1 x)) 1))))) into 0
6.416 * [backup-simplify]: Simplify 0 into 0
6.417 * [backup-simplify]: Simplify (+ 0 0) into 0
6.417 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ -1 x)) 1)))))) into 0
6.417 * [backup-simplify]: Simplify 0 into 0
6.418 * [backup-simplify]: Simplify (+ 0 0) into 0
6.419 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ -1 x)) 1))))))) into 0
6.419 * [backup-simplify]: Simplify 0 into 0
6.419 * [backup-simplify]: Simplify (+ 0 0) into 0
6.420 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ -1 x)) 1)))))))) into 0
6.420 * [backup-simplify]: Simplify 0 into 0
6.420 * [backup-simplify]: Simplify (pow (+ (exp (/ -1 (/ 1 (- x)))) 1) 2) into (pow (+ (exp x) 1) 2)
6.420 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
6.420 * [backup-simplify]: Simplify (+ 1 (exp x)) into (+ (exp x) 1)
6.421 * [approximate]: Taking taylor expansion of (+ (exp x) 1) in (x) around 0
6.421 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
6.421 * [taylor]: Taking taylor expansion of (exp x) in x
6.421 * [taylor]: Taking taylor expansion of x in x
6.421 * [backup-simplify]: Simplify 0 into 0
6.421 * [backup-simplify]: Simplify 1 into 1
6.421 * [backup-simplify]: Simplify (exp 0) into 1
6.421 * [taylor]: Taking taylor expansion of 1 in x
6.421 * [backup-simplify]: Simplify 1 into 1
6.421 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
6.421 * [taylor]: Taking taylor expansion of (exp x) in x
6.421 * [taylor]: Taking taylor expansion of x in x
6.421 * [backup-simplify]: Simplify 0 into 0
6.421 * [backup-simplify]: Simplify 1 into 1
6.421 * [backup-simplify]: Simplify (exp 0) into 1
6.421 * [taylor]: Taking taylor expansion of 1 in x
6.421 * [backup-simplify]: Simplify 1 into 1
6.421 * [backup-simplify]: Simplify (+ 1 1) into 2
6.421 * [backup-simplify]: Simplify 2 into 2
6.422 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
6.422 * [backup-simplify]: Simplify (+ 1 0) into 1
6.422 * [backup-simplify]: Simplify 1 into 1
6.425 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
6.425 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
6.425 * [backup-simplify]: Simplify 1/2 into 1/2
6.426 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2))
6.426 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
6.426 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0
6.426 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
6.426 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.426 * [taylor]: Taking taylor expansion of x in x
6.426 * [backup-simplify]: Simplify 0 into 0
6.426 * [backup-simplify]: Simplify 1 into 1
6.426 * [backup-simplify]: Simplify (/ 1 1) into 1
6.426 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.426 * [taylor]: Taking taylor expansion of 1 in x
6.426 * [backup-simplify]: Simplify 1 into 1
6.426 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
6.426 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.426 * [taylor]: Taking taylor expansion of x in x
6.426 * [backup-simplify]: Simplify 0 into 0
6.426 * [backup-simplify]: Simplify 1 into 1
6.427 * [backup-simplify]: Simplify (/ 1 1) into 1
6.427 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.427 * [taylor]: Taking taylor expansion of 1 in x
6.427 * [backup-simplify]: Simplify 1 into 1
6.427 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
6.427 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
6.427 * [backup-simplify]: Simplify (+ 0 0) into 0
6.427 * [backup-simplify]: Simplify 0 into 0
6.427 * [backup-simplify]: Simplify (+ 0 0) into 0
6.427 * [backup-simplify]: Simplify 0 into 0
6.428 * [backup-simplify]: Simplify (+ 0 0) into 0
6.428 * [backup-simplify]: Simplify 0 into 0
6.428 * [backup-simplify]: Simplify (+ 0 0) into 0
6.428 * [backup-simplify]: Simplify 0 into 0
6.428 * [backup-simplify]: Simplify (+ 0 0) into 0
6.428 * [backup-simplify]: Simplify 0 into 0
6.428 * [backup-simplify]: Simplify (+ 0 0) into 0
6.429 * [backup-simplify]: Simplify 0 into 0
6.429 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1)
6.429 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 (- x)))) into (+ (exp (/ -1 x)) 1)
6.429 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0
6.429 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
6.429 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.429 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.429 * [taylor]: Taking taylor expansion of -1 in x
6.429 * [backup-simplify]: Simplify -1 into -1
6.429 * [taylor]: Taking taylor expansion of x in x
6.429 * [backup-simplify]: Simplify 0 into 0
6.429 * [backup-simplify]: Simplify 1 into 1
6.429 * [backup-simplify]: Simplify (/ -1 1) into -1
6.429 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.429 * [taylor]: Taking taylor expansion of 1 in x
6.429 * [backup-simplify]: Simplify 1 into 1
6.429 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
6.429 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.429 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.429 * [taylor]: Taking taylor expansion of -1 in x
6.429 * [backup-simplify]: Simplify -1 into -1
6.429 * [taylor]: Taking taylor expansion of x in x
6.429 * [backup-simplify]: Simplify 0 into 0
6.429 * [backup-simplify]: Simplify 1 into 1
6.430 * [backup-simplify]: Simplify (/ -1 1) into -1
6.430 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.430 * [taylor]: Taking taylor expansion of 1 in x
6.430 * [backup-simplify]: Simplify 1 into 1
6.430 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
6.430 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
6.430 * [backup-simplify]: Simplify (+ 0 0) into 0
6.430 * [backup-simplify]: Simplify 0 into 0
6.430 * [backup-simplify]: Simplify (+ 0 0) into 0
6.430 * [backup-simplify]: Simplify 0 into 0
6.431 * [backup-simplify]: Simplify (+ 0 0) into 0
6.431 * [backup-simplify]: Simplify 0 into 0
6.431 * [backup-simplify]: Simplify (+ 0 0) into 0
6.431 * [backup-simplify]: Simplify 0 into 0
6.431 * [backup-simplify]: Simplify (+ 0 0) into 0
6.431 * [backup-simplify]: Simplify 0 into 0
6.432 * [backup-simplify]: Simplify (+ 0 0) into 0
6.432 * [backup-simplify]: Simplify 0 into 0
6.432 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1)
6.432 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
6.432 * [backup-simplify]: Simplify (+ 1 (exp x)) into (+ (exp x) 1)
6.432 * [approximate]: Taking taylor expansion of (+ (exp x) 1) in (x) around 0
6.432 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
6.432 * [taylor]: Taking taylor expansion of (exp x) in x
6.432 * [taylor]: Taking taylor expansion of x in x
6.432 * [backup-simplify]: Simplify 0 into 0
6.432 * [backup-simplify]: Simplify 1 into 1
6.432 * [backup-simplify]: Simplify (exp 0) into 1
6.432 * [taylor]: Taking taylor expansion of 1 in x
6.432 * [backup-simplify]: Simplify 1 into 1
6.432 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
6.432 * [taylor]: Taking taylor expansion of (exp x) in x
6.432 * [taylor]: Taking taylor expansion of x in x
6.432 * [backup-simplify]: Simplify 0 into 0
6.432 * [backup-simplify]: Simplify 1 into 1
6.432 * [backup-simplify]: Simplify (exp 0) into 1
6.432 * [taylor]: Taking taylor expansion of 1 in x
6.432 * [backup-simplify]: Simplify 1 into 1
6.432 * [backup-simplify]: Simplify (+ 1 1) into 2
6.432 * [backup-simplify]: Simplify 2 into 2
6.433 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
6.434 * [backup-simplify]: Simplify (+ 1 0) into 1
6.434 * [backup-simplify]: Simplify 1 into 1
6.435 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
6.435 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
6.435 * [backup-simplify]: Simplify 1/2 into 1/2
6.435 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2))
6.435 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
6.435 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0
6.435 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
6.435 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.435 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.435 * [taylor]: Taking taylor expansion of x in x
6.435 * [backup-simplify]: Simplify 0 into 0
6.435 * [backup-simplify]: Simplify 1 into 1
6.435 * [backup-simplify]: Simplify (/ 1 1) into 1
6.435 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.435 * [taylor]: Taking taylor expansion of 1 in x
6.435 * [backup-simplify]: Simplify 1 into 1
6.436 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
6.436 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.436 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.436 * [taylor]: Taking taylor expansion of x in x
6.436 * [backup-simplify]: Simplify 0 into 0
6.436 * [backup-simplify]: Simplify 1 into 1
6.436 * [backup-simplify]: Simplify (/ 1 1) into 1
6.436 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.436 * [taylor]: Taking taylor expansion of 1 in x
6.436 * [backup-simplify]: Simplify 1 into 1
6.436 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
6.436 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
6.436 * [backup-simplify]: Simplify (+ 0 0) into 0
6.436 * [backup-simplify]: Simplify 0 into 0
6.437 * [backup-simplify]: Simplify (+ 0 0) into 0
6.437 * [backup-simplify]: Simplify 0 into 0
6.437 * [backup-simplify]: Simplify (+ 0 0) into 0
6.437 * [backup-simplify]: Simplify 0 into 0
6.437 * [backup-simplify]: Simplify (+ 0 0) into 0
6.437 * [backup-simplify]: Simplify 0 into 0
6.437 * [backup-simplify]: Simplify (+ 0 0) into 0
6.437 * [backup-simplify]: Simplify 0 into 0
6.438 * [backup-simplify]: Simplify (+ 0 0) into 0
6.438 * [backup-simplify]: Simplify 0 into 0
6.438 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1)
6.438 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 (- x)))) into (+ (exp (/ -1 x)) 1)
6.438 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0
6.438 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
6.438 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.438 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.438 * [taylor]: Taking taylor expansion of -1 in x
6.438 * [backup-simplify]: Simplify -1 into -1
6.438 * [taylor]: Taking taylor expansion of x in x
6.438 * [backup-simplify]: Simplify 0 into 0
6.438 * [backup-simplify]: Simplify 1 into 1
6.438 * [backup-simplify]: Simplify (/ -1 1) into -1
6.438 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.438 * [taylor]: Taking taylor expansion of 1 in x
6.438 * [backup-simplify]: Simplify 1 into 1
6.438 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
6.438 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.438 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.438 * [taylor]: Taking taylor expansion of -1 in x
6.438 * [backup-simplify]: Simplify -1 into -1
6.438 * [taylor]: Taking taylor expansion of x in x
6.438 * [backup-simplify]: Simplify 0 into 0
6.438 * [backup-simplify]: Simplify 1 into 1
6.439 * [backup-simplify]: Simplify (/ -1 1) into -1
6.439 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.439 * [taylor]: Taking taylor expansion of 1 in x
6.439 * [backup-simplify]: Simplify 1 into 1
6.439 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
6.439 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
6.439 * [backup-simplify]: Simplify (+ 0 0) into 0
6.439 * [backup-simplify]: Simplify 0 into 0
6.439 * [backup-simplify]: Simplify (+ 0 0) into 0
6.439 * [backup-simplify]: Simplify 0 into 0
6.440 * [backup-simplify]: Simplify (+ 0 0) into 0
6.440 * [backup-simplify]: Simplify 0 into 0
6.440 * [backup-simplify]: Simplify (+ 0 0) into 0
6.440 * [backup-simplify]: Simplify 0 into 0
6.440 * [backup-simplify]: Simplify (+ 0 0) into 0
6.440 * [backup-simplify]: Simplify 0 into 0
6.440 * [backup-simplify]: Simplify (+ 0 0) into 0
6.440 * [backup-simplify]: Simplify 0 into 0
6.441 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1)
6.441 * * * [progress]: simplifying candidates
6.441 * * * * [progress]: [ 1 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (log1p (expm1 (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))))))>
6.441 * * * * [progress]: [ 2 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (expm1 (log1p (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))))))>
6.441 * * * * [progress]: [ 3 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))) 1/3)))>
6.441 * * * * [progress]: [ 4 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))) 1)))>
6.441 * * * * [progress]: [ 5 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))))))>
6.441 * * * * [progress]: [ 6 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (log (exp (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))))))>
6.441 * * * * [progress]: [ 7 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (* (cbrt (* (+ 1 (exp x)) (+ 1 (exp x)))) (cbrt (+ 1 (exp x))))))>
6.441 * * * * [progress]: [ 8 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (+ (pow 1 3) (pow (exp x) 3)) (+ (pow 1 3) (pow (exp x) 3))) (+ (pow 1 3) (pow (exp x) 3)))) (cbrt (* (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))))>
6.441 * * * * [progress]: [ 9 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (+ (pow 1 3) (pow (exp x) 3)) (+ (pow 1 3) (pow (exp x) 3))) (- (* 1 1) (* (exp x) (exp x))))) (cbrt (* (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))) (- 1 (exp x)))))))>
6.441 * * * * [progress]: [ 10 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (+ (pow 1 3) (pow (exp x) 3)) (- (* 1 1) (* (exp x) (exp x)))) (+ (pow 1 3) (pow (exp x) 3)))) (cbrt (* (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (- 1 (exp x))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))))>
6.441 * * * * [progress]: [ 11 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (+ (pow 1 3) (pow (exp x) 3)) (- (* 1 1) (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) (exp x))))) (cbrt (* (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (- 1 (exp x))) (- 1 (exp x)))))))>
6.441 * * * * [progress]: [ 12 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (- (* 1 1) (* (exp x) (exp x))) (+ (pow 1 3) (pow (exp x) 3))) (+ (pow 1 3) (pow (exp x) 3)))) (cbrt (* (* (- 1 (exp x)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))))>
6.441 * * * * [progress]: [ 13 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (- (* 1 1) (* (exp x) (exp x))) (+ (pow 1 3) (pow (exp x) 3))) (- (* 1 1) (* (exp x) (exp x))))) (cbrt (* (* (- 1 (exp x)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))) (- 1 (exp x)))))))>
6.441 * * * * [progress]: [ 14 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (- (* 1 1) (* (exp x) (exp x))) (- (* 1 1) (* (exp x) (exp x)))) (+ (pow 1 3) (pow (exp x) 3)))) (cbrt (* (* (- 1 (exp x)) (- 1 (exp x))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))))>
6.441 * * * * [progress]: [ 15 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (- (* 1 1) (* (exp x) (exp x))) (- (* 1 1) (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) (exp x))))) (cbrt (* (* (- 1 (exp x)) (- 1 (exp x))) (- 1 (exp x)))))))>
6.441 * * * * [progress]: [ 16 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (+ 1 (exp x)) (+ (pow 1 3) (pow (exp x) 3))) (+ (pow 1 3) (pow (exp x) 3)))) (cbrt (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))))>
6.441 * * * * [progress]: [ 17 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (+ 1 (exp x)) (+ (pow 1 3) (pow (exp x) 3))) (- (* 1 1) (* (exp x) (exp x))))) (cbrt (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (- 1 (exp x)))))))>
6.441 * * * * [progress]: [ 18 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (+ 1 (exp x)) (- (* 1 1) (* (exp x) (exp x)))) (+ (pow 1 3) (pow (exp x) 3)))) (cbrt (* (- 1 (exp x)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))))>
6.441 * * * * [progress]: [ 19 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (+ 1 (exp x)) (- (* 1 1) (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) (exp x))))) (cbrt (* (- 1 (exp x)) (- 1 (exp x)))))))>
6.442 * * * * [progress]: [ 20 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (+ (pow 1 3) (pow (exp x) 3)) (+ 1 (exp x))) (+ (pow 1 3) (pow (exp x) 3)))) (cbrt (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))))>
6.442 * * * * [progress]: [ 21 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (+ (pow 1 3) (pow (exp x) 3)) (+ 1 (exp x))) (- (* 1 1) (* (exp x) (exp x))))) (cbrt (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (- 1 (exp x)))))))>
6.442 * * * * [progress]: [ 22 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (- (* 1 1) (* (exp x) (exp x))) (+ 1 (exp x))) (+ (pow 1 3) (pow (exp x) 3)))) (cbrt (* (- 1 (exp x)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))))>
6.442 * * * * [progress]: [ 23 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (- (* 1 1) (* (exp x) (exp x))) (+ 1 (exp x))) (- (* 1 1) (* (exp x) (exp x))))) (cbrt (* (- 1 (exp x)) (- 1 (exp x)))))))>
6.442 * * * * [progress]: [ 24 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ (pow 1 3) (pow (exp x) 3)))) (cbrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))))>
6.442 * * * * [progress]: [ 25 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (- (* 1 1) (* (exp x) (exp x))))) (cbrt (- 1 (exp x))))))>
6.442 * * * * [progress]: [ 26 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (+ (pow 1 3) (pow (exp x) 3)) (+ (pow 1 3) (pow (exp x) 3))) (+ 1 (exp x)))) (cbrt (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))))>
6.442 * * * * [progress]: [ 27 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (+ (pow 1 3) (pow (exp x) 3)) (- (* 1 1) (* (exp x) (exp x)))) (+ 1 (exp x)))) (cbrt (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (- 1 (exp x)))))))>
6.442 * * * * [progress]: [ 28 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (- (* 1 1) (* (exp x) (exp x))) (+ (pow 1 3) (pow (exp x) 3))) (+ 1 (exp x)))) (cbrt (* (- 1 (exp x)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))))>
6.442 * * * * [progress]: [ 29 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (- (* 1 1) (* (exp x) (exp x))) (- (* 1 1) (* (exp x) (exp x)))) (+ 1 (exp x)))) (cbrt (* (- 1 (exp x)) (- 1 (exp x)))))))>
6.442 * * * * [progress]: [ 30 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (+ 1 (exp x)) (+ (pow 1 3) (pow (exp x) 3))) (+ 1 (exp x)))) (cbrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))))>
6.442 * * * * [progress]: [ 31 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (+ 1 (exp x)) (- (* 1 1) (* (exp x) (exp x)))) (+ 1 (exp x)))) (cbrt (- 1 (exp x))))))>
6.442 * * * * [progress]: [ 32 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (+ (pow 1 3) (pow (exp x) 3)) (+ 1 (exp x))) (+ 1 (exp x)))) (cbrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))))>
6.442 * * * * [progress]: [ 33 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (- (* 1 1) (* (exp x) (exp x))) (+ 1 (exp x))) (+ 1 (exp x)))) (cbrt (- 1 (exp x))))))>
6.442 * * * * [progress]: [ 34 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (* (* (cbrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))) (cbrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))))) (cbrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))))))>
6.442 * * * * [progress]: [ 35 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))) (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))) (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))))))>
6.442 * * * * [progress]: [ 36 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (+ 1 (exp x))))>
6.442 * * * * [progress]: [ 37 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (* (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))))))>
6.442 * * * * [progress]: [ 38 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (* 1 (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))))))>
6.442 * * * * [progress]: [ 39 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (posit16->real (real->posit16 (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))))))>
6.442 * * * * [progress]: [ 40 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (log1p (expm1 (* (+ 1 (exp x)) (+ 1 (exp x))))) (+ 1 (exp x))))))>
6.442 * * * * [progress]: [ 41 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (expm1 (log1p (* (+ 1 (exp x)) (+ 1 (exp x))))) (+ 1 (exp x))))))>
6.442 * * * * [progress]: [ 42 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (pow (+ 1 (exp x)) (+ 1 1)) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 43 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (pow (* (+ 1 (exp x)) (+ 1 (exp x))) 1) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 44 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (pow (+ 1 (exp x)) 2) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 45 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (pow (+ 1 (exp x)) (+ 1 1)) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 46 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (pow (* (+ 1 (exp x)) (+ 1 (exp x))) 1) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 47 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (exp (+ (log (+ 1 (exp x))) (log (+ 1 (exp x))))) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 48 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (exp (log (* (+ 1 (exp x)) (+ 1 (exp x))))) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 49 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (log (exp (* (+ 1 (exp x)) (+ 1 (exp x))))) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 50 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (cbrt (* (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))) (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 51 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (* (cbrt (* (+ 1 (exp x)) (+ 1 (exp x)))) (cbrt (* (+ 1 (exp x)) (+ 1 (exp x))))) (cbrt (* (+ 1 (exp x)) (+ 1 (exp x))))) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 52 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (cbrt (* (* (* (+ 1 (exp x)) (+ 1 (exp x))) (* (+ 1 (exp x)) (+ 1 (exp x)))) (* (+ 1 (exp x)) (+ 1 (exp x))))) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 53 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (sqrt (* (+ 1 (exp x)) (+ 1 (exp x)))) (sqrt (* (+ 1 (exp x)) (+ 1 (exp x))))) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 54 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (/ (* (+ (pow 1 3) (pow (exp x) 3)) (+ (pow 1 3) (pow (exp x) 3))) (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 55 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (/ (* (+ (pow 1 3) (pow (exp x) 3)) (- (* 1 1) (* (exp x) (exp x)))) (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (- 1 (exp x)))) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 56 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (/ (* (- (* 1 1) (* (exp x) (exp x))) (+ (pow 1 3) (pow (exp x) 3))) (* (- 1 (exp x)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 57 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (/ (* (- (* 1 1) (* (exp x) (exp x))) (- (* 1 1) (* (exp x) (exp x)))) (* (- 1 (exp x)) (- 1 (exp x)))) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 58 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* 1 (* (+ 1 (exp x)) (+ 1 (exp x)))) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 59 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (* (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x)))) (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x))))) (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x))))) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 60 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x)))) (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x))))) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 61 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (* 1 1) (* (+ 1 (exp x)) (+ 1 (exp x)))) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 62 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (* 1 1) (* (+ 1 (exp x)) (+ 1 (exp x)))) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 63 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (* 1 1) (* (+ 1 (exp x)) (+ 1 (exp x)))) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 64 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (* 1 1) (* (+ 1 (exp x)) (+ 1 (exp x)))) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 65 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x)))) (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x))))) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 66 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (pow (+ 1 (exp x)) (* 2 1)) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 67 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (+ (* (+ 1 (exp x)) 1) (* (+ 1 (exp x)) (exp x))) (+ 1 (exp x))))))>
6.443 * * * * [progress]: [ 68 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (+ (* 1 (+ 1 (exp x))) (* (exp x) (+ 1 (exp x)))) (+ 1 (exp x))))))>
6.444 * * * * [progress]: [ 69 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (* (+ 1 (exp x)) (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x))))) (cbrt (+ 1 (exp x)))) (+ 1 (exp x))))))>
6.444 * * * * [progress]: [ 70 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (* (+ 1 (exp x)) (sqrt (+ 1 (exp x)))) (sqrt (+ 1 (exp x)))) (+ 1 (exp x))))))>
6.444 * * * * [progress]: [ 71 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (* (+ 1 (exp x)) 1) (+ 1 (exp x))) (+ 1 (exp x))))))>
6.444 * * * * [progress]: [ 72 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (* (+ 1 (exp x)) 1) (+ 1 (exp x))) (+ 1 (exp x))))))>
6.444 * * * * [progress]: [ 73 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x)))) (* (cbrt (+ 1 (exp x))) (+ 1 (exp x)))) (+ 1 (exp x))))))>
6.444 * * * * [progress]: [ 74 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (sqrt (+ 1 (exp x))) (* (sqrt (+ 1 (exp x))) (+ 1 (exp x)))) (+ 1 (exp x))))))>
6.444 * * * * [progress]: [ 75 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* 1 (* (+ 1 (exp x)) (+ 1 (exp x)))) (+ 1 (exp x))))))>
6.444 * * * * [progress]: [ 76 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* 1 (* (+ 1 (exp x)) (+ 1 (exp x)))) (+ 1 (exp x))))))>
6.444 * * * * [progress]: [ 77 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (/ (* (+ 1 (exp x)) (+ (pow 1 3) (pow (exp x) 3))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))) (+ 1 (exp x))))))>
6.444 * * * * [progress]: [ 78 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (/ (* (+ 1 (exp x)) (- (* 1 1) (* (exp x) (exp x)))) (- 1 (exp x))) (+ 1 (exp x))))))>
6.444 * * * * [progress]: [ 79 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (/ (* (+ (pow 1 3) (pow (exp x) 3)) (+ 1 (exp x))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))) (+ 1 (exp x))))))>
6.444 * * * * [progress]: [ 80 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (/ (* (- (* 1 1) (* (exp x) (exp x))) (+ 1 (exp x))) (- 1 (exp x))) (+ 1 (exp x))))))>
6.444 * * * * [progress]: [ 81 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (posit16->real (real->posit16 (* (+ 1 (exp x)) (+ 1 (exp x))))) (+ 1 (exp x))))))>
6.444 * * * * [progress]: [ 82 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))))>
6.444 * * * * [progress]: [ 83 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (log1p (expm1 (+ 1 (exp x))))))))>
6.444 * * * * [progress]: [ 84 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (expm1 (log1p (+ 1 (exp x))))))))>
6.444 * * * * [progress]: [ 85 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (exp x))))))>
6.444 * * * * [progress]: [ 86 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (fma (sqrt 1) (sqrt 1) (exp x))))))>
6.444 * * * * [progress]: [ 87 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (fma 1 1 (exp x))))))>
6.444 * * * * [progress]: [ 88 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (log (* (exp 1) (exp (exp x))))))))>
6.444 * * * * [progress]: [ 89 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (pow (+ 1 (exp x)) 1)))))>
6.444 * * * * [progress]: [ 90 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (exp (log (+ 1 (exp x))))))))>
6.444 * * * * [progress]: [ 91 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (log (exp (+ 1 (exp x))))))))>
6.444 * * * * [progress]: [ 92 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (* (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x)))) (cbrt (+ 1 (exp x))))))))>
6.444 * * * * [progress]: [ 93 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))))))>
6.444 * * * * [progress]: [ 94 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x))))))))>
6.444 * * * * [progress]: [ 95 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (/ (+ (pow 1 3) (pow (exp x) 3)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))))>
6.445 * * * * [progress]: [ 96 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (* 1 (+ 1 (exp x)))))))>
6.445 * * * * [progress]: [ 97 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (/ (- (* 1 1) (* (exp x) (exp x))) (- 1 (exp x)))))))>
6.445 * * * * [progress]: [ 98 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (* 1 (+ 1 (exp x)))))))>
6.445 * * * * [progress]: [ 99 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (posit16->real (real->posit16 (+ 1 (exp x))))))))>
6.445 * * * * [progress]: [ 100 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ (exp x) 1)))))>
6.445 * * * * [progress]: [ 101 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (log1p (expm1 (+ 1 (exp x))))) (+ 1 (exp x))))))>
6.445 * * * * [progress]: [ 102 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (expm1 (log1p (+ 1 (exp x))))) (+ 1 (exp x))))))>
6.445 * * * * [progress]: [ 103 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (exp x))) (+ 1 (exp x))))))>
6.445 * * * * [progress]: [ 104 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (fma (sqrt 1) (sqrt 1) (exp x))) (+ 1 (exp x))))))>
6.445 * * * * [progress]: [ 105 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (fma 1 1 (exp x))) (+ 1 (exp x))))))>
6.445 * * * * [progress]: [ 106 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (log (* (exp 1) (exp (exp x))))) (+ 1 (exp x))))))>
6.445 * * * * [progress]: [ 107 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (pow (+ 1 (exp x)) 1)) (+ 1 (exp x))))))>
6.445 * * * * [progress]: [ 108 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (exp (log (+ 1 (exp x))))) (+ 1 (exp x))))))>
6.445 * * * * [progress]: [ 109 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (log (exp (+ 1 (exp x))))) (+ 1 (exp x))))))>
6.445 * * * * [progress]: [ 110 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (* (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x)))) (cbrt (+ 1 (exp x))))) (+ 1 (exp x))))))>
6.445 * * * * [progress]: [ 111 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))) (+ 1 (exp x))))))>
6.445 * * * * [progress]: [ 112 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x))))) (+ 1 (exp x))))))>
6.445 * * * * [progress]: [ 113 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (/ (+ (pow 1 3) (pow (exp x) 3)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))) (+ 1 (exp x))))))>
6.445 * * * * [progress]: [ 114 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (* 1 (+ 1 (exp x)))) (+ 1 (exp x))))))>
6.445 * * * * [progress]: [ 115 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (/ (- (* 1 1) (* (exp x) (exp x))) (- 1 (exp x)))) (+ 1 (exp x))))))>
6.445 * * * * [progress]: [ 116 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (* 1 (+ 1 (exp x)))) (+ 1 (exp x))))))>
6.445 * * * * [progress]: [ 117 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (posit16->real (real->posit16 (+ 1 (exp x))))) (+ 1 (exp x))))))>
6.445 * * * * [progress]: [ 118 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ (exp x) 1)) (+ 1 (exp x))))))>
6.445 * * * * [progress]: [ 119 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (+ x (+ (* 1/2 (pow x 2)) 2))))>
6.445 * * * * [progress]: [ 120 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
6.445 * * * * [progress]: [ 121 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
6.445 * * * * [progress]: [ 122 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (+ (* 4 x) (+ (* 3 (pow x 2)) 4)) (+ 1 (exp x))))))>
6.445 * * * * [progress]: [ 123 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (pow (+ (exp x) 1) 2) (+ 1 (exp x))))))>
6.445 * * * * [progress]: [ 124 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (pow (+ (exp x) 1) 2) (+ 1 (exp x))))))>
6.445 * * * * [progress]: [ 125 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ x (+ (* 1/2 (pow x 2)) 2))))))>
6.446 * * * * [progress]: [ 126 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ (exp x) 1)))))>
6.446 * * * * [progress]: [ 127 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ (exp x) 1)))))>
6.446 * * * * [progress]: [ 128 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ x (+ (* 1/2 (pow x 2)) 2))) (+ 1 (exp x))))))>
6.446 * * * * [progress]: [ 129 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ (exp x) 1)) (+ 1 (exp x))))))>
6.446 * * * * [progress]: [ 130 / 130 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ (exp x) 1)) (+ 1 (exp x))))))>
6.448 * [simplify]: Simplifying:
  (expm1 (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))))
  (log1p (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))))
  (log (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))))
  (exp (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))))
  (cbrt (* (+ 1 (exp x)) (+ 1 (exp x))))
  (cbrt (+ 1 (exp x)))
  (cbrt (* (* (+ (pow 1 3) (pow (exp x) 3)) (+ (pow 1 3) (pow (exp x) 3))) (+ (pow 1 3) (pow (exp x) 3))))
  (cbrt (* (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))
  (cbrt (* (* (+ (pow 1 3) (pow (exp x) 3)) (+ (pow 1 3) (pow (exp x) 3))) (- (* 1 1) (* (exp x) (exp x)))))
  (cbrt (* (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))) (- 1 (exp x))))
  (cbrt (* (* (+ (pow 1 3) (pow (exp x) 3)) (- (* 1 1) (* (exp x) (exp x)))) (+ (pow 1 3) (pow (exp x) 3))))
  (cbrt (* (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (- 1 (exp x))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))
  (cbrt (* (* (+ (pow 1 3) (pow (exp x) 3)) (- (* 1 1) (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) (exp x)))))
  (cbrt (* (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (- 1 (exp x))) (- 1 (exp x))))
  (cbrt (* (* (- (* 1 1) (* (exp x) (exp x))) (+ (pow 1 3) (pow (exp x) 3))) (+ (pow 1 3) (pow (exp x) 3))))
  (cbrt (* (* (- 1 (exp x)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))
  (cbrt (* (* (- (* 1 1) (* (exp x) (exp x))) (+ (pow 1 3) (pow (exp x) 3))) (- (* 1 1) (* (exp x) (exp x)))))
  (cbrt (* (* (- 1 (exp x)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))) (- 1 (exp x))))
  (cbrt (* (* (- (* 1 1) (* (exp x) (exp x))) (- (* 1 1) (* (exp x) (exp x)))) (+ (pow 1 3) (pow (exp x) 3))))
  (cbrt (* (* (- 1 (exp x)) (- 1 (exp x))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))
  (cbrt (* (* (- (* 1 1) (* (exp x) (exp x))) (- (* 1 1) (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) (exp x)))))
  (cbrt (* (* (- 1 (exp x)) (- 1 (exp x))) (- 1 (exp x))))
  (cbrt (* (* (+ 1 (exp x)) (+ (pow 1 3) (pow (exp x) 3))) (+ (pow 1 3) (pow (exp x) 3))))
  (cbrt (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))
  (cbrt (* (* (+ 1 (exp x)) (+ (pow 1 3) (pow (exp x) 3))) (- (* 1 1) (* (exp x) (exp x)))))
  (cbrt (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (- 1 (exp x))))
  (cbrt (* (* (+ 1 (exp x)) (- (* 1 1) (* (exp x) (exp x)))) (+ (pow 1 3) (pow (exp x) 3))))
  (cbrt (* (- 1 (exp x)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))
  (cbrt (* (* (+ 1 (exp x)) (- (* 1 1) (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) (exp x)))))
  (cbrt (* (- 1 (exp x)) (- 1 (exp x))))
  (cbrt (* (* (+ (pow 1 3) (pow (exp x) 3)) (+ 1 (exp x))) (+ (pow 1 3) (pow (exp x) 3))))
  (cbrt (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))
  (cbrt (* (* (+ (pow 1 3) (pow (exp x) 3)) (+ 1 (exp x))) (- (* 1 1) (* (exp x) (exp x)))))
  (cbrt (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (- 1 (exp x))))
  (cbrt (* (* (- (* 1 1) (* (exp x) (exp x))) (+ 1 (exp x))) (+ (pow 1 3) (pow (exp x) 3))))
  (cbrt (* (- 1 (exp x)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))
  (cbrt (* (* (- (* 1 1) (* (exp x) (exp x))) (+ 1 (exp x))) (- (* 1 1) (* (exp x) (exp x)))))
  (cbrt (* (- 1 (exp x)) (- 1 (exp x))))
  (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ (pow 1 3) (pow (exp x) 3))))
  (cbrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))
  (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (- (* 1 1) (* (exp x) (exp x)))))
  (cbrt (- 1 (exp x)))
  (cbrt (* (* (+ (pow 1 3) (pow (exp x) 3)) (+ (pow 1 3) (pow (exp x) 3))) (+ 1 (exp x))))
  (cbrt (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))
  (cbrt (* (* (+ (pow 1 3) (pow (exp x) 3)) (- (* 1 1) (* (exp x) (exp x)))) (+ 1 (exp x))))
  (cbrt (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (- 1 (exp x))))
  (cbrt (* (* (- (* 1 1) (* (exp x) (exp x))) (+ (pow 1 3) (pow (exp x) 3))) (+ 1 (exp x))))
  (cbrt (* (- 1 (exp x)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))
  (cbrt (* (* (- (* 1 1) (* (exp x) (exp x))) (- (* 1 1) (* (exp x) (exp x)))) (+ 1 (exp x))))
  (cbrt (* (- 1 (exp x)) (- 1 (exp x))))
  (cbrt (* (* (+ 1 (exp x)) (+ (pow 1 3) (pow (exp x) 3))) (+ 1 (exp x))))
  (cbrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))
  (cbrt (* (* (+ 1 (exp x)) (- (* 1 1) (* (exp x) (exp x)))) (+ 1 (exp x))))
  (cbrt (- 1 (exp x)))
  (cbrt (* (* (+ (pow 1 3) (pow (exp x) 3)) (+ 1 (exp x))) (+ 1 (exp x))))
  (cbrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))
  (cbrt (* (* (- (* 1 1) (* (exp x) (exp x))) (+ 1 (exp x))) (+ 1 (exp x))))
  (cbrt (- 1 (exp x)))
  (* (cbrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))) (cbrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))))
  (cbrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))))
  (* (* (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))) (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))) (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))))
  (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))))
  (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))))
  (real->posit16 (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))))
  (expm1 (* (+ 1 (exp x)) (+ 1 (exp x))))
  (log1p (* (+ 1 (exp x)) (+ 1 (exp x))))
  (+ 1 1)
  (* (+ 1 (exp x)) (+ 1 (exp x)))
  (+ 1 1)
  (+ (log (+ 1 (exp x))) (log (+ 1 (exp x))))
  (log (* (+ 1 (exp x)) (+ 1 (exp x))))
  (exp (* (+ 1 (exp x)) (+ 1 (exp x))))
  (* (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))) (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))
  (* (cbrt (* (+ 1 (exp x)) (+ 1 (exp x)))) (cbrt (* (+ 1 (exp x)) (+ 1 (exp x)))))
  (cbrt (* (+ 1 (exp x)) (+ 1 (exp x))))
  (* (* (* (+ 1 (exp x)) (+ 1 (exp x))) (* (+ 1 (exp x)) (+ 1 (exp x)))) (* (+ 1 (exp x)) (+ 1 (exp x))))
  (sqrt (* (+ 1 (exp x)) (+ 1 (exp x))))
  (sqrt (* (+ 1 (exp x)) (+ 1 (exp x))))
  (* (+ (pow 1 3) (pow (exp x) 3)) (+ (pow 1 3) (pow (exp x) 3)))
  (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))
  (* (+ (pow 1 3) (pow (exp x) 3)) (- (* 1 1) (* (exp x) (exp x))))
  (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (- 1 (exp x)))
  (* (- (* 1 1) (* (exp x) (exp x))) (+ (pow 1 3) (pow (exp x) 3)))
  (* (- 1 (exp x)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))
  (* (- (* 1 1) (* (exp x) (exp x))) (- (* 1 1) (* (exp x) (exp x))))
  (* (- 1 (exp x)) (- 1 (exp x)))
  (* (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x)))) (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x)))))
  (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x))))
  (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x))))
  (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x))))
  (* 1 1)
  (* (+ 1 (exp x)) (+ 1 (exp x)))
  (* 1 1)
  (* (+ 1 (exp x)) (+ 1 (exp x)))
  (* 1 1)
  (* (+ 1 (exp x)) (+ 1 (exp x)))
  (* 1 1)
  (* (+ 1 (exp x)) (+ 1 (exp x)))
  (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x))))
  (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x))))
  (* 2 1)
  (* (+ 1 (exp x)) 1)
  (* (+ 1 (exp x)) (exp x))
  (* 1 (+ 1 (exp x)))
  (* (exp x) (+ 1 (exp x)))
  (* (+ 1 (exp x)) (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x)))))
  (* (+ 1 (exp x)) (sqrt (+ 1 (exp x))))
  (* (+ 1 (exp x)) 1)
  (* (+ 1 (exp x)) 1)
  (* (cbrt (+ 1 (exp x))) (+ 1 (exp x)))
  (* (sqrt (+ 1 (exp x))) (+ 1 (exp x)))
  (* (+ 1 (exp x)) (+ 1 (exp x)))
  (* (+ 1 (exp x)) (+ 1 (exp x)))
  (* (+ 1 (exp x)) (+ (pow 1 3) (pow (exp x) 3)))
  (* (+ 1 (exp x)) (- (* 1 1) (* (exp x) (exp x))))
  (* (+ (pow 1 3) (pow (exp x) 3)) (+ 1 (exp x)))
  (* (- (* 1 1) (* (exp x) (exp x))) (+ 1 (exp x)))
  (real->posit16 (* (+ 1 (exp x)) (+ 1 (exp x))))
  (expm1 (+ 1 (exp x)))
  (log1p (+ 1 (exp x)))
  (* (exp 1) (exp (exp x)))
  (log (+ 1 (exp x)))
  (exp (+ 1 (exp x)))
  (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x))))
  (cbrt (+ 1 (exp x)))
  (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))
  (sqrt (+ 1 (exp x)))
  (sqrt (+ 1 (exp x)))
  (+ (pow 1 3) (pow (exp x) 3))
  (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))
  (- (* 1 1) (* (exp x) (exp x)))
  (- 1 (exp x))
  (+ 1 (exp x))
  (real->posit16 (+ 1 (exp x)))
  (expm1 (+ 1 (exp x)))
  (log1p (+ 1 (exp x)))
  (* (exp 1) (exp (exp x)))
  (log (+ 1 (exp x)))
  (exp (+ 1 (exp x)))
  (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x))))
  (cbrt (+ 1 (exp x)))
  (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))
  (sqrt (+ 1 (exp x)))
  (sqrt (+ 1 (exp x)))
  (+ (pow 1 3) (pow (exp x) 3))
  (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))
  (- (* 1 1) (* (exp x) (exp x)))
  (- 1 (exp x))
  (+ 1 (exp x))
  (real->posit16 (+ 1 (exp x)))
  (+ x (+ (* 1/2 (pow x 2)) 2))
  (+ (exp x) 1)
  (+ (exp x) 1)
  (+ (* 4 x) (+ (* 3 (pow x 2)) 4))
  (pow (+ (exp x) 1) 2)
  (pow (+ (exp x) 1) 2)
  (+ x (+ (* 1/2 (pow x 2)) 2))
  (+ (exp x) 1)
  (+ (exp x) 1)
  (+ x (+ (* 1/2 (pow x 2)) 2))
  (+ (exp x) 1)
  (+ (exp x) 1)
6.452 * * [simplify]: iteration 1: (162 enodes)
6.552 * * [simplify]: iteration 2: (515 enodes)
7.220 * * [simplify]: iteration 3: (1774 enodes)
12.269 * * [simplify]: Extracting #0: cost 55 inf + 0
12.270 * * [simplify]: Extracting #1: cost 243 inf + 2
12.277 * * [simplify]: Extracting #2: cost 535 inf + 1589
12.294 * * [simplify]: Extracting #3: cost 649 inf + 47861
12.325 * * [simplify]: Extracting #4: cost 325 inf + 158132
12.423 * * [simplify]: Extracting #5: cost 5 inf + 276664
12.535 * * [simplify]: Extracting #6: cost 0 inf + 278370
12.652 * [simplify]: Simplified to:
  (expm1 (+ (exp x) 1))
  (log1p (+ (exp x) 1))
  (log1p (exp x))
  (exp (+ (exp x) 1))
  (cbrt (* (+ (exp x) 1) (+ (exp x) 1)))
  (cbrt (+ (exp x) 1))
  (+ (exp (* 3 x)) 1)
  (- (fma (exp x) (exp x) 1) (exp x))
  (cbrt (* (* (fma (* (exp x) (exp x)) (exp x) 1) (fma (* (exp x) (exp x)) (exp x) 1)) (- 1 (* (exp x) (exp x)))))
  (cbrt (* (* (- 1 (exp x)) (- (fma (exp x) (exp x) 1) (exp x))) (- (fma (exp x) (exp x) 1) (exp x))))
  (cbrt (* (* (fma (* (exp x) (exp x)) (exp x) 1) (fma (* (exp x) (exp x)) (exp x) 1)) (- 1 (* (exp x) (exp x)))))
  (cbrt (* (* (- 1 (exp x)) (- (fma (exp x) (exp x) 1) (exp x))) (- (fma (exp x) (exp x) 1) (exp x))))
  (cbrt (* (- 1 (* (exp x) (exp x))) (fma (* (- 1 (* (exp x) (exp x))) (* (exp x) (exp x))) (exp x) (- 1 (* (exp x) (exp x))))))
  (cbrt (fma (- (* (exp x) (exp x)) (exp x)) (* (- 1 (exp x)) (- 1 (exp x))) (* (- 1 (exp x)) (- 1 (exp x)))))
  (cbrt (* (* (fma (* (exp x) (exp x)) (exp x) 1) (fma (* (exp x) (exp x)) (exp x) 1)) (- 1 (* (exp x) (exp x)))))
  (cbrt (* (* (- 1 (exp x)) (- (fma (exp x) (exp x) 1) (exp x))) (- (fma (exp x) (exp x) 1) (exp x))))
  (cbrt (* (- 1 (* (exp x) (exp x))) (fma (* (- 1 (* (exp x) (exp x))) (* (exp x) (exp x))) (exp x) (- 1 (* (exp x) (exp x))))))
  (cbrt (fma (- (* (exp x) (exp x)) (exp x)) (* (- 1 (exp x)) (- 1 (exp x))) (* (- 1 (exp x)) (- 1 (exp x)))))
  (cbrt (* (- 1 (* (exp x) (exp x))) (fma (* (- 1 (* (exp x) (exp x))) (* (exp x) (exp x))) (exp x) (- 1 (* (exp x) (exp x))))))
  (cbrt (fma (- (* (exp x) (exp x)) (exp x)) (* (- 1 (exp x)) (- 1 (exp x))) (* (- 1 (exp x)) (- 1 (exp x)))))
  (- 1 (* (exp x) (exp x)))
  (- 1 (exp x))
  (cbrt (fma (exp x) (* (fma (* (exp x) (exp x)) (exp x) 1) (fma (* (exp x) (exp x)) (exp x) 1)) (* (fma (* (exp x) (exp x)) (exp x) 1) (fma (* (exp x) (exp x)) (exp x) 1))))
  (cbrt (* (- (fma (exp x) (exp x) 1) (exp x)) (- (fma (exp x) (exp x) 1) (exp x))))
  (cbrt (* (- 1 (* (exp x) (exp x))) (fma (exp x) (fma (* (exp x) (exp x)) (exp x) 1) (fma (* (exp x) (exp x)) (exp x) 1))))
  (cbrt (* (- 1 (exp x)) (- (fma (exp x) (exp x) 1) (exp x))))
  (cbrt (* (- 1 (* (exp x) (exp x))) (fma (exp x) (fma (* (exp x) (exp x)) (exp x) 1) (fma (* (exp x) (exp x)) (exp x) 1))))
  (cbrt (* (- 1 (exp x)) (- (fma (exp x) (exp x) 1) (exp x))))
  (cbrt (fma (* (- 1 (* (exp x) (exp x))) (- 1 (* (exp x) (exp x)))) (exp x) (* (- 1 (* (exp x) (exp x))) (- 1 (* (exp x) (exp x))))))
  (cbrt (* (- 1 (exp x)) (- 1 (exp x))))
  (cbrt (fma (exp x) (* (fma (* (exp x) (exp x)) (exp x) 1) (fma (* (exp x) (exp x)) (exp x) 1)) (* (fma (* (exp x) (exp x)) (exp x) 1) (fma (* (exp x) (exp x)) (exp x) 1))))
  (cbrt (* (- (fma (exp x) (exp x) 1) (exp x)) (- (fma (exp x) (exp x) 1) (exp x))))
  (cbrt (* (- 1 (* (exp x) (exp x))) (fma (exp x) (fma (* (exp x) (exp x)) (exp x) 1) (fma (* (exp x) (exp x)) (exp x) 1))))
  (cbrt (* (- 1 (exp x)) (- (fma (exp x) (exp x) 1) (exp x))))
  (cbrt (* (- 1 (* (exp x) (exp x))) (fma (exp x) (fma (* (exp x) (exp x)) (exp x) 1) (fma (* (exp x) (exp x)) (exp x) 1))))
  (cbrt (* (- 1 (exp x)) (- (fma (exp x) (exp x) 1) (exp x))))
  (cbrt (fma (* (- 1 (* (exp x) (exp x))) (- 1 (* (exp x) (exp x)))) (exp x) (* (- 1 (* (exp x) (exp x))) (- 1 (* (exp x) (exp x))))))
  (cbrt (* (- 1 (exp x)) (- 1 (exp x))))
  (cbrt (fma (exp x) (fma (exp x) (fma (* (exp x) (exp x)) (exp x) 1) (fma (* (exp x) (exp x)) (exp x) 1)) (fma (exp x) (fma (* (exp x) (exp x)) (exp x) 1) (fma (* (exp x) (exp x)) (exp x) 1))))
  (cbrt (- (fma (exp x) (exp x) 1) (exp x)))
  (cbrt (fma (exp x) (fma (exp x) (- 1 (* (exp x) (exp x))) (- 1 (* (exp x) (exp x)))) (fma (exp x) (- 1 (* (exp x) (exp x))) (- 1 (* (exp x) (exp x))))))
  (cbrt (- 1 (exp x)))
  (cbrt (fma (exp x) (* (fma (* (exp x) (exp x)) (exp x) 1) (fma (* (exp x) (exp x)) (exp x) 1)) (* (fma (* (exp x) (exp x)) (exp x) 1) (fma (* (exp x) (exp x)) (exp x) 1))))
  (cbrt (* (- (fma (exp x) (exp x) 1) (exp x)) (- (fma (exp x) (exp x) 1) (exp x))))
  (cbrt (* (- 1 (* (exp x) (exp x))) (fma (exp x) (fma (* (exp x) (exp x)) (exp x) 1) (fma (* (exp x) (exp x)) (exp x) 1))))
  (cbrt (* (- 1 (exp x)) (- (fma (exp x) (exp x) 1) (exp x))))
  (cbrt (* (- 1 (* (exp x) (exp x))) (fma (exp x) (fma (* (exp x) (exp x)) (exp x) 1) (fma (* (exp x) (exp x)) (exp x) 1))))
  (cbrt (* (- 1 (exp x)) (- (fma (exp x) (exp x) 1) (exp x))))
  (cbrt (fma (* (- 1 (* (exp x) (exp x))) (- 1 (* (exp x) (exp x)))) (exp x) (* (- 1 (* (exp x) (exp x))) (- 1 (* (exp x) (exp x))))))
  (cbrt (* (- 1 (exp x)) (- 1 (exp x))))
  (cbrt (fma (exp x) (fma (exp x) (fma (* (exp x) (exp x)) (exp x) 1) (fma (* (exp x) (exp x)) (exp x) 1)) (fma (exp x) (fma (* (exp x) (exp x)) (exp x) 1) (fma (* (exp x) (exp x)) (exp x) 1))))
  (cbrt (- (fma (exp x) (exp x) 1) (exp x)))
  (cbrt (fma (exp x) (fma (exp x) (- 1 (* (exp x) (exp x))) (- 1 (* (exp x) (exp x)))) (fma (exp x) (- 1 (* (exp x) (exp x))) (- 1 (* (exp x) (exp x))))))
  (cbrt (- 1 (exp x)))
  (cbrt (fma (exp x) (fma (exp x) (fma (* (exp x) (exp x)) (exp x) 1) (fma (* (exp x) (exp x)) (exp x) 1)) (fma (exp x) (fma (* (exp x) (exp x)) (exp x) 1) (fma (* (exp x) (exp x)) (exp x) 1))))
  (cbrt (- (fma (exp x) (exp x) 1) (exp x)))
  (cbrt (fma (exp x) (fma (exp x) (- 1 (* (exp x) (exp x))) (- 1 (* (exp x) (exp x)))) (fma (exp x) (- 1 (* (exp x) (exp x))) (- 1 (* (exp x) (exp x))))))
  (cbrt (- 1 (exp x)))
  (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))
  (cbrt (+ (exp x) 1))
  (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (real->posit16 (+ (exp x) 1))
  (expm1 (* (+ (exp x) 1) (+ (exp x) 1)))
  (log1p (* (+ (exp x) 1) (+ (exp x) 1)))
  2
  (* (+ (exp x) 1) (+ (exp x) 1))
  2
  (+ (log1p (exp x)) (log1p (exp x)))
  (+ (log1p (exp x)) (log1p (exp x)))
  (exp (* (+ (exp x) 1) (+ (exp x) 1)))
  (* (* (* (+ (exp x) 1) (+ (exp x) 1)) (* (+ (exp x) 1) (+ (exp x) 1))) (* (+ (exp x) 1) (+ (exp x) 1)))
  (* (cbrt (* (+ (exp x) 1) (+ (exp x) 1))) (cbrt (* (+ (exp x) 1) (+ (exp x) 1))))
  (cbrt (* (+ (exp x) 1) (+ (exp x) 1)))
  (* (* (* (+ (exp x) 1) (+ (exp x) 1)) (* (+ (exp x) 1) (+ (exp x) 1))) (* (+ (exp x) 1) (+ (exp x) 1)))
  (fabs (+ (exp x) 1))
  (fabs (+ (exp x) 1))
  (* (+ (exp (* 3 x)) 1) (+ (exp (* 3 x)) 1))
  (* (- (fma (exp x) (exp x) 1) (exp x)) (- (fma (exp x) (exp x) 1) (exp x)))
  (fma (* (- 1 (* (exp x) (exp x))) (* (exp x) (exp x))) (exp x) (- 1 (* (exp x) (exp x))))
  (* (- 1 (exp x)) (- (fma (exp x) (exp x) 1) (exp x)))
  (fma (* (- 1 (* (exp x) (exp x))) (* (exp x) (exp x))) (exp x) (- 1 (* (exp x) (exp x))))
  (* (- 1 (exp x)) (- (fma (exp x) (exp x) 1) (exp x)))
  (* (- 1 (* (exp x) (exp x))) (- 1 (* (exp x) (exp x))))
  (* (- 1 (exp x)) (- 1 (exp x)))
  (* (cbrt (+ (exp x) 1)) (+ (exp x) 1))
  (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))
  (+ (exp x) 1)
  (+ (exp x) 1)
  1
  (* (+ (exp x) 1) (+ (exp x) 1))
  1
  (* (+ (exp x) 1) (+ (exp x) 1))
  1
  (* (+ (exp x) 1) (+ (exp x) 1))
  1
  (* (+ (exp x) 1) (+ (exp x) 1))
  (+ (exp x) 1)
  (+ (exp x) 1)
  2
  (+ (exp x) 1)
  (fma (exp x) (exp x) (exp x))
  (+ (exp x) 1)
  (fma (exp x) (exp x) (exp x))
  (* (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))) (+ (exp x) 1))
  (* (sqrt (+ (exp x) 1)) (+ (exp x) 1))
  (+ (exp x) 1)
  (+ (exp x) 1)
  (* (cbrt (+ (exp x) 1)) (+ (exp x) 1))
  (* (sqrt (+ (exp x) 1)) (+ (exp x) 1))
  (* (+ (exp x) 1) (+ (exp x) 1))
  (* (+ (exp x) 1) (+ (exp x) 1))
  (fma (exp x) (fma (* (exp x) (exp x)) (exp x) 1) (fma (* (exp x) (exp x)) (exp x) 1))
  (fma (exp x) (- 1 (* (exp x) (exp x))) (- 1 (* (exp x) (exp x))))
  (fma (exp x) (fma (* (exp x) (exp x)) (exp x) 1) (fma (* (exp x) (exp x)) (exp x) 1))
  (fma (exp x) (- 1 (* (exp x) (exp x))) (- 1 (* (exp x) (exp x))))
  (real->posit16 (* (+ (exp x) 1) (+ (exp x) 1)))
  (expm1 (+ (exp x) 1))
  (log1p (+ (exp x) 1))
  (exp (+ (exp x) 1))
  (log1p (exp x))
  (exp (+ (exp x) 1))
  (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))
  (cbrt (+ (exp x) 1))
  (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (+ (exp (* 3 x)) 1)
  (- (fma (exp x) (exp x) 1) (exp x))
  (- 1 (* (exp x) (exp x)))
  (- 1 (exp x))
  (+ (exp x) 1)
  (real->posit16 (+ (exp x) 1))
  (expm1 (+ (exp x) 1))
  (log1p (+ (exp x) 1))
  (exp (+ (exp x) 1))
  (log1p (exp x))
  (exp (+ (exp x) 1))
  (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))
  (cbrt (+ (exp x) 1))
  (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (+ (exp (* 3 x)) 1)
  (- (fma (exp x) (exp x) 1) (exp x))
  (- 1 (* (exp x) (exp x)))
  (- 1 (exp x))
  (+ (exp x) 1)
  (real->posit16 (+ (exp x) 1))
  (+ (fma x (* 1/2 x) x) 2)
  (+ (exp x) 1)
  (+ (exp x) 1)
  (fma (* x x) 3 (fma x 4 4))
  (* (+ (exp x) 1) (+ (exp x) 1))
  (* (+ (exp x) 1) (+ (exp x) 1))
  (+ (fma x (* 1/2 x) x) 2)
  (+ (exp x) 1)
  (+ (exp x) 1)
  (+ (fma x (* 1/2 x) x) 2)
  (+ (exp x) 1)
  (+ (exp x) 1)
12.665 * * * [progress]: adding candidates to table
14.008 * [progress]: [Phase 3 of 3] Extracting.
14.008 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (sqrt (exp (log1p (exp x)))))> #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))))>)
14.009 * * * [regime-changes]: Trying 1 branch expressions: (x)
14.009 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (sqrt (exp (log1p (exp x)))))> #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))))>)
14.045 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
14.045 * [simplify]: Simplifying:
  (sqrt (exp (log1p (exp x))))
14.045 * * [simplify]: iteration 1: (5 enodes)
14.046 * * [simplify]: Extracting #0: cost 1 inf + 0
14.046 * * [simplify]: Extracting #1: cost 2 inf + 0
14.046 * * [simplify]: Extracting #2: cost 3 inf + 0
14.046 * * [simplify]: Extracting #3: cost 4 inf + 0
14.046 * * [simplify]: Extracting #4: cost 5 inf + 0
14.046 * * [simplify]: Extracting #5: cost 4 inf + 1
14.046 * * [simplify]: Extracting #6: cost 0 inf + 735
14.046 * [simplify]: Simplified to:
  (sqrt (exp (log1p (exp x))))
24.294 * [regime-testing]: Baseline error score: 0.04566534659043544
24.296 * [regime-testing]: Oracle error score: 0.035529477657187426
24.301 * [regime-testing]: End program error score: 0.04566534659043544