38.840 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.032 * * * [progress]: [2/2] Setting up program.
0.038 * [progress]: [Phase 2 of 3] Improving.
0.038 * [simplify]: Simplifying:
  (- (sqrt (+ x 1.0)) (sqrt x))
0.039 * * [simplify]: Extracting # 0 : cost  1  inf +  0
0.039 * * [simplify]: Extracting # 1 : cost  3  inf +  0
0.039 * * [simplify]: Extracting # 2 : cost  5  inf +  0
0.039 * * [simplify]: Extracting # 3 : cost  5  inf +  1
0.039 * * [simplify]: Extracting # 4 : cost  0  inf +  329
0.039 * * [simplify]: iteration  0 :  6  enodes  (cost  162 )
0.041 * * [simplify]: Extracting # 0 : cost  0  inf +  329
0.041 * * [simplify]: Extracting # 1 : cost  1  inf +  329
0.041 * * [simplify]: Extracting # 2 : cost  0  inf +  410
0.041 * * [simplify]: iteration  1 :  9  enodes  (cost  162 )
0.043 * * [simplify]: Extracting # 0 : cost  0  inf +  410
0.044 * * [simplify]: iteration  2 :  10  enodes  (cost  162 )
0.046 * * [simplify]: Extracting # 0 : cost  0  inf +  410
0.046 * * [simplify]: iteration complete:  10  enodes  (cost  162 )
0.046 * [simplify]: Simplified to:
  (- (sqrt (+ x 1.0)) (sqrt x))
0.047 * * [progress]: iteration 1 / 4
0.047 * * * [progress]: picking best candidate
0.054 * * * * [pick]: Picked  #<alt (λ (x) (- (sqrt (+ x 1.0)) (sqrt x)))>
0.054 * * * [progress]: localizing error
0.089 * * * [progress]: generating rewritten candidates
0.089 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.160 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.169 * * * [progress]: generating series expansions
0.169 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.169 * [backup-simplify]: Simplify (- (sqrt (+ x 1.0)) (sqrt x)) into (- (sqrt (+ x 1.0)) (sqrt x))
0.169 * [approximate]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in (x) around 0
0.169 * [taylor]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in x
0.169 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
0.169 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.169 * [taylor]: Taking taylor expansion of x in x
0.169 * [backup-simplify]: Simplify 0 into 0
0.169 * [backup-simplify]: Simplify 1 into 1
0.169 * [taylor]: Taking taylor expansion of 1.0 in x
0.169 * [backup-simplify]: Simplify 1.0 into 1.0
0.170 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.170 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
0.170 * [backup-simplify]: Simplify (+ 1 0) into 1
0.171 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0))
0.171 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.171 * [taylor]: Taking taylor expansion of x in x
0.171 * [backup-simplify]: Simplify 0 into 0
0.171 * [backup-simplify]: Simplify 1 into 1
0.172 * [backup-simplify]: Simplify (sqrt 0) into 0
0.173 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
0.173 * [taylor]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in x
0.173 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
0.173 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.173 * [taylor]: Taking taylor expansion of x in x
0.173 * [backup-simplify]: Simplify 0 into 0
0.173 * [backup-simplify]: Simplify 1 into 1
0.173 * [taylor]: Taking taylor expansion of 1.0 in x
0.173 * [backup-simplify]: Simplify 1.0 into 1.0
0.173 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.173 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
0.174 * [backup-simplify]: Simplify (+ 1 0) into 1
0.174 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0))
0.174 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.174 * [taylor]: Taking taylor expansion of x in x
0.174 * [backup-simplify]: Simplify 0 into 0
0.175 * [backup-simplify]: Simplify 1 into 1
0.175 * [backup-simplify]: Simplify (sqrt 0) into 0
0.176 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
0.176 * [backup-simplify]: Simplify (- 0) into 0
0.176 * [backup-simplify]: Simplify (+ (sqrt 1.0) 0) into (sqrt 1.0)
0.177 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
0.177 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.178 * [backup-simplify]: Simplify (+ (/ 1/2 (sqrt 1.0)) (- +nan.0)) into (- (* 1/2 (/ 1 (sqrt 1.0))) +nan.0)
0.180 * [backup-simplify]: Simplify (- (* 1/2 (/ 1 (sqrt 1.0))) +nan.0) into (- (* 1/2 (/ 1 (sqrt 1.0))) +nan.0)
0.180 * [backup-simplify]: Simplify (+ 0 0) into 0
0.190 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt 1.0)) 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3))
0.193 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
0.194 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.197 * [backup-simplify]: Simplify (+ (/ -1/8 (pow (sqrt 1.0) 3)) (- +nan.0)) into (- (+ (* 1/8 (/ 1 (pow (sqrt 1.0) 3))) (- +nan.0)))
0.203 * [backup-simplify]: Simplify (- (+ (* 1/8 (/ 1 (pow (sqrt 1.0) 3))) (- +nan.0))) into (- (+ (* 1/8 (/ 1 (pow (sqrt 1.0) 3))) (- +nan.0)))
0.213 * [backup-simplify]: Simplify (+ (* (- (+ (* 1/8 (/ 1 (pow (sqrt 1.0) 3))) (- +nan.0))) (pow x 2)) (+ (* (- (* 1/2 (/ 1 (sqrt 1.0))) +nan.0) x) (sqrt 1.0))) into (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (+ (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))) (- (+ (* +nan.0 (pow x 2)) (- (* +nan.0 x))))))
0.213 * [backup-simplify]: Simplify (- (sqrt (+ (/ 1 x) 1.0)) (sqrt (/ 1 x))) into (- (sqrt (+ (/ 1 x) 1.0)) (sqrt (/ 1 x)))
0.213 * [approximate]: Taking taylor expansion of (- (sqrt (+ (/ 1 x) 1.0)) (sqrt (/ 1 x))) in (x) around 0
0.213 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 x) 1.0)) (sqrt (/ 1 x))) in x
0.213 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in x
0.213 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.213 * [taylor]: Taking taylor expansion of x in x
0.213 * [backup-simplify]: Simplify 0 into 0
0.213 * [backup-simplify]: Simplify 1 into 1
0.214 * [backup-simplify]: Simplify (/ 1 1) into 1
0.214 * [taylor]: Taking taylor expansion of 1.0 in x
0.214 * [backup-simplify]: Simplify 1.0 into 1.0
0.214 * [backup-simplify]: Simplify (+ 1 0) into 1
0.215 * [backup-simplify]: Simplify (sqrt 0) into 0
0.216 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
0.216 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.216 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.216 * [taylor]: Taking taylor expansion of x in x
0.216 * [backup-simplify]: Simplify 0 into 0
0.216 * [backup-simplify]: Simplify 1 into 1
0.216 * [backup-simplify]: Simplify (/ 1 1) into 1
0.217 * [backup-simplify]: Simplify (sqrt 0) into 0
0.217 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
0.217 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 x) 1.0)) (sqrt (/ 1 x))) in x
0.217 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in x
0.217 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.217 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.217 * [taylor]: Taking taylor expansion of x in x
0.217 * [backup-simplify]: Simplify 0 into 0
0.218 * [backup-simplify]: Simplify 1 into 1
0.218 * [backup-simplify]: Simplify (/ 1 1) into 1
0.218 * [taylor]: Taking taylor expansion of 1.0 in x
0.218 * [backup-simplify]: Simplify 1.0 into 1.0
0.218 * [backup-simplify]: Simplify (+ 1 0) into 1
0.218 * [backup-simplify]: Simplify (sqrt 0) into 0
0.219 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
0.219 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.219 * [taylor]: Taking taylor expansion of x in x
0.219 * [backup-simplify]: Simplify 0 into 0
0.219 * [backup-simplify]: Simplify 1 into 1
0.219 * [backup-simplify]: Simplify (/ 1 1) into 1
0.220 * [backup-simplify]: Simplify (sqrt 0) into 0
0.220 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
0.221 * [backup-simplify]: Simplify (- 0) into 0
0.221 * [backup-simplify]: Simplify (+ 0 0) into 0
0.221 * [backup-simplify]: Simplify 0 into 0
0.221 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.222 * [backup-simplify]: Simplify (+ +nan.0 (- +nan.0)) into (- +nan.0)
0.222 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.223 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.224 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
0.225 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.227 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
0.227 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.228 * [backup-simplify]: Simplify (+ +nan.0 (- +nan.0)) into (- +nan.0)
0.228 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.228 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.229 * [backup-simplify]: Simplify (+ 0 0) into 0
0.231 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.231 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.234 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.234 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.235 * [backup-simplify]: Simplify (+ +nan.0 (- +nan.0)) into (- +nan.0)
0.235 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.236 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 x) 2)) (+ (* (- +nan.0) (/ 1 x)) (- +nan.0))) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
0.236 * [backup-simplify]: Simplify (- (sqrt (+ (/ 1 (- x)) 1.0)) (sqrt (/ 1 (- x)))) into (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x)))
0.236 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in (x) around 0
0.236 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in x
0.236 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
0.236 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.236 * [taylor]: Taking taylor expansion of 1.0 in x
0.236 * [backup-simplify]: Simplify 1.0 into 1.0
0.236 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.236 * [taylor]: Taking taylor expansion of x in x
0.236 * [backup-simplify]: Simplify 0 into 0
0.236 * [backup-simplify]: Simplify 1 into 1
0.236 * [backup-simplify]: Simplify (/ 1 1) into 1
0.237 * [backup-simplify]: Simplify (- 1) into -1
0.237 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.237 * [backup-simplify]: Simplify (sqrt 0) into 0
0.238 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.238 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.238 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.238 * [taylor]: Taking taylor expansion of -1 in x
0.238 * [backup-simplify]: Simplify -1 into -1
0.238 * [taylor]: Taking taylor expansion of x in x
0.238 * [backup-simplify]: Simplify 0 into 0
0.238 * [backup-simplify]: Simplify 1 into 1
0.238 * [backup-simplify]: Simplify (/ -1 1) into -1
0.239 * [backup-simplify]: Simplify (sqrt 0) into 0
0.239 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.239 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in x
0.239 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
0.239 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.239 * [taylor]: Taking taylor expansion of 1.0 in x
0.239 * [backup-simplify]: Simplify 1.0 into 1.0
0.240 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.240 * [taylor]: Taking taylor expansion of x in x
0.240 * [backup-simplify]: Simplify 0 into 0
0.240 * [backup-simplify]: Simplify 1 into 1
0.240 * [backup-simplify]: Simplify (/ 1 1) into 1
0.240 * [backup-simplify]: Simplify (- 1) into -1
0.240 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.241 * [backup-simplify]: Simplify (sqrt 0) into 0
0.241 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.241 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.241 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.241 * [taylor]: Taking taylor expansion of -1 in x
0.241 * [backup-simplify]: Simplify -1 into -1
0.241 * [taylor]: Taking taylor expansion of x in x
0.241 * [backup-simplify]: Simplify 0 into 0
0.241 * [backup-simplify]: Simplify 1 into 1
0.242 * [backup-simplify]: Simplify (/ -1 1) into -1
0.242 * [backup-simplify]: Simplify (sqrt 0) into 0
0.243 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.243 * [backup-simplify]: Simplify (- 0) into 0
0.243 * [backup-simplify]: Simplify (+ 0 0) into 0
0.243 * [backup-simplify]: Simplify 0 into 0
0.243 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.244 * [backup-simplify]: Simplify (+ +nan.0 (- +nan.0)) into (- +nan.0)
0.244 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.245 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.245 * [backup-simplify]: Simplify (- 0) into 0
0.246 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.249 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
0.250 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.253 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
0.253 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.254 * [backup-simplify]: Simplify (+ +nan.0 (- +nan.0)) into (- +nan.0)
0.254 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.255 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.256 * [backup-simplify]: Simplify (- 0) into 0
0.256 * [backup-simplify]: Simplify (+ 0 0) into 0
0.260 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.261 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.265 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.266 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.266 * [backup-simplify]: Simplify (+ +nan.0 (- +nan.0)) into (- +nan.0)
0.267 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.268 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 (- x)) 2)) (+ (* (- +nan.0) (/ 1 (- x))) (- +nan.0))) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
0.268 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.269 * [backup-simplify]: Simplify (sqrt (+ x 1.0)) into (sqrt (+ x 1.0))
0.269 * [approximate]: Taking taylor expansion of (sqrt (+ x 1.0)) in (x) around 0
0.269 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
0.269 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.269 * [taylor]: Taking taylor expansion of x in x
0.269 * [backup-simplify]: Simplify 0 into 0
0.269 * [backup-simplify]: Simplify 1 into 1
0.269 * [taylor]: Taking taylor expansion of 1.0 in x
0.269 * [backup-simplify]: Simplify 1.0 into 1.0
0.269 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.270 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
0.270 * [backup-simplify]: Simplify (+ 1 0) into 1
0.272 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0))
0.272 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
0.272 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.272 * [taylor]: Taking taylor expansion of x in x
0.272 * [backup-simplify]: Simplify 0 into 0
0.272 * [backup-simplify]: Simplify 1 into 1
0.272 * [taylor]: Taking taylor expansion of 1.0 in x
0.272 * [backup-simplify]: Simplify 1.0 into 1.0
0.273 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.273 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
0.273 * [backup-simplify]: Simplify (+ 1 0) into 1
0.275 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0))
0.276 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
0.276 * [backup-simplify]: Simplify (/ 1/2 (sqrt 1.0)) into (/ 1/2 (sqrt 1.0))
0.277 * [backup-simplify]: Simplify (+ 0 0) into 0
0.283 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt 1.0)) 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3))
0.284 * [backup-simplify]: Simplify (/ -1/8 (pow (sqrt 1.0) 3)) into (/ -1/8 (pow (sqrt 1.0) 3))
0.288 * [backup-simplify]: Simplify (+ (* (/ -1/8 (pow (sqrt 1.0) 3)) (pow x 2)) (+ (* (/ 1/2 (sqrt 1.0)) x) (sqrt 1.0))) into (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))))
0.288 * [backup-simplify]: Simplify (sqrt (+ (/ 1 x) 1.0)) into (sqrt (+ (/ 1 x) 1.0))
0.288 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in (x) around 0
0.288 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in x
0.288 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.288 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.288 * [taylor]: Taking taylor expansion of x in x
0.288 * [backup-simplify]: Simplify 0 into 0
0.288 * [backup-simplify]: Simplify 1 into 1
0.288 * [backup-simplify]: Simplify (/ 1 1) into 1
0.289 * [taylor]: Taking taylor expansion of 1.0 in x
0.289 * [backup-simplify]: Simplify 1.0 into 1.0
0.289 * [backup-simplify]: Simplify (+ 1 0) into 1
0.289 * [backup-simplify]: Simplify (sqrt 0) into 0
0.291 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
0.291 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in x
0.291 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.291 * [taylor]: Taking taylor expansion of x in x
0.291 * [backup-simplify]: Simplify 0 into 0
0.291 * [backup-simplify]: Simplify 1 into 1
0.291 * [backup-simplify]: Simplify (/ 1 1) into 1
0.291 * [taylor]: Taking taylor expansion of 1.0 in x
0.291 * [backup-simplify]: Simplify 1.0 into 1.0
0.292 * [backup-simplify]: Simplify (+ 1 0) into 1
0.292 * [backup-simplify]: Simplify (sqrt 0) into 0
0.294 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
0.294 * [backup-simplify]: Simplify 0 into 0
0.294 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.295 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.298 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
0.298 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.299 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.300 * [backup-simplify]: Simplify (+ 0 0) into 0
0.304 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.304 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.304 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
0.304 * [backup-simplify]: Simplify (sqrt (+ (/ 1 (- x)) 1.0)) into (sqrt (- 1.0 (/ 1 x)))
0.304 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in (x) around 0
0.304 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
0.304 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.304 * [taylor]: Taking taylor expansion of 1.0 in x
0.304 * [backup-simplify]: Simplify 1.0 into 1.0
0.304 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.304 * [taylor]: Taking taylor expansion of x in x
0.304 * [backup-simplify]: Simplify 0 into 0
0.304 * [backup-simplify]: Simplify 1 into 1
0.305 * [backup-simplify]: Simplify (/ 1 1) into 1
0.305 * [backup-simplify]: Simplify (- 1) into -1
0.306 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.306 * [backup-simplify]: Simplify (sqrt 0) into 0
0.307 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.307 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
0.307 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.307 * [taylor]: Taking taylor expansion of 1.0 in x
0.307 * [backup-simplify]: Simplify 1.0 into 1.0
0.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.308 * [taylor]: Taking taylor expansion of x in x
0.308 * [backup-simplify]: Simplify 0 into 0
0.308 * [backup-simplify]: Simplify 1 into 1
0.308 * [backup-simplify]: Simplify (/ 1 1) into 1
0.308 * [backup-simplify]: Simplify (- 1) into -1
0.309 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.309 * [backup-simplify]: Simplify (sqrt 0) into 0
0.310 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.311 * [backup-simplify]: Simplify 0 into 0
0.311 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.316 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.317 * [backup-simplify]: Simplify (- 0) into 0
0.318 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.321 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
0.321 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.322 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.322 * [backup-simplify]: Simplify (- 0) into 0
0.322 * [backup-simplify]: Simplify (+ 0 0) into 0
0.326 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.326 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.326 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
0.326 * * * [progress]: simplifying candidates
0.329 * [simplify]: Simplifying:
  (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))))
  (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))))
  (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))
  (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (- (* (sqrt x) (sqrt 1))))
  (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1)))
  (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (- (* (sqrt x) 1)))
  (fma (- (sqrt x)) 1 (* (sqrt x) 1))
  (fma (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))))
  (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (fma (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))))
  (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))
  (fma (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (- (* (sqrt x) (sqrt 1))))
  (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1)))
  (fma (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (- (* (sqrt x) 1)))
  (fma (- (sqrt x)) 1 (* (sqrt x) 1))
  (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))))
  (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))))
  (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))
  (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt x) (sqrt 1))))
  (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1)))
  (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt x) 1)))
  (fma (- (sqrt x)) 1 (* (sqrt x) 1))
  (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))))
  (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))))
  (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))
  (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt x) (sqrt 1))))
  (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1)))
  (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt x) 1)))
  (fma (- (sqrt x)) 1 (* (sqrt x) 1))
  (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))))
  (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))))
  (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))
  (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt x) (sqrt 1))))
  (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1)))
  (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt x) 1)))
  (fma (- (sqrt x)) 1 (* (sqrt x) 1))
  (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))))
  (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))))
  (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))
  (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt x) (sqrt 1))))
  (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1)))
  (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt x) 1)))
  (fma (- (sqrt x)) 1 (* (sqrt x) 1))
  (fma 1 (sqrt (+ x 1.0)) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))))
  (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (fma 1 (sqrt (+ x 1.0)) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))))
  (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))
  (fma 1 (sqrt (+ x 1.0)) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma 1 (sqrt (+ x 1.0)) (- (* (sqrt x) (sqrt 1))))
  (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1)))
  (fma 1 (sqrt (+ x 1.0)) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma 1 (sqrt (+ x 1.0)) (- (* (sqrt x) 1)))
  (fma (- (sqrt x)) 1 (* (sqrt x) 1))
  (expm1 (- (sqrt (+ x 1.0)) (sqrt x)))
  (log1p (- (sqrt (+ x 1.0)) (sqrt x)))
  (- (sqrt x))
  (- (sqrt x))
  (- (sqrt x))
  (- (sqrt x))
  (- (sqrt x))
  (- (sqrt x))
  (- (sqrt x))
  (/ (exp (sqrt (+ x 1.0))) (exp (sqrt x)))
  (log (- (sqrt (+ x 1.0)) (sqrt x)))
  (exp (- (sqrt (+ x 1.0)) (sqrt x)))
  (* (cbrt (- (sqrt (+ x 1.0)) (sqrt x))) (cbrt (- (sqrt (+ x 1.0)) (sqrt x))))
  (cbrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (* (* (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ x 1.0)) (sqrt x))) (- (sqrt (+ x 1.0)) (sqrt x)))
  (sqrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (sqrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (- (pow (sqrt (+ x 1.0)) 3) (pow (sqrt x) 3))
  (+ (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (+ (* (sqrt x) (sqrt x)) (* (sqrt (+ x 1.0)) (sqrt x))))
  (- (sqrt x))
  (- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* (sqrt x) (sqrt x)))
  (+ (sqrt (+ x 1.0)) (sqrt x))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt x))
  (expm1 (sqrt (+ x 1.0)))
  (log1p (sqrt (+ x 1.0)))
  (log (sqrt (+ x 1.0)))
  (exp (sqrt (+ x 1.0)))
  (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))))
  (cbrt (sqrt (+ x 1.0)))
  (* (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (sqrt (+ x 1.0)))
  (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))
  (sqrt (cbrt (+ x 1.0)))
  (sqrt (sqrt (+ x 1.0)))
  (sqrt (sqrt (+ x 1.0)))
  (sqrt 1)
  (sqrt (+ x 1.0))
  (sqrt 1)
  (sqrt (+ x 1.0))
  (sqrt (+ (pow x 3) (pow 1.0 3)))
  (sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (sqrt (- (* x x) (* 1.0 1.0)))
  (sqrt (- x 1.0))
  (/ 1 2)
  (sqrt (sqrt (+ x 1.0)))
  (sqrt (sqrt (+ x 1.0)))
  (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (+ (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))) (- (+ (* +nan.0 (pow x 2)) (- (* +nan.0 x))))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
0.333 * * [simplify]: Extracting # 0 : cost  67  inf +  0
0.333 * * [simplify]: Extracting # 1 : cost  104  inf +  0
0.333 * * [simplify]: Extracting # 2 : cost  119  inf +  85
0.333 * * [simplify]: Extracting # 3 : cost  108  inf +  2084
0.334 * * [simplify]: Extracting # 4 : cost  58  inf +  12618
0.336 * * [simplify]: Extracting # 5 : cost  22  inf +  23739
0.338 * * [simplify]: Extracting # 6 : cost  10  inf +  27148
0.340 * * [simplify]: Extracting # 7 : cost  4  inf +  29846
0.343 * * [simplify]: Extracting # 8 : cost  2  inf +  30632
0.345 * * [simplify]: Extracting # 9 : cost  1  inf +  31418
0.347 * * [simplify]: Extracting # 10 : cost  0  inf +  32365
0.350 * * [simplify]: iteration  0 :  139  enodes  (cost  40498 )
0.385 * * [simplify]: Extracting # 0 : cost  0  inf +  32365
0.389 * * [simplify]: Extracting # 1 : cost  47  inf +  29722
0.393 * * [simplify]: Extracting # 2 : cost  8  inf +  34248
0.397 * * [simplify]: Extracting # 3 : cost  2  inf +  32004
0.402 * * [simplify]: Extracting # 4 : cost  0  inf +  31769
0.414 * * [simplify]: iteration  1 :  322  enodes  (cost  32284 )
0.585 * * [simplify]: Extracting # 0 : cost  0  inf +  31769
0.599 * * [simplify]: Extracting # 1 : cost  137  inf +  27996
0.617 * * [simplify]: Extracting # 2 : cost  8  inf +  45430
0.637 * * [simplify]: Extracting # 3 : cost  3  inf +  45400
0.657 * * [simplify]: Extracting # 4 : cost  0  inf +  45771
0.677 * * [simplify]: Extracting # 5 : cost  0  inf +  45731
0.697 * * [simplify]: iteration  2 :  785  enodes  (cost  25908 )
1.190 * * [simplify]: Extracting # 0 : cost  0  inf +  45731
1.210 * * [simplify]: Extracting # 1 : cost  431  inf +  43537
1.251 * * [simplify]: Extracting # 2 : cost  12  inf +  127296
1.292 * * [simplify]: Extracting # 3 : cost  5  inf +  128475
1.348 * * [simplify]: Extracting # 4 : cost  0  inf +  129777
1.419 * * [simplify]: iteration  3 :  2271  enodes  (cost  25237 )
2.521 * * [simplify]: Extracting # 0 : cost  0  inf +  129777
2.583 * * [simplify]: Extracting # 1 : cost  823  inf +  123225
2.712 * * [simplify]: Extracting # 2 : cost  142  inf +  264795
2.845 * * [simplify]: Extracting # 3 : cost  35  inf +  279530
2.939 * * [simplify]: Extracting # 4 : cost  0  inf +  290074
3.064 * * [simplify]: Extracting # 5 : cost  0  inf +  290049
3.150 * * [simplify]: iteration complete:  5003  enodes  (cost  21442 )
3.151 * [simplify]: Simplified to:
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (* (sqrt (cbrt x)) (fabs (cbrt x))))
  (* (fabs (cbrt x)) (+ (- (sqrt (cbrt x))) (sqrt (cbrt x))))
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (* (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0)))) (sqrt x))
  0
  (- (* (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0)))) (* (sqrt (cbrt x)) (fabs (cbrt x))))
  (* (fabs (cbrt x)) (+ (- (sqrt (cbrt x))) (sqrt (cbrt x))))
  (- (* (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0)))) (sqrt x))
  0
  (- (* (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0)))) (sqrt x))
  0
  (- (* (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0)))) (sqrt x))
  0
  (- (* (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0)))) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (* (sqrt (cbrt x)) (fabs (cbrt x))))
  (* (fabs (cbrt x)) (+ (- (sqrt (cbrt x))) (sqrt (cbrt x))))
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (* (sqrt (cbrt x)) (fabs (cbrt x))))
  (* (fabs (cbrt x)) (+ (- (sqrt (cbrt x))) (sqrt (cbrt x))))
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (* (sqrt (cbrt x)) (fabs (cbrt x))))
  (* (fabs (cbrt x)) (+ (- (sqrt (cbrt x))) (sqrt (cbrt x))))
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (* (sqrt (cbrt x)) (fabs (cbrt x))))
  (* (fabs (cbrt x)) (+ (- (sqrt (cbrt x))) (sqrt (cbrt x))))
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (* (sqrt (cbrt x)) (fabs (cbrt x))))
  (* (fabs (cbrt x)) (+ (- (sqrt (cbrt x))) (sqrt (cbrt x))))
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (- (sqrt (+ 1.0 x)) (sqrt x))
  0
  (expm1 (- (sqrt (+ x 1.0)) (sqrt x)))
  (log1p (- (sqrt (+ x 1.0)) (sqrt x)))
  (- (sqrt x))
  (- (sqrt x))
  (- (sqrt x))
  (- (sqrt x))
  (- (sqrt x))
  (- (sqrt x))
  (- (sqrt x))
  (exp (- (sqrt (+ x 1.0)) (sqrt x)))
  (log (- (sqrt (+ x 1.0)) (sqrt x)))
  (exp (- (sqrt (+ x 1.0)) (sqrt x)))
  (* (cbrt (- (sqrt (+ x 1.0)) (sqrt x))) (cbrt (- (sqrt (+ x 1.0)) (sqrt x))))
  (cbrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (* (* (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ x 1.0)) (sqrt x))) (- (sqrt (+ x 1.0)) (sqrt x)))
  (sqrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (sqrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (- (* (+ 1.0 x) (sqrt (+ 1.0 x))) (* (sqrt x) x))
  (+ (fma (sqrt x) (sqrt (+ 1.0 x)) x) (+ 1.0 x))
  (- (sqrt x))
  (- (+ 1.0 x) x)
  (+ (sqrt (+ x 1.0)) (sqrt x))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (+ 1.0 x)) (sqrt x))
  (- (sqrt (+ 1.0 x)) (sqrt x))
  (- (sqrt (+ 1.0 x)) (sqrt x))
  (- (sqrt x))
  (expm1 (sqrt (+ x 1.0)))
  (log1p (sqrt (+ x 1.0)))
  (log (sqrt (+ x 1.0)))
  (exp (sqrt (+ x 1.0)))
  (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))))
  (cbrt (sqrt (+ x 1.0)))
  (* (+ 1.0 x) (sqrt (+ 1.0 x)))
  (fabs (cbrt (+ x 1.0)))
  (sqrt (cbrt (+ x 1.0)))
  (sqrt (sqrt (+ x 1.0)))
  (sqrt (sqrt (+ x 1.0)))
  1
  (sqrt (+ 1.0 x))
  1
  (sqrt (+ 1.0 x))
  (sqrt (fma x (* x x) (* 1.0 (* 1.0 1.0))))
  (sqrt (fma x x (* 1.0 (- 1.0 x))))
  (sqrt (- (* x x) (* 1.0 1.0)))
  (sqrt (- x 1.0))
  1/2
  (sqrt (sqrt (+ x 1.0)))
  (sqrt (sqrt (+ x 1.0)))
  (+ (fma (/ (/ (* x x) 1.0) (sqrt 1.0)) -1/8 (fma (/ x (sqrt 1.0)) 1/2 (sqrt 1.0))) (* +nan.0 (- (* x x) x)))
  (fma +nan.0 (/ -1 (* x x)) (- (/ +nan.0 x) +nan.0))
  (fma +nan.0 (/ -1 (* x x)) (- (/ +nan.0 x) +nan.0))
  (fma (/ (/ (* x x) 1.0) (sqrt 1.0)) -1/8 (fma (/ x (sqrt 1.0)) 1/2 (sqrt 1.0)))
  (fma +nan.0 (/ -1 (* x x)) (- (/ +nan.0 x) +nan.0))
  (fma +nan.0 (/ -1 (* x x)) (- (/ +nan.0 x) +nan.0))
3.163 * * * [progress]: adding candidates to table
3.429 * * [progress]: iteration 2 / 4
3.429 * * * [progress]: picking best candidate
3.480 * * * * [pick]: Picked  #<alt (λ (x) (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x))))>
3.480 * * * [progress]: localizing error
3.510 * * * [progress]: generating rewritten candidates
3.511 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
3.562 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
3.709 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
3.751 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
3.762 * * * [progress]: generating series expansions
3.762 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
3.762 * [backup-simplify]: Simplify (- (+ 1.0 x) x) into 1.0
3.762 * [approximate]: Taking taylor expansion of 1.0 in (x) around 0
3.762 * [taylor]: Taking taylor expansion of 1.0 in x
3.762 * [backup-simplify]: Simplify 1.0 into 1.0
3.762 * [taylor]: Taking taylor expansion of 1.0 in x
3.762 * [backup-simplify]: Simplify 1.0 into 1.0
3.762 * [backup-simplify]: Simplify 1.0 into 1.0
3.762 * [backup-simplify]: Simplify 0 into 0
3.763 * [backup-simplify]: Simplify 0 into 0
3.763 * [backup-simplify]: Simplify 0 into 0
3.763 * [backup-simplify]: Simplify 0 into 0
3.763 * [backup-simplify]: Simplify 0 into 0
3.763 * [backup-simplify]: Simplify 0 into 0
3.763 * [backup-simplify]: Simplify 1.0 into 1.0
3.763 * [backup-simplify]: Simplify (- (+ 1.0 (/ 1 x)) (/ 1 x)) into 1.0
3.763 * [approximate]: Taking taylor expansion of 1.0 in (x) around 0
3.763 * [taylor]: Taking taylor expansion of 1.0 in x
3.763 * [backup-simplify]: Simplify 1.0 into 1.0
3.763 * [taylor]: Taking taylor expansion of 1.0 in x
3.763 * [backup-simplify]: Simplify 1.0 into 1.0
3.763 * [backup-simplify]: Simplify 1.0 into 1.0
3.763 * [backup-simplify]: Simplify 0 into 0
3.763 * [backup-simplify]: Simplify 0 into 0
3.763 * [backup-simplify]: Simplify 0 into 0
3.763 * [backup-simplify]: Simplify 0 into 0
3.763 * [backup-simplify]: Simplify 0 into 0
3.763 * [backup-simplify]: Simplify 0 into 0
3.763 * [backup-simplify]: Simplify 1.0 into 1.0
3.763 * [backup-simplify]: Simplify (- (+ 1.0 (/ 1 (- x))) (/ 1 (- x))) into 1.0
3.763 * [approximate]: Taking taylor expansion of 1.0 in (x) around 0
3.763 * [taylor]: Taking taylor expansion of 1.0 in x
3.763 * [backup-simplify]: Simplify 1.0 into 1.0
3.763 * [taylor]: Taking taylor expansion of 1.0 in x
3.763 * [backup-simplify]: Simplify 1.0 into 1.0
3.763 * [backup-simplify]: Simplify 1.0 into 1.0
3.763 * [backup-simplify]: Simplify 0 into 0
3.763 * [backup-simplify]: Simplify 0 into 0
3.763 * [backup-simplify]: Simplify 0 into 0
3.763 * [backup-simplify]: Simplify 0 into 0
3.763 * [backup-simplify]: Simplify 0 into 0
3.763 * [backup-simplify]: Simplify 0 into 0
3.763 * [backup-simplify]: Simplify 1.0 into 1.0
3.763 * * * * [progress]: [ 2 / 4 ] generating series at (2)
3.764 * [backup-simplify]: Simplify (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x))) into (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))
3.764 * [approximate]: Taking taylor expansion of (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))) in (x) around 0
3.764 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))) in x
3.764 * [taylor]: Taking taylor expansion of 1.0 in x
3.764 * [backup-simplify]: Simplify 1.0 into 1.0
3.764 * [taylor]: Taking taylor expansion of (+ (sqrt (+ x 1.0)) (sqrt x)) in x
3.764 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
3.764 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
3.764 * [taylor]: Taking taylor expansion of x in x
3.764 * [backup-simplify]: Simplify 0 into 0
3.764 * [backup-simplify]: Simplify 1 into 1
3.764 * [taylor]: Taking taylor expansion of 1.0 in x
3.764 * [backup-simplify]: Simplify 1.0 into 1.0
3.764 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.765 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
3.765 * [backup-simplify]: Simplify (+ 1 0) into 1
3.766 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0))
3.766 * [taylor]: Taking taylor expansion of (sqrt x) in x
3.766 * [taylor]: Taking taylor expansion of x in x
3.766 * [backup-simplify]: Simplify 0 into 0
3.766 * [backup-simplify]: Simplify 1 into 1
3.766 * [backup-simplify]: Simplify (sqrt 0) into 0
3.767 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
3.768 * [backup-simplify]: Simplify (+ (sqrt 1.0) 0) into (sqrt 1.0)
3.768 * [backup-simplify]: Simplify (/ 1.0 (sqrt 1.0)) into (/ 1.0 (sqrt 1.0))
3.769 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))) in x
3.769 * [taylor]: Taking taylor expansion of 1.0 in x
3.769 * [backup-simplify]: Simplify 1.0 into 1.0
3.769 * [taylor]: Taking taylor expansion of (+ (sqrt (+ x 1.0)) (sqrt x)) in x
3.769 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
3.769 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
3.769 * [taylor]: Taking taylor expansion of x in x
3.769 * [backup-simplify]: Simplify 0 into 0
3.769 * [backup-simplify]: Simplify 1 into 1
3.769 * [taylor]: Taking taylor expansion of 1.0 in x
3.769 * [backup-simplify]: Simplify 1.0 into 1.0
3.769 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.769 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
3.769 * [backup-simplify]: Simplify (+ 1 0) into 1
3.770 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0))
3.770 * [taylor]: Taking taylor expansion of (sqrt x) in x
3.771 * [taylor]: Taking taylor expansion of x in x
3.771 * [backup-simplify]: Simplify 0 into 0
3.771 * [backup-simplify]: Simplify 1 into 1
3.771 * [backup-simplify]: Simplify (sqrt 0) into 0
3.772 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
3.772 * [backup-simplify]: Simplify (+ (sqrt 1.0) 0) into (sqrt 1.0)
3.773 * [backup-simplify]: Simplify (/ 1.0 (sqrt 1.0)) into (/ 1.0 (sqrt 1.0))
3.773 * [backup-simplify]: Simplify (/ 1.0 (sqrt 1.0)) into (/ 1.0 (sqrt 1.0))
3.775 * [backup-simplify]: Simplify (+ (/ 1/2 (sqrt 1.0)) +nan.0) into (- (* 1/2 (/ 1 (sqrt 1.0))) +nan.0)
3.781 * [backup-simplify]: Simplify (- (/ 0 (sqrt 1.0)) (+ (* (/ 1.0 (sqrt 1.0)) (/ (- (* 1/2 (/ 1 (sqrt 1.0))) +nan.0) (sqrt 1.0))))) into (- (+ (* 0.5 (/ 1 (pow (sqrt 1.0) 3))) (- (* +nan.0 (/ 1 (pow (sqrt 1.0) 2))))))
3.787 * [backup-simplify]: Simplify (- (+ (* 0.5 (/ 1 (pow (sqrt 1.0) 3))) (- (* +nan.0 (/ 1 (pow (sqrt 1.0) 2)))))) into (- (+ (* 0.5 (/ 1 (pow (sqrt 1.0) 3))) (- (* +nan.0 (/ 1 (pow (sqrt 1.0) 2))))))
3.787 * [backup-simplify]: Simplify (+ 0 0) into 0
3.790 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt 1.0)) 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3))
3.792 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
3.794 * [backup-simplify]: Simplify (+ (/ -1/8 (pow (sqrt 1.0) 3)) +nan.0) into (- (+ (* 1/8 (/ 1 (pow (sqrt 1.0) 3))) (- +nan.0)))
3.831 * [backup-simplify]: Simplify (- (/ 0 (sqrt 1.0)) (+ (* (/ 1.0 (sqrt 1.0)) (/ (- (+ (* 1/8 (/ 1 (pow (sqrt 1.0) 3))) (- +nan.0))) (sqrt 1.0))) (* (- (+ (* 0.5 (/ 1 (pow (sqrt 1.0) 3))) (- (* +nan.0 (/ 1 (pow (sqrt 1.0) 2)))))) (/ (- (* 1/2 (/ 1 (sqrt 1.0))) +nan.0) (sqrt 1.0))))) into (- (* 0.375 (/ 1 (pow (sqrt 1.0) 5))) (+ (* +nan.0 (/ 1 (pow (sqrt 1.0) 3))) (- (+ (* +nan.0 (/ 1 (pow (sqrt 1.0) 2))) (- (* +nan.0 (/ 1 (pow (sqrt 1.0) 4))))))))
3.844 * [backup-simplify]: Simplify (- (* 0.375 (/ 1 (pow (sqrt 1.0) 5))) (+ (* +nan.0 (/ 1 (pow (sqrt 1.0) 3))) (- (+ (* +nan.0 (/ 1 (pow (sqrt 1.0) 2))) (- (* +nan.0 (/ 1 (pow (sqrt 1.0) 4)))))))) into (- (* 0.375 (/ 1 (pow (sqrt 1.0) 5))) (+ (* +nan.0 (/ 1 (pow (sqrt 1.0) 3))) (- (+ (* +nan.0 (/ 1 (pow (sqrt 1.0) 2))) (- (* +nan.0 (/ 1 (pow (sqrt 1.0) 4))))))))
3.882 * [backup-simplify]: Simplify (+ (* (- (* 0.375 (/ 1 (pow (sqrt 1.0) 5))) (+ (* +nan.0 (/ 1 (pow (sqrt 1.0) 3))) (- (+ (* +nan.0 (/ 1 (pow (sqrt 1.0) 2))) (- (* +nan.0 (/ 1 (pow (sqrt 1.0) 4)))))))) (pow x 2)) (+ (* (- (+ (* 0.5 (/ 1 (pow (sqrt 1.0) 3))) (- (* +nan.0 (/ 1 (pow (sqrt 1.0) 2)))))) x) (/ 1.0 (sqrt 1.0)))) into (- (+ (* 1.0 (/ 1 (sqrt 1.0))) (* 0.375 (/ (pow x 2) (pow (sqrt 1.0) 5)))) (+ (* 0.5 (/ x (pow (sqrt 1.0) 3))) (- (+ (* +nan.0 (/ (pow x 2) (pow (sqrt 1.0) 3))) (- (+ (* +nan.0 (/ (pow x 2) (pow (sqrt 1.0) 4))) (- (+ (* +nan.0 (/ x (pow (sqrt 1.0) 2))) (- (* +nan.0 (/ (pow x 2) (pow (sqrt 1.0) 2))))))))))))
3.882 * [backup-simplify]: Simplify (/ (- (+ 1.0 (/ 1 x)) (/ 1 x)) (+ (sqrt (+ (/ 1 x) 1.0)) (sqrt (/ 1 x)))) into (/ 1.0 (+ (sqrt (/ 1 x)) (sqrt (+ (/ 1 x) 1.0))))
3.882 * [approximate]: Taking taylor expansion of (/ 1.0 (+ (sqrt (/ 1 x)) (sqrt (+ (/ 1 x) 1.0)))) in (x) around 0
3.882 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (/ 1 x)) (sqrt (+ (/ 1 x) 1.0)))) in x
3.882 * [taylor]: Taking taylor expansion of 1.0 in x
3.882 * [backup-simplify]: Simplify 1.0 into 1.0
3.882 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 x)) (sqrt (+ (/ 1 x) 1.0))) in x
3.882 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
3.882 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.882 * [taylor]: Taking taylor expansion of x in x
3.882 * [backup-simplify]: Simplify 0 into 0
3.882 * [backup-simplify]: Simplify 1 into 1
3.883 * [backup-simplify]: Simplify (/ 1 1) into 1
3.883 * [backup-simplify]: Simplify (sqrt 0) into 0
3.885 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
3.885 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in x
3.885 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
3.885 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.885 * [taylor]: Taking taylor expansion of x in x
3.885 * [backup-simplify]: Simplify 0 into 0
3.885 * [backup-simplify]: Simplify 1 into 1
3.885 * [backup-simplify]: Simplify (/ 1 1) into 1
3.885 * [taylor]: Taking taylor expansion of 1.0 in x
3.885 * [backup-simplify]: Simplify 1.0 into 1.0
3.886 * [backup-simplify]: Simplify (+ 1 0) into 1
3.886 * [backup-simplify]: Simplify (sqrt 0) into 0
3.887 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
3.888 * [backup-simplify]: Simplify (+ 0 0) into 0
3.889 * [backup-simplify]: Simplify (+ +nan.0 +nan.0) into (- +nan.0)
3.889 * [backup-simplify]: Simplify (/ 1.0 (- +nan.0)) into +nan.0
3.889 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (/ 1 x)) (sqrt (+ (/ 1 x) 1.0)))) in x
3.890 * [taylor]: Taking taylor expansion of 1.0 in x
3.890 * [backup-simplify]: Simplify 1.0 into 1.0
3.890 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 x)) (sqrt (+ (/ 1 x) 1.0))) in x
3.890 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
3.890 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.890 * [taylor]: Taking taylor expansion of x in x
3.890 * [backup-simplify]: Simplify 0 into 0
3.890 * [backup-simplify]: Simplify 1 into 1
3.890 * [backup-simplify]: Simplify (/ 1 1) into 1
3.890 * [backup-simplify]: Simplify (sqrt 0) into 0
3.892 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
3.892 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in x
3.892 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
3.892 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.892 * [taylor]: Taking taylor expansion of x in x
3.892 * [backup-simplify]: Simplify 0 into 0
3.892 * [backup-simplify]: Simplify 1 into 1
3.893 * [backup-simplify]: Simplify (/ 1 1) into 1
3.893 * [taylor]: Taking taylor expansion of 1.0 in x
3.893 * [backup-simplify]: Simplify 1.0 into 1.0
3.893 * [backup-simplify]: Simplify (+ 1 0) into 1
3.893 * [backup-simplify]: Simplify (sqrt 0) into 0
3.895 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
3.895 * [backup-simplify]: Simplify (+ 0 0) into 0
3.896 * [backup-simplify]: Simplify (+ +nan.0 +nan.0) into (- +nan.0)
3.896 * [backup-simplify]: Simplify (/ 1.0 (- +nan.0)) into +nan.0
3.897 * [backup-simplify]: Simplify +nan.0 into +nan.0
3.897 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.901 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
3.902 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.902 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.905 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
3.906 * [backup-simplify]: Simplify (+ +nan.0 +nan.0) into (- +nan.0)
3.910 * [backup-simplify]: Simplify (- (/ 0 (- +nan.0)) (+ (* +nan.0 (/ (- +nan.0) (- +nan.0))))) into (- +nan.0)
3.911 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
3.912 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.916 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
3.916 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.917 * [backup-simplify]: Simplify (+ 0 0) into 0
3.919 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
3.919 * [backup-simplify]: Simplify (+ +nan.0 +nan.0) into (- +nan.0)
3.923 * [backup-simplify]: Simplify (- (/ 0 (- +nan.0)) (+ (* +nan.0 (/ (- +nan.0) (- +nan.0))) (* (- +nan.0) (/ (- +nan.0) (- +nan.0))))) into (- +nan.0)
3.923 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
3.924 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 x) 2)) (+ (* (- +nan.0) (/ 1 x)) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
3.924 * [backup-simplify]: Simplify (/ (- (+ 1.0 (/ 1 (- x))) (/ 1 (- x))) (+ (sqrt (+ (/ 1 (- x)) 1.0)) (sqrt (/ 1 (- x))))) into (/ 1.0 (+ (sqrt (/ -1 x)) (sqrt (- 1.0 (/ 1 x)))))
3.924 * [approximate]: Taking taylor expansion of (/ 1.0 (+ (sqrt (/ -1 x)) (sqrt (- 1.0 (/ 1 x))))) in (x) around 0
3.924 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (/ -1 x)) (sqrt (- 1.0 (/ 1 x))))) in x
3.924 * [taylor]: Taking taylor expansion of 1.0 in x
3.924 * [backup-simplify]: Simplify 1.0 into 1.0
3.924 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 x)) (sqrt (- 1.0 (/ 1 x)))) in x
3.924 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
3.924 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.924 * [taylor]: Taking taylor expansion of -1 in x
3.924 * [backup-simplify]: Simplify -1 into -1
3.924 * [taylor]: Taking taylor expansion of x in x
3.924 * [backup-simplify]: Simplify 0 into 0
3.924 * [backup-simplify]: Simplify 1 into 1
3.924 * [backup-simplify]: Simplify (/ -1 1) into -1
3.925 * [backup-simplify]: Simplify (sqrt 0) into 0
3.925 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
3.925 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
3.925 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
3.925 * [taylor]: Taking taylor expansion of 1.0 in x
3.925 * [backup-simplify]: Simplify 1.0 into 1.0
3.926 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.926 * [taylor]: Taking taylor expansion of x in x
3.926 * [backup-simplify]: Simplify 0 into 0
3.926 * [backup-simplify]: Simplify 1 into 1
3.926 * [backup-simplify]: Simplify (/ 1 1) into 1
3.926 * [backup-simplify]: Simplify (- 1) into -1
3.926 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.927 * [backup-simplify]: Simplify (sqrt 0) into 0
3.927 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
3.928 * [backup-simplify]: Simplify (+ 0 0) into 0
3.928 * [backup-simplify]: Simplify (+ +nan.0 +nan.0) into (- +nan.0)
3.928 * [backup-simplify]: Simplify (/ 1.0 (- +nan.0)) into +nan.0
3.928 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (/ -1 x)) (sqrt (- 1.0 (/ 1 x))))) in x
3.928 * [taylor]: Taking taylor expansion of 1.0 in x
3.928 * [backup-simplify]: Simplify 1.0 into 1.0
3.928 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 x)) (sqrt (- 1.0 (/ 1 x)))) in x
3.928 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
3.928 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.929 * [taylor]: Taking taylor expansion of -1 in x
3.929 * [backup-simplify]: Simplify -1 into -1
3.929 * [taylor]: Taking taylor expansion of x in x
3.929 * [backup-simplify]: Simplify 0 into 0
3.929 * [backup-simplify]: Simplify 1 into 1
3.929 * [backup-simplify]: Simplify (/ -1 1) into -1
3.929 * [backup-simplify]: Simplify (sqrt 0) into 0
3.930 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
3.930 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
3.930 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
3.930 * [taylor]: Taking taylor expansion of 1.0 in x
3.930 * [backup-simplify]: Simplify 1.0 into 1.0
3.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.930 * [taylor]: Taking taylor expansion of x in x
3.930 * [backup-simplify]: Simplify 0 into 0
3.930 * [backup-simplify]: Simplify 1 into 1
3.930 * [backup-simplify]: Simplify (/ 1 1) into 1
3.930 * [backup-simplify]: Simplify (- 1) into -1
3.931 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.931 * [backup-simplify]: Simplify (sqrt 0) into 0
3.932 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
3.932 * [backup-simplify]: Simplify (+ 0 0) into 0
3.932 * [backup-simplify]: Simplify (+ +nan.0 +nan.0) into (- +nan.0)
3.933 * [backup-simplify]: Simplify (/ 1.0 (- +nan.0)) into +nan.0
3.933 * [backup-simplify]: Simplify +nan.0 into +nan.0
3.933 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.935 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
3.936 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.936 * [backup-simplify]: Simplify (- 0) into 0
3.936 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.940 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
3.940 * [backup-simplify]: Simplify (+ +nan.0 +nan.0) into (- +nan.0)
3.944 * [backup-simplify]: Simplify (- (/ 0 (- +nan.0)) (+ (* +nan.0 (/ (- +nan.0) (- +nan.0))))) into (- +nan.0)
3.945 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
3.946 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.956 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
3.957 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.957 * [backup-simplify]: Simplify (- 0) into 0
3.958 * [backup-simplify]: Simplify (+ 0 0) into 0
3.962 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
3.962 * [backup-simplify]: Simplify (+ +nan.0 +nan.0) into (- +nan.0)
3.969 * [backup-simplify]: Simplify (- (/ 0 (- +nan.0)) (+ (* +nan.0 (/ (- +nan.0) (- +nan.0))) (* (- +nan.0) (/ (- +nan.0) (- +nan.0))))) into (- +nan.0)
3.969 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
3.970 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 (- x)) 2)) (+ (* (- +nan.0) (/ 1 (- x))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
3.970 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
3.970 * [backup-simplify]: Simplify (+ (sqrt (+ x 1.0)) (sqrt x)) into (+ (sqrt (+ x 1.0)) (sqrt x))
3.971 * [approximate]: Taking taylor expansion of (+ (sqrt (+ x 1.0)) (sqrt x)) in (x) around 0
3.971 * [taylor]: Taking taylor expansion of (+ (sqrt (+ x 1.0)) (sqrt x)) in x
3.971 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
3.971 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
3.971 * [taylor]: Taking taylor expansion of x in x
3.971 * [backup-simplify]: Simplify 0 into 0
3.971 * [backup-simplify]: Simplify 1 into 1
3.971 * [taylor]: Taking taylor expansion of 1.0 in x
3.971 * [backup-simplify]: Simplify 1.0 into 1.0
3.971 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.972 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
3.972 * [backup-simplify]: Simplify (+ 1 0) into 1
3.974 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0))
3.974 * [taylor]: Taking taylor expansion of (sqrt x) in x
3.974 * [taylor]: Taking taylor expansion of x in x
3.974 * [backup-simplify]: Simplify 0 into 0
3.974 * [backup-simplify]: Simplify 1 into 1
3.974 * [backup-simplify]: Simplify (sqrt 0) into 0
3.975 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
3.975 * [taylor]: Taking taylor expansion of (+ (sqrt (+ x 1.0)) (sqrt x)) in x
3.975 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
3.976 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
3.976 * [taylor]: Taking taylor expansion of x in x
3.976 * [backup-simplify]: Simplify 0 into 0
3.976 * [backup-simplify]: Simplify 1 into 1
3.976 * [taylor]: Taking taylor expansion of 1.0 in x
3.976 * [backup-simplify]: Simplify 1.0 into 1.0
3.976 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.976 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
3.977 * [backup-simplify]: Simplify (+ 1 0) into 1
3.978 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0))
3.978 * [taylor]: Taking taylor expansion of (sqrt x) in x
3.979 * [taylor]: Taking taylor expansion of x in x
3.979 * [backup-simplify]: Simplify 0 into 0
3.979 * [backup-simplify]: Simplify 1 into 1
3.979 * [backup-simplify]: Simplify (sqrt 0) into 0
3.980 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
3.981 * [backup-simplify]: Simplify (+ (sqrt 1.0) 0) into (sqrt 1.0)
3.982 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
3.983 * [backup-simplify]: Simplify (+ (/ 1/2 (sqrt 1.0)) +nan.0) into (- (* 1/2 (/ 1 (sqrt 1.0))) +nan.0)
3.986 * [backup-simplify]: Simplify (- (* 1/2 (/ 1 (sqrt 1.0))) +nan.0) into (- (* 1/2 (/ 1 (sqrt 1.0))) +nan.0)
3.986 * [backup-simplify]: Simplify (+ 0 0) into 0
3.991 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt 1.0)) 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3))
3.994 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
3.997 * [backup-simplify]: Simplify (+ (/ -1/8 (pow (sqrt 1.0) 3)) +nan.0) into (- (+ (* 1/8 (/ 1 (pow (sqrt 1.0) 3))) (- +nan.0)))
4.003 * [backup-simplify]: Simplify (- (+ (* 1/8 (/ 1 (pow (sqrt 1.0) 3))) (- +nan.0))) into (- (+ (* 1/8 (/ 1 (pow (sqrt 1.0) 3))) (- +nan.0)))
4.013 * [backup-simplify]: Simplify (+ (* (- (+ (* 1/8 (/ 1 (pow (sqrt 1.0) 3))) (- +nan.0))) (pow x 2)) (+ (* (- (* 1/2 (/ 1 (sqrt 1.0))) +nan.0) x) (sqrt 1.0))) into (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (+ (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))) (- (+ (* +nan.0 (pow x 2)) (- (* +nan.0 x))))))
4.013 * [backup-simplify]: Simplify (+ (sqrt (+ (/ 1 x) 1.0)) (sqrt (/ 1 x))) into (+ (sqrt (/ 1 x)) (sqrt (+ (/ 1 x) 1.0)))
4.013 * [approximate]: Taking taylor expansion of (+ (sqrt (/ 1 x)) (sqrt (+ (/ 1 x) 1.0))) in (x) around 0
4.013 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 x)) (sqrt (+ (/ 1 x) 1.0))) in x
4.013 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
4.013 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.013 * [taylor]: Taking taylor expansion of x in x
4.013 * [backup-simplify]: Simplify 0 into 0
4.013 * [backup-simplify]: Simplify 1 into 1
4.014 * [backup-simplify]: Simplify (/ 1 1) into 1
4.014 * [backup-simplify]: Simplify (sqrt 0) into 0
4.015 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.015 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in x
4.015 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
4.016 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.016 * [taylor]: Taking taylor expansion of x in x
4.016 * [backup-simplify]: Simplify 0 into 0
4.016 * [backup-simplify]: Simplify 1 into 1
4.016 * [backup-simplify]: Simplify (/ 1 1) into 1
4.016 * [taylor]: Taking taylor expansion of 1.0 in x
4.016 * [backup-simplify]: Simplify 1.0 into 1.0
4.016 * [backup-simplify]: Simplify (+ 1 0) into 1
4.017 * [backup-simplify]: Simplify (sqrt 0) into 0
4.018 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.018 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 x)) (sqrt (+ (/ 1 x) 1.0))) in x
4.018 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
4.018 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.018 * [taylor]: Taking taylor expansion of x in x
4.018 * [backup-simplify]: Simplify 0 into 0
4.018 * [backup-simplify]: Simplify 1 into 1
4.019 * [backup-simplify]: Simplify (/ 1 1) into 1
4.019 * [backup-simplify]: Simplify (sqrt 0) into 0
4.020 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.020 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in x
4.020 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
4.021 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.021 * [taylor]: Taking taylor expansion of x in x
4.021 * [backup-simplify]: Simplify 0 into 0
4.021 * [backup-simplify]: Simplify 1 into 1
4.021 * [backup-simplify]: Simplify (/ 1 1) into 1
4.021 * [taylor]: Taking taylor expansion of 1.0 in x
4.021 * [backup-simplify]: Simplify 1.0 into 1.0
4.021 * [backup-simplify]: Simplify (+ 1 0) into 1
4.022 * [backup-simplify]: Simplify (sqrt 0) into 0
4.023 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.024 * [backup-simplify]: Simplify (+ 0 0) into 0
4.024 * [backup-simplify]: Simplify 0 into 0
4.024 * [backup-simplify]: Simplify (+ +nan.0 +nan.0) into (- +nan.0)
4.024 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.025 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.028 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.029 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.029 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.032 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.033 * [backup-simplify]: Simplify (+ +nan.0 +nan.0) into (- +nan.0)
4.033 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.034 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.038 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.038 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.039 * [backup-simplify]: Simplify (+ 0 0) into 0
4.043 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.043 * [backup-simplify]: Simplify (+ +nan.0 +nan.0) into (- +nan.0)
4.044 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.045 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 x) 2)) (+ (* (- +nan.0) (/ 1 x)) (- +nan.0))) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
4.046 * [backup-simplify]: Simplify (+ (sqrt (+ (/ 1 (- x)) 1.0)) (sqrt (/ 1 (- x)))) into (+ (sqrt (/ -1 x)) (sqrt (- 1.0 (/ 1 x))))
4.046 * [approximate]: Taking taylor expansion of (+ (sqrt (/ -1 x)) (sqrt (- 1.0 (/ 1 x)))) in (x) around 0
4.046 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 x)) (sqrt (- 1.0 (/ 1 x)))) in x
4.046 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.046 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.046 * [taylor]: Taking taylor expansion of -1 in x
4.046 * [backup-simplify]: Simplify -1 into -1
4.046 * [taylor]: Taking taylor expansion of x in x
4.046 * [backup-simplify]: Simplify 0 into 0
4.046 * [backup-simplify]: Simplify 1 into 1
4.046 * [backup-simplify]: Simplify (/ -1 1) into -1
4.047 * [backup-simplify]: Simplify (sqrt 0) into 0
4.048 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.048 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
4.048 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
4.048 * [taylor]: Taking taylor expansion of 1.0 in x
4.048 * [backup-simplify]: Simplify 1.0 into 1.0
4.048 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.048 * [taylor]: Taking taylor expansion of x in x
4.048 * [backup-simplify]: Simplify 0 into 0
4.049 * [backup-simplify]: Simplify 1 into 1
4.049 * [backup-simplify]: Simplify (/ 1 1) into 1
4.049 * [backup-simplify]: Simplify (- 1) into -1
4.050 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.050 * [backup-simplify]: Simplify (sqrt 0) into 0
4.051 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.051 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 x)) (sqrt (- 1.0 (/ 1 x)))) in x
4.051 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.052 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.052 * [taylor]: Taking taylor expansion of -1 in x
4.052 * [backup-simplify]: Simplify -1 into -1
4.052 * [taylor]: Taking taylor expansion of x in x
4.052 * [backup-simplify]: Simplify 0 into 0
4.052 * [backup-simplify]: Simplify 1 into 1
4.052 * [backup-simplify]: Simplify (/ -1 1) into -1
4.052 * [backup-simplify]: Simplify (sqrt 0) into 0
4.054 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.054 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
4.054 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
4.054 * [taylor]: Taking taylor expansion of 1.0 in x
4.054 * [backup-simplify]: Simplify 1.0 into 1.0
4.054 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.054 * [taylor]: Taking taylor expansion of x in x
4.054 * [backup-simplify]: Simplify 0 into 0
4.054 * [backup-simplify]: Simplify 1 into 1
4.054 * [backup-simplify]: Simplify (/ 1 1) into 1
4.055 * [backup-simplify]: Simplify (- 1) into -1
4.055 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.056 * [backup-simplify]: Simplify (sqrt 0) into 0
4.057 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.057 * [backup-simplify]: Simplify (+ 0 0) into 0
4.057 * [backup-simplify]: Simplify 0 into 0
4.058 * [backup-simplify]: Simplify (+ +nan.0 +nan.0) into (- +nan.0)
4.058 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.059 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.063 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.064 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.064 * [backup-simplify]: Simplify (- 0) into 0
4.064 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.068 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.068 * [backup-simplify]: Simplify (+ +nan.0 +nan.0) into (- +nan.0)
4.068 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.069 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.073 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.074 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.074 * [backup-simplify]: Simplify (- 0) into 0
4.075 * [backup-simplify]: Simplify (+ 0 0) into 0
4.079 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.079 * [backup-simplify]: Simplify (+ +nan.0 +nan.0) into (- +nan.0)
4.079 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.081 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 (- x)) 2)) (+ (* (- +nan.0) (/ 1 (- x))) (- +nan.0))) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
4.081 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
4.081 * [backup-simplify]: Simplify (sqrt (+ x 1.0)) into (sqrt (+ x 1.0))
4.081 * [approximate]: Taking taylor expansion of (sqrt (+ x 1.0)) in (x) around 0
4.081 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
4.081 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
4.081 * [taylor]: Taking taylor expansion of x in x
4.081 * [backup-simplify]: Simplify 0 into 0
4.081 * [backup-simplify]: Simplify 1 into 1
4.081 * [taylor]: Taking taylor expansion of 1.0 in x
4.081 * [backup-simplify]: Simplify 1.0 into 1.0
4.082 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.082 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
4.082 * [backup-simplify]: Simplify (+ 1 0) into 1
4.084 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0))
4.084 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
4.084 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
4.084 * [taylor]: Taking taylor expansion of x in x
4.084 * [backup-simplify]: Simplify 0 into 0
4.084 * [backup-simplify]: Simplify 1 into 1
4.084 * [taylor]: Taking taylor expansion of 1.0 in x
4.084 * [backup-simplify]: Simplify 1.0 into 1.0
4.085 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.085 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
4.086 * [backup-simplify]: Simplify (+ 1 0) into 1
4.087 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0))
4.088 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
4.089 * [backup-simplify]: Simplify (/ 1/2 (sqrt 1.0)) into (/ 1/2 (sqrt 1.0))
4.089 * [backup-simplify]: Simplify (+ 0 0) into 0
4.095 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt 1.0)) 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3))
4.103 * [backup-simplify]: Simplify (/ -1/8 (pow (sqrt 1.0) 3)) into (/ -1/8 (pow (sqrt 1.0) 3))
4.107 * [backup-simplify]: Simplify (+ (* (/ -1/8 (pow (sqrt 1.0) 3)) (pow x 2)) (+ (* (/ 1/2 (sqrt 1.0)) x) (sqrt 1.0))) into (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))))
4.107 * [backup-simplify]: Simplify (sqrt (+ (/ 1 x) 1.0)) into (sqrt (+ (/ 1 x) 1.0))
4.107 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in (x) around 0
4.107 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in x
4.107 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
4.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.107 * [taylor]: Taking taylor expansion of x in x
4.107 * [backup-simplify]: Simplify 0 into 0
4.107 * [backup-simplify]: Simplify 1 into 1
4.108 * [backup-simplify]: Simplify (/ 1 1) into 1
4.108 * [taylor]: Taking taylor expansion of 1.0 in x
4.108 * [backup-simplify]: Simplify 1.0 into 1.0
4.108 * [backup-simplify]: Simplify (+ 1 0) into 1
4.109 * [backup-simplify]: Simplify (sqrt 0) into 0
4.110 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.110 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in x
4.110 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
4.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.110 * [taylor]: Taking taylor expansion of x in x
4.110 * [backup-simplify]: Simplify 0 into 0
4.110 * [backup-simplify]: Simplify 1 into 1
4.111 * [backup-simplify]: Simplify (/ 1 1) into 1
4.111 * [taylor]: Taking taylor expansion of 1.0 in x
4.111 * [backup-simplify]: Simplify 1.0 into 1.0
4.111 * [backup-simplify]: Simplify (+ 1 0) into 1
4.112 * [backup-simplify]: Simplify (sqrt 0) into 0
4.113 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.113 * [backup-simplify]: Simplify 0 into 0
4.113 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.114 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.114 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.117 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.117 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.118 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.119 * [backup-simplify]: Simplify (+ 0 0) into 0
4.122 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.122 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.123 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
4.123 * [backup-simplify]: Simplify (sqrt (+ (/ 1 (- x)) 1.0)) into (sqrt (- 1.0 (/ 1 x)))
4.123 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in (x) around 0
4.123 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
4.123 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
4.123 * [taylor]: Taking taylor expansion of 1.0 in x
4.123 * [backup-simplify]: Simplify 1.0 into 1.0
4.123 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.123 * [taylor]: Taking taylor expansion of x in x
4.123 * [backup-simplify]: Simplify 0 into 0
4.123 * [backup-simplify]: Simplify 1 into 1
4.124 * [backup-simplify]: Simplify (/ 1 1) into 1
4.124 * [backup-simplify]: Simplify (- 1) into -1
4.124 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.125 * [backup-simplify]: Simplify (sqrt 0) into 0
4.126 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.126 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
4.126 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
4.126 * [taylor]: Taking taylor expansion of 1.0 in x
4.126 * [backup-simplify]: Simplify 1.0 into 1.0
4.126 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.126 * [taylor]: Taking taylor expansion of x in x
4.126 * [backup-simplify]: Simplify 0 into 0
4.126 * [backup-simplify]: Simplify 1 into 1
4.127 * [backup-simplify]: Simplify (/ 1 1) into 1
4.127 * [backup-simplify]: Simplify (- 1) into -1
4.127 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.128 * [backup-simplify]: Simplify (sqrt 0) into 0
4.129 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.129 * [backup-simplify]: Simplify 0 into 0
4.129 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.130 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.130 * [backup-simplify]: Simplify (- 0) into 0
4.131 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.133 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.133 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.134 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.134 * [backup-simplify]: Simplify (- 0) into 0
4.134 * [backup-simplify]: Simplify (+ 0 0) into 0
4.137 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.137 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.137 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
4.137 * * * [progress]: simplifying candidates
4.140 * [simplify]: Simplifying:
  (fma (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x))) (cbrt (+ 1.0 x)) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))
  (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))
  (fma (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x))) (cbrt (+ 1.0 x)) (- (* (sqrt x) (sqrt x))))
  (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))
  (fma (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x))) (cbrt (+ 1.0 x)) (- (* x 1)))
  (fma (- x) 1 (* x 1))
  (fma (sqrt (+ 1.0 x)) (sqrt (+ 1.0 x)) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))
  (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))
  (fma (sqrt (+ 1.0 x)) (sqrt (+ 1.0 x)) (- (* (sqrt x) (sqrt x))))
  (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))
  (fma (sqrt (+ 1.0 x)) (sqrt (+ 1.0 x)) (- (* x 1)))
  (fma (- x) 1 (* x 1))
  (fma 1 (+ 1.0 x) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))
  (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))
  (fma 1 (+ 1.0 x) (- (* (sqrt x) (sqrt x))))
  (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))
  (fma 1 (+ 1.0 x) (- (* x 1)))
  (fma (- x) 1 (* x 1))
  (fma 1 (+ 1.0 x) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))
  (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))
  (fma 1 (+ 1.0 x) (- (* (sqrt x) (sqrt x))))
  (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))
  (fma 1 (+ 1.0 x) (- (* x 1)))
  (fma (- x) 1 (* x 1))
  (expm1 (- (+ 1.0 x) x))
  (log1p (- (+ 1.0 x) x))
  (- x)
  (- x)
  (- x)
  (- x)
  (/ (* (exp 1.0) (exp x)) (exp x))
  (/ (exp (+ 1.0 x)) (exp x))
  (log (- (+ 1.0 x) x))
  (exp (- (+ 1.0 x) x))
  (* (cbrt (- (+ 1.0 x) x)) (cbrt (- (+ 1.0 x) x)))
  (cbrt (- (+ 1.0 x) x))
  (* (* (- (+ 1.0 x) x) (- (+ 1.0 x) x)) (- (+ 1.0 x) x))
  (sqrt (- (+ 1.0 x) x))
  (sqrt (- (+ 1.0 x) x))
  (- (pow (+ 1.0 x) 3) (pow x 3))
  (+ (* (+ 1.0 x) (+ 1.0 x)) (+ (* x x) (* (+ 1.0 x) x)))
  (- x)
  (- (* (+ 1.0 x) (+ 1.0 x)) (* x x))
  (+ (+ 1.0 x) x)
  (+ (sqrt (+ 1.0 x)) (sqrt x))
  (- (sqrt (+ 1.0 x)) (sqrt x))
  (- (+ 1.0 x) x)
  (- (+ 1.0 x) x)
  (- x x)
  (- x)
  (expm1 (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x))))
  (log1p (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x))))
  (- (log (- (+ 1.0 x) x)) (log (+ (sqrt (+ x 1.0)) (sqrt x))))
  (log (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x))))
  (exp (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x))))
  (/ (* (* (- (+ 1.0 x) x) (- (+ 1.0 x) x)) (- (+ 1.0 x) x)) (* (* (+ (sqrt (+ x 1.0)) (sqrt x)) (+ (sqrt (+ x 1.0)) (sqrt x))) (+ (sqrt (+ x 1.0)) (sqrt x))))
  (* (cbrt (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x)))) (cbrt (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x)))))
  (cbrt (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x))))
  (* (* (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x))) (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x)))) (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x))))
  (sqrt (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x))))
  (sqrt (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x))))
  (- (- (+ 1.0 x) x))
  (- (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ (+ 1.0 x) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ x (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ (* (cbrt (- (+ 1.0 x) x)) (cbrt (- (+ 1.0 x) x))) (* (cbrt (+ (sqrt (+ x 1.0)) (sqrt x))) (cbrt (+ (sqrt (+ x 1.0)) (sqrt x)))))
  (/ (cbrt (- (+ 1.0 x) x)) (cbrt (+ (sqrt (+ x 1.0)) (sqrt x))))
  (/ (* (cbrt (- (+ 1.0 x) x)) (cbrt (- (+ 1.0 x) x))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
  (/ (cbrt (- (+ 1.0 x) x)) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
  (/ (* (cbrt (- (+ 1.0 x) x)) (cbrt (- (+ 1.0 x) x))) 1)
  (/ (cbrt (- (+ 1.0 x) x)) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ (* (cbrt (- (+ 1.0 x) x)) (cbrt (- (+ 1.0 x) x))) (sqrt 1))
  (/ (cbrt (- (+ 1.0 x) x)) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ (* (cbrt (- (+ 1.0 x) x)) (cbrt (- (+ 1.0 x) x))) (sqrt 1))
  (/ (cbrt (- (+ 1.0 x) x)) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ (* (cbrt (- (+ 1.0 x) x)) (cbrt (- (+ 1.0 x) x))) 1)
  (/ (cbrt (- (+ 1.0 x) x)) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ (sqrt (- (+ 1.0 x) x)) (* (cbrt (+ (sqrt (+ x 1.0)) (sqrt x))) (cbrt (+ (sqrt (+ x 1.0)) (sqrt x)))))
  (/ (sqrt (- (+ 1.0 x) x)) (cbrt (+ (sqrt (+ x 1.0)) (sqrt x))))
  (/ (sqrt (- (+ 1.0 x) x)) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
  (/ (sqrt (- (+ 1.0 x) x)) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
  (/ (sqrt (- (+ 1.0 x) x)) 1)
  (/ (sqrt (- (+ 1.0 x) x)) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ (sqrt (- (+ 1.0 x) x)) (sqrt 1))
  (/ (sqrt (- (+ 1.0 x) x)) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ (sqrt (- (+ 1.0 x) x)) (sqrt 1))
  (/ (sqrt (- (+ 1.0 x) x)) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ (sqrt (- (+ 1.0 x) x)) 1)
  (/ (sqrt (- (+ 1.0 x) x)) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ 1 (* (cbrt (+ (sqrt (+ x 1.0)) (sqrt x))) (cbrt (+ (sqrt (+ x 1.0)) (sqrt x)))))
  (/ (- (+ 1.0 x) x) (cbrt (+ (sqrt (+ x 1.0)) (sqrt x))))
  (/ 1 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
  (/ (- (+ 1.0 x) x) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
  (/ 1 1)
  (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ 1 (sqrt 1))
  (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ 1 (sqrt 1))
  (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ 1 1)
  (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ (+ (sqrt (+ 1.0 x)) (sqrt x)) (* (cbrt (+ (sqrt (+ x 1.0)) (sqrt x))) (cbrt (+ (sqrt (+ x 1.0)) (sqrt x)))))
  (/ (- (sqrt (+ 1.0 x)) (sqrt x)) (cbrt (+ (sqrt (+ x 1.0)) (sqrt x))))
  (/ (+ (sqrt (+ 1.0 x)) (sqrt x)) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
  (/ (- (sqrt (+ 1.0 x)) (sqrt x)) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
  (/ (+ (sqrt (+ 1.0 x)) (sqrt x)) 1)
  (/ (- (sqrt (+ 1.0 x)) (sqrt x)) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ (+ (sqrt (+ 1.0 x)) (sqrt x)) (sqrt 1))
  (/ (- (sqrt (+ 1.0 x)) (sqrt x)) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ (+ (sqrt (+ 1.0 x)) (sqrt x)) (sqrt 1))
  (/ (- (sqrt (+ 1.0 x)) (sqrt x)) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ (+ (sqrt (+ 1.0 x)) (sqrt x)) 1)
  (/ (- (sqrt (+ 1.0 x)) (sqrt x)) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ 1 (* (cbrt (+ (sqrt (+ x 1.0)) (sqrt x))) (cbrt (+ (sqrt (+ x 1.0)) (sqrt x)))))
  (/ (- (+ 1.0 x) x) (cbrt (+ (sqrt (+ x 1.0)) (sqrt x))))
  (/ 1 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
  (/ (- (+ 1.0 x) x) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
  (/ 1 1)
  (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ 1 (sqrt 1))
  (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ 1 (sqrt 1))
  (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ 1 1)
  (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ 1 (* (cbrt (+ (sqrt (+ x 1.0)) (sqrt x))) (cbrt (+ (sqrt (+ x 1.0)) (sqrt x)))))
  (/ (- (+ 1.0 x) x) (cbrt (+ (sqrt (+ x 1.0)) (sqrt x))))
  (/ 1 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
  (/ (- (+ 1.0 x) x) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
  (/ 1 1)
  (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ 1 (sqrt 1))
  (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ 1 (sqrt 1))
  (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ 1 1)
  (/ (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ 1 (+ (sqrt (+ x 1.0)) (sqrt x)))
  (/ (+ (sqrt (+ x 1.0)) (sqrt x)) (- (+ 1.0 x) x))
  (/ (- (+ 1.0 x) x) (* (cbrt (+ (sqrt (+ x 1.0)) (sqrt x))) (cbrt (+ (sqrt (+ x 1.0)) (sqrt x)))))
  (/ (- (+ 1.0 x) x) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
  (/ (- (+ 1.0 x) x) 1)
  (/ (- (+ 1.0 x) x) (sqrt 1))
  (/ (- (+ 1.0 x) x) (sqrt 1))
  (/ (- (+ 1.0 x) x) 1)
  (/ (+ (sqrt (+ x 1.0)) (sqrt x)) (cbrt (- (+ 1.0 x) x)))
  (/ (+ (sqrt (+ x 1.0)) (sqrt x)) (sqrt (- (+ 1.0 x) x)))
  (/ (+ (sqrt (+ x 1.0)) (sqrt x)) (- (+ 1.0 x) x))
  (/ (+ (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ 1.0 x)) (sqrt x)))
  (/ (+ (sqrt (+ x 1.0)) (sqrt x)) (- (+ 1.0 x) x))
  (/ (+ (sqrt (+ x 1.0)) (sqrt x)) (- (+ 1.0 x) x))
  (/ (- (+ 1.0 x) x) (+ (pow (sqrt (+ x 1.0)) 3) (pow (sqrt x) 3)))
  (/ (- (+ 1.0 x) x) (- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* (sqrt x) (sqrt x))))
  (* (+ (sqrt (+ x 1.0)) (sqrt x)) (+ (* (+ 1.0 x) (+ 1.0 x)) (+ (* x x) (* (+ 1.0 x) x))))
  (* (+ (sqrt (+ x 1.0)) (sqrt x)) (+ (+ 1.0 x) x))
  (expm1 (+ (sqrt (+ x 1.0)) (sqrt x)))
  (log1p (+ (sqrt (+ x 1.0)) (sqrt x)))
  (* (exp (sqrt (+ x 1.0))) (exp (sqrt x)))
  (log (+ (sqrt (+ x 1.0)) (sqrt x)))
  (exp (+ (sqrt (+ x 1.0)) (sqrt x)))
  (* (cbrt (+ (sqrt (+ x 1.0)) (sqrt x))) (cbrt (+ (sqrt (+ x 1.0)) (sqrt x))))
  (cbrt (+ (sqrt (+ x 1.0)) (sqrt x)))
  (* (* (+ (sqrt (+ x 1.0)) (sqrt x)) (+ (sqrt (+ x 1.0)) (sqrt x))) (+ (sqrt (+ x 1.0)) (sqrt x)))
  (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))
  (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))
  (+ (pow (sqrt (+ x 1.0)) 3) (pow (sqrt x) 3))
  (+ (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (- (* (sqrt x) (sqrt x)) (* (sqrt (+ x 1.0)) (sqrt x))))
  (- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* (sqrt x) (sqrt x)))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (+ (sqrt (+ x 1.0)) (sqrt x))
  (+ (sqrt (+ x 1.0)) (sqrt x))
  (+ (sqrt (+ x 1.0)) (sqrt x))
  (expm1 (sqrt (+ x 1.0)))
  (log1p (sqrt (+ x 1.0)))
  (log (sqrt (+ x 1.0)))
  (exp (sqrt (+ x 1.0)))
  (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))))
  (cbrt (sqrt (+ x 1.0)))
  (* (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (sqrt (+ x 1.0)))
  (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))
  (sqrt (cbrt (+ x 1.0)))
  (sqrt (sqrt (+ x 1.0)))
  (sqrt (sqrt (+ x 1.0)))
  (sqrt 1)
  (sqrt (+ x 1.0))
  (sqrt 1)
  (sqrt (+ x 1.0))
  (sqrt (+ (pow x 3) (pow 1.0 3)))
  (sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (sqrt (- (* x x) (* 1.0 1.0)))
  (sqrt (- x 1.0))
  (/ 1 2)
  (sqrt (sqrt (+ x 1.0)))
  (sqrt (sqrt (+ x 1.0)))
  1.0
  1.0
  1.0
  (- (+ (* 1.0 (/ 1 (sqrt 1.0))) (* 0.375 (/ (pow x 2) (pow (sqrt 1.0) 5)))) (+ (* 0.5 (/ x (pow (sqrt 1.0) 3))) (- (+ (* +nan.0 (/ (pow x 2) (pow (sqrt 1.0) 3))) (- (+ (* +nan.0 (/ (pow x 2) (pow (sqrt 1.0) 4))) (- (+ (* +nan.0 (/ x (pow (sqrt 1.0) 2))) (- (* +nan.0 (/ (pow x 2) (pow (sqrt 1.0) 2))))))))))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (+ (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))) (- (+ (* +nan.0 (pow x 2)) (- (* +nan.0 x))))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
4.142 * * [simplify]: Extracting # 0 : cost  120  inf +  0
4.142 * * [simplify]: Extracting # 1 : cost  165  inf +  1
4.143 * * [simplify]: Extracting # 2 : cost  171  inf +  940
4.144 * * [simplify]: Extracting # 3 : cost  134  inf +  7844
4.145 * * [simplify]: Extracting # 4 : cost  94  inf +  16352
4.147 * * [simplify]: Extracting # 5 : cost  49  inf +  29982
4.150 * * [simplify]: Extracting # 6 : cost  22  inf +  40667
4.154 * * [simplify]: Extracting # 7 : cost  14  inf +  44417
4.157 * * [simplify]: Extracting # 8 : cost  15  inf +  45404
4.161 * * [simplify]: Extracting # 9 : cost  17  inf +  46190
4.165 * * [simplify]: Extracting # 10 : cost  17  inf +  47138
4.168 * * [simplify]: Extracting # 11 : cost  13  inf +  48649
4.172 * * [simplify]: Extracting # 12 : cost  9  inf +  50365
4.176 * * [simplify]: Extracting # 13 : cost  8  inf +  50949
4.184 * * [simplify]: Extracting # 14 : cost  4  inf +  54587
4.192 * * [simplify]: Extracting # 15 : cost  0  inf +  61186
4.201 * * [simplify]: iteration  0 :  223  enodes  (cost  53554 )
4.267 * * [simplify]: Extracting # 0 : cost  0  inf +  61186
4.274 * * [simplify]: Extracting # 1 : cost  125  inf +  56774
4.284 * * [simplify]: Extracting # 2 : cost  10  inf +  83064
4.295 * * [simplify]: Extracting # 3 : cost  1  inf +  77094
4.306 * * [simplify]: Extracting # 4 : cost  0  inf +  72759
4.319 * * [simplify]: Extracting # 5 : cost  0  inf +  71562
4.330 * * [simplify]: Extracting # 6 : cost  0  inf +  71442