1.093 * [progress]: [Phase 1 of 3] Setting up. 0.005 * * * [progress]: [1/2] Preparing points 0.195 * * * [progress]: [2/2] Setting up program. 0.200 * [progress]: [Phase 2 of 3] Improving. 0.202 * [simplify]: Simplifying: (/ (+ x y) 10.0) 0.203 * * [simplify]: Extracting # 0 : cost 0 0.203 * * [simplify]: Extracting # 1 : cost 0 0.204 * * [simplify]: Extracting # 2 : cost 0 0.204 * * [simplify]: Extracting # 3 : cost 0 0.204 * * [simplify]: Extracting # 4 : cost 0 0.204 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.208 * * [simplify]: Extracting # 0 : cost 0 0.208 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 0.209 * * [simplify]: Extracting # 0 : cost 0 0.209 * * [simplify]: iteration done: 6 enodes (cost 5 ) 0.209 * [simplify]: Simplified to: (/ (+ x y) 10.0) 0.211 * * [progress]: iteration 1 / 4 0.211 * * * [progress]: picking best candidate 0.213 * * * * [pick]: Picked # 0.213 * * * [progress]: localizing error 0.221 * * * [progress]: generating rewritten candidates 0.222 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.288 * * * [progress]: generating series expansions 0.288 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.293 * [backup-simplify]: Simplify (/ (+ x y) 10.0) into (* 0.1 (+ x y)) 0.293 * [approximate]: Taking taylor expansion of (* 0.1 (+ x y)) in (x y) around 0 0.293 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in y 0.293 * [taylor]: Taking taylor expansion of 0.1 in y 0.294 * [backup-simplify]: Simplify 0.1 into 0.1 0.294 * [taylor]: Taking taylor expansion of (+ x y) in y 0.294 * [taylor]: Taking taylor expansion of x in y 0.294 * [backup-simplify]: Simplify x into x 0.294 * [taylor]: Taking taylor expansion of y in y 0.294 * [backup-simplify]: Simplify 0 into 0 0.294 * [backup-simplify]: Simplify 1 into 1 0.294 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in x 0.294 * [taylor]: Taking taylor expansion of 0.1 in x 0.294 * [backup-simplify]: Simplify 0.1 into 0.1 0.294 * [taylor]: Taking taylor expansion of (+ x y) in x 0.294 * [taylor]: Taking taylor expansion of x in x 0.294 * [backup-simplify]: Simplify 0 into 0 0.294 * [backup-simplify]: Simplify 1 into 1 0.294 * [taylor]: Taking taylor expansion of y in x 0.294 * [backup-simplify]: Simplify y into y 0.294 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in x 0.294 * [taylor]: Taking taylor expansion of 0.1 in x 0.294 * [backup-simplify]: Simplify 0.1 into 0.1 0.294 * [taylor]: Taking taylor expansion of (+ x y) in x 0.294 * [taylor]: Taking taylor expansion of x in x 0.294 * [backup-simplify]: Simplify 0 into 0 0.294 * [backup-simplify]: Simplify 1 into 1 0.294 * [taylor]: Taking taylor expansion of y in x 0.294 * [backup-simplify]: Simplify y into y 0.295 * [backup-simplify]: Simplify (+ 0 y) into y 0.295 * [backup-simplify]: Simplify (* 0.1 y) into (* 0.1 y) 0.295 * [taylor]: Taking taylor expansion of (* 0.1 y) in y 0.295 * [taylor]: Taking taylor expansion of 0.1 in y 0.295 * [backup-simplify]: Simplify 0.1 into 0.1 0.295 * [taylor]: Taking taylor expansion of y in y 0.295 * [backup-simplify]: Simplify 0 into 0 0.295 * [backup-simplify]: Simplify 1 into 1 0.296 * [backup-simplify]: Simplify (* 0.1 0) into 0 0.296 * [backup-simplify]: Simplify 0 into 0 0.296 * [backup-simplify]: Simplify (+ 1 0) into 1 0.297 * [backup-simplify]: Simplify (+ (* 0.1 1) (* 0 y)) into 0.1 0.297 * [taylor]: Taking taylor expansion of 0.1 in y 0.297 * [backup-simplify]: Simplify 0.1 into 0.1 0.297 * [backup-simplify]: Simplify 0.1 into 0.1 0.298 * [backup-simplify]: Simplify (+ (* 0.1 1) (* 0 0)) into 0.1 0.298 * [backup-simplify]: Simplify 0.1 into 0.1 0.299 * [backup-simplify]: Simplify (+ 0 0) into 0 0.300 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 1) (* 0 y))) into 0 0.300 * [taylor]: Taking taylor expansion of 0 in y 0.300 * [backup-simplify]: Simplify 0 into 0 0.300 * [backup-simplify]: Simplify 0 into 0 0.300 * [backup-simplify]: Simplify 0 into 0 0.301 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 1) (* 0 0))) into 0 0.301 * [backup-simplify]: Simplify 0 into 0 0.301 * [backup-simplify]: Simplify (+ 0 0) into 0 0.303 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 1) (* 0 y)))) into 0 0.303 * [taylor]: Taking taylor expansion of 0 in y 0.303 * [backup-simplify]: Simplify 0 into 0 0.303 * [backup-simplify]: Simplify 0 into 0 0.303 * [backup-simplify]: Simplify 0 into 0 0.303 * [backup-simplify]: Simplify 0 into 0 0.304 * [backup-simplify]: Simplify (+ (* 0.1 (* y 1)) (* 0.1 (* 1 x))) into (+ (* 0.1 x) (* 0.1 y)) 0.304 * [backup-simplify]: Simplify (/ (+ (/ 1 x) (/ 1 y)) 10.0) into (* 0.1 (+ (/ 1 y) (/ 1 x))) 0.305 * [approximate]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in (x y) around 0 0.305 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in y 0.305 * [taylor]: Taking taylor expansion of 0.1 in y 0.305 * [backup-simplify]: Simplify 0.1 into 0.1 0.305 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.305 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.305 * [taylor]: Taking taylor expansion of y in y 0.305 * [backup-simplify]: Simplify 0 into 0 0.305 * [backup-simplify]: Simplify 1 into 1 0.306 * [backup-simplify]: Simplify (/ 1 1) into 1 0.306 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.306 * [taylor]: Taking taylor expansion of x in y 0.306 * [backup-simplify]: Simplify x into x 0.306 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.306 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in x 0.306 * [taylor]: Taking taylor expansion of 0.1 in x 0.306 * [backup-simplify]: Simplify 0.1 into 0.1 0.306 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.306 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.306 * [taylor]: Taking taylor expansion of y in x 0.306 * [backup-simplify]: Simplify y into y 0.306 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.306 * [taylor]: Taking taylor expansion of x in x 0.306 * [backup-simplify]: Simplify 0 into 0 0.306 * [backup-simplify]: Simplify 1 into 1 0.307 * [backup-simplify]: Simplify (/ 1 1) into 1 0.307 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in x 0.307 * [taylor]: Taking taylor expansion of 0.1 in x 0.307 * [backup-simplify]: Simplify 0.1 into 0.1 0.307 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.307 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.307 * [taylor]: Taking taylor expansion of y in x 0.307 * [backup-simplify]: Simplify y into y 0.307 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.307 * [taylor]: Taking taylor expansion of x in x 0.307 * [backup-simplify]: Simplify 0 into 0 0.307 * [backup-simplify]: Simplify 1 into 1 0.308 * [backup-simplify]: Simplify (/ 1 1) into 1 0.310 * [backup-simplify]: Simplify (+ 0 1) into 1 0.310 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 0.310 * [taylor]: Taking taylor expansion of 0.1 in y 0.310 * [backup-simplify]: Simplify 0.1 into 0.1 0.311 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.312 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 0.312 * [backup-simplify]: Simplify (+ (* 0.1 (/ 1 y)) (* 0 1)) into (* 0.1 (/ 1 y)) 0.312 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 0.312 * [taylor]: Taking taylor expansion of 0.1 in y 0.312 * [backup-simplify]: Simplify 0.1 into 0.1 0.312 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.312 * [taylor]: Taking taylor expansion of y in y 0.312 * [backup-simplify]: Simplify 0 into 0 0.312 * [backup-simplify]: Simplify 1 into 1 0.313 * [backup-simplify]: Simplify (/ 1 1) into 1 0.313 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 0.313 * [backup-simplify]: Simplify 0.1 into 0.1 0.313 * [backup-simplify]: Simplify 0.1 into 0.1 0.314 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.315 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.315 * [backup-simplify]: Simplify (+ 0 0) into 0 0.316 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 0.316 * [taylor]: Taking taylor expansion of 0 in y 0.316 * [backup-simplify]: Simplify 0 into 0 0.317 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.317 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 1)) into 0 0.318 * [backup-simplify]: Simplify 0 into 0 0.318 * [backup-simplify]: Simplify 0 into 0 0.318 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.319 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.319 * [backup-simplify]: Simplify (+ 0 0) into 0 0.320 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 0.320 * [taylor]: Taking taylor expansion of 0 in y 0.320 * [backup-simplify]: Simplify 0 into 0 0.321 * [backup-simplify]: Simplify 0 into 0 0.321 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.322 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 1))) into 0 0.322 * [backup-simplify]: Simplify 0 into 0 0.322 * [backup-simplify]: Simplify 0 into 0 0.323 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.325 * [backup-simplify]: Simplify (+ 0 0) into 0 0.327 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0 0.327 * [taylor]: Taking taylor expansion of 0 in y 0.327 * [backup-simplify]: Simplify 0 into 0 0.327 * [backup-simplify]: Simplify 0 into 0 0.327 * [backup-simplify]: Simplify (+ (* 0.1 (* 1 (/ 1 (/ 1 x)))) (* 0.1 (* (/ 1 (/ 1 y)) 1))) into (+ (* 0.1 x) (* 0.1 y)) 0.328 * [backup-simplify]: Simplify (/ (+ (/ 1 (- x)) (/ 1 (- y))) 10.0) into (* -0.1 (+ (/ 1 y) (/ 1 x))) 0.328 * [approximate]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in (x y) around 0 0.328 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in y 0.328 * [taylor]: Taking taylor expansion of -0.1 in y 0.328 * [backup-simplify]: Simplify -0.1 into -0.1 0.328 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.328 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.328 * [taylor]: Taking taylor expansion of y in y 0.328 * [backup-simplify]: Simplify 0 into 0 0.328 * [backup-simplify]: Simplify 1 into 1 0.328 * [backup-simplify]: Simplify (/ 1 1) into 1 0.329 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.329 * [taylor]: Taking taylor expansion of x in y 0.329 * [backup-simplify]: Simplify x into x 0.329 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.329 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in x 0.329 * [taylor]: Taking taylor expansion of -0.1 in x 0.329 * [backup-simplify]: Simplify -0.1 into -0.1 0.329 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.329 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.329 * [taylor]: Taking taylor expansion of y in x 0.329 * [backup-simplify]: Simplify y into y 0.329 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.329 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.329 * [taylor]: Taking taylor expansion of x in x 0.329 * [backup-simplify]: Simplify 0 into 0 0.329 * [backup-simplify]: Simplify 1 into 1 0.329 * [backup-simplify]: Simplify (/ 1 1) into 1 0.330 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in x 0.330 * [taylor]: Taking taylor expansion of -0.1 in x 0.330 * [backup-simplify]: Simplify -0.1 into -0.1 0.330 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.330 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.330 * [taylor]: Taking taylor expansion of y in x 0.330 * [backup-simplify]: Simplify y into y 0.330 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.330 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.330 * [taylor]: Taking taylor expansion of x in x 0.330 * [backup-simplify]: Simplify 0 into 0 0.330 * [backup-simplify]: Simplify 1 into 1 0.330 * [backup-simplify]: Simplify (/ 1 1) into 1 0.331 * [backup-simplify]: Simplify (+ 0 1) into 1 0.331 * [backup-simplify]: Simplify (* -0.1 1) into -0.1 0.331 * [taylor]: Taking taylor expansion of -0.1 in y 0.331 * [backup-simplify]: Simplify -0.1 into -0.1 0.332 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.332 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 0.333 * [backup-simplify]: Simplify (+ (* -0.1 (/ 1 y)) (* 0 1)) into (- (* 0.1 (/ 1 y))) 0.333 * [taylor]: Taking taylor expansion of (- (* 0.1 (/ 1 y))) in y 0.333 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 0.333 * [taylor]: Taking taylor expansion of 0.1 in y 0.333 * [backup-simplify]: Simplify 0.1 into 0.1 0.333 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.333 * [taylor]: Taking taylor expansion of y in y 0.333 * [backup-simplify]: Simplify 0 into 0 0.333 * [backup-simplify]: Simplify 1 into 1 0.333 * [backup-simplify]: Simplify (/ 1 1) into 1 0.334 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 0.334 * [backup-simplify]: Simplify (- 0.1) into (- 0.1) 0.335 * [backup-simplify]: Simplify (- 0.1) into (- 0.1) 0.335 * [backup-simplify]: Simplify -0.1 into -0.1 0.335 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.336 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.336 * [backup-simplify]: Simplify (+ 0 0) into 0 0.337 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 0.337 * [taylor]: Taking taylor expansion of 0 in y 0.337 * [backup-simplify]: Simplify 0 into 0 0.338 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.339 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 1)) into 0 0.339 * [backup-simplify]: Simplify (- 0) into 0 0.339 * [backup-simplify]: Simplify 0 into 0 0.339 * [backup-simplify]: Simplify 0 into 0 0.340 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.341 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.341 * [backup-simplify]: Simplify (+ 0 0) into 0 0.342 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 0.342 * [taylor]: Taking taylor expansion of 0 in y 0.342 * [backup-simplify]: Simplify 0 into 0 0.342 * [backup-simplify]: Simplify 0 into 0 0.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.345 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 1))) into 0 0.345 * [backup-simplify]: Simplify (- 0) into 0 0.345 * [backup-simplify]: Simplify 0 into 0 0.345 * [backup-simplify]: Simplify 0 into 0 0.346 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.347 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.347 * [backup-simplify]: Simplify (+ 0 0) into 0 0.349 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0 0.349 * [taylor]: Taking taylor expansion of 0 in y 0.349 * [backup-simplify]: Simplify 0 into 0 0.349 * [backup-simplify]: Simplify 0 into 0 0.350 * [backup-simplify]: Simplify (+ (* -0.1 (* 1 (/ 1 (/ 1 (- x))))) (* (- 0.1) (* (/ 1 (/ 1 (- y))) 1))) into (+ (* 0.1 x) (* 0.1 y)) 0.350 * * * [progress]: simplifying candidates 0.352 * [simplify]: Simplifying: (- (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.353 * * [simplify]: Extracting # 0 : cost 0 0.353 * * [simplify]: Extracting # 1 : cost 0 0.353 * * [simplify]: Extracting # 2 : cost 0 0.354 * * [simplify]: Extracting # 3 : cost 0 0.354 * * [simplify]: Extracting # 4 : cost 0 0.354 * * [simplify]: Extracting # 5 : cost 0 0.354 * * [simplify]: Extracting # 6 : cost 0 0.354 * * [simplify]: Extracting # 7 : cost 0 0.354 * * [simplify]: iteration 0 : 63 enodes (cost 342 ) 0.385 * * [simplify]: Extracting # 0 : cost 0 0.385 * * [simplify]: Extracting # 1 : cost 0 0.386 * * [simplify]: Extracting # 2 : cost 0 0.386 * * [simplify]: Extracting # 3 : cost 0 0.386 * * [simplify]: Extracting # 4 : cost 0 0.387 * * [simplify]: Extracting # 5 : cost 0 0.387 * * [simplify]: iteration 1 : 132 enodes (cost 323 ) 0.462 * * [simplify]: Extracting # 0 : cost 0 0.463 * * [simplify]: Extracting # 1 : cost 0 0.463 * * [simplify]: Extracting # 2 : cost 0 0.464 * * [simplify]: Extracting # 3 : cost 0 0.465 * * [simplify]: Extracting # 4 : cost 0 0.466 * * [simplify]: iteration 2 : 327 enodes (cost 303 ) 0.645 * * [simplify]: Extracting # 0 : cost 0 0.647 * * [simplify]: Extracting # 1 : cost 0 0.649 * * [simplify]: Extracting # 2 : cost 0 0.651 * * [simplify]: Extracting # 3 : cost 0 0.652 * * [simplify]: Extracting # 4 : cost 0 0.653 * * [simplify]: iteration 3 : 706 enodes (cost 303 ) 1.171 * * [simplify]: Extracting # 0 : cost 0 1.174 * * [simplify]: Extracting # 1 : cost 0 1.176 * * [simplify]: Extracting # 2 : cost 0 1.179 * * [simplify]: Extracting # 3 : cost 0 1.182 * * [simplify]: iteration 4 : 1639 enodes (cost 303 ) 3.011 * * [simplify]: Extracting # 0 : cost 0 3.021 * * [simplify]: Extracting # 1 : cost 0 3.024 * * [simplify]: Extracting # 2 : cost 0 3.027 * * [simplify]: Extracting # 3 : cost 0 3.029 * * [simplify]: Extracting # 4 : cost 0 3.032 * * [simplify]: iteration 5 : 3449 enodes (cost 303 ) 4.566 * * [simplify]: Extracting # 0 : cost 0 4.570 * * [simplify]: Extracting # 1 : cost 0 4.574 * * [simplify]: Extracting # 2 : cost 0 4.578 * * [simplify]: Extracting # 3 : cost 0 4.583 * * [simplify]: Extracting # 4 : cost 0 4.590 * * [simplify]: iteration done: 5001 enodes (cost 303 ) 4.591 * [simplify]: Simplified to: (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)) (* (+ (* y (- y x)) (* x x)) 10.0) (* 10.0 (- x y)) (* 0.1 (+ x y)) (* 0.1 (+ x y)) (* 0.1 (+ x y)) 4.592 * * * [progress]: adding candidates to table 4.660 * * [progress]: iteration 2 / 4 4.660 * * * [progress]: picking best candidate 4.663 * * * * [pick]: Picked # 4.663 * * * [progress]: localizing error 4.667 * * * [progress]: generating rewritten candidates 4.667 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 4.709 * * * [progress]: generating series expansions 4.709 * * * * [progress]: [ 1 / 1 ] generating series at (2) 4.709 * [backup-simplify]: Simplify (* 0.1 (+ x y)) into (* 0.1 (+ x y)) 4.709 * [approximate]: Taking taylor expansion of (* 0.1 (+ x y)) in (x y) around 0 4.709 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in y 4.709 * [taylor]: Taking taylor expansion of 0.1 in y 4.709 * [backup-simplify]: Simplify 0.1 into 0.1 4.709 * [taylor]: Taking taylor expansion of (+ x y) in y 4.709 * [taylor]: Taking taylor expansion of x in y 4.709 * [backup-simplify]: Simplify x into x 4.709 * [taylor]: Taking taylor expansion of y in y 4.709 * [backup-simplify]: Simplify 0 into 0 4.709 * [backup-simplify]: Simplify 1 into 1 4.709 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in x 4.709 * [taylor]: Taking taylor expansion of 0.1 in x 4.709 * [backup-simplify]: Simplify 0.1 into 0.1 4.709 * [taylor]: Taking taylor expansion of (+ x y) in x 4.710 * [taylor]: Taking taylor expansion of x in x 4.710 * [backup-simplify]: Simplify 0 into 0 4.710 * [backup-simplify]: Simplify 1 into 1 4.710 * [taylor]: Taking taylor expansion of y in x 4.710 * [backup-simplify]: Simplify y into y 4.710 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in x 4.710 * [taylor]: Taking taylor expansion of 0.1 in x 4.710 * [backup-simplify]: Simplify 0.1 into 0.1 4.710 * [taylor]: Taking taylor expansion of (+ x y) in x 4.710 * [taylor]: Taking taylor expansion of x in x 4.710 * [backup-simplify]: Simplify 0 into 0 4.710 * [backup-simplify]: Simplify 1 into 1 4.710 * [taylor]: Taking taylor expansion of y in x 4.710 * [backup-simplify]: Simplify y into y 4.710 * [backup-simplify]: Simplify (+ 0 y) into y 4.710 * [backup-simplify]: Simplify (* 0.1 y) into (* 0.1 y) 4.710 * [taylor]: Taking taylor expansion of (* 0.1 y) in y 4.710 * [taylor]: Taking taylor expansion of 0.1 in y 4.710 * [backup-simplify]: Simplify 0.1 into 0.1 4.710 * [taylor]: Taking taylor expansion of y in y 4.710 * [backup-simplify]: Simplify 0 into 0 4.710 * [backup-simplify]: Simplify 1 into 1 4.711 * [backup-simplify]: Simplify (* 0.1 0) into 0 4.711 * [backup-simplify]: Simplify 0 into 0 4.711 * [backup-simplify]: Simplify (+ 1 0) into 1 4.717 * [backup-simplify]: Simplify (+ (* 0.1 1) (* 0 y)) into 0.1 4.717 * [taylor]: Taking taylor expansion of 0.1 in y 4.717 * [backup-simplify]: Simplify 0.1 into 0.1 4.717 * [backup-simplify]: Simplify 0.1 into 0.1 4.719 * [backup-simplify]: Simplify (+ (* 0.1 1) (* 0 0)) into 0.1 4.719 * [backup-simplify]: Simplify 0.1 into 0.1 4.719 * [backup-simplify]: Simplify (+ 0 0) into 0 4.720 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 1) (* 0 y))) into 0 4.721 * [taylor]: Taking taylor expansion of 0 in y 4.721 * [backup-simplify]: Simplify 0 into 0 4.721 * [backup-simplify]: Simplify 0 into 0 4.721 * [backup-simplify]: Simplify 0 into 0 4.721 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 1) (* 0 0))) into 0 4.722 * [backup-simplify]: Simplify 0 into 0 4.722 * [backup-simplify]: Simplify (+ 0 0) into 0 4.723 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 1) (* 0 y)))) into 0 4.723 * [taylor]: Taking taylor expansion of 0 in y 4.723 * [backup-simplify]: Simplify 0 into 0 4.723 * [backup-simplify]: Simplify 0 into 0 4.723 * [backup-simplify]: Simplify 0 into 0 4.723 * [backup-simplify]: Simplify 0 into 0 4.723 * [backup-simplify]: Simplify (+ (* 0.1 (* y 1)) (* 0.1 (* 1 x))) into (+ (* 0.1 x) (* 0.1 y)) 4.723 * [backup-simplify]: Simplify (* 0.1 (+ (/ 1 x) (/ 1 y))) into (* 0.1 (+ (/ 1 y) (/ 1 x))) 4.723 * [approximate]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in (x y) around 0 4.723 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in y 4.723 * [taylor]: Taking taylor expansion of 0.1 in y 4.723 * [backup-simplify]: Simplify 0.1 into 0.1 4.723 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 4.723 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.723 * [taylor]: Taking taylor expansion of y in y 4.723 * [backup-simplify]: Simplify 0 into 0 4.723 * [backup-simplify]: Simplify 1 into 1 4.723 * [backup-simplify]: Simplify (/ 1 1) into 1 4.723 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.723 * [taylor]: Taking taylor expansion of x in y 4.723 * [backup-simplify]: Simplify x into x 4.723 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.723 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in x 4.723 * [taylor]: Taking taylor expansion of 0.1 in x 4.723 * [backup-simplify]: Simplify 0.1 into 0.1 4.724 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 4.724 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.724 * [taylor]: Taking taylor expansion of y in x 4.724 * [backup-simplify]: Simplify y into y 4.724 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.724 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.724 * [taylor]: Taking taylor expansion of x in x 4.724 * [backup-simplify]: Simplify 0 into 0 4.724 * [backup-simplify]: Simplify 1 into 1 4.724 * [backup-simplify]: Simplify (/ 1 1) into 1 4.724 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in x 4.724 * [taylor]: Taking taylor expansion of 0.1 in x 4.724 * [backup-simplify]: Simplify 0.1 into 0.1 4.724 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 4.724 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.724 * [taylor]: Taking taylor expansion of y in x 4.724 * [backup-simplify]: Simplify y into y 4.724 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.724 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.724 * [taylor]: Taking taylor expansion of x in x 4.724 * [backup-simplify]: Simplify 0 into 0 4.724 * [backup-simplify]: Simplify 1 into 1 4.724 * [backup-simplify]: Simplify (/ 1 1) into 1 4.725 * [backup-simplify]: Simplify (+ 0 1) into 1 4.725 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 4.725 * [taylor]: Taking taylor expansion of 0.1 in y 4.725 * [backup-simplify]: Simplify 0.1 into 0.1 4.726 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.726 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 4.726 * [backup-simplify]: Simplify (+ (* 0.1 (/ 1 y)) (* 0 1)) into (* 0.1 (/ 1 y)) 4.726 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 4.726 * [taylor]: Taking taylor expansion of 0.1 in y 4.726 * [backup-simplify]: Simplify 0.1 into 0.1 4.726 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.726 * [taylor]: Taking taylor expansion of y in y 4.726 * [backup-simplify]: Simplify 0 into 0 4.726 * [backup-simplify]: Simplify 1 into 1 4.726 * [backup-simplify]: Simplify (/ 1 1) into 1 4.727 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 4.727 * [backup-simplify]: Simplify 0.1 into 0.1 4.727 * [backup-simplify]: Simplify 0.1 into 0.1 4.727 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.728 * [backup-simplify]: Simplify (+ 0 0) into 0 4.728 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 4.728 * [taylor]: Taking taylor expansion of 0 in y 4.728 * [backup-simplify]: Simplify 0 into 0 4.729 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.729 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 1)) into 0 4.729 * [backup-simplify]: Simplify 0 into 0 4.729 * [backup-simplify]: Simplify 0 into 0 4.729 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.730 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.730 * [backup-simplify]: Simplify (+ 0 0) into 0 4.731 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 4.731 * [taylor]: Taking taylor expansion of 0 in y 4.731 * [backup-simplify]: Simplify 0 into 0 4.731 * [backup-simplify]: Simplify 0 into 0 4.732 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.732 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 1))) into 0 4.732 * [backup-simplify]: Simplify 0 into 0 4.732 * [backup-simplify]: Simplify 0 into 0 4.732 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.733 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.733 * [backup-simplify]: Simplify (+ 0 0) into 0 4.734 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0 4.734 * [taylor]: Taking taylor expansion of 0 in y 4.734 * [backup-simplify]: Simplify 0 into 0 4.734 * [backup-simplify]: Simplify 0 into 0 4.734 * [backup-simplify]: Simplify (+ (* 0.1 (* 1 (/ 1 (/ 1 x)))) (* 0.1 (* (/ 1 (/ 1 y)) 1))) into (+ (* 0.1 x) (* 0.1 y)) 4.734 * [backup-simplify]: Simplify (* 0.1 (+ (/ 1 (- x)) (/ 1 (- y)))) into (* -0.1 (+ (/ 1 y) (/ 1 x))) 4.734 * [approximate]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in (x y) around 0 4.735 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in y 4.735 * [taylor]: Taking taylor expansion of -0.1 in y 4.735 * [backup-simplify]: Simplify -0.1 into -0.1 4.735 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 4.735 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.735 * [taylor]: Taking taylor expansion of y in y 4.735 * [backup-simplify]: Simplify 0 into 0 4.735 * [backup-simplify]: Simplify 1 into 1 4.735 * [backup-simplify]: Simplify (/ 1 1) into 1 4.735 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.735 * [taylor]: Taking taylor expansion of x in y 4.735 * [backup-simplify]: Simplify x into x 4.735 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.735 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in x 4.735 * [taylor]: Taking taylor expansion of -0.1 in x 4.735 * [backup-simplify]: Simplify -0.1 into -0.1 4.735 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 4.735 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.735 * [taylor]: Taking taylor expansion of y in x 4.735 * [backup-simplify]: Simplify y into y 4.735 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.735 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.735 * [taylor]: Taking taylor expansion of x in x 4.735 * [backup-simplify]: Simplify 0 into 0 4.735 * [backup-simplify]: Simplify 1 into 1 4.735 * [backup-simplify]: Simplify (/ 1 1) into 1 4.735 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in x 4.735 * [taylor]: Taking taylor expansion of -0.1 in x 4.735 * [backup-simplify]: Simplify -0.1 into -0.1 4.736 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 4.736 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.736 * [taylor]: Taking taylor expansion of y in x 4.736 * [backup-simplify]: Simplify y into y 4.736 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.736 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.736 * [taylor]: Taking taylor expansion of x in x 4.736 * [backup-simplify]: Simplify 0 into 0 4.736 * [backup-simplify]: Simplify 1 into 1 4.736 * [backup-simplify]: Simplify (/ 1 1) into 1 4.736 * [backup-simplify]: Simplify (+ 0 1) into 1 4.736 * [backup-simplify]: Simplify (* -0.1 1) into -0.1 4.736 * [taylor]: Taking taylor expansion of -0.1 in y 4.737 * [backup-simplify]: Simplify -0.1 into -0.1 4.737 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.737 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 4.737 * [backup-simplify]: Simplify (+ (* -0.1 (/ 1 y)) (* 0 1)) into (- (* 0.1 (/ 1 y))) 4.737 * [taylor]: Taking taylor expansion of (- (* 0.1 (/ 1 y))) in y 4.737 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 4.737 * [taylor]: Taking taylor expansion of 0.1 in y 4.737 * [backup-simplify]: Simplify 0.1 into 0.1 4.737 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.737 * [taylor]: Taking taylor expansion of y in y 4.737 * [backup-simplify]: Simplify 0 into 0 4.737 * [backup-simplify]: Simplify 1 into 1 4.738 * [backup-simplify]: Simplify (/ 1 1) into 1 4.738 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 4.738 * [backup-simplify]: Simplify (- 0.1) into (- 0.1) 4.738 * [backup-simplify]: Simplify (- 0.1) into (- 0.1) 4.738 * [backup-simplify]: Simplify -0.1 into -0.1 4.739 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.739 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.739 * [backup-simplify]: Simplify (+ 0 0) into 0 4.740 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 4.740 * [taylor]: Taking taylor expansion of 0 in y 4.740 * [backup-simplify]: Simplify 0 into 0 4.740 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.741 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 1)) into 0 4.741 * [backup-simplify]: Simplify (- 0) into 0 4.741 * [backup-simplify]: Simplify 0 into 0 4.741 * [backup-simplify]: Simplify 0 into 0 4.741 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.742 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.742 * [backup-simplify]: Simplify (+ 0 0) into 0 4.743 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 4.743 * [taylor]: Taking taylor expansion of 0 in y 4.743 * [backup-simplify]: Simplify 0 into 0 4.743 * [backup-simplify]: Simplify 0 into 0 4.743 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.744 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 1))) into 0 4.744 * [backup-simplify]: Simplify (- 0) into 0 4.744 * [backup-simplify]: Simplify 0 into 0 4.744 * [backup-simplify]: Simplify 0 into 0 4.744 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.745 * [backup-simplify]: Simplify (+ 0 0) into 0 4.746 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0 4.746 * [taylor]: Taking taylor expansion of 0 in y 4.746 * [backup-simplify]: Simplify 0 into 0 4.746 * [backup-simplify]: Simplify 0 into 0 4.746 * [backup-simplify]: Simplify (+ (* -0.1 (* 1 (/ 1 (/ 1 (- x))))) (* (- 0.1) (* (/ 1 (/ 1 (- y))) 1))) into (+ (* 0.1 x) (* 0.1 y)) 4.746 * * * [progress]: simplifying candidates 4.747 * [simplify]: Simplifying: (* 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)) 4.747 * * [simplify]: Extracting # 0 : cost 0 4.747 * * [simplify]: Extracting # 1 : cost 0 4.747 * * [simplify]: Extracting # 2 : cost 0 4.748 * * [simplify]: Extracting # 3 : cost 0 4.748 * * [simplify]: Extracting # 4 : cost 0 4.748 * * [simplify]: Extracting # 5 : cost 0 4.748 * * [simplify]: iteration 0 : 46 enodes (cost 194 ) 4.773 * * [simplify]: Extracting # 0 : cost 0 4.773 * * [simplify]: Extracting # 1 : cost 0 4.773 * * [simplify]: Extracting # 2 : cost 0 4.774 * * [simplify]: Extracting # 3 : cost 0 4.774 * * [simplify]: iteration 1 : 126 enodes (cost 183 ) 4.822 * * [simplify]: Extracting # 0 : cost 0 4.823 * * [simplify]: Extracting # 1 : cost 0 4.824 * * [simplify]: Extracting # 2 : cost 0 4.824 * * [simplify]: Extracting # 3 : cost 0 4.825 * * [simplify]: Extracting # 4 : cost 0 4.826 * * [simplify]: iteration 2 : 382 enodes (cost 163 ) 5.142 * * [simplify]: Extracting # 0 : cost 0 5.144 * * [simplify]: Extracting # 1 : cost 0 5.145 * * [simplify]: Extracting # 2 : cost 0 5.146 * * [simplify]: Extracting # 3 : cost 0 5.147 * * [simplify]: Extracting # 4 : cost 0 5.148 * * [simplify]: iteration 3 : 1297 enodes (cost 163 ) 8.204 * * [simplify]: Extracting # 0 : cost 0 8.208 * * [simplify]: Extracting # 1 : cost 0 8.210 * * [simplify]: Extracting # 2 : cost 0 8.212 * * [simplify]: Extracting # 3 : cost 0 8.215 * * [simplify]: Extracting # 4 : cost 0 8.220 * * [simplify]: iteration 4 : 4258 enodes (cost 163 ) 9.364 * * [simplify]: Extracting # 0 : cost 0 9.373 * * [simplify]: Extracting # 1 : cost 0 9.379 * * [simplify]: Extracting # 2 : cost 0 9.385 * * [simplify]: Extracting # 3 : cost 0 9.391 * * [simplify]: Extracting # 4 : cost 0 9.397 * * [simplify]: iteration done: 5000 enodes (cost 163 ) 9.398 * [simplify]: Simplified to: (* 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))) (* x 0.1) (* 0.1 y) (* x 0.1) (* 0.1 y) (* 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)) 9.398 * * * [progress]: adding candidates to table 9.432 * * [progress]: iteration 3 / 4 9.432 * * * [progress]: picking best candidate 9.433 * * * * [pick]: Picked # 9.433 * * * [progress]: localizing error 9.441 * * * [progress]: generating rewritten candidates 9.441 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 9.449 * * * [progress]: generating series expansions 9.449 * * * * [progress]: [ 1 / 1 ] generating series at (2) 9.450 * [backup-simplify]: Simplify (+ (* x 0.1) (* 0.1 y)) into (+ (* 0.1 x) (* 0.1 y)) 9.450 * [approximate]: Taking taylor expansion of (+ (* 0.1 x) (* 0.1 y)) in (x y) around 0 9.450 * [taylor]: Taking taylor expansion of (+ (* 0.1 x) (* 0.1 y)) in y 9.450 * [taylor]: Taking taylor expansion of (* 0.1 x) in y 9.450 * [taylor]: Taking taylor expansion of 0.1 in y 9.450 * [backup-simplify]: Simplify 0.1 into 0.1 9.450 * [taylor]: Taking taylor expansion of x in y 9.450 * [backup-simplify]: Simplify x into x 9.450 * [taylor]: Taking taylor expansion of (* 0.1 y) in y 9.450 * [taylor]: Taking taylor expansion of 0.1 in y 9.450 * [backup-simplify]: Simplify 0.1 into 0.1 9.450 * [taylor]: Taking taylor expansion of y in y 9.450 * [backup-simplify]: Simplify 0 into 0 9.450 * [backup-simplify]: Simplify 1 into 1 9.450 * [taylor]: Taking taylor expansion of (+ (* 0.1 x) (* 0.1 y)) in x 9.450 * [taylor]: Taking taylor expansion of (* 0.1 x) in x 9.450 * [taylor]: Taking taylor expansion of 0.1 in x 9.450 * [backup-simplify]: Simplify 0.1 into 0.1 9.450 * [taylor]: Taking taylor expansion of x in x 9.450 * [backup-simplify]: Simplify 0 into 0 9.450 * [backup-simplify]: Simplify 1 into 1 9.450 * [taylor]: Taking taylor expansion of (* 0.1 y) in x 9.450 * [taylor]: Taking taylor expansion of 0.1 in x 9.450 * [backup-simplify]: Simplify 0.1 into 0.1 9.450 * [taylor]: Taking taylor expansion of y in x 9.450 * [backup-simplify]: Simplify y into y 9.450 * [taylor]: Taking taylor expansion of (+ (* 0.1 x) (* 0.1 y)) in x 9.450 * [taylor]: Taking taylor expansion of (* 0.1 x) in x 9.450 * [taylor]: Taking taylor expansion of 0.1 in x 9.450 * [backup-simplify]: Simplify 0.1 into 0.1 9.450 * [taylor]: Taking taylor expansion of x in x 9.450 * [backup-simplify]: Simplify 0 into 0 9.450 * [backup-simplify]: Simplify 1 into 1 9.450 * [taylor]: Taking taylor expansion of (* 0.1 y) in x 9.450 * [taylor]: Taking taylor expansion of 0.1 in x 9.450 * [backup-simplify]: Simplify 0.1 into 0.1 9.450 * [taylor]: Taking taylor expansion of y in x 9.450 * [backup-simplify]: Simplify y into y 9.451 * [backup-simplify]: Simplify (* 0.1 0) into 0 9.451 * [backup-simplify]: Simplify (* 0.1 y) into (* 0.1 y) 9.451 * [backup-simplify]: Simplify (+ 0 (* 0.1 y)) into (* 0.1 y) 9.451 * [taylor]: Taking taylor expansion of (* 0.1 y) in y 9.451 * [taylor]: Taking taylor expansion of 0.1 in y 9.451 * [backup-simplify]: Simplify 0.1 into 0.1 9.451 * [taylor]: Taking taylor expansion of y in y 9.451 * [backup-simplify]: Simplify 0 into 0 9.451 * [backup-simplify]: Simplify 1 into 1 9.451 * [backup-simplify]: Simplify (* 0.1 0) into 0 9.451 * [backup-simplify]: Simplify 0 into 0 9.452 * [backup-simplify]: Simplify (+ (* 0.1 1) (* 0 0)) into 0.1 9.452 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 y)) into 0 9.453 * [backup-simplify]: Simplify (+ 0.1 0) into 0.1 9.453 * [taylor]: Taking taylor expansion of 0.1 in y 9.453 * [backup-simplify]: Simplify 0.1 into 0.1 9.453 * [backup-simplify]: Simplify 0.1 into 0.1 9.454 * [backup-simplify]: Simplify (+ (* 0.1 1) (* 0 0)) into 0.1 9.454 * [backup-simplify]: Simplify 0.1 into 0.1 9.455 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 1) (* 0 0))) into 0 9.456 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 y))) into 0 9.456 * [backup-simplify]: Simplify (+ 0 0) into 0 9.456 * [taylor]: Taking taylor expansion of 0 in y 9.456 * [backup-simplify]: Simplify 0 into 0 9.456 * [backup-simplify]: Simplify 0 into 0 9.456 * [backup-simplify]: Simplify 0 into 0 9.457 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 1) (* 0 0))) into 0 9.457 * [backup-simplify]: Simplify 0 into 0 9.458 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 9.459 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 9.460 * [backup-simplify]: Simplify (+ 0 0) into 0 9.460 * [taylor]: Taking taylor expansion of 0 in y 9.460 * [backup-simplify]: Simplify 0 into 0 9.460 * [backup-simplify]: Simplify 0 into 0 9.460 * [backup-simplify]: Simplify 0 into 0 9.460 * [backup-simplify]: Simplify 0 into 0 9.460 * [backup-simplify]: Simplify (+ (* 0.1 (* y 1)) (* 0.1 (* 1 x))) into (+ (* 0.1 x) (* 0.1 y)) 9.460 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0.1) (* 0.1 (/ 1 y))) into (+ (* 0.1 (/ 1 y)) (* 0.1 (/ 1 x))) 9.460 * [approximate]: Taking taylor expansion of (+ (* 0.1 (/ 1 y)) (* 0.1 (/ 1 x))) in (x y) around 0 9.460 * [taylor]: Taking taylor expansion of (+ (* 0.1 (/ 1 y)) (* 0.1 (/ 1 x))) in y 9.460 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 9.460 * [taylor]: Taking taylor expansion of 0.1 in y 9.461 * [backup-simplify]: Simplify 0.1 into 0.1 9.461 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.461 * [taylor]: Taking taylor expansion of y in y 9.461 * [backup-simplify]: Simplify 0 into 0 9.461 * [backup-simplify]: Simplify 1 into 1 9.461 * [backup-simplify]: Simplify (/ 1 1) into 1 9.461 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 x)) in y 9.461 * [taylor]: Taking taylor expansion of 0.1 in y 9.461 * [backup-simplify]: Simplify 0.1 into 0.1 9.461 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.461 * [taylor]: Taking taylor expansion of x in y 9.461 * [backup-simplify]: Simplify x into x 9.461 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.461 * [taylor]: Taking taylor expansion of (+ (* 0.1 (/ 1 y)) (* 0.1 (/ 1 x))) in x 9.461 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in x 9.461 * [taylor]: Taking taylor expansion of 0.1 in x 9.461 * [backup-simplify]: Simplify 0.1 into 0.1 9.461 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.461 * [taylor]: Taking taylor expansion of y in x 9.461 * [backup-simplify]: Simplify y into y 9.462 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.462 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 x)) in x 9.462 * [taylor]: Taking taylor expansion of 0.1 in x 9.462 * [backup-simplify]: Simplify 0.1 into 0.1 9.462 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.462 * [taylor]: Taking taylor expansion of x in x 9.462 * [backup-simplify]: Simplify 0 into 0 9.462 * [backup-simplify]: Simplify 1 into 1 9.462 * [backup-simplify]: Simplify (/ 1 1) into 1 9.462 * [taylor]: Taking taylor expansion of (+ (* 0.1 (/ 1 y)) (* 0.1 (/ 1 x))) in x 9.462 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in x 9.462 * [taylor]: Taking taylor expansion of 0.1 in x 9.462 * [backup-simplify]: Simplify 0.1 into 0.1 9.462 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.462 * [taylor]: Taking taylor expansion of y in x 9.462 * [backup-simplify]: Simplify y into y 9.462 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.462 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 x)) in x 9.462 * [taylor]: Taking taylor expansion of 0.1 in x 9.462 * [backup-simplify]: Simplify 0.1 into 0.1 9.462 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.463 * [taylor]: Taking taylor expansion of x in x 9.463 * [backup-simplify]: Simplify 0 into 0 9.463 * [backup-simplify]: Simplify 1 into 1 9.463 * [backup-simplify]: Simplify (/ 1 1) into 1 9.463 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 9.464 * [backup-simplify]: Simplify (+ 0 0.1) into 0.1 9.464 * [taylor]: Taking taylor expansion of 0.1 in y 9.464 * [backup-simplify]: Simplify 0.1 into 0.1 9.464 * [backup-simplify]: Simplify (* 0.1 (/ 1 y)) into (/ 0.1 y) 9.465 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.465 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 1)) into 0 9.466 * [backup-simplify]: Simplify (+ (/ 0.1 y) 0) into (* 0.1 (/ 1 y)) 9.466 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 9.466 * [taylor]: Taking taylor expansion of 0.1 in y 9.466 * [backup-simplify]: Simplify 0.1 into 0.1 9.466 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.466 * [taylor]: Taking taylor expansion of y in y 9.466 * [backup-simplify]: Simplify 0 into 0 9.466 * [backup-simplify]: Simplify 1 into 1 9.466 * [backup-simplify]: Simplify (/ 1 1) into 1 9.467 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 9.467 * [backup-simplify]: Simplify 0.1 into 0.1 9.467 * [backup-simplify]: Simplify 0.1 into 0.1 9.467 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 9.467 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 (/ 1 y))) into 0 9.468 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.469 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 1))) into 0 9.469 * [backup-simplify]: Simplify (+ 0 0) into 0 9.469 * [taylor]: Taking taylor expansion of 0 in y 9.469 * [backup-simplify]: Simplify 0 into 0 9.470 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.470 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 1)) into 0 9.470 * [backup-simplify]: Simplify 0 into 0 9.470 * [backup-simplify]: Simplify 0 into 0 9.470 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.471 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 9.471 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.472 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.472 * [backup-simplify]: Simplify (+ 0 0) into 0 9.472 * [taylor]: Taking taylor expansion of 0 in y 9.472 * [backup-simplify]: Simplify 0 into 0 9.472 * [backup-simplify]: Simplify 0 into 0 9.473 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.473 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 1))) into 0 9.473 * [backup-simplify]: Simplify 0 into 0 9.473 * [backup-simplify]: Simplify 0 into 0 9.473 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.474 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 9.475 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.475 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.476 * [backup-simplify]: Simplify (+ 0 0) into 0 9.476 * [taylor]: Taking taylor expansion of 0 in y 9.476 * [backup-simplify]: Simplify 0 into 0 9.476 * [backup-simplify]: Simplify 0 into 0 9.476 * [backup-simplify]: Simplify (+ (* 0.1 (* 1 (/ 1 (/ 1 x)))) (* 0.1 (* (/ 1 (/ 1 y)) 1))) into (+ (* 0.1 x) (* 0.1 y)) 9.476 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) 0.1) (* 0.1 (/ 1 (- y)))) into (- (+ (* 0.1 (/ 1 y)) (* 0.1 (/ 1 x)))) 9.476 * [approximate]: Taking taylor expansion of (- (+ (* 0.1 (/ 1 y)) (* 0.1 (/ 1 x)))) in (x y) around 0 9.476 * [taylor]: Taking taylor expansion of (- (+ (* 0.1 (/ 1 y)) (* 0.1 (/ 1 x)))) in y 9.476 * [taylor]: Taking taylor expansion of (+ (* 0.1 (/ 1 y)) (* 0.1 (/ 1 x))) in y 9.476 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 9.476 * [taylor]: Taking taylor expansion of 0.1 in y 9.476 * [backup-simplify]: Simplify 0.1 into 0.1 9.476 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.476 * [taylor]: Taking taylor expansion of y in y 9.476 * [backup-simplify]: Simplify 0 into 0 9.476 * [backup-simplify]: Simplify 1 into 1 9.476 * [backup-simplify]: Simplify (/ 1 1) into 1 9.476 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 x)) in y 9.476 * [taylor]: Taking taylor expansion of 0.1 in y 9.476 * [backup-simplify]: Simplify 0.1 into 0.1 9.477 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.477 * [taylor]: Taking taylor expansion of x in y 9.477 * [backup-simplify]: Simplify x into x 9.477 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.477 * [taylor]: Taking taylor expansion of (- (+ (* 0.1 (/ 1 y)) (* 0.1 (/ 1 x)))) in x 9.477 * [taylor]: Taking taylor expansion of (+ (* 0.1 (/ 1 y)) (* 0.1 (/ 1 x))) in x 9.477 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in x 9.477 * [taylor]: Taking taylor expansion of 0.1 in x 9.477 * [backup-simplify]: Simplify 0.1 into 0.1 9.477 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.477 * [taylor]: Taking taylor expansion of y in x 9.477 * [backup-simplify]: Simplify y into y 9.477 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.477 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 x)) in x 9.477 * [taylor]: Taking taylor expansion of 0.1 in x 9.477 * [backup-simplify]: Simplify 0.1 into 0.1 9.477 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.477 * [taylor]: Taking taylor expansion of x in x 9.477 * [backup-simplify]: Simplify 0 into 0 9.477 * [backup-simplify]: Simplify 1 into 1 9.477 * [backup-simplify]: Simplify (/ 1 1) into 1 9.477 * [taylor]: Taking taylor expansion of (- (+ (* 0.1 (/ 1 y)) (* 0.1 (/ 1 x)))) in x 9.477 * [taylor]: Taking taylor expansion of (+ (* 0.1 (/ 1 y)) (* 0.1 (/ 1 x))) in x 9.477 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in x 9.477 * [taylor]: Taking taylor expansion of 0.1 in x 9.477 * [backup-simplify]: Simplify 0.1 into 0.1 9.477 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.477 * [taylor]: Taking taylor expansion of y in x 9.477 * [backup-simplify]: Simplify y into y 9.477 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.477 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 x)) in x 9.477 * [taylor]: Taking taylor expansion of 0.1 in x 9.477 * [backup-simplify]: Simplify 0.1 into 0.1 9.477 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.477 * [taylor]: Taking taylor expansion of x in x 9.477 * [backup-simplify]: Simplify 0 into 0 9.477 * [backup-simplify]: Simplify 1 into 1 9.478 * [backup-simplify]: Simplify (/ 1 1) into 1 9.478 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 9.478 * [backup-simplify]: Simplify (+ 0 0.1) into 0.1 9.478 * [backup-simplify]: Simplify (- 0.1) into (- 0.1) 9.478 * [taylor]: Taking taylor expansion of (- 0.1) in y 9.478 * [taylor]: Taking taylor expansion of 0.1 in y 9.478 * [backup-simplify]: Simplify 0.1 into 0.1 9.479 * [backup-simplify]: Simplify (* 0.1 (/ 1 y)) into (/ 0.1 y) 9.479 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.479 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 1)) into 0 9.479 * [backup-simplify]: Simplify (+ (/ 0.1 y) 0) into (* 0.1 (/ 1 y)) 9.480 * [backup-simplify]: Simplify (- (* 0.1 (/ 1 y))) into (- (* 0.1 (/ 1 y))) 9.480 * [taylor]: Taking taylor expansion of (- (* 0.1 (/ 1 y))) in y 9.480 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 9.480 * [taylor]: Taking taylor expansion of 0.1 in y 9.480 * [backup-simplify]: Simplify 0.1 into 0.1 9.480 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.480 * [taylor]: Taking taylor expansion of y in y 9.480 * [backup-simplify]: Simplify 0 into 0 9.480 * [backup-simplify]: Simplify 1 into 1 9.480 * [backup-simplify]: Simplify (/ 1 1) into 1 9.480 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 9.481 * [backup-simplify]: Simplify (- 0.1) into (- 0.1) 9.481 * [backup-simplify]: Simplify (- 0.1) into (- 0.1) 9.481 * [backup-simplify]: Simplify (- 0.1) into (- 0.1) 9.481 * [backup-simplify]: Simplify (- 0.1) into (- 0.1) 9.481 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 9.482 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 (/ 1 y))) into 0 9.482 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.483 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 1))) into 0 9.483 * [backup-simplify]: Simplify (+ 0 0) into 0 9.483 * [backup-simplify]: Simplify (- 0) into 0 9.483 * [taylor]: Taking taylor expansion of 0 in y 9.483 * [backup-simplify]: Simplify 0 into 0 9.484 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.484 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 1)) into 0 9.484 * [backup-simplify]: Simplify (- 0) into 0 9.484 * [backup-simplify]: Simplify 0 into 0 9.485 * [backup-simplify]: Simplify (- 0) into 0 9.485 * [backup-simplify]: Simplify 0 into 0 9.485 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.485 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 9.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.486 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.487 * [backup-simplify]: Simplify (+ 0 0) into 0 9.487 * [backup-simplify]: Simplify (- 0) into 0 9.487 * [taylor]: Taking taylor expansion of 0 in y 9.487 * [backup-simplify]: Simplify 0 into 0 9.487 * [backup-simplify]: Simplify 0 into 0 9.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.488 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 1))) into 0 9.488 * [backup-simplify]: Simplify (- 0) into 0 9.488 * [backup-simplify]: Simplify 0 into 0 9.489 * [backup-simplify]: Simplify (- 0) into 0 9.489 * [backup-simplify]: Simplify 0 into 0 9.489 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.489 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 9.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.491 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.491 * [backup-simplify]: Simplify (+ 0 0) into 0 9.491 * [backup-simplify]: Simplify (- 0) into 0 9.491 * [taylor]: Taking taylor expansion of 0 in y 9.491 * [backup-simplify]: Simplify 0 into 0 9.491 * [backup-simplify]: Simplify 0 into 0 9.492 * [backup-simplify]: Simplify (+ (* (- 0.1) (* 1 (/ 1 (/ 1 (- x))))) (* (- 0.1) (* (/ 1 (/ 1 (- y))) 1))) into (+ (* 0.1 x) (* 0.1 y)) 9.492 * * * [progress]: simplifying candidates 9.492 * [simplify]: Simplifying: (* (exp (* x 0.1)) (exp (* 0.1 y))) (log (+ (* x 0.1) (* 0.1 y))) (exp (+ (* x 0.1) (* 0.1 y))) (* (cbrt (+ (* x 0.1) (* 0.1 y))) (cbrt (+ (* x 0.1) (* 0.1 y)))) (cbrt (+ (* x 0.1) (* 0.1 y))) (* (* (+ (* x 0.1) (* 0.1 y)) (+ (* x 0.1) (* 0.1 y))) (+ (* x 0.1) (* 0.1 y))) (sqrt (+ (* x 0.1) (* 0.1 y))) (sqrt (+ (* x 0.1) (* 0.1 y))) (+ (pow (* x 0.1) 3) (pow (* 0.1 y) 3)) (+ (* (* x 0.1) (* x 0.1)) (- (* (* 0.1 y) (* 0.1 y)) (* (* x 0.1) (* 0.1 y)))) (- (* (* x 0.1) (* x 0.1)) (* (* 0.1 y) (* 0.1 y))) (- (* x 0.1) (* 0.1 y)) (+ (* 0.1 x) (* 0.1 y)) (+ (* 0.1 x) (* 0.1 y)) (+ (* 0.1 x) (* 0.1 y)) 9.492 * * [simplify]: Extracting # 0 : cost 0 9.492 * * [simplify]: Extracting # 1 : cost 0 9.493 * * [simplify]: Extracting # 2 : cost 0 9.493 * * [simplify]: Extracting # 3 : cost 0 9.493 * * [simplify]: Extracting # 4 : cost 0 9.493 * * [simplify]: Extracting # 5 : cost 0 9.493 * * [simplify]: iteration 0 : 29 enodes (cost 166 ) 9.504 * * [simplify]: Extracting # 0 : cost 0 9.504 * * [simplify]: Extracting # 1 : cost 0 9.504 * * [simplify]: Extracting # 2 : cost 0 9.504 * * [simplify]: Extracting # 3 : cost 0 9.505 * * [simplify]: Extracting # 4 : cost 0 9.505 * * [simplify]: iteration 1 : 99 enodes (cost 131 ) 9.548 * * [simplify]: Extracting # 0 : cost 0 9.548 * * [simplify]: Extracting # 1 : cost 0 9.548 * * [simplify]: Extracting # 2 : cost 0 9.549 * * [simplify]: Extracting # 3 : cost 0 9.549 * * [simplify]: Extracting # 4 : cost 0 9.549 * * [simplify]: Extracting # 5 : cost 0 9.550 * * [simplify]: Extracting # 6 : cost 0 9.550 * * [simplify]: iteration 2 : 345 enodes (cost 115 ) 9.800 * * [simplify]: Extracting # 0 : cost 0 9.803 * * [simplify]: Extracting # 1 : cost 0 9.805 * * [simplify]: Extracting # 2 : cost 0 9.807 * * [simplify]: Extracting # 3 : cost 0 9.809 * * [simplify]: Extracting # 4 : cost 0 9.811 * * [simplify]: iteration 3 : 1144 enodes (cost 113 ) 11.338 * * [simplify]: Extracting # 0 : cost 0 11.346 * * [simplify]: Extracting # 1 : cost 0 11.359 * * [simplify]: Extracting # 2 : cost 0 11.365 * * [simplify]: Extracting # 3 : cost 0 11.370 * * [simplify]: Extracting # 4 : cost 0 11.372 * * [simplify]: Extracting # 5 : cost 0 11.374 * * [simplify]: iteration 4 : 3490 enodes (cost 113 ) 13.202 * * [simplify]: Extracting # 0 : cost 0 13.206 * * [simplify]: Extracting # 1 : cost 0 13.214 * * [simplify]: Extracting # 2 : cost 0 13.222 * * [simplify]: Extracting # 3 : cost 0 13.230 * * [simplify]: Extracting # 4 : cost 0 13.236 * * [simplify]: iteration done: 5000 enodes (cost 113 ) 13.236 * [simplify]: Simplified to: (exp (* 0.1 (+ x y))) (log (* 0.1 (+ x y))) (exp (* 0.1 (+ x y))) (* (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))) (+ (pow (* x 0.1) 3) (pow (* 0.1 y) 3)) (* 0.1 (+ (* y (* 0.1 (- y x))) (* (* x x) 0.1))) (* (* 0.1 (- x y)) (* 0.1 (+ x y))) (* 0.1 (- x y)) (* 0.1 (+ x y)) (* 0.1 (+ x y)) (* 0.1 (+ x y)) 13.236 * * * [progress]: adding candidates to table 13.265 * [progress]: [Phase 3 of 3] Extracting. 13.265 * * [regime]: Finding splitpoints for: (# #) 13.266 * * * [regime-changes]: Trying 4 branch expressions: ((+ x y) (/ (+ x y) 10.0) y x) 13.266 * * * * [regimes]: Trying to branch on (+ x y) from (# #) 13.280 * * * * [regimes]: Trying to branch on (/ (+ x y) 10.0) from (# #) 13.294 * * * * [regimes]: Trying to branch on y from (# #) 13.319 * * * * [regimes]: Trying to branch on x from (# #) 13.332 * * * [regime]: Found split indices: #