3.033 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.039 * * * [progress]: [2/2] Setting up program. 0.046 * [progress]: [Phase 2 of 3] Improving. 0.046 * [simplify]: Simplifying: (+ x (/ (- y x) z)) 0.046 * * [simplify]: iteration 0: 6 enodes 0.048 * * [simplify]: iteration 1: 12 enodes 0.051 * * [simplify]: iteration 2: 19 enodes 0.055 * * [simplify]: iteration 3: 28 enodes 0.062 * * [simplify]: iteration 4: 39 enodes 0.073 * * [simplify]: iteration 5: 96 enodes 0.099 * * [simplify]: iteration 6: 221 enodes 0.174 * * [simplify]: iteration 7: 621 enodes 0.711 * * [simplify]: iteration 8: 2177 enodes 1.641 * * [simplify]: iteration complete: 5001 enodes 1.641 * * [simplify]: Extracting #0: cost 1 inf + 0 1.645 * * [simplify]: Extracting #1: cost 1630 inf + 0 1.651 * * [simplify]: Extracting #2: cost 1824 inf + 124 1.657 * * [simplify]: Extracting #3: cost 1771 inf + 2748 1.692 * * [simplify]: Extracting #4: cost 175 inf + 178173 1.747 * * [simplify]: Extracting #5: cost 0 inf + 197178 2.219 * [simplify]: Simplified to: (+ (/ (- y x) z) x) 2.220 * * [progress]: iteration 1 / 4 2.220 * * * [progress]: picking best candidate 2.226 * * * * [pick]: Picked # 2.226 * * * [progress]: localizing error 2.235 * * * [progress]: generating rewritten candidates 2.235 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 2.250 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 2.276 * * * [progress]: generating series expansions 2.276 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 2.280 * [backup-simplify]: Simplify (/ (- y x) z) into (/ (- y x) z) 2.280 * [approximate]: Taking taylor expansion of (/ (- y x) z) in (y x z) around 0 2.281 * [taylor]: Taking taylor expansion of (/ (- y x) z) in z 2.281 * [taylor]: Taking taylor expansion of (- y x) in z 2.281 * [taylor]: Taking taylor expansion of y in z 2.281 * [backup-simplify]: Simplify y into y 2.281 * [taylor]: Taking taylor expansion of x in z 2.281 * [backup-simplify]: Simplify x into x 2.281 * [taylor]: Taking taylor expansion of z in z 2.281 * [backup-simplify]: Simplify 0 into 0 2.281 * [backup-simplify]: Simplify 1 into 1 2.282 * [backup-simplify]: Simplify (- x) into (- x) 2.282 * [backup-simplify]: Simplify (+ y (- x)) into (- y x) 2.282 * [backup-simplify]: Simplify (/ (- y x) 1) into (- y x) 2.282 * [taylor]: Taking taylor expansion of (/ (- y x) z) in x 2.282 * [taylor]: Taking taylor expansion of (- y x) in x 2.282 * [taylor]: Taking taylor expansion of y in x 2.282 * [backup-simplify]: Simplify y into y 2.282 * [taylor]: Taking taylor expansion of x in x 2.282 * [backup-simplify]: Simplify 0 into 0 2.282 * [backup-simplify]: Simplify 1 into 1 2.282 * [taylor]: Taking taylor expansion of z in x 2.282 * [backup-simplify]: Simplify z into z 2.283 * [backup-simplify]: Simplify (- 0) into 0 2.283 * [backup-simplify]: Simplify (+ y 0) into y 2.283 * [backup-simplify]: Simplify (/ y z) into (/ y z) 2.283 * [taylor]: Taking taylor expansion of (/ (- y x) z) in y 2.283 * [taylor]: Taking taylor expansion of (- y x) in y 2.283 * [taylor]: Taking taylor expansion of y in y 2.283 * [backup-simplify]: Simplify 0 into 0 2.283 * [backup-simplify]: Simplify 1 into 1 2.283 * [taylor]: Taking taylor expansion of x in y 2.283 * [backup-simplify]: Simplify x into x 2.283 * [taylor]: Taking taylor expansion of z in y 2.283 * [backup-simplify]: Simplify z into z 2.283 * [backup-simplify]: Simplify (- x) into (- x) 2.284 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 2.284 * [backup-simplify]: Simplify (/ (- x) z) into (* -1 (/ x z)) 2.284 * [taylor]: Taking taylor expansion of (/ (- y x) z) in y 2.284 * [taylor]: Taking taylor expansion of (- y x) in y 2.284 * [taylor]: Taking taylor expansion of y in y 2.284 * [backup-simplify]: Simplify 0 into 0 2.284 * [backup-simplify]: Simplify 1 into 1 2.284 * [taylor]: Taking taylor expansion of x in y 2.284 * [backup-simplify]: Simplify x into x 2.284 * [taylor]: Taking taylor expansion of z in y 2.284 * [backup-simplify]: Simplify z into z 2.284 * [backup-simplify]: Simplify (- x) into (- x) 2.284 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 2.284 * [backup-simplify]: Simplify (/ (- x) z) into (* -1 (/ x z)) 2.285 * [taylor]: Taking taylor expansion of (* -1 (/ x z)) in x 2.285 * [taylor]: Taking taylor expansion of -1 in x 2.285 * [backup-simplify]: Simplify -1 into -1 2.285 * [taylor]: Taking taylor expansion of (/ x z) in x 2.285 * [taylor]: Taking taylor expansion of x in x 2.285 * [backup-simplify]: Simplify 0 into 0 2.285 * [backup-simplify]: Simplify 1 into 1 2.285 * [taylor]: Taking taylor expansion of z in x 2.285 * [backup-simplify]: Simplify z into z 2.285 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.286 * [backup-simplify]: Simplify (- 0) into 0 2.286 * [backup-simplify]: Simplify (+ 1 0) into 1 2.287 * [backup-simplify]: Simplify (- (/ 1 z) (+ (* (* -1 (/ x z)) (/ 0 z)))) into (/ 1 z) 2.287 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.287 * [taylor]: Taking taylor expansion of z in x 2.287 * [backup-simplify]: Simplify z into z 2.287 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.287 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.287 * [taylor]: Taking taylor expansion of z in z 2.287 * [backup-simplify]: Simplify 0 into 0 2.287 * [backup-simplify]: Simplify 1 into 1 2.287 * [backup-simplify]: Simplify (/ 1 1) into 1 2.287 * [backup-simplify]: Simplify 1 into 1 2.288 * [backup-simplify]: Simplify (* -1 (/ 1 z)) into (/ -1 z) 2.288 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.288 * [taylor]: Taking taylor expansion of -1 in z 2.288 * [backup-simplify]: Simplify -1 into -1 2.288 * [taylor]: Taking taylor expansion of z in z 2.288 * [backup-simplify]: Simplify 0 into 0 2.288 * [backup-simplify]: Simplify 1 into 1 2.289 * [backup-simplify]: Simplify (/ -1 1) into -1 2.289 * [backup-simplify]: Simplify -1 into -1 2.289 * [backup-simplify]: Simplify (- 0) into 0 2.290 * [backup-simplify]: Simplify (+ 0 0) into 0 2.290 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (/ x z)) (/ 0 z)) (* (/ 1 z) (/ 0 z)))) into 0 2.290 * [taylor]: Taking taylor expansion of 0 in x 2.290 * [backup-simplify]: Simplify 0 into 0 2.290 * [taylor]: Taking taylor expansion of 0 in z 2.290 * [backup-simplify]: Simplify 0 into 0 2.290 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 2.291 * [taylor]: Taking taylor expansion of 0 in z 2.291 * [backup-simplify]: Simplify 0 into 0 2.291 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 2.291 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 z))) into 0 2.291 * [taylor]: Taking taylor expansion of 0 in z 2.291 * [backup-simplify]: Simplify 0 into 0 2.292 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.292 * [backup-simplify]: Simplify 0 into 0 2.293 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 2.293 * [backup-simplify]: Simplify 0 into 0 2.293 * [backup-simplify]: Simplify (- 0) into 0 2.294 * [backup-simplify]: Simplify (+ 0 0) into 0 2.294 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (/ x z)) (/ 0 z)) (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 2.294 * [taylor]: Taking taylor expansion of 0 in x 2.294 * [backup-simplify]: Simplify 0 into 0 2.294 * [taylor]: Taking taylor expansion of 0 in z 2.294 * [backup-simplify]: Simplify 0 into 0 2.294 * [taylor]: Taking taylor expansion of 0 in z 2.294 * [backup-simplify]: Simplify 0 into 0 2.295 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 2.295 * [taylor]: Taking taylor expansion of 0 in z 2.295 * [backup-simplify]: Simplify 0 into 0 2.295 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 2.296 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0 2.296 * [taylor]: Taking taylor expansion of 0 in z 2.296 * [backup-simplify]: Simplify 0 into 0 2.296 * [backup-simplify]: Simplify 0 into 0 2.296 * [backup-simplify]: Simplify 0 into 0 2.296 * [backup-simplify]: Simplify 0 into 0 2.297 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.297 * [backup-simplify]: Simplify 0 into 0 2.298 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 z) (* x 1))) (* 1 (* (/ 1 z) (* 1 y)))) into (- (/ y z) (/ x z)) 2.298 * [backup-simplify]: Simplify (/ (- (/ 1 y) (/ 1 x)) (/ 1 z)) into (* (- (/ 1 y) (/ 1 x)) z) 2.298 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0 2.298 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in z 2.298 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 2.298 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.298 * [taylor]: Taking taylor expansion of y in z 2.298 * [backup-simplify]: Simplify y into y 2.298 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.298 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.298 * [taylor]: Taking taylor expansion of x in z 2.298 * [backup-simplify]: Simplify x into x 2.298 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.298 * [taylor]: Taking taylor expansion of z in z 2.298 * [backup-simplify]: Simplify 0 into 0 2.299 * [backup-simplify]: Simplify 1 into 1 2.299 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in x 2.299 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 2.299 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.299 * [taylor]: Taking taylor expansion of y in x 2.299 * [backup-simplify]: Simplify y into y 2.299 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.299 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.299 * [taylor]: Taking taylor expansion of x in x 2.299 * [backup-simplify]: Simplify 0 into 0 2.299 * [backup-simplify]: Simplify 1 into 1 2.299 * [backup-simplify]: Simplify (/ 1 1) into 1 2.300 * [taylor]: Taking taylor expansion of z in x 2.300 * [backup-simplify]: Simplify z into z 2.300 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in y 2.300 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 2.300 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.300 * [taylor]: Taking taylor expansion of y in y 2.300 * [backup-simplify]: Simplify 0 into 0 2.300 * [backup-simplify]: Simplify 1 into 1 2.300 * [backup-simplify]: Simplify (/ 1 1) into 1 2.300 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.300 * [taylor]: Taking taylor expansion of x in y 2.300 * [backup-simplify]: Simplify x into x 2.300 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.300 * [taylor]: Taking taylor expansion of z in y 2.300 * [backup-simplify]: Simplify z into z 2.300 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in y 2.300 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 2.300 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.300 * [taylor]: Taking taylor expansion of y in y 2.300 * [backup-simplify]: Simplify 0 into 0 2.301 * [backup-simplify]: Simplify 1 into 1 2.301 * [backup-simplify]: Simplify (/ 1 1) into 1 2.301 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.301 * [taylor]: Taking taylor expansion of x in y 2.301 * [backup-simplify]: Simplify x into x 2.301 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.301 * [taylor]: Taking taylor expansion of z in y 2.301 * [backup-simplify]: Simplify z into z 2.302 * [backup-simplify]: Simplify (+ 1 0) into 1 2.302 * [backup-simplify]: Simplify (* 1 z) into z 2.302 * [taylor]: Taking taylor expansion of z in x 2.302 * [backup-simplify]: Simplify z into z 2.303 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.303 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 2.303 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 2.303 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) z)) into (- (/ z x)) 2.303 * [taylor]: Taking taylor expansion of (- (/ z x)) in x 2.303 * [taylor]: Taking taylor expansion of (/ z x) in x 2.303 * [taylor]: Taking taylor expansion of z in x 2.303 * [backup-simplify]: Simplify z into z 2.303 * [taylor]: Taking taylor expansion of x in x 2.303 * [backup-simplify]: Simplify 0 into 0 2.303 * [backup-simplify]: Simplify 1 into 1 2.304 * [backup-simplify]: Simplify (/ z 1) into z 2.304 * [backup-simplify]: Simplify (- z) into (- z) 2.304 * [taylor]: Taking taylor expansion of (- z) in z 2.304 * [taylor]: Taking taylor expansion of z in z 2.304 * [backup-simplify]: Simplify 0 into 0 2.304 * [backup-simplify]: Simplify 1 into 1 2.304 * [backup-simplify]: Simplify (- 0) into 0 2.304 * [backup-simplify]: Simplify 0 into 0 2.304 * [taylor]: Taking taylor expansion of z in z 2.304 * [backup-simplify]: Simplify 0 into 0 2.304 * [backup-simplify]: Simplify 1 into 1 2.304 * [backup-simplify]: Simplify 0 into 0 2.305 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.305 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 2.306 * [backup-simplify]: Simplify (- 0) into 0 2.306 * [backup-simplify]: Simplify (+ 0 0) into 0 2.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 z))) into 0 2.307 * [taylor]: Taking taylor expansion of 0 in x 2.307 * [backup-simplify]: Simplify 0 into 0 2.307 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 2.308 * [backup-simplify]: Simplify (- 0) into 0 2.308 * [taylor]: Taking taylor expansion of 0 in z 2.308 * [backup-simplify]: Simplify 0 into 0 2.308 * [backup-simplify]: Simplify 0 into 0 2.308 * [taylor]: Taking taylor expansion of 0 in z 2.308 * [backup-simplify]: Simplify 0 into 0 2.308 * [backup-simplify]: Simplify 0 into 0 2.308 * [backup-simplify]: Simplify (- 1) into -1 2.308 * [backup-simplify]: Simplify -1 into -1 2.308 * [backup-simplify]: Simplify 1 into 1 2.309 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.309 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.310 * [backup-simplify]: Simplify (- 0) into 0 2.310 * [backup-simplify]: Simplify (+ 0 0) into 0 2.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (+ (* 0 0) (* 0 z)))) into 0 2.311 * [taylor]: Taking taylor expansion of 0 in x 2.311 * [backup-simplify]: Simplify 0 into 0 2.311 * [taylor]: Taking taylor expansion of 0 in z 2.311 * [backup-simplify]: Simplify 0 into 0 2.311 * [backup-simplify]: Simplify 0 into 0 2.312 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.312 * [backup-simplify]: Simplify (- 0) into 0 2.312 * [taylor]: Taking taylor expansion of 0 in z 2.312 * [backup-simplify]: Simplify 0 into 0 2.312 * [backup-simplify]: Simplify 0 into 0 2.312 * [taylor]: Taking taylor expansion of 0 in z 2.312 * [backup-simplify]: Simplify 0 into 0 2.312 * [backup-simplify]: Simplify 0 into 0 2.312 * [backup-simplify]: Simplify 0 into 0 2.312 * [backup-simplify]: Simplify 0 into 0 2.312 * [backup-simplify]: Simplify (- 0) into 0 2.312 * [backup-simplify]: Simplify 0 into 0 2.313 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 z) (* 1 (/ 1 (/ 1 y))))) (* -1 (* (/ 1 z) (* (/ 1 (/ 1 x)) 1)))) into (- (/ y z) (/ x z)) 2.313 * [backup-simplify]: Simplify (/ (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z))) into (* -1 (* z (- (/ 1 x) (/ 1 y)))) 2.313 * [approximate]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in (y x z) around 0 2.313 * [taylor]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in z 2.313 * [taylor]: Taking taylor expansion of -1 in z 2.313 * [backup-simplify]: Simplify -1 into -1 2.313 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in z 2.313 * [taylor]: Taking taylor expansion of z in z 2.313 * [backup-simplify]: Simplify 0 into 0 2.313 * [backup-simplify]: Simplify 1 into 1 2.313 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 2.313 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.313 * [taylor]: Taking taylor expansion of x in z 2.313 * [backup-simplify]: Simplify x into x 2.313 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.313 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.313 * [taylor]: Taking taylor expansion of y in z 2.313 * [backup-simplify]: Simplify y into y 2.313 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.313 * [taylor]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in x 2.313 * [taylor]: Taking taylor expansion of -1 in x 2.313 * [backup-simplify]: Simplify -1 into -1 2.313 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in x 2.313 * [taylor]: Taking taylor expansion of z in x 2.313 * [backup-simplify]: Simplify z into z 2.313 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 2.313 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.313 * [taylor]: Taking taylor expansion of x in x 2.313 * [backup-simplify]: Simplify 0 into 0 2.313 * [backup-simplify]: Simplify 1 into 1 2.313 * [backup-simplify]: Simplify (/ 1 1) into 1 2.313 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.314 * [taylor]: Taking taylor expansion of y in x 2.314 * [backup-simplify]: Simplify y into y 2.314 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.314 * [taylor]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in y 2.314 * [taylor]: Taking taylor expansion of -1 in y 2.314 * [backup-simplify]: Simplify -1 into -1 2.314 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in y 2.314 * [taylor]: Taking taylor expansion of z in y 2.314 * [backup-simplify]: Simplify z into z 2.314 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 2.314 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.314 * [taylor]: Taking taylor expansion of x in y 2.314 * [backup-simplify]: Simplify x into x 2.314 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.314 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.314 * [taylor]: Taking taylor expansion of y in y 2.314 * [backup-simplify]: Simplify 0 into 0 2.314 * [backup-simplify]: Simplify 1 into 1 2.314 * [backup-simplify]: Simplify (/ 1 1) into 1 2.314 * [taylor]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in y 2.314 * [taylor]: Taking taylor expansion of -1 in y 2.314 * [backup-simplify]: Simplify -1 into -1 2.314 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in y 2.314 * [taylor]: Taking taylor expansion of z in y 2.314 * [backup-simplify]: Simplify z into z 2.314 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 2.314 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.314 * [taylor]: Taking taylor expansion of x in y 2.314 * [backup-simplify]: Simplify x into x 2.314 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.314 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.314 * [taylor]: Taking taylor expansion of y in y 2.314 * [backup-simplify]: Simplify 0 into 0 2.314 * [backup-simplify]: Simplify 1 into 1 2.315 * [backup-simplify]: Simplify (/ 1 1) into 1 2.315 * [backup-simplify]: Simplify (- 1) into -1 2.315 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.315 * [backup-simplify]: Simplify (* z -1) into (* -1 z) 2.315 * [backup-simplify]: Simplify (* -1 (* -1 z)) into z 2.315 * [taylor]: Taking taylor expansion of z in x 2.315 * [backup-simplify]: Simplify z into z 2.316 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.316 * [backup-simplify]: Simplify (- 0) into 0 2.316 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 2.316 * [backup-simplify]: Simplify (+ (* z (/ 1 x)) (* 0 -1)) into (/ z x) 2.316 * [backup-simplify]: Simplify (+ (* -1 (/ z x)) (* 0 (* -1 z))) into (- (/ z x)) 2.316 * [taylor]: Taking taylor expansion of (- (/ z x)) in x 2.316 * [taylor]: Taking taylor expansion of (/ z x) in x 2.317 * [taylor]: Taking taylor expansion of z in x 2.317 * [backup-simplify]: Simplify z into z 2.317 * [taylor]: Taking taylor expansion of x in x 2.317 * [backup-simplify]: Simplify 0 into 0 2.317 * [backup-simplify]: Simplify 1 into 1 2.317 * [backup-simplify]: Simplify (/ z 1) into z 2.317 * [backup-simplify]: Simplify (- z) into (- z) 2.317 * [taylor]: Taking taylor expansion of (- z) in z 2.317 * [taylor]: Taking taylor expansion of z in z 2.317 * [backup-simplify]: Simplify 0 into 0 2.317 * [backup-simplify]: Simplify 1 into 1 2.317 * [backup-simplify]: Simplify (- 0) into 0 2.317 * [backup-simplify]: Simplify 0 into 0 2.317 * [taylor]: Taking taylor expansion of z in z 2.317 * [backup-simplify]: Simplify 0 into 0 2.317 * [backup-simplify]: Simplify 1 into 1 2.317 * [backup-simplify]: Simplify 0 into 0 2.317 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 2.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.318 * [backup-simplify]: Simplify (- 0) into 0 2.318 * [backup-simplify]: Simplify (+ 0 0) into 0 2.319 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 (/ 1 x)) (* 0 -1))) into 0 2.319 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ z x)) (* 0 (* -1 z)))) into 0 2.319 * [taylor]: Taking taylor expansion of 0 in x 2.319 * [backup-simplify]: Simplify 0 into 0 2.319 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 2.320 * [backup-simplify]: Simplify (- 0) into 0 2.320 * [taylor]: Taking taylor expansion of 0 in z 2.320 * [backup-simplify]: Simplify 0 into 0 2.320 * [backup-simplify]: Simplify 0 into 0 2.320 * [taylor]: Taking taylor expansion of 0 in z 2.320 * [backup-simplify]: Simplify 0 into 0 2.320 * [backup-simplify]: Simplify 0 into 0 2.320 * [backup-simplify]: Simplify (- 1) into -1 2.320 * [backup-simplify]: Simplify -1 into -1 2.320 * [backup-simplify]: Simplify 1 into 1 2.320 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.321 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.321 * [backup-simplify]: Simplify (- 0) into 0 2.321 * [backup-simplify]: Simplify (+ 0 0) into 0 2.322 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 (/ 1 x)) (* 0 -1)))) into 0 2.322 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ z x)) (* 0 (* -1 z))))) into 0 2.322 * [taylor]: Taking taylor expansion of 0 in x 2.323 * [backup-simplify]: Simplify 0 into 0 2.323 * [taylor]: Taking taylor expansion of 0 in z 2.323 * [backup-simplify]: Simplify 0 into 0 2.323 * [backup-simplify]: Simplify 0 into 0 2.324 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.324 * [backup-simplify]: Simplify (- 0) into 0 2.324 * [taylor]: Taking taylor expansion of 0 in z 2.324 * [backup-simplify]: Simplify 0 into 0 2.324 * [backup-simplify]: Simplify 0 into 0 2.324 * [taylor]: Taking taylor expansion of 0 in z 2.324 * [backup-simplify]: Simplify 0 into 0 2.324 * [backup-simplify]: Simplify 0 into 0 2.324 * [backup-simplify]: Simplify 0 into 0 2.324 * [backup-simplify]: Simplify 0 into 0 2.325 * [backup-simplify]: Simplify (- 0) into 0 2.325 * [backup-simplify]: Simplify 0 into 0 2.325 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- z)) (* 1 (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) 1)))) into (- (/ y z) (/ x z)) 2.325 * * * * [progress]: [ 2 / 2 ] generating series at (2) 2.325 * [backup-simplify]: Simplify (+ x (/ (- y x) z)) into (- (+ x (/ y z)) (/ x z)) 2.325 * [approximate]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in (x y z) around 0 2.325 * [taylor]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in z 2.325 * [taylor]: Taking taylor expansion of (+ x (/ y z)) in z 2.325 * [taylor]: Taking taylor expansion of x in z 2.325 * [backup-simplify]: Simplify x into x 2.325 * [taylor]: Taking taylor expansion of (/ y z) in z 2.325 * [taylor]: Taking taylor expansion of y in z 2.325 * [backup-simplify]: Simplify y into y 2.325 * [taylor]: Taking taylor expansion of z in z 2.325 * [backup-simplify]: Simplify 0 into 0 2.325 * [backup-simplify]: Simplify 1 into 1 2.326 * [backup-simplify]: Simplify (/ y 1) into y 2.326 * [taylor]: Taking taylor expansion of (/ x z) in z 2.326 * [taylor]: Taking taylor expansion of x in z 2.326 * [backup-simplify]: Simplify x into x 2.326 * [taylor]: Taking taylor expansion of z in z 2.326 * [backup-simplify]: Simplify 0 into 0 2.326 * [backup-simplify]: Simplify 1 into 1 2.326 * [backup-simplify]: Simplify (/ x 1) into x 2.326 * [taylor]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in y 2.326 * [taylor]: Taking taylor expansion of (+ x (/ y z)) in y 2.326 * [taylor]: Taking taylor expansion of x in y 2.326 * [backup-simplify]: Simplify x into x 2.326 * [taylor]: Taking taylor expansion of (/ y z) in y 2.326 * [taylor]: Taking taylor expansion of y in y 2.326 * [backup-simplify]: Simplify 0 into 0 2.326 * [backup-simplify]: Simplify 1 into 1 2.326 * [taylor]: Taking taylor expansion of z in y 2.326 * [backup-simplify]: Simplify z into z 2.326 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.326 * [taylor]: Taking taylor expansion of (/ x z) in y 2.326 * [taylor]: Taking taylor expansion of x in y 2.326 * [backup-simplify]: Simplify x into x 2.326 * [taylor]: Taking taylor expansion of z in y 2.326 * [backup-simplify]: Simplify z into z 2.326 * [backup-simplify]: Simplify (/ x z) into (/ x z) 2.326 * [taylor]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in x 2.326 * [taylor]: Taking taylor expansion of (+ x (/ y z)) in x 2.326 * [taylor]: Taking taylor expansion of x in x 2.326 * [backup-simplify]: Simplify 0 into 0 2.326 * [backup-simplify]: Simplify 1 into 1 2.326 * [taylor]: Taking taylor expansion of (/ y z) in x 2.326 * [taylor]: Taking taylor expansion of y in x 2.326 * [backup-simplify]: Simplify y into y 2.326 * [taylor]: Taking taylor expansion of z in x 2.326 * [backup-simplify]: Simplify z into z 2.326 * [backup-simplify]: Simplify (/ y z) into (/ y z) 2.326 * [taylor]: Taking taylor expansion of (/ x z) in x 2.326 * [taylor]: Taking taylor expansion of x in x 2.326 * [backup-simplify]: Simplify 0 into 0 2.326 * [backup-simplify]: Simplify 1 into 1 2.326 * [taylor]: Taking taylor expansion of z in x 2.326 * [backup-simplify]: Simplify z into z 2.326 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.326 * [taylor]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in x 2.326 * [taylor]: Taking taylor expansion of (+ x (/ y z)) in x 2.326 * [taylor]: Taking taylor expansion of x in x 2.326 * [backup-simplify]: Simplify 0 into 0 2.326 * [backup-simplify]: Simplify 1 into 1 2.326 * [taylor]: Taking taylor expansion of (/ y z) in x 2.326 * [taylor]: Taking taylor expansion of y in x 2.326 * [backup-simplify]: Simplify y into y 2.327 * [taylor]: Taking taylor expansion of z in x 2.327 * [backup-simplify]: Simplify z into z 2.327 * [backup-simplify]: Simplify (/ y z) into (/ y z) 2.327 * [taylor]: Taking taylor expansion of (/ x z) in x 2.327 * [taylor]: Taking taylor expansion of x in x 2.327 * [backup-simplify]: Simplify 0 into 0 2.327 * [backup-simplify]: Simplify 1 into 1 2.327 * [taylor]: Taking taylor expansion of z in x 2.327 * [backup-simplify]: Simplify z into z 2.327 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.327 * [backup-simplify]: Simplify (+ 0 (/ y z)) into (/ y z) 2.327 * [backup-simplify]: Simplify (+ (/ y z) 0) into (/ y z) 2.327 * [taylor]: Taking taylor expansion of (/ y z) in y 2.327 * [taylor]: Taking taylor expansion of y in y 2.327 * [backup-simplify]: Simplify 0 into 0 2.327 * [backup-simplify]: Simplify 1 into 1 2.327 * [taylor]: Taking taylor expansion of z in y 2.327 * [backup-simplify]: Simplify z into z 2.327 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.327 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0 2.327 * [backup-simplify]: Simplify (+ 1 0) into 1 2.327 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 2.328 * [backup-simplify]: Simplify (+ 1 (- (/ 1 z))) into (- 1 (/ 1 z)) 2.328 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in y 2.328 * [taylor]: Taking taylor expansion of 1 in y 2.328 * [backup-simplify]: Simplify 1 into 1 2.328 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.328 * [taylor]: Taking taylor expansion of z in y 2.328 * [backup-simplify]: Simplify z into z 2.328 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.328 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 2.328 * [backup-simplify]: Simplify (+ 1 (- (/ 1 z))) into (- 1 (/ 1 z)) 2.328 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z 2.328 * [taylor]: Taking taylor expansion of 1 in z 2.328 * [backup-simplify]: Simplify 1 into 1 2.328 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.328 * [taylor]: Taking taylor expansion of z in z 2.328 * [backup-simplify]: Simplify 0 into 0 2.328 * [backup-simplify]: Simplify 1 into 1 2.328 * [backup-simplify]: Simplify (/ 1 1) into 1 2.328 * [backup-simplify]: Simplify (- 1) into -1 2.329 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.329 * [backup-simplify]: Simplify -1 into -1 2.329 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.329 * [taylor]: Taking taylor expansion of z in z 2.329 * [backup-simplify]: Simplify 0 into 0 2.329 * [backup-simplify]: Simplify 1 into 1 2.329 * [backup-simplify]: Simplify (/ 1 1) into 1 2.329 * [backup-simplify]: Simplify 1 into 1 2.329 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 2.329 * [backup-simplify]: Simplify (+ 0 0) into 0 2.330 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 2.330 * [backup-simplify]: Simplify (- 0) into 0 2.330 * [backup-simplify]: Simplify (+ 0 0) into 0 2.330 * [taylor]: Taking taylor expansion of 0 in y 2.330 * [backup-simplify]: Simplify 0 into 0 2.330 * [taylor]: Taking taylor expansion of 0 in z 2.330 * [backup-simplify]: Simplify 0 into 0 2.330 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 2.330 * [backup-simplify]: Simplify (- 0) into 0 2.331 * [backup-simplify]: Simplify (+ 0 0) into 0 2.331 * [taylor]: Taking taylor expansion of 0 in z 2.331 * [backup-simplify]: Simplify 0 into 0 2.331 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 2.331 * [taylor]: Taking taylor expansion of 0 in z 2.331 * [backup-simplify]: Simplify 0 into 0 2.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.331 * [backup-simplify]: Simplify (- 0) into 0 2.332 * [backup-simplify]: Simplify (+ 1 0) into 1 2.332 * [backup-simplify]: Simplify 1 into 1 2.332 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 x))) (+ (* 1 (* (/ 1 z) (* y 1))) (* -1 (* (/ 1 z) (* 1 x))))) into (- (+ x (/ y z)) (/ x z)) 2.332 * [backup-simplify]: Simplify (+ (/ 1 x) (/ (- (/ 1 y) (/ 1 x)) (/ 1 z))) into (- (+ (/ z y) (/ 1 x)) (/ z x)) 2.332 * [approximate]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in (x y z) around 0 2.332 * [taylor]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in z 2.332 * [taylor]: Taking taylor expansion of (+ (/ z y) (/ 1 x)) in z 2.332 * [taylor]: Taking taylor expansion of (/ z y) in z 2.332 * [taylor]: Taking taylor expansion of z in z 2.332 * [backup-simplify]: Simplify 0 into 0 2.332 * [backup-simplify]: Simplify 1 into 1 2.332 * [taylor]: Taking taylor expansion of y in z 2.332 * [backup-simplify]: Simplify y into y 2.332 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.332 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.332 * [taylor]: Taking taylor expansion of x in z 2.332 * [backup-simplify]: Simplify x into x 2.332 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.332 * [taylor]: Taking taylor expansion of (/ z x) in z 2.332 * [taylor]: Taking taylor expansion of z in z 2.332 * [backup-simplify]: Simplify 0 into 0 2.332 * [backup-simplify]: Simplify 1 into 1 2.332 * [taylor]: Taking taylor expansion of x in z 2.332 * [backup-simplify]: Simplify x into x 2.333 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.333 * [taylor]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in y 2.333 * [taylor]: Taking taylor expansion of (+ (/ z y) (/ 1 x)) in y 2.333 * [taylor]: Taking taylor expansion of (/ z y) in y 2.333 * [taylor]: Taking taylor expansion of z in y 2.333 * [backup-simplify]: Simplify z into z 2.333 * [taylor]: Taking taylor expansion of y in y 2.333 * [backup-simplify]: Simplify 0 into 0 2.333 * [backup-simplify]: Simplify 1 into 1 2.333 * [backup-simplify]: Simplify (/ z 1) into z 2.333 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.333 * [taylor]: Taking taylor expansion of x in y 2.333 * [backup-simplify]: Simplify x into x 2.333 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.333 * [taylor]: Taking taylor expansion of (/ z x) in y 2.333 * [taylor]: Taking taylor expansion of z in y 2.333 * [backup-simplify]: Simplify z into z 2.333 * [taylor]: Taking taylor expansion of x in y 2.333 * [backup-simplify]: Simplify x into x 2.333 * [backup-simplify]: Simplify (/ z x) into (/ z x) 2.333 * [taylor]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in x 2.333 * [taylor]: Taking taylor expansion of (+ (/ z y) (/ 1 x)) in x 2.333 * [taylor]: Taking taylor expansion of (/ z y) in x 2.333 * [taylor]: Taking taylor expansion of z in x 2.333 * [backup-simplify]: Simplify z into z 2.333 * [taylor]: Taking taylor expansion of y in x 2.333 * [backup-simplify]: Simplify y into y 2.333 * [backup-simplify]: Simplify (/ z y) into (/ z y) 2.333 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.333 * [taylor]: Taking taylor expansion of x in x 2.333 * [backup-simplify]: Simplify 0 into 0 2.333 * [backup-simplify]: Simplify 1 into 1 2.333 * [backup-simplify]: Simplify (/ 1 1) into 1 2.333 * [taylor]: Taking taylor expansion of (/ z x) in x 2.333 * [taylor]: Taking taylor expansion of z in x 2.333 * [backup-simplify]: Simplify z into z 2.333 * [taylor]: Taking taylor expansion of x in x 2.333 * [backup-simplify]: Simplify 0 into 0 2.333 * [backup-simplify]: Simplify 1 into 1 2.333 * [backup-simplify]: Simplify (/ z 1) into z 2.334 * [taylor]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in x 2.334 * [taylor]: Taking taylor expansion of (+ (/ z y) (/ 1 x)) in x 2.334 * [taylor]: Taking taylor expansion of (/ z y) in x 2.334 * [taylor]: Taking taylor expansion of z in x 2.334 * [backup-simplify]: Simplify z into z 2.334 * [taylor]: Taking taylor expansion of y in x 2.334 * [backup-simplify]: Simplify y into y 2.334 * [backup-simplify]: Simplify (/ z y) into (/ z y) 2.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.334 * [taylor]: Taking taylor expansion of x in x 2.334 * [backup-simplify]: Simplify 0 into 0 2.334 * [backup-simplify]: Simplify 1 into 1 2.334 * [backup-simplify]: Simplify (/ 1 1) into 1 2.334 * [taylor]: Taking taylor expansion of (/ z x) in x 2.334 * [taylor]: Taking taylor expansion of z in x 2.334 * [backup-simplify]: Simplify z into z 2.334 * [taylor]: Taking taylor expansion of x in x 2.334 * [backup-simplify]: Simplify 0 into 0 2.334 * [backup-simplify]: Simplify 1 into 1 2.334 * [backup-simplify]: Simplify (/ z 1) into z 2.334 * [backup-simplify]: Simplify (+ 0 1) into 1 2.334 * [backup-simplify]: Simplify (- z) into (- z) 2.334 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z) 2.334 * [taylor]: Taking taylor expansion of (- 1 z) in y 2.335 * [taylor]: Taking taylor expansion of 1 in y 2.335 * [backup-simplify]: Simplify 1 into 1 2.335 * [taylor]: Taking taylor expansion of z in y 2.335 * [backup-simplify]: Simplify z into z 2.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.335 * [backup-simplify]: Simplify (+ (/ z y) 0) into (/ z y) 2.336 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 2.336 * [backup-simplify]: Simplify (- 0) into 0 2.336 * [backup-simplify]: Simplify (+ (/ z y) 0) into (/ z y) 2.336 * [taylor]: Taking taylor expansion of (/ z y) in y 2.336 * [taylor]: Taking taylor expansion of z in y 2.336 * [backup-simplify]: Simplify z into z 2.336 * [taylor]: Taking taylor expansion of y in y 2.336 * [backup-simplify]: Simplify 0 into 0 2.336 * [backup-simplify]: Simplify 1 into 1 2.336 * [backup-simplify]: Simplify (/ z 1) into z 2.336 * [taylor]: Taking taylor expansion of z in z 2.336 * [backup-simplify]: Simplify 0 into 0 2.336 * [backup-simplify]: Simplify 1 into 1 2.336 * [backup-simplify]: Simplify 0 into 0 2.336 * [backup-simplify]: Simplify (- z) into (- z) 2.336 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z) 2.336 * [taylor]: Taking taylor expansion of (- 1 z) in z 2.336 * [taylor]: Taking taylor expansion of 1 in z 2.336 * [backup-simplify]: Simplify 1 into 1 2.336 * [taylor]: Taking taylor expansion of z in z 2.336 * [backup-simplify]: Simplify 0 into 0 2.336 * [backup-simplify]: Simplify 1 into 1 2.337 * [backup-simplify]: Simplify (- 0) into 0 2.337 * [backup-simplify]: Simplify (+ 1 0) into 1 2.337 * [backup-simplify]: Simplify 1 into 1 2.337 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 2.338 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.338 * [backup-simplify]: Simplify (+ 0 0) into 0 2.339 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.339 * [backup-simplify]: Simplify (- 0) into 0 2.339 * [backup-simplify]: Simplify (+ 0 0) into 0 2.339 * [taylor]: Taking taylor expansion of 0 in y 2.339 * [backup-simplify]: Simplify 0 into 0 2.340 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 2.340 * [taylor]: Taking taylor expansion of 0 in z 2.340 * [backup-simplify]: Simplify 0 into 0 2.340 * [backup-simplify]: Simplify 0 into 0 2.340 * [backup-simplify]: Simplify (- 0) into 0 2.340 * [backup-simplify]: Simplify (+ 0 0) into 0 2.340 * [taylor]: Taking taylor expansion of 0 in z 2.340 * [backup-simplify]: Simplify 0 into 0 2.340 * [backup-simplify]: Simplify 0 into 0 2.340 * [backup-simplify]: Simplify 1 into 1 2.341 * [backup-simplify]: Simplify (- 1) into -1 2.341 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.341 * [backup-simplify]: Simplify -1 into -1 2.341 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 z) (* 1 (/ 1 (/ 1 x))))) (+ (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) 1))) (* 1 (* 1 (* 1 (/ 1 (/ 1 x))))))) into (- (+ x (/ y z)) (/ x z)) 2.341 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (/ (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z)))) into (- (/ z y) (+ (/ z x) (/ 1 x))) 2.341 * [approximate]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in (x y z) around 0 2.341 * [taylor]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in z 2.341 * [taylor]: Taking taylor expansion of (/ z y) in z 2.341 * [taylor]: Taking taylor expansion of z in z 2.341 * [backup-simplify]: Simplify 0 into 0 2.341 * [backup-simplify]: Simplify 1 into 1 2.341 * [taylor]: Taking taylor expansion of y in z 2.341 * [backup-simplify]: Simplify y into y 2.341 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.341 * [taylor]: Taking taylor expansion of (+ (/ z x) (/ 1 x)) in z 2.342 * [taylor]: Taking taylor expansion of (/ z x) in z 2.342 * [taylor]: Taking taylor expansion of z in z 2.342 * [backup-simplify]: Simplify 0 into 0 2.342 * [backup-simplify]: Simplify 1 into 1 2.342 * [taylor]: Taking taylor expansion of x in z 2.342 * [backup-simplify]: Simplify x into x 2.342 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.342 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.342 * [taylor]: Taking taylor expansion of x in z 2.342 * [backup-simplify]: Simplify x into x 2.342 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.342 * [taylor]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in y 2.342 * [taylor]: Taking taylor expansion of (/ z y) in y 2.342 * [taylor]: Taking taylor expansion of z in y 2.342 * [backup-simplify]: Simplify z into z 2.342 * [taylor]: Taking taylor expansion of y in y 2.342 * [backup-simplify]: Simplify 0 into 0 2.342 * [backup-simplify]: Simplify 1 into 1 2.342 * [backup-simplify]: Simplify (/ z 1) into z 2.342 * [taylor]: Taking taylor expansion of (+ (/ z x) (/ 1 x)) in y 2.342 * [taylor]: Taking taylor expansion of (/ z x) in y 2.342 * [taylor]: Taking taylor expansion of z in y 2.342 * [backup-simplify]: Simplify z into z 2.342 * [taylor]: Taking taylor expansion of x in y 2.342 * [backup-simplify]: Simplify x into x 2.342 * [backup-simplify]: Simplify (/ z x) into (/ z x) 2.342 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.342 * [taylor]: Taking taylor expansion of x in y 2.342 * [backup-simplify]: Simplify x into x 2.342 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.342 * [taylor]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in x 2.342 * [taylor]: Taking taylor expansion of (/ z y) in x 2.342 * [taylor]: Taking taylor expansion of z in x 2.342 * [backup-simplify]: Simplify z into z 2.342 * [taylor]: Taking taylor expansion of y in x 2.342 * [backup-simplify]: Simplify y into y 2.342 * [backup-simplify]: Simplify (/ z y) into (/ z y) 2.342 * [taylor]: Taking taylor expansion of (+ (/ z x) (/ 1 x)) in x 2.342 * [taylor]: Taking taylor expansion of (/ z x) in x 2.342 * [taylor]: Taking taylor expansion of z in x 2.342 * [backup-simplify]: Simplify z into z 2.342 * [taylor]: Taking taylor expansion of x in x 2.342 * [backup-simplify]: Simplify 0 into 0 2.342 * [backup-simplify]: Simplify 1 into 1 2.342 * [backup-simplify]: Simplify (/ z 1) into z 2.342 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.342 * [taylor]: Taking taylor expansion of x in x 2.342 * [backup-simplify]: Simplify 0 into 0 2.342 * [backup-simplify]: Simplify 1 into 1 2.343 * [backup-simplify]: Simplify (/ 1 1) into 1 2.343 * [taylor]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in x 2.343 * [taylor]: Taking taylor expansion of (/ z y) in x 2.343 * [taylor]: Taking taylor expansion of z in x 2.343 * [backup-simplify]: Simplify z into z 2.343 * [taylor]: Taking taylor expansion of y in x 2.343 * [backup-simplify]: Simplify y into y 2.343 * [backup-simplify]: Simplify (/ z y) into (/ z y) 2.343 * [taylor]: Taking taylor expansion of (+ (/ z x) (/ 1 x)) in x 2.343 * [taylor]: Taking taylor expansion of (/ z x) in x 2.343 * [taylor]: Taking taylor expansion of z in x 2.343 * [backup-simplify]: Simplify z into z 2.343 * [taylor]: Taking taylor expansion of x in x 2.343 * [backup-simplify]: Simplify 0 into 0 2.343 * [backup-simplify]: Simplify 1 into 1 2.343 * [backup-simplify]: Simplify (/ z 1) into z 2.343 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.343 * [taylor]: Taking taylor expansion of x in x 2.343 * [backup-simplify]: Simplify 0 into 0 2.343 * [backup-simplify]: Simplify 1 into 1 2.343 * [backup-simplify]: Simplify (/ 1 1) into 1 2.343 * [backup-simplify]: Simplify (+ z 1) into (+ z 1) 2.343 * [backup-simplify]: Simplify (- (+ z 1)) into (- (+ z 1)) 2.343 * [backup-simplify]: Simplify (+ 0 (- (+ z 1))) into (- (+ z 1)) 2.343 * [taylor]: Taking taylor expansion of (- (+ z 1)) in y 2.343 * [taylor]: Taking taylor expansion of (+ z 1) in y 2.343 * [taylor]: Taking taylor expansion of z in y 2.343 * [backup-simplify]: Simplify z into z 2.343 * [taylor]: Taking taylor expansion of 1 in y 2.344 * [backup-simplify]: Simplify 1 into 1 2.344 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 2.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.345 * [backup-simplify]: Simplify (+ 0 0) into 0 2.345 * [backup-simplify]: Simplify (- 0) into 0 2.345 * [backup-simplify]: Simplify (+ (/ z y) 0) into (/ z y) 2.345 * [taylor]: Taking taylor expansion of (/ z y) in y 2.345 * [taylor]: Taking taylor expansion of z in y 2.345 * [backup-simplify]: Simplify z into z 2.345 * [taylor]: Taking taylor expansion of y in y 2.345 * [backup-simplify]: Simplify 0 into 0 2.345 * [backup-simplify]: Simplify 1 into 1 2.345 * [backup-simplify]: Simplify (/ z 1) into z 2.345 * [taylor]: Taking taylor expansion of z in z 2.345 * [backup-simplify]: Simplify 0 into 0 2.345 * [backup-simplify]: Simplify 1 into 1 2.345 * [backup-simplify]: Simplify 0 into 0 2.345 * [backup-simplify]: Simplify (+ z 1) into (+ z 1) 2.345 * [backup-simplify]: Simplify (- (+ z 1)) into (- (+ z 1)) 2.345 * [taylor]: Taking taylor expansion of (- (+ z 1)) in z 2.345 * [taylor]: Taking taylor expansion of (+ z 1) in z 2.345 * [taylor]: Taking taylor expansion of z in z 2.345 * [backup-simplify]: Simplify 0 into 0 2.345 * [backup-simplify]: Simplify 1 into 1 2.345 * [taylor]: Taking taylor expansion of 1 in z 2.345 * [backup-simplify]: Simplify 1 into 1 2.346 * [backup-simplify]: Simplify (+ 0 1) into 1 2.346 * [backup-simplify]: Simplify (- 1) into -1 2.346 * [backup-simplify]: Simplify -1 into -1 2.346 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 2.347 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.347 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.348 * [backup-simplify]: Simplify (+ 0 0) into 0 2.348 * [backup-simplify]: Simplify (- 0) into 0 2.348 * [backup-simplify]: Simplify (+ 0 0) into 0 2.348 * [taylor]: Taking taylor expansion of 0 in y 2.348 * [backup-simplify]: Simplify 0 into 0 2.349 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 2.349 * [taylor]: Taking taylor expansion of 0 in z 2.349 * [backup-simplify]: Simplify 0 into 0 2.349 * [backup-simplify]: Simplify 0 into 0 2.349 * [backup-simplify]: Simplify (+ 0 0) into 0 2.350 * [backup-simplify]: Simplify (- 0) into 0 2.350 * [taylor]: Taking taylor expansion of 0 in z 2.350 * [backup-simplify]: Simplify 0 into 0 2.350 * [backup-simplify]: Simplify 0 into 0 2.350 * [backup-simplify]: Simplify 1 into 1 2.351 * [backup-simplify]: Simplify (+ 1 0) into 1 2.351 * [backup-simplify]: Simplify (- 1) into -1 2.351 * [backup-simplify]: Simplify -1 into -1 2.352 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (- z)) (* 1 (/ 1 (/ 1 (- x)))))) (+ (* 1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) 1))) (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x)))))))) into (- (+ x (/ y z)) (/ x z)) 2.352 * * * [progress]: simplifying candidates 2.354 * [simplify]: Simplifying: (- (log (- y x)) (log z)) (log (/ (- y x) z)) (exp (/ (- y x) z)) (/ (* (* (- y x) (- y x)) (- y x)) (* (* z z) 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)) (- (- y x)) (- z) (/ y z) (/ x z) (/ (* (cbrt (- y x)) (cbrt (- y x))) (* (cbrt z) (cbrt z))) (/ (cbrt (- y x)) (cbrt z)) (/ (* (cbrt (- y x)) (cbrt (- y x))) (sqrt z)) (/ (cbrt (- y x)) (sqrt z)) (/ (* (cbrt (- y x)) (cbrt (- y x))) 1) (/ (cbrt (- y x)) z) (/ (sqrt (- y x)) (* (cbrt z) (cbrt z))) (/ (sqrt (- y x)) (cbrt z)) (/ (sqrt (- y x)) (sqrt z)) (/ (sqrt (- y x)) (sqrt z)) (/ (sqrt (- y x)) 1) (/ (sqrt (- y x)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (- y x) (cbrt z)) (/ 1 (sqrt z)) (/ (- y x) (sqrt z)) (/ 1 1) (/ (- y x) z) (/ (+ (sqrt y) (sqrt x)) (* (cbrt z) (cbrt z))) (/ (- (sqrt y) (sqrt x)) (cbrt z)) (/ (+ (sqrt y) (sqrt x)) (sqrt z)) (/ (- (sqrt y) (sqrt x)) (sqrt z)) (/ (+ (sqrt y) (sqrt x)) 1) (/ (- (sqrt y) (sqrt x)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (- y x) (cbrt z)) (/ 1 (sqrt z)) (/ (- y x) (sqrt z)) (/ 1 1) (/ (- y x) z) (/ 1 z) (/ z (- y x)) (/ (- y x) (* (cbrt z) (cbrt z))) (/ (- y x) (sqrt z)) (/ (- y x) 1) (/ z (cbrt (- y x))) (/ z (sqrt (- y x))) (/ z (- y x)) (/ z (- (sqrt y) (sqrt x))) (/ z (- y x)) (* z (+ (* y y) (+ (* x x) (* y x)))) (* z (+ y x)) (* (exp x) (exp (/ (- y x) z))) (log (+ x (/ (- y x) z))) (exp (+ x (/ (- y x) z))) (* (cbrt (+ x (/ (- y x) z))) (cbrt (+ x (/ (- y x) z)))) (cbrt (+ x (/ (- y x) z))) (* (* (+ x (/ (- y x) z)) (+ x (/ (- y x) z))) (+ x (/ (- y x) z))) (sqrt (+ x (/ (- y x) z))) (sqrt (+ x (/ (- y x) z))) (+ (pow x 3) (pow (/ (- y x) z) 3)) (+ (* x x) (- (* (/ (- y x) z) (/ (- y x) z)) (* x (/ (- y x) z)))) (- (* x x) (* (/ (- y x) z) (/ (- y x) z))) (- x (/ (- y x) z)) (+ x (/ (- y x) z)) (+ x (/ y z)) (- (/ y z) (/ x z)) (- (/ y z) (/ x z)) (- (/ y z) (/ x z)) (- (+ x (/ y z)) (/ x z)) (- (+ x (/ y z)) (/ x z)) (- (+ x (/ y z)) (/ x z)) 2.355 * * [simplify]: iteration 0: 94 enodes 2.392 * * [simplify]: iteration 1: 230 enodes 2.469 * * [simplify]: iteration 2: 915 enodes 2.780 * * [simplify]: iteration complete: 5001 enodes 2.780 * * [simplify]: Extracting #0: cost 54 inf + 0 2.782 * * [simplify]: Extracting #1: cost 472 inf + 1 2.790 * * [simplify]: Extracting #2: cost 1448 inf + 4650 2.811 * * [simplify]: Extracting #3: cost 2013 inf + 85630 2.883 * * [simplify]: Extracting #4: cost 381 inf + 382567 2.990 * * [simplify]: Extracting #5: cost 13 inf + 428775 3.119 * * [simplify]: Extracting #6: cost 1 inf + 430768 3.203 * * [simplify]: Extracting #7: cost 0 inf + 431021 3.322 * [simplify]: Simplified to: (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)) (- (- y x)) (- z) (/ y z) (/ x z) (* (/ (cbrt (- y x)) (cbrt z)) (/ (cbrt (- y x)) (cbrt z))) (/ (cbrt (- y x)) (cbrt z)) (* (/ (cbrt (- y x)) (sqrt z)) (cbrt (- y x))) (/ (cbrt (- y x)) (sqrt z)) (* (cbrt (- y x)) (cbrt (- y x))) (/ (cbrt (- y x)) z) (/ (sqrt (- y x)) (* (cbrt z) (cbrt z))) (/ (sqrt (- y x)) (cbrt z)) (/ (sqrt (- y x)) (sqrt z)) (/ (sqrt (- y x)) (sqrt z)) (sqrt (- y x)) (/ (sqrt (- y x)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (- y x) (cbrt z)) (/ 1 (sqrt z)) (/ (- y x) (sqrt z)) 1 (/ (- y x) z) (/ (+ (sqrt y) (sqrt x)) (* (cbrt z) (cbrt z))) (/ (- (sqrt y) (sqrt x)) (cbrt z)) (/ (+ (sqrt y) (sqrt x)) (sqrt z)) (/ (- (sqrt y) (sqrt x)) (sqrt z)) (+ (sqrt y) (sqrt x)) (/ (- (sqrt y) (sqrt x)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (- y x) (cbrt z)) (/ 1 (sqrt z)) (/ (- y x) (sqrt z)) 1 (/ (- y x) z) (/ 1 z) (/ z (- y x)) (/ (- y x) (* (cbrt z) (cbrt z))) (/ (- y x) (sqrt z)) (- y x) (/ z (cbrt (- y x))) (/ z (sqrt (- y x))) (/ z (- y x)) (/ z (- (sqrt y) (sqrt x))) (/ z (- y x)) (* (+ (* x (+ x y)) (* y y)) z) (* z (+ y x)) (exp (+ x (/ (- y x) z))) (log (+ x (/ (- y x) z))) (exp (+ x (/ (- y x) z))) (* (cbrt (+ x (/ (- y x) z))) (cbrt (+ x (/ (- y x) z)))) (cbrt (+ x (/ (- y x) z))) (* (+ x (/ (- y x) z)) (* (+ x (/ (- y x) z)) (+ x (/ (- y x) z)))) (sqrt (+ x (/ (- y x) z))) (sqrt (+ x (/ (- y x) z))) (+ (* (/ (- y x) z) (* (/ (- y x) z) (/ (- y x) z))) (* (* x x) x)) (+ (* x x) (* (/ (- y x) z) (- (/ (- y x) z) x))) (* (- x (/ (- y x) z)) (+ x (/ (- y x) z))) (- x (/ (- y x) z)) (+ x (/ (- y x) z)) (+ x (/ y z)) (/ (- y x) z) (/ (- y x) z) (/ (- y x) z) (+ x (/ (- y x) z)) (+ x (/ (- y x) z)) (+ x (/ (- y x) z)) 3.327 * * * [progress]: adding candidates to table 3.607 * * [progress]: iteration 2 / 4 3.607 * * * [progress]: picking best candidate 3.622 * * * * [pick]: Picked # 3.622 * * * [progress]: localizing error 3.641 * * * [progress]: generating rewritten candidates 3.641 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.723 * * * [progress]: generating series expansions 3.723 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.723 * [backup-simplify]: Simplify (+ x (- (/ y z) (/ x z))) into (- (+ x (/ y z)) (/ x z)) 3.723 * [approximate]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in (x y z) around 0 3.723 * [taylor]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in z 3.723 * [taylor]: Taking taylor expansion of (+ x (/ y z)) in z 3.723 * [taylor]: Taking taylor expansion of x in z 3.723 * [backup-simplify]: Simplify x into x 3.723 * [taylor]: Taking taylor expansion of (/ y z) in z 3.723 * [taylor]: Taking taylor expansion of y in z 3.724 * [backup-simplify]: Simplify y into y 3.724 * [taylor]: Taking taylor expansion of z in z 3.724 * [backup-simplify]: Simplify 0 into 0 3.724 * [backup-simplify]: Simplify 1 into 1 3.724 * [backup-simplify]: Simplify (/ y 1) into y 3.724 * [taylor]: Taking taylor expansion of (/ x z) in z 3.724 * [taylor]: Taking taylor expansion of x in z 3.724 * [backup-simplify]: Simplify x into x 3.724 * [taylor]: Taking taylor expansion of z in z 3.724 * [backup-simplify]: Simplify 0 into 0 3.724 * [backup-simplify]: Simplify 1 into 1 3.724 * [backup-simplify]: Simplify (/ x 1) into x 3.724 * [taylor]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in y 3.724 * [taylor]: Taking taylor expansion of (+ x (/ y z)) in y 3.724 * [taylor]: Taking taylor expansion of x in y 3.724 * [backup-simplify]: Simplify x into x 3.724 * [taylor]: Taking taylor expansion of (/ y z) in y 3.724 * [taylor]: Taking taylor expansion of y in y 3.724 * [backup-simplify]: Simplify 0 into 0 3.724 * [backup-simplify]: Simplify 1 into 1 3.724 * [taylor]: Taking taylor expansion of z in y 3.724 * [backup-simplify]: Simplify z into z 3.724 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.724 * [taylor]: Taking taylor expansion of (/ x z) in y 3.724 * [taylor]: Taking taylor expansion of x in y 3.724 * [backup-simplify]: Simplify x into x 3.724 * [taylor]: Taking taylor expansion of z in y 3.724 * [backup-simplify]: Simplify z into z 3.724 * [backup-simplify]: Simplify (/ x z) into (/ x z) 3.724 * [taylor]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in x 3.724 * [taylor]: Taking taylor expansion of (+ x (/ y z)) in x 3.724 * [taylor]: Taking taylor expansion of x in x 3.724 * [backup-simplify]: Simplify 0 into 0 3.724 * [backup-simplify]: Simplify 1 into 1 3.724 * [taylor]: Taking taylor expansion of (/ y z) in x 3.724 * [taylor]: Taking taylor expansion of y in x 3.725 * [backup-simplify]: Simplify y into y 3.725 * [taylor]: Taking taylor expansion of z in x 3.725 * [backup-simplify]: Simplify z into z 3.725 * [backup-simplify]: Simplify (/ y z) into (/ y z) 3.725 * [taylor]: Taking taylor expansion of (/ x z) in x 3.725 * [taylor]: Taking taylor expansion of x in x 3.725 * [backup-simplify]: Simplify 0 into 0 3.725 * [backup-simplify]: Simplify 1 into 1 3.725 * [taylor]: Taking taylor expansion of z in x 3.725 * [backup-simplify]: Simplify z into z 3.725 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.725 * [taylor]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in x 3.725 * [taylor]: Taking taylor expansion of (+ x (/ y z)) in x 3.725 * [taylor]: Taking taylor expansion of x in x 3.725 * [backup-simplify]: Simplify 0 into 0 3.725 * [backup-simplify]: Simplify 1 into 1 3.725 * [taylor]: Taking taylor expansion of (/ y z) in x 3.725 * [taylor]: Taking taylor expansion of y in x 3.725 * [backup-simplify]: Simplify y into y 3.725 * [taylor]: Taking taylor expansion of z in x 3.725 * [backup-simplify]: Simplify z into z 3.725 * [backup-simplify]: Simplify (/ y z) into (/ y z) 3.725 * [taylor]: Taking taylor expansion of (/ x z) in x 3.725 * [taylor]: Taking taylor expansion of x in x 3.725 * [backup-simplify]: Simplify 0 into 0 3.725 * [backup-simplify]: Simplify 1 into 1 3.725 * [taylor]: Taking taylor expansion of z in x 3.725 * [backup-simplify]: Simplify z into z 3.725 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.726 * [backup-simplify]: Simplify (+ 0 (/ y z)) into (/ y z) 3.726 * [backup-simplify]: Simplify (+ (/ y z) 0) into (/ y z) 3.726 * [taylor]: Taking taylor expansion of (/ y z) in y 3.726 * [taylor]: Taking taylor expansion of y in y 3.726 * [backup-simplify]: Simplify 0 into 0 3.726 * [backup-simplify]: Simplify 1 into 1 3.726 * [taylor]: Taking taylor expansion of z in y 3.726 * [backup-simplify]: Simplify z into z 3.726 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.726 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0 3.727 * [backup-simplify]: Simplify (+ 1 0) into 1 3.727 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 3.727 * [backup-simplify]: Simplify (+ 1 (- (/ 1 z))) into (- 1 (/ 1 z)) 3.727 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in y 3.727 * [taylor]: Taking taylor expansion of 1 in y 3.727 * [backup-simplify]: Simplify 1 into 1 3.727 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.727 * [taylor]: Taking taylor expansion of z in y 3.727 * [backup-simplify]: Simplify z into z 3.727 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.727 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 3.727 * [backup-simplify]: Simplify (+ 1 (- (/ 1 z))) into (- 1 (/ 1 z)) 3.727 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z 3.727 * [taylor]: Taking taylor expansion of 1 in z 3.727 * [backup-simplify]: Simplify 1 into 1 3.727 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.727 * [taylor]: Taking taylor expansion of z in z 3.727 * [backup-simplify]: Simplify 0 into 0 3.727 * [backup-simplify]: Simplify 1 into 1 3.728 * [backup-simplify]: Simplify (/ 1 1) into 1 3.728 * [backup-simplify]: Simplify (- 1) into -1 3.729 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.729 * [backup-simplify]: Simplify -1 into -1 3.729 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.729 * [taylor]: Taking taylor expansion of z in z 3.729 * [backup-simplify]: Simplify 0 into 0 3.729 * [backup-simplify]: Simplify 1 into 1 3.729 * [backup-simplify]: Simplify (/ 1 1) into 1 3.729 * [backup-simplify]: Simplify 1 into 1 3.729 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.730 * [backup-simplify]: Simplify (+ 0 0) into 0 3.730 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 3.730 * [backup-simplify]: Simplify (- 0) into 0 3.731 * [backup-simplify]: Simplify (+ 0 0) into 0 3.731 * [taylor]: Taking taylor expansion of 0 in y 3.731 * [backup-simplify]: Simplify 0 into 0 3.731 * [taylor]: Taking taylor expansion of 0 in z 3.731 * [backup-simplify]: Simplify 0 into 0 3.731 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.731 * [backup-simplify]: Simplify (- 0) into 0 3.732 * [backup-simplify]: Simplify (+ 0 0) into 0 3.732 * [taylor]: Taking taylor expansion of 0 in z 3.732 * [backup-simplify]: Simplify 0 into 0 3.732 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 3.732 * [taylor]: Taking taylor expansion of 0 in z 3.732 * [backup-simplify]: Simplify 0 into 0 3.733 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.733 * [backup-simplify]: Simplify (- 0) into 0 3.734 * [backup-simplify]: Simplify (+ 1 0) into 1 3.734 * [backup-simplify]: Simplify 1 into 1 3.734 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 x))) (+ (* 1 (* (/ 1 z) (* y 1))) (* -1 (* (/ 1 z) (* 1 x))))) into (- (+ x (/ y z)) (/ x z)) 3.734 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ (/ 1 y) (/ 1 z)) (/ (/ 1 x) (/ 1 z)))) into (- (+ (/ z y) (/ 1 x)) (/ z x)) 3.734 * [approximate]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in (x y z) around 0 3.734 * [taylor]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in z 3.734 * [taylor]: Taking taylor expansion of (+ (/ z y) (/ 1 x)) in z 3.734 * [taylor]: Taking taylor expansion of (/ z y) in z 3.734 * [taylor]: Taking taylor expansion of z in z 3.734 * [backup-simplify]: Simplify 0 into 0 3.735 * [backup-simplify]: Simplify 1 into 1 3.735 * [taylor]: Taking taylor expansion of y in z 3.735 * [backup-simplify]: Simplify y into y 3.735 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.735 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.735 * [taylor]: Taking taylor expansion of x in z 3.735 * [backup-simplify]: Simplify x into x 3.735 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.735 * [taylor]: Taking taylor expansion of (/ z x) in z 3.735 * [taylor]: Taking taylor expansion of z in z 3.735 * [backup-simplify]: Simplify 0 into 0 3.735 * [backup-simplify]: Simplify 1 into 1 3.735 * [taylor]: Taking taylor expansion of x in z 3.735 * [backup-simplify]: Simplify x into x 3.735 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.735 * [taylor]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in y 3.735 * [taylor]: Taking taylor expansion of (+ (/ z y) (/ 1 x)) in y 3.735 * [taylor]: Taking taylor expansion of (/ z y) in y 3.735 * [taylor]: Taking taylor expansion of z in y 3.735 * [backup-simplify]: Simplify z into z 3.735 * [taylor]: Taking taylor expansion of y in y 3.735 * [backup-simplify]: Simplify 0 into 0 3.735 * [backup-simplify]: Simplify 1 into 1 3.735 * [backup-simplify]: Simplify (/ z 1) into z 3.735 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.735 * [taylor]: Taking taylor expansion of x in y 3.735 * [backup-simplify]: Simplify x into x 3.735 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.735 * [taylor]: Taking taylor expansion of (/ z x) in y 3.735 * [taylor]: Taking taylor expansion of z in y 3.735 * [backup-simplify]: Simplify z into z 3.735 * [taylor]: Taking taylor expansion of x in y 3.735 * [backup-simplify]: Simplify x into x 3.736 * [backup-simplify]: Simplify (/ z x) into (/ z x) 3.736 * [taylor]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in x 3.736 * [taylor]: Taking taylor expansion of (+ (/ z y) (/ 1 x)) in x 3.736 * [taylor]: Taking taylor expansion of (/ z y) in x 3.736 * [taylor]: Taking taylor expansion of z in x 3.736 * [backup-simplify]: Simplify z into z 3.736 * [taylor]: Taking taylor expansion of y in x 3.736 * [backup-simplify]: Simplify y into y 3.736 * [backup-simplify]: Simplify (/ z y) into (/ z y) 3.736 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.736 * [taylor]: Taking taylor expansion of x in x 3.736 * [backup-simplify]: Simplify 0 into 0 3.736 * [backup-simplify]: Simplify 1 into 1 3.736 * [backup-simplify]: Simplify (/ 1 1) into 1 3.736 * [taylor]: Taking taylor expansion of (/ z x) in x 3.737 * [taylor]: Taking taylor expansion of z in x 3.737 * [backup-simplify]: Simplify z into z 3.737 * [taylor]: Taking taylor expansion of x in x 3.737 * [backup-simplify]: Simplify 0 into 0 3.737 * [backup-simplify]: Simplify 1 into 1 3.737 * [backup-simplify]: Simplify (/ z 1) into z 3.737 * [taylor]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in x 3.737 * [taylor]: Taking taylor expansion of (+ (/ z y) (/ 1 x)) in x 3.737 * [taylor]: Taking taylor expansion of (/ z y) in x 3.737 * [taylor]: Taking taylor expansion of z in x 3.737 * [backup-simplify]: Simplify z into z 3.737 * [taylor]: Taking taylor expansion of y in x 3.737 * [backup-simplify]: Simplify y into y 3.737 * [backup-simplify]: Simplify (/ z y) into (/ z y) 3.737 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.737 * [taylor]: Taking taylor expansion of x in x 3.737 * [backup-simplify]: Simplify 0 into 0 3.737 * [backup-simplify]: Simplify 1 into 1 3.737 * [backup-simplify]: Simplify (/ 1 1) into 1 3.738 * [taylor]: Taking taylor expansion of (/ z x) in x 3.738 * [taylor]: Taking taylor expansion of z in x 3.738 * [backup-simplify]: Simplify z into z 3.738 * [taylor]: Taking taylor expansion of x in x 3.738 * [backup-simplify]: Simplify 0 into 0 3.738 * [backup-simplify]: Simplify 1 into 1 3.738 * [backup-simplify]: Simplify (/ z 1) into z 3.738 * [backup-simplify]: Simplify (+ 0 1) into 1 3.738 * [backup-simplify]: Simplify (- z) into (- z) 3.738 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z) 3.738 * [taylor]: Taking taylor expansion of (- 1 z) in y 3.738 * [taylor]: Taking taylor expansion of 1 in y 3.738 * [backup-simplify]: Simplify 1 into 1 3.739 * [taylor]: Taking taylor expansion of z in y 3.739 * [backup-simplify]: Simplify z into z 3.739 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.739 * [backup-simplify]: Simplify (+ (/ z y) 0) into (/ z y) 3.740 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 3.741 * [backup-simplify]: Simplify (- 0) into 0 3.741 * [backup-simplify]: Simplify (+ (/ z y) 0) into (/ z y) 3.741 * [taylor]: Taking taylor expansion of (/ z y) in y 3.741 * [taylor]: Taking taylor expansion of z in y 3.741 * [backup-simplify]: Simplify z into z 3.741 * [taylor]: Taking taylor expansion of y in y 3.741 * [backup-simplify]: Simplify 0 into 0 3.741 * [backup-simplify]: Simplify 1 into 1 3.741 * [backup-simplify]: Simplify (/ z 1) into z 3.741 * [taylor]: Taking taylor expansion of z in z 3.741 * [backup-simplify]: Simplify 0 into 0 3.741 * [backup-simplify]: Simplify 1 into 1 3.741 * [backup-simplify]: Simplify 0 into 0 3.741 * [backup-simplify]: Simplify (- z) into (- z) 3.741 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z) 3.741 * [taylor]: Taking taylor expansion of (- 1 z) in z 3.741 * [taylor]: Taking taylor expansion of 1 in z 3.741 * [backup-simplify]: Simplify 1 into 1 3.742 * [taylor]: Taking taylor expansion of z in z 3.742 * [backup-simplify]: Simplify 0 into 0 3.742 * [backup-simplify]: Simplify 1 into 1 3.742 * [backup-simplify]: Simplify (- 0) into 0 3.742 * [backup-simplify]: Simplify (+ 1 0) into 1 3.742 * [backup-simplify]: Simplify 1 into 1 3.743 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 3.744 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.744 * [backup-simplify]: Simplify (+ 0 0) into 0 3.745 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.745 * [backup-simplify]: Simplify (- 0) into 0 3.746 * [backup-simplify]: Simplify (+ 0 0) into 0 3.746 * [taylor]: Taking taylor expansion of 0 in y 3.746 * [backup-simplify]: Simplify 0 into 0 3.746 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 3.746 * [taylor]: Taking taylor expansion of 0 in z 3.746 * [backup-simplify]: Simplify 0 into 0 3.746 * [backup-simplify]: Simplify 0 into 0 3.747 * [backup-simplify]: Simplify (- 0) into 0 3.747 * [backup-simplify]: Simplify (+ 0 0) into 0 3.747 * [taylor]: Taking taylor expansion of 0 in z 3.747 * [backup-simplify]: Simplify 0 into 0 3.747 * [backup-simplify]: Simplify 0 into 0 3.747 * [backup-simplify]: Simplify 1 into 1 3.747 * [backup-simplify]: Simplify (- 1) into -1 3.747 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.747 * [backup-simplify]: Simplify -1 into -1 3.748 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 z) (* 1 (/ 1 (/ 1 x))))) (+ (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) 1))) (* 1 (* 1 (* 1 (/ 1 (/ 1 x))))))) into (- (+ x (/ y z)) (/ x z)) 3.748 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (- (/ (/ 1 (- y)) (/ 1 (- z))) (/ (/ 1 (- x)) (/ 1 (- z))))) into (- (/ z y) (+ (/ z x) (/ 1 x))) 3.748 * [approximate]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in (x y z) around 0 3.748 * [taylor]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in z 3.748 * [taylor]: Taking taylor expansion of (/ z y) in z 3.748 * [taylor]: Taking taylor expansion of z in z 3.748 * [backup-simplify]: Simplify 0 into 0 3.748 * [backup-simplify]: Simplify 1 into 1 3.748 * [taylor]: Taking taylor expansion of y in z 3.748 * [backup-simplify]: Simplify y into y 3.748 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.748 * [taylor]: Taking taylor expansion of (+ (/ z x) (/ 1 x)) in z 3.748 * [taylor]: Taking taylor expansion of (/ z x) in z 3.748 * [taylor]: Taking taylor expansion of z in z 3.748 * [backup-simplify]: Simplify 0 into 0 3.748 * [backup-simplify]: Simplify 1 into 1 3.748 * [taylor]: Taking taylor expansion of x in z 3.748 * [backup-simplify]: Simplify x into x 3.748 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.749 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.749 * [taylor]: Taking taylor expansion of x in z 3.749 * [backup-simplify]: Simplify x into x 3.749 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.749 * [taylor]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in y 3.749 * [taylor]: Taking taylor expansion of (/ z y) in y 3.749 * [taylor]: Taking taylor expansion of z in y 3.749 * [backup-simplify]: Simplify z into z 3.749 * [taylor]: Taking taylor expansion of y in y 3.749 * [backup-simplify]: Simplify 0 into 0 3.749 * [backup-simplify]: Simplify 1 into 1 3.749 * [backup-simplify]: Simplify (/ z 1) into z 3.749 * [taylor]: Taking taylor expansion of (+ (/ z x) (/ 1 x)) in y 3.749 * [taylor]: Taking taylor expansion of (/ z x) in y 3.749 * [taylor]: Taking taylor expansion of z in y 3.749 * [backup-simplify]: Simplify z into z 3.749 * [taylor]: Taking taylor expansion of x in y 3.749 * [backup-simplify]: Simplify x into x 3.749 * [backup-simplify]: Simplify (/ z x) into (/ z x) 3.749 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.749 * [taylor]: Taking taylor expansion of x in y 3.749 * [backup-simplify]: Simplify x into x 3.749 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.749 * [taylor]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in x 3.749 * [taylor]: Taking taylor expansion of (/ z y) in x 3.749 * [taylor]: Taking taylor expansion of z in x 3.749 * [backup-simplify]: Simplify z into z 3.749 * [taylor]: Taking taylor expansion of y in x 3.749 * [backup-simplify]: Simplify y into y 3.749 * [backup-simplify]: Simplify (/ z y) into (/ z y) 3.749 * [taylor]: Taking taylor expansion of (+ (/ z x) (/ 1 x)) in x 3.749 * [taylor]: Taking taylor expansion of (/ z x) in x 3.749 * [taylor]: Taking taylor expansion of z in x 3.749 * [backup-simplify]: Simplify z into z 3.749 * [taylor]: Taking taylor expansion of x in x 3.749 * [backup-simplify]: Simplify 0 into 0 3.749 * [backup-simplify]: Simplify 1 into 1 3.749 * [backup-simplify]: Simplify (/ z 1) into z 3.749 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.749 * [taylor]: Taking taylor expansion of x in x 3.749 * [backup-simplify]: Simplify 0 into 0 3.749 * [backup-simplify]: Simplify 1 into 1 3.750 * [backup-simplify]: Simplify (/ 1 1) into 1 3.750 * [taylor]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in x 3.750 * [taylor]: Taking taylor expansion of (/ z y) in x 3.750 * [taylor]: Taking taylor expansion of z in x 3.750 * [backup-simplify]: Simplify z into z 3.750 * [taylor]: Taking taylor expansion of y in x 3.750 * [backup-simplify]: Simplify y into y 3.750 * [backup-simplify]: Simplify (/ z y) into (/ z y) 3.750 * [taylor]: Taking taylor expansion of (+ (/ z x) (/ 1 x)) in x 3.750 * [taylor]: Taking taylor expansion of (/ z x) in x 3.750 * [taylor]: Taking taylor expansion of z in x 3.750 * [backup-simplify]: Simplify z into z 3.750 * [taylor]: Taking taylor expansion of x in x 3.750 * [backup-simplify]: Simplify 0 into 0 3.750 * [backup-simplify]: Simplify 1 into 1 3.750 * [backup-simplify]: Simplify (/ z 1) into z 3.750 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.750 * [taylor]: Taking taylor expansion of x in x 3.750 * [backup-simplify]: Simplify 0 into 0 3.750 * [backup-simplify]: Simplify 1 into 1 3.750 * [backup-simplify]: Simplify (/ 1 1) into 1 3.750 * [backup-simplify]: Simplify (+ z 1) into (+ z 1) 3.750 * [backup-simplify]: Simplify (- (+ z 1)) into (- (+ z 1)) 3.750 * [backup-simplify]: Simplify (+ 0 (- (+ z 1))) into (- (+ z 1)) 3.750 * [taylor]: Taking taylor expansion of (- (+ z 1)) in y 3.750 * [taylor]: Taking taylor expansion of (+ z 1) in y 3.750 * [taylor]: Taking taylor expansion of z in y 3.750 * [backup-simplify]: Simplify z into z 3.750 * [taylor]: Taking taylor expansion of 1 in y 3.750 * [backup-simplify]: Simplify 1 into 1 3.751 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 3.751 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.752 * [backup-simplify]: Simplify (+ 0 0) into 0 3.752 * [backup-simplify]: Simplify (- 0) into 0 3.752 * [backup-simplify]: Simplify (+ (/ z y) 0) into (/ z y) 3.752 * [taylor]: Taking taylor expansion of (/ z y) in y 3.752 * [taylor]: Taking taylor expansion of z in y 3.752 * [backup-simplify]: Simplify z into z 3.752 * [taylor]: Taking taylor expansion of y in y 3.752 * [backup-simplify]: Simplify 0 into 0 3.752 * [backup-simplify]: Simplify 1 into 1 3.752 * [backup-simplify]: Simplify (/ z 1) into z 3.752 * [taylor]: Taking taylor expansion of z in z 3.752 * [backup-simplify]: Simplify 0 into 0 3.752 * [backup-simplify]: Simplify 1 into 1 3.752 * [backup-simplify]: Simplify 0 into 0 3.752 * [backup-simplify]: Simplify (+ z 1) into (+ z 1) 3.752 * [backup-simplify]: Simplify (- (+ z 1)) into (- (+ z 1)) 3.752 * [taylor]: Taking taylor expansion of (- (+ z 1)) in z 3.752 * [taylor]: Taking taylor expansion of (+ z 1) in z 3.752 * [taylor]: Taking taylor expansion of z in z 3.752 * [backup-simplify]: Simplify 0 into 0 3.752 * [backup-simplify]: Simplify 1 into 1 3.752 * [taylor]: Taking taylor expansion of 1 in z 3.752 * [backup-simplify]: Simplify 1 into 1 3.753 * [backup-simplify]: Simplify (+ 0 1) into 1 3.753 * [backup-simplify]: Simplify (- 1) into -1 3.753 * [backup-simplify]: Simplify -1 into -1 3.753 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 3.754 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.754 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.755 * [backup-simplify]: Simplify (+ 0 0) into 0 3.755 * [backup-simplify]: Simplify (- 0) into 0 3.755 * [backup-simplify]: Simplify (+ 0 0) into 0 3.755 * [taylor]: Taking taylor expansion of 0 in y 3.755 * [backup-simplify]: Simplify 0 into 0 3.756 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 3.756 * [taylor]: Taking taylor expansion of 0 in z 3.756 * [backup-simplify]: Simplify 0 into 0 3.756 * [backup-simplify]: Simplify 0 into 0 3.756 * [backup-simplify]: Simplify (+ 0 0) into 0 3.756 * [backup-simplify]: Simplify (- 0) into 0 3.756 * [taylor]: Taking taylor expansion of 0 in z 3.756 * [backup-simplify]: Simplify 0 into 0 3.756 * [backup-simplify]: Simplify 0 into 0 3.756 * [backup-simplify]: Simplify 1 into 1 3.756 * [backup-simplify]: Simplify (+ 1 0) into 1 3.757 * [backup-simplify]: Simplify (- 1) into -1 3.757 * [backup-simplify]: Simplify -1 into -1 3.757 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (- z)) (* 1 (/ 1 (/ 1 (- x)))))) (+ (* 1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) 1))) (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x)))))))) into (- (+ x (/ y z)) (/ x z)) 3.757 * * * [progress]: simplifying candidates 3.757 * [simplify]: Simplifying: (* (exp x) (/ (exp (/ y z)) (exp (/ x z)))) (* (exp x) (exp (- (/ y z) (/ x z)))) (log (+ x (- (/ y z) (/ x z)))) (exp (+ x (- (/ y z) (/ x z)))) (* (cbrt (+ x (- (/ y z) (/ x z)))) (cbrt (+ x (- (/ y z) (/ x z))))) (cbrt (+ x (- (/ y z) (/ x z)))) (* (* (+ x (- (/ y z) (/ x z))) (+ x (- (/ y z) (/ x z)))) (+ x (- (/ y z) (/ x z)))) (sqrt (+ x (- (/ y z) (/ x z)))) (sqrt (+ x (- (/ y z) (/ x z)))) (+ (pow x 3) (pow (- (/ y z) (/ x z)) 3)) (+ (* x x) (- (* (- (/ y z) (/ x z)) (- (/ y z) (/ x z))) (* x (- (/ y z) (/ x z))))) (- (* x x) (* (- (/ y z) (/ x z)) (- (/ y z) (/ x z)))) (- x (- (/ y z) (/ x z))) (+ x (- (/ y z) (/ x z))) (+ x (- (/ y z) (/ x z))) (+ x (/ y z)) (+ x (/ y z)) (+ x (/ y z)) (- (+ x (/ y z)) (/ x z)) (- (+ x (/ y z)) (/ x z)) (- (+ x (/ y z)) (/ x z)) 3.758 * * [simplify]: iteration 0: 34 enodes 3.763 * * [simplify]: iteration 1: 82 enodes 3.779 * * [simplify]: iteration 2: 246 enodes 3.970 * * [simplify]: iteration 3: 1341 enodes 4.390 * * [simplify]: iteration complete: 5002 enodes 4.390 * * [simplify]: Extracting #0: cost 12 inf + 0 4.390 * * [simplify]: Extracting #1: cost 166 inf + 0 4.393 * * [simplify]: Extracting #2: cost 1088 inf + 255 4.399 * * [simplify]: Extracting #3: cost 2116 inf + 2522 4.439 * * [simplify]: Extracting #4: cost 1589 inf + 116929 4.540 * * [simplify]: Extracting #5: cost 293 inf + 417823 4.648 * * [simplify]: Extracting #6: cost 16 inf + 492795 4.807 * * [simplify]: Extracting #7: cost 0 inf + 497369 4.931 * [simplify]: Simplified to: (exp (+ (/ y z) (- x (/ x z)))) (exp (+ (/ y z) (- x (/ x z)))) (log (+ (/ y z) (- x (/ x z)))) (exp (+ (/ y z) (- x (/ x z)))) (* (cbrt (+ (/ y z) (- x (/ x z)))) (cbrt (+ (/ y z) (- x (/ x z))))) (cbrt (+ (/ y z) (- x (/ x z)))) (* (* (+ (/ y z) (- x (/ x z))) (+ (/ y z) (- x (/ x z)))) (+ (/ y z) (- x (/ x z)))) (sqrt (+ (/ y z) (- x (/ x z)))) (sqrt (+ (/ y z) (- x (/ x z)))) (+ (* (- (/ y z) (/ x z)) (* (- (/ y z) (/ x z)) (- (/ y z) (/ x z)))) (* (* x x) x)) (+ (* x x) (* (- (- (/ y z) (/ x z)) x) (- (/ y z) (/ x z)))) (- (* x x) (* (- (/ y z) (/ x z)) (- (/ y z) (/ x z)))) (- x (- (/ y z) (/ x z))) (+ (/ y z) (- x (/ x z))) (+ (/ y z) (- x (/ x z))) (+ x (/ y z)) (+ x (/ y z)) (+ x (/ y z)) (+ (/ y z) (- x (/ x z))) (+ (/ y z) (- x (/ x z))) (+ (/ y z) (- x (/ x z))) 4.933 * * * [progress]: adding candidates to table 4.999 * * [progress]: iteration 3 / 4 4.999 * * * [progress]: picking best candidate 5.003 * * * * [pick]: Picked # 5.003 * * * [progress]: localizing error 5.013 * * * [progress]: generating rewritten candidates 5.013 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 5.060 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 5.073 * * * [progress]: generating series expansions 5.073 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 5.074 * [backup-simplify]: Simplify (* (- y x) (/ 1 z)) into (/ (- y x) z) 5.074 * [approximate]: Taking taylor expansion of (/ (- y x) z) in (y x z) around 0 5.074 * [taylor]: Taking taylor expansion of (/ (- y x) z) in z 5.074 * [taylor]: Taking taylor expansion of (- y x) in z 5.074 * [taylor]: Taking taylor expansion of y in z 5.074 * [backup-simplify]: Simplify y into y 5.074 * [taylor]: Taking taylor expansion of x in z 5.074 * [backup-simplify]: Simplify x into x 5.074 * [taylor]: Taking taylor expansion of z in z 5.074 * [backup-simplify]: Simplify 0 into 0 5.074 * [backup-simplify]: Simplify 1 into 1 5.074 * [backup-simplify]: Simplify (- x) into (- x) 5.074 * [backup-simplify]: Simplify (+ y (- x)) into (- y x) 5.074 * [backup-simplify]: Simplify (/ (- y x) 1) into (- y x) 5.074 * [taylor]: Taking taylor expansion of (/ (- y x) z) in x 5.074 * [taylor]: Taking taylor expansion of (- y x) in x 5.074 * [taylor]: Taking taylor expansion of y in x 5.074 * [backup-simplify]: Simplify y into y 5.074 * [taylor]: Taking taylor expansion of x in x 5.074 * [backup-simplify]: Simplify 0 into 0 5.074 * [backup-simplify]: Simplify 1 into 1 5.074 * [taylor]: Taking taylor expansion of z in x 5.074 * [backup-simplify]: Simplify z into z 5.075 * [backup-simplify]: Simplify (- 0) into 0 5.075 * [backup-simplify]: Simplify (+ y 0) into y 5.075 * [backup-simplify]: Simplify (/ y z) into (/ y z) 5.075 * [taylor]: Taking taylor expansion of (/ (- y x) z) in y 5.075 * [taylor]: Taking taylor expansion of (- y x) in y 5.075 * [taylor]: Taking taylor expansion of y in y 5.075 * [backup-simplify]: Simplify 0 into 0 5.075 * [backup-simplify]: Simplify 1 into 1 5.075 * [taylor]: Taking taylor expansion of x in y 5.075 * [backup-simplify]: Simplify x into x 5.075 * [taylor]: Taking taylor expansion of z in y 5.075 * [backup-simplify]: Simplify z into z 5.075 * [backup-simplify]: Simplify (- x) into (- x) 5.075 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 5.075 * [backup-simplify]: Simplify (/ (- x) z) into (* -1 (/ x z)) 5.075 * [taylor]: Taking taylor expansion of (/ (- y x) z) in y 5.075 * [taylor]: Taking taylor expansion of (- y x) in y 5.076 * [taylor]: Taking taylor expansion of y in y 5.076 * [backup-simplify]: Simplify 0 into 0 5.076 * [backup-simplify]: Simplify 1 into 1 5.076 * [taylor]: Taking taylor expansion of x in y 5.076 * [backup-simplify]: Simplify x into x 5.076 * [taylor]: Taking taylor expansion of z in y 5.076 * [backup-simplify]: Simplify z into z 5.076 * [backup-simplify]: Simplify (- x) into (- x) 5.076 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 5.076 * [backup-simplify]: Simplify (/ (- x) z) into (* -1 (/ x z)) 5.076 * [taylor]: Taking taylor expansion of (* -1 (/ x z)) in x 5.076 * [taylor]: Taking taylor expansion of -1 in x 5.076 * [backup-simplify]: Simplify -1 into -1 5.076 * [taylor]: Taking taylor expansion of (/ x z) in x 5.076 * [taylor]: Taking taylor expansion of x in x 5.076 * [backup-simplify]: Simplify 0 into 0 5.076 * [backup-simplify]: Simplify 1 into 1 5.076 * [taylor]: Taking taylor expansion of z in x 5.076 * [backup-simplify]: Simplify z into z 5.076 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.077 * [backup-simplify]: Simplify (- 0) into 0 5.077 * [backup-simplify]: Simplify (+ 1 0) into 1 5.077 * [backup-simplify]: Simplify (- (/ 1 z) (+ (* (* -1 (/ x z)) (/ 0 z)))) into (/ 1 z) 5.077 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.077 * [taylor]: Taking taylor expansion of z in x 5.077 * [backup-simplify]: Simplify z into z 5.077 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.077 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.077 * [taylor]: Taking taylor expansion of z in z 5.077 * [backup-simplify]: Simplify 0 into 0 5.078 * [backup-simplify]: Simplify 1 into 1 5.078 * [backup-simplify]: Simplify (/ 1 1) into 1 5.078 * [backup-simplify]: Simplify 1 into 1 5.078 * [backup-simplify]: Simplify (* -1 (/ 1 z)) into (/ -1 z) 5.078 * [taylor]: Taking taylor expansion of (/ -1 z) in z 5.078 * [taylor]: Taking taylor expansion of -1 in z 5.078 * [backup-simplify]: Simplify -1 into -1 5.078 * [taylor]: Taking taylor expansion of z in z 5.078 * [backup-simplify]: Simplify 0 into 0 5.078 * [backup-simplify]: Simplify 1 into 1 5.079 * [backup-simplify]: Simplify (/ -1 1) into -1 5.079 * [backup-simplify]: Simplify -1 into -1 5.079 * [backup-simplify]: Simplify (- 0) into 0 5.079 * [backup-simplify]: Simplify (+ 0 0) into 0 5.080 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (/ x z)) (/ 0 z)) (* (/ 1 z) (/ 0 z)))) into 0 5.080 * [taylor]: Taking taylor expansion of 0 in x 5.080 * [backup-simplify]: Simplify 0 into 0 5.080 * [taylor]: Taking taylor expansion of 0 in z 5.080 * [backup-simplify]: Simplify 0 into 0 5.080 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.080 * [taylor]: Taking taylor expansion of 0 in z 5.080 * [backup-simplify]: Simplify 0 into 0 5.080 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 5.081 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 z))) into 0 5.081 * [taylor]: Taking taylor expansion of 0 in z 5.081 * [backup-simplify]: Simplify 0 into 0 5.081 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.081 * [backup-simplify]: Simplify 0 into 0 5.082 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.082 * [backup-simplify]: Simplify 0 into 0 5.083 * [backup-simplify]: Simplify (- 0) into 0 5.083 * [backup-simplify]: Simplify (+ 0 0) into 0 5.083 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (/ x z)) (/ 0 z)) (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.083 * [taylor]: Taking taylor expansion of 0 in x 5.083 * [backup-simplify]: Simplify 0 into 0 5.083 * [taylor]: Taking taylor expansion of 0 in z 5.083 * [backup-simplify]: Simplify 0 into 0 5.084 * [taylor]: Taking taylor expansion of 0 in z 5.084 * [backup-simplify]: Simplify 0 into 0 5.084 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.084 * [taylor]: Taking taylor expansion of 0 in z 5.084 * [backup-simplify]: Simplify 0 into 0 5.084 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.085 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0 5.085 * [taylor]: Taking taylor expansion of 0 in z 5.085 * [backup-simplify]: Simplify 0 into 0 5.085 * [backup-simplify]: Simplify 0 into 0 5.085 * [backup-simplify]: Simplify 0 into 0 5.085 * [backup-simplify]: Simplify 0 into 0 5.086 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.086 * [backup-simplify]: Simplify 0 into 0 5.087 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 z) (* x 1))) (* 1 (* (/ 1 z) (* 1 y)))) into (- (/ y z) (/ x z)) 5.087 * [backup-simplify]: Simplify (* (- (/ 1 y) (/ 1 x)) (/ 1 (/ 1 z))) into (* (- (/ 1 y) (/ 1 x)) z) 5.087 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0 5.087 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in z 5.087 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 5.087 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.087 * [taylor]: Taking taylor expansion of y in z 5.087 * [backup-simplify]: Simplify y into y 5.087 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.087 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.087 * [taylor]: Taking taylor expansion of x in z 5.087 * [backup-simplify]: Simplify x into x 5.087 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.087 * [taylor]: Taking taylor expansion of z in z 5.087 * [backup-simplify]: Simplify 0 into 0 5.087 * [backup-simplify]: Simplify 1 into 1 5.087 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in x 5.087 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 5.087 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.087 * [taylor]: Taking taylor expansion of y in x 5.087 * [backup-simplify]: Simplify y into y 5.087 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.087 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.087 * [taylor]: Taking taylor expansion of x in x 5.087 * [backup-simplify]: Simplify 0 into 0 5.087 * [backup-simplify]: Simplify 1 into 1 5.088 * [backup-simplify]: Simplify (/ 1 1) into 1 5.088 * [taylor]: Taking taylor expansion of z in x 5.088 * [backup-simplify]: Simplify z into z 5.088 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in y 5.088 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 5.088 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.088 * [taylor]: Taking taylor expansion of y in y 5.088 * [backup-simplify]: Simplify 0 into 0 5.088 * [backup-simplify]: Simplify 1 into 1 5.088 * [backup-simplify]: Simplify (/ 1 1) into 1 5.088 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.089 * [taylor]: Taking taylor expansion of x in y 5.089 * [backup-simplify]: Simplify x into x 5.089 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.089 * [taylor]: Taking taylor expansion of z in y 5.089 * [backup-simplify]: Simplify z into z 5.089 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in y 5.089 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 5.089 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.089 * [taylor]: Taking taylor expansion of y in y 5.089 * [backup-simplify]: Simplify 0 into 0 5.089 * [backup-simplify]: Simplify 1 into 1 5.089 * [backup-simplify]: Simplify (/ 1 1) into 1 5.089 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.089 * [taylor]: Taking taylor expansion of x in y 5.089 * [backup-simplify]: Simplify x into x 5.089 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.089 * [taylor]: Taking taylor expansion of z in y 5.089 * [backup-simplify]: Simplify z into z 5.090 * [backup-simplify]: Simplify (+ 1 0) into 1 5.090 * [backup-simplify]: Simplify (* 1 z) into z 5.090 * [taylor]: Taking taylor expansion of z in x 5.090 * [backup-simplify]: Simplify z into z 5.091 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.091 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 5.091 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 5.091 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) z)) into (- (/ z x)) 5.091 * [taylor]: Taking taylor expansion of (- (/ z x)) in x 5.091 * [taylor]: Taking taylor expansion of (/ z x) in x 5.091 * [taylor]: Taking taylor expansion of z in x 5.092 * [backup-simplify]: Simplify z into z 5.092 * [taylor]: Taking taylor expansion of x in x 5.092 * [backup-simplify]: Simplify 0 into 0 5.092 * [backup-simplify]: Simplify 1 into 1 5.092 * [backup-simplify]: Simplify (/ z 1) into z 5.092 * [backup-simplify]: Simplify (- z) into (- z) 5.092 * [taylor]: Taking taylor expansion of (- z) in z 5.092 * [taylor]: Taking taylor expansion of z in z 5.092 * [backup-simplify]: Simplify 0 into 0 5.092 * [backup-simplify]: Simplify 1 into 1 5.092 * [backup-simplify]: Simplify (- 0) into 0 5.092 * [backup-simplify]: Simplify 0 into 0 5.092 * [taylor]: Taking taylor expansion of z in z 5.092 * [backup-simplify]: Simplify 0 into 0 5.092 * [backup-simplify]: Simplify 1 into 1 5.092 * [backup-simplify]: Simplify 0 into 0 5.093 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.093 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 5.094 * [backup-simplify]: Simplify (- 0) into 0 5.094 * [backup-simplify]: Simplify (+ 0 0) into 0 5.095 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 z))) into 0 5.095 * [taylor]: Taking taylor expansion of 0 in x 5.095 * [backup-simplify]: Simplify 0 into 0 5.096 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 5.096 * [backup-simplify]: Simplify (- 0) into 0 5.096 * [taylor]: Taking taylor expansion of 0 in z 5.096 * [backup-simplify]: Simplify 0 into 0 5.096 * [backup-simplify]: Simplify 0 into 0 5.096 * [taylor]: Taking taylor expansion of 0 in z 5.096 * [backup-simplify]: Simplify 0 into 0 5.096 * [backup-simplify]: Simplify 0 into 0 5.097 * [backup-simplify]: Simplify (- 1) into -1 5.097 * [backup-simplify]: Simplify -1 into -1 5.097 * [backup-simplify]: Simplify 1 into 1 5.098 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.098 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.098 * [backup-simplify]: Simplify (- 0) into 0 5.098 * [backup-simplify]: Simplify (+ 0 0) into 0 5.099 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (+ (* 0 0) (* 0 z)))) into 0 5.099 * [taylor]: Taking taylor expansion of 0 in x 5.099 * [backup-simplify]: Simplify 0 into 0 5.099 * [taylor]: Taking taylor expansion of 0 in z 5.099 * [backup-simplify]: Simplify 0 into 0 5.099 * [backup-simplify]: Simplify 0 into 0 5.101 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.101 * [backup-simplify]: Simplify (- 0) into 0 5.101 * [taylor]: Taking taylor expansion of 0 in z 5.101 * [backup-simplify]: Simplify 0 into 0 5.101 * [backup-simplify]: Simplify 0 into 0 5.101 * [taylor]: Taking taylor expansion of 0 in z 5.101 * [backup-simplify]: Simplify 0 into 0 5.101 * [backup-simplify]: Simplify 0 into 0 5.101 * [backup-simplify]: Simplify 0 into 0 5.101 * [backup-simplify]: Simplify 0 into 0 5.102 * [backup-simplify]: Simplify (- 0) into 0 5.102 * [backup-simplify]: Simplify 0 into 0 5.102 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 z) (* 1 (/ 1 (/ 1 y))))) (* -1 (* (/ 1 z) (* (/ 1 (/ 1 x)) 1)))) into (- (/ y z) (/ x z)) 5.102 * [backup-simplify]: Simplify (* (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (/ 1 (- z)))) into (* -1 (* z (- (/ 1 x) (/ 1 y)))) 5.102 * [approximate]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in (y x z) around 0 5.102 * [taylor]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in z 5.102 * [taylor]: Taking taylor expansion of -1 in z 5.103 * [backup-simplify]: Simplify -1 into -1 5.103 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in z 5.103 * [taylor]: Taking taylor expansion of z in z 5.103 * [backup-simplify]: Simplify 0 into 0 5.103 * [backup-simplify]: Simplify 1 into 1 5.103 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 5.103 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.103 * [taylor]: Taking taylor expansion of x in z 5.103 * [backup-simplify]: Simplify x into x 5.103 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.103 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.103 * [taylor]: Taking taylor expansion of y in z 5.103 * [backup-simplify]: Simplify y into y 5.103 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.103 * [taylor]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in x 5.103 * [taylor]: Taking taylor expansion of -1 in x 5.103 * [backup-simplify]: Simplify -1 into -1 5.103 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in x 5.103 * [taylor]: Taking taylor expansion of z in x 5.103 * [backup-simplify]: Simplify z into z 5.103 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 5.103 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.103 * [taylor]: Taking taylor expansion of x in x 5.103 * [backup-simplify]: Simplify 0 into 0 5.103 * [backup-simplify]: Simplify 1 into 1 5.104 * [backup-simplify]: Simplify (/ 1 1) into 1 5.104 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.104 * [taylor]: Taking taylor expansion of y in x 5.104 * [backup-simplify]: Simplify y into y 5.104 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.104 * [taylor]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in y 5.104 * [taylor]: Taking taylor expansion of -1 in y 5.104 * [backup-simplify]: Simplify -1 into -1 5.104 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in y 5.104 * [taylor]: Taking taylor expansion of z in y 5.104 * [backup-simplify]: Simplify z into z 5.104 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 5.104 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.104 * [taylor]: Taking taylor expansion of x in y 5.104 * [backup-simplify]: Simplify x into x 5.104 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.104 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.104 * [taylor]: Taking taylor expansion of y in y 5.104 * [backup-simplify]: Simplify 0 into 0 5.104 * [backup-simplify]: Simplify 1 into 1 5.104 * [backup-simplify]: Simplify (/ 1 1) into 1 5.105 * [taylor]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in y 5.105 * [taylor]: Taking taylor expansion of -1 in y 5.105 * [backup-simplify]: Simplify -1 into -1 5.105 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in y 5.105 * [taylor]: Taking taylor expansion of z in y 5.105 * [backup-simplify]: Simplify z into z 5.105 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 5.105 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.105 * [taylor]: Taking taylor expansion of x in y 5.105 * [backup-simplify]: Simplify x into x 5.105 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.105 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.105 * [taylor]: Taking taylor expansion of y in y 5.105 * [backup-simplify]: Simplify 0 into 0 5.105 * [backup-simplify]: Simplify 1 into 1 5.105 * [backup-simplify]: Simplify (/ 1 1) into 1 5.106 * [backup-simplify]: Simplify (- 1) into -1 5.106 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.106 * [backup-simplify]: Simplify (* z -1) into (* -1 z) 5.106 * [backup-simplify]: Simplify (* -1 (* -1 z)) into z 5.106 * [taylor]: Taking taylor expansion of z in x 5.106 * [backup-simplify]: Simplify z into z 5.107 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.107 * [backup-simplify]: Simplify (- 0) into 0 5.107 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 5.108 * [backup-simplify]: Simplify (+ (* z (/ 1 x)) (* 0 -1)) into (/ z x) 5.108 * [backup-simplify]: Simplify (+ (* -1 (/ z x)) (* 0 (* -1 z))) into (- (/ z x)) 5.108 * [taylor]: Taking taylor expansion of (- (/ z x)) in x 5.108 * [taylor]: Taking taylor expansion of (/ z x) in x 5.108 * [taylor]: Taking taylor expansion of z in x 5.108 * [backup-simplify]: Simplify z into z 5.108 * [taylor]: Taking taylor expansion of x in x 5.108 * [backup-simplify]: Simplify 0 into 0 5.108 * [backup-simplify]: Simplify 1 into 1 5.108 * [backup-simplify]: Simplify (/ z 1) into z 5.108 * [backup-simplify]: Simplify (- z) into (- z) 5.108 * [taylor]: Taking taylor expansion of (- z) in z 5.108 * [taylor]: Taking taylor expansion of z in z 5.108 * [backup-simplify]: Simplify 0 into 0 5.108 * [backup-simplify]: Simplify 1 into 1 5.109 * [backup-simplify]: Simplify (- 0) into 0 5.109 * [backup-simplify]: Simplify 0 into 0 5.109 * [taylor]: Taking taylor expansion of z in z 5.109 * [backup-simplify]: Simplify 0 into 0 5.109 * [backup-simplify]: Simplify 1 into 1 5.109 * [backup-simplify]: Simplify 0 into 0 5.109 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 5.110 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.110 * [backup-simplify]: Simplify (- 0) into 0 5.111 * [backup-simplify]: Simplify (+ 0 0) into 0 5.111 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 (/ 1 x)) (* 0 -1))) into 0 5.112 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ z x)) (* 0 (* -1 z)))) into 0 5.112 * [taylor]: Taking taylor expansion of 0 in x 5.112 * [backup-simplify]: Simplify 0 into 0 5.112 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 5.113 * [backup-simplify]: Simplify (- 0) into 0 5.113 * [taylor]: Taking taylor expansion of 0 in z 5.113 * [backup-simplify]: Simplify 0 into 0 5.113 * [backup-simplify]: Simplify 0 into 0 5.113 * [taylor]: Taking taylor expansion of 0 in z 5.113 * [backup-simplify]: Simplify 0 into 0 5.113 * [backup-simplify]: Simplify 0 into 0 5.113 * [backup-simplify]: Simplify (- 1) into -1 5.113 * [backup-simplify]: Simplify -1 into -1 5.114 * [backup-simplify]: Simplify 1 into 1 5.114 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.115 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.115 * [backup-simplify]: Simplify (- 0) into 0 5.115 * [backup-simplify]: Simplify (+ 0 0) into 0 5.116 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 (/ 1 x)) (* 0 -1)))) into 0 5.117 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ z x)) (* 0 (* -1 z))))) into 0 5.117 * [taylor]: Taking taylor expansion of 0 in x 5.117 * [backup-simplify]: Simplify 0 into 0 5.117 * [taylor]: Taking taylor expansion of 0 in z 5.117 * [backup-simplify]: Simplify 0 into 0 5.117 * [backup-simplify]: Simplify 0 into 0 5.119 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.119 * [backup-simplify]: Simplify (- 0) into 0 5.119 * [taylor]: Taking taylor expansion of 0 in z 5.119 * [backup-simplify]: Simplify 0 into 0 5.119 * [backup-simplify]: Simplify 0 into 0 5.119 * [taylor]: Taking taylor expansion of 0 in z 5.119 * [backup-simplify]: Simplify 0 into 0 5.119 * [backup-simplify]: Simplify 0 into 0 5.119 * [backup-simplify]: Simplify 0 into 0 5.119 * [backup-simplify]: Simplify 0 into 0 5.120 * [backup-simplify]: Simplify (- 0) into 0 5.120 * [backup-simplify]: Simplify 0 into 0 5.120 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- z)) (* 1 (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) 1)))) into (- (/ y z) (/ x z)) 5.120 * * * * [progress]: [ 2 / 2 ] generating series at (2) 5.120 * [backup-simplify]: Simplify (+ x (* (- y x) (/ 1 z))) into (- (+ x (/ y z)) (/ x z)) 5.120 * [approximate]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in (x y z) around 0 5.121 * [taylor]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in z 5.121 * [taylor]: Taking taylor expansion of (+ x (/ y z)) in z 5.121 * [taylor]: Taking taylor expansion of x in z 5.121 * [backup-simplify]: Simplify x into x 5.121 * [taylor]: Taking taylor expansion of (/ y z) in z 5.121 * [taylor]: Taking taylor expansion of y in z 5.121 * [backup-simplify]: Simplify y into y 5.121 * [taylor]: Taking taylor expansion of z in z 5.121 * [backup-simplify]: Simplify 0 into 0 5.121 * [backup-simplify]: Simplify 1 into 1 5.121 * [backup-simplify]: Simplify (/ y 1) into y 5.121 * [taylor]: Taking taylor expansion of (/ x z) in z 5.121 * [taylor]: Taking taylor expansion of x in z 5.121 * [backup-simplify]: Simplify x into x 5.121 * [taylor]: Taking taylor expansion of z in z 5.121 * [backup-simplify]: Simplify 0 into 0 5.121 * [backup-simplify]: Simplify 1 into 1 5.121 * [backup-simplify]: Simplify (/ x 1) into x 5.121 * [taylor]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in y 5.121 * [taylor]: Taking taylor expansion of (+ x (/ y z)) in y 5.121 * [taylor]: Taking taylor expansion of x in y 5.121 * [backup-simplify]: Simplify x into x 5.121 * [taylor]: Taking taylor expansion of (/ y z) in y 5.121 * [taylor]: Taking taylor expansion of y in y 5.121 * [backup-simplify]: Simplify 0 into 0 5.121 * [backup-simplify]: Simplify 1 into 1 5.121 * [taylor]: Taking taylor expansion of z in y 5.121 * [backup-simplify]: Simplify z into z 5.121 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.121 * [taylor]: Taking taylor expansion of (/ x z) in y 5.121 * [taylor]: Taking taylor expansion of x in y 5.121 * [backup-simplify]: Simplify x into x 5.121 * [taylor]: Taking taylor expansion of z in y 5.121 * [backup-simplify]: Simplify z into z 5.121 * [backup-simplify]: Simplify (/ x z) into (/ x z) 5.122 * [taylor]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in x 5.122 * [taylor]: Taking taylor expansion of (+ x (/ y z)) in x 5.122 * [taylor]: Taking taylor expansion of x in x 5.122 * [backup-simplify]: Simplify 0 into 0 5.122 * [backup-simplify]: Simplify 1 into 1 5.122 * [taylor]: Taking taylor expansion of (/ y z) in x 5.122 * [taylor]: Taking taylor expansion of y in x 5.122 * [backup-simplify]: Simplify y into y 5.122 * [taylor]: Taking taylor expansion of z in x 5.122 * [backup-simplify]: Simplify z into z 5.122 * [backup-simplify]: Simplify (/ y z) into (/ y z) 5.122 * [taylor]: Taking taylor expansion of (/ x z) in x 5.122 * [taylor]: Taking taylor expansion of x in x 5.122 * [backup-simplify]: Simplify 0 into 0 5.122 * [backup-simplify]: Simplify 1 into 1 5.122 * [taylor]: Taking taylor expansion of z in x 5.122 * [backup-simplify]: Simplify z into z 5.122 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.122 * [taylor]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in x 5.122 * [taylor]: Taking taylor expansion of (+ x (/ y z)) in x 5.122 * [taylor]: Taking taylor expansion of x in x 5.122 * [backup-simplify]: Simplify 0 into 0 5.122 * [backup-simplify]: Simplify 1 into 1 5.122 * [taylor]: Taking taylor expansion of (/ y z) in x 5.122 * [taylor]: Taking taylor expansion of y in x 5.122 * [backup-simplify]: Simplify y into y 5.122 * [taylor]: Taking taylor expansion of z in x 5.122 * [backup-simplify]: Simplify z into z 5.122 * [backup-simplify]: Simplify (/ y z) into (/ y z) 5.122 * [taylor]: Taking taylor expansion of (/ x z) in x 5.122 * [taylor]: Taking taylor expansion of x in x 5.122 * [backup-simplify]: Simplify 0 into 0 5.122 * [backup-simplify]: Simplify 1 into 1 5.122 * [taylor]: Taking taylor expansion of z in x 5.122 * [backup-simplify]: Simplify z into z 5.122 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.123 * [backup-simplify]: Simplify (+ 0 (/ y z)) into (/ y z) 5.123 * [backup-simplify]: Simplify (+ (/ y z) 0) into (/ y z) 5.123 * [taylor]: Taking taylor expansion of (/ y z) in y 5.123 * [taylor]: Taking taylor expansion of y in y 5.123 * [backup-simplify]: Simplify 0 into 0 5.123 * [backup-simplify]: Simplify 1 into 1 5.123 * [taylor]: Taking taylor expansion of z in y 5.123 * [backup-simplify]: Simplify z into z 5.123 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.123 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0 5.124 * [backup-simplify]: Simplify (+ 1 0) into 1 5.124 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 5.124 * [backup-simplify]: Simplify (+ 1 (- (/ 1 z))) into (- 1 (/ 1 z)) 5.124 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in y 5.124 * [taylor]: Taking taylor expansion of 1 in y 5.124 * [backup-simplify]: Simplify 1 into 1 5.124 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.124 * [taylor]: Taking taylor expansion of z in y 5.124 * [backup-simplify]: Simplify z into z 5.124 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.124 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 5.124 * [backup-simplify]: Simplify (+ 1 (- (/ 1 z))) into (- 1 (/ 1 z)) 5.124 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z 5.124 * [taylor]: Taking taylor expansion of 1 in z 5.124 * [backup-simplify]: Simplify 1 into 1 5.124 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.124 * [taylor]: Taking taylor expansion of z in z 5.124 * [backup-simplify]: Simplify 0 into 0 5.124 * [backup-simplify]: Simplify 1 into 1 5.125 * [backup-simplify]: Simplify (/ 1 1) into 1 5.125 * [backup-simplify]: Simplify (- 1) into -1 5.125 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.126 * [backup-simplify]: Simplify -1 into -1 5.126 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.126 * [taylor]: Taking taylor expansion of z in z 5.126 * [backup-simplify]: Simplify 0 into 0 5.126 * [backup-simplify]: Simplify 1 into 1 5.126 * [backup-simplify]: Simplify (/ 1 1) into 1 5.126 * [backup-simplify]: Simplify 1 into 1 5.126 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.127 * [backup-simplify]: Simplify (+ 0 0) into 0 5.127 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 5.127 * [backup-simplify]: Simplify (- 0) into 0 5.128 * [backup-simplify]: Simplify (+ 0 0) into 0 5.128 * [taylor]: Taking taylor expansion of 0 in y 5.128 * [backup-simplify]: Simplify 0 into 0 5.128 * [taylor]: Taking taylor expansion of 0 in z 5.128 * [backup-simplify]: Simplify 0 into 0 5.128 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.128 * [backup-simplify]: Simplify (- 0) into 0 5.128 * [backup-simplify]: Simplify (+ 0 0) into 0 5.129 * [taylor]: Taking taylor expansion of 0 in z 5.129 * [backup-simplify]: Simplify 0 into 0 5.129 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 5.129 * [taylor]: Taking taylor expansion of 0 in z 5.129 * [backup-simplify]: Simplify 0 into 0 5.129 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.130 * [backup-simplify]: Simplify (- 0) into 0 5.130 * [backup-simplify]: Simplify (+ 1 0) into 1 5.130 * [backup-simplify]: Simplify 1 into 1 5.131 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 x))) (+ (* 1 (* (/ 1 z) (* y 1))) (* -1 (* (/ 1 z) (* 1 x))))) into (- (+ x (/ y z)) (/ x z)) 5.131 * [backup-simplify]: Simplify (+ (/ 1 x) (* (- (/ 1 y) (/ 1 x)) (/ 1 (/ 1 z)))) into (- (+ (/ z y) (/ 1 x)) (/ z x)) 5.131 * [approximate]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in (x y z) around 0 5.131 * [taylor]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in z 5.131 * [taylor]: Taking taylor expansion of (+ (/ z y) (/ 1 x)) in z 5.131 * [taylor]: Taking taylor expansion of (/ z y) in z 5.131 * [taylor]: Taking taylor expansion of z in z 5.131 * [backup-simplify]: Simplify 0 into 0 5.131 * [backup-simplify]: Simplify 1 into 1 5.131 * [taylor]: Taking taylor expansion of y in z 5.131 * [backup-simplify]: Simplify y into y 5.131 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.131 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.131 * [taylor]: Taking taylor expansion of x in z 5.131 * [backup-simplify]: Simplify x into x 5.131 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.132 * [taylor]: Taking taylor expansion of (/ z x) in z 5.132 * [taylor]: Taking taylor expansion of z in z 5.132 * [backup-simplify]: Simplify 0 into 0 5.132 * [backup-simplify]: Simplify 1 into 1 5.132 * [taylor]: Taking taylor expansion of x in z 5.132 * [backup-simplify]: Simplify x into x 5.132 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.132 * [taylor]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in y 5.132 * [taylor]: Taking taylor expansion of (+ (/ z y) (/ 1 x)) in y 5.132 * [taylor]: Taking taylor expansion of (/ z y) in y 5.132 * [taylor]: Taking taylor expansion of z in y 5.132 * [backup-simplify]: Simplify z into z 5.132 * [taylor]: Taking taylor expansion of y in y 5.132 * [backup-simplify]: Simplify 0 into 0 5.132 * [backup-simplify]: Simplify 1 into 1 5.132 * [backup-simplify]: Simplify (/ z 1) into z 5.132 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.132 * [taylor]: Taking taylor expansion of x in y 5.132 * [backup-simplify]: Simplify x into x 5.132 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.132 * [taylor]: Taking taylor expansion of (/ z x) in y 5.132 * [taylor]: Taking taylor expansion of z in y 5.132 * [backup-simplify]: Simplify z into z 5.132 * [taylor]: Taking taylor expansion of x in y 5.132 * [backup-simplify]: Simplify x into x 5.132 * [backup-simplify]: Simplify (/ z x) into (/ z x) 5.132 * [taylor]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in x 5.132 * [taylor]: Taking taylor expansion of (+ (/ z y) (/ 1 x)) in x 5.132 * [taylor]: Taking taylor expansion of (/ z y) in x 5.132 * [taylor]: Taking taylor expansion of z in x 5.133 * [backup-simplify]: Simplify z into z 5.133 * [taylor]: Taking taylor expansion of y in x 5.133 * [backup-simplify]: Simplify y into y 5.133 * [backup-simplify]: Simplify (/ z y) into (/ z y) 5.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.133 * [taylor]: Taking taylor expansion of x in x 5.133 * [backup-simplify]: Simplify 0 into 0 5.133 * [backup-simplify]: Simplify 1 into 1 5.133 * [backup-simplify]: Simplify (/ 1 1) into 1 5.133 * [taylor]: Taking taylor expansion of (/ z x) in x 5.133 * [taylor]: Taking taylor expansion of z in x 5.133 * [backup-simplify]: Simplify z into z 5.133 * [taylor]: Taking taylor expansion of x in x 5.133 * [backup-simplify]: Simplify 0 into 0 5.133 * [backup-simplify]: Simplify 1 into 1 5.133 * [backup-simplify]: Simplify (/ z 1) into z 5.133 * [taylor]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in x 5.133 * [taylor]: Taking taylor expansion of (+ (/ z y) (/ 1 x)) in x 5.134 * [taylor]: Taking taylor expansion of (/ z y) in x 5.134 * [taylor]: Taking taylor expansion of z in x 5.134 * [backup-simplify]: Simplify z into z 5.134 * [taylor]: Taking taylor expansion of y in x 5.134 * [backup-simplify]: Simplify y into y 5.134 * [backup-simplify]: Simplify (/ z y) into (/ z y) 5.134 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.134 * [taylor]: Taking taylor expansion of x in x 5.134 * [backup-simplify]: Simplify 0 into 0 5.134 * [backup-simplify]: Simplify 1 into 1 5.134 * [backup-simplify]: Simplify (/ 1 1) into 1 5.134 * [taylor]: Taking taylor expansion of (/ z x) in x 5.134 * [taylor]: Taking taylor expansion of z in x 5.134 * [backup-simplify]: Simplify z into z 5.134 * [taylor]: Taking taylor expansion of x in x 5.134 * [backup-simplify]: Simplify 0 into 0 5.134 * [backup-simplify]: Simplify 1 into 1 5.134 * [backup-simplify]: Simplify (/ z 1) into z 5.135 * [backup-simplify]: Simplify (+ 0 1) into 1 5.135 * [backup-simplify]: Simplify (- z) into (- z) 5.135 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z) 5.135 * [taylor]: Taking taylor expansion of (- 1 z) in y 5.135 * [taylor]: Taking taylor expansion of 1 in y 5.135 * [backup-simplify]: Simplify 1 into 1 5.135 * [taylor]: Taking taylor expansion of z in y 5.135 * [backup-simplify]: Simplify z into z 5.136 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.136 * [backup-simplify]: Simplify (+ (/ z y) 0) into (/ z y) 5.137 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 5.137 * [backup-simplify]: Simplify (- 0) into 0 5.137 * [backup-simplify]: Simplify (+ (/ z y) 0) into (/ z y) 5.137 * [taylor]: Taking taylor expansion of (/ z y) in y 5.138 * [taylor]: Taking taylor expansion of z in y 5.138 * [backup-simplify]: Simplify z into z 5.138 * [taylor]: Taking taylor expansion of y in y 5.138 * [backup-simplify]: Simplify 0 into 0 5.138 * [backup-simplify]: Simplify 1 into 1 5.138 * [backup-simplify]: Simplify (/ z 1) into z 5.138 * [taylor]: Taking taylor expansion of z in z 5.138 * [backup-simplify]: Simplify 0 into 0 5.138 * [backup-simplify]: Simplify 1 into 1 5.138 * [backup-simplify]: Simplify 0 into 0 5.138 * [backup-simplify]: Simplify (- z) into (- z) 5.138 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z) 5.138 * [taylor]: Taking taylor expansion of (- 1 z) in z 5.138 * [taylor]: Taking taylor expansion of 1 in z 5.138 * [backup-simplify]: Simplify 1 into 1 5.138 * [taylor]: Taking taylor expansion of z in z 5.138 * [backup-simplify]: Simplify 0 into 0 5.138 * [backup-simplify]: Simplify 1 into 1 5.138 * [backup-simplify]: Simplify (- 0) into 0 5.139 * [backup-simplify]: Simplify (+ 1 0) into 1 5.139 * [backup-simplify]: Simplify 1 into 1 5.139 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 5.140 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.140 * [backup-simplify]: Simplify (+ 0 0) into 0 5.142 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.142 * [backup-simplify]: Simplify (- 0) into 0 5.142 * [backup-simplify]: Simplify (+ 0 0) into 0 5.143 * [taylor]: Taking taylor expansion of 0 in y 5.143 * [backup-simplify]: Simplify 0 into 0 5.144 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 5.144 * [taylor]: Taking taylor expansion of 0 in z 5.144 * [backup-simplify]: Simplify 0 into 0 5.144 * [backup-simplify]: Simplify 0 into 0 5.144 * [backup-simplify]: Simplify (- 0) into 0 5.145 * [backup-simplify]: Simplify (+ 0 0) into 0 5.145 * [taylor]: Taking taylor expansion of 0 in z 5.145 * [backup-simplify]: Simplify 0 into 0 5.145 * [backup-simplify]: Simplify 0 into 0 5.145 * [backup-simplify]: Simplify 1 into 1 5.145 * [backup-simplify]: Simplify (- 1) into -1 5.146 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.146 * [backup-simplify]: Simplify -1 into -1 5.146 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 z) (* 1 (/ 1 (/ 1 x))))) (+ (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) 1))) (* 1 (* 1 (* 1 (/ 1 (/ 1 x))))))) into (- (+ x (/ y z)) (/ x z)) 5.147 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (* (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (/ 1 (- z))))) into (- (/ z y) (+ (/ z x) (/ 1 x))) 5.147 * [approximate]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in (x y z) around 0 5.147 * [taylor]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in z 5.147 * [taylor]: Taking taylor expansion of (/ z y) in z 5.147 * [taylor]: Taking taylor expansion of z in z 5.147 * [backup-simplify]: Simplify 0 into 0 5.147 * [backup-simplify]: Simplify 1 into 1 5.147 * [taylor]: Taking taylor expansion of y in z 5.147 * [backup-simplify]: Simplify y into y 5.147 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.147 * [taylor]: Taking taylor expansion of (+ (/ z x) (/ 1 x)) in z 5.147 * [taylor]: Taking taylor expansion of (/ z x) in z 5.147 * [taylor]: Taking taylor expansion of z in z 5.147 * [backup-simplify]: Simplify 0 into 0 5.147 * [backup-simplify]: Simplify 1 into 1 5.147 * [taylor]: Taking taylor expansion of x in z 5.147 * [backup-simplify]: Simplify x into x 5.147 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.147 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.147 * [taylor]: Taking taylor expansion of x in z 5.147 * [backup-simplify]: Simplify x into x 5.147 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.147 * [taylor]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in y 5.147 * [taylor]: Taking taylor expansion of (/ z y) in y 5.147 * [taylor]: Taking taylor expansion of z in y 5.147 * [backup-simplify]: Simplify z into z 5.147 * [taylor]: Taking taylor expansion of y in y 5.148 * [backup-simplify]: Simplify 0 into 0 5.148 * [backup-simplify]: Simplify 1 into 1 5.148 * [backup-simplify]: Simplify (/ z 1) into z 5.148 * [taylor]: Taking taylor expansion of (+ (/ z x) (/ 1 x)) in y 5.148 * [taylor]: Taking taylor expansion of (/ z x) in y 5.148 * [taylor]: Taking taylor expansion of z in y 5.148 * [backup-simplify]: Simplify z into z 5.148 * [taylor]: Taking taylor expansion of x in y 5.148 * [backup-simplify]: Simplify x into x 5.148 * [backup-simplify]: Simplify (/ z x) into (/ z x) 5.148 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.148 * [taylor]: Taking taylor expansion of x in y 5.148 * [backup-simplify]: Simplify x into x 5.148 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.148 * [taylor]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in x 5.148 * [taylor]: Taking taylor expansion of (/ z y) in x 5.148 * [taylor]: Taking taylor expansion of z in x 5.148 * [backup-simplify]: Simplify z into z 5.148 * [taylor]: Taking taylor expansion of y in x 5.148 * [backup-simplify]: Simplify y into y 5.148 * [backup-simplify]: Simplify (/ z y) into (/ z y) 5.148 * [taylor]: Taking taylor expansion of (+ (/ z x) (/ 1 x)) in x 5.148 * [taylor]: Taking taylor expansion of (/ z x) in x 5.148 * [taylor]: Taking taylor expansion of z in x 5.148 * [backup-simplify]: Simplify z into z 5.148 * [taylor]: Taking taylor expansion of x in x 5.148 * [backup-simplify]: Simplify 0 into 0 5.148 * [backup-simplify]: Simplify 1 into 1 5.148 * [backup-simplify]: Simplify (/ z 1) into z 5.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.148 * [taylor]: Taking taylor expansion of x in x 5.148 * [backup-simplify]: Simplify 0 into 0 5.148 * [backup-simplify]: Simplify 1 into 1 5.149 * [backup-simplify]: Simplify (/ 1 1) into 1 5.149 * [taylor]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in x 5.149 * [taylor]: Taking taylor expansion of (/ z y) in x 5.149 * [taylor]: Taking taylor expansion of z in x 5.149 * [backup-simplify]: Simplify z into z 5.149 * [taylor]: Taking taylor expansion of y in x 5.149 * [backup-simplify]: Simplify y into y 5.149 * [backup-simplify]: Simplify (/ z y) into (/ z y) 5.149 * [taylor]: Taking taylor expansion of (+ (/ z x) (/ 1 x)) in x 5.149 * [taylor]: Taking taylor expansion of (/ z x) in x 5.149 * [taylor]: Taking taylor expansion of z in x 5.149 * [backup-simplify]: Simplify z into z 5.149 * [taylor]: Taking taylor expansion of x in x 5.149 * [backup-simplify]: Simplify 0 into 0 5.149 * [backup-simplify]: Simplify 1 into 1 5.149 * [backup-simplify]: Simplify (/ z 1) into z 5.149 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.149 * [taylor]: Taking taylor expansion of x in x 5.149 * [backup-simplify]: Simplify 0 into 0 5.150 * [backup-simplify]: Simplify 1 into 1 5.150 * [backup-simplify]: Simplify (/ 1 1) into 1 5.150 * [backup-simplify]: Simplify (+ z 1) into (+ z 1) 5.150 * [backup-simplify]: Simplify (- (+ z 1)) into (- (+ z 1)) 5.150 * [backup-simplify]: Simplify (+ 0 (- (+ z 1))) into (- (+ z 1)) 5.150 * [taylor]: Taking taylor expansion of (- (+ z 1)) in y 5.150 * [taylor]: Taking taylor expansion of (+ z 1) in y 5.150 * [taylor]: Taking taylor expansion of z in y 5.150 * [backup-simplify]: Simplify z into z 5.150 * [taylor]: Taking taylor expansion of 1 in y 5.150 * [backup-simplify]: Simplify 1 into 1 5.151 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 5.152 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.152 * [backup-simplify]: Simplify (+ 0 0) into 0 5.153 * [backup-simplify]: Simplify (- 0) into 0 5.153 * [backup-simplify]: Simplify (+ (/ z y) 0) into (/ z y) 5.153 * [taylor]: Taking taylor expansion of (/ z y) in y 5.153 * [taylor]: Taking taylor expansion of z in y 5.153 * [backup-simplify]: Simplify z into z 5.153 * [taylor]: Taking taylor expansion of y in y 5.153 * [backup-simplify]: Simplify 0 into 0 5.153 * [backup-simplify]: Simplify 1 into 1 5.153 * [backup-simplify]: Simplify (/ z 1) into z 5.153 * [taylor]: Taking taylor expansion of z in z 5.153 * [backup-simplify]: Simplify 0 into 0 5.153 * [backup-simplify]: Simplify 1 into 1 5.153 * [backup-simplify]: Simplify 0 into 0 5.153 * [backup-simplify]: Simplify (+ z 1) into (+ z 1) 5.153 * [backup-simplify]: Simplify (- (+ z 1)) into (- (+ z 1)) 5.153 * [taylor]: Taking taylor expansion of (- (+ z 1)) in z 5.153 * [taylor]: Taking taylor expansion of (+ z 1) in z 5.153 * [taylor]: Taking taylor expansion of z in z 5.153 * [backup-simplify]: Simplify 0 into 0 5.153 * [backup-simplify]: Simplify 1 into 1 5.153 * [taylor]: Taking taylor expansion of 1 in z 5.153 * [backup-simplify]: Simplify 1 into 1 5.154 * [backup-simplify]: Simplify (+ 0 1) into 1 5.154 * [backup-simplify]: Simplify (- 1) into -1 5.154 * [backup-simplify]: Simplify -1 into -1 5.154 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 5.156 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.157 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.157 * [backup-simplify]: Simplify (+ 0 0) into 0 5.157 * [backup-simplify]: Simplify (- 0) into 0 5.158 * [backup-simplify]: Simplify (+ 0 0) into 0 5.158 * [taylor]: Taking taylor expansion of 0 in y 5.158 * [backup-simplify]: Simplify 0 into 0 5.159 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 5.159 * [taylor]: Taking taylor expansion of 0 in z 5.159 * [backup-simplify]: Simplify 0 into 0 5.159 * [backup-simplify]: Simplify 0 into 0 5.159 * [backup-simplify]: Simplify (+ 0 0) into 0 5.159 * [backup-simplify]: Simplify (- 0) into 0 5.159 * [taylor]: Taking taylor expansion of 0 in z 5.159 * [backup-simplify]: Simplify 0 into 0 5.160 * [backup-simplify]: Simplify 0 into 0 5.160 * [backup-simplify]: Simplify 1 into 1 5.160 * [backup-simplify]: Simplify (+ 1 0) into 1 5.160 * [backup-simplify]: Simplify (- 1) into -1 5.160 * [backup-simplify]: Simplify -1 into -1 5.161 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (- z)) (* 1 (/ 1 (/ 1 (- x)))))) (+ (* 1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) 1))) (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x)))))))) into (- (+ x (/ y z)) (/ x z)) 5.161 * * * [progress]: simplifying candidates 5.162 * [simplify]: Simplifying: (* (- y x) (/ 1 z)) (+ (log (- y x)) (- (log z))) (+ (log (- y x)) (- 0 (log z))) (+ (log (- y x)) (- (log 1) (log z))) (+ (log (- y x)) (log (/ 1 z))) (log (* (- y x) (/ 1 z))) (exp (* (- y x) (/ 1 z))) (* (* (* (- y x) (- y x)) (- y x)) (/ (* (* 1 1) 1) (* (* z z) z))) (* (* (* (- y x) (- y x)) (- y x)) (* (* (/ 1 z) (/ 1 z)) (/ 1 z))) (* (cbrt (* (- y x) (/ 1 z))) (cbrt (* (- y x) (/ 1 z)))) (cbrt (* (- y x) (/ 1 z))) (* (* (* (- y x) (/ 1 z)) (* (- y x) (/ 1 z))) (* (- y x) (/ 1 z))) (sqrt (* (- y x) (/ 1 z))) (sqrt (* (- y x) (/ 1 z))) (* (- (pow y 3) (pow x 3)) 1) (* (+ (* y y) (+ (* x x) (* y x))) z) (* (- (* y y) (* x x)) 1) (* (+ y x) z) (* (sqrt (- y x)) (sqrt (/ 1 z))) (* (sqrt (- y x)) (sqrt (/ 1 z))) (* (sqrt (- y x)) (/ (sqrt 1) (sqrt z))) (* (sqrt (- y x)) (/ (sqrt 1) (sqrt z))) (* (sqrt (- y x)) (/ 1 (sqrt z))) (* (sqrt (- y x)) (/ 1 (sqrt z))) (* (- y x) (* (cbrt (/ 1 z)) (cbrt (/ 1 z)))) (* (- y x) (sqrt (/ 1 z))) (* (- y x) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt z) (cbrt z)))) (* (- y x) (/ (* (cbrt 1) (cbrt 1)) (sqrt z))) (* (- y x) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (- y x) (/ (sqrt 1) (* (cbrt z) (cbrt z)))) (* (- y x) (/ (sqrt 1) (sqrt z))) (* (- y x) (/ (sqrt 1) 1)) (* (- y x) (/ 1 (* (cbrt z) (cbrt z)))) (* (- y x) (/ 1 (sqrt z))) (* (- y x) (/ 1 1)) (* (- y x) 1) (* (- y x) 1) (* (cbrt (- y x)) (/ 1 z)) (* (sqrt (- y x)) (/ 1 z)) (* (- y x) (/ 1 z)) (* (- (sqrt y) (sqrt x)) (/ 1 z)) (* (- y x) (/ 1 z)) (* (- y x) 1) (* (- (pow y 3) (pow x 3)) (/ 1 z)) (* (- (* y y) (* x x)) (/ 1 z)) (* (exp x) (exp (* (- y x) (/ 1 z)))) (log (+ x (* (- y x) (/ 1 z)))) (exp (+ x (* (- y x) (/ 1 z)))) (* (cbrt (+ x (* (- y x) (/ 1 z)))) (cbrt (+ x (* (- y x) (/ 1 z))))) (cbrt (+ x (* (- y x) (/ 1 z)))) (* (* (+ x (* (- y x) (/ 1 z))) (+ x (* (- y x) (/ 1 z)))) (+ x (* (- y x) (/ 1 z)))) (sqrt (+ x (* (- y x) (/ 1 z)))) (sqrt (+ x (* (- y x) (/ 1 z)))) (+ (pow x 3) (pow (* (- y x) (/ 1 z)) 3)) (+ (* x x) (- (* (* (- y x) (/ 1 z)) (* (- y x) (/ 1 z))) (* x (* (- y x) (/ 1 z))))) (- (* x x) (* (* (- y x) (/ 1 z)) (* (- y x) (/ 1 z)))) (- x (* (- y x) (/ 1 z))) (- (/ y z) (/ x z)) (- (/ y z) (/ x z)) (- (/ y z) (/ x z)) (- (+ x (/ y z)) (/ x z)) (- (+ x (/ y z)) (/ x z)) (- (+ x (/ y z)) (/ x z)) 5.163 * * [simplify]: iteration 0: 117 enodes 5.193 * * [simplify]: iteration 1: 310 enodes 5.537 * * [simplify]: iteration 2: 2101 enodes 8.094 * * [simplify]: iteration complete: 5001 enodes 8.094 * * [simplify]: Extracting #0: cost 34 inf + 0 8.095 * * [simplify]: Extracting #1: cost 263 inf + 0 8.107 * * [simplify]: Extracting #2: cost 1184 inf + 4786 8.148 * * [simplify]: Extracting #3: cost 212 inf + 105263 8.202 * * [simplify]: Extracting #4: cost 12 inf + 130399 8.260 * * [simplify]: Extracting #5: cost 0 inf + 133428 8.317 * [simplify]: Simplified to: (/ (- y x) z) (log (/ (- y x) z)) (log (/ (- y x) z)) (log (/ (- y x) z)) (log (/ (- y x) z)) (log (/ (- y x) z)) (exp (/ (- y x) z)) (* (/ (- y x) z) (* (/ (- y x) z) (/ (- 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)) (- (* y (* y y)) (* x (* x x))) (* z (+ (* (+ x y) x) (* y y))) (* (+ x y) (- y x)) (* z (+ x y)) (* (sqrt (- y x)) (sqrt (/ 1 z))) (* (sqrt (- y x)) (sqrt (/ 1 z))) (/ (sqrt (- y x)) (sqrt z)) (/ (sqrt (- y x)) (sqrt z)) (/ (sqrt (- y x)) (sqrt z)) (/ (sqrt (- y x)) (sqrt z)) (* (* (- y x) (cbrt (/ 1 z))) (cbrt (/ 1 z))) (* (sqrt (/ 1 z)) (- y x)) (/ (/ (- y x) (cbrt z)) (cbrt z)) (/ (- y x) (sqrt z)) (- y x) (/ (/ (- y x) (cbrt z)) (cbrt z)) (/ (- y x) (sqrt z)) (- y x) (/ (/ (- y x) (cbrt z)) (cbrt z)) (/ (- y x) (sqrt z)) (- y x) (- y x) (- y x) (/ (cbrt (- y x)) z) (/ (sqrt (- y x)) z) (/ (- y x) z) (/ (- (sqrt y) (sqrt x)) z) (/ (- y x) z) (- y x) (/ (- (* y (* y y)) (* x (* x x))) z) (/ (* (+ x y) (- y x)) z) (exp (+ x (/ (- y x) z))) (log (+ x (/ (- y x) z))) (exp (+ x (/ (- y x) z))) (* (cbrt (+ x (/ (- y x) z))) (cbrt (+ x (/ (- y x) z)))) (cbrt (+ x (/ (- y x) z))) (* (* (+ x (/ (- y x) z)) (+ x (/ (- y x) z))) (+ x (/ (- y x) z))) (sqrt (+ x (/ (- y x) z))) (sqrt (+ x (/ (- y x) z))) (+ (* (/ (- y x) z) (* (/ (- y x) z) (/ (- y x) z))) (* x (* x x))) (+ (* x x) (* (/ (- y x) z) (- (/ (- y x) z) x))) (* (- x (/ (- y x) z)) (+ x (/ (- y x) z))) (- x (/ (- y x) z)) (/ (- y x) z) (/ (- y x) z) (/ (- y x) z) (+ x (/ (- y x) z)) (+ x (/ (- y x) z)) (+ x (/ (- y x) z)) 8.321 * * * [progress]: adding candidates to table 8.578 * [progress]: [Phase 3 of 3] Extracting. 8.578 * * [regime]: Finding splitpoints for: (# #) 8.580 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 8.580 * * * * [regimes]: Trying to branch on z from (# #) 8.640 * * * * [regimes]: Trying to branch on y from (# #) 8.681 * * * * [regimes]: Trying to branch on x from (# #) 8.753 * * * [regime]: Found split indices: #