120.316 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.060 * * * [progress]: [2/2] Setting up program.
0.067 * [progress]: [Phase 2 of 3] Improving.
0.068 * [simplify]: Simplifying:
  (+ (- (- (* x y) (* y z)) (* y y)) (* y y))
0.068 * * [simplify]: iteration 0: 9 enodes
0.072 * * [simplify]: iteration 1: 21 enodes
0.083 * * [simplify]: iteration 2: 60 enodes
0.119 * * [simplify]: iteration 3: 168 enodes
0.580 * * [simplify]: iteration 4: 393 enodes
2.410 * * [simplify]: iteration 5: 1145 enodes
10.738 * * [simplify]: iteration 6: 3446 enodes
17.843 * * [simplify]: iteration complete: 5002 enodes
17.843 * * [simplify]: Extracting #0: cost 1 inf + 0
17.845 * * [simplify]: Extracting #1: cost 150 inf + 0
17.854 * * [simplify]: Extracting #2: cost 418 inf + 3217
17.885 * * [simplify]: Extracting #3: cost 94 inf + 43480
17.943 * * [simplify]: Extracting #4: cost 1 inf + 57647
18.002 * * [simplify]: Extracting #5: cost 0 inf + 57414
18.182 * * [simplify]: Extracting #6: cost 0 inf + 57329
18.240 * [simplify]: Simplified to:
  (* y (- x z))
18.355 * * [progress]: iteration 1 / 4
18.355 * * * [progress]: picking best candidate
18.406 * * * * [pick]: Picked  #<alt (λ (x y z) (* y (- x z)))>
18.406 * * * [progress]: localizing error
18.494 * * * [progress]: generating rewritten candidates
18.494 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
18.546 * * * [progress]: generating series expansions
18.546 * * * * [progress]: [ 1 / 1 ] generating series at (2)
18.546 * [backup-simplify]: Simplify (* y (- x z)) into (* y (- x z))
18.546 * [approximate]: Taking taylor expansion of (* y (- x z)) in (y x z) around 0
18.546 * [taylor]: Taking taylor expansion of (* y (- x z)) in z
18.546 * [taylor]: Taking taylor expansion of y in z
18.546 * [backup-simplify]: Simplify y into y
18.546 * [taylor]: Taking taylor expansion of (- x z) in z
18.546 * [taylor]: Taking taylor expansion of x in z
18.546 * [backup-simplify]: Simplify x into x
18.546 * [taylor]: Taking taylor expansion of z in z
18.546 * [backup-simplify]: Simplify 0 into 0
18.546 * [backup-simplify]: Simplify 1 into 1
18.546 * [taylor]: Taking taylor expansion of (* y (- x z)) in x
18.546 * [taylor]: Taking taylor expansion of y in x
18.546 * [backup-simplify]: Simplify y into y
18.546 * [taylor]: Taking taylor expansion of (- x z) in x
18.546 * [taylor]: Taking taylor expansion of x in x
18.546 * [backup-simplify]: Simplify 0 into 0
18.546 * [backup-simplify]: Simplify 1 into 1
18.546 * [taylor]: Taking taylor expansion of z in x
18.546 * [backup-simplify]: Simplify z into z
18.546 * [taylor]: Taking taylor expansion of (* y (- x z)) in y
18.547 * [taylor]: Taking taylor expansion of y in y
18.547 * [backup-simplify]: Simplify 0 into 0
18.547 * [backup-simplify]: Simplify 1 into 1
18.547 * [taylor]: Taking taylor expansion of (- x z) in y
18.547 * [taylor]: Taking taylor expansion of x in y
18.547 * [backup-simplify]: Simplify x into x
18.547 * [taylor]: Taking taylor expansion of z in y
18.547 * [backup-simplify]: Simplify z into z
18.547 * [taylor]: Taking taylor expansion of (* y (- x z)) in y
18.547 * [taylor]: Taking taylor expansion of y in y
18.547 * [backup-simplify]: Simplify 0 into 0
18.547 * [backup-simplify]: Simplify 1 into 1
18.547 * [taylor]: Taking taylor expansion of (- x z) in y
18.547 * [taylor]: Taking taylor expansion of x in y
18.547 * [backup-simplify]: Simplify x into x
18.547 * [taylor]: Taking taylor expansion of z in y
18.547 * [backup-simplify]: Simplify z into z
18.547 * [backup-simplify]: Simplify (- z) into (- z)
18.547 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
18.547 * [backup-simplify]: Simplify (* 0 (- x z)) into 0
18.547 * [taylor]: Taking taylor expansion of 0 in x
18.547 * [backup-simplify]: Simplify 0 into 0
18.547 * [taylor]: Taking taylor expansion of 0 in z
18.547 * [backup-simplify]: Simplify 0 into 0
18.547 * [backup-simplify]: Simplify 0 into 0
18.548 * [backup-simplify]: Simplify (- 0) into 0
18.549 * [backup-simplify]: Simplify (+ 0 0) into 0
18.549 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- x z))) into (- x z)
18.549 * [taylor]: Taking taylor expansion of (- x z) in x
18.549 * [taylor]: Taking taylor expansion of x in x
18.549 * [backup-simplify]: Simplify 0 into 0
18.549 * [backup-simplify]: Simplify 1 into 1
18.549 * [taylor]: Taking taylor expansion of z in x
18.549 * [backup-simplify]: Simplify z into z
18.549 * [backup-simplify]: Simplify (- z) into (- z)
18.549 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
18.549 * [taylor]: Taking taylor expansion of (- z) in z
18.549 * [taylor]: Taking taylor expansion of z in z
18.549 * [backup-simplify]: Simplify 0 into 0
18.549 * [backup-simplify]: Simplify 1 into 1
18.550 * [backup-simplify]: Simplify (- 0) into 0
18.550 * [backup-simplify]: Simplify 0 into 0
18.550 * [taylor]: Taking taylor expansion of 0 in z
18.550 * [backup-simplify]: Simplify 0 into 0
18.550 * [backup-simplify]: Simplify 0 into 0
18.550 * [backup-simplify]: Simplify 0 into 0
18.550 * [backup-simplify]: Simplify (- 0) into 0
18.551 * [backup-simplify]: Simplify (+ 0 0) into 0
18.552 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- x z)))) into 0
18.552 * [taylor]: Taking taylor expansion of 0 in x
18.552 * [backup-simplify]: Simplify 0 into 0
18.552 * [taylor]: Taking taylor expansion of 0 in z
18.552 * [backup-simplify]: Simplify 0 into 0
18.552 * [backup-simplify]: Simplify 0 into 0
18.552 * [backup-simplify]: Simplify (- 0) into 0
18.553 * [backup-simplify]: Simplify (+ 1 0) into 1
18.553 * [taylor]: Taking taylor expansion of 1 in z
18.553 * [backup-simplify]: Simplify 1 into 1
18.553 * [backup-simplify]: Simplify 1 into 1
18.553 * [taylor]: Taking taylor expansion of 0 in z
18.553 * [backup-simplify]: Simplify 0 into 0
18.553 * [backup-simplify]: Simplify 0 into 0
18.553 * [backup-simplify]: Simplify (- 1) into -1
18.553 * [backup-simplify]: Simplify -1 into -1
18.553 * [backup-simplify]: Simplify 0 into 0
18.553 * [backup-simplify]: Simplify 0 into 0
18.554 * [backup-simplify]: Simplify (- 0) into 0
18.554 * [backup-simplify]: Simplify (+ 0 0) into 0
18.555 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- x z))))) into 0
18.555 * [taylor]: Taking taylor expansion of 0 in x
18.555 * [backup-simplify]: Simplify 0 into 0
18.556 * [taylor]: Taking taylor expansion of 0 in z
18.556 * [backup-simplify]: Simplify 0 into 0
18.556 * [backup-simplify]: Simplify 0 into 0
18.556 * [taylor]: Taking taylor expansion of 0 in z
18.556 * [backup-simplify]: Simplify 0 into 0
18.556 * [backup-simplify]: Simplify 0 into 0
18.556 * [backup-simplify]: Simplify (- 0) into 0
18.556 * [backup-simplify]: Simplify (+ 0 0) into 0
18.557 * [taylor]: Taking taylor expansion of 0 in z
18.557 * [backup-simplify]: Simplify 0 into 0
18.557 * [backup-simplify]: Simplify 0 into 0
18.557 * [taylor]: Taking taylor expansion of 0 in z
18.557 * [backup-simplify]: Simplify 0 into 0
18.557 * [backup-simplify]: Simplify 0 into 0
18.557 * [backup-simplify]: Simplify (+ (* -1 (* z (* 1 y))) (* 1 (* 1 (* x y)))) into (- (* x y) (* z y))
18.557 * [backup-simplify]: Simplify (* (/ 1 y) (- (/ 1 x) (/ 1 z))) into (/ (- (/ 1 x) (/ 1 z)) y)
18.557 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (y x z) around 0
18.557 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z
18.557 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
18.557 * [taylor]: Taking taylor expansion of (/ 1 x) in z
18.557 * [taylor]: Taking taylor expansion of x in z
18.557 * [backup-simplify]: Simplify x into x
18.557 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.557 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.557 * [taylor]: Taking taylor expansion of z in z
18.558 * [backup-simplify]: Simplify 0 into 0
18.558 * [backup-simplify]: Simplify 1 into 1
18.558 * [backup-simplify]: Simplify (/ 1 1) into 1
18.558 * [taylor]: Taking taylor expansion of y in z
18.558 * [backup-simplify]: Simplify y into y
18.558 * [backup-simplify]: Simplify (- 1) into -1
18.559 * [backup-simplify]: Simplify (+ 0 -1) into -1
18.559 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
18.559 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
18.559 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
18.559 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.559 * [taylor]: Taking taylor expansion of x in x
18.559 * [backup-simplify]: Simplify 0 into 0
18.559 * [backup-simplify]: Simplify 1 into 1
18.559 * [backup-simplify]: Simplify (/ 1 1) into 1
18.559 * [taylor]: Taking taylor expansion of (/ 1 z) in x
18.559 * [taylor]: Taking taylor expansion of z in x
18.560 * [backup-simplify]: Simplify z into z
18.560 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
18.560 * [taylor]: Taking taylor expansion of y in x
18.560 * [backup-simplify]: Simplify y into y
18.560 * [backup-simplify]: Simplify (+ 1 0) into 1
18.560 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
18.560 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
18.560 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
18.560 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.560 * [taylor]: Taking taylor expansion of x in y
18.560 * [backup-simplify]: Simplify x into x
18.560 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.560 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.560 * [taylor]: Taking taylor expansion of z in y
18.560 * [backup-simplify]: Simplify z into z
18.561 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
18.561 * [taylor]: Taking taylor expansion of y in y
18.561 * [backup-simplify]: Simplify 0 into 0
18.561 * [backup-simplify]: Simplify 1 into 1
18.561 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
18.561 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
18.561 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z))
18.561 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
18.561 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
18.561 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.561 * [taylor]: Taking taylor expansion of x in y
18.561 * [backup-simplify]: Simplify x into x
18.561 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.561 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.561 * [taylor]: Taking taylor expansion of z in y
18.561 * [backup-simplify]: Simplify z into z
18.561 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
18.561 * [taylor]: Taking taylor expansion of y in y
18.561 * [backup-simplify]: Simplify 0 into 0
18.561 * [backup-simplify]: Simplify 1 into 1
18.562 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
18.562 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
18.562 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z))
18.562 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
18.562 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.562 * [taylor]: Taking taylor expansion of x in x
18.562 * [backup-simplify]: Simplify 0 into 0
18.562 * [backup-simplify]: Simplify 1 into 1
18.563 * [backup-simplify]: Simplify (/ 1 1) into 1
18.563 * [taylor]: Taking taylor expansion of (/ 1 z) in x
18.563 * [taylor]: Taking taylor expansion of z in x
18.563 * [backup-simplify]: Simplify z into z
18.563 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
18.563 * [backup-simplify]: Simplify (+ 1 0) into 1
18.563 * [taylor]: Taking taylor expansion of 1 in z
18.563 * [backup-simplify]: Simplify 1 into 1
18.563 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
18.563 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
18.564 * [backup-simplify]: Simplify (- 0) into 0
18.564 * [backup-simplify]: Simplify (+ 0 0) into 0
18.565 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)))) into 0
18.565 * [taylor]: Taking taylor expansion of 0 in x
18.565 * [backup-simplify]: Simplify 0 into 0
18.566 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.566 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
18.566 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
18.566 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
18.567 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.567 * [taylor]: Taking taylor expansion of z in z
18.567 * [backup-simplify]: Simplify 0 into 0
18.567 * [backup-simplify]: Simplify 1 into 1
18.567 * [backup-simplify]: Simplify (/ 1 1) into 1
18.567 * [backup-simplify]: Simplify (- 1) into -1
18.567 * [backup-simplify]: Simplify -1 into -1
18.567 * [backup-simplify]: Simplify 1 into 1
18.568 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
18.568 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
18.568 * [backup-simplify]: Simplify (- 0) into 0
18.569 * [backup-simplify]: Simplify (+ 0 0) into 0
18.570 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.570 * [taylor]: Taking taylor expansion of 0 in x
18.570 * [backup-simplify]: Simplify 0 into 0
18.570 * [taylor]: Taking taylor expansion of 0 in z
18.570 * [backup-simplify]: Simplify 0 into 0
18.571 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.571 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
18.572 * [backup-simplify]: Simplify (- 0) into 0
18.572 * [backup-simplify]: Simplify (+ 0 0) into 0
18.572 * [taylor]: Taking taylor expansion of 0 in z
18.572 * [backup-simplify]: Simplify 0 into 0
18.573 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.573 * [backup-simplify]: Simplify (- 0) into 0
18.573 * [backup-simplify]: Simplify 0 into 0
18.573 * [backup-simplify]: Simplify 0 into 0
18.574 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
18.574 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
18.574 * [backup-simplify]: Simplify (- 0) into 0
18.575 * [backup-simplify]: Simplify (+ 0 0) into 0
18.577 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.577 * [taylor]: Taking taylor expansion of 0 in x
18.577 * [backup-simplify]: Simplify 0 into 0
18.577 * [taylor]: Taking taylor expansion of 0 in z
18.577 * [backup-simplify]: Simplify 0 into 0
18.577 * [taylor]: Taking taylor expansion of 0 in z
18.577 * [backup-simplify]: Simplify 0 into 0
18.578 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.578 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
18.578 * [backup-simplify]: Simplify (- 0) into 0
18.579 * [backup-simplify]: Simplify (+ 0 0) into 0
18.579 * [taylor]: Taking taylor expansion of 0 in z
18.579 * [backup-simplify]: Simplify 0 into 0
18.579 * [backup-simplify]: Simplify 0 into 0
18.579 * [backup-simplify]: Simplify 0 into 0
18.580 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.580 * [backup-simplify]: Simplify (- 0) into 0
18.580 * [backup-simplify]: Simplify 0 into 0
18.580 * [backup-simplify]: Simplify 0 into 0
18.581 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 y)))))) into (- (* x y) (* z y))
18.581 * [backup-simplify]: Simplify (* (/ 1 (- y)) (- (/ 1 (- x)) (/ 1 (- z)))) into (* -1 (/ (- (/ 1 z) (/ 1 x)) y))
18.581 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (y x z) around 0
18.581 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z
18.581 * [taylor]: Taking taylor expansion of -1 in z
18.581 * [backup-simplify]: Simplify -1 into -1
18.581 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z
18.581 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
18.581 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.581 * [taylor]: Taking taylor expansion of z in z
18.581 * [backup-simplify]: Simplify 0 into 0
18.581 * [backup-simplify]: Simplify 1 into 1
18.582 * [backup-simplify]: Simplify (/ 1 1) into 1
18.582 * [taylor]: Taking taylor expansion of (/ 1 x) in z
18.582 * [taylor]: Taking taylor expansion of x in z
18.582 * [backup-simplify]: Simplify x into x
18.582 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.582 * [taylor]: Taking taylor expansion of y in z
18.582 * [backup-simplify]: Simplify y into y
18.582 * [backup-simplify]: Simplify (+ 1 0) into 1
18.583 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
18.583 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x
18.583 * [taylor]: Taking taylor expansion of -1 in x
18.583 * [backup-simplify]: Simplify -1 into -1
18.583 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
18.583 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
18.583 * [taylor]: Taking taylor expansion of (/ 1 z) in x
18.583 * [taylor]: Taking taylor expansion of z in x
18.583 * [backup-simplify]: Simplify z into z
18.583 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
18.583 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.583 * [taylor]: Taking taylor expansion of x in x
18.583 * [backup-simplify]: Simplify 0 into 0
18.583 * [backup-simplify]: Simplify 1 into 1
18.583 * [backup-simplify]: Simplify (/ 1 1) into 1
18.583 * [taylor]: Taking taylor expansion of y in x
18.583 * [backup-simplify]: Simplify y into y
18.584 * [backup-simplify]: Simplify (- 1) into -1
18.584 * [backup-simplify]: Simplify (+ 0 -1) into -1
18.584 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
18.584 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y
18.584 * [taylor]: Taking taylor expansion of -1 in y
18.584 * [backup-simplify]: Simplify -1 into -1
18.584 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
18.584 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
18.585 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.585 * [taylor]: Taking taylor expansion of z in y
18.585 * [backup-simplify]: Simplify z into z
18.585 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
18.585 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.585 * [taylor]: Taking taylor expansion of x in y
18.585 * [backup-simplify]: Simplify x into x
18.585 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.585 * [taylor]: Taking taylor expansion of y in y
18.585 * [backup-simplify]: Simplify 0 into 0
18.585 * [backup-simplify]: Simplify 1 into 1
18.585 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
18.585 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
18.585 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x))
18.585 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y
18.585 * [taylor]: Taking taylor expansion of -1 in y
18.585 * [backup-simplify]: Simplify -1 into -1
18.585 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
18.585 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
18.585 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.585 * [taylor]: Taking taylor expansion of z in y
18.586 * [backup-simplify]: Simplify z into z
18.586 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
18.586 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.586 * [taylor]: Taking taylor expansion of x in y
18.586 * [backup-simplify]: Simplify x into x
18.586 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.586 * [taylor]: Taking taylor expansion of y in y
18.586 * [backup-simplify]: Simplify 0 into 0
18.586 * [backup-simplify]: Simplify 1 into 1
18.586 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
18.586 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
18.586 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x))
18.586 * [backup-simplify]: Simplify (* -1 (- (/ 1 z) (/ 1 x))) into (* -1 (- (/ 1 z) (/ 1 x)))
18.586 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 x))) in x
18.586 * [taylor]: Taking taylor expansion of -1 in x
18.587 * [backup-simplify]: Simplify -1 into -1
18.587 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
18.587 * [taylor]: Taking taylor expansion of (/ 1 z) in x
18.587 * [taylor]: Taking taylor expansion of z in x
18.587 * [backup-simplify]: Simplify z into z
18.587 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
18.587 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.587 * [taylor]: Taking taylor expansion of x in x
18.587 * [backup-simplify]: Simplify 0 into 0
18.587 * [backup-simplify]: Simplify 1 into 1
18.587 * [backup-simplify]: Simplify (/ 1 1) into 1
18.588 * [backup-simplify]: Simplify (- 1) into -1
18.588 * [backup-simplify]: Simplify (+ 0 -1) into -1
18.589 * [backup-simplify]: Simplify (* -1 -1) into 1
18.589 * [taylor]: Taking taylor expansion of 1 in z
18.589 * [backup-simplify]: Simplify 1 into 1
18.589 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
18.589 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
18.590 * [backup-simplify]: Simplify (- 0) into 0
18.590 * [backup-simplify]: Simplify (+ 0 0) into 0
18.591 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)))) into 0
18.592 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (/ 1 z) (/ 1 x)))) into 0
18.592 * [taylor]: Taking taylor expansion of 0 in x
18.592 * [backup-simplify]: Simplify 0 into 0
18.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.593 * [backup-simplify]: Simplify (- 0) into 0
18.593 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
18.594 * [backup-simplify]: Simplify (+ (* -1 (/ 1 z)) (* 0 -1)) into (- (/ 1 z))
18.594 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
18.594 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.594 * [taylor]: Taking taylor expansion of z in z
18.594 * [backup-simplify]: Simplify 0 into 0
18.594 * [backup-simplify]: Simplify 1 into 1
18.594 * [backup-simplify]: Simplify (/ 1 1) into 1
18.595 * [backup-simplify]: Simplify (- 1) into -1
18.595 * [backup-simplify]: Simplify -1 into -1
18.595 * [backup-simplify]: Simplify 1 into 1
18.595 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
18.595 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
18.596 * [backup-simplify]: Simplify (- 0) into 0
18.601 * [backup-simplify]: Simplify (+ 0 0) into 0
18.603 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.604 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x))))) into 0
18.604 * [taylor]: Taking taylor expansion of 0 in x
18.605 * [backup-simplify]: Simplify 0 into 0
18.605 * [taylor]: Taking taylor expansion of 0 in z
18.605 * [backup-simplify]: Simplify 0 into 0
18.605 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
18.606 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.606 * [backup-simplify]: Simplify (- 0) into 0
18.607 * [backup-simplify]: Simplify (+ 0 0) into 0
18.608 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 z)) (* 0 -1))) into 0
18.608 * [taylor]: Taking taylor expansion of 0 in z
18.608 * [backup-simplify]: Simplify 0 into 0
18.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.609 * [backup-simplify]: Simplify (- 0) into 0
18.609 * [backup-simplify]: Simplify 0 into 0
18.609 * [backup-simplify]: Simplify 0 into 0
18.609 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
18.609 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
18.610 * [backup-simplify]: Simplify (- 0) into 0
18.610 * [backup-simplify]: Simplify (+ 0 0) into 0
18.612 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.613 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x)))))) into 0
18.614 * [taylor]: Taking taylor expansion of 0 in x
18.614 * [backup-simplify]: Simplify 0 into 0
18.614 * [taylor]: Taking taylor expansion of 0 in z
18.614 * [backup-simplify]: Simplify 0 into 0
18.614 * [taylor]: Taking taylor expansion of 0 in z
18.614 * [backup-simplify]: Simplify 0 into 0
18.614 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
18.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.615 * [backup-simplify]: Simplify (- 0) into 0
18.616 * [backup-simplify]: Simplify (+ 0 0) into 0
18.617 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 z)) (* 0 -1)))) into 0
18.617 * [taylor]: Taking taylor expansion of 0 in z
18.617 * [backup-simplify]: Simplify 0 into 0
18.617 * [backup-simplify]: Simplify 0 into 0
18.617 * [backup-simplify]: Simplify 0 into 0
18.618 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.618 * [backup-simplify]: Simplify (- 0) into 0
18.619 * [backup-simplify]: Simplify 0 into 0
18.619 * [backup-simplify]: Simplify 0 into 0
18.619 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- y))))))) into (- (* x y) (* z y))
18.619 * * * [progress]: simplifying candidates
18.620 * [simplify]: Simplifying:
  (expm1 (* y (- x z)))
  (log1p (* y (- x z)))
  (* y (- x z))
  (+ (log y) (log (- x z)))
  (log (* y (- x z)))
  (exp (* y (- x z)))
  (* (* (* y y) y) (* (* (- x z) (- x z)) (- x z)))
  (* (cbrt (* y (- x z))) (cbrt (* y (- x z))))
  (cbrt (* y (- x z)))
  (* (* (* y (- x z)) (* y (- x z))) (* y (- x z)))
  (sqrt (* y (- x z)))
  (sqrt (* y (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* y (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* y (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* y (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt z) (sqrt z)))))
  (* y (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* y (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* z 1))))
  (* y (fma (- z) 1 (* z 1)))
  (* y (fma (sqrt x) (sqrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* y (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* y (fma (sqrt x) (sqrt x) (- (* (sqrt z) (sqrt z)))))
  (* y (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* y (fma (sqrt x) (sqrt x) (- (* z 1))))
  (* y (fma (- z) 1 (* z 1)))
  (* y (fma 1 x (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* y (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* y (fma 1 x (- (* (sqrt z) (sqrt z)))))
  (* y (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* y (fma 1 x (- (* z 1))))
  (* y (fma (- z) 1 (* z 1)))
  (* y x)
  (* y (- z))
  (* y x)
  (* y (- z))
  (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) y)
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) y)
  (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt z) (sqrt z)))) y)
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) y)
  (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* z 1))) y)
  (* (fma (- z) 1 (* z 1)) y)
  (* (fma (sqrt x) (sqrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) y)
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) y)
  (* (fma (sqrt x) (sqrt x) (- (* (sqrt z) (sqrt z)))) y)
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) y)
  (* (fma (sqrt x) (sqrt x) (- (* z 1))) y)
  (* (fma (- z) 1 (* z 1)) y)
  (* (fma 1 x (- (* (cbrt z) (* (cbrt z) (cbrt z))))) y)
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) y)
  (* (fma 1 x (- (* (sqrt z) (sqrt z)))) y)
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) y)
  (* (fma 1 x (- (* z 1))) y)
  (* (fma (- z) 1 (* z 1)) y)
  (* x y)
  (* (- z) y)
  (* x y)
  (* (- z) y)
  (* y (* (cbrt (- x z)) (cbrt (- x z))))
  (* y (sqrt (- x z)))
  (* y 1)
  (* y (+ (sqrt x) (sqrt z)))
  (* y 1)
  (* (cbrt y) (- x z))
  (* (sqrt y) (- x z))
  (* y (- x z))
  (* y (- (pow x 3) (pow z 3)))
  (* y (- (* x x) (* z z)))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
18.627 * * [simplify]: iteration 0: 102 enodes
18.758 * * [simplify]: iteration 1: 222 enodes
18.865 * * [simplify]: iteration 2: 433 enodes
19.166 * * [simplify]: iteration 3: 1158 enodes
27.963 * * [simplify]: iteration 4: 3841 enodes
38.345 * * [simplify]: iteration complete: 5000 enodes
38.347 * * [simplify]: Extracting #0: cost 21 inf + 0
38.350 * * [simplify]: Extracting #1: cost 384 inf + 1
38.362 * * [simplify]: Extracting #2: cost 734 inf + 4882
38.395 * * [simplify]: Extracting #3: cost 298 inf + 61165
38.513 * * [simplify]: Extracting #4: cost 61 inf + 100765
38.600 * * [simplify]: Extracting #5: cost 16 inf + 116889
38.662 * * [simplify]: Extracting #6: cost 3 inf + 121657
38.832 * * [simplify]: Extracting #7: cost 0 inf + 123046
38.955 * [simplify]: Simplified to:
  (expm1 (* y (- x z)))
  (log1p (* y (- x z)))
  (* y (- x z))
  (log (* y (- x z)))
  (log (* y (- x z)))
  (exp (* y (- x z)))
  (* (* (* y (- x z)) (* y (- x z))) (* y (- x z)))
  (* (cbrt (* y (- x z))) (cbrt (* y (- x z))))
  (cbrt (* y (- x z)))
  (* (* (* y (- x z)) (* y (- x z))) (* y (- x z)))
  (sqrt (* y (- x z)))
  (sqrt (* y (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* y (- x z))
  (* y (fma -1 z z))
  (* y (- x z))
  (* y (fma -1 z z))
  (* y (- x z))
  (* y (fma -1 z z))
  (* y (- x z))
  (* y (fma -1 z z))
  (* y (- x z))
  (* y (fma -1 z z))
  (* y (- x z))
  (* y (fma -1 z z))
  (* y (- x z))
  (* y (fma -1 z z))
  (* y (- x z))
  (* y (fma -1 z z))
  (* y (- x z))
  (* y (fma -1 z z))
  (* y x)
  (- (* y z))
  (* y x)
  (- (* y z))
  (* y (- x z))
  (* y (fma -1 z z))
  (* y (- x z))
  (* y (fma -1 z z))
  (* y (- x z))
  (* y (fma -1 z z))
  (* y (- x z))
  (* y (fma -1 z z))
  (* y (- x z))
  (* y (fma -1 z z))
  (* y (- x z))
  (* y (fma -1 z z))
  (* y (- x z))
  (* y (fma -1 z z))
  (* y (- x z))
  (* y (fma -1 z z))
  (* y (- x z))
  (* y (fma -1 z z))
  (* y x)
  (- (* y z))
  (* y x)
  (- (* y z))
  (* (* y (cbrt (- x z))) (cbrt (- x z)))
  (* y (sqrt (- x z)))
  y
  (* y (+ (sqrt x) (sqrt z)))
  y
  (* (cbrt y) (- x z))
  (* (- x z) (sqrt y))
  (* y (- x z))
  (* (- (* x (* x x)) (* z (* z z))) y)
  (* (+ x z) (* y (- x z)))
  (* y (- x z))
  (* y (- x z))
  (* y (- x z))
38.989 * * * [progress]: adding candidates to table
39.521 * * [progress]: iteration 2 / 4
39.522 * * * [progress]: picking best candidate
39.593 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* y x) (* y (- z))))>
39.603 * * * [progress]: localizing error
39.658 * * * [progress]: generating rewritten candidates
39.658 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
39.729 * * * [progress]: generating series expansions
39.729 * * * * [progress]: [ 1 / 1 ] generating series at (2)
39.740 * [backup-simplify]: Simplify (+ (* y x) (* y (- z))) into (- (* x y) (* z y))
39.740 * [approximate]: Taking taylor expansion of (- (* x y) (* z y)) in (y x z) around 0
39.740 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in z
39.748 * [taylor]: Taking taylor expansion of (* x y) in z
39.748 * [taylor]: Taking taylor expansion of x in z
39.748 * [backup-simplify]: Simplify x into x
39.748 * [taylor]: Taking taylor expansion of y in z
39.748 * [backup-simplify]: Simplify y into y
39.748 * [taylor]: Taking taylor expansion of (* z y) in z
39.748 * [taylor]: Taking taylor expansion of z in z
39.748 * [backup-simplify]: Simplify 0 into 0
39.748 * [backup-simplify]: Simplify 1 into 1
39.748 * [taylor]: Taking taylor expansion of y in z
39.748 * [backup-simplify]: Simplify y into y
39.748 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x
39.748 * [taylor]: Taking taylor expansion of (* x y) in x
39.748 * [taylor]: Taking taylor expansion of x in x
39.749 * [backup-simplify]: Simplify 0 into 0
39.749 * [backup-simplify]: Simplify 1 into 1
39.749 * [taylor]: Taking taylor expansion of y in x
39.749 * [backup-simplify]: Simplify y into y
39.749 * [taylor]: Taking taylor expansion of (* z y) in x
39.749 * [taylor]: Taking taylor expansion of z in x
39.749 * [backup-simplify]: Simplify z into z
39.749 * [taylor]: Taking taylor expansion of y in x
39.749 * [backup-simplify]: Simplify y into y
39.749 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y
39.749 * [taylor]: Taking taylor expansion of (* x y) in y
39.749 * [taylor]: Taking taylor expansion of x in y
39.749 * [backup-simplify]: Simplify x into x
39.749 * [taylor]: Taking taylor expansion of y in y
39.749 * [backup-simplify]: Simplify 0 into 0
39.749 * [backup-simplify]: Simplify 1 into 1
39.749 * [taylor]: Taking taylor expansion of (* z y) in y
39.749 * [taylor]: Taking taylor expansion of z in y
39.749 * [backup-simplify]: Simplify z into z
39.749 * [taylor]: Taking taylor expansion of y in y
39.749 * [backup-simplify]: Simplify 0 into 0
39.749 * [backup-simplify]: Simplify 1 into 1
39.749 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y
39.749 * [taylor]: Taking taylor expansion of (* x y) in y
39.749 * [taylor]: Taking taylor expansion of x in y
39.749 * [backup-simplify]: Simplify x into x
39.749 * [taylor]: Taking taylor expansion of y in y
39.749 * [backup-simplify]: Simplify 0 into 0
39.749 * [backup-simplify]: Simplify 1 into 1
39.749 * [taylor]: Taking taylor expansion of (* z y) in y
39.749 * [taylor]: Taking taylor expansion of z in y
39.749 * [backup-simplify]: Simplify z into z
39.749 * [taylor]: Taking taylor expansion of y in y
39.750 * [backup-simplify]: Simplify 0 into 0
39.750 * [backup-simplify]: Simplify 1 into 1
39.760 * [backup-simplify]: Simplify (* x 0) into 0
39.760 * [backup-simplify]: Simplify (* z 0) into 0
39.799 * [backup-simplify]: Simplify (- 0) into 0
39.813 * [backup-simplify]: Simplify (+ 0 0) into 0
39.813 * [taylor]: Taking taylor expansion of 0 in x
39.813 * [backup-simplify]: Simplify 0 into 0
39.813 * [taylor]: Taking taylor expansion of 0 in z
39.813 * [backup-simplify]: Simplify 0 into 0
39.813 * [backup-simplify]: Simplify 0 into 0
39.814 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
39.814 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
39.814 * [backup-simplify]: Simplify (- z) into (- z)
39.814 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
39.814 * [taylor]: Taking taylor expansion of (- x z) in x
39.814 * [taylor]: Taking taylor expansion of x in x
39.814 * [backup-simplify]: Simplify 0 into 0
39.814 * [backup-simplify]: Simplify 1 into 1
39.814 * [taylor]: Taking taylor expansion of z in x
39.814 * [backup-simplify]: Simplify z into z
39.814 * [backup-simplify]: Simplify (- z) into (- z)
39.815 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
39.815 * [taylor]: Taking taylor expansion of (- z) in z
39.815 * [taylor]: Taking taylor expansion of z in z
39.815 * [backup-simplify]: Simplify 0 into 0
39.815 * [backup-simplify]: Simplify 1 into 1
39.815 * [backup-simplify]: Simplify (- 0) into 0
39.815 * [backup-simplify]: Simplify 0 into 0
39.815 * [taylor]: Taking taylor expansion of 0 in z
39.815 * [backup-simplify]: Simplify 0 into 0
39.815 * [backup-simplify]: Simplify 0 into 0
39.815 * [backup-simplify]: Simplify 0 into 0
39.816 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
39.817 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
39.817 * [backup-simplify]: Simplify (- 0) into 0
39.828 * [backup-simplify]: Simplify (+ 0 0) into 0
39.828 * [taylor]: Taking taylor expansion of 0 in x
39.828 * [backup-simplify]: Simplify 0 into 0
39.828 * [taylor]: Taking taylor expansion of 0 in z
39.828 * [backup-simplify]: Simplify 0 into 0
39.828 * [backup-simplify]: Simplify 0 into 0
39.832 * [backup-simplify]: Simplify (- 0) into 0
39.833 * [backup-simplify]: Simplify (+ 1 0) into 1
39.833 * [taylor]: Taking taylor expansion of 1 in z
39.833 * [backup-simplify]: Simplify 1 into 1
39.833 * [backup-simplify]: Simplify 1 into 1
39.833 * [taylor]: Taking taylor expansion of 0 in z
39.833 * [backup-simplify]: Simplify 0 into 0
39.834 * [backup-simplify]: Simplify 0 into 0
39.834 * [backup-simplify]: Simplify (- 1) into -1
39.834 * [backup-simplify]: Simplify -1 into -1
39.834 * [backup-simplify]: Simplify 0 into 0
39.834 * [backup-simplify]: Simplify 0 into 0
39.835 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
39.836 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
39.836 * [backup-simplify]: Simplify (- 0) into 0
39.837 * [backup-simplify]: Simplify (+ 0 0) into 0
39.837 * [taylor]: Taking taylor expansion of 0 in x
39.837 * [backup-simplify]: Simplify 0 into 0
39.837 * [taylor]: Taking taylor expansion of 0 in z
39.837 * [backup-simplify]: Simplify 0 into 0
39.837 * [backup-simplify]: Simplify 0 into 0
39.837 * [taylor]: Taking taylor expansion of 0 in z
39.837 * [backup-simplify]: Simplify 0 into 0
39.837 * [backup-simplify]: Simplify 0 into 0
39.837 * [backup-simplify]: Simplify (- 0) into 0
39.838 * [backup-simplify]: Simplify (+ 0 0) into 0
39.838 * [taylor]: Taking taylor expansion of 0 in z
39.838 * [backup-simplify]: Simplify 0 into 0
39.838 * [backup-simplify]: Simplify 0 into 0
39.838 * [taylor]: Taking taylor expansion of 0 in z
39.838 * [backup-simplify]: Simplify 0 into 0
39.838 * [backup-simplify]: Simplify 0 into 0
39.838 * [backup-simplify]: Simplify (+ (* -1 (* z (* 1 y))) (* 1 (* 1 (* x y)))) into (- (* x y) (* z y))
39.839 * [backup-simplify]: Simplify (+ (* (/ 1 y) (/ 1 x)) (* (/ 1 y) (- (/ 1 z)))) into (- (/ 1 (* x y)) (/ 1 (* z y)))
39.839 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (y x z) around 0
39.839 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z
39.839 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
39.839 * [taylor]: Taking taylor expansion of (* x y) in z
39.839 * [taylor]: Taking taylor expansion of x in z
39.839 * [backup-simplify]: Simplify x into x
39.839 * [taylor]: Taking taylor expansion of y in z
39.839 * [backup-simplify]: Simplify y into y
39.839 * [backup-simplify]: Simplify (* x y) into (* x y)
39.840 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
39.840 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
39.840 * [taylor]: Taking taylor expansion of (* z y) in z
39.840 * [taylor]: Taking taylor expansion of z in z
39.840 * [backup-simplify]: Simplify 0 into 0
39.840 * [backup-simplify]: Simplify 1 into 1
39.840 * [taylor]: Taking taylor expansion of y in z
39.840 * [backup-simplify]: Simplify y into y
39.840 * [backup-simplify]: Simplify (* 0 y) into 0
39.840 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
39.841 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
39.841 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
39.841 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
39.841 * [taylor]: Taking taylor expansion of (* x y) in x
39.841 * [taylor]: Taking taylor expansion of x in x
39.841 * [backup-simplify]: Simplify 0 into 0
39.841 * [backup-simplify]: Simplify 1 into 1
39.841 * [taylor]: Taking taylor expansion of y in x
39.841 * [backup-simplify]: Simplify y into y
39.841 * [backup-simplify]: Simplify (* 0 y) into 0
39.841 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
39.841 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
39.841 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
39.841 * [taylor]: Taking taylor expansion of (* z y) in x
39.841 * [taylor]: Taking taylor expansion of z in x
39.841 * [backup-simplify]: Simplify z into z
39.841 * [taylor]: Taking taylor expansion of y in x
39.842 * [backup-simplify]: Simplify y into y
39.842 * [backup-simplify]: Simplify (* z y) into (* z y)
39.842 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
39.842 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y
39.842 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
39.842 * [taylor]: Taking taylor expansion of (* x y) in y
39.842 * [taylor]: Taking taylor expansion of x in y
39.842 * [backup-simplify]: Simplify x into x
39.842 * [taylor]: Taking taylor expansion of y in y
39.842 * [backup-simplify]: Simplify 0 into 0
39.842 * [backup-simplify]: Simplify 1 into 1
39.842 * [backup-simplify]: Simplify (* x 0) into 0
39.842 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
39.842 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
39.842 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
39.843 * [taylor]: Taking taylor expansion of (* z y) in y
39.843 * [taylor]: Taking taylor expansion of z in y
39.843 * [backup-simplify]: Simplify z into z
39.843 * [taylor]: Taking taylor expansion of y in y
39.843 * [backup-simplify]: Simplify 0 into 0
39.843 * [backup-simplify]: Simplify 1 into 1
39.843 * [backup-simplify]: Simplify (* z 0) into 0
39.843 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
39.843 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
39.843 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y
39.843 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
39.843 * [taylor]: Taking taylor expansion of (* x y) in y
39.843 * [taylor]: Taking taylor expansion of x in y
39.843 * [backup-simplify]: Simplify x into x
39.843 * [taylor]: Taking taylor expansion of y in y
39.843 * [backup-simplify]: Simplify 0 into 0
39.843 * [backup-simplify]: Simplify 1 into 1
39.843 * [backup-simplify]: Simplify (* x 0) into 0
39.863 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
39.863 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
39.863 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
39.863 * [taylor]: Taking taylor expansion of (* z y) in y
39.863 * [taylor]: Taking taylor expansion of z in y
39.863 * [backup-simplify]: Simplify z into z
39.863 * [taylor]: Taking taylor expansion of y in y
39.863 * [backup-simplify]: Simplify 0 into 0
39.863 * [backup-simplify]: Simplify 1 into 1
39.864 * [backup-simplify]: Simplify (* z 0) into 0
39.864 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
39.864 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
39.864 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
39.865 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
39.865 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
39.865 * [taylor]: Taking taylor expansion of (/ 1 x) in x
39.865 * [taylor]: Taking taylor expansion of x in x
39.865 * [backup-simplify]: Simplify 0 into 0
39.865 * [backup-simplify]: Simplify 1 into 1
39.865 * [backup-simplify]: Simplify (/ 1 1) into 1
39.865 * [taylor]: Taking taylor expansion of (/ 1 z) in x
39.865 * [taylor]: Taking taylor expansion of z in x
39.865 * [backup-simplify]: Simplify z into z
39.865 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
39.866 * [backup-simplify]: Simplify (+ 1 0) into 1
39.866 * [taylor]: Taking taylor expansion of 1 in z
39.866 * [backup-simplify]: Simplify 1 into 1
39.866 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
39.867 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
39.881 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
39.881 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
39.881 * [backup-simplify]: Simplify (- 0) into 0
39.881 * [backup-simplify]: Simplify (+ 0 0) into 0
39.881 * [taylor]: Taking taylor expansion of 0 in x
39.881 * [backup-simplify]: Simplify 0 into 0
39.882 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
39.882 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
39.882 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
39.882 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
39.882 * [taylor]: Taking taylor expansion of (/ 1 z) in z
39.882 * [taylor]: Taking taylor expansion of z in z
39.882 * [backup-simplify]: Simplify 0 into 0
39.882 * [backup-simplify]: Simplify 1 into 1
39.882 * [backup-simplify]: Simplify (/ 1 1) into 1
39.883 * [backup-simplify]: Simplify (- 1) into -1
39.883 * [backup-simplify]: Simplify -1 into -1
39.883 * [backup-simplify]: Simplify 1 into 1
39.883 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
39.883 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
39.884 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
39.884 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
39.885 * [backup-simplify]: Simplify (- 0) into 0
39.885 * [backup-simplify]: Simplify (+ 0 0) into 0
39.885 * [taylor]: Taking taylor expansion of 0 in x
39.885 * [backup-simplify]: Simplify 0 into 0
39.885 * [taylor]: Taking taylor expansion of 0 in z
39.885 * [backup-simplify]: Simplify 0 into 0
39.886 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
39.886 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
39.887 * [backup-simplify]: Simplify (- 0) into 0
39.887 * [backup-simplify]: Simplify (+ 0 0) into 0
39.887 * [taylor]: Taking taylor expansion of 0 in z
39.887 * [backup-simplify]: Simplify 0 into 0
39.888 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
39.888 * [backup-simplify]: Simplify (- 0) into 0
39.888 * [backup-simplify]: Simplify 0 into 0
39.888 * [backup-simplify]: Simplify 0 into 0
39.889 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
39.890 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
39.891 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
39.891 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
39.891 * [backup-simplify]: Simplify (- 0) into 0
39.892 * [backup-simplify]: Simplify (+ 0 0) into 0
39.892 * [taylor]: Taking taylor expansion of 0 in x
39.892 * [backup-simplify]: Simplify 0 into 0
39.892 * [taylor]: Taking taylor expansion of 0 in z
39.892 * [backup-simplify]: Simplify 0 into 0
39.892 * [taylor]: Taking taylor expansion of 0 in z
39.892 * [backup-simplify]: Simplify 0 into 0
39.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
39.893 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
39.894 * [backup-simplify]: Simplify (- 0) into 0
39.894 * [backup-simplify]: Simplify (+ 0 0) into 0
39.894 * [taylor]: Taking taylor expansion of 0 in z
39.894 * [backup-simplify]: Simplify 0 into 0
39.894 * [backup-simplify]: Simplify 0 into 0
39.894 * [backup-simplify]: Simplify 0 into 0
39.895 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
39.896 * [backup-simplify]: Simplify (- 0) into 0
39.896 * [backup-simplify]: Simplify 0 into 0
39.896 * [backup-simplify]: Simplify 0 into 0
39.896 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 y)))))) into (- (* x y) (* z y))
39.897 * [backup-simplify]: Simplify (+ (* (/ 1 (- y)) (/ 1 (- x))) (* (/ 1 (- y)) (- (/ 1 (- z))))) into (- (/ 1 (* x y)) (/ 1 (* z y)))
39.897 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (y x z) around 0
39.897 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z
39.897 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
39.897 * [taylor]: Taking taylor expansion of (* x y) in z
39.897 * [taylor]: Taking taylor expansion of x in z
39.897 * [backup-simplify]: Simplify x into x
39.897 * [taylor]: Taking taylor expansion of y in z
39.897 * [backup-simplify]: Simplify y into y
39.897 * [backup-simplify]: Simplify (* x y) into (* x y)
39.897 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
39.897 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
39.897 * [taylor]: Taking taylor expansion of (* z y) in z
39.897 * [taylor]: Taking taylor expansion of z in z
39.897 * [backup-simplify]: Simplify 0 into 0
39.897 * [backup-simplify]: Simplify 1 into 1
39.897 * [taylor]: Taking taylor expansion of y in z
39.897 * [backup-simplify]: Simplify y into y
39.897 * [backup-simplify]: Simplify (* 0 y) into 0
39.898 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
39.898 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
39.898 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
39.898 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
39.898 * [taylor]: Taking taylor expansion of (* x y) in x
39.898 * [taylor]: Taking taylor expansion of x in x
39.898 * [backup-simplify]: Simplify 0 into 0
39.898 * [backup-simplify]: Simplify 1 into 1
39.898 * [taylor]: Taking taylor expansion of y in x
39.898 * [backup-simplify]: Simplify y into y
39.898 * [backup-simplify]: Simplify (* 0 y) into 0
39.898 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
39.899 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
39.899 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
39.899 * [taylor]: Taking taylor expansion of (* z y) in x
39.899 * [taylor]: Taking taylor expansion of z in x
39.899 * [backup-simplify]: Simplify z into z
39.899 * [taylor]: Taking taylor expansion of y in x
39.899 * [backup-simplify]: Simplify y into y
39.899 * [backup-simplify]: Simplify (* z y) into (* z y)
39.899 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
39.899 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y
39.899 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
39.899 * [taylor]: Taking taylor expansion of (* x y) in y
39.899 * [taylor]: Taking taylor expansion of x in y
39.899 * [backup-simplify]: Simplify x into x
39.899 * [taylor]: Taking taylor expansion of y in y
39.899 * [backup-simplify]: Simplify 0 into 0
39.899 * [backup-simplify]: Simplify 1 into 1
39.899 * [backup-simplify]: Simplify (* x 0) into 0
39.900 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
39.900 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
39.900 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
39.900 * [taylor]: Taking taylor expansion of (* z y) in y
39.900 * [taylor]: Taking taylor expansion of z in y
39.900 * [backup-simplify]: Simplify z into z
39.900 * [taylor]: Taking taylor expansion of y in y
39.900 * [backup-simplify]: Simplify 0 into 0
39.900 * [backup-simplify]: Simplify 1 into 1
39.900 * [backup-simplify]: Simplify (* z 0) into 0
39.900 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
39.900 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
39.900 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y
39.901 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
39.901 * [taylor]: Taking taylor expansion of (* x y) in y
39.901 * [taylor]: Taking taylor expansion of x in y
39.901 * [backup-simplify]: Simplify x into x
39.901 * [taylor]: Taking taylor expansion of y in y
39.901 * [backup-simplify]: Simplify 0 into 0
39.901 * [backup-simplify]: Simplify 1 into 1
39.901 * [backup-simplify]: Simplify (* x 0) into 0
39.901 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
39.901 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
39.901 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
39.901 * [taylor]: Taking taylor expansion of (* z y) in y
39.901 * [taylor]: Taking taylor expansion of z in y
39.901 * [backup-simplify]: Simplify z into z
39.901 * [taylor]: Taking taylor expansion of y in y
39.901 * [backup-simplify]: Simplify 0 into 0
39.901 * [backup-simplify]: Simplify 1 into 1
39.902 * [backup-simplify]: Simplify (* z 0) into 0
39.902 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
39.902 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
39.902 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
39.902 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
39.902 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
39.902 * [taylor]: Taking taylor expansion of (/ 1 x) in x
39.902 * [taylor]: Taking taylor expansion of x in x
39.902 * [backup-simplify]: Simplify 0 into 0
39.902 * [backup-simplify]: Simplify 1 into 1
39.903 * [backup-simplify]: Simplify (/ 1 1) into 1
39.903 * [taylor]: Taking taylor expansion of (/ 1 z) in x
39.903 * [taylor]: Taking taylor expansion of z in x
39.903 * [backup-simplify]: Simplify z into z
39.903 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
39.903 * [backup-simplify]: Simplify (+ 1 0) into 1
39.904 * [taylor]: Taking taylor expansion of 1 in z
39.904 * [backup-simplify]: Simplify 1 into 1
39.904 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
39.904 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
39.905 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
39.905 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
39.905 * [backup-simplify]: Simplify (- 0) into 0
39.906 * [backup-simplify]: Simplify (+ 0 0) into 0
39.906 * [taylor]: Taking taylor expansion of 0 in x
39.906 * [backup-simplify]: Simplify 0 into 0
39.906 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
39.906 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
39.906 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
39.906 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
39.906 * [taylor]: Taking taylor expansion of (/ 1 z) in z
39.906 * [taylor]: Taking taylor expansion of z in z
39.906 * [backup-simplify]: Simplify 0 into 0
39.906 * [backup-simplify]: Simplify 1 into 1
39.907 * [backup-simplify]: Simplify (/ 1 1) into 1
39.907 * [backup-simplify]: Simplify (- 1) into -1
39.907 * [backup-simplify]: Simplify -1 into -1
39.907 * [backup-simplify]: Simplify 1 into 1
39.907 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
39.907 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
40.076 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
40.076 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
40.077 * [backup-simplify]: Simplify (- 0) into 0
40.077 * [backup-simplify]: Simplify (+ 0 0) into 0
40.077 * [taylor]: Taking taylor expansion of 0 in x
40.077 * [backup-simplify]: Simplify 0 into 0
40.077 * [taylor]: Taking taylor expansion of 0 in z
40.077 * [backup-simplify]: Simplify 0 into 0
40.078 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.078 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
40.079 * [backup-simplify]: Simplify (- 0) into 0
40.079 * [backup-simplify]: Simplify (+ 0 0) into 0
40.079 * [taylor]: Taking taylor expansion of 0 in z
40.079 * [backup-simplify]: Simplify 0 into 0
40.080 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
40.080 * [backup-simplify]: Simplify (- 0) into 0
40.080 * [backup-simplify]: Simplify 0 into 0
40.080 * [backup-simplify]: Simplify 0 into 0
40.081 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
40.081 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
40.082 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
40.082 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
40.083 * [backup-simplify]: Simplify (- 0) into 0
40.083 * [backup-simplify]: Simplify (+ 0 0) into 0
40.083 * [taylor]: Taking taylor expansion of 0 in x
40.083 * [backup-simplify]: Simplify 0 into 0
40.083 * [taylor]: Taking taylor expansion of 0 in z
40.083 * [backup-simplify]: Simplify 0 into 0
40.083 * [taylor]: Taking taylor expansion of 0 in z
40.083 * [backup-simplify]: Simplify 0 into 0
40.084 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.084 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
40.085 * [backup-simplify]: Simplify (- 0) into 0
40.085 * [backup-simplify]: Simplify (+ 0 0) into 0
40.085 * [taylor]: Taking taylor expansion of 0 in z
40.085 * [backup-simplify]: Simplify 0 into 0
40.085 * [backup-simplify]: Simplify 0 into 0
40.085 * [backup-simplify]: Simplify 0 into 0
40.086 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.087 * [backup-simplify]: Simplify (- 0) into 0
40.087 * [backup-simplify]: Simplify 0 into 0
40.087 * [backup-simplify]: Simplify 0 into 0
40.087 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- y))))))) into (- (* x y) (* z y))
40.087 * * * [progress]: simplifying candidates
40.088 * [simplify]: Simplifying:
  (expm1 (+ (* y x) (* y (- z))))
  (log1p (+ (* y x) (* y (- z))))
  (* (exp (* y x)) (exp (* 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))))
  (+ (pow (* y x) 3) (pow (* y (- z)) 3))
  (+ (* (* y x) (* y x)) (- (* (* y (- z)) (* y (- z))) (* (* y x) (* y (- z)))))
  (- (* (* y x) (* y x)) (* (* y (- z)) (* y (- z))))
  (- (* y x) (* y (- z)))
  (+ x (- z))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
40.089 * * [simplify]: iteration 0: 34 enodes
40.107 * * [simplify]: iteration 1: 115 enodes
40.177 * * [simplify]: iteration 2: 486 enodes
42.582 * * [simplify]: iteration 3: 1761 enodes
52.877 * * [simplify]: iteration complete: 5000 enodes
52.883 * * [simplify]: Extracting #0: cost 14 inf + 0
52.884 * * [simplify]: Extracting #1: cost 256 inf + 0
52.949 * * [simplify]: Extracting #2: cost 995 inf + 1838
52.990 * * [simplify]: Extracting #3: cost 848 inf + 45714
53.134 * * [simplify]: Extracting #4: cost 213 inf + 196717
53.388 * * [simplify]: Extracting #5: cost 15 inf + 247498
53.664 * * [simplify]: Extracting #6: cost 0 inf + 251589
53.967 * [simplify]: Simplified to:
  (expm1 (* (- x z) y))
  (log1p (* (- x z) y))
  (exp (* (- x z) y))
  (log (* (- x z) y))
  (exp (* (- x z) y))
  (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y)))
  (cbrt (* (- x z) y))
  (* (* (- x z) y) (* (* (- x z) y) (* (- x z) y)))
  (sqrt (* (- x z) y))
  (sqrt (* (- x z) y))
  (- (* (* (* x y) (* x y)) (* x y)) (* (* (* z y) (* z y)) (* z y)))
  (fma (* (* z y) (+ z x)) y (* (* x y) (* x y)))
  (* (* (* y (+ z x)) y) (- x z))
  (* y (+ z x))
  (- x z)
  (* (- x z) y)
  (* (- x z) y)
  (* (- x z) y)
53.969 * * * [progress]: adding candidates to table
54.428 * * [progress]: iteration 3 / 4
54.428 * * * [progress]: picking best candidate
54.436 * * * * [pick]: Picked  #<alt (λ (x y z) (fma y x (* y (- z))))>
54.436 * * * [progress]: localizing error
54.455 * * * [progress]: generating rewritten candidates
54.455 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
54.456 * * * [progress]: generating series expansions
54.456 * * * * [progress]: [ 1 / 1 ] generating series at (2)
54.456 * [backup-simplify]: Simplify (fma y x (* y (- z))) into (fma y x (* -1 (* z y)))
54.456 * [approximate]: Taking taylor expansion of (fma y x (* -1 (* z y))) in (y x z) around 0
54.456 * [taylor]: Taking taylor expansion of (fma y x (* -1 (* z y))) in z
54.457 * [taylor]: Rewrote expression to (+ (* y x) (* -1 (* z y)))
54.457 * [taylor]: Taking taylor expansion of (* y x) in z
54.457 * [taylor]: Taking taylor expansion of y in z
54.457 * [backup-simplify]: Simplify y into y
54.457 * [taylor]: Taking taylor expansion of x in z
54.457 * [backup-simplify]: Simplify x into x
54.457 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z
54.457 * [taylor]: Taking taylor expansion of -1 in z
54.457 * [backup-simplify]: Simplify -1 into -1
54.457 * [taylor]: Taking taylor expansion of (* z y) in z
54.457 * [taylor]: Taking taylor expansion of z in z
54.457 * [backup-simplify]: Simplify 0 into 0
54.457 * [backup-simplify]: Simplify 1 into 1
54.457 * [taylor]: Taking taylor expansion of y in z
54.457 * [backup-simplify]: Simplify y into y
54.457 * [taylor]: Taking taylor expansion of (fma y x (* -1 (* z y))) in x
54.457 * [taylor]: Rewrote expression to (+ (* y x) (* -1 (* z y)))
54.457 * [taylor]: Taking taylor expansion of (* y x) in x
54.457 * [taylor]: Taking taylor expansion of y in x
54.457 * [backup-simplify]: Simplify y into y
54.457 * [taylor]: Taking taylor expansion of x in x
54.457 * [backup-simplify]: Simplify 0 into 0
54.457 * [backup-simplify]: Simplify 1 into 1
54.457 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in x
54.457 * [taylor]: Taking taylor expansion of -1 in x
54.457 * [backup-simplify]: Simplify -1 into -1
54.457 * [taylor]: Taking taylor expansion of (* z y) in x
54.458 * [taylor]: Taking taylor expansion of z in x
54.458 * [backup-simplify]: Simplify z into z
54.458 * [taylor]: Taking taylor expansion of y in x
54.458 * [backup-simplify]: Simplify y into y
54.458 * [taylor]: Taking taylor expansion of (fma y x (* -1 (* z y))) in y
54.458 * [taylor]: Rewrote expression to (+ (* y x) (* -1 (* z y)))
54.458 * [taylor]: Taking taylor expansion of (* y x) in y
54.458 * [taylor]: Taking taylor expansion of y in y
54.458 * [backup-simplify]: Simplify 0 into 0
54.458 * [backup-simplify]: Simplify 1 into 1
54.458 * [taylor]: Taking taylor expansion of x in y
54.458 * [backup-simplify]: Simplify x into x
54.458 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in y
54.458 * [taylor]: Taking taylor expansion of -1 in y
54.458 * [backup-simplify]: Simplify -1 into -1
54.458 * [taylor]: Taking taylor expansion of (* z y) in y
54.458 * [taylor]: Taking taylor expansion of z in y
54.458 * [backup-simplify]: Simplify z into z
54.458 * [taylor]: Taking taylor expansion of y in y
54.458 * [backup-simplify]: Simplify 0 into 0
54.458 * [backup-simplify]: Simplify 1 into 1
54.458 * [taylor]: Taking taylor expansion of (fma y x (* -1 (* z y))) in y
54.458 * [taylor]: Rewrote expression to (+ (* y x) (* -1 (* z y)))
54.458 * [taylor]: Taking taylor expansion of (* y x) in y
54.458 * [taylor]: Taking taylor expansion of y in y
54.458 * [backup-simplify]: Simplify 0 into 0
54.458 * [backup-simplify]: Simplify 1 into 1
54.458 * [taylor]: Taking taylor expansion of x in y
54.458 * [backup-simplify]: Simplify x into x
54.458 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in y
54.459 * [taylor]: Taking taylor expansion of -1 in y
54.459 * [backup-simplify]: Simplify -1 into -1
54.459 * [taylor]: Taking taylor expansion of (* z y) in y
54.459 * [taylor]: Taking taylor expansion of z in y
54.459 * [backup-simplify]: Simplify z into z
54.459 * [taylor]: Taking taylor expansion of y in y
54.459 * [backup-simplify]: Simplify 0 into 0
54.459 * [backup-simplify]: Simplify 1 into 1
54.468 * [backup-simplify]: Simplify (* 0 x) into 0
54.468 * [backup-simplify]: Simplify (* z 0) into 0
54.492 * [backup-simplify]: Simplify (* -1 0) into 0
54.493 * [backup-simplify]: Simplify (+ 0 0) into 0
54.493 * [taylor]: Taking taylor expansion of 0 in x
54.493 * [backup-simplify]: Simplify 0 into 0
54.493 * [taylor]: Taking taylor expansion of 0 in z
54.493 * [backup-simplify]: Simplify 0 into 0
54.493 * [backup-simplify]: Simplify 0 into 0
54.493 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
54.494 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
54.494 * [backup-simplify]: Simplify (+ (* -1 z) (* 0 0)) into (- z)
54.494 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
54.494 * [taylor]: Taking taylor expansion of (- x z) in x
54.494 * [taylor]: Taking taylor expansion of x in x
54.494 * [backup-simplify]: Simplify 0 into 0
54.495 * [backup-simplify]: Simplify 1 into 1
54.495 * [taylor]: Taking taylor expansion of z in x
54.495 * [backup-simplify]: Simplify z into z
54.495 * [backup-simplify]: Simplify (- z) into (- z)
54.495 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
54.495 * [taylor]: Taking taylor expansion of (- z) in z
54.495 * [taylor]: Taking taylor expansion of z in z
54.495 * [backup-simplify]: Simplify 0 into 0
54.495 * [backup-simplify]: Simplify 1 into 1
54.495 * [backup-simplify]: Simplify (- 0) into 0
54.495 * [backup-simplify]: Simplify 0 into 0
54.495 * [taylor]: Taking taylor expansion of 0 in z
54.495 * [backup-simplify]: Simplify 0 into 0
54.495 * [backup-simplify]: Simplify 0 into 0
54.495 * [backup-simplify]: Simplify 0 into 0
54.504 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0
54.523 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
54.524 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 z) (* 0 0))) into 0
54.524 * [backup-simplify]: Simplify (+ 0 0) into 0
54.524 * [taylor]: Taking taylor expansion of 0 in x
54.524 * [backup-simplify]: Simplify 0 into 0
54.524 * [taylor]: Taking taylor expansion of 0 in z
54.524 * [backup-simplify]: Simplify 0 into 0
54.524 * [backup-simplify]: Simplify 0 into 0
54.525 * [backup-simplify]: Simplify (- 0) into 0
54.525 * [backup-simplify]: Simplify (+ 1 0) into 1
54.525 * [taylor]: Taking taylor expansion of 1 in z
54.525 * [backup-simplify]: Simplify 1 into 1
54.525 * [backup-simplify]: Simplify 1 into 1
54.528 * [taylor]: Taking taylor expansion of 0 in z
54.528 * [backup-simplify]: Simplify 0 into 0
54.528 * [backup-simplify]: Simplify 0 into 0
54.529 * [backup-simplify]: Simplify (- 1) into -1
54.529 * [backup-simplify]: Simplify -1 into -1
54.529 * [backup-simplify]: Simplify 0 into 0
54.529 * [backup-simplify]: Simplify 0 into 0
54.530 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0
54.531 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
54.536 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 z) (* 0 0)))) into 0
54.537 * [backup-simplify]: Simplify (+ 0 0) into 0
54.537 * [taylor]: Taking taylor expansion of 0 in x
54.537 * [backup-simplify]: Simplify 0 into 0
54.537 * [taylor]: Taking taylor expansion of 0 in z
54.537 * [backup-simplify]: Simplify 0 into 0
54.537 * [backup-simplify]: Simplify 0 into 0
54.543 * [taylor]: Taking taylor expansion of 0 in z
54.543 * [backup-simplify]: Simplify 0 into 0
54.543 * [backup-simplify]: Simplify 0 into 0
54.543 * [backup-simplify]: Simplify (- 0) into 0
54.556 * [backup-simplify]: Simplify (+ 0 0) into 0
54.556 * [taylor]: Taking taylor expansion of 0 in z
54.556 * [backup-simplify]: Simplify 0 into 0
54.556 * [backup-simplify]: Simplify 0 into 0
54.556 * [taylor]: Taking taylor expansion of 0 in z
54.557 * [backup-simplify]: Simplify 0 into 0
54.557 * [backup-simplify]: Simplify 0 into 0
54.557 * [backup-simplify]: Simplify (+ (* -1 (* z (* 1 y))) (* 1 (* 1 (* x y)))) into (- (* x y) (* z y))
54.557 * [backup-simplify]: Simplify (fma (/ 1 y) (/ 1 x) (* (/ 1 y) (- (/ 1 z)))) into (fma (/ 1 y) (/ 1 x) (/ -1 (* z y)))
54.557 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ -1 (* z y))) in (y x z) around 0
54.557 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ -1 (* z y))) in z
54.557 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ -1 (* z y)))
54.558 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in z
54.558 * [taylor]: Taking taylor expansion of (/ 1 y) in z
54.558 * [taylor]: Taking taylor expansion of y in z
54.558 * [backup-simplify]: Simplify y into y
54.558 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
54.558 * [taylor]: Taking taylor expansion of (/ 1 x) in z
54.558 * [taylor]: Taking taylor expansion of x in z
54.558 * [backup-simplify]: Simplify x into x
54.558 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
54.558 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in z
54.558 * [taylor]: Taking taylor expansion of -1 in z
54.558 * [backup-simplify]: Simplify -1 into -1
54.558 * [taylor]: Taking taylor expansion of (* z y) in z
54.558 * [taylor]: Taking taylor expansion of z in z
54.558 * [backup-simplify]: Simplify 0 into 0
54.558 * [backup-simplify]: Simplify 1 into 1
54.558 * [taylor]: Taking taylor expansion of y in z
54.558 * [backup-simplify]: Simplify y into y
54.558 * [backup-simplify]: Simplify (* 0 y) into 0
54.559 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
54.559 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
54.559 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ -1 (* z y))) in x
54.559 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ -1 (* z y)))
54.559 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in x
54.559 * [taylor]: Taking taylor expansion of (/ 1 y) in x
54.559 * [taylor]: Taking taylor expansion of y in x
54.559 * [backup-simplify]: Simplify y into y
54.559 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
54.559 * [taylor]: Taking taylor expansion of (/ 1 x) in x
54.559 * [taylor]: Taking taylor expansion of x in x
54.559 * [backup-simplify]: Simplify 0 into 0
54.559 * [backup-simplify]: Simplify 1 into 1
54.560 * [backup-simplify]: Simplify (/ 1 1) into 1
54.560 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in x
54.560 * [taylor]: Taking taylor expansion of -1 in x
54.560 * [backup-simplify]: Simplify -1 into -1
54.560 * [taylor]: Taking taylor expansion of (* z y) in x
54.560 * [taylor]: Taking taylor expansion of z in x
54.560 * [backup-simplify]: Simplify z into z
54.560 * [taylor]: Taking taylor expansion of y in x
54.560 * [backup-simplify]: Simplify y into y
54.560 * [backup-simplify]: Simplify (* z y) into (* z y)
54.560 * [backup-simplify]: Simplify (/ -1 (* z y)) into (/ -1 (* z y))
54.560 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ -1 (* z y))) in y
54.560 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ -1 (* z y)))
54.561 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
54.561 * [taylor]: Taking taylor expansion of (/ 1 y) in y
54.561 * [taylor]: Taking taylor expansion of y in y
54.561 * [backup-simplify]: Simplify 0 into 0
54.561 * [backup-simplify]: Simplify 1 into 1
54.561 * [backup-simplify]: Simplify (/ 1 1) into 1
54.561 * [taylor]: Taking taylor expansion of (/ 1 x) in y
54.561 * [taylor]: Taking taylor expansion of x in y
54.561 * [backup-simplify]: Simplify x into x
54.561 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
54.561 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in y
54.561 * [taylor]: Taking taylor expansion of -1 in y
54.561 * [backup-simplify]: Simplify -1 into -1
54.561 * [taylor]: Taking taylor expansion of (* z y) in y
54.561 * [taylor]: Taking taylor expansion of z in y
54.561 * [backup-simplify]: Simplify z into z
54.561 * [taylor]: Taking taylor expansion of y in y
54.561 * [backup-simplify]: Simplify 0 into 0
54.561 * [backup-simplify]: Simplify 1 into 1
54.562 * [backup-simplify]: Simplify (* z 0) into 0
54.562 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
54.562 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
54.562 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ -1 (* z y))) in y
54.562 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ -1 (* z y)))
54.562 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
54.562 * [taylor]: Taking taylor expansion of (/ 1 y) in y
54.562 * [taylor]: Taking taylor expansion of y in y
54.562 * [backup-simplify]: Simplify 0 into 0
54.562 * [backup-simplify]: Simplify 1 into 1
54.563 * [backup-simplify]: Simplify (/ 1 1) into 1
54.563 * [taylor]: Taking taylor expansion of (/ 1 x) in y
54.563 * [taylor]: Taking taylor expansion of x in y
54.563 * [backup-simplify]: Simplify x into x
54.563 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
54.563 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in y
54.563 * [taylor]: Taking taylor expansion of -1 in y
54.563 * [backup-simplify]: Simplify -1 into -1
54.563 * [taylor]: Taking taylor expansion of (* z y) in y
54.563 * [taylor]: Taking taylor expansion of z in y
54.563 * [backup-simplify]: Simplify z into z
54.563 * [taylor]: Taking taylor expansion of y in y
54.563 * [backup-simplify]: Simplify 0 into 0
54.563 * [backup-simplify]: Simplify 1 into 1
54.563 * [backup-simplify]: Simplify (* z 0) into 0
54.564 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
54.564 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
54.568 * [backup-simplify]: Simplify (* 1 (/ 1 x)) into (/ 1 x)
54.568 * [backup-simplify]: Simplify (+ (/ 1 x) (/ -1 z)) into (- (/ 1 x) (/ 1 z))
54.568 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
54.568 * [taylor]: Taking taylor expansion of (/ 1 x) in x
54.568 * [taylor]: Taking taylor expansion of x in x
54.568 * [backup-simplify]: Simplify 0 into 0
54.568 * [backup-simplify]: Simplify 1 into 1
54.569 * [backup-simplify]: Simplify (/ 1 1) into 1
54.569 * [taylor]: Taking taylor expansion of (/ 1 z) in x
54.569 * [taylor]: Taking taylor expansion of z in x
54.569 * [backup-simplify]: Simplify z into z
54.569 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
54.569 * [backup-simplify]: Simplify (+ 1 0) into 1
54.569 * [taylor]: Taking taylor expansion of 1 in z
54.569 * [backup-simplify]: Simplify 1 into 1
54.569 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
54.570 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
54.592 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 x))) into 0
54.593 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
54.593 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0
54.594 * [backup-simplify]: Simplify (+ 0 0) into 0
54.594 * [taylor]: Taking taylor expansion of 0 in x
54.594 * [backup-simplify]: Simplify 0 into 0
54.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
54.631 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
54.632 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
54.632 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
54.632 * [taylor]: Taking taylor expansion of (/ 1 z) in z
54.632 * [taylor]: Taking taylor expansion of z in z
54.632 * [backup-simplify]: Simplify 0 into 0
54.632 * [backup-simplify]: Simplify 1 into 1
54.632 * [backup-simplify]: Simplify (/ 1 1) into 1
54.632 * [backup-simplify]: Simplify (- 1) into -1
54.632 * [backup-simplify]: Simplify -1 into -1
54.632 * [backup-simplify]: Simplify 1 into 1
54.633 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
54.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
54.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
54.634 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
54.634 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
54.635 * [backup-simplify]: Simplify (+ 0 0) into 0
54.635 * [taylor]: Taking taylor expansion of 0 in x
54.635 * [backup-simplify]: Simplify 0 into 0
54.635 * [taylor]: Taking taylor expansion of 0 in z
54.635 * [backup-simplify]: Simplify 0 into 0
54.635 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
54.635 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
54.635 * [backup-simplify]: Simplify (- 0) into 0
54.636 * [backup-simplify]: Simplify (+ 0 0) into 0
54.636 * [taylor]: Taking taylor expansion of 0 in z
54.636 * [backup-simplify]: Simplify 0 into 0
54.636 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
54.637 * [backup-simplify]: Simplify (- 0) into 0
54.637 * [backup-simplify]: Simplify 0 into 0
54.637 * [backup-simplify]: Simplify 0 into 0
54.637 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
54.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
54.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0
54.639 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
54.639 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
54.639 * [backup-simplify]: Simplify (+ 0 0) into 0
54.639 * [taylor]: Taking taylor expansion of 0 in x
54.639 * [backup-simplify]: Simplify 0 into 0
54.639 * [taylor]: Taking taylor expansion of 0 in z
54.639 * [backup-simplify]: Simplify 0 into 0
54.639 * [taylor]: Taking taylor expansion of 0 in z
54.639 * [backup-simplify]: Simplify 0 into 0
54.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
54.640 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
54.640 * [backup-simplify]: Simplify (- 0) into 0
54.640 * [backup-simplify]: Simplify (+ 0 0) into 0
54.640 * [taylor]: Taking taylor expansion of 0 in z
54.641 * [backup-simplify]: Simplify 0 into 0
54.641 * [backup-simplify]: Simplify 0 into 0
54.641 * [backup-simplify]: Simplify 0 into 0
54.642 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
54.642 * [backup-simplify]: Simplify (- 0) into 0
54.642 * [backup-simplify]: Simplify 0 into 0
54.643 * [backup-simplify]: Simplify 0 into 0
54.643 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 y)))))) into (- (* x y) (* z y))
54.643 * [backup-simplify]: Simplify (fma (/ 1 (- y)) (/ 1 (- x)) (* (/ 1 (- y)) (- (/ 1 (- z))))) into (fma (/ -1 y) (/ -1 x) (/ -1 (* z y)))
54.643 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ -1 (* z y))) in (y x z) around 0
54.643 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ -1 (* z y))) in z
54.644 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ -1 (* z y)))
54.644 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in z
54.644 * [taylor]: Taking taylor expansion of (/ -1 y) in z
54.644 * [taylor]: Taking taylor expansion of -1 in z
54.644 * [backup-simplify]: Simplify -1 into -1
54.644 * [taylor]: Taking taylor expansion of y in z
54.644 * [backup-simplify]: Simplify y into y
54.644 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
54.644 * [taylor]: Taking taylor expansion of (/ -1 x) in z
54.644 * [taylor]: Taking taylor expansion of -1 in z
54.644 * [backup-simplify]: Simplify -1 into -1
54.644 * [taylor]: Taking taylor expansion of x in z
54.644 * [backup-simplify]: Simplify x into x
54.644 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
54.644 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in z
54.644 * [taylor]: Taking taylor expansion of -1 in z
54.644 * [backup-simplify]: Simplify -1 into -1
54.644 * [taylor]: Taking taylor expansion of (* z y) in z
54.644 * [taylor]: Taking taylor expansion of z in z
54.644 * [backup-simplify]: Simplify 0 into 0
54.644 * [backup-simplify]: Simplify 1 into 1
54.644 * [taylor]: Taking taylor expansion of y in z
54.644 * [backup-simplify]: Simplify y into y
54.645 * [backup-simplify]: Simplify (* 0 y) into 0
54.645 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
54.645 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
54.646 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ -1 (* z y))) in x
54.646 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ -1 (* z y)))
54.646 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in x
54.646 * [taylor]: Taking taylor expansion of (/ -1 y) in x
54.646 * [taylor]: Taking taylor expansion of -1 in x
54.646 * [backup-simplify]: Simplify -1 into -1
54.646 * [taylor]: Taking taylor expansion of y in x
54.646 * [backup-simplify]: Simplify y into y
54.646 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
54.646 * [taylor]: Taking taylor expansion of (/ -1 x) in x
54.646 * [taylor]: Taking taylor expansion of -1 in x
54.646 * [backup-simplify]: Simplify -1 into -1
54.646 * [taylor]: Taking taylor expansion of x in x
54.646 * [backup-simplify]: Simplify 0 into 0
54.646 * [backup-simplify]: Simplify 1 into 1
54.647 * [backup-simplify]: Simplify (/ -1 1) into -1
54.647 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in x
54.647 * [taylor]: Taking taylor expansion of -1 in x
54.647 * [backup-simplify]: Simplify -1 into -1
54.647 * [taylor]: Taking taylor expansion of (* z y) in x
54.647 * [taylor]: Taking taylor expansion of z in x
54.647 * [backup-simplify]: Simplify z into z
54.647 * [taylor]: Taking taylor expansion of y in x
54.647 * [backup-simplify]: Simplify y into y
54.647 * [backup-simplify]: Simplify (* z y) into (* z y)
54.647 * [backup-simplify]: Simplify (/ -1 (* z y)) into (/ -1 (* z y))
54.647 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ -1 (* z y))) in y
54.648 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ -1 (* z y)))
54.648 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
54.648 * [taylor]: Taking taylor expansion of (/ -1 y) in y
54.648 * [taylor]: Taking taylor expansion of -1 in y
54.648 * [backup-simplify]: Simplify -1 into -1
54.648 * [taylor]: Taking taylor expansion of y in y
54.648 * [backup-simplify]: Simplify 0 into 0
54.648 * [backup-simplify]: Simplify 1 into 1
54.648 * [backup-simplify]: Simplify (/ -1 1) into -1
54.648 * [taylor]: Taking taylor expansion of (/ -1 x) in y
54.648 * [taylor]: Taking taylor expansion of -1 in y
54.648 * [backup-simplify]: Simplify -1 into -1
54.649 * [taylor]: Taking taylor expansion of x in y
54.649 * [backup-simplify]: Simplify x into x
54.649 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
54.649 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in y
54.649 * [taylor]: Taking taylor expansion of -1 in y
54.649 * [backup-simplify]: Simplify -1 into -1
54.649 * [taylor]: Taking taylor expansion of (* z y) in y
54.649 * [taylor]: Taking taylor expansion of z in y
54.649 * [backup-simplify]: Simplify z into z
54.649 * [taylor]: Taking taylor expansion of y in y
54.649 * [backup-simplify]: Simplify 0 into 0
54.649 * [backup-simplify]: Simplify 1 into 1
54.649 * [backup-simplify]: Simplify (* z 0) into 0
54.649 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
54.650 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
54.650 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ -1 (* z y))) in y
54.650 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ -1 (* z y)))
54.650 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
54.650 * [taylor]: Taking taylor expansion of (/ -1 y) in y
54.650 * [taylor]: Taking taylor expansion of -1 in y
54.650 * [backup-simplify]: Simplify -1 into -1
54.650 * [taylor]: Taking taylor expansion of y in y
54.650 * [backup-simplify]: Simplify 0 into 0
54.650 * [backup-simplify]: Simplify 1 into 1
54.650 * [backup-simplify]: Simplify (/ -1 1) into -1
54.650 * [taylor]: Taking taylor expansion of (/ -1 x) in y
54.651 * [taylor]: Taking taylor expansion of -1 in y
54.651 * [backup-simplify]: Simplify -1 into -1
54.651 * [taylor]: Taking taylor expansion of x in y
54.651 * [backup-simplify]: Simplify x into x
54.651 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
54.651 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in y
54.651 * [taylor]: Taking taylor expansion of -1 in y
54.651 * [backup-simplify]: Simplify -1 into -1
54.651 * [taylor]: Taking taylor expansion of (* z y) in y
54.651 * [taylor]: Taking taylor expansion of z in y
54.651 * [backup-simplify]: Simplify z into z
54.651 * [taylor]: Taking taylor expansion of y in y
54.651 * [backup-simplify]: Simplify 0 into 0
54.651 * [backup-simplify]: Simplify 1 into 1
54.651 * [backup-simplify]: Simplify (* z 0) into 0
54.651 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
54.652 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
54.652 * [backup-simplify]: Simplify (* -1 (/ -1 x)) into (/ 1 x)
54.652 * [backup-simplify]: Simplify (+ (/ 1 x) (/ -1 z)) into (- (/ 1 x) (/ 1 z))
54.652 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
54.652 * [taylor]: Taking taylor expansion of (/ 1 x) in x
54.652 * [taylor]: Taking taylor expansion of x in x
54.652 * [backup-simplify]: Simplify 0 into 0
54.652 * [backup-simplify]: Simplify 1 into 1
54.653 * [backup-simplify]: Simplify (/ 1 1) into 1
54.653 * [taylor]: Taking taylor expansion of (/ 1 z) in x
54.653 * [taylor]: Taking taylor expansion of z in x
54.653 * [backup-simplify]: Simplify z into z
54.653 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
54.653 * [backup-simplify]: Simplify (+ 1 0) into 1
54.654 * [taylor]: Taking taylor expansion of 1 in z
54.654 * [backup-simplify]: Simplify 1 into 1
54.654 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
54.655 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
54.655 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 x))) into 0
54.656 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
54.656 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0
54.656 * [backup-simplify]: Simplify (+ 0 0) into 0
54.657 * [taylor]: Taking taylor expansion of 0 in x
54.657 * [backup-simplify]: Simplify 0 into 0
54.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
54.657 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
54.658 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
54.658 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
54.658 * [taylor]: Taking taylor expansion of (/ 1 z) in z
54.658 * [taylor]: Taking taylor expansion of z in z
54.658 * [backup-simplify]: Simplify 0 into 0
54.658 * [backup-simplify]: Simplify 1 into 1
54.658 * [backup-simplify]: Simplify (/ 1 1) into 1
54.658 * [backup-simplify]: Simplify (- 1) into -1
54.659 * [backup-simplify]: Simplify -1 into -1
54.659 * [backup-simplify]: Simplify 1 into 1
54.659 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
54.660 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
54.661 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 x)))) into 0
54.662 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
54.662 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
54.662 * [backup-simplify]: Simplify (+ 0 0) into 0
54.663 * [taylor]: Taking taylor expansion of 0 in x
54.663 * [backup-simplify]: Simplify 0 into 0
54.663 * [taylor]: Taking taylor expansion of 0 in z
54.663 * [backup-simplify]: Simplify 0 into 0
54.664 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
54.664 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
54.664 * [backup-simplify]: Simplify (- 0) into 0
54.665 * [backup-simplify]: Simplify (+ 0 0) into 0
54.665 * [taylor]: Taking taylor expansion of 0 in z
54.665 * [backup-simplify]: Simplify 0 into 0
54.666 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
54.666 * [backup-simplify]: Simplify (- 0) into 0
54.666 * [backup-simplify]: Simplify 0 into 0
54.666 * [backup-simplify]: Simplify 0 into 0
54.667 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
54.668 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
54.670 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 x))))) into 0
54.671 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
54.671 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
54.671 * [backup-simplify]: Simplify (+ 0 0) into 0
54.671 * [taylor]: Taking taylor expansion of 0 in x
54.671 * [backup-simplify]: Simplify 0 into 0
54.671 * [taylor]: Taking taylor expansion of 0 in z
54.672 * [backup-simplify]: Simplify 0 into 0
54.672 * [taylor]: Taking taylor expansion of 0 in z
54.672 * [backup-simplify]: Simplify 0 into 0
54.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
54.673 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
54.673 * [backup-simplify]: Simplify (- 0) into 0
54.674 * [backup-simplify]: Simplify (+ 0 0) into 0
54.674 * [taylor]: Taking taylor expansion of 0 in z
54.674 * [backup-simplify]: Simplify 0 into 0
54.674 * [backup-simplify]: Simplify 0 into 0
54.674 * [backup-simplify]: Simplify 0 into 0
54.675 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
54.675 * [backup-simplify]: Simplify (- 0) into 0
54.675 * [backup-simplify]: Simplify 0 into 0
54.675 * [backup-simplify]: Simplify 0 into 0
54.676 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- y))))))) into (- (* x y) (* z y))
54.676 * * * [progress]: simplifying candidates
54.689 * [simplify]: Simplifying:
  (expm1 (fma y x (* y (- z))))
  (log1p (fma y x (* y (- z))))
  (* y x)
  (log (fma y x (* y (- z))))
  (exp (fma y x (* y (- z))))
  (* (cbrt (fma y x (* y (- z)))) (cbrt (fma y x (* y (- z)))))
  (cbrt (fma y x (* y (- z))))
  (* (* (fma y x (* y (- z))) (fma y x (* y (- z)))) (fma y x (* y (- z))))
  (sqrt (fma y x (* y (- z))))
  (sqrt (fma y x (* y (- z))))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
54.691 * * [simplify]: iteration 0: 19 enodes
54.695 * * [simplify]: iteration 1: 29 enodes
54.705 * * [simplify]: iteration 2: 69 enodes
54.753 * * [simplify]: iteration 3: 284 enodes
55.401 * * [simplify]: iteration 4: 1291 enodes
58.081 * * [simplify]: iteration complete: 5001 enodes
58.090 * * [simplify]: Extracting #0: cost 10 inf + 0
58.091 * * [simplify]: Extracting #1: cost 212 inf + 0
58.115 * * [simplify]: Extracting #2: cost 1256 inf + 6618
58.212 * * [simplify]: Extracting #3: cost 777 inf + 156164
58.437 * * [simplify]: Extracting #4: cost 96 inf + 328487
58.876 * * [simplify]: Extracting #5: cost 10 inf + 354686
59.284 * * [simplify]: Extracting #6: cost 0 inf + 360225
59.471 * [simplify]: Simplified to:
  (expm1 (* (- x z) y))
  (log1p (* (- x z) y))
  (* x y)
  (log (* (- x z) y))
  (exp (* (- x z) y))
  (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y)))
  (cbrt (* (- x z) y))
  (* (* (* (- x z) y) (* (- x z) y)) (* (- x z) y))
  (sqrt (* (- x z) y))
  (sqrt (* (- x z) y))
  (* (- x z) y)
  (* (- x z) y)
  (* (- x z) y)
59.472 * * * [progress]: adding candidates to table
59.582 * [progress]: [Phase 3 of 3] Extracting.
59.582 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (* y (- x z)))> #<alt (λ (x y z) (fma y x (* y (- z))))>)
59.583 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
59.583 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (* y (- x z)))> #<alt (λ (x y z) (fma y x (* y (- z))))>)
59.653 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (* y (- x z)))> #<alt (λ (x y z) (fma y x (* y (- z))))>)
59.720 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (* y (- x z)))> #<alt (λ (x y z) (fma y x (* y (- z))))>)
59.794 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
59.795 * [simplify]: Simplifying:
  (fma y x (* y (- z)))
59.795 * * [simplify]: iteration 0: 6 enodes
59.796 * * [simplify]: iteration 1: 9 enodes
59.812 * * [simplify]: iteration 2: 13 enodes
59.814 * * [simplify]: iteration 3: 14 enodes
59.815 * * [simplify]: iteration complete: 14 enodes
59.815 * * [simplify]: Extracting #0: cost 1 inf + 0
59.815 * * [simplify]: Extracting #1: cost 4 inf + 0
59.815 * * [simplify]: Extracting #2: cost 6 inf + 2
59.815 * * [simplify]: Extracting #3: cost 4 inf + 44
59.815 * * [simplify]: Extracting #4: cost 0 inf + 347
59.815 * [simplify]: Simplified to:
  (fma y x (* (- y) z))
63.862 * [regime-testing]: Baseline error score: 0.005823848293626848
63.924 * [regime-testing]: Oracle error score: 0.0017502187773471684
63.954 * [regime-testing]: End program error score: 0.005823848293626848
64.136 * [regime-testing]: Target error score: 0.009751218902362795