0.557 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.072 * * * [progress]: [2/2] Setting up program. 0.077 * [progress]: [Phase 2 of 3] Improving. 0.081 * [simplify]: Simplifying: (/ (+ x y) 10.0) 0.082 * * [simplify]: Extracting # 0 : cost 0 0.082 * * [simplify]: Extracting # 1 : cost 0 0.083 * * [simplify]: Extracting # 2 : cost 0 0.083 * * [simplify]: Extracting # 3 : cost 0 0.083 * * [simplify]: Extracting # 4 : cost 0 0.083 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.088 * * [simplify]: Extracting # 0 : cost 0 0.088 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 0.090 * * [simplify]: Extracting # 0 : cost 0 0.090 * * [simplify]: iteration done: 6 enodes (cost 5 ) 0.092 * [simplify]: Simplified to: (/ (+ x y) 10.0) 0.094 * * [progress]: iteration 1 / 4 0.094 * * * [progress]: picking best candidate 0.097 * * * * [pick]: Picked # 0.097 * * * [progress]: localizing error 0.109 * * * [progress]: generating rewritten candidates 0.110 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.204 * * * [progress]: generating series expansions 0.204 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.211 * [backup-simplify]: Simplify (/ (+ x y) 10.0) into (* 0.1 (+ x y)) 0.211 * [approximate]: Taking taylor expansion of (* 0.1 (+ x y)) in (x y) around 0 0.212 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in y 0.212 * [taylor]: Taking taylor expansion of 0.1 in y 0.213 * [backup-simplify]: Simplify 0.1 into 0.1 0.213 * [taylor]: Taking taylor expansion of (+ x y) in y 0.213 * [taylor]: Taking taylor expansion of x in y 0.213 * [backup-simplify]: Simplify x into x 0.213 * [taylor]: Taking taylor expansion of y in y 0.213 * [backup-simplify]: Simplify 0 into 0 0.213 * [backup-simplify]: Simplify 1 into 1 0.213 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in x 0.213 * [taylor]: Taking taylor expansion of 0.1 in x 0.213 * [backup-simplify]: Simplify 0.1 into 0.1 0.213 * [taylor]: Taking taylor expansion of (+ x y) 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.213 * [taylor]: Taking taylor expansion of y in x 0.213 * [backup-simplify]: Simplify y into y 0.213 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in x 0.213 * [taylor]: Taking taylor expansion of 0.1 in x 0.213 * [backup-simplify]: Simplify 0.1 into 0.1 0.213 * [taylor]: Taking taylor expansion of (+ x y) 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.213 * [taylor]: Taking taylor expansion of y in x 0.213 * [backup-simplify]: Simplify y into y 0.214 * [backup-simplify]: Simplify (+ 0 y) into y 0.214 * [backup-simplify]: Simplify (* 0.1 y) into (* 0.1 y) 0.214 * [taylor]: Taking taylor expansion of (* 0.1 y) in y 0.214 * [taylor]: Taking taylor expansion of 0.1 in y 0.215 * [backup-simplify]: Simplify 0.1 into 0.1 0.215 * [taylor]: Taking taylor expansion of y in y 0.215 * [backup-simplify]: Simplify 0 into 0 0.215 * [backup-simplify]: Simplify 1 into 1 0.216 * [backup-simplify]: Simplify (* 0.1 0) into 0 0.216 * [backup-simplify]: Simplify 0 into 0 0.216 * [backup-simplify]: Simplify (+ 1 0) into 1 0.217 * [backup-simplify]: Simplify (+ (* 0.1 1) (* 0 y)) into 0.1 0.217 * [taylor]: Taking taylor expansion of 0.1 in y 0.217 * [backup-simplify]: Simplify 0.1 into 0.1 0.217 * [backup-simplify]: Simplify 0.1 into 0.1 0.219 * [backup-simplify]: Simplify (+ (* 0.1 1) (* 0 0)) into 0.1 0.220 * [backup-simplify]: Simplify 0.1 into 0.1 0.220 * [backup-simplify]: Simplify (+ 0 0) into 0 0.221 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 1) (* 0 y))) into 0 0.221 * [taylor]: Taking taylor expansion of 0 in y 0.221 * [backup-simplify]: Simplify 0 into 0 0.221 * [backup-simplify]: Simplify 0 into 0 0.221 * [backup-simplify]: Simplify 0 into 0 0.222 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 1) (* 0 0))) into 0 0.222 * [backup-simplify]: Simplify 0 into 0 0.222 * [backup-simplify]: Simplify (+ 0 0) into 0 0.224 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 1) (* 0 y)))) into 0 0.224 * [taylor]: Taking taylor expansion of 0 in y 0.224 * [backup-simplify]: Simplify 0 into 0 0.224 * [backup-simplify]: Simplify 0 into 0 0.224 * [backup-simplify]: Simplify 0 into 0 0.224 * [backup-simplify]: Simplify 0 into 0 0.225 * [backup-simplify]: Simplify (+ (* 0.1 (* y 1)) (* 0.1 (* 1 x))) into (+ (* 0.1 x) (* 0.1 y)) 0.225 * [backup-simplify]: Simplify (/ (+ (/ 1 x) (/ 1 y)) 10.0) into (* 0.1 (+ (/ 1 y) (/ 1 x))) 0.226 * [approximate]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in (x y) around 0 0.226 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in y 0.226 * [taylor]: Taking taylor expansion of 0.1 in y 0.226 * [backup-simplify]: Simplify 0.1 into 0.1 0.226 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.226 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.226 * [taylor]: Taking taylor expansion of y in y 0.226 * [backup-simplify]: Simplify 0 into 0 0.226 * [backup-simplify]: Simplify 1 into 1 0.227 * [backup-simplify]: Simplify (/ 1 1) into 1 0.227 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.227 * [taylor]: Taking taylor expansion of x in y 0.227 * [backup-simplify]: Simplify x into x 0.227 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.229 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in x 0.229 * [taylor]: Taking taylor expansion of 0.1 in x 0.229 * [backup-simplify]: Simplify 0.1 into 0.1 0.229 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.229 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.229 * [taylor]: Taking taylor expansion of y in x 0.229 * [backup-simplify]: Simplify y into y 0.229 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.229 * [taylor]: Taking taylor expansion of x in x 0.229 * [backup-simplify]: Simplify 0 into 0 0.230 * [backup-simplify]: Simplify 1 into 1 0.230 * [backup-simplify]: Simplify (/ 1 1) into 1 0.230 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in x 0.230 * [taylor]: Taking taylor expansion of 0.1 in x 0.230 * [backup-simplify]: Simplify 0.1 into 0.1 0.230 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.230 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.230 * [taylor]: Taking taylor expansion of y in x 0.230 * [backup-simplify]: Simplify y into y 0.230 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.230 * [taylor]: Taking taylor expansion of x in x 0.230 * [backup-simplify]: Simplify 0 into 0 0.230 * [backup-simplify]: Simplify 1 into 1 0.231 * [backup-simplify]: Simplify (/ 1 1) into 1 0.232 * [backup-simplify]: Simplify (+ 0 1) into 1 0.232 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 0.232 * [taylor]: Taking taylor expansion of 0.1 in y 0.232 * [backup-simplify]: Simplify 0.1 into 0.1 0.234 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.234 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 0.234 * [backup-simplify]: Simplify (+ (* 0.1 (/ 1 y)) (* 0 1)) into (* 0.1 (/ 1 y)) 0.234 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 0.234 * [taylor]: Taking taylor expansion of 0.1 in y 0.234 * [backup-simplify]: Simplify 0.1 into 0.1 0.234 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.234 * [taylor]: Taking taylor expansion of y in y 0.234 * [backup-simplify]: Simplify 0 into 0 0.235 * [backup-simplify]: Simplify 1 into 1 0.235 * [backup-simplify]: Simplify (/ 1 1) into 1 0.235 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 0.235 * [backup-simplify]: Simplify 0.1 into 0.1 0.236 * [backup-simplify]: Simplify 0.1 into 0.1 0.236 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.237 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.237 * [backup-simplify]: Simplify (+ 0 0) into 0 0.238 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 0.238 * [taylor]: Taking taylor expansion of 0 in y 0.238 * [backup-simplify]: Simplify 0 into 0 0.239 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.240 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 1)) into 0 0.240 * [backup-simplify]: Simplify 0 into 0 0.240 * [backup-simplify]: Simplify 0 into 0 0.240 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.241 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.241 * [backup-simplify]: Simplify (+ 0 0) into 0 0.243 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 0.243 * [taylor]: Taking taylor expansion of 0 in y 0.243 * [backup-simplify]: Simplify 0 into 0 0.243 * [backup-simplify]: Simplify 0 into 0 0.244 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.245 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 1))) into 0 0.245 * [backup-simplify]: Simplify 0 into 0 0.245 * [backup-simplify]: Simplify 0 into 0 0.246 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.247 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.247 * [backup-simplify]: Simplify (+ 0 0) into 0 0.249 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0 0.249 * [taylor]: Taking taylor expansion of 0 in y 0.249 * [backup-simplify]: Simplify 0 into 0 0.249 * [backup-simplify]: Simplify 0 into 0 0.249 * [backup-simplify]: Simplify (+ (* 0.1 (* 1 (/ 1 (/ 1 x)))) (* 0.1 (* (/ 1 (/ 1 y)) 1))) into (+ (* 0.1 x) (* 0.1 y)) 0.250 * [backup-simplify]: Simplify (/ (+ (/ 1 (- x)) (/ 1 (- y))) 10.0) into (* -0.1 (+ (/ 1 y) (/ 1 x))) 0.250 * [approximate]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in (x y) around 0 0.250 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in y 0.250 * [taylor]: Taking taylor expansion of -0.1 in y 0.250 * [backup-simplify]: Simplify -0.1 into -0.1 0.250 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.250 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.250 * [taylor]: Taking taylor expansion of y in y 0.250 * [backup-simplify]: Simplify 0 into 0 0.250 * [backup-simplify]: Simplify 1 into 1 0.250 * [backup-simplify]: Simplify (/ 1 1) into 1 0.250 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.250 * [taylor]: Taking taylor expansion of x in y 0.250 * [backup-simplify]: Simplify x into x 0.250 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.251 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in x 0.251 * [taylor]: Taking taylor expansion of -0.1 in x 0.251 * [backup-simplify]: Simplify -0.1 into -0.1 0.251 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.251 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.251 * [taylor]: Taking taylor expansion of y in x 0.251 * [backup-simplify]: Simplify y into y 0.251 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.251 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.251 * [taylor]: Taking taylor expansion of x in x 0.251 * [backup-simplify]: Simplify 0 into 0 0.251 * [backup-simplify]: Simplify 1 into 1 0.251 * [backup-simplify]: Simplify (/ 1 1) into 1 0.251 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in x 0.251 * [taylor]: Taking taylor expansion of -0.1 in x 0.251 * [backup-simplify]: Simplify -0.1 into -0.1 0.251 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.251 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.251 * [taylor]: Taking taylor expansion of y in x 0.252 * [backup-simplify]: Simplify y into y 0.252 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.252 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.252 * [taylor]: Taking taylor expansion of x in x 0.252 * [backup-simplify]: Simplify 0 into 0 0.252 * [backup-simplify]: Simplify 1 into 1 0.252 * [backup-simplify]: Simplify (/ 1 1) into 1 0.253 * [backup-simplify]: Simplify (+ 0 1) into 1 0.253 * [backup-simplify]: Simplify (* -0.1 1) into -0.1 0.254 * [taylor]: Taking taylor expansion of -0.1 in y 0.254 * [backup-simplify]: Simplify -0.1 into -0.1 0.254 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.255 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 0.255 * [backup-simplify]: Simplify (+ (* -0.1 (/ 1 y)) (* 0 1)) into (- (* 0.1 (/ 1 y))) 0.255 * [taylor]: Taking taylor expansion of (- (* 0.1 (/ 1 y))) in y 0.255 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 0.255 * [taylor]: Taking taylor expansion of 0.1 in y 0.255 * [backup-simplify]: Simplify 0.1 into 0.1 0.255 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.255 * [taylor]: Taking taylor expansion of y in y 0.255 * [backup-simplify]: Simplify 0 into 0 0.255 * [backup-simplify]: Simplify 1 into 1 0.256 * [backup-simplify]: Simplify (/ 1 1) into 1 0.256 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 0.257 * [backup-simplify]: Simplify (- 0.1) into (- 0.1) 0.257 * [backup-simplify]: Simplify (- 0.1) into (- 0.1) 0.257 * [backup-simplify]: Simplify -0.1 into -0.1 0.257 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.258 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.259 * [backup-simplify]: Simplify (+ 0 0) into 0 0.259 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 0.259 * [taylor]: Taking taylor expansion of 0 in y 0.260 * [backup-simplify]: Simplify 0 into 0 0.260 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.261 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 1)) into 0 0.261 * [backup-simplify]: Simplify (- 0) into 0 0.261 * [backup-simplify]: Simplify 0 into 0 0.262 * [backup-simplify]: Simplify 0 into 0 0.262 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.263 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.263 * [backup-simplify]: Simplify (+ 0 0) into 0 0.264 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 0.264 * [taylor]: Taking taylor expansion of 0 in y 0.264 * [backup-simplify]: Simplify 0 into 0 0.265 * [backup-simplify]: Simplify 0 into 0 0.265 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.266 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 1))) into 0 0.267 * [backup-simplify]: Simplify (- 0) into 0 0.267 * [backup-simplify]: Simplify 0 into 0 0.267 * [backup-simplify]: Simplify 0 into 0 0.267 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.268 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.269 * [backup-simplify]: Simplify (+ 0 0) into 0 0.270 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0 0.270 * [taylor]: Taking taylor expansion of 0 in y 0.270 * [backup-simplify]: Simplify 0 into 0 0.270 * [backup-simplify]: Simplify 0 into 0 0.271 * [backup-simplify]: Simplify (+ (* -0.1 (* 1 (/ 1 (/ 1 (- x))))) (* (- 0.1) (* (/ 1 (/ 1 (- y))) 1))) into (+ (* 0.1 x) (* 0.1 y)) 0.271 * * * [progress]: simplifying candidates 0.273 * [simplify]: Simplifying: (expm1 (/ (+ x y) 10.0)) (log1p (/ (+ x y) 10.0)) (- (log (+ x y)) (log 10.0)) (log (/ (+ x y) 10.0)) (exp (/ (+ x y) 10.0)) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* 10.0 10.0) 10.0)) (* (cbrt (/ (+ x y) 10.0)) (cbrt (/ (+ x y) 10.0))) (cbrt (/ (+ x y) 10.0)) (* (* (/ (+ x y) 10.0) (/ (+ x y) 10.0)) (/ (+ x y) 10.0)) (sqrt (/ (+ x y) 10.0)) (sqrt (/ (+ x y) 10.0)) (- (+ x y)) (- 10.0) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (cbrt (+ x y)) (cbrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 10.0)) (/ (cbrt (+ x y)) (sqrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) 10.0) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (cbrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) 10.0) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ 1 1) (/ (+ x y) 10.0) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ 1 1) (/ (+ x y) 10.0) (/ 1 10.0) (/ 10.0 (+ x y)) (/ (+ x y) (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (sqrt 10.0)) (/ (+ x y) 1) (/ 10.0 (cbrt (+ x y))) (/ 10.0 (sqrt (+ x y))) (/ 10.0 (+ x y)) (/ 10.0 (+ x y)) (* 10.0 (+ (* x x) (- (* y y) (* x y)))) (* 10.0 (- x y)) (+ (* 0.1 x) (* 0.1 y)) (+ (* 0.1 x) (* 0.1 y)) (+ (* 0.1 x) (* 0.1 y)) 0.273 * * [simplify]: Extracting # 0 : cost 0 0.273 * * [simplify]: Extracting # 1 : cost 0 0.273 * * [simplify]: Extracting # 2 : cost 0 0.274 * * [simplify]: Extracting # 3 : cost 0 0.274 * * [simplify]: Extracting # 4 : cost 0 0.274 * * [simplify]: Extracting # 5 : cost 0 0.274 * * [simplify]: Extracting # 6 : cost 0 0.274 * * [simplify]: iteration 0 : 65 enodes (cost 354 ) 0.289 * * [simplify]: Extracting # 0 : cost 0 0.289 * * [simplify]: Extracting # 1 : cost 0 0.289 * * [simplify]: Extracting # 2 : cost 0 0.289 * * [simplify]: Extracting # 3 : cost 0 0.289 * * [simplify]: Extracting # 4 : cost 0 0.290 * * [simplify]: iteration 1 : 137 enodes (cost 334 ) 0.334 * * [simplify]: Extracting # 0 : cost 0 0.334 * * [simplify]: Extracting # 1 : cost 0 0.335 * * [simplify]: Extracting # 2 : cost 0 0.335 * * [simplify]: Extracting # 3 : cost 0 0.336 * * [simplify]: Extracting # 4 : cost 0 0.336 * * [simplify]: iteration 2 : 340 enodes (cost 314 ) 0.524 * * [simplify]: Extracting # 0 : cost 0 0.525 * * [simplify]: Extracting # 1 : cost 0 0.525 * * [simplify]: Extracting # 2 : cost 0 0.526 * * [simplify]: Extracting # 3 : cost 0 0.526 * * [simplify]: Extracting # 4 : cost 0 0.527 * * [simplify]: iteration 3 : 770 enodes (cost 314 ) 1.166 * * [simplify]: Extracting # 0 : cost 0 1.170 * * [simplify]: Extracting # 1 : cost 0 1.173 * * [simplify]: Extracting # 2 : cost 0 1.176 * * [simplify]: Extracting # 3 : cost 0 1.180 * * [simplify]: iteration 4 : 1848 enodes (cost 314 ) 4.073 * * [simplify]: Extracting # 0 : cost 0 4.082 * * [simplify]: Extracting # 1 : cost 0 4.089 * * [simplify]: Extracting # 2 : cost 0 4.094 * * [simplify]: Extracting # 3 : cost 0 4.101 * * [simplify]: Extracting # 4 : cost 0 4.107 * * [simplify]: iteration 5 : 4109 enodes (cost 314 ) 5.160 * * [simplify]: Extracting # 0 : cost 0 5.164 * * [simplify]: Extracting # 1 : cost 0 5.168 * * [simplify]: Extracting # 2 : cost 0 5.173 * * [simplify]: iteration done: 5000 enodes (cost 314 ) 5.173 * [simplify]: Simplified to: (expm1 (/ (+ x y) 10.0)) (log1p (/ (+ x y) 10.0)) (log (/ (+ x y) 10.0)) (log (/ (+ x y) 10.0)) (exp (/ (+ x y) 10.0)) (pow (/ (+ x y) 10.0) 3) (* (cbrt (/ (+ x y) 10.0)) (cbrt (/ (+ x y) 10.0))) (cbrt (/ (+ x y) 10.0)) (pow (/ (+ x y) 10.0) 3) (sqrt (/ (+ x y) 10.0)) (sqrt (/ (+ x y) 10.0)) (- (+ x y)) (- 10.0) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (cbrt (+ x y)) (cbrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 10.0)) (/ (cbrt (+ x y)) (sqrt 10.0)) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) 10.0) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (cbrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) 1 (/ (+ x y) 10.0) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) 1 (/ (+ x y) 10.0) (/ 1 10.0) (/ 10.0 (+ x y)) (/ (+ x y) (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (sqrt 10.0)) (+ x y) (/ 10.0 (cbrt (+ x y))) (/ 10.0 (sqrt (+ x y))) (/ 10.0 (+ x y)) (/ 10.0 (+ x y)) (* 10.0 (fma x x (* y (- y x)))) (* 10.0 (- x y)) (* 0.1 (+ x y)) (* 0.1 (+ x y)) (* 0.1 (+ x y)) 5.173 * * * [progress]: adding candidates to table 5.272 * * [progress]: iteration 2 / 4 5.272 * * * [progress]: picking best candidate 5.276 * * * * [pick]: Picked # 5.276 * * * [progress]: localizing error 5.284 * * * [progress]: generating rewritten candidates 5.285 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.318 * * * [progress]: generating series expansions 5.318 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.318 * [backup-simplify]: Simplify (* 0.1 (+ x y)) into (* 0.1 (+ x y)) 5.318 * [approximate]: Taking taylor expansion of (* 0.1 (+ x y)) in (x y) around 0 5.319 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in y 5.319 * [taylor]: Taking taylor expansion of 0.1 in y 5.319 * [backup-simplify]: Simplify 0.1 into 0.1 5.319 * [taylor]: Taking taylor expansion of (+ x y) in y 5.319 * [taylor]: Taking taylor expansion of x in y 5.319 * [backup-simplify]: Simplify x into x 5.319 * [taylor]: Taking taylor expansion of y in y 5.319 * [backup-simplify]: Simplify 0 into 0 5.319 * [backup-simplify]: Simplify 1 into 1 5.319 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in x 5.319 * [taylor]: Taking taylor expansion of 0.1 in x 5.319 * [backup-simplify]: Simplify 0.1 into 0.1 5.319 * [taylor]: Taking taylor expansion of (+ x y) in x 5.319 * [taylor]: Taking taylor expansion of x in x 5.319 * [backup-simplify]: Simplify 0 into 0 5.319 * [backup-simplify]: Simplify 1 into 1 5.319 * [taylor]: Taking taylor expansion of y in x 5.319 * [backup-simplify]: Simplify y into y 5.319 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in x 5.319 * [taylor]: Taking taylor expansion of 0.1 in x 5.319 * [backup-simplify]: Simplify 0.1 into 0.1 5.319 * [taylor]: Taking taylor expansion of (+ x y) in x 5.319 * [taylor]: Taking taylor expansion of x in x 5.319 * [backup-simplify]: Simplify 0 into 0 5.319 * [backup-simplify]: Simplify 1 into 1 5.319 * [taylor]: Taking taylor expansion of y in x 5.319 * [backup-simplify]: Simplify y into y 5.319 * [backup-simplify]: Simplify (+ 0 y) into y 5.319 * [backup-simplify]: Simplify (* 0.1 y) into (* 0.1 y) 5.319 * [taylor]: Taking taylor expansion of (* 0.1 y) in y 5.319 * [taylor]: Taking taylor expansion of 0.1 in y 5.319 * [backup-simplify]: Simplify 0.1 into 0.1 5.319 * [taylor]: Taking taylor expansion of y in y 5.319 * [backup-simplify]: Simplify 0 into 0 5.319 * [backup-simplify]: Simplify 1 into 1 5.320 * [backup-simplify]: Simplify (* 0.1 0) into 0 5.320 * [backup-simplify]: Simplify 0 into 0 5.320 * [backup-simplify]: Simplify (+ 1 0) into 1 5.320 * [backup-simplify]: Simplify (+ (* 0.1 1) (* 0 y)) into 0.1 5.320 * [taylor]: Taking taylor expansion of 0.1 in y 5.320 * [backup-simplify]: Simplify 0.1 into 0.1 5.320 * [backup-simplify]: Simplify 0.1 into 0.1 5.321 * [backup-simplify]: Simplify (+ (* 0.1 1) (* 0 0)) into 0.1 5.321 * [backup-simplify]: Simplify 0.1 into 0.1 5.322 * [backup-simplify]: Simplify (+ 0 0) into 0 5.322 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 1) (* 0 y))) into 0 5.322 * [taylor]: Taking taylor expansion of 0 in y 5.322 * [backup-simplify]: Simplify 0 into 0 5.322 * [backup-simplify]: Simplify 0 into 0 5.322 * [backup-simplify]: Simplify 0 into 0 5.323 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 1) (* 0 0))) into 0 5.323 * [backup-simplify]: Simplify 0 into 0 5.323 * [backup-simplify]: Simplify (+ 0 0) into 0 5.324 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 1) (* 0 y)))) into 0 5.324 * [taylor]: Taking taylor expansion of 0 in y 5.324 * [backup-simplify]: Simplify 0 into 0 5.324 * [backup-simplify]: Simplify 0 into 0 5.324 * [backup-simplify]: Simplify 0 into 0 5.324 * [backup-simplify]: Simplify 0 into 0 5.324 * [backup-simplify]: Simplify (+ (* 0.1 (* y 1)) (* 0.1 (* 1 x))) into (+ (* 0.1 x) (* 0.1 y)) 5.324 * [backup-simplify]: Simplify (* 0.1 (+ (/ 1 x) (/ 1 y))) into (* 0.1 (+ (/ 1 y) (/ 1 x))) 5.324 * [approximate]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in (x y) around 0 5.324 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in y 5.324 * [taylor]: Taking taylor expansion of 0.1 in y 5.324 * [backup-simplify]: Simplify 0.1 into 0.1 5.324 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 5.324 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.324 * [taylor]: Taking taylor expansion of y in y 5.324 * [backup-simplify]: Simplify 0 into 0 5.324 * [backup-simplify]: Simplify 1 into 1 5.325 * [backup-simplify]: Simplify (/ 1 1) into 1 5.325 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.325 * [taylor]: Taking taylor expansion of x in y 5.325 * [backup-simplify]: Simplify x into x 5.325 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.325 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in x 5.325 * [taylor]: Taking taylor expansion of 0.1 in x 5.325 * [backup-simplify]: Simplify 0.1 into 0.1 5.325 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 5.325 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.325 * [taylor]: Taking taylor expansion of y in x 5.325 * [backup-simplify]: Simplify y into y 5.325 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.325 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.325 * [taylor]: Taking taylor expansion of x in x 5.325 * [backup-simplify]: Simplify 0 into 0 5.325 * [backup-simplify]: Simplify 1 into 1 5.326 * [backup-simplify]: Simplify (/ 1 1) into 1 5.326 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in x 5.326 * [taylor]: Taking taylor expansion of 0.1 in x 5.326 * [backup-simplify]: Simplify 0.1 into 0.1 5.326 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 5.326 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.326 * [taylor]: Taking taylor expansion of y in x 5.326 * [backup-simplify]: Simplify y into y 5.326 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.326 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.326 * [taylor]: Taking taylor expansion of x in x 5.326 * [backup-simplify]: Simplify 0 into 0 5.326 * [backup-simplify]: Simplify 1 into 1 5.326 * [backup-simplify]: Simplify (/ 1 1) into 1 5.327 * [backup-simplify]: Simplify (+ 0 1) into 1 5.327 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 5.327 * [taylor]: Taking taylor expansion of 0.1 in y 5.327 * [backup-simplify]: Simplify 0.1 into 0.1 5.328 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.328 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 5.329 * [backup-simplify]: Simplify (+ (* 0.1 (/ 1 y)) (* 0 1)) into (* 0.1 (/ 1 y)) 5.329 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 5.329 * [taylor]: Taking taylor expansion of 0.1 in y 5.329 * [backup-simplify]: Simplify 0.1 into 0.1 5.329 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.329 * [taylor]: Taking taylor expansion of y in y 5.329 * [backup-simplify]: Simplify 0 into 0 5.329 * [backup-simplify]: Simplify 1 into 1 5.329 * [backup-simplify]: Simplify (/ 1 1) into 1 5.330 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 5.330 * [backup-simplify]: Simplify 0.1 into 0.1 5.330 * [backup-simplify]: Simplify 0.1 into 0.1 5.330 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.331 * [backup-simplify]: Simplify (+ 0 0) into 0 5.332 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 5.332 * [taylor]: Taking taylor expansion of 0 in y 5.332 * [backup-simplify]: Simplify 0 into 0 5.333 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.334 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 1)) into 0 5.334 * [backup-simplify]: Simplify 0 into 0 5.334 * [backup-simplify]: Simplify 0 into 0 5.334 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.335 * [backup-simplify]: Simplify (+ 0 0) into 0 5.336 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 5.336 * [taylor]: Taking taylor expansion of 0 in y 5.336 * [backup-simplify]: Simplify 0 into 0 5.336 * [backup-simplify]: Simplify 0 into 0 5.337 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.338 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 1))) into 0 5.338 * [backup-simplify]: Simplify 0 into 0 5.338 * [backup-simplify]: Simplify 0 into 0 5.338 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.340 * [backup-simplify]: Simplify (+ 0 0) into 0 5.341 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0 5.342 * [taylor]: Taking taylor expansion of 0 in y 5.342 * [backup-simplify]: Simplify 0 into 0 5.342 * [backup-simplify]: Simplify 0 into 0 5.342 * [backup-simplify]: Simplify (+ (* 0.1 (* 1 (/ 1 (/ 1 x)))) (* 0.1 (* (/ 1 (/ 1 y)) 1))) into (+ (* 0.1 x) (* 0.1 y)) 5.342 * [backup-simplify]: Simplify (* 0.1 (+ (/ 1 (- x)) (/ 1 (- y)))) into (* -0.1 (+ (/ 1 y) (/ 1 x))) 5.342 * [approximate]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in (x y) around 0 5.342 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in y 5.342 * [taylor]: Taking taylor expansion of -0.1 in y 5.342 * [backup-simplify]: Simplify -0.1 into -0.1 5.342 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 5.342 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.342 * [taylor]: Taking taylor expansion of y in y 5.342 * [backup-simplify]: Simplify 0 into 0 5.342 * [backup-simplify]: Simplify 1 into 1 5.343 * [backup-simplify]: Simplify (/ 1 1) into 1 5.343 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.343 * [taylor]: Taking taylor expansion of x in y 5.343 * [backup-simplify]: Simplify x into x 5.343 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.343 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in x 5.343 * [taylor]: Taking taylor expansion of -0.1 in x 5.343 * [backup-simplify]: Simplify -0.1 into -0.1 5.343 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 5.343 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.343 * [taylor]: Taking taylor expansion of y in x 5.343 * [backup-simplify]: Simplify y into y 5.343 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.343 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.343 * [taylor]: Taking taylor expansion of x in x 5.343 * [backup-simplify]: Simplify 0 into 0 5.343 * [backup-simplify]: Simplify 1 into 1 5.344 * [backup-simplify]: Simplify (/ 1 1) into 1 5.344 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in x 5.344 * [taylor]: Taking taylor expansion of -0.1 in x 5.344 * [backup-simplify]: Simplify -0.1 into -0.1 5.344 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 5.344 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.344 * [taylor]: Taking taylor expansion of y in x 5.344 * [backup-simplify]: Simplify y into y 5.344 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.344 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.344 * [taylor]: Taking taylor expansion of x in x 5.344 * [backup-simplify]: Simplify 0 into 0 5.344 * [backup-simplify]: Simplify 1 into 1 5.345 * [backup-simplify]: Simplify (/ 1 1) into 1 5.345 * [backup-simplify]: Simplify (+ 0 1) into 1 5.345 * [backup-simplify]: Simplify (* -0.1 1) into -0.1 5.345 * [taylor]: Taking taylor expansion of -0.1 in y 5.346 * [backup-simplify]: Simplify -0.1 into -0.1 5.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.346 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 5.347 * [backup-simplify]: Simplify (+ (* -0.1 (/ 1 y)) (* 0 1)) into (- (* 0.1 (/ 1 y))) 5.347 * [taylor]: Taking taylor expansion of (- (* 0.1 (/ 1 y))) in y 5.347 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 5.347 * [taylor]: Taking taylor expansion of 0.1 in y 5.347 * [backup-simplify]: Simplify 0.1 into 0.1 5.347 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.347 * [taylor]: Taking taylor expansion of y in y 5.347 * [backup-simplify]: Simplify 0 into 0 5.347 * [backup-simplify]: Simplify 1 into 1 5.347 * [backup-simplify]: Simplify (/ 1 1) into 1 5.348 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 5.348 * [backup-simplify]: Simplify (- 0.1) into (- 0.1) 5.349 * [backup-simplify]: Simplify (- 0.1) into (- 0.1) 5.349 * [backup-simplify]: Simplify -0.1 into -0.1 5.349 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.350 * [backup-simplify]: Simplify (+ 0 0) into 0 5.351 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 5.351 * [taylor]: Taking taylor expansion of 0 in y 5.351 * [backup-simplify]: Simplify 0 into 0 5.352 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.352 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 1)) into 0 5.353 * [backup-simplify]: Simplify (- 0) into 0 5.353 * [backup-simplify]: Simplify 0 into 0 5.353 * [backup-simplify]: Simplify 0 into 0 5.353 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.354 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.355 * [backup-simplify]: Simplify (+ 0 0) into 0 5.356 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 5.356 * [taylor]: Taking taylor expansion of 0 in y 5.356 * [backup-simplify]: Simplify 0 into 0 5.356 * [backup-simplify]: Simplify 0 into 0 5.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.358 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 1))) into 0 5.358 * [backup-simplify]: Simplify (- 0) into 0 5.358 * [backup-simplify]: Simplify 0 into 0 5.358 * [backup-simplify]: Simplify 0 into 0 5.359 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.360 * [backup-simplify]: Simplify (+ 0 0) into 0 5.362 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0 5.362 * [taylor]: Taking taylor expansion of 0 in y 5.362 * [backup-simplify]: Simplify 0 into 0 5.362 * [backup-simplify]: Simplify 0 into 0 5.362 * [backup-simplify]: Simplify (+ (* -0.1 (* 1 (/ 1 (/ 1 (- x))))) (* (- 0.1) (* (/ 1 (/ 1 (- y))) 1))) into (+ (* 0.1 x) (* 0.1 y)) 5.362 * * * [progress]: simplifying candidates 5.363 * [simplify]: Simplifying: (expm1 (* 0.1 (+ x y))) (log1p (* 0.1 (+ x y))) (* 0.1 (+ x y)) (+ (log 0.1) (log (+ x y))) (log (* 0.1 (+ x y))) (exp (* 0.1 (+ x y))) (* (* (* 0.1 0.1) 0.1) (* (* (+ x y) (+ x y)) (+ x y))) (* (cbrt (* 0.1 (+ x y))) (cbrt (* 0.1 (+ x y)))) (cbrt (* 0.1 (+ x y))) (* (* (* 0.1 (+ x y)) (* 0.1 (+ x y))) (* 0.1 (+ x y))) (sqrt (* 0.1 (+ x y))) (sqrt (* 0.1 (+ x y))) (* (sqrt 0.1) (sqrt (+ x y))) (* (sqrt 0.1) (sqrt (+ x y))) (* 0.1 x) (* 0.1 y) (* x 0.1) (* y 0.1) (* 0.1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (* 0.1 (sqrt (+ x y))) (* 0.1 1) (* 0.1 1) (* (cbrt 0.1) (+ x y)) (* (sqrt 0.1) (+ x y)) (* 0.1 (+ x y)) (* 0.1 (+ (pow x 3) (pow y 3))) (* 0.1 (- (* x x) (* y y))) (+ (* 0.1 x) (* 0.1 y)) (+ (* 0.1 x) (* 0.1 y)) (+ (* 0.1 x) (* 0.1 y)) 5.364 * * [simplify]: Extracting # 0 : cost 0 5.364 * * [simplify]: Extracting # 1 : cost 0 5.364 * * [simplify]: Extracting # 2 : cost 0 5.365 * * [simplify]: Extracting # 3 : cost 0 5.365 * * [simplify]: Extracting # 4 : cost 0 5.365 * * [simplify]: Extracting # 5 : cost 0 5.365 * * [simplify]: iteration 0 : 48 enodes (cost 206 ) 5.380 * * [simplify]: Extracting # 0 : cost 0 5.380 * * [simplify]: Extracting # 1 : cost 0 5.380 * * [simplify]: Extracting # 2 : cost 0 5.380 * * [simplify]: Extracting # 3 : cost 0 5.380 * * [simplify]: Extracting # 4 : cost 0 5.380 * * [simplify]: iteration 1 : 130 enodes (cost 195 ) 5.442 * * [simplify]: Extracting # 0 : cost 0 5.443 * * [simplify]: Extracting # 1 : cost 0 5.443 * * [simplify]: Extracting # 2 : cost 0 5.444 * * [simplify]: Extracting # 3 : cost 0 5.444 * * [simplify]: Extracting # 4 : cost 0 5.444 * * [simplify]: iteration 2 : 405 enodes (cost 175 ) 5.852 * * [simplify]: Extracting # 0 : cost 0 5.854 * * [simplify]: Extracting # 1 : cost 0 5.855 * * [simplify]: Extracting # 2 : cost 0 5.856 * * [simplify]: Extracting # 3 : cost 0 5.857 * * [simplify]: Extracting # 4 : cost 0 5.858 * * [simplify]: iteration 3 : 1384 enodes (cost 175 ) 9.484 * * [simplify]: Extracting # 0 : cost 0 9.492 * * [simplify]: Extracting # 1 : cost 0 9.498 * * [simplify]: Extracting # 2 : cost 0 9.503 * * [simplify]: Extracting # 3 : cost 0 9.509 * * [simplify]: Extracting # 4 : cost 0 9.515 * * [simplify]: iteration 4 : 4681 enodes (cost 175 ) 10.919 * * [simplify]: Extracting # 0 : cost 0 10.923 * * [simplify]: Extracting # 1 : cost 0 10.927 * * [simplify]: iteration done: 5000 enodes (cost 175 ) 10.927 * [simplify]: Simplified to: (expm1 (* 0.1 (+ x y))) (log1p (* 0.1 (+ x y))) (* 0.1 (+ x y)) (log (* 0.1 (+ x y))) (log (* 0.1 (+ x y))) (exp (* 0.1 (+ x y))) (pow (* 0.1 (+ x y)) 3) (* (cbrt (* 0.1 (+ x y))) (cbrt (* 0.1 (+ x y)))) (cbrt (* 0.1 (+ x y))) (pow (* 0.1 (+ x y)) 3) (sqrt (* 0.1 (+ x y))) (sqrt (* 0.1 (+ x y))) (* (sqrt 0.1) (sqrt (+ x y))) (* (sqrt 0.1) (sqrt (+ x y))) (* 0.1 x) (* y 0.1) (* 0.1 x) (* y 0.1) (* 0.1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (* 0.1 (sqrt (+ x y))) 0.1 0.1 (* (cbrt 0.1) (+ x y)) (* (sqrt 0.1) (+ x y)) (* 0.1 (+ x y)) (* 0.1 (+ (pow x 3) (pow y 3))) (* 0.1 (- (* x x) (* y y))) (* 0.1 (+ x y)) (* 0.1 (+ x y)) (* 0.1 (+ x y)) 10.927 * * * [progress]: adding candidates to table 10.976 * * [progress]: iteration 3 / 4 10.976 * * * [progress]: picking best candidate 10.979 * * * * [pick]: Picked # 10.979 * * * [progress]: localizing error 10.994 * * * [progress]: generating rewritten candidates 10.994 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 11.089 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 11.107 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 11.115 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 11.131 * * * [progress]: generating series expansions 11.131 * * * * [progress]: [ 1 / 4 ] generating series at (2) 11.132 * [backup-simplify]: Simplify (* (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0)) into (* 0.1 (+ x y)) 11.132 * [approximate]: Taking taylor expansion of (* 0.1 (+ x y)) in (x y) around 0 11.132 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in y 11.132 * [taylor]: Taking taylor expansion of 0.1 in y 11.132 * [backup-simplify]: Simplify 0.1 into 0.1 11.132 * [taylor]: Taking taylor expansion of (+ x y) in y 11.132 * [taylor]: Taking taylor expansion of x in y 11.132 * [backup-simplify]: Simplify x into x 11.132 * [taylor]: Taking taylor expansion of y in y 11.132 * [backup-simplify]: Simplify 0 into 0 11.132 * [backup-simplify]: Simplify 1 into 1 11.132 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in x 11.132 * [taylor]: Taking taylor expansion of 0.1 in x 11.132 * [backup-simplify]: Simplify 0.1 into 0.1 11.132 * [taylor]: Taking taylor expansion of (+ x y) in x 11.132 * [taylor]: Taking taylor expansion of x in x 11.132 * [backup-simplify]: Simplify 0 into 0 11.132 * [backup-simplify]: Simplify 1 into 1 11.132 * [taylor]: Taking taylor expansion of y in x 11.132 * [backup-simplify]: Simplify y into y 11.132 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in x 11.132 * [taylor]: Taking taylor expansion of 0.1 in x 11.132 * [backup-simplify]: Simplify 0.1 into 0.1 11.132 * [taylor]: Taking taylor expansion of (+ x y) in x 11.132 * [taylor]: Taking taylor expansion of x in x 11.132 * [backup-simplify]: Simplify 0 into 0 11.132 * [backup-simplify]: Simplify 1 into 1 11.132 * [taylor]: Taking taylor expansion of y in x 11.132 * [backup-simplify]: Simplify y into y 11.132 * [backup-simplify]: Simplify (+ 0 y) into y 11.132 * [backup-simplify]: Simplify (* 0.1 y) into (* 0.1 y) 11.132 * [taylor]: Taking taylor expansion of (* 0.1 y) in y 11.132 * [taylor]: Taking taylor expansion of 0.1 in y 11.132 * [backup-simplify]: Simplify 0.1 into 0.1 11.132 * [taylor]: Taking taylor expansion of y in y 11.132 * [backup-simplify]: Simplify 0 into 0 11.132 * [backup-simplify]: Simplify 1 into 1 11.133 * [backup-simplify]: Simplify (* 0.1 0) into 0 11.133 * [backup-simplify]: Simplify 0 into 0 11.134 * [backup-simplify]: Simplify (+ 1 0) into 1 11.134 * [backup-simplify]: Simplify (+ (* 0.1 1) (* 0 y)) into 0.1 11.134 * [taylor]: Taking taylor expansion of 0.1 in y 11.134 * [backup-simplify]: Simplify 0.1 into 0.1 11.134 * [backup-simplify]: Simplify 0.1 into 0.1 11.135 * [backup-simplify]: Simplify (+ (* 0.1 1) (* 0 0)) into 0.1 11.135 * [backup-simplify]: Simplify 0.1 into 0.1 11.135 * [backup-simplify]: Simplify (+ 0 0) into 0 11.136 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 1) (* 0 y))) into 0 11.136 * [taylor]: Taking taylor expansion of 0 in y 11.136 * [backup-simplify]: Simplify 0 into 0 11.136 * [backup-simplify]: Simplify 0 into 0 11.136 * [backup-simplify]: Simplify 0 into 0 11.137 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 1) (* 0 0))) into 0 11.137 * [backup-simplify]: Simplify 0 into 0 11.137 * [backup-simplify]: Simplify (+ 0 0) into 0 11.138 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 1) (* 0 y)))) into 0 11.138 * [taylor]: Taking taylor expansion of 0 in y 11.138 * [backup-simplify]: Simplify 0 into 0 11.138 * [backup-simplify]: Simplify 0 into 0 11.138 * [backup-simplify]: Simplify 0 into 0 11.138 * [backup-simplify]: Simplify 0 into 0 11.138 * [backup-simplify]: Simplify (+ (* 0.1 (* y 1)) (* 0.1 (* 1 x))) into (+ (* 0.1 x) (* 0.1 y)) 11.138 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 x) (/ 1 y))) (/ (sqrt (+ (/ 1 x) (/ 1 y))) 10.0)) into (* 0.1 (+ (/ 1 y) (/ 1 x))) 11.138 * [approximate]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in (x y) around 0 11.138 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in y 11.138 * [taylor]: Taking taylor expansion of 0.1 in y 11.138 * [backup-simplify]: Simplify 0.1 into 0.1 11.138 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 11.138 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.138 * [taylor]: Taking taylor expansion of y in y 11.138 * [backup-simplify]: Simplify 0 into 0 11.138 * [backup-simplify]: Simplify 1 into 1 11.138 * [backup-simplify]: Simplify (/ 1 1) into 1 11.138 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.139 * [taylor]: Taking taylor expansion of x in y 11.139 * [backup-simplify]: Simplify x into x 11.139 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.139 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in x 11.139 * [taylor]: Taking taylor expansion of 0.1 in x 11.139 * [backup-simplify]: Simplify 0.1 into 0.1 11.139 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.139 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.139 * [taylor]: Taking taylor expansion of y in x 11.139 * [backup-simplify]: Simplify y into y 11.139 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.139 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.139 * [taylor]: Taking taylor expansion of x in x 11.139 * [backup-simplify]: Simplify 0 into 0 11.139 * [backup-simplify]: Simplify 1 into 1 11.139 * [backup-simplify]: Simplify (/ 1 1) into 1 11.139 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in x 11.139 * [taylor]: Taking taylor expansion of 0.1 in x 11.139 * [backup-simplify]: Simplify 0.1 into 0.1 11.139 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.139 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.139 * [taylor]: Taking taylor expansion of y in x 11.139 * [backup-simplify]: Simplify y into y 11.139 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.139 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.139 * [taylor]: Taking taylor expansion of x in x 11.139 * [backup-simplify]: Simplify 0 into 0 11.139 * [backup-simplify]: Simplify 1 into 1 11.140 * [backup-simplify]: Simplify (/ 1 1) into 1 11.140 * [backup-simplify]: Simplify (+ 0 1) into 1 11.140 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 11.140 * [taylor]: Taking taylor expansion of 0.1 in y 11.140 * [backup-simplify]: Simplify 0.1 into 0.1 11.141 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.141 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 11.141 * [backup-simplify]: Simplify (+ (* 0.1 (/ 1 y)) (* 0 1)) into (* 0.1 (/ 1 y)) 11.141 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 11.141 * [taylor]: Taking taylor expansion of 0.1 in y 11.141 * [backup-simplify]: Simplify 0.1 into 0.1 11.141 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.141 * [taylor]: Taking taylor expansion of y in y 11.141 * [backup-simplify]: Simplify 0 into 0 11.141 * [backup-simplify]: Simplify 1 into 1 11.141 * [backup-simplify]: Simplify (/ 1 1) into 1 11.142 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 11.142 * [backup-simplify]: Simplify 0.1 into 0.1 11.142 * [backup-simplify]: Simplify 0.1 into 0.1 11.142 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 11.142 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.143 * [backup-simplify]: Simplify (+ 0 0) into 0 11.143 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 11.143 * [taylor]: Taking taylor expansion of 0 in y 11.143 * [backup-simplify]: Simplify 0 into 0 11.144 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.144 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 1)) into 0 11.144 * [backup-simplify]: Simplify 0 into 0 11.144 * [backup-simplify]: Simplify 0 into 0 11.144 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.145 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.145 * [backup-simplify]: Simplify (+ 0 0) into 0 11.146 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 11.146 * [taylor]: Taking taylor expansion of 0 in y 11.146 * [backup-simplify]: Simplify 0 into 0 11.146 * [backup-simplify]: Simplify 0 into 0 11.146 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.147 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 1))) into 0 11.147 * [backup-simplify]: Simplify 0 into 0 11.147 * [backup-simplify]: Simplify 0 into 0 11.147 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.147 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.148 * [backup-simplify]: Simplify (+ 0 0) into 0 11.149 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0 11.149 * [taylor]: Taking taylor expansion of 0 in y 11.149 * [backup-simplify]: Simplify 0 into 0 11.149 * [backup-simplify]: Simplify 0 into 0 11.149 * [backup-simplify]: Simplify (+ (* 0.1 (* 1 (/ 1 (/ 1 x)))) (* 0.1 (* (/ 1 (/ 1 y)) 1))) into (+ (* 0.1 x) (* 0.1 y)) 11.150 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 (- x)) (/ 1 (- y)))) (/ (sqrt (+ (/ 1 (- x)) (/ 1 (- y)))) 10.0)) into (* 0.1 (pow (sqrt (- (+ (/ 1 y) (/ 1 x)))) 2)) 11.150 * [approximate]: Taking taylor expansion of (* 0.1 (pow (sqrt (- (+ (/ 1 y) (/ 1 x)))) 2)) in (x y) around 0 11.150 * [taylor]: Taking taylor expansion of (* 0.1 (pow (sqrt (- (+ (/ 1 y) (/ 1 x)))) 2)) in y 11.150 * [taylor]: Taking taylor expansion of 0.1 in y 11.150 * [backup-simplify]: Simplify 0.1 into 0.1 11.150 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 y) (/ 1 x)))) 2) in y 11.150 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in y 11.150 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in y 11.150 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 11.150 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.150 * [taylor]: Taking taylor expansion of y in y 11.150 * [backup-simplify]: Simplify 0 into 0 11.150 * [backup-simplify]: Simplify 1 into 1 11.150 * [backup-simplify]: Simplify (/ 1 1) into 1 11.151 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.151 * [taylor]: Taking taylor expansion of x in y 11.151 * [backup-simplify]: Simplify x into x 11.151 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.152 * [backup-simplify]: Simplify (+ 1 0) into 1 11.152 * [backup-simplify]: Simplify (- 1) into -1 11.153 * [backup-simplify]: Simplify (sqrt 0) into 0 11.153 * [backup-simplify]: Simplify (- 1) into -1 11.155 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 11.155 * [taylor]: Taking taylor expansion of (* 0.1 (pow (sqrt (- (+ (/ 1 y) (/ 1 x)))) 2)) in x 11.155 * [taylor]: Taking taylor expansion of 0.1 in x 11.155 * [backup-simplify]: Simplify 0.1 into 0.1 11.155 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 y) (/ 1 x)))) 2) in x 11.155 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in x 11.155 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x 11.155 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.155 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.155 * [taylor]: Taking taylor expansion of y in x 11.155 * [backup-simplify]: Simplify y into y 11.155 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.155 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.156 * [taylor]: Taking taylor expansion of x in x 11.156 * [backup-simplify]: Simplify 0 into 0 11.156 * [backup-simplify]: Simplify 1 into 1 11.156 * [backup-simplify]: Simplify (/ 1 1) into 1 11.157 * [backup-simplify]: Simplify (+ 0 1) into 1 11.157 * [backup-simplify]: Simplify (- 1) into -1 11.157 * [backup-simplify]: Simplify (sqrt 0) into 0 11.158 * [backup-simplify]: Simplify (- 1) into -1 11.159 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 11.159 * [taylor]: Taking taylor expansion of (* 0.1 (pow (sqrt (- (+ (/ 1 y) (/ 1 x)))) 2)) in x 11.159 * [taylor]: Taking taylor expansion of 0.1 in x 11.159 * [backup-simplify]: Simplify 0.1 into 0.1 11.159 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 y) (/ 1 x)))) 2) in x 11.159 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in x 11.159 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x 11.159 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.160 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.160 * [taylor]: Taking taylor expansion of y in x 11.160 * [backup-simplify]: Simplify y into y 11.160 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.160 * [taylor]: Taking taylor expansion of x in x 11.160 * [backup-simplify]: Simplify 0 into 0 11.160 * [backup-simplify]: Simplify 1 into 1 11.160 * [backup-simplify]: Simplify (/ 1 1) into 1 11.161 * [backup-simplify]: Simplify (+ 0 1) into 1 11.161 * [backup-simplify]: Simplify (- 1) into -1 11.161 * [backup-simplify]: Simplify (sqrt 0) into 0 11.162 * [backup-simplify]: Simplify (- 1) into -1 11.163 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 11.164 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 11.164 * [backup-simplify]: Simplify (* 0.1 +nan.0) into +nan.0 11.164 * [taylor]: Taking taylor expansion of +nan.0 in y 11.164 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.164 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.165 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.165 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 11.165 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 11.167 * [backup-simplify]: Simplify (/ (- (- (/ 1 y)) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (+ (/ 1 y) (- +nan.0))) 11.168 * [backup-simplify]: Simplify (+ (* +nan.0 (* +nan.0 (+ (/ 1 y) (- +nan.0)))) (* (* +nan.0 (+ (/ 1 y) (- +nan.0))) +nan.0)) into (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 11.169 * [backup-simplify]: Simplify (+ (* 0.1 (- (+ (* +nan.0 (/ 1 y)) (- +nan.0)))) (* 0 +nan.0)) into (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 11.169 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 11.169 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 11.169 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 11.169 * [taylor]: Taking taylor expansion of +nan.0 in y 11.169 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.169 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.169 * [taylor]: Taking taylor expansion of y in y 11.169 * [backup-simplify]: Simplify 0 into 0 11.170 * [backup-simplify]: Simplify 1 into 1 11.170 * [backup-simplify]: Simplify (/ 1 1) into 1 11.170 * [taylor]: Taking taylor expansion of (- +nan.0) in y 11.170 * [taylor]: Taking taylor expansion of +nan.0 in y 11.170 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.171 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.171 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 11.172 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.173 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 11.173 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 11.174 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.174 * [backup-simplify]: Simplify 0 into 0 11.174 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 11.175 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.175 * [backup-simplify]: Simplify (+ 0 0) into 0 11.176 * [backup-simplify]: Simplify (- 0) into 0 11.177 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (+ (/ 1 y) (- +nan.0))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 11.179 * [backup-simplify]: Simplify (+ (* +nan.0 (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0)))) (+ (* (* +nan.0 (+ (/ 1 y) (- +nan.0))) (* +nan.0 (+ (/ 1 y) (- +nan.0)))) (* (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) +nan.0))) into (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) 11.181 * [backup-simplify]: Simplify (+ (* 0.1 (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))))) (+ (* 0 (- (+ (* +nan.0 (/ 1 y)) (- +nan.0)))) (* 0 +nan.0))) into (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) 11.181 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) in y 11.181 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))) in y 11.181 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 11.181 * [taylor]: Taking taylor expansion of +nan.0 in y 11.181 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.181 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.181 * [taylor]: Taking taylor expansion of y in y 11.181 * [backup-simplify]: Simplify 0 into 0 11.181 * [backup-simplify]: Simplify 1 into 1 11.182 * [backup-simplify]: Simplify (/ 1 1) into 1 11.182 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))) in y 11.182 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)) in y 11.182 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y 11.182 * [taylor]: Taking taylor expansion of +nan.0 in y 11.182 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.182 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.182 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.182 * [taylor]: Taking taylor expansion of y in y 11.182 * [backup-simplify]: Simplify 0 into 0 11.182 * [backup-simplify]: Simplify 1 into 1 11.182 * [backup-simplify]: Simplify (* 1 1) into 1 11.183 * [backup-simplify]: Simplify (/ 1 1) into 1 11.183 * [taylor]: Taking taylor expansion of (- +nan.0) in y 11.183 * [taylor]: Taking taylor expansion of +nan.0 in y 11.183 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.184 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.184 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 11.185 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.186 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.187 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.187 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.188 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (* 0 1))) into 0 11.189 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.190 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 11.190 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 11.191 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 11.192 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 11.192 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.194 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (* 1 (/ 1 (- x))) 2)) (+ (* (- +nan.0) (* 1 (/ 1 (- x)))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 11.194 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 11.194 * [backup-simplify]: Simplify (/ (sqrt (+ x y)) 10.0) into (* 0.1 (sqrt (+ x y))) 11.194 * [approximate]: Taking taylor expansion of (* 0.1 (sqrt (+ x y))) in (x y) around 0 11.194 * [taylor]: Taking taylor expansion of (* 0.1 (sqrt (+ x y))) in y 11.194 * [taylor]: Taking taylor expansion of 0.1 in y 11.194 * [backup-simplify]: Simplify 0.1 into 0.1 11.194 * [taylor]: Taking taylor expansion of (sqrt (+ x y)) in y 11.194 * [taylor]: Taking taylor expansion of (+ x y) in y 11.194 * [taylor]: Taking taylor expansion of x in y 11.194 * [backup-simplify]: Simplify x into x 11.194 * [taylor]: Taking taylor expansion of y in y 11.194 * [backup-simplify]: Simplify 0 into 0 11.194 * [backup-simplify]: Simplify 1 into 1 11.194 * [backup-simplify]: Simplify (+ x 0) into x 11.194 * [backup-simplify]: Simplify (sqrt x) into (sqrt x) 11.195 * [backup-simplify]: Simplify (+ 0 1) into 1 11.195 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt x))) into (* 1/2 (sqrt (/ 1 x))) 11.195 * [taylor]: Taking taylor expansion of (* 0.1 (sqrt (+ x y))) in x 11.195 * [taylor]: Taking taylor expansion of 0.1 in x 11.195 * [backup-simplify]: Simplify 0.1 into 0.1 11.195 * [taylor]: Taking taylor expansion of (sqrt (+ x y)) in x 11.195 * [taylor]: Taking taylor expansion of (+ x y) in x 11.195 * [taylor]: Taking taylor expansion of x in x 11.195 * [backup-simplify]: Simplify 0 into 0 11.195 * [backup-simplify]: Simplify 1 into 1 11.195 * [taylor]: Taking taylor expansion of y in x 11.195 * [backup-simplify]: Simplify y into y 11.195 * [backup-simplify]: Simplify (+ 0 y) into y 11.195 * [backup-simplify]: Simplify (sqrt y) into (sqrt y) 11.196 * [backup-simplify]: Simplify (+ 1 0) into 1 11.196 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt y))) into (* 1/2 (sqrt (/ 1 y))) 11.196 * [taylor]: Taking taylor expansion of (* 0.1 (sqrt (+ x y))) in x 11.196 * [taylor]: Taking taylor expansion of 0.1 in x 11.196 * [backup-simplify]: Simplify 0.1 into 0.1 11.196 * [taylor]: Taking taylor expansion of (sqrt (+ x y)) in x 11.196 * [taylor]: Taking taylor expansion of (+ x y) in x 11.196 * [taylor]: Taking taylor expansion of x in x 11.196 * [backup-simplify]: Simplify 0 into 0 11.196 * [backup-simplify]: Simplify 1 into 1 11.196 * [taylor]: Taking taylor expansion of y in x 11.196 * [backup-simplify]: Simplify y into y 11.196 * [backup-simplify]: Simplify (+ 0 y) into y 11.196 * [backup-simplify]: Simplify (sqrt y) into (sqrt y) 11.197 * [backup-simplify]: Simplify (+ 1 0) into 1 11.197 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt y))) into (* 1/2 (sqrt (/ 1 y))) 11.197 * [backup-simplify]: Simplify (* 0.1 (sqrt y)) into (* 0.1 (sqrt y)) 11.197 * [taylor]: Taking taylor expansion of (* 0.1 (sqrt y)) in y 11.197 * [taylor]: Taking taylor expansion of 0.1 in y 11.197 * [backup-simplify]: Simplify 0.1 into 0.1 11.197 * [taylor]: Taking taylor expansion of (sqrt y) in y 11.197 * [taylor]: Taking taylor expansion of y in y 11.197 * [backup-simplify]: Simplify 0 into 0 11.197 * [backup-simplify]: Simplify 1 into 1 11.198 * [backup-simplify]: Simplify (sqrt 0) into 0 11.199 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.199 * [backup-simplify]: Simplify (* 0.1 0) into 0 11.199 * [backup-simplify]: Simplify 0 into 0 11.200 * [backup-simplify]: Simplify (+ (* 0.1 (* 1/2 (sqrt (/ 1 y)))) (* 0 (sqrt y))) into (* 0.05 (sqrt (/ 1 y))) 11.200 * [taylor]: Taking taylor expansion of (* 0.05 (sqrt (/ 1 y))) in y 11.200 * [taylor]: Taking taylor expansion of 0.05 in y 11.200 * [backup-simplify]: Simplify 0.05 into 0.05 11.200 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 11.200 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.200 * [taylor]: Taking taylor expansion of y in y 11.200 * [backup-simplify]: Simplify 0 into 0 11.200 * [backup-simplify]: Simplify 1 into 1 11.200 * [backup-simplify]: Simplify (/ 1 1) into 1 11.201 * [backup-simplify]: Simplify (sqrt 0) into 0 11.202 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.203 * [backup-simplify]: Simplify (+ (* 0.05 +nan.0) (* 0 0)) into (- +nan.0) 11.204 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.205 * [backup-simplify]: Simplify (+ (* 0.1 +nan.0) (* 0 0)) into (- +nan.0) 11.206 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.206 * [backup-simplify]: Simplify (+ 0 0) into 0 11.207 * [backup-simplify]: Simplify (/ (- 0 (pow (* 1/2 (sqrt (/ 1 y))) 2) (+)) (* 2 (sqrt y))) into (* -1/8 (sqrt (/ 1 (pow y 3)))) 11.207 * [backup-simplify]: Simplify (+ (* 0.1 (* -1/8 (sqrt (/ 1 (pow y 3))))) (+ (* 0 (* 1/2 (sqrt (/ 1 y)))) (* 0 (sqrt y)))) into (- (* 0.0125 (sqrt (/ 1 (pow y 3))))) 11.207 * [taylor]: Taking taylor expansion of (- (* 0.0125 (sqrt (/ 1 (pow y 3))))) in y 11.207 * [taylor]: Taking taylor expansion of (* 0.0125 (sqrt (/ 1 (pow y 3)))) in y 11.208 * [taylor]: Taking taylor expansion of 0.0125 in y 11.208 * [backup-simplify]: Simplify 0.0125 into 0.0125 11.208 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow y 3))) in y 11.208 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 11.208 * [taylor]: Taking taylor expansion of (pow y 3) in y 11.208 * [taylor]: Taking taylor expansion of y in y 11.208 * [backup-simplify]: Simplify 0 into 0 11.208 * [backup-simplify]: Simplify 1 into 1 11.208 * [backup-simplify]: Simplify (* 1 1) into 1 11.209 * [backup-simplify]: Simplify (* 1 1) into 1 11.209 * [backup-simplify]: Simplify (/ 1 1) into 1 11.209 * [backup-simplify]: Simplify (sqrt 0) into 0 11.211 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.212 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.212 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.213 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.215 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 11.216 * [backup-simplify]: Simplify (+ (* 0.0125 +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- +nan.0) 11.216 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 11.216 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.217 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (* 1 x) 2)) (+ (* (- +nan.0) (* y 1)) (* (- +nan.0) (* 1 x)))) into (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 y)))))) 11.217 * [backup-simplify]: Simplify (/ (sqrt (+ (/ 1 x) (/ 1 y))) 10.0) into (* 0.1 (sqrt (+ (/ 1 y) (/ 1 x)))) 11.218 * [approximate]: Taking taylor expansion of (* 0.1 (sqrt (+ (/ 1 y) (/ 1 x)))) in (x y) around 0 11.218 * [taylor]: Taking taylor expansion of (* 0.1 (sqrt (+ (/ 1 y) (/ 1 x)))) in y 11.218 * [taylor]: Taking taylor expansion of 0.1 in y 11.218 * [backup-simplify]: Simplify 0.1 into 0.1 11.218 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) (/ 1 x))) in y 11.218 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 11.218 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.218 * [taylor]: Taking taylor expansion of y in y 11.218 * [backup-simplify]: Simplify 0 into 0 11.218 * [backup-simplify]: Simplify 1 into 1 11.218 * [backup-simplify]: Simplify (/ 1 1) into 1 11.218 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.218 * [taylor]: Taking taylor expansion of x in y 11.218 * [backup-simplify]: Simplify x into x 11.218 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.218 * [backup-simplify]: Simplify (+ 1 0) into 1 11.219 * [backup-simplify]: Simplify (sqrt 0) into 0 11.219 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.219 * [taylor]: Taking taylor expansion of (* 0.1 (sqrt (+ (/ 1 y) (/ 1 x)))) in x 11.219 * [taylor]: Taking taylor expansion of 0.1 in x 11.219 * [backup-simplify]: Simplify 0.1 into 0.1 11.219 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) (/ 1 x))) in x 11.219 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.219 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.219 * [taylor]: Taking taylor expansion of y in x 11.219 * [backup-simplify]: Simplify y into y 11.220 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.220 * [taylor]: Taking taylor expansion of x in x 11.220 * [backup-simplify]: Simplify 0 into 0 11.220 * [backup-simplify]: Simplify 1 into 1 11.220 * [backup-simplify]: Simplify (/ 1 1) into 1 11.220 * [backup-simplify]: Simplify (+ 0 1) into 1 11.220 * [backup-simplify]: Simplify (sqrt 0) into 0 11.221 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.221 * [taylor]: Taking taylor expansion of (* 0.1 (sqrt (+ (/ 1 y) (/ 1 x)))) in x 11.221 * [taylor]: Taking taylor expansion of 0.1 in x 11.221 * [backup-simplify]: Simplify 0.1 into 0.1 11.221 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) (/ 1 x))) in x 11.221 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.221 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.221 * [taylor]: Taking taylor expansion of y in x 11.221 * [backup-simplify]: Simplify y into y 11.221 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.221 * [taylor]: Taking taylor expansion of x in x 11.221 * [backup-simplify]: Simplify 0 into 0 11.221 * [backup-simplify]: Simplify 1 into 1 11.222 * [backup-simplify]: Simplify (/ 1 1) into 1 11.222 * [backup-simplify]: Simplify (+ 0 1) into 1 11.222 * [backup-simplify]: Simplify (sqrt 0) into 0 11.223 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.223 * [backup-simplify]: Simplify (* 0.1 0) into 0 11.223 * [taylor]: Taking taylor expansion of 0 in y 11.223 * [backup-simplify]: Simplify 0 into 0 11.224 * [backup-simplify]: Simplify (+ (* 0.1 +nan.0) (* 0 0)) into (- +nan.0) 11.224 * [taylor]: Taking taylor expansion of (- +nan.0) in y 11.224 * [taylor]: Taking taylor expansion of +nan.0 in y 11.224 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.224 * [backup-simplify]: Simplify 0 into 0 11.225 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.225 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 11.225 * [backup-simplify]: Simplify (/ (- (/ 1 y) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (- (/ 1 y) +nan.0)) 11.226 * [backup-simplify]: Simplify (+ (* 0.1 (* +nan.0 (- (/ 1 y) +nan.0))) (+ (* 0 +nan.0) (* 0 0))) into (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 11.226 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 11.226 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 11.226 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 11.226 * [taylor]: Taking taylor expansion of +nan.0 in y 11.226 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.226 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.226 * [taylor]: Taking taylor expansion of y in y 11.226 * [backup-simplify]: Simplify 0 into 0 11.226 * [backup-simplify]: Simplify 1 into 1 11.226 * [backup-simplify]: Simplify (/ 1 1) into 1 11.226 * [taylor]: Taking taylor expansion of (- +nan.0) in y 11.226 * [taylor]: Taking taylor expansion of +nan.0 in y 11.226 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.227 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 11.227 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 11.227 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 11.228 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.228 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.228 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.228 * [backup-simplify]: Simplify 0 into 0 11.228 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 11.229 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.229 * [backup-simplify]: Simplify (+ 0 0) into 0 11.229 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (- (/ 1 y) +nan.0)))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 11.230 * [backup-simplify]: Simplify (+ (* 0.1 (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0)))) (+ (* 0 (* +nan.0 (- (/ 1 y) +nan.0))) (+ (* 0 +nan.0) (* 0 0)))) into (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 11.230 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 11.230 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 11.230 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 11.230 * [taylor]: Taking taylor expansion of +nan.0 in y 11.230 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.230 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.230 * [taylor]: Taking taylor expansion of y in y 11.230 * [backup-simplify]: Simplify 0 into 0 11.230 * [backup-simplify]: Simplify 1 into 1 11.231 * [backup-simplify]: Simplify (/ 1 1) into 1 11.231 * [taylor]: Taking taylor expansion of (- +nan.0) in y 11.231 * [taylor]: Taking taylor expansion of +nan.0 in y 11.231 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.231 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 11.231 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 11.236 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 11.236 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.237 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 y)) (pow (/ 1 x) 2))) (+ (- +nan.0) (* (- +nan.0) (* (/ 1 (/ 1 y)) (/ 1 x))))) into (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- +nan.0))))) 11.237 * [backup-simplify]: Simplify (/ (sqrt (+ (/ 1 (- x)) (/ 1 (- y)))) 10.0) into (* 0.1 (sqrt (- (+ (/ 1 y) (/ 1 x))))) 11.237 * [approximate]: Taking taylor expansion of (* 0.1 (sqrt (- (+ (/ 1 y) (/ 1 x))))) in (x y) around 0 11.237 * [taylor]: Taking taylor expansion of (* 0.1 (sqrt (- (+ (/ 1 y) (/ 1 x))))) in y 11.237 * [taylor]: Taking taylor expansion of 0.1 in y 11.237 * [backup-simplify]: Simplify 0.1 into 0.1 11.237 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in y 11.237 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in y 11.237 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 11.237 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.237 * [taylor]: Taking taylor expansion of y in y 11.237 * [backup-simplify]: Simplify 0 into 0 11.237 * [backup-simplify]: Simplify 1 into 1 11.238 * [backup-simplify]: Simplify (/ 1 1) into 1 11.238 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.238 * [taylor]: Taking taylor expansion of x in y 11.238 * [backup-simplify]: Simplify x into x 11.238 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.238 * [backup-simplify]: Simplify (+ 1 0) into 1 11.238 * [backup-simplify]: Simplify (- 1) into -1 11.238 * [backup-simplify]: Simplify (sqrt 0) into 0 11.239 * [backup-simplify]: Simplify (- 1) into -1 11.240 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 11.240 * [taylor]: Taking taylor expansion of (* 0.1 (sqrt (- (+ (/ 1 y) (/ 1 x))))) in x 11.240 * [taylor]: Taking taylor expansion of 0.1 in x 11.240 * [backup-simplify]: Simplify 0.1 into 0.1 11.240 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in x 11.240 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x 11.240 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.240 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.240 * [taylor]: Taking taylor expansion of y in x 11.240 * [backup-simplify]: Simplify y into y 11.240 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.240 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.240 * [taylor]: Taking taylor expansion of x in x 11.240 * [backup-simplify]: Simplify 0 into 0 11.240 * [backup-simplify]: Simplify 1 into 1 11.240 * [backup-simplify]: Simplify (/ 1 1) into 1 11.240 * [backup-simplify]: Simplify (+ 0 1) into 1 11.241 * [backup-simplify]: Simplify (- 1) into -1 11.241 * [backup-simplify]: Simplify (sqrt 0) into 0 11.241 * [backup-simplify]: Simplify (- 1) into -1 11.242 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 11.242 * [taylor]: Taking taylor expansion of (* 0.1 (sqrt (- (+ (/ 1 y) (/ 1 x))))) in x 11.242 * [taylor]: Taking taylor expansion of 0.1 in x 11.242 * [backup-simplify]: Simplify 0.1 into 0.1 11.242 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in x 11.242 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x 11.242 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.242 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.242 * [taylor]: Taking taylor expansion of y in x 11.242 * [backup-simplify]: Simplify y into y 11.242 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.242 * [taylor]: Taking taylor expansion of x in x 11.242 * [backup-simplify]: Simplify 0 into 0 11.242 * [backup-simplify]: Simplify 1 into 1 11.242 * [backup-simplify]: Simplify (/ 1 1) into 1 11.243 * [backup-simplify]: Simplify (+ 0 1) into 1 11.243 * [backup-simplify]: Simplify (- 1) into -1 11.243 * [backup-simplify]: Simplify (sqrt 0) into 0 11.243 * [backup-simplify]: Simplify (- 1) into -1 11.244 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 11.244 * [backup-simplify]: Simplify (* 0.1 0) into 0 11.244 * [taylor]: Taking taylor expansion of 0 in y 11.245 * [backup-simplify]: Simplify 0 into 0 11.246 * [backup-simplify]: Simplify (+ (* 0.1 +nan.0) (* 0 0)) into (- +nan.0) 11.246 * [taylor]: Taking taylor expansion of (- +nan.0) in y 11.246 * [taylor]: Taking taylor expansion of +nan.0 in y 11.246 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.246 * [backup-simplify]: Simplify 0 into 0 11.247 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.247 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 11.247 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 11.248 * [backup-simplify]: Simplify (/ (- (- (/ 1 y)) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (+ (/ 1 y) (- +nan.0))) 11.250 * [backup-simplify]: Simplify (+ (* 0.1 (* +nan.0 (+ (/ 1 y) (- +nan.0)))) (+ (* 0 +nan.0) (* 0 0))) into (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 11.250 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 11.250 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 11.250 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 11.250 * [taylor]: Taking taylor expansion of +nan.0 in y 11.250 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.250 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.250 * [taylor]: Taking taylor expansion of y in y 11.250 * [backup-simplify]: Simplify 0 into 0 11.250 * [backup-simplify]: Simplify 1 into 1 11.250 * [backup-simplify]: Simplify (/ 1 1) into 1 11.250 * [taylor]: Taking taylor expansion of (- +nan.0) in y 11.250 * [taylor]: Taking taylor expansion of +nan.0 in y 11.250 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.251 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 11.251 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 11.252 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 11.252 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.253 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.253 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.253 * [backup-simplify]: Simplify 0 into 0 11.253 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 11.254 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.255 * [backup-simplify]: Simplify (+ 0 0) into 0 11.255 * [backup-simplify]: Simplify (- 0) into 0 11.256 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (+ (/ 1 y) (- +nan.0))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 11.258 * [backup-simplify]: Simplify (+ (* 0.1 (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0)))) (+ (* 0 (* +nan.0 (+ (/ 1 y) (- +nan.0)))) (+ (* 0 +nan.0) (* 0 0)))) into (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 11.258 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 11.258 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 11.258 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 11.258 * [taylor]: Taking taylor expansion of +nan.0 in y 11.258 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.258 * [taylor]: Taking taylor expansion of y in y 11.258 * [backup-simplify]: Simplify 0 into 0 11.258 * [backup-simplify]: Simplify 1 into 1 11.258 * [backup-simplify]: Simplify (/ 1 1) into 1 11.258 * [taylor]: Taking taylor expansion of (- +nan.0) in y 11.258 * [taylor]: Taking taylor expansion of +nan.0 in y 11.258 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.259 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 11.259 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 11.260 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 11.260 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.262 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 (- y))) (pow (/ 1 (- x)) 2))) (+ (- +nan.0) (* (- +nan.0) (* (/ 1 (/ 1 (- y))) (/ 1 (- x)))))) into (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- +nan.0))))) 11.262 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 11.262 * [backup-simplify]: Simplify (sqrt (+ x y)) into (sqrt (+ x y)) 11.262 * [approximate]: Taking taylor expansion of (sqrt (+ x y)) in (x y) around 0 11.262 * [taylor]: Taking taylor expansion of (sqrt (+ x y)) in y 11.262 * [taylor]: Taking taylor expansion of (+ x y) in y 11.263 * [taylor]: Taking taylor expansion of x in y 11.263 * [backup-simplify]: Simplify x into x 11.263 * [taylor]: Taking taylor expansion of y in y 11.263 * [backup-simplify]: Simplify 0 into 0 11.263 * [backup-simplify]: Simplify 1 into 1 11.263 * [backup-simplify]: Simplify (+ x 0) into x 11.263 * [backup-simplify]: Simplify (sqrt x) into (sqrt x) 11.263 * [backup-simplify]: Simplify (+ 0 1) into 1 11.263 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt x))) into (* 1/2 (sqrt (/ 1 x))) 11.263 * [taylor]: Taking taylor expansion of (sqrt (+ x y)) in x 11.263 * [taylor]: Taking taylor expansion of (+ x y) in x 11.263 * [taylor]: Taking taylor expansion of x in x 11.263 * [backup-simplify]: Simplify 0 into 0 11.263 * [backup-simplify]: Simplify 1 into 1 11.264 * [taylor]: Taking taylor expansion of y in x 11.264 * [backup-simplify]: Simplify y into y 11.264 * [backup-simplify]: Simplify (+ 0 y) into y 11.264 * [backup-simplify]: Simplify (sqrt y) into (sqrt y) 11.264 * [backup-simplify]: Simplify (+ 1 0) into 1 11.264 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt y))) into (* 1/2 (sqrt (/ 1 y))) 11.264 * [taylor]: Taking taylor expansion of (sqrt (+ x y)) in x 11.264 * [taylor]: Taking taylor expansion of (+ x y) in x 11.264 * [taylor]: Taking taylor expansion of x in x 11.264 * [backup-simplify]: Simplify 0 into 0 11.264 * [backup-simplify]: Simplify 1 into 1 11.264 * [taylor]: Taking taylor expansion of y in x 11.264 * [backup-simplify]: Simplify y into y 11.264 * [backup-simplify]: Simplify (+ 0 y) into y 11.265 * [backup-simplify]: Simplify (sqrt y) into (sqrt y) 11.265 * [backup-simplify]: Simplify (+ 1 0) into 1 11.265 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt y))) into (* 1/2 (sqrt (/ 1 y))) 11.265 * [taylor]: Taking taylor expansion of (sqrt y) in y 11.265 * [taylor]: Taking taylor expansion of y in y 11.265 * [backup-simplify]: Simplify 0 into 0 11.265 * [backup-simplify]: Simplify 1 into 1 11.266 * [backup-simplify]: Simplify (sqrt 0) into 0 11.267 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.267 * [backup-simplify]: Simplify 0 into 0 11.267 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 y))) in y 11.267 * [taylor]: Taking taylor expansion of 1/2 in y 11.267 * [backup-simplify]: Simplify 1/2 into 1/2 11.267 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 11.267 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.267 * [taylor]: Taking taylor expansion of y in y 11.267 * [backup-simplify]: Simplify 0 into 0 11.267 * [backup-simplify]: Simplify 1 into 1 11.268 * [backup-simplify]: Simplify (/ 1 1) into 1 11.268 * [backup-simplify]: Simplify (sqrt 0) into 0 11.270 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.271 * [backup-simplify]: Simplify (+ (* 1/2 +nan.0) (* 0 0)) into (- +nan.0) 11.271 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.271 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.272 * [backup-simplify]: Simplify (+ 0 0) into 0 11.273 * [backup-simplify]: Simplify (/ (- 0 (pow (* 1/2 (sqrt (/ 1 y))) 2) (+)) (* 2 (sqrt y))) into (* -1/8 (sqrt (/ 1 (pow y 3)))) 11.273 * [taylor]: Taking taylor expansion of (* -1/8 (sqrt (/ 1 (pow y 3)))) in y 11.273 * [taylor]: Taking taylor expansion of -1/8 in y 11.273 * [backup-simplify]: Simplify -1/8 into -1/8 11.273 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow y 3))) in y 11.273 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 11.273 * [taylor]: Taking taylor expansion of (pow y 3) in y 11.273 * [taylor]: Taking taylor expansion of y in y 11.273 * [backup-simplify]: Simplify 0 into 0 11.273 * [backup-simplify]: Simplify 1 into 1 11.273 * [backup-simplify]: Simplify (* 1 1) into 1 11.273 * [backup-simplify]: Simplify (* 1 1) into 1 11.274 * [backup-simplify]: Simplify (/ 1 1) into 1 11.274 * [backup-simplify]: Simplify (sqrt 0) into 0 11.276 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.276 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.277 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.277 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.281 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 11.283 * [backup-simplify]: Simplify (+ (* -1/8 +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- +nan.0) 11.283 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.284 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (* 1 x) 2)) (+ (* +nan.0 (* y 1)) (* (- +nan.0) (* 1 x)))) into (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 y)))))) 11.284 * [backup-simplify]: Simplify (sqrt (+ (/ 1 x) (/ 1 y))) into (sqrt (+ (/ 1 y) (/ 1 x))) 11.284 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 y) (/ 1 x))) in (x y) around 0 11.284 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) (/ 1 x))) in y 11.284 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 11.284 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.284 * [taylor]: Taking taylor expansion of y in y 11.285 * [backup-simplify]: Simplify 0 into 0 11.285 * [backup-simplify]: Simplify 1 into 1 11.285 * [backup-simplify]: Simplify (/ 1 1) into 1 11.285 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.285 * [taylor]: Taking taylor expansion of x in y 11.285 * [backup-simplify]: Simplify x into x 11.285 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.286 * [backup-simplify]: Simplify (+ 1 0) into 1 11.286 * [backup-simplify]: Simplify (sqrt 0) into 0 11.287 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.287 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) (/ 1 x))) in x 11.287 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.287 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.287 * [taylor]: Taking taylor expansion of y in x 11.287 * [backup-simplify]: Simplify y into y 11.288 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.288 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.288 * [taylor]: Taking taylor expansion of x in x 11.288 * [backup-simplify]: Simplify 0 into 0 11.288 * [backup-simplify]: Simplify 1 into 1 11.288 * [backup-simplify]: Simplify (/ 1 1) into 1 11.288 * [backup-simplify]: Simplify (+ 0 1) into 1 11.289 * [backup-simplify]: Simplify (sqrt 0) into 0 11.290 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.290 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) (/ 1 x))) in x 11.290 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.290 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.290 * [taylor]: Taking taylor expansion of y in x 11.290 * [backup-simplify]: Simplify y into y 11.290 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.290 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.290 * [taylor]: Taking taylor expansion of x in x 11.290 * [backup-simplify]: Simplify 0 into 0 11.290 * [backup-simplify]: Simplify 1 into 1 11.291 * [backup-simplify]: Simplify (/ 1 1) into 1 11.291 * [backup-simplify]: Simplify (+ 0 1) into 1 11.292 * [backup-simplify]: Simplify (sqrt 0) into 0 11.293 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.293 * [taylor]: Taking taylor expansion of 0 in y 11.293 * [backup-simplify]: Simplify 0 into 0 11.293 * [taylor]: Taking taylor expansion of +nan.0 in y 11.293 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.293 * [backup-simplify]: Simplify 0 into 0 11.294 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.294 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 11.295 * [backup-simplify]: Simplify (/ (- (/ 1 y) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (- (/ 1 y) +nan.0)) 11.295 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 y) +nan.0)) in y 11.295 * [taylor]: Taking taylor expansion of +nan.0 in y 11.295 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.296 * [taylor]: Taking taylor expansion of (- (/ 1 y) +nan.0) in y 11.296 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.296 * [taylor]: Taking taylor expansion of y in y 11.296 * [backup-simplify]: Simplify 0 into 0 11.296 * [backup-simplify]: Simplify 1 into 1 11.296 * [backup-simplify]: Simplify (/ 1 1) into 1 11.296 * [taylor]: Taking taylor expansion of +nan.0 in y 11.296 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.297 * [backup-simplify]: Simplify (+ 1 0) into 1 11.297 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 11.297 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.298 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.298 * [backup-simplify]: Simplify 0 into 0 11.298 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 11.299 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.299 * [backup-simplify]: Simplify (+ 0 0) into 0 11.300 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (- (/ 1 y) +nan.0)))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 11.300 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 11.300 * [taylor]: Taking taylor expansion of +nan.0 in y 11.300 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.300 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 11.300 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 11.300 * [taylor]: Taking taylor expansion of +nan.0 in y 11.300 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.300 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.300 * [taylor]: Taking taylor expansion of y in y 11.300 * [backup-simplify]: Simplify 0 into 0 11.300 * [backup-simplify]: Simplify 1 into 1 11.301 * [backup-simplify]: Simplify (/ 1 1) into 1 11.301 * [taylor]: Taking taylor expansion of (- +nan.0) in y 11.301 * [taylor]: Taking taylor expansion of +nan.0 in y 11.301 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.301 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 11.302 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 11.302 * [backup-simplify]: Simplify (* +nan.0 (- +nan.0)) into +nan.0 11.302 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.303 * [backup-simplify]: Simplify (+ (* +nan.0 (* (/ 1 (/ 1 y)) (pow (/ 1 x) 2))) (+ +nan.0 (* +nan.0 (* (/ 1 (/ 1 y)) (/ 1 x))))) into (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- +nan.0))))) 11.303 * [backup-simplify]: Simplify (sqrt (+ (/ 1 (- x)) (/ 1 (- y)))) into (sqrt (- (+ (/ 1 y) (/ 1 x)))) 11.303 * [approximate]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in (x y) around 0 11.303 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in y 11.303 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in y 11.303 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 11.304 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.304 * [taylor]: Taking taylor expansion of y in y 11.304 * [backup-simplify]: Simplify 0 into 0 11.304 * [backup-simplify]: Simplify 1 into 1 11.304 * [backup-simplify]: Simplify (/ 1 1) into 1 11.304 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.304 * [taylor]: Taking taylor expansion of x in y 11.304 * [backup-simplify]: Simplify x into x 11.304 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.305 * [backup-simplify]: Simplify (+ 1 0) into 1 11.305 * [backup-simplify]: Simplify (- 1) into -1 11.305 * [backup-simplify]: Simplify (sqrt 0) into 0 11.306 * [backup-simplify]: Simplify (- 1) into -1 11.307 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 11.307 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in x 11.307 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x 11.307 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.307 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.307 * [taylor]: Taking taylor expansion of y in x 11.307 * [backup-simplify]: Simplify y into y 11.307 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.307 * [taylor]: Taking taylor expansion of x in x 11.307 * [backup-simplify]: Simplify 0 into 0 11.307 * [backup-simplify]: Simplify 1 into 1 11.308 * [backup-simplify]: Simplify (/ 1 1) into 1 11.308 * [backup-simplify]: Simplify (+ 0 1) into 1 11.308 * [backup-simplify]: Simplify (- 1) into -1 11.309 * [backup-simplify]: Simplify (sqrt 0) into 0 11.309 * [backup-simplify]: Simplify (- 1) into -1 11.310 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 11.310 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in x 11.310 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x 11.310 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.310 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.310 * [taylor]: Taking taylor expansion of y in x 11.311 * [backup-simplify]: Simplify y into y 11.311 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.311 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.311 * [taylor]: Taking taylor expansion of x in x 11.311 * [backup-simplify]: Simplify 0 into 0 11.311 * [backup-simplify]: Simplify 1 into 1 11.311 * [backup-simplify]: Simplify (/ 1 1) into 1 11.312 * [backup-simplify]: Simplify (+ 0 1) into 1 11.312 * [backup-simplify]: Simplify (- 1) into -1 11.312 * [backup-simplify]: Simplify (sqrt 0) into 0 11.313 * [backup-simplify]: Simplify (- 1) into -1 11.314 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 11.314 * [taylor]: Taking taylor expansion of 0 in y 11.314 * [backup-simplify]: Simplify 0 into 0 11.314 * [taylor]: Taking taylor expansion of +nan.0 in y 11.314 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.314 * [backup-simplify]: Simplify 0 into 0 11.315 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.315 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 11.315 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 11.316 * [backup-simplify]: Simplify (/ (- (- (/ 1 y)) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (+ (/ 1 y) (- +nan.0))) 11.317 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 y) (- +nan.0))) in y 11.317 * [taylor]: Taking taylor expansion of +nan.0 in y 11.317 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.317 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (- +nan.0)) in y 11.317 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.317 * [taylor]: Taking taylor expansion of y in y 11.317 * [backup-simplify]: Simplify 0 into 0 11.317 * [backup-simplify]: Simplify 1 into 1 11.317 * [backup-simplify]: Simplify (/ 1 1) into 1 11.317 * [taylor]: Taking taylor expansion of (- +nan.0) in y 11.317 * [taylor]: Taking taylor expansion of +nan.0 in y 11.317 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.318 * [backup-simplify]: Simplify (+ 1 0) into 1 11.318 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 11.318 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.318 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.318 * [backup-simplify]: Simplify 0 into 0 11.319 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 11.319 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.320 * [backup-simplify]: Simplify (+ 0 0) into 0 11.320 * [backup-simplify]: Simplify (- 0) into 0 11.321 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (+ (/ 1 y) (- +nan.0))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 11.321 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 11.321 * [taylor]: Taking taylor expansion of +nan.0 in y 11.321 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.321 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 11.321 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 11.321 * [taylor]: Taking taylor expansion of +nan.0 in y 11.321 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.321 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.322 * [taylor]: Taking taylor expansion of y in y 11.322 * [backup-simplify]: Simplify 0 into 0 11.322 * [backup-simplify]: Simplify 1 into 1 11.322 * [backup-simplify]: Simplify (/ 1 1) into 1 11.322 * [taylor]: Taking taylor expansion of (- +nan.0) in y 11.322 * [taylor]: Taking taylor expansion of +nan.0 in y 11.322 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.323 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 11.323 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 11.324 * [backup-simplify]: Simplify (* +nan.0 (- +nan.0)) into +nan.0 11.324 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.324 * [backup-simplify]: Simplify (+ (* +nan.0 (* (/ 1 (/ 1 (- y))) (pow (/ 1 (- x)) 2))) (+ +nan.0 (* +nan.0 (* (/ 1 (/ 1 (- y))) (/ 1 (- x)))))) into (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- +nan.0))))) 11.324 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 11.325 * [backup-simplify]: Simplify (sqrt (+ x y)) into (sqrt (+ x y)) 11.325 * [approximate]: Taking taylor expansion of (sqrt (+ x y)) in (x y) around 0 11.325 * [taylor]: Taking taylor expansion of (sqrt (+ x y)) in y 11.325 * [taylor]: Taking taylor expansion of (+ x y) in y 11.325 * [taylor]: Taking taylor expansion of x in y 11.325 * [backup-simplify]: Simplify x into x 11.325 * [taylor]: Taking taylor expansion of y in y 11.325 * [backup-simplify]: Simplify 0 into 0 11.325 * [backup-simplify]: Simplify 1 into 1 11.325 * [backup-simplify]: Simplify (+ x 0) into x 11.325 * [backup-simplify]: Simplify (sqrt x) into (sqrt x) 11.325 * [backup-simplify]: Simplify (+ 0 1) into 1 11.325 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt x))) into (* 1/2 (sqrt (/ 1 x))) 11.326 * [taylor]: Taking taylor expansion of (sqrt (+ x y)) in x 11.326 * [taylor]: Taking taylor expansion of (+ x y) in x 11.326 * [taylor]: Taking taylor expansion of x in x 11.326 * [backup-simplify]: Simplify 0 into 0 11.326 * [backup-simplify]: Simplify 1 into 1 11.326 * [taylor]: Taking taylor expansion of y in x 11.326 * [backup-simplify]: Simplify y into y 11.326 * [backup-simplify]: Simplify (+ 0 y) into y 11.326 * [backup-simplify]: Simplify (sqrt y) into (sqrt y) 11.326 * [backup-simplify]: Simplify (+ 1 0) into 1 11.326 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt y))) into (* 1/2 (sqrt (/ 1 y))) 11.326 * [taylor]: Taking taylor expansion of (sqrt (+ x y)) in x 11.326 * [taylor]: Taking taylor expansion of (+ x y) in x 11.326 * [taylor]: Taking taylor expansion of x in x 11.326 * [backup-simplify]: Simplify 0 into 0 11.326 * [backup-simplify]: Simplify 1 into 1 11.327 * [taylor]: Taking taylor expansion of y in x 11.327 * [backup-simplify]: Simplify y into y 11.327 * [backup-simplify]: Simplify (+ 0 y) into y 11.327 * [backup-simplify]: Simplify (sqrt y) into (sqrt y) 11.327 * [backup-simplify]: Simplify (+ 1 0) into 1 11.327 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt y))) into (* 1/2 (sqrt (/ 1 y))) 11.327 * [taylor]: Taking taylor expansion of (sqrt y) in y 11.327 * [taylor]: Taking taylor expansion of y in y 11.327 * [backup-simplify]: Simplify 0 into 0 11.327 * [backup-simplify]: Simplify 1 into 1 11.328 * [backup-simplify]: Simplify (sqrt 0) into 0 11.329 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.329 * [backup-simplify]: Simplify 0 into 0 11.329 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 y))) in y 11.329 * [taylor]: Taking taylor expansion of 1/2 in y 11.329 * [backup-simplify]: Simplify 1/2 into 1/2 11.330 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 11.330 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.330 * [taylor]: Taking taylor expansion of y in y 11.330 * [backup-simplify]: Simplify 0 into 0 11.330 * [backup-simplify]: Simplify 1 into 1 11.330 * [backup-simplify]: Simplify (/ 1 1) into 1 11.330 * [backup-simplify]: Simplify (sqrt 0) into 0 11.332 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.333 * [backup-simplify]: Simplify (+ (* 1/2 +nan.0) (* 0 0)) into (- +nan.0) 11.334 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.334 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.334 * [backup-simplify]: Simplify (+ 0 0) into 0 11.335 * [backup-simplify]: Simplify (/ (- 0 (pow (* 1/2 (sqrt (/ 1 y))) 2) (+)) (* 2 (sqrt y))) into (* -1/8 (sqrt (/ 1 (pow y 3)))) 11.335 * [taylor]: Taking taylor expansion of (* -1/8 (sqrt (/ 1 (pow y 3)))) in y 11.335 * [taylor]: Taking taylor expansion of -1/8 in y 11.335 * [backup-simplify]: Simplify -1/8 into -1/8 11.335 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow y 3))) in y 11.335 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 11.335 * [taylor]: Taking taylor expansion of (pow y 3) in y 11.335 * [taylor]: Taking taylor expansion of y in y 11.335 * [backup-simplify]: Simplify 0 into 0 11.335 * [backup-simplify]: Simplify 1 into 1 11.335 * [backup-simplify]: Simplify (* 1 1) into 1 11.336 * [backup-simplify]: Simplify (* 1 1) into 1 11.336 * [backup-simplify]: Simplify (/ 1 1) into 1 11.337 * [backup-simplify]: Simplify (sqrt 0) into 0 11.338 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.339 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.339 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.340 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.343 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 11.345 * [backup-simplify]: Simplify (+ (* -1/8 +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- +nan.0) 11.345 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.346 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (* 1 x) 2)) (+ (* +nan.0 (* y 1)) (* (- +nan.0) (* 1 x)))) into (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 y)))))) 11.347 * [backup-simplify]: Simplify (sqrt (+ (/ 1 x) (/ 1 y))) into (sqrt (+ (/ 1 y) (/ 1 x))) 11.347 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 y) (/ 1 x))) in (x y) around 0 11.347 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) (/ 1 x))) in y 11.347 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 11.347 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.347 * [taylor]: Taking taylor expansion of y in y 11.347 * [backup-simplify]: Simplify 0 into 0 11.347 * [backup-simplify]: Simplify 1 into 1 11.347 * [backup-simplify]: Simplify (/ 1 1) into 1 11.347 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.347 * [taylor]: Taking taylor expansion of x in y 11.347 * [backup-simplify]: Simplify x into x 11.347 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.348 * [backup-simplify]: Simplify (+ 1 0) into 1 11.348 * [backup-simplify]: Simplify (sqrt 0) into 0 11.350 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.350 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) (/ 1 x))) in x 11.350 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.350 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.350 * [taylor]: Taking taylor expansion of y in x 11.350 * [backup-simplify]: Simplify y into y 11.350 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.350 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.350 * [taylor]: Taking taylor expansion of x in x 11.350 * [backup-simplify]: Simplify 0 into 0 11.350 * [backup-simplify]: Simplify 1 into 1 11.350 * [backup-simplify]: Simplify (/ 1 1) into 1 11.351 * [backup-simplify]: Simplify (+ 0 1) into 1 11.351 * [backup-simplify]: Simplify (sqrt 0) into 0 11.353 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.353 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) (/ 1 x))) in x 11.353 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.353 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.353 * [taylor]: Taking taylor expansion of y in x 11.353 * [backup-simplify]: Simplify y into y 11.353 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.353 * [taylor]: Taking taylor expansion of x in x 11.353 * [backup-simplify]: Simplify 0 into 0 11.353 * [backup-simplify]: Simplify 1 into 1 11.353 * [backup-simplify]: Simplify (/ 1 1) into 1 11.354 * [backup-simplify]: Simplify (+ 0 1) into 1 11.354 * [backup-simplify]: Simplify (sqrt 0) into 0 11.356 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.356 * [taylor]: Taking taylor expansion of 0 in y 11.356 * [backup-simplify]: Simplify 0 into 0 11.356 * [taylor]: Taking taylor expansion of +nan.0 in y 11.356 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.356 * [backup-simplify]: Simplify 0 into 0 11.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.357 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 11.358 * [backup-simplify]: Simplify (/ (- (/ 1 y) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (- (/ 1 y) +nan.0)) 11.358 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 y) +nan.0)) in y 11.358 * [taylor]: Taking taylor expansion of +nan.0 in y 11.358 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.358 * [taylor]: Taking taylor expansion of (- (/ 1 y) +nan.0) in y 11.358 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.359 * [taylor]: Taking taylor expansion of y in y 11.359 * [backup-simplify]: Simplify 0 into 0 11.359 * [backup-simplify]: Simplify 1 into 1 11.359 * [backup-simplify]: Simplify (/ 1 1) into 1 11.359 * [taylor]: Taking taylor expansion of +nan.0 in y 11.359 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.359 * [backup-simplify]: Simplify (+ 1 0) into 1 11.360 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 11.360 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.360 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.360 * [backup-simplify]: Simplify 0 into 0 11.360 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 11.361 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.361 * [backup-simplify]: Simplify (+ 0 0) into 0 11.362 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (- (/ 1 y) +nan.0)))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 11.362 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 11.362 * [taylor]: Taking taylor expansion of +nan.0 in y 11.362 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.362 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 11.362 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 11.362 * [taylor]: Taking taylor expansion of +nan.0 in y 11.362 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.362 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.362 * [taylor]: Taking taylor expansion of y in y 11.362 * [backup-simplify]: Simplify 0 into 0 11.362 * [backup-simplify]: Simplify 1 into 1 11.363 * [backup-simplify]: Simplify (/ 1 1) into 1 11.363 * [taylor]: Taking taylor expansion of (- +nan.0) in y 11.363 * [taylor]: Taking taylor expansion of +nan.0 in y 11.363 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.364 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 11.364 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 11.365 * [backup-simplify]: Simplify (* +nan.0 (- +nan.0)) into +nan.0 11.365 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.365 * [backup-simplify]: Simplify (+ (* +nan.0 (* (/ 1 (/ 1 y)) (pow (/ 1 x) 2))) (+ +nan.0 (* +nan.0 (* (/ 1 (/ 1 y)) (/ 1 x))))) into (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- +nan.0))))) 11.366 * [backup-simplify]: Simplify (sqrt (+ (/ 1 (- x)) (/ 1 (- y)))) into (sqrt (- (+ (/ 1 y) (/ 1 x)))) 11.366 * [approximate]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in (x y) around 0 11.366 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in y 11.366 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in y 11.366 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 11.366 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.366 * [taylor]: Taking taylor expansion of y in y 11.366 * [backup-simplify]: Simplify 0 into 0 11.366 * [backup-simplify]: Simplify 1 into 1 11.366 * [backup-simplify]: Simplify (/ 1 1) into 1 11.366 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.366 * [taylor]: Taking taylor expansion of x in y 11.366 * [backup-simplify]: Simplify x into x 11.366 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.367 * [backup-simplify]: Simplify (+ 1 0) into 1 11.367 * [backup-simplify]: Simplify (- 1) into -1 11.368 * [backup-simplify]: Simplify (sqrt 0) into 0 11.368 * [backup-simplify]: Simplify (- 1) into -1 11.369 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 11.369 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in x 11.369 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x 11.369 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.369 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.369 * [taylor]: Taking taylor expansion of y in x 11.369 * [backup-simplify]: Simplify y into y 11.369 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.369 * [taylor]: Taking taylor expansion of x in x 11.369 * [backup-simplify]: Simplify 0 into 0 11.369 * [backup-simplify]: Simplify 1 into 1 11.370 * [backup-simplify]: Simplify (/ 1 1) into 1 11.370 * [backup-simplify]: Simplify (+ 0 1) into 1 11.371 * [backup-simplify]: Simplify (- 1) into -1 11.371 * [backup-simplify]: Simplify (sqrt 0) into 0 11.371 * [backup-simplify]: Simplify (- 1) into -1 11.372 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 11.373 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in x 11.373 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x 11.373 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.373 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.373 * [taylor]: Taking taylor expansion of y in x 11.373 * [backup-simplify]: Simplify y into y 11.373 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.373 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.373 * [taylor]: Taking taylor expansion of x in x 11.373 * [backup-simplify]: Simplify 0 into 0 11.373 * [backup-simplify]: Simplify 1 into 1 11.373 * [backup-simplify]: Simplify (/ 1 1) into 1 11.374 * [backup-simplify]: Simplify (+ 0 1) into 1 11.374 * [backup-simplify]: Simplify (- 1) into -1 11.374 * [backup-simplify]: Simplify (sqrt 0) into 0 11.375 * [backup-simplify]: Simplify (- 1) into -1 11.380 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 11.381 * [taylor]: Taking taylor expansion of 0 in y 11.381 * [backup-simplify]: Simplify 0 into 0 11.381 * [taylor]: Taking taylor expansion of +nan.0 in y 11.381 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.381 * [backup-simplify]: Simplify 0 into 0 11.382 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.382 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 11.382 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 11.383 * [backup-simplify]: Simplify (/ (- (- (/ 1 y)) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (+ (/ 1 y) (- +nan.0))) 11.384 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 y) (- +nan.0))) in y 11.384 * [taylor]: Taking taylor expansion of +nan.0 in y 11.384 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.384 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (- +nan.0)) in y 11.384 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.384 * [taylor]: Taking taylor expansion of y in y 11.384 * [backup-simplify]: Simplify 0 into 0 11.384 * [backup-simplify]: Simplify 1 into 1 11.384 * [backup-simplify]: Simplify (/ 1 1) into 1 11.384 * [taylor]: Taking taylor expansion of (- +nan.0) in y 11.384 * [taylor]: Taking taylor expansion of +nan.0 in y 11.384 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.385 * [backup-simplify]: Simplify (+ 1 0) into 1 11.385 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 11.385 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.385 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.385 * [backup-simplify]: Simplify 0 into 0 11.385 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 11.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.386 * [backup-simplify]: Simplify (+ 0 0) into 0 11.386 * [backup-simplify]: Simplify (- 0) into 0 11.387 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (+ (/ 1 y) (- +nan.0))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 11.387 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 11.387 * [taylor]: Taking taylor expansion of +nan.0 in y 11.387 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.387 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 11.387 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 11.387 * [taylor]: Taking taylor expansion of +nan.0 in y 11.387 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.387 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.387 * [taylor]: Taking taylor expansion of y in y 11.387 * [backup-simplify]: Simplify 0 into 0 11.387 * [backup-simplify]: Simplify 1 into 1 11.387 * [backup-simplify]: Simplify (/ 1 1) into 1 11.387 * [taylor]: Taking taylor expansion of (- +nan.0) in y 11.387 * [taylor]: Taking taylor expansion of +nan.0 in y 11.387 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.387 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 11.388 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 11.388 * [backup-simplify]: Simplify (* +nan.0 (- +nan.0)) into +nan.0 11.388 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.389 * [backup-simplify]: Simplify (+ (* +nan.0 (* (/ 1 (/ 1 (- y))) (pow (/ 1 (- x)) 2))) (+ +nan.0 (* +nan.0 (* (/ 1 (/ 1 (- y))) (/ 1 (- x)))))) into (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- +nan.0))))) 11.389 * * * [progress]: simplifying candidates 11.391 * [simplify]: Simplifying: (expm1 (* (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0))) (log1p (* (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0))) (* (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0)) (+ (log (sqrt (+ x y))) (- (log (sqrt (+ x y))) (log 10.0))) (+ (log (sqrt (+ x y))) (log (/ (sqrt (+ x y)) 10.0))) (log (* (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0))) (exp (* (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0))) (* (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (/ (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (* (* 10.0 10.0) 10.0))) (* (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (* (* (/ (sqrt (+ x y)) 10.0) (/ (sqrt (+ x y)) 10.0)) (/ (sqrt (+ x y)) 10.0))) (* (cbrt (* (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0))) (cbrt (* (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0)))) (cbrt (* (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0))) (* (* (* (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0)) (* (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0))) (* (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0))) (sqrt (* (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0))) (sqrt (* (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0))) (* (sqrt (+ (pow x 3) (pow y 3))) (sqrt (+ x y))) (* (sqrt (+ (* x x) (- (* y y) (* x y)))) 10.0) (* (sqrt (- (* x x) (* y y))) (sqrt (+ x y))) (* (sqrt (- x y)) 10.0) (* (sqrt (sqrt (+ x y))) (sqrt (/ (sqrt (+ x y)) 10.0))) (* (sqrt (sqrt (+ x y))) (sqrt (/ (sqrt (+ x y)) 10.0))) (* (sqrt (sqrt (+ x y))) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0))) (* (sqrt (sqrt (+ x y))) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0))) (* (sqrt (sqrt (+ x y))) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0))) (* (sqrt (sqrt (+ x y))) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0))) (* (sqrt (sqrt (+ x y))) (sqrt (/ (sqrt (+ x y)) 10.0))) (* (sqrt (sqrt (+ x y))) (sqrt (/ (sqrt (+ x y)) 10.0))) (* (sqrt (sqrt (+ x y))) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0))) (* (sqrt (sqrt (+ x y))) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0))) (* (sqrt (sqrt (+ x y))) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0))) (* (sqrt (sqrt (+ x y))) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0))) (* (sqrt (+ x y)) (* (cbrt (/ (sqrt (+ x y)) 10.0)) (cbrt (/ (sqrt (+ x y)) 10.0)))) (* (sqrt (+ x y)) (sqrt (/ (sqrt (+ x y)) 10.0))) (* (sqrt (+ x y)) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (* (cbrt 10.0) (cbrt 10.0)))) (* (sqrt (+ x y)) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (sqrt 10.0))) (* (sqrt (+ x y)) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) 1)) (* (sqrt (+ x y)) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (* (cbrt 10.0) (cbrt 10.0)))) (* (sqrt (+ x y)) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (sqrt 10.0))) (* (sqrt (+ x y)) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) 1)) (* (sqrt (+ x y)) (/ (sqrt (sqrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0)))) (* (sqrt (+ x y)) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0))) (* (sqrt (+ x y)) (/ (sqrt (sqrt (+ x y))) 1)) (* (sqrt (+ x y)) (/ (sqrt 1) (* (cbrt 10.0) (cbrt 10.0)))) (* (sqrt (+ x y)) (/ (sqrt 1) (sqrt 10.0))) (* (sqrt (+ x y)) (/ (sqrt 1) 1)) (* (sqrt (+ x y)) (/ (sqrt 1) (* (cbrt 10.0) (cbrt 10.0)))) (* (sqrt (+ x y)) (/ (sqrt 1) (sqrt 10.0))) (* (sqrt (+ x y)) (/ (sqrt 1) 1)) (* (sqrt (+ x y)) (/ (sqrt (sqrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0)))) (* (sqrt (+ x y)) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0))) (* (sqrt (+ x y)) (/ (sqrt (sqrt (+ x y))) 1)) (* (sqrt (+ x y)) (/ 1 (* (cbrt 10.0) (cbrt 10.0)))) (* (sqrt (+ x y)) (/ 1 (sqrt 10.0))) (* (sqrt (+ x y)) (/ 1 1)) (* (sqrt (+ x y)) 1) (* (sqrt (+ x y)) (sqrt (+ x y))) (* (cbrt (sqrt (+ x y))) (/ (sqrt (+ x y)) 10.0)) (* (sqrt (cbrt (+ x y))) (/ (sqrt (+ x y)) 10.0)) (* (sqrt (sqrt (+ x y))) (/ (sqrt (+ x y)) 10.0)) (* (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0)) (* (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0)) (* (sqrt (sqrt (+ x y))) (/ (sqrt (+ x y)) 10.0)) (* (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0)) (* (sqrt (+ x y)) (sqrt (+ x y))) (* (sqrt (+ (pow x 3) (pow y 3))) (/ (sqrt (+ x y)) 10.0)) (* (sqrt (- (* x x) (* y y))) (/ (sqrt (+ x y)) 10.0)) (expm1 (/ (sqrt (+ x y)) 10.0)) (log1p (/ (sqrt (+ x y)) 10.0)) (- (log (sqrt (+ x y))) (log 10.0)) (log (/ (sqrt (+ x y)) 10.0)) (exp (/ (sqrt (+ x y)) 10.0)) (/ (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (* (* 10.0 10.0) 10.0)) (* (cbrt (/ (sqrt (+ x y)) 10.0)) (cbrt (/ (sqrt (+ x y)) 10.0))) (cbrt (/ (sqrt (+ x y)) 10.0)) (* (* (/ (sqrt (+ x y)) 10.0) (/ (sqrt (+ x y)) 10.0)) (/ (sqrt (+ x y)) 10.0)) (sqrt (/ (sqrt (+ x y)) 10.0)) (sqrt (/ (sqrt (+ x y)) 10.0)) (- (sqrt (+ x y))) (- 10.0) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (* (cbrt 10.0) (cbrt 10.0))) (/ (cbrt (sqrt (+ x y))) (cbrt 10.0)) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (sqrt 10.0)) (/ (cbrt (sqrt (+ x y))) (sqrt 10.0)) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) 1) (/ (cbrt (sqrt (+ x y))) 10.0) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (cbrt (+ x y))) (cbrt 10.0)) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (sqrt 10.0)) (/ (sqrt (cbrt (+ x y))) (sqrt 10.0)) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) 1) (/ (sqrt (cbrt (+ x y))) 10.0) (/ (sqrt (sqrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (sqrt (+ x y))) (cbrt 10.0)) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0)) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0)) (/ (sqrt (sqrt (+ x y))) 1) (/ (sqrt (sqrt (+ x y))) 10.0) (/ (sqrt 1) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (cbrt 10.0)) (/ (sqrt 1) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt 1) 1) (/ (sqrt (+ x y)) 10.0) (/ (sqrt 1) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (cbrt 10.0)) (/ (sqrt 1) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt 1) 1) (/ (sqrt (+ x y)) 10.0) (/ (sqrt (sqrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (sqrt (+ x y))) (cbrt 10.0)) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0)) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0)) (/ (sqrt (sqrt (+ x y))) 1) (/ (sqrt (sqrt (+ x y))) 10.0) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (cbrt 10.0)) (/ 1 (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ 1 1) (/ (sqrt (+ x y)) 10.0) (/ 1 10.0) (/ 10.0 (sqrt (+ x y))) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) 1) (/ 10.0 (cbrt (sqrt (+ x y)))) (/ 10.0 (sqrt (cbrt (+ x y)))) (/ 10.0 (sqrt (sqrt (+ x y)))) (/ 10.0 (sqrt (+ x y))) (/ 10.0 (sqrt (+ x y))) (/ 10.0 (sqrt (sqrt (+ x y)))) (/ 10.0 (sqrt (+ x y))) (* 10.0 (sqrt (+ (* x x) (- (* y y) (* x y))))) (* 10.0 (sqrt (- x y))) (expm1 (sqrt (+ x y))) (log1p (sqrt (+ x y))) (log (sqrt (+ x y))) (exp (sqrt (+ x y))) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (cbrt (sqrt (+ x y))) (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (sqrt (cbrt (+ x y))) (sqrt (sqrt (+ x y))) (sqrt (sqrt (+ x y))) (sqrt 1) (sqrt (+ x y)) (sqrt 1) (sqrt (+ x y)) (sqrt (+ (pow x 3) (pow y 3))) (sqrt (+ (* x x) (- (* y y) (* x y)))) (sqrt (- (* x x) (* y y))) (sqrt (- x y)) (/ 1 2) (sqrt (sqrt (+ x y))) (sqrt (sqrt (+ x y))) (expm1 (sqrt (+ x y))) (log1p (sqrt (+ x y))) (log (sqrt (+ x y))) (exp (sqrt (+ x y))) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (cbrt (sqrt (+ x y))) (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (sqrt (cbrt (+ x y))) (sqrt (sqrt (+ x y))) (sqrt (sqrt (+ x y))) (sqrt 1) (sqrt (+ x y)) (sqrt 1) (sqrt (+ x y)) (sqrt (+ (pow x 3) (pow y 3))) (sqrt (+ (* x x) (- (* y y) (* x y)))) (sqrt (- (* x x) (* y y))) (sqrt (- x y)) (/ 1 2) (sqrt (sqrt (+ x y))) (sqrt (sqrt (+ x y))) (+ (* 0.1 x) (* 0.1 y)) (+ (* 0.1 x) (* 0.1 y)) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 y)))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- +nan.0))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- +nan.0))))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 y)))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- +nan.0))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- +nan.0))))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 y)))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- +nan.0))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- +nan.0))))) 11.394 * * [simplify]: Extracting # 0 : cost 0 11.394 * * [simplify]: Extracting # 1 : cost 0 11.394 * * [simplify]: Extracting # 2 : cost 0 11.394 * * [simplify]: Extracting # 3 : cost 0 11.394 * * [simplify]: Extracting # 4 : cost 0 11.394 * * [simplify]: Extracting # 5 : cost 0 11.395 * * [simplify]: Extracting # 6 : cost 0 11.395 * * [simplify]: Extracting # 7 : cost 0 11.395 * * [simplify]: Extracting # 8 : cost 0 11.395 * * [simplify]: iteration 0 : 165 enodes (cost 1925 ) 11.466 * * [simplify]: Extracting # 0 : cost 0 11.467 * * [simplify]: Extracting # 1 : cost 0 11.468 * * [simplify]: Extracting # 2 : cost 0 11.468 * * [simplify]: Extracting # 3 : cost 0 11.469 * * [simplify]: Extracting # 4 : cost 0 11.470 * * [simplify]: iteration 1 : 359 enodes (cost 1607 ) 11.625 * * [simplify]: Extracting # 0 : cost 0 11.626 * * [simplify]: Extracting # 1 : cost 0 11.627 * * [simplify]: Extracting # 2 : cost 0 11.628 * * [simplify]: Extracting # 3 : cost 0 11.629 * * [simplify]: Extracting # 4 : cost 0 11.630 * * [simplify]: iteration 2 : 1009 enodes (cost 1479 ) 12.751 * * [simplify]: Extracting # 0 : cost 0 12.759 * * [simplify]: Extracting # 1 : cost 0 12.765 * * [simplify]: Extracting # 2 : cost 0 12.770 * * [simplify]: Extracting # 3 : cost 0 12.776 * * [simplify]: Extracting # 4 : cost 0 12.781 * * [simplify]: iteration 3 : 3170 enodes (cost 1424 ) 14.366 * * [simplify]: Extracting # 0 : cost 0 14.375 * * [simplify]: Extracting # 1 : cost 0 14.385 * * [simplify]: Extracting # 2 : cost 0 14.395 * * [simplify]: Extracting # 3 : cost 0 14.401 * * [simplify]: Extracting # 4 : cost 0 14.410 * * [simplify]: iteration done: 5000 enodes (cost 1415 ) 14.411 * [simplify]: Simplified to: (expm1 (/ (+ x y) 10.0)) (log1p (/ (+ x y) 10.0)) (/ (+ x y) 10.0) (log (/ (+ x y) 10.0)) (log (/ (+ x y) 10.0)) (log (/ (+ x y) 10.0)) (exp (/ (+ x y) 10.0)) (pow (/ (+ x y) 10.0) 3) (pow (/ (+ x y) 10.0) 3) (* (cbrt (/ (+ x y) 10.0)) (cbrt (/ (+ x y) 10.0))) (cbrt (/ (+ x y) 10.0)) (pow (/ (+ x y) 10.0) 3) (sqrt (/ (+ x y) 10.0)) (sqrt (/ (+ x y) 10.0)) (* (sqrt (+ x y)) (hypot (pow y 3/2) (pow x 3/2))) (* 10.0 (sqrt (fma x x (* y (- y x))))) (* (sqrt (- (* x x) (* y y))) (sqrt (+ x y))) (* 10.0 (sqrt (- x y))) (* (sqrt (sqrt (+ x y))) (sqrt (/ (sqrt (+ x y)) 10.0))) (* (sqrt (sqrt (+ x y))) (sqrt (/ (sqrt (+ x y)) 10.0))) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (* (sqrt (sqrt (+ x y))) (sqrt (/ (sqrt (+ x y)) 10.0))) (* (sqrt (sqrt (+ x y))) (sqrt (/ (sqrt (+ x y)) 10.0))) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (* (sqrt (+ x y)) (* (cbrt (/ (sqrt (+ x y)) 10.0)) (cbrt (/ (sqrt (+ x y)) 10.0)))) (* (sqrt (+ x y)) (sqrt (/ (sqrt (+ x y)) 10.0))) (* (sqrt (+ x y)) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (* (cbrt 10.0) (cbrt 10.0)))) (* (sqrt (+ x y)) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (sqrt 10.0))) (* (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (sqrt (+ x y))) (/ (* (fabs (cbrt (+ x y))) (sqrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (* (/ (fabs (cbrt (+ x y))) (sqrt 10.0)) (sqrt (+ x y))) (* (fabs (cbrt (+ x y))) (sqrt (+ x y))) (/ (pow (sqrt (sqrt (+ x y))) 3) (* (cbrt 10.0) (cbrt 10.0))) (/ (pow (sqrt (sqrt (+ x y))) 3) (sqrt 10.0)) (pow (sqrt (sqrt (+ x y))) 3) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (sqrt 10.0)) (sqrt (+ x y)) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (sqrt 10.0)) (sqrt (+ x y)) (/ (pow (sqrt (sqrt (+ x y))) 3) (* (cbrt 10.0) (cbrt 10.0))) (/ (pow (sqrt (sqrt (+ x y))) 3) (sqrt 10.0)) (pow (sqrt (sqrt (+ x y))) 3) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (sqrt 10.0)) (sqrt (+ x y)) (sqrt (+ x y)) (+ x y) (* (cbrt (sqrt (+ x y))) (/ (sqrt (+ x y)) 10.0)) (* (sqrt (cbrt (+ x y))) (/ (sqrt (+ x y)) 10.0)) (/ (pow (sqrt (sqrt (+ x y))) 3) 10.0) (/ (+ x y) 10.0) (/ (+ x y) 10.0) (/ (pow (sqrt (sqrt (+ x y))) 3) 10.0) (/ (+ x y) 10.0) (+ x y) (* (hypot (pow y 3/2) (pow x 3/2)) (/ (sqrt (+ x y)) 10.0)) (* (sqrt (- (* x x) (* y y))) (/ (sqrt (+ x y)) 10.0)) (expm1 (/ (sqrt (+ x y)) 10.0)) (log1p (/ (sqrt (+ x y)) 10.0)) (log (/ (sqrt (+ x y)) 10.0)) (log (/ (sqrt (+ x y)) 10.0)) (exp (/ (sqrt (+ x y)) 10.0)) (pow (/ (sqrt (+ x y)) 10.0) 3) (* (cbrt (/ (sqrt (+ x y)) 10.0)) (cbrt (/ (sqrt (+ x y)) 10.0))) (cbrt (/ (sqrt (+ x y)) 10.0)) (pow (/ (sqrt (+ x y)) 10.0) 3) (sqrt (/ (sqrt (+ x y)) 10.0)) (sqrt (/ (sqrt (+ x y)) 10.0)) (- (sqrt (+ x y))) (- 10.0) (* (/ (cbrt (sqrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (cbrt (sqrt (+ x y)))) (/ (cbrt (sqrt (+ x y))) (cbrt 10.0)) (/ (cbrt (sqrt (+ x y))) (/ (sqrt 10.0) (cbrt (sqrt (+ x y))))) (/ (cbrt (sqrt (+ x y))) (sqrt 10.0)) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (cbrt (sqrt (+ x y))) 10.0) (/ (fabs (cbrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (cbrt (+ x y))) (cbrt 10.0)) (/ (fabs (cbrt (+ x y))) (sqrt 10.0)) (/ (sqrt (cbrt (+ x y))) (sqrt 10.0)) (fabs (cbrt (+ x y))) (/ (sqrt (cbrt (+ x y))) 10.0) (/ (sqrt (sqrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (sqrt (+ x y))) (cbrt 10.0)) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0)) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0)) (sqrt (sqrt (+ x y))) (/ (sqrt (sqrt (+ x y))) 10.0) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (cbrt 10.0)) (/ 1 (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) 1 (/ (sqrt (+ x y)) 10.0) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (cbrt 10.0)) (/ 1 (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) 1 (/ (sqrt (+ x y)) 10.0) (/ (sqrt (sqrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (sqrt (+ x y))) (cbrt 10.0)) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0)) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0)) (sqrt (sqrt (+ x y))) (/ (sqrt (sqrt (+ x y))) 10.0) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (cbrt 10.0)) (/ 1 (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) 1 (/ (sqrt (+ x y)) 10.0) (/ 1 10.0) (/ 10.0 (sqrt (+ x y))) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (sqrt 10.0)) (sqrt (+ x y)) (/ 10.0 (cbrt (sqrt (+ x y)))) (/ 10.0 (sqrt (cbrt (+ x y)))) (/ 10.0 (sqrt (sqrt (+ x y)))) (/ 10.0 (sqrt (+ x y))) (/ 10.0 (sqrt (+ x y))) (/ 10.0 (sqrt (sqrt (+ x y)))) (/ 10.0 (sqrt (+ x y))) (* 10.0 (sqrt (fma x x (* y (- y x))))) (* 10.0 (sqrt (- x y))) (expm1 (sqrt (+ x y))) (log1p (sqrt (+ x y))) (log (sqrt (+ x y))) (exp (sqrt (+ x y))) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (cbrt (sqrt (+ x y))) (pow (sqrt (+ x y)) 3) (fabs (cbrt (+ x y))) (sqrt (cbrt (+ x y))) (sqrt (sqrt (+ x y))) (sqrt (sqrt (+ x y))) 1 (sqrt (+ x y)) 1 (sqrt (+ x y)) (hypot (pow y 3/2) (pow x 3/2)) (sqrt (fma x x (* y (- y x)))) (sqrt (- (* x x) (* y y))) (sqrt (- x y)) 1/2 (sqrt (sqrt (+ x y))) (sqrt (sqrt (+ x y))) (expm1 (sqrt (+ x y))) (log1p (sqrt (+ x y))) (log (sqrt (+ x y))) (exp (sqrt (+ x y))) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (cbrt (sqrt (+ x y))) (pow (sqrt (+ x y)) 3) (fabs (cbrt (+ x y))) (sqrt (cbrt (+ x y))) (sqrt (sqrt (+ x y))) (sqrt (sqrt (+ x y))) 1 (sqrt (+ x y)) 1 (sqrt (+ x y)) (hypot (pow y 3/2) (pow x 3/2)) (sqrt (fma x x (* y (- y x)))) (sqrt (- (* x x) (* y y))) (sqrt (- x y)) 1/2 (sqrt (sqrt (+ x y))) (sqrt (sqrt (+ x y))) (* 0.1 (+ x y)) (* 0.1 (+ x y)) (- (- (/ +nan.0 x) +nan.0) (/ +nan.0 (* x x))) (* +nan.0 (fma x (- x) (- x y))) (- (fma (/ y x) (- (/ +nan.0 x) +nan.0) +nan.0)) (- (fma (/ y x) (- (/ +nan.0 x) +nan.0) +nan.0)) (* +nan.0 (fma x (- x) (- x y))) (- (fma (/ y x) (- (/ +nan.0 x) +nan.0) +nan.0)) (- (fma (/ y x) (- (/ +nan.0 x) +nan.0) +nan.0)) (* +nan.0 (fma x (- x) (- x y))) (- (fma (/ y x) (- (/ +nan.0 x) +nan.0) +nan.0)) (- (fma (/ y x) (- (/ +nan.0 x) +nan.0) +nan.0)) 14.412 * * * [progress]: adding candidates to table 14.843 * [progress]: [Phase 3 of 3] Extracting. 14.843 * * [regime]: Finding splitpoints for: (# # #) 14.844 * * * [regime-changes]: Trying 4 branch expressions: ((+ x y) (/ (+ x y) 10.0) y x) 14.845 * * * * [regimes]: Trying to branch on (+ x y) from (# # #) 14.859 * * * * [regimes]: Trying to branch on (/ (+ x y) 10.0) from (# # #) 14.885 * * * * [regimes]: Trying to branch on y from (# # #) 14.909 * * * * [regimes]: Trying to branch on x from (# # #) 14.922 * * * [regime]: Found split indices: #