50.923 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.012 * * * [progress]: [2/2] Setting up program. 0.014 * [progress]: [Phase 2 of 3] Improving. 0.014 * [simplify]: Simplifying using # : (/ (- x y) (- z y)) 0.016 * * [simplify]: iteration 0 : 12 enodes (cost 3 ) 0.017 * * [simplify]: iteration 1 : 16 enodes (cost 3 ) 0.018 * * [simplify]: iteration 2 : 18 enodes (cost 3 ) 0.020 * * [simplify]: iteration 3 : 18 enodes (cost 3 ) 0.020 * [simplify]: Simplified to: (/ (- x y) (- z y)) 0.020 * * [progress]: iteration 1 / 4 0.020 * * * [progress]: picking best candidate 0.021 * * * * [pick]: Picked # 0.021 * * * [progress]: localizing error 0.026 * * * [progress]: generating rewritten candidates 0.026 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.030 * * * [progress]: generating series expansions 0.030 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.030 * [approximate]: Taking taylor expansion of (/ (- x y) (- z y)) in (x y z) around 0 0.030 * [taylor]: Taking taylor expansion of (/ (- x y) (- z y)) in z 0.030 * [taylor]: Taking taylor expansion of (- x y) in z 0.030 * [taylor]: Taking taylor expansion of x in z 0.030 * [taylor]: Taking taylor expansion of y in z 0.030 * [taylor]: Taking taylor expansion of (- z y) in z 0.030 * [taylor]: Taking taylor expansion of z in z 0.030 * [taylor]: Taking taylor expansion of y in z 0.030 * [taylor]: Taking taylor expansion of (/ (- x y) (- z y)) in y 0.030 * [taylor]: Taking taylor expansion of (- x y) in y 0.030 * [taylor]: Taking taylor expansion of x in y 0.030 * [taylor]: Taking taylor expansion of y in y 0.030 * [taylor]: Taking taylor expansion of (- z y) in y 0.030 * [taylor]: Taking taylor expansion of z in y 0.030 * [taylor]: Taking taylor expansion of y in y 0.031 * [taylor]: Taking taylor expansion of (/ (- x y) (- z y)) in x 0.031 * [taylor]: Taking taylor expansion of (- x y) in x 0.031 * [taylor]: Taking taylor expansion of x in x 0.031 * [taylor]: Taking taylor expansion of y in x 0.031 * [taylor]: Taking taylor expansion of (- z y) in x 0.031 * [taylor]: Taking taylor expansion of z in x 0.031 * [taylor]: Taking taylor expansion of y in x 0.031 * [taylor]: Taking taylor expansion of (/ (- x y) (- z y)) in x 0.031 * [taylor]: Taking taylor expansion of (- x y) in x 0.031 * [taylor]: Taking taylor expansion of x in x 0.031 * [taylor]: Taking taylor expansion of y in x 0.031 * [taylor]: Taking taylor expansion of (- z y) in x 0.031 * [taylor]: Taking taylor expansion of z in x 0.031 * [taylor]: Taking taylor expansion of y in x 0.031 * [taylor]: Taking taylor expansion of (* -1 (/ y (- z y))) in y 0.031 * [taylor]: Taking taylor expansion of -1 in y 0.031 * [taylor]: Taking taylor expansion of (/ y (- z y)) in y 0.032 * [taylor]: Taking taylor expansion of y in y 0.032 * [taylor]: Taking taylor expansion of (- z y) in y 0.032 * [taylor]: Taking taylor expansion of z in y 0.032 * [taylor]: Taking taylor expansion of y in y 0.033 * [taylor]: Taking taylor expansion of (/ 1 (- z y)) in y 0.033 * [taylor]: Taking taylor expansion of (- z y) in y 0.033 * [taylor]: Taking taylor expansion of z in y 0.033 * [taylor]: Taking taylor expansion of y in y 0.033 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.033 * [taylor]: Taking taylor expansion of z in z 0.034 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.034 * [taylor]: Taking taylor expansion of -1 in z 0.034 * [taylor]: Taking taylor expansion of z in z 0.036 * [taylor]: Taking taylor expansion of 0 in y 0.036 * [taylor]: Taking taylor expansion of 0 in z 0.036 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.036 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.036 * [taylor]: Taking taylor expansion of z in z 0.039 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z 0.039 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.039 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.039 * [taylor]: Taking taylor expansion of z in z 0.042 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in (x y z) around 0 0.042 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in z 0.042 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 0.042 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.042 * [taylor]: Taking taylor expansion of x in z 0.042 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.042 * [taylor]: Taking taylor expansion of y in z 0.042 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 0.042 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.042 * [taylor]: Taking taylor expansion of z in z 0.043 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.043 * [taylor]: Taking taylor expansion of y in z 0.043 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in y 0.043 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.043 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.043 * [taylor]: Taking taylor expansion of x in y 0.043 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.043 * [taylor]: Taking taylor expansion of y in y 0.044 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 0.044 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.044 * [taylor]: Taking taylor expansion of z in y 0.044 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.044 * [taylor]: Taking taylor expansion of y in y 0.045 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in x 0.045 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.045 * [taylor]: Taking taylor expansion of x in x 0.045 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.045 * [taylor]: Taking taylor expansion of y in x 0.045 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 0.045 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.045 * [taylor]: Taking taylor expansion of z in x 0.045 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.045 * [taylor]: Taking taylor expansion of y in x 0.046 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in x 0.046 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.046 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.046 * [taylor]: Taking taylor expansion of x in x 0.046 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.046 * [taylor]: Taking taylor expansion of y in x 0.046 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 0.046 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.046 * [taylor]: Taking taylor expansion of z in x 0.046 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.046 * [taylor]: Taking taylor expansion of y in x 0.047 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 y))) in y 0.047 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 0.047 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.047 * [taylor]: Taking taylor expansion of z in y 0.047 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.047 * [taylor]: Taking taylor expansion of y in y 0.049 * [taylor]: Taking taylor expansion of (- (/ 1 (* y (- (/ 1 z) (/ 1 y))))) in y 0.049 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (/ 1 y)))) in y 0.049 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 y))) in y 0.049 * [taylor]: Taking taylor expansion of y in y 0.049 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 0.049 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.049 * [taylor]: Taking taylor expansion of z in y 0.049 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.049 * [taylor]: Taking taylor expansion of y in y 0.052 * [taylor]: Taking taylor expansion of 1 in z 0.052 * [taylor]: Taking taylor expansion of -1 in z 0.054 * [taylor]: Taking taylor expansion of 0 in y 0.054 * [taylor]: Taking taylor expansion of 0 in z 0.055 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.055 * [taylor]: Taking taylor expansion of z in z 0.057 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.057 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.057 * [taylor]: Taking taylor expansion of z in z 0.059 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in (x y z) around 0 0.059 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in z 0.059 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 0.059 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.059 * [taylor]: Taking taylor expansion of y in z 0.059 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.059 * [taylor]: Taking taylor expansion of x in z 0.059 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 0.059 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.059 * [taylor]: Taking taylor expansion of y in z 0.059 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.059 * [taylor]: Taking taylor expansion of z in z 0.060 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in y 0.060 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.060 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.060 * [taylor]: Taking taylor expansion of y in y 0.060 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.060 * [taylor]: Taking taylor expansion of x in y 0.060 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 0.060 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.060 * [taylor]: Taking taylor expansion of y in y 0.061 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.061 * [taylor]: Taking taylor expansion of z in y 0.061 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in x 0.061 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.061 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.061 * [taylor]: Taking taylor expansion of y in x 0.061 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.062 * [taylor]: Taking taylor expansion of x in x 0.062 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 0.062 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.062 * [taylor]: Taking taylor expansion of y in x 0.062 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.062 * [taylor]: Taking taylor expansion of z in x 0.063 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in x 0.063 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.063 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.063 * [taylor]: Taking taylor expansion of y in x 0.063 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.063 * [taylor]: Taking taylor expansion of x in x 0.063 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 0.063 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.063 * [taylor]: Taking taylor expansion of y in x 0.063 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.063 * [taylor]: Taking taylor expansion of z in x 0.064 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 y) (/ 1 z))) in y 0.064 * [taylor]: Taking taylor expansion of -1 in y 0.064 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 0.064 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.064 * [taylor]: Taking taylor expansion of y in y 0.064 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.064 * [taylor]: Taking taylor expansion of z in y 0.066 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) y)) in y 0.066 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) y) in y 0.066 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 0.066 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.066 * [taylor]: Taking taylor expansion of y in y 0.067 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.067 * [taylor]: Taking taylor expansion of z in y 0.067 * [taylor]: Taking taylor expansion of y in y 0.071 * [taylor]: Taking taylor expansion of 1 in z 0.071 * [taylor]: Taking taylor expansion of -1 in z 0.073 * [taylor]: Taking taylor expansion of 0 in y 0.073 * [taylor]: Taking taylor expansion of 0 in z 0.075 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.075 * [taylor]: Taking taylor expansion of z in z 0.077 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.077 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.077 * [taylor]: Taking taylor expansion of z in z 0.078 * * * [progress]: simplifying candidates 0.078 * [simplify]: Simplifying using # : (- (- x y)) (- (- z y)) (/ x (- z y)) (/ y (- z y)) (/ 1 (- z y)) (/ (- z y) (- x y)) (/ (- x y) (- (pow z 3) (pow y 3))) (/ (- x y) (- (* z z) (* y y))) (* (- z y) (+ (* x x) (+ (* y y) (* x y)))) (* (- z y) (+ x y)) 0 0 0 0.081 * * [simplify]: iteration 0 : 77 enodes (cost 32 ) 0.083 * * [simplify]: iteration 1 : 189 enodes (cost 32 ) 0.087 * * [simplify]: iteration 2 : 483 enodes (cost 32 ) 0.096 * * [simplify]: iteration 3 : 1506 enodes (cost 30 ) 0.135 * * [simplify]: iteration 4 : 4471 enodes (cost 30 ) 0.227 * * [simplify]: iteration 5 : 5001 enodes (cost 30 ) 0.227 * [simplify]: Simplified to: (- y x) (- y z) (/ x (- z y)) (/ y (- z y)) (/ 1 (- z y)) (/ (- z y) (- x y)) (/ (- x y) (- (pow z 3) (pow y 3))) (/ (- x y) (- (* z z) (* y y))) (* (+ (* y (+ y x)) (* x x)) (- z y)) (* (- z y) (+ x y)) 0 0 0 0.228 * * * [progress]: adding candidates to table 0.245 * * [progress]: iteration 2 / 4 0.245 * * * [progress]: picking best candidate 0.249 * * * * [pick]: Picked # 0.249 * * * [progress]: localizing error 0.255 * * * [progress]: generating rewritten candidates 0.255 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.257 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.263 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 0.266 * * * [progress]: generating series expansions 0.266 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.267 * [approximate]: Taking taylor expansion of (/ x (- z y)) in (x z y) around 0 0.267 * [taylor]: Taking taylor expansion of (/ x (- z y)) in y 0.267 * [taylor]: Taking taylor expansion of x in y 0.267 * [taylor]: Taking taylor expansion of (- z y) in y 0.267 * [taylor]: Taking taylor expansion of z in y 0.267 * [taylor]: Taking taylor expansion of y in y 0.267 * [taylor]: Taking taylor expansion of (/ x (- z y)) in z 0.267 * [taylor]: Taking taylor expansion of x in z 0.267 * [taylor]: Taking taylor expansion of (- z y) in z 0.267 * [taylor]: Taking taylor expansion of z in z 0.267 * [taylor]: Taking taylor expansion of y in z 0.267 * [taylor]: Taking taylor expansion of (/ x (- z y)) in x 0.267 * [taylor]: Taking taylor expansion of x in x 0.267 * [taylor]: Taking taylor expansion of (- z y) in x 0.267 * [taylor]: Taking taylor expansion of z in x 0.267 * [taylor]: Taking taylor expansion of y in x 0.267 * [taylor]: Taking taylor expansion of (/ x (- z y)) in x 0.267 * [taylor]: Taking taylor expansion of x in x 0.267 * [taylor]: Taking taylor expansion of (- z y) in x 0.267 * [taylor]: Taking taylor expansion of z in x 0.267 * [taylor]: Taking taylor expansion of y in x 0.268 * [taylor]: Taking taylor expansion of (/ 1 (- z y)) in z 0.268 * [taylor]: Taking taylor expansion of (- z y) in z 0.268 * [taylor]: Taking taylor expansion of z in z 0.268 * [taylor]: Taking taylor expansion of y in z 0.268 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.268 * [taylor]: Taking taylor expansion of -1 in y 0.268 * [taylor]: Taking taylor expansion of y in y 0.269 * [taylor]: Taking taylor expansion of 0 in z 0.269 * [taylor]: Taking taylor expansion of 0 in y 0.270 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y 0.270 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.270 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.270 * [taylor]: Taking taylor expansion of y in y 0.273 * [taylor]: Taking taylor expansion of 0 in z 0.273 * [taylor]: Taking taylor expansion of 0 in y 0.273 * [taylor]: Taking taylor expansion of 0 in y 0.273 * [approximate]: Taking taylor expansion of (/ 1 (* x (- (/ 1 z) (/ 1 y)))) in (x z y) around 0 0.273 * [taylor]: Taking taylor expansion of (/ 1 (* x (- (/ 1 z) (/ 1 y)))) in y 0.273 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 y))) in y 0.273 * [taylor]: Taking taylor expansion of x in y 0.273 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 0.273 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.273 * [taylor]: Taking taylor expansion of z in y 0.273 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.273 * [taylor]: Taking taylor expansion of y in y 0.274 * [taylor]: Taking taylor expansion of (/ 1 (* x (- (/ 1 z) (/ 1 y)))) in z 0.274 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 y))) in z 0.274 * [taylor]: Taking taylor expansion of x in z 0.274 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 0.274 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.274 * [taylor]: Taking taylor expansion of z in z 0.275 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.275 * [taylor]: Taking taylor expansion of y in z 0.275 * [taylor]: Taking taylor expansion of (/ 1 (* x (- (/ 1 z) (/ 1 y)))) in x 0.275 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 y))) in x 0.275 * [taylor]: Taking taylor expansion of x in x 0.275 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 0.275 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.275 * [taylor]: Taking taylor expansion of z in x 0.275 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.275 * [taylor]: Taking taylor expansion of y in x 0.276 * [taylor]: Taking taylor expansion of (/ 1 (* x (- (/ 1 z) (/ 1 y)))) in x 0.276 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 y))) in x 0.276 * [taylor]: Taking taylor expansion of x in x 0.276 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 0.276 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.276 * [taylor]: Taking taylor expansion of z in x 0.276 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.276 * [taylor]: Taking taylor expansion of y in x 0.277 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 y))) in z 0.277 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 0.277 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.277 * [taylor]: Taking taylor expansion of z in z 0.278 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.278 * [taylor]: Taking taylor expansion of y in z 0.278 * [taylor]: Taking taylor expansion of 1 in y 0.280 * [taylor]: Taking taylor expansion of 0 in z 0.280 * [taylor]: Taking taylor expansion of 0 in y 0.280 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.280 * [taylor]: Taking taylor expansion of y in y 0.285 * [taylor]: Taking taylor expansion of 0 in z 0.285 * [taylor]: Taking taylor expansion of 0 in y 0.285 * [taylor]: Taking taylor expansion of 0 in y 0.286 * [approximate]: Taking taylor expansion of (/ -1 (* (- (/ 1 y) (/ 1 z)) x)) in (x z y) around 0 0.286 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 y) (/ 1 z)) x)) in y 0.286 * [taylor]: Taking taylor expansion of -1 in y 0.286 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in y 0.286 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 0.286 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.286 * [taylor]: Taking taylor expansion of y in y 0.286 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.286 * [taylor]: Taking taylor expansion of z in y 0.286 * [taylor]: Taking taylor expansion of x in y 0.286 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 y) (/ 1 z)) x)) in z 0.286 * [taylor]: Taking taylor expansion of -1 in z 0.286 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in z 0.286 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 0.286 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.286 * [taylor]: Taking taylor expansion of y in z 0.287 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.287 * [taylor]: Taking taylor expansion of z in z 0.287 * [taylor]: Taking taylor expansion of x in z 0.287 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 y) (/ 1 z)) x)) in x 0.287 * [taylor]: Taking taylor expansion of -1 in x 0.287 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in x 0.287 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 0.287 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.287 * [taylor]: Taking taylor expansion of y in x 0.287 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.287 * [taylor]: Taking taylor expansion of z in x 0.287 * [taylor]: Taking taylor expansion of x in x 0.289 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 y) (/ 1 z)) x)) in x 0.289 * [taylor]: Taking taylor expansion of -1 in x 0.289 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in x 0.289 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 0.289 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.289 * [taylor]: Taking taylor expansion of y in x 0.289 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.289 * [taylor]: Taking taylor expansion of z in x 0.289 * [taylor]: Taking taylor expansion of x in x 0.290 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 y) (/ 1 z))) in z 0.290 * [taylor]: Taking taylor expansion of -1 in z 0.290 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 0.290 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.290 * [taylor]: Taking taylor expansion of y in z 0.290 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.290 * [taylor]: Taking taylor expansion of z in z 0.291 * [taylor]: Taking taylor expansion of 1 in y 0.292 * [taylor]: Taking taylor expansion of 0 in z 0.292 * [taylor]: Taking taylor expansion of 0 in y 0.293 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.293 * [taylor]: Taking taylor expansion of y in y 0.296 * [taylor]: Taking taylor expansion of 0 in z 0.296 * [taylor]: Taking taylor expansion of 0 in y 0.296 * [taylor]: Taking taylor expansion of 0 in y 0.296 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.296 * [approximate]: Taking taylor expansion of (- (/ x (- z y)) (/ y (- z y))) in (x z y) around 0 0.296 * [taylor]: Taking taylor expansion of (- (/ x (- z y)) (/ y (- z y))) in y 0.296 * [taylor]: Taking taylor expansion of (/ x (- z y)) in y 0.296 * [taylor]: Taking taylor expansion of x in y 0.296 * [taylor]: Taking taylor expansion of (- z y) in y 0.296 * [taylor]: Taking taylor expansion of z in y 0.296 * [taylor]: Taking taylor expansion of y in y 0.296 * [taylor]: Taking taylor expansion of (/ y (- z y)) in y 0.296 * [taylor]: Taking taylor expansion of y in y 0.296 * [taylor]: Taking taylor expansion of (- z y) in y 0.296 * [taylor]: Taking taylor expansion of z in y 0.296 * [taylor]: Taking taylor expansion of y in y 0.297 * [taylor]: Taking taylor expansion of (- (/ x (- z y)) (/ y (- z y))) in z 0.297 * [taylor]: Taking taylor expansion of (/ x (- z y)) in z 0.297 * [taylor]: Taking taylor expansion of x in z 0.297 * [taylor]: Taking taylor expansion of (- z y) in z 0.297 * [taylor]: Taking taylor expansion of z in z 0.297 * [taylor]: Taking taylor expansion of y in z 0.297 * [taylor]: Taking taylor expansion of (/ y (- z y)) in z 0.297 * [taylor]: Taking taylor expansion of y in z 0.297 * [taylor]: Taking taylor expansion of (- z y) in z 0.297 * [taylor]: Taking taylor expansion of z in z 0.297 * [taylor]: Taking taylor expansion of y in z 0.297 * [taylor]: Taking taylor expansion of (- (/ x (- z y)) (/ y (- z y))) in x 0.297 * [taylor]: Taking taylor expansion of (/ x (- z y)) in x 0.297 * [taylor]: Taking taylor expansion of x in x 0.297 * [taylor]: Taking taylor expansion of (- z y) in x 0.297 * [taylor]: Taking taylor expansion of z in x 0.297 * [taylor]: Taking taylor expansion of y in x 0.297 * [taylor]: Taking taylor expansion of (/ y (- z y)) in x 0.297 * [taylor]: Taking taylor expansion of y in x 0.297 * [taylor]: Taking taylor expansion of (- z y) in x 0.297 * [taylor]: Taking taylor expansion of z in x 0.297 * [taylor]: Taking taylor expansion of y in x 0.297 * [taylor]: Taking taylor expansion of (- (/ x (- z y)) (/ y (- z y))) in x 0.297 * [taylor]: Taking taylor expansion of (/ x (- z y)) in x 0.297 * [taylor]: Taking taylor expansion of x in x 0.297 * [taylor]: Taking taylor expansion of (- z y) in x 0.297 * [taylor]: Taking taylor expansion of z in x 0.297 * [taylor]: Taking taylor expansion of y in x 0.297 * [taylor]: Taking taylor expansion of (/ y (- z y)) in x 0.297 * [taylor]: Taking taylor expansion of y in x 0.297 * [taylor]: Taking taylor expansion of (- z y) in x 0.297 * [taylor]: Taking taylor expansion of z in x 0.297 * [taylor]: Taking taylor expansion of y in x 0.298 * [taylor]: Taking taylor expansion of (- (/ y (- z y))) in z 0.298 * [taylor]: Taking taylor expansion of (/ y (- z y)) in z 0.298 * [taylor]: Taking taylor expansion of y in z 0.298 * [taylor]: Taking taylor expansion of (- z y) in z 0.298 * [taylor]: Taking taylor expansion of z in z 0.298 * [taylor]: Taking taylor expansion of y in z 0.298 * [taylor]: Taking taylor expansion of 1 in y 0.299 * [taylor]: Taking taylor expansion of (/ 1 (- z y)) in z 0.299 * [taylor]: Taking taylor expansion of (- z y) in z 0.299 * [taylor]: Taking taylor expansion of z in z 0.299 * [taylor]: Taking taylor expansion of y in z 0.299 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.299 * [taylor]: Taking taylor expansion of -1 in y 0.299 * [taylor]: Taking taylor expansion of y in y 0.300 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.300 * [taylor]: Taking taylor expansion of y in y 0.303 * [taylor]: Taking taylor expansion of 0 in z 0.303 * [taylor]: Taking taylor expansion of 0 in y 0.303 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y 0.303 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.303 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.303 * [taylor]: Taking taylor expansion of y in y 0.306 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.306 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.306 * [taylor]: Taking taylor expansion of y in y 0.309 * [approximate]: Taking taylor expansion of (- (/ 1 (* x (- (/ 1 z) (/ 1 y)))) (/ 1 (* y (- (/ 1 z) (/ 1 y))))) in (x z y) around 0 0.309 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (- (/ 1 z) (/ 1 y)))) (/ 1 (* y (- (/ 1 z) (/ 1 y))))) in y 0.309 * [taylor]: Taking taylor expansion of (/ 1 (* x (- (/ 1 z) (/ 1 y)))) in y 0.309 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 y))) in y 0.309 * [taylor]: Taking taylor expansion of x in y 0.309 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 0.309 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.309 * [taylor]: Taking taylor expansion of z in y 0.309 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.309 * [taylor]: Taking taylor expansion of y in y 0.309 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (/ 1 y)))) in y 0.310 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 y))) in y 0.310 * [taylor]: Taking taylor expansion of y in y 0.310 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 0.310 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.310 * [taylor]: Taking taylor expansion of z in y 0.310 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.310 * [taylor]: Taking taylor expansion of y in y 0.312 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (- (/ 1 z) (/ 1 y)))) (/ 1 (* y (- (/ 1 z) (/ 1 y))))) in z 0.312 * [taylor]: Taking taylor expansion of (/ 1 (* x (- (/ 1 z) (/ 1 y)))) in z 0.312 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 y))) in z 0.312 * [taylor]: Taking taylor expansion of x in z 0.312 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 0.312 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.312 * [taylor]: Taking taylor expansion of z in z 0.312 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.312 * [taylor]: Taking taylor expansion of y in z 0.312 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (/ 1 y)))) in z 0.312 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 y))) in z 0.312 * [taylor]: Taking taylor expansion of y in z 0.313 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 0.313 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.313 * [taylor]: Taking taylor expansion of z in z 0.313 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.313 * [taylor]: Taking taylor expansion of y in z 0.313 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (- (/ 1 z) (/ 1 y)))) (/ 1 (* y (- (/ 1 z) (/ 1 y))))) in x 0.313 * [taylor]: Taking taylor expansion of (/ 1 (* x (- (/ 1 z) (/ 1 y)))) in x 0.313 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 y))) in x 0.313 * [taylor]: Taking taylor expansion of x in x 0.313 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 0.313 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.313 * [taylor]: Taking taylor expansion of z in x 0.313 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.313 * [taylor]: Taking taylor expansion of y in x 0.314 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (/ 1 y)))) in x 0.314 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 y))) in x 0.314 * [taylor]: Taking taylor expansion of y in x 0.314 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 0.314 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.314 * [taylor]: Taking taylor expansion of z in x 0.314 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.315 * [taylor]: Taking taylor expansion of y in x 0.315 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (- (/ 1 z) (/ 1 y)))) (/ 1 (* y (- (/ 1 z) (/ 1 y))))) in x 0.315 * [taylor]: Taking taylor expansion of (/ 1 (* x (- (/ 1 z) (/ 1 y)))) in x 0.315 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 y))) in x 0.315 * [taylor]: Taking taylor expansion of x in x 0.315 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 0.315 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.315 * [taylor]: Taking taylor expansion of z in x 0.315 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.315 * [taylor]: Taking taylor expansion of y in x 0.316 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (/ 1 y)))) in x 0.316 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 y))) in x 0.316 * [taylor]: Taking taylor expansion of y in x 0.316 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 0.316 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.316 * [taylor]: Taking taylor expansion of z in x 0.316 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.316 * [taylor]: Taking taylor expansion of y in x 0.316 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 y))) in z 0.316 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 0.316 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.316 * [taylor]: Taking taylor expansion of z in z 0.317 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.317 * [taylor]: Taking taylor expansion of y in z 0.317 * [taylor]: Taking taylor expansion of 1 in y 0.319 * [taylor]: Taking taylor expansion of (- (/ 1 (* y (- (/ 1 z) (/ 1 y))))) in z 0.319 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (/ 1 y)))) in z 0.319 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 y))) in z 0.319 * [taylor]: Taking taylor expansion of y in z 0.319 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 0.319 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.319 * [taylor]: Taking taylor expansion of z in z 0.319 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.319 * [taylor]: Taking taylor expansion of y in z 0.319 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.319 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.319 * [taylor]: Taking taylor expansion of y in y 0.321 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.321 * [taylor]: Taking taylor expansion of y in y 0.324 * [taylor]: Taking taylor expansion of 0 in z 0.324 * [taylor]: Taking taylor expansion of 0 in y 0.325 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y 0.325 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.326 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.326 * [taylor]: Taking taylor expansion of y in y 0.329 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.329 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.329 * [taylor]: Taking taylor expansion of y in y 0.332 * [approximate]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 y) (/ 1 z)) y)) (/ 1 (* (- (/ 1 y) (/ 1 z)) x))) in (x z y) around 0 0.332 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 y) (/ 1 z)) y)) (/ 1 (* (- (/ 1 y) (/ 1 z)) x))) in y 0.332 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) y)) in y 0.332 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) y) in y 0.332 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 0.332 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.332 * [taylor]: Taking taylor expansion of y in y 0.332 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.332 * [taylor]: Taking taylor expansion of z in y 0.332 * [taylor]: Taking taylor expansion of y in y 0.334 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) x)) in y 0.334 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in y 0.334 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 0.334 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.334 * [taylor]: Taking taylor expansion of y in y 0.334 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.334 * [taylor]: Taking taylor expansion of z in y 0.334 * [taylor]: Taking taylor expansion of x in y 0.334 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 y) (/ 1 z)) y)) (/ 1 (* (- (/ 1 y) (/ 1 z)) x))) in z 0.334 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) y)) in z 0.334 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) y) in z 0.334 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 0.335 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.335 * [taylor]: Taking taylor expansion of y in z 0.335 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.335 * [taylor]: Taking taylor expansion of z in z 0.335 * [taylor]: Taking taylor expansion of y in z 0.335 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) x)) in z 0.335 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in z 0.335 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 0.335 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.335 * [taylor]: Taking taylor expansion of y in z 0.335 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.335 * [taylor]: Taking taylor expansion of z in z 0.336 * [taylor]: Taking taylor expansion of x in z 0.336 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 y) (/ 1 z)) y)) (/ 1 (* (- (/ 1 y) (/ 1 z)) x))) in x 0.336 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) y)) in x 0.336 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) y) in x 0.336 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 0.336 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.336 * [taylor]: Taking taylor expansion of y in x 0.336 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.336 * [taylor]: Taking taylor expansion of z in x 0.336 * [taylor]: Taking taylor expansion of y in x 0.337 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) x)) in x 0.337 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in x 0.337 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 0.337 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.337 * [taylor]: Taking taylor expansion of y in x 0.337 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.337 * [taylor]: Taking taylor expansion of z in x 0.337 * [taylor]: Taking taylor expansion of x in x 0.338 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 y) (/ 1 z)) y)) (/ 1 (* (- (/ 1 y) (/ 1 z)) x))) in x 0.338 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) y)) in x 0.338 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) y) in x 0.338 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 0.338 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.338 * [taylor]: Taking taylor expansion of y in x 0.338 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.338 * [taylor]: Taking taylor expansion of z in x 0.338 * [taylor]: Taking taylor expansion of y in x 0.338 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) x)) in x 0.338 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in x 0.338 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 0.338 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.338 * [taylor]: Taking taylor expansion of y in x 0.338 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.338 * [taylor]: Taking taylor expansion of z in x 0.338 * [taylor]: Taking taylor expansion of x in x 0.340 * [taylor]: Taking taylor expansion of (- (/ 1 (- (/ 1 y) (/ 1 z)))) in z 0.340 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 y) (/ 1 z))) in z 0.340 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 0.340 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.340 * [taylor]: Taking taylor expansion of y in z 0.340 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.340 * [taylor]: Taking taylor expansion of z in z 0.341 * [taylor]: Taking taylor expansion of 1 in y 0.342 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) y)) in z 0.342 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) y) in z 0.342 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 0.342 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.342 * [taylor]: Taking taylor expansion of y in z 0.342 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.342 * [taylor]: Taking taylor expansion of z in z 0.343 * [taylor]: Taking taylor expansion of y in z 0.343 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.343 * [taylor]: Taking taylor expansion of -1 in y 0.343 * [taylor]: Taking taylor expansion of y in y 0.345 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.345 * [taylor]: Taking taylor expansion of y in y 0.348 * [taylor]: Taking taylor expansion of 0 in z 0.348 * [taylor]: Taking taylor expansion of 0 in y 0.349 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y 0.349 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.349 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.349 * [taylor]: Taking taylor expansion of y in y 0.353 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.353 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.353 * [taylor]: Taking taylor expansion of y in y 0.355 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 0.355 * [approximate]: Taking taylor expansion of (/ y (- z y)) in (y z) around 0 0.355 * [taylor]: Taking taylor expansion of (/ y (- z y)) in z 0.355 * [taylor]: Taking taylor expansion of y in z 0.355 * [taylor]: Taking taylor expansion of (- z y) in z 0.355 * [taylor]: Taking taylor expansion of z in z 0.355 * [taylor]: Taking taylor expansion of y in z 0.355 * [taylor]: Taking taylor expansion of (/ y (- z y)) in y 0.355 * [taylor]: Taking taylor expansion of y in y 0.355 * [taylor]: Taking taylor expansion of (- z y) in y 0.355 * [taylor]: Taking taylor expansion of z in y 0.355 * [taylor]: Taking taylor expansion of y in y 0.356 * [taylor]: Taking taylor expansion of (/ y (- z y)) in y 0.356 * [taylor]: Taking taylor expansion of y in y 0.356 * [taylor]: Taking taylor expansion of (- z y) in y 0.356 * [taylor]: Taking taylor expansion of z in y 0.356 * [taylor]: Taking taylor expansion of y in y 0.356 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.356 * [taylor]: Taking taylor expansion of z in z 0.357 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.357 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.357 * [taylor]: Taking taylor expansion of z in z 0.360 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 0.360 * [taylor]: Taking taylor expansion of (pow z 3) in z 0.360 * [taylor]: Taking taylor expansion of z in z 0.369 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 z) (/ 1 y)) y)) in (y z) around 0 0.369 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 z) (/ 1 y)) y)) in z 0.369 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) y) in z 0.369 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 0.369 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.369 * [taylor]: Taking taylor expansion of z in z 0.369 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.369 * [taylor]: Taking taylor expansion of y in z 0.369 * [taylor]: Taking taylor expansion of y in z 0.370 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 z) (/ 1 y)) y)) in y 0.370 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) y) in y 0.370 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 0.370 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.370 * [taylor]: Taking taylor expansion of z in y 0.370 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.370 * [taylor]: Taking taylor expansion of y in y 0.370 * [taylor]: Taking taylor expansion of y in y 0.372 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 z) (/ 1 y)) y)) in y 0.372 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) y) in y 0.372 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 0.372 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.372 * [taylor]: Taking taylor expansion of z in y 0.372 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.372 * [taylor]: Taking taylor expansion of y in y 0.372 * [taylor]: Taking taylor expansion of y in y 0.374 * [taylor]: Taking taylor expansion of -1 in z 0.376 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.376 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.376 * [taylor]: Taking taylor expansion of z in z 0.380 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z 0.380 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.380 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.380 * [taylor]: Taking taylor expansion of z in z 0.384 * [approximate]: Taking taylor expansion of (/ -1 (* (- (/ 1 y) (/ 1 z)) y)) in (y z) around 0 0.384 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 y) (/ 1 z)) y)) in z 0.384 * [taylor]: Taking taylor expansion of -1 in z 0.384 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) y) in z 0.384 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 0.384 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.384 * [taylor]: Taking taylor expansion of y in z 0.384 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.384 * [taylor]: Taking taylor expansion of z in z 0.384 * [taylor]: Taking taylor expansion of y in z 0.385 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 y) (/ 1 z)) y)) in y 0.385 * [taylor]: Taking taylor expansion of -1 in y 0.385 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) y) in y 0.385 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 0.385 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.385 * [taylor]: Taking taylor expansion of y in y 0.385 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.385 * [taylor]: Taking taylor expansion of z in y 0.385 * [taylor]: Taking taylor expansion of y in y 0.387 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 y) (/ 1 z)) y)) in y 0.387 * [taylor]: Taking taylor expansion of -1 in y 0.387 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) y) in y 0.387 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 0.387 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.387 * [taylor]: Taking taylor expansion of y in y 0.387 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.387 * [taylor]: Taking taylor expansion of z in y 0.387 * [taylor]: Taking taylor expansion of y in y 0.389 * [taylor]: Taking taylor expansion of -1 in z 0.391 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.391 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.391 * [taylor]: Taking taylor expansion of z in z 0.394 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z 0.394 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.394 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.394 * [taylor]: Taking taylor expansion of z in z 0.398 * * * [progress]: simplifying candidates 0.399 * [simplify]: Simplifying using # : (- x) (- (- z y)) (/ 1 (- z y)) (/ (- z y) x) (/ x (- (pow z 3) (pow y 3))) (/ x (- (* z z) (* y y))) (- x y) (- (- x) (- y)) (- (* x (- z y)) (* (- z y) y)) (* (- z y) (- z y)) (- (* x (- (- z y))) (* (- z y) (- y))) (* (- z y) (- (- z y))) (- (* x (/ (- z y) y)) (* (- z y) 1)) (* (- z y) (/ (- z y) y)) (- (* (- x) (- z y)) (* (- (- z y)) y)) (* (- (- z y)) (- z y)) (- (* (- x) (- (- z y))) (* (- (- z y)) (- y))) (* (- (- z y)) (- (- z y))) (- (* (- x) (/ (- z y) y)) (* (- (- z y)) 1)) (* (- (- z y)) (/ (- z y) y)) (- (* 1 (- z y)) (* (/ (- z y) x) y)) (* (/ (- z y) x) (- z y)) (- (* 1 (- (- z y))) (* (/ (- z y) x) (- y))) (* (/ (- z y) x) (- (- z y))) (- (* 1 (/ (- z y) y)) (* (/ (- z y) x) 1)) (* (/ (- z y) x) (/ (- z y) y)) (- (pow (/ x (- z y)) 3) (pow (/ y (- z y)) 3)) (+ (* (/ x (- z y)) (/ x (- z y))) (+ (* (/ y (- z y)) (/ y (- z y))) (* (/ x (- z y)) (/ y (- z y))))) (- (/ y (- z y))) (- (* (/ x (- z y)) (/ x (- z y))) (* (/ y (- z y)) (/ y (- z y)))) (+ (/ x (- z y)) (/ y (- z y))) (- x y) (- (/ x (- (pow z 3) (pow y 3))) (/ y (- (pow z 3) (pow y 3)))) (- (/ x (- (* z z) (* y y))) (/ y (- (* z z) (* y y)))) (- (/ y (- z y))) (- y) (- (- z y)) (/ 1 (- z y)) (/ (- z y) y) (/ y (- (pow z 3) (pow y 3))) (/ y (- (* z z) (* y y))) 0 0 0 1 (/ x z) (/ x z) 0 0 0 0.403 * * [simplify]: iteration 0 : 197 enodes (cost 197 ) 0.407 * * [simplify]: iteration 1 : 681 enodes (cost 175 ) 0.423 * * [simplify]: iteration 2 : 3201 enodes (cost 168 ) 0.477 * * [simplify]: iteration 3 : 5001 enodes (cost 168 ) 0.479 * [simplify]: Simplified to: (- x) (- (- z y)) (/ 1 (- z y)) (/ (- z y) x) (/ x (- (pow z 3) (pow y 3))) (/ x (- (* z z) (* y y))) (- x y) (- y x) (* (- z y) (- x y)) (* (- z y) (- z y)) (* (- y x) (- z y)) (* (- (- z y)) (- z y)) (+ (- (* x (/ (- z y) y)) z) y) (* (- z y) (/ (- z y) y)) (* (- y x) (- z y)) (* (- (- z y)) (- z y)) (* (- z y) (- x y)) (* (- z y) (- z y)) (- (- z y) (* x (/ (- z y) y))) (* (- (- z y)) (/ (- z y) y)) (- z (+ y (* (/ (- z y) x) y))) (* (/ (- z y) x) (- z y)) (- (* (/ (- z y) x) y) (- z y)) (* (/ (- z y) x) (- (- z y))) (- (/ z y) (+ 1 (/ (- z y) x))) (* (/ (- z y) x) (/ (- z y) y)) (- (pow (/ x (- z y)) 3) (pow (/ y (- z y)) 3)) (+ (* (/ y (- z y)) (/ y (- z y))) (* (/ (/ x (- z y)) (- z y)) (+ x y))) (- (/ y (- z y))) (- (* (/ x (- z y)) (/ x (- z y))) (* (/ y (- z y)) (/ y (- z y)))) (+ (/ x (- z y)) (/ y (- z y))) (- x y) (- (/ x (- (pow z 3) (pow y 3))) (/ y (- (pow z 3) (pow y 3)))) (- (/ x (- (* z z) (* y y))) (/ y (- (* z z) (* y y)))) (- (/ y (- z y))) (- y) (- (- z y)) (/ 1 (- z y)) (/ (- z y) y) (/ y (- (pow z 3) (pow y 3))) (/ y (- (* z z) (* y y))) 0 0 0 1 (/ x z) (/ x z) 0 0 0 0.479 * * * [progress]: adding candidates to table 0.541 * * [progress]: iteration 3 / 4 0.541 * * * [progress]: picking best candidate 0.546 * * * * [pick]: Picked # 0.546 * * * [progress]: localizing error 0.552 * * * [progress]: generating rewritten candidates 0.552 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.556 * * * [progress]: generating series expansions 0.556 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.556 * [approximate]: Taking taylor expansion of (/ (- y x) (- y z)) in (y x z) around 0 0.556 * [taylor]: Taking taylor expansion of (/ (- y x) (- y z)) in z 0.556 * [taylor]: Taking taylor expansion of (- y x) in z 0.556 * [taylor]: Taking taylor expansion of y in z 0.556 * [taylor]: Taking taylor expansion of x in z 0.556 * [taylor]: Taking taylor expansion of (- y z) in z 0.556 * [taylor]: Taking taylor expansion of y in z 0.556 * [taylor]: Taking taylor expansion of z in z 0.557 * [taylor]: Taking taylor expansion of (/ (- y x) (- y z)) in x 0.557 * [taylor]: Taking taylor expansion of (- y x) in x 0.557 * [taylor]: Taking taylor expansion of y in x 0.557 * [taylor]: Taking taylor expansion of x in x 0.557 * [taylor]: Taking taylor expansion of (- y z) in x 0.557 * [taylor]: Taking taylor expansion of y in x 0.557 * [taylor]: Taking taylor expansion of z in x 0.557 * [taylor]: Taking taylor expansion of (/ (- y x) (- y z)) in y 0.557 * [taylor]: Taking taylor expansion of (- y x) in y 0.557 * [taylor]: Taking taylor expansion of y in y 0.557 * [taylor]: Taking taylor expansion of x in y 0.557 * [taylor]: Taking taylor expansion of (- y z) in y 0.557 * [taylor]: Taking taylor expansion of y in y 0.557 * [taylor]: Taking taylor expansion of z in y 0.557 * [taylor]: Taking taylor expansion of (/ (- y x) (- y z)) in y 0.557 * [taylor]: Taking taylor expansion of (- y x) in y 0.557 * [taylor]: Taking taylor expansion of y in y 0.557 * [taylor]: Taking taylor expansion of x in y 0.557 * [taylor]: Taking taylor expansion of (- y z) in y 0.557 * [taylor]: Taking taylor expansion of y in y 0.557 * [taylor]: Taking taylor expansion of z in y 0.558 * [taylor]: Taking taylor expansion of (/ x z) in x 0.558 * [taylor]: Taking taylor expansion of x in x 0.558 * [taylor]: Taking taylor expansion of z in x 0.559 * [taylor]: Taking taylor expansion of (- (/ x (pow z 2)) (/ 1 z)) in x 0.559 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in x 0.559 * [taylor]: Taking taylor expansion of x in x 0.559 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.559 * [taylor]: Taking taylor expansion of z in x 0.559 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.559 * [taylor]: Taking taylor expansion of z in x 0.559 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.559 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.559 * [taylor]: Taking taylor expansion of z in z 0.560 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.560 * [taylor]: Taking taylor expansion of z in z 0.562 * [taylor]: Taking taylor expansion of (- (/ x (pow z 3)) (/ 1 (pow z 2))) in x 0.562 * [taylor]: Taking taylor expansion of (/ x (pow z 3)) in x 0.562 * [taylor]: Taking taylor expansion of x in x 0.562 * [taylor]: Taking taylor expansion of (pow z 3) in x 0.562 * [taylor]: Taking taylor expansion of z in x 0.562 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 0.562 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.562 * [taylor]: Taking taylor expansion of z in x 0.562 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z 0.562 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.562 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.562 * [taylor]: Taking taylor expansion of z in z 0.565 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.565 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.565 * [taylor]: Taking taylor expansion of z in z 0.567 * [taylor]: Taking taylor expansion of 0 in z 0.568 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in (y x z) around 0 0.568 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in z 0.568 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 0.568 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.568 * [taylor]: Taking taylor expansion of y in z 0.568 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.568 * [taylor]: Taking taylor expansion of x in z 0.568 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 0.568 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.568 * [taylor]: Taking taylor expansion of y in z 0.568 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.568 * [taylor]: Taking taylor expansion of z in z 0.569 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in x 0.569 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.569 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.569 * [taylor]: Taking taylor expansion of y in x 0.569 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.569 * [taylor]: Taking taylor expansion of x in x 0.570 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 0.570 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.570 * [taylor]: Taking taylor expansion of y in x 0.570 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.570 * [taylor]: Taking taylor expansion of z in x 0.570 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in y 0.571 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.571 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.571 * [taylor]: Taking taylor expansion of y in y 0.571 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.571 * [taylor]: Taking taylor expansion of x in y 0.571 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 0.571 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.571 * [taylor]: Taking taylor expansion of y in y 0.571 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.571 * [taylor]: Taking taylor expansion of z in y 0.572 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in y 0.572 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.572 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.572 * [taylor]: Taking taylor expansion of y in y 0.572 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.572 * [taylor]: Taking taylor expansion of x in y 0.572 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 0.572 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.572 * [taylor]: Taking taylor expansion of y in y 0.573 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.573 * [taylor]: Taking taylor expansion of z in y 0.573 * [taylor]: Taking taylor expansion of 1 in x 0.574 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 0.574 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.574 * [taylor]: Taking taylor expansion of z in x 0.575 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.575 * [taylor]: Taking taylor expansion of x in x 0.575 * [taylor]: Taking taylor expansion of -1 in z 0.575 * [taylor]: Taking taylor expansion of 1 in z 0.578 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* x z))) in x 0.578 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 0.578 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.578 * [taylor]: Taking taylor expansion of z in x 0.578 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.578 * [taylor]: Taking taylor expansion of (* x z) in x 0.578 * [taylor]: Taking taylor expansion of x in x 0.578 * [taylor]: Taking taylor expansion of z in x 0.579 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.579 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.579 * [taylor]: Taking taylor expansion of z in z 0.581 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.581 * [taylor]: Taking taylor expansion of z in z 0.582 * [taylor]: Taking taylor expansion of 0 in z 0.582 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in (y x z) around 0 0.582 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in z 0.582 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 0.582 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.582 * [taylor]: Taking taylor expansion of x in z 0.582 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.582 * [taylor]: Taking taylor expansion of y in z 0.582 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 0.582 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.582 * [taylor]: Taking taylor expansion of z in z 0.582 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.583 * [taylor]: Taking taylor expansion of y in z 0.583 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in x 0.583 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.583 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.583 * [taylor]: Taking taylor expansion of x in x 0.583 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.583 * [taylor]: Taking taylor expansion of y in x 0.583 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 0.583 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.583 * [taylor]: Taking taylor expansion of z in x 0.583 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.583 * [taylor]: Taking taylor expansion of y in x 0.584 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in y 0.584 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.584 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.584 * [taylor]: Taking taylor expansion of x in y 0.584 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.584 * [taylor]: Taking taylor expansion of y in y 0.584 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 0.584 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.584 * [taylor]: Taking taylor expansion of z in y 0.584 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.584 * [taylor]: Taking taylor expansion of y in y 0.586 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in y 0.586 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.586 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.586 * [taylor]: Taking taylor expansion of x in y 0.586 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.586 * [taylor]: Taking taylor expansion of y in y 0.586 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 0.586 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.586 * [taylor]: Taking taylor expansion of z in y 0.586 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.586 * [taylor]: Taking taylor expansion of y in y 0.588 * [taylor]: Taking taylor expansion of 1 in x 0.589 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 0.589 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.589 * [taylor]: Taking taylor expansion of z in x 0.589 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.589 * [taylor]: Taking taylor expansion of x in x 0.590 * [taylor]: Taking taylor expansion of -1 in z 0.590 * [taylor]: Taking taylor expansion of 1 in z 0.592 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* x z))) in x 0.592 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 0.592 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.592 * [taylor]: Taking taylor expansion of z in x 0.593 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.593 * [taylor]: Taking taylor expansion of (* x z) in x 0.593 * [taylor]: Taking taylor expansion of x in x 0.593 * [taylor]: Taking taylor expansion of z in x 0.593 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.593 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.593 * [taylor]: Taking taylor expansion of z in z 0.595 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.595 * [taylor]: Taking taylor expansion of z in z 0.596 * [taylor]: Taking taylor expansion of 0 in z 0.596 * * * [progress]: simplifying candidates 0.597 * [simplify]: Simplifying using # : (- (- y x)) (- (- (- z y))) (/ y (- (- z y))) (/ x (- (- z y))) (/ 1 (- (- z y))) (/ (- (- z y)) (- y x)) (/ (- y x) -1) (/ (- y x) (- (- (pow z 3) (pow y 3)))) (/ (- y x) (- (- (* z z) (* y y)))) (* (- (- z y)) (+ (* y y) (+ (* x x) (* y x)))) (* (- (- z y)) (+ y x)) 0 0 0 0.599 * * [simplify]: iteration 0 : 89 enodes (cost 41 ) 0.602 * * [simplify]: iteration 1 : 226 enodes (cost 41 ) 0.606 * * [simplify]: iteration 2 : 648 enodes (cost 41 ) 0.618 * * [simplify]: iteration 3 : 2512 enodes (cost 40 ) 0.656 * * [simplify]: iteration 4 : 5001 enodes (cost 40 ) 0.657 * [simplify]: Simplified to: (- x y) (- z y) (/ y (- (- z y))) (/ x (- (- z y))) (/ 1 (- (- z y))) (/ (- (- z y)) (- y x)) (/ (- y x) -1) (/ (- y x) (- (- (pow z 3) (pow y 3)))) (/ (- y x) (- (- (* z z) (* y y)))) (* (+ (* x (+ x y)) (* y y)) (- (- z y))) (* (- (- z y)) (+ y x)) 0 0 0 0.657 * * * [progress]: adding candidates to table 0.681 * * [progress]: iteration 4 / 4 0.681 * * * [progress]: picking best candidate 0.682 * * * * [pick]: Picked # 0.682 * * * [progress]: localizing error 0.688 * * * [progress]: generating rewritten candidates 0.688 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.693 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.697 * * * [progress]: generating series expansions 0.697 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.697 * [approximate]: Taking taylor expansion of (/ (- x y) (- z y)) in (z y x) around 0 0.697 * [taylor]: Taking taylor expansion of (/ (- x y) (- z y)) in x 0.697 * [taylor]: Taking taylor expansion of (- x y) in x 0.697 * [taylor]: Taking taylor expansion of x in x 0.697 * [taylor]: Taking taylor expansion of y in x 0.697 * [taylor]: Taking taylor expansion of (- z y) in x 0.697 * [taylor]: Taking taylor expansion of z in x 0.697 * [taylor]: Taking taylor expansion of y in x 0.697 * [taylor]: Taking taylor expansion of (/ (- x y) (- z y)) in y 0.697 * [taylor]: Taking taylor expansion of (- x y) in y 0.697 * [taylor]: Taking taylor expansion of x in y 0.697 * [taylor]: Taking taylor expansion of y in y 0.697 * [taylor]: Taking taylor expansion of (- z y) in y 0.697 * [taylor]: Taking taylor expansion of z in y 0.697 * [taylor]: Taking taylor expansion of y in y 0.698 * [taylor]: Taking taylor expansion of (/ (- x y) (- z y)) in z 0.698 * [taylor]: Taking taylor expansion of (- x y) in z 0.698 * [taylor]: Taking taylor expansion of x in z 0.698 * [taylor]: Taking taylor expansion of y in z 0.698 * [taylor]: Taking taylor expansion of (- z y) in z 0.698 * [taylor]: Taking taylor expansion of z in z 0.698 * [taylor]: Taking taylor expansion of y in z 0.698 * [taylor]: Taking taylor expansion of (/ (- x y) (- z y)) in z 0.698 * [taylor]: Taking taylor expansion of (- x y) in z 0.698 * [taylor]: Taking taylor expansion of x in z 0.698 * [taylor]: Taking taylor expansion of y in z 0.698 * [taylor]: Taking taylor expansion of (- z y) in z 0.698 * [taylor]: Taking taylor expansion of z in z 0.698 * [taylor]: Taking taylor expansion of y in z 0.699 * [taylor]: Taking taylor expansion of (* -1 (/ (- x y) y)) in y 0.699 * [taylor]: Taking taylor expansion of -1 in y 0.699 * [taylor]: Taking taylor expansion of (/ (- x y) y) in y 0.699 * [taylor]: Taking taylor expansion of (- x y) in y 0.699 * [taylor]: Taking taylor expansion of x in y 0.699 * [taylor]: Taking taylor expansion of y in y 0.699 * [taylor]: Taking taylor expansion of y in y 0.700 * [taylor]: Taking taylor expansion of 1 in x 0.701 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ x (pow y 2))) in y 0.701 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.701 * [taylor]: Taking taylor expansion of y in y 0.702 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in y 0.702 * [taylor]: Taking taylor expansion of x in y 0.702 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.702 * [taylor]: Taking taylor expansion of y in y 0.705 * [taylor]: Taking taylor expansion of 0 in x 0.707 * [taylor]: Taking taylor expansion of 0 in x 0.708 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ x (pow y 3))) in y 0.708 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.708 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.708 * [taylor]: Taking taylor expansion of y in y 0.709 * [taylor]: Taking taylor expansion of (/ x (pow y 3)) in y 0.709 * [taylor]: Taking taylor expansion of x in y 0.709 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.709 * [taylor]: Taking taylor expansion of y in y 0.716 * [taylor]: Taking taylor expansion of 0 in x 0.719 * [taylor]: Taking taylor expansion of 0 in x 0.721 * [taylor]: Taking taylor expansion of 0 in x 0.722 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in (z y x) around 0 0.722 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in x 0.722 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.722 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.722 * [taylor]: Taking taylor expansion of x in x 0.722 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.722 * [taylor]: Taking taylor expansion of y in x 0.722 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 0.722 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.722 * [taylor]: Taking taylor expansion of z in x 0.722 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.722 * [taylor]: Taking taylor expansion of y in x 0.723 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in y 0.723 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.723 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.723 * [taylor]: Taking taylor expansion of x in y 0.723 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.723 * [taylor]: Taking taylor expansion of y in y 0.723 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 0.723 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.723 * [taylor]: Taking taylor expansion of z in y 0.723 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.723 * [taylor]: Taking taylor expansion of y in y 0.724 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in z 0.724 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 0.724 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.724 * [taylor]: Taking taylor expansion of x in z 0.724 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.725 * [taylor]: Taking taylor expansion of y in z 0.725 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 0.725 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.725 * [taylor]: Taking taylor expansion of z in z 0.725 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.725 * [taylor]: Taking taylor expansion of y in z 0.725 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in z 0.725 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 0.725 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.725 * [taylor]: Taking taylor expansion of x in z 0.725 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.725 * [taylor]: Taking taylor expansion of y in z 0.725 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 0.725 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.725 * [taylor]: Taking taylor expansion of z in z 0.726 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.726 * [taylor]: Taking taylor expansion of y in z 0.726 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.726 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.726 * [taylor]: Taking taylor expansion of x in y 0.726 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.726 * [taylor]: Taking taylor expansion of y in y 0.727 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.727 * [taylor]: Taking taylor expansion of x in x 0.729 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in y 0.729 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.729 * [taylor]: Taking taylor expansion of (* x y) in y 0.729 * [taylor]: Taking taylor expansion of x in y 0.729 * [taylor]: Taking taylor expansion of y in y 0.730 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.730 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.730 * [taylor]: Taking taylor expansion of y in y 0.733 * [taylor]: Taking taylor expansion of 0 in x 0.734 * [taylor]: Taking taylor expansion of 0 in x 0.737 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 (pow y 3))) in y 0.737 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 0.737 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 0.737 * [taylor]: Taking taylor expansion of x in y 0.737 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.737 * [taylor]: Taking taylor expansion of y in y 0.737 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 0.737 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.737 * [taylor]: Taking taylor expansion of y in y 0.744 * [taylor]: Taking taylor expansion of 0 in x 0.746 * [taylor]: Taking taylor expansion of 0 in x 0.747 * [taylor]: Taking taylor expansion of 0 in x 0.753 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 3))) (/ 1 (pow y 4))) in y 0.754 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 3))) in y 0.754 * [taylor]: Taking taylor expansion of (* x (pow y 3)) in y 0.754 * [taylor]: Taking taylor expansion of x in y 0.754 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.754 * [taylor]: Taking taylor expansion of y in y 0.754 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.754 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.754 * [taylor]: Taking taylor expansion of y in y 0.765 * [taylor]: Taking taylor expansion of 0 in x 0.769 * [taylor]: Taking taylor expansion of 0 in x 0.771 * [taylor]: Taking taylor expansion of 0 in x 0.772 * [taylor]: Taking taylor expansion of 0 in x 0.772 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in (z y x) around 0 0.772 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in x 0.772 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.772 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.772 * [taylor]: Taking taylor expansion of y in x 0.772 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.772 * [taylor]: Taking taylor expansion of x in x 0.772 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 0.773 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.773 * [taylor]: Taking taylor expansion of y in x 0.773 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.773 * [taylor]: Taking taylor expansion of z in x 0.773 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in y 0.773 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.773 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.773 * [taylor]: Taking taylor expansion of y in y 0.774 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.774 * [taylor]: Taking taylor expansion of x in y 0.774 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 0.774 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.774 * [taylor]: Taking taylor expansion of y in y 0.774 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.774 * [taylor]: Taking taylor expansion of z in y 0.775 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in z 0.775 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 0.775 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.775 * [taylor]: Taking taylor expansion of y in z 0.775 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.775 * [taylor]: Taking taylor expansion of x in z 0.775 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 0.775 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.775 * [taylor]: Taking taylor expansion of y in z 0.775 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.775 * [taylor]: Taking taylor expansion of z in z 0.776 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in z 0.776 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 0.776 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.776 * [taylor]: Taking taylor expansion of y in z 0.776 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.776 * [taylor]: Taking taylor expansion of x in z 0.776 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 0.776 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.776 * [taylor]: Taking taylor expansion of y in z 0.776 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.776 * [taylor]: Taking taylor expansion of z in z 0.777 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 y) (/ 1 x))) in y 0.777 * [taylor]: Taking taylor expansion of -1 in y 0.777 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.777 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.777 * [taylor]: Taking taylor expansion of y in y 0.777 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.777 * [taylor]: Taking taylor expansion of x in y 0.778 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.778 * [taylor]: Taking taylor expansion of x in x 0.780 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in y 0.780 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.780 * [taylor]: Taking taylor expansion of (* x y) in y 0.780 * [taylor]: Taking taylor expansion of x in y 0.780 * [taylor]: Taking taylor expansion of y in y 0.781 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.781 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.781 * [taylor]: Taking taylor expansion of y in y 0.784 * [taylor]: Taking taylor expansion of 0 in x 0.785 * [taylor]: Taking taylor expansion of 0 in x 0.788 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 (pow y 3))) in y 0.788 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 0.788 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 0.788 * [taylor]: Taking taylor expansion of x in y 0.788 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.788 * [taylor]: Taking taylor expansion of y in y 0.789 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 0.789 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.789 * [taylor]: Taking taylor expansion of y in y 0.795 * [taylor]: Taking taylor expansion of 0 in x 0.797 * [taylor]: Taking taylor expansion of 0 in x 0.799 * [taylor]: Taking taylor expansion of 0 in x 0.803 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 3))) (/ 1 (pow y 4))) in y 0.803 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 3))) in y 0.803 * [taylor]: Taking taylor expansion of (* x (pow y 3)) in y 0.803 * [taylor]: Taking taylor expansion of x in y 0.803 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.803 * [taylor]: Taking taylor expansion of y in y 0.803 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.803 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.803 * [taylor]: Taking taylor expansion of y in y 0.814 * [taylor]: Taking taylor expansion of 0 in x 0.817 * [taylor]: Taking taylor expansion of 0 in x 0.820 * [taylor]: Taking taylor expansion of 0 in x 0.822 * [taylor]: Taking taylor expansion of 0 in x 0.822 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.822 * [approximate]: Taking taylor expansion of (/ (- z y) (- x y)) in (z y x) around 0 0.822 * [taylor]: Taking taylor expansion of (/ (- z y) (- x y)) in x 0.822 * [taylor]: Taking taylor expansion of (- z y) in x 0.823 * [taylor]: Taking taylor expansion of z in x 0.823 * [taylor]: Taking taylor expansion of y in x 0.823 * [taylor]: Taking taylor expansion of (- x y) in x 0.823 * [taylor]: Taking taylor expansion of x in x 0.823 * [taylor]: Taking taylor expansion of y in x 0.823 * [taylor]: Taking taylor expansion of (/ (- z y) (- x y)) in y 0.823 * [taylor]: Taking taylor expansion of (- z y) in y 0.823 * [taylor]: Taking taylor expansion of z in y 0.823 * [taylor]: Taking taylor expansion of y in y 0.823 * [taylor]: Taking taylor expansion of (- x y) in y 0.823 * [taylor]: Taking taylor expansion of x in y 0.823 * [taylor]: Taking taylor expansion of y in y 0.823 * [taylor]: Taking taylor expansion of (/ (- z y) (- x y)) in z 0.823 * [taylor]: Taking taylor expansion of (- z y) in z 0.823 * [taylor]: Taking taylor expansion of z in z 0.823 * [taylor]: Taking taylor expansion of y in z 0.823 * [taylor]: Taking taylor expansion of (- x y) in z 0.823 * [taylor]: Taking taylor expansion of x in z 0.823 * [taylor]: Taking taylor expansion of y in z 0.824 * [taylor]: Taking taylor expansion of (/ (- z y) (- x y)) in z 0.824 * [taylor]: Taking taylor expansion of (- z y) in z 0.824 * [taylor]: Taking taylor expansion of z in z 0.824 * [taylor]: Taking taylor expansion of y in z 0.824 * [taylor]: Taking taylor expansion of (- x y) in z 0.824 * [taylor]: Taking taylor expansion of x in z 0.824 * [taylor]: Taking taylor expansion of y in z 0.824 * [taylor]: Taking taylor expansion of (* -1 (/ y (- x y))) in y 0.824 * [taylor]: Taking taylor expansion of -1 in y 0.824 * [taylor]: Taking taylor expansion of (/ y (- x y)) in y 0.824 * [taylor]: Taking taylor expansion of y in y 0.824 * [taylor]: Taking taylor expansion of (- x y) in y 0.824 * [taylor]: Taking taylor expansion of x in y 0.824 * [taylor]: Taking taylor expansion of y in y 0.825 * [taylor]: Taking taylor expansion of (/ 1 (- x y)) in y 0.825 * [taylor]: Taking taylor expansion of (- x y) in y 0.825 * [taylor]: Taking taylor expansion of x in y 0.825 * [taylor]: Taking taylor expansion of y in y 0.826 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.826 * [taylor]: Taking taylor expansion of x in x 0.826 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.826 * [taylor]: Taking taylor expansion of -1 in x 0.826 * [taylor]: Taking taylor expansion of x in x 0.828 * [taylor]: Taking taylor expansion of 0 in y 0.828 * [taylor]: Taking taylor expansion of 0 in x 0.829 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.829 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.829 * [taylor]: Taking taylor expansion of x in x 0.835 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2))) in x 0.835 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.835 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.835 * [taylor]: Taking taylor expansion of x in x 0.838 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 y))) in (z y x) around 0 0.838 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 y))) in x 0.838 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 0.838 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.838 * [taylor]: Taking taylor expansion of z in x 0.838 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.838 * [taylor]: Taking taylor expansion of y in x 0.838 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.838 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.838 * [taylor]: Taking taylor expansion of x in x 0.838 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.838 * [taylor]: Taking taylor expansion of y in x 0.839 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 y))) in y 0.839 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 0.839 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.839 * [taylor]: Taking taylor expansion of z in y 0.839 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.839 * [taylor]: Taking taylor expansion of y in y 0.839 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.839 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.839 * [taylor]: Taking taylor expansion of x in y 0.839 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.839 * [taylor]: Taking taylor expansion of y in y 0.841 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 y))) in z 0.841 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 0.841 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.841 * [taylor]: Taking taylor expansion of z in z 0.841 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.841 * [taylor]: Taking taylor expansion of y in z 0.841 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 0.841 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.841 * [taylor]: Taking taylor expansion of x in z 0.841 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.841 * [taylor]: Taking taylor expansion of y in z 0.842 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 y))) in z 0.842 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 0.842 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.842 * [taylor]: Taking taylor expansion of z in z 0.842 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.842 * [taylor]: Taking taylor expansion of y in z 0.842 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 0.842 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.842 * [taylor]: Taking taylor expansion of x in z 0.842 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.842 * [taylor]: Taking taylor expansion of y in z 0.843 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 x) (/ 1 y))) in y 0.843 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.843 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.843 * [taylor]: Taking taylor expansion of x in y 0.843 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.843 * [taylor]: Taking taylor expansion of y in y 0.845 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 x) (/ 1 y)) y))) in y 0.845 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 x) (/ 1 y)) y)) in y 0.845 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) y) in y 0.845 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.845 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.845 * [taylor]: Taking taylor expansion of x in y 0.845 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.845 * [taylor]: Taking taylor expansion of y in y 0.846 * [taylor]: Taking taylor expansion of y in y 0.848 * [taylor]: Taking taylor expansion of 1 in x 0.848 * [taylor]: Taking taylor expansion of -1 in x 0.850 * [taylor]: Taking taylor expansion of 0 in y 0.850 * [taylor]: Taking taylor expansion of 0 in x 0.852 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.852 * [taylor]: Taking taylor expansion of x in x 0.854 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.854 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.854 * [taylor]: Taking taylor expansion of x in x 0.856 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) (- (/ 1 y) (/ 1 x))) in (z y x) around 0 0.856 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) (- (/ 1 y) (/ 1 x))) in x 0.856 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 0.856 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.856 * [taylor]: Taking taylor expansion of y in x 0.856 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.856 * [taylor]: Taking taylor expansion of z in x 0.856 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.856 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.856 * [taylor]: Taking taylor expansion of y in x 0.856 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.856 * [taylor]: Taking taylor expansion of x in x 0.857 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) (- (/ 1 y) (/ 1 x))) in y 0.857 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 0.857 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.857 * [taylor]: Taking taylor expansion of y in y 0.857 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.857 * [taylor]: Taking taylor expansion of z in y 0.857 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.857 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.857 * [taylor]: Taking taylor expansion of y in y 0.858 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.858 * [taylor]: Taking taylor expansion of x in y 0.859 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) (- (/ 1 y) (/ 1 x))) in z 0.859 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 0.859 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.859 * [taylor]: Taking taylor expansion of y in z 0.859 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.859 * [taylor]: Taking taylor expansion of z in z 0.859 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 0.859 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.859 * [taylor]: Taking taylor expansion of y in z 0.859 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.859 * [taylor]: Taking taylor expansion of x in z 0.860 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) (- (/ 1 y) (/ 1 x))) in z 0.860 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 0.860 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.860 * [taylor]: Taking taylor expansion of y in z 0.860 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.860 * [taylor]: Taking taylor expansion of z in z 0.860 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 0.860 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.860 * [taylor]: Taking taylor expansion of y in z 0.860 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.860 * [taylor]: Taking taylor expansion of x in z 0.861 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 y) (/ 1 x))) in y 0.861 * [taylor]: Taking taylor expansion of -1 in y 0.861 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.861 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.861 * [taylor]: Taking taylor expansion of y in y 0.861 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.861 * [taylor]: Taking taylor expansion of x in y 0.863 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 y) (/ 1 x)))) in y 0.863 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 x))) in y 0.863 * [taylor]: Taking taylor expansion of y in y 0.863 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.863 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.863 * [taylor]: Taking taylor expansion of y in y 0.864 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.864 * [taylor]: Taking taylor expansion of x in y 0.865 * [taylor]: Taking taylor expansion of 1 in x 0.865 * [taylor]: Taking taylor expansion of -1 in x 0.867 * [taylor]: Taking taylor expansion of 0 in y 0.867 * [taylor]: Taking taylor expansion of 0 in x 0.869 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.869 * [taylor]: Taking taylor expansion of x in x 0.871 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.871 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.871 * [taylor]: Taking taylor expansion of x in x 0.872 * * * [progress]: simplifying candidates 0.873 * [simplify]: Simplifying using # : (- 1) (- (/ (- z y) (- x y))) (/ 1 (/ (- z y) (- x y))) (/ (/ (- z y) (- x y)) 1) (/ 1 (- z y)) (/ 1 (/ (- z y) (- (pow x 3) (pow y 3)))) (/ 1 (/ (- z y) (- (* x x) (* y y)))) (/ 1 (- z y)) (/ 1 (- (- z y))) (/ 1 1) (/ 1 (- (pow z 3) (pow y 3))) (/ 1 (- (* z z) (* y y))) (- (- z y)) (- (- x y)) (/ z (- x y)) (/ y (- x y)) (/ 1 (- x y)) (/ (- x y) (- z y)) (/ (- z y) (- (pow x 3) (pow y 3))) (/ (- z y) (- (* x x) (* y y))) (* (- x y) (+ (* z z) (+ (* y y) (* z y)))) (* (- x y) (+ z y)) 1 (/ x z) (/ x z) 0 0 0 0.876 * * [simplify]: iteration 0 : 106 enodes (cost 73 ) 0.880 * * [simplify]: iteration 1 : 305 enodes (cost 72 ) 0.888 * * [simplify]: iteration 2 : 1158 enodes (cost 70 ) 0.913 * * [simplify]: iteration 3 : 4333 enodes (cost 68 ) 0.986 * * [simplify]: iteration 4 : 5003 enodes (cost 67 ) 0.987 * [simplify]: Simplified to: (- 1) (- (/ (- z y) (- x y))) (/ (- x y) (- z y)) (/ (- z y) (- x y)) (/ 1 (- z y)) (/ (- (pow x 3) (pow y 3)) (- z y)) (* (/ (- x y) (- z y)) (+ x y)) (/ 1 (- z y)) (/ 1 (- y z)) 1 (/ 1 (- (pow z 3) (pow y 3))) (/ 1 (- (* z z) (* y y))) (- y z) (- y x) (/ z (- x y)) (/ y (- x y)) (/ 1 (- x y)) (/ (- x y) (- z y)) (/ (- z y) (- (pow x 3) (pow y 3))) (/ (- z y) (- (* x x) (* y y))) (* (+ (* y (+ y z)) (* z z)) (- x y)) (* (- x y) (+ z y)) 1 (/ x z) (/ x z) 0 0 0 0.987 * * * [progress]: adding candidates to table 1.040 * [progress]: [Phase 3 of 3] Extracting. 1.040 * * [regime]: Finding splitpoints for: (# # #) 1.040 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 1.040 * * * * [regimes]: Trying to branch on z from (# # #) 1.056 * * * * [regimes]: Trying to branch on y from (# # #) 1.069 * * * * [regimes]: Trying to branch on x from (# # #) 1.082 * * * [regime]: Found split indices: #