8.934 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.023 * * * [progress]: [2/2] Setting up program.
0.027 * [progress]: [Phase 2 of 3] Improving.
0.028 * [simplify]: Simplifying:
  (+ (* x y) (* z (- 1.0 y)))
0.028 * * [simplify]: iteration 0: 8 enodes
0.030 * * [simplify]: iteration 1: 14 enodes
0.034 * * [simplify]: iteration 2: 24 enodes
0.040 * * [simplify]: iteration 3: 40 enodes
0.050 * * [simplify]: iteration 4: 70 enodes
0.069 * * [simplify]: iteration 5: 103 enodes
0.083 * * [simplify]: iteration 6: 121 enodes
0.102 * * [simplify]: iteration 7: 147 enodes
0.129 * * [simplify]: iteration 8: 199 enodes
0.189 * * [simplify]: iteration 9: 486 enodes
0.475 * * [simplify]: iteration 10: 2080 enodes
4.155 * * [simplify]: iteration complete: 5000 enodes
4.155 * * [simplify]: Extracting #0: cost 1 inf + 0
4.155 * * [simplify]: Extracting #1: cost 252 inf + 0
4.160 * * [simplify]: Extracting #2: cost 752 inf + 363
4.171 * * [simplify]: Extracting #3: cost 83 inf + 2691
4.176 * * [simplify]: Extracting #4: cost 1 inf + 3017
4.181 * * [simplify]: Extracting #5: cost 0 inf + 3020
4.186 * [simplify]: Simplified to:
  (fma x y (* z (- 1.0 y)))
4.191 * * [progress]: iteration 1 / 4
4.191 * * * [progress]: picking best candidate
4.194 * * * * [pick]: Picked  #<alt (λ (x y z) (fma x y (* z (- 1.0 y))))>
4.194 * * * [progress]: localizing error
4.203 * * * [progress]: generating rewritten candidates
4.203 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3)
4.232 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
4.236 * * * [progress]: generating series expansions
4.236 * * * * [progress]: [ 1 / 2 ] generating series at (2 3)
4.237 * [backup-simplify]: Simplify (* z (- 1.0 y)) into (* z (- 1.0 y))
4.237 * [approximate]: Taking taylor expansion of (* z (- 1.0 y)) in (z y) around 0
4.237 * [taylor]: Taking taylor expansion of (* z (- 1.0 y)) in y
4.237 * [taylor]: Taking taylor expansion of z in y
4.237 * [backup-simplify]: Simplify z into z
4.237 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
4.237 * [taylor]: Taking taylor expansion of 1.0 in y
4.237 * [backup-simplify]: Simplify 1.0 into 1.0
4.237 * [taylor]: Taking taylor expansion of y in y
4.237 * [backup-simplify]: Simplify 0 into 0
4.237 * [backup-simplify]: Simplify 1 into 1
4.237 * [taylor]: Taking taylor expansion of (* z (- 1.0 y)) in z
4.237 * [taylor]: Taking taylor expansion of z in z
4.237 * [backup-simplify]: Simplify 0 into 0
4.237 * [backup-simplify]: Simplify 1 into 1
4.237 * [taylor]: Taking taylor expansion of (- 1.0 y) in z
4.237 * [taylor]: Taking taylor expansion of 1.0 in z
4.237 * [backup-simplify]: Simplify 1.0 into 1.0
4.237 * [taylor]: Taking taylor expansion of y in z
4.237 * [backup-simplify]: Simplify y into y
4.237 * [taylor]: Taking taylor expansion of (* z (- 1.0 y)) in z
4.237 * [taylor]: Taking taylor expansion of z in z
4.237 * [backup-simplify]: Simplify 0 into 0
4.237 * [backup-simplify]: Simplify 1 into 1
4.237 * [taylor]: Taking taylor expansion of (- 1.0 y) in z
4.237 * [taylor]: Taking taylor expansion of 1.0 in z
4.237 * [backup-simplify]: Simplify 1.0 into 1.0
4.237 * [taylor]: Taking taylor expansion of y in z
4.237 * [backup-simplify]: Simplify y into y
4.238 * [backup-simplify]: Simplify (- y) into (- y)
4.238 * [backup-simplify]: Simplify (+ 1.0 (- y)) into (- 1.0 y)
4.238 * [backup-simplify]: Simplify (* 0 (- 1.0 y)) into 0
4.238 * [taylor]: Taking taylor expansion of 0 in y
4.238 * [backup-simplify]: Simplify 0 into 0
4.238 * [backup-simplify]: Simplify 0 into 0
4.239 * [backup-simplify]: Simplify (- 0) into 0
4.239 * [backup-simplify]: Simplify (+ 0 0) into 0
4.240 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- 1.0 y))) into (- 1.0 y)
4.240 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
4.240 * [taylor]: Taking taylor expansion of 1.0 in y
4.240 * [backup-simplify]: Simplify 1.0 into 1.0
4.240 * [taylor]: Taking taylor expansion of y in y
4.240 * [backup-simplify]: Simplify 0 into 0
4.240 * [backup-simplify]: Simplify 1 into 1
4.240 * [backup-simplify]: Simplify (- 0) into 0
4.241 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.241 * [backup-simplify]: Simplify 1.0 into 1.0
4.241 * [backup-simplify]: Simplify 0 into 0
4.242 * [backup-simplify]: Simplify (- 0) into 0
4.242 * [backup-simplify]: Simplify (+ 0 0) into 0
4.243 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- 1.0 y)))) into 0
4.243 * [taylor]: Taking taylor expansion of 0 in y
4.243 * [backup-simplify]: Simplify 0 into 0
4.243 * [backup-simplify]: Simplify 0 into 0
4.243 * [backup-simplify]: Simplify (- 1) into -1
4.244 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.244 * [backup-simplify]: Simplify -1 into -1
4.244 * [backup-simplify]: Simplify 0 into 0
4.244 * [backup-simplify]: Simplify (- 0) into 0
4.245 * [backup-simplify]: Simplify (+ 0 0) into 0
4.246 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- 1.0 y))))) into 0
4.246 * [taylor]: Taking taylor expansion of 0 in y
4.246 * [backup-simplify]: Simplify 0 into 0
4.246 * [backup-simplify]: Simplify 0 into 0
4.246 * [backup-simplify]: Simplify 0 into 0
4.247 * [backup-simplify]: Simplify (- 0) into 0
4.247 * [backup-simplify]: Simplify (+ 0 0) into 0
4.247 * [backup-simplify]: Simplify 0 into 0
4.247 * [backup-simplify]: Simplify 0 into 0
4.248 * [backup-simplify]: Simplify (- 0) into 0
4.248 * [backup-simplify]: Simplify (+ 0 0) into 0
4.255 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- 1.0 y)))))) into 0
4.255 * [taylor]: Taking taylor expansion of 0 in y
4.255 * [backup-simplify]: Simplify 0 into 0
4.255 * [backup-simplify]: Simplify 0 into 0
4.255 * [backup-simplify]: Simplify (+ (* -1 (* y z)) (* 1.0 (* 1 z))) into (- (* 1.0 z) (* z y))
4.255 * [backup-simplify]: Simplify (* (/ 1 z) (- 1.0 (/ 1 y))) into (/ (- 1.0 (/ 1 y)) z)
4.255 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in (z y) around 0
4.255 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in y
4.255 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
4.255 * [taylor]: Taking taylor expansion of 1.0 in y
4.255 * [backup-simplify]: Simplify 1.0 into 1.0
4.255 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.255 * [taylor]: Taking taylor expansion of y in y
4.255 * [backup-simplify]: Simplify 0 into 0
4.255 * [backup-simplify]: Simplify 1 into 1
4.256 * [backup-simplify]: Simplify (/ 1 1) into 1
4.256 * [taylor]: Taking taylor expansion of z in y
4.256 * [backup-simplify]: Simplify z into z
4.257 * [backup-simplify]: Simplify (- 1) into -1
4.257 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.257 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
4.257 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in z
4.257 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z
4.257 * [taylor]: Taking taylor expansion of 1.0 in z
4.257 * [backup-simplify]: Simplify 1.0 into 1.0
4.257 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.257 * [taylor]: Taking taylor expansion of y in z
4.257 * [backup-simplify]: Simplify y into y
4.257 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.257 * [taylor]: Taking taylor expansion of z in z
4.257 * [backup-simplify]: Simplify 0 into 0
4.257 * [backup-simplify]: Simplify 1 into 1
4.257 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
4.258 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y))
4.258 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 y)) 1) into (- 1.0 (/ 1 y))
4.258 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in z
4.258 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z
4.258 * [taylor]: Taking taylor expansion of 1.0 in z
4.258 * [backup-simplify]: Simplify 1.0 into 1.0
4.258 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.258 * [taylor]: Taking taylor expansion of y in z
4.258 * [backup-simplify]: Simplify y into y
4.258 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.258 * [taylor]: Taking taylor expansion of z in z
4.258 * [backup-simplify]: Simplify 0 into 0
4.258 * [backup-simplify]: Simplify 1 into 1
4.258 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
4.258 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y))
4.258 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 y)) 1) into (- 1.0 (/ 1 y))
4.258 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
4.258 * [taylor]: Taking taylor expansion of 1.0 in y
4.258 * [backup-simplify]: Simplify 1.0 into 1.0
4.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.258 * [taylor]: Taking taylor expansion of y in y
4.258 * [backup-simplify]: Simplify 0 into 0
4.258 * [backup-simplify]: Simplify 1 into 1
4.259 * [backup-simplify]: Simplify (/ 1 1) into 1
4.259 * [backup-simplify]: Simplify (- 1) into -1
4.260 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.260 * [backup-simplify]: Simplify -1 into -1
4.260 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.261 * [backup-simplify]: Simplify (- 0) into 0
4.262 * [backup-simplify]: Simplify (+ 0 0) into 0
4.262 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 y)) (/ 0 1)))) into 0
4.263 * [taylor]: Taking taylor expansion of 0 in y
4.263 * [backup-simplify]: Simplify 0 into 0
4.263 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.264 * [backup-simplify]: Simplify (- 0) into 0
4.264 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.264 * [backup-simplify]: Simplify 1.0 into 1.0
4.265 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.265 * [backup-simplify]: Simplify (- 0) into 0
4.266 * [backup-simplify]: Simplify (+ 0 0) into 0
4.267 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.268 * [taylor]: Taking taylor expansion of 0 in y
4.268 * [backup-simplify]: Simplify 0 into 0
4.268 * [backup-simplify]: Simplify 0 into 0
4.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.269 * [backup-simplify]: Simplify (- 0) into 0
4.269 * [backup-simplify]: Simplify (+ 0 0) into 0
4.270 * [backup-simplify]: Simplify 0 into 0
4.270 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.270 * [backup-simplify]: Simplify (- 0) into 0
4.271 * [backup-simplify]: Simplify (+ 0 0) into 0
4.273 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.273 * [taylor]: Taking taylor expansion of 0 in y
4.273 * [backup-simplify]: Simplify 0 into 0
4.273 * [backup-simplify]: Simplify 0 into 0
4.273 * [backup-simplify]: Simplify 0 into 0
4.274 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.274 * [backup-simplify]: Simplify (- 0) into 0
4.275 * [backup-simplify]: Simplify (+ 0 0) into 0
4.275 * [backup-simplify]: Simplify 0 into 0
4.275 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.275 * [backup-simplify]: Simplify (- 0) into 0
4.276 * [backup-simplify]: Simplify (+ 0 0) into 0
4.278 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.278 * [taylor]: Taking taylor expansion of 0 in y
4.278 * [backup-simplify]: Simplify 0 into 0
4.278 * [backup-simplify]: Simplify 0 into 0
4.279 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (/ 1 (/ 1 z)))) (* -1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 z))))) into (- (* 1.0 z) (* z y))
4.279 * [backup-simplify]: Simplify (* (/ 1 (- z)) (- 1.0 (/ 1 (- y)))) into (* -1 (/ (+ 1.0 (/ 1 y)) z))
4.279 * [approximate]: Taking taylor expansion of (* -1 (/ (+ 1.0 (/ 1 y)) z)) in (z y) around 0
4.279 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 1.0 (/ 1 y)) z)) in y
4.279 * [taylor]: Taking taylor expansion of -1 in y
4.279 * [backup-simplify]: Simplify -1 into -1
4.279 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) z) in y
4.279 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y
4.279 * [taylor]: Taking taylor expansion of 1.0 in y
4.279 * [backup-simplify]: Simplify 1.0 into 1.0
4.279 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.279 * [taylor]: Taking taylor expansion of y in y
4.279 * [backup-simplify]: Simplify 0 into 0
4.279 * [backup-simplify]: Simplify 1 into 1
4.280 * [backup-simplify]: Simplify (/ 1 1) into 1
4.280 * [taylor]: Taking taylor expansion of z in y
4.280 * [backup-simplify]: Simplify z into z
4.280 * [backup-simplify]: Simplify (+ 0 1) into 1
4.281 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.281 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 1.0 (/ 1 y)) z)) in z
4.281 * [taylor]: Taking taylor expansion of -1 in z
4.281 * [backup-simplify]: Simplify -1 into -1
4.281 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) z) in z
4.281 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in z
4.281 * [taylor]: Taking taylor expansion of 1.0 in z
4.281 * [backup-simplify]: Simplify 1.0 into 1.0
4.281 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.281 * [taylor]: Taking taylor expansion of y in z
4.281 * [backup-simplify]: Simplify y into y
4.281 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.281 * [taylor]: Taking taylor expansion of z in z
4.281 * [backup-simplify]: Simplify 0 into 0
4.281 * [backup-simplify]: Simplify 1 into 1
4.281 * [backup-simplify]: Simplify (+ 1.0 (/ 1 y)) into (+ 1.0 (/ 1 y))
4.281 * [backup-simplify]: Simplify (/ (+ 1.0 (/ 1 y)) 1) into (+ 1.0 (/ 1 y))
4.281 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 1.0 (/ 1 y)) z)) in z
4.281 * [taylor]: Taking taylor expansion of -1 in z
4.281 * [backup-simplify]: Simplify -1 into -1
4.281 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) z) in z
4.281 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in z
4.281 * [taylor]: Taking taylor expansion of 1.0 in z
4.281 * [backup-simplify]: Simplify 1.0 into 1.0
4.281 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.281 * [taylor]: Taking taylor expansion of y in z
4.281 * [backup-simplify]: Simplify y into y
4.281 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.281 * [taylor]: Taking taylor expansion of z in z
4.281 * [backup-simplify]: Simplify 0 into 0
4.282 * [backup-simplify]: Simplify 1 into 1
4.282 * [backup-simplify]: Simplify (+ 1.0 (/ 1 y)) into (+ 1.0 (/ 1 y))
4.282 * [backup-simplify]: Simplify (/ (+ 1.0 (/ 1 y)) 1) into (+ 1.0 (/ 1 y))
4.282 * [backup-simplify]: Simplify (* -1 (+ 1.0 (/ 1 y))) into (* -1 (+ 1.0 (/ 1 y)))
4.282 * [taylor]: Taking taylor expansion of (* -1 (+ 1.0 (/ 1 y))) in y
4.282 * [taylor]: Taking taylor expansion of -1 in y
4.282 * [backup-simplify]: Simplify -1 into -1
4.282 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y
4.282 * [taylor]: Taking taylor expansion of 1.0 in y
4.282 * [backup-simplify]: Simplify 1.0 into 1.0
4.282 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.282 * [taylor]: Taking taylor expansion of y in y
4.282 * [backup-simplify]: Simplify 0 into 0
4.282 * [backup-simplify]: Simplify 1 into 1
4.283 * [backup-simplify]: Simplify (/ 1 1) into 1
4.283 * [backup-simplify]: Simplify (+ 0 1) into 1
4.283 * [backup-simplify]: Simplify (* -1 1) into -1
4.283 * [backup-simplify]: Simplify -1 into -1
4.284 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.284 * [backup-simplify]: Simplify (+ 0 0) into 0
4.285 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ 1.0 (/ 1 y)) (/ 0 1)))) into 0
4.285 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (+ 1.0 (/ 1 y)))) into 0
4.285 * [taylor]: Taking taylor expansion of 0 in y
4.285 * [backup-simplify]: Simplify 0 into 0
4.286 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.286 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.288 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 0 1)) into (- 1.0)
4.288 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.289 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.289 * [backup-simplify]: Simplify (+ 0 0) into 0
4.290 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ 1.0 (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.290 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (+ 1.0 (/ 1 y))))) into 0
4.291 * [taylor]: Taking taylor expansion of 0 in y
4.291 * [backup-simplify]: Simplify 0 into 0
4.291 * [backup-simplify]: Simplify 0 into 0
4.292 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.292 * [backup-simplify]: Simplify (+ 0 0) into 0
4.292 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1.0) (* 0 1))) into 0
4.293 * [backup-simplify]: Simplify 0 into 0
4.293 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.293 * [backup-simplify]: Simplify (+ 0 0) into 0
4.294 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ 1.0 (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.295 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ 1.0 (/ 1 y)))))) into 0
4.295 * [taylor]: Taking taylor expansion of 0 in y
4.295 * [backup-simplify]: Simplify 0 into 0
4.295 * [backup-simplify]: Simplify 0 into 0
4.295 * [backup-simplify]: Simplify 0 into 0
4.296 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.296 * [backup-simplify]: Simplify (+ 0 0) into 0
4.297 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1)))) into 0
4.297 * [backup-simplify]: Simplify 0 into 0
4.297 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.297 * [backup-simplify]: Simplify (+ 0 0) into 0
4.299 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ 1.0 (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.300 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ 1.0 (/ 1 y))))))) into 0
4.300 * [taylor]: Taking taylor expansion of 0 in y
4.300 * [backup-simplify]: Simplify 0 into 0
4.300 * [backup-simplify]: Simplify 0 into 0
4.300 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (/ 1 (/ 1 (- z))))) (* -1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- z)))))) into (- (* 1.0 z) (* z y))
4.301 * * * * [progress]: [ 2 / 2 ] generating series at (2)
4.301 * [backup-simplify]: Simplify (fma x y (* z (- 1.0 y))) into (fma x y (* z (- 1.0 y)))
4.301 * [approximate]: Taking taylor expansion of (fma x y (* z (- 1.0 y))) in (x y z) around 0
4.301 * [taylor]: Taking taylor expansion of (fma x y (* z (- 1.0 y))) in z
4.301 * [taylor]: Rewrote expression to (+ (* x y) (* z (- 1.0 y)))
4.301 * [taylor]: Taking taylor expansion of (* x y) in z
4.301 * [taylor]: Taking taylor expansion of x in z
4.301 * [backup-simplify]: Simplify x into x
4.301 * [taylor]: Taking taylor expansion of y in z
4.301 * [backup-simplify]: Simplify y into y
4.301 * [taylor]: Taking taylor expansion of (* z (- 1.0 y)) in z
4.301 * [taylor]: Taking taylor expansion of z in z
4.301 * [backup-simplify]: Simplify 0 into 0
4.301 * [backup-simplify]: Simplify 1 into 1
4.301 * [taylor]: Taking taylor expansion of (- 1.0 y) in z
4.301 * [taylor]: Taking taylor expansion of 1.0 in z
4.301 * [backup-simplify]: Simplify 1.0 into 1.0
4.301 * [taylor]: Taking taylor expansion of y in z
4.301 * [backup-simplify]: Simplify y into y
4.301 * [taylor]: Taking taylor expansion of (fma x y (* z (- 1.0 y))) in y
4.301 * [taylor]: Rewrote expression to (+ (* x y) (* z (- 1.0 y)))
4.301 * [taylor]: Taking taylor expansion of (* x y) in y
4.301 * [taylor]: Taking taylor expansion of x in y
4.301 * [backup-simplify]: Simplify x into x
4.301 * [taylor]: Taking taylor expansion of y in y
4.301 * [backup-simplify]: Simplify 0 into 0
4.301 * [backup-simplify]: Simplify 1 into 1
4.301 * [taylor]: Taking taylor expansion of (* z (- 1.0 y)) in y
4.301 * [taylor]: Taking taylor expansion of z in y
4.301 * [backup-simplify]: Simplify z into z
4.301 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
4.301 * [taylor]: Taking taylor expansion of 1.0 in y
4.301 * [backup-simplify]: Simplify 1.0 into 1.0
4.301 * [taylor]: Taking taylor expansion of y in y
4.301 * [backup-simplify]: Simplify 0 into 0
4.301 * [backup-simplify]: Simplify 1 into 1
4.301 * [taylor]: Taking taylor expansion of (fma x y (* z (- 1.0 y))) in x
4.302 * [taylor]: Rewrote expression to (+ (* x y) (* z (- 1.0 y)))
4.302 * [taylor]: Taking taylor expansion of (* x y) in x
4.302 * [taylor]: Taking taylor expansion of x in x
4.302 * [backup-simplify]: Simplify 0 into 0
4.302 * [backup-simplify]: Simplify 1 into 1
4.302 * [taylor]: Taking taylor expansion of y in x
4.302 * [backup-simplify]: Simplify y into y
4.302 * [taylor]: Taking taylor expansion of (* z (- 1.0 y)) in x
4.302 * [taylor]: Taking taylor expansion of z in x
4.302 * [backup-simplify]: Simplify z into z
4.302 * [taylor]: Taking taylor expansion of (- 1.0 y) in x
4.302 * [taylor]: Taking taylor expansion of 1.0 in x
4.302 * [backup-simplify]: Simplify 1.0 into 1.0
4.302 * [taylor]: Taking taylor expansion of y in x
4.302 * [backup-simplify]: Simplify y into y
4.302 * [taylor]: Taking taylor expansion of (fma x y (* z (- 1.0 y))) in x
4.302 * [taylor]: Rewrote expression to (+ (* x y) (* z (- 1.0 y)))
4.302 * [taylor]: Taking taylor expansion of (* x y) in x
4.302 * [taylor]: Taking taylor expansion of x in x
4.302 * [backup-simplify]: Simplify 0 into 0
4.302 * [backup-simplify]: Simplify 1 into 1
4.302 * [taylor]: Taking taylor expansion of y in x
4.302 * [backup-simplify]: Simplify y into y
4.302 * [taylor]: Taking taylor expansion of (* z (- 1.0 y)) in x
4.302 * [taylor]: Taking taylor expansion of z in x
4.302 * [backup-simplify]: Simplify z into z
4.302 * [taylor]: Taking taylor expansion of (- 1.0 y) in x
4.302 * [taylor]: Taking taylor expansion of 1.0 in x
4.302 * [backup-simplify]: Simplify 1.0 into 1.0
4.302 * [taylor]: Taking taylor expansion of y in x
4.302 * [backup-simplify]: Simplify y into y
4.302 * [backup-simplify]: Simplify (* 0 y) into 0
4.302 * [backup-simplify]: Simplify (- y) into (- y)
4.302 * [backup-simplify]: Simplify (+ 1.0 (- y)) into (- 1.0 y)
4.302 * [backup-simplify]: Simplify (* z (- 1.0 y)) into (* z (- 1.0 y))
4.302 * [backup-simplify]: Simplify (+ 0 (* z (- 1.0 y))) into (- (* 1.0 z) (* z y))
4.302 * [taylor]: Taking taylor expansion of (- (* 1.0 z) (* z y)) in y
4.302 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
4.302 * [taylor]: Taking taylor expansion of 1.0 in y
4.302 * [backup-simplify]: Simplify 1.0 into 1.0
4.302 * [taylor]: Taking taylor expansion of z in y
4.302 * [backup-simplify]: Simplify z into z
4.302 * [taylor]: Taking taylor expansion of (* z y) in y
4.303 * [taylor]: Taking taylor expansion of z in y
4.303 * [backup-simplify]: Simplify z into z
4.303 * [taylor]: Taking taylor expansion of y in y
4.303 * [backup-simplify]: Simplify 0 into 0
4.303 * [backup-simplify]: Simplify 1 into 1
4.303 * [backup-simplify]: Simplify (* 1.0 z) into (* 1.0 z)
4.303 * [backup-simplify]: Simplify (* z 0) into 0
4.303 * [backup-simplify]: Simplify (- 0) into 0
4.303 * [backup-simplify]: Simplify (+ (* 1.0 z) 0) into (* 1.0 z)
4.303 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
4.303 * [taylor]: Taking taylor expansion of 1.0 in z
4.303 * [backup-simplify]: Simplify 1.0 into 1.0
4.303 * [taylor]: Taking taylor expansion of z in z
4.303 * [backup-simplify]: Simplify 0 into 0
4.303 * [backup-simplify]: Simplify 1 into 1
4.304 * [backup-simplify]: Simplify (* 1.0 0) into 0
4.304 * [backup-simplify]: Simplify 0 into 0
4.304 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.304 * [backup-simplify]: Simplify (- 0) into 0
4.304 * [backup-simplify]: Simplify (+ 0 0) into 0
4.304 * [backup-simplify]: Simplify (+ (* z 0) (* 0 (- 1.0 y))) into 0
4.305 * [backup-simplify]: Simplify (+ y 0) into y
4.305 * [taylor]: Taking taylor expansion of y in y
4.305 * [backup-simplify]: Simplify 0 into 0
4.305 * [backup-simplify]: Simplify 1 into 1
4.305 * [taylor]: Taking taylor expansion of 0 in z
4.305 * [backup-simplify]: Simplify 0 into 0
4.305 * [backup-simplify]: Simplify 0 into 0
4.305 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 z)) into 0
4.305 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.305 * [backup-simplify]: Simplify (- z) into (- z)
4.305 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
4.305 * [taylor]: Taking taylor expansion of (- z) in z
4.305 * [taylor]: Taking taylor expansion of z in z
4.305 * [backup-simplify]: Simplify 0 into 0
4.305 * [backup-simplify]: Simplify 1 into 1
4.306 * [backup-simplify]: Simplify (- 0) into 0
4.306 * [backup-simplify]: Simplify 0 into 0
4.307 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
4.307 * [backup-simplify]: Simplify 1.0 into 1.0
4.307 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.308 * [backup-simplify]: Simplify (- 0) into 0
4.308 * [backup-simplify]: Simplify (+ 0 0) into 0
4.308 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 (- 1.0 y)))) into 0
4.308 * [backup-simplify]: Simplify (+ 0 0) into 0
4.308 * [taylor]: Taking taylor expansion of 0 in y
4.308 * [backup-simplify]: Simplify 0 into 0
4.308 * [taylor]: Taking taylor expansion of 0 in z
4.308 * [backup-simplify]: Simplify 0 into 0
4.309 * [backup-simplify]: Simplify 0 into 0
4.309 * [taylor]: Taking taylor expansion of 1 in z
4.309 * [backup-simplify]: Simplify 1 into 1
4.309 * [backup-simplify]: Simplify 1 into 1
4.309 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 z))) into 0
4.310 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
4.310 * [backup-simplify]: Simplify (- 0) into 0
4.310 * [backup-simplify]: Simplify (+ 0 0) into 0
4.310 * [taylor]: Taking taylor expansion of 0 in z
4.310 * [backup-simplify]: Simplify 0 into 0
4.310 * [backup-simplify]: Simplify 0 into 0
4.310 * [backup-simplify]: Simplify 0 into 0
4.310 * [backup-simplify]: Simplify (- 1) into -1
4.310 * [backup-simplify]: Simplify -1 into -1
4.311 * [backup-simplify]: Simplify (+ (* -1 (* z (* y 1))) (+ (* 1 (* 1 (* y x))) (* 1.0 (* z (* 1 1))))) into (- (+ (* 1.0 z) (* x y)) (* z y))
4.311 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (* (/ 1 z) (- 1.0 (/ 1 y)))) into (fma (/ 1 x) (/ 1 y) (/ (- 1.0 (/ 1 y)) z))
4.311 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ (- 1.0 (/ 1 y)) z)) in (x y z) around 0
4.311 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ (- 1.0 (/ 1 y)) z)) in z
4.311 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ (- 1.0 (/ 1 y)) z))
4.311 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in z
4.311 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.311 * [taylor]: Taking taylor expansion of x in z
4.311 * [backup-simplify]: Simplify x into x
4.311 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.311 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.311 * [taylor]: Taking taylor expansion of y in z
4.311 * [backup-simplify]: Simplify y into y
4.312 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.312 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in z
4.312 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z
4.312 * [taylor]: Taking taylor expansion of 1.0 in z
4.312 * [backup-simplify]: Simplify 1.0 into 1.0
4.312 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.312 * [taylor]: Taking taylor expansion of y in z
4.312 * [backup-simplify]: Simplify y into y
4.312 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.312 * [taylor]: Taking taylor expansion of z in z
4.312 * [backup-simplify]: Simplify 0 into 0
4.312 * [backup-simplify]: Simplify 1 into 1
4.312 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
4.312 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y))
4.312 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 y)) 1) into (- 1.0 (/ 1 y))
4.312 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ (- 1.0 (/ 1 y)) z)) in y
4.312 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ (- 1.0 (/ 1 y)) z))
4.312 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y
4.312 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.312 * [taylor]: Taking taylor expansion of x in y
4.312 * [backup-simplify]: Simplify x into x
4.312 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.312 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.312 * [taylor]: Taking taylor expansion of y in y
4.312 * [backup-simplify]: Simplify 0 into 0
4.312 * [backup-simplify]: Simplify 1 into 1
4.313 * [backup-simplify]: Simplify (/ 1 1) into 1
4.313 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in y
4.313 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
4.313 * [taylor]: Taking taylor expansion of 1.0 in y
4.313 * [backup-simplify]: Simplify 1.0 into 1.0
4.313 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.313 * [taylor]: Taking taylor expansion of y in y
4.313 * [backup-simplify]: Simplify 0 into 0
4.313 * [backup-simplify]: Simplify 1 into 1
4.313 * [backup-simplify]: Simplify (/ 1 1) into 1
4.313 * [taylor]: Taking taylor expansion of z in y
4.313 * [backup-simplify]: Simplify z into z
4.313 * [backup-simplify]: Simplify (- 1) into -1
4.314 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.314 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
4.314 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ (- 1.0 (/ 1 y)) z)) in x
4.314 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ (- 1.0 (/ 1 y)) z))
4.314 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
4.314 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.314 * [taylor]: Taking taylor expansion of x in x
4.314 * [backup-simplify]: Simplify 0 into 0
4.314 * [backup-simplify]: Simplify 1 into 1
4.314 * [backup-simplify]: Simplify (/ 1 1) into 1
4.314 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.314 * [taylor]: Taking taylor expansion of y in x
4.314 * [backup-simplify]: Simplify y into y
4.314 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.314 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in x
4.314 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x
4.314 * [taylor]: Taking taylor expansion of 1.0 in x
4.314 * [backup-simplify]: Simplify 1.0 into 1.0
4.314 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.314 * [taylor]: Taking taylor expansion of y in x
4.314 * [backup-simplify]: Simplify y into y
4.314 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.315 * [taylor]: Taking taylor expansion of z in x
4.315 * [backup-simplify]: Simplify z into z
4.315 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
4.315 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y))
4.315 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 y)) z) into (/ (- 1.0 (/ 1 y)) z)
4.315 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ (- 1.0 (/ 1 y)) z)) in x
4.315 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ (- 1.0 (/ 1 y)) z))
4.315 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
4.315 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.315 * [taylor]: Taking taylor expansion of x in x
4.315 * [backup-simplify]: Simplify 0 into 0
4.315 * [backup-simplify]: Simplify 1 into 1
4.315 * [backup-simplify]: Simplify (/ 1 1) into 1
4.315 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.315 * [taylor]: Taking taylor expansion of y in x
4.315 * [backup-simplify]: Simplify y into y
4.315 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.316 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in x
4.316 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x
4.316 * [taylor]: Taking taylor expansion of 1.0 in x
4.316 * [backup-simplify]: Simplify 1.0 into 1.0
4.316 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.316 * [taylor]: Taking taylor expansion of y in x
4.316 * [backup-simplify]: Simplify y into y
4.316 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.316 * [taylor]: Taking taylor expansion of z in x
4.316 * [backup-simplify]: Simplify z into z
4.316 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
4.316 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y))
4.316 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 y)) z) into (/ (- 1.0 (/ 1 y)) z)
4.316 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
4.316 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.316 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.316 * [taylor]: Taking taylor expansion of y in y
4.316 * [backup-simplify]: Simplify 0 into 0
4.316 * [backup-simplify]: Simplify 1 into 1
4.316 * [backup-simplify]: Simplify (/ 1 1) into 1
4.317 * [taylor]: Taking taylor expansion of 1 in z
4.317 * [backup-simplify]: Simplify 1 into 1
4.317 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.317 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.318 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 y))) into 0
4.318 * [backup-simplify]: Simplify (+ 0 (/ (- 1.0 (/ 1 y)) z)) into (- (* 1.0 (/ 1 z)) (/ 1 (* z y)))
4.318 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z)) (/ 1 (* z y))) in y
4.318 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
4.318 * [taylor]: Taking taylor expansion of 1.0 in y
4.318 * [backup-simplify]: Simplify 1.0 into 1.0
4.318 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.318 * [taylor]: Taking taylor expansion of z in y
4.318 * [backup-simplify]: Simplify z into z
4.318 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.318 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.318 * [taylor]: Taking taylor expansion of (* z y) in y
4.318 * [taylor]: Taking taylor expansion of z in y
4.318 * [backup-simplify]: Simplify z into z
4.318 * [taylor]: Taking taylor expansion of y in y
4.318 * [backup-simplify]: Simplify 0 into 0
4.318 * [backup-simplify]: Simplify 1 into 1
4.318 * [backup-simplify]: Simplify (* z 0) into 0
4.318 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.318 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.318 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
4.318 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
4.318 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
4.319 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.319 * [taylor]: Taking taylor expansion of z in z
4.319 * [backup-simplify]: Simplify 0 into 0
4.319 * [backup-simplify]: Simplify 1 into 1
4.319 * [backup-simplify]: Simplify (/ 1 1) into 1
4.319 * [backup-simplify]: Simplify (- 1) into -1
4.319 * [backup-simplify]: Simplify -1 into -1
4.320 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.320 * [taylor]: Taking taylor expansion of 0 in z
4.320 * [backup-simplify]: Simplify 0 into 0
4.320 * [backup-simplify]: Simplify 1 into 1
4.320 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.320 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.321 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
4.321 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.321 * [backup-simplify]: Simplify (- 0) into 0
4.322 * [backup-simplify]: Simplify (+ 0 0) into 0
4.322 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (- 1.0 (/ 1 y)) z) (/ 0 z)))) into 0
4.322 * [backup-simplify]: Simplify (+ 0 0) into 0
4.322 * [taylor]: Taking taylor expansion of 0 in y
4.322 * [backup-simplify]: Simplify 0 into 0
4.322 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z)
4.323 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
4.323 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.323 * [backup-simplify]: Simplify (- 0) into 0
4.323 * [backup-simplify]: Simplify (+ (/ 1.0 z) 0) into (* 1.0 (/ 1 z))
4.323 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
4.323 * [taylor]: Taking taylor expansion of 1.0 in z
4.323 * [backup-simplify]: Simplify 1.0 into 1.0
4.323 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.323 * [taylor]: Taking taylor expansion of z in z
4.323 * [backup-simplify]: Simplify 0 into 0
4.323 * [backup-simplify]: Simplify 1 into 1
4.323 * [backup-simplify]: Simplify (/ 1 1) into 1
4.324 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
4.324 * [backup-simplify]: Simplify 1.0 into 1.0
4.324 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 (/ 1 z)) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1))))) into (- (+ (* 1.0 z) (* x y)) (* z y))
4.325 * [backup-simplify]: Simplify (fma (/ 1 (- x)) (/ 1 (- y)) (* (/ 1 (- z)) (- 1.0 (/ 1 (- y))))) into (fma (/ -1 x) (/ -1 y) (* -1 (/ (+ 1.0 (/ 1 y)) z)))
4.325 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (* -1 (/ (+ 1.0 (/ 1 y)) z))) in (x y z) around 0
4.325 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (* -1 (/ (+ 1.0 (/ 1 y)) z))) in z
4.325 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (* -1 (/ (+ 1.0 (/ 1 y)) z)))
4.325 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in z
4.325 * [taylor]: Taking taylor expansion of (/ -1 x) in z
4.325 * [taylor]: Taking taylor expansion of -1 in z
4.325 * [backup-simplify]: Simplify -1 into -1
4.325 * [taylor]: Taking taylor expansion of x in z
4.325 * [backup-simplify]: Simplify x into x
4.325 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.325 * [taylor]: Taking taylor expansion of (/ -1 y) in z
4.325 * [taylor]: Taking taylor expansion of -1 in z
4.325 * [backup-simplify]: Simplify -1 into -1
4.325 * [taylor]: Taking taylor expansion of y in z
4.325 * [backup-simplify]: Simplify y into y
4.325 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.325 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 1.0 (/ 1 y)) z)) in z
4.325 * [taylor]: Taking taylor expansion of -1 in z
4.325 * [backup-simplify]: Simplify -1 into -1
4.325 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) z) in z
4.325 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in z
4.325 * [taylor]: Taking taylor expansion of 1.0 in z
4.325 * [backup-simplify]: Simplify 1.0 into 1.0
4.325 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.325 * [taylor]: Taking taylor expansion of y in z
4.325 * [backup-simplify]: Simplify y into y
4.325 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.325 * [taylor]: Taking taylor expansion of z in z
4.325 * [backup-simplify]: Simplify 0 into 0
4.325 * [backup-simplify]: Simplify 1 into 1
4.325 * [backup-simplify]: Simplify (+ 1.0 (/ 1 y)) into (+ 1.0 (/ 1 y))
4.325 * [backup-simplify]: Simplify (/ (+ 1.0 (/ 1 y)) 1) into (+ 1.0 (/ 1 y))
4.325 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (* -1 (/ (+ 1.0 (/ 1 y)) z))) in y
4.325 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (* -1 (/ (+ 1.0 (/ 1 y)) z)))
4.326 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y
4.326 * [taylor]: Taking taylor expansion of (/ -1 x) in y
4.326 * [taylor]: Taking taylor expansion of -1 in y
4.326 * [backup-simplify]: Simplify -1 into -1
4.326 * [taylor]: Taking taylor expansion of x in y
4.326 * [backup-simplify]: Simplify x into x
4.326 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.326 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.326 * [taylor]: Taking taylor expansion of -1 in y
4.326 * [backup-simplify]: Simplify -1 into -1
4.326 * [taylor]: Taking taylor expansion of y in y
4.326 * [backup-simplify]: Simplify 0 into 0
4.326 * [backup-simplify]: Simplify 1 into 1
4.326 * [backup-simplify]: Simplify (/ -1 1) into -1
4.326 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 1.0 (/ 1 y)) z)) in y
4.326 * [taylor]: Taking taylor expansion of -1 in y
4.326 * [backup-simplify]: Simplify -1 into -1
4.326 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) z) in y
4.326 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y
4.326 * [taylor]: Taking taylor expansion of 1.0 in y
4.326 * [backup-simplify]: Simplify 1.0 into 1.0
4.326 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.326 * [taylor]: Taking taylor expansion of y in y
4.326 * [backup-simplify]: Simplify 0 into 0
4.326 * [backup-simplify]: Simplify 1 into 1
4.327 * [backup-simplify]: Simplify (/ 1 1) into 1
4.327 * [taylor]: Taking taylor expansion of z in y
4.327 * [backup-simplify]: Simplify z into z
4.327 * [backup-simplify]: Simplify (+ 0 1) into 1
4.327 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.327 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (* -1 (/ (+ 1.0 (/ 1 y)) z))) in x
4.327 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (* -1 (/ (+ 1.0 (/ 1 y)) z)))
4.327 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
4.327 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.327 * [taylor]: Taking taylor expansion of -1 in x
4.327 * [backup-simplify]: Simplify -1 into -1
4.327 * [taylor]: Taking taylor expansion of x in x
4.327 * [backup-simplify]: Simplify 0 into 0
4.327 * [backup-simplify]: Simplify 1 into 1
4.328 * [backup-simplify]: Simplify (/ -1 1) into -1
4.328 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.328 * [taylor]: Taking taylor expansion of -1 in x
4.328 * [backup-simplify]: Simplify -1 into -1
4.328 * [taylor]: Taking taylor expansion of y in x
4.328 * [backup-simplify]: Simplify y into y
4.328 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.328 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 1.0 (/ 1 y)) z)) in x
4.328 * [taylor]: Taking taylor expansion of -1 in x
4.328 * [backup-simplify]: Simplify -1 into -1
4.328 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) z) in x
4.328 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x
4.328 * [taylor]: Taking taylor expansion of 1.0 in x
4.328 * [backup-simplify]: Simplify 1.0 into 1.0
4.328 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.328 * [taylor]: Taking taylor expansion of y in x
4.328 * [backup-simplify]: Simplify y into y
4.328 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.328 * [taylor]: Taking taylor expansion of z in x
4.328 * [backup-simplify]: Simplify z into z
4.328 * [backup-simplify]: Simplify (+ 1.0 (/ 1 y)) into (+ 1.0 (/ 1 y))
4.328 * [backup-simplify]: Simplify (/ (+ 1.0 (/ 1 y)) z) into (/ (+ 1.0 (/ 1 y)) z)
4.328 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (* -1 (/ (+ 1.0 (/ 1 y)) z))) in x
4.328 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (* -1 (/ (+ 1.0 (/ 1 y)) z)))
4.328 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
4.329 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.329 * [taylor]: Taking taylor expansion of -1 in x
4.329 * [backup-simplify]: Simplify -1 into -1
4.329 * [taylor]: Taking taylor expansion of x in x
4.329 * [backup-simplify]: Simplify 0 into 0
4.329 * [backup-simplify]: Simplify 1 into 1
4.329 * [backup-simplify]: Simplify (/ -1 1) into -1
4.329 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.329 * [taylor]: Taking taylor expansion of -1 in x
4.329 * [backup-simplify]: Simplify -1 into -1
4.329 * [taylor]: Taking taylor expansion of y in x
4.329 * [backup-simplify]: Simplify y into y
4.329 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.329 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 1.0 (/ 1 y)) z)) in x
4.329 * [taylor]: Taking taylor expansion of -1 in x
4.329 * [backup-simplify]: Simplify -1 into -1
4.329 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) z) in x
4.329 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x
4.329 * [taylor]: Taking taylor expansion of 1.0 in x
4.329 * [backup-simplify]: Simplify 1.0 into 1.0
4.329 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.329 * [taylor]: Taking taylor expansion of y in x
4.329 * [backup-simplify]: Simplify y into y
4.329 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.329 * [taylor]: Taking taylor expansion of z in x
4.329 * [backup-simplify]: Simplify z into z
4.330 * [backup-simplify]: Simplify (+ 1.0 (/ 1 y)) into (+ 1.0 (/ 1 y))
4.330 * [backup-simplify]: Simplify (/ (+ 1.0 (/ 1 y)) z) into (/ (+ 1.0 (/ 1 y)) z)
4.330 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
4.330 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.330 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.330 * [taylor]: Taking taylor expansion of y in y
4.330 * [backup-simplify]: Simplify 0 into 0
4.330 * [backup-simplify]: Simplify 1 into 1
4.330 * [backup-simplify]: Simplify (/ 1 1) into 1
4.330 * [taylor]: Taking taylor expansion of 1 in z
4.330 * [backup-simplify]: Simplify 1 into 1
4.330 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
4.331 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.331 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 y))) into 0
4.332 * [backup-simplify]: Simplify (* -1 (/ (+ 1.0 (/ 1 y)) z)) into (* -1 (/ (+ 1.0 (/ 1 y)) z))
4.332 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (+ 1.0 (/ 1 y)) z))) into (- (+ (/ 1 (* z y)) (* 1.0 (/ 1 z))))
4.332 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (* 1.0 (/ 1 z)))) in y
4.332 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (* 1.0 (/ 1 z))) in y
4.332 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.332 * [taylor]: Taking taylor expansion of (* z y) in y
4.332 * [taylor]: Taking taylor expansion of z in y
4.332 * [backup-simplify]: Simplify z into z
4.332 * [taylor]: Taking taylor expansion of y in y
4.332 * [backup-simplify]: Simplify 0 into 0
4.332 * [backup-simplify]: Simplify 1 into 1
4.332 * [backup-simplify]: Simplify (* z 0) into 0
4.332 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.332 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.332 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
4.332 * [taylor]: Taking taylor expansion of 1.0 in y
4.332 * [backup-simplify]: Simplify 1.0 into 1.0
4.332 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.332 * [taylor]: Taking taylor expansion of z in y
4.332 * [backup-simplify]: Simplify z into z
4.332 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.332 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
4.333 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
4.333 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
4.333 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.333 * [taylor]: Taking taylor expansion of z in z
4.333 * [backup-simplify]: Simplify 0 into 0
4.333 * [backup-simplify]: Simplify 1 into 1
4.333 * [backup-simplify]: Simplify (/ 1 1) into 1
4.333 * [backup-simplify]: Simplify (- 1) into -1
4.333 * [backup-simplify]: Simplify -1 into -1
4.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.334 * [taylor]: Taking taylor expansion of 0 in z
4.334 * [backup-simplify]: Simplify 0 into 0
4.334 * [backup-simplify]: Simplify 1 into 1
4.334 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.335 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.335 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0
4.335 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.335 * [backup-simplify]: Simplify (+ 0 0) into 0
4.336 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (+ 1.0 (/ 1 y)) z) (/ 0 z)))) into 0
4.336 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ (+ 1.0 (/ 1 y)) z))) into 0
4.336 * [backup-simplify]: Simplify (+ 0 0) into 0
4.336 * [taylor]: Taking taylor expansion of 0 in y
4.336 * [backup-simplify]: Simplify 0 into 0
4.337 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
4.337 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.337 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z)
4.337 * [backup-simplify]: Simplify (+ 0 (/ 1.0 z)) into (* 1.0 (/ 1 z))
4.337 * [backup-simplify]: Simplify (- (* 1.0 (/ 1 z))) into (- (* 1.0 (/ 1 z)))
4.337 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in z
4.337 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
4.337 * [taylor]: Taking taylor expansion of 1.0 in z
4.337 * [backup-simplify]: Simplify 1.0 into 1.0
4.337 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.337 * [taylor]: Taking taylor expansion of z in z
4.337 * [backup-simplify]: Simplify 0 into 0
4.337 * [backup-simplify]: Simplify 1 into 1
4.337 * [backup-simplify]: Simplify (/ 1 1) into 1
4.338 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
4.338 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.338 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.339 * [backup-simplify]: Simplify (+ (* (- 1.0) (* (/ 1 (/ 1 (- z))) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1))))) into (- (+ (* 1.0 z) (* x y)) (* z y))
4.339 * * * [progress]: simplifying candidates
4.340 * [simplify]: Simplifying:
  (expm1 (* z (- 1.0 y)))
  (log1p (* z (- 1.0 y)))
  (* z (- 1.0 y))
  (+ (log z) (log (- 1.0 y)))
  (log (* z (- 1.0 y)))
  (exp (* z (- 1.0 y)))
  (* (* (* z z) z) (* (* (- 1.0 y) (- 1.0 y)) (- 1.0 y)))
  (* (cbrt (* z (- 1.0 y))) (cbrt (* z (- 1.0 y))))
  (cbrt (* z (- 1.0 y)))
  (* (* (* z (- 1.0 y)) (* z (- 1.0 y))) (* z (- 1.0 y)))
  (sqrt (* z (- 1.0 y)))
  (sqrt (* z (- 1.0 y)))
  (* (sqrt z) (sqrt (- 1.0 y)))
  (* (sqrt z) (sqrt (- 1.0 y)))
  (* z (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt y) (* (cbrt y) (cbrt y))))))
  (* z (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))))
  (* z (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt y) (sqrt y)))))
  (* z (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))))
  (* z (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* y 1))))
  (* z (fma (- y) 1 (* y 1)))
  (* z (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt y) (* (cbrt y) (cbrt y))))))
  (* z (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))))
  (* z (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt y) (sqrt y)))))
  (* z (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))))
  (* z (fma (sqrt 1.0) (sqrt 1.0) (- (* y 1))))
  (* z (fma (- y) 1 (* y 1)))
  (* z (fma 1 1.0 (- (* (cbrt y) (* (cbrt y) (cbrt y))))))
  (* z (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))))
  (* z (fma 1 1.0 (- (* (sqrt y) (sqrt y)))))
  (* z (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))))
  (* z (fma 1 1.0 (- (* y 1))))
  (* z (fma (- y) 1 (* y 1)))
  (* z 1.0)
  (* z (- y))
  (* z 1.0)
  (* z (- y))
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) z)
  (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) z)
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt y) (sqrt y)))) z)
  (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) z)
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* y 1))) z)
  (* (fma (- y) 1 (* y 1)) z)
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) z)
  (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) z)
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt y) (sqrt y)))) z)
  (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) z)
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* y 1))) z)
  (* (fma (- y) 1 (* y 1)) z)
  (* (fma 1 1.0 (- (* (cbrt y) (* (cbrt y) (cbrt y))))) z)
  (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) z)
  (* (fma 1 1.0 (- (* (sqrt y) (sqrt y)))) z)
  (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) z)
  (* (fma 1 1.0 (- (* y 1))) z)
  (* (fma (- y) 1 (* y 1)) z)
  (* 1.0 z)
  (* (- y) z)
  (* 1.0 z)
  (* (- y) z)
  (* z (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))
  (* z (sqrt (- 1.0 y)))
  (* z 1)
  (* z (+ (sqrt 1.0) (sqrt y)))
  (* z 1)
  (* (cbrt z) (- 1.0 y))
  (* (sqrt z) (- 1.0 y))
  (* z (- 1.0 y))
  (* z (- (pow 1.0 3) (pow y 3)))
  (* z (- (* 1.0 1.0) (* y y)))
  (expm1 (fma x y (* z (- 1.0 y))))
  (log1p (fma x y (* z (- 1.0 y))))
  (* x y)
  (log (fma x y (* z (- 1.0 y))))
  (exp (fma x y (* z (- 1.0 y))))
  (* (cbrt (fma x y (* z (- 1.0 y)))) (cbrt (fma x y (* z (- 1.0 y)))))
  (cbrt (fma x y (* z (- 1.0 y))))
  (* (* (fma x y (* z (- 1.0 y))) (fma x y (* z (- 1.0 y)))) (fma x y (* z (- 1.0 y))))
  (sqrt (fma x y (* z (- 1.0 y))))
  (sqrt (fma x y (* z (- 1.0 y))))
  (- (* 1.0 z) (* z y))
  (- (* 1.0 z) (* z y))
  (- (* 1.0 z) (* z y))
  (- (+ (* 1.0 z) (* x y)) (* z y))
  (- (+ (* 1.0 z) (* x y)) (* z y))
  (- (+ (* 1.0 z) (* x y)) (* z y))
4.342 * * [simplify]: iteration 0: 116 enodes
4.378 * * [simplify]: iteration 1: 255 enodes
4.440 * * [simplify]: iteration 2: 883 enodes
4.709 * * [simplify]: iteration complete: 5001 enodes
4.709 * * [simplify]: Extracting #0: cost 35 inf + 0
4.711 * * [simplify]: Extracting #1: cost 650 inf + 1
4.716 * * [simplify]: Extracting #2: cost 1870 inf + 551
4.725 * * [simplify]: Extracting #3: cost 1264 inf + 7231
4.734 * * [simplify]: Extracting #4: cost 147 inf + 17493
4.744 * * [simplify]: Extracting #5: cost 34 inf + 18562
4.754 * * [simplify]: Extracting #6: cost 7 inf + 18676
4.767 * * [simplify]: Extracting #7: cost 0 inf + 18711
4.776 * [simplify]: Simplified to:
  (expm1 (* z (- 1.0 y)))
  (log1p (* z (- 1.0 y)))
  (* z (- 1.0 y))
  (log (* z (- 1.0 y)))
  (log (* z (- 1.0 y)))
  (pow (exp (- 1.0 y)) z)
  (pow (* z (- 1.0 y)) 3)
  (* (cbrt (* z (- 1.0 y))) (cbrt (* z (- 1.0 y))))
  (cbrt (* z (- 1.0 y)))
  (pow (* z (- 1.0 y)) 3)
  (sqrt (* z (- 1.0 y)))
  (sqrt (* z (- 1.0 y)))
  (* (sqrt (- 1.0 y)) (sqrt z))
  (* (sqrt (- 1.0 y)) (sqrt z))
  (* z (- (pow (cbrt 1.0) 3) y))
  (* z (+ (- y) y))
  (* z (- (pow (cbrt 1.0) 3) y))
  (* z (+ (- y) y))
  (* z (- (pow (cbrt 1.0) 3) y))
  (* z (+ (- y) y))
  (* z (- 1.0 y))
  (* z (+ (- y) y))
  (* z (- 1.0 y))
  (* z (+ (- y) y))
  (* z (- 1.0 y))
  (* z (+ (- y) y))
  (* z (- 1.0 y))
  (* z (+ (- y) y))
  (* z (- 1.0 y))
  (* z (+ (- y) y))
  (* z (- 1.0 y))
  (* z (+ (- y) y))
  (* 1.0 z)
  (- (* y z))
  (* 1.0 z)
  (- (* y z))
  (* z (- (pow (cbrt 1.0) 3) y))
  (* z (+ (- y) y))
  (* z (- (pow (cbrt 1.0) 3) y))
  (* z (+ (- y) y))
  (* z (- (pow (cbrt 1.0) 3) y))
  (* z (+ (- y) y))
  (* z (- 1.0 y))
  (* z (+ (- y) y))
  (* z (- 1.0 y))
  (* z (+ (- y) y))
  (* z (- 1.0 y))
  (* z (+ (- y) y))
  (* z (- 1.0 y))
  (* z (+ (- y) y))
  (* z (- 1.0 y))
  (* z (+ (- y) y))
  (* z (- 1.0 y))
  (* z (+ (- y) y))
  (* z 1.0)
  (- (* y z))
  (* z 1.0)
  (- (* y z))
  (* (cbrt (- 1.0 y)) (* z (cbrt (- 1.0 y))))
  (* (sqrt (- 1.0 y)) z)
  z
  (* z (+ (sqrt 1.0) (sqrt y)))
  z
  (* (- 1.0 y) (cbrt z))
  (* (- 1.0 y) (sqrt z))
  (* z (- 1.0 y))
  (* z (- (pow 1.0 3) (pow y 3)))
  (* (+ y 1.0) (* (- 1.0 y) z))
  (expm1 (fma (- 1.0 y) z (* x y)))
  (log1p (fma (- 1.0 y) z (* x y)))
  (* x y)
  (log (fma (- 1.0 y) z (* x y)))
  (exp (fma (- 1.0 y) z (* x y)))
  (* (cbrt (fma (- 1.0 y) z (* x y))) (cbrt (fma (- 1.0 y) z (* x y))))
  (cbrt (fma (- 1.0 y) z (* x y)))
  (pow (fma (- 1.0 y) z (* x y)) 3)
  (sqrt (fma (- 1.0 y) z (* x y)))
  (sqrt (fma (- 1.0 y) z (* x y)))
  (* z (- 1.0 y))
  (* z (- 1.0 y))
  (* z (- 1.0 y))
  (fma 1.0 z (* y (- x z)))
  (fma 1.0 z (* y (- x z)))
  (fma 1.0 z (* y (- x z)))
4.776 * * * [progress]: adding candidates to table
4.958 * * [progress]: iteration 2 / 4
4.958 * * * [progress]: picking best candidate
4.961 * * * * [pick]: Picked  #<alt (λ (x y z) (fma 1.0 z (* y (- x z))))>
4.961 * * * [progress]: localizing error
4.975 * * * [progress]: generating rewritten candidates
4.975 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3)
5.015 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
5.019 * * * [progress]: generating series expansions
5.019 * * * * [progress]: [ 1 / 2 ] generating series at (2 3)
5.020 * [backup-simplify]: Simplify (* y (- x z)) into (* (- x z) y)
5.020 * [approximate]: Taking taylor expansion of (* (- x z) y) in (y x z) around 0
5.020 * [taylor]: Taking taylor expansion of (* (- x z) y) in z
5.020 * [taylor]: Taking taylor expansion of (- x z) in z
5.020 * [taylor]: Taking taylor expansion of x in z
5.020 * [backup-simplify]: Simplify x into x
5.020 * [taylor]: Taking taylor expansion of z in z
5.020 * [backup-simplify]: Simplify 0 into 0
5.020 * [backup-simplify]: Simplify 1 into 1
5.020 * [taylor]: Taking taylor expansion of y in z
5.020 * [backup-simplify]: Simplify y into y
5.020 * [taylor]: Taking taylor expansion of (* (- x z) y) in x
5.020 * [taylor]: Taking taylor expansion of (- x z) in x
5.020 * [taylor]: Taking taylor expansion of x in x
5.020 * [backup-simplify]: Simplify 0 into 0
5.020 * [backup-simplify]: Simplify 1 into 1
5.020 * [taylor]: Taking taylor expansion of z in x
5.020 * [backup-simplify]: Simplify z into z
5.020 * [taylor]: Taking taylor expansion of y in x
5.020 * [backup-simplify]: Simplify y into y
5.020 * [taylor]: Taking taylor expansion of (* (- x z) y) in y
5.020 * [taylor]: Taking taylor expansion of (- x z) in y
5.020 * [taylor]: Taking taylor expansion of x in y
5.020 * [backup-simplify]: Simplify x into x
5.020 * [taylor]: Taking taylor expansion of z in y
5.020 * [backup-simplify]: Simplify z into z
5.020 * [taylor]: Taking taylor expansion of y in y
5.020 * [backup-simplify]: Simplify 0 into 0
5.020 * [backup-simplify]: Simplify 1 into 1
5.020 * [taylor]: Taking taylor expansion of (* (- x z) y) in y
5.020 * [taylor]: Taking taylor expansion of (- x z) in y
5.020 * [taylor]: Taking taylor expansion of x in y
5.020 * [backup-simplify]: Simplify x into x
5.020 * [taylor]: Taking taylor expansion of z in y
5.020 * [backup-simplify]: Simplify z into z
5.020 * [taylor]: Taking taylor expansion of y in y
5.020 * [backup-simplify]: Simplify 0 into 0
5.020 * [backup-simplify]: Simplify 1 into 1
5.021 * [backup-simplify]: Simplify (- z) into (- z)
5.021 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
5.021 * [backup-simplify]: Simplify (* (- x z) 0) into 0
5.021 * [taylor]: Taking taylor expansion of 0 in x
5.021 * [backup-simplify]: Simplify 0 into 0
5.021 * [taylor]: Taking taylor expansion of 0 in z
5.021 * [backup-simplify]: Simplify 0 into 0
5.021 * [backup-simplify]: Simplify 0 into 0
5.022 * [backup-simplify]: Simplify (- 0) into 0
5.022 * [backup-simplify]: Simplify (+ 0 0) into 0
5.023 * [backup-simplify]: Simplify (+ (* (- x z) 1) (* 0 0)) into (- x z)
5.023 * [taylor]: Taking taylor expansion of (- x z) in x
5.023 * [taylor]: Taking taylor expansion of x in x
5.023 * [backup-simplify]: Simplify 0 into 0
5.023 * [backup-simplify]: Simplify 1 into 1
5.023 * [taylor]: Taking taylor expansion of z in x
5.023 * [backup-simplify]: Simplify z into z
5.023 * [backup-simplify]: Simplify (- z) into (- z)
5.023 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
5.023 * [taylor]: Taking taylor expansion of (- z) in z
5.023 * [taylor]: Taking taylor expansion of z in z
5.023 * [backup-simplify]: Simplify 0 into 0
5.023 * [backup-simplify]: Simplify 1 into 1
5.023 * [backup-simplify]: Simplify (- 0) into 0
5.023 * [backup-simplify]: Simplify 0 into 0
5.023 * [taylor]: Taking taylor expansion of 0 in z
5.023 * [backup-simplify]: Simplify 0 into 0
5.024 * [backup-simplify]: Simplify 0 into 0
5.024 * [backup-simplify]: Simplify 0 into 0
5.024 * [backup-simplify]: Simplify (- 0) into 0
5.024 * [backup-simplify]: Simplify (+ 0 0) into 0
5.025 * [backup-simplify]: Simplify (+ (* (- x z) 0) (+ (* 0 1) (* 0 0))) into 0
5.025 * [taylor]: Taking taylor expansion of 0 in x
5.025 * [backup-simplify]: Simplify 0 into 0
5.025 * [taylor]: Taking taylor expansion of 0 in z
5.025 * [backup-simplify]: Simplify 0 into 0
5.025 * [backup-simplify]: Simplify 0 into 0
5.026 * [backup-simplify]: Simplify (- 0) into 0
5.026 * [backup-simplify]: Simplify (+ 1 0) into 1
5.026 * [taylor]: Taking taylor expansion of 1 in z
5.026 * [backup-simplify]: Simplify 1 into 1
5.026 * [backup-simplify]: Simplify 1 into 1
5.026 * [taylor]: Taking taylor expansion of 0 in z
5.026 * [backup-simplify]: Simplify 0 into 0
5.026 * [backup-simplify]: Simplify 0 into 0
5.027 * [backup-simplify]: Simplify (- 1) into -1
5.027 * [backup-simplify]: Simplify -1 into -1
5.027 * [backup-simplify]: Simplify 0 into 0
5.027 * [backup-simplify]: Simplify 0 into 0
5.027 * [backup-simplify]: Simplify (- 0) into 0
5.028 * [backup-simplify]: Simplify (+ 0 0) into 0
5.029 * [backup-simplify]: Simplify (+ (* (- x z) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.029 * [taylor]: Taking taylor expansion of 0 in x
5.029 * [backup-simplify]: Simplify 0 into 0
5.029 * [taylor]: Taking taylor expansion of 0 in z
5.029 * [backup-simplify]: Simplify 0 into 0
5.029 * [backup-simplify]: Simplify 0 into 0
5.029 * [taylor]: Taking taylor expansion of 0 in z
5.029 * [backup-simplify]: Simplify 0 into 0
5.029 * [backup-simplify]: Simplify 0 into 0
5.029 * [backup-simplify]: Simplify (- 0) into 0
5.030 * [backup-simplify]: Simplify (+ 0 0) into 0
5.030 * [taylor]: Taking taylor expansion of 0 in z
5.030 * [backup-simplify]: Simplify 0 into 0
5.030 * [backup-simplify]: Simplify 0 into 0
5.030 * [taylor]: Taking taylor expansion of 0 in z
5.030 * [backup-simplify]: Simplify 0 into 0
5.030 * [backup-simplify]: Simplify 0 into 0
5.030 * [backup-simplify]: Simplify (+ (* -1 (* z (* 1 y))) (* 1 (* 1 (* x y)))) into (- (* x y) (* z y))
5.031 * [backup-simplify]: Simplify (* (/ 1 y) (- (/ 1 x) (/ 1 z))) into (/ (- (/ 1 x) (/ 1 z)) y)
5.031 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (y x z) around 0
5.031 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z
5.031 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
5.031 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.031 * [taylor]: Taking taylor expansion of x in z
5.031 * [backup-simplify]: Simplify x into x
5.031 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.031 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.031 * [taylor]: Taking taylor expansion of z in z
5.031 * [backup-simplify]: Simplify 0 into 0
5.031 * [backup-simplify]: Simplify 1 into 1
5.032 * [backup-simplify]: Simplify (/ 1 1) into 1
5.032 * [taylor]: Taking taylor expansion of y in z
5.032 * [backup-simplify]: Simplify y into y
5.032 * [backup-simplify]: Simplify (- 1) into -1
5.032 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.033 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
5.033 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
5.033 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
5.033 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.033 * [taylor]: Taking taylor expansion of x in x
5.033 * [backup-simplify]: Simplify 0 into 0
5.033 * [backup-simplify]: Simplify 1 into 1
5.033 * [backup-simplify]: Simplify (/ 1 1) into 1
5.033 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.033 * [taylor]: Taking taylor expansion of z in x
5.033 * [backup-simplify]: Simplify z into z
5.033 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.033 * [taylor]: Taking taylor expansion of y in x
5.033 * [backup-simplify]: Simplify y into y
5.034 * [backup-simplify]: Simplify (+ 1 0) into 1
5.034 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.034 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
5.034 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
5.034 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.034 * [taylor]: Taking taylor expansion of x in y
5.034 * [backup-simplify]: Simplify x into x
5.034 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.034 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.034 * [taylor]: Taking taylor expansion of z in y
5.034 * [backup-simplify]: Simplify z into z
5.034 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.034 * [taylor]: Taking taylor expansion of y in y
5.034 * [backup-simplify]: Simplify 0 into 0
5.034 * [backup-simplify]: Simplify 1 into 1
5.034 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.034 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
5.035 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z))
5.035 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
5.035 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
5.035 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.035 * [taylor]: Taking taylor expansion of x in y
5.035 * [backup-simplify]: Simplify x into x
5.035 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.035 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.035 * [taylor]: Taking taylor expansion of z in y
5.035 * [backup-simplify]: Simplify z into z
5.035 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.035 * [taylor]: Taking taylor expansion of y in y
5.035 * [backup-simplify]: Simplify 0 into 0
5.035 * [backup-simplify]: Simplify 1 into 1
5.035 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.035 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
5.035 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z))
5.035 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
5.035 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.035 * [taylor]: Taking taylor expansion of x in x
5.035 * [backup-simplify]: Simplify 0 into 0
5.035 * [backup-simplify]: Simplify 1 into 1
5.036 * [backup-simplify]: Simplify (/ 1 1) into 1
5.036 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.036 * [taylor]: Taking taylor expansion of z in x
5.036 * [backup-simplify]: Simplify z into z
5.037 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.037 * [backup-simplify]: Simplify (+ 1 0) into 1
5.037 * [taylor]: Taking taylor expansion of 1 in z
5.037 * [backup-simplify]: Simplify 1 into 1
5.037 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.037 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.038 * [backup-simplify]: Simplify (- 0) into 0
5.038 * [backup-simplify]: Simplify (+ 0 0) into 0
5.039 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)))) into 0
5.039 * [taylor]: Taking taylor expansion of 0 in x
5.039 * [backup-simplify]: Simplify 0 into 0
5.040 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.040 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.040 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
5.041 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
5.041 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.041 * [taylor]: Taking taylor expansion of z in z
5.041 * [backup-simplify]: Simplify 0 into 0
5.041 * [backup-simplify]: Simplify 1 into 1
5.041 * [backup-simplify]: Simplify (/ 1 1) into 1
5.041 * [backup-simplify]: Simplify (- 1) into -1
5.041 * [backup-simplify]: Simplify -1 into -1
5.042 * [backup-simplify]: Simplify 1 into 1
5.042 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.042 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.042 * [backup-simplify]: Simplify (- 0) into 0
5.043 * [backup-simplify]: Simplify (+ 0 0) into 0
5.044 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.044 * [taylor]: Taking taylor expansion of 0 in x
5.044 * [backup-simplify]: Simplify 0 into 0
5.044 * [taylor]: Taking taylor expansion of 0 in z
5.044 * [backup-simplify]: Simplify 0 into 0
5.045 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.046 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.046 * [backup-simplify]: Simplify (- 0) into 0
5.046 * [backup-simplify]: Simplify (+ 0 0) into 0
5.046 * [taylor]: Taking taylor expansion of 0 in z
5.046 * [backup-simplify]: Simplify 0 into 0
5.047 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.048 * [backup-simplify]: Simplify (- 0) into 0
5.048 * [backup-simplify]: Simplify 0 into 0
5.048 * [backup-simplify]: Simplify 0 into 0
5.048 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.048 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.049 * [backup-simplify]: Simplify (- 0) into 0
5.049 * [backup-simplify]: Simplify (+ 0 0) into 0
5.051 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.051 * [taylor]: Taking taylor expansion of 0 in x
5.051 * [backup-simplify]: Simplify 0 into 0
5.051 * [taylor]: Taking taylor expansion of 0 in z
5.051 * [backup-simplify]: Simplify 0 into 0
5.051 * [taylor]: Taking taylor expansion of 0 in z
5.051 * [backup-simplify]: Simplify 0 into 0
5.052 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.052 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.053 * [backup-simplify]: Simplify (- 0) into 0
5.053 * [backup-simplify]: Simplify (+ 0 0) into 0
5.053 * [taylor]: Taking taylor expansion of 0 in z
5.053 * [backup-simplify]: Simplify 0 into 0
5.053 * [backup-simplify]: Simplify 0 into 0
5.053 * [backup-simplify]: Simplify 0 into 0
5.054 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.054 * [backup-simplify]: Simplify (- 0) into 0
5.054 * [backup-simplify]: Simplify 0 into 0
5.054 * [backup-simplify]: Simplify 0 into 0
5.054 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 y)))))) into (- (* x y) (* z y))
5.055 * [backup-simplify]: Simplify (* (/ 1 (- y)) (- (/ 1 (- x)) (/ 1 (- z)))) into (* -1 (/ (- (/ 1 z) (/ 1 x)) y))
5.055 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (y x z) around 0
5.055 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z
5.055 * [taylor]: Taking taylor expansion of -1 in z
5.055 * [backup-simplify]: Simplify -1 into -1
5.055 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z
5.055 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
5.055 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.055 * [taylor]: Taking taylor expansion of z in z
5.055 * [backup-simplify]: Simplify 0 into 0
5.055 * [backup-simplify]: Simplify 1 into 1
5.055 * [backup-simplify]: Simplify (/ 1 1) into 1
5.055 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.055 * [taylor]: Taking taylor expansion of x in z
5.055 * [backup-simplify]: Simplify x into x
5.055 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.055 * [taylor]: Taking taylor expansion of y in z
5.055 * [backup-simplify]: Simplify y into y
5.056 * [backup-simplify]: Simplify (+ 1 0) into 1
5.056 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.056 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x
5.056 * [taylor]: Taking taylor expansion of -1 in x
5.056 * [backup-simplify]: Simplify -1 into -1
5.056 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
5.056 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
5.056 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.056 * [taylor]: Taking taylor expansion of z in x
5.056 * [backup-simplify]: Simplify z into z
5.056 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.056 * [taylor]: Taking taylor expansion of x in x
5.056 * [backup-simplify]: Simplify 0 into 0
5.056 * [backup-simplify]: Simplify 1 into 1
5.056 * [backup-simplify]: Simplify (/ 1 1) into 1
5.056 * [taylor]: Taking taylor expansion of y in x
5.056 * [backup-simplify]: Simplify y into y
5.056 * [backup-simplify]: Simplify (- 1) into -1
5.057 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.057 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
5.057 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y
5.057 * [taylor]: Taking taylor expansion of -1 in y
5.057 * [backup-simplify]: Simplify -1 into -1
5.057 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
5.057 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
5.057 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.057 * [taylor]: Taking taylor expansion of z in y
5.057 * [backup-simplify]: Simplify z into z
5.057 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.057 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.057 * [taylor]: Taking taylor expansion of x in y
5.057 * [backup-simplify]: Simplify x into x
5.057 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.057 * [taylor]: Taking taylor expansion of y in y
5.057 * [backup-simplify]: Simplify 0 into 0
5.057 * [backup-simplify]: Simplify 1 into 1
5.057 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
5.057 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
5.057 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x))
5.057 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y
5.057 * [taylor]: Taking taylor expansion of -1 in y
5.057 * [backup-simplify]: Simplify -1 into -1
5.057 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
5.057 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
5.057 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.057 * [taylor]: Taking taylor expansion of z in y
5.057 * [backup-simplify]: Simplify z into z
5.057 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.057 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.057 * [taylor]: Taking taylor expansion of x in y
5.057 * [backup-simplify]: Simplify x into x
5.057 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.057 * [taylor]: Taking taylor expansion of y in y
5.057 * [backup-simplify]: Simplify 0 into 0
5.057 * [backup-simplify]: Simplify 1 into 1
5.058 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
5.058 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
5.058 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x))
5.058 * [backup-simplify]: Simplify (* -1 (- (/ 1 z) (/ 1 x))) into (* -1 (- (/ 1 z) (/ 1 x)))
5.058 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 x))) in x
5.058 * [taylor]: Taking taylor expansion of -1 in x
5.058 * [backup-simplify]: Simplify -1 into -1
5.058 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
5.058 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.058 * [taylor]: Taking taylor expansion of z in x
5.058 * [backup-simplify]: Simplify z into z
5.058 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.058 * [taylor]: Taking taylor expansion of x in x
5.058 * [backup-simplify]: Simplify 0 into 0
5.058 * [backup-simplify]: Simplify 1 into 1
5.059 * [backup-simplify]: Simplify (/ 1 1) into 1
5.059 * [backup-simplify]: Simplify (- 1) into -1
5.059 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.059 * [backup-simplify]: Simplify (* -1 -1) into 1
5.059 * [taylor]: Taking taylor expansion of 1 in z
5.059 * [backup-simplify]: Simplify 1 into 1
5.060 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.060 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.060 * [backup-simplify]: Simplify (- 0) into 0
5.060 * [backup-simplify]: Simplify (+ 0 0) into 0
5.061 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)))) into 0
5.061 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (/ 1 z) (/ 1 x)))) into 0
5.061 * [taylor]: Taking taylor expansion of 0 in x
5.061 * [backup-simplify]: Simplify 0 into 0
5.062 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.062 * [backup-simplify]: Simplify (- 0) into 0
5.062 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
5.063 * [backup-simplify]: Simplify (+ (* -1 (/ 1 z)) (* 0 -1)) into (- (/ 1 z))
5.063 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
5.063 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.063 * [taylor]: Taking taylor expansion of z in z
5.063 * [backup-simplify]: Simplify 0 into 0
5.063 * [backup-simplify]: Simplify 1 into 1
5.063 * [backup-simplify]: Simplify (/ 1 1) into 1
5.063 * [backup-simplify]: Simplify (- 1) into -1
5.063 * [backup-simplify]: Simplify -1 into -1
5.064 * [backup-simplify]: Simplify 1 into 1
5.064 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.064 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.064 * [backup-simplify]: Simplify (- 0) into 0
5.064 * [backup-simplify]: Simplify (+ 0 0) into 0
5.065 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.066 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x))))) into 0
5.066 * [taylor]: Taking taylor expansion of 0 in x
5.066 * [backup-simplify]: Simplify 0 into 0
5.066 * [taylor]: Taking taylor expansion of 0 in z
5.066 * [backup-simplify]: Simplify 0 into 0
5.066 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.067 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.067 * [backup-simplify]: Simplify (- 0) into 0
5.067 * [backup-simplify]: Simplify (+ 0 0) into 0
5.068 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 z)) (* 0 -1))) into 0
5.068 * [taylor]: Taking taylor expansion of 0 in z
5.068 * [backup-simplify]: Simplify 0 into 0
5.068 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.069 * [backup-simplify]: Simplify (- 0) into 0
5.069 * [backup-simplify]: Simplify 0 into 0
5.069 * [backup-simplify]: Simplify 0 into 0
5.069 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.069 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.069 * [backup-simplify]: Simplify (- 0) into 0
5.070 * [backup-simplify]: Simplify (+ 0 0) into 0
5.071 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.072 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x)))))) into 0
5.072 * [taylor]: Taking taylor expansion of 0 in x
5.072 * [backup-simplify]: Simplify 0 into 0
5.072 * [taylor]: Taking taylor expansion of 0 in z
5.072 * [backup-simplify]: Simplify 0 into 0
5.072 * [taylor]: Taking taylor expansion of 0 in z
5.072 * [backup-simplify]: Simplify 0 into 0
5.072 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.073 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.073 * [backup-simplify]: Simplify (- 0) into 0
5.073 * [backup-simplify]: Simplify (+ 0 0) into 0
5.074 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 z)) (* 0 -1)))) into 0
5.074 * [taylor]: Taking taylor expansion of 0 in z
5.074 * [backup-simplify]: Simplify 0 into 0
5.074 * [backup-simplify]: Simplify 0 into 0
5.074 * [backup-simplify]: Simplify 0 into 0
5.075 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.075 * [backup-simplify]: Simplify (- 0) into 0
5.075 * [backup-simplify]: Simplify 0 into 0
5.075 * [backup-simplify]: Simplify 0 into 0
5.075 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- y))))))) into (- (* x y) (* z y))
5.075 * * * * [progress]: [ 2 / 2 ] generating series at (2)
5.075 * [backup-simplify]: Simplify (fma 1.0 z (* y (- x z))) into (fma 1.0 z (* (- x z) y))
5.075 * [approximate]: Taking taylor expansion of (fma 1.0 z (* (- x z) y)) in (z y x) around 0
5.075 * [taylor]: Taking taylor expansion of (fma 1.0 z (* (- x z) y)) in x
5.076 * [taylor]: Rewrote expression to (+ (* 1.0 z) (* (- x z) y))
5.076 * [taylor]: Taking taylor expansion of (* 1.0 z) in x
5.076 * [taylor]: Taking taylor expansion of 1.0 in x
5.076 * [backup-simplify]: Simplify 1.0 into 1.0
5.076 * [taylor]: Taking taylor expansion of z in x
5.076 * [backup-simplify]: Simplify z into z
5.076 * [taylor]: Taking taylor expansion of (* (- x z) y) in x
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 * [taylor]: Taking taylor expansion of y in x
5.076 * [backup-simplify]: Simplify y into y
5.076 * [taylor]: Taking taylor expansion of (fma 1.0 z (* (- x z) y)) in y
5.076 * [taylor]: Rewrote expression to (+ (* 1.0 z) (* (- x z) y))
5.076 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
5.076 * [taylor]: Taking taylor expansion of 1.0 in y
5.076 * [backup-simplify]: Simplify 1.0 into 1.0
5.076 * [taylor]: Taking taylor expansion of z in y
5.076 * [backup-simplify]: Simplify z into z
5.076 * [taylor]: Taking taylor expansion of (* (- x z) y) in y
5.076 * [taylor]: Taking taylor expansion of (- x z) in y
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 * [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 (fma 1.0 z (* (- x z) y)) in z
5.076 * [taylor]: Rewrote expression to (+ (* 1.0 z) (* (- x z) y))
5.076 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
5.076 * [taylor]: Taking taylor expansion of 1.0 in z
5.076 * [backup-simplify]: Simplify 1.0 into 1.0
5.076 * [taylor]: Taking taylor expansion of z in z
5.076 * [backup-simplify]: Simplify 0 into 0
5.076 * [backup-simplify]: Simplify 1 into 1
5.076 * [taylor]: Taking taylor expansion of (* (- x z) y) in z
5.076 * [taylor]: Taking taylor expansion of (- x z) in z
5.076 * [taylor]: Taking taylor expansion of x in z
5.076 * [backup-simplify]: Simplify x into x
5.076 * [taylor]: Taking taylor expansion of z in z
5.076 * [backup-simplify]: Simplify 0 into 0
5.076 * [backup-simplify]: Simplify 1 into 1
5.076 * [taylor]: Taking taylor expansion of y in z
5.077 * [backup-simplify]: Simplify y into y
5.077 * [taylor]: Taking taylor expansion of (fma 1.0 z (* (- x z) y)) in z
5.077 * [taylor]: Rewrote expression to (+ (* 1.0 z) (* (- x z) y))
5.077 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
5.077 * [taylor]: Taking taylor expansion of 1.0 in z
5.077 * [backup-simplify]: Simplify 1.0 into 1.0
5.077 * [taylor]: Taking taylor expansion of z in z
5.077 * [backup-simplify]: Simplify 0 into 0
5.077 * [backup-simplify]: Simplify 1 into 1
5.077 * [taylor]: Taking taylor expansion of (* (- x z) y) in z
5.077 * [taylor]: Taking taylor expansion of (- x z) in z
5.077 * [taylor]: Taking taylor expansion of x in z
5.077 * [backup-simplify]: Simplify x into x
5.077 * [taylor]: Taking taylor expansion of z in z
5.077 * [backup-simplify]: Simplify 0 into 0
5.077 * [backup-simplify]: Simplify 1 into 1
5.077 * [taylor]: Taking taylor expansion of y in z
5.077 * [backup-simplify]: Simplify y into y
5.077 * [backup-simplify]: Simplify (* 1.0 0) into 0
5.078 * [backup-simplify]: Simplify (- 0) into 0
5.078 * [backup-simplify]: Simplify (+ x 0) into x
5.078 * [backup-simplify]: Simplify (* x y) into (* x y)
5.078 * [backup-simplify]: Simplify (+ 0 (* x y)) into (* x y)
5.078 * [taylor]: Taking taylor expansion of (* x y) in y
5.078 * [taylor]: Taking taylor expansion of x in y
5.078 * [backup-simplify]: Simplify x into x
5.078 * [taylor]: Taking taylor expansion of y in y
5.078 * [backup-simplify]: Simplify 0 into 0
5.078 * [backup-simplify]: Simplify 1 into 1
5.078 * [backup-simplify]: Simplify (* x 0) into 0
5.078 * [taylor]: Taking taylor expansion of 0 in x
5.078 * [backup-simplify]: Simplify 0 into 0
5.078 * [backup-simplify]: Simplify 0 into 0
5.079 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
5.079 * [backup-simplify]: Simplify (- 1) into -1
5.080 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.080 * [backup-simplify]: Simplify (+ (* x 0) (* -1 y)) into (- y)
5.080 * [backup-simplify]: Simplify (+ 1.0 (- y)) into (- 1.0 y)
5.080 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
5.080 * [taylor]: Taking taylor expansion of 1.0 in y
5.080 * [backup-simplify]: Simplify 1.0 into 1.0
5.080 * [taylor]: Taking taylor expansion of y in y
5.080 * [backup-simplify]: Simplify 0 into 0
5.080 * [backup-simplify]: Simplify 1 into 1
5.080 * [backup-simplify]: Simplify (- 0) into 0
5.081 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.081 * [taylor]: Taking taylor expansion of 1.0 in x
5.081 * [backup-simplify]: Simplify 1.0 into 1.0
5.081 * [backup-simplify]: Simplify 1.0 into 1.0
5.081 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.081 * [taylor]: Taking taylor expansion of x in x
5.081 * [backup-simplify]: Simplify 0 into 0
5.081 * [backup-simplify]: Simplify 1 into 1
5.081 * [backup-simplify]: Simplify 0 into 0
5.081 * [backup-simplify]: Simplify 0 into 0
5.082 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
5.082 * [backup-simplify]: Simplify (- 0) into 0
5.082 * [backup-simplify]: Simplify (+ 0 0) into 0
5.083 * [backup-simplify]: Simplify (+ (* x 0) (+ (* -1 0) (* 0 y))) into 0
5.083 * [backup-simplify]: Simplify (+ 0 0) into 0
5.083 * [taylor]: Taking taylor expansion of 0 in y
5.083 * [backup-simplify]: Simplify 0 into 0
5.083 * [taylor]: Taking taylor expansion of 0 in x
5.083 * [backup-simplify]: Simplify 0 into 0
5.083 * [backup-simplify]: Simplify 0 into 0
5.083 * [backup-simplify]: Simplify (- 1) into -1
5.084 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.084 * [taylor]: Taking taylor expansion of -1 in x
5.084 * [backup-simplify]: Simplify -1 into -1
5.084 * [backup-simplify]: Simplify -1 into -1
5.084 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
5.084 * [taylor]: Taking taylor expansion of 0 in x
5.084 * [backup-simplify]: Simplify 0 into 0
5.084 * [backup-simplify]: Simplify 0 into 0
5.084 * [backup-simplify]: Simplify 0 into 0
5.084 * [backup-simplify]: Simplify 1 into 1
5.084 * [backup-simplify]: Simplify (+ (* 1 (* x (* y 1))) (+ (* -1 (* 1 (* y z))) (* 1.0 (* 1 (* 1 z))))) into (- (+ (* 1.0 z) (* x y)) (* z y))
5.085 * [backup-simplify]: Simplify (fma 1.0 (/ 1 z) (* (/ 1 y) (- (/ 1 x) (/ 1 z)))) into (fma 1.0 (/ 1 z) (/ (- (/ 1 x) (/ 1 z)) y))
5.085 * [approximate]: Taking taylor expansion of (fma 1.0 (/ 1 z) (/ (- (/ 1 x) (/ 1 z)) y)) in (z y x) around 0
5.085 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) (/ (- (/ 1 x) (/ 1 z)) y)) in x
5.085 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) (/ (- (/ 1 x) (/ 1 z)) y))
5.085 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
5.085 * [taylor]: Taking taylor expansion of 1.0 in x
5.085 * [backup-simplify]: Simplify 1.0 into 1.0
5.085 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.085 * [taylor]: Taking taylor expansion of z in x
5.085 * [backup-simplify]: Simplify z into z
5.085 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.085 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
5.085 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
5.085 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.085 * [taylor]: Taking taylor expansion of x in x
5.085 * [backup-simplify]: Simplify 0 into 0
5.085 * [backup-simplify]: Simplify 1 into 1
5.086 * [backup-simplify]: Simplify (/ 1 1) into 1
5.086 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.086 * [taylor]: Taking taylor expansion of z in x
5.086 * [backup-simplify]: Simplify z into z
5.086 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.086 * [taylor]: Taking taylor expansion of y in x
5.086 * [backup-simplify]: Simplify y into y
5.087 * [backup-simplify]: Simplify (+ 1 0) into 1
5.087 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.087 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) (/ (- (/ 1 x) (/ 1 z)) y)) in y
5.087 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) (/ (- (/ 1 x) (/ 1 z)) y))
5.087 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
5.087 * [taylor]: Taking taylor expansion of 1.0 in y
5.087 * [backup-simplify]: Simplify 1.0 into 1.0
5.087 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.087 * [taylor]: Taking taylor expansion of z in y
5.087 * [backup-simplify]: Simplify z into z
5.087 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.087 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
5.087 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
5.087 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.087 * [taylor]: Taking taylor expansion of x in y
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 (/ 1 z) in y
5.087 * [taylor]: Taking taylor expansion of z in y
5.087 * [backup-simplify]: Simplify z into z
5.087 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.087 * [taylor]: Taking taylor expansion of y in y
5.087 * [backup-simplify]: Simplify 0 into 0
5.087 * [backup-simplify]: Simplify 1 into 1
5.087 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.087 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
5.087 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z))
5.087 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) (/ (- (/ 1 x) (/ 1 z)) y)) in z
5.088 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) (/ (- (/ 1 x) (/ 1 z)) y))
5.088 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
5.088 * [taylor]: Taking taylor expansion of 1.0 in z
5.088 * [backup-simplify]: Simplify 1.0 into 1.0
5.088 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.088 * [taylor]: Taking taylor expansion of z in z
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) (/ 1 z)) y) in z
5.088 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
5.088 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.088 * [taylor]: Taking taylor expansion of x in z
5.088 * [backup-simplify]: Simplify x into x
5.088 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.088 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.088 * [taylor]: Taking taylor expansion of z in z
5.088 * [backup-simplify]: Simplify 0 into 0
5.088 * [backup-simplify]: Simplify 1 into 1
5.089 * [backup-simplify]: Simplify (/ 1 1) into 1
5.089 * [taylor]: Taking taylor expansion of y in z
5.089 * [backup-simplify]: Simplify y into y
5.089 * [backup-simplify]: Simplify (- 1) into -1
5.089 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.090 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
5.090 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) (/ (- (/ 1 x) (/ 1 z)) y)) in z
5.090 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) (/ (- (/ 1 x) (/ 1 z)) y))
5.090 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
5.090 * [taylor]: Taking taylor expansion of 1.0 in z
5.090 * [backup-simplify]: Simplify 1.0 into 1.0
5.090 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.090 * [taylor]: Taking taylor expansion of z in z
5.090 * [backup-simplify]: Simplify 0 into 0
5.090 * [backup-simplify]: Simplify 1 into 1
5.091 * [backup-simplify]: Simplify (/ 1 1) into 1
5.091 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z
5.091 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
5.091 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.091 * [taylor]: Taking taylor expansion of x in z
5.091 * [backup-simplify]: Simplify x into x
5.091 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.091 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.091 * [taylor]: Taking taylor expansion of z in z
5.091 * [backup-simplify]: Simplify 0 into 0
5.091 * [backup-simplify]: Simplify 1 into 1
5.091 * [backup-simplify]: Simplify (/ 1 1) into 1
5.091 * [taylor]: Taking taylor expansion of y in z
5.091 * [backup-simplify]: Simplify y into y
5.092 * [backup-simplify]: Simplify (- 1) into -1
5.092 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.092 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
5.093 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
5.093 * [backup-simplify]: Simplify (+ 1.0 (/ -1 y)) into (- 1.0 (/ 1 y))
5.093 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
5.093 * [taylor]: Taking taylor expansion of 1.0 in y
5.093 * [backup-simplify]: Simplify 1.0 into 1.0
5.093 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.093 * [taylor]: Taking taylor expansion of y in y
5.093 * [backup-simplify]: Simplify 0 into 0
5.093 * [backup-simplify]: Simplify 1 into 1
5.094 * [backup-simplify]: Simplify (/ 1 1) into 1
5.094 * [backup-simplify]: Simplify (- 1) into -1
5.094 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.094 * [taylor]: Taking taylor expansion of -1 in x
5.094 * [backup-simplify]: Simplify -1 into -1
5.095 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.096 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
5.097 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.097 * [backup-simplify]: Simplify (- 0) into 0
5.098 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
5.098 * [backup-simplify]: Simplify (- (/ (/ 1 x) y) (+ (* (/ -1 y) (/ 0 y)))) into (/ 1 (* x y))
5.098 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y))
5.098 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
5.098 * [taylor]: Taking taylor expansion of (* x y) in y
5.098 * [taylor]: Taking taylor expansion of x in y
5.098 * [backup-simplify]: Simplify x into x
5.098 * [taylor]: Taking taylor expansion of y in y
5.098 * [backup-simplify]: Simplify 0 into 0
5.098 * [backup-simplify]: Simplify 1 into 1
5.098 * [backup-simplify]: Simplify (* x 0) into 0
5.099 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.099 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.099 * [taylor]: Taking taylor expansion of x in x
5.099 * [backup-simplify]: Simplify 0 into 0
5.099 * [backup-simplify]: Simplify 1 into 1
5.099 * [backup-simplify]: Simplify (/ 1 1) into 1
5.099 * [backup-simplify]: Simplify 1 into 1
5.100 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.101 * [backup-simplify]: Simplify (- 0) into 0
5.101 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.101 * [taylor]: Taking taylor expansion of 1.0 in x
5.101 * [backup-simplify]: Simplify 1.0 into 1.0
5.101 * [backup-simplify]: Simplify -1 into -1
5.102 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.103 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
5.104 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.105 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.105 * [backup-simplify]: Simplify (- 0) into 0
5.105 * [backup-simplify]: Simplify (+ 0 0) into 0
5.106 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (/ 1 (* x y)) (/ 0 y)))) into 0
5.106 * [backup-simplify]: Simplify (+ 0 0) into 0
5.106 * [taylor]: Taking taylor expansion of 0 in y
5.106 * [backup-simplify]: Simplify 0 into 0
5.107 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
5.107 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.107 * [taylor]: Taking taylor expansion of 0 in x
5.107 * [backup-simplify]: Simplify 0 into 0
5.108 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.108 * [backup-simplify]: Simplify (- 0) into 0
5.109 * [backup-simplify]: Simplify (+ 0 0) into 0
5.109 * [taylor]: Taking taylor expansion of 0 in x
5.109 * [backup-simplify]: Simplify 0 into 0
5.109 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.110 * [backup-simplify]: Simplify 0 into 0
5.110 * [backup-simplify]: Simplify 1.0 into 1.0
5.110 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (* 1 (/ 1 (/ 1 z))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 z))))) (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 (/ 1 y)) 1))))) into (- (+ (* 1.0 z) (* x y)) (* z y))
5.111 * [backup-simplify]: Simplify (fma 1.0 (/ 1 (- z)) (* (/ 1 (- y)) (- (/ 1 (- x)) (/ 1 (- z))))) into (fma 1.0 (/ -1 z) (* -1 (/ (- (/ 1 z) (/ 1 x)) y)))
5.111 * [approximate]: Taking taylor expansion of (fma 1.0 (/ -1 z) (* -1 (/ (- (/ 1 z) (/ 1 x)) y))) in (z y x) around 0
5.111 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) (* -1 (/ (- (/ 1 z) (/ 1 x)) y))) in x
5.111 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) (* -1 (/ (- (/ 1 z) (/ 1 x)) y)))
5.111 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in x
5.111 * [taylor]: Taking taylor expansion of 1.0 in x
5.111 * [backup-simplify]: Simplify 1.0 into 1.0
5.111 * [taylor]: Taking taylor expansion of (/ -1 z) in x
5.111 * [taylor]: Taking taylor expansion of -1 in x
5.111 * [backup-simplify]: Simplify -1 into -1
5.111 * [taylor]: Taking taylor expansion of z in x
5.111 * [backup-simplify]: Simplify z into z
5.111 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
5.111 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x
5.111 * [taylor]: Taking taylor expansion of -1 in x
5.111 * [backup-simplify]: Simplify -1 into -1
5.111 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
5.111 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
5.111 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.111 * [taylor]: Taking taylor expansion of z in x
5.111 * [backup-simplify]: Simplify z into z
5.111 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.111 * [taylor]: Taking taylor expansion of x in x
5.111 * [backup-simplify]: Simplify 0 into 0
5.111 * [backup-simplify]: Simplify 1 into 1
5.112 * [backup-simplify]: Simplify (/ 1 1) into 1
5.112 * [taylor]: Taking taylor expansion of y in x
5.112 * [backup-simplify]: Simplify y into y
5.112 * [backup-simplify]: Simplify (- 1) into -1
5.113 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.113 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
5.113 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) (* -1 (/ (- (/ 1 z) (/ 1 x)) y))) in y
5.113 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) (* -1 (/ (- (/ 1 z) (/ 1 x)) y)))
5.113 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in y
5.113 * [taylor]: Taking taylor expansion of 1.0 in y
5.113 * [backup-simplify]: Simplify 1.0 into 1.0
5.113 * [taylor]: Taking taylor expansion of (/ -1 z) in y
5.113 * [taylor]: Taking taylor expansion of -1 in y
5.113 * [backup-simplify]: Simplify -1 into -1
5.113 * [taylor]: Taking taylor expansion of z in y
5.113 * [backup-simplify]: Simplify z into z
5.114 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
5.114 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y
5.114 * [taylor]: Taking taylor expansion of -1 in y
5.114 * [backup-simplify]: Simplify -1 into -1
5.114 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
5.114 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
5.114 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.114 * [taylor]: Taking taylor expansion of z in y
5.114 * [backup-simplify]: Simplify z into z
5.114 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.114 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.114 * [taylor]: Taking taylor expansion of x in y
5.114 * [backup-simplify]: Simplify x into x
5.114 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.114 * [taylor]: Taking taylor expansion of y in y
5.114 * [backup-simplify]: Simplify 0 into 0
5.114 * [backup-simplify]: Simplify 1 into 1
5.114 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
5.114 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
5.114 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x))
5.114 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) (* -1 (/ (- (/ 1 z) (/ 1 x)) y))) in z
5.114 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) (* -1 (/ (- (/ 1 z) (/ 1 x)) y)))
5.115 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in z
5.115 * [taylor]: Taking taylor expansion of 1.0 in z
5.115 * [backup-simplify]: Simplify 1.0 into 1.0
5.115 * [taylor]: Taking taylor expansion of (/ -1 z) in z
5.115 * [taylor]: Taking taylor expansion of -1 in z
5.115 * [backup-simplify]: Simplify -1 into -1
5.115 * [taylor]: Taking taylor expansion of z in z
5.115 * [backup-simplify]: Simplify 0 into 0
5.115 * [backup-simplify]: Simplify 1 into 1
5.115 * [backup-simplify]: Simplify (/ -1 1) into -1
5.115 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z
5.115 * [taylor]: Taking taylor expansion of -1 in z
5.115 * [backup-simplify]: Simplify -1 into -1
5.116 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z
5.116 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
5.116 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.116 * [taylor]: Taking taylor expansion of z in z
5.116 * [backup-simplify]: Simplify 0 into 0
5.116 * [backup-simplify]: Simplify 1 into 1
5.116 * [backup-simplify]: Simplify (/ 1 1) into 1
5.116 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.116 * [taylor]: Taking taylor expansion of x in z
5.116 * [backup-simplify]: Simplify x into x
5.116 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.116 * [taylor]: Taking taylor expansion of y in z
5.116 * [backup-simplify]: Simplify y into y
5.117 * [backup-simplify]: Simplify (+ 1 0) into 1
5.117 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.117 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) (* -1 (/ (- (/ 1 z) (/ 1 x)) y))) in z
5.117 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) (* -1 (/ (- (/ 1 z) (/ 1 x)) y)))
5.117 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in z
5.117 * [taylor]: Taking taylor expansion of 1.0 in z
5.117 * [backup-simplify]: Simplify 1.0 into 1.0
5.117 * [taylor]: Taking taylor expansion of (/ -1 z) in z
5.117 * [taylor]: Taking taylor expansion of -1 in z
5.117 * [backup-simplify]: Simplify -1 into -1
5.117 * [taylor]: Taking taylor expansion of z in z
5.117 * [backup-simplify]: Simplify 0 into 0
5.117 * [backup-simplify]: Simplify 1 into 1
5.118 * [backup-simplify]: Simplify (/ -1 1) into -1
5.118 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z
5.118 * [taylor]: Taking taylor expansion of -1 in z
5.118 * [backup-simplify]: Simplify -1 into -1
5.118 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z
5.118 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
5.118 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.118 * [taylor]: Taking taylor expansion of z in z
5.118 * [backup-simplify]: Simplify 0 into 0
5.118 * [backup-simplify]: Simplify 1 into 1
5.118 * [backup-simplify]: Simplify (/ 1 1) into 1
5.118 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.118 * [taylor]: Taking taylor expansion of x in z
5.118 * [backup-simplify]: Simplify x into x
5.118 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.118 * [taylor]: Taking taylor expansion of y in z
5.118 * [backup-simplify]: Simplify y into y
5.119 * [backup-simplify]: Simplify (+ 1 0) into 1
5.119 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.119 * [backup-simplify]: Simplify (* 1.0 -1) into -1.0
5.119 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y)
5.119 * [backup-simplify]: Simplify (+ -1.0 (/ -1 y)) into (- (+ 1.0 (/ 1 y)))
5.119 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 y))) in y
5.119 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y
5.119 * [taylor]: Taking taylor expansion of 1.0 in y
5.119 * [backup-simplify]: Simplify 1.0 into 1.0
5.119 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.119 * [taylor]: Taking taylor expansion of y in y
5.119 * [backup-simplify]: Simplify 0 into 0
5.119 * [backup-simplify]: Simplify 1 into 1
5.120 * [backup-simplify]: Simplify (/ 1 1) into 1
5.120 * [backup-simplify]: Simplify (+ 0 1) into 1
5.120 * [backup-simplify]: Simplify (- 1) into -1
5.120 * [taylor]: Taking taylor expansion of -1 in x
5.120 * [backup-simplify]: Simplify -1 into -1
5.121 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.121 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 -1)) into 0
5.122 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.122 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
5.122 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
5.122 * [backup-simplify]: Simplify (- (/ (- (/ 1 x)) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (/ 1 (* x y)))
5.122 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 (* x y)))) (* 0 (/ 1 y))) into (/ 1 (* x y))
5.122 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y))
5.122 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
5.122 * [taylor]: Taking taylor expansion of (* x y) in y
5.122 * [taylor]: Taking taylor expansion of x in y
5.122 * [backup-simplify]: Simplify x into x
5.122 * [taylor]: Taking taylor expansion of y in y
5.122 * [backup-simplify]: Simplify 0 into 0
5.122 * [backup-simplify]: Simplify 1 into 1
5.122 * [backup-simplify]: Simplify (* x 0) into 0
5.123 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.123 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.123 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.123 * [taylor]: Taking taylor expansion of x in x
5.123 * [backup-simplify]: Simplify 0 into 0
5.123 * [backup-simplify]: Simplify 1 into 1
5.123 * [backup-simplify]: Simplify (/ 1 1) into 1
5.123 * [backup-simplify]: Simplify 1 into 1
5.124 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.124 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.124 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.124 * [taylor]: Taking taylor expansion of (- 1.0) in x
5.124 * [taylor]: Taking taylor expansion of 1.0 in x
5.124 * [backup-simplify]: Simplify 1.0 into 1.0
5.124 * [backup-simplify]: Simplify -1 into -1
5.125 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.126 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 -1))) into 0
5.126 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.126 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.127 * [backup-simplify]: Simplify (- 0) into 0
5.127 * [backup-simplify]: Simplify (+ 0 0) into 0
5.127 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* x y))) (/ 0 y)))) into 0
5.128 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (/ 1 (* x y)))) (* 0 (/ 1 y)))) 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 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
5.129 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.129 * [taylor]: Taking taylor expansion of 0 in x
5.129 * [backup-simplify]: Simplify 0 into 0
5.129 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.129 * [backup-simplify]: Simplify (+ 0 0) into 0
5.130 * [backup-simplify]: Simplify (- 0) into 0
5.130 * [taylor]: Taking taylor expansion of 0 in x
5.130 * [backup-simplify]: Simplify 0 into 0
5.130 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.130 * [backup-simplify]: Simplify 0 into 0
5.131 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.131 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.131 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (* 1 (/ 1 (/ 1 (- z)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- z)))))) (* 1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (/ 1 (- y))) 1))))) into (- (+ (* 1.0 z) (* x y)) (* z y))
5.131 * * * [progress]: simplifying candidates
5.132 * [simplify]: Simplifying:
  (expm1 (* y (- x z)))
  (log1p (* y (- x z)))
  (* y (- x z))
  (+ (log y) (log (- x z)))
  (log (* y (- x z)))
  (exp (* y (- x z)))
  (* (* (* y y) y) (* (* (- x z) (- x z)) (- x z)))
  (* (cbrt (* y (- x z))) (cbrt (* y (- x z))))
  (cbrt (* y (- x z)))
  (* (* (* y (- x z)) (* y (- x z))) (* y (- x z)))
  (sqrt (* y (- x z)))
  (sqrt (* y (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* y (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* y (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* y (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt z) (sqrt z)))))
  (* y (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* y (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* z 1))))
  (* y (fma (- z) 1 (* z 1)))
  (* y (fma (sqrt x) (sqrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* y (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* y (fma (sqrt x) (sqrt x) (- (* (sqrt z) (sqrt z)))))
  (* y (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* y (fma (sqrt x) (sqrt x) (- (* z 1))))
  (* y (fma (- z) 1 (* z 1)))
  (* y (fma 1 x (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* y (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* y (fma 1 x (- (* (sqrt z) (sqrt z)))))
  (* y (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* y (fma 1 x (- (* z 1))))
  (* y (fma (- z) 1 (* z 1)))
  (* y x)
  (* y (- z))
  (* y x)
  (* y (- z))
  (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) y)
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) y)
  (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt z) (sqrt z)))) y)
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) y)
  (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* z 1))) y)
  (* (fma (- z) 1 (* z 1)) y)
  (* (fma (sqrt x) (sqrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) y)
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) y)
  (* (fma (sqrt x) (sqrt x) (- (* (sqrt z) (sqrt z)))) y)
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) y)
  (* (fma (sqrt x) (sqrt x) (- (* z 1))) y)
  (* (fma (- z) 1 (* z 1)) y)
  (* (fma 1 x (- (* (cbrt z) (* (cbrt z) (cbrt z))))) y)
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) y)
  (* (fma 1 x (- (* (sqrt z) (sqrt z)))) y)
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) y)
  (* (fma 1 x (- (* z 1))) y)
  (* (fma (- z) 1 (* z 1)) y)
  (* x y)
  (* (- z) y)
  (* x y)
  (* (- z) y)
  (* y (* (cbrt (- x z)) (cbrt (- x z))))
  (* y (sqrt (- x z)))
  (* y 1)
  (* y (+ (sqrt x) (sqrt z)))
  (* y 1)
  (* (cbrt y) (- x z))
  (* (sqrt y) (- x z))
  (* y (- x z))
  (* y (- (pow x 3) (pow z 3)))
  (* y (- (* x x) (* z z)))
  (expm1 (fma 1.0 z (* y (- x z))))
  (log1p (fma 1.0 z (* y (- x z))))
  (* 1.0 z)
  (log (fma 1.0 z (* y (- x z))))
  (exp (fma 1.0 z (* y (- x z))))
  (* (cbrt (fma 1.0 z (* y (- x z)))) (cbrt (fma 1.0 z (* y (- x z)))))
  (cbrt (fma 1.0 z (* y (- x z))))
  (* (* (fma 1.0 z (* y (- x z))) (fma 1.0 z (* y (- x z)))) (fma 1.0 z (* y (- x z))))
  (sqrt (fma 1.0 z (* y (- x z))))
  (sqrt (fma 1.0 z (* y (- x z))))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (+ (* 1.0 z) (* x y)) (* z y))
  (- (+ (* 1.0 z) (* x y)) (* z y))
  (- (+ (* 1.0 z) (* x y)) (* z y))
5.133 * * [simplify]: iteration 0: 116 enodes
5.168 * * [simplify]: iteration 1: 256 enodes
5.240 * * [simplify]: iteration 2: 886 enodes
5.618 * * [simplify]: iteration complete: 5001 enodes
5.618 * * [simplify]: Extracting #0: cost 35 inf + 0
5.620 * * [simplify]: Extracting #1: cost 648 inf + 1
5.628 * * [simplify]: Extracting #2: cost 1900 inf + 597
5.642 * * [simplify]: Extracting #3: cost 1213 inf + 7755
5.657 * * [simplify]: Extracting #4: cost 153 inf + 17493
5.674 * * [simplify]: Extracting #5: cost 48 inf + 18554
5.682 * * [simplify]: Extracting #6: cost 3 inf + 18754
5.690 * * [simplify]: Extracting #7: cost 0 inf + 18769
5.701 * [simplify]: Simplified to:
  (expm1 (* y (- x z)))
  (log1p (* y (- x z)))
  (* y (- x z))
  (log (* y (- x z)))
  (log (* y (- x z)))
  (pow (exp (- x z)) y)
  (pow (* y (- x z)) 3)
  (* (cbrt (* y (- x z))) (cbrt (* y (- x z))))
  (cbrt (* y (- x z)))
  (pow (* y (- x z)) 3)
  (sqrt (* y (- x z)))
  (sqrt (* y (- x z)))
  (* (sqrt (- x z)) (sqrt y))
  (* (sqrt (- x z)) (sqrt y))
  (* y (- (pow (cbrt x) 3) z))
  (* y (+ (- z) z))
  (* y (- (pow (cbrt x) 3) z))
  (* y (+ (- z) z))
  (* y (- (pow (cbrt x) 3) z))
  (* y (+ (- z) z))
  (* y (- x z))
  (* y (+ (- z) z))
  (* y (- x z))
  (* y (+ (- z) z))
  (* y (- x z))
  (* y (+ (- z) z))
  (* y (- x z))
  (* y (+ (- z) z))
  (* y (- x z))
  (* y (+ (- z) z))
  (* y (- x z))
  (* y (+ (- z) z))
  (* x y)
  (- (* z y))
  (* x y)
  (- (* z y))
  (* y (- (pow (cbrt x) 3) z))
  (* y (+ (- z) z))
  (* y (- (pow (cbrt x) 3) z))
  (* y (+ (- z) z))
  (* y (- (pow (cbrt x) 3) z))
  (* y (+ (- z) z))
  (* y (- x z))
  (* y (+ (- z) z))
  (* y (- x z))
  (* y (+ (- z) z))
  (* y (- x z))
  (* y (+ (- z) z))
  (* y (- x z))
  (* y (+ (- z) z))
  (* y (- x z))
  (* y (+ (- z) z))
  (* y (- x z))
  (* y (+ (- z) z))
  (* y x)
  (- (* z y))
  (* y x)
  (- (* z y))
  (* (* (cbrt (- x z)) (cbrt (- x z))) y)
  (* (sqrt (- x z)) y)
  y
  (* y (+ (sqrt x) (sqrt z)))
  y
  (* (- x z) (cbrt y))
  (* (- x z) (sqrt y))
  (* y (- x z))
  (* y (- (pow x 3) (pow z 3)))
  (* (* y (+ z x)) (- x z))
  (expm1 (fma (- x z) y (* 1.0 z)))
  (log1p (fma (- x z) y (* 1.0 z)))
  (* 1.0 z)
  (log (fma (- x z) y (* 1.0 z)))
  (exp (fma (- x z) y (* 1.0 z)))
  (* (cbrt (fma (- x z) y (* 1.0 z))) (cbrt (fma (- x z) y (* 1.0 z))))
  (cbrt (fma (- x z) y (* 1.0 z)))
  (pow (fma (- x z) y (* 1.0 z)) 3)
  (sqrt (fma (- x z) y (* 1.0 z)))
  (sqrt (fma (- x z) y (* 1.0 z)))
  (* y (- x z))
  (* y (- x z))
  (* y (- x z))
  (fma y (- x z) (* 1.0 z))
  (fma y (- x z) (* 1.0 z))
  (fma y (- x z) (* 1.0 z))
5.702 * * * [progress]: adding candidates to table
5.898 * [progress]: [Phase 3 of 3] Extracting.
5.898 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (fma 1.0 z (* y (- x z))))> #<alt (λ (x y z) (fma x y (* z (- 1.0 y))))>)
5.899 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
5.899 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (fma 1.0 z (* y (- x z))))> #<alt (λ (x y z) (fma x y (* z (- 1.0 y))))>)
5.935 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (fma 1.0 z (* y (- x z))))> #<alt (λ (x y z) (fma x y (* z (- 1.0 y))))>)
5.970 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (fma 1.0 z (* y (- x z))))> #<alt (λ (x y z) (fma x y (* z (- 1.0 y))))>)
6.011 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
6.011 * [simplify]: Simplifying:
  (fma x y (* z (- 1.0 y)))
6.011 * * [simplify]: iteration 0: 7 enodes
6.012 * * [simplify]: iteration 1: 8 enodes
6.012 * * [simplify]: iteration complete: 8 enodes
6.012 * * [simplify]: Extracting #0: cost 1 inf + 0
6.012 * * [simplify]: Extracting #1: cost 4 inf + 0
6.012 * * [simplify]: Extracting #2: cost 4 inf + 2
6.012 * * [simplify]: Extracting #3: cost 4 inf + 3
6.012 * * [simplify]: Extracting #4: cost 0 inf + 20
6.012 * [simplify]: Simplified to:
  (fma x y (* (- 1.0 y) z))
7.599 * [regime-testing]: Baseline error score: 0.0100743796100414
7.603 * [regime-testing]: Oracle error score: 0.0018752344043005376
7.611 * [regime-testing]: End program error score: 0.0100743796100414
7.709 * [regime-testing]: Target error score: 0.014126765845730716