57.391 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.040 * * * [progress]: [2/2] Setting up program. 0.044 * [progress]: [Phase 2 of 3] Improving. 0.045 * [simplify]: Simplifying: (+ x (* (- 1.0 x) (- 1.0 y))) 0.045 * * [simplify]: Extracting # 0 : cost 0 0.045 * * [simplify]: Extracting # 1 : cost 0 0.045 * * [simplify]: Extracting # 2 : cost 0 0.045 * * [simplify]: Extracting # 3 : cost 0 0.045 * * [simplify]: Extracting # 4 : cost 0 0.045 * * [simplify]: Extracting # 5 : cost 0 0.045 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 0.047 * * [simplify]: Extracting # 0 : cost 0 0.047 * * [simplify]: Extracting # 1 : cost 0 0.047 * * [simplify]: Extracting # 2 : cost 0 0.047 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 0.051 * * [simplify]: Extracting # 0 : cost 0 0.051 * * [simplify]: Extracting # 1 : cost 0 0.051 * * [simplify]: Extracting # 2 : cost 0 0.051 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 0.062 * * [simplify]: Extracting # 0 : cost 0 0.062 * * [simplify]: Extracting # 1 : cost 0 0.062 * * [simplify]: Extracting # 2 : cost 0 0.063 * * [simplify]: iteration 3 : 78 enodes (cost 9 ) 0.104 * * [simplify]: Extracting # 0 : cost 0 0.105 * * [simplify]: Extracting # 1 : cost 0 0.105 * * [simplify]: Extracting # 2 : cost 0 0.105 * * [simplify]: iteration 4 : 257 enodes (cost 9 ) 0.277 * * [simplify]: Extracting # 0 : cost 0 0.278 * * [simplify]: Extracting # 1 : cost 0 0.279 * * [simplify]: Extracting # 2 : cost 0 0.280 * * [simplify]: Extracting # 3 : cost 0 0.281 * * [simplify]: iteration 5 : 808 enodes (cost 9 ) 1.838 * * [simplify]: Extracting # 0 : cost 0 1.854 * * [simplify]: Extracting # 1 : cost 0 1.862 * * [simplify]: Extracting # 2 : cost 0 1.869 * * [simplify]: Extracting # 3 : cost 0 1.879 * * [simplify]: iteration 6 : 4418 enodes (cost 9 ) 4.262 * * [simplify]: Extracting # 0 : cost 0 4.277 * * [simplify]: Extracting # 1 : cost 0 4.286 * * [simplify]: Extracting # 2 : cost 0 4.302 * * [simplify]: iteration done: 5000 enodes (cost 9 ) 4.302 * [simplify]: Simplified to: (+ x (* (- 1.0 x) (- 1.0 y))) 4.303 * * [progress]: iteration 1 / 4 4.303 * * * [progress]: picking best candidate 4.308 * * * * [pick]: Picked # 4.308 * * * [progress]: localizing error 4.327 * * * [progress]: generating rewritten candidates 4.327 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 4.344 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 4.420 * * * [progress]: generating series expansions 4.420 * * * * [progress]: [ 1 / 2 ] generating series at (2) 4.420 * [backup-simplify]: Simplify (+ x (* (- 1.0 x) (- 1.0 y))) into (- (+ (* x y) 1.0) (* 1.0 y)) 4.420 * [approximate]: Taking taylor expansion of (- (+ (* x y) 1.0) (* 1.0 y)) in (x y) around 0 4.420 * [taylor]: Taking taylor expansion of (- (+ (* x y) 1.0) (* 1.0 y)) in y 4.420 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in y 4.420 * [taylor]: Taking taylor expansion of (* x y) in y 4.420 * [taylor]: Taking taylor expansion of x in y 4.420 * [backup-simplify]: Simplify x into x 4.420 * [taylor]: Taking taylor expansion of y in y 4.420 * [backup-simplify]: Simplify 0 into 0 4.421 * [backup-simplify]: Simplify 1 into 1 4.421 * [taylor]: Taking taylor expansion of 1.0 in y 4.421 * [backup-simplify]: Simplify 1.0 into 1.0 4.421 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 4.421 * [taylor]: Taking taylor expansion of 1.0 in y 4.421 * [backup-simplify]: Simplify 1.0 into 1.0 4.421 * [taylor]: Taking taylor expansion of y in y 4.421 * [backup-simplify]: Simplify 0 into 0 4.421 * [backup-simplify]: Simplify 1 into 1 4.421 * [taylor]: Taking taylor expansion of (- (+ (* x y) 1.0) (* 1.0 y)) in x 4.421 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in x 4.421 * [taylor]: Taking taylor expansion of (* x y) in x 4.421 * [taylor]: Taking taylor expansion of x in x 4.421 * [backup-simplify]: Simplify 0 into 0 4.421 * [backup-simplify]: Simplify 1 into 1 4.421 * [taylor]: Taking taylor expansion of y in x 4.421 * [backup-simplify]: Simplify y into y 4.421 * [taylor]: Taking taylor expansion of 1.0 in x 4.421 * [backup-simplify]: Simplify 1.0 into 1.0 4.421 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 4.421 * [taylor]: Taking taylor expansion of 1.0 in x 4.421 * [backup-simplify]: Simplify 1.0 into 1.0 4.421 * [taylor]: Taking taylor expansion of y in x 4.421 * [backup-simplify]: Simplify y into y 4.421 * [taylor]: Taking taylor expansion of (- (+ (* x y) 1.0) (* 1.0 y)) in x 4.422 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in x 4.422 * [taylor]: Taking taylor expansion of (* x y) in x 4.422 * [taylor]: Taking taylor expansion of x in x 4.422 * [backup-simplify]: Simplify 0 into 0 4.422 * [backup-simplify]: Simplify 1 into 1 4.422 * [taylor]: Taking taylor expansion of y in x 4.422 * [backup-simplify]: Simplify y into y 4.422 * [taylor]: Taking taylor expansion of 1.0 in x 4.422 * [backup-simplify]: Simplify 1.0 into 1.0 4.422 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 4.422 * [taylor]: Taking taylor expansion of 1.0 in x 4.422 * [backup-simplify]: Simplify 1.0 into 1.0 4.422 * [taylor]: Taking taylor expansion of y in x 4.422 * [backup-simplify]: Simplify y into y 4.422 * [backup-simplify]: Simplify (* 0 y) into 0 4.423 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.423 * [backup-simplify]: Simplify (* 1.0 y) into (* 1.0 y) 4.423 * [backup-simplify]: Simplify (- (* 1.0 y)) into (- (* 1.0 y)) 4.423 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 y))) into (- 1.0 (* 1.0 y)) 4.423 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 y)) in y 4.423 * [taylor]: Taking taylor expansion of 1.0 in y 4.423 * [backup-simplify]: Simplify 1.0 into 1.0 4.423 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 4.423 * [taylor]: Taking taylor expansion of 1.0 in y 4.423 * [backup-simplify]: Simplify 1.0 into 1.0 4.423 * [taylor]: Taking taylor expansion of y in y 4.423 * [backup-simplify]: Simplify 0 into 0 4.423 * [backup-simplify]: Simplify 1 into 1 4.424 * [backup-simplify]: Simplify (* 1.0 0) into 0 4.424 * [backup-simplify]: Simplify (- 0) into 0 4.425 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.425 * [backup-simplify]: Simplify 1.0 into 1.0 4.425 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 4.425 * [backup-simplify]: Simplify (+ y 0) into y 4.426 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 y)) into 0 4.426 * [backup-simplify]: Simplify (- 0) into 0 4.426 * [backup-simplify]: Simplify (+ y 0) into y 4.426 * [taylor]: Taking taylor expansion of y in y 4.426 * [backup-simplify]: Simplify 0 into 0 4.426 * [backup-simplify]: Simplify 1 into 1 4.426 * [backup-simplify]: Simplify 0 into 0 4.428 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 4.428 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.429 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 4.429 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.431 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 4.431 * [backup-simplify]: Simplify (+ 0 0) into 0 4.432 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 y))) into 0 4.432 * [backup-simplify]: Simplify (- 0) into 0 4.432 * [backup-simplify]: Simplify (+ 0 0) into 0 4.432 * [taylor]: Taking taylor expansion of 0 in y 4.433 * [backup-simplify]: Simplify 0 into 0 4.433 * [backup-simplify]: Simplify 0 into 0 4.433 * [backup-simplify]: Simplify 1 into 1 4.433 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (+ (* (- 1.0) (* y 1)) 1.0)) into (- (+ (* x y) 1.0) (* 1.0 y)) 4.433 * [backup-simplify]: Simplify (+ (/ 1 x) (* (- 1.0 (/ 1 x)) (- 1.0 (/ 1 y)))) into (- (+ 1.0 (/ 1 (* x y))) (* 1.0 (/ 1 y))) 4.434 * [approximate]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* x y))) (* 1.0 (/ 1 y))) in (x y) around 0 4.434 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* x y))) (* 1.0 (/ 1 y))) in y 4.434 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in y 4.434 * [taylor]: Taking taylor expansion of 1.0 in y 4.434 * [backup-simplify]: Simplify 1.0 into 1.0 4.434 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.434 * [taylor]: Taking taylor expansion of (* x y) in y 4.434 * [taylor]: Taking taylor expansion of x in y 4.434 * [backup-simplify]: Simplify x into x 4.434 * [taylor]: Taking taylor expansion of y in y 4.434 * [backup-simplify]: Simplify 0 into 0 4.434 * [backup-simplify]: Simplify 1 into 1 4.434 * [backup-simplify]: Simplify (* x 0) into 0 4.434 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.434 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.434 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 4.434 * [taylor]: Taking taylor expansion of 1.0 in y 4.439 * [backup-simplify]: Simplify 1.0 into 1.0 4.439 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.440 * [taylor]: Taking taylor expansion of y in y 4.440 * [backup-simplify]: Simplify 0 into 0 4.440 * [backup-simplify]: Simplify 1 into 1 4.440 * [backup-simplify]: Simplify (/ 1 1) into 1 4.440 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* x y))) (* 1.0 (/ 1 y))) in x 4.440 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x 4.440 * [taylor]: Taking taylor expansion of 1.0 in x 4.441 * [backup-simplify]: Simplify 1.0 into 1.0 4.441 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.441 * [taylor]: Taking taylor expansion of (* x y) in x 4.441 * [taylor]: Taking taylor expansion of x in x 4.441 * [backup-simplify]: Simplify 0 into 0 4.441 * [backup-simplify]: Simplify 1 into 1 4.441 * [taylor]: Taking taylor expansion of y in x 4.441 * [backup-simplify]: Simplify y into y 4.441 * [backup-simplify]: Simplify (* 0 y) into 0 4.441 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 4.441 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.441 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 4.441 * [taylor]: Taking taylor expansion of 1.0 in x 4.441 * [backup-simplify]: Simplify 1.0 into 1.0 4.441 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.441 * [taylor]: Taking taylor expansion of y in x 4.441 * [backup-simplify]: Simplify y into y 4.441 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.441 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* x y))) (* 1.0 (/ 1 y))) in x 4.441 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x 4.441 * [taylor]: Taking taylor expansion of 1.0 in x 4.442 * [backup-simplify]: Simplify 1.0 into 1.0 4.442 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.442 * [taylor]: Taking taylor expansion of (* x y) in x 4.442 * [taylor]: Taking taylor expansion of x in x 4.442 * [backup-simplify]: Simplify 0 into 0 4.442 * [backup-simplify]: Simplify 1 into 1 4.442 * [taylor]: Taking taylor expansion of y in x 4.442 * [backup-simplify]: Simplify y into y 4.442 * [backup-simplify]: Simplify (* 0 y) into 0 4.442 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 4.442 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.442 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 4.442 * [taylor]: Taking taylor expansion of 1.0 in x 4.442 * [backup-simplify]: Simplify 1.0 into 1.0 4.442 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.442 * [taylor]: Taking taylor expansion of y in x 4.442 * [backup-simplify]: Simplify y into y 4.442 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.443 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 4.443 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 4.443 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.443 * [taylor]: Taking taylor expansion of y in y 4.443 * [backup-simplify]: Simplify 0 into 0 4.443 * [backup-simplify]: Simplify 1 into 1 4.443 * [backup-simplify]: Simplify (/ 1 1) into 1 4.443 * [backup-simplify]: Simplify 1 into 1 4.444 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 4.444 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.444 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.444 * [backup-simplify]: Simplify (* 1.0 (/ 1 y)) into (/ 1.0 y) 4.444 * [backup-simplify]: Simplify (- (/ 1.0 y)) into (- (* 1.0 (/ 1 y))) 4.445 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 y)))) into (- 1.0 (* 1.0 (/ 1 y))) 4.445 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 y))) in y 4.445 * [taylor]: Taking taylor expansion of 1.0 in y 4.445 * [backup-simplify]: Simplify 1.0 into 1.0 4.445 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 4.445 * [taylor]: Taking taylor expansion of 1.0 in y 4.445 * [backup-simplify]: Simplify 1.0 into 1.0 4.445 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.445 * [taylor]: Taking taylor expansion of y in y 4.445 * [backup-simplify]: Simplify 0 into 0 4.445 * [backup-simplify]: Simplify 1 into 1 4.445 * [backup-simplify]: Simplify (/ 1 1) into 1 4.446 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.446 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.447 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 4.447 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.448 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.448 * [backup-simplify]: Simplify 0 into 0 4.449 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 4.449 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.449 * [backup-simplify]: Simplify (+ 0 0) into 0 4.449 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.450 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 y))) into 0 4.450 * [backup-simplify]: Simplify (- 0) into 0 4.451 * [backup-simplify]: Simplify (+ 0 0) into 0 4.451 * [taylor]: Taking taylor expansion of 0 in y 4.451 * [backup-simplify]: Simplify 0 into 0 4.451 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.452 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 4.452 * [backup-simplify]: Simplify (- 0) into 0 4.453 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.453 * [backup-simplify]: Simplify 1.0 into 1.0 4.453 * [backup-simplify]: Simplify (+ 1.0 (+ (* (- 1.0) (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))))) into (- (+ (* x y) 1.0) (* 1.0 y)) 4.454 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (* (- 1.0 (/ 1 (- x))) (- 1.0 (/ 1 (- y))))) into (+ 1.0 (+ (/ 1 (* x y)) (* 1.0 (/ 1 y)))) 4.454 * [approximate]: Taking taylor expansion of (+ 1.0 (+ (/ 1 (* x y)) (* 1.0 (/ 1 y)))) in (x y) around 0 4.454 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 (* x y)) (* 1.0 (/ 1 y)))) in y 4.454 * [taylor]: Taking taylor expansion of 1.0 in y 4.454 * [backup-simplify]: Simplify 1.0 into 1.0 4.454 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 y))) in y 4.454 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.454 * [taylor]: Taking taylor expansion of (* x y) in y 4.454 * [taylor]: Taking taylor expansion of x in y 4.454 * [backup-simplify]: Simplify x into x 4.454 * [taylor]: Taking taylor expansion of y in y 4.454 * [backup-simplify]: Simplify 0 into 0 4.454 * [backup-simplify]: Simplify 1 into 1 4.454 * [backup-simplify]: Simplify (* x 0) into 0 4.455 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.455 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.455 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 4.455 * [taylor]: Taking taylor expansion of 1.0 in y 4.455 * [backup-simplify]: Simplify 1.0 into 1.0 4.455 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.455 * [taylor]: Taking taylor expansion of y in y 4.455 * [backup-simplify]: Simplify 0 into 0 4.455 * [backup-simplify]: Simplify 1 into 1 4.455 * [backup-simplify]: Simplify (/ 1 1) into 1 4.455 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 (* x y)) (* 1.0 (/ 1 y)))) in x 4.455 * [taylor]: Taking taylor expansion of 1.0 in x 4.455 * [backup-simplify]: Simplify 1.0 into 1.0 4.455 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 y))) in x 4.455 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.455 * [taylor]: Taking taylor expansion of (* x y) in x 4.455 * [taylor]: Taking taylor expansion of x in x 4.455 * [backup-simplify]: Simplify 0 into 0 4.455 * [backup-simplify]: Simplify 1 into 1 4.455 * [taylor]: Taking taylor expansion of y in x 4.455 * [backup-simplify]: Simplify y into y 4.455 * [backup-simplify]: Simplify (* 0 y) into 0 4.456 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 4.456 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.456 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 4.456 * [taylor]: Taking taylor expansion of 1.0 in x 4.456 * [backup-simplify]: Simplify 1.0 into 1.0 4.456 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.456 * [taylor]: Taking taylor expansion of y in x 4.456 * [backup-simplify]: Simplify y into y 4.456 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.456 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 (* x y)) (* 1.0 (/ 1 y)))) in x 4.456 * [taylor]: Taking taylor expansion of 1.0 in x 4.456 * [backup-simplify]: Simplify 1.0 into 1.0 4.456 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 y))) in x 4.456 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.456 * [taylor]: Taking taylor expansion of (* x y) in x 4.456 * [taylor]: Taking taylor expansion of x in x 4.456 * [backup-simplify]: Simplify 0 into 0 4.456 * [backup-simplify]: Simplify 1 into 1 4.456 * [taylor]: Taking taylor expansion of y in x 4.456 * [backup-simplify]: Simplify y into y 4.456 * [backup-simplify]: Simplify (* 0 y) into 0 4.457 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 4.457 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.457 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 4.457 * [taylor]: Taking taylor expansion of 1.0 in x 4.457 * [backup-simplify]: Simplify 1.0 into 1.0 4.457 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.457 * [taylor]: Taking taylor expansion of y in x 4.457 * [backup-simplify]: Simplify y into y 4.457 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.457 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 4.457 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 4.457 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.457 * [taylor]: Taking taylor expansion of y in y 4.457 * [backup-simplify]: Simplify 0 into 0 4.457 * [backup-simplify]: Simplify 1 into 1 4.458 * [backup-simplify]: Simplify (/ 1 1) into 1 4.458 * [backup-simplify]: Simplify 1 into 1 4.459 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 4.459 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.459 * [backup-simplify]: Simplify (* 1.0 (/ 1 y)) into (/ 1.0 y) 4.459 * [backup-simplify]: Simplify (+ 0 (/ 1.0 y)) into (* 1.0 (/ 1 y)) 4.459 * [backup-simplify]: Simplify (+ 1.0 (* 1.0 (/ 1 y))) into (+ (* 1.0 (/ 1 y)) 1.0) 4.459 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) 1.0) in y 4.459 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 4.459 * [taylor]: Taking taylor expansion of 1.0 in y 4.459 * [backup-simplify]: Simplify 1.0 into 1.0 4.459 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.459 * [taylor]: Taking taylor expansion of y in y 4.459 * [backup-simplify]: Simplify 0 into 0 4.459 * [backup-simplify]: Simplify 1 into 1 4.459 * [backup-simplify]: Simplify (/ 1 1) into 1 4.459 * [taylor]: Taking taylor expansion of 1.0 in y 4.460 * [backup-simplify]: Simplify 1.0 into 1.0 4.460 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.460 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.460 * [backup-simplify]: Simplify 1.0 into 1.0 4.461 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.461 * [backup-simplify]: Simplify 0 into 0 4.462 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 4.462 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.462 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.463 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 y))) into 0 4.463 * [backup-simplify]: Simplify (+ 0 0) into 0 4.464 * [backup-simplify]: Simplify (+ 0 0) into 0 4.464 * [taylor]: Taking taylor expansion of 0 in y 4.464 * [backup-simplify]: Simplify 0 into 0 4.464 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.465 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 4.465 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.465 * [backup-simplify]: Simplify 1.0 into 1.0 4.466 * [backup-simplify]: Simplify (+ 1.0 (+ (* 1.0 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))))) into (- (+ (* x y) 1.0) (* 1.0 y)) 4.466 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 4.466 * [backup-simplify]: Simplify (* (- 1.0 x) (- 1.0 y)) into (* (- 1.0 y) (- 1.0 x)) 4.466 * [approximate]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in (x y) around 0 4.466 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in y 4.466 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 4.466 * [taylor]: Taking taylor expansion of 1.0 in y 4.466 * [backup-simplify]: Simplify 1.0 into 1.0 4.466 * [taylor]: Taking taylor expansion of y in y 4.466 * [backup-simplify]: Simplify 0 into 0 4.466 * [backup-simplify]: Simplify 1 into 1 4.466 * [taylor]: Taking taylor expansion of (- 1.0 x) in y 4.466 * [taylor]: Taking taylor expansion of 1.0 in y 4.466 * [backup-simplify]: Simplify 1.0 into 1.0 4.466 * [taylor]: Taking taylor expansion of x in y 4.466 * [backup-simplify]: Simplify x into x 4.466 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in x 4.466 * [taylor]: Taking taylor expansion of (- 1.0 y) in x 4.466 * [taylor]: Taking taylor expansion of 1.0 in x 4.466 * [backup-simplify]: Simplify 1.0 into 1.0 4.466 * [taylor]: Taking taylor expansion of y in x 4.466 * [backup-simplify]: Simplify y into y 4.466 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 4.467 * [taylor]: Taking taylor expansion of 1.0 in x 4.467 * [backup-simplify]: Simplify 1.0 into 1.0 4.467 * [taylor]: Taking taylor expansion of x in x 4.467 * [backup-simplify]: Simplify 0 into 0 4.467 * [backup-simplify]: Simplify 1 into 1 4.467 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in x 4.467 * [taylor]: Taking taylor expansion of (- 1.0 y) in x 4.467 * [taylor]: Taking taylor expansion of 1.0 in x 4.467 * [backup-simplify]: Simplify 1.0 into 1.0 4.467 * [taylor]: Taking taylor expansion of y in x 4.467 * [backup-simplify]: Simplify y into y 4.467 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 4.467 * [taylor]: Taking taylor expansion of 1.0 in x 4.467 * [backup-simplify]: Simplify 1.0 into 1.0 4.467 * [taylor]: Taking taylor expansion of x in x 4.467 * [backup-simplify]: Simplify 0 into 0 4.467 * [backup-simplify]: Simplify 1 into 1 4.467 * [backup-simplify]: Simplify (- y) into (- y) 4.467 * [backup-simplify]: Simplify (+ 1.0 (- y)) into (- 1.0 y) 4.467 * [backup-simplify]: Simplify (- 0) into 0 4.468 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.468 * [backup-simplify]: Simplify (* (- 1.0 y) 1.0) into (* 1.0 (- 1.0 y)) 4.468 * [taylor]: Taking taylor expansion of (* 1.0 (- 1.0 y)) in y 4.468 * [taylor]: Taking taylor expansion of 1.0 in y 4.468 * [backup-simplify]: Simplify 1.0 into 1.0 4.468 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 4.468 * [taylor]: Taking taylor expansion of 1.0 in y 4.468 * [backup-simplify]: Simplify 1.0 into 1.0 4.468 * [taylor]: Taking taylor expansion of y in y 4.468 * [backup-simplify]: Simplify 0 into 0 4.468 * [backup-simplify]: Simplify 1 into 1 4.469 * [backup-simplify]: Simplify (- 0) into 0 4.469 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.469 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0 4.469 * [backup-simplify]: Simplify 1.0 into 1.0 4.470 * [backup-simplify]: Simplify (- 1) into -1 4.470 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.470 * [backup-simplify]: Simplify (- 0) into 0 4.471 * [backup-simplify]: Simplify (+ 0 0) into 0 4.471 * [backup-simplify]: Simplify (+ (* (- 1.0 y) -1) (* 0 1.0)) into (- y 1.0) 4.471 * [taylor]: Taking taylor expansion of (- y 1.0) in y 4.471 * [taylor]: Taking taylor expansion of y in y 4.471 * [backup-simplify]: Simplify 0 into 0 4.471 * [backup-simplify]: Simplify 1 into 1 4.471 * [taylor]: Taking taylor expansion of 1.0 in y 4.471 * [backup-simplify]: Simplify 1.0 into 1.0 4.472 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.472 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 4.473 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.473 * [backup-simplify]: Simplify (- 1) into -1 4.473 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.475 * [backup-simplify]: Simplify (+ (* 1.0 -1) (* 0 1.0)) into (- 1.0) 4.475 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.476 * [backup-simplify]: Simplify (+ (* (- 1.0) (* y 1)) (+ (* (- 1.0) (* 1 x)) 1.0)) into (- 1.0 (+ (* 1.0 x) (* 1.0 y))) 4.476 * [backup-simplify]: Simplify (* (- 1.0 (/ 1 x)) (- 1.0 (/ 1 y))) into (* (- 1.0 (/ 1 x)) (- 1.0 (/ 1 y))) 4.476 * [approximate]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- 1.0 (/ 1 y))) in (x y) around 0 4.476 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- 1.0 (/ 1 y))) in y 4.476 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 4.476 * [taylor]: Taking taylor expansion of 1.0 in y 4.476 * [backup-simplify]: Simplify 1.0 into 1.0 4.476 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.476 * [taylor]: Taking taylor expansion of x in y 4.476 * [backup-simplify]: Simplify x into x 4.476 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.477 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 4.477 * [taylor]: Taking taylor expansion of 1.0 in y 4.477 * [backup-simplify]: Simplify 1.0 into 1.0 4.477 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.477 * [taylor]: Taking taylor expansion of y in y 4.477 * [backup-simplify]: Simplify 0 into 0 4.477 * [backup-simplify]: Simplify 1 into 1 4.477 * [backup-simplify]: Simplify (/ 1 1) into 1 4.477 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- 1.0 (/ 1 y))) in x 4.477 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 4.477 * [taylor]: Taking taylor expansion of 1.0 in x 4.477 * [backup-simplify]: Simplify 1.0 into 1.0 4.477 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.477 * [taylor]: Taking taylor expansion of x in x 4.477 * [backup-simplify]: Simplify 0 into 0 4.477 * [backup-simplify]: Simplify 1 into 1 4.478 * [backup-simplify]: Simplify (/ 1 1) into 1 4.478 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 4.478 * [taylor]: Taking taylor expansion of 1.0 in x 4.478 * [backup-simplify]: Simplify 1.0 into 1.0 4.478 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.478 * [taylor]: Taking taylor expansion of y in x 4.478 * [backup-simplify]: Simplify y into y 4.478 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.478 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- 1.0 (/ 1 y))) in x 4.478 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 4.478 * [taylor]: Taking taylor expansion of 1.0 in x 4.478 * [backup-simplify]: Simplify 1.0 into 1.0 4.478 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.478 * [taylor]: Taking taylor expansion of x in x 4.478 * [backup-simplify]: Simplify 0 into 0 4.478 * [backup-simplify]: Simplify 1 into 1 4.478 * [backup-simplify]: Simplify (/ 1 1) into 1 4.478 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 4.478 * [taylor]: Taking taylor expansion of 1.0 in x 4.478 * [backup-simplify]: Simplify 1.0 into 1.0 4.478 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.478 * [taylor]: Taking taylor expansion of y in x 4.479 * [backup-simplify]: Simplify y into y 4.479 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.479 * [backup-simplify]: Simplify (- 1) into -1 4.479 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.479 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 4.480 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y)) 4.480 * [backup-simplify]: Simplify (* -1 (- 1.0 (/ 1 y))) into (* -1 (- 1.0 (/ 1 y))) 4.480 * [taylor]: Taking taylor expansion of (* -1 (- 1.0 (/ 1 y))) in y 4.480 * [taylor]: Taking taylor expansion of -1 in y 4.480 * [backup-simplify]: Simplify -1 into -1 4.480 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 4.480 * [taylor]: Taking taylor expansion of 1.0 in y 4.480 * [backup-simplify]: Simplify 1.0 into 1.0 4.480 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.480 * [taylor]: Taking taylor expansion of y in y 4.480 * [backup-simplify]: Simplify 0 into 0 4.480 * [backup-simplify]: Simplify 1 into 1 4.481 * [backup-simplify]: Simplify (/ 1 1) into 1 4.481 * [backup-simplify]: Simplify (- 1) into -1 4.481 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.482 * [backup-simplify]: Simplify (* -1 -1) into 1 4.482 * [backup-simplify]: Simplify 1 into 1 4.482 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.482 * [backup-simplify]: Simplify (- 0) into 0 4.483 * [backup-simplify]: Simplify (+ 0 0) into 0 4.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.483 * [backup-simplify]: Simplify (- 0) into 0 4.484 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.484 * [backup-simplify]: Simplify (+ (* -1 0) (* 1.0 (- 1.0 (/ 1 y)))) into (- 1.0 (* 1.0 (/ 1 y))) 4.484 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 y))) in y 4.484 * [taylor]: Taking taylor expansion of 1.0 in y 4.484 * [backup-simplify]: Simplify 1.0 into 1.0 4.485 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 4.485 * [taylor]: Taking taylor expansion of 1.0 in y 4.485 * [backup-simplify]: Simplify 1.0 into 1.0 4.485 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.485 * [taylor]: Taking taylor expansion of y in y 4.485 * [backup-simplify]: Simplify 0 into 0 4.485 * [backup-simplify]: Simplify 1 into 1 4.485 * [backup-simplify]: Simplify (/ 1 1) into 1 4.485 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.486 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.486 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 4.487 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.488 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.488 * [backup-simplify]: Simplify (- 0) into 0 4.488 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.490 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 0 -1)) into (- 1.0) 4.490 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.491 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (/ 1 (/ 1 x)))) (+ (* (- 1.0) (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))))) into (- (* x y) (+ (* 1.0 x) (* 1.0 y))) 4.491 * [backup-simplify]: Simplify (* (- 1.0 (/ 1 (- x))) (- 1.0 (/ 1 (- y)))) into (* (+ (/ 1 x) 1.0) (+ (/ 1 y) 1.0)) 4.491 * [approximate]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (+ (/ 1 y) 1.0)) in (x y) around 0 4.491 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (+ (/ 1 y) 1.0)) in y 4.491 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 4.491 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.491 * [taylor]: Taking taylor expansion of x in y 4.491 * [backup-simplify]: Simplify x into x 4.491 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.491 * [taylor]: Taking taylor expansion of 1.0 in y 4.491 * [backup-simplify]: Simplify 1.0 into 1.0 4.491 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 4.492 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.492 * [taylor]: Taking taylor expansion of y in y 4.492 * [backup-simplify]: Simplify 0 into 0 4.492 * [backup-simplify]: Simplify 1 into 1 4.492 * [backup-simplify]: Simplify (/ 1 1) into 1 4.492 * [taylor]: Taking taylor expansion of 1.0 in y 4.492 * [backup-simplify]: Simplify 1.0 into 1.0 4.492 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (+ (/ 1 y) 1.0)) in x 4.492 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 4.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.492 * [taylor]: Taking taylor expansion of x in x 4.492 * [backup-simplify]: Simplify 0 into 0 4.492 * [backup-simplify]: Simplify 1 into 1 4.492 * [backup-simplify]: Simplify (/ 1 1) into 1 4.493 * [taylor]: Taking taylor expansion of 1.0 in x 4.493 * [backup-simplify]: Simplify 1.0 into 1.0 4.493 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 4.493 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.493 * [taylor]: Taking taylor expansion of y in x 4.493 * [backup-simplify]: Simplify y into y 4.493 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.493 * [taylor]: Taking taylor expansion of 1.0 in x 4.493 * [backup-simplify]: Simplify 1.0 into 1.0 4.493 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (+ (/ 1 y) 1.0)) in x 4.493 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 4.493 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.493 * [taylor]: Taking taylor expansion of x in x 4.493 * [backup-simplify]: Simplify 0 into 0 4.493 * [backup-simplify]: Simplify 1 into 1 4.493 * [backup-simplify]: Simplify (/ 1 1) into 1 4.493 * [taylor]: Taking taylor expansion of 1.0 in x 4.493 * [backup-simplify]: Simplify 1.0 into 1.0 4.493 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 4.493 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.493 * [taylor]: Taking taylor expansion of y in x 4.493 * [backup-simplify]: Simplify y into y 4.493 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.494 * [taylor]: Taking taylor expansion of 1.0 in x 4.494 * [backup-simplify]: Simplify 1.0 into 1.0 4.494 * [backup-simplify]: Simplify (+ 1 0) into 1 4.494 * [backup-simplify]: Simplify (+ (/ 1 y) 1.0) into (+ (/ 1 y) 1.0) 4.494 * [backup-simplify]: Simplify (* 1 (+ (/ 1 y) 1.0)) into (+ (/ 1 y) 1.0) 4.494 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 4.494 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.494 * [taylor]: Taking taylor expansion of y in y 4.494 * [backup-simplify]: Simplify 0 into 0 4.494 * [backup-simplify]: Simplify 1 into 1 4.495 * [backup-simplify]: Simplify (/ 1 1) into 1 4.495 * [taylor]: Taking taylor expansion of 1.0 in y 4.495 * [backup-simplify]: Simplify 1.0 into 1.0 4.495 * [backup-simplify]: Simplify (+ 1 0) into 1 4.495 * [backup-simplify]: Simplify 1 into 1 4.495 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.496 * [backup-simplify]: Simplify (+ 0 0) into 0 4.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.497 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.497 * [backup-simplify]: Simplify (+ (* 1 0) (* 1.0 (+ (/ 1 y) 1.0))) into (+ (* 1.0 (/ 1 y)) 1.0) 4.497 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) 1.0) in y 4.497 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 4.497 * [taylor]: Taking taylor expansion of 1.0 in y 4.497 * [backup-simplify]: Simplify 1.0 into 1.0 4.497 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.497 * [taylor]: Taking taylor expansion of y in y 4.497 * [backup-simplify]: Simplify 0 into 0 4.497 * [backup-simplify]: Simplify 1 into 1 4.498 * [backup-simplify]: Simplify (/ 1 1) into 1 4.498 * [taylor]: Taking taylor expansion of 1.0 in y 4.498 * [backup-simplify]: Simplify 1.0 into 1.0 4.498 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.499 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.499 * [backup-simplify]: Simplify 1.0 into 1.0 4.499 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.500 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.500 * [backup-simplify]: Simplify 1.0 into 1.0 4.500 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (/ 1 (/ 1 (- x))))) (+ (* 1.0 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))))) into (- (* x y) (+ (* 1.0 x) (* 1.0 y))) 4.500 * * * [progress]: simplifying candidates 4.502 * [simplify]: Simplifying: (* (exp x) (exp (* (- 1.0 x) (- 1.0 y)))) (log (+ x (* (- 1.0 x) (- 1.0 y)))) (exp (+ x (* (- 1.0 x) (- 1.0 y)))) (* (cbrt (+ x (* (- 1.0 x) (- 1.0 y)))) (cbrt (+ x (* (- 1.0 x) (- 1.0 y))))) (cbrt (+ x (* (- 1.0 x) (- 1.0 y)))) (* (* (+ x (* (- 1.0 x) (- 1.0 y))) (+ x (* (- 1.0 x) (- 1.0 y)))) (+ x (* (- 1.0 x) (- 1.0 y)))) (sqrt (+ x (* (- 1.0 x) (- 1.0 y)))) (sqrt (+ x (* (- 1.0 x) (- 1.0 y)))) (+ (pow x 3) (pow (* (- 1.0 x) (- 1.0 y)) 3)) (+ (* x x) (- (* (* (- 1.0 x) (- 1.0 y)) (* (- 1.0 x) (- 1.0 y))) (* x (* (- 1.0 x) (- 1.0 y))))) (- (* x x) (* (* (- 1.0 x) (- 1.0 y)) (* (- 1.0 x) (- 1.0 y)))) (- x (* (- 1.0 x) (- 1.0 y))) (+ x (* (- 1.0 x) 1.0)) (+ x (* (- 1.0 x) 1.0)) (+ x (* 1.0 (- 1.0 x))) (+ x (* 1.0 (- 1.0 x))) (* (- 1.0 x) (- 1.0 y)) (+ (log (- 1.0 x)) (log (- 1.0 y))) (log (* (- 1.0 x) (- 1.0 y))) (exp (* (- 1.0 x) (- 1.0 y))) (* (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* (- 1.0 y) (- 1.0 y)) (- 1.0 y))) (* (cbrt (* (- 1.0 x) (- 1.0 y))) (cbrt (* (- 1.0 x) (- 1.0 y)))) (cbrt (* (- 1.0 x) (- 1.0 y))) (* (* (* (- 1.0 x) (- 1.0 y)) (* (- 1.0 x) (- 1.0 y))) (* (- 1.0 x) (- 1.0 y))) (sqrt (* (- 1.0 x) (- 1.0 y))) (sqrt (* (- 1.0 x) (- 1.0 y))) (* (- (pow 1.0 3) (pow x 3)) (- (pow 1.0 3) (pow y 3))) (* (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))) (+ (* 1.0 1.0) (+ (* y y) (* 1.0 y)))) (* (- (pow 1.0 3) (pow x 3)) (- (* 1.0 1.0) (* y y))) (* (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))) (+ 1.0 y)) (* (- (* 1.0 1.0) (* x x)) (- (pow 1.0 3) (pow y 3))) (* (+ 1.0 x) (+ (* 1.0 1.0) (+ (* y y) (* 1.0 y)))) (* (- (* 1.0 1.0) (* x x)) (- (* 1.0 1.0) (* y y))) (* (+ 1.0 x) (+ 1.0 y)) (* (sqrt (- 1.0 x)) (sqrt (- 1.0 y))) (* (sqrt (- 1.0 x)) (sqrt (- 1.0 y))) (* (- 1.0 x) 1.0) (* (- 1.0 x) (- y)) (* (- 1.0 x) 1.0) (* (- 1.0 x) (- y)) (* 1.0 (- 1.0 x)) (* (- y) (- 1.0 x)) (* 1.0 (- 1.0 x)) (* (- y) (- 1.0 x)) (* (- 1.0 x) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (* (- 1.0 x) (sqrt (- 1.0 y))) (* (- 1.0 x) 1) (* (- 1.0 x) (+ (sqrt 1.0) (sqrt y))) (* (- 1.0 x) 1) (* (cbrt (- 1.0 x)) (- 1.0 y)) (* (sqrt (- 1.0 x)) (- 1.0 y)) (* (- 1.0 x) (- 1.0 y)) (* (- (sqrt 1.0) (sqrt x)) (- 1.0 y)) (* (- 1.0 x) (- 1.0 y)) (* (- 1.0 x) (- (pow 1.0 3) (pow y 3))) (* (- 1.0 x) (- (* 1.0 1.0) (* y y))) (* (- (pow 1.0 3) (pow x 3)) (- 1.0 y)) (* (- (* 1.0 1.0) (* x x)) (- 1.0 y)) (- (+ (* x y) 1.0) (* 1.0 y)) (- (+ (* x y) 1.0) (* 1.0 y)) (- (+ (* x y) 1.0) (* 1.0 y)) (- 1.0 (+ (* 1.0 x) (* 1.0 y))) (- (* x y) (+ (* 1.0 x) (* 1.0 y))) (- (* x y) (+ (* 1.0 x) (* 1.0 y))) 4.504 * * [simplify]: Extracting # 0 : cost 0 4.504 * * [simplify]: Extracting # 1 : cost 0 4.504 * * [simplify]: Extracting # 2 : cost 0 4.504 * * [simplify]: Extracting # 3 : cost 0 4.504 * * [simplify]: Extracting # 4 : cost 0 4.505 * * [simplify]: Extracting # 5 : cost 0 4.505 * * [simplify]: iteration 0 : 101 enodes (cost 691 ) 4.543 * * [simplify]: Extracting # 0 : cost 0 4.543 * * [simplify]: Extracting # 1 : cost 0 4.544 * * [simplify]: Extracting # 2 : cost 0 4.544 * * [simplify]: Extracting # 3 : cost 0 4.545 * * [simplify]: Extracting # 4 : cost 0 4.545 * * [simplify]: iteration 1 : 285 enodes (cost 649 ) 4.705 * * [simplify]: Extracting # 0 : cost 0 4.708 * * [simplify]: Extracting # 1 : cost 0 4.711 * * [simplify]: Extracting # 2 : cost 0 4.714 * * [simplify]: Extracting # 3 : cost 0 4.716 * * [simplify]: Extracting # 4 : cost 0 4.719 * * [simplify]: Extracting # 5 : cost 0 4.722 * * [simplify]: iteration 2 : 1249 enodes (cost 617 ) 5.379 * * [simplify]: Extracting # 0 : cost 0 5.404 * * [simplify]: Extracting # 1 : cost 0 5.418 * * [simplify]: Extracting # 2 : cost 0 5.431 * * [simplify]: Extracting # 3 : cost 0 5.443 * * [simplify]: Extracting # 4 : cost 0 5.455 * * [simplify]: iteration done: 5002 enodes (cost 617 ) 5.456 * [simplify]: Simplified to: (exp (+ x (* (- 1.0 x) (- 1.0 y)))) (log (+ x (* (- 1.0 x) (- 1.0 y)))) (exp (+ x (* (- 1.0 x) (- 1.0 y)))) (* (cbrt (+ x (* (- 1.0 x) (- 1.0 y)))) (cbrt (+ x (* (- 1.0 x) (- 1.0 y))))) (cbrt (+ x (* (- 1.0 x) (- 1.0 y)))) (pow (+ x (* (- 1.0 x) (- 1.0 y))) 3) (sqrt (+ x (* (- 1.0 x) (- 1.0 y)))) (sqrt (+ x (* (- 1.0 x) (- 1.0 y)))) (+ (pow x 3) (pow (* (- 1.0 x) (- 1.0 y)) 3)) (+ (* x x) (* (* (- 1.0 x) (- 1.0 y)) (- (* (- 1.0 x) (- 1.0 y)) x))) (- (* x x) (* (* (- 1.0 x) (- 1.0 y)) (* (- 1.0 x) (- 1.0 y)))) (- x (* (- 1.0 x) (- 1.0 y))) (+ x (* (- 1.0 x) 1.0)) (+ x (* (- 1.0 x) 1.0)) (+ x (* (- 1.0 x) 1.0)) (+ x (* (- 1.0 x) 1.0)) (* (- 1.0 y) (- 1.0 x)) (log (* (- 1.0 x) (- 1.0 y))) (log (* (- 1.0 x) (- 1.0 y))) (exp (* (- 1.0 x) (- 1.0 y))) (pow (* (- 1.0 x) (- 1.0 y)) 3) (* (cbrt (* (- 1.0 x) (- 1.0 y))) (cbrt (* (- 1.0 x) (- 1.0 y)))) (cbrt (* (- 1.0 x) (- 1.0 y))) (pow (* (- 1.0 x) (- 1.0 y)) 3) (sqrt (* (- 1.0 x) (- 1.0 y))) (sqrt (* (- 1.0 x) (- 1.0 y))) (* (- (pow 1.0 3) (pow x 3)) (- (pow 1.0 3) (pow y 3))) (* (+ (* x (+ 1.0 x)) (* 1.0 1.0)) (+ (* y (+ 1.0 y)) (* 1.0 1.0))) (* (- (pow 1.0 3) (pow x 3)) (- (* 1.0 1.0) (* y y))) (* (+ (* x (+ 1.0 x)) (* 1.0 1.0)) (+ 1.0 y)) (* (- (* 1.0 1.0) (* x x)) (- (pow 1.0 3) (pow y 3))) (* (+ 1.0 x) (+ (* y (+ 1.0 y)) (* 1.0 1.0))) (* (- (* 1.0 1.0) (* x x)) (- (* 1.0 1.0) (* y y))) (* (+ 1.0 x) (+ 1.0 y)) (* (sqrt (- 1.0 x)) (sqrt (- 1.0 y))) (* (sqrt (- 1.0 x)) (sqrt (- 1.0 y))) (* 1.0 (- 1.0 x)) (* (- y) (- 1.0 x)) (* 1.0 (- 1.0 x)) (* (- y) (- 1.0 x)) (* 1.0 (- 1.0 x)) (* (- y) (- 1.0 x)) (* 1.0 (- 1.0 x)) (* (- y) (- 1.0 x)) (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (- 1.0 x)) (* (sqrt (- 1.0 y)) (- 1.0 x)) (- 1.0 x) (* (+ (sqrt 1.0) (sqrt y)) (- 1.0 x)) (- 1.0 x) (* (cbrt (- 1.0 x)) (- 1.0 y)) (* (sqrt (- 1.0 x)) (- 1.0 y)) (* (- 1.0 y) (- 1.0 x)) (* (- (sqrt 1.0) (sqrt x)) (- 1.0 y)) (* (- 1.0 y) (- 1.0 x)) (* (- (pow 1.0 3) (pow y 3)) (- 1.0 x)) (* (- (* 1.0 1.0) (* y y)) (- 1.0 x)) (* (- (pow 1.0 3) (pow x 3)) (- 1.0 y)) (* (- (* 1.0 1.0) (* x x)) (- 1.0 y)) (- (+ (* x y) 1.0) (* 1.0 y)) (- (+ (* x y) 1.0) (* 1.0 y)) (- (+ (* x y) 1.0) (* 1.0 y)) (- 1.0 (* 1.0 (+ x y))) (- (* x y) (* 1.0 (+ x y))) (- (* x y) (* 1.0 (+ x y))) 5.457 * * * [progress]: adding candidates to table 5.737 * * [progress]: iteration 2 / 4 5.737 * * * [progress]: picking best candidate 5.747 * * * * [pick]: Picked # 5.747 * * * [progress]: localizing error 5.764 * * * [progress]: generating rewritten candidates 5.765 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 5.856 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 5.871 * * * [progress]: generating series expansions 5.871 * * * * [progress]: [ 1 / 2 ] generating series at (2) 5.871 * [backup-simplify]: Simplify (- (+ (* x y) 1.0) (* 1.0 y)) into (- (+ (* x y) 1.0) (* 1.0 y)) 5.871 * [approximate]: Taking taylor expansion of (- (+ (* x y) 1.0) (* 1.0 y)) in (x y) around 0 5.871 * [taylor]: Taking taylor expansion of (- (+ (* x y) 1.0) (* 1.0 y)) in y 5.871 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in y 5.871 * [taylor]: Taking taylor expansion of (* x y) in y 5.871 * [taylor]: Taking taylor expansion of x in y 5.871 * [backup-simplify]: Simplify x into x 5.871 * [taylor]: Taking taylor expansion of y in y 5.871 * [backup-simplify]: Simplify 0 into 0 5.871 * [backup-simplify]: Simplify 1 into 1 5.871 * [taylor]: Taking taylor expansion of 1.0 in y 5.871 * [backup-simplify]: Simplify 1.0 into 1.0 5.871 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 5.871 * [taylor]: Taking taylor expansion of 1.0 in y 5.871 * [backup-simplify]: Simplify 1.0 into 1.0 5.871 * [taylor]: Taking taylor expansion of y in y 5.871 * [backup-simplify]: Simplify 0 into 0 5.871 * [backup-simplify]: Simplify 1 into 1 5.871 * [taylor]: Taking taylor expansion of (- (+ (* x y) 1.0) (* 1.0 y)) in x 5.872 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in x 5.872 * [taylor]: Taking taylor expansion of (* x y) in x 5.872 * [taylor]: Taking taylor expansion of x in x 5.872 * [backup-simplify]: Simplify 0 into 0 5.872 * [backup-simplify]: Simplify 1 into 1 5.872 * [taylor]: Taking taylor expansion of y in x 5.872 * [backup-simplify]: Simplify y into y 5.872 * [taylor]: Taking taylor expansion of 1.0 in x 5.872 * [backup-simplify]: Simplify 1.0 into 1.0 5.872 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 5.872 * [taylor]: Taking taylor expansion of 1.0 in x 5.872 * [backup-simplify]: Simplify 1.0 into 1.0 5.872 * [taylor]: Taking taylor expansion of y in x 5.872 * [backup-simplify]: Simplify y into y 5.872 * [taylor]: Taking taylor expansion of (- (+ (* x y) 1.0) (* 1.0 y)) in x 5.872 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in x 5.872 * [taylor]: Taking taylor expansion of (* x y) in x 5.872 * [taylor]: Taking taylor expansion of x in x 5.872 * [backup-simplify]: Simplify 0 into 0 5.872 * [backup-simplify]: Simplify 1 into 1 5.872 * [taylor]: Taking taylor expansion of y in x 5.872 * [backup-simplify]: Simplify y into y 5.872 * [taylor]: Taking taylor expansion of 1.0 in x 5.872 * [backup-simplify]: Simplify 1.0 into 1.0 5.872 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 5.872 * [taylor]: Taking taylor expansion of 1.0 in x 5.872 * [backup-simplify]: Simplify 1.0 into 1.0 5.872 * [taylor]: Taking taylor expansion of y in x 5.872 * [backup-simplify]: Simplify y into y 5.872 * [backup-simplify]: Simplify (* 0 y) into 0 5.873 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.873 * [backup-simplify]: Simplify (* 1.0 y) into (* 1.0 y) 5.873 * [backup-simplify]: Simplify (- (* 1.0 y)) into (- (* 1.0 y)) 5.873 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 y))) into (- 1.0 (* 1.0 y)) 5.873 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 y)) in y 5.873 * [taylor]: Taking taylor expansion of 1.0 in y 5.873 * [backup-simplify]: Simplify 1.0 into 1.0 5.873 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 5.873 * [taylor]: Taking taylor expansion of 1.0 in y 5.873 * [backup-simplify]: Simplify 1.0 into 1.0 5.873 * [taylor]: Taking taylor expansion of y in y 5.873 * [backup-simplify]: Simplify 0 into 0 5.873 * [backup-simplify]: Simplify 1 into 1 5.874 * [backup-simplify]: Simplify (* 1.0 0) into 0 5.874 * [backup-simplify]: Simplify (- 0) into 0 5.875 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.875 * [backup-simplify]: Simplify 1.0 into 1.0 5.875 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.875 * [backup-simplify]: Simplify (+ y 0) into y 5.875 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 y)) into 0 5.876 * [backup-simplify]: Simplify (- 0) into 0 5.876 * [backup-simplify]: Simplify (+ y 0) into y 5.876 * [taylor]: Taking taylor expansion of y in y 5.876 * [backup-simplify]: Simplify 0 into 0 5.876 * [backup-simplify]: Simplify 1 into 1 5.876 * [backup-simplify]: Simplify 0 into 0 5.877 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 5.878 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.878 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.879 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.879 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.880 * [backup-simplify]: Simplify (+ 0 0) into 0 5.881 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 y))) into 0 5.881 * [backup-simplify]: Simplify (- 0) into 0 5.881 * [backup-simplify]: Simplify (+ 0 0) into 0 5.881 * [taylor]: Taking taylor expansion of 0 in y 5.881 * [backup-simplify]: Simplify 0 into 0 5.881 * [backup-simplify]: Simplify 0 into 0 5.881 * [backup-simplify]: Simplify 1 into 1 5.882 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (+ (* (- 1.0) (* y 1)) 1.0)) into (- (+ (* x y) 1.0) (* 1.0 y)) 5.883 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 1 y)) 1.0) (* 1.0 (/ 1 y))) into (- (+ (/ 1 (* x y)) 1.0) (* 1.0 (/ 1 y))) 5.883 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x y)) 1.0) (* 1.0 (/ 1 y))) in (x y) around 0 5.883 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) 1.0) (* 1.0 (/ 1 y))) in y 5.883 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1.0) in y 5.883 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.883 * [taylor]: Taking taylor expansion of (* x y) in y 5.883 * [taylor]: Taking taylor expansion of x in y 5.883 * [backup-simplify]: Simplify x into x 5.883 * [taylor]: Taking taylor expansion of y in y 5.883 * [backup-simplify]: Simplify 0 into 0 5.883 * [backup-simplify]: Simplify 1 into 1 5.883 * [backup-simplify]: Simplify (* x 0) into 0 5.883 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.883 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.883 * [taylor]: Taking taylor expansion of 1.0 in y 5.883 * [backup-simplify]: Simplify 1.0 into 1.0 5.883 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 5.883 * [taylor]: Taking taylor expansion of 1.0 in y 5.883 * [backup-simplify]: Simplify 1.0 into 1.0 5.883 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.884 * [taylor]: Taking taylor expansion of y in y 5.884 * [backup-simplify]: Simplify 0 into 0 5.884 * [backup-simplify]: Simplify 1 into 1 5.884 * [backup-simplify]: Simplify (/ 1 1) into 1 5.884 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) 1.0) (* 1.0 (/ 1 y))) in x 5.884 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1.0) in x 5.884 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.884 * [taylor]: Taking taylor expansion of (* x y) in x 5.884 * [taylor]: Taking taylor expansion of x in x 5.884 * [backup-simplify]: Simplify 0 into 0 5.884 * [backup-simplify]: Simplify 1 into 1 5.884 * [taylor]: Taking taylor expansion of y in x 5.884 * [backup-simplify]: Simplify y into y 5.884 * [backup-simplify]: Simplify (* 0 y) into 0 5.885 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.885 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.885 * [taylor]: Taking taylor expansion of 1.0 in x 5.885 * [backup-simplify]: Simplify 1.0 into 1.0 5.885 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 5.885 * [taylor]: Taking taylor expansion of 1.0 in x 5.885 * [backup-simplify]: Simplify 1.0 into 1.0 5.885 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.885 * [taylor]: Taking taylor expansion of y in x 5.885 * [backup-simplify]: Simplify y into y 5.885 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.885 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) 1.0) (* 1.0 (/ 1 y))) in x 5.885 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1.0) in x 5.885 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.885 * [taylor]: Taking taylor expansion of (* x y) in x 5.885 * [taylor]: Taking taylor expansion of x in x 5.885 * [backup-simplify]: Simplify 0 into 0 5.885 * [backup-simplify]: Simplify 1 into 1 5.885 * [taylor]: Taking taylor expansion of y in x 5.885 * [backup-simplify]: Simplify y into y 5.885 * [backup-simplify]: Simplify (* 0 y) into 0 5.885 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.886 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.886 * [taylor]: Taking taylor expansion of 1.0 in x 5.886 * [backup-simplify]: Simplify 1.0 into 1.0 5.886 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 5.886 * [taylor]: Taking taylor expansion of 1.0 in x 5.886 * [backup-simplify]: Simplify 1.0 into 1.0 5.886 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.886 * [taylor]: Taking taylor expansion of y in x 5.886 * [backup-simplify]: Simplify y into y 5.886 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.886 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 5.886 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 5.886 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.886 * [taylor]: Taking taylor expansion of y in y 5.886 * [backup-simplify]: Simplify 0 into 0 5.886 * [backup-simplify]: Simplify 1 into 1 5.886 * [backup-simplify]: Simplify (/ 1 1) into 1 5.887 * [backup-simplify]: Simplify 1 into 1 5.887 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.887 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.888 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.888 * [backup-simplify]: Simplify (* 1.0 (/ 1 y)) into (/ 1.0 y) 5.888 * [backup-simplify]: Simplify (- (/ 1.0 y)) into (- (* 1.0 (/ 1 y))) 5.888 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 y)))) into (- 1.0 (* 1.0 (/ 1 y))) 5.888 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 y))) in y 5.888 * [taylor]: Taking taylor expansion of 1.0 in y 5.888 * [backup-simplify]: Simplify 1.0 into 1.0 5.888 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 5.888 * [taylor]: Taking taylor expansion of 1.0 in y 5.888 * [backup-simplify]: Simplify 1.0 into 1.0 5.888 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.888 * [taylor]: Taking taylor expansion of y in y 5.888 * [backup-simplify]: Simplify 0 into 0 5.888 * [backup-simplify]: Simplify 1 into 1 5.889 * [backup-simplify]: Simplify (/ 1 1) into 1 5.889 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.889 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.890 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.890 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.891 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.891 * [backup-simplify]: Simplify 0 into 0 5.892 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.892 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.893 * [backup-simplify]: Simplify (+ 0 0) into 0 5.893 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.893 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 y))) into 0 5.894 * [backup-simplify]: Simplify (- 0) into 0 5.894 * [backup-simplify]: Simplify (+ 0 0) into 0 5.894 * [taylor]: Taking taylor expansion of 0 in y 5.894 * [backup-simplify]: Simplify 0 into 0 5.895 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.895 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 5.896 * [backup-simplify]: Simplify (- 0) into 0 5.896 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.896 * [backup-simplify]: Simplify 1.0 into 1.0 5.897 * [backup-simplify]: Simplify (+ 1.0 (+ (* (- 1.0) (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))))) into (- (+ (* x y) 1.0) (* 1.0 y)) 5.897 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- x)) (/ 1 (- y))) 1.0) (* 1.0 (/ 1 (- y)))) into (+ (/ 1 (* x y)) (+ (* 1.0 (/ 1 y)) 1.0)) 5.897 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (* 1.0 (/ 1 y)) 1.0)) in (x y) around 0 5.897 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (* 1.0 (/ 1 y)) 1.0)) in y 5.897 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.897 * [taylor]: Taking taylor expansion of (* x y) in y 5.897 * [taylor]: Taking taylor expansion of x in y 5.897 * [backup-simplify]: Simplify x into x 5.897 * [taylor]: Taking taylor expansion of y in y 5.897 * [backup-simplify]: Simplify 0 into 0 5.897 * [backup-simplify]: Simplify 1 into 1 5.897 * [backup-simplify]: Simplify (* x 0) into 0 5.898 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.898 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.898 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) 1.0) in y 5.898 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 5.898 * [taylor]: Taking taylor expansion of 1.0 in y 5.898 * [backup-simplify]: Simplify 1.0 into 1.0 5.898 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.898 * [taylor]: Taking taylor expansion of y in y 5.898 * [backup-simplify]: Simplify 0 into 0 5.898 * [backup-simplify]: Simplify 1 into 1 5.898 * [backup-simplify]: Simplify (/ 1 1) into 1 5.898 * [taylor]: Taking taylor expansion of 1.0 in y 5.898 * [backup-simplify]: Simplify 1.0 into 1.0 5.898 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (* 1.0 (/ 1 y)) 1.0)) in x 5.898 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.898 * [taylor]: Taking taylor expansion of (* x y) in x 5.898 * [taylor]: Taking taylor expansion of x in x 5.898 * [backup-simplify]: Simplify 0 into 0 5.898 * [backup-simplify]: Simplify 1 into 1 5.898 * [taylor]: Taking taylor expansion of y in x 5.898 * [backup-simplify]: Simplify y into y 5.899 * [backup-simplify]: Simplify (* 0 y) into 0 5.899 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.899 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.899 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) 1.0) in x 5.899 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 5.899 * [taylor]: Taking taylor expansion of 1.0 in x 5.899 * [backup-simplify]: Simplify 1.0 into 1.0 5.899 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.899 * [taylor]: Taking taylor expansion of y in x 5.899 * [backup-simplify]: Simplify y into y 5.899 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.899 * [taylor]: Taking taylor expansion of 1.0 in x 5.899 * [backup-simplify]: Simplify 1.0 into 1.0 5.899 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (* 1.0 (/ 1 y)) 1.0)) in x 5.899 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.899 * [taylor]: Taking taylor expansion of (* x y) in x 5.899 * [taylor]: Taking taylor expansion of x in x 5.899 * [backup-simplify]: Simplify 0 into 0 5.899 * [backup-simplify]: Simplify 1 into 1 5.899 * [taylor]: Taking taylor expansion of y in x 5.899 * [backup-simplify]: Simplify y into y 5.899 * [backup-simplify]: Simplify (* 0 y) into 0 5.900 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.900 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.900 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) 1.0) in x 5.900 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 5.900 * [taylor]: Taking taylor expansion of 1.0 in x 5.900 * [backup-simplify]: Simplify 1.0 into 1.0 5.900 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.900 * [taylor]: Taking taylor expansion of y in x 5.900 * [backup-simplify]: Simplify y into y 5.900 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.900 * [taylor]: Taking taylor expansion of 1.0 in x 5.900 * [backup-simplify]: Simplify 1.0 into 1.0 5.900 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 5.900 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.900 * [taylor]: Taking taylor expansion of y in y 5.900 * [backup-simplify]: Simplify 0 into 0 5.900 * [backup-simplify]: Simplify 1 into 1 5.901 * [backup-simplify]: Simplify (/ 1 1) into 1 5.901 * [backup-simplify]: Simplify 1 into 1 5.901 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.902 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.902 * [backup-simplify]: Simplify (* 1.0 (/ 1 y)) into (/ 1.0 y) 5.902 * [backup-simplify]: Simplify (+ (/ 1.0 y) 1.0) into (+ (* 1.0 (/ 1 y)) 1.0) 5.902 * [backup-simplify]: Simplify (+ 0 (+ (* 1.0 (/ 1 y)) 1.0)) into (+ (* 1.0 (/ 1 y)) 1.0) 5.902 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) 1.0) in y 5.902 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 5.902 * [taylor]: Taking taylor expansion of 1.0 in y 5.902 * [backup-simplify]: Simplify 1.0 into 1.0 5.902 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.902 * [taylor]: Taking taylor expansion of y in y 5.902 * [backup-simplify]: Simplify 0 into 0 5.902 * [backup-simplify]: Simplify 1 into 1 5.902 * [backup-simplify]: Simplify (/ 1 1) into 1 5.902 * [taylor]: Taking taylor expansion of 1.0 in y 5.903 * [backup-simplify]: Simplify 1.0 into 1.0 5.903 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.903 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.903 * [backup-simplify]: Simplify 1.0 into 1.0 5.904 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.904 * [backup-simplify]: Simplify 0 into 0 5.905 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.905 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.905 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.906 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 y))) into 0 5.906 * [backup-simplify]: Simplify (+ 0 0) into 0 5.906 * [backup-simplify]: Simplify (+ 0 0) into 0 5.906 * [taylor]: Taking taylor expansion of 0 in y 5.906 * [backup-simplify]: Simplify 0 into 0 5.907 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.908 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 5.908 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.908 * [backup-simplify]: Simplify 1.0 into 1.0 5.909 * [backup-simplify]: Simplify (+ 1.0 (+ (* 1.0 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))))) into (- (+ (* x y) 1.0) (* 1.0 y)) 5.909 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 5.909 * [backup-simplify]: Simplify (+ (* x y) 1.0) into (+ (* x y) 1.0) 5.909 * [approximate]: Taking taylor expansion of (+ (* x y) 1.0) in (x y) around 0 5.909 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in y 5.909 * [taylor]: Taking taylor expansion of (* x y) in y 5.909 * [taylor]: Taking taylor expansion of x in y 5.909 * [backup-simplify]: Simplify x into x 5.909 * [taylor]: Taking taylor expansion of y in y 5.909 * [backup-simplify]: Simplify 0 into 0 5.909 * [backup-simplify]: Simplify 1 into 1 5.909 * [taylor]: Taking taylor expansion of 1.0 in y 5.909 * [backup-simplify]: Simplify 1.0 into 1.0 5.909 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in x 5.909 * [taylor]: Taking taylor expansion of (* x y) in x 5.909 * [taylor]: Taking taylor expansion of x in x 5.909 * [backup-simplify]: Simplify 0 into 0 5.909 * [backup-simplify]: Simplify 1 into 1 5.909 * [taylor]: Taking taylor expansion of y in x 5.909 * [backup-simplify]: Simplify y into y 5.909 * [taylor]: Taking taylor expansion of 1.0 in x 5.909 * [backup-simplify]: Simplify 1.0 into 1.0 5.909 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in x 5.909 * [taylor]: Taking taylor expansion of (* x y) in x 5.909 * [taylor]: Taking taylor expansion of x in x 5.909 * [backup-simplify]: Simplify 0 into 0 5.909 * [backup-simplify]: Simplify 1 into 1 5.909 * [taylor]: Taking taylor expansion of y in x 5.909 * [backup-simplify]: Simplify y into y 5.909 * [taylor]: Taking taylor expansion of 1.0 in x 5.909 * [backup-simplify]: Simplify 1.0 into 1.0 5.910 * [backup-simplify]: Simplify (* 0 y) into 0 5.910 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.910 * [taylor]: Taking taylor expansion of 1.0 in y 5.910 * [backup-simplify]: Simplify 1.0 into 1.0 5.910 * [backup-simplify]: Simplify 1.0 into 1.0 5.910 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.911 * [backup-simplify]: Simplify (+ y 0) into y 5.911 * [taylor]: Taking taylor expansion of y in y 5.911 * [backup-simplify]: Simplify 0 into 0 5.911 * [backup-simplify]: Simplify 1 into 1 5.911 * [backup-simplify]: Simplify 0 into 0 5.911 * [backup-simplify]: Simplify 0 into 0 5.911 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.912 * [backup-simplify]: Simplify (+ 0 0) into 0 5.912 * [taylor]: Taking taylor expansion of 0 in y 5.912 * [backup-simplify]: Simplify 0 into 0 5.912 * [backup-simplify]: Simplify 0 into 0 5.912 * [backup-simplify]: Simplify 1 into 1 5.912 * [backup-simplify]: Simplify 0 into 0 5.913 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.913 * [backup-simplify]: Simplify (+ 0 0) into 0 5.913 * [taylor]: Taking taylor expansion of 0 in y 5.913 * [backup-simplify]: Simplify 0 into 0 5.913 * [backup-simplify]: Simplify 0 into 0 5.913 * [backup-simplify]: Simplify 0 into 0 5.913 * [backup-simplify]: Simplify 0 into 0 5.913 * [backup-simplify]: Simplify 0 into 0 5.915 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.915 * [backup-simplify]: Simplify (+ 0 0) into 0 5.915 * [taylor]: Taking taylor expansion of 0 in y 5.915 * [backup-simplify]: Simplify 0 into 0 5.915 * [backup-simplify]: Simplify 0 into 0 5.915 * [backup-simplify]: Simplify (+ (* 1 (* y x)) 1.0) into (+ (* x y) 1.0) 5.916 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 y)) 1.0) into (+ 1.0 (/ 1 (* x y))) 5.916 * [approximate]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in (x y) around 0 5.916 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in y 5.916 * [taylor]: Taking taylor expansion of 1.0 in y 5.916 * [backup-simplify]: Simplify 1.0 into 1.0 5.916 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.916 * [taylor]: Taking taylor expansion of (* x y) in y 5.916 * [taylor]: Taking taylor expansion of x in y 5.916 * [backup-simplify]: Simplify x into x 5.916 * [taylor]: Taking taylor expansion of y in y 5.916 * [backup-simplify]: Simplify 0 into 0 5.916 * [backup-simplify]: Simplify 1 into 1 5.916 * [backup-simplify]: Simplify (* x 0) into 0 5.916 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.916 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.916 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x 5.916 * [taylor]: Taking taylor expansion of 1.0 in x 5.916 * [backup-simplify]: Simplify 1.0 into 1.0 5.916 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.916 * [taylor]: Taking taylor expansion of (* x y) in x 5.917 * [taylor]: Taking taylor expansion of x in x 5.917 * [backup-simplify]: Simplify 0 into 0 5.917 * [backup-simplify]: Simplify 1 into 1 5.917 * [taylor]: Taking taylor expansion of y in x 5.917 * [backup-simplify]: Simplify y into y 5.917 * [backup-simplify]: Simplify (* 0 y) into 0 5.917 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.917 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.917 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x 5.917 * [taylor]: Taking taylor expansion of 1.0 in x 5.917 * [backup-simplify]: Simplify 1.0 into 1.0 5.917 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.917 * [taylor]: Taking taylor expansion of (* x y) in x 5.917 * [taylor]: Taking taylor expansion of x in x 5.917 * [backup-simplify]: Simplify 0 into 0 5.917 * [backup-simplify]: Simplify 1 into 1 5.917 * [taylor]: Taking taylor expansion of y in x 5.917 * [backup-simplify]: Simplify y into y 5.917 * [backup-simplify]: Simplify (* 0 y) into 0 5.918 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.918 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.918 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 5.918 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.918 * [taylor]: Taking taylor expansion of y in y 5.918 * [backup-simplify]: Simplify 0 into 0 5.918 * [backup-simplify]: Simplify 1 into 1 5.918 * [backup-simplify]: Simplify (/ 1 1) into 1 5.918 * [backup-simplify]: Simplify 1 into 1 5.919 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.919 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.920 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.920 * [taylor]: Taking taylor expansion of 1.0 in y 5.920 * [backup-simplify]: Simplify 1.0 into 1.0 5.920 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.920 * [backup-simplify]: Simplify 0 into 0 5.921 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.922 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.922 * [backup-simplify]: Simplify (+ 0 0) into 0 5.922 * [taylor]: Taking taylor expansion of 0 in y 5.922 * [backup-simplify]: Simplify 0 into 0 5.922 * [backup-simplify]: Simplify 1.0 into 1.0 5.923 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.923 * [backup-simplify]: Simplify 0 into 0 5.924 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.924 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.925 * [backup-simplify]: Simplify (+ 0 0) into 0 5.925 * [taylor]: Taking taylor expansion of 0 in y 5.925 * [backup-simplify]: Simplify 0 into 0 5.925 * [backup-simplify]: Simplify 0 into 0 5.925 * [backup-simplify]: Simplify 0 into 0 5.926 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.926 * [backup-simplify]: Simplify 0 into 0 5.927 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 5.928 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.928 * [backup-simplify]: Simplify (+ 0 0) into 0 5.928 * [taylor]: Taking taylor expansion of 0 in y 5.928 * [backup-simplify]: Simplify 0 into 0 5.928 * [backup-simplify]: Simplify 0 into 0 5.928 * [backup-simplify]: Simplify 0 into 0 5.928 * [backup-simplify]: Simplify (+ 1.0 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ (* x y) 1.0) 5.929 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- y))) 1.0) into (+ 1.0 (/ 1 (* x y))) 5.929 * [approximate]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in (x y) around 0 5.929 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in y 5.929 * [taylor]: Taking taylor expansion of 1.0 in y 5.929 * [backup-simplify]: Simplify 1.0 into 1.0 5.929 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.929 * [taylor]: Taking taylor expansion of (* x y) in y 5.929 * [taylor]: Taking taylor expansion of x in y 5.929 * [backup-simplify]: Simplify x into x 5.929 * [taylor]: Taking taylor expansion of y in y 5.929 * [backup-simplify]: Simplify 0 into 0 5.929 * [backup-simplify]: Simplify 1 into 1 5.929 * [backup-simplify]: Simplify (* x 0) into 0 5.929 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.929 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.929 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x 5.929 * [taylor]: Taking taylor expansion of 1.0 in x 5.929 * [backup-simplify]: Simplify 1.0 into 1.0 5.929 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.929 * [taylor]: Taking taylor expansion of (* x y) in x 5.929 * [taylor]: Taking taylor expansion of x in x 5.929 * [backup-simplify]: Simplify 0 into 0 5.930 * [backup-simplify]: Simplify 1 into 1 5.930 * [taylor]: Taking taylor expansion of y in x 5.930 * [backup-simplify]: Simplify y into y 5.930 * [backup-simplify]: Simplify (* 0 y) into 0 5.930 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.930 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.930 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x 5.930 * [taylor]: Taking taylor expansion of 1.0 in x 5.930 * [backup-simplify]: Simplify 1.0 into 1.0 5.930 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.930 * [taylor]: Taking taylor expansion of (* x y) in x 5.930 * [taylor]: Taking taylor expansion of x in x 5.930 * [backup-simplify]: Simplify 0 into 0 5.930 * [backup-simplify]: Simplify 1 into 1 5.930 * [taylor]: Taking taylor expansion of y in x 5.930 * [backup-simplify]: Simplify y into y 5.930 * [backup-simplify]: Simplify (* 0 y) into 0 5.931 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.931 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.931 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 5.931 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.931 * [taylor]: Taking taylor expansion of y in y 5.931 * [backup-simplify]: Simplify 0 into 0 5.931 * [backup-simplify]: Simplify 1 into 1 5.931 * [backup-simplify]: Simplify (/ 1 1) into 1 5.931 * [backup-simplify]: Simplify 1 into 1 5.932 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.932 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.933 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.933 * [taylor]: Taking taylor expansion of 1.0 in y 5.933 * [backup-simplify]: Simplify 1.0 into 1.0 5.933 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.933 * [backup-simplify]: Simplify 0 into 0 5.934 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.935 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.935 * [backup-simplify]: Simplify (+ 0 0) into 0 5.935 * [taylor]: Taking taylor expansion of 0 in y 5.935 * [backup-simplify]: Simplify 0 into 0 5.935 * [backup-simplify]: Simplify 1.0 into 1.0 5.936 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.936 * [backup-simplify]: Simplify 0 into 0 5.937 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.937 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.938 * [backup-simplify]: Simplify (+ 0 0) into 0 5.938 * [taylor]: Taking taylor expansion of 0 in y 5.938 * [backup-simplify]: Simplify 0 into 0 5.938 * [backup-simplify]: Simplify 0 into 0 5.938 * [backup-simplify]: Simplify 0 into 0 5.939 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.939 * [backup-simplify]: Simplify 0 into 0 5.940 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 5.941 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.941 * [backup-simplify]: Simplify (+ 0 0) into 0 5.941 * [taylor]: Taking taylor expansion of 0 in y 5.941 * [backup-simplify]: Simplify 0 into 0 5.941 * [backup-simplify]: Simplify 0 into 0 5.941 * [backup-simplify]: Simplify 0 into 0 5.941 * [backup-simplify]: Simplify (+ 1.0 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ (* x y) 1.0) 5.941 * * * [progress]: simplifying candidates 5.942 * [simplify]: Simplifying: (/ (* (exp (* x y)) (exp 1.0)) (exp (* 1.0 y))) (/ (exp (+ (* x y) 1.0)) (exp (* 1.0 y))) (log (- (+ (* x y) 1.0) (* 1.0 y))) (exp (- (+ (* x y) 1.0) (* 1.0 y))) (* (cbrt (- (+ (* x y) 1.0) (* 1.0 y))) (cbrt (- (+ (* x y) 1.0) (* 1.0 y)))) (cbrt (- (+ (* x y) 1.0) (* 1.0 y))) (* (* (- (+ (* x y) 1.0) (* 1.0 y)) (- (+ (* x y) 1.0) (* 1.0 y))) (- (+ (* x y) 1.0) (* 1.0 y))) (sqrt (- (+ (* x y) 1.0) (* 1.0 y))) (sqrt (- (+ (* x y) 1.0) (* 1.0 y))) (- (pow (+ (* x y) 1.0) 3) (pow (* 1.0 y) 3)) (+ (* (+ (* x y) 1.0) (+ (* x y) 1.0)) (+ (* (* 1.0 y) (* 1.0 y)) (* (+ (* x y) 1.0) (* 1.0 y)))) (- (* 1.0 y)) (- (* (+ (* x y) 1.0) (+ (* x y) 1.0)) (* (* 1.0 y) (* 1.0 y))) (+ (+ (* x y) 1.0) (* 1.0 y)) (- 1.0 (* 1.0 y)) (- (* 1.0 y)) (* (exp (* x y)) (exp 1.0)) (log (+ (* x y) 1.0)) (exp (+ (* x y) 1.0)) (* (cbrt (+ (* x y) 1.0)) (cbrt (+ (* x y) 1.0))) (cbrt (+ (* x y) 1.0)) (* (* (+ (* x y) 1.0) (+ (* x y) 1.0)) (+ (* x y) 1.0)) (sqrt (+ (* x y) 1.0)) (sqrt (+ (* x y) 1.0)) (+ (pow (* x y) 3) (pow 1.0 3)) (+ (* (* x y) (* x y)) (- (* 1.0 1.0) (* (* x y) 1.0))) (- (* (* x y) (* x y)) (* 1.0 1.0)) (- (* x y) 1.0) (- (+ (* x y) 1.0) (* 1.0 y)) (- (+ (* x y) 1.0) (* 1.0 y)) (- (+ (* x y) 1.0) (* 1.0 y)) (+ (* x y) 1.0) (+ (* x y) 1.0) (+ (* x y) 1.0) 5.943 * * [simplify]: Extracting # 0 : cost 0 5.943 * * [simplify]: Extracting # 1 : cost 0 5.943 * * [simplify]: Extracting # 2 : cost 0 5.944 * * [simplify]: Extracting # 3 : cost 0 5.944 * * [simplify]: Extracting # 4 : cost 0 5.944 * * [simplify]: Extracting # 5 : cost 0 5.944 * * [simplify]: Extracting # 6 : cost 0 5.944 * * [simplify]: Extracting # 7 : cost 0 5.944 * * [simplify]: iteration 0 : 49 enodes (cost 357 ) 5.963 * * [simplify]: Extracting # 0 : cost 0 5.964 * * [simplify]: Extracting # 1 : cost 0 5.964 * * [simplify]: Extracting # 2 : cost 0 5.964 * * [simplify]: Extracting # 3 : cost 0 5.965 * * [simplify]: Extracting # 4 : cost 0 5.965 * * [simplify]: iteration 1 : 141 enodes (cost 337 ) 6.039 * * [simplify]: Extracting # 0 : cost 0 6.040 * * [simplify]: Extracting # 1 : cost 0 6.041 * * [simplify]: Extracting # 2 : cost 0 6.042 * * [simplify]: Extracting # 3 : cost 0 6.043 * * [simplify]: Extracting # 4 : cost 0 6.044 * * [simplify]: iteration 2 : 496 enodes (cost 319 ) 6.466 * * [simplify]: Extracting # 0 : cost 0 6.470 * * [simplify]: Extracting # 1 : cost 0 6.474 * * [simplify]: Extracting # 2 : cost 0 6.478 * * [simplify]: Extracting # 3 : cost 0 6.481 * * [simplify]: Extracting # 4 : cost 0 6.485 * * [simplify]: Extracting # 5 : cost 0 6.489 * * [simplify]: Extracting # 6 : cost 0 6.493 * * [simplify]: iteration 3 : 2073 enodes (cost 281 ) 7.530 * * [simplify]: Extracting # 0 : cost 0 7.539 * * [simplify]: Extracting # 1 : cost 0 7.549 * * [simplify]: Extracting # 2 : cost 0 7.566 * * [simplify]: Extracting # 3 : cost 0 7.575 * * [simplify]: Extracting # 4 : cost 0 7.585 * * [simplify]: iteration done: 5002 enodes (cost 281 ) 7.585 * [simplify]: Simplified to: (exp (+ 1.0 (* y (- x 1.0)))) (exp (+ 1.0 (* y (- x 1.0)))) (log (+ 1.0 (* y (- x 1.0)))) (exp (+ 1.0 (* y (- x 1.0)))) (* (cbrt (+ 1.0 (* y (- x 1.0)))) (cbrt (+ 1.0 (* y (- x 1.0))))) (cbrt (+ 1.0 (* y (- x 1.0)))) (pow (+ 1.0 (* y (- x 1.0))) 3) (sqrt (+ 1.0 (* y (- x 1.0)))) (sqrt (+ 1.0 (* y (- x 1.0)))) (- (pow (+ (* x y) 1.0) 3) (pow (* 1.0 y) 3)) (+ (* (* 1.0 y) (* 1.0 y)) (* (+ (* x y) 1.0) (+ (* y (+ 1.0 x)) 1.0))) (- (* 1.0 y)) (* (+ 1.0 (* y (- x 1.0))) (+ (* y (+ 1.0 x)) 1.0)) (+ (* y (+ 1.0 x)) 1.0) (- 1.0 (* 1.0 y)) (- (* 1.0 y)) (exp (+ (* x y) 1.0)) (log (+ (* x y) 1.0)) (exp (+ (* x y) 1.0)) (* (cbrt (+ (* x y) 1.0)) (cbrt (+ (* x y) 1.0))) (cbrt (+ (* x y) 1.0)) (pow (+ (* x y) 1.0) 3) (sqrt (+ (* x y) 1.0)) (sqrt (+ (* x y) 1.0)) (+ (pow (* x y) 3) (pow 1.0 3)) (+ (* (* x y) (- (* x y) 1.0)) (* 1.0 1.0)) (- (* (* x y) (* x y)) (* 1.0 1.0)) (- (* x y) 1.0) (+ 1.0 (* y (- x 1.0))) (+ 1.0 (* y (- x 1.0))) (+ 1.0 (* y (- x 1.0))) (+ (* x y) 1.0) (+ (* x y) 1.0) (+ (* x y) 1.0) 7.585 * * * [progress]: adding candidates to table 7.724 * * [progress]: iteration 3 / 4 7.724 * * * [progress]: picking best candidate 7.729 * * * * [pick]: Picked # 7.729 * * * [progress]: localizing error 7.751 * * * [progress]: generating rewritten candidates 7.752 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 7.772 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 7.823 * * * [progress]: generating series expansions 7.823 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 7.823 * [backup-simplify]: Simplify (+ x (* (- 1.0 x) 1.0)) into 1.0 7.823 * [approximate]: Taking taylor expansion of 1.0 in (x) around 0 7.823 * [taylor]: Taking taylor expansion of 1.0 in x 7.823 * [backup-simplify]: Simplify 1.0 into 1.0 7.823 * [taylor]: Taking taylor expansion of 1.0 in x 7.823 * [backup-simplify]: Simplify 1.0 into 1.0 7.823 * [backup-simplify]: Simplify 1.0 into 1.0 7.823 * [backup-simplify]: Simplify 0 into 0 7.823 * [backup-simplify]: Simplify 0 into 0 7.823 * [backup-simplify]: Simplify 0 into 0 7.824 * [backup-simplify]: Simplify 0 into 0 7.824 * [backup-simplify]: Simplify 0 into 0 7.824 * [backup-simplify]: Simplify 0 into 0 7.824 * [backup-simplify]: Simplify 1.0 into 1.0 7.824 * [backup-simplify]: Simplify (+ (/ 1 x) (* (- 1.0 (/ 1 x)) 1.0)) into 1.0 7.824 * [approximate]: Taking taylor expansion of 1.0 in (x) around 0 7.824 * [taylor]: Taking taylor expansion of 1.0 in x 7.824 * [backup-simplify]: Simplify 1.0 into 1.0 7.824 * [taylor]: Taking taylor expansion of 1.0 in x 7.824 * [backup-simplify]: Simplify 1.0 into 1.0 7.824 * [backup-simplify]: Simplify 1.0 into 1.0 7.824 * [backup-simplify]: Simplify 0 into 0 7.824 * [backup-simplify]: Simplify 0 into 0 7.824 * [backup-simplify]: Simplify 0 into 0 7.824 * [backup-simplify]: Simplify 0 into 0 7.824 * [backup-simplify]: Simplify 0 into 0 7.824 * [backup-simplify]: Simplify 0 into 0 7.824 * [backup-simplify]: Simplify 1.0 into 1.0 7.824 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (* (- 1.0 (/ 1 (- x))) 1.0)) into 1.0 7.824 * [approximate]: Taking taylor expansion of 1.0 in (x) around 0 7.825 * [taylor]: Taking taylor expansion of 1.0 in x 7.825 * [backup-simplify]: Simplify 1.0 into 1.0 7.825 * [taylor]: Taking taylor expansion of 1.0 in x 7.825 * [backup-simplify]: Simplify 1.0 into 1.0 7.825 * [backup-simplify]: Simplify 1.0 into 1.0 7.825 * [backup-simplify]: Simplify 0 into 0 7.825 * [backup-simplify]: Simplify 0 into 0 7.825 * [backup-simplify]: Simplify 0 into 0 7.825 * [backup-simplify]: Simplify 0 into 0 7.825 * [backup-simplify]: Simplify 0 into 0 7.825 * [backup-simplify]: Simplify 0 into 0 7.825 * [backup-simplify]: Simplify 1.0 into 1.0 7.825 * * * * [progress]: [ 2 / 2 ] generating series at (2) 7.825 * [backup-simplify]: Simplify (+ (+ x (* (- 1.0 x) 1.0)) (* (- y) (- 1.0 x))) into (- (+ (* x y) 1.0) (* 1.0 y)) 7.825 * [approximate]: Taking taylor expansion of (- (+ (* x y) 1.0) (* 1.0 y)) in (x y) around 0 7.825 * [taylor]: Taking taylor expansion of (- (+ (* x y) 1.0) (* 1.0 y)) in y 7.825 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in y 7.825 * [taylor]: Taking taylor expansion of (* x y) in y 7.825 * [taylor]: Taking taylor expansion of x in y 7.825 * [backup-simplify]: Simplify x into x 7.825 * [taylor]: Taking taylor expansion of y in y 7.825 * [backup-simplify]: Simplify 0 into 0 7.825 * [backup-simplify]: Simplify 1 into 1 7.825 * [taylor]: Taking taylor expansion of 1.0 in y 7.825 * [backup-simplify]: Simplify 1.0 into 1.0 7.825 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 7.826 * [taylor]: Taking taylor expansion of 1.0 in y 7.826 * [backup-simplify]: Simplify 1.0 into 1.0 7.826 * [taylor]: Taking taylor expansion of y in y 7.826 * [backup-simplify]: Simplify 0 into 0 7.826 * [backup-simplify]: Simplify 1 into 1 7.826 * [taylor]: Taking taylor expansion of (- (+ (* x y) 1.0) (* 1.0 y)) in x 7.826 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in x 7.826 * [taylor]: Taking taylor expansion of (* x y) in x 7.826 * [taylor]: Taking taylor expansion of x in x 7.826 * [backup-simplify]: Simplify 0 into 0 7.826 * [backup-simplify]: Simplify 1 into 1 7.826 * [taylor]: Taking taylor expansion of y in x 7.826 * [backup-simplify]: Simplify y into y 7.826 * [taylor]: Taking taylor expansion of 1.0 in x 7.826 * [backup-simplify]: Simplify 1.0 into 1.0 7.826 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 7.826 * [taylor]: Taking taylor expansion of 1.0 in x 7.826 * [backup-simplify]: Simplify 1.0 into 1.0 7.826 * [taylor]: Taking taylor expansion of y in x 7.826 * [backup-simplify]: Simplify y into y 7.826 * [taylor]: Taking taylor expansion of (- (+ (* x y) 1.0) (* 1.0 y)) in x 7.826 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in x 7.826 * [taylor]: Taking taylor expansion of (* x y) in x 7.826 * [taylor]: Taking taylor expansion of x in x 7.826 * [backup-simplify]: Simplify 0 into 0 7.826 * [backup-simplify]: Simplify 1 into 1 7.826 * [taylor]: Taking taylor expansion of y in x 7.826 * [backup-simplify]: Simplify y into y 7.826 * [taylor]: Taking taylor expansion of 1.0 in x 7.826 * [backup-simplify]: Simplify 1.0 into 1.0 7.826 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 7.826 * [taylor]: Taking taylor expansion of 1.0 in x 7.826 * [backup-simplify]: Simplify 1.0 into 1.0 7.826 * [taylor]: Taking taylor expansion of y in x 7.826 * [backup-simplify]: Simplify y into y 7.826 * [backup-simplify]: Simplify (* 0 y) into 0 7.827 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 7.827 * [backup-simplify]: Simplify (* 1.0 y) into (* 1.0 y) 7.827 * [backup-simplify]: Simplify (- (* 1.0 y)) into (- (* 1.0 y)) 7.827 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 y))) into (- 1.0 (* 1.0 y)) 7.827 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 y)) in y 7.827 * [taylor]: Taking taylor expansion of 1.0 in y 7.827 * [backup-simplify]: Simplify 1.0 into 1.0 7.827 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 7.827 * [taylor]: Taking taylor expansion of 1.0 in y 7.827 * [backup-simplify]: Simplify 1.0 into 1.0 7.827 * [taylor]: Taking taylor expansion of y in y 7.828 * [backup-simplify]: Simplify 0 into 0 7.828 * [backup-simplify]: Simplify 1 into 1 7.828 * [backup-simplify]: Simplify (* 1.0 0) into 0 7.828 * [backup-simplify]: Simplify (- 0) into 0 7.829 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 7.829 * [backup-simplify]: Simplify 1.0 into 1.0 7.829 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.829 * [backup-simplify]: Simplify (+ y 0) into y 7.830 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 y)) into 0 7.830 * [backup-simplify]: Simplify (- 0) into 0 7.830 * [backup-simplify]: Simplify (+ y 0) into y 7.830 * [taylor]: Taking taylor expansion of y in y 7.830 * [backup-simplify]: Simplify 0 into 0 7.830 * [backup-simplify]: Simplify 1 into 1 7.830 * [backup-simplify]: Simplify 0 into 0 7.831 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 7.832 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.832 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 7.833 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.834 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 7.834 * [backup-simplify]: Simplify (+ 0 0) into 0 7.835 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 y))) into 0 7.835 * [backup-simplify]: Simplify (- 0) into 0 7.835 * [backup-simplify]: Simplify (+ 0 0) into 0 7.835 * [taylor]: Taking taylor expansion of 0 in y 7.835 * [backup-simplify]: Simplify 0 into 0 7.835 * [backup-simplify]: Simplify 0 into 0 7.835 * [backup-simplify]: Simplify 1 into 1 7.836 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (+ (* (- 1.0) (* y 1)) 1.0)) into (- (+ (* x y) 1.0) (* 1.0 y)) 7.837 * [backup-simplify]: Simplify (+ (+ (/ 1 x) (* (- 1.0 (/ 1 x)) 1.0)) (* (- (/ 1 y)) (- 1.0 (/ 1 x)))) into (- (+ (/ 1 (* x y)) 1.0) (* 1.0 (/ 1 y))) 7.837 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x y)) 1.0) (* 1.0 (/ 1 y))) in (x y) around 0 7.837 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) 1.0) (* 1.0 (/ 1 y))) in y 7.837 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1.0) in y 7.837 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.837 * [taylor]: Taking taylor expansion of (* x y) in y 7.837 * [taylor]: Taking taylor expansion of x in y 7.837 * [backup-simplify]: Simplify x into x 7.837 * [taylor]: Taking taylor expansion of y in y 7.837 * [backup-simplify]: Simplify 0 into 0 7.837 * [backup-simplify]: Simplify 1 into 1 7.837 * [backup-simplify]: Simplify (* x 0) into 0 7.837 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.837 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.837 * [taylor]: Taking taylor expansion of 1.0 in y 7.837 * [backup-simplify]: Simplify 1.0 into 1.0 7.837 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 7.837 * [taylor]: Taking taylor expansion of 1.0 in y 7.837 * [backup-simplify]: Simplify 1.0 into 1.0 7.838 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.838 * [taylor]: Taking taylor expansion of y in y 7.838 * [backup-simplify]: Simplify 0 into 0 7.838 * [backup-simplify]: Simplify 1 into 1 7.838 * [backup-simplify]: Simplify (/ 1 1) into 1 7.838 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) 1.0) (* 1.0 (/ 1 y))) in x 7.838 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1.0) in x 7.838 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.838 * [taylor]: Taking taylor expansion of (* x y) in x 7.838 * [taylor]: Taking taylor expansion of x in x 7.838 * [backup-simplify]: Simplify 0 into 0 7.838 * [backup-simplify]: Simplify 1 into 1 7.838 * [taylor]: Taking taylor expansion of y in x 7.838 * [backup-simplify]: Simplify y into y 7.838 * [backup-simplify]: Simplify (* 0 y) into 0 7.839 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.839 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.839 * [taylor]: Taking taylor expansion of 1.0 in x 7.839 * [backup-simplify]: Simplify 1.0 into 1.0 7.839 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 7.839 * [taylor]: Taking taylor expansion of 1.0 in x 7.839 * [backup-simplify]: Simplify 1.0 into 1.0 7.839 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.839 * [taylor]: Taking taylor expansion of y in x 7.839 * [backup-simplify]: Simplify y into y 7.839 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.839 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) 1.0) (* 1.0 (/ 1 y))) in x 7.839 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1.0) in x 7.839 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.839 * [taylor]: Taking taylor expansion of (* x y) in x 7.839 * [taylor]: Taking taylor expansion of x in x 7.839 * [backup-simplify]: Simplify 0 into 0 7.839 * [backup-simplify]: Simplify 1 into 1 7.839 * [taylor]: Taking taylor expansion of y in x 7.839 * [backup-simplify]: Simplify y into y 7.839 * [backup-simplify]: Simplify (* 0 y) into 0 7.840 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.840 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.840 * [taylor]: Taking taylor expansion of 1.0 in x 7.840 * [backup-simplify]: Simplify 1.0 into 1.0 7.840 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 7.840 * [taylor]: Taking taylor expansion of 1.0 in x 7.840 * [backup-simplify]: Simplify 1.0 into 1.0 7.840 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.840 * [taylor]: Taking taylor expansion of y in x 7.840 * [backup-simplify]: Simplify y into y 7.840 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.840 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 7.840 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 7.840 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.840 * [taylor]: Taking taylor expansion of y in y 7.840 * [backup-simplify]: Simplify 0 into 0 7.840 * [backup-simplify]: Simplify 1 into 1 7.841 * [backup-simplify]: Simplify (/ 1 1) into 1 7.841 * [backup-simplify]: Simplify 1 into 1 7.841 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 7.842 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 7.842 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 7.842 * [backup-simplify]: Simplify (* 1.0 (/ 1 y)) into (/ 1.0 y) 7.842 * [backup-simplify]: Simplify (- (/ 1.0 y)) into (- (* 1.0 (/ 1 y))) 7.842 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 y)))) into (- 1.0 (* 1.0 (/ 1 y))) 7.842 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 y))) in y 7.842 * [taylor]: Taking taylor expansion of 1.0 in y 7.842 * [backup-simplify]: Simplify 1.0 into 1.0 7.842 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 7.842 * [taylor]: Taking taylor expansion of 1.0 in y 7.842 * [backup-simplify]: Simplify 1.0 into 1.0 7.842 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.842 * [taylor]: Taking taylor expansion of y in y 7.842 * [backup-simplify]: Simplify 0 into 0 7.843 * [backup-simplify]: Simplify 1 into 1 7.843 * [backup-simplify]: Simplify (/ 1 1) into 1 7.843 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 7.844 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.844 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 7.845 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.845 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.845 * [backup-simplify]: Simplify 0 into 0 7.846 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 7.847 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.847 * [backup-simplify]: Simplify (+ 0 0) into 0 7.847 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 7.848 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 y))) into 0 7.848 * [backup-simplify]: Simplify (- 0) into 0 7.849 * [backup-simplify]: Simplify (+ 0 0) into 0 7.849 * [taylor]: Taking taylor expansion of 0 in y 7.849 * [backup-simplify]: Simplify 0 into 0 7.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.850 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 7.850 * [backup-simplify]: Simplify (- 0) into 0 7.851 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 7.851 * [backup-simplify]: Simplify 1.0 into 1.0 7.851 * [backup-simplify]: Simplify (+ 1.0 (+ (* (- 1.0) (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))))) into (- (+ (* x y) 1.0) (* 1.0 y)) 7.852 * [backup-simplify]: Simplify (+ (+ (/ 1 (- x)) (* (- 1.0 (/ 1 (- x))) 1.0)) (* (- (/ 1 (- y))) (- 1.0 (/ 1 (- x))))) into (+ (/ 1 (* x y)) (+ (* 1.0 (/ 1 y)) 1.0)) 7.852 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (* 1.0 (/ 1 y)) 1.0)) in (x y) around 0 7.852 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (* 1.0 (/ 1 y)) 1.0)) in y 7.852 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.852 * [taylor]: Taking taylor expansion of (* x y) in y 7.852 * [taylor]: Taking taylor expansion of x in y 7.852 * [backup-simplify]: Simplify x into x 7.852 * [taylor]: Taking taylor expansion of y in y 7.852 * [backup-simplify]: Simplify 0 into 0 7.852 * [backup-simplify]: Simplify 1 into 1 7.852 * [backup-simplify]: Simplify (* x 0) into 0 7.852 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.853 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.853 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) 1.0) in y 7.853 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 7.853 * [taylor]: Taking taylor expansion of 1.0 in y 7.853 * [backup-simplify]: Simplify 1.0 into 1.0 7.853 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.853 * [taylor]: Taking taylor expansion of y in y 7.853 * [backup-simplify]: Simplify 0 into 0 7.853 * [backup-simplify]: Simplify 1 into 1 7.853 * [backup-simplify]: Simplify (/ 1 1) into 1 7.853 * [taylor]: Taking taylor expansion of 1.0 in y 7.853 * [backup-simplify]: Simplify 1.0 into 1.0 7.853 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (* 1.0 (/ 1 y)) 1.0)) in x 7.853 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.853 * [taylor]: Taking taylor expansion of (* x y) in x 7.853 * [taylor]: Taking taylor expansion of x in x 7.853 * [backup-simplify]: Simplify 0 into 0 7.853 * [backup-simplify]: Simplify 1 into 1 7.853 * [taylor]: Taking taylor expansion of y in x 7.853 * [backup-simplify]: Simplify y into y 7.853 * [backup-simplify]: Simplify (* 0 y) into 0 7.854 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.854 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.854 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) 1.0) in x 7.854 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 7.854 * [taylor]: Taking taylor expansion of 1.0 in x 7.854 * [backup-simplify]: Simplify 1.0 into 1.0 7.854 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.854 * [taylor]: Taking taylor expansion of y in x 7.854 * [backup-simplify]: Simplify y into y 7.854 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.854 * [taylor]: Taking taylor expansion of 1.0 in x 7.854 * [backup-simplify]: Simplify 1.0 into 1.0 7.854 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (* 1.0 (/ 1 y)) 1.0)) in x 7.854 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.854 * [taylor]: Taking taylor expansion of (* x y) in x 7.854 * [taylor]: Taking taylor expansion of x in x 7.854 * [backup-simplify]: Simplify 0 into 0 7.854 * [backup-simplify]: Simplify 1 into 1 7.854 * [taylor]: Taking taylor expansion of y in x 7.854 * [backup-simplify]: Simplify y into y 7.854 * [backup-simplify]: Simplify (* 0 y) into 0 7.855 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.855 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.855 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) 1.0) in x 7.855 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 7.855 * [taylor]: Taking taylor expansion of 1.0 in x 7.855 * [backup-simplify]: Simplify 1.0 into 1.0 7.855 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.855 * [taylor]: Taking taylor expansion of y in x 7.855 * [backup-simplify]: Simplify y into y 7.855 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.855 * [taylor]: Taking taylor expansion of 1.0 in x 7.855 * [backup-simplify]: Simplify 1.0 into 1.0 7.855 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 7.855 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.855 * [taylor]: Taking taylor expansion of y in y 7.855 * [backup-simplify]: Simplify 0 into 0 7.855 * [backup-simplify]: Simplify 1 into 1 7.856 * [backup-simplify]: Simplify (/ 1 1) into 1 7.856 * [backup-simplify]: Simplify 1 into 1 7.856 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 7.857 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 7.857 * [backup-simplify]: Simplify (* 1.0 (/ 1 y)) into (/ 1.0 y) 7.857 * [backup-simplify]: Simplify (+ (/ 1.0 y) 1.0) into (+ (* 1.0 (/ 1 y)) 1.0) 7.857 * [backup-simplify]: Simplify (+ 0 (+ (* 1.0 (/ 1 y)) 1.0)) into (+ (* 1.0 (/ 1 y)) 1.0) 7.857 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) 1.0) in y 7.857 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 7.857 * [taylor]: Taking taylor expansion of 1.0 in y 7.857 * [backup-simplify]: Simplify 1.0 into 1.0 7.857 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.857 * [taylor]: Taking taylor expansion of y in y 7.857 * [backup-simplify]: Simplify 0 into 0 7.857 * [backup-simplify]: Simplify 1 into 1 7.857 * [backup-simplify]: Simplify (/ 1 1) into 1 7.857 * [taylor]: Taking taylor expansion of 1.0 in y 7.858 * [backup-simplify]: Simplify 1.0 into 1.0 7.858 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 7.858 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 7.858 * [backup-simplify]: Simplify 1.0 into 1.0 7.859 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.859 * [backup-simplify]: Simplify 0 into 0 7.860 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 7.860 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.860 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 7.861 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 y))) into 0 7.861 * [backup-simplify]: Simplify (+ 0 0) into 0 7.862 * [backup-simplify]: Simplify (+ 0 0) into 0 7.862 * [taylor]: Taking taylor expansion of 0 in y 7.862 * [backup-simplify]: Simplify 0 into 0 7.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.863 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 7.863 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 7.863 * [backup-simplify]: Simplify 1.0 into 1.0 7.864 * [backup-simplify]: Simplify (+ 1.0 (+ (* 1.0 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))))) into (- (+ (* x y) 1.0) (* 1.0 y)) 7.864 * * * [progress]: simplifying candidates 7.865 * [simplify]: Simplifying: (* (exp x) (exp (* (- 1.0 x) 1.0))) (log (+ x (* (- 1.0 x) 1.0))) (exp (+ x (* (- 1.0 x) 1.0))) (* (cbrt (+ x (* (- 1.0 x) 1.0))) (cbrt (+ x (* (- 1.0 x) 1.0)))) (cbrt (+ x (* (- 1.0 x) 1.0))) (* (* (+ x (* (- 1.0 x) 1.0)) (+ x (* (- 1.0 x) 1.0))) (+ x (* (- 1.0 x) 1.0))) (sqrt (+ x (* (- 1.0 x) 1.0))) (sqrt (+ x (* (- 1.0 x) 1.0))) (+ (pow x 3) (pow (* (- 1.0 x) 1.0) 3)) (+ (* x x) (- (* (* (- 1.0 x) 1.0) (* (- 1.0 x) 1.0)) (* x (* (- 1.0 x) 1.0)))) (- (* x x) (* (* (- 1.0 x) 1.0) (* (- 1.0 x) 1.0))) (- x (* (- 1.0 x) 1.0)) (* (* (exp x) (exp (* (- 1.0 x) 1.0))) (exp (* (- y) (- 1.0 x)))) (* (exp (+ x (* (- 1.0 x) 1.0))) (exp (* (- y) (- 1.0 x)))) (log (+ (+ x (* (- 1.0 x) 1.0)) (* (- y) (- 1.0 x)))) (exp (+ (+ x (* (- 1.0 x) 1.0)) (* (- y) (- 1.0 x)))) (* (cbrt (+ (+ x (* (- 1.0 x) 1.0)) (* (- y) (- 1.0 x)))) (cbrt (+ (+ x (* (- 1.0 x) 1.0)) (* (- y) (- 1.0 x))))) (cbrt (+ (+ x (* (- 1.0 x) 1.0)) (* (- y) (- 1.0 x)))) (* (* (+ (+ x (* (- 1.0 x) 1.0)) (* (- y) (- 1.0 x))) (+ (+ x (* (- 1.0 x) 1.0)) (* (- y) (- 1.0 x)))) (+ (+ x (* (- 1.0 x) 1.0)) (* (- y) (- 1.0 x)))) (sqrt (+ (+ x (* (- 1.0 x) 1.0)) (* (- y) (- 1.0 x)))) (sqrt (+ (+ x (* (- 1.0 x) 1.0)) (* (- y) (- 1.0 x)))) (+ (* (+ (pow x 3) (pow (* (- 1.0 x) 1.0) 3)) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* (+ (* x x) (- (* (* (- 1.0 x) 1.0) (* (- 1.0 x) 1.0)) (* x (* (- 1.0 x) 1.0)))) (* (- y) (- (pow 1.0 3) (pow x 3))))) (* (+ (* x x) (- (* (* (- 1.0 x) 1.0) (* (- 1.0 x) 1.0)) (* x (* (- 1.0 x) 1.0)))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (+ (* (+ (pow x 3) (pow (* (- 1.0 x) 1.0) 3)) (+ 1.0 x)) (* (+ (* x x) (- (* (* (- 1.0 x) 1.0) (* (- 1.0 x) 1.0)) (* x (* (- 1.0 x) 1.0)))) (* (- y) (- (* 1.0 1.0) (* x x))))) (* (+ (* x x) (- (* (* (- 1.0 x) 1.0) (* (- 1.0 x) 1.0)) (* x (* (- 1.0 x) 1.0)))) (+ 1.0 x)) (+ (* (- (* x x) (* (* (- 1.0 x) 1.0) (* (- 1.0 x) 1.0))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* (- x (* (- 1.0 x) 1.0)) (* (- y) (- (pow 1.0 3) (pow x 3))))) (* (- x (* (- 1.0 x) 1.0)) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (+ (* (- (* x x) (* (* (- 1.0 x) 1.0) (* (- 1.0 x) 1.0))) (+ 1.0 x)) (* (- x (* (- 1.0 x) 1.0)) (* (- y) (- (* 1.0 1.0) (* x x))))) (* (- x (* (- 1.0 x) 1.0)) (+ 1.0 x)) (+ (pow (+ x (* (- 1.0 x) 1.0)) 3) (pow (* (- y) (- 1.0 x)) 3)) (+ (* (+ x (* (- 1.0 x) 1.0)) (+ x (* (- 1.0 x) 1.0))) (- (* (* (- y) (- 1.0 x)) (* (- y) (- 1.0 x))) (* (+ x (* (- 1.0 x) 1.0)) (* (- y) (- 1.0 x))))) (- (* (+ x (* (- 1.0 x) 1.0)) (+ x (* (- 1.0 x) 1.0))) (* (* (- y) (- 1.0 x)) (* (- y) (- 1.0 x)))) (- (+ x (* (- 1.0 x) 1.0)) (* (- y) (- 1.0 x))) (+ (+ x (* (- 1.0 x) 1.0)) (* (- y) 1.0)) (+ (+ x (* (- 1.0 x) 1.0)) (* (- y) 1.0)) (+ (+ x (* (- 1.0 x) 1.0)) (* 1.0 (- y))) (+ (+ x (* (- 1.0 x) 1.0)) (* 1.0 (- y))) (+ (* (- 1.0 x) 1.0) (* (- y) (- 1.0 x))) 1.0 1.0 1.0 (- (+ (* x y) 1.0) (* 1.0 y)) (- (+ (* x y) 1.0) (* 1.0 y)) (- (+ (* x y) 1.0) (* 1.0 y)) 7.867 * * [simplify]: Extracting # 0 : cost 0 7.867 * * [simplify]: Extracting # 1 : cost 0 7.867 * * [simplify]: Extracting # 2 : cost 0 7.867 * * [simplify]: Extracting # 3 : cost 0 7.868 * * [simplify]: Extracting # 4 : cost 0 7.868 * * [simplify]: Extracting # 5 : cost 0 7.868 * * [simplify]: Extracting # 6 : cost 0 7.868 * * [simplify]: Extracting # 7 : cost 0 7.868 * * [simplify]: iteration 0 : 84 enodes (cost 807 ) 7.907 * * [simplify]: Extracting # 0 : cost 0 7.907 * * [simplify]: Extracting # 1 : cost 0 7.908 * * [simplify]: Extracting # 2 : cost 0 7.909 * * [simplify]: Extracting # 3 : cost 0 7.909 * * [simplify]: Extracting # 4 : cost 0 7.910 * * [simplify]: Extracting # 5 : cost 0 7.910 * * [simplify]: iteration 1 : 301 enodes (cost 744 ) 8.081 * * [simplify]: Extracting # 0 : cost 0 8.083 * * [simplify]: Extracting # 1 : cost 0 8.086 * * [simplify]: Extracting # 2 : cost 0 8.089 * * [simplify]: Extracting # 3 : cost 0 8.091 * * [simplify]: Extracting # 4 : cost 0 8.094 * * [simplify]: Extracting # 5 : cost 0 8.096 * * [simplify]: iteration 2 : 1293 enodes (cost 652 ) 8.716 * * [simplify]: Extracting # 0 : cost 0 8.728 * * [simplify]: Extracting # 1 : cost 0 8.743 * * [simplify]: Extracting # 2 : cost 0 8.767 * * [simplify]: Extracting # 3 : cost 0 8.780 * * [simplify]: Extracting # 4 : cost 0 8.792 * * [simplify]: iteration done: 5002 enodes (cost 649 ) 8.793 * [simplify]: Simplified to: (exp (+ x (* (- 1.0 x) 1.0))) (log (+ x (* (- 1.0 x) 1.0))) (exp (+ x (* (- 1.0 x) 1.0))) (* (cbrt (+ x (* (- 1.0 x) 1.0))) (cbrt (+ x (* (- 1.0 x) 1.0)))) (cbrt (+ x (* (- 1.0 x) 1.0))) (pow (+ x (* (- 1.0 x) 1.0)) 3) (sqrt (+ x (* (- 1.0 x) 1.0))) (sqrt (+ x (* (- 1.0 x) 1.0))) (+ (pow x 3) (pow (* (- 1.0 x) 1.0) 3)) (+ (* (* (- 1.0 x) 1.0) (- (* (- 1.0 x) 1.0) x)) (* x x)) (- (* x x) (* (* (- 1.0 x) 1.0) (* (- 1.0 x) 1.0))) (- x (* (- 1.0 x) 1.0)) (exp (+ (* (- 1.0 x) (+ (- y) 1.0)) x)) (exp (+ (* (- 1.0 x) (+ (- y) 1.0)) x)) (log (+ (* (- 1.0 x) (+ (- y) 1.0)) x)) (exp (+ (* (- 1.0 x) (+ (- y) 1.0)) x)) (* (cbrt (+ (* (- 1.0 x) (+ (- y) 1.0)) x)) (cbrt (+ (* (- 1.0 x) (+ (- y) 1.0)) x))) (cbrt (+ (* (- 1.0 x) (+ (- y) 1.0)) x)) (pow (+ (* (- 1.0 x) (+ (- y) 1.0)) x) 3) (sqrt (+ (* (- 1.0 x) (+ (- y) 1.0)) x)) (sqrt (+ (* (- 1.0 x) (+ (- y) 1.0)) x)) (+ (* (* (+ (* (* (- 1.0 x) 1.0) (- (* (- 1.0 x) 1.0) x)) (* x x)) (- y)) (- (pow 1.0 3) (pow x 3))) (* (+ (* x (+ 1.0 x)) (* 1.0 1.0)) (+ (pow x 3) (pow (* (- 1.0 x) 1.0) 3)))) (* (+ (* x (+ 1.0 x)) (* 1.0 1.0)) (+ (* (* (- 1.0 x) 1.0) (- (* (- 1.0 x) 1.0) x)) (* x x))) (+ (* (+ (pow x 3) (pow (* (- 1.0 x) 1.0) 3)) (+ 1.0 x)) (* (+ (* (* (- 1.0 x) 1.0) (- (* (- 1.0 x) 1.0) x)) (* x x)) (* (- y) (- (* 1.0 1.0) (* x x))))) (* (+ (* (* (- 1.0 x) 1.0) (- (* (- 1.0 x) 1.0) x)) (* x x)) (+ 1.0 x)) (+ (* (+ (* x (+ 1.0 x)) (* 1.0 1.0)) (- (* x x) (* (* (- 1.0 x) 1.0) (* (- 1.0 x) 1.0)))) (* (- x (* (- 1.0 x) 1.0)) (* (- y) (- (pow 1.0 3) (pow x 3))))) (* (- x (* (- 1.0 x) 1.0)) (+ (* x (+ 1.0 x)) (* 1.0 1.0))) (+ (* (- (* x x) (* (* (- 1.0 x) 1.0) (* (- 1.0 x) 1.0))) (+ 1.0 x)) (* (- x (* (- 1.0 x) 1.0)) (* (- y) (- (* 1.0 1.0) (* x x))))) (* (- x (* (- 1.0 x) 1.0)) (+ 1.0 x)) (+ (pow (+ x (* (- 1.0 x) 1.0)) 3) (pow (* (- y) (- 1.0 x)) 3)) (+ (- (* (* y (- 1.0 x)) (- (+ (* (- 1.0 x) (- 1.0 (- y))) x)))) (* (+ x (* (- 1.0 x) 1.0)) (+ x (* (- 1.0 x) 1.0)))) (* (+ (* (- 1.0 x) (- 1.0 (- y))) x) (+ (* (- 1.0 x) (+ (- y) 1.0)) x)) (+ (* (- 1.0 x) (- 1.0 (- y))) x) (+ x (* 1.0 (+ (- 1.0 x) (- y)))) (+ x (* 1.0 (+ (- 1.0 x) (- y)))) (+ x (* 1.0 (+ (- 1.0 x) (- y)))) (+ x (* 1.0 (+ (- 1.0 x) (- y)))) (* (- 1.0 x) (+ (- y) 1.0)) 1.0 1.0 1.0 (- (+ (* x y) 1.0) (* 1.0 y)) (- (+ (* x y) 1.0) (* 1.0 y)) (- (+ (* x y) 1.0) (* 1.0 y)) 8.794 * * * [progress]: adding candidates to table 8.993 * [progress]: [Phase 3 of 3] Extracting. 8.993 * * [regime]: Finding splitpoints for: (# #) 8.993 * * * [regime-changes]: Trying 2 branch expressions: (y x) 8.993 * * * * [regimes]: Trying to branch on y from (# #) 9.041 * * * * [regimes]: Trying to branch on x from (# #) 9.089 * * * [regime]: Found split indices: #