24.736 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.061 * * * [progress]: [2/2] Setting up program.
0.068 * [progress]: [Phase 2 of 3] Improving.
0.069 * [simplify]: Simplifying:
  (- (- (+ (* x y) (* y y)) (* y z)) (* y y))
0.069 * * [simplify]: iteration 0: 9 enodes
0.072 * * [simplify]: iteration 1: 22 enodes
0.081 * * [simplify]: iteration 2: 63 enodes
0.113 * * [simplify]: iteration 3: 159 enodes
0.187 * * [simplify]: iteration 4: 332 enodes
0.297 * * [simplify]: iteration 5: 753 enodes
0.961 * * [simplify]: iteration 6: 2493 enodes
3.074 * * [simplify]: iteration complete: 5005 enodes
3.074 * * [simplify]: Extracting #0: cost 1 inf + 0
3.075 * * [simplify]: Extracting #1: cost 136 inf + 0
3.077 * * [simplify]: Extracting #2: cost 828 inf + 84
3.082 * * [simplify]: Extracting #3: cost 1116 inf + 14363
3.110 * * [simplify]: Extracting #4: cost 440 inf + 85995
3.174 * * [simplify]: Extracting #5: cost 13 inf + 151108
3.239 * * [simplify]: Extracting #6: cost 0 inf + 153175
3.280 * [simplify]: Simplified to:
  (* (- x z) y)
3.286 * * [progress]: iteration 1 / 4
3.286 * * * [progress]: picking best candidate
3.294 * * * * [pick]: Picked  #<alt (λ (x y z) (* (- x z) y))>
3.295 * * * [progress]: localizing error
3.302 * * * [progress]: generating rewritten candidates
3.302 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.331 * * * [progress]: generating series expansions
3.331 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.331 * [backup-simplify]: Simplify (* (- x z) y) into (* (- x z) y)
3.331 * [approximate]: Taking taylor expansion of (* (- x z) y) in (x z y) around 0
3.331 * [taylor]: Taking taylor expansion of (* (- x z) y) in y
3.331 * [taylor]: Taking taylor expansion of (- x z) in y
3.331 * [taylor]: Taking taylor expansion of x in y
3.331 * [backup-simplify]: Simplify x into x
3.331 * [taylor]: Taking taylor expansion of z in y
3.331 * [backup-simplify]: Simplify z into z
3.331 * [taylor]: Taking taylor expansion of y in y
3.331 * [backup-simplify]: Simplify 0 into 0
3.331 * [backup-simplify]: Simplify 1 into 1
3.331 * [taylor]: Taking taylor expansion of (* (- x z) y) in z
3.331 * [taylor]: Taking taylor expansion of (- x z) in z
3.331 * [taylor]: Taking taylor expansion of x in z
3.331 * [backup-simplify]: Simplify x into x
3.331 * [taylor]: Taking taylor expansion of z in z
3.331 * [backup-simplify]: Simplify 0 into 0
3.331 * [backup-simplify]: Simplify 1 into 1
3.331 * [taylor]: Taking taylor expansion of y in z
3.331 * [backup-simplify]: Simplify y into y
3.331 * [taylor]: Taking taylor expansion of (* (- x z) y) in x
3.332 * [taylor]: Taking taylor expansion of (- x z) in x
3.332 * [taylor]: Taking taylor expansion of x in x
3.332 * [backup-simplify]: Simplify 0 into 0
3.332 * [backup-simplify]: Simplify 1 into 1
3.332 * [taylor]: Taking taylor expansion of z in x
3.332 * [backup-simplify]: Simplify z into z
3.332 * [taylor]: Taking taylor expansion of y in x
3.332 * [backup-simplify]: Simplify y into y
3.332 * [taylor]: Taking taylor expansion of (* (- x z) y) in x
3.332 * [taylor]: Taking taylor expansion of (- x z) in x
3.332 * [taylor]: Taking taylor expansion of x in x
3.332 * [backup-simplify]: Simplify 0 into 0
3.332 * [backup-simplify]: Simplify 1 into 1
3.332 * [taylor]: Taking taylor expansion of z in x
3.332 * [backup-simplify]: Simplify z into z
3.332 * [taylor]: Taking taylor expansion of y in x
3.332 * [backup-simplify]: Simplify y into y
3.332 * [backup-simplify]: Simplify (- z) into (- z)
3.332 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
3.332 * [backup-simplify]: Simplify (* (- z) y) into (* -1 (* z y))
3.332 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z
3.332 * [taylor]: Taking taylor expansion of -1 in z
3.332 * [backup-simplify]: Simplify -1 into -1
3.332 * [taylor]: Taking taylor expansion of (* z y) in z
3.332 * [taylor]: Taking taylor expansion of z in z
3.332 * [backup-simplify]: Simplify 0 into 0
3.332 * [backup-simplify]: Simplify 1 into 1
3.332 * [taylor]: Taking taylor expansion of y in z
3.332 * [backup-simplify]: Simplify y into y
3.332 * [backup-simplify]: Simplify (* 0 y) into 0
3.333 * [backup-simplify]: Simplify (* -1 0) into 0
3.333 * [taylor]: Taking taylor expansion of 0 in y
3.333 * [backup-simplify]: Simplify 0 into 0
3.333 * [backup-simplify]: Simplify 0 into 0
3.333 * [backup-simplify]: Simplify (- 0) into 0
3.333 * [backup-simplify]: Simplify (+ 1 0) into 1
3.333 * [backup-simplify]: Simplify (+ (* (- z) 0) (* 1 y)) into y
3.333 * [taylor]: Taking taylor expansion of y in z
3.333 * [backup-simplify]: Simplify y into y
3.333 * [taylor]: Taking taylor expansion of y in y
3.333 * [backup-simplify]: Simplify 0 into 0
3.333 * [backup-simplify]: Simplify 1 into 1
3.333 * [backup-simplify]: Simplify 0 into 0
3.334 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.334 * [backup-simplify]: Simplify (+ (* -1 y) (* 0 0)) into (- y)
3.334 * [taylor]: Taking taylor expansion of (- y) in y
3.334 * [taylor]: Taking taylor expansion of y in y
3.334 * [backup-simplify]: Simplify 0 into 0
3.334 * [backup-simplify]: Simplify 1 into 1
3.334 * [backup-simplify]: Simplify (- 0) into 0
3.334 * [backup-simplify]: Simplify 0 into 0
3.334 * [backup-simplify]: Simplify 0 into 0
3.335 * [backup-simplify]: Simplify (- 0) into 0
3.335 * [backup-simplify]: Simplify (+ 0 0) into 0
3.335 * [backup-simplify]: Simplify (+ (* (- z) 0) (+ (* 1 0) (* 0 y))) into 0
3.335 * [taylor]: Taking taylor expansion of 0 in z
3.335 * [backup-simplify]: Simplify 0 into 0
3.335 * [taylor]: Taking taylor expansion of 0 in y
3.335 * [backup-simplify]: Simplify 0 into 0
3.335 * [backup-simplify]: Simplify 0 into 0
3.335 * [taylor]: Taking taylor expansion of 0 in y
3.335 * [backup-simplify]: Simplify 0 into 0
3.335 * [backup-simplify]: Simplify 0 into 0
3.335 * [backup-simplify]: Simplify 0 into 0
3.335 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 1 z)) (/ 1 y)) into (/ (- (/ 1 x) (/ 1 z)) y)
3.336 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (x z y) around 0
3.336 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
3.336 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
3.336 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.336 * [taylor]: Taking taylor expansion of x in y
3.336 * [backup-simplify]: Simplify x into x
3.336 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.336 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.336 * [taylor]: Taking taylor expansion of z in y
3.336 * [backup-simplify]: Simplify z into z
3.336 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.336 * [taylor]: Taking taylor expansion of y in y
3.336 * [backup-simplify]: Simplify 0 into 0
3.336 * [backup-simplify]: Simplify 1 into 1
3.336 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.336 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
3.336 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z))
3.336 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z
3.336 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
3.336 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.336 * [taylor]: Taking taylor expansion of x in z
3.336 * [backup-simplify]: Simplify x into x
3.336 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.336 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.336 * [taylor]: Taking taylor expansion of z in z
3.336 * [backup-simplify]: Simplify 0 into 0
3.336 * [backup-simplify]: Simplify 1 into 1
3.336 * [backup-simplify]: Simplify (/ 1 1) into 1
3.336 * [taylor]: Taking taylor expansion of y in z
3.336 * [backup-simplify]: Simplify y into y
3.337 * [backup-simplify]: Simplify (- 1) into -1
3.337 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.337 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.337 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
3.337 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
3.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.337 * [taylor]: Taking taylor expansion of x in x
3.337 * [backup-simplify]: Simplify 0 into 0
3.337 * [backup-simplify]: Simplify 1 into 1
3.337 * [backup-simplify]: Simplify (/ 1 1) into 1
3.337 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.337 * [taylor]: Taking taylor expansion of z in x
3.337 * [backup-simplify]: Simplify z into z
3.337 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.337 * [taylor]: Taking taylor expansion of y in x
3.337 * [backup-simplify]: Simplify y into y
3.338 * [backup-simplify]: Simplify (+ 1 0) into 1
3.338 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.338 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
3.338 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
3.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.338 * [taylor]: Taking taylor expansion of x in x
3.338 * [backup-simplify]: Simplify 0 into 0
3.338 * [backup-simplify]: Simplify 1 into 1
3.338 * [backup-simplify]: Simplify (/ 1 1) into 1
3.338 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.338 * [taylor]: Taking taylor expansion of z in x
3.338 * [backup-simplify]: Simplify z into z
3.338 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.338 * [taylor]: Taking taylor expansion of y in x
3.338 * [backup-simplify]: Simplify y into y
3.339 * [backup-simplify]: Simplify (+ 1 0) into 1
3.339 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.339 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.339 * [taylor]: Taking taylor expansion of y in z
3.339 * [backup-simplify]: Simplify y into y
3.339 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.339 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.339 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
3.339 * [backup-simplify]: Simplify (- (/ (- (/ 1 z)) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (/ 1 (* z y)))
3.339 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z
3.339 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.340 * [taylor]: Taking taylor expansion of (* z y) in z
3.340 * [taylor]: Taking taylor expansion of z in z
3.340 * [backup-simplify]: Simplify 0 into 0
3.340 * [backup-simplify]: Simplify 1 into 1
3.340 * [taylor]: Taking taylor expansion of y in z
3.340 * [backup-simplify]: Simplify y into y
3.340 * [backup-simplify]: Simplify (* 0 y) into 0
3.340 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.340 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.340 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
3.340 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
3.340 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.340 * [taylor]: Taking taylor expansion of y in y
3.340 * [backup-simplify]: Simplify 0 into 0
3.340 * [backup-simplify]: Simplify 1 into 1
3.340 * [backup-simplify]: Simplify (/ 1 1) into 1
3.341 * [backup-simplify]: Simplify (- 1) into -1
3.341 * [backup-simplify]: Simplify -1 into -1
3.341 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.341 * [taylor]: Taking taylor expansion of y in y
3.341 * [backup-simplify]: Simplify 0 into 0
3.341 * [backup-simplify]: Simplify 1 into 1
3.341 * [backup-simplify]: Simplify (/ 1 1) into 1
3.341 * [backup-simplify]: Simplify 1 into 1
3.341 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.342 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.342 * [backup-simplify]: Simplify (- 0) into 0
3.342 * [backup-simplify]: Simplify (+ 0 0) into 0
3.342 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)))) into 0
3.342 * [taylor]: Taking taylor expansion of 0 in z
3.342 * [backup-simplify]: Simplify 0 into 0
3.343 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.343 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.343 * [backup-simplify]: Simplify (- 0) into 0
3.343 * [taylor]: Taking taylor expansion of 0 in y
3.343 * [backup-simplify]: Simplify 0 into 0
3.343 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.343 * [taylor]: Taking taylor expansion of 0 in y
3.343 * [backup-simplify]: Simplify 0 into 0
3.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.344 * [backup-simplify]: Simplify (- 0) into 0
3.344 * [backup-simplify]: Simplify 0 into 0
3.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.344 * [backup-simplify]: Simplify 0 into 0
3.345 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.345 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.345 * [backup-simplify]: Simplify (- 0) into 0
3.346 * [backup-simplify]: Simplify (+ 0 0) into 0
3.346 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.346 * [taylor]: Taking taylor expansion of 0 in z
3.346 * [backup-simplify]: Simplify 0 into 0
3.346 * [taylor]: Taking taylor expansion of 0 in y
3.346 * [backup-simplify]: Simplify 0 into 0
3.347 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
3.347 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.347 * [backup-simplify]: Simplify (- 0) into 0
3.347 * [taylor]: Taking taylor expansion of 0 in y
3.347 * [backup-simplify]: Simplify 0 into 0
3.347 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.347 * [taylor]: Taking taylor expansion of 0 in y
3.347 * [backup-simplify]: Simplify 0 into 0
3.347 * [backup-simplify]: Simplify 0 into 0
3.347 * [backup-simplify]: Simplify 0 into 0
3.348 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.348 * [backup-simplify]: Simplify (- 0) into 0
3.348 * [backup-simplify]: Simplify 0 into 0
3.348 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.348 * [backup-simplify]: Simplify 0 into 0
3.349 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 y)) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 z)) 1)))) into (- (* x y) (* z y))
3.349 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y))) into (* -1 (/ (- (/ 1 z) (/ 1 x)) y))
3.349 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (x z y) around 0
3.349 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y
3.349 * [taylor]: Taking taylor expansion of -1 in y
3.349 * [backup-simplify]: Simplify -1 into -1
3.349 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
3.349 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
3.349 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.349 * [taylor]: Taking taylor expansion of z in y
3.349 * [backup-simplify]: Simplify z into z
3.349 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.349 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.349 * [taylor]: Taking taylor expansion of x in y
3.349 * [backup-simplify]: Simplify x into x
3.349 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.349 * [taylor]: Taking taylor expansion of y in y
3.349 * [backup-simplify]: Simplify 0 into 0
3.349 * [backup-simplify]: Simplify 1 into 1
3.349 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.349 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
3.349 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x))
3.349 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z
3.349 * [taylor]: Taking taylor expansion of -1 in z
3.349 * [backup-simplify]: Simplify -1 into -1
3.349 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z
3.349 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
3.349 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.350 * [taylor]: Taking taylor expansion of z in z
3.350 * [backup-simplify]: Simplify 0 into 0
3.350 * [backup-simplify]: Simplify 1 into 1
3.350 * [backup-simplify]: Simplify (/ 1 1) into 1
3.350 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.350 * [taylor]: Taking taylor expansion of x in z
3.350 * [backup-simplify]: Simplify x into x
3.350 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.350 * [taylor]: Taking taylor expansion of y in z
3.350 * [backup-simplify]: Simplify y into y
3.350 * [backup-simplify]: Simplify (+ 1 0) into 1
3.350 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.350 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x
3.350 * [taylor]: Taking taylor expansion of -1 in x
3.350 * [backup-simplify]: Simplify -1 into -1
3.350 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
3.350 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
3.350 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.350 * [taylor]: Taking taylor expansion of z in x
3.350 * [backup-simplify]: Simplify z into z
3.350 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.350 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.350 * [taylor]: Taking taylor expansion of x in x
3.351 * [backup-simplify]: Simplify 0 into 0
3.351 * [backup-simplify]: Simplify 1 into 1
3.351 * [backup-simplify]: Simplify (/ 1 1) into 1
3.351 * [taylor]: Taking taylor expansion of y in x
3.351 * [backup-simplify]: Simplify y into y
3.351 * [backup-simplify]: Simplify (- 1) into -1
3.351 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.351 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.351 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x
3.351 * [taylor]: Taking taylor expansion of -1 in x
3.351 * [backup-simplify]: Simplify -1 into -1
3.351 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
3.351 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
3.351 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.351 * [taylor]: Taking taylor expansion of z in x
3.351 * [backup-simplify]: Simplify z into z
3.352 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.352 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.352 * [taylor]: Taking taylor expansion of x in x
3.352 * [backup-simplify]: Simplify 0 into 0
3.352 * [backup-simplify]: Simplify 1 into 1
3.352 * [backup-simplify]: Simplify (/ 1 1) into 1
3.352 * [taylor]: Taking taylor expansion of y in x
3.352 * [backup-simplify]: Simplify y into y
3.352 * [backup-simplify]: Simplify (- 1) into -1
3.352 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.352 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.352 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
3.353 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.353 * [taylor]: Taking taylor expansion of y in z
3.353 * [backup-simplify]: Simplify y into y
3.353 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.353 * [backup-simplify]: Simplify (- 0) into 0
3.353 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
3.353 * [backup-simplify]: Simplify (- (/ (/ 1 z) y) (+ (* (/ -1 y) (/ 0 y)))) into (/ 1 (* z y))
3.354 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (* z y))) (* 0 (/ -1 y))) into (- (/ 1 (* z y)))
3.354 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z
3.354 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.354 * [taylor]: Taking taylor expansion of (* z y) in z
3.354 * [taylor]: Taking taylor expansion of z in z
3.354 * [backup-simplify]: Simplify 0 into 0
3.354 * [backup-simplify]: Simplify 1 into 1
3.354 * [taylor]: Taking taylor expansion of y in z
3.354 * [backup-simplify]: Simplify y into y
3.354 * [backup-simplify]: Simplify (* 0 y) into 0
3.354 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.354 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.354 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
3.354 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
3.354 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.354 * [taylor]: Taking taylor expansion of y in y
3.354 * [backup-simplify]: Simplify 0 into 0
3.354 * [backup-simplify]: Simplify 1 into 1
3.355 * [backup-simplify]: Simplify (/ 1 1) into 1
3.355 * [backup-simplify]: Simplify (- 1) into -1
3.355 * [backup-simplify]: Simplify -1 into -1
3.355 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.355 * [taylor]: Taking taylor expansion of y in y
3.355 * [backup-simplify]: Simplify 0 into 0
3.355 * [backup-simplify]: Simplify 1 into 1
3.355 * [backup-simplify]: Simplify (/ 1 1) into 1
3.355 * [backup-simplify]: Simplify 1 into 1
3.356 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.356 * [backup-simplify]: Simplify (- 0) into 0
3.357 * [backup-simplify]: Simplify (+ 0 0) into 0
3.357 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (/ 1 (* z y)) (/ 0 y)))) into 0
3.357 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (* z y))) (* 0 (/ -1 y)))) into 0
3.357 * [taylor]: Taking taylor expansion of 0 in z
3.357 * [backup-simplify]: Simplify 0 into 0
3.358 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.358 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.358 * [backup-simplify]: Simplify (- 0) into 0
3.358 * [taylor]: Taking taylor expansion of 0 in y
3.358 * [backup-simplify]: Simplify 0 into 0
3.358 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.358 * [taylor]: Taking taylor expansion of 0 in y
3.358 * [backup-simplify]: Simplify 0 into 0
3.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.359 * [backup-simplify]: Simplify (- 0) into 0
3.359 * [backup-simplify]: Simplify 0 into 0
3.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.360 * [backup-simplify]: Simplify 0 into 0
3.360 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.360 * [backup-simplify]: Simplify (- 0) into 0
3.361 * [backup-simplify]: Simplify (+ 0 0) into 0
3.361 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (/ 1 (* z y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.361 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (* z y))) (* 0 (/ -1 y))))) into 0
3.361 * [taylor]: Taking taylor expansion of 0 in z
3.361 * [backup-simplify]: Simplify 0 into 0
3.361 * [taylor]: Taking taylor expansion of 0 in y
3.362 * [backup-simplify]: Simplify 0 into 0
3.362 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
3.362 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.363 * [backup-simplify]: Simplify (- 0) into 0
3.363 * [taylor]: Taking taylor expansion of 0 in y
3.363 * [backup-simplify]: Simplify 0 into 0
3.363 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.363 * [taylor]: Taking taylor expansion of 0 in y
3.363 * [backup-simplify]: Simplify 0 into 0
3.363 * [backup-simplify]: Simplify 0 into 0
3.363 * [backup-simplify]: Simplify 0 into 0
3.364 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.365 * [backup-simplify]: Simplify (- 0) into 0
3.365 * [backup-simplify]: Simplify 0 into 0
3.366 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.366 * [backup-simplify]: Simplify 0 into 0
3.366 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- y))) (* 1 (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- z))) 1)))) into (- (* x y) (* z y))
3.366 * * * [progress]: simplifying candidates
3.367 * [simplify]: Simplifying:
  (* (- x z) y)
  (+ (log (- x z)) (log y))
  (log (* (- x z) y))
  (exp (* (- x z) y))
  (* (* (* (- x z) (- x z)) (- x z)) (* (* y y) y))
  (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y)))
  (cbrt (* (- x z) y))
  (* (* (* (- x z) y) (* (- x z) y)) (* (- x z) y))
  (sqrt (* (- x z) y))
  (sqrt (* (- x z) y))
  (* (sqrt (- x z)) (sqrt y))
  (* (sqrt (- x z)) (sqrt y))
  (* (- x z) (* (cbrt y) (cbrt y)))
  (* (- x z) (sqrt y))
  (* (- x z) 1)
  (* (cbrt (- x z)) y)
  (* (sqrt (- x z)) y)
  (* (- x z) y)
  (* (- (sqrt x) (sqrt z)) y)
  (* (- x z) y)
  (* (- (pow x 3) (pow z 3)) y)
  (* (- (* x x) (* z z)) y)
  0
  (- (* x y) (* z y))
  (- (* x y) (* z y))
3.368 * * [simplify]: iteration 0: 49 enodes
3.387 * * [simplify]: iteration 1: 110 enodes
3.443 * * [simplify]: iteration 2: 302 enodes
3.626 * * [simplify]: iteration 3: 1151 enodes
4.936 * * [simplify]: iteration complete: 5000 enodes
4.937 * * [simplify]: Extracting #0: cost 17 inf + 0
4.938 * * [simplify]: Extracting #1: cost 435 inf + 1
4.945 * * [simplify]: Extracting #2: cost 1464 inf + 2822
4.966 * * [simplify]: Extracting #3: cost 1322 inf + 97686
5.038 * * [simplify]: Extracting #4: cost 292 inf + 301812
5.131 * * [simplify]: Extracting #5: cost 37 inf + 346907
5.225 * * [simplify]: Extracting #6: cost 8 inf + 351276
5.342 * * [simplify]: Extracting #7: cost 0 inf + 353300
5.419 * [simplify]: Simplified to:
  (* y (- x z))
  (log (* y (- x z)))
  (log (* y (- x z)))
  (exp (* y (- x z)))
  (* (* y (- x z)) (* (* y (- x z)) (* y (- x z))))
  (* (cbrt (* y (- x z))) (cbrt (* y (- x z))))
  (cbrt (* y (- x z)))
  (* (* y (- x z)) (* (* y (- x z)) (* y (- x z))))
  (sqrt (* y (- x z)))
  (sqrt (* y (- x z)))
  (* (sqrt (- x z)) (sqrt y))
  (* (sqrt (- x z)) (sqrt y))
  (* (cbrt y) (* (- x z) (cbrt y)))
  (* (- x z) (sqrt y))
  (- x z)
  (* y (cbrt (- x z)))
  (* (sqrt (- x z)) y)
  (* y (- x z))
  (* (- (sqrt x) (sqrt z)) y)
  (* y (- x z))
  (* y (- (* (* x x) x) (* z (* z z))))
  (* (+ z x) (* y (- x z)))
  0
  (* y (- x z))
  (* y (- x z))
5.421 * * * [progress]: adding candidates to table
5.523 * * [progress]: iteration 2 / 4
5.523 * * * [progress]: picking best candidate
5.530 * * * * [pick]: Picked  #<alt (λ (x y z) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))>
5.530 * * * [progress]: localizing error
5.556 * * * [progress]: generating rewritten candidates
5.556 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
5.704 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
5.715 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
5.774 * * * [progress]: generating series expansions
5.774 * * * * [progress]: [ 1 / 3 ] generating series at (2)
5.774 * [backup-simplify]: Simplify (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) into (- (* x y) (* z y))
5.774 * [approximate]: Taking taylor expansion of (- (* x y) (* z y)) in (x y z) around 0
5.774 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in z
5.774 * [taylor]: Taking taylor expansion of (* x y) in z
5.774 * [taylor]: Taking taylor expansion of x in z
5.774 * [backup-simplify]: Simplify x into x
5.774 * [taylor]: Taking taylor expansion of y in z
5.774 * [backup-simplify]: Simplify y into y
5.774 * [taylor]: Taking taylor expansion of (* z y) in z
5.774 * [taylor]: Taking taylor expansion of z in z
5.774 * [backup-simplify]: Simplify 0 into 0
5.774 * [backup-simplify]: Simplify 1 into 1
5.774 * [taylor]: Taking taylor expansion of y in z
5.774 * [backup-simplify]: Simplify y into y
5.774 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y
5.774 * [taylor]: Taking taylor expansion of (* x y) in y
5.774 * [taylor]: Taking taylor expansion of x in y
5.774 * [backup-simplify]: Simplify x into x
5.774 * [taylor]: Taking taylor expansion of y in y
5.774 * [backup-simplify]: Simplify 0 into 0
5.774 * [backup-simplify]: Simplify 1 into 1
5.774 * [taylor]: Taking taylor expansion of (* z y) in y
5.774 * [taylor]: Taking taylor expansion of z in y
5.774 * [backup-simplify]: Simplify z into z
5.774 * [taylor]: Taking taylor expansion of y in y
5.775 * [backup-simplify]: Simplify 0 into 0
5.775 * [backup-simplify]: Simplify 1 into 1
5.775 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x
5.775 * [taylor]: Taking taylor expansion of (* x y) in x
5.775 * [taylor]: Taking taylor expansion of x in x
5.775 * [backup-simplify]: Simplify 0 into 0
5.775 * [backup-simplify]: Simplify 1 into 1
5.775 * [taylor]: Taking taylor expansion of y in x
5.775 * [backup-simplify]: Simplify y into y
5.775 * [taylor]: Taking taylor expansion of (* z y) in x
5.775 * [taylor]: Taking taylor expansion of z in x
5.775 * [backup-simplify]: Simplify z into z
5.775 * [taylor]: Taking taylor expansion of y in x
5.775 * [backup-simplify]: Simplify y into y
5.775 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x
5.775 * [taylor]: Taking taylor expansion of (* x y) in x
5.775 * [taylor]: Taking taylor expansion of x in x
5.775 * [backup-simplify]: Simplify 0 into 0
5.775 * [backup-simplify]: Simplify 1 into 1
5.775 * [taylor]: Taking taylor expansion of y in x
5.775 * [backup-simplify]: Simplify y into y
5.775 * [taylor]: Taking taylor expansion of (* z y) in x
5.775 * [taylor]: Taking taylor expansion of z in x
5.775 * [backup-simplify]: Simplify z into z
5.775 * [taylor]: Taking taylor expansion of y in x
5.775 * [backup-simplify]: Simplify y into y
5.775 * [backup-simplify]: Simplify (* 0 y) into 0
5.775 * [backup-simplify]: Simplify (* z y) into (* z y)
5.775 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y))
5.775 * [backup-simplify]: Simplify (+ 0 (- (* z y))) into (- (* z y))
5.775 * [taylor]: Taking taylor expansion of (- (* z y)) in y
5.775 * [taylor]: Taking taylor expansion of (* z y) in y
5.775 * [taylor]: Taking taylor expansion of z in y
5.775 * [backup-simplify]: Simplify z into z
5.775 * [taylor]: Taking taylor expansion of y in y
5.775 * [backup-simplify]: Simplify 0 into 0
5.775 * [backup-simplify]: Simplify 1 into 1
5.775 * [backup-simplify]: Simplify (* z 0) into 0
5.776 * [backup-simplify]: Simplify (- 0) into 0
5.776 * [taylor]: Taking taylor expansion of 0 in z
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.776 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
5.776 * [backup-simplify]: Simplify (- 0) into 0
5.776 * [backup-simplify]: Simplify (+ y 0) into y
5.777 * [taylor]: Taking taylor expansion of y in y
5.777 * [backup-simplify]: Simplify 0 into 0
5.777 * [backup-simplify]: Simplify 1 into 1
5.777 * [taylor]: Taking taylor expansion of 0 in z
5.777 * [backup-simplify]: Simplify 0 into 0
5.777 * [backup-simplify]: Simplify 0 into 0
5.777 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
5.777 * [backup-simplify]: Simplify (- z) into (- z)
5.777 * [taylor]: Taking taylor expansion of (- z) in z
5.777 * [taylor]: Taking taylor expansion of z in z
5.777 * [backup-simplify]: Simplify 0 into 0
5.777 * [backup-simplify]: Simplify 1 into 1
5.777 * [backup-simplify]: Simplify (- 0) into 0
5.777 * [backup-simplify]: Simplify 0 into 0
5.777 * [backup-simplify]: Simplify 0 into 0
5.778 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.778 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
5.778 * [backup-simplify]: Simplify (- 0) into 0
5.779 * [backup-simplify]: Simplify (+ 0 0) into 0
5.779 * [taylor]: Taking taylor expansion of 0 in y
5.779 * [backup-simplify]: Simplify 0 into 0
5.779 * [taylor]: Taking taylor expansion of 0 in z
5.779 * [backup-simplify]: Simplify 0 into 0
5.779 * [backup-simplify]: Simplify 0 into 0
5.779 * [taylor]: Taking taylor expansion of 1 in z
5.779 * [backup-simplify]: Simplify 1 into 1
5.779 * [backup-simplify]: Simplify 1 into 1
5.779 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
5.779 * [backup-simplify]: Simplify (- 0) into 0
5.779 * [taylor]: Taking taylor expansion of 0 in z
5.779 * [backup-simplify]: Simplify 0 into 0
5.779 * [backup-simplify]: Simplify 0 into 0
5.779 * [backup-simplify]: Simplify 0 into 0
5.780 * [backup-simplify]: Simplify (- 1) into -1
5.780 * [backup-simplify]: Simplify -1 into -1
5.780 * [backup-simplify]: Simplify 0 into 0
5.780 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.781 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
5.781 * [backup-simplify]: Simplify (- 0) into 0
5.781 * [backup-simplify]: Simplify (+ 0 0) into 0
5.781 * [taylor]: Taking taylor expansion of 0 in y
5.782 * [backup-simplify]: Simplify 0 into 0
5.782 * [taylor]: Taking taylor expansion of 0 in z
5.782 * [backup-simplify]: Simplify 0 into 0
5.782 * [backup-simplify]: Simplify 0 into 0
5.782 * [taylor]: Taking taylor expansion of 0 in z
5.782 * [backup-simplify]: Simplify 0 into 0
5.782 * [backup-simplify]: Simplify 0 into 0
5.782 * [taylor]: Taking taylor expansion of 0 in z
5.782 * [backup-simplify]: Simplify 0 into 0
5.782 * [backup-simplify]: Simplify 0 into 0
5.783 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.784 * [backup-simplify]: Simplify (- 0) into 0
5.784 * [taylor]: Taking taylor expansion of 0 in z
5.784 * [backup-simplify]: Simplify 0 into 0
5.784 * [backup-simplify]: Simplify 0 into 0
5.784 * [backup-simplify]: Simplify 0 into 0
5.784 * [backup-simplify]: Simplify (+ (* -1 (* z (* y 1))) (* 1 (* 1 (* y x)))) into (- (* x y) (* z y))
5.784 * [backup-simplify]: Simplify (- (- (+ (* (/ 1 x) (/ 1 y)) (* (/ 1 y) (/ 1 y))) (* (/ 1 y) (/ 1 z))) (* (/ 1 y) (/ 1 y))) into (- (/ 1 (* x y)) (/ 1 (* z y)))
5.784 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0
5.784 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z
5.784 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
5.784 * [taylor]: Taking taylor expansion of (* x y) in z
5.784 * [taylor]: Taking taylor expansion of x in z
5.784 * [backup-simplify]: Simplify x into x
5.784 * [taylor]: Taking taylor expansion of y in z
5.784 * [backup-simplify]: Simplify y into y
5.784 * [backup-simplify]: Simplify (* x y) into (* x y)
5.785 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
5.785 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
5.785 * [taylor]: Taking taylor expansion of (* z y) in z
5.785 * [taylor]: Taking taylor expansion of z in z
5.785 * [backup-simplify]: Simplify 0 into 0
5.785 * [backup-simplify]: Simplify 1 into 1
5.785 * [taylor]: Taking taylor expansion of y in z
5.785 * [backup-simplify]: Simplify y into y
5.785 * [backup-simplify]: Simplify (* 0 y) into 0
5.785 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.785 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.785 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y
5.785 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
5.785 * [taylor]: Taking taylor expansion of (* x y) in y
5.785 * [taylor]: Taking taylor expansion of x in y
5.785 * [backup-simplify]: Simplify x into x
5.785 * [taylor]: Taking taylor expansion of y in y
5.785 * [backup-simplify]: Simplify 0 into 0
5.785 * [backup-simplify]: Simplify 1 into 1
5.785 * [backup-simplify]: Simplify (* x 0) into 0
5.785 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.785 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.785 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
5.786 * [taylor]: Taking taylor expansion of (* z y) in y
5.786 * [taylor]: Taking taylor expansion of z in y
5.786 * [backup-simplify]: Simplify z into z
5.786 * [taylor]: Taking taylor expansion of y in y
5.786 * [backup-simplify]: Simplify 0 into 0
5.786 * [backup-simplify]: Simplify 1 into 1
5.786 * [backup-simplify]: Simplify (* z 0) into 0
5.786 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
5.786 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.786 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
5.786 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.786 * [taylor]: Taking taylor expansion of (* x y) in x
5.786 * [taylor]: Taking taylor expansion of x in x
5.786 * [backup-simplify]: Simplify 0 into 0
5.786 * [backup-simplify]: Simplify 1 into 1
5.786 * [taylor]: Taking taylor expansion of y in x
5.786 * [backup-simplify]: Simplify y into y
5.786 * [backup-simplify]: Simplify (* 0 y) into 0
5.786 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.786 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.786 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
5.786 * [taylor]: Taking taylor expansion of (* z y) in x
5.786 * [taylor]: Taking taylor expansion of z in x
5.786 * [backup-simplify]: Simplify z into z
5.786 * [taylor]: Taking taylor expansion of y in x
5.787 * [backup-simplify]: Simplify y into y
5.787 * [backup-simplify]: Simplify (* z y) into (* z y)
5.787 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
5.787 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
5.787 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.787 * [taylor]: Taking taylor expansion of (* x y) in x
5.787 * [taylor]: Taking taylor expansion of x in x
5.787 * [backup-simplify]: Simplify 0 into 0
5.787 * [backup-simplify]: Simplify 1 into 1
5.787 * [taylor]: Taking taylor expansion of y in x
5.787 * [backup-simplify]: Simplify y into y
5.787 * [backup-simplify]: Simplify (* 0 y) into 0
5.787 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.787 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.787 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
5.787 * [taylor]: Taking taylor expansion of (* z y) in x
5.787 * [taylor]: Taking taylor expansion of z in x
5.787 * [backup-simplify]: Simplify z into z
5.787 * [taylor]: Taking taylor expansion of y in x
5.787 * [backup-simplify]: Simplify y into y
5.787 * [backup-simplify]: Simplify (* z y) into (* z y)
5.787 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
5.787 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
5.787 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.787 * [taylor]: Taking taylor expansion of y in y
5.787 * [backup-simplify]: Simplify 0 into 0
5.787 * [backup-simplify]: Simplify 1 into 1
5.788 * [backup-simplify]: Simplify (/ 1 1) into 1
5.788 * [taylor]: Taking taylor expansion of 1 in z
5.788 * [backup-simplify]: Simplify 1 into 1
5.788 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.788 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.788 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y)))
5.788 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* z y)))) into (- (/ 1 (* z y)))
5.788 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
5.788 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
5.788 * [taylor]: Taking taylor expansion of (* z y) in y
5.788 * [taylor]: Taking taylor expansion of z in y
5.789 * [backup-simplify]: Simplify z into z
5.789 * [taylor]: Taking taylor expansion of y in y
5.789 * [backup-simplify]: Simplify 0 into 0
5.789 * [backup-simplify]: Simplify 1 into 1
5.789 * [backup-simplify]: Simplify (* z 0) into 0
5.789 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
5.789 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.789 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.789 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
5.789 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.789 * [taylor]: Taking taylor expansion of z in z
5.789 * [backup-simplify]: Simplify 0 into 0
5.789 * [backup-simplify]: Simplify 1 into 1
5.789 * [backup-simplify]: Simplify (/ 1 1) into 1
5.789 * [backup-simplify]: Simplify (- 1) into -1
5.790 * [backup-simplify]: Simplify -1 into -1
5.790 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.790 * [taylor]: Taking taylor expansion of 0 in z
5.790 * [backup-simplify]: Simplify 0 into 0
5.790 * [backup-simplify]: Simplify 1 into 1
5.791 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.791 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.791 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
5.791 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
5.791 * [backup-simplify]: Simplify (- 0) into 0
5.792 * [backup-simplify]: Simplify (+ 0 0) into 0
5.792 * [taylor]: Taking taylor expansion of 0 in y
5.792 * [backup-simplify]: Simplify 0 into 0
5.792 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
5.792 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.792 * [backup-simplify]: Simplify (- 0) into 0
5.792 * [taylor]: Taking taylor expansion of 0 in z
5.792 * [backup-simplify]: Simplify 0 into 0
5.793 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.793 * [taylor]: Taking taylor expansion of 0 in z
5.793 * [backup-simplify]: Simplify 0 into 0
5.793 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.794 * [backup-simplify]: Simplify (- 0) into 0
5.794 * [backup-simplify]: Simplify 0 into 0
5.794 * [backup-simplify]: Simplify 0 into 0
5.794 * [backup-simplify]: Simplify 0 into 0
5.795 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.795 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.795 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
5.795 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
5.795 * [backup-simplify]: Simplify (- 0) into 0
5.796 * [backup-simplify]: Simplify (+ 0 0) into 0
5.796 * [taylor]: Taking taylor expansion of 0 in y
5.796 * [backup-simplify]: Simplify 0 into 0
5.796 * [taylor]: Taking taylor expansion of 0 in z
5.796 * [backup-simplify]: Simplify 0 into 0
5.796 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.796 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.797 * [backup-simplify]: Simplify (- 0) into 0
5.797 * [taylor]: Taking taylor expansion of 0 in z
5.797 * [backup-simplify]: Simplify 0 into 0
5.797 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.797 * [taylor]: Taking taylor expansion of 0 in z
5.797 * [backup-simplify]: Simplify 0 into 0
5.797 * [backup-simplify]: Simplify 0 into 0
5.797 * [backup-simplify]: Simplify 0 into 0
5.798 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.798 * [backup-simplify]: Simplify (- 0) into 0
5.798 * [backup-simplify]: Simplify 0 into 0
5.798 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1)))) into (- (* x y) (* z y))
5.799 * [backup-simplify]: Simplify (- (- (+ (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- y)) (/ 1 (- y)))) (* (/ 1 (- y)) (/ 1 (- z)))) (* (/ 1 (- y)) (/ 1 (- y)))) into (- (/ 1 (* x y)) (/ 1 (* z y)))
5.799 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0
5.799 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z
5.799 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
5.799 * [taylor]: Taking taylor expansion of (* x y) in z
5.799 * [taylor]: Taking taylor expansion of x in z
5.799 * [backup-simplify]: Simplify x into x
5.799 * [taylor]: Taking taylor expansion of y in z
5.799 * [backup-simplify]: Simplify y into y
5.799 * [backup-simplify]: Simplify (* x y) into (* x y)
5.799 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
5.799 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
5.799 * [taylor]: Taking taylor expansion of (* z y) in z
5.799 * [taylor]: Taking taylor expansion of z in z
5.799 * [backup-simplify]: Simplify 0 into 0
5.799 * [backup-simplify]: Simplify 1 into 1
5.799 * [taylor]: Taking taylor expansion of y in z
5.799 * [backup-simplify]: Simplify y into y
5.799 * [backup-simplify]: Simplify (* 0 y) into 0
5.799 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.799 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.799 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y
5.799 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
5.799 * [taylor]: Taking taylor expansion of (* x y) in y
5.799 * [taylor]: Taking taylor expansion of x in y
5.799 * [backup-simplify]: Simplify x into x
5.799 * [taylor]: Taking taylor expansion of y in y
5.799 * [backup-simplify]: Simplify 0 into 0
5.799 * [backup-simplify]: Simplify 1 into 1
5.799 * [backup-simplify]: Simplify (* x 0) into 0
5.800 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.800 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.800 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
5.800 * [taylor]: Taking taylor expansion of (* z y) in y
5.800 * [taylor]: Taking taylor expansion of z in y
5.800 * [backup-simplify]: Simplify z into z
5.800 * [taylor]: Taking taylor expansion of y in y
5.800 * [backup-simplify]: Simplify 0 into 0
5.800 * [backup-simplify]: Simplify 1 into 1
5.800 * [backup-simplify]: Simplify (* z 0) into 0
5.800 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
5.800 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.800 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
5.800 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.800 * [taylor]: Taking taylor expansion of (* x y) in x
5.800 * [taylor]: Taking taylor expansion of x in x
5.800 * [backup-simplify]: Simplify 0 into 0
5.800 * [backup-simplify]: Simplify 1 into 1
5.800 * [taylor]: Taking taylor expansion of y in x
5.800 * [backup-simplify]: Simplify y into y
5.800 * [backup-simplify]: Simplify (* 0 y) into 0
5.801 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.801 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.801 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
5.801 * [taylor]: Taking taylor expansion of (* z y) in x
5.801 * [taylor]: Taking taylor expansion of z in x
5.801 * [backup-simplify]: Simplify z into z
5.801 * [taylor]: Taking taylor expansion of y in x
5.801 * [backup-simplify]: Simplify y into y
5.801 * [backup-simplify]: Simplify (* z y) into (* z y)
5.801 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
5.801 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
5.801 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.801 * [taylor]: Taking taylor expansion of (* x y) in x
5.801 * [taylor]: Taking taylor expansion of x in x
5.801 * [backup-simplify]: Simplify 0 into 0
5.801 * [backup-simplify]: Simplify 1 into 1
5.801 * [taylor]: Taking taylor expansion of y in x
5.801 * [backup-simplify]: Simplify y into y
5.801 * [backup-simplify]: Simplify (* 0 y) into 0
5.801 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.801 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.801 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
5.801 * [taylor]: Taking taylor expansion of (* z y) in x
5.801 * [taylor]: Taking taylor expansion of z in x
5.801 * [backup-simplify]: Simplify z into z
5.801 * [taylor]: Taking taylor expansion of y in x
5.801 * [backup-simplify]: Simplify y into y
5.801 * [backup-simplify]: Simplify (* z y) into (* z y)
5.801 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
5.802 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
5.802 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.802 * [taylor]: Taking taylor expansion of y in y
5.802 * [backup-simplify]: Simplify 0 into 0
5.802 * [backup-simplify]: Simplify 1 into 1
5.802 * [backup-simplify]: Simplify (/ 1 1) into 1
5.802 * [taylor]: Taking taylor expansion of 1 in z
5.802 * [backup-simplify]: Simplify 1 into 1
5.803 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.803 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.803 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y)))
5.803 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* z y)))) into (- (/ 1 (* z y)))
5.803 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
5.803 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
5.803 * [taylor]: Taking taylor expansion of (* z y) in y
5.803 * [taylor]: Taking taylor expansion of z in y
5.803 * [backup-simplify]: Simplify z into z
5.803 * [taylor]: Taking taylor expansion of y in y
5.803 * [backup-simplify]: Simplify 0 into 0
5.803 * [backup-simplify]: Simplify 1 into 1
5.803 * [backup-simplify]: Simplify (* z 0) into 0
5.804 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
5.804 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.804 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.804 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
5.804 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.804 * [taylor]: Taking taylor expansion of z in z
5.804 * [backup-simplify]: Simplify 0 into 0
5.804 * [backup-simplify]: Simplify 1 into 1
5.804 * [backup-simplify]: Simplify (/ 1 1) into 1
5.805 * [backup-simplify]: Simplify (- 1) into -1
5.805 * [backup-simplify]: Simplify -1 into -1
5.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.806 * [taylor]: Taking taylor expansion of 0 in z
5.806 * [backup-simplify]: Simplify 0 into 0
5.806 * [backup-simplify]: Simplify 1 into 1
5.807 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.807 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.807 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
5.808 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
5.808 * [backup-simplify]: Simplify (- 0) into 0
5.808 * [backup-simplify]: Simplify (+ 0 0) into 0
5.808 * [taylor]: Taking taylor expansion of 0 in y
5.808 * [backup-simplify]: Simplify 0 into 0
5.809 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
5.809 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.810 * [backup-simplify]: Simplify (- 0) into 0
5.810 * [taylor]: Taking taylor expansion of 0 in z
5.810 * [backup-simplify]: Simplify 0 into 0
5.811 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.811 * [taylor]: Taking taylor expansion of 0 in z
5.811 * [backup-simplify]: Simplify 0 into 0
5.811 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.812 * [backup-simplify]: Simplify (- 0) into 0
5.812 * [backup-simplify]: Simplify 0 into 0
5.812 * [backup-simplify]: Simplify 0 into 0
5.812 * [backup-simplify]: Simplify 0 into 0
5.814 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.814 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.815 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
5.815 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
5.815 * [backup-simplify]: Simplify (- 0) into 0
5.815 * [backup-simplify]: Simplify (+ 0 0) into 0
5.815 * [taylor]: Taking taylor expansion of 0 in y
5.815 * [backup-simplify]: Simplify 0 into 0
5.815 * [taylor]: Taking taylor expansion of 0 in z
5.815 * [backup-simplify]: Simplify 0 into 0
5.816 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.816 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.816 * [backup-simplify]: Simplify (- 0) into 0
5.816 * [taylor]: Taking taylor expansion of 0 in z
5.816 * [backup-simplify]: Simplify 0 into 0
5.817 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.817 * [taylor]: Taking taylor expansion of 0 in z
5.817 * [backup-simplify]: Simplify 0 into 0
5.817 * [backup-simplify]: Simplify 0 into 0
5.817 * [backup-simplify]: Simplify 0 into 0
5.817 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.818 * [backup-simplify]: Simplify (- 0) into 0
5.818 * [backup-simplify]: Simplify 0 into 0
5.818 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1)))) into (- (* x y) (* z y))
5.818 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
5.818 * [backup-simplify]: Simplify (+ (* x y) (* y y)) into (+ (pow y 2) (* x y))
5.818 * [approximate]: Taking taylor expansion of (+ (pow y 2) (* x y)) in (x y) around 0
5.818 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in y
5.818 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.818 * [taylor]: Taking taylor expansion of y in y
5.818 * [backup-simplify]: Simplify 0 into 0
5.818 * [backup-simplify]: Simplify 1 into 1
5.818 * [taylor]: Taking taylor expansion of (* x y) in y
5.818 * [taylor]: Taking taylor expansion of x in y
5.818 * [backup-simplify]: Simplify x into x
5.818 * [taylor]: Taking taylor expansion of y in y
5.818 * [backup-simplify]: Simplify 0 into 0
5.818 * [backup-simplify]: Simplify 1 into 1
5.818 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in x
5.818 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.818 * [taylor]: Taking taylor expansion of y in x
5.818 * [backup-simplify]: Simplify y into y
5.818 * [taylor]: Taking taylor expansion of (* x y) in x
5.819 * [taylor]: Taking taylor expansion of x in x
5.819 * [backup-simplify]: Simplify 0 into 0
5.819 * [backup-simplify]: Simplify 1 into 1
5.819 * [taylor]: Taking taylor expansion of y in x
5.819 * [backup-simplify]: Simplify y into y
5.819 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in x
5.819 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.819 * [taylor]: Taking taylor expansion of y in x
5.819 * [backup-simplify]: Simplify y into y
5.819 * [taylor]: Taking taylor expansion of (* x y) in x
5.819 * [taylor]: Taking taylor expansion of x in x
5.819 * [backup-simplify]: Simplify 0 into 0
5.819 * [backup-simplify]: Simplify 1 into 1
5.819 * [taylor]: Taking taylor expansion of y in x
5.819 * [backup-simplify]: Simplify y into y
5.819 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.819 * [backup-simplify]: Simplify (* 0 y) into 0
5.819 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2)
5.819 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.819 * [taylor]: Taking taylor expansion of y in y
5.819 * [backup-simplify]: Simplify 0 into 0
5.819 * [backup-simplify]: Simplify 1 into 1
5.819 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
5.819 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.819 * [backup-simplify]: Simplify (+ 0 y) into y
5.819 * [taylor]: Taking taylor expansion of y in y
5.819 * [backup-simplify]: Simplify 0 into 0
5.819 * [backup-simplify]: Simplify 1 into 1
5.820 * [backup-simplify]: Simplify 0 into 0
5.820 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
5.820 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.821 * [backup-simplify]: Simplify (+ 0 0) into 0
5.821 * [taylor]: Taking taylor expansion of 0 in y
5.821 * [backup-simplify]: Simplify 0 into 0
5.821 * [backup-simplify]: Simplify 0 into 0
5.821 * [backup-simplify]: Simplify 1 into 1
5.821 * [backup-simplify]: Simplify (* 1 1) into 1
5.821 * [backup-simplify]: Simplify 1 into 1
5.821 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
5.822 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.822 * [backup-simplify]: Simplify (+ 0 0) into 0
5.822 * [taylor]: Taking taylor expansion of 0 in y
5.822 * [backup-simplify]: Simplify 0 into 0
5.822 * [backup-simplify]: Simplify 0 into 0
5.822 * [backup-simplify]: Simplify 0 into 0
5.822 * [backup-simplify]: Simplify 0 into 0
5.823 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.823 * [backup-simplify]: Simplify 0 into 0
5.824 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.825 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.825 * [backup-simplify]: Simplify (+ 0 0) into 0
5.825 * [taylor]: Taking taylor expansion of 0 in y
5.825 * [backup-simplify]: Simplify 0 into 0
5.825 * [backup-simplify]: Simplify 0 into 0
5.825 * [backup-simplify]: Simplify 0 into 0
5.825 * [backup-simplify]: Simplify (+ (* 1 (pow (* y 1) 2)) (* 1 (* y x))) into (+ (pow y 2) (* x y))
5.825 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 y)) (* (/ 1 y) (/ 1 y))) into (+ (/ 1 (pow y 2)) (/ 1 (* x y)))
5.825 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in (x y) around 0
5.825 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in y
5.825 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.825 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.825 * [taylor]: Taking taylor expansion of y in y
5.825 * [backup-simplify]: Simplify 0 into 0
5.825 * [backup-simplify]: Simplify 1 into 1
5.826 * [backup-simplify]: Simplify (* 1 1) into 1
5.826 * [backup-simplify]: Simplify (/ 1 1) into 1
5.826 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
5.826 * [taylor]: Taking taylor expansion of (* x y) in y
5.826 * [taylor]: Taking taylor expansion of x in y
5.826 * [backup-simplify]: Simplify x into x
5.826 * [taylor]: Taking taylor expansion of y in y
5.826 * [backup-simplify]: Simplify 0 into 0
5.826 * [backup-simplify]: Simplify 1 into 1
5.826 * [backup-simplify]: Simplify (* x 0) into 0
5.826 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.826 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.826 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
5.826 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.826 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.826 * [taylor]: Taking taylor expansion of y in x
5.826 * [backup-simplify]: Simplify y into y
5.826 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.827 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
5.827 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.827 * [taylor]: Taking taylor expansion of (* x y) in x
5.827 * [taylor]: Taking taylor expansion of x in x
5.827 * [backup-simplify]: Simplify 0 into 0
5.827 * [backup-simplify]: Simplify 1 into 1
5.827 * [taylor]: Taking taylor expansion of y in x
5.827 * [backup-simplify]: Simplify y into y
5.827 * [backup-simplify]: Simplify (* 0 y) into 0
5.827 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.827 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.827 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
5.827 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.827 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.827 * [taylor]: Taking taylor expansion of y in x
5.827 * [backup-simplify]: Simplify y into y
5.827 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.827 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
5.827 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.827 * [taylor]: Taking taylor expansion of (* x y) in x
5.827 * [taylor]: Taking taylor expansion of x in x
5.827 * [backup-simplify]: Simplify 0 into 0
5.827 * [backup-simplify]: Simplify 1 into 1
5.827 * [taylor]: Taking taylor expansion of y in x
5.827 * [backup-simplify]: Simplify y into y
5.827 * [backup-simplify]: Simplify (* 0 y) into 0
5.828 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.828 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.828 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
5.828 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.828 * [taylor]: Taking taylor expansion of y in y
5.828 * [backup-simplify]: Simplify 0 into 0
5.828 * [backup-simplify]: Simplify 1 into 1
5.828 * [backup-simplify]: Simplify (/ 1 1) into 1
5.829 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.829 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.829 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2))
5.829 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.829 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.829 * [taylor]: Taking taylor expansion of y in y
5.829 * [backup-simplify]: Simplify 0 into 0
5.829 * [backup-simplify]: Simplify 1 into 1
5.829 * [backup-simplify]: Simplify (* 1 1) into 1
5.829 * [backup-simplify]: Simplify (/ 1 1) into 1
5.829 * [backup-simplify]: Simplify 1 into 1
5.829 * [backup-simplify]: Simplify 1 into 1
5.830 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
5.830 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
5.830 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.831 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.831 * [backup-simplify]: Simplify (+ 0 0) into 0
5.831 * [taylor]: Taking taylor expansion of 0 in y
5.831 * [backup-simplify]: Simplify 0 into 0
5.831 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.832 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.832 * [backup-simplify]: Simplify 0 into 0
5.832 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.832 * [backup-simplify]: Simplify 0 into 0
5.832 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
5.833 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
5.834 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.834 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.834 * [backup-simplify]: Simplify (+ 0 0) into 0
5.834 * [taylor]: Taking taylor expansion of 0 in y
5.834 * [backup-simplify]: Simplify 0 into 0
5.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.835 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.835 * [backup-simplify]: Simplify 0 into 0
5.836 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.836 * [backup-simplify]: Simplify 0 into 0
5.836 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
5.837 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
5.838 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
5.838 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.838 * [backup-simplify]: Simplify (+ 0 0) into 0
5.838 * [taylor]: Taking taylor expansion of 0 in y
5.838 * [backup-simplify]: Simplify 0 into 0
5.838 * [backup-simplify]: Simplify 0 into 0
5.839 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.839 * [backup-simplify]: Simplify 0 into 0
5.840 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) (* 1 (pow (* (/ 1 (/ 1 y)) 1) 2))) into (+ (pow y 2) (* x y))
5.840 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- y)) (/ 1 (- y)))) into (+ (/ 1 (pow y 2)) (/ 1 (* x y)))
5.840 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in (x y) around 0
5.840 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in y
5.840 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.840 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.840 * [taylor]: Taking taylor expansion of y in y
5.840 * [backup-simplify]: Simplify 0 into 0
5.840 * [backup-simplify]: Simplify 1 into 1
5.840 * [backup-simplify]: Simplify (* 1 1) into 1
5.840 * [backup-simplify]: Simplify (/ 1 1) into 1
5.840 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
5.840 * [taylor]: Taking taylor expansion of (* x y) in y
5.840 * [taylor]: Taking taylor expansion of x in y
5.840 * [backup-simplify]: Simplify x into x
5.840 * [taylor]: Taking taylor expansion of y in y
5.840 * [backup-simplify]: Simplify 0 into 0
5.841 * [backup-simplify]: Simplify 1 into 1
5.841 * [backup-simplify]: Simplify (* x 0) into 0
5.841 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.841 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.841 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
5.841 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.841 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.841 * [taylor]: Taking taylor expansion of y in x
5.841 * [backup-simplify]: Simplify y into y
5.841 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.841 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
5.841 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.841 * [taylor]: Taking taylor expansion of (* x y) in x
5.841 * [taylor]: Taking taylor expansion of x in x
5.841 * [backup-simplify]: Simplify 0 into 0
5.841 * [backup-simplify]: Simplify 1 into 1
5.841 * [taylor]: Taking taylor expansion of y in x
5.841 * [backup-simplify]: Simplify y into y
5.841 * [backup-simplify]: Simplify (* 0 y) into 0
5.842 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.842 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.842 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
5.842 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.842 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.842 * [taylor]: Taking taylor expansion of y in x
5.842 * [backup-simplify]: Simplify y into y
5.842 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.842 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
5.842 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.842 * [taylor]: Taking taylor expansion of (* x y) in x
5.842 * [taylor]: Taking taylor expansion of x in x
5.842 * [backup-simplify]: Simplify 0 into 0
5.842 * [backup-simplify]: Simplify 1 into 1
5.842 * [taylor]: Taking taylor expansion of y in x
5.842 * [backup-simplify]: Simplify y into y
5.842 * [backup-simplify]: Simplify (* 0 y) into 0
5.842 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.842 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.842 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
5.842 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.842 * [taylor]: Taking taylor expansion of y in y
5.842 * [backup-simplify]: Simplify 0 into 0
5.842 * [backup-simplify]: Simplify 1 into 1
5.843 * [backup-simplify]: Simplify (/ 1 1) into 1
5.843 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.843 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.843 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2))
5.843 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.843 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.843 * [taylor]: Taking taylor expansion of y in y
5.843 * [backup-simplify]: Simplify 0 into 0
5.843 * [backup-simplify]: Simplify 1 into 1
5.844 * [backup-simplify]: Simplify (* 1 1) into 1
5.844 * [backup-simplify]: Simplify (/ 1 1) into 1
5.844 * [backup-simplify]: Simplify 1 into 1
5.844 * [backup-simplify]: Simplify 1 into 1
5.844 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
5.844 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
5.845 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.845 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.845 * [backup-simplify]: Simplify (+ 0 0) into 0
5.845 * [taylor]: Taking taylor expansion of 0 in y
5.845 * [backup-simplify]: Simplify 0 into 0
5.846 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.846 * [backup-simplify]: Simplify 0 into 0
5.847 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.847 * [backup-simplify]: Simplify 0 into 0
5.847 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
5.847 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
5.848 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.848 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.848 * [backup-simplify]: Simplify (+ 0 0) into 0
5.848 * [taylor]: Taking taylor expansion of 0 in y
5.849 * [backup-simplify]: Simplify 0 into 0
5.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.850 * [backup-simplify]: Simplify 0 into 0
5.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.850 * [backup-simplify]: Simplify 0 into 0
5.851 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
5.851 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
5.852 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
5.852 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.852 * [backup-simplify]: Simplify (+ 0 0) into 0
5.853 * [taylor]: Taking taylor expansion of 0 in y
5.853 * [backup-simplify]: Simplify 0 into 0
5.853 * [backup-simplify]: Simplify 0 into 0
5.853 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.854 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.854 * [backup-simplify]: Simplify 0 into 0
5.854 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (* 1 (pow (* (/ 1 (/ 1 (- y))) 1) 2))) into (+ (pow y 2) (* x y))
5.854 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
5.854 * [backup-simplify]: Simplify (- (+ (* x y) (* y y)) (* y z)) into (- (+ (pow y 2) (* x y)) (* z y))
5.854 * [approximate]: Taking taylor expansion of (- (+ (pow y 2) (* x y)) (* z y)) in (x y z) around 0
5.854 * [taylor]: Taking taylor expansion of (- (+ (pow y 2) (* x y)) (* z y)) in z
5.854 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in z
5.854 * [taylor]: Taking taylor expansion of (pow y 2) in z
5.854 * [taylor]: Taking taylor expansion of y in z
5.854 * [backup-simplify]: Simplify y into y
5.854 * [taylor]: Taking taylor expansion of (* x y) in z
5.854 * [taylor]: Taking taylor expansion of x in z
5.854 * [backup-simplify]: Simplify x into x
5.854 * [taylor]: Taking taylor expansion of y in z
5.854 * [backup-simplify]: Simplify y into y
5.854 * [taylor]: Taking taylor expansion of (* z y) in z
5.854 * [taylor]: Taking taylor expansion of z in z
5.854 * [backup-simplify]: Simplify 0 into 0
5.854 * [backup-simplify]: Simplify 1 into 1
5.854 * [taylor]: Taking taylor expansion of y in z
5.855 * [backup-simplify]: Simplify y into y
5.855 * [taylor]: Taking taylor expansion of (- (+ (pow y 2) (* x y)) (* z y)) in y
5.855 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in y
5.855 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.855 * [taylor]: Taking taylor expansion of y in y
5.855 * [backup-simplify]: Simplify 0 into 0
5.855 * [backup-simplify]: Simplify 1 into 1
5.855 * [taylor]: Taking taylor expansion of (* x y) in y
5.855 * [taylor]: Taking taylor expansion of x in y
5.855 * [backup-simplify]: Simplify x into x
5.855 * [taylor]: Taking taylor expansion of y in y
5.855 * [backup-simplify]: Simplify 0 into 0
5.855 * [backup-simplify]: Simplify 1 into 1
5.855 * [taylor]: Taking taylor expansion of (* z y) in y
5.855 * [taylor]: Taking taylor expansion of z in y
5.855 * [backup-simplify]: Simplify z into z
5.855 * [taylor]: Taking taylor expansion of y in y
5.855 * [backup-simplify]: Simplify 0 into 0
5.855 * [backup-simplify]: Simplify 1 into 1
5.855 * [taylor]: Taking taylor expansion of (- (+ (pow y 2) (* x y)) (* z y)) in x
5.855 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in x
5.855 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.855 * [taylor]: Taking taylor expansion of y in x
5.855 * [backup-simplify]: Simplify y into y
5.855 * [taylor]: Taking taylor expansion of (* x y) in x
5.855 * [taylor]: Taking taylor expansion of x in x
5.855 * [backup-simplify]: Simplify 0 into 0
5.855 * [backup-simplify]: Simplify 1 into 1
5.855 * [taylor]: Taking taylor expansion of y in x
5.855 * [backup-simplify]: Simplify y into y
5.855 * [taylor]: Taking taylor expansion of (* z y) in x
5.855 * [taylor]: Taking taylor expansion of z in x
5.855 * [backup-simplify]: Simplify z into z
5.855 * [taylor]: Taking taylor expansion of y in x
5.855 * [backup-simplify]: Simplify y into y
5.855 * [taylor]: Taking taylor expansion of (- (+ (pow y 2) (* x y)) (* z y)) in x
5.855 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in x
5.855 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.855 * [taylor]: Taking taylor expansion of y in x
5.855 * [backup-simplify]: Simplify y into y
5.855 * [taylor]: Taking taylor expansion of (* x y) in x
5.855 * [taylor]: Taking taylor expansion of x in x
5.855 * [backup-simplify]: Simplify 0 into 0
5.855 * [backup-simplify]: Simplify 1 into 1
5.855 * [taylor]: Taking taylor expansion of y in x
5.855 * [backup-simplify]: Simplify y into y
5.855 * [taylor]: Taking taylor expansion of (* z y) in x
5.855 * [taylor]: Taking taylor expansion of z in x
5.855 * [backup-simplify]: Simplify z into z
5.855 * [taylor]: Taking taylor expansion of y in x
5.855 * [backup-simplify]: Simplify y into y
5.855 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.855 * [backup-simplify]: Simplify (* 0 y) into 0
5.855 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2)
5.856 * [backup-simplify]: Simplify (* z y) into (* z y)
5.856 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y))
5.856 * [backup-simplify]: Simplify (+ (pow y 2) (- (* z y))) into (- (pow y 2) (* z y))
5.856 * [taylor]: Taking taylor expansion of (- (pow y 2) (* z y)) in y
5.856 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.856 * [taylor]: Taking taylor expansion of y in y
5.856 * [backup-simplify]: Simplify 0 into 0
5.856 * [backup-simplify]: Simplify 1 into 1
5.856 * [taylor]: Taking taylor expansion of (* z y) in y
5.856 * [taylor]: Taking taylor expansion of z in y
5.856 * [backup-simplify]: Simplify z into z
5.856 * [taylor]: Taking taylor expansion of y in y
5.856 * [backup-simplify]: Simplify 0 into 0
5.856 * [backup-simplify]: Simplify 1 into 1
5.856 * [backup-simplify]: Simplify (* z 0) into 0
5.856 * [backup-simplify]: Simplify (- 0) into 0
5.856 * [backup-simplify]: Simplify (+ 0 0) into 0
5.856 * [taylor]: Taking taylor expansion of 0 in z
5.857 * [backup-simplify]: Simplify 0 into 0
5.857 * [backup-simplify]: Simplify 0 into 0
5.857 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
5.857 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.857 * [backup-simplify]: Simplify (+ 0 y) into y
5.857 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
5.857 * [backup-simplify]: Simplify (- 0) into 0
5.857 * [backup-simplify]: Simplify (+ y 0) into y
5.857 * [taylor]: Taking taylor expansion of y in y
5.857 * [backup-simplify]: Simplify 0 into 0
5.857 * [backup-simplify]: Simplify 1 into 1
5.857 * [taylor]: Taking taylor expansion of 0 in z
5.857 * [backup-simplify]: Simplify 0 into 0
5.857 * [backup-simplify]: Simplify 0 into 0
5.858 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
5.858 * [backup-simplify]: Simplify (- z) into (- z)
5.858 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
5.858 * [taylor]: Taking taylor expansion of (- z) in z
5.858 * [taylor]: Taking taylor expansion of z in z
5.858 * [backup-simplify]: Simplify 0 into 0
5.858 * [backup-simplify]: Simplify 1 into 1
5.858 * [backup-simplify]: Simplify (- 0) into 0
5.858 * [backup-simplify]: Simplify 0 into 0
5.858 * [backup-simplify]: Simplify 0 into 0
5.858 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
5.859 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.859 * [backup-simplify]: Simplify (+ 0 0) into 0
5.859 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
5.860 * [backup-simplify]: Simplify (- 0) into 0
5.860 * [backup-simplify]: Simplify (+ 0 0) into 0
5.860 * [taylor]: Taking taylor expansion of 0 in y
5.860 * [backup-simplify]: Simplify 0 into 0
5.860 * [taylor]: Taking taylor expansion of 0 in z
5.860 * [backup-simplify]: Simplify 0 into 0
5.860 * [backup-simplify]: Simplify 0 into 0
5.860 * [taylor]: Taking taylor expansion of 1 in z
5.860 * [backup-simplify]: Simplify 1 into 1
5.860 * [backup-simplify]: Simplify 1 into 1
5.860 * [backup-simplify]: Simplify (* 1 1) into 1
5.861 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
5.861 * [backup-simplify]: Simplify (- 0) into 0
5.861 * [backup-simplify]: Simplify (+ 1 0) into 1
5.861 * [taylor]: Taking taylor expansion of 1 in z
5.861 * [backup-simplify]: Simplify 1 into 1
5.861 * [backup-simplify]: Simplify 1 into 1
5.861 * [backup-simplify]: Simplify 0 into 0
5.861 * [backup-simplify]: Simplify (- 1) into -1
5.861 * [backup-simplify]: Simplify -1 into -1
5.862 * [backup-simplify]: Simplify (+ (* -1 (* z (* y 1))) (+ (* 1 (pow (* 1 (* y 1)) 2)) (* 1 (* 1 (* y x))))) into (- (+ (pow y 2) (* x y)) (* z y))
5.862 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 1 y)) (* (/ 1 y) (/ 1 y))) (* (/ 1 y) (/ 1 z))) into (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y)))
5.862 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in (x y z) around 0
5.862 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in z
5.862 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in z
5.862 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
5.862 * [taylor]: Taking taylor expansion of (pow y 2) in z
5.862 * [taylor]: Taking taylor expansion of y in z
5.862 * [backup-simplify]: Simplify y into y
5.862 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.862 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
5.862 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
5.862 * [taylor]: Taking taylor expansion of (* x y) in z
5.862 * [taylor]: Taking taylor expansion of x in z
5.862 * [backup-simplify]: Simplify x into x
5.862 * [taylor]: Taking taylor expansion of y in z
5.862 * [backup-simplify]: Simplify y into y
5.862 * [backup-simplify]: Simplify (* x y) into (* x y)
5.862 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
5.862 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
5.862 * [taylor]: Taking taylor expansion of (* z y) in z
5.862 * [taylor]: Taking taylor expansion of z in z
5.863 * [backup-simplify]: Simplify 0 into 0
5.863 * [backup-simplify]: Simplify 1 into 1
5.863 * [taylor]: Taking taylor expansion of y in z
5.863 * [backup-simplify]: Simplify y into y
5.863 * [backup-simplify]: Simplify (* 0 y) into 0
5.863 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.863 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.863 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in y
5.863 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in y
5.863 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.863 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.863 * [taylor]: Taking taylor expansion of y in y
5.863 * [backup-simplify]: Simplify 0 into 0
5.863 * [backup-simplify]: Simplify 1 into 1
5.863 * [backup-simplify]: Simplify (* 1 1) into 1
5.863 * [backup-simplify]: Simplify (/ 1 1) into 1
5.864 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
5.864 * [taylor]: Taking taylor expansion of (* x y) in y
5.864 * [taylor]: Taking taylor expansion of x in y
5.864 * [backup-simplify]: Simplify x into x
5.864 * [taylor]: Taking taylor expansion of y in y
5.864 * [backup-simplify]: Simplify 0 into 0
5.864 * [backup-simplify]: Simplify 1 into 1
5.864 * [backup-simplify]: Simplify (* x 0) into 0
5.864 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.864 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.864 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
5.864 * [taylor]: Taking taylor expansion of (* z y) in y
5.864 * [taylor]: Taking taylor expansion of z in y
5.864 * [backup-simplify]: Simplify z into z
5.864 * [taylor]: Taking taylor expansion of y in y
5.864 * [backup-simplify]: Simplify 0 into 0
5.864 * [backup-simplify]: Simplify 1 into 1
5.864 * [backup-simplify]: Simplify (* z 0) into 0
5.864 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
5.864 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.864 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in x
5.864 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
5.864 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.864 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.864 * [taylor]: Taking taylor expansion of y in x
5.865 * [backup-simplify]: Simplify y into y
5.865 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.865 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
5.865 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.865 * [taylor]: Taking taylor expansion of (* x y) in x
5.865 * [taylor]: Taking taylor expansion of x in x
5.865 * [backup-simplify]: Simplify 0 into 0
5.865 * [backup-simplify]: Simplify 1 into 1
5.865 * [taylor]: Taking taylor expansion of y in x
5.865 * [backup-simplify]: Simplify y into y
5.865 * [backup-simplify]: Simplify (* 0 y) into 0
5.865 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.865 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.865 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
5.865 * [taylor]: Taking taylor expansion of (* z y) in x
5.865 * [taylor]: Taking taylor expansion of z in x
5.865 * [backup-simplify]: Simplify z into z
5.865 * [taylor]: Taking taylor expansion of y in x
5.865 * [backup-simplify]: Simplify y into y
5.865 * [backup-simplify]: Simplify (* z y) into (* z y)
5.865 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
5.865 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in x
5.865 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
5.865 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.865 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.865 * [taylor]: Taking taylor expansion of y in x
5.865 * [backup-simplify]: Simplify y into y
5.865 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.866 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
5.866 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.866 * [taylor]: Taking taylor expansion of (* x y) in x
5.866 * [taylor]: Taking taylor expansion of x in x
5.866 * [backup-simplify]: Simplify 0 into 0
5.866 * [backup-simplify]: Simplify 1 into 1
5.866 * [taylor]: Taking taylor expansion of y in x
5.866 * [backup-simplify]: Simplify y into y
5.866 * [backup-simplify]: Simplify (* 0 y) into 0
5.866 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.866 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.866 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
5.866 * [taylor]: Taking taylor expansion of (* z y) in x
5.866 * [taylor]: Taking taylor expansion of z in x
5.866 * [backup-simplify]: Simplify z into z
5.866 * [taylor]: Taking taylor expansion of y in x
5.866 * [backup-simplify]: Simplify y into y
5.866 * [backup-simplify]: Simplify (* z y) into (* z y)
5.866 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
5.866 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
5.866 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
5.866 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.866 * [taylor]: Taking taylor expansion of y in y
5.866 * [backup-simplify]: Simplify 0 into 0
5.866 * [backup-simplify]: Simplify 1 into 1
5.867 * [backup-simplify]: Simplify (/ 1 1) into 1
5.867 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.867 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.867 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2))
5.868 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y)))
5.868 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) (- (/ 1 (* z y)))) into (- (/ 1 (pow y 2)) (/ 1 (* z y)))
5.868 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (* z y))) in y
5.868 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.868 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.868 * [taylor]: Taking taylor expansion of y in y
5.868 * [backup-simplify]: Simplify 0 into 0
5.868 * [backup-simplify]: Simplify 1 into 1
5.868 * [backup-simplify]: Simplify (* 1 1) into 1
5.868 * [backup-simplify]: Simplify (/ 1 1) into 1
5.868 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
5.868 * [taylor]: Taking taylor expansion of (* z y) in y
5.869 * [taylor]: Taking taylor expansion of z in y
5.869 * [backup-simplify]: Simplify z into z
5.869 * [taylor]: Taking taylor expansion of y in y
5.869 * [backup-simplify]: Simplify 0 into 0
5.869 * [backup-simplify]: Simplify 1 into 1
5.869 * [backup-simplify]: Simplify (* z 0) into 0
5.869 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
5.869 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.869 * [backup-simplify]: Simplify (+ 1 0) into 1
5.869 * [taylor]: Taking taylor expansion of 1 in z
5.869 * [backup-simplify]: Simplify 1 into 1
5.869 * [taylor]: Taking taylor expansion of 1 in z
5.869 * [backup-simplify]: Simplify 1 into 1
5.869 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
5.870 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
5.870 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.870 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.871 * [backup-simplify]: Simplify (+ 0 0) into 0
5.871 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
5.871 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
5.871 * [backup-simplify]: Simplify (- 0) into 0
5.871 * [backup-simplify]: Simplify (+ 0 0) into 0
5.871 * [taylor]: Taking taylor expansion of 0 in y
5.871 * [backup-simplify]: Simplify 0 into 0
5.872 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.872 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.872 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.872 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
5.872 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
5.872 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.872 * [taylor]: Taking taylor expansion of z in z
5.872 * [backup-simplify]: Simplify 0 into 0
5.872 * [backup-simplify]: Simplify 1 into 1
5.873 * [backup-simplify]: Simplify (/ 1 1) into 1
5.873 * [backup-simplify]: Simplify (- 1) into -1
5.873 * [backup-simplify]: Simplify -1 into -1
5.873 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.873 * [taylor]: Taking taylor expansion of 0 in z
5.873 * [backup-simplify]: Simplify 0 into 0
5.873 * [backup-simplify]: Simplify 1 into 1
5.873 * [backup-simplify]: Simplify 1 into 1
5.874 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (+ (* 1 (pow (* 1 (* (/ 1 (/ 1 y)) 1)) 2)) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1))))) into (- (+ (pow y 2) (* x y)) (* z y))
5.874 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- y)) (/ 1 (- y)))) (* (/ 1 (- y)) (/ 1 (- z)))) into (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y)))
5.874 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in (x y z) around 0
5.874 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in z
5.874 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in z
5.874 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
5.874 * [taylor]: Taking taylor expansion of (pow y 2) in z
5.874 * [taylor]: Taking taylor expansion of y in z
5.874 * [backup-simplify]: Simplify y into y
5.874 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.874 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
5.874 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
5.874 * [taylor]: Taking taylor expansion of (* x y) in z
5.874 * [taylor]: Taking taylor expansion of x in z
5.874 * [backup-simplify]: Simplify x into x
5.874 * [taylor]: Taking taylor expansion of y in z
5.874 * [backup-simplify]: Simplify y into y
5.874 * [backup-simplify]: Simplify (* x y) into (* x y)
5.874 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
5.875 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
5.875 * [taylor]: Taking taylor expansion of (* z y) in z
5.875 * [taylor]: Taking taylor expansion of z in z
5.875 * [backup-simplify]: Simplify 0 into 0
5.875 * [backup-simplify]: Simplify 1 into 1
5.875 * [taylor]: Taking taylor expansion of y in z
5.875 * [backup-simplify]: Simplify y into y
5.875 * [backup-simplify]: Simplify (* 0 y) into 0
5.875 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.875 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.875 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in y
5.875 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in y
5.875 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.875 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.875 * [taylor]: Taking taylor expansion of y in y
5.875 * [backup-simplify]: Simplify 0 into 0
5.875 * [backup-simplify]: Simplify 1 into 1
5.875 * [backup-simplify]: Simplify (* 1 1) into 1
5.876 * [backup-simplify]: Simplify (/ 1 1) into 1
5.876 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
5.876 * [taylor]: Taking taylor expansion of (* x y) in y
5.876 * [taylor]: Taking taylor expansion of x in y
5.876 * [backup-simplify]: Simplify x into x
5.876 * [taylor]: Taking taylor expansion of y in y
5.876 * [backup-simplify]: Simplify 0 into 0
5.876 * [backup-simplify]: Simplify 1 into 1
5.876 * [backup-simplify]: Simplify (* x 0) into 0
5.876 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.876 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.876 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
5.876 * [taylor]: Taking taylor expansion of (* z y) in y
5.876 * [taylor]: Taking taylor expansion of z in y
5.876 * [backup-simplify]: Simplify z into z
5.876 * [taylor]: Taking taylor expansion of y in y
5.876 * [backup-simplify]: Simplify 0 into 0
5.876 * [backup-simplify]: Simplify 1 into 1
5.876 * [backup-simplify]: Simplify (* z 0) into 0
5.876 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
5.877 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.877 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in x
5.877 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
5.877 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.877 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.877 * [taylor]: Taking taylor expansion of y in x
5.877 * [backup-simplify]: Simplify y into y
5.877 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.877 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
5.877 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.877 * [taylor]: Taking taylor expansion of (* x y) in x
5.877 * [taylor]: Taking taylor expansion of x in x
5.877 * [backup-simplify]: Simplify 0 into 0
5.877 * [backup-simplify]: Simplify 1 into 1
5.877 * [taylor]: Taking taylor expansion of y in x
5.877 * [backup-simplify]: Simplify y into y
5.877 * [backup-simplify]: Simplify (* 0 y) into 0
5.877 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.877 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.877 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
5.877 * [taylor]: Taking taylor expansion of (* z y) in x
5.877 * [taylor]: Taking taylor expansion of z in x
5.877 * [backup-simplify]: Simplify z into z
5.877 * [taylor]: Taking taylor expansion of y in x
5.877 * [backup-simplify]: Simplify y into y
5.877 * [backup-simplify]: Simplify (* z y) into (* z y)
5.878 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
5.878 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in x
5.878 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
5.878 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.878 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.878 * [taylor]: Taking taylor expansion of y in x
5.878 * [backup-simplify]: Simplify y into y
5.878 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.878 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
5.878 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.878 * [taylor]: Taking taylor expansion of (* x y) in x
5.878 * [taylor]: Taking taylor expansion of x in x
5.878 * [backup-simplify]: Simplify 0 into 0
5.878 * [backup-simplify]: Simplify 1 into 1
5.878 * [taylor]: Taking taylor expansion of y in x
5.878 * [backup-simplify]: Simplify y into y
5.878 * [backup-simplify]: Simplify (* 0 y) into 0
5.878 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.878 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.878 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
5.878 * [taylor]: Taking taylor expansion of (* z y) in x
5.878 * [taylor]: Taking taylor expansion of z in x
5.878 * [backup-simplify]: Simplify z into z
5.878 * [taylor]: Taking taylor expansion of y in x
5.878 * [backup-simplify]: Simplify y into y
5.878 * [backup-simplify]: Simplify (* z y) into (* z y)
5.879 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
5.879 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
5.879 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
5.879 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.879 * [taylor]: Taking taylor expansion of y in y
5.879 * [backup-simplify]: Simplify 0 into 0
5.879 * [backup-simplify]: Simplify 1 into 1
5.879 * [backup-simplify]: Simplify (/ 1 1) into 1
5.880 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.880 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.880 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2))
5.881 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y)))
5.881 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) (- (/ 1 (* z y)))) into (- (/ 1 (pow y 2)) (/ 1 (* z y)))
5.881 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (* z y))) in y
5.881 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.881 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.881 * [taylor]: Taking taylor expansion of y in y
5.881 * [backup-simplify]: Simplify 0 into 0
5.881 * [backup-simplify]: Simplify 1 into 1
5.881 * [backup-simplify]: Simplify (* 1 1) into 1
5.882 * [backup-simplify]: Simplify (/ 1 1) into 1
5.882 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
5.882 * [taylor]: Taking taylor expansion of (* z y) in y
5.882 * [taylor]: Taking taylor expansion of z in y
5.882 * [backup-simplify]: Simplify z into z
5.882 * [taylor]: Taking taylor expansion of y in y
5.882 * [backup-simplify]: Simplify 0 into 0
5.882 * [backup-simplify]: Simplify 1 into 1
5.882 * [backup-simplify]: Simplify (* z 0) into 0
5.882 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
5.882 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.883 * [backup-simplify]: Simplify (+ 1 0) into 1
5.883 * [taylor]: Taking taylor expansion of 1 in z
5.883 * [backup-simplify]: Simplify 1 into 1
5.883 * [taylor]: Taking taylor expansion of 1 in z
5.883 * [backup-simplify]: Simplify 1 into 1
5.883 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
5.883 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
5.885 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.885 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.887 * [backup-simplify]: Simplify (+ 0 0) into 0
5.887 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
5.888 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
5.888 * [backup-simplify]: Simplify (- 0) into 0
5.889 * [backup-simplify]: Simplify (+ 0 0) into 0
5.889 * [taylor]: Taking taylor expansion of 0 in y
5.889 * [backup-simplify]: Simplify 0 into 0
5.889 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.890 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.890 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
5.890 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
5.890 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.890 * [taylor]: Taking taylor expansion of z in z
5.890 * [backup-simplify]: Simplify 0 into 0
5.890 * [backup-simplify]: Simplify 1 into 1
5.891 * [backup-simplify]: Simplify (/ 1 1) into 1
5.891 * [backup-simplify]: Simplify (- 1) into -1
5.891 * [backup-simplify]: Simplify -1 into -1
5.891 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.891 * [taylor]: Taking taylor expansion of 0 in z
5.891 * [backup-simplify]: Simplify 0 into 0
5.891 * [backup-simplify]: Simplify 1 into 1
5.891 * [backup-simplify]: Simplify 1 into 1
5.892 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (+ (* 1 (pow (* 1 (* (/ 1 (/ 1 (- y))) 1)) 2)) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1))))) into (- (+ (pow y 2) (* x y)) (* z y))
5.892 * * * [progress]: simplifying candidates
5.893 * [simplify]: Simplifying:
  (/ (/ (* (exp (* x y)) (exp (* y y))) (exp (* y z))) (exp (* y y)))
  (/ (/ (exp (+ (* x y) (* y y))) (exp (* y z))) (exp (* y y)))
  (/ (exp (- (+ (* x y) (* y y)) (* y z))) (exp (* y y)))
  (log (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))
  (exp (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))
  (* (cbrt (- (- (+ (* x y) (* y y)) (* y z)) (* y y))) (cbrt (- (- (+ (* x y) (* y y)) (* y z)) (* y y))))
  (cbrt (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))
  (* (* (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (- (+ (* x y) (* y y)) (* y z)) (* y y))) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))
  (sqrt (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))
  (sqrt (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))
  (- (pow (- (+ (* x y) (* y y)) (* y z)) 3) (pow (* y y) 3))
  (+ (* (- (+ (* x y) (* y y)) (* y z)) (- (+ (* x y) (* y y)) (* y z))) (+ (* (* y y) (* y y)) (* (- (+ (* x y) (* y y)) (* y z)) (* y y))))
  (- (* y y))
  (- (* (- (+ (* x y) (* y y)) (* y z)) (- (+ (* x y) (* y y)) (* y z))) (* (* y y) (* y y)))
  (+ (- (+ (* x y) (* y y)) (* y z)) (* y y))
  (+ (sqrt (- (+ (* x y) (* y y)) (* y z))) y)
  (- (sqrt (- (+ (* x y) (* y y)) (* y z))) y)
  (- (- (+ x y) z) y)
  (- (- (* y z)) (* y y))
  (- (- (* y y) (* y z)) (* y y))
  (- (- (* y z)) (* y y))
  (+ (* y z) (* y y))
  (- (* y y))
  (* (exp (* x y)) (exp (* y y)))
  (log (+ (* x y) (* y y)))
  (exp (+ (* x y) (* y y)))
  (* (cbrt (+ (* x y) (* y y))) (cbrt (+ (* x y) (* y y))))
  (cbrt (+ (* x y) (* y y)))
  (* (* (+ (* x y) (* y y)) (+ (* x y) (* y y))) (+ (* x y) (* y y)))
  (sqrt (+ (* x y) (* y y)))
  (sqrt (+ (* x y) (* y y)))
  (+ (pow (* x y) 3) (pow (* y y) 3))
  (+ (* (* x y) (* x y)) (- (* (* y y) (* y y)) (* (* x y) (* y y))))
  (- (* (* x y) (* x y)) (* (* y y) (* y y)))
  (- (* x y) (* y y))
  (+ x y)
  (/ (* (exp (* x y)) (exp (* y y))) (exp (* y z)))
  (/ (exp (+ (* x y) (* y y))) (exp (* y z)))
  (log (- (+ (* x y) (* y y)) (* y z)))
  (exp (- (+ (* x y) (* y y)) (* y z)))
  (* (cbrt (- (+ (* x y) (* y y)) (* y z))) (cbrt (- (+ (* x y) (* y y)) (* y z))))
  (cbrt (- (+ (* x y) (* y y)) (* y z)))
  (* (* (- (+ (* x y) (* y y)) (* y z)) (- (+ (* x y) (* y y)) (* y z))) (- (+ (* x y) (* y y)) (* y z)))
  (sqrt (- (+ (* x y) (* y y)) (* y z)))
  (sqrt (- (+ (* x y) (* y y)) (* y z)))
  (- (pow (+ (* x y) (* y y)) 3) (pow (* y z) 3))
  (+ (* (+ (* x y) (* y y)) (+ (* x y) (* y y))) (+ (* (* y z) (* y z)) (* (+ (* x y) (* y y)) (* y z))))
  (- (* y z))
  (- (* (+ (* x y) (* y y)) (+ (* x y) (* y y))) (* (* y z) (* y z)))
  (+ (+ (* x y) (* y y)) (* y z))
  (- (+ x y) z)
  (- (* y y) (* y z))
  (- (* y z))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (+ (pow y 2) (* x y))
  (+ (pow y 2) (* x y))
  (+ (pow y 2) (* x y))
  (- (+ (pow y 2) (* x y)) (* z y))
  (- (+ (pow y 2) (* x y)) (* z y))
  (- (+ (pow y 2) (* x y)) (* z y))
5.894 * * [simplify]: iteration 0: 83 enodes
5.911 * * [simplify]: iteration 1: 247 enodes
5.999 * * [simplify]: iteration 2: 873 enodes
6.733 * * [simplify]: iteration 3: 4603 enodes
8.203 * * [simplify]: iteration complete: 5003 enodes
8.203 * * [simplify]: Extracting #0: cost 44 inf + 0
8.204 * * [simplify]: Extracting #1: cost 454 inf + 0
8.209 * * [simplify]: Extracting #2: cost 1239 inf + 9568
8.235 * * [simplify]: Extracting #3: cost 590 inf + 144686
8.299 * * [simplify]: Extracting #4: cost 54 inf + 280000
8.368 * * [simplify]: Extracting #5: cost 5 inf + 306588
8.479 * * [simplify]: Extracting #6: cost 0 inf + 310606
8.576 * [simplify]: Simplified to:
  (exp (* (- x z) y))
  (exp (* (- x z) y))
  (exp (* (- x z) y))
  (log (- (* y (- (+ y x) z)) (* y y)))
  (exp (* (- x z) y))
  (* (cbrt (- (* y (- (+ y x) z)) (* y y))) (cbrt (- (* y (- (+ y x) z)) (* y y))))
  (cbrt (- (* y (- (+ y x) z)) (* y y)))
  (* (- (* y (- (+ y x) z)) (* y y)) (* (- (* y (- (+ y x) z)) (* y y)) (- (* y (- (+ y x) z)) (* y y))))
  (sqrt (- (* y (- (+ y x) z)) (* y y)))
  (sqrt (- (* y (- (+ y x) z)) (* y y)))
  (- (* (* y (- (+ y x) z)) (* (* y (- (+ y x) z)) (* y (- (+ y x) z)))) (* (* y y) (* (* y y) (* y y))))
  (+ (* (* y y) (* y y)) (* (* y (- (+ y x) z)) (+ (* y y) (* y (- (+ y x) z)))))
  (- (* y y))
  (- (* (* y (- (+ y x) z)) (* y (- (+ y x) z))) (* (* y y) (* y y)))
  (* y (+ (+ y x) (- y z)))
  (+ (sqrt (* y (- (+ y x) z))) y)
  (- (sqrt (* y (- (+ y x) z))) y)
  (- (- (+ y x) z) y)
  (* (- y) (+ z y))
  (- (* y y) (+ (* y y) (* y z)))
  (* (- y) (+ z y))
  (* (+ z y) y)
  (- (* y y))
  (exp (* y (+ y x)))
  (log (* y (+ y x)))
  (exp (* y (+ y x)))
  (* (cbrt (* y (+ y x))) (cbrt (* y (+ y x))))
  (cbrt (* y (+ y x)))
  (* (* y (+ y x)) (* (* y (+ y x)) (* y (+ y x))))
  (sqrt (* y (+ y x)))
  (sqrt (* y (+ y x)))
  (* (* y (* y y)) (+ (* x (* x x)) (* y (* y y))))
  (* (* y y) (- (+ (* y y) (* x x)) (* x y)))
  (* (* y y) (- (* x x) (* y y)))
  (* (- x y) y)
  (+ y x)
  (exp (* y (- (+ y x) z)))
  (exp (* y (- (+ y x) z)))
  (log (* y (- (+ y x) z)))
  (exp (* y (- (+ y x) z)))
  (* (cbrt (* y (- (+ y x) z))) (cbrt (* y (- (+ y x) z))))
  (cbrt (* y (- (+ y x) z)))
  (* (* y (- (+ y x) z)) (* (* y (- (+ y x) z)) (* y (- (+ y x) z))))
  (sqrt (* y (- (+ y x) z)))
  (sqrt (* y (- (+ y x) z)))
  (- (* (* y (+ y x)) (* (* y (+ y x)) (* y (+ y x)))) (* (* (* y z) (* y z)) (* y z)))
  (+ (* (+ (* y (+ y x)) (* y z)) (* y (+ y x))) (* (* y z) (* y z)))
  (* (- y) z)
  (- (* (* y (+ y x)) (* y (+ y x))) (* (* y z) (* y z)))
  (* (+ x (+ z y)) y)
  (- (+ y x) z)
  (* (- y z) y)
  (* (- y) z)
  (* (- x z) y)
  (* (- x z) y)
  (* (- x z) y)
  (+ (* y y) (* x y))
  (+ (* y y) (* x y))
  (+ (* y y) (* x y))
  (* y (- (+ y x) z))
  (* y (- (+ y x) z))
  (* y (- (+ y x) z))
8.579 * * * [progress]: adding candidates to table
8.861 * * [progress]: iteration 3 / 4
8.861 * * * [progress]: picking best candidate
8.867 * * * * [pick]: Picked  #<alt (λ (x y z) (* (* (- x z) (sqrt y)) (sqrt y)))>
8.867 * * * [progress]: localizing error
8.884 * * * [progress]: generating rewritten candidates
8.884 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
8.949 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
8.984 * * * [progress]: generating series expansions
8.984 * * * * [progress]: [ 1 / 2 ] generating series at (2)
8.984 * [backup-simplify]: Simplify (* (* (- x z) (sqrt y)) (sqrt y)) into (* (- x z) y)
8.984 * [approximate]: Taking taylor expansion of (* (- x z) y) in (x z y) around 0
8.984 * [taylor]: Taking taylor expansion of (* (- x z) y) in y
8.984 * [taylor]: Taking taylor expansion of (- x z) in y
8.984 * [taylor]: Taking taylor expansion of x in y
8.984 * [backup-simplify]: Simplify x into x
8.984 * [taylor]: Taking taylor expansion of z in y
8.984 * [backup-simplify]: Simplify z into z
8.984 * [taylor]: Taking taylor expansion of y in y
8.985 * [backup-simplify]: Simplify 0 into 0
8.985 * [backup-simplify]: Simplify 1 into 1
8.985 * [taylor]: Taking taylor expansion of (* (- x z) y) in z
8.985 * [taylor]: Taking taylor expansion of (- x z) in z
8.985 * [taylor]: Taking taylor expansion of x in z
8.985 * [backup-simplify]: Simplify x into x
8.985 * [taylor]: Taking taylor expansion of z in z
8.985 * [backup-simplify]: Simplify 0 into 0
8.985 * [backup-simplify]: Simplify 1 into 1
8.985 * [taylor]: Taking taylor expansion of y in z
8.985 * [backup-simplify]: Simplify y into y
8.985 * [taylor]: Taking taylor expansion of (* (- x z) y) in x
8.985 * [taylor]: Taking taylor expansion of (- x z) in x
8.985 * [taylor]: Taking taylor expansion of x in x
8.985 * [backup-simplify]: Simplify 0 into 0
8.985 * [backup-simplify]: Simplify 1 into 1
8.985 * [taylor]: Taking taylor expansion of z in x
8.985 * [backup-simplify]: Simplify z into z
8.985 * [taylor]: Taking taylor expansion of y in x
8.985 * [backup-simplify]: Simplify y into y
8.985 * [taylor]: Taking taylor expansion of (* (- x z) y) in x
8.985 * [taylor]: Taking taylor expansion of (- x z) in x
8.985 * [taylor]: Taking taylor expansion of x in x
8.985 * [backup-simplify]: Simplify 0 into 0
8.985 * [backup-simplify]: Simplify 1 into 1
8.985 * [taylor]: Taking taylor expansion of z in x
8.985 * [backup-simplify]: Simplify z into z
8.985 * [taylor]: Taking taylor expansion of y in x
8.985 * [backup-simplify]: Simplify y into y
8.985 * [backup-simplify]: Simplify (- z) into (- z)
8.985 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
8.985 * [backup-simplify]: Simplify (* (- z) y) into (* -1 (* z y))
8.985 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z
8.985 * [taylor]: Taking taylor expansion of -1 in z
8.985 * [backup-simplify]: Simplify -1 into -1
8.986 * [taylor]: Taking taylor expansion of (* z y) in z
8.986 * [taylor]: Taking taylor expansion of z in z
8.986 * [backup-simplify]: Simplify 0 into 0
8.986 * [backup-simplify]: Simplify 1 into 1
8.986 * [taylor]: Taking taylor expansion of y in z
8.986 * [backup-simplify]: Simplify y into y
8.986 * [backup-simplify]: Simplify (* 0 y) into 0
8.986 * [backup-simplify]: Simplify (* -1 0) into 0
8.986 * [taylor]: Taking taylor expansion of 0 in y
8.986 * [backup-simplify]: Simplify 0 into 0
8.986 * [backup-simplify]: Simplify 0 into 0
8.987 * [backup-simplify]: Simplify (- 0) into 0
8.987 * [backup-simplify]: Simplify (+ 1 0) into 1
8.987 * [backup-simplify]: Simplify (+ (* (- z) 0) (* 1 y)) into y
8.987 * [taylor]: Taking taylor expansion of y in z
8.987 * [backup-simplify]: Simplify y into y
8.987 * [taylor]: Taking taylor expansion of y in y
8.987 * [backup-simplify]: Simplify 0 into 0
8.987 * [backup-simplify]: Simplify 1 into 1
8.987 * [backup-simplify]: Simplify 0 into 0
8.988 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
8.988 * [backup-simplify]: Simplify (+ (* -1 y) (* 0 0)) into (- y)
8.988 * [taylor]: Taking taylor expansion of (- y) in y
8.988 * [taylor]: Taking taylor expansion of y in y
8.988 * [backup-simplify]: Simplify 0 into 0
8.988 * [backup-simplify]: Simplify 1 into 1
8.989 * [backup-simplify]: Simplify (- 0) into 0
8.989 * [backup-simplify]: Simplify 0 into 0
8.989 * [backup-simplify]: Simplify 0 into 0
8.989 * [backup-simplify]: Simplify (- 0) into 0
8.989 * [backup-simplify]: Simplify (+ 0 0) into 0
8.990 * [backup-simplify]: Simplify (+ (* (- z) 0) (+ (* 1 0) (* 0 y))) into 0
8.990 * [taylor]: Taking taylor expansion of 0 in z
8.990 * [backup-simplify]: Simplify 0 into 0
8.990 * [taylor]: Taking taylor expansion of 0 in y
8.990 * [backup-simplify]: Simplify 0 into 0
8.990 * [backup-simplify]: Simplify 0 into 0
8.990 * [taylor]: Taking taylor expansion of 0 in y
8.990 * [backup-simplify]: Simplify 0 into 0
8.990 * [backup-simplify]: Simplify 0 into 0
8.990 * [backup-simplify]: Simplify 0 into 0
8.990 * [backup-simplify]: Simplify (* (* (- (/ 1 x) (/ 1 z)) (sqrt (/ 1 y))) (sqrt (/ 1 y))) into (/ (- (/ 1 x) (/ 1 z)) y)
8.991 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (x z y) around 0
8.991 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
8.991 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
8.991 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.991 * [taylor]: Taking taylor expansion of x in y
8.991 * [backup-simplify]: Simplify x into x
8.991 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
8.991 * [taylor]: Taking taylor expansion of (/ 1 z) in y
8.991 * [taylor]: Taking taylor expansion of z in y
8.991 * [backup-simplify]: Simplify z into z
8.991 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.991 * [taylor]: Taking taylor expansion of y in y
8.991 * [backup-simplify]: Simplify 0 into 0
8.991 * [backup-simplify]: Simplify 1 into 1
8.991 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
8.991 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
8.991 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z))
8.991 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z
8.991 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
8.991 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.991 * [taylor]: Taking taylor expansion of x in z
8.991 * [backup-simplify]: Simplify x into x
8.991 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
8.991 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.991 * [taylor]: Taking taylor expansion of z in z
8.991 * [backup-simplify]: Simplify 0 into 0
8.992 * [backup-simplify]: Simplify 1 into 1
8.992 * [backup-simplify]: Simplify (/ 1 1) into 1
8.992 * [taylor]: Taking taylor expansion of y in z
8.992 * [backup-simplify]: Simplify y into y
8.992 * [backup-simplify]: Simplify (- 1) into -1
8.993 * [backup-simplify]: Simplify (+ 0 -1) into -1
8.993 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
8.993 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
8.993 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
8.993 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.993 * [taylor]: Taking taylor expansion of x in x
8.993 * [backup-simplify]: Simplify 0 into 0
8.993 * [backup-simplify]: Simplify 1 into 1
8.993 * [backup-simplify]: Simplify (/ 1 1) into 1
8.993 * [taylor]: Taking taylor expansion of (/ 1 z) in x
8.993 * [taylor]: Taking taylor expansion of z in x
8.993 * [backup-simplify]: Simplify z into z
8.993 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.993 * [taylor]: Taking taylor expansion of y in x
8.993 * [backup-simplify]: Simplify y into y
8.994 * [backup-simplify]: Simplify (+ 1 0) into 1
8.994 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.994 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
8.994 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
8.994 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.994 * [taylor]: Taking taylor expansion of x in x
8.994 * [backup-simplify]: Simplify 0 into 0
8.994 * [backup-simplify]: Simplify 1 into 1
8.994 * [backup-simplify]: Simplify (/ 1 1) into 1
8.994 * [taylor]: Taking taylor expansion of (/ 1 z) in x
8.994 * [taylor]: Taking taylor expansion of z in x
8.994 * [backup-simplify]: Simplify z into z
8.994 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.995 * [taylor]: Taking taylor expansion of y in x
8.995 * [backup-simplify]: Simplify y into y
8.995 * [backup-simplify]: Simplify (+ 1 0) into 1
8.995 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.995 * [taylor]: Taking taylor expansion of (/ 1 y) in z
8.995 * [taylor]: Taking taylor expansion of y in z
8.995 * [backup-simplify]: Simplify y into y
8.995 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.996 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.996 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
8.996 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
8.996 * [backup-simplify]: Simplify (- (/ (- (/ 1 z)) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (/ 1 (* z y)))
8.996 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z
8.996 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
8.996 * [taylor]: Taking taylor expansion of (* z y) in z
8.996 * [taylor]: Taking taylor expansion of z in z
8.996 * [backup-simplify]: Simplify 0 into 0
8.996 * [backup-simplify]: Simplify 1 into 1
8.996 * [taylor]: Taking taylor expansion of y in z
8.996 * [backup-simplify]: Simplify y into y
8.996 * [backup-simplify]: Simplify (* 0 y) into 0
8.997 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
8.997 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.997 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
8.997 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
8.997 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.997 * [taylor]: Taking taylor expansion of y in y
8.997 * [backup-simplify]: Simplify 0 into 0
8.997 * [backup-simplify]: Simplify 1 into 1
8.997 * [backup-simplify]: Simplify (/ 1 1) into 1
8.998 * [backup-simplify]: Simplify (- 1) into -1
8.998 * [backup-simplify]: Simplify -1 into -1
8.998 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.998 * [taylor]: Taking taylor expansion of y in y
8.998 * [backup-simplify]: Simplify 0 into 0
8.998 * [backup-simplify]: Simplify 1 into 1
8.998 * [backup-simplify]: Simplify (/ 1 1) into 1
8.998 * [backup-simplify]: Simplify 1 into 1
8.999 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.999 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
9.000 * [backup-simplify]: Simplify (- 0) into 0
9.000 * [backup-simplify]: Simplify (+ 0 0) into 0
9.000 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)))) into 0
9.000 * [taylor]: Taking taylor expansion of 0 in z
9.000 * [backup-simplify]: Simplify 0 into 0
9.001 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
9.001 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
9.001 * [backup-simplify]: Simplify (- 0) into 0
9.001 * [taylor]: Taking taylor expansion of 0 in y
9.002 * [backup-simplify]: Simplify 0 into 0
9.002 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
9.002 * [taylor]: Taking taylor expansion of 0 in y
9.002 * [backup-simplify]: Simplify 0 into 0
9.002 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.003 * [backup-simplify]: Simplify (- 0) into 0
9.003 * [backup-simplify]: Simplify 0 into 0
9.003 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.003 * [backup-simplify]: Simplify 0 into 0
9.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.005 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
9.005 * [backup-simplify]: Simplify (- 0) into 0
9.005 * [backup-simplify]: Simplify (+ 0 0) into 0
9.006 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.006 * [taylor]: Taking taylor expansion of 0 in z
9.006 * [backup-simplify]: Simplify 0 into 0
9.006 * [taylor]: Taking taylor expansion of 0 in y
9.006 * [backup-simplify]: Simplify 0 into 0
9.007 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
9.007 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.007 * [backup-simplify]: Simplify (- 0) into 0
9.007 * [taylor]: Taking taylor expansion of 0 in y
9.007 * [backup-simplify]: Simplify 0 into 0
9.007 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.007 * [taylor]: Taking taylor expansion of 0 in y
9.008 * [backup-simplify]: Simplify 0 into 0
9.008 * [backup-simplify]: Simplify 0 into 0
9.008 * [backup-simplify]: Simplify 0 into 0
9.008 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.009 * [backup-simplify]: Simplify (- 0) into 0
9.009 * [backup-simplify]: Simplify 0 into 0
9.009 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.009 * [backup-simplify]: Simplify 0 into 0
9.010 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 y)) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 z)) 1)))) into (- (* x y) (* z y))
9.010 * [backup-simplify]: Simplify (* (* (- (/ 1 (- x)) (/ 1 (- z))) (sqrt (/ 1 (- y)))) (sqrt (/ 1 (- y)))) into (* (pow (sqrt (/ -1 y)) 2) (- (/ 1 z) (/ 1 x)))
9.010 * [approximate]: Taking taylor expansion of (* (pow (sqrt (/ -1 y)) 2) (- (/ 1 z) (/ 1 x))) in (x z y) around 0
9.010 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 y)) 2) (- (/ 1 z) (/ 1 x))) in y
9.010 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 2) in y
9.010 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
9.010 * [taylor]: Taking taylor expansion of (/ -1 y) in y
9.010 * [taylor]: Taking taylor expansion of -1 in y
9.010 * [backup-simplify]: Simplify -1 into -1
9.010 * [taylor]: Taking taylor expansion of y in y
9.010 * [backup-simplify]: Simplify 0 into 0
9.010 * [backup-simplify]: Simplify 1 into 1
9.011 * [backup-simplify]: Simplify (/ -1 1) into -1
9.011 * [backup-simplify]: Simplify (sqrt 0) into 0
9.012 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
9.012 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
9.012 * [taylor]: Taking taylor expansion of (/ 1 z) in y
9.012 * [taylor]: Taking taylor expansion of z in y
9.013 * [backup-simplify]: Simplify z into z
9.013 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.013 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.013 * [taylor]: Taking taylor expansion of x in y
9.013 * [backup-simplify]: Simplify x into x
9.013 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.013 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 y)) 2) (- (/ 1 z) (/ 1 x))) in z
9.013 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 2) in z
9.013 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z
9.013 * [taylor]: Taking taylor expansion of (/ -1 y) in z
9.013 * [taylor]: Taking taylor expansion of -1 in z
9.013 * [backup-simplify]: Simplify -1 into -1
9.013 * [taylor]: Taking taylor expansion of y in z
9.013 * [backup-simplify]: Simplify y into y
9.013 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
9.013 * [backup-simplify]: Simplify (sqrt (/ -1 y)) into (sqrt (/ -1 y))
9.013 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
9.013 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 y)))) into 0
9.013 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
9.013 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.013 * [taylor]: Taking taylor expansion of z in z
9.013 * [backup-simplify]: Simplify 0 into 0
9.013 * [backup-simplify]: Simplify 1 into 1
9.014 * [backup-simplify]: Simplify (/ 1 1) into 1
9.014 * [taylor]: Taking taylor expansion of (/ 1 x) in z
9.014 * [taylor]: Taking taylor expansion of x in z
9.014 * [backup-simplify]: Simplify x into x
9.014 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.014 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 y)) 2) (- (/ 1 z) (/ 1 x))) in x
9.014 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 2) in x
9.014 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x
9.014 * [taylor]: Taking taylor expansion of (/ -1 y) in x
9.014 * [taylor]: Taking taylor expansion of -1 in x
9.014 * [backup-simplify]: Simplify -1 into -1
9.014 * [taylor]: Taking taylor expansion of y in x
9.014 * [backup-simplify]: Simplify y into y
9.014 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
9.014 * [backup-simplify]: Simplify (sqrt (/ -1 y)) into (sqrt (/ -1 y))
9.014 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
9.014 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 y)))) into 0
9.014 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
9.014 * [taylor]: Taking taylor expansion of (/ 1 z) in x
9.015 * [taylor]: Taking taylor expansion of z in x
9.015 * [backup-simplify]: Simplify z into z
9.015 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.015 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.015 * [taylor]: Taking taylor expansion of x in x
9.015 * [backup-simplify]: Simplify 0 into 0
9.015 * [backup-simplify]: Simplify 1 into 1
9.015 * [backup-simplify]: Simplify (/ 1 1) into 1
9.015 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 y)) 2) (- (/ 1 z) (/ 1 x))) in x
9.015 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 2) in x
9.015 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x
9.015 * [taylor]: Taking taylor expansion of (/ -1 y) in x
9.015 * [taylor]: Taking taylor expansion of -1 in x
9.015 * [backup-simplify]: Simplify -1 into -1
9.015 * [taylor]: Taking taylor expansion of y in x
9.015 * [backup-simplify]: Simplify y into y
9.015 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
9.015 * [backup-simplify]: Simplify (sqrt (/ -1 y)) into (sqrt (/ -1 y))
9.015 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
9.016 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 y)))) into 0
9.016 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
9.016 * [taylor]: Taking taylor expansion of (/ 1 z) in x
9.016 * [taylor]: Taking taylor expansion of z in x
9.016 * [backup-simplify]: Simplify z into z
9.016 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.016 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.016 * [taylor]: Taking taylor expansion of x in x
9.016 * [backup-simplify]: Simplify 0 into 0
9.016 * [backup-simplify]: Simplify 1 into 1
9.016 * [backup-simplify]: Simplify (/ 1 1) into 1
9.016 * [backup-simplify]: Simplify (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) into (pow (sqrt (/ -1 y)) 2)
9.017 * [backup-simplify]: Simplify (- 1) into -1
9.017 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.017 * [backup-simplify]: Simplify (* (pow (sqrt (/ -1 y)) 2) -1) into (* -1 (pow (sqrt (/ -1 y)) 2))
9.017 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt (/ -1 y)) 2)) in z
9.017 * [taylor]: Taking taylor expansion of -1 in z
9.017 * [backup-simplify]: Simplify -1 into -1
9.017 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 2) in z
9.017 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z
9.017 * [taylor]: Taking taylor expansion of (/ -1 y) in z
9.017 * [taylor]: Taking taylor expansion of -1 in z
9.017 * [backup-simplify]: Simplify -1 into -1
9.018 * [taylor]: Taking taylor expansion of y in z
9.018 * [backup-simplify]: Simplify y into y
9.018 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
9.018 * [backup-simplify]: Simplify (sqrt (/ -1 y)) into (sqrt (/ -1 y))
9.018 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
9.018 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 y)))) into 0
9.019 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.019 * [backup-simplify]: Simplify (- 0) into 0
9.019 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
9.019 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 y)) 0) (* 0 (sqrt (/ -1 y)))) into 0
9.020 * [backup-simplify]: Simplify (+ (* (pow (sqrt (/ -1 y)) 2) (/ 1 z)) (* 0 -1)) into (/ (pow (sqrt (/ -1 y)) 2) z)
9.020 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 y)) 2) z) in z
9.020 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 2) in z
9.020 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z
9.020 * [taylor]: Taking taylor expansion of (/ -1 y) in z
9.020 * [taylor]: Taking taylor expansion of -1 in z
9.020 * [backup-simplify]: Simplify -1 into -1
9.020 * [taylor]: Taking taylor expansion of y in z
9.020 * [backup-simplify]: Simplify y into y
9.020 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
9.020 * [backup-simplify]: Simplify (sqrt (/ -1 y)) into (sqrt (/ -1 y))
9.020 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
9.020 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 y)))) into 0
9.020 * [taylor]: Taking taylor expansion of z in z
9.020 * [backup-simplify]: Simplify 0 into 0
9.020 * [backup-simplify]: Simplify 1 into 1
9.020 * [backup-simplify]: Simplify (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) into (pow (sqrt (/ -1 y)) 2)
9.021 * [backup-simplify]: Simplify (/ (pow (sqrt (/ -1 y)) 2) 1) into (pow (sqrt (/ -1 y)) 2)
9.021 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 2) in y
9.021 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
9.021 * [taylor]: Taking taylor expansion of (/ -1 y) in y
9.021 * [taylor]: Taking taylor expansion of -1 in y
9.021 * [backup-simplify]: Simplify -1 into -1
9.021 * [taylor]: Taking taylor expansion of y in y
9.021 * [backup-simplify]: Simplify 0 into 0
9.021 * [backup-simplify]: Simplify 1 into 1
9.021 * [backup-simplify]: Simplify (/ -1 1) into -1
9.022 * [backup-simplify]: Simplify (sqrt 0) into 0
9.023 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
9.023 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0
9.023 * [backup-simplify]: Simplify +nan.0 into +nan.0
9.023 * [backup-simplify]: Simplify (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) into (pow (sqrt (/ -1 y)) 2)
9.023 * [backup-simplify]: Simplify (* -1 (pow (sqrt (/ -1 y)) 2)) into (* -1 (pow (sqrt (/ -1 y)) 2))
9.023 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt (/ -1 y)) 2)) in y
9.023 * [taylor]: Taking taylor expansion of -1 in y
9.023 * [backup-simplify]: Simplify -1 into -1
9.023 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 2) in y
9.023 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
9.023 * [taylor]: Taking taylor expansion of (/ -1 y) in y
9.023 * [taylor]: Taking taylor expansion of -1 in y
9.023 * [backup-simplify]: Simplify -1 into -1
9.024 * [taylor]: Taking taylor expansion of y in y
9.024 * [backup-simplify]: Simplify 0 into 0
9.024 * [backup-simplify]: Simplify 1 into 1
9.024 * [backup-simplify]: Simplify (/ -1 1) into -1
9.024 * [backup-simplify]: Simplify (sqrt 0) into 0
9.027 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
9.027 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0
9.027 * [backup-simplify]: Simplify (* -1 +nan.0) into +nan.0
9.027 * [backup-simplify]: Simplify +nan.0 into +nan.0
9.027 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
9.028 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.028 * [backup-simplify]: Simplify (- 0) into 0
9.028 * [backup-simplify]: Simplify (+ 0 0) into 0
9.029 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.029 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 y)))) into 0
9.029 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 y)) 0) (+ (* 0 0) (* 0 (sqrt (/ -1 y))))) into 0
9.030 * [backup-simplify]: Simplify (+ (* (pow (sqrt (/ -1 y)) 2) 0) (+ (* 0 (/ 1 z)) (* 0 -1))) into 0
9.030 * [taylor]: Taking taylor expansion of 0 in z
9.030 * [backup-simplify]: Simplify 0 into 0
9.030 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 y)) 0) (* 0 (sqrt (/ -1 y)))) into 0
9.030 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt (/ -1 y)) 2) (/ 0 1)))) into 0
9.031 * [taylor]: Taking taylor expansion of 0 in y
9.031 * [backup-simplify]: Simplify 0 into 0
9.031 * [backup-simplify]: Simplify 0 into 0
9.031 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 y)) 0) (* 0 (sqrt (/ -1 y)))) into 0
9.031 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (pow (sqrt (/ -1 y)) 2))) into 0
9.031 * [taylor]: Taking taylor expansion of 0 in y
9.031 * [backup-simplify]: Simplify 0 into 0
9.031 * [backup-simplify]: Simplify 0 into 0
9.032 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
9.033 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
9.034 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0)) into (- +nan.0)
9.034 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
9.035 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (- y)) (* (/ 1 (/ 1 (- z))) 1))) (+ (* +nan.0 (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (* +nan.0 (* 1 (* (/ 1 (/ 1 (- z))) 1))))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 z) (- (* +nan.0 (/ z y)))))))
9.035 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
9.035 * [backup-simplify]: Simplify (* (- x z) (sqrt y)) into (* (- x z) (sqrt y))
9.035 * [approximate]: Taking taylor expansion of (* (- x z) (sqrt y)) in (x z y) around 0
9.035 * [taylor]: Taking taylor expansion of (* (- x z) (sqrt y)) in y
9.035 * [taylor]: Taking taylor expansion of (- x z) in y
9.035 * [taylor]: Taking taylor expansion of x in y
9.035 * [backup-simplify]: Simplify x into x
9.035 * [taylor]: Taking taylor expansion of z in y
9.035 * [backup-simplify]: Simplify z into z
9.035 * [taylor]: Taking taylor expansion of (sqrt y) in y
9.035 * [taylor]: Taking taylor expansion of y in y
9.035 * [backup-simplify]: Simplify 0 into 0
9.035 * [backup-simplify]: Simplify 1 into 1
9.035 * [backup-simplify]: Simplify (sqrt 0) into 0
9.036 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
9.036 * [taylor]: Taking taylor expansion of (* (- x z) (sqrt y)) in z
9.036 * [taylor]: Taking taylor expansion of (- x z) in z
9.036 * [taylor]: Taking taylor expansion of x in z
9.036 * [backup-simplify]: Simplify x into x
9.036 * [taylor]: Taking taylor expansion of z in z
9.036 * [backup-simplify]: Simplify 0 into 0
9.036 * [backup-simplify]: Simplify 1 into 1
9.036 * [taylor]: Taking taylor expansion of (sqrt y) in z
9.036 * [taylor]: Taking taylor expansion of y in z
9.036 * [backup-simplify]: Simplify y into y
9.036 * [backup-simplify]: Simplify (sqrt y) into (sqrt y)
9.036 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt y))) into 0
9.036 * [taylor]: Taking taylor expansion of (* (- x z) (sqrt y)) in x
9.036 * [taylor]: Taking taylor expansion of (- x z) in x
9.036 * [taylor]: Taking taylor expansion of x in x
9.036 * [backup-simplify]: Simplify 0 into 0
9.036 * [backup-simplify]: Simplify 1 into 1
9.037 * [taylor]: Taking taylor expansion of z in x
9.037 * [backup-simplify]: Simplify z into z
9.037 * [taylor]: Taking taylor expansion of (sqrt y) in x
9.037 * [taylor]: Taking taylor expansion of y in x
9.037 * [backup-simplify]: Simplify y into y
9.037 * [backup-simplify]: Simplify (sqrt y) into (sqrt y)
9.037 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt y))) into 0
9.037 * [taylor]: Taking taylor expansion of (* (- x z) (sqrt y)) in x
9.037 * [taylor]: Taking taylor expansion of (- x z) in x
9.037 * [taylor]: Taking taylor expansion of x in x
9.037 * [backup-simplify]: Simplify 0 into 0
9.037 * [backup-simplify]: Simplify 1 into 1
9.037 * [taylor]: Taking taylor expansion of z in x
9.037 * [backup-simplify]: Simplify z into z
9.037 * [taylor]: Taking taylor expansion of (sqrt y) in x
9.037 * [taylor]: Taking taylor expansion of y in x
9.037 * [backup-simplify]: Simplify y into y
9.037 * [backup-simplify]: Simplify (sqrt y) into (sqrt y)
9.037 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt y))) into 0
9.037 * [backup-simplify]: Simplify (- z) into (- z)
9.037 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
9.037 * [backup-simplify]: Simplify (* (- z) (sqrt y)) into (* -1 (* z (sqrt y)))
9.037 * [taylor]: Taking taylor expansion of (* -1 (* z (sqrt y))) in z
9.037 * [taylor]: Taking taylor expansion of -1 in z
9.037 * [backup-simplify]: Simplify -1 into -1
9.037 * [taylor]: Taking taylor expansion of (* z (sqrt y)) in z
9.037 * [taylor]: Taking taylor expansion of z in z
9.037 * [backup-simplify]: Simplify 0 into 0
9.037 * [backup-simplify]: Simplify 1 into 1
9.037 * [taylor]: Taking taylor expansion of (sqrt y) in z
9.037 * [taylor]: Taking taylor expansion of y in z
9.037 * [backup-simplify]: Simplify y into y
9.037 * [backup-simplify]: Simplify (sqrt y) into (sqrt y)
9.037 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt y))) into 0
9.037 * [backup-simplify]: Simplify (* 0 (sqrt y)) into 0
9.038 * [backup-simplify]: Simplify (* -1 0) into 0
9.038 * [taylor]: Taking taylor expansion of 0 in y
9.038 * [backup-simplify]: Simplify 0 into 0
9.038 * [backup-simplify]: Simplify 0 into 0
9.038 * [backup-simplify]: Simplify (- 0) into 0
9.038 * [backup-simplify]: Simplify (+ 1 0) into 1
9.038 * [backup-simplify]: Simplify (+ (* (- z) 0) (* 1 (sqrt y))) into (sqrt y)
9.038 * [taylor]: Taking taylor expansion of (sqrt y) in z
9.038 * [taylor]: Taking taylor expansion of y in z
9.038 * [backup-simplify]: Simplify y into y
9.038 * [backup-simplify]: Simplify (sqrt y) into (sqrt y)
9.038 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt y))) into 0
9.038 * [taylor]: Taking taylor expansion of (sqrt y) in y
9.038 * [taylor]: Taking taylor expansion of y in y
9.038 * [backup-simplify]: Simplify 0 into 0
9.038 * [backup-simplify]: Simplify 1 into 1
9.039 * [backup-simplify]: Simplify (sqrt 0) into 0
9.039 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
9.039 * [backup-simplify]: Simplify 0 into 0
9.040 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt y))) into (sqrt y)
9.040 * [backup-simplify]: Simplify (+ (* -1 (sqrt y)) (* 0 0)) into (- (sqrt y))
9.040 * [taylor]: Taking taylor expansion of (- (sqrt y)) in y
9.040 * [taylor]: Taking taylor expansion of (sqrt y) in y
9.040 * [taylor]: Taking taylor expansion of y in y
9.040 * [backup-simplify]: Simplify 0 into 0
9.040 * [backup-simplify]: Simplify 1 into 1
9.040 * [backup-simplify]: Simplify (sqrt 0) into 0
9.041 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
9.041 * [backup-simplify]: Simplify (- 0) into 0
9.041 * [backup-simplify]: Simplify 0 into 0
9.041 * [backup-simplify]: Simplify 0 into 0
9.042 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt y))) into 0
9.042 * [backup-simplify]: Simplify (- 0) into 0
9.042 * [backup-simplify]: Simplify (+ 0 0) into 0
9.043 * [backup-simplify]: Simplify (+ (* (- z) 0) (+ (* 1 0) (* 0 (sqrt y)))) into 0
9.043 * [taylor]: Taking taylor expansion of 0 in z
9.043 * [backup-simplify]: Simplify 0 into 0
9.043 * [taylor]: Taking taylor expansion of 0 in y
9.043 * [backup-simplify]: Simplify 0 into 0
9.043 * [backup-simplify]: Simplify 0 into 0
9.043 * [taylor]: Taking taylor expansion of 0 in y
9.043 * [backup-simplify]: Simplify 0 into 0
9.043 * [backup-simplify]: Simplify 0 into 0
9.043 * [backup-simplify]: Simplify 0 into 0
9.043 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 1 z)) (sqrt (/ 1 y))) into (* (- (/ 1 x) (/ 1 z)) (sqrt (/ 1 y)))
9.043 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (sqrt (/ 1 y))) in (x z y) around 0
9.043 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (sqrt (/ 1 y))) in y
9.043 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
9.043 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.043 * [taylor]: Taking taylor expansion of x in y
9.043 * [backup-simplify]: Simplify x into x
9.043 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.043 * [taylor]: Taking taylor expansion of (/ 1 z) in y
9.043 * [taylor]: Taking taylor expansion of z in y
9.043 * [backup-simplify]: Simplify z into z
9.043 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.043 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
9.043 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.043 * [taylor]: Taking taylor expansion of y in y
9.043 * [backup-simplify]: Simplify 0 into 0
9.043 * [backup-simplify]: Simplify 1 into 1
9.043 * [backup-simplify]: Simplify (/ 1 1) into 1
9.044 * [backup-simplify]: Simplify (sqrt 0) into 0
9.045 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
9.045 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (sqrt (/ 1 y))) in z
9.045 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
9.045 * [taylor]: Taking taylor expansion of (/ 1 x) in z
9.045 * [taylor]: Taking taylor expansion of x in z
9.045 * [backup-simplify]: Simplify x into x
9.045 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.045 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.045 * [taylor]: Taking taylor expansion of z in z
9.045 * [backup-simplify]: Simplify 0 into 0
9.045 * [backup-simplify]: Simplify 1 into 1
9.045 * [backup-simplify]: Simplify (/ 1 1) into 1
9.045 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z
9.045 * [taylor]: Taking taylor expansion of (/ 1 y) in z
9.045 * [taylor]: Taking taylor expansion of y in z
9.045 * [backup-simplify]: Simplify y into y
9.045 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.045 * [backup-simplify]: Simplify (sqrt (/ 1 y)) into (sqrt (/ 1 y))
9.046 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
9.046 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 y)))) into 0
9.046 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (sqrt (/ 1 y))) in x
9.046 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
9.046 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.046 * [taylor]: Taking taylor expansion of x in x
9.046 * [backup-simplify]: Simplify 0 into 0
9.046 * [backup-simplify]: Simplify 1 into 1
9.046 * [backup-simplify]: Simplify (/ 1 1) into 1
9.046 * [taylor]: Taking taylor expansion of (/ 1 z) in x
9.046 * [taylor]: Taking taylor expansion of z in x
9.046 * [backup-simplify]: Simplify z into z
9.046 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.046 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x
9.046 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.046 * [taylor]: Taking taylor expansion of y in x
9.046 * [backup-simplify]: Simplify y into y
9.046 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.046 * [backup-simplify]: Simplify (sqrt (/ 1 y)) into (sqrt (/ 1 y))
9.046 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
9.046 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 y)))) into 0
9.046 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (sqrt (/ 1 y))) in x
9.046 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
9.046 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.046 * [taylor]: Taking taylor expansion of x in x
9.046 * [backup-simplify]: Simplify 0 into 0
9.046 * [backup-simplify]: Simplify 1 into 1
9.047 * [backup-simplify]: Simplify (/ 1 1) into 1
9.047 * [taylor]: Taking taylor expansion of (/ 1 z) in x
9.047 * [taylor]: Taking taylor expansion of z in x
9.047 * [backup-simplify]: Simplify z into z
9.047 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.047 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x
9.047 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.047 * [taylor]: Taking taylor expansion of y in x
9.047 * [backup-simplify]: Simplify y into y
9.047 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.047 * [backup-simplify]: Simplify (sqrt (/ 1 y)) into (sqrt (/ 1 y))
9.047 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
9.047 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 y)))) into 0
9.047 * [backup-simplify]: Simplify (+ 1 0) into 1
9.047 * [backup-simplify]: Simplify (* 1 (sqrt (/ 1 y))) into (sqrt (/ 1 y))
9.048 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z
9.048 * [taylor]: Taking taylor expansion of (/ 1 y) in z
9.048 * [taylor]: Taking taylor expansion of y in z
9.048 * [backup-simplify]: Simplify y into y
9.048 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.048 * [backup-simplify]: Simplify (sqrt (/ 1 y)) into (sqrt (/ 1 y))
9.048 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
9.048 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 y)))) into 0
9.048 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.048 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
9.048 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
9.049 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 z)) (sqrt (/ 1 y)))) into (- (* (/ 1 z) (sqrt (/ 1 y))))
9.049 * [taylor]: Taking taylor expansion of (- (* (/ 1 z) (sqrt (/ 1 y)))) in z
9.049 * [taylor]: Taking taylor expansion of (* (/ 1 z) (sqrt (/ 1 y))) in z
9.049 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.049 * [taylor]: Taking taylor expansion of z in z
9.049 * [backup-simplify]: Simplify 0 into 0
9.049 * [backup-simplify]: Simplify 1 into 1
9.049 * [backup-simplify]: Simplify (/ 1 1) into 1
9.049 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z
9.049 * [taylor]: Taking taylor expansion of (/ 1 y) in z
9.049 * [taylor]: Taking taylor expansion of y in z
9.049 * [backup-simplify]: Simplify y into y
9.049 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.049 * [backup-simplify]: Simplify (sqrt (/ 1 y)) into (sqrt (/ 1 y))
9.049 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
9.049 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 y)))) into 0
9.049 * [backup-simplify]: Simplify (* 1 (sqrt (/ 1 y))) into (sqrt (/ 1 y))
9.049 * [backup-simplify]: Simplify (- (sqrt (/ 1 y))) into (- (sqrt (/ 1 y)))
9.049 * [taylor]: Taking taylor expansion of (- (sqrt (/ 1 y))) in y
9.049 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
9.050 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.050 * [taylor]: Taking taylor expansion of y in y
9.050 * [backup-simplify]: Simplify 0 into 0
9.050 * [backup-simplify]: Simplify 1 into 1
9.050 * [backup-simplify]: Simplify (/ 1 1) into 1
9.050 * [backup-simplify]: Simplify (sqrt 0) into 0
9.051 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
9.051 * [backup-simplify]: Simplify (- 0) into 0
9.051 * [backup-simplify]: Simplify 0 into 0
9.051 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
9.051 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.051 * [taylor]: Taking taylor expansion of y in y
9.051 * [backup-simplify]: Simplify 0 into 0
9.051 * [backup-simplify]: Simplify 1 into 1
9.051 * [backup-simplify]: Simplify (/ 1 1) into 1
9.052 * [backup-simplify]: Simplify (sqrt 0) into 0
9.052 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
9.052 * [backup-simplify]: Simplify 0 into 0
9.053 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.053 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 y)))) into 0
9.053 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.054 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
9.054 * [backup-simplify]: Simplify (- 0) into 0
9.054 * [backup-simplify]: Simplify (+ 0 0) into 0
9.054 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 z)) 0) (* 0 (sqrt (/ 1 y))))) into 0
9.054 * [taylor]: Taking taylor expansion of 0 in z
9.054 * [backup-simplify]: Simplify 0 into 0
9.055 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.055 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt (/ 1 y)))) into 0
9.056 * [backup-simplify]: Simplify (- 0) into 0
9.056 * [taylor]: Taking taylor expansion of 0 in y
9.056 * [backup-simplify]: Simplify 0 into 0
9.056 * [taylor]: Taking taylor expansion of 0 in y
9.056 * [backup-simplify]: Simplify 0 into 0
9.056 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
9.056 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
9.056 * [backup-simplify]: Simplify +nan.0 into +nan.0
9.056 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.057 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 y)))) into 0
9.057 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.057 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
9.058 * [backup-simplify]: Simplify (- 0) into 0
9.058 * [backup-simplify]: Simplify (+ 0 0) into 0
9.059 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 z)) 0) (+ (* 0 0) (* 0 (sqrt (/ 1 y)))))) into 0
9.059 * [taylor]: Taking taylor expansion of 0 in z
9.059 * [backup-simplify]: Simplify 0 into 0
9.059 * [taylor]: Taking taylor expansion of 0 in y
9.059 * [backup-simplify]: Simplify 0 into 0
9.059 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.059 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 y)))) into 0
9.060 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.060 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt (/ 1 y))))) into 0
9.060 * [backup-simplify]: Simplify (- 0) into 0
9.060 * [taylor]: Taking taylor expansion of 0 in y
9.060 * [backup-simplify]: Simplify 0 into 0
9.061 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.061 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 y)))) into 0
9.061 * [taylor]: Taking taylor expansion of 0 in y
9.061 * [backup-simplify]: Simplify 0 into 0
9.061 * [backup-simplify]: Simplify 0 into 0
9.061 * [backup-simplify]: Simplify 0 into 0
9.062 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.063 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
9.064 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
9.064 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
9.064 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 y) (* (/ 1 (/ 1 z)) 1))) (+ (* +nan.0 (* 1 (* 1 (/ 1 (/ 1 x))))) (* (- +nan.0) (* 1 (* (/ 1 (/ 1 z)) 1))))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 z) (- (* +nan.0 (/ z y)))))))
9.065 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) (/ 1 (- z))) (sqrt (/ 1 (- y)))) into (* (sqrt (/ -1 y)) (- (/ 1 z) (/ 1 x)))
9.065 * [approximate]: Taking taylor expansion of (* (sqrt (/ -1 y)) (- (/ 1 z) (/ 1 x))) in (x z y) around 0
9.065 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 y)) (- (/ 1 z) (/ 1 x))) in y
9.065 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
9.065 * [taylor]: Taking taylor expansion of (/ -1 y) in y
9.065 * [taylor]: Taking taylor expansion of -1 in y
9.065 * [backup-simplify]: Simplify -1 into -1
9.065 * [taylor]: Taking taylor expansion of y in y
9.065 * [backup-simplify]: Simplify 0 into 0
9.065 * [backup-simplify]: Simplify 1 into 1
9.065 * [backup-simplify]: Simplify (/ -1 1) into -1
9.065 * [backup-simplify]: Simplify (sqrt 0) into 0
9.066 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
9.066 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
9.066 * [taylor]: Taking taylor expansion of (/ 1 z) in y
9.066 * [taylor]: Taking taylor expansion of z in y
9.066 * [backup-simplify]: Simplify z into z
9.066 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.066 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.066 * [taylor]: Taking taylor expansion of x in y
9.066 * [backup-simplify]: Simplify x into x
9.066 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.066 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 y)) (- (/ 1 z) (/ 1 x))) in z
9.066 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z
9.066 * [taylor]: Taking taylor expansion of (/ -1 y) in z
9.066 * [taylor]: Taking taylor expansion of -1 in z
9.066 * [backup-simplify]: Simplify -1 into -1
9.066 * [taylor]: Taking taylor expansion of y in z
9.066 * [backup-simplify]: Simplify y into y
9.066 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
9.067 * [backup-simplify]: Simplify (sqrt (/ -1 y)) into (sqrt (/ -1 y))
9.067 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
9.067 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 y)))) into 0
9.067 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
9.067 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.067 * [taylor]: Taking taylor expansion of z in z
9.067 * [backup-simplify]: Simplify 0 into 0
9.067 * [backup-simplify]: Simplify 1 into 1
9.067 * [backup-simplify]: Simplify (/ 1 1) into 1
9.067 * [taylor]: Taking taylor expansion of (/ 1 x) in z
9.067 * [taylor]: Taking taylor expansion of x in z
9.067 * [backup-simplify]: Simplify x into x
9.067 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.067 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 y)) (- (/ 1 z) (/ 1 x))) in x
9.067 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x
9.067 * [taylor]: Taking taylor expansion of (/ -1 y) in x
9.067 * [taylor]: Taking taylor expansion of -1 in x
9.067 * [backup-simplify]: Simplify -1 into -1
9.067 * [taylor]: Taking taylor expansion of y in x
9.067 * [backup-simplify]: Simplify y into y
9.067 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
9.067 * [backup-simplify]: Simplify (sqrt (/ -1 y)) into (sqrt (/ -1 y))
9.067 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
9.067 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 y)))) into 0
9.067 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
9.067 * [taylor]: Taking taylor expansion of (/ 1 z) in x
9.068 * [taylor]: Taking taylor expansion of z in x
9.068 * [backup-simplify]: Simplify z into z
9.068 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.068 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.068 * [taylor]: Taking taylor expansion of x in x
9.068 * [backup-simplify]: Simplify 0 into 0
9.068 * [backup-simplify]: Simplify 1 into 1
9.068 * [backup-simplify]: Simplify (/ 1 1) into 1
9.068 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 y)) (- (/ 1 z) (/ 1 x))) in x
9.068 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x
9.068 * [taylor]: Taking taylor expansion of (/ -1 y) in x
9.068 * [taylor]: Taking taylor expansion of -1 in x
9.068 * [backup-simplify]: Simplify -1 into -1
9.068 * [taylor]: Taking taylor expansion of y in x
9.068 * [backup-simplify]: Simplify y into y
9.068 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
9.068 * [backup-simplify]: Simplify (sqrt (/ -1 y)) into (sqrt (/ -1 y))
9.068 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
9.068 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 y)))) into 0
9.068 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
9.068 * [taylor]: Taking taylor expansion of (/ 1 z) in x
9.068 * [taylor]: Taking taylor expansion of z in x
9.068 * [backup-simplify]: Simplify z into z
9.068 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.068 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.068 * [taylor]: Taking taylor expansion of x in x
9.068 * [backup-simplify]: Simplify 0 into 0
9.068 * [backup-simplify]: Simplify 1 into 1
9.069 * [backup-simplify]: Simplify (/ 1 1) into 1
9.069 * [backup-simplify]: Simplify (- 1) into -1
9.069 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.069 * [backup-simplify]: Simplify (* (sqrt (/ -1 y)) -1) into (* -1 (sqrt (/ -1 y)))
9.069 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 y))) in z
9.069 * [taylor]: Taking taylor expansion of -1 in z
9.069 * [backup-simplify]: Simplify -1 into -1
9.069 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z
9.069 * [taylor]: Taking taylor expansion of (/ -1 y) in z
9.069 * [taylor]: Taking taylor expansion of -1 in z
9.069 * [backup-simplify]: Simplify -1 into -1
9.069 * [taylor]: Taking taylor expansion of y in z
9.069 * [backup-simplify]: Simplify y into y
9.069 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
9.069 * [backup-simplify]: Simplify (sqrt (/ -1 y)) into (sqrt (/ -1 y))
9.070 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
9.070 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 y)))) into 0
9.070 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.070 * [backup-simplify]: Simplify (- 0) into 0
9.070 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
9.071 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 y)) (/ 1 z)) (* 0 -1)) into (/ (sqrt (/ -1 y)) z)
9.071 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 y)) z) in z
9.071 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z
9.071 * [taylor]: Taking taylor expansion of (/ -1 y) in z
9.071 * [taylor]: Taking taylor expansion of -1 in z
9.071 * [backup-simplify]: Simplify -1 into -1
9.071 * [taylor]: Taking taylor expansion of y in z
9.071 * [backup-simplify]: Simplify y into y
9.071 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
9.071 * [backup-simplify]: Simplify (sqrt (/ -1 y)) into (sqrt (/ -1 y))
9.071 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
9.071 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 y)))) into 0
9.071 * [taylor]: Taking taylor expansion of z in z
9.071 * [backup-simplify]: Simplify 0 into 0
9.071 * [backup-simplify]: Simplify 1 into 1
9.071 * [backup-simplify]: Simplify (/ (sqrt (/ -1 y)) 1) into (sqrt (/ -1 y))
9.071 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
9.071 * [taylor]: Taking taylor expansion of (/ -1 y) in y
9.071 * [taylor]: Taking taylor expansion of -1 in y
9.071 * [backup-simplify]: Simplify -1 into -1
9.071 * [taylor]: Taking taylor expansion of y in y
9.071 * [backup-simplify]: Simplify 0 into 0
9.071 * [backup-simplify]: Simplify 1 into 1
9.072 * [backup-simplify]: Simplify (/ -1 1) into -1
9.072 * [backup-simplify]: Simplify (sqrt 0) into 0
9.073 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
9.073 * [backup-simplify]: Simplify 0 into 0
9.073 * [backup-simplify]: Simplify (* -1 (sqrt (/ -1 y))) into (* -1 (sqrt (/ -1 y)))
9.073 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 y))) in y
9.073 * [taylor]: Taking taylor expansion of -1 in y
9.073 * [backup-simplify]: Simplify -1 into -1
9.073 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
9.073 * [taylor]: Taking taylor expansion of (/ -1 y) in y
9.073 * [taylor]: Taking taylor expansion of -1 in y
9.073 * [backup-simplify]: Simplify -1 into -1
9.073 * [taylor]: Taking taylor expansion of y in y
9.073 * [backup-simplify]: Simplify 0 into 0
9.073 * [backup-simplify]: Simplify 1 into 1
9.073 * [backup-simplify]: Simplify (/ -1 1) into -1
9.073 * [backup-simplify]: Simplify (sqrt 0) into 0
9.074 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
9.074 * [backup-simplify]: Simplify (* -1 0) into 0
9.074 * [backup-simplify]: Simplify 0 into 0
9.074 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
9.075 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.075 * [backup-simplify]: Simplify (- 0) into 0
9.075 * [backup-simplify]: Simplify (+ 0 0) into 0
9.076 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.076 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 y)))) into 0
9.076 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 y)) 0) (+ (* 0 (/ 1 z)) (* 0 -1))) into 0
9.076 * [taylor]: Taking taylor expansion of 0 in z
9.076 * [backup-simplify]: Simplify 0 into 0
9.077 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (/ -1 y)) (/ 0 1)))) into 0
9.077 * [taylor]: Taking taylor expansion of 0 in y
9.077 * [backup-simplify]: Simplify 0 into 0
9.077 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt (/ -1 y)))) into 0
9.077 * [taylor]: Taking taylor expansion of 0 in y
9.077 * [backup-simplify]: Simplify 0 into 0
9.077 * [backup-simplify]: Simplify +nan.0 into +nan.0
9.078 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (* 0 0)) into (- +nan.0)
9.079 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
9.079 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
9.079 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.079 * [backup-simplify]: Simplify (- 0) into 0
9.080 * [backup-simplify]: Simplify (+ 0 0) into 0
9.080 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.080 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ -1 y)))) into 0
9.081 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 (/ 1 z)) (* 0 -1)))) into 0
9.081 * [taylor]: Taking taylor expansion of 0 in z
9.081 * [backup-simplify]: Simplify 0 into 0
9.081 * [taylor]: Taking taylor expansion of 0 in y
9.081 * [backup-simplify]: Simplify 0 into 0
9.081 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.081 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 y)))) into 0
9.082 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (/ -1 y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.082 * [taylor]: Taking taylor expansion of 0 in y
9.082 * [backup-simplify]: Simplify 0 into 0
9.082 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.083 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 y)))) into 0
9.083 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt (/ -1 y))))) into 0
9.083 * [taylor]: Taking taylor expansion of 0 in y
9.083 * [backup-simplify]: Simplify 0 into 0
9.084 * [backup-simplify]: Simplify 0 into 0
9.084 * [backup-simplify]: Simplify 0 into 0
9.084 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
9.086 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
9.086 * [backup-simplify]: Simplify +nan.0 into +nan.0
9.086 * [backup-simplify]: Simplify (+ (* +nan.0 (* (/ 1 (- y)) (* (/ 1 (/ 1 (- z))) 1))) (+ (* (- +nan.0) (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (* +nan.0 (* 1 (* (/ 1 (/ 1 (- z))) 1))))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 z) (- (* +nan.0 (/ z y)))))))
9.086 * * * [progress]: simplifying candidates
9.087 * [simplify]: Simplifying:
  (* (* (- x z) (sqrt y)) (sqrt y))
  (* (* (- x z) (sqrt y)) (sqrt y))
  (+ (+ (log (- x z)) (log (sqrt y))) (log (sqrt y)))
  (+ (log (* (- x z) (sqrt y))) (log (sqrt y)))
  (log (* (* (- x z) (sqrt y)) (sqrt y)))
  (exp (* (* (- x z) (sqrt y)) (sqrt y)))
  (* (* (* (* (- x z) (- x z)) (- x z)) (* (* (sqrt y) (sqrt y)) (sqrt y))) (* (* (sqrt y) (sqrt y)) (sqrt y)))
  (* (* (* (* (- x z) (sqrt y)) (* (- x z) (sqrt y))) (* (- x z) (sqrt y))) (* (* (sqrt y) (sqrt y)) (sqrt y)))
  (* (cbrt (* (* (- x z) (sqrt y)) (sqrt y))) (cbrt (* (* (- x z) (sqrt y)) (sqrt y))))
  (cbrt (* (* (- x z) (sqrt y)) (sqrt y)))
  (* (* (* (* (- x z) (sqrt y)) (sqrt y)) (* (* (- x z) (sqrt y)) (sqrt y))) (* (* (- x z) (sqrt y)) (sqrt y)))
  (sqrt (* (* (- x z) (sqrt y)) (sqrt y)))
  (sqrt (* (* (- x z) (sqrt y)) (sqrt y)))
  (* (* (- x z) (sqrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y))))
  (* (* (- x z) (sqrt y)) (sqrt (* (cbrt y) (cbrt y))))
  (* (* (- x z) (sqrt y)) (sqrt (sqrt y)))
  (* (* (- x z) (sqrt y)) (sqrt 1))
  (* (* (- x z) (sqrt y)) (sqrt (sqrt y)))
  (* (* (- x z) (sqrt y)) 1)
  (* (sqrt y) (sqrt y))
  (* (* (- (pow x 3) (pow z 3)) (sqrt y)) (sqrt y))
  (* (* (- (* x x) (* z z)) (sqrt y)) (sqrt y))
  (* (- x z) (sqrt y))
  (+ (log (- x z)) (log (sqrt y)))
  (log (* (- x z) (sqrt y)))
  (exp (* (- x z) (sqrt y)))
  (* (* (* (- x z) (- x z)) (- x z)) (* (* (sqrt y) (sqrt y)) (sqrt y)))
  (* (cbrt (* (- x z) (sqrt y))) (cbrt (* (- x z) (sqrt y))))
  (cbrt (* (- x z) (sqrt y)))
  (* (* (* (- x z) (sqrt y)) (* (- x z) (sqrt y))) (* (- x z) (sqrt y)))
  (sqrt (* (- x z) (sqrt y)))
  (sqrt (* (- x z) (sqrt y)))
  (* (sqrt (- x z)) (sqrt (sqrt y)))
  (* (sqrt (- x z)) (sqrt (sqrt y)))
  (* (sqrt (- x z)) (sqrt (sqrt y)))
  (* (sqrt (- x z)) (sqrt (sqrt y)))
  (* (- x z) (* (cbrt (sqrt y)) (cbrt (sqrt y))))
  (* (- x z) (sqrt (* (cbrt y) (cbrt y))))
  (* (- x z) (sqrt (sqrt y)))
  (* (- x z) (sqrt 1))
  (* (- x z) (sqrt (sqrt y)))
  (* (- x z) 1)
  (* (cbrt (- x z)) (sqrt y))
  (* (sqrt (- x z)) (sqrt y))
  (* (- x z) (sqrt y))
  (* (- (sqrt x) (sqrt z)) (sqrt y))
  (* (- x z) (sqrt y))
  (* (- (pow x 3) (pow z 3)) (sqrt y))
  (* (- (* x x) (* z z)) (sqrt y))
  0
  (- (* x y) (* z y))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 z) (- (* +nan.0 (/ z y)))))))
  0
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 z) (- (* +nan.0 (/ z y)))))))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 z) (- (* +nan.0 (/ z y)))))))
9.088 * * [simplify]: iteration 0: 85 enodes
9.105 * * [simplify]: iteration 1: 216 enodes
9.169 * * [simplify]: iteration 2: 738 enodes
9.649 * * [simplify]: iteration 3: 2285 enodes
10.328 * * [simplify]: iteration complete: 5002 enodes
10.328 * * [simplify]: Extracting #0: cost 32 inf + 0
10.329 * * [simplify]: Extracting #1: cost 494 inf + 2
10.340 * * [simplify]: Extracting #2: cost 1316 inf + 5621
10.358 * * [simplify]: Extracting #3: cost 1099 inf + 104316
10.407 * * [simplify]: Extracting #4: cost 306 inf + 285867
10.479 * * [simplify]: Extracting #5: cost 40 inf + 338217
10.547 * * [simplify]: Extracting #6: cost 28 inf + 343321
10.615 * * [simplify]: Extracting #7: cost 11 inf + 344878
10.676 * * [simplify]: Extracting #8: cost 0 inf + 347661
10.747 * [simplify]: Simplified to:
  (* (- x z) y)
  (* (- x z) y)
  (log (* (- x z) y))
  (log (* (- x z) y))
  (log (* (- x z) y))
  (exp (* (- x z) y))
  (* (* (* (- x z) y) (* (- x z) y)) (* (- x z) y))
  (* (* (* (- x z) y) (* (- x z) y)) (* (- x z) y))
  (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y)))
  (cbrt (* (- x z) y))
  (* (* (* (- x z) y) (* (- x z) y)) (* (- x z) y))
  (sqrt (* (- x z) y))
  (sqrt (* (- x z) y))
  (* (* (- x z) (* (sqrt y) (cbrt (sqrt y)))) (cbrt (sqrt y)))
  (* (* (fabs (cbrt y)) (sqrt y)) (- x z))
  (* (* (sqrt (sqrt y)) (- x z)) (sqrt y))
  (* (- x z) (sqrt y))
  (* (* (sqrt (sqrt y)) (- x z)) (sqrt y))
  (* (- x z) (sqrt y))
  y
  (* (- (* (* x x) x) (* z (* z z))) y)
  (* y (* (+ x z) (- x z)))
  (* (- x z) (sqrt y))
  (log (* (- x z) (sqrt y)))
  (log (* (- x z) (sqrt y)))
  (exp (* (- x z) (sqrt y)))
  (* (* (* (- x z) (sqrt y)) (* (- x z) (sqrt y))) (* (- x z) (sqrt y)))
  (* (cbrt (* (- x z) (sqrt y))) (cbrt (* (- x z) (sqrt y))))
  (cbrt (* (- x z) (sqrt y)))
  (* (* (* (- x z) (sqrt y)) (* (- x z) (sqrt y))) (* (- x z) (sqrt y)))
  (sqrt (* (- x z) (sqrt y)))
  (sqrt (* (- x z) (sqrt y)))
  (* (sqrt (- x z)) (sqrt (sqrt y)))
  (* (sqrt (- x z)) (sqrt (sqrt y)))
  (* (sqrt (- x z)) (sqrt (sqrt y)))
  (* (sqrt (- x z)) (sqrt (sqrt y)))
  (* (* (- x z) (cbrt (sqrt y))) (cbrt (sqrt y)))
  (* (- x z) (fabs (cbrt y)))
  (* (sqrt (sqrt y)) (- x z))
  (- x z)
  (* (sqrt (sqrt y)) (- x z))
  (- x z)
  (* (sqrt y) (cbrt (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* (- x z) (sqrt y))
  (* (- (sqrt x) (sqrt z)) (sqrt y))
  (* (- x z) (sqrt y))
  (* (- (* (* x x) x) (* z (* z z))) (sqrt y))
  (* (- x z) (* (+ x z) (sqrt y)))
  0
  (* (- x z) y)
  (+ (- (* x +nan.0)) (* +nan.0 (- z (/ z y))))
  0
  (+ (- (* x +nan.0)) (* +nan.0 (- z (/ z y))))
  (+ (- (* x +nan.0)) (* +nan.0 (- z (/ z y))))
10.750 * * * [progress]: adding candidates to table
10.907 * [progress]: [Phase 3 of 3] Extracting.
10.907 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (* (- x z) y))> #<alt (λ (x y z) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))> #<alt (λ (x y z) (* (* (- x z) (sqrt y)) (sqrt y)))>)
10.908 * * * [regime-changes]: Trying 4 branch expressions: ((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) z y x)
10.908 * * * * [regimes]: Trying to branch on (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) from (#<alt (λ (x y z) (* (- x z) y))> #<alt (λ (x y z) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))> #<alt (λ (x y z) (* (* (- x z) (sqrt y)) (sqrt y)))>)
10.962 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (* (- x z) y))> #<alt (λ (x y z) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))> #<alt (λ (x y z) (* (* (- x z) (sqrt y)) (sqrt y)))>)
11.021 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (* (- x z) y))> #<alt (λ (x y z) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))> #<alt (λ (x y z) (* (* (- x z) (sqrt y)) (sqrt y)))>)
11.080 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (* (- x z) y))> #<alt (λ (x y z) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))> #<alt (λ (x y z) (* (* (- x z) (sqrt y)) (sqrt y)))>)
11.153 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
11.153 * [simplify]: Simplifying:
  (* (- x z) y)
11.153 * * [simplify]: iteration 0: 5 enodes
11.154 * * [simplify]: iteration 1: 6 enodes
11.154 * * [simplify]: iteration complete: 6 enodes
11.154 * * [simplify]: Extracting #0: cost 1 inf + 0
11.154 * * [simplify]: Extracting #1: cost 3 inf + 0
11.154 * * [simplify]: Extracting #2: cost 4 inf + 1
11.154 * * [simplify]: Extracting #3: cost 2 inf + 3
11.154 * * [simplify]: Extracting #4: cost 0 inf + 128
11.154 * [simplify]: Simplified to:
  (* (- x z) y)
13.866 * [regime-testing]: Baseline error score: 0.013126640830103764
13.885 * [regime-testing]: Oracle error score: 0.006500812601575197
13.920 * [regime-testing]: End program error score: 0.013126640830103764
14.045 * [regime-testing]: Target error score: 0.013126640830103764