21.014 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.028 * * * [progress]: [2/2] Setting up program.
0.047 * [progress]: [Phase 2 of 3] Improving.
0.047 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y z) (+ (* x y) (* (- 1.0 x) z)))>
0.047 * [simplify]: Simplifying:
  (+ (* x y) (* (- 1.0 x) z))
0.047 * * [simplify]: iteration 0: 8 enodes
0.058 * * [simplify]: iteration 1: 14 enodes
0.072 * * [simplify]: iteration 2: 24 enodes
0.098 * * [simplify]: iteration 3: 40 enodes
0.115 * * [simplify]: iteration 4: 61 enodes
0.148 * * [simplify]: iteration 5: 78 enodes
0.205 * * [simplify]: iteration 6: 98 enodes
0.249 * * [simplify]: iteration 7: 124 enodes
0.303 * * [simplify]: iteration 8: 167 enodes
0.432 * * [simplify]: iteration 9: 299 enodes
0.723 * * [simplify]: iteration 10: 756 enodes
1.857 * * [simplify]: iteration 11: 1815 enodes
3.559 * * [simplify]: iteration 12: 2756 enodes
4.015 * * [simplify]: iteration 13: 3025 enodes
4.372 * * [simplify]: iteration 14: 3276 enodes
4.749 * * [simplify]: iteration 15: 3549 enodes
4.998 * * [simplify]: iteration 16: 3795 enodes
5.338 * * [simplify]: iteration 17: 4067 enodes
5.557 * * [simplify]: iteration 18: 4315 enodes
5.893 * * [simplify]: iteration 19: 4589 enodes
6.251 * * [simplify]: iteration 20: 4835 enodes
6.524 * * [simplify]: iteration complete: 5001 enodes
6.525 * * [simplify]: Extracting #0: cost 1 inf + 0
6.525 * * [simplify]: Extracting #1: cost 26 inf + 0
6.525 * * [simplify]: Extracting #2: cost 82 inf + 4
6.528 * * [simplify]: Extracting #3: cost 22 inf + 5162
6.533 * * [simplify]: Extracting #4: cost 0 inf + 7509
6.539 * [simplify]: Simplified to:
  (fma (- 1.0 x) z (* y x))
6.553 * * [progress]: iteration 1 / 4
6.553 * * * [progress]: picking best candidate
6.564 * * * * [pick]: Picked  #<alt (λ (x y z) (fma (- 1.0 x) z (* y x)))>
6.564 * * * [progress]: localizing error
6.578 * * * [progress]: generating rewritten candidates
6.578 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
6.580 * * * [progress]: generating series expansions
6.580 * * * * [progress]: [ 1 / 1 ] generating series at (2)
6.580 * [backup-simplify]: Simplify (fma (- 1.0 x) z (* y x)) into (fma (- 1.0 x) z (* x y))
6.580 * [approximate]: Taking taylor expansion of (fma (- 1.0 x) z (* x y)) in (x z y) around 0
6.580 * [taylor]: Taking taylor expansion of (fma (- 1.0 x) z (* x y)) in y
6.580 * [taylor]: Rewrote expression to (+ (* (- 1.0 x) z) (* x y))
6.580 * [taylor]: Taking taylor expansion of (* (- 1.0 x) z) in y
6.580 * [taylor]: Taking taylor expansion of (- 1.0 x) in y
6.580 * [taylor]: Taking taylor expansion of 1.0 in y
6.580 * [backup-simplify]: Simplify 1.0 into 1.0
6.580 * [taylor]: Taking taylor expansion of x in y
6.580 * [backup-simplify]: Simplify x into x
6.580 * [taylor]: Taking taylor expansion of z in y
6.580 * [backup-simplify]: Simplify z into z
6.580 * [taylor]: Taking taylor expansion of (* x y) in y
6.580 * [taylor]: Taking taylor expansion of x in y
6.580 * [backup-simplify]: Simplify x into x
6.580 * [taylor]: Taking taylor expansion of y in y
6.580 * [backup-simplify]: Simplify 0 into 0
6.580 * [backup-simplify]: Simplify 1 into 1
6.580 * [taylor]: Taking taylor expansion of (fma (- 1.0 x) z (* x y)) in z
6.581 * [taylor]: Rewrote expression to (+ (* (- 1.0 x) z) (* x y))
6.581 * [taylor]: Taking taylor expansion of (* (- 1.0 x) z) in z
6.581 * [taylor]: Taking taylor expansion of (- 1.0 x) in z
6.581 * [taylor]: Taking taylor expansion of 1.0 in z
6.581 * [backup-simplify]: Simplify 1.0 into 1.0
6.581 * [taylor]: Taking taylor expansion of x in z
6.581 * [backup-simplify]: Simplify x into x
6.581 * [taylor]: Taking taylor expansion of z in z
6.581 * [backup-simplify]: Simplify 0 into 0
6.581 * [backup-simplify]: Simplify 1 into 1
6.581 * [taylor]: Taking taylor expansion of (* x y) in z
6.581 * [taylor]: Taking taylor expansion of x in z
6.581 * [backup-simplify]: Simplify x into x
6.581 * [taylor]: Taking taylor expansion of y in z
6.581 * [backup-simplify]: Simplify y into y
6.581 * [taylor]: Taking taylor expansion of (fma (- 1.0 x) z (* x y)) in x
6.581 * [taylor]: Rewrote expression to (+ (* (- 1.0 x) z) (* x y))
6.581 * [taylor]: Taking taylor expansion of (* (- 1.0 x) z) in x
6.581 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
6.581 * [taylor]: Taking taylor expansion of 1.0 in x
6.581 * [backup-simplify]: Simplify 1.0 into 1.0
6.581 * [taylor]: Taking taylor expansion of x in x
6.581 * [backup-simplify]: Simplify 0 into 0
6.581 * [backup-simplify]: Simplify 1 into 1
6.581 * [taylor]: Taking taylor expansion of z in x
6.581 * [backup-simplify]: Simplify z into z
6.581 * [taylor]: Taking taylor expansion of (* x y) in x
6.581 * [taylor]: Taking taylor expansion of x in x
6.581 * [backup-simplify]: Simplify 0 into 0
6.581 * [backup-simplify]: Simplify 1 into 1
6.581 * [taylor]: Taking taylor expansion of y in x
6.581 * [backup-simplify]: Simplify y into y
6.581 * [taylor]: Taking taylor expansion of (fma (- 1.0 x) z (* x y)) in x
6.581 * [taylor]: Rewrote expression to (+ (* (- 1.0 x) z) (* x y))
6.581 * [taylor]: Taking taylor expansion of (* (- 1.0 x) z) in x
6.581 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
6.581 * [taylor]: Taking taylor expansion of 1.0 in x
6.581 * [backup-simplify]: Simplify 1.0 into 1.0
6.581 * [taylor]: Taking taylor expansion of x in x
6.581 * [backup-simplify]: Simplify 0 into 0
6.581 * [backup-simplify]: Simplify 1 into 1
6.582 * [taylor]: Taking taylor expansion of z in x
6.582 * [backup-simplify]: Simplify z into z
6.582 * [taylor]: Taking taylor expansion of (* x y) in x
6.582 * [taylor]: Taking taylor expansion of x in x
6.582 * [backup-simplify]: Simplify 0 into 0
6.582 * [backup-simplify]: Simplify 1 into 1
6.582 * [taylor]: Taking taylor expansion of y in x
6.582 * [backup-simplify]: Simplify y into y
6.583 * [backup-simplify]: Simplify (- 0) into 0
6.583 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.583 * [backup-simplify]: Simplify (* 1.0 z) into (* 1.0 z)
6.583 * [backup-simplify]: Simplify (* 0 y) into 0
6.583 * [backup-simplify]: Simplify (+ (* 1.0 z) 0) into (* 1.0 z)
6.583 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
6.583 * [taylor]: Taking taylor expansion of 1.0 in z
6.584 * [backup-simplify]: Simplify 1.0 into 1.0
6.584 * [taylor]: Taking taylor expansion of z in z
6.584 * [backup-simplify]: Simplify 0 into 0
6.584 * [backup-simplify]: Simplify 1 into 1
6.584 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.584 * [taylor]: Taking taylor expansion of 0 in y
6.584 * [backup-simplify]: Simplify 0 into 0
6.584 * [backup-simplify]: Simplify 0 into 0
6.585 * [backup-simplify]: Simplify (- 1) into -1
6.585 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.586 * [backup-simplify]: Simplify (+ (* 1.0 0) (* -1 z)) into (- z)
6.586 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.587 * [backup-simplify]: Simplify (+ (- z) y) into (- y z)
6.587 * [taylor]: Taking taylor expansion of (- y z) in z
6.587 * [taylor]: Taking taylor expansion of y in z
6.587 * [backup-simplify]: Simplify y into y
6.587 * [taylor]: Taking taylor expansion of z in z
6.587 * [backup-simplify]: Simplify 0 into 0
6.587 * [backup-simplify]: Simplify 1 into 1
6.587 * [backup-simplify]: Simplify (- 0) into 0
6.587 * [backup-simplify]: Simplify (+ y 0) into y
6.587 * [taylor]: Taking taylor expansion of y in y
6.587 * [backup-simplify]: Simplify 0 into 0
6.587 * [backup-simplify]: Simplify 1 into 1
6.587 * [backup-simplify]: Simplify 0 into 0
6.589 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
6.589 * [taylor]: Taking taylor expansion of 1.0 in y
6.589 * [backup-simplify]: Simplify 1.0 into 1.0
6.589 * [backup-simplify]: Simplify 1.0 into 1.0
6.589 * [backup-simplify]: Simplify 0 into 0
6.590 * [backup-simplify]: Simplify (- 0) into 0
6.590 * [backup-simplify]: Simplify (+ 0 0) into 0
6.591 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* -1 0) (* 0 z))) into 0
6.592 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
6.593 * [backup-simplify]: Simplify (+ 0 0) into 0
6.593 * [taylor]: Taking taylor expansion of 0 in z
6.593 * [backup-simplify]: Simplify 0 into 0
6.593 * [taylor]: Taking taylor expansion of 0 in y
6.593 * [backup-simplify]: Simplify 0 into 0
6.593 * [backup-simplify]: Simplify 0 into 0
6.593 * [backup-simplify]: Simplify (- 1) into -1
6.594 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.594 * [taylor]: Taking taylor expansion of -1 in y
6.594 * [backup-simplify]: Simplify -1 into -1
6.594 * [backup-simplify]: Simplify -1 into -1
6.595 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
6.595 * [taylor]: Taking taylor expansion of 0 in y
6.595 * [backup-simplify]: Simplify 0 into 0
6.595 * [backup-simplify]: Simplify 0 into 0
6.595 * [backup-simplify]: Simplify 1 into 1
6.596 * [backup-simplify]: Simplify (+ (* 1 (* y (* 1 x))) (+ (* -1 (* 1 (* z x))) (* 1.0 (* 1 (* z 1))))) into (- (+ (* 1.0 z) (* x y)) (* x z))
6.597 * [backup-simplify]: Simplify (fma (- 1.0 (/ 1 x)) (/ 1 z) (* (/ 1 y) (/ 1 x))) into (fma (- 1.0 (/ 1 x)) (/ 1 z) (/ 1 (* x y)))
6.597 * [approximate]: Taking taylor expansion of (fma (- 1.0 (/ 1 x)) (/ 1 z) (/ 1 (* x y))) in (x z y) around 0
6.597 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 x)) (/ 1 z) (/ 1 (* x y))) in y
6.597 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 x)) (/ 1 z)) (/ 1 (* x y)))
6.597 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (/ 1 z)) in y
6.597 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y
6.597 * [taylor]: Taking taylor expansion of 1.0 in y
6.597 * [backup-simplify]: Simplify 1.0 into 1.0
6.597 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.597 * [taylor]: Taking taylor expansion of x in y
6.597 * [backup-simplify]: Simplify x into x
6.598 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.598 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.598 * [taylor]: Taking taylor expansion of z in y
6.598 * [backup-simplify]: Simplify z into z
6.598 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.598 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
6.598 * [taylor]: Taking taylor expansion of (* x y) in y
6.598 * [taylor]: Taking taylor expansion of x in y
6.598 * [backup-simplify]: Simplify x into x
6.598 * [taylor]: Taking taylor expansion of y in y
6.598 * [backup-simplify]: Simplify 0 into 0
6.598 * [backup-simplify]: Simplify 1 into 1
6.598 * [backup-simplify]: Simplify (* x 0) into 0
6.599 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
6.599 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.599 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 x)) (/ 1 z) (/ 1 (* x y))) in z
6.599 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 x)) (/ 1 z)) (/ 1 (* x y)))
6.599 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (/ 1 z)) in z
6.599 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in z
6.599 * [taylor]: Taking taylor expansion of 1.0 in z
6.599 * [backup-simplify]: Simplify 1.0 into 1.0
6.599 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.599 * [taylor]: Taking taylor expansion of x in z
6.599 * [backup-simplify]: Simplify x into x
6.600 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.600 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.600 * [taylor]: Taking taylor expansion of z in z
6.600 * [backup-simplify]: Simplify 0 into 0
6.600 * [backup-simplify]: Simplify 1 into 1
6.600 * [backup-simplify]: Simplify (/ 1 1) into 1
6.600 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
6.600 * [taylor]: Taking taylor expansion of (* x y) in z
6.600 * [taylor]: Taking taylor expansion of x in z
6.600 * [backup-simplify]: Simplify x into x
6.600 * [taylor]: Taking taylor expansion of y in z
6.601 * [backup-simplify]: Simplify y into y
6.601 * [backup-simplify]: Simplify (* x y) into (* x y)
6.601 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
6.601 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 x)) (/ 1 z) (/ 1 (* x y))) in x
6.601 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 x)) (/ 1 z)) (/ 1 (* x y)))
6.601 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (/ 1 z)) in x
6.601 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
6.601 * [taylor]: Taking taylor expansion of 1.0 in x
6.601 * [backup-simplify]: Simplify 1.0 into 1.0
6.601 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.601 * [taylor]: Taking taylor expansion of x in x
6.601 * [backup-simplify]: Simplify 0 into 0
6.601 * [backup-simplify]: Simplify 1 into 1
6.602 * [backup-simplify]: Simplify (/ 1 1) into 1
6.602 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.602 * [taylor]: Taking taylor expansion of z in x
6.602 * [backup-simplify]: Simplify z into z
6.602 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.602 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.602 * [taylor]: Taking taylor expansion of (* x y) in x
6.602 * [taylor]: Taking taylor expansion of x in x
6.602 * [backup-simplify]: Simplify 0 into 0
6.602 * [backup-simplify]: Simplify 1 into 1
6.602 * [taylor]: Taking taylor expansion of y in x
6.602 * [backup-simplify]: Simplify y into y
6.602 * [backup-simplify]: Simplify (* 0 y) into 0
6.603 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.603 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.603 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 x)) (/ 1 z) (/ 1 (* x y))) in x
6.603 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 x)) (/ 1 z)) (/ 1 (* x y)))
6.603 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (/ 1 z)) in x
6.603 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
6.603 * [taylor]: Taking taylor expansion of 1.0 in x
6.603 * [backup-simplify]: Simplify 1.0 into 1.0
6.603 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.603 * [taylor]: Taking taylor expansion of x in x
6.603 * [backup-simplify]: Simplify 0 into 0
6.603 * [backup-simplify]: Simplify 1 into 1
6.604 * [backup-simplify]: Simplify (/ 1 1) into 1
6.604 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.604 * [taylor]: Taking taylor expansion of z in x
6.604 * [backup-simplify]: Simplify z into z
6.604 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.604 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.604 * [taylor]: Taking taylor expansion of (* x y) in x
6.604 * [taylor]: Taking taylor expansion of x in x
6.604 * [backup-simplify]: Simplify 0 into 0
6.604 * [backup-simplify]: Simplify 1 into 1
6.604 * [taylor]: Taking taylor expansion of y in x
6.604 * [backup-simplify]: Simplify y into y
6.604 * [backup-simplify]: Simplify (* 0 y) into 0
6.605 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.605 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.605 * [backup-simplify]: Simplify (- 1) into -1
6.606 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.606 * [backup-simplify]: Simplify (* -1 (/ 1 z)) into (/ -1 z)
6.606 * [backup-simplify]: Simplify (+ (/ -1 z) (/ 1 y)) into (- (/ 1 y) (/ 1 z))
6.606 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
6.606 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.606 * [taylor]: Taking taylor expansion of y in z
6.606 * [backup-simplify]: Simplify y into y
6.607 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.607 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.607 * [taylor]: Taking taylor expansion of z in z
6.607 * [backup-simplify]: Simplify 0 into 0
6.607 * [backup-simplify]: Simplify 1 into 1
6.607 * [backup-simplify]: Simplify (/ 1 1) into 1
6.608 * [backup-simplify]: Simplify (- 1) into -1
6.608 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.608 * [taylor]: Taking taylor expansion of -1 in y
6.608 * [backup-simplify]: Simplify -1 into -1
6.608 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
6.609 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.610 * [backup-simplify]: Simplify (- 0) into 0
6.610 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.611 * [backup-simplify]: Simplify (+ (* -1 0) (* 1.0 (/ 1 z))) into (* 1.0 (/ 1 z))
6.612 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
6.612 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.612 * [backup-simplify]: Simplify (+ (* 1.0 (/ 1 z)) 0) into (* 1.0 (/ 1 z))
6.612 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
6.612 * [taylor]: Taking taylor expansion of 1.0 in z
6.613 * [backup-simplify]: Simplify 1.0 into 1.0
6.613 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.613 * [taylor]: Taking taylor expansion of z in z
6.613 * [backup-simplify]: Simplify 0 into 0
6.613 * [backup-simplify]: Simplify 1 into 1
6.613 * [backup-simplify]: Simplify (/ 1 1) into 1
6.613 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.614 * [taylor]: Taking taylor expansion of 1.0 in y
6.614 * [backup-simplify]: Simplify 1.0 into 1.0
6.614 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.615 * [backup-simplify]: Simplify (- 0) into 0
6.615 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
6.615 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.615 * [taylor]: Taking taylor expansion of y in y
6.615 * [backup-simplify]: Simplify 0 into 0
6.615 * [backup-simplify]: Simplify 1 into 1
6.615 * [backup-simplify]: Simplify (/ 1 1) into 1
6.615 * [backup-simplify]: Simplify 1 into 1
6.615 * [backup-simplify]: Simplify -1 into -1
6.616 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
6.617 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.617 * [backup-simplify]: Simplify (- 0) into 0
6.618 * [backup-simplify]: Simplify (+ 0 0) into 0
6.619 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 0) (* 0 (/ 1 z)))) into 0
6.620 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
6.621 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.621 * [backup-simplify]: Simplify (+ 0 0) into 0
6.621 * [taylor]: Taking taylor expansion of 0 in z
6.621 * [backup-simplify]: Simplify 0 into 0
6.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.623 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.623 * [taylor]: Taking taylor expansion of 0 in y
6.623 * [backup-simplify]: Simplify 0 into 0
6.623 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.624 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.624 * [backup-simplify]: Simplify (- 0) into 0
6.625 * [backup-simplify]: Simplify (+ 0 0) into 0
6.625 * [taylor]: Taking taylor expansion of 0 in y
6.625 * [backup-simplify]: Simplify 0 into 0
6.625 * [backup-simplify]: Simplify 1.0 into 1.0
6.627 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (* (/ 1 (/ 1 z)) 1))) (+ (* -1 (* 1 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 x))))) (* 1 (* (/ 1 (/ 1 y)) (* 1 (/ 1 (/ 1 x))))))) into (- (+ (* 1.0 z) (* x y)) (* x z))
6.628 * [backup-simplify]: Simplify (fma (- 1.0 (/ 1 (- x))) (/ 1 (- z)) (* (/ 1 (- y)) (/ 1 (- x)))) into (fma (+ (/ 1 x) 1.0) (/ -1 z) (/ 1 (* x y)))
6.628 * [approximate]: Taking taylor expansion of (fma (+ (/ 1 x) 1.0) (/ -1 z) (/ 1 (* x y))) in (x z y) around 0
6.628 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 x) 1.0) (/ -1 z) (/ 1 (* x y))) in y
6.628 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 x) 1.0) (/ -1 z)) (/ 1 (* x y)))
6.628 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (/ -1 z)) in y
6.628 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
6.628 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.628 * [taylor]: Taking taylor expansion of x in y
6.628 * [backup-simplify]: Simplify x into x
6.628 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.628 * [taylor]: Taking taylor expansion of 1.0 in y
6.628 * [backup-simplify]: Simplify 1.0 into 1.0
6.628 * [taylor]: Taking taylor expansion of (/ -1 z) in y
6.628 * [taylor]: Taking taylor expansion of -1 in y
6.628 * [backup-simplify]: Simplify -1 into -1
6.628 * [taylor]: Taking taylor expansion of z in y
6.628 * [backup-simplify]: Simplify z into z
6.629 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
6.629 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
6.629 * [taylor]: Taking taylor expansion of (* x y) in y
6.629 * [taylor]: Taking taylor expansion of x in y
6.629 * [backup-simplify]: Simplify x into x
6.629 * [taylor]: Taking taylor expansion of y in y
6.629 * [backup-simplify]: Simplify 0 into 0
6.629 * [backup-simplify]: Simplify 1 into 1
6.629 * [backup-simplify]: Simplify (* x 0) into 0
6.630 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
6.630 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.630 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 x) 1.0) (/ -1 z) (/ 1 (* x y))) in z
6.630 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 x) 1.0) (/ -1 z)) (/ 1 (* x y)))
6.630 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (/ -1 z)) in z
6.630 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in z
6.630 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.630 * [taylor]: Taking taylor expansion of x in z
6.630 * [backup-simplify]: Simplify x into x
6.630 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.630 * [taylor]: Taking taylor expansion of 1.0 in z
6.630 * [backup-simplify]: Simplify 1.0 into 1.0
6.630 * [taylor]: Taking taylor expansion of (/ -1 z) in z
6.630 * [taylor]: Taking taylor expansion of -1 in z
6.630 * [backup-simplify]: Simplify -1 into -1
6.630 * [taylor]: Taking taylor expansion of z in z
6.630 * [backup-simplify]: Simplify 0 into 0
6.630 * [backup-simplify]: Simplify 1 into 1
6.631 * [backup-simplify]: Simplify (/ -1 1) into -1
6.631 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
6.631 * [taylor]: Taking taylor expansion of (* x y) in z
6.631 * [taylor]: Taking taylor expansion of x in z
6.631 * [backup-simplify]: Simplify x into x
6.631 * [taylor]: Taking taylor expansion of y in z
6.631 * [backup-simplify]: Simplify y into y
6.631 * [backup-simplify]: Simplify (* x y) into (* x y)
6.631 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
6.631 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 x) 1.0) (/ -1 z) (/ 1 (* x y))) in x
6.632 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 x) 1.0) (/ -1 z)) (/ 1 (* x y)))
6.632 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (/ -1 z)) in x
6.632 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
6.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.632 * [taylor]: Taking taylor expansion of x in x
6.632 * [backup-simplify]: Simplify 0 into 0
6.632 * [backup-simplify]: Simplify 1 into 1
6.632 * [backup-simplify]: Simplify (/ 1 1) into 1
6.632 * [taylor]: Taking taylor expansion of 1.0 in x
6.632 * [backup-simplify]: Simplify 1.0 into 1.0
6.632 * [taylor]: Taking taylor expansion of (/ -1 z) in x
6.632 * [taylor]: Taking taylor expansion of -1 in x
6.632 * [backup-simplify]: Simplify -1 into -1
6.632 * [taylor]: Taking taylor expansion of z in x
6.633 * [backup-simplify]: Simplify z into z
6.633 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
6.633 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.633 * [taylor]: Taking taylor expansion of (* x y) in x
6.633 * [taylor]: Taking taylor expansion of x in x
6.633 * [backup-simplify]: Simplify 0 into 0
6.633 * [backup-simplify]: Simplify 1 into 1
6.633 * [taylor]: Taking taylor expansion of y in x
6.633 * [backup-simplify]: Simplify y into y
6.633 * [backup-simplify]: Simplify (* 0 y) into 0
6.633 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.634 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.634 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 x) 1.0) (/ -1 z) (/ 1 (* x y))) in x
6.634 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 x) 1.0) (/ -1 z)) (/ 1 (* x y)))
6.634 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (/ -1 z)) in x
6.634 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
6.634 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.634 * [taylor]: Taking taylor expansion of x in x
6.634 * [backup-simplify]: Simplify 0 into 0
6.634 * [backup-simplify]: Simplify 1 into 1
6.634 * [backup-simplify]: Simplify (/ 1 1) into 1
6.635 * [taylor]: Taking taylor expansion of 1.0 in x
6.635 * [backup-simplify]: Simplify 1.0 into 1.0
6.635 * [taylor]: Taking taylor expansion of (/ -1 z) in x
6.635 * [taylor]: Taking taylor expansion of -1 in x
6.635 * [backup-simplify]: Simplify -1 into -1
6.635 * [taylor]: Taking taylor expansion of z in x
6.635 * [backup-simplify]: Simplify z into z
6.635 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
6.635 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.635 * [taylor]: Taking taylor expansion of (* x y) in x
6.635 * [taylor]: Taking taylor expansion of x in x
6.635 * [backup-simplify]: Simplify 0 into 0
6.635 * [backup-simplify]: Simplify 1 into 1
6.635 * [taylor]: Taking taylor expansion of y in x
6.635 * [backup-simplify]: Simplify y into y
6.635 * [backup-simplify]: Simplify (* 0 y) into 0
6.636 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.636 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.636 * [backup-simplify]: Simplify (+ 1 0) into 1
6.636 * [backup-simplify]: Simplify (* 1 (/ -1 z)) into (/ -1 z)
6.637 * [backup-simplify]: Simplify (+ (/ -1 z) (/ 1 y)) into (- (/ 1 y) (/ 1 z))
6.637 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
6.637 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.637 * [taylor]: Taking taylor expansion of y in z
6.637 * [backup-simplify]: Simplify y into y
6.637 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.637 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.637 * [taylor]: Taking taylor expansion of z in z
6.637 * [backup-simplify]: Simplify 0 into 0
6.637 * [backup-simplify]: Simplify 1 into 1
6.638 * [backup-simplify]: Simplify (/ 1 1) into 1
6.638 * [backup-simplify]: Simplify (- 1) into -1
6.638 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.638 * [taylor]: Taking taylor expansion of -1 in y
6.638 * [backup-simplify]: Simplify -1 into -1
6.639 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0
6.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.640 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.641 * [backup-simplify]: Simplify (+ (* 1 0) (* 1.0 (/ -1 z))) into (- (* 1.0 (/ 1 z)))
6.642 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
6.642 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.643 * [backup-simplify]: Simplify (+ (- (* 1.0 (/ 1 z))) 0) into (- (* 1.0 (/ 1 z)))
6.643 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in z
6.643 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
6.643 * [taylor]: Taking taylor expansion of 1.0 in z
6.643 * [backup-simplify]: Simplify 1.0 into 1.0
6.643 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.643 * [taylor]: Taking taylor expansion of z in z
6.643 * [backup-simplify]: Simplify 0 into 0
6.643 * [backup-simplify]: Simplify 1 into 1
6.643 * [backup-simplify]: Simplify (/ 1 1) into 1
6.644 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.644 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.644 * [taylor]: Taking taylor expansion of (- 1.0) in y
6.644 * [taylor]: Taking taylor expansion of 1.0 in y
6.645 * [backup-simplify]: Simplify 1.0 into 1.0
6.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.646 * [backup-simplify]: Simplify (- 0) into 0
6.646 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
6.646 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.646 * [taylor]: Taking taylor expansion of y in y
6.646 * [backup-simplify]: Simplify 0 into 0
6.646 * [backup-simplify]: Simplify 1 into 1
6.647 * [backup-simplify]: Simplify (/ 1 1) into 1
6.647 * [backup-simplify]: Simplify 1 into 1
6.647 * [backup-simplify]: Simplify -1 into -1
6.648 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
6.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.649 * [backup-simplify]: Simplify (+ 0 0) into 0
6.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 0) (* 0 (/ -1 z)))) into 0
6.652 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
6.652 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.652 * [backup-simplify]: Simplify (+ 0 0) into 0
6.652 * [taylor]: Taking taylor expansion of 0 in z
6.652 * [backup-simplify]: Simplify 0 into 0
6.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.654 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.655 * [backup-simplify]: Simplify (- 0) into 0
6.655 * [taylor]: Taking taylor expansion of 0 in y
6.655 * [backup-simplify]: Simplify 0 into 0
6.655 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.656 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.657 * [backup-simplify]: Simplify (- 0) into 0
6.657 * [backup-simplify]: Simplify (+ 0 0) into 0
6.657 * [taylor]: Taking taylor expansion of 0 in y
6.657 * [backup-simplify]: Simplify 0 into 0
6.658 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.658 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.661 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (* (/ 1 (/ 1 (- z))) 1))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- x)))))) (* 1 (* (/ 1 (/ 1 (- y))) (* 1 (/ 1 (/ 1 (- x)))))))) into (- (+ (* 1.0 z) (* x y)) (* x z))
6.661 * * * [progress]: simplifying candidates
6.661 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (x y z) (posit16->real (real->posit16 (fma (- 1.0 x) z (* y x)))))>
6.661 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (x y z) (log1p (expm1 (fma (- 1.0 x) z (* y x)))))>
6.661 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (x y z) (expm1 (log1p (fma (- 1.0 x) z (* y x)))))>
6.661 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 1.0 x) z) (* y x)))>
6.661 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (x y z) (pow (fma (- 1.0 x) z (* y x)) 1))>
6.661 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (x y z) (exp (log (fma (- 1.0 x) z (* y x)))))>
6.661 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (x y z) (log (exp (fma (- 1.0 x) z (* y x)))))>
6.661 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (x y z) (* (* (cbrt (fma (- 1.0 x) z (* y x))) (cbrt (fma (- 1.0 x) z (* y x)))) (cbrt (fma (- 1.0 x) z (* y x)))))>
6.661 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (x y z) (cbrt (* (* (fma (- 1.0 x) z (* y x)) (fma (- 1.0 x) z (* y x))) (fma (- 1.0 x) z (* y x)))))>
6.662 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (x y z) (* (sqrt (fma (- 1.0 x) z (* y x))) (sqrt (fma (- 1.0 x) z (* y x)))))>
6.662 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (x y z) (* 1 (fma (- 1.0 x) z (* y x))))>
6.662 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (x y z) (- (+ (* 1.0 z) (* x y)) (* x z)))>
6.662 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (x y z) (- (+ (* 1.0 z) (* x y)) (* x z)))>
6.662 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (x y z) (- (+ (* 1.0 z) (* x y)) (* x z)))>
6.662 * [simplify]: Simplifying:
  (real->posit16 (fma (- 1.0 x) z (* y x)))
  (expm1 (fma (- 1.0 x) z (* y x)))
  (log1p (fma (- 1.0 x) z (* y x)))
  (* (- 1.0 x) z)
  (log (fma (- 1.0 x) z (* y x)))
  (exp (fma (- 1.0 x) z (* y x)))
  (* (cbrt (fma (- 1.0 x) z (* y x))) (cbrt (fma (- 1.0 x) z (* y x))))
  (cbrt (fma (- 1.0 x) z (* y x)))
  (* (* (fma (- 1.0 x) z (* y x)) (fma (- 1.0 x) z (* y x))) (fma (- 1.0 x) z (* y x)))
  (sqrt (fma (- 1.0 x) z (* y x)))
  (sqrt (fma (- 1.0 x) z (* y x)))
  (- (+ (* 1.0 z) (* x y)) (* x z))
  (- (+ (* 1.0 z) (* x y)) (* x z))
  (- (+ (* 1.0 z) (* x y)) (* x z))
6.663 * * [simplify]: iteration 0: 23 enodes
6.691 * * [simplify]: iteration 1: 36 enodes
6.736 * * [simplify]: iteration 2: 79 enodes
6.792 * * [simplify]: iteration 3: 233 enodes
7.243 * * [simplify]: iteration 4: 1031 enodes
8.823 * * [simplify]: iteration complete: 5000 enodes
8.823 * * [simplify]: Extracting #0: cost 11 inf + 0
8.823 * * [simplify]: Extracting #1: cost 130 inf + 0
8.827 * * [simplify]: Extracting #2: cost 1335 inf + 751
8.851 * * [simplify]: Extracting #3: cost 1253 inf + 97304
8.995 * * [simplify]: Extracting #4: cost 168 inf + 370583
9.176 * * [simplify]: Extracting #5: cost 5 inf + 414268
9.327 * * [simplify]: Extracting #6: cost 0 inf + 416904
9.549 * [simplify]: Simplified to:
  (real->posit16 (fma 1.0 z (* (- y z) x)))
  (expm1 (fma 1.0 z (* (- y z) x)))
  (log1p (fma 1.0 z (* (- y z) x)))
  (* (- 1.0 x) z)
  (log (fma 1.0 z (* (- y z) x)))
  (exp (fma 1.0 z (* (- y z) x)))
  (* (cbrt (fma 1.0 z (* (- y z) x))) (cbrt (fma 1.0 z (* (- y z) x))))
  (cbrt (fma 1.0 z (* (- y z) x)))
  (* (fma 1.0 z (* (- y z) x)) (* (fma 1.0 z (* (- y z) x)) (fma 1.0 z (* (- y z) x))))
  (sqrt (fma 1.0 z (* (- y z) x)))
  (sqrt (fma 1.0 z (* (- y z) x)))
  (fma 1.0 z (* (- y z) x))
  (fma 1.0 z (* (- y z) x))
  (fma 1.0 z (* (- y z) x))
9.550 * * * [progress]: adding candidates to table
9.730 * * [progress]: iteration 2 / 4
9.731 * * * [progress]: picking best candidate
9.769 * * * * [pick]: Picked  #<alt (λ (x y z) (fma 1.0 z (* (- y z) x)))>
9.769 * * * [progress]: localizing error
9.802 * * * [progress]: generating rewritten candidates
9.802 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3)
9.862 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
9.867 * * * [progress]: generating series expansions
9.867 * * * * [progress]: [ 1 / 2 ] generating series at (2 3)
9.867 * [backup-simplify]: Simplify (* (- y z) x) into (* (- y z) x)
9.867 * [approximate]: Taking taylor expansion of (* (- y z) x) in (y z x) around 0
9.867 * [taylor]: Taking taylor expansion of (* (- y z) x) in x
9.867 * [taylor]: Taking taylor expansion of (- y z) in x
9.867 * [taylor]: Taking taylor expansion of y in x
9.867 * [backup-simplify]: Simplify y into y
9.867 * [taylor]: Taking taylor expansion of z in x
9.867 * [backup-simplify]: Simplify z into z
9.868 * [taylor]: Taking taylor expansion of x in x
9.868 * [backup-simplify]: Simplify 0 into 0
9.868 * [backup-simplify]: Simplify 1 into 1
9.868 * [taylor]: Taking taylor expansion of (* (- y z) x) in z
9.868 * [taylor]: Taking taylor expansion of (- y z) in z
9.868 * [taylor]: Taking taylor expansion of y in z
9.868 * [backup-simplify]: Simplify y into y
9.868 * [taylor]: Taking taylor expansion of z in z
9.868 * [backup-simplify]: Simplify 0 into 0
9.868 * [backup-simplify]: Simplify 1 into 1
9.868 * [taylor]: Taking taylor expansion of x in z
9.868 * [backup-simplify]: Simplify x into x
9.868 * [taylor]: Taking taylor expansion of (* (- y z) x) in y
9.868 * [taylor]: Taking taylor expansion of (- y z) in y
9.868 * [taylor]: Taking taylor expansion of y in y
9.868 * [backup-simplify]: Simplify 0 into 0
9.868 * [backup-simplify]: Simplify 1 into 1
9.868 * [taylor]: Taking taylor expansion of z in y
9.868 * [backup-simplify]: Simplify z into z
9.868 * [taylor]: Taking taylor expansion of x in y
9.868 * [backup-simplify]: Simplify x into x
9.868 * [taylor]: Taking taylor expansion of (* (- y z) x) in y
9.868 * [taylor]: Taking taylor expansion of (- y z) in y
9.868 * [taylor]: Taking taylor expansion of y in y
9.868 * [backup-simplify]: Simplify 0 into 0
9.868 * [backup-simplify]: Simplify 1 into 1
9.868 * [taylor]: Taking taylor expansion of z in y
9.868 * [backup-simplify]: Simplify z into z
9.868 * [taylor]: Taking taylor expansion of x in y
9.868 * [backup-simplify]: Simplify x into x
9.868 * [backup-simplify]: Simplify (- z) into (- z)
9.868 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
9.868 * [backup-simplify]: Simplify (* (- z) x) into (* -1 (* x z))
9.868 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in z
9.868 * [taylor]: Taking taylor expansion of -1 in z
9.868 * [backup-simplify]: Simplify -1 into -1
9.868 * [taylor]: Taking taylor expansion of (* x z) in z
9.869 * [taylor]: Taking taylor expansion of x in z
9.869 * [backup-simplify]: Simplify x into x
9.869 * [taylor]: Taking taylor expansion of z in z
9.869 * [backup-simplify]: Simplify 0 into 0
9.869 * [backup-simplify]: Simplify 1 into 1
9.869 * [backup-simplify]: Simplify (* x 0) into 0
9.869 * [backup-simplify]: Simplify (* -1 0) into 0
9.869 * [taylor]: Taking taylor expansion of 0 in x
9.869 * [backup-simplify]: Simplify 0 into 0
9.869 * [backup-simplify]: Simplify 0 into 0
9.870 * [backup-simplify]: Simplify (- 0) into 0
9.870 * [backup-simplify]: Simplify (+ 1 0) into 1
9.870 * [backup-simplify]: Simplify (+ (* (- z) 0) (* 1 x)) into x
9.870 * [taylor]: Taking taylor expansion of x in z
9.870 * [backup-simplify]: Simplify x into x
9.870 * [taylor]: Taking taylor expansion of x in x
9.870 * [backup-simplify]: Simplify 0 into 0
9.870 * [backup-simplify]: Simplify 1 into 1
9.870 * [backup-simplify]: Simplify 0 into 0
9.870 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.871 * [backup-simplify]: Simplify (+ (* -1 x) (* 0 0)) into (- x)
9.871 * [taylor]: Taking taylor expansion of (- x) in x
9.871 * [taylor]: Taking taylor expansion of x in x
9.871 * [backup-simplify]: Simplify 0 into 0
9.871 * [backup-simplify]: Simplify 1 into 1
9.871 * [backup-simplify]: Simplify (- 0) into 0
9.871 * [backup-simplify]: Simplify 0 into 0
9.871 * [backup-simplify]: Simplify 0 into 0
9.871 * [backup-simplify]: Simplify (- 0) into 0
9.872 * [backup-simplify]: Simplify (+ 0 0) into 0
9.872 * [backup-simplify]: Simplify (+ (* (- z) 0) (+ (* 1 0) (* 0 x))) into 0
9.872 * [taylor]: Taking taylor expansion of 0 in z
9.872 * [backup-simplify]: Simplify 0 into 0
9.872 * [taylor]: Taking taylor expansion of 0 in x
9.872 * [backup-simplify]: Simplify 0 into 0
9.872 * [backup-simplify]: Simplify 0 into 0
9.872 * [taylor]: Taking taylor expansion of 0 in x
9.872 * [backup-simplify]: Simplify 0 into 0
9.872 * [backup-simplify]: Simplify 0 into 0
9.872 * [backup-simplify]: Simplify 0 into 0
9.873 * [backup-simplify]: Simplify (* (- (/ 1 y) (/ 1 z)) (/ 1 x)) into (/ (- (/ 1 y) (/ 1 z)) x)
9.873 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in (y z x) around 0
9.873 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x
9.873 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
9.873 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.873 * [taylor]: Taking taylor expansion of y in x
9.873 * [backup-simplify]: Simplify y into y
9.873 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.873 * [taylor]: Taking taylor expansion of (/ 1 z) in x
9.873 * [taylor]: Taking taylor expansion of z in x
9.873 * [backup-simplify]: Simplify z into z
9.873 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.873 * [taylor]: Taking taylor expansion of x in x
9.873 * [backup-simplify]: Simplify 0 into 0
9.873 * [backup-simplify]: Simplify 1 into 1
9.873 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
9.873 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 z))) into (- (/ 1 y) (/ 1 z))
9.873 * [backup-simplify]: Simplify (/ (- (/ 1 y) (/ 1 z)) 1) into (- (/ 1 y) (/ 1 z))
9.873 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in z
9.873 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
9.873 * [taylor]: Taking taylor expansion of (/ 1 y) in z
9.873 * [taylor]: Taking taylor expansion of y in z
9.873 * [backup-simplify]: Simplify y into y
9.873 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.873 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.874 * [taylor]: Taking taylor expansion of z in z
9.874 * [backup-simplify]: Simplify 0 into 0
9.874 * [backup-simplify]: Simplify 1 into 1
9.874 * [backup-simplify]: Simplify (/ 1 1) into 1
9.874 * [taylor]: Taking taylor expansion of x in z
9.874 * [backup-simplify]: Simplify x into x
9.874 * [backup-simplify]: Simplify (- 1) into -1
9.874 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.874 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
9.874 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y
9.874 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
9.875 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.875 * [taylor]: Taking taylor expansion of y in y
9.875 * [backup-simplify]: Simplify 0 into 0
9.875 * [backup-simplify]: Simplify 1 into 1
9.875 * [backup-simplify]: Simplify (/ 1 1) into 1
9.875 * [taylor]: Taking taylor expansion of (/ 1 z) in y
9.875 * [taylor]: Taking taylor expansion of z in y
9.875 * [backup-simplify]: Simplify z into z
9.875 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.875 * [taylor]: Taking taylor expansion of x in y
9.875 * [backup-simplify]: Simplify x into x
9.875 * [backup-simplify]: Simplify (+ 1 0) into 1
9.875 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.875 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y
9.875 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
9.875 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.875 * [taylor]: Taking taylor expansion of y in y
9.875 * [backup-simplify]: Simplify 0 into 0
9.875 * [backup-simplify]: Simplify 1 into 1
9.876 * [backup-simplify]: Simplify (/ 1 1) into 1
9.876 * [taylor]: Taking taylor expansion of (/ 1 z) in y
9.876 * [taylor]: Taking taylor expansion of z in y
9.876 * [backup-simplify]: Simplify z into z
9.876 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.876 * [taylor]: Taking taylor expansion of x in y
9.876 * [backup-simplify]: Simplify x into x
9.876 * [backup-simplify]: Simplify (+ 1 0) into 1
9.876 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.876 * [taylor]: Taking taylor expansion of (/ 1 x) in z
9.876 * [taylor]: Taking taylor expansion of x in z
9.876 * [backup-simplify]: Simplify x into x
9.876 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.877 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.877 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
9.877 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
9.877 * [backup-simplify]: Simplify (- (/ (- (/ 1 z)) x) (+ (* (/ 1 x) (/ 0 x)))) into (- (/ 1 (* x z)))
9.877 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in z
9.877 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
9.877 * [taylor]: Taking taylor expansion of (* x z) in z
9.877 * [taylor]: Taking taylor expansion of x in z
9.877 * [backup-simplify]: Simplify x into x
9.877 * [taylor]: Taking taylor expansion of z in z
9.877 * [backup-simplify]: Simplify 0 into 0
9.878 * [backup-simplify]: Simplify 1 into 1
9.878 * [backup-simplify]: Simplify (* x 0) into 0
9.878 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.878 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.878 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
9.878 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
9.878 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.878 * [taylor]: Taking taylor expansion of x in x
9.878 * [backup-simplify]: Simplify 0 into 0
9.878 * [backup-simplify]: Simplify 1 into 1
9.878 * [backup-simplify]: Simplify (/ 1 1) into 1
9.879 * [backup-simplify]: Simplify (- 1) into -1
9.879 * [backup-simplify]: Simplify -1 into -1
9.879 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.879 * [taylor]: Taking taylor expansion of x in x
9.879 * [backup-simplify]: Simplify 0 into 0
9.879 * [backup-simplify]: Simplify 1 into 1
9.879 * [backup-simplify]: Simplify (/ 1 1) into 1
9.879 * [backup-simplify]: Simplify 1 into 1
9.880 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.880 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
9.880 * [backup-simplify]: Simplify (- 0) into 0
9.880 * [backup-simplify]: Simplify (+ 0 0) into 0
9.881 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* (- (/ 1 (* x z))) (/ 0 x)))) into 0
9.881 * [taylor]: Taking taylor expansion of 0 in z
9.881 * [backup-simplify]: Simplify 0 into 0
9.881 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
9.881 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
9.882 * [backup-simplify]: Simplify (- 0) into 0
9.882 * [taylor]: Taking taylor expansion of 0 in x
9.882 * [backup-simplify]: Simplify 0 into 0
9.882 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
9.882 * [taylor]: Taking taylor expansion of 0 in x
9.882 * [backup-simplify]: Simplify 0 into 0
9.882 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.883 * [backup-simplify]: Simplify (- 0) into 0
9.883 * [backup-simplify]: Simplify 0 into 0
9.883 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.883 * [backup-simplify]: Simplify 0 into 0
9.884 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.884 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
9.885 * [backup-simplify]: Simplify (- 0) into 0
9.885 * [backup-simplify]: Simplify (+ 0 0) into 0
9.885 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* (- (/ 1 (* x z))) (/ 0 x)) (* 0 (/ 0 x)))) into 0
9.885 * [taylor]: Taking taylor expansion of 0 in z
9.885 * [backup-simplify]: Simplify 0 into 0
9.885 * [taylor]: Taking taylor expansion of 0 in x
9.885 * [backup-simplify]: Simplify 0 into 0
9.886 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.886 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
9.886 * [backup-simplify]: Simplify (- 0) into 0
9.886 * [taylor]: Taking taylor expansion of 0 in x
9.887 * [backup-simplify]: Simplify 0 into 0
9.887 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
9.887 * [taylor]: Taking taylor expansion of 0 in x
9.887 * [backup-simplify]: Simplify 0 into 0
9.887 * [backup-simplify]: Simplify 0 into 0
9.887 * [backup-simplify]: Simplify 0 into 0
9.888 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.888 * [backup-simplify]: Simplify (- 0) into 0
9.888 * [backup-simplify]: Simplify 0 into 0
9.888 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.888 * [backup-simplify]: Simplify 0 into 0
9.889 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 x)) (* (/ 1 (/ 1 z)) 1)))) into (- (* x y) (* x z))
9.889 * [backup-simplify]: Simplify (* (- (/ 1 (- y)) (/ 1 (- z))) (/ 1 (- x))) into (* -1 (/ (- (/ 1 z) (/ 1 y)) x))
9.889 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) x)) in (y z x) around 0
9.889 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) x)) in x
9.889 * [taylor]: Taking taylor expansion of -1 in x
9.889 * [backup-simplify]: Simplify -1 into -1
9.889 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x
9.889 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
9.890 * [taylor]: Taking taylor expansion of (/ 1 z) in x
9.890 * [taylor]: Taking taylor expansion of z in x
9.890 * [backup-simplify]: Simplify z into z
9.890 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.890 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.890 * [taylor]: Taking taylor expansion of y in x
9.890 * [backup-simplify]: Simplify y into y
9.890 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.890 * [taylor]: Taking taylor expansion of x in x
9.890 * [backup-simplify]: Simplify 0 into 0
9.890 * [backup-simplify]: Simplify 1 into 1
9.890 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
9.890 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 y))) into (- (/ 1 z) (/ 1 y))
9.891 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 y)) 1) into (- (/ 1 z) (/ 1 y))
9.891 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) x)) in z
9.891 * [taylor]: Taking taylor expansion of -1 in z
9.891 * [backup-simplify]: Simplify -1 into -1
9.891 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in z
9.891 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
9.891 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.891 * [taylor]: Taking taylor expansion of z in z
9.891 * [backup-simplify]: Simplify 0 into 0
9.891 * [backup-simplify]: Simplify 1 into 1
9.892 * [backup-simplify]: Simplify (/ 1 1) into 1
9.892 * [taylor]: Taking taylor expansion of (/ 1 y) in z
9.892 * [taylor]: Taking taylor expansion of y in z
9.892 * [backup-simplify]: Simplify y into y
9.892 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.892 * [taylor]: Taking taylor expansion of x in z
9.892 * [backup-simplify]: Simplify x into x
9.893 * [backup-simplify]: Simplify (+ 1 0) into 1
9.893 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.893 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) x)) in y
9.893 * [taylor]: Taking taylor expansion of -1 in y
9.893 * [backup-simplify]: Simplify -1 into -1
9.893 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y
9.893 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
9.893 * [taylor]: Taking taylor expansion of (/ 1 z) in y
9.893 * [taylor]: Taking taylor expansion of z in y
9.893 * [backup-simplify]: Simplify z into z
9.893 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.893 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.893 * [taylor]: Taking taylor expansion of y in y
9.893 * [backup-simplify]: Simplify 0 into 0
9.893 * [backup-simplify]: Simplify 1 into 1
9.894 * [backup-simplify]: Simplify (/ 1 1) into 1
9.894 * [taylor]: Taking taylor expansion of x in y
9.894 * [backup-simplify]: Simplify x into x
9.894 * [backup-simplify]: Simplify (- 1) into -1
9.895 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.895 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
9.895 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) x)) in y
9.895 * [taylor]: Taking taylor expansion of -1 in y
9.895 * [backup-simplify]: Simplify -1 into -1
9.895 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y
9.895 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
9.895 * [taylor]: Taking taylor expansion of (/ 1 z) in y
9.895 * [taylor]: Taking taylor expansion of z in y
9.895 * [backup-simplify]: Simplify z into z
9.895 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.895 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.895 * [taylor]: Taking taylor expansion of y in y
9.895 * [backup-simplify]: Simplify 0 into 0
9.895 * [backup-simplify]: Simplify 1 into 1
9.896 * [backup-simplify]: Simplify (/ 1 1) into 1
9.896 * [taylor]: Taking taylor expansion of x in y
9.896 * [backup-simplify]: Simplify x into x
9.896 * [backup-simplify]: Simplify (- 1) into -1
9.897 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.897 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
9.897 * [backup-simplify]: Simplify (* -1 (/ -1 x)) into (/ 1 x)
9.897 * [taylor]: Taking taylor expansion of (/ 1 x) in z
9.897 * [taylor]: Taking taylor expansion of x in z
9.897 * [backup-simplify]: Simplify x into x
9.897 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.898 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.899 * [backup-simplify]: Simplify (- 0) into 0
9.899 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
9.899 * [backup-simplify]: Simplify (- (/ (/ 1 z) x) (+ (* (/ -1 x) (/ 0 x)))) into (/ 1 (* x z))
9.900 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (* x z))) (* 0 (/ -1 x))) into (- (/ 1 (* x z)))
9.900 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in z
9.900 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
9.900 * [taylor]: Taking taylor expansion of (* x z) in z
9.900 * [taylor]: Taking taylor expansion of x in z
9.900 * [backup-simplify]: Simplify x into x
9.900 * [taylor]: Taking taylor expansion of z in z
9.900 * [backup-simplify]: Simplify 0 into 0
9.900 * [backup-simplify]: Simplify 1 into 1
9.900 * [backup-simplify]: Simplify (* x 0) into 0
9.901 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.901 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.901 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
9.901 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
9.901 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.901 * [taylor]: Taking taylor expansion of x in x
9.901 * [backup-simplify]: Simplify 0 into 0
9.901 * [backup-simplify]: Simplify 1 into 1
9.902 * [backup-simplify]: Simplify (/ 1 1) into 1
9.902 * [backup-simplify]: Simplify (- 1) into -1
9.902 * [backup-simplify]: Simplify -1 into -1
9.902 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.902 * [taylor]: Taking taylor expansion of x in x
9.902 * [backup-simplify]: Simplify 0 into 0
9.902 * [backup-simplify]: Simplify 1 into 1
9.903 * [backup-simplify]: Simplify (/ 1 1) into 1
9.903 * [backup-simplify]: Simplify 1 into 1
9.903 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
9.904 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.905 * [backup-simplify]: Simplify (- 0) into 0
9.905 * [backup-simplify]: Simplify (+ 0 0) into 0
9.906 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* (/ 1 (* x z)) (/ 0 x)))) into 0
9.907 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (* x z))) (* 0 (/ -1 x)))) into 0
9.907 * [taylor]: Taking taylor expansion of 0 in z
9.907 * [backup-simplify]: Simplify 0 into 0
9.908 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
9.908 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
9.909 * [backup-simplify]: Simplify (- 0) into 0
9.909 * [taylor]: Taking taylor expansion of 0 in x
9.909 * [backup-simplify]: Simplify 0 into 0
9.909 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
9.909 * [taylor]: Taking taylor expansion of 0 in x
9.909 * [backup-simplify]: Simplify 0 into 0
9.910 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.911 * [backup-simplify]: Simplify (- 0) into 0
9.911 * [backup-simplify]: Simplify 0 into 0
9.912 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.912 * [backup-simplify]: Simplify 0 into 0
9.912 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
9.913 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.914 * [backup-simplify]: Simplify (- 0) into 0
9.914 * [backup-simplify]: Simplify (+ 0 0) into 0
9.915 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* (/ 1 (* x z)) (/ 0 x)) (* 0 (/ 0 x)))) into 0
9.917 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (* x z))) (* 0 (/ -1 x))))) into 0
9.917 * [taylor]: Taking taylor expansion of 0 in z
9.917 * [backup-simplify]: Simplify 0 into 0
9.917 * [taylor]: Taking taylor expansion of 0 in x
9.917 * [backup-simplify]: Simplify 0 into 0
9.918 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.918 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
9.919 * [backup-simplify]: Simplify (- 0) into 0
9.919 * [taylor]: Taking taylor expansion of 0 in x
9.919 * [backup-simplify]: Simplify 0 into 0
9.919 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
9.919 * [taylor]: Taking taylor expansion of 0 in x
9.919 * [backup-simplify]: Simplify 0 into 0
9.920 * [backup-simplify]: Simplify 0 into 0
9.920 * [backup-simplify]: Simplify 0 into 0
9.921 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.921 * [backup-simplify]: Simplify (- 0) into 0
9.921 * [backup-simplify]: Simplify 0 into 0
9.922 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.922 * [backup-simplify]: Simplify 0 into 0
9.923 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (/ 1 (- z))) 1)))) into (- (* x y) (* x z))
9.923 * * * * [progress]: [ 2 / 2 ] generating series at (2)
9.923 * [backup-simplify]: Simplify (fma 1.0 z (* (- y z) x)) into (fma 1.0 z (* (- y z) x))
9.923 * [approximate]: Taking taylor expansion of (fma 1.0 z (* (- y z) x)) in (z y x) around 0
9.923 * [taylor]: Taking taylor expansion of (fma 1.0 z (* (- y z) x)) in x
9.923 * [taylor]: Rewrote expression to (+ (* 1.0 z) (* (- y z) x))
9.923 * [taylor]: Taking taylor expansion of (* 1.0 z) in x
9.923 * [taylor]: Taking taylor expansion of 1.0 in x
9.923 * [backup-simplify]: Simplify 1.0 into 1.0
9.923 * [taylor]: Taking taylor expansion of z in x
9.923 * [backup-simplify]: Simplify z into z
9.923 * [taylor]: Taking taylor expansion of (* (- y z) x) in x
9.923 * [taylor]: Taking taylor expansion of (- y z) in x
9.923 * [taylor]: Taking taylor expansion of y in x
9.923 * [backup-simplify]: Simplify y into y
9.923 * [taylor]: Taking taylor expansion of z in x
9.923 * [backup-simplify]: Simplify z into z
9.923 * [taylor]: Taking taylor expansion of x in x
9.923 * [backup-simplify]: Simplify 0 into 0
9.923 * [backup-simplify]: Simplify 1 into 1
9.923 * [taylor]: Taking taylor expansion of (fma 1.0 z (* (- y z) x)) in y
9.924 * [taylor]: Rewrote expression to (+ (* 1.0 z) (* (- y z) x))
9.924 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
9.924 * [taylor]: Taking taylor expansion of 1.0 in y
9.924 * [backup-simplify]: Simplify 1.0 into 1.0
9.924 * [taylor]: Taking taylor expansion of z in y
9.924 * [backup-simplify]: Simplify z into z
9.924 * [taylor]: Taking taylor expansion of (* (- y z) x) in y
9.924 * [taylor]: Taking taylor expansion of (- y z) in y
9.924 * [taylor]: Taking taylor expansion of y in y
9.924 * [backup-simplify]: Simplify 0 into 0
9.924 * [backup-simplify]: Simplify 1 into 1
9.924 * [taylor]: Taking taylor expansion of z in y
9.924 * [backup-simplify]: Simplify z into z
9.924 * [taylor]: Taking taylor expansion of x in y
9.924 * [backup-simplify]: Simplify x into x
9.924 * [taylor]: Taking taylor expansion of (fma 1.0 z (* (- y z) x)) in z
9.924 * [taylor]: Rewrote expression to (+ (* 1.0 z) (* (- y z) x))
9.924 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
9.924 * [taylor]: Taking taylor expansion of 1.0 in z
9.924 * [backup-simplify]: Simplify 1.0 into 1.0
9.924 * [taylor]: Taking taylor expansion of z in z
9.924 * [backup-simplify]: Simplify 0 into 0
9.924 * [backup-simplify]: Simplify 1 into 1
9.924 * [taylor]: Taking taylor expansion of (* (- y z) x) in z
9.924 * [taylor]: Taking taylor expansion of (- y z) in z
9.924 * [taylor]: Taking taylor expansion of y in z
9.924 * [backup-simplify]: Simplify y into y
9.924 * [taylor]: Taking taylor expansion of z in z
9.924 * [backup-simplify]: Simplify 0 into 0
9.924 * [backup-simplify]: Simplify 1 into 1
9.924 * [taylor]: Taking taylor expansion of x in z
9.924 * [backup-simplify]: Simplify x into x
9.924 * [taylor]: Taking taylor expansion of (fma 1.0 z (* (- y z) x)) in z
9.924 * [taylor]: Rewrote expression to (+ (* 1.0 z) (* (- y z) x))
9.924 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
9.924 * [taylor]: Taking taylor expansion of 1.0 in z
9.924 * [backup-simplify]: Simplify 1.0 into 1.0
9.924 * [taylor]: Taking taylor expansion of z in z
9.924 * [backup-simplify]: Simplify 0 into 0
9.924 * [backup-simplify]: Simplify 1 into 1
9.925 * [taylor]: Taking taylor expansion of (* (- y z) x) in z
9.925 * [taylor]: Taking taylor expansion of (- y z) in z
9.925 * [taylor]: Taking taylor expansion of y in z
9.925 * [backup-simplify]: Simplify y into y
9.925 * [taylor]: Taking taylor expansion of z in z
9.925 * [backup-simplify]: Simplify 0 into 0
9.925 * [backup-simplify]: Simplify 1 into 1
9.925 * [taylor]: Taking taylor expansion of x in z
9.925 * [backup-simplify]: Simplify x into x
9.925 * [backup-simplify]: Simplify (* 1.0 0) into 0
9.925 * [backup-simplify]: Simplify (- 0) into 0
9.925 * [backup-simplify]: Simplify (+ y 0) into y
9.926 * [backup-simplify]: Simplify (* y x) into (* x y)
9.926 * [backup-simplify]: Simplify (+ 0 (* x y)) into (* x y)
9.926 * [taylor]: Taking taylor expansion of (* x y) in y
9.926 * [taylor]: Taking taylor expansion of x in y
9.926 * [backup-simplify]: Simplify x into x
9.926 * [taylor]: Taking taylor expansion of y in y
9.926 * [backup-simplify]: Simplify 0 into 0
9.926 * [backup-simplify]: Simplify 1 into 1
9.926 * [backup-simplify]: Simplify (* x 0) into 0
9.926 * [taylor]: Taking taylor expansion of 0 in x
9.926 * [backup-simplify]: Simplify 0 into 0
9.926 * [backup-simplify]: Simplify 0 into 0
9.927 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
9.927 * [backup-simplify]: Simplify (- 1) into -1
9.927 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.928 * [backup-simplify]: Simplify (+ (* y 0) (* -1 x)) into (- x)
9.928 * [backup-simplify]: Simplify (+ 1.0 (- x)) into (- 1.0 x)
9.928 * [taylor]: Taking taylor expansion of (- 1.0 x) in y
9.928 * [taylor]: Taking taylor expansion of 1.0 in y
9.928 * [backup-simplify]: Simplify 1.0 into 1.0
9.928 * [taylor]: Taking taylor expansion of x in y
9.928 * [backup-simplify]: Simplify x into x
9.928 * [backup-simplify]: Simplify (- x) into (- x)
9.928 * [backup-simplify]: Simplify (+ 1.0 (- x)) into (- 1.0 x)
9.928 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
9.928 * [taylor]: Taking taylor expansion of 1.0 in x
9.928 * [backup-simplify]: Simplify 1.0 into 1.0
9.928 * [taylor]: Taking taylor expansion of x in x
9.928 * [backup-simplify]: Simplify 0 into 0
9.928 * [backup-simplify]: Simplify 1 into 1
9.928 * [backup-simplify]: Simplify (- 0) into 0
9.929 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.929 * [backup-simplify]: Simplify 1.0 into 1.0
9.929 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.929 * [taylor]: Taking taylor expansion of x in x
9.929 * [backup-simplify]: Simplify 0 into 0
9.929 * [backup-simplify]: Simplify 1 into 1
9.929 * [backup-simplify]: Simplify 0 into 0
9.929 * [backup-simplify]: Simplify 0 into 0
9.930 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
9.930 * [backup-simplify]: Simplify (- 0) into 0
9.930 * [backup-simplify]: Simplify (+ 0 0) into 0
9.931 * [backup-simplify]: Simplify (+ (* y 0) (+ (* -1 0) (* 0 x))) into 0
9.931 * [backup-simplify]: Simplify (+ 0 0) into 0
9.931 * [taylor]: Taking taylor expansion of 0 in y
9.931 * [backup-simplify]: Simplify 0 into 0
9.931 * [taylor]: Taking taylor expansion of 0 in x
9.931 * [backup-simplify]: Simplify 0 into 0
9.931 * [backup-simplify]: Simplify 0 into 0
9.931 * [backup-simplify]: Simplify (- 0) into 0
9.931 * [backup-simplify]: Simplify (+ 0 0) into 0
9.931 * [taylor]: Taking taylor expansion of 0 in x
9.932 * [backup-simplify]: Simplify 0 into 0
9.932 * [backup-simplify]: Simplify 0 into 0
9.932 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
9.932 * [taylor]: Taking taylor expansion of 0 in x
9.932 * [backup-simplify]: Simplify 0 into 0
9.932 * [backup-simplify]: Simplify 0 into 0
9.932 * [backup-simplify]: Simplify (- 1) into -1
9.933 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.933 * [backup-simplify]: Simplify -1 into -1
9.933 * [backup-simplify]: Simplify 1 into 1
9.933 * [backup-simplify]: Simplify (+ (* 1 (* x (* y 1))) (+ (* -1 (* x (* 1 z))) (* 1.0 (* 1 (* 1 z))))) into (- (+ (* 1.0 z) (* x y)) (* x z))
9.934 * [backup-simplify]: Simplify (fma 1.0 (/ 1 z) (* (- (/ 1 y) (/ 1 z)) (/ 1 x))) into (fma 1.0 (/ 1 z) (/ (- (/ 1 y) (/ 1 z)) x))
9.934 * [approximate]: Taking taylor expansion of (fma 1.0 (/ 1 z) (/ (- (/ 1 y) (/ 1 z)) x)) in (z y x) around 0
9.934 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) (/ (- (/ 1 y) (/ 1 z)) x)) in x
9.934 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) (/ (- (/ 1 y) (/ 1 z)) x))
9.934 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
9.934 * [taylor]: Taking taylor expansion of 1.0 in x
9.934 * [backup-simplify]: Simplify 1.0 into 1.0
9.934 * [taylor]: Taking taylor expansion of (/ 1 z) in x
9.934 * [taylor]: Taking taylor expansion of z in x
9.934 * [backup-simplify]: Simplify z into z
9.934 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.934 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x
9.934 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
9.934 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.934 * [taylor]: Taking taylor expansion of y in x
9.934 * [backup-simplify]: Simplify y into y
9.934 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.934 * [taylor]: Taking taylor expansion of (/ 1 z) in x
9.934 * [taylor]: Taking taylor expansion of z in x
9.934 * [backup-simplify]: Simplify z into z
9.934 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.934 * [taylor]: Taking taylor expansion of x in x
9.934 * [backup-simplify]: Simplify 0 into 0
9.934 * [backup-simplify]: Simplify 1 into 1
9.934 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
9.935 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 z))) into (- (/ 1 y) (/ 1 z))
9.935 * [backup-simplify]: Simplify (/ (- (/ 1 y) (/ 1 z)) 1) into (- (/ 1 y) (/ 1 z))
9.935 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) (/ (- (/ 1 y) (/ 1 z)) x)) in y
9.935 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) (/ (- (/ 1 y) (/ 1 z)) x))
9.935 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
9.935 * [taylor]: Taking taylor expansion of 1.0 in y
9.935 * [backup-simplify]: Simplify 1.0 into 1.0
9.935 * [taylor]: Taking taylor expansion of (/ 1 z) in y
9.935 * [taylor]: Taking taylor expansion of z in y
9.935 * [backup-simplify]: Simplify z into z
9.935 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.935 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y
9.935 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
9.935 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.935 * [taylor]: Taking taylor expansion of y in y
9.935 * [backup-simplify]: Simplify 0 into 0
9.935 * [backup-simplify]: Simplify 1 into 1
9.935 * [backup-simplify]: Simplify (/ 1 1) into 1
9.936 * [taylor]: Taking taylor expansion of (/ 1 z) in y
9.936 * [taylor]: Taking taylor expansion of z in y
9.936 * [backup-simplify]: Simplify z into z
9.936 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.936 * [taylor]: Taking taylor expansion of x in y
9.936 * [backup-simplify]: Simplify x into x
9.936 * [backup-simplify]: Simplify (+ 1 0) into 1
9.936 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.936 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) (/ (- (/ 1 y) (/ 1 z)) x)) in z
9.936 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) (/ (- (/ 1 y) (/ 1 z)) x))
9.936 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
9.936 * [taylor]: Taking taylor expansion of 1.0 in z
9.936 * [backup-simplify]: Simplify 1.0 into 1.0
9.936 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.936 * [taylor]: Taking taylor expansion of z in z
9.936 * [backup-simplify]: Simplify 0 into 0
9.936 * [backup-simplify]: Simplify 1 into 1
9.937 * [backup-simplify]: Simplify (/ 1 1) into 1
9.937 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in z
9.937 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
9.937 * [taylor]: Taking taylor expansion of (/ 1 y) in z
9.937 * [taylor]: Taking taylor expansion of y in z
9.937 * [backup-simplify]: Simplify y into y
9.937 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.937 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.937 * [taylor]: Taking taylor expansion of z in z
9.937 * [backup-simplify]: Simplify 0 into 0
9.937 * [backup-simplify]: Simplify 1 into 1
9.937 * [backup-simplify]: Simplify (/ 1 1) into 1
9.937 * [taylor]: Taking taylor expansion of x in z
9.937 * [backup-simplify]: Simplify x into x
9.937 * [backup-simplify]: Simplify (- 1) into -1
9.938 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.938 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
9.938 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) (/ (- (/ 1 y) (/ 1 z)) x)) in z
9.938 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) (/ (- (/ 1 y) (/ 1 z)) x))
9.938 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
9.938 * [taylor]: Taking taylor expansion of 1.0 in z
9.938 * [backup-simplify]: Simplify 1.0 into 1.0
9.938 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.938 * [taylor]: Taking taylor expansion of z in z
9.938 * [backup-simplify]: Simplify 0 into 0
9.938 * [backup-simplify]: Simplify 1 into 1
9.938 * [backup-simplify]: Simplify (/ 1 1) into 1
9.938 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in z
9.938 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
9.938 * [taylor]: Taking taylor expansion of (/ 1 y) in z
9.938 * [taylor]: Taking taylor expansion of y in z
9.938 * [backup-simplify]: Simplify y into y
9.938 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.939 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.939 * [taylor]: Taking taylor expansion of z in z
9.939 * [backup-simplify]: Simplify 0 into 0
9.939 * [backup-simplify]: Simplify 1 into 1
9.939 * [backup-simplify]: Simplify (/ 1 1) into 1
9.939 * [taylor]: Taking taylor expansion of x in z
9.939 * [backup-simplify]: Simplify x into x
9.939 * [backup-simplify]: Simplify (- 1) into -1
9.939 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.939 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
9.940 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
9.940 * [backup-simplify]: Simplify (+ 1.0 (/ -1 x)) into (- 1.0 (/ 1 x))
9.940 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y
9.940 * [taylor]: Taking taylor expansion of 1.0 in y
9.940 * [backup-simplify]: Simplify 1.0 into 1.0
9.940 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.940 * [taylor]: Taking taylor expansion of x in y
9.940 * [backup-simplify]: Simplify x into x
9.940 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.941 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.941 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
9.942 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.942 * [backup-simplify]: Simplify (- 0) into 0
9.942 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
9.942 * [backup-simplify]: Simplify (- (/ (/ 1 y) x) (+ (* (/ -1 x) (/ 0 x)))) into (/ 1 (* x y))
9.942 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y))
9.942 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
9.942 * [taylor]: Taking taylor expansion of (* x y) in y
9.942 * [taylor]: Taking taylor expansion of x in y
9.942 * [backup-simplify]: Simplify x into x
9.942 * [taylor]: Taking taylor expansion of y in y
9.942 * [backup-simplify]: Simplify 0 into 0
9.942 * [backup-simplify]: Simplify 1 into 1
9.942 * [backup-simplify]: Simplify (* x 0) into 0
9.943 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.943 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.943 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.943 * [taylor]: Taking taylor expansion of x in x
9.943 * [backup-simplify]: Simplify 0 into 0
9.943 * [backup-simplify]: Simplify 1 into 1
9.943 * [backup-simplify]: Simplify (/ 1 1) into 1
9.943 * [backup-simplify]: Simplify 1 into 1
9.943 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
9.943 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x))
9.943 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
9.943 * [taylor]: Taking taylor expansion of 1.0 in x
9.943 * [backup-simplify]: Simplify 1.0 into 1.0
9.944 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.944 * [taylor]: Taking taylor expansion of x in x
9.944 * [backup-simplify]: Simplify 0 into 0
9.944 * [backup-simplify]: Simplify 1 into 1
9.944 * [backup-simplify]: Simplify (/ 1 1) into 1
9.944 * [backup-simplify]: Simplify (- 1) into -1
9.944 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.944 * [backup-simplify]: Simplify -1 into -1
9.945 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.946 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
9.946 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
9.946 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.947 * [backup-simplify]: Simplify (- 0) into 0
9.947 * [backup-simplify]: Simplify (+ 0 0) into 0
9.947 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* (/ 1 (* x y)) (/ 0 x)))) into 0
9.948 * [backup-simplify]: Simplify (+ 0 0) into 0
9.948 * [taylor]: Taking taylor expansion of 0 in y
9.948 * [backup-simplify]: Simplify 0 into 0
9.948 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
9.948 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
9.948 * [taylor]: Taking taylor expansion of 0 in x
9.948 * [backup-simplify]: Simplify 0 into 0
9.948 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
9.949 * [backup-simplify]: Simplify (- 0) into 0
9.949 * [backup-simplify]: Simplify (+ 0 0) into 0
9.949 * [taylor]: Taking taylor expansion of 0 in x
9.949 * [backup-simplify]: Simplify 0 into 0
9.950 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.950 * [backup-simplify]: Simplify 0 into 0
9.950 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.951 * [backup-simplify]: Simplify (- 0) into 0
9.951 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.951 * [backup-simplify]: Simplify 1.0 into 1.0
9.953 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (* 1 (/ 1 (/ 1 z))))) (+ (* -1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 z))))) (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 (/ 1 y)) 1))))) into (- (+ (* 1.0 z) (* x y)) (* x z))
9.954 * [backup-simplify]: Simplify (fma 1.0 (/ 1 (- z)) (* (- (/ 1 (- y)) (/ 1 (- z))) (/ 1 (- x)))) into (fma 1.0 (/ -1 z) (* -1 (/ (- (/ 1 z) (/ 1 y)) x)))
9.954 * [approximate]: Taking taylor expansion of (fma 1.0 (/ -1 z) (* -1 (/ (- (/ 1 z) (/ 1 y)) x))) in (z y x) around 0
9.954 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) (* -1 (/ (- (/ 1 z) (/ 1 y)) x))) in x
9.955 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) (* -1 (/ (- (/ 1 z) (/ 1 y)) x)))
9.955 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in x
9.955 * [taylor]: Taking taylor expansion of 1.0 in x
9.955 * [backup-simplify]: Simplify 1.0 into 1.0
9.955 * [taylor]: Taking taylor expansion of (/ -1 z) in x
9.955 * [taylor]: Taking taylor expansion of -1 in x
9.955 * [backup-simplify]: Simplify -1 into -1
9.955 * [taylor]: Taking taylor expansion of z in x
9.955 * [backup-simplify]: Simplify z into z
9.955 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
9.955 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) x)) in x
9.955 * [taylor]: Taking taylor expansion of -1 in x
9.955 * [backup-simplify]: Simplify -1 into -1
9.955 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x
9.955 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
9.955 * [taylor]: Taking taylor expansion of (/ 1 z) in x
9.955 * [taylor]: Taking taylor expansion of z in x
9.955 * [backup-simplify]: Simplify z into z
9.956 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.956 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.956 * [taylor]: Taking taylor expansion of y in x
9.956 * [backup-simplify]: Simplify y into y
9.956 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.956 * [taylor]: Taking taylor expansion of x in x
9.956 * [backup-simplify]: Simplify 0 into 0
9.956 * [backup-simplify]: Simplify 1 into 1
9.956 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
9.956 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 y))) into (- (/ 1 z) (/ 1 y))
9.956 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 y)) 1) into (- (/ 1 z) (/ 1 y))
9.957 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) (* -1 (/ (- (/ 1 z) (/ 1 y)) x))) in y
9.957 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) (* -1 (/ (- (/ 1 z) (/ 1 y)) x)))
9.957 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in y
9.957 * [taylor]: Taking taylor expansion of 1.0 in y
9.957 * [backup-simplify]: Simplify 1.0 into 1.0
9.957 * [taylor]: Taking taylor expansion of (/ -1 z) in y
9.957 * [taylor]: Taking taylor expansion of -1 in y
9.957 * [backup-simplify]: Simplify -1 into -1
9.957 * [taylor]: Taking taylor expansion of z in y
9.957 * [backup-simplify]: Simplify z into z
9.957 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
9.957 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) x)) in y
9.957 * [taylor]: Taking taylor expansion of -1 in y
9.957 * [backup-simplify]: Simplify -1 into -1
9.957 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y
9.957 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
9.957 * [taylor]: Taking taylor expansion of (/ 1 z) in y
9.957 * [taylor]: Taking taylor expansion of z in y
9.957 * [backup-simplify]: Simplify z into z
9.957 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.958 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.958 * [taylor]: Taking taylor expansion of y in y
9.958 * [backup-simplify]: Simplify 0 into 0
9.958 * [backup-simplify]: Simplify 1 into 1
9.958 * [backup-simplify]: Simplify (/ 1 1) into 1
9.959 * [taylor]: Taking taylor expansion of x in y
9.959 * [backup-simplify]: Simplify x into x
9.959 * [backup-simplify]: Simplify (- 1) into -1
9.959 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.960 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
9.960 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) (* -1 (/ (- (/ 1 z) (/ 1 y)) x))) in z
9.960 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) (* -1 (/ (- (/ 1 z) (/ 1 y)) x)))
9.960 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in z
9.960 * [taylor]: Taking taylor expansion of 1.0 in z
9.960 * [backup-simplify]: Simplify 1.0 into 1.0
9.960 * [taylor]: Taking taylor expansion of (/ -1 z) in z
9.960 * [taylor]: Taking taylor expansion of -1 in z
9.960 * [backup-simplify]: Simplify -1 into -1
9.960 * [taylor]: Taking taylor expansion of z in z
9.960 * [backup-simplify]: Simplify 0 into 0
9.960 * [backup-simplify]: Simplify 1 into 1
9.961 * [backup-simplify]: Simplify (/ -1 1) into -1
9.961 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) x)) in z
9.961 * [taylor]: Taking taylor expansion of -1 in z
9.961 * [backup-simplify]: Simplify -1 into -1
9.961 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in z
9.961 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
9.961 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.961 * [taylor]: Taking taylor expansion of z in z
9.961 * [backup-simplify]: Simplify 0 into 0
9.961 * [backup-simplify]: Simplify 1 into 1
9.961 * [backup-simplify]: Simplify (/ 1 1) into 1
9.961 * [taylor]: Taking taylor expansion of (/ 1 y) in z
9.961 * [taylor]: Taking taylor expansion of y in z
9.961 * [backup-simplify]: Simplify y into y
9.962 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.962 * [taylor]: Taking taylor expansion of x in z
9.962 * [backup-simplify]: Simplify x into x
9.962 * [backup-simplify]: Simplify (+ 1 0) into 1
9.962 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.962 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) (* -1 (/ (- (/ 1 z) (/ 1 y)) x))) in z
9.963 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) (* -1 (/ (- (/ 1 z) (/ 1 y)) x)))
9.963 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in z
9.963 * [taylor]: Taking taylor expansion of 1.0 in z
9.963 * [backup-simplify]: Simplify 1.0 into 1.0
9.963 * [taylor]: Taking taylor expansion of (/ -1 z) in z
9.963 * [taylor]: Taking taylor expansion of -1 in z
9.963 * [backup-simplify]: Simplify -1 into -1
9.963 * [taylor]: Taking taylor expansion of z in z
9.963 * [backup-simplify]: Simplify 0 into 0
9.963 * [backup-simplify]: Simplify 1 into 1
9.963 * [backup-simplify]: Simplify (/ -1 1) into -1
9.963 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) x)) in z
9.963 * [taylor]: Taking taylor expansion of -1 in z
9.963 * [backup-simplify]: Simplify -1 into -1
9.963 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in z
9.964 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
9.964 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.964 * [taylor]: Taking taylor expansion of z in z
9.964 * [backup-simplify]: Simplify 0 into 0
9.964 * [backup-simplify]: Simplify 1 into 1
9.964 * [backup-simplify]: Simplify (/ 1 1) into 1
9.964 * [taylor]: Taking taylor expansion of (/ 1 y) in z
9.964 * [taylor]: Taking taylor expansion of y in z
9.964 * [backup-simplify]: Simplify y into y
9.964 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.964 * [taylor]: Taking taylor expansion of x in z
9.964 * [backup-simplify]: Simplify x into x
9.965 * [backup-simplify]: Simplify (+ 1 0) into 1
9.965 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.965 * [backup-simplify]: Simplify (* 1.0 -1) into -1.0
9.966 * [backup-simplify]: Simplify (* -1 (/ 1 x)) into (/ -1 x)
9.966 * [backup-simplify]: Simplify (+ -1.0 (/ -1 x)) into (- (+ (/ 1 x) 1.0))
9.966 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1.0)) in y
9.966 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
9.966 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.966 * [taylor]: Taking taylor expansion of x in y
9.966 * [backup-simplify]: Simplify x into x
9.966 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.966 * [taylor]: Taking taylor expansion of 1.0 in y
9.966 * [backup-simplify]: Simplify 1.0 into 1.0
9.967 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
9.968 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 -1)) into 0
9.969 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.969 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
9.969 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
9.970 * [backup-simplify]: Simplify (- (/ (- (/ 1 y)) x) (+ (* (/ 1 x) (/ 0 x)))) into (- (/ 1 (* x y)))
9.970 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 (* x y)))) (* 0 (/ 1 x))) into (/ 1 (* x y))
9.971 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y))
9.971 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
9.971 * [taylor]: Taking taylor expansion of (* x y) in y
9.971 * [taylor]: Taking taylor expansion of x in y
9.971 * [backup-simplify]: Simplify x into x
9.971 * [taylor]: Taking taylor expansion of y in y
9.971 * [backup-simplify]: Simplify 0 into 0
9.971 * [backup-simplify]: Simplify 1 into 1
9.971 * [backup-simplify]: Simplify (* x 0) into 0
9.972 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.972 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.972 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.972 * [taylor]: Taking taylor expansion of x in x
9.972 * [backup-simplify]: Simplify 0 into 0
9.972 * [backup-simplify]: Simplify 1 into 1
9.972 * [backup-simplify]: Simplify (/ 1 1) into 1
9.972 * [backup-simplify]: Simplify 1 into 1
9.973 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ (/ 1 x) 1.0)
9.973 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
9.973 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1.0)) in x
9.973 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
9.973 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.973 * [taylor]: Taking taylor expansion of x in x
9.973 * [backup-simplify]: Simplify 0 into 0
9.973 * [backup-simplify]: Simplify 1 into 1
9.973 * [backup-simplify]: Simplify (/ 1 1) into 1
9.973 * [taylor]: Taking taylor expansion of 1.0 in x
9.973 * [backup-simplify]: Simplify 1.0 into 1.0
9.974 * [backup-simplify]: Simplify (+ 1 0) into 1
9.974 * [backup-simplify]: Simplify (- 1) into -1
9.974 * [backup-simplify]: Simplify -1 into -1
9.975 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.975 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 -1))) into 0
9.976 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.976 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
9.976 * [backup-simplify]: Simplify (- 0) into 0
9.977 * [backup-simplify]: Simplify (+ 0 0) into 0
9.977 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* (- (/ 1 (* x y))) (/ 0 x)))) into 0
9.978 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (/ 1 (* x y)))) (* 0 (/ 1 x)))) into 0
9.978 * [backup-simplify]: Simplify (+ 0 0) into 0
9.978 * [taylor]: Taking taylor expansion of 0 in y
9.978 * [backup-simplify]: Simplify 0 into 0
9.978 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
9.979 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
9.979 * [taylor]: Taking taylor expansion of 0 in x
9.979 * [backup-simplify]: Simplify 0 into 0
9.979 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
9.979 * [backup-simplify]: Simplify (+ 0 0) into 0
9.979 * [backup-simplify]: Simplify (- 0) into 0
9.979 * [taylor]: Taking taylor expansion of 0 in x
9.979 * [backup-simplify]: Simplify 0 into 0
9.980 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.980 * [backup-simplify]: Simplify 0 into 0
9.980 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.981 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
9.981 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
9.981 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
9.982 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (* 1 (/ 1 (/ 1 (- z)))))) (+ (* -1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- z)))))) (* 1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (/ 1 (- y))) 1))))) into (- (+ (* 1.0 z) (* x y)) (* x z))
9.983 * * * [progress]: simplifying candidates
9.983 * * * * [progress]: [ 1 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (posit16->real (real->posit16 (* (- y z) x)))))>
9.983 * * * * [progress]: [ 2 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (log1p (expm1 (* (- y z) x)))))>
9.983 * * * * [progress]: [ 3 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (expm1 (log1p (* (- y z) x)))))>
9.983 * * * * [progress]: [ 4 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (pow (* (- y z) x) 1)))>
9.983 * * * * [progress]: [ 5 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (pow (* (- y z) x) 1)))>
9.983 * * * * [progress]: [ 6 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (exp (+ (log (- y z)) (log x)))))>
9.983 * * * * [progress]: [ 7 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (exp (log (* (- y z) x)))))>
9.983 * * * * [progress]: [ 8 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (log (exp (* (- y z) x)))))>
9.983 * * * * [progress]: [ 9 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (cbrt (* (* (* (- y z) (- y z)) (- y z)) (* (* x x) x)))))>
9.983 * * * * [progress]: [ 10 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (* (* (cbrt (* (- y z) x)) (cbrt (* (- y z) x))) (cbrt (* (- y z) x)))))>
9.983 * * * * [progress]: [ 11 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (cbrt (* (* (* (- y z) x) (* (- y z) x)) (* (- y z) x)))))>
9.983 * * * * [progress]: [ 12 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (* (sqrt (* (- y z) x)) (sqrt (* (- y z) x)))))>
9.983 * * * * [progress]: [ 13 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (* 1 (* (- y z) x))))>
9.983 * * * * [progress]: [ 14 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (* (* (sqrt (- y z)) (sqrt x)) (* (sqrt (- y z)) (sqrt x)))))>
9.983 * * * * [progress]: [ 15 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (* (* (- y z) (* (cbrt x) (cbrt x))) (cbrt x))))>
9.983 * * * * [progress]: [ 16 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (* (* (- y z) (sqrt x)) (sqrt x))))>
9.983 * * * * [progress]: [ 17 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (* (* (- y z) 1) x)))>
9.983 * * * * [progress]: [ 18 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) x))))>
9.983 * * * * [progress]: [ 19 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (* (sqrt (- y z)) (* (sqrt (- y z)) x))))>
9.983 * * * * [progress]: [ 20 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (* 1 (* (- y z) x))))>
9.983 * * * * [progress]: [ 21 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (* (+ (sqrt y) (sqrt z)) (* (- (sqrt y) (sqrt z)) x))))>
9.984 * * * * [progress]: [ 22 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (* 1 (* (- y z) x))))>
9.984 * * * * [progress]: [ 23 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (/ (* (- (pow y 3) (pow z 3)) x) (+ (* y y) (+ (* z z) (* y z))))))>
9.984 * * * * [progress]: [ 24 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (/ (* (- (* y y) (* z z)) x) (+ y z))))>
9.984 * * * * [progress]: [ 25 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (* x (- y z))))>
9.984 * * * * [progress]: [ 26 / 42 ] simplifiying candidate #<alt (λ (x y z) (posit16->real (real->posit16 (fma 1.0 z (* (- y z) x)))))>
9.984 * * * * [progress]: [ 27 / 42 ] simplifiying candidate #<alt (λ (x y z) (log1p (expm1 (fma 1.0 z (* (- y z) x)))))>
9.984 * * * * [progress]: [ 28 / 42 ] simplifiying candidate #<alt (λ (x y z) (expm1 (log1p (fma 1.0 z (* (- y z) x)))))>
9.984 * * * * [progress]: [ 29 / 42 ] simplifiying candidate #<alt (λ (x y z) (+ (* 1.0 z) (* (- y z) x)))>
9.984 * * * * [progress]: [ 30 / 42 ] simplifiying candidate #<alt (λ (x y z) (pow (fma 1.0 z (* (- y z) x)) 1))>
9.984 * * * * [progress]: [ 31 / 42 ] simplifiying candidate #<alt (λ (x y z) (exp (log (fma 1.0 z (* (- y z) x)))))>
9.984 * * * * [progress]: [ 32 / 42 ] simplifiying candidate #<alt (λ (x y z) (log (exp (fma 1.0 z (* (- y z) x)))))>
9.984 * * * * [progress]: [ 33 / 42 ] simplifiying candidate #<alt (λ (x y z) (* (* (cbrt (fma 1.0 z (* (- y z) x))) (cbrt (fma 1.0 z (* (- y z) x)))) (cbrt (fma 1.0 z (* (- y z) x)))))>
9.984 * * * * [progress]: [ 34 / 42 ] simplifiying candidate #<alt (λ (x y z) (cbrt (* (* (fma 1.0 z (* (- y z) x)) (fma 1.0 z (* (- y z) x))) (fma 1.0 z (* (- y z) x)))))>
9.984 * * * * [progress]: [ 35 / 42 ] simplifiying candidate #<alt (λ (x y z) (* (sqrt (fma 1.0 z (* (- y z) x))) (sqrt (fma 1.0 z (* (- y z) x)))))>
9.984 * * * * [progress]: [ 36 / 42 ] simplifiying candidate #<alt (λ (x y z) (* 1 (fma 1.0 z (* (- y z) x))))>
9.984 * * * * [progress]: [ 37 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z 0))>
9.984 * * * * [progress]: [ 38 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (- (* x y) (* x z))))>
9.984 * * * * [progress]: [ 39 / 42 ] simplifiying candidate #<alt (λ (x y z) (fma 1.0 z (- (* x y) (* x z))))>
9.984 * * * * [progress]: [ 40 / 42 ] simplifiying candidate #<alt (λ (x y z) (- (+ (* 1.0 z) (* x y)) (* x z)))>
9.984 * * * * [progress]: [ 41 / 42 ] simplifiying candidate #<alt (λ (x y z) (- (+ (* 1.0 z) (* x y)) (* x z)))>
9.984 * * * * [progress]: [ 42 / 42 ] simplifiying candidate #<alt (λ (x y z) (- (+ (* 1.0 z) (* x y)) (* x z)))>
9.985 * [simplify]: Simplifying:
  (real->posit16 (* (- y z) x))
  (expm1 (* (- y z) x))
  (log1p (* (- y z) x))
  (* (- y z) x)
  (+ (log (- y z)) (log x))
  (log (* (- y z) x))
  (exp (* (- y z) x))
  (* (* (* (- y z) (- y z)) (- y z)) (* (* x x) x))
  (* (cbrt (* (- y z) x)) (cbrt (* (- y z) x)))
  (cbrt (* (- y z) x))
  (* (* (* (- y z) x) (* (- y z) x)) (* (- y z) x))
  (sqrt (* (- y z) x))
  (sqrt (* (- y z) x))
  (* (sqrt (- y z)) (sqrt x))
  (* (sqrt (- y z)) (sqrt x))
  (* (- y z) (* (cbrt x) (cbrt x)))
  (* (- y z) (sqrt x))
  (* (- y z) 1)
  (* (cbrt (- y z)) x)
  (* (sqrt (- y z)) x)
  (* (- y z) x)
  (* (- (sqrt y) (sqrt z)) x)
  (* (- y z) x)
  (* (- (pow y 3) (pow z 3)) x)
  (* (- (* y y) (* z z)) x)
  (real->posit16 (fma 1.0 z (* (- y z) x)))
  (expm1 (fma 1.0 z (* (- y z) x)))
  (log1p (fma 1.0 z (* (- y z) x)))
  (* 1.0 z)
  (log (fma 1.0 z (* (- y z) x)))
  (exp (fma 1.0 z (* (- y z) x)))
  (* (cbrt (fma 1.0 z (* (- y z) x))) (cbrt (fma 1.0 z (* (- y z) x))))
  (cbrt (fma 1.0 z (* (- y z) x)))
  (* (* (fma 1.0 z (* (- y z) x)) (fma 1.0 z (* (- y z) x))) (fma 1.0 z (* (- y z) x)))
  (sqrt (fma 1.0 z (* (- y z) x)))
  (sqrt (fma 1.0 z (* (- y z) x)))
  0
  (- (* x y) (* x z))
  (- (* x y) (* x z))
  (- (+ (* 1.0 z) (* x y)) (* x z))
  (- (+ (* 1.0 z) (* x y)) (* x z))
  (- (+ (* 1.0 z) (* x y)) (* x z))
9.986 * * [simplify]: iteration 0: 67 enodes
10.030 * * [simplify]: iteration 1: 137 enodes
10.144 * * [simplify]: iteration 2: 359 enodes
10.669 * * [simplify]: iteration 3: 1491 enodes
12.849 * * [simplify]: iteration complete: 5008 enodes
12.850 * * [simplify]: Extracting #0: cost 31 inf + 0
12.851 * * [simplify]: Extracting #1: cost 378 inf + 1
12.858 * * [simplify]: Extracting #2: cost 1270 inf + 1690
12.894 * * [simplify]: Extracting #3: cost 1413 inf + 67767
12.956 * * [simplify]: Extracting #4: cost 472 inf + 266012
13.052 * * [simplify]: Extracting #5: cost 37 inf + 357776
13.174 * * [simplify]: Extracting #6: cost 9 inf + 363816
13.267 * * [simplify]: Extracting #7: cost 0 inf + 366093
13.338 * [simplify]: Simplified to:
  (real->posit16 (* x (- y z)))
  (expm1 (* x (- y z)))
  (log1p (* x (- y z)))
  (* x (- y z))
  (log (* x (- y z)))
  (log (* x (- y z)))
  (exp (* x (- y z)))
  (* (* x (- y z)) (* (* x (- y z)) (* x (- y z))))
  (* (cbrt (* x (- y z))) (cbrt (* x (- y z))))
  (cbrt (* x (- y z)))
  (* (* x (- y z)) (* (* x (- y z)) (* x (- y z))))
  (sqrt (* x (- y z)))
  (sqrt (* x (- y z)))
  (* (sqrt x) (sqrt (- y z)))
  (* (sqrt x) (sqrt (- y z)))
  (* (cbrt x) (* (cbrt x) (- y z)))
  (* (sqrt x) (- y z))
  (- y z)
  (* x (cbrt (- y z)))
  (* x (sqrt (- y z)))
  (* x (- y z))
  (* x (- (sqrt y) (sqrt z)))
  (* x (- y z))
  (* x (- (* y (* y y)) (* z (* z z))))
  (* (+ z y) (* x (- y z)))
  (real->posit16 (fma (- y z) x (* z 1.0)))
  (expm1 (fma (- y z) x (* z 1.0)))
  (log1p (fma (- y z) x (* z 1.0)))
  (* z 1.0)
  (log (fma (- y z) x (* z 1.0)))
  (exp (fma (- y z) x (* z 1.0)))
  (* (cbrt (fma (- y z) x (* z 1.0))) (cbrt (fma (- y z) x (* z 1.0))))
  (cbrt (fma (- y z) x (* z 1.0)))
  (* (fma (- y z) x (* z 1.0)) (* (fma (- y z) x (* z 1.0)) (fma (- y z) x (* z 1.0))))
  (sqrt (fma (- y z) x (* z 1.0)))
  (sqrt (fma (- y z) x (* z 1.0)))
  0
  (* x (- y z))
  (* x (- y z))
  (fma (- y z) x (* z 1.0))
  (fma (- y z) x (* z 1.0))
  (fma (- y z) x (* z 1.0))
13.340 * * * [progress]: adding candidates to table
13.793 * * [progress]: iteration 3 / 4
13.793 * * * [progress]: picking best candidate
13.803 * * * * [pick]: Picked  #<alt (λ (x y z) (fma (- y z) x (* z 1.0)))>
13.803 * * * [progress]: localizing error
13.817 * * * [progress]: generating rewritten candidates
13.817 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
13.818 * * * [progress]: generating series expansions
13.818 * * * * [progress]: [ 1 / 1 ] generating series at (2)
13.819 * [backup-simplify]: Simplify (fma (- y z) x (* z 1.0)) into (fma (- y z) x (* 1.0 z))
13.819 * [approximate]: Taking taylor expansion of (fma (- y z) x (* 1.0 z)) in (y z x) around 0
13.819 * [taylor]: Taking taylor expansion of (fma (- y z) x (* 1.0 z)) in x
13.819 * [taylor]: Rewrote expression to (+ (* (- y z) x) (* 1.0 z))
13.819 * [taylor]: Taking taylor expansion of (* (- y z) x) in x
13.819 * [taylor]: Taking taylor expansion of (- y z) in x
13.819 * [taylor]: Taking taylor expansion of y in x
13.819 * [backup-simplify]: Simplify y into y
13.819 * [taylor]: Taking taylor expansion of z in x
13.819 * [backup-simplify]: Simplify z into z
13.819 * [taylor]: Taking taylor expansion of x in x
13.819 * [backup-simplify]: Simplify 0 into 0
13.819 * [backup-simplify]: Simplify 1 into 1
13.819 * [taylor]: Taking taylor expansion of (* 1.0 z) in x
13.819 * [taylor]: Taking taylor expansion of 1.0 in x
13.819 * [backup-simplify]: Simplify 1.0 into 1.0
13.819 * [taylor]: Taking taylor expansion of z in x
13.819 * [backup-simplify]: Simplify z into z
13.819 * [taylor]: Taking taylor expansion of (fma (- y z) x (* 1.0 z)) in z
13.819 * [taylor]: Rewrote expression to (+ (* (- y z) x) (* 1.0 z))
13.819 * [taylor]: Taking taylor expansion of (* (- y z) x) in z
13.819 * [taylor]: Taking taylor expansion of (- y z) in z
13.819 * [taylor]: Taking taylor expansion of y in z
13.819 * [backup-simplify]: Simplify y into y
13.819 * [taylor]: Taking taylor expansion of z in z
13.819 * [backup-simplify]: Simplify 0 into 0
13.819 * [backup-simplify]: Simplify 1 into 1
13.819 * [taylor]: Taking taylor expansion of x in z
13.819 * [backup-simplify]: Simplify x into x
13.819 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
13.819 * [taylor]: Taking taylor expansion of 1.0 in z
13.819 * [backup-simplify]: Simplify 1.0 into 1.0
13.819 * [taylor]: Taking taylor expansion of z in z
13.819 * [backup-simplify]: Simplify 0 into 0
13.819 * [backup-simplify]: Simplify 1 into 1
13.820 * [taylor]: Taking taylor expansion of (fma (- y z) x (* 1.0 z)) in y
13.820 * [taylor]: Rewrote expression to (+ (* (- y z) x) (* 1.0 z))
13.820 * [taylor]: Taking taylor expansion of (* (- y z) x) in y
13.820 * [taylor]: Taking taylor expansion of (- y z) in y
13.820 * [taylor]: Taking taylor expansion of y in y
13.820 * [backup-simplify]: Simplify 0 into 0
13.820 * [backup-simplify]: Simplify 1 into 1
13.820 * [taylor]: Taking taylor expansion of z in y
13.820 * [backup-simplify]: Simplify z into z
13.820 * [taylor]: Taking taylor expansion of x in y
13.820 * [backup-simplify]: Simplify x into x
13.820 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
13.820 * [taylor]: Taking taylor expansion of 1.0 in y
13.820 * [backup-simplify]: Simplify 1.0 into 1.0
13.820 * [taylor]: Taking taylor expansion of z in y
13.820 * [backup-simplify]: Simplify z into z
13.820 * [taylor]: Taking taylor expansion of (fma (- y z) x (* 1.0 z)) in y
13.820 * [taylor]: Rewrote expression to (+ (* (- y z) x) (* 1.0 z))
13.820 * [taylor]: Taking taylor expansion of (* (- y z) x) in y
13.820 * [taylor]: Taking taylor expansion of (- y z) in y
13.820 * [taylor]: Taking taylor expansion of y in y
13.820 * [backup-simplify]: Simplify 0 into 0
13.820 * [backup-simplify]: Simplify 1 into 1
13.820 * [taylor]: Taking taylor expansion of z in y
13.820 * [backup-simplify]: Simplify z into z
13.820 * [taylor]: Taking taylor expansion of x in y
13.820 * [backup-simplify]: Simplify x into x
13.820 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
13.820 * [taylor]: Taking taylor expansion of 1.0 in y
13.820 * [backup-simplify]: Simplify 1.0 into 1.0
13.820 * [taylor]: Taking taylor expansion of z in y
13.820 * [backup-simplify]: Simplify z into z
13.820 * [backup-simplify]: Simplify (- z) into (- z)
13.820 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
13.821 * [backup-simplify]: Simplify (* (- z) x) into (* -1 (* x z))
13.821 * [backup-simplify]: Simplify (* 1.0 z) into (* 1.0 z)
13.821 * [backup-simplify]: Simplify (+ (* -1 (* x z)) (* 1.0 z)) into (- (* 1.0 z) (* x z))
13.821 * [taylor]: Taking taylor expansion of (- (* 1.0 z) (* x z)) in z
13.821 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
13.821 * [taylor]: Taking taylor expansion of 1.0 in z
13.821 * [backup-simplify]: Simplify 1.0 into 1.0
13.821 * [taylor]: Taking taylor expansion of z in z
13.821 * [backup-simplify]: Simplify 0 into 0
13.821 * [backup-simplify]: Simplify 1 into 1
13.821 * [taylor]: Taking taylor expansion of (* x z) in z
13.821 * [taylor]: Taking taylor expansion of x in z
13.821 * [backup-simplify]: Simplify x into x
13.821 * [taylor]: Taking taylor expansion of z in z
13.821 * [backup-simplify]: Simplify 0 into 0
13.821 * [backup-simplify]: Simplify 1 into 1
13.822 * [backup-simplify]: Simplify (* 1.0 0) into 0
13.822 * [backup-simplify]: Simplify (* x 0) into 0
13.822 * [backup-simplify]: Simplify (- 0) into 0
13.822 * [backup-simplify]: Simplify (+ 0 0) into 0
13.822 * [taylor]: Taking taylor expansion of 0 in x
13.822 * [backup-simplify]: Simplify 0 into 0
13.823 * [backup-simplify]: Simplify 0 into 0
13.823 * [backup-simplify]: Simplify (- 0) into 0
13.823 * [backup-simplify]: Simplify (+ 1 0) into 1
13.823 * [backup-simplify]: Simplify (+ (* (- z) 0) (* 1 x)) into x
13.824 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 z)) into 0
13.824 * [backup-simplify]: Simplify (+ x 0) into x
13.824 * [taylor]: Taking taylor expansion of x in z
13.824 * [backup-simplify]: Simplify x into x
13.824 * [taylor]: Taking taylor expansion of x in x
13.824 * [backup-simplify]: Simplify 0 into 0
13.824 * [backup-simplify]: Simplify 1 into 1
13.824 * [backup-simplify]: Simplify 0 into 0
13.825 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
13.825 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
13.825 * [backup-simplify]: Simplify (- x) into (- x)
13.825 * [backup-simplify]: Simplify (+ 1.0 (- x)) into (- 1.0 x)
13.825 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
13.825 * [taylor]: Taking taylor expansion of 1.0 in x
13.825 * [backup-simplify]: Simplify 1.0 into 1.0
13.825 * [taylor]: Taking taylor expansion of x in x
13.825 * [backup-simplify]: Simplify 0 into 0
13.825 * [backup-simplify]: Simplify 1 into 1
13.826 * [backup-simplify]: Simplify (- 0) into 0
13.826 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
13.826 * [backup-simplify]: Simplify 1.0 into 1.0
13.826 * [backup-simplify]: Simplify 0 into 0
13.826 * [backup-simplify]: Simplify (- 0) into 0
13.827 * [backup-simplify]: Simplify (+ 0 0) into 0
13.827 * [backup-simplify]: Simplify (+ (* (- z) 0) (+ (* 1 0) (* 0 x))) into 0
13.828 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 z))) into 0
13.828 * [backup-simplify]: Simplify (+ 0 0) into 0
13.828 * [taylor]: Taking taylor expansion of 0 in z
13.828 * [backup-simplify]: Simplify 0 into 0
13.828 * [taylor]: Taking taylor expansion of 0 in x
13.828 * [backup-simplify]: Simplify 0 into 0
13.828 * [backup-simplify]: Simplify 0 into 0
13.828 * [taylor]: Taking taylor expansion of 0 in x
13.828 * [backup-simplify]: Simplify 0 into 0
13.828 * [backup-simplify]: Simplify 0 into 0
13.829 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
13.829 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
13.829 * [backup-simplify]: Simplify (- 0) into 0
13.830 * [backup-simplify]: Simplify (+ 0 0) into 0
13.830 * [taylor]: Taking taylor expansion of 0 in x
13.830 * [backup-simplify]: Simplify 0 into 0
13.830 * [backup-simplify]: Simplify 0 into 0
13.830 * [backup-simplify]: Simplify 1 into 1
13.830 * [backup-simplify]: Simplify (- 1) into -1
13.830 * [backup-simplify]: Simplify (+ 0 -1) into -1
13.830 * [backup-simplify]: Simplify -1 into -1
13.831 * [backup-simplify]: Simplify (+ (* -1 (* x (* z 1))) (+ (* 1 (* x (* 1 y))) (* 1.0 (* 1 (* z 1))))) into (- (+ (* 1.0 z) (* x y)) (* x z))
13.831 * [backup-simplify]: Simplify (fma (- (/ 1 y) (/ 1 z)) (/ 1 x) (* (/ 1 z) 1.0)) into (fma (- (/ 1 y) (/ 1 z)) (/ 1 x) (/ 1.0 z))
13.831 * [approximate]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 z)) (/ 1 x) (/ 1.0 z)) in (y z x) around 0
13.831 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 z)) (/ 1 x) (/ 1.0 z)) in x
13.831 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 z)) (/ 1 x)) (/ 1.0 z))
13.831 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (/ 1 x)) in x
13.832 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
13.832 * [taylor]: Taking taylor expansion of (/ 1 y) in x
13.832 * [taylor]: Taking taylor expansion of y in x
13.832 * [backup-simplify]: Simplify y into y
13.832 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
13.832 * [taylor]: Taking taylor expansion of (/ 1 z) in x
13.832 * [taylor]: Taking taylor expansion of z in x
13.832 * [backup-simplify]: Simplify z into z
13.832 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.832 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.832 * [taylor]: Taking taylor expansion of x in x
13.832 * [backup-simplify]: Simplify 0 into 0
13.832 * [backup-simplify]: Simplify 1 into 1
13.832 * [backup-simplify]: Simplify (/ 1 1) into 1
13.832 * [taylor]: Taking taylor expansion of (/ 1.0 z) in x
13.832 * [taylor]: Taking taylor expansion of 1.0 in x
13.832 * [backup-simplify]: Simplify 1.0 into 1.0
13.832 * [taylor]: Taking taylor expansion of z in x
13.832 * [backup-simplify]: Simplify z into z
13.832 * [backup-simplify]: Simplify (/ 1.0 z) into (/ 1.0 z)
13.832 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 z)) (/ 1 x) (/ 1.0 z)) in z
13.832 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 z)) (/ 1 x)) (/ 1.0 z))
13.832 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (/ 1 x)) in z
13.832 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
13.832 * [taylor]: Taking taylor expansion of (/ 1 y) in z
13.832 * [taylor]: Taking taylor expansion of y in z
13.832 * [backup-simplify]: Simplify y into y
13.833 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
13.833 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.833 * [taylor]: Taking taylor expansion of z in z
13.833 * [backup-simplify]: Simplify 0 into 0
13.833 * [backup-simplify]: Simplify 1 into 1
13.833 * [backup-simplify]: Simplify (/ 1 1) into 1
13.833 * [taylor]: Taking taylor expansion of (/ 1 x) in z
13.833 * [taylor]: Taking taylor expansion of x in z
13.833 * [backup-simplify]: Simplify x into x
13.833 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.833 * [taylor]: Taking taylor expansion of (/ 1.0 z) in z
13.833 * [taylor]: Taking taylor expansion of 1.0 in z
13.833 * [backup-simplify]: Simplify 1.0 into 1.0
13.833 * [taylor]: Taking taylor expansion of z in z
13.833 * [backup-simplify]: Simplify 0 into 0
13.833 * [backup-simplify]: Simplify 1 into 1
13.833 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
13.833 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 z)) (/ 1 x) (/ 1.0 z)) in y
13.834 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 z)) (/ 1 x)) (/ 1.0 z))
13.834 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (/ 1 x)) in y
13.834 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
13.834 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.834 * [taylor]: Taking taylor expansion of y in y
13.834 * [backup-simplify]: Simplify 0 into 0
13.834 * [backup-simplify]: Simplify 1 into 1
13.834 * [backup-simplify]: Simplify (/ 1 1) into 1
13.834 * [taylor]: Taking taylor expansion of (/ 1 z) in y
13.834 * [taylor]: Taking taylor expansion of z in y
13.834 * [backup-simplify]: Simplify z into z
13.834 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.834 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.834 * [taylor]: Taking taylor expansion of x in y
13.834 * [backup-simplify]: Simplify x into x
13.834 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.834 * [taylor]: Taking taylor expansion of (/ 1.0 z) in y
13.834 * [taylor]: Taking taylor expansion of 1.0 in y
13.834 * [backup-simplify]: Simplify 1.0 into 1.0
13.834 * [taylor]: Taking taylor expansion of z in y
13.834 * [backup-simplify]: Simplify z into z
13.834 * [backup-simplify]: Simplify (/ 1.0 z) into (/ 1.0 z)
13.834 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 z)) (/ 1 x) (/ 1.0 z)) in y
13.834 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 z)) (/ 1 x)) (/ 1.0 z))
13.835 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (/ 1 x)) in y
13.835 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
13.835 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.835 * [taylor]: Taking taylor expansion of y in y
13.835 * [backup-simplify]: Simplify 0 into 0
13.835 * [backup-simplify]: Simplify 1 into 1
13.835 * [backup-simplify]: Simplify (/ 1 1) into 1
13.835 * [taylor]: Taking taylor expansion of (/ 1 z) in y
13.835 * [taylor]: Taking taylor expansion of z in y
13.835 * [backup-simplify]: Simplify z into z
13.835 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.835 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.835 * [taylor]: Taking taylor expansion of x in y
13.835 * [backup-simplify]: Simplify x into x
13.835 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.835 * [taylor]: Taking taylor expansion of (/ 1.0 z) in y
13.835 * [taylor]: Taking taylor expansion of 1.0 in y
13.835 * [backup-simplify]: Simplify 1.0 into 1.0
13.835 * [taylor]: Taking taylor expansion of z in y
13.835 * [backup-simplify]: Simplify z into z
13.835 * [backup-simplify]: Simplify (/ 1.0 z) into (/ 1.0 z)
13.836 * [backup-simplify]: Simplify (+ 1 0) into 1
13.836 * [backup-simplify]: Simplify (* 1 (/ 1 x)) into (/ 1 x)
13.836 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
13.836 * [taylor]: Taking taylor expansion of (/ 1 x) in z
13.836 * [taylor]: Taking taylor expansion of x in z
13.836 * [backup-simplify]: Simplify x into x
13.836 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.836 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
13.837 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.837 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
13.837 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
13.837 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 z)) (/ 1 x))) into (- (/ 1 (* x z)))
13.837 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z))) (/ 1.0 z)) into (- (* 1.0 (/ 1 z)) (/ 1 (* x z)))
13.837 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z)) (/ 1 (* x z))) in z
13.838 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
13.838 * [taylor]: Taking taylor expansion of 1.0 in z
13.838 * [backup-simplify]: Simplify 1.0 into 1.0
13.838 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.838 * [taylor]: Taking taylor expansion of z in z
13.838 * [backup-simplify]: Simplify 0 into 0
13.838 * [backup-simplify]: Simplify 1 into 1
13.838 * [backup-simplify]: Simplify (/ 1 1) into 1
13.838 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
13.838 * [taylor]: Taking taylor expansion of (* x z) in z
13.838 * [taylor]: Taking taylor expansion of x in z
13.838 * [backup-simplify]: Simplify x into x
13.838 * [taylor]: Taking taylor expansion of z in z
13.838 * [backup-simplify]: Simplify 0 into 0
13.838 * [backup-simplify]: Simplify 1 into 1
13.838 * [backup-simplify]: Simplify (* x 0) into 0
13.838 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
13.838 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.839 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
13.839 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
13.839 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x))
13.839 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
13.839 * [taylor]: Taking taylor expansion of 1.0 in x
13.839 * [backup-simplify]: Simplify 1.0 into 1.0
13.839 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.839 * [taylor]: Taking taylor expansion of x in x
13.839 * [backup-simplify]: Simplify 0 into 0
13.839 * [backup-simplify]: Simplify 1 into 1
13.839 * [backup-simplify]: Simplify (/ 1 1) into 1
13.840 * [backup-simplify]: Simplify (- 1) into -1
13.840 * [backup-simplify]: Simplify (+ 0 -1) into -1
13.840 * [backup-simplify]: Simplify -1 into -1
13.840 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.840 * [taylor]: Taking taylor expansion of x in x
13.840 * [backup-simplify]: Simplify 0 into 0
13.840 * [backup-simplify]: Simplify 1 into 1
13.840 * [backup-simplify]: Simplify (/ 1 1) into 1
13.840 * [backup-simplify]: Simplify 1 into 1
13.846 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
13.847 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.847 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
13.848 * [backup-simplify]: Simplify (- 0) into 0
13.848 * [backup-simplify]: Simplify (+ 0 0) into 0
13.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 z)) 0) (* 0 (/ 1 x)))) into 0
13.850 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1.0 z) (/ 0 z)))) into 0
13.850 * [backup-simplify]: Simplify (+ 0 0) into 0
13.850 * [taylor]: Taking taylor expansion of 0 in z
13.850 * [backup-simplify]: Simplify 0 into 0
13.851 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.852 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
13.853 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
13.853 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
13.854 * [backup-simplify]: Simplify (- 0) into 0
13.854 * [backup-simplify]: Simplify (+ 0 0) into 0
13.854 * [taylor]: Taking taylor expansion of 0 in x
13.854 * [backup-simplify]: Simplify 0 into 0
13.854 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
13.855 * [taylor]: Taking taylor expansion of 0 in x
13.855 * [backup-simplify]: Simplify 0 into 0
13.855 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.856 * [backup-simplify]: Simplify (- 0) into 0
13.856 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
13.856 * [backup-simplify]: Simplify 1.0 into 1.0
13.858 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (* (/ 1 (/ 1 z)) 1))) (+ (* 1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 x)) (* (/ 1 (/ 1 z)) 1))))) into (- (+ (* 1.0 z) (* x y)) (* x z))
13.859 * [backup-simplify]: Simplify (fma (- (/ 1 (- y)) (/ 1 (- z))) (/ 1 (- x)) (* (/ 1 (- z)) 1.0)) into (fma (- (/ 1 z) (/ 1 y)) (/ -1 x) (/ -1.0 z))
13.859 * [approximate]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 y)) (/ -1 x) (/ -1.0 z)) in (y z x) around 0
13.859 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 y)) (/ -1 x) (/ -1.0 z)) in x
13.860 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 y)) (/ -1 x)) (/ -1.0 z))
13.860 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (/ -1 x)) in x
13.860 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
13.860 * [taylor]: Taking taylor expansion of (/ 1 z) in x
13.860 * [taylor]: Taking taylor expansion of z in x
13.860 * [backup-simplify]: Simplify z into z
13.860 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.860 * [taylor]: Taking taylor expansion of (/ 1 y) in x
13.860 * [taylor]: Taking taylor expansion of y in x
13.860 * [backup-simplify]: Simplify y into y
13.860 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
13.860 * [taylor]: Taking taylor expansion of (/ -1 x) in x
13.860 * [taylor]: Taking taylor expansion of -1 in x
13.860 * [backup-simplify]: Simplify -1 into -1
13.860 * [taylor]: Taking taylor expansion of x in x
13.860 * [backup-simplify]: Simplify 0 into 0
13.860 * [backup-simplify]: Simplify 1 into 1
13.861 * [backup-simplify]: Simplify (/ -1 1) into -1
13.861 * [taylor]: Taking taylor expansion of (/ -1.0 z) in x
13.861 * [taylor]: Taking taylor expansion of -1.0 in x
13.861 * [backup-simplify]: Simplify -1.0 into -1.0
13.861 * [taylor]: Taking taylor expansion of z in x
13.861 * [backup-simplify]: Simplify z into z
13.861 * [backup-simplify]: Simplify (/ -1.0 z) into (/ -1.0 z)
13.861 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 y)) (/ -1 x) (/ -1.0 z)) in z
13.861 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 y)) (/ -1 x)) (/ -1.0 z))
13.862 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (/ -1 x)) in z
13.862 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
13.862 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.862 * [taylor]: Taking taylor expansion of z in z
13.862 * [backup-simplify]: Simplify 0 into 0
13.862 * [backup-simplify]: Simplify 1 into 1
13.862 * [backup-simplify]: Simplify (/ 1 1) into 1
13.862 * [taylor]: Taking taylor expansion of (/ 1 y) in z
13.862 * [taylor]: Taking taylor expansion of y in z
13.862 * [backup-simplify]: Simplify y into y
13.862 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
13.862 * [taylor]: Taking taylor expansion of (/ -1 x) in z
13.862 * [taylor]: Taking taylor expansion of -1 in z
13.862 * [backup-simplify]: Simplify -1 into -1
13.862 * [taylor]: Taking taylor expansion of x in z
13.862 * [backup-simplify]: Simplify x into x
13.863 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
13.863 * [taylor]: Taking taylor expansion of (/ -1.0 z) in z
13.863 * [taylor]: Taking taylor expansion of -1.0 in z
13.863 * [backup-simplify]: Simplify -1.0 into -1.0
13.863 * [taylor]: Taking taylor expansion of z in z
13.863 * [backup-simplify]: Simplify 0 into 0
13.863 * [backup-simplify]: Simplify 1 into 1
13.863 * [backup-simplify]: Simplify (/ -1.0 1) into -1.0
13.863 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 y)) (/ -1 x) (/ -1.0 z)) in y
13.864 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 y)) (/ -1 x)) (/ -1.0 z))
13.864 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (/ -1 x)) in y
13.864 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
13.864 * [taylor]: Taking taylor expansion of (/ 1 z) in y
13.864 * [taylor]: Taking taylor expansion of z in y
13.864 * [backup-simplify]: Simplify z into z
13.864 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.864 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.864 * [taylor]: Taking taylor expansion of y in y
13.864 * [backup-simplify]: Simplify 0 into 0
13.864 * [backup-simplify]: Simplify 1 into 1
13.864 * [backup-simplify]: Simplify (/ 1 1) into 1
13.865 * [taylor]: Taking taylor expansion of (/ -1 x) in y
13.865 * [taylor]: Taking taylor expansion of -1 in y
13.865 * [backup-simplify]: Simplify -1 into -1
13.865 * [taylor]: Taking taylor expansion of x in y
13.865 * [backup-simplify]: Simplify x into x
13.865 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
13.865 * [taylor]: Taking taylor expansion of (/ -1.0 z) in y
13.865 * [taylor]: Taking taylor expansion of -1.0 in y
13.865 * [backup-simplify]: Simplify -1.0 into -1.0
13.865 * [taylor]: Taking taylor expansion of z in y
13.865 * [backup-simplify]: Simplify z into z
13.865 * [backup-simplify]: Simplify (/ -1.0 z) into (/ -1.0 z)
13.865 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 y)) (/ -1 x) (/ -1.0 z)) in y
13.865 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 y)) (/ -1 x)) (/ -1.0 z))
13.865 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (/ -1 x)) in y
13.865 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
13.865 * [taylor]: Taking taylor expansion of (/ 1 z) in y
13.865 * [taylor]: Taking taylor expansion of z in y
13.866 * [backup-simplify]: Simplify z into z
13.866 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.866 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.866 * [taylor]: Taking taylor expansion of y in y
13.866 * [backup-simplify]: Simplify 0 into 0
13.866 * [backup-simplify]: Simplify 1 into 1
13.866 * [backup-simplify]: Simplify (/ 1 1) into 1
13.866 * [taylor]: Taking taylor expansion of (/ -1 x) in y
13.866 * [taylor]: Taking taylor expansion of -1 in y
13.866 * [backup-simplify]: Simplify -1 into -1
13.866 * [taylor]: Taking taylor expansion of x in y
13.866 * [backup-simplify]: Simplify x into x
13.867 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
13.867 * [taylor]: Taking taylor expansion of (/ -1.0 z) in y
13.867 * [taylor]: Taking taylor expansion of -1.0 in y
13.867 * [backup-simplify]: Simplify -1.0 into -1.0
13.867 * [taylor]: Taking taylor expansion of z in y
13.867 * [backup-simplify]: Simplify z into z
13.867 * [backup-simplify]: Simplify (/ -1.0 z) into (/ -1.0 z)
13.867 * [backup-simplify]: Simplify (- 1) into -1
13.868 * [backup-simplify]: Simplify (+ 0 -1) into -1
13.868 * [backup-simplify]: Simplify (* -1 (/ -1 x)) into (/ 1 x)
13.868 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
13.868 * [taylor]: Taking taylor expansion of (/ 1 x) in z
13.868 * [taylor]: Taking taylor expansion of x in z
13.868 * [backup-simplify]: Simplify x into x
13.868 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.869 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
13.870 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.870 * [backup-simplify]: Simplify (- 0) into 0
13.870 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
13.870 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 z) (/ -1 x))) into (- (/ 1 (* x z)))
13.871 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z))) (/ -1.0 z)) into (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))))
13.871 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in z
13.871 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in z
13.871 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
13.871 * [taylor]: Taking taylor expansion of (* x z) in z
13.871 * [taylor]: Taking taylor expansion of x in z
13.871 * [backup-simplify]: Simplify x into x
13.871 * [taylor]: Taking taylor expansion of z in z
13.871 * [backup-simplify]: Simplify 0 into 0
13.871 * [backup-simplify]: Simplify 1 into 1
13.871 * [backup-simplify]: Simplify (* x 0) into 0
13.871 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
13.872 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.872 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
13.872 * [taylor]: Taking taylor expansion of 1.0 in z
13.872 * [backup-simplify]: Simplify 1.0 into 1.0
13.872 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.872 * [taylor]: Taking taylor expansion of z in z
13.872 * [backup-simplify]: Simplify 0 into 0
13.872 * [backup-simplify]: Simplify 1 into 1
13.872 * [backup-simplify]: Simplify (/ 1 1) into 1
13.872 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
13.872 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ (/ 1 x) 1.0)
13.872 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
13.873 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1.0)) in x
13.873 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
13.873 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.873 * [taylor]: Taking taylor expansion of x in x
13.873 * [backup-simplify]: Simplify 0 into 0
13.873 * [backup-simplify]: Simplify 1 into 1
13.873 * [backup-simplify]: Simplify (/ 1 1) into 1
13.873 * [taylor]: Taking taylor expansion of 1.0 in x
13.873 * [backup-simplify]: Simplify 1.0 into 1.0
13.873 * [backup-simplify]: Simplify (+ 1 0) into 1
13.873 * [backup-simplify]: Simplify (- 1) into -1
13.874 * [backup-simplify]: Simplify -1 into -1
13.874 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.874 * [taylor]: Taking taylor expansion of x in x
13.874 * [backup-simplify]: Simplify 0 into 0
13.874 * [backup-simplify]: Simplify 1 into 1
13.874 * [backup-simplify]: Simplify (/ 1 1) into 1
13.874 * [backup-simplify]: Simplify 1 into 1
13.874 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
13.874 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
13.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.875 * [backup-simplify]: Simplify (- 0) into 0
13.876 * [backup-simplify]: Simplify (+ 0 0) into 0
13.876 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 z) 0) (* 0 (/ -1 x)))) into 0
13.876 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1.0 z) (/ 0 z)))) into 0
13.877 * [backup-simplify]: Simplify (+ 0 0) into 0
13.877 * [taylor]: Taking taylor expansion of 0 in z
13.877 * [backup-simplify]: Simplify 0 into 0
13.877 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
13.877 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
13.878 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.878 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
13.879 * [backup-simplify]: Simplify (+ 0 0) into 0
13.879 * [backup-simplify]: Simplify (- 0) into 0
13.879 * [taylor]: Taking taylor expansion of 0 in x
13.879 * [backup-simplify]: Simplify 0 into 0
13.879 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
13.879 * [taylor]: Taking taylor expansion of 0 in x
13.879 * [backup-simplify]: Simplify 0 into 0
13.880 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.880 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
13.880 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
13.880 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
13.882 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (* (/ 1 (/ 1 (- z))) 1))) (+ (* 1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (/ 1 (- z))) 1))))) into (- (+ (* 1.0 z) (* x y)) (* x z))
13.882 * * * [progress]: simplifying candidates
13.882 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (x y z) (posit16->real (real->posit16 (fma (- y z) x (* z 1.0)))))>
13.882 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (x y z) (log1p (expm1 (fma (- y z) x (* z 1.0)))))>
13.882 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (x y z) (expm1 (log1p (fma (- y z) x (* z 1.0)))))>
13.882 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- y z) x) (* z 1.0)))>
13.882 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (x y z) (pow (fma (- y z) x (* z 1.0)) 1))>
13.882 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (x y z) (exp (log (fma (- y z) x (* z 1.0)))))>
13.882 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (x y z) (log (exp (fma (- y z) x (* z 1.0)))))>
13.882 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (x y z) (* (* (cbrt (fma (- y z) x (* z 1.0))) (cbrt (fma (- y z) x (* z 1.0)))) (cbrt (fma (- y z) x (* z 1.0)))))>
13.882 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (x y z) (cbrt (* (* (fma (- y z) x (* z 1.0)) (fma (- y z) x (* z 1.0))) (fma (- y z) x (* z 1.0)))))>
13.882 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (x y z) (* (sqrt (fma (- y z) x (* z 1.0))) (sqrt (fma (- y z) x (* z 1.0)))))>
13.882 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (x y z) (* 1 (fma (- y z) x (* z 1.0))))>
13.882 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (x y z) (- (+ (* 1.0 z) (* x y)) (* x z)))>
13.882 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (x y z) (- (+ (* 1.0 z) (* x y)) (* x z)))>
13.882 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (x y z) (- (+ (* 1.0 z) (* x y)) (* x z)))>
13.883 * [simplify]: Simplifying:
  (real->posit16 (fma (- y z) x (* z 1.0)))
  (expm1 (fma (- y z) x (* z 1.0)))
  (log1p (fma (- y z) x (* z 1.0)))
  (* (- y z) x)
  (log (fma (- y z) x (* z 1.0)))
  (exp (fma (- y z) x (* z 1.0)))
  (* (cbrt (fma (- y z) x (* z 1.0))) (cbrt (fma (- y z) x (* z 1.0))))
  (cbrt (fma (- y z) x (* z 1.0)))
  (* (* (fma (- y z) x (* z 1.0)) (fma (- y z) x (* z 1.0))) (fma (- y z) x (* z 1.0)))
  (sqrt (fma (- y z) x (* z 1.0)))
  (sqrt (fma (- y z) x (* z 1.0)))
  (- (+ (* 1.0 z) (* x y)) (* x z))
  (- (+ (* 1.0 z) (* x y)) (* x z))
  (- (+ (* 1.0 z) (* x y)) (* x z))
13.883 * * [simplify]: iteration 0: 23 enodes
13.897 * * [simplify]: iteration 1: 36 enodes
13.930 * * [simplify]: iteration 2: 75 enodes
14.041 * * [simplify]: iteration 3: 287 enodes
14.595 * * [simplify]: iteration 4: 1499 enodes
16.560 * * [simplify]: iteration complete: 5004 enodes
16.560 * * [simplify]: Extracting #0: cost 11 inf + 0
16.560 * * [simplify]: Extracting #1: cost 86 inf + 0
16.563 * * [simplify]: Extracting #2: cost 727 inf + 88
16.574 * * [simplify]: Extracting #3: cost 1243 inf + 49297
16.654 * * [simplify]: Extracting #4: cost 341 inf + 277463
16.776 * * [simplify]: Extracting #5: cost 4 inf + 366350
16.935 * * [simplify]: Extracting #6: cost 0 inf + 367568
17.096 * [simplify]: Simplified to:
  (real->posit16 (fma x (- y z) (* z 1.0)))
  (expm1 (fma x (- y z) (* z 1.0)))
  (log1p (fma x (- y z) (* z 1.0)))
  (* (- y z) x)
  (log (fma x (- y z) (* z 1.0)))
  (exp (fma x (- y z) (* z 1.0)))
  (* (cbrt (fma x (- y z) (* z 1.0))) (cbrt (fma x (- y z) (* z 1.0))))
  (cbrt (fma x (- y z) (* z 1.0)))
  (* (fma x (- y z) (* z 1.0)) (* (fma x (- y z) (* z 1.0)) (fma x (- y z) (* z 1.0))))
  (sqrt (fma x (- y z) (* z 1.0)))
  (sqrt (fma x (- y z) (* z 1.0)))
  (fma x (- y z) (* z 1.0))
  (fma x (- y z) (* z 1.0))
  (fma x (- y z) (* z 1.0))
17.097 * * * [progress]: adding candidates to table
17.282 * [progress]: [Phase 3 of 3] Extracting.
17.282 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (fma (- y z) x (* z 1.0)))> #<alt (λ (x y z) (fma (- 1.0 x) z (* y x)))>)
17.284 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
17.284 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (fma (- y z) x (* z 1.0)))> #<alt (λ (x y z) (fma (- 1.0 x) z (* y x)))>)
17.493 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (fma (- y z) x (* z 1.0)))> #<alt (λ (x y z) (fma (- 1.0 x) z (* y x)))>)
17.660 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (fma (- y z) x (* z 1.0)))> #<alt (λ (x y z) (fma (- 1.0 x) z (* y x)))>)
17.804 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
17.804 * [simplify]: Simplifying:
  (fma (- y z) x (* z 1.0))
17.805 * * [simplify]: iteration 0: 7 enodes
17.806 * * [simplify]: iteration 1: 8 enodes
17.808 * * [simplify]: iteration complete: 8 enodes
17.808 * * [simplify]: Extracting #0: cost 1 inf + 0
17.808 * * [simplify]: Extracting #1: cost 4 inf + 0
17.808 * * [simplify]: Extracting #2: cost 6 inf + 1
17.808 * * [simplify]: Extracting #3: cost 2 inf + 46
17.808 * * [simplify]: Extracting #4: cost 0 inf + 227
17.808 * [simplify]: Simplified to:
  (fma (- y z) x (* z 1.0))
20.787 * [regime-testing]: Baseline error score: 0.006875859482435304
20.811 * [regime-testing]: Oracle error score: 0.0012501562695336917
20.868 * [regime-testing]: End program error score: 0.006875859482435304