23.266 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.032 * * * [progress]: [2/2] Setting up program.
0.036 * [progress]: [Phase 2 of 3] Improving.
0.036 * [simplify]: Simplifying:
  (+ (- (- (* x y) (* y z)) (* y y)) (* y y))
0.036 * * [simplify]: iteration 0: 9 enodes
0.038 * * [simplify]: iteration 1: 21 enodes
0.043 * * [simplify]: iteration 2: 60 enodes
0.061 * * [simplify]: iteration 3: 168 enodes
0.187 * * [simplify]: iteration 4: 391 enodes
0.605 * * [simplify]: iteration 5: 1137 enodes
3.369 * * [simplify]: iteration 6: 3713 enodes
4.943 * * [simplify]: iteration complete: 5000 enodes
4.943 * * [simplify]: Extracting #0: cost 1 inf + 0
4.944 * * [simplify]: Extracting #1: cost 170 inf + 0
4.948 * * [simplify]: Extracting #2: cost 515 inf + 2906
4.964 * * [simplify]: Extracting #3: cost 208 inf + 42639
4.999 * * [simplify]: Extracting #4: cost 19 inf + 78393
5.035 * * [simplify]: Extracting #5: cost 0 inf + 82882
5.075 * * [simplify]: Extracting #6: cost 0 inf + 82837
5.110 * [simplify]: Simplified to:
  (* (- x z) y)
5.117 * * [progress]: iteration 1 / 4
5.117 * * * [progress]: picking best candidate
5.129 * * * * [pick]: Picked  #<alt (λ (x y z) (* (- x z) y))>
5.129 * * * [progress]: localizing error
5.140 * * * [progress]: generating rewritten candidates
5.141 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.158 * * * [progress]: generating series expansions
5.158 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.158 * [backup-simplify]: Simplify (* (- x z) y) into (* (- x z) y)
5.158 * [approximate]: Taking taylor expansion of (* (- x z) y) in (x z y) around 0
5.158 * [taylor]: Taking taylor expansion of (* (- x z) y) in y
5.158 * [taylor]: Taking taylor expansion of (- x z) in y
5.158 * [taylor]: Taking taylor expansion of x in y
5.159 * [backup-simplify]: Simplify x into x
5.159 * [taylor]: Taking taylor expansion of z in y
5.159 * [backup-simplify]: Simplify z into z
5.159 * [taylor]: Taking taylor expansion of y in y
5.159 * [backup-simplify]: Simplify 0 into 0
5.159 * [backup-simplify]: Simplify 1 into 1
5.159 * [taylor]: Taking taylor expansion of (* (- x z) y) in z
5.159 * [taylor]: Taking taylor expansion of (- x z) in z
5.159 * [taylor]: Taking taylor expansion of x in z
5.159 * [backup-simplify]: Simplify x into x
5.159 * [taylor]: Taking taylor expansion of z in z
5.159 * [backup-simplify]: Simplify 0 into 0
5.159 * [backup-simplify]: Simplify 1 into 1
5.159 * [taylor]: Taking taylor expansion of y in z
5.159 * [backup-simplify]: Simplify y into y
5.159 * [taylor]: Taking taylor expansion of (* (- x z) y) in x
5.159 * [taylor]: Taking taylor expansion of (- x z) in x
5.159 * [taylor]: Taking taylor expansion of x in x
5.159 * [backup-simplify]: Simplify 0 into 0
5.159 * [backup-simplify]: Simplify 1 into 1
5.159 * [taylor]: Taking taylor expansion of z in x
5.159 * [backup-simplify]: Simplify z into z
5.159 * [taylor]: Taking taylor expansion of y in x
5.159 * [backup-simplify]: Simplify y into y
5.159 * [taylor]: Taking taylor expansion of (* (- x z) y) in x
5.159 * [taylor]: Taking taylor expansion of (- x z) in x
5.159 * [taylor]: Taking taylor expansion of x in x
5.159 * [backup-simplify]: Simplify 0 into 0
5.159 * [backup-simplify]: Simplify 1 into 1
5.159 * [taylor]: Taking taylor expansion of z in x
5.159 * [backup-simplify]: Simplify z into z
5.159 * [taylor]: Taking taylor expansion of y in x
5.159 * [backup-simplify]: Simplify y into y
5.159 * [backup-simplify]: Simplify (- z) into (- z)
5.159 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
5.159 * [backup-simplify]: Simplify (* (- z) y) into (* -1 (* z y))
5.159 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z
5.159 * [taylor]: Taking taylor expansion of -1 in z
5.159 * [backup-simplify]: Simplify -1 into -1
5.159 * [taylor]: Taking taylor expansion of (* z y) in z
5.159 * [taylor]: Taking taylor expansion of z in z
5.159 * [backup-simplify]: Simplify 0 into 0
5.159 * [backup-simplify]: Simplify 1 into 1
5.159 * [taylor]: Taking taylor expansion of y in z
5.159 * [backup-simplify]: Simplify y into y
5.159 * [backup-simplify]: Simplify (* 0 y) into 0
5.160 * [backup-simplify]: Simplify (* -1 0) into 0
5.160 * [taylor]: Taking taylor expansion of 0 in y
5.160 * [backup-simplify]: Simplify 0 into 0
5.160 * [backup-simplify]: Simplify 0 into 0
5.160 * [backup-simplify]: Simplify (- 0) into 0
5.161 * [backup-simplify]: Simplify (+ 1 0) into 1
5.161 * [backup-simplify]: Simplify (+ (* (- z) 0) (* 1 y)) into y
5.161 * [taylor]: Taking taylor expansion of y in z
5.161 * [backup-simplify]: Simplify y into y
5.161 * [taylor]: Taking taylor expansion of y in y
5.161 * [backup-simplify]: Simplify 0 into 0
5.161 * [backup-simplify]: Simplify 1 into 1
5.161 * [backup-simplify]: Simplify 0 into 0
5.161 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.162 * [backup-simplify]: Simplify (+ (* -1 y) (* 0 0)) into (- y)
5.162 * [taylor]: Taking taylor expansion of (- y) in y
5.162 * [taylor]: Taking taylor expansion of y in y
5.162 * [backup-simplify]: Simplify 0 into 0
5.162 * [backup-simplify]: Simplify 1 into 1
5.162 * [backup-simplify]: Simplify (- 0) into 0
5.162 * [backup-simplify]: Simplify 0 into 0
5.162 * [backup-simplify]: Simplify 0 into 0
5.163 * [backup-simplify]: Simplify (- 0) into 0
5.163 * [backup-simplify]: Simplify (+ 0 0) into 0
5.163 * [backup-simplify]: Simplify (+ (* (- z) 0) (+ (* 1 0) (* 0 y))) into 0
5.163 * [taylor]: Taking taylor expansion of 0 in z
5.163 * [backup-simplify]: Simplify 0 into 0
5.163 * [taylor]: Taking taylor expansion of 0 in y
5.163 * [backup-simplify]: Simplify 0 into 0
5.164 * [backup-simplify]: Simplify 0 into 0
5.164 * [taylor]: Taking taylor expansion of 0 in y
5.164 * [backup-simplify]: Simplify 0 into 0
5.164 * [backup-simplify]: Simplify 0 into 0
5.164 * [backup-simplify]: Simplify 0 into 0
5.164 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 1 z)) (/ 1 y)) into (/ (- (/ 1 x) (/ 1 z)) y)
5.164 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (x z y) around 0
5.164 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
5.164 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
5.164 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.164 * [taylor]: Taking taylor expansion of x in y
5.164 * [backup-simplify]: Simplify x into x
5.164 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.164 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.164 * [taylor]: Taking taylor expansion of z in y
5.164 * [backup-simplify]: Simplify z into z
5.164 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.164 * [taylor]: Taking taylor expansion of y in y
5.164 * [backup-simplify]: Simplify 0 into 0
5.164 * [backup-simplify]: Simplify 1 into 1
5.164 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.164 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
5.165 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z))
5.165 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z
5.165 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
5.165 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.165 * [taylor]: Taking taylor expansion of x in z
5.165 * [backup-simplify]: Simplify x into x
5.165 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.165 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.165 * [taylor]: Taking taylor expansion of z in z
5.165 * [backup-simplify]: Simplify 0 into 0
5.165 * [backup-simplify]: Simplify 1 into 1
5.165 * [backup-simplify]: Simplify (/ 1 1) into 1
5.165 * [taylor]: Taking taylor expansion of y in z
5.165 * [backup-simplify]: Simplify y into y
5.166 * [backup-simplify]: Simplify (- 1) into -1
5.166 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.166 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
5.166 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
5.166 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
5.166 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.166 * [taylor]: Taking taylor expansion of x in x
5.166 * [backup-simplify]: Simplify 0 into 0
5.166 * [backup-simplify]: Simplify 1 into 1
5.166 * [backup-simplify]: Simplify (/ 1 1) into 1
5.166 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.167 * [taylor]: Taking taylor expansion of z in x
5.167 * [backup-simplify]: Simplify z into z
5.167 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.167 * [taylor]: Taking taylor expansion of y in x
5.167 * [backup-simplify]: Simplify y into y
5.167 * [backup-simplify]: Simplify (+ 1 0) into 1
5.167 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.167 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
5.167 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
5.167 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.167 * [taylor]: Taking taylor expansion of x in x
5.167 * [backup-simplify]: Simplify 0 into 0
5.167 * [backup-simplify]: Simplify 1 into 1
5.168 * [backup-simplify]: Simplify (/ 1 1) into 1
5.168 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.168 * [taylor]: Taking taylor expansion of z in x
5.168 * [backup-simplify]: Simplify z into z
5.168 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.168 * [taylor]: Taking taylor expansion of y in x
5.168 * [backup-simplify]: Simplify y into y
5.168 * [backup-simplify]: Simplify (+ 1 0) into 1
5.168 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.168 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.168 * [taylor]: Taking taylor expansion of y in z
5.168 * [backup-simplify]: Simplify y into y
5.168 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.169 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.169 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.169 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
5.169 * [backup-simplify]: Simplify (- (/ (- (/ 1 z)) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (/ 1 (* z y)))
5.170 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z
5.170 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
5.170 * [taylor]: Taking taylor expansion of (* z y) in z
5.170 * [taylor]: Taking taylor expansion of z in z
5.170 * [backup-simplify]: Simplify 0 into 0
5.170 * [backup-simplify]: Simplify 1 into 1
5.170 * [taylor]: Taking taylor expansion of y in z
5.170 * [backup-simplify]: Simplify y into y
5.170 * [backup-simplify]: Simplify (* 0 y) into 0
5.170 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.170 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.170 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
5.170 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
5.170 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.170 * [taylor]: Taking taylor expansion of y in y
5.170 * [backup-simplify]: Simplify 0 into 0
5.170 * [backup-simplify]: Simplify 1 into 1
5.171 * [backup-simplify]: Simplify (/ 1 1) into 1
5.171 * [backup-simplify]: Simplify (- 1) into -1
5.171 * [backup-simplify]: Simplify -1 into -1
5.171 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.171 * [taylor]: Taking taylor expansion of y in y
5.171 * [backup-simplify]: Simplify 0 into 0
5.171 * [backup-simplify]: Simplify 1 into 1
5.172 * [backup-simplify]: Simplify (/ 1 1) into 1
5.172 * [backup-simplify]: Simplify 1 into 1
5.172 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.173 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.173 * [backup-simplify]: Simplify (- 0) into 0
5.173 * [backup-simplify]: Simplify (+ 0 0) into 0
5.174 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)))) into 0
5.174 * [taylor]: Taking taylor expansion of 0 in z
5.174 * [backup-simplify]: Simplify 0 into 0
5.174 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.174 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.175 * [backup-simplify]: Simplify (- 0) into 0
5.175 * [taylor]: Taking taylor expansion of 0 in y
5.175 * [backup-simplify]: Simplify 0 into 0
5.175 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.175 * [taylor]: Taking taylor expansion of 0 in y
5.175 * [backup-simplify]: Simplify 0 into 0
5.176 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.176 * [backup-simplify]: Simplify (- 0) into 0
5.176 * [backup-simplify]: Simplify 0 into 0
5.177 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.177 * [backup-simplify]: Simplify 0 into 0
5.178 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.178 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.178 * [backup-simplify]: Simplify (- 0) into 0
5.178 * [backup-simplify]: Simplify (+ 0 0) into 0
5.179 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.179 * [taylor]: Taking taylor expansion of 0 in z
5.179 * [backup-simplify]: Simplify 0 into 0
5.179 * [taylor]: Taking taylor expansion of 0 in y
5.179 * [backup-simplify]: Simplify 0 into 0
5.180 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.180 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.180 * [backup-simplify]: Simplify (- 0) into 0
5.180 * [taylor]: Taking taylor expansion of 0 in y
5.180 * [backup-simplify]: Simplify 0 into 0
5.181 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.181 * [taylor]: Taking taylor expansion of 0 in y
5.181 * [backup-simplify]: Simplify 0 into 0
5.181 * [backup-simplify]: Simplify 0 into 0
5.181 * [backup-simplify]: Simplify 0 into 0
5.182 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.182 * [backup-simplify]: Simplify (- 0) into 0
5.182 * [backup-simplify]: Simplify 0 into 0
5.183 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.183 * [backup-simplify]: Simplify 0 into 0
5.183 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 y)) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 z)) 1)))) into (- (* x y) (* z y))
5.183 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y))) into (* -1 (/ (- (/ 1 z) (/ 1 x)) y))
5.183 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (x z y) around 0
5.183 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y
5.183 * [taylor]: Taking taylor expansion of -1 in y
5.183 * [backup-simplify]: Simplify -1 into -1
5.183 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
5.183 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
5.184 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.184 * [taylor]: Taking taylor expansion of z in y
5.184 * [backup-simplify]: Simplify z into z
5.184 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.184 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.184 * [taylor]: Taking taylor expansion of x in y
5.184 * [backup-simplify]: Simplify x into x
5.184 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.184 * [taylor]: Taking taylor expansion of y in y
5.184 * [backup-simplify]: Simplify 0 into 0
5.184 * [backup-simplify]: Simplify 1 into 1
5.184 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
5.184 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
5.184 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x))
5.184 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z
5.184 * [taylor]: Taking taylor expansion of -1 in z
5.184 * [backup-simplify]: Simplify -1 into -1
5.184 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z
5.184 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
5.184 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.184 * [taylor]: Taking taylor expansion of z in z
5.184 * [backup-simplify]: Simplify 0 into 0
5.184 * [backup-simplify]: Simplify 1 into 1
5.185 * [backup-simplify]: Simplify (/ 1 1) into 1
5.185 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.185 * [taylor]: Taking taylor expansion of x in z
5.185 * [backup-simplify]: Simplify x into x
5.185 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.185 * [taylor]: Taking taylor expansion of y in z
5.185 * [backup-simplify]: Simplify y into y
5.185 * [backup-simplify]: Simplify (+ 1 0) into 1
5.185 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.185 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x
5.185 * [taylor]: Taking taylor expansion of -1 in x
5.185 * [backup-simplify]: Simplify -1 into -1
5.185 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
5.185 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
5.185 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.186 * [taylor]: Taking taylor expansion of z in x
5.186 * [backup-simplify]: Simplify z into z
5.186 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.186 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.186 * [taylor]: Taking taylor expansion of x in x
5.186 * [backup-simplify]: Simplify 0 into 0
5.186 * [backup-simplify]: Simplify 1 into 1
5.186 * [backup-simplify]: Simplify (/ 1 1) into 1
5.186 * [taylor]: Taking taylor expansion of y in x
5.186 * [backup-simplify]: Simplify y into y
5.187 * [backup-simplify]: Simplify (- 1) into -1
5.187 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.187 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
5.187 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x
5.187 * [taylor]: Taking taylor expansion of -1 in x
5.187 * [backup-simplify]: Simplify -1 into -1
5.187 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
5.187 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
5.187 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.187 * [taylor]: Taking taylor expansion of z in x
5.187 * [backup-simplify]: Simplify z into z
5.187 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.187 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.187 * [taylor]: Taking taylor expansion of x in x
5.187 * [backup-simplify]: Simplify 0 into 0
5.187 * [backup-simplify]: Simplify 1 into 1
5.188 * [backup-simplify]: Simplify (/ 1 1) into 1
5.188 * [taylor]: Taking taylor expansion of y in x
5.188 * [backup-simplify]: Simplify y into y
5.188 * [backup-simplify]: Simplify (- 1) into -1
5.189 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.189 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
5.189 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
5.189 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.189 * [taylor]: Taking taylor expansion of y in z
5.189 * [backup-simplify]: Simplify y into y
5.189 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.190 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.190 * [backup-simplify]: Simplify (- 0) into 0
5.190 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
5.190 * [backup-simplify]: Simplify (- (/ (/ 1 z) y) (+ (* (/ -1 y) (/ 0 y)))) into (/ 1 (* z y))
5.190 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (* z y))) (* 0 (/ -1 y))) into (- (/ 1 (* z y)))
5.190 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z
5.190 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
5.190 * [taylor]: Taking taylor expansion of (* z y) in z
5.190 * [taylor]: Taking taylor expansion of z in z
5.190 * [backup-simplify]: Simplify 0 into 0
5.190 * [backup-simplify]: Simplify 1 into 1
5.190 * [taylor]: Taking taylor expansion of y in z
5.191 * [backup-simplify]: Simplify y into y
5.191 * [backup-simplify]: Simplify (* 0 y) into 0
5.191 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.191 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.191 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
5.191 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
5.191 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.191 * [taylor]: Taking taylor expansion of y in y
5.191 * [backup-simplify]: Simplify 0 into 0
5.191 * [backup-simplify]: Simplify 1 into 1
5.192 * [backup-simplify]: Simplify (/ 1 1) into 1
5.192 * [backup-simplify]: Simplify (- 1) into -1
5.192 * [backup-simplify]: Simplify -1 into -1
5.192 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.192 * [taylor]: Taking taylor expansion of y in y
5.192 * [backup-simplify]: Simplify 0 into 0
5.192 * [backup-simplify]: Simplify 1 into 1
5.192 * [backup-simplify]: Simplify (/ 1 1) into 1
5.192 * [backup-simplify]: Simplify 1 into 1
5.193 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.193 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.194 * [backup-simplify]: Simplify (- 0) into 0
5.194 * [backup-simplify]: Simplify (+ 0 0) into 0
5.194 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (/ 1 (* z y)) (/ 0 y)))) into 0
5.195 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (* z y))) (* 0 (/ -1 y)))) into 0
5.195 * [taylor]: Taking taylor expansion of 0 in z
5.195 * [backup-simplify]: Simplify 0 into 0
5.196 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.196 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.196 * [backup-simplify]: Simplify (- 0) into 0
5.196 * [taylor]: Taking taylor expansion of 0 in y
5.196 * [backup-simplify]: Simplify 0 into 0
5.196 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.196 * [taylor]: Taking taylor expansion of 0 in y
5.196 * [backup-simplify]: Simplify 0 into 0
5.197 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.197 * [backup-simplify]: Simplify (- 0) into 0
5.197 * [backup-simplify]: Simplify 0 into 0
5.198 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.198 * [backup-simplify]: Simplify 0 into 0
5.198 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.198 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.199 * [backup-simplify]: Simplify (- 0) into 0
5.199 * [backup-simplify]: Simplify (+ 0 0) into 0
5.199 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (/ 1 (* z y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.200 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (* z y))) (* 0 (/ -1 y))))) into 0
5.200 * [taylor]: Taking taylor expansion of 0 in z
5.200 * [backup-simplify]: Simplify 0 into 0
5.200 * [taylor]: Taking taylor expansion of 0 in y
5.200 * [backup-simplify]: Simplify 0 into 0
5.201 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.201 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.201 * [backup-simplify]: Simplify (- 0) into 0
5.201 * [taylor]: Taking taylor expansion of 0 in y
5.201 * [backup-simplify]: Simplify 0 into 0
5.201 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.201 * [taylor]: Taking taylor expansion of 0 in y
5.201 * [backup-simplify]: Simplify 0 into 0
5.201 * [backup-simplify]: Simplify 0 into 0
5.201 * [backup-simplify]: Simplify 0 into 0
5.202 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.202 * [backup-simplify]: Simplify (- 0) into 0
5.202 * [backup-simplify]: Simplify 0 into 0
5.202 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.202 * [backup-simplify]: Simplify 0 into 0
5.203 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- y))) (* 1 (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- z))) 1)))) into (- (* x y) (* z y))
5.203 * * * [progress]: simplifying candidates
5.203 * [simplify]: Simplifying:
  (expm1 (* (- x z) y))
  (log1p (* (- x z) y))
  (* (- x z) y)
  (+ (log (- x z)) (log y))
  (log (* (- x z) y))
  (exp (* (- x z) y))
  (* (* (* (- x z) (- x z)) (- x z)) (* (* y y) y))
  (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y)))
  (cbrt (* (- x z) y))
  (* (* (* (- x z) y) (* (- x z) y)) (* (- x z) y))
  (sqrt (* (- x z) y))
  (sqrt (* (- x z) y))
  (* (sqrt (- x z)) (sqrt y))
  (* (sqrt (- x z)) (sqrt y))
  (* (- x z) (* (cbrt y) (cbrt y)))
  (* (- x z) (sqrt y))
  (* (- x z) 1)
  (* (cbrt (- x z)) y)
  (* (sqrt (- x z)) y)
  (* (- x z) y)
  (* (- (sqrt x) (sqrt z)) y)
  (* (- x z) y)
  (* (- (pow x 3) (pow z 3)) y)
  (* (- (* x x) (* z z)) y)
  0
  (- (* x y) (* z y))
  (- (* x y) (* z y))
5.203 * * [simplify]: iteration 0: 51 enodes
5.220 * * [simplify]: iteration 1: 114 enodes
5.266 * * [simplify]: iteration 2: 309 enodes
5.454 * * [simplify]: iteration 3: 1277 enodes
6.288 * * [simplify]: iteration complete: 5001 enodes
6.288 * * [simplify]: Extracting #0: cost 19 inf + 0
6.291 * * [simplify]: Extracting #1: cost 386 inf + 1
6.296 * * [simplify]: Extracting #2: cost 1292 inf + 664
6.320 * * [simplify]: Extracting #3: cost 1433 inf + 60253
6.378 * * [simplify]: Extracting #4: cost 411 inf + 252281
6.437 * * [simplify]: Extracting #5: cost 7 inf + 330863
6.531 * * [simplify]: Extracting #6: cost 0 inf + 332394
6.623 * * [simplify]: Extracting #7: cost 0 inf + 332354
6.686 * [simplify]: Simplified to:
  (expm1 (* y (- x z)))
  (log1p (* y (- x z)))
  (* y (- x z))
  (log (* y (- x z)))
  (log (* y (- x z)))
  (exp (* y (- x z)))
  (* (* y (- x z)) (* (* (- x z) y) (* (- x z) y)))
  (* (cbrt (* y (- x z))) (cbrt (* y (- x z))))
  (cbrt (* y (- x z)))
  (* (* y (- x z)) (* (* (- x z) y) (* (- x z) y)))
  (sqrt (* y (- x z)))
  (sqrt (* y (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* (* (cbrt y) (cbrt y)) (- x z))
  (* (sqrt y) (- x z))
  (- x z)
  (* y (cbrt (- x z)))
  (* y (sqrt (- x z)))
  (* y (- x z))
  (* y (- (sqrt x) (sqrt z)))
  (* y (- x z))
  (* (- (* (* x x) x) (* z (* z z))) y)
  (* y (- (* x x) (* z z)))
  0
  (* y (- x z))
  (* y (- x z))
6.687 * * * [progress]: adding candidates to table
6.821 * * [progress]: iteration 2 / 4
6.821 * * * [progress]: picking best candidate
6.828 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (- (- (* x y) (* y z)) (* y y)) (* y y)))>
6.828 * * * [progress]: localizing error
6.841 * * * [progress]: generating rewritten candidates
6.841 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
6.969 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
7.011 * * * [progress]: generating series expansions
7.011 * * * * [progress]: [ 1 / 2 ] generating series at (2)
7.011 * [backup-simplify]: Simplify (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) into (- (* x y) (* z y))
7.011 * [approximate]: Taking taylor expansion of (- (* x y) (* z y)) in (x y z) around 0
7.011 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in z
7.011 * [taylor]: Taking taylor expansion of (* x y) in z
7.011 * [taylor]: Taking taylor expansion of x in z
7.011 * [backup-simplify]: Simplify x into x
7.011 * [taylor]: Taking taylor expansion of y in z
7.011 * [backup-simplify]: Simplify y into y
7.011 * [taylor]: Taking taylor expansion of (* z y) in z
7.012 * [taylor]: Taking taylor expansion of z in z
7.012 * [backup-simplify]: Simplify 0 into 0
7.012 * [backup-simplify]: Simplify 1 into 1
7.012 * [taylor]: Taking taylor expansion of y in z
7.012 * [backup-simplify]: Simplify y into y
7.012 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y
7.012 * [taylor]: Taking taylor expansion of (* x y) in y
7.012 * [taylor]: Taking taylor expansion of x in y
7.012 * [backup-simplify]: Simplify x into x
7.012 * [taylor]: Taking taylor expansion of y in y
7.012 * [backup-simplify]: Simplify 0 into 0
7.012 * [backup-simplify]: Simplify 1 into 1
7.012 * [taylor]: Taking taylor expansion of (* z y) in y
7.012 * [taylor]: Taking taylor expansion of z in y
7.012 * [backup-simplify]: Simplify z into z
7.012 * [taylor]: Taking taylor expansion of y in y
7.012 * [backup-simplify]: Simplify 0 into 0
7.012 * [backup-simplify]: Simplify 1 into 1
7.012 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x
7.012 * [taylor]: Taking taylor expansion of (* x y) in x
7.012 * [taylor]: Taking taylor expansion of x in x
7.012 * [backup-simplify]: Simplify 0 into 0
7.012 * [backup-simplify]: Simplify 1 into 1
7.012 * [taylor]: Taking taylor expansion of y in x
7.012 * [backup-simplify]: Simplify y into y
7.012 * [taylor]: Taking taylor expansion of (* z y) in x
7.012 * [taylor]: Taking taylor expansion of z in x
7.012 * [backup-simplify]: Simplify z into z
7.012 * [taylor]: Taking taylor expansion of y in x
7.012 * [backup-simplify]: Simplify y into y
7.012 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x
7.012 * [taylor]: Taking taylor expansion of (* x y) in x
7.012 * [taylor]: Taking taylor expansion of x in x
7.012 * [backup-simplify]: Simplify 0 into 0
7.012 * [backup-simplify]: Simplify 1 into 1
7.012 * [taylor]: Taking taylor expansion of y in x
7.012 * [backup-simplify]: Simplify y into y
7.012 * [taylor]: Taking taylor expansion of (* z y) in x
7.012 * [taylor]: Taking taylor expansion of z in x
7.012 * [backup-simplify]: Simplify z into z
7.012 * [taylor]: Taking taylor expansion of y in x
7.012 * [backup-simplify]: Simplify y into y
7.012 * [backup-simplify]: Simplify (* 0 y) into 0
7.012 * [backup-simplify]: Simplify (* z y) into (* z y)
7.012 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y))
7.012 * [backup-simplify]: Simplify (+ 0 (- (* z y))) into (- (* z y))
7.012 * [taylor]: Taking taylor expansion of (- (* z y)) in y
7.012 * [taylor]: Taking taylor expansion of (* z y) in y
7.012 * [taylor]: Taking taylor expansion of z in y
7.012 * [backup-simplify]: Simplify z into z
7.012 * [taylor]: Taking taylor expansion of y in y
7.012 * [backup-simplify]: Simplify 0 into 0
7.012 * [backup-simplify]: Simplify 1 into 1
7.012 * [backup-simplify]: Simplify (* z 0) into 0
7.013 * [backup-simplify]: Simplify (- 0) into 0
7.013 * [taylor]: Taking taylor expansion of 0 in z
7.013 * [backup-simplify]: Simplify 0 into 0
7.013 * [backup-simplify]: Simplify 0 into 0
7.013 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.013 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
7.014 * [backup-simplify]: Simplify (- 0) into 0
7.014 * [backup-simplify]: Simplify (+ y 0) into y
7.014 * [taylor]: Taking taylor expansion of y in y
7.014 * [backup-simplify]: Simplify 0 into 0
7.014 * [backup-simplify]: Simplify 1 into 1
7.014 * [taylor]: Taking taylor expansion of 0 in z
7.014 * [backup-simplify]: Simplify 0 into 0
7.014 * [backup-simplify]: Simplify 0 into 0
7.014 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
7.014 * [backup-simplify]: Simplify (- z) into (- z)
7.014 * [taylor]: Taking taylor expansion of (- z) in z
7.014 * [taylor]: Taking taylor expansion of z in z
7.014 * [backup-simplify]: Simplify 0 into 0
7.014 * [backup-simplify]: Simplify 1 into 1
7.014 * [backup-simplify]: Simplify (- 0) into 0
7.014 * [backup-simplify]: Simplify 0 into 0
7.014 * [backup-simplify]: Simplify 0 into 0
7.015 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
7.015 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
7.015 * [backup-simplify]: Simplify (- 0) into 0
7.016 * [backup-simplify]: Simplify (+ 0 0) into 0
7.016 * [taylor]: Taking taylor expansion of 0 in y
7.016 * [backup-simplify]: Simplify 0 into 0
7.016 * [taylor]: Taking taylor expansion of 0 in z
7.016 * [backup-simplify]: Simplify 0 into 0
7.016 * [backup-simplify]: Simplify 0 into 0
7.016 * [taylor]: Taking taylor expansion of 1 in z
7.016 * [backup-simplify]: Simplify 1 into 1
7.016 * [backup-simplify]: Simplify 1 into 1
7.016 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
7.016 * [backup-simplify]: Simplify (- 0) into 0
7.017 * [taylor]: Taking taylor expansion of 0 in z
7.017 * [backup-simplify]: Simplify 0 into 0
7.017 * [backup-simplify]: Simplify 0 into 0
7.017 * [backup-simplify]: Simplify 0 into 0
7.017 * [backup-simplify]: Simplify (- 1) into -1
7.017 * [backup-simplify]: Simplify -1 into -1
7.017 * [backup-simplify]: Simplify 0 into 0
7.018 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
7.018 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
7.018 * [backup-simplify]: Simplify (- 0) into 0
7.019 * [backup-simplify]: Simplify (+ 0 0) into 0
7.019 * [taylor]: Taking taylor expansion of 0 in y
7.019 * [backup-simplify]: Simplify 0 into 0
7.019 * [taylor]: Taking taylor expansion of 0 in z
7.019 * [backup-simplify]: Simplify 0 into 0
7.019 * [backup-simplify]: Simplify 0 into 0
7.019 * [taylor]: Taking taylor expansion of 0 in z
7.019 * [backup-simplify]: Simplify 0 into 0
7.019 * [backup-simplify]: Simplify 0 into 0
7.019 * [taylor]: Taking taylor expansion of 0 in z
7.019 * [backup-simplify]: Simplify 0 into 0
7.019 * [backup-simplify]: Simplify 0 into 0
7.019 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.019 * [backup-simplify]: Simplify (- 0) into 0
7.020 * [taylor]: Taking taylor expansion of 0 in z
7.020 * [backup-simplify]: Simplify 0 into 0
7.020 * [backup-simplify]: Simplify 0 into 0
7.020 * [backup-simplify]: Simplify 0 into 0
7.020 * [backup-simplify]: Simplify (+ (* -1 (* z (* y 1))) (* 1 (* 1 (* y x)))) into (- (* x y) (* z y))
7.020 * [backup-simplify]: Simplify (+ (- (- (* (/ 1 x) (/ 1 y)) (* (/ 1 y) (/ 1 z))) (* (/ 1 y) (/ 1 y))) (* (/ 1 y) (/ 1 y))) into (- (/ 1 (* x y)) (/ 1 (* z y)))
7.020 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0
7.020 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z
7.020 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
7.020 * [taylor]: Taking taylor expansion of (* x y) in z
7.020 * [taylor]: Taking taylor expansion of x in z
7.020 * [backup-simplify]: Simplify x into x
7.020 * [taylor]: Taking taylor expansion of y in z
7.020 * [backup-simplify]: Simplify y into y
7.020 * [backup-simplify]: Simplify (* x y) into (* x y)
7.020 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
7.020 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
7.020 * [taylor]: Taking taylor expansion of (* z y) in z
7.020 * [taylor]: Taking taylor expansion of z in z
7.020 * [backup-simplify]: Simplify 0 into 0
7.020 * [backup-simplify]: Simplify 1 into 1
7.020 * [taylor]: Taking taylor expansion of y in z
7.020 * [backup-simplify]: Simplify y into y
7.020 * [backup-simplify]: Simplify (* 0 y) into 0
7.021 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.021 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.021 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y
7.021 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
7.021 * [taylor]: Taking taylor expansion of (* x y) in y
7.021 * [taylor]: Taking taylor expansion of x in y
7.021 * [backup-simplify]: Simplify x into x
7.021 * [taylor]: Taking taylor expansion of y in y
7.021 * [backup-simplify]: Simplify 0 into 0
7.021 * [backup-simplify]: Simplify 1 into 1
7.021 * [backup-simplify]: Simplify (* x 0) into 0
7.021 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
7.021 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.021 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
7.021 * [taylor]: Taking taylor expansion of (* z y) in y
7.021 * [taylor]: Taking taylor expansion of z in y
7.021 * [backup-simplify]: Simplify z into z
7.021 * [taylor]: Taking taylor expansion of y in y
7.021 * [backup-simplify]: Simplify 0 into 0
7.021 * [backup-simplify]: Simplify 1 into 1
7.021 * [backup-simplify]: Simplify (* z 0) into 0
7.022 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
7.022 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.022 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
7.022 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
7.022 * [taylor]: Taking taylor expansion of (* x y) in x
7.022 * [taylor]: Taking taylor expansion of x in x
7.022 * [backup-simplify]: Simplify 0 into 0
7.022 * [backup-simplify]: Simplify 1 into 1
7.022 * [taylor]: Taking taylor expansion of y in x
7.022 * [backup-simplify]: Simplify y into y
7.022 * [backup-simplify]: Simplify (* 0 y) into 0
7.022 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.022 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.022 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
7.022 * [taylor]: Taking taylor expansion of (* z y) in x
7.022 * [taylor]: Taking taylor expansion of z in x
7.022 * [backup-simplify]: Simplify z into z
7.022 * [taylor]: Taking taylor expansion of y in x
7.022 * [backup-simplify]: Simplify y into y
7.022 * [backup-simplify]: Simplify (* z y) into (* z y)
7.022 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
7.022 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
7.022 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
7.022 * [taylor]: Taking taylor expansion of (* x y) in x
7.022 * [taylor]: Taking taylor expansion of x in x
7.022 * [backup-simplify]: Simplify 0 into 0
7.022 * [backup-simplify]: Simplify 1 into 1
7.022 * [taylor]: Taking taylor expansion of y in x
7.022 * [backup-simplify]: Simplify y into y
7.022 * [backup-simplify]: Simplify (* 0 y) into 0
7.023 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.023 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.023 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
7.023 * [taylor]: Taking taylor expansion of (* z y) in x
7.023 * [taylor]: Taking taylor expansion of z in x
7.023 * [backup-simplify]: Simplify z into z
7.023 * [taylor]: Taking taylor expansion of y in x
7.023 * [backup-simplify]: Simplify y into y
7.023 * [backup-simplify]: Simplify (* z y) into (* z y)
7.023 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
7.023 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
7.023 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.023 * [taylor]: Taking taylor expansion of y in y
7.023 * [backup-simplify]: Simplify 0 into 0
7.023 * [backup-simplify]: Simplify 1 into 1
7.023 * [backup-simplify]: Simplify (/ 1 1) into 1
7.023 * [taylor]: Taking taylor expansion of 1 in z
7.023 * [backup-simplify]: Simplify 1 into 1
7.024 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
7.024 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.024 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y)))
7.024 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* z y)))) into (- (/ 1 (* z y)))
7.024 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
7.024 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
7.024 * [taylor]: Taking taylor expansion of (* z y) in y
7.024 * [taylor]: Taking taylor expansion of z in y
7.024 * [backup-simplify]: Simplify z into z
7.024 * [taylor]: Taking taylor expansion of y in y
7.024 * [backup-simplify]: Simplify 0 into 0
7.024 * [backup-simplify]: Simplify 1 into 1
7.024 * [backup-simplify]: Simplify (* z 0) into 0
7.024 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
7.024 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.025 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.025 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
7.025 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.025 * [taylor]: Taking taylor expansion of z in z
7.025 * [backup-simplify]: Simplify 0 into 0
7.025 * [backup-simplify]: Simplify 1 into 1
7.025 * [backup-simplify]: Simplify (/ 1 1) into 1
7.025 * [backup-simplify]: Simplify (- 1) into -1
7.025 * [backup-simplify]: Simplify -1 into -1
7.026 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.026 * [taylor]: Taking taylor expansion of 0 in z
7.026 * [backup-simplify]: Simplify 0 into 0
7.026 * [backup-simplify]: Simplify 1 into 1
7.027 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
7.027 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.027 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
7.028 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
7.028 * [backup-simplify]: Simplify (- 0) into 0
7.028 * [backup-simplify]: Simplify (+ 0 0) into 0
7.028 * [taylor]: Taking taylor expansion of 0 in y
7.028 * [backup-simplify]: Simplify 0 into 0
7.029 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
7.029 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.029 * [backup-simplify]: Simplify (- 0) into 0
7.029 * [taylor]: Taking taylor expansion of 0 in z
7.029 * [backup-simplify]: Simplify 0 into 0
7.030 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.030 * [taylor]: Taking taylor expansion of 0 in z
7.030 * [backup-simplify]: Simplify 0 into 0
7.031 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.031 * [backup-simplify]: Simplify (- 0) into 0
7.031 * [backup-simplify]: Simplify 0 into 0
7.031 * [backup-simplify]: Simplify 0 into 0
7.031 * [backup-simplify]: Simplify 0 into 0
7.033 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
7.033 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.035 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
7.035 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
7.035 * [backup-simplify]: Simplify (- 0) into 0
7.036 * [backup-simplify]: Simplify (+ 0 0) into 0
7.036 * [taylor]: Taking taylor expansion of 0 in y
7.036 * [backup-simplify]: Simplify 0 into 0
7.036 * [taylor]: Taking taylor expansion of 0 in z
7.036 * [backup-simplify]: Simplify 0 into 0
7.037 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.037 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.037 * [backup-simplify]: Simplify (- 0) into 0
7.037 * [taylor]: Taking taylor expansion of 0 in z
7.037 * [backup-simplify]: Simplify 0 into 0
7.038 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.038 * [taylor]: Taking taylor expansion of 0 in z
7.038 * [backup-simplify]: Simplify 0 into 0
7.038 * [backup-simplify]: Simplify 0 into 0
7.038 * [backup-simplify]: Simplify 0 into 0
7.039 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.039 * [backup-simplify]: Simplify (- 0) into 0
7.039 * [backup-simplify]: Simplify 0 into 0
7.040 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1)))) into (- (* x y) (* z y))
7.040 * [backup-simplify]: Simplify (+ (- (- (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- y)) (/ 1 (- z)))) (* (/ 1 (- y)) (/ 1 (- y)))) (* (/ 1 (- y)) (/ 1 (- y)))) into (- (/ 1 (* x y)) (/ 1 (* z y)))
7.040 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0
7.040 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z
7.040 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
7.040 * [taylor]: Taking taylor expansion of (* x y) in z
7.040 * [taylor]: Taking taylor expansion of x in z
7.040 * [backup-simplify]: Simplify x into x
7.040 * [taylor]: Taking taylor expansion of y in z
7.040 * [backup-simplify]: Simplify y into y
7.040 * [backup-simplify]: Simplify (* x y) into (* x y)
7.040 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
7.040 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
7.040 * [taylor]: Taking taylor expansion of (* z y) in z
7.040 * [taylor]: Taking taylor expansion of z in z
7.041 * [backup-simplify]: Simplify 0 into 0
7.041 * [backup-simplify]: Simplify 1 into 1
7.041 * [taylor]: Taking taylor expansion of y in z
7.041 * [backup-simplify]: Simplify y into y
7.041 * [backup-simplify]: Simplify (* 0 y) into 0
7.041 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.041 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.041 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y
7.041 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
7.041 * [taylor]: Taking taylor expansion of (* x y) in y
7.041 * [taylor]: Taking taylor expansion of x in y
7.041 * [backup-simplify]: Simplify x into x
7.041 * [taylor]: Taking taylor expansion of y in y
7.041 * [backup-simplify]: Simplify 0 into 0
7.041 * [backup-simplify]: Simplify 1 into 1
7.041 * [backup-simplify]: Simplify (* x 0) into 0
7.042 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
7.042 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.042 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
7.042 * [taylor]: Taking taylor expansion of (* z y) in y
7.042 * [taylor]: Taking taylor expansion of z in y
7.042 * [backup-simplify]: Simplify z into z
7.042 * [taylor]: Taking taylor expansion of y in y
7.042 * [backup-simplify]: Simplify 0 into 0
7.042 * [backup-simplify]: Simplify 1 into 1
7.042 * [backup-simplify]: Simplify (* z 0) into 0
7.042 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
7.042 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.043 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
7.043 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
7.043 * [taylor]: Taking taylor expansion of (* x y) in x
7.043 * [taylor]: Taking taylor expansion of x in x
7.043 * [backup-simplify]: Simplify 0 into 0
7.043 * [backup-simplify]: Simplify 1 into 1
7.043 * [taylor]: Taking taylor expansion of y in x
7.043 * [backup-simplify]: Simplify y into y
7.043 * [backup-simplify]: Simplify (* 0 y) into 0
7.043 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.043 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.043 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
7.043 * [taylor]: Taking taylor expansion of (* z y) in x
7.043 * [taylor]: Taking taylor expansion of z in x
7.043 * [backup-simplify]: Simplify z into z
7.043 * [taylor]: Taking taylor expansion of y in x
7.043 * [backup-simplify]: Simplify y into y
7.043 * [backup-simplify]: Simplify (* z y) into (* z y)
7.043 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
7.043 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
7.044 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
7.044 * [taylor]: Taking taylor expansion of (* x y) in x
7.044 * [taylor]: Taking taylor expansion of x in x
7.044 * [backup-simplify]: Simplify 0 into 0
7.044 * [backup-simplify]: Simplify 1 into 1
7.044 * [taylor]: Taking taylor expansion of y in x
7.044 * [backup-simplify]: Simplify y into y
7.044 * [backup-simplify]: Simplify (* 0 y) into 0
7.044 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.044 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.044 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
7.044 * [taylor]: Taking taylor expansion of (* z y) in x
7.044 * [taylor]: Taking taylor expansion of z in x
7.044 * [backup-simplify]: Simplify z into z
7.044 * [taylor]: Taking taylor expansion of y in x
7.044 * [backup-simplify]: Simplify y into y
7.044 * [backup-simplify]: Simplify (* z y) into (* z y)
7.045 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
7.045 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
7.045 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.045 * [taylor]: Taking taylor expansion of y in y
7.045 * [backup-simplify]: Simplify 0 into 0
7.045 * [backup-simplify]: Simplify 1 into 1
7.045 * [backup-simplify]: Simplify (/ 1 1) into 1
7.045 * [taylor]: Taking taylor expansion of 1 in z
7.045 * [backup-simplify]: Simplify 1 into 1
7.046 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
7.046 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.046 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y)))
7.046 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* z y)))) into (- (/ 1 (* z y)))
7.046 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
7.046 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
7.046 * [taylor]: Taking taylor expansion of (* z y) in y
7.046 * [taylor]: Taking taylor expansion of z in y
7.046 * [backup-simplify]: Simplify z into z
7.046 * [taylor]: Taking taylor expansion of y in y
7.046 * [backup-simplify]: Simplify 0 into 0
7.047 * [backup-simplify]: Simplify 1 into 1
7.047 * [backup-simplify]: Simplify (* z 0) into 0
7.047 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
7.047 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.047 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.047 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
7.047 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.047 * [taylor]: Taking taylor expansion of z in z
7.048 * [backup-simplify]: Simplify 0 into 0
7.048 * [backup-simplify]: Simplify 1 into 1
7.048 * [backup-simplify]: Simplify (/ 1 1) into 1
7.048 * [backup-simplify]: Simplify (- 1) into -1
7.048 * [backup-simplify]: Simplify -1 into -1
7.049 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.049 * [taylor]: Taking taylor expansion of 0 in z
7.049 * [backup-simplify]: Simplify 0 into 0
7.049 * [backup-simplify]: Simplify 1 into 1
7.050 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
7.050 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.050 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
7.051 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
7.051 * [backup-simplify]: Simplify (- 0) into 0
7.051 * [backup-simplify]: Simplify (+ 0 0) into 0
7.051 * [taylor]: Taking taylor expansion of 0 in y
7.051 * [backup-simplify]: Simplify 0 into 0
7.052 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
7.052 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.052 * [backup-simplify]: Simplify (- 0) into 0
7.052 * [taylor]: Taking taylor expansion of 0 in z
7.052 * [backup-simplify]: Simplify 0 into 0
7.053 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.053 * [taylor]: Taking taylor expansion of 0 in z
7.053 * [backup-simplify]: Simplify 0 into 0
7.054 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.054 * [backup-simplify]: Simplify (- 0) into 0
7.054 * [backup-simplify]: Simplify 0 into 0
7.054 * [backup-simplify]: Simplify 0 into 0
7.054 * [backup-simplify]: Simplify 0 into 0
7.056 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
7.056 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.056 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
7.057 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
7.057 * [backup-simplify]: Simplify (- 0) into 0
7.057 * [backup-simplify]: Simplify (+ 0 0) into 0
7.057 * [taylor]: Taking taylor expansion of 0 in y
7.057 * [backup-simplify]: Simplify 0 into 0
7.057 * [taylor]: Taking taylor expansion of 0 in z
7.057 * [backup-simplify]: Simplify 0 into 0
7.058 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.058 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.059 * [backup-simplify]: Simplify (- 0) into 0
7.059 * [taylor]: Taking taylor expansion of 0 in z
7.059 * [backup-simplify]: Simplify 0 into 0
7.059 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.059 * [taylor]: Taking taylor expansion of 0 in z
7.059 * [backup-simplify]: Simplify 0 into 0
7.060 * [backup-simplify]: Simplify 0 into 0
7.060 * [backup-simplify]: Simplify 0 into 0
7.061 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.061 * [backup-simplify]: Simplify (- 0) into 0
7.061 * [backup-simplify]: Simplify 0 into 0
7.062 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1)))) into (- (* x y) (* z y))
7.062 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
7.062 * [backup-simplify]: Simplify (- (- (* x y) (* y z)) (* y y)) into (- (* x y) (+ (pow y 2) (* z y)))
7.062 * [approximate]: Taking taylor expansion of (- (* x y) (+ (pow y 2) (* z y))) in (x y z) around 0
7.062 * [taylor]: Taking taylor expansion of (- (* x y) (+ (pow y 2) (* z y))) in z
7.062 * [taylor]: Taking taylor expansion of (* x y) in z
7.062 * [taylor]: Taking taylor expansion of x in z
7.062 * [backup-simplify]: Simplify x into x
7.063 * [taylor]: Taking taylor expansion of y in z
7.063 * [backup-simplify]: Simplify y into y
7.063 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* z y)) in z
7.063 * [taylor]: Taking taylor expansion of (pow y 2) in z
7.063 * [taylor]: Taking taylor expansion of y in z
7.063 * [backup-simplify]: Simplify y into y
7.063 * [taylor]: Taking taylor expansion of (* z y) in z
7.063 * [taylor]: Taking taylor expansion of z in z
7.063 * [backup-simplify]: Simplify 0 into 0
7.063 * [backup-simplify]: Simplify 1 into 1
7.063 * [taylor]: Taking taylor expansion of y in z
7.063 * [backup-simplify]: Simplify y into y
7.063 * [taylor]: Taking taylor expansion of (- (* x y) (+ (pow y 2) (* z y))) in y
7.063 * [taylor]: Taking taylor expansion of (* x y) in y
7.063 * [taylor]: Taking taylor expansion of x in y
7.063 * [backup-simplify]: Simplify x into x
7.063 * [taylor]: Taking taylor expansion of y in y
7.063 * [backup-simplify]: Simplify 0 into 0
7.063 * [backup-simplify]: Simplify 1 into 1
7.063 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* z y)) in y
7.063 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.063 * [taylor]: Taking taylor expansion of y in y
7.063 * [backup-simplify]: Simplify 0 into 0
7.063 * [backup-simplify]: Simplify 1 into 1
7.063 * [taylor]: Taking taylor expansion of (* z y) in y
7.063 * [taylor]: Taking taylor expansion of z in y
7.063 * [backup-simplify]: Simplify z into z
7.063 * [taylor]: Taking taylor expansion of y in y
7.063 * [backup-simplify]: Simplify 0 into 0
7.063 * [backup-simplify]: Simplify 1 into 1
7.063 * [taylor]: Taking taylor expansion of (- (* x y) (+ (pow y 2) (* z y))) in x
7.063 * [taylor]: Taking taylor expansion of (* x y) in x
7.063 * [taylor]: Taking taylor expansion of x in x
7.063 * [backup-simplify]: Simplify 0 into 0
7.063 * [backup-simplify]: Simplify 1 into 1
7.064 * [taylor]: Taking taylor expansion of y in x
7.064 * [backup-simplify]: Simplify y into y
7.064 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* z y)) in x
7.064 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.064 * [taylor]: Taking taylor expansion of y in x
7.064 * [backup-simplify]: Simplify y into y
7.064 * [taylor]: Taking taylor expansion of (* z y) in x
7.064 * [taylor]: Taking taylor expansion of z in x
7.064 * [backup-simplify]: Simplify z into z
7.064 * [taylor]: Taking taylor expansion of y in x
7.064 * [backup-simplify]: Simplify y into y
7.064 * [taylor]: Taking taylor expansion of (- (* x y) (+ (pow y 2) (* z y))) in x
7.064 * [taylor]: Taking taylor expansion of (* x y) in x
7.064 * [taylor]: Taking taylor expansion of x in x
7.064 * [backup-simplify]: Simplify 0 into 0
7.064 * [backup-simplify]: Simplify 1 into 1
7.064 * [taylor]: Taking taylor expansion of y in x
7.064 * [backup-simplify]: Simplify y into y
7.064 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* z y)) in x
7.064 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.064 * [taylor]: Taking taylor expansion of y in x
7.064 * [backup-simplify]: Simplify y into y
7.064 * [taylor]: Taking taylor expansion of (* z y) in x
7.064 * [taylor]: Taking taylor expansion of z in x
7.064 * [backup-simplify]: Simplify z into z
7.064 * [taylor]: Taking taylor expansion of y in x
7.064 * [backup-simplify]: Simplify y into y
7.064 * [backup-simplify]: Simplify (* 0 y) into 0
7.064 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.064 * [backup-simplify]: Simplify (* z y) into (* z y)
7.065 * [backup-simplify]: Simplify (+ (pow y 2) (* z y)) into (+ (pow y 2) (* z y))
7.065 * [backup-simplify]: Simplify (- (+ (pow y 2) (* z y))) into (- (+ (pow y 2) (* z y)))
7.065 * [backup-simplify]: Simplify (+ 0 (- (+ (pow y 2) (* z y)))) into (- (+ (pow y 2) (* z y)))
7.065 * [taylor]: Taking taylor expansion of (- (+ (pow y 2) (* z y))) in y
7.065 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* z y)) in y
7.065 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.065 * [taylor]: Taking taylor expansion of y in y
7.065 * [backup-simplify]: Simplify 0 into 0
7.065 * [backup-simplify]: Simplify 1 into 1
7.065 * [taylor]: Taking taylor expansion of (* z y) in y
7.065 * [taylor]: Taking taylor expansion of z in y
7.065 * [backup-simplify]: Simplify z into z
7.065 * [taylor]: Taking taylor expansion of y in y
7.065 * [backup-simplify]: Simplify 0 into 0
7.065 * [backup-simplify]: Simplify 1 into 1
7.066 * [backup-simplify]: Simplify (* z 0) into 0
7.066 * [backup-simplify]: Simplify (+ 0 0) into 0
7.066 * [backup-simplify]: Simplify (- 0) into 0
7.066 * [taylor]: Taking taylor expansion of 0 in z
7.066 * [backup-simplify]: Simplify 0 into 0
7.066 * [backup-simplify]: Simplify 0 into 0
7.067 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.067 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
7.067 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
7.067 * [backup-simplify]: Simplify (+ 0 0) into 0
7.068 * [backup-simplify]: Simplify (- 0) into 0
7.068 * [backup-simplify]: Simplify (+ y 0) into y
7.068 * [taylor]: Taking taylor expansion of y in y
7.068 * [backup-simplify]: Simplify 0 into 0
7.068 * [backup-simplify]: Simplify 1 into 1
7.068 * [taylor]: Taking taylor expansion of 0 in z
7.068 * [backup-simplify]: Simplify 0 into 0
7.068 * [backup-simplify]: Simplify 0 into 0
7.068 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
7.068 * [backup-simplify]: Simplify (+ 0 z) into z
7.068 * [backup-simplify]: Simplify (- z) into (- z)
7.068 * [taylor]: Taking taylor expansion of (- z) in z
7.068 * [taylor]: Taking taylor expansion of z in z
7.068 * [backup-simplify]: Simplify 0 into 0
7.068 * [backup-simplify]: Simplify 1 into 1
7.069 * [backup-simplify]: Simplify (- 0) into 0
7.069 * [backup-simplify]: Simplify 0 into 0
7.069 * [backup-simplify]: Simplify 0 into 0
7.069 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
7.070 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
7.070 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
7.070 * [backup-simplify]: Simplify (+ 0 0) into 0
7.071 * [backup-simplify]: Simplify (- 0) into 0
7.071 * [backup-simplify]: Simplify (+ 0 0) into 0
7.071 * [taylor]: Taking taylor expansion of 0 in y
7.071 * [backup-simplify]: Simplify 0 into 0
7.071 * [taylor]: Taking taylor expansion of 0 in z
7.071 * [backup-simplify]: Simplify 0 into 0
7.071 * [backup-simplify]: Simplify 0 into 0
7.071 * [taylor]: Taking taylor expansion of 1 in z
7.071 * [backup-simplify]: Simplify 1 into 1
7.071 * [backup-simplify]: Simplify 1 into 1
7.071 * [backup-simplify]: Simplify (* 1 1) into 1
7.072 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
7.072 * [backup-simplify]: Simplify (+ 1 0) into 1
7.072 * [backup-simplify]: Simplify (- 1) into -1
7.072 * [taylor]: Taking taylor expansion of -1 in z
7.072 * [backup-simplify]: Simplify -1 into -1
7.072 * [backup-simplify]: Simplify -1 into -1
7.072 * [backup-simplify]: Simplify 0 into 0
7.073 * [backup-simplify]: Simplify (- 1) into -1
7.073 * [backup-simplify]: Simplify -1 into -1
7.073 * [backup-simplify]: Simplify (+ (* -1 (* z (* y 1))) (+ (* -1 (pow (* 1 (* y 1)) 2)) (* 1 (* 1 (* y x))))) into (- (* x y) (+ (pow y 2) (* z y)))
7.073 * [backup-simplify]: Simplify (- (- (* (/ 1 x) (/ 1 y)) (* (/ 1 y) (/ 1 z))) (* (/ 1 y) (/ 1 y))) into (- (/ 1 (* x y)) (+ (/ 1 (pow y 2)) (/ 1 (* z y))))
7.074 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (pow y 2)) (/ 1 (* z y)))) in (x y z) around 0
7.074 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (pow y 2)) (/ 1 (* z y)))) in z
7.074 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
7.074 * [taylor]: Taking taylor expansion of (* x y) in z
7.074 * [taylor]: Taking taylor expansion of x in z
7.074 * [backup-simplify]: Simplify x into x
7.074 * [taylor]: Taking taylor expansion of y in z
7.074 * [backup-simplify]: Simplify y into y
7.074 * [backup-simplify]: Simplify (* x y) into (* x y)
7.074 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
7.074 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* z y))) in z
7.074 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
7.074 * [taylor]: Taking taylor expansion of (pow y 2) in z
7.074 * [taylor]: Taking taylor expansion of y in z
7.074 * [backup-simplify]: Simplify y into y
7.074 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.074 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.074 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
7.074 * [taylor]: Taking taylor expansion of (* z y) in z
7.074 * [taylor]: Taking taylor expansion of z in z
7.074 * [backup-simplify]: Simplify 0 into 0
7.074 * [backup-simplify]: Simplify 1 into 1
7.074 * [taylor]: Taking taylor expansion of y in z
7.074 * [backup-simplify]: Simplify y into y
7.074 * [backup-simplify]: Simplify (* 0 y) into 0
7.075 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.075 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.075 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (pow y 2)) (/ 1 (* z y)))) in y
7.075 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
7.075 * [taylor]: Taking taylor expansion of (* x y) in y
7.075 * [taylor]: Taking taylor expansion of x in y
7.075 * [backup-simplify]: Simplify x into x
7.075 * [taylor]: Taking taylor expansion of y in y
7.075 * [backup-simplify]: Simplify 0 into 0
7.075 * [backup-simplify]: Simplify 1 into 1
7.075 * [backup-simplify]: Simplify (* x 0) into 0
7.075 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
7.075 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.076 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* z y))) in y
7.076 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.076 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.076 * [taylor]: Taking taylor expansion of y in y
7.076 * [backup-simplify]: Simplify 0 into 0
7.076 * [backup-simplify]: Simplify 1 into 1
7.076 * [backup-simplify]: Simplify (* 1 1) into 1
7.076 * [backup-simplify]: Simplify (/ 1 1) into 1
7.076 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
7.076 * [taylor]: Taking taylor expansion of (* z y) in y
7.076 * [taylor]: Taking taylor expansion of z in y
7.076 * [backup-simplify]: Simplify z into z
7.076 * [taylor]: Taking taylor expansion of y in y
7.076 * [backup-simplify]: Simplify 0 into 0
7.076 * [backup-simplify]: Simplify 1 into 1
7.077 * [backup-simplify]: Simplify (* z 0) into 0
7.077 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
7.077 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.077 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (pow y 2)) (/ 1 (* z y)))) in x
7.077 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
7.077 * [taylor]: Taking taylor expansion of (* x y) in x
7.077 * [taylor]: Taking taylor expansion of x in x
7.077 * [backup-simplify]: Simplify 0 into 0
7.077 * [backup-simplify]: Simplify 1 into 1
7.077 * [taylor]: Taking taylor expansion of y in x
7.077 * [backup-simplify]: Simplify y into y
7.077 * [backup-simplify]: Simplify (* 0 y) into 0
7.078 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.078 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.078 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* z y))) in x
7.078 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.078 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.078 * [taylor]: Taking taylor expansion of y in x
7.078 * [backup-simplify]: Simplify y into y
7.078 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.078 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.078 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
7.078 * [taylor]: Taking taylor expansion of (* z y) in x
7.078 * [taylor]: Taking taylor expansion of z in x
7.078 * [backup-simplify]: Simplify z into z
7.078 * [taylor]: Taking taylor expansion of y in x
7.078 * [backup-simplify]: Simplify y into y
7.078 * [backup-simplify]: Simplify (* z y) into (* z y)
7.078 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
7.078 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (pow y 2)) (/ 1 (* z y)))) in x
7.078 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
7.078 * [taylor]: Taking taylor expansion of (* x y) in x
7.078 * [taylor]: Taking taylor expansion of x in x
7.078 * [backup-simplify]: Simplify 0 into 0
7.078 * [backup-simplify]: Simplify 1 into 1
7.078 * [taylor]: Taking taylor expansion of y in x
7.078 * [backup-simplify]: Simplify y into y
7.079 * [backup-simplify]: Simplify (* 0 y) into 0
7.079 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.079 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.079 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* z y))) in x
7.079 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.079 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.079 * [taylor]: Taking taylor expansion of y in x
7.079 * [backup-simplify]: Simplify y into y
7.079 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.079 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.079 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
7.079 * [taylor]: Taking taylor expansion of (* z y) in x
7.079 * [taylor]: Taking taylor expansion of z in x
7.079 * [backup-simplify]: Simplify z into z
7.079 * [taylor]: Taking taylor expansion of y in x
7.079 * [backup-simplify]: Simplify y into y
7.079 * [backup-simplify]: Simplify (* z y) into (* z y)
7.080 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
7.080 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
7.080 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.080 * [taylor]: Taking taylor expansion of y in y
7.080 * [backup-simplify]: Simplify 0 into 0
7.080 * [backup-simplify]: Simplify 1 into 1
7.080 * [backup-simplify]: Simplify (/ 1 1) into 1
7.081 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
7.081 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.081 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) (/ 1 (* z y))) into (+ (/ 1 (pow y 2)) (/ 1 (* z y)))
7.081 * [backup-simplify]: Simplify (- (+ (/ 1 (pow y 2)) (/ 1 (* z y)))) into (- (+ (/ 1 (pow y 2)) (/ 1 (* z y))))
7.082 * [backup-simplify]: Simplify (+ 0 (- (+ (/ 1 (pow y 2)) (/ 1 (* z y))))) into (- (+ (/ 1 (pow y 2)) (/ 1 (* z y))))
7.082 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* z y)))) in y
7.082 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* z y))) in y
7.082 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.082 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.082 * [taylor]: Taking taylor expansion of y in y
7.082 * [backup-simplify]: Simplify 0 into 0
7.082 * [backup-simplify]: Simplify 1 into 1
7.082 * [backup-simplify]: Simplify (* 1 1) into 1
7.083 * [backup-simplify]: Simplify (/ 1 1) into 1
7.083 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
7.083 * [taylor]: Taking taylor expansion of (* z y) in y
7.083 * [taylor]: Taking taylor expansion of z in y
7.083 * [backup-simplify]: Simplify z into z
7.083 * [taylor]: Taking taylor expansion of y in y
7.083 * [backup-simplify]: Simplify 0 into 0
7.083 * [backup-simplify]: Simplify 1 into 1
7.083 * [backup-simplify]: Simplify (* z 0) into 0
7.083 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
7.083 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.084 * [backup-simplify]: Simplify (+ 1 0) into 1
7.084 * [backup-simplify]: Simplify (- 1) into -1
7.084 * [taylor]: Taking taylor expansion of -1 in z
7.084 * [backup-simplify]: Simplify -1 into -1
7.084 * [taylor]: Taking taylor expansion of 1 in z
7.084 * [backup-simplify]: Simplify 1 into 1
7.085 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
7.085 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.085 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
7.086 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
7.086 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
7.086 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
7.086 * [backup-simplify]: Simplify (+ 0 0) into 0
7.086 * [backup-simplify]: Simplify (- 0) into 0
7.087 * [backup-simplify]: Simplify (+ 0 0) into 0
7.087 * [taylor]: Taking taylor expansion of 0 in y
7.087 * [backup-simplify]: Simplify 0 into 0
7.087 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.088 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.088 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
7.088 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.088 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
7.088 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.088 * [taylor]: Taking taylor expansion of z in z
7.088 * [backup-simplify]: Simplify 0 into 0
7.088 * [backup-simplify]: Simplify 1 into 1
7.089 * [backup-simplify]: Simplify (/ 1 1) into 1
7.089 * [backup-simplify]: Simplify (- 1) into -1
7.089 * [backup-simplify]: Simplify -1 into -1
7.090 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.090 * [taylor]: Taking taylor expansion of 0 in z
7.090 * [backup-simplify]: Simplify 0 into 0
7.090 * [backup-simplify]: Simplify -1 into -1
7.090 * [backup-simplify]: Simplify 1 into 1
7.090 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (+ (* -1 (pow (* 1 (* (/ 1 (/ 1 y)) 1)) 2)) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1))))) into (- (* x y) (+ (pow y 2) (* z y)))
7.091 * [backup-simplify]: Simplify (- (- (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- y)) (/ 1 (- z)))) (* (/ 1 (- y)) (/ 1 (- y)))) into (- (/ 1 (* x y)) (+ (/ 1 (pow y 2)) (/ 1 (* z y))))
7.091 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (pow y 2)) (/ 1 (* z y)))) in (x y z) around 0
7.091 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (pow y 2)) (/ 1 (* z y)))) in z
7.091 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
7.091 * [taylor]: Taking taylor expansion of (* x y) in z
7.091 * [taylor]: Taking taylor expansion of x in z
7.091 * [backup-simplify]: Simplify x into x
7.091 * [taylor]: Taking taylor expansion of y in z
7.091 * [backup-simplify]: Simplify y into y
7.091 * [backup-simplify]: Simplify (* x y) into (* x y)
7.091 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
7.091 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* z y))) in z
7.091 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
7.091 * [taylor]: Taking taylor expansion of (pow y 2) in z
7.091 * [taylor]: Taking taylor expansion of y in z
7.091 * [backup-simplify]: Simplify y into y
7.091 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.092 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.092 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
7.092 * [taylor]: Taking taylor expansion of (* z y) in z
7.092 * [taylor]: Taking taylor expansion of z in z
7.092 * [backup-simplify]: Simplify 0 into 0
7.092 * [backup-simplify]: Simplify 1 into 1
7.092 * [taylor]: Taking taylor expansion of y in z
7.092 * [backup-simplify]: Simplify y into y
7.092 * [backup-simplify]: Simplify (* 0 y) into 0
7.092 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.092 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.092 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (pow y 2)) (/ 1 (* z y)))) in y
7.092 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
7.092 * [taylor]: Taking taylor expansion of (* x y) in y
7.092 * [taylor]: Taking taylor expansion of x in y
7.092 * [backup-simplify]: Simplify x into x
7.092 * [taylor]: Taking taylor expansion of y in y
7.092 * [backup-simplify]: Simplify 0 into 0
7.093 * [backup-simplify]: Simplify 1 into 1
7.093 * [backup-simplify]: Simplify (* x 0) into 0
7.093 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
7.093 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.093 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* z y))) in y
7.093 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.093 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.093 * [taylor]: Taking taylor expansion of y in y
7.093 * [backup-simplify]: Simplify 0 into 0
7.093 * [backup-simplify]: Simplify 1 into 1
7.094 * [backup-simplify]: Simplify (* 1 1) into 1
7.094 * [backup-simplify]: Simplify (/ 1 1) into 1
7.094 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
7.094 * [taylor]: Taking taylor expansion of (* z y) in y
7.094 * [taylor]: Taking taylor expansion of z in y
7.094 * [backup-simplify]: Simplify z into z
7.094 * [taylor]: Taking taylor expansion of y in y
7.094 * [backup-simplify]: Simplify 0 into 0
7.094 * [backup-simplify]: Simplify 1 into 1
7.094 * [backup-simplify]: Simplify (* z 0) into 0
7.094 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
7.095 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.095 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (pow y 2)) (/ 1 (* z y)))) in x
7.095 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
7.095 * [taylor]: Taking taylor expansion of (* x y) in x
7.095 * [taylor]: Taking taylor expansion of x in x
7.095 * [backup-simplify]: Simplify 0 into 0
7.095 * [backup-simplify]: Simplify 1 into 1
7.095 * [taylor]: Taking taylor expansion of y in x
7.095 * [backup-simplify]: Simplify y into y
7.095 * [backup-simplify]: Simplify (* 0 y) into 0
7.095 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.095 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.095 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* z y))) in x
7.095 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.095 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.095 * [taylor]: Taking taylor expansion of y in x
7.095 * [backup-simplify]: Simplify y into y
7.095 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.096 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.096 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
7.096 * [taylor]: Taking taylor expansion of (* z y) in x
7.096 * [taylor]: Taking taylor expansion of z in x
7.096 * [backup-simplify]: Simplify z into z
7.096 * [taylor]: Taking taylor expansion of y in x
7.096 * [backup-simplify]: Simplify y into y
7.096 * [backup-simplify]: Simplify (* z y) into (* z y)
7.096 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
7.096 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (pow y 2)) (/ 1 (* z y)))) in x
7.096 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
7.096 * [taylor]: Taking taylor expansion of (* x y) in x
7.096 * [taylor]: Taking taylor expansion of x in x
7.096 * [backup-simplify]: Simplify 0 into 0
7.096 * [backup-simplify]: Simplify 1 into 1
7.096 * [taylor]: Taking taylor expansion of y in x
7.096 * [backup-simplify]: Simplify y into y
7.096 * [backup-simplify]: Simplify (* 0 y) into 0
7.097 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.097 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.097 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* z y))) in x
7.097 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.097 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.097 * [taylor]: Taking taylor expansion of y in x
7.097 * [backup-simplify]: Simplify y into y
7.097 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.097 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.097 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
7.097 * [taylor]: Taking taylor expansion of (* z y) in x
7.097 * [taylor]: Taking taylor expansion of z in x
7.097 * [backup-simplify]: Simplify z into z
7.097 * [taylor]: Taking taylor expansion of y in x
7.097 * [backup-simplify]: Simplify y into y
7.097 * [backup-simplify]: Simplify (* z y) into (* z y)
7.097 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
7.097 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
7.098 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.098 * [taylor]: Taking taylor expansion of y in y
7.098 * [backup-simplify]: Simplify 0 into 0
7.098 * [backup-simplify]: Simplify 1 into 1
7.098 * [backup-simplify]: Simplify (/ 1 1) into 1
7.099 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
7.099 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.099 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) (/ 1 (* z y))) into (+ (/ 1 (pow y 2)) (/ 1 (* z y)))
7.099 * [backup-simplify]: Simplify (- (+ (/ 1 (pow y 2)) (/ 1 (* z y)))) into (- (+ (/ 1 (pow y 2)) (/ 1 (* z y))))
7.099 * [backup-simplify]: Simplify (+ 0 (- (+ (/ 1 (pow y 2)) (/ 1 (* z y))))) into (- (+ (/ 1 (pow y 2)) (/ 1 (* z y))))
7.100 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* z y)))) in y
7.100 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* z y))) in y
7.100 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.100 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.100 * [taylor]: Taking taylor expansion of y in y
7.100 * [backup-simplify]: Simplify 0 into 0
7.100 * [backup-simplify]: Simplify 1 into 1
7.100 * [backup-simplify]: Simplify (* 1 1) into 1
7.100 * [backup-simplify]: Simplify (/ 1 1) into 1
7.100 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
7.100 * [taylor]: Taking taylor expansion of (* z y) in y
7.100 * [taylor]: Taking taylor expansion of z in y
7.101 * [backup-simplify]: Simplify z into z
7.101 * [taylor]: Taking taylor expansion of y in y
7.101 * [backup-simplify]: Simplify 0 into 0
7.101 * [backup-simplify]: Simplify 1 into 1
7.101 * [backup-simplify]: Simplify (* z 0) into 0
7.101 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
7.101 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.101 * [backup-simplify]: Simplify (+ 1 0) into 1
7.102 * [backup-simplify]: Simplify (- 1) into -1
7.102 * [taylor]: Taking taylor expansion of -1 in z
7.102 * [backup-simplify]: Simplify -1 into -1
7.102 * [taylor]: Taking taylor expansion of 1 in z
7.102 * [backup-simplify]: Simplify 1 into 1
7.103 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
7.103 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.103 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
7.103 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
7.103 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
7.104 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
7.104 * [backup-simplify]: Simplify (+ 0 0) into 0
7.104 * [backup-simplify]: Simplify (- 0) into 0
7.105 * [backup-simplify]: Simplify (+ 0 0) into 0
7.105 * [taylor]: Taking taylor expansion of 0 in y
7.105 * [backup-simplify]: Simplify 0 into 0
7.105 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.106 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.106 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
7.106 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.106 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
7.106 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.106 * [taylor]: Taking taylor expansion of z in z
7.106 * [backup-simplify]: Simplify 0 into 0
7.106 * [backup-simplify]: Simplify 1 into 1
7.107 * [backup-simplify]: Simplify (/ 1 1) into 1
7.107 * [backup-simplify]: Simplify (- 1) into -1
7.107 * [backup-simplify]: Simplify -1 into -1
7.108 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.108 * [taylor]: Taking taylor expansion of 0 in z
7.108 * [backup-simplify]: Simplify 0 into 0
7.108 * [backup-simplify]: Simplify -1 into -1
7.108 * [backup-simplify]: Simplify 1 into 1
7.108 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (+ (* -1 (pow (* 1 (* (/ 1 (/ 1 (- y))) 1)) 2)) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1))))) into (- (* x y) (+ (pow y 2) (* z y)))
7.108 * * * [progress]: simplifying candidates
7.110 * [simplify]: Simplifying:
  (expm1 (+ (- (- (* x y) (* y z)) (* y y)) (* y y)))
  (log1p (+ (- (- (* x y) (* y z)) (* y y)) (* y y)))
  (* (/ (/ (exp (* x y)) (exp (* y z))) (exp (* y y))) (exp (* y y)))
  (* (/ (exp (- (* x y) (* y z))) (exp (* y y))) (exp (* y y)))
  (* (exp (- (- (* x y) (* y z)) (* y y))) (exp (* y y)))
  (log (+ (- (- (* x y) (* y z)) (* y y)) (* y y)))
  (exp (+ (- (- (* x y) (* y z)) (* y y)) (* y y)))
  (* (cbrt (+ (- (- (* x y) (* y z)) (* y y)) (* y y))) (cbrt (+ (- (- (* x y) (* y z)) (* y y)) (* y y))))
  (cbrt (+ (- (- (* x y) (* y z)) (* y y)) (* y y)))
  (* (* (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (+ (- (- (* x y) (* y z)) (* y y)) (* y y))) (+ (- (- (* x y) (* y z)) (* y y)) (* y y)))
  (sqrt (+ (- (- (* x y) (* y z)) (* y y)) (* y y)))
  (sqrt (+ (- (- (* x y) (* y z)) (* y y)) (* y y)))
  (+ (pow (- (- (* x y) (* y z)) (* y y)) 3) (pow (* y y) 3))
  (+ (* (- (- (* x y) (* y z)) (* y y)) (- (- (* x y) (* y z)) (* y y))) (- (* (* y y) (* y y)) (* (- (- (* x y) (* y z)) (* y y)) (* y y))))
  (- (* (- (- (* x y) (* y z)) (* y y)) (- (- (* x y) (* y z)) (* y y))) (* (* y y) (* y y)))
  (- (- (- (* x y) (* y z)) (* y y)) (* y y))
  (+ (fma (- y) y (* y y)) (* y y))
  (+ (fma (- y) y (* y y)) (* y y))
  (+ (fma (- y) y (* y y)) (* y y))
  (+ (- (* y y)) (* y y))
  (+ (- (fma (- z) y (* z y)) (* y y)) (* y y))
  (+ (- (- (* y z)) (* y y)) (* y y))
  (+ (- (- (* y z)) (* y y)) (* y y))
  (+ (- (* y y)) (* y y))
  (- (* y y) (* y y))
  (fma (* (cbrt (- (* x y) (* y z))) (cbrt (- (* x y) (* y z)))) (cbrt (- (* x y) (* y z))) (- (* y y)))
  (fma (- y) y (* y y))
  (fma (sqrt (- (* x y) (* y z))) (sqrt (- (* x y) (* y z))) (- (* y y)))
  (fma (- y) y (* y y))
  (fma 1 (- (* x y) (* y z)) (- (* y y)))
  (fma (- y) y (* y y))
  (expm1 (- (- (* x y) (* y z)) (* y y)))
  (log1p (- (- (* x y) (* y z)) (* y y)))
  (- (* y y))
  (- (* y y))
  (- (* y y))
  (/ (/ (exp (* x y)) (exp (* y z))) (exp (* y y)))
  (/ (exp (- (* x y) (* y z))) (exp (* y y)))
  (log (- (- (* x y) (* y z)) (* y y)))
  (exp (- (- (* x y) (* y z)) (* y y)))
  (* (cbrt (- (- (* x y) (* y z)) (* y y))) (cbrt (- (- (* x y) (* y z)) (* y y))))
  (cbrt (- (- (* x y) (* y z)) (* y y)))
  (* (* (- (- (* x y) (* y z)) (* y y)) (- (- (* x y) (* y z)) (* y y))) (- (- (* x y) (* y z)) (* y y)))
  (sqrt (- (- (* x y) (* y z)) (* y y)))
  (sqrt (- (- (* x y) (* y z)) (* y y)))
  (- (pow (- (* x y) (* y z)) 3) (pow (* y y) 3))
  (+ (* (- (* x y) (* y z)) (- (* x y) (* y z))) (+ (* (* y y) (* y y)) (* (- (* x y) (* y z)) (* y y))))
  (- (* y y))
  (- (* (- (* x y) (* y z)) (- (* x y) (* y z))) (* (* y y) (* y y)))
  (+ (- (* x y) (* y z)) (* y y))
  (+ (sqrt (- (* x y) (* y z))) y)
  (- (sqrt (- (* x y) (* y z))) y)
  (- (fma (- z) y (* z y)) (* y y))
  (- (- (* y z)) (* y y))
  (- (- (* y z)) (* y y))
  (+ (* y z) (* y y))
  (- (* y y))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (* x y) (+ (pow y 2) (* z y)))
  (- (* x y) (+ (pow y 2) (* z y)))
  (- (* x y) (+ (pow y 2) (* z y)))
7.111 * * [simplify]: iteration 0: 84 enodes
7.144 * * [simplify]: iteration 1: 230 enodes
7.245 * * [simplify]: iteration 2: 754 enodes
8.242 * * [simplify]: iteration 3: 3877 enodes
9.815 * * [simplify]: iteration complete: 5000 enodes
9.815 * * [simplify]: Extracting #0: cost 38 inf + 0
9.817 * * [simplify]: Extracting #1: cost 624 inf + 1
9.824 * * [simplify]: Extracting #2: cost 1095 inf + 8532
9.857 * * [simplify]: Extracting #3: cost 578 inf + 111243
9.947 * * [simplify]: Extracting #4: cost 32 inf + 239753
10.039 * * [simplify]: Extracting #5: cost 0 inf + 253600
10.125 * [simplify]: Simplified to:
  (expm1 (* (- x z) y))
  (log1p (* (- x z) y))
  (exp (* (- x z) y))
  (exp (* (- x z) y))
  (exp (* (- x z) y))
  (log (* (- x z) y))
  (exp (* (- x z) y))
  (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y)))
  (cbrt (* (- x z) y))
  (* (* (* (- x z) y) (* (- x z) y)) (* (- x z) y))
  (sqrt (* (- x z) y))
  (sqrt (* (- x z) y))
  (fma (* y (* y y)) (* y (* y y)) (* (* y (- x (+ y z))) (* (* y (- x (+ y z))) (* y (- x (+ y z))))))
  (fma (* y (- x (+ y z))) (* y (- x (+ y z))) (* (* y y) (- (* y y) (* y (- x (+ y z))))))
  (* (fma (- x z) y (* -2 (* y y))) (* (- x z) y))
  (fma (- x z) y (* -2 (* y y)))
  (* y y)
  (* y y)
  (* y y)
  0
  (- (* z y) (* z y))
  (- (* z y))
  (- (* z y))
  0
  0
  (- (* (cbrt (* (- x z) y)) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y)))) (* y y))
  0
  (fma y (- x z) (* (- y) y))
  0
  (fma y (- x z) (* (- y) y))
  0
  (expm1 (* y (- x (+ y z))))
  (log1p (* y (- x (+ y z))))
  (* (- y) y)
  (* (- y) y)
  (* (- y) y)
  (exp (* y (- x (+ y z))))
  (exp (* y (- x (+ y z))))
  (log (* y (- x (+ y z))))
  (exp (* y (- x (+ y z))))
  (* (cbrt (* y (- x (+ y z)))) (cbrt (* y (- x (+ y z)))))
  (cbrt (* y (- x (+ y z))))
  (* (* y (- x (+ y z))) (* (* y (- x (+ y z))) (* y (- x (+ y z)))))
  (sqrt (* y (- x (+ y z))))
  (sqrt (* y (- x (+ y z))))
  (- (* (* (* (- x z) y) (* (- x z) y)) (* (- x z) y)) (* (* y y) (* (* y y) (* y y))))
  (fma (* (- x z) y) (+ (* (- x z) y) (* y y)) (* (* y y) (* y y)))
  (* (- y) y)
  (* (* y y) (- (* (- x z) (- x z)) (* y y)))
  (fma (- x z) y (* y y))
  (+ (sqrt (* (- x z) y)) y)
  (- (sqrt (* (- x z) y)) y)
  (- (- (* z y) (* z y)) (* y y))
  (* (+ y z) (- y))
  (* (+ y z) (- y))
  (* y (+ y z))
  (* (- y) y)
  (* (- x z) y)
  (* (- x z) y)
  (* (- x z) y)
  (* y (- x (+ y z)))
  (* y (- x (+ y z)))
  (* y (- x (+ y z)))
10.130 * * * [progress]: adding candidates to table
10.393 * * [progress]: iteration 3 / 4
10.393 * * * [progress]: picking best candidate
10.397 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x y) (- (* z y))))>
10.397 * * * [progress]: localizing error
10.406 * * * [progress]: generating rewritten candidates
10.406 * * * [progress]: generating series expansions
10.406 * * * [progress]: simplifying candidates
10.406 * [simplify]: Simplifying:
  
10.406 * * [simplify]: iteration 0: 0 enodes
10.406 * * [simplify]: iteration complete: 0 enodes
10.406 * * [simplify]: Extracting #0: cost 0 inf + 0
10.406 * [simplify]: Simplified to:
  
10.406 * * * [progress]: adding candidates to table
10.407 * [progress]: [Phase 3 of 3] Extracting.
10.410 * [simplify]: Simplifying:
  (+ (* x y) (- (* z y)))
10.410 * * [simplify]: iteration 0: 7 enodes
10.411 * * [simplify]: iteration 1: 14 enodes
10.411 * * [simplify]: iteration 2: 16 enodes
10.412 * * [simplify]: iteration complete: 16 enodes
10.412 * * [simplify]: Extracting #0: cost 1 inf + 0
10.412 * * [simplify]: Extracting #1: cost 3 inf + 0
10.412 * * [simplify]: Extracting #2: cost 9 inf + 0
10.412 * * [simplify]: Extracting #3: cost 2 inf + 209
10.412 * * [simplify]: Extracting #4: cost 0 inf + 414
10.412 * [simplify]: Simplified to:
  (+ (- (* z y)) (* x y))
12.872 * [regime-testing]: Baseline error score: 0.015300952296884456
12.883 * [regime-testing]: Oracle error score: 0.015300952296884456
12.883 * [regime-testing]: End program error score: 0.015300952296884456
12.989 * [regime-testing]: Target error score: 0.014251781472684086