18.088 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.020 * * * [progress]: [2/2] Setting up program. 0.023 * [progress]: [Phase 2 of 3] Improving. 0.023 * [simplify]: Simplifying: (* (+ x y) (+ x y)) 0.023 * * [simplify]: iteration 0: 4 enodes 0.024 * * [simplify]: iteration 1: 11 enodes 0.026 * * [simplify]: iteration 2: 25 enodes 0.031 * * [simplify]: iteration 3: 53 enodes 0.038 * * [simplify]: iteration 4: 110 enodes 0.056 * * [simplify]: iteration 5: 205 enodes 0.075 * * [simplify]: iteration 6: 225 enodes 0.086 * * [simplify]: iteration 7: 231 enodes 0.097 * * [simplify]: iteration complete: 231 enodes 0.098 * * [simplify]: Extracting #0: cost 1 inf + 0 0.098 * * [simplify]: Extracting #1: cost 12 inf + 0 0.098 * * [simplify]: Extracting #2: cost 19 inf + 0 0.098 * * [simplify]: Extracting #3: cost 15 inf + 6 0.098 * * [simplify]: Extracting #4: cost 1 inf + 76 0.098 * * [simplify]: Extracting #5: cost 0 inf + 83 0.098 * [simplify]: Simplified to: (* (+ y x) (+ y x)) 0.101 * * [progress]: iteration 1 / 4 0.102 * * * [progress]: picking best candidate 0.104 * * * * [pick]: Picked # 0.104 * * * [progress]: localizing error 0.109 * * * [progress]: generating rewritten candidates 0.109 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.140 * * * [progress]: generating series expansions 0.141 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.141 * [backup-simplify]: Simplify (* (+ y x) (+ y x)) into (pow (+ x y) 2) 0.141 * [approximate]: Taking taylor expansion of (pow (+ x y) 2) in (y x) around 0 0.141 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in x 0.141 * [taylor]: Taking taylor expansion of (+ x y) in x 0.141 * [taylor]: Taking taylor expansion of x in x 0.141 * [backup-simplify]: Simplify 0 into 0 0.141 * [backup-simplify]: Simplify 1 into 1 0.141 * [taylor]: Taking taylor expansion of y in x 0.141 * [backup-simplify]: Simplify y into y 0.141 * [backup-simplify]: Simplify (+ 0 y) into y 0.141 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in y 0.141 * [taylor]: Taking taylor expansion of (+ x y) in y 0.141 * [taylor]: Taking taylor expansion of x in y 0.141 * [backup-simplify]: Simplify x into x 0.141 * [taylor]: Taking taylor expansion of y in y 0.141 * [backup-simplify]: Simplify 0 into 0 0.141 * [backup-simplify]: Simplify 1 into 1 0.141 * [backup-simplify]: Simplify (+ x 0) into x 0.141 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in y 0.141 * [taylor]: Taking taylor expansion of (+ x y) in y 0.141 * [taylor]: Taking taylor expansion of x in y 0.141 * [backup-simplify]: Simplify x into x 0.141 * [taylor]: Taking taylor expansion of y in y 0.141 * [backup-simplify]: Simplify 0 into 0 0.141 * [backup-simplify]: Simplify 1 into 1 0.141 * [backup-simplify]: Simplify (+ x 0) into x 0.141 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.141 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.141 * [taylor]: Taking taylor expansion of x in x 0.141 * [backup-simplify]: Simplify 0 into 0 0.141 * [backup-simplify]: Simplify 1 into 1 0.142 * [backup-simplify]: Simplify (+ 0 1) into 1 0.142 * [backup-simplify]: Simplify (+ (* x 1) (* 1 x)) into (* 2 x) 0.142 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.142 * [taylor]: Taking taylor expansion of 2 in x 0.142 * [backup-simplify]: Simplify 2 into 2 0.142 * [taylor]: Taking taylor expansion of x in x 0.142 * [backup-simplify]: Simplify 0 into 0 0.142 * [backup-simplify]: Simplify 1 into 1 0.142 * [backup-simplify]: Simplify (* 2 0) into 0 0.142 * [backup-simplify]: Simplify 0 into 0 0.143 * [backup-simplify]: Simplify (+ 0 0) into 0 0.143 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 1 1) (* 0 x))) into 1 0.143 * [taylor]: Taking taylor expansion of 1 in x 0.143 * [backup-simplify]: Simplify 1 into 1 0.143 * [backup-simplify]: Simplify 1 into 1 0.144 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 0.144 * [backup-simplify]: Simplify 2 into 2 0.144 * [backup-simplify]: Simplify (* 1 1) into 1 0.144 * [backup-simplify]: Simplify 1 into 1 0.144 * [backup-simplify]: Simplify (+ (* 1 (pow (* x 1) 2)) (+ (* 2 (* x y)) (* 1 (pow (* 1 y) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) 0.144 * [backup-simplify]: Simplify (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) into (pow (+ (/ 1 x) (/ 1 y)) 2) 0.144 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in (y x) around 0 0.144 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in x 0.145 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.145 * [taylor]: Taking taylor expansion of x in x 0.145 * [backup-simplify]: Simplify 0 into 0 0.145 * [backup-simplify]: Simplify 1 into 1 0.145 * [backup-simplify]: Simplify (/ 1 1) into 1 0.145 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.145 * [taylor]: Taking taylor expansion of y in x 0.145 * [backup-simplify]: Simplify y into y 0.145 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.145 * [backup-simplify]: Simplify (+ 1 0) into 1 0.145 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in y 0.145 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 0.145 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.145 * [taylor]: Taking taylor expansion of x in y 0.145 * [backup-simplify]: Simplify x into x 0.145 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.145 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.145 * [taylor]: Taking taylor expansion of y in y 0.145 * [backup-simplify]: Simplify 0 into 0 0.145 * [backup-simplify]: Simplify 1 into 1 0.146 * [backup-simplify]: Simplify (/ 1 1) into 1 0.146 * [backup-simplify]: Simplify (+ 0 1) into 1 0.146 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in y 0.146 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.146 * [taylor]: Taking taylor expansion of x in y 0.146 * [backup-simplify]: Simplify x into x 0.146 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.146 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.146 * [taylor]: Taking taylor expansion of y in y 0.146 * [backup-simplify]: Simplify 0 into 0 0.146 * [backup-simplify]: Simplify 1 into 1 0.147 * [backup-simplify]: Simplify (/ 1 1) into 1 0.147 * [backup-simplify]: Simplify (+ 0 1) into 1 0.148 * [backup-simplify]: Simplify (* 1 1) into 1 0.148 * [taylor]: Taking taylor expansion of 1 in x 0.148 * [backup-simplify]: Simplify 1 into 1 0.148 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.149 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 0.149 * [backup-simplify]: Simplify (+ (* 1 (/ 1 x)) (* (/ 1 x) 1)) into (* 2 (/ 1 x)) 0.149 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.149 * [taylor]: Taking taylor expansion of 2 in x 0.149 * [backup-simplify]: Simplify 2 into 2 0.149 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.149 * [taylor]: Taking taylor expansion of x in x 0.149 * [backup-simplify]: Simplify 0 into 0 0.149 * [backup-simplify]: Simplify 1 into 1 0.149 * [backup-simplify]: Simplify (/ 1 1) into 1 0.149 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.150 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.151 * [backup-simplify]: Simplify (+ 0 0) into 0 0.152 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 x) (/ 1 x)) (* 0 1))) into (/ 1 (pow x 2)) 0.152 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.152 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.152 * [taylor]: Taking taylor expansion of x in x 0.152 * [backup-simplify]: Simplify 0 into 0 0.152 * [backup-simplify]: Simplify 1 into 1 0.152 * [backup-simplify]: Simplify (* 1 1) into 1 0.153 * [backup-simplify]: Simplify (/ 1 1) into 1 0.153 * [backup-simplify]: Simplify 1 into 1 0.153 * [backup-simplify]: Simplify (* 2 1) into 2 0.153 * [backup-simplify]: Simplify 2 into 2 0.153 * [backup-simplify]: Simplify 1 into 1 0.154 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 y))) 2)) (+ (* 2 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (* 1 (pow (* (/ 1 (/ 1 x)) 1) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) 0.154 * [backup-simplify]: Simplify (* (+ (/ 1 (- y)) (/ 1 (- x))) (+ (/ 1 (- y)) (/ 1 (- x)))) into (pow (+ (/ 1 x) (/ 1 y)) 2) 0.154 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in (y x) around 0 0.154 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in x 0.154 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.155 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.155 * [taylor]: Taking taylor expansion of x in x 0.155 * [backup-simplify]: Simplify 0 into 0 0.155 * [backup-simplify]: Simplify 1 into 1 0.155 * [backup-simplify]: Simplify (/ 1 1) into 1 0.155 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.155 * [taylor]: Taking taylor expansion of y in x 0.155 * [backup-simplify]: Simplify y into y 0.155 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.156 * [backup-simplify]: Simplify (+ 1 0) into 1 0.156 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in y 0.156 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 0.156 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.156 * [taylor]: Taking taylor expansion of x in y 0.156 * [backup-simplify]: Simplify x into x 0.156 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.156 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.156 * [taylor]: Taking taylor expansion of y in y 0.156 * [backup-simplify]: Simplify 0 into 0 0.156 * [backup-simplify]: Simplify 1 into 1 0.156 * [backup-simplify]: Simplify (/ 1 1) into 1 0.157 * [backup-simplify]: Simplify (+ 0 1) into 1 0.157 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in y 0.157 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 0.157 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.157 * [taylor]: Taking taylor expansion of x in y 0.157 * [backup-simplify]: Simplify x into x 0.157 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.157 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.157 * [taylor]: Taking taylor expansion of y in y 0.157 * [backup-simplify]: Simplify 0 into 0 0.157 * [backup-simplify]: Simplify 1 into 1 0.157 * [backup-simplify]: Simplify (/ 1 1) into 1 0.158 * [backup-simplify]: Simplify (+ 0 1) into 1 0.158 * [backup-simplify]: Simplify (* 1 1) into 1 0.158 * [taylor]: Taking taylor expansion of 1 in x 0.158 * [backup-simplify]: Simplify 1 into 1 0.159 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.159 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 0.159 * [backup-simplify]: Simplify (+ (* 1 (/ 1 x)) (* (/ 1 x) 1)) into (* 2 (/ 1 x)) 0.159 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.160 * [taylor]: Taking taylor expansion of 2 in x 0.160 * [backup-simplify]: Simplify 2 into 2 0.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.160 * [taylor]: Taking taylor expansion of x in x 0.160 * [backup-simplify]: Simplify 0 into 0 0.160 * [backup-simplify]: Simplify 1 into 1 0.160 * [backup-simplify]: Simplify (/ 1 1) into 1 0.160 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.161 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.161 * [backup-simplify]: Simplify (+ 0 0) into 0 0.162 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 x) (/ 1 x)) (* 0 1))) into (/ 1 (pow x 2)) 0.162 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.162 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.162 * [taylor]: Taking taylor expansion of x in x 0.162 * [backup-simplify]: Simplify 0 into 0 0.162 * [backup-simplify]: Simplify 1 into 1 0.163 * [backup-simplify]: Simplify (* 1 1) into 1 0.163 * [backup-simplify]: Simplify (/ 1 1) into 1 0.163 * [backup-simplify]: Simplify 1 into 1 0.163 * [backup-simplify]: Simplify (* 2 1) into 2 0.163 * [backup-simplify]: Simplify 2 into 2 0.163 * [backup-simplify]: Simplify 1 into 1 0.164 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- y)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y))))) (* 1 (pow (* (/ 1 (/ 1 (- x))) 1) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) 0.164 * * * [progress]: simplifying candidates 0.164 * [simplify]: Simplifying: (+ 1 1) (* (+ y x) (+ y x)) (+ 1 1) (+ (log (+ y x)) (log (+ y x))) (log (* (+ y x) (+ y x))) (exp (* (+ y x) (+ y x))) (* (* (* (+ y x) (+ y x)) (+ y x)) (* (* (+ y x) (+ y x)) (+ y x))) (* (cbrt (* (+ y x) (+ y x))) (cbrt (* (+ y x) (+ y x)))) (cbrt (* (+ y x) (+ y x))) (* (* (* (+ y x) (+ y x)) (* (+ y x) (+ y x))) (* (+ y x) (+ y x))) (sqrt (* (+ y x) (+ y x))) (sqrt (* (+ y x) (+ y x))) (* (+ (pow y 3) (pow x 3)) (+ (pow y 3) (pow x 3))) (* (+ (* y y) (- (* x x) (* y x))) (+ (* y y) (- (* x x) (* y x)))) (* (+ (pow y 3) (pow x 3)) (- (* y y) (* x x))) (* (+ (* y y) (- (* x x) (* y x))) (- y x)) (* (- (* y y) (* x x)) (+ (pow y 3) (pow x 3))) (* (- y x) (+ (* y y) (- (* x x) (* y x)))) (* (- (* y y) (* x x)) (- (* y y) (* x x))) (* (- y x) (- y x)) (* (* (cbrt (+ y x)) (cbrt (+ y x))) (* (cbrt (+ y x)) (cbrt (+ y x)))) (* (cbrt (+ y x)) (cbrt (+ y x))) (* (sqrt (+ y x)) (sqrt (+ y x))) (* (sqrt (+ y x)) (sqrt (+ y x))) (* 1 1) (* (+ y x) (+ y x)) (* 1 1) (* (+ y x) (+ y x)) (* 1 1) (* (+ y x) (+ y x)) (* 1 1) (* (+ y x) (+ y x)) (* (sqrt (+ y x)) (sqrt (+ y x))) (* (sqrt (+ y x)) (sqrt (+ y x))) (* 2 1) (* (+ y x) y) (* (+ y x) x) (* y (+ y x)) (* x (+ y x)) (* (+ y x) (* (cbrt (+ y x)) (cbrt (+ y x)))) (* (+ y x) (sqrt (+ y x))) (* (+ y x) 1) (* (+ y x) 1) (* (cbrt (+ y x)) (+ y x)) (* (sqrt (+ y x)) (+ y x)) (* (+ y x) (+ y x)) (* (+ y x) (+ y x)) (* (+ y x) (+ (pow y 3) (pow x 3))) (* (+ y x) (- (* y y) (* x x))) (* (+ (pow y 3) (pow x 3)) (+ y x)) (* (- (* y y) (* x x)) (+ y x)) (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) 0.165 * * [simplify]: iteration 0: 63 enodes 0.181 * * [simplify]: iteration 1: 226 enodes 0.299 * * [simplify]: iteration 2: 1678 enodes 1.075 * * [simplify]: iteration complete: 5001 enodes 1.076 * * [simplify]: Extracting #0: cost 25 inf + 0 1.078 * * [simplify]: Extracting #1: cost 608 inf + 2 1.085 * * [simplify]: Extracting #2: cost 2069 inf + 137 1.100 * * [simplify]: Extracting #3: cost 2120 inf + 4894 1.120 * * [simplify]: Extracting #4: cost 484 inf + 23048 1.136 * * [simplify]: Extracting #5: cost 31 inf + 23725 1.152 * * [simplify]: Extracting #6: cost 6 inf + 23397 1.167 * * [simplify]: Extracting #7: cost 0 inf + 23427 1.182 * [simplify]: Simplified to: 2 (* (+ y x) (+ y x)) 2 (* 2 (log (+ y x))) (* 2 (log (+ y x))) (pow (exp (+ y x)) (+ y x)) (pow (+ y x) (* 2 3)) (* (cbrt (* (+ y x) (+ y x))) (cbrt (* (+ y x) (+ y x)))) (cbrt (* (+ y x) (+ y x))) (pow (+ y x) (* 2 3)) (fabs (+ y x)) (fabs (+ y x)) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))) (* (+ (* y y) (* (- x y) x)) (+ (* y y) (* (- x y) x))) (* (* (+ y x) (- y x)) (+ (pow x 3) (pow y 3))) (* (+ (* y y) (* (- x y) x)) (- y x)) (* (* (+ y x) (- y x)) (+ (pow x 3) (pow y 3))) (* (+ (* y y) (* (- x y) x)) (- y x)) (* (* (+ y x) (- y x)) (* (+ y x) (- y x))) (* (- y x) (- y x)) (* (cbrt (+ y x)) (+ y x)) (* (cbrt (+ y x)) (cbrt (+ y x))) (+ y x) (+ y x) 1 (* (+ y x) (+ y x)) 1 (* (+ y x) (+ y x)) 1 (* (+ y x) (+ y x)) 1 (* (+ y x) (+ y x)) (+ y x) (+ y x) 2 (* y (+ y x)) (* x (+ y x)) (* y (+ y x)) (* x (+ y x)) (* (cbrt (+ y x)) (* (cbrt (+ y x)) (+ y x))) (pow (sqrt (+ y x)) 3) (+ y x) (+ y x) (* (cbrt (+ y x)) (+ y x)) (pow (sqrt (+ y x)) 3) (* (+ y x) (+ y x)) (* (+ y x) (+ y x)) (* (+ (pow x 3) (pow y 3)) (+ y x)) (* (+ y x) (* (+ y x) (- y x))) (* (+ (pow x 3) (pow y 3)) (+ y x)) (* (+ y x) (* (+ y x) (- y x))) (+ (+ (* (* 2 y) x) (* x x)) (* y y)) (+ (+ (* (* 2 y) x) (* x x)) (* y y)) (+ (+ (* (* 2 y) x) (* x x)) (* y y)) 1.183 * * * [progress]: adding candidates to table 1.293 * * [progress]: iteration 2 / 4 1.294 * * * [progress]: picking best candidate 1.303 * * * * [pick]: Picked # 1.303 * * * [progress]: localizing error 1.321 * * * [progress]: generating rewritten candidates 1.321 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1.332 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 1.348 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 1.365 * * * [progress]: generating series expansions 1.365 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1.365 * [backup-simplify]: Simplify (+ (* y (+ y x)) (* x (+ y x))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) 1.365 * [approximate]: Taking taylor expansion of (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) in (y x) around 0 1.365 * [taylor]: Taking taylor expansion of (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) in x 1.365 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.365 * [taylor]: Taking taylor expansion of y in x 1.365 * [backup-simplify]: Simplify y into y 1.365 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2 (* x y))) in x 1.365 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.365 * [taylor]: Taking taylor expansion of x in x 1.365 * [backup-simplify]: Simplify 0 into 0 1.365 * [backup-simplify]: Simplify 1 into 1 1.365 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in x 1.365 * [taylor]: Taking taylor expansion of 2 in x 1.365 * [backup-simplify]: Simplify 2 into 2 1.365 * [taylor]: Taking taylor expansion of (* x y) in x 1.365 * [taylor]: Taking taylor expansion of x in x 1.365 * [backup-simplify]: Simplify 0 into 0 1.366 * [backup-simplify]: Simplify 1 into 1 1.366 * [taylor]: Taking taylor expansion of y in x 1.366 * [backup-simplify]: Simplify y into y 1.366 * [taylor]: Taking taylor expansion of (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) in y 1.366 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.366 * [taylor]: Taking taylor expansion of y in y 1.366 * [backup-simplify]: Simplify 0 into 0 1.366 * [backup-simplify]: Simplify 1 into 1 1.366 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2 (* x y))) in y 1.366 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.366 * [taylor]: Taking taylor expansion of x in y 1.366 * [backup-simplify]: Simplify x into x 1.366 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in y 1.366 * [taylor]: Taking taylor expansion of 2 in y 1.366 * [backup-simplify]: Simplify 2 into 2 1.366 * [taylor]: Taking taylor expansion of (* x y) in y 1.366 * [taylor]: Taking taylor expansion of x in y 1.366 * [backup-simplify]: Simplify x into x 1.366 * [taylor]: Taking taylor expansion of y in y 1.366 * [backup-simplify]: Simplify 0 into 0 1.366 * [backup-simplify]: Simplify 1 into 1 1.366 * [taylor]: Taking taylor expansion of (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) in y 1.366 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.366 * [taylor]: Taking taylor expansion of y in y 1.366 * [backup-simplify]: Simplify 0 into 0 1.366 * [backup-simplify]: Simplify 1 into 1 1.366 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2 (* x y))) in y 1.366 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.366 * [taylor]: Taking taylor expansion of x in y 1.366 * [backup-simplify]: Simplify x into x 1.366 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in y 1.366 * [taylor]: Taking taylor expansion of 2 in y 1.366 * [backup-simplify]: Simplify 2 into 2 1.366 * [taylor]: Taking taylor expansion of (* x y) in y 1.366 * [taylor]: Taking taylor expansion of x in y 1.366 * [backup-simplify]: Simplify x into x 1.366 * [taylor]: Taking taylor expansion of y in y 1.366 * [backup-simplify]: Simplify 0 into 0 1.366 * [backup-simplify]: Simplify 1 into 1 1.366 * [backup-simplify]: Simplify (* x x) into (pow x 2) 1.366 * [backup-simplify]: Simplify (* x 0) into 0 1.367 * [backup-simplify]: Simplify (* 2 0) into 0 1.367 * [backup-simplify]: Simplify (+ (pow x 2) 0) into (pow x 2) 1.367 * [backup-simplify]: Simplify (+ 0 (pow x 2)) into (pow x 2) 1.367 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.367 * [taylor]: Taking taylor expansion of x in x 1.367 * [backup-simplify]: Simplify 0 into 0 1.367 * [backup-simplify]: Simplify 1 into 1 1.367 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0 1.367 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 1.368 * [backup-simplify]: Simplify (+ (* 2 x) (* 0 0)) into (* 2 x) 1.368 * [backup-simplify]: Simplify (+ 0 (* 2 x)) into (* 2 x) 1.368 * [backup-simplify]: Simplify (+ 0 (* 2 x)) into (* 2 x) 1.368 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.368 * [taylor]: Taking taylor expansion of 2 in x 1.368 * [backup-simplify]: Simplify 2 into 2 1.368 * [taylor]: Taking taylor expansion of x in x 1.368 * [backup-simplify]: Simplify 0 into 0 1.368 * [backup-simplify]: Simplify 1 into 1 1.368 * [backup-simplify]: Simplify (* 2 0) into 0 1.368 * [backup-simplify]: Simplify 0 into 0 1.369 * [backup-simplify]: Simplify (* 1 1) into 1 1.369 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0 1.369 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 1.370 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 x) (* 0 0))) into 0 1.370 * [backup-simplify]: Simplify (+ 0 0) into 0 1.371 * [backup-simplify]: Simplify (+ 1 0) into 1 1.371 * [taylor]: Taking taylor expansion of 1 in x 1.371 * [backup-simplify]: Simplify 1 into 1 1.371 * [backup-simplify]: Simplify 1 into 1 1.371 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 1.371 * [backup-simplify]: Simplify 2 into 2 1.371 * [backup-simplify]: Simplify (* 1 1) into 1 1.371 * [backup-simplify]: Simplify 1 into 1 1.372 * [backup-simplify]: Simplify (+ (* 1 (pow (* x 1) 2)) (+ (* 2 (* x y)) (* 1 (pow (* 1 y) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) 1.372 * [backup-simplify]: Simplify (+ (* (/ 1 y) (+ (/ 1 y) (/ 1 x))) (* (/ 1 x) (+ (/ 1 y) (/ 1 x)))) into (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) 1.372 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) in (y x) around 0 1.372 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) in x 1.372 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 1.372 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.372 * [taylor]: Taking taylor expansion of y in x 1.372 * [backup-simplify]: Simplify y into y 1.372 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.372 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 1.372 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y)))) in x 1.372 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.372 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.373 * [taylor]: Taking taylor expansion of x in x 1.373 * [backup-simplify]: Simplify 0 into 0 1.373 * [backup-simplify]: Simplify 1 into 1 1.373 * [backup-simplify]: Simplify (* 1 1) into 1 1.373 * [backup-simplify]: Simplify (/ 1 1) into 1 1.373 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x 1.373 * [taylor]: Taking taylor expansion of 2 in x 1.373 * [backup-simplify]: Simplify 2 into 2 1.373 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.373 * [taylor]: Taking taylor expansion of (* x y) in x 1.373 * [taylor]: Taking taylor expansion of x in x 1.373 * [backup-simplify]: Simplify 0 into 0 1.373 * [backup-simplify]: Simplify 1 into 1 1.373 * [taylor]: Taking taylor expansion of y in x 1.373 * [backup-simplify]: Simplify y into y 1.373 * [backup-simplify]: Simplify (* 0 y) into 0 1.374 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 1.374 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.374 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) in y 1.374 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.374 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.374 * [taylor]: Taking taylor expansion of y in y 1.374 * [backup-simplify]: Simplify 0 into 0 1.374 * [backup-simplify]: Simplify 1 into 1 1.374 * [backup-simplify]: Simplify (* 1 1) into 1 1.374 * [backup-simplify]: Simplify (/ 1 1) into 1 1.374 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y)))) in y 1.374 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 1.374 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.375 * [taylor]: Taking taylor expansion of x in y 1.375 * [backup-simplify]: Simplify x into x 1.375 * [backup-simplify]: Simplify (* x x) into (pow x 2) 1.375 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 1.375 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y 1.375 * [taylor]: Taking taylor expansion of 2 in y 1.375 * [backup-simplify]: Simplify 2 into 2 1.375 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.375 * [taylor]: Taking taylor expansion of (* x y) in y 1.375 * [taylor]: Taking taylor expansion of x in y 1.375 * [backup-simplify]: Simplify x into x 1.375 * [taylor]: Taking taylor expansion of y in y 1.375 * [backup-simplify]: Simplify 0 into 0 1.375 * [backup-simplify]: Simplify 1 into 1 1.375 * [backup-simplify]: Simplify (* x 0) into 0 1.376 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 1.376 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.376 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) in y 1.376 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.376 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.376 * [taylor]: Taking taylor expansion of y in y 1.376 * [backup-simplify]: Simplify 0 into 0 1.376 * [backup-simplify]: Simplify 1 into 1 1.376 * [backup-simplify]: Simplify (* 1 1) into 1 1.376 * [backup-simplify]: Simplify (/ 1 1) into 1 1.376 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y)))) in y 1.376 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 1.376 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.376 * [taylor]: Taking taylor expansion of x in y 1.376 * [backup-simplify]: Simplify x into x 1.376 * [backup-simplify]: Simplify (* x x) into (pow x 2) 1.376 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 1.376 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y 1.376 * [taylor]: Taking taylor expansion of 2 in y 1.376 * [backup-simplify]: Simplify 2 into 2 1.376 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.376 * [taylor]: Taking taylor expansion of (* x y) in y 1.376 * [taylor]: Taking taylor expansion of x in y 1.377 * [backup-simplify]: Simplify x into x 1.377 * [taylor]: Taking taylor expansion of y in y 1.377 * [backup-simplify]: Simplify 0 into 0 1.377 * [backup-simplify]: Simplify 1 into 1 1.377 * [backup-simplify]: Simplify (* x 0) into 0 1.377 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 1.377 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.377 * [backup-simplify]: Simplify (+ 1 0) into 1 1.377 * [taylor]: Taking taylor expansion of 1 in x 1.377 * [backup-simplify]: Simplify 1 into 1 1.378 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.378 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.378 * [backup-simplify]: Simplify (* 2 (/ 1 x)) into (/ 2 x) 1.378 * [backup-simplify]: Simplify (+ 0 (/ 2 x)) into (* 2 (/ 1 x)) 1.378 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 x))) into (* 2 (/ 1 x)) 1.378 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.378 * [taylor]: Taking taylor expansion of 2 in x 1.378 * [backup-simplify]: Simplify 2 into 2 1.378 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.378 * [taylor]: Taking taylor expansion of x in x 1.378 * [backup-simplify]: Simplify 0 into 0 1.378 * [backup-simplify]: Simplify 1 into 1 1.379 * [backup-simplify]: Simplify (/ 1 1) into 1 1.379 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.380 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.380 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 1.380 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1.381 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 x))) into 0 1.381 * [backup-simplify]: Simplify (+ (/ 1 (pow x 2)) 0) into (/ 1 (pow x 2)) 1.381 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow x 2))) into (/ 1 (pow x 2)) 1.381 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.381 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.381 * [taylor]: Taking taylor expansion of x in x 1.381 * [backup-simplify]: Simplify 0 into 0 1.381 * [backup-simplify]: Simplify 1 into 1 1.381 * [backup-simplify]: Simplify (* 1 1) into 1 1.381 * [backup-simplify]: Simplify (/ 1 1) into 1 1.381 * [backup-simplify]: Simplify 1 into 1 1.382 * [backup-simplify]: Simplify (* 2 1) into 2 1.382 * [backup-simplify]: Simplify 2 into 2 1.382 * [backup-simplify]: Simplify 1 into 1 1.382 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 y))) 2)) (+ (* 2 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (* 1 (pow (* (/ 1 (/ 1 x)) 1) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) 1.383 * [backup-simplify]: Simplify (+ (* (/ 1 (- y)) (+ (/ 1 (- y)) (/ 1 (- x)))) (* (/ 1 (- x)) (+ (/ 1 (- y)) (/ 1 (- x))))) into (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) 1.383 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) in (y x) around 0 1.383 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) in x 1.383 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 1.383 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.383 * [taylor]: Taking taylor expansion of y in x 1.383 * [backup-simplify]: Simplify y into y 1.383 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.383 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 1.383 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y)))) in x 1.383 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.383 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.383 * [taylor]: Taking taylor expansion of x in x 1.383 * [backup-simplify]: Simplify 0 into 0 1.383 * [backup-simplify]: Simplify 1 into 1 1.383 * [backup-simplify]: Simplify (* 1 1) into 1 1.383 * [backup-simplify]: Simplify (/ 1 1) into 1 1.383 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x 1.383 * [taylor]: Taking taylor expansion of 2 in x 1.383 * [backup-simplify]: Simplify 2 into 2 1.383 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.383 * [taylor]: Taking taylor expansion of (* x y) in x 1.383 * [taylor]: Taking taylor expansion of x in x 1.383 * [backup-simplify]: Simplify 0 into 0 1.383 * [backup-simplify]: Simplify 1 into 1 1.383 * [taylor]: Taking taylor expansion of y in x 1.384 * [backup-simplify]: Simplify y into y 1.384 * [backup-simplify]: Simplify (* 0 y) into 0 1.384 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 1.384 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.384 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) in y 1.384 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.384 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.384 * [taylor]: Taking taylor expansion of y in y 1.384 * [backup-simplify]: Simplify 0 into 0 1.384 * [backup-simplify]: Simplify 1 into 1 1.384 * [backup-simplify]: Simplify (* 1 1) into 1 1.384 * [backup-simplify]: Simplify (/ 1 1) into 1 1.384 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y)))) in y 1.385 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 1.385 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.385 * [taylor]: Taking taylor expansion of x in y 1.385 * [backup-simplify]: Simplify x into x 1.385 * [backup-simplify]: Simplify (* x x) into (pow x 2) 1.385 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 1.385 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y 1.385 * [taylor]: Taking taylor expansion of 2 in y 1.385 * [backup-simplify]: Simplify 2 into 2 1.385 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.385 * [taylor]: Taking taylor expansion of (* x y) in y 1.385 * [taylor]: Taking taylor expansion of x in y 1.385 * [backup-simplify]: Simplify x into x 1.385 * [taylor]: Taking taylor expansion of y in y 1.385 * [backup-simplify]: Simplify 0 into 0 1.385 * [backup-simplify]: Simplify 1 into 1 1.385 * [backup-simplify]: Simplify (* x 0) into 0 1.385 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 1.385 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.385 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) in y 1.385 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.385 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.385 * [taylor]: Taking taylor expansion of y in y 1.385 * [backup-simplify]: Simplify 0 into 0 1.385 * [backup-simplify]: Simplify 1 into 1 1.386 * [backup-simplify]: Simplify (* 1 1) into 1 1.386 * [backup-simplify]: Simplify (/ 1 1) into 1 1.386 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y)))) in y 1.386 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 1.386 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.386 * [taylor]: Taking taylor expansion of x in y 1.386 * [backup-simplify]: Simplify x into x 1.386 * [backup-simplify]: Simplify (* x x) into (pow x 2) 1.386 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 1.386 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y 1.386 * [taylor]: Taking taylor expansion of 2 in y 1.386 * [backup-simplify]: Simplify 2 into 2 1.386 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.386 * [taylor]: Taking taylor expansion of (* x y) in y 1.386 * [taylor]: Taking taylor expansion of x in y 1.386 * [backup-simplify]: Simplify x into x 1.386 * [taylor]: Taking taylor expansion of y in y 1.386 * [backup-simplify]: Simplify 0 into 0 1.386 * [backup-simplify]: Simplify 1 into 1 1.386 * [backup-simplify]: Simplify (* x 0) into 0 1.386 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 1.387 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.387 * [backup-simplify]: Simplify (+ 1 0) into 1 1.387 * [taylor]: Taking taylor expansion of 1 in x 1.387 * [backup-simplify]: Simplify 1 into 1 1.387 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.388 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.388 * [backup-simplify]: Simplify (* 2 (/ 1 x)) into (/ 2 x) 1.388 * [backup-simplify]: Simplify (+ 0 (/ 2 x)) into (* 2 (/ 1 x)) 1.388 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 x))) into (* 2 (/ 1 x)) 1.388 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.388 * [taylor]: Taking taylor expansion of 2 in x 1.388 * [backup-simplify]: Simplify 2 into 2 1.388 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.388 * [taylor]: Taking taylor expansion of x in x 1.388 * [backup-simplify]: Simplify 0 into 0 1.388 * [backup-simplify]: Simplify 1 into 1 1.388 * [backup-simplify]: Simplify (/ 1 1) into 1 1.389 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.389 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.390 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 1.390 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1.390 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 x))) into 0 1.390 * [backup-simplify]: Simplify (+ (/ 1 (pow x 2)) 0) into (/ 1 (pow x 2)) 1.390 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow x 2))) into (/ 1 (pow x 2)) 1.390 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.391 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.391 * [taylor]: Taking taylor expansion of x in x 1.391 * [backup-simplify]: Simplify 0 into 0 1.391 * [backup-simplify]: Simplify 1 into 1 1.391 * [backup-simplify]: Simplify (* 1 1) into 1 1.391 * [backup-simplify]: Simplify (/ 1 1) into 1 1.391 * [backup-simplify]: Simplify 1 into 1 1.391 * [backup-simplify]: Simplify (* 2 1) into 2 1.391 * [backup-simplify]: Simplify 2 into 2 1.391 * [backup-simplify]: Simplify 1 into 1 1.392 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- y)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y))))) (* 1 (pow (* (/ 1 (/ 1 (- x))) 1) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) 1.392 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 1.392 * [backup-simplify]: Simplify (* x (+ y x)) into (* x (+ x y)) 1.392 * [approximate]: Taking taylor expansion of (* x (+ x y)) in (x y) around 0 1.392 * [taylor]: Taking taylor expansion of (* x (+ x y)) in y 1.392 * [taylor]: Taking taylor expansion of x in y 1.392 * [backup-simplify]: Simplify x into x 1.392 * [taylor]: Taking taylor expansion of (+ x y) in y 1.392 * [taylor]: Taking taylor expansion of x in y 1.392 * [backup-simplify]: Simplify x into x 1.392 * [taylor]: Taking taylor expansion of y in y 1.392 * [backup-simplify]: Simplify 0 into 0 1.392 * [backup-simplify]: Simplify 1 into 1 1.392 * [taylor]: Taking taylor expansion of (* x (+ x y)) in x 1.392 * [taylor]: Taking taylor expansion of x in x 1.392 * [backup-simplify]: Simplify 0 into 0 1.392 * [backup-simplify]: Simplify 1 into 1 1.392 * [taylor]: Taking taylor expansion of (+ x y) in x 1.392 * [taylor]: Taking taylor expansion of x in x 1.392 * [backup-simplify]: Simplify 0 into 0 1.392 * [backup-simplify]: Simplify 1 into 1 1.392 * [taylor]: Taking taylor expansion of y in x 1.392 * [backup-simplify]: Simplify y into y 1.392 * [taylor]: Taking taylor expansion of (* x (+ x y)) in x 1.392 * [taylor]: Taking taylor expansion of x in x 1.392 * [backup-simplify]: Simplify 0 into 0 1.392 * [backup-simplify]: Simplify 1 into 1 1.392 * [taylor]: Taking taylor expansion of (+ x y) in x 1.392 * [taylor]: Taking taylor expansion of x in x 1.392 * [backup-simplify]: Simplify 0 into 0 1.392 * [backup-simplify]: Simplify 1 into 1 1.392 * [taylor]: Taking taylor expansion of y in x 1.392 * [backup-simplify]: Simplify y into y 1.392 * [backup-simplify]: Simplify (+ 0 y) into y 1.392 * [backup-simplify]: Simplify (* 0 y) into 0 1.393 * [taylor]: Taking taylor expansion of 0 in y 1.393 * [backup-simplify]: Simplify 0 into 0 1.393 * [backup-simplify]: Simplify 0 into 0 1.393 * [backup-simplify]: Simplify (+ 1 0) into 1 1.393 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 y)) into y 1.393 * [taylor]: Taking taylor expansion of y in y 1.393 * [backup-simplify]: Simplify 0 into 0 1.393 * [backup-simplify]: Simplify 1 into 1 1.393 * [backup-simplify]: Simplify 0 into 0 1.393 * [backup-simplify]: Simplify 0 into 0 1.394 * [backup-simplify]: Simplify (+ 0 0) into 0 1.394 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 y))) into 1 1.394 * [taylor]: Taking taylor expansion of 1 in y 1.394 * [backup-simplify]: Simplify 1 into 1 1.394 * [backup-simplify]: Simplify 1 into 1 1.394 * [backup-simplify]: Simplify 1 into 1 1.394 * [backup-simplify]: Simplify 0 into 0 1.394 * [backup-simplify]: Simplify (+ 0 0) into 0 1.395 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 y)))) into 0 1.395 * [taylor]: Taking taylor expansion of 0 in y 1.395 * [backup-simplify]: Simplify 0 into 0 1.395 * [backup-simplify]: Simplify 0 into 0 1.395 * [backup-simplify]: Simplify 0 into 0 1.395 * [backup-simplify]: Simplify 0 into 0 1.395 * [backup-simplify]: Simplify 0 into 0 1.398 * [backup-simplify]: Simplify (+ 0 0) into 0 1.399 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 y))))) into 0 1.399 * [taylor]: Taking taylor expansion of 0 in y 1.399 * [backup-simplify]: Simplify 0 into 0 1.399 * [backup-simplify]: Simplify 0 into 0 1.399 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* 1 (pow (* 1 x) 2))) into (+ (pow x 2) (* x y)) 1.399 * [backup-simplify]: Simplify (* (/ 1 x) (+ (/ 1 y) (/ 1 x))) into (/ (+ (/ 1 x) (/ 1 y)) x) 1.399 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in (x y) around 0 1.399 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in y 1.400 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 1.400 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.400 * [taylor]: Taking taylor expansion of x in y 1.400 * [backup-simplify]: Simplify x into x 1.400 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.400 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.400 * [taylor]: Taking taylor expansion of y in y 1.400 * [backup-simplify]: Simplify 0 into 0 1.400 * [backup-simplify]: Simplify 1 into 1 1.400 * [backup-simplify]: Simplify (/ 1 1) into 1 1.400 * [taylor]: Taking taylor expansion of x in y 1.400 * [backup-simplify]: Simplify x into x 1.400 * [backup-simplify]: Simplify (+ 0 1) into 1 1.400 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.400 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in x 1.400 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 1.400 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.400 * [taylor]: Taking taylor expansion of x in x 1.400 * [backup-simplify]: Simplify 0 into 0 1.400 * [backup-simplify]: Simplify 1 into 1 1.401 * [backup-simplify]: Simplify (/ 1 1) into 1 1.401 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.401 * [taylor]: Taking taylor expansion of y in x 1.401 * [backup-simplify]: Simplify y into y 1.401 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.401 * [taylor]: Taking taylor expansion of x in x 1.401 * [backup-simplify]: Simplify 0 into 0 1.401 * [backup-simplify]: Simplify 1 into 1 1.401 * [backup-simplify]: Simplify (+ 1 0) into 1 1.401 * [backup-simplify]: Simplify (/ 1 1) into 1 1.401 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in x 1.401 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 1.401 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.401 * [taylor]: Taking taylor expansion of x in x 1.401 * [backup-simplify]: Simplify 0 into 0 1.401 * [backup-simplify]: Simplify 1 into 1 1.402 * [backup-simplify]: Simplify (/ 1 1) into 1 1.402 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.402 * [taylor]: Taking taylor expansion of y in x 1.402 * [backup-simplify]: Simplify y into y 1.402 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.402 * [taylor]: Taking taylor expansion of x in x 1.402 * [backup-simplify]: Simplify 0 into 0 1.402 * [backup-simplify]: Simplify 1 into 1 1.402 * [backup-simplify]: Simplify (+ 1 0) into 1 1.402 * [backup-simplify]: Simplify (/ 1 1) into 1 1.402 * [taylor]: Taking taylor expansion of 1 in y 1.402 * [backup-simplify]: Simplify 1 into 1 1.403 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.403 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 1.403 * [backup-simplify]: Simplify (- (/ (/ 1 y) 1) (+ (* 1 (/ 0 1)))) into (/ 1 y) 1.403 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.403 * [taylor]: Taking taylor expansion of y in y 1.403 * [backup-simplify]: Simplify 0 into 0 1.403 * [backup-simplify]: Simplify 1 into 1 1.404 * [backup-simplify]: Simplify (/ 1 1) into 1 1.404 * [backup-simplify]: Simplify 1 into 1 1.404 * [backup-simplify]: Simplify 1 into 1 1.404 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.404 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1.405 * [backup-simplify]: Simplify (+ 0 0) into 0 1.405 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)))) into 0 1.405 * [taylor]: Taking taylor expansion of 0 in y 1.405 * [backup-simplify]: Simplify 0 into 0 1.406 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.406 * [backup-simplify]: Simplify 0 into 0 1.406 * [backup-simplify]: Simplify 0 into 0 1.407 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.407 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.407 * [backup-simplify]: Simplify (+ 0 0) into 0 1.408 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.408 * [taylor]: Taking taylor expansion of 0 in y 1.408 * [backup-simplify]: Simplify 0 into 0 1.408 * [backup-simplify]: Simplify 0 into 0 1.409 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.409 * [backup-simplify]: Simplify 0 into 0 1.409 * [backup-simplify]: Simplify 0 into 0 1.409 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.409 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.410 * [backup-simplify]: Simplify (+ 0 0) into 0 1.411 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.412 * [taylor]: Taking taylor expansion of 0 in y 1.412 * [backup-simplify]: Simplify 0 into 0 1.412 * [backup-simplify]: Simplify 0 into 0 1.412 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ (pow x 2) (* x y)) 1.412 * [backup-simplify]: Simplify (* (/ 1 (- x)) (+ (/ 1 (- y)) (/ 1 (- x)))) into (/ (+ (/ 1 x) (/ 1 y)) x) 1.412 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in (x y) around 0 1.412 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in y 1.412 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 1.412 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.412 * [taylor]: Taking taylor expansion of x in y 1.412 * [backup-simplify]: Simplify x into x 1.412 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.412 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.412 * [taylor]: Taking taylor expansion of y in y 1.412 * [backup-simplify]: Simplify 0 into 0 1.412 * [backup-simplify]: Simplify 1 into 1 1.412 * [backup-simplify]: Simplify (/ 1 1) into 1 1.413 * [taylor]: Taking taylor expansion of x in y 1.413 * [backup-simplify]: Simplify x into x 1.413 * [backup-simplify]: Simplify (+ 0 1) into 1 1.413 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.413 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in x 1.413 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 1.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.413 * [taylor]: Taking taylor expansion of x in x 1.413 * [backup-simplify]: Simplify 0 into 0 1.413 * [backup-simplify]: Simplify 1 into 1 1.413 * [backup-simplify]: Simplify (/ 1 1) into 1 1.413 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.413 * [taylor]: Taking taylor expansion of y in x 1.413 * [backup-simplify]: Simplify y into y 1.413 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.414 * [taylor]: Taking taylor expansion of x in x 1.414 * [backup-simplify]: Simplify 0 into 0 1.414 * [backup-simplify]: Simplify 1 into 1 1.414 * [backup-simplify]: Simplify (+ 1 0) into 1 1.414 * [backup-simplify]: Simplify (/ 1 1) into 1 1.414 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in x 1.414 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 1.414 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.414 * [taylor]: Taking taylor expansion of x in x 1.414 * [backup-simplify]: Simplify 0 into 0 1.414 * [backup-simplify]: Simplify 1 into 1 1.415 * [backup-simplify]: Simplify (/ 1 1) into 1 1.415 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.415 * [taylor]: Taking taylor expansion of y in x 1.415 * [backup-simplify]: Simplify y into y 1.415 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.415 * [taylor]: Taking taylor expansion of x in x 1.415 * [backup-simplify]: Simplify 0 into 0 1.415 * [backup-simplify]: Simplify 1 into 1 1.415 * [backup-simplify]: Simplify (+ 1 0) into 1 1.416 * [backup-simplify]: Simplify (/ 1 1) into 1 1.416 * [taylor]: Taking taylor expansion of 1 in y 1.416 * [backup-simplify]: Simplify 1 into 1 1.417 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.417 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 1.417 * [backup-simplify]: Simplify (- (/ (/ 1 y) 1) (+ (* 1 (/ 0 1)))) into (/ 1 y) 1.417 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.417 * [taylor]: Taking taylor expansion of y in y 1.418 * [backup-simplify]: Simplify 0 into 0 1.418 * [backup-simplify]: Simplify 1 into 1 1.418 * [backup-simplify]: Simplify (/ 1 1) into 1 1.418 * [backup-simplify]: Simplify 1 into 1 1.418 * [backup-simplify]: Simplify 1 into 1 1.419 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.419 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1.419 * [backup-simplify]: Simplify (+ 0 0) into 0 1.421 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)))) into 0 1.421 * [taylor]: Taking taylor expansion of 0 in y 1.421 * [backup-simplify]: Simplify 0 into 0 1.422 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.422 * [backup-simplify]: Simplify 0 into 0 1.422 * [backup-simplify]: Simplify 0 into 0 1.423 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.423 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.423 * [backup-simplify]: Simplify (+ 0 0) into 0 1.425 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.425 * [taylor]: Taking taylor expansion of 0 in y 1.425 * [backup-simplify]: Simplify 0 into 0 1.425 * [backup-simplify]: Simplify 0 into 0 1.426 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.426 * [backup-simplify]: Simplify 0 into 0 1.426 * [backup-simplify]: Simplify 0 into 0 1.427 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.427 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.428 * [backup-simplify]: Simplify (+ 0 0) into 0 1.430 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.430 * [taylor]: Taking taylor expansion of 0 in y 1.430 * [backup-simplify]: Simplify 0 into 0 1.430 * [backup-simplify]: Simplify 0 into 0 1.431 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ (pow x 2) (* x y)) 1.431 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 1.431 * [backup-simplify]: Simplify (* y (+ y x)) into (* (+ x y) y) 1.431 * [approximate]: Taking taylor expansion of (* (+ x y) y) in (y x) around 0 1.431 * [taylor]: Taking taylor expansion of (* (+ x y) y) in x 1.431 * [taylor]: Taking taylor expansion of (+ x y) in x 1.431 * [taylor]: Taking taylor expansion of x in x 1.431 * [backup-simplify]: Simplify 0 into 0 1.431 * [backup-simplify]: Simplify 1 into 1 1.431 * [taylor]: Taking taylor expansion of y in x 1.431 * [backup-simplify]: Simplify y into y 1.431 * [taylor]: Taking taylor expansion of y in x 1.431 * [backup-simplify]: Simplify y into y 1.431 * [taylor]: Taking taylor expansion of (* (+ x y) y) in y 1.431 * [taylor]: Taking taylor expansion of (+ x y) in y 1.431 * [taylor]: Taking taylor expansion of x in y 1.431 * [backup-simplify]: Simplify x into x 1.431 * [taylor]: Taking taylor expansion of y in y 1.431 * [backup-simplify]: Simplify 0 into 0 1.431 * [backup-simplify]: Simplify 1 into 1 1.432 * [taylor]: Taking taylor expansion of y in y 1.432 * [backup-simplify]: Simplify 0 into 0 1.432 * [backup-simplify]: Simplify 1 into 1 1.432 * [taylor]: Taking taylor expansion of (* (+ x y) y) in y 1.432 * [taylor]: Taking taylor expansion of (+ x y) in y 1.432 * [taylor]: Taking taylor expansion of x in y 1.432 * [backup-simplify]: Simplify x into x 1.432 * [taylor]: Taking taylor expansion of y in y 1.432 * [backup-simplify]: Simplify 0 into 0 1.432 * [backup-simplify]: Simplify 1 into 1 1.432 * [taylor]: Taking taylor expansion of y in y 1.432 * [backup-simplify]: Simplify 0 into 0 1.432 * [backup-simplify]: Simplify 1 into 1 1.432 * [backup-simplify]: Simplify (+ x 0) into x 1.432 * [backup-simplify]: Simplify (* x 0) into 0 1.432 * [taylor]: Taking taylor expansion of 0 in x 1.432 * [backup-simplify]: Simplify 0 into 0 1.432 * [backup-simplify]: Simplify 0 into 0 1.433 * [backup-simplify]: Simplify (+ 0 1) into 1 1.433 * [backup-simplify]: Simplify (+ (* x 1) (* 1 0)) into x 1.433 * [taylor]: Taking taylor expansion of x in x 1.433 * [backup-simplify]: Simplify 0 into 0 1.433 * [backup-simplify]: Simplify 1 into 1 1.433 * [backup-simplify]: Simplify 0 into 0 1.433 * [backup-simplify]: Simplify 0 into 0 1.434 * [backup-simplify]: Simplify (+ 0 0) into 0 1.434 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 1 1) (* 0 0))) into 1 1.434 * [taylor]: Taking taylor expansion of 1 in x 1.434 * [backup-simplify]: Simplify 1 into 1 1.434 * [backup-simplify]: Simplify 1 into 1 1.435 * [backup-simplify]: Simplify 1 into 1 1.435 * [backup-simplify]: Simplify 0 into 0 1.435 * [backup-simplify]: Simplify (+ 0 0) into 0 1.436 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 1.436 * [taylor]: Taking taylor expansion of 0 in x 1.436 * [backup-simplify]: Simplify 0 into 0 1.436 * [backup-simplify]: Simplify 0 into 0 1.436 * [backup-simplify]: Simplify 0 into 0 1.436 * [backup-simplify]: Simplify 0 into 0 1.436 * [backup-simplify]: Simplify 0 into 0 1.437 * [backup-simplify]: Simplify (+ 0 0) into 0 1.438 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1.438 * [taylor]: Taking taylor expansion of 0 in x 1.438 * [backup-simplify]: Simplify 0 into 0 1.438 * [backup-simplify]: Simplify 0 into 0 1.438 * [backup-simplify]: Simplify (+ (* 1 (* x y)) (* 1 (pow (* 1 y) 2))) into (+ (pow y 2) (* x y)) 1.438 * [backup-simplify]: Simplify (* (/ 1 y) (+ (/ 1 y) (/ 1 x))) into (/ (+ (/ 1 x) (/ 1 y)) y) 1.438 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in (y x) around 0 1.438 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in x 1.438 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 1.438 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.439 * [taylor]: Taking taylor expansion of x in x 1.439 * [backup-simplify]: Simplify 0 into 0 1.439 * [backup-simplify]: Simplify 1 into 1 1.439 * [backup-simplify]: Simplify (/ 1 1) into 1 1.439 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.439 * [taylor]: Taking taylor expansion of y in x 1.439 * [backup-simplify]: Simplify y into y 1.439 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.439 * [taylor]: Taking taylor expansion of y in x 1.439 * [backup-simplify]: Simplify y into y 1.440 * [backup-simplify]: Simplify (+ 1 0) into 1 1.440 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.440 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in y 1.440 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 1.440 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.440 * [taylor]: Taking taylor expansion of x in y 1.440 * [backup-simplify]: Simplify x into x 1.440 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.440 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.440 * [taylor]: Taking taylor expansion of y in y 1.440 * [backup-simplify]: Simplify 0 into 0 1.440 * [backup-simplify]: Simplify 1 into 1 1.440 * [backup-simplify]: Simplify (/ 1 1) into 1 1.441 * [taylor]: Taking taylor expansion of y in y 1.441 * [backup-simplify]: Simplify 0 into 0 1.441 * [backup-simplify]: Simplify 1 into 1 1.441 * [backup-simplify]: Simplify (+ 0 1) into 1 1.441 * [backup-simplify]: Simplify (/ 1 1) into 1 1.441 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in y 1.441 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 1.442 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.442 * [taylor]: Taking taylor expansion of x in y 1.442 * [backup-simplify]: Simplify x into x 1.442 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.442 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.442 * [taylor]: Taking taylor expansion of y in y 1.442 * [backup-simplify]: Simplify 0 into 0 1.442 * [backup-simplify]: Simplify 1 into 1 1.442 * [backup-simplify]: Simplify (/ 1 1) into 1 1.442 * [taylor]: Taking taylor expansion of y in y 1.442 * [backup-simplify]: Simplify 0 into 0 1.442 * [backup-simplify]: Simplify 1 into 1 1.443 * [backup-simplify]: Simplify (+ 0 1) into 1 1.443 * [backup-simplify]: Simplify (/ 1 1) into 1 1.443 * [taylor]: Taking taylor expansion of 1 in x 1.443 * [backup-simplify]: Simplify 1 into 1 1.444 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.444 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 1.445 * [backup-simplify]: Simplify (- (/ (/ 1 x) 1) (+ (* 1 (/ 0 1)))) into (/ 1 x) 1.445 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.445 * [taylor]: Taking taylor expansion of x in x 1.445 * [backup-simplify]: Simplify 0 into 0 1.445 * [backup-simplify]: Simplify 1 into 1 1.445 * [backup-simplify]: Simplify (/ 1 1) into 1 1.446 * [backup-simplify]: Simplify 1 into 1 1.446 * [backup-simplify]: Simplify 1 into 1 1.446 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1.447 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.447 * [backup-simplify]: Simplify (+ 0 0) into 0 1.449 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 x) (/ 0 1)))) into 0 1.449 * [taylor]: Taking taylor expansion of 0 in x 1.449 * [backup-simplify]: Simplify 0 into 0 1.450 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.450 * [backup-simplify]: Simplify 0 into 0 1.450 * [backup-simplify]: Simplify 0 into 0 1.450 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1.451 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.451 * [backup-simplify]: Simplify (+ 0 0) into 0 1.453 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 x) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.453 * [taylor]: Taking taylor expansion of 0 in x 1.453 * [backup-simplify]: Simplify 0 into 0 1.453 * [backup-simplify]: Simplify 0 into 0 1.454 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.454 * [backup-simplify]: Simplify 0 into 0 1.454 * [backup-simplify]: Simplify 0 into 0 1.455 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1.456 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.456 * [backup-simplify]: Simplify (+ 0 0) into 0 1.459 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.459 * [taylor]: Taking taylor expansion of 0 in x 1.459 * [backup-simplify]: Simplify 0 into 0 1.459 * [backup-simplify]: Simplify 0 into 0 1.459 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 y))) 2)) (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (+ (pow y 2) (* x y)) 1.460 * [backup-simplify]: Simplify (* (/ 1 (- y)) (+ (/ 1 (- y)) (/ 1 (- x)))) into (/ (+ (/ 1 x) (/ 1 y)) y) 1.460 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in (y x) around 0 1.460 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in x 1.460 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 1.460 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.460 * [taylor]: Taking taylor expansion of x in x 1.460 * [backup-simplify]: Simplify 0 into 0 1.460 * [backup-simplify]: Simplify 1 into 1 1.460 * [backup-simplify]: Simplify (/ 1 1) into 1 1.460 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.460 * [taylor]: Taking taylor expansion of y in x 1.460 * [backup-simplify]: Simplify y into y 1.460 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.460 * [taylor]: Taking taylor expansion of y in x 1.460 * [backup-simplify]: Simplify y into y 1.461 * [backup-simplify]: Simplify (+ 1 0) into 1 1.461 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.461 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in y 1.461 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 1.461 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.461 * [taylor]: Taking taylor expansion of x in y 1.461 * [backup-simplify]: Simplify x into x 1.461 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.461 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.461 * [taylor]: Taking taylor expansion of y in y 1.461 * [backup-simplify]: Simplify 0 into 0 1.461 * [backup-simplify]: Simplify 1 into 1 1.462 * [backup-simplify]: Simplify (/ 1 1) into 1 1.462 * [taylor]: Taking taylor expansion of y in y 1.462 * [backup-simplify]: Simplify 0 into 0 1.462 * [backup-simplify]: Simplify 1 into 1 1.462 * [backup-simplify]: Simplify (+ 0 1) into 1 1.463 * [backup-simplify]: Simplify (/ 1 1) into 1 1.463 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in y 1.463 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 1.463 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.463 * [taylor]: Taking taylor expansion of x in y 1.463 * [backup-simplify]: Simplify x into x 1.463 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.463 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.463 * [taylor]: Taking taylor expansion of y in y 1.463 * [backup-simplify]: Simplify 0 into 0 1.463 * [backup-simplify]: Simplify 1 into 1 1.463 * [backup-simplify]: Simplify (/ 1 1) into 1 1.463 * [taylor]: Taking taylor expansion of y in y 1.463 * [backup-simplify]: Simplify 0 into 0 1.463 * [backup-simplify]: Simplify 1 into 1 1.464 * [backup-simplify]: Simplify (+ 0 1) into 1 1.464 * [backup-simplify]: Simplify (/ 1 1) into 1 1.464 * [taylor]: Taking taylor expansion of 1 in x 1.464 * [backup-simplify]: Simplify 1 into 1 1.465 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.465 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 1.466 * [backup-simplify]: Simplify (- (/ (/ 1 x) 1) (+ (* 1 (/ 0 1)))) into (/ 1 x) 1.466 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.466 * [taylor]: Taking taylor expansion of x in x 1.466 * [backup-simplify]: Simplify 0 into 0 1.466 * [backup-simplify]: Simplify 1 into 1 1.467 * [backup-simplify]: Simplify (/ 1 1) into 1 1.467 * [backup-simplify]: Simplify 1 into 1 1.467 * [backup-simplify]: Simplify 1 into 1 1.467 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1.468 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.468 * [backup-simplify]: Simplify (+ 0 0) into 0 1.469 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 x) (/ 0 1)))) into 0 1.469 * [taylor]: Taking taylor expansion of 0 in x 1.470 * [backup-simplify]: Simplify 0 into 0 1.470 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.470 * [backup-simplify]: Simplify 0 into 0 1.470 * [backup-simplify]: Simplify 0 into 0 1.471 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1.472 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.472 * [backup-simplify]: Simplify (+ 0 0) into 0 1.474 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 x) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.474 * [taylor]: Taking taylor expansion of 0 in x 1.474 * [backup-simplify]: Simplify 0 into 0 1.474 * [backup-simplify]: Simplify 0 into 0 1.475 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.475 * [backup-simplify]: Simplify 0 into 0 1.475 * [backup-simplify]: Simplify 0 into 0 1.475 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1.476 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.477 * [backup-simplify]: Simplify (+ 0 0) into 0 1.479 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.479 * [taylor]: Taking taylor expansion of 0 in x 1.479 * [backup-simplify]: Simplify 0 into 0 1.479 * [backup-simplify]: Simplify 0 into 0 1.480 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- y)))) 2)) (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) into (+ (pow y 2) (* x y)) 1.480 * * * [progress]: simplifying candidates 1.481 * [simplify]: Simplifying: (* (exp (* y (+ y x))) (exp (* x (+ y x)))) (log (+ (* y (+ y x)) (* x (+ y x)))) (exp (+ (* y (+ y x)) (* x (+ y x)))) (* (cbrt (+ (* y (+ y x)) (* x (+ y x)))) (cbrt (+ (* y (+ y x)) (* x (+ y x))))) (cbrt (+ (* y (+ y x)) (* x (+ y x)))) (* (* (+ (* y (+ y x)) (* x (+ y x))) (+ (* y (+ y x)) (* x (+ y x)))) (+ (* y (+ y x)) (* x (+ y x)))) (sqrt (+ (* y (+ y x)) (* x (+ y x)))) (sqrt (+ (* y (+ y x)) (* x (+ y x)))) (+ (* (* y (+ (pow y 3) (pow x 3))) (+ (* y y) (- (* x x) (* y x)))) (* (+ (* y y) (- (* x x) (* y x))) (* x (+ (pow y 3) (pow x 3))))) (* (+ (* y y) (- (* x x) (* y x))) (+ (* y y) (- (* x x) (* y x)))) (+ (* (* y (+ (pow y 3) (pow x 3))) (- y x)) (* (+ (* y y) (- (* x x) (* y x))) (* x (- (* y y) (* x x))))) (* (+ (* y y) (- (* x x) (* y x))) (- y x)) (+ (* (* y (- (* y y) (* x x))) (+ (* y y) (- (* x x) (* y x)))) (* (- y x) (* x (+ (pow y 3) (pow x 3))))) (* (- y x) (+ (* y y) (- (* x x) (* y x)))) (+ (* (* y (- (* y y) (* x x))) (- y x)) (* (- y x) (* x (- (* y y) (* x x))))) (* (- y x) (- y x)) (+ (pow (* y (+ y x)) 3) (pow (* x (+ y x)) 3)) (+ (* (* y (+ y x)) (* y (+ y x))) (- (* (* x (+ y x)) (* x (+ y x))) (* (* y (+ y x)) (* x (+ y x))))) (- (* (* y (+ y x)) (* y (+ y x))) (* (* x (+ y x)) (* x (+ y x)))) (- (* y (+ y x)) (* x (+ y x))) (+ y x) (+ (* y (+ y x)) (* x y)) (+ (* y (+ y x)) (* y x)) (+ (* y x) (* x (+ y x))) (+ (* x y) (* x (+ y x))) (* x (+ y x)) (+ (log x) (log (+ y x))) (log (* x (+ y x))) (exp (* x (+ y x))) (* (* (* x x) x) (* (* (+ y x) (+ y x)) (+ y x))) (* (cbrt (* x (+ y x))) (cbrt (* x (+ y x)))) (cbrt (* x (+ y x))) (* (* (* x (+ y x)) (* x (+ y x))) (* x (+ y x))) (sqrt (* x (+ y x))) (sqrt (* x (+ y x))) (* (sqrt x) (sqrt (+ y x))) (* (sqrt x) (sqrt (+ y x))) (* x y) (* x x) (* y x) (* x x) (* x (* (cbrt (+ y x)) (cbrt (+ y x)))) (* x (sqrt (+ y x))) (* x 1) (* x 1) (* (cbrt x) (+ y x)) (* (sqrt x) (+ y x)) (* x (+ y x)) (* x (+ (pow y 3) (pow x 3))) (* x (- (* y y) (* x x))) (* y (+ y x)) (+ (log y) (log (+ y x))) (log (* y (+ y x))) (exp (* y (+ y x))) (* (* (* y y) y) (* (* (+ y x) (+ y x)) (+ y x))) (* (cbrt (* y (+ y x))) (cbrt (* y (+ y x)))) (cbrt (* y (+ y x))) (* (* (* y (+ y x)) (* y (+ y x))) (* y (+ y x))) (sqrt (* y (+ y x))) (sqrt (* y (+ y x))) (* (sqrt y) (sqrt (+ y x))) (* (sqrt y) (sqrt (+ y x))) (* y y) (* y x) (* y y) (* x y) (* y (* (cbrt (+ y x)) (cbrt (+ y x)))) (* y (sqrt (+ y x))) (* y 1) (* y 1) (* (cbrt y) (+ y x)) (* (sqrt y) (+ y x)) (* y (+ y x)) (* y (+ (pow y 3) (pow x 3))) (* y (- (* y y) (* x x))) (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) (+ (pow x 2) (* x y)) (+ (pow x 2) (* x y)) (+ (pow x 2) (* x y)) (+ (pow y 2) (* x y)) (+ (pow y 2) (* x y)) (+ (pow y 2) (* x y)) 1.483 * * [simplify]: iteration 0: 111 enodes 1.549 * * [simplify]: iteration 1: 385 enodes 1.902 * * [simplify]: iteration 2: 2459 enodes 2.765 * * [simplify]: iteration complete: 5002 enodes 2.765 * * [simplify]: Extracting #0: cost 59 inf + 0 2.767 * * [simplify]: Extracting #1: cost 780 inf + 5 2.771 * * [simplify]: Extracting #2: cost 1726 inf + 1641 2.779 * * [simplify]: Extracting #3: cost 1132 inf + 11315 2.803 * * [simplify]: Extracting #4: cost 173 inf + 20234 2.818 * * [simplify]: Extracting #5: cost 17 inf + 21406 2.832 * * [simplify]: Extracting #6: cost 0 inf + 21517 2.847 * [simplify]: Simplified to: (exp (* (+ x y) (+ y x))) (log (* (+ x y) (+ y x))) (exp (* (+ x y) (+ y x))) (* (cbrt (* (+ x y) (+ y x))) (cbrt (* (+ x y) (+ y x)))) (cbrt (* (+ x y) (+ y x))) (pow (* (+ x y) (+ y x)) 3) (sqrt (* (+ x y) (+ y x))) (sqrt (* (+ x y) (+ y x))) (* (+ (pow y 2) (* (- x y) x)) (+ (* x (+ (pow y 3) (pow x 3))) (* y (+ (pow y 3) (pow x 3))))) (* (+ (pow y 2) (* (- x y) x)) (+ (pow y 2) (* (- x y) x))) (+ (* (* (- y x) (+ x y)) (* (+ (pow y 2) (* (- x y) x)) x)) (* (- y x) (* y (+ (pow y 3) (pow x 3))))) (* (+ (pow y 2) (* (- x y) x)) (- y x)) (+ (* (* (+ (pow y 2) (* (- x y) x)) y) (* (- y x) (+ x y))) (* (- y x) (* x (+ (pow y 3) (pow x 3))))) (* (+ (pow y 2) (* (- x y) x)) (- y x)) (* (- y x) (+ (* x (* (- y x) (+ x y))) (* (* y (+ x y)) (- y x)))) (* (- y x) (- y x)) (* (pow (+ x y) 3) (+ (pow y 3) (pow x 3))) (+ (* (* (+ x y) (+ x y)) (* y y)) (* (* (+ x y) (* x (+ x y))) (- x y))) (* (* (+ x y) (+ x y)) (- (* y y) (* x x))) (* (+ x y) (- y x)) (+ x y) (+ (* y x) (* y (+ x y))) (* y (+ x (+ x y))) (+ (* x (+ x y)) (* y x)) (* x (+ (+ x y) y)) (* x (+ x y)) (log (* x (+ x y))) (log (* x (+ x y))) (pow (exp x) (+ x y)) (pow (* x (+ x y)) 3) (* (cbrt (* x (+ x y))) (cbrt (* x (+ x y)))) (cbrt (* x (+ x y))) (pow (* x (+ x y)) 3) (sqrt (* x (+ x y))) (sqrt (* x (+ x y))) (* (sqrt (+ x y)) (sqrt x)) (* (sqrt (+ x y)) (sqrt x)) (* y x) (* x x) (* y x) (* x x) (* (* (cbrt (+ x y)) (cbrt (+ x y))) x) (* (sqrt (+ x y)) x) x x (* (cbrt x) (+ y x)) (* (sqrt x) (+ y x)) (* x (+ x y)) (* x (+ (pow y 3) (pow x 3))) (* x (* (- y x) (+ x y))) (* y (+ x y)) (log (* y (+ x y))) (log (* y (+ x y))) (pow (exp y) (+ y x)) (pow (* y (+ x y)) 3) (* (cbrt (* y (+ x y))) (cbrt (* y (+ x y)))) (cbrt (* y (+ x y))) (pow (* y (+ x y)) 3) (sqrt (* y (+ x y))) (sqrt (* y (+ x y))) (* (sqrt (+ x y)) (sqrt y)) (* (sqrt (+ x y)) (sqrt y)) (pow y 2) (* y x) (pow y 2) (* y x) (* (* y (cbrt (+ x y))) (cbrt (+ x y))) (* (sqrt (+ x y)) y) y y (* (cbrt y) (+ y x)) (* (sqrt y) (+ y x)) (* y (+ x y)) (* y (+ (pow y 3) (pow x 3))) (* (* y (+ x y)) (- y x)) (+ (* x x) (+ (* 2 (* y x)) (pow y 2))) (+ (* x x) (+ (* 2 (* y x)) (pow y 2))) (+ (* x x) (+ (* 2 (* y x)) (pow y 2))) (* x (+ y x)) (* x (+ y x)) (* x (+ y x)) (* y (+ y x)) (* y (+ y x)) (* y (+ y x)) 2.848 * * * [progress]: adding candidates to table 3.088 * * [progress]: iteration 3 / 4 3.088 * * * [progress]: picking best candidate 3.090 * * * * [pick]: Picked # 3.090 * * * [progress]: localizing error 3.104 * * * [progress]: generating rewritten candidates 3.104 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 3.111 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 3.145 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 3.164 * * * [progress]: generating series expansions 3.165 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 3.165 * [backup-simplify]: Simplify (+ (* y x) (* y (+ x y))) into (+ (pow y 2) (* 2 (* x y))) 3.165 * [approximate]: Taking taylor expansion of (+ (pow y 2) (* 2 (* x y))) in (y x) around 0 3.165 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* 2 (* x y))) in x 3.165 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.165 * [taylor]: Taking taylor expansion of y in x 3.165 * [backup-simplify]: Simplify y into y 3.165 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in x 3.165 * [taylor]: Taking taylor expansion of 2 in x 3.165 * [backup-simplify]: Simplify 2 into 2 3.165 * [taylor]: Taking taylor expansion of (* x y) in x 3.165 * [taylor]: Taking taylor expansion of x in x 3.165 * [backup-simplify]: Simplify 0 into 0 3.165 * [backup-simplify]: Simplify 1 into 1 3.165 * [taylor]: Taking taylor expansion of y in x 3.165 * [backup-simplify]: Simplify y into y 3.165 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* 2 (* x y))) in y 3.165 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.165 * [taylor]: Taking taylor expansion of y in y 3.165 * [backup-simplify]: Simplify 0 into 0 3.165 * [backup-simplify]: Simplify 1 into 1 3.165 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in y 3.165 * [taylor]: Taking taylor expansion of 2 in y 3.165 * [backup-simplify]: Simplify 2 into 2 3.165 * [taylor]: Taking taylor expansion of (* x y) in y 3.165 * [taylor]: Taking taylor expansion of x in y 3.165 * [backup-simplify]: Simplify x into x 3.165 * [taylor]: Taking taylor expansion of y in y 3.165 * [backup-simplify]: Simplify 0 into 0 3.165 * [backup-simplify]: Simplify 1 into 1 3.165 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* 2 (* x y))) in y 3.165 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.165 * [taylor]: Taking taylor expansion of y in y 3.165 * [backup-simplify]: Simplify 0 into 0 3.165 * [backup-simplify]: Simplify 1 into 1 3.165 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in y 3.165 * [taylor]: Taking taylor expansion of 2 in y 3.165 * [backup-simplify]: Simplify 2 into 2 3.165 * [taylor]: Taking taylor expansion of (* x y) in y 3.165 * [taylor]: Taking taylor expansion of x in y 3.165 * [backup-simplify]: Simplify x into x 3.165 * [taylor]: Taking taylor expansion of y in y 3.165 * [backup-simplify]: Simplify 0 into 0 3.165 * [backup-simplify]: Simplify 1 into 1 3.165 * [backup-simplify]: Simplify (* x 0) into 0 3.166 * [backup-simplify]: Simplify (* 2 0) into 0 3.166 * [backup-simplify]: Simplify (+ 0 0) into 0 3.166 * [taylor]: Taking taylor expansion of 0 in x 3.166 * [backup-simplify]: Simplify 0 into 0 3.166 * [backup-simplify]: Simplify 0 into 0 3.167 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.167 * [backup-simplify]: Simplify (+ (* 2 x) (* 0 0)) into (* 2 x) 3.167 * [backup-simplify]: Simplify (+ 0 (* 2 x)) into (* 2 x) 3.167 * [taylor]: Taking taylor expansion of (* 2 x) in x 3.167 * [taylor]: Taking taylor expansion of 2 in x 3.167 * [backup-simplify]: Simplify 2 into 2 3.167 * [taylor]: Taking taylor expansion of x in x 3.167 * [backup-simplify]: Simplify 0 into 0 3.167 * [backup-simplify]: Simplify 1 into 1 3.167 * [backup-simplify]: Simplify (* 2 0) into 0 3.167 * [backup-simplify]: Simplify 0 into 0 3.168 * [backup-simplify]: Simplify 0 into 0 3.168 * [backup-simplify]: Simplify (* 1 1) into 1 3.168 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 3.169 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 x) (* 0 0))) into 0 3.169 * [backup-simplify]: Simplify (+ 1 0) into 1 3.169 * [taylor]: Taking taylor expansion of 1 in x 3.169 * [backup-simplify]: Simplify 1 into 1 3.169 * [backup-simplify]: Simplify 1 into 1 3.169 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 3.169 * [backup-simplify]: Simplify 2 into 2 3.170 * [backup-simplify]: Simplify 0 into 0 3.170 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.170 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.171 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 x) (* 0 0)))) into 0 3.171 * [backup-simplify]: Simplify (+ 0 0) into 0 3.171 * [taylor]: Taking taylor expansion of 0 in x 3.171 * [backup-simplify]: Simplify 0 into 0 3.171 * [backup-simplify]: Simplify 0 into 0 3.171 * [backup-simplify]: Simplify 0 into 0 3.172 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 3.172 * [backup-simplify]: Simplify 0 into 0 3.172 * [backup-simplify]: Simplify 0 into 0 3.173 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.173 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 3.174 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 x) (* 0 0))))) into 0 3.175 * [backup-simplify]: Simplify (+ 0 0) into 0 3.175 * [taylor]: Taking taylor expansion of 0 in x 3.175 * [backup-simplify]: Simplify 0 into 0 3.175 * [backup-simplify]: Simplify 0 into 0 3.175 * [backup-simplify]: Simplify (+ (* 2 (* x y)) (* 1 (pow (* 1 y) 2))) into (+ (pow y 2) (* 2 (* x y))) 3.175 * [backup-simplify]: Simplify (+ (* (/ 1 y) (/ 1 x)) (* (/ 1 y) (+ (/ 1 x) (/ 1 y)))) into (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))) 3.175 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))) in (y x) around 0 3.176 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))) in x 3.176 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 3.176 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.176 * [taylor]: Taking taylor expansion of y in x 3.176 * [backup-simplify]: Simplify y into y 3.176 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.176 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 3.176 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x 3.176 * [taylor]: Taking taylor expansion of 2 in x 3.176 * [backup-simplify]: Simplify 2 into 2 3.176 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.176 * [taylor]: Taking taylor expansion of (* x y) in x 3.176 * [taylor]: Taking taylor expansion of x in x 3.176 * [backup-simplify]: Simplify 0 into 0 3.176 * [backup-simplify]: Simplify 1 into 1 3.176 * [taylor]: Taking taylor expansion of y in x 3.176 * [backup-simplify]: Simplify y into y 3.176 * [backup-simplify]: Simplify (* 0 y) into 0 3.177 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.177 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.177 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))) in y 3.177 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.177 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.177 * [taylor]: Taking taylor expansion of y in y 3.177 * [backup-simplify]: Simplify 0 into 0 3.177 * [backup-simplify]: Simplify 1 into 1 3.177 * [backup-simplify]: Simplify (* 1 1) into 1 3.178 * [backup-simplify]: Simplify (/ 1 1) into 1 3.178 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y 3.178 * [taylor]: Taking taylor expansion of 2 in y 3.178 * [backup-simplify]: Simplify 2 into 2 3.178 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.178 * [taylor]: Taking taylor expansion of (* x y) in y 3.178 * [taylor]: Taking taylor expansion of x in y 3.178 * [backup-simplify]: Simplify x into x 3.178 * [taylor]: Taking taylor expansion of y in y 3.178 * [backup-simplify]: Simplify 0 into 0 3.178 * [backup-simplify]: Simplify 1 into 1 3.178 * [backup-simplify]: Simplify (* x 0) into 0 3.178 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.179 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.179 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))) in y 3.179 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.179 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.179 * [taylor]: Taking taylor expansion of y in y 3.179 * [backup-simplify]: Simplify 0 into 0 3.179 * [backup-simplify]: Simplify 1 into 1 3.179 * [backup-simplify]: Simplify (* 1 1) into 1 3.179 * [backup-simplify]: Simplify (/ 1 1) into 1 3.180 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y 3.180 * [taylor]: Taking taylor expansion of 2 in y 3.180 * [backup-simplify]: Simplify 2 into 2 3.180 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.180 * [taylor]: Taking taylor expansion of (* x y) in y 3.180 * [taylor]: Taking taylor expansion of x in y 3.180 * [backup-simplify]: Simplify x into x 3.180 * [taylor]: Taking taylor expansion of y in y 3.180 * [backup-simplify]: Simplify 0 into 0 3.180 * [backup-simplify]: Simplify 1 into 1 3.180 * [backup-simplify]: Simplify (* x 0) into 0 3.180 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.180 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.181 * [backup-simplify]: Simplify (+ 1 0) into 1 3.181 * [taylor]: Taking taylor expansion of 1 in x 3.181 * [backup-simplify]: Simplify 1 into 1 3.182 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.182 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.182 * [backup-simplify]: Simplify (* 2 (/ 1 x)) into (/ 2 x) 3.183 * [backup-simplify]: Simplify (+ 0 (/ 2 x)) into (* 2 (/ 1 x)) 3.183 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.183 * [taylor]: Taking taylor expansion of 2 in x 3.183 * [backup-simplify]: Simplify 2 into 2 3.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.183 * [taylor]: Taking taylor expansion of x in x 3.183 * [backup-simplify]: Simplify 0 into 0 3.183 * [backup-simplify]: Simplify 1 into 1 3.183 * [backup-simplify]: Simplify (/ 1 1) into 1 3.184 * [backup-simplify]: Simplify (* 2 1) into 2 3.184 * [backup-simplify]: Simplify 2 into 2 3.184 * [backup-simplify]: Simplify 1 into 1 3.185 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.186 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.186 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 3.186 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.187 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 x))) into 0 3.187 * [backup-simplify]: Simplify (+ 0 0) into 0 3.187 * [taylor]: Taking taylor expansion of 0 in x 3.187 * [backup-simplify]: Simplify 0 into 0 3.188 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.189 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 3.189 * [backup-simplify]: Simplify 0 into 0 3.189 * [backup-simplify]: Simplify 0 into 0 3.190 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.191 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.192 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.193 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.194 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0 3.194 * [backup-simplify]: Simplify (+ 0 0) into 0 3.194 * [taylor]: Taking taylor expansion of 0 in x 3.194 * [backup-simplify]: Simplify 0 into 0 3.194 * [backup-simplify]: Simplify 0 into 0 3.195 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.196 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 3.196 * [backup-simplify]: Simplify 0 into 0 3.196 * [backup-simplify]: Simplify 0 into 0 3.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.199 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.200 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 3.200 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.201 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0 3.201 * [backup-simplify]: Simplify (+ 0 0) into 0 3.201 * [taylor]: Taking taylor expansion of 0 in x 3.202 * [backup-simplify]: Simplify 0 into 0 3.202 * [backup-simplify]: Simplify 0 into 0 3.202 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 y))) 2)) (* 2 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (+ (pow y 2) (* 2 (* x y))) 3.203 * [backup-simplify]: Simplify (+ (* (/ 1 (- y)) (/ 1 (- x))) (* (/ 1 (- y)) (+ (/ 1 (- x)) (/ 1 (- y))))) into (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))) 3.203 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))) in (y x) around 0 3.203 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))) in x 3.203 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 3.203 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.203 * [taylor]: Taking taylor expansion of y in x 3.203 * [backup-simplify]: Simplify y into y 3.203 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.203 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 3.203 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x 3.203 * [taylor]: Taking taylor expansion of 2 in x 3.203 * [backup-simplify]: Simplify 2 into 2 3.203 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.203 * [taylor]: Taking taylor expansion of (* x y) in x 3.203 * [taylor]: Taking taylor expansion of x in x 3.203 * [backup-simplify]: Simplify 0 into 0 3.203 * [backup-simplify]: Simplify 1 into 1 3.203 * [taylor]: Taking taylor expansion of y in x 3.203 * [backup-simplify]: Simplify y into y 3.203 * [backup-simplify]: Simplify (* 0 y) into 0 3.204 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.204 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.204 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))) in y 3.204 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.204 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.204 * [taylor]: Taking taylor expansion of y in y 3.204 * [backup-simplify]: Simplify 0 into 0 3.204 * [backup-simplify]: Simplify 1 into 1 3.204 * [backup-simplify]: Simplify (* 1 1) into 1 3.205 * [backup-simplify]: Simplify (/ 1 1) into 1 3.205 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y 3.205 * [taylor]: Taking taylor expansion of 2 in y 3.205 * [backup-simplify]: Simplify 2 into 2 3.205 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.205 * [taylor]: Taking taylor expansion of (* x y) in y 3.205 * [taylor]: Taking taylor expansion of x in y 3.205 * [backup-simplify]: Simplify x into x 3.205 * [taylor]: Taking taylor expansion of y in y 3.205 * [backup-simplify]: Simplify 0 into 0 3.205 * [backup-simplify]: Simplify 1 into 1 3.205 * [backup-simplify]: Simplify (* x 0) into 0 3.205 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.206 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.206 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))) in y 3.206 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.206 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.206 * [taylor]: Taking taylor expansion of y in y 3.206 * [backup-simplify]: Simplify 0 into 0 3.206 * [backup-simplify]: Simplify 1 into 1 3.206 * [backup-simplify]: Simplify (* 1 1) into 1 3.206 * [backup-simplify]: Simplify (/ 1 1) into 1 3.206 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y 3.206 * [taylor]: Taking taylor expansion of 2 in y 3.207 * [backup-simplify]: Simplify 2 into 2 3.207 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.207 * [taylor]: Taking taylor expansion of (* x y) in y 3.207 * [taylor]: Taking taylor expansion of x in y 3.207 * [backup-simplify]: Simplify x into x 3.207 * [taylor]: Taking taylor expansion of y in y 3.207 * [backup-simplify]: Simplify 0 into 0 3.207 * [backup-simplify]: Simplify 1 into 1 3.207 * [backup-simplify]: Simplify (* x 0) into 0 3.207 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.207 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.208 * [backup-simplify]: Simplify (+ 1 0) into 1 3.208 * [taylor]: Taking taylor expansion of 1 in x 3.208 * [backup-simplify]: Simplify 1 into 1 3.208 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.209 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.209 * [backup-simplify]: Simplify (* 2 (/ 1 x)) into (/ 2 x) 3.209 * [backup-simplify]: Simplify (+ 0 (/ 2 x)) into (* 2 (/ 1 x)) 3.209 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.209 * [taylor]: Taking taylor expansion of 2 in x 3.209 * [backup-simplify]: Simplify 2 into 2 3.210 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.210 * [taylor]: Taking taylor expansion of x in x 3.210 * [backup-simplify]: Simplify 0 into 0 3.210 * [backup-simplify]: Simplify 1 into 1 3.210 * [backup-simplify]: Simplify (/ 1 1) into 1 3.210 * [backup-simplify]: Simplify (* 2 1) into 2 3.211 * [backup-simplify]: Simplify 2 into 2 3.211 * [backup-simplify]: Simplify 1 into 1 3.211 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.212 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.213 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 3.213 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.214 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 x))) into 0 3.214 * [backup-simplify]: Simplify (+ 0 0) into 0 3.214 * [taylor]: Taking taylor expansion of 0 in x 3.214 * [backup-simplify]: Simplify 0 into 0 3.215 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.216 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 3.216 * [backup-simplify]: Simplify 0 into 0 3.216 * [backup-simplify]: Simplify 0 into 0 3.217 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.218 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.219 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.219 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.220 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0 3.220 * [backup-simplify]: Simplify (+ 0 0) into 0 3.220 * [taylor]: Taking taylor expansion of 0 in x 3.220 * [backup-simplify]: Simplify 0 into 0 3.220 * [backup-simplify]: Simplify 0 into 0 3.221 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.222 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 3.222 * [backup-simplify]: Simplify 0 into 0 3.222 * [backup-simplify]: Simplify 0 into 0 3.223 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.225 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.226 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 3.226 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.227 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0 3.227 * [backup-simplify]: Simplify (+ 0 0) into 0 3.227 * [taylor]: Taking taylor expansion of 0 in x 3.227 * [backup-simplify]: Simplify 0 into 0 3.227 * [backup-simplify]: Simplify 0 into 0 3.227 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- y)))) 2)) (* 2 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) into (+ (pow y 2) (* 2 (* x y))) 3.227 * * * * [progress]: [ 2 / 3 ] generating series at (2) 3.227 * [backup-simplify]: Simplify (+ (+ (* y x) (* y (+ x y))) (* x x)) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) 3.227 * [approximate]: Taking taylor expansion of (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) in (y x) around 0 3.227 * [taylor]: Taking taylor expansion of (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) in x 3.227 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.227 * [taylor]: Taking taylor expansion of y in x 3.228 * [backup-simplify]: Simplify y into y 3.228 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2 (* x y))) in x 3.228 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.228 * [taylor]: Taking taylor expansion of x in x 3.228 * [backup-simplify]: Simplify 0 into 0 3.228 * [backup-simplify]: Simplify 1 into 1 3.228 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in x 3.228 * [taylor]: Taking taylor expansion of 2 in x 3.228 * [backup-simplify]: Simplify 2 into 2 3.228 * [taylor]: Taking taylor expansion of (* x y) in x 3.228 * [taylor]: Taking taylor expansion of x in x 3.228 * [backup-simplify]: Simplify 0 into 0 3.228 * [backup-simplify]: Simplify 1 into 1 3.228 * [taylor]: Taking taylor expansion of y in x 3.228 * [backup-simplify]: Simplify y into y 3.228 * [taylor]: Taking taylor expansion of (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) in y 3.228 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.228 * [taylor]: Taking taylor expansion of y in y 3.228 * [backup-simplify]: Simplify 0 into 0 3.228 * [backup-simplify]: Simplify 1 into 1 3.228 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2 (* x y))) in y 3.228 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.228 * [taylor]: Taking taylor expansion of x in y 3.228 * [backup-simplify]: Simplify x into x 3.228 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in y 3.228 * [taylor]: Taking taylor expansion of 2 in y 3.228 * [backup-simplify]: Simplify 2 into 2 3.228 * [taylor]: Taking taylor expansion of (* x y) in y 3.228 * [taylor]: Taking taylor expansion of x in y 3.228 * [backup-simplify]: Simplify x into x 3.228 * [taylor]: Taking taylor expansion of y in y 3.228 * [backup-simplify]: Simplify 0 into 0 3.228 * [backup-simplify]: Simplify 1 into 1 3.228 * [taylor]: Taking taylor expansion of (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) in y 3.228 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.228 * [taylor]: Taking taylor expansion of y in y 3.228 * [backup-simplify]: Simplify 0 into 0 3.228 * [backup-simplify]: Simplify 1 into 1 3.228 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2 (* x y))) in y 3.228 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.228 * [taylor]: Taking taylor expansion of x in y 3.228 * [backup-simplify]: Simplify x into x 3.228 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in y 3.228 * [taylor]: Taking taylor expansion of 2 in y 3.228 * [backup-simplify]: Simplify 2 into 2 3.228 * [taylor]: Taking taylor expansion of (* x y) in y 3.228 * [taylor]: Taking taylor expansion of x in y 3.228 * [backup-simplify]: Simplify x into x 3.228 * [taylor]: Taking taylor expansion of y in y 3.228 * [backup-simplify]: Simplify 0 into 0 3.228 * [backup-simplify]: Simplify 1 into 1 3.228 * [backup-simplify]: Simplify (* x x) into (pow x 2) 3.228 * [backup-simplify]: Simplify (* x 0) into 0 3.229 * [backup-simplify]: Simplify (* 2 0) into 0 3.229 * [backup-simplify]: Simplify (+ (pow x 2) 0) into (pow x 2) 3.229 * [backup-simplify]: Simplify (+ 0 (pow x 2)) into (pow x 2) 3.229 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.229 * [taylor]: Taking taylor expansion of x in x 3.229 * [backup-simplify]: Simplify 0 into 0 3.229 * [backup-simplify]: Simplify 1 into 1 3.229 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0 3.229 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.230 * [backup-simplify]: Simplify (+ (* 2 x) (* 0 0)) into (* 2 x) 3.230 * [backup-simplify]: Simplify (+ 0 (* 2 x)) into (* 2 x) 3.230 * [backup-simplify]: Simplify (+ 0 (* 2 x)) into (* 2 x) 3.230 * [taylor]: Taking taylor expansion of (* 2 x) in x 3.230 * [taylor]: Taking taylor expansion of 2 in x 3.230 * [backup-simplify]: Simplify 2 into 2 3.230 * [taylor]: Taking taylor expansion of x in x 3.230 * [backup-simplify]: Simplify 0 into 0 3.230 * [backup-simplify]: Simplify 1 into 1 3.230 * [backup-simplify]: Simplify (* 2 0) into 0 3.230 * [backup-simplify]: Simplify 0 into 0 3.230 * [backup-simplify]: Simplify (* 1 1) into 1 3.231 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0 3.231 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 3.232 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 x) (* 0 0))) into 0 3.232 * [backup-simplify]: Simplify (+ 0 0) into 0 3.232 * [backup-simplify]: Simplify (+ 1 0) into 1 3.232 * [taylor]: Taking taylor expansion of 1 in x 3.232 * [backup-simplify]: Simplify 1 into 1 3.232 * [backup-simplify]: Simplify 1 into 1 3.232 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 3.233 * [backup-simplify]: Simplify 2 into 2 3.233 * [backup-simplify]: Simplify (* 1 1) into 1 3.233 * [backup-simplify]: Simplify 1 into 1 3.233 * [backup-simplify]: Simplify (+ (* 1 (pow (* x 1) 2)) (+ (* 2 (* x y)) (* 1 (pow (* 1 y) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) 3.233 * [backup-simplify]: Simplify (+ (+ (* (/ 1 y) (/ 1 x)) (* (/ 1 y) (+ (/ 1 x) (/ 1 y)))) (* (/ 1 x) (/ 1 x))) into (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) 3.233 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) in (y x) around 0 3.233 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) in x 3.233 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 3.233 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.233 * [taylor]: Taking taylor expansion of y in x 3.233 * [backup-simplify]: Simplify y into y 3.234 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.234 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 3.234 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y)))) in x 3.234 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.234 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.234 * [taylor]: Taking taylor expansion of x in x 3.234 * [backup-simplify]: Simplify 0 into 0 3.234 * [backup-simplify]: Simplify 1 into 1 3.234 * [backup-simplify]: Simplify (* 1 1) into 1 3.234 * [backup-simplify]: Simplify (/ 1 1) into 1 3.234 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x 3.234 * [taylor]: Taking taylor expansion of 2 in x 3.234 * [backup-simplify]: Simplify 2 into 2 3.234 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.234 * [taylor]: Taking taylor expansion of (* x y) in x 3.234 * [taylor]: Taking taylor expansion of x in x 3.234 * [backup-simplify]: Simplify 0 into 0 3.234 * [backup-simplify]: Simplify 1 into 1 3.234 * [taylor]: Taking taylor expansion of y in x 3.234 * [backup-simplify]: Simplify y into y 3.234 * [backup-simplify]: Simplify (* 0 y) into 0 3.235 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.235 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.235 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) in y 3.235 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.235 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.235 * [taylor]: Taking taylor expansion of y in y 3.235 * [backup-simplify]: Simplify 0 into 0 3.235 * [backup-simplify]: Simplify 1 into 1 3.235 * [backup-simplify]: Simplify (* 1 1) into 1 3.235 * [backup-simplify]: Simplify (/ 1 1) into 1 3.235 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y)))) in y 3.235 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 3.235 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.235 * [taylor]: Taking taylor expansion of x in y 3.235 * [backup-simplify]: Simplify x into x 3.235 * [backup-simplify]: Simplify (* x x) into (pow x 2) 3.236 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 3.236 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y 3.236 * [taylor]: Taking taylor expansion of 2 in y 3.236 * [backup-simplify]: Simplify 2 into 2 3.236 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.236 * [taylor]: Taking taylor expansion of (* x y) in y 3.236 * [taylor]: Taking taylor expansion of x in y 3.236 * [backup-simplify]: Simplify x into x 3.236 * [taylor]: Taking taylor expansion of y in y 3.236 * [backup-simplify]: Simplify 0 into 0 3.236 * [backup-simplify]: Simplify 1 into 1 3.236 * [backup-simplify]: Simplify (* x 0) into 0 3.236 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.236 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.236 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) in y 3.236 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.236 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.236 * [taylor]: Taking taylor expansion of y in y 3.236 * [backup-simplify]: Simplify 0 into 0 3.236 * [backup-simplify]: Simplify 1 into 1 3.236 * [backup-simplify]: Simplify (* 1 1) into 1 3.237 * [backup-simplify]: Simplify (/ 1 1) into 1 3.237 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y)))) in y 3.237 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 3.237 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.237 * [taylor]: Taking taylor expansion of x in y 3.237 * [backup-simplify]: Simplify x into x 3.237 * [backup-simplify]: Simplify (* x x) into (pow x 2) 3.237 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 3.237 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y 3.237 * [taylor]: Taking taylor expansion of 2 in y 3.237 * [backup-simplify]: Simplify 2 into 2 3.237 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.237 * [taylor]: Taking taylor expansion of (* x y) in y 3.237 * [taylor]: Taking taylor expansion of x in y 3.237 * [backup-simplify]: Simplify x into x 3.237 * [taylor]: Taking taylor expansion of y in y 3.237 * [backup-simplify]: Simplify 0 into 0 3.237 * [backup-simplify]: Simplify 1 into 1 3.237 * [backup-simplify]: Simplify (* x 0) into 0 3.237 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.237 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.238 * [backup-simplify]: Simplify (+ 1 0) into 1 3.238 * [taylor]: Taking taylor expansion of 1 in x 3.238 * [backup-simplify]: Simplify 1 into 1 3.238 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.239 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.239 * [backup-simplify]: Simplify (* 2 (/ 1 x)) into (/ 2 x) 3.239 * [backup-simplify]: Simplify (+ 0 (/ 2 x)) into (* 2 (/ 1 x)) 3.239 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 x))) into (* 2 (/ 1 x)) 3.239 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.239 * [taylor]: Taking taylor expansion of 2 in x 3.239 * [backup-simplify]: Simplify 2 into 2 3.239 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.239 * [taylor]: Taking taylor expansion of x in x 3.239 * [backup-simplify]: Simplify 0 into 0 3.239 * [backup-simplify]: Simplify 1 into 1 3.239 * [backup-simplify]: Simplify (/ 1 1) into 1 3.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.240 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.241 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 3.241 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.241 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 x))) into 0 3.241 * [backup-simplify]: Simplify (+ (/ 1 (pow x 2)) 0) into (/ 1 (pow x 2)) 3.241 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow x 2))) into (/ 1 (pow x 2)) 3.241 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.241 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.241 * [taylor]: Taking taylor expansion of x in x 3.241 * [backup-simplify]: Simplify 0 into 0 3.241 * [backup-simplify]: Simplify 1 into 1 3.242 * [backup-simplify]: Simplify (* 1 1) into 1 3.242 * [backup-simplify]: Simplify (/ 1 1) into 1 3.242 * [backup-simplify]: Simplify 1 into 1 3.242 * [backup-simplify]: Simplify (* 2 1) into 2 3.242 * [backup-simplify]: Simplify 2 into 2 3.242 * [backup-simplify]: Simplify 1 into 1 3.243 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 y))) 2)) (+ (* 2 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (* 1 (pow (* (/ 1 (/ 1 x)) 1) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) 3.243 * [backup-simplify]: Simplify (+ (+ (* (/ 1 (- y)) (/ 1 (- x))) (* (/ 1 (- y)) (+ (/ 1 (- x)) (/ 1 (- y))))) (* (/ 1 (- x)) (/ 1 (- x)))) into (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) 3.243 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) in (y x) around 0 3.243 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) in x 3.243 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 3.243 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.243 * [taylor]: Taking taylor expansion of y in x 3.243 * [backup-simplify]: Simplify y into y 3.243 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.243 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 3.243 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y)))) in x 3.243 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.243 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.243 * [taylor]: Taking taylor expansion of x in x 3.243 * [backup-simplify]: Simplify 0 into 0 3.243 * [backup-simplify]: Simplify 1 into 1 3.244 * [backup-simplify]: Simplify (* 1 1) into 1 3.244 * [backup-simplify]: Simplify (/ 1 1) into 1 3.244 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x 3.244 * [taylor]: Taking taylor expansion of 2 in x 3.244 * [backup-simplify]: Simplify 2 into 2 3.244 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.244 * [taylor]: Taking taylor expansion of (* x y) in x 3.244 * [taylor]: Taking taylor expansion of x in x 3.244 * [backup-simplify]: Simplify 0 into 0 3.244 * [backup-simplify]: Simplify 1 into 1 3.244 * [taylor]: Taking taylor expansion of y in x 3.244 * [backup-simplify]: Simplify y into y 3.244 * [backup-simplify]: Simplify (* 0 y) into 0 3.244 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.244 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.244 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) in y 3.244 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.244 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.244 * [taylor]: Taking taylor expansion of y in y 3.244 * [backup-simplify]: Simplify 0 into 0 3.244 * [backup-simplify]: Simplify 1 into 1 3.245 * [backup-simplify]: Simplify (* 1 1) into 1 3.245 * [backup-simplify]: Simplify (/ 1 1) into 1 3.245 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y)))) in y 3.245 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 3.245 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.245 * [taylor]: Taking taylor expansion of x in y 3.245 * [backup-simplify]: Simplify x into x 3.245 * [backup-simplify]: Simplify (* x x) into (pow x 2) 3.245 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 3.245 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y 3.245 * [taylor]: Taking taylor expansion of 2 in y 3.245 * [backup-simplify]: Simplify 2 into 2 3.245 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.245 * [taylor]: Taking taylor expansion of (* x y) in y 3.245 * [taylor]: Taking taylor expansion of x in y 3.245 * [backup-simplify]: Simplify x into x 3.245 * [taylor]: Taking taylor expansion of y in y 3.245 * [backup-simplify]: Simplify 0 into 0 3.246 * [backup-simplify]: Simplify 1 into 1 3.246 * [backup-simplify]: Simplify (* x 0) into 0 3.246 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.246 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.246 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) in y 3.246 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.246 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.246 * [taylor]: Taking taylor expansion of y in y 3.246 * [backup-simplify]: Simplify 0 into 0 3.246 * [backup-simplify]: Simplify 1 into 1 3.246 * [backup-simplify]: Simplify (* 1 1) into 1 3.246 * [backup-simplify]: Simplify (/ 1 1) into 1 3.246 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y)))) in y 3.247 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 3.247 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.247 * [taylor]: Taking taylor expansion of x in y 3.247 * [backup-simplify]: Simplify x into x 3.247 * [backup-simplify]: Simplify (* x x) into (pow x 2) 3.247 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 3.247 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y 3.247 * [taylor]: Taking taylor expansion of 2 in y 3.247 * [backup-simplify]: Simplify 2 into 2 3.247 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.247 * [taylor]: Taking taylor expansion of (* x y) in y 3.247 * [taylor]: Taking taylor expansion of x in y 3.247 * [backup-simplify]: Simplify x into x 3.247 * [taylor]: Taking taylor expansion of y in y 3.247 * [backup-simplify]: Simplify 0 into 0 3.247 * [backup-simplify]: Simplify 1 into 1 3.247 * [backup-simplify]: Simplify (* x 0) into 0 3.247 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.247 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.247 * [backup-simplify]: Simplify (+ 1 0) into 1 3.248 * [taylor]: Taking taylor expansion of 1 in x 3.248 * [backup-simplify]: Simplify 1 into 1 3.248 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.248 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.248 * [backup-simplify]: Simplify (* 2 (/ 1 x)) into (/ 2 x) 3.248 * [backup-simplify]: Simplify (+ 0 (/ 2 x)) into (* 2 (/ 1 x)) 3.249 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 x))) into (* 2 (/ 1 x)) 3.249 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.249 * [taylor]: Taking taylor expansion of 2 in x 3.249 * [backup-simplify]: Simplify 2 into 2 3.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.249 * [taylor]: Taking taylor expansion of x in x 3.249 * [backup-simplify]: Simplify 0 into 0 3.249 * [backup-simplify]: Simplify 1 into 1 3.249 * [backup-simplify]: Simplify (/ 1 1) into 1 3.249 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.250 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.250 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 3.250 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.251 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 x))) into 0 3.251 * [backup-simplify]: Simplify (+ (/ 1 (pow x 2)) 0) into (/ 1 (pow x 2)) 3.251 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow x 2))) into (/ 1 (pow x 2)) 3.251 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.251 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.251 * [taylor]: Taking taylor expansion of x in x 3.251 * [backup-simplify]: Simplify 0 into 0 3.251 * [backup-simplify]: Simplify 1 into 1 3.251 * [backup-simplify]: Simplify (* 1 1) into 1 3.252 * [backup-simplify]: Simplify (/ 1 1) into 1 3.252 * [backup-simplify]: Simplify 1 into 1 3.252 * [backup-simplify]: Simplify (* 2 1) into 2 3.252 * [backup-simplify]: Simplify 2 into 2 3.252 * [backup-simplify]: Simplify 1 into 1 3.253 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- y)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y))))) (* 1 (pow (* (/ 1 (/ 1 (- x))) 1) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) 3.253 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 3.253 * [backup-simplify]: Simplify (* y (+ x y)) into (* (+ x y) y) 3.253 * [approximate]: Taking taylor expansion of (* (+ x y) y) in (y x) around 0 3.253 * [taylor]: Taking taylor expansion of (* (+ x y) y) in x 3.253 * [taylor]: Taking taylor expansion of (+ x y) in x 3.253 * [taylor]: Taking taylor expansion of x in x 3.253 * [backup-simplify]: Simplify 0 into 0 3.253 * [backup-simplify]: Simplify 1 into 1 3.253 * [taylor]: Taking taylor expansion of y in x 3.253 * [backup-simplify]: Simplify y into y 3.253 * [taylor]: Taking taylor expansion of y in x 3.253 * [backup-simplify]: Simplify y into y 3.253 * [taylor]: Taking taylor expansion of (* (+ x y) y) in y 3.253 * [taylor]: Taking taylor expansion of (+ x y) in y 3.253 * [taylor]: Taking taylor expansion of x in y 3.253 * [backup-simplify]: Simplify x into x 3.253 * [taylor]: Taking taylor expansion of y in y 3.253 * [backup-simplify]: Simplify 0 into 0 3.253 * [backup-simplify]: Simplify 1 into 1 3.253 * [taylor]: Taking taylor expansion of y in y 3.253 * [backup-simplify]: Simplify 0 into 0 3.253 * [backup-simplify]: Simplify 1 into 1 3.253 * [taylor]: Taking taylor expansion of (* (+ x y) y) in y 3.253 * [taylor]: Taking taylor expansion of (+ x y) in y 3.253 * [taylor]: Taking taylor expansion of x in y 3.253 * [backup-simplify]: Simplify x into x 3.253 * [taylor]: Taking taylor expansion of y in y 3.253 * [backup-simplify]: Simplify 0 into 0 3.253 * [backup-simplify]: Simplify 1 into 1 3.253 * [taylor]: Taking taylor expansion of y in y 3.253 * [backup-simplify]: Simplify 0 into 0 3.253 * [backup-simplify]: Simplify 1 into 1 3.253 * [backup-simplify]: Simplify (+ x 0) into x 3.253 * [backup-simplify]: Simplify (* x 0) into 0 3.253 * [taylor]: Taking taylor expansion of 0 in x 3.253 * [backup-simplify]: Simplify 0 into 0 3.253 * [backup-simplify]: Simplify 0 into 0 3.254 * [backup-simplify]: Simplify (+ 0 1) into 1 3.254 * [backup-simplify]: Simplify (+ (* x 1) (* 1 0)) into x 3.254 * [taylor]: Taking taylor expansion of x in x 3.254 * [backup-simplify]: Simplify 0 into 0 3.254 * [backup-simplify]: Simplify 1 into 1 3.254 * [backup-simplify]: Simplify 0 into 0 3.254 * [backup-simplify]: Simplify 0 into 0 3.254 * [backup-simplify]: Simplify (+ 0 0) into 0 3.255 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 1 1) (* 0 0))) into 1 3.255 * [taylor]: Taking taylor expansion of 1 in x 3.255 * [backup-simplify]: Simplify 1 into 1 3.255 * [backup-simplify]: Simplify 1 into 1 3.255 * [backup-simplify]: Simplify 1 into 1 3.255 * [backup-simplify]: Simplify 0 into 0 3.255 * [backup-simplify]: Simplify (+ 0 0) into 0 3.256 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 3.256 * [taylor]: Taking taylor expansion of 0 in x 3.256 * [backup-simplify]: Simplify 0 into 0 3.256 * [backup-simplify]: Simplify 0 into 0 3.256 * [backup-simplify]: Simplify 0 into 0 3.256 * [backup-simplify]: Simplify 0 into 0 3.256 * [backup-simplify]: Simplify 0 into 0 3.256 * [backup-simplify]: Simplify (+ 0 0) into 0 3.257 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 3.257 * [taylor]: Taking taylor expansion of 0 in x 3.257 * [backup-simplify]: Simplify 0 into 0 3.257 * [backup-simplify]: Simplify 0 into 0 3.257 * [backup-simplify]: Simplify (+ (* 1 (* x y)) (* 1 (pow (* 1 y) 2))) into (+ (pow y 2) (* x y)) 3.257 * [backup-simplify]: Simplify (* (/ 1 y) (+ (/ 1 x) (/ 1 y))) into (/ (+ (/ 1 x) (/ 1 y)) y) 3.257 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in (y x) around 0 3.257 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in x 3.257 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 3.257 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.257 * [taylor]: Taking taylor expansion of x in x 3.257 * [backup-simplify]: Simplify 0 into 0 3.257 * [backup-simplify]: Simplify 1 into 1 3.257 * [backup-simplify]: Simplify (/ 1 1) into 1 3.257 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.257 * [taylor]: Taking taylor expansion of y in x 3.257 * [backup-simplify]: Simplify y into y 3.258 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.258 * [taylor]: Taking taylor expansion of y in x 3.258 * [backup-simplify]: Simplify y into y 3.258 * [backup-simplify]: Simplify (+ 1 0) into 1 3.258 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.258 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in y 3.258 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 3.258 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.258 * [taylor]: Taking taylor expansion of x in y 3.258 * [backup-simplify]: Simplify x into x 3.258 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.258 * [taylor]: Taking taylor expansion of y in y 3.258 * [backup-simplify]: Simplify 0 into 0 3.258 * [backup-simplify]: Simplify 1 into 1 3.258 * [backup-simplify]: Simplify (/ 1 1) into 1 3.258 * [taylor]: Taking taylor expansion of y in y 3.258 * [backup-simplify]: Simplify 0 into 0 3.258 * [backup-simplify]: Simplify 1 into 1 3.259 * [backup-simplify]: Simplify (+ 0 1) into 1 3.259 * [backup-simplify]: Simplify (/ 1 1) into 1 3.259 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in y 3.259 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 3.259 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.259 * [taylor]: Taking taylor expansion of x in y 3.259 * [backup-simplify]: Simplify x into x 3.259 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.259 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.259 * [taylor]: Taking taylor expansion of y in y 3.259 * [backup-simplify]: Simplify 0 into 0 3.259 * [backup-simplify]: Simplify 1 into 1 3.259 * [backup-simplify]: Simplify (/ 1 1) into 1 3.259 * [taylor]: Taking taylor expansion of y in y 3.259 * [backup-simplify]: Simplify 0 into 0 3.259 * [backup-simplify]: Simplify 1 into 1 3.260 * [backup-simplify]: Simplify (+ 0 1) into 1 3.260 * [backup-simplify]: Simplify (/ 1 1) into 1 3.260 * [taylor]: Taking taylor expansion of 1 in x 3.260 * [backup-simplify]: Simplify 1 into 1 3.260 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.260 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 3.261 * [backup-simplify]: Simplify (- (/ (/ 1 x) 1) (+ (* 1 (/ 0 1)))) into (/ 1 x) 3.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.261 * [taylor]: Taking taylor expansion of x in x 3.261 * [backup-simplify]: Simplify 0 into 0 3.261 * [backup-simplify]: Simplify 1 into 1 3.261 * [backup-simplify]: Simplify (/ 1 1) into 1 3.261 * [backup-simplify]: Simplify 1 into 1 3.261 * [backup-simplify]: Simplify 1 into 1 3.261 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.262 * [backup-simplify]: Simplify (+ 0 0) into 0 3.263 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 x) (/ 0 1)))) into 0 3.263 * [taylor]: Taking taylor expansion of 0 in x 3.263 * [backup-simplify]: Simplify 0 into 0 3.263 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.263 * [backup-simplify]: Simplify 0 into 0 3.263 * [backup-simplify]: Simplify 0 into 0 3.264 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.264 * [backup-simplify]: Simplify (+ 0 0) into 0 3.265 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 x) (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.266 * [taylor]: Taking taylor expansion of 0 in x 3.266 * [backup-simplify]: Simplify 0 into 0 3.266 * [backup-simplify]: Simplify 0 into 0 3.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.266 * [backup-simplify]: Simplify 0 into 0 3.266 * [backup-simplify]: Simplify 0 into 0 3.266 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.267 * [backup-simplify]: Simplify (+ 0 0) into 0 3.271 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.271 * [taylor]: Taking taylor expansion of 0 in x 3.271 * [backup-simplify]: Simplify 0 into 0 3.271 * [backup-simplify]: Simplify 0 into 0 3.271 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 y))) 2)) (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (+ (pow y 2) (* x y)) 3.271 * [backup-simplify]: Simplify (* (/ 1 (- y)) (+ (/ 1 (- x)) (/ 1 (- y)))) into (/ (+ (/ 1 x) (/ 1 y)) y) 3.271 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in (y x) around 0 3.271 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in x 3.271 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 3.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.271 * [taylor]: Taking taylor expansion of x in x 3.271 * [backup-simplify]: Simplify 0 into 0 3.271 * [backup-simplify]: Simplify 1 into 1 3.271 * [backup-simplify]: Simplify (/ 1 1) into 1 3.271 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.271 * [taylor]: Taking taylor expansion of y in x 3.272 * [backup-simplify]: Simplify y into y 3.272 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.272 * [taylor]: Taking taylor expansion of y in x 3.272 * [backup-simplify]: Simplify y into y 3.272 * [backup-simplify]: Simplify (+ 1 0) into 1 3.272 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.272 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in y 3.272 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 3.272 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.272 * [taylor]: Taking taylor expansion of x in y 3.272 * [backup-simplify]: Simplify x into x 3.272 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.272 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.272 * [taylor]: Taking taylor expansion of y in y 3.272 * [backup-simplify]: Simplify 0 into 0 3.272 * [backup-simplify]: Simplify 1 into 1 3.272 * [backup-simplify]: Simplify (/ 1 1) into 1 3.272 * [taylor]: Taking taylor expansion of y in y 3.272 * [backup-simplify]: Simplify 0 into 0 3.272 * [backup-simplify]: Simplify 1 into 1 3.273 * [backup-simplify]: Simplify (+ 0 1) into 1 3.273 * [backup-simplify]: Simplify (/ 1 1) into 1 3.273 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in y 3.273 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 3.273 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.273 * [taylor]: Taking taylor expansion of x in y 3.273 * [backup-simplify]: Simplify x into x 3.273 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.273 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.273 * [taylor]: Taking taylor expansion of y in y 3.273 * [backup-simplify]: Simplify 0 into 0 3.273 * [backup-simplify]: Simplify 1 into 1 3.273 * [backup-simplify]: Simplify (/ 1 1) into 1 3.273 * [taylor]: Taking taylor expansion of y in y 3.273 * [backup-simplify]: Simplify 0 into 0 3.273 * [backup-simplify]: Simplify 1 into 1 3.274 * [backup-simplify]: Simplify (+ 0 1) into 1 3.274 * [backup-simplify]: Simplify (/ 1 1) into 1 3.274 * [taylor]: Taking taylor expansion of 1 in x 3.274 * [backup-simplify]: Simplify 1 into 1 3.275 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.275 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 3.276 * [backup-simplify]: Simplify (- (/ (/ 1 x) 1) (+ (* 1 (/ 0 1)))) into (/ 1 x) 3.276 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.276 * [taylor]: Taking taylor expansion of x in x 3.276 * [backup-simplify]: Simplify 0 into 0 3.276 * [backup-simplify]: Simplify 1 into 1 3.276 * [backup-simplify]: Simplify (/ 1 1) into 1 3.276 * [backup-simplify]: Simplify 1 into 1 3.276 * [backup-simplify]: Simplify 1 into 1 3.276 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.277 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.278 * [backup-simplify]: Simplify (+ 0 0) into 0 3.279 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 x) (/ 0 1)))) into 0 3.279 * [taylor]: Taking taylor expansion of 0 in x 3.279 * [backup-simplify]: Simplify 0 into 0 3.280 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.280 * [backup-simplify]: Simplify 0 into 0 3.280 * [backup-simplify]: Simplify 0 into 0 3.280 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.281 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.281 * [backup-simplify]: Simplify (+ 0 0) into 0 3.283 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 x) (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.283 * [taylor]: Taking taylor expansion of 0 in x 3.283 * [backup-simplify]: Simplify 0 into 0 3.283 * [backup-simplify]: Simplify 0 into 0 3.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.284 * [backup-simplify]: Simplify 0 into 0 3.284 * [backup-simplify]: Simplify 0 into 0 3.285 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.285 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.286 * [backup-simplify]: Simplify (+ 0 0) into 0 3.288 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.288 * [taylor]: Taking taylor expansion of 0 in x 3.288 * [backup-simplify]: Simplify 0 into 0 3.288 * [backup-simplify]: Simplify 0 into 0 3.289 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- y)))) 2)) (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) into (+ (pow y 2) (* x y)) 3.289 * * * [progress]: simplifying candidates 3.290 * [simplify]: Simplifying: (* (exp (* y x)) (exp (* y (+ x y)))) (log (+ (* y x) (* y (+ x y)))) (exp (+ (* y x) (* y (+ x y)))) (* (cbrt (+ (* y x) (* y (+ x y)))) (cbrt (+ (* y x) (* y (+ x y))))) (cbrt (+ (* y x) (* y (+ x y)))) (* (* (+ (* y x) (* y (+ x y))) (+ (* y x) (* y (+ x y)))) (+ (* y x) (* y (+ x y)))) (sqrt (+ (* y x) (* y (+ x y)))) (sqrt (+ (* y x) (* y (+ x y)))) (+ (pow (* y x) 3) (pow (* y (+ x y)) 3)) (+ (* (* y x) (* y x)) (- (* (* y (+ x y)) (* y (+ x y))) (* (* y x) (* y (+ x y))))) (- (* (* y x) (* y x)) (* (* y (+ x y)) (* y (+ x y)))) (- (* y x) (* y (+ x y))) (+ x (+ x y)) (+ (* y x) (* y x)) (+ (* y x) (* x y)) (* (* (exp (* y x)) (exp (* y (+ x y)))) (exp (* x x))) (* (exp (+ (* y x) (* y (+ x y)))) (exp (* x x))) (log (+ (+ (* y x) (* y (+ x y))) (* x x))) (exp (+ (+ (* y x) (* y (+ x y))) (* x x))) (* (cbrt (+ (+ (* y x) (* y (+ x y))) (* x x))) (cbrt (+ (+ (* y x) (* y (+ x y))) (* x x)))) (cbrt (+ (+ (* y x) (* y (+ x y))) (* x x))) (* (* (+ (+ (* y x) (* y (+ x y))) (* x x)) (+ (+ (* y x) (* y (+ x y))) (* x x))) (+ (+ (* y x) (* y (+ x y))) (* x x))) (sqrt (+ (+ (* y x) (* y (+ x y))) (* x x))) (sqrt (+ (+ (* y x) (* y (+ x y))) (* x x))) (+ (pow (+ (* y x) (* y (+ x y))) 3) (pow (* x x) 3)) (+ (* (+ (* y x) (* y (+ x y))) (+ (* y x) (* y (+ x y)))) (- (* (* x x) (* x x)) (* (+ (* y x) (* y (+ x y))) (* x x)))) (- (* (+ (* y x) (* y (+ x y))) (+ (* y x) (* y (+ x y)))) (* (* x x) (* x x))) (- (+ (* y x) (* y (+ x y))) (* x x)) (+ (* y (+ x y)) (* x x)) (* y (+ x y)) (+ (log y) (log (+ x y))) (log (* y (+ x y))) (exp (* y (+ x y))) (* (* (* y y) y) (* (* (+ x y) (+ x y)) (+ x y))) (* (cbrt (* y (+ x y))) (cbrt (* y (+ x y)))) (cbrt (* y (+ x y))) (* (* (* y (+ x y)) (* y (+ x y))) (* y (+ x y))) (sqrt (* y (+ x y))) (sqrt (* y (+ x y))) (* (sqrt y) (sqrt (+ x y))) (* (sqrt y) (sqrt (+ x y))) (* y x) (* y y) (* x y) (* y y) (* y (* (cbrt (+ x y)) (cbrt (+ x y)))) (* y (sqrt (+ x y))) (* y 1) (* y 1) (* (cbrt y) (+ x y)) (* (sqrt y) (+ x y)) (* y (+ x y)) (* y (+ (pow x 3) (pow y 3))) (* y (- (* x x) (* y y))) (+ (pow y 2) (* 2 (* x y))) (+ (pow y 2) (* 2 (* x y))) (+ (pow y 2) (* 2 (* x y))) (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) (+ (pow y 2) (* x y)) (+ (pow y 2) (* x y)) (+ (pow y 2) (* x y)) 3.292 * * [simplify]: iteration 0: 92 enodes 3.317 * * [simplify]: iteration 1: 319 enodes 3.632 * * [simplify]: iteration 2: 1922 enodes 4.376 * * [simplify]: iteration complete: 5000 enodes 4.376 * * [simplify]: Extracting #0: cost 45 inf + 0 4.377 * * [simplify]: Extracting #1: cost 631 inf + 1 4.382 * * [simplify]: Extracting #2: cost 1662 inf + 1343 4.390 * * [simplify]: Extracting #3: cost 1208 inf + 10428 4.398 * * [simplify]: Extracting #4: cost 226 inf + 18560 4.405 * * [simplify]: Extracting #5: cost 54 inf + 19945 4.424 * * [simplify]: Extracting #6: cost 10 inf + 20193 4.437 * * [simplify]: Extracting #7: cost 0 inf + 20257 4.451 * [simplify]: Simplified to: (pow (exp y) (+ (+ x y) x)) (log (* y (+ (+ x y) x))) (pow (exp y) (+ (+ x y) x)) (* (cbrt (* y (+ (+ x y) x))) (cbrt (* y (+ (+ x y) x)))) (cbrt (* y (+ (+ x y) x))) (pow (* y (+ (+ x y) x)) 3) (sqrt (* y (+ (+ x y) x))) (sqrt (* y (+ (+ x y) x))) (+ (pow (* x y) 3) (pow (* (+ x y) y) 3)) (+ (* (* x y) (* x y)) (* (* y (- (+ x y) x)) (* (+ x y) y))) (* (* (- 0 y) y) (* y (+ (+ x y) x))) (* (- 0 y) y) (+ (+ x y) x) (* x (+ y y)) (* x (+ y y)) (exp (+ (* x x) (* y (+ (+ x y) x)))) (exp (+ (* x x) (* y (+ (+ x y) x)))) (log (+ (* x x) (* y (+ (+ x y) x)))) (exp (+ (* x x) (* y (+ (+ x y) x)))) (* (cbrt (+ (* x x) (* y (+ (+ x y) x)))) (cbrt (+ (* x x) (* y (+ (+ x y) x))))) (cbrt (+ (* x x) (* y (+ (+ x y) x)))) (pow (+ (* x x) (* y (+ (+ x y) x))) 3) (sqrt (+ (* x x) (* y (+ (+ x y) x)))) (sqrt (+ (* x x) (* y (+ (+ x y) x)))) (+ (pow x 6) (pow (* y (+ (+ x y) x)) 3)) (+ (- (pow x 4) (* (* y (+ (+ x y) x)) (* x x))) (* (* y (+ (+ x y) x)) (* y (+ (+ x y) x)))) (- (* (* y (+ (+ x y) x)) (* y (+ (+ x y) x))) (pow x 4)) (- (* y (+ (+ x y) x)) (* x x)) (+ (* (+ x y) y) (* x x)) (* (+ x y) y) (log (* (+ x y) y)) (log (* (+ x y) y)) (exp (* (+ x y) y)) (pow (* (+ x y) y) 3) (* (cbrt (* (+ x y) y)) (cbrt (* (+ x y) y))) (cbrt (* (+ x y) y)) (pow (* (+ x y) y) 3) (sqrt (* (+ x y) y)) (sqrt (* (+ x y) y)) (* (sqrt (+ x y)) (sqrt y)) (* (sqrt (+ x y)) (sqrt y)) (* x y) (* y y) (* y x) (* y y) (* (* y (cbrt (+ x y))) (cbrt (+ x y))) (* y (sqrt (+ x y))) y y (* (cbrt y) (+ x y)) (* (sqrt y) (+ x y)) (* (+ x y) y) (* y (+ (pow x 3) (pow y 3))) (* (+ x y) (* (- x y) y)) (* y (+ (* 2 x) y)) (* y (+ (* 2 x) y)) (* y (+ (* 2 x) y)) (+ (* y (+ (* 2 x) y)) (* x x)) (+ (* y (+ (* 2 x) y)) (* x x)) (+ (* y (+ (* 2 x) y)) (* x x)) (* y (+ y x)) (* y (+ y x)) (* y (+ y x)) 4.451 * * * [progress]: adding candidates to table 4.673 * [progress]: [Phase 3 of 3] Extracting. 4.673 * * [regime]: Finding splitpoints for: (# #) 4.674 * * * [regime-changes]: Trying 2 branch expressions: (y x) 4.674 * * * * [regimes]: Trying to branch on y from (# #) 4.725 * * * * [regimes]: Trying to branch on x from (# #) 4.779 * * * [regime]: Found split indices: #