17.785 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.030 * * * [progress]: [2/2] Setting up program.
0.034 * [progress]: [Phase 2 of 3] Improving.
0.034 * [simplify]: Simplifying:
  (- (- (+ (* x y) (* y y)) (* y z)) (* y y))
0.034 * * [simplify]: iteration 0: 9 enodes
0.036 * * [simplify]: iteration 1: 22 enodes
0.041 * * [simplify]: iteration 2: 65 enodes
0.087 * * [simplify]: iteration 3: 172 enodes
0.186 * * [simplify]: iteration 4: 612 enodes
1.137 * * [simplify]: iteration 5: 4000 enodes
3.292 * * [simplify]: iteration complete: 5000 enodes
3.292 * * [simplify]: Extracting #0: cost 1 inf + 0
3.293 * * [simplify]: Extracting #1: cost 390 inf + 0
3.296 * * [simplify]: Extracting #2: cost 1397 inf + 412
3.304 * * [simplify]: Extracting #3: cost 1168 inf + 22671
3.319 * * [simplify]: Extracting #4: cost 501 inf + 77304
3.349 * * [simplify]: Extracting #5: cost 4 inf + 144111
3.391 * * [simplify]: Extracting #6: cost 0 inf + 144520
3.448 * [simplify]: Simplified to:
  (* (- x z) y)
3.458 * * [progress]: iteration 1 / 4
3.458 * * * [progress]: picking best candidate
3.471 * * * * [pick]: Picked  #<alt (λ (x y z) (* (- x z) y))>
3.471 * * * [progress]: localizing error
3.484 * * * [progress]: generating rewritten candidates
3.484 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.516 * * * [progress]: generating series expansions
3.516 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.516 * [backup-simplify]: Simplify (* (- x z) y) into (* (- x z) y)
3.516 * [approximate]: Taking taylor expansion of (* (- x z) y) in (x z y) around 0
3.516 * [taylor]: Taking taylor expansion of (* (- x z) y) in y
3.516 * [taylor]: Taking taylor expansion of (- x z) in y
3.516 * [taylor]: Taking taylor expansion of x in y
3.516 * [backup-simplify]: Simplify x into x
3.517 * [taylor]: Taking taylor expansion of z in y
3.517 * [backup-simplify]: Simplify z into z
3.517 * [taylor]: Taking taylor expansion of y in y
3.517 * [backup-simplify]: Simplify 0 into 0
3.517 * [backup-simplify]: Simplify 1 into 1
3.517 * [taylor]: Taking taylor expansion of (* (- x z) y) in z
3.517 * [taylor]: Taking taylor expansion of (- x z) in z
3.517 * [taylor]: Taking taylor expansion of x in z
3.517 * [backup-simplify]: Simplify x into x
3.517 * [taylor]: Taking taylor expansion of z in z
3.517 * [backup-simplify]: Simplify 0 into 0
3.517 * [backup-simplify]: Simplify 1 into 1
3.517 * [taylor]: Taking taylor expansion of y in z
3.517 * [backup-simplify]: Simplify y into y
3.517 * [taylor]: Taking taylor expansion of (* (- x z) y) in x
3.517 * [taylor]: Taking taylor expansion of (- x z) in x
3.517 * [taylor]: Taking taylor expansion of x in x
3.517 * [backup-simplify]: Simplify 0 into 0
3.517 * [backup-simplify]: Simplify 1 into 1
3.517 * [taylor]: Taking taylor expansion of z in x
3.517 * [backup-simplify]: Simplify z into z
3.517 * [taylor]: Taking taylor expansion of y in x
3.517 * [backup-simplify]: Simplify y into y
3.517 * [taylor]: Taking taylor expansion of (* (- x z) y) in x
3.517 * [taylor]: Taking taylor expansion of (- x z) in x
3.517 * [taylor]: Taking taylor expansion of x in x
3.517 * [backup-simplify]: Simplify 0 into 0
3.517 * [backup-simplify]: Simplify 1 into 1
3.517 * [taylor]: Taking taylor expansion of z in x
3.517 * [backup-simplify]: Simplify z into z
3.517 * [taylor]: Taking taylor expansion of y in x
3.517 * [backup-simplify]: Simplify y into y
3.517 * [backup-simplify]: Simplify (- z) into (- z)
3.517 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
3.517 * [backup-simplify]: Simplify (* (- z) y) into (* -1 (* z y))
3.517 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z
3.517 * [taylor]: Taking taylor expansion of -1 in z
3.518 * [backup-simplify]: Simplify -1 into -1
3.518 * [taylor]: Taking taylor expansion of (* z y) in z
3.518 * [taylor]: Taking taylor expansion of z in z
3.518 * [backup-simplify]: Simplify 0 into 0
3.518 * [backup-simplify]: Simplify 1 into 1
3.518 * [taylor]: Taking taylor expansion of y in z
3.518 * [backup-simplify]: Simplify y into y
3.518 * [backup-simplify]: Simplify (* 0 y) into 0
3.518 * [backup-simplify]: Simplify (* -1 0) into 0
3.518 * [taylor]: Taking taylor expansion of 0 in y
3.518 * [backup-simplify]: Simplify 0 into 0
3.518 * [backup-simplify]: Simplify 0 into 0
3.519 * [backup-simplify]: Simplify (- 0) into 0
3.519 * [backup-simplify]: Simplify (+ 1 0) into 1
3.519 * [backup-simplify]: Simplify (+ (* (- z) 0) (* 1 y)) into y
3.519 * [taylor]: Taking taylor expansion of y in z
3.519 * [backup-simplify]: Simplify y into y
3.519 * [taylor]: Taking taylor expansion of y in y
3.519 * [backup-simplify]: Simplify 0 into 0
3.519 * [backup-simplify]: Simplify 1 into 1
3.519 * [backup-simplify]: Simplify 0 into 0
3.520 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.520 * [backup-simplify]: Simplify (+ (* -1 y) (* 0 0)) into (- y)
3.520 * [taylor]: Taking taylor expansion of (- y) in y
3.520 * [taylor]: Taking taylor expansion of y in y
3.520 * [backup-simplify]: Simplify 0 into 0
3.520 * [backup-simplify]: Simplify 1 into 1
3.521 * [backup-simplify]: Simplify (- 0) into 0
3.521 * [backup-simplify]: Simplify 0 into 0
3.521 * [backup-simplify]: Simplify 0 into 0
3.521 * [backup-simplify]: Simplify (- 0) into 0
3.522 * [backup-simplify]: Simplify (+ 0 0) into 0
3.522 * [backup-simplify]: Simplify (+ (* (- z) 0) (+ (* 1 0) (* 0 y))) into 0
3.522 * [taylor]: Taking taylor expansion of 0 in z
3.522 * [backup-simplify]: Simplify 0 into 0
3.522 * [taylor]: Taking taylor expansion of 0 in y
3.522 * [backup-simplify]: Simplify 0 into 0
3.522 * [backup-simplify]: Simplify 0 into 0
3.522 * [taylor]: Taking taylor expansion of 0 in y
3.522 * [backup-simplify]: Simplify 0 into 0
3.522 * [backup-simplify]: Simplify 0 into 0
3.522 * [backup-simplify]: Simplify 0 into 0
3.523 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 1 z)) (/ 1 y)) into (/ (- (/ 1 x) (/ 1 z)) y)
3.523 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (x z y) around 0
3.523 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
3.523 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
3.523 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.523 * [taylor]: Taking taylor expansion of x in y
3.523 * [backup-simplify]: Simplify x into x
3.523 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.523 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.523 * [taylor]: Taking taylor expansion of z in y
3.523 * [backup-simplify]: Simplify z into z
3.523 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.523 * [taylor]: Taking taylor expansion of y in y
3.523 * [backup-simplify]: Simplify 0 into 0
3.523 * [backup-simplify]: Simplify 1 into 1
3.523 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.523 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
3.523 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z))
3.523 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z
3.523 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
3.523 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.523 * [taylor]: Taking taylor expansion of x in z
3.524 * [backup-simplify]: Simplify x into x
3.524 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.524 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.524 * [taylor]: Taking taylor expansion of z in z
3.524 * [backup-simplify]: Simplify 0 into 0
3.524 * [backup-simplify]: Simplify 1 into 1
3.524 * [backup-simplify]: Simplify (/ 1 1) into 1
3.524 * [taylor]: Taking taylor expansion of y in z
3.524 * [backup-simplify]: Simplify y into y
3.524 * [backup-simplify]: Simplify (- 1) into -1
3.525 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.525 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.525 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
3.525 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
3.525 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.525 * [taylor]: Taking taylor expansion of x in x
3.525 * [backup-simplify]: Simplify 0 into 0
3.525 * [backup-simplify]: Simplify 1 into 1
3.525 * [backup-simplify]: Simplify (/ 1 1) into 1
3.525 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.526 * [taylor]: Taking taylor expansion of z in x
3.526 * [backup-simplify]: Simplify z into z
3.526 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.526 * [taylor]: Taking taylor expansion of y in x
3.526 * [backup-simplify]: Simplify y into y
3.526 * [backup-simplify]: Simplify (+ 1 0) into 1
3.526 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.526 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
3.526 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
3.526 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.526 * [taylor]: Taking taylor expansion of x in x
3.526 * [backup-simplify]: Simplify 0 into 0
3.526 * [backup-simplify]: Simplify 1 into 1
3.527 * [backup-simplify]: Simplify (/ 1 1) into 1
3.527 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.527 * [taylor]: Taking taylor expansion of z in x
3.527 * [backup-simplify]: Simplify z into z
3.527 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.527 * [taylor]: Taking taylor expansion of y in x
3.527 * [backup-simplify]: Simplify y into y
3.527 * [backup-simplify]: Simplify (+ 1 0) into 1
3.527 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.527 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.527 * [taylor]: Taking taylor expansion of y in z
3.527 * [backup-simplify]: Simplify y into y
3.528 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.528 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.528 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.528 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
3.529 * [backup-simplify]: Simplify (- (/ (- (/ 1 z)) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (/ 1 (* z y)))
3.529 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z
3.529 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.529 * [taylor]: Taking taylor expansion of (* z y) in z
3.529 * [taylor]: Taking taylor expansion of z in z
3.529 * [backup-simplify]: Simplify 0 into 0
3.529 * [backup-simplify]: Simplify 1 into 1
3.529 * [taylor]: Taking taylor expansion of y in z
3.529 * [backup-simplify]: Simplify y into y
3.529 * [backup-simplify]: Simplify (* 0 y) into 0
3.529 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.529 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.529 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
3.530 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
3.530 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.530 * [taylor]: Taking taylor expansion of y in y
3.530 * [backup-simplify]: Simplify 0 into 0
3.530 * [backup-simplify]: Simplify 1 into 1
3.530 * [backup-simplify]: Simplify (/ 1 1) into 1
3.530 * [backup-simplify]: Simplify (- 1) into -1
3.530 * [backup-simplify]: Simplify -1 into -1
3.530 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.530 * [taylor]: Taking taylor expansion of y in y
3.530 * [backup-simplify]: Simplify 0 into 0
3.530 * [backup-simplify]: Simplify 1 into 1
3.531 * [backup-simplify]: Simplify (/ 1 1) into 1
3.531 * [backup-simplify]: Simplify 1 into 1
3.532 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.532 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.532 * [backup-simplify]: Simplify (- 0) into 0
3.533 * [backup-simplify]: Simplify (+ 0 0) into 0
3.533 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)))) into 0
3.533 * [taylor]: Taking taylor expansion of 0 in z
3.533 * [backup-simplify]: Simplify 0 into 0
3.534 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.534 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.534 * [backup-simplify]: Simplify (- 0) into 0
3.534 * [taylor]: Taking taylor expansion of 0 in y
3.534 * [backup-simplify]: Simplify 0 into 0
3.534 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.534 * [taylor]: Taking taylor expansion of 0 in y
3.534 * [backup-simplify]: Simplify 0 into 0
3.535 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.536 * [backup-simplify]: Simplify (- 0) into 0
3.536 * [backup-simplify]: Simplify 0 into 0
3.536 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.536 * [backup-simplify]: Simplify 0 into 0
3.537 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.537 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.538 * [backup-simplify]: Simplify (- 0) into 0
3.538 * [backup-simplify]: Simplify (+ 0 0) into 0
3.539 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.539 * [taylor]: Taking taylor expansion of 0 in z
3.539 * [backup-simplify]: Simplify 0 into 0
3.539 * [taylor]: Taking taylor expansion of 0 in y
3.539 * [backup-simplify]: Simplify 0 into 0
3.540 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
3.540 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.540 * [backup-simplify]: Simplify (- 0) into 0
3.540 * [taylor]: Taking taylor expansion of 0 in y
3.540 * [backup-simplify]: Simplify 0 into 0
3.541 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.541 * [taylor]: Taking taylor expansion of 0 in y
3.541 * [backup-simplify]: Simplify 0 into 0
3.541 * [backup-simplify]: Simplify 0 into 0
3.541 * [backup-simplify]: Simplify 0 into 0
3.542 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.542 * [backup-simplify]: Simplify (- 0) into 0
3.542 * [backup-simplify]: Simplify 0 into 0
3.543 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.543 * [backup-simplify]: Simplify 0 into 0
3.543 * [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.544 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y))) into (* -1 (/ (- (/ 1 z) (/ 1 x)) y))
3.544 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (x z y) around 0
3.544 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y
3.544 * [taylor]: Taking taylor expansion of -1 in y
3.544 * [backup-simplify]: Simplify -1 into -1
3.544 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
3.544 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
3.544 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.544 * [taylor]: Taking taylor expansion of z in y
3.544 * [backup-simplify]: Simplify z into z
3.544 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.547 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.547 * [taylor]: Taking taylor expansion of x in y
3.547 * [backup-simplify]: Simplify x into x
3.547 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.548 * [taylor]: Taking taylor expansion of y in y
3.548 * [backup-simplify]: Simplify 0 into 0
3.548 * [backup-simplify]: Simplify 1 into 1
3.548 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.548 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
3.548 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x))
3.548 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z
3.548 * [taylor]: Taking taylor expansion of -1 in z
3.548 * [backup-simplify]: Simplify -1 into -1
3.548 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z
3.548 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
3.548 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.548 * [taylor]: Taking taylor expansion of z in z
3.548 * [backup-simplify]: Simplify 0 into 0
3.548 * [backup-simplify]: Simplify 1 into 1
3.549 * [backup-simplify]: Simplify (/ 1 1) into 1
3.549 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.549 * [taylor]: Taking taylor expansion of x in z
3.549 * [backup-simplify]: Simplify x into x
3.549 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.549 * [taylor]: Taking taylor expansion of y in z
3.549 * [backup-simplify]: Simplify y into y
3.549 * [backup-simplify]: Simplify (+ 1 0) into 1
3.550 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.550 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x
3.550 * [taylor]: Taking taylor expansion of -1 in x
3.550 * [backup-simplify]: Simplify -1 into -1
3.550 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
3.550 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
3.550 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.550 * [taylor]: Taking taylor expansion of z in x
3.550 * [backup-simplify]: Simplify z into z
3.550 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.550 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.550 * [taylor]: Taking taylor expansion of x in x
3.550 * [backup-simplify]: Simplify 0 into 0
3.550 * [backup-simplify]: Simplify 1 into 1
3.550 * [backup-simplify]: Simplify (/ 1 1) into 1
3.550 * [taylor]: Taking taylor expansion of y in x
3.550 * [backup-simplify]: Simplify y into y
3.551 * [backup-simplify]: Simplify (- 1) into -1
3.551 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.551 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.551 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x
3.551 * [taylor]: Taking taylor expansion of -1 in x
3.551 * [backup-simplify]: Simplify -1 into -1
3.551 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
3.551 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
3.551 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.551 * [taylor]: Taking taylor expansion of z in x
3.551 * [backup-simplify]: Simplify z into z
3.551 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.551 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.551 * [taylor]: Taking taylor expansion of x in x
3.551 * [backup-simplify]: Simplify 0 into 0
3.551 * [backup-simplify]: Simplify 1 into 1
3.552 * [backup-simplify]: Simplify (/ 1 1) into 1
3.552 * [taylor]: Taking taylor expansion of y in x
3.552 * [backup-simplify]: Simplify y into y
3.552 * [backup-simplify]: Simplify (- 1) into -1
3.553 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.553 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.553 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
3.553 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.553 * [taylor]: Taking taylor expansion of y in z
3.553 * [backup-simplify]: Simplify y into y
3.553 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.554 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.555 * [backup-simplify]: Simplify (- 0) into 0
3.555 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
3.555 * [backup-simplify]: Simplify (- (/ (/ 1 z) y) (+ (* (/ -1 y) (/ 0 y)))) into (/ 1 (* z y))
3.555 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (* z y))) (* 0 (/ -1 y))) into (- (/ 1 (* z y)))
3.555 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z
3.555 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.555 * [taylor]: Taking taylor expansion of (* z y) in z
3.555 * [taylor]: Taking taylor expansion of z in z
3.555 * [backup-simplify]: Simplify 0 into 0
3.555 * [backup-simplify]: Simplify 1 into 1
3.555 * [taylor]: Taking taylor expansion of y in z
3.555 * [backup-simplify]: Simplify y into y
3.555 * [backup-simplify]: Simplify (* 0 y) into 0
3.556 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.556 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.556 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
3.556 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
3.556 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.556 * [taylor]: Taking taylor expansion of y in y
3.556 * [backup-simplify]: Simplify 0 into 0
3.556 * [backup-simplify]: Simplify 1 into 1
3.556 * [backup-simplify]: Simplify (/ 1 1) into 1
3.557 * [backup-simplify]: Simplify (- 1) into -1
3.557 * [backup-simplify]: Simplify -1 into -1
3.557 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.557 * [taylor]: Taking taylor expansion of y in y
3.557 * [backup-simplify]: Simplify 0 into 0
3.557 * [backup-simplify]: Simplify 1 into 1
3.557 * [backup-simplify]: Simplify (/ 1 1) into 1
3.557 * [backup-simplify]: Simplify 1 into 1
3.557 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.558 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.559 * [backup-simplify]: Simplify (- 0) into 0
3.559 * [backup-simplify]: Simplify (+ 0 0) into 0
3.559 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (/ 1 (* z y)) (/ 0 y)))) into 0
3.560 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (* z y))) (* 0 (/ -1 y)))) into 0
3.560 * [taylor]: Taking taylor expansion of 0 in z
3.560 * [backup-simplify]: Simplify 0 into 0
3.561 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.561 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.561 * [backup-simplify]: Simplify (- 0) into 0
3.561 * [taylor]: Taking taylor expansion of 0 in y
3.561 * [backup-simplify]: Simplify 0 into 0
3.562 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.562 * [taylor]: Taking taylor expansion of 0 in y
3.562 * [backup-simplify]: Simplify 0 into 0
3.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.563 * [backup-simplify]: Simplify (- 0) into 0
3.563 * [backup-simplify]: Simplify 0 into 0
3.564 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.564 * [backup-simplify]: Simplify 0 into 0
3.564 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.565 * [backup-simplify]: Simplify (- 0) into 0
3.566 * [backup-simplify]: Simplify (+ 0 0) into 0
3.566 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (/ 1 (* z y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.567 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (* z y))) (* 0 (/ -1 y))))) into 0
3.567 * [taylor]: Taking taylor expansion of 0 in z
3.567 * [backup-simplify]: Simplify 0 into 0
3.567 * [taylor]: Taking taylor expansion of 0 in y
3.567 * [backup-simplify]: Simplify 0 into 0
3.568 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
3.568 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.569 * [backup-simplify]: Simplify (- 0) into 0
3.569 * [taylor]: Taking taylor expansion of 0 in y
3.569 * [backup-simplify]: Simplify 0 into 0
3.569 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.569 * [taylor]: Taking taylor expansion of 0 in y
3.569 * [backup-simplify]: Simplify 0 into 0
3.569 * [backup-simplify]: Simplify 0 into 0
3.569 * [backup-simplify]: Simplify 0 into 0
3.570 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.570 * [backup-simplify]: Simplify (- 0) into 0
3.570 * [backup-simplify]: Simplify 0 into 0
3.571 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.571 * [backup-simplify]: Simplify 0 into 0
3.572 * [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.572 * * * [progress]: simplifying candidates
3.573 * [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.573 * * [simplify]: iteration 0: 49 enodes
3.585 * * [simplify]: iteration 1: 110 enodes
3.608 * * [simplify]: iteration 2: 440 enodes
3.987 * * [simplify]: iteration complete: 5000 enodes
3.987 * * [simplify]: Extracting #0: cost 17 inf + 0
3.988 * * [simplify]: Extracting #1: cost 663 inf + 1
3.993 * * [simplify]: Extracting #2: cost 1792 inf + 5712
4.039 * * [simplify]: Extracting #3: cost 831 inf + 167537
4.098 * * [simplify]: Extracting #4: cost 58 inf + 277581
4.153 * * [simplify]: Extracting #5: cost 31 inf + 284392
4.223 * * [simplify]: Extracting #6: cost 4 inf + 290158
4.300 * * [simplify]: Extracting #7: cost 0 inf + 291170
4.360 * [simplify]: Simplified to:
  (* (- x z) y)
  (log (* (- x z) y))
  (log (* (- x z) y))
  (exp (* (- 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))
  (* (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)
  (* (- x z) y)
  (* (- (sqrt x) (sqrt z)) y)
  (* (- x z) y)
  (* y (- (* x (* x x)) (* z (* z z))))
  (* (+ z x) (* (- x z) y))
  0
  (* (- x z) y)
  (* (- x z) y)
4.360 * * * [progress]: adding candidates to table
4.448 * * [progress]: iteration 2 / 4
4.448 * * * [progress]: picking best candidate
4.452 * * * * [pick]: Picked  #<alt (λ (x y z) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))>
4.452 * * * [progress]: localizing error
4.466 * * * [progress]: generating rewritten candidates
4.466 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
4.648 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
4.678 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
4.685 * * * [progress]: generating series expansions
4.685 * * * * [progress]: [ 1 / 3 ] generating series at (2)
4.686 * [backup-simplify]: Simplify (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) into (- (* x y) (* z y))
4.686 * [approximate]: Taking taylor expansion of (- (* x y) (* z y)) in (x y z) around 0
4.686 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in z
4.686 * [taylor]: Taking taylor expansion of (* x y) in z
4.686 * [taylor]: Taking taylor expansion of x in z
4.686 * [backup-simplify]: Simplify x into x
4.686 * [taylor]: Taking taylor expansion of y in z
4.686 * [backup-simplify]: Simplify y into y
4.686 * [taylor]: Taking taylor expansion of (* z y) in z
4.686 * [taylor]: Taking taylor expansion of z in z
4.686 * [backup-simplify]: Simplify 0 into 0
4.686 * [backup-simplify]: Simplify 1 into 1
4.686 * [taylor]: Taking taylor expansion of y in z
4.686 * [backup-simplify]: Simplify y into y
4.686 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y
4.686 * [taylor]: Taking taylor expansion of (* x y) in y
4.686 * [taylor]: Taking taylor expansion of x in y
4.686 * [backup-simplify]: Simplify x into x
4.686 * [taylor]: Taking taylor expansion of y in y
4.686 * [backup-simplify]: Simplify 0 into 0
4.686 * [backup-simplify]: Simplify 1 into 1
4.686 * [taylor]: Taking taylor expansion of (* z y) in y
4.686 * [taylor]: Taking taylor expansion of z in y
4.686 * [backup-simplify]: Simplify z into z
4.686 * [taylor]: Taking taylor expansion of y in y
4.686 * [backup-simplify]: Simplify 0 into 0
4.686 * [backup-simplify]: Simplify 1 into 1
4.686 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x
4.686 * [taylor]: Taking taylor expansion of (* x y) in x
4.686 * [taylor]: Taking taylor expansion of x in x
4.686 * [backup-simplify]: Simplify 0 into 0
4.686 * [backup-simplify]: Simplify 1 into 1
4.686 * [taylor]: Taking taylor expansion of y in x
4.686 * [backup-simplify]: Simplify y into y
4.686 * [taylor]: Taking taylor expansion of (* z y) in x
4.686 * [taylor]: Taking taylor expansion of z in x
4.686 * [backup-simplify]: Simplify z into z
4.686 * [taylor]: Taking taylor expansion of y in x
4.686 * [backup-simplify]: Simplify y into y
4.686 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x
4.686 * [taylor]: Taking taylor expansion of (* x y) in x
4.686 * [taylor]: Taking taylor expansion of x in x
4.686 * [backup-simplify]: Simplify 0 into 0
4.686 * [backup-simplify]: Simplify 1 into 1
4.686 * [taylor]: Taking taylor expansion of y in x
4.686 * [backup-simplify]: Simplify y into y
4.686 * [taylor]: Taking taylor expansion of (* z y) in x
4.686 * [taylor]: Taking taylor expansion of z in x
4.686 * [backup-simplify]: Simplify z into z
4.686 * [taylor]: Taking taylor expansion of y in x
4.686 * [backup-simplify]: Simplify y into y
4.687 * [backup-simplify]: Simplify (* 0 y) into 0
4.687 * [backup-simplify]: Simplify (* z y) into (* z y)
4.687 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y))
4.687 * [backup-simplify]: Simplify (+ 0 (- (* z y))) into (- (* z y))
4.687 * [taylor]: Taking taylor expansion of (- (* z y)) in y
4.687 * [taylor]: Taking taylor expansion of (* z y) in y
4.687 * [taylor]: Taking taylor expansion of z in y
4.687 * [backup-simplify]: Simplify z into z
4.687 * [taylor]: Taking taylor expansion of y in y
4.687 * [backup-simplify]: Simplify 0 into 0
4.687 * [backup-simplify]: Simplify 1 into 1
4.687 * [backup-simplify]: Simplify (* z 0) into 0
4.687 * [backup-simplify]: Simplify (- 0) into 0
4.687 * [taylor]: Taking taylor expansion of 0 in z
4.688 * [backup-simplify]: Simplify 0 into 0
4.688 * [backup-simplify]: Simplify 0 into 0
4.688 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.688 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
4.688 * [backup-simplify]: Simplify (- 0) into 0
4.688 * [backup-simplify]: Simplify (+ y 0) into y
4.688 * [taylor]: Taking taylor expansion of y in y
4.688 * [backup-simplify]: Simplify 0 into 0
4.688 * [backup-simplify]: Simplify 1 into 1
4.688 * [taylor]: Taking taylor expansion of 0 in z
4.688 * [backup-simplify]: Simplify 0 into 0
4.688 * [backup-simplify]: Simplify 0 into 0
4.689 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.689 * [backup-simplify]: Simplify (- z) into (- z)
4.689 * [taylor]: Taking taylor expansion of (- z) in z
4.689 * [taylor]: Taking taylor expansion of z in z
4.689 * [backup-simplify]: Simplify 0 into 0
4.689 * [backup-simplify]: Simplify 1 into 1
4.689 * [backup-simplify]: Simplify (- 0) into 0
4.689 * [backup-simplify]: Simplify 0 into 0
4.689 * [backup-simplify]: Simplify 0 into 0
4.690 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.690 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
4.690 * [backup-simplify]: Simplify (- 0) into 0
4.691 * [backup-simplify]: Simplify (+ 0 0) into 0
4.691 * [taylor]: Taking taylor expansion of 0 in y
4.691 * [backup-simplify]: Simplify 0 into 0
4.691 * [taylor]: Taking taylor expansion of 0 in z
4.691 * [backup-simplify]: Simplify 0 into 0
4.691 * [backup-simplify]: Simplify 0 into 0
4.691 * [taylor]: Taking taylor expansion of 1 in z
4.691 * [backup-simplify]: Simplify 1 into 1
4.691 * [backup-simplify]: Simplify 1 into 1
4.691 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
4.691 * [backup-simplify]: Simplify (- 0) into 0
4.691 * [taylor]: Taking taylor expansion of 0 in z
4.691 * [backup-simplify]: Simplify 0 into 0
4.691 * [backup-simplify]: Simplify 0 into 0
4.691 * [backup-simplify]: Simplify 0 into 0
4.692 * [backup-simplify]: Simplify (- 1) into -1
4.692 * [backup-simplify]: Simplify -1 into -1
4.692 * [backup-simplify]: Simplify 0 into 0
4.693 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.693 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
4.693 * [backup-simplify]: Simplify (- 0) into 0
4.694 * [backup-simplify]: Simplify (+ 0 0) into 0
4.694 * [taylor]: Taking taylor expansion of 0 in y
4.694 * [backup-simplify]: Simplify 0 into 0
4.694 * [taylor]: Taking taylor expansion of 0 in z
4.694 * [backup-simplify]: Simplify 0 into 0
4.694 * [backup-simplify]: Simplify 0 into 0
4.694 * [taylor]: Taking taylor expansion of 0 in z
4.694 * [backup-simplify]: Simplify 0 into 0
4.694 * [backup-simplify]: Simplify 0 into 0
4.694 * [taylor]: Taking taylor expansion of 0 in z
4.694 * [backup-simplify]: Simplify 0 into 0
4.694 * [backup-simplify]: Simplify 0 into 0
4.694 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.694 * [backup-simplify]: Simplify (- 0) into 0
4.694 * [taylor]: Taking taylor expansion of 0 in z
4.694 * [backup-simplify]: Simplify 0 into 0
4.695 * [backup-simplify]: Simplify 0 into 0
4.695 * [backup-simplify]: Simplify 0 into 0
4.695 * [backup-simplify]: Simplify (+ (* -1 (* z (* y 1))) (* 1 (* 1 (* y x)))) into (- (* x y) (* z y))
4.695 * [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)))
4.695 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0
4.695 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z
4.695 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
4.695 * [taylor]: Taking taylor expansion of (* x y) in z
4.695 * [taylor]: Taking taylor expansion of x in z
4.695 * [backup-simplify]: Simplify x into x
4.695 * [taylor]: Taking taylor expansion of y in z
4.695 * [backup-simplify]: Simplify y into y
4.695 * [backup-simplify]: Simplify (* x y) into (* x y)
4.695 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.695 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
4.695 * [taylor]: Taking taylor expansion of (* z y) in z
4.695 * [taylor]: Taking taylor expansion of z in z
4.695 * [backup-simplify]: Simplify 0 into 0
4.695 * [backup-simplify]: Simplify 1 into 1
4.695 * [taylor]: Taking taylor expansion of y in z
4.695 * [backup-simplify]: Simplify y into y
4.695 * [backup-simplify]: Simplify (* 0 y) into 0
4.696 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.696 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.696 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y
4.696 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
4.696 * [taylor]: Taking taylor expansion of (* x y) in y
4.696 * [taylor]: Taking taylor expansion of x in y
4.696 * [backup-simplify]: Simplify x into x
4.696 * [taylor]: Taking taylor expansion of y in y
4.696 * [backup-simplify]: Simplify 0 into 0
4.696 * [backup-simplify]: Simplify 1 into 1
4.696 * [backup-simplify]: Simplify (* x 0) into 0
4.696 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.696 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.696 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.696 * [taylor]: Taking taylor expansion of (* z y) in y
4.696 * [taylor]: Taking taylor expansion of z in y
4.696 * [backup-simplify]: Simplify z into z
4.696 * [taylor]: Taking taylor expansion of y in y
4.696 * [backup-simplify]: Simplify 0 into 0
4.696 * [backup-simplify]: Simplify 1 into 1
4.696 * [backup-simplify]: Simplify (* z 0) into 0
4.696 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.697 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.697 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
4.697 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.697 * [taylor]: Taking taylor expansion of (* x y) in x
4.697 * [taylor]: Taking taylor expansion of x in x
4.697 * [backup-simplify]: Simplify 0 into 0
4.697 * [backup-simplify]: Simplify 1 into 1
4.697 * [taylor]: Taking taylor expansion of y in x
4.697 * [backup-simplify]: Simplify y into y
4.697 * [backup-simplify]: Simplify (* 0 y) into 0
4.697 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.697 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.697 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
4.697 * [taylor]: Taking taylor expansion of (* z y) in x
4.697 * [taylor]: Taking taylor expansion of z in x
4.697 * [backup-simplify]: Simplify z into z
4.697 * [taylor]: Taking taylor expansion of y in x
4.697 * [backup-simplify]: Simplify y into y
4.697 * [backup-simplify]: Simplify (* z y) into (* z y)
4.697 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
4.697 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
4.697 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.697 * [taylor]: Taking taylor expansion of (* x y) in x
4.697 * [taylor]: Taking taylor expansion of x in x
4.697 * [backup-simplify]: Simplify 0 into 0
4.697 * [backup-simplify]: Simplify 1 into 1
4.697 * [taylor]: Taking taylor expansion of y in x
4.697 * [backup-simplify]: Simplify y into y
4.697 * [backup-simplify]: Simplify (* 0 y) into 0
4.698 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.698 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.698 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
4.698 * [taylor]: Taking taylor expansion of (* z y) in x
4.698 * [taylor]: Taking taylor expansion of z in x
4.698 * [backup-simplify]: Simplify z into z
4.698 * [taylor]: Taking taylor expansion of y in x
4.698 * [backup-simplify]: Simplify y into y
4.698 * [backup-simplify]: Simplify (* z y) into (* z y)
4.698 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
4.698 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.698 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.698 * [taylor]: Taking taylor expansion of y in y
4.698 * [backup-simplify]: Simplify 0 into 0
4.698 * [backup-simplify]: Simplify 1 into 1
4.699 * [backup-simplify]: Simplify (/ 1 1) into 1
4.699 * [taylor]: Taking taylor expansion of 1 in z
4.699 * [backup-simplify]: Simplify 1 into 1
4.700 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.700 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.700 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y)))
4.700 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* z y)))) into (- (/ 1 (* z y)))
4.700 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
4.700 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.700 * [taylor]: Taking taylor expansion of (* z y) in y
4.700 * [taylor]: Taking taylor expansion of z in y
4.700 * [backup-simplify]: Simplify z into z
4.700 * [taylor]: Taking taylor expansion of y in y
4.700 * [backup-simplify]: Simplify 0 into 0
4.700 * [backup-simplify]: Simplify 1 into 1
4.700 * [backup-simplify]: Simplify (* z 0) into 0
4.701 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.701 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.701 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
4.701 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
4.701 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.701 * [taylor]: Taking taylor expansion of z in z
4.701 * [backup-simplify]: Simplify 0 into 0
4.701 * [backup-simplify]: Simplify 1 into 1
4.701 * [backup-simplify]: Simplify (/ 1 1) into 1
4.702 * [backup-simplify]: Simplify (- 1) into -1
4.702 * [backup-simplify]: Simplify -1 into -1
4.704 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.704 * [taylor]: Taking taylor expansion of 0 in z
4.704 * [backup-simplify]: Simplify 0 into 0
4.704 * [backup-simplify]: Simplify 1 into 1
4.705 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.705 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.705 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
4.706 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
4.706 * [backup-simplify]: Simplify (- 0) into 0
4.706 * [backup-simplify]: Simplify (+ 0 0) into 0
4.706 * [taylor]: Taking taylor expansion of 0 in y
4.706 * [backup-simplify]: Simplify 0 into 0
4.707 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
4.707 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.707 * [backup-simplify]: Simplify (- 0) into 0
4.707 * [taylor]: Taking taylor expansion of 0 in z
4.707 * [backup-simplify]: Simplify 0 into 0
4.708 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.708 * [taylor]: Taking taylor expansion of 0 in z
4.708 * [backup-simplify]: Simplify 0 into 0
4.709 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.710 * [backup-simplify]: Simplify (- 0) into 0
4.710 * [backup-simplify]: Simplify 0 into 0
4.710 * [backup-simplify]: Simplify 0 into 0
4.710 * [backup-simplify]: Simplify 0 into 0
4.711 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.711 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.712 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
4.712 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
4.712 * [backup-simplify]: Simplify (- 0) into 0
4.713 * [backup-simplify]: Simplify (+ 0 0) into 0
4.713 * [taylor]: Taking taylor expansion of 0 in y
4.713 * [backup-simplify]: Simplify 0 into 0
4.713 * [taylor]: Taking taylor expansion of 0 in z
4.713 * [backup-simplify]: Simplify 0 into 0
4.714 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.714 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.714 * [backup-simplify]: Simplify (- 0) into 0
4.714 * [taylor]: Taking taylor expansion of 0 in z
4.714 * [backup-simplify]: Simplify 0 into 0
4.715 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.715 * [taylor]: Taking taylor expansion of 0 in z
4.715 * [backup-simplify]: Simplify 0 into 0
4.715 * [backup-simplify]: Simplify 0 into 0
4.715 * [backup-simplify]: Simplify 0 into 0
4.716 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.716 * [backup-simplify]: Simplify (- 0) into 0
4.716 * [backup-simplify]: Simplify 0 into 0
4.717 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1)))) into (- (* x y) (* z y))
4.717 * [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)))
4.717 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0
4.717 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z
4.717 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
4.717 * [taylor]: Taking taylor expansion of (* x y) in z
4.718 * [taylor]: Taking taylor expansion of x in z
4.718 * [backup-simplify]: Simplify x into x
4.718 * [taylor]: Taking taylor expansion of y in z
4.718 * [backup-simplify]: Simplify y into y
4.718 * [backup-simplify]: Simplify (* x y) into (* x y)
4.718 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.718 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
4.718 * [taylor]: Taking taylor expansion of (* z y) in z
4.718 * [taylor]: Taking taylor expansion of z in z
4.718 * [backup-simplify]: Simplify 0 into 0
4.718 * [backup-simplify]: Simplify 1 into 1
4.718 * [taylor]: Taking taylor expansion of y in z
4.718 * [backup-simplify]: Simplify y into y
4.718 * [backup-simplify]: Simplify (* 0 y) into 0
4.718 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.718 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.718 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y
4.718 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
4.718 * [taylor]: Taking taylor expansion of (* x y) in y
4.718 * [taylor]: Taking taylor expansion of x in y
4.719 * [backup-simplify]: Simplify x into x
4.719 * [taylor]: Taking taylor expansion of y in y
4.719 * [backup-simplify]: Simplify 0 into 0
4.719 * [backup-simplify]: Simplify 1 into 1
4.719 * [backup-simplify]: Simplify (* x 0) into 0
4.719 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.719 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.719 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.719 * [taylor]: Taking taylor expansion of (* z y) in y
4.719 * [taylor]: Taking taylor expansion of z in y
4.719 * [backup-simplify]: Simplify z into z
4.719 * [taylor]: Taking taylor expansion of y in y
4.719 * [backup-simplify]: Simplify 0 into 0
4.719 * [backup-simplify]: Simplify 1 into 1
4.719 * [backup-simplify]: Simplify (* z 0) into 0
4.720 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.720 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.720 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
4.720 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.720 * [taylor]: Taking taylor expansion of (* x y) in x
4.720 * [taylor]: Taking taylor expansion of x in x
4.720 * [backup-simplify]: Simplify 0 into 0
4.720 * [backup-simplify]: Simplify 1 into 1
4.720 * [taylor]: Taking taylor expansion of y in x
4.720 * [backup-simplify]: Simplify y into y
4.720 * [backup-simplify]: Simplify (* 0 y) into 0
4.720 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.720 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.721 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
4.721 * [taylor]: Taking taylor expansion of (* z y) in x
4.721 * [taylor]: Taking taylor expansion of z in x
4.721 * [backup-simplify]: Simplify z into z
4.721 * [taylor]: Taking taylor expansion of y in x
4.721 * [backup-simplify]: Simplify y into y
4.721 * [backup-simplify]: Simplify (* z y) into (* z y)
4.721 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
4.721 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
4.721 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.721 * [taylor]: Taking taylor expansion of (* x y) in x
4.721 * [taylor]: Taking taylor expansion of x in x
4.721 * [backup-simplify]: Simplify 0 into 0
4.721 * [backup-simplify]: Simplify 1 into 1
4.721 * [taylor]: Taking taylor expansion of y in x
4.721 * [backup-simplify]: Simplify y into y
4.721 * [backup-simplify]: Simplify (* 0 y) into 0
4.721 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.721 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.722 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
4.722 * [taylor]: Taking taylor expansion of (* z y) in x
4.722 * [taylor]: Taking taylor expansion of z in x
4.722 * [backup-simplify]: Simplify z into z
4.722 * [taylor]: Taking taylor expansion of y in x
4.722 * [backup-simplify]: Simplify y into y
4.722 * [backup-simplify]: Simplify (* z y) into (* z y)
4.722 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
4.722 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.722 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.722 * [taylor]: Taking taylor expansion of y in y
4.722 * [backup-simplify]: Simplify 0 into 0
4.722 * [backup-simplify]: Simplify 1 into 1
4.722 * [backup-simplify]: Simplify (/ 1 1) into 1
4.722 * [taylor]: Taking taylor expansion of 1 in z
4.722 * [backup-simplify]: Simplify 1 into 1
4.723 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.723 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.723 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y)))
4.724 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* z y)))) into (- (/ 1 (* z y)))
4.724 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
4.724 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.724 * [taylor]: Taking taylor expansion of (* z y) in y
4.724 * [taylor]: Taking taylor expansion of z in y
4.724 * [backup-simplify]: Simplify z into z
4.724 * [taylor]: Taking taylor expansion of y in y
4.724 * [backup-simplify]: Simplify 0 into 0
4.724 * [backup-simplify]: Simplify 1 into 1
4.724 * [backup-simplify]: Simplify (* z 0) into 0
4.724 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.724 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.724 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
4.724 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
4.724 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.724 * [taylor]: Taking taylor expansion of z in z
4.724 * [backup-simplify]: Simplify 0 into 0
4.724 * [backup-simplify]: Simplify 1 into 1
4.725 * [backup-simplify]: Simplify (/ 1 1) into 1
4.725 * [backup-simplify]: Simplify (- 1) into -1
4.725 * [backup-simplify]: Simplify -1 into -1
4.726 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.726 * [taylor]: Taking taylor expansion of 0 in z
4.726 * [backup-simplify]: Simplify 0 into 0
4.726 * [backup-simplify]: Simplify 1 into 1
4.727 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.727 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.727 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
4.728 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
4.728 * [backup-simplify]: Simplify (- 0) into 0
4.728 * [backup-simplify]: Simplify (+ 0 0) into 0
4.728 * [taylor]: Taking taylor expansion of 0 in y
4.728 * [backup-simplify]: Simplify 0 into 0
4.729 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
4.729 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.729 * [backup-simplify]: Simplify (- 0) into 0
4.729 * [taylor]: Taking taylor expansion of 0 in z
4.729 * [backup-simplify]: Simplify 0 into 0
4.730 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.730 * [taylor]: Taking taylor expansion of 0 in z
4.730 * [backup-simplify]: Simplify 0 into 0
4.731 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.731 * [backup-simplify]: Simplify (- 0) into 0
4.731 * [backup-simplify]: Simplify 0 into 0
4.731 * [backup-simplify]: Simplify 0 into 0
4.731 * [backup-simplify]: Simplify 0 into 0
4.733 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.733 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.733 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
4.734 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
4.734 * [backup-simplify]: Simplify (- 0) into 0
4.734 * [backup-simplify]: Simplify (+ 0 0) into 0
4.734 * [taylor]: Taking taylor expansion of 0 in y
4.734 * [backup-simplify]: Simplify 0 into 0
4.734 * [taylor]: Taking taylor expansion of 0 in z
4.735 * [backup-simplify]: Simplify 0 into 0
4.735 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.735 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.736 * [backup-simplify]: Simplify (- 0) into 0
4.736 * [taylor]: Taking taylor expansion of 0 in z
4.736 * [backup-simplify]: Simplify 0 into 0
4.737 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.737 * [taylor]: Taking taylor expansion of 0 in z
4.737 * [backup-simplify]: Simplify 0 into 0
4.737 * [backup-simplify]: Simplify 0 into 0
4.737 * [backup-simplify]: Simplify 0 into 0
4.738 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.738 * [backup-simplify]: Simplify (- 0) into 0
4.738 * [backup-simplify]: Simplify 0 into 0
4.738 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1)))) into (- (* x y) (* z y))
4.738 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
4.739 * [backup-simplify]: Simplify (- (+ (* x y) (* y y)) (* y z)) into (- (+ (pow y 2) (* x y)) (* z y))
4.739 * [approximate]: Taking taylor expansion of (- (+ (pow y 2) (* x y)) (* z y)) in (x y z) around 0
4.739 * [taylor]: Taking taylor expansion of (- (+ (pow y 2) (* x y)) (* z y)) in z
4.739 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in z
4.739 * [taylor]: Taking taylor expansion of (pow y 2) in z
4.739 * [taylor]: Taking taylor expansion of y in z
4.739 * [backup-simplify]: Simplify y into y
4.739 * [taylor]: Taking taylor expansion of (* x y) in z
4.739 * [taylor]: Taking taylor expansion of x in z
4.739 * [backup-simplify]: Simplify x into x
4.739 * [taylor]: Taking taylor expansion of y in z
4.739 * [backup-simplify]: Simplify y into y
4.739 * [taylor]: Taking taylor expansion of (* z y) in z
4.739 * [taylor]: Taking taylor expansion of z in z
4.739 * [backup-simplify]: Simplify 0 into 0
4.739 * [backup-simplify]: Simplify 1 into 1
4.739 * [taylor]: Taking taylor expansion of y in z
4.739 * [backup-simplify]: Simplify y into y
4.739 * [taylor]: Taking taylor expansion of (- (+ (pow y 2) (* x y)) (* z y)) in y
4.739 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in y
4.739 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.739 * [taylor]: Taking taylor expansion of y in y
4.739 * [backup-simplify]: Simplify 0 into 0
4.739 * [backup-simplify]: Simplify 1 into 1
4.739 * [taylor]: Taking taylor expansion of (* x y) in y
4.739 * [taylor]: Taking taylor expansion of x in y
4.739 * [backup-simplify]: Simplify x into x
4.739 * [taylor]: Taking taylor expansion of y in y
4.740 * [backup-simplify]: Simplify 0 into 0
4.740 * [backup-simplify]: Simplify 1 into 1
4.740 * [taylor]: Taking taylor expansion of (* z y) in y
4.740 * [taylor]: Taking taylor expansion of z in y
4.740 * [backup-simplify]: Simplify z into z
4.740 * [taylor]: Taking taylor expansion of y in y
4.740 * [backup-simplify]: Simplify 0 into 0
4.740 * [backup-simplify]: Simplify 1 into 1
4.740 * [taylor]: Taking taylor expansion of (- (+ (pow y 2) (* x y)) (* z y)) in x
4.740 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in x
4.740 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.740 * [taylor]: Taking taylor expansion of y in x
4.740 * [backup-simplify]: Simplify y into y
4.740 * [taylor]: Taking taylor expansion of (* x y) in x
4.740 * [taylor]: Taking taylor expansion of x in x
4.740 * [backup-simplify]: Simplify 0 into 0
4.740 * [backup-simplify]: Simplify 1 into 1
4.740 * [taylor]: Taking taylor expansion of y in x
4.740 * [backup-simplify]: Simplify y into y
4.740 * [taylor]: Taking taylor expansion of (* z y) in x
4.740 * [taylor]: Taking taylor expansion of z in x
4.740 * [backup-simplify]: Simplify z into z
4.740 * [taylor]: Taking taylor expansion of y in x
4.740 * [backup-simplify]: Simplify y into y
4.740 * [taylor]: Taking taylor expansion of (- (+ (pow y 2) (* x y)) (* z y)) in x
4.740 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in x
4.740 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.740 * [taylor]: Taking taylor expansion of y in x
4.740 * [backup-simplify]: Simplify y into y
4.740 * [taylor]: Taking taylor expansion of (* x y) in x
4.740 * [taylor]: Taking taylor expansion of x in x
4.740 * [backup-simplify]: Simplify 0 into 0
4.740 * [backup-simplify]: Simplify 1 into 1
4.740 * [taylor]: Taking taylor expansion of y in x
4.740 * [backup-simplify]: Simplify y into y
4.740 * [taylor]: Taking taylor expansion of (* z y) in x
4.740 * [taylor]: Taking taylor expansion of z in x
4.740 * [backup-simplify]: Simplify z into z
4.740 * [taylor]: Taking taylor expansion of y in x
4.740 * [backup-simplify]: Simplify y into y
4.741 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.741 * [backup-simplify]: Simplify (* 0 y) into 0
4.741 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2)
4.741 * [backup-simplify]: Simplify (* z y) into (* z y)
4.741 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y))
4.741 * [backup-simplify]: Simplify (+ (pow y 2) (- (* z y))) into (- (pow y 2) (* z y))
4.741 * [taylor]: Taking taylor expansion of (- (pow y 2) (* z y)) in y
4.741 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.741 * [taylor]: Taking taylor expansion of y in y
4.741 * [backup-simplify]: Simplify 0 into 0
4.741 * [backup-simplify]: Simplify 1 into 1
4.741 * [taylor]: Taking taylor expansion of (* z y) in y
4.741 * [taylor]: Taking taylor expansion of z in y
4.741 * [backup-simplify]: Simplify z into z
4.741 * [taylor]: Taking taylor expansion of y in y
4.741 * [backup-simplify]: Simplify 0 into 0
4.741 * [backup-simplify]: Simplify 1 into 1
4.741 * [backup-simplify]: Simplify (* z 0) into 0
4.742 * [backup-simplify]: Simplify (- 0) into 0
4.742 * [backup-simplify]: Simplify (+ 0 0) into 0
4.742 * [taylor]: Taking taylor expansion of 0 in z
4.742 * [backup-simplify]: Simplify 0 into 0
4.742 * [backup-simplify]: Simplify 0 into 0
4.742 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.742 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.742 * [backup-simplify]: Simplify (+ 0 y) into y
4.742 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
4.743 * [backup-simplify]: Simplify (- 0) into 0
4.743 * [backup-simplify]: Simplify (+ y 0) into y
4.743 * [taylor]: Taking taylor expansion of y in y
4.743 * [backup-simplify]: Simplify 0 into 0
4.743 * [backup-simplify]: Simplify 1 into 1
4.743 * [taylor]: Taking taylor expansion of 0 in z
4.743 * [backup-simplify]: Simplify 0 into 0
4.743 * [backup-simplify]: Simplify 0 into 0
4.743 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.743 * [backup-simplify]: Simplify (- z) into (- z)
4.743 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
4.743 * [taylor]: Taking taylor expansion of (- z) in z
4.743 * [taylor]: Taking taylor expansion of z in z
4.743 * [backup-simplify]: Simplify 0 into 0
4.743 * [backup-simplify]: Simplify 1 into 1
4.743 * [backup-simplify]: Simplify (- 0) into 0
4.743 * [backup-simplify]: Simplify 0 into 0
4.743 * [backup-simplify]: Simplify 0 into 0
4.744 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
4.744 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.744 * [backup-simplify]: Simplify (+ 0 0) into 0
4.745 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
4.745 * [backup-simplify]: Simplify (- 0) into 0
4.745 * [backup-simplify]: Simplify (+ 0 0) into 0
4.745 * [taylor]: Taking taylor expansion of 0 in y
4.745 * [backup-simplify]: Simplify 0 into 0
4.745 * [taylor]: Taking taylor expansion of 0 in z
4.745 * [backup-simplify]: Simplify 0 into 0
4.745 * [backup-simplify]: Simplify 0 into 0
4.745 * [taylor]: Taking taylor expansion of 1 in z
4.745 * [backup-simplify]: Simplify 1 into 1
4.745 * [backup-simplify]: Simplify 1 into 1
4.746 * [backup-simplify]: Simplify (* 1 1) into 1
4.746 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
4.746 * [backup-simplify]: Simplify (- 0) into 0
4.747 * [backup-simplify]: Simplify (+ 1 0) into 1
4.747 * [taylor]: Taking taylor expansion of 1 in z
4.747 * [backup-simplify]: Simplify 1 into 1
4.747 * [backup-simplify]: Simplify 1 into 1
4.747 * [backup-simplify]: Simplify 0 into 0
4.747 * [backup-simplify]: Simplify (- 1) into -1
4.747 * [backup-simplify]: Simplify -1 into -1
4.747 * [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))
4.747 * [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)))
4.747 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in (x y z) around 0
4.747 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in z
4.747 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in z
4.747 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
4.747 * [taylor]: Taking taylor expansion of (pow y 2) in z
4.747 * [taylor]: Taking taylor expansion of y in z
4.748 * [backup-simplify]: Simplify y into y
4.748 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.748 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.748 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
4.748 * [taylor]: Taking taylor expansion of (* x y) in z
4.748 * [taylor]: Taking taylor expansion of x in z
4.748 * [backup-simplify]: Simplify x into x
4.748 * [taylor]: Taking taylor expansion of y in z
4.748 * [backup-simplify]: Simplify y into y
4.748 * [backup-simplify]: Simplify (* x y) into (* x y)
4.748 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.748 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
4.748 * [taylor]: Taking taylor expansion of (* z y) in z
4.748 * [taylor]: Taking taylor expansion of z in z
4.748 * [backup-simplify]: Simplify 0 into 0
4.748 * [backup-simplify]: Simplify 1 into 1
4.748 * [taylor]: Taking taylor expansion of y in z
4.748 * [backup-simplify]: Simplify y into y
4.748 * [backup-simplify]: Simplify (* 0 y) into 0
4.748 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.748 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.748 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in y
4.748 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in y
4.748 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.748 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.748 * [taylor]: Taking taylor expansion of y in y
4.748 * [backup-simplify]: Simplify 0 into 0
4.748 * [backup-simplify]: Simplify 1 into 1
4.749 * [backup-simplify]: Simplify (* 1 1) into 1
4.749 * [backup-simplify]: Simplify (/ 1 1) into 1
4.749 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
4.749 * [taylor]: Taking taylor expansion of (* x y) in y
4.749 * [taylor]: Taking taylor expansion of x in y
4.749 * [backup-simplify]: Simplify x into x
4.749 * [taylor]: Taking taylor expansion of y in y
4.749 * [backup-simplify]: Simplify 0 into 0
4.749 * [backup-simplify]: Simplify 1 into 1
4.749 * [backup-simplify]: Simplify (* x 0) into 0
4.749 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.749 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.749 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.749 * [taylor]: Taking taylor expansion of (* z y) in y
4.749 * [taylor]: Taking taylor expansion of z in y
4.749 * [backup-simplify]: Simplify z into z
4.749 * [taylor]: Taking taylor expansion of y in y
4.749 * [backup-simplify]: Simplify 0 into 0
4.749 * [backup-simplify]: Simplify 1 into 1
4.749 * [backup-simplify]: Simplify (* z 0) into 0
4.750 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.750 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.750 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in x
4.750 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
4.750 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.750 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.750 * [taylor]: Taking taylor expansion of y in x
4.750 * [backup-simplify]: Simplify y into y
4.750 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.750 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.750 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.750 * [taylor]: Taking taylor expansion of (* x y) in x
4.750 * [taylor]: Taking taylor expansion of x in x
4.750 * [backup-simplify]: Simplify 0 into 0
4.750 * [backup-simplify]: Simplify 1 into 1
4.750 * [taylor]: Taking taylor expansion of y in x
4.750 * [backup-simplify]: Simplify y into y
4.750 * [backup-simplify]: Simplify (* 0 y) into 0
4.750 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.750 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.751 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
4.751 * [taylor]: Taking taylor expansion of (* z y) in x
4.751 * [taylor]: Taking taylor expansion of z in x
4.751 * [backup-simplify]: Simplify z into z
4.751 * [taylor]: Taking taylor expansion of y in x
4.751 * [backup-simplify]: Simplify y into y
4.751 * [backup-simplify]: Simplify (* z y) into (* z y)
4.751 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
4.751 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in x
4.751 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
4.751 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.751 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.751 * [taylor]: Taking taylor expansion of y in x
4.751 * [backup-simplify]: Simplify y into y
4.751 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.751 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.751 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.751 * [taylor]: Taking taylor expansion of (* x y) in x
4.751 * [taylor]: Taking taylor expansion of x in x
4.751 * [backup-simplify]: Simplify 0 into 0
4.751 * [backup-simplify]: Simplify 1 into 1
4.751 * [taylor]: Taking taylor expansion of y in x
4.751 * [backup-simplify]: Simplify y into y
4.751 * [backup-simplify]: Simplify (* 0 y) into 0
4.751 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.751 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.751 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
4.751 * [taylor]: Taking taylor expansion of (* z y) in x
4.751 * [taylor]: Taking taylor expansion of z in x
4.751 * [backup-simplify]: Simplify z into z
4.751 * [taylor]: Taking taylor expansion of y in x
4.751 * [backup-simplify]: Simplify y into y
4.751 * [backup-simplify]: Simplify (* z y) into (* z y)
4.752 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
4.752 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
4.752 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.752 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.752 * [taylor]: Taking taylor expansion of y in y
4.752 * [backup-simplify]: Simplify 0 into 0
4.752 * [backup-simplify]: Simplify 1 into 1
4.752 * [backup-simplify]: Simplify (/ 1 1) into 1
4.752 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.753 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.753 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2))
4.753 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y)))
4.753 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) (- (/ 1 (* z y)))) into (- (/ 1 (pow y 2)) (/ 1 (* z y)))
4.753 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (* z y))) in y
4.753 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.753 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.753 * [taylor]: Taking taylor expansion of y in y
4.753 * [backup-simplify]: Simplify 0 into 0
4.753 * [backup-simplify]: Simplify 1 into 1
4.753 * [backup-simplify]: Simplify (* 1 1) into 1
4.753 * [backup-simplify]: Simplify (/ 1 1) into 1
4.754 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.754 * [taylor]: Taking taylor expansion of (* z y) in y
4.754 * [taylor]: Taking taylor expansion of z in y
4.754 * [backup-simplify]: Simplify z into z
4.754 * [taylor]: Taking taylor expansion of y in y
4.754 * [backup-simplify]: Simplify 0 into 0
4.754 * [backup-simplify]: Simplify 1 into 1
4.754 * [backup-simplify]: Simplify (* z 0) into 0
4.754 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.754 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.754 * [backup-simplify]: Simplify (+ 1 0) into 1
4.754 * [taylor]: Taking taylor expansion of 1 in z
4.754 * [backup-simplify]: Simplify 1 into 1
4.754 * [taylor]: Taking taylor expansion of 1 in z
4.754 * [backup-simplify]: Simplify 1 into 1
4.754 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.755 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
4.755 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.755 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.756 * [backup-simplify]: Simplify (+ 0 0) into 0
4.756 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
4.756 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
4.756 * [backup-simplify]: Simplify (- 0) into 0
4.756 * [backup-simplify]: Simplify (+ 0 0) into 0
4.756 * [taylor]: Taking taylor expansion of 0 in y
4.756 * [backup-simplify]: Simplify 0 into 0
4.757 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.757 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.757 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
4.757 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
4.757 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
4.757 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.757 * [taylor]: Taking taylor expansion of z in z
4.757 * [backup-simplify]: Simplify 0 into 0
4.757 * [backup-simplify]: Simplify 1 into 1
4.758 * [backup-simplify]: Simplify (/ 1 1) into 1
4.758 * [backup-simplify]: Simplify (- 1) into -1
4.758 * [backup-simplify]: Simplify -1 into -1
4.758 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.758 * [taylor]: Taking taylor expansion of 0 in z
4.758 * [backup-simplify]: Simplify 0 into 0
4.758 * [backup-simplify]: Simplify 1 into 1
4.758 * [backup-simplify]: Simplify 1 into 1
4.759 * [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))
4.759 * [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)))
4.759 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in (x y z) around 0
4.759 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in z
4.759 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in z
4.759 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
4.759 * [taylor]: Taking taylor expansion of (pow y 2) in z
4.759 * [taylor]: Taking taylor expansion of y in z
4.759 * [backup-simplify]: Simplify y into y
4.759 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.759 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.759 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
4.759 * [taylor]: Taking taylor expansion of (* x y) in z
4.759 * [taylor]: Taking taylor expansion of x in z
4.759 * [backup-simplify]: Simplify x into x
4.759 * [taylor]: Taking taylor expansion of y in z
4.759 * [backup-simplify]: Simplify y into y
4.759 * [backup-simplify]: Simplify (* x y) into (* x y)
4.759 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.760 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
4.760 * [taylor]: Taking taylor expansion of (* z y) in z
4.760 * [taylor]: Taking taylor expansion of z in z
4.760 * [backup-simplify]: Simplify 0 into 0
4.760 * [backup-simplify]: Simplify 1 into 1
4.760 * [taylor]: Taking taylor expansion of y in z
4.760 * [backup-simplify]: Simplify y into y
4.760 * [backup-simplify]: Simplify (* 0 y) into 0
4.760 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.760 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.760 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in y
4.760 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in y
4.760 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.760 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.760 * [taylor]: Taking taylor expansion of y in y
4.760 * [backup-simplify]: Simplify 0 into 0
4.760 * [backup-simplify]: Simplify 1 into 1
4.760 * [backup-simplify]: Simplify (* 1 1) into 1
4.761 * [backup-simplify]: Simplify (/ 1 1) into 1
4.761 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
4.761 * [taylor]: Taking taylor expansion of (* x y) in y
4.761 * [taylor]: Taking taylor expansion of x in y
4.761 * [backup-simplify]: Simplify x into x
4.761 * [taylor]: Taking taylor expansion of y in y
4.761 * [backup-simplify]: Simplify 0 into 0
4.761 * [backup-simplify]: Simplify 1 into 1
4.761 * [backup-simplify]: Simplify (* x 0) into 0
4.761 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.761 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.761 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.761 * [taylor]: Taking taylor expansion of (* z y) in y
4.761 * [taylor]: Taking taylor expansion of z in y
4.761 * [backup-simplify]: Simplify z into z
4.761 * [taylor]: Taking taylor expansion of y in y
4.761 * [backup-simplify]: Simplify 0 into 0
4.761 * [backup-simplify]: Simplify 1 into 1
4.761 * [backup-simplify]: Simplify (* z 0) into 0
4.762 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.762 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.762 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in x
4.762 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
4.762 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.762 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.762 * [taylor]: Taking taylor expansion of y in x
4.762 * [backup-simplify]: Simplify y into y
4.762 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.762 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.762 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.762 * [taylor]: Taking taylor expansion of (* x y) in x
4.762 * [taylor]: Taking taylor expansion of x in x
4.762 * [backup-simplify]: Simplify 0 into 0
4.762 * [backup-simplify]: Simplify 1 into 1
4.762 * [taylor]: Taking taylor expansion of y in x
4.762 * [backup-simplify]: Simplify y into y
4.762 * [backup-simplify]: Simplify (* 0 y) into 0
4.762 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.762 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.762 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
4.762 * [taylor]: Taking taylor expansion of (* z y) in x
4.762 * [taylor]: Taking taylor expansion of z in x
4.762 * [backup-simplify]: Simplify z into z
4.762 * [taylor]: Taking taylor expansion of y in x
4.762 * [backup-simplify]: Simplify y into y
4.762 * [backup-simplify]: Simplify (* z y) into (* z y)
4.763 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
4.763 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in x
4.763 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
4.763 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.763 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.763 * [taylor]: Taking taylor expansion of y in x
4.763 * [backup-simplify]: Simplify y into y
4.763 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.763 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.763 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.763 * [taylor]: Taking taylor expansion of (* x y) in x
4.763 * [taylor]: Taking taylor expansion of x in x
4.763 * [backup-simplify]: Simplify 0 into 0
4.763 * [backup-simplify]: Simplify 1 into 1
4.763 * [taylor]: Taking taylor expansion of y in x
4.763 * [backup-simplify]: Simplify y into y
4.763 * [backup-simplify]: Simplify (* 0 y) into 0
4.763 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.763 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.763 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
4.763 * [taylor]: Taking taylor expansion of (* z y) in x
4.763 * [taylor]: Taking taylor expansion of z in x
4.763 * [backup-simplify]: Simplify z into z
4.763 * [taylor]: Taking taylor expansion of y in x
4.763 * [backup-simplify]: Simplify y into y
4.763 * [backup-simplify]: Simplify (* z y) into (* z y)
4.764 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
4.764 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
4.764 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.764 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.764 * [taylor]: Taking taylor expansion of y in y
4.764 * [backup-simplify]: Simplify 0 into 0
4.764 * [backup-simplify]: Simplify 1 into 1
4.764 * [backup-simplify]: Simplify (/ 1 1) into 1
4.764 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.765 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.765 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2))
4.765 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y)))
4.765 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) (- (/ 1 (* z y)))) into (- (/ 1 (pow y 2)) (/ 1 (* z y)))
4.765 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (* z y))) in y
4.765 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.765 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.765 * [taylor]: Taking taylor expansion of y in y
4.765 * [backup-simplify]: Simplify 0 into 0
4.765 * [backup-simplify]: Simplify 1 into 1
4.765 * [backup-simplify]: Simplify (* 1 1) into 1
4.765 * [backup-simplify]: Simplify (/ 1 1) into 1
4.766 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.766 * [taylor]: Taking taylor expansion of (* z y) in y
4.766 * [taylor]: Taking taylor expansion of z in y
4.766 * [backup-simplify]: Simplify z into z
4.766 * [taylor]: Taking taylor expansion of y in y
4.766 * [backup-simplify]: Simplify 0 into 0
4.766 * [backup-simplify]: Simplify 1 into 1
4.766 * [backup-simplify]: Simplify (* z 0) into 0
4.766 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.766 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.766 * [backup-simplify]: Simplify (+ 1 0) into 1
4.766 * [taylor]: Taking taylor expansion of 1 in z
4.766 * [backup-simplify]: Simplify 1 into 1
4.766 * [taylor]: Taking taylor expansion of 1 in z
4.766 * [backup-simplify]: Simplify 1 into 1
4.766 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.767 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
4.767 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.767 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.768 * [backup-simplify]: Simplify (+ 0 0) into 0
4.768 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
4.768 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
4.768 * [backup-simplify]: Simplify (- 0) into 0
4.768 * [backup-simplify]: Simplify (+ 0 0) into 0
4.768 * [taylor]: Taking taylor expansion of 0 in y
4.768 * [backup-simplify]: Simplify 0 into 0
4.769 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.769 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.769 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
4.769 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
4.769 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
4.769 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.769 * [taylor]: Taking taylor expansion of z in z
4.769 * [backup-simplify]: Simplify 0 into 0
4.769 * [backup-simplify]: Simplify 1 into 1
4.770 * [backup-simplify]: Simplify (/ 1 1) into 1
4.770 * [backup-simplify]: Simplify (- 1) into -1
4.770 * [backup-simplify]: Simplify -1 into -1
4.770 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.770 * [taylor]: Taking taylor expansion of 0 in z
4.770 * [backup-simplify]: Simplify 0 into 0
4.771 * [backup-simplify]: Simplify 1 into 1
4.771 * [backup-simplify]: Simplify 1 into 1
4.771 * [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))
4.771 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
4.771 * [backup-simplify]: Simplify (+ (* x y) (* y y)) into (+ (pow y 2) (* x y))
4.771 * [approximate]: Taking taylor expansion of (+ (pow y 2) (* x y)) in (x y) around 0
4.771 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in y
4.771 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.771 * [taylor]: Taking taylor expansion of y in y
4.771 * [backup-simplify]: Simplify 0 into 0
4.771 * [backup-simplify]: Simplify 1 into 1
4.771 * [taylor]: Taking taylor expansion of (* x y) in y
4.771 * [taylor]: Taking taylor expansion of x in y
4.771 * [backup-simplify]: Simplify x into x
4.771 * [taylor]: Taking taylor expansion of y in y
4.771 * [backup-simplify]: Simplify 0 into 0
4.771 * [backup-simplify]: Simplify 1 into 1
4.771 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in x
4.771 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.771 * [taylor]: Taking taylor expansion of y in x
4.771 * [backup-simplify]: Simplify y into y
4.771 * [taylor]: Taking taylor expansion of (* x y) in x
4.771 * [taylor]: Taking taylor expansion of x in x
4.771 * [backup-simplify]: Simplify 0 into 0
4.771 * [backup-simplify]: Simplify 1 into 1
4.771 * [taylor]: Taking taylor expansion of y in x
4.771 * [backup-simplify]: Simplify y into y
4.771 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in x
4.771 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.771 * [taylor]: Taking taylor expansion of y in x
4.772 * [backup-simplify]: Simplify y into y
4.772 * [taylor]: Taking taylor expansion of (* x y) in x
4.772 * [taylor]: Taking taylor expansion of x in x
4.772 * [backup-simplify]: Simplify 0 into 0
4.772 * [backup-simplify]: Simplify 1 into 1
4.772 * [taylor]: Taking taylor expansion of y in x
4.772 * [backup-simplify]: Simplify y into y
4.772 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.772 * [backup-simplify]: Simplify (* 0 y) into 0
4.772 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2)
4.772 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.772 * [taylor]: Taking taylor expansion of y in y
4.772 * [backup-simplify]: Simplify 0 into 0
4.772 * [backup-simplify]: Simplify 1 into 1
4.772 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.772 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.772 * [backup-simplify]: Simplify (+ 0 y) into y
4.772 * [taylor]: Taking taylor expansion of y in y
4.772 * [backup-simplify]: Simplify 0 into 0
4.772 * [backup-simplify]: Simplify 1 into 1
4.772 * [backup-simplify]: Simplify 0 into 0
4.773 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
4.774 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.774 * [backup-simplify]: Simplify (+ 0 0) into 0
4.774 * [taylor]: Taking taylor expansion of 0 in y
4.774 * [backup-simplify]: Simplify 0 into 0
4.774 * [backup-simplify]: Simplify 0 into 0
4.774 * [backup-simplify]: Simplify 1 into 1
4.774 * [backup-simplify]: Simplify (* 1 1) into 1
4.774 * [backup-simplify]: Simplify 1 into 1
4.775 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
4.776 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.777 * [backup-simplify]: Simplify (+ 0 0) into 0
4.777 * [taylor]: Taking taylor expansion of 0 in y
4.777 * [backup-simplify]: Simplify 0 into 0
4.777 * [backup-simplify]: Simplify 0 into 0
4.777 * [backup-simplify]: Simplify 0 into 0
4.777 * [backup-simplify]: Simplify 0 into 0
4.777 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.777 * [backup-simplify]: Simplify 0 into 0
4.779 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.780 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.780 * [backup-simplify]: Simplify (+ 0 0) into 0
4.780 * [taylor]: Taking taylor expansion of 0 in y
4.780 * [backup-simplify]: Simplify 0 into 0
4.780 * [backup-simplify]: Simplify 0 into 0
4.780 * [backup-simplify]: Simplify 0 into 0
4.781 * [backup-simplify]: Simplify (+ (* 1 (pow (* y 1) 2)) (* 1 (* y x))) into (+ (pow y 2) (* x y))
4.781 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 y)) (* (/ 1 y) (/ 1 y))) into (+ (/ 1 (pow y 2)) (/ 1 (* x y)))
4.781 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in (x y) around 0
4.781 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in y
4.781 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.781 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.781 * [taylor]: Taking taylor expansion of y in y
4.781 * [backup-simplify]: Simplify 0 into 0
4.781 * [backup-simplify]: Simplify 1 into 1
4.781 * [backup-simplify]: Simplify (* 1 1) into 1
4.782 * [backup-simplify]: Simplify (/ 1 1) into 1
4.782 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
4.782 * [taylor]: Taking taylor expansion of (* x y) in y
4.782 * [taylor]: Taking taylor expansion of x in y
4.782 * [backup-simplify]: Simplify x into x
4.782 * [taylor]: Taking taylor expansion of y in y
4.782 * [backup-simplify]: Simplify 0 into 0
4.782 * [backup-simplify]: Simplify 1 into 1
4.782 * [backup-simplify]: Simplify (* x 0) into 0
4.782 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.782 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.783 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
4.783 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.783 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.783 * [taylor]: Taking taylor expansion of y in x
4.783 * [backup-simplify]: Simplify y into y
4.783 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.783 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.783 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.783 * [taylor]: Taking taylor expansion of (* x y) in x
4.783 * [taylor]: Taking taylor expansion of x in x
4.783 * [backup-simplify]: Simplify 0 into 0
4.783 * [backup-simplify]: Simplify 1 into 1
4.783 * [taylor]: Taking taylor expansion of y in x
4.783 * [backup-simplify]: Simplify y into y
4.783 * [backup-simplify]: Simplify (* 0 y) into 0
4.783 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.783 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.784 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
4.784 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.784 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.784 * [taylor]: Taking taylor expansion of y in x
4.784 * [backup-simplify]: Simplify y into y
4.784 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.784 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.784 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.784 * [taylor]: Taking taylor expansion of (* x y) in x
4.784 * [taylor]: Taking taylor expansion of x in x
4.784 * [backup-simplify]: Simplify 0 into 0
4.784 * [backup-simplify]: Simplify 1 into 1
4.784 * [taylor]: Taking taylor expansion of y in x
4.784 * [backup-simplify]: Simplify y into y
4.784 * [backup-simplify]: Simplify (* 0 y) into 0
4.784 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.784 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.785 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
4.785 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.785 * [taylor]: Taking taylor expansion of y in y
4.785 * [backup-simplify]: Simplify 0 into 0
4.785 * [backup-simplify]: Simplify 1 into 1
4.785 * [backup-simplify]: Simplify (/ 1 1) into 1
4.786 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.786 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.786 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2))
4.786 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.786 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.786 * [taylor]: Taking taylor expansion of y in y
4.786 * [backup-simplify]: Simplify 0 into 0
4.786 * [backup-simplify]: Simplify 1 into 1
4.787 * [backup-simplify]: Simplify (* 1 1) into 1
4.787 * [backup-simplify]: Simplify (/ 1 1) into 1
4.787 * [backup-simplify]: Simplify 1 into 1
4.787 * [backup-simplify]: Simplify 1 into 1
4.787 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.787 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
4.788 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.789 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.789 * [backup-simplify]: Simplify (+ 0 0) into 0
4.789 * [taylor]: Taking taylor expansion of 0 in y
4.789 * [backup-simplify]: Simplify 0 into 0
4.790 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.790 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.790 * [backup-simplify]: Simplify 0 into 0
4.791 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.791 * [backup-simplify]: Simplify 0 into 0
4.791 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
4.792 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
4.793 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.793 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.794 * [backup-simplify]: Simplify (+ 0 0) into 0
4.794 * [taylor]: Taking taylor expansion of 0 in y
4.794 * [backup-simplify]: Simplify 0 into 0
4.795 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.795 * [backup-simplify]: Simplify 0 into 0
4.796 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.796 * [backup-simplify]: Simplify 0 into 0
4.797 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
4.798 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
4.799 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
4.799 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.800 * [backup-simplify]: Simplify (+ 0 0) into 0
4.800 * [taylor]: Taking taylor expansion of 0 in y
4.800 * [backup-simplify]: Simplify 0 into 0
4.800 * [backup-simplify]: Simplify 0 into 0
4.801 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.802 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.802 * [backup-simplify]: Simplify 0 into 0
4.802 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) (* 1 (pow (* (/ 1 (/ 1 y)) 1) 2))) into (+ (pow y 2) (* x y))
4.802 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- y)) (/ 1 (- y)))) into (+ (/ 1 (pow y 2)) (/ 1 (* x y)))
4.802 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in (x y) around 0
4.802 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in y
4.802 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.802 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.803 * [taylor]: Taking taylor expansion of y in y
4.803 * [backup-simplify]: Simplify 0 into 0
4.803 * [backup-simplify]: Simplify 1 into 1
4.803 * [backup-simplify]: Simplify (* 1 1) into 1
4.803 * [backup-simplify]: Simplify (/ 1 1) into 1
4.803 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
4.803 * [taylor]: Taking taylor expansion of (* x y) in y
4.803 * [taylor]: Taking taylor expansion of x in y
4.803 * [backup-simplify]: Simplify x into x
4.803 * [taylor]: Taking taylor expansion of y in y
4.803 * [backup-simplify]: Simplify 0 into 0
4.803 * [backup-simplify]: Simplify 1 into 1
4.803 * [backup-simplify]: Simplify (* x 0) into 0
4.804 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.804 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.804 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
4.804 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.804 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.804 * [taylor]: Taking taylor expansion of y in x
4.804 * [backup-simplify]: Simplify y into y
4.804 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.804 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.804 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.804 * [taylor]: Taking taylor expansion of (* x y) in x
4.804 * [taylor]: Taking taylor expansion of x in x
4.804 * [backup-simplify]: Simplify 0 into 0
4.804 * [backup-simplify]: Simplify 1 into 1
4.804 * [taylor]: Taking taylor expansion of y in x
4.804 * [backup-simplify]: Simplify y into y
4.804 * [backup-simplify]: Simplify (* 0 y) into 0
4.805 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.805 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.805 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
4.805 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.805 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.805 * [taylor]: Taking taylor expansion of y in x
4.805 * [backup-simplify]: Simplify y into y
4.805 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.805 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.805 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.805 * [taylor]: Taking taylor expansion of (* x y) in x
4.805 * [taylor]: Taking taylor expansion of x in x
4.805 * [backup-simplify]: Simplify 0 into 0
4.805 * [backup-simplify]: Simplify 1 into 1
4.805 * [taylor]: Taking taylor expansion of y in x
4.805 * [backup-simplify]: Simplify y into y
4.805 * [backup-simplify]: Simplify (* 0 y) into 0
4.806 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.806 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.806 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
4.806 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.806 * [taylor]: Taking taylor expansion of y in y
4.806 * [backup-simplify]: Simplify 0 into 0
4.806 * [backup-simplify]: Simplify 1 into 1
4.806 * [backup-simplify]: Simplify (/ 1 1) into 1
4.807 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.807 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.807 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2))
4.807 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.807 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.807 * [taylor]: Taking taylor expansion of y in y
4.808 * [backup-simplify]: Simplify 0 into 0
4.808 * [backup-simplify]: Simplify 1 into 1
4.808 * [backup-simplify]: Simplify (* 1 1) into 1
4.808 * [backup-simplify]: Simplify (/ 1 1) into 1
4.808 * [backup-simplify]: Simplify 1 into 1
4.808 * [backup-simplify]: Simplify 1 into 1
4.808 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.809 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
4.810 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.810 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.810 * [backup-simplify]: Simplify (+ 0 0) into 0
4.810 * [taylor]: Taking taylor expansion of 0 in y
4.810 * [backup-simplify]: Simplify 0 into 0
4.811 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.812 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.812 * [backup-simplify]: Simplify 0 into 0
4.812 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.812 * [backup-simplify]: Simplify 0 into 0
4.812 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
4.813 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
4.814 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.814 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.814 * [backup-simplify]: Simplify (+ 0 0) into 0
4.814 * [taylor]: Taking taylor expansion of 0 in y
4.814 * [backup-simplify]: Simplify 0 into 0
4.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.815 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.815 * [backup-simplify]: Simplify 0 into 0
4.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.816 * [backup-simplify]: Simplify 0 into 0
4.816 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
4.816 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
4.818 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
4.818 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.818 * [backup-simplify]: Simplify (+ 0 0) into 0
4.818 * [taylor]: Taking taylor expansion of 0 in y
4.818 * [backup-simplify]: Simplify 0 into 0
4.819 * [backup-simplify]: Simplify 0 into 0
4.820 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.821 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.821 * [backup-simplify]: Simplify 0 into 0
4.821 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (* 1 (pow (* (/ 1 (/ 1 (- y))) 1) 2))) into (+ (pow y 2) (* x y))
4.821 * * * [progress]: simplifying candidates
4.822 * [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))) (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))
  (* (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)
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (+ (pow y 2) (* x y)) (* z y))
  (- (+ (pow y 2) (* x y)) (* z y))
  (- (+ (pow y 2) (* x y)) (* z y))
  (+ (pow y 2) (* x y))
  (+ (pow y 2) (* x y))
  (+ (pow y 2) (* x y))
4.824 * * [simplify]: iteration 0: 83 enodes
4.853 * * [simplify]: iteration 1: 262 enodes
5.033 * * [simplify]: iteration 2: 1359 enodes
5.412 * * [simplify]: iteration complete: 5002 enodes
5.412 * * [simplify]: Extracting #0: cost 44 inf + 0
5.413 * * [simplify]: Extracting #1: cost 665 inf + 0
5.419 * * [simplify]: Extracting #2: cost 1593 inf + 14334
5.442 * * [simplify]: Extracting #3: cost 1174 inf + 142129
5.499 * * [simplify]: Extracting #4: cost 194 inf + 310002
5.575 * * [simplify]: Extracting #5: cost 57 inf + 352895
5.659 * * [simplify]: Extracting #6: cost 8 inf + 365548
5.744 * * [simplify]: Extracting #7: cost 0 inf + 367895
5.820 * [simplify]: Simplified to:
  (* (exp (* y (- x z))) 1)
  (* (exp (* y (- x z))) 1)
  (* (exp (* y (- x z))) 1)
  (log (- (* y (+ x (- y z))) (* y y)))
  (* (exp (* y (- x z))) 1)
  (* (cbrt (- (* y (+ x (- y z))) (* y y))) (cbrt (- (* y (+ x (- y z))) (* y y))))
  (cbrt (- (* y (+ x (- y z))) (* y y)))
  (* (* (- (* y (+ x (- y z))) (* y y)) (- (* y (+ x (- y z))) (* y y))) (- (* y (+ x (- y z))) (* y y)))
  (sqrt (- (* y (+ x (- y z))) (* y y)))
  (sqrt (- (* y (+ x (- y z))) (* y y)))
  (- (* (* y (+ x (- y z))) (* (* y (+ x (- y z))) (* y (+ x (- y z))))) (* (* (* y y) (* y y)) (* y y)))
  (+ (* (* y (+ x (- y z))) (* y (+ x (- y z)))) (+ (* (* y y) (* y y)) (* (* (* y (+ x (- y z))) y) y)))
  (* y (- y))
  (* (+ (* y (+ x (- y z))) (* y y)) (- (* y (+ x (- y z))) (* y y)))
  (+ (* y (+ x y)) (* y (- y z)))
  (+ (sqrt (* y (+ x (- y z)))) y)
  (- (sqrt (* y (+ x (- y z)))) y)
  (- (+ x (- y z)) y)
  (* y (- (- z) y))
  (* y (- (- y z) y))
  (* y (- (- z) y))
  (* y (+ z y))
  (* y (- y))
  (exp (* y (+ x (- y z))))
  (exp (* y (+ x (- y z))))
  (log (* y (+ x (- y z))))
  (exp (* y (+ x (- y z))))
  (* (cbrt (* y (+ x (- y z)))) (cbrt (* y (+ x (- y z)))))
  (cbrt (* y (+ x (- y z))))
  (* (* y (+ x (- y z))) (* (* y (+ x (- y z))) (* y (+ x (- y z)))))
  (sqrt (* y (+ x (- y z))))
  (sqrt (* y (+ x (- y z))))
  (- (* (* y (+ x y)) (* (* y (+ x y)) (* y (+ x y)))) (* (* y z) (* (* y z) (* y z))))
  (+ (* (* y (+ x y)) (* y (+ x y))) (* (+ (* y (+ x y)) (* y z)) (* y z)))
  (- (* y z))
  (- (* (* y (+ x y)) (* y (+ x y))) (* (* y z) (* y z)))
  (* y (+ z (+ x y)))
  (+ x (- y z))
  (* y (- y z))
  (- (* y z))
  (exp (* y (+ x y)))
  (log (* y (+ x y)))
  (exp (* y (+ x y)))
  (* (cbrt (* y (+ x y))) (cbrt (* y (+ x y))))
  (cbrt (* y (+ x y)))
  (* (* y (+ x y)) (* (* y (+ x y)) (* y (+ x y))))
  (sqrt (* y (+ x y)))
  (sqrt (* y (+ x y)))
  (* (* y (* y y)) (+ (* y (* y y)) (* x (* x x))))
  (- (* (* y y) (* y y)) (- (* (* x y) (* y y)) (* (* x y) (* x y))))
  (* (* y y) (- (* x x) (* y y)))
  (* y (- x y))
  (+ x y)
  (* y (- x z))
  (* y (- x z))
  (* y (- x z))
  (* y (+ x (- y z)))
  (* y (+ x (- y z)))
  (* y (+ x (- y z)))
  (* y (+ x y))
  (* y (+ x y))
  (* y (+ x y))
5.824 * * * [progress]: adding candidates to table
6.091 * [progress]: [Phase 3 of 3] Extracting.
6.091 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (* (- x z) y))> #<alt (λ (x y z) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))>)
6.092 * * * [regime-changes]: Trying 4 branch expressions: ((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) z y x)
6.092 * * * * [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)))>)
6.135 * * * * [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)))>)
6.182 * * * * [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)))>)
6.247 * * * * [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)))>)
6.283 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
6.283 * [simplify]: Simplifying:
  (* (- x z) y)
6.283 * * [simplify]: iteration 0: 5 enodes
6.283 * * [simplify]: iteration 1: 6 enodes
6.283 * * [simplify]: iteration complete: 6 enodes
6.283 * * [simplify]: Extracting #0: cost 1 inf + 0
6.283 * * [simplify]: Extracting #1: cost 3 inf + 0
6.284 * * [simplify]: Extracting #2: cost 4 inf + 1
6.284 * * [simplify]: Extracting #3: cost 2 inf + 3
6.284 * * [simplify]: Extracting #4: cost 0 inf + 128
6.284 * [simplify]: Simplified to:
  (* (- x z) y)
8.751 * [regime-testing]: Baseline error score: 0.011626453306663334
8.760 * [regime-testing]: Oracle error score: 0.0075009376172021506
8.782 * [regime-testing]: End program error score: 0.011626453306663334
8.867 * [regime-testing]: Target error score: 0.011626453306663334