21.987 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.041 * * * [progress]: [2/2] Setting up program. 0.049 * [progress]: [Phase 2 of 3] Improving. 0.049 * [simplify]: Simplifying: (/ (* 4.0 (- (- x y) (* z 0.5))) z) 0.049 * * [simplify]: iteration 0: 10 enodes 0.053 * * [simplify]: iteration 1: 20 enodes 0.060 * * [simplify]: iteration 2: 43 enodes 0.079 * * [simplify]: iteration 3: 121 enodes 0.141 * * [simplify]: iteration 4: 297 enodes 0.310 * * [simplify]: iteration 5: 652 enodes 0.618 * * [simplify]: iteration 6: 1530 enodes 1.992 * * [simplify]: iteration 7: 3361 enodes 4.583 * * [simplify]: iteration complete: 5000 enodes 4.583 * * [simplify]: Extracting #0: cost 1 inf + 0 4.584 * * [simplify]: Extracting #1: cost 119 inf + 0 4.586 * * [simplify]: Extracting #2: cost 398 inf + 254 4.592 * * [simplify]: Extracting #3: cost 230 inf + 22233 4.613 * * [simplify]: Extracting #4: cost 9 inf + 42334 4.654 * * [simplify]: Extracting #5: cost 0 inf + 43421 4.689 * [simplify]: Simplified to: (* (- (/ (- x y) z) 0.5) 4.0) 4.693 * * [progress]: iteration 1 / 4 4.693 * * * [progress]: picking best candidate 4.697 * * * * [pick]: Picked # 4.697 * * * [progress]: localizing error 4.706 * * * [progress]: generating rewritten candidates 4.706 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1) 4.736 * * * [progress]: generating series expansions 4.737 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1) 4.737 * [backup-simplify]: Simplify (/ (- x y) z) into (/ (- x y) z) 4.737 * [approximate]: Taking taylor expansion of (/ (- x y) z) in (x y z) around 0 4.737 * [taylor]: Taking taylor expansion of (/ (- x y) z) in z 4.737 * [taylor]: Taking taylor expansion of (- x y) in z 4.737 * [taylor]: Taking taylor expansion of x in z 4.737 * [backup-simplify]: Simplify x into x 4.737 * [taylor]: Taking taylor expansion of y in z 4.737 * [backup-simplify]: Simplify y into y 4.737 * [taylor]: Taking taylor expansion of z in z 4.737 * [backup-simplify]: Simplify 0 into 0 4.737 * [backup-simplify]: Simplify 1 into 1 4.737 * [backup-simplify]: Simplify (- y) into (- y) 4.737 * [backup-simplify]: Simplify (+ x (- y)) into (- x y) 4.737 * [backup-simplify]: Simplify (/ (- x y) 1) into (- x y) 4.737 * [taylor]: Taking taylor expansion of (/ (- x y) z) in y 4.737 * [taylor]: Taking taylor expansion of (- x y) in y 4.737 * [taylor]: Taking taylor expansion of x in y 4.737 * [backup-simplify]: Simplify x into x 4.737 * [taylor]: Taking taylor expansion of y in y 4.737 * [backup-simplify]: Simplify 0 into 0 4.737 * [backup-simplify]: Simplify 1 into 1 4.738 * [taylor]: Taking taylor expansion of z in y 4.738 * [backup-simplify]: Simplify z into z 4.738 * [backup-simplify]: Simplify (- 0) into 0 4.738 * [backup-simplify]: Simplify (+ x 0) into x 4.738 * [backup-simplify]: Simplify (/ x z) into (/ x z) 4.738 * [taylor]: Taking taylor expansion of (/ (- x y) z) in x 4.738 * [taylor]: Taking taylor expansion of (- x y) in x 4.739 * [taylor]: Taking taylor expansion of x in x 4.739 * [backup-simplify]: Simplify 0 into 0 4.739 * [backup-simplify]: Simplify 1 into 1 4.739 * [taylor]: Taking taylor expansion of y in x 4.739 * [backup-simplify]: Simplify y into y 4.739 * [taylor]: Taking taylor expansion of z in x 4.739 * [backup-simplify]: Simplify z into z 4.739 * [backup-simplify]: Simplify (- y) into (- y) 4.739 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 4.739 * [backup-simplify]: Simplify (/ (- y) z) into (* -1 (/ y z)) 4.739 * [taylor]: Taking taylor expansion of (/ (- x y) z) in x 4.739 * [taylor]: Taking taylor expansion of (- x y) in x 4.739 * [taylor]: Taking taylor expansion of x in x 4.739 * [backup-simplify]: Simplify 0 into 0 4.739 * [backup-simplify]: Simplify 1 into 1 4.739 * [taylor]: Taking taylor expansion of y in x 4.739 * [backup-simplify]: Simplify y into y 4.739 * [taylor]: Taking taylor expansion of z in x 4.739 * [backup-simplify]: Simplify z into z 4.739 * [backup-simplify]: Simplify (- y) into (- y) 4.739 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 4.739 * [backup-simplify]: Simplify (/ (- y) z) into (* -1 (/ y z)) 4.739 * [taylor]: Taking taylor expansion of (* -1 (/ y z)) in y 4.739 * [taylor]: Taking taylor expansion of -1 in y 4.740 * [backup-simplify]: Simplify -1 into -1 4.740 * [taylor]: Taking taylor expansion of (/ y z) in y 4.740 * [taylor]: Taking taylor expansion of y in y 4.740 * [backup-simplify]: Simplify 0 into 0 4.740 * [backup-simplify]: Simplify 1 into 1 4.740 * [taylor]: Taking taylor expansion of z in y 4.740 * [backup-simplify]: Simplify z into z 4.740 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.740 * [backup-simplify]: Simplify (- 0) into 0 4.741 * [backup-simplify]: Simplify (+ 1 0) into 1 4.741 * [backup-simplify]: Simplify (- (/ 1 z) (+ (* (* -1 (/ y z)) (/ 0 z)))) into (/ 1 z) 4.741 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.741 * [taylor]: Taking taylor expansion of z in y 4.741 * [backup-simplify]: Simplify z into z 4.741 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.741 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.742 * [taylor]: Taking taylor expansion of z in z 4.742 * [backup-simplify]: Simplify 0 into 0 4.742 * [backup-simplify]: Simplify 1 into 1 4.742 * [backup-simplify]: Simplify (/ 1 1) into 1 4.742 * [backup-simplify]: Simplify 1 into 1 4.742 * [backup-simplify]: Simplify (* -1 (/ 1 z)) into (/ -1 z) 4.742 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.742 * [taylor]: Taking taylor expansion of -1 in z 4.742 * [backup-simplify]: Simplify -1 into -1 4.742 * [taylor]: Taking taylor expansion of z in z 4.742 * [backup-simplify]: Simplify 0 into 0 4.742 * [backup-simplify]: Simplify 1 into 1 4.743 * [backup-simplify]: Simplify (/ -1 1) into -1 4.743 * [backup-simplify]: Simplify -1 into -1 4.743 * [backup-simplify]: Simplify (- 0) into 0 4.744 * [backup-simplify]: Simplify (+ 0 0) into 0 4.744 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (/ y z)) (/ 0 z)) (* (/ 1 z) (/ 0 z)))) into 0 4.744 * [taylor]: Taking taylor expansion of 0 in y 4.744 * [backup-simplify]: Simplify 0 into 0 4.744 * [taylor]: Taking taylor expansion of 0 in z 4.744 * [backup-simplify]: Simplify 0 into 0 4.744 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 4.744 * [taylor]: Taking taylor expansion of 0 in z 4.744 * [backup-simplify]: Simplify 0 into 0 4.744 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 4.745 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 z))) into 0 4.745 * [taylor]: Taking taylor expansion of 0 in z 4.745 * [backup-simplify]: Simplify 0 into 0 4.746 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.746 * [backup-simplify]: Simplify 0 into 0 4.747 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 4.747 * [backup-simplify]: Simplify 0 into 0 4.747 * [backup-simplify]: Simplify (- 0) into 0 4.748 * [backup-simplify]: Simplify (+ 0 0) into 0 4.748 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (/ y z)) (/ 0 z)) (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 4.748 * [taylor]: Taking taylor expansion of 0 in y 4.748 * [backup-simplify]: Simplify 0 into 0 4.748 * [taylor]: Taking taylor expansion of 0 in z 4.748 * [backup-simplify]: Simplify 0 into 0 4.748 * [taylor]: Taking taylor expansion of 0 in z 4.748 * [backup-simplify]: Simplify 0 into 0 4.748 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 4.748 * [taylor]: Taking taylor expansion of 0 in z 4.748 * [backup-simplify]: Simplify 0 into 0 4.749 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 4.750 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0 4.750 * [taylor]: Taking taylor expansion of 0 in z 4.750 * [backup-simplify]: Simplify 0 into 0 4.750 * [backup-simplify]: Simplify 0 into 0 4.750 * [backup-simplify]: Simplify 0 into 0 4.750 * [backup-simplify]: Simplify 0 into 0 4.751 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.751 * [backup-simplify]: Simplify 0 into 0 4.751 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 z) (* y 1))) (* 1 (* (/ 1 z) (* 1 x)))) into (- (/ x z) (/ y z)) 4.751 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 y)) (/ 1 z)) into (* z (- (/ 1 x) (/ 1 y))) 4.751 * [approximate]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in (x y z) around 0 4.751 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in z 4.751 * [taylor]: Taking taylor expansion of z in z 4.751 * [backup-simplify]: Simplify 0 into 0 4.751 * [backup-simplify]: Simplify 1 into 1 4.751 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 4.751 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.751 * [taylor]: Taking taylor expansion of x in z 4.752 * [backup-simplify]: Simplify x into x 4.752 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.752 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.752 * [taylor]: Taking taylor expansion of y in z 4.752 * [backup-simplify]: Simplify y into y 4.752 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.752 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in y 4.752 * [taylor]: Taking taylor expansion of z in y 4.752 * [backup-simplify]: Simplify z into z 4.752 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 4.752 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.752 * [taylor]: Taking taylor expansion of x in y 4.752 * [backup-simplify]: Simplify x into x 4.752 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.752 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.752 * [taylor]: Taking taylor expansion of y in y 4.752 * [backup-simplify]: Simplify 0 into 0 4.752 * [backup-simplify]: Simplify 1 into 1 4.752 * [backup-simplify]: Simplify (/ 1 1) into 1 4.753 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in x 4.753 * [taylor]: Taking taylor expansion of z in x 4.753 * [backup-simplify]: Simplify z into z 4.753 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 4.753 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.753 * [taylor]: Taking taylor expansion of x in x 4.753 * [backup-simplify]: Simplify 0 into 0 4.753 * [backup-simplify]: Simplify 1 into 1 4.753 * [backup-simplify]: Simplify (/ 1 1) into 1 4.753 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.753 * [taylor]: Taking taylor expansion of y in x 4.753 * [backup-simplify]: Simplify y into y 4.753 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.753 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in x 4.753 * [taylor]: Taking taylor expansion of z in x 4.753 * [backup-simplify]: Simplify z into z 4.753 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 4.753 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.753 * [taylor]: Taking taylor expansion of x in x 4.753 * [backup-simplify]: Simplify 0 into 0 4.753 * [backup-simplify]: Simplify 1 into 1 4.754 * [backup-simplify]: Simplify (/ 1 1) into 1 4.754 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.754 * [taylor]: Taking taylor expansion of y in x 4.754 * [backup-simplify]: Simplify y into y 4.754 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.755 * [backup-simplify]: Simplify (+ 1 0) into 1 4.755 * [backup-simplify]: Simplify (* z 1) into z 4.755 * [taylor]: Taking taylor expansion of z in y 4.755 * [backup-simplify]: Simplify z into z 4.755 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.756 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 4.756 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 4.756 * [backup-simplify]: Simplify (+ (* z (- (/ 1 y))) (* 0 1)) into (- (/ z y)) 4.756 * [taylor]: Taking taylor expansion of (- (/ z y)) in y 4.756 * [taylor]: Taking taylor expansion of (/ z y) in y 4.756 * [taylor]: Taking taylor expansion of z in y 4.756 * [backup-simplify]: Simplify z into z 4.756 * [taylor]: Taking taylor expansion of y in y 4.756 * [backup-simplify]: Simplify 0 into 0 4.756 * [backup-simplify]: Simplify 1 into 1 4.757 * [backup-simplify]: Simplify (/ z 1) into z 4.757 * [backup-simplify]: Simplify (- z) into (- z) 4.757 * [taylor]: Taking taylor expansion of (- z) in z 4.757 * [taylor]: Taking taylor expansion of z in z 4.757 * [backup-simplify]: Simplify 0 into 0 4.757 * [backup-simplify]: Simplify 1 into 1 4.757 * [backup-simplify]: Simplify (- 0) into 0 4.757 * [backup-simplify]: Simplify 0 into 0 4.757 * [taylor]: Taking taylor expansion of z in z 4.757 * [backup-simplify]: Simplify 0 into 0 4.757 * [backup-simplify]: Simplify 1 into 1 4.757 * [backup-simplify]: Simplify 0 into 0 4.758 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.758 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.759 * [backup-simplify]: Simplify (- 0) into 0 4.759 * [backup-simplify]: Simplify (+ 0 0) into 0 4.760 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0 4.760 * [taylor]: Taking taylor expansion of 0 in y 4.760 * [backup-simplify]: Simplify 0 into 0 4.760 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 4.760 * [backup-simplify]: Simplify (- 0) into 0 4.760 * [taylor]: Taking taylor expansion of 0 in z 4.760 * [backup-simplify]: Simplify 0 into 0 4.761 * [backup-simplify]: Simplify 0 into 0 4.761 * [taylor]: Taking taylor expansion of 0 in z 4.761 * [backup-simplify]: Simplify 0 into 0 4.761 * [backup-simplify]: Simplify 0 into 0 4.761 * [backup-simplify]: Simplify (- 1) into -1 4.761 * [backup-simplify]: Simplify -1 into -1 4.761 * [backup-simplify]: Simplify 1 into 1 4.762 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.762 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.762 * [backup-simplify]: Simplify (- 0) into 0 4.762 * [backup-simplify]: Simplify (+ 0 0) into 0 4.763 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0 4.763 * [taylor]: Taking taylor expansion of 0 in y 4.763 * [backup-simplify]: Simplify 0 into 0 4.763 * [taylor]: Taking taylor expansion of 0 in z 4.763 * [backup-simplify]: Simplify 0 into 0 4.763 * [backup-simplify]: Simplify 0 into 0 4.764 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.764 * [backup-simplify]: Simplify (- 0) into 0 4.764 * [taylor]: Taking taylor expansion of 0 in z 4.764 * [backup-simplify]: Simplify 0 into 0 4.764 * [backup-simplify]: Simplify 0 into 0 4.764 * [taylor]: Taking taylor expansion of 0 in z 4.764 * [backup-simplify]: Simplify 0 into 0 4.764 * [backup-simplify]: Simplify 0 into 0 4.764 * [backup-simplify]: Simplify 0 into 0 4.764 * [backup-simplify]: Simplify 0 into 0 4.764 * [backup-simplify]: Simplify (- 0) into 0 4.765 * [backup-simplify]: Simplify 0 into 0 4.765 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 z) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 z) (* (/ 1 (/ 1 y)) 1)))) into (- (/ x z) (/ y z)) 4.765 * [backup-simplify]: Simplify (/ (- (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) into (* -1 (* (- (/ 1 y) (/ 1 x)) z)) 4.765 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) z)) in (x y z) around 0 4.765 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) z)) in z 4.765 * [taylor]: Taking taylor expansion of -1 in z 4.765 * [backup-simplify]: Simplify -1 into -1 4.765 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in z 4.765 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 4.765 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.765 * [taylor]: Taking taylor expansion of y in z 4.765 * [backup-simplify]: Simplify y into y 4.765 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.765 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.765 * [taylor]: Taking taylor expansion of x in z 4.765 * [backup-simplify]: Simplify x into x 4.765 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.765 * [taylor]: Taking taylor expansion of z in z 4.765 * [backup-simplify]: Simplify 0 into 0 4.765 * [backup-simplify]: Simplify 1 into 1 4.765 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) z)) in y 4.765 * [taylor]: Taking taylor expansion of -1 in y 4.765 * [backup-simplify]: Simplify -1 into -1 4.765 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in y 4.765 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 4.765 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.765 * [taylor]: Taking taylor expansion of y in y 4.765 * [backup-simplify]: Simplify 0 into 0 4.765 * [backup-simplify]: Simplify 1 into 1 4.766 * [backup-simplify]: Simplify (/ 1 1) into 1 4.766 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.766 * [taylor]: Taking taylor expansion of x in y 4.766 * [backup-simplify]: Simplify x into x 4.766 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.766 * [taylor]: Taking taylor expansion of z in y 4.766 * [backup-simplify]: Simplify z into z 4.766 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) z)) in x 4.766 * [taylor]: Taking taylor expansion of -1 in x 4.766 * [backup-simplify]: Simplify -1 into -1 4.766 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in x 4.766 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 4.766 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.766 * [taylor]: Taking taylor expansion of y in x 4.766 * [backup-simplify]: Simplify y into y 4.766 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.766 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.766 * [taylor]: Taking taylor expansion of x in x 4.766 * [backup-simplify]: Simplify 0 into 0 4.766 * [backup-simplify]: Simplify 1 into 1 4.766 * [backup-simplify]: Simplify (/ 1 1) into 1 4.766 * [taylor]: Taking taylor expansion of z in x 4.766 * [backup-simplify]: Simplify z into z 4.766 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) z)) in x 4.766 * [taylor]: Taking taylor expansion of -1 in x 4.766 * [backup-simplify]: Simplify -1 into -1 4.766 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in x 4.766 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 4.766 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.766 * [taylor]: Taking taylor expansion of y in x 4.766 * [backup-simplify]: Simplify y into y 4.766 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.766 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.766 * [taylor]: Taking taylor expansion of x in x 4.766 * [backup-simplify]: Simplify 0 into 0 4.766 * [backup-simplify]: Simplify 1 into 1 4.767 * [backup-simplify]: Simplify (/ 1 1) into 1 4.767 * [taylor]: Taking taylor expansion of z in x 4.767 * [backup-simplify]: Simplify z into z 4.767 * [backup-simplify]: Simplify (- 1) into -1 4.767 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.767 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 4.767 * [backup-simplify]: Simplify (* -1 (* -1 z)) into z 4.767 * [taylor]: Taking taylor expansion of z in y 4.767 * [backup-simplify]: Simplify z into z 4.768 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.768 * [backup-simplify]: Simplify (- 0) into 0 4.768 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 4.769 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) z)) into (/ z y) 4.769 * [backup-simplify]: Simplify (+ (* -1 (/ z y)) (* 0 (* -1 z))) into (- (/ z y)) 4.769 * [taylor]: Taking taylor expansion of (- (/ z y)) in y 4.769 * [taylor]: Taking taylor expansion of (/ z y) in y 4.769 * [taylor]: Taking taylor expansion of z in y 4.769 * [backup-simplify]: Simplify z into z 4.769 * [taylor]: Taking taylor expansion of y in y 4.769 * [backup-simplify]: Simplify 0 into 0 4.769 * [backup-simplify]: Simplify 1 into 1 4.769 * [backup-simplify]: Simplify (/ z 1) into z 4.769 * [backup-simplify]: Simplify (- z) into (- z) 4.769 * [taylor]: Taking taylor expansion of (- z) in z 4.769 * [taylor]: Taking taylor expansion of z in z 4.769 * [backup-simplify]: Simplify 0 into 0 4.769 * [backup-simplify]: Simplify 1 into 1 4.769 * [backup-simplify]: Simplify (- 0) into 0 4.769 * [backup-simplify]: Simplify 0 into 0 4.769 * [taylor]: Taking taylor expansion of z in z 4.769 * [backup-simplify]: Simplify 0 into 0 4.769 * [backup-simplify]: Simplify 1 into 1 4.769 * [backup-simplify]: Simplify 0 into 0 4.769 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.770 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.770 * [backup-simplify]: Simplify (- 0) into 0 4.770 * [backup-simplify]: Simplify (+ 0 0) into 0 4.771 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (* 0 z))) into 0 4.771 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ z y)) (* 0 (* -1 z)))) into 0 4.771 * [taylor]: Taking taylor expansion of 0 in y 4.771 * [backup-simplify]: Simplify 0 into 0 4.772 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 4.772 * [backup-simplify]: Simplify (- 0) into 0 4.772 * [taylor]: Taking taylor expansion of 0 in z 4.772 * [backup-simplify]: Simplify 0 into 0 4.772 * [backup-simplify]: Simplify 0 into 0 4.772 * [taylor]: Taking taylor expansion of 0 in z 4.772 * [backup-simplify]: Simplify 0 into 0 4.772 * [backup-simplify]: Simplify 0 into 0 4.772 * [backup-simplify]: Simplify (- 1) into -1 4.772 * [backup-simplify]: Simplify -1 into -1 4.772 * [backup-simplify]: Simplify 1 into 1 4.772 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.773 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.773 * [backup-simplify]: Simplify (- 0) into 0 4.773 * [backup-simplify]: Simplify (+ 0 0) into 0 4.774 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 z)))) into 0 4.774 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ z y)) (* 0 (* -1 z))))) into 0 4.775 * [taylor]: Taking taylor expansion of 0 in y 4.775 * [backup-simplify]: Simplify 0 into 0 4.775 * [taylor]: Taking taylor expansion of 0 in z 4.775 * [backup-simplify]: Simplify 0 into 0 4.775 * [backup-simplify]: Simplify 0 into 0 4.775 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.776 * [backup-simplify]: Simplify (- 0) into 0 4.776 * [taylor]: Taking taylor expansion of 0 in z 4.776 * [backup-simplify]: Simplify 0 into 0 4.776 * [backup-simplify]: Simplify 0 into 0 4.776 * [taylor]: Taking taylor expansion of 0 in z 4.776 * [backup-simplify]: Simplify 0 into 0 4.776 * [backup-simplify]: Simplify 0 into 0 4.776 * [backup-simplify]: Simplify 0 into 0 4.776 * [backup-simplify]: Simplify 0 into 0 4.776 * [backup-simplify]: Simplify (- 0) into 0 4.776 * [backup-simplify]: Simplify 0 into 0 4.776 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- z)) (* 1 (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) 1)))) into (- (/ x z) (/ y z)) 4.777 * * * [progress]: simplifying candidates 4.777 * [simplify]: Simplifying: (expm1 (/ (- x y) z)) (log1p (/ (- x y) z)) (- (log (- x y)) (log z)) (log (/ (- x y) z)) (exp (/ (- x y) z)) (/ (* (* (- x y) (- x y)) (- x y)) (* (* z z) 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)) (- (- x y)) (- z) (/ x z) (/ y z) (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt z) (cbrt z))) (/ (cbrt (- x y)) (cbrt z)) (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt z)) (/ (cbrt (- x y)) (sqrt z)) (/ (* (cbrt (- x y)) (cbrt (- x y))) 1) (/ (cbrt (- x y)) z) (/ (sqrt (- x y)) (* (cbrt z) (cbrt z))) (/ (sqrt (- x y)) (cbrt z)) (/ (sqrt (- x y)) (sqrt z)) (/ (sqrt (- x y)) (sqrt z)) (/ (sqrt (- x y)) 1) (/ (sqrt (- x y)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (- x y) (cbrt z)) (/ 1 (sqrt z)) (/ (- x y) (sqrt z)) (/ 1 1) (/ (- x y) z) (/ (+ (sqrt x) (sqrt y)) (* (cbrt z) (cbrt z))) (/ (- (sqrt x) (sqrt y)) (cbrt z)) (/ (+ (sqrt x) (sqrt y)) (sqrt z)) (/ (- (sqrt x) (sqrt y)) (sqrt z)) (/ (+ (sqrt x) (sqrt y)) 1) (/ (- (sqrt x) (sqrt y)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (- x y) (cbrt z)) (/ 1 (sqrt z)) (/ (- x y) (sqrt z)) (/ 1 1) (/ (- x y) z) (/ 1 z) (/ z (- x y)) (/ (- x y) (* (cbrt z) (cbrt z))) (/ (- x y) (sqrt z)) (/ (- x y) 1) (/ z (cbrt (- x y))) (/ z (sqrt (- x y))) (/ z (- x y)) (/ z (- (sqrt x) (sqrt y))) (/ z (- x y)) (* z (+ (* x x) (+ (* y y) (* x y)))) (* z (+ x y)) (- (/ x z) (/ y z)) (- (/ x z) (/ y z)) (- (/ x z) (/ y z)) 4.778 * * [simplify]: iteration 0: 75 enodes 4.797 * * [simplify]: iteration 1: 165 enodes 4.848 * * [simplify]: iteration 2: 371 enodes 5.016 * * [simplify]: iteration 3: 1208 enodes 6.124 * * [simplify]: iteration 4: 4281 enodes 7.426 * * [simplify]: iteration complete: 5000 enodes 7.426 * * [simplify]: Extracting #0: cost 44 inf + 0 7.427 * * [simplify]: Extracting #1: cost 624 inf + 1 7.436 * * [simplify]: Extracting #2: cost 1151 inf + 11831 7.453 * * [simplify]: Extracting #3: cost 623 inf + 74343 7.498 * * [simplify]: Extracting #4: cost 81 inf + 160622 7.566 * * [simplify]: Extracting #5: cost 0 inf + 172469 7.626 * * [simplify]: Extracting #6: cost 0 inf + 172098 7.688 * [simplify]: Simplified to: (expm1 (/ (- x y) z)) (log1p (/ (- 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)) (- (- x y)) (- z) (/ x z) (/ y z) (* (/ (cbrt (- x y)) (cbrt z)) (/ (cbrt (- x y)) (cbrt z))) (/ (cbrt (- x y)) (cbrt z)) (* (cbrt (- x y)) (/ (cbrt (- x y)) (sqrt z))) (/ (cbrt (- x y)) (sqrt z)) (* (cbrt (- x y)) (cbrt (- x y))) (/ (cbrt (- x y)) z) (/ (sqrt (- x y)) (* (cbrt z) (cbrt z))) (/ (sqrt (- x y)) (cbrt z)) (/ (sqrt (- x y)) (sqrt z)) (/ (sqrt (- x y)) (sqrt z)) (sqrt (- x y)) (/ (sqrt (- x y)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (- x y) (cbrt z)) (/ 1 (sqrt z)) (/ (- x y) (sqrt z)) 1 (/ (- x y) z) (/ (/ (+ (sqrt y) (sqrt x)) (cbrt z)) (cbrt z)) (/ (- (sqrt x) (sqrt y)) (cbrt z)) (/ (+ (sqrt y) (sqrt x)) (sqrt z)) (/ (- (sqrt x) (sqrt y)) (sqrt z)) (+ (sqrt y) (sqrt x)) (/ (- (sqrt x) (sqrt y)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (- x y) (cbrt z)) (/ 1 (sqrt z)) (/ (- x y) (sqrt z)) 1 (/ (- x y) z) (/ 1 z) (/ z (- x y)) (/ (/ (- x y) (cbrt z)) (cbrt z)) (/ (- x y) (sqrt z)) (- x y) (/ z (cbrt (- x y))) (/ z (sqrt (- x y))) (/ z (- x y)) (/ z (- (sqrt x) (sqrt y))) (/ z (- x y)) (* (fma y (+ y x) (* x x)) z) (* (+ y x) z) (/ (- x y) z) (/ (- x y) z) (/ (- x y) z) 7.692 * * * [progress]: adding candidates to table 7.891 * * [progress]: iteration 2 / 4 7.891 * * * [progress]: picking best candidate 7.897 * * * * [pick]: Picked # 7.897 * * * [progress]: localizing error 7.908 * * * [progress]: generating rewritten candidates 7.908 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1) 7.963 * * * [progress]: generating series expansions 7.963 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1) 7.963 * [backup-simplify]: Simplify (- (/ x z) (/ y z)) into (- (/ x z) (/ y z)) 7.963 * [approximate]: Taking taylor expansion of (- (/ x z) (/ y z)) in (x z y) around 0 7.963 * [taylor]: Taking taylor expansion of (- (/ x z) (/ y z)) in y 7.963 * [taylor]: Taking taylor expansion of (/ x z) in y 7.963 * [taylor]: Taking taylor expansion of x in y 7.963 * [backup-simplify]: Simplify x into x 7.963 * [taylor]: Taking taylor expansion of z in y 7.963 * [backup-simplify]: Simplify z into z 7.964 * [backup-simplify]: Simplify (/ x z) into (/ x z) 7.964 * [taylor]: Taking taylor expansion of (/ y z) in y 7.964 * [taylor]: Taking taylor expansion of y in y 7.964 * [backup-simplify]: Simplify 0 into 0 7.964 * [backup-simplify]: Simplify 1 into 1 7.964 * [taylor]: Taking taylor expansion of z in y 7.964 * [backup-simplify]: Simplify z into z 7.964 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.964 * [taylor]: Taking taylor expansion of (- (/ x z) (/ y z)) in z 7.964 * [taylor]: Taking taylor expansion of (/ x z) in z 7.964 * [taylor]: Taking taylor expansion of x in z 7.964 * [backup-simplify]: Simplify x into x 7.964 * [taylor]: Taking taylor expansion of z in z 7.964 * [backup-simplify]: Simplify 0 into 0 7.964 * [backup-simplify]: Simplify 1 into 1 7.964 * [backup-simplify]: Simplify (/ x 1) into x 7.964 * [taylor]: Taking taylor expansion of (/ y z) in z 7.964 * [taylor]: Taking taylor expansion of y in z 7.964 * [backup-simplify]: Simplify y into y 7.964 * [taylor]: Taking taylor expansion of z in z 7.964 * [backup-simplify]: Simplify 0 into 0 7.964 * [backup-simplify]: Simplify 1 into 1 7.964 * [backup-simplify]: Simplify (/ y 1) into y 7.964 * [taylor]: Taking taylor expansion of (- (/ x z) (/ y z)) in x 7.964 * [taylor]: Taking taylor expansion of (/ x z) in x 7.964 * [taylor]: Taking taylor expansion of x in x 7.964 * [backup-simplify]: Simplify 0 into 0 7.964 * [backup-simplify]: Simplify 1 into 1 7.964 * [taylor]: Taking taylor expansion of z in x 7.964 * [backup-simplify]: Simplify z into z 7.964 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.964 * [taylor]: Taking taylor expansion of (/ y z) in x 7.965 * [taylor]: Taking taylor expansion of y in x 7.965 * [backup-simplify]: Simplify y into y 7.965 * [taylor]: Taking taylor expansion of z in x 7.965 * [backup-simplify]: Simplify z into z 7.965 * [backup-simplify]: Simplify (/ y z) into (/ y z) 7.965 * [taylor]: Taking taylor expansion of (- (/ x z) (/ y z)) in x 7.965 * [taylor]: Taking taylor expansion of (/ x z) in x 7.965 * [taylor]: Taking taylor expansion of x in x 7.965 * [backup-simplify]: Simplify 0 into 0 7.965 * [backup-simplify]: Simplify 1 into 1 7.965 * [taylor]: Taking taylor expansion of z in x 7.965 * [backup-simplify]: Simplify z into z 7.965 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.965 * [taylor]: Taking taylor expansion of (/ y z) in x 7.965 * [taylor]: Taking taylor expansion of y in x 7.965 * [backup-simplify]: Simplify y into y 7.965 * [taylor]: Taking taylor expansion of z in x 7.965 * [backup-simplify]: Simplify z into z 7.965 * [backup-simplify]: Simplify (/ y z) into (/ y z) 7.965 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z)) 7.965 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z)) 7.965 * [taylor]: Taking taylor expansion of (- (/ y z)) in z 7.965 * [taylor]: Taking taylor expansion of (/ y z) in z 7.966 * [taylor]: Taking taylor expansion of y in z 7.966 * [backup-simplify]: Simplify y into y 7.966 * [taylor]: Taking taylor expansion of z in z 7.966 * [backup-simplify]: Simplify 0 into 0 7.966 * [backup-simplify]: Simplify 1 into 1 7.966 * [backup-simplify]: Simplify (/ y 1) into y 7.966 * [backup-simplify]: Simplify (- y) into (- y) 7.966 * [taylor]: Taking taylor expansion of (- y) in y 7.966 * [taylor]: Taking taylor expansion of y in y 7.966 * [backup-simplify]: Simplify 0 into 0 7.966 * [backup-simplify]: Simplify 1 into 1 7.967 * [backup-simplify]: Simplify (- 0) into 0 7.967 * [backup-simplify]: Simplify 0 into 0 7.967 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0 7.967 * [backup-simplify]: Simplify (- 0) into 0 7.967 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 7.967 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.967 * [taylor]: Taking taylor expansion of z in z 7.967 * [backup-simplify]: Simplify 0 into 0 7.967 * [backup-simplify]: Simplify 1 into 1 7.968 * [backup-simplify]: Simplify (/ 1 1) into 1 7.968 * [taylor]: Taking taylor expansion of 1 in y 7.968 * [backup-simplify]: Simplify 1 into 1 7.968 * [backup-simplify]: Simplify 1 into 1 7.969 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 7.969 * [backup-simplify]: Simplify (- 0) into 0 7.969 * [taylor]: Taking taylor expansion of 0 in y 7.969 * [backup-simplify]: Simplify 0 into 0 7.969 * [backup-simplify]: Simplify 0 into 0 7.970 * [backup-simplify]: Simplify (- 1) into -1 7.970 * [backup-simplify]: Simplify -1 into -1 7.970 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 7.970 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 7.970 * [backup-simplify]: Simplify (- 0) into 0 7.971 * [backup-simplify]: Simplify (+ 0 0) into 0 7.971 * [taylor]: Taking taylor expansion of 0 in z 7.971 * [backup-simplify]: Simplify 0 into 0 7.972 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.972 * [taylor]: Taking taylor expansion of 0 in y 7.972 * [backup-simplify]: Simplify 0 into 0 7.972 * [backup-simplify]: Simplify 0 into 0 7.973 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.973 * [backup-simplify]: Simplify (- 0) into 0 7.973 * [taylor]: Taking taylor expansion of 0 in y 7.973 * [backup-simplify]: Simplify 0 into 0 7.973 * [backup-simplify]: Simplify 0 into 0 7.974 * [backup-simplify]: Simplify 0 into 0 7.974 * [backup-simplify]: Simplify 0 into 0 7.974 * [backup-simplify]: Simplify (- 0) into 0 7.974 * [backup-simplify]: Simplify 0 into 0 7.974 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 7.974 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 7.975 * [backup-simplify]: Simplify (- 0) into 0 7.975 * [backup-simplify]: Simplify (+ 0 0) into 0 7.975 * [taylor]: Taking taylor expansion of 0 in z 7.975 * [backup-simplify]: Simplify 0 into 0 7.975 * [taylor]: Taking taylor expansion of 0 in y 7.975 * [backup-simplify]: Simplify 0 into 0 7.975 * [backup-simplify]: Simplify 0 into 0 7.976 * [backup-simplify]: Simplify (+ (* -1 (* y (* (/ 1 z) 1))) (* 1 (* 1 (* (/ 1 z) x)))) into (- (/ x z) (/ y z)) 7.976 * [backup-simplify]: Simplify (- (/ (/ 1 x) (/ 1 z)) (/ (/ 1 y) (/ 1 z))) into (- (/ z x) (/ z y)) 7.976 * [approximate]: Taking taylor expansion of (- (/ z x) (/ z y)) in (x z y) around 0 7.976 * [taylor]: Taking taylor expansion of (- (/ z x) (/ z y)) in y 7.976 * [taylor]: Taking taylor expansion of (/ z x) in y 7.976 * [taylor]: Taking taylor expansion of z in y 7.976 * [backup-simplify]: Simplify z into z 7.976 * [taylor]: Taking taylor expansion of x in y 7.976 * [backup-simplify]: Simplify x into x 7.976 * [backup-simplify]: Simplify (/ z x) into (/ z x) 7.976 * [taylor]: Taking taylor expansion of (/ z y) in y 7.976 * [taylor]: Taking taylor expansion of z in y 7.976 * [backup-simplify]: Simplify z into z 7.976 * [taylor]: Taking taylor expansion of y in y 7.976 * [backup-simplify]: Simplify 0 into 0 7.976 * [backup-simplify]: Simplify 1 into 1 7.976 * [backup-simplify]: Simplify (/ z 1) into z 7.976 * [taylor]: Taking taylor expansion of (- (/ z x) (/ z y)) in z 7.976 * [taylor]: Taking taylor expansion of (/ z x) in z 7.976 * [taylor]: Taking taylor expansion of z in z 7.976 * [backup-simplify]: Simplify 0 into 0 7.976 * [backup-simplify]: Simplify 1 into 1 7.976 * [taylor]: Taking taylor expansion of x in z 7.976 * [backup-simplify]: Simplify x into x 7.977 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.977 * [taylor]: Taking taylor expansion of (/ z y) in z 7.977 * [taylor]: Taking taylor expansion of z in z 7.977 * [backup-simplify]: Simplify 0 into 0 7.977 * [backup-simplify]: Simplify 1 into 1 7.977 * [taylor]: Taking taylor expansion of y in z 7.977 * [backup-simplify]: Simplify y into y 7.977 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.977 * [taylor]: Taking taylor expansion of (- (/ z x) (/ z y)) in x 7.977 * [taylor]: Taking taylor expansion of (/ z x) in x 7.977 * [taylor]: Taking taylor expansion of z in x 7.977 * [backup-simplify]: Simplify z into z 7.977 * [taylor]: Taking taylor expansion of x in x 7.977 * [backup-simplify]: Simplify 0 into 0 7.977 * [backup-simplify]: Simplify 1 into 1 7.977 * [backup-simplify]: Simplify (/ z 1) into z 7.977 * [taylor]: Taking taylor expansion of (/ z y) in x 7.977 * [taylor]: Taking taylor expansion of z in x 7.977 * [backup-simplify]: Simplify z into z 7.977 * [taylor]: Taking taylor expansion of y in x 7.977 * [backup-simplify]: Simplify y into y 7.977 * [backup-simplify]: Simplify (/ z y) into (/ z y) 7.977 * [taylor]: Taking taylor expansion of (- (/ z x) (/ z y)) in x 7.977 * [taylor]: Taking taylor expansion of (/ z x) in x 7.977 * [taylor]: Taking taylor expansion of z in x 7.977 * [backup-simplify]: Simplify z into z 7.977 * [taylor]: Taking taylor expansion of x in x 7.977 * [backup-simplify]: Simplify 0 into 0 7.977 * [backup-simplify]: Simplify 1 into 1 7.977 * [backup-simplify]: Simplify (/ z 1) into z 7.977 * [taylor]: Taking taylor expansion of (/ z y) in x 7.977 * [taylor]: Taking taylor expansion of z in x 7.977 * [backup-simplify]: Simplify z into z 7.977 * [taylor]: Taking taylor expansion of y in x 7.977 * [backup-simplify]: Simplify y into y 7.978 * [backup-simplify]: Simplify (/ z y) into (/ z y) 7.978 * [backup-simplify]: Simplify (+ z 0) into z 7.978 * [taylor]: Taking taylor expansion of z in z 7.978 * [backup-simplify]: Simplify 0 into 0 7.978 * [backup-simplify]: Simplify 1 into 1 7.978 * [taylor]: Taking taylor expansion of 1 in y 7.978 * [backup-simplify]: Simplify 1 into 1 7.979 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 7.979 * [backup-simplify]: Simplify (- (/ z y)) into (- (/ z y)) 7.979 * [backup-simplify]: Simplify (+ 0 (- (/ z y))) into (- (/ z y)) 7.979 * [taylor]: Taking taylor expansion of (- (/ z y)) in z 7.979 * [taylor]: Taking taylor expansion of (/ z y) in z 7.979 * [taylor]: Taking taylor expansion of z in z 7.979 * [backup-simplify]: Simplify 0 into 0 7.979 * [backup-simplify]: Simplify 1 into 1 7.979 * [taylor]: Taking taylor expansion of y in z 7.979 * [backup-simplify]: Simplify y into y 7.979 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.979 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 7.979 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 7.979 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.979 * [taylor]: Taking taylor expansion of y in y 7.979 * [backup-simplify]: Simplify 0 into 0 7.979 * [backup-simplify]: Simplify 1 into 1 7.980 * [backup-simplify]: Simplify (/ 1 1) into 1 7.980 * [backup-simplify]: Simplify (- 1) into -1 7.980 * [backup-simplify]: Simplify -1 into -1 7.980 * [taylor]: Taking taylor expansion of 0 in y 7.980 * [backup-simplify]: Simplify 0 into 0 7.980 * [backup-simplify]: Simplify 1 into 1 7.982 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.982 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 7.982 * [backup-simplify]: Simplify (- 0) into 0 7.982 * [backup-simplify]: Simplify (+ 0 0) into 0 7.982 * [taylor]: Taking taylor expansion of 0 in z 7.982 * [backup-simplify]: Simplify 0 into 0 7.983 * [taylor]: Taking taylor expansion of 0 in y 7.983 * [backup-simplify]: Simplify 0 into 0 7.983 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 7.983 * [backup-simplify]: Simplify (- 0) into 0 7.983 * [taylor]: Taking taylor expansion of 0 in y 7.983 * [backup-simplify]: Simplify 0 into 0 7.983 * [taylor]: Taking taylor expansion of 0 in y 7.983 * [backup-simplify]: Simplify 0 into 0 7.984 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.985 * [backup-simplify]: Simplify (- 0) into 0 7.985 * [backup-simplify]: Simplify 0 into 0 7.985 * [backup-simplify]: Simplify 0 into 0 7.985 * [backup-simplify]: Simplify 0 into 0 7.987 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.987 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.987 * [backup-simplify]: Simplify (- 0) into 0 7.987 * [backup-simplify]: Simplify (+ 0 0) into 0 7.987 * [taylor]: Taking taylor expansion of 0 in z 7.988 * [backup-simplify]: Simplify 0 into 0 7.988 * [taylor]: Taking taylor expansion of 0 in y 7.988 * [backup-simplify]: Simplify 0 into 0 7.988 * [taylor]: Taking taylor expansion of 0 in y 7.988 * [backup-simplify]: Simplify 0 into 0 7.988 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.988 * [backup-simplify]: Simplify (- 0) into 0 7.988 * [taylor]: Taking taylor expansion of 0 in y 7.988 * [backup-simplify]: Simplify 0 into 0 7.988 * [taylor]: Taking taylor expansion of 0 in y 7.988 * [backup-simplify]: Simplify 0 into 0 7.988 * [backup-simplify]: Simplify 0 into 0 7.988 * [backup-simplify]: Simplify 0 into 0 7.988 * [backup-simplify]: Simplify 0 into 0 7.989 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 z) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 z) 1)))) into (- (/ x z) (/ y z)) 7.989 * [backup-simplify]: Simplify (- (/ (/ 1 (- x)) (/ 1 (- z))) (/ (/ 1 (- y)) (/ 1 (- z)))) into (- (/ z x) (/ z y)) 7.989 * [approximate]: Taking taylor expansion of (- (/ z x) (/ z y)) in (x z y) around 0 7.989 * [taylor]: Taking taylor expansion of (- (/ z x) (/ z y)) in y 7.989 * [taylor]: Taking taylor expansion of (/ z x) in y 7.989 * [taylor]: Taking taylor expansion of z in y 7.989 * [backup-simplify]: Simplify z into z 7.989 * [taylor]: Taking taylor expansion of x in y 7.989 * [backup-simplify]: Simplify x into x 7.989 * [backup-simplify]: Simplify (/ z x) into (/ z x) 7.989 * [taylor]: Taking taylor expansion of (/ z y) in y 7.989 * [taylor]: Taking taylor expansion of z in y 7.989 * [backup-simplify]: Simplify z into z 7.989 * [taylor]: Taking taylor expansion of y in y 7.989 * [backup-simplify]: Simplify 0 into 0 7.990 * [backup-simplify]: Simplify 1 into 1 7.990 * [backup-simplify]: Simplify (/ z 1) into z 7.990 * [taylor]: Taking taylor expansion of (- (/ z x) (/ z y)) in z 7.990 * [taylor]: Taking taylor expansion of (/ z x) in z 7.990 * [taylor]: Taking taylor expansion of z in z 7.990 * [backup-simplify]: Simplify 0 into 0 7.990 * [backup-simplify]: Simplify 1 into 1 7.990 * [taylor]: Taking taylor expansion of x in z 7.990 * [backup-simplify]: Simplify x into x 7.990 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.990 * [taylor]: Taking taylor expansion of (/ z y) in z 7.990 * [taylor]: Taking taylor expansion of z in z 7.990 * [backup-simplify]: Simplify 0 into 0 7.990 * [backup-simplify]: Simplify 1 into 1 7.990 * [taylor]: Taking taylor expansion of y in z 7.990 * [backup-simplify]: Simplify y into y 7.990 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.990 * [taylor]: Taking taylor expansion of (- (/ z x) (/ z y)) in x 7.990 * [taylor]: Taking taylor expansion of (/ z x) in x 7.990 * [taylor]: Taking taylor expansion of z in x 7.990 * [backup-simplify]: Simplify z into z 7.990 * [taylor]: Taking taylor expansion of x in x 7.990 * [backup-simplify]: Simplify 0 into 0 7.990 * [backup-simplify]: Simplify 1 into 1 7.990 * [backup-simplify]: Simplify (/ z 1) into z 7.990 * [taylor]: Taking taylor expansion of (/ z y) in x 7.990 * [taylor]: Taking taylor expansion of z in x 7.990 * [backup-simplify]: Simplify z into z 7.990 * [taylor]: Taking taylor expansion of y in x 7.990 * [backup-simplify]: Simplify y into y 7.990 * [backup-simplify]: Simplify (/ z y) into (/ z y) 7.990 * [taylor]: Taking taylor expansion of (- (/ z x) (/ z y)) in x 7.990 * [taylor]: Taking taylor expansion of (/ z x) in x 7.990 * [taylor]: Taking taylor expansion of z in x 7.990 * [backup-simplify]: Simplify z into z 7.991 * [taylor]: Taking taylor expansion of x in x 7.991 * [backup-simplify]: Simplify 0 into 0 7.991 * [backup-simplify]: Simplify 1 into 1 7.991 * [backup-simplify]: Simplify (/ z 1) into z 7.991 * [taylor]: Taking taylor expansion of (/ z y) in x 7.991 * [taylor]: Taking taylor expansion of z in x 7.991 * [backup-simplify]: Simplify z into z 7.991 * [taylor]: Taking taylor expansion of y in x 7.991 * [backup-simplify]: Simplify y into y 7.991 * [backup-simplify]: Simplify (/ z y) into (/ z y) 7.991 * [backup-simplify]: Simplify (+ z 0) into z 7.991 * [taylor]: Taking taylor expansion of z in z 7.991 * [backup-simplify]: Simplify 0 into 0 7.991 * [backup-simplify]: Simplify 1 into 1 7.991 * [taylor]: Taking taylor expansion of 1 in y 7.991 * [backup-simplify]: Simplify 1 into 1 7.992 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 7.992 * [backup-simplify]: Simplify (- (/ z y)) into (- (/ z y)) 7.992 * [backup-simplify]: Simplify (+ 0 (- (/ z y))) into (- (/ z y)) 7.992 * [taylor]: Taking taylor expansion of (- (/ z y)) in z 7.992 * [taylor]: Taking taylor expansion of (/ z y) in z 7.992 * [taylor]: Taking taylor expansion of z in z 7.992 * [backup-simplify]: Simplify 0 into 0 7.992 * [backup-simplify]: Simplify 1 into 1 7.992 * [taylor]: Taking taylor expansion of y in z 7.992 * [backup-simplify]: Simplify y into y 7.992 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.993 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 7.993 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 7.993 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.993 * [taylor]: Taking taylor expansion of y in y 7.993 * [backup-simplify]: Simplify 0 into 0 7.993 * [backup-simplify]: Simplify 1 into 1 7.993 * [backup-simplify]: Simplify (/ 1 1) into 1 7.993 * [backup-simplify]: Simplify (- 1) into -1 7.993 * [backup-simplify]: Simplify -1 into -1 7.993 * [taylor]: Taking taylor expansion of 0 in y 7.993 * [backup-simplify]: Simplify 0 into 0 7.994 * [backup-simplify]: Simplify 1 into 1 7.995 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.995 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 7.995 * [backup-simplify]: Simplify (- 0) into 0 7.996 * [backup-simplify]: Simplify (+ 0 0) into 0 7.996 * [taylor]: Taking taylor expansion of 0 in z 7.996 * [backup-simplify]: Simplify 0 into 0 7.996 * [taylor]: Taking taylor expansion of 0 in y 7.996 * [backup-simplify]: Simplify 0 into 0 7.996 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 7.996 * [backup-simplify]: Simplify (- 0) into 0 7.996 * [taylor]: Taking taylor expansion of 0 in y 7.997 * [backup-simplify]: Simplify 0 into 0 7.997 * [taylor]: Taking taylor expansion of 0 in y 7.997 * [backup-simplify]: Simplify 0 into 0 7.998 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.998 * [backup-simplify]: Simplify (- 0) into 0 7.998 * [backup-simplify]: Simplify 0 into 0 7.998 * [backup-simplify]: Simplify 0 into 0 7.998 * [backup-simplify]: Simplify 0 into 0 8.000 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.000 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.001 * [backup-simplify]: Simplify (- 0) into 0 8.001 * [backup-simplify]: Simplify (+ 0 0) into 0 8.001 * [taylor]: Taking taylor expansion of 0 in z 8.001 * [backup-simplify]: Simplify 0 into 0 8.001 * [taylor]: Taking taylor expansion of 0 in y 8.001 * [backup-simplify]: Simplify 0 into 0 8.001 * [taylor]: Taking taylor expansion of 0 in y 8.001 * [backup-simplify]: Simplify 0 into 0 8.001 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.002 * [backup-simplify]: Simplify (- 0) into 0 8.002 * [taylor]: Taking taylor expansion of 0 in y 8.002 * [backup-simplify]: Simplify 0 into 0 8.002 * [taylor]: Taking taylor expansion of 0 in y 8.002 * [backup-simplify]: Simplify 0 into 0 8.002 * [backup-simplify]: Simplify 0 into 0 8.002 * [backup-simplify]: Simplify 0 into 0 8.002 * [backup-simplify]: Simplify 0 into 0 8.003 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (- z)) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (- z)) 1)))) into (- (/ x z) (/ y z)) 8.003 * * * [progress]: simplifying candidates 8.011 * [simplify]: Simplifying: (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))) (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))) (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (sqrt (/ y z)) (sqrt (/ y z))))) (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z)))) (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))) (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))) (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))) (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))) (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))) (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))) (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))) (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))) (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))) (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (/ (sqrt y) z) (/ (sqrt y) 1)))) (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1))) (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))) (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))) (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (/ y (sqrt z)) (/ 1 (sqrt z))))) (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z)))) (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (/ y z) (/ 1 1)))) (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1))) (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (/ y z) 1))) (fma (- (/ y z)) 1 (* (/ y z) 1)) (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (/ 1 z) y))) (fma (- (/ 1 z)) y (* (/ 1 z) y)) (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))) (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))) (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (sqrt (/ y z)) (sqrt (/ y z))))) (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z)))) (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))) (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))) (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))) (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))) (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))) (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))) (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))) (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))) (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))) (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (/ (sqrt y) z) (/ (sqrt y) 1)))) (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1))) (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))) (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))) (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (/ y (sqrt z)) (/ 1 (sqrt z))))) (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z)))) (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (/ y z) (/ 1 1)))) (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1))) (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (/ y z) 1))) (fma (- (/ y z)) 1 (* (/ y z) 1)) (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (/ 1 z) y))) (fma (- (/ 1 z)) y (* (/ 1 z) y)) (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))) (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))) (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (sqrt (/ y z)) (sqrt (/ y z))))) (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z)))) (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))) (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))) (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))) (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))) (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))) (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))) (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))) (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))) (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))) (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (/ (sqrt y) z) (/ (sqrt y) 1)))) (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1))) (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))) (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))) (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (/ y (sqrt z)) (/ 1 (sqrt z))))) (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z)))) (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (/ y z) (/ 1 1)))) (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1))) (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (/ y z) 1))) (fma (- (/ y z)) 1 (* (/ y z) 1)) (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (/ 1 z) y))) (fma (- (/ 1 z)) y (* (/ 1 z) y)) (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))) (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))) (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (sqrt (/ y z)) (sqrt (/ y z))))) (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z)))) (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))) (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))) (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))) (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))) (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))) (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))) (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))) (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))) (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))) (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (/ (sqrt y) z) (/ (sqrt y) 1)))) (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1))) (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))) (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))) (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (/ y (sqrt z)) (/ 1 (sqrt z))))) (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z)))) (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (/ y z) (/ 1 1)))) (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1))) (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (/ y z) 1))) (fma (- (/ y z)) 1 (* (/ y z) 1)) (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (/ 1 z) y))) (fma (- (/ 1 z)) y (* (/ 1 z) y)) (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))) (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))) (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (sqrt (/ y z)) (sqrt (/ y z))))) (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z)))) (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))) (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))) (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))) (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))) (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))) (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))) (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))) (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))) (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))) (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (/ (sqrt y) z) (/ (sqrt y) 1)))) (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1))) (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))) (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))) (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (/ y (sqrt z)) (/ 1 (sqrt z))))) (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z)))) (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (/ y z) (/ 1 1)))) (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1))) (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (/ y z) 1))) (fma (- (/ y z)) 1 (* (/ y z) 1)) (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (/ 1 z) y))) (fma (- (/ 1 z)) y (* (/ 1 z) y)) (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))) (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))) (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (sqrt (/ y z)) (sqrt (/ y z))))) (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z)))) (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))) (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))) (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))) (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))) (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))) (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))) (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))) (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))) (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))) (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (/ (sqrt y) z) (/ (sqrt y) 1)))) (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1))) (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))) (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))) (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (/ y (sqrt z)) (/ 1 (sqrt z))))) (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z)))) (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (/ y z) (/ 1 1)))) (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1))) (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (/ y z) 1))) (fma (- (/ y z)) 1 (* (/ y z) 1)) (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (/ 1 z) y))) (fma (- (/ 1 z)) y (* (/ 1 z) y)) (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))) (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))) (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (sqrt (/ y z)) (sqrt (/ y z))))) (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z)))) (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))) (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))) (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))) (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))) (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))) (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))) (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))) (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))) (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))) (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (/ (sqrt y) z) (/ (sqrt y) 1)))) (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1))) (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))) (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))) (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (/ y (sqrt z)) (/ 1 (sqrt z))))) (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z)))) (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (/ y z) (/ 1 1)))) (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1))) (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (/ y z) 1))) (fma (- (/ y z)) 1 (* (/ y z) 1)) (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (/ 1 z) y))) (fma (- (/ 1 z)) y (* (/ 1 z) y)) (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))) (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))) (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (sqrt (/ y z)) (sqrt (/ y z))))) (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z)))) (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))) (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))) (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))) (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))) (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))) (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))) (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))) (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))) (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))) (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (/ (sqrt y) z) (/ (sqrt y) 1)))) (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1))) (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))) (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))) (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (/ y (sqrt z)) (/ 1 (sqrt z))))) (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z)))) (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (/ y z) (/ 1 1)))) (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1))) (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (/ y z) 1))) (fma (- (/ y z)) 1 (* (/ y z) 1)) (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (/ 1 z) y))) (fma (- (/ 1 z)) y (* (/ 1 z) y)) (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))) (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))) (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (sqrt (/ y z)) (sqrt (/ y z))))) (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z)))) (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))) (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))) (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))) (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))) (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))) (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))) (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))) (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))) (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))) (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (/ (sqrt y) z) (/ (sqrt y) 1)))) (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1))) (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))) (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))) (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (/ y (sqrt z)) (/ 1 (sqrt z))))) (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z)))) (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (/ y z) (/ 1 1)))) (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1))) (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (/ y z) 1))) (fma (- (/ y z)) 1 (* (/ y z) 1)) (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (/ 1 z) y))) (fma (- (/ 1 z)) y (* (/ 1 z) y)) (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))) (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))) (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (sqrt (/ y z)) (sqrt (/ y z))))) (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z)))) (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))) (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))) (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))) (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))) (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))) (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))) (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))) (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))) (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))) (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (/ (sqrt y) z) (/ (sqrt y) 1)))) (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1))) (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))) (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))) (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (/ y (sqrt z)) (/ 1 (sqrt z))))) (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z)))) (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (/ y z) (/ 1 1)))) (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1))) (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (/ y z) 1))) (fma (- (/ y z)) 1 (* (/ y z) 1)) (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (/ 1 z) y))) (fma (- (/ 1 z)) y (* (/ 1 z) y)) (fma (/ 1 1) (/ x z) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))) (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))) (fma (/ 1 1) (/ x z) (- (* (sqrt (/ y z)) (sqrt (/ y z))))) (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z)))) (fma (/ 1 1) (/ x z) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))) (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (fma (/ 1 1) (/ x z) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))) (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))) (fma (/ 1 1) (/ x z) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))) (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))) (fma (/ 1 1) (/ x z) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))) (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))) (fma (/ 1 1) (/ x z) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))) (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))) (fma (/ 1 1) (/ x z) (- (* (/ (sqrt y) z) (/ (sqrt y) 1)))) (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1))) (fma (/ 1 1) (/ x z) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))) (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))) (fma (/ 1 1) (/ x z) (- (* (/ y (sqrt z)) (/ 1 (sqrt z))))) (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z)))) (fma (/ 1 1) (/ x z) (- (* (/ y z) (/ 1 1)))) (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1))) (fma (/ 1 1) (/ x z) (- (* (/ y z) 1))) (fma (- (/ y z)) 1 (* (/ y z) 1)) (fma (/ 1 1) (/ x z) (- (* (/ 1 z) y))) (fma (- (/ 1 z)) y (* (/ 1 z) y)) (fma 1 (/ x z) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))) (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))) (fma 1 (/ x z) (- (* (sqrt (/ y z)) (sqrt (/ y z))))) (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z)))) (fma 1 (/ x z) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))) (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (fma 1 (/ x z) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))) (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))) (fma 1 (/ x z) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))) (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))) (fma 1 (/ x z) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))) (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))) (fma 1 (/ x z) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))) (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))) (fma 1 (/ x z) (- (* (/ (sqrt y) z) (/ (sqrt y) 1)))) (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1))) (fma 1 (/ x z) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))) (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))) (fma 1 (/ x z) (- (* (/ y (sqrt z)) (/ 1 (sqrt z))))) (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z)))) (fma 1 (/ x z) (- (* (/ y z) (/ 1 1)))) (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1))) (fma 1 (/ x z) (- (* (/ y z) 1))) (fma (- (/ y z)) 1 (* (/ y z) 1)) (fma 1 (/ x z) (- (* (/ 1 z) y))) (fma (- (/ 1 z)) y (* (/ 1 z) y)) (fma x (/ 1 z) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))) (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))) (fma x (/ 1 z) (- (* (sqrt (/ y z)) (sqrt (/ y z))))) (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z)))) (fma x (/ 1 z) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))) (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (fma x (/ 1 z) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))) (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))) (fma x (/ 1 z) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))) (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))) (fma x (/ 1 z) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))) (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))) (fma x (/ 1 z) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))) (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))) (fma x (/ 1 z) (- (* (/ (sqrt y) z) (/ (sqrt y) 1)))) (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1))) (fma x (/ 1 z) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))) (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))) (fma x (/ 1 z) (- (* (/ y (sqrt z)) (/ 1 (sqrt z))))) (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z)))) (fma x (/ 1 z) (- (* (/ y z) (/ 1 1)))) (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1))) (fma x (/ 1 z) (- (* (/ y z) 1))) (fma (- (/ y z)) 1 (* (/ y z) 1)) (fma x (/ 1 z) (- (* (/ 1 z) y))) (fma (- (/ 1 z)) y (* (/ 1 z) y)) (expm1 (- (/ x z) (/ y z))) (log1p (- (/ x z) (/ y z))) (- (/ y z)) (- (/ y z)) (- (/ y z)) (- (/ y z)) (- (/ y z)) (- (/ y z)) (- (/ y z)) (- (/ y z)) (- (/ y z)) (- (/ y z)) (- (/ y z)) (- (/ y z)) (- (/ y z)) (/ (exp (/ x z)) (exp (/ y z))) (log (- (/ x z) (/ y z))) (exp (- (/ x z) (/ y z))) (* (cbrt (- (/ x z) (/ y z))) (cbrt (- (/ x z) (/ y z)))) (cbrt (- (/ x z) (/ y z))) (* (* (- (/ x z) (/ y z)) (- (/ x z) (/ y z))) (- (/ x z) (/ y z))) (sqrt (- (/ x z) (/ y z))) (sqrt (- (/ x z) (/ y z))) (- x y) (- (* x z) (* z y)) (* z z) (- (pow (/ x z) 3) (pow (/ y z) 3)) (+ (* (/ x z) (/ x z)) (+ (* (/ y z) (/ y z)) (* (/ x z) (/ y z)))) (- (/ y z)) (- (* (/ x z) (/ x z)) (* (/ y z) (/ y z))) (+ (/ x z) (/ y z)) (+ (sqrt (/ x z)) (sqrt (/ y z))) (- (sqrt (/ x z)) (sqrt (/ y z))) (+ (sqrt (/ x z)) (/ (sqrt y) (sqrt z))) (- (sqrt (/ x z)) (/ (sqrt y) (sqrt z))) (+ (/ (sqrt x) (sqrt z)) (sqrt (/ y z))) (- (/ (sqrt x) (sqrt z)) (sqrt (/ y z))) (+ (/ (sqrt x) (sqrt z)) (/ (sqrt y) (sqrt z))) (- (/ (sqrt x) (sqrt z)) (/ (sqrt y) (sqrt z))) (- (/ x (cbrt z)) (/ y (cbrt z))) (- (/ x (sqrt z)) (/ y (sqrt z))) (- (/ x z) (/ y z)) (- (/ x z) (/ y z)) (- x y) (- (/ y z)) (- (/ x z) (/ y z)) (- (/ x z) (/ y z)) (- (/ x z) (/ y z)) 8.024 * * [simplify]: iteration 0: 310 enodes 8.133 * * [simplify]: iteration 1: 705 enodes 8.318 * * [simplify]: iteration 2: 1590 enodes 9.383 * * [simplify]: iteration 3: 4291 enodes 10.240 * * [simplify]: iteration complete: 5000 enodes 10.240 * * [simplify]: Extracting #0: cost 53 inf + 0 10.242 * * [simplify]: Extracting #1: cost 403 inf + 0 10.247 * * [simplify]: Extracting #2: cost 709 inf + 6664 10.261 * * [simplify]: Extracting #3: cost 654 inf + 57253 10.309 * * [simplify]: Extracting #4: cost 38 inf + 184446 10.388 * * [simplify]: Extracting #5: cost 1 inf + 194003 10.449 * * [simplify]: Extracting #6: cost 0 inf + 194285 10.535 * [simplify]: Simplified to: (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))) (/ y z)) (* (/ y z) 0) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))) (/ y z)) (* (/ y z) 0) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))) (/ y z)) (* (/ y z) 0) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))) (/ y z)) (* (/ y z) 0) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))) (/ y z)) (* (/ y z) 0) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))) (/ y z)) (* (/ y z) 0) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ x z) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ x z) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ x z) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (* (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))) (/ (cbrt x) (cbrt z))) (/ y z)) (* (/ y z) 0) (- (* (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))) (/ (cbrt x) (cbrt z))) (/ y z)) (* (/ y z) 0) (- (* (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))) (/ (cbrt x) (cbrt z))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (* (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))) (/ (cbrt x) (cbrt z))) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (* (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))) (/ (cbrt x) (cbrt z))) (/ y z)) (* (/ y z) 0) (- (* (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))) (/ (cbrt x) (cbrt z))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (* (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))) (/ (cbrt x) (cbrt z))) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (* (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))) (/ (cbrt x) (cbrt z))) (/ y z)) (* (/ y z) 0) (- (* (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))) (/ (cbrt x) (cbrt z))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (* (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))) (/ (cbrt x) (cbrt z))) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (* (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))) (/ (cbrt x) (cbrt z))) (/ y z)) (* (/ y z) 0) (- (* (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))) (/ (cbrt x) (cbrt z))) (/ y z)) (* (/ y z) 0) (- (* (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))) (/ (cbrt x) (cbrt z))) (/ y z)) (* (/ y z) 0) (- (* (* (/ (cbrt x) (sqrt z)) (cbrt x)) (/ (cbrt x) (sqrt z))) (/ y z)) (* (/ y z) 0) (- (* (* (/ (cbrt x) (sqrt z)) (cbrt x)) (/ (cbrt x) (sqrt z))) (/ y z)) (* (/ y z) 0) (- (* (* (/ (cbrt x) (sqrt z)) (cbrt x)) (/ (cbrt x) (sqrt z))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (* (* (/ (cbrt x) (sqrt z)) (cbrt x)) (/ (cbrt x) (sqrt z))) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (* (* (/ (cbrt x) (sqrt z)) (cbrt x)) (/ (cbrt x) (sqrt z))) (/ y z)) (* (/ y z) 0) (- (* (* (/ (cbrt x) (sqrt z)) (cbrt x)) (/ (cbrt x) (sqrt z))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (* (* (/ (cbrt x) (sqrt z)) (cbrt x)) (/ (cbrt x) (sqrt z))) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (* (* (/ (cbrt x) (sqrt z)) (cbrt x)) (/ (cbrt x) (sqrt z))) (/ y z)) (* (/ y z) 0) (- (* (* (/ (cbrt x) (sqrt z)) (cbrt x)) (/ (cbrt x) (sqrt z))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (* (* (/ (cbrt x) (sqrt z)) (cbrt x)) (/ (cbrt x) (sqrt z))) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (* (* (/ (cbrt x) (sqrt z)) (cbrt x)) (/ (cbrt x) (sqrt z))) (/ y z)) (* (/ y z) 0) (- (* (* (/ (cbrt x) (sqrt z)) (cbrt x)) (/ (cbrt x) (sqrt z))) (/ y z)) (* (/ y z) 0) (- (* (* (/ (cbrt x) (sqrt z)) (cbrt x)) (/ (cbrt x) (sqrt z))) (/ y z)) (* (/ y z) 0) (- (* (/ (cbrt x) z) (* (cbrt x) (cbrt x))) (/ y z)) (* (/ y z) 0) (- (* (/ (cbrt x) z) (* (cbrt x) (cbrt x))) (/ y z)) (* (/ y z) 0) (- (* (/ (cbrt x) z) (* (cbrt x) (cbrt x))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (* (/ (cbrt x) z) (* (cbrt x) (cbrt x))) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (* (/ (cbrt x) z) (* (cbrt x) (cbrt x))) (/ y z)) (* (/ y z) 0) (- (* (/ (cbrt x) z) (* (cbrt x) (cbrt x))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (* (/ (cbrt x) z) (* (cbrt x) (cbrt x))) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (* (/ (cbrt x) z) (* (cbrt x) (cbrt x))) (/ y z)) (* (/ y z) 0) (- (* (/ (cbrt x) z) (* (cbrt x) (cbrt x))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (* (/ (cbrt x) z) (* (cbrt x) (cbrt x))) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (* (/ (cbrt x) z) (* (cbrt x) (cbrt x))) (/ y z)) (* (/ y z) 0) (- (* (/ (cbrt x) z) (* (cbrt x) (cbrt x))) (/ y z)) (* (/ y z) 0) (- (* (/ (cbrt x) z) (* (cbrt x) (cbrt x))) (/ y z)) (* (/ y z) 0) (- (/ (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (cbrt z))) (cbrt z)) (/ y z)) (* (/ y z) 0) (- (/ (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (cbrt z))) (cbrt z)) (/ y z)) (* (/ y z) 0) (- (/ (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (cbrt z))) (cbrt z)) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (cbrt z))) (cbrt z)) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (cbrt z))) (cbrt z)) (/ y z)) (* (/ y z) 0) (- (/ (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (cbrt z))) (cbrt z)) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (cbrt z))) (cbrt z)) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (cbrt z))) (cbrt z)) (/ y z)) (* (/ y z) 0) (- (/ (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (cbrt z))) (cbrt z)) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (cbrt z))) (cbrt z)) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (cbrt z))) (cbrt z)) (/ y z)) (* (/ y z) 0) (- (/ (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (cbrt z))) (cbrt z)) (/ y z)) (* (/ y z) 0) (- (/ (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (cbrt z))) (cbrt z)) (/ y z)) (* (/ y z) 0) (- (/ (/ x (sqrt z)) (sqrt z)) (/ y z)) (* (/ y z) 0) (- (/ (/ x (sqrt z)) (sqrt z)) (/ y z)) (* (/ y z) 0) (- (/ (/ x (sqrt z)) (sqrt z)) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ (/ x (sqrt z)) (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ (/ x (sqrt z)) (sqrt z)) (/ y z)) (* (/ y z) 0) (- (/ (/ x (sqrt z)) (sqrt z)) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ (/ x (sqrt z)) (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ (/ x (sqrt z)) (sqrt z)) (/ y z)) (* (/ y z) 0) (- (/ (/ x (sqrt z)) (sqrt z)) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ (/ x (sqrt z)) (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ (/ x (sqrt z)) (sqrt z)) (/ y z)) (* (/ y z) 0) (- (/ (/ x (sqrt z)) (sqrt z)) (/ y z)) (* (/ y z) 0) (- (/ (/ x (sqrt z)) (sqrt z)) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ x z) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ x z) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ x z) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ (/ x (* (cbrt z) (cbrt z))) (cbrt z)) (/ y z)) (* (/ y z) 0) (- (/ (/ x (* (cbrt z) (cbrt z))) (cbrt z)) (/ y z)) (* (/ y z) 0) (- (/ (/ x (* (cbrt z) (cbrt z))) (cbrt z)) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ (/ x (* (cbrt z) (cbrt z))) (cbrt z)) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ (/ x (* (cbrt z) (cbrt z))) (cbrt z)) (/ y z)) (* (/ y z) 0) (- (/ (/ x (* (cbrt z) (cbrt z))) (cbrt z)) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ (/ x (* (cbrt z) (cbrt z))) (cbrt z)) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ (/ x (* (cbrt z) (cbrt z))) (cbrt z)) (/ y z)) (* (/ y z) 0) (- (/ (/ x (* (cbrt z) (cbrt z))) (cbrt z)) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ (/ x (* (cbrt z) (cbrt z))) (cbrt z)) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ (/ x (* (cbrt z) (cbrt z))) (cbrt z)) (/ y z)) (* (/ y z) 0) (- (/ (/ x (* (cbrt z) (cbrt z))) (cbrt z)) (/ y z)) (* (/ y z) 0) (- (/ (/ x (* (cbrt z) (cbrt z))) (cbrt z)) (/ y z)) (* (/ y z) 0) (- (/ (/ x (sqrt z)) (sqrt z)) (/ y z)) (* (/ y z) 0) (- (/ (/ x (sqrt z)) (sqrt z)) (/ y z)) (* (/ y z) 0) (- (/ (/ x (sqrt z)) (sqrt z)) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ (/ x (sqrt z)) (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ (/ x (sqrt z)) (sqrt z)) (/ y z)) (* (/ y z) 0) (- (/ (/ x (sqrt z)) (sqrt z)) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ (/ x (sqrt z)) (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ (/ x (sqrt z)) (sqrt z)) (/ y z)) (* (/ y z) 0) (- (/ (/ x (sqrt z)) (sqrt z)) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ (/ x (sqrt z)) (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ (/ x (sqrt z)) (sqrt z)) (/ y z)) (* (/ y z) 0) (- (/ (/ x (sqrt z)) (sqrt z)) (/ y z)) (* (/ y z) 0) (- (/ (/ x (sqrt z)) (sqrt z)) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ x z) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ x z) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ x z) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ x z) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ x z) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ x z) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ x z) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ x z) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (+ (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))) (- (/ x z) (/ (/ y (sqrt z)) (sqrt z))) (fma (/ -1 (sqrt z)) (/ y (sqrt z)) (/ (/ y (sqrt z)) (sqrt z))) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ y z)) (* (/ y z) 0) (- (/ x z) (/ y z)) (* (/ y z) 0) (expm1 (- (/ x z) (/ y z))) (log1p (- (/ x z) (/ y z))) (- (/ y z)) (- (/ y z)) (- (/ y z)) (- (/ y z)) (- (/ y z)) (- (/ y z)) (- (/ y z)) (- (/ y z)) (- (/ y z)) (- (/ y z)) (- (/ y z)) (- (/ y z)) (- (/ y z)) (exp (- (/ x z) (/ y z))) (log (- (/ x z) (/ y z))) (exp (- (/ x z) (/ y z))) (* (cbrt (- (/ x z) (/ y z))) (cbrt (- (/ x z) (/ y z)))) (cbrt (- (/ x z) (/ y z))) (* (- (/ x z) (/ y z)) (* (- (/ x z) (/ y z)) (- (/ x z) (/ y z)))) (sqrt (- (/ x z) (/ y z))) (sqrt (- (/ x z) (/ y z))) (- x y) (* z (- x y)) (* z z) (- (* (/ x z) (* (/ x z) (/ x z))) (* (* (/ y z) (/ y z)) (/ y z))) (fma (+ (/ x z) (/ y z)) (/ y z) (* (/ x z) (/ x z))) (- (/ y z)) (- (* (/ x z) (/ x z)) (* (/ y z) (/ y z))) (+ (/ x z) (/ y z)) (+ (sqrt (/ x z)) (sqrt (/ y z))) (- (sqrt (/ x z)) (sqrt (/ y z))) (+ (/ (sqrt y) (sqrt z)) (sqrt (/ x z))) (- (sqrt (/ x z)) (/ (sqrt y) (sqrt z))) (+ (/ (sqrt x) (sqrt z)) (sqrt (/ y z))) (- (/ (sqrt x) (sqrt z)) (sqrt (/ y z))) (+ (/ (sqrt x) (sqrt z)) (/ (sqrt y) (sqrt z))) (- (/ (sqrt x) (sqrt z)) (/ (sqrt y) (sqrt z))) (- (/ x (cbrt z)) (/ y (cbrt z))) (- (/ x (sqrt z)) (/ y (sqrt z))) (- (/ x z) (/ y z)) (- (/ x z) (/ y z)) (- x y) (- (/ y z)) (- (/ x z) (/ y z)) (- (/ x z) (/ y z)) (- (/ x z) (/ y z)) 10.583 * * * [progress]: adding candidates to table 11.304 * [progress]: [Phase 3 of 3] Extracting. 11.304 * * [regime]: Finding splitpoints for: (# #) 11.305 * * * [regime-changes]: Trying 4 branch expressions: ((- x y) z y x) 11.305 * * * * [regimes]: Trying to branch on (- x y) from (# #) 11.360 * * * * [regimes]: Trying to branch on z from (# #) 11.417 * * * * [regimes]: Trying to branch on y from (# #) 11.474 * * * * [regimes]: Trying to branch on x from (# #) 11.518 * * * [regime]: Found split indices: #