96.312 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.062 * * * [progress]: [2/2] Setting up program. 0.070 * [progress]: [Phase 2 of 3] Improving. 0.071 * [simplify]: Simplifying: (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) 0.071 * * [simplify]: iteration 0: 9 enodes 0.076 * * [simplify]: iteration 1: 23 enodes 0.110 * * [simplify]: iteration 2: 74 enodes 0.166 * * [simplify]: iteration 3: 200 enodes 0.338 * * [simplify]: iteration 4: 423 enodes 0.769 * * [simplify]: iteration 5: 923 enodes 5.751 * * [simplify]: iteration 6: 2737 enodes 37.719 * * [simplify]: iteration complete: 5001 enodes 37.720 * * [simplify]: Extracting #0: cost 1 inf + 0 37.720 * * [simplify]: Extracting #1: cost 101 inf + 0 37.725 * * [simplify]: Extracting #2: cost 432 inf + 294 37.740 * * [simplify]: Extracting #3: cost 210 inf + 23281 37.771 * * [simplify]: Extracting #4: cost 17 inf + 46472 37.808 * * [simplify]: Extracting #5: cost 0 inf + 49151 37.853 * * [simplify]: Extracting #6: cost 0 inf + 49126 37.891 * [simplify]: Simplified to: (* (- x z) y) 37.901 * * [progress]: iteration 1 / 4 37.901 * * * [progress]: picking best candidate 37.917 * * * * [pick]: Picked # 37.917 * * * [progress]: localizing error 37.932 * * * [progress]: generating rewritten candidates 37.932 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 38.204 * * * [progress]: generating series expansions 38.206 * * * * [progress]: [ 1 / 1 ] generating series at (2) 38.209 * [backup-simplify]: Simplify (* (- x z) y) into (* y (- x z)) 38.210 * [approximate]: Taking taylor expansion of (* y (- x z)) in (x z y) around 0 38.210 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 38.210 * [taylor]: Taking taylor expansion of y in y 38.210 * [backup-simplify]: Simplify 0 into 0 38.210 * [backup-simplify]: Simplify 1 into 1 38.210 * [taylor]: Taking taylor expansion of (- x z) in y 38.210 * [taylor]: Taking taylor expansion of x in y 38.210 * [backup-simplify]: Simplify x into x 38.210 * [taylor]: Taking taylor expansion of z in y 38.210 * [backup-simplify]: Simplify z into z 38.210 * [taylor]: Taking taylor expansion of (* y (- x z)) in z 38.210 * [taylor]: Taking taylor expansion of y in z 38.210 * [backup-simplify]: Simplify y into y 38.210 * [taylor]: Taking taylor expansion of (- x z) in z 38.210 * [taylor]: Taking taylor expansion of x in z 38.210 * [backup-simplify]: Simplify x into x 38.210 * [taylor]: Taking taylor expansion of z in z 38.210 * [backup-simplify]: Simplify 0 into 0 38.210 * [backup-simplify]: Simplify 1 into 1 38.210 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 38.210 * [taylor]: Taking taylor expansion of y in x 38.210 * [backup-simplify]: Simplify y into y 38.210 * [taylor]: Taking taylor expansion of (- x z) in x 38.210 * [taylor]: Taking taylor expansion of x in x 38.210 * [backup-simplify]: Simplify 0 into 0 38.210 * [backup-simplify]: Simplify 1 into 1 38.210 * [taylor]: Taking taylor expansion of z in x 38.210 * [backup-simplify]: Simplify z into z 38.210 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 38.210 * [taylor]: Taking taylor expansion of y in x 38.210 * [backup-simplify]: Simplify y into y 38.211 * [taylor]: Taking taylor expansion of (- x z) in x 38.211 * [taylor]: Taking taylor expansion of x in x 38.211 * [backup-simplify]: Simplify 0 into 0 38.211 * [backup-simplify]: Simplify 1 into 1 38.211 * [taylor]: Taking taylor expansion of z in x 38.211 * [backup-simplify]: Simplify z into z 38.213 * [backup-simplify]: Simplify (- z) into (- z) 38.213 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 38.213 * [backup-simplify]: Simplify (* y (- z)) into (* -1 (* z y)) 38.213 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 38.213 * [taylor]: Taking taylor expansion of -1 in z 38.213 * [backup-simplify]: Simplify -1 into -1 38.213 * [taylor]: Taking taylor expansion of (* z y) in z 38.213 * [taylor]: Taking taylor expansion of z in z 38.213 * [backup-simplify]: Simplify 0 into 0 38.213 * [backup-simplify]: Simplify 1 into 1 38.213 * [taylor]: Taking taylor expansion of y in z 38.213 * [backup-simplify]: Simplify y into y 38.213 * [backup-simplify]: Simplify (* 0 y) into 0 38.234 * [backup-simplify]: Simplify (* -1 0) into 0 38.234 * [taylor]: Taking taylor expansion of 0 in y 38.234 * [backup-simplify]: Simplify 0 into 0 38.234 * [backup-simplify]: Simplify 0 into 0 38.236 * [backup-simplify]: Simplify (- 0) into 0 38.237 * [backup-simplify]: Simplify (+ 1 0) into 1 38.237 * [backup-simplify]: Simplify (+ (* y 1) (* 0 (- z))) into y 38.237 * [taylor]: Taking taylor expansion of y in z 38.237 * [backup-simplify]: Simplify y into y 38.237 * [taylor]: Taking taylor expansion of y in y 38.237 * [backup-simplify]: Simplify 0 into 0 38.237 * [backup-simplify]: Simplify 1 into 1 38.237 * [backup-simplify]: Simplify 0 into 0 38.238 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 38.238 * [backup-simplify]: Simplify (+ (* -1 y) (* 0 0)) into (- y) 38.238 * [taylor]: Taking taylor expansion of (- y) in y 38.239 * [taylor]: Taking taylor expansion of y in y 38.239 * [backup-simplify]: Simplify 0 into 0 38.239 * [backup-simplify]: Simplify 1 into 1 38.239 * [backup-simplify]: Simplify (- 0) into 0 38.239 * [backup-simplify]: Simplify 0 into 0 38.239 * [backup-simplify]: Simplify 0 into 0 38.242 * [backup-simplify]: Simplify (- 0) into 0 38.243 * [backup-simplify]: Simplify (+ 0 0) into 0 38.243 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 (- z)))) into 0 38.243 * [taylor]: Taking taylor expansion of 0 in z 38.243 * [backup-simplify]: Simplify 0 into 0 38.243 * [taylor]: Taking taylor expansion of 0 in y 38.244 * [backup-simplify]: Simplify 0 into 0 38.244 * [backup-simplify]: Simplify 0 into 0 38.244 * [taylor]: Taking taylor expansion of 0 in y 38.244 * [backup-simplify]: Simplify 0 into 0 38.244 * [backup-simplify]: Simplify 0 into 0 38.244 * [backup-simplify]: Simplify 0 into 0 38.244 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 1 z)) (/ 1 y)) into (/ (- (/ 1 x) (/ 1 z)) y) 38.244 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (x z y) around 0 38.244 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 38.244 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 38.244 * [taylor]: Taking taylor expansion of (/ 1 x) in y 38.244 * [taylor]: Taking taylor expansion of x in y 38.244 * [backup-simplify]: Simplify x into x 38.245 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 38.245 * [taylor]: Taking taylor expansion of (/ 1 z) in y 38.245 * [taylor]: Taking taylor expansion of z in y 38.245 * [backup-simplify]: Simplify z into z 38.246 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 38.246 * [taylor]: Taking taylor expansion of y in y 38.246 * [backup-simplify]: Simplify 0 into 0 38.246 * [backup-simplify]: Simplify 1 into 1 38.246 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 38.246 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 38.246 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z)) 38.246 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 38.246 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 38.246 * [taylor]: Taking taylor expansion of (/ 1 x) in z 38.246 * [taylor]: Taking taylor expansion of x in z 38.246 * [backup-simplify]: Simplify x into x 38.246 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 38.246 * [taylor]: Taking taylor expansion of (/ 1 z) in z 38.246 * [taylor]: Taking taylor expansion of z in z 38.246 * [backup-simplify]: Simplify 0 into 0 38.246 * [backup-simplify]: Simplify 1 into 1 38.247 * [backup-simplify]: Simplify (/ 1 1) into 1 38.247 * [taylor]: Taking taylor expansion of y in z 38.247 * [backup-simplify]: Simplify y into y 38.247 * [backup-simplify]: Simplify (- 1) into -1 38.248 * [backup-simplify]: Simplify (+ 0 -1) into -1 38.248 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 38.248 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 38.248 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 38.248 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.248 * [taylor]: Taking taylor expansion of x in x 38.248 * [backup-simplify]: Simplify 0 into 0 38.248 * [backup-simplify]: Simplify 1 into 1 38.248 * [backup-simplify]: Simplify (/ 1 1) into 1 38.248 * [taylor]: Taking taylor expansion of (/ 1 z) in x 38.248 * [taylor]: Taking taylor expansion of z in x 38.248 * [backup-simplify]: Simplify z into z 38.248 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 38.248 * [taylor]: Taking taylor expansion of y in x 38.248 * [backup-simplify]: Simplify y into y 38.249 * [backup-simplify]: Simplify (+ 1 0) into 1 38.249 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 38.249 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 38.249 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 38.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.249 * [taylor]: Taking taylor expansion of x in x 38.249 * [backup-simplify]: Simplify 0 into 0 38.249 * [backup-simplify]: Simplify 1 into 1 38.249 * [backup-simplify]: Simplify (/ 1 1) into 1 38.249 * [taylor]: Taking taylor expansion of (/ 1 z) in x 38.249 * [taylor]: Taking taylor expansion of z in x 38.249 * [backup-simplify]: Simplify z into z 38.250 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 38.250 * [taylor]: Taking taylor expansion of y in x 38.250 * [backup-simplify]: Simplify y into y 38.250 * [backup-simplify]: Simplify (+ 1 0) into 1 38.250 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 38.250 * [taylor]: Taking taylor expansion of (/ 1 y) in z 38.250 * [taylor]: Taking taylor expansion of y in z 38.250 * [backup-simplify]: Simplify y into y 38.250 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 38.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 38.251 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 38.252 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 38.252 * [backup-simplify]: Simplify (- (/ (- (/ 1 z)) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (/ 1 (* z y))) 38.252 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 38.252 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 38.252 * [taylor]: Taking taylor expansion of (* z y) in z 38.253 * [taylor]: Taking taylor expansion of z in z 38.253 * [backup-simplify]: Simplify 0 into 0 38.253 * [backup-simplify]: Simplify 1 into 1 38.253 * [taylor]: Taking taylor expansion of y in z 38.253 * [backup-simplify]: Simplify y into y 38.253 * [backup-simplify]: Simplify (* 0 y) into 0 38.253 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 38.254 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 38.254 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 38.254 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 38.254 * [taylor]: Taking taylor expansion of (/ 1 y) in y 38.254 * [taylor]: Taking taylor expansion of y in y 38.254 * [backup-simplify]: Simplify 0 into 0 38.254 * [backup-simplify]: Simplify 1 into 1 38.254 * [backup-simplify]: Simplify (/ 1 1) into 1 38.255 * [backup-simplify]: Simplify (- 1) into -1 38.255 * [backup-simplify]: Simplify -1 into -1 38.255 * [taylor]: Taking taylor expansion of (/ 1 y) in y 38.255 * [taylor]: Taking taylor expansion of y in y 38.256 * [backup-simplify]: Simplify 0 into 0 38.256 * [backup-simplify]: Simplify 1 into 1 38.256 * [backup-simplify]: Simplify (/ 1 1) into 1 38.256 * [backup-simplify]: Simplify 1 into 1 38.257 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 38.257 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 38.258 * [backup-simplify]: Simplify (- 0) into 0 38.258 * [backup-simplify]: Simplify (+ 0 0) into 0 38.258 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)))) into 0 38.258 * [taylor]: Taking taylor expansion of 0 in z 38.258 * [backup-simplify]: Simplify 0 into 0 38.259 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 38.259 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 38.260 * [backup-simplify]: Simplify (- 0) into 0 38.260 * [taylor]: Taking taylor expansion of 0 in y 38.260 * [backup-simplify]: Simplify 0 into 0 38.260 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 38.260 * [taylor]: Taking taylor expansion of 0 in y 38.260 * [backup-simplify]: Simplify 0 into 0 38.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 38.262 * [backup-simplify]: Simplify (- 0) into 0 38.262 * [backup-simplify]: Simplify 0 into 0 38.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 38.263 * [backup-simplify]: Simplify 0 into 0 38.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 38.266 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 38.267 * [backup-simplify]: Simplify (- 0) into 0 38.267 * [backup-simplify]: Simplify (+ 0 0) into 0 38.268 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0 38.268 * [taylor]: Taking taylor expansion of 0 in z 38.268 * [backup-simplify]: Simplify 0 into 0 38.268 * [taylor]: Taking taylor expansion of 0 in y 38.268 * [backup-simplify]: Simplify 0 into 0 38.269 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 38.269 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 38.270 * [backup-simplify]: Simplify (- 0) into 0 38.270 * [taylor]: Taking taylor expansion of 0 in y 38.270 * [backup-simplify]: Simplify 0 into 0 38.270 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 38.270 * [taylor]: Taking taylor expansion of 0 in y 38.270 * [backup-simplify]: Simplify 0 into 0 38.270 * [backup-simplify]: Simplify 0 into 0 38.270 * [backup-simplify]: Simplify 0 into 0 38.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 38.272 * [backup-simplify]: Simplify (- 0) into 0 38.272 * [backup-simplify]: Simplify 0 into 0 38.273 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 38.273 * [backup-simplify]: Simplify 0 into 0 38.273 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 y)) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 z)) 1)))) into (- (* x y) (* z y)) 38.274 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y))) into (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) 38.274 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (x z y) around 0 38.274 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 38.274 * [taylor]: Taking taylor expansion of -1 in y 38.274 * [backup-simplify]: Simplify -1 into -1 38.274 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 38.274 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 38.274 * [taylor]: Taking taylor expansion of (/ 1 z) in y 38.274 * [taylor]: Taking taylor expansion of z in y 38.274 * [backup-simplify]: Simplify z into z 38.274 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 38.274 * [taylor]: Taking taylor expansion of (/ 1 x) in y 38.274 * [taylor]: Taking taylor expansion of x in y 38.274 * [backup-simplify]: Simplify x into x 38.274 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 38.274 * [taylor]: Taking taylor expansion of y in y 38.274 * [backup-simplify]: Simplify 0 into 0 38.274 * [backup-simplify]: Simplify 1 into 1 38.274 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 38.274 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x)) 38.275 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x)) 38.275 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z 38.275 * [taylor]: Taking taylor expansion of -1 in z 38.275 * [backup-simplify]: Simplify -1 into -1 38.275 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 38.275 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 38.275 * [taylor]: Taking taylor expansion of (/ 1 z) in z 38.275 * [taylor]: Taking taylor expansion of z in z 38.275 * [backup-simplify]: Simplify 0 into 0 38.275 * [backup-simplify]: Simplify 1 into 1 38.283 * [backup-simplify]: Simplify (/ 1 1) into 1 38.283 * [taylor]: Taking taylor expansion of (/ 1 x) in z 38.283 * [taylor]: Taking taylor expansion of x in z 38.283 * [backup-simplify]: Simplify x into x 38.283 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 38.283 * [taylor]: Taking taylor expansion of y in z 38.283 * [backup-simplify]: Simplify y into y 38.284 * [backup-simplify]: Simplify (+ 1 0) into 1 38.284 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 38.284 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 38.284 * [taylor]: Taking taylor expansion of -1 in x 38.284 * [backup-simplify]: Simplify -1 into -1 38.284 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 38.284 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 38.284 * [taylor]: Taking taylor expansion of (/ 1 z) in x 38.284 * [taylor]: Taking taylor expansion of z in x 38.284 * [backup-simplify]: Simplify z into z 38.284 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 38.284 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.284 * [taylor]: Taking taylor expansion of x in x 38.284 * [backup-simplify]: Simplify 0 into 0 38.284 * [backup-simplify]: Simplify 1 into 1 38.284 * [backup-simplify]: Simplify (/ 1 1) into 1 38.285 * [taylor]: Taking taylor expansion of y in x 38.285 * [backup-simplify]: Simplify y into y 38.285 * [backup-simplify]: Simplify (- 1) into -1 38.285 * [backup-simplify]: Simplify (+ 0 -1) into -1 38.285 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 38.285 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 38.285 * [taylor]: Taking taylor expansion of -1 in x 38.286 * [backup-simplify]: Simplify -1 into -1 38.286 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 38.286 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 38.286 * [taylor]: Taking taylor expansion of (/ 1 z) in x 38.286 * [taylor]: Taking taylor expansion of z in x 38.286 * [backup-simplify]: Simplify z into z 38.286 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 38.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.286 * [taylor]: Taking taylor expansion of x in x 38.286 * [backup-simplify]: Simplify 0 into 0 38.286 * [backup-simplify]: Simplify 1 into 1 38.286 * [backup-simplify]: Simplify (/ 1 1) into 1 38.286 * [taylor]: Taking taylor expansion of y in x 38.286 * [backup-simplify]: Simplify y into y 38.287 * [backup-simplify]: Simplify (- 1) into -1 38.287 * [backup-simplify]: Simplify (+ 0 -1) into -1 38.287 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 38.287 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 38.287 * [taylor]: Taking taylor expansion of (/ 1 y) in z 38.287 * [taylor]: Taking taylor expansion of y in z 38.287 * [backup-simplify]: Simplify y into y 38.287 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 38.288 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 38.288 * [backup-simplify]: Simplify (- 0) into 0 38.288 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 38.289 * [backup-simplify]: Simplify (- (/ (/ 1 z) y) (+ (* (/ -1 y) (/ 0 y)))) into (/ 1 (* z y)) 38.289 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (* z y))) (* 0 (/ -1 y))) into (- (/ 1 (* z y))) 38.289 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 38.289 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 38.289 * [taylor]: Taking taylor expansion of (* z y) in z 38.289 * [taylor]: Taking taylor expansion of z in z 38.289 * [backup-simplify]: Simplify 0 into 0 38.289 * [backup-simplify]: Simplify 1 into 1 38.289 * [taylor]: Taking taylor expansion of y in z 38.289 * [backup-simplify]: Simplify y into y 38.289 * [backup-simplify]: Simplify (* 0 y) into 0 38.289 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 38.290 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 38.290 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 38.290 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 38.290 * [taylor]: Taking taylor expansion of (/ 1 y) in y 38.290 * [taylor]: Taking taylor expansion of y in y 38.290 * [backup-simplify]: Simplify 0 into 0 38.290 * [backup-simplify]: Simplify 1 into 1 38.290 * [backup-simplify]: Simplify (/ 1 1) into 1 38.291 * [backup-simplify]: Simplify (- 1) into -1 38.291 * [backup-simplify]: Simplify -1 into -1 38.291 * [taylor]: Taking taylor expansion of (/ 1 y) in y 38.291 * [taylor]: Taking taylor expansion of y in y 38.291 * [backup-simplify]: Simplify 0 into 0 38.291 * [backup-simplify]: Simplify 1 into 1 38.291 * [backup-simplify]: Simplify (/ 1 1) into 1 38.291 * [backup-simplify]: Simplify 1 into 1 38.292 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 38.293 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 38.293 * [backup-simplify]: Simplify (- 0) into 0 38.294 * [backup-simplify]: Simplify (+ 0 0) into 0 38.294 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (/ 1 (* z y)) (/ 0 y)))) into 0 38.295 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (* z y))) (* 0 (/ -1 y)))) into 0 38.295 * [taylor]: Taking taylor expansion of 0 in z 38.295 * [backup-simplify]: Simplify 0 into 0 38.296 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 38.296 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 38.296 * [backup-simplify]: Simplify (- 0) into 0 38.296 * [taylor]: Taking taylor expansion of 0 in y 38.296 * [backup-simplify]: Simplify 0 into 0 38.297 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 38.297 * [taylor]: Taking taylor expansion of 0 in y 38.297 * [backup-simplify]: Simplify 0 into 0 38.297 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 38.298 * [backup-simplify]: Simplify (- 0) into 0 38.298 * [backup-simplify]: Simplify 0 into 0 38.299 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 38.299 * [backup-simplify]: Simplify 0 into 0 38.299 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 38.300 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 38.300 * [backup-simplify]: Simplify (- 0) into 0 38.300 * [backup-simplify]: Simplify (+ 0 0) into 0 38.300 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (/ 1 (* z y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0 38.302 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (* z y))) (* 0 (/ -1 y))))) into 0 38.302 * [taylor]: Taking taylor expansion of 0 in z 38.302 * [backup-simplify]: Simplify 0 into 0 38.302 * [taylor]: Taking taylor expansion of 0 in y 38.302 * [backup-simplify]: Simplify 0 into 0 38.303 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 38.303 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 38.304 * [backup-simplify]: Simplify (- 0) into 0 38.304 * [taylor]: Taking taylor expansion of 0 in y 38.304 * [backup-simplify]: Simplify 0 into 0 38.304 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 38.304 * [taylor]: Taking taylor expansion of 0 in y 38.304 * [backup-simplify]: Simplify 0 into 0 38.304 * [backup-simplify]: Simplify 0 into 0 38.304 * [backup-simplify]: Simplify 0 into 0 38.305 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 38.305 * [backup-simplify]: Simplify (- 0) into 0 38.305 * [backup-simplify]: Simplify 0 into 0 38.306 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 38.306 * [backup-simplify]: Simplify 0 into 0 38.307 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- y))) (* 1 (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- z))) 1)))) into (- (* x y) (* z y)) 38.307 * * * [progress]: simplifying candidates 38.310 * [simplify]: Simplifying: (expm1 (* (- x z) y)) (log1p (* (- x z) y)) (* (- 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)) 38.313 * * [simplify]: iteration 0: 51 enodes 38.339 * * [simplify]: iteration 1: 114 enodes 38.423 * * [simplify]: iteration 2: 311 enodes 38.926 * * [simplify]: iteration 3: 1292 enodes 43.793 * * [simplify]: iteration complete: 5003 enodes 43.793 * * [simplify]: Extracting #0: cost 19 inf + 0 43.794 * * [simplify]: Extracting #1: cost 373 inf + 1 43.802 * * [simplify]: Extracting #2: cost 1284 inf + 2998 43.829 * * [simplify]: Extracting #3: cost 1378 inf + 65270 43.913 * * [simplify]: Extracting #4: cost 412 inf + 235263 44.028 * * [simplify]: Extracting #5: cost 20 inf + 314365 44.146 * * [simplify]: Extracting #6: cost 0 inf + 320988 44.467 * [simplify]: Simplified to: (expm1 (* y (- x z))) (log1p (* y (- x z))) (* y (- x z)) (log (* y (- x z))) (log (* y (- x z))) (exp (* y (- x z))) (* (* (* y (- x z)) (* y (- x z))) (* y (- x z))) (* (cbrt (* y (- x z))) (cbrt (* y (- x z)))) (cbrt (* y (- x z))) (* (* (* y (- x z)) (* y (- x z))) (* y (- x z))) (sqrt (* y (- x z))) (sqrt (* y (- x z))) (* (sqrt (- x z)) (sqrt y)) (* (sqrt (- x z)) (sqrt y)) (* (- x z) (* (cbrt y) (cbrt y))) (* (- x z) (sqrt y)) (- x z) (* (cbrt (- x z)) y) (* y (sqrt (- x z))) (* y (- x z)) (* y (- (sqrt x) (sqrt z))) (* y (- x z)) (* (- (* (* x x) x) (* (* z z) z)) y) (* (* y (- x z)) (+ x z)) 0 (* y (- x z)) (* y (- x z)) 44.482 * * * [progress]: adding candidates to table 44.965 * * [progress]: iteration 2 / 4 44.965 * * * [progress]: picking best candidate 45.176 * * * * [pick]: Picked # 45.179 * * * [progress]: localizing error 45.231 * * * [progress]: generating rewritten candidates 45.231 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 45.643 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 45.738 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 45.758 * * * [progress]: generating series expansions 45.758 * * * * [progress]: [ 1 / 3 ] generating series at (2) 45.759 * [backup-simplify]: Simplify (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) into (- (* x y) (* z y)) 45.759 * [approximate]: Taking taylor expansion of (- (* x y) (* z y)) in (x y z) around 0 45.759 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in z 45.759 * [taylor]: Taking taylor expansion of (* x y) in z 45.759 * [taylor]: Taking taylor expansion of x in z 45.759 * [backup-simplify]: Simplify x into x 45.759 * [taylor]: Taking taylor expansion of y in z 45.759 * [backup-simplify]: Simplify y into y 45.759 * [taylor]: Taking taylor expansion of (* z y) in z 45.759 * [taylor]: Taking taylor expansion of z in z 45.759 * [backup-simplify]: Simplify 0 into 0 45.759 * [backup-simplify]: Simplify 1 into 1 45.759 * [taylor]: Taking taylor expansion of y in z 45.759 * [backup-simplify]: Simplify y into y 45.759 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y 45.759 * [taylor]: Taking taylor expansion of (* x y) in y 45.759 * [taylor]: Taking taylor expansion of x in y 45.759 * [backup-simplify]: Simplify x into x 45.759 * [taylor]: Taking taylor expansion of y in y 45.759 * [backup-simplify]: Simplify 0 into 0 45.759 * [backup-simplify]: Simplify 1 into 1 45.759 * [taylor]: Taking taylor expansion of (* z y) in y 45.759 * [taylor]: Taking taylor expansion of z in y 45.759 * [backup-simplify]: Simplify z into z 45.759 * [taylor]: Taking taylor expansion of y in y 45.759 * [backup-simplify]: Simplify 0 into 0 45.759 * [backup-simplify]: Simplify 1 into 1 45.759 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x 45.759 * [taylor]: Taking taylor expansion of (* x y) in x 45.759 * [taylor]: Taking taylor expansion of x in x 45.759 * [backup-simplify]: Simplify 0 into 0 45.759 * [backup-simplify]: Simplify 1 into 1 45.759 * [taylor]: Taking taylor expansion of y in x 45.759 * [backup-simplify]: Simplify y into y 45.759 * [taylor]: Taking taylor expansion of (* z y) in x 45.759 * [taylor]: Taking taylor expansion of z in x 45.759 * [backup-simplify]: Simplify z into z 45.760 * [taylor]: Taking taylor expansion of y in x 45.760 * [backup-simplify]: Simplify y into y 45.760 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x 45.760 * [taylor]: Taking taylor expansion of (* x y) in x 45.760 * [taylor]: Taking taylor expansion of x in x 45.760 * [backup-simplify]: Simplify 0 into 0 45.760 * [backup-simplify]: Simplify 1 into 1 45.760 * [taylor]: Taking taylor expansion of y in x 45.760 * [backup-simplify]: Simplify y into y 45.760 * [taylor]: Taking taylor expansion of (* z y) in x 45.760 * [taylor]: Taking taylor expansion of z in x 45.760 * [backup-simplify]: Simplify z into z 45.760 * [taylor]: Taking taylor expansion of y in x 45.760 * [backup-simplify]: Simplify y into y 45.760 * [backup-simplify]: Simplify (* 0 y) into 0 45.760 * [backup-simplify]: Simplify (* z y) into (* z y) 45.760 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y)) 45.760 * [backup-simplify]: Simplify (+ 0 (- (* z y))) into (- (* z y)) 45.760 * [taylor]: Taking taylor expansion of (- (* z y)) in y 45.760 * [taylor]: Taking taylor expansion of (* z y) in y 45.760 * [taylor]: Taking taylor expansion of z in y 45.760 * [backup-simplify]: Simplify z into z 45.760 * [taylor]: Taking taylor expansion of y in y 45.760 * [backup-simplify]: Simplify 0 into 0 45.760 * [backup-simplify]: Simplify 1 into 1 45.760 * [backup-simplify]: Simplify (* z 0) into 0 45.761 * [backup-simplify]: Simplify (- 0) into 0 45.761 * [taylor]: Taking taylor expansion of 0 in z 45.761 * [backup-simplify]: Simplify 0 into 0 45.761 * [backup-simplify]: Simplify 0 into 0 45.762 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 45.762 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 45.762 * [backup-simplify]: Simplify (- 0) into 0 45.762 * [backup-simplify]: Simplify (+ y 0) into y 45.762 * [taylor]: Taking taylor expansion of y in y 45.762 * [backup-simplify]: Simplify 0 into 0 45.762 * [backup-simplify]: Simplify 1 into 1 45.762 * [taylor]: Taking taylor expansion of 0 in z 45.762 * [backup-simplify]: Simplify 0 into 0 45.762 * [backup-simplify]: Simplify 0 into 0 45.763 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 45.763 * [backup-simplify]: Simplify (- z) into (- z) 45.763 * [taylor]: Taking taylor expansion of (- z) in z 45.763 * [taylor]: Taking taylor expansion of z in z 45.763 * [backup-simplify]: Simplify 0 into 0 45.763 * [backup-simplify]: Simplify 1 into 1 45.763 * [backup-simplify]: Simplify (- 0) into 0 45.763 * [backup-simplify]: Simplify 0 into 0 45.763 * [backup-simplify]: Simplify 0 into 0 45.764 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 45.765 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0 45.765 * [backup-simplify]: Simplify (- 0) into 0 45.765 * [backup-simplify]: Simplify (+ 0 0) into 0 45.765 * [taylor]: Taking taylor expansion of 0 in y 45.765 * [backup-simplify]: Simplify 0 into 0 45.766 * [taylor]: Taking taylor expansion of 0 in z 45.766 * [backup-simplify]: Simplify 0 into 0 45.766 * [backup-simplify]: Simplify 0 into 0 45.766 * [taylor]: Taking taylor expansion of 1 in z 45.766 * [backup-simplify]: Simplify 1 into 1 45.766 * [backup-simplify]: Simplify 1 into 1 45.766 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 45.767 * [backup-simplify]: Simplify (- 0) into 0 45.767 * [taylor]: Taking taylor expansion of 0 in z 45.767 * [backup-simplify]: Simplify 0 into 0 45.767 * [backup-simplify]: Simplify 0 into 0 45.767 * [backup-simplify]: Simplify 0 into 0 45.767 * [backup-simplify]: Simplify (- 1) into -1 45.767 * [backup-simplify]: Simplify -1 into -1 45.767 * [backup-simplify]: Simplify 0 into 0 45.768 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 45.769 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 45.770 * [backup-simplify]: Simplify (- 0) into 0 45.770 * [backup-simplify]: Simplify (+ 0 0) into 0 45.770 * [taylor]: Taking taylor expansion of 0 in y 45.770 * [backup-simplify]: Simplify 0 into 0 45.770 * [taylor]: Taking taylor expansion of 0 in z 45.770 * [backup-simplify]: Simplify 0 into 0 45.770 * [backup-simplify]: Simplify 0 into 0 45.770 * [taylor]: Taking taylor expansion of 0 in z 45.770 * [backup-simplify]: Simplify 0 into 0 45.770 * [backup-simplify]: Simplify 0 into 0 45.770 * [taylor]: Taking taylor expansion of 0 in z 45.770 * [backup-simplify]: Simplify 0 into 0 45.770 * [backup-simplify]: Simplify 0 into 0 45.771 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 45.772 * [backup-simplify]: Simplify (- 0) into 0 45.772 * [taylor]: Taking taylor expansion of 0 in z 45.772 * [backup-simplify]: Simplify 0 into 0 45.772 * [backup-simplify]: Simplify 0 into 0 45.772 * [backup-simplify]: Simplify 0 into 0 45.772 * [backup-simplify]: Simplify (+ (* -1 (* z (* y 1))) (* 1 (* 1 (* y x)))) into (- (* x y) (* z y)) 45.773 * [backup-simplify]: Simplify (- (- (+ (* (/ 1 x) (/ 1 y)) (* (/ 1 y) (/ 1 y))) (* (/ 1 y) (/ 1 z))) (* (/ 1 y) (/ 1 y))) into (- (/ 1 (* x y)) (/ 1 (* z y))) 45.773 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0 45.773 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z 45.773 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 45.773 * [taylor]: Taking taylor expansion of (* x y) in z 45.773 * [taylor]: Taking taylor expansion of x in z 45.773 * [backup-simplify]: Simplify x into x 45.773 * [taylor]: Taking taylor expansion of y in z 45.773 * [backup-simplify]: Simplify y into y 45.773 * [backup-simplify]: Simplify (* x y) into (* x y) 45.773 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 45.773 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 45.773 * [taylor]: Taking taylor expansion of (* z y) in z 45.773 * [taylor]: Taking taylor expansion of z in z 45.773 * [backup-simplify]: Simplify 0 into 0 45.774 * [backup-simplify]: Simplify 1 into 1 45.774 * [taylor]: Taking taylor expansion of y in z 45.774 * [backup-simplify]: Simplify y into y 45.774 * [backup-simplify]: Simplify (* 0 y) into 0 45.774 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 45.775 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 45.775 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 45.775 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 45.775 * [taylor]: Taking taylor expansion of (* x y) in y 45.775 * [taylor]: Taking taylor expansion of x in y 45.775 * [backup-simplify]: Simplify x into x 45.775 * [taylor]: Taking taylor expansion of y in y 45.775 * [backup-simplify]: Simplify 0 into 0 45.775 * [backup-simplify]: Simplify 1 into 1 45.775 * [backup-simplify]: Simplify (* x 0) into 0 45.775 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 45.776 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 45.776 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 45.776 * [taylor]: Taking taylor expansion of (* z y) in y 45.776 * [taylor]: Taking taylor expansion of z in y 45.776 * [backup-simplify]: Simplify z into z 45.776 * [taylor]: Taking taylor expansion of y in y 45.776 * [backup-simplify]: Simplify 0 into 0 45.776 * [backup-simplify]: Simplify 1 into 1 45.776 * [backup-simplify]: Simplify (* z 0) into 0 45.776 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 45.776 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 45.776 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 45.776 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 45.776 * [taylor]: Taking taylor expansion of (* x y) in x 45.776 * [taylor]: Taking taylor expansion of x in x 45.776 * [backup-simplify]: Simplify 0 into 0 45.776 * [backup-simplify]: Simplify 1 into 1 45.777 * [taylor]: Taking taylor expansion of y in x 45.777 * [backup-simplify]: Simplify y into y 45.777 * [backup-simplify]: Simplify (* 0 y) into 0 45.777 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 45.777 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 45.777 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 45.777 * [taylor]: Taking taylor expansion of (* z y) in x 45.777 * [taylor]: Taking taylor expansion of z in x 45.777 * [backup-simplify]: Simplify z into z 45.777 * [taylor]: Taking taylor expansion of y in x 45.777 * [backup-simplify]: Simplify y into y 45.777 * [backup-simplify]: Simplify (* z y) into (* z y) 45.777 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 45.778 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 45.778 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 45.778 * [taylor]: Taking taylor expansion of (* x y) in x 45.778 * [taylor]: Taking taylor expansion of x in x 45.778 * [backup-simplify]: Simplify 0 into 0 45.778 * [backup-simplify]: Simplify 1 into 1 45.778 * [taylor]: Taking taylor expansion of y in x 45.778 * [backup-simplify]: Simplify y into y 45.778 * [backup-simplify]: Simplify (* 0 y) into 0 45.778 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 45.778 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 45.778 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 45.778 * [taylor]: Taking taylor expansion of (* z y) in x 45.778 * [taylor]: Taking taylor expansion of z in x 45.778 * [backup-simplify]: Simplify z into z 45.778 * [taylor]: Taking taylor expansion of y in x 45.778 * [backup-simplify]: Simplify y into y 45.779 * [backup-simplify]: Simplify (* z y) into (* z y) 45.779 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 45.779 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 45.779 * [taylor]: Taking taylor expansion of (/ 1 y) in y 45.779 * [taylor]: Taking taylor expansion of y in y 45.779 * [backup-simplify]: Simplify 0 into 0 45.779 * [backup-simplify]: Simplify 1 into 1 45.779 * [backup-simplify]: Simplify (/ 1 1) into 1 45.779 * [taylor]: Taking taylor expansion of 1 in z 45.779 * [backup-simplify]: Simplify 1 into 1 45.780 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 45.780 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 45.780 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y))) 45.781 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* z y)))) into (- (/ 1 (* z y))) 45.781 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 45.781 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 45.781 * [taylor]: Taking taylor expansion of (* z y) in y 45.781 * [taylor]: Taking taylor expansion of z in y 45.781 * [backup-simplify]: Simplify z into z 45.781 * [taylor]: Taking taylor expansion of y in y 45.781 * [backup-simplify]: Simplify 0 into 0 45.781 * [backup-simplify]: Simplify 1 into 1 45.781 * [backup-simplify]: Simplify (* z 0) into 0 45.781 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 45.781 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 45.781 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 45.782 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 45.782 * [taylor]: Taking taylor expansion of (/ 1 z) in z 45.782 * [taylor]: Taking taylor expansion of z in z 45.782 * [backup-simplify]: Simplify 0 into 0 45.782 * [backup-simplify]: Simplify 1 into 1 45.782 * [backup-simplify]: Simplify (/ 1 1) into 1 45.782 * [backup-simplify]: Simplify (- 1) into -1 45.782 * [backup-simplify]: Simplify -1 into -1 45.783 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 45.783 * [taylor]: Taking taylor expansion of 0 in z 45.783 * [backup-simplify]: Simplify 0 into 0 45.783 * [backup-simplify]: Simplify 1 into 1 45.785 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 45.785 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 45.785 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 45.785 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0 45.785 * [backup-simplify]: Simplify (- 0) into 0 45.786 * [backup-simplify]: Simplify (+ 0 0) into 0 45.786 * [taylor]: Taking taylor expansion of 0 in y 45.786 * [backup-simplify]: Simplify 0 into 0 45.786 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 45.787 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 45.787 * [backup-simplify]: Simplify (- 0) into 0 45.787 * [taylor]: Taking taylor expansion of 0 in z 45.787 * [backup-simplify]: Simplify 0 into 0 45.788 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 45.788 * [taylor]: Taking taylor expansion of 0 in z 45.788 * [backup-simplify]: Simplify 0 into 0 45.789 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 45.790 * [backup-simplify]: Simplify (- 0) into 0 45.790 * [backup-simplify]: Simplify 0 into 0 45.790 * [backup-simplify]: Simplify 0 into 0 45.790 * [backup-simplify]: Simplify 0 into 0 45.791 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 45.792 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 45.792 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0 45.792 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0 45.793 * [backup-simplify]: Simplify (- 0) into 0 45.793 * [backup-simplify]: Simplify (+ 0 0) into 0 45.793 * [taylor]: Taking taylor expansion of 0 in y 45.795 * [backup-simplify]: Simplify 0 into 0 45.795 * [taylor]: Taking taylor expansion of 0 in z 45.795 * [backup-simplify]: Simplify 0 into 0 45.796 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 45.796 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 45.796 * [backup-simplify]: Simplify (- 0) into 0 45.796 * [taylor]: Taking taylor expansion of 0 in z 45.796 * [backup-simplify]: Simplify 0 into 0 45.797 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 45.797 * [taylor]: Taking taylor expansion of 0 in z 45.797 * [backup-simplify]: Simplify 0 into 0 45.797 * [backup-simplify]: Simplify 0 into 0 45.797 * [backup-simplify]: Simplify 0 into 0 45.798 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 45.799 * [backup-simplify]: Simplify (- 0) into 0 45.799 * [backup-simplify]: Simplify 0 into 0 45.799 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1)))) into (- (* x y) (* z y)) 45.800 * [backup-simplify]: Simplify (- (- (+ (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- y)) (/ 1 (- y)))) (* (/ 1 (- y)) (/ 1 (- z)))) (* (/ 1 (- y)) (/ 1 (- y)))) into (- (/ 1 (* x y)) (/ 1 (* z y))) 45.800 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0 45.800 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z 45.800 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 45.800 * [taylor]: Taking taylor expansion of (* x y) in z 45.800 * [taylor]: Taking taylor expansion of x in z 45.800 * [backup-simplify]: Simplify x into x 45.800 * [taylor]: Taking taylor expansion of y in z 45.800 * [backup-simplify]: Simplify y into y 45.800 * [backup-simplify]: Simplify (* x y) into (* x y) 45.800 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 45.800 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 45.800 * [taylor]: Taking taylor expansion of (* z y) in z 45.800 * [taylor]: Taking taylor expansion of z in z 45.800 * [backup-simplify]: Simplify 0 into 0 45.800 * [backup-simplify]: Simplify 1 into 1 45.801 * [taylor]: Taking taylor expansion of y in z 45.801 * [backup-simplify]: Simplify y into y 45.801 * [backup-simplify]: Simplify (* 0 y) into 0 45.801 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 45.801 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 45.801 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 45.801 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 45.801 * [taylor]: Taking taylor expansion of (* x y) in y 45.801 * [taylor]: Taking taylor expansion of x in y 45.801 * [backup-simplify]: Simplify x into x 45.801 * [taylor]: Taking taylor expansion of y in y 45.801 * [backup-simplify]: Simplify 0 into 0 45.801 * [backup-simplify]: Simplify 1 into 1 45.801 * [backup-simplify]: Simplify (* x 0) into 0 45.802 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 45.802 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 45.802 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 45.802 * [taylor]: Taking taylor expansion of (* z y) in y 45.802 * [taylor]: Taking taylor expansion of z in y 45.802 * [backup-simplify]: Simplify z into z 45.802 * [taylor]: Taking taylor expansion of y in y 45.802 * [backup-simplify]: Simplify 0 into 0 45.802 * [backup-simplify]: Simplify 1 into 1 45.802 * [backup-simplify]: Simplify (* z 0) into 0 45.803 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 45.803 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 45.803 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 45.803 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 45.803 * [taylor]: Taking taylor expansion of (* x y) in x 45.803 * [taylor]: Taking taylor expansion of x in x 45.803 * [backup-simplify]: Simplify 0 into 0 45.803 * [backup-simplify]: Simplify 1 into 1 45.803 * [taylor]: Taking taylor expansion of y in x 45.803 * [backup-simplify]: Simplify y into y 45.803 * [backup-simplify]: Simplify (* 0 y) into 0 45.803 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 45.804 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 45.804 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 45.804 * [taylor]: Taking taylor expansion of (* z y) in x 45.804 * [taylor]: Taking taylor expansion of z in x 45.804 * [backup-simplify]: Simplify z into z 45.804 * [taylor]: Taking taylor expansion of y in x 45.804 * [backup-simplify]: Simplify y into y 45.804 * [backup-simplify]: Simplify (* z y) into (* z y) 45.804 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 45.804 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 45.804 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 45.804 * [taylor]: Taking taylor expansion of (* x y) in x 45.804 * [taylor]: Taking taylor expansion of x in x 45.804 * [backup-simplify]: Simplify 0 into 0 45.804 * [backup-simplify]: Simplify 1 into 1 45.804 * [taylor]: Taking taylor expansion of y in x 45.804 * [backup-simplify]: Simplify y into y 45.804 * [backup-simplify]: Simplify (* 0 y) into 0 45.805 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 45.805 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 45.805 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 45.805 * [taylor]: Taking taylor expansion of (* z y) in x 45.805 * [taylor]: Taking taylor expansion of z in x 45.805 * [backup-simplify]: Simplify z into z 45.805 * [taylor]: Taking taylor expansion of y in x 45.805 * [backup-simplify]: Simplify y into y 45.805 * [backup-simplify]: Simplify (* z y) into (* z y) 45.805 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 45.805 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 45.805 * [taylor]: Taking taylor expansion of (/ 1 y) in y 45.805 * [taylor]: Taking taylor expansion of y in y 45.805 * [backup-simplify]: Simplify 0 into 0 45.805 * [backup-simplify]: Simplify 1 into 1 45.806 * [backup-simplify]: Simplify (/ 1 1) into 1 45.806 * [taylor]: Taking taylor expansion of 1 in z 45.806 * [backup-simplify]: Simplify 1 into 1 45.807 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 45.807 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 45.807 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y))) 45.807 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* z y)))) into (- (/ 1 (* z y))) 45.807 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 45.807 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 45.807 * [taylor]: Taking taylor expansion of (* z y) in y 45.807 * [taylor]: Taking taylor expansion of z in y 45.807 * [backup-simplify]: Simplify z into z 45.807 * [taylor]: Taking taylor expansion of y in y 45.807 * [backup-simplify]: Simplify 0 into 0 45.807 * [backup-simplify]: Simplify 1 into 1 45.807 * [backup-simplify]: Simplify (* z 0) into 0 45.808 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 45.808 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 45.808 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 45.808 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 45.808 * [taylor]: Taking taylor expansion of (/ 1 z) in z 45.808 * [taylor]: Taking taylor expansion of z in z 45.808 * [backup-simplify]: Simplify 0 into 0 45.808 * [backup-simplify]: Simplify 1 into 1 45.808 * [backup-simplify]: Simplify (/ 1 1) into 1 45.809 * [backup-simplify]: Simplify (- 1) into -1 45.809 * [backup-simplify]: Simplify -1 into -1 45.810 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 45.810 * [taylor]: Taking taylor expansion of 0 in z 45.810 * [backup-simplify]: Simplify 0 into 0 45.810 * [backup-simplify]: Simplify 1 into 1 45.816 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 45.816 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 45.817 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 45.817 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0 45.817 * [backup-simplify]: Simplify (- 0) into 0 45.817 * [backup-simplify]: Simplify (+ 0 0) into 0 45.817 * [taylor]: Taking taylor expansion of 0 in y 45.817 * [backup-simplify]: Simplify 0 into 0 45.818 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 45.818 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 45.819 * [backup-simplify]: Simplify (- 0) into 0 45.819 * [taylor]: Taking taylor expansion of 0 in z 45.819 * [backup-simplify]: Simplify 0 into 0 45.820 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 45.820 * [taylor]: Taking taylor expansion of 0 in z 45.820 * [backup-simplify]: Simplify 0 into 0 45.820 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 45.820 * [backup-simplify]: Simplify (- 0) into 0 45.820 * [backup-simplify]: Simplify 0 into 0 45.820 * [backup-simplify]: Simplify 0 into 0 45.820 * [backup-simplify]: Simplify 0 into 0 45.821 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 45.822 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 45.822 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0 45.822 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0 45.823 * [backup-simplify]: Simplify (- 0) into 0 45.823 * [backup-simplify]: Simplify (+ 0 0) into 0 45.823 * [taylor]: Taking taylor expansion of 0 in y 45.823 * [backup-simplify]: Simplify 0 into 0 45.823 * [taylor]: Taking taylor expansion of 0 in z 45.823 * [backup-simplify]: Simplify 0 into 0 45.824 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 45.824 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 45.824 * [backup-simplify]: Simplify (- 0) into 0 45.824 * [taylor]: Taking taylor expansion of 0 in z 45.824 * [backup-simplify]: Simplify 0 into 0 45.825 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 45.825 * [taylor]: Taking taylor expansion of 0 in z 45.825 * [backup-simplify]: Simplify 0 into 0 45.825 * [backup-simplify]: Simplify 0 into 0 45.825 * [backup-simplify]: Simplify 0 into 0 45.825 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 45.826 * [backup-simplify]: Simplify (- 0) into 0 45.826 * [backup-simplify]: Simplify 0 into 0 45.826 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1)))) into (- (* x y) (* z y)) 45.826 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 45.826 * [backup-simplify]: Simplify (- (+ (* x y) (* y y)) (* y z)) into (- (+ (pow y 2) (* x y)) (* z y)) 45.826 * [approximate]: Taking taylor expansion of (- (+ (pow y 2) (* x y)) (* z y)) in (x y z) around 0 45.826 * [taylor]: Taking taylor expansion of (- (+ (pow y 2) (* x y)) (* z y)) in z 45.826 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in z 45.826 * [taylor]: Taking taylor expansion of (pow y 2) in z 45.826 * [taylor]: Taking taylor expansion of y in z 45.826 * [backup-simplify]: Simplify y into y 45.826 * [taylor]: Taking taylor expansion of (* x y) in z 45.826 * [taylor]: Taking taylor expansion of x in z 45.826 * [backup-simplify]: Simplify x into x 45.826 * [taylor]: Taking taylor expansion of y in z 45.826 * [backup-simplify]: Simplify y into y 45.826 * [taylor]: Taking taylor expansion of (* z y) in z 45.826 * [taylor]: Taking taylor expansion of z in z 45.826 * [backup-simplify]: Simplify 0 into 0 45.826 * [backup-simplify]: Simplify 1 into 1 45.826 * [taylor]: Taking taylor expansion of y in z 45.826 * [backup-simplify]: Simplify y into y 45.826 * [taylor]: Taking taylor expansion of (- (+ (pow y 2) (* x y)) (* z y)) in y 45.826 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in y 45.826 * [taylor]: Taking taylor expansion of (pow y 2) in y 45.826 * [taylor]: Taking taylor expansion of y in y 45.826 * [backup-simplify]: Simplify 0 into 0 45.826 * [backup-simplify]: Simplify 1 into 1 45.827 * [taylor]: Taking taylor expansion of (* x y) in y 45.827 * [taylor]: Taking taylor expansion of x in y 45.827 * [backup-simplify]: Simplify x into x 45.827 * [taylor]: Taking taylor expansion of y in y 45.827 * [backup-simplify]: Simplify 0 into 0 45.827 * [backup-simplify]: Simplify 1 into 1 45.827 * [taylor]: Taking taylor expansion of (* z y) in y 45.827 * [taylor]: Taking taylor expansion of z in y 45.827 * [backup-simplify]: Simplify z into z 45.827 * [taylor]: Taking taylor expansion of y in y 45.827 * [backup-simplify]: Simplify 0 into 0 45.827 * [backup-simplify]: Simplify 1 into 1 45.827 * [taylor]: Taking taylor expansion of (- (+ (pow y 2) (* x y)) (* z y)) in x 45.827 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in x 45.827 * [taylor]: Taking taylor expansion of (pow y 2) in x 45.827 * [taylor]: Taking taylor expansion of y in x 45.827 * [backup-simplify]: Simplify y into y 45.827 * [taylor]: Taking taylor expansion of (* x y) in x 45.827 * [taylor]: Taking taylor expansion of x in x 45.827 * [backup-simplify]: Simplify 0 into 0 45.827 * [backup-simplify]: Simplify 1 into 1 45.827 * [taylor]: Taking taylor expansion of y in x 45.827 * [backup-simplify]: Simplify y into y 45.827 * [taylor]: Taking taylor expansion of (* z y) in x 45.827 * [taylor]: Taking taylor expansion of z in x 45.827 * [backup-simplify]: Simplify z into z 45.827 * [taylor]: Taking taylor expansion of y in x 45.827 * [backup-simplify]: Simplify y into y 45.827 * [taylor]: Taking taylor expansion of (- (+ (pow y 2) (* x y)) (* z y)) in x 45.827 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in x 45.827 * [taylor]: Taking taylor expansion of (pow y 2) in x 45.827 * [taylor]: Taking taylor expansion of y in x 45.827 * [backup-simplify]: Simplify y into y 45.827 * [taylor]: Taking taylor expansion of (* x y) in x 45.827 * [taylor]: Taking taylor expansion of x in x 45.827 * [backup-simplify]: Simplify 0 into 0 45.827 * [backup-simplify]: Simplify 1 into 1 45.827 * [taylor]: Taking taylor expansion of y in x 45.827 * [backup-simplify]: Simplify y into y 45.827 * [taylor]: Taking taylor expansion of (* z y) in x 45.827 * [taylor]: Taking taylor expansion of z in x 45.827 * [backup-simplify]: Simplify z into z 45.827 * [taylor]: Taking taylor expansion of y in x 45.827 * [backup-simplify]: Simplify y into y 45.827 * [backup-simplify]: Simplify (* y y) into (pow y 2) 45.827 * [backup-simplify]: Simplify (* 0 y) into 0 45.828 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2) 45.828 * [backup-simplify]: Simplify (* z y) into (* z y) 45.828 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y)) 45.828 * [backup-simplify]: Simplify (+ (pow y 2) (- (* z y))) into (- (pow y 2) (* z y)) 45.828 * [taylor]: Taking taylor expansion of (- (pow y 2) (* z y)) in y 45.828 * [taylor]: Taking taylor expansion of (pow y 2) in y 45.828 * [taylor]: Taking taylor expansion of y in y 45.828 * [backup-simplify]: Simplify 0 into 0 45.828 * [backup-simplify]: Simplify 1 into 1 45.828 * [taylor]: Taking taylor expansion of (* z y) in y 45.828 * [taylor]: Taking taylor expansion of z in y 45.828 * [backup-simplify]: Simplify z into z 45.828 * [taylor]: Taking taylor expansion of y in y 45.828 * [backup-simplify]: Simplify 0 into 0 45.828 * [backup-simplify]: Simplify 1 into 1 45.828 * [backup-simplify]: Simplify (* z 0) into 0 45.828 * [backup-simplify]: Simplify (- 0) into 0 45.829 * [backup-simplify]: Simplify (+ 0 0) into 0 45.829 * [taylor]: Taking taylor expansion of 0 in z 45.829 * [backup-simplify]: Simplify 0 into 0 45.829 * [backup-simplify]: Simplify 0 into 0 45.829 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 45.829 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 45.829 * [backup-simplify]: Simplify (+ 0 y) into y 45.829 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 45.829 * [backup-simplify]: Simplify (- 0) into 0 45.829 * [backup-simplify]: Simplify (+ y 0) into y 45.829 * [taylor]: Taking taylor expansion of y in y 45.829 * [backup-simplify]: Simplify 0 into 0 45.829 * [backup-simplify]: Simplify 1 into 1 45.829 * [taylor]: Taking taylor expansion of 0 in z 45.829 * [backup-simplify]: Simplify 0 into 0 45.829 * [backup-simplify]: Simplify 0 into 0 45.830 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 45.830 * [backup-simplify]: Simplify (- z) into (- z) 45.830 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 45.830 * [taylor]: Taking taylor expansion of (- z) in z 45.830 * [taylor]: Taking taylor expansion of z in z 45.830 * [backup-simplify]: Simplify 0 into 0 45.830 * [backup-simplify]: Simplify 1 into 1 45.830 * [backup-simplify]: Simplify (- 0) into 0 45.830 * [backup-simplify]: Simplify 0 into 0 45.830 * [backup-simplify]: Simplify 0 into 0 45.830 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 45.831 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 45.835 * [backup-simplify]: Simplify (+ 0 0) into 0 45.839 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0 45.840 * [backup-simplify]: Simplify (- 0) into 0 45.842 * [backup-simplify]: Simplify (+ 0 0) into 0 45.842 * [taylor]: Taking taylor expansion of 0 in y 45.842 * [backup-simplify]: Simplify 0 into 0 45.843 * [taylor]: Taking taylor expansion of 0 in z 45.843 * [backup-simplify]: Simplify 0 into 0 45.843 * [backup-simplify]: Simplify 0 into 0 45.843 * [taylor]: Taking taylor expansion of 1 in z 45.843 * [backup-simplify]: Simplify 1 into 1 45.843 * [backup-simplify]: Simplify 1 into 1 45.843 * [backup-simplify]: Simplify (* 1 1) into 1 45.844 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 45.844 * [backup-simplify]: Simplify (- 0) into 0 45.844 * [backup-simplify]: Simplify (+ 1 0) into 1 45.844 * [taylor]: Taking taylor expansion of 1 in z 45.844 * [backup-simplify]: Simplify 1 into 1 45.844 * [backup-simplify]: Simplify 1 into 1 45.845 * [backup-simplify]: Simplify 0 into 0 45.845 * [backup-simplify]: Simplify (- 1) into -1 45.845 * [backup-simplify]: Simplify -1 into -1 45.845 * [backup-simplify]: Simplify (+ (* -1 (* z (* y 1))) (+ (* 1 (pow (* 1 (* y 1)) 2)) (* 1 (* 1 (* y x))))) into (- (+ (pow y 2) (* x y)) (* z y)) 45.846 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 1 y)) (* (/ 1 y) (/ 1 y))) (* (/ 1 y) (/ 1 z))) into (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) 45.846 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in (x y z) around 0 45.846 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in z 45.846 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in z 45.846 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 45.846 * [taylor]: Taking taylor expansion of (pow y 2) in z 45.846 * [taylor]: Taking taylor expansion of y in z 45.846 * [backup-simplify]: Simplify y into y 45.846 * [backup-simplify]: Simplify (* y y) into (pow y 2) 45.846 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 45.846 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 45.847 * [taylor]: Taking taylor expansion of (* x y) in z 45.847 * [taylor]: Taking taylor expansion of x in z 45.847 * [backup-simplify]: Simplify x into x 45.847 * [taylor]: Taking taylor expansion of y in z 45.847 * [backup-simplify]: Simplify y into y 45.847 * [backup-simplify]: Simplify (* x y) into (* x y) 45.847 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 45.847 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 45.847 * [taylor]: Taking taylor expansion of (* z y) in z 45.847 * [taylor]: Taking taylor expansion of z in z 45.847 * [backup-simplify]: Simplify 0 into 0 45.847 * [backup-simplify]: Simplify 1 into 1 45.847 * [taylor]: Taking taylor expansion of y in z 45.847 * [backup-simplify]: Simplify y into y 45.847 * [backup-simplify]: Simplify (* 0 y) into 0 45.848 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 45.848 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 45.848 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in y 45.848 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in y 45.848 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 45.848 * [taylor]: Taking taylor expansion of (pow y 2) in y 45.848 * [taylor]: Taking taylor expansion of y in y 45.848 * [backup-simplify]: Simplify 0 into 0 45.848 * [backup-simplify]: Simplify 1 into 1 45.849 * [backup-simplify]: Simplify (* 1 1) into 1 45.849 * [backup-simplify]: Simplify (/ 1 1) into 1 45.849 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 45.849 * [taylor]: Taking taylor expansion of (* x y) in y 45.849 * [taylor]: Taking taylor expansion of x in y 45.849 * [backup-simplify]: Simplify x into x 45.849 * [taylor]: Taking taylor expansion of y in y 45.849 * [backup-simplify]: Simplify 0 into 0 45.849 * [backup-simplify]: Simplify 1 into 1 45.849 * [backup-simplify]: Simplify (* x 0) into 0 45.850 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 45.850 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 45.850 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 45.850 * [taylor]: Taking taylor expansion of (* z y) in y 45.850 * [taylor]: Taking taylor expansion of z in y 45.850 * [backup-simplify]: Simplify z into z 45.850 * [taylor]: Taking taylor expansion of y in y 45.850 * [backup-simplify]: Simplify 0 into 0 45.850 * [backup-simplify]: Simplify 1 into 1 45.850 * [backup-simplify]: Simplify (* z 0) into 0 45.851 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 45.851 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 45.851 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in x 45.851 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x 45.851 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 45.851 * [taylor]: Taking taylor expansion of (pow y 2) in x 45.851 * [taylor]: Taking taylor expansion of y in x 45.851 * [backup-simplify]: Simplify y into y 45.851 * [backup-simplify]: Simplify (* y y) into (pow y 2) 45.851 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 45.851 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 45.851 * [taylor]: Taking taylor expansion of (* x y) in x 45.851 * [taylor]: Taking taylor expansion of x in x 45.851 * [backup-simplify]: Simplify 0 into 0 45.851 * [backup-simplify]: Simplify 1 into 1 45.851 * [taylor]: Taking taylor expansion of y in x 45.851 * [backup-simplify]: Simplify y into y 45.852 * [backup-simplify]: Simplify (* 0 y) into 0 45.852 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 45.852 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 45.852 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 45.852 * [taylor]: Taking taylor expansion of (* z y) in x 45.852 * [taylor]: Taking taylor expansion of z in x 45.852 * [backup-simplify]: Simplify z into z 45.852 * [taylor]: Taking taylor expansion of y in x 45.852 * [backup-simplify]: Simplify y into y 45.852 * [backup-simplify]: Simplify (* z y) into (* z y) 45.852 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 45.852 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in x 45.852 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x 45.853 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 45.853 * [taylor]: Taking taylor expansion of (pow y 2) in x 45.853 * [taylor]: Taking taylor expansion of y in x 45.853 * [backup-simplify]: Simplify y into y 45.853 * [backup-simplify]: Simplify (* y y) into (pow y 2) 45.853 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 45.853 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 45.853 * [taylor]: Taking taylor expansion of (* x y) in x 45.853 * [taylor]: Taking taylor expansion of x in x 45.853 * [backup-simplify]: Simplify 0 into 0 45.853 * [backup-simplify]: Simplify 1 into 1 45.853 * [taylor]: Taking taylor expansion of y in x 45.853 * [backup-simplify]: Simplify y into y 45.853 * [backup-simplify]: Simplify (* 0 y) into 0 45.854 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 45.854 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 45.854 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 45.854 * [taylor]: Taking taylor expansion of (* z y) in x 45.854 * [taylor]: Taking taylor expansion of z in x 45.854 * [backup-simplify]: Simplify z into z 45.854 * [taylor]: Taking taylor expansion of y in x 45.854 * [backup-simplify]: Simplify y into y 45.854 * [backup-simplify]: Simplify (* z y) into (* z y) 45.854 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 45.854 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 45.854 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 45.854 * [taylor]: Taking taylor expansion of (/ 1 y) in y 45.854 * [taylor]: Taking taylor expansion of y in y 45.854 * [backup-simplify]: Simplify 0 into 0 45.854 * [backup-simplify]: Simplify 1 into 1 45.855 * [backup-simplify]: Simplify (/ 1 1) into 1 45.856 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 45.856 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 45.856 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2)) 45.856 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y))) 45.857 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) (- (/ 1 (* z y)))) into (- (/ 1 (pow y 2)) (/ 1 (* z y))) 45.857 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (* z y))) in y 45.857 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 45.857 * [taylor]: Taking taylor expansion of (pow y 2) in y 45.857 * [taylor]: Taking taylor expansion of y in y 45.857 * [backup-simplify]: Simplify 0 into 0 45.857 * [backup-simplify]: Simplify 1 into 1 45.857 * [backup-simplify]: Simplify (* 1 1) into 1 45.858 * [backup-simplify]: Simplify (/ 1 1) into 1 45.858 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 45.858 * [taylor]: Taking taylor expansion of (* z y) in y 45.858 * [taylor]: Taking taylor expansion of z in y 45.858 * [backup-simplify]: Simplify z into z 45.858 * [taylor]: Taking taylor expansion of y in y 45.858 * [backup-simplify]: Simplify 0 into 0 45.858 * [backup-simplify]: Simplify 1 into 1 45.858 * [backup-simplify]: Simplify (* z 0) into 0 45.858 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 45.858 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 45.859 * [backup-simplify]: Simplify (+ 1 0) into 1 45.859 * [taylor]: Taking taylor expansion of 1 in z 45.859 * [backup-simplify]: Simplify 1 into 1 45.859 * [taylor]: Taking taylor expansion of 1 in z 45.859 * [backup-simplify]: Simplify 1 into 1 45.861 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 45.861 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 45.863 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 45.864 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 45.864 * [backup-simplify]: Simplify (+ 0 0) into 0 45.865 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 45.865 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0 45.866 * [backup-simplify]: Simplify (- 0) into 0 45.867 * [backup-simplify]: Simplify (+ 0 0) into 0 45.867 * [taylor]: Taking taylor expansion of 0 in y 45.867 * [backup-simplify]: Simplify 0 into 0 45.871 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 45.872 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 45.873 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 45.873 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 45.873 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 45.873 * [taylor]: Taking taylor expansion of (/ 1 z) in z 45.873 * [taylor]: Taking taylor expansion of z in z 45.873 * [backup-simplify]: Simplify 0 into 0 45.873 * [backup-simplify]: Simplify 1 into 1 45.875 * [backup-simplify]: Simplify (/ 1 1) into 1 45.875 * [backup-simplify]: Simplify (- 1) into -1 45.875 * [backup-simplify]: Simplify -1 into -1 45.876 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 45.876 * [taylor]: Taking taylor expansion of 0 in z 45.876 * [backup-simplify]: Simplify 0 into 0 45.876 * [backup-simplify]: Simplify 1 into 1 45.876 * [backup-simplify]: Simplify 1 into 1 45.877 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (+ (* 1 (pow (* 1 (* (/ 1 (/ 1 y)) 1)) 2)) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1))))) into (- (+ (pow y 2) (* x y)) (* z y)) 45.878 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- y)) (/ 1 (- y)))) (* (/ 1 (- y)) (/ 1 (- z)))) into (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) 45.878 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in (x y z) around 0 45.878 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in z 45.878 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in z 45.878 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 45.878 * [taylor]: Taking taylor expansion of (pow y 2) in z 45.878 * [taylor]: Taking taylor expansion of y in z 45.878 * [backup-simplify]: Simplify y into y 45.878 * [backup-simplify]: Simplify (* y y) into (pow y 2) 45.878 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 45.878 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 45.878 * [taylor]: Taking taylor expansion of (* x y) in z 45.878 * [taylor]: Taking taylor expansion of x in z 45.878 * [backup-simplify]: Simplify x into x 45.878 * [taylor]: Taking taylor expansion of y in z 45.878 * [backup-simplify]: Simplify y into y 45.879 * [backup-simplify]: Simplify (* x y) into (* x y) 45.879 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 45.879 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 45.879 * [taylor]: Taking taylor expansion of (* z y) in z 45.879 * [taylor]: Taking taylor expansion of z in z 45.879 * [backup-simplify]: Simplify 0 into 0 45.879 * [backup-simplify]: Simplify 1 into 1 45.879 * [taylor]: Taking taylor expansion of y in z 45.879 * [backup-simplify]: Simplify y into y 45.879 * [backup-simplify]: Simplify (* 0 y) into 0 45.880 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 45.880 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 45.880 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in y 45.880 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in y 45.880 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 45.880 * [taylor]: Taking taylor expansion of (pow y 2) in y 45.880 * [taylor]: Taking taylor expansion of y in y 45.880 * [backup-simplify]: Simplify 0 into 0 45.880 * [backup-simplify]: Simplify 1 into 1 45.881 * [backup-simplify]: Simplify (* 1 1) into 1 45.882 * [backup-simplify]: Simplify (/ 1 1) into 1 45.882 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 45.882 * [taylor]: Taking taylor expansion of (* x y) in y 45.882 * [taylor]: Taking taylor expansion of x in y 45.882 * [backup-simplify]: Simplify x into x 45.882 * [taylor]: Taking taylor expansion of y in y 45.882 * [backup-simplify]: Simplify 0 into 0 45.882 * [backup-simplify]: Simplify 1 into 1 45.882 * [backup-simplify]: Simplify (* x 0) into 0 45.882 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 45.883 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 45.883 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 45.883 * [taylor]: Taking taylor expansion of (* z y) in y 45.883 * [taylor]: Taking taylor expansion of z in y 45.883 * [backup-simplify]: Simplify z into z 45.883 * [taylor]: Taking taylor expansion of y in y 45.883 * [backup-simplify]: Simplify 0 into 0 45.883 * [backup-simplify]: Simplify 1 into 1 45.883 * [backup-simplify]: Simplify (* z 0) into 0 45.883 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 45.884 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 45.884 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in x 45.884 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x 45.884 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 45.884 * [taylor]: Taking taylor expansion of (pow y 2) in x 45.884 * [taylor]: Taking taylor expansion of y in x 45.884 * [backup-simplify]: Simplify y into y 45.884 * [backup-simplify]: Simplify (* y y) into (pow y 2) 45.884 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 45.884 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 45.884 * [taylor]: Taking taylor expansion of (* x y) in x 45.884 * [taylor]: Taking taylor expansion of x in x 45.884 * [backup-simplify]: Simplify 0 into 0 45.884 * [backup-simplify]: Simplify 1 into 1 45.884 * [taylor]: Taking taylor expansion of y in x 45.884 * [backup-simplify]: Simplify y into y 45.884 * [backup-simplify]: Simplify (* 0 y) into 0 45.887 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 45.887 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 45.887 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 45.887 * [taylor]: Taking taylor expansion of (* z y) in x 45.887 * [taylor]: Taking taylor expansion of z in x 45.887 * [backup-simplify]: Simplify z into z 45.887 * [taylor]: Taking taylor expansion of y in x 45.887 * [backup-simplify]: Simplify y into y 45.887 * [backup-simplify]: Simplify (* z y) into (* z y) 45.888 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 45.888 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in x 45.888 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x 45.888 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 45.888 * [taylor]: Taking taylor expansion of (pow y 2) in x 45.888 * [taylor]: Taking taylor expansion of y in x 45.888 * [backup-simplify]: Simplify y into y 45.888 * [backup-simplify]: Simplify (* y y) into (pow y 2) 45.888 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 45.888 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 45.888 * [taylor]: Taking taylor expansion of (* x y) in x 45.888 * [taylor]: Taking taylor expansion of x in x 45.888 * [backup-simplify]: Simplify 0 into 0 45.888 * [backup-simplify]: Simplify 1 into 1 45.888 * [taylor]: Taking taylor expansion of y in x 45.888 * [backup-simplify]: Simplify y into y 45.888 * [backup-simplify]: Simplify (* 0 y) into 0 45.893 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 45.893 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 45.893 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 45.893 * [taylor]: Taking taylor expansion of (* z y) in x 45.893 * [taylor]: Taking taylor expansion of z in x 45.893 * [backup-simplify]: Simplify z into z 45.893 * [taylor]: Taking taylor expansion of y in x 45.893 * [backup-simplify]: Simplify y into y 45.893 * [backup-simplify]: Simplify (* z y) into (* z y) 45.893 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 45.893 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 45.894 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 45.894 * [taylor]: Taking taylor expansion of (/ 1 y) in y 45.894 * [taylor]: Taking taylor expansion of y in y 45.894 * [backup-simplify]: Simplify 0 into 0 45.894 * [backup-simplify]: Simplify 1 into 1 45.894 * [backup-simplify]: Simplify (/ 1 1) into 1 45.895 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 45.895 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 45.896 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2)) 45.896 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y))) 45.896 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) (- (/ 1 (* z y)))) into (- (/ 1 (pow y 2)) (/ 1 (* z y))) 45.896 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (* z y))) in y 45.896 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 45.896 * [taylor]: Taking taylor expansion of (pow y 2) in y 45.896 * [taylor]: Taking taylor expansion of y in y 45.896 * [backup-simplify]: Simplify 0 into 0 45.896 * [backup-simplify]: Simplify 1 into 1 45.897 * [backup-simplify]: Simplify (* 1 1) into 1 45.897 * [backup-simplify]: Simplify (/ 1 1) into 1 45.897 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 45.897 * [taylor]: Taking taylor expansion of (* z y) in y 45.897 * [taylor]: Taking taylor expansion of z in y 45.897 * [backup-simplify]: Simplify z into z 45.897 * [taylor]: Taking taylor expansion of y in y 45.897 * [backup-simplify]: Simplify 0 into 0 45.897 * [backup-simplify]: Simplify 1 into 1 45.897 * [backup-simplify]: Simplify (* z 0) into 0 45.898 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 45.902 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 45.903 * [backup-simplify]: Simplify (+ 1 0) into 1 45.903 * [taylor]: Taking taylor expansion of 1 in z 45.903 * [backup-simplify]: Simplify 1 into 1 45.903 * [taylor]: Taking taylor expansion of 1 in z 45.903 * [backup-simplify]: Simplify 1 into 1 45.903 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 45.904 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 45.905 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 45.905 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 45.906 * [backup-simplify]: Simplify (+ 0 0) into 0 45.906 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 45.906 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0 45.906 * [backup-simplify]: Simplify (- 0) into 0 45.907 * [backup-simplify]: Simplify (+ 0 0) into 0 45.907 * [taylor]: Taking taylor expansion of 0 in y 45.907 * [backup-simplify]: Simplify 0 into 0 45.907 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 45.908 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 45.908 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 45.908 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 45.908 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 45.908 * [taylor]: Taking taylor expansion of (/ 1 z) in z 45.908 * [taylor]: Taking taylor expansion of z in z 45.908 * [backup-simplify]: Simplify 0 into 0 45.908 * [backup-simplify]: Simplify 1 into 1 45.909 * [backup-simplify]: Simplify (/ 1 1) into 1 45.909 * [backup-simplify]: Simplify (- 1) into -1 45.909 * [backup-simplify]: Simplify -1 into -1 45.910 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 45.910 * [taylor]: Taking taylor expansion of 0 in z 45.910 * [backup-simplify]: Simplify 0 into 0 45.910 * [backup-simplify]: Simplify 1 into 1 45.910 * [backup-simplify]: Simplify 1 into 1 45.911 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (+ (* 1 (pow (* 1 (* (/ 1 (/ 1 (- y))) 1)) 2)) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1))))) into (- (+ (pow y 2) (* x y)) (* z y)) 45.911 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 45.911 * [backup-simplify]: Simplify (+ (* x y) (* y y)) into (+ (pow y 2) (* x y)) 45.911 * [approximate]: Taking taylor expansion of (+ (pow y 2) (* x y)) in (x y) around 0 45.912 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in y 45.912 * [taylor]: Taking taylor expansion of (pow y 2) in y 45.912 * [taylor]: Taking taylor expansion of y in y 45.912 * [backup-simplify]: Simplify 0 into 0 45.912 * [backup-simplify]: Simplify 1 into 1 45.912 * [taylor]: Taking taylor expansion of (* x y) in y 45.912 * [taylor]: Taking taylor expansion of x in y 45.912 * [backup-simplify]: Simplify x into x 45.912 * [taylor]: Taking taylor expansion of y in y 45.912 * [backup-simplify]: Simplify 0 into 0 45.912 * [backup-simplify]: Simplify 1 into 1 45.912 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in x 45.912 * [taylor]: Taking taylor expansion of (pow y 2) in x 45.912 * [taylor]: Taking taylor expansion of y in x 45.912 * [backup-simplify]: Simplify y into y 45.912 * [taylor]: Taking taylor expansion of (* x y) in x 45.912 * [taylor]: Taking taylor expansion of x in x 45.912 * [backup-simplify]: Simplify 0 into 0 45.912 * [backup-simplify]: Simplify 1 into 1 45.912 * [taylor]: Taking taylor expansion of y in x 45.912 * [backup-simplify]: Simplify y into y 45.912 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in x 45.912 * [taylor]: Taking taylor expansion of (pow y 2) in x 45.912 * [taylor]: Taking taylor expansion of y in x 45.912 * [backup-simplify]: Simplify y into y 45.912 * [taylor]: Taking taylor expansion of (* x y) in x 45.912 * [taylor]: Taking taylor expansion of x in x 45.912 * [backup-simplify]: Simplify 0 into 0 45.912 * [backup-simplify]: Simplify 1 into 1 45.912 * [taylor]: Taking taylor expansion of y in x 45.912 * [backup-simplify]: Simplify y into y 45.912 * [backup-simplify]: Simplify (* y y) into (pow y 2) 45.912 * [backup-simplify]: Simplify (* 0 y) into 0 45.913 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2) 45.913 * [taylor]: Taking taylor expansion of (pow y 2) in y 45.913 * [taylor]: Taking taylor expansion of y in y 45.913 * [backup-simplify]: Simplify 0 into 0 45.913 * [backup-simplify]: Simplify 1 into 1 45.913 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 45.913 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 45.914 * [backup-simplify]: Simplify (+ 0 y) into y 45.914 * [taylor]: Taking taylor expansion of y in y 45.914 * [backup-simplify]: Simplify 0 into 0 45.914 * [backup-simplify]: Simplify 1 into 1 45.914 * [backup-simplify]: Simplify 0 into 0 45.914 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 45.915 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 45.915 * [backup-simplify]: Simplify (+ 0 0) into 0 45.915 * [taylor]: Taking taylor expansion of 0 in y 45.916 * [backup-simplify]: Simplify 0 into 0 45.916 * [backup-simplify]: Simplify 0 into 0 45.916 * [backup-simplify]: Simplify 1 into 1 45.916 * [backup-simplify]: Simplify (* 1 1) into 1 45.916 * [backup-simplify]: Simplify 1 into 1 45.917 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 45.918 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 45.918 * [backup-simplify]: Simplify (+ 0 0) into 0 45.918 * [taylor]: Taking taylor expansion of 0 in y 45.918 * [backup-simplify]: Simplify 0 into 0 45.918 * [backup-simplify]: Simplify 0 into 0 45.918 * [backup-simplify]: Simplify 0 into 0 45.918 * [backup-simplify]: Simplify 0 into 0 45.919 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 45.919 * [backup-simplify]: Simplify 0 into 0 45.920 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 45.922 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 45.922 * [backup-simplify]: Simplify (+ 0 0) into 0 45.922 * [taylor]: Taking taylor expansion of 0 in y 45.922 * [backup-simplify]: Simplify 0 into 0 45.923 * [backup-simplify]: Simplify 0 into 0 45.923 * [backup-simplify]: Simplify 0 into 0 45.923 * [backup-simplify]: Simplify (+ (* 1 (pow (* y 1) 2)) (* 1 (* y x))) into (+ (pow y 2) (* x y)) 45.927 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 y)) (* (/ 1 y) (/ 1 y))) into (+ (/ 1 (pow y 2)) (/ 1 (* x y))) 45.927 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in (x y) around 0 45.927 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in y 45.927 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 45.927 * [taylor]: Taking taylor expansion of (pow y 2) in y 45.927 * [taylor]: Taking taylor expansion of y in y 45.927 * [backup-simplify]: Simplify 0 into 0 45.927 * [backup-simplify]: Simplify 1 into 1 46.024 * [backup-simplify]: Simplify (* 1 1) into 1 46.084 * [backup-simplify]: Simplify (/ 1 1) into 1 46.084 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 46.087 * [taylor]: Taking taylor expansion of (* x y) in y 46.087 * [taylor]: Taking taylor expansion of x in y 46.088 * [backup-simplify]: Simplify x into x 46.088 * [taylor]: Taking taylor expansion of y in y 46.088 * [backup-simplify]: Simplify 0 into 0 46.088 * [backup-simplify]: Simplify 1 into 1 46.088 * [backup-simplify]: Simplify (* x 0) into 0 46.089 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 46.089 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 46.089 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x 46.089 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 46.089 * [taylor]: Taking taylor expansion of (pow y 2) in x 46.089 * [taylor]: Taking taylor expansion of y in x 46.089 * [backup-simplify]: Simplify y into y 46.089 * [backup-simplify]: Simplify (* y y) into (pow y 2) 46.089 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 46.089 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 46.089 * [taylor]: Taking taylor expansion of (* x y) in x 46.089 * [taylor]: Taking taylor expansion of x in x 46.089 * [backup-simplify]: Simplify 0 into 0 46.089 * [backup-simplify]: Simplify 1 into 1 46.089 * [taylor]: Taking taylor expansion of y in x 46.089 * [backup-simplify]: Simplify y into y 46.089 * [backup-simplify]: Simplify (* 0 y) into 0 46.090 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 46.090 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 46.090 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x 46.090 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 46.090 * [taylor]: Taking taylor expansion of (pow y 2) in x 46.090 * [taylor]: Taking taylor expansion of y in x 46.100 * [backup-simplify]: Simplify y into y 46.100 * [backup-simplify]: Simplify (* y y) into (pow y 2) 46.100 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 46.100 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 46.101 * [taylor]: Taking taylor expansion of (* x y) in x 46.101 * [taylor]: Taking taylor expansion of x in x 46.101 * [backup-simplify]: Simplify 0 into 0 46.101 * [backup-simplify]: Simplify 1 into 1 46.101 * [taylor]: Taking taylor expansion of y in x 46.101 * [backup-simplify]: Simplify y into y 46.101 * [backup-simplify]: Simplify (* 0 y) into 0 46.101 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 46.101 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 46.108 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 46.108 * [taylor]: Taking taylor expansion of (/ 1 y) in y 46.108 * [taylor]: Taking taylor expansion of y in y 46.108 * [backup-simplify]: Simplify 0 into 0 46.108 * [backup-simplify]: Simplify 1 into 1 46.109 * [backup-simplify]: Simplify (/ 1 1) into 1 46.110 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 46.110 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 46.115 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2)) 46.115 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 46.115 * [taylor]: Taking taylor expansion of (pow y 2) in y 46.115 * [taylor]: Taking taylor expansion of y in y 46.115 * [backup-simplify]: Simplify 0 into 0 46.115 * [backup-simplify]: Simplify 1 into 1 46.116 * [backup-simplify]: Simplify (* 1 1) into 1 46.116 * [backup-simplify]: Simplify (/ 1 1) into 1 46.116 * [backup-simplify]: Simplify 1 into 1 46.117 * [backup-simplify]: Simplify 1 into 1 46.117 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 46.117 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 46.119 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 46.119 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 46.119 * [backup-simplify]: Simplify (+ 0 0) into 0 46.119 * [taylor]: Taking taylor expansion of 0 in y 46.119 * [backup-simplify]: Simplify 0 into 0 46.120 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 46.121 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 46.121 * [backup-simplify]: Simplify 0 into 0 46.121 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 46.121 * [backup-simplify]: Simplify 0 into 0 46.122 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 46.122 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 46.124 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 46.124 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 46.125 * [backup-simplify]: Simplify (+ 0 0) into 0 46.125 * [taylor]: Taking taylor expansion of 0 in y 46.125 * [backup-simplify]: Simplify 0 into 0 46.126 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 46.126 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 46.126 * [backup-simplify]: Simplify 0 into 0 46.127 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 46.127 * [backup-simplify]: Simplify 0 into 0 46.132 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 46.132 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 46.134 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 46.134 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 46.135 * [backup-simplify]: Simplify (+ 0 0) into 0 46.135 * [taylor]: Taking taylor expansion of 0 in y 46.135 * [backup-simplify]: Simplify 0 into 0 46.140 * [backup-simplify]: Simplify 0 into 0 46.144 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 46.145 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 46.145 * [backup-simplify]: Simplify 0 into 0 46.145 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) (* 1 (pow (* (/ 1 (/ 1 y)) 1) 2))) into (+ (pow y 2) (* x y)) 46.147 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- y)) (/ 1 (- y)))) into (+ (/ 1 (pow y 2)) (/ 1 (* x y))) 46.147 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in (x y) around 0 46.147 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in y 46.147 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 46.147 * [taylor]: Taking taylor expansion of (pow y 2) in y 46.147 * [taylor]: Taking taylor expansion of y in y 46.147 * [backup-simplify]: Simplify 0 into 0 46.147 * [backup-simplify]: Simplify 1 into 1 46.148 * [backup-simplify]: Simplify (* 1 1) into 1 46.149 * [backup-simplify]: Simplify (/ 1 1) into 1 46.149 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 46.149 * [taylor]: Taking taylor expansion of (* x y) in y 46.149 * [taylor]: Taking taylor expansion of x in y 46.149 * [backup-simplify]: Simplify x into x 46.149 * [taylor]: Taking taylor expansion of y in y 46.149 * [backup-simplify]: Simplify 0 into 0 46.149 * [backup-simplify]: Simplify 1 into 1 46.149 * [backup-simplify]: Simplify (* x 0) into 0 46.149 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 46.150 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 46.150 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x 46.150 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 46.150 * [taylor]: Taking taylor expansion of (pow y 2) in x 46.150 * [taylor]: Taking taylor expansion of y in x 46.150 * [backup-simplify]: Simplify y into y 46.150 * [backup-simplify]: Simplify (* y y) into (pow y 2) 46.150 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 46.150 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 46.150 * [taylor]: Taking taylor expansion of (* x y) in x 46.150 * [taylor]: Taking taylor expansion of x in x 46.150 * [backup-simplify]: Simplify 0 into 0 46.150 * [backup-simplify]: Simplify 1 into 1 46.150 * [taylor]: Taking taylor expansion of y in x 46.150 * [backup-simplify]: Simplify y into y 46.150 * [backup-simplify]: Simplify (* 0 y) into 0 46.151 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 46.151 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 46.151 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x 46.151 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 46.151 * [taylor]: Taking taylor expansion of (pow y 2) in x 46.151 * [taylor]: Taking taylor expansion of y in x 46.151 * [backup-simplify]: Simplify y into y 46.151 * [backup-simplify]: Simplify (* y y) into (pow y 2) 46.151 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 46.151 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 46.151 * [taylor]: Taking taylor expansion of (* x y) in x 46.151 * [taylor]: Taking taylor expansion of x in x 46.151 * [backup-simplify]: Simplify 0 into 0 46.151 * [backup-simplify]: Simplify 1 into 1 46.151 * [taylor]: Taking taylor expansion of y in x 46.152 * [backup-simplify]: Simplify y into y 46.152 * [backup-simplify]: Simplify (* 0 y) into 0 46.152 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 46.152 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 46.152 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 46.152 * [taylor]: Taking taylor expansion of (/ 1 y) in y 46.152 * [taylor]: Taking taylor expansion of y in y 46.152 * [backup-simplify]: Simplify 0 into 0 46.152 * [backup-simplify]: Simplify 1 into 1 46.153 * [backup-simplify]: Simplify (/ 1 1) into 1 46.156 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 46.156 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 46.157 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2)) 46.157 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 46.157 * [taylor]: Taking taylor expansion of (pow y 2) in y 46.157 * [taylor]: Taking taylor expansion of y in y 46.157 * [backup-simplify]: Simplify 0 into 0 46.157 * [backup-simplify]: Simplify 1 into 1 46.157 * [backup-simplify]: Simplify (* 1 1) into 1 46.158 * [backup-simplify]: Simplify (/ 1 1) into 1 46.158 * [backup-simplify]: Simplify 1 into 1 46.158 * [backup-simplify]: Simplify 1 into 1 46.158 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 46.158 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 46.163 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 46.163 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 46.163 * [backup-simplify]: Simplify (+ 0 0) into 0 46.163 * [taylor]: Taking taylor expansion of 0 in y 46.164 * [backup-simplify]: Simplify 0 into 0 46.164 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 46.165 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 46.165 * [backup-simplify]: Simplify 0 into 0 46.166 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 46.166 * [backup-simplify]: Simplify 0 into 0 46.166 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 46.167 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 46.168 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 46.168 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 46.169 * [backup-simplify]: Simplify (+ 0 0) into 0 46.169 * [taylor]: Taking taylor expansion of 0 in y 46.169 * [backup-simplify]: Simplify 0 into 0 46.170 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 46.171 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 46.171 * [backup-simplify]: Simplify 0 into 0 46.172 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 46.172 * [backup-simplify]: Simplify 0 into 0 46.173 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 46.173 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 46.188 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 46.188 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 46.189 * [backup-simplify]: Simplify (+ 0 0) into 0 46.189 * [taylor]: Taking taylor expansion of 0 in y 46.189 * [backup-simplify]: Simplify 0 into 0 46.189 * [backup-simplify]: Simplify 0 into 0 46.193 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 46.194 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 46.194 * [backup-simplify]: Simplify 0 into 0 46.195 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (* 1 (pow (* (/ 1 (/ 1 (- y))) 1) 2))) into (+ (pow y 2) (* x y)) 46.200 * * * [progress]: simplifying candidates 46.215 * [simplify]: Simplifying: (fma (* (cbrt (- (+ (* x y) (* y y)) (* y z))) (cbrt (- (+ (* x y) (* y y)) (* y z)))) (cbrt (- (+ (* x y) (* y y)) (* y z))) (- (* y y))) (fma (- y) y (* y y)) (fma (sqrt (- (+ (* x y) (* y y)) (* y z))) (sqrt (- (+ (* x y) (* y y)) (* y z))) (- (* y y))) (fma (- y) y (* y y)) (fma 1 (- (+ (* x y) (* y y)) (* y z)) (- (* y y))) (fma (- y) y (* y y)) (fma y (- (+ x y) z) (- (* y y))) (fma (- y) y (* y y)) (expm1 (- (- (+ (* x y) (* y y)) (* y z)) (* y y))) (log1p (- (- (+ (* x y) (* y y)) (* y z)) (* y y))) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (/ (/ (* (exp (* x y)) (exp (* y y))) (exp (* y z))) (exp (* y y))) (/ (/ (exp (+ (* x y) (* y y))) (exp (* y z))) (exp (* y y))) (/ (exp (- (+ (* x y) (* y y)) (* y z))) (exp (* y y))) (log (- (- (+ (* x y) (* y y)) (* y z)) (* y y))) (exp (- (- (+ (* x y) (* y y)) (* y z)) (* y y))) (* (cbrt (- (- (+ (* x y) (* y y)) (* y z)) (* y y))) (cbrt (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))) (cbrt (- (- (+ (* x y) (* y y)) (* y z)) (* y y))) (* (* (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (- (+ (* x y) (* y y)) (* y z)) (* y y))) (- (- (+ (* x y) (* y y)) (* y z)) (* y y))) (sqrt (- (- (+ (* x y) (* y y)) (* y z)) (* y y))) (sqrt (- (- (+ (* x y) (* y y)) (* y z)) (* y y))) (- (pow (- (+ (* x y) (* y y)) (* y z)) 3) (pow (* y y) 3)) (+ (* (- (+ (* x y) (* y y)) (* y z)) (- (+ (* x y) (* y y)) (* y z))) (+ (* (* y y) (* y y)) (* (- (+ (* x y) (* y y)) (* y z)) (* y y)))) (- (* y y)) (- (* (- (+ (* x y) (* y y)) (* y z)) (- (+ (* x y) (* y y)) (* y z))) (* (* y y) (* y y))) (+ (- (+ (* x y) (* y y)) (* y z)) (* y y)) (+ (sqrt (- (+ (* x y) (* y y)) (* y z))) y) (- (sqrt (- (+ (* x y) (* y y)) (* y z))) y) (- (- (+ x y) z) y) (- (fma (- z) y (* z y)) (* y y)) (- (fma (- z) y (* z y)) (* y y)) (- (fma (- z) y (* z y)) (* y y)) (- (fma (- z) y (* z y)) (* y y)) (- (- (* y z)) (* y y)) (- (- (* y y) (* y z)) (* y y)) (- (- (* y z)) (* y y)) (+ (* y z) (* y y)) (- (* y y)) (fma (* (cbrt (+ (* x y) (* y y))) (cbrt (+ (* x y) (* y y)))) (cbrt (+ (* x y) (* y y))) (- (* z y))) (fma (- z) y (* z y)) (fma (sqrt (+ (* x y) (* y y))) (sqrt (+ (* x y) (* y y))) (- (* z y))) (fma (- z) y (* z y)) (fma 1 (+ (* x y) (* y y)) (- (* z y))) (fma (- z) y (* z y)) (fma y (+ x y) (- (* z y))) (fma (- z) y (* z y)) (expm1 (- (+ (* x y) (* y y)) (* y z))) (log1p (- (+ (* x y) (* y y)) (* y z))) (- (* y z)) (- (* y z)) (- (* y z)) (- (* y z)) (/ (* (exp (* x y)) (exp (* y y))) (exp (* y z))) (/ (exp (+ (* x y) (* y y))) (exp (* y z))) (log (- (+ (* x y) (* y y)) (* y z))) (exp (- (+ (* x y) (* y y)) (* y z))) (* (cbrt (- (+ (* x y) (* y y)) (* y z))) (cbrt (- (+ (* x y) (* y y)) (* y z)))) (cbrt (- (+ (* x y) (* y y)) (* y z))) (* (* (- (+ (* x y) (* y y)) (* y z)) (- (+ (* x y) (* y y)) (* y z))) (- (+ (* x y) (* y y)) (* y z))) (sqrt (- (+ (* x y) (* y y)) (* y z))) (sqrt (- (+ (* x y) (* y y)) (* y z))) (- (pow (+ (* x y) (* y y)) 3) (pow (* y z) 3)) (+ (* (+ (* x y) (* y y)) (+ (* x y) (* y y))) (+ (* (* y z) (* y z)) (* (+ (* x y) (* y y)) (* y z)))) (- (* y z)) (- (* (+ (* x y) (* y y)) (+ (* x y) (* y y))) (* (* y z) (* y z))) (+ (+ (* x y) (* y y)) (* y z)) (- (+ x y) z) (- (* y y) (* y z)) (- (* y z)) (expm1 (+ (* x y) (* y y))) (log1p (+ (* x y) (* y y))) (* (exp (* x y)) (exp (* y y))) (log (+ (* x y) (* y y))) (exp (+ (* x y) (* y y))) (* (cbrt (+ (* x y) (* y y))) (cbrt (+ (* x y) (* y y)))) (cbrt (+ (* x y) (* y y))) (* (* (+ (* x y) (* y y)) (+ (* x y) (* y y))) (+ (* x y) (* y y))) (sqrt (+ (* x y) (* y y))) (sqrt (+ (* x y) (* y y))) (+ (pow (* x y) 3) (pow (* y y) 3)) (+ (* (* x y) (* x y)) (- (* (* y y) (* y y)) (* (* x y) (* y y)))) (- (* (* x y) (* x y)) (* (* y y) (* y y))) (- (* x y) (* y y)) (+ x y) (- (* x y) (* z y)) (- (* x y) (* z y)) (- (* x y) (* z y)) (- (+ (pow y 2) (* x y)) (* z y)) (- (+ (pow y 2) (* x y)) (* z y)) (- (+ (pow y 2) (* x y)) (* z y)) (+ (pow y 2) (* x y)) (+ (pow y 2) (* x y)) (+ (pow y 2) (* x y)) 46.219 * * [simplify]: iteration 0: 104 enodes 46.319 * * [simplify]: iteration 1: 304 enodes 47.151 * * [simplify]: iteration 2: 1036 enodes 55.683 * * [simplify]: iteration 3: 4524 enodes 60.211 * * [simplify]: iteration complete: 5000 enodes 60.211 * * [simplify]: Extracting #0: cost 56 inf + 0 60.215 * * [simplify]: Extracting #1: cost 594 inf + 0 60.226 * * [simplify]: Extracting #2: cost 966 inf + 16872 60.271 * * [simplify]: Extracting #3: cost 443 inf + 106982 60.380 * * [simplify]: Extracting #4: cost 37 inf + 216132 60.499 * * [simplify]: Extracting #5: cost 0 inf + 228768 60.614 * * [simplify]: Extracting #6: cost 0 inf + 228297 60.727 * [simplify]: Simplified to: (- (* (* (cbrt (* (- (+ x y) z) y)) (cbrt (* (- (+ x y) z) y))) (cbrt (* (- (+ x y) z) y))) (* y y)) (- (* y y) (* y y)) (* y (+ (- y z) (- x y))) (- (* y y) (* y y)) (* y (+ (- y z) (- x y))) (- (* y y) (* y y)) (* y (+ (- y z) (- x y))) (- (* y y) (* y y)) (expm1 (* y (+ (- y z) (- x y)))) (log1p (* y (+ (- y z) (- x y)))) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (* 1 (exp (* y (- x z)))) (* 1 (exp (* y (- x z)))) (* 1 (exp (* y (- x z)))) (log (* y (+ (- y z) (- x y)))) (* 1 (exp (* y (- x z)))) (* (cbrt (* y (+ (- y z) (- x y)))) (cbrt (* y (+ (- y z) (- x y))))) (cbrt (* y (+ (- y z) (- x y)))) (* (* (* y (+ (- y z) (- x y))) (* y (+ (- y z) (- x y)))) (* y (+ (- y z) (- x y)))) (sqrt (* y (+ (- y z) (- x y)))) (sqrt (* y (+ (- y z) (- x y)))) (- (* (* (- (+ x y) z) y) (* (* (- (+ x y) z) y) (* (- (+ x y) z) y))) (* (* (* y y) (* y y)) (* y y))) (fma (* y y) (* y y) (* (* (- (+ x y) z) y) (+ (* (- (+ x y) z) y) (* y y)))) (- (* y y)) (- (* (* (- (+ x y) z) y) (* (- (+ x y) z) y)) (* (* y y) (* y y))) (fma (- (+ x y) z) y (* y y)) (+ (sqrt (* (- (+ x y) z) y)) y) (- (sqrt (* (- (+ x y) z) y)) y) (+ (- y z) (- x y)) (fma (- y) y (* z (+ (- y) y))) (fma (- y) y (* z (+ (- y) y))) (fma (- y) y (* z (+ (- y) y))) (fma (- y) y (* z (+ (- y) y))) (* (- y) (+ y z)) (- (* (- y z) y) (* y y)) (* (- y) (+ y z)) (* (+ y z) y) (- (* y y)) (- (* (cbrt (* y (+ x y))) (* (cbrt (* y (+ x y))) (cbrt (* y (+ x y))))) (* z y)) (* z (+ (- y) y)) (* (- (+ x y) z) y) (* z (+ (- y) y)) (* (- (+ x y) z) y) (* z (+ (- y) y)) (* (- (+ x y) z) y) (* z (+ (- y) y)) (expm1 (* (- (+ x y) z) y)) (log1p (* (- (+ x y) z) y)) (* (- y) z) (* (- y) z) (* (- y) z) (* (- y) z) (exp (* (- (+ x y) z) y)) (exp (* (- (+ x y) 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)) (- (* (* (* y (+ x y)) (* y (+ x y))) (* y (+ x y))) (* (* z y) (* (* z y) (* z y)))) (fma (* z y) (* y (+ x y)) (fma (* y (+ x y)) (* y (+ x y)) (* (* z y) (* z y)))) (* (- y) z) (- (* (* y (+ x y)) (* y (+ x y))) (* (* z y) (* z y))) (* y (+ (+ x y) z)) (- (+ x y) z) (* (- y z) y) (* (- y) z) (expm1 (* y (+ x y))) (log1p (* y (+ x y))) (exp (* y (+ x y))) (log (* y (+ x y))) (exp (* y (+ x y))) (* (cbrt (* y (+ x y))) (cbrt (* y (+ x y)))) (cbrt (* y (+ x y))) (* (* (* y (+ x y)) (* y (+ x y))) (* y (+ x y))) (sqrt (* y (+ x y))) (sqrt (* y (+ x y))) (* (* y (* y y)) (fma x (* x x) (* y (* y y)))) (fma (* y x) (* y x) (* (- (* y y) (* y x)) (* y y))) (* (* y y) (- (* x x) (* y y))) (* y (- x y)) (+ x y) (* y (- x z)) (* y (- x z)) (* y (- x z)) (* (- (+ x y) z) y) (* (- (+ x y) z) y) (* (- (+ x y) z) y) (* y (+ x y)) (* y (+ x y)) (* y (+ x y)) 60.735 * * * [progress]: adding candidates to table 61.600 * * [progress]: iteration 3 / 4 61.600 * * * [progress]: picking best candidate 61.608 * * * * [pick]: Picked # 61.608 * * * [progress]: localizing error 61.640 * * * [progress]: generating rewritten candidates 61.640 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 61.653 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 61.655 * * * [progress]: generating series expansions 61.655 * * * * [progress]: [ 1 / 2 ] generating series at (2) 61.656 * [backup-simplify]: Simplify (- (fma y (+ x y) (- (* y z))) (* y y)) into (- (fma y (+ x y) (- (* z y))) (pow y 2)) 61.656 * [approximate]: Taking taylor expansion of (- (fma y (+ x y) (- (* z y))) (pow y 2)) in (y x z) around 0 61.656 * [taylor]: Taking taylor expansion of (- (fma y (+ x y) (- (* z y))) (pow y 2)) in z 61.656 * [taylor]: Taking taylor expansion of (fma y (+ x y) (- (* z y))) in z 61.656 * [taylor]: Rewrote expression to (+ (* y (+ x y)) (- (* z y))) 61.656 * [taylor]: Taking taylor expansion of (* y (+ x y)) in z 61.656 * [taylor]: Taking taylor expansion of y in z 61.656 * [backup-simplify]: Simplify y into y 61.656 * [taylor]: Taking taylor expansion of (+ x y) in z 61.656 * [taylor]: Taking taylor expansion of x in z 61.656 * [backup-simplify]: Simplify x into x 61.656 * [taylor]: Taking taylor expansion of y in z 61.656 * [backup-simplify]: Simplify y into y 61.656 * [taylor]: Taking taylor expansion of (- (* z y)) in z 61.656 * [taylor]: Taking taylor expansion of (* z y) in z 61.656 * [taylor]: Taking taylor expansion of z in z 61.656 * [backup-simplify]: Simplify 0 into 0 61.656 * [backup-simplify]: Simplify 1 into 1 61.656 * [taylor]: Taking taylor expansion of y in z 61.657 * [backup-simplify]: Simplify y into y 61.657 * [taylor]: Taking taylor expansion of (pow y 2) in z 61.657 * [taylor]: Taking taylor expansion of y in z 61.657 * [backup-simplify]: Simplify y into y 61.657 * [taylor]: Taking taylor expansion of (- (fma y (+ x y) (- (* z y))) (pow y 2)) in x 61.657 * [taylor]: Taking taylor expansion of (fma y (+ x y) (- (* z y))) in x 61.657 * [taylor]: Rewrote expression to (+ (* y (+ x y)) (- (* z y))) 61.657 * [taylor]: Taking taylor expansion of (* y (+ x y)) in x 61.657 * [taylor]: Taking taylor expansion of y in x 61.657 * [backup-simplify]: Simplify y into y 61.657 * [taylor]: Taking taylor expansion of (+ x y) in x 61.657 * [taylor]: Taking taylor expansion of x in x 61.657 * [backup-simplify]: Simplify 0 into 0 61.657 * [backup-simplify]: Simplify 1 into 1 61.657 * [taylor]: Taking taylor expansion of y in x 61.657 * [backup-simplify]: Simplify y into y 61.657 * [taylor]: Taking taylor expansion of (- (* z y)) in x 61.657 * [taylor]: Taking taylor expansion of (* z y) in x 61.657 * [taylor]: Taking taylor expansion of z in x 61.657 * [backup-simplify]: Simplify z into z 61.657 * [taylor]: Taking taylor expansion of y in x 61.657 * [backup-simplify]: Simplify y into y 61.657 * [taylor]: Taking taylor expansion of (pow y 2) in x 61.657 * [taylor]: Taking taylor expansion of y in x 61.657 * [backup-simplify]: Simplify y into y 61.657 * [taylor]: Taking taylor expansion of (- (fma y (+ x y) (- (* z y))) (pow y 2)) in y 61.657 * [taylor]: Taking taylor expansion of (fma y (+ x y) (- (* z y))) in y 61.658 * [taylor]: Rewrote expression to (+ (* y (+ x y)) (- (* z y))) 61.658 * [taylor]: Taking taylor expansion of (* y (+ x y)) in y 61.658 * [taylor]: Taking taylor expansion of y in y 61.658 * [backup-simplify]: Simplify 0 into 0 61.658 * [backup-simplify]: Simplify 1 into 1 61.658 * [taylor]: Taking taylor expansion of (+ x y) in y 61.658 * [taylor]: Taking taylor expansion of x in y 61.658 * [backup-simplify]: Simplify x into x 61.658 * [taylor]: Taking taylor expansion of y in y 61.658 * [backup-simplify]: Simplify 0 into 0 61.658 * [backup-simplify]: Simplify 1 into 1 61.658 * [taylor]: Taking taylor expansion of (- (* z y)) in y 61.658 * [taylor]: Taking taylor expansion of (* z y) in y 61.658 * [taylor]: Taking taylor expansion of z in y 61.658 * [backup-simplify]: Simplify z into z 61.658 * [taylor]: Taking taylor expansion of y in y 61.658 * [backup-simplify]: Simplify 0 into 0 61.658 * [backup-simplify]: Simplify 1 into 1 61.658 * [taylor]: Taking taylor expansion of (pow y 2) in y 61.658 * [taylor]: Taking taylor expansion of y in y 61.658 * [backup-simplify]: Simplify 0 into 0 61.658 * [backup-simplify]: Simplify 1 into 1 61.658 * [taylor]: Taking taylor expansion of (- (fma y (+ x y) (- (* z y))) (pow y 2)) in y 61.658 * [taylor]: Taking taylor expansion of (fma y (+ x y) (- (* z y))) in y 61.658 * [taylor]: Rewrote expression to (+ (* y (+ x y)) (- (* z y))) 61.658 * [taylor]: Taking taylor expansion of (* y (+ x y)) in y 61.658 * [taylor]: Taking taylor expansion of y in y 61.658 * [backup-simplify]: Simplify 0 into 0 61.659 * [backup-simplify]: Simplify 1 into 1 61.659 * [taylor]: Taking taylor expansion of (+ x y) in y 61.659 * [taylor]: Taking taylor expansion of x in y 61.659 * [backup-simplify]: Simplify x into x 61.659 * [taylor]: Taking taylor expansion of y in y 61.659 * [backup-simplify]: Simplify 0 into 0 61.659 * [backup-simplify]: Simplify 1 into 1 61.659 * [taylor]: Taking taylor expansion of (- (* z y)) in y 61.659 * [taylor]: Taking taylor expansion of (* z y) in y 61.659 * [taylor]: Taking taylor expansion of z in y 61.659 * [backup-simplify]: Simplify z into z 61.659 * [taylor]: Taking taylor expansion of y in y 61.659 * [backup-simplify]: Simplify 0 into 0 61.659 * [backup-simplify]: Simplify 1 into 1 61.659 * [taylor]: Taking taylor expansion of (pow y 2) in y 61.659 * [taylor]: Taking taylor expansion of y in y 61.659 * [backup-simplify]: Simplify 0 into 0 61.659 * [backup-simplify]: Simplify 1 into 1 61.659 * [backup-simplify]: Simplify (+ x 0) into x 61.659 * [backup-simplify]: Simplify (* 0 x) into 0 61.659 * [backup-simplify]: Simplify (* z 0) into 0 61.660 * [backup-simplify]: Simplify (- 0) into 0 61.660 * [backup-simplify]: Simplify (+ 0 0) into 0 61.661 * [backup-simplify]: Simplify (+ 0 0) into 0 61.661 * [taylor]: Taking taylor expansion of 0 in x 61.661 * [backup-simplify]: Simplify 0 into 0 61.661 * [taylor]: Taking taylor expansion of 0 in z 61.661 * [backup-simplify]: Simplify 0 into 0 61.661 * [backup-simplify]: Simplify 0 into 0 61.661 * [backup-simplify]: Simplify (+ 0 1) into 1 61.662 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 x)) into x 61.662 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 61.662 * [backup-simplify]: Simplify (- z) into (- z) 61.663 * [backup-simplify]: Simplify (+ x (- z)) into (- x z) 61.663 * [backup-simplify]: Simplify (+ (- x z) 0) into (- x z) 61.663 * [taylor]: Taking taylor expansion of (- x z) in x 61.663 * [taylor]: Taking taylor expansion of x in x 61.663 * [backup-simplify]: Simplify 0 into 0 61.663 * [backup-simplify]: Simplify 1 into 1 61.663 * [taylor]: Taking taylor expansion of z in x 61.663 * [backup-simplify]: Simplify z into z 61.663 * [backup-simplify]: Simplify (- z) into (- z) 61.663 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 61.663 * [taylor]: Taking taylor expansion of (- z) in z 61.663 * [taylor]: Taking taylor expansion of z in z 61.663 * [backup-simplify]: Simplify 0 into 0 61.663 * [backup-simplify]: Simplify 1 into 1 61.664 * [backup-simplify]: Simplify (- 0) into 0 61.664 * [backup-simplify]: Simplify 0 into 0 61.664 * [taylor]: Taking taylor expansion of 0 in z 61.664 * [backup-simplify]: Simplify 0 into 0 61.664 * [backup-simplify]: Simplify 0 into 0 61.664 * [backup-simplify]: Simplify 0 into 0 61.664 * [backup-simplify]: Simplify (+ 0 0) into 0 61.665 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 x))) into 1 61.666 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 61.666 * [backup-simplify]: Simplify (- 0) into 0 61.667 * [backup-simplify]: Simplify (+ 1 0) into 1 61.667 * [backup-simplify]: Simplify (* 1 1) into 1 61.668 * [backup-simplify]: Simplify (- 1) into -1 61.668 * [backup-simplify]: Simplify (+ 1 -1) into 0 61.668 * [taylor]: Taking taylor expansion of 0 in x 61.668 * [backup-simplify]: Simplify 0 into 0 61.668 * [taylor]: Taking taylor expansion of 0 in z 61.668 * [backup-simplify]: Simplify 0 into 0 61.668 * [backup-simplify]: Simplify 0 into 0 61.669 * [backup-simplify]: Simplify (- 0) into 0 61.669 * [backup-simplify]: Simplify (+ 1 0) into 1 61.669 * [taylor]: Taking taylor expansion of 1 in z 61.669 * [backup-simplify]: Simplify 1 into 1 61.669 * [backup-simplify]: Simplify 1 into 1 61.669 * [taylor]: Taking taylor expansion of 0 in z 61.669 * [backup-simplify]: Simplify 0 into 0 61.669 * [backup-simplify]: Simplify 0 into 0 61.670 * [backup-simplify]: Simplify (- 1) into -1 61.670 * [backup-simplify]: Simplify -1 into -1 61.670 * [backup-simplify]: Simplify 0 into 0 61.670 * [backup-simplify]: Simplify 0 into 0 61.670 * [backup-simplify]: Simplify (+ 0 0) into 0 61.672 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 x)))) into 0 61.673 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 61.673 * [backup-simplify]: Simplify (- 0) into 0 61.674 * [backup-simplify]: Simplify (+ 0 0) into 0 61.674 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 61.674 * [backup-simplify]: Simplify (- 0) into 0 61.675 * [backup-simplify]: Simplify (+ 0 0) into 0 61.675 * [taylor]: Taking taylor expansion of 0 in x 61.675 * [backup-simplify]: Simplify 0 into 0 61.675 * [taylor]: Taking taylor expansion of 0 in z 61.675 * [backup-simplify]: Simplify 0 into 0 61.675 * [backup-simplify]: Simplify 0 into 0 61.675 * [taylor]: Taking taylor expansion of 0 in z 61.675 * [backup-simplify]: Simplify 0 into 0 61.675 * [backup-simplify]: Simplify 0 into 0 61.675 * [backup-simplify]: Simplify (- 0) into 0 61.676 * [backup-simplify]: Simplify (+ 0 0) into 0 61.676 * [taylor]: Taking taylor expansion of 0 in z 61.676 * [backup-simplify]: Simplify 0 into 0 61.676 * [backup-simplify]: Simplify 0 into 0 61.676 * [taylor]: Taking taylor expansion of 0 in z 61.676 * [backup-simplify]: Simplify 0 into 0 61.676 * [backup-simplify]: Simplify 0 into 0 61.676 * [backup-simplify]: Simplify (+ (* -1 (* z (* 1 y))) (* 1 (* 1 (* x y)))) into (- (* x y) (* z y)) 61.677 * [backup-simplify]: Simplify (- (fma (/ 1 y) (+ (/ 1 x) (/ 1 y)) (- (* (/ 1 y) (/ 1 z)))) (* (/ 1 y) (/ 1 y))) into (- (fma (/ 1 y) (+ (/ 1 y) (/ 1 x)) (- (/ 1 (* z y)))) (/ 1 (pow y 2))) 61.677 * [approximate]: Taking taylor expansion of (- (fma (/ 1 y) (+ (/ 1 y) (/ 1 x)) (- (/ 1 (* z y)))) (/ 1 (pow y 2))) in (y x z) around 0 61.677 * [taylor]: Taking taylor expansion of (- (fma (/ 1 y) (+ (/ 1 y) (/ 1 x)) (- (/ 1 (* z y)))) (/ 1 (pow y 2))) in z 61.677 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (+ (/ 1 y) (/ 1 x)) (- (/ 1 (* z y)))) in z 61.677 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (+ (/ 1 y) (/ 1 x))) (- (/ 1 (* z y)))) 61.677 * [taylor]: Taking taylor expansion of (* (/ 1 y) (+ (/ 1 y) (/ 1 x))) in z 61.677 * [taylor]: Taking taylor expansion of (/ 1 y) in z 61.677 * [taylor]: Taking taylor expansion of y in z 61.677 * [backup-simplify]: Simplify y into y 61.677 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 61.677 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 61.677 * [taylor]: Taking taylor expansion of (/ 1 y) in z 61.677 * [taylor]: Taking taylor expansion of y in z 61.677 * [backup-simplify]: Simplify y into y 61.677 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 61.677 * [taylor]: Taking taylor expansion of (/ 1 x) in z 61.678 * [taylor]: Taking taylor expansion of x in z 61.678 * [backup-simplify]: Simplify x into x 61.678 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 61.678 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 61.678 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 61.678 * [taylor]: Taking taylor expansion of (* z y) in z 61.678 * [taylor]: Taking taylor expansion of z in z 61.678 * [backup-simplify]: Simplify 0 into 0 61.678 * [backup-simplify]: Simplify 1 into 1 61.678 * [taylor]: Taking taylor expansion of y in z 61.678 * [backup-simplify]: Simplify y into y 61.678 * [backup-simplify]: Simplify (* 0 y) into 0 61.678 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 61.679 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 61.679 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 61.679 * [taylor]: Taking taylor expansion of (pow y 2) in z 61.679 * [taylor]: Taking taylor expansion of y in z 61.679 * [backup-simplify]: Simplify y into y 61.679 * [backup-simplify]: Simplify (* y y) into (pow y 2) 61.679 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 61.679 * [taylor]: Taking taylor expansion of (- (fma (/ 1 y) (+ (/ 1 y) (/ 1 x)) (- (/ 1 (* z y)))) (/ 1 (pow y 2))) in x 61.679 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (+ (/ 1 y) (/ 1 x)) (- (/ 1 (* z y)))) in x 61.679 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (+ (/ 1 y) (/ 1 x))) (- (/ 1 (* z y)))) 61.679 * [taylor]: Taking taylor expansion of (* (/ 1 y) (+ (/ 1 y) (/ 1 x))) in x 61.679 * [taylor]: Taking taylor expansion of (/ 1 y) in x 61.679 * [taylor]: Taking taylor expansion of y in x 61.679 * [backup-simplify]: Simplify y into y 61.679 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 61.679 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 61.679 * [taylor]: Taking taylor expansion of (/ 1 y) in x 61.679 * [taylor]: Taking taylor expansion of y in x 61.679 * [backup-simplify]: Simplify y into y 61.679 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 61.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x 61.680 * [taylor]: Taking taylor expansion of x in x 61.680 * [backup-simplify]: Simplify 0 into 0 61.680 * [backup-simplify]: Simplify 1 into 1 61.680 * [backup-simplify]: Simplify (/ 1 1) into 1 61.680 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in x 61.680 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 61.680 * [taylor]: Taking taylor expansion of (* z y) in x 61.680 * [taylor]: Taking taylor expansion of z in x 61.680 * [backup-simplify]: Simplify z into z 61.680 * [taylor]: Taking taylor expansion of y in x 61.680 * [backup-simplify]: Simplify y into y 61.680 * [backup-simplify]: Simplify (* z y) into (* z y) 61.681 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 61.681 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 61.681 * [taylor]: Taking taylor expansion of (pow y 2) in x 61.681 * [taylor]: Taking taylor expansion of y in x 61.681 * [backup-simplify]: Simplify y into y 61.681 * [backup-simplify]: Simplify (* y y) into (pow y 2) 61.681 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 61.681 * [taylor]: Taking taylor expansion of (- (fma (/ 1 y) (+ (/ 1 y) (/ 1 x)) (- (/ 1 (* z y)))) (/ 1 (pow y 2))) in y 61.681 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (+ (/ 1 y) (/ 1 x)) (- (/ 1 (* z y)))) in y 61.681 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (+ (/ 1 y) (/ 1 x))) (- (/ 1 (* z y)))) 61.681 * [taylor]: Taking taylor expansion of (* (/ 1 y) (+ (/ 1 y) (/ 1 x))) in y 61.681 * [taylor]: Taking taylor expansion of (/ 1 y) in y 61.681 * [taylor]: Taking taylor expansion of y in y 61.681 * [backup-simplify]: Simplify 0 into 0 61.681 * [backup-simplify]: Simplify 1 into 1 61.682 * [backup-simplify]: Simplify (/ 1 1) into 1 61.682 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 61.682 * [taylor]: Taking taylor expansion of (/ 1 y) in y 61.682 * [taylor]: Taking taylor expansion of y in y 61.682 * [backup-simplify]: Simplify 0 into 0 61.682 * [backup-simplify]: Simplify 1 into 1 61.682 * [backup-simplify]: Simplify (/ 1 1) into 1 61.683 * [taylor]: Taking taylor expansion of (/ 1 x) in y 61.683 * [taylor]: Taking taylor expansion of x in y 61.683 * [backup-simplify]: Simplify x into x 61.683 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 61.683 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 61.683 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 61.683 * [taylor]: Taking taylor expansion of (* z y) in y 61.683 * [taylor]: Taking taylor expansion of z in y 61.683 * [backup-simplify]: Simplify z into z 61.683 * [taylor]: Taking taylor expansion of y in y 61.683 * [backup-simplify]: Simplify 0 into 0 61.683 * [backup-simplify]: Simplify 1 into 1 61.683 * [backup-simplify]: Simplify (* z 0) into 0 61.683 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 61.683 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 61.683 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 61.684 * [taylor]: Taking taylor expansion of (pow y 2) in y 61.684 * [taylor]: Taking taylor expansion of y in y 61.684 * [backup-simplify]: Simplify 0 into 0 61.684 * [backup-simplify]: Simplify 1 into 1 61.684 * [backup-simplify]: Simplify (* 1 1) into 1 61.684 * [backup-simplify]: Simplify (/ 1 1) into 1 61.684 * [taylor]: Taking taylor expansion of (- (fma (/ 1 y) (+ (/ 1 y) (/ 1 x)) (- (/ 1 (* z y)))) (/ 1 (pow y 2))) in y 61.684 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (+ (/ 1 y) (/ 1 x)) (- (/ 1 (* z y)))) in y 61.685 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (+ (/ 1 y) (/ 1 x))) (- (/ 1 (* z y)))) 61.685 * [taylor]: Taking taylor expansion of (* (/ 1 y) (+ (/ 1 y) (/ 1 x))) in y 61.685 * [taylor]: Taking taylor expansion of (/ 1 y) in y 61.685 * [taylor]: Taking taylor expansion of y in y 61.685 * [backup-simplify]: Simplify 0 into 0 61.685 * [backup-simplify]: Simplify 1 into 1 61.685 * [backup-simplify]: Simplify (/ 1 1) into 1 61.685 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 61.685 * [taylor]: Taking taylor expansion of (/ 1 y) in y 61.685 * [taylor]: Taking taylor expansion of y in y 61.685 * [backup-simplify]: Simplify 0 into 0 61.685 * [backup-simplify]: Simplify 1 into 1 61.686 * [backup-simplify]: Simplify (/ 1 1) into 1 61.686 * [taylor]: Taking taylor expansion of (/ 1 x) in y 61.686 * [taylor]: Taking taylor expansion of x in y 61.686 * [backup-simplify]: Simplify x into x 61.686 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 61.686 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 61.686 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 61.686 * [taylor]: Taking taylor expansion of (* z y) in y 61.686 * [taylor]: Taking taylor expansion of z in y 61.686 * [backup-simplify]: Simplify z into z 61.686 * [taylor]: Taking taylor expansion of y in y 61.686 * [backup-simplify]: Simplify 0 into 0 61.686 * [backup-simplify]: Simplify 1 into 1 61.686 * [backup-simplify]: Simplify (* z 0) into 0 61.687 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 61.687 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 61.687 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 61.687 * [taylor]: Taking taylor expansion of (pow y 2) in y 61.687 * [taylor]: Taking taylor expansion of y in y 61.687 * [backup-simplify]: Simplify 0 into 0 61.687 * [backup-simplify]: Simplify 1 into 1 61.687 * [backup-simplify]: Simplify (* 1 1) into 1 61.688 * [backup-simplify]: Simplify (/ 1 1) into 1 61.688 * [backup-simplify]: Simplify (+ 1 0) into 1 61.688 * [backup-simplify]: Simplify (* 1 1) into 1 61.689 * [backup-simplify]: Simplify (+ 1 0) into 1 61.689 * [backup-simplify]: Simplify (- 1) into -1 61.690 * [backup-simplify]: Simplify (+ 1 -1) into 0 61.690 * [taylor]: Taking taylor expansion of 0 in x 61.690 * [backup-simplify]: Simplify 0 into 0 61.690 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 61.691 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x) 61.691 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 61.692 * [backup-simplify]: Simplify (+ (* 1 (/ 1 x)) (* 0 1)) into (/ 1 x) 61.692 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 61.692 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 61.693 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 61.694 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 61.694 * [backup-simplify]: Simplify (- 0) into 0 61.694 * [backup-simplify]: Simplify (+ (- (/ 1 x) (/ 1 z)) 0) into (- (/ 1 x) (/ 1 z)) 61.694 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 61.694 * [taylor]: Taking taylor expansion of (/ 1 x) in x 61.694 * [taylor]: Taking taylor expansion of x in x 61.694 * [backup-simplify]: Simplify 0 into 0 61.694 * [backup-simplify]: Simplify 1 into 1 61.695 * [backup-simplify]: Simplify (/ 1 1) into 1 61.695 * [taylor]: Taking taylor expansion of (/ 1 z) in x 61.695 * [taylor]: Taking taylor expansion of z in x 61.695 * [backup-simplify]: Simplify z into z 61.695 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 61.695 * [backup-simplify]: Simplify (+ 1 0) into 1 61.695 * [taylor]: Taking taylor expansion of 1 in z 61.695 * [backup-simplify]: Simplify 1 into 1 61.695 * [taylor]: Taking taylor expansion of 0 in z 61.695 * [backup-simplify]: Simplify 0 into 0 61.696 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.697 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 61.697 * [backup-simplify]: Simplify (+ 0 0) into 0 61.698 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (/ 1 x)) (* 0 1))) into 0 61.700 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 61.700 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 61.700 * [backup-simplify]: Simplify (- 0) into 0 61.701 * [backup-simplify]: Simplify (+ 0 0) into 0 61.702 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 61.703 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.703 * [backup-simplify]: Simplify (- 0) into 0 61.703 * [backup-simplify]: Simplify (+ 0 0) into 0 61.703 * [taylor]: Taking taylor expansion of 0 in x 61.703 * [backup-simplify]: Simplify 0 into 0 61.704 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 61.704 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 61.704 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 61.704 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 61.704 * [taylor]: Taking taylor expansion of (/ 1 z) in z 61.704 * [taylor]: Taking taylor expansion of z in z 61.704 * [backup-simplify]: Simplify 0 into 0 61.705 * [backup-simplify]: Simplify 1 into 1 61.705 * [backup-simplify]: Simplify (/ 1 1) into 1 61.705 * [backup-simplify]: Simplify (- 1) into -1 61.705 * [backup-simplify]: Simplify -1 into -1 61.705 * [taylor]: Taking taylor expansion of 0 in z 61.705 * [backup-simplify]: Simplify 0 into 0 61.705 * [backup-simplify]: Simplify 1 into 1 61.705 * [backup-simplify]: Simplify 0 into 0 61.706 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.707 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 61.707 * [backup-simplify]: Simplify (+ 0 0) into 0 61.708 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (/ 1 x)) (* 0 1)))) into 0 61.710 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 61.710 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 61.711 * [backup-simplify]: Simplify (- 0) into 0 61.711 * [backup-simplify]: Simplify (+ 0 0) into 0 61.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 61.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.713 * [backup-simplify]: Simplify (- 0) into 0 61.714 * [backup-simplify]: Simplify (+ 0 0) into 0 61.714 * [taylor]: Taking taylor expansion of 0 in x 61.714 * [backup-simplify]: Simplify 0 into 0 61.714 * [taylor]: Taking taylor expansion of 0 in z 61.714 * [backup-simplify]: Simplify 0 into 0 61.725 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.726 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 61.726 * [backup-simplify]: Simplify (- 0) into 0 61.727 * [backup-simplify]: Simplify (+ 0 0) into 0 61.727 * [taylor]: Taking taylor expansion of 0 in z 61.727 * [backup-simplify]: Simplify 0 into 0 61.727 * [taylor]: Taking taylor expansion of 0 in z 61.727 * [backup-simplify]: Simplify 0 into 0 61.728 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 61.729 * [backup-simplify]: Simplify (- 0) into 0 61.729 * [backup-simplify]: Simplify 0 into 0 61.729 * [backup-simplify]: Simplify 0 into 0 61.729 * [backup-simplify]: Simplify 0 into 0 61.729 * [backup-simplify]: Simplify 0 into 0 61.730 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.730 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 61.731 * [backup-simplify]: Simplify (+ 0 0) into 0 61.732 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 x)) (* 0 1))))) into 0 61.737 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 61.737 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 61.738 * [backup-simplify]: Simplify (- 0) into 0 61.738 * [backup-simplify]: Simplify (+ 0 0) into 0 61.739 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 61.740 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.741 * [backup-simplify]: Simplify (- 0) into 0 61.741 * [backup-simplify]: Simplify (+ 0 0) into 0 61.741 * [taylor]: Taking taylor expansion of 0 in x 61.741 * [backup-simplify]: Simplify 0 into 0 61.741 * [taylor]: Taking taylor expansion of 0 in z 61.741 * [backup-simplify]: Simplify 0 into 0 61.741 * [taylor]: Taking taylor expansion of 0 in z 61.741 * [backup-simplify]: Simplify 0 into 0 61.742 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.742 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 61.743 * [backup-simplify]: Simplify (- 0) into 0 61.743 * [backup-simplify]: Simplify (+ 0 0) into 0 61.743 * [taylor]: Taking taylor expansion of 0 in z 61.743 * [backup-simplify]: Simplify 0 into 0 61.743 * [taylor]: Taking taylor expansion of 0 in z 61.743 * [backup-simplify]: Simplify 0 into 0 61.743 * [backup-simplify]: Simplify 0 into 0 61.744 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 y)))))) into (- (* x y) (* z y)) 61.745 * [backup-simplify]: Simplify (- (fma (/ 1 (- y)) (+ (/ 1 (- x)) (/ 1 (- y))) (- (* (/ 1 (- y)) (/ 1 (- z))))) (* (/ 1 (- y)) (/ 1 (- y)))) into (- (fma (/ -1 y) (- (+ (/ 1 y) (/ 1 x))) (- (/ 1 (* z y)))) (/ 1 (pow y 2))) 61.745 * [approximate]: Taking taylor expansion of (- (fma (/ -1 y) (- (+ (/ 1 y) (/ 1 x))) (- (/ 1 (* z y)))) (/ 1 (pow y 2))) in (y x z) around 0 61.745 * [taylor]: Taking taylor expansion of (- (fma (/ -1 y) (- (+ (/ 1 y) (/ 1 x))) (- (/ 1 (* z y)))) (/ 1 (pow y 2))) in z 61.745 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ (/ 1 y) (/ 1 x))) (- (/ 1 (* z y)))) in z 61.745 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ (/ 1 y) (/ 1 x)))) (- (/ 1 (* z y)))) 61.745 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ (/ 1 y) (/ 1 x)))) in z 61.745 * [taylor]: Taking taylor expansion of (/ -1 y) in z 61.745 * [taylor]: Taking taylor expansion of -1 in z 61.745 * [backup-simplify]: Simplify -1 into -1 61.745 * [taylor]: Taking taylor expansion of y in z 61.745 * [backup-simplify]: Simplify y into y 61.745 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 61.745 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in z 61.745 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 61.745 * [taylor]: Taking taylor expansion of (/ 1 y) in z 61.745 * [taylor]: Taking taylor expansion of y in z 61.745 * [backup-simplify]: Simplify y into y 61.745 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 61.745 * [taylor]: Taking taylor expansion of (/ 1 x) in z 61.746 * [taylor]: Taking taylor expansion of x in z 61.746 * [backup-simplify]: Simplify x into x 61.746 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 61.746 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 61.746 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 61.746 * [taylor]: Taking taylor expansion of (* z y) in z 61.746 * [taylor]: Taking taylor expansion of z in z 61.746 * [backup-simplify]: Simplify 0 into 0 61.746 * [backup-simplify]: Simplify 1 into 1 61.746 * [taylor]: Taking taylor expansion of y in z 61.746 * [backup-simplify]: Simplify y into y 61.746 * [backup-simplify]: Simplify (* 0 y) into 0 61.747 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 61.747 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 61.747 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 61.747 * [taylor]: Taking taylor expansion of (pow y 2) in z 61.747 * [taylor]: Taking taylor expansion of y in z 61.747 * [backup-simplify]: Simplify y into y 61.747 * [backup-simplify]: Simplify (* y y) into (pow y 2) 61.747 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 61.747 * [taylor]: Taking taylor expansion of (- (fma (/ -1 y) (- (+ (/ 1 y) (/ 1 x))) (- (/ 1 (* z y)))) (/ 1 (pow y 2))) in x 61.747 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ (/ 1 y) (/ 1 x))) (- (/ 1 (* z y)))) in x 61.747 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ (/ 1 y) (/ 1 x)))) (- (/ 1 (* z y)))) 61.747 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ (/ 1 y) (/ 1 x)))) in x 61.747 * [taylor]: Taking taylor expansion of (/ -1 y) in x 61.747 * [taylor]: Taking taylor expansion of -1 in x 61.747 * [backup-simplify]: Simplify -1 into -1 61.748 * [taylor]: Taking taylor expansion of y in x 61.748 * [backup-simplify]: Simplify y into y 61.748 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 61.748 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x 61.748 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 61.748 * [taylor]: Taking taylor expansion of (/ 1 y) in x 61.748 * [taylor]: Taking taylor expansion of y in x 61.748 * [backup-simplify]: Simplify y into y 61.748 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 61.748 * [taylor]: Taking taylor expansion of (/ 1 x) in x 61.748 * [taylor]: Taking taylor expansion of x in x 61.748 * [backup-simplify]: Simplify 0 into 0 61.748 * [backup-simplify]: Simplify 1 into 1 61.749 * [backup-simplify]: Simplify (/ 1 1) into 1 61.749 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in x 61.749 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 61.749 * [taylor]: Taking taylor expansion of (* z y) in x 61.749 * [taylor]: Taking taylor expansion of z in x 61.749 * [backup-simplify]: Simplify z into z 61.749 * [taylor]: Taking taylor expansion of y in x 61.749 * [backup-simplify]: Simplify y into y 61.749 * [backup-simplify]: Simplify (* z y) into (* z y) 61.749 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 61.749 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 61.749 * [taylor]: Taking taylor expansion of (pow y 2) in x 61.749 * [taylor]: Taking taylor expansion of y in x 61.749 * [backup-simplify]: Simplify y into y 61.749 * [backup-simplify]: Simplify (* y y) into (pow y 2) 61.749 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 61.749 * [taylor]: Taking taylor expansion of (- (fma (/ -1 y) (- (+ (/ 1 y) (/ 1 x))) (- (/ 1 (* z y)))) (/ 1 (pow y 2))) in y 61.749 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ (/ 1 y) (/ 1 x))) (- (/ 1 (* z y)))) in y 61.750 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ (/ 1 y) (/ 1 x)))) (- (/ 1 (* z y)))) 61.750 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ (/ 1 y) (/ 1 x)))) in y 61.750 * [taylor]: Taking taylor expansion of (/ -1 y) in y 61.750 * [taylor]: Taking taylor expansion of -1 in y 61.750 * [backup-simplify]: Simplify -1 into -1 61.750 * [taylor]: Taking taylor expansion of y in y 61.750 * [backup-simplify]: Simplify 0 into 0 61.750 * [backup-simplify]: Simplify 1 into 1 61.751 * [backup-simplify]: Simplify (/ -1 1) into -1 61.751 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in y 61.751 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 61.751 * [taylor]: Taking taylor expansion of (/ 1 y) in y 61.751 * [taylor]: Taking taylor expansion of y in y 61.751 * [backup-simplify]: Simplify 0 into 0 61.751 * [backup-simplify]: Simplify 1 into 1 61.751 * [backup-simplify]: Simplify (/ 1 1) into 1 61.751 * [taylor]: Taking taylor expansion of (/ 1 x) in y 61.751 * [taylor]: Taking taylor expansion of x in y 61.751 * [backup-simplify]: Simplify x into x 61.751 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 61.751 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 61.751 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 61.751 * [taylor]: Taking taylor expansion of (* z y) in y 61.752 * [taylor]: Taking taylor expansion of z in y 61.752 * [backup-simplify]: Simplify z into z 61.752 * [taylor]: Taking taylor expansion of y in y 61.752 * [backup-simplify]: Simplify 0 into 0 61.752 * [backup-simplify]: Simplify 1 into 1 61.752 * [backup-simplify]: Simplify (* z 0) into 0 61.752 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 61.752 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 61.752 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 61.752 * [taylor]: Taking taylor expansion of (pow y 2) in y 61.752 * [taylor]: Taking taylor expansion of y in y 61.752 * [backup-simplify]: Simplify 0 into 0 61.752 * [backup-simplify]: Simplify 1 into 1 61.753 * [backup-simplify]: Simplify (* 1 1) into 1 61.753 * [backup-simplify]: Simplify (/ 1 1) into 1 61.753 * [taylor]: Taking taylor expansion of (- (fma (/ -1 y) (- (+ (/ 1 y) (/ 1 x))) (- (/ 1 (* z y)))) (/ 1 (pow y 2))) in y 61.753 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ (/ 1 y) (/ 1 x))) (- (/ 1 (* z y)))) in y 61.754 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ (/ 1 y) (/ 1 x)))) (- (/ 1 (* z y)))) 61.754 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ (/ 1 y) (/ 1 x)))) in y 61.754 * [taylor]: Taking taylor expansion of (/ -1 y) in y 61.754 * [taylor]: Taking taylor expansion of -1 in y 61.754 * [backup-simplify]: Simplify -1 into -1 61.754 * [taylor]: Taking taylor expansion of y in y 61.754 * [backup-simplify]: Simplify 0 into 0 61.754 * [backup-simplify]: Simplify 1 into 1 61.754 * [backup-simplify]: Simplify (/ -1 1) into -1 61.754 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in y 61.754 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 61.754 * [taylor]: Taking taylor expansion of (/ 1 y) in y 61.754 * [taylor]: Taking taylor expansion of y in y 61.754 * [backup-simplify]: Simplify 0 into 0 61.754 * [backup-simplify]: Simplify 1 into 1 61.755 * [backup-simplify]: Simplify (/ 1 1) into 1 61.755 * [taylor]: Taking taylor expansion of (/ 1 x) in y 61.755 * [taylor]: Taking taylor expansion of x in y 61.755 * [backup-simplify]: Simplify x into x 61.760 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 61.760 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 61.760 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 61.760 * [taylor]: Taking taylor expansion of (* z y) in y 61.760 * [taylor]: Taking taylor expansion of z in y 61.760 * [backup-simplify]: Simplify z into z 61.760 * [taylor]: Taking taylor expansion of y in y 61.760 * [backup-simplify]: Simplify 0 into 0 61.760 * [backup-simplify]: Simplify 1 into 1 61.760 * [backup-simplify]: Simplify (* z 0) into 0 61.761 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 61.761 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 61.761 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 61.761 * [taylor]: Taking taylor expansion of (pow y 2) in y 61.761 * [taylor]: Taking taylor expansion of y in y 61.761 * [backup-simplify]: Simplify 0 into 0 61.761 * [backup-simplify]: Simplify 1 into 1 61.761 * [backup-simplify]: Simplify (* 1 1) into 1 61.762 * [backup-simplify]: Simplify (/ 1 1) into 1 61.762 * [backup-simplify]: Simplify (+ 1 0) into 1 61.763 * [backup-simplify]: Simplify (- 1) into -1 61.763 * [backup-simplify]: Simplify (* -1 -1) into 1 61.764 * [backup-simplify]: Simplify (+ 1 0) into 1 61.764 * [backup-simplify]: Simplify (- 1) into -1 61.764 * [backup-simplify]: Simplify (+ 1 -1) into 0 61.764 * [taylor]: Taking taylor expansion of 0 in x 61.764 * [backup-simplify]: Simplify 0 into 0 61.765 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 61.765 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x) 61.765 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 61.766 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 61.767 * [backup-simplify]: Simplify (- 1) into -1 61.767 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 x))) (* 0 -1)) into (/ 1 x) 61.767 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 61.767 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 61.768 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 61.769 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 61.769 * [backup-simplify]: Simplify (- 0) into 0 61.769 * [backup-simplify]: Simplify (+ (- (/ 1 x) (/ 1 z)) 0) into (- (/ 1 x) (/ 1 z)) 61.769 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 61.770 * [taylor]: Taking taylor expansion of (/ 1 x) in x 61.770 * [taylor]: Taking taylor expansion of x in x 61.770 * [backup-simplify]: Simplify 0 into 0 61.770 * [backup-simplify]: Simplify 1 into 1 61.770 * [backup-simplify]: Simplify (/ 1 1) into 1 61.770 * [taylor]: Taking taylor expansion of (/ 1 z) in x 61.770 * [taylor]: Taking taylor expansion of z in x 61.770 * [backup-simplify]: Simplify z into z 61.770 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 61.771 * [backup-simplify]: Simplify (+ 1 0) into 1 61.771 * [taylor]: Taking taylor expansion of 1 in z 61.771 * [backup-simplify]: Simplify 1 into 1 61.771 * [taylor]: Taking taylor expansion of 0 in z 61.771 * [backup-simplify]: Simplify 0 into 0 61.772 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.772 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 61.772 * [backup-simplify]: Simplify (+ 0 0) into 0 61.773 * [backup-simplify]: Simplify (- 0) into 0 61.773 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 61.774 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.774 * [backup-simplify]: Simplify (- 1) into -1 61.775 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (/ 1 x))) (* 0 -1))) into 0 61.776 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 61.776 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 61.777 * [backup-simplify]: Simplify (- 0) into 0 61.777 * [backup-simplify]: Simplify (+ 0 0) into 0 61.778 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 61.779 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.780 * [backup-simplify]: Simplify (- 0) into 0 61.780 * [backup-simplify]: Simplify (+ 0 0) into 0 61.780 * [taylor]: Taking taylor expansion of 0 in x 61.780 * [backup-simplify]: Simplify 0 into 0 61.781 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 61.781 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 61.782 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 61.782 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 61.782 * [taylor]: Taking taylor expansion of (/ 1 z) in z 61.782 * [taylor]: Taking taylor expansion of z in z 61.782 * [backup-simplify]: Simplify 0 into 0 61.782 * [backup-simplify]: Simplify 1 into 1 61.782 * [backup-simplify]: Simplify (/ 1 1) into 1 61.783 * [backup-simplify]: Simplify (- 1) into -1 61.783 * [backup-simplify]: Simplify -1 into -1 61.783 * [taylor]: Taking taylor expansion of 0 in z 61.783 * [backup-simplify]: Simplify 0 into 0 61.783 * [backup-simplify]: Simplify 1 into 1 61.783 * [backup-simplify]: Simplify 0 into 0 61.784 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.784 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 61.785 * [backup-simplify]: Simplify (+ 0 0) into 0 61.785 * [backup-simplify]: Simplify (- 0) into 0 61.786 * [backup-simplify]: Simplify (- 0) into 0 61.786 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 61.787 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.787 * [backup-simplify]: Simplify (- 1) into -1 61.789 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (/ 1 x))) (* 0 -1)))) into 0 61.790 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 61.790 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 61.790 * [backup-simplify]: Simplify (- 0) into 0 61.791 * [backup-simplify]: Simplify (+ 0 0) into 0 61.792 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 61.793 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.793 * [backup-simplify]: Simplify (- 0) into 0 61.793 * [backup-simplify]: Simplify (+ 0 0) into 0 61.794 * [taylor]: Taking taylor expansion of 0 in x 61.794 * [backup-simplify]: Simplify 0 into 0 61.794 * [taylor]: Taking taylor expansion of 0 in z 61.794 * [backup-simplify]: Simplify 0 into 0 61.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.795 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 61.796 * [backup-simplify]: Simplify (- 0) into 0 61.796 * [backup-simplify]: Simplify (+ 0 0) into 0 61.796 * [taylor]: Taking taylor expansion of 0 in z 61.796 * [backup-simplify]: Simplify 0 into 0 61.796 * [taylor]: Taking taylor expansion of 0 in z 61.796 * [backup-simplify]: Simplify 0 into 0 61.797 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 61.797 * [backup-simplify]: Simplify (- 0) into 0 61.797 * [backup-simplify]: Simplify 0 into 0 61.797 * [backup-simplify]: Simplify 0 into 0 61.797 * [backup-simplify]: Simplify 0 into 0 61.797 * [backup-simplify]: Simplify 0 into 0 61.798 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.799 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 61.799 * [backup-simplify]: Simplify (+ 0 0) into 0 61.799 * [backup-simplify]: Simplify (- 0) into 0 61.800 * [backup-simplify]: Simplify (- 0) into 0 61.800 * [backup-simplify]: Simplify (- 0) into 0 61.800 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 61.801 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.801 * [backup-simplify]: Simplify (- 1) into -1 61.803 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 x))) (* 0 -1))))) into 0 61.804 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 61.804 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 61.804 * [backup-simplify]: Simplify (- 0) into 0 61.805 * [backup-simplify]: Simplify (+ 0 0) into 0 61.806 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 61.807 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.807 * [backup-simplify]: Simplify (- 0) into 0 61.807 * [backup-simplify]: Simplify (+ 0 0) into 0 61.807 * [taylor]: Taking taylor expansion of 0 in x 61.807 * [backup-simplify]: Simplify 0 into 0 61.807 * [taylor]: Taking taylor expansion of 0 in z 61.807 * [backup-simplify]: Simplify 0 into 0 61.807 * [taylor]: Taking taylor expansion of 0 in z 61.807 * [backup-simplify]: Simplify 0 into 0 61.808 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.808 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 61.809 * [backup-simplify]: Simplify (- 0) into 0 61.809 * [backup-simplify]: Simplify (+ 0 0) into 0 61.809 * [taylor]: Taking taylor expansion of 0 in z 61.809 * [backup-simplify]: Simplify 0 into 0 61.809 * [taylor]: Taking taylor expansion of 0 in z 61.809 * [backup-simplify]: Simplify 0 into 0 61.809 * [backup-simplify]: Simplify 0 into 0 61.810 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- y))))))) into (- (* x y) (* z y)) 61.810 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 61.810 * [backup-simplify]: Simplify (fma y (+ x y) (- (* y z))) into (fma y (+ x y) (- (* z y))) 61.810 * [approximate]: Taking taylor expansion of (fma y (+ x y) (- (* z y))) in (y x z) around 0 61.810 * [taylor]: Taking taylor expansion of (fma y (+ x y) (- (* z y))) in z 61.810 * [taylor]: Rewrote expression to (+ (* y (+ x y)) (- (* z y))) 61.810 * [taylor]: Taking taylor expansion of (* y (+ x y)) in z 61.810 * [taylor]: Taking taylor expansion of y in z 61.810 * [backup-simplify]: Simplify y into y 61.810 * [taylor]: Taking taylor expansion of (+ x y) in z 61.810 * [taylor]: Taking taylor expansion of x in z 61.811 * [backup-simplify]: Simplify x into x 61.811 * [taylor]: Taking taylor expansion of y in z 61.811 * [backup-simplify]: Simplify y into y 61.811 * [taylor]: Taking taylor expansion of (- (* z y)) in z 61.811 * [taylor]: Taking taylor expansion of (* z y) in z 61.811 * [taylor]: Taking taylor expansion of z in z 61.811 * [backup-simplify]: Simplify 0 into 0 61.811 * [backup-simplify]: Simplify 1 into 1 61.811 * [taylor]: Taking taylor expansion of y in z 61.811 * [backup-simplify]: Simplify y into y 61.811 * [taylor]: Taking taylor expansion of (fma y (+ x y) (- (* z y))) in x 61.811 * [taylor]: Rewrote expression to (+ (* y (+ x y)) (- (* z y))) 61.811 * [taylor]: Taking taylor expansion of (* y (+ x y)) in x 61.811 * [taylor]: Taking taylor expansion of y in x 61.811 * [backup-simplify]: Simplify y into y 61.811 * [taylor]: Taking taylor expansion of (+ x y) in x 61.811 * [taylor]: Taking taylor expansion of x in x 61.811 * [backup-simplify]: Simplify 0 into 0 61.811 * [backup-simplify]: Simplify 1 into 1 61.811 * [taylor]: Taking taylor expansion of y in x 61.811 * [backup-simplify]: Simplify y into y 61.811 * [taylor]: Taking taylor expansion of (- (* z y)) in x 61.811 * [taylor]: Taking taylor expansion of (* z y) in x 61.811 * [taylor]: Taking taylor expansion of z in x 61.811 * [backup-simplify]: Simplify z into z 61.811 * [taylor]: Taking taylor expansion of y in x 61.811 * [backup-simplify]: Simplify y into y 61.811 * [taylor]: Taking taylor expansion of (fma y (+ x y) (- (* z y))) in y 61.811 * [taylor]: Rewrote expression to (+ (* y (+ x y)) (- (* z y))) 61.811 * [taylor]: Taking taylor expansion of (* y (+ x y)) in y 61.811 * [taylor]: Taking taylor expansion of y in y 61.811 * [backup-simplify]: Simplify 0 into 0 61.811 * [backup-simplify]: Simplify 1 into 1 61.812 * [taylor]: Taking taylor expansion of (+ x y) in y 61.812 * [taylor]: Taking taylor expansion of x in y 61.812 * [backup-simplify]: Simplify x into x 61.812 * [taylor]: Taking taylor expansion of y in y 61.812 * [backup-simplify]: Simplify 0 into 0 61.812 * [backup-simplify]: Simplify 1 into 1 61.812 * [taylor]: Taking taylor expansion of (- (* z y)) in y 61.812 * [taylor]: Taking taylor expansion of (* z y) in y 61.812 * [taylor]: Taking taylor expansion of z in y 61.812 * [backup-simplify]: Simplify z into z 61.812 * [taylor]: Taking taylor expansion of y in y 61.812 * [backup-simplify]: Simplify 0 into 0 61.812 * [backup-simplify]: Simplify 1 into 1 61.812 * [taylor]: Taking taylor expansion of (fma y (+ x y) (- (* z y))) in y 61.812 * [taylor]: Rewrote expression to (+ (* y (+ x y)) (- (* z y))) 61.812 * [taylor]: Taking taylor expansion of (* y (+ x y)) in y 61.812 * [taylor]: Taking taylor expansion of y in y 61.812 * [backup-simplify]: Simplify 0 into 0 61.812 * [backup-simplify]: Simplify 1 into 1 61.812 * [taylor]: Taking taylor expansion of (+ x y) in y 61.812 * [taylor]: Taking taylor expansion of x in y 61.812 * [backup-simplify]: Simplify x into x 61.812 * [taylor]: Taking taylor expansion of y in y 61.812 * [backup-simplify]: Simplify 0 into 0 61.812 * [backup-simplify]: Simplify 1 into 1 61.812 * [taylor]: Taking taylor expansion of (- (* z y)) in y 61.812 * [taylor]: Taking taylor expansion of (* z y) in y 61.812 * [taylor]: Taking taylor expansion of z in y 61.812 * [backup-simplify]: Simplify z into z 61.812 * [taylor]: Taking taylor expansion of y in y 61.812 * [backup-simplify]: Simplify 0 into 0 61.812 * [backup-simplify]: Simplify 1 into 1 61.812 * [backup-simplify]: Simplify (+ x 0) into x 61.813 * [backup-simplify]: Simplify (* 0 x) into 0 61.813 * [backup-simplify]: Simplify (* z 0) into 0 61.813 * [backup-simplify]: Simplify (- 0) into 0 61.813 * [backup-simplify]: Simplify (+ 0 0) into 0 61.813 * [taylor]: Taking taylor expansion of 0 in x 61.813 * [backup-simplify]: Simplify 0 into 0 61.814 * [taylor]: Taking taylor expansion of 0 in z 61.814 * [backup-simplify]: Simplify 0 into 0 61.814 * [backup-simplify]: Simplify 0 into 0 61.814 * [backup-simplify]: Simplify (+ 0 1) into 1 61.814 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 x)) into x 61.815 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 61.815 * [backup-simplify]: Simplify (- z) into (- z) 61.815 * [backup-simplify]: Simplify (+ x (- z)) into (- x z) 61.815 * [taylor]: Taking taylor expansion of (- x z) in x 61.815 * [taylor]: Taking taylor expansion of x in x 61.815 * [backup-simplify]: Simplify 0 into 0 61.815 * [backup-simplify]: Simplify 1 into 1 61.815 * [taylor]: Taking taylor expansion of z in x 61.815 * [backup-simplify]: Simplify z into z 61.815 * [backup-simplify]: Simplify (- z) into (- z) 61.815 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 61.815 * [taylor]: Taking taylor expansion of (- z) in z 61.815 * [taylor]: Taking taylor expansion of z in z 61.815 * [backup-simplify]: Simplify 0 into 0 61.815 * [backup-simplify]: Simplify 1 into 1 61.816 * [backup-simplify]: Simplify (- 0) into 0 61.816 * [backup-simplify]: Simplify 0 into 0 61.816 * [taylor]: Taking taylor expansion of 0 in z 61.816 * [backup-simplify]: Simplify 0 into 0 61.816 * [backup-simplify]: Simplify 0 into 0 61.816 * [backup-simplify]: Simplify 0 into 0 61.816 * [backup-simplify]: Simplify (+ 0 0) into 0 61.817 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 x))) into 1 61.818 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 61.818 * [backup-simplify]: Simplify (- 0) into 0 61.818 * [backup-simplify]: Simplify (+ 1 0) into 1 61.819 * [taylor]: Taking taylor expansion of 1 in x 61.819 * [backup-simplify]: Simplify 1 into 1 61.819 * [taylor]: Taking taylor expansion of 1 in z 61.819 * [backup-simplify]: Simplify 1 into 1 61.819 * [backup-simplify]: Simplify 1 into 1 61.819 * [backup-simplify]: Simplify (- 0) into 0 61.819 * [backup-simplify]: Simplify (+ 1 0) into 1 61.819 * [taylor]: Taking taylor expansion of 1 in z 61.819 * [backup-simplify]: Simplify 1 into 1 61.819 * [backup-simplify]: Simplify 1 into 1 61.820 * [taylor]: Taking taylor expansion of 0 in z 61.820 * [backup-simplify]: Simplify 0 into 0 61.820 * [backup-simplify]: Simplify 0 into 0 61.820 * [backup-simplify]: Simplify (- 1) into -1 61.820 * [backup-simplify]: Simplify -1 into -1 61.820 * [backup-simplify]: Simplify (+ (* -1 (* z (* 1 y))) (+ (* 1 (* 1 (* x y))) (* 1 (pow (* 1 (* 1 y)) 2)))) into (- (+ (pow y 2) (* x y)) (* z y)) 61.821 * [backup-simplify]: Simplify (fma (/ 1 y) (+ (/ 1 x) (/ 1 y)) (- (* (/ 1 y) (/ 1 z)))) into (fma (/ 1 y) (+ (/ 1 y) (/ 1 x)) (- (/ 1 (* z y)))) 61.821 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (+ (/ 1 y) (/ 1 x)) (- (/ 1 (* z y)))) in (y x z) around 0 61.821 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (+ (/ 1 y) (/ 1 x)) (- (/ 1 (* z y)))) in z 61.821 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (+ (/ 1 y) (/ 1 x))) (- (/ 1 (* z y)))) 61.821 * [taylor]: Taking taylor expansion of (* (/ 1 y) (+ (/ 1 y) (/ 1 x))) in z 61.821 * [taylor]: Taking taylor expansion of (/ 1 y) in z 61.821 * [taylor]: Taking taylor expansion of y in z 61.821 * [backup-simplify]: Simplify y into y 61.821 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 61.821 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 61.821 * [taylor]: Taking taylor expansion of (/ 1 y) in z 61.821 * [taylor]: Taking taylor expansion of y in z 61.821 * [backup-simplify]: Simplify y into y 61.821 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 61.821 * [taylor]: Taking taylor expansion of (/ 1 x) in z 61.821 * [taylor]: Taking taylor expansion of x in z 61.821 * [backup-simplify]: Simplify x into x 61.821 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 61.821 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 61.822 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 61.822 * [taylor]: Taking taylor expansion of (* z y) in z 61.822 * [taylor]: Taking taylor expansion of z in z 61.822 * [backup-simplify]: Simplify 0 into 0 61.822 * [backup-simplify]: Simplify 1 into 1 61.822 * [taylor]: Taking taylor expansion of y in z 61.822 * [backup-simplify]: Simplify y into y 61.822 * [backup-simplify]: Simplify (* 0 y) into 0 61.822 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 61.822 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 61.822 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (+ (/ 1 y) (/ 1 x)) (- (/ 1 (* z y)))) in x 61.823 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (+ (/ 1 y) (/ 1 x))) (- (/ 1 (* z y)))) 61.823 * [taylor]: Taking taylor expansion of (* (/ 1 y) (+ (/ 1 y) (/ 1 x))) in x 61.823 * [taylor]: Taking taylor expansion of (/ 1 y) in x 61.823 * [taylor]: Taking taylor expansion of y in x 61.823 * [backup-simplify]: Simplify y into y 61.823 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 61.823 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 61.823 * [taylor]: Taking taylor expansion of (/ 1 y) in x 61.823 * [taylor]: Taking taylor expansion of y in x 61.823 * [backup-simplify]: Simplify y into y 61.823 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 61.823 * [taylor]: Taking taylor expansion of (/ 1 x) in x 61.823 * [taylor]: Taking taylor expansion of x in x 61.823 * [backup-simplify]: Simplify 0 into 0 61.823 * [backup-simplify]: Simplify 1 into 1 61.823 * [backup-simplify]: Simplify (/ 1 1) into 1 61.823 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in x 61.823 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 61.823 * [taylor]: Taking taylor expansion of (* z y) in x 61.823 * [taylor]: Taking taylor expansion of z in x 61.824 * [backup-simplify]: Simplify z into z 61.824 * [taylor]: Taking taylor expansion of y in x 61.824 * [backup-simplify]: Simplify y into y 61.824 * [backup-simplify]: Simplify (* z y) into (* z y) 61.824 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 61.824 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (+ (/ 1 y) (/ 1 x)) (- (/ 1 (* z y)))) in y 61.824 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (+ (/ 1 y) (/ 1 x))) (- (/ 1 (* z y)))) 61.824 * [taylor]: Taking taylor expansion of (* (/ 1 y) (+ (/ 1 y) (/ 1 x))) in y 61.824 * [taylor]: Taking taylor expansion of (/ 1 y) in y 61.824 * [taylor]: Taking taylor expansion of y in y 61.824 * [backup-simplify]: Simplify 0 into 0 61.824 * [backup-simplify]: Simplify 1 into 1 61.825 * [backup-simplify]: Simplify (/ 1 1) into 1 61.825 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 61.825 * [taylor]: Taking taylor expansion of (/ 1 y) in y 61.825 * [taylor]: Taking taylor expansion of y in y 61.825 * [backup-simplify]: Simplify 0 into 0 61.825 * [backup-simplify]: Simplify 1 into 1 61.825 * [backup-simplify]: Simplify (/ 1 1) into 1 61.825 * [taylor]: Taking taylor expansion of (/ 1 x) in y 61.825 * [taylor]: Taking taylor expansion of x in y 61.825 * [backup-simplify]: Simplify x into x 61.825 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 61.825 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 61.825 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 61.826 * [taylor]: Taking taylor expansion of (* z y) in y 61.826 * [taylor]: Taking taylor expansion of z in y 61.826 * [backup-simplify]: Simplify z into z 61.826 * [taylor]: Taking taylor expansion of y in y 61.826 * [backup-simplify]: Simplify 0 into 0 61.826 * [backup-simplify]: Simplify 1 into 1 61.826 * [backup-simplify]: Simplify (* z 0) into 0 61.826 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 61.826 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 61.826 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (+ (/ 1 y) (/ 1 x)) (- (/ 1 (* z y)))) in y 61.827 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (+ (/ 1 y) (/ 1 x))) (- (/ 1 (* z y)))) 61.827 * [taylor]: Taking taylor expansion of (* (/ 1 y) (+ (/ 1 y) (/ 1 x))) in y 61.827 * [taylor]: Taking taylor expansion of (/ 1 y) in y 61.827 * [taylor]: Taking taylor expansion of y in y 61.827 * [backup-simplify]: Simplify 0 into 0 61.827 * [backup-simplify]: Simplify 1 into 1 61.828 * [backup-simplify]: Simplify (/ 1 1) into 1 61.828 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 61.828 * [taylor]: Taking taylor expansion of (/ 1 y) in y 61.828 * [taylor]: Taking taylor expansion of y in y 61.828 * [backup-simplify]: Simplify 0 into 0 61.828 * [backup-simplify]: Simplify 1 into 1 61.828 * [backup-simplify]: Simplify (/ 1 1) into 1 61.828 * [taylor]: Taking taylor expansion of (/ 1 x) in y 61.828 * [taylor]: Taking taylor expansion of x in y 61.828 * [backup-simplify]: Simplify x into x 61.828 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 61.828 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 61.828 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 61.829 * [taylor]: Taking taylor expansion of (* z y) in y 61.829 * [taylor]: Taking taylor expansion of z in y 61.829 * [backup-simplify]: Simplify z into z 61.829 * [taylor]: Taking taylor expansion of y in y 61.829 * [backup-simplify]: Simplify 0 into 0 61.829 * [backup-simplify]: Simplify 1 into 1 61.829 * [backup-simplify]: Simplify (* z 0) into 0 61.829 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 61.829 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 61.830 * [backup-simplify]: Simplify (+ 1 0) into 1 61.830 * [backup-simplify]: Simplify (* 1 1) into 1 61.830 * [backup-simplify]: Simplify (+ 1 0) into 1 61.831 * [taylor]: Taking taylor expansion of 1 in x 61.831 * [backup-simplify]: Simplify 1 into 1 61.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 61.831 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x) 61.832 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 61.833 * [backup-simplify]: Simplify (+ (* 1 (/ 1 x)) (* 0 1)) into (/ 1 x) 61.833 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 61.833 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 61.833 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 61.833 * [taylor]: Taking taylor expansion of (/ 1 x) in x 61.833 * [taylor]: Taking taylor expansion of x in x 61.833 * [backup-simplify]: Simplify 0 into 0 61.833 * [backup-simplify]: Simplify 1 into 1 61.833 * [backup-simplify]: Simplify (/ 1 1) into 1 61.833 * [taylor]: Taking taylor expansion of (/ 1 z) in x 61.833 * [taylor]: Taking taylor expansion of z in x 61.833 * [backup-simplify]: Simplify z into z 61.833 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 61.834 * [backup-simplify]: Simplify (+ 1 0) into 1 61.834 * [taylor]: Taking taylor expansion of 1 in z 61.834 * [backup-simplify]: Simplify 1 into 1 61.834 * [taylor]: Taking taylor expansion of 1 in z 61.834 * [backup-simplify]: Simplify 1 into 1 61.835 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.835 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 61.836 * [backup-simplify]: Simplify (+ 0 0) into 0 61.837 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.838 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (/ 1 x)) (* 0 1))) into 0 61.839 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 61.839 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 61.839 * [backup-simplify]: Simplify (- 0) into 0 61.839 * [backup-simplify]: Simplify (+ 0 0) into 0 61.840 * [taylor]: Taking taylor expansion of 0 in x 61.840 * [backup-simplify]: Simplify 0 into 0 61.840 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 61.841 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 61.841 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 61.841 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 61.841 * [taylor]: Taking taylor expansion of (/ 1 z) in z 61.841 * [taylor]: Taking taylor expansion of z in z 61.841 * [backup-simplify]: Simplify 0 into 0 61.841 * [backup-simplify]: Simplify 1 into 1 61.841 * [backup-simplify]: Simplify (/ 1 1) into 1 61.841 * [backup-simplify]: Simplify (- 1) into -1 61.842 * [backup-simplify]: Simplify -1 into -1 61.842 * [taylor]: Taking taylor expansion of 0 in z 61.842 * [backup-simplify]: Simplify 0 into 0 61.842 * [backup-simplify]: Simplify 1 into 1 61.842 * [backup-simplify]: Simplify 1 into 1 61.842 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (* 1 (/ 1 (/ 1 y)))) 2)) (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 y))))))) into (- (+ (pow y 2) (* x y)) (* z y)) 61.843 * [backup-simplify]: Simplify (fma (/ 1 (- y)) (+ (/ 1 (- x)) (/ 1 (- y))) (- (* (/ 1 (- y)) (/ 1 (- z))))) into (fma (/ -1 y) (- (+ (/ 1 y) (/ 1 x))) (- (/ 1 (* z y)))) 61.843 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (- (+ (/ 1 y) (/ 1 x))) (- (/ 1 (* z y)))) in (y x z) around 0 61.843 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ (/ 1 y) (/ 1 x))) (- (/ 1 (* z y)))) in z 61.843 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ (/ 1 y) (/ 1 x)))) (- (/ 1 (* z y)))) 61.843 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ (/ 1 y) (/ 1 x)))) in z 61.843 * [taylor]: Taking taylor expansion of (/ -1 y) in z 61.843 * [taylor]: Taking taylor expansion of -1 in z 61.843 * [backup-simplify]: Simplify -1 into -1 61.843 * [taylor]: Taking taylor expansion of y in z 61.843 * [backup-simplify]: Simplify y into y 61.843 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 61.843 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in z 61.843 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 61.843 * [taylor]: Taking taylor expansion of (/ 1 y) in z 61.843 * [taylor]: Taking taylor expansion of y in z 61.843 * [backup-simplify]: Simplify y into y 61.843 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 61.843 * [taylor]: Taking taylor expansion of (/ 1 x) in z 61.843 * [taylor]: Taking taylor expansion of x in z 61.844 * [backup-simplify]: Simplify x into x 61.844 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 61.844 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 61.844 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 61.844 * [taylor]: Taking taylor expansion of (* z y) in z 61.844 * [taylor]: Taking taylor expansion of z in z 61.844 * [backup-simplify]: Simplify 0 into 0 61.844 * [backup-simplify]: Simplify 1 into 1 61.844 * [taylor]: Taking taylor expansion of y in z 61.844 * [backup-simplify]: Simplify y into y 61.844 * [backup-simplify]: Simplify (* 0 y) into 0 61.844 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 61.844 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 61.845 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ (/ 1 y) (/ 1 x))) (- (/ 1 (* z y)))) in x 61.845 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ (/ 1 y) (/ 1 x)))) (- (/ 1 (* z y)))) 61.845 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ (/ 1 y) (/ 1 x)))) in x 61.845 * [taylor]: Taking taylor expansion of (/ -1 y) in x 61.845 * [taylor]: Taking taylor expansion of -1 in x 61.845 * [backup-simplify]: Simplify -1 into -1 61.845 * [taylor]: Taking taylor expansion of y in x 61.845 * [backup-simplify]: Simplify y into y 61.845 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 61.845 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x 61.845 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 61.845 * [taylor]: Taking taylor expansion of (/ 1 y) in x 61.845 * [taylor]: Taking taylor expansion of y in x 61.845 * [backup-simplify]: Simplify y into y 61.845 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 61.845 * [taylor]: Taking taylor expansion of (/ 1 x) in x 61.845 * [taylor]: Taking taylor expansion of x in x 61.845 * [backup-simplify]: Simplify 0 into 0 61.845 * [backup-simplify]: Simplify 1 into 1 61.846 * [backup-simplify]: Simplify (/ 1 1) into 1 61.846 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in x 61.846 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 61.846 * [taylor]: Taking taylor expansion of (* z y) in x 61.846 * [taylor]: Taking taylor expansion of z in x 61.846 * [backup-simplify]: Simplify z into z 61.846 * [taylor]: Taking taylor expansion of y in x 61.846 * [backup-simplify]: Simplify y into y 61.846 * [backup-simplify]: Simplify (* z y) into (* z y) 61.846 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 61.846 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ (/ 1 y) (/ 1 x))) (- (/ 1 (* z y)))) in y 61.846 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ (/ 1 y) (/ 1 x)))) (- (/ 1 (* z y)))) 61.846 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ (/ 1 y) (/ 1 x)))) in y 61.846 * [taylor]: Taking taylor expansion of (/ -1 y) in y 61.846 * [taylor]: Taking taylor expansion of -1 in y 61.846 * [backup-simplify]: Simplify -1 into -1 61.846 * [taylor]: Taking taylor expansion of y in y 61.846 * [backup-simplify]: Simplify 0 into 0 61.846 * [backup-simplify]: Simplify 1 into 1 61.847 * [backup-simplify]: Simplify (/ -1 1) into -1 61.847 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in y 61.847 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 61.847 * [taylor]: Taking taylor expansion of (/ 1 y) in y 61.847 * [taylor]: Taking taylor expansion of y in y 61.847 * [backup-simplify]: Simplify 0 into 0 61.847 * [backup-simplify]: Simplify 1 into 1 61.847 * [backup-simplify]: Simplify (/ 1 1) into 1 61.847 * [taylor]: Taking taylor expansion of (/ 1 x) in y 61.847 * [taylor]: Taking taylor expansion of x in y 61.847 * [backup-simplify]: Simplify x into x 61.847 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 61.848 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 61.848 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 61.848 * [taylor]: Taking taylor expansion of (* z y) in y 61.848 * [taylor]: Taking taylor expansion of z in y 61.848 * [backup-simplify]: Simplify z into z 61.848 * [taylor]: Taking taylor expansion of y in y 61.848 * [backup-simplify]: Simplify 0 into 0 61.848 * [backup-simplify]: Simplify 1 into 1 61.848 * [backup-simplify]: Simplify (* z 0) into 0 61.848 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 61.848 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 61.848 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ (/ 1 y) (/ 1 x))) (- (/ 1 (* z y)))) in y 61.848 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ (/ 1 y) (/ 1 x)))) (- (/ 1 (* z y)))) 61.848 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ (/ 1 y) (/ 1 x)))) in y 61.849 * [taylor]: Taking taylor expansion of (/ -1 y) in y 61.849 * [taylor]: Taking taylor expansion of -1 in y 61.849 * [backup-simplify]: Simplify -1 into -1 61.849 * [taylor]: Taking taylor expansion of y in y 61.849 * [backup-simplify]: Simplify 0 into 0 61.849 * [backup-simplify]: Simplify 1 into 1 61.849 * [backup-simplify]: Simplify (/ -1 1) into -1 61.849 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in y 61.849 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 61.849 * [taylor]: Taking taylor expansion of (/ 1 y) in y 61.849 * [taylor]: Taking taylor expansion of y in y 61.849 * [backup-simplify]: Simplify 0 into 0 61.849 * [backup-simplify]: Simplify 1 into 1 61.850 * [backup-simplify]: Simplify (/ 1 1) into 1 61.850 * [taylor]: Taking taylor expansion of (/ 1 x) in y 61.850 * [taylor]: Taking taylor expansion of x in y 61.850 * [backup-simplify]: Simplify x into x 61.850 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 61.850 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 61.850 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 61.850 * [taylor]: Taking taylor expansion of (* z y) in y 61.850 * [taylor]: Taking taylor expansion of z in y 61.850 * [backup-simplify]: Simplify z into z 61.850 * [taylor]: Taking taylor expansion of y in y 61.850 * [backup-simplify]: Simplify 0 into 0 61.850 * [backup-simplify]: Simplify 1 into 1 61.850 * [backup-simplify]: Simplify (* z 0) into 0 61.851 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 61.851 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 61.851 * [backup-simplify]: Simplify (+ 1 0) into 1 61.851 * [backup-simplify]: Simplify (- 1) into -1 61.852 * [backup-simplify]: Simplify (* -1 -1) into 1 61.852 * [backup-simplify]: Simplify (+ 1 0) into 1 61.852 * [taylor]: Taking taylor expansion of 1 in x 61.852 * [backup-simplify]: Simplify 1 into 1 61.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 61.853 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x) 61.853 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 61.854 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 61.854 * [backup-simplify]: Simplify (- 1) into -1 61.855 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 x))) (* 0 -1)) into (/ 1 x) 61.855 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 61.855 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 61.855 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 61.855 * [taylor]: Taking taylor expansion of (/ 1 x) in x 61.855 * [taylor]: Taking taylor expansion of x in x 61.855 * [backup-simplify]: Simplify 0 into 0 61.855 * [backup-simplify]: Simplify 1 into 1 61.856 * [backup-simplify]: Simplify (/ 1 1) into 1 61.856 * [taylor]: Taking taylor expansion of (/ 1 z) in x 61.856 * [taylor]: Taking taylor expansion of z in x 61.856 * [backup-simplify]: Simplify z into z 61.856 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 61.856 * [backup-simplify]: Simplify (+ 1 0) into 1 61.856 * [taylor]: Taking taylor expansion of 1 in z 61.856 * [backup-simplify]: Simplify 1 into 1 61.856 * [taylor]: Taking taylor expansion of 1 in z 61.856 * [backup-simplify]: Simplify 1 into 1 61.857 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.857 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 61.858 * [backup-simplify]: Simplify (+ 0 0) into 0 61.858 * [backup-simplify]: Simplify (- 0) into 0 61.858 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 61.859 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 61.859 * [backup-simplify]: Simplify (- 1) into -1 61.860 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (/ 1 x))) (* 0 -1))) into 0 61.861 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 61.861 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 61.861 * [backup-simplify]: Simplify (- 0) into 0 61.862 * [backup-simplify]: Simplify (+ 0 0) into 0 61.862 * [taylor]: Taking taylor expansion of 0 in x 61.862 * [backup-simplify]: Simplify 0 into 0 61.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 61.862 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 61.862 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 61.863 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 61.863 * [taylor]: Taking taylor expansion of (/ 1 z) in z 61.863 * [taylor]: Taking taylor expansion of z in z 61.863 * [backup-simplify]: Simplify 0 into 0 61.863 * [backup-simplify]: Simplify 1 into 1 61.863 * [backup-simplify]: Simplify (/ 1 1) into 1 61.863 * [backup-simplify]: Simplify (- 1) into -1 61.863 * [backup-simplify]: Simplify -1 into -1 61.863 * [taylor]: Taking taylor expansion of 0 in z 61.864 * [backup-simplify]: Simplify 0 into 0 61.864 * [backup-simplify]: Simplify 1 into 1 61.864 * [backup-simplify]: Simplify 1 into 1 61.864 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (* 1 (/ 1 (/ 1 (- y))))) 2)) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- y)))))))) into (- (+ (pow y 2) (* x y)) (* z y)) 61.865 * * * [progress]: simplifying candidates 61.866 * [simplify]: Simplifying: (fma (* (cbrt (fma y (+ x y) (- (* y z)))) (cbrt (fma y (+ x y) (- (* y z))))) (cbrt (fma y (+ x y) (- (* y z)))) (- (* y y))) (fma (- y) y (* y y)) (fma (sqrt (fma y (+ x y) (- (* y z)))) (sqrt (fma y (+ x y) (- (* y z)))) (- (* y y))) (fma (- y) y (* y y)) (fma 1 (fma y (+ x y) (- (* y z))) (- (* y y))) (fma (- y) y (* y y)) (expm1 (- (fma y (+ x y) (- (* y z))) (* y y))) (log1p (- (fma y (+ x y) (- (* y z))) (* y y))) (- (* y y)) (- (* y y)) (- (* y y)) (/ (exp (fma y (+ x y) (- (* y z)))) (exp (* y y))) (log (- (fma y (+ x y) (- (* y z))) (* y y))) (exp (- (fma y (+ x y) (- (* y z))) (* y y))) (* (cbrt (- (fma y (+ x y) (- (* y z))) (* y y))) (cbrt (- (fma y (+ x y) (- (* y z))) (* y y)))) (cbrt (- (fma y (+ x y) (- (* y z))) (* y y))) (* (* (- (fma y (+ x y) (- (* y z))) (* y y)) (- (fma y (+ x y) (- (* y z))) (* y y))) (- (fma y (+ x y) (- (* y z))) (* y y))) (sqrt (- (fma y (+ x y) (- (* y z))) (* y y))) (sqrt (- (fma y (+ x y) (- (* y z))) (* y y))) (- (pow (fma y (+ x y) (- (* y z))) 3) (pow (* y y) 3)) (+ (* (fma y (+ x y) (- (* y z))) (fma y (+ x y) (- (* y z)))) (+ (* (* y y) (* y y)) (* (fma y (+ x y) (- (* y z))) (* y y)))) (- (* y y)) (- (* (fma y (+ x y) (- (* y z))) (fma y (+ x y) (- (* y z)))) (* (* y y) (* y y))) (+ (fma y (+ x y) (- (* y z))) (* y y)) (+ (sqrt (fma y (+ x y) (- (* y z)))) y) (- (sqrt (fma y (+ x y) (- (* y z)))) y) (- (- (* y z)) (* y y)) (- (* y y)) (expm1 (fma y (+ x y) (- (* y z)))) (log1p (fma y (+ x y) (- (* y z)))) (* y (+ x y)) (log (fma y (+ x y) (- (* y z)))) (exp (fma y (+ x y) (- (* y z)))) (* (cbrt (fma y (+ x y) (- (* y z)))) (cbrt (fma y (+ x y) (- (* y z))))) (cbrt (fma y (+ x y) (- (* y z)))) (* (* (fma y (+ x y) (- (* y z))) (fma y (+ x y) (- (* y z)))) (fma y (+ x y) (- (* y z)))) (sqrt (fma y (+ x y) (- (* y z)))) (sqrt (fma y (+ x y) (- (* y z)))) (- (* x y) (* z y)) (- (* x y) (* z y)) (- (* x y) (* z y)) (- (+ (pow y 2) (* x y)) (* z y)) (- (+ (pow y 2) (* x y)) (* z y)) (- (+ (pow y 2) (* x y)) (* z y)) 61.867 * * [simplify]: iteration 0: 57 enodes 61.895 * * [simplify]: iteration 1: 129 enodes 61.986 * * [simplify]: iteration 2: 364 enodes 62.542 * * [simplify]: iteration 3: 1984 enodes 69.200 * * [simplify]: iteration complete: 5001 enodes 69.200 * * [simplify]: Extracting #0: cost 29 inf + 0 69.202 * * [simplify]: Extracting #1: cost 357 inf + 1 69.211 * * [simplify]: Extracting #2: cost 830 inf + 1669 69.232 * * [simplify]: Extracting #3: cost 616 inf + 36705 69.305 * * [simplify]: Extracting #4: cost 152 inf + 155821 69.413 * * [simplify]: Extracting #5: cost 27 inf + 188380 69.522 * * [simplify]: Extracting #6: cost 8 inf + 191591 69.627 * * [simplify]: Extracting #7: cost 0 inf + 193935 69.727 * [simplify]: Simplified to: (fma (- x z) y 0) 0 (fma (- x z) y 0) 0 (fma (- x z) y 0) 0 (expm1 (fma (- x z) y 0)) (log1p (fma (- x z) y 0)) (- (* y y)) (- (* y y)) (- (* y y)) (exp (fma (- x z) y 0)) (log (fma (- x z) y 0)) (exp (fma (- x z) y 0)) (* (cbrt (fma (- x z) y 0)) (cbrt (fma (- x z) y 0))) (cbrt (fma (- x z) y 0)) (* (fma (- x z) y 0) (* (fma (- x z) y 0) (fma (- x z) y 0))) (sqrt (fma (- x z) y 0)) (sqrt (fma (- x z) y 0)) (- (* (* y (- (+ y x) z)) (* (* y (- (+ y x) z)) (* y (- (+ y x) z)))) (* (* (* y y) y) (* (* y y) y))) (fma (* y y) (* y y) (fma (* y y) (* y (- (+ y x) z)) (* (* y (- (+ y x) z)) (* y (- (+ y x) z))))) (- (* y y)) (* (fma y (- x z) (* y (+ y y))) (fma (- x z) y 0)) (fma y (- x z) (* y (+ y y))) (+ (sqrt (* y (- (+ y x) z))) y) (- (sqrt (* y (- (+ y x) z))) y) (* (- y) (+ z y)) (- (* y y)) (expm1 (* y (- (+ y x) z))) (log1p (* y (- (+ y x) z))) (* (+ y x) y) (log (* y (- (+ y x) z))) (exp (* y (- (+ y x) z))) (* (cbrt (* y (- (+ y x) z))) (cbrt (* y (- (+ y x) z)))) (cbrt (* y (- (+ y x) z))) (* (* y (- (+ y x) z)) (* (* y (- (+ y x) z)) (* y (- (+ y x) z)))) (sqrt (* y (- (+ y x) z))) (sqrt (* y (- (+ y x) z))) (* y (- x z)) (* y (- x z)) (* y (- x z)) (* y (- (+ y x) z)) (* y (- (+ y x) z)) (* y (- (+ y x) z)) 69.730 * * * [progress]: adding candidates to table 70.002 * [progress]: [Phase 3 of 3] Extracting. 70.002 * * [regime]: Finding splitpoints for: (# #) 70.003 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 70.003 * * * * [regimes]: Trying to branch on z from (# #) 70.073 * * * * [regimes]: Trying to branch on y from (# #) 70.143 * * * * [regimes]: Trying to branch on x from (# #) 70.221 * * * [regime]: Found split indices: #