27.329 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.084 * * * [progress]: [2/2] Setting up program. 0.089 * [progress]: [Phase 2 of 3] Improving. 0.089 * [simplify]: Simplifying: (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) 0.089 * * [simplify]: Extracting # 0 : cost 0 0.089 * * [simplify]: Extracting # 1 : cost 0 0.089 * * [simplify]: Extracting # 2 : cost 0 0.089 * * [simplify]: Extracting # 3 : cost 0 0.089 * * [simplify]: Extracting # 4 : cost 0 0.089 * * [simplify]: Extracting # 5 : cost 0 0.090 * * [simplify]: Extracting # 6 : cost 0 0.090 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 0.093 * * [simplify]: Extracting # 0 : cost 0 0.093 * * [simplify]: Extracting # 1 : cost 0 0.093 * * [simplify]: Extracting # 2 : cost 0 0.093 * * [simplify]: iteration 1 : 20 enodes (cost 15 ) 0.103 * * [simplify]: Extracting # 0 : cost 0 0.103 * * [simplify]: Extracting # 1 : cost 0 0.104 * * [simplify]: Extracting # 2 : cost 0 0.104 * * [simplify]: Extracting # 3 : cost 0 0.104 * * [simplify]: iteration 2 : 64 enodes (cost 7 ) 0.142 * * [simplify]: Extracting # 0 : cost 0 0.143 * * [simplify]: Extracting # 1 : cost 0 0.143 * * [simplify]: Extracting # 2 : cost 0 0.144 * * [simplify]: Extracting # 3 : cost 0 0.144 * * [simplify]: Extracting # 4 : cost 0 0.144 * * [simplify]: iteration 3 : 179 enodes (cost 5 ) 0.355 * * [simplify]: Extracting # 0 : cost 0 0.358 * * [simplify]: Extracting # 1 : cost 0 0.360 * * [simplify]: Extracting # 2 : cost 0 0.363 * * [simplify]: Extracting # 3 : cost 0 0.365 * * [simplify]: Extracting # 4 : cost 0 0.367 * * [simplify]: iteration 4 : 1346 enodes (cost 5 ) 1.166 * * [simplify]: Extracting # 0 : cost 0 1.202 * * [simplify]: Extracting # 1 : cost 0 1.209 * * [simplify]: Extracting # 2 : cost 0 1.214 * * [simplify]: Extracting # 3 : cost 0 1.221 * * [simplify]: iteration done: 5000 enodes (cost 5 ) 1.221 * [simplify]: Simplified to: (* (- x z) y) 1.226 * * [progress]: iteration 1 / 4 1.226 * * * [progress]: picking best candidate 1.228 * * * * [pick]: Picked # 1.228 * * * [progress]: localizing error 1.233 * * * [progress]: generating rewritten candidates 1.233 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.260 * * * [progress]: generating series expansions 1.260 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.261 * [backup-simplify]: Simplify (* (- x z) y) into (* y (- x z)) 1.261 * [approximate]: Taking taylor expansion of (* y (- x z)) in (x z y) around 0 1.261 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 1.261 * [taylor]: Taking taylor expansion of y in y 1.261 * [backup-simplify]: Simplify 0 into 0 1.261 * [backup-simplify]: Simplify 1 into 1 1.261 * [taylor]: Taking taylor expansion of (- x z) in y 1.261 * [taylor]: Taking taylor expansion of x in y 1.261 * [backup-simplify]: Simplify x into x 1.261 * [taylor]: Taking taylor expansion of z in y 1.261 * [backup-simplify]: Simplify z into z 1.261 * [taylor]: Taking taylor expansion of (* y (- x z)) in z 1.261 * [taylor]: Taking taylor expansion of y in z 1.261 * [backup-simplify]: Simplify y into y 1.261 * [taylor]: Taking taylor expansion of (- x z) in z 1.261 * [taylor]: Taking taylor expansion of x in z 1.261 * [backup-simplify]: Simplify x into x 1.261 * [taylor]: Taking taylor expansion of z in z 1.261 * [backup-simplify]: Simplify 0 into 0 1.261 * [backup-simplify]: Simplify 1 into 1 1.261 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 1.261 * [taylor]: Taking taylor expansion of y in x 1.261 * [backup-simplify]: Simplify y into y 1.261 * [taylor]: Taking taylor expansion of (- x z) in x 1.261 * [taylor]: Taking taylor expansion of x in x 1.261 * [backup-simplify]: Simplify 0 into 0 1.261 * [backup-simplify]: Simplify 1 into 1 1.261 * [taylor]: Taking taylor expansion of z in x 1.261 * [backup-simplify]: Simplify z into z 1.261 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 1.261 * [taylor]: Taking taylor expansion of y in x 1.261 * [backup-simplify]: Simplify y into y 1.261 * [taylor]: Taking taylor expansion of (- x z) in x 1.261 * [taylor]: Taking taylor expansion of x in x 1.261 * [backup-simplify]: Simplify 0 into 0 1.261 * [backup-simplify]: Simplify 1 into 1 1.261 * [taylor]: Taking taylor expansion of z in x 1.261 * [backup-simplify]: Simplify z into z 1.261 * [backup-simplify]: Simplify (- z) into (- z) 1.262 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 1.262 * [backup-simplify]: Simplify (* y (- z)) into (* -1 (* z y)) 1.262 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 1.262 * [taylor]: Taking taylor expansion of -1 in z 1.262 * [backup-simplify]: Simplify -1 into -1 1.262 * [taylor]: Taking taylor expansion of (* z y) in z 1.262 * [taylor]: Taking taylor expansion of z in z 1.262 * [backup-simplify]: Simplify 0 into 0 1.262 * [backup-simplify]: Simplify 1 into 1 1.262 * [taylor]: Taking taylor expansion of y in z 1.262 * [backup-simplify]: Simplify y into y 1.262 * [backup-simplify]: Simplify (* 0 y) into 0 1.263 * [backup-simplify]: Simplify (* -1 0) into 0 1.263 * [taylor]: Taking taylor expansion of 0 in y 1.263 * [backup-simplify]: Simplify 0 into 0 1.263 * [backup-simplify]: Simplify 0 into 0 1.263 * [backup-simplify]: Simplify (- 0) into 0 1.263 * [backup-simplify]: Simplify (+ 1 0) into 1 1.263 * [backup-simplify]: Simplify (+ (* y 1) (* 0 (- z))) into y 1.263 * [taylor]: Taking taylor expansion of y in z 1.263 * [backup-simplify]: Simplify y into y 1.263 * [taylor]: Taking taylor expansion of y in y 1.263 * [backup-simplify]: Simplify 0 into 0 1.263 * [backup-simplify]: Simplify 1 into 1 1.263 * [backup-simplify]: Simplify 0 into 0 1.264 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 1.264 * [backup-simplify]: Simplify (+ (* -1 y) (* 0 0)) into (- y) 1.264 * [taylor]: Taking taylor expansion of (- y) in y 1.264 * [taylor]: Taking taylor expansion of y in y 1.264 * [backup-simplify]: Simplify 0 into 0 1.264 * [backup-simplify]: Simplify 1 into 1 1.264 * [backup-simplify]: Simplify (- 0) into 0 1.264 * [backup-simplify]: Simplify 0 into 0 1.264 * [backup-simplify]: Simplify 0 into 0 1.265 * [backup-simplify]: Simplify (- 0) into 0 1.265 * [backup-simplify]: Simplify (+ 0 0) into 0 1.265 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 (- z)))) into 0 1.265 * [taylor]: Taking taylor expansion of 0 in z 1.265 * [backup-simplify]: Simplify 0 into 0 1.265 * [taylor]: Taking taylor expansion of 0 in y 1.265 * [backup-simplify]: Simplify 0 into 0 1.265 * [backup-simplify]: Simplify 0 into 0 1.265 * [taylor]: Taking taylor expansion of 0 in y 1.265 * [backup-simplify]: Simplify 0 into 0 1.265 * [backup-simplify]: Simplify 0 into 0 1.265 * [backup-simplify]: Simplify 0 into 0 1.265 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 1 z)) (/ 1 y)) into (/ (- (/ 1 x) (/ 1 z)) y) 1.265 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (x z y) around 0 1.266 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 1.266 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 1.266 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.266 * [taylor]: Taking taylor expansion of x in y 1.266 * [backup-simplify]: Simplify x into x 1.266 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.266 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.266 * [taylor]: Taking taylor expansion of z in y 1.266 * [backup-simplify]: Simplify z into z 1.266 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.266 * [taylor]: Taking taylor expansion of y in y 1.266 * [backup-simplify]: Simplify 0 into 0 1.266 * [backup-simplify]: Simplify 1 into 1 1.266 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 1.266 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 1.266 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z)) 1.266 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 1.266 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 1.266 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.266 * [taylor]: Taking taylor expansion of x in z 1.266 * [backup-simplify]: Simplify x into x 1.266 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.266 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.266 * [taylor]: Taking taylor expansion of z in z 1.266 * [backup-simplify]: Simplify 0 into 0 1.266 * [backup-simplify]: Simplify 1 into 1 1.266 * [backup-simplify]: Simplify (/ 1 1) into 1 1.266 * [taylor]: Taking taylor expansion of y in z 1.266 * [backup-simplify]: Simplify y into y 1.267 * [backup-simplify]: Simplify (- 1) into -1 1.267 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.267 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 1.267 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 1.267 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 1.267 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.267 * [taylor]: Taking taylor expansion of x in x 1.267 * [backup-simplify]: Simplify 0 into 0 1.267 * [backup-simplify]: Simplify 1 into 1 1.267 * [backup-simplify]: Simplify (/ 1 1) into 1 1.267 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.267 * [taylor]: Taking taylor expansion of z in x 1.267 * [backup-simplify]: Simplify z into z 1.267 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.267 * [taylor]: Taking taylor expansion of y in x 1.267 * [backup-simplify]: Simplify y into y 1.268 * [backup-simplify]: Simplify (+ 1 0) into 1 1.268 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.268 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 1.268 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 1.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.268 * [taylor]: Taking taylor expansion of x in x 1.268 * [backup-simplify]: Simplify 0 into 0 1.268 * [backup-simplify]: Simplify 1 into 1 1.268 * [backup-simplify]: Simplify (/ 1 1) into 1 1.268 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.268 * [taylor]: Taking taylor expansion of z in x 1.268 * [backup-simplify]: Simplify z into z 1.268 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.268 * [taylor]: Taking taylor expansion of y in x 1.268 * [backup-simplify]: Simplify y into y 1.268 * [backup-simplify]: Simplify (+ 1 0) into 1 1.268 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.269 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.269 * [taylor]: Taking taylor expansion of y in z 1.269 * [backup-simplify]: Simplify y into y 1.269 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.269 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 1.269 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 1.269 * [backup-simplify]: Simplify (- (/ (- (/ 1 z)) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (/ 1 (* z y))) 1.269 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 1.269 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 1.269 * [taylor]: Taking taylor expansion of (* z y) in z 1.269 * [taylor]: Taking taylor expansion of z in z 1.269 * [backup-simplify]: Simplify 0 into 0 1.269 * [backup-simplify]: Simplify 1 into 1 1.269 * [taylor]: Taking taylor expansion of y in z 1.269 * [backup-simplify]: Simplify y into y 1.269 * [backup-simplify]: Simplify (* 0 y) into 0 1.270 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 1.270 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.270 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 1.270 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 1.270 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.270 * [taylor]: Taking taylor expansion of y in y 1.270 * [backup-simplify]: Simplify 0 into 0 1.270 * [backup-simplify]: Simplify 1 into 1 1.275 * [backup-simplify]: Simplify (/ 1 1) into 1 1.275 * [backup-simplify]: Simplify (- 1) into -1 1.275 * [backup-simplify]: Simplify -1 into -1 1.275 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.275 * [taylor]: Taking taylor expansion of y in y 1.275 * [backup-simplify]: Simplify 0 into 0 1.275 * [backup-simplify]: Simplify 1 into 1 1.276 * [backup-simplify]: Simplify (/ 1 1) into 1 1.276 * [backup-simplify]: Simplify 1 into 1 1.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.276 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 1.277 * [backup-simplify]: Simplify (- 0) into 0 1.277 * [backup-simplify]: Simplify (+ 0 0) into 0 1.277 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)))) into 0 1.277 * [taylor]: Taking taylor expansion of 0 in z 1.277 * [backup-simplify]: Simplify 0 into 0 1.278 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 1.278 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1.278 * [backup-simplify]: Simplify (- 0) into 0 1.278 * [taylor]: Taking taylor expansion of 0 in y 1.278 * [backup-simplify]: Simplify 0 into 0 1.278 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1.278 * [taylor]: Taking taylor expansion of 0 in y 1.278 * [backup-simplify]: Simplify 0 into 0 1.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.279 * [backup-simplify]: Simplify (- 0) into 0 1.279 * [backup-simplify]: Simplify 0 into 0 1.280 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.280 * [backup-simplify]: Simplify 0 into 0 1.281 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.281 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 1.281 * [backup-simplify]: Simplify (- 0) into 0 1.282 * [backup-simplify]: Simplify (+ 0 0) into 0 1.282 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.282 * [taylor]: Taking taylor expansion of 0 in z 1.282 * [backup-simplify]: Simplify 0 into 0 1.282 * [taylor]: Taking taylor expansion of 0 in y 1.282 * [backup-simplify]: Simplify 0 into 0 1.283 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 1.283 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.284 * [backup-simplify]: Simplify (- 0) into 0 1.284 * [taylor]: Taking taylor expansion of 0 in y 1.284 * [backup-simplify]: Simplify 0 into 0 1.284 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.284 * [taylor]: Taking taylor expansion of 0 in y 1.284 * [backup-simplify]: Simplify 0 into 0 1.284 * [backup-simplify]: Simplify 0 into 0 1.284 * [backup-simplify]: Simplify 0 into 0 1.285 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.285 * [backup-simplify]: Simplify (- 0) into 0 1.285 * [backup-simplify]: Simplify 0 into 0 1.286 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.286 * [backup-simplify]: Simplify 0 into 0 1.287 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 y)) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 z)) 1)))) into (- (* x y) (* z y)) 1.287 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y))) into (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) 1.287 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (x z y) around 0 1.287 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 1.287 * [taylor]: Taking taylor expansion of -1 in y 1.287 * [backup-simplify]: Simplify -1 into -1 1.287 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 1.287 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 1.287 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.287 * [taylor]: Taking taylor expansion of z in y 1.287 * [backup-simplify]: Simplify z into z 1.287 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.287 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.287 * [taylor]: Taking taylor expansion of x in y 1.287 * [backup-simplify]: Simplify x into x 1.287 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.287 * [taylor]: Taking taylor expansion of y in y 1.288 * [backup-simplify]: Simplify 0 into 0 1.288 * [backup-simplify]: Simplify 1 into 1 1.288 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 1.288 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x)) 1.288 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x)) 1.288 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z 1.288 * [taylor]: Taking taylor expansion of -1 in z 1.288 * [backup-simplify]: Simplify -1 into -1 1.288 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 1.288 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 1.288 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.288 * [taylor]: Taking taylor expansion of z in z 1.288 * [backup-simplify]: Simplify 0 into 0 1.288 * [backup-simplify]: Simplify 1 into 1 1.289 * [backup-simplify]: Simplify (/ 1 1) into 1 1.289 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.289 * [taylor]: Taking taylor expansion of x in z 1.289 * [backup-simplify]: Simplify x into x 1.289 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.289 * [taylor]: Taking taylor expansion of y in z 1.289 * [backup-simplify]: Simplify y into y 1.289 * [backup-simplify]: Simplify (+ 1 0) into 1 1.289 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.289 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 1.289 * [taylor]: Taking taylor expansion of -1 in x 1.289 * [backup-simplify]: Simplify -1 into -1 1.289 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 1.289 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 1.289 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.289 * [taylor]: Taking taylor expansion of z in x 1.290 * [backup-simplify]: Simplify z into z 1.290 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.290 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.290 * [taylor]: Taking taylor expansion of x in x 1.290 * [backup-simplify]: Simplify 0 into 0 1.290 * [backup-simplify]: Simplify 1 into 1 1.290 * [backup-simplify]: Simplify (/ 1 1) into 1 1.290 * [taylor]: Taking taylor expansion of y in x 1.290 * [backup-simplify]: Simplify y into y 1.290 * [backup-simplify]: Simplify (- 1) into -1 1.291 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.291 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 1.291 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 1.291 * [taylor]: Taking taylor expansion of -1 in x 1.291 * [backup-simplify]: Simplify -1 into -1 1.291 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 1.291 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 1.291 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.291 * [taylor]: Taking taylor expansion of z in x 1.291 * [backup-simplify]: Simplify z into z 1.291 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.291 * [taylor]: Taking taylor expansion of x in x 1.291 * [backup-simplify]: Simplify 0 into 0 1.292 * [backup-simplify]: Simplify 1 into 1 1.292 * [backup-simplify]: Simplify (/ 1 1) into 1 1.292 * [taylor]: Taking taylor expansion of y in x 1.292 * [backup-simplify]: Simplify y into y 1.292 * [backup-simplify]: Simplify (- 1) into -1 1.293 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.293 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 1.293 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 1.293 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.293 * [taylor]: Taking taylor expansion of y in z 1.293 * [backup-simplify]: Simplify y into y 1.293 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.294 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.294 * [backup-simplify]: Simplify (- 0) into 0 1.294 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 1.294 * [backup-simplify]: Simplify (- (/ (/ 1 z) y) (+ (* (/ -1 y) (/ 0 y)))) into (/ 1 (* z y)) 1.294 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (* z y))) (* 0 (/ -1 y))) into (- (/ 1 (* z y))) 1.294 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 1.294 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 1.295 * [taylor]: Taking taylor expansion of (* z y) in z 1.295 * [taylor]: Taking taylor expansion of z in z 1.295 * [backup-simplify]: Simplify 0 into 0 1.295 * [backup-simplify]: Simplify 1 into 1 1.295 * [taylor]: Taking taylor expansion of y in z 1.295 * [backup-simplify]: Simplify y into y 1.295 * [backup-simplify]: Simplify (* 0 y) into 0 1.295 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 1.295 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.295 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 1.295 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 1.295 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.295 * [taylor]: Taking taylor expansion of y in y 1.295 * [backup-simplify]: Simplify 0 into 0 1.295 * [backup-simplify]: Simplify 1 into 1 1.296 * [backup-simplify]: Simplify (/ 1 1) into 1 1.296 * [backup-simplify]: Simplify (- 1) into -1 1.296 * [backup-simplify]: Simplify -1 into -1 1.296 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.296 * [taylor]: Taking taylor expansion of y in y 1.296 * [backup-simplify]: Simplify 0 into 0 1.296 * [backup-simplify]: Simplify 1 into 1 1.296 * [backup-simplify]: Simplify (/ 1 1) into 1 1.297 * [backup-simplify]: Simplify 1 into 1 1.297 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 1.297 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.298 * [backup-simplify]: Simplify (- 0) into 0 1.298 * [backup-simplify]: Simplify (+ 0 0) into 0 1.298 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (/ 1 (* z y)) (/ 0 y)))) into 0 1.299 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (* z y))) (* 0 (/ -1 y)))) into 0 1.299 * [taylor]: Taking taylor expansion of 0 in z 1.299 * [backup-simplify]: Simplify 0 into 0 1.300 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 1.300 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1.300 * [backup-simplify]: Simplify (- 0) into 0 1.300 * [taylor]: Taking taylor expansion of 0 in y 1.300 * [backup-simplify]: Simplify 0 into 0 1.300 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1.300 * [taylor]: Taking taylor expansion of 0 in y 1.300 * [backup-simplify]: Simplify 0 into 0 1.301 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.301 * [backup-simplify]: Simplify (- 0) into 0 1.301 * [backup-simplify]: Simplify 0 into 0 1.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.302 * [backup-simplify]: Simplify 0 into 0 1.302 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 1.303 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.304 * [backup-simplify]: Simplify (- 0) into 0 1.304 * [backup-simplify]: Simplify (+ 0 0) into 0 1.304 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (/ 1 (* z y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.305 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (* z y))) (* 0 (/ -1 y))))) into 0 1.305 * [taylor]: Taking taylor expansion of 0 in z 1.305 * [backup-simplify]: Simplify 0 into 0 1.305 * [taylor]: Taking taylor expansion of 0 in y 1.305 * [backup-simplify]: Simplify 0 into 0 1.306 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 1.307 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.307 * [backup-simplify]: Simplify (- 0) into 0 1.307 * [taylor]: Taking taylor expansion of 0 in y 1.307 * [backup-simplify]: Simplify 0 into 0 1.307 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.307 * [taylor]: Taking taylor expansion of 0 in y 1.307 * [backup-simplify]: Simplify 0 into 0 1.307 * [backup-simplify]: Simplify 0 into 0 1.307 * [backup-simplify]: Simplify 0 into 0 1.308 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.308 * [backup-simplify]: Simplify (- 0) into 0 1.308 * [backup-simplify]: Simplify 0 into 0 1.309 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.309 * [backup-simplify]: Simplify 0 into 0 1.310 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- y))) (* 1 (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- z))) 1)))) into (- (* x y) (* z y)) 1.310 * * * [progress]: simplifying candidates 1.310 * [simplify]: Simplifying: (* (- x z) y) (+ (log (- x z)) (log y)) (log (* (- x z) y)) (exp (* (- x z) y)) (* (* (* (- x z) (- x z)) (- x z)) (* (* y y) y)) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (cbrt (* (- x z) y)) (* (* (* (- x z) y) (* (- x z) y)) (* (- x z) y)) (sqrt (* (- x z) y)) (sqrt (* (- x z) y)) (* (sqrt (- x z)) (sqrt y)) (* (sqrt (- x z)) (sqrt y)) (* (- x z) (* (cbrt y) (cbrt y))) (* (- x z) (sqrt y)) (* (- x z) 1) (* (cbrt (- x z)) y) (* (sqrt (- x z)) y) (* (- x z) y) (* (- (sqrt x) (sqrt z)) y) (* (- x z) y) (* (- (pow x 3) (pow z 3)) y) (* (- (* x x) (* z z)) y) 0 (- (* x y) (* z y)) (- (* x y) (* z y)) 1.311 * * [simplify]: Extracting # 0 : cost 0 1.311 * * [simplify]: Extracting # 1 : cost 0 1.311 * * [simplify]: Extracting # 2 : cost 0 1.311 * * [simplify]: Extracting # 3 : cost 0 1.311 * * [simplify]: Extracting # 4 : cost 0 1.312 * * [simplify]: Extracting # 5 : cost 0 1.312 * * [simplify]: Extracting # 6 : cost 0 1.312 * * [simplify]: iteration 0 : 49 enodes (cost 185 ) 1.328 * * [simplify]: Extracting # 0 : cost 0 1.328 * * [simplify]: Extracting # 1 : cost 0 1.328 * * [simplify]: Extracting # 2 : cost 0 1.328 * * [simplify]: Extracting # 3 : cost 0 1.329 * * [simplify]: iteration 1 : 110 enodes (cost 178 ) 1.378 * * [simplify]: Extracting # 0 : cost 0 1.379 * * [simplify]: Extracting # 1 : cost 0 1.380 * * [simplify]: Extracting # 2 : cost 0 1.380 * * [simplify]: Extracting # 3 : cost 0 1.381 * * [simplify]: Extracting # 4 : cost 0 1.382 * * [simplify]: iteration 2 : 431 enodes (cost 160 ) 2.033 * * [simplify]: Extracting # 0 : cost 0 2.054 * * [simplify]: Extracting # 1 : cost 0 2.068 * * [simplify]: Extracting # 2 : cost 0 2.075 * * [simplify]: Extracting # 3 : cost 0 2.081 * * [simplify]: Extracting # 4 : cost 0 2.088 * * [simplify]: iteration 3 : 4801 enodes (cost 158 ) 6.556 * * [simplify]: Extracting # 0 : cost 0 6.564 * * [simplify]: Extracting # 1 : cost 0 6.570 * * [simplify]: Extracting # 2 : cost 0 6.576 * * [simplify]: iteration done: 5000 enodes (cost 158 ) 6.576 * [simplify]: Simplified to: (* y (- x z)) (log (* (- x z) y)) (log (* (- x z) y)) (exp (* (- x z) y)) (pow (* (- x z) y) 3) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (cbrt (* (- x z) y)) (pow (* (- x z) y) 3) (sqrt (* (- x z) y)) (sqrt (* (- x z) y)) (* (sqrt (- x z)) (sqrt y)) (* (sqrt (- x z)) (sqrt y)) (* (* (cbrt y) (cbrt y)) (- x z)) (* (sqrt y) (- x z)) (- x z) (* (cbrt (- x z)) y) (* (sqrt (- x z)) y) (* y (- x z)) (* (- (sqrt x) (sqrt z)) y) (* y (- x z)) (* (- (pow x 3) (pow z 3)) y) (* (- (* x x) (* z z)) y) 0 (* y (- x z)) (* y (- x z)) 6.576 * * * [progress]: adding candidates to table 6.633 * * [progress]: iteration 2 / 4 6.633 * * * [progress]: picking best candidate 6.642 * * * * [pick]: Picked # 6.642 * * * [progress]: localizing error 6.652 * * * [progress]: generating rewritten candidates 6.652 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 6.837 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 6.848 * * * [progress]: generating series expansions 6.848 * * * * [progress]: [ 1 / 2 ] generating series at (2) 6.848 * [backup-simplify]: Simplify (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) into (- (* x y) (* z y)) 6.848 * [approximate]: Taking taylor expansion of (- (* x y) (* z y)) in (x y z) around 0 6.848 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in z 6.848 * [taylor]: Taking taylor expansion of (* x y) in z 6.848 * [taylor]: Taking taylor expansion of x in z 6.848 * [backup-simplify]: Simplify x into x 6.848 * [taylor]: Taking taylor expansion of y in z 6.848 * [backup-simplify]: Simplify y into y 6.848 * [taylor]: Taking taylor expansion of (* z y) in z 6.848 * [taylor]: Taking taylor expansion of z in z 6.848 * [backup-simplify]: Simplify 0 into 0 6.848 * [backup-simplify]: Simplify 1 into 1 6.848 * [taylor]: Taking taylor expansion of y in z 6.848 * [backup-simplify]: Simplify y into y 6.848 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y 6.848 * [taylor]: Taking taylor expansion of (* x y) in y 6.849 * [taylor]: Taking taylor expansion of x in y 6.849 * [backup-simplify]: Simplify x into x 6.849 * [taylor]: Taking taylor expansion of y in y 6.849 * [backup-simplify]: Simplify 0 into 0 6.849 * [backup-simplify]: Simplify 1 into 1 6.849 * [taylor]: Taking taylor expansion of (* z y) in y 6.849 * [taylor]: Taking taylor expansion of z in y 6.849 * [backup-simplify]: Simplify z into z 6.849 * [taylor]: Taking taylor expansion of y in y 6.849 * [backup-simplify]: Simplify 0 into 0 6.849 * [backup-simplify]: Simplify 1 into 1 6.849 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x 6.849 * [taylor]: Taking taylor expansion of (* x y) in x 6.849 * [taylor]: Taking taylor expansion of x in x 6.849 * [backup-simplify]: Simplify 0 into 0 6.849 * [backup-simplify]: Simplify 1 into 1 6.849 * [taylor]: Taking taylor expansion of y in x 6.849 * [backup-simplify]: Simplify y into y 6.849 * [taylor]: Taking taylor expansion of (* z y) in x 6.849 * [taylor]: Taking taylor expansion of z in x 6.849 * [backup-simplify]: Simplify z into z 6.849 * [taylor]: Taking taylor expansion of y in x 6.849 * [backup-simplify]: Simplify y into y 6.849 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x 6.849 * [taylor]: Taking taylor expansion of (* x y) in x 6.849 * [taylor]: Taking taylor expansion of x in x 6.849 * [backup-simplify]: Simplify 0 into 0 6.849 * [backup-simplify]: Simplify 1 into 1 6.849 * [taylor]: Taking taylor expansion of y in x 6.849 * [backup-simplify]: Simplify y into y 6.849 * [taylor]: Taking taylor expansion of (* z y) in x 6.849 * [taylor]: Taking taylor expansion of z in x 6.849 * [backup-simplify]: Simplify z into z 6.849 * [taylor]: Taking taylor expansion of y in x 6.849 * [backup-simplify]: Simplify y into y 6.849 * [backup-simplify]: Simplify (* 0 y) into 0 6.849 * [backup-simplify]: Simplify (* z y) into (* z y) 6.849 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y)) 6.849 * [backup-simplify]: Simplify (+ 0 (- (* z y))) into (- (* z y)) 6.849 * [taylor]: Taking taylor expansion of (- (* z y)) in y 6.849 * [taylor]: Taking taylor expansion of (* z y) in y 6.849 * [taylor]: Taking taylor expansion of z in y 6.849 * [backup-simplify]: Simplify z into z 6.849 * [taylor]: Taking taylor expansion of y in y 6.849 * [backup-simplify]: Simplify 0 into 0 6.849 * [backup-simplify]: Simplify 1 into 1 6.849 * [backup-simplify]: Simplify (* z 0) into 0 6.850 * [backup-simplify]: Simplify (- 0) into 0 6.850 * [taylor]: Taking taylor expansion of 0 in z 6.850 * [backup-simplify]: Simplify 0 into 0 6.850 * [backup-simplify]: Simplify 0 into 0 6.850 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.850 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 6.851 * [backup-simplify]: Simplify (- 0) into 0 6.851 * [backup-simplify]: Simplify (+ y 0) into y 6.851 * [taylor]: Taking taylor expansion of y in y 6.851 * [backup-simplify]: Simplify 0 into 0 6.851 * [backup-simplify]: Simplify 1 into 1 6.851 * [taylor]: Taking taylor expansion of 0 in z 6.851 * [backup-simplify]: Simplify 0 into 0 6.851 * [backup-simplify]: Simplify 0 into 0 6.851 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 6.851 * [backup-simplify]: Simplify (- z) into (- z) 6.851 * [taylor]: Taking taylor expansion of (- z) in z 6.851 * [taylor]: Taking taylor expansion of z in z 6.851 * [backup-simplify]: Simplify 0 into 0 6.851 * [backup-simplify]: Simplify 1 into 1 6.852 * [backup-simplify]: Simplify (- 0) into 0 6.852 * [backup-simplify]: Simplify 0 into 0 6.852 * [backup-simplify]: Simplify 0 into 0 6.852 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 6.853 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0 6.853 * [backup-simplify]: Simplify (- 0) into 0 6.853 * [backup-simplify]: Simplify (+ 0 0) into 0 6.853 * [taylor]: Taking taylor expansion of 0 in y 6.853 * [backup-simplify]: Simplify 0 into 0 6.853 * [taylor]: Taking taylor expansion of 0 in z 6.853 * [backup-simplify]: Simplify 0 into 0 6.853 * [backup-simplify]: Simplify 0 into 0 6.853 * [taylor]: Taking taylor expansion of 1 in z 6.853 * [backup-simplify]: Simplify 1 into 1 6.853 * [backup-simplify]: Simplify 1 into 1 6.854 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 6.854 * [backup-simplify]: Simplify (- 0) into 0 6.854 * [taylor]: Taking taylor expansion of 0 in z 6.854 * [backup-simplify]: Simplify 0 into 0 6.854 * [backup-simplify]: Simplify 0 into 0 6.854 * [backup-simplify]: Simplify 0 into 0 6.854 * [backup-simplify]: Simplify (- 1) into -1 6.854 * [backup-simplify]: Simplify -1 into -1 6.854 * [backup-simplify]: Simplify 0 into 0 6.855 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 6.856 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 6.856 * [backup-simplify]: Simplify (- 0) into 0 6.856 * [backup-simplify]: Simplify (+ 0 0) into 0 6.856 * [taylor]: Taking taylor expansion of 0 in y 6.856 * [backup-simplify]: Simplify 0 into 0 6.856 * [taylor]: Taking taylor expansion of 0 in z 6.856 * [backup-simplify]: Simplify 0 into 0 6.856 * [backup-simplify]: Simplify 0 into 0 6.856 * [taylor]: Taking taylor expansion of 0 in z 6.856 * [backup-simplify]: Simplify 0 into 0 6.856 * [backup-simplify]: Simplify 0 into 0 6.856 * [taylor]: Taking taylor expansion of 0 in z 6.856 * [backup-simplify]: Simplify 0 into 0 6.856 * [backup-simplify]: Simplify 0 into 0 6.857 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.857 * [backup-simplify]: Simplify (- 0) into 0 6.857 * [taylor]: Taking taylor expansion of 0 in z 6.857 * [backup-simplify]: Simplify 0 into 0 6.857 * [backup-simplify]: Simplify 0 into 0 6.857 * [backup-simplify]: Simplify 0 into 0 6.857 * [backup-simplify]: Simplify (+ (* -1 (* z (* y 1))) (* 1 (* 1 (* y x)))) into (- (* x y) (* z y)) 6.858 * [backup-simplify]: Simplify (+ (- (- (* (/ 1 x) (/ 1 y)) (* (/ 1 y) (/ 1 z))) (* (/ 1 y) (/ 1 y))) (* (/ 1 y) (/ 1 y))) into (- (/ 1 (* x y)) (/ 1 (* z y))) 6.858 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0 6.858 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z 6.858 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 6.858 * [taylor]: Taking taylor expansion of (* x y) in z 6.858 * [taylor]: Taking taylor expansion of x in z 6.858 * [backup-simplify]: Simplify x into x 6.858 * [taylor]: Taking taylor expansion of y in z 6.858 * [backup-simplify]: Simplify y into y 6.858 * [backup-simplify]: Simplify (* x y) into (* x y) 6.858 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 6.858 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 6.858 * [taylor]: Taking taylor expansion of (* z y) in z 6.858 * [taylor]: Taking taylor expansion of z in z 6.858 * [backup-simplify]: Simplify 0 into 0 6.858 * [backup-simplify]: Simplify 1 into 1 6.858 * [taylor]: Taking taylor expansion of y in z 6.858 * [backup-simplify]: Simplify y into y 6.858 * [backup-simplify]: Simplify (* 0 y) into 0 6.858 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.858 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.859 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 6.859 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 6.859 * [taylor]: Taking taylor expansion of (* x y) in y 6.859 * [taylor]: Taking taylor expansion of x in y 6.859 * [backup-simplify]: Simplify x into x 6.859 * [taylor]: Taking taylor expansion of y in y 6.859 * [backup-simplify]: Simplify 0 into 0 6.859 * [backup-simplify]: Simplify 1 into 1 6.859 * [backup-simplify]: Simplify (* x 0) into 0 6.859 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 6.859 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.859 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 6.859 * [taylor]: Taking taylor expansion of (* z y) in y 6.859 * [taylor]: Taking taylor expansion of z in y 6.859 * [backup-simplify]: Simplify z into z 6.859 * [taylor]: Taking taylor expansion of y in y 6.859 * [backup-simplify]: Simplify 0 into 0 6.859 * [backup-simplify]: Simplify 1 into 1 6.859 * [backup-simplify]: Simplify (* z 0) into 0 6.859 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 6.859 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.859 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 6.859 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 6.859 * [taylor]: Taking taylor expansion of (* x y) in x 6.860 * [taylor]: Taking taylor expansion of x in x 6.860 * [backup-simplify]: Simplify 0 into 0 6.860 * [backup-simplify]: Simplify 1 into 1 6.860 * [taylor]: Taking taylor expansion of y in x 6.860 * [backup-simplify]: Simplify y into y 6.860 * [backup-simplify]: Simplify (* 0 y) into 0 6.860 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.860 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.860 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 6.860 * [taylor]: Taking taylor expansion of (* z y) in x 6.860 * [taylor]: Taking taylor expansion of z in x 6.860 * [backup-simplify]: Simplify z into z 6.860 * [taylor]: Taking taylor expansion of y in x 6.860 * [backup-simplify]: Simplify y into y 6.860 * [backup-simplify]: Simplify (* z y) into (* z y) 6.860 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 6.860 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 6.860 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 6.860 * [taylor]: Taking taylor expansion of (* x y) in x 6.860 * [taylor]: Taking taylor expansion of x in x 6.860 * [backup-simplify]: Simplify 0 into 0 6.860 * [backup-simplify]: Simplify 1 into 1 6.860 * [taylor]: Taking taylor expansion of y in x 6.860 * [backup-simplify]: Simplify y into y 6.860 * [backup-simplify]: Simplify (* 0 y) into 0 6.861 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.861 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.861 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 6.861 * [taylor]: Taking taylor expansion of (* z y) in x 6.861 * [taylor]: Taking taylor expansion of z in x 6.861 * [backup-simplify]: Simplify z into z 6.861 * [taylor]: Taking taylor expansion of y in x 6.861 * [backup-simplify]: Simplify y into y 6.861 * [backup-simplify]: Simplify (* z y) into (* z y) 6.861 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 6.861 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 6.861 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.861 * [taylor]: Taking taylor expansion of y in y 6.861 * [backup-simplify]: Simplify 0 into 0 6.861 * [backup-simplify]: Simplify 1 into 1 6.861 * [backup-simplify]: Simplify (/ 1 1) into 1 6.861 * [taylor]: Taking taylor expansion of 1 in z 6.861 * [backup-simplify]: Simplify 1 into 1 6.862 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 6.862 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.862 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y))) 6.862 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* z y)))) into (- (/ 1 (* z y))) 6.862 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 6.862 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 6.862 * [taylor]: Taking taylor expansion of (* z y) in y 6.862 * [taylor]: Taking taylor expansion of z in y 6.862 * [backup-simplify]: Simplify z into z 6.862 * [taylor]: Taking taylor expansion of y in y 6.862 * [backup-simplify]: Simplify 0 into 0 6.862 * [backup-simplify]: Simplify 1 into 1 6.862 * [backup-simplify]: Simplify (* z 0) into 0 6.862 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 6.862 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.862 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 6.862 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 6.862 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.862 * [taylor]: Taking taylor expansion of z in z 6.863 * [backup-simplify]: Simplify 0 into 0 6.863 * [backup-simplify]: Simplify 1 into 1 6.863 * [backup-simplify]: Simplify (/ 1 1) into 1 6.863 * [backup-simplify]: Simplify (- 1) into -1 6.863 * [backup-simplify]: Simplify -1 into -1 6.863 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.864 * [taylor]: Taking taylor expansion of 0 in z 6.864 * [backup-simplify]: Simplify 0 into 0 6.864 * [backup-simplify]: Simplify 1 into 1 6.865 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 6.865 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.865 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 6.865 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0 6.866 * [backup-simplify]: Simplify (- 0) into 0 6.866 * [backup-simplify]: Simplify (+ 0 0) into 0 6.866 * [taylor]: Taking taylor expansion of 0 in y 6.866 * [backup-simplify]: Simplify 0 into 0 6.867 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 6.867 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 6.868 * [backup-simplify]: Simplify (- 0) into 0 6.868 * [taylor]: Taking taylor expansion of 0 in z 6.868 * [backup-simplify]: Simplify 0 into 0 6.869 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.869 * [taylor]: Taking taylor expansion of 0 in z 6.869 * [backup-simplify]: Simplify 0 into 0 6.870 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.871 * [backup-simplify]: Simplify (- 0) into 0 6.871 * [backup-simplify]: Simplify 0 into 0 6.871 * [backup-simplify]: Simplify 0 into 0 6.871 * [backup-simplify]: Simplify 0 into 0 6.872 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 6.872 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.873 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0 6.873 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0 6.873 * [backup-simplify]: Simplify (- 0) into 0 6.873 * [backup-simplify]: Simplify (+ 0 0) into 0 6.873 * [taylor]: Taking taylor expansion of 0 in y 6.873 * [backup-simplify]: Simplify 0 into 0 6.873 * [taylor]: Taking taylor expansion of 0 in z 6.873 * [backup-simplify]: Simplify 0 into 0 6.874 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.874 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 6.874 * [backup-simplify]: Simplify (- 0) into 0 6.874 * [taylor]: Taking taylor expansion of 0 in z 6.874 * [backup-simplify]: Simplify 0 into 0 6.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.875 * [taylor]: Taking taylor expansion of 0 in z 6.875 * [backup-simplify]: Simplify 0 into 0 6.875 * [backup-simplify]: Simplify 0 into 0 6.875 * [backup-simplify]: Simplify 0 into 0 6.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.876 * [backup-simplify]: Simplify (- 0) into 0 6.876 * [backup-simplify]: Simplify 0 into 0 6.876 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1)))) into (- (* x y) (* z y)) 6.876 * [backup-simplify]: Simplify (+ (- (- (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- y)) (/ 1 (- z)))) (* (/ 1 (- y)) (/ 1 (- y)))) (* (/ 1 (- y)) (/ 1 (- y)))) into (- (/ 1 (* x y)) (/ 1 (* z y))) 6.876 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0 6.876 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z 6.876 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 6.876 * [taylor]: Taking taylor expansion of (* x y) in z 6.876 * [taylor]: Taking taylor expansion of x in z 6.876 * [backup-simplify]: Simplify x into x 6.876 * [taylor]: Taking taylor expansion of y in z 6.876 * [backup-simplify]: Simplify y into y 6.876 * [backup-simplify]: Simplify (* x y) into (* x y) 6.876 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 6.876 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 6.876 * [taylor]: Taking taylor expansion of (* z y) in z 6.876 * [taylor]: Taking taylor expansion of z in z 6.877 * [backup-simplify]: Simplify 0 into 0 6.877 * [backup-simplify]: Simplify 1 into 1 6.877 * [taylor]: Taking taylor expansion of y in z 6.877 * [backup-simplify]: Simplify y into y 6.877 * [backup-simplify]: Simplify (* 0 y) into 0 6.877 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.877 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.877 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 6.877 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 6.877 * [taylor]: Taking taylor expansion of (* x y) in y 6.877 * [taylor]: Taking taylor expansion of x in y 6.877 * [backup-simplify]: Simplify x into x 6.877 * [taylor]: Taking taylor expansion of y in y 6.877 * [backup-simplify]: Simplify 0 into 0 6.877 * [backup-simplify]: Simplify 1 into 1 6.877 * [backup-simplify]: Simplify (* x 0) into 0 6.877 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 6.877 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.877 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 6.877 * [taylor]: Taking taylor expansion of (* z y) in y 6.877 * [taylor]: Taking taylor expansion of z in y 6.877 * [backup-simplify]: Simplify z into z 6.877 * [taylor]: Taking taylor expansion of y in y 6.877 * [backup-simplify]: Simplify 0 into 0 6.877 * [backup-simplify]: Simplify 1 into 1 6.877 * [backup-simplify]: Simplify (* z 0) into 0 6.878 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 6.878 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.878 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 6.878 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 6.878 * [taylor]: Taking taylor expansion of (* x y) in x 6.878 * [taylor]: Taking taylor expansion of x in x 6.878 * [backup-simplify]: Simplify 0 into 0 6.878 * [backup-simplify]: Simplify 1 into 1 6.878 * [taylor]: Taking taylor expansion of y in x 6.878 * [backup-simplify]: Simplify y into y 6.878 * [backup-simplify]: Simplify (* 0 y) into 0 6.878 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.878 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.878 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 6.878 * [taylor]: Taking taylor expansion of (* z y) in x 6.878 * [taylor]: Taking taylor expansion of z in x 6.878 * [backup-simplify]: Simplify z into z 6.878 * [taylor]: Taking taylor expansion of y in x 6.878 * [backup-simplify]: Simplify y into y 6.878 * [backup-simplify]: Simplify (* z y) into (* z y) 6.878 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 6.878 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 6.878 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 6.878 * [taylor]: Taking taylor expansion of (* x y) in x 6.878 * [taylor]: Taking taylor expansion of x in x 6.878 * [backup-simplify]: Simplify 0 into 0 6.879 * [backup-simplify]: Simplify 1 into 1 6.879 * [taylor]: Taking taylor expansion of y in x 6.879 * [backup-simplify]: Simplify y into y 6.879 * [backup-simplify]: Simplify (* 0 y) into 0 6.879 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.879 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.879 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 6.879 * [taylor]: Taking taylor expansion of (* z y) in x 6.879 * [taylor]: Taking taylor expansion of z in x 6.879 * [backup-simplify]: Simplify z into z 6.879 * [taylor]: Taking taylor expansion of y in x 6.879 * [backup-simplify]: Simplify y into y 6.879 * [backup-simplify]: Simplify (* z y) into (* z y) 6.879 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 6.879 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 6.879 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.879 * [taylor]: Taking taylor expansion of y in y 6.879 * [backup-simplify]: Simplify 0 into 0 6.879 * [backup-simplify]: Simplify 1 into 1 6.879 * [backup-simplify]: Simplify (/ 1 1) into 1 6.879 * [taylor]: Taking taylor expansion of 1 in z 6.880 * [backup-simplify]: Simplify 1 into 1 6.880 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 6.880 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.880 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y))) 6.880 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* z y)))) into (- (/ 1 (* z y))) 6.880 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 6.880 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 6.880 * [taylor]: Taking taylor expansion of (* z y) in y 6.880 * [taylor]: Taking taylor expansion of z in y 6.880 * [backup-simplify]: Simplify z into z 6.880 * [taylor]: Taking taylor expansion of y in y 6.880 * [backup-simplify]: Simplify 0 into 0 6.880 * [backup-simplify]: Simplify 1 into 1 6.880 * [backup-simplify]: Simplify (* z 0) into 0 6.881 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 6.881 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.881 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 6.881 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 6.881 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.881 * [taylor]: Taking taylor expansion of z in z 6.881 * [backup-simplify]: Simplify 0 into 0 6.881 * [backup-simplify]: Simplify 1 into 1 6.881 * [backup-simplify]: Simplify (/ 1 1) into 1 6.881 * [backup-simplify]: Simplify (- 1) into -1 6.881 * [backup-simplify]: Simplify -1 into -1 6.882 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.882 * [taylor]: Taking taylor expansion of 0 in z 6.882 * [backup-simplify]: Simplify 0 into 0 6.882 * [backup-simplify]: Simplify 1 into 1 6.883 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 6.883 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.883 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 6.883 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0 6.883 * [backup-simplify]: Simplify (- 0) into 0 6.883 * [backup-simplify]: Simplify (+ 0 0) into 0 6.883 * [taylor]: Taking taylor expansion of 0 in y 6.883 * [backup-simplify]: Simplify 0 into 0 6.884 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 6.884 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 6.884 * [backup-simplify]: Simplify (- 0) into 0 6.884 * [taylor]: Taking taylor expansion of 0 in z 6.884 * [backup-simplify]: Simplify 0 into 0 6.885 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.885 * [taylor]: Taking taylor expansion of 0 in z 6.885 * [backup-simplify]: Simplify 0 into 0 6.885 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.885 * [backup-simplify]: Simplify (- 0) into 0 6.885 * [backup-simplify]: Simplify 0 into 0 6.885 * [backup-simplify]: Simplify 0 into 0 6.885 * [backup-simplify]: Simplify 0 into 0 6.886 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 6.886 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.887 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0 6.887 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0 6.887 * [backup-simplify]: Simplify (- 0) into 0 6.887 * [backup-simplify]: Simplify (+ 0 0) into 0 6.887 * [taylor]: Taking taylor expansion of 0 in y 6.887 * [backup-simplify]: Simplify 0 into 0 6.887 * [taylor]: Taking taylor expansion of 0 in z 6.887 * [backup-simplify]: Simplify 0 into 0 6.888 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.888 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 6.888 * [backup-simplify]: Simplify (- 0) into 0 6.888 * [taylor]: Taking taylor expansion of 0 in z 6.888 * [backup-simplify]: Simplify 0 into 0 6.889 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.889 * [taylor]: Taking taylor expansion of 0 in z 6.889 * [backup-simplify]: Simplify 0 into 0 6.889 * [backup-simplify]: Simplify 0 into 0 6.889 * [backup-simplify]: Simplify 0 into 0 6.889 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.890 * [backup-simplify]: Simplify (- 0) into 0 6.890 * [backup-simplify]: Simplify 0 into 0 6.890 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1)))) into (- (* x y) (* z y)) 6.890 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 6.890 * [backup-simplify]: Simplify (- (* x y) (* y z)) into (- (* x y) (* z y)) 6.890 * [approximate]: Taking taylor expansion of (- (* x y) (* z y)) in (x y z) around 0 6.890 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in z 6.890 * [taylor]: Taking taylor expansion of (* x y) in z 6.890 * [taylor]: Taking taylor expansion of x in z 6.890 * [backup-simplify]: Simplify x into x 6.890 * [taylor]: Taking taylor expansion of y in z 6.890 * [backup-simplify]: Simplify y into y 6.890 * [taylor]: Taking taylor expansion of (* z y) in z 6.890 * [taylor]: Taking taylor expansion of z in z 6.890 * [backup-simplify]: Simplify 0 into 0 6.890 * [backup-simplify]: Simplify 1 into 1 6.890 * [taylor]: Taking taylor expansion of y in z 6.890 * [backup-simplify]: Simplify y into y 6.890 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y 6.890 * [taylor]: Taking taylor expansion of (* x y) in y 6.890 * [taylor]: Taking taylor expansion of x in y 6.890 * [backup-simplify]: Simplify x into x 6.890 * [taylor]: Taking taylor expansion of y in y 6.890 * [backup-simplify]: Simplify 0 into 0 6.890 * [backup-simplify]: Simplify 1 into 1 6.890 * [taylor]: Taking taylor expansion of (* z y) in y 6.890 * [taylor]: Taking taylor expansion of z in y 6.890 * [backup-simplify]: Simplify z into z 6.890 * [taylor]: Taking taylor expansion of y in y 6.891 * [backup-simplify]: Simplify 0 into 0 6.891 * [backup-simplify]: Simplify 1 into 1 6.891 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x 6.891 * [taylor]: Taking taylor expansion of (* x y) in x 6.891 * [taylor]: Taking taylor expansion of x in x 6.891 * [backup-simplify]: Simplify 0 into 0 6.891 * [backup-simplify]: Simplify 1 into 1 6.891 * [taylor]: Taking taylor expansion of y in x 6.891 * [backup-simplify]: Simplify y into y 6.891 * [taylor]: Taking taylor expansion of (* z y) in x 6.891 * [taylor]: Taking taylor expansion of z in x 6.891 * [backup-simplify]: Simplify z into z 6.891 * [taylor]: Taking taylor expansion of y in x 6.891 * [backup-simplify]: Simplify y into y 6.891 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x 6.891 * [taylor]: Taking taylor expansion of (* x y) in x 6.891 * [taylor]: Taking taylor expansion of x in x 6.891 * [backup-simplify]: Simplify 0 into 0 6.891 * [backup-simplify]: Simplify 1 into 1 6.891 * [taylor]: Taking taylor expansion of y in x 6.891 * [backup-simplify]: Simplify y into y 6.891 * [taylor]: Taking taylor expansion of (* z y) in x 6.891 * [taylor]: Taking taylor expansion of z in x 6.891 * [backup-simplify]: Simplify z into z 6.891 * [taylor]: Taking taylor expansion of y in x 6.891 * [backup-simplify]: Simplify y into y 6.891 * [backup-simplify]: Simplify (* 0 y) into 0 6.891 * [backup-simplify]: Simplify (* z y) into (* z y) 6.891 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y)) 6.891 * [backup-simplify]: Simplify (+ 0 (- (* z y))) into (- (* z y)) 6.891 * [taylor]: Taking taylor expansion of (- (* z y)) in y 6.891 * [taylor]: Taking taylor expansion of (* z y) in y 6.891 * [taylor]: Taking taylor expansion of z in y 6.891 * [backup-simplify]: Simplify z into z 6.891 * [taylor]: Taking taylor expansion of y in y 6.891 * [backup-simplify]: Simplify 0 into 0 6.891 * [backup-simplify]: Simplify 1 into 1 6.891 * [backup-simplify]: Simplify (* z 0) into 0 6.891 * [backup-simplify]: Simplify (- 0) into 0 6.891 * [taylor]: Taking taylor expansion of 0 in z 6.891 * [backup-simplify]: Simplify 0 into 0 6.892 * [backup-simplify]: Simplify 0 into 0 6.892 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.892 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 6.892 * [backup-simplify]: Simplify (- 0) into 0 6.892 * [backup-simplify]: Simplify (+ y 0) into y 6.892 * [taylor]: Taking taylor expansion of y in y 6.892 * [backup-simplify]: Simplify 0 into 0 6.892 * [backup-simplify]: Simplify 1 into 1 6.892 * [taylor]: Taking taylor expansion of 0 in z 6.892 * [backup-simplify]: Simplify 0 into 0 6.892 * [backup-simplify]: Simplify 0 into 0 6.892 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 6.893 * [backup-simplify]: Simplify (- z) into (- z) 6.893 * [taylor]: Taking taylor expansion of (- z) in z 6.893 * [taylor]: Taking taylor expansion of z in z 6.893 * [backup-simplify]: Simplify 0 into 0 6.893 * [backup-simplify]: Simplify 1 into 1 6.893 * [backup-simplify]: Simplify (- 0) into 0 6.893 * [backup-simplify]: Simplify 0 into 0 6.893 * [backup-simplify]: Simplify 0 into 0 6.893 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 6.894 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0 6.894 * [backup-simplify]: Simplify (- 0) into 0 6.894 * [backup-simplify]: Simplify (+ 0 0) into 0 6.894 * [taylor]: Taking taylor expansion of 0 in y 6.894 * [backup-simplify]: Simplify 0 into 0 6.894 * [taylor]: Taking taylor expansion of 0 in z 6.894 * [backup-simplify]: Simplify 0 into 0 6.894 * [backup-simplify]: Simplify 0 into 0 6.894 * [taylor]: Taking taylor expansion of 1 in z 6.894 * [backup-simplify]: Simplify 1 into 1 6.894 * [backup-simplify]: Simplify 1 into 1 6.895 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 6.895 * [backup-simplify]: Simplify (- 0) into 0 6.895 * [taylor]: Taking taylor expansion of 0 in z 6.895 * [backup-simplify]: Simplify 0 into 0 6.895 * [backup-simplify]: Simplify 0 into 0 6.895 * [backup-simplify]: Simplify 0 into 0 6.895 * [backup-simplify]: Simplify (- 1) into -1 6.895 * [backup-simplify]: Simplify -1 into -1 6.895 * [backup-simplify]: Simplify 0 into 0 6.896 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 6.897 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 6.897 * [backup-simplify]: Simplify (- 0) into 0 6.898 * [backup-simplify]: Simplify (+ 0 0) into 0 6.898 * [taylor]: Taking taylor expansion of 0 in y 6.898 * [backup-simplify]: Simplify 0 into 0 6.898 * [taylor]: Taking taylor expansion of 0 in z 6.898 * [backup-simplify]: Simplify 0 into 0 6.898 * [backup-simplify]: Simplify 0 into 0 6.898 * [taylor]: Taking taylor expansion of 0 in z 6.898 * [backup-simplify]: Simplify 0 into 0 6.898 * [backup-simplify]: Simplify 0 into 0 6.898 * [taylor]: Taking taylor expansion of 0 in z 6.898 * [backup-simplify]: Simplify 0 into 0 6.898 * [backup-simplify]: Simplify 0 into 0 6.899 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.899 * [backup-simplify]: Simplify (- 0) into 0 6.899 * [taylor]: Taking taylor expansion of 0 in z 6.899 * [backup-simplify]: Simplify 0 into 0 6.899 * [backup-simplify]: Simplify 0 into 0 6.899 * [backup-simplify]: Simplify 0 into 0 6.900 * [backup-simplify]: Simplify (+ (* -1 (* z (* y 1))) (* 1 (* 1 (* y x)))) into (- (* x y) (* z y)) 6.900 * [backup-simplify]: Simplify (- (* (/ 1 x) (/ 1 y)) (* (/ 1 y) (/ 1 z))) into (- (/ 1 (* x y)) (/ 1 (* z y))) 6.900 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0 6.900 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z 6.900 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 6.900 * [taylor]: Taking taylor expansion of (* x y) in z 6.900 * [taylor]: Taking taylor expansion of x in z 6.900 * [backup-simplify]: Simplify x into x 6.900 * [taylor]: Taking taylor expansion of y in z 6.900 * [backup-simplify]: Simplify y into y 6.900 * [backup-simplify]: Simplify (* x y) into (* x y) 6.900 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 6.900 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 6.900 * [taylor]: Taking taylor expansion of (* z y) in z 6.900 * [taylor]: Taking taylor expansion of z in z 6.900 * [backup-simplify]: Simplify 0 into 0 6.900 * [backup-simplify]: Simplify 1 into 1 6.900 * [taylor]: Taking taylor expansion of y in z 6.901 * [backup-simplify]: Simplify y into y 6.901 * [backup-simplify]: Simplify (* 0 y) into 0 6.901 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.901 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.901 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 6.901 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 6.901 * [taylor]: Taking taylor expansion of (* x y) in y 6.901 * [taylor]: Taking taylor expansion of x in y 6.901 * [backup-simplify]: Simplify x into x 6.901 * [taylor]: Taking taylor expansion of y in y 6.901 * [backup-simplify]: Simplify 0 into 0 6.901 * [backup-simplify]: Simplify 1 into 1 6.901 * [backup-simplify]: Simplify (* x 0) into 0 6.902 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 6.902 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.902 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 6.902 * [taylor]: Taking taylor expansion of (* z y) in y 6.902 * [taylor]: Taking taylor expansion of z in y 6.902 * [backup-simplify]: Simplify z into z 6.902 * [taylor]: Taking taylor expansion of y in y 6.902 * [backup-simplify]: Simplify 0 into 0 6.902 * [backup-simplify]: Simplify 1 into 1 6.902 * [backup-simplify]: Simplify (* z 0) into 0 6.902 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 6.903 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.903 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 6.903 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 6.903 * [taylor]: Taking taylor expansion of (* x y) in x 6.903 * [taylor]: Taking taylor expansion of x in x 6.903 * [backup-simplify]: Simplify 0 into 0 6.903 * [backup-simplify]: Simplify 1 into 1 6.903 * [taylor]: Taking taylor expansion of y in x 6.903 * [backup-simplify]: Simplify y into y 6.903 * [backup-simplify]: Simplify (* 0 y) into 0 6.903 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.903 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.903 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 6.903 * [taylor]: Taking taylor expansion of (* z y) in x 6.903 * [taylor]: Taking taylor expansion of z in x 6.903 * [backup-simplify]: Simplify z into z 6.903 * [taylor]: Taking taylor expansion of y in x 6.903 * [backup-simplify]: Simplify y into y 6.903 * [backup-simplify]: Simplify (* z y) into (* z y) 6.904 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 6.904 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 6.904 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 6.904 * [taylor]: Taking taylor expansion of (* x y) in x 6.904 * [taylor]: Taking taylor expansion of x in x 6.904 * [backup-simplify]: Simplify 0 into 0 6.904 * [backup-simplify]: Simplify 1 into 1 6.904 * [taylor]: Taking taylor expansion of y in x 6.904 * [backup-simplify]: Simplify y into y 6.904 * [backup-simplify]: Simplify (* 0 y) into 0 6.904 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.904 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.904 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 6.904 * [taylor]: Taking taylor expansion of (* z y) in x 6.904 * [taylor]: Taking taylor expansion of z in x 6.904 * [backup-simplify]: Simplify z into z 6.904 * [taylor]: Taking taylor expansion of y in x 6.905 * [backup-simplify]: Simplify y into y 6.905 * [backup-simplify]: Simplify (* z y) into (* z y) 6.905 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 6.905 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 6.905 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.905 * [taylor]: Taking taylor expansion of y in y 6.905 * [backup-simplify]: Simplify 0 into 0 6.905 * [backup-simplify]: Simplify 1 into 1 6.905 * [backup-simplify]: Simplify (/ 1 1) into 1 6.905 * [taylor]: Taking taylor expansion of 1 in z 6.905 * [backup-simplify]: Simplify 1 into 1 6.906 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 6.906 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.907 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y))) 6.907 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* z y)))) into (- (/ 1 (* z y))) 6.907 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 6.907 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 6.907 * [taylor]: Taking taylor expansion of (* z y) in y 6.907 * [taylor]: Taking taylor expansion of z in y 6.907 * [backup-simplify]: Simplify z into z 6.907 * [taylor]: Taking taylor expansion of y in y 6.907 * [backup-simplify]: Simplify 0 into 0 6.907 * [backup-simplify]: Simplify 1 into 1 6.907 * [backup-simplify]: Simplify (* z 0) into 0 6.907 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 6.907 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.908 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 6.908 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 6.908 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.908 * [taylor]: Taking taylor expansion of z in z 6.908 * [backup-simplify]: Simplify 0 into 0 6.908 * [backup-simplify]: Simplify 1 into 1 6.908 * [backup-simplify]: Simplify (/ 1 1) into 1 6.908 * [backup-simplify]: Simplify (- 1) into -1 6.908 * [backup-simplify]: Simplify -1 into -1 6.909 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.909 * [taylor]: Taking taylor expansion of 0 in z 6.909 * [backup-simplify]: Simplify 0 into 0 6.909 * [backup-simplify]: Simplify 1 into 1 6.911 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 6.911 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.911 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 6.911 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0 6.911 * [backup-simplify]: Simplify (- 0) into 0 6.912 * [backup-simplify]: Simplify (+ 0 0) into 0 6.912 * [taylor]: Taking taylor expansion of 0 in y 6.912 * [backup-simplify]: Simplify 0 into 0 6.912 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 6.913 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 6.913 * [backup-simplify]: Simplify (- 0) into 0 6.913 * [taylor]: Taking taylor expansion of 0 in z 6.913 * [backup-simplify]: Simplify 0 into 0 6.914 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.914 * [taylor]: Taking taylor expansion of 0 in z 6.914 * [backup-simplify]: Simplify 0 into 0 6.915 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.915 * [backup-simplify]: Simplify (- 0) into 0 6.915 * [backup-simplify]: Simplify 0 into 0 6.915 * [backup-simplify]: Simplify 0 into 0 6.915 * [backup-simplify]: Simplify 0 into 0 6.917 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 6.917 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.917 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0 6.918 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0 6.918 * [backup-simplify]: Simplify (- 0) into 0 6.918 * [backup-simplify]: Simplify (+ 0 0) into 0 6.919 * [taylor]: Taking taylor expansion of 0 in y 6.919 * [backup-simplify]: Simplify 0 into 0 6.919 * [taylor]: Taking taylor expansion of 0 in z 6.919 * [backup-simplify]: Simplify 0 into 0 6.919 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.920 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 6.920 * [backup-simplify]: Simplify (- 0) into 0 6.920 * [taylor]: Taking taylor expansion of 0 in z 6.920 * [backup-simplify]: Simplify 0 into 0 6.921 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.921 * [taylor]: Taking taylor expansion of 0 in z 6.921 * [backup-simplify]: Simplify 0 into 0 6.921 * [backup-simplify]: Simplify 0 into 0 6.921 * [backup-simplify]: Simplify 0 into 0 6.923 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.923 * [backup-simplify]: Simplify (- 0) into 0 6.923 * [backup-simplify]: Simplify 0 into 0 6.924 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1)))) into (- (* x y) (* z y)) 6.924 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- y)) (/ 1 (- z)))) into (- (/ 1 (* x y)) (/ 1 (* z y))) 6.924 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0 6.924 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z 6.924 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 6.924 * [taylor]: Taking taylor expansion of (* x y) in z 6.924 * [taylor]: Taking taylor expansion of x in z 6.924 * [backup-simplify]: Simplify x into x 6.924 * [taylor]: Taking taylor expansion of y in z 6.924 * [backup-simplify]: Simplify y into y 6.924 * [backup-simplify]: Simplify (* x y) into (* x y) 6.924 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 6.924 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 6.924 * [taylor]: Taking taylor expansion of (* z y) in z 6.924 * [taylor]: Taking taylor expansion of z in z 6.924 * [backup-simplify]: Simplify 0 into 0 6.924 * [backup-simplify]: Simplify 1 into 1 6.924 * [taylor]: Taking taylor expansion of y in z 6.924 * [backup-simplify]: Simplify y into y 6.925 * [backup-simplify]: Simplify (* 0 y) into 0 6.925 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.925 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.925 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 6.925 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 6.925 * [taylor]: Taking taylor expansion of (* x y) in y 6.925 * [taylor]: Taking taylor expansion of x in y 6.925 * [backup-simplify]: Simplify x into x 6.925 * [taylor]: Taking taylor expansion of y in y 6.925 * [backup-simplify]: Simplify 0 into 0 6.925 * [backup-simplify]: Simplify 1 into 1 6.925 * [backup-simplify]: Simplify (* x 0) into 0 6.926 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 6.926 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.926 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 6.926 * [taylor]: Taking taylor expansion of (* z y) in y 6.926 * [taylor]: Taking taylor expansion of z in y 6.926 * [backup-simplify]: Simplify z into z 6.926 * [taylor]: Taking taylor expansion of y in y 6.926 * [backup-simplify]: Simplify 0 into 0 6.926 * [backup-simplify]: Simplify 1 into 1 6.926 * [backup-simplify]: Simplify (* z 0) into 0 6.927 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 6.927 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.927 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 6.927 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 6.927 * [taylor]: Taking taylor expansion of (* x y) in x 6.927 * [taylor]: Taking taylor expansion of x in x 6.927 * [backup-simplify]: Simplify 0 into 0 6.927 * [backup-simplify]: Simplify 1 into 1 6.927 * [taylor]: Taking taylor expansion of y in x 6.927 * [backup-simplify]: Simplify y into y 6.927 * [backup-simplify]: Simplify (* 0 y) into 0 6.928 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.928 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.928 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 6.928 * [taylor]: Taking taylor expansion of (* z y) in x 6.928 * [taylor]: Taking taylor expansion of z in x 6.928 * [backup-simplify]: Simplify z into z 6.928 * [taylor]: Taking taylor expansion of y in x 6.928 * [backup-simplify]: Simplify y into y 6.928 * [backup-simplify]: Simplify (* z y) into (* z y) 6.928 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 6.928 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 6.928 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 6.928 * [taylor]: Taking taylor expansion of (* x y) in x 6.928 * [taylor]: Taking taylor expansion of x in x 6.928 * [backup-simplify]: Simplify 0 into 0 6.928 * [backup-simplify]: Simplify 1 into 1 6.928 * [taylor]: Taking taylor expansion of y in x 6.928 * [backup-simplify]: Simplify y into y 6.928 * [backup-simplify]: Simplify (* 0 y) into 0 6.929 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.929 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.929 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 6.929 * [taylor]: Taking taylor expansion of (* z y) in x 6.929 * [taylor]: Taking taylor expansion of z in x 6.929 * [backup-simplify]: Simplify z into z 6.929 * [taylor]: Taking taylor expansion of y in x 6.929 * [backup-simplify]: Simplify y into y 6.929 * [backup-simplify]: Simplify (* z y) into (* z y) 6.929 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 6.929 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 6.929 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.929 * [taylor]: Taking taylor expansion of y in y 6.929 * [backup-simplify]: Simplify 0 into 0 6.929 * [backup-simplify]: Simplify 1 into 1 6.930 * [backup-simplify]: Simplify (/ 1 1) into 1 6.930 * [taylor]: Taking taylor expansion of 1 in z 6.930 * [backup-simplify]: Simplify 1 into 1 6.931 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 6.931 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.931 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y))) 6.931 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* z y)))) into (- (/ 1 (* z y))) 6.931 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 6.931 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 6.931 * [taylor]: Taking taylor expansion of (* z y) in y 6.931 * [taylor]: Taking taylor expansion of z in y 6.931 * [backup-simplify]: Simplify z into z 6.931 * [taylor]: Taking taylor expansion of y in y 6.931 * [backup-simplify]: Simplify 0 into 0 6.931 * [backup-simplify]: Simplify 1 into 1 6.931 * [backup-simplify]: Simplify (* z 0) into 0 6.932 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 6.932 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.932 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 6.932 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 6.932 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.932 * [taylor]: Taking taylor expansion of z in z 6.932 * [backup-simplify]: Simplify 0 into 0 6.932 * [backup-simplify]: Simplify 1 into 1 6.932 * [backup-simplify]: Simplify (/ 1 1) into 1 6.933 * [backup-simplify]: Simplify (- 1) into -1 6.933 * [backup-simplify]: Simplify -1 into -1 6.933 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.933 * [taylor]: Taking taylor expansion of 0 in z 6.934 * [backup-simplify]: Simplify 0 into 0 6.934 * [backup-simplify]: Simplify 1 into 1 6.935 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 6.935 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.935 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 6.935 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0 6.936 * [backup-simplify]: Simplify (- 0) into 0 6.936 * [backup-simplify]: Simplify (+ 0 0) into 0 6.936 * [taylor]: Taking taylor expansion of 0 in y 6.936 * [backup-simplify]: Simplify 0 into 0 6.937 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 6.937 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 6.937 * [backup-simplify]: Simplify (- 0) into 0 6.937 * [taylor]: Taking taylor expansion of 0 in z 6.937 * [backup-simplify]: Simplify 0 into 0 6.938 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.938 * [taylor]: Taking taylor expansion of 0 in z 6.938 * [backup-simplify]: Simplify 0 into 0 6.939 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.939 * [backup-simplify]: Simplify (- 0) into 0 6.939 * [backup-simplify]: Simplify 0 into 0 6.939 * [backup-simplify]: Simplify 0 into 0 6.939 * [backup-simplify]: Simplify 0 into 0 6.941 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 6.941 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.942 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0 6.942 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0 6.942 * [backup-simplify]: Simplify (- 0) into 0 6.943 * [backup-simplify]: Simplify (+ 0 0) into 0 6.943 * [taylor]: Taking taylor expansion of 0 in y 6.943 * [backup-simplify]: Simplify 0 into 0 6.943 * [taylor]: Taking taylor expansion of 0 in z 6.943 * [backup-simplify]: Simplify 0 into 0 6.944 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.944 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 6.944 * [backup-simplify]: Simplify (- 0) into 0 6.944 * [taylor]: Taking taylor expansion of 0 in z 6.944 * [backup-simplify]: Simplify 0 into 0 6.945 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.945 * [taylor]: Taking taylor expansion of 0 in z 6.945 * [backup-simplify]: Simplify 0 into 0 6.945 * [backup-simplify]: Simplify 0 into 0 6.945 * [backup-simplify]: Simplify 0 into 0 6.946 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.947 * [backup-simplify]: Simplify (- 0) into 0 6.947 * [backup-simplify]: Simplify 0 into 0 6.947 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1)))) into (- (* x y) (* z y)) 6.947 * * * [progress]: simplifying candidates 6.948 * [simplify]: Simplifying: (* (/ (/ (exp (* x y)) (exp (* y z))) (exp (* y y))) (exp (* y y))) (* (/ (exp (- (* x y) (* y z))) (exp (* y y))) (exp (* y y))) (* (exp (- (- (* x y) (* y z)) (* y y))) (exp (* y y))) (log (+ (- (- (* x y) (* y z)) (* y y)) (* y y))) (exp (+ (- (- (* x y) (* y z)) (* y y)) (* y y))) (* (cbrt (+ (- (- (* x y) (* y z)) (* y y)) (* y y))) (cbrt (+ (- (- (* x y) (* y z)) (* y y)) (* y y)))) (cbrt (+ (- (- (* x y) (* y z)) (* y y)) (* y y))) (* (* (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (+ (- (- (* x y) (* y z)) (* y y)) (* y y))) (+ (- (- (* x y) (* y z)) (* y y)) (* y y))) (sqrt (+ (- (- (* x y) (* y z)) (* y y)) (* y y))) (sqrt (+ (- (- (* x y) (* y z)) (* y y)) (* y y))) (+ (pow (- (- (* x y) (* y z)) (* y y)) 3) (pow (* y y) 3)) (+ (* (- (- (* x y) (* y z)) (* y y)) (- (- (* x y) (* y z)) (* y y))) (- (* (* y y) (* y y)) (* (- (- (* x y) (* y z)) (* y y)) (* y y)))) (- (* (- (- (* x y) (* y z)) (* y y)) (- (- (* x y) (* y z)) (* y y))) (* (* y y) (* y y))) (- (- (- (* x y) (* y z)) (* y y)) (* y y)) (+ (- (* y y)) (* y y)) (+ (- (- (* y z)) (* y y)) (* y y)) (+ (- (- (* y z)) (* y y)) (* y y)) (+ (- (* y y)) (* y y)) (- (* y y) (* y y)) (/ (exp (* x y)) (exp (* y z))) (log (- (* x y) (* y z))) (exp (- (* x y) (* y z))) (* (cbrt (- (* x y) (* y z))) (cbrt (- (* x y) (* y z)))) (cbrt (- (* x y) (* y z))) (* (* (- (* x y) (* y z)) (- (* x y) (* y z))) (- (* x y) (* y z))) (sqrt (- (* x y) (* y z))) (sqrt (- (* x y) (* y z))) (- (pow (* x y) 3) (pow (* y z) 3)) (+ (* (* x y) (* x y)) (+ (* (* y z) (* y z)) (* (* x y) (* y z)))) (- (* y z)) (- (* (* x y) (* x y)) (* (* y z) (* y z))) (+ (* x y) (* y z)) (- (* y z)) (- (* x y) (* z y)) (- (* x y) (* z y)) (- (* x y) (* z y)) (- (* x y) (* z y)) (- (* x y) (* z y)) (- (* x y) (* z y)) 6.950 * * [simplify]: Extracting # 0 : cost 0 6.950 * * [simplify]: Extracting # 1 : cost 0 6.950 * * [simplify]: Extracting # 2 : cost 0 6.950 * * [simplify]: Extracting # 3 : cost 0 6.951 * * [simplify]: Extracting # 4 : cost 0 6.951 * * [simplify]: Extracting # 5 : cost 0 6.951 * * [simplify]: Extracting # 6 : cost 0 6.951 * * [simplify]: Extracting # 7 : cost 0 6.951 * * [simplify]: iteration 0 : 62 enodes (cost 568 ) 6.985 * * [simplify]: Extracting # 0 : cost 0 6.985 * * [simplify]: Extracting # 1 : cost 0 6.986 * * [simplify]: Extracting # 2 : cost 0 6.986 * * [simplify]: Extracting # 3 : cost 0 6.986 * * [simplify]: Extracting # 4 : cost 0 6.987 * * [simplify]: iteration 1 : 189 enodes (cost 361 ) 7.071 * * [simplify]: Extracting # 0 : cost 0 7.072 * * [simplify]: Extracting # 1 : cost 0 7.074 * * [simplify]: Extracting # 2 : cost 0 7.075 * * [simplify]: Extracting # 3 : cost 0 7.077 * * [simplify]: Extracting # 4 : cost 0 7.078 * * [simplify]: Extracting # 5 : cost 0 7.080 * * [simplify]: iteration 2 : 664 enodes (cost 289 ) 7.855 * * [simplify]: Extracting # 0 : cost 0 7.861 * * [simplify]: Extracting # 1 : cost 0 7.866 * * [simplify]: Extracting # 2 : cost 0 7.875 * * [simplify]: Extracting # 3 : cost 0 7.884 * * [simplify]: Extracting # 4 : cost 0 7.894 * * [simplify]: Extracting # 5 : cost 0 7.905 * * [simplify]: iteration 3 : 4689 enodes (cost 273 ) 10.465 * * [simplify]: Extracting # 0 : cost 0 10.470 * * [simplify]: Extracting # 1 : cost 0 10.483 * * [simplify]: Extracting # 2 : cost 0 10.493 * * [simplify]: Extracting # 3 : cost 0 10.501 * * [simplify]: iteration done: 5001 enodes (cost 273 ) 10.502 * [simplify]: Simplified to: (exp (* (- x z) y)) (exp (* (- x z) y)) (exp (* (- x z) y)) (log (* (- x z) y)) (exp (* (- x z) y)) (* (cbrt (* y (- x z))) (cbrt (* y (- x z)))) (cbrt (* (- x z) y)) (pow (* (- x z) y) 3) (sqrt (* y (- x z))) (sqrt (* y (- x z))) (+ (pow y 6) (pow (* y (- (- x z) y)) 3)) (- (pow y 4) (* (* y (- (- x z) y)) (* y (- y (- (- x z) y))))) (* (* (- x z) y) (* y (- (- (- x z) y) y))) (* y (- (- (- x z) y) y)) 0 (* (- z) y) (* (- z) y) 0 0 (exp (* (- x z) y)) (log (* (- x z) y)) (exp (* (- x z) y)) (* (cbrt (* y (- x z))) (cbrt (* y (- x z)))) (cbrt (* (- x z) y)) (pow (* (- x z) y) 3) (sqrt (* y (- x z))) (sqrt (* y (- x z))) (- (pow (* x y) 3) (pow (* y z) 3)) (* y (+ (* z (* y (+ x z))) (* (* x x) y))) (* (- z) y) (* (* y (+ x z)) (* (- x z) y)) (* y (+ x z)) (* (- z) y) (* (- x z) y) (* (- x z) y) (* (- x z) y) (* (- x z) y) (* (- x z) y) (* (- x z) y) 10.502 * * * [progress]: adding candidates to table 10.582 * * [progress]: iteration 3 / 4 10.582 * * * [progress]: picking best candidate 10.585 * * * * [pick]: Picked # 10.585 * * * [progress]: localizing error 10.592 * * * [progress]: generating rewritten candidates 10.592 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 10.600 * * * [progress]: generating series expansions 10.600 * * * * [progress]: [ 1 / 1 ] generating series at (2) 10.601 * [backup-simplify]: Simplify (+ (* x y) (* (- z) y)) into (- (* x y) (* z y)) 10.601 * [approximate]: Taking taylor expansion of (- (* x y) (* z y)) in (x y z) around 0 10.601 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in z 10.601 * [taylor]: Taking taylor expansion of (* x y) in z 10.601 * [taylor]: Taking taylor expansion of x in z 10.601 * [backup-simplify]: Simplify x into x 10.601 * [taylor]: Taking taylor expansion of y in z 10.601 * [backup-simplify]: Simplify y into y 10.601 * [taylor]: Taking taylor expansion of (* z y) in z 10.601 * [taylor]: Taking taylor expansion of z in z 10.601 * [backup-simplify]: Simplify 0 into 0 10.601 * [backup-simplify]: Simplify 1 into 1 10.601 * [taylor]: Taking taylor expansion of y in z 10.601 * [backup-simplify]: Simplify y into y 10.601 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y 10.601 * [taylor]: Taking taylor expansion of (* x y) in y 10.601 * [taylor]: Taking taylor expansion of x in y 10.601 * [backup-simplify]: Simplify x into x 10.601 * [taylor]: Taking taylor expansion of y in y 10.601 * [backup-simplify]: Simplify 0 into 0 10.601 * [backup-simplify]: Simplify 1 into 1 10.601 * [taylor]: Taking taylor expansion of (* z y) in y 10.601 * [taylor]: Taking taylor expansion of z in y 10.601 * [backup-simplify]: Simplify z into z 10.601 * [taylor]: Taking taylor expansion of y in y 10.601 * [backup-simplify]: Simplify 0 into 0 10.601 * [backup-simplify]: Simplify 1 into 1 10.601 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x 10.601 * [taylor]: Taking taylor expansion of (* x y) in x 10.601 * [taylor]: Taking taylor expansion of x in x 10.601 * [backup-simplify]: Simplify 0 into 0 10.601 * [backup-simplify]: Simplify 1 into 1 10.601 * [taylor]: Taking taylor expansion of y in x 10.601 * [backup-simplify]: Simplify y into y 10.601 * [taylor]: Taking taylor expansion of (* z y) in x 10.601 * [taylor]: Taking taylor expansion of z in x 10.601 * [backup-simplify]: Simplify z into z 10.601 * [taylor]: Taking taylor expansion of y in x 10.601 * [backup-simplify]: Simplify y into y 10.601 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x 10.601 * [taylor]: Taking taylor expansion of (* x y) in x 10.601 * [taylor]: Taking taylor expansion of x in x 10.601 * [backup-simplify]: Simplify 0 into 0 10.601 * [backup-simplify]: Simplify 1 into 1 10.601 * [taylor]: Taking taylor expansion of y in x 10.601 * [backup-simplify]: Simplify y into y 10.601 * [taylor]: Taking taylor expansion of (* z y) in x 10.601 * [taylor]: Taking taylor expansion of z in x 10.601 * [backup-simplify]: Simplify z into z 10.601 * [taylor]: Taking taylor expansion of y in x 10.601 * [backup-simplify]: Simplify y into y 10.601 * [backup-simplify]: Simplify (* 0 y) into 0 10.601 * [backup-simplify]: Simplify (* z y) into (* z y) 10.601 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y)) 10.602 * [backup-simplify]: Simplify (+ 0 (- (* z y))) into (- (* z y)) 10.602 * [taylor]: Taking taylor expansion of (- (* z y)) in y 10.602 * [taylor]: Taking taylor expansion of (* z y) in y 10.602 * [taylor]: Taking taylor expansion of z in y 10.602 * [backup-simplify]: Simplify z into z 10.602 * [taylor]: Taking taylor expansion of y in y 10.602 * [backup-simplify]: Simplify 0 into 0 10.602 * [backup-simplify]: Simplify 1 into 1 10.602 * [backup-simplify]: Simplify (* z 0) into 0 10.602 * [backup-simplify]: Simplify (- 0) into 0 10.602 * [taylor]: Taking taylor expansion of 0 in z 10.602 * [backup-simplify]: Simplify 0 into 0 10.602 * [backup-simplify]: Simplify 0 into 0 10.602 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.602 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 10.603 * [backup-simplify]: Simplify (- 0) into 0 10.603 * [backup-simplify]: Simplify (+ y 0) into y 10.603 * [taylor]: Taking taylor expansion of y in y 10.603 * [backup-simplify]: Simplify 0 into 0 10.603 * [backup-simplify]: Simplify 1 into 1 10.603 * [taylor]: Taking taylor expansion of 0 in z 10.603 * [backup-simplify]: Simplify 0 into 0 10.603 * [backup-simplify]: Simplify 0 into 0 10.603 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 10.603 * [backup-simplify]: Simplify (- z) into (- z) 10.603 * [taylor]: Taking taylor expansion of (- z) in z 10.603 * [taylor]: Taking taylor expansion of z in z 10.603 * [backup-simplify]: Simplify 0 into 0 10.603 * [backup-simplify]: Simplify 1 into 1 10.603 * [backup-simplify]: Simplify (- 0) into 0 10.603 * [backup-simplify]: Simplify 0 into 0 10.604 * [backup-simplify]: Simplify 0 into 0 10.604 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 10.604 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0 10.605 * [backup-simplify]: Simplify (- 0) into 0 10.605 * [backup-simplify]: Simplify (+ 0 0) into 0 10.605 * [taylor]: Taking taylor expansion of 0 in y 10.605 * [backup-simplify]: Simplify 0 into 0 10.605 * [taylor]: Taking taylor expansion of 0 in z 10.605 * [backup-simplify]: Simplify 0 into 0 10.605 * [backup-simplify]: Simplify 0 into 0 10.605 * [taylor]: Taking taylor expansion of 1 in z 10.605 * [backup-simplify]: Simplify 1 into 1 10.605 * [backup-simplify]: Simplify 1 into 1 10.605 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 10.606 * [backup-simplify]: Simplify (- 0) into 0 10.606 * [taylor]: Taking taylor expansion of 0 in z 10.606 * [backup-simplify]: Simplify 0 into 0 10.606 * [backup-simplify]: Simplify 0 into 0 10.606 * [backup-simplify]: Simplify 0 into 0 10.606 * [backup-simplify]: Simplify (- 1) into -1 10.606 * [backup-simplify]: Simplify -1 into -1 10.606 * [backup-simplify]: Simplify 0 into 0 10.607 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 10.607 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 10.607 * [backup-simplify]: Simplify (- 0) into 0 10.608 * [backup-simplify]: Simplify (+ 0 0) into 0 10.608 * [taylor]: Taking taylor expansion of 0 in y 10.608 * [backup-simplify]: Simplify 0 into 0 10.608 * [taylor]: Taking taylor expansion of 0 in z 10.608 * [backup-simplify]: Simplify 0 into 0 10.608 * [backup-simplify]: Simplify 0 into 0 10.608 * [taylor]: Taking taylor expansion of 0 in z 10.608 * [backup-simplify]: Simplify 0 into 0 10.608 * [backup-simplify]: Simplify 0 into 0 10.608 * [taylor]: Taking taylor expansion of 0 in z 10.608 * [backup-simplify]: Simplify 0 into 0 10.608 * [backup-simplify]: Simplify 0 into 0 10.608 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 10.608 * [backup-simplify]: Simplify (- 0) into 0 10.608 * [taylor]: Taking taylor expansion of 0 in z 10.609 * [backup-simplify]: Simplify 0 into 0 10.609 * [backup-simplify]: Simplify 0 into 0 10.609 * [backup-simplify]: Simplify 0 into 0 10.609 * [backup-simplify]: Simplify (+ (* -1 (* z (* y 1))) (* 1 (* 1 (* y x)))) into (- (* x y) (* z y)) 10.609 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 y)) (* (- (/ 1 z)) (/ 1 y))) into (- (/ 1 (* x y)) (/ 1 (* z y))) 10.609 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0 10.609 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z 10.609 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 10.609 * [taylor]: Taking taylor expansion of (* x y) in z 10.609 * [taylor]: Taking taylor expansion of x in z 10.609 * [backup-simplify]: Simplify x into x 10.609 * [taylor]: Taking taylor expansion of y in z 10.609 * [backup-simplify]: Simplify y into y 10.609 * [backup-simplify]: Simplify (* x y) into (* x y) 10.609 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 10.609 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 10.609 * [taylor]: Taking taylor expansion of (* z y) in z 10.609 * [taylor]: Taking taylor expansion of z in z 10.609 * [backup-simplify]: Simplify 0 into 0 10.609 * [backup-simplify]: Simplify 1 into 1 10.609 * [taylor]: Taking taylor expansion of y in z 10.609 * [backup-simplify]: Simplify y into y 10.609 * [backup-simplify]: Simplify (* 0 y) into 0 10.609 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.610 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.610 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 10.610 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 10.610 * [taylor]: Taking taylor expansion of (* x y) in y 10.610 * [taylor]: Taking taylor expansion of x in y 10.610 * [backup-simplify]: Simplify x into x 10.610 * [taylor]: Taking taylor expansion of y in y 10.610 * [backup-simplify]: Simplify 0 into 0 10.610 * [backup-simplify]: Simplify 1 into 1 10.610 * [backup-simplify]: Simplify (* x 0) into 0 10.610 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 10.610 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.610 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 10.610 * [taylor]: Taking taylor expansion of (* z y) in y 10.610 * [taylor]: Taking taylor expansion of z in y 10.610 * [backup-simplify]: Simplify z into z 10.610 * [taylor]: Taking taylor expansion of y in y 10.610 * [backup-simplify]: Simplify 0 into 0 10.610 * [backup-simplify]: Simplify 1 into 1 10.610 * [backup-simplify]: Simplify (* z 0) into 0 10.610 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 10.610 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.610 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 10.610 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 10.610 * [taylor]: Taking taylor expansion of (* x y) in x 10.611 * [taylor]: Taking taylor expansion of x in x 10.611 * [backup-simplify]: Simplify 0 into 0 10.611 * [backup-simplify]: Simplify 1 into 1 10.611 * [taylor]: Taking taylor expansion of y in x 10.611 * [backup-simplify]: Simplify y into y 10.611 * [backup-simplify]: Simplify (* 0 y) into 0 10.611 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.611 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.611 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 10.611 * [taylor]: Taking taylor expansion of (* z y) in x 10.611 * [taylor]: Taking taylor expansion of z in x 10.611 * [backup-simplify]: Simplify z into z 10.611 * [taylor]: Taking taylor expansion of y in x 10.611 * [backup-simplify]: Simplify y into y 10.611 * [backup-simplify]: Simplify (* z y) into (* z y) 10.611 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 10.611 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 10.611 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 10.611 * [taylor]: Taking taylor expansion of (* x y) in x 10.611 * [taylor]: Taking taylor expansion of x in x 10.611 * [backup-simplify]: Simplify 0 into 0 10.611 * [backup-simplify]: Simplify 1 into 1 10.611 * [taylor]: Taking taylor expansion of y in x 10.611 * [backup-simplify]: Simplify y into y 10.611 * [backup-simplify]: Simplify (* 0 y) into 0 10.611 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.612 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.612 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 10.612 * [taylor]: Taking taylor expansion of (* z y) in x 10.612 * [taylor]: Taking taylor expansion of z in x 10.612 * [backup-simplify]: Simplify z into z 10.612 * [taylor]: Taking taylor expansion of y in x 10.612 * [backup-simplify]: Simplify y into y 10.612 * [backup-simplify]: Simplify (* z y) into (* z y) 10.612 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 10.612 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 10.612 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.612 * [taylor]: Taking taylor expansion of y in y 10.612 * [backup-simplify]: Simplify 0 into 0 10.612 * [backup-simplify]: Simplify 1 into 1 10.612 * [backup-simplify]: Simplify (/ 1 1) into 1 10.612 * [taylor]: Taking taylor expansion of 1 in z 10.612 * [backup-simplify]: Simplify 1 into 1 10.613 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 10.613 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.613 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y))) 10.613 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* z y)))) into (- (/ 1 (* z y))) 10.614 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 10.614 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 10.614 * [taylor]: Taking taylor expansion of (* z y) in y 10.614 * [taylor]: Taking taylor expansion of z in y 10.614 * [backup-simplify]: Simplify z into z 10.614 * [taylor]: Taking taylor expansion of y in y 10.614 * [backup-simplify]: Simplify 0 into 0 10.614 * [backup-simplify]: Simplify 1 into 1 10.614 * [backup-simplify]: Simplify (* z 0) into 0 10.614 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 10.614 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.614 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 10.614 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.614 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.614 * [taylor]: Taking taylor expansion of z in z 10.614 * [backup-simplify]: Simplify 0 into 0 10.614 * [backup-simplify]: Simplify 1 into 1 10.615 * [backup-simplify]: Simplify (/ 1 1) into 1 10.615 * [backup-simplify]: Simplify (- 1) into -1 10.615 * [backup-simplify]: Simplify -1 into -1 10.616 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.616 * [taylor]: Taking taylor expansion of 0 in z 10.616 * [backup-simplify]: Simplify 0 into 0 10.616 * [backup-simplify]: Simplify 1 into 1 10.617 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 10.617 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.617 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 10.617 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0 10.618 * [backup-simplify]: Simplify (- 0) into 0 10.618 * [backup-simplify]: Simplify (+ 0 0) into 0 10.618 * [taylor]: Taking taylor expansion of 0 in y 10.618 * [backup-simplify]: Simplify 0 into 0 10.619 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 10.619 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 10.619 * [backup-simplify]: Simplify (- 0) into 0 10.619 * [taylor]: Taking taylor expansion of 0 in z 10.619 * [backup-simplify]: Simplify 0 into 0 10.620 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.620 * [taylor]: Taking taylor expansion of 0 in z 10.620 * [backup-simplify]: Simplify 0 into 0 10.621 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.621 * [backup-simplify]: Simplify (- 0) into 0 10.621 * [backup-simplify]: Simplify 0 into 0 10.621 * [backup-simplify]: Simplify 0 into 0 10.621 * [backup-simplify]: Simplify 0 into 0 10.623 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 10.623 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.624 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0 10.624 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0 10.624 * [backup-simplify]: Simplify (- 0) into 0 10.625 * [backup-simplify]: Simplify (+ 0 0) into 0 10.625 * [taylor]: Taking taylor expansion of 0 in y 10.625 * [backup-simplify]: Simplify 0 into 0 10.625 * [taylor]: Taking taylor expansion of 0 in z 10.625 * [backup-simplify]: Simplify 0 into 0 10.626 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 10.626 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.626 * [backup-simplify]: Simplify (- 0) into 0 10.626 * [taylor]: Taking taylor expansion of 0 in z 10.626 * [backup-simplify]: Simplify 0 into 0 10.627 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.627 * [taylor]: Taking taylor expansion of 0 in z 10.627 * [backup-simplify]: Simplify 0 into 0 10.627 * [backup-simplify]: Simplify 0 into 0 10.627 * [backup-simplify]: Simplify 0 into 0 10.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.628 * [backup-simplify]: Simplify (- 0) into 0 10.628 * [backup-simplify]: Simplify 0 into 0 10.629 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1)))) into (- (* x y) (* z y)) 10.629 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- y))) (* (- (/ 1 (- z))) (/ 1 (- y)))) into (- (/ 1 (* x y)) (/ 1 (* z y))) 10.629 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0 10.629 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z 10.629 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 10.629 * [taylor]: Taking taylor expansion of (* x y) in z 10.629 * [taylor]: Taking taylor expansion of x in z 10.629 * [backup-simplify]: Simplify x into x 10.629 * [taylor]: Taking taylor expansion of y in z 10.629 * [backup-simplify]: Simplify y into y 10.630 * [backup-simplify]: Simplify (* x y) into (* x y) 10.630 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 10.630 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 10.630 * [taylor]: Taking taylor expansion of (* z y) in z 10.630 * [taylor]: Taking taylor expansion of z in z 10.630 * [backup-simplify]: Simplify 0 into 0 10.630 * [backup-simplify]: Simplify 1 into 1 10.630 * [taylor]: Taking taylor expansion of y in z 10.630 * [backup-simplify]: Simplify y into y 10.630 * [backup-simplify]: Simplify (* 0 y) into 0 10.630 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.630 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.630 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 10.630 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 10.630 * [taylor]: Taking taylor expansion of (* x y) in y 10.630 * [taylor]: Taking taylor expansion of x in y 10.630 * [backup-simplify]: Simplify x into x 10.630 * [taylor]: Taking taylor expansion of y in y 10.630 * [backup-simplify]: Simplify 0 into 0 10.630 * [backup-simplify]: Simplify 1 into 1 10.631 * [backup-simplify]: Simplify (* x 0) into 0 10.631 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 10.631 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.631 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 10.631 * [taylor]: Taking taylor expansion of (* z y) in y 10.631 * [taylor]: Taking taylor expansion of z in y 10.631 * [backup-simplify]: Simplify z into z 10.631 * [taylor]: Taking taylor expansion of y in y 10.631 * [backup-simplify]: Simplify 0 into 0 10.631 * [backup-simplify]: Simplify 1 into 1 10.631 * [backup-simplify]: Simplify (* z 0) into 0 10.632 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 10.632 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.632 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 10.632 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 10.632 * [taylor]: Taking taylor expansion of (* x y) in x 10.632 * [taylor]: Taking taylor expansion of x in x 10.632 * [backup-simplify]: Simplify 0 into 0 10.632 * [backup-simplify]: Simplify 1 into 1 10.632 * [taylor]: Taking taylor expansion of y in x 10.632 * [backup-simplify]: Simplify y into y 10.632 * [backup-simplify]: Simplify (* 0 y) into 0 10.632 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.632 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.632 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 10.632 * [taylor]: Taking taylor expansion of (* z y) in x 10.632 * [taylor]: Taking taylor expansion of z in x 10.632 * [backup-simplify]: Simplify z into z 10.632 * [taylor]: Taking taylor expansion of y in x 10.632 * [backup-simplify]: Simplify y into y 10.633 * [backup-simplify]: Simplify (* z y) into (* z y) 10.633 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 10.633 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 10.633 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 10.633 * [taylor]: Taking taylor expansion of (* x y) in x 10.633 * [taylor]: Taking taylor expansion of x in x 10.633 * [backup-simplify]: Simplify 0 into 0 10.633 * [backup-simplify]: Simplify 1 into 1 10.633 * [taylor]: Taking taylor expansion of y in x 10.633 * [backup-simplify]: Simplify y into y 10.633 * [backup-simplify]: Simplify (* 0 y) into 0 10.633 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.633 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.633 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 10.633 * [taylor]: Taking taylor expansion of (* z y) in x 10.633 * [taylor]: Taking taylor expansion of z in x 10.633 * [backup-simplify]: Simplify z into z 10.633 * [taylor]: Taking taylor expansion of y in x 10.633 * [backup-simplify]: Simplify y into y 10.633 * [backup-simplify]: Simplify (* z y) into (* z y) 10.634 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 10.634 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 10.634 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.634 * [taylor]: Taking taylor expansion of y in y 10.634 * [backup-simplify]: Simplify 0 into 0 10.634 * [backup-simplify]: Simplify 1 into 1 10.634 * [backup-simplify]: Simplify (/ 1 1) into 1 10.634 * [taylor]: Taking taylor expansion of 1 in z 10.634 * [backup-simplify]: Simplify 1 into 1 10.635 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 10.635 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.635 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y))) 10.635 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* z y)))) into (- (/ 1 (* z y))) 10.635 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 10.635 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 10.635 * [taylor]: Taking taylor expansion of (* z y) in y 10.635 * [taylor]: Taking taylor expansion of z in y 10.636 * [backup-simplify]: Simplify z into z 10.636 * [taylor]: Taking taylor expansion of y in y 10.636 * [backup-simplify]: Simplify 0 into 0 10.636 * [backup-simplify]: Simplify 1 into 1 10.636 * [backup-simplify]: Simplify (* z 0) into 0 10.636 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 10.636 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.636 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 10.636 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.636 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.636 * [taylor]: Taking taylor expansion of z in z 10.636 * [backup-simplify]: Simplify 0 into 0 10.636 * [backup-simplify]: Simplify 1 into 1 10.637 * [backup-simplify]: Simplify (/ 1 1) into 1 10.637 * [backup-simplify]: Simplify (- 1) into -1 10.637 * [backup-simplify]: Simplify -1 into -1 10.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.638 * [taylor]: Taking taylor expansion of 0 in z 10.638 * [backup-simplify]: Simplify 0 into 0 10.638 * [backup-simplify]: Simplify 1 into 1 10.639 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 10.639 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.639 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 10.639 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0 10.640 * [backup-simplify]: Simplify (- 0) into 0 10.640 * [backup-simplify]: Simplify (+ 0 0) into 0 10.640 * [taylor]: Taking taylor expansion of 0 in y 10.640 * [backup-simplify]: Simplify 0 into 0 10.641 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 10.641 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 10.642 * [backup-simplify]: Simplify (- 0) into 0 10.642 * [taylor]: Taking taylor expansion of 0 in z 10.642 * [backup-simplify]: Simplify 0 into 0 10.642 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.642 * [taylor]: Taking taylor expansion of 0 in z 10.642 * [backup-simplify]: Simplify 0 into 0 10.643 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.644 * [backup-simplify]: Simplify (- 0) into 0 10.644 * [backup-simplify]: Simplify 0 into 0 10.644 * [backup-simplify]: Simplify 0 into 0 10.644 * [backup-simplify]: Simplify 0 into 0 10.651 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 10.651 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.652 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0 10.652 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0 10.652 * [backup-simplify]: Simplify (- 0) into 0 10.652 * [backup-simplify]: Simplify (+ 0 0) into 0 10.652 * [taylor]: Taking taylor expansion of 0 in y 10.652 * [backup-simplify]: Simplify 0 into 0 10.652 * [taylor]: Taking taylor expansion of 0 in z 10.652 * [backup-simplify]: Simplify 0 into 0 10.653 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 10.653 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.653 * [backup-simplify]: Simplify (- 0) into 0 10.653 * [taylor]: Taking taylor expansion of 0 in z 10.653 * [backup-simplify]: Simplify 0 into 0 10.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.654 * [taylor]: Taking taylor expansion of 0 in z 10.654 * [backup-simplify]: Simplify 0 into 0 10.654 * [backup-simplify]: Simplify 0 into 0 10.654 * [backup-simplify]: Simplify 0 into 0 10.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.654 * [backup-simplify]: Simplify (- 0) into 0 10.654 * [backup-simplify]: Simplify 0 into 0 10.655 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1)))) into (- (* x y) (* z y)) 10.655 * * * [progress]: simplifying candidates 10.655 * [simplify]: Simplifying: (* (exp (* x y)) (exp (* (- z) y))) (log (+ (* x y) (* (- z) y))) (exp (+ (* x y) (* (- z) y))) (* (cbrt (+ (* x y) (* (- z) y))) (cbrt (+ (* x y) (* (- z) y)))) (cbrt (+ (* x y) (* (- z) y))) (* (* (+ (* x y) (* (- z) y)) (+ (* x y) (* (- z) y))) (+ (* x y) (* (- z) y))) (sqrt (+ (* x y) (* (- z) y))) (sqrt (+ (* x y) (* (- z) y))) (+ (pow (* x y) 3) (pow (* (- z) y) 3)) (+ (* (* x y) (* x y)) (- (* (* (- z) y) (* (- z) y)) (* (* x y) (* (- z) y)))) (- (* (* x y) (* x y)) (* (* (- z) y) (* (- z) y))) (- (* x y) (* (- z) y)) (+ x (- z)) (- (* x y) (* z y)) (- (* x y) (* z y)) (- (* x y) (* z y)) 10.655 * * [simplify]: Extracting # 0 : cost 0 10.656 * * [simplify]: Extracting # 1 : cost 0 10.656 * * [simplify]: Extracting # 2 : cost 0 10.656 * * [simplify]: Extracting # 3 : cost 0 10.656 * * [simplify]: Extracting # 4 : cost 0 10.656 * * [simplify]: Extracting # 5 : cost 0 10.656 * * [simplify]: iteration 0 : 31 enodes (cost 188 ) 10.663 * * [simplify]: Extracting # 0 : cost 0 10.663 * * [simplify]: Extracting # 1 : cost 0 10.663 * * [simplify]: Extracting # 2 : cost 0 10.663 * * [simplify]: Extracting # 3 : cost 0 10.664 * * [simplify]: Extracting # 4 : cost 0 10.664 * * [simplify]: iteration 1 : 108 enodes (cost 135 ) 10.714 * * [simplify]: Extracting # 0 : cost 0 10.714 * * [simplify]: Extracting # 1 : cost 0 10.715 * * [simplify]: Extracting # 2 : cost 0 10.715 * * [simplify]: Extracting # 3 : cost 0 10.716 * * [simplify]: Extracting # 4 : cost 0 10.716 * * [simplify]: Extracting # 5 : cost 0 10.716 * * [simplify]: iteration 2 : 475 enodes (cost 122 ) 11.233 * * [simplify]: Extracting # 0 : cost 0 11.238 * * [simplify]: Extracting # 1 : cost 0 11.242 * * [simplify]: Extracting # 2 : cost 0 11.245 * * [simplify]: Extracting # 3 : cost 0 11.247 * * [simplify]: Extracting # 4 : cost 0 11.254 * * [simplify]: iteration 3 : 3058 enodes (cost 118 ) 13.008 * * [simplify]: Extracting # 0 : cost 0 13.016 * * [simplify]: Extracting # 1 : cost 0 13.021 * * [simplify]: Extracting # 2 : cost 0 13.027 * * [simplify]: Extracting # 3 : cost 0 13.036 * * [simplify]: Extracting # 4 : cost 0 13.040 * * [simplify]: iteration done: 5000 enodes (cost 116 ) 13.041 * [simplify]: Simplified to: (exp (* y (- x z))) (log (* y (- x z))) (exp (* y (- x z))) (* (cbrt (* y (- x z))) (cbrt (* y (- x z)))) (cbrt (* y (- x z))) (pow (* y (- x z)) 3) (sqrt (* y (- x z))) (sqrt (* y (- x z))) (* (pow y 3) (- (pow x 3) (pow z 3))) (* y (+ (* (* x x) y) (* z (* y (+ z x))))) (* (* y y) (- (* x x) (* z z))) (* y (+ z x)) (- x z) (* y (- x z)) (* y (- x z)) (* y (- x z)) 13.041 * * * [progress]: adding candidates to table 13.074 * * [progress]: iteration 4 / 4 13.074 * * * [progress]: picking best candidate 13.077 * * * * [pick]: Picked # 13.077 * * * [progress]: localizing error 13.095 * * * [progress]: generating rewritten candidates 13.095 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 13.104 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 13.115 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 13.145 * * * [progress]: generating series expansions 13.145 * * * * [progress]: [ 1 / 3 ] generating series at (2) 13.145 * [backup-simplify]: Simplify (cbrt (pow (* (- x z) y) 3)) into (* y (- x z)) 13.145 * [approximate]: Taking taylor expansion of (* y (- x z)) in (x z y) around 0 13.145 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 13.145 * [taylor]: Taking taylor expansion of y in y 13.145 * [backup-simplify]: Simplify 0 into 0 13.145 * [backup-simplify]: Simplify 1 into 1 13.145 * [taylor]: Taking taylor expansion of (- x z) in y 13.145 * [taylor]: Taking taylor expansion of x in y 13.145 * [backup-simplify]: Simplify x into x 13.145 * [taylor]: Taking taylor expansion of z in y 13.145 * [backup-simplify]: Simplify z into z 13.145 * [taylor]: Taking taylor expansion of (* y (- x z)) in z 13.145 * [taylor]: Taking taylor expansion of y in z 13.145 * [backup-simplify]: Simplify y into y 13.145 * [taylor]: Taking taylor expansion of (- x z) in z 13.145 * [taylor]: Taking taylor expansion of x in z 13.145 * [backup-simplify]: Simplify x into x 13.145 * [taylor]: Taking taylor expansion of z in z 13.145 * [backup-simplify]: Simplify 0 into 0 13.146 * [backup-simplify]: Simplify 1 into 1 13.146 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 13.146 * [taylor]: Taking taylor expansion of y in x 13.146 * [backup-simplify]: Simplify y into y 13.146 * [taylor]: Taking taylor expansion of (- x z) in x 13.146 * [taylor]: Taking taylor expansion of x in x 13.146 * [backup-simplify]: Simplify 0 into 0 13.146 * [backup-simplify]: Simplify 1 into 1 13.146 * [taylor]: Taking taylor expansion of z in x 13.146 * [backup-simplify]: Simplify z into z 13.146 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 13.146 * [taylor]: Taking taylor expansion of y in x 13.146 * [backup-simplify]: Simplify y into y 13.146 * [taylor]: Taking taylor expansion of (- x z) in x 13.146 * [taylor]: Taking taylor expansion of x in x 13.146 * [backup-simplify]: Simplify 0 into 0 13.146 * [backup-simplify]: Simplify 1 into 1 13.146 * [taylor]: Taking taylor expansion of z in x 13.146 * [backup-simplify]: Simplify z into z 13.146 * [backup-simplify]: Simplify (- z) into (- z) 13.146 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 13.146 * [backup-simplify]: Simplify (* y (- z)) into (* -1 (* z y)) 13.146 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 13.146 * [taylor]: Taking taylor expansion of -1 in z 13.146 * [backup-simplify]: Simplify -1 into -1 13.146 * [taylor]: Taking taylor expansion of (* z y) in z 13.146 * [taylor]: Taking taylor expansion of z in z 13.146 * [backup-simplify]: Simplify 0 into 0 13.146 * [backup-simplify]: Simplify 1 into 1 13.146 * [taylor]: Taking taylor expansion of y in z 13.146 * [backup-simplify]: Simplify y into y 13.146 * [backup-simplify]: Simplify (* 0 y) into 0 13.147 * [backup-simplify]: Simplify (* -1 0) into 0 13.147 * [taylor]: Taking taylor expansion of 0 in y 13.147 * [backup-simplify]: Simplify 0 into 0 13.147 * [backup-simplify]: Simplify 0 into 0 13.147 * [backup-simplify]: Simplify (- 0) into 0 13.147 * [backup-simplify]: Simplify (+ 1 0) into 1 13.147 * [backup-simplify]: Simplify (+ (* y 1) (* 0 (- z))) into y 13.147 * [taylor]: Taking taylor expansion of y in z 13.147 * [backup-simplify]: Simplify y into y 13.147 * [taylor]: Taking taylor expansion of y in y 13.147 * [backup-simplify]: Simplify 0 into 0 13.147 * [backup-simplify]: Simplify 1 into 1 13.148 * [backup-simplify]: Simplify 0 into 0 13.148 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 13.148 * [backup-simplify]: Simplify (+ (* -1 y) (* 0 0)) into (- y) 13.148 * [taylor]: Taking taylor expansion of (- y) in y 13.148 * [taylor]: Taking taylor expansion of y in y 13.148 * [backup-simplify]: Simplify 0 into 0 13.148 * [backup-simplify]: Simplify 1 into 1 13.148 * [backup-simplify]: Simplify (- 0) into 0 13.148 * [backup-simplify]: Simplify 0 into 0 13.148 * [backup-simplify]: Simplify 0 into 0 13.149 * [backup-simplify]: Simplify (- 0) into 0 13.149 * [backup-simplify]: Simplify (+ 0 0) into 0 13.149 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 (- z)))) into 0 13.149 * [taylor]: Taking taylor expansion of 0 in z 13.149 * [backup-simplify]: Simplify 0 into 0 13.149 * [taylor]: Taking taylor expansion of 0 in y 13.149 * [backup-simplify]: Simplify 0 into 0 13.149 * [backup-simplify]: Simplify 0 into 0 13.149 * [taylor]: Taking taylor expansion of 0 in y 13.149 * [backup-simplify]: Simplify 0 into 0 13.149 * [backup-simplify]: Simplify 0 into 0 13.149 * [backup-simplify]: Simplify 0 into 0 13.150 * [backup-simplify]: Simplify (cbrt (pow (* (- (/ 1 x) (/ 1 z)) (/ 1 y)) 3)) into (/ (- (/ 1 x) (/ 1 z)) y) 13.150 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (x z y) around 0 13.150 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 13.150 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 13.150 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.150 * [taylor]: Taking taylor expansion of x in y 13.150 * [backup-simplify]: Simplify x into x 13.150 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.150 * [taylor]: Taking taylor expansion of (/ 1 z) in y 13.150 * [taylor]: Taking taylor expansion of z in y 13.150 * [backup-simplify]: Simplify z into z 13.150 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 13.150 * [taylor]: Taking taylor expansion of y in y 13.150 * [backup-simplify]: Simplify 0 into 0 13.150 * [backup-simplify]: Simplify 1 into 1 13.150 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 13.150 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 13.150 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z)) 13.150 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 13.150 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 13.150 * [taylor]: Taking taylor expansion of (/ 1 x) in z 13.150 * [taylor]: Taking taylor expansion of x in z 13.150 * [backup-simplify]: Simplify x into x 13.150 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.150 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.150 * [taylor]: Taking taylor expansion of z in z 13.150 * [backup-simplify]: Simplify 0 into 0 13.150 * [backup-simplify]: Simplify 1 into 1 13.151 * [backup-simplify]: Simplify (/ 1 1) into 1 13.151 * [taylor]: Taking taylor expansion of y in z 13.151 * [backup-simplify]: Simplify y into y 13.151 * [backup-simplify]: Simplify (- 1) into -1 13.151 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.151 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 13.151 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 13.151 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 13.151 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.151 * [taylor]: Taking taylor expansion of x in x 13.151 * [backup-simplify]: Simplify 0 into 0 13.151 * [backup-simplify]: Simplify 1 into 1 13.152 * [backup-simplify]: Simplify (/ 1 1) into 1 13.152 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.152 * [taylor]: Taking taylor expansion of z in x 13.152 * [backup-simplify]: Simplify z into z 13.152 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 13.152 * [taylor]: Taking taylor expansion of y in x 13.152 * [backup-simplify]: Simplify y into y 13.152 * [backup-simplify]: Simplify (+ 1 0) into 1 13.152 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.152 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 13.152 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 13.152 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.152 * [taylor]: Taking taylor expansion of x in x 13.152 * [backup-simplify]: Simplify 0 into 0 13.152 * [backup-simplify]: Simplify 1 into 1 13.152 * [backup-simplify]: Simplify (/ 1 1) into 1 13.152 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.152 * [taylor]: Taking taylor expansion of z in x 13.152 * [backup-simplify]: Simplify z into z 13.152 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 13.152 * [taylor]: Taking taylor expansion of y in x 13.152 * [backup-simplify]: Simplify y into y 13.153 * [backup-simplify]: Simplify (+ 1 0) into 1 13.153 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.153 * [taylor]: Taking taylor expansion of (/ 1 y) in z 13.153 * [taylor]: Taking taylor expansion of y in z 13.153 * [backup-simplify]: Simplify y into y 13.153 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.153 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.153 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 13.153 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 13.154 * [backup-simplify]: Simplify (- (/ (- (/ 1 z)) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (/ 1 (* z y))) 13.154 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 13.154 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 13.154 * [taylor]: Taking taylor expansion of (* z y) in z 13.154 * [taylor]: Taking taylor expansion of z in z 13.154 * [backup-simplify]: Simplify 0 into 0 13.154 * [backup-simplify]: Simplify 1 into 1 13.154 * [taylor]: Taking taylor expansion of y in z 13.154 * [backup-simplify]: Simplify y into y 13.154 * [backup-simplify]: Simplify (* 0 y) into 0 13.154 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 13.154 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.154 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 13.154 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 13.154 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.154 * [taylor]: Taking taylor expansion of y in y 13.154 * [backup-simplify]: Simplify 0 into 0 13.154 * [backup-simplify]: Simplify 1 into 1 13.154 * [backup-simplify]: Simplify (/ 1 1) into 1 13.155 * [backup-simplify]: Simplify (- 1) into -1 13.155 * [backup-simplify]: Simplify -1 into -1 13.155 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.155 * [taylor]: Taking taylor expansion of y in y 13.155 * [backup-simplify]: Simplify 0 into 0 13.155 * [backup-simplify]: Simplify 1 into 1 13.155 * [backup-simplify]: Simplify (/ 1 1) into 1 13.155 * [backup-simplify]: Simplify 1 into 1 13.156 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.156 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 13.156 * [backup-simplify]: Simplify (- 0) into 0 13.156 * [backup-simplify]: Simplify (+ 0 0) into 0 13.156 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)))) into 0 13.156 * [taylor]: Taking taylor expansion of 0 in z 13.156 * [backup-simplify]: Simplify 0 into 0 13.157 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 13.157 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 13.157 * [backup-simplify]: Simplify (- 0) into 0 13.157 * [taylor]: Taking taylor expansion of 0 in y 13.157 * [backup-simplify]: Simplify 0 into 0 13.157 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 13.157 * [taylor]: Taking taylor expansion of 0 in y 13.157 * [backup-simplify]: Simplify 0 into 0 13.158 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.158 * [backup-simplify]: Simplify (- 0) into 0 13.158 * [backup-simplify]: Simplify 0 into 0 13.158 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.158 * [backup-simplify]: Simplify 0 into 0 13.159 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.159 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 13.159 * [backup-simplify]: Simplify (- 0) into 0 13.160 * [backup-simplify]: Simplify (+ 0 0) into 0 13.160 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.160 * [taylor]: Taking taylor expansion of 0 in z 13.160 * [backup-simplify]: Simplify 0 into 0 13.160 * [taylor]: Taking taylor expansion of 0 in y 13.160 * [backup-simplify]: Simplify 0 into 0 13.161 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 13.161 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.161 * [backup-simplify]: Simplify (- 0) into 0 13.161 * [taylor]: Taking taylor expansion of 0 in y 13.161 * [backup-simplify]: Simplify 0 into 0 13.161 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.161 * [taylor]: Taking taylor expansion of 0 in y 13.161 * [backup-simplify]: Simplify 0 into 0 13.161 * [backup-simplify]: Simplify 0 into 0 13.161 * [backup-simplify]: Simplify 0 into 0 13.162 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.162 * [backup-simplify]: Simplify (- 0) into 0 13.162 * [backup-simplify]: Simplify 0 into 0 13.163 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.163 * [backup-simplify]: Simplify 0 into 0 13.163 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 y)) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 z)) 1)))) into (- (* x y) (* z y)) 13.163 * [backup-simplify]: Simplify (cbrt (pow (* (- (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y))) 3)) into (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) y) 13.163 * [approximate]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) y) in (x z y) around 0 13.163 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) y) in y 13.163 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- (/ 1 z) (/ 1 x))) in y 13.163 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.163 * [taylor]: Taking taylor expansion of -1 in y 13.163 * [backup-simplify]: Simplify -1 into -1 13.164 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1) 13.164 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0 13.164 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 13.164 * [taylor]: Taking taylor expansion of (/ 1 z) in y 13.164 * [taylor]: Taking taylor expansion of z in y 13.164 * [backup-simplify]: Simplify z into z 13.164 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 13.164 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.164 * [taylor]: Taking taylor expansion of x in y 13.164 * [backup-simplify]: Simplify x into x 13.164 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.164 * [taylor]: Taking taylor expansion of y in y 13.164 * [backup-simplify]: Simplify 0 into 0 13.164 * [backup-simplify]: Simplify 1 into 1 13.164 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 13.165 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x)) 13.165 * [backup-simplify]: Simplify (* (cbrt -1) (- (/ 1 z) (/ 1 x))) into (* (cbrt -1) (- (/ 1 z) (/ 1 x))) 13.165 * [backup-simplify]: Simplify (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) 1) into (* (cbrt -1) (- (/ 1 z) (/ 1 x))) 13.165 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) y) in z 13.165 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- (/ 1 z) (/ 1 x))) in z 13.165 * [taylor]: Taking taylor expansion of (cbrt -1) in z 13.165 * [taylor]: Taking taylor expansion of -1 in z 13.165 * [backup-simplify]: Simplify -1 into -1 13.166 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1) 13.166 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0 13.166 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 13.166 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.166 * [taylor]: Taking taylor expansion of z in z 13.166 * [backup-simplify]: Simplify 0 into 0 13.166 * [backup-simplify]: Simplify 1 into 1 13.166 * [backup-simplify]: Simplify (/ 1 1) into 1 13.167 * [taylor]: Taking taylor expansion of (/ 1 x) in z 13.167 * [taylor]: Taking taylor expansion of x in z 13.167 * [backup-simplify]: Simplify x into x 13.167 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.167 * [taylor]: Taking taylor expansion of y in z 13.167 * [backup-simplify]: Simplify y into y 13.167 * [backup-simplify]: Simplify (+ 1 0) into 1 13.167 * [backup-simplify]: Simplify (* (cbrt -1) 1) into (cbrt -1) 13.168 * [backup-simplify]: Simplify (/ (cbrt -1) y) into (/ (cbrt -1) y) 13.168 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) y) in x 13.168 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- (/ 1 z) (/ 1 x))) in x 13.168 * [taylor]: Taking taylor expansion of (cbrt -1) in x 13.168 * [taylor]: Taking taylor expansion of -1 in x 13.168 * [backup-simplify]: Simplify -1 into -1 13.168 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1) 13.169 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0 13.169 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 13.169 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.169 * [taylor]: Taking taylor expansion of z in x 13.169 * [backup-simplify]: Simplify z into z 13.169 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 13.169 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.169 * [taylor]: Taking taylor expansion of x in x 13.169 * [backup-simplify]: Simplify 0 into 0 13.169 * [backup-simplify]: Simplify 1 into 1 13.169 * [backup-simplify]: Simplify (/ 1 1) into 1 13.169 * [taylor]: Taking taylor expansion of y in x 13.169 * [backup-simplify]: Simplify y into y 13.169 * [backup-simplify]: Simplify (- 1) into -1 13.170 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.170 * [backup-simplify]: Simplify (* (cbrt -1) -1) into (* -1 (cbrt -1)) 13.171 * [backup-simplify]: Simplify (/ (* -1 (cbrt -1)) y) into (* -1 (/ (cbrt -1) y)) 13.171 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) y) in x 13.171 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- (/ 1 z) (/ 1 x))) in x 13.171 * [taylor]: Taking taylor expansion of (cbrt -1) in x 13.171 * [taylor]: Taking taylor expansion of -1 in x 13.171 * [backup-simplify]: Simplify -1 into -1 13.171 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1) 13.172 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0 13.172 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 13.172 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.172 * [taylor]: Taking taylor expansion of z in x 13.172 * [backup-simplify]: Simplify z into z 13.172 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 13.172 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.172 * [taylor]: Taking taylor expansion of x in x 13.172 * [backup-simplify]: Simplify 0 into 0 13.172 * [backup-simplify]: Simplify 1 into 1 13.172 * [backup-simplify]: Simplify (/ 1 1) into 1 13.172 * [taylor]: Taking taylor expansion of y in x 13.172 * [backup-simplify]: Simplify y into y 13.172 * [backup-simplify]: Simplify (- 1) into -1 13.172 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.173 * [backup-simplify]: Simplify (* (cbrt -1) -1) into (* -1 (cbrt -1)) 13.174 * [backup-simplify]: Simplify (/ (* -1 (cbrt -1)) y) into (* -1 (/ (cbrt -1) y)) 13.174 * [taylor]: Taking taylor expansion of (* -1 (/ (cbrt -1) y)) in z 13.174 * [taylor]: Taking taylor expansion of -1 in z 13.174 * [backup-simplify]: Simplify -1 into -1 13.174 * [taylor]: Taking taylor expansion of (/ (cbrt -1) y) in z 13.174 * [taylor]: Taking taylor expansion of (cbrt -1) in z 13.174 * [taylor]: Taking taylor expansion of -1 in z 13.174 * [backup-simplify]: Simplify -1 into -1 13.174 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1) 13.174 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0 13.175 * [taylor]: Taking taylor expansion of y in z 13.175 * [backup-simplify]: Simplify y into y 13.175 * [backup-simplify]: Simplify (/ (cbrt -1) y) into (/ (cbrt -1) y) 13.175 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.176 * [backup-simplify]: Simplify (- 0) into 0 13.176 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 13.176 * [backup-simplify]: Simplify (+ (* (cbrt -1) (/ 1 z)) (* 0 -1)) into (/ (cbrt -1) z) 13.177 * [backup-simplify]: Simplify (- (/ (/ (cbrt -1) z) y) (+ (* (* -1 (/ (cbrt -1) y)) (/ 0 y)))) into (/ (cbrt -1) (* z y)) 13.177 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* z y)) in z 13.177 * [taylor]: Taking taylor expansion of (cbrt -1) in z 13.177 * [taylor]: Taking taylor expansion of -1 in z 13.177 * [backup-simplify]: Simplify -1 into -1 13.177 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1) 13.178 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0 13.178 * [taylor]: Taking taylor expansion of (* z y) in z 13.178 * [taylor]: Taking taylor expansion of z in z 13.178 * [backup-simplify]: Simplify 0 into 0 13.178 * [backup-simplify]: Simplify 1 into 1 13.178 * [taylor]: Taking taylor expansion of y in z 13.178 * [backup-simplify]: Simplify y into y 13.178 * [backup-simplify]: Simplify (* 0 y) into 0 13.178 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 13.178 * [backup-simplify]: Simplify (/ (cbrt -1) y) into (/ (cbrt -1) y) 13.178 * [taylor]: Taking taylor expansion of (/ (cbrt -1) y) in y 13.178 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.178 * [taylor]: Taking taylor expansion of -1 in y 13.178 * [backup-simplify]: Simplify -1 into -1 13.179 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1) 13.179 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0 13.179 * [taylor]: Taking taylor expansion of y in y 13.179 * [backup-simplify]: Simplify 0 into 0 13.179 * [backup-simplify]: Simplify 1 into 1 13.180 * [backup-simplify]: Simplify (/ (cbrt -1) 1) into (cbrt -1) 13.180 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1) 13.180 * [backup-simplify]: Simplify (* -1 (/ (cbrt -1) y)) into (* -1 (/ (cbrt -1) y)) 13.180 * [taylor]: Taking taylor expansion of (* -1 (/ (cbrt -1) y)) in y 13.180 * [taylor]: Taking taylor expansion of -1 in y 13.180 * [backup-simplify]: Simplify -1 into -1 13.181 * [taylor]: Taking taylor expansion of (/ (cbrt -1) y) in y 13.181 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.181 * [taylor]: Taking taylor expansion of -1 in y 13.181 * [backup-simplify]: Simplify -1 into -1 13.181 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1) 13.181 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0 13.181 * [taylor]: Taking taylor expansion of y in y 13.181 * [backup-simplify]: Simplify 0 into 0 13.181 * [backup-simplify]: Simplify 1 into 1 13.182 * [backup-simplify]: Simplify (/ (cbrt -1) 1) into (cbrt -1) 13.182 * [backup-simplify]: Simplify (* -1 (cbrt -1)) into (* -1 (cbrt -1)) 13.183 * [backup-simplify]: Simplify (* -1 (cbrt -1)) into (* -1 (cbrt -1)) 13.183 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 13.184 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.184 * [backup-simplify]: Simplify (- 0) into 0 13.184 * [backup-simplify]: Simplify (+ 0 0) into 0 13.186 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0 13.187 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 (/ 1 z)) (* 0 -1))) into 0 13.188 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ (cbrt -1) y)) (/ 0 y)) (* (/ (cbrt -1) (* z y)) (/ 0 y)))) into 0 13.188 * [taylor]: Taking taylor expansion of 0 in z 13.188 * [backup-simplify]: Simplify 0 into 0 13.189 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 13.189 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (cbrt -1) y) (/ 0 y)))) into 0 13.190 * [taylor]: Taking taylor expansion of 0 in y 13.190 * [backup-simplify]: Simplify 0 into 0 13.190 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (cbrt -1) y) (/ 0 y)))) into 0 13.191 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ (cbrt -1) y))) into 0 13.191 * [taylor]: Taking taylor expansion of 0 in y 13.191 * [backup-simplify]: Simplify 0 into 0 13.192 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt -1) (/ 0 1)))) into 0 13.192 * [backup-simplify]: Simplify 0 into 0 13.193 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt -1) (/ 0 1)))) into 0 13.194 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (cbrt -1))) into 0 13.194 * [backup-simplify]: Simplify 0 into 0 13.194 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 13.195 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.195 * [backup-simplify]: Simplify (- 0) into 0 13.196 * [backup-simplify]: Simplify (+ 0 0) into 0 13.197 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt -1))) into 0 13.199 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 (/ 1 z)) (* 0 -1)))) into 0 13.200 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ (cbrt -1) y)) (/ 0 y)) (* (/ (cbrt -1) (* z y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.200 * [taylor]: Taking taylor expansion of 0 in z 13.200 * [backup-simplify]: Simplify 0 into 0 13.200 * [taylor]: Taking taylor expansion of 0 in y 13.200 * [backup-simplify]: Simplify 0 into 0 13.202 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0 13.203 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 13.204 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (cbrt -1) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.204 * [taylor]: Taking taylor expansion of 0 in y 13.204 * [backup-simplify]: Simplify 0 into 0 13.205 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0 13.206 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (cbrt -1) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.207 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ (cbrt -1) y)))) into 0 13.207 * [taylor]: Taking taylor expansion of 0 in y 13.207 * [backup-simplify]: Simplify 0 into 0 13.207 * [backup-simplify]: Simplify 0 into 0 13.207 * [backup-simplify]: Simplify 0 into 0 13.209 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0 13.210 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt -1) (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.210 * [backup-simplify]: Simplify 0 into 0 13.211 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0 13.213 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt -1) (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.214 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (cbrt -1)))) into 0 13.214 * [backup-simplify]: Simplify 0 into 0 13.216 * [backup-simplify]: Simplify (+ (* (* -1 (cbrt -1)) (* (/ 1 (/ 1 (- y))) (* 1 (/ 1 (/ 1 (- x)))))) (* (cbrt -1) (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- z))) 1)))) into (- (* (cbrt -1) (* z y)) (* (cbrt -1) (* x y))) 13.216 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 13.216 * [backup-simplify]: Simplify (pow (* (- x z) y) 3) into (pow (* y (- x z)) 3) 13.216 * [approximate]: Taking taylor expansion of (pow (* y (- x z)) 3) in (x z y) around 0 13.216 * [taylor]: Taking taylor expansion of (pow (* y (- x z)) 3) in y 13.216 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 13.216 * [taylor]: Taking taylor expansion of y in y 13.216 * [backup-simplify]: Simplify 0 into 0 13.216 * [backup-simplify]: Simplify 1 into 1 13.216 * [taylor]: Taking taylor expansion of (- x z) in y 13.216 * [taylor]: Taking taylor expansion of x in y 13.216 * [backup-simplify]: Simplify x into x 13.216 * [taylor]: Taking taylor expansion of z in y 13.216 * [backup-simplify]: Simplify z into z 13.216 * [backup-simplify]: Simplify (- z) into (- z) 13.217 * [backup-simplify]: Simplify (+ x (- z)) into (- x z) 13.217 * [backup-simplify]: Simplify (* 0 (- x z)) into 0 13.217 * [backup-simplify]: Simplify (- 0) into 0 13.218 * [backup-simplify]: Simplify (+ 0 0) into 0 13.218 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- x z))) into (- x z) 13.218 * [taylor]: Taking taylor expansion of (pow (* y (- x z)) 3) in z 13.218 * [taylor]: Taking taylor expansion of (* y (- x z)) in z 13.218 * [taylor]: Taking taylor expansion of y in z 13.218 * [backup-simplify]: Simplify y into y 13.218 * [taylor]: Taking taylor expansion of (- x z) in z 13.218 * [taylor]: Taking taylor expansion of x in z 13.218 * [backup-simplify]: Simplify x into x 13.218 * [taylor]: Taking taylor expansion of z in z 13.218 * [backup-simplify]: Simplify 0 into 0 13.218 * [backup-simplify]: Simplify 1 into 1 13.219 * [backup-simplify]: Simplify (- 0) into 0 13.219 * [backup-simplify]: Simplify (+ x 0) into x 13.219 * [backup-simplify]: Simplify (* y x) into (* x y) 13.219 * [taylor]: Taking taylor expansion of (pow (* y (- x z)) 3) in x 13.219 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 13.219 * [taylor]: Taking taylor expansion of y in x 13.219 * [backup-simplify]: Simplify y into y 13.219 * [taylor]: Taking taylor expansion of (- x z) in x 13.219 * [taylor]: Taking taylor expansion of x in x 13.219 * [backup-simplify]: Simplify 0 into 0 13.219 * [backup-simplify]: Simplify 1 into 1 13.219 * [taylor]: Taking taylor expansion of z in x 13.219 * [backup-simplify]: Simplify z into z 13.219 * [backup-simplify]: Simplify (- z) into (- z) 13.219 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 13.219 * [backup-simplify]: Simplify (* y (- z)) into (* -1 (* z y)) 13.219 * [taylor]: Taking taylor expansion of (pow (* y (- x z)) 3) in x 13.219 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 13.219 * [taylor]: Taking taylor expansion of y in x 13.219 * [backup-simplify]: Simplify y into y 13.219 * [taylor]: Taking taylor expansion of (- x z) in x 13.219 * [taylor]: Taking taylor expansion of x in x 13.219 * [backup-simplify]: Simplify 0 into 0 13.219 * [backup-simplify]: Simplify 1 into 1 13.219 * [taylor]: Taking taylor expansion of z in x 13.220 * [backup-simplify]: Simplify z into z 13.220 * [backup-simplify]: Simplify (- z) into (- z) 13.220 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 13.220 * [backup-simplify]: Simplify (* y (- z)) into (* -1 (* z y)) 13.220 * [backup-simplify]: Simplify (* (* -1 (* z y)) (* -1 (* z y))) into (* (pow z 2) (pow y 2)) 13.220 * [backup-simplify]: Simplify (* (* -1 (* z y)) (* (pow z 2) (pow y 2))) into (* -1 (* (pow z 3) (pow y 3))) 13.220 * [taylor]: Taking taylor expansion of (* -1 (* (pow z 3) (pow y 3))) in z 13.220 * [taylor]: Taking taylor expansion of -1 in z 13.220 * [backup-simplify]: Simplify -1 into -1 13.220 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in z 13.220 * [taylor]: Taking taylor expansion of (pow z 3) in z 13.220 * [taylor]: Taking taylor expansion of z in z 13.220 * [backup-simplify]: Simplify 0 into 0 13.220 * [backup-simplify]: Simplify 1 into 1 13.221 * [taylor]: Taking taylor expansion of (pow y 3) in z 13.221 * [taylor]: Taking taylor expansion of y in z 13.221 * [backup-simplify]: Simplify y into y 13.221 * [backup-simplify]: Simplify (- 0) into 0 13.221 * [backup-simplify]: Simplify (+ 1 0) into 1 13.222 * [backup-simplify]: Simplify (+ (* y 1) (* 0 (- z))) into y 13.222 * [backup-simplify]: Simplify (+ (* (* -1 (* z y)) y) (* y (* -1 (* z y)))) into (- (* 2 (* z (pow y 2)))) 13.223 * [backup-simplify]: Simplify (+ (* (* -1 (* z y)) (- (* 2 (* z (pow y 2))))) (* y (* (pow z 2) (pow y 2)))) into (* 3 (* (pow z 2) (pow y 3))) 13.223 * [taylor]: Taking taylor expansion of (* 3 (* (pow z 2) (pow y 3))) in z 13.223 * [taylor]: Taking taylor expansion of 3 in z 13.223 * [backup-simplify]: Simplify 3 into 3 13.223 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 3)) in z 13.223 * [taylor]: Taking taylor expansion of (pow z 2) in z 13.223 * [taylor]: Taking taylor expansion of z in z 13.223 * [backup-simplify]: Simplify 0 into 0 13.223 * [backup-simplify]: Simplify 1 into 1 13.223 * [taylor]: Taking taylor expansion of (pow y 3) in z 13.223 * [taylor]: Taking taylor expansion of y in z 13.223 * [backup-simplify]: Simplify y into y 13.223 * [backup-simplify]: Simplify (- 0) into 0 13.224 * [backup-simplify]: Simplify (+ 0 0) into 0 13.224 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 (- z)))) into 0 13.225 * [backup-simplify]: Simplify (+ (* (* -1 (* z y)) 0) (+ (* y y) (* 0 (* -1 (* z y))))) into (pow y 2) 13.225 * [backup-simplify]: Simplify (+ (* (* -1 (* z y)) (pow y 2)) (+ (* y (- (* 2 (* z (pow y 2))))) (* 0 (* (pow z 2) (pow y 2))))) into (- (* 3 (* z (pow y 3)))) 13.226 * [taylor]: Taking taylor expansion of (- (* 3 (* z (pow y 3)))) in z 13.226 * [taylor]: Taking taylor expansion of (* 3 (* z (pow y 3))) in z 13.226 * [taylor]: Taking taylor expansion of 3 in z 13.226 * [backup-simplify]: Simplify 3 into 3 13.226 * [taylor]: Taking taylor expansion of (* z (pow y 3)) in z 13.226 * [taylor]: Taking taylor expansion of z in z 13.226 * [backup-simplify]: Simplify 0 into 0 13.226 * [backup-simplify]: Simplify 1 into 1 13.226 * [taylor]: Taking taylor expansion of (pow y 3) in z 13.226 * [taylor]: Taking taylor expansion of y in z 13.226 * [backup-simplify]: Simplify y into y 13.226 * [backup-simplify]: Simplify (* y y) into (pow y 2) 13.226 * [backup-simplify]: Simplify (* y (pow y 2)) into (pow y 3) 13.226 * [backup-simplify]: Simplify (* 0 (pow y 3)) into 0 13.227 * [backup-simplify]: Simplify (* 3 0) into 0 13.227 * [backup-simplify]: Simplify (- 0) into 0 13.227 * [taylor]: Taking taylor expansion of 0 in y 13.227 * [backup-simplify]: Simplify 0 into 0 13.227 * [backup-simplify]: Simplify 0 into 0 13.227 * [backup-simplify]: Simplify (- 0) into 0 13.228 * [backup-simplify]: Simplify (+ 0 0) into 0 13.229 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- z))))) into 0 13.229 * [backup-simplify]: Simplify (+ (* (* -1 (* z y)) 0) (+ (* y 0) (+ (* 0 y) (* 0 (* -1 (* z y)))))) into 0 13.230 * [backup-simplify]: Simplify (+ (* (* -1 (* z y)) 0) (+ (* y (pow y 2)) (+ (* 0 (- (* 2 (* z (pow y 2))))) (* 0 (* (pow z 2) (pow y 2)))))) into (pow y 3) 13.230 * [taylor]: Taking taylor expansion of (pow y 3) in z 13.230 * [taylor]: Taking taylor expansion of y in z 13.230 * [backup-simplify]: Simplify y into y 13.230 * [backup-simplify]: Simplify (* y y) into (pow y 2) 13.230 * [backup-simplify]: Simplify (* y (pow y 2)) into (pow y 3) 13.230 * [taylor]: Taking taylor expansion of (pow y 3) in y 13.230 * [taylor]: Taking taylor expansion of y in y 13.230 * [backup-simplify]: Simplify 0 into 0 13.230 * [backup-simplify]: Simplify 1 into 1 13.231 * [backup-simplify]: Simplify (* 1 1) into 1 13.231 * [backup-simplify]: Simplify (* 1 1) into 1 13.231 * [backup-simplify]: Simplify 1 into 1 13.231 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 13.231 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (pow y 2))) into 0 13.232 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 3))) into (pow y 3) 13.232 * [backup-simplify]: Simplify (+ (* 3 (pow y 3)) (* 0 0)) into (* 3 (pow y 3)) 13.232 * [backup-simplify]: Simplify (- (* 3 (pow y 3))) into (- (* 3 (pow y 3))) 13.232 * [taylor]: Taking taylor expansion of (- (* 3 (pow y 3))) in y 13.232 * [taylor]: Taking taylor expansion of (* 3 (pow y 3)) in y 13.232 * [taylor]: Taking taylor expansion of 3 in y 13.232 * [backup-simplify]: Simplify 3 into 3 13.233 * [taylor]: Taking taylor expansion of (pow y 3) in y 13.233 * [taylor]: Taking taylor expansion of y in y 13.233 * [backup-simplify]: Simplify 0 into 0 13.233 * [backup-simplify]: Simplify 1 into 1 13.233 * [backup-simplify]: Simplify (* 1 1) into 1 13.233 * [backup-simplify]: Simplify (* 1 1) into 1 13.234 * [backup-simplify]: Simplify (* 3 1) into 3 13.234 * [backup-simplify]: Simplify (- 3) into -3 13.234 * [backup-simplify]: Simplify -3 into -3 13.234 * [backup-simplify]: Simplify (* 1 1) into 1 13.235 * [backup-simplify]: Simplify (* y y) into (pow y 2) 13.235 * [backup-simplify]: Simplify (* y (pow y 2)) into (pow y 3) 13.235 * [backup-simplify]: Simplify (* 1 (pow y 3)) into (pow y 3) 13.235 * [backup-simplify]: Simplify (* 3 (pow y 3)) into (* 3 (pow y 3)) 13.235 * [taylor]: Taking taylor expansion of (* 3 (pow y 3)) in y 13.235 * [taylor]: Taking taylor expansion of 3 in y 13.235 * [backup-simplify]: Simplify 3 into 3 13.235 * [taylor]: Taking taylor expansion of (pow y 3) in y 13.235 * [taylor]: Taking taylor expansion of y in y 13.235 * [backup-simplify]: Simplify 0 into 0 13.235 * [backup-simplify]: Simplify 1 into 1 13.236 * [backup-simplify]: Simplify (* 1 1) into 1 13.236 * [backup-simplify]: Simplify (* 1 1) into 1 13.236 * [backup-simplify]: Simplify (* 3 1) into 3 13.236 * [backup-simplify]: Simplify 3 into 3 13.237 * [backup-simplify]: Simplify (+ (* 3 (* (pow y 3) (* (pow z 2) x))) (+ (* -3 (* (pow y 3) (* z (pow x 2)))) (* 1 (pow (* y (* 1 x)) 3)))) into (- (+ (* 3 (* x (* (pow z 2) (pow y 3)))) (* (pow x 3) (pow y 3))) (* 3 (* (pow x 2) (* z (pow y 3))))) 13.238 * [backup-simplify]: Simplify (pow (* (- (/ 1 x) (/ 1 z)) (/ 1 y)) 3) into (pow (/ (- (/ 1 x) (/ 1 z)) y) 3) 13.238 * [approximate]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 3) in (x z y) around 0 13.238 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 3) in y 13.238 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 13.238 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 13.238 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.238 * [taylor]: Taking taylor expansion of x in y 13.238 * [backup-simplify]: Simplify x into x 13.238 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.238 * [taylor]: Taking taylor expansion of (/ 1 z) in y 13.238 * [taylor]: Taking taylor expansion of z in y 13.238 * [backup-simplify]: Simplify z into z 13.238 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 13.238 * [taylor]: Taking taylor expansion of y in y 13.238 * [backup-simplify]: Simplify 0 into 0 13.238 * [backup-simplify]: Simplify 1 into 1 13.238 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 13.238 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 13.239 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z)) 13.239 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 3) in z 13.239 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 13.239 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 13.239 * [taylor]: Taking taylor expansion of (/ 1 x) in z 13.239 * [taylor]: Taking taylor expansion of x in z 13.239 * [backup-simplify]: Simplify x into x 13.239 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.239 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.239 * [taylor]: Taking taylor expansion of z in z 13.239 * [backup-simplify]: Simplify 0 into 0 13.239 * [backup-simplify]: Simplify 1 into 1 13.239 * [backup-simplify]: Simplify (/ 1 1) into 1 13.239 * [taylor]: Taking taylor expansion of y in z 13.239 * [backup-simplify]: Simplify y into y 13.240 * [backup-simplify]: Simplify (- 1) into -1 13.240 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.240 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 13.240 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 3) in x 13.240 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 13.240 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 13.240 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.240 * [taylor]: Taking taylor expansion of x in x 13.240 * [backup-simplify]: Simplify 0 into 0 13.241 * [backup-simplify]: Simplify 1 into 1 13.241 * [backup-simplify]: Simplify (/ 1 1) into 1 13.241 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.241 * [taylor]: Taking taylor expansion of z in x 13.241 * [backup-simplify]: Simplify z into z 13.241 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 13.241 * [taylor]: Taking taylor expansion of y in x 13.241 * [backup-simplify]: Simplify y into y 13.241 * [backup-simplify]: Simplify (+ 1 0) into 1 13.242 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.242 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 3) in x 13.242 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 13.242 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 13.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.242 * [taylor]: Taking taylor expansion of x in x 13.242 * [backup-simplify]: Simplify 0 into 0 13.242 * [backup-simplify]: Simplify 1 into 1 13.242 * [backup-simplify]: Simplify (/ 1 1) into 1 13.242 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.242 * [taylor]: Taking taylor expansion of z in x 13.242 * [backup-simplify]: Simplify z into z 13.242 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 13.242 * [taylor]: Taking taylor expansion of y in x 13.242 * [backup-simplify]: Simplify y into y 13.243 * [backup-simplify]: Simplify (+ 1 0) into 1 13.243 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.243 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2)) 13.243 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 (pow y 2))) into (/ 1 (pow y 3)) 13.243 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in z 13.243 * [taylor]: Taking taylor expansion of (pow y 3) in z 13.243 * [taylor]: Taking taylor expansion of y in z 13.243 * [backup-simplify]: Simplify y into y 13.243 * [backup-simplify]: Simplify (* y y) into (pow y 2) 13.244 * [backup-simplify]: Simplify (* y (pow y 2)) into (pow y 3) 13.244 * [backup-simplify]: Simplify (/ 1 (pow y 3)) into (/ 1 (pow y 3)) 13.244 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.245 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 13.245 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 13.245 * [backup-simplify]: Simplify (- (/ (- (/ 1 z)) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (/ 1 (* z y))) 13.245 * [backup-simplify]: Simplify (+ (* (/ 1 y) (- (/ 1 (* z y)))) (* (- (/ 1 (* z y))) (/ 1 y))) into (- (* 2 (/ 1 (* z (pow y 2))))) 13.246 * [backup-simplify]: Simplify (+ (* (/ 1 y) (- (* 2 (/ 1 (* z (pow y 2)))))) (* (- (/ 1 (* z y))) (/ 1 (pow y 2)))) into (- (* 3 (/ 1 (* z (pow y 3))))) 13.246 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* z (pow y 3))))) in z 13.246 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* z (pow y 3)))) in z 13.246 * [taylor]: Taking taylor expansion of 3 in z 13.246 * [backup-simplify]: Simplify 3 into 3 13.246 * [taylor]: Taking taylor expansion of (/ 1 (* z (pow y 3))) in z 13.246 * [taylor]: Taking taylor expansion of (* z (pow y 3)) in z 13.246 * [taylor]: Taking taylor expansion of z in z 13.246 * [backup-simplify]: Simplify 0 into 0 13.246 * [backup-simplify]: Simplify 1 into 1 13.246 * [taylor]: Taking taylor expansion of (pow y 3) in z 13.246 * [taylor]: Taking taylor expansion of y in z 13.246 * [backup-simplify]: Simplify y into y 13.246 * [backup-simplify]: Simplify (* y y) into (pow y 2) 13.246 * [backup-simplify]: Simplify (* y (pow y 2)) into (pow y 3) 13.247 * [backup-simplify]: Simplify (* 0 (pow y 3)) into 0 13.247 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 13.247 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (pow y 2))) into 0 13.247 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 3))) into (pow y 3) 13.247 * [backup-simplify]: Simplify (/ 1 (pow y 3)) into (/ 1 (pow y 3)) 13.248 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.249 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 13.249 * [backup-simplify]: Simplify (- 0) into 0 13.249 * [backup-simplify]: Simplify (+ 0 0) into 0 13.250 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)))) into 0 13.250 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* (- (/ 1 (* z y))) (- (/ 1 (* z y)))) (* 0 (/ 1 y)))) into (/ 1 (* (pow z 2) (pow y 2))) 13.251 * [backup-simplify]: Simplify (+ (* (/ 1 y) (/ 1 (* (pow z 2) (pow y 2)))) (+ (* (- (/ 1 (* z y))) (- (* 2 (/ 1 (* z (pow y 2)))))) (* 0 (/ 1 (pow y 2))))) into (* 3 (/ 1 (* (pow z 2) (pow y 3)))) 13.251 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow z 2) (pow y 3)))) in z 13.251 * [taylor]: Taking taylor expansion of 3 in z 13.251 * [backup-simplify]: Simplify 3 into 3 13.251 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 3))) in z 13.251 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 3)) in z 13.251 * [taylor]: Taking taylor expansion of (pow z 2) in z 13.251 * [taylor]: Taking taylor expansion of z in z 13.251 * [backup-simplify]: Simplify 0 into 0 13.251 * [backup-simplify]: Simplify 1 into 1 13.251 * [taylor]: Taking taylor expansion of (pow y 3) in z 13.251 * [taylor]: Taking taylor expansion of y in z 13.251 * [backup-simplify]: Simplify y into y 13.252 * [backup-simplify]: Simplify (* 1 1) into 1 13.252 * [backup-simplify]: Simplify (* y y) into (pow y 2) 13.252 * [backup-simplify]: Simplify (* y (pow y 2)) into (pow y 3) 13.252 * [backup-simplify]: Simplify (* 1 (pow y 3)) into (pow y 3) 13.252 * [backup-simplify]: Simplify (/ 1 (pow y 3)) into (/ 1 (pow y 3)) 13.253 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.254 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 13.254 * [backup-simplify]: Simplify (- 0) into 0 13.254 * [backup-simplify]: Simplify (+ 0 0) into 0 13.255 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.255 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* (- (/ 1 (* z y))) 0) (+ (* 0 (- (/ 1 (* z y)))) (* 0 (/ 1 y))))) into 0 13.256 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* (- (/ 1 (* z y))) (/ 1 (* (pow z 2) (pow y 2)))) (+ (* 0 (- (* 2 (/ 1 (* z (pow y 2)))))) (* 0 (/ 1 (pow y 2)))))) into (- (/ 1 (* (pow z 3) (pow y 3)))) 13.256 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 3) (pow y 3)))) in z 13.256 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in z 13.256 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in z 13.256 * [taylor]: Taking taylor expansion of (pow z 3) in z 13.256 * [taylor]: Taking taylor expansion of z in z 13.256 * [backup-simplify]: Simplify 0 into 0 13.256 * [backup-simplify]: Simplify 1 into 1 13.256 * [taylor]: Taking taylor expansion of (pow y 3) in z 13.256 * [taylor]: Taking taylor expansion of y in z 13.256 * [backup-simplify]: Simplify y into y 13.257 * [backup-simplify]: Simplify (* 1 1) into 1 13.257 * [backup-simplify]: Simplify (* 1 1) into 1 13.257 * [backup-simplify]: Simplify (* y y) into (pow y 2) 13.257 * [backup-simplify]: Simplify (* y (pow y 2)) into (pow y 3) 13.258 * [backup-simplify]: Simplify (* 1 (pow y 3)) into (pow y 3) 13.258 * [backup-simplify]: Simplify (/ 1 (pow y 3)) into (/ 1 (pow y 3)) 13.258 * [backup-simplify]: Simplify (- (/ 1 (pow y 3))) into (- (/ 1 (pow y 3))) 13.258 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3))) in y 13.258 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 13.258 * [taylor]: Taking taylor expansion of (pow y 3) in y 13.258 * [taylor]: Taking taylor expansion of y in y 13.258 * [backup-simplify]: Simplify 0 into 0 13.258 * [backup-simplify]: Simplify 1 into 1 13.258 * [backup-simplify]: Simplify (* 1 1) into 1 13.259 * [backup-simplify]: Simplify (* 1 1) into 1 13.266 * [backup-simplify]: Simplify (/ 1 1) into 1 13.267 * [backup-simplify]: Simplify (- 1) into -1 13.267 * [backup-simplify]: Simplify -1 into -1 13.268 * [backup-simplify]: Simplify (* 3 (/ 1 (pow y 3))) into (/ 3 (pow y 3)) 13.268 * [taylor]: Taking taylor expansion of (/ 3 (pow y 3)) in y 13.268 * [taylor]: Taking taylor expansion of 3 in y 13.268 * [backup-simplify]: Simplify 3 into 3 13.268 * [taylor]: Taking taylor expansion of (pow y 3) in y 13.268 * [taylor]: Taking taylor expansion of y in y 13.268 * [backup-simplify]: Simplify 0 into 0 13.268 * [backup-simplify]: Simplify 1 into 1 13.268 * [backup-simplify]: Simplify (* 1 1) into 1 13.269 * [backup-simplify]: Simplify (* 1 1) into 1 13.269 * [backup-simplify]: Simplify (/ 3 1) into 3 13.269 * [backup-simplify]: Simplify 3 into 3 13.270 * [backup-simplify]: Simplify (* 3 (/ 1 (pow y 3))) into (/ 3 (pow y 3)) 13.270 * [backup-simplify]: Simplify (- (/ 3 (pow y 3))) into (- (* 3 (/ 1 (pow y 3)))) 13.270 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow y 3)))) in y 13.270 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 3))) in y 13.270 * [taylor]: Taking taylor expansion of 3 in y 13.270 * [backup-simplify]: Simplify 3 into 3 13.270 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 13.270 * [taylor]: Taking taylor expansion of (pow y 3) in y 13.270 * [taylor]: Taking taylor expansion of y in y 13.270 * [backup-simplify]: Simplify 0 into 0 13.270 * [backup-simplify]: Simplify 1 into 1 13.271 * [backup-simplify]: Simplify (* 1 1) into 1 13.271 * [backup-simplify]: Simplify (* 1 1) into 1 13.271 * [backup-simplify]: Simplify (/ 1 1) into 1 13.272 * [backup-simplify]: Simplify (* 3 1) into 3 13.272 * [backup-simplify]: Simplify (- 3) into -3 13.272 * [backup-simplify]: Simplify -3 into -3 13.274 * [backup-simplify]: Simplify (+ (* -3 (* (pow (/ 1 y) -3) (* (/ 1 (/ 1 z)) (pow (/ 1 x) -2)))) (+ (* 3 (* (pow (/ 1 y) -3) (* (pow (/ 1 z) -2) (/ 1 (/ 1 x))))) (* -1 (pow (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 z)) 1)) 3)))) into (- (* 3 (* x (* (pow z 2) (pow y 3)))) (+ (* (pow z 3) (pow y 3)) (* 3 (* (pow x 2) (* z (pow y 3)))))) 13.275 * [backup-simplify]: Simplify (pow (* (- (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y))) 3) into (pow (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) 3) 13.275 * [approximate]: Taking taylor expansion of (pow (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) 3) in (x z y) around 0 13.275 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) 3) in y 13.275 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 13.275 * [taylor]: Taking taylor expansion of -1 in y 13.275 * [backup-simplify]: Simplify -1 into -1 13.275 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 13.275 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 13.275 * [taylor]: Taking taylor expansion of (/ 1 z) in y 13.275 * [taylor]: Taking taylor expansion of z in y 13.275 * [backup-simplify]: Simplify z into z 13.275 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 13.275 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.275 * [taylor]: Taking taylor expansion of x in y 13.275 * [backup-simplify]: Simplify x into x 13.275 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.275 * [taylor]: Taking taylor expansion of y in y 13.275 * [backup-simplify]: Simplify 0 into 0 13.275 * [backup-simplify]: Simplify 1 into 1 13.275 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 13.276 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x)) 13.276 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x)) 13.276 * [backup-simplify]: Simplify (* -1 (- (/ 1 z) (/ 1 x))) into (* -1 (- (/ 1 z) (/ 1 x))) 13.277 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) 3) in z 13.277 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z 13.277 * [taylor]: Taking taylor expansion of -1 in z 13.277 * [backup-simplify]: Simplify -1 into -1 13.277 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 13.277 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 13.277 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.277 * [taylor]: Taking taylor expansion of z in z 13.277 * [backup-simplify]: Simplify 0 into 0 13.277 * [backup-simplify]: Simplify 1 into 1 13.278 * [backup-simplify]: Simplify (/ 1 1) into 1 13.278 * [taylor]: Taking taylor expansion of (/ 1 x) in z 13.278 * [taylor]: Taking taylor expansion of x in z 13.278 * [backup-simplify]: Simplify x into x 13.278 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.278 * [taylor]: Taking taylor expansion of y in z 13.278 * [backup-simplify]: Simplify y into y 13.278 * [backup-simplify]: Simplify (+ 1 0) into 1 13.278 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.278 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y) 13.278 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) 3) in x 13.278 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 13.279 * [taylor]: Taking taylor expansion of -1 in x 13.279 * [backup-simplify]: Simplify -1 into -1 13.279 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 13.279 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 13.279 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.279 * [taylor]: Taking taylor expansion of z in x 13.279 * [backup-simplify]: Simplify z into z 13.279 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 13.279 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.279 * [taylor]: Taking taylor expansion of x in x 13.279 * [backup-simplify]: Simplify 0 into 0 13.279 * [backup-simplify]: Simplify 1 into 1 13.279 * [backup-simplify]: Simplify (/ 1 1) into 1 13.279 * [taylor]: Taking taylor expansion of y in x 13.279 * [backup-simplify]: Simplify y into y 13.280 * [backup-simplify]: Simplify (- 1) into -1 13.280 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.280 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 13.280 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 13.280 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) 3) in x 13.280 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 13.280 * [taylor]: Taking taylor expansion of -1 in x 13.280 * [backup-simplify]: Simplify -1 into -1 13.280 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 13.281 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 13.281 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.281 * [taylor]: Taking taylor expansion of z in x 13.281 * [backup-simplify]: Simplify z into z 13.281 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 13.281 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.281 * [taylor]: Taking taylor expansion of x in x 13.281 * [backup-simplify]: Simplify 0 into 0 13.281 * [backup-simplify]: Simplify 1 into 1 13.281 * [backup-simplify]: Simplify (/ 1 1) into 1 13.281 * [taylor]: Taking taylor expansion of y in x 13.281 * [backup-simplify]: Simplify y into y 13.282 * [backup-simplify]: Simplify (- 1) into -1 13.282 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.282 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 13.282 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 13.282 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2)) 13.283 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 (pow y 2))) into (/ 1 (pow y 3)) 13.283 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in z 13.283 * [taylor]: Taking taylor expansion of (pow y 3) in z 13.283 * [taylor]: Taking taylor expansion of y in z 13.283 * [backup-simplify]: Simplify y into y 13.283 * [backup-simplify]: Simplify (* y y) into (pow y 2) 13.283 * [backup-simplify]: Simplify (* y (pow y 2)) into (pow y 3) 13.283 * [backup-simplify]: Simplify (/ 1 (pow y 3)) into (/ 1 (pow y 3)) 13.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.284 * [backup-simplify]: Simplify (- 0) into 0 13.284 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 13.285 * [backup-simplify]: Simplify (- (/ (/ 1 z) y) (+ (* (/ -1 y) (/ 0 y)))) into (/ 1 (* z y)) 13.285 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (* z y))) (* 0 (/ -1 y))) into (- (/ 1 (* z y))) 13.285 * [backup-simplify]: Simplify (+ (* (/ 1 y) (- (/ 1 (* z y)))) (* (- (/ 1 (* z y))) (/ 1 y))) into (- (* 2 (/ 1 (* z (pow y 2))))) 13.286 * [backup-simplify]: Simplify (+ (* (/ 1 y) (- (* 2 (/ 1 (* z (pow y 2)))))) (* (- (/ 1 (* z y))) (/ 1 (pow y 2)))) into (- (* 3 (/ 1 (* z (pow y 3))))) 13.286 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* z (pow y 3))))) in z 13.286 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* z (pow y 3)))) in z 13.286 * [taylor]: Taking taylor expansion of 3 in z 13.286 * [backup-simplify]: Simplify 3 into 3 13.286 * [taylor]: Taking taylor expansion of (/ 1 (* z (pow y 3))) in z 13.286 * [taylor]: Taking taylor expansion of (* z (pow y 3)) in z 13.286 * [taylor]: Taking taylor expansion of z in z 13.286 * [backup-simplify]: Simplify 0 into 0 13.286 * [backup-simplify]: Simplify 1 into 1 13.286 * [taylor]: Taking taylor expansion of (pow y 3) in z 13.286 * [taylor]: Taking taylor expansion of y in z 13.286 * [backup-simplify]: Simplify y into y 13.286 * [backup-simplify]: Simplify (* y y) into (pow y 2) 13.286 * [backup-simplify]: Simplify (* y (pow y 2)) into (pow y 3) 13.287 * [backup-simplify]: Simplify (* 0 (pow y 3)) into 0 13.287 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 13.287 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (pow y 2))) into 0 13.287 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 3))) into (pow y 3) 13.288 * [backup-simplify]: Simplify (/ 1 (pow y 3)) into (/ 1 (pow y 3)) 13.288 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 13.289 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.289 * [backup-simplify]: Simplify (- 0) into 0 13.289 * [backup-simplify]: Simplify (+ 0 0) into 0 13.290 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (/ 1 (* z y)) (/ 0 y)))) into 0 13.290 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (* z y))) (* 0 (/ -1 y)))) into 0 13.291 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* (- (/ 1 (* z y))) (- (/ 1 (* z y)))) (* 0 (/ 1 y)))) into (/ 1 (* (pow z 2) (pow y 2))) 13.292 * [backup-simplify]: Simplify (+ (* (/ 1 y) (/ 1 (* (pow z 2) (pow y 2)))) (+ (* (- (/ 1 (* z y))) (- (* 2 (/ 1 (* z (pow y 2)))))) (* 0 (/ 1 (pow y 2))))) into (* 3 (/ 1 (* (pow z 2) (pow y 3)))) 13.292 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow z 2) (pow y 3)))) in z 13.292 * [taylor]: Taking taylor expansion of 3 in z 13.292 * [backup-simplify]: Simplify 3 into 3 13.292 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 3))) in z 13.292 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 3)) in z 13.292 * [taylor]: Taking taylor expansion of (pow z 2) in z 13.292 * [taylor]: Taking taylor expansion of z in z 13.292 * [backup-simplify]: Simplify 0 into 0 13.292 * [backup-simplify]: Simplify 1 into 1 13.292 * [taylor]: Taking taylor expansion of (pow y 3) in z 13.292 * [taylor]: Taking taylor expansion of y in z 13.292 * [backup-simplify]: Simplify y into y 13.292 * [backup-simplify]: Simplify (* 1 1) into 1 13.293 * [backup-simplify]: Simplify (* y y) into (pow y 2) 13.293 * [backup-simplify]: Simplify (* y (pow y 2)) into (pow y 3) 13.293 * [backup-simplify]: Simplify (* 1 (pow y 3)) into (pow y 3) 13.293 * [backup-simplify]: Simplify (/ 1 (pow y 3)) into (/ 1 (pow y 3)) 13.293 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 13.294 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.294 * [backup-simplify]: Simplify (- 0) into 0 13.295 * [backup-simplify]: Simplify (+ 0 0) into 0 13.295 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (/ 1 (* z y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.296 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (* z y))) (* 0 (/ -1 y))))) into 0 13.297 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* (- (/ 1 (* z y))) 0) (+ (* 0 (- (/ 1 (* z y)))) (* 0 (/ 1 y))))) into 0 13.298 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* (- (/ 1 (* z y))) (/ 1 (* (pow z 2) (pow y 2)))) (+ (* 0 (- (* 2 (/ 1 (* z (pow y 2)))))) (* 0 (/ 1 (pow y 2)))))) into (- (/ 1 (* (pow z 3) (pow y 3)))) 13.298 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 3) (pow y 3)))) in z 13.298 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in z 13.298 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in z 13.298 * [taylor]: Taking taylor expansion of (pow z 3) in z 13.298 * [taylor]: Taking taylor expansion of z in z 13.298 * [backup-simplify]: Simplify 0 into 0 13.298 * [backup-simplify]: Simplify 1 into 1 13.298 * [taylor]: Taking taylor expansion of (pow y 3) in z 13.298 * [taylor]: Taking taylor expansion of y in z 13.298 * [backup-simplify]: Simplify y into y 13.298 * [backup-simplify]: Simplify (* 1 1) into 1 13.299 * [backup-simplify]: Simplify (* 1 1) into 1 13.299 * [backup-simplify]: Simplify (* y y) into (pow y 2) 13.299 * [backup-simplify]: Simplify (* y (pow y 2)) into (pow y 3) 13.299 * [backup-simplify]: Simplify (* 1 (pow y 3)) into (pow y 3) 13.299 * [backup-simplify]: Simplify (/ 1 (pow y 3)) into (/ 1 (pow y 3)) 13.299 * [backup-simplify]: Simplify (- (/ 1 (pow y 3))) into (- (/ 1 (pow y 3))) 13.299 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3))) in y 13.300 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 13.300 * [taylor]: Taking taylor expansion of (pow y 3) in y 13.300 * [taylor]: Taking taylor expansion of y in y 13.300 * [backup-simplify]: Simplify 0 into 0 13.300 * [backup-simplify]: Simplify 1 into 1 13.300 * [backup-simplify]: Simplify (* 1 1) into 1 13.300 * [backup-simplify]: Simplify (* 1 1) into 1 13.301 * [backup-simplify]: Simplify (/ 1 1) into 1 13.301 * [backup-simplify]: Simplify (- 1) into -1 13.301 * [backup-simplify]: Simplify -1 into -1 13.301 * [backup-simplify]: Simplify (* 3 (/ 1 (pow y 3))) into (/ 3 (pow y 3)) 13.301 * [taylor]: Taking taylor expansion of (/ 3 (pow y 3)) in y 13.301 * [taylor]: Taking taylor expansion of 3 in y 13.301 * [backup-simplify]: Simplify 3 into 3 13.302 * [taylor]: Taking taylor expansion of (pow y 3) in y 13.302 * [taylor]: Taking taylor expansion of y in y 13.302 * [backup-simplify]: Simplify 0 into 0 13.302 * [backup-simplify]: Simplify 1 into 1 13.302 * [backup-simplify]: Simplify (* 1 1) into 1 13.302 * [backup-simplify]: Simplify (* 1 1) into 1 13.303 * [backup-simplify]: Simplify (/ 3 1) into 3 13.303 * [backup-simplify]: Simplify 3 into 3 13.303 * [backup-simplify]: Simplify (* 3 (/ 1 (pow y 3))) into (/ 3 (pow y 3)) 13.303 * [backup-simplify]: Simplify (- (/ 3 (pow y 3))) into (- (* 3 (/ 1 (pow y 3)))) 13.303 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow y 3)))) in y 13.303 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 3))) in y 13.303 * [taylor]: Taking taylor expansion of 3 in y 13.303 * [backup-simplify]: Simplify 3 into 3 13.303 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 13.303 * [taylor]: Taking taylor expansion of (pow y 3) in y 13.303 * [taylor]: Taking taylor expansion of y in y 13.303 * [backup-simplify]: Simplify 0 into 0 13.303 * [backup-simplify]: Simplify 1 into 1 13.304 * [backup-simplify]: Simplify (* 1 1) into 1 13.304 * [backup-simplify]: Simplify (* 1 1) into 1 13.305 * [backup-simplify]: Simplify (/ 1 1) into 1 13.305 * [backup-simplify]: Simplify (* 3 1) into 3 13.305 * [backup-simplify]: Simplify (- 3) into -3 13.305 * [backup-simplify]: Simplify -3 into -3 13.307 * [backup-simplify]: Simplify (+ (* -3 (* (pow (/ 1 (- y)) -3) (* (/ 1 (/ 1 (- z))) (pow (/ 1 (- x)) -2)))) (+ (* 3 (* (pow (/ 1 (- y)) -3) (* (pow (/ 1 (- z)) -2) (/ 1 (/ 1 (- x)))))) (* -1 (pow (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- z))) 1)) 3)))) into (- (* 3 (* x (* (pow z 2) (pow y 3)))) (+ (* (pow z 3) (pow y 3)) (* 3 (* (pow x 2) (* z (pow y 3)))))) 13.307 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 13.308 * [backup-simplify]: Simplify (* (- x z) y) into (* y (- x z)) 13.308 * [approximate]: Taking taylor expansion of (* y (- x z)) in (x z y) around 0 13.308 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 13.308 * [taylor]: Taking taylor expansion of y in y 13.308 * [backup-simplify]: Simplify 0 into 0 13.308 * [backup-simplify]: Simplify 1 into 1 13.308 * [taylor]: Taking taylor expansion of (- x z) in y 13.308 * [taylor]: Taking taylor expansion of x in y 13.308 * [backup-simplify]: Simplify x into x 13.308 * [taylor]: Taking taylor expansion of z in y 13.308 * [backup-simplify]: Simplify z into z 13.308 * [taylor]: Taking taylor expansion of (* y (- x z)) in z 13.308 * [taylor]: Taking taylor expansion of y in z 13.308 * [backup-simplify]: Simplify y into y 13.308 * [taylor]: Taking taylor expansion of (- x z) in z 13.308 * [taylor]: Taking taylor expansion of x in z 13.308 * [backup-simplify]: Simplify x into x 13.308 * [taylor]: Taking taylor expansion of z in z 13.308 * [backup-simplify]: Simplify 0 into 0 13.308 * [backup-simplify]: Simplify 1 into 1 13.308 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 13.308 * [taylor]: Taking taylor expansion of y in x 13.308 * [backup-simplify]: Simplify y into y 13.308 * [taylor]: Taking taylor expansion of (- x z) in x 13.308 * [taylor]: Taking taylor expansion of x in x 13.308 * [backup-simplify]: Simplify 0 into 0 13.308 * [backup-simplify]: Simplify 1 into 1 13.308 * [taylor]: Taking taylor expansion of z in x 13.308 * [backup-simplify]: Simplify z into z 13.308 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 13.309 * [taylor]: Taking taylor expansion of y in x 13.309 * [backup-simplify]: Simplify y into y 13.309 * [taylor]: Taking taylor expansion of (- x z) in x 13.309 * [taylor]: Taking taylor expansion of x in x 13.309 * [backup-simplify]: Simplify 0 into 0 13.309 * [backup-simplify]: Simplify 1 into 1 13.309 * [taylor]: Taking taylor expansion of z in x 13.309 * [backup-simplify]: Simplify z into z 13.309 * [backup-simplify]: Simplify (- z) into (- z) 13.309 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 13.309 * [backup-simplify]: Simplify (* y (- z)) into (* -1 (* z y)) 13.309 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 13.309 * [taylor]: Taking taylor expansion of -1 in z 13.309 * [backup-simplify]: Simplify -1 into -1 13.309 * [taylor]: Taking taylor expansion of (* z y) in z 13.309 * [taylor]: Taking taylor expansion of z in z 13.309 * [backup-simplify]: Simplify 0 into 0 13.309 * [backup-simplify]: Simplify 1 into 1 13.309 * [taylor]: Taking taylor expansion of y in z 13.309 * [backup-simplify]: Simplify y into y 13.309 * [backup-simplify]: Simplify (* 0 y) into 0 13.310 * [backup-simplify]: Simplify (* -1 0) into 0 13.310 * [taylor]: Taking taylor expansion of 0 in y 13.310 * [backup-simplify]: Simplify 0 into 0 13.310 * [backup-simplify]: Simplify 0 into 0 13.310 * [backup-simplify]: Simplify (- 0) into 0 13.311 * [backup-simplify]: Simplify (+ 1 0) into 1 13.311 * [backup-simplify]: Simplify (+ (* y 1) (* 0 (- z))) into y 13.311 * [taylor]: Taking taylor expansion of y in z 13.311 * [backup-simplify]: Simplify y into y 13.311 * [taylor]: Taking taylor expansion of y in y 13.311 * [backup-simplify]: Simplify 0 into 0 13.311 * [backup-simplify]: Simplify 1 into 1 13.311 * [backup-simplify]: Simplify 0 into 0 13.311 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 13.312 * [backup-simplify]: Simplify (+ (* -1 y) (* 0 0)) into (- y) 13.312 * [taylor]: Taking taylor expansion of (- y) in y 13.312 * [taylor]: Taking taylor expansion of y in y 13.312 * [backup-simplify]: Simplify 0 into 0 13.312 * [backup-simplify]: Simplify 1 into 1 13.312 * [backup-simplify]: Simplify (- 0) into 0 13.312 * [backup-simplify]: Simplify 0 into 0 13.312 * [backup-simplify]: Simplify 0 into 0 13.313 * [backup-simplify]: Simplify (- 0) into 0 13.313 * [backup-simplify]: Simplify (+ 0 0) into 0 13.314 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 (- z)))) into 0 13.314 * [taylor]: Taking taylor expansion of 0 in z 13.314 * [backup-simplify]: Simplify 0 into 0 13.314 * [taylor]: Taking taylor expansion of 0 in y 13.314 * [backup-simplify]: Simplify 0 into 0 13.314 * [backup-simplify]: Simplify 0 into 0 13.314 * [taylor]: Taking taylor expansion of 0 in y 13.314 * [backup-simplify]: Simplify 0 into 0 13.314 * [backup-simplify]: Simplify 0 into 0 13.314 * [backup-simplify]: Simplify 0 into 0 13.314 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 1 z)) (/ 1 y)) into (/ (- (/ 1 x) (/ 1 z)) y) 13.314 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (x z y) around 0 13.314 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 13.314 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 13.314 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.314 * [taylor]: Taking taylor expansion of x in y 13.315 * [backup-simplify]: Simplify x into x 13.315 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.315 * [taylor]: Taking taylor expansion of (/ 1 z) in y 13.315 * [taylor]: Taking taylor expansion of z in y 13.315 * [backup-simplify]: Simplify z into z 13.315 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 13.315 * [taylor]: Taking taylor expansion of y in y 13.315 * [backup-simplify]: Simplify 0 into 0 13.315 * [backup-simplify]: Simplify 1 into 1 13.315 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 13.315 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 13.315 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z)) 13.315 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 13.315 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 13.315 * [taylor]: Taking taylor expansion of (/ 1 x) in z 13.315 * [taylor]: Taking taylor expansion of x in z 13.315 * [backup-simplify]: Simplify x into x 13.315 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.315 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.315 * [taylor]: Taking taylor expansion of z in z 13.315 * [backup-simplify]: Simplify 0 into 0 13.316 * [backup-simplify]: Simplify 1 into 1 13.316 * [backup-simplify]: Simplify (/ 1 1) into 1 13.316 * [taylor]: Taking taylor expansion of y in z 13.316 * [backup-simplify]: Simplify y into y 13.316 * [backup-simplify]: Simplify (- 1) into -1 13.317 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.317 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 13.317 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 13.317 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 13.317 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.317 * [taylor]: Taking taylor expansion of x in x 13.317 * [backup-simplify]: Simplify 0 into 0 13.317 * [backup-simplify]: Simplify 1 into 1 13.317 * [backup-simplify]: Simplify (/ 1 1) into 1 13.317 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.318 * [taylor]: Taking taylor expansion of z in x 13.318 * [backup-simplify]: Simplify z into z 13.318 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 13.318 * [taylor]: Taking taylor expansion of y in x 13.318 * [backup-simplify]: Simplify y into y 13.318 * [backup-simplify]: Simplify (+ 1 0) into 1 13.318 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.318 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 13.318 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 13.318 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.318 * [taylor]: Taking taylor expansion of x in x 13.318 * [backup-simplify]: Simplify 0 into 0 13.318 * [backup-simplify]: Simplify 1 into 1 13.319 * [backup-simplify]: Simplify (/ 1 1) into 1 13.319 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.319 * [taylor]: Taking taylor expansion of z in x 13.319 * [backup-simplify]: Simplify z into z 13.319 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 13.319 * [taylor]: Taking taylor expansion of y in x 13.319 * [backup-simplify]: Simplify y into y 13.319 * [backup-simplify]: Simplify (+ 1 0) into 1 13.319 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.320 * [taylor]: Taking taylor expansion of (/ 1 y) in z 13.320 * [taylor]: Taking taylor expansion of y in z 13.320 * [backup-simplify]: Simplify y into y 13.320 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.320 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.321 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 13.321 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 13.321 * [backup-simplify]: Simplify (- (/ (- (/ 1 z)) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (/ 1 (* z y))) 13.321 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 13.321 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 13.321 * [taylor]: Taking taylor expansion of (* z y) in z 13.321 * [taylor]: Taking taylor expansion of z in z 13.321 * [backup-simplify]: Simplify 0 into 0 13.321 * [backup-simplify]: Simplify 1 into 1 13.321 * [taylor]: Taking taylor expansion of y in z 13.321 * [backup-simplify]: Simplify y into y 13.321 * [backup-simplify]: Simplify (* 0 y) into 0 13.322 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 13.322 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.322 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 13.322 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 13.322 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.322 * [taylor]: Taking taylor expansion of y in y 13.322 * [backup-simplify]: Simplify 0 into 0 13.322 * [backup-simplify]: Simplify 1 into 1 13.322 * [backup-simplify]: Simplify (/ 1 1) into 1 13.323 * [backup-simplify]: Simplify (- 1) into -1 13.323 * [backup-simplify]: Simplify -1 into -1 13.323 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.323 * [taylor]: Taking taylor expansion of y in y 13.323 * [backup-simplify]: Simplify 0 into 0 13.323 * [backup-simplify]: Simplify 1 into 1 13.323 * [backup-simplify]: Simplify (/ 1 1) into 1 13.323 * [backup-simplify]: Simplify 1 into 1 13.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.325 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 13.325 * [backup-simplify]: Simplify (- 0) into 0 13.325 * [backup-simplify]: Simplify (+ 0 0) into 0 13.326 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)))) into 0 13.326 * [taylor]: Taking taylor expansion of 0 in z 13.326 * [backup-simplify]: Simplify 0 into 0 13.327 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 13.327 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 13.327 * [backup-simplify]: Simplify (- 0) into 0 13.327 * [taylor]: Taking taylor expansion of 0 in y 13.327 * [backup-simplify]: Simplify 0 into 0 13.327 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 13.327 * [taylor]: Taking taylor expansion of 0 in y 13.327 * [backup-simplify]: Simplify 0 into 0 13.328 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.329 * [backup-simplify]: Simplify (- 0) into 0 13.329 * [backup-simplify]: Simplify 0 into 0 13.329 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.329 * [backup-simplify]: Simplify 0 into 0 13.330 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.330 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 13.331 * [backup-simplify]: Simplify (- 0) into 0 13.331 * [backup-simplify]: Simplify (+ 0 0) into 0 13.332 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.332 * [taylor]: Taking taylor expansion of 0 in z 13.332 * [backup-simplify]: Simplify 0 into 0 13.332 * [taylor]: Taking taylor expansion of 0 in y 13.332 * [backup-simplify]: Simplify 0 into 0 13.333 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 13.333 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.333 * [backup-simplify]: Simplify (- 0) into 0 13.333 * [taylor]: Taking taylor expansion of 0 in y 13.334 * [backup-simplify]: Simplify 0 into 0 13.334 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.334 * [taylor]: Taking taylor expansion of 0 in y 13.334 * [backup-simplify]: Simplify 0 into 0 13.334 * [backup-simplify]: Simplify 0 into 0 13.334 * [backup-simplify]: Simplify 0 into 0 13.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.335 * [backup-simplify]: Simplify (- 0) into 0 13.335 * [backup-simplify]: Simplify 0 into 0 13.336 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.336 * [backup-simplify]: Simplify 0 into 0 13.336 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 y)) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 z)) 1)))) into (- (* x y) (* z y)) 13.337 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y))) into (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) 13.337 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (x z y) around 0 13.337 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 13.337 * [taylor]: Taking taylor expansion of -1 in y 13.337 * [backup-simplify]: Simplify -1 into -1 13.337 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 13.337 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 13.337 * [taylor]: Taking taylor expansion of (/ 1 z) in y 13.337 * [taylor]: Taking taylor expansion of z in y 13.337 * [backup-simplify]: Simplify z into z 13.337 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 13.337 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.337 * [taylor]: Taking taylor expansion of x in y 13.337 * [backup-simplify]: Simplify x into x 13.337 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.337 * [taylor]: Taking taylor expansion of y in y 13.337 * [backup-simplify]: Simplify 0 into 0 13.337 * [backup-simplify]: Simplify 1 into 1 13.337 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 13.337 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x)) 13.337 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x)) 13.337 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z 13.337 * [taylor]: Taking taylor expansion of -1 in z 13.337 * [backup-simplify]: Simplify -1 into -1 13.337 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 13.338 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 13.338 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.338 * [taylor]: Taking taylor expansion of z in z 13.338 * [backup-simplify]: Simplify 0 into 0 13.338 * [backup-simplify]: Simplify 1 into 1 13.338 * [backup-simplify]: Simplify (/ 1 1) into 1 13.338 * [taylor]: Taking taylor expansion of (/ 1 x) in z 13.338 * [taylor]: Taking taylor expansion of x in z 13.338 * [backup-simplify]: Simplify x into x 13.338 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.338 * [taylor]: Taking taylor expansion of y in z 13.338 * [backup-simplify]: Simplify y into y 13.339 * [backup-simplify]: Simplify (+ 1 0) into 1 13.339 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.339 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 13.339 * [taylor]: Taking taylor expansion of -1 in x 13.339 * [backup-simplify]: Simplify -1 into -1 13.339 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 13.339 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 13.339 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.339 * [taylor]: Taking taylor expansion of z in x 13.339 * [backup-simplify]: Simplify z into z 13.339 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 13.339 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.339 * [taylor]: Taking taylor expansion of x in x 13.339 * [backup-simplify]: Simplify 0 into 0 13.339 * [backup-simplify]: Simplify 1 into 1 13.339 * [backup-simplify]: Simplify (/ 1 1) into 1 13.339 * [taylor]: Taking taylor expansion of y in x 13.340 * [backup-simplify]: Simplify y into y 13.340 * [backup-simplify]: Simplify (- 1) into -1 13.340 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.340 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 13.340 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 13.341 * [taylor]: Taking taylor expansion of -1 in x 13.341 * [backup-simplify]: Simplify -1 into -1 13.341 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 13.341 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 13.341 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.341 * [taylor]: Taking taylor expansion of z in x 13.341 * [backup-simplify]: Simplify z into z 13.341 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 13.341 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.341 * [taylor]: Taking taylor expansion of x in x 13.341 * [backup-simplify]: Simplify 0 into 0 13.341 * [backup-simplify]: Simplify 1 into 1 13.341 * [backup-simplify]: Simplify (/ 1 1) into 1 13.341 * [taylor]: Taking taylor expansion of y in x 13.341 * [backup-simplify]: Simplify y into y 13.342 * [backup-simplify]: Simplify (- 1) into -1 13.342 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.342 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 13.342 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 13.342 * [taylor]: Taking taylor expansion of (/ 1 y) in z 13.342 * [taylor]: Taking taylor expansion of y in z 13.342 * [backup-simplify]: Simplify y into y 13.343 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.344 * [backup-simplify]: Simplify (- 0) into 0 13.344 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 13.344 * [backup-simplify]: Simplify (- (/ (/ 1 z) y) (+ (* (/ -1 y) (/ 0 y)))) into (/ 1 (* z y)) 13.344 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (* z y))) (* 0 (/ -1 y))) into (- (/ 1 (* z y))) 13.344 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 13.344 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 13.344 * [taylor]: Taking taylor expansion of (* z y) in z 13.344 * [taylor]: Taking taylor expansion of z in z 13.344 * [backup-simplify]: Simplify 0 into 0 13.344 * [backup-simplify]: Simplify 1 into 1 13.344 * [taylor]: Taking taylor expansion of y in z 13.344 * [backup-simplify]: Simplify y into y 13.344 * [backup-simplify]: Simplify (* 0 y) into 0 13.345 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 13.345 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.345 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 13.345 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 13.345 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.345 * [taylor]: Taking taylor expansion of y in y 13.345 * [backup-simplify]: Simplify 0 into 0 13.345 * [backup-simplify]: Simplify 1 into 1 13.345 * [backup-simplify]: Simplify (/ 1 1) into 1 13.346 * [backup-simplify]: Simplify (- 1) into -1 13.346 * [backup-simplify]: Simplify -1 into -1 13.346 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.346 * [taylor]: Taking taylor expansion of y in y 13.346 * [backup-simplify]: Simplify 0 into 0 13.346 * [backup-simplify]: Simplify 1 into 1 13.346 * [backup-simplify]: Simplify (/ 1 1) into 1 13.346 * [backup-simplify]: Simplify 1 into 1 13.346 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 13.347 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.348 * [backup-simplify]: Simplify (- 0) into 0 13.348 * [backup-simplify]: Simplify (+ 0 0) into 0 13.348 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (/ 1 (* z y)) (/ 0 y)))) into 0 13.349 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (* z y))) (* 0 (/ -1 y)))) into 0 13.349 * [taylor]: Taking taylor expansion of 0 in z 13.349 * [backup-simplify]: Simplify 0 into 0 13.350 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 13.350 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 13.350 * [backup-simplify]: Simplify (- 0) into 0 13.350 * [taylor]: Taking taylor expansion of 0 in y 13.350 * [backup-simplify]: Simplify 0 into 0 13.351 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 13.351 * [taylor]: Taking taylor expansion of 0 in y 13.351 * [backup-simplify]: Simplify 0 into 0 13.351 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.352 * [backup-simplify]: Simplify (- 0) into 0 13.352 * [backup-simplify]: Simplify 0 into 0 13.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.353 * [backup-simplify]: Simplify 0 into 0 13.353 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 13.354 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.354 * [backup-simplify]: Simplify (- 0) into 0 13.354 * [backup-simplify]: Simplify (+ 0 0) into 0 13.355 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (/ 1 (* z y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.356 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (* z y))) (* 0 (/ -1 y))))) into 0 13.356 * [taylor]: Taking taylor expansion of 0 in z 13.356 * [backup-simplify]: Simplify 0 into 0 13.356 * [taylor]: Taking taylor expansion of 0 in y 13.356 * [backup-simplify]: Simplify 0 into 0 13.357 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 13.357 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.358 * [backup-simplify]: Simplify (- 0) into 0 13.358 * [taylor]: Taking taylor expansion of 0 in y 13.358 * [backup-simplify]: Simplify 0 into 0 13.358 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.358 * [taylor]: Taking taylor expansion of 0 in y 13.358 * [backup-simplify]: Simplify 0 into 0 13.358 * [backup-simplify]: Simplify 0 into 0 13.358 * [backup-simplify]: Simplify 0 into 0 13.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.359 * [backup-simplify]: Simplify (- 0) into 0 13.359 * [backup-simplify]: Simplify 0 into 0 13.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.360 * [backup-simplify]: Simplify 0 into 0 13.361 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- y))) (* 1 (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- z))) 1)))) into (- (* x y) (* z y)) 13.361 * * * [progress]: simplifying candidates 13.363 * [simplify]: Simplifying: (log (cbrt (pow (* (- x z) y) 3))) (exp (cbrt (pow (* (- x z) y) 3))) (cbrt (pow (- x z) 3)) (cbrt (pow y 3)) (cbrt (* (* (- x z) y) (* (- x z) y))) (cbrt (* (- x z) y)) (cbrt (* (cbrt (pow (* (- x z) y) 3)) (cbrt (pow (* (- x z) y) 3)))) (cbrt (cbrt (pow (* (- x z) y) 3))) (cbrt (pow (- x z) 3)) (cbrt (pow y 3)) (cbrt (* (- x z) y)) (cbrt (* (* (- x z) y) (* (- x z) y))) (cbrt (sqrt (pow (* (- x z) y) 3))) (cbrt (sqrt (pow (* (- x z) y) 3))) (cbrt 1) (cbrt (pow (* (- x z) y) 3)) (cbrt (pow (* (- x z) y) (/ 3 2))) (cbrt (pow (* (- x z) y) (/ 3 2))) (cbrt (pow (* (- (pow x 3) (pow z 3)) y) 3)) (cbrt (pow (+ (* x x) (+ (* z z) (* x z))) 3)) (cbrt (pow (* (- (* x x) (* z z)) y) 3)) (cbrt (pow (+ x z) 3)) (* (cbrt (cbrt (pow (* (- x z) y) 3))) (cbrt (cbrt (pow (* (- x z) y) 3)))) (cbrt (cbrt (pow (* (- x z) y) 3))) (* (* (cbrt (pow (* (- x z) y) 3)) (cbrt (pow (* (- x z) y) 3))) (cbrt (pow (* (- x z) y) 3))) (sqrt (cbrt (pow (* (- x z) y) 3))) (sqrt (cbrt (pow (* (- x z) y) 3))) (* (+ (log (- x z)) (log y)) 3) (* (log (* (- x z) y)) 3) (* (log (* (- x z) y)) 3) (* 1 3) (* 1 3) (pow (* (- x z) y) (* (cbrt 3) (cbrt 3))) (pow (* (- x z) y) (sqrt 3)) (pow (* (- x z) y) 1) (pow (- x z) 3) (pow y 3) (* (* (- x z) y) (* (- x z) y)) (log (pow (* (- x z) y) 3)) (exp (pow (* (- x z) y) 3)) (* (cbrt (pow (* (- x z) y) 3)) (cbrt (pow (* (- x z) y) 3))) (cbrt (pow (* (- x z) y) 3)) (* (* (pow (* (- x z) y) 3) (pow (* (- x z) y) 3)) (pow (* (- x z) y) 3)) (pow (- x z) 3) (pow y 3) (pow (* (- (pow x 3) (pow z 3)) y) 3) (pow (+ (* x x) (+ (* z z) (* x z))) 3) (pow (* (- (* x x) (* z z)) y) 3) (pow (+ x z) 3) (* (* (- x z) y) (* (- x z) y)) (sqrt (pow (* (- x z) y) 3)) (sqrt (pow (* (- x z) y) 3)) (pow (* (- x z) y) (/ 3 2)) (pow (* (- x z) y) (/ 3 2)) (* (- x z) y) (+ (log (- x z)) (log y)) (log (* (- x z) y)) (exp (* (- x z) y)) (* (* (* (- x z) (- x z)) (- x z)) (* (* y y) y)) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (cbrt (* (- x z) y)) (* (* (* (- x z) y) (* (- x z) y)) (* (- x z) y)) (sqrt (* (- x z) y)) (sqrt (* (- x z) y)) (* (sqrt (- x z)) (sqrt y)) (* (sqrt (- x z)) (sqrt y)) (* (- x z) (* (cbrt y) (cbrt y))) (* (- x z) (sqrt y)) (* (- x z) 1) (* (cbrt (- x z)) y) (* (sqrt (- x z)) y) (* (- x z) y) (* (- (sqrt x) (sqrt z)) y) (* (- x z) y) (* (- (pow x 3) (pow z 3)) y) (* (- (* x x) (* z z)) y) 0 (- (* x y) (* z y)) (- (* (cbrt -1) (* z y)) (* (cbrt -1) (* x y))) (- (+ (* 3 (* x (* (pow z 2) (pow y 3)))) (* (pow x 3) (pow y 3))) (* 3 (* (pow x 2) (* z (pow y 3))))) (- (* 3 (* x (* (pow z 2) (pow y 3)))) (+ (* (pow z 3) (pow y 3)) (* 3 (* (pow x 2) (* z (pow y 3)))))) (- (* 3 (* x (* (pow z 2) (pow y 3)))) (+ (* (pow z 3) (pow y 3)) (* 3 (* (pow x 2) (* z (pow y 3)))))) 0 (- (* x y) (* z y)) (- (* x y) (* z y)) 13.365 * * [simplify]: Extracting # 0 : cost 0 13.366 * * [simplify]: Extracting # 1 : cost 0 13.366 * * [simplify]: Extracting # 2 : cost 0 13.366 * * [simplify]: Extracting # 3 : cost 0 13.366 * * [simplify]: Extracting # 4 : cost 0 13.367 * * [simplify]: Extracting # 5 : cost 0 13.367 * * [simplify]: Extracting # 6 : cost 0 13.367 * * [simplify]: Extracting # 7 : cost 0 13.368 * * [simplify]: Extracting # 8 : cost 0 13.368 * * [simplify]: iteration 0 : 115 enodes (cost 797 ) 13.407 * * [simplify]: Extracting # 0 : cost 0 13.408 * * [simplify]: Extracting # 1 : cost 0 13.408 * * [simplify]: Extracting # 2 : cost 0 13.409 * * [simplify]: Extracting # 3 : cost 0 13.409 * * [simplify]: Extracting # 4 : cost 0 13.410 * * [simplify]: iteration 1 : 319 enodes (cost 662 ) 13.684 * * [simplify]: Extracting # 0 : cost 0 13.686 * * [simplify]: Extracting # 1 : cost 0 13.688 * * [simplify]: Extracting # 2 : cost 0 13.690 * * [simplify]: Extracting # 3 : cost 0 13.692 * * [simplify]: Extracting # 4 : cost 0 13.694 * * [simplify]: iteration 2 : 1870 enodes (cost 620 ) 14.959 * * [simplify]: Extracting # 0 : cost 0 14.971 * * [simplify]: Extracting # 1 : cost 0 14.977 * * [simplify]: Extracting # 2 : cost 0 14.983 * * [simplify]: Extracting # 3 : cost 0 14.989 * * [simplify]: Extracting # 4 : cost 0 14.995 * * [simplify]: iteration done: 5001 enodes (cost 620 ) 14.995 * [simplify]: Simplified to: (log (* (- x z) y)) (exp (* (- x z) y)) (- x z) y (cbrt (pow (* (- x z) y) 2)) (cbrt (* (- x z) y)) (cbrt (pow (* (- x z) y) 2)) (cbrt (* (- x z) y)) (- x z) y (cbrt (* (- x z) y)) (cbrt (pow (* (- x z) y) 2)) (cbrt (sqrt (pow (* (- x z) y) 3))) (cbrt (sqrt (pow (* (- x z) y) 3))) 1 (* y (- x z)) (cbrt (pow (* (- x z) y) 3/2)) (cbrt (pow (* (- x z) y) 3/2)) (* (- (pow x 3) (pow z 3)) y) (+ (* z (+ x z)) (* x x)) (* (- (* x x) (* z z)) y) (+ x z) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (cbrt (* (- x z) y)) (pow (* (- x z) y) 3) (sqrt (* y (- x z))) (sqrt (* y (- x z))) (* (log (* (- x z) y)) 3) (* (log (* (- x z) y)) 3) (* (log (* (- x z) y)) 3) 3 3 (pow (* (- x z) y) (* (cbrt 3) (cbrt 3))) (pow (* (- x z) y) (sqrt 3)) (* y (- x z)) (pow (- x z) 3) (pow y 3) (pow (* y (- x z)) 2) (* (log (* (- x z) y)) 3) (exp (pow (* (- x z) y) 3)) (pow (* y (- x z)) 2) (* y (- x z)) (pow (pow (* (- x z) y) 3) 3) (pow (- x z) 3) (pow y 3) (pow (* (- (pow x 3) (pow z 3)) y) 3) (pow (+ (* z (+ x z)) (* x x)) 3) (pow (* (- (* x x) (* z z)) y) 3) (pow (+ x z) 3) (pow (* y (- x z)) 2) (sqrt (pow (* (- x z) y) 3)) (sqrt (pow (* (- x z) y) 3)) (pow (* (- x z) y) 3/2) (pow (* (- x z) y) 3/2) (* y (- x z)) (log (* (- x z) y)) (log (* (- x z) y)) (exp (* (- x z) y)) (pow (* (- x z) y) 3) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (cbrt (* (- x z) y)) (pow (* (- x z) y) 3) (sqrt (* y (- x z))) (sqrt (* y (- x z))) (* (sqrt (- x z)) (sqrt y)) (* (sqrt (- x z)) (sqrt y)) (* (* (cbrt y) (cbrt y)) (- x z)) (* (sqrt y) (- x z)) (- x z) (* (cbrt (- x z)) y) (* (sqrt (- x z)) y) (* y (- x z)) (* (- (sqrt x) (sqrt z)) y) (* y (- x z)) (* (- (pow x 3) (pow z 3)) y) (* (- (* x x) (* z z)) y) 0 (* y (- x z)) (* (cbrt -1) (* y (- z x))) (- (+ (* 3 (* x (* (pow z 2) (pow y 3)))) (* (pow x 3) (pow y 3))) (* 3 (* (pow x 2) (* z (pow y 3))))) (- (* 3 (* x (* (pow z 2) (pow y 3)))) (+ (* (pow z 3) (pow y 3)) (* 3 (* (pow x 2) (* z (pow y 3)))))) (- (* 3 (* x (* (pow z 2) (pow y 3)))) (+ (* (pow z 3) (pow y 3)) (* 3 (* (pow x 2) (* z (pow y 3)))))) 0 (* y (- x z)) (* y (- x z)) 14.996 * * * [progress]: adding candidates to table 15.165 * [progress]: [Phase 3 of 3] Extracting. 15.165 * * [regime]: Finding splitpoints for: (# # #) 15.165 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 15.165 * * * * [regimes]: Trying to branch on z from (# # #) 15.179 * * * * [regimes]: Trying to branch on y from (# # #) 15.204 * * * * [regimes]: Trying to branch on x from (# # #) 15.232 * * * [regime]: Found split indices: #