1.301 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.496 * * * [progress]: [2/2] Setting up program.
0.507 * [progress]: [Phase 2 of 3] Improving.
0.508 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))))>
0.551 * [simplify]: Simplifying:
  (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1)))
0.553 * * [simplify]: iteration 1: (10 enodes)
0.568 * * [simplify]: iteration 2: (22 enodes)
0.575 * * [simplify]: iteration 3: (28 enodes)
0.584 * * [simplify]: iteration 4: (51 enodes)
0.604 * * [simplify]: iteration 5: (106 enodes)
0.669 * * [simplify]: iteration 6: (283 enodes)
0.893 * * [simplify]: iteration 7: (796 enodes)
2.552 * * [simplify]: Extracting #0: cost 1 inf + 0
2.552 * * [simplify]: Extracting #1: cost 4 inf + 0
2.553 * * [simplify]: Extracting #2: cost 104 inf + 1
2.556 * * [simplify]: Extracting #3: cost 405 inf + 3
2.561 * * [simplify]: Extracting #4: cost 654 inf + 3283
2.573 * * [simplify]: Extracting #5: cost 598 inf + 29264
2.617 * * [simplify]: Extracting #6: cost 321 inf + 194206
2.693 * * [simplify]: Extracting #7: cost 19 inf + 417932
2.756 * * [simplify]: Extracting #8: cost 0 inf + 417737
2.816 * * [simplify]: Extracting #9: cost 0 inf + 412086
2.884 * * [simplify]: Extracting #10: cost 0 inf + 411330
2.944 * [simplify]: Simplified to:
  (sqrt (+ (exp x) 1))
2.953 * * [progress]: iteration 1 / 4
2.953 * * * [progress]: picking best candidate
2.955 * * * * [pick]: Picked  #<alt (λ (x) (sqrt (+ (exp x) 1)))>
2.955 * * * [progress]: localizing error
2.965 * * * [progress]: generating rewritten candidates
2.965 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
2.977 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
2.993 * * * [progress]: generating series expansions
2.994 * * * * [progress]: [ 1 / 2 ] generating series at (2)
3.000 * [backup-simplify]: Simplify (sqrt (+ (exp x) 1)) into (sqrt (+ (exp x) 1))
3.000 * [approximate]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0
3.002 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
3.002 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
3.002 * [taylor]: Taking taylor expansion of (exp x) in x
3.002 * [taylor]: Taking taylor expansion of x in x
3.002 * [backup-simplify]: Simplify 0 into 0
3.002 * [backup-simplify]: Simplify 1 into 1
3.002 * [backup-simplify]: Simplify (exp 0) into 1
3.002 * [taylor]: Taking taylor expansion of 1 in x
3.002 * [backup-simplify]: Simplify 1 into 1
3.003 * [backup-simplify]: Simplify (+ 1 1) into 2
3.004 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
3.005 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.006 * [backup-simplify]: Simplify (+ 1 0) into 1
3.007 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
3.007 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
3.008 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
3.008 * [taylor]: Taking taylor expansion of (exp x) in x
3.008 * [taylor]: Taking taylor expansion of x in x
3.008 * [backup-simplify]: Simplify 0 into 0
3.008 * [backup-simplify]: Simplify 1 into 1
3.008 * [backup-simplify]: Simplify (exp 0) into 1
3.008 * [taylor]: Taking taylor expansion of 1 in x
3.008 * [backup-simplify]: Simplify 1 into 1
3.008 * [backup-simplify]: Simplify (+ 1 1) into 2
3.009 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
3.010 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.010 * [backup-simplify]: Simplify (+ 1 0) into 1
3.012 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
3.013 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
3.014 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2))
3.016 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.017 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
3.022 * [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)))
3.028 * [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)))
3.036 * [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))))
3.036 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
3.036 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0
3.036 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
3.036 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
3.037 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.037 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.037 * [taylor]: Taking taylor expansion of x in x
3.037 * [backup-simplify]: Simplify 0 into 0
3.037 * [backup-simplify]: Simplify 1 into 1
3.037 * [backup-simplify]: Simplify (/ 1 1) into 1
3.037 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.037 * [taylor]: Taking taylor expansion of 1 in x
3.037 * [backup-simplify]: Simplify 1 into 1
3.037 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
3.038 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
3.038 * [backup-simplify]: Simplify (+ 0 0) into 0
3.038 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.038 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
3.038 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
3.038 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.038 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.038 * [taylor]: Taking taylor expansion of x in x
3.038 * [backup-simplify]: Simplify 0 into 0
3.038 * [backup-simplify]: Simplify 1 into 1
3.039 * [backup-simplify]: Simplify (/ 1 1) into 1
3.039 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.039 * [taylor]: Taking taylor expansion of 1 in x
3.039 * [backup-simplify]: Simplify 1 into 1
3.039 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
3.039 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
3.039 * [backup-simplify]: Simplify (+ 0 0) into 0
3.039 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.040 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
3.040 * [backup-simplify]: Simplify 0 into 0
3.040 * [backup-simplify]: Simplify (+ 0 0) into 0
3.041 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.041 * [backup-simplify]: Simplify 0 into 0
3.041 * [backup-simplify]: Simplify (+ 0 0) into 0
3.042 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.042 * [backup-simplify]: Simplify 0 into 0
3.043 * [backup-simplify]: Simplify (+ 0 0) into 0
3.044 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.044 * [backup-simplify]: Simplify 0 into 0
3.044 * [backup-simplify]: Simplify (+ 0 0) into 0
3.045 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.045 * [backup-simplify]: Simplify 0 into 0
3.045 * [backup-simplify]: Simplify (+ 0 0) into 0
3.046 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.047 * [backup-simplify]: Simplify 0 into 0
3.047 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1))
3.047 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (- x))) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
3.047 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0
3.047 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
3.047 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
3.047 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.047 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.047 * [taylor]: Taking taylor expansion of -1 in x
3.047 * [backup-simplify]: Simplify -1 into -1
3.047 * [taylor]: Taking taylor expansion of x in x
3.047 * [backup-simplify]: Simplify 0 into 0
3.047 * [backup-simplify]: Simplify 1 into 1
3.048 * [backup-simplify]: Simplify (/ -1 1) into -1
3.048 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.048 * [taylor]: Taking taylor expansion of 1 in x
3.048 * [backup-simplify]: Simplify 1 into 1
3.048 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
3.048 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
3.048 * [backup-simplify]: Simplify (+ 0 0) into 0
3.049 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.049 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
3.049 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
3.049 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.049 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.049 * [taylor]: Taking taylor expansion of -1 in x
3.049 * [backup-simplify]: Simplify -1 into -1
3.049 * [taylor]: Taking taylor expansion of x in x
3.049 * [backup-simplify]: Simplify 0 into 0
3.049 * [backup-simplify]: Simplify 1 into 1
3.049 * [backup-simplify]: Simplify (/ -1 1) into -1
3.049 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.049 * [taylor]: Taking taylor expansion of 1 in x
3.049 * [backup-simplify]: Simplify 1 into 1
3.049 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
3.050 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
3.050 * [backup-simplify]: Simplify (+ 0 0) into 0
3.050 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.050 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
3.050 * [backup-simplify]: Simplify 0 into 0
3.051 * [backup-simplify]: Simplify (+ 0 0) into 0
3.051 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.051 * [backup-simplify]: Simplify 0 into 0
3.052 * [backup-simplify]: Simplify (+ 0 0) into 0
3.053 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.053 * [backup-simplify]: Simplify 0 into 0
3.053 * [backup-simplify]: Simplify (+ 0 0) into 0
3.063 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.063 * [backup-simplify]: Simplify 0 into 0
3.063 * [backup-simplify]: Simplify (+ 0 0) into 0
3.064 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.064 * [backup-simplify]: Simplify 0 into 0
3.065 * [backup-simplify]: Simplify (+ 0 0) into 0
3.066 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.066 * [backup-simplify]: Simplify 0 into 0
3.066 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1))
3.066 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
3.066 * [backup-simplify]: Simplify (+ (exp x) 1) into (+ (exp x) 1)
3.066 * [approximate]: Taking taylor expansion of (+ (exp x) 1) in (x) around 0
3.066 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
3.066 * [taylor]: Taking taylor expansion of (exp x) in x
3.066 * [taylor]: Taking taylor expansion of x in x
3.066 * [backup-simplify]: Simplify 0 into 0
3.066 * [backup-simplify]: Simplify 1 into 1
3.066 * [backup-simplify]: Simplify (exp 0) into 1
3.066 * [taylor]: Taking taylor expansion of 1 in x
3.067 * [backup-simplify]: Simplify 1 into 1
3.067 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
3.067 * [taylor]: Taking taylor expansion of (exp x) in x
3.067 * [taylor]: Taking taylor expansion of x in x
3.067 * [backup-simplify]: Simplify 0 into 0
3.067 * [backup-simplify]: Simplify 1 into 1
3.067 * [backup-simplify]: Simplify (exp 0) into 1
3.067 * [taylor]: Taking taylor expansion of 1 in x
3.067 * [backup-simplify]: Simplify 1 into 1
3.067 * [backup-simplify]: Simplify (+ 1 1) into 2
3.067 * [backup-simplify]: Simplify 2 into 2
3.068 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.069 * [backup-simplify]: Simplify (+ 1 0) into 1
3.069 * [backup-simplify]: Simplify 1 into 1
3.071 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.071 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
3.071 * [backup-simplify]: Simplify 1/2 into 1/2
3.071 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2))
3.071 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
3.071 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0
3.071 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
3.071 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.072 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.072 * [taylor]: Taking taylor expansion of x in x
3.072 * [backup-simplify]: Simplify 0 into 0
3.072 * [backup-simplify]: Simplify 1 into 1
3.072 * [backup-simplify]: Simplify (/ 1 1) into 1
3.072 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.072 * [taylor]: Taking taylor expansion of 1 in x
3.072 * [backup-simplify]: Simplify 1 into 1
3.072 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
3.072 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.072 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.072 * [taylor]: Taking taylor expansion of x in x
3.072 * [backup-simplify]: Simplify 0 into 0
3.072 * [backup-simplify]: Simplify 1 into 1
3.073 * [backup-simplify]: Simplify (/ 1 1) into 1
3.073 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.073 * [taylor]: Taking taylor expansion of 1 in x
3.073 * [backup-simplify]: Simplify 1 into 1
3.073 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
3.073 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
3.073 * [backup-simplify]: Simplify (+ 0 0) into 0
3.073 * [backup-simplify]: Simplify 0 into 0
3.074 * [backup-simplify]: Simplify (+ 0 0) into 0
3.074 * [backup-simplify]: Simplify 0 into 0
3.074 * [backup-simplify]: Simplify (+ 0 0) into 0
3.074 * [backup-simplify]: Simplify 0 into 0
3.075 * [backup-simplify]: Simplify (+ 0 0) into 0
3.075 * [backup-simplify]: Simplify 0 into 0
3.075 * [backup-simplify]: Simplify (+ 0 0) into 0
3.075 * [backup-simplify]: Simplify 0 into 0
3.075 * [backup-simplify]: Simplify (+ 0 0) into 0
3.075 * [backup-simplify]: Simplify 0 into 0
3.076 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1)
3.076 * [backup-simplify]: Simplify (+ (exp (/ 1 (- x))) 1) into (+ (exp (/ -1 x)) 1)
3.076 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0
3.076 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
3.076 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.076 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.076 * [taylor]: Taking taylor expansion of -1 in x
3.076 * [backup-simplify]: Simplify -1 into -1
3.076 * [taylor]: Taking taylor expansion of x in x
3.076 * [backup-simplify]: Simplify 0 into 0
3.076 * [backup-simplify]: Simplify 1 into 1
3.077 * [backup-simplify]: Simplify (/ -1 1) into -1
3.077 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.077 * [taylor]: Taking taylor expansion of 1 in x
3.077 * [backup-simplify]: Simplify 1 into 1
3.077 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
3.077 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.077 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.077 * [taylor]: Taking taylor expansion of -1 in x
3.077 * [backup-simplify]: Simplify -1 into -1
3.077 * [taylor]: Taking taylor expansion of x in x
3.077 * [backup-simplify]: Simplify 0 into 0
3.077 * [backup-simplify]: Simplify 1 into 1
3.077 * [backup-simplify]: Simplify (/ -1 1) into -1
3.078 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.078 * [taylor]: Taking taylor expansion of 1 in x
3.078 * [backup-simplify]: Simplify 1 into 1
3.078 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
3.078 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
3.078 * [backup-simplify]: Simplify (+ 0 0) into 0
3.078 * [backup-simplify]: Simplify 0 into 0
3.079 * [backup-simplify]: Simplify (+ 0 0) into 0
3.079 * [backup-simplify]: Simplify 0 into 0
3.079 * [backup-simplify]: Simplify (+ 0 0) into 0
3.079 * [backup-simplify]: Simplify 0 into 0
3.080 * [backup-simplify]: Simplify (+ 0 0) into 0
3.080 * [backup-simplify]: Simplify 0 into 0
3.080 * [backup-simplify]: Simplify (+ 0 0) into 0
3.080 * [backup-simplify]: Simplify 0 into 0
3.080 * [backup-simplify]: Simplify (+ 0 0) into 0
3.080 * [backup-simplify]: Simplify 0 into 0
3.081 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1)
3.081 * * * [progress]: simplifying candidates
3.081 * * * * [progress]: [ 1 / 45 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (sqrt (+ (exp x) 1)))))>
3.081 * * * * [progress]: [ 2 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (sqrt (+ (exp x) 1)))))>
3.081 * * * * [progress]: [ 3 / 45 ] simplifiying candidate #<alt (λ (x) (hypot (sqrt (exp x)) (sqrt 1)))>
3.081 * * * * [progress]: [ 4 / 45 ] simplifiying candidate #<alt (λ (x) (hypot (sqrt (exp x)) 1))>
3.081 * * * * [progress]: [ 5 / 45 ] simplifiying candidate #<alt (λ (x) (pow (+ (exp x) 1) 1/2))>
3.081 * * * * [progress]: [ 6 / 45 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (+ (exp x) 1)) 1))>
3.081 * * * * [progress]: [ 7 / 45 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (+ (exp x) 1)))))>
3.081 * * * * [progress]: [ 8 / 45 ] simplifiying candidate #<alt (λ (x) (log (exp (sqrt (+ (exp x) 1)))))>
3.081 * * * * [progress]: [ 9 / 45 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1)))) (cbrt (sqrt (+ (exp x) 1)))))>
3.081 * * * * [progress]: [ 10 / 45 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1))) (sqrt (+ (exp x) 1)))))>
3.082 * * * * [progress]: [ 11 / 45 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))) (sqrt (cbrt (+ (exp x) 1)))))>
3.082 * * * * [progress]: [ 12 / 45 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))>
3.082 * * * * [progress]: [ 13 / 45 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (sqrt (+ (exp x) 1))))>
3.082 * * * * [progress]: [ 14 / 45 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (sqrt (+ (exp x) 1))))>
3.082 * * * * [progress]: [ 15 / 45 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
3.082 * * * * [progress]: [ 16 / 45 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (- (* (exp x) (exp x)) (* 1 1))) (sqrt (- (exp x) 1))))>
3.082 * * * * [progress]: [ 17 / 45 ] simplifiying candidate #<alt (λ (x) (pow (+ (exp x) 1) (/ 1 2)))>
3.082 * * * * [progress]: [ 18 / 45 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))>
3.082 * * * * [progress]: [ 19 / 45 ] simplifiying candidate #<alt (λ (x) (fabs (sqrt (+ (exp x) 1))))>
3.082 * * * * [progress]: [ 20 / 45 ] simplifiying candidate #<alt (λ (x) (* 1 (sqrt (+ (exp x) 1))))>
3.082 * * * * [progress]: [ 21 / 45 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (sqrt (+ (exp x) 1)))))>
3.082 * * * * [progress]: [ 22 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (log1p (expm1 (+ (exp x) 1)))))>
3.082 * * * * [progress]: [ 23 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (expm1 (log1p (+ (exp x) 1)))))>
3.082 * * * * [progress]: [ 24 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) 1)))>
3.082 * * * * [progress]: [ 25 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)))>
3.082 * * * * [progress]: [ 26 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (fma 1 (exp x) 1)))>
3.082 * * * * [progress]: [ 27 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (log (* (exp (exp x)) (exp 1)))))>
3.083 * * * * [progress]: [ 28 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (+ (exp x) 1) 1)))>
3.083 * * * * [progress]: [ 29 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (+ (exp x) 1)))))>
3.083 * * * * [progress]: [ 30 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (log (exp (+ (exp x) 1)))))>
3.083 * * * * [progress]: [ 31 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (* (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))) (cbrt (+ (exp x) 1)))))>
3.083 * * * * [progress]: [ 32 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)))))>
3.083 * * * * [progress]: [ 33 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)))))>
3.083 * * * * [progress]: [ 34 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
3.083 * * * * [progress]: [ 35 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (* 1 (+ (exp x) 1))))>
3.083 * * * * [progress]: [ 36 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (- (* (exp x) (exp x)) (* 1 1)) (- (exp x) 1))))>
3.083 * * * * [progress]: [ 37 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (* 1 (+ (exp x) 1))))>
3.083 * * * * [progress]: [ 38 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (posit16->real (real->posit16 (+ (exp x) 1)))))>
3.083 * * * * [progress]: [ 39 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (+ 1 (exp x))))>
3.083 * * * * [progress]: [ 40 / 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)))))>
3.083 * * * * [progress]: [ 41 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
3.083 * * * * [progress]: [ 42 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
3.083 * * * * [progress]: [ 43 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (+ x (+ (* 1/2 (pow x 2)) 2))))>
3.083 * * * * [progress]: [ 44 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
3.083 * * * * [progress]: [ 45 / 45 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
3.084 * [simplify]: Simplifying:
  (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)))
  (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))
  (- (+ (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))
  (+ x (+ (* 1/2 (pow x 2)) 2))
  (+ (exp x) 1)
  (+ (exp x) 1)
3.085 * * [simplify]: iteration 1: (65 enodes)
3.120 * * [simplify]: iteration 2: (146 enodes)
3.191 * * [simplify]: iteration 3: (345 enodes)
3.324 * * [simplify]: iteration 4: (862 enodes)
4.185 * * [simplify]: Extracting #0: cost 33 inf + 0
4.186 * * [simplify]: Extracting #1: cost 136 inf + 2
4.187 * * [simplify]: Extracting #2: cost 428 inf + 474
4.191 * * [simplify]: Extracting #3: cost 413 inf + 9615
4.206 * * [simplify]: Extracting #4: cost 187 inf + 55213
4.249 * * [simplify]: Extracting #5: cost 30 inf + 109762
4.275 * * [simplify]: Extracting #6: cost 1 inf + 120442
4.298 * * [simplify]: Extracting #7: cost 0 inf + 120594
4.333 * [simplify]: Simplified to:
  (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))))
  (* (+ 1 (exp x)) (sqrt (+ 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
  (sqrt (+ 1 (exp x)))
  (sqrt (+ (exp (* 3 x)) 1))
  (sqrt (- (fma (exp x) (exp x) 1) (exp x)))
  (sqrt (expm1 (+ x x)))
  (sqrt (expm1 x))
  1/2
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (real->posit16 (sqrt (+ 1 (exp x))))
  (expm1 (+ 1 (exp x)))
  (log1p (+ 1 (exp x)))
  (* (exp (exp x)) E)
  (log1p (exp x))
  (* (exp (exp x)) E)
  (* (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)))
  (+ (exp (* 3 x)) 1)
  (- (fma (exp x) (exp x) 1) (exp x))
  (expm1 (+ x x))
  (expm1 x)
  (+ 1 (exp x))
  (real->posit16 (+ 1 (exp x)))
  (fma 1/2 (/ x (sqrt 2)) (+ (* (/ x (/ (sqrt 2) x)) 3/16) (sqrt 2)))
  (sqrt (+ 1 (exp x)))
  (sqrt (+ 1 (exp x)))
  (fma (fma x 1/2 1) x 2)
  (+ 1 (exp x))
  (+ 1 (exp x))
4.337 * * * [progress]: adding candidates to table
4.727 * * [progress]: iteration 2 / 4
4.728 * * * [progress]: picking best candidate
4.738 * * * * [pick]: Picked  #<alt (λ (x) (sqrt (exp (log1p (exp x)))))>
4.738 * * * [progress]: localizing error
4.749 * * * [progress]: generating rewritten candidates
4.749 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
4.750 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
4.752 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
4.755 * * * [progress]: generating series expansions
4.755 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
4.755 * [backup-simplify]: Simplify (log1p (exp x)) into (log1p (exp x))
4.755 * [approximate]: Taking taylor expansion of (log1p (exp x)) in (x) around 0
4.755 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x
4.756 * [taylor]: Rewrote expression to (log (+ 1 (exp x)))
4.756 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x
4.756 * [taylor]: Taking taylor expansion of 1 in x
4.756 * [backup-simplify]: Simplify 1 into 1
4.756 * [taylor]: Taking taylor expansion of (exp x) in x
4.757 * [taylor]: Taking taylor expansion of x in x
4.757 * [backup-simplify]: Simplify 0 into 0
4.757 * [backup-simplify]: Simplify 1 into 1
4.757 * [backup-simplify]: Simplify (exp 0) into 1
4.757 * [backup-simplify]: Simplify (+ 1 1) into 2
4.757 * [backup-simplify]: Simplify (log 2) into (log 2)
4.757 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x
4.757 * [taylor]: Rewrote expression to (log (+ 1 (exp x)))
4.757 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x
4.757 * [taylor]: Taking taylor expansion of 1 in x
4.758 * [backup-simplify]: Simplify 1 into 1
4.758 * [taylor]: Taking taylor expansion of (exp x) in x
4.758 * [taylor]: Taking taylor expansion of x in x
4.758 * [backup-simplify]: Simplify 0 into 0
4.758 * [backup-simplify]: Simplify 1 into 1
4.758 * [backup-simplify]: Simplify (exp 0) into 1
4.758 * [backup-simplify]: Simplify (+ 1 1) into 2
4.758 * [backup-simplify]: Simplify (log 2) into (log 2)
4.758 * [backup-simplify]: Simplify (log 2) into (log 2)
4.759 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.760 * [backup-simplify]: Simplify (+ 0 1) into 1
4.760 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2
4.761 * [backup-simplify]: Simplify 1/2 into 1/2
4.762 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.762 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
4.764 * [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.764 * [backup-simplify]: Simplify 1/8 into 1/8
4.765 * [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.765 * [backup-simplify]: Simplify (log1p (exp (/ 1 x))) into (log1p (exp (/ 1 x)))
4.765 * [approximate]: Taking taylor expansion of (log1p (exp (/ 1 x))) in (x) around 0
4.765 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x
4.765 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x))))
4.765 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x
4.765 * [taylor]: Taking taylor expansion of 1 in x
4.765 * [backup-simplify]: Simplify 1 into 1
4.765 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.765 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.765 * [taylor]: Taking taylor expansion of x in x
4.765 * [backup-simplify]: Simplify 0 into 0
4.765 * [backup-simplify]: Simplify 1 into 1
4.765 * [backup-simplify]: Simplify (/ 1 1) into 1
4.765 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.765 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
4.765 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
4.765 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x
4.765 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x))))
4.765 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x
4.766 * [taylor]: Taking taylor expansion of 1 in x
4.766 * [backup-simplify]: Simplify 1 into 1
4.766 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.766 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.766 * [taylor]: Taking taylor expansion of x in x
4.766 * [backup-simplify]: Simplify 0 into 0
4.766 * [backup-simplify]: Simplify 1 into 1
4.766 * [backup-simplify]: Simplify (/ 1 1) into 1
4.766 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.766 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
4.766 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
4.766 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
4.766 * [backup-simplify]: Simplify (+ 0 0) into 0
4.767 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 1) into 0
4.767 * [backup-simplify]: Simplify 0 into 0
4.767 * [backup-simplify]: Simplify (+ 0 0) into 0
4.768 * [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.768 * [backup-simplify]: Simplify 0 into 0
4.769 * [backup-simplify]: Simplify (+ 0 0) into 0
4.772 * [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.772 * [backup-simplify]: Simplify 0 into 0
4.773 * [backup-simplify]: Simplify (+ 0 0) into 0
4.788 * [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.788 * [backup-simplify]: Simplify 0 into 0
4.788 * [backup-simplify]: Simplify (+ 0 0) into 0
4.797 * [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.797 * [backup-simplify]: Simplify 0 into 0
4.798 * [backup-simplify]: Simplify (+ 0 0) into 0
4.810 * [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.811 * [backup-simplify]: Simplify 0 into 0
4.811 * [backup-simplify]: Simplify (log (+ (exp (/ 1 (/ 1 x))) 1)) into (log (+ (exp x) 1))
4.811 * [backup-simplify]: Simplify (log1p (exp (/ 1 (- x)))) into (log1p (exp (/ -1 x)))
4.811 * [approximate]: Taking taylor expansion of (log1p (exp (/ -1 x))) in (x) around 0
4.811 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x
4.811 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x))))
4.811 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x
4.811 * [taylor]: Taking taylor expansion of 1 in x
4.811 * [backup-simplify]: Simplify 1 into 1
4.811 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.811 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.812 * [taylor]: Taking taylor expansion of -1 in x
4.812 * [backup-simplify]: Simplify -1 into -1
4.812 * [taylor]: Taking taylor expansion of x in x
4.812 * [backup-simplify]: Simplify 0 into 0
4.812 * [backup-simplify]: Simplify 1 into 1
4.812 * [backup-simplify]: Simplify (/ -1 1) into -1
4.812 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.812 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
4.812 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
4.812 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x
4.812 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x))))
4.813 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x
4.813 * [taylor]: Taking taylor expansion of 1 in x
4.813 * [backup-simplify]: Simplify 1 into 1
4.813 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.813 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.813 * [taylor]: Taking taylor expansion of -1 in x
4.813 * [backup-simplify]: Simplify -1 into -1
4.813 * [taylor]: Taking taylor expansion of x in x
4.813 * [backup-simplify]: Simplify 0 into 0
4.813 * [backup-simplify]: Simplify 1 into 1
4.813 * [backup-simplify]: Simplify (/ -1 1) into -1
4.813 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.813 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
4.813 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
4.814 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
4.814 * [backup-simplify]: Simplify (+ 0 0) into 0
4.815 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 1) into 0
4.815 * [backup-simplify]: Simplify 0 into 0
4.815 * [backup-simplify]: Simplify (+ 0 0) into 0
4.817 * [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.817 * [backup-simplify]: Simplify 0 into 0
4.818 * [backup-simplify]: Simplify (+ 0 0) into 0
4.821 * [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.821 * [backup-simplify]: Simplify 0 into 0
4.821 * [backup-simplify]: Simplify (+ 0 0) into 0
4.826 * [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.826 * [backup-simplify]: Simplify 0 into 0
4.827 * [backup-simplify]: Simplify (+ 0 0) into 0
4.834 * [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.834 * [backup-simplify]: Simplify 0 into 0
4.834 * [backup-simplify]: Simplify (+ 0 0) into 0
4.846 * [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.846 * [backup-simplify]: Simplify 0 into 0
4.846 * [backup-simplify]: Simplify (log (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (log (+ (exp x) 1))
4.846 * * * * [progress]: [ 2 / 3 ] generating series at (2)
4.847 * [backup-simplify]: Simplify (sqrt (exp (log1p (exp x)))) into (sqrt (exp (log1p (exp x))))
4.847 * [approximate]: Taking taylor expansion of (sqrt (exp (log1p (exp x)))) in (x) around 0
4.847 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp x)))) in x
4.847 * [taylor]: Taking taylor expansion of (exp (log1p (exp x))) in x
4.847 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x
4.847 * [taylor]: Rewrote expression to (log (+ 1 (exp x)))
4.847 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x
4.847 * [taylor]: Taking taylor expansion of 1 in x
4.847 * [backup-simplify]: Simplify 1 into 1
4.847 * [taylor]: Taking taylor expansion of (exp x) in x
4.847 * [taylor]: Taking taylor expansion of x in x
4.847 * [backup-simplify]: Simplify 0 into 0
4.847 * [backup-simplify]: Simplify 1 into 1
4.847 * [backup-simplify]: Simplify (exp 0) into 1
4.847 * [backup-simplify]: Simplify (+ 1 1) into 2
4.848 * [backup-simplify]: Simplify (log 2) into (log 2)
4.848 * [backup-simplify]: Simplify (exp (log 2)) into 2
4.849 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
4.850 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.850 * [backup-simplify]: Simplify (+ 0 1) into 1
4.852 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2
4.855 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 1) 1)))) into 1
4.856 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
4.856 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp x)))) in x
4.856 * [taylor]: Taking taylor expansion of (exp (log1p (exp x))) in x
4.856 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x
4.856 * [taylor]: Rewrote expression to (log (+ 1 (exp x)))
4.856 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x
4.856 * [taylor]: Taking taylor expansion of 1 in x
4.856 * [backup-simplify]: Simplify 1 into 1
4.856 * [taylor]: Taking taylor expansion of (exp x) in x
4.856 * [taylor]: Taking taylor expansion of x in x
4.856 * [backup-simplify]: Simplify 0 into 0
4.856 * [backup-simplify]: Simplify 1 into 1
4.856 * [backup-simplify]: Simplify (exp 0) into 1
4.857 * [backup-simplify]: Simplify (+ 1 1) into 2
4.857 * [backup-simplify]: Simplify (log 2) into (log 2)
4.858 * [backup-simplify]: Simplify (exp (log 2)) into 2
4.858 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
4.859 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.860 * [backup-simplify]: Simplify (+ 0 1) into 1
4.862 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2
4.864 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 1) 1)))) into 1
4.866 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
4.866 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
4.867 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2))
4.869 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.869 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
4.872 * [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.876 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 2) 2)) (* (/ (pow 1/8 1) 1)))) into 1/2
4.881 * [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.885 * [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.889 * [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.890 * [backup-simplify]: Simplify (sqrt (exp (log1p (exp (/ 1 x))))) into (sqrt (exp (log1p (exp (/ 1 x)))))
4.890 * [approximate]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ 1 x))))) in (x) around 0
4.890 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ 1 x))))) in x
4.890 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in x
4.890 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x
4.890 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x))))
4.890 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x
4.890 * [taylor]: Taking taylor expansion of 1 in x
4.890 * [backup-simplify]: Simplify 1 into 1
4.890 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.890 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.890 * [taylor]: Taking taylor expansion of x in x
4.890 * [backup-simplify]: Simplify 0 into 0
4.890 * [backup-simplify]: Simplify 1 into 1
4.890 * [backup-simplify]: Simplify (/ 1 1) into 1
4.890 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.890 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
4.890 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
4.890 * [backup-simplify]: Simplify (exp (log (+ (exp (/ 1 x)) 1))) into (+ (exp (/ 1 x)) 1)
4.890 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
4.891 * [backup-simplify]: Simplify (+ 0 0) into 0
4.891 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 1) into 0
4.892 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
4.892 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
4.892 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ 1 x))))) in x
4.892 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in x
4.892 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x
4.892 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x))))
4.892 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x
4.892 * [taylor]: Taking taylor expansion of 1 in x
4.892 * [backup-simplify]: Simplify 1 into 1
4.892 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.892 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.892 * [taylor]: Taking taylor expansion of x in x
4.892 * [backup-simplify]: Simplify 0 into 0
4.892 * [backup-simplify]: Simplify 1 into 1
4.892 * [backup-simplify]: Simplify (/ 1 1) into 1
4.892 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.892 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
4.892 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
4.892 * [backup-simplify]: Simplify (exp (log (+ (exp (/ 1 x)) 1))) into (+ (exp (/ 1 x)) 1)
4.892 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
4.893 * [backup-simplify]: Simplify (+ 0 0) into 0
4.893 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 1) into 0
4.894 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
4.894 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
4.894 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
4.894 * [backup-simplify]: Simplify 0 into 0
4.894 * [backup-simplify]: Simplify (+ 0 0) into 0
4.895 * [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.896 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.897 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
4.897 * [backup-simplify]: Simplify 0 into 0
4.897 * [backup-simplify]: Simplify (+ 0 0) into 0
4.899 * [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.900 * [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.900 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
4.900 * [backup-simplify]: Simplify 0 into 0
4.901 * [backup-simplify]: Simplify (+ 0 0) into 0
4.903 * [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.905 * [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.906 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
4.906 * [backup-simplify]: Simplify 0 into 0
4.907 * [backup-simplify]: Simplify (+ 0 0) into 0
4.917 * [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.921 * [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.922 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
4.923 * [backup-simplify]: Simplify 0 into 0
4.923 * [backup-simplify]: Simplify (+ 0 0) into 0
4.936 * [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.942 * [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.943 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
4.943 * [backup-simplify]: Simplify 0 into 0
4.943 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1))
4.943 * [backup-simplify]: Simplify (sqrt (exp (log1p (exp (/ 1 (- x)))))) into (sqrt (exp (log1p (exp (/ -1 x)))))
4.944 * [approximate]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ -1 x))))) in (x) around 0
4.944 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ -1 x))))) in x
4.944 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in x
4.944 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x
4.944 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x))))
4.944 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x
4.944 * [taylor]: Taking taylor expansion of 1 in x
4.944 * [backup-simplify]: Simplify 1 into 1
4.944 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.944 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.944 * [taylor]: Taking taylor expansion of -1 in x
4.944 * [backup-simplify]: Simplify -1 into -1
4.944 * [taylor]: Taking taylor expansion of x in x
4.944 * [backup-simplify]: Simplify 0 into 0
4.944 * [backup-simplify]: Simplify 1 into 1
4.944 * [backup-simplify]: Simplify (/ -1 1) into -1
4.945 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.945 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
4.945 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
4.945 * [backup-simplify]: Simplify (exp (log (+ (exp (/ -1 x)) 1))) into (+ (exp (/ -1 x)) 1)
4.945 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
4.945 * [backup-simplify]: Simplify (+ 0 0) into 0
4.946 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 1) into 0
4.947 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
4.947 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
4.948 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ -1 x))))) in x
4.948 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in x
4.948 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x
4.948 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x))))
4.948 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x
4.948 * [taylor]: Taking taylor expansion of 1 in x
4.948 * [backup-simplify]: Simplify 1 into 1
4.948 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.948 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.948 * [taylor]: Taking taylor expansion of -1 in x
4.948 * [backup-simplify]: Simplify -1 into -1
4.948 * [taylor]: Taking taylor expansion of x in x
4.948 * [backup-simplify]: Simplify 0 into 0
4.948 * [backup-simplify]: Simplify 1 into 1
4.948 * [backup-simplify]: Simplify (/ -1 1) into -1
4.949 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.949 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
4.949 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
4.949 * [backup-simplify]: Simplify (exp (log (+ (exp (/ -1 x)) 1))) into (+ (exp (/ -1 x)) 1)
4.949 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
4.949 * [backup-simplify]: Simplify (+ 0 0) into 0
4.950 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 1) into 0
4.951 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
4.952 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
4.952 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
4.952 * [backup-simplify]: Simplify 0 into 0
4.952 * [backup-simplify]: Simplify (+ 0 0) into 0
4.954 * [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.956 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.956 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
4.956 * [backup-simplify]: Simplify 0 into 0
4.957 * [backup-simplify]: Simplify (+ 0 0) into 0
4.960 * [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.962 * [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.963 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
4.963 * [backup-simplify]: Simplify 0 into 0
4.964 * [backup-simplify]: Simplify (+ 0 0) into 0
4.968 * [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.970 * [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.970 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
4.970 * [backup-simplify]: Simplify 0 into 0
4.971 * [backup-simplify]: Simplify (+ 0 0) into 0
4.976 * [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.978 * [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.979 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
4.979 * [backup-simplify]: Simplify 0 into 0
4.979 * [backup-simplify]: Simplify (+ 0 0) into 0
4.986 * [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.990 * [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.990 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
4.990 * [backup-simplify]: Simplify 0 into 0
4.991 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1))
4.991 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
4.991 * [backup-simplify]: Simplify (exp (log1p (exp x))) into (exp (log1p (exp x)))
4.991 * [approximate]: Taking taylor expansion of (exp (log1p (exp x))) in (x) around 0
4.991 * [taylor]: Taking taylor expansion of (exp (log1p (exp x))) in x
4.991 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x
4.991 * [taylor]: Rewrote expression to (log (+ 1 (exp x)))
4.991 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x
4.991 * [taylor]: Taking taylor expansion of 1 in x
4.991 * [backup-simplify]: Simplify 1 into 1
4.991 * [taylor]: Taking taylor expansion of (exp x) in x
4.991 * [taylor]: Taking taylor expansion of x in x
4.991 * [backup-simplify]: Simplify 0 into 0
4.991 * [backup-simplify]: Simplify 1 into 1
4.991 * [backup-simplify]: Simplify (exp 0) into 1
4.991 * [backup-simplify]: Simplify (+ 1 1) into 2
4.991 * [backup-simplify]: Simplify (log 2) into (log 2)
4.992 * [backup-simplify]: Simplify (exp (log 2)) into 2
4.992 * [taylor]: Taking taylor expansion of (exp (log1p (exp x))) in x
4.992 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x
4.992 * [taylor]: Rewrote expression to (log (+ 1 (exp x)))
4.992 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x
4.992 * [taylor]: Taking taylor expansion of 1 in x
4.992 * [backup-simplify]: Simplify 1 into 1
4.992 * [taylor]: Taking taylor expansion of (exp x) in x
4.992 * [taylor]: Taking taylor expansion of x in x
4.992 * [backup-simplify]: Simplify 0 into 0
4.992 * [backup-simplify]: Simplify 1 into 1
4.992 * [backup-simplify]: Simplify (exp 0) into 1
4.993 * [backup-simplify]: Simplify (+ 1 1) into 2
4.993 * [backup-simplify]: Simplify (log 2) into (log 2)
4.994 * [backup-simplify]: Simplify (exp (log 2)) into 2
4.994 * [backup-simplify]: Simplify 2 into 2
4.995 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.995 * [backup-simplify]: Simplify (+ 0 1) into 1
4.997 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2
5.000 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 1) 1)))) into 1
5.000 * [backup-simplify]: Simplify 1 into 1
5.002 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.002 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
5.007 * [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
5.012 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 2) 2)) (* (/ (pow 1/8 1) 1)))) into 1/2
5.012 * [backup-simplify]: Simplify 1/2 into 1/2
5.012 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2))
5.012 * [backup-simplify]: Simplify (exp (log1p (exp (/ 1 x)))) into (exp (log1p (exp (/ 1 x))))
5.012 * [approximate]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in (x) around 0
5.012 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in x
5.012 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x
5.012 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x))))
5.012 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x
5.013 * [taylor]: Taking taylor expansion of 1 in x
5.013 * [backup-simplify]: Simplify 1 into 1
5.013 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.013 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.013 * [taylor]: Taking taylor expansion of x in x
5.013 * [backup-simplify]: Simplify 0 into 0
5.013 * [backup-simplify]: Simplify 1 into 1
5.013 * [backup-simplify]: Simplify (/ 1 1) into 1
5.013 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.013 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
5.013 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
5.014 * [backup-simplify]: Simplify (exp (log (+ (exp (/ 1 x)) 1))) into (+ (exp (/ 1 x)) 1)
5.014 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in x
5.014 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x
5.014 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x))))
5.014 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x
5.014 * [taylor]: Taking taylor expansion of 1 in x
5.014 * [backup-simplify]: Simplify 1 into 1
5.014 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.014 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.014 * [taylor]: Taking taylor expansion of x in x
5.014 * [backup-simplify]: Simplify 0 into 0
5.014 * [backup-simplify]: Simplify 1 into 1
5.014 * [backup-simplify]: Simplify (/ 1 1) into 1
5.014 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.015 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
5.015 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
5.015 * [backup-simplify]: Simplify (exp (log (+ (exp (/ 1 x)) 1))) into (+ (exp (/ 1 x)) 1)
5.015 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
5.015 * [backup-simplify]: Simplify (+ 0 0) into 0
5.016 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 1) into 0
5.017 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
5.017 * [backup-simplify]: Simplify 0 into 0
5.018 * [backup-simplify]: Simplify (+ 0 0) into 0
5.019 * [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
5.021 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.021 * [backup-simplify]: Simplify 0 into 0
5.021 * [backup-simplify]: Simplify (+ 0 0) into 0
5.024 * [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
5.026 * [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
5.026 * [backup-simplify]: Simplify 0 into 0
5.027 * [backup-simplify]: Simplify (+ 0 0) into 0
5.032 * [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
5.034 * [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
5.034 * [backup-simplify]: Simplify 0 into 0
5.035 * [backup-simplify]: Simplify (+ 0 0) into 0
5.045 * [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
5.047 * [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
5.047 * [backup-simplify]: Simplify 0 into 0
5.047 * [backup-simplify]: Simplify (+ 0 0) into 0
5.054 * [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
5.057 * [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
5.057 * [backup-simplify]: Simplify 0 into 0
5.057 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1)
5.057 * [backup-simplify]: Simplify (exp (log1p (exp (/ 1 (- x))))) into (exp (log1p (exp (/ -1 x))))
5.057 * [approximate]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in (x) around 0
5.057 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in x
5.058 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x
5.058 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x))))
5.058 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x
5.058 * [taylor]: Taking taylor expansion of 1 in x
5.058 * [backup-simplify]: Simplify 1 into 1
5.058 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.058 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.058 * [taylor]: Taking taylor expansion of -1 in x
5.058 * [backup-simplify]: Simplify -1 into -1
5.058 * [taylor]: Taking taylor expansion of x in x
5.058 * [backup-simplify]: Simplify 0 into 0
5.058 * [backup-simplify]: Simplify 1 into 1
5.058 * [backup-simplify]: Simplify (/ -1 1) into -1
5.058 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.058 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
5.058 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
5.058 * [backup-simplify]: Simplify (exp (log (+ (exp (/ -1 x)) 1))) into (+ (exp (/ -1 x)) 1)
5.058 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in x
5.058 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x
5.058 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x))))
5.058 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x
5.058 * [taylor]: Taking taylor expansion of 1 in x
5.058 * [backup-simplify]: Simplify 1 into 1
5.058 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.058 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.058 * [taylor]: Taking taylor expansion of -1 in x
5.058 * [backup-simplify]: Simplify -1 into -1
5.058 * [taylor]: Taking taylor expansion of x in x
5.058 * [backup-simplify]: Simplify 0 into 0
5.058 * [backup-simplify]: Simplify 1 into 1
5.059 * [backup-simplify]: Simplify (/ -1 1) into -1
5.059 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.059 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
5.059 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
5.059 * [backup-simplify]: Simplify (exp (log (+ (exp (/ -1 x)) 1))) into (+ (exp (/ -1 x)) 1)
5.059 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
5.059 * [backup-simplify]: Simplify (+ 0 0) into 0
5.060 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 1) into 0
5.060 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
5.060 * [backup-simplify]: Simplify 0 into 0
5.061 * [backup-simplify]: Simplify (+ 0 0) into 0
5.062 * [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
5.063 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.063 * [backup-simplify]: Simplify 0 into 0
5.063 * [backup-simplify]: Simplify (+ 0 0) into 0
5.065 * [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
5.066 * [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
5.066 * [backup-simplify]: Simplify 0 into 0
5.066 * [backup-simplify]: Simplify (+ 0 0) into 0
5.069 * [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
5.070 * [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
5.070 * [backup-simplify]: Simplify 0 into 0
5.070 * [backup-simplify]: Simplify (+ 0 0) into 0
5.075 * [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
5.077 * [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
5.077 * [backup-simplify]: Simplify 0 into 0
5.078 * [backup-simplify]: Simplify (+ 0 0) into 0
5.090 * [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
5.096 * [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
5.096 * [backup-simplify]: Simplify 0 into 0
5.097 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1)
5.097 * * * [progress]: simplifying candidates
5.097 * * * * [progress]: [ 1 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (+ 1 (exp x))))))>
5.097 * * * * [progress]: [ 2 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log1p (expm1 (log1p (exp x)))))))>
5.097 * * * * [progress]: [ 3 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (expm1 (log1p (log1p (exp x)))))))>
5.097 * * * * [progress]: [ 4 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log1p (exp x)))))>
5.097 * * * * [progress]: [ 5 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (pow (log1p (exp x)) 1))))>
5.097 * * * * [progress]: [ 6 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (exp (log (log1p (exp x)))))))>
5.097 * * * * [progress]: [ 7 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (exp (log1p (exp x)))))))>
5.097 * * * * [progress]: [ 8 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (* (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x)))) (cbrt (log1p (exp x)))))))>
5.097 * * * * [progress]: [ 9 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (cbrt (* (* (log1p (exp x)) (log1p (exp x))) (log1p (exp x)))))))>
5.097 * * * * [progress]: [ 10 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (* (sqrt (log1p (exp x))) (sqrt (log1p (exp x)))))))>
5.097 * * * * [progress]: [ 11 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (* 1 (log1p (exp x))))))>
5.097 * * * * [progress]: [ 12 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (posit16->real (real->posit16 (log1p (exp x)))))))>
5.097 * * * * [progress]: [ 13 / 55 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (sqrt (exp (log1p (exp x)))))))>
5.098 * * * * [progress]: [ 14 / 55 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (sqrt (exp (log1p (exp x)))))))>
5.098 * * * * [progress]: [ 15 / 55 ] simplifiying candidate #<alt (λ (x) (pow (exp (log1p (exp x))) 1/2))>
5.098 * * * * [progress]: [ 16 / 55 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (exp (log1p (exp x)))) 1))>
5.098 * * * * [progress]: [ 17 / 55 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (exp (log1p (exp x)))))))>
5.098 * * * * [progress]: [ 18 / 55 ] simplifiying candidate #<alt (λ (x) (log (exp (sqrt (exp (log1p (exp x)))))))>
5.098 * * * * [progress]: [ 19 / 55 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (exp (log1p (exp x))))) (cbrt (sqrt (exp (log1p (exp x)))))) (cbrt (sqrt (exp (log1p (exp x)))))))>
5.098 * * * * [progress]: [ 20 / 55 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (sqrt (exp (log1p (exp x)))) (sqrt (exp (log1p (exp x))))) (sqrt (exp (log1p (exp x)))))))>
5.098 * * * * [progress]: [ 21 / 55 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (exp (log1p (exp x)))) (cbrt (exp (log1p (exp x)))))) (sqrt (cbrt (exp (log1p (exp x)))))))>
5.098 * * * * [progress]: [ 22 / 55 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (exp (log1p (exp x))))) (sqrt (sqrt (exp (log1p (exp x)))))))>
5.098 * * * * [progress]: [ 23 / 55 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (sqrt (exp (log1p (exp x))))))>
5.098 * * * * [progress]: [ 24 / 55 ] simplifiying candidate #<alt (λ (x) (pow (exp (log1p (exp x))) (/ 1 2)))>
5.098 * * * * [progress]: [ 25 / 55 ] simplifiying candidate #<alt (λ (x) (pow (exp (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x))))) (/ (cbrt (log1p (exp x))) 2)))>
5.098 * * * * [progress]: [ 26 / 55 ] simplifiying candidate #<alt (λ (x) (pow (exp (sqrt (log1p (exp x)))) (/ (sqrt (log1p (exp x))) 2)))>
5.098 * * * * [progress]: [ 27 / 55 ] simplifiying candidate #<alt (λ (x) (pow (exp 1) (/ (log1p (exp x)) 2)))>
5.098 * * * * [progress]: [ 28 / 55 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (exp (log1p (exp x))))) (sqrt (sqrt (exp (log1p (exp x)))))))>
5.098 * * * * [progress]: [ 29 / 55 ] simplifiying candidate #<alt (λ (x) (fabs (sqrt (exp (log1p (exp x))))))>
5.098 * * * * [progress]: [ 30 / 55 ] simplifiying candidate #<alt (λ (x) (* 1 (sqrt (exp (log1p (exp x))))))>
5.098 * * * * [progress]: [ 31 / 55 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (sqrt (exp (log1p (exp x)))))))>
5.099 * * * * [progress]: [ 32 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (log1p (expm1 (exp (log1p (exp x)))))))>
5.099 * * * * [progress]: [ 33 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (expm1 (log1p (exp (log1p (exp x)))))))>
5.099 * * * * [progress]: [ 34 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (exp (log1p (exp x))) 1)))>
5.099 * * * * [progress]: [ 35 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (exp (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x))))) (cbrt (log1p (exp x))))))>
5.099 * * * * [progress]: [ 36 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (exp (sqrt (log1p (exp x)))) (sqrt (log1p (exp x))))))>
5.099 * * * * [progress]: [ 37 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (exp 1) (log1p (exp x)))))>
5.099 * * * * [progress]: [ 38 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (+ 1 (exp x))))>
5.099 * * * * [progress]: [ 39 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log1p (exp x)))))>
5.099 * * * * [progress]: [ 40 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (exp (log1p (exp x)))))))>
5.099 * * * * [progress]: [ 41 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (log (exp (exp (log1p (exp x)))))))>
5.099 * * * * [progress]: [ 42 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (* (* (cbrt (exp (log1p (exp x)))) (cbrt (exp (log1p (exp x))))) (cbrt (exp (log1p (exp x)))))))>
5.099 * * * * [progress]: [ 43 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (exp (log1p (exp x))) (exp (log1p (exp x)))) (exp (log1p (exp x)))))))>
5.099 * * * * [progress]: [ 44 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (* (sqrt (exp (log1p (exp x)))) (sqrt (exp (log1p (exp x)))))))>
5.099 * * * * [progress]: [ 45 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (* 1 (exp (log1p (exp x))))))>
5.099 * * * * [progress]: [ 46 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (posit16->real (real->posit16 (exp (log1p (exp x)))))))>
5.099 * * * * [progress]: [ 47 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2)))))))>
5.099 * * * * [progress]: [ 48 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (+ (exp x) 1)))))>
5.100 * * * * [progress]: [ 49 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (+ (exp x) 1)))))>
5.100 * * * * [progress]: [ 50 / 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)))))>
5.100 * * * * [progress]: [ 51 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
5.100 * * * * [progress]: [ 52 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
5.100 * * * * [progress]: [ 53 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (+ x (+ (* 1/2 (pow x 2)) 2))))>
5.100 * * * * [progress]: [ 54 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
5.100 * * * * [progress]: [ 55 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
5.101 * [simplify]: Simplifying:
  (+ 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)))))
  (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))))
  (+ (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))
  (+ x (+ (* 1/2 (pow x 2)) 2))
  (+ (exp x) 1)
  (+ (exp x) 1)
5.101 * * [simplify]: iteration 1: (73 enodes)
5.115 * * [simplify]: iteration 2: (130 enodes)
5.148 * * [simplify]: iteration 3: (277 enodes)
5.247 * * [simplify]: iteration 4: (709 enodes)
5.901 * * [simplify]: Extracting #0: cost 41 inf + 0
5.901 * * [simplify]: Extracting #1: cost 132 inf + 3
5.903 * * [simplify]: Extracting #2: cost 378 inf + 1555
5.909 * * [simplify]: Extracting #3: cost 272 inf + 28389
5.926 * * [simplify]: Extracting #4: cost 105 inf + 69309
5.953 * * [simplify]: Extracting #5: cost 6 inf + 112846
5.985 * * [simplify]: Extracting #6: cost 0 inf + 113765
6.020 * [simplify]: Simplified to:
  (+ (exp x) 1)
  (exp x)
  (log1p (log1p (exp x)))
  (log (log1p (exp x)))
  (+ (exp x) 1)
  (* (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 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/2
  (/ (cbrt (log1p (exp x))) 2)
  (/ (sqrt (log1p (exp x))) 2)
  (/ (log1p (exp x)) 2)
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (real->posit16 (sqrt (+ (exp x) 1)))
  (expm1 (+ (exp x) 1))
  (log1p (+ (exp x) 1))
  (exp (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x)))))
  (exp (sqrt (log1p (exp x))))
  E
  (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))
  (real->posit16 (+ (exp x) 1))
  (fma x (fma x 1/8 1/2) (log 2))
  (log1p (exp x))
  (log1p (exp x))
  (fma (/ x (sqrt 2)) 1/2 (+ (sqrt 2) (* (/ (* x x) (sqrt 2)) 3/16)))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (fma (fma x 1/2 1) x 2)
  (+ (exp x) 1)
  (+ (exp x) 1)
6.022 * * * [progress]: adding candidates to table
6.509 * * [progress]: iteration 3 / 4
6.509 * * * [progress]: picking best candidate
6.512 * * * * [pick]: Picked  #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.512 * * * [progress]: localizing error
6.565 * * * [progress]: generating rewritten candidates
6.566 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
6.573 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
6.585 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
6.591 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
6.592 * * * [progress]: generating series expansions
6.592 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
6.592 * [backup-simplify]: Simplify (exp (* 3 x)) into (exp (* 3 x))
6.592 * [approximate]: Taking taylor expansion of (exp (* 3 x)) in (x) around 0
6.592 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x
6.592 * [taylor]: Taking taylor expansion of (* 3 x) in x
6.592 * [taylor]: Taking taylor expansion of 3 in x
6.592 * [backup-simplify]: Simplify 3 into 3
6.592 * [taylor]: Taking taylor expansion of x in x
6.592 * [backup-simplify]: Simplify 0 into 0
6.592 * [backup-simplify]: Simplify 1 into 1
6.593 * [backup-simplify]: Simplify (* 3 0) into 0
6.593 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
6.593 * [backup-simplify]: Simplify (exp 0) into 1
6.593 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x
6.593 * [taylor]: Taking taylor expansion of (* 3 x) in x
6.593 * [taylor]: Taking taylor expansion of 3 in x
6.593 * [backup-simplify]: Simplify 3 into 3
6.593 * [taylor]: Taking taylor expansion of x in x
6.593 * [backup-simplify]: Simplify 0 into 0
6.593 * [backup-simplify]: Simplify 1 into 1
6.594 * [backup-simplify]: Simplify (* 3 0) into 0
6.594 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
6.594 * [backup-simplify]: Simplify (exp 0) into 1
6.594 * [backup-simplify]: Simplify 1 into 1
6.595 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 1) 1)))) into 3
6.595 * [backup-simplify]: Simplify 3 into 3
6.595 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0
6.597 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 2) 2)) (* (/ (pow 0 1) 1)))) into 9/2
6.597 * [backup-simplify]: Simplify 9/2 into 9/2
6.597 * [backup-simplify]: Simplify (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1)) into (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1))
6.597 * [backup-simplify]: Simplify (exp (* 3 (/ 1 x))) into (exp (/ 3 x))
6.597 * [approximate]: Taking taylor expansion of (exp (/ 3 x)) in (x) around 0
6.597 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x
6.597 * [taylor]: Taking taylor expansion of (/ 3 x) in x
6.597 * [taylor]: Taking taylor expansion of 3 in x
6.597 * [backup-simplify]: Simplify 3 into 3
6.597 * [taylor]: Taking taylor expansion of x in x
6.597 * [backup-simplify]: Simplify 0 into 0
6.597 * [backup-simplify]: Simplify 1 into 1
6.597 * [backup-simplify]: Simplify (/ 3 1) into 3
6.597 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x))
6.597 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x
6.597 * [taylor]: Taking taylor expansion of (/ 3 x) in x
6.598 * [taylor]: Taking taylor expansion of 3 in x
6.598 * [backup-simplify]: Simplify 3 into 3
6.598 * [taylor]: Taking taylor expansion of x in x
6.598 * [backup-simplify]: Simplify 0 into 0
6.598 * [backup-simplify]: Simplify 1 into 1
6.598 * [backup-simplify]: Simplify (/ 3 1) into 3
6.598 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x))
6.598 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x))
6.598 * [backup-simplify]: Simplify 0 into 0
6.598 * [backup-simplify]: Simplify 0 into 0
6.598 * [backup-simplify]: Simplify 0 into 0
6.598 * [backup-simplify]: Simplify 0 into 0
6.598 * [backup-simplify]: Simplify 0 into 0
6.598 * [backup-simplify]: Simplify 0 into 0
6.598 * [backup-simplify]: Simplify (exp (/ 3 (/ 1 x))) into (exp (* 3 x))
6.599 * [backup-simplify]: Simplify (exp (* 3 (/ 1 (- x)))) into (exp (/ -3 x))
6.599 * [approximate]: Taking taylor expansion of (exp (/ -3 x)) in (x) around 0
6.599 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x
6.599 * [taylor]: Taking taylor expansion of (/ -3 x) in x
6.599 * [taylor]: Taking taylor expansion of -3 in x
6.599 * [backup-simplify]: Simplify -3 into -3
6.599 * [taylor]: Taking taylor expansion of x in x
6.599 * [backup-simplify]: Simplify 0 into 0
6.599 * [backup-simplify]: Simplify 1 into 1
6.599 * [backup-simplify]: Simplify (/ -3 1) into -3
6.599 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x))
6.599 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x
6.599 * [taylor]: Taking taylor expansion of (/ -3 x) in x
6.599 * [taylor]: Taking taylor expansion of -3 in x
6.599 * [backup-simplify]: Simplify -3 into -3
6.599 * [taylor]: Taking taylor expansion of x in x
6.599 * [backup-simplify]: Simplify 0 into 0
6.599 * [backup-simplify]: Simplify 1 into 1
6.599 * [backup-simplify]: Simplify (/ -3 1) into -3
6.600 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x))
6.600 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x))
6.600 * [backup-simplify]: Simplify 0 into 0
6.600 * [backup-simplify]: Simplify 0 into 0
6.600 * [backup-simplify]: Simplify 0 into 0
6.600 * [backup-simplify]: Simplify 0 into 0
6.600 * [backup-simplify]: Simplify 0 into 0
6.600 * [backup-simplify]: Simplify 0 into 0
6.600 * [backup-simplify]: Simplify (exp (/ -3 (/ 1 (- x)))) into (exp (* 3 x))
6.600 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
6.600 * [backup-simplify]: Simplify (+ (exp (* 3 x)) 1) into (+ (exp (* 3 x)) 1)
6.600 * [approximate]: Taking taylor expansion of (+ (exp (* 3 x)) 1) in (x) around 0
6.600 * [taylor]: Taking taylor expansion of (+ (exp (* 3 x)) 1) in x
6.600 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x
6.600 * [taylor]: Taking taylor expansion of (* 3 x) in x
6.600 * [taylor]: Taking taylor expansion of 3 in x
6.600 * [backup-simplify]: Simplify 3 into 3
6.600 * [taylor]: Taking taylor expansion of x in x
6.600 * [backup-simplify]: Simplify 0 into 0
6.600 * [backup-simplify]: Simplify 1 into 1
6.600 * [backup-simplify]: Simplify (* 3 0) into 0
6.601 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
6.601 * [backup-simplify]: Simplify (exp 0) into 1
6.601 * [taylor]: Taking taylor expansion of 1 in x
6.601 * [backup-simplify]: Simplify 1 into 1
6.601 * [taylor]: Taking taylor expansion of (+ (exp (* 3 x)) 1) in x
6.601 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x
6.601 * [taylor]: Taking taylor expansion of (* 3 x) in x
6.601 * [taylor]: Taking taylor expansion of 3 in x
6.601 * [backup-simplify]: Simplify 3 into 3
6.601 * [taylor]: Taking taylor expansion of x in x
6.601 * [backup-simplify]: Simplify 0 into 0
6.601 * [backup-simplify]: Simplify 1 into 1
6.601 * [backup-simplify]: Simplify (* 3 0) into 0
6.602 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
6.602 * [backup-simplify]: Simplify (exp 0) into 1
6.602 * [taylor]: Taking taylor expansion of 1 in x
6.602 * [backup-simplify]: Simplify 1 into 1
6.602 * [backup-simplify]: Simplify (+ 1 1) into 2
6.602 * [backup-simplify]: Simplify 2 into 2
6.603 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 1) 1)))) into 3
6.603 * [backup-simplify]: Simplify (+ 3 0) into 3
6.603 * [backup-simplify]: Simplify 3 into 3
6.604 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0
6.605 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 2) 2)) (* (/ (pow 0 1) 1)))) into 9/2
6.605 * [backup-simplify]: Simplify (+ 9/2 0) into 9/2
6.605 * [backup-simplify]: Simplify 9/2 into 9/2
6.605 * [backup-simplify]: Simplify (+ (* 9/2 (pow x 2)) (+ (* 3 x) 2)) into (+ (* 3 x) (+ (* 9/2 (pow x 2)) 2))
6.605 * [backup-simplify]: Simplify (+ (exp (* 3 (/ 1 x))) 1) into (+ (exp (/ 3 x)) 1)
6.605 * [approximate]: Taking taylor expansion of (+ (exp (/ 3 x)) 1) in (x) around 0
6.605 * [taylor]: Taking taylor expansion of (+ (exp (/ 3 x)) 1) in x
6.605 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x
6.605 * [taylor]: Taking taylor expansion of (/ 3 x) in x
6.606 * [taylor]: Taking taylor expansion of 3 in x
6.606 * [backup-simplify]: Simplify 3 into 3
6.606 * [taylor]: Taking taylor expansion of x in x
6.606 * [backup-simplify]: Simplify 0 into 0
6.606 * [backup-simplify]: Simplify 1 into 1
6.606 * [backup-simplify]: Simplify (/ 3 1) into 3
6.606 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x))
6.606 * [taylor]: Taking taylor expansion of 1 in x
6.606 * [backup-simplify]: Simplify 1 into 1
6.606 * [taylor]: Taking taylor expansion of (+ (exp (/ 3 x)) 1) in x
6.606 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x
6.606 * [taylor]: Taking taylor expansion of (/ 3 x) in x
6.606 * [taylor]: Taking taylor expansion of 3 in x
6.606 * [backup-simplify]: Simplify 3 into 3
6.606 * [taylor]: Taking taylor expansion of x in x
6.606 * [backup-simplify]: Simplify 0 into 0
6.606 * [backup-simplify]: Simplify 1 into 1
6.607 * [backup-simplify]: Simplify (/ 3 1) into 3
6.607 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x))
6.607 * [taylor]: Taking taylor expansion of 1 in x
6.607 * [backup-simplify]: Simplify 1 into 1
6.607 * [backup-simplify]: Simplify (+ (exp (/ 3 x)) 1) into (+ (exp (/ 3 x)) 1)
6.607 * [backup-simplify]: Simplify (+ (exp (/ 3 x)) 1) into (+ (exp (/ 3 x)) 1)
6.608 * [backup-simplify]: Simplify (+ 0 0) into 0
6.608 * [backup-simplify]: Simplify 0 into 0
6.608 * [backup-simplify]: Simplify (+ 0 0) into 0
6.608 * [backup-simplify]: Simplify 0 into 0
6.609 * [backup-simplify]: Simplify (+ 0 0) into 0
6.609 * [backup-simplify]: Simplify 0 into 0
6.609 * [backup-simplify]: Simplify (+ 0 0) into 0
6.609 * [backup-simplify]: Simplify 0 into 0
6.610 * [backup-simplify]: Simplify (+ 0 0) into 0
6.610 * [backup-simplify]: Simplify 0 into 0
6.610 * [backup-simplify]: Simplify (+ 0 0) into 0
6.610 * [backup-simplify]: Simplify 0 into 0
6.610 * [backup-simplify]: Simplify (+ (exp (/ 3 (/ 1 x))) 1) into (+ (exp (* 3 x)) 1)
6.610 * [backup-simplify]: Simplify (+ (exp (* 3 (/ 1 (- x)))) 1) into (+ (exp (/ -3 x)) 1)
6.610 * [approximate]: Taking taylor expansion of (+ (exp (/ -3 x)) 1) in (x) around 0
6.610 * [taylor]: Taking taylor expansion of (+ (exp (/ -3 x)) 1) in x
6.610 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x
6.610 * [taylor]: Taking taylor expansion of (/ -3 x) in x
6.610 * [taylor]: Taking taylor expansion of -3 in x
6.611 * [backup-simplify]: Simplify -3 into -3
6.611 * [taylor]: Taking taylor expansion of x in x
6.611 * [backup-simplify]: Simplify 0 into 0
6.611 * [backup-simplify]: Simplify 1 into 1
6.611 * [backup-simplify]: Simplify (/ -3 1) into -3
6.611 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x))
6.611 * [taylor]: Taking taylor expansion of 1 in x
6.611 * [backup-simplify]: Simplify 1 into 1
6.611 * [taylor]: Taking taylor expansion of (+ (exp (/ -3 x)) 1) in x
6.611 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x
6.611 * [taylor]: Taking taylor expansion of (/ -3 x) in x
6.611 * [taylor]: Taking taylor expansion of -3 in x
6.611 * [backup-simplify]: Simplify -3 into -3
6.611 * [taylor]: Taking taylor expansion of x in x
6.611 * [backup-simplify]: Simplify 0 into 0
6.611 * [backup-simplify]: Simplify 1 into 1
6.612 * [backup-simplify]: Simplify (/ -3 1) into -3
6.612 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x))
6.612 * [taylor]: Taking taylor expansion of 1 in x
6.612 * [backup-simplify]: Simplify 1 into 1
6.612 * [backup-simplify]: Simplify (+ (exp (/ -3 x)) 1) into (+ (exp (/ -3 x)) 1)
6.612 * [backup-simplify]: Simplify (+ (exp (/ -3 x)) 1) into (+ (exp (/ -3 x)) 1)
6.613 * [backup-simplify]: Simplify (+ 0 0) into 0
6.613 * [backup-simplify]: Simplify 0 into 0
6.613 * [backup-simplify]: Simplify (+ 0 0) into 0
6.613 * [backup-simplify]: Simplify 0 into 0
6.613 * [backup-simplify]: Simplify (+ 0 0) into 0
6.613 * [backup-simplify]: Simplify 0 into 0
6.614 * [backup-simplify]: Simplify (+ 0 0) into 0
6.614 * [backup-simplify]: Simplify 0 into 0
6.614 * [backup-simplify]: Simplify (+ 0 0) into 0
6.614 * [backup-simplify]: Simplify 0 into 0
6.615 * [backup-simplify]: Simplify (+ 0 0) into 0
6.615 * [backup-simplify]: Simplify 0 into 0
6.615 * [backup-simplify]: Simplify (+ (exp (/ -3 (/ 1 (- x)))) 1) into (+ (exp (* 3 x)) 1)
6.615 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
6.615 * [backup-simplify]: Simplify (- (fma (exp x) (exp x) 1) (exp x)) into (- (fma (exp x) (exp x) 1) (exp x))
6.615 * [approximate]: Taking taylor expansion of (- (fma (exp x) (exp x) 1) (exp x)) in (x) around 0
6.615 * [taylor]: Taking taylor expansion of (- (fma (exp x) (exp x) 1) (exp x)) in x
6.615 * [taylor]: Taking taylor expansion of (fma (exp x) (exp x) 1) in x
6.615 * [taylor]: Rewrote expression to (+ (* (exp x) (exp x)) 1)
6.615 * [taylor]: Taking taylor expansion of (* (exp x) (exp x)) in x
6.615 * [taylor]: Taking taylor expansion of (exp x) in x
6.615 * [taylor]: Taking taylor expansion of x in x
6.615 * [backup-simplify]: Simplify 0 into 0
6.615 * [backup-simplify]: Simplify 1 into 1
6.616 * [backup-simplify]: Simplify (exp 0) into 1
6.616 * [taylor]: Taking taylor expansion of (exp x) in x
6.616 * [taylor]: Taking taylor expansion of x in x
6.616 * [backup-simplify]: Simplify 0 into 0
6.616 * [backup-simplify]: Simplify 1 into 1
6.616 * [backup-simplify]: Simplify (exp 0) into 1
6.616 * [taylor]: Taking taylor expansion of 1 in x
6.616 * [backup-simplify]: Simplify 1 into 1
6.616 * [taylor]: Taking taylor expansion of (exp x) in x
6.616 * [taylor]: Taking taylor expansion of x in x
6.616 * [backup-simplify]: Simplify 0 into 0
6.616 * [backup-simplify]: Simplify 1 into 1
6.616 * [backup-simplify]: Simplify (exp 0) into 1
6.616 * [taylor]: Taking taylor expansion of (- (fma (exp x) (exp x) 1) (exp x)) in x
6.616 * [taylor]: Taking taylor expansion of (fma (exp x) (exp x) 1) in x
6.616 * [taylor]: Rewrote expression to (+ (* (exp x) (exp x)) 1)
6.616 * [taylor]: Taking taylor expansion of (* (exp x) (exp x)) in x
6.616 * [taylor]: Taking taylor expansion of (exp x) in x
6.616 * [taylor]: Taking taylor expansion of x in x
6.616 * [backup-simplify]: Simplify 0 into 0
6.616 * [backup-simplify]: Simplify 1 into 1
6.616 * [backup-simplify]: Simplify (exp 0) into 1
6.616 * [taylor]: Taking taylor expansion of (exp x) in x
6.616 * [taylor]: Taking taylor expansion of x in x
6.616 * [backup-simplify]: Simplify 0 into 0
6.616 * [backup-simplify]: Simplify 1 into 1
6.616 * [backup-simplify]: Simplify (exp 0) into 1
6.616 * [taylor]: Taking taylor expansion of 1 in x
6.616 * [backup-simplify]: Simplify 1 into 1
6.616 * [taylor]: Taking taylor expansion of (exp x) in x
6.616 * [taylor]: Taking taylor expansion of x in x
6.616 * [backup-simplify]: Simplify 0 into 0
6.616 * [backup-simplify]: Simplify 1 into 1
6.616 * [backup-simplify]: Simplify (exp 0) into 1
6.617 * [backup-simplify]: Simplify (* 1 1) into 1
6.617 * [backup-simplify]: Simplify (+ 1 1) into 2
6.618 * [backup-simplify]: Simplify (- 1) into -1
6.618 * [backup-simplify]: Simplify (+ 2 -1) into 1
6.618 * [backup-simplify]: Simplify 1 into 1
6.619 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
6.620 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
6.621 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2
6.621 * [backup-simplify]: Simplify (+ 2 0) into 2
6.622 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
6.622 * [backup-simplify]: Simplify (- 1) into -1
6.622 * [backup-simplify]: Simplify (+ 2 -1) into 1
6.622 * [backup-simplify]: Simplify 1 into 1
6.623 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
6.624 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
6.625 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
6.625 * [backup-simplify]: Simplify (+ 2 0) into 2
6.626 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
6.626 * [backup-simplify]: Simplify (- 1/2) into -1/2
6.626 * [backup-simplify]: Simplify (+ 2 -1/2) into 3/2
6.626 * [backup-simplify]: Simplify 3/2 into 3/2
6.626 * [backup-simplify]: Simplify (+ (* 3/2 (pow x 2)) (+ (* 1 x) 1)) into (+ x (+ (* 3/2 (pow x 2)) 1))
6.627 * [backup-simplify]: Simplify (- (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) (exp (/ 1 x))) into (- (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) (exp (/ 1 x)))
6.627 * [approximate]: Taking taylor expansion of (- (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) (exp (/ 1 x))) in (x) around 0
6.627 * [taylor]: Taking taylor expansion of (- (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) (exp (/ 1 x))) in x
6.627 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) in x
6.627 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (exp (/ 1 x))) 1)
6.627 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ 1 x))) in x
6.627 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.627 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.627 * [taylor]: Taking taylor expansion of x in x
6.627 * [backup-simplify]: Simplify 0 into 0
6.627 * [backup-simplify]: Simplify 1 into 1
6.627 * [backup-simplify]: Simplify (/ 1 1) into 1
6.627 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.627 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.627 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.627 * [taylor]: Taking taylor expansion of x in x
6.627 * [backup-simplify]: Simplify 0 into 0
6.627 * [backup-simplify]: Simplify 1 into 1
6.627 * [backup-simplify]: Simplify (/ 1 1) into 1
6.627 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.627 * [taylor]: Taking taylor expansion of 1 in x
6.627 * [backup-simplify]: Simplify 1 into 1
6.628 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.628 * [taylor]: Taking taylor expansion of x in x
6.628 * [backup-simplify]: Simplify 0 into 0
6.628 * [backup-simplify]: Simplify 1 into 1
6.628 * [backup-simplify]: Simplify (/ 1 1) into 1
6.628 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.628 * [taylor]: Taking taylor expansion of (- (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) (exp (/ 1 x))) in x
6.628 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) in x
6.628 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (exp (/ 1 x))) 1)
6.628 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ 1 x))) in x
6.628 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.628 * [taylor]: Taking taylor expansion of x in x
6.628 * [backup-simplify]: Simplify 0 into 0
6.628 * [backup-simplify]: Simplify 1 into 1
6.628 * [backup-simplify]: Simplify (/ 1 1) into 1
6.628 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.628 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.628 * [taylor]: Taking taylor expansion of x in x
6.628 * [backup-simplify]: Simplify 0 into 0
6.628 * [backup-simplify]: Simplify 1 into 1
6.629 * [backup-simplify]: Simplify (/ 1 1) into 1
6.629 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.629 * [taylor]: Taking taylor expansion of 1 in x
6.629 * [backup-simplify]: Simplify 1 into 1
6.629 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.629 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.629 * [taylor]: Taking taylor expansion of x in x
6.629 * [backup-simplify]: Simplify 0 into 0
6.629 * [backup-simplify]: Simplify 1 into 1
6.629 * [backup-simplify]: Simplify (/ 1 1) into 1
6.629 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.629 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
6.629 * [backup-simplify]: Simplify (+ (pow (exp (/ 1 x)) 2) 1) into (+ (pow (exp (/ 1 x)) 2) 1)
6.629 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
6.630 * [backup-simplify]: Simplify (+ (+ (pow (exp (/ 1 x)) 2) 1) (- (exp (/ 1 x)))) into (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))
6.630 * [backup-simplify]: Simplify (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) into (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))
6.630 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
6.630 * [backup-simplify]: Simplify (+ 0 0) into 0
6.630 * [backup-simplify]: Simplify (- 0) into 0
6.631 * [backup-simplify]: Simplify (+ 0 0) into 0
6.631 * [backup-simplify]: Simplify 0 into 0
6.631 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
6.631 * [backup-simplify]: Simplify (+ 0 0) into 0
6.631 * [backup-simplify]: Simplify (- 0) into 0
6.632 * [backup-simplify]: Simplify (+ 0 0) into 0
6.632 * [backup-simplify]: Simplify 0 into 0
6.632 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
6.633 * [backup-simplify]: Simplify (+ 0 0) into 0
6.633 * [backup-simplify]: Simplify (- 0) into 0
6.633 * [backup-simplify]: Simplify (+ 0 0) into 0
6.633 * [backup-simplify]: Simplify 0 into 0
6.634 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
6.634 * [backup-simplify]: Simplify (+ 0 0) into 0
6.635 * [backup-simplify]: Simplify (- 0) into 0
6.635 * [backup-simplify]: Simplify (+ 0 0) into 0
6.635 * [backup-simplify]: Simplify 0 into 0
6.636 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
6.636 * [backup-simplify]: Simplify (+ 0 0) into 0
6.636 * [backup-simplify]: Simplify (- 0) into 0
6.637 * [backup-simplify]: Simplify (+ 0 0) into 0
6.637 * [backup-simplify]: Simplify 0 into 0
6.638 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
6.638 * [backup-simplify]: Simplify (+ 0 0) into 0
6.638 * [backup-simplify]: Simplify (- 0) into 0
6.638 * [backup-simplify]: Simplify (+ 0 0) into 0
6.639 * [backup-simplify]: Simplify 0 into 0
6.639 * [backup-simplify]: Simplify (- (+ (pow (exp (/ 1 (/ 1 x))) 2) 1) (exp (/ 1 (/ 1 x)))) into (- (+ (pow (exp x) 2) 1) (exp x))
6.639 * [backup-simplify]: Simplify (- (fma (exp (/ 1 (- x))) (exp (/ 1 (- x))) 1) (exp (/ 1 (- x)))) into (- (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) (exp (/ -1 x)))
6.639 * [approximate]: Taking taylor expansion of (- (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) (exp (/ -1 x))) in (x) around 0
6.639 * [taylor]: Taking taylor expansion of (- (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) (exp (/ -1 x))) in x
6.639 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) in x
6.639 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (exp (/ -1 x))) 1)
6.639 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (exp (/ -1 x))) in x
6.639 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.639 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.639 * [taylor]: Taking taylor expansion of -1 in x
6.639 * [backup-simplify]: Simplify -1 into -1
6.639 * [taylor]: Taking taylor expansion of x in x
6.639 * [backup-simplify]: Simplify 0 into 0
6.639 * [backup-simplify]: Simplify 1 into 1
6.639 * [backup-simplify]: Simplify (/ -1 1) into -1
6.639 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.639 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.639 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.639 * [taylor]: Taking taylor expansion of -1 in x
6.639 * [backup-simplify]: Simplify -1 into -1
6.639 * [taylor]: Taking taylor expansion of x in x
6.639 * [backup-simplify]: Simplify 0 into 0
6.640 * [backup-simplify]: Simplify 1 into 1
6.640 * [backup-simplify]: Simplify (/ -1 1) into -1
6.640 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.640 * [taylor]: Taking taylor expansion of 1 in x
6.640 * [backup-simplify]: Simplify 1 into 1
6.640 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.640 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.640 * [taylor]: Taking taylor expansion of -1 in x
6.640 * [backup-simplify]: Simplify -1 into -1
6.640 * [taylor]: Taking taylor expansion of x in x
6.640 * [backup-simplify]: Simplify 0 into 0
6.640 * [backup-simplify]: Simplify 1 into 1
6.640 * [backup-simplify]: Simplify (/ -1 1) into -1
6.640 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.640 * [taylor]: Taking taylor expansion of (- (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) (exp (/ -1 x))) in x
6.640 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) in x
6.640 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (exp (/ -1 x))) 1)
6.640 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (exp (/ -1 x))) in x
6.640 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.640 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.640 * [taylor]: Taking taylor expansion of -1 in x
6.640 * [backup-simplify]: Simplify -1 into -1
6.640 * [taylor]: Taking taylor expansion of x in x
6.640 * [backup-simplify]: Simplify 0 into 0
6.640 * [backup-simplify]: Simplify 1 into 1
6.641 * [backup-simplify]: Simplify (/ -1 1) into -1
6.641 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.641 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.641 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.641 * [taylor]: Taking taylor expansion of -1 in x
6.641 * [backup-simplify]: Simplify -1 into -1
6.641 * [taylor]: Taking taylor expansion of x in x
6.641 * [backup-simplify]: Simplify 0 into 0
6.641 * [backup-simplify]: Simplify 1 into 1
6.641 * [backup-simplify]: Simplify (/ -1 1) into -1
6.641 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.641 * [taylor]: Taking taylor expansion of 1 in x
6.641 * [backup-simplify]: Simplify 1 into 1
6.641 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.641 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.641 * [taylor]: Taking taylor expansion of -1 in x
6.641 * [backup-simplify]: Simplify -1 into -1
6.641 * [taylor]: Taking taylor expansion of x in x
6.641 * [backup-simplify]: Simplify 0 into 0
6.641 * [backup-simplify]: Simplify 1 into 1
6.642 * [backup-simplify]: Simplify (/ -1 1) into -1
6.642 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.642 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
6.642 * [backup-simplify]: Simplify (+ (pow (exp (/ -1 x)) 2) 1) into (+ 1 (pow (exp (/ -1 x)) 2))
6.642 * [backup-simplify]: Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x)))
6.642 * [backup-simplify]: Simplify (+ (+ 1 (pow (exp (/ -1 x)) 2)) (- (exp (/ -1 x)))) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))
6.642 * [backup-simplify]: Simplify (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))
6.642 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
6.643 * [backup-simplify]: Simplify (+ 0 0) into 0
6.643 * [backup-simplify]: Simplify (- 0) into 0
6.643 * [backup-simplify]: Simplify (+ 0 0) into 0
6.643 * [backup-simplify]: Simplify 0 into 0
6.643 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
6.644 * [backup-simplify]: Simplify (+ 0 0) into 0
6.644 * [backup-simplify]: Simplify (- 0) into 0
6.644 * [backup-simplify]: Simplify (+ 0 0) into 0
6.644 * [backup-simplify]: Simplify 0 into 0
6.645 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
6.645 * [backup-simplify]: Simplify (+ 0 0) into 0
6.645 * [backup-simplify]: Simplify (- 0) into 0
6.645 * [backup-simplify]: Simplify (+ 0 0) into 0
6.646 * [backup-simplify]: Simplify 0 into 0
6.646 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
6.647 * [backup-simplify]: Simplify (+ 0 0) into 0
6.647 * [backup-simplify]: Simplify (- 0) into 0
6.647 * [backup-simplify]: Simplify (+ 0 0) into 0
6.647 * [backup-simplify]: Simplify 0 into 0
6.651 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
6.652 * [backup-simplify]: Simplify (+ 0 0) into 0
6.652 * [backup-simplify]: Simplify (- 0) into 0
6.652 * [backup-simplify]: Simplify (+ 0 0) into 0
6.652 * [backup-simplify]: Simplify 0 into 0
6.654 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
6.655 * [backup-simplify]: Simplify (+ 0 0) into 0
6.655 * [backup-simplify]: Simplify (- 0) into 0
6.656 * [backup-simplify]: Simplify (+ 0 0) into 0
6.656 * [backup-simplify]: Simplify 0 into 0
6.656 * [backup-simplify]: Simplify (- (+ 1 (pow (exp (/ -1 (/ 1 (- x)))) 2)) (exp (/ -1 (/ 1 (- x))))) into (- (+ (pow (exp x) 2) 1) (exp x))
6.656 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
6.656 * [backup-simplify]: Simplify (fma (exp x) (exp x) 1) into (fma (exp x) (exp x) 1)
6.656 * [approximate]: Taking taylor expansion of (fma (exp x) (exp x) 1) in (x) around 0
6.656 * [taylor]: Taking taylor expansion of (fma (exp x) (exp x) 1) in x
6.656 * [taylor]: Rewrote expression to (+ (* (exp x) (exp x)) 1)
6.656 * [taylor]: Taking taylor expansion of (* (exp x) (exp x)) in x
6.656 * [taylor]: Taking taylor expansion of (exp x) in x
6.656 * [taylor]: Taking taylor expansion of x in x
6.656 * [backup-simplify]: Simplify 0 into 0
6.656 * [backup-simplify]: Simplify 1 into 1
6.657 * [backup-simplify]: Simplify (exp 0) into 1
6.657 * [taylor]: Taking taylor expansion of (exp x) in x
6.657 * [taylor]: Taking taylor expansion of x in x
6.657 * [backup-simplify]: Simplify 0 into 0
6.657 * [backup-simplify]: Simplify 1 into 1
6.657 * [backup-simplify]: Simplify (exp 0) into 1
6.657 * [taylor]: Taking taylor expansion of 1 in x
6.657 * [backup-simplify]: Simplify 1 into 1
6.657 * [taylor]: Taking taylor expansion of (fma (exp x) (exp x) 1) in x
6.657 * [taylor]: Rewrote expression to (+ (* (exp x) (exp x)) 1)
6.657 * [taylor]: Taking taylor expansion of (* (exp x) (exp x)) in x
6.657 * [taylor]: Taking taylor expansion of (exp x) in x
6.657 * [taylor]: Taking taylor expansion of x in x
6.657 * [backup-simplify]: Simplify 0 into 0
6.657 * [backup-simplify]: Simplify 1 into 1
6.657 * [backup-simplify]: Simplify (exp 0) into 1
6.657 * [taylor]: Taking taylor expansion of (exp x) in x
6.657 * [taylor]: Taking taylor expansion of x in x
6.657 * [backup-simplify]: Simplify 0 into 0
6.657 * [backup-simplify]: Simplify 1 into 1
6.657 * [backup-simplify]: Simplify (exp 0) into 1
6.657 * [taylor]: Taking taylor expansion of 1 in x
6.657 * [backup-simplify]: Simplify 1 into 1
6.658 * [backup-simplify]: Simplify (* 1 1) into 1
6.658 * [backup-simplify]: Simplify (+ 1 1) into 2
6.658 * [backup-simplify]: Simplify 2 into 2
6.659 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
6.660 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
6.661 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2
6.661 * [backup-simplify]: Simplify (+ 2 0) into 2
6.661 * [backup-simplify]: Simplify 2 into 2
6.663 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
6.664 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
6.665 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
6.665 * [backup-simplify]: Simplify (+ 2 0) into 2
6.665 * [backup-simplify]: Simplify 2 into 2
6.666 * [backup-simplify]: Simplify (+ (* 2 (pow x 2)) (+ (* 2 x) 2)) into (+ (* 2 x) (+ (* 2 (pow x 2)) 2))
6.666 * [backup-simplify]: Simplify (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) into (fma (exp (/ 1 x)) (exp (/ 1 x)) 1)
6.666 * [approximate]: Taking taylor expansion of (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) in (x) around 0
6.666 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) in x
6.666 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (exp (/ 1 x))) 1)
6.666 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ 1 x))) in x
6.666 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.666 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.666 * [taylor]: Taking taylor expansion of x in x
6.666 * [backup-simplify]: Simplify 0 into 0
6.666 * [backup-simplify]: Simplify 1 into 1
6.666 * [backup-simplify]: Simplify (/ 1 1) into 1
6.666 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.666 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.666 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.666 * [taylor]: Taking taylor expansion of x in x
6.666 * [backup-simplify]: Simplify 0 into 0
6.666 * [backup-simplify]: Simplify 1 into 1
6.667 * [backup-simplify]: Simplify (/ 1 1) into 1
6.667 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.667 * [taylor]: Taking taylor expansion of 1 in x
6.667 * [backup-simplify]: Simplify 1 into 1
6.667 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) in x
6.667 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (exp (/ 1 x))) 1)
6.667 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ 1 x))) in x
6.667 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.667 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.667 * [taylor]: Taking taylor expansion of x in x
6.667 * [backup-simplify]: Simplify 0 into 0
6.667 * [backup-simplify]: Simplify 1 into 1
6.667 * [backup-simplify]: Simplify (/ 1 1) into 1
6.667 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.667 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.667 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.667 * [taylor]: Taking taylor expansion of x in x
6.667 * [backup-simplify]: Simplify 0 into 0
6.667 * [backup-simplify]: Simplify 1 into 1
6.667 * [backup-simplify]: Simplify (/ 1 1) into 1
6.668 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.668 * [taylor]: Taking taylor expansion of 1 in x
6.668 * [backup-simplify]: Simplify 1 into 1
6.668 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
6.668 * [backup-simplify]: Simplify (+ (pow (exp (/ 1 x)) 2) 1) into (+ (pow (exp (/ 1 x)) 2) 1)
6.668 * [backup-simplify]: Simplify (+ (pow (exp (/ 1 x)) 2) 1) into (+ (pow (exp (/ 1 x)) 2) 1)
6.668 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
6.668 * [backup-simplify]: Simplify (+ 0 0) into 0
6.668 * [backup-simplify]: Simplify 0 into 0
6.669 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
6.669 * [backup-simplify]: Simplify (+ 0 0) into 0
6.669 * [backup-simplify]: Simplify 0 into 0
6.669 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
6.670 * [backup-simplify]: Simplify (+ 0 0) into 0
6.670 * [backup-simplify]: Simplify 0 into 0
6.670 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
6.671 * [backup-simplify]: Simplify (+ 0 0) into 0
6.671 * [backup-simplify]: Simplify 0 into 0
6.672 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
6.672 * [backup-simplify]: Simplify (+ 0 0) into 0
6.672 * [backup-simplify]: Simplify 0 into 0
6.673 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
6.673 * [backup-simplify]: Simplify (+ 0 0) into 0
6.673 * [backup-simplify]: Simplify 0 into 0
6.673 * [backup-simplify]: Simplify (+ (pow (exp (/ 1 (/ 1 x))) 2) 1) into (+ (pow (exp x) 2) 1)
6.674 * [backup-simplify]: Simplify (fma (exp (/ 1 (- x))) (exp (/ 1 (- x))) 1) into (fma (exp (/ -1 x)) (exp (/ -1 x)) 1)
6.674 * [approximate]: Taking taylor expansion of (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) in (x) around 0
6.674 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) in x
6.674 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (exp (/ -1 x))) 1)
6.674 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (exp (/ -1 x))) in x
6.674 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.674 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.674 * [taylor]: Taking taylor expansion of -1 in x
6.674 * [backup-simplify]: Simplify -1 into -1
6.674 * [taylor]: Taking taylor expansion of x in x
6.674 * [backup-simplify]: Simplify 0 into 0
6.674 * [backup-simplify]: Simplify 1 into 1
6.674 * [backup-simplify]: Simplify (/ -1 1) into -1
6.674 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.674 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.674 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.674 * [taylor]: Taking taylor expansion of -1 in x
6.674 * [backup-simplify]: Simplify -1 into -1
6.674 * [taylor]: Taking taylor expansion of x in x
6.674 * [backup-simplify]: Simplify 0 into 0
6.674 * [backup-simplify]: Simplify 1 into 1
6.675 * [backup-simplify]: Simplify (/ -1 1) into -1
6.675 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.675 * [taylor]: Taking taylor expansion of 1 in x
6.675 * [backup-simplify]: Simplify 1 into 1
6.675 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) in x
6.675 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (exp (/ -1 x))) 1)
6.675 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (exp (/ -1 x))) in x
6.675 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.675 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.675 * [taylor]: Taking taylor expansion of -1 in x
6.675 * [backup-simplify]: Simplify -1 into -1
6.675 * [taylor]: Taking taylor expansion of x in x
6.675 * [backup-simplify]: Simplify 0 into 0
6.675 * [backup-simplify]: Simplify 1 into 1
6.675 * [backup-simplify]: Simplify (/ -1 1) into -1
6.675 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.675 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.675 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.675 * [taylor]: Taking taylor expansion of -1 in x
6.675 * [backup-simplify]: Simplify -1 into -1
6.675 * [taylor]: Taking taylor expansion of x in x
6.675 * [backup-simplify]: Simplify 0 into 0
6.675 * [backup-simplify]: Simplify 1 into 1
6.676 * [backup-simplify]: Simplify (/ -1 1) into -1
6.676 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.676 * [taylor]: Taking taylor expansion of 1 in x
6.676 * [backup-simplify]: Simplify 1 into 1
6.676 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
6.676 * [backup-simplify]: Simplify (+ (pow (exp (/ -1 x)) 2) 1) into (+ 1 (pow (exp (/ -1 x)) 2))
6.676 * [backup-simplify]: Simplify (+ 1 (pow (exp (/ -1 x)) 2)) into (+ 1 (pow (exp (/ -1 x)) 2))
6.676 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
6.677 * [backup-simplify]: Simplify (+ 0 0) into 0
6.677 * [backup-simplify]: Simplify 0 into 0
6.677 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
6.677 * [backup-simplify]: Simplify (+ 0 0) into 0
6.677 * [backup-simplify]: Simplify 0 into 0
6.678 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
6.678 * [backup-simplify]: Simplify (+ 0 0) into 0
6.678 * [backup-simplify]: Simplify 0 into 0
6.679 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
6.679 * [backup-simplify]: Simplify (+ 0 0) into 0
6.679 * [backup-simplify]: Simplify 0 into 0
6.680 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
6.680 * [backup-simplify]: Simplify (+ 0 0) into 0
6.680 * [backup-simplify]: Simplify 0 into 0
6.682 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
6.682 * [backup-simplify]: Simplify (+ 0 0) into 0
6.682 * [backup-simplify]: Simplify 0 into 0
6.682 * [backup-simplify]: Simplify (+ 1 (pow (exp (/ -1 (/ 1 (- x)))) 2)) into (+ (pow (exp x) 2) 1)
6.682 * * * [progress]: simplifying candidates
6.682 * * * * [progress]: [ 1 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (log1p (expm1 (exp (* 3 x)))) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.682 * * * * [progress]: [ 2 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (expm1 (log1p (exp (* 3 x)))) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.682 * * * * [progress]: [ 3 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp 3) x) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.682 * * * * [progress]: [ 4 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp (* 3 x)) 1) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.682 * * * * [progress]: [ 5 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp 3) x) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.682 * * * * [progress]: [ 6 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 7 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (log (exp (* 3 x)))) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 8 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (log (exp (exp (* 3 x)))) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 9 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (* (cbrt (exp (* 3 x))) (cbrt (exp (* 3 x)))) (cbrt (exp (* 3 x)))) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 10 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (cbrt (* (* (exp (* 3 x)) (exp (* 3 x))) (exp (* 3 x)))) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 11 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (sqrt (exp (* 3 x))) (sqrt (exp (* 3 x)))) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 12 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* 1 (exp (* 3 x))) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 13 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (posit16->real (real->posit16 (exp (* 3 x)))) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 14 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (log1p (expm1 (+ (exp (* 3 x)) 1))) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 15 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (expm1 (log1p (+ (exp (* 3 x)) 1))) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 16 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (fma (* (cbrt (exp (* 3 x))) (cbrt (exp (* 3 x)))) (cbrt (exp (* 3 x))) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 17 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (fma (sqrt (exp (* 3 x))) (sqrt (exp (* 3 x))) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 18 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (fma 1 (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 19 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (log (* (exp (exp (* 3 x))) (exp 1))) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 20 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (pow (+ (exp (* 3 x)) 1) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 21 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (exp (log (+ (exp (* 3 x)) 1))) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 22 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (log (exp (+ (exp (* 3 x)) 1))) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 23 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (* (* (cbrt (+ (exp (* 3 x)) 1)) (cbrt (+ (exp (* 3 x)) 1))) (cbrt (+ (exp (* 3 x)) 1))) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 24 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (cbrt (* (* (+ (exp (* 3 x)) 1) (+ (exp (* 3 x)) 1)) (+ (exp (* 3 x)) 1))) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 25 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (* (sqrt (+ (exp (* 3 x)) 1)) (sqrt (+ (exp (* 3 x)) 1))) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 26 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (/ (+ (pow (exp (* 3 x)) 3) (pow 1 3)) (+ (* (exp (* 3 x)) (exp (* 3 x))) (- (* 1 1) (* (exp (* 3 x)) 1)))) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 27 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (* 1 (+ (exp (* 3 x)) 1)) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 28 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (/ (- (* (exp (* 3 x)) (exp (* 3 x))) (* 1 1)) (- (exp (* 3 x)) 1)) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 29 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (* 1 (+ (exp (* 3 x)) 1)) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 30 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (posit16->real (real->posit16 (+ (exp (* 3 x)) 1))) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 31 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (* 3 x))) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.683 * * * * [progress]: [ 32 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (+ (fma (* (cbrt (fma (exp x) (exp x) 1)) (cbrt (fma (exp x) (exp x) 1))) (cbrt (fma (exp x) (exp x) 1)) (- (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x)))))) (fma (- (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x)))))))))>
6.684 * * * * [progress]: [ 33 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (+ (fma (* (cbrt (fma (exp x) (exp x) 1)) (cbrt (fma (exp x) (exp x) 1))) (cbrt (fma (exp x) (exp x) 1)) (- (* (sqrt (exp x)) (sqrt (exp x))))) (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x))))))))>
6.684 * * * * [progress]: [ 34 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (+ (fma (* (cbrt (fma (exp x) (exp x) 1)) (cbrt (fma (exp x) (exp x) 1))) (cbrt (fma (exp x) (exp x) 1)) (- (* (exp x) 1))) (fma (- (exp x)) 1 (* (exp x) 1))))))>
6.684 * * * * [progress]: [ 35 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (+ (fma (sqrt (fma (exp x) (exp x) 1)) (sqrt (fma (exp x) (exp x) 1)) (- (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x)))))) (fma (- (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x)))))))))>
6.684 * * * * [progress]: [ 36 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (+ (fma (sqrt (fma (exp x) (exp x) 1)) (sqrt (fma (exp x) (exp x) 1)) (- (* (sqrt (exp x)) (sqrt (exp x))))) (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x))))))))>
6.684 * * * * [progress]: [ 37 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (+ (fma (sqrt (fma (exp x) (exp x) 1)) (sqrt (fma (exp x) (exp x) 1)) (- (* (exp x) 1))) (fma (- (exp x)) 1 (* (exp x) 1))))))>
6.684 * * * * [progress]: [ 38 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (+ (fma 1 (fma (exp x) (exp x) 1) (- (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x)))))) (fma (- (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x)))))))))>
6.684 * * * * [progress]: [ 39 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (+ (fma 1 (fma (exp x) (exp x) 1) (- (* (sqrt (exp x)) (sqrt (exp x))))) (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x))))))))>
6.684 * * * * [progress]: [ 40 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (+ (fma 1 (fma (exp x) (exp x) 1) (- (* (exp x) 1))) (fma (- (exp x)) 1 (* (exp x) 1))))))>
6.684 * * * * [progress]: [ 41 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (log1p (expm1 (- (fma (exp x) (exp x) 1) (exp x)))))))>
6.684 * * * * [progress]: [ 42 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (expm1 (log1p (- (fma (exp x) (exp x) 1) (exp x)))))))>
6.684 * * * * [progress]: [ 43 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (fma (* (cbrt (fma (exp x) (exp x) 1)) (cbrt (fma (exp x) (exp x) 1))) (cbrt (fma (exp x) (exp x) 1)) (- (exp x))))))>
6.684 * * * * [progress]: [ 44 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (fma (sqrt (fma (exp x) (exp x) 1)) (sqrt (fma (exp x) (exp x) 1)) (- (exp x))))))>
6.684 * * * * [progress]: [ 45 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (fma 1 (fma (exp x) (exp x) 1) (- (exp x))))))>
6.684 * * * * [progress]: [ 46 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (log (/ (exp (fma (exp x) (exp x) 1)) (exp (exp x)))))))>
6.684 * * * * [progress]: [ 47 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (pow (- (fma (exp x) (exp x) 1) (exp x)) 1))))>
6.684 * * * * [progress]: [ 48 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (exp (log (- (fma (exp x) (exp x) 1) (exp x)))))))>
6.684 * * * * [progress]: [ 49 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (log (exp (- (fma (exp x) (exp x) 1) (exp x)))))))>
6.684 * * * * [progress]: [ 50 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (* (* (cbrt (- (fma (exp x) (exp x) 1) (exp x))) (cbrt (- (fma (exp x) (exp x) 1) (exp x)))) (cbrt (- (fma (exp x) (exp x) 1) (exp x)))))))>
6.685 * * * * [progress]: [ 51 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (cbrt (* (* (- (fma (exp x) (exp x) 1) (exp x)) (- (fma (exp x) (exp x) 1) (exp x))) (- (fma (exp x) (exp x) 1) (exp x)))))))>
6.685 * * * * [progress]: [ 52 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (* (sqrt (- (fma (exp x) (exp x) 1) (exp x))) (sqrt (- (fma (exp x) (exp x) 1) (exp x)))))))>
6.685 * * * * [progress]: [ 53 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (/ (- (pow (fma (exp x) (exp x) 1) 3) (pow (exp x) 3)) (+ (* (fma (exp x) (exp x) 1) (fma (exp x) (exp x) 1)) (+ (* (exp x) (exp x)) (* (fma (exp x) (exp x) 1) (exp x))))))))>
6.685 * * * * [progress]: [ 54 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (+ (fma (exp x) (exp x) 1) (- (exp x))))))>
6.685 * * * * [progress]: [ 55 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (* 1 (- (fma (exp x) (exp x) 1) (exp x))))))>
6.685 * * * * [progress]: [ 56 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (/ (- (* (fma (exp x) (exp x) 1) (fma (exp x) (exp x) 1)) (* (exp x) (exp x))) (+ (fma (exp x) (exp x) 1) (exp x))))))>
6.685 * * * * [progress]: [ 57 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (* (+ (sqrt (fma (exp x) (exp x) 1)) (sqrt (exp x))) (- (sqrt (fma (exp x) (exp x) 1)) (sqrt (exp x)))))))>
6.685 * * * * [progress]: [ 58 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (* 1 (- (fma (exp x) (exp x) 1) (exp x))))))>
6.685 * * * * [progress]: [ 59 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (+ (* (exp x) (exp x)) (- 1 (exp x))))))>
6.685 * * * * [progress]: [ 60 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (+ (fma (exp x) (exp x) 1) (- (exp x))))))>
6.685 * * * * [progress]: [ 61 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (posit16->real (real->posit16 (- (fma (exp x) (exp x) 1) (exp x)))))))>
6.685 * * * * [progress]: [ 62 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (- (log1p (expm1 (fma (exp x) (exp x) 1))) (exp x)))))>
6.685 * * * * [progress]: [ 63 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (- (expm1 (log1p (fma (exp x) (exp x) 1))) (exp x)))))>
6.685 * * * * [progress]: [ 64 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (- (+ (* (exp x) (exp x)) 1) (exp x)))))>
6.685 * * * * [progress]: [ 65 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (- (pow (fma (exp x) (exp x) 1) 1) (exp x)))))>
6.685 * * * * [progress]: [ 66 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (- (exp (log (fma (exp x) (exp x) 1))) (exp x)))))>
6.685 * * * * [progress]: [ 67 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (- (log (exp (fma (exp x) (exp x) 1))) (exp x)))))>
6.685 * * * * [progress]: [ 68 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (- (* (* (cbrt (fma (exp x) (exp x) 1)) (cbrt (fma (exp x) (exp x) 1))) (cbrt (fma (exp x) (exp x) 1))) (exp x)))))>
6.685 * * * * [progress]: [ 69 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (- (cbrt (* (* (fma (exp x) (exp x) 1) (fma (exp x) (exp x) 1)) (fma (exp x) (exp x) 1))) (exp x)))))>
6.685 * * * * [progress]: [ 70 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (- (* (sqrt (fma (exp x) (exp x) 1)) (sqrt (fma (exp x) (exp x) 1))) (exp x)))))>
6.685 * * * * [progress]: [ 71 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (- (* 1 (fma (exp x) (exp x) 1)) (exp x)))))>
6.685 * * * * [progress]: [ 72 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (- (posit16->real (real->posit16 (fma (exp x) (exp x) 1))) (exp x)))))>
6.685 * * * * [progress]: [ 73 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1)) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.685 * * * * [progress]: [ 74 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.685 * * * * [progress]: [ 75 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.685 * * * * [progress]: [ 76 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* 3 x) (+ (* 9/2 (pow x 2)) 2)) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.685 * * * * [progress]: [ 77 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.686 * * * * [progress]: [ 78 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>
6.686 * * * * [progress]: [ 79 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (+ x (+ (* 3/2 (pow x 2)) 1)))))>
6.686 * * * * [progress]: [ 80 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (- (+ (pow (exp x) 2) 1) (exp x)))))>
6.686 * * * * [progress]: [ 81 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (- (+ (pow (exp x) 2) 1) (exp x)))))>
6.686 * * * * [progress]: [ 82 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (- (+ (* 2 x) (+ (* 2 (pow x 2)) 2)) (exp x)))))>
6.686 * * * * [progress]: [ 83 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (- (+ (pow (exp x) 2) 1) (exp x)))))>
6.686 * * * * [progress]: [ 84 / 84 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (- (+ (pow (exp x) 2) 1) (exp x)))))>
6.687 * [simplify]: Simplifying:
  (expm1 (exp (* 3 x)))
  (log1p (exp (* 3 x)))
  (exp 3)
  (log (exp (* 3 x)))
  (exp (exp (* 3 x)))
  (* (cbrt (exp (* 3 x))) (cbrt (exp (* 3 x))))
  (cbrt (exp (* 3 x)))
  (* (* (exp (* 3 x)) (exp (* 3 x))) (exp (* 3 x)))
  (sqrt (exp (* 3 x)))
  (sqrt (exp (* 3 x)))
  (real->posit16 (exp (* 3 x)))
  (expm1 (+ (exp (* 3 x)) 1))
  (log1p (+ (exp (* 3 x)) 1))
  (* (exp (exp (* 3 x))) (exp 1))
  (log (+ (exp (* 3 x)) 1))
  (exp (+ (exp (* 3 x)) 1))
  (* (cbrt (+ (exp (* 3 x)) 1)) (cbrt (+ (exp (* 3 x)) 1)))
  (cbrt (+ (exp (* 3 x)) 1))
  (* (* (+ (exp (* 3 x)) 1) (+ (exp (* 3 x)) 1)) (+ (exp (* 3 x)) 1))
  (sqrt (+ (exp (* 3 x)) 1))
  (sqrt (+ (exp (* 3 x)) 1))
  (+ (pow (exp (* 3 x)) 3) (pow 1 3))
  (+ (* (exp (* 3 x)) (exp (* 3 x))) (- (* 1 1) (* (exp (* 3 x)) 1)))
  (- (* (exp (* 3 x)) (exp (* 3 x))) (* 1 1))
  (- (exp (* 3 x)) 1)
  (+ (exp (* 3 x)) 1)
  (real->posit16 (+ (exp (* 3 x)) 1))
  (fma (* (cbrt (fma (exp x) (exp x) 1)) (cbrt (fma (exp x) (exp x) 1))) (cbrt (fma (exp x) (exp x) 1)) (- (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x))))))
  (fma (- (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x)))))
  (fma (* (cbrt (fma (exp x) (exp x) 1)) (cbrt (fma (exp x) (exp x) 1))) (cbrt (fma (exp x) (exp x) 1)) (- (* (sqrt (exp x)) (sqrt (exp x)))))
  (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x))))
  (fma (* (cbrt (fma (exp x) (exp x) 1)) (cbrt (fma (exp x) (exp x) 1))) (cbrt (fma (exp x) (exp x) 1)) (- (* (exp x) 1)))
  (fma (- (exp x)) 1 (* (exp x) 1))
  (fma (sqrt (fma (exp x) (exp x) 1)) (sqrt (fma (exp x) (exp x) 1)) (- (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x))))))
  (fma (- (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x)))))
  (fma (sqrt (fma (exp x) (exp x) 1)) (sqrt (fma (exp x) (exp x) 1)) (- (* (sqrt (exp x)) (sqrt (exp x)))))
  (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x))))
  (fma (sqrt (fma (exp x) (exp x) 1)) (sqrt (fma (exp x) (exp x) 1)) (- (* (exp x) 1)))
  (fma (- (exp x)) 1 (* (exp x) 1))
  (fma 1 (fma (exp x) (exp x) 1) (- (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x))))))
  (fma (- (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x)))))
  (fma 1 (fma (exp x) (exp x) 1) (- (* (sqrt (exp x)) (sqrt (exp x)))))
  (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x))))
  (fma 1 (fma (exp x) (exp x) 1) (- (* (exp x) 1)))
  (fma (- (exp x)) 1 (* (exp x) 1))
  (expm1 (- (fma (exp x) (exp x) 1) (exp x)))
  (log1p (- (fma (exp x) (exp x) 1) (exp x)))
  (- (exp x))
  (- (exp x))
  (- (exp x))
  (/ (exp (fma (exp x) (exp x) 1)) (exp (exp x)))
  (log (- (fma (exp x) (exp x) 1) (exp x)))
  (exp (- (fma (exp x) (exp x) 1) (exp x)))
  (* (cbrt (- (fma (exp x) (exp x) 1) (exp x))) (cbrt (- (fma (exp x) (exp x) 1) (exp x))))
  (cbrt (- (fma (exp x) (exp x) 1) (exp x)))
  (* (* (- (fma (exp x) (exp x) 1) (exp x)) (- (fma (exp x) (exp x) 1) (exp x))) (- (fma (exp x) (exp x) 1) (exp x)))
  (sqrt (- (fma (exp x) (exp x) 1) (exp x)))
  (sqrt (- (fma (exp x) (exp x) 1) (exp x)))
  (- (pow (fma (exp x) (exp x) 1) 3) (pow (exp x) 3))
  (+ (* (fma (exp x) (exp x) 1) (fma (exp x) (exp x) 1)) (+ (* (exp x) (exp x)) (* (fma (exp x) (exp x) 1) (exp x))))
  (- (exp x))
  (- (* (fma (exp x) (exp x) 1) (fma (exp x) (exp x) 1)) (* (exp x) (exp x)))
  (+ (fma (exp x) (exp x) 1) (exp x))
  (+ (sqrt (fma (exp x) (exp x) 1)) (sqrt (exp x)))
  (- (sqrt (fma (exp x) (exp x) 1)) (sqrt (exp x)))
  (- (fma (exp x) (exp x) 1) (exp x))
  (- 1 (exp x))
  (- (exp x))
  (real->posit16 (- (fma (exp x) (exp x) 1) (exp x)))
  (expm1 (fma (exp x) (exp x) 1))
  (log1p (fma (exp x) (exp x) 1))
  (* (exp x) (exp x))
  (log (fma (exp x) (exp x) 1))
  (exp (fma (exp x) (exp x) 1))
  (* (cbrt (fma (exp x) (exp x) 1)) (cbrt (fma (exp x) (exp x) 1)))
  (cbrt (fma (exp x) (exp x) 1))
  (* (* (fma (exp x) (exp x) 1) (fma (exp x) (exp x) 1)) (fma (exp x) (exp x) 1))
  (sqrt (fma (exp x) (exp x) 1))
  (sqrt (fma (exp x) (exp x) 1))
  (real->posit16 (fma (exp x) (exp x) 1))
  (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1))
  (exp (* 3 x))
  (exp (* 3 x))
  (+ (* 3 x) (+ (* 9/2 (pow x 2)) 2))
  (+ (exp (* 3 x)) 1)
  (+ (exp (* 3 x)) 1)
  (+ x (+ (* 3/2 (pow x 2)) 1))
  (- (+ (pow (exp x) 2) 1) (exp x))
  (- (+ (pow (exp x) 2) 1) (exp x))
  (+ (* 2 x) (+ (* 2 (pow x 2)) 2))
  (+ (pow (exp x) 2) 1)
  (+ (pow (exp x) 2) 1)
6.688 * * [simplify]: iteration 1: (118 enodes)
6.744 * * [simplify]: iteration 2: (263 enodes)
6.861 * * [simplify]: iteration 3: (599 enodes)
7.373 * * [simplify]: iteration 4: (1766 enodes)
25.973 * * [simplify]: Extracting #0: cost 57 inf + 0
25.977 * * [simplify]: Extracting #1: cost 575 inf + 1
25.991 * * [simplify]: Extracting #2: cost 1625 inf + 2442
26.037 * * [simplify]: Extracting #3: cost 1245 inf + 123589
26.129 * * [simplify]: Extracting #4: cost 316 inf + 436141
26.317 * * [simplify]: Extracting #5: cost 1 inf + 589499
26.508 * * [simplify]: Extracting #6: cost 0 inf + 589355
26.649 * [simplify]: Simplified to:
  (expm1 (exp (* 3 x)))
  (log1p (exp (* 3 x)))
  (exp 3)
  (* 3 x)
  (exp (exp (* 3 x)))
  (* (exp x) (exp x))
  (exp x)
  (exp (* x 9))
  (sqrt (exp (* 3 x)))
  (sqrt (exp (* 3 x)))
  (real->posit16 (exp (* 3 x)))
  (expm1 (+ 1 (exp (* 3 x))))
  (log1p (+ 1 (exp (* 3 x))))
  (exp (+ 1 (exp (* 3 x))))
  (log1p (exp (* 3 x)))
  (exp (+ 1 (exp (* 3 x))))
  (* (cbrt (+ 1 (exp (* 3 x)))) (cbrt (+ 1 (exp (* 3 x)))))
  (cbrt (+ 1 (exp (* 3 x))))
  (* (* (+ 1 (exp (* 3 x))) (+ 1 (exp (* 3 x)))) (+ 1 (exp (* 3 x))))
  (sqrt (+ 1 (exp (* 3 x))))
  (sqrt (+ 1 (exp (* 3 x))))
  (+ (exp (* x 9)) 1)
  (- (fma (exp (* 3 x)) (exp (* 3 x)) 1) (exp (* 3 x)))
  (expm1 (* 6 x))
  (expm1 (* 3 x))
  (+ 1 (exp (* 3 x)))
  (real->posit16 (+ 1 (exp (* 3 x))))
  (- (fma (exp x) (exp x) 1) (exp x))
  0
  (- (fma (exp x) (exp x) 1) (exp x))
  0
  (- (fma (exp x) (exp x) 1) (exp x))
  0
  (- (fma (exp x) (exp x) 1) (exp x))
  0
  (- (fma (exp x) (exp x) 1) (exp x))
  0
  (- (fma (exp x) (exp x) 1) (exp x))
  0
  (- (fma (exp x) (exp x) 1) (exp x))
  0
  (- (fma (exp x) (exp x) 1) (exp x))
  0
  (- (fma (exp x) (exp x) 1) (exp x))
  0
  (expm1 (- (fma (exp x) (exp x) 1) (exp x)))
  (log1p (- (fma (exp x) (exp x) 1) (exp x)))
  (- (exp x))
  (- (exp x))
  (- (exp x))
  (exp (- (fma (exp x) (exp x) 1) (exp x)))
  (log (- (fma (exp x) (exp x) 1) (exp x)))
  (exp (- (fma (exp x) (exp x) 1) (exp x)))
  (* (cbrt (- (fma (exp x) (exp x) 1) (exp x))) (cbrt (- (fma (exp x) (exp x) 1) (exp x))))
  (cbrt (- (fma (exp x) (exp x) 1) (exp x)))
  (* (* (- (fma (exp x) (exp x) 1) (exp x)) (- (fma (exp x) (exp x) 1) (exp x))) (- (fma (exp x) (exp x) 1) (exp x)))
  (sqrt (- (fma (exp x) (exp x) 1) (exp x)))
  (sqrt (- (fma (exp x) (exp x) 1) (exp x)))
  (fma (* (- (exp x)) (exp x)) (exp x) (* (* (fma (exp x) (exp x) 1) (fma (exp x) (exp x) 1)) (fma (exp x) (exp x) 1)))
  (fma (fma (exp x) (exp x) 1) (exp x) (fma (exp x) (exp x) (* (fma (exp x) (exp x) 1) (fma (exp x) (exp x) 1))))
  (- (exp x))
  (- (* (fma (exp x) (exp x) 1) (fma (exp x) (exp x) 1)) (* (exp x) (exp x)))
  (fma (exp x) (exp x) (+ 1 (exp x)))
  (+ (hypot 1 (exp x)) (sqrt (exp x)))
  (- (hypot 1 (exp x)) (sqrt (exp x)))
  (- (fma (exp x) (exp x) 1) (exp x))
  (- 1 (exp x))
  (- (exp x))
  (real->posit16 (- (fma (exp x) (exp x) 1) (exp x)))
  (expm1 (fma (exp x) (exp x) 1))
  (log1p (fma (exp x) (exp x) 1))
  (* (exp x) (exp x))
  (log (fma (exp x) (exp x) 1))
  (exp (fma (exp x) (exp x) 1))
  (* (cbrt (fma (exp x) (exp x) 1)) (cbrt (fma (exp x) (exp x) 1)))
  (cbrt (fma (exp x) (exp x) 1))
  (* (* (fma (exp x) (exp x) 1) (fma (exp x) (exp x) 1)) (fma (exp x) (exp x) 1))
  (hypot 1 (exp x))
  (hypot 1 (exp x))
  (real->posit16 (fma (exp x) (exp x) 1))
  (fma x (fma x 9/2 3) 1)
  (exp (* 3 x))
  (exp (* 3 x))
  (fma x (fma x 9/2 3) 2)
  (+ 1 (exp (* 3 x)))
  (+ 1 (exp (* 3 x)))
  (fma (fma 3/2 x 1) x 1)
  (- (fma (exp x) (exp x) 1) (exp x))
  (- (fma (exp x) (exp x) 1) (exp x))
  (fma x (fma 2 x 2) 2)
  (fma (exp x) (exp x) 1)
  (fma (exp x) (exp x) 1)
26.655 * * * [progress]: adding candidates to table
27.514 * [progress]: [Phase 3 of 3] Extracting.
27.514 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (sqrt (exp (log1p (exp x)))))> #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>)
27.516 * * * [regime-changes]: Trying 1 branch expressions: (x)
27.516 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (sqrt (exp (log1p (exp x)))))> #<alt (λ (x) (sqrt (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)))))>)
27.551 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
27.552 * [simplify]: Simplifying:
  (sqrt (exp (log1p (exp x))))
27.552 * * [simplify]: iteration 1: (5 enodes)
27.552 * * [simplify]: Extracting #0: cost 1 inf + 0
27.552 * * [simplify]: Extracting #1: cost 2 inf + 0
27.552 * * [simplify]: Extracting #2: cost 3 inf + 0
27.552 * * [simplify]: Extracting #3: cost 4 inf + 0
27.552 * * [simplify]: Extracting #4: cost 5 inf + 0
27.552 * * [simplify]: Extracting #5: cost 4 inf + 1
27.552 * * [simplify]: Extracting #6: cost 0 inf + 735
27.553 * [simplify]: Simplified to:
  (sqrt (exp (log1p (exp x))))
37.663 * [regime-testing]: Baseline error score: 0.05030152816501537
37.665 * [regime-testing]: Oracle error score: 0.040852226689740805
37.669 * [regime-testing]: End program error score: 0.05030152816501537