0.601 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.062 * * * [progress]: [2/2] Setting up program.
0.066 * [progress]: [Phase 2 of 3] Improving.
0.068 * [simplify]: Simplifying:
  (+ x (* y (- z x)))
0.069 * * [simplify]: Extracting # 0 : cost  0
0.069 * * [simplify]: Extracting # 1 : cost  0
0.070 * * [simplify]: Extracting # 2 : cost  0
0.070 * * [simplify]: Extracting # 3 : cost  0
0.070 * * [simplify]: Extracting # 4 : cost  0
0.070 * * [simplify]: Extracting # 5 : cost  0
0.070 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.074 * * [simplify]: Extracting # 0 : cost  0
0.074 * * [simplify]: Extracting # 1 : cost  0
0.074 * * [simplify]: Extracting # 2 : cost  0
0.074 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
0.077 * * [simplify]: Extracting # 0 : cost  0
0.077 * * [simplify]: Extracting # 1 : cost  0
0.077 * * [simplify]: Extracting # 2 : cost  0
0.077 * * [simplify]: iteration  2 :  17  enodes  (cost  7 )
0.080 * * [simplify]: Extracting # 0 : cost  0
0.080 * * [simplify]: Extracting # 1 : cost  0
0.080 * * [simplify]: Extracting # 2 : cost  0
0.080 * * [simplify]: iteration  3 :  31  enodes  (cost  7 )
0.085 * * [simplify]: Extracting # 0 : cost  0
0.085 * * [simplify]: Extracting # 1 : cost  0
0.085 * * [simplify]: Extracting # 2 : cost  0
0.085 * * [simplify]: iteration  4 :  42  enodes  (cost  7 )
0.092 * * [simplify]: Extracting # 0 : cost  0
0.092 * * [simplify]: Extracting # 1 : cost  0
0.092 * * [simplify]: Extracting # 2 : cost  0
0.092 * * [simplify]: Extracting # 3 : cost  0
0.092 * * [simplify]: iteration  5 :  49  enodes  (cost  7 )
0.131 * * [simplify]: Extracting # 0 : cost  0
0.131 * * [simplify]: Extracting # 1 : cost  0
0.131 * * [simplify]: Extracting # 2 : cost  0
0.131 * * [simplify]: iteration  6 :  58  enodes  (cost  7 )
0.141 * * [simplify]: Extracting # 0 : cost  0
0.141 * * [simplify]: Extracting # 1 : cost  0
0.141 * * [simplify]: Extracting # 2 : cost  0
0.141 * * [simplify]: Extracting # 3 : cost  0
0.141 * * [simplify]: iteration  7 :  76  enodes  (cost  7 )
0.156 * * [simplify]: Extracting # 0 : cost  0
0.156 * * [simplify]: Extracting # 1 : cost  0
0.156 * * [simplify]: Extracting # 2 : cost  0
0.156 * * [simplify]: iteration  8 :  96  enodes  (cost  7 )
0.172 * * [simplify]: Extracting # 0 : cost  0
0.172 * * [simplify]: Extracting # 1 : cost  0
0.173 * * [simplify]: Extracting # 2 : cost  0
0.173 * * [simplify]: iteration  9 :  118  enodes  (cost  7 )
0.200 * * [simplify]: Extracting # 0 : cost  0
0.201 * * [simplify]: Extracting # 1 : cost  0
0.201 * * [simplify]: Extracting # 2 : cost  0
0.201 * * [simplify]: iteration  10 :  134  enodes  (cost  7 )
0.224 * * [simplify]: Extracting # 0 : cost  0
0.224 * * [simplify]: Extracting # 1 : cost  0
0.225 * * [simplify]: Extracting # 2 : cost  0
0.225 * * [simplify]: iteration  11 :  148  enodes  (cost  7 )
0.251 * * [simplify]: Extracting # 0 : cost  0
0.251 * * [simplify]: Extracting # 1 : cost  0
0.252 * * [simplify]: Extracting # 2 : cost  0
0.252 * * [simplify]: iteration  12 :  156  enodes  (cost  7 )
0.282 * * [simplify]: Extracting # 0 : cost  0
0.282 * * [simplify]: Extracting # 1 : cost  0
0.282 * * [simplify]: Extracting # 2 : cost  0
0.282 * * [simplify]: iteration  13 :  170  enodes  (cost  7 )
0.314 * * [simplify]: Extracting # 0 : cost  0
0.314 * * [simplify]: Extracting # 1 : cost  0
0.315 * * [simplify]: Extracting # 2 : cost  0
0.315 * * [simplify]: iteration  14 :  185  enodes  (cost  7 )
0.357 * * [simplify]: Extracting # 0 : cost  0
0.357 * * [simplify]: Extracting # 1 : cost  0
0.358 * * [simplify]: Extracting # 2 : cost  0
0.358 * * [simplify]: iteration  15 :  200  enodes  (cost  7 )
0.411 * * [simplify]: Extracting # 0 : cost  0
0.411 * * [simplify]: Extracting # 1 : cost  0
0.411 * * [simplify]: Extracting # 2 : cost  0
0.411 * * [simplify]: iteration  16 :  262  enodes  (cost  7 )
0.518 * * [simplify]: Extracting # 0 : cost  0
0.518 * * [simplify]: Extracting # 1 : cost  0
0.518 * * [simplify]: Extracting # 2 : cost  0
0.519 * * [simplify]: iteration  17 :  299  enodes  (cost  7 )
0.607 * * [simplify]: Extracting # 0 : cost  0
0.607 * * [simplify]: Extracting # 1 : cost  0
0.607 * * [simplify]: Extracting # 2 : cost  0
0.607 * * [simplify]: iteration  18 :  382  enodes  (cost  7 )
0.733 * * [simplify]: Extracting # 0 : cost  0
0.734 * * [simplify]: Extracting # 1 : cost  0
0.734 * * [simplify]: Extracting # 2 : cost  0
0.734 * * [simplify]: iteration  19 :  410  enodes  (cost  7 )
0.929 * * [simplify]: Extracting # 0 : cost  0
0.930 * * [simplify]: Extracting # 1 : cost  0
0.930 * * [simplify]: iteration  20 :  457  enodes  (cost  7 )
1.120 * * [simplify]: Extracting # 0 : cost  0
1.120 * * [simplify]: iteration  21 :  461  enodes  (cost  7 )
1.266 * * [simplify]: Extracting # 0 : cost  0
1.266 * * [simplify]: iteration done:  461  enodes  (cost  7 )
1.266 * [simplify]: Simplified to:
  (+ x (* y (- z x)))
1.268 * * [progress]: iteration 1 / 4
1.268 * * * [progress]: picking best candidate
1.269 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* y (- z x))))>
1.270 * * * [progress]: localizing error
1.278 * * * [progress]: generating rewritten candidates
1.278 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.289 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
1.311 * * * [progress]: generating series expansions
1.312 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.319 * [backup-simplify]: Simplify (+ x (* y (- z x))) into (- (+ (* z y) x) (* x y))
1.319 * [approximate]: Taking taylor expansion of (- (+ (* z y) x) (* x y)) in (x y z) around 0
1.321 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x y)) in z
1.321 * [taylor]: Taking taylor expansion of (+ (* z y) x) in z
1.321 * [taylor]: Taking taylor expansion of (* z y) in z
1.321 * [taylor]: Taking taylor expansion of z in z
1.321 * [backup-simplify]: Simplify 0 into 0
1.321 * [backup-simplify]: Simplify 1 into 1
1.321 * [taylor]: Taking taylor expansion of y in z
1.321 * [backup-simplify]: Simplify y into y
1.321 * [taylor]: Taking taylor expansion of x in z
1.321 * [backup-simplify]: Simplify x into x
1.321 * [taylor]: Taking taylor expansion of (* x y) in z
1.321 * [taylor]: Taking taylor expansion of x in z
1.321 * [backup-simplify]: Simplify x into x
1.321 * [taylor]: Taking taylor expansion of y in z
1.321 * [backup-simplify]: Simplify y into y
1.321 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x y)) in y
1.321 * [taylor]: Taking taylor expansion of (+ (* z y) x) in y
1.321 * [taylor]: Taking taylor expansion of (* z y) in y
1.321 * [taylor]: Taking taylor expansion of z in y
1.321 * [backup-simplify]: Simplify z into z
1.321 * [taylor]: Taking taylor expansion of y in y
1.321 * [backup-simplify]: Simplify 0 into 0
1.321 * [backup-simplify]: Simplify 1 into 1
1.322 * [taylor]: Taking taylor expansion of x in y
1.322 * [backup-simplify]: Simplify x into x
1.322 * [taylor]: Taking taylor expansion of (* x y) in y
1.322 * [taylor]: Taking taylor expansion of x in y
1.322 * [backup-simplify]: Simplify x into x
1.322 * [taylor]: Taking taylor expansion of y in y
1.322 * [backup-simplify]: Simplify 0 into 0
1.322 * [backup-simplify]: Simplify 1 into 1
1.322 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x y)) in x
1.322 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x
1.322 * [taylor]: Taking taylor expansion of (* z y) in x
1.322 * [taylor]: Taking taylor expansion of z in x
1.322 * [backup-simplify]: Simplify z into z
1.322 * [taylor]: Taking taylor expansion of y in x
1.322 * [backup-simplify]: Simplify y into y
1.322 * [taylor]: Taking taylor expansion of x in x
1.322 * [backup-simplify]: Simplify 0 into 0
1.322 * [backup-simplify]: Simplify 1 into 1
1.322 * [taylor]: Taking taylor expansion of (* x y) in x
1.322 * [taylor]: Taking taylor expansion of x in x
1.322 * [backup-simplify]: Simplify 0 into 0
1.322 * [backup-simplify]: Simplify 1 into 1
1.322 * [taylor]: Taking taylor expansion of y in x
1.322 * [backup-simplify]: Simplify y into y
1.322 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x y)) in x
1.322 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x
1.322 * [taylor]: Taking taylor expansion of (* z y) in x
1.322 * [taylor]: Taking taylor expansion of z in x
1.322 * [backup-simplify]: Simplify z into z
1.322 * [taylor]: Taking taylor expansion of y in x
1.322 * [backup-simplify]: Simplify y into y
1.322 * [taylor]: Taking taylor expansion of x in x
1.322 * [backup-simplify]: Simplify 0 into 0
1.322 * [backup-simplify]: Simplify 1 into 1
1.322 * [taylor]: Taking taylor expansion of (* x y) in x
1.322 * [taylor]: Taking taylor expansion of x in x
1.322 * [backup-simplify]: Simplify 0 into 0
1.322 * [backup-simplify]: Simplify 1 into 1
1.322 * [taylor]: Taking taylor expansion of y in x
1.323 * [backup-simplify]: Simplify y into y
1.334 * [backup-simplify]: Simplify (* z y) into (* z y)
1.334 * [backup-simplify]: Simplify (+ (* z y) 0) into (* z y)
1.334 * [backup-simplify]: Simplify (* 0 y) into 0
1.335 * [backup-simplify]: Simplify (- 0) into 0
1.335 * [backup-simplify]: Simplify (+ (* z y) 0) into (* z y)
1.335 * [taylor]: Taking taylor expansion of (* z y) in y
1.335 * [taylor]: Taking taylor expansion of z in y
1.335 * [backup-simplify]: Simplify z into z
1.335 * [taylor]: Taking taylor expansion of y in y
1.335 * [backup-simplify]: Simplify 0 into 0
1.335 * [backup-simplify]: Simplify 1 into 1
1.335 * [backup-simplify]: Simplify (* z 0) into 0
1.335 * [taylor]: Taking taylor expansion of 0 in z
1.335 * [backup-simplify]: Simplify 0 into 0
1.335 * [backup-simplify]: Simplify 0 into 0
1.336 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
1.337 * [backup-simplify]: Simplify (+ 0 1) into 1
1.338 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.338 * [backup-simplify]: Simplify (- y) into (- y)
1.338 * [backup-simplify]: Simplify (+ 1 (- y)) into (- 1 y)
1.338 * [taylor]: Taking taylor expansion of (- 1 y) in y
1.338 * [taylor]: Taking taylor expansion of 1 in y
1.338 * [backup-simplify]: Simplify 1 into 1
1.338 * [taylor]: Taking taylor expansion of y in y
1.338 * [backup-simplify]: Simplify 0 into 0
1.338 * [backup-simplify]: Simplify 1 into 1
1.338 * [backup-simplify]: Simplify (- 0) into 0
1.339 * [backup-simplify]: Simplify (+ 1 0) into 1
1.339 * [taylor]: Taking taylor expansion of 1 in z
1.339 * [backup-simplify]: Simplify 1 into 1
1.339 * [backup-simplify]: Simplify 1 into 1
1.340 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
1.340 * [taylor]: Taking taylor expansion of z in z
1.340 * [backup-simplify]: Simplify 0 into 0
1.340 * [backup-simplify]: Simplify 1 into 1
1.340 * [backup-simplify]: Simplify 0 into 0
1.340 * [backup-simplify]: Simplify 0 into 0
1.340 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
1.341 * [backup-simplify]: Simplify (+ 0 0) into 0
1.342 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1.342 * [backup-simplify]: Simplify (- 0) into 0
1.342 * [backup-simplify]: Simplify (+ 0 0) into 0
1.342 * [taylor]: Taking taylor expansion of 0 in y
1.343 * [backup-simplify]: Simplify 0 into 0
1.343 * [taylor]: Taking taylor expansion of 0 in z
1.343 * [backup-simplify]: Simplify 0 into 0
1.343 * [backup-simplify]: Simplify 0 into 0
1.343 * [backup-simplify]: Simplify (- 1) into -1
1.343 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.343 * [taylor]: Taking taylor expansion of -1 in z
1.343 * [backup-simplify]: Simplify -1 into -1
1.344 * [backup-simplify]: Simplify -1 into -1
1.344 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
1.344 * [taylor]: Taking taylor expansion of 0 in z
1.344 * [backup-simplify]: Simplify 0 into 0
1.344 * [backup-simplify]: Simplify 0 into 0
1.344 * [backup-simplify]: Simplify 0 into 0
1.344 * [backup-simplify]: Simplify 1 into 1
1.345 * [backup-simplify]: Simplify (+ (* 1 (* z (* y 1))) (+ (* -1 (* 1 (* y x))) (* 1 (* 1 (* 1 x))))) into (- (+ (* z y) x) (* x y))
1.345 * [backup-simplify]: Simplify (+ (/ 1 x) (* (/ 1 y) (- (/ 1 z) (/ 1 x)))) into (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y)))
1.346 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in (x y z) around 0
1.346 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in z
1.346 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
1.346 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.346 * [taylor]: Taking taylor expansion of (* z y) in z
1.346 * [taylor]: Taking taylor expansion of z in z
1.346 * [backup-simplify]: Simplify 0 into 0
1.346 * [backup-simplify]: Simplify 1 into 1
1.346 * [taylor]: Taking taylor expansion of y in z
1.346 * [backup-simplify]: Simplify y into y
1.346 * [backup-simplify]: Simplify (* 0 y) into 0
1.346 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.347 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.347 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.347 * [taylor]: Taking taylor expansion of x in z
1.347 * [backup-simplify]: Simplify x into x
1.347 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.347 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.347 * [taylor]: Taking taylor expansion of (* x y) in z
1.347 * [taylor]: Taking taylor expansion of x in z
1.347 * [backup-simplify]: Simplify x into x
1.347 * [taylor]: Taking taylor expansion of y in z
1.347 * [backup-simplify]: Simplify y into y
1.347 * [backup-simplify]: Simplify (* x y) into (* x y)
1.347 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1.347 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in y
1.347 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
1.347 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.347 * [taylor]: Taking taylor expansion of (* z y) in y
1.347 * [taylor]: Taking taylor expansion of z in y
1.348 * [backup-simplify]: Simplify z into z
1.348 * [taylor]: Taking taylor expansion of y in y
1.348 * [backup-simplify]: Simplify 0 into 0
1.348 * [backup-simplify]: Simplify 1 into 1
1.348 * [backup-simplify]: Simplify (* z 0) into 0
1.348 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
1.348 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.348 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.348 * [taylor]: Taking taylor expansion of x in y
1.348 * [backup-simplify]: Simplify x into x
1.348 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.348 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.348 * [taylor]: Taking taylor expansion of (* x y) in y
1.348 * [taylor]: Taking taylor expansion of x in y
1.348 * [backup-simplify]: Simplify x into x
1.348 * [taylor]: Taking taylor expansion of y in y
1.349 * [backup-simplify]: Simplify 0 into 0
1.349 * [backup-simplify]: Simplify 1 into 1
1.349 * [backup-simplify]: Simplify (* x 0) into 0
1.349 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.349 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.349 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in x
1.349 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
1.349 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.349 * [taylor]: Taking taylor expansion of (* z y) in x
1.349 * [taylor]: Taking taylor expansion of z in x
1.349 * [backup-simplify]: Simplify z into z
1.349 * [taylor]: Taking taylor expansion of y in x
1.349 * [backup-simplify]: Simplify y into y
1.349 * [backup-simplify]: Simplify (* z y) into (* z y)
1.349 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
1.349 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.350 * [taylor]: Taking taylor expansion of x in x
1.350 * [backup-simplify]: Simplify 0 into 0
1.350 * [backup-simplify]: Simplify 1 into 1
1.350 * [backup-simplify]: Simplify (/ 1 1) into 1
1.350 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.350 * [taylor]: Taking taylor expansion of (* x y) in x
1.350 * [taylor]: Taking taylor expansion of x in x
1.350 * [backup-simplify]: Simplify 0 into 0
1.350 * [backup-simplify]: Simplify 1 into 1
1.350 * [taylor]: Taking taylor expansion of y in x
1.350 * [backup-simplify]: Simplify y into y
1.350 * [backup-simplify]: Simplify (* 0 y) into 0
1.351 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.351 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.351 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in x
1.351 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
1.351 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.351 * [taylor]: Taking taylor expansion of (* z y) in x
1.351 * [taylor]: Taking taylor expansion of z in x
1.351 * [backup-simplify]: Simplify z into z
1.351 * [taylor]: Taking taylor expansion of y in x
1.351 * [backup-simplify]: Simplify y into y
1.351 * [backup-simplify]: Simplify (* z y) into (* z y)
1.351 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
1.351 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.351 * [taylor]: Taking taylor expansion of x in x
1.351 * [backup-simplify]: Simplify 0 into 0
1.351 * [backup-simplify]: Simplify 1 into 1
1.352 * [backup-simplify]: Simplify (/ 1 1) into 1
1.352 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.352 * [taylor]: Taking taylor expansion of (* x y) in x
1.352 * [taylor]: Taking taylor expansion of x in x
1.352 * [backup-simplify]: Simplify 0 into 0
1.352 * [backup-simplify]: Simplify 1 into 1
1.352 * [taylor]: Taking taylor expansion of y in x
1.352 * [backup-simplify]: Simplify y into y
1.352 * [backup-simplify]: Simplify (* 0 y) into 0
1.352 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.352 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.353 * [backup-simplify]: Simplify (+ 0 1) into 1
1.353 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
1.353 * [backup-simplify]: Simplify (+ 1 (- (/ 1 y))) into (- 1 (/ 1 y))
1.353 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
1.353 * [taylor]: Taking taylor expansion of 1 in y
1.353 * [backup-simplify]: Simplify 1 into 1
1.353 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.353 * [taylor]: Taking taylor expansion of y in y
1.353 * [backup-simplify]: Simplify 0 into 0
1.353 * [backup-simplify]: Simplify 1 into 1
1.354 * [backup-simplify]: Simplify (/ 1 1) into 1
1.354 * [backup-simplify]: Simplify (- 1) into -1
1.355 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.355 * [taylor]: Taking taylor expansion of -1 in z
1.355 * [backup-simplify]: Simplify -1 into -1
1.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.356 * [backup-simplify]: Simplify (+ (/ 1 (* z y)) 0) into (/ 1 (* z y))
1.356 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1.357 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.357 * [backup-simplify]: Simplify (- 0) into 0
1.357 * [backup-simplify]: Simplify (+ (/ 1 (* z y)) 0) into (/ 1 (* z y))
1.357 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.357 * [taylor]: Taking taylor expansion of (* z y) in y
1.357 * [taylor]: Taking taylor expansion of z in y
1.357 * [backup-simplify]: Simplify z into z
1.357 * [taylor]: Taking taylor expansion of y in y
1.357 * [backup-simplify]: Simplify 0 into 0
1.357 * [backup-simplify]: Simplify 1 into 1
1.357 * [backup-simplify]: Simplify (* z 0) into 0
1.358 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
1.358 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.358 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.358 * [taylor]: Taking taylor expansion of z in z
1.358 * [backup-simplify]: Simplify 0 into 0
1.358 * [backup-simplify]: Simplify 1 into 1
1.358 * [backup-simplify]: Simplify (/ 1 1) into 1
1.358 * [backup-simplify]: Simplify 1 into 1
1.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.359 * [backup-simplify]: Simplify (- 0) into 0
1.360 * [backup-simplify]: Simplify (+ 1 0) into 1
1.360 * [taylor]: Taking taylor expansion of 1 in z
1.360 * [backup-simplify]: Simplify 1 into 1
1.360 * [backup-simplify]: Simplify -1 into -1
1.360 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
1.360 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
1.361 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.362 * [backup-simplify]: Simplify (+ 0 0) into 0
1.363 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1.363 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.364 * [backup-simplify]: Simplify (- 0) into 0
1.364 * [backup-simplify]: Simplify (+ 0 0) into 0
1.364 * [taylor]: Taking taylor expansion of 0 in y
1.364 * [backup-simplify]: Simplify 0 into 0
1.365 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
1.365 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.365 * [taylor]: Taking taylor expansion of 0 in z
1.365 * [backup-simplify]: Simplify 0 into 0
1.366 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.366 * [backup-simplify]: Simplify (- 0) into 0
1.367 * [backup-simplify]: Simplify (+ 0 0) into 0
1.367 * [taylor]: Taking taylor expansion of 0 in z
1.367 * [backup-simplify]: Simplify 0 into 0
1.368 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.368 * [backup-simplify]: Simplify 0 into 0
1.368 * [backup-simplify]: Simplify 1 into 1
1.368 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 x))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* 1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1))))) into (- (+ (* z y) x) (* x y))
1.369 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (* (/ 1 (- y)) (- (/ 1 (- z)) (/ 1 (- x))))) into (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x)))
1.369 * [approximate]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in (x y z) around 0
1.369 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in z
1.369 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.369 * [taylor]: Taking taylor expansion of (* z y) in z
1.369 * [taylor]: Taking taylor expansion of z in z
1.369 * [backup-simplify]: Simplify 0 into 0
1.369 * [backup-simplify]: Simplify 1 into 1
1.369 * [taylor]: Taking taylor expansion of y in z
1.369 * [backup-simplify]: Simplify y into y
1.369 * [backup-simplify]: Simplify (* 0 y) into 0
1.370 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.370 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.370 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in z
1.370 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.370 * [taylor]: Taking taylor expansion of (* x y) in z
1.370 * [taylor]: Taking taylor expansion of x in z
1.370 * [backup-simplify]: Simplify x into x
1.370 * [taylor]: Taking taylor expansion of y in z
1.370 * [backup-simplify]: Simplify y into y
1.370 * [backup-simplify]: Simplify (* x y) into (* x y)
1.370 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1.370 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.370 * [taylor]: Taking taylor expansion of x in z
1.370 * [backup-simplify]: Simplify x into x
1.370 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.370 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in y
1.370 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.370 * [taylor]: Taking taylor expansion of (* z y) in y
1.370 * [taylor]: Taking taylor expansion of z in y
1.370 * [backup-simplify]: Simplify z into z
1.370 * [taylor]: Taking taylor expansion of y in y
1.371 * [backup-simplify]: Simplify 0 into 0
1.371 * [backup-simplify]: Simplify 1 into 1
1.371 * [backup-simplify]: Simplify (* z 0) into 0
1.371 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
1.371 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.371 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y
1.371 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.371 * [taylor]: Taking taylor expansion of (* x y) in y
1.371 * [taylor]: Taking taylor expansion of x in y
1.371 * [backup-simplify]: Simplify x into x
1.371 * [taylor]: Taking taylor expansion of y in y
1.371 * [backup-simplify]: Simplify 0 into 0
1.371 * [backup-simplify]: Simplify 1 into 1
1.371 * [backup-simplify]: Simplify (* x 0) into 0
1.372 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.372 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.372 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.372 * [taylor]: Taking taylor expansion of x in y
1.372 * [backup-simplify]: Simplify x into x
1.372 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.372 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in x
1.372 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.372 * [taylor]: Taking taylor expansion of (* z y) in x
1.372 * [taylor]: Taking taylor expansion of z in x
1.372 * [backup-simplify]: Simplify z into z
1.372 * [taylor]: Taking taylor expansion of y in x
1.372 * [backup-simplify]: Simplify y into y
1.372 * [backup-simplify]: Simplify (* z y) into (* z y)
1.372 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
1.373 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
1.373 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.373 * [taylor]: Taking taylor expansion of (* x y) in x
1.373 * [taylor]: Taking taylor expansion of x in x
1.373 * [backup-simplify]: Simplify 0 into 0
1.373 * [backup-simplify]: Simplify 1 into 1
1.373 * [taylor]: Taking taylor expansion of y in x
1.373 * [backup-simplify]: Simplify y into y
1.373 * [backup-simplify]: Simplify (* 0 y) into 0
1.373 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.373 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.373 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.373 * [taylor]: Taking taylor expansion of x in x
1.373 * [backup-simplify]: Simplify 0 into 0
1.373 * [backup-simplify]: Simplify 1 into 1
1.374 * [backup-simplify]: Simplify (/ 1 1) into 1
1.374 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in x
1.374 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.374 * [taylor]: Taking taylor expansion of (* z y) in x
1.374 * [taylor]: Taking taylor expansion of z in x
1.374 * [backup-simplify]: Simplify z into z
1.374 * [taylor]: Taking taylor expansion of y in x
1.374 * [backup-simplify]: Simplify y into y
1.374 * [backup-simplify]: Simplify (* z y) into (* z y)
1.374 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
1.374 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
1.374 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.374 * [taylor]: Taking taylor expansion of (* x y) in x
1.374 * [taylor]: Taking taylor expansion of x in x
1.374 * [backup-simplify]: Simplify 0 into 0
1.374 * [backup-simplify]: Simplify 1 into 1
1.374 * [taylor]: Taking taylor expansion of y in x
1.374 * [backup-simplify]: Simplify y into y
1.374 * [backup-simplify]: Simplify (* 0 y) into 0
1.375 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.375 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.375 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.375 * [taylor]: Taking taylor expansion of x in x
1.375 * [backup-simplify]: Simplify 0 into 0
1.375 * [backup-simplify]: Simplify 1 into 1
1.375 * [backup-simplify]: Simplify (/ 1 1) into 1
1.376 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ (/ 1 y) 1)
1.376 * [backup-simplify]: Simplify (- (+ (/ 1 y) 1)) into (- (+ (/ 1 y) 1))
1.376 * [backup-simplify]: Simplify (+ 0 (- (+ (/ 1 y) 1))) into (- (+ (/ 1 y) 1))
1.376 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1)) in y
1.376 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
1.376 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.376 * [taylor]: Taking taylor expansion of y in y
1.376 * [backup-simplify]: Simplify 0 into 0
1.376 * [backup-simplify]: Simplify 1 into 1
1.377 * [backup-simplify]: Simplify (/ 1 1) into 1
1.377 * [taylor]: Taking taylor expansion of 1 in y
1.377 * [backup-simplify]: Simplify 1 into 1
1.377 * [backup-simplify]: Simplify (+ 1 0) into 1
1.378 * [backup-simplify]: Simplify (- 1) into -1
1.378 * [taylor]: Taking taylor expansion of -1 in z
1.378 * [backup-simplify]: Simplify -1 into -1
1.379 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1.379 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.380 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.380 * [backup-simplify]: Simplify (+ 0 0) into 0
1.380 * [backup-simplify]: Simplify (- 0) into 0
1.381 * [backup-simplify]: Simplify (+ (/ 1 (* z y)) 0) into (/ 1 (* z y))
1.381 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.381 * [taylor]: Taking taylor expansion of (* z y) in y
1.381 * [taylor]: Taking taylor expansion of z in y
1.381 * [backup-simplify]: Simplify z into z
1.381 * [taylor]: Taking taylor expansion of y in y
1.381 * [backup-simplify]: Simplify 0 into 0
1.381 * [backup-simplify]: Simplify 1 into 1
1.381 * [backup-simplify]: Simplify (* z 0) into 0
1.381 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
1.381 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.381 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.381 * [taylor]: Taking taylor expansion of z in z
1.381 * [backup-simplify]: Simplify 0 into 0
1.381 * [backup-simplify]: Simplify 1 into 1
1.382 * [backup-simplify]: Simplify (/ 1 1) into 1
1.382 * [backup-simplify]: Simplify 1 into 1
1.383 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.383 * [backup-simplify]: Simplify (+ 0 1) into 1
1.383 * [backup-simplify]: Simplify (- 1) into -1
1.384 * [taylor]: Taking taylor expansion of -1 in z
1.384 * [backup-simplify]: Simplify -1 into -1
1.384 * [backup-simplify]: Simplify -1 into -1
1.384 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
1.384 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
1.385 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1.386 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.387 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.387 * [backup-simplify]: Simplify (+ 0 0) into 0
1.387 * [backup-simplify]: Simplify (- 0) into 0
1.388 * [backup-simplify]: Simplify (+ 0 0) into 0
1.388 * [taylor]: Taking taylor expansion of 0 in y
1.388 * [backup-simplify]: Simplify 0 into 0
1.388 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
1.389 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.389 * [taylor]: Taking taylor expansion of 0 in z
1.389 * [backup-simplify]: Simplify 0 into 0
1.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.390 * [backup-simplify]: Simplify (+ 0 0) into 0
1.390 * [backup-simplify]: Simplify (- 0) into 0
1.390 * [taylor]: Taking taylor expansion of 0 in z
1.390 * [backup-simplify]: Simplify 0 into 0
1.391 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.391 * [backup-simplify]: Simplify 0 into 0
1.391 * [backup-simplify]: Simplify -1 into -1
1.392 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* 1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1))))) into (- (+ (* z y) x) (* x y))
1.392 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
1.392 * [backup-simplify]: Simplify (* y (- z x)) into (* y (- z x))
1.392 * [approximate]: Taking taylor expansion of (* y (- z x)) in (y z x) around 0
1.392 * [taylor]: Taking taylor expansion of (* y (- z x)) in x
1.392 * [taylor]: Taking taylor expansion of y in x
1.393 * [backup-simplify]: Simplify y into y
1.393 * [taylor]: Taking taylor expansion of (- z x) in x
1.393 * [taylor]: Taking taylor expansion of z in x
1.393 * [backup-simplify]: Simplify z into z
1.393 * [taylor]: Taking taylor expansion of x in x
1.393 * [backup-simplify]: Simplify 0 into 0
1.393 * [backup-simplify]: Simplify 1 into 1
1.393 * [taylor]: Taking taylor expansion of (* y (- z x)) in z
1.393 * [taylor]: Taking taylor expansion of y in z
1.393 * [backup-simplify]: Simplify y into y
1.393 * [taylor]: Taking taylor expansion of (- z x) in z
1.393 * [taylor]: Taking taylor expansion of z in z
1.393 * [backup-simplify]: Simplify 0 into 0
1.393 * [backup-simplify]: Simplify 1 into 1
1.393 * [taylor]: Taking taylor expansion of x in z
1.393 * [backup-simplify]: Simplify x into x
1.393 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
1.393 * [taylor]: Taking taylor expansion of y in y
1.393 * [backup-simplify]: Simplify 0 into 0
1.393 * [backup-simplify]: Simplify 1 into 1
1.393 * [taylor]: Taking taylor expansion of (- z x) in y
1.393 * [taylor]: Taking taylor expansion of z in y
1.393 * [backup-simplify]: Simplify z into z
1.393 * [taylor]: Taking taylor expansion of x in y
1.393 * [backup-simplify]: Simplify x into x
1.393 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
1.393 * [taylor]: Taking taylor expansion of y in y
1.393 * [backup-simplify]: Simplify 0 into 0
1.393 * [backup-simplify]: Simplify 1 into 1
1.393 * [taylor]: Taking taylor expansion of (- z x) in y
1.393 * [taylor]: Taking taylor expansion of z in y
1.393 * [backup-simplify]: Simplify z into z
1.393 * [taylor]: Taking taylor expansion of x in y
1.394 * [backup-simplify]: Simplify x into x
1.394 * [backup-simplify]: Simplify (- x) into (- x)
1.394 * [backup-simplify]: Simplify (+ z (- x)) into (- z x)
1.394 * [backup-simplify]: Simplify (* 0 (- z x)) into 0
1.394 * [taylor]: Taking taylor expansion of 0 in z
1.394 * [backup-simplify]: Simplify 0 into 0
1.394 * [taylor]: Taking taylor expansion of 0 in x
1.394 * [backup-simplify]: Simplify 0 into 0
1.394 * [backup-simplify]: Simplify 0 into 0
1.395 * [backup-simplify]: Simplify (- 0) into 0
1.395 * [backup-simplify]: Simplify (+ 0 0) into 0
1.396 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- z x))) into (- z x)
1.396 * [taylor]: Taking taylor expansion of (- z x) in z
1.396 * [taylor]: Taking taylor expansion of z in z
1.396 * [backup-simplify]: Simplify 0 into 0
1.396 * [backup-simplify]: Simplify 1 into 1
1.396 * [taylor]: Taking taylor expansion of x in z
1.396 * [backup-simplify]: Simplify x into x
1.396 * [backup-simplify]: Simplify (- x) into (- x)
1.396 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
1.396 * [taylor]: Taking taylor expansion of (- x) in x
1.396 * [taylor]: Taking taylor expansion of x in x
1.396 * [backup-simplify]: Simplify 0 into 0
1.396 * [backup-simplify]: Simplify 1 into 1
1.396 * [backup-simplify]: Simplify (- 0) into 0
1.397 * [backup-simplify]: Simplify 0 into 0
1.397 * [taylor]: Taking taylor expansion of 0 in x
1.397 * [backup-simplify]: Simplify 0 into 0
1.397 * [backup-simplify]: Simplify 0 into 0
1.397 * [backup-simplify]: Simplify 0 into 0
1.397 * [backup-simplify]: Simplify (- 0) into 0
1.398 * [backup-simplify]: Simplify (+ 0 0) into 0
1.398 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- z x)))) into 0
1.398 * [taylor]: Taking taylor expansion of 0 in z
1.398 * [backup-simplify]: Simplify 0 into 0
1.398 * [taylor]: Taking taylor expansion of 0 in x
1.399 * [backup-simplify]: Simplify 0 into 0
1.399 * [backup-simplify]: Simplify 0 into 0
1.399 * [backup-simplify]: Simplify (- 0) into 0
1.399 * [backup-simplify]: Simplify (+ 1 0) into 1
1.399 * [taylor]: Taking taylor expansion of 1 in x
1.399 * [backup-simplify]: Simplify 1 into 1
1.400 * [backup-simplify]: Simplify 1 into 1
1.400 * [taylor]: Taking taylor expansion of 0 in x
1.400 * [backup-simplify]: Simplify 0 into 0
1.400 * [backup-simplify]: Simplify 0 into 0
1.400 * [backup-simplify]: Simplify (- 1) into -1
1.400 * [backup-simplify]: Simplify -1 into -1
1.400 * [backup-simplify]: Simplify 0 into 0
1.400 * [backup-simplify]: Simplify 0 into 0
1.401 * [backup-simplify]: Simplify (- 0) into 0
1.401 * [backup-simplify]: Simplify (+ 0 0) into 0
1.402 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- z x))))) into 0
1.402 * [taylor]: Taking taylor expansion of 0 in z
1.402 * [backup-simplify]: Simplify 0 into 0
1.402 * [taylor]: Taking taylor expansion of 0 in x
1.402 * [backup-simplify]: Simplify 0 into 0
1.402 * [backup-simplify]: Simplify 0 into 0
1.402 * [taylor]: Taking taylor expansion of 0 in x
1.403 * [backup-simplify]: Simplify 0 into 0
1.403 * [backup-simplify]: Simplify 0 into 0
1.403 * [backup-simplify]: Simplify (- 0) into 0
1.403 * [backup-simplify]: Simplify (+ 0 0) into 0
1.403 * [taylor]: Taking taylor expansion of 0 in x
1.403 * [backup-simplify]: Simplify 0 into 0
1.403 * [backup-simplify]: Simplify 0 into 0
1.404 * [taylor]: Taking taylor expansion of 0 in x
1.404 * [backup-simplify]: Simplify 0 into 0
1.404 * [backup-simplify]: Simplify 0 into 0
1.404 * [backup-simplify]: Simplify (+ (* -1 (* x (* 1 y))) (* 1 (* 1 (* z y)))) into (- (* z y) (* x y))
1.404 * [backup-simplify]: Simplify (* (/ 1 y) (- (/ 1 z) (/ 1 x))) into (/ (- (/ 1 z) (/ 1 x)) y)
1.404 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in (y z x) around 0
1.404 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
1.404 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
1.404 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.404 * [taylor]: Taking taylor expansion of z in x
1.404 * [backup-simplify]: Simplify z into z
1.404 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.404 * [taylor]: Taking taylor expansion of x in x
1.404 * [backup-simplify]: Simplify 0 into 0
1.405 * [backup-simplify]: Simplify 1 into 1
1.405 * [backup-simplify]: Simplify (/ 1 1) into 1
1.405 * [taylor]: Taking taylor expansion of y in x
1.405 * [backup-simplify]: Simplify y into y
1.406 * [backup-simplify]: Simplify (- 1) into -1
1.406 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.406 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.406 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z
1.406 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
1.406 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.406 * [taylor]: Taking taylor expansion of z in z
1.406 * [backup-simplify]: Simplify 0 into 0
1.406 * [backup-simplify]: Simplify 1 into 1
1.407 * [backup-simplify]: Simplify (/ 1 1) into 1
1.407 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.407 * [taylor]: Taking taylor expansion of x in z
1.407 * [backup-simplify]: Simplify x into x
1.407 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.407 * [taylor]: Taking taylor expansion of y in z
1.407 * [backup-simplify]: Simplify y into y
1.407 * [backup-simplify]: Simplify (+ 1 0) into 1
1.408 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.408 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
1.408 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
1.408 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.408 * [taylor]: Taking taylor expansion of z in y
1.408 * [backup-simplify]: Simplify z into z
1.408 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.408 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.408 * [taylor]: Taking taylor expansion of x in y
1.408 * [backup-simplify]: Simplify x into x
1.408 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.408 * [taylor]: Taking taylor expansion of y in y
1.408 * [backup-simplify]: Simplify 0 into 0
1.408 * [backup-simplify]: Simplify 1 into 1
1.408 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
1.408 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
1.409 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x))
1.409 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
1.409 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
1.409 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.409 * [taylor]: Taking taylor expansion of z in y
1.409 * [backup-simplify]: Simplify z into z
1.409 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.409 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.409 * [taylor]: Taking taylor expansion of x in y
1.409 * [backup-simplify]: Simplify x into x
1.409 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.409 * [taylor]: Taking taylor expansion of y in y
1.409 * [backup-simplify]: Simplify 0 into 0
1.409 * [backup-simplify]: Simplify 1 into 1
1.409 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
1.409 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
1.409 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x))
1.410 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
1.410 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.410 * [taylor]: Taking taylor expansion of z in z
1.410 * [backup-simplify]: Simplify 0 into 0
1.410 * [backup-simplify]: Simplify 1 into 1
1.410 * [backup-simplify]: Simplify (/ 1 1) into 1
1.410 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.410 * [taylor]: Taking taylor expansion of x in z
1.410 * [backup-simplify]: Simplify x into x
1.410 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.411 * [backup-simplify]: Simplify (+ 1 0) into 1
1.411 * [taylor]: Taking taylor expansion of 1 in x
1.411 * [backup-simplify]: Simplify 1 into 1
1.412 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.412 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.412 * [backup-simplify]: Simplify (- 0) into 0
1.413 * [backup-simplify]: Simplify (+ 0 0) into 0
1.414 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)))) into 0
1.414 * [taylor]: Taking taylor expansion of 0 in z
1.414 * [backup-simplify]: Simplify 0 into 0
1.415 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.415 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
1.415 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
1.415 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.415 * [taylor]: Taking taylor expansion of x in x
1.415 * [backup-simplify]: Simplify 0 into 0
1.415 * [backup-simplify]: Simplify 1 into 1
1.416 * [backup-simplify]: Simplify (/ 1 1) into 1
1.416 * [backup-simplify]: Simplify (- 1) into -1
1.416 * [backup-simplify]: Simplify -1 into -1
1.416 * [backup-simplify]: Simplify 1 into 1
1.416 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.416 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.417 * [backup-simplify]: Simplify (- 0) into 0
1.417 * [backup-simplify]: Simplify (+ 0 0) into 0
1.419 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.419 * [taylor]: Taking taylor expansion of 0 in z
1.419 * [backup-simplify]: Simplify 0 into 0
1.419 * [taylor]: Taking taylor expansion of 0 in x
1.419 * [backup-simplify]: Simplify 0 into 0
1.420 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.420 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.420 * [backup-simplify]: Simplify (- 0) into 0
1.421 * [backup-simplify]: Simplify (+ 0 0) into 0
1.421 * [taylor]: Taking taylor expansion of 0 in x
1.421 * [backup-simplify]: Simplify 0 into 0
1.421 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.422 * [backup-simplify]: Simplify (- 0) into 0
1.422 * [backup-simplify]: Simplify 0 into 0
1.422 * [backup-simplify]: Simplify 0 into 0
1.422 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.423 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.423 * [backup-simplify]: Simplify (- 0) into 0
1.423 * [backup-simplify]: Simplify (+ 0 0) into 0
1.425 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.425 * [taylor]: Taking taylor expansion of 0 in z
1.425 * [backup-simplify]: Simplify 0 into 0
1.426 * [taylor]: Taking taylor expansion of 0 in x
1.426 * [backup-simplify]: Simplify 0 into 0
1.426 * [taylor]: Taking taylor expansion of 0 in x
1.426 * [backup-simplify]: Simplify 0 into 0
1.427 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.427 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.427 * [backup-simplify]: Simplify (- 0) into 0
1.428 * [backup-simplify]: Simplify (+ 0 0) into 0
1.428 * [taylor]: Taking taylor expansion of 0 in x
1.428 * [backup-simplify]: Simplify 0 into 0
1.428 * [backup-simplify]: Simplify 0 into 0
1.428 * [backup-simplify]: Simplify 0 into 0
1.429 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.429 * [backup-simplify]: Simplify (- 0) into 0
1.429 * [backup-simplify]: Simplify 0 into 0
1.429 * [backup-simplify]: Simplify 0 into 0
1.430 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 y)))))) into (- (* z y) (* x y))
1.430 * [backup-simplify]: Simplify (* (/ 1 (- y)) (- (/ 1 (- z)) (/ 1 (- x)))) into (* -1 (/ (- (/ 1 x) (/ 1 z)) y))
1.430 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in (y z x) around 0
1.430 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in x
1.430 * [taylor]: Taking taylor expansion of -1 in x
1.430 * [backup-simplify]: Simplify -1 into -1
1.430 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
1.430 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
1.430 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.430 * [taylor]: Taking taylor expansion of x in x
1.430 * [backup-simplify]: Simplify 0 into 0
1.430 * [backup-simplify]: Simplify 1 into 1
1.431 * [backup-simplify]: Simplify (/ 1 1) into 1
1.431 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.431 * [taylor]: Taking taylor expansion of z in x
1.431 * [backup-simplify]: Simplify z into z
1.431 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.431 * [taylor]: Taking taylor expansion of y in x
1.431 * [backup-simplify]: Simplify y into y
1.431 * [backup-simplify]: Simplify (+ 1 0) into 1
1.431 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.431 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in z
1.431 * [taylor]: Taking taylor expansion of -1 in z
1.431 * [backup-simplify]: Simplify -1 into -1
1.431 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z
1.431 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
1.432 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.432 * [taylor]: Taking taylor expansion of x in z
1.432 * [backup-simplify]: Simplify x into x
1.432 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.432 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.432 * [taylor]: Taking taylor expansion of z in z
1.432 * [backup-simplify]: Simplify 0 into 0
1.432 * [backup-simplify]: Simplify 1 into 1
1.432 * [backup-simplify]: Simplify (/ 1 1) into 1
1.432 * [taylor]: Taking taylor expansion of y in z
1.432 * [backup-simplify]: Simplify y into y
1.433 * [backup-simplify]: Simplify (- 1) into -1
1.433 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.433 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.433 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in y
1.433 * [taylor]: Taking taylor expansion of -1 in y
1.433 * [backup-simplify]: Simplify -1 into -1
1.433 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
1.433 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
1.433 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.433 * [taylor]: Taking taylor expansion of x in y
1.433 * [backup-simplify]: Simplify x into x
1.433 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.433 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.433 * [taylor]: Taking taylor expansion of z in y
1.433 * [backup-simplify]: Simplify z into z
1.433 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.433 * [taylor]: Taking taylor expansion of y in y
1.433 * [backup-simplify]: Simplify 0 into 0
1.433 * [backup-simplify]: Simplify 1 into 1
1.434 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
1.434 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
1.434 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z))
1.434 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in y
1.434 * [taylor]: Taking taylor expansion of -1 in y
1.434 * [backup-simplify]: Simplify -1 into -1
1.434 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
1.434 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
1.434 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.434 * [taylor]: Taking taylor expansion of x in y
1.434 * [backup-simplify]: Simplify x into x
1.434 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.434 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.434 * [taylor]: Taking taylor expansion of z in y
1.434 * [backup-simplify]: Simplify z into z
1.434 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.434 * [taylor]: Taking taylor expansion of y in y
1.434 * [backup-simplify]: Simplify 0 into 0
1.434 * [backup-simplify]: Simplify 1 into 1
1.434 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
1.435 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
1.435 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z))
1.435 * [backup-simplify]: Simplify (* -1 (- (/ 1 x) (/ 1 z))) into (* -1 (- (/ 1 x) (/ 1 z)))
1.435 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 z))) in z
1.435 * [taylor]: Taking taylor expansion of -1 in z
1.435 * [backup-simplify]: Simplify -1 into -1
1.435 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
1.435 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.435 * [taylor]: Taking taylor expansion of x in z
1.435 * [backup-simplify]: Simplify x into x
1.435 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.435 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.435 * [taylor]: Taking taylor expansion of z in z
1.435 * [backup-simplify]: Simplify 0 into 0
1.435 * [backup-simplify]: Simplify 1 into 1
1.436 * [backup-simplify]: Simplify (/ 1 1) into 1
1.436 * [backup-simplify]: Simplify (- 1) into -1
1.437 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.437 * [backup-simplify]: Simplify (* -1 -1) into 1
1.437 * [taylor]: Taking taylor expansion of 1 in x
1.437 * [backup-simplify]: Simplify 1 into 1
1.437 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.438 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.438 * [backup-simplify]: Simplify (- 0) into 0
1.438 * [backup-simplify]: Simplify (+ 0 0) into 0
1.439 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)))) into 0
1.440 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (/ 1 x) (/ 1 z)))) into 0
1.440 * [taylor]: Taking taylor expansion of 0 in z
1.440 * [backup-simplify]: Simplify 0 into 0
1.441 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.441 * [backup-simplify]: Simplify (- 0) into 0
1.441 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
1.442 * [backup-simplify]: Simplify (+ (* -1 (/ 1 x)) (* 0 -1)) into (- (/ 1 x))
1.442 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.442 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.442 * [taylor]: Taking taylor expansion of x in x
1.442 * [backup-simplify]: Simplify 0 into 0
1.442 * [backup-simplify]: Simplify 1 into 1
1.442 * [backup-simplify]: Simplify (/ 1 1) into 1
1.443 * [backup-simplify]: Simplify (- 1) into -1
1.443 * [backup-simplify]: Simplify -1 into -1
1.443 * [backup-simplify]: Simplify 1 into 1
1.443 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.443 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.444 * [backup-simplify]: Simplify (- 0) into 0
1.444 * [backup-simplify]: Simplify (+ 0 0) into 0
1.445 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.446 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z))))) into 0
1.446 * [taylor]: Taking taylor expansion of 0 in z
1.446 * [backup-simplify]: Simplify 0 into 0
1.446 * [taylor]: Taking taylor expansion of 0 in x
1.447 * [backup-simplify]: Simplify 0 into 0
1.447 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.448 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.448 * [backup-simplify]: Simplify (- 0) into 0
1.448 * [backup-simplify]: Simplify (+ 0 0) into 0
1.449 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 x)) (* 0 -1))) into 0
1.449 * [taylor]: Taking taylor expansion of 0 in x
1.449 * [backup-simplify]: Simplify 0 into 0
1.450 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.450 * [backup-simplify]: Simplify (- 0) into 0
1.450 * [backup-simplify]: Simplify 0 into 0
1.450 * [backup-simplify]: Simplify 0 into 0
1.451 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.451 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.452 * [backup-simplify]: Simplify (- 0) into 0
1.452 * [backup-simplify]: Simplify (+ 0 0) into 0
1.454 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.455 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z)))))) into 0
1.455 * [taylor]: Taking taylor expansion of 0 in z
1.455 * [backup-simplify]: Simplify 0 into 0
1.455 * [taylor]: Taking taylor expansion of 0 in x
1.455 * [backup-simplify]: Simplify 0 into 0
1.455 * [taylor]: Taking taylor expansion of 0 in x
1.455 * [backup-simplify]: Simplify 0 into 0
1.455 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.456 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.457 * [backup-simplify]: Simplify (- 0) into 0
1.457 * [backup-simplify]: Simplify (+ 0 0) into 0
1.458 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 x)) (* 0 -1)))) into 0
1.458 * [taylor]: Taking taylor expansion of 0 in x
1.458 * [backup-simplify]: Simplify 0 into 0
1.458 * [backup-simplify]: Simplify 0 into 0
1.459 * [backup-simplify]: Simplify 0 into 0
1.459 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.460 * [backup-simplify]: Simplify (- 0) into 0
1.460 * [backup-simplify]: Simplify 0 into 0
1.460 * [backup-simplify]: Simplify 0 into 0
1.460 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- y))))))) into (- (* z y) (* x y))
1.460 * * * [progress]: simplifying candidates
1.462 * [simplify]: Simplifying:
  (* (exp x) (exp (* y (- z x))))
  (log (+ x (* y (- z x))))
  (exp (+ x (* y (- z x))))
  (* (cbrt (+ x (* y (- z x)))) (cbrt (+ x (* y (- z x)))))
  (cbrt (+ x (* y (- z x))))
  (* (* (+ x (* y (- z x))) (+ x (* y (- z x)))) (+ x (* y (- z x))))
  (sqrt (+ x (* y (- z x))))
  (sqrt (+ x (* y (- z x))))
  (+ (pow x 3) (pow (* y (- z x)) 3))
  (+ (* x x) (- (* (* y (- z x)) (* y (- z x))) (* x (* y (- z x)))))
  (- (* x x) (* (* y (- z x)) (* y (- z x))))
  (- x (* y (- z x)))
  (+ x (* y z))
  (+ x (* y z))
  (+ x (* z y))
  (+ x (* z y))
  (* y (- z x))
  (+ (log y) (log (- z x)))
  (log (* y (- z x)))
  (exp (* y (- z x)))
  (* (* (* y y) y) (* (* (- z x) (- z x)) (- z x)))
  (* (cbrt (* y (- z x))) (cbrt (* y (- z x))))
  (cbrt (* y (- z x)))
  (* (* (* y (- z x)) (* y (- z x))) (* y (- z x)))
  (sqrt (* y (- z x)))
  (sqrt (* y (- z x)))
  (* (sqrt y) (sqrt (- z x)))
  (* (sqrt y) (sqrt (- z x)))
  (* y z)
  (* y (- x))
  (* y z)
  (* y (- x))
  (* z y)
  (* (- x) y)
  (* z y)
  (* (- x) y)
  (* y (* (cbrt (- z x)) (cbrt (- z x))))
  (* y (sqrt (- z x)))
  (* y 1)
  (* y (+ (sqrt z) (sqrt x)))
  (* y 1)
  (* (cbrt y) (- z x))
  (* (sqrt y) (- z x))
  (* y (- z x))
  (* y (- (pow z 3) (pow x 3)))
  (* y (- (* z z) (* x x)))
  (- (+ (* z y) x) (* x y))
  (- (+ (* z y) x) (* x y))
  (- (+ (* z y) x) (* x y))
  (- (* z y) (* x y))
  (- (* z y) (* x y))
  (- (* z y) (* x y))
1.463 * * [simplify]: Extracting # 0 : cost  0
1.464 * * [simplify]: Extracting # 1 : cost  0
1.464 * * [simplify]: Extracting # 2 : cost  0
1.464 * * [simplify]: Extracting # 3 : cost  0
1.464 * * [simplify]: Extracting # 4 : cost  0
1.464 * * [simplify]: Extracting # 5 : cost  0
1.465 * * [simplify]: iteration  0 :  73  enodes  (cost  409 )
1.503 * * [simplify]: Extracting # 0 : cost  0
1.504 * * [simplify]: Extracting # 1 : cost  0
1.504 * * [simplify]: Extracting # 2 : cost  0
1.504 * * [simplify]: Extracting # 3 : cost  0
1.505 * * [simplify]: Extracting # 4 : cost  0
1.505 * * [simplify]: iteration  1 :  173  enodes  (cost  381 )
1.572 * * [simplify]: Extracting # 0 : cost  0
1.573 * * [simplify]: Extracting # 1 : cost  0
1.573 * * [simplify]: Extracting # 2 : cost  0
1.574 * * [simplify]: Extracting # 3 : cost  0
1.574 * * [simplify]: Extracting # 4 : cost  0
1.575 * * [simplify]: iteration  2 :  505  enodes  (cost  351 )
2.092 * * [simplify]: Extracting # 0 : cost  0
2.097 * * [simplify]: Extracting # 1 : cost  0
2.102 * * [simplify]: Extracting # 2 : cost  0
2.106 * * [simplify]: Extracting # 3 : cost  0
2.110 * * [simplify]: Extracting # 4 : cost  0
2.114 * * [simplify]: iteration  3 :  2215  enodes  (cost  351 )
3.277 * * [simplify]: Extracting # 0 : cost  0
3.283 * * [simplify]: Extracting # 1 : cost  0
3.296 * * [simplify]: Extracting # 2 : cost  0
3.306 * * [simplify]: Extracting # 3 : cost  0
3.317 * * [simplify]: Extracting # 4 : cost  0
3.328 * * [simplify]: iteration done:  5000  enodes  (cost  351 )
3.328 * [simplify]: Simplified to:
  (exp (+ x (* y (- z x))))
  (log (+ x (* y (- z x))))
  (exp (+ x (* y (- z x))))
  (* (cbrt (+ x (* y (- z x)))) (cbrt (+ x (* y (- z x)))))
  (cbrt (+ x (* y (- z x))))
  (pow (+ x (* y (- z x))) 3)
  (sqrt (+ x (* y (- z x))))
  (sqrt (+ x (* y (- z x))))
  (+ (pow x 3) (pow (* y (- z x)) 3))
  (+ (* x x) (* (* y (- z x)) (- (* y (- z x)) x)))
  (- (* x x) (* (* y (- z x)) (* y (- z x))))
  (- x (* y (- z x)))
  (+ (* z y) x)
  (+ (* z y) x)
  (+ (* z y) x)
  (+ (* z y) x)
  (* y (- z x))
  (log (* y (- z x)))
  (log (* y (- z x)))
  (exp (* y (- z x)))
  (pow (* y (- z x)) 3)
  (* (cbrt (* y (- z x))) (cbrt (* y (- z x))))
  (cbrt (* y (- z x)))
  (pow (* y (- z x)) 3)
  (sqrt (* y (- z x)))
  (sqrt (* y (- z x)))
  (* (sqrt y) (sqrt (- z x)))
  (* (sqrt y) (sqrt (- z x)))
  (* z y)
  (* y (- x))
  (* z y)
  (* y (- x))
  (* z y)
  (* y (- x))
  (* z y)
  (* y (- x))
  (* y (* (cbrt (- z x)) (cbrt (- z x))))
  (* y (sqrt (- z x)))
  y
  (* y (+ (sqrt z) (sqrt x)))
  y
  (* (cbrt y) (- z x))
  (* (sqrt y) (- z x))
  (* y (- z x))
  (* y (- (pow z 3) (pow x 3)))
  (* y (- (* z z) (* x x)))
  (+ x (* y (- z x)))
  (+ x (* y (- z x)))
  (+ x (* y (- z x)))
  (* y (- z x))
  (* y (- z x))
  (* y (- z x))
3.329 * * * [progress]: adding candidates to table
3.469 * * [progress]: iteration 2 / 4
3.469 * * * [progress]: picking best candidate
3.476 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- z x)))))>
3.477 * * * [progress]: localizing error
3.506 * * * [progress]: generating rewritten candidates
3.506 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
3.508 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
3.510 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
3.512 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
3.538 * * * [progress]: generating series expansions
3.538 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)