77.554 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.042 * * * [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.076 * * [simplify]: Extracting # 0 : cost 0 0.077 * * [simplify]: Extracting # 1 : cost 0 0.077 * * [simplify]: Extracting # 2 : cost 0 0.077 * * [simplify]: iteration 3 : 78 enodes (cost 9 ) 0.127 * * [simplify]: Extracting # 0 : cost 0 0.127 * * [simplify]: Extracting # 1 : cost 0 0.128 * * [simplify]: Extracting # 2 : cost 0 0.128 * * [simplify]: iteration 4 : 257 enodes (cost 9 ) 0.258 * * [simplify]: Extracting # 0 : cost 0 0.260 * * [simplify]: Extracting # 1 : cost 0 0.261 * * [simplify]: Extracting # 2 : cost 0 0.262 * * [simplify]: Extracting # 3 : cost 0 0.263 * * [simplify]: iteration 5 : 808 enodes (cost 9 ) 1.360 * * [simplify]: Extracting # 0 : cost 0 1.367 * * [simplify]: Extracting # 1 : cost 0 1.371 * * [simplify]: Extracting # 2 : cost 0 1.374 * * [simplify]: Extracting # 3 : cost 0 1.378 * * [simplify]: iteration 6 : 4418 enodes (cost 9 ) 2.889 * * [simplify]: Extracting # 0 : cost 0 2.899 * * [simplify]: Extracting # 1 : cost 0 2.905 * * [simplify]: Extracting # 2 : cost 0 2.910 * * [simplify]: iteration done: 5000 enodes (cost 9 ) 2.910 * [simplify]: Simplified to: (+ x (* (- 1.0 x) (- 1.0 y))) 2.910 * * [progress]: iteration 1 / 4 2.910 * * * [progress]: picking best candidate 2.912 * * * * [pick]: Picked # 2.912 * * * [progress]: localizing error 2.921 * * * [progress]: generating rewritten candidates 2.921 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 2.934 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 3.000 * * * [progress]: generating series expansions 3.000 * * * * [progress]: [ 1 / 2 ] generating series at (2) 3.000 * [backup-simplify]: Simplify (+ x (* (- 1.0 x) (- 1.0 y))) into (- (+ (* x y) 1.0) (* 1.0 y)) 3.000 * [approximate]: Taking taylor expansion of (- (+ (* x y) 1.0) (* 1.0 y)) in (x y) around 0 3.000 * [taylor]: Taking taylor expansion of (- (+ (* x y) 1.0) (* 1.0 y)) in y 3.000 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in y 3.000 * [taylor]: Taking taylor expansion of (* x y) in y 3.000 * [taylor]: Taking taylor expansion of x in y 3.000 * [backup-simplify]: Simplify x into x 3.000 * [taylor]: Taking taylor expansion of y in y 3.000 * [backup-simplify]: Simplify 0 into 0 3.000 * [backup-simplify]: Simplify 1 into 1 3.000 * [taylor]: Taking taylor expansion of 1.0 in y 3.000 * [backup-simplify]: Simplify 1.0 into 1.0 3.000 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 3.000 * [taylor]: Taking taylor expansion of 1.0 in y 3.000 * [backup-simplify]: Simplify 1.0 into 1.0 3.000 * [taylor]: Taking taylor expansion of y in y 3.000 * [backup-simplify]: Simplify 0 into 0 3.000 * [backup-simplify]: Simplify 1 into 1 3.000 * [taylor]: Taking taylor expansion of (- (+ (* x y) 1.0) (* 1.0 y)) in x 3.001 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in x 3.001 * [taylor]: Taking taylor expansion of (* x y) in x 3.001 * [taylor]: Taking taylor expansion of x in x 3.001 * [backup-simplify]: Simplify 0 into 0 3.001 * [backup-simplify]: Simplify 1 into 1 3.001 * [taylor]: Taking taylor expansion of y in x 3.001 * [backup-simplify]: Simplify y into y 3.001 * [taylor]: Taking taylor expansion of 1.0 in x 3.001 * [backup-simplify]: Simplify 1.0 into 1.0 3.001 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 3.001 * [taylor]: Taking taylor expansion of 1.0 in x 3.001 * [backup-simplify]: Simplify 1.0 into 1.0 3.001 * [taylor]: Taking taylor expansion of y in x 3.001 * [backup-simplify]: Simplify y into y 3.001 * [taylor]: Taking taylor expansion of (- (+ (* x y) 1.0) (* 1.0 y)) in x 3.001 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in x 3.001 * [taylor]: Taking taylor expansion of (* x y) in x 3.001 * [taylor]: Taking taylor expansion of x in x 3.001 * [backup-simplify]: Simplify 0 into 0 3.001 * [backup-simplify]: Simplify 1 into 1 3.001 * [taylor]: Taking taylor expansion of y in x 3.001 * [backup-simplify]: Simplify y into y 3.001 * [taylor]: Taking taylor expansion of 1.0 in x 3.001 * [backup-simplify]: Simplify 1.0 into 1.0 3.001 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 3.001 * [taylor]: Taking taylor expansion of 1.0 in x 3.001 * [backup-simplify]: Simplify 1.0 into 1.0 3.001 * [taylor]: Taking taylor expansion of y in x 3.001 * [backup-simplify]: Simplify y into y 3.001 * [backup-simplify]: Simplify (* 0 y) into 0 3.002 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.002 * [backup-simplify]: Simplify (* 1.0 y) into (* 1.0 y) 3.002 * [backup-simplify]: Simplify (- (* 1.0 y)) into (- (* 1.0 y)) 3.002 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 y))) into (- 1.0 (* 1.0 y)) 3.002 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 y)) in y 3.002 * [taylor]: Taking taylor expansion of 1.0 in y 3.002 * [backup-simplify]: Simplify 1.0 into 1.0 3.002 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 3.002 * [taylor]: Taking taylor expansion of 1.0 in y 3.002 * [backup-simplify]: Simplify 1.0 into 1.0 3.002 * [taylor]: Taking taylor expansion of y in y 3.002 * [backup-simplify]: Simplify 0 into 0 3.002 * [backup-simplify]: Simplify 1 into 1 3.003 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.003 * [backup-simplify]: Simplify (- 0) into 0 3.003 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.003 * [backup-simplify]: Simplify 1.0 into 1.0 3.004 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.004 * [backup-simplify]: Simplify (+ y 0) into y 3.004 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 y)) into 0 3.005 * [backup-simplify]: Simplify (- 0) into 0 3.005 * [backup-simplify]: Simplify (+ y 0) into y 3.005 * [taylor]: Taking taylor expansion of y in y 3.005 * [backup-simplify]: Simplify 0 into 0 3.005 * [backup-simplify]: Simplify 1 into 1 3.005 * [backup-simplify]: Simplify 0 into 0 3.006 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.006 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.007 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 3.007 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.008 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 3.008 * [backup-simplify]: Simplify (+ 0 0) into 0 3.009 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 y))) into 0 3.009 * [backup-simplify]: Simplify (- 0) into 0 3.009 * [backup-simplify]: Simplify (+ 0 0) into 0 3.009 * [taylor]: Taking taylor expansion of 0 in y 3.009 * [backup-simplify]: Simplify 0 into 0 3.009 * [backup-simplify]: Simplify 0 into 0 3.010 * [backup-simplify]: Simplify 1 into 1 3.010 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (+ (* (- 1.0) (* y 1)) 1.0)) into (- (+ (* x y) 1.0) (* 1.0 y)) 3.010 * [backup-simplify]: Simplify (+ (/ 1 x) (* (- 1.0 (/ 1 x)) (- 1.0 (/ 1 y)))) into (- (+ 1.0 (/ 1 (* x y))) (* 1.0 (/ 1 y))) 3.010 * [approximate]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* x y))) (* 1.0 (/ 1 y))) in (x y) around 0 3.010 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* x y))) (* 1.0 (/ 1 y))) in y 3.010 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in y 3.010 * [taylor]: Taking taylor expansion of 1.0 in y 3.010 * [backup-simplify]: Simplify 1.0 into 1.0 3.010 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.010 * [taylor]: Taking taylor expansion of (* x y) in y 3.010 * [taylor]: Taking taylor expansion of x in y 3.010 * [backup-simplify]: Simplify x into x 3.010 * [taylor]: Taking taylor expansion of y in y 3.010 * [backup-simplify]: Simplify 0 into 0 3.010 * [backup-simplify]: Simplify 1 into 1 3.010 * [backup-simplify]: Simplify (* x 0) into 0 3.011 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.011 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.011 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 3.011 * [taylor]: Taking taylor expansion of 1.0 in y 3.011 * [backup-simplify]: Simplify 1.0 into 1.0 3.011 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.011 * [taylor]: Taking taylor expansion of y in y 3.011 * [backup-simplify]: Simplify 0 into 0 3.011 * [backup-simplify]: Simplify 1 into 1 3.011 * [backup-simplify]: Simplify (/ 1 1) into 1 3.011 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* x y))) (* 1.0 (/ 1 y))) in x 3.011 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x 3.011 * [taylor]: Taking taylor expansion of 1.0 in x 3.011 * [backup-simplify]: Simplify 1.0 into 1.0 3.011 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.011 * [taylor]: Taking taylor expansion of (* x y) in x 3.011 * [taylor]: Taking taylor expansion of x in x 3.011 * [backup-simplify]: Simplify 0 into 0 3.011 * [backup-simplify]: Simplify 1 into 1 3.011 * [taylor]: Taking taylor expansion of y in x 3.011 * [backup-simplify]: Simplify y into y 3.011 * [backup-simplify]: Simplify (* 0 y) into 0 3.012 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.012 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.012 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 3.012 * [taylor]: Taking taylor expansion of 1.0 in x 3.012 * [backup-simplify]: Simplify 1.0 into 1.0 3.012 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.012 * [taylor]: Taking taylor expansion of y in x 3.012 * [backup-simplify]: Simplify y into y 3.012 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.012 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* x y))) (* 1.0 (/ 1 y))) in x 3.012 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x 3.012 * [taylor]: Taking taylor expansion of 1.0 in x 3.012 * [backup-simplify]: Simplify 1.0 into 1.0 3.012 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.012 * [taylor]: Taking taylor expansion of (* x y) in x 3.012 * [taylor]: Taking taylor expansion of x in x 3.012 * [backup-simplify]: Simplify 0 into 0 3.012 * [backup-simplify]: Simplify 1 into 1 3.012 * [taylor]: Taking taylor expansion of y in x 3.012 * [backup-simplify]: Simplify y into y 3.012 * [backup-simplify]: Simplify (* 0 y) into 0 3.013 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.013 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.013 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 3.013 * [taylor]: Taking taylor expansion of 1.0 in x 3.013 * [backup-simplify]: Simplify 1.0 into 1.0 3.013 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.013 * [taylor]: Taking taylor expansion of y in x 3.013 * [backup-simplify]: Simplify y into y 3.013 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.013 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 3.013 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 3.013 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.013 * [taylor]: Taking taylor expansion of y in y 3.013 * [backup-simplify]: Simplify 0 into 0 3.013 * [backup-simplify]: Simplify 1 into 1 3.014 * [backup-simplify]: Simplify (/ 1 1) into 1 3.014 * [backup-simplify]: Simplify 1 into 1 3.014 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 3.014 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.015 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.015 * [backup-simplify]: Simplify (* 1.0 (/ 1 y)) into (/ 1.0 y) 3.015 * [backup-simplify]: Simplify (- (/ 1.0 y)) into (- (* 1.0 (/ 1 y))) 3.015 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 y)))) into (- 1.0 (* 1.0 (/ 1 y))) 3.015 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 y))) in y 3.015 * [taylor]: Taking taylor expansion of 1.0 in y 3.015 * [backup-simplify]: Simplify 1.0 into 1.0 3.015 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 3.015 * [taylor]: Taking taylor expansion of 1.0 in y 3.015 * [backup-simplify]: Simplify 1.0 into 1.0 3.015 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.015 * [taylor]: Taking taylor expansion of y in y 3.015 * [backup-simplify]: Simplify 0 into 0 3.015 * [backup-simplify]: Simplify 1 into 1 3.016 * [backup-simplify]: Simplify (/ 1 1) into 1 3.016 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.016 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.017 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 3.017 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.018 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.018 * [backup-simplify]: Simplify 0 into 0 3.019 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 3.019 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.020 * [backup-simplify]: Simplify (+ 0 0) into 0 3.020 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.020 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 y))) into 0 3.020 * [backup-simplify]: Simplify (- 0) into 0 3.021 * [backup-simplify]: Simplify (+ 0 0) into 0 3.021 * [taylor]: Taking taylor expansion of 0 in y 3.021 * [backup-simplify]: Simplify 0 into 0 3.021 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.022 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.022 * [backup-simplify]: Simplify (- 0) into 0 3.023 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.023 * [backup-simplify]: Simplify 1.0 into 1.0 3.023 * [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)) 3.023 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (* (- 1.0 (/ 1 (- x))) (- 1.0 (/ 1 (- y))))) into (+ 1.0 (+ (/ 1 (* x y)) (* 1.0 (/ 1 y)))) 3.024 * [approximate]: Taking taylor expansion of (+ 1.0 (+ (/ 1 (* x y)) (* 1.0 (/ 1 y)))) in (x y) around 0 3.024 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 (* x y)) (* 1.0 (/ 1 y)))) in y 3.024 * [taylor]: Taking taylor expansion of 1.0 in y 3.024 * [backup-simplify]: Simplify 1.0 into 1.0 3.024 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 y))) in y 3.024 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.024 * [taylor]: Taking taylor expansion of (* x y) in y 3.024 * [taylor]: Taking taylor expansion of x in y 3.024 * [backup-simplify]: Simplify x into x 3.024 * [taylor]: Taking taylor expansion of y in y 3.024 * [backup-simplify]: Simplify 0 into 0 3.024 * [backup-simplify]: Simplify 1 into 1 3.024 * [backup-simplify]: Simplify (* x 0) into 0 3.024 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.024 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.024 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 3.024 * [taylor]: Taking taylor expansion of 1.0 in y 3.024 * [backup-simplify]: Simplify 1.0 into 1.0 3.024 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.024 * [taylor]: Taking taylor expansion of y in y 3.024 * [backup-simplify]: Simplify 0 into 0 3.024 * [backup-simplify]: Simplify 1 into 1 3.025 * [backup-simplify]: Simplify (/ 1 1) into 1 3.025 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 (* x y)) (* 1.0 (/ 1 y)))) in x 3.025 * [taylor]: Taking taylor expansion of 1.0 in x 3.025 * [backup-simplify]: Simplify 1.0 into 1.0 3.025 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 y))) in x 3.025 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.025 * [taylor]: Taking taylor expansion of (* x y) in x 3.025 * [taylor]: Taking taylor expansion of x in x 3.025 * [backup-simplify]: Simplify 0 into 0 3.025 * [backup-simplify]: Simplify 1 into 1 3.025 * [taylor]: Taking taylor expansion of y in x 3.025 * [backup-simplify]: Simplify y into y 3.025 * [backup-simplify]: Simplify (* 0 y) into 0 3.025 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.026 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.026 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 3.026 * [taylor]: Taking taylor expansion of 1.0 in x 3.026 * [backup-simplify]: Simplify 1.0 into 1.0 3.026 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.026 * [taylor]: Taking taylor expansion of y in x 3.026 * [backup-simplify]: Simplify y into y 3.026 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.026 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 (* x y)) (* 1.0 (/ 1 y)))) in x 3.026 * [taylor]: Taking taylor expansion of 1.0 in x 3.026 * [backup-simplify]: Simplify 1.0 into 1.0 3.026 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 y))) in x 3.026 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.026 * [taylor]: Taking taylor expansion of (* x y) in x 3.026 * [taylor]: Taking taylor expansion of x in x 3.026 * [backup-simplify]: Simplify 0 into 0 3.026 * [backup-simplify]: Simplify 1 into 1 3.026 * [taylor]: Taking taylor expansion of y in x 3.026 * [backup-simplify]: Simplify y into y 3.026 * [backup-simplify]: Simplify (* 0 y) into 0 3.026 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.026 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.027 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 3.027 * [taylor]: Taking taylor expansion of 1.0 in x 3.027 * [backup-simplify]: Simplify 1.0 into 1.0 3.027 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.027 * [taylor]: Taking taylor expansion of y in x 3.027 * [backup-simplify]: Simplify y into y 3.027 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.027 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 3.027 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 3.027 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.027 * [taylor]: Taking taylor expansion of y in y 3.027 * [backup-simplify]: Simplify 0 into 0 3.027 * [backup-simplify]: Simplify 1 into 1 3.027 * [backup-simplify]: Simplify (/ 1 1) into 1 3.027 * [backup-simplify]: Simplify 1 into 1 3.028 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 3.028 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.028 * [backup-simplify]: Simplify (* 1.0 (/ 1 y)) into (/ 1.0 y) 3.028 * [backup-simplify]: Simplify (+ 0 (/ 1.0 y)) into (* 1.0 (/ 1 y)) 3.028 * [backup-simplify]: Simplify (+ 1.0 (* 1.0 (/ 1 y))) into (+ (* 1.0 (/ 1 y)) 1.0) 3.028 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) 1.0) in y 3.028 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 3.028 * [taylor]: Taking taylor expansion of 1.0 in y 3.029 * [backup-simplify]: Simplify 1.0 into 1.0 3.029 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.029 * [taylor]: Taking taylor expansion of y in y 3.029 * [backup-simplify]: Simplify 0 into 0 3.029 * [backup-simplify]: Simplify 1 into 1 3.029 * [backup-simplify]: Simplify (/ 1 1) into 1 3.029 * [taylor]: Taking taylor expansion of 1.0 in y 3.029 * [backup-simplify]: Simplify 1.0 into 1.0 3.029 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.030 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.030 * [backup-simplify]: Simplify 1.0 into 1.0 3.030 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.030 * [backup-simplify]: Simplify 0 into 0 3.031 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 3.032 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.032 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.032 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 y))) into 0 3.032 * [backup-simplify]: Simplify (+ 0 0) into 0 3.033 * [backup-simplify]: Simplify (+ 0 0) into 0 3.033 * [taylor]: Taking taylor expansion of 0 in y 3.033 * [backup-simplify]: Simplify 0 into 0 3.033 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.034 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.035 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.035 * [backup-simplify]: Simplify 1.0 into 1.0 3.035 * [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)) 3.035 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 3.035 * [backup-simplify]: Simplify (* (- 1.0 x) (- 1.0 y)) into (* (- 1.0 y) (- 1.0 x)) 3.035 * [approximate]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in (x y) around 0 3.035 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in y 3.035 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 3.035 * [taylor]: Taking taylor expansion of 1.0 in y 3.035 * [backup-simplify]: Simplify 1.0 into 1.0 3.035 * [taylor]: Taking taylor expansion of y in y 3.035 * [backup-simplify]: Simplify 0 into 0 3.035 * [backup-simplify]: Simplify 1 into 1 3.035 * [taylor]: Taking taylor expansion of (- 1.0 x) in y 3.035 * [taylor]: Taking taylor expansion of 1.0 in y 3.035 * [backup-simplify]: Simplify 1.0 into 1.0 3.035 * [taylor]: Taking taylor expansion of x in y 3.036 * [backup-simplify]: Simplify x into x 3.036 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in x 3.036 * [taylor]: Taking taylor expansion of (- 1.0 y) in x 3.036 * [taylor]: Taking taylor expansion of 1.0 in x 3.036 * [backup-simplify]: Simplify 1.0 into 1.0 3.036 * [taylor]: Taking taylor expansion of y in x 3.036 * [backup-simplify]: Simplify y into y 3.036 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 3.036 * [taylor]: Taking taylor expansion of 1.0 in x 3.036 * [backup-simplify]: Simplify 1.0 into 1.0 3.036 * [taylor]: Taking taylor expansion of x in x 3.036 * [backup-simplify]: Simplify 0 into 0 3.036 * [backup-simplify]: Simplify 1 into 1 3.036 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in x 3.036 * [taylor]: Taking taylor expansion of (- 1.0 y) in x 3.036 * [taylor]: Taking taylor expansion of 1.0 in x 3.036 * [backup-simplify]: Simplify 1.0 into 1.0 3.036 * [taylor]: Taking taylor expansion of y in x 3.036 * [backup-simplify]: Simplify y into y 3.036 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 3.036 * [taylor]: Taking taylor expansion of 1.0 in x 3.036 * [backup-simplify]: Simplify 1.0 into 1.0 3.036 * [taylor]: Taking taylor expansion of x in x 3.036 * [backup-simplify]: Simplify 0 into 0 3.036 * [backup-simplify]: Simplify 1 into 1 3.036 * [backup-simplify]: Simplify (- y) into (- y) 3.036 * [backup-simplify]: Simplify (+ 1.0 (- y)) into (- 1.0 y) 3.037 * [backup-simplify]: Simplify (- 0) into 0 3.037 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.037 * [backup-simplify]: Simplify (* (- 1.0 y) 1.0) into (* 1.0 (- 1.0 y)) 3.037 * [taylor]: Taking taylor expansion of (* 1.0 (- 1.0 y)) in y 3.037 * [taylor]: Taking taylor expansion of 1.0 in y 3.037 * [backup-simplify]: Simplify 1.0 into 1.0 3.037 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 3.037 * [taylor]: Taking taylor expansion of 1.0 in y 3.037 * [backup-simplify]: Simplify 1.0 into 1.0 3.037 * [taylor]: Taking taylor expansion of y in y 3.037 * [backup-simplify]: Simplify 0 into 0 3.037 * [backup-simplify]: Simplify 1 into 1 3.038 * [backup-simplify]: Simplify (- 0) into 0 3.038 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.038 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0 3.038 * [backup-simplify]: Simplify 1.0 into 1.0 3.039 * [backup-simplify]: Simplify (- 1) into -1 3.039 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.039 * [backup-simplify]: Simplify (- 0) into 0 3.040 * [backup-simplify]: Simplify (+ 0 0) into 0 3.040 * [backup-simplify]: Simplify (+ (* (- 1.0 y) -1) (* 0 1.0)) into (- y 1.0) 3.040 * [taylor]: Taking taylor expansion of (- y 1.0) in y 3.040 * [taylor]: Taking taylor expansion of y in y 3.040 * [backup-simplify]: Simplify 0 into 0 3.040 * [backup-simplify]: Simplify 1 into 1 3.040 * [taylor]: Taking taylor expansion of 1.0 in y 3.040 * [backup-simplify]: Simplify 1.0 into 1.0 3.040 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.041 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 3.041 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.042 * [backup-simplify]: Simplify (- 1) into -1 3.042 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.043 * [backup-simplify]: Simplify (+ (* 1.0 -1) (* 0 1.0)) into (- 1.0) 3.044 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.044 * [backup-simplify]: Simplify (+ (* (- 1.0) (* y 1)) (+ (* (- 1.0) (* 1 x)) 1.0)) into (- 1.0 (+ (* 1.0 x) (* 1.0 y))) 3.045 * [backup-simplify]: Simplify (* (- 1.0 (/ 1 x)) (- 1.0 (/ 1 y))) into (* (- 1.0 (/ 1 x)) (- 1.0 (/ 1 y))) 3.045 * [approximate]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- 1.0 (/ 1 y))) in (x y) around 0 3.045 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- 1.0 (/ 1 y))) in y 3.045 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 3.045 * [taylor]: Taking taylor expansion of 1.0 in y 3.045 * [backup-simplify]: Simplify 1.0 into 1.0 3.045 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.045 * [taylor]: Taking taylor expansion of x in y 3.045 * [backup-simplify]: Simplify x into x 3.045 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.045 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 3.045 * [taylor]: Taking taylor expansion of 1.0 in y 3.045 * [backup-simplify]: Simplify 1.0 into 1.0 3.045 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.045 * [taylor]: Taking taylor expansion of y in y 3.045 * [backup-simplify]: Simplify 0 into 0 3.045 * [backup-simplify]: Simplify 1 into 1 3.045 * [backup-simplify]: Simplify (/ 1 1) into 1 3.045 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- 1.0 (/ 1 y))) in x 3.045 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 3.045 * [taylor]: Taking taylor expansion of 1.0 in x 3.045 * [backup-simplify]: Simplify 1.0 into 1.0 3.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.046 * [taylor]: Taking taylor expansion of x in x 3.046 * [backup-simplify]: Simplify 0 into 0 3.046 * [backup-simplify]: Simplify 1 into 1 3.046 * [backup-simplify]: Simplify (/ 1 1) into 1 3.046 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 3.046 * [taylor]: Taking taylor expansion of 1.0 in x 3.046 * [backup-simplify]: Simplify 1.0 into 1.0 3.046 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.046 * [taylor]: Taking taylor expansion of y in x 3.046 * [backup-simplify]: Simplify y into y 3.046 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.046 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- 1.0 (/ 1 y))) in x 3.046 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 3.046 * [taylor]: Taking taylor expansion of 1.0 in x 3.046 * [backup-simplify]: Simplify 1.0 into 1.0 3.046 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.046 * [taylor]: Taking taylor expansion of x in x 3.046 * [backup-simplify]: Simplify 0 into 0 3.046 * [backup-simplify]: Simplify 1 into 1 3.047 * [backup-simplify]: Simplify (/ 1 1) into 1 3.047 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 3.047 * [taylor]: Taking taylor expansion of 1.0 in x 3.047 * [backup-simplify]: Simplify 1.0 into 1.0 3.047 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.047 * [taylor]: Taking taylor expansion of y in x 3.047 * [backup-simplify]: Simplify y into y 3.047 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.047 * [backup-simplify]: Simplify (- 1) into -1 3.048 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.048 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 3.048 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y)) 3.048 * [backup-simplify]: Simplify (* -1 (- 1.0 (/ 1 y))) into (* -1 (- 1.0 (/ 1 y))) 3.048 * [taylor]: Taking taylor expansion of (* -1 (- 1.0 (/ 1 y))) in y 3.048 * [taylor]: Taking taylor expansion of -1 in y 3.048 * [backup-simplify]: Simplify -1 into -1 3.048 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 3.048 * [taylor]: Taking taylor expansion of 1.0 in y 3.048 * [backup-simplify]: Simplify 1.0 into 1.0 3.048 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.048 * [taylor]: Taking taylor expansion of y in y 3.048 * [backup-simplify]: Simplify 0 into 0 3.048 * [backup-simplify]: Simplify 1 into 1 3.048 * [backup-simplify]: Simplify (/ 1 1) into 1 3.049 * [backup-simplify]: Simplify (- 1) into -1 3.049 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.049 * [backup-simplify]: Simplify (* -1 -1) into 1 3.049 * [backup-simplify]: Simplify 1 into 1 3.050 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.050 * [backup-simplify]: Simplify (- 0) into 0 3.050 * [backup-simplify]: Simplify (+ 0 0) into 0 3.051 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.051 * [backup-simplify]: Simplify (- 0) into 0 3.051 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.052 * [backup-simplify]: Simplify (+ (* -1 0) (* 1.0 (- 1.0 (/ 1 y)))) into (- 1.0 (* 1.0 (/ 1 y))) 3.052 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 y))) in y 3.052 * [taylor]: Taking taylor expansion of 1.0 in y 3.052 * [backup-simplify]: Simplify 1.0 into 1.0 3.052 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 3.052 * [taylor]: Taking taylor expansion of 1.0 in y 3.052 * [backup-simplify]: Simplify 1.0 into 1.0 3.052 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.052 * [taylor]: Taking taylor expansion of y in y 3.052 * [backup-simplify]: Simplify 0 into 0 3.052 * [backup-simplify]: Simplify 1 into 1 3.052 * [backup-simplify]: Simplify (/ 1 1) into 1 3.053 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.053 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.054 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 3.054 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.055 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.055 * [backup-simplify]: Simplify (- 0) into 0 3.055 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.057 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 0 -1)) into (- 1.0) 3.057 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.058 * [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))) 3.058 * [backup-simplify]: Simplify (* (- 1.0 (/ 1 (- x))) (- 1.0 (/ 1 (- y)))) into (* (+ (/ 1 x) 1.0) (+ (/ 1 y) 1.0)) 3.058 * [approximate]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (+ (/ 1 y) 1.0)) in (x y) around 0 3.058 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (+ (/ 1 y) 1.0)) in y 3.058 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 3.058 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.058 * [taylor]: Taking taylor expansion of x in y 3.058 * [backup-simplify]: Simplify x into x 3.058 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.058 * [taylor]: Taking taylor expansion of 1.0 in y 3.058 * [backup-simplify]: Simplify 1.0 into 1.0 3.058 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 3.058 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.058 * [taylor]: Taking taylor expansion of y in y 3.058 * [backup-simplify]: Simplify 0 into 0 3.059 * [backup-simplify]: Simplify 1 into 1 3.059 * [backup-simplify]: Simplify (/ 1 1) into 1 3.059 * [taylor]: Taking taylor expansion of 1.0 in y 3.059 * [backup-simplify]: Simplify 1.0 into 1.0 3.059 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (+ (/ 1 y) 1.0)) in x 3.059 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 3.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.059 * [taylor]: Taking taylor expansion of x in x 3.059 * [backup-simplify]: Simplify 0 into 0 3.059 * [backup-simplify]: Simplify 1 into 1 3.059 * [backup-simplify]: Simplify (/ 1 1) into 1 3.059 * [taylor]: Taking taylor expansion of 1.0 in x 3.059 * [backup-simplify]: Simplify 1.0 into 1.0 3.059 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 3.059 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.060 * [taylor]: Taking taylor expansion of y in x 3.060 * [backup-simplify]: Simplify y into y 3.060 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.060 * [taylor]: Taking taylor expansion of 1.0 in x 3.060 * [backup-simplify]: Simplify 1.0 into 1.0 3.060 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (+ (/ 1 y) 1.0)) in x 3.060 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 3.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.060 * [taylor]: Taking taylor expansion of x in x 3.060 * [backup-simplify]: Simplify 0 into 0 3.060 * [backup-simplify]: Simplify 1 into 1 3.060 * [backup-simplify]: Simplify (/ 1 1) into 1 3.060 * [taylor]: Taking taylor expansion of 1.0 in x 3.060 * [backup-simplify]: Simplify 1.0 into 1.0 3.060 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 3.060 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.060 * [taylor]: Taking taylor expansion of y in x 3.060 * [backup-simplify]: Simplify y into y 3.060 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.060 * [taylor]: Taking taylor expansion of 1.0 in x 3.060 * [backup-simplify]: Simplify 1.0 into 1.0 3.061 * [backup-simplify]: Simplify (+ 1 0) into 1 3.061 * [backup-simplify]: Simplify (+ (/ 1 y) 1.0) into (+ (/ 1 y) 1.0) 3.061 * [backup-simplify]: Simplify (* 1 (+ (/ 1 y) 1.0)) into (+ (/ 1 y) 1.0) 3.061 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 3.061 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.061 * [taylor]: Taking taylor expansion of y in y 3.061 * [backup-simplify]: Simplify 0 into 0 3.061 * [backup-simplify]: Simplify 1 into 1 3.061 * [backup-simplify]: Simplify (/ 1 1) into 1 3.062 * [taylor]: Taking taylor expansion of 1.0 in y 3.062 * [backup-simplify]: Simplify 1.0 into 1.0 3.062 * [backup-simplify]: Simplify (+ 1 0) into 1 3.062 * [backup-simplify]: Simplify 1 into 1 3.062 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.062 * [backup-simplify]: Simplify (+ 0 0) into 0 3.063 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.063 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.064 * [backup-simplify]: Simplify (+ (* 1 0) (* 1.0 (+ (/ 1 y) 1.0))) into (+ (* 1.0 (/ 1 y)) 1.0) 3.064 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) 1.0) in y 3.064 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 3.064 * [taylor]: Taking taylor expansion of 1.0 in y 3.064 * [backup-simplify]: Simplify 1.0 into 1.0 3.064 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.064 * [taylor]: Taking taylor expansion of y in y 3.064 * [backup-simplify]: Simplify 0 into 0 3.064 * [backup-simplify]: Simplify 1 into 1 3.068 * [backup-simplify]: Simplify (/ 1 1) into 1 3.068 * [taylor]: Taking taylor expansion of 1.0 in y 3.068 * [backup-simplify]: Simplify 1.0 into 1.0 3.068 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.069 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.069 * [backup-simplify]: Simplify 1.0 into 1.0 3.069 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.070 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.070 * [backup-simplify]: Simplify 1.0 into 1.0 3.070 * [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))) 3.070 * * * [progress]: simplifying candidates 3.072 * [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))) 3.073 * * [simplify]: Extracting # 0 : cost 0 3.073 * * [simplify]: Extracting # 1 : cost 0 3.074 * * [simplify]: Extracting # 2 : cost 0 3.074 * * [simplify]: Extracting # 3 : cost 0 3.074 * * [simplify]: Extracting # 4 : cost 0 3.074 * * [simplify]: Extracting # 5 : cost 0 3.074 * * [simplify]: iteration 0 : 101 enodes (cost 691 ) 3.107 * * [simplify]: Extracting # 0 : cost 0 3.107 * * [simplify]: Extracting # 1 : cost 0 3.108 * * [simplify]: Extracting # 2 : cost 0 3.108 * * [simplify]: Extracting # 3 : cost 0 3.109 * * [simplify]: Extracting # 4 : cost 0 3.109 * * [simplify]: iteration 1 : 285 enodes (cost 649 ) 3.235 * * [simplify]: Extracting # 0 : cost 0 3.237 * * [simplify]: Extracting # 1 : cost 0 3.240 * * [simplify]: Extracting # 2 : cost 0 3.242 * * [simplify]: Extracting # 3 : cost 0 3.244 * * [simplify]: Extracting # 4 : cost 0 3.247 * * [simplify]: Extracting # 5 : cost 0 3.249 * * [simplify]: iteration 2 : 1249 enodes (cost 617 ) 3.744 * * [simplify]: Extracting # 0 : cost 0 3.755 * * [simplify]: Extracting # 1 : cost 0 3.767 * * [simplify]: Extracting # 2 : cost 0 3.778 * * [simplify]: Extracting # 3 : cost 0 3.797 * * [simplify]: Extracting # 4 : cost 0 3.808 * * [simplify]: iteration done: 5002 enodes (cost 617 ) 3.809 * [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))) 3.810 * * * [progress]: adding candidates to table 3.946 * * [progress]: iteration 2 / 4 3.946 * * * [progress]: picking best candidate 3.947 * * * * [pick]: Picked # 3.948 * * * [progress]: localizing error 3.954 * * * [progress]: generating rewritten candidates 3.954 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 3.962 * * * [progress]: generating series expansions 3.962 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 3.963 * [backup-simplify]: Simplify (+ (* x y) 1.0) into (+ (* x y) 1.0) 3.963 * [approximate]: Taking taylor expansion of (+ (* x y) 1.0) in (x y) around 0 3.963 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in y 3.963 * [taylor]: Taking taylor expansion of (* x y) in y 3.963 * [taylor]: Taking taylor expansion of x in y 3.963 * [backup-simplify]: Simplify x into x 3.963 * [taylor]: Taking taylor expansion of y in y 3.963 * [backup-simplify]: Simplify 0 into 0 3.963 * [backup-simplify]: Simplify 1 into 1 3.963 * [taylor]: Taking taylor expansion of 1.0 in y 3.963 * [backup-simplify]: Simplify 1.0 into 1.0 3.963 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in x 3.963 * [taylor]: Taking taylor expansion of (* x y) in x 3.963 * [taylor]: Taking taylor expansion of x in x 3.963 * [backup-simplify]: Simplify 0 into 0 3.963 * [backup-simplify]: Simplify 1 into 1 3.963 * [taylor]: Taking taylor expansion of y in x 3.963 * [backup-simplify]: Simplify y into y 3.963 * [taylor]: Taking taylor expansion of 1.0 in x 3.963 * [backup-simplify]: Simplify 1.0 into 1.0 3.963 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in x 3.963 * [taylor]: Taking taylor expansion of (* x y) in x 3.963 * [taylor]: Taking taylor expansion of x in x 3.963 * [backup-simplify]: Simplify 0 into 0 3.963 * [backup-simplify]: Simplify 1 into 1 3.963 * [taylor]: Taking taylor expansion of y in x 3.963 * [backup-simplify]: Simplify y into y 3.963 * [taylor]: Taking taylor expansion of 1.0 in x 3.963 * [backup-simplify]: Simplify 1.0 into 1.0 3.963 * [backup-simplify]: Simplify (* 0 y) into 0 3.964 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.964 * [taylor]: Taking taylor expansion of 1.0 in y 3.964 * [backup-simplify]: Simplify 1.0 into 1.0 3.964 * [backup-simplify]: Simplify 1.0 into 1.0 3.964 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.964 * [backup-simplify]: Simplify (+ y 0) into y 3.964 * [taylor]: Taking taylor expansion of y in y 3.964 * [backup-simplify]: Simplify 0 into 0 3.964 * [backup-simplify]: Simplify 1 into 1 3.964 * [backup-simplify]: Simplify 0 into 0 3.964 * [backup-simplify]: Simplify 0 into 0 3.965 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 3.965 * [backup-simplify]: Simplify (+ 0 0) into 0 3.965 * [taylor]: Taking taylor expansion of 0 in y 3.965 * [backup-simplify]: Simplify 0 into 0 3.965 * [backup-simplify]: Simplify 0 into 0 3.965 * [backup-simplify]: Simplify 1 into 1 3.965 * [backup-simplify]: Simplify 0 into 0 3.966 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 3.966 * [backup-simplify]: Simplify (+ 0 0) into 0 3.967 * [taylor]: Taking taylor expansion of 0 in y 3.967 * [backup-simplify]: Simplify 0 into 0 3.967 * [backup-simplify]: Simplify 0 into 0 3.967 * [backup-simplify]: Simplify 0 into 0 3.967 * [backup-simplify]: Simplify 0 into 0 3.967 * [backup-simplify]: Simplify 0 into 0 3.968 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 3.968 * [backup-simplify]: Simplify (+ 0 0) into 0 3.968 * [taylor]: Taking taylor expansion of 0 in y 3.968 * [backup-simplify]: Simplify 0 into 0 3.968 * [backup-simplify]: Simplify 0 into 0 3.968 * [backup-simplify]: Simplify (+ (* 1 (* y x)) 1.0) into (+ (* x y) 1.0) 3.968 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 y)) 1.0) into (+ 1.0 (/ 1 (* x y))) 3.968 * [approximate]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in (x y) around 0 3.968 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in y 3.968 * [taylor]: Taking taylor expansion of 1.0 in y 3.968 * [backup-simplify]: Simplify 1.0 into 1.0 3.968 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.968 * [taylor]: Taking taylor expansion of (* x y) in y 3.968 * [taylor]: Taking taylor expansion of x in y 3.968 * [backup-simplify]: Simplify x into x 3.968 * [taylor]: Taking taylor expansion of y in y 3.968 * [backup-simplify]: Simplify 0 into 0 3.968 * [backup-simplify]: Simplify 1 into 1 3.968 * [backup-simplify]: Simplify (* x 0) into 0 3.969 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.969 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.969 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x 3.969 * [taylor]: Taking taylor expansion of 1.0 in x 3.969 * [backup-simplify]: Simplify 1.0 into 1.0 3.969 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.969 * [taylor]: Taking taylor expansion of (* x y) in x 3.969 * [taylor]: Taking taylor expansion of x in x 3.969 * [backup-simplify]: Simplify 0 into 0 3.969 * [backup-simplify]: Simplify 1 into 1 3.969 * [taylor]: Taking taylor expansion of y in x 3.969 * [backup-simplify]: Simplify y into y 3.969 * [backup-simplify]: Simplify (* 0 y) into 0 3.969 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.969 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.969 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x 3.969 * [taylor]: Taking taylor expansion of 1.0 in x 3.969 * [backup-simplify]: Simplify 1.0 into 1.0 3.969 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.969 * [taylor]: Taking taylor expansion of (* x y) in x 3.969 * [taylor]: Taking taylor expansion of x in x 3.969 * [backup-simplify]: Simplify 0 into 0 3.969 * [backup-simplify]: Simplify 1 into 1 3.969 * [taylor]: Taking taylor expansion of y in x 3.969 * [backup-simplify]: Simplify y into y 3.969 * [backup-simplify]: Simplify (* 0 y) into 0 3.970 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.970 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.970 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 3.970 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.970 * [taylor]: Taking taylor expansion of y in y 3.970 * [backup-simplify]: Simplify 0 into 0 3.970 * [backup-simplify]: Simplify 1 into 1 3.970 * [backup-simplify]: Simplify (/ 1 1) into 1 3.970 * [backup-simplify]: Simplify 1 into 1 3.971 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 3.971 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.971 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.971 * [taylor]: Taking taylor expansion of 1.0 in y 3.971 * [backup-simplify]: Simplify 1.0 into 1.0 3.971 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.971 * [backup-simplify]: Simplify 0 into 0 3.972 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 3.972 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.972 * [backup-simplify]: Simplify (+ 0 0) into 0 3.972 * [taylor]: Taking taylor expansion of 0 in y 3.973 * [backup-simplify]: Simplify 0 into 0 3.973 * [backup-simplify]: Simplify 1.0 into 1.0 3.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.973 * [backup-simplify]: Simplify 0 into 0 3.974 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 3.974 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.974 * [backup-simplify]: Simplify (+ 0 0) into 0 3.974 * [taylor]: Taking taylor expansion of 0 in y 3.974 * [backup-simplify]: Simplify 0 into 0 3.974 * [backup-simplify]: Simplify 0 into 0 3.974 * [backup-simplify]: Simplify 0 into 0 3.975 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.975 * [backup-simplify]: Simplify 0 into 0 3.976 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 3.976 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.976 * [backup-simplify]: Simplify (+ 0 0) into 0 3.977 * [taylor]: Taking taylor expansion of 0 in y 3.977 * [backup-simplify]: Simplify 0 into 0 3.977 * [backup-simplify]: Simplify 0 into 0 3.977 * [backup-simplify]: Simplify 0 into 0 3.977 * [backup-simplify]: Simplify (+ 1.0 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ (* x y) 1.0) 3.977 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- y))) 1.0) into (+ 1.0 (/ 1 (* x y))) 3.977 * [approximate]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in (x y) around 0 3.977 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in y 3.977 * [taylor]: Taking taylor expansion of 1.0 in y 3.977 * [backup-simplify]: Simplify 1.0 into 1.0 3.977 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.977 * [taylor]: Taking taylor expansion of (* x y) in y 3.977 * [taylor]: Taking taylor expansion of x in y 3.977 * [backup-simplify]: Simplify x into x 3.977 * [taylor]: Taking taylor expansion of y in y 3.977 * [backup-simplify]: Simplify 0 into 0 3.977 * [backup-simplify]: Simplify 1 into 1 3.977 * [backup-simplify]: Simplify (* x 0) into 0 3.977 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.977 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.977 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x 3.977 * [taylor]: Taking taylor expansion of 1.0 in x 3.977 * [backup-simplify]: Simplify 1.0 into 1.0 3.978 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.978 * [taylor]: Taking taylor expansion of (* x y) in x 3.978 * [taylor]: Taking taylor expansion of x in x 3.978 * [backup-simplify]: Simplify 0 into 0 3.978 * [backup-simplify]: Simplify 1 into 1 3.978 * [taylor]: Taking taylor expansion of y in x 3.978 * [backup-simplify]: Simplify y into y 3.978 * [backup-simplify]: Simplify (* 0 y) into 0 3.978 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.978 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.978 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x 3.978 * [taylor]: Taking taylor expansion of 1.0 in x 3.978 * [backup-simplify]: Simplify 1.0 into 1.0 3.978 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.978 * [taylor]: Taking taylor expansion of (* x y) in x 3.978 * [taylor]: Taking taylor expansion of x in x 3.978 * [backup-simplify]: Simplify 0 into 0 3.978 * [backup-simplify]: Simplify 1 into 1 3.978 * [taylor]: Taking taylor expansion of y in x 3.978 * [backup-simplify]: Simplify y into y 3.978 * [backup-simplify]: Simplify (* 0 y) into 0 3.978 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.978 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.979 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 3.979 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.979 * [taylor]: Taking taylor expansion of y in y 3.979 * [backup-simplify]: Simplify 0 into 0 3.979 * [backup-simplify]: Simplify 1 into 1 3.979 * [backup-simplify]: Simplify (/ 1 1) into 1 3.979 * [backup-simplify]: Simplify 1 into 1 3.979 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 3.980 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.980 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.980 * [taylor]: Taking taylor expansion of 1.0 in y 3.980 * [backup-simplify]: Simplify 1.0 into 1.0 3.980 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.980 * [backup-simplify]: Simplify 0 into 0 3.981 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 3.981 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.981 * [backup-simplify]: Simplify (+ 0 0) into 0 3.981 * [taylor]: Taking taylor expansion of 0 in y 3.981 * [backup-simplify]: Simplify 0 into 0 3.981 * [backup-simplify]: Simplify 1.0 into 1.0 3.982 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.982 * [backup-simplify]: Simplify 0 into 0 3.983 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 3.983 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.983 * [backup-simplify]: Simplify (+ 0 0) into 0 3.983 * [taylor]: Taking taylor expansion of 0 in y 3.983 * [backup-simplify]: Simplify 0 into 0 3.983 * [backup-simplify]: Simplify 0 into 0 3.983 * [backup-simplify]: Simplify 0 into 0 3.984 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.984 * [backup-simplify]: Simplify 0 into 0 3.985 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 3.985 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.985 * [backup-simplify]: Simplify (+ 0 0) into 0 3.985 * [taylor]: Taking taylor expansion of 0 in y 3.985 * [backup-simplify]: Simplify 0 into 0 3.985 * [backup-simplify]: Simplify 0 into 0 3.985 * [backup-simplify]: Simplify 0 into 0 3.986 * [backup-simplify]: Simplify (+ 1.0 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ (* x y) 1.0) 3.986 * * * [progress]: simplifying candidates 3.986 * [simplify]: Simplifying: (* (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) (+ (* x y) 1.0) (+ (* x y) 1.0) 3.986 * * [simplify]: Extracting # 0 : cost 0 3.986 * * [simplify]: Extracting # 1 : cost 0 3.986 * * [simplify]: Extracting # 2 : cost 0 3.986 * * [simplify]: Extracting # 3 : cost 0 3.986 * * [simplify]: Extracting # 4 : cost 0 3.986 * * [simplify]: Extracting # 5 : cost 0 3.986 * * [simplify]: Extracting # 6 : cost 0 3.987 * * [simplify]: iteration 0 : 26 enodes (cost 124 ) 3.993 * * [simplify]: Extracting # 0 : cost 0 3.993 * * [simplify]: Extracting # 1 : cost 0 3.993 * * [simplify]: Extracting # 2 : cost 0 3.993 * * [simplify]: Extracting # 3 : cost 0 3.993 * * [simplify]: Extracting # 4 : cost 0 3.993 * * [simplify]: iteration 1 : 81 enodes (cost 121 ) 4.019 * * [simplify]: Extracting # 0 : cost 0 4.019 * * [simplify]: Extracting # 1 : cost 0 4.020 * * [simplify]: Extracting # 2 : cost 0 4.020 * * [simplify]: Extracting # 3 : cost 0 4.020 * * [simplify]: Extracting # 4 : cost 0 4.020 * * [simplify]: Extracting # 5 : cost 0 4.021 * * [simplify]: iteration 2 : 233 enodes (cost 111 ) 4.125 * * [simplify]: Extracting # 0 : cost 0 4.126 * * [simplify]: Extracting # 1 : cost 0 4.127 * * [simplify]: Extracting # 2 : cost 0 4.128 * * [simplify]: Extracting # 3 : cost 0 4.129 * * [simplify]: Extracting # 4 : cost 0 4.129 * * [simplify]: iteration 3 : 677 enodes (cost 109 ) 4.627 * * [simplify]: Extracting # 0 : cost 0 4.630 * * [simplify]: Extracting # 1 : cost 0 4.633 * * [simplify]: Extracting # 2 : cost 0 4.635 * * [simplify]: Extracting # 3 : cost 0 4.643 * * [simplify]: Extracting # 4 : cost 0 4.645 * * [simplify]: iteration 4 : 2031 enodes (cost 109 ) 5.676 * * [simplify]: Extracting # 0 : cost 0 5.684 * * [simplify]: Extracting # 1 : cost 0 5.691 * * [simplify]: Extracting # 2 : cost 0 5.698 * * [simplify]: Extracting # 3 : cost 0 5.704 * * [simplify]: Extracting # 4 : cost 0 5.711 * * [simplify]: iteration done: 5001 enodes (cost 109 ) 5.711 * [simplify]: Simplified to: (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)) (- (* 1.0 1.0) (* (* x y) (- 1.0 (* x y)))) (- (* (* x y) (* x y)) (* 1.0 1.0)) (- (* x y) 1.0) (+ (* x y) 1.0) (+ (* x y) 1.0) (+ (* x y) 1.0) 5.712 * * * [progress]: adding candidates to table 5.751 * * [progress]: iteration 3 / 4 5.751 * * * [progress]: picking best candidate 5.753 * * * * [pick]: Picked # 5.753 * * * [progress]: localizing error 5.765 * * * [progress]: generating rewritten candidates 5.765 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 5.881 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 1) 5.912 * * * [progress]: generating series expansions 5.913 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 5.913 * [backup-simplify]: Simplify (/ (- (* (* x y) (* x y)) (* 1.0 1.0)) (- (* x y) 1.0)) into (/ (- (* (pow x 2) (pow y 2)) 1.0) (- (* x y) 1.0)) 5.913 * [approximate]: Taking taylor expansion of (/ (- (* (pow x 2) (pow y 2)) 1.0) (- (* x y) 1.0)) in (x y) around 0 5.913 * [taylor]: Taking taylor expansion of (/ (- (* (pow x 2) (pow y 2)) 1.0) (- (* x y) 1.0)) in y 5.913 * [taylor]: Taking taylor expansion of (- (* (pow x 2) (pow y 2)) 1.0) in y 5.913 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 5.913 * [taylor]: Taking taylor expansion of (pow x 2) in y 5.913 * [taylor]: Taking taylor expansion of x in y 5.913 * [backup-simplify]: Simplify x into x 5.913 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.913 * [taylor]: Taking taylor expansion of y in y 5.913 * [backup-simplify]: Simplify 0 into 0 5.914 * [backup-simplify]: Simplify 1 into 1 5.914 * [taylor]: Taking taylor expansion of 1.0 in y 5.914 * [backup-simplify]: Simplify 1.0 into 1.0 5.914 * [taylor]: Taking taylor expansion of (- (* x y) 1.0) in y 5.914 * [taylor]: Taking taylor expansion of (* x y) in y 5.914 * [taylor]: Taking taylor expansion of x in y 5.914 * [backup-simplify]: Simplify x into x 5.914 * [taylor]: Taking taylor expansion of y in y 5.914 * [backup-simplify]: Simplify 0 into 0 5.914 * [backup-simplify]: Simplify 1 into 1 5.914 * [taylor]: Taking taylor expansion of 1.0 in y 5.914 * [backup-simplify]: Simplify 1.0 into 1.0 5.914 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.915 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.915 * [backup-simplify]: Simplify (* x 0) into 0 5.915 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.915 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.916 * [backup-simplify]: Simplify (/ (- 1.0) (- 1.0)) into 1.0 5.916 * [taylor]: Taking taylor expansion of (/ (- (* (pow x 2) (pow y 2)) 1.0) (- (* x y) 1.0)) in x 5.916 * [taylor]: Taking taylor expansion of (- (* (pow x 2) (pow y 2)) 1.0) in x 5.916 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 5.916 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.916 * [taylor]: Taking taylor expansion of x in x 5.916 * [backup-simplify]: Simplify 0 into 0 5.916 * [backup-simplify]: Simplify 1 into 1 5.916 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.916 * [taylor]: Taking taylor expansion of y in x 5.916 * [backup-simplify]: Simplify y into y 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 (- (* x y) 1.0) in x 5.916 * [taylor]: Taking taylor expansion of (* x y) in x 5.916 * [taylor]: Taking taylor expansion of x in x 5.916 * [backup-simplify]: Simplify 0 into 0 5.916 * [backup-simplify]: Simplify 1 into 1 5.916 * [taylor]: Taking taylor expansion of y in x 5.916 * [backup-simplify]: Simplify y into y 5.916 * [taylor]: Taking taylor expansion of 1.0 in x 5.916 * [backup-simplify]: Simplify 1.0 into 1.0 5.917 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.917 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.917 * [backup-simplify]: Simplify (* 0 y) into 0 5.917 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.918 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.919 * [backup-simplify]: Simplify (/ (- 1.0) (- 1.0)) into 1.0 5.919 * [taylor]: Taking taylor expansion of (/ (- (* (pow x 2) (pow y 2)) 1.0) (- (* x y) 1.0)) in x 5.919 * [taylor]: Taking taylor expansion of (- (* (pow x 2) (pow y 2)) 1.0) in x 5.919 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 5.919 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.919 * [taylor]: Taking taylor expansion of x in x 5.919 * [backup-simplify]: Simplify 0 into 0 5.919 * [backup-simplify]: Simplify 1 into 1 5.919 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.919 * [taylor]: Taking taylor expansion of y in x 5.919 * [backup-simplify]: Simplify y into y 5.919 * [taylor]: Taking taylor expansion of 1.0 in x 5.919 * [backup-simplify]: Simplify 1.0 into 1.0 5.919 * [taylor]: Taking taylor expansion of (- (* x y) 1.0) in x 5.919 * [taylor]: Taking taylor expansion of (* x y) in x 5.919 * [taylor]: Taking taylor expansion of x in x 5.919 * [backup-simplify]: Simplify 0 into 0 5.919 * [backup-simplify]: Simplify 1 into 1 5.919 * [taylor]: Taking taylor expansion of y in x 5.919 * [backup-simplify]: Simplify y into y 5.919 * [taylor]: Taking taylor expansion of 1.0 in x 5.919 * [backup-simplify]: Simplify 1.0 into 1.0 5.919 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.920 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.920 * [backup-simplify]: Simplify (* 0 y) into 0 5.920 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.921 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.921 * [backup-simplify]: Simplify (/ (- 1.0) (- 1.0)) into 1.0 5.921 * [taylor]: Taking taylor expansion of 1.0 in y 5.921 * [backup-simplify]: Simplify 1.0 into 1.0 5.921 * [backup-simplify]: Simplify 1.0 into 1.0 5.922 * [backup-simplify]: Simplify (- 0) into 0 5.922 * [backup-simplify]: Simplify (+ 0 0) into 0 5.922 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.922 * [backup-simplify]: Simplify (- 0) into 0 5.922 * [backup-simplify]: Simplify (+ y 0) into y 5.923 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* 1.0 (/ y (- 1.0))))) into (* 1.0 y) 5.923 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 5.923 * [taylor]: Taking taylor expansion of 1.0 in y 5.923 * [backup-simplify]: Simplify 1.0 into 1.0 5.923 * [taylor]: Taking taylor expansion of y in y 5.923 * [backup-simplify]: Simplify 0 into 0 5.923 * [backup-simplify]: Simplify 1 into 1 5.923 * [backup-simplify]: Simplify (* 1.0 0) into 0 5.923 * [backup-simplify]: Simplify 0 into 0 5.923 * [backup-simplify]: Simplify 0 into 0 5.924 * [backup-simplify]: Simplify (* 1 1) into 1 5.924 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.924 * [backup-simplify]: Simplify (* 1 (pow y 2)) into (pow y 2) 5.924 * [backup-simplify]: Simplify (- 0) into 0 5.924 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2) 5.925 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.925 * [backup-simplify]: Simplify (- 0) into 0 5.925 * [backup-simplify]: Simplify (+ 0 0) into 0 5.926 * [backup-simplify]: Simplify (- (/ (pow y 2) (- 1.0)) (+ (* 1.0 (/ 0 (- 1.0))) (* (* 1.0 y) (/ y (- 1.0))))) into 0 5.926 * [taylor]: Taking taylor expansion of 0 in y 5.926 * [backup-simplify]: Simplify 0 into 0 5.926 * [backup-simplify]: Simplify 0 into 0 5.927 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 5.927 * [backup-simplify]: Simplify 1.0 into 1.0 5.927 * [backup-simplify]: Simplify 0 into 0 5.927 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 5.927 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.928 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow y 2))) into 0 5.928 * [backup-simplify]: Simplify (- 0) into 0 5.928 * [backup-simplify]: Simplify (+ 0 0) into 0 5.929 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.929 * [backup-simplify]: Simplify (- 0) into 0 5.929 * [backup-simplify]: Simplify (+ 0 0) into 0 5.931 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* 1.0 (/ 0 (- 1.0))) (* (* 1.0 y) (/ 0 (- 1.0))) (* 0 (/ y (- 1.0))))) into 0 5.931 * [taylor]: Taking taylor expansion of 0 in y 5.931 * [backup-simplify]: Simplify 0 into 0 5.931 * [backup-simplify]: Simplify 0 into 0 5.931 * [backup-simplify]: Simplify 0 into 0 5.931 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 5.931 * [backup-simplify]: Simplify 0 into 0 5.931 * [backup-simplify]: Simplify 0 into 0 5.932 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 5.932 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.933 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 5.933 * [backup-simplify]: Simplify (- 0) into 0 5.933 * [backup-simplify]: Simplify (+ 0 0) into 0 5.934 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.934 * [backup-simplify]: Simplify (- 0) into 0 5.935 * [backup-simplify]: Simplify (+ 0 0) into 0 5.936 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* 1.0 (/ 0 (- 1.0))) (* (* 1.0 y) (/ 0 (- 1.0))) (* 0 (/ 0 (- 1.0))) (* 0 (/ y (- 1.0))))) into 0 5.936 * [taylor]: Taking taylor expansion of 0 in y 5.936 * [backup-simplify]: Simplify 0 into 0 5.936 * [backup-simplify]: Simplify 0 into 0 5.936 * [backup-simplify]: Simplify (+ (* 1.0 (* y x)) 1.0) into (+ (* 1.0 (* x y)) 1.0) 5.937 * [backup-simplify]: Simplify (/ (- (* (* (/ 1 x) (/ 1 y)) (* (/ 1 x) (/ 1 y))) (* 1.0 1.0)) (- (* (/ 1 x) (/ 1 y)) 1.0)) into (/ (- (/ 1 (* (pow x 2) (pow y 2))) 1.0) (- (/ 1 (* x y)) 1.0)) 5.937 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* (pow x 2) (pow y 2))) 1.0) (- (/ 1 (* x y)) 1.0)) in (x y) around 0 5.937 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow x 2) (pow y 2))) 1.0) (- (/ 1 (* x y)) 1.0)) in y 5.937 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 2) (pow y 2))) 1.0) in y 5.937 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 5.937 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 5.937 * [taylor]: Taking taylor expansion of (pow x 2) in y 5.937 * [taylor]: Taking taylor expansion of x in y 5.937 * [backup-simplify]: Simplify x into x 5.937 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.937 * [taylor]: Taking taylor expansion of y in y 5.937 * [backup-simplify]: Simplify 0 into 0 5.937 * [backup-simplify]: Simplify 1 into 1 5.937 * [backup-simplify]: Simplify (* x x) into (pow x 2) 5.937 * [backup-simplify]: Simplify (* 1 1) into 1 5.937 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2) 5.937 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 5.937 * [taylor]: Taking taylor expansion of 1.0 in y 5.937 * [backup-simplify]: Simplify 1.0 into 1.0 5.937 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) 1.0) in y 5.937 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.937 * [taylor]: Taking taylor expansion of (* x y) in y 5.938 * [taylor]: Taking taylor expansion of x in y 5.938 * [backup-simplify]: Simplify x into x 5.938 * [taylor]: Taking taylor expansion of y in y 5.938 * [backup-simplify]: Simplify 0 into 0 5.938 * [backup-simplify]: Simplify 1 into 1 5.938 * [backup-simplify]: Simplify (* x 0) into 0 5.938 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.938 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.938 * [taylor]: Taking taylor expansion of 1.0 in y 5.938 * [backup-simplify]: Simplify 1.0 into 1.0 5.938 * [backup-simplify]: Simplify (+ (/ 1 (pow x 2)) 0) into (/ 1 (pow x 2)) 5.938 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 5.938 * [backup-simplify]: Simplify (/ (/ 1 (pow x 2)) (/ 1 x)) into (/ 1 x) 5.938 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow x 2) (pow y 2))) 1.0) (- (/ 1 (* x y)) 1.0)) in x 5.938 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 2) (pow y 2))) 1.0) in x 5.938 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 5.938 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 5.938 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.938 * [taylor]: Taking taylor expansion of x in x 5.938 * [backup-simplify]: Simplify 0 into 0 5.938 * [backup-simplify]: Simplify 1 into 1 5.938 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.938 * [taylor]: Taking taylor expansion of y in x 5.938 * [backup-simplify]: Simplify y into y 5.939 * [backup-simplify]: Simplify (* 1 1) into 1 5.939 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.939 * [backup-simplify]: Simplify (* 1 (pow y 2)) into (pow y 2) 5.939 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 5.939 * [taylor]: Taking taylor expansion of 1.0 in x 5.939 * [backup-simplify]: Simplify 1.0 into 1.0 5.939 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) 1.0) in x 5.939 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.939 * [taylor]: Taking taylor expansion of (* x y) in x 5.939 * [taylor]: Taking taylor expansion of x in x 5.939 * [backup-simplify]: Simplify 0 into 0 5.939 * [backup-simplify]: Simplify 1 into 1 5.939 * [taylor]: Taking taylor expansion of y in x 5.939 * [backup-simplify]: Simplify y into y 5.939 * [backup-simplify]: Simplify (* 0 y) into 0 5.939 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.939 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.939 * [taylor]: Taking taylor expansion of 1.0 in x 5.939 * [backup-simplify]: Simplify 1.0 into 1.0 5.940 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2)) 5.940 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 5.940 * [backup-simplify]: Simplify (/ (/ 1 (pow y 2)) (/ 1 y)) into (/ 1 y) 5.940 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow x 2) (pow y 2))) 1.0) (- (/ 1 (* x y)) 1.0)) in x 5.940 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 2) (pow y 2))) 1.0) in x 5.940 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 5.940 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 5.940 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.940 * [taylor]: Taking taylor expansion of x in x 5.940 * [backup-simplify]: Simplify 0 into 0 5.940 * [backup-simplify]: Simplify 1 into 1 5.940 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.940 * [taylor]: Taking taylor expansion of y in x 5.940 * [backup-simplify]: Simplify y into y 5.940 * [backup-simplify]: Simplify (* 1 1) into 1 5.940 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.940 * [backup-simplify]: Simplify (* 1 (pow y 2)) into (pow y 2) 5.940 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 5.940 * [taylor]: Taking taylor expansion of 1.0 in x 5.940 * [backup-simplify]: Simplify 1.0 into 1.0 5.940 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) 1.0) in x 5.940 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.940 * [taylor]: Taking taylor expansion of (* x y) in x 5.940 * [taylor]: Taking taylor expansion of x in x 5.941 * [backup-simplify]: Simplify 0 into 0 5.941 * [backup-simplify]: Simplify 1 into 1 5.941 * [taylor]: Taking taylor expansion of y in x 5.941 * [backup-simplify]: Simplify y into y 5.941 * [backup-simplify]: Simplify (* 0 y) into 0 5.941 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.941 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.941 * [taylor]: Taking taylor expansion of 1.0 in x 5.941 * [backup-simplify]: Simplify 1.0 into 1.0 5.941 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2)) 5.941 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 5.941 * [backup-simplify]: Simplify (/ (/ 1 (pow y 2)) (/ 1 y)) into (/ 1 y) 5.941 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.941 * [taylor]: Taking taylor expansion of y in y 5.941 * [backup-simplify]: Simplify 0 into 0 5.941 * [backup-simplify]: Simplify 1 into 1 5.942 * [backup-simplify]: Simplify (/ 1 1) into 1 5.942 * [backup-simplify]: Simplify 1 into 1 5.942 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 5.942 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.942 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow y 2))) into 0 5.943 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 5.943 * [backup-simplify]: Simplify (+ 0 0) into 0 5.943 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.943 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.944 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.944 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.944 * [backup-simplify]: Simplify (- (/ 0 (/ 1 y)) (+ (* (/ 1 y) (/ (- 1.0) (/ 1 y))))) into 1.0 5.944 * [taylor]: Taking taylor expansion of 1.0 in y 5.944 * [backup-simplify]: Simplify 1.0 into 1.0 5.945 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.945 * [backup-simplify]: Simplify 0 into 0 5.945 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 5.946 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.946 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 5.947 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 5.947 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.947 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.948 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.948 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.949 * [backup-simplify]: Simplify (- 0) into 0 5.949 * [backup-simplify]: Simplify (+ 0 0) into 0 5.949 * [backup-simplify]: Simplify (- (/ (- 1.0) (/ 1 y)) (+ (* (/ 1 y) (/ 0 (/ 1 y))) (* 1.0 (/ (- 1.0) (/ 1 y))))) into 0 5.949 * [taylor]: Taking taylor expansion of 0 in y 5.949 * [backup-simplify]: Simplify 0 into 0 5.949 * [backup-simplify]: Simplify 1.0 into 1.0 5.950 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.950 * [backup-simplify]: Simplify 0 into 0 5.951 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 5.951 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 5.952 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 5.953 * [backup-simplify]: Simplify (- 0) into 0 5.953 * [backup-simplify]: Simplify (+ 0 0) into 0 5.954 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.954 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.954 * [backup-simplify]: Simplify (- 0) into 0 5.954 * [backup-simplify]: Simplify (+ 0 0) into 0 5.955 * [backup-simplify]: Simplify (- (/ 0 (/ 1 y)) (+ (* (/ 1 y) (/ 0 (/ 1 y))) (* 1.0 (/ 0 (/ 1 y))) (* 0 (/ (- 1.0) (/ 1 y))))) into 0 5.955 * [taylor]: Taking taylor expansion of 0 in y 5.955 * [backup-simplify]: Simplify 0 into 0 5.955 * [backup-simplify]: Simplify 0 into 0 5.955 * [backup-simplify]: Simplify 0 into 0 5.955 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.955 * [backup-simplify]: Simplify 0 into 0 5.956 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.957 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.958 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0 5.958 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 5.958 * [backup-simplify]: Simplify (- 0) into 0 5.959 * [backup-simplify]: Simplify (+ 0 0) into 0 5.960 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 5.960 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.960 * [backup-simplify]: Simplify (- 0) into 0 5.960 * [backup-simplify]: Simplify (+ 0 0) into 0 5.961 * [backup-simplify]: Simplify (- (/ 0 (/ 1 y)) (+ (* (/ 1 y) (/ 0 (/ 1 y))) (* 1.0 (/ 0 (/ 1 y))) (* 0 (/ 0 (/ 1 y))) (* 0 (/ (- 1.0) (/ 1 y))))) into 0 5.961 * [taylor]: Taking taylor expansion of 0 in y 5.961 * [backup-simplify]: Simplify 0 into 0 5.961 * [backup-simplify]: Simplify 0 into 0 5.961 * [backup-simplify]: Simplify 0 into 0 5.961 * [backup-simplify]: Simplify (+ 1.0 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ (* x y) 1.0) 5.962 * [backup-simplify]: Simplify (/ (- (* (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- x)) (/ 1 (- y)))) (* 1.0 1.0)) (- (* (/ 1 (- x)) (/ 1 (- y))) 1.0)) into (/ (- (/ 1 (* (pow x 2) (pow y 2))) 1.0) (- (/ 1 (* x y)) 1.0)) 5.962 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* (pow x 2) (pow y 2))) 1.0) (- (/ 1 (* x y)) 1.0)) in (x y) around 0 5.962 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow x 2) (pow y 2))) 1.0) (- (/ 1 (* x y)) 1.0)) in y 5.962 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 2) (pow y 2))) 1.0) in y 5.962 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 5.962 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 5.962 * [taylor]: Taking taylor expansion of (pow x 2) in y 5.962 * [taylor]: Taking taylor expansion of x in y 5.962 * [backup-simplify]: Simplify x into x 5.962 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.962 * [taylor]: Taking taylor expansion of y in y 5.962 * [backup-simplify]: Simplify 0 into 0 5.962 * [backup-simplify]: Simplify 1 into 1 5.962 * [backup-simplify]: Simplify (* x x) into (pow x 2) 5.962 * [backup-simplify]: Simplify (* 1 1) into 1 5.962 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2) 5.962 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 5.962 * [taylor]: Taking taylor expansion of 1.0 in y 5.962 * [backup-simplify]: Simplify 1.0 into 1.0 5.962 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) 1.0) in y 5.962 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.962 * [taylor]: Taking taylor expansion of (* x y) in y 5.962 * [taylor]: Taking taylor expansion of x in y 5.962 * [backup-simplify]: Simplify x into x 5.962 * [taylor]: Taking taylor expansion of y in y 5.962 * [backup-simplify]: Simplify 0 into 0 5.962 * [backup-simplify]: Simplify 1 into 1 5.962 * [backup-simplify]: Simplify (* x 0) into 0 5.963 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.963 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.963 * [taylor]: Taking taylor expansion of 1.0 in y 5.963 * [backup-simplify]: Simplify 1.0 into 1.0 5.963 * [backup-simplify]: Simplify (+ (/ 1 (pow x 2)) 0) into (/ 1 (pow x 2)) 5.963 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 5.963 * [backup-simplify]: Simplify (/ (/ 1 (pow x 2)) (/ 1 x)) into (/ 1 x) 5.963 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow x 2) (pow y 2))) 1.0) (- (/ 1 (* x y)) 1.0)) in x 5.963 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 2) (pow y 2))) 1.0) in x 5.963 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 5.963 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 5.963 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.963 * [taylor]: Taking taylor expansion of x in x 5.963 * [backup-simplify]: Simplify 0 into 0 5.963 * [backup-simplify]: Simplify 1 into 1 5.963 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.963 * [taylor]: Taking taylor expansion of y in x 5.963 * [backup-simplify]: Simplify y into y 5.964 * [backup-simplify]: Simplify (* 1 1) into 1 5.964 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.964 * [backup-simplify]: Simplify (* 1 (pow y 2)) into (pow y 2) 5.964 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 5.964 * [taylor]: Taking taylor expansion of 1.0 in x 5.964 * [backup-simplify]: Simplify 1.0 into 1.0 5.964 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) 1.0) in x 5.964 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.964 * [taylor]: Taking taylor expansion of (* x y) in x 5.964 * [taylor]: Taking taylor expansion of x in x 5.964 * [backup-simplify]: Simplify 0 into 0 5.964 * [backup-simplify]: Simplify 1 into 1 5.964 * [taylor]: Taking taylor expansion of y in x 5.964 * [backup-simplify]: Simplify y into y 5.964 * [backup-simplify]: Simplify (* 0 y) into 0 5.964 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.964 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.964 * [taylor]: Taking taylor expansion of 1.0 in x 5.964 * [backup-simplify]: Simplify 1.0 into 1.0 5.964 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2)) 5.964 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 5.965 * [backup-simplify]: Simplify (/ (/ 1 (pow y 2)) (/ 1 y)) into (/ 1 y) 5.965 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow x 2) (pow y 2))) 1.0) (- (/ 1 (* x y)) 1.0)) in x 5.965 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 2) (pow y 2))) 1.0) in x 5.965 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 5.965 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 5.965 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.965 * [taylor]: Taking taylor expansion of x in x 5.965 * [backup-simplify]: Simplify 0 into 0 5.965 * [backup-simplify]: Simplify 1 into 1 5.965 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.965 * [taylor]: Taking taylor expansion of y in x 5.965 * [backup-simplify]: Simplify y into y 5.965 * [backup-simplify]: Simplify (* 1 1) into 1 5.965 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.965 * [backup-simplify]: Simplify (* 1 (pow y 2)) into (pow y 2) 5.965 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 5.965 * [taylor]: Taking taylor expansion of 1.0 in x 5.965 * [backup-simplify]: Simplify 1.0 into 1.0 5.965 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) 1.0) in x 5.965 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.965 * [taylor]: Taking taylor expansion of (* x y) in x 5.965 * [taylor]: Taking taylor expansion of x in x 5.965 * [backup-simplify]: Simplify 0 into 0 5.965 * [backup-simplify]: Simplify 1 into 1 5.965 * [taylor]: Taking taylor expansion of y in x 5.965 * [backup-simplify]: Simplify y into y 5.965 * [backup-simplify]: Simplify (* 0 y) into 0 5.966 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.966 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.966 * [taylor]: Taking taylor expansion of 1.0 in x 5.966 * [backup-simplify]: Simplify 1.0 into 1.0 5.966 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2)) 5.966 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 5.966 * [backup-simplify]: Simplify (/ (/ 1 (pow y 2)) (/ 1 y)) into (/ 1 y) 5.966 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.966 * [taylor]: Taking taylor expansion of y in y 5.966 * [backup-simplify]: Simplify 0 into 0 5.966 * [backup-simplify]: Simplify 1 into 1 5.966 * [backup-simplify]: Simplify (/ 1 1) into 1 5.966 * [backup-simplify]: Simplify 1 into 1 5.966 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 5.967 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.967 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow y 2))) into 0 5.967 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 5.968 * [backup-simplify]: Simplify (+ 0 0) into 0 5.968 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.968 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.968 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.969 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.969 * [backup-simplify]: Simplify (- (/ 0 (/ 1 y)) (+ (* (/ 1 y) (/ (- 1.0) (/ 1 y))))) into 1.0 5.969 * [taylor]: Taking taylor expansion of 1.0 in y 5.969 * [backup-simplify]: Simplify 1.0 into 1.0 5.970 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.970 * [backup-simplify]: Simplify 0 into 0 5.970 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 5.971 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.971 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 5.971 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 5.972 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.972 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.973 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.973 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.973 * [backup-simplify]: Simplify (- 0) into 0 5.973 * [backup-simplify]: Simplify (+ 0 0) into 0 5.974 * [backup-simplify]: Simplify (- (/ (- 1.0) (/ 1 y)) (+ (* (/ 1 y) (/ 0 (/ 1 y))) (* 1.0 (/ (- 1.0) (/ 1 y))))) into 0 5.974 * [taylor]: Taking taylor expansion of 0 in y 5.974 * [backup-simplify]: Simplify 0 into 0 5.974 * [backup-simplify]: Simplify 1.0 into 1.0 5.974 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.975 * [backup-simplify]: Simplify 0 into 0 5.975 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 5.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 5.977 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 5.977 * [backup-simplify]: Simplify (- 0) into 0 5.977 * [backup-simplify]: Simplify (+ 0 0) into 0 5.978 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.978 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.978 * [backup-simplify]: Simplify (- 0) into 0 5.979 * [backup-simplify]: Simplify (+ 0 0) into 0 5.979 * [backup-simplify]: Simplify (- (/ 0 (/ 1 y)) (+ (* (/ 1 y) (/ 0 (/ 1 y))) (* 1.0 (/ 0 (/ 1 y))) (* 0 (/ (- 1.0) (/ 1 y))))) into 0 5.979 * [taylor]: Taking taylor expansion of 0 in y 5.979 * [backup-simplify]: Simplify 0 into 0 5.979 * [backup-simplify]: Simplify 0 into 0 5.979 * [backup-simplify]: Simplify 0 into 0 5.980 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.980 * [backup-simplify]: Simplify 0 into 0 5.981 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.981 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.982 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0 5.983 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 5.983 * [backup-simplify]: Simplify (- 0) into 0 5.983 * [backup-simplify]: Simplify (+ 0 0) into 0 5.984 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 5.984 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.984 * [backup-simplify]: Simplify (- 0) into 0 5.985 * [backup-simplify]: Simplify (+ 0 0) into 0 5.985 * [backup-simplify]: Simplify (- (/ 0 (/ 1 y)) (+ (* (/ 1 y) (/ 0 (/ 1 y))) (* 1.0 (/ 0 (/ 1 y))) (* 0 (/ 0 (/ 1 y))) (* 0 (/ (- 1.0) (/ 1 y))))) into 0 5.985 * [taylor]: Taking taylor expansion of 0 in y 5.985 * [backup-simplify]: Simplify 0 into 0 5.985 * [backup-simplify]: Simplify 0 into 0 5.985 * [backup-simplify]: Simplify 0 into 0 5.985 * [backup-simplify]: Simplify (+ 1.0 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ (* x y) 1.0) 5.985 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 1) 5.985 * [backup-simplify]: Simplify (* (* x y) (* x y)) into (* (pow x 2) (pow y 2)) 5.986 * [approximate]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in (x y) around 0 5.986 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 5.986 * [taylor]: Taking taylor expansion of (pow x 2) in y 5.986 * [taylor]: Taking taylor expansion of x in y 5.986 * [backup-simplify]: Simplify x into x 5.986 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.986 * [taylor]: Taking taylor expansion of y in y 5.986 * [backup-simplify]: Simplify 0 into 0 5.986 * [backup-simplify]: Simplify 1 into 1 5.986 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 5.986 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.986 * [taylor]: Taking taylor expansion of x in x 5.986 * [backup-simplify]: Simplify 0 into 0 5.986 * [backup-simplify]: Simplify 1 into 1 5.986 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.986 * [taylor]: Taking taylor expansion of y in x 5.986 * [backup-simplify]: Simplify y into y 5.986 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 5.986 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.986 * [taylor]: Taking taylor expansion of x in x 5.986 * [backup-simplify]: Simplify 0 into 0 5.986 * [backup-simplify]: Simplify 1 into 1 5.986 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.986 * [taylor]: Taking taylor expansion of y in x 5.986 * [backup-simplify]: Simplify y into y 5.989 * [backup-simplify]: Simplify (* 1 1) into 1 5.989 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.989 * [backup-simplify]: Simplify (* 1 (pow y 2)) into (pow y 2) 5.989 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.989 * [taylor]: Taking taylor expansion of y in y 5.989 * [backup-simplify]: Simplify 0 into 0 5.989 * [backup-simplify]: Simplify 1 into 1 5.989 * [backup-simplify]: Simplify (* 1 1) into 1 5.989 * [backup-simplify]: Simplify 1 into 1 5.990 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 5.990 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.990 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow y 2))) into 0 5.990 * [taylor]: Taking taylor expansion of 0 in y 5.990 * [backup-simplify]: Simplify 0 into 0 5.990 * [backup-simplify]: Simplify 0 into 0 5.991 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.991 * [backup-simplify]: Simplify 0 into 0 5.991 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 5.991 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.992 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 5.992 * [taylor]: Taking taylor expansion of 0 in y 5.992 * [backup-simplify]: Simplify 0 into 0 5.992 * [backup-simplify]: Simplify 0 into 0 5.992 * [backup-simplify]: Simplify 0 into 0 5.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.993 * [backup-simplify]: Simplify 0 into 0 5.993 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 5.994 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.994 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 5.994 * [taylor]: Taking taylor expansion of 0 in y 5.994 * [backup-simplify]: Simplify 0 into 0 5.994 * [backup-simplify]: Simplify 0 into 0 5.995 * [backup-simplify]: Simplify (* 1 (pow (* y x) 2)) into (* (pow x 2) (pow y 2)) 5.995 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 y)) (* (/ 1 x) (/ 1 y))) into (/ 1 (* (pow x 2) (pow y 2))) 5.995 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in (x y) around 0 5.995 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 5.995 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 5.995 * [taylor]: Taking taylor expansion of (pow x 2) in y 5.995 * [taylor]: Taking taylor expansion of x in y 5.995 * [backup-simplify]: Simplify x into x 5.995 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.995 * [taylor]: Taking taylor expansion of y in y 5.995 * [backup-simplify]: Simplify 0 into 0 5.995 * [backup-simplify]: Simplify 1 into 1 5.995 * [backup-simplify]: Simplify (* x x) into (pow x 2) 5.995 * [backup-simplify]: Simplify (* 1 1) into 1 5.995 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2) 5.995 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 5.995 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 5.995 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 5.995 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.995 * [taylor]: Taking taylor expansion of x in x 5.995 * [backup-simplify]: Simplify 0 into 0 5.996 * [backup-simplify]: Simplify 1 into 1 5.996 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.996 * [taylor]: Taking taylor expansion of y in x 5.996 * [backup-simplify]: Simplify y into y 5.996 * [backup-simplify]: Simplify (* 1 1) into 1 5.996 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.996 * [backup-simplify]: Simplify (* 1 (pow y 2)) into (pow y 2) 5.996 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 5.996 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 5.996 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 5.996 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.996 * [taylor]: Taking taylor expansion of x in x 5.996 * [backup-simplify]: Simplify 0 into 0 5.996 * [backup-simplify]: Simplify 1 into 1 5.996 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.996 * [taylor]: Taking taylor expansion of y in x 5.996 * [backup-simplify]: Simplify y into y 5.996 * [backup-simplify]: Simplify (* 1 1) into 1 5.996 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.997 * [backup-simplify]: Simplify (* 1 (pow y 2)) into (pow y 2) 5.997 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 5.997 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.997 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.997 * [taylor]: Taking taylor expansion of y in y 5.997 * [backup-simplify]: Simplify 0 into 0 5.997 * [backup-simplify]: Simplify 1 into 1 5.997 * [backup-simplify]: Simplify (* 1 1) into 1 5.997 * [backup-simplify]: Simplify (/ 1 1) into 1 5.997 * [backup-simplify]: Simplify 1 into 1 5.997 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 5.998 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.998 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow y 2))) into 0 5.998 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 5.998 * [taylor]: Taking taylor expansion of 0 in y 5.998 * [backup-simplify]: Simplify 0 into 0 5.999 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.999 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.999 * [backup-simplify]: Simplify 0 into 0 5.999 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 6.000 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.000 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 6.001 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 6.001 * [taylor]: Taking taylor expansion of 0 in y 6.001 * [backup-simplify]: Simplify 0 into 0 6.001 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.002 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.002 * [backup-simplify]: Simplify 0 into 0 6.002 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 6.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 6.004 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 6.004 * [taylor]: Taking taylor expansion of 0 in y 6.004 * [backup-simplify]: Simplify 0 into 0 6.004 * [backup-simplify]: Simplify 0 into 0 6.004 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.005 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.005 * [backup-simplify]: Simplify 0 into 0 6.006 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 6.006 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0 6.008 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 6.008 * [taylor]: Taking taylor expansion of 0 in y 6.008 * [backup-simplify]: Simplify 0 into 0 6.008 * [backup-simplify]: Simplify 0 into 0 6.008 * [backup-simplify]: Simplify 0 into 0 6.008 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))) 2)) into (* (pow x 2) (pow y 2)) 6.008 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- x)) (/ 1 (- y)))) into (/ 1 (* (pow x 2) (pow y 2))) 6.008 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in (x y) around 0 6.008 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 6.008 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 6.008 * [taylor]: Taking taylor expansion of (pow x 2) in y 6.008 * [taylor]: Taking taylor expansion of x in y 6.008 * [backup-simplify]: Simplify x into x 6.008 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.008 * [taylor]: Taking taylor expansion of y in y 6.008 * [backup-simplify]: Simplify 0 into 0 6.008 * [backup-simplify]: Simplify 1 into 1 6.008 * [backup-simplify]: Simplify (* x x) into (pow x 2) 6.009 * [backup-simplify]: Simplify (* 1 1) into 1 6.009 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2) 6.009 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 6.009 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 6.009 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 6.009 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.009 * [taylor]: Taking taylor expansion of x in x 6.009 * [backup-simplify]: Simplify 0 into 0 6.009 * [backup-simplify]: Simplify 1 into 1 6.009 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.009 * [taylor]: Taking taylor expansion of y in x 6.009 * [backup-simplify]: Simplify y into y 6.009 * [backup-simplify]: Simplify (* 1 1) into 1 6.009 * [backup-simplify]: Simplify (* y y) into (pow y 2) 6.009 * [backup-simplify]: Simplify (* 1 (pow y 2)) into (pow y 2) 6.009 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 6.009 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 6.009 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 6.009 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.009 * [taylor]: Taking taylor expansion of x in x 6.009 * [backup-simplify]: Simplify 0 into 0 6.009 * [backup-simplify]: Simplify 1 into 1 6.009 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.009 * [taylor]: Taking taylor expansion of y in x 6.009 * [backup-simplify]: Simplify y into y 6.010 * [backup-simplify]: Simplify (* 1 1) into 1 6.010 * [backup-simplify]: Simplify (* y y) into (pow y 2) 6.010 * [backup-simplify]: Simplify (* 1 (pow y 2)) into (pow y 2) 6.010 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 6.010 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.010 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.010 * [taylor]: Taking taylor expansion of y in y 6.010 * [backup-simplify]: Simplify 0 into 0 6.010 * [backup-simplify]: Simplify 1 into 1 6.010 * [backup-simplify]: Simplify (* 1 1) into 1 6.011 * [backup-simplify]: Simplify (/ 1 1) into 1 6.011 * [backup-simplify]: Simplify 1 into 1 6.011 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 6.011 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.011 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow y 2))) into 0 6.012 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 6.012 * [taylor]: Taking taylor expansion of 0 in y 6.012 * [backup-simplify]: Simplify 0 into 0 6.012 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.012 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.012 * [backup-simplify]: Simplify 0 into 0 6.013 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 6.013 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.014 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 6.014 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 6.014 * [taylor]: Taking taylor expansion of 0 in y 6.014 * [backup-simplify]: Simplify 0 into 0 6.014 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.015 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.015 * [backup-simplify]: Simplify 0 into 0 6.016 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 6.016 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.017 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 6.017 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 6.017 * [taylor]: Taking taylor expansion of 0 in y 6.017 * [backup-simplify]: Simplify 0 into 0 6.017 * [backup-simplify]: Simplify 0 into 0 6.018 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.018 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.018 * [backup-simplify]: Simplify 0 into 0 6.019 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 6.020 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.021 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0 6.021 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 6.021 * [taylor]: Taking taylor expansion of 0 in y 6.021 * [backup-simplify]: Simplify 0 into 0 6.021 * [backup-simplify]: Simplify 0 into 0 6.021 * [backup-simplify]: Simplify 0 into 0 6.021 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))) 2)) into (* (pow x 2) (pow y 2)) 6.021 * * * [progress]: simplifying candidates 6.023 * [simplify]: Simplifying: (- (log (- (* (* x y) (* x y)) (* 1.0 1.0))) (log (- (* x y) 1.0))) (log (/ (- (* (* x y) (* x y)) (* 1.0 1.0)) (- (* x y) 1.0))) (exp (/ (- (* (* x y) (* x y)) (* 1.0 1.0)) (- (* x y) 1.0))) (/ (* (* (- (* (* x y) (* x y)) (* 1.0 1.0)) (- (* (* x y) (* x y)) (* 1.0 1.0))) (- (* (* x y) (* x y)) (* 1.0 1.0))) (* (* (- (* x y) 1.0) (- (* x y) 1.0)) (- (* x y) 1.0))) (* (cbrt (/ (- (* (* x y) (* x y)) (* 1.0 1.0)) (- (* x y) 1.0))) (cbrt (/ (- (* (* x y) (* x y)) (* 1.0 1.0)) (- (* x y) 1.0)))) (cbrt (/ (- (* (* 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) (* x y)) (* 1.0 1.0)) (- (* x y) 1.0))) (/ (- (* (* x y) (* x y)) (* 1.0 1.0)) (- (* x y) 1.0))) (sqrt (/ (- (* (* x y) (* x y)) (* 1.0 1.0)) (- (* x y) 1.0))) (sqrt (/ (- (* (* 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) (* x y)) (- (* x y) 1.0)) (/ (* 1.0 1.0) (- (* x y) 1.0)) (/ (* (cbrt (- (* (* x y) (* x y)) (* 1.0 1.0))) (cbrt (- (* (* x y) (* x y)) (* 1.0 1.0)))) (* (cbrt (- (* x y) 1.0)) (cbrt (- (* x y) 1.0)))) (/ (cbrt (- (* (* x y) (* x y)) (* 1.0 1.0))) (cbrt (- (* x y) 1.0))) (/ (* (cbrt (- (* (* x y) (* x y)) (* 1.0 1.0))) (cbrt (- (* (* x y) (* x y)) (* 1.0 1.0)))) (sqrt (- (* x y) 1.0))) (/ (cbrt (- (* (* x y) (* x y)) (* 1.0 1.0))) (sqrt (- (* x y) 1.0))) (/ (* (cbrt (- (* (* x y) (* x y)) (* 1.0 1.0))) (cbrt (- (* (* x y) (* x y)) (* 1.0 1.0)))) 1) (/ (cbrt (- (* (* x y) (* x y)) (* 1.0 1.0))) (- (* x y) 1.0)) (/ (sqrt (- (* (* x y) (* x y)) (* 1.0 1.0))) (* (cbrt (- (* x y) 1.0)) (cbrt (- (* x y) 1.0)))) (/ (sqrt (- (* (* x y) (* x y)) (* 1.0 1.0))) (cbrt (- (* x y) 1.0))) (/ (sqrt (- (* (* x y) (* x y)) (* 1.0 1.0))) (sqrt (- (* x y) 1.0))) (/ (sqrt (- (* (* x y) (* x y)) (* 1.0 1.0))) (sqrt (- (* x y) 1.0))) (/ (sqrt (- (* (* x y) (* x y)) (* 1.0 1.0))) 1) (/ (sqrt (- (* (* x y) (* x y)) (* 1.0 1.0))) (- (* x y) 1.0)) (/ 1 (* (cbrt (- (* x y) 1.0)) (cbrt (- (* x y) 1.0)))) (/ (- (* (* x y) (* x y)) (* 1.0 1.0)) (cbrt (- (* x y) 1.0))) (/ 1 (sqrt (- (* x y) 1.0))) (/ (- (* (* x y) (* x y)) (* 1.0 1.0)) (sqrt (- (* x y) 1.0))) (/ 1 1) (/ (- (* (* x y) (* x y)) (* 1.0 1.0)) (- (* x y) 1.0)) (/ (+ (* x y) 1.0) (* (cbrt (- (* x y) 1.0)) (cbrt (- (* x y) 1.0)))) (/ (- (* x y) 1.0) (cbrt (- (* x y) 1.0))) (/ (+ (* x y) 1.0) (sqrt (- (* x y) 1.0))) (/ (- (* x y) 1.0) (sqrt (- (* x y) 1.0))) (/ (+ (* x y) 1.0) 1) (/ (- (* x y) 1.0) (- (* x y) 1.0)) (/ 1 (- (* x y) 1.0)) (/ (- (* x y) 1.0) (- (* (* x y) (* x y)) (* 1.0 1.0))) (/ (- (* (* x y) (* x y)) (* 1.0 1.0)) (* (cbrt (- (* x y) 1.0)) (cbrt (- (* x y) 1.0)))) (/ (- (* (* x y) (* x y)) (* 1.0 1.0)) (sqrt (- (* x y) 1.0))) (/ (- (* (* x y) (* x y)) (* 1.0 1.0)) 1) (/ (- (* x y) 1.0) (cbrt (- (* (* x y) (* x y)) (* 1.0 1.0)))) (/ (- (* x y) 1.0) (sqrt (- (* (* 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)) (/ (- (* (* x y) (* x y)) (* 1.0 1.0)) (- (pow (* x y) 3) (pow 1.0 3))) (/ (- (* (* x y) (* x y)) (* 1.0 1.0)) (- (* (* x y) (* x y)) (* 1.0 1.0))) (* (- (* x y) 1.0) (+ (* (* (* x y) (* x y)) (* (* x y) (* x y))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (* (* (* x y) (* x y)) (* 1.0 1.0))))) (* (- (* x y) 1.0) (+ (* (* x y) (* x y)) (* 1.0 1.0))) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (* (* x y) (* x y)) (* (* x y) (* x y)) (* (* x y) (* x y)) (* (* x y) (* x y)) (+ 1 1) (+ 1 1) (+ (+ (log x) (log y)) (+ (log x) (log y))) (+ (+ (log x) (log y)) (log (* x y))) (+ (log (* x y)) (+ (log x) (log y))) (+ (log (* x y)) (log (* x y))) (log (* (* x y) (* x y))) (exp (* (* x y) (* x y))) (* (* (* (* x x) x) (* (* y y) y)) (* (* (* x x) x) (* (* y y) y))) (* (* (* (* x x) x) (* (* y y) y)) (* (* (* x y) (* x y)) (* x y))) (* (* (* (* x y) (* x y)) (* x y)) (* (* (* x x) x) (* (* y y) y))) (* (* (* (* x y) (* x y)) (* x y)) (* (* (* x y) (* x y)) (* x y))) (* (cbrt (* (* x y) (* x y))) (cbrt (* (* x y) (* x y)))) (cbrt (* (* x y) (* x y))) (* (* (* (* x y) (* x y)) (* (* x y) (* x y))) (* (* x y) (* x y))) (sqrt (* (* x y) (* x y))) (sqrt (* (* x y) (* x y))) (* x x) (* y y) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* (* x y) x) (* y (* x y)) (+ (* 1.0 (* x y)) 1.0) (+ (* x y) 1.0) (+ (* x y) 1.0) (* (pow x 2) (pow y 2)) (* (pow x 2) (pow y 2)) (* (pow x 2) (pow y 2)) 6.025 * * [simplify]: Extracting # 0 : cost 0 6.025 * * [simplify]: Extracting # 1 : cost 0 6.025 * * [simplify]: Extracting # 2 : cost 0 6.025 * * [simplify]: Extracting # 3 : cost 0 6.026 * * [simplify]: Extracting # 4 : cost 0 6.026 * * [simplify]: Extracting # 5 : cost 0 6.026 * * [simplify]: iteration 0 : 112 enodes (cost 1283 ) 6.052 * * [simplify]: Extracting # 0 : cost 0 6.053 * * [simplify]: Extracting # 1 : cost 0 6.053 * * [simplify]: Extracting # 2 : cost 0 6.053 * * [simplify]: Extracting # 3 : cost 0 6.054 * * [simplify]: Extracting # 4 : cost 0 6.054 * * [simplify]: iteration 1 : 320 enodes (cost 1138 ) 6.239 * * [simplify]: Extracting # 0 : cost 0 6.242 * * [simplify]: Extracting # 1 : cost 0 6.245 * * [simplify]: Extracting # 2 : cost 0 6.248 * * [simplify]: Extracting # 3 : cost 0 6.250 * * [simplify]: Extracting # 4 : cost 0 6.253 * * [simplify]: iteration 2 : 1733 enodes (cost 880 ) 7.002 * * [simplify]: Extracting # 0 : cost 0 7.009 * * [simplify]: Extracting # 1 : cost 0 7.021 * * [simplify]: Extracting # 2 : cost 0 7.028 * * [simplify]: Extracting # 3 : cost 0 7.033 * * [simplify]: Extracting # 4 : cost 0 7.039 * * [simplify]: iteration done: 5000 enodes (cost 878 ) 7.040 * [simplify]: Simplified to: (log (+ (* x y) 1.0)) (log (+ (* x y) 1.0)) (exp (+ (* x y) 1.0)) (pow (+ (* x y) 1.0) 3) (* (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)) (- (- (* (* x y) (* x y)) (* 1.0 1.0))) (- (- (* x y) 1.0)) (/ (* x y) (- 1 (/ 1.0 (* x y)))) (/ (* 1.0 1.0) (- (* x y) 1.0)) (/ (* (cbrt (- (* (* x y) (* x y)) (* 1.0 1.0))) (cbrt (- (* (* x y) (* x y)) (* 1.0 1.0)))) (* (cbrt (- (* x y) 1.0)) (cbrt (- (* x y) 1.0)))) (/ (cbrt (- (* (* x y) (* x y)) (* 1.0 1.0))) (cbrt (- (* x y) 1.0))) (/ (* (cbrt (- (* (* x y) (* x y)) (* 1.0 1.0))) (cbrt (- (* (* x y) (* x y)) (* 1.0 1.0)))) (sqrt (- (* x y) 1.0))) (/ (cbrt (- (* (* x y) (* x y)) (* 1.0 1.0))) (sqrt (- (* x y) 1.0))) (* (cbrt (- (* (* x y) (* x y)) (* 1.0 1.0))) (cbrt (- (* (* x y) (* x y)) (* 1.0 1.0)))) (/ (cbrt (- (* (* x y) (* x y)) (* 1.0 1.0))) (- (* x y) 1.0)) (/ (sqrt (- (* (* x y) (* x y)) (* 1.0 1.0))) (* (cbrt (- (* x y) 1.0)) (cbrt (- (* x y) 1.0)))) (/ (sqrt (- (* (* x y) (* x y)) (* 1.0 1.0))) (cbrt (- (* x y) 1.0))) (/ (sqrt (- (* (* x y) (* x y)) (* 1.0 1.0))) (sqrt (- (* x y) 1.0))) (/ (sqrt (- (* (* x y) (* x y)) (* 1.0 1.0))) (sqrt (- (* x y) 1.0))) (sqrt (- (* (* x y) (* x y)) (* 1.0 1.0))) (/ (sqrt (- (* (* x y) (* x y)) (* 1.0 1.0))) (- (* x y) 1.0)) (/ 1 (* (cbrt (- (* x y) 1.0)) (cbrt (- (* x y) 1.0)))) (/ (- (* (* x y) (* x y)) (* 1.0 1.0)) (cbrt (- (* x y) 1.0))) (/ 1 (sqrt (- (* x y) 1.0))) (/ (- (* (* x y) (* x y)) (* 1.0 1.0)) (sqrt (- (* x y) 1.0))) 1 (+ 1.0 (* x y)) (/ (+ (* x y) 1.0) (* (cbrt (- (* x y) 1.0)) (cbrt (- (* x y) 1.0)))) (/ (- (* x y) 1.0) (cbrt (- (* x y) 1.0))) (/ (+ (* x y) 1.0) (sqrt (- (* x y) 1.0))) (/ (- (* x y) 1.0) (sqrt (- (* x y) 1.0))) (+ 1.0 (* x y)) 1 (/ 1 (- (* x y) 1.0)) (/ (- (* x y) 1.0) (- (* (* x y) (* x y)) (* 1.0 1.0))) (/ (- (* (* x y) (* x y)) (* 1.0 1.0)) (* (cbrt (- (* x y) 1.0)) (cbrt (- (* x y) 1.0)))) (/ (- (* (* x y) (* x y)) (* 1.0 1.0)) (sqrt (- (* x y) 1.0))) (* (+ (* x y) 1.0) (- (* x y) 1.0)) (/ (- (* x y) 1.0) (cbrt (- (* (* x y) (* x y)) (* 1.0 1.0)))) (/ (- (* x y) 1.0) (sqrt (- (* (* x y) (* x y)) (* 1.0 1.0)))) (/ (- (* x y) 1.0) (- (* (* x y) (* x y)) (* 1.0 1.0))) 1 (/ (- (* (* x y) (* x y)) (* 1.0 1.0)) (- (pow (* x y) 3) (pow 1.0 3))) 1 (* (+ (+ (pow 1.0 4) (pow (* x y) 4)) (* (* (* x y) (* x y)) (* 1.0 1.0))) (- (* x y) 1.0)) (* (- (* x y) 1.0) (+ (* (* x y) (* x y)) (* 1.0 1.0))) 2 2 2 2 (* (* y (* x y)) x) (* (* y (* x y)) x) (* (* y (* x y)) x) (* (* y (* x y)) x) 2 2 (* 2 (log (* x y))) (* 2 (log (* x y))) (* 2 (log (* x y))) (* 2 (log (* x y))) (* 2 (log (* x y))) (exp (* (* x y) (* x y))) (pow (* x y) 6) (pow (* x y) 6) (pow (* x y) 6) (pow (* x y) 6) (* (cbrt (* (* x y) (* x y))) (cbrt (* (* x y) (* x y)))) (cbrt (* (* x y) (* x y))) (pow (* x y) 6) (fabs (* x y)) (fabs (* x y)) (* x x) (* y y) 2 2 2 2 (* (* x y) x) (* y (* x y)) (+ (* 1.0 (* x y)) 1.0) (+ 1.0 (* x y)) (+ 1.0 (* x y)) (* (* y (* x y)) x) (* (* y (* x y)) x) (* (* y (* x y)) x) 7.040 * * * [progress]: adding candidates to table 7.214 * [progress]: [Phase 3 of 3] Extracting. 7.214 * * [regime]: Finding splitpoints for: (# #) 7.215 * * * [regime-changes]: Trying 2 branch expressions: (y x) 7.215 * * * * [regimes]: Trying to branch on y from (# #) 7.233 * * * * [regimes]: Trying to branch on x from (# #) 7.251 * * * [regime]: Found split indices: #