28.921 * [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.018 * [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.036 * * [simplify]: iteration 5 : 65 enodes (cost 8 ) 0.044 * * [simplify]: iteration 6 : 88 enodes (cost 8 ) 0.054 * * [simplify]: iteration 7 : 125 enodes (cost 8 ) 0.073 * * [simplify]: iteration 8 : 189 enodes (cost 8 ) 0.105 * * [simplify]: iteration 9 : 355 enodes (cost 8 ) 0.262 * * [simplify]: iteration 10 : 899 enodes (cost 8 ) 1.078 * * [simplify]: iteration 11 : 2959 enodes (cost 8 ) 3.143 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 3.144 * [simplify]: Simplified to: (/ (fma (- z x) y x) z) 3.146 * * [progress]: iteration 1 / 4 3.147 * * * [progress]: picking best candidate 3.148 * * * * [pick]: Picked # 3.148 * * * [progress]: localizing error 3.154 * * * [progress]: generating rewritten candidates 3.154 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 3.156 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 3.157 * * * [progress]: generating series expansions 3.157 * * * * [progress]: [ 1 / 2 ] generating series at (2) 3.157 * [approximate]: Taking taylor expansion of (/ (fma (- z x) y x) z) in (z x y) around 0 3.157 * [taylor]: Taking taylor expansion of (/ (fma (- z x) y x) z) in y 3.157 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in y 3.158 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 3.158 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 3.158 * [taylor]: Taking taylor expansion of (- z x) in y 3.158 * [taylor]: Taking taylor expansion of z in y 3.158 * [taylor]: Taking taylor expansion of x in y 3.158 * [taylor]: Taking taylor expansion of y in y 3.158 * [taylor]: Taking taylor expansion of x in y 3.158 * [taylor]: Taking taylor expansion of z in y 3.158 * [taylor]: Taking taylor expansion of (/ (fma (- z x) y x) z) in x 3.158 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in x 3.158 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 3.158 * [taylor]: Taking taylor expansion of (* (- z x) y) in x 3.158 * [taylor]: Taking taylor expansion of (- z x) in x 3.158 * [taylor]: Taking taylor expansion of z in x 3.158 * [taylor]: Taking taylor expansion of x in x 3.158 * [taylor]: Taking taylor expansion of y in x 3.158 * [taylor]: Taking taylor expansion of x in x 3.158 * [taylor]: Taking taylor expansion of z in x 3.158 * [taylor]: Taking taylor expansion of (/ (fma (- z x) y x) z) in z 3.158 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 3.159 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 3.159 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 3.159 * [taylor]: Taking taylor expansion of (- z x) in z 3.159 * [taylor]: Taking taylor expansion of z in z 3.159 * [taylor]: Taking taylor expansion of x in z 3.159 * [taylor]: Taking taylor expansion of y in z 3.159 * [taylor]: Taking taylor expansion of x in z 3.159 * [taylor]: Taking taylor expansion of z in z 3.159 * [taylor]: Taking taylor expansion of (/ (fma (- z x) y x) z) in z 3.159 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 3.159 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 3.159 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 3.159 * [taylor]: Taking taylor expansion of (- z x) in z 3.159 * [taylor]: Taking taylor expansion of z in z 3.159 * [taylor]: Taking taylor expansion of x in z 3.159 * [taylor]: Taking taylor expansion of y in z 3.159 * [taylor]: Taking taylor expansion of x in z 3.159 * [taylor]: Taking taylor expansion of z in z 3.159 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 3.159 * [taylor]: Taking taylor expansion of x in x 3.159 * [taylor]: Taking taylor expansion of (* x y) in x 3.159 * [taylor]: Taking taylor expansion of x in x 3.159 * [taylor]: Taking taylor expansion of y in x 3.160 * [taylor]: Taking taylor expansion of 0 in y 3.161 * [taylor]: Taking taylor expansion of y in x 3.161 * [taylor]: Taking taylor expansion of y in y 3.161 * [taylor]: Taking taylor expansion of (- 1 y) in y 3.161 * [taylor]: Taking taylor expansion of 1 in y 3.161 * [taylor]: Taking taylor expansion of y in y 3.163 * [taylor]: Taking taylor expansion of 0 in x 3.163 * [taylor]: Taking taylor expansion of 0 in y 3.164 * [taylor]: Taking taylor expansion of 0 in y 3.165 * [taylor]: Taking taylor expansion of 0 in y 3.166 * [approximate]: Taking taylor expansion of (* z (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in (z x y) around 0 3.166 * [taylor]: Taking taylor expansion of (* z (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in y 3.166 * [taylor]: Taking taylor expansion of z in y 3.166 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in y 3.166 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 3.166 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in y 3.166 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 3.166 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.166 * [taylor]: Taking taylor expansion of z in y 3.166 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.166 * [taylor]: Taking taylor expansion of x in y 3.166 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.166 * [taylor]: Taking taylor expansion of y in y 3.166 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.166 * [taylor]: Taking taylor expansion of x in y 3.166 * [taylor]: Taking taylor expansion of (* z (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in x 3.166 * [taylor]: Taking taylor expansion of z in x 3.166 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in x 3.166 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 3.166 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in x 3.166 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 3.166 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.167 * [taylor]: Taking taylor expansion of z in x 3.167 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.167 * [taylor]: Taking taylor expansion of x in x 3.167 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.167 * [taylor]: Taking taylor expansion of y in x 3.167 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.167 * [taylor]: Taking taylor expansion of x in x 3.167 * [taylor]: Taking taylor expansion of (* z (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in z 3.167 * [taylor]: Taking taylor expansion of z in z 3.167 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 3.167 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 3.167 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 3.167 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 3.167 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.167 * [taylor]: Taking taylor expansion of z in z 3.168 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.168 * [taylor]: Taking taylor expansion of x in z 3.168 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.168 * [taylor]: Taking taylor expansion of y in z 3.168 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.168 * [taylor]: Taking taylor expansion of x in z 3.168 * [taylor]: Taking taylor expansion of (* z (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in z 3.168 * [taylor]: Taking taylor expansion of z in z 3.168 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 3.168 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 3.168 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 3.168 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 3.168 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.168 * [taylor]: Taking taylor expansion of z in z 3.168 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.168 * [taylor]: Taking taylor expansion of x in z 3.168 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.168 * [taylor]: Taking taylor expansion of y in z 3.168 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.168 * [taylor]: Taking taylor expansion of x in z 3.169 * [taylor]: Taking taylor expansion of 0 in x 3.170 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.170 * [taylor]: Taking taylor expansion of y in x 3.170 * [taylor]: Taking taylor expansion of 0 in y 3.172 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x y))) in x 3.172 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.172 * [taylor]: Taking taylor expansion of x in x 3.172 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.172 * [taylor]: Taking taylor expansion of (* x y) in x 3.172 * [taylor]: Taking taylor expansion of x in x 3.172 * [taylor]: Taking taylor expansion of y in x 3.173 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 3.173 * [taylor]: Taking taylor expansion of 1 in y 3.173 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.173 * [taylor]: Taking taylor expansion of y in y 3.174 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.174 * [taylor]: Taking taylor expansion of y in y 3.174 * [taylor]: Taking taylor expansion of 0 in y 3.176 * [taylor]: Taking taylor expansion of 0 in x 3.178 * [taylor]: Taking taylor expansion of 0 in y 3.178 * [taylor]: Taking taylor expansion of 0 in y 3.178 * [taylor]: Taking taylor expansion of 0 in y 3.180 * [approximate]: Taking taylor expansion of (* -1 (* z (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)))) in (z x y) around 0 3.180 * [taylor]: Taking taylor expansion of (* -1 (* z (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)))) in y 3.180 * [taylor]: Taking taylor expansion of -1 in y 3.180 * [taylor]: Taking taylor expansion of (* z (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in y 3.180 * [taylor]: Taking taylor expansion of z in y 3.180 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in y 3.180 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 3.180 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in y 3.180 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 3.180 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.180 * [taylor]: Taking taylor expansion of x in y 3.180 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.180 * [taylor]: Taking taylor expansion of z in y 3.180 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.180 * [taylor]: Taking taylor expansion of -1 in y 3.180 * [taylor]: Taking taylor expansion of y in y 3.180 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.180 * [taylor]: Taking taylor expansion of -1 in y 3.180 * [taylor]: Taking taylor expansion of x in y 3.180 * [taylor]: Taking taylor expansion of (* -1 (* z (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)))) in x 3.180 * [taylor]: Taking taylor expansion of -1 in x 3.180 * [taylor]: Taking taylor expansion of (* z (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in x 3.180 * [taylor]: Taking taylor expansion of z in x 3.180 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in x 3.180 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 3.181 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in x 3.181 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 3.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.181 * [taylor]: Taking taylor expansion of x in x 3.181 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.181 * [taylor]: Taking taylor expansion of z in x 3.181 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.181 * [taylor]: Taking taylor expansion of -1 in x 3.181 * [taylor]: Taking taylor expansion of y in x 3.181 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.181 * [taylor]: Taking taylor expansion of -1 in x 3.181 * [taylor]: Taking taylor expansion of x in x 3.181 * [taylor]: Taking taylor expansion of (* -1 (* z (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)))) in z 3.181 * [taylor]: Taking taylor expansion of -1 in z 3.181 * [taylor]: Taking taylor expansion of (* z (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in z 3.181 * [taylor]: Taking taylor expansion of z in z 3.181 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 3.181 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 3.182 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 3.182 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 3.182 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.182 * [taylor]: Taking taylor expansion of x in z 3.182 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.182 * [taylor]: Taking taylor expansion of z in z 3.182 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.182 * [taylor]: Taking taylor expansion of -1 in z 3.182 * [taylor]: Taking taylor expansion of y in z 3.182 * [taylor]: Taking taylor expansion of (/ -1 x) in z 3.182 * [taylor]: Taking taylor expansion of -1 in z 3.182 * [taylor]: Taking taylor expansion of x in z 3.182 * [taylor]: Taking taylor expansion of (* -1 (* z (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)))) in z 3.182 * [taylor]: Taking taylor expansion of -1 in z 3.182 * [taylor]: Taking taylor expansion of (* z (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in z 3.182 * [taylor]: Taking taylor expansion of z in z 3.182 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 3.182 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 3.182 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 3.182 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 3.182 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.182 * [taylor]: Taking taylor expansion of x in z 3.182 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.182 * [taylor]: Taking taylor expansion of z in z 3.183 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.183 * [taylor]: Taking taylor expansion of -1 in z 3.183 * [taylor]: Taking taylor expansion of y in z 3.183 * [taylor]: Taking taylor expansion of (/ -1 x) in z 3.183 * [taylor]: Taking taylor expansion of -1 in z 3.183 * [taylor]: Taking taylor expansion of x in z 3.184 * [taylor]: Taking taylor expansion of 0 in x 3.185 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 3.185 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.185 * [taylor]: Taking taylor expansion of y in x 3.185 * [taylor]: Taking taylor expansion of 0 in y 3.188 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 3.188 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.188 * [taylor]: Taking taylor expansion of x in x 3.188 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.188 * [taylor]: Taking taylor expansion of (* x y) in x 3.188 * [taylor]: Taking taylor expansion of x in x 3.188 * [taylor]: Taking taylor expansion of y in x 3.189 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 3.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.189 * [taylor]: Taking taylor expansion of y in y 3.189 * [taylor]: Taking taylor expansion of 1 in y 3.189 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 3.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.189 * [taylor]: Taking taylor expansion of y in y 3.190 * [taylor]: Taking taylor expansion of 0 in y 3.193 * [taylor]: Taking taylor expansion of 0 in x 3.194 * [taylor]: Taking taylor expansion of 0 in y 3.194 * [taylor]: Taking taylor expansion of 0 in y 3.195 * [taylor]: Taking taylor expansion of 0 in y 3.196 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 3.196 * [approximate]: Taking taylor expansion of (fma (- z x) y x) in (z x y) around 0 3.196 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in y 3.196 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 3.196 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 3.196 * [taylor]: Taking taylor expansion of (- z x) in y 3.196 * [taylor]: Taking taylor expansion of z in y 3.196 * [taylor]: Taking taylor expansion of x in y 3.196 * [taylor]: Taking taylor expansion of y in y 3.196 * [taylor]: Taking taylor expansion of x in y 3.196 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in x 3.196 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 3.196 * [taylor]: Taking taylor expansion of (* (- z x) y) in x 3.196 * [taylor]: Taking taylor expansion of (- z x) in x 3.196 * [taylor]: Taking taylor expansion of z in x 3.196 * [taylor]: Taking taylor expansion of x in x 3.196 * [taylor]: Taking taylor expansion of y in x 3.196 * [taylor]: Taking taylor expansion of x in x 3.196 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 3.196 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 3.196 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 3.196 * [taylor]: Taking taylor expansion of (- z x) in z 3.196 * [taylor]: Taking taylor expansion of z in z 3.196 * [taylor]: Taking taylor expansion of x in z 3.196 * [taylor]: Taking taylor expansion of y in z 3.197 * [taylor]: Taking taylor expansion of x in z 3.197 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 3.197 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 3.197 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 3.197 * [taylor]: Taking taylor expansion of (- z x) in z 3.197 * [taylor]: Taking taylor expansion of z in z 3.197 * [taylor]: Taking taylor expansion of x in z 3.197 * [taylor]: Taking taylor expansion of y in z 3.197 * [taylor]: Taking taylor expansion of x in z 3.197 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 3.197 * [taylor]: Taking taylor expansion of x in x 3.197 * [taylor]: Taking taylor expansion of (* x y) in x 3.197 * [taylor]: Taking taylor expansion of x in x 3.197 * [taylor]: Taking taylor expansion of y in x 3.197 * [taylor]: Taking taylor expansion of 0 in y 3.198 * [taylor]: Taking taylor expansion of y in x 3.198 * [taylor]: Taking taylor expansion of y in y 3.198 * [taylor]: Taking taylor expansion of (- 1 y) in y 3.198 * [taylor]: Taking taylor expansion of 1 in y 3.198 * [taylor]: Taking taylor expansion of y in y 3.203 * [taylor]: Taking taylor expansion of 0 in x 3.203 * [taylor]: Taking taylor expansion of 0 in y 3.203 * [taylor]: Taking taylor expansion of 0 in y 3.204 * [taylor]: Taking taylor expansion of 0 in y 3.204 * [approximate]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in (z x y) around 0 3.205 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in y 3.205 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 3.205 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in y 3.205 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 3.205 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.205 * [taylor]: Taking taylor expansion of z in y 3.205 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.205 * [taylor]: Taking taylor expansion of x in y 3.205 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.205 * [taylor]: Taking taylor expansion of y in y 3.205 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.205 * [taylor]: Taking taylor expansion of x in y 3.205 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in x 3.205 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 3.205 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in x 3.205 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 3.205 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.205 * [taylor]: Taking taylor expansion of z in x 3.205 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.205 * [taylor]: Taking taylor expansion of x in x 3.206 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.206 * [taylor]: Taking taylor expansion of y in x 3.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.206 * [taylor]: Taking taylor expansion of x in x 3.206 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 3.206 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 3.206 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 3.206 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 3.206 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.206 * [taylor]: Taking taylor expansion of z in z 3.206 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.206 * [taylor]: Taking taylor expansion of x in z 3.206 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.207 * [taylor]: Taking taylor expansion of y in z 3.207 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.207 * [taylor]: Taking taylor expansion of x in z 3.207 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 3.207 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 3.207 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 3.207 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 3.207 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.207 * [taylor]: Taking taylor expansion of z in z 3.207 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.207 * [taylor]: Taking taylor expansion of x in z 3.207 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.207 * [taylor]: Taking taylor expansion of y in z 3.207 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.207 * [taylor]: Taking taylor expansion of x in z 3.208 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.208 * [taylor]: Taking taylor expansion of y in x 3.209 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x y))) in x 3.209 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.209 * [taylor]: Taking taylor expansion of x in x 3.209 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.209 * [taylor]: Taking taylor expansion of (* x y) in x 3.209 * [taylor]: Taking taylor expansion of x in x 3.209 * [taylor]: Taking taylor expansion of y in x 3.209 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 3.209 * [taylor]: Taking taylor expansion of 1 in y 3.209 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.209 * [taylor]: Taking taylor expansion of y in y 3.210 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.210 * [taylor]: Taking taylor expansion of y in y 3.212 * [taylor]: Taking taylor expansion of 0 in x 3.213 * [taylor]: Taking taylor expansion of 0 in y 3.213 * [taylor]: Taking taylor expansion of 0 in y 3.215 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in (z x y) around 0 3.215 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in y 3.215 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 3.215 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in y 3.215 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 3.215 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.215 * [taylor]: Taking taylor expansion of x in y 3.215 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.215 * [taylor]: Taking taylor expansion of z in y 3.215 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.215 * [taylor]: Taking taylor expansion of -1 in y 3.215 * [taylor]: Taking taylor expansion of y in y 3.215 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.215 * [taylor]: Taking taylor expansion of -1 in y 3.215 * [taylor]: Taking taylor expansion of x in y 3.215 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in x 3.216 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 3.216 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in x 3.216 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 3.216 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.216 * [taylor]: Taking taylor expansion of x in x 3.216 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.216 * [taylor]: Taking taylor expansion of z in x 3.216 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.216 * [taylor]: Taking taylor expansion of -1 in x 3.216 * [taylor]: Taking taylor expansion of y in x 3.216 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.216 * [taylor]: Taking taylor expansion of -1 in x 3.216 * [taylor]: Taking taylor expansion of x in x 3.216 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 3.216 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 3.216 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 3.216 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 3.216 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.217 * [taylor]: Taking taylor expansion of x in z 3.217 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.217 * [taylor]: Taking taylor expansion of z in z 3.217 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.217 * [taylor]: Taking taylor expansion of -1 in z 3.217 * [taylor]: Taking taylor expansion of y in z 3.217 * [taylor]: Taking taylor expansion of (/ -1 x) in z 3.217 * [taylor]: Taking taylor expansion of -1 in z 3.217 * [taylor]: Taking taylor expansion of x in z 3.217 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 3.217 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 3.217 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 3.217 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 3.217 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.217 * [taylor]: Taking taylor expansion of x in z 3.217 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.217 * [taylor]: Taking taylor expansion of z in z 3.217 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.218 * [taylor]: Taking taylor expansion of -1 in z 3.218 * [taylor]: Taking taylor expansion of y in z 3.218 * [taylor]: Taking taylor expansion of (/ -1 x) in z 3.218 * [taylor]: Taking taylor expansion of -1 in z 3.218 * [taylor]: Taking taylor expansion of x in z 3.218 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.218 * [taylor]: Taking taylor expansion of y in x 3.219 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 (* x y)))) in x 3.219 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 3.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.219 * [taylor]: Taking taylor expansion of x in x 3.220 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.220 * [taylor]: Taking taylor expansion of (* x y) in x 3.220 * [taylor]: Taking taylor expansion of x in x 3.220 * [taylor]: Taking taylor expansion of y in x 3.220 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1)) in y 3.220 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 3.220 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.220 * [taylor]: Taking taylor expansion of y in y 3.220 * [taylor]: Taking taylor expansion of 1 in y 3.221 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.221 * [taylor]: Taking taylor expansion of y in y 3.223 * [taylor]: Taking taylor expansion of 0 in x 3.224 * [taylor]: Taking taylor expansion of 0 in y 3.224 * [taylor]: Taking taylor expansion of 0 in y 3.226 * * * [progress]: simplifying candidates 3.226 * [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)) 3.228 * * [simplify]: iteration 0 : 66 enodes (cost 554 ) 3.238 * * [simplify]: iteration 1 : 117 enodes (cost 542 ) 3.257 * * [simplify]: iteration 2 : 281 enodes (cost 492 ) 3.335 * * [simplify]: iteration 3 : 968 enodes (cost 492 ) 3.799 * * [simplify]: iteration 4 : 3729 enodes (cost 492 ) 4.922 * * [simplify]: iteration done : 5000 enodes (cost 492 ) 4.922 * [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 y (- z x) x) z) (/ 1 z) (/ z (fma y (- z x) 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 y (- z x) 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) 4.923 * * * [progress]: adding candidates to table 5.023 * * [progress]: iteration 2 / 4 5.023 * * * [progress]: picking best candidate 5.029 * * * * [pick]: Picked # 5.029 * * * [progress]: localizing error 5.037 * * * [progress]: generating rewritten candidates 5.037 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 5.040 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 5.127 * * * [progress]: generating series expansions 5.128 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 5.128 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0 5.128 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 5.128 * [taylor]: Taking taylor expansion of (* x y) in z 5.128 * [taylor]: Taking taylor expansion of x in z 5.128 * [taylor]: Taking taylor expansion of y in z 5.128 * [taylor]: Taking taylor expansion of z in z 5.128 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 5.128 * [taylor]: Taking taylor expansion of (* x y) in y 5.128 * [taylor]: Taking taylor expansion of x in y 5.128 * [taylor]: Taking taylor expansion of y in y 5.128 * [taylor]: Taking taylor expansion of z in y 5.129 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 5.129 * [taylor]: Taking taylor expansion of (* x y) in x 5.129 * [taylor]: Taking taylor expansion of x in x 5.129 * [taylor]: Taking taylor expansion of y in x 5.129 * [taylor]: Taking taylor expansion of z in x 5.129 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 5.129 * [taylor]: Taking taylor expansion of (* x y) in x 5.129 * [taylor]: Taking taylor expansion of x in x 5.129 * [taylor]: Taking taylor expansion of y in x 5.129 * [taylor]: Taking taylor expansion of z in x 5.129 * [taylor]: Taking taylor expansion of (/ y z) in y 5.129 * [taylor]: Taking taylor expansion of y in y 5.129 * [taylor]: Taking taylor expansion of z in y 5.129 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.129 * [taylor]: Taking taylor expansion of z in z 5.130 * [taylor]: Taking taylor expansion of 0 in y 5.130 * [taylor]: Taking taylor expansion of 0 in z 5.130 * [taylor]: Taking taylor expansion of 0 in z 5.132 * [taylor]: Taking taylor expansion of 0 in y 5.132 * [taylor]: Taking taylor expansion of 0 in z 5.132 * [taylor]: Taking taylor expansion of 0 in z 5.132 * [taylor]: Taking taylor expansion of 0 in z 5.133 * [taylor]: Taking taylor expansion of 0 in y 5.134 * [taylor]: Taking taylor expansion of 0 in z 5.134 * [taylor]: Taking taylor expansion of 0 in z 5.134 * [taylor]: Taking taylor expansion of 0 in z 5.134 * [taylor]: Taking taylor expansion of 0 in z 5.134 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0 5.134 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 5.134 * [taylor]: Taking taylor expansion of z in z 5.134 * [taylor]: Taking taylor expansion of (* x y) in z 5.134 * [taylor]: Taking taylor expansion of x in z 5.134 * [taylor]: Taking taylor expansion of y in z 5.134 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 5.134 * [taylor]: Taking taylor expansion of z in y 5.134 * [taylor]: Taking taylor expansion of (* x y) in y 5.134 * [taylor]: Taking taylor expansion of x in y 5.134 * [taylor]: Taking taylor expansion of y in y 5.134 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 5.134 * [taylor]: Taking taylor expansion of z in x 5.134 * [taylor]: Taking taylor expansion of (* x y) in x 5.134 * [taylor]: Taking taylor expansion of x in x 5.135 * [taylor]: Taking taylor expansion of y in x 5.135 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 5.135 * [taylor]: Taking taylor expansion of z in x 5.135 * [taylor]: Taking taylor expansion of (* x y) in x 5.135 * [taylor]: Taking taylor expansion of x in x 5.135 * [taylor]: Taking taylor expansion of y in x 5.135 * [taylor]: Taking taylor expansion of (/ z y) in y 5.135 * [taylor]: Taking taylor expansion of z in y 5.135 * [taylor]: Taking taylor expansion of y in y 5.135 * [taylor]: Taking taylor expansion of z in z 5.136 * [taylor]: Taking taylor expansion of 0 in y 5.137 * [taylor]: Taking taylor expansion of 0 in z 5.137 * [taylor]: Taking taylor expansion of 0 in y 5.137 * [taylor]: Taking taylor expansion of 0 in z 5.138 * [taylor]: Taking taylor expansion of 0 in z 5.139 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0 5.139 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 5.139 * [taylor]: Taking taylor expansion of -1 in z 5.139 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 5.139 * [taylor]: Taking taylor expansion of z in z 5.139 * [taylor]: Taking taylor expansion of (* x y) in z 5.139 * [taylor]: Taking taylor expansion of x in z 5.139 * [taylor]: Taking taylor expansion of y in z 5.139 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 5.139 * [taylor]: Taking taylor expansion of -1 in y 5.139 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 5.139 * [taylor]: Taking taylor expansion of z in y 5.139 * [taylor]: Taking taylor expansion of (* x y) in y 5.139 * [taylor]: Taking taylor expansion of x in y 5.139 * [taylor]: Taking taylor expansion of y in y 5.139 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 5.139 * [taylor]: Taking taylor expansion of -1 in x 5.139 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 5.139 * [taylor]: Taking taylor expansion of z in x 5.139 * [taylor]: Taking taylor expansion of (* x y) in x 5.139 * [taylor]: Taking taylor expansion of x in x 5.139 * [taylor]: Taking taylor expansion of y in x 5.140 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 5.140 * [taylor]: Taking taylor expansion of -1 in x 5.140 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 5.140 * [taylor]: Taking taylor expansion of z in x 5.140 * [taylor]: Taking taylor expansion of (* x y) in x 5.140 * [taylor]: Taking taylor expansion of x in x 5.140 * [taylor]: Taking taylor expansion of y in x 5.140 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y 5.140 * [taylor]: Taking taylor expansion of -1 in y 5.140 * [taylor]: Taking taylor expansion of (/ z y) in y 5.140 * [taylor]: Taking taylor expansion of z in y 5.140 * [taylor]: Taking taylor expansion of y in y 5.140 * [taylor]: Taking taylor expansion of (* -1 z) in z 5.140 * [taylor]: Taking taylor expansion of -1 in z 5.140 * [taylor]: Taking taylor expansion of z in z 5.142 * [taylor]: Taking taylor expansion of 0 in y 5.142 * [taylor]: Taking taylor expansion of 0 in z 5.144 * [taylor]: Taking taylor expansion of 0 in y 5.144 * [taylor]: Taking taylor expansion of 0 in z 5.146 * [taylor]: Taking taylor expansion of 0 in z 5.146 * * * * [progress]: [ 2 / 2 ] generating series at (2) 5.147 * [approximate]: Taking taylor expansion of (- (+ (/ x z) y) (/ (* x y) z)) in (x z y) around 0 5.147 * [taylor]: Taking taylor expansion of (- (+ (/ x z) y) (/ (* x y) z)) in y 5.147 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in y 5.147 * [taylor]: Taking taylor expansion of (/ x z) in y 5.147 * [taylor]: Taking taylor expansion of x in y 5.147 * [taylor]: Taking taylor expansion of z in y 5.147 * [taylor]: Taking taylor expansion of y in y 5.147 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 5.147 * [taylor]: Taking taylor expansion of (* x y) in y 5.147 * [taylor]: Taking taylor expansion of x in y 5.147 * [taylor]: Taking taylor expansion of y in y 5.147 * [taylor]: Taking taylor expansion of z in y 5.147 * [taylor]: Taking taylor expansion of (- (+ (/ x z) y) (/ (* x y) z)) in z 5.147 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in z 5.147 * [taylor]: Taking taylor expansion of (/ x z) in z 5.147 * [taylor]: Taking taylor expansion of x in z 5.147 * [taylor]: Taking taylor expansion of z in z 5.147 * [taylor]: Taking taylor expansion of y in z 5.147 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 5.147 * [taylor]: Taking taylor expansion of (* x y) in z 5.147 * [taylor]: Taking taylor expansion of x in z 5.147 * [taylor]: Taking taylor expansion of y in z 5.147 * [taylor]: Taking taylor expansion of z in z 5.147 * [taylor]: Taking taylor expansion of (- (+ (/ x z) y) (/ (* x y) z)) in x 5.147 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in x 5.147 * [taylor]: Taking taylor expansion of (/ x z) in x 5.147 * [taylor]: Taking taylor expansion of x in x 5.147 * [taylor]: Taking taylor expansion of z in x 5.147 * [taylor]: Taking taylor expansion of y in x 5.147 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 5.148 * [taylor]: Taking taylor expansion of (* x y) in x 5.148 * [taylor]: Taking taylor expansion of x in x 5.148 * [taylor]: Taking taylor expansion of y in x 5.148 * [taylor]: Taking taylor expansion of z in x 5.148 * [taylor]: Taking taylor expansion of (- (+ (/ x z) y) (/ (* x y) z)) in x 5.148 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in x 5.148 * [taylor]: Taking taylor expansion of (/ x z) in x 5.148 * [taylor]: Taking taylor expansion of x in x 5.148 * [taylor]: Taking taylor expansion of z in x 5.148 * [taylor]: Taking taylor expansion of y in x 5.148 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 5.148 * [taylor]: Taking taylor expansion of (* x y) in x 5.148 * [taylor]: Taking taylor expansion of x in x 5.148 * [taylor]: Taking taylor expansion of y in x 5.148 * [taylor]: Taking taylor expansion of z in x 5.148 * [taylor]: Taking taylor expansion of y in z 5.149 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ y z)) in z 5.149 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.149 * [taylor]: Taking taylor expansion of z in z 5.149 * [taylor]: Taking taylor expansion of (/ y z) in z 5.149 * [taylor]: Taking taylor expansion of y in z 5.149 * [taylor]: Taking taylor expansion of z in z 5.149 * [taylor]: Taking taylor expansion of (- 1 y) in y 5.149 * [taylor]: Taking taylor expansion of 1 in y 5.149 * [taylor]: Taking taylor expansion of y in y 5.150 * [taylor]: Taking taylor expansion of y in y 5.151 * [taylor]: Taking taylor expansion of 0 in z 5.152 * [taylor]: Taking taylor expansion of 0 in y 5.152 * [taylor]: Taking taylor expansion of 0 in y 5.153 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ z x)) (/ z (* x y))) in (x z y) around 0 5.154 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ z x)) (/ z (* x y))) in y 5.154 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in y 5.154 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.154 * [taylor]: Taking taylor expansion of y in y 5.154 * [taylor]: Taking taylor expansion of (/ z x) in y 5.154 * [taylor]: Taking taylor expansion of z in y 5.154 * [taylor]: Taking taylor expansion of x in y 5.154 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 5.154 * [taylor]: Taking taylor expansion of z in y 5.154 * [taylor]: Taking taylor expansion of (* x y) in y 5.154 * [taylor]: Taking taylor expansion of x in y 5.154 * [taylor]: Taking taylor expansion of y in y 5.154 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ z x)) (/ z (* x y))) in z 5.154 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in z 5.154 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.154 * [taylor]: Taking taylor expansion of y in z 5.154 * [taylor]: Taking taylor expansion of (/ z x) in z 5.154 * [taylor]: Taking taylor expansion of z in z 5.154 * [taylor]: Taking taylor expansion of x in z 5.155 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 5.155 * [taylor]: Taking taylor expansion of z in z 5.155 * [taylor]: Taking taylor expansion of (* x y) in z 5.155 * [taylor]: Taking taylor expansion of x in z 5.155 * [taylor]: Taking taylor expansion of y in z 5.155 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ z x)) (/ z (* x y))) in x 5.155 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in x 5.155 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.155 * [taylor]: Taking taylor expansion of y in x 5.155 * [taylor]: Taking taylor expansion of (/ z x) in x 5.155 * [taylor]: Taking taylor expansion of z in x 5.155 * [taylor]: Taking taylor expansion of x in x 5.155 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 5.155 * [taylor]: Taking taylor expansion of z in x 5.155 * [taylor]: Taking taylor expansion of (* x y) in x 5.155 * [taylor]: Taking taylor expansion of x in x 5.155 * [taylor]: Taking taylor expansion of y in x 5.155 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ z x)) (/ z (* x y))) in x 5.155 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in x 5.155 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.155 * [taylor]: Taking taylor expansion of y in x 5.155 * [taylor]: Taking taylor expansion of (/ z x) in x 5.155 * [taylor]: Taking taylor expansion of z in x 5.155 * [taylor]: Taking taylor expansion of x in x 5.155 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 5.155 * [taylor]: Taking taylor expansion of z in x 5.155 * [taylor]: Taking taylor expansion of (* x y) in x 5.155 * [taylor]: Taking taylor expansion of x in x 5.155 * [taylor]: Taking taylor expansion of y in x 5.156 * [taylor]: Taking taylor expansion of (- z (/ z y)) in z 5.156 * [taylor]: Taking taylor expansion of z in z 5.156 * [taylor]: Taking taylor expansion of (/ z y) in z 5.156 * [taylor]: Taking taylor expansion of z in z 5.156 * [taylor]: Taking taylor expansion of y in z 5.156 * [taylor]: Taking taylor expansion of 0 in y 5.158 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.158 * [taylor]: Taking taylor expansion of y in z 5.158 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.158 * [taylor]: Taking taylor expansion of y in y 5.158 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 5.158 * [taylor]: Taking taylor expansion of 1 in y 5.158 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.158 * [taylor]: Taking taylor expansion of y in y 5.162 * [taylor]: Taking taylor expansion of 0 in z 5.162 * [taylor]: Taking taylor expansion of 0 in y 5.162 * [taylor]: Taking taylor expansion of 0 in y 5.162 * [taylor]: Taking taylor expansion of 0 in y 5.164 * [approximate]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ z x)) (/ 1 y)) in (x z y) around 0 5.164 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ z x)) (/ 1 y)) in y 5.164 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ z x)) in y 5.164 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 5.164 * [taylor]: Taking taylor expansion of z in y 5.164 * [taylor]: Taking taylor expansion of (* x y) in y 5.164 * [taylor]: Taking taylor expansion of x in y 5.164 * [taylor]: Taking taylor expansion of y in y 5.165 * [taylor]: Taking taylor expansion of (/ z x) in y 5.165 * [taylor]: Taking taylor expansion of z in y 5.165 * [taylor]: Taking taylor expansion of x in y 5.165 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.165 * [taylor]: Taking taylor expansion of y in y 5.165 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ z x)) (/ 1 y)) in z 5.165 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ z x)) in z 5.165 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 5.165 * [taylor]: Taking taylor expansion of z in z 5.165 * [taylor]: Taking taylor expansion of (* x y) in z 5.165 * [taylor]: Taking taylor expansion of x in z 5.165 * [taylor]: Taking taylor expansion of y in z 5.165 * [taylor]: Taking taylor expansion of (/ z x) in z 5.165 * [taylor]: Taking taylor expansion of z in z 5.165 * [taylor]: Taking taylor expansion of x in z 5.165 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.165 * [taylor]: Taking taylor expansion of y in z 5.165 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ z x)) (/ 1 y)) in x 5.165 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ z x)) in x 5.165 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 5.165 * [taylor]: Taking taylor expansion of z in x 5.165 * [taylor]: Taking taylor expansion of (* x y) in x 5.165 * [taylor]: Taking taylor expansion of x in x 5.165 * [taylor]: Taking taylor expansion of y in x 5.166 * [taylor]: Taking taylor expansion of (/ z x) in x 5.166 * [taylor]: Taking taylor expansion of z in x 5.166 * [taylor]: Taking taylor expansion of x in x 5.166 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.166 * [taylor]: Taking taylor expansion of y in x 5.166 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ z x)) (/ 1 y)) in x 5.166 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ z x)) in x 5.166 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 5.166 * [taylor]: Taking taylor expansion of z in x 5.166 * [taylor]: Taking taylor expansion of (* x y) in x 5.166 * [taylor]: Taking taylor expansion of x in x 5.166 * [taylor]: Taking taylor expansion of y in x 5.166 * [taylor]: Taking taylor expansion of (/ z x) in x 5.166 * [taylor]: Taking taylor expansion of z in x 5.166 * [taylor]: Taking taylor expansion of x in x 5.166 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.166 * [taylor]: Taking taylor expansion of y in x 5.167 * [taylor]: Taking taylor expansion of (+ z (/ z y)) in z 5.167 * [taylor]: Taking taylor expansion of z in z 5.167 * [taylor]: Taking taylor expansion of (/ z y) in z 5.167 * [taylor]: Taking taylor expansion of z in z 5.167 * [taylor]: Taking taylor expansion of y in z 5.167 * [taylor]: Taking taylor expansion of 0 in y 5.168 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in z 5.168 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.168 * [taylor]: Taking taylor expansion of y in z 5.168 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 5.168 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.169 * [taylor]: Taking taylor expansion of y in y 5.169 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 5.169 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.169 * [taylor]: Taking taylor expansion of y in y 5.169 * [taylor]: Taking taylor expansion of 1 in y 5.172 * [taylor]: Taking taylor expansion of 0 in z 5.172 * [taylor]: Taking taylor expansion of 0 in y 5.172 * [taylor]: Taking taylor expansion of 0 in y 5.173 * [taylor]: Taking taylor expansion of 0 in y 5.175 * * * [progress]: simplifying candidates 5.176 * [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)) 5.181 * * [simplify]: iteration 0 : 150 enodes (cost 1944 ) 5.209 * * [simplify]: iteration 1 : 377 enodes (cost 1617 ) 5.345 * * [simplify]: iteration 2 : 1366 enodes (cost 1330 ) 5.903 * * [simplify]: iteration done : 5001 enodes (cost 1330 ) 5.903 * [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 (/ (* 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)) (* (- 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))) (* x y) (/ 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))))) (* (/ x (sqrt z)) (+ (- (/ y (sqrt z))) (/ y (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)))) (* (/ x (sqrt z)) (+ (- (/ y (sqrt z))) (/ y (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)))) (* (/ x (sqrt z)) (+ (- (/ y (sqrt z))) (/ y (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)))) (* (/ x (sqrt z)) (+ (- (/ y (sqrt z))) (/ y (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 (/ (* x y) z) (fma (/ x z) y (+ (/ x z) y)) (* (+ (/ x z) y) (+ (/ x z) y))) (* (/ x z) (- y)) (* (fma (/ x z) y (+ (/ x z) y)) (- (+ (/ x z) y) (/ (* x y) z))) (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)) (/ (* 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)) 5.904 * * * [progress]: adding candidates to table 6.025 * * [progress]: iteration 3 / 4 6.025 * * * [progress]: picking best candidate 6.030 * * * * [pick]: Picked # 6.030 * * * [progress]: localizing error 6.038 * * * [progress]: generating rewritten candidates 6.038 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3) 6.049 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 6.051 * * * [progress]: generating series expansions 6.051 * * * * [progress]: [ 1 / 2 ] generating series at (2 3) 6.051 * [approximate]: Taking taylor expansion of (* -1 (/ (* x y) z)) in (x z y) around 0 6.051 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in y 6.051 * [taylor]: Taking taylor expansion of -1 in y 6.051 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 6.051 * [taylor]: Taking taylor expansion of (* x y) in y 6.051 * [taylor]: Taking taylor expansion of x in y 6.051 * [taylor]: Taking taylor expansion of y in y 6.051 * [taylor]: Taking taylor expansion of z in y 6.052 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z 6.052 * [taylor]: Taking taylor expansion of -1 in z 6.052 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 6.052 * [taylor]: Taking taylor expansion of (* x y) in z 6.052 * [taylor]: Taking taylor expansion of x in z 6.052 * [taylor]: Taking taylor expansion of y in z 6.052 * [taylor]: Taking taylor expansion of z in z 6.052 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in x 6.052 * [taylor]: Taking taylor expansion of -1 in x 6.052 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 6.052 * [taylor]: Taking taylor expansion of (* x y) in x 6.052 * [taylor]: Taking taylor expansion of x in x 6.052 * [taylor]: Taking taylor expansion of y in x 6.052 * [taylor]: Taking taylor expansion of z in x 6.052 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in x 6.052 * [taylor]: Taking taylor expansion of -1 in x 6.052 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 6.052 * [taylor]: Taking taylor expansion of (* x y) in x 6.052 * [taylor]: Taking taylor expansion of x in x 6.052 * [taylor]: Taking taylor expansion of y in x 6.053 * [taylor]: Taking taylor expansion of z in x 6.053 * [taylor]: Taking taylor expansion of (* -1 (/ y z)) in z 6.053 * [taylor]: Taking taylor expansion of -1 in z 6.053 * [taylor]: Taking taylor expansion of (/ y z) in z 6.053 * [taylor]: Taking taylor expansion of y in z 6.053 * [taylor]: Taking taylor expansion of z in z 6.053 * [taylor]: Taking taylor expansion of (* -1 y) in y 6.053 * [taylor]: Taking taylor expansion of -1 in y 6.053 * [taylor]: Taking taylor expansion of y in y 6.054 * [taylor]: Taking taylor expansion of 0 in z 6.055 * [taylor]: Taking taylor expansion of 0 in y 6.057 * [taylor]: Taking taylor expansion of 0 in z 6.057 * [taylor]: Taking taylor expansion of 0 in y 6.059 * [taylor]: Taking taylor expansion of 0 in y 6.059 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x z y) around 0 6.059 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 6.060 * [taylor]: Taking taylor expansion of -1 in y 6.060 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 6.060 * [taylor]: Taking taylor expansion of z in y 6.060 * [taylor]: Taking taylor expansion of (* x y) in y 6.060 * [taylor]: Taking taylor expansion of x in y 6.060 * [taylor]: Taking taylor expansion of y in y 6.060 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 6.060 * [taylor]: Taking taylor expansion of -1 in z 6.060 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 6.060 * [taylor]: Taking taylor expansion of z in z 6.060 * [taylor]: Taking taylor expansion of (* x y) in z 6.060 * [taylor]: Taking taylor expansion of x in z 6.060 * [taylor]: Taking taylor expansion of y in z 6.060 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 6.060 * [taylor]: Taking taylor expansion of -1 in x 6.060 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 6.060 * [taylor]: Taking taylor expansion of z in x 6.060 * [taylor]: Taking taylor expansion of (* x y) in x 6.060 * [taylor]: Taking taylor expansion of x in x 6.060 * [taylor]: Taking taylor expansion of y in x 6.060 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 6.061 * [taylor]: Taking taylor expansion of -1 in x 6.061 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 6.061 * [taylor]: Taking taylor expansion of z in x 6.061 * [taylor]: Taking taylor expansion of (* x y) in x 6.061 * [taylor]: Taking taylor expansion of x in x 6.061 * [taylor]: Taking taylor expansion of y in x 6.061 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z 6.061 * [taylor]: Taking taylor expansion of -1 in z 6.061 * [taylor]: Taking taylor expansion of (/ z y) in z 6.061 * [taylor]: Taking taylor expansion of z in z 6.061 * [taylor]: Taking taylor expansion of y in z 6.061 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.061 * [taylor]: Taking taylor expansion of -1 in y 6.061 * [taylor]: Taking taylor expansion of y in y 6.062 * [taylor]: Taking taylor expansion of 0 in z 6.062 * [taylor]: Taking taylor expansion of 0 in y 6.063 * [taylor]: Taking taylor expansion of 0 in y 6.065 * [taylor]: Taking taylor expansion of 0 in z 6.065 * [taylor]: Taking taylor expansion of 0 in y 6.065 * [taylor]: Taking taylor expansion of 0 in y 6.065 * [taylor]: Taking taylor expansion of 0 in y 6.068 * [taylor]: Taking taylor expansion of 0 in z 6.068 * [taylor]: Taking taylor expansion of 0 in y 6.068 * [taylor]: Taking taylor expansion of 0 in y 6.068 * [taylor]: Taking taylor expansion of 0 in y 6.069 * [taylor]: Taking taylor expansion of 0 in y 6.069 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x z y) around 0 6.069 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 6.069 * [taylor]: Taking taylor expansion of z in y 6.069 * [taylor]: Taking taylor expansion of (* x y) in y 6.069 * [taylor]: Taking taylor expansion of x in y 6.069 * [taylor]: Taking taylor expansion of y in y 6.069 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 6.069 * [taylor]: Taking taylor expansion of z in z 6.069 * [taylor]: Taking taylor expansion of (* x y) in z 6.069 * [taylor]: Taking taylor expansion of x in z 6.069 * [taylor]: Taking taylor expansion of y in z 6.069 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 6.069 * [taylor]: Taking taylor expansion of z in x 6.069 * [taylor]: Taking taylor expansion of (* x y) in x 6.069 * [taylor]: Taking taylor expansion of x in x 6.070 * [taylor]: Taking taylor expansion of y in x 6.070 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 6.070 * [taylor]: Taking taylor expansion of z in x 6.070 * [taylor]: Taking taylor expansion of (* x y) in x 6.070 * [taylor]: Taking taylor expansion of x in x 6.070 * [taylor]: Taking taylor expansion of y in x 6.070 * [taylor]: Taking taylor expansion of (/ z y) in z 6.070 * [taylor]: Taking taylor expansion of z in z 6.070 * [taylor]: Taking taylor expansion of y in z 6.070 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.070 * [taylor]: Taking taylor expansion of y in y 6.071 * [taylor]: Taking taylor expansion of 0 in z 6.071 * [taylor]: Taking taylor expansion of 0 in y 6.071 * [taylor]: Taking taylor expansion of 0 in y 6.073 * [taylor]: Taking taylor expansion of 0 in z 6.073 * [taylor]: Taking taylor expansion of 0 in y 6.073 * [taylor]: Taking taylor expansion of 0 in y 6.073 * [taylor]: Taking taylor expansion of 0 in y 6.074 * [taylor]: Taking taylor expansion of 0 in z 6.075 * [taylor]: Taking taylor expansion of 0 in y 6.075 * [taylor]: Taking taylor expansion of 0 in y 6.075 * [taylor]: Taking taylor expansion of 0 in y 6.075 * [taylor]: Taking taylor expansion of 0 in y 6.075 * * * * [progress]: [ 2 / 2 ] generating series at (2) 6.075 * [approximate]: Taking taylor expansion of (fma 1 (+ (/ x z) y) (* -1 (/ (* x y) z))) in (x z y) around 0 6.075 * [taylor]: Taking taylor expansion of (fma 1 (+ (/ x z) y) (* -1 (/ (* x y) z))) in y 6.075 * [taylor]: Rewrote expression to (+ (* 1 (+ (/ x z) y)) (* -1 (/ (* x y) z))) 6.075 * [taylor]: Taking taylor expansion of (* 1 (+ (/ x z) y)) in y 6.075 * [taylor]: Taking taylor expansion of 1 in y 6.075 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in y 6.075 * [taylor]: Taking taylor expansion of (/ x z) in y 6.075 * [taylor]: Taking taylor expansion of x in y 6.075 * [taylor]: Taking taylor expansion of z in y 6.075 * [taylor]: Taking taylor expansion of y in y 6.076 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in y 6.076 * [taylor]: Taking taylor expansion of -1 in y 6.076 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 6.076 * [taylor]: Taking taylor expansion of (* x y) in y 6.076 * [taylor]: Taking taylor expansion of x in y 6.076 * [taylor]: Taking taylor expansion of y in y 6.076 * [taylor]: Taking taylor expansion of z in y 6.076 * [taylor]: Taking taylor expansion of (fma 1 (+ (/ x z) y) (* -1 (/ (* x y) z))) in z 6.076 * [taylor]: Rewrote expression to (+ (* 1 (+ (/ x z) y)) (* -1 (/ (* x y) z))) 6.076 * [taylor]: Taking taylor expansion of (* 1 (+ (/ x z) y)) in z 6.076 * [taylor]: Taking taylor expansion of 1 in z 6.076 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in z 6.076 * [taylor]: Taking taylor expansion of (/ x z) in z 6.076 * [taylor]: Taking taylor expansion of x in z 6.076 * [taylor]: Taking taylor expansion of z in z 6.076 * [taylor]: Taking taylor expansion of y in z 6.076 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z 6.076 * [taylor]: Taking taylor expansion of -1 in z 6.076 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 6.076 * [taylor]: Taking taylor expansion of (* x y) in z 6.076 * [taylor]: Taking taylor expansion of x in z 6.076 * [taylor]: Taking taylor expansion of y in z 6.076 * [taylor]: Taking taylor expansion of z in z 6.076 * [taylor]: Taking taylor expansion of (fma 1 (+ (/ x z) y) (* -1 (/ (* x y) z))) in x 6.076 * [taylor]: Rewrote expression to (+ (* 1 (+ (/ x z) y)) (* -1 (/ (* x y) z))) 6.076 * [taylor]: Taking taylor expansion of (* 1 (+ (/ x z) y)) in x 6.076 * [taylor]: Taking taylor expansion of 1 in x 6.077 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in x 6.077 * [taylor]: Taking taylor expansion of (/ x z) in x 6.077 * [taylor]: Taking taylor expansion of x in x 6.077 * [taylor]: Taking taylor expansion of z in x 6.077 * [taylor]: Taking taylor expansion of y in x 6.077 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in x 6.077 * [taylor]: Taking taylor expansion of -1 in x 6.077 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 6.077 * [taylor]: Taking taylor expansion of (* x y) in x 6.077 * [taylor]: Taking taylor expansion of x in x 6.077 * [taylor]: Taking taylor expansion of y in x 6.077 * [taylor]: Taking taylor expansion of z in x 6.077 * [taylor]: Taking taylor expansion of (fma 1 (+ (/ x z) y) (* -1 (/ (* x y) z))) in x 6.077 * [taylor]: Rewrote expression to (+ (* 1 (+ (/ x z) y)) (* -1 (/ (* x y) z))) 6.077 * [taylor]: Taking taylor expansion of (* 1 (+ (/ x z) y)) in x 6.077 * [taylor]: Taking taylor expansion of 1 in x 6.077 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in x 6.077 * [taylor]: Taking taylor expansion of (/ x z) in x 6.077 * [taylor]: Taking taylor expansion of x in x 6.077 * [taylor]: Taking taylor expansion of z in x 6.077 * [taylor]: Taking taylor expansion of y in x 6.077 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in x 6.077 * [taylor]: Taking taylor expansion of -1 in x 6.077 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 6.077 * [taylor]: Taking taylor expansion of (* x y) in x 6.077 * [taylor]: Taking taylor expansion of x in x 6.077 * [taylor]: Taking taylor expansion of y in x 6.077 * [taylor]: Taking taylor expansion of z in x 6.078 * [taylor]: Taking taylor expansion of y in z 6.078 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ y z)) in z 6.078 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.078 * [taylor]: Taking taylor expansion of z in z 6.078 * [taylor]: Taking taylor expansion of (/ y z) in z 6.078 * [taylor]: Taking taylor expansion of y in z 6.078 * [taylor]: Taking taylor expansion of z in z 6.078 * [taylor]: Taking taylor expansion of (- 1 y) in y 6.078 * [taylor]: Taking taylor expansion of 1 in y 6.078 * [taylor]: Taking taylor expansion of y in y 6.079 * [taylor]: Taking taylor expansion of y in y 6.081 * [taylor]: Taking taylor expansion of 0 in z 6.082 * [taylor]: Taking taylor expansion of 0 in y 6.082 * [taylor]: Taking taylor expansion of 0 in y 6.083 * [approximate]: Taking taylor expansion of (fma 1 (+ (/ 1 y) (/ z x)) (* -1 (/ z (* x y)))) in (x z y) around 0 6.083 * [taylor]: Taking taylor expansion of (fma 1 (+ (/ 1 y) (/ z x)) (* -1 (/ z (* x y)))) in y 6.083 * [taylor]: Rewrote expression to (+ (* 1 (+ (/ 1 y) (/ z x))) (* -1 (/ z (* x y)))) 6.084 * [taylor]: Taking taylor expansion of (* 1 (+ (/ 1 y) (/ z x))) in y 6.084 * [taylor]: Taking taylor expansion of 1 in y 6.084 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in y 6.084 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.084 * [taylor]: Taking taylor expansion of y in y 6.084 * [taylor]: Taking taylor expansion of (/ z x) in y 6.084 * [taylor]: Taking taylor expansion of z in y 6.084 * [taylor]: Taking taylor expansion of x in y 6.084 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 6.084 * [taylor]: Taking taylor expansion of -1 in y 6.084 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 6.084 * [taylor]: Taking taylor expansion of z in y 6.084 * [taylor]: Taking taylor expansion of (* x y) in y 6.084 * [taylor]: Taking taylor expansion of x in y 6.084 * [taylor]: Taking taylor expansion of y in y 6.084 * [taylor]: Taking taylor expansion of (fma 1 (+ (/ 1 y) (/ z x)) (* -1 (/ z (* x y)))) in z 6.085 * [taylor]: Rewrote expression to (+ (* 1 (+ (/ 1 y) (/ z x))) (* -1 (/ z (* x y)))) 6.085 * [taylor]: Taking taylor expansion of (* 1 (+ (/ 1 y) (/ z x))) in z 6.085 * [taylor]: Taking taylor expansion of 1 in z 6.085 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in z 6.085 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.085 * [taylor]: Taking taylor expansion of y in z 6.085 * [taylor]: Taking taylor expansion of (/ z x) in z 6.085 * [taylor]: Taking taylor expansion of z in z 6.085 * [taylor]: Taking taylor expansion of x in z 6.085 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 6.085 * [taylor]: Taking taylor expansion of -1 in z 6.085 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 6.085 * [taylor]: Taking taylor expansion of z in z 6.085 * [taylor]: Taking taylor expansion of (* x y) in z 6.085 * [taylor]: Taking taylor expansion of x in z 6.085 * [taylor]: Taking taylor expansion of y in z 6.085 * [taylor]: Taking taylor expansion of (fma 1 (+ (/ 1 y) (/ z x)) (* -1 (/ z (* x y)))) in x 6.085 * [taylor]: Rewrote expression to (+ (* 1 (+ (/ 1 y) (/ z x))) (* -1 (/ z (* x y)))) 6.085 * [taylor]: Taking taylor expansion of (* 1 (+ (/ 1 y) (/ z x))) in x 6.085 * [taylor]: Taking taylor expansion of 1 in x 6.085 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in x 6.085 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.085 * [taylor]: Taking taylor expansion of y in x 6.085 * [taylor]: Taking taylor expansion of (/ z x) in x 6.085 * [taylor]: Taking taylor expansion of z in x 6.085 * [taylor]: Taking taylor expansion of x in x 6.085 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 6.085 * [taylor]: Taking taylor expansion of -1 in x 6.085 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 6.085 * [taylor]: Taking taylor expansion of z in x 6.085 * [taylor]: Taking taylor expansion of (* x y) in x 6.085 * [taylor]: Taking taylor expansion of x in x 6.085 * [taylor]: Taking taylor expansion of y in x 6.086 * [taylor]: Taking taylor expansion of (fma 1 (+ (/ 1 y) (/ z x)) (* -1 (/ z (* x y)))) in x 6.086 * [taylor]: Rewrote expression to (+ (* 1 (+ (/ 1 y) (/ z x))) (* -1 (/ z (* x y)))) 6.086 * [taylor]: Taking taylor expansion of (* 1 (+ (/ 1 y) (/ z x))) in x 6.086 * [taylor]: Taking taylor expansion of 1 in x 6.086 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in x 6.086 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.086 * [taylor]: Taking taylor expansion of y in x 6.086 * [taylor]: Taking taylor expansion of (/ z x) in x 6.086 * [taylor]: Taking taylor expansion of z in x 6.086 * [taylor]: Taking taylor expansion of x in x 6.086 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 6.086 * [taylor]: Taking taylor expansion of -1 in x 6.086 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 6.086 * [taylor]: Taking taylor expansion of z in x 6.086 * [taylor]: Taking taylor expansion of (* x y) in x 6.086 * [taylor]: Taking taylor expansion of x in x 6.086 * [taylor]: Taking taylor expansion of y in x 6.087 * [taylor]: Taking taylor expansion of (- z (/ z y)) in z 6.087 * [taylor]: Taking taylor expansion of z in z 6.087 * [taylor]: Taking taylor expansion of (/ z y) in z 6.087 * [taylor]: Taking taylor expansion of z in z 6.087 * [taylor]: Taking taylor expansion of y in z 6.087 * [taylor]: Taking taylor expansion of 0 in y 6.088 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.088 * [taylor]: Taking taylor expansion of y in z 6.088 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.089 * [taylor]: Taking taylor expansion of y in y 6.089 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 6.089 * [taylor]: Taking taylor expansion of 1 in y 6.089 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.089 * [taylor]: Taking taylor expansion of y in y 6.093 * [taylor]: Taking taylor expansion of 0 in z 6.093 * [taylor]: Taking taylor expansion of 0 in y 6.093 * [taylor]: Taking taylor expansion of 0 in y 6.093 * [taylor]: Taking taylor expansion of 0 in y 6.095 * [approximate]: Taking taylor expansion of (fma 1 (- (/ z x) (/ 1 y)) (/ z (* x y))) in (x z y) around 0 6.095 * [taylor]: Taking taylor expansion of (fma 1 (- (/ z x) (/ 1 y)) (/ z (* x y))) in y 6.095 * [taylor]: Rewrote expression to (+ (* 1 (- (/ z x) (/ 1 y))) (/ z (* x y))) 6.095 * [taylor]: Taking taylor expansion of (* 1 (- (/ z x) (/ 1 y))) in y 6.096 * [taylor]: Taking taylor expansion of 1 in y 6.096 * [taylor]: Taking taylor expansion of (- (/ z x) (/ 1 y)) in y 6.096 * [taylor]: Taking taylor expansion of (/ z x) in y 6.096 * [taylor]: Taking taylor expansion of z in y 6.096 * [taylor]: Taking taylor expansion of x in y 6.096 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.096 * [taylor]: Taking taylor expansion of y in y 6.096 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 6.096 * [taylor]: Taking taylor expansion of z in y 6.096 * [taylor]: Taking taylor expansion of (* x y) in y 6.096 * [taylor]: Taking taylor expansion of x in y 6.096 * [taylor]: Taking taylor expansion of y in y 6.096 * [taylor]: Taking taylor expansion of (fma 1 (- (/ z x) (/ 1 y)) (/ z (* x y))) in z 6.096 * [taylor]: Rewrote expression to (+ (* 1 (- (/ z x) (/ 1 y))) (/ z (* x y))) 6.096 * [taylor]: Taking taylor expansion of (* 1 (- (/ z x) (/ 1 y))) in z 6.096 * [taylor]: Taking taylor expansion of 1 in z 6.096 * [taylor]: Taking taylor expansion of (- (/ z x) (/ 1 y)) in z 6.097 * [taylor]: Taking taylor expansion of (/ z x) in z 6.097 * [taylor]: Taking taylor expansion of z in z 6.097 * [taylor]: Taking taylor expansion of x in z 6.097 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.097 * [taylor]: Taking taylor expansion of y in z 6.097 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 6.097 * [taylor]: Taking taylor expansion of z in z 6.097 * [taylor]: Taking taylor expansion of (* x y) in z 6.097 * [taylor]: Taking taylor expansion of x in z 6.097 * [taylor]: Taking taylor expansion of y in z 6.097 * [taylor]: Taking taylor expansion of (fma 1 (- (/ z x) (/ 1 y)) (/ z (* x y))) in x 6.097 * [taylor]: Rewrote expression to (+ (* 1 (- (/ z x) (/ 1 y))) (/ z (* x y))) 6.097 * [taylor]: Taking taylor expansion of (* 1 (- (/ z x) (/ 1 y))) in x 6.097 * [taylor]: Taking taylor expansion of 1 in x 6.097 * [taylor]: Taking taylor expansion of (- (/ z x) (/ 1 y)) in x 6.097 * [taylor]: Taking taylor expansion of (/ z x) in x 6.097 * [taylor]: Taking taylor expansion of z in x 6.097 * [taylor]: Taking taylor expansion of x in x 6.097 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.097 * [taylor]: Taking taylor expansion of y in x 6.097 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 6.097 * [taylor]: Taking taylor expansion of z in x 6.097 * [taylor]: Taking taylor expansion of (* x y) in x 6.097 * [taylor]: Taking taylor expansion of x in x 6.097 * [taylor]: Taking taylor expansion of y in x 6.097 * [taylor]: Taking taylor expansion of (fma 1 (- (/ z x) (/ 1 y)) (/ z (* x y))) in x 6.098 * [taylor]: Rewrote expression to (+ (* 1 (- (/ z x) (/ 1 y))) (/ z (* x y))) 6.098 * [taylor]: Taking taylor expansion of (* 1 (- (/ z x) (/ 1 y))) in x 6.098 * [taylor]: Taking taylor expansion of 1 in x 6.098 * [taylor]: Taking taylor expansion of (- (/ z x) (/ 1 y)) in x 6.098 * [taylor]: Taking taylor expansion of (/ z x) in x 6.098 * [taylor]: Taking taylor expansion of z in x 6.098 * [taylor]: Taking taylor expansion of x in x 6.098 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.098 * [taylor]: Taking taylor expansion of y in x 6.098 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 6.098 * [taylor]: Taking taylor expansion of z in x 6.098 * [taylor]: Taking taylor expansion of (* x y) in x 6.098 * [taylor]: Taking taylor expansion of x in x 6.098 * [taylor]: Taking taylor expansion of y in x 6.098 * [taylor]: Taking taylor expansion of (+ z (/ z y)) in z 6.098 * [taylor]: Taking taylor expansion of z in z 6.098 * [taylor]: Taking taylor expansion of (/ z y) in z 6.098 * [taylor]: Taking taylor expansion of z in z 6.098 * [taylor]: Taking taylor expansion of y in z 6.099 * [taylor]: Taking taylor expansion of 0 in y 6.100 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in z 6.100 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.100 * [taylor]: Taking taylor expansion of y in z 6.100 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 6.100 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.100 * [taylor]: Taking taylor expansion of y in y 6.101 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 6.101 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.101 * [taylor]: Taking taylor expansion of y in y 6.101 * [taylor]: Taking taylor expansion of 1 in y 6.104 * [taylor]: Taking taylor expansion of 0 in z 6.104 * [taylor]: Taking taylor expansion of 0 in y 6.104 * [taylor]: Taking taylor expansion of 0 in y 6.104 * [taylor]: Taking taylor expansion of 0 in y 6.109 * * * [progress]: simplifying candidates 6.110 * [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 (fma 1 (+ (/ x z) y) (* (/ x z) (- y)))) (log1p (fma 1 (+ (/ x z) y) (* (/ x z) (- y)))) (* 1 (+ (/ x z) y)) (log (fma 1 (+ (/ x z) y) (* (/ x z) (- y)))) (exp (fma 1 (+ (/ x z) y) (* (/ x z) (- y)))) (* (cbrt (fma 1 (+ (/ x z) y) (* (/ x z) (- y)))) (cbrt (fma 1 (+ (/ x z) y) (* (/ x z) (- y))))) (cbrt (fma 1 (+ (/ x z) y) (* (/ x z) (- y)))) (* (* (fma 1 (+ (/ x z) y) (* (/ x z) (- y))) (fma 1 (+ (/ x z) y) (* (/ x z) (- y)))) (fma 1 (+ (/ x z) y) (* (/ x z) (- y)))) (sqrt (fma 1 (+ (/ x z) y) (* (/ x z) (- y)))) (sqrt (fma 1 (+ (/ x z) 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)) 6.112 * * [simplify]: iteration 0 : 99 enodes (cost 582 ) 6.129 * * [simplify]: iteration 1 : 258 enodes (cost 537 ) 6.253 * * [simplify]: iteration 2 : 858 enodes (cost 483 ) 6.773 * * [simplify]: iteration 3 : 3446 enodes (cost 457 ) 7.876 * * [simplify]: iteration done : 5001 enodes (cost 457 ) 7.877 * [simplify]: Simplified to: (expm1 (* (/ x z) (- y))) (log1p (* (/ x z) (- y))) (* (/ x z) (- y)) (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 z) (- y)) (* (/ x z) (- y)) (/ (- y) z) (* x (- y)) (expm1 (+ y (* (/ x z) (- 1 y)))) (log1p (+ y (* (/ x z) (- 1 y)))) (+ (/ x z) y) (log (+ y (* (/ x z) (- 1 y)))) (exp (+ y (* (/ x z) (- 1 y)))) (* (cbrt (+ y (* (/ x z) (- 1 y)))) (cbrt (+ y (* (/ x z) (- 1 y))))) (cbrt (+ y (* (/ x z) (- 1 y)))) (pow (+ y (* (/ x z) (- 1 y))) 3) (sqrt (+ y (* (/ x z) (- 1 y)))) (sqrt (+ y (* (/ x z) (- 1 y)))) (* (/ x z) (- y)) (* (/ x z) (- y)) (* (/ x z) (- y)) (+ (* (/ x z) (- 1 y)) y) (+ (* (/ x z) (- 1 y)) y) (+ (* (/ x z) (- 1 y)) y) 7.877 * * * [progress]: adding candidates to table 8.010 * * [progress]: iteration 4 / 4 8.011 * * * [progress]: picking best candidate 8.014 * * * * [pick]: Picked # 8.014 * * * [progress]: localizing error 8.026 * * * [progress]: generating rewritten candidates 8.026 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3) 8.042 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 8.045 * * * [progress]: generating series expansions 8.045 * * * * [progress]: [ 1 / 2 ] generating series at (2 3) 8.045 * [approximate]: Taking taylor expansion of (* -1 (/ (* x y) z)) in (x y z) around 0 8.045 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z 8.045 * [taylor]: Taking taylor expansion of -1 in z 8.045 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 8.045 * [taylor]: Taking taylor expansion of (* x y) in z 8.045 * [taylor]: Taking taylor expansion of x in z 8.045 * [taylor]: Taking taylor expansion of y in z 8.045 * [taylor]: Taking taylor expansion of z in z 8.045 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in y 8.045 * [taylor]: Taking taylor expansion of -1 in y 8.045 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 8.045 * [taylor]: Taking taylor expansion of (* x y) in y 8.045 * [taylor]: Taking taylor expansion of x in y 8.045 * [taylor]: Taking taylor expansion of y in y 8.045 * [taylor]: Taking taylor expansion of z in y 8.046 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in x 8.046 * [taylor]: Taking taylor expansion of -1 in x 8.046 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 8.046 * [taylor]: Taking taylor expansion of (* x y) in x 8.046 * [taylor]: Taking taylor expansion of x in x 8.046 * [taylor]: Taking taylor expansion of y in x 8.046 * [taylor]: Taking taylor expansion of z in x 8.046 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in x 8.046 * [taylor]: Taking taylor expansion of -1 in x 8.046 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 8.046 * [taylor]: Taking taylor expansion of (* x y) in x 8.046 * [taylor]: Taking taylor expansion of x in x 8.046 * [taylor]: Taking taylor expansion of y in x 8.046 * [taylor]: Taking taylor expansion of z in x 8.047 * [taylor]: Taking taylor expansion of (* -1 (/ y z)) in y 8.047 * [taylor]: Taking taylor expansion of -1 in y 8.047 * [taylor]: Taking taylor expansion of (/ y z) in y 8.047 * [taylor]: Taking taylor expansion of y in y 8.047 * [taylor]: Taking taylor expansion of z in y 8.047 * [taylor]: Taking taylor expansion of (/ -1 z) in z 8.047 * [taylor]: Taking taylor expansion of -1 in z 8.047 * [taylor]: Taking taylor expansion of z in z 8.048 * [taylor]: Taking taylor expansion of 0 in y 8.048 * [taylor]: Taking taylor expansion of 0 in z 8.049 * [taylor]: Taking taylor expansion of 0 in z 8.050 * [taylor]: Taking taylor expansion of 0 in y 8.051 * [taylor]: Taking taylor expansion of 0 in z 8.051 * [taylor]: Taking taylor expansion of 0 in z 8.051 * [taylor]: Taking taylor expansion of 0 in z 8.054 * [taylor]: Taking taylor expansion of 0 in y 8.054 * [taylor]: Taking taylor expansion of 0 in z 8.054 * [taylor]: Taking taylor expansion of 0 in z 8.054 * [taylor]: Taking taylor expansion of 0 in z 8.055 * [taylor]: Taking taylor expansion of 0 in z 8.055 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0 8.055 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 8.055 * [taylor]: Taking taylor expansion of -1 in z 8.055 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 8.055 * [taylor]: Taking taylor expansion of z in z 8.055 * [taylor]: Taking taylor expansion of (* x y) in z 8.055 * [taylor]: Taking taylor expansion of x in z 8.055 * [taylor]: Taking taylor expansion of y in z 8.055 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 8.055 * [taylor]: Taking taylor expansion of -1 in y 8.055 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 8.055 * [taylor]: Taking taylor expansion of z in y 8.055 * [taylor]: Taking taylor expansion of (* x y) in y 8.055 * [taylor]: Taking taylor expansion of x in y 8.055 * [taylor]: Taking taylor expansion of y in y 8.056 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 8.056 * [taylor]: Taking taylor expansion of -1 in x 8.056 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 8.056 * [taylor]: Taking taylor expansion of z in x 8.056 * [taylor]: Taking taylor expansion of (* x y) in x 8.056 * [taylor]: Taking taylor expansion of x in x 8.056 * [taylor]: Taking taylor expansion of y in x 8.056 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 8.056 * [taylor]: Taking taylor expansion of -1 in x 8.056 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 8.056 * [taylor]: Taking taylor expansion of z in x 8.056 * [taylor]: Taking taylor expansion of (* x y) in x 8.056 * [taylor]: Taking taylor expansion of x in x 8.056 * [taylor]: Taking taylor expansion of y in x 8.057 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y 8.057 * [taylor]: Taking taylor expansion of -1 in y 8.057 * [taylor]: Taking taylor expansion of (/ z y) in y 8.057 * [taylor]: Taking taylor expansion of z in y 8.057 * [taylor]: Taking taylor expansion of y in y 8.057 * [taylor]: Taking taylor expansion of (* -1 z) in z 8.057 * [taylor]: Taking taylor expansion of -1 in z 8.057 * [taylor]: Taking taylor expansion of z in z 8.058 * [taylor]: Taking taylor expansion of 0 in y 8.059 * [taylor]: Taking taylor expansion of 0 in z 8.061 * [taylor]: Taking taylor expansion of 0 in y 8.061 * [taylor]: Taking taylor expansion of 0 in z 8.062 * [taylor]: Taking taylor expansion of 0 in z 8.063 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0 8.063 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 8.063 * [taylor]: Taking taylor expansion of z in z 8.063 * [taylor]: Taking taylor expansion of (* x y) in z 8.063 * [taylor]: Taking taylor expansion of x in z 8.063 * [taylor]: Taking taylor expansion of y in z 8.064 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 8.064 * [taylor]: Taking taylor expansion of z in y 8.064 * [taylor]: Taking taylor expansion of (* x y) in y 8.064 * [taylor]: Taking taylor expansion of x in y 8.064 * [taylor]: Taking taylor expansion of y in y 8.064 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 8.064 * [taylor]: Taking taylor expansion of z in x 8.064 * [taylor]: Taking taylor expansion of (* x y) in x 8.064 * [taylor]: Taking taylor expansion of x in x 8.064 * [taylor]: Taking taylor expansion of y in x 8.064 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 8.064 * [taylor]: Taking taylor expansion of z in x 8.064 * [taylor]: Taking taylor expansion of (* x y) in x 8.064 * [taylor]: Taking taylor expansion of x in x 8.064 * [taylor]: Taking taylor expansion of y in x 8.065 * [taylor]: Taking taylor expansion of (/ z y) in y 8.065 * [taylor]: Taking taylor expansion of z in y 8.065 * [taylor]: Taking taylor expansion of y in y 8.065 * [taylor]: Taking taylor expansion of z in z 8.066 * [taylor]: Taking taylor expansion of 0 in y 8.066 * [taylor]: Taking taylor expansion of 0 in z 8.067 * [taylor]: Taking taylor expansion of 0 in y 8.067 * [taylor]: Taking taylor expansion of 0 in z 8.068 * [taylor]: Taking taylor expansion of 0 in z 8.068 * * * * [progress]: [ 2 / 2 ] generating series at (2) 8.068 * [approximate]: Taking taylor expansion of (fma 1 (+ (/ x z) y) (* -1 (/ (* x y) z))) in (x z y) around 0 8.068 * [taylor]: Taking taylor expansion of (fma 1 (+ (/ x z) y) (* -1 (/ (* x y) z))) in y 8.068 * [taylor]: Rewrote expression to (+ (* 1 (+ (/ x z) y)) (* -1 (/ (* x y) z))) 8.069 * [taylor]: Taking taylor expansion of (* 1 (+ (/ x z) y)) in y 8.069 * [taylor]: Taking taylor expansion of 1 in y 8.069 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in y 8.069 * [taylor]: Taking taylor expansion of (/ x z) in y 8.069 * [taylor]: Taking taylor expansion of x in y 8.069 * [taylor]: Taking taylor expansion of z in y 8.069 * [taylor]: Taking taylor expansion of y in y 8.069 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in y 8.069 * [taylor]: Taking taylor expansion of -1 in y 8.069 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 8.069 * [taylor]: Taking taylor expansion of (* x y) in y 8.069 * [taylor]: Taking taylor expansion of x in y 8.069 * [taylor]: Taking taylor expansion of y in y 8.069 * [taylor]: Taking taylor expansion of z in y 8.069 * [taylor]: Taking taylor expansion of (fma 1 (+ (/ x z) y) (* -1 (/ (* x y) z))) in z 8.069 * [taylor]: Rewrote expression to (+ (* 1 (+ (/ x z) y)) (* -1 (/ (* x y) z))) 8.069 * [taylor]: Taking taylor expansion of (* 1 (+ (/ x z) y)) in z 8.069 * [taylor]: Taking taylor expansion of 1 in z 8.069 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in z 8.069 * [taylor]: Taking taylor expansion of (/ x z) in z 8.069 * [taylor]: Taking taylor expansion of x in z 8.069 * [taylor]: Taking taylor expansion of z in z 8.069 * [taylor]: Taking taylor expansion of y in z 8.069 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z 8.069 * [taylor]: Taking taylor expansion of -1 in z 8.069 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 8.069 * [taylor]: Taking taylor expansion of (* x y) in z 8.069 * [taylor]: Taking taylor expansion of x in z 8.069 * [taylor]: Taking taylor expansion of y in z 8.069 * [taylor]: Taking taylor expansion of z in z 8.070 * [taylor]: Taking taylor expansion of (fma 1 (+ (/ x z) y) (* -1 (/ (* x y) z))) in x 8.070 * [taylor]: Rewrote expression to (+ (* 1 (+ (/ x z) y)) (* -1 (/ (* x y) z))) 8.070 * [taylor]: Taking taylor expansion of (* 1 (+ (/ x z) y)) in x 8.070 * [taylor]: Taking taylor expansion of 1 in x 8.070 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in x 8.070 * [taylor]: Taking taylor expansion of (/ x z) in x 8.070 * [taylor]: Taking taylor expansion of x in x 8.070 * [taylor]: Taking taylor expansion of z in x 8.070 * [taylor]: Taking taylor expansion of y in x 8.070 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in x 8.070 * [taylor]: Taking taylor expansion of -1 in x 8.070 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 8.070 * [taylor]: Taking taylor expansion of (* x y) in x 8.070 * [taylor]: Taking taylor expansion of x in x 8.070 * [taylor]: Taking taylor expansion of y in x 8.070 * [taylor]: Taking taylor expansion of z in x 8.070 * [taylor]: Taking taylor expansion of (fma 1 (+ (/ x z) y) (* -1 (/ (* x y) z))) in x 8.070 * [taylor]: Rewrote expression to (+ (* 1 (+ (/ x z) y)) (* -1 (/ (* x y) z))) 8.070 * [taylor]: Taking taylor expansion of (* 1 (+ (/ x z) y)) in x 8.070 * [taylor]: Taking taylor expansion of 1 in x 8.070 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in x 8.070 * [taylor]: Taking taylor expansion of (/ x z) in x 8.070 * [taylor]: Taking taylor expansion of x in x 8.070 * [taylor]: Taking taylor expansion of z in x 8.070 * [taylor]: Taking taylor expansion of y in x 8.071 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in x 8.071 * [taylor]: Taking taylor expansion of -1 in x 8.071 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 8.071 * [taylor]: Taking taylor expansion of (* x y) in x 8.071 * [taylor]: Taking taylor expansion of x in x 8.071 * [taylor]: Taking taylor expansion of y in x 8.071 * [taylor]: Taking taylor expansion of z in x 8.071 * [taylor]: Taking taylor expansion of y in z 8.071 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ y z)) in z 8.071 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.071 * [taylor]: Taking taylor expansion of z in z 8.072 * [taylor]: Taking taylor expansion of (/ y z) in z 8.072 * [taylor]: Taking taylor expansion of y in z 8.072 * [taylor]: Taking taylor expansion of z in z 8.072 * [taylor]: Taking taylor expansion of (- 1 y) in y 8.072 * [taylor]: Taking taylor expansion of 1 in y 8.072 * [taylor]: Taking taylor expansion of y in y 8.072 * [taylor]: Taking taylor expansion of y in y 8.074 * [taylor]: Taking taylor expansion of 0 in z 8.075 * [taylor]: Taking taylor expansion of 0 in y 8.075 * [taylor]: Taking taylor expansion of 0 in y 8.077 * [approximate]: Taking taylor expansion of (fma 1 (+ (/ 1 y) (/ z x)) (* -1 (/ z (* x y)))) in (x z y) around 0 8.077 * [taylor]: Taking taylor expansion of (fma 1 (+ (/ 1 y) (/ z x)) (* -1 (/ z (* x y)))) in y 8.077 * [taylor]: Rewrote expression to (+ (* 1 (+ (/ 1 y) (/ z x))) (* -1 (/ z (* x y)))) 8.077 * [taylor]: Taking taylor expansion of (* 1 (+ (/ 1 y) (/ z x))) in y 8.077 * [taylor]: Taking taylor expansion of 1 in y 8.077 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in y 8.077 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.077 * [taylor]: Taking taylor expansion of y in y 8.077 * [taylor]: Taking taylor expansion of (/ z x) in y 8.077 * [taylor]: Taking taylor expansion of z in y 8.077 * [taylor]: Taking taylor expansion of x in y 8.077 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 8.077 * [taylor]: Taking taylor expansion of -1 in y 8.077 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 8.077 * [taylor]: Taking taylor expansion of z in y 8.077 * [taylor]: Taking taylor expansion of (* x y) in y 8.077 * [taylor]: Taking taylor expansion of x in y 8.077 * [taylor]: Taking taylor expansion of y in y 8.078 * [taylor]: Taking taylor expansion of (fma 1 (+ (/ 1 y) (/ z x)) (* -1 (/ z (* x y)))) in z 8.078 * [taylor]: Rewrote expression to (+ (* 1 (+ (/ 1 y) (/ z x))) (* -1 (/ z (* x y)))) 8.078 * [taylor]: Taking taylor expansion of (* 1 (+ (/ 1 y) (/ z x))) in z 8.078 * [taylor]: Taking taylor expansion of 1 in z 8.078 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in z 8.078 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.078 * [taylor]: Taking taylor expansion of y in z 8.078 * [taylor]: Taking taylor expansion of (/ z x) in z 8.078 * [taylor]: Taking taylor expansion of z in z 8.078 * [taylor]: Taking taylor expansion of x in z 8.078 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 8.078 * [taylor]: Taking taylor expansion of -1 in z 8.078 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 8.078 * [taylor]: Taking taylor expansion of z in z 8.078 * [taylor]: Taking taylor expansion of (* x y) in z 8.078 * [taylor]: Taking taylor expansion of x in z 8.078 * [taylor]: Taking taylor expansion of y in z 8.078 * [taylor]: Taking taylor expansion of (fma 1 (+ (/ 1 y) (/ z x)) (* -1 (/ z (* x y)))) in x 8.078 * [taylor]: Rewrote expression to (+ (* 1 (+ (/ 1 y) (/ z x))) (* -1 (/ z (* x y)))) 8.078 * [taylor]: Taking taylor expansion of (* 1 (+ (/ 1 y) (/ z x))) in x 8.078 * [taylor]: Taking taylor expansion of 1 in x 8.078 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in x 8.078 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.078 * [taylor]: Taking taylor expansion of y in x 8.078 * [taylor]: Taking taylor expansion of (/ z x) in x 8.078 * [taylor]: Taking taylor expansion of z in x 8.078 * [taylor]: Taking taylor expansion of x in x 8.078 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 8.078 * [taylor]: Taking taylor expansion of -1 in x 8.079 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 8.079 * [taylor]: Taking taylor expansion of z in x 8.079 * [taylor]: Taking taylor expansion of (* x y) in x 8.079 * [taylor]: Taking taylor expansion of x in x 8.079 * [taylor]: Taking taylor expansion of y in x 8.079 * [taylor]: Taking taylor expansion of (fma 1 (+ (/ 1 y) (/ z x)) (* -1 (/ z (* x y)))) in x 8.079 * [taylor]: Rewrote expression to (+ (* 1 (+ (/ 1 y) (/ z x))) (* -1 (/ z (* x y)))) 8.079 * [taylor]: Taking taylor expansion of (* 1 (+ (/ 1 y) (/ z x))) in x 8.079 * [taylor]: Taking taylor expansion of 1 in x 8.079 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in x 8.079 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.079 * [taylor]: Taking taylor expansion of y in x 8.079 * [taylor]: Taking taylor expansion of (/ z x) in x 8.079 * [taylor]: Taking taylor expansion of z in x 8.079 * [taylor]: Taking taylor expansion of x in x 8.079 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 8.079 * [taylor]: Taking taylor expansion of -1 in x 8.079 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 8.079 * [taylor]: Taking taylor expansion of z in x 8.079 * [taylor]: Taking taylor expansion of (* x y) in x 8.079 * [taylor]: Taking taylor expansion of x in x 8.079 * [taylor]: Taking taylor expansion of y in x 8.080 * [taylor]: Taking taylor expansion of (- z (/ z y)) in z 8.080 * [taylor]: Taking taylor expansion of z in z 8.080 * [taylor]: Taking taylor expansion of (/ z y) in z 8.080 * [taylor]: Taking taylor expansion of z in z 8.080 * [taylor]: Taking taylor expansion of y in z 8.080 * [taylor]: Taking taylor expansion of 0 in y 8.082 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.082 * [taylor]: Taking taylor expansion of y in z 8.082 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.082 * [taylor]: Taking taylor expansion of y in y 8.082 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 8.082 * [taylor]: Taking taylor expansion of 1 in y 8.082 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.082 * [taylor]: Taking taylor expansion of y in y 8.086 * [taylor]: Taking taylor expansion of 0 in z 8.086 * [taylor]: Taking taylor expansion of 0 in y 8.086 * [taylor]: Taking taylor expansion of 0 in y 8.087 * [taylor]: Taking taylor expansion of 0 in y 8.089 * [approximate]: Taking taylor expansion of (fma 1 (- (/ z x) (/ 1 y)) (/ z (* x y))) in (x z y) around 0 8.090 * [taylor]: Taking taylor expansion of (fma 1 (- (/ z x) (/ 1 y)) (/ z (* x y))) in y 8.090 * [taylor]: Rewrote expression to (+ (* 1 (- (/ z x) (/ 1 y))) (/ z (* x y))) 8.090 * [taylor]: Taking taylor expansion of (* 1 (- (/ z x) (/ 1 y))) in y 8.090 * [taylor]: Taking taylor expansion of 1 in y 8.090 * [taylor]: Taking taylor expansion of (- (/ z x) (/ 1 y)) in y 8.090 * [taylor]: Taking taylor expansion of (/ z x) in y 8.090 * [taylor]: Taking taylor expansion of z in y 8.090 * [taylor]: Taking taylor expansion of x in y 8.090 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.090 * [taylor]: Taking taylor expansion of y in y 8.090 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 8.090 * [taylor]: Taking taylor expansion of z in y 8.090 * [taylor]: Taking taylor expansion of (* x y) in y 8.090 * [taylor]: Taking taylor expansion of x in y 8.090 * [taylor]: Taking taylor expansion of y in y 8.091 * [taylor]: Taking taylor expansion of (fma 1 (- (/ z x) (/ 1 y)) (/ z (* x y))) in z 8.091 * [taylor]: Rewrote expression to (+ (* 1 (- (/ z x) (/ 1 y))) (/ z (* x y))) 8.091 * [taylor]: Taking taylor expansion of (* 1 (- (/ z x) (/ 1 y))) in z 8.091 * [taylor]: Taking taylor expansion of 1 in z 8.091 * [taylor]: Taking taylor expansion of (- (/ z x) (/ 1 y)) in z 8.091 * [taylor]: Taking taylor expansion of (/ z x) in z 8.091 * [taylor]: Taking taylor expansion of z in z 8.091 * [taylor]: Taking taylor expansion of x in z 8.091 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.091 * [taylor]: Taking taylor expansion of y in z 8.091 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 8.091 * [taylor]: Taking taylor expansion of z in z 8.091 * [taylor]: Taking taylor expansion of (* x y) in z 8.091 * [taylor]: Taking taylor expansion of x in z 8.091 * [taylor]: Taking taylor expansion of y in z 8.091 * [taylor]: Taking taylor expansion of (fma 1 (- (/ z x) (/ 1 y)) (/ z (* x y))) in x 8.091 * [taylor]: Rewrote expression to (+ (* 1 (- (/ z x) (/ 1 y))) (/ z (* x y))) 8.091 * [taylor]: Taking taylor expansion of (* 1 (- (/ z x) (/ 1 y))) in x 8.091 * [taylor]: Taking taylor expansion of 1 in x 8.091 * [taylor]: Taking taylor expansion of (- (/ z x) (/ 1 y)) in x 8.091 * [taylor]: Taking taylor expansion of (/ z x) in x 8.091 * [taylor]: Taking taylor expansion of z in x 8.091 * [taylor]: Taking taylor expansion of x in x 8.091 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.091 * [taylor]: Taking taylor expansion of y in x 8.091 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 8.091 * [taylor]: Taking taylor expansion of z in x 8.091 * [taylor]: Taking taylor expansion of (* x y) in x 8.091 * [taylor]: Taking taylor expansion of x in x 8.091 * [taylor]: Taking taylor expansion of y in x 8.092 * [taylor]: Taking taylor expansion of (fma 1 (- (/ z x) (/ 1 y)) (/ z (* x y))) in x 8.092 * [taylor]: Rewrote expression to (+ (* 1 (- (/ z x) (/ 1 y))) (/ z (* x y))) 8.092 * [taylor]: Taking taylor expansion of (* 1 (- (/ z x) (/ 1 y))) in x 8.092 * [taylor]: Taking taylor expansion of 1 in x 8.092 * [taylor]: Taking taylor expansion of (- (/ z x) (/ 1 y)) in x 8.092 * [taylor]: Taking taylor expansion of (/ z x) in x 8.092 * [taylor]: Taking taylor expansion of z in x 8.092 * [taylor]: Taking taylor expansion of x in x 8.092 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.092 * [taylor]: Taking taylor expansion of y in x 8.092 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 8.092 * [taylor]: Taking taylor expansion of z in x 8.092 * [taylor]: Taking taylor expansion of (* x y) in x 8.092 * [taylor]: Taking taylor expansion of x in x 8.092 * [taylor]: Taking taylor expansion of y in x 8.093 * [taylor]: Taking taylor expansion of (+ z (/ z y)) in z 8.093 * [taylor]: Taking taylor expansion of z in z 8.093 * [taylor]: Taking taylor expansion of (/ z y) in z 8.093 * [taylor]: Taking taylor expansion of z in z 8.093 * [taylor]: Taking taylor expansion of y in z 8.093 * [taylor]: Taking taylor expansion of 0 in y 8.095 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in z 8.095 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.095 * [taylor]: Taking taylor expansion of y in z 8.095 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 8.095 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.095 * [taylor]: Taking taylor expansion of y in y 8.096 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 8.096 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.096 * [taylor]: Taking taylor expansion of y in y 8.096 * [taylor]: Taking taylor expansion of 1 in y 8.099 * [taylor]: Taking taylor expansion of 0 in z 8.099 * [taylor]: Taking taylor expansion of 0 in y 8.099 * [taylor]: Taking taylor expansion of 0 in y 8.100 * [taylor]: Taking taylor expansion of 0 in y 8.102 * * * [progress]: simplifying candidates 8.106 * [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 (/ y 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 (* (cbrt z) (cbrt z)))) (* x (/ -1 (sqrt z))) (* x (/ -1 1)) (* 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 (/ (* (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)) (expm1 (fma 1 (+ (/ x z) y) (* x (/ (- y) z)))) (log1p (fma 1 (+ (/ x z) y) (* x (/ (- y) z)))) (* 1 (+ (/ x z) y)) (log (fma 1 (+ (/ x z) y) (* x (/ (- y) z)))) (exp (fma 1 (+ (/ x z) y) (* x (/ (- y) z)))) (* (cbrt (fma 1 (+ (/ x z) y) (* x (/ (- y) z)))) (cbrt (fma 1 (+ (/ x z) y) (* x (/ (- y) z))))) (cbrt (fma 1 (+ (/ x z) y) (* x (/ (- y) z)))) (* (* (fma 1 (+ (/ x z) y) (* x (/ (- y) z))) (fma 1 (+ (/ x z) y) (* x (/ (- y) z)))) (fma 1 (+ (/ x z) y) (* x (/ (- y) z)))) (sqrt (fma 1 (+ (/ x z) y) (* x (/ (- y) z)))) (sqrt (fma 1 (+ (/ x z) y) (* x (/ (- y) z)))) (* -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.109 * * [simplify]: iteration 0 : 133 enodes (cost 729 ) 8.141 * * [simplify]: iteration 1 : 333 enodes (cost 670 ) 8.225 * * [simplify]: iteration 2 : 1181 enodes (cost 596 ) 8.926 * * [simplify]: iteration done : 5000 enodes (cost 596 ) 8.927 * [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 y) 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 (* (cbrt z) (cbrt z)))) (- (/ x (sqrt z))) (- x) (* x (/ (- (* (cbrt y) (cbrt y))) (* (cbrt z) (cbrt z)))) (* x (/ (- (* (cbrt y) (cbrt y))) (sqrt z))) (* x (- (* (cbrt y) (cbrt y)))) (* x (/ (- (sqrt y)) (* (cbrt z) (cbrt z)))) (* x (/ (- (sqrt y)) (sqrt z))) (* x (- (sqrt y))) (- (/ x (* (cbrt z) (cbrt z)))) (- (/ x (sqrt z))) (- x) (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (* x (/ (* (cbrt y) (cbrt y)) (sqrt z))) (* x (* (cbrt y) (cbrt y))) (* 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)) (expm1 (- (+ (/ x z) y) (/ (* x y) z))) (log1p (- (+ (/ x z) y) (/ (* x y) z))) (+ (/ x z) y) (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))) (* 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)) 8.927 * * * [progress]: adding candidates to table 9.098 * [progress]: [Phase 3 of 3] Extracting. 9.098 * * [regime]: Finding splitpoints for: (# # # #) 9.099 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 9.099 * * * * [regimes]: Trying to branch on z from (# # # #) 9.119 * * * * [regimes]: Trying to branch on y from (# # # #) 9.136 * * * * [regimes]: Trying to branch on x from (# # # #) 9.155 * * * [regime]: Found split indices: #