23.701 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.016 * * * [progress]: [2/2] Setting up program. 0.018 * [progress]: [Phase 2 of 3] Improving. 0.019 * [simplify]: Simplifying using # : (/ (+ x (* y (- z x))) z) 0.019 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 0.020 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 0.022 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 0.024 * * [simplify]: iteration 3 : 31 enodes (cost 8 ) 0.028 * * [simplify]: iteration 4 : 46 enodes (cost 8 ) 0.035 * * [simplify]: iteration 5 : 65 enodes (cost 8 ) 0.044 * * [simplify]: iteration 6 : 88 enodes (cost 8 ) 0.059 * * [simplify]: iteration 7 : 125 enodes (cost 8 ) 0.089 * * [simplify]: iteration 8 : 189 enodes (cost 8 ) 0.121 * * [simplify]: iteration 9 : 274 enodes (cost 8 ) 0.211 * * [simplify]: iteration 10 : 417 enodes (cost 8 ) 0.342 * * [simplify]: iteration 11 : 871 enodes (cost 8 ) 4.333 * * [simplify]: iteration 12 : 4611 enodes (cost 8 ) 5.677 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 5.677 * [simplify]: Simplified to: (/ (fma (- z x) y x) z) 5.680 * * [progress]: iteration 1 / 4 5.680 * * * [progress]: picking best candidate 5.682 * * * * [pick]: Picked # 5.682 * * * [progress]: localizing error 5.692 * * * [progress]: generating rewritten candidates 5.692 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 5.695 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 5.696 * * * [progress]: generating series expansions 5.696 * * * * [progress]: [ 1 / 2 ] generating series at (2) 5.696 * [approximate]: Taking taylor expansion of (/ (fma (- z x) y x) z) in (z x y) around 0 5.696 * [taylor]: Taking taylor expansion of (/ (fma (- z x) y x) z) in y 5.696 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in y 5.696 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 5.696 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 5.697 * [taylor]: Taking taylor expansion of (- z x) in y 5.697 * [taylor]: Taking taylor expansion of z in y 5.697 * [taylor]: Taking taylor expansion of x in y 5.697 * [taylor]: Taking taylor expansion of y in y 5.697 * [taylor]: Taking taylor expansion of x in y 5.697 * [taylor]: Taking taylor expansion of z in y 5.697 * [taylor]: Taking taylor expansion of (/ (fma (- z x) y x) z) in x 5.697 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in x 5.697 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 5.697 * [taylor]: Taking taylor expansion of (* (- z x) y) in x 5.697 * [taylor]: Taking taylor expansion of (- z x) in x 5.697 * [taylor]: Taking taylor expansion of z in x 5.697 * [taylor]: Taking taylor expansion of x in x 5.697 * [taylor]: Taking taylor expansion of y in x 5.697 * [taylor]: Taking taylor expansion of x in x 5.697 * [taylor]: Taking taylor expansion of z in x 5.698 * [taylor]: Taking taylor expansion of (/ (fma (- z x) y x) z) in z 5.698 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 5.698 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 5.698 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 5.698 * [taylor]: Taking taylor expansion of (- z x) in z 5.698 * [taylor]: Taking taylor expansion of z in z 5.698 * [taylor]: Taking taylor expansion of x in z 5.698 * [taylor]: Taking taylor expansion of y in z 5.698 * [taylor]: Taking taylor expansion of x in z 5.698 * [taylor]: Taking taylor expansion of z in z 5.698 * [taylor]: Taking taylor expansion of (/ (fma (- z x) y x) z) in z 5.698 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 5.698 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 5.698 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 5.698 * [taylor]: Taking taylor expansion of (- z x) in z 5.698 * [taylor]: Taking taylor expansion of z in z 5.698 * [taylor]: Taking taylor expansion of x in z 5.698 * [taylor]: Taking taylor expansion of y in z 5.698 * [taylor]: Taking taylor expansion of x in z 5.698 * [taylor]: Taking taylor expansion of z in z 5.698 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 5.698 * [taylor]: Taking taylor expansion of x in x 5.699 * [taylor]: Taking taylor expansion of (* x y) in x 5.699 * [taylor]: Taking taylor expansion of x in x 5.699 * [taylor]: Taking taylor expansion of y in x 5.699 * [taylor]: Taking taylor expansion of 0 in y 5.700 * [taylor]: Taking taylor expansion of y in x 5.700 * [taylor]: Taking taylor expansion of y in y 5.701 * [taylor]: Taking taylor expansion of (- 1 y) in y 5.701 * [taylor]: Taking taylor expansion of 1 in y 5.701 * [taylor]: Taking taylor expansion of y in y 5.703 * [taylor]: Taking taylor expansion of 0 in x 5.703 * [taylor]: Taking taylor expansion of 0 in y 5.703 * [taylor]: Taking taylor expansion of 0 in y 5.704 * [taylor]: Taking taylor expansion of 0 in y 5.705 * [approximate]: Taking taylor expansion of (* z (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in (z x y) around 0 5.705 * [taylor]: Taking taylor expansion of (* z (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in y 5.706 * [taylor]: Taking taylor expansion of z in y 5.706 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in y 5.706 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 5.706 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in y 5.706 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 5.706 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.706 * [taylor]: Taking taylor expansion of z in y 5.706 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.706 * [taylor]: Taking taylor expansion of x in y 5.706 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.706 * [taylor]: Taking taylor expansion of y in y 5.706 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.706 * [taylor]: Taking taylor expansion of x in y 5.706 * [taylor]: Taking taylor expansion of (* z (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in x 5.706 * [taylor]: Taking taylor expansion of z in x 5.706 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in x 5.706 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 5.706 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in x 5.706 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 5.706 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.706 * [taylor]: Taking taylor expansion of z in x 5.706 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.706 * [taylor]: Taking taylor expansion of x in x 5.707 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.707 * [taylor]: Taking taylor expansion of y in x 5.707 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.707 * [taylor]: Taking taylor expansion of x in x 5.707 * [taylor]: Taking taylor expansion of (* z (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in z 5.707 * [taylor]: Taking taylor expansion of z in z 5.707 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 5.707 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 5.707 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 5.707 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 5.707 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.707 * [taylor]: Taking taylor expansion of z in z 5.708 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.708 * [taylor]: Taking taylor expansion of x in z 5.708 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.708 * [taylor]: Taking taylor expansion of y in z 5.708 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.708 * [taylor]: Taking taylor expansion of x in z 5.708 * [taylor]: Taking taylor expansion of (* z (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in z 5.708 * [taylor]: Taking taylor expansion of z in z 5.708 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 5.708 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 5.708 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 5.708 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 5.708 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.708 * [taylor]: Taking taylor expansion of z in z 5.708 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.708 * [taylor]: Taking taylor expansion of x in z 5.708 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.708 * [taylor]: Taking taylor expansion of y in z 5.708 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.708 * [taylor]: Taking taylor expansion of x in z 5.709 * [taylor]: Taking taylor expansion of 0 in x 5.710 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.710 * [taylor]: Taking taylor expansion of y in x 5.710 * [taylor]: Taking taylor expansion of 0 in y 5.712 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x y))) in x 5.712 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.712 * [taylor]: Taking taylor expansion of x in x 5.713 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.713 * [taylor]: Taking taylor expansion of (* x y) in x 5.713 * [taylor]: Taking taylor expansion of x in x 5.713 * [taylor]: Taking taylor expansion of y in x 5.713 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 5.713 * [taylor]: Taking taylor expansion of 1 in y 5.713 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.713 * [taylor]: Taking taylor expansion of y in y 5.714 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.714 * [taylor]: Taking taylor expansion of y in y 5.714 * [taylor]: Taking taylor expansion of 0 in y 5.717 * [taylor]: Taking taylor expansion of 0 in x 5.719 * [taylor]: Taking taylor expansion of 0 in y 5.719 * [taylor]: Taking taylor expansion of 0 in y 5.719 * [taylor]: Taking taylor expansion of 0 in y 5.721 * [approximate]: Taking taylor expansion of (* -1 (* z (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)))) in (z x y) around 0 5.721 * [taylor]: Taking taylor expansion of (* -1 (* z (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)))) in y 5.721 * [taylor]: Taking taylor expansion of -1 in y 5.721 * [taylor]: Taking taylor expansion of (* z (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in y 5.721 * [taylor]: Taking taylor expansion of z in y 5.721 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in y 5.721 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 5.721 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in y 5.721 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 5.721 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.721 * [taylor]: Taking taylor expansion of x in y 5.721 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.721 * [taylor]: Taking taylor expansion of z in y 5.721 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.721 * [taylor]: Taking taylor expansion of -1 in y 5.721 * [taylor]: Taking taylor expansion of y in y 5.722 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.722 * [taylor]: Taking taylor expansion of -1 in y 5.722 * [taylor]: Taking taylor expansion of x in y 5.722 * [taylor]: Taking taylor expansion of (* -1 (* z (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)))) in x 5.722 * [taylor]: Taking taylor expansion of -1 in x 5.722 * [taylor]: Taking taylor expansion of (* z (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in x 5.722 * [taylor]: Taking taylor expansion of z in x 5.722 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in x 5.722 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 5.722 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in x 5.722 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 5.722 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.722 * [taylor]: Taking taylor expansion of x in x 5.722 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.722 * [taylor]: Taking taylor expansion of z in x 5.722 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.722 * [taylor]: Taking taylor expansion of -1 in x 5.723 * [taylor]: Taking taylor expansion of y in x 5.723 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.723 * [taylor]: Taking taylor expansion of -1 in x 5.723 * [taylor]: Taking taylor expansion of x in x 5.723 * [taylor]: Taking taylor expansion of (* -1 (* z (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)))) in z 5.723 * [taylor]: Taking taylor expansion of -1 in z 5.723 * [taylor]: Taking taylor expansion of (* z (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in z 5.723 * [taylor]: Taking taylor expansion of z in z 5.723 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 5.723 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 5.723 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 5.723 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 5.723 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.723 * [taylor]: Taking taylor expansion of x in z 5.723 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.723 * [taylor]: Taking taylor expansion of z in z 5.723 * [taylor]: Taking taylor expansion of (/ -1 y) in z 5.724 * [taylor]: Taking taylor expansion of -1 in z 5.724 * [taylor]: Taking taylor expansion of y in z 5.724 * [taylor]: Taking taylor expansion of (/ -1 x) in z 5.724 * [taylor]: Taking taylor expansion of -1 in z 5.724 * [taylor]: Taking taylor expansion of x in z 5.724 * [taylor]: Taking taylor expansion of (* -1 (* z (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)))) in z 5.724 * [taylor]: Taking taylor expansion of -1 in z 5.724 * [taylor]: Taking taylor expansion of (* z (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in z 5.724 * [taylor]: Taking taylor expansion of z in z 5.724 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 5.724 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 5.724 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 5.724 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 5.724 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.724 * [taylor]: Taking taylor expansion of x in z 5.724 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.724 * [taylor]: Taking taylor expansion of z in z 5.724 * [taylor]: Taking taylor expansion of (/ -1 y) in z 5.724 * [taylor]: Taking taylor expansion of -1 in z 5.724 * [taylor]: Taking taylor expansion of y in z 5.724 * [taylor]: Taking taylor expansion of (/ -1 x) in z 5.724 * [taylor]: Taking taylor expansion of -1 in z 5.724 * [taylor]: Taking taylor expansion of x in z 5.725 * [taylor]: Taking taylor expansion of 0 in x 5.727 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 5.727 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.727 * [taylor]: Taking taylor expansion of y in x 5.727 * [taylor]: Taking taylor expansion of 0 in y 5.730 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 5.730 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.730 * [taylor]: Taking taylor expansion of x in x 5.730 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.730 * [taylor]: Taking taylor expansion of (* x y) in x 5.730 * [taylor]: Taking taylor expansion of x in x 5.730 * [taylor]: Taking taylor expansion of y in x 5.730 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 5.730 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.730 * [taylor]: Taking taylor expansion of y in y 5.731 * [taylor]: Taking taylor expansion of 1 in y 5.731 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 5.731 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.731 * [taylor]: Taking taylor expansion of y in y 5.731 * [taylor]: Taking taylor expansion of 0 in y 5.735 * [taylor]: Taking taylor expansion of 0 in x 5.736 * [taylor]: Taking taylor expansion of 0 in y 5.736 * [taylor]: Taking taylor expansion of 0 in y 5.736 * [taylor]: Taking taylor expansion of 0 in y 5.738 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 5.738 * [approximate]: Taking taylor expansion of (fma (- z x) y x) in (z x y) around 0 5.738 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in y 5.738 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 5.738 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 5.738 * [taylor]: Taking taylor expansion of (- z x) in y 5.738 * [taylor]: Taking taylor expansion of z in y 5.738 * [taylor]: Taking taylor expansion of x in y 5.738 * [taylor]: Taking taylor expansion of y in y 5.738 * [taylor]: Taking taylor expansion of x in y 5.738 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in x 5.738 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 5.738 * [taylor]: Taking taylor expansion of (* (- z x) y) in x 5.738 * [taylor]: Taking taylor expansion of (- z x) in x 5.738 * [taylor]: Taking taylor expansion of z in x 5.738 * [taylor]: Taking taylor expansion of x in x 5.738 * [taylor]: Taking taylor expansion of y in x 5.738 * [taylor]: Taking taylor expansion of x in x 5.738 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 5.738 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 5.738 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 5.739 * [taylor]: Taking taylor expansion of (- z x) in z 5.739 * [taylor]: Taking taylor expansion of z in z 5.739 * [taylor]: Taking taylor expansion of x in z 5.739 * [taylor]: Taking taylor expansion of y in z 5.739 * [taylor]: Taking taylor expansion of x in z 5.739 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 5.739 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 5.739 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 5.739 * [taylor]: Taking taylor expansion of (- z x) in z 5.739 * [taylor]: Taking taylor expansion of z in z 5.739 * [taylor]: Taking taylor expansion of x in z 5.739 * [taylor]: Taking taylor expansion of y in z 5.739 * [taylor]: Taking taylor expansion of x in z 5.739 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 5.739 * [taylor]: Taking taylor expansion of x in x 5.739 * [taylor]: Taking taylor expansion of (* x y) in x 5.739 * [taylor]: Taking taylor expansion of x in x 5.739 * [taylor]: Taking taylor expansion of y in x 5.740 * [taylor]: Taking taylor expansion of 0 in y 5.740 * [taylor]: Taking taylor expansion of y in x 5.740 * [taylor]: Taking taylor expansion of y in y 5.741 * [taylor]: Taking taylor expansion of (- 1 y) in y 5.741 * [taylor]: Taking taylor expansion of 1 in y 5.741 * [taylor]: Taking taylor expansion of y in y 5.742 * [taylor]: Taking taylor expansion of 0 in x 5.742 * [taylor]: Taking taylor expansion of 0 in y 5.742 * [taylor]: Taking taylor expansion of 0 in y 5.743 * [taylor]: Taking taylor expansion of 0 in y 5.744 * [approximate]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in (z x y) around 0 5.744 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in y 5.744 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 5.744 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in y 5.744 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 5.744 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.744 * [taylor]: Taking taylor expansion of z in y 5.744 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.745 * [taylor]: Taking taylor expansion of x in y 5.745 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.745 * [taylor]: Taking taylor expansion of y in y 5.745 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.745 * [taylor]: Taking taylor expansion of x in y 5.745 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in x 5.745 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 5.745 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in x 5.745 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 5.745 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.745 * [taylor]: Taking taylor expansion of z in x 5.745 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.745 * [taylor]: Taking taylor expansion of x in x 5.746 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.746 * [taylor]: Taking taylor expansion of y in x 5.746 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.746 * [taylor]: Taking taylor expansion of x in x 5.746 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 5.746 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 5.746 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 5.746 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 5.746 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.746 * [taylor]: Taking taylor expansion of z in z 5.747 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.747 * [taylor]: Taking taylor expansion of x in z 5.747 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.747 * [taylor]: Taking taylor expansion of y in z 5.747 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.747 * [taylor]: Taking taylor expansion of x in z 5.747 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 5.747 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 5.747 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 5.747 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 5.747 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.747 * [taylor]: Taking taylor expansion of z in z 5.747 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.747 * [taylor]: Taking taylor expansion of x in z 5.747 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.747 * [taylor]: Taking taylor expansion of y in z 5.747 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.747 * [taylor]: Taking taylor expansion of x in z 5.748 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.748 * [taylor]: Taking taylor expansion of y in x 5.749 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x y))) in x 5.749 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.749 * [taylor]: Taking taylor expansion of x in x 5.749 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.749 * [taylor]: Taking taylor expansion of (* x y) in x 5.749 * [taylor]: Taking taylor expansion of x in x 5.749 * [taylor]: Taking taylor expansion of y in x 5.749 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 5.750 * [taylor]: Taking taylor expansion of 1 in y 5.750 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.750 * [taylor]: Taking taylor expansion of y in y 5.751 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.751 * [taylor]: Taking taylor expansion of y in y 5.753 * [taylor]: Taking taylor expansion of 0 in x 5.754 * [taylor]: Taking taylor expansion of 0 in y 5.754 * [taylor]: Taking taylor expansion of 0 in y 5.756 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in (z x y) around 0 5.756 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in y 5.756 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 5.756 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in y 5.756 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 5.756 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.756 * [taylor]: Taking taylor expansion of x in y 5.756 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.756 * [taylor]: Taking taylor expansion of z in y 5.756 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.756 * [taylor]: Taking taylor expansion of -1 in y 5.756 * [taylor]: Taking taylor expansion of y in y 5.756 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.756 * [taylor]: Taking taylor expansion of -1 in y 5.756 * [taylor]: Taking taylor expansion of x in y 5.756 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in x 5.757 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 5.757 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in x 5.757 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 5.757 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.757 * [taylor]: Taking taylor expansion of x in x 5.757 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.757 * [taylor]: Taking taylor expansion of z in x 5.757 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.757 * [taylor]: Taking taylor expansion of -1 in x 5.757 * [taylor]: Taking taylor expansion of y in x 5.757 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.757 * [taylor]: Taking taylor expansion of -1 in x 5.757 * [taylor]: Taking taylor expansion of x in x 5.757 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 5.757 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 5.757 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 5.757 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 5.758 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.758 * [taylor]: Taking taylor expansion of x in z 5.758 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.758 * [taylor]: Taking taylor expansion of z in z 5.758 * [taylor]: Taking taylor expansion of (/ -1 y) in z 5.758 * [taylor]: Taking taylor expansion of -1 in z 5.758 * [taylor]: Taking taylor expansion of y in z 5.758 * [taylor]: Taking taylor expansion of (/ -1 x) in z 5.758 * [taylor]: Taking taylor expansion of -1 in z 5.758 * [taylor]: Taking taylor expansion of x in z 5.758 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 5.758 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 5.758 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 5.758 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 5.758 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.758 * [taylor]: Taking taylor expansion of x in z 5.758 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.758 * [taylor]: Taking taylor expansion of z in z 5.758 * [taylor]: Taking taylor expansion of (/ -1 y) in z 5.759 * [taylor]: Taking taylor expansion of -1 in z 5.759 * [taylor]: Taking taylor expansion of y in z 5.759 * [taylor]: Taking taylor expansion of (/ -1 x) in z 5.759 * [taylor]: Taking taylor expansion of -1 in z 5.759 * [taylor]: Taking taylor expansion of x in z 5.759 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.759 * [taylor]: Taking taylor expansion of y in x 5.760 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 (* x y)))) in x 5.761 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 5.761 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.761 * [taylor]: Taking taylor expansion of x in x 5.761 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.761 * [taylor]: Taking taylor expansion of (* x y) in x 5.761 * [taylor]: Taking taylor expansion of x in x 5.761 * [taylor]: Taking taylor expansion of y in x 5.761 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1)) in y 5.761 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 5.761 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.761 * [taylor]: Taking taylor expansion of y in y 5.762 * [taylor]: Taking taylor expansion of 1 in y 5.762 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.763 * [taylor]: Taking taylor expansion of y in y 5.765 * [taylor]: Taking taylor expansion of 0 in x 5.766 * [taylor]: Taking taylor expansion of 0 in y 5.766 * [taylor]: Taking taylor expansion of 0 in y 5.768 * * * [progress]: simplifying candidates 5.768 * [simplify]: Simplifying using # : (expm1 (/ (fma (- z x) y x) z)) (log1p (/ (fma (- z x) y x) z)) (- (log (fma (- z x) y x)) (log z)) (log (/ (fma (- z x) y x) z)) (exp (/ (fma (- z x) y x) z)) (/ (* (* (fma (- z x) y x) (fma (- z x) y x)) (fma (- z x) y x)) (* (* z z) z)) (* (cbrt (/ (fma (- z x) y x) z)) (cbrt (/ (fma (- z x) y x) z))) (cbrt (/ (fma (- z x) y x) z)) (* (* (/ (fma (- z x) y x) z) (/ (fma (- z x) y x) z)) (/ (fma (- z x) y x) z)) (sqrt (/ (fma (- z x) y x) z)) (sqrt (/ (fma (- z x) y x) z)) (- (fma (- z x) y x)) (- z) (/ (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))) (* (cbrt z) (cbrt z))) (/ (cbrt (fma (- z x) y x)) (cbrt z)) (/ (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))) (sqrt z)) (/ (cbrt (fma (- z x) y x)) (sqrt z)) (/ (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))) 1) (/ (cbrt (fma (- z x) y x)) z) (/ (sqrt (fma (- z x) y x)) (* (cbrt z) (cbrt z))) (/ (sqrt (fma (- z x) y x)) (cbrt z)) (/ (sqrt (fma (- z x) y x)) (sqrt z)) (/ (sqrt (fma (- z x) y x)) (sqrt z)) (/ (sqrt (fma (- z x) y x)) 1) (/ (sqrt (fma (- z x) y x)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (fma (- z x) y x) (cbrt z)) (/ 1 (sqrt z)) (/ (fma (- z x) y x) (sqrt z)) (/ 1 1) (/ (fma (- z x) y x) z) (/ 1 z) (/ z (fma (- z x) y x)) (/ (fma (- z x) y x) (* (cbrt z) (cbrt z))) (/ (fma (- z x) y x) (sqrt z)) (/ (fma (- z x) y x) 1) (/ z (cbrt (fma (- z x) y x))) (/ z (sqrt (fma (- z x) y x))) (/ z (fma (- z x) y x)) (expm1 (fma (- z x) y x)) (log1p (fma (- z x) y x)) (* (- z x) y) (log (fma (- z x) y x)) (exp (fma (- z x) y x)) (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))) (cbrt (fma (- z x) y x)) (* (* (fma (- z x) y x) (fma (- z x) y x)) (fma (- z x) y x)) (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)) (- (+ (/ x z) y) (/ (* x y) z)) (- (+ (/ x z) y) (/ (* x y) z)) (- (+ (/ x z) y) (/ (* x y) z)) (- (+ (* z y) x) (* x y)) (- (+ (* z y) x) (* x y)) (- (+ (* z y) x) (* x y)) 5.770 * * [simplify]: iteration 0 : 66 enodes (cost 554 ) 5.783 * * [simplify]: iteration 1 : 117 enodes (cost 542 ) 5.803 * * [simplify]: iteration 2 : 267 enodes (cost 492 ) 5.899 * * [simplify]: iteration 3 : 829 enodes (cost 492 ) 6.267 * * [simplify]: iteration 4 : 3079 enodes (cost 492 ) 7.248 * * [simplify]: iteration done : 5000 enodes (cost 492 ) 7.249 * [simplify]: Simplified to: (expm1 (/ (fma (- z x) y x) z)) (log1p (/ (fma (- z x) y x) z)) (log (/ (fma (- z x) y x) z)) (log (/ (fma (- z x) y x) z)) (exp (/ (fma (- z x) y x) z)) (pow (/ (fma (- z x) y x) z) 3) (* (cbrt (/ (fma (- z x) y x) z)) (cbrt (/ (fma (- z x) y x) z))) (cbrt (/ (fma (- z x) y x) z)) (pow (/ (fma (- z x) y x) z) 3) (sqrt (/ (fma (- z x) y x) z)) (sqrt (/ (fma (- z x) y x) z)) (- (fma (- z x) y x)) (- z) (/ (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))) (* (cbrt z) (cbrt z))) (/ (cbrt (fma (- z x) y x)) (cbrt z)) (/ (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))) (sqrt z)) (/ (cbrt (fma (- z x) y x)) (sqrt z)) (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))) (/ (cbrt (fma (- z x) y x)) z) (/ (sqrt (fma (- z x) y x)) (* (cbrt z) (cbrt z))) (/ (sqrt (fma (- z x) y x)) (cbrt z)) (/ (sqrt (fma (- z x) y x)) (sqrt z)) (/ (sqrt (fma (- z x) y x)) (sqrt z)) (sqrt (fma (- z x) y x)) (/ (sqrt (fma (- z x) y x)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (fma (- z x) y x) (cbrt z)) (/ 1 (sqrt z)) (/ (fma (- z x) y x) (sqrt z)) 1 (/ (fma (- z x) y x) z) (/ 1 z) (/ z (fma (- z x) y x)) (/ (fma (- z x) y x) (* (cbrt z) (cbrt z))) (/ (fma (- z x) y x) (sqrt z)) (fma y (- z x) x) (/ z (cbrt (fma (- z x) y x))) (/ z (sqrt (fma (- z x) y x))) (/ z (fma (- z x) y x)) (expm1 (fma (- z x) y x)) (log1p (fma (- z x) y x)) (* (- z x) y) (log (fma (- z x) y x)) (exp (fma (- z x) y x)) (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))) (cbrt (fma (- z x) y x)) (pow (fma y (- z x) x) 3) (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)) (- (+ (/ x z) y) (/ (* x y) z)) (- (+ (/ x z) y) (/ (* x y) z)) (- (+ (/ x z) y) (/ (* x y) z)) (fma y (- z x) x) (fma y (- z x) x) (fma y (- z x) x) 7.249 * * * [progress]: adding candidates to table 7.366 * * [progress]: iteration 2 / 4 7.366 * * * [progress]: picking best candidate 7.374 * * * * [pick]: Picked # 7.374 * * * [progress]: localizing error 7.382 * * * [progress]: generating rewritten candidates 7.382 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 7.385 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 7.468 * * * [progress]: generating series expansions 7.469 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 7.469 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0 7.469 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 7.469 * [taylor]: Taking taylor expansion of (* x y) in z 7.469 * [taylor]: Taking taylor expansion of x in z 7.469 * [taylor]: Taking taylor expansion of y in z 7.469 * [taylor]: Taking taylor expansion of z in z 7.469 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 7.469 * [taylor]: Taking taylor expansion of (* x y) in y 7.469 * [taylor]: Taking taylor expansion of x in y 7.469 * [taylor]: Taking taylor expansion of y in y 7.469 * [taylor]: Taking taylor expansion of z in y 7.470 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 7.470 * [taylor]: Taking taylor expansion of (* x y) in x 7.470 * [taylor]: Taking taylor expansion of x in x 7.470 * [taylor]: Taking taylor expansion of y in x 7.470 * [taylor]: Taking taylor expansion of z in x 7.470 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 7.470 * [taylor]: Taking taylor expansion of (* x y) in x 7.470 * [taylor]: Taking taylor expansion of x in x 7.470 * [taylor]: Taking taylor expansion of y in x 7.470 * [taylor]: Taking taylor expansion of z in x 7.470 * [taylor]: Taking taylor expansion of (/ y z) in y 7.470 * [taylor]: Taking taylor expansion of y in y 7.470 * [taylor]: Taking taylor expansion of z in y 7.470 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.471 * [taylor]: Taking taylor expansion of z in z 7.471 * [taylor]: Taking taylor expansion of 0 in y 7.471 * [taylor]: Taking taylor expansion of 0 in z 7.472 * [taylor]: Taking taylor expansion of 0 in z 7.473 * [taylor]: Taking taylor expansion of 0 in y 7.473 * [taylor]: Taking taylor expansion of 0 in z 7.473 * [taylor]: Taking taylor expansion of 0 in z 7.473 * [taylor]: Taking taylor expansion of 0 in z 7.475 * [taylor]: Taking taylor expansion of 0 in y 7.475 * [taylor]: Taking taylor expansion of 0 in z 7.475 * [taylor]: Taking taylor expansion of 0 in z 7.475 * [taylor]: Taking taylor expansion of 0 in z 7.475 * [taylor]: Taking taylor expansion of 0 in z 7.475 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0 7.475 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 7.476 * [taylor]: Taking taylor expansion of z in z 7.476 * [taylor]: Taking taylor expansion of (* x y) in z 7.476 * [taylor]: Taking taylor expansion of x in z 7.476 * [taylor]: Taking taylor expansion of y in z 7.476 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 7.476 * [taylor]: Taking taylor expansion of z in y 7.476 * [taylor]: Taking taylor expansion of (* x y) in y 7.476 * [taylor]: Taking taylor expansion of x in y 7.476 * [taylor]: Taking taylor expansion of y in y 7.476 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 7.476 * [taylor]: Taking taylor expansion of z in x 7.476 * [taylor]: Taking taylor expansion of (* x y) in x 7.476 * [taylor]: Taking taylor expansion of x in x 7.476 * [taylor]: Taking taylor expansion of y in x 7.476 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 7.476 * [taylor]: Taking taylor expansion of z in x 7.477 * [taylor]: Taking taylor expansion of (* x y) in x 7.477 * [taylor]: Taking taylor expansion of x in x 7.477 * [taylor]: Taking taylor expansion of y in x 7.477 * [taylor]: Taking taylor expansion of (/ z y) in y 7.477 * [taylor]: Taking taylor expansion of z in y 7.477 * [taylor]: Taking taylor expansion of y in y 7.477 * [taylor]: Taking taylor expansion of z in z 7.478 * [taylor]: Taking taylor expansion of 0 in y 7.478 * [taylor]: Taking taylor expansion of 0 in z 7.479 * [taylor]: Taking taylor expansion of 0 in y 7.479 * [taylor]: Taking taylor expansion of 0 in z 7.480 * [taylor]: Taking taylor expansion of 0 in z 7.480 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0 7.480 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 7.480 * [taylor]: Taking taylor expansion of -1 in z 7.480 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 7.480 * [taylor]: Taking taylor expansion of z in z 7.480 * [taylor]: Taking taylor expansion of (* x y) in z 7.480 * [taylor]: Taking taylor expansion of x in z 7.480 * [taylor]: Taking taylor expansion of y in z 7.480 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 7.480 * [taylor]: Taking taylor expansion of -1 in y 7.481 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 7.481 * [taylor]: Taking taylor expansion of z in y 7.481 * [taylor]: Taking taylor expansion of (* x y) in y 7.481 * [taylor]: Taking taylor expansion of x in y 7.481 * [taylor]: Taking taylor expansion of y in y 7.481 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 7.481 * [taylor]: Taking taylor expansion of -1 in x 7.481 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 7.481 * [taylor]: Taking taylor expansion of z in x 7.481 * [taylor]: Taking taylor expansion of (* x y) in x 7.481 * [taylor]: Taking taylor expansion of x in x 7.481 * [taylor]: Taking taylor expansion of y in x 7.482 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 7.482 * [taylor]: Taking taylor expansion of -1 in x 7.482 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 7.482 * [taylor]: Taking taylor expansion of z in x 7.482 * [taylor]: Taking taylor expansion of (* x y) in x 7.482 * [taylor]: Taking taylor expansion of x in x 7.482 * [taylor]: Taking taylor expansion of y in x 7.482 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y 7.482 * [taylor]: Taking taylor expansion of -1 in y 7.482 * [taylor]: Taking taylor expansion of (/ z y) in y 7.482 * [taylor]: Taking taylor expansion of z in y 7.482 * [taylor]: Taking taylor expansion of y in y 7.482 * [taylor]: Taking taylor expansion of (* -1 z) in z 7.482 * [taylor]: Taking taylor expansion of -1 in z 7.482 * [taylor]: Taking taylor expansion of z in z 7.484 * [taylor]: Taking taylor expansion of 0 in y 7.485 * [taylor]: Taking taylor expansion of 0 in z 7.486 * [taylor]: Taking taylor expansion of 0 in y 7.487 * [taylor]: Taking taylor expansion of 0 in z 7.488 * [taylor]: Taking taylor expansion of 0 in z 7.489 * * * * [progress]: [ 2 / 2 ] generating series at (2) 7.489 * [approximate]: Taking taylor expansion of (- (+ (/ x z) y) (/ (* x y) z)) in (x z y) around 0 7.489 * [taylor]: Taking taylor expansion of (- (+ (/ x z) y) (/ (* x y) z)) in y 7.489 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in y 7.489 * [taylor]: Taking taylor expansion of (/ x z) in y 7.489 * [taylor]: Taking taylor expansion of x in y 7.489 * [taylor]: Taking taylor expansion of z in y 7.489 * [taylor]: Taking taylor expansion of y in y 7.489 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 7.489 * [taylor]: Taking taylor expansion of (* x y) in y 7.489 * [taylor]: Taking taylor expansion of x in y 7.489 * [taylor]: Taking taylor expansion of y in y 7.489 * [taylor]: Taking taylor expansion of z in y 7.490 * [taylor]: Taking taylor expansion of (- (+ (/ x z) y) (/ (* x y) z)) in z 7.490 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in z 7.490 * [taylor]: Taking taylor expansion of (/ x z) in z 7.490 * [taylor]: Taking taylor expansion of x in z 7.490 * [taylor]: Taking taylor expansion of z in z 7.490 * [taylor]: Taking taylor expansion of y in z 7.490 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 7.490 * [taylor]: Taking taylor expansion of (* x y) in z 7.490 * [taylor]: Taking taylor expansion of x in z 7.490 * [taylor]: Taking taylor expansion of y in z 7.490 * [taylor]: Taking taylor expansion of z in z 7.490 * [taylor]: Taking taylor expansion of (- (+ (/ x z) y) (/ (* x y) z)) in x 7.490 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in x 7.490 * [taylor]: Taking taylor expansion of (/ x z) in x 7.490 * [taylor]: Taking taylor expansion of x in x 7.490 * [taylor]: Taking taylor expansion of z in x 7.490 * [taylor]: Taking taylor expansion of y in x 7.490 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 7.490 * [taylor]: Taking taylor expansion of (* x y) in x 7.490 * [taylor]: Taking taylor expansion of x in x 7.490 * [taylor]: Taking taylor expansion of y in x 7.490 * [taylor]: Taking taylor expansion of z in x 7.490 * [taylor]: Taking taylor expansion of (- (+ (/ x z) y) (/ (* x y) z)) in x 7.490 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in x 7.490 * [taylor]: Taking taylor expansion of (/ x z) in x 7.490 * [taylor]: Taking taylor expansion of x in x 7.490 * [taylor]: Taking taylor expansion of z in x 7.490 * [taylor]: Taking taylor expansion of y in x 7.490 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 7.491 * [taylor]: Taking taylor expansion of (* x y) in x 7.491 * [taylor]: Taking taylor expansion of x in x 7.491 * [taylor]: Taking taylor expansion of y in x 7.491 * [taylor]: Taking taylor expansion of z in x 7.491 * [taylor]: Taking taylor expansion of y in z 7.491 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ y z)) in z 7.491 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.491 * [taylor]: Taking taylor expansion of z in z 7.491 * [taylor]: Taking taylor expansion of (/ y z) in z 7.491 * [taylor]: Taking taylor expansion of y in z 7.491 * [taylor]: Taking taylor expansion of z in z 7.492 * [taylor]: Taking taylor expansion of (- 1 y) in y 7.492 * [taylor]: Taking taylor expansion of 1 in y 7.492 * [taylor]: Taking taylor expansion of y in y 7.492 * [taylor]: Taking taylor expansion of y in y 7.493 * [taylor]: Taking taylor expansion of 0 in z 7.495 * [taylor]: Taking taylor expansion of 0 in y 7.495 * [taylor]: Taking taylor expansion of 0 in y 7.496 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ z x)) (/ z (* x y))) in (x z y) around 0 7.496 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ z x)) (/ z (* x y))) in y 7.496 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in y 7.496 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.496 * [taylor]: Taking taylor expansion of y in y 7.497 * [taylor]: Taking taylor expansion of (/ z x) in y 7.497 * [taylor]: Taking taylor expansion of z in y 7.497 * [taylor]: Taking taylor expansion of x in y 7.497 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 7.497 * [taylor]: Taking taylor expansion of z in y 7.497 * [taylor]: Taking taylor expansion of (* x y) in y 7.497 * [taylor]: Taking taylor expansion of x in y 7.497 * [taylor]: Taking taylor expansion of y in y 7.497 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ z x)) (/ z (* x y))) in z 7.497 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in z 7.497 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.497 * [taylor]: Taking taylor expansion of y in z 7.497 * [taylor]: Taking taylor expansion of (/ z x) in z 7.497 * [taylor]: Taking taylor expansion of z in z 7.497 * [taylor]: Taking taylor expansion of x in z 7.497 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 7.497 * [taylor]: Taking taylor expansion of z in z 7.497 * [taylor]: Taking taylor expansion of (* x y) in z 7.497 * [taylor]: Taking taylor expansion of x in z 7.497 * [taylor]: Taking taylor expansion of y in z 7.497 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ z x)) (/ z (* x y))) in x 7.497 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in x 7.497 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.497 * [taylor]: Taking taylor expansion of y in x 7.497 * [taylor]: Taking taylor expansion of (/ z x) in x 7.497 * [taylor]: Taking taylor expansion of z in x 7.497 * [taylor]: Taking taylor expansion of x in x 7.497 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 7.497 * [taylor]: Taking taylor expansion of z in x 7.497 * [taylor]: Taking taylor expansion of (* x y) in x 7.497 * [taylor]: Taking taylor expansion of x in x 7.498 * [taylor]: Taking taylor expansion of y in x 7.498 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ z x)) (/ z (* x y))) in x 7.498 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in x 7.498 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.498 * [taylor]: Taking taylor expansion of y in x 7.498 * [taylor]: Taking taylor expansion of (/ z x) in x 7.498 * [taylor]: Taking taylor expansion of z in x 7.498 * [taylor]: Taking taylor expansion of x in x 7.498 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 7.498 * [taylor]: Taking taylor expansion of z in x 7.498 * [taylor]: Taking taylor expansion of (* x y) in x 7.498 * [taylor]: Taking taylor expansion of x in x 7.498 * [taylor]: Taking taylor expansion of y in x 7.499 * [taylor]: Taking taylor expansion of (- z (/ z y)) in z 7.499 * [taylor]: Taking taylor expansion of z in z 7.499 * [taylor]: Taking taylor expansion of (/ z y) in z 7.499 * [taylor]: Taking taylor expansion of z in z 7.499 * [taylor]: Taking taylor expansion of y in z 7.499 * [taylor]: Taking taylor expansion of 0 in y 7.500 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.500 * [taylor]: Taking taylor expansion of y in z 7.501 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.501 * [taylor]: Taking taylor expansion of y in y 7.501 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 7.501 * [taylor]: Taking taylor expansion of 1 in y 7.501 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.501 * [taylor]: Taking taylor expansion of y in y 7.508 * [taylor]: Taking taylor expansion of 0 in z 7.508 * [taylor]: Taking taylor expansion of 0 in y 7.508 * [taylor]: Taking taylor expansion of 0 in y 7.508 * [taylor]: Taking taylor expansion of 0 in y 7.511 * [approximate]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ z x)) (/ 1 y)) in (x z y) around 0 7.511 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ z x)) (/ 1 y)) in y 7.511 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ z x)) in y 7.511 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 7.511 * [taylor]: Taking taylor expansion of z in y 7.511 * [taylor]: Taking taylor expansion of (* x y) in y 7.511 * [taylor]: Taking taylor expansion of x in y 7.511 * [taylor]: Taking taylor expansion of y in y 7.511 * [taylor]: Taking taylor expansion of (/ z x) in y 7.511 * [taylor]: Taking taylor expansion of z in y 7.511 * [taylor]: Taking taylor expansion of x in y 7.511 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.511 * [taylor]: Taking taylor expansion of y in y 7.512 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ z x)) (/ 1 y)) in z 7.512 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ z x)) in z 7.512 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 7.512 * [taylor]: Taking taylor expansion of z in z 7.512 * [taylor]: Taking taylor expansion of (* x y) in z 7.512 * [taylor]: Taking taylor expansion of x in z 7.512 * [taylor]: Taking taylor expansion of y in z 7.512 * [taylor]: Taking taylor expansion of (/ z x) in z 7.512 * [taylor]: Taking taylor expansion of z in z 7.512 * [taylor]: Taking taylor expansion of x in z 7.512 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.512 * [taylor]: Taking taylor expansion of y in z 7.512 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ z x)) (/ 1 y)) in x 7.512 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ z x)) in x 7.512 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 7.512 * [taylor]: Taking taylor expansion of z in x 7.512 * [taylor]: Taking taylor expansion of (* x y) in x 7.512 * [taylor]: Taking taylor expansion of x in x 7.512 * [taylor]: Taking taylor expansion of y in x 7.512 * [taylor]: Taking taylor expansion of (/ z x) in x 7.512 * [taylor]: Taking taylor expansion of z in x 7.512 * [taylor]: Taking taylor expansion of x in x 7.512 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.512 * [taylor]: Taking taylor expansion of y in x 7.512 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ z x)) (/ 1 y)) in x 7.512 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ z x)) in x 7.513 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 7.513 * [taylor]: Taking taylor expansion of z in x 7.513 * [taylor]: Taking taylor expansion of (* x y) in x 7.513 * [taylor]: Taking taylor expansion of x in x 7.513 * [taylor]: Taking taylor expansion of y in x 7.513 * [taylor]: Taking taylor expansion of (/ z x) in x 7.513 * [taylor]: Taking taylor expansion of z in x 7.513 * [taylor]: Taking taylor expansion of x in x 7.513 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.513 * [taylor]: Taking taylor expansion of y in x 7.513 * [taylor]: Taking taylor expansion of (+ z (/ z y)) in z 7.513 * [taylor]: Taking taylor expansion of z in z 7.513 * [taylor]: Taking taylor expansion of (/ z y) in z 7.513 * [taylor]: Taking taylor expansion of z in z 7.513 * [taylor]: Taking taylor expansion of y in z 7.514 * [taylor]: Taking taylor expansion of 0 in y 7.515 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in z 7.515 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.515 * [taylor]: Taking taylor expansion of y in z 7.515 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 7.515 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.515 * [taylor]: Taking taylor expansion of y in y 7.516 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 7.516 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.516 * [taylor]: Taking taylor expansion of y in y 7.516 * [taylor]: Taking taylor expansion of 1 in y 7.519 * [taylor]: Taking taylor expansion of 0 in z 7.519 * [taylor]: Taking taylor expansion of 0 in y 7.519 * [taylor]: Taking taylor expansion of 0 in y 7.519 * [taylor]: Taking taylor expansion of 0 in y 7.521 * * * [progress]: simplifying candidates 7.523 * [simplify]: Simplifying using # : (expm1 (/ (* x y) z)) (log1p (/ (* x y) z)) (- (+ (log x) (log y)) (log z)) (- (log (* x y)) (log z)) (log (/ (* x y) z)) (exp (/ (* x y) z)) (/ (* (* (* x x) x) (* (* y y) y)) (* (* z z) 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 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (/ x (sqrt z)) (/ y (sqrt z)) (/ x 1) (/ y z) (/ 1 z) (/ z (* x y)) (/ (* x y) (* (cbrt z) (cbrt z))) (/ (* x y) (sqrt z)) (/ (* x y) 1) (/ z y) (fma (* (cbrt (+ (/ x z) y)) (cbrt (+ (/ x z) y))) (cbrt (+ (/ x z) y)) (- (* (cbrt (/ (* x y) z)) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z)))))) (fma (- (cbrt (/ (* x y) z))) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (* (cbrt (/ (* x y) z)) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))))) (fma (* (cbrt (+ (/ x z) y)) (cbrt (+ (/ x z) y))) (cbrt (+ (/ x z) y)) (- (* (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z))))) (fma (- (sqrt (/ (* x y) z))) (sqrt (/ (* x y) z)) (* (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z)))) (fma (* (cbrt (+ (/ x z) y)) (cbrt (+ (/ x z) y))) (cbrt (+ (/ x z) y)) (- (* (/ y (cbrt z)) (/ x (* (cbrt z) (cbrt z)))))) (fma (- (/ y (cbrt z))) (/ x (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ x (* (cbrt z) (cbrt z))))) (fma (* (cbrt (+ (/ x z) y)) (cbrt (+ (/ x z) y))) (cbrt (+ (/ x z) y)) (- (* (/ y (sqrt z)) (/ x (sqrt z))))) (fma (- (/ y (sqrt z))) (/ x (sqrt z)) (* (/ y (sqrt z)) (/ x (sqrt z)))) (fma (* (cbrt (+ (/ x z) y)) (cbrt (+ (/ x z) y))) (cbrt (+ (/ x z) y)) (- (* (/ y z) (/ x 1)))) (fma (- (/ y z)) (/ x 1) (* (/ y z) (/ x 1))) (fma (* (cbrt (+ (/ x z) y)) (cbrt (+ (/ x z) y))) (cbrt (+ (/ x z) y)) (- (* (/ (* x y) z) 1))) (fma (- (/ (* x y) z)) 1 (* (/ (* x y) z) 1)) (fma (* (cbrt (+ (/ x z) y)) (cbrt (+ (/ x z) y))) (cbrt (+ (/ x z) y)) (- (* (/ 1 z) (* x y)))) (fma (- (/ 1 z)) (* x y) (* (/ 1 z) (* x y))) (fma (sqrt (+ (/ x z) y)) (sqrt (+ (/ x z) y)) (- (* (cbrt (/ (* x y) z)) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z)))))) (fma (- (cbrt (/ (* x y) z))) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (* (cbrt (/ (* x y) z)) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))))) (fma (sqrt (+ (/ x z) y)) (sqrt (+ (/ x z) y)) (- (* (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z))))) (fma (- (sqrt (/ (* x y) z))) (sqrt (/ (* x y) z)) (* (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z)))) (fma (sqrt (+ (/ x z) y)) (sqrt (+ (/ x z) y)) (- (* (/ y (cbrt z)) (/ x (* (cbrt z) (cbrt z)))))) (fma (- (/ y (cbrt z))) (/ x (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ x (* (cbrt z) (cbrt z))))) (fma (sqrt (+ (/ x z) y)) (sqrt (+ (/ x z) y)) (- (* (/ y (sqrt z)) (/ x (sqrt z))))) (fma (- (/ y (sqrt z))) (/ x (sqrt z)) (* (/ y (sqrt z)) (/ x (sqrt z)))) (fma (sqrt (+ (/ x z) y)) (sqrt (+ (/ x z) y)) (- (* (/ y z) (/ x 1)))) (fma (- (/ y z)) (/ x 1) (* (/ y z) (/ x 1))) (fma (sqrt (+ (/ x z) y)) (sqrt (+ (/ x z) y)) (- (* (/ (* x y) z) 1))) (fma (- (/ (* x y) z)) 1 (* (/ (* x y) z) 1)) (fma (sqrt (+ (/ x z) y)) (sqrt (+ (/ x z) y)) (- (* (/ 1 z) (* x y)))) (fma (- (/ 1 z)) (* x y) (* (/ 1 z) (* x y))) (fma 1 (+ (/ x z) y) (- (* (cbrt (/ (* x y) z)) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z)))))) (fma (- (cbrt (/ (* x y) z))) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (* (cbrt (/ (* x y) z)) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))))) (fma 1 (+ (/ x z) y) (- (* (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z))))) (fma (- (sqrt (/ (* x y) z))) (sqrt (/ (* x y) z)) (* (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z)))) (fma 1 (+ (/ x z) y) (- (* (/ y (cbrt z)) (/ x (* (cbrt z) (cbrt z)))))) (fma (- (/ y (cbrt z))) (/ x (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ x (* (cbrt z) (cbrt z))))) (fma 1 (+ (/ x z) y) (- (* (/ y (sqrt z)) (/ x (sqrt z))))) (fma (- (/ y (sqrt z))) (/ x (sqrt z)) (* (/ y (sqrt z)) (/ x (sqrt z)))) (fma 1 (+ (/ x z) y) (- (* (/ y z) (/ x 1)))) (fma (- (/ y z)) (/ x 1) (* (/ y z) (/ x 1))) (fma 1 (+ (/ x z) y) (- (* (/ (* x y) z) 1))) (fma (- (/ (* x y) z)) 1 (* (/ (* x y) z) 1)) (fma 1 (+ (/ x z) y) (- (* (/ 1 z) (* x y)))) (fma (- (/ 1 z)) (* x y) (* (/ 1 z) (* x y))) (fma 1 (+ (/ x z) y) (- (* (cbrt (/ (* x y) z)) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z)))))) (fma (- (cbrt (/ (* x y) z))) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (* (cbrt (/ (* x y) z)) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))))) (fma 1 (+ (/ x z) y) (- (* (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z))))) (fma (- (sqrt (/ (* x y) z))) (sqrt (/ (* x y) z)) (* (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z)))) (fma 1 (+ (/ x z) y) (- (* (/ y (cbrt z)) (/ x (* (cbrt z) (cbrt z)))))) (fma (- (/ y (cbrt z))) (/ x (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ x (* (cbrt z) (cbrt z))))) (fma 1 (+ (/ x z) y) (- (* (/ y (sqrt z)) (/ x (sqrt z))))) (fma (- (/ y (sqrt z))) (/ x (sqrt z)) (* (/ y (sqrt z)) (/ x (sqrt z)))) (fma 1 (+ (/ x z) y) (- (* (/ y z) (/ x 1)))) (fma (- (/ y z)) (/ x 1) (* (/ y z) (/ x 1))) (fma 1 (+ (/ x z) y) (- (* (/ (* x y) z) 1))) (fma (- (/ (* x y) z)) 1 (* (/ (* x y) z) 1)) (fma 1 (+ (/ x z) y) (- (* (/ 1 z) (* x y)))) (fma (- (/ 1 z)) (* x y) (* (/ 1 z) (* x y))) (expm1 (- (+ (/ x z) y) (/ (* x y) z))) (log1p (- (+ (/ x z) y) (/ (* x y) z))) (- (/ (* x y) z)) (- (/ (* x y) z)) (- (/ (* x y) z)) (- (/ (* x y) z)) (/ (* (exp (/ x z)) (exp y)) (exp (/ (* x y) z))) (/ (exp (+ (/ x z) y)) (exp (/ (* x y) z))) (log (- (+ (/ x z) y) (/ (* x y) z))) (exp (- (+ (/ x z) y) (/ (* x y) z))) (* (cbrt (- (+ (/ x z) y) (/ (* x y) z))) (cbrt (- (+ (/ x z) y) (/ (* x y) z)))) (cbrt (- (+ (/ x z) y) (/ (* x y) z))) (* (* (- (+ (/ x z) y) (/ (* x y) z)) (- (+ (/ x z) y) (/ (* x y) z))) (- (+ (/ x z) y) (/ (* x y) z))) (sqrt (- (+ (/ x z) y) (/ (* x y) z))) (sqrt (- (+ (/ x z) y) (/ (* x y) z))) (- (* (+ (pow (/ x z) 3) (pow y 3)) z) (* (+ (* (/ x z) (/ x z)) (- (* y y) (* (/ x z) y))) (* x y))) (* (+ (* (/ x z) (/ x z)) (- (* y y) (* (/ x z) y))) z) (- (* (- (* (/ x z) (/ x z)) (* y y)) z) (* (- (/ x z) y) (* x y))) (* (- (/ x z) y) z) (- (pow (+ (/ x z) y) 3) (pow (/ (* x y) z) 3)) (+ (* (+ (/ x z) y) (+ (/ x z) y)) (+ (* (/ (* x y) z) (/ (* x y) z)) (* (+ (/ x z) y) (/ (* x y) z)))) (- (/ (* x y) z)) (- (* (+ (/ x z) y) (+ (/ x z) y)) (* (/ (* x y) z) (/ (* x y) z))) (+ (+ (/ x z) y) (/ (* x y) z)) (+ (sqrt (+ (/ x z) y)) (sqrt (/ (* x y) z))) (- (sqrt (+ (/ x z) y)) (sqrt (/ (* x y) z))) (- (+ (/ x z) y) (/ (* x y) z)) (- (+ (/ x z) y) (/ (* x y) z)) (- y (/ (* x y) z)) (- (/ (* x y) z)) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) (- (+ (/ x z) y) (/ (* x y) z)) (- (+ (/ x z) y) (/ (* x y) z)) (- (+ (/ x z) y) (/ (* x y) z)) 7.528 * * [simplify]: iteration 0 : 150 enodes (cost 1944 ) 7.556 * * [simplify]: iteration 1 : 377 enodes (cost 1617 ) 7.696 * * [simplify]: iteration 2 : 1339 enodes (cost 1330 ) 8.611 * * [simplify]: iteration done : 5000 enodes (cost 1330 ) 8.612 * [simplify]: Simplified to: (expm1 (/ (* x y) z)) (log1p (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (exp (/ (* x y) z)) (pow (/ (* y x) z) 3) (pow (/ (* y x) z) 3) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z)) (pow (/ (* y x) z) 3) (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z)) (- (* x y)) (- z) (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (/ x (sqrt z)) (/ y (sqrt z)) x (/ y z) (/ 1 z) (/ z (* x y)) (* y (/ x (* (cbrt z) (cbrt z)))) (* y (/ x (sqrt z))) (* y x) (/ z y) (fma (* (cbrt (+ (/ x z) y)) (cbrt (+ (/ x z) y))) (cbrt (+ (/ x z) y)) (* (/ x z) (- y))) (* (/ y z) (+ (- x) x)) (fma (* (cbrt (+ (/ x z) y)) (cbrt (+ (/ x z) y))) (cbrt (+ (/ x z) y)) (* (/ x z) (- y))) (* (/ y z) (+ (- x) x)) (fma (* (cbrt (+ (/ x z) y)) (cbrt (+ (/ x z) y))) (cbrt (+ (/ x z) y)) (- (* (/ y (cbrt z)) (/ x (* (cbrt z) (cbrt z)))))) (* (/ x (* (cbrt z) (cbrt z))) (+ (- (/ y (cbrt z))) (/ y (cbrt z)))) (fma (* (cbrt (+ (/ x z) y)) (cbrt (+ (/ x z) y))) (cbrt (+ (/ x z) y)) (- (* (/ y (sqrt z)) (/ x (sqrt z))))) (* (/ y (sqrt z)) (+ (- (/ x (sqrt z))) (/ x (sqrt z)))) (fma (* (cbrt (+ (/ x z) y)) (cbrt (+ (/ x z) y))) (cbrt (+ (/ x z) y)) (* (/ x z) (- y))) (* (/ y z) (+ (- x) x)) (fma (* (cbrt (+ (/ x z) y)) (cbrt (+ (/ x z) y))) (cbrt (+ (/ x z) y)) (* (/ x z) (- y))) (* (/ y z) (+ (- x) x)) (fma (* (cbrt (+ (/ x z) y)) (cbrt (+ (/ x z) y))) (cbrt (+ (/ x z) y)) (* (/ x z) (- y))) (* (/ y z) (+ (- x) x)) (- (+ (/ x z) y) (/ (* x y) z)) (* (/ y z) (+ (- x) x)) (- (+ (/ x z) y) (/ (* x y) z)) (* (/ y z) (+ (- x) x)) (- (+ (/ x z) y) (* (/ y (cbrt z)) (/ x (* (cbrt z) (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (+ (- (/ y (cbrt z))) (/ y (cbrt z)))) (- (+ (/ x z) y) (* (/ y (sqrt z)) (/ x (sqrt z)))) (* (/ y (sqrt z)) (+ (- (/ x (sqrt z))) (/ x (sqrt z)))) (- (+ (/ x z) y) (/ (* x y) z)) (* (/ y z) (+ (- x) x)) (- (+ (/ x z) y) (/ (* x y) z)) (* (/ y z) (+ (- x) x)) (- (+ (/ x z) y) (/ (* x y) z)) (* (/ y z) (+ (- x) x)) (- (+ (/ x z) y) (/ (* x y) z)) (* (/ y z) (+ (- x) x)) (- (+ (/ x z) y) (/ (* x y) z)) (* (/ y z) (+ (- x) x)) (- (+ (/ x z) y) (* (/ y (cbrt z)) (/ x (* (cbrt z) (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (+ (- (/ y (cbrt z))) (/ y (cbrt z)))) (- (+ (/ x z) y) (* (/ y (sqrt z)) (/ x (sqrt z)))) (* (/ y (sqrt z)) (+ (- (/ x (sqrt z))) (/ x (sqrt z)))) (- (+ (/ x z) y) (/ (* x y) z)) (* (/ y z) (+ (- x) x)) (- (+ (/ x z) y) (/ (* x y) z)) (* (/ y z) (+ (- x) x)) (- (+ (/ x z) y) (/ (* x y) z)) (* (/ y z) (+ (- x) x)) (- (+ (/ x z) y) (/ (* x y) z)) (* (/ y z) (+ (- x) x)) (- (+ (/ x z) y) (/ (* x y) z)) (* (/ y z) (+ (- x) x)) (- (+ (/ x z) y) (* (/ y (cbrt z)) (/ x (* (cbrt z) (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (+ (- (/ y (cbrt z))) (/ y (cbrt z)))) (- (+ (/ x z) y) (* (/ y (sqrt z)) (/ x (sqrt z)))) (* (/ y (sqrt z)) (+ (- (/ x (sqrt z))) (/ x (sqrt z)))) (- (+ (/ x z) y) (/ (* x y) z)) (* (/ y z) (+ (- x) x)) (- (+ (/ x z) y) (/ (* x y) z)) (* (/ y z) (+ (- x) x)) (- (+ (/ x z) y) (/ (* x y) z)) (* (/ y z) (+ (- x) x)) (expm1 (- (+ (/ x z) y) (/ (* x y) z))) (log1p (- (+ (/ x z) y) (/ (* x y) z))) (* (/ x z) (- y)) (* (/ x z) (- y)) (* (/ x z) (- y)) (* (/ x z) (- y)) (exp (- (+ (/ x z) y) (/ (* x y) z))) (exp (- (+ (/ x z) y) (/ (* x y) z))) (log (- (+ (/ x z) y) (/ (* x y) z))) (exp (- (+ (/ x z) y) (/ (* x y) z))) (* (cbrt (- (+ (/ x z) y) (/ (* x y) z))) (cbrt (- (+ (/ x z) y) (/ (* x y) z)))) (cbrt (- (+ (/ x z) y) (/ (* x y) z))) (pow (- (+ (/ x z) y) (/ (* x y) z)) 3) (sqrt (- (+ (/ x z) y) (/ (* x y) z))) (sqrt (- (+ (/ x z) y) (/ (* x y) z))) (- (* (+ (pow (/ x z) 3) (pow y 3)) z) (* (fma (/ x z) (/ x z) (* y (- y (/ x z)))) (* x y))) (* (fma (/ x z) (/ x z) (* y (- y (/ x z)))) z) (- (* (- (* (/ x z) (/ x z)) (* y y)) z) (* (- (/ x z) y) (* x y))) (* (- (/ x z) y) z) (- (pow (+ (/ x z) y) 3) (pow (/ (* x y) z) 3)) (fma (/ (* y x) z) (fma (/ x z) y (+ (/ x z) y)) (* (+ (/ x z) y) (+ (/ x z) y))) (* (/ x z) (- y)) (* (- (+ (/ x z) y) (/ (* x y) z)) (fma (/ x z) y (+ (/ x z) y))) (fma (/ x z) y (+ (/ x z) y)) (+ (sqrt (+ (/ x z) y)) (sqrt (/ (* x y) z))) (- (sqrt (+ (/ x z) y)) (sqrt (/ (* x y) z))) (- (+ (/ x z) y) (/ (* x y) z)) (- (+ (/ x z) y) (/ (* x y) z)) (- y (/ (* x y) z)) (* (/ x z) (- y)) (/ (* y x) z) (/ (* y x) z) (/ (* y x) z) (- (+ (/ x z) y) (/ (* x y) z)) (- (+ (/ x z) y) (/ (* x y) z)) (- (+ (/ x z) y) (/ (* x y) z)) 8.613 * * * [progress]: adding candidates to table 8.757 * * [progress]: iteration 3 / 4 8.758 * * * [progress]: picking best candidate 8.763 * * * * [pick]: Picked # 8.763 * * * [progress]: localizing error 8.774 * * * [progress]: generating rewritten candidates 8.774 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 8.784 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 8.842 * * * [progress]: generating series expansions 8.842 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 8.842 * [approximate]: Taking taylor expansion of (* -1 (/ (* x y) z)) in (x z y) around 0 8.842 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in y 8.842 * [taylor]: Taking taylor expansion of -1 in y 8.842 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 8.842 * [taylor]: Taking taylor expansion of (* x y) in y 8.842 * [taylor]: Taking taylor expansion of x in y 8.842 * [taylor]: Taking taylor expansion of y in y 8.842 * [taylor]: Taking taylor expansion of z in y 8.843 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z 8.843 * [taylor]: Taking taylor expansion of -1 in z 8.843 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 8.843 * [taylor]: Taking taylor expansion of (* x y) in z 8.843 * [taylor]: Taking taylor expansion of x in z 8.843 * [taylor]: Taking taylor expansion of y in z 8.843 * [taylor]: Taking taylor expansion of z in z 8.843 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in x 8.843 * [taylor]: Taking taylor expansion of -1 in x 8.843 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 8.843 * [taylor]: Taking taylor expansion of (* x y) in x 8.843 * [taylor]: Taking taylor expansion of x in x 8.843 * [taylor]: Taking taylor expansion of y in x 8.843 * [taylor]: Taking taylor expansion of z in x 8.844 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in x 8.844 * [taylor]: Taking taylor expansion of -1 in x 8.844 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 8.844 * [taylor]: Taking taylor expansion of (* x y) in x 8.844 * [taylor]: Taking taylor expansion of x in x 8.844 * [taylor]: Taking taylor expansion of y in x 8.844 * [taylor]: Taking taylor expansion of z in x 8.844 * [taylor]: Taking taylor expansion of (* -1 (/ y z)) in z 8.844 * [taylor]: Taking taylor expansion of -1 in z 8.844 * [taylor]: Taking taylor expansion of (/ y z) in z 8.844 * [taylor]: Taking taylor expansion of y in z 8.844 * [taylor]: Taking taylor expansion of z in z 8.844 * [taylor]: Taking taylor expansion of (* -1 y) in y 8.844 * [taylor]: Taking taylor expansion of -1 in y 8.844 * [taylor]: Taking taylor expansion of y in y 8.846 * [taylor]: Taking taylor expansion of 0 in z 8.847 * [taylor]: Taking taylor expansion of 0 in y 8.849 * [taylor]: Taking taylor expansion of 0 in z 8.849 * [taylor]: Taking taylor expansion of 0 in y 8.850 * [taylor]: Taking taylor expansion of 0 in y 8.851 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x z y) around 0 8.851 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 8.851 * [taylor]: Taking taylor expansion of -1 in y 8.851 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 8.851 * [taylor]: Taking taylor expansion of z in y 8.851 * [taylor]: Taking taylor expansion of (* x y) in y 8.851 * [taylor]: Taking taylor expansion of x in y 8.851 * [taylor]: Taking taylor expansion of y in y 8.852 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 8.852 * [taylor]: Taking taylor expansion of -1 in z 8.852 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 8.852 * [taylor]: Taking taylor expansion of z in z 8.852 * [taylor]: Taking taylor expansion of (* x y) in z 8.852 * [taylor]: Taking taylor expansion of x in z 8.852 * [taylor]: Taking taylor expansion of y in z 8.852 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 8.852 * [taylor]: Taking taylor expansion of -1 in x 8.852 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 8.852 * [taylor]: Taking taylor expansion of z in x 8.852 * [taylor]: Taking taylor expansion of (* x y) in x 8.852 * [taylor]: Taking taylor expansion of x in x 8.852 * [taylor]: Taking taylor expansion of y in x 8.853 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 8.853 * [taylor]: Taking taylor expansion of -1 in x 8.853 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 8.853 * [taylor]: Taking taylor expansion of z in x 8.853 * [taylor]: Taking taylor expansion of (* x y) in x 8.853 * [taylor]: Taking taylor expansion of x in x 8.853 * [taylor]: Taking taylor expansion of y in x 8.853 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z 8.853 * [taylor]: Taking taylor expansion of -1 in z 8.853 * [taylor]: Taking taylor expansion of (/ z y) in z 8.853 * [taylor]: Taking taylor expansion of z in z 8.853 * [taylor]: Taking taylor expansion of y in z 8.853 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.853 * [taylor]: Taking taylor expansion of -1 in y 8.853 * [taylor]: Taking taylor expansion of y in y 8.855 * [taylor]: Taking taylor expansion of 0 in z 8.855 * [taylor]: Taking taylor expansion of 0 in y 8.855 * [taylor]: Taking taylor expansion of 0 in y 8.857 * [taylor]: Taking taylor expansion of 0 in z 8.857 * [taylor]: Taking taylor expansion of 0 in y 8.857 * [taylor]: Taking taylor expansion of 0 in y 8.858 * [taylor]: Taking taylor expansion of 0 in y 8.860 * [taylor]: Taking taylor expansion of 0 in z 8.860 * [taylor]: Taking taylor expansion of 0 in y 8.861 * [taylor]: Taking taylor expansion of 0 in y 8.861 * [taylor]: Taking taylor expansion of 0 in y 8.861 * [taylor]: Taking taylor expansion of 0 in y 8.862 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x z y) around 0 8.862 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 8.862 * [taylor]: Taking taylor expansion of z in y 8.862 * [taylor]: Taking taylor expansion of (* x y) in y 8.862 * [taylor]: Taking taylor expansion of x in y 8.862 * [taylor]: Taking taylor expansion of y in y 8.862 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 8.862 * [taylor]: Taking taylor expansion of z in z 8.862 * [taylor]: Taking taylor expansion of (* x y) in z 8.862 * [taylor]: Taking taylor expansion of x in z 8.862 * [taylor]: Taking taylor expansion of y in z 8.862 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 8.862 * [taylor]: Taking taylor expansion of z in x 8.862 * [taylor]: Taking taylor expansion of (* x y) in x 8.863 * [taylor]: Taking taylor expansion of x in x 8.863 * [taylor]: Taking taylor expansion of y in x 8.863 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 8.863 * [taylor]: Taking taylor expansion of z in x 8.863 * [taylor]: Taking taylor expansion of (* x y) in x 8.863 * [taylor]: Taking taylor expansion of x in x 8.863 * [taylor]: Taking taylor expansion of y in x 8.863 * [taylor]: Taking taylor expansion of (/ z y) in z 8.863 * [taylor]: Taking taylor expansion of z in z 8.863 * [taylor]: Taking taylor expansion of y in z 8.863 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.863 * [taylor]: Taking taylor expansion of y in y 8.864 * [taylor]: Taking taylor expansion of 0 in z 8.864 * [taylor]: Taking taylor expansion of 0 in y 8.864 * [taylor]: Taking taylor expansion of 0 in y 8.866 * [taylor]: Taking taylor expansion of 0 in z 8.866 * [taylor]: Taking taylor expansion of 0 in y 8.866 * [taylor]: Taking taylor expansion of 0 in y 8.866 * [taylor]: Taking taylor expansion of 0 in y 8.868 * [taylor]: Taking taylor expansion of 0 in z 8.868 * [taylor]: Taking taylor expansion of 0 in y 8.868 * [taylor]: Taking taylor expansion of 0 in y 8.868 * [taylor]: Taking taylor expansion of 0 in y 8.868 * [taylor]: Taking taylor expansion of 0 in y 8.868 * * * * [progress]: [ 2 / 2 ] generating series at (2) 8.868 * [approximate]: Taking taylor expansion of (- (+ (/ x z) y) (/ (* x y) z)) in (x z y) around 0 8.868 * [taylor]: Taking taylor expansion of (- (+ (/ x z) y) (/ (* x y) z)) in y 8.868 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in y 8.868 * [taylor]: Taking taylor expansion of (/ x z) in y 8.869 * [taylor]: Taking taylor expansion of x in y 8.869 * [taylor]: Taking taylor expansion of z in y 8.869 * [taylor]: Taking taylor expansion of y in y 8.869 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 8.869 * [taylor]: Taking taylor expansion of (* x y) in y 8.869 * [taylor]: Taking taylor expansion of x in y 8.869 * [taylor]: Taking taylor expansion of y in y 8.869 * [taylor]: Taking taylor expansion of z in y 8.869 * [taylor]: Taking taylor expansion of (- (+ (/ x z) y) (/ (* x y) z)) in z 8.869 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in z 8.869 * [taylor]: Taking taylor expansion of (/ x z) in z 8.869 * [taylor]: Taking taylor expansion of x in z 8.869 * [taylor]: Taking taylor expansion of z in z 8.869 * [taylor]: Taking taylor expansion of y in z 8.869 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 8.869 * [taylor]: Taking taylor expansion of (* x y) in z 8.869 * [taylor]: Taking taylor expansion of x in z 8.869 * [taylor]: Taking taylor expansion of y in z 8.869 * [taylor]: Taking taylor expansion of z in z 8.869 * [taylor]: Taking taylor expansion of (- (+ (/ x z) y) (/ (* x y) z)) in x 8.869 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in x 8.869 * [taylor]: Taking taylor expansion of (/ x z) in x 8.869 * [taylor]: Taking taylor expansion of x in x 8.869 * [taylor]: Taking taylor expansion of z in x 8.869 * [taylor]: Taking taylor expansion of y in x 8.869 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 8.870 * [taylor]: Taking taylor expansion of (* x y) in x 8.870 * [taylor]: Taking taylor expansion of x in x 8.870 * [taylor]: Taking taylor expansion of y in x 8.870 * [taylor]: Taking taylor expansion of z in x 8.870 * [taylor]: Taking taylor expansion of (- (+ (/ x z) y) (/ (* x y) z)) in x 8.870 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in x 8.870 * [taylor]: Taking taylor expansion of (/ x z) in x 8.870 * [taylor]: Taking taylor expansion of x in x 8.870 * [taylor]: Taking taylor expansion of z in x 8.870 * [taylor]: Taking taylor expansion of y in x 8.870 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 8.870 * [taylor]: Taking taylor expansion of (* x y) in x 8.870 * [taylor]: Taking taylor expansion of x in x 8.870 * [taylor]: Taking taylor expansion of y in x 8.870 * [taylor]: Taking taylor expansion of z in x 8.871 * [taylor]: Taking taylor expansion of y in z 8.871 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ y z)) in z 8.871 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.871 * [taylor]: Taking taylor expansion of z in z 8.871 * [taylor]: Taking taylor expansion of (/ y z) in z 8.871 * [taylor]: Taking taylor expansion of y in z 8.871 * [taylor]: Taking taylor expansion of z in z 8.871 * [taylor]: Taking taylor expansion of (- 1 y) in y 8.871 * [taylor]: Taking taylor expansion of 1 in y 8.871 * [taylor]: Taking taylor expansion of y in y 8.872 * [taylor]: Taking taylor expansion of y in y 8.873 * [taylor]: Taking taylor expansion of 0 in z 8.875 * [taylor]: Taking taylor expansion of 0 in y 8.875 * [taylor]: Taking taylor expansion of 0 in y 8.876 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ z x)) (/ z (* x y))) in (x z y) around 0 8.876 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ z x)) (/ z (* x y))) in y 8.876 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in y 8.876 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.876 * [taylor]: Taking taylor expansion of y in y 8.877 * [taylor]: Taking taylor expansion of (/ z x) in y 8.877 * [taylor]: Taking taylor expansion of z in y 8.877 * [taylor]: Taking taylor expansion of x in y 8.877 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 8.877 * [taylor]: Taking taylor expansion of z in y 8.877 * [taylor]: Taking taylor expansion of (* x y) in y 8.877 * [taylor]: Taking taylor expansion of x in y 8.877 * [taylor]: Taking taylor expansion of y in y 8.877 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ z x)) (/ z (* x y))) in z 8.877 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in z 8.877 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.877 * [taylor]: Taking taylor expansion of y in z 8.877 * [taylor]: Taking taylor expansion of (/ z x) in z 8.877 * [taylor]: Taking taylor expansion of z in z 8.877 * [taylor]: Taking taylor expansion of x in z 8.877 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 8.877 * [taylor]: Taking taylor expansion of z in z 8.877 * [taylor]: Taking taylor expansion of (* x y) in z 8.877 * [taylor]: Taking taylor expansion of x in z 8.877 * [taylor]: Taking taylor expansion of y in z 8.877 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ z x)) (/ z (* x y))) in x 8.877 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in x 8.878 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.878 * [taylor]: Taking taylor expansion of y in x 8.878 * [taylor]: Taking taylor expansion of (/ z x) in x 8.878 * [taylor]: Taking taylor expansion of z in x 8.878 * [taylor]: Taking taylor expansion of x in x 8.878 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 8.878 * [taylor]: Taking taylor expansion of z in x 8.878 * [taylor]: Taking taylor expansion of (* x y) in x 8.878 * [taylor]: Taking taylor expansion of x in x 8.878 * [taylor]: Taking taylor expansion of y in x 8.878 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ z x)) (/ z (* x y))) in x 8.878 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in x 8.878 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.878 * [taylor]: Taking taylor expansion of y in x 8.878 * [taylor]: Taking taylor expansion of (/ z x) in x 8.878 * [taylor]: Taking taylor expansion of z in x 8.878 * [taylor]: Taking taylor expansion of x in x 8.878 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 8.878 * [taylor]: Taking taylor expansion of z in x 8.878 * [taylor]: Taking taylor expansion of (* x y) in x 8.878 * [taylor]: Taking taylor expansion of x in x 8.878 * [taylor]: Taking taylor expansion of y in x 8.879 * [taylor]: Taking taylor expansion of (- z (/ z y)) in z 8.879 * [taylor]: Taking taylor expansion of z in z 8.879 * [taylor]: Taking taylor expansion of (/ z y) in z 8.879 * [taylor]: Taking taylor expansion of z in z 8.879 * [taylor]: Taking taylor expansion of y in z 8.879 * [taylor]: Taking taylor expansion of 0 in y 8.881 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.881 * [taylor]: Taking taylor expansion of y in z 8.881 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.881 * [taylor]: Taking taylor expansion of y in y 8.881 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 8.881 * [taylor]: Taking taylor expansion of 1 in y 8.881 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.881 * [taylor]: Taking taylor expansion of y in y 8.885 * [taylor]: Taking taylor expansion of 0 in z 8.885 * [taylor]: Taking taylor expansion of 0 in y 8.885 * [taylor]: Taking taylor expansion of 0 in y 8.885 * [taylor]: Taking taylor expansion of 0 in y 8.887 * [approximate]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ z x)) (/ 1 y)) in (x z y) around 0 8.888 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ z x)) (/ 1 y)) in y 8.888 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ z x)) in y 8.888 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 8.888 * [taylor]: Taking taylor expansion of z in y 8.888 * [taylor]: Taking taylor expansion of (* x y) in y 8.888 * [taylor]: Taking taylor expansion of x in y 8.888 * [taylor]: Taking taylor expansion of y in y 8.888 * [taylor]: Taking taylor expansion of (/ z x) in y 8.888 * [taylor]: Taking taylor expansion of z in y 8.888 * [taylor]: Taking taylor expansion of x in y 8.888 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.888 * [taylor]: Taking taylor expansion of y in y 8.888 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ z x)) (/ 1 y)) in z 8.888 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ z x)) in z 8.888 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 8.888 * [taylor]: Taking taylor expansion of z in z 8.889 * [taylor]: Taking taylor expansion of (* x y) in z 8.889 * [taylor]: Taking taylor expansion of x in z 8.889 * [taylor]: Taking taylor expansion of y in z 8.889 * [taylor]: Taking taylor expansion of (/ z x) in z 8.889 * [taylor]: Taking taylor expansion of z in z 8.889 * [taylor]: Taking taylor expansion of x in z 8.889 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.889 * [taylor]: Taking taylor expansion of y in z 8.889 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ z x)) (/ 1 y)) in x 8.889 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ z x)) in x 8.889 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 8.889 * [taylor]: Taking taylor expansion of z in x 8.889 * [taylor]: Taking taylor expansion of (* x y) in x 8.889 * [taylor]: Taking taylor expansion of x in x 8.889 * [taylor]: Taking taylor expansion of y in x 8.889 * [taylor]: Taking taylor expansion of (/ z x) in x 8.889 * [taylor]: Taking taylor expansion of z in x 8.889 * [taylor]: Taking taylor expansion of x in x 8.889 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.889 * [taylor]: Taking taylor expansion of y in x 8.889 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ z x)) (/ 1 y)) in x 8.889 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ z x)) in x 8.889 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 8.889 * [taylor]: Taking taylor expansion of z in x 8.889 * [taylor]: Taking taylor expansion of (* x y) in x 8.889 * [taylor]: Taking taylor expansion of x in x 8.889 * [taylor]: Taking taylor expansion of y in x 8.890 * [taylor]: Taking taylor expansion of (/ z x) in x 8.890 * [taylor]: Taking taylor expansion of z in x 8.890 * [taylor]: Taking taylor expansion of x in x 8.890 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.890 * [taylor]: Taking taylor expansion of y in x 8.890 * [taylor]: Taking taylor expansion of (+ z (/ z y)) in z 8.890 * [taylor]: Taking taylor expansion of z in z 8.890 * [taylor]: Taking taylor expansion of (/ z y) in z 8.890 * [taylor]: Taking taylor expansion of z in z 8.890 * [taylor]: Taking taylor expansion of y in z 8.891 * [taylor]: Taking taylor expansion of 0 in y 8.892 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in z 8.892 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.892 * [taylor]: Taking taylor expansion of y in z 8.892 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 8.893 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.893 * [taylor]: Taking taylor expansion of y in y 8.893 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 8.893 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.893 * [taylor]: Taking taylor expansion of y in y 8.893 * [taylor]: Taking taylor expansion of 1 in y 8.896 * [taylor]: Taking taylor expansion of 0 in z 8.896 * [taylor]: Taking taylor expansion of 0 in y 8.897 * [taylor]: Taking taylor expansion of 0 in y 8.897 * [taylor]: Taking taylor expansion of 0 in y 8.899 * * * [progress]: simplifying candidates 8.900 * [simplify]: Simplifying using # : (expm1 (* (/ x z) (- y))) (log1p (* (/ x z) (- y))) (* (/ x z) (- y)) (+ (- (log x) (log z)) (log (- y))) (+ (log (/ x z)) (log (- y))) (log (* (/ x z) (- y))) (exp (* (/ x z) (- y))) (* (/ (* (* x x) x) (* (* z z) z)) (* (* (- y) (- y)) (- y))) (* (* (* (/ x z) (/ x z)) (/ x z)) (* (* (- y) (- y)) (- y))) (* (cbrt (* (/ x z) (- y))) (cbrt (* (/ x z) (- y)))) (cbrt (* (/ x z) (- y))) (* (* (* (/ x z) (- y)) (* (/ x z) (- y))) (* (/ x z) (- y))) (sqrt (* (/ x z) (- y))) (sqrt (* (/ x z) (- y))) (* (sqrt (/ x z)) (sqrt (- y))) (* (sqrt (/ x z)) (sqrt (- y))) (* (/ (sqrt x) (sqrt z)) (sqrt (- y))) (* (/ (sqrt x) (sqrt z)) (sqrt (- y))) (* (/ x z) y) (* (/ x z) (* (cbrt (- y)) (cbrt (- y)))) (* (/ x z) (sqrt (- y))) (* (/ x z) 1) (* (/ x z) -1) (* (/ x z) (- (* (cbrt y) (cbrt y)))) (* (/ x z) (- (sqrt y))) (* (/ x z) (- 1)) (* (/ x z) (* (cbrt y) (cbrt y))) (* (/ x z) (sqrt y)) (* (/ x z) 1) (* (cbrt (/ x z)) (- y)) (* (sqrt (/ x z)) (- y)) (* (/ (cbrt x) (cbrt z)) (- y)) (* (/ (cbrt x) (sqrt z)) (- y)) (* (/ (cbrt x) z) (- y)) (* (/ (sqrt x) (cbrt z)) (- y)) (* (/ (sqrt x) (sqrt z)) (- y)) (* (/ (sqrt x) z) (- y)) (* (/ x (cbrt z)) (- y)) (* (/ x (sqrt z)) (- y)) (* (/ x z) (- y)) (* (/ x z) (- y)) (* (/ 1 z) (- y)) (* x (- y)) (expm1 (+ (+ (/ x z) y) (* (/ x z) (- y)))) (log1p (+ (+ (/ x z) y) (* (/ x z) (- y)))) (* (* (exp (/ x z)) (exp y)) (exp (* (/ x z) (- y)))) (* (exp (+ (/ x z) y)) (exp (* (/ x z) (- y)))) (log (+ (+ (/ x z) y) (* (/ x z) (- y)))) (exp (+ (+ (/ x z) y) (* (/ x z) (- y)))) (* (cbrt (+ (+ (/ x z) y) (* (/ x z) (- y)))) (cbrt (+ (+ (/ x z) y) (* (/ x z) (- y))))) (cbrt (+ (+ (/ x z) y) (* (/ x z) (- y)))) (* (* (+ (+ (/ x z) y) (* (/ x z) (- y))) (+ (+ (/ x z) y) (* (/ x z) (- y)))) (+ (+ (/ x z) y) (* (/ x z) (- y)))) (sqrt (+ (+ (/ x z) y) (* (/ x z) (- y)))) (sqrt (+ (+ (/ x z) y) (* (/ x z) (- y)))) (+ (* (+ (pow (/ x z) 3) (pow y 3)) z) (* (+ (* (/ x z) (/ x z)) (- (* y y) (* (/ x z) y))) (* x (- y)))) (* (+ (* (/ x z) (/ x z)) (- (* y y) (* (/ x z) y))) z) (+ (* (- (* (/ x z) (/ x z)) (* y y)) z) (* (- (/ x z) y) (* x (- y)))) (* (- (/ x z) y) z) (+ (pow (+ (/ x z) y) 3) (pow (* (/ x z) (- y)) 3)) (+ (* (+ (/ x z) y) (+ (/ x z) y)) (- (* (* (/ x z) (- y)) (* (/ x z) (- y))) (* (+ (/ x z) y) (* (/ x z) (- y))))) (- (* (+ (/ x z) y) (+ (/ x z) y)) (* (* (/ x z) (- y)) (* (/ x z) (- y)))) (- (+ (/ x z) y) (* (/ x z) (- y))) (+ y (* (/ x z) (- y))) (* -1 (/ (* x y) z)) (* -1 (/ (* x y) z)) (* -1 (/ (* x y) z)) (- (+ (/ x z) y) (/ (* x y) z)) (- (+ (/ x z) y) (/ (* x y) z)) (- (+ (/ x z) y) (/ (* x y) z)) 8.903 * * [simplify]: iteration 0 : 131 enodes (cost 775 ) 8.933 * * [simplify]: iteration 1 : 377 enodes (cost 701 ) 9.102 * * [simplify]: iteration 2 : 1388 enodes (cost 664 ) 9.940 * * [simplify]: iteration done : 5000 enodes (cost 663 ) 9.940 * [simplify]: Simplified to: (expm1 (* (/ x z) (- y))) (log1p (* (/ x z) (- y))) (/ (* x (- y)) z) (log (* (/ x z) (- y))) (log (* (/ x z) (- y))) (log (* (/ x z) (- y))) (exp (* (/ x z) (- y))) (pow (* (/ x z) (- y)) 3) (pow (* (/ x z) (- y)) 3) (* (cbrt (* (/ x z) (- y))) (cbrt (* (/ x z) (- y)))) (cbrt (* (/ x z) (- y))) (pow (* (/ x z) (- y)) 3) (sqrt (* (/ x z) (- y))) (sqrt (* (/ x z) (- y))) (* (sqrt (/ x z)) (sqrt (- y))) (* (sqrt (/ x z)) (sqrt (- y))) (* (/ (sqrt x) (sqrt z)) (sqrt (- y))) (* (/ (sqrt x) (sqrt z)) (sqrt (- y))) (/ (* x y) z) (* (/ x z) (* (cbrt (- y)) (cbrt (- y)))) (* (/ x z) (sqrt (- y))) (/ x z) (- (/ x z)) (* (/ x z) (- (* (cbrt y) (cbrt y)))) (* (/ x z) (- (sqrt y))) (- (/ x z)) (* (/ x z) (* (cbrt y) (cbrt y))) (* (/ x z) (sqrt y)) (/ x z) (* (cbrt (/ x z)) (- y)) (* (sqrt (/ x z)) (- y)) (* (/ (cbrt x) (cbrt z)) (- y)) (* (/ (cbrt x) (sqrt z)) (- y)) (* (/ (cbrt x) z) (- y)) (* (/ (sqrt x) (cbrt z)) (- y)) (* (/ (sqrt x) (sqrt z)) (- y)) (* (/ (sqrt x) z) (- y)) (* (/ x (cbrt z)) (- y)) (* (/ x (sqrt z)) (- y)) (/ (* x (- y)) z) (/ (* x (- y)) z) (/ (- y) z) (* x (- y)) (expm1 (- (+ (/ x z) y) (/ (* x y) z))) (log1p (- (+ (/ x z) y) (* (/ x z) y))) (exp (- (+ (/ x z) y) (* (/ x z) y))) (exp (- (+ (/ x z) y) (* (/ x z) y))) (log (- (+ (/ x z) y) (* (/ x z) y))) (exp (- (+ (/ x z) y) (* (/ x z) y))) (* (cbrt (- (+ (/ x z) y) (/ (* x y) z))) (cbrt (- (+ (/ x z) y) (/ (* x y) z)))) (cbrt (- (+ (/ x z) y) (/ (* x y) z))) (pow (- (+ (/ x z) y) (/ (* x y) z)) 3) (sqrt (- (+ (/ x z) y) (* (/ x z) y))) (sqrt (- (+ (/ x z) y) (* (/ x z) y))) (fma (+ (pow (/ x z) 3) (pow y 3)) z (* (fma (/ x z) (/ x z) (* y (- y (/ x z)))) (* x (- y)))) (* (fma (/ x z) (/ x z) (* y (- y (/ x z)))) z) (fma (- (* (/ x z) (/ x z)) (* y y)) z (* x (* y (- y (/ x z))))) (* (- (/ x z) y) z) (- (pow (+ (/ x z) y) 3) (pow (/ (* x y) z) 3)) (fma (+ (/ x z) y) (+ (/ x z) y) (* (/ (* x (- y)) z) (- (/ (* x (- y)) z) (+ (/ x z) y)))) (- (* (+ (/ x z) y) (+ (/ x z) y)) (* (* (/ x z) (/ x z)) (* y y))) (+ (+ (/ x z) y) (/ (* x y) z)) (- y (/ (* x y) z)) (/ (* x (- y)) z) (/ (* x (- y)) z) (/ (* x (- y)) z) (- (+ (/ x z) y) (/ (* x y) z)) (- (+ (/ x z) y) (/ (* x y) z)) (- (+ (/ x z) y) (/ (* x y) z)) 9.940 * * * [progress]: adding candidates to table 10.118 * * [progress]: iteration 4 / 4 10.118 * * * [progress]: picking best candidate 10.122 * * * * [pick]: Picked # 10.122 * * * [progress]: localizing error 10.129 * * * [progress]: generating rewritten candidates 10.130 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 10.137 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 10.218 * * * [progress]: generating series expansions 10.218 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 10.218 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0 10.218 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 10.218 * [taylor]: Taking taylor expansion of (* x y) in z 10.218 * [taylor]: Taking taylor expansion of x in z 10.218 * [taylor]: Taking taylor expansion of y in z 10.218 * [taylor]: Taking taylor expansion of z in z 10.218 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 10.218 * [taylor]: Taking taylor expansion of (* x y) in y 10.218 * [taylor]: Taking taylor expansion of x in y 10.218 * [taylor]: Taking taylor expansion of y in y 10.218 * [taylor]: Taking taylor expansion of z in y 10.219 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 10.219 * [taylor]: Taking taylor expansion of (* x y) in x 10.219 * [taylor]: Taking taylor expansion of x in x 10.219 * [taylor]: Taking taylor expansion of y in x 10.219 * [taylor]: Taking taylor expansion of z in x 10.219 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 10.219 * [taylor]: Taking taylor expansion of (* x y) in x 10.219 * [taylor]: Taking taylor expansion of x in x 10.219 * [taylor]: Taking taylor expansion of y in x 10.220 * [taylor]: Taking taylor expansion of z in x 10.220 * [taylor]: Taking taylor expansion of (/ y z) in y 10.220 * [taylor]: Taking taylor expansion of y in y 10.220 * [taylor]: Taking taylor expansion of z in y 10.220 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.220 * [taylor]: Taking taylor expansion of z in z 10.221 * [taylor]: Taking taylor expansion of 0 in y 10.221 * [taylor]: Taking taylor expansion of 0 in z 10.221 * [taylor]: Taking taylor expansion of 0 in z 10.222 * [taylor]: Taking taylor expansion of 0 in y 10.223 * [taylor]: Taking taylor expansion of 0 in z 10.223 * [taylor]: Taking taylor expansion of 0 in z 10.223 * [taylor]: Taking taylor expansion of 0 in z 10.225 * [taylor]: Taking taylor expansion of 0 in y 10.225 * [taylor]: Taking taylor expansion of 0 in z 10.225 * [taylor]: Taking taylor expansion of 0 in z 10.225 * [taylor]: Taking taylor expansion of 0 in z 10.225 * [taylor]: Taking taylor expansion of 0 in z 10.225 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0 10.225 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 10.225 * [taylor]: Taking taylor expansion of z in z 10.225 * [taylor]: Taking taylor expansion of (* x y) in z 10.225 * [taylor]: Taking taylor expansion of x in z 10.225 * [taylor]: Taking taylor expansion of y in z 10.225 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 10.225 * [taylor]: Taking taylor expansion of z in y 10.225 * [taylor]: Taking taylor expansion of (* x y) in y 10.225 * [taylor]: Taking taylor expansion of x in y 10.225 * [taylor]: Taking taylor expansion of y in y 10.226 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 10.226 * [taylor]: Taking taylor expansion of z in x 10.226 * [taylor]: Taking taylor expansion of (* x y) in x 10.226 * [taylor]: Taking taylor expansion of x in x 10.226 * [taylor]: Taking taylor expansion of y in x 10.226 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 10.226 * [taylor]: Taking taylor expansion of z in x 10.226 * [taylor]: Taking taylor expansion of (* x y) in x 10.226 * [taylor]: Taking taylor expansion of x in x 10.226 * [taylor]: Taking taylor expansion of y in x 10.227 * [taylor]: Taking taylor expansion of (/ z y) in y 10.227 * [taylor]: Taking taylor expansion of z in y 10.227 * [taylor]: Taking taylor expansion of y in y 10.227 * [taylor]: Taking taylor expansion of z in z 10.227 * [taylor]: Taking taylor expansion of 0 in y 10.228 * [taylor]: Taking taylor expansion of 0 in z 10.229 * [taylor]: Taking taylor expansion of 0 in y 10.229 * [taylor]: Taking taylor expansion of 0 in z 10.230 * [taylor]: Taking taylor expansion of 0 in z 10.230 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0 10.230 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 10.230 * [taylor]: Taking taylor expansion of -1 in z 10.230 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 10.230 * [taylor]: Taking taylor expansion of z in z 10.230 * [taylor]: Taking taylor expansion of (* x y) in z 10.230 * [taylor]: Taking taylor expansion of x in z 10.230 * [taylor]: Taking taylor expansion of y in z 10.230 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 10.230 * [taylor]: Taking taylor expansion of -1 in y 10.231 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 10.231 * [taylor]: Taking taylor expansion of z in y 10.231 * [taylor]: Taking taylor expansion of (* x y) in y 10.231 * [taylor]: Taking taylor expansion of x in y 10.231 * [taylor]: Taking taylor expansion of y in y 10.231 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 10.231 * [taylor]: Taking taylor expansion of -1 in x 10.231 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 10.231 * [taylor]: Taking taylor expansion of z in x 10.231 * [taylor]: Taking taylor expansion of (* x y) in x 10.231 * [taylor]: Taking taylor expansion of x in x 10.231 * [taylor]: Taking taylor expansion of y in x 10.231 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 10.231 * [taylor]: Taking taylor expansion of -1 in x 10.231 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 10.232 * [taylor]: Taking taylor expansion of z in x 10.232 * [taylor]: Taking taylor expansion of (* x y) in x 10.232 * [taylor]: Taking taylor expansion of x in x 10.232 * [taylor]: Taking taylor expansion of y in x 10.232 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y 10.232 * [taylor]: Taking taylor expansion of -1 in y 10.232 * [taylor]: Taking taylor expansion of (/ z y) in y 10.232 * [taylor]: Taking taylor expansion of z in y 10.232 * [taylor]: Taking taylor expansion of y in y 10.232 * [taylor]: Taking taylor expansion of (* -1 z) in z 10.232 * [taylor]: Taking taylor expansion of -1 in z 10.232 * [taylor]: Taking taylor expansion of z in z 10.234 * [taylor]: Taking taylor expansion of 0 in y 10.234 * [taylor]: Taking taylor expansion of 0 in z 10.236 * [taylor]: Taking taylor expansion of 0 in y 10.237 * [taylor]: Taking taylor expansion of 0 in z 10.238 * [taylor]: Taking taylor expansion of 0 in z 10.239 * * * * [progress]: [ 2 / 2 ] generating series at (2) 10.239 * [approximate]: Taking taylor expansion of (- (+ (/ x z) y) (/ (* x y) z)) in (x z y) around 0 10.239 * [taylor]: Taking taylor expansion of (- (+ (/ x z) y) (/ (* x y) z)) in y 10.239 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in y 10.239 * [taylor]: Taking taylor expansion of (/ x z) in y 10.239 * [taylor]: Taking taylor expansion of x in y 10.239 * [taylor]: Taking taylor expansion of z in y 10.239 * [taylor]: Taking taylor expansion of y in y 10.239 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 10.239 * [taylor]: Taking taylor expansion of (* x y) in y 10.239 * [taylor]: Taking taylor expansion of x in y 10.239 * [taylor]: Taking taylor expansion of y in y 10.239 * [taylor]: Taking taylor expansion of z in y 10.240 * [taylor]: Taking taylor expansion of (- (+ (/ x z) y) (/ (* x y) z)) in z 10.240 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in z 10.240 * [taylor]: Taking taylor expansion of (/ x z) in z 10.240 * [taylor]: Taking taylor expansion of x in z 10.240 * [taylor]: Taking taylor expansion of z in z 10.240 * [taylor]: Taking taylor expansion of y in z 10.240 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 10.240 * [taylor]: Taking taylor expansion of (* x y) in z 10.240 * [taylor]: Taking taylor expansion of x in z 10.240 * [taylor]: Taking taylor expansion of y in z 10.240 * [taylor]: Taking taylor expansion of z in z 10.240 * [taylor]: Taking taylor expansion of (- (+ (/ x z) y) (/ (* x y) z)) in x 10.240 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in x 10.240 * [taylor]: Taking taylor expansion of (/ x z) in x 10.240 * [taylor]: Taking taylor expansion of x in x 10.240 * [taylor]: Taking taylor expansion of z in x 10.240 * [taylor]: Taking taylor expansion of y in x 10.240 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 10.240 * [taylor]: Taking taylor expansion of (* x y) in x 10.240 * [taylor]: Taking taylor expansion of x in x 10.240 * [taylor]: Taking taylor expansion of y in x 10.240 * [taylor]: Taking taylor expansion of z in x 10.241 * [taylor]: Taking taylor expansion of (- (+ (/ x z) y) (/ (* x y) z)) in x 10.241 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in x 10.241 * [taylor]: Taking taylor expansion of (/ x z) in x 10.241 * [taylor]: Taking taylor expansion of x in x 10.241 * [taylor]: Taking taylor expansion of z in x 10.241 * [taylor]: Taking taylor expansion of y in x 10.241 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 10.241 * [taylor]: Taking taylor expansion of (* x y) in x 10.241 * [taylor]: Taking taylor expansion of x in x 10.241 * [taylor]: Taking taylor expansion of y in x 10.241 * [taylor]: Taking taylor expansion of z in x 10.241 * [taylor]: Taking taylor expansion of y in z 10.241 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ y z)) in z 10.241 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.241 * [taylor]: Taking taylor expansion of z in z 10.242 * [taylor]: Taking taylor expansion of (/ y z) in z 10.242 * [taylor]: Taking taylor expansion of y in z 10.242 * [taylor]: Taking taylor expansion of z in z 10.242 * [taylor]: Taking taylor expansion of (- 1 y) in y 10.242 * [taylor]: Taking taylor expansion of 1 in y 10.242 * [taylor]: Taking taylor expansion of y in y 10.242 * [taylor]: Taking taylor expansion of y in y 10.244 * [taylor]: Taking taylor expansion of 0 in z 10.245 * [taylor]: Taking taylor expansion of 0 in y 10.246 * [taylor]: Taking taylor expansion of 0 in y 10.247 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ z x)) (/ z (* x y))) in (x z y) around 0 10.247 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ z x)) (/ z (* x y))) in y 10.247 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in y 10.247 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.247 * [taylor]: Taking taylor expansion of y in y 10.247 * [taylor]: Taking taylor expansion of (/ z x) in y 10.247 * [taylor]: Taking taylor expansion of z in y 10.247 * [taylor]: Taking taylor expansion of x in y 10.247 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 10.247 * [taylor]: Taking taylor expansion of z in y 10.247 * [taylor]: Taking taylor expansion of (* x y) in y 10.247 * [taylor]: Taking taylor expansion of x in y 10.247 * [taylor]: Taking taylor expansion of y in y 10.248 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ z x)) (/ z (* x y))) in z 10.248 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in z 10.248 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.248 * [taylor]: Taking taylor expansion of y in z 10.248 * [taylor]: Taking taylor expansion of (/ z x) in z 10.248 * [taylor]: Taking taylor expansion of z in z 10.248 * [taylor]: Taking taylor expansion of x in z 10.248 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 10.248 * [taylor]: Taking taylor expansion of z in z 10.248 * [taylor]: Taking taylor expansion of (* x y) in z 10.248 * [taylor]: Taking taylor expansion of x in z 10.248 * [taylor]: Taking taylor expansion of y in z 10.248 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ z x)) (/ z (* x y))) in x 10.248 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in x 10.248 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.248 * [taylor]: Taking taylor expansion of y in x 10.248 * [taylor]: Taking taylor expansion of (/ z x) in x 10.248 * [taylor]: Taking taylor expansion of z in x 10.248 * [taylor]: Taking taylor expansion of x in x 10.248 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 10.248 * [taylor]: Taking taylor expansion of z in x 10.248 * [taylor]: Taking taylor expansion of (* x y) in x 10.248 * [taylor]: Taking taylor expansion of x in x 10.248 * [taylor]: Taking taylor expansion of y in x 10.249 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ z x)) (/ z (* x y))) in x 10.249 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in x 10.249 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.249 * [taylor]: Taking taylor expansion of y in x 10.249 * [taylor]: Taking taylor expansion of (/ z x) in x 10.249 * [taylor]: Taking taylor expansion of z in x 10.249 * [taylor]: Taking taylor expansion of x in x 10.249 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 10.249 * [taylor]: Taking taylor expansion of z in x 10.249 * [taylor]: Taking taylor expansion of (* x y) in x 10.249 * [taylor]: Taking taylor expansion of x in x 10.249 * [taylor]: Taking taylor expansion of y in x 10.250 * [taylor]: Taking taylor expansion of (- z (/ z y)) in z 10.250 * [taylor]: Taking taylor expansion of z in z 10.250 * [taylor]: Taking taylor expansion of (/ z y) in z 10.250 * [taylor]: Taking taylor expansion of z in z 10.250 * [taylor]: Taking taylor expansion of y in z 10.250 * [taylor]: Taking taylor expansion of 0 in y 10.252 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.252 * [taylor]: Taking taylor expansion of y in z 10.252 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.252 * [taylor]: Taking taylor expansion of y in y 10.252 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 10.252 * [taylor]: Taking taylor expansion of 1 in y 10.252 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.252 * [taylor]: Taking taylor expansion of y in y 10.255 * [taylor]: Taking taylor expansion of 0 in z 10.255 * [taylor]: Taking taylor expansion of 0 in y 10.255 * [taylor]: Taking taylor expansion of 0 in y 10.256 * [taylor]: Taking taylor expansion of 0 in y 10.258 * [approximate]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ z x)) (/ 1 y)) in (x z y) around 0 10.258 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ z x)) (/ 1 y)) in y 10.258 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ z x)) in y 10.258 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 10.258 * [taylor]: Taking taylor expansion of z in y 10.258 * [taylor]: Taking taylor expansion of (* x y) in y 10.258 * [taylor]: Taking taylor expansion of x in y 10.258 * [taylor]: Taking taylor expansion of y in y 10.259 * [taylor]: Taking taylor expansion of (/ z x) in y 10.259 * [taylor]: Taking taylor expansion of z in y 10.259 * [taylor]: Taking taylor expansion of x in y 10.259 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.259 * [taylor]: Taking taylor expansion of y in y 10.259 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ z x)) (/ 1 y)) in z 10.259 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ z x)) in z 10.259 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 10.259 * [taylor]: Taking taylor expansion of z in z 10.259 * [taylor]: Taking taylor expansion of (* x y) in z 10.259 * [taylor]: Taking taylor expansion of x in z 10.259 * [taylor]: Taking taylor expansion of y in z 10.259 * [taylor]: Taking taylor expansion of (/ z x) in z 10.259 * [taylor]: Taking taylor expansion of z in z 10.259 * [taylor]: Taking taylor expansion of x in z 10.259 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.259 * [taylor]: Taking taylor expansion of y in z 10.260 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ z x)) (/ 1 y)) in x 10.260 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ z x)) in x 10.260 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 10.260 * [taylor]: Taking taylor expansion of z in x 10.260 * [taylor]: Taking taylor expansion of (* x y) in x 10.260 * [taylor]: Taking taylor expansion of x in x 10.260 * [taylor]: Taking taylor expansion of y in x 10.260 * [taylor]: Taking taylor expansion of (/ z x) in x 10.260 * [taylor]: Taking taylor expansion of z in x 10.260 * [taylor]: Taking taylor expansion of x in x 10.260 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.260 * [taylor]: Taking taylor expansion of y in x 10.260 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ z x)) (/ 1 y)) in x 10.260 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ z x)) in x 10.260 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 10.260 * [taylor]: Taking taylor expansion of z in x 10.260 * [taylor]: Taking taylor expansion of (* x y) in x 10.260 * [taylor]: Taking taylor expansion of x in x 10.260 * [taylor]: Taking taylor expansion of y in x 10.261 * [taylor]: Taking taylor expansion of (/ z x) in x 10.261 * [taylor]: Taking taylor expansion of z in x 10.261 * [taylor]: Taking taylor expansion of x in x 10.261 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.261 * [taylor]: Taking taylor expansion of y in x 10.261 * [taylor]: Taking taylor expansion of (+ z (/ z y)) in z 10.261 * [taylor]: Taking taylor expansion of z in z 10.261 * [taylor]: Taking taylor expansion of (/ z y) in z 10.261 * [taylor]: Taking taylor expansion of z in z 10.261 * [taylor]: Taking taylor expansion of y in z 10.261 * [taylor]: Taking taylor expansion of 0 in y 10.263 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in z 10.263 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.263 * [taylor]: Taking taylor expansion of y in z 10.263 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 10.263 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.263 * [taylor]: Taking taylor expansion of y in y 10.264 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 10.264 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.264 * [taylor]: Taking taylor expansion of y in y 10.264 * [taylor]: Taking taylor expansion of 1 in y 10.271 * [taylor]: Taking taylor expansion of 0 in z 10.271 * [taylor]: Taking taylor expansion of 0 in y 10.271 * [taylor]: Taking taylor expansion of 0 in y 10.271 * [taylor]: Taking taylor expansion of 0 in y 10.273 * * * [progress]: simplifying candidates 10.274 * [simplify]: Simplifying using # : (expm1 (* x (/ y z))) (log1p (* x (/ y z))) (* x (/ y z)) (+ (log x) (- (log y) (log z))) (+ (log x) (log (/ y z))) (log (* x (/ y z))) (exp (* x (/ y z))) (* (* (* x x) x) (/ (* (* y y) y) (* (* z z) z))) (* (* (* x x) x) (* (* (/ y z) (/ y z)) (/ y z))) (* (cbrt (* x (/ y z))) (cbrt (* x (/ y z)))) (cbrt (* x (/ y z))) (* (* (* x (/ y z)) (* x (/ y z))) (* x (/ y z))) (sqrt (* x (/ y z))) (sqrt (* x (/ y z))) (* (sqrt x) (sqrt (/ y z))) (* (sqrt x) (sqrt (/ y z))) (* (sqrt x) (/ (sqrt y) (sqrt z))) (* (sqrt x) (/ (sqrt y) (sqrt z))) (* x (* (cbrt (/ y z)) (cbrt (/ y z)))) (* x (sqrt (/ y z))) (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (* x (/ (* (cbrt y) (cbrt y)) (sqrt z))) (* x (/ (* (cbrt y) (cbrt y)) 1)) (* x (/ (sqrt y) (* (cbrt z) (cbrt z)))) (* x (/ (sqrt y) (sqrt z))) (* x (/ (sqrt y) 1)) (* x (/ 1 (* (cbrt z) (cbrt z)))) (* x (/ 1 (sqrt z))) (* x (/ 1 1)) (* x 1) (* x y) (* (cbrt x) (/ y z)) (* (sqrt x) (/ y z)) (* x (/ y z)) (* x y) (fma (* (cbrt (+ (/ x z) y)) (cbrt (+ (/ x z) y))) (cbrt (+ (/ x z) y)) (- (* (/ y z) x))) (fma (- (/ y z)) x (* (/ y z) x)) (fma (sqrt (+ (/ x z) y)) (sqrt (+ (/ x z) y)) (- (* (/ y z) x))) (fma (- (/ y z)) x (* (/ y z) x)) (fma 1 (+ (/ x z) y) (- (* (/ y z) x))) (fma (- (/ y z)) x (* (/ y z) x)) (fma 1 (+ (/ x z) y) (- (* (/ y z) x))) (fma (- (/ y z)) x (* (/ y z) x)) (expm1 (- (+ (/ x z) y) (* x (/ y z)))) (log1p (- (+ (/ x z) y) (* x (/ y z)))) (- (* x (/ y z))) (- (* x (/ y z))) (- (* x (/ y z))) (- (* x (/ y z))) (/ (* (exp (/ x z)) (exp y)) (exp (* x (/ y z)))) (/ (exp (+ (/ x z) y)) (exp (* x (/ y z)))) (log (- (+ (/ x z) y) (* x (/ y z)))) (exp (- (+ (/ x z) y) (* x (/ y z)))) (* (cbrt (- (+ (/ x z) y) (* x (/ y z)))) (cbrt (- (+ (/ x z) y) (* x (/ y z))))) (cbrt (- (+ (/ x z) y) (* x (/ y z)))) (* (* (- (+ (/ x z) y) (* x (/ y z))) (- (+ (/ x z) y) (* x (/ y z)))) (- (+ (/ x z) y) (* x (/ y z)))) (sqrt (- (+ (/ x z) y) (* x (/ y z)))) (sqrt (- (+ (/ x z) y) (* x (/ y z)))) (- (* (+ (pow (/ x z) 3) (pow y 3)) z) (* (+ (* (/ x z) (/ x z)) (- (* y y) (* (/ x z) y))) (* x y))) (* (+ (* (/ x z) (/ x z)) (- (* y y) (* (/ x z) y))) z) (- (* (- (* (/ x z) (/ x z)) (* y y)) z) (* (- (/ x z) y) (* x y))) (* (- (/ x z) y) z) (- (pow (+ (/ x z) y) 3) (pow (* x (/ y z)) 3)) (+ (* (+ (/ x z) y) (+ (/ x z) y)) (+ (* (* x (/ y z)) (* x (/ y z))) (* (+ (/ x z) y) (* x (/ y z))))) (- (* x (/ y z))) (- (* (+ (/ x z) y) (+ (/ x z) y)) (* (* x (/ y z)) (* x (/ y z)))) (+ (+ (/ x z) y) (* x (/ y z))) (- y (* x (/ y z))) (- (* x (/ y z))) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) (- (+ (/ x z) y) (/ (* x y) z)) (- (+ (/ x z) y) (/ (* x y) z)) (- (+ (/ x z) y) (/ (* x y) z)) 10.277 * * [simplify]: iteration 0 : 129 enodes (cost 817 ) 10.307 * * [simplify]: iteration 1 : 330 enodes (cost 772 ) 10.393 * * [simplify]: iteration 2 : 1004 enodes (cost 727 ) 11.275 * * [simplify]: iteration 3 : 4381 enodes (cost 661 ) 12.383 * * [simplify]: iteration done : 5001 enodes (cost 657 ) 12.384 * [simplify]: Simplified to: (expm1 (* x (/ y z))) (log1p (* x (/ y z))) (/ (* x y) z) (log (* x (/ y z))) (log (* x (/ y z))) (log (* x (/ y z))) (exp (* x (/ y z))) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (* (cbrt (* x (/ y z))) (cbrt (* x (/ y z)))) (cbrt (* x (/ y z))) (pow (/ (* x y) z) 3) (sqrt (* x (/ y z))) (sqrt (* x (/ y z))) (* (sqrt x) (sqrt (/ y z))) (* (sqrt x) (sqrt (/ y z))) (* (sqrt x) (/ (sqrt y) (sqrt z))) (* (sqrt x) (/ (sqrt y) (sqrt z))) (* x (* (cbrt (/ y z)) (cbrt (/ y z)))) (* x (sqrt (/ y z))) (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (* x (/ (* (cbrt y) (cbrt y)) (sqrt z))) (* (* (cbrt y) (cbrt y)) x) (* x (/ (sqrt y) (* (cbrt z) (cbrt z)))) (* x (/ (sqrt y) (sqrt z))) (* (sqrt y) x) (/ x (* (cbrt z) (cbrt z))) (/ x (sqrt z)) x x (* x y) (* (cbrt x) (/ y z)) (* (sqrt x) (/ y z)) (/ (* x y) z) (* x y) (fma (/ y z) (- x) (pow (cbrt (+ (/ x z) y)) 3)) (* (- x x) (/ y z)) (+ (* (+ (- y) 1) (/ x z)) y) (* (- x x) (/ y z)) (+ (* (+ (- y) 1) (/ x z)) y) (* (- x x) (/ y z)) (+ (* (+ (- y) 1) (/ x z)) y) (* (- x x) (/ y z)) (expm1 (+ (* (+ (- y) 1) (/ x z)) y)) (log1p (+ (* (+ (- y) 1) (/ x z)) y)) (- (* x (/ y z))) (- (* x (/ y z))) (- (* x (/ y z))) (- (* x (/ y z))) (exp (+ (* (+ (- y) 1) (/ x z)) y)) (exp (+ (* (+ (- y) 1) (/ x z)) y)) (log (+ (* (+ (- y) 1) (/ x z)) y)) (exp (+ (* (+ (- y) 1) (/ x z)) y)) (* (cbrt (+ (* (+ (- y) 1) (/ x z)) y)) (cbrt (+ (* (+ (- y) 1) (/ x z)) y))) (cbrt (+ (* (+ (- y) 1) (/ x z)) y)) (pow (+ (* (+ (- y) 1) (/ x z)) y) 3) (sqrt (+ (* (+ (- y) 1) (/ x z)) y)) (sqrt (+ (* (+ (- y) 1) (/ x z)) y)) (fma (- (fma y y (* (/ x z) (- (/ x z) y)))) (* x y) (* (+ (pow (/ x z) 3) (pow y 3)) z)) (* z (fma y y (* (/ x z) (- (/ x z) y)))) (* (- (/ x z) y) (- (* z (+ (/ x z) y)) (* x y))) (* (- (/ x z) y) z) (- (pow (+ (/ x z) y) 3) (pow (* x (/ y z)) 3)) (fma (/ (* x y) z) (+ y (* (+ y 1) (/ x z))) (* (+ (/ x z) y) (+ (/ x z) y))) (- (* x (/ y z))) (* (+ (* (+ (- y) 1) (/ x z)) y) (+ y (* (+ y 1) (/ x z)))) (+ y (* (+ y 1) (/ x z))) (- y (* x (/ y z))) (- (* x (/ y z))) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) (+ (* (+ (- y) 1) (/ x z)) y) (+ (* (+ (- y) 1) (/ x z)) y) (+ (* (+ (- y) 1) (/ x z)) y) 12.384 * * * [progress]: adding candidates to table 12.545 * [progress]: [Phase 3 of 3] Extracting. 12.545 * * [regime]: Finding splitpoints for: (# # # #) 12.546 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 12.546 * * * * [regimes]: Trying to branch on z from (# # # #) 12.563 * * * * [regimes]: Trying to branch on y from (# # # #) 12.583 * * * * [regimes]: Trying to branch on x from (# # # #) 12.601 * * * [regime]: Found split indices: #