23.431 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.027 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.030 * [simplify]: Simplifying: (* 2.0 (- (* x x) (* x y))) 0.030 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.030 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.030 * * [simplify]: Extracting # 2 : cost 4 inf + 1 0.030 * * [simplify]: Extracting # 3 : cost 6 inf + 1 0.030 * * [simplify]: Extracting # 4 : cost 0 inf + 371 0.030 * * [simplify]: iteration 0 : 7 enodes (cost 163 ) 0.031 * * [simplify]: Extracting # 0 : cost 0 inf + 371 0.032 * * [simplify]: Extracting # 1 : cost 2 inf + 371 0.032 * * [simplify]: Extracting # 2 : cost 0 inf + 495 0.032 * * [simplify]: Extracting # 3 : cost 0 inf + 415 0.032 * * [simplify]: iteration 1 : 13 enodes (cost 123 ) 0.034 * * [simplify]: Extracting # 0 : cost 0 inf + 415 0.034 * * [simplify]: Extracting # 1 : cost 8 inf + 415 0.034 * * [simplify]: Extracting # 2 : cost 0 inf + 1032 0.034 * * [simplify]: iteration 2 : 32 enodes (cost 123 ) 0.040 * * [simplify]: Extracting # 0 : cost 0 inf + 1032 0.041 * * [simplify]: Extracting # 1 : cost 8 inf + 1032 0.041 * * [simplify]: Extracting # 2 : cost 0 inf + 1610 0.042 * * [simplify]: iteration 3 : 65 enodes (cost 123 ) 0.055 * * [simplify]: Extracting # 0 : cost 0 inf + 1610 0.055 * * [simplify]: Extracting # 1 : cost 1 inf + 1610 0.056 * * [simplify]: Extracting # 2 : cost 0 inf + 1651 0.056 * * [simplify]: iteration 4 : 91 enodes (cost 123 ) 0.081 * * [simplify]: Extracting # 0 : cost 0 inf + 1651 0.082 * * [simplify]: iteration 5 : 97 enodes (cost 123 ) 0.096 * * [simplify]: Extracting # 0 : cost 0 inf + 1651 0.096 * * [simplify]: iteration complete: 97 enodes (cost 123 ) 0.097 * [simplify]: Simplified to: (* (* x (- x y)) 2.0) 0.100 * * [progress]: iteration 1 / 4 0.100 * * * [progress]: picking best candidate 0.106 * * * * [pick]: Picked # 0.106 * * * [progress]: localizing error 0.114 * * * [progress]: generating rewritten candidates 0.114 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.152 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.172 * * * [progress]: generating series expansions 0.172 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.173 * [backup-simplify]: Simplify (* (* x (- x y)) 2.0) into (* 2.0 (* x (- x y))) 0.173 * [approximate]: Taking taylor expansion of (* 2.0 (* x (- x y))) in (x y) around 0 0.173 * [taylor]: Taking taylor expansion of (* 2.0 (* x (- x y))) in y 0.173 * [taylor]: Taking taylor expansion of 2.0 in y 0.173 * [backup-simplify]: Simplify 2.0 into 2.0 0.173 * [taylor]: Taking taylor expansion of (* x (- x y)) in y 0.173 * [taylor]: Taking taylor expansion of x in y 0.173 * [backup-simplify]: Simplify x into x 0.173 * [taylor]: Taking taylor expansion of (- x y) in y 0.173 * [taylor]: Taking taylor expansion of x in y 0.173 * [backup-simplify]: Simplify x into x 0.173 * [taylor]: Taking taylor expansion of y in y 0.173 * [backup-simplify]: Simplify 0 into 0 0.173 * [backup-simplify]: Simplify 1 into 1 0.173 * [taylor]: Taking taylor expansion of (* 2.0 (* x (- x y))) in x 0.173 * [taylor]: Taking taylor expansion of 2.0 in x 0.173 * [backup-simplify]: Simplify 2.0 into 2.0 0.173 * [taylor]: Taking taylor expansion of (* x (- x y)) in x 0.173 * [taylor]: Taking taylor expansion of x in x 0.173 * [backup-simplify]: Simplify 0 into 0 0.173 * [backup-simplify]: Simplify 1 into 1 0.173 * [taylor]: Taking taylor expansion of (- x y) in x 0.173 * [taylor]: Taking taylor expansion of x in x 0.173 * [backup-simplify]: Simplify 0 into 0 0.173 * [backup-simplify]: Simplify 1 into 1 0.173 * [taylor]: Taking taylor expansion of y in x 0.173 * [backup-simplify]: Simplify y into y 0.173 * [taylor]: Taking taylor expansion of (* 2.0 (* x (- x y))) in x 0.173 * [taylor]: Taking taylor expansion of 2.0 in x 0.173 * [backup-simplify]: Simplify 2.0 into 2.0 0.173 * [taylor]: Taking taylor expansion of (* x (- x y)) in x 0.173 * [taylor]: Taking taylor expansion of x in x 0.173 * [backup-simplify]: Simplify 0 into 0 0.173 * [backup-simplify]: Simplify 1 into 1 0.173 * [taylor]: Taking taylor expansion of (- x y) in x 0.173 * [taylor]: Taking taylor expansion of x in x 0.173 * [backup-simplify]: Simplify 0 into 0 0.173 * [backup-simplify]: Simplify 1 into 1 0.173 * [taylor]: Taking taylor expansion of y in x 0.173 * [backup-simplify]: Simplify y into y 0.173 * [backup-simplify]: Simplify (- y) into (- y) 0.173 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 0.173 * [backup-simplify]: Simplify (* 0 (- y)) into 0 0.174 * [backup-simplify]: Simplify (* 2.0 0) into 0 0.174 * [taylor]: Taking taylor expansion of 0 in y 0.174 * [backup-simplify]: Simplify 0 into 0 0.174 * [backup-simplify]: Simplify 0 into 0 0.174 * [backup-simplify]: Simplify (- 0) into 0 0.174 * [backup-simplify]: Simplify (+ 1 0) into 1 0.175 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 (- y))) into (- y) 0.175 * [backup-simplify]: Simplify (+ (* 2.0 (- y)) (* 0 0)) into (- (* 2.0 y)) 0.175 * [taylor]: Taking taylor expansion of (- (* 2.0 y)) in y 0.175 * [taylor]: Taking taylor expansion of (* 2.0 y) in y 0.175 * [taylor]: Taking taylor expansion of 2.0 in y 0.175 * [backup-simplify]: Simplify 2.0 into 2.0 0.175 * [taylor]: Taking taylor expansion of y in y 0.175 * [backup-simplify]: Simplify 0 into 0 0.175 * [backup-simplify]: Simplify 1 into 1 0.175 * [backup-simplify]: Simplify (* 2.0 0) into 0 0.176 * [backup-simplify]: Simplify (- 0) into 0 0.176 * [backup-simplify]: Simplify 0 into 0 0.176 * [backup-simplify]: Simplify 0 into 0 0.176 * [backup-simplify]: Simplify (- 0) into 0 0.176 * [backup-simplify]: Simplify (+ 0 0) into 0 0.177 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 (- y)))) into 1 0.177 * [backup-simplify]: Simplify (+ (* 2.0 1) (+ (* 0 (- y)) (* 0 0))) into 2.0 0.177 * [taylor]: Taking taylor expansion of 2.0 in y 0.177 * [backup-simplify]: Simplify 2.0 into 2.0 0.177 * [backup-simplify]: Simplify 2.0 into 2.0 0.178 * [backup-simplify]: Simplify (+ (* 2.0 1) (* 0 0)) into 2.0 0.178 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.179 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.179 * [backup-simplify]: Simplify 0 into 0 0.179 * [backup-simplify]: Simplify (- 0) into 0 0.179 * [backup-simplify]: Simplify (+ 0 0) into 0 0.180 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 (- y))))) into 0 0.181 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))) into 0 0.181 * [taylor]: Taking taylor expansion of 0 in y 0.181 * [backup-simplify]: Simplify 0 into 0 0.181 * [backup-simplify]: Simplify 0 into 0 0.181 * [backup-simplify]: Simplify 0 into 0 0.181 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 1) (* 0 0))) into 0 0.182 * [backup-simplify]: Simplify (- 0) into 0 0.182 * [backup-simplify]: Simplify 0 into 0 0.182 * [backup-simplify]: Simplify 0 into 0 0.182 * [backup-simplify]: Simplify (- 0) into 0 0.183 * [backup-simplify]: Simplify (+ 0 0) into 0 0.184 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- y)))))) into 0 0.185 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0))))) into 0 0.185 * [taylor]: Taking taylor expansion of 0 in y 0.186 * [backup-simplify]: Simplify 0 into 0 0.186 * [backup-simplify]: Simplify 0 into 0 0.186 * [backup-simplify]: Simplify (+ (* (- 2.0) (* y x)) (* 2.0 (pow (* 1 x) 2))) into (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) 0.186 * [backup-simplify]: Simplify (* (* (/ 1 x) (- (/ 1 x) (/ 1 y))) 2.0) into (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) 0.186 * [approximate]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in (x y) around 0 0.186 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in y 0.187 * [taylor]: Taking taylor expansion of 2.0 in y 0.187 * [backup-simplify]: Simplify 2.0 into 2.0 0.187 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in y 0.187 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.187 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.187 * [taylor]: Taking taylor expansion of x in y 0.187 * [backup-simplify]: Simplify x into x 0.187 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.187 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.187 * [taylor]: Taking taylor expansion of y in y 0.187 * [backup-simplify]: Simplify 0 into 0 0.187 * [backup-simplify]: Simplify 1 into 1 0.187 * [backup-simplify]: Simplify (/ 1 1) into 1 0.187 * [taylor]: Taking taylor expansion of x in y 0.187 * [backup-simplify]: Simplify x into x 0.188 * [backup-simplify]: Simplify (- 1) into -1 0.188 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.188 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.188 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in x 0.188 * [taylor]: Taking taylor expansion of 2.0 in x 0.188 * [backup-simplify]: Simplify 2.0 into 2.0 0.188 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in x 0.188 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.188 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.188 * [taylor]: Taking taylor expansion of x in x 0.188 * [backup-simplify]: Simplify 0 into 0 0.188 * [backup-simplify]: Simplify 1 into 1 0.189 * [backup-simplify]: Simplify (/ 1 1) into 1 0.189 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.189 * [taylor]: Taking taylor expansion of y in x 0.189 * [backup-simplify]: Simplify y into y 0.189 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.189 * [taylor]: Taking taylor expansion of x in x 0.189 * [backup-simplify]: Simplify 0 into 0 0.189 * [backup-simplify]: Simplify 1 into 1 0.189 * [backup-simplify]: Simplify (+ 1 0) into 1 0.190 * [backup-simplify]: Simplify (/ 1 1) into 1 0.190 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in x 0.190 * [taylor]: Taking taylor expansion of 2.0 in x 0.190 * [backup-simplify]: Simplify 2.0 into 2.0 0.190 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in x 0.190 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.190 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.190 * [taylor]: Taking taylor expansion of x in x 0.190 * [backup-simplify]: Simplify 0 into 0 0.190 * [backup-simplify]: Simplify 1 into 1 0.190 * [backup-simplify]: Simplify (/ 1 1) into 1 0.190 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.190 * [taylor]: Taking taylor expansion of y in x 0.190 * [backup-simplify]: Simplify y into y 0.190 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.190 * [taylor]: Taking taylor expansion of x in x 0.190 * [backup-simplify]: Simplify 0 into 0 0.190 * [backup-simplify]: Simplify 1 into 1 0.191 * [backup-simplify]: Simplify (+ 1 0) into 1 0.191 * [backup-simplify]: Simplify (/ 1 1) into 1 0.192 * [backup-simplify]: Simplify (* 2.0 1) into 2.0 0.192 * [taylor]: Taking taylor expansion of 2.0 in y 0.192 * [backup-simplify]: Simplify 2.0 into 2.0 0.192 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.193 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 0.193 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 0.193 * [backup-simplify]: Simplify (- (/ (- (/ 1 y)) 1) (+ (* 1 (/ 0 1)))) into (- (/ 1 y)) 0.194 * [backup-simplify]: Simplify (+ (* 2.0 (- (/ 1 y))) (* 0 1)) into (- (* 2.0 (/ 1 y))) 0.194 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 y))) in y 0.194 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 0.194 * [taylor]: Taking taylor expansion of 2.0 in y 0.194 * [backup-simplify]: Simplify 2.0 into 2.0 0.194 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.194 * [taylor]: Taking taylor expansion of y in y 0.194 * [backup-simplify]: Simplify 0 into 0 0.194 * [backup-simplify]: Simplify 1 into 1 0.194 * [backup-simplify]: Simplify (/ 1 1) into 1 0.195 * [backup-simplify]: Simplify (* 2.0 1) into 2.0 0.195 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.196 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.196 * [backup-simplify]: Simplify 2.0 into 2.0 0.197 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.197 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.197 * [backup-simplify]: Simplify (- 0) into 0 0.198 * [backup-simplify]: Simplify (+ 0 0) into 0 0.199 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 y)) (/ 0 1)))) into 0 0.200 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0 0.200 * [taylor]: Taking taylor expansion of 0 in y 0.200 * [backup-simplify]: Simplify 0 into 0 0.201 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.201 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0 0.202 * [backup-simplify]: Simplify (- 0) into 0 0.202 * [backup-simplify]: Simplify 0 into 0 0.202 * [backup-simplify]: Simplify 0 into 0 0.203 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.203 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.203 * [backup-simplify]: Simplify (- 0) into 0 0.204 * [backup-simplify]: Simplify (+ 0 0) into 0 0.205 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.207 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0 0.207 * [taylor]: Taking taylor expansion of 0 in y 0.207 * [backup-simplify]: Simplify 0 into 0 0.207 * [backup-simplify]: Simplify 0 into 0 0.208 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.208 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0 0.209 * [backup-simplify]: Simplify (- 0) into 0 0.209 * [backup-simplify]: Simplify 0 into 0 0.209 * [backup-simplify]: Simplify 0 into 0 0.210 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.210 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.210 * [backup-simplify]: Simplify (- 0) into 0 0.211 * [backup-simplify]: Simplify (+ 0 0) into 0 0.213 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.214 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))))) into 0 0.214 * [taylor]: Taking taylor expansion of 0 in y 0.214 * [backup-simplify]: Simplify 0 into 0 0.214 * [backup-simplify]: Simplify 0 into 0 0.214 * [backup-simplify]: Simplify (+ (* 2.0 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* (- 2.0) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) 0.214 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (- (/ 1 (- x)) (/ 1 (- y)))) 2.0) into (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) 0.214 * [approximate]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in (x y) around 0 0.214 * [taylor]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in y 0.214 * [taylor]: Taking taylor expansion of -2.0 in y 0.215 * [backup-simplify]: Simplify -2.0 into -2.0 0.215 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in y 0.215 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.215 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.215 * [taylor]: Taking taylor expansion of y in y 0.215 * [backup-simplify]: Simplify 0 into 0 0.215 * [backup-simplify]: Simplify 1 into 1 0.215 * [backup-simplify]: Simplify (/ 1 1) into 1 0.215 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.215 * [taylor]: Taking taylor expansion of x in y 0.215 * [backup-simplify]: Simplify x into x 0.215 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.215 * [taylor]: Taking taylor expansion of x in y 0.215 * [backup-simplify]: Simplify x into x 0.215 * [backup-simplify]: Simplify (+ 1 0) into 1 0.215 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.215 * [taylor]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in x 0.215 * [taylor]: Taking taylor expansion of -2.0 in x 0.215 * [backup-simplify]: Simplify -2.0 into -2.0 0.215 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in x 0.215 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.215 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.215 * [taylor]: Taking taylor expansion of y in x 0.215 * [backup-simplify]: Simplify y into y 0.215 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.216 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.216 * [taylor]: Taking taylor expansion of x in x 0.216 * [backup-simplify]: Simplify 0 into 0 0.216 * [backup-simplify]: Simplify 1 into 1 0.216 * [backup-simplify]: Simplify (/ 1 1) into 1 0.216 * [taylor]: Taking taylor expansion of x in x 0.216 * [backup-simplify]: Simplify 0 into 0 0.216 * [backup-simplify]: Simplify 1 into 1 0.216 * [backup-simplify]: Simplify (- 1) into -1 0.217 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.217 * [backup-simplify]: Simplify (/ -1 1) into -1 0.217 * [taylor]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in x 0.217 * [taylor]: Taking taylor expansion of -2.0 in x 0.217 * [backup-simplify]: Simplify -2.0 into -2.0 0.217 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in x 0.217 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.217 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.217 * [taylor]: Taking taylor expansion of y in x 0.217 * [backup-simplify]: Simplify y into y 0.217 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.217 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.217 * [taylor]: Taking taylor expansion of x in x 0.217 * [backup-simplify]: Simplify 0 into 0 0.217 * [backup-simplify]: Simplify 1 into 1 0.217 * [backup-simplify]: Simplify (/ 1 1) into 1 0.217 * [taylor]: Taking taylor expansion of x in x 0.218 * [backup-simplify]: Simplify 0 into 0 0.218 * [backup-simplify]: Simplify 1 into 1 0.218 * [backup-simplify]: Simplify (- 1) into -1 0.218 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.218 * [backup-simplify]: Simplify (/ -1 1) into -1 0.219 * [backup-simplify]: Simplify (* -2.0 -1) into 2.0 0.219 * [taylor]: Taking taylor expansion of 2.0 in y 0.219 * [backup-simplify]: Simplify 2.0 into 2.0 0.219 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.219 * [backup-simplify]: Simplify (- 0) into 0 0.219 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 0.220 * [backup-simplify]: Simplify (- (/ (/ 1 y) 1) (+ (* -1 (/ 0 1)))) into (/ 1 y) 0.221 * [backup-simplify]: Simplify (+ (* -2.0 (/ 1 y)) (* 0 -1)) into (- (* 2.0 (/ 1 y))) 0.221 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 y))) in y 0.221 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 0.221 * [taylor]: Taking taylor expansion of 2.0 in y 0.221 * [backup-simplify]: Simplify 2.0 into 2.0 0.221 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.221 * [taylor]: Taking taylor expansion of y in y 0.221 * [backup-simplify]: Simplify 0 into 0 0.221 * [backup-simplify]: Simplify 1 into 1 0.221 * [backup-simplify]: Simplify (/ 1 1) into 1 0.222 * [backup-simplify]: Simplify (* 2.0 1) into 2.0 0.222 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.222 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.222 * [backup-simplify]: Simplify 2.0 into 2.0 0.222 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.223 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.223 * [backup-simplify]: Simplify (- 0) into 0 0.224 * [backup-simplify]: Simplify (+ 0 0) into 0 0.225 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (/ 1 y) (/ 0 1)))) into 0 0.225 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0 0.225 * [taylor]: Taking taylor expansion of 0 in y 0.225 * [backup-simplify]: Simplify 0 into 0 0.226 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.226 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0 0.226 * [backup-simplify]: Simplify (- 0) into 0 0.226 * [backup-simplify]: Simplify 0 into 0 0.226 * [backup-simplify]: Simplify 0 into 0 0.226 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.227 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.227 * [backup-simplify]: Simplify (- 0) into 0 0.227 * [backup-simplify]: Simplify (+ 0 0) into 0 0.228 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.229 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0 0.229 * [taylor]: Taking taylor expansion of 0 in y 0.229 * [backup-simplify]: Simplify 0 into 0 0.229 * [backup-simplify]: Simplify 0 into 0 0.230 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.230 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0 0.231 * [backup-simplify]: Simplify (- 0) into 0 0.231 * [backup-simplify]: Simplify 0 into 0 0.231 * [backup-simplify]: Simplify 0 into 0 0.231 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.231 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.232 * [backup-simplify]: Simplify (- 0) into 0 0.232 * [backup-simplify]: Simplify (+ 0 0) into 0 0.233 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.234 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0 0.234 * [taylor]: Taking taylor expansion of 0 in y 0.234 * [backup-simplify]: Simplify 0 into 0 0.234 * [backup-simplify]: Simplify 0 into 0 0.235 * [backup-simplify]: Simplify (+ (* 2.0 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* (- 2.0) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) 0.235 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.235 * [backup-simplify]: Simplify (* x (- x y)) into (* x (- x y)) 0.235 * [approximate]: Taking taylor expansion of (* x (- x y)) in (x y) around 0 0.235 * [taylor]: Taking taylor expansion of (* x (- x y)) in y 0.235 * [taylor]: Taking taylor expansion of x in y 0.235 * [backup-simplify]: Simplify x into x 0.235 * [taylor]: Taking taylor expansion of (- x y) in y 0.235 * [taylor]: Taking taylor expansion of x in y 0.235 * [backup-simplify]: Simplify x into x 0.235 * [taylor]: Taking taylor expansion of y in y 0.235 * [backup-simplify]: Simplify 0 into 0 0.235 * [backup-simplify]: Simplify 1 into 1 0.235 * [taylor]: Taking taylor expansion of (* x (- x y)) in x 0.235 * [taylor]: Taking taylor expansion of x in x 0.235 * [backup-simplify]: Simplify 0 into 0 0.235 * [backup-simplify]: Simplify 1 into 1 0.235 * [taylor]: Taking taylor expansion of (- x y) in x 0.235 * [taylor]: Taking taylor expansion of x in x 0.235 * [backup-simplify]: Simplify 0 into 0 0.235 * [backup-simplify]: Simplify 1 into 1 0.235 * [taylor]: Taking taylor expansion of y in x 0.235 * [backup-simplify]: Simplify y into y 0.235 * [taylor]: Taking taylor expansion of (* x (- x y)) in x 0.235 * [taylor]: Taking taylor expansion of x in x 0.235 * [backup-simplify]: Simplify 0 into 0 0.235 * [backup-simplify]: Simplify 1 into 1 0.235 * [taylor]: Taking taylor expansion of (- x y) in x 0.235 * [taylor]: Taking taylor expansion of x in x 0.235 * [backup-simplify]: Simplify 0 into 0 0.235 * [backup-simplify]: Simplify 1 into 1 0.235 * [taylor]: Taking taylor expansion of y in x 0.235 * [backup-simplify]: Simplify y into y 0.235 * [backup-simplify]: Simplify (- y) into (- y) 0.235 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 0.236 * [backup-simplify]: Simplify (* 0 (- y)) into 0 0.236 * [taylor]: Taking taylor expansion of 0 in y 0.236 * [backup-simplify]: Simplify 0 into 0 0.236 * [backup-simplify]: Simplify 0 into 0 0.236 * [backup-simplify]: Simplify (- 0) into 0 0.236 * [backup-simplify]: Simplify (+ 1 0) into 1 0.236 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 (- y))) into (- y) 0.236 * [taylor]: Taking taylor expansion of (- y) in y 0.236 * [taylor]: Taking taylor expansion of y in y 0.236 * [backup-simplify]: Simplify 0 into 0 0.236 * [backup-simplify]: Simplify 1 into 1 0.237 * [backup-simplify]: Simplify (- 0) into 0 0.237 * [backup-simplify]: Simplify 0 into 0 0.237 * [backup-simplify]: Simplify 0 into 0 0.237 * [backup-simplify]: Simplify (- 0) into 0 0.237 * [backup-simplify]: Simplify (+ 0 0) into 0 0.238 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 (- y)))) into 1 0.238 * [taylor]: Taking taylor expansion of 1 in y 0.238 * [backup-simplify]: Simplify 1 into 1 0.238 * [backup-simplify]: Simplify 1 into 1 0.238 * [backup-simplify]: Simplify (- 1) into -1 0.238 * [backup-simplify]: Simplify -1 into -1 0.238 * [backup-simplify]: Simplify 0 into 0 0.238 * [backup-simplify]: Simplify (- 0) into 0 0.239 * [backup-simplify]: Simplify (+ 0 0) into 0 0.239 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 (- y))))) into 0 0.239 * [taylor]: Taking taylor expansion of 0 in y 0.239 * [backup-simplify]: Simplify 0 into 0 0.239 * [backup-simplify]: Simplify 0 into 0 0.239 * [backup-simplify]: Simplify 0 into 0 0.240 * [backup-simplify]: Simplify (- 0) into 0 0.240 * [backup-simplify]: Simplify 0 into 0 0.240 * [backup-simplify]: Simplify 0 into 0 0.240 * [backup-simplify]: Simplify (- 0) into 0 0.240 * [backup-simplify]: Simplify (+ 0 0) into 0 0.241 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- y)))))) into 0 0.241 * [taylor]: Taking taylor expansion of 0 in y 0.241 * [backup-simplify]: Simplify 0 into 0 0.241 * [backup-simplify]: Simplify 0 into 0 0.241 * [backup-simplify]: Simplify (+ (* -1 (* y x)) (* 1 (pow (* 1 x) 2))) into (- (pow x 2) (* x y)) 0.241 * [backup-simplify]: Simplify (* (/ 1 x) (- (/ 1 x) (/ 1 y))) into (/ (- (/ 1 x) (/ 1 y)) x) 0.241 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in (x y) around 0 0.241 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in y 0.241 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.241 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.241 * [taylor]: Taking taylor expansion of x in y 0.241 * [backup-simplify]: Simplify x into x 0.242 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.242 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.242 * [taylor]: Taking taylor expansion of y in y 0.242 * [backup-simplify]: Simplify 0 into 0 0.242 * [backup-simplify]: Simplify 1 into 1 0.242 * [backup-simplify]: Simplify (/ 1 1) into 1 0.242 * [taylor]: Taking taylor expansion of x in y 0.242 * [backup-simplify]: Simplify x into x 0.242 * [backup-simplify]: Simplify (- 1) into -1 0.242 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.242 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.242 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in x 0.242 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.242 * [taylor]: Taking taylor expansion of x in x 0.242 * [backup-simplify]: Simplify 0 into 0 0.242 * [backup-simplify]: Simplify 1 into 1 0.243 * [backup-simplify]: Simplify (/ 1 1) into 1 0.243 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.243 * [taylor]: Taking taylor expansion of y in x 0.243 * [backup-simplify]: Simplify y into y 0.243 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.243 * [taylor]: Taking taylor expansion of x in x 0.243 * [backup-simplify]: Simplify 0 into 0 0.243 * [backup-simplify]: Simplify 1 into 1 0.243 * [backup-simplify]: Simplify (+ 1 0) into 1 0.243 * [backup-simplify]: Simplify (/ 1 1) into 1 0.243 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in x 0.243 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.243 * [backup-simplify]: Simplify 0 into 0 0.243 * [backup-simplify]: Simplify 1 into 1 0.244 * [backup-simplify]: Simplify (/ 1 1) into 1 0.244 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.244 * [taylor]: Taking taylor expansion of y in x 0.244 * [backup-simplify]: Simplify y into y 0.244 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.244 * [taylor]: Taking taylor expansion of x in x 0.244 * [backup-simplify]: Simplify 0 into 0 0.244 * [backup-simplify]: Simplify 1 into 1 0.244 * [backup-simplify]: Simplify (+ 1 0) into 1 0.244 * [backup-simplify]: Simplify (/ 1 1) into 1 0.244 * [taylor]: Taking taylor expansion of 1 in y 0.244 * [backup-simplify]: Simplify 1 into 1 0.245 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.245 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 0.245 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 0.245 * [backup-simplify]: Simplify (- (/ (- (/ 1 y)) 1) (+ (* 1 (/ 0 1)))) into (- (/ 1 y)) 0.245 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.245 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.245 * [taylor]: Taking taylor expansion of y in y 0.245 * [backup-simplify]: Simplify 0 into 0 0.246 * [backup-simplify]: Simplify 1 into 1 0.246 * [backup-simplify]: Simplify (/ 1 1) into 1 0.246 * [backup-simplify]: Simplify (- 1) into -1 0.246 * [backup-simplify]: Simplify -1 into -1 0.246 * [backup-simplify]: Simplify 1 into 1 0.247 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.247 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.247 * [backup-simplify]: Simplify (- 0) into 0 0.247 * [backup-simplify]: Simplify (+ 0 0) into 0 0.248 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 y)) (/ 0 1)))) into 0 0.248 * [taylor]: Taking taylor expansion of 0 in y 0.248 * [backup-simplify]: Simplify 0 into 0 0.248 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.249 * [backup-simplify]: Simplify (- 0) into 0 0.249 * [backup-simplify]: Simplify 0 into 0 0.249 * [backup-simplify]: Simplify 0 into 0 0.249 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.249 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.250 * [backup-simplify]: Simplify (- 0) into 0 0.250 * [backup-simplify]: Simplify (+ 0 0) into 0 0.251 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.251 * [taylor]: Taking taylor expansion of 0 in y 0.251 * [backup-simplify]: Simplify 0 into 0 0.251 * [backup-simplify]: Simplify 0 into 0 0.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.252 * [backup-simplify]: Simplify (- 0) into 0 0.252 * [backup-simplify]: Simplify 0 into 0 0.252 * [backup-simplify]: Simplify 0 into 0 0.252 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.252 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.253 * [backup-simplify]: Simplify (- 0) into 0 0.253 * [backup-simplify]: Simplify (+ 0 0) into 0 0.256 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.256 * [taylor]: Taking taylor expansion of 0 in y 0.256 * [backup-simplify]: Simplify 0 into 0 0.256 * [backup-simplify]: Simplify 0 into 0 0.257 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* -1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (- (pow x 2) (* x y)) 0.257 * [backup-simplify]: Simplify (* (/ 1 (- x)) (- (/ 1 (- x)) (/ 1 (- y)))) into (* -1 (/ (- (/ 1 y) (/ 1 x)) x)) 0.257 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) x)) in (x y) around 0 0.257 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) x)) in y 0.257 * [taylor]: Taking taylor expansion of -1 in y 0.257 * [backup-simplify]: Simplify -1 into -1 0.257 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in y 0.257 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.257 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.257 * [taylor]: Taking taylor expansion of y in y 0.257 * [backup-simplify]: Simplify 0 into 0 0.257 * [backup-simplify]: Simplify 1 into 1 0.257 * [backup-simplify]: Simplify (/ 1 1) into 1 0.257 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.257 * [taylor]: Taking taylor expansion of x in y 0.257 * [backup-simplify]: Simplify x into x 0.257 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.257 * [taylor]: Taking taylor expansion of x in y 0.257 * [backup-simplify]: Simplify x into x 0.258 * [backup-simplify]: Simplify (+ 1 0) into 1 0.258 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.258 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) x)) in x 0.258 * [taylor]: Taking taylor expansion of -1 in x 0.258 * [backup-simplify]: Simplify -1 into -1 0.258 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in x 0.258 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.258 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.258 * [taylor]: Taking taylor expansion of y in x 0.258 * [backup-simplify]: Simplify y into y 0.258 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.258 * [taylor]: Taking taylor expansion of x in x 0.258 * [backup-simplify]: Simplify 0 into 0 0.258 * [backup-simplify]: Simplify 1 into 1 0.258 * [backup-simplify]: Simplify (/ 1 1) into 1 0.258 * [taylor]: Taking taylor expansion of x in x 0.258 * [backup-simplify]: Simplify 0 into 0 0.258 * [backup-simplify]: Simplify 1 into 1 0.258 * [backup-simplify]: Simplify (- 1) into -1 0.259 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.259 * [backup-simplify]: Simplify (/ -1 1) into -1 0.259 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) x)) in x 0.259 * [taylor]: Taking taylor expansion of -1 in x 0.259 * [backup-simplify]: Simplify -1 into -1 0.259 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in x 0.259 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.259 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.259 * [taylor]: Taking taylor expansion of y in x 0.259 * [backup-simplify]: Simplify y into y 0.259 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.259 * [taylor]: Taking taylor expansion of x in x 0.259 * [backup-simplify]: Simplify 0 into 0 0.259 * [backup-simplify]: Simplify 1 into 1 0.259 * [backup-simplify]: Simplify (/ 1 1) into 1 0.259 * [taylor]: Taking taylor expansion of x in x 0.259 * [backup-simplify]: Simplify 0 into 0 0.259 * [backup-simplify]: Simplify 1 into 1 0.260 * [backup-simplify]: Simplify (- 1) into -1 0.260 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.260 * [backup-simplify]: Simplify (/ -1 1) into -1 0.260 * [backup-simplify]: Simplify (* -1 -1) into 1 0.260 * [taylor]: Taking taylor expansion of 1 in y 0.260 * [backup-simplify]: Simplify 1 into 1 0.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.261 * [backup-simplify]: Simplify (- 0) into 0 0.261 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 0.262 * [backup-simplify]: Simplify (- (/ (/ 1 y) 1) (+ (* -1 (/ 0 1)))) into (/ 1 y) 0.263 * [backup-simplify]: Simplify (+ (* -1 (/ 1 y)) (* 0 -1)) into (- (/ 1 y)) 0.263 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.263 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.263 * [taylor]: Taking taylor expansion of y in y 0.263 * [backup-simplify]: Simplify 0 into 0 0.263 * [backup-simplify]: Simplify 1 into 1 0.263 * [backup-simplify]: Simplify (/ 1 1) into 1 0.263 * [backup-simplify]: Simplify (- 1) into -1 0.263 * [backup-simplify]: Simplify -1 into -1 0.263 * [backup-simplify]: Simplify 1 into 1 0.264 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.265 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.265 * [backup-simplify]: Simplify (- 0) into 0 0.265 * [backup-simplify]: Simplify (+ 0 0) into 0 0.267 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (/ 1 y) (/ 0 1)))) into 0 0.268 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0 0.268 * [taylor]: Taking taylor expansion of 0 in y 0.268 * [backup-simplify]: Simplify 0 into 0 0.268 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.269 * [backup-simplify]: Simplify (- 0) into 0 0.269 * [backup-simplify]: Simplify 0 into 0 0.269 * [backup-simplify]: Simplify 0 into 0 0.269 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.270 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.270 * [backup-simplify]: Simplify (- 0) into 0 0.270 * [backup-simplify]: Simplify (+ 0 0) into 0 0.273 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.274 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0 0.274 * [taylor]: Taking taylor expansion of 0 in y 0.274 * [backup-simplify]: Simplify 0 into 0 0.274 * [backup-simplify]: Simplify 0 into 0 0.275 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.275 * [backup-simplify]: Simplify (- 0) into 0 0.275 * [backup-simplify]: Simplify 0 into 0 0.275 * [backup-simplify]: Simplify 0 into 0 0.275 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.277 * [backup-simplify]: Simplify (- 0) into 0 0.277 * [backup-simplify]: Simplify (+ 0 0) into 0 0.278 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.279 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0 0.279 * [taylor]: Taking taylor expansion of 0 in y 0.279 * [backup-simplify]: Simplify 0 into 0 0.279 * [backup-simplify]: Simplify 0 into 0 0.280 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* -1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (- (pow x 2) (* x y)) 0.280 * * * [progress]: simplifying candidates 0.280 * [simplify]: Simplifying: (* (* x (- x y)) 2.0) (* (* x (- x y)) 2.0) (+ (+ (log x) (log (- x y))) (log 2.0)) (+ (log (* x (- x y))) (log 2.0)) (log (* (* x (- x y)) 2.0)) (exp (* (* x (- x y)) 2.0)) (* (* (* (* x x) x) (* (* (- x y) (- x y)) (- x y))) (* (* 2.0 2.0) 2.0)) (* (* (* (* x (- x y)) (* x (- x y))) (* x (- x y))) (* (* 2.0 2.0) 2.0)) (* (cbrt (* (* x (- x y)) 2.0)) (cbrt (* (* x (- x y)) 2.0))) (cbrt (* (* x (- x y)) 2.0)) (* (* (* (* x (- x y)) 2.0) (* (* x (- x y)) 2.0)) (* (* x (- x y)) 2.0)) (sqrt (* (* x (- x y)) 2.0)) (sqrt (* (* x (- x y)) 2.0)) (* (* x (- x y)) (* (cbrt 2.0) (cbrt 2.0))) (* (* x (- x y)) (sqrt 2.0)) (* (* x (- x y)) 1) (* (- x y) 2.0) (* (* x (- (pow x 3) (pow y 3))) 2.0) (* (* x (- (* x x) (* y y))) 2.0) (* x (- x y)) (+ (log x) (log (- x y))) (log (* x (- x y))) (exp (* x (- x y))) (* (* (* x x) x) (* (* (- x y) (- x y)) (- x y))) (* (cbrt (* x (- x y))) (cbrt (* x (- x y)))) (cbrt (* x (- x y))) (* (* (* x (- x y)) (* x (- x y))) (* x (- x y))) (sqrt (* x (- x y))) (sqrt (* x (- x y))) (* (sqrt x) (sqrt (- x y))) (* (sqrt x) (sqrt (- x y))) (* x x) (* x (- y)) (* x x) (* x (- y)) (* x x) (* (- y) x) (* x x) (* (- y) x) (* x (* (cbrt (- x y)) (cbrt (- x y)))) (* x (sqrt (- x y))) (* x 1) (* x (+ (sqrt x) (sqrt y))) (* x 1) (* (cbrt x) (- x y)) (* (sqrt x) (- x y)) (* x (- x y)) (* x (- (pow x 3) (pow y 3))) (* x (- (* x x) (* y y))) (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) (- (pow x 2) (* x y)) (- (pow x 2) (* x y)) (- (pow x 2) (* x y)) 0.281 * * [simplify]: Extracting # 0 : cost 40 inf + 0 0.281 * * [simplify]: Extracting # 1 : cost 66 inf + 0 0.281 * * [simplify]: Extracting # 2 : cost 71 inf + 115 0.281 * * [simplify]: Extracting # 3 : cost 59 inf + 1182 0.282 * * [simplify]: Extracting # 4 : cost 23 inf + 5882 0.283 * * [simplify]: Extracting # 5 : cost 6 inf + 9703 0.283 * * [simplify]: Extracting # 6 : cost 0 inf + 11500 0.284 * * [simplify]: iteration 0 : 77 enodes (cost 10246 ) 0.303 * * [simplify]: Extracting # 0 : cost 0 inf + 11500 0.304 * * [simplify]: Extracting # 1 : cost 40 inf + 10063 0.307 * * [simplify]: Extracting # 2 : cost 4 inf + 14944 0.311 * * [simplify]: Extracting # 3 : cost 2 inf + 14895 0.315 * * [simplify]: Extracting # 4 : cost 0 inf + 15319 0.318 * * [simplify]: iteration 1 : 201 enodes (cost 8175 ) 0.389 * * [simplify]: Extracting # 0 : cost 0 inf + 15319 0.395 * * [simplify]: Extracting # 1 : cost 148 inf + 14736 0.408 * * [simplify]: Extracting # 2 : cost 7 inf + 36766 0.424 * * [simplify]: Extracting # 3 : cost 0 inf + 38083 0.434 * * [simplify]: iteration 2 : 615 enodes (cost 8095 ) 0.956 * * [simplify]: Extracting # 0 : cost 0 inf + 38083 0.977 * * [simplify]: Extracting # 1 : cost 612 inf + 36766 1.025 * * [simplify]: Extracting # 2 : cost 26 inf + 149028 1.091 * * [simplify]: Extracting # 3 : cost 1 inf + 153633 1.143 * * [simplify]: Extracting # 4 : cost 0 inf + 153805 1.195 * * [simplify]: iteration 3 : 2620 enodes (cost 7855 ) 2.260 * * [simplify]: Extracting # 0 : cost 0 inf + 153805 2.339 * * [simplify]: Extracting # 1 : cost 1188 inf + 150133 2.449 * * [simplify]: Extracting # 2 : cost 59 inf + 377911 2.639 * * [simplify]: Extracting # 3 : cost 15 inf + 382699 2.770 * * [simplify]: Extracting # 4 : cost 0 inf + 385866 2.908 * * [simplify]: Extracting # 5 : cost 0 inf + 385706 3.046 * * [simplify]: iteration complete: 5002 enodes (cost 7855 ) 3.046 * [simplify]: Simplified to: (* (* 2.0 (- x y)) x) (* (* 2.0 (- x y)) x) (log (* (* x (- x y)) 2.0)) (log (* (* x (- x y)) 2.0)) (log (* (* x (- x y)) 2.0)) (exp (* (* x (- x y)) 2.0)) (* (* (* (* x (- x y)) 2.0) (* (* x (- x y)) 2.0)) (* (* x (- x y)) 2.0)) (* (* (* (* x (- x y)) 2.0) (* (* x (- x y)) 2.0)) (* (* x (- x y)) 2.0)) (* (cbrt (* (* x (- x y)) 2.0)) (cbrt (* (* x (- x y)) 2.0))) (cbrt (* (* x (- x y)) 2.0)) (* (* (* (* x (- x y)) 2.0) (* (* x (- x y)) 2.0)) (* (* x (- x y)) 2.0)) (sqrt (* (* x (- x y)) 2.0)) (sqrt (* (* x (- x y)) 2.0)) (* (* x (- x y)) (* (cbrt 2.0) (cbrt 2.0))) (* (* x (- x y)) (sqrt 2.0)) (* x (- x y)) (* (- x y) 2.0) (* 2.0 (* x (- (* (* x x) x) (* (* y y) y)))) (* (* x (- (* x x) (* y y))) 2.0) (* x (- x y)) (log (* x (- x y))) (log (* x (- x y))) (exp (* x (- x y))) (* (* (* x (- x y)) (* x (- x y))) (* x (- x y))) (* (cbrt (* x (- x y))) (cbrt (* x (- x y)))) (cbrt (* x (- x y))) (* (* (* x (- x y)) (* x (- x y))) (* x (- x y))) (sqrt (* x (- x y))) (sqrt (* x (- x y))) (* (sqrt x) (sqrt (- x y))) (* (sqrt x) (sqrt (- x y))) (* x x) (* (- y) x) (* x x) (* (- y) x) (* x x) (* (- y) x) (* x x) (* (- y) x) (* x (* (cbrt (- x y)) (cbrt (- x y)))) (* x (sqrt (- x y))) x (* x (+ (sqrt x) (sqrt y))) x (* (cbrt x) (- x y)) (* (sqrt x) (- x y)) (* x (- x y)) (* x (- (* (* x x) x) (* (* y y) y))) (* x (- (* x x) (* y y))) (* 2.0 (- (* x x) (* x y))) (* 2.0 (- (* x x) (* x y))) (* 2.0 (- (* x x) (* x y))) (- (* x x) (* x y)) (- (* x x) (* x y)) (- (* x x) (* x y)) 3.048 * * * [progress]: adding candidates to table 3.225 * * [progress]: iteration 2 / 4 3.225 * * * [progress]: picking best candidate 3.231 * * * * [pick]: Picked # 3.231 * * * [progress]: localizing error 3.238 * * * [progress]: generating rewritten candidates 3.238 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.271 * * * [progress]: generating series expansions 3.271 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.271 * [backup-simplify]: Simplify (* x (* (- x y) 2.0)) into (* 2.0 (* x (- x y))) 3.271 * [approximate]: Taking taylor expansion of (* 2.0 (* x (- x y))) in (x y) around 0 3.271 * [taylor]: Taking taylor expansion of (* 2.0 (* x (- x y))) in y 3.271 * [taylor]: Taking taylor expansion of 2.0 in y 3.271 * [backup-simplify]: Simplify 2.0 into 2.0 3.271 * [taylor]: Taking taylor expansion of (* x (- x y)) in y 3.271 * [taylor]: Taking taylor expansion of x in y 3.271 * [backup-simplify]: Simplify x into x 3.271 * [taylor]: Taking taylor expansion of (- x y) in y 3.271 * [taylor]: Taking taylor expansion of x in y 3.271 * [backup-simplify]: Simplify x into x 3.271 * [taylor]: Taking taylor expansion of y in y 3.271 * [backup-simplify]: Simplify 0 into 0 3.271 * [backup-simplify]: Simplify 1 into 1 3.271 * [taylor]: Taking taylor expansion of (* 2.0 (* x (- x y))) in x 3.271 * [taylor]: Taking taylor expansion of 2.0 in x 3.271 * [backup-simplify]: Simplify 2.0 into 2.0 3.271 * [taylor]: Taking taylor expansion of (* x (- x y)) 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 * [taylor]: Taking taylor expansion of (- x y) 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.272 * [taylor]: Taking taylor expansion of y in x 3.272 * [backup-simplify]: Simplify y into y 3.272 * [taylor]: Taking taylor expansion of (* 2.0 (* x (- x y))) in x 3.272 * [taylor]: Taking taylor expansion of 2.0 in x 3.272 * [backup-simplify]: Simplify 2.0 into 2.0 3.272 * [taylor]: Taking taylor expansion of (* x (- x y)) in x 3.272 * [taylor]: Taking taylor expansion of x in x 3.272 * [backup-simplify]: Simplify 0 into 0 3.272 * [backup-simplify]: Simplify 1 into 1 3.272 * [taylor]: Taking taylor expansion of (- x y) in x 3.272 * [taylor]: Taking taylor expansion of x in x 3.272 * [backup-simplify]: Simplify 0 into 0 3.272 * [backup-simplify]: Simplify 1 into 1 3.272 * [taylor]: Taking taylor expansion of y in x 3.272 * [backup-simplify]: Simplify y into y 3.272 * [backup-simplify]: Simplify (- y) into (- y) 3.272 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 3.272 * [backup-simplify]: Simplify (* 0 (- y)) into 0 3.273 * [backup-simplify]: Simplify (* 2.0 0) into 0 3.273 * [taylor]: Taking taylor expansion of 0 in y 3.273 * [backup-simplify]: Simplify 0 into 0 3.273 * [backup-simplify]: Simplify 0 into 0 3.273 * [backup-simplify]: Simplify (- 0) into 0 3.273 * [backup-simplify]: Simplify (+ 1 0) into 1 3.274 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 (- y))) into (- y) 3.274 * [backup-simplify]: Simplify (+ (* 2.0 (- y)) (* 0 0)) into (- (* 2.0 y)) 3.274 * [taylor]: Taking taylor expansion of (- (* 2.0 y)) in y 3.274 * [taylor]: Taking taylor expansion of (* 2.0 y) in y 3.274 * [taylor]: Taking taylor expansion of 2.0 in y 3.274 * [backup-simplify]: Simplify 2.0 into 2.0 3.274 * [taylor]: Taking taylor expansion of y in y 3.274 * [backup-simplify]: Simplify 0 into 0 3.274 * [backup-simplify]: Simplify 1 into 1 3.275 * [backup-simplify]: Simplify (* 2.0 0) into 0 3.275 * [backup-simplify]: Simplify (- 0) into 0 3.275 * [backup-simplify]: Simplify 0 into 0 3.275 * [backup-simplify]: Simplify 0 into 0 3.276 * [backup-simplify]: Simplify (- 0) into 0 3.276 * [backup-simplify]: Simplify (+ 0 0) into 0 3.277 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 (- y)))) into 1 3.277 * [backup-simplify]: Simplify (+ (* 2.0 1) (+ (* 0 (- y)) (* 0 0))) into 2.0 3.277 * [taylor]: Taking taylor expansion of 2.0 in y 3.277 * [backup-simplify]: Simplify 2.0 into 2.0 3.277 * [backup-simplify]: Simplify 2.0 into 2.0 3.279 * [backup-simplify]: Simplify (+ (* 2.0 1) (* 0 0)) into 2.0 3.279 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 3.279 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 3.279 * [backup-simplify]: Simplify 0 into 0 3.280 * [backup-simplify]: Simplify (- 0) into 0 3.280 * [backup-simplify]: Simplify (+ 0 0) into 0 3.281 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 (- y))))) into 0 3.282 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))) into 0 3.282 * [taylor]: Taking taylor expansion of 0 in y 3.282 * [backup-simplify]: Simplify 0 into 0 3.282 * [backup-simplify]: Simplify 0 into 0 3.282 * [backup-simplify]: Simplify 0 into 0 3.283 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 1) (* 0 0))) into 0 3.283 * [backup-simplify]: Simplify (- 0) into 0 3.283 * [backup-simplify]: Simplify 0 into 0 3.283 * [backup-simplify]: Simplify 0 into 0 3.284 * [backup-simplify]: Simplify (- 0) into 0 3.284 * [backup-simplify]: Simplify (+ 0 0) into 0 3.285 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- y)))))) into 0 3.287 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0))))) into 0 3.287 * [taylor]: Taking taylor expansion of 0 in y 3.287 * [backup-simplify]: Simplify 0 into 0 3.287 * [backup-simplify]: Simplify 0 into 0 3.288 * [backup-simplify]: Simplify (+ (* (- 2.0) (* y x)) (* 2.0 (pow (* 1 x) 2))) into (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) 3.288 * [backup-simplify]: Simplify (* (/ 1 x) (* (- (/ 1 x) (/ 1 y)) 2.0)) into (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) 3.288 * [approximate]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in (x y) around 0 3.288 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in y 3.288 * [taylor]: Taking taylor expansion of 2.0 in y 3.288 * [backup-simplify]: Simplify 2.0 into 2.0 3.288 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in y 3.288 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 3.288 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.288 * [taylor]: Taking taylor expansion of x in y 3.288 * [backup-simplify]: Simplify x into x 3.288 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.288 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.288 * [taylor]: Taking taylor expansion of y in y 3.288 * [backup-simplify]: Simplify 0 into 0 3.288 * [backup-simplify]: Simplify 1 into 1 3.288 * [backup-simplify]: Simplify (/ 1 1) into 1 3.288 * [taylor]: Taking taylor expansion of x in y 3.289 * [backup-simplify]: Simplify x into x 3.289 * [backup-simplify]: Simplify (- 1) into -1 3.289 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.289 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 3.289 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in x 3.289 * [taylor]: Taking taylor expansion of 2.0 in x 3.289 * [backup-simplify]: Simplify 2.0 into 2.0 3.289 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in x 3.289 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 3.289 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.289 * [taylor]: Taking taylor expansion of x in x 3.290 * [backup-simplify]: Simplify 0 into 0 3.290 * [backup-simplify]: Simplify 1 into 1 3.290 * [backup-simplify]: Simplify (/ 1 1) into 1 3.290 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.290 * [taylor]: Taking taylor expansion of y in x 3.290 * [backup-simplify]: Simplify y into y 3.290 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.290 * [taylor]: Taking taylor expansion of x in x 3.290 * [backup-simplify]: Simplify 0 into 0 3.290 * [backup-simplify]: Simplify 1 into 1 3.290 * [backup-simplify]: Simplify (+ 1 0) into 1 3.291 * [backup-simplify]: Simplify (/ 1 1) into 1 3.291 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in x 3.291 * [taylor]: Taking taylor expansion of 2.0 in x 3.291 * [backup-simplify]: Simplify 2.0 into 2.0 3.291 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in x 3.291 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 3.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.291 * [taylor]: Taking taylor expansion of x in x 3.291 * [backup-simplify]: Simplify 0 into 0 3.291 * [backup-simplify]: Simplify 1 into 1 3.291 * [backup-simplify]: Simplify (/ 1 1) into 1 3.291 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.291 * [taylor]: Taking taylor expansion of y in x 3.291 * [backup-simplify]: Simplify y into y 3.291 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.292 * [taylor]: Taking taylor expansion of x in x 3.292 * [backup-simplify]: Simplify 0 into 0 3.292 * [backup-simplify]: Simplify 1 into 1 3.292 * [backup-simplify]: Simplify (+ 1 0) into 1 3.292 * [backup-simplify]: Simplify (/ 1 1) into 1 3.293 * [backup-simplify]: Simplify (* 2.0 1) into 2.0 3.293 * [taylor]: Taking taylor expansion of 2.0 in y 3.293 * [backup-simplify]: Simplify 2.0 into 2.0 3.293 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.294 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 3.294 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 3.294 * [backup-simplify]: Simplify (- (/ (- (/ 1 y)) 1) (+ (* 1 (/ 0 1)))) into (- (/ 1 y)) 3.295 * [backup-simplify]: Simplify (+ (* 2.0 (- (/ 1 y))) (* 0 1)) into (- (* 2.0 (/ 1 y))) 3.295 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 y))) in y 3.295 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 3.295 * [taylor]: Taking taylor expansion of 2.0 in y 3.295 * [backup-simplify]: Simplify 2.0 into 2.0 3.295 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.295 * [taylor]: Taking taylor expansion of y in y 3.295 * [backup-simplify]: Simplify 0 into 0 3.295 * [backup-simplify]: Simplify 1 into 1 3.295 * [backup-simplify]: Simplify (/ 1 1) into 1 3.296 * [backup-simplify]: Simplify (* 2.0 1) into 2.0 3.296 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 3.296 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 3.296 * [backup-simplify]: Simplify 2.0 into 2.0 3.297 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.297 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.298 * [backup-simplify]: Simplify (- 0) into 0 3.298 * [backup-simplify]: Simplify (+ 0 0) into 0 3.299 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 y)) (/ 0 1)))) into 0 3.299 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0 3.299 * [taylor]: Taking taylor expansion of 0 in y 3.300 * [backup-simplify]: Simplify 0 into 0 3.300 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.300 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0 3.301 * [backup-simplify]: Simplify (- 0) into 0 3.301 * [backup-simplify]: Simplify 0 into 0 3.301 * [backup-simplify]: Simplify 0 into 0 3.301 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.301 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.301 * [backup-simplify]: Simplify (- 0) into 0 3.302 * [backup-simplify]: Simplify (+ 0 0) into 0 3.303 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.304 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0 3.304 * [taylor]: Taking taylor expansion of 0 in y 3.304 * [backup-simplify]: Simplify 0 into 0 3.304 * [backup-simplify]: Simplify 0 into 0 3.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.305 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0 3.305 * [backup-simplify]: Simplify (- 0) into 0 3.305 * [backup-simplify]: Simplify 0 into 0 3.305 * [backup-simplify]: Simplify 0 into 0 3.305 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.306 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.306 * [backup-simplify]: Simplify (- 0) into 0 3.306 * [backup-simplify]: Simplify (+ 0 0) into 0 3.307 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.308 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))))) into 0 3.308 * [taylor]: Taking taylor expansion of 0 in y 3.308 * [backup-simplify]: Simplify 0 into 0 3.309 * [backup-simplify]: Simplify 0 into 0 3.309 * [backup-simplify]: Simplify (+ (* 2.0 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* (- 2.0) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) 3.309 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* (- (/ 1 (- x)) (/ 1 (- y))) 2.0)) into (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) 3.309 * [approximate]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in (x y) around 0 3.309 * [taylor]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in y 3.309 * [taylor]: Taking taylor expansion of -2.0 in y 3.309 * [backup-simplify]: Simplify -2.0 into -2.0 3.309 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in y 3.309 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 3.309 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.309 * [taylor]: Taking taylor expansion of y in y 3.309 * [backup-simplify]: Simplify 0 into 0 3.309 * [backup-simplify]: Simplify 1 into 1 3.310 * [backup-simplify]: Simplify (/ 1 1) into 1 3.310 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.310 * [taylor]: Taking taylor expansion of x in y 3.310 * [backup-simplify]: Simplify x into x 3.310 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.310 * [taylor]: Taking taylor expansion of x in y 3.310 * [backup-simplify]: Simplify x into x 3.310 * [backup-simplify]: Simplify (+ 1 0) into 1 3.310 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.310 * [taylor]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in x 3.310 * [taylor]: Taking taylor expansion of -2.0 in x 3.310 * [backup-simplify]: Simplify -2.0 into -2.0 3.310 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in x 3.310 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 3.310 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.310 * [taylor]: Taking taylor expansion of y in x 3.310 * [backup-simplify]: Simplify y into y 3.310 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.310 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.310 * [taylor]: Taking taylor expansion of x in x 3.310 * [backup-simplify]: Simplify 0 into 0 3.310 * [backup-simplify]: Simplify 1 into 1 3.311 * [backup-simplify]: Simplify (/ 1 1) into 1 3.311 * [taylor]: Taking taylor expansion of x in x 3.311 * [backup-simplify]: Simplify 0 into 0 3.311 * [backup-simplify]: Simplify 1 into 1 3.311 * [backup-simplify]: Simplify (- 1) into -1 3.311 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.311 * [backup-simplify]: Simplify (/ -1 1) into -1 3.311 * [taylor]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in x 3.311 * [taylor]: Taking taylor expansion of -2.0 in x 3.311 * [backup-simplify]: Simplify -2.0 into -2.0 3.311 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in x 3.311 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 3.311 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.311 * [taylor]: Taking taylor expansion of y in x 3.311 * [backup-simplify]: Simplify y into y 3.311 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.311 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.312 * [taylor]: Taking taylor expansion of x in x 3.312 * [backup-simplify]: Simplify 0 into 0 3.312 * [backup-simplify]: Simplify 1 into 1 3.312 * [backup-simplify]: Simplify (/ 1 1) into 1 3.312 * [taylor]: Taking taylor expansion of x in x 3.312 * [backup-simplify]: Simplify 0 into 0 3.312 * [backup-simplify]: Simplify 1 into 1 3.312 * [backup-simplify]: Simplify (- 1) into -1 3.312 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.313 * [backup-simplify]: Simplify (/ -1 1) into -1 3.313 * [backup-simplify]: Simplify (* -2.0 -1) into 2.0 3.313 * [taylor]: Taking taylor expansion of 2.0 in y 3.313 * [backup-simplify]: Simplify 2.0 into 2.0 3.313 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.314 * [backup-simplify]: Simplify (- 0) into 0 3.314 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 3.314 * [backup-simplify]: Simplify (- (/ (/ 1 y) 1) (+ (* -1 (/ 0 1)))) into (/ 1 y) 3.314 * [backup-simplify]: Simplify (+ (* -2.0 (/ 1 y)) (* 0 -1)) into (- (* 2.0 (/ 1 y))) 3.314 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 y))) in y 3.314 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 3.314 * [taylor]: Taking taylor expansion of 2.0 in y 3.314 * [backup-simplify]: Simplify 2.0 into 2.0 3.314 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.314 * [taylor]: Taking taylor expansion of y in y 3.314 * [backup-simplify]: Simplify 0 into 0 3.315 * [backup-simplify]: Simplify 1 into 1 3.315 * [backup-simplify]: Simplify (/ 1 1) into 1 3.315 * [backup-simplify]: Simplify (* 2.0 1) into 2.0 3.315 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 3.315 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 3.316 * [backup-simplify]: Simplify 2.0 into 2.0 3.316 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.316 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.316 * [backup-simplify]: Simplify (- 0) into 0 3.317 * [backup-simplify]: Simplify (+ 0 0) into 0 3.317 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (/ 1 y) (/ 0 1)))) into 0 3.318 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0 3.318 * [taylor]: Taking taylor expansion of 0 in y 3.318 * [backup-simplify]: Simplify 0 into 0 3.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.319 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0 3.319 * [backup-simplify]: Simplify (- 0) into 0 3.319 * [backup-simplify]: Simplify 0 into 0 3.319 * [backup-simplify]: Simplify 0 into 0 3.319 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.320 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.320 * [backup-simplify]: Simplify (- 0) into 0 3.320 * [backup-simplify]: Simplify (+ 0 0) into 0 3.322 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.322 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0 3.322 * [taylor]: Taking taylor expansion of 0 in y 3.322 * [backup-simplify]: Simplify 0 into 0 3.322 * [backup-simplify]: Simplify 0 into 0 3.323 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.323 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0 3.324 * [backup-simplify]: Simplify (- 0) into 0 3.324 * [backup-simplify]: Simplify 0 into 0 3.324 * [backup-simplify]: Simplify 0 into 0 3.324 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.325 * [backup-simplify]: Simplify (- 0) into 0 3.325 * [backup-simplify]: Simplify (+ 0 0) into 0 3.326 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.327 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0 3.327 * [taylor]: Taking taylor expansion of 0 in y 3.327 * [backup-simplify]: Simplify 0 into 0 3.327 * [backup-simplify]: Simplify 0 into 0 3.328 * [backup-simplify]: Simplify (+ (* 2.0 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* (- 2.0) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) 3.328 * * * [progress]: simplifying candidates 3.328 * [simplify]: Simplifying: (* x (* (- x y) 2.0)) (* x (* (- x y) 2.0)) (+ (log x) (+ (log (- x y)) (log 2.0))) (+ (log x) (log (* (- x y) 2.0))) (log (* x (* (- x y) 2.0))) (exp (* x (* (- x y) 2.0))) (* (* (* x x) x) (* (* (* (- x y) (- x y)) (- x y)) (* (* 2.0 2.0) 2.0))) (* (* (* x x) x) (* (* (* (- x y) 2.0) (* (- x y) 2.0)) (* (- x y) 2.0))) (* (cbrt (* x (* (- x y) 2.0))) (cbrt (* x (* (- x y) 2.0)))) (cbrt (* x (* (- x y) 2.0))) (* (* (* x (* (- x y) 2.0)) (* x (* (- x y) 2.0))) (* x (* (- x y) 2.0))) (sqrt (* x (* (- x y) 2.0))) (sqrt (* x (* (- x y) 2.0))) (* x (- x y)) (* (cbrt x) (* (- x y) 2.0)) (* (sqrt x) (* (- x y) 2.0)) (* x (* (- x y) 2.0)) (* x (* (- (pow x 3) (pow y 3)) 2.0)) (* x (* (- (* x x) (* y y)) 2.0)) (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) 3.329 * * [simplify]: Extracting # 0 : cost 17 inf + 0 3.329 * * [simplify]: Extracting # 1 : cost 33 inf + 0 3.329 * * [simplify]: Extracting # 2 : cost 42 inf + 123 3.329 * * [simplify]: Extracting # 3 : cost 42 inf + 389 3.329 * * [simplify]: Extracting # 4 : cost 21 inf + 2920 3.330 * * [simplify]: Extracting # 5 : cost 5 inf + 6495 3.330 * * [simplify]: Extracting # 6 : cost 2 inf + 7413 3.331 * * [simplify]: Extracting # 7 : cost 0 inf + 8461 3.332 * * [simplify]: iteration 0 : 52 enodes (cost 5289 ) 3.346 * * [simplify]: Extracting # 0 : cost 0 inf + 8461 3.347 * * [simplify]: Extracting # 1 : cost 28 inf + 7618 3.348 * * [simplify]: Extracting # 2 : cost 5 inf + 10713 3.350 * * [simplify]: Extracting # 3 : cost 0 inf + 11049 3.353 * * [simplify]: iteration 1 : 139 enodes (cost 4185 ) 3.413 * * [simplify]: Extracting # 0 : cost 0 inf + 11049 3.418 * * [simplify]: Extracting # 1 : cost 117 inf + 10358 3.428 * * [simplify]: Extracting # 2 : cost 5 inf + 29436 3.439 * * [simplify]: Extracting # 3 : cost 1 inf + 30177 3.453 * * [simplify]: Extracting # 4 : cost 0 inf + 30389 3.465 * * [simplify]: iteration 2 : 488 enodes (cost 3945 ) 3.879 * * [simplify]: Extracting # 0 : cost 0 inf + 30389 3.895 * * [simplify]: Extracting # 1 : cost 494 inf + 29519 3.935 * * [simplify]: Extracting # 2 : cost 6 inf + 134931 3.984 * * [simplify]: Extracting # 3 : cost 0 inf + 136137 4.052 * * [simplify]: iteration 3 : 2338 enodes (cost 3825 ) 4.691 * * [simplify]: Extracting # 0 : cost 0 inf + 136137 4.778 * * [simplify]: Extracting # 1 : cost 1470 inf + 134793 4.904 * * [simplify]: Extracting # 2 : cost 43 inf + 509573 5.051 * * [simplify]: Extracting # 3 : cost 13 inf + 513193 5.207 * * [simplify]: Extracting # 4 : cost 0 inf + 517397 5.355 * * [simplify]: iteration complete: 5201 enodes (cost 3825 ) 5.356 * [simplify]: Simplified to: (* (- x y) (* x 2.0)) (* (- x y) (* x 2.0)) (log (* x (* (- x y) 2.0))) (log (* x (* (- x y) 2.0))) (log (* x (* (- x y) 2.0))) (exp (* x (* (- x y) 2.0))) (* (* x (* (- x y) 2.0)) (* (* x (* (- x y) 2.0)) (* x (* (- x y) 2.0)))) (* (* x (* (- x y) 2.0)) (* (* x (* (- x y) 2.0)) (* x (* (- x y) 2.0)))) (* (cbrt (* x (* (- x y) 2.0))) (cbrt (* x (* (- x y) 2.0)))) (cbrt (* x (* (- x y) 2.0))) (* (* x (* (- x y) 2.0)) (* (* x (* (- x y) 2.0)) (* x (* (- x y) 2.0)))) (sqrt (* x (* (- x y) 2.0))) (sqrt (* x (* (- x y) 2.0))) (* x (- x y)) (* (cbrt x) (* (- x y) 2.0)) (* (sqrt x) (* (- x y) 2.0)) (* (- x y) (* x 2.0)) (* x (* 2.0 (- (* x (* x x)) (* y (* y y))))) (* x (* (- (* x x) (* y y)) 2.0)) (* (- x y) (* x 2.0)) (* (- x y) (* x 2.0)) (* (- x y) (* x 2.0)) 5.356 * * * [progress]: adding candidates to table 5.415 * * [progress]: iteration 3 / 4 5.415 * * * [progress]: picking best candidate 5.418 * * * * [pick]: Picked # 5.418 * * * [progress]: localizing error 5.432 * * * [progress]: generating rewritten candidates 5.432 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 5.465 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 5.476 * * * [progress]: generating series expansions 5.476 * * * * [progress]: [ 1 / 2 ] generating series at (2) 5.476 * [backup-simplify]: Simplify (* (- (* x x) (* x y)) 2.0) into (* 2.0 (- (pow x 2) (* x y))) 5.476 * [approximate]: Taking taylor expansion of (* 2.0 (- (pow x 2) (* x y))) in (x y) around 0 5.476 * [taylor]: Taking taylor expansion of (* 2.0 (- (pow x 2) (* x y))) in y 5.476 * [taylor]: Taking taylor expansion of 2.0 in y 5.476 * [backup-simplify]: Simplify 2.0 into 2.0 5.476 * [taylor]: Taking taylor expansion of (- (pow x 2) (* x y)) in y 5.476 * [taylor]: Taking taylor expansion of (pow x 2) in y 5.476 * [taylor]: Taking taylor expansion of x in y 5.477 * [backup-simplify]: Simplify x into x 5.477 * [taylor]: Taking taylor expansion of (* x y) in y 5.477 * [taylor]: Taking taylor expansion of x in y 5.477 * [backup-simplify]: Simplify x into x 5.477 * [taylor]: Taking taylor expansion of y in y 5.477 * [backup-simplify]: Simplify 0 into 0 5.477 * [backup-simplify]: Simplify 1 into 1 5.477 * [taylor]: Taking taylor expansion of (* 2.0 (- (pow x 2) (* x y))) in x 5.477 * [taylor]: Taking taylor expansion of 2.0 in x 5.477 * [backup-simplify]: Simplify 2.0 into 2.0 5.477 * [taylor]: Taking taylor expansion of (- (pow x 2) (* x y)) in x 5.477 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.477 * [taylor]: Taking taylor expansion of x in x 5.477 * [backup-simplify]: Simplify 0 into 0 5.477 * [backup-simplify]: Simplify 1 into 1 5.477 * [taylor]: Taking taylor expansion of (* x y) in x 5.477 * [taylor]: Taking taylor expansion of x in x 5.477 * [backup-simplify]: Simplify 0 into 0 5.477 * [backup-simplify]: Simplify 1 into 1 5.477 * [taylor]: Taking taylor expansion of y in x 5.477 * [backup-simplify]: Simplify y into y 5.477 * [taylor]: Taking taylor expansion of (* 2.0 (- (pow x 2) (* x y))) in x 5.477 * [taylor]: Taking taylor expansion of 2.0 in x 5.477 * [backup-simplify]: Simplify 2.0 into 2.0 5.477 * [taylor]: Taking taylor expansion of (- (pow x 2) (* x y)) in x 5.477 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.477 * [taylor]: Taking taylor expansion of x in x 5.477 * [backup-simplify]: Simplify 0 into 0 5.477 * [backup-simplify]: Simplify 1 into 1 5.477 * [taylor]: Taking taylor expansion of (* x y) in x 5.477 * [taylor]: Taking taylor expansion of x in x 5.477 * [backup-simplify]: Simplify 0 into 0 5.477 * [backup-simplify]: Simplify 1 into 1 5.477 * [taylor]: Taking taylor expansion of y in x 5.477 * [backup-simplify]: Simplify y into y 5.477 * [backup-simplify]: Simplify (* 0 y) into 0 5.478 * [backup-simplify]: Simplify (- 0) into 0 5.478 * [backup-simplify]: Simplify (+ 0 0) into 0 5.479 * [backup-simplify]: Simplify (* 2.0 0) into 0 5.479 * [taylor]: Taking taylor expansion of 0 in y 5.479 * [backup-simplify]: Simplify 0 into 0 5.479 * [backup-simplify]: Simplify 0 into 0 5.479 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.479 * [backup-simplify]: Simplify (- y) into (- y) 5.479 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 5.480 * [backup-simplify]: Simplify (+ (* 2.0 (- y)) (* 0 0)) into (- (* 2.0 y)) 5.480 * [taylor]: Taking taylor expansion of (- (* 2.0 y)) in y 5.480 * [taylor]: Taking taylor expansion of (* 2.0 y) in y 5.480 * [taylor]: Taking taylor expansion of 2.0 in y 5.480 * [backup-simplify]: Simplify 2.0 into 2.0 5.480 * [taylor]: Taking taylor expansion of y in y 5.480 * [backup-simplify]: Simplify 0 into 0 5.480 * [backup-simplify]: Simplify 1 into 1 5.480 * [backup-simplify]: Simplify (* 2.0 0) into 0 5.481 * [backup-simplify]: Simplify (- 0) into 0 5.481 * [backup-simplify]: Simplify 0 into 0 5.481 * [backup-simplify]: Simplify 0 into 0 5.481 * [backup-simplify]: Simplify (* 1 1) into 1 5.482 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.482 * [backup-simplify]: Simplify (- 0) into 0 5.482 * [backup-simplify]: Simplify (+ 1 0) into 1 5.483 * [backup-simplify]: Simplify (+ (* 2.0 1) (+ (* 0 (- y)) (* 0 0))) into 2.0 5.483 * [taylor]: Taking taylor expansion of 2.0 in y 5.483 * [backup-simplify]: Simplify 2.0 into 2.0 5.483 * [backup-simplify]: Simplify 2.0 into 2.0 5.484 * [backup-simplify]: Simplify (+ (* 2.0 1) (* 0 0)) into 2.0 5.485 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 5.485 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 5.485 * [backup-simplify]: Simplify 0 into 0 5.486 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.487 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.487 * [backup-simplify]: Simplify (- 0) into 0 5.487 * [backup-simplify]: Simplify (+ 0 0) into 0 5.488 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))) into 0 5.488 * [taylor]: Taking taylor expansion of 0 in y 5.488 * [backup-simplify]: Simplify 0 into 0 5.488 * [backup-simplify]: Simplify 0 into 0 5.488 * [backup-simplify]: Simplify 0 into 0 5.489 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 1) (* 0 0))) into 0 5.490 * [backup-simplify]: Simplify (- 0) into 0 5.490 * [backup-simplify]: Simplify 0 into 0 5.490 * [backup-simplify]: Simplify 0 into 0 5.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.492 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.492 * [backup-simplify]: Simplify (- 0) into 0 5.492 * [backup-simplify]: Simplify (+ 0 0) into 0 5.494 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0))))) into 0 5.494 * [taylor]: Taking taylor expansion of 0 in y 5.494 * [backup-simplify]: Simplify 0 into 0 5.494 * [backup-simplify]: Simplify 0 into 0 5.494 * [backup-simplify]: Simplify (+ (* (- 2.0) (* y x)) (* 2.0 (pow (* 1 x) 2))) into (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) 5.495 * [backup-simplify]: Simplify (* (- (* (/ 1 x) (/ 1 x)) (* (/ 1 x) (/ 1 y))) 2.0) into (* 2.0 (- (/ 1 (pow x 2)) (/ 1 (* x y)))) 5.495 * [approximate]: Taking taylor expansion of (* 2.0 (- (/ 1 (pow x 2)) (/ 1 (* x y)))) in (x y) around 0 5.495 * [taylor]: Taking taylor expansion of (* 2.0 (- (/ 1 (pow x 2)) (/ 1 (* x y)))) in y 5.495 * [taylor]: Taking taylor expansion of 2.0 in y 5.495 * [backup-simplify]: Simplify 2.0 into 2.0 5.495 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in y 5.495 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 5.495 * [taylor]: Taking taylor expansion of (pow x 2) in y 5.495 * [taylor]: Taking taylor expansion of x in y 5.495 * [backup-simplify]: Simplify x into x 5.495 * [backup-simplify]: Simplify (* x x) into (pow x 2) 5.495 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 5.495 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.495 * [taylor]: Taking taylor expansion of (* x y) in y 5.495 * [taylor]: Taking taylor expansion of x in y 5.495 * [backup-simplify]: Simplify x into x 5.495 * [taylor]: Taking taylor expansion of y in y 5.495 * [backup-simplify]: Simplify 0 into 0 5.495 * [backup-simplify]: Simplify 1 into 1 5.495 * [backup-simplify]: Simplify (* x 0) into 0 5.496 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.496 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.496 * [taylor]: Taking taylor expansion of (* 2.0 (- (/ 1 (pow x 2)) (/ 1 (* x y)))) in x 5.496 * [taylor]: Taking taylor expansion of 2.0 in x 5.496 * [backup-simplify]: Simplify 2.0 into 2.0 5.496 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in x 5.496 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.496 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.496 * [taylor]: Taking taylor expansion of x in x 5.496 * [backup-simplify]: Simplify 0 into 0 5.496 * [backup-simplify]: Simplify 1 into 1 5.496 * [backup-simplify]: Simplify (* 1 1) into 1 5.497 * [backup-simplify]: Simplify (/ 1 1) into 1 5.497 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.497 * [taylor]: Taking taylor expansion of (* x y) in x 5.497 * [taylor]: Taking taylor expansion of x in x 5.497 * [backup-simplify]: Simplify 0 into 0 5.497 * [backup-simplify]: Simplify 1 into 1 5.497 * [taylor]: Taking taylor expansion of y in x 5.497 * [backup-simplify]: Simplify y into y 5.497 * [backup-simplify]: Simplify (* 0 y) into 0 5.497 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.497 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.497 * [taylor]: Taking taylor expansion of (* 2.0 (- (/ 1 (pow x 2)) (/ 1 (* x y)))) in x 5.497 * [taylor]: Taking taylor expansion of 2.0 in x 5.497 * [backup-simplify]: Simplify 2.0 into 2.0 5.497 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in x 5.497 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.498 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.498 * [taylor]: Taking taylor expansion of x in x 5.498 * [backup-simplify]: Simplify 0 into 0 5.498 * [backup-simplify]: Simplify 1 into 1 5.498 * [backup-simplify]: Simplify (* 1 1) into 1 5.498 * [backup-simplify]: Simplify (/ 1 1) into 1 5.498 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.498 * [taylor]: Taking taylor expansion of (* x y) in x 5.498 * [taylor]: Taking taylor expansion of x in x 5.498 * [backup-simplify]: Simplify 0 into 0 5.498 * [backup-simplify]: Simplify 1 into 1 5.498 * [taylor]: Taking taylor expansion of y in x 5.498 * [backup-simplify]: Simplify y into y 5.498 * [backup-simplify]: Simplify (* 0 y) into 0 5.499 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.499 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.499 * [backup-simplify]: Simplify (+ 1 0) into 1 5.500 * [backup-simplify]: Simplify (* 2.0 1) into 2.0 5.500 * [taylor]: Taking taylor expansion of 2.0 in y 5.500 * [backup-simplify]: Simplify 2.0 into 2.0 5.500 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.501 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.501 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 5.501 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 5.502 * [backup-simplify]: Simplify (+ (* 2.0 (- (/ 1 y))) (* 0 1)) into (- (* 2.0 (/ 1 y))) 5.502 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 y))) in y 5.502 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 5.502 * [taylor]: Taking taylor expansion of 2.0 in y 5.502 * [backup-simplify]: Simplify 2.0 into 2.0 5.502 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.502 * [taylor]: Taking taylor expansion of y in y 5.502 * [backup-simplify]: Simplify 0 into 0 5.502 * [backup-simplify]: Simplify 1 into 1 5.502 * [backup-simplify]: Simplify (/ 1 1) into 1 5.502 * [backup-simplify]: Simplify (* 2.0 1) into 2.0 5.503 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 5.503 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 5.503 * [backup-simplify]: Simplify 2.0 into 2.0 5.504 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.505 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.505 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.506 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.506 * [backup-simplify]: Simplify (- 0) into 0 5.506 * [backup-simplify]: Simplify (+ 0 0) into 0 5.507 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0 5.507 * [taylor]: Taking taylor expansion of 0 in y 5.507 * [backup-simplify]: Simplify 0 into 0 5.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.508 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0 5.509 * [backup-simplify]: Simplify (- 0) into 0 5.509 * [backup-simplify]: Simplify 0 into 0 5.509 * [backup-simplify]: Simplify 0 into 0 5.510 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.510 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.511 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.511 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.512 * [backup-simplify]: Simplify (- 0) into 0 5.512 * [backup-simplify]: Simplify (+ 0 0) into 0 5.513 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0 5.513 * [taylor]: Taking taylor expansion of 0 in y 5.513 * [backup-simplify]: Simplify 0 into 0 5.513 * [backup-simplify]: Simplify 0 into 0 5.514 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.515 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0 5.515 * [backup-simplify]: Simplify (- 0) into 0 5.515 * [backup-simplify]: Simplify 0 into 0 5.515 * [backup-simplify]: Simplify 0 into 0 5.516 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.517 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.519 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.519 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.519 * [backup-simplify]: Simplify (- 0) into 0 5.519 * [backup-simplify]: Simplify (+ 0 0) into 0 5.521 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))))) into 0 5.521 * [taylor]: Taking taylor expansion of 0 in y 5.521 * [backup-simplify]: Simplify 0 into 0 5.521 * [backup-simplify]: Simplify 0 into 0 5.522 * [backup-simplify]: Simplify (+ (* 2.0 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* (- 2.0) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) 5.522 * [backup-simplify]: Simplify (* (- (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- x)) (/ 1 (- y)))) 2.0) into (* 2.0 (- (/ 1 (pow x 2)) (/ 1 (* x y)))) 5.522 * [approximate]: Taking taylor expansion of (* 2.0 (- (/ 1 (pow x 2)) (/ 1 (* x y)))) in (x y) around 0 5.522 * [taylor]: Taking taylor expansion of (* 2.0 (- (/ 1 (pow x 2)) (/ 1 (* x y)))) in y 5.522 * [taylor]: Taking taylor expansion of 2.0 in y 5.522 * [backup-simplify]: Simplify 2.0 into 2.0 5.522 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in y 5.522 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 5.522 * [taylor]: Taking taylor expansion of (pow x 2) in y 5.522 * [taylor]: Taking taylor expansion of x in y 5.522 * [backup-simplify]: Simplify x into x 5.523 * [backup-simplify]: Simplify (* x x) into (pow x 2) 5.523 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 5.523 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.523 * [taylor]: Taking taylor expansion of (* x y) in y 5.523 * [taylor]: Taking taylor expansion of x in y 5.523 * [backup-simplify]: Simplify x into x 5.523 * [taylor]: Taking taylor expansion of y in y 5.523 * [backup-simplify]: Simplify 0 into 0 5.523 * [backup-simplify]: Simplify 1 into 1 5.523 * [backup-simplify]: Simplify (* x 0) into 0 5.523 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.523 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.523 * [taylor]: Taking taylor expansion of (* 2.0 (- (/ 1 (pow x 2)) (/ 1 (* x y)))) in x 5.523 * [taylor]: Taking taylor expansion of 2.0 in x 5.523 * [backup-simplify]: Simplify 2.0 into 2.0 5.523 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in x 5.523 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.524 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.524 * [taylor]: Taking taylor expansion of x in x 5.524 * [backup-simplify]: Simplify 0 into 0 5.524 * [backup-simplify]: Simplify 1 into 1 5.524 * [backup-simplify]: Simplify (* 1 1) into 1 5.524 * [backup-simplify]: Simplify (/ 1 1) into 1 5.524 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.524 * [taylor]: Taking taylor expansion of (* x y) in x 5.524 * [taylor]: Taking taylor expansion of x in x 5.524 * [backup-simplify]: Simplify 0 into 0 5.524 * [backup-simplify]: Simplify 1 into 1 5.524 * [taylor]: Taking taylor expansion of y in x 5.524 * [backup-simplify]: Simplify y into y 5.524 * [backup-simplify]: Simplify (* 0 y) into 0 5.525 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.525 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.525 * [taylor]: Taking taylor expansion of (* 2.0 (- (/ 1 (pow x 2)) (/ 1 (* x y)))) in x 5.525 * [taylor]: Taking taylor expansion of 2.0 in x 5.525 * [backup-simplify]: Simplify 2.0 into 2.0 5.525 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in x 5.525 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.525 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.525 * [taylor]: Taking taylor expansion of x in x 5.525 * [backup-simplify]: Simplify 0 into 0 5.525 * [backup-simplify]: Simplify 1 into 1 5.525 * [backup-simplify]: Simplify (* 1 1) into 1 5.526 * [backup-simplify]: Simplify (/ 1 1) into 1 5.526 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.526 * [taylor]: Taking taylor expansion of (* x y) in x 5.526 * [taylor]: Taking taylor expansion of x in x 5.526 * [backup-simplify]: Simplify 0 into 0 5.526 * [backup-simplify]: Simplify 1 into 1 5.526 * [taylor]: Taking taylor expansion of y in x 5.526 * [backup-simplify]: Simplify y into y 5.526 * [backup-simplify]: Simplify (* 0 y) into 0 5.526 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.526 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.527 * [backup-simplify]: Simplify (+ 1 0) into 1 5.527 * [backup-simplify]: Simplify (* 2.0 1) into 2.0 5.527 * [taylor]: Taking taylor expansion of 2.0 in y 5.527 * [backup-simplify]: Simplify 2.0 into 2.0 5.528 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.528 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.529 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 5.529 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 5.529 * [backup-simplify]: Simplify (+ (* 2.0 (- (/ 1 y))) (* 0 1)) into (- (* 2.0 (/ 1 y))) 5.529 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 y))) in y 5.529 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 5.529 * [taylor]: Taking taylor expansion of 2.0 in y 5.529 * [backup-simplify]: Simplify 2.0 into 2.0 5.529 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.529 * [taylor]: Taking taylor expansion of y in y 5.529 * [backup-simplify]: Simplify 0 into 0 5.529 * [backup-simplify]: Simplify 1 into 1 5.530 * [backup-simplify]: Simplify (/ 1 1) into 1 5.530 * [backup-simplify]: Simplify (* 2.0 1) into 2.0 5.530 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 5.531 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 5.531 * [backup-simplify]: Simplify 2.0 into 2.0 5.532 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.532 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.533 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.533 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.534 * [backup-simplify]: Simplify (- 0) into 0 5.534 * [backup-simplify]: Simplify (+ 0 0) into 0 5.535 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0 5.535 * [taylor]: Taking taylor expansion of 0 in y 5.535 * [backup-simplify]: Simplify 0 into 0 5.535 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.536 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0 5.536 * [backup-simplify]: Simplify (- 0) into 0 5.536 * [backup-simplify]: Simplify 0 into 0 5.536 * [backup-simplify]: Simplify 0 into 0 5.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.538 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.539 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.539 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.540 * [backup-simplify]: Simplify (- 0) into 0 5.540 * [backup-simplify]: Simplify (+ 0 0) into 0 5.541 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0 5.541 * [taylor]: Taking taylor expansion of 0 in y 5.541 * [backup-simplify]: Simplify 0 into 0 5.541 * [backup-simplify]: Simplify 0 into 0 5.542 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.542 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0 5.542 * [backup-simplify]: Simplify (- 0) into 0 5.543 * [backup-simplify]: Simplify 0 into 0 5.543 * [backup-simplify]: Simplify 0 into 0 5.543 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.544 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.545 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.545 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.545 * [backup-simplify]: Simplify (- 0) into 0 5.545 * [backup-simplify]: Simplify (+ 0 0) into 0 5.546 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))))) into 0 5.546 * [taylor]: Taking taylor expansion of 0 in y 5.546 * [backup-simplify]: Simplify 0 into 0 5.546 * [backup-simplify]: Simplify 0 into 0 5.547 * [backup-simplify]: Simplify (+ (* 2.0 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* (- 2.0) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) 5.547 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 5.547 * [backup-simplify]: Simplify (- (* x x) (* x y)) into (- (pow x 2) (* x y)) 5.547 * [approximate]: Taking taylor expansion of (- (pow x 2) (* x y)) in (x y) around 0 5.547 * [taylor]: Taking taylor expansion of (- (pow x 2) (* x y)) in y 5.547 * [taylor]: Taking taylor expansion of (pow x 2) in y 5.547 * [taylor]: Taking taylor expansion of x in y 5.547 * [backup-simplify]: Simplify x into x 5.547 * [taylor]: Taking taylor expansion of (* x y) in y 5.547 * [taylor]: Taking taylor expansion of x in y 5.547 * [backup-simplify]: Simplify x into x 5.547 * [taylor]: Taking taylor expansion of y in y 5.547 * [backup-simplify]: Simplify 0 into 0 5.547 * [backup-simplify]: Simplify 1 into 1 5.547 * [taylor]: Taking taylor expansion of (- (pow x 2) (* x y)) in x 5.547 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.547 * [taylor]: Taking taylor expansion of x in x 5.547 * [backup-simplify]: Simplify 0 into 0 5.547 * [backup-simplify]: Simplify 1 into 1 5.547 * [taylor]: Taking taylor expansion of (* x y) in x 5.547 * [taylor]: Taking taylor expansion of x in x 5.547 * [backup-simplify]: Simplify 0 into 0 5.547 * [backup-simplify]: Simplify 1 into 1 5.547 * [taylor]: Taking taylor expansion of y in x 5.547 * [backup-simplify]: Simplify y into y 5.547 * [taylor]: Taking taylor expansion of (- (pow x 2) (* x y)) in x 5.547 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.547 * [taylor]: Taking taylor expansion of x in x 5.547 * [backup-simplify]: Simplify 0 into 0 5.547 * [backup-simplify]: Simplify 1 into 1 5.547 * [taylor]: Taking taylor expansion of (* x y) in x 5.547 * [taylor]: Taking taylor expansion of x in x 5.547 * [backup-simplify]: Simplify 0 into 0 5.547 * [backup-simplify]: Simplify 1 into 1 5.547 * [taylor]: Taking taylor expansion of y in x 5.547 * [backup-simplify]: Simplify y into y 5.548 * [backup-simplify]: Simplify (* 0 y) into 0 5.548 * [backup-simplify]: Simplify (- 0) into 0 5.548 * [backup-simplify]: Simplify (+ 0 0) into 0 5.548 * [taylor]: Taking taylor expansion of 0 in y 5.548 * [backup-simplify]: Simplify 0 into 0 5.548 * [backup-simplify]: Simplify 0 into 0 5.548 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.548 * [backup-simplify]: Simplify (- y) into (- y) 5.548 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 5.548 * [taylor]: Taking taylor expansion of (- y) in y 5.548 * [taylor]: Taking taylor expansion of y in y 5.548 * [backup-simplify]: Simplify 0 into 0 5.548 * [backup-simplify]: Simplify 1 into 1 5.549 * [backup-simplify]: Simplify (- 0) into 0 5.549 * [backup-simplify]: Simplify 0 into 0 5.549 * [backup-simplify]: Simplify 0 into 0 5.549 * [backup-simplify]: Simplify (* 1 1) into 1 5.549 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.550 * [backup-simplify]: Simplify (- 0) into 0 5.550 * [backup-simplify]: Simplify (+ 1 0) into 1 5.550 * [taylor]: Taking taylor expansion of 1 in y 5.550 * [backup-simplify]: Simplify 1 into 1 5.550 * [backup-simplify]: Simplify 1 into 1 5.550 * [backup-simplify]: Simplify (- 1) into -1 5.550 * [backup-simplify]: Simplify -1 into -1 5.550 * [backup-simplify]: Simplify 0 into 0 5.551 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.551 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.552 * [backup-simplify]: Simplify (- 0) into 0 5.552 * [backup-simplify]: Simplify (+ 0 0) into 0 5.552 * [taylor]: Taking taylor expansion of 0 in y 5.552 * [backup-simplify]: Simplify 0 into 0 5.552 * [backup-simplify]: Simplify 0 into 0 5.552 * [backup-simplify]: Simplify 0 into 0 5.552 * [backup-simplify]: Simplify (- 0) into 0 5.552 * [backup-simplify]: Simplify 0 into 0 5.552 * [backup-simplify]: Simplify 0 into 0 5.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.554 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.554 * [backup-simplify]: Simplify (- 0) into 0 5.554 * [backup-simplify]: Simplify (+ 0 0) into 0 5.554 * [taylor]: Taking taylor expansion of 0 in y 5.554 * [backup-simplify]: Simplify 0 into 0 5.554 * [backup-simplify]: Simplify 0 into 0 5.554 * [backup-simplify]: Simplify (+ (* -1 (* y x)) (* 1 (pow (* 1 x) 2))) into (- (pow x 2) (* x y)) 5.554 * [backup-simplify]: Simplify (- (* (/ 1 x) (/ 1 x)) (* (/ 1 x) (/ 1 y))) into (- (/ 1 (pow x 2)) (/ 1 (* x y))) 5.555 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in (x y) around 0 5.555 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in y 5.555 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 5.555 * [taylor]: Taking taylor expansion of (pow x 2) in y 5.555 * [taylor]: Taking taylor expansion of x in y 5.555 * [backup-simplify]: Simplify x into x 5.555 * [backup-simplify]: Simplify (* x x) into (pow x 2) 5.555 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 5.555 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.555 * [taylor]: Taking taylor expansion of (* x y) in y 5.555 * [taylor]: Taking taylor expansion of x in y 5.555 * [backup-simplify]: Simplify x into x 5.555 * [taylor]: Taking taylor expansion of y in y 5.555 * [backup-simplify]: Simplify 0 into 0 5.555 * [backup-simplify]: Simplify 1 into 1 5.555 * [backup-simplify]: Simplify (* x 0) into 0 5.555 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.555 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.555 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in x 5.555 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.555 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.555 * [taylor]: Taking taylor expansion of x in x 5.555 * [backup-simplify]: Simplify 0 into 0 5.555 * [backup-simplify]: Simplify 1 into 1 5.555 * [backup-simplify]: Simplify (* 1 1) into 1 5.556 * [backup-simplify]: Simplify (/ 1 1) into 1 5.556 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.556 * [taylor]: Taking taylor expansion of (* x y) in x 5.556 * [taylor]: Taking taylor expansion of x in x 5.556 * [backup-simplify]: Simplify 0 into 0 5.556 * [backup-simplify]: Simplify 1 into 1 5.556 * [taylor]: Taking taylor expansion of y in x 5.556 * [backup-simplify]: Simplify y into y 5.556 * [backup-simplify]: Simplify (* 0 y) into 0 5.556 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.556 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.556 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in x 5.556 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.556 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.556 * [taylor]: Taking taylor expansion of x in x 5.556 * [backup-simplify]: Simplify 0 into 0 5.556 * [backup-simplify]: Simplify 1 into 1 5.556 * [backup-simplify]: Simplify (* 1 1) into 1 5.557 * [backup-simplify]: Simplify (/ 1 1) into 1 5.557 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.557 * [taylor]: Taking taylor expansion of (* x y) in x 5.557 * [taylor]: Taking taylor expansion of x in x 5.557 * [backup-simplify]: Simplify 0 into 0 5.557 * [backup-simplify]: Simplify 1 into 1 5.557 * [taylor]: Taking taylor expansion of y in x 5.557 * [backup-simplify]: Simplify y into y 5.557 * [backup-simplify]: Simplify (* 0 y) into 0 5.557 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.557 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.557 * [backup-simplify]: Simplify (+ 1 0) into 1 5.558 * [taylor]: Taking taylor expansion of 1 in y 5.558 * [backup-simplify]: Simplify 1 into 1 5.558 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.558 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.558 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 5.558 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 5.558 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 5.558 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.558 * [taylor]: Taking taylor expansion of y in y 5.559 * [backup-simplify]: Simplify 0 into 0 5.559 * [backup-simplify]: Simplify 1 into 1 5.559 * [backup-simplify]: Simplify (/ 1 1) into 1 5.559 * [backup-simplify]: Simplify (- 1) into -1 5.559 * [backup-simplify]: Simplify -1 into -1 5.559 * [backup-simplify]: Simplify 1 into 1 5.560 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.560 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.561 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.561 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.561 * [backup-simplify]: Simplify (- 0) into 0 5.561 * [backup-simplify]: Simplify (+ 0 0) into 0 5.561 * [taylor]: Taking taylor expansion of 0 in y 5.561 * [backup-simplify]: Simplify 0 into 0 5.562 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.562 * [backup-simplify]: Simplify (- 0) into 0 5.562 * [backup-simplify]: Simplify 0 into 0 5.562 * [backup-simplify]: Simplify 0 into 0 5.562 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.564 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.564 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.564 * [backup-simplify]: Simplify (- 0) into 0 5.564 * [backup-simplify]: Simplify (+ 0 0) into 0 5.564 * [taylor]: Taking taylor expansion of 0 in y 5.564 * [backup-simplify]: Simplify 0 into 0 5.564 * [backup-simplify]: Simplify 0 into 0 5.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.565 * [backup-simplify]: Simplify (- 0) into 0 5.565 * [backup-simplify]: Simplify 0 into 0 5.566 * [backup-simplify]: Simplify 0 into 0 5.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.567 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.569 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.569 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.569 * [backup-simplify]: Simplify (- 0) into 0 5.569 * [backup-simplify]: Simplify (+ 0 0) into 0 5.569 * [taylor]: Taking taylor expansion of 0 in y 5.570 * [backup-simplify]: Simplify 0 into 0 5.570 * [backup-simplify]: Simplify 0 into 0 5.570 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* -1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (- (pow x 2) (* x y)) 5.570 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- x)) (/ 1 (- y)))) into (- (/ 1 (pow x 2)) (/ 1 (* x y))) 5.570 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in (x y) around 0 5.570 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in y 5.570 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 5.570 * [taylor]: Taking taylor expansion of (pow x 2) in y 5.570 * [taylor]: Taking taylor expansion of x in y 5.570 * [backup-simplify]: Simplify x into x 5.570 * [backup-simplify]: Simplify (* x x) into (pow x 2) 5.571 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 5.571 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.571 * [taylor]: Taking taylor expansion of (* x y) in y 5.571 * [taylor]: Taking taylor expansion of x in y 5.571 * [backup-simplify]: Simplify x into x 5.571 * [taylor]: Taking taylor expansion of y in y 5.571 * [backup-simplify]: Simplify 0 into 0 5.571 * [backup-simplify]: Simplify 1 into 1 5.571 * [backup-simplify]: Simplify (* x 0) into 0 5.571 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.571 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.571 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in x 5.571 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.571 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.571 * [taylor]: Taking taylor expansion of x in x 5.571 * [backup-simplify]: Simplify 0 into 0 5.571 * [backup-simplify]: Simplify 1 into 1 5.572 * [backup-simplify]: Simplify (* 1 1) into 1 5.572 * [backup-simplify]: Simplify (/ 1 1) into 1 5.572 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.572 * [taylor]: Taking taylor expansion of (* x y) in x 5.572 * [taylor]: Taking taylor expansion of x in x 5.572 * [backup-simplify]: Simplify 0 into 0 5.572 * [backup-simplify]: Simplify 1 into 1 5.573 * [taylor]: Taking taylor expansion of y in x 5.573 * [backup-simplify]: Simplify y into y 5.573 * [backup-simplify]: Simplify (* 0 y) into 0 5.573 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.573 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.573 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in x 5.573 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.573 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.573 * [taylor]: Taking taylor expansion of x in x 5.573 * [backup-simplify]: Simplify 0 into 0 5.573 * [backup-simplify]: Simplify 1 into 1 5.573 * [backup-simplify]: Simplify (* 1 1) into 1 5.574 * [backup-simplify]: Simplify (/ 1 1) into 1 5.574 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.574 * [taylor]: Taking taylor expansion of (* x y) in x 5.574 * [taylor]: Taking taylor expansion of x in x 5.574 * [backup-simplify]: Simplify 0 into 0 5.574 * [backup-simplify]: Simplify 1 into 1 5.574 * [taylor]: Taking taylor expansion of y in x 5.574 * [backup-simplify]: Simplify y into y 5.574 * [backup-simplify]: Simplify (* 0 y) into 0 5.574 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.574 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.577 * [backup-simplify]: Simplify (+ 1 0) into 1 5.577 * [taylor]: Taking taylor expansion of 1 in y 5.577 * [backup-simplify]: Simplify 1 into 1 5.578 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.579 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.579 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 5.579 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 5.579 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 5.579 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.579 * [taylor]: Taking taylor expansion of y in y 5.579 * [backup-simplify]: Simplify 0 into 0 5.579 * [backup-simplify]: Simplify 1 into 1 5.579 * [backup-simplify]: Simplify (/ 1 1) into 1 5.580 * [backup-simplify]: Simplify (- 1) into -1 5.580 * [backup-simplify]: Simplify -1 into -1 5.580 * [backup-simplify]: Simplify 1 into 1 5.580 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.581 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.582 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.582 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.582 * [backup-simplify]: Simplify (- 0) into 0 5.583 * [backup-simplify]: Simplify (+ 0 0) into 0 5.583 * [taylor]: Taking taylor expansion of 0 in y 5.583 * [backup-simplify]: Simplify 0 into 0 5.583 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.584 * [backup-simplify]: Simplify (- 0) into 0 5.584 * [backup-simplify]: Simplify 0 into 0 5.584 * [backup-simplify]: Simplify 0 into 0 5.585 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.585 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.587 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.587 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.587 * [backup-simplify]: Simplify (- 0) into 0 5.587 * [backup-simplify]: Simplify (+ 0 0) into 0 5.587 * [taylor]: Taking taylor expansion of 0 in y 5.587 * [backup-simplify]: Simplify 0 into 0 5.587 * [backup-simplify]: Simplify 0 into 0 5.588 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.589 * [backup-simplify]: Simplify (- 0) into 0 5.589 * [backup-simplify]: Simplify 0 into 0 5.589 * [backup-simplify]: Simplify 0 into 0 5.590 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.590 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.592 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.592 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.592 * [backup-simplify]: Simplify (- 0) into 0 5.593 * [backup-simplify]: Simplify (+ 0 0) into 0 5.593 * [taylor]: Taking taylor expansion of 0 in y 5.593 * [backup-simplify]: Simplify 0 into 0 5.593 * [backup-simplify]: Simplify 0 into 0 5.593 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* -1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (- (pow x 2) (* x y)) 5.593 * * * [progress]: simplifying candidates 5.594 * [simplify]: Simplifying: (* (- (* x x) (* x y)) 2.0) (+ (log (- (* x x) (* x y))) (log 2.0)) (log (* (- (* x x) (* x y)) 2.0)) (exp (* (- (* x x) (* x y)) 2.0)) (* (* (* (- (* x x) (* x y)) (- (* x x) (* x y))) (- (* x x) (* x y))) (* (* 2.0 2.0) 2.0)) (* (cbrt (* (- (* x x) (* x y)) 2.0)) (cbrt (* (- (* x x) (* x y)) 2.0))) (cbrt (* (- (* x x) (* x y)) 2.0)) (* (* (* (- (* x x) (* x y)) 2.0) (* (- (* x x) (* x y)) 2.0)) (* (- (* x x) (* x y)) 2.0)) (sqrt (* (- (* x x) (* x y)) 2.0)) (sqrt (* (- (* x x) (* x y)) 2.0)) (* (sqrt (- (* x x) (* x y))) (sqrt 2.0)) (* (sqrt (- (* x x) (* x y))) (sqrt 2.0)) (* (- (* x x) (* x y)) (* (cbrt 2.0) (cbrt 2.0))) (* (- (* x x) (* x y)) (sqrt 2.0)) (* (- (* x x) (* x y)) 1) (* (cbrt (- (* x x) (* x y))) 2.0) (* (sqrt (- (* x x) (* x y))) 2.0) (* (- (* x x) (* x y)) 2.0) (* (- x y) 2.0) (* (- (pow (* x x) 3) (pow (* x y) 3)) 2.0) (* (- (* (* x x) (* x x)) (* (* x y) (* x y))) 2.0) (/ (exp (* x x)) (exp (* x y))) (log (- (* x x) (* x y))) (exp (- (* x x) (* x y))) (* (cbrt (- (* x x) (* x y))) (cbrt (- (* x x) (* x y)))) (cbrt (- (* x x) (* x y))) (* (* (- (* x x) (* x y)) (- (* x x) (* x y))) (- (* x x) (* x y))) (sqrt (- (* x x) (* x y))) (sqrt (- (* x x) (* x y))) (- (pow (* x x) 3) (pow (* x y) 3)) (+ (* (* x x) (* x x)) (+ (* (* x y) (* x y)) (* (* x x) (* x y)))) (- (* x y)) (- (* (* x x) (* x x)) (* (* x y) (* x y))) (+ (* x x) (* x y)) (- x y) (- (* x y)) (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) (- (pow x 2) (* x y)) (- (pow x 2) (* x y)) (- (pow x 2) (* x y)) 5.595 * * [simplify]: Extracting # 0 : cost 33 inf + 0 5.595 * * [simplify]: Extracting # 1 : cost 56 inf + 0 5.596 * * [simplify]: Extracting # 2 : cost 52 inf + 282 5.596 * * [simplify]: Extracting # 3 : cost 22 inf + 4704 5.598 * * [simplify]: Extracting # 4 : cost 5 inf + 8868 5.599 * * [simplify]: Extracting # 5 : cost 0 inf + 10644 5.600 * * [simplify]: iteration 0 : 61 enodes (cost 10056 ) 5.615 * * [simplify]: Extracting # 0 : cost 0 inf + 10644 5.617 * * [simplify]: Extracting # 1 : cost 33 inf + 9679 5.619 * * [simplify]: Extracting # 2 : cost 4 inf + 12576 5.622 * * [simplify]: Extracting # 3 : cost 0 inf + 12453 5.625 * * [simplify]: iteration 1 : 162 enodes (cost 7007 ) 5.683 * * [simplify]: Extracting # 0 : cost 0 inf + 12453 5.686 * * [simplify]: Extracting # 1 : cost 109 inf + 11740 5.693 * * [simplify]: Extracting # 2 : cost 12 inf + 26542 5.699 * * [simplify]: Extracting # 3 : cost 5 inf + 27206 5.704 * * [simplify]: Extracting # 4 : cost 0 inf + 28911 5.710 * * [simplify]: iteration 2 : 487 enodes (cost 6687 ) 6.016 * * [simplify]: Extracting # 0 : cost 0 inf + 28911 6.032 * * [simplify]: Extracting # 1 : cost 593 inf + 28095 6.061 * * [simplify]: Extracting # 2 : cost 21 inf + 123151 6.097 * * [simplify]: Extracting # 3 : cost 5 inf + 125204 6.136 * * [simplify]: Extracting # 4 : cost 0 inf + 126596 6.175 * * [simplify]: iteration 3 : 2316 enodes (cost 6607 ) 7.228 * * [simplify]: Extracting # 0 : cost 0 inf + 126596 7.280 * * [simplify]: Extracting # 1 : cost 1237 inf + 124864 7.402 * * [simplify]: Extracting # 2 : cost 105 inf + 321292 7.489 * * [simplify]: Extracting # 3 : cost 31 inf + 331420 7.613 * * [simplify]: Extracting # 4 : cost 0 inf + 340994 7.731 * * [simplify]: iteration complete: 5005 enodes (cost 6607 ) 7.731 * [simplify]: Simplified to: (* (* x (- x y)) 2.0) (log (* (* x (- x y)) 2.0)) (log (* (* x (- x y)) 2.0)) (exp (* (* x (- x y)) 2.0)) (* (* (* x (- x y)) 2.0) (* (* (* x (- x y)) 2.0) (* (* x (- x y)) 2.0))) (* (cbrt (* (* x (- x y)) 2.0)) (cbrt (* (* x (- x y)) 2.0))) (cbrt (* (* x (- x y)) 2.0)) (* (* (* x (- x y)) 2.0) (* (* (* x (- x y)) 2.0) (* (* x (- x y)) 2.0))) (sqrt (* (* x (- x y)) 2.0)) (sqrt (* (* x (- x y)) 2.0)) (* (sqrt 2.0) (sqrt (* x (- x y)))) (* (sqrt 2.0) (sqrt (* x (- x y)))) (* (* x (- x y)) (* (cbrt 2.0) (cbrt 2.0))) (* (sqrt 2.0) (* x (- x y))) (* x (- x y)) (* (cbrt (* x (- x y))) 2.0) (* (sqrt (* x (- x y))) 2.0) (* (* x (- x y)) 2.0) (* (- x y) 2.0) (* 2.0 (* (* (* x x) x) (- (* (* x x) x) (* y (* y y))))) (* 2.0 (* (* x x) (- (* x x) (* y y)))) (exp (* x (- x y))) (log (* x (- x y))) (exp (* x (- x y))) (* (cbrt (* x (- x y))) (cbrt (* x (- x y)))) (cbrt (* x (- x y))) (* (* x (- x y)) (* (* x (- x y)) (* x (- x y)))) (sqrt (* x (- x y))) (sqrt (* x (- x y))) (* (* (* x x) x) (- (* (* x x) x) (* y (* y y)))) (+ (* (* x y) (+ (* x y) (* x x))) (* (* x x) (* x x))) (- (* x y)) (* (* x x) (- (* x x) (* y y))) (* x (+ x y)) (- x y) (- (* x y)) (* (* x (- x y)) 2.0) (* (* x (- x y)) 2.0) (* (* x (- x y)) 2.0) (* x (- x y)) (* x (- x y)) (* x (- x y)) 7.733 * * * [progress]: adding candidates to table 7.881 * [progress]: [Phase 3 of 3] Extracting. 7.882 * * [regime]: Finding splitpoints for: (# #) 7.882 * * * [regime-changes]: Trying 3 branch expressions: ((- (* x x) (* x y)) y x) 7.882 * * * * [regimes]: Trying to branch on (- (* x x) (* x y)) from (# #) 7.919 * * * * [regimes]: Trying to branch on y from (# #) 7.957 * * * * [regimes]: Trying to branch on x from (# #) 7.984 * * * [regime]: Found split indices: #