0.819 * [progress]: [Phase 1 of 3] Setting up.
0.004 * * * [progress]: [1/2] Preparing points
0.321 * * * [progress]: [2/2] Setting up program.
0.328 * [progress]: [Phase 2 of 3] Improving.
0.329 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))))>
0.331 * [simplify]: Simplifying:
  (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1)))
0.332 * * [simplify]: iteration 0: 10 enodes
0.342 * * [simplify]: iteration 1: 24 enodes
0.349 * * [simplify]: iteration 2: 30 enodes
0.358 * * [simplify]: iteration 3: 53 enodes
0.373 * * [simplify]: iteration 4: 108 enodes
0.458 * * [simplify]: iteration 5: 301 enodes
0.628 * * [simplify]: iteration 6: 894 enodes
1.467 * * [simplify]: iteration 7: 3702 enodes
2.432 * * [simplify]: iteration complete: 5000 enodes
2.432 * * [simplify]: Extracting #0: cost 1 inf + 0
2.432 * * [simplify]: Extracting #1: cost 4 inf + 0
2.433 * * [simplify]: Extracting #2: cost 158 inf + 1
2.435 * * [simplify]: Extracting #3: cost 535 inf + 6
2.442 * * [simplify]: Extracting #4: cost 684 inf + 13496
2.457 * * [simplify]: Extracting #5: cost 612 inf + 67721
2.515 * * [simplify]: Extracting #6: cost 266 inf + 293890
2.648 * * [simplify]: Extracting #7: cost 15 inf + 473744
2.808 * * [simplify]: Extracting #8: cost 0 inf + 472314
2.932 * * [simplify]: Extracting #9: cost 0 inf + 469615
3.065 * [simplify]: Simplified to:
  (sqrt (+ 1 (exp x)))
3.073 * * [progress]: iteration 1 / 4
3.073 * * * [progress]: picking best candidate
3.076 * * * * [pick]: Picked  #<alt (λ (x) (sqrt (+ 1 (exp x))))>
3.076 * * * [progress]: localizing error
3.087 * * * [progress]: generating rewritten candidates
3.087 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
3.096 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
3.108 * * * [progress]: generating series expansions
3.108 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
3.111 * [backup-simplify]: Simplify (+ 1 (exp x)) into (+ (exp x) 1)
3.111 * [approximate]: Taking taylor expansion of (+ (exp x) 1) in (x) around 0
3.112 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
3.112 * [taylor]: Taking taylor expansion of (exp x) in x
3.112 * [taylor]: Taking taylor expansion of x in x
3.112 * [backup-simplify]: Simplify 0 into 0
3.112 * [backup-simplify]: Simplify 1 into 1
3.112 * [backup-simplify]: Simplify (exp 0) into 1
3.112 * [taylor]: Taking taylor expansion of 1 in x
3.113 * [backup-simplify]: Simplify 1 into 1
3.113 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
3.113 * [taylor]: Taking taylor expansion of (exp x) in x
3.113 * [taylor]: Taking taylor expansion of x in x
3.113 * [backup-simplify]: Simplify 0 into 0
3.113 * [backup-simplify]: Simplify 1 into 1
3.113 * [backup-simplify]: Simplify (exp 0) into 1
3.113 * [taylor]: Taking taylor expansion of 1 in x
3.113 * [backup-simplify]: Simplify 1 into 1
3.114 * [backup-simplify]: Simplify (+ 1 1) into 2
3.114 * [backup-simplify]: Simplify 2 into 2
3.116 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.116 * [backup-simplify]: Simplify (+ 1 0) into 1
3.117 * [backup-simplify]: Simplify 1 into 1
3.129 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.130 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
3.131 * [backup-simplify]: Simplify 1/2 into 1/2
3.135 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2))
3.135 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
3.135 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0
3.135 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
3.135 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.135 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.135 * [taylor]: Taking taylor expansion of x in x
3.135 * [backup-simplify]: Simplify 0 into 0
3.135 * [backup-simplify]: Simplify 1 into 1
3.137 * [backup-simplify]: Simplify (/ 1 1) into 1
3.137 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.137 * [taylor]: Taking taylor expansion of 1 in x
3.137 * [backup-simplify]: Simplify 1 into 1
3.137 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
3.137 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.137 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.137 * [taylor]: Taking taylor expansion of x in x
3.137 * [backup-simplify]: Simplify 0 into 0
3.137 * [backup-simplify]: Simplify 1 into 1
3.138 * [backup-simplify]: Simplify (/ 1 1) into 1
3.138 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.138 * [taylor]: Taking taylor expansion of 1 in x
3.138 * [backup-simplify]: Simplify 1 into 1
3.138 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
3.138 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
3.139 * [backup-simplify]: Simplify (+ 0 0) into 0
3.139 * [backup-simplify]: Simplify 0 into 0
3.139 * [backup-simplify]: Simplify (+ 0 0) into 0
3.139 * [backup-simplify]: Simplify 0 into 0
3.140 * [backup-simplify]: Simplify (+ 0 0) into 0
3.140 * [backup-simplify]: Simplify 0 into 0
3.140 * [backup-simplify]: Simplify (+ 0 0) into 0
3.140 * [backup-simplify]: Simplify 0 into 0
3.141 * [backup-simplify]: Simplify (+ 0 0) into 0
3.141 * [backup-simplify]: Simplify 0 into 0
3.141 * [backup-simplify]: Simplify (+ 0 0) into 0
3.141 * [backup-simplify]: Simplify 0 into 0
3.142 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1)
3.142 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 (- x)))) into (+ (exp (/ -1 x)) 1)
3.142 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0
3.142 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
3.142 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.142 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.142 * [taylor]: Taking taylor expansion of -1 in x
3.142 * [backup-simplify]: Simplify -1 into -1
3.142 * [taylor]: Taking taylor expansion of x in x
3.142 * [backup-simplify]: Simplify 0 into 0
3.142 * [backup-simplify]: Simplify 1 into 1
3.143 * [backup-simplify]: Simplify (/ -1 1) into -1
3.143 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.143 * [taylor]: Taking taylor expansion of 1 in x
3.143 * [backup-simplify]: Simplify 1 into 1
3.143 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
3.143 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.143 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.143 * [taylor]: Taking taylor expansion of -1 in x
3.143 * [backup-simplify]: Simplify -1 into -1
3.143 * [taylor]: Taking taylor expansion of x in x
3.143 * [backup-simplify]: Simplify 0 into 0
3.143 * [backup-simplify]: Simplify 1 into 1
3.144 * [backup-simplify]: Simplify (/ -1 1) into -1
3.144 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.144 * [taylor]: Taking taylor expansion of 1 in x
3.144 * [backup-simplify]: Simplify 1 into 1
3.144 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
3.144 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
3.145 * [backup-simplify]: Simplify (+ 0 0) into 0
3.145 * [backup-simplify]: Simplify 0 into 0
3.145 * [backup-simplify]: Simplify (+ 0 0) into 0
3.145 * [backup-simplify]: Simplify 0 into 0
3.146 * [backup-simplify]: Simplify (+ 0 0) into 0
3.146 * [backup-simplify]: Simplify 0 into 0
3.146 * [backup-simplify]: Simplify (+ 0 0) into 0
3.146 * [backup-simplify]: Simplify 0 into 0
3.146 * [backup-simplify]: Simplify (+ 0 0) into 0
3.146 * [backup-simplify]: Simplify 0 into 0
3.147 * [backup-simplify]: Simplify (+ 0 0) into 0
3.147 * [backup-simplify]: Simplify 0 into 0
3.147 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1)
3.147 * * * * [progress]: [ 2 / 2 ] generating series at (2)
3.147 * [backup-simplify]: Simplify (sqrt (+ 1 (exp x))) into (sqrt (+ (exp x) 1))
3.147 * [approximate]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0
3.147 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
3.148 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
3.148 * [taylor]: Taking taylor expansion of (exp x) in x
3.148 * [taylor]: Taking taylor expansion of x in x
3.148 * [backup-simplify]: Simplify 0 into 0
3.148 * [backup-simplify]: Simplify 1 into 1
3.148 * [backup-simplify]: Simplify (exp 0) into 1
3.148 * [taylor]: Taking taylor expansion of 1 in x
3.148 * [backup-simplify]: Simplify 1 into 1
3.148 * [backup-simplify]: Simplify (+ 1 1) into 2
3.149 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
3.150 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.150 * [backup-simplify]: Simplify (+ 1 0) into 1
3.152 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
3.153 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
3.153 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
3.153 * [taylor]: Taking taylor expansion of (exp x) in x
3.153 * [taylor]: Taking taylor expansion of x in x
3.153 * [backup-simplify]: Simplify 0 into 0
3.153 * [backup-simplify]: Simplify 1 into 1
3.153 * [backup-simplify]: Simplify (exp 0) into 1
3.153 * [taylor]: Taking taylor expansion of 1 in x
3.153 * [backup-simplify]: Simplify 1 into 1
3.153 * [backup-simplify]: Simplify (+ 1 1) into 2
3.154 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
3.155 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.156 * [backup-simplify]: Simplify (+ 1 0) into 1
3.158 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
3.158 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
3.159 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2))
3.161 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.162 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
3.167 * [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.174 * [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.183 * [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.183 * [backup-simplify]: Simplify (sqrt (+ 1 (exp (/ 1 x)))) into (sqrt (+ (exp (/ 1 x)) 1))
3.183 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0
3.183 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
3.183 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
3.183 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.183 * [taylor]: Taking taylor expansion of x in x
3.183 * [backup-simplify]: Simplify 0 into 0
3.183 * [backup-simplify]: Simplify 1 into 1
3.184 * [backup-simplify]: Simplify (/ 1 1) into 1
3.184 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.184 * [taylor]: Taking taylor expansion of 1 in x
3.184 * [backup-simplify]: Simplify 1 into 1
3.184 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
3.184 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
3.184 * [backup-simplify]: Simplify (+ 0 0) into 0
3.185 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.185 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
3.185 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
3.185 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.185 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.185 * [taylor]: Taking taylor expansion of x in x
3.185 * [backup-simplify]: Simplify 0 into 0
3.185 * [backup-simplify]: Simplify 1 into 1
3.185 * [backup-simplify]: Simplify (/ 1 1) into 1
3.185 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.185 * [taylor]: Taking taylor expansion of 1 in x
3.185 * [backup-simplify]: Simplify 1 into 1
3.186 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
3.186 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
3.186 * [backup-simplify]: Simplify (+ 0 0) into 0
3.186 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.186 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
3.186 * [backup-simplify]: Simplify 0 into 0
3.187 * [backup-simplify]: Simplify (+ 0 0) into 0
3.188 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.188 * [backup-simplify]: Simplify 0 into 0
3.188 * [backup-simplify]: Simplify (+ 0 0) into 0
3.189 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.189 * [backup-simplify]: Simplify 0 into 0
3.190 * [backup-simplify]: Simplify (+ 0 0) into 0
3.191 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.191 * [backup-simplify]: Simplify 0 into 0
3.191 * [backup-simplify]: Simplify (+ 0 0) into 0
3.192 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.192 * [backup-simplify]: Simplify 0 into 0
3.193 * [backup-simplify]: Simplify (+ 0 0) into 0
3.194 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.194 * [backup-simplify]: Simplify 0 into 0
3.194 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1))
3.194 * [backup-simplify]: Simplify (sqrt (+ 1 (exp (/ 1 (- x))))) into (sqrt (+ (exp (/ -1 x)) 1))
3.194 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0
3.194 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
3.194 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
3.194 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.194 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.194 * [taylor]: Taking taylor expansion of -1 in x
3.194 * [backup-simplify]: Simplify -1 into -1
3.194 * [taylor]: Taking taylor expansion of x in x
3.194 * [backup-simplify]: Simplify 0 into 0
3.194 * [backup-simplify]: Simplify 1 into 1
3.195 * [backup-simplify]: Simplify (/ -1 1) into -1
3.195 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.195 * [taylor]: Taking taylor expansion of 1 in x
3.195 * [backup-simplify]: Simplify 1 into 1
3.195 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
3.195 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
3.196 * [backup-simplify]: Simplify (+ 0 0) into 0
3.196 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.196 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
3.196 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
3.196 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.196 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.196 * [taylor]: Taking taylor expansion of -1 in x
3.196 * [backup-simplify]: Simplify -1 into -1
3.196 * [taylor]: Taking taylor expansion of x in x
3.196 * [backup-simplify]: Simplify 0 into 0
3.196 * [backup-simplify]: Simplify 1 into 1
3.197 * [backup-simplify]: Simplify (/ -1 1) into -1
3.197 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.197 * [taylor]: Taking taylor expansion of 1 in x
3.197 * [backup-simplify]: Simplify 1 into 1
3.197 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
3.197 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
3.197 * [backup-simplify]: Simplify (+ 0 0) into 0
3.198 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.198 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
3.198 * [backup-simplify]: Simplify 0 into 0
3.198 * [backup-simplify]: Simplify (+ 0 0) into 0
3.199 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.199 * [backup-simplify]: Simplify 0 into 0
3.199 * [backup-simplify]: Simplify (+ 0 0) into 0
3.200 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.200 * [backup-simplify]: Simplify 0 into 0
3.201 * [backup-simplify]: Simplify (+ 0 0) into 0
3.202 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.202 * [backup-simplify]: Simplify 0 into 0
3.202 * [backup-simplify]: Simplify (+ 0 0) into 0
3.203 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.204 * [backup-simplify]: Simplify 0 into 0
3.204 * [backup-simplify]: Simplify (+ 0 0) into 0
3.205 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.205 * [backup-simplify]: Simplify 0 into 0
3.205 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1))
3.205 * * * [progress]: simplifying candidates
3.205 * * * * [progress]: [ 1 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (log1p (expm1 (+ 1 (exp x))))))>
3.206 * * * * [progress]: [ 2 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (expm1 (log1p (+ 1 (exp x))))))>
3.206 * * * * [progress]: [ 3 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (exp x))))>
3.206 * * * * [progress]: [ 4 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (fma (sqrt 1) (sqrt 1) (exp x))))>
3.206 * * * * [progress]: [ 5 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (fma 1 1 (exp x))))>
3.206 * * * * [progress]: [ 6 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (log (* (exp 1) (exp (exp x))))))>
3.206 * * * * [progress]: [ 7 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (+ 1 (exp x)) 1)))>
3.206 * * * * [progress]: [ 8 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (+ 1 (exp x))))))>
3.206 * * * * [progress]: [ 9 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (log (exp (+ 1 (exp x))))))>
3.206 * * * * [progress]: [ 10 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (* (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x)))) (cbrt (+ 1 (exp x))))))>
3.206 * * * * [progress]: [ 11 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))))>
3.206 * * * * [progress]: [ 12 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x))))))>
3.207 * * * * [progress]: [ 13 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow 1 3) (pow (exp x) 3)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))>
3.207 * * * * [progress]: [ 14 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (* 1 (+ 1 (exp x)))))>
3.207 * * * * [progress]: [ 15 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (- (* 1 1) (* (exp x) (exp x))) (- 1 (exp x)))))>
3.207 * * * * [progress]: [ 16 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (* 1 (+ 1 (exp x)))))>
3.207 * * * * [progress]: [ 17 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (posit16->real (real->posit16 (+ 1 (exp x))))))>
3.207 * * * * [progress]: [ 18 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
3.207 * * * * [progress]: [ 19 / 46 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (sqrt (+ 1 (exp x))))))>
3.207 * * * * [progress]: [ 20 / 46 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (sqrt (+ 1 (exp x))))))>
3.207 * * * * [progress]: [ 21 / 46 ] simplifiying candidate #<alt (λ (x) (hypot (sqrt 1) (sqrt (exp x))))>
3.207 * * * * [progress]: [ 22 / 46 ] simplifiying candidate #<alt (λ (x) (hypot 1 (sqrt (exp x))))>
3.207 * * * * [progress]: [ 23 / 46 ] simplifiying candidate #<alt (λ (x) (hypot 1 (sqrt (exp x))))>
3.207 * * * * [progress]: [ 24 / 46 ] simplifiying candidate #<alt (λ (x) (pow (+ 1 (exp x)) 1/2))>
3.207 * * * * [progress]: [ 25 / 46 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (+ 1 (exp x))) 1))>
3.207 * * * * [progress]: [ 26 / 46 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (+ 1 (exp x))))))>
3.207 * * * * [progress]: [ 27 / 46 ] simplifiying candidate #<alt (λ (x) (log (exp (sqrt (+ 1 (exp x))))))>
3.207 * * * * [progress]: [ 28 / 46 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (+ 1 (exp x)))) (cbrt (sqrt (+ 1 (exp x))))) (cbrt (sqrt (+ 1 (exp x))))))>
3.208 * * * * [progress]: [ 29 / 46 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x)))) (sqrt (+ 1 (exp x))))))>
3.208 * * * * [progress]: [ 30 / 46 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x))))) (sqrt (cbrt (+ 1 (exp x))))))>
3.208 * * * * [progress]: [ 31 / 46 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))>
3.208 * * * * [progress]: [ 32 / 46 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (sqrt (+ 1 (exp x)))))>
3.208 * * * * [progress]: [ 33 / 46 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (sqrt (+ 1 (exp x)))))>
3.208 * * * * [progress]: [ 34 / 46 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow 1 3) (pow (exp x) 3))) (sqrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))>
3.208 * * * * [progress]: [ 35 / 46 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (- (* 1 1) (* (exp x) (exp x)))) (sqrt (- 1 (exp x)))))>
3.208 * * * * [progress]: [ 36 / 46 ] simplifiying candidate #<alt (λ (x) (pow (+ 1 (exp x)) (/ 1 2)))>
3.208 * * * * [progress]: [ 37 / 46 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))>
3.208 * * * * [progress]: [ 38 / 46 ] simplifiying candidate #<alt (λ (x) (fabs (sqrt (+ 1 (exp x)))))>
3.208 * * * * [progress]: [ 39 / 46 ] simplifiying candidate #<alt (λ (x) (* 1 (sqrt (+ 1 (exp x)))))>
3.208 * * * * [progress]: [ 40 / 46 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (sqrt (+ 1 (exp x))))))>
3.208 * * * * [progress]: [ 41 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (+ x (+ (* 1/2 (pow x 2)) 2))))>
3.208 * * * * [progress]: [ 42 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
3.208 * * * * [progress]: [ 43 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
3.208 * * * * [progress]: [ 44 / 46 ] 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.208 * * * * [progress]: [ 45 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
3.209 * * * * [progress]: [ 46 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
3.209 * [simplify]: Simplifying:
  (expm1 (+ 1 (exp x)))
  (log1p (+ 1 (exp x)))
  (* (exp 1) (exp (exp x)))
  (log (+ 1 (exp x)))
  (exp (+ 1 (exp x)))
  (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x))))
  (cbrt (+ 1 (exp x)))
  (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))
  (sqrt (+ 1 (exp x)))
  (sqrt (+ 1 (exp x)))
  (+ (pow 1 3) (pow (exp x) 3))
  (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))
  (- (* 1 1) (* (exp x) (exp x)))
  (- 1 (exp x))
  (+ 1 (exp x))
  (real->posit16 (+ 1 (exp x)))
  (expm1 (sqrt (+ 1 (exp x))))
  (log1p (sqrt (+ 1 (exp x))))
  (log (sqrt (+ 1 (exp x))))
  (exp (sqrt (+ 1 (exp x))))
  (* (cbrt (sqrt (+ 1 (exp x)))) (cbrt (sqrt (+ 1 (exp x)))))
  (cbrt (sqrt (+ 1 (exp x))))
  (* (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x)))) (sqrt (+ 1 (exp x))))
  (sqrt (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x)))))
  (sqrt (cbrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt 1)
  (sqrt (+ 1 (exp x)))
  (sqrt 1)
  (sqrt (+ 1 (exp x)))
  (sqrt (+ (pow 1 3) (pow (exp x) 3)))
  (sqrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))
  (sqrt (- (* 1 1) (* (exp x) (exp x))))
  (sqrt (- 1 (exp x)))
  (/ 1 2)
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (real->posit16 (sqrt (+ 1 (exp x))))
  (+ x (+ (* 1/2 (pow x 2)) 2))
  (+ (exp x) 1)
  (+ (exp x) 1)
  (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
3.211 * * [simplify]: iteration 0: 67 enodes
3.240 * * [simplify]: iteration 1: 156 enodes
3.323 * * [simplify]: iteration 2: 461 enodes
3.575 * * [simplify]: iteration 3: 1297 enodes
4.548 * * [simplify]: iteration 4: 3721 enodes
5.416 * * [simplify]: iteration complete: 5000 enodes
5.416 * * [simplify]: Extracting #0: cost 33 inf + 0
5.417 * * [simplify]: Extracting #1: cost 246 inf + 2
5.424 * * [simplify]: Extracting #2: cost 561 inf + 4824
5.436 * * [simplify]: Extracting #3: cost 429 inf + 36829
5.474 * * [simplify]: Extracting #4: cost 131 inf + 104635
5.517 * * [simplify]: Extracting #5: cost 2 inf + 144681
5.561 * * [simplify]: Extracting #6: cost 0 inf + 144624
5.617 * [simplify]: Simplified to:
  (expm1 (+ (exp x) 1))
  (log1p (+ (exp x) 1))
  (* (exp (exp x)) E)
  (log1p (exp x))
  (* (exp (exp x)) E)
  (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))
  (cbrt (+ (exp x) 1))
  (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (+ (exp (* 3 x)) 1)
  (- (fma (exp x) (exp x) 1) (exp x))
  (- 1 (* (exp x) (exp x)))
  (- (expm1 x))
  (+ (exp x) 1)
  (real->posit16 (+ (exp x) 1))
  (expm1 (sqrt (+ (exp x) 1)))
  (log1p (sqrt (+ (exp x) 1)))
  (log (sqrt (+ (exp x) 1)))
  (exp (sqrt (+ (exp x) 1)))
  (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1))))
  (cbrt (sqrt (+ (exp x) 1)))
  (* (sqrt (+ (exp x) 1)) (+ (exp x) 1))
  (fabs (cbrt (+ (exp x) 1)))
  (sqrt (cbrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  1
  (sqrt (+ (exp x) 1))
  1
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp (* 3 x)) 1))
  (sqrt (- (fma (exp x) (exp x) 1) (exp x)))
  (sqrt (- 1 (* (exp x) (exp x))))
  (sqrt (- (expm1 x)))
  1/2
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (real->posit16 (sqrt (+ (exp x) 1)))
  (fma (fma 1/2 x 1) x 2)
  (+ (exp x) 1)
  (+ (exp x) 1)
  (fma (/ (* x x) (sqrt 2)) 3/16 (fma (/ x (sqrt 2)) 1/2 (sqrt 2)))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
5.619 * * * [progress]: adding candidates to table
5.832 * * [progress]: iteration 2 / 4
5.832 * * * [progress]: picking best candidate
5.835 * * * * [pick]: Picked  #<alt (λ (x) (hypot 1 (sqrt (exp x))))>
5.835 * * * [progress]: localizing error
5.843 * * * [progress]: generating rewritten candidates
5.843 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
5.851 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
5.852 * * * [progress]: generating series expansions
5.852 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
5.852 * [backup-simplify]: Simplify (sqrt (exp x)) into (sqrt (exp x))
5.852 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0
5.852 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
5.852 * [taylor]: Taking taylor expansion of (exp x) in x
5.852 * [taylor]: Taking taylor expansion of x in x
5.852 * [backup-simplify]: Simplify 0 into 0
5.852 * [backup-simplify]: Simplify 1 into 1
5.852 * [backup-simplify]: Simplify (exp 0) into 1
5.853 * [backup-simplify]: Simplify (sqrt 1) into 1
5.853 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.854 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
5.854 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
5.854 * [taylor]: Taking taylor expansion of (exp x) in x
5.854 * [taylor]: Taking taylor expansion of x in x
5.854 * [backup-simplify]: Simplify 0 into 0
5.854 * [backup-simplify]: Simplify 1 into 1
5.854 * [backup-simplify]: Simplify (exp 0) into 1
5.854 * [backup-simplify]: Simplify (sqrt 1) into 1
5.855 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.855 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
5.856 * [backup-simplify]: Simplify 1 into 1
5.856 * [backup-simplify]: Simplify 1/2 into 1/2
5.857 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.857 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8
5.857 * [backup-simplify]: Simplify 1/8 into 1/8
5.857 * [backup-simplify]: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1))
5.858 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x)))
5.858 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0
5.858 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
5.858 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.858 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.858 * [taylor]: Taking taylor expansion of x in x
5.858 * [backup-simplify]: Simplify 0 into 0
5.858 * [backup-simplify]: Simplify 1 into 1
5.858 * [backup-simplify]: Simplify (/ 1 1) into 1
5.858 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.858 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x)))
5.858 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0
5.858 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
5.859 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.859 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.859 * [taylor]: Taking taylor expansion of x in x
5.859 * [backup-simplify]: Simplify 0 into 0
5.859 * [backup-simplify]: Simplify 1 into 1
5.859 * [backup-simplify]: Simplify (/ 1 1) into 1
5.859 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.859 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x)))
5.859 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0
5.859 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x)))
5.859 * [backup-simplify]: Simplify 0 into 0
5.860 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0
5.860 * [backup-simplify]: Simplify 0 into 0
5.862 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0
5.862 * [backup-simplify]: Simplify 0 into 0
5.862 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0
5.863 * [backup-simplify]: Simplify 0 into 0
5.863 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0
5.863 * [backup-simplify]: Simplify 0 into 0
5.864 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0
5.864 * [backup-simplify]: Simplify 0 into 0
5.864 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 x)))) into (sqrt (exp x))
5.864 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (- x)))) into (sqrt (exp (/ -1 x)))
5.864 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0
5.864 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
5.864 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.864 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.864 * [taylor]: Taking taylor expansion of -1 in x
5.864 * [backup-simplify]: Simplify -1 into -1
5.864 * [taylor]: Taking taylor expansion of x in x
5.864 * [backup-simplify]: Simplify 0 into 0
5.864 * [backup-simplify]: Simplify 1 into 1
5.865 * [backup-simplify]: Simplify (/ -1 1) into -1
5.865 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.865 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x)))
5.865 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0
5.865 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
5.865 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.865 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.865 * [taylor]: Taking taylor expansion of -1 in x
5.865 * [backup-simplify]: Simplify -1 into -1
5.865 * [taylor]: Taking taylor expansion of x in x
5.865 * [backup-simplify]: Simplify 0 into 0
5.865 * [backup-simplify]: Simplify 1 into 1
5.865 * [backup-simplify]: Simplify (/ -1 1) into -1
5.865 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.865 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x)))
5.866 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0
5.866 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x)))
5.866 * [backup-simplify]: Simplify 0 into 0
5.866 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0
5.866 * [backup-simplify]: Simplify 0 into 0
5.867 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0
5.867 * [backup-simplify]: Simplify 0 into 0
5.868 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0
5.868 * [backup-simplify]: Simplify 0 into 0
5.868 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0
5.868 * [backup-simplify]: Simplify 0 into 0
5.869 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0
5.869 * [backup-simplify]: Simplify 0 into 0
5.869 * [backup-simplify]: Simplify (sqrt (exp (/ -1 (/ 1 (- x))))) into (sqrt (exp x))
5.869 * * * * [progress]: [ 2 / 2 ] generating series at (2)
5.869 * [backup-simplify]: Simplify (hypot 1 (sqrt (exp x))) into (hypot 1 (sqrt (exp x)))
5.869 * [approximate]: Taking taylor expansion of (hypot 1 (sqrt (exp x))) in (x) around 0
5.869 * [taylor]: Taking taylor expansion of (hypot 1 (sqrt (exp x))) in x
5.870 * [taylor]: Rewrote expression to (sqrt (+ (* 1 1) (* (sqrt (exp x)) (sqrt (exp x)))))
5.870 * [taylor]: Taking taylor expansion of (+ (* 1 1) (* (sqrt (exp x)) (sqrt (exp x)))) in x
5.870 * [taylor]: Taking taylor expansion of (* 1 1) in x
5.870 * [taylor]: Taking taylor expansion of 1 in x
5.870 * [backup-simplify]: Simplify 1 into 1
5.871 * [taylor]: Taking taylor expansion of 1 in x
5.871 * [backup-simplify]: Simplify 1 into 1
5.871 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x
5.871 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
5.871 * [taylor]: Taking taylor expansion of (exp x) in x
5.871 * [taylor]: Taking taylor expansion of x in x
5.871 * [backup-simplify]: Simplify 0 into 0
5.871 * [backup-simplify]: Simplify 1 into 1
5.871 * [backup-simplify]: Simplify (exp 0) into 1
5.871 * [backup-simplify]: Simplify (sqrt 1) into 1
5.872 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.872 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
5.872 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
5.872 * [taylor]: Taking taylor expansion of (exp x) in x
5.872 * [taylor]: Taking taylor expansion of x in x
5.872 * [backup-simplify]: Simplify 0 into 0
5.872 * [backup-simplify]: Simplify 1 into 1
5.872 * [backup-simplify]: Simplify (exp 0) into 1
5.872 * [backup-simplify]: Simplify (sqrt 1) into 1
5.873 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.873 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
5.874 * [backup-simplify]: Simplify (* 1 1) into 1
5.874 * [backup-simplify]: Simplify (* 1 1) into 1
5.874 * [backup-simplify]: Simplify (+ 1 1) into 2
5.874 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
5.875 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.875 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 1/2 1)) into 1
5.875 * [backup-simplify]: Simplify (+ 0 1) into 1
5.876 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
5.876 * [taylor]: Taking taylor expansion of (hypot 1 (sqrt (exp x))) in x
5.876 * [taylor]: Rewrote expression to (sqrt (+ (* 1 1) (* (sqrt (exp x)) (sqrt (exp x)))))
5.876 * [taylor]: Taking taylor expansion of (+ (* 1 1) (* (sqrt (exp x)) (sqrt (exp x)))) in x
5.877 * [taylor]: Taking taylor expansion of (* 1 1) in x
5.877 * [taylor]: Taking taylor expansion of 1 in x
5.877 * [backup-simplify]: Simplify 1 into 1
5.877 * [taylor]: Taking taylor expansion of 1 in x
5.877 * [backup-simplify]: Simplify 1 into 1
5.877 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x
5.877 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
5.877 * [taylor]: Taking taylor expansion of (exp x) in x
5.877 * [taylor]: Taking taylor expansion of x in x
5.877 * [backup-simplify]: Simplify 0 into 0
5.877 * [backup-simplify]: Simplify 1 into 1
5.877 * [backup-simplify]: Simplify (exp 0) into 1
5.877 * [backup-simplify]: Simplify (sqrt 1) into 1
5.878 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.878 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
5.878 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
5.878 * [taylor]: Taking taylor expansion of (exp x) in x
5.878 * [taylor]: Taking taylor expansion of x in x
5.878 * [backup-simplify]: Simplify 0 into 0
5.878 * [backup-simplify]: Simplify 1 into 1
5.879 * [backup-simplify]: Simplify (exp 0) into 1
5.879 * [backup-simplify]: Simplify (sqrt 1) into 1
5.880 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.881 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
5.881 * [backup-simplify]: Simplify (* 1 1) into 1
5.881 * [backup-simplify]: Simplify (* 1 1) into 1
5.882 * [backup-simplify]: Simplify (+ 1 1) into 2
5.882 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
5.883 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.883 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 1/2 1)) into 1
5.884 * [backup-simplify]: Simplify (+ 0 1) into 1
5.885 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
5.886 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
5.887 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2))
5.888 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.889 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.890 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8
5.892 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.893 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8
5.894 * [backup-simplify]: Simplify (+ (* 1 1/8) (+ (* 1/2 1/2) (* 1/8 1))) into 1/2
5.894 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
5.899 * [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)))
5.906 * [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)))
5.914 * [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))))
5.914 * [backup-simplify]: Simplify (hypot 1 (sqrt (exp (/ 1 x)))) into (hypot 1 (sqrt (exp (/ 1 x))))
5.915 * [approximate]: Taking taylor expansion of (hypot 1 (sqrt (exp (/ 1 x)))) in (x) around 0
5.915 * [taylor]: Taking taylor expansion of (hypot 1 (sqrt (exp (/ 1 x)))) in x
5.915 * [taylor]: Rewrote expression to (sqrt (+ (* 1 1) (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))))))
5.915 * [taylor]: Taking taylor expansion of (+ (* 1 1) (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))))) in x
5.915 * [taylor]: Taking taylor expansion of (* 1 1) in x
5.915 * [taylor]: Taking taylor expansion of 1 in x
5.915 * [backup-simplify]: Simplify 1 into 1
5.915 * [taylor]: Taking taylor expansion of 1 in x
5.915 * [backup-simplify]: Simplify 1 into 1
5.915 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x
5.915 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
5.915 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.915 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.915 * [taylor]: Taking taylor expansion of x in x
5.915 * [backup-simplify]: Simplify 0 into 0
5.915 * [backup-simplify]: Simplify 1 into 1
5.915 * [backup-simplify]: Simplify (/ 1 1) into 1
5.915 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.916 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x)))
5.916 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0
5.916 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
5.916 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.916 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.916 * [taylor]: Taking taylor expansion of x in x
5.916 * [backup-simplify]: Simplify 0 into 0
5.916 * [backup-simplify]: Simplify 1 into 1
5.916 * [backup-simplify]: Simplify (/ 1 1) into 1
5.916 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.916 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x)))
5.916 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0
5.917 * [backup-simplify]: Simplify (* 1 1) into 1
5.917 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) into (exp (/ 1 x))
5.917 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
5.917 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
5.918 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.918 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (* 0 (sqrt (exp (/ 1 x))))) into 0
5.918 * [backup-simplify]: Simplify (+ 0 0) into 0
5.919 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
5.919 * [taylor]: Taking taylor expansion of (hypot 1 (sqrt (exp (/ 1 x)))) in x
5.919 * [taylor]: Rewrote expression to (sqrt (+ (* 1 1) (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))))))
5.919 * [taylor]: Taking taylor expansion of (+ (* 1 1) (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))))) in x
5.919 * [taylor]: Taking taylor expansion of (* 1 1) in x
5.919 * [taylor]: Taking taylor expansion of 1 in x
5.919 * [backup-simplify]: Simplify 1 into 1
5.919 * [taylor]: Taking taylor expansion of 1 in x
5.919 * [backup-simplify]: Simplify 1 into 1
5.919 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x
5.919 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
5.919 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.919 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.919 * [taylor]: Taking taylor expansion of x in x
5.919 * [backup-simplify]: Simplify 0 into 0
5.919 * [backup-simplify]: Simplify 1 into 1
5.920 * [backup-simplify]: Simplify (/ 1 1) into 1
5.920 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.920 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x)))
5.920 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0
5.920 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
5.920 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.920 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.920 * [taylor]: Taking taylor expansion of x in x
5.920 * [backup-simplify]: Simplify 0 into 0
5.920 * [backup-simplify]: Simplify 1 into 1
5.920 * [backup-simplify]: Simplify (/ 1 1) into 1
5.920 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.920 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x)))
5.921 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0
5.921 * [backup-simplify]: Simplify (* 1 1) into 1
5.921 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) into (exp (/ 1 x))
5.921 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
5.921 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
5.922 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.922 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (* 0 (sqrt (exp (/ 1 x))))) into 0
5.923 * [backup-simplify]: Simplify (+ 0 0) into 0
5.923 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
5.923 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
5.923 * [backup-simplify]: Simplify 0 into 0
5.924 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.925 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0
5.925 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0
5.926 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))) into 0
5.926 * [backup-simplify]: Simplify (+ 0 0) into 0
5.927 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
5.927 * [backup-simplify]: Simplify 0 into 0
5.929 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.929 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0
5.930 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0
5.931 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x))))))) into 0
5.932 * [backup-simplify]: Simplify (+ 0 0) into 0
5.933 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
5.933 * [backup-simplify]: Simplify 0 into 0
5.934 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.935 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0
5.936 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0
5.937 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))))) into 0
5.938 * [backup-simplify]: Simplify (+ 0 0) into 0
5.939 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
5.939 * [backup-simplify]: Simplify 0 into 0
5.941 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.941 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0
5.942 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0
5.944 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x))))))))) into 0
5.944 * [backup-simplify]: Simplify (+ 0 0) into 0
5.945 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
5.945 * [backup-simplify]: Simplify 0 into 0
5.947 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.948 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0
5.949 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0
5.951 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))))))) into 0
5.952 * [backup-simplify]: Simplify (+ 0 0) into 0
5.953 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
5.953 * [backup-simplify]: Simplify 0 into 0
5.953 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1))
5.953 * [backup-simplify]: Simplify (hypot 1 (sqrt (exp (/ 1 (- x))))) into (hypot 1 (sqrt (exp (/ -1 x))))
5.953 * [approximate]: Taking taylor expansion of (hypot 1 (sqrt (exp (/ -1 x)))) in (x) around 0
5.953 * [taylor]: Taking taylor expansion of (hypot 1 (sqrt (exp (/ -1 x)))) in x
5.953 * [taylor]: Rewrote expression to (sqrt (+ (* 1 1) (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))))))
5.953 * [taylor]: Taking taylor expansion of (+ (* 1 1) (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))))) in x
5.953 * [taylor]: Taking taylor expansion of (* 1 1) in x
5.953 * [taylor]: Taking taylor expansion of 1 in x
5.953 * [backup-simplify]: Simplify 1 into 1
5.953 * [taylor]: Taking taylor expansion of 1 in x
5.954 * [backup-simplify]: Simplify 1 into 1
5.954 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x
5.954 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
5.954 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.954 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.954 * [taylor]: Taking taylor expansion of -1 in x
5.954 * [backup-simplify]: Simplify -1 into -1
5.954 * [taylor]: Taking taylor expansion of x in x
5.954 * [backup-simplify]: Simplify 0 into 0
5.954 * [backup-simplify]: Simplify 1 into 1
5.954 * [backup-simplify]: Simplify (/ -1 1) into -1
5.954 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.954 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x)))
5.955 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0
5.955 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
5.955 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.955 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.955 * [taylor]: Taking taylor expansion of -1 in x
5.955 * [backup-simplify]: Simplify -1 into -1
5.955 * [taylor]: Taking taylor expansion of x in x
5.955 * [backup-simplify]: Simplify 0 into 0
5.955 * [backup-simplify]: Simplify 1 into 1
5.955 * [backup-simplify]: Simplify (/ -1 1) into -1
5.955 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.955 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x)))
5.956 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0
5.956 * [backup-simplify]: Simplify (* 1 1) into 1
5.956 * [backup-simplify]: Simplify (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) into (exp (/ -1 x))
5.956 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
5.956 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
5.957 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.957 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (* 0 (sqrt (exp (/ -1 x))))) into 0
5.958 * [backup-simplify]: Simplify (+ 0 0) into 0
5.958 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
5.958 * [taylor]: Taking taylor expansion of (hypot 1 (sqrt (exp (/ -1 x)))) in x
5.958 * [taylor]: Rewrote expression to (sqrt (+ (* 1 1) (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))))))
5.958 * [taylor]: Taking taylor expansion of (+ (* 1 1) (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))))) in x
5.958 * [taylor]: Taking taylor expansion of (* 1 1) in x
5.958 * [taylor]: Taking taylor expansion of 1 in x
5.958 * [backup-simplify]: Simplify 1 into 1
5.958 * [taylor]: Taking taylor expansion of 1 in x
5.959 * [backup-simplify]: Simplify 1 into 1
5.959 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x
5.959 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
5.959 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.959 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.959 * [taylor]: Taking taylor expansion of -1 in x
5.959 * [backup-simplify]: Simplify -1 into -1
5.959 * [taylor]: Taking taylor expansion of x in x
5.959 * [backup-simplify]: Simplify 0 into 0
5.959 * [backup-simplify]: Simplify 1 into 1
5.959 * [backup-simplify]: Simplify (/ -1 1) into -1
5.959 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.959 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x)))
5.960 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0
5.960 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
5.960 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.960 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.960 * [taylor]: Taking taylor expansion of -1 in x
5.960 * [backup-simplify]: Simplify -1 into -1
5.960 * [taylor]: Taking taylor expansion of x in x
5.960 * [backup-simplify]: Simplify 0 into 0
5.960 * [backup-simplify]: Simplify 1 into 1
5.960 * [backup-simplify]: Simplify (/ -1 1) into -1
5.960 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.960 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x)))
5.961 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0
5.961 * [backup-simplify]: Simplify (* 1 1) into 1
5.961 * [backup-simplify]: Simplify (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) into (exp (/ -1 x))
5.961 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
5.961 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
5.962 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.962 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (* 0 (sqrt (exp (/ -1 x))))) into 0
5.963 * [backup-simplify]: Simplify (+ 0 0) into 0
5.963 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
5.963 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
5.963 * [backup-simplify]: Simplify 0 into 0
5.964 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.965 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0
5.965 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0
5.966 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))) into 0
5.966 * [backup-simplify]: Simplify (+ 0 0) into 0
5.967 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
5.967 * [backup-simplify]: Simplify 0 into 0
5.968 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.969 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0
5.970 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0
5.971 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x))))))) into 0
5.971 * [backup-simplify]: Simplify (+ 0 0) into 0
5.972 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
5.972 * [backup-simplify]: Simplify 0 into 0
5.974 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.975 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0
5.976 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0
5.977 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))))) into 0
5.977 * [backup-simplify]: Simplify (+ 0 0) into 0
5.978 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
5.978 * [backup-simplify]: Simplify 0 into 0
5.980 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.981 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0
5.981 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0
5.989 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x))))))))) into 0
5.989 * [backup-simplify]: Simplify (+ 0 0) into 0
5.990 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
5.990 * [backup-simplify]: Simplify 0 into 0
5.992 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.993 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0
5.994 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0
5.996 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))))))) into 0
5.997 * [backup-simplify]: Simplify (+ 0 0) into 0
5.998 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
5.998 * [backup-simplify]: Simplify 0 into 0
5.998 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1))
5.998 * * * [progress]: simplifying candidates
5.998 * * * * [progress]: [ 1 / 36 ] simplifiying candidate #<alt (λ (x) (hypot 1 (log1p (expm1 (sqrt (exp x))))))>
5.998 * * * * [progress]: [ 2 / 36 ] simplifiying candidate #<alt (λ (x) (hypot 1 (expm1 (log1p (sqrt (exp x))))))>
5.998 * * * * [progress]: [ 3 / 36 ] simplifiying candidate #<alt (λ (x) (hypot 1 (pow (exp x) 1/2)))>
5.999 * * * * [progress]: [ 4 / 36 ] simplifiying candidate #<alt (λ (x) (hypot 1 (pow (sqrt (exp x)) 1)))>
5.999 * * * * [progress]: [ 5 / 36 ] simplifiying candidate #<alt (λ (x) (hypot 1 (exp (log (sqrt (exp x))))))>
5.999 * * * * [progress]: [ 6 / 36 ] simplifiying candidate #<alt (λ (x) (hypot 1 (log (exp (sqrt (exp x))))))>
5.999 * * * * [progress]: [ 7 / 36 ] simplifiying candidate #<alt (λ (x) (hypot 1 (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))))>
5.999 * * * * [progress]: [ 8 / 36 ] simplifiying candidate #<alt (λ (x) (hypot 1 (cbrt (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))))))>
5.999 * * * * [progress]: [ 9 / 36 ] simplifiying candidate #<alt (λ (x) (hypot 1 (* (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (cbrt (exp x))))))>
5.999 * * * * [progress]: [ 10 / 36 ] simplifiying candidate #<alt (λ (x) (hypot 1 (* (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))))))>
5.999 * * * * [progress]: [ 11 / 36 ] simplifiying candidate #<alt (λ (x) (hypot 1 (* (sqrt 1) (sqrt (exp x)))))>
5.999 * * * * [progress]: [ 12 / 36 ] simplifiying candidate #<alt (λ (x) (hypot 1 (pow (exp x) (/ 1 2))))>
5.999 * * * * [progress]: [ 13 / 36 ] simplifiying candidate #<alt (λ (x) (hypot 1 (pow (exp (* (cbrt x) (cbrt x))) (/ (cbrt x) 2))))>
5.999 * * * * [progress]: [ 14 / 36 ] simplifiying candidate #<alt (λ (x) (hypot 1 (pow (exp (sqrt x)) (/ (sqrt x) 2))))>
5.999 * * * * [progress]: [ 15 / 36 ] simplifiying candidate #<alt (λ (x) (hypot 1 (pow (exp 1) (/ x 2))))>
5.999 * * * * [progress]: [ 16 / 36 ] simplifiying candidate #<alt (λ (x) (hypot 1 (* (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))))))>
5.999 * * * * [progress]: [ 17 / 36 ] simplifiying candidate #<alt (λ (x) (hypot 1 (fabs (sqrt (exp x)))))>
5.999 * * * * [progress]: [ 18 / 36 ] simplifiying candidate #<alt (λ (x) (hypot 1 (* 1 (sqrt (exp x)))))>
5.999 * * * * [progress]: [ 19 / 36 ] simplifiying candidate #<alt (λ (x) (hypot 1 (posit16->real (real->posit16 (sqrt (exp x))))))>
6.000 * * * * [progress]: [ 20 / 36 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (hypot 1 (sqrt (exp x))))))>
6.000 * * * * [progress]: [ 21 / 36 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (hypot 1 (sqrt (exp x))))))>
6.000 * * * * [progress]: [ 22 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (* 1 1) (* (sqrt (exp x)) (sqrt (exp x))))))>
6.000 * * * * [progress]: [ 23 / 36 ] simplifiying candidate #<alt (λ (x) (pow (hypot 1 (sqrt (exp x))) 1))>
6.000 * * * * [progress]: [ 24 / 36 ] simplifiying candidate #<alt (λ (x) (exp (log (hypot 1 (sqrt (exp x))))))>
6.000 * * * * [progress]: [ 25 / 36 ] simplifiying candidate #<alt (λ (x) (log (exp (hypot 1 (sqrt (exp x))))))>
6.000 * * * * [progress]: [ 26 / 36 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (hypot 1 (sqrt (exp x)))) (cbrt (hypot 1 (sqrt (exp x))))) (cbrt (hypot 1 (sqrt (exp x))))))>
6.000 * * * * [progress]: [ 27 / 36 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (hypot 1 (sqrt (exp x))) (hypot 1 (sqrt (exp x)))) (hypot 1 (sqrt (exp x))))))>
6.000 * * * * [progress]: [ 28 / 36 ] simplifiying candidate #<alt (λ (x) (* (sqrt (hypot 1 (sqrt (exp x)))) (sqrt (hypot 1 (sqrt (exp x))))))>
6.000 * * * * [progress]: [ 29 / 36 ] simplifiying candidate #<alt (λ (x) (* 1 (hypot 1 (sqrt (exp x)))))>
6.000 * * * * [progress]: [ 30 / 36 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (hypot 1 (sqrt (exp x))))))>
6.000 * * * * [progress]: [ 31 / 36 ] simplifiying candidate #<alt (λ (x) (hypot 1 (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1))))>
6.000 * * * * [progress]: [ 32 / 36 ] simplifiying candidate #<alt (λ (x) (hypot 1 (sqrt (exp x))))>
6.000 * * * * [progress]: [ 33 / 36 ] simplifiying candidate #<alt (λ (x) (hypot 1 (sqrt (exp x))))>
6.000 * * * * [progress]: [ 34 / 36 ] 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)))))>
6.000 * * * * [progress]: [ 35 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
6.000 * * * * [progress]: [ 36 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
6.001 * [simplify]: Simplifying:
  (expm1 (sqrt (exp x)))
  (log1p (sqrt (exp x)))
  (log (sqrt (exp x)))
  (exp (sqrt (exp x)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (cbrt (sqrt (exp x)))
  (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))
  (sqrt (* (cbrt (exp x)) (cbrt (exp x))))
  (sqrt (cbrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt 1)
  (sqrt (exp x))
  (/ 1 2)
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (/ x 2)
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (real->posit16 (sqrt (exp x)))
  (expm1 (hypot 1 (sqrt (exp x))))
  (log1p (hypot 1 (sqrt (exp x))))
  (+ (* 1 1) (* (sqrt (exp x)) (sqrt (exp x))))
  (log (hypot 1 (sqrt (exp x))))
  (exp (hypot 1 (sqrt (exp x))))
  (* (cbrt (hypot 1 (sqrt (exp x)))) (cbrt (hypot 1 (sqrt (exp x)))))
  (cbrt (hypot 1 (sqrt (exp x))))
  (* (* (hypot 1 (sqrt (exp x))) (hypot 1 (sqrt (exp x)))) (hypot 1 (sqrt (exp x))))
  (sqrt (hypot 1 (sqrt (exp x))))
  (sqrt (hypot 1 (sqrt (exp x))))
  (real->posit16 (hypot 1 (sqrt (exp x))))
  (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1))
  (sqrt (exp x))
  (sqrt (exp x))
  (- (+ (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))
6.002 * * [simplify]: iteration 0: 61 enodes
6.016 * * [simplify]: iteration 1: 104 enodes
6.039 * * [simplify]: iteration 2: 232 enodes
6.143 * * [simplify]: iteration 3: 666 enodes
6.751 * * [simplify]: iteration 4: 2694 enodes
7.549 * * [simplify]: iteration complete: 5010 enodes
7.549 * * [simplify]: Extracting #0: cost 30 inf + 0
7.550 * * [simplify]: Extracting #1: cost 210 inf + 2
7.554 * * [simplify]: Extracting #2: cost 925 inf + 3391
7.570 * * [simplify]: Extracting #3: cost 915 inf + 54515
7.662 * * [simplify]: Extracting #4: cost 250 inf + 268966
7.761 * * [simplify]: Extracting #5: cost 11 inf + 358708
7.847 * * [simplify]: Extracting #6: cost 0 inf + 361702
7.939 * [simplify]: Simplified to:
  (expm1 (sqrt (exp x)))
  (log1p (sqrt (exp x)))
  (log (sqrt (exp x)))
  (exp (sqrt (exp x)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (cbrt (sqrt (exp x)))
  (* (sqrt (exp x)) (exp x))
  (fabs (cbrt (exp x)))
  (sqrt (cbrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  1
  (sqrt (exp x))
  1/2
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (* x 1/2)
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (real->posit16 (sqrt (exp x)))
  (expm1 (sqrt (+ (exp x) 1)))
  (log1p (sqrt (+ (exp x) 1)))
  (+ (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)) (+ (exp x) 1))
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (real->posit16 (sqrt (+ (exp x) 1)))
  (fma x (fma x 1/8 1/2) 1)
  (sqrt (exp x))
  (sqrt (exp x))
  (fma (/ 1/2 (sqrt 2)) x (fma (/ (* x x) (sqrt 2)) 3/16 (sqrt 2)))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
7.940 * * * [progress]: adding candidates to table
8.075 * [progress]: [Phase 3 of 3] Extracting.
8.075 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (hypot 1 (sqrt (exp x))))> #<alt (λ (x) (sqrt (+ 1 (exp x))))>)
8.076 * * * [regime-changes]: Trying 1 branch expressions: (x)
8.076 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (hypot 1 (sqrt (exp x))))> #<alt (λ (x) (sqrt (+ 1 (exp x))))>)
8.094 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
8.094 * [simplify]: Simplifying:
  (sqrt (+ 1 (exp x)))
8.094 * * [simplify]: iteration 0: 5 enodes
8.095 * * [simplify]: iteration 1: 8 enodes
8.095 * * [simplify]: iteration complete: 8 enodes
8.095 * * [simplify]: Extracting #0: cost 1 inf + 0
8.095 * * [simplify]: Extracting #1: cost 2 inf + 0
8.095 * * [simplify]: Extracting #2: cost 4 inf + 0
8.095 * * [simplify]: Extracting #3: cost 4 inf + 1
8.095 * * [simplify]: Extracting #4: cost 0 inf + 337
8.095 * [simplify]: Simplified to:
  (sqrt (+ 1 (exp x)))
16.044 * [regime-testing]: Baseline error score: 0.04203748972707878
16.048 * [regime-testing]: Oracle error score: 0.03528664587159685
16.058 * [regime-testing]: End program error score: 0.04203748972707878