18.033 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.030 * [simplify]: Simplifying using # : (fabs (- (/ (+ x 4.0) y) (* (/ x y) z))) 0.032 * * [simplify]: iteration 0 : 16 enodes (cost 6 ) 0.034 * * [simplify]: iteration 1 : 29 enodes (cost 6 ) 0.035 * * [simplify]: iteration 2 : 42 enodes (cost 6 ) 0.036 * * [simplify]: iteration 3 : 49 enodes (cost 6 ) 0.038 * * [simplify]: iteration 4 : 55 enodes (cost 6 ) 0.039 * * [simplify]: iteration 5 : 61 enodes (cost 6 ) 0.041 * * [simplify]: iteration 6 : 63 enodes (cost 6 ) 0.042 * * [simplify]: iteration 7 : 63 enodes (cost 6 ) 0.042 * [simplify]: Simplified to: (fabs (- (/ (+ x 4.0) y) (* (/ x y) z))) 0.042 * * [progress]: iteration 1 / 4 0.042 * * * [progress]: picking best candidate 0.044 * * * * [pick]: Picked # 0.044 * * * [progress]: localizing error 0.053 * * * [progress]: generating rewritten candidates 0.053 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 0.056 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 0.059 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.068 * * * [progress]: generating series expansions 0.068 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 0.068 * [approximate]: Taking taylor expansion of (/ (* x z) y) in (x y z) around 0 0.068 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z 0.068 * [taylor]: Taking taylor expansion of (* x z) in z 0.068 * [taylor]: Taking taylor expansion of x in z 0.068 * [taylor]: Taking taylor expansion of z in z 0.068 * [taylor]: Taking taylor expansion of y in z 0.069 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y 0.069 * [taylor]: Taking taylor expansion of (* x z) in y 0.069 * [taylor]: Taking taylor expansion of x in y 0.069 * [taylor]: Taking taylor expansion of z in y 0.069 * [taylor]: Taking taylor expansion of y in y 0.069 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x 0.069 * [taylor]: Taking taylor expansion of (* x z) in x 0.069 * [taylor]: Taking taylor expansion of x in x 0.069 * [taylor]: Taking taylor expansion of z in x 0.069 * [taylor]: Taking taylor expansion of y in x 0.070 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x 0.070 * [taylor]: Taking taylor expansion of (* x z) in x 0.070 * [taylor]: Taking taylor expansion of x in x 0.070 * [taylor]: Taking taylor expansion of z in x 0.070 * [taylor]: Taking taylor expansion of y in x 0.070 * [taylor]: Taking taylor expansion of (/ z y) in y 0.070 * [taylor]: Taking taylor expansion of z in y 0.070 * [taylor]: Taking taylor expansion of y in y 0.070 * [taylor]: Taking taylor expansion of z in z 0.071 * [taylor]: Taking taylor expansion of 0 in y 0.071 * [taylor]: Taking taylor expansion of 0 in z 0.072 * [taylor]: Taking taylor expansion of 0 in y 0.072 * [taylor]: Taking taylor expansion of 0 in z 0.073 * [taylor]: Taking taylor expansion of 0 in z 0.073 * [approximate]: Taking taylor expansion of (/ y (* x z)) in (x y z) around 0 0.073 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 0.073 * [taylor]: Taking taylor expansion of y in z 0.073 * [taylor]: Taking taylor expansion of (* x z) in z 0.073 * [taylor]: Taking taylor expansion of x in z 0.073 * [taylor]: Taking taylor expansion of z in z 0.074 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 0.074 * [taylor]: Taking taylor expansion of y in y 0.074 * [taylor]: Taking taylor expansion of (* x z) in y 0.074 * [taylor]: Taking taylor expansion of x in y 0.074 * [taylor]: Taking taylor expansion of z in y 0.074 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 0.074 * [taylor]: Taking taylor expansion of y in x 0.074 * [taylor]: Taking taylor expansion of (* x z) in x 0.074 * [taylor]: Taking taylor expansion of x in x 0.074 * [taylor]: Taking taylor expansion of z in x 0.074 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 0.074 * [taylor]: Taking taylor expansion of y in x 0.074 * [taylor]: Taking taylor expansion of (* x z) in x 0.074 * [taylor]: Taking taylor expansion of x in x 0.074 * [taylor]: Taking taylor expansion of z in x 0.075 * [taylor]: Taking taylor expansion of (/ y z) in y 0.075 * [taylor]: Taking taylor expansion of y in y 0.075 * [taylor]: Taking taylor expansion of z in y 0.075 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.075 * [taylor]: Taking taylor expansion of z in z 0.076 * [taylor]: Taking taylor expansion of 0 in y 0.076 * [taylor]: Taking taylor expansion of 0 in z 0.076 * [taylor]: Taking taylor expansion of 0 in z 0.077 * [taylor]: Taking taylor expansion of 0 in y 0.077 * [taylor]: Taking taylor expansion of 0 in z 0.077 * [taylor]: Taking taylor expansion of 0 in z 0.077 * [taylor]: Taking taylor expansion of 0 in z 0.079 * [taylor]: Taking taylor expansion of 0 in y 0.079 * [taylor]: Taking taylor expansion of 0 in z 0.079 * [taylor]: Taking taylor expansion of 0 in z 0.079 * [taylor]: Taking taylor expansion of 0 in z 0.079 * [taylor]: Taking taylor expansion of 0 in z 0.079 * [approximate]: Taking taylor expansion of (* -1 (/ y (* x z))) in (x y z) around 0 0.079 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in z 0.079 * [taylor]: Taking taylor expansion of -1 in z 0.079 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 0.079 * [taylor]: Taking taylor expansion of y in z 0.079 * [taylor]: Taking taylor expansion of (* x z) in z 0.079 * [taylor]: Taking taylor expansion of x in z 0.079 * [taylor]: Taking taylor expansion of z in z 0.080 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in y 0.080 * [taylor]: Taking taylor expansion of -1 in y 0.080 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 0.080 * [taylor]: Taking taylor expansion of y in y 0.080 * [taylor]: Taking taylor expansion of (* x z) in y 0.080 * [taylor]: Taking taylor expansion of x in y 0.080 * [taylor]: Taking taylor expansion of z in y 0.080 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in x 0.080 * [taylor]: Taking taylor expansion of -1 in x 0.080 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 0.080 * [taylor]: Taking taylor expansion of y in x 0.080 * [taylor]: Taking taylor expansion of (* x z) in x 0.080 * [taylor]: Taking taylor expansion of x in x 0.080 * [taylor]: Taking taylor expansion of z in x 0.080 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in x 0.080 * [taylor]: Taking taylor expansion of -1 in x 0.080 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 0.080 * [taylor]: Taking taylor expansion of y in x 0.080 * [taylor]: Taking taylor expansion of (* x z) in x 0.080 * [taylor]: Taking taylor expansion of x in x 0.080 * [taylor]: Taking taylor expansion of z in x 0.081 * [taylor]: Taking taylor expansion of (* -1 (/ y z)) in y 0.081 * [taylor]: Taking taylor expansion of -1 in y 0.081 * [taylor]: Taking taylor expansion of (/ y z) in y 0.081 * [taylor]: Taking taylor expansion of y in y 0.081 * [taylor]: Taking taylor expansion of z in y 0.081 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.081 * [taylor]: Taking taylor expansion of -1 in z 0.081 * [taylor]: Taking taylor expansion of z in z 0.082 * [taylor]: Taking taylor expansion of 0 in y 0.082 * [taylor]: Taking taylor expansion of 0 in z 0.082 * [taylor]: Taking taylor expansion of 0 in z 0.084 * [taylor]: Taking taylor expansion of 0 in y 0.084 * [taylor]: Taking taylor expansion of 0 in z 0.084 * [taylor]: Taking taylor expansion of 0 in z 0.085 * [taylor]: Taking taylor expansion of 0 in z 0.091 * [taylor]: Taking taylor expansion of 0 in y 0.091 * [taylor]: Taking taylor expansion of 0 in z 0.091 * [taylor]: Taking taylor expansion of 0 in z 0.091 * [taylor]: Taking taylor expansion of 0 in z 0.092 * [taylor]: Taking taylor expansion of 0 in z 0.092 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 0.092 * [approximate]: Taking taylor expansion of (/ (+ x 4.0) y) in (x y) around 0 0.092 * [taylor]: Taking taylor expansion of (/ (+ x 4.0) y) in y 0.092 * [taylor]: Taking taylor expansion of (+ x 4.0) in y 0.092 * [taylor]: Taking taylor expansion of x in y 0.092 * [taylor]: Taking taylor expansion of 4.0 in y 0.092 * [taylor]: Taking taylor expansion of y in y 0.092 * [taylor]: Taking taylor expansion of (/ (+ x 4.0) y) in x 0.092 * [taylor]: Taking taylor expansion of (+ x 4.0) in x 0.092 * [taylor]: Taking taylor expansion of x in x 0.093 * [taylor]: Taking taylor expansion of 4.0 in x 0.093 * [taylor]: Taking taylor expansion of y in x 0.093 * [taylor]: Taking taylor expansion of (/ (+ x 4.0) y) in x 0.093 * [taylor]: Taking taylor expansion of (+ x 4.0) in x 0.093 * [taylor]: Taking taylor expansion of x in x 0.093 * [taylor]: Taking taylor expansion of 4.0 in x 0.093 * [taylor]: Taking taylor expansion of y in x 0.093 * [taylor]: Taking taylor expansion of (/ 4.0 y) in y 0.093 * [taylor]: Taking taylor expansion of 4.0 in y 0.093 * [taylor]: Taking taylor expansion of y in y 0.094 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.094 * [taylor]: Taking taylor expansion of y in y 0.095 * [taylor]: Taking taylor expansion of 0 in y 0.096 * [taylor]: Taking taylor expansion of 0 in y 0.098 * [approximate]: Taking taylor expansion of (* y (+ 4.0 (/ 1 x))) in (x y) around 0 0.098 * [taylor]: Taking taylor expansion of (* y (+ 4.0 (/ 1 x))) in y 0.098 * [taylor]: Taking taylor expansion of y in y 0.098 * [taylor]: Taking taylor expansion of (+ 4.0 (/ 1 x)) in y 0.098 * [taylor]: Taking taylor expansion of 4.0 in y 0.098 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.098 * [taylor]: Taking taylor expansion of x in y 0.098 * [taylor]: Taking taylor expansion of (* y (+ 4.0 (/ 1 x))) in x 0.098 * [taylor]: Taking taylor expansion of y in x 0.098 * [taylor]: Taking taylor expansion of (+ 4.0 (/ 1 x)) in x 0.098 * [taylor]: Taking taylor expansion of 4.0 in x 0.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.098 * [taylor]: Taking taylor expansion of x in x 0.098 * [taylor]: Taking taylor expansion of (* y (+ 4.0 (/ 1 x))) in x 0.098 * [taylor]: Taking taylor expansion of y in x 0.098 * [taylor]: Taking taylor expansion of (+ 4.0 (/ 1 x)) in x 0.098 * [taylor]: Taking taylor expansion of 4.0 in x 0.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.098 * [taylor]: Taking taylor expansion of x in x 0.099 * [taylor]: Taking taylor expansion of y in y 0.100 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.100 * [taylor]: Taking taylor expansion of 4.0 in y 0.100 * [taylor]: Taking taylor expansion of y in y 0.101 * [taylor]: Taking taylor expansion of 0 in y 0.103 * [taylor]: Taking taylor expansion of 0 in y 0.105 * [taylor]: Taking taylor expansion of 0 in y 0.105 * [approximate]: Taking taylor expansion of (* -1 (* (- 4.0 (/ 1 x)) y)) in (x y) around 0 0.105 * [taylor]: Taking taylor expansion of (* -1 (* (- 4.0 (/ 1 x)) y)) in y 0.105 * [taylor]: Taking taylor expansion of -1 in y 0.105 * [taylor]: Taking taylor expansion of (* (- 4.0 (/ 1 x)) y) in y 0.105 * [taylor]: Taking taylor expansion of (- 4.0 (/ 1 x)) in y 0.106 * [taylor]: Taking taylor expansion of 4.0 in y 0.106 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.106 * [taylor]: Taking taylor expansion of x in y 0.106 * [taylor]: Taking taylor expansion of y in y 0.106 * [taylor]: Taking taylor expansion of (* -1 (* (- 4.0 (/ 1 x)) y)) in x 0.106 * [taylor]: Taking taylor expansion of -1 in x 0.106 * [taylor]: Taking taylor expansion of (* (- 4.0 (/ 1 x)) y) in x 0.106 * [taylor]: Taking taylor expansion of (- 4.0 (/ 1 x)) in x 0.106 * [taylor]: Taking taylor expansion of 4.0 in x 0.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.106 * [taylor]: Taking taylor expansion of x in x 0.106 * [taylor]: Taking taylor expansion of y in x 0.106 * [taylor]: Taking taylor expansion of (* -1 (* (- 4.0 (/ 1 x)) y)) in x 0.106 * [taylor]: Taking taylor expansion of -1 in x 0.106 * [taylor]: Taking taylor expansion of (* (- 4.0 (/ 1 x)) y) in x 0.106 * [taylor]: Taking taylor expansion of (- 4.0 (/ 1 x)) in x 0.106 * [taylor]: Taking taylor expansion of 4.0 in x 0.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.106 * [taylor]: Taking taylor expansion of x in x 0.106 * [taylor]: Taking taylor expansion of y in x 0.107 * [taylor]: Taking taylor expansion of y in y 0.108 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 0.108 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.108 * [taylor]: Taking taylor expansion of 4.0 in y 0.108 * [taylor]: Taking taylor expansion of y in y 0.110 * [taylor]: Taking taylor expansion of 0 in y 0.114 * [taylor]: Taking taylor expansion of 0 in y 0.117 * [taylor]: Taking taylor expansion of 0 in y 0.118 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.118 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ (* x z) y)) in (x y z) around 0 0.118 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ (* x z) y)) in z 0.118 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 y)) (/ x y)) in z 0.118 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z 0.118 * [taylor]: Taking taylor expansion of 4.0 in z 0.118 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.118 * [taylor]: Taking taylor expansion of y in z 0.118 * [taylor]: Taking taylor expansion of (/ x y) in z 0.118 * [taylor]: Taking taylor expansion of x in z 0.118 * [taylor]: Taking taylor expansion of y in z 0.118 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z 0.118 * [taylor]: Taking taylor expansion of (* x z) in z 0.118 * [taylor]: Taking taylor expansion of x in z 0.118 * [taylor]: Taking taylor expansion of z in z 0.118 * [taylor]: Taking taylor expansion of y in z 0.119 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ (* x z) y)) in y 0.119 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 y)) (/ x y)) in y 0.119 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 0.119 * [taylor]: Taking taylor expansion of 4.0 in y 0.119 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.119 * [taylor]: Taking taylor expansion of y in y 0.119 * [taylor]: Taking taylor expansion of (/ x y) in y 0.119 * [taylor]: Taking taylor expansion of x in y 0.119 * [taylor]: Taking taylor expansion of y in y 0.119 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y 0.119 * [taylor]: Taking taylor expansion of (* x z) in y 0.119 * [taylor]: Taking taylor expansion of x in y 0.119 * [taylor]: Taking taylor expansion of z in y 0.119 * [taylor]: Taking taylor expansion of y in y 0.119 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ (* x z) y)) in x 0.119 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 y)) (/ x y)) in x 0.119 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 0.119 * [taylor]: Taking taylor expansion of 4.0 in x 0.119 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.119 * [taylor]: Taking taylor expansion of y in x 0.119 * [taylor]: Taking taylor expansion of (/ x y) in x 0.120 * [taylor]: Taking taylor expansion of x in x 0.120 * [taylor]: Taking taylor expansion of y in x 0.120 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x 0.120 * [taylor]: Taking taylor expansion of (* x z) in x 0.120 * [taylor]: Taking taylor expansion of x in x 0.120 * [taylor]: Taking taylor expansion of z in x 0.120 * [taylor]: Taking taylor expansion of y in x 0.120 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ (* x z) y)) in x 0.120 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 y)) (/ x y)) in x 0.120 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 0.120 * [taylor]: Taking taylor expansion of 4.0 in x 0.120 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.120 * [taylor]: Taking taylor expansion of y in x 0.120 * [taylor]: Taking taylor expansion of (/ x y) in x 0.120 * [taylor]: Taking taylor expansion of x in x 0.120 * [taylor]: Taking taylor expansion of y in x 0.120 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x 0.120 * [taylor]: Taking taylor expansion of (* x z) in x 0.120 * [taylor]: Taking taylor expansion of x in x 0.120 * [taylor]: Taking taylor expansion of z in x 0.120 * [taylor]: Taking taylor expansion of y in x 0.121 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 0.121 * [taylor]: Taking taylor expansion of 4.0 in y 0.121 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.121 * [taylor]: Taking taylor expansion of y in y 0.121 * [taylor]: Taking taylor expansion of 4.0 in z 0.122 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ z y)) in y 0.122 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.122 * [taylor]: Taking taylor expansion of y in y 0.122 * [taylor]: Taking taylor expansion of (/ z y) in y 0.122 * [taylor]: Taking taylor expansion of z in y 0.122 * [taylor]: Taking taylor expansion of y in y 0.122 * [taylor]: Taking taylor expansion of (- 1 z) in z 0.122 * [taylor]: Taking taylor expansion of 1 in z 0.122 * [taylor]: Taking taylor expansion of z in z 0.124 * [taylor]: Taking taylor expansion of 0 in z 0.125 * [taylor]: Taking taylor expansion of 0 in y 0.127 * [taylor]: Taking taylor expansion of 0 in z 0.128 * [taylor]: Taking taylor expansion of 0 in z 0.129 * [approximate]: Taking taylor expansion of (- (+ (/ y x) (* 4.0 y)) (/ y (* x z))) in (x y z) around 0 0.129 * [taylor]: Taking taylor expansion of (- (+ (/ y x) (* 4.0 y)) (/ y (* x z))) in z 0.129 * [taylor]: Taking taylor expansion of (+ (/ y x) (* 4.0 y)) in z 0.129 * [taylor]: Taking taylor expansion of (/ y x) in z 0.129 * [taylor]: Taking taylor expansion of y in z 0.129 * [taylor]: Taking taylor expansion of x in z 0.129 * [taylor]: Taking taylor expansion of (* 4.0 y) in z 0.129 * [taylor]: Taking taylor expansion of 4.0 in z 0.129 * [taylor]: Taking taylor expansion of y in z 0.129 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 0.129 * [taylor]: Taking taylor expansion of y in z 0.129 * [taylor]: Taking taylor expansion of (* x z) in z 0.129 * [taylor]: Taking taylor expansion of x in z 0.129 * [taylor]: Taking taylor expansion of z in z 0.129 * [taylor]: Taking taylor expansion of (- (+ (/ y x) (* 4.0 y)) (/ y (* x z))) in y 0.129 * [taylor]: Taking taylor expansion of (+ (/ y x) (* 4.0 y)) in y 0.129 * [taylor]: Taking taylor expansion of (/ y x) in y 0.129 * [taylor]: Taking taylor expansion of y in y 0.129 * [taylor]: Taking taylor expansion of x in y 0.129 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.129 * [taylor]: Taking taylor expansion of 4.0 in y 0.129 * [taylor]: Taking taylor expansion of y in y 0.129 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 0.129 * [taylor]: Taking taylor expansion of y in y 0.130 * [taylor]: Taking taylor expansion of (* x z) in y 0.130 * [taylor]: Taking taylor expansion of x in y 0.130 * [taylor]: Taking taylor expansion of z in y 0.130 * [taylor]: Taking taylor expansion of (- (+ (/ y x) (* 4.0 y)) (/ y (* x z))) in x 0.130 * [taylor]: Taking taylor expansion of (+ (/ y x) (* 4.0 y)) in x 0.130 * [taylor]: Taking taylor expansion of (/ y x) in x 0.130 * [taylor]: Taking taylor expansion of y in x 0.130 * [taylor]: Taking taylor expansion of x in x 0.130 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 0.130 * [taylor]: Taking taylor expansion of 4.0 in x 0.130 * [taylor]: Taking taylor expansion of y in x 0.130 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 0.130 * [taylor]: Taking taylor expansion of y in x 0.130 * [taylor]: Taking taylor expansion of (* x z) in x 0.130 * [taylor]: Taking taylor expansion of x in x 0.130 * [taylor]: Taking taylor expansion of z in x 0.130 * [taylor]: Taking taylor expansion of (- (+ (/ y x) (* 4.0 y)) (/ y (* x z))) in x 0.130 * [taylor]: Taking taylor expansion of (+ (/ y x) (* 4.0 y)) in x 0.130 * [taylor]: Taking taylor expansion of (/ y x) in x 0.130 * [taylor]: Taking taylor expansion of y in x 0.130 * [taylor]: Taking taylor expansion of x in x 0.130 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 0.130 * [taylor]: Taking taylor expansion of 4.0 in x 0.130 * [taylor]: Taking taylor expansion of y in x 0.130 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 0.130 * [taylor]: Taking taylor expansion of y in x 0.130 * [taylor]: Taking taylor expansion of (* x z) in x 0.130 * [taylor]: Taking taylor expansion of x in x 0.130 * [taylor]: Taking taylor expansion of z in x 0.131 * [taylor]: Taking taylor expansion of (- y (/ y z)) in y 0.131 * [taylor]: Taking taylor expansion of y in y 0.131 * [taylor]: Taking taylor expansion of (/ y z) in y 0.131 * [taylor]: Taking taylor expansion of y in y 0.131 * [taylor]: Taking taylor expansion of z in y 0.131 * [taylor]: Taking taylor expansion of 0 in z 0.133 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.133 * [taylor]: Taking taylor expansion of 4.0 in y 0.133 * [taylor]: Taking taylor expansion of y in y 0.133 * [taylor]: Taking taylor expansion of 0 in z 0.133 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z 0.133 * [taylor]: Taking taylor expansion of 1 in z 0.133 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.133 * [taylor]: Taking taylor expansion of z in z 0.136 * [taylor]: Taking taylor expansion of 0 in y 0.136 * [taylor]: Taking taylor expansion of 0 in z 0.137 * [taylor]: Taking taylor expansion of 4.0 in z 0.138 * [taylor]: Taking taylor expansion of 0 in z 0.142 * [taylor]: Taking taylor expansion of 0 in y 0.142 * [taylor]: Taking taylor expansion of 0 in z 0.142 * [taylor]: Taking taylor expansion of 0 in z 0.142 * [taylor]: Taking taylor expansion of 0 in z 0.143 * [taylor]: Taking taylor expansion of 0 in z 0.144 * [approximate]: Taking taylor expansion of (- (+ (/ y x) (/ y (* x z))) (* 4.0 y)) in (x y z) around 0 0.144 * [taylor]: Taking taylor expansion of (- (+ (/ y x) (/ y (* x z))) (* 4.0 y)) in z 0.144 * [taylor]: Taking taylor expansion of (+ (/ y x) (/ y (* x z))) in z 0.144 * [taylor]: Taking taylor expansion of (/ y x) in z 0.144 * [taylor]: Taking taylor expansion of y in z 0.144 * [taylor]: Taking taylor expansion of x in z 0.144 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 0.144 * [taylor]: Taking taylor expansion of y in z 0.144 * [taylor]: Taking taylor expansion of (* x z) in z 0.144 * [taylor]: Taking taylor expansion of x in z 0.144 * [taylor]: Taking taylor expansion of z in z 0.144 * [taylor]: Taking taylor expansion of (* 4.0 y) in z 0.144 * [taylor]: Taking taylor expansion of 4.0 in z 0.144 * [taylor]: Taking taylor expansion of y in z 0.144 * [taylor]: Taking taylor expansion of (- (+ (/ y x) (/ y (* x z))) (* 4.0 y)) in y 0.144 * [taylor]: Taking taylor expansion of (+ (/ y x) (/ y (* x z))) in y 0.144 * [taylor]: Taking taylor expansion of (/ y x) in y 0.144 * [taylor]: Taking taylor expansion of y in y 0.144 * [taylor]: Taking taylor expansion of x in y 0.144 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 0.144 * [taylor]: Taking taylor expansion of y in y 0.144 * [taylor]: Taking taylor expansion of (* x z) in y 0.144 * [taylor]: Taking taylor expansion of x in y 0.144 * [taylor]: Taking taylor expansion of z in y 0.145 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.145 * [taylor]: Taking taylor expansion of 4.0 in y 0.145 * [taylor]: Taking taylor expansion of y in y 0.145 * [taylor]: Taking taylor expansion of (- (+ (/ y x) (/ y (* x z))) (* 4.0 y)) in x 0.145 * [taylor]: Taking taylor expansion of (+ (/ y x) (/ y (* x z))) in x 0.145 * [taylor]: Taking taylor expansion of (/ y x) in x 0.145 * [taylor]: Taking taylor expansion of y in x 0.145 * [taylor]: Taking taylor expansion of x in x 0.145 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 0.145 * [taylor]: Taking taylor expansion of y in x 0.145 * [taylor]: Taking taylor expansion of (* x z) in x 0.145 * [taylor]: Taking taylor expansion of x in x 0.145 * [taylor]: Taking taylor expansion of z in x 0.145 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 0.145 * [taylor]: Taking taylor expansion of 4.0 in x 0.145 * [taylor]: Taking taylor expansion of y in x 0.145 * [taylor]: Taking taylor expansion of (- (+ (/ y x) (/ y (* x z))) (* 4.0 y)) in x 0.145 * [taylor]: Taking taylor expansion of (+ (/ y x) (/ y (* x z))) in x 0.145 * [taylor]: Taking taylor expansion of (/ y x) in x 0.145 * [taylor]: Taking taylor expansion of y in x 0.145 * [taylor]: Taking taylor expansion of x in x 0.145 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 0.145 * [taylor]: Taking taylor expansion of y in x 0.145 * [taylor]: Taking taylor expansion of (* x z) in x 0.145 * [taylor]: Taking taylor expansion of x in x 0.145 * [taylor]: Taking taylor expansion of z in x 0.146 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 0.146 * [taylor]: Taking taylor expansion of 4.0 in x 0.146 * [taylor]: Taking taylor expansion of y in x 0.146 * [taylor]: Taking taylor expansion of (+ (/ y z) y) in y 0.146 * [taylor]: Taking taylor expansion of (/ y z) in y 0.146 * [taylor]: Taking taylor expansion of y in y 0.146 * [taylor]: Taking taylor expansion of z in y 0.146 * [taylor]: Taking taylor expansion of y in y 0.146 * [taylor]: Taking taylor expansion of 0 in z 0.148 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 0.148 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.148 * [taylor]: Taking taylor expansion of 4.0 in y 0.148 * [taylor]: Taking taylor expansion of y in y 0.148 * [taylor]: Taking taylor expansion of 0 in z 0.148 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z 0.148 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.148 * [taylor]: Taking taylor expansion of z in z 0.149 * [taylor]: Taking taylor expansion of 1 in z 0.151 * [taylor]: Taking taylor expansion of 0 in y 0.151 * [taylor]: Taking taylor expansion of 0 in z 0.153 * [taylor]: Taking taylor expansion of (- 4.0) in z 0.153 * [taylor]: Taking taylor expansion of 4.0 in z 0.153 * [taylor]: Taking taylor expansion of 0 in z 0.157 * [taylor]: Taking taylor expansion of 0 in y 0.157 * [taylor]: Taking taylor expansion of 0 in z 0.157 * [taylor]: Taking taylor expansion of 0 in z 0.158 * [taylor]: Taking taylor expansion of 0 in z 0.158 * [taylor]: Taking taylor expansion of 0 in z 0.159 * * * [progress]: simplifying candidates 0.160 * [simplify]: Simplifying using # : (* (/ 1 y) z) (* x z) (* (- x) z) (* 1 z) (- (+ x 4.0)) (- y) (/ 1 y) (/ y (+ x 4.0)) (* y (+ (* x x) (- (* 4.0 4.0) (* x 4.0)))) (* y (- x 4.0)) (fma (+ x 4.0) (/ 1 y) (- (* z (/ x y)))) (fma (- z) (/ x y) (* z (/ x y))) (fma (+ x 4.0) (/ 1 y) (- (* (* (/ 1 y) z) x))) (fma (- (* (/ 1 y) z)) x (* (* (/ 1 y) z) x)) (fma (+ x 4.0) (/ 1 y) (- (* (/ x y) z))) (fma (- (/ x y)) z (* (/ x y) z)) (- (* (/ x y) z)) (- (+ x 4.0) (* x z)) (- (- (+ x 4.0)) (* (- x) z)) (- (* (+ x 4.0) y) (* y (* x z))) (* y y) (- (* (+ x 4.0) (- y)) (* y (* (- x) z))) (* y (- y)) (- (* (+ x 4.0) (/ y x)) (* y (* 1 z))) (* y (/ y x)) (- (* (- (+ x 4.0)) y) (* (- y) (* x z))) (* (- y) y) (- (* (- (+ x 4.0)) (- y)) (* (- y) (* (- x) z))) (* (- y) (- y)) (- (* (- (+ x 4.0)) (/ y x)) (* (- y) (* 1 z))) (* (- y) (/ y x)) (- (* 1 y) (* (/ y (+ x 4.0)) (* x z))) (* (/ y (+ x 4.0)) y) (- (* 1 (- y)) (* (/ y (+ x 4.0)) (* (- x) z))) (* (/ y (+ x 4.0)) (- y)) (- (* 1 (/ y x)) (* (/ y (+ x 4.0)) (* 1 z))) (* (/ y (+ x 4.0)) (/ y x)) (- (* (+ (pow x 3) (pow 4.0 3)) y) (* (* y (+ (* x x) (- (* 4.0 4.0) (* x 4.0)))) (* x z))) (* (* y (+ (* x x) (- (* 4.0 4.0) (* x 4.0)))) y) (- (* (+ (pow x 3) (pow 4.0 3)) (- y)) (* (* y (+ (* x x) (- (* 4.0 4.0) (* x 4.0)))) (* (- x) z))) (* (* y (+ (* x x) (- (* 4.0 4.0) (* x 4.0)))) (- y)) (- (* (+ (pow x 3) (pow 4.0 3)) (/ y x)) (* (* y (+ (* x x) (- (* 4.0 4.0) (* x 4.0)))) (* 1 z))) (* (* y (+ (* x x) (- (* 4.0 4.0) (* x 4.0)))) (/ y x)) (- (* (- (* x x) (* 4.0 4.0)) y) (* (* y (- x 4.0)) (* x z))) (* (* y (- x 4.0)) y) (- (* (- (* x x) (* 4.0 4.0)) (- y)) (* (* y (- x 4.0)) (* (- x) z))) (* (* y (- x 4.0)) (- y)) (- (* (- (* x x) (* 4.0 4.0)) (/ y x)) (* (* y (- x 4.0)) (* 1 z))) (* (* y (- x 4.0)) (/ y x)) (- (pow (/ (+ x 4.0) y) 3) (pow (* (/ x y) z) 3)) (+ (* (/ (+ x 4.0) y) (/ (+ x 4.0) y)) (+ (* (* (/ x y) z) (* (/ x y) z)) (* (/ (+ x 4.0) y) (* (/ x y) z)))) (- (* (/ x y) z)) (- (* (/ (+ x 4.0) y) (/ (+ x 4.0) y)) (* (* (/ x y) z) (* (/ x y) z))) (+ (/ (+ x 4.0) y) (* (/ x y) z)) (- (* (/ x y) z)) (/ (* x z) y) (/ (* x z) y) (/ (* x z) y) (+ (* 4.0 (/ 1 y)) (/ x y)) (+ (* 4.0 (/ 1 y)) (/ x y)) (+ (* 4.0 (/ 1 y)) (/ x y)) (- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ (* x z) y)) (- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ (* x z) y)) (- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ (* x z) y)) 0.164 * * [simplify]: iteration 0 : 404 enodes (cost 331 ) 0.172 * * [simplify]: iteration 1 : 1883 enodes (cost 290 ) 0.210 * * [simplify]: iteration 2 : 5001 enodes (cost 276 ) 0.212 * [simplify]: Simplified to: (/ z y) (* x z) (* (- x) z) z (- (+ x 4.0)) (- y) (/ 1 y) (/ y (+ x 4.0)) (* y (fma 4.0 (- 4.0 x) (* x x))) (* y (- x 4.0)) (- (/ (+ x 4.0) y) (* (/ x y) z)) (* (/ x y) (+ (- z) z)) (- (/ (+ x 4.0) y) (* (/ x y) z)) (* (/ x y) (+ (- z) z)) (- (/ (+ x 4.0) y) (* (/ x y) z)) (* (/ x y) (+ (- z) z)) (- (* (/ x y) z)) (- (+ x 4.0) (* x z)) (fma z x (- (+ x 4.0))) (* y (- (+ x 4.0) (* x z))) (* y y) (* (- y) (- (+ x 4.0) (* x z))) (* (- y) y) (fma (+ x 4.0) (/ y x) (* z (- y))) (* y (/ y x)) (* (- y) (- (+ x 4.0) (* x z))) (* (- y) y) (* y (- (+ x 4.0) (* x z))) (* y y) (fma (- (+ x 4.0)) (/ y x) (* z y)) (* (- y) (/ y x)) (fma (* (/ y (+ x 4.0)) (- x)) z y) (* (/ y (+ x 4.0)) y) (fma (* (/ y (+ x 4.0)) x) z (- y)) (* (/ y (+ x 4.0)) (- y)) (fma (- (/ y (+ x 4.0))) z (/ y x)) (* (/ y (+ x 4.0)) (/ y x)) (* y (- (+ (pow x 3) (pow 4.0 3)) (* (fma x x (- (* 4.0 4.0) (* x 4.0))) (* x z)))) (* (* y y) (fma 4.0 (- 4.0 x) (* x x))) (fma (- (+ (pow x 3) (pow 4.0 3))) y (* (* (* x z) y) (fma 4.0 (- 4.0 x) (* x x)))) (* (* (- y) y) (fma 4.0 (- 4.0 x) (* x x))) (fma (- (* (fma 4.0 (- 4.0 x) (* x x)) y)) z (* (+ (pow x 3) (pow 4.0 3)) (/ y x))) (* (* y (fma 4.0 (- 4.0 x) (* x x))) (/ y x)) (* y (- (- (* x x) (* 4.0 4.0)) (* (- x 4.0) (* x z)))) (* (* y (- x 4.0)) y) (fma (- (- (* x x) (* 4.0 4.0))) y (* (* y (- x 4.0)) (* x z))) (* (* y (- x 4.0)) (- y)) (fma (* (+ x 4.0) (/ y x)) (- x 4.0) (* (- (* y (- x 4.0))) z)) (* (* y (- x 4.0)) (/ y x)) (- (pow (/ (+ x 4.0) y) 3) (pow (* (/ x y) z) 3)) (fma (/ x y) (* z (fma (/ x y) z (/ (+ x 4.0) y))) (* (/ (+ x 4.0) y) (/ (+ x 4.0) y))) (- (* (/ x y) z)) (* (- (/ (+ x 4.0) y) (* (/ x y) z)) (fma (/ x y) z (/ (+ x 4.0) y))) (fma (/ x y) z (/ (+ x 4.0) y)) (- (* (/ x y) z)) (* (/ x y) z) (* (/ x y) z) (* (/ x y) z) (fma 4.0 (/ 1 y) (/ x y)) (fma 4.0 (/ 1 y) (/ x y)) (fma 4.0 (/ 1 y) (/ x y)) (fma 4.0 (/ 1 y) (- (/ x y) (/ (* x z) y))) (fma 4.0 (/ 1 y) (- (/ x y) (/ (* x z) y))) (fma 4.0 (/ 1 y) (- (/ x y) (/ (* x z) y))) 0.213 * * * [progress]: adding candidates to table 0.306 * * [progress]: iteration 2 / 4 0.306 * * * [progress]: picking best candidate 0.313 * * * * [pick]: Picked # 0.314 * * * [progress]: localizing error 0.326 * * * [progress]: generating rewritten candidates 0.326 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 0.329 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 0.330 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.333 * * * [progress]: generating series expansions 0.333 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 0.333 * [approximate]: Taking taylor expansion of (/ (* x z) y) in (x y z) around 0 0.333 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z 0.333 * [taylor]: Taking taylor expansion of (* x z) in z 0.333 * [taylor]: Taking taylor expansion of x in z 0.333 * [taylor]: Taking taylor expansion of z in z 0.333 * [taylor]: Taking taylor expansion of y in z 0.333 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y 0.333 * [taylor]: Taking taylor expansion of (* x z) in y 0.334 * [taylor]: Taking taylor expansion of x in y 0.334 * [taylor]: Taking taylor expansion of z in y 0.334 * [taylor]: Taking taylor expansion of y in y 0.334 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x 0.334 * [taylor]: Taking taylor expansion of (* x z) in x 0.334 * [taylor]: Taking taylor expansion of x in x 0.334 * [taylor]: Taking taylor expansion of z in x 0.334 * [taylor]: Taking taylor expansion of y in x 0.334 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x 0.334 * [taylor]: Taking taylor expansion of (* x z) in x 0.334 * [taylor]: Taking taylor expansion of x in x 0.334 * [taylor]: Taking taylor expansion of z in x 0.334 * [taylor]: Taking taylor expansion of y in x 0.334 * [taylor]: Taking taylor expansion of (/ z y) in y 0.334 * [taylor]: Taking taylor expansion of z in y 0.335 * [taylor]: Taking taylor expansion of y in y 0.335 * [taylor]: Taking taylor expansion of z in z 0.335 * [taylor]: Taking taylor expansion of 0 in y 0.336 * [taylor]: Taking taylor expansion of 0 in z 0.337 * [taylor]: Taking taylor expansion of 0 in y 0.337 * [taylor]: Taking taylor expansion of 0 in z 0.337 * [taylor]: Taking taylor expansion of 0 in z 0.338 * [approximate]: Taking taylor expansion of (/ y (* x z)) in (x y z) around 0 0.338 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 0.338 * [taylor]: Taking taylor expansion of y in z 0.338 * [taylor]: Taking taylor expansion of (* x z) in z 0.338 * [taylor]: Taking taylor expansion of x in z 0.338 * [taylor]: Taking taylor expansion of z in z 0.338 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 0.338 * [taylor]: Taking taylor expansion of y in y 0.338 * [taylor]: Taking taylor expansion of (* x z) in y 0.338 * [taylor]: Taking taylor expansion of x in y 0.338 * [taylor]: Taking taylor expansion of z in y 0.338 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 0.338 * [taylor]: Taking taylor expansion of y in x 0.338 * [taylor]: Taking taylor expansion of (* x z) in x 0.338 * [taylor]: Taking taylor expansion of x in x 0.338 * [taylor]: Taking taylor expansion of z in x 0.339 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 0.339 * [taylor]: Taking taylor expansion of y in x 0.339 * [taylor]: Taking taylor expansion of (* x z) in x 0.339 * [taylor]: Taking taylor expansion of x in x 0.339 * [taylor]: Taking taylor expansion of z in x 0.339 * [taylor]: Taking taylor expansion of (/ y z) in y 0.339 * [taylor]: Taking taylor expansion of y in y 0.339 * [taylor]: Taking taylor expansion of z in y 0.339 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.339 * [taylor]: Taking taylor expansion of z in z 0.340 * [taylor]: Taking taylor expansion of 0 in y 0.340 * [taylor]: Taking taylor expansion of 0 in z 0.340 * [taylor]: Taking taylor expansion of 0 in z 0.341 * [taylor]: Taking taylor expansion of 0 in y 0.341 * [taylor]: Taking taylor expansion of 0 in z 0.341 * [taylor]: Taking taylor expansion of 0 in z 0.341 * [taylor]: Taking taylor expansion of 0 in z 0.343 * [taylor]: Taking taylor expansion of 0 in y 0.343 * [taylor]: Taking taylor expansion of 0 in z 0.343 * [taylor]: Taking taylor expansion of 0 in z 0.343 * [taylor]: Taking taylor expansion of 0 in z 0.343 * [taylor]: Taking taylor expansion of 0 in z 0.344 * [approximate]: Taking taylor expansion of (* -1 (/ y (* x z))) in (x y z) around 0 0.344 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in z 0.344 * [taylor]: Taking taylor expansion of -1 in z 0.344 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 0.344 * [taylor]: Taking taylor expansion of y in z 0.344 * [taylor]: Taking taylor expansion of (* x z) in z 0.344 * [taylor]: Taking taylor expansion of x in z 0.344 * [taylor]: Taking taylor expansion of z in z 0.344 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in y 0.344 * [taylor]: Taking taylor expansion of -1 in y 0.344 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 0.344 * [taylor]: Taking taylor expansion of y in y 0.344 * [taylor]: Taking taylor expansion of (* x z) in y 0.344 * [taylor]: Taking taylor expansion of x in y 0.344 * [taylor]: Taking taylor expansion of z in y 0.344 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in x 0.344 * [taylor]: Taking taylor expansion of -1 in x 0.344 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 0.344 * [taylor]: Taking taylor expansion of y in x 0.344 * [taylor]: Taking taylor expansion of (* x z) in x 0.344 * [taylor]: Taking taylor expansion of x in x 0.344 * [taylor]: Taking taylor expansion of z in x 0.345 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in x 0.345 * [taylor]: Taking taylor expansion of -1 in x 0.345 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 0.345 * [taylor]: Taking taylor expansion of y in x 0.345 * [taylor]: Taking taylor expansion of (* x z) in x 0.345 * [taylor]: Taking taylor expansion of x in x 0.345 * [taylor]: Taking taylor expansion of z in x 0.345 * [taylor]: Taking taylor expansion of (* -1 (/ y z)) in y 0.345 * [taylor]: Taking taylor expansion of -1 in y 0.345 * [taylor]: Taking taylor expansion of (/ y z) in y 0.345 * [taylor]: Taking taylor expansion of y in y 0.345 * [taylor]: Taking taylor expansion of z in y 0.345 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.345 * [taylor]: Taking taylor expansion of -1 in z 0.345 * [taylor]: Taking taylor expansion of z in z 0.346 * [taylor]: Taking taylor expansion of 0 in y 0.346 * [taylor]: Taking taylor expansion of 0 in z 0.347 * [taylor]: Taking taylor expansion of 0 in z 0.349 * [taylor]: Taking taylor expansion of 0 in y 0.349 * [taylor]: Taking taylor expansion of 0 in z 0.349 * [taylor]: Taking taylor expansion of 0 in z 0.349 * [taylor]: Taking taylor expansion of 0 in z 0.352 * [taylor]: Taking taylor expansion of 0 in y 0.352 * [taylor]: Taking taylor expansion of 0 in z 0.352 * [taylor]: Taking taylor expansion of 0 in z 0.352 * [taylor]: Taking taylor expansion of 0 in z 0.353 * [taylor]: Taking taylor expansion of 0 in z 0.353 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 0.353 * [approximate]: Taking taylor expansion of (fma 4.0 (/ 1 y) (/ x y)) in (y x) around 0 0.353 * [taylor]: Taking taylor expansion of (fma 4.0 (/ 1 y) (/ x y)) in x 0.353 * [taylor]: Rewrote expression to (+ (* 4.0 (/ 1 y)) (/ x y)) 0.353 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 0.353 * [taylor]: Taking taylor expansion of 4.0 in x 0.353 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.353 * [taylor]: Taking taylor expansion of y in x 0.353 * [taylor]: Taking taylor expansion of (/ x y) in x 0.353 * [taylor]: Taking taylor expansion of x in x 0.353 * [taylor]: Taking taylor expansion of y in x 0.353 * [taylor]: Taking taylor expansion of (fma 4.0 (/ 1 y) (/ x y)) in y 0.353 * [taylor]: Rewrote expression to (+ (* 4.0 (/ 1 y)) (/ x y)) 0.353 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 0.353 * [taylor]: Taking taylor expansion of 4.0 in y 0.354 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.354 * [taylor]: Taking taylor expansion of y in y 0.354 * [taylor]: Taking taylor expansion of (/ x y) in y 0.354 * [taylor]: Taking taylor expansion of x in y 0.354 * [taylor]: Taking taylor expansion of y in y 0.354 * [taylor]: Taking taylor expansion of (fma 4.0 (/ 1 y) (/ x y)) in y 0.354 * [taylor]: Rewrote expression to (+ (* 4.0 (/ 1 y)) (/ x y)) 0.354 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 0.354 * [taylor]: Taking taylor expansion of 4.0 in y 0.354 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.354 * [taylor]: Taking taylor expansion of y in y 0.354 * [taylor]: Taking taylor expansion of (/ x y) in y 0.354 * [taylor]: Taking taylor expansion of x in y 0.354 * [taylor]: Taking taylor expansion of y in y 0.355 * [taylor]: Taking taylor expansion of (+ x 4.0) in x 0.355 * [taylor]: Taking taylor expansion of x in x 0.355 * [taylor]: Taking taylor expansion of 4.0 in x 0.357 * [taylor]: Taking taylor expansion of 0 in x 0.359 * [taylor]: Taking taylor expansion of 0 in x 0.362 * [taylor]: Taking taylor expansion of 0 in x 0.362 * [approximate]: Taking taylor expansion of (fma 4.0 y (/ y x)) in (y x) around 0 0.362 * [taylor]: Taking taylor expansion of (fma 4.0 y (/ y x)) in x 0.362 * [taylor]: Rewrote expression to (+ (* 4.0 y) (/ y x)) 0.362 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 0.362 * [taylor]: Taking taylor expansion of 4.0 in x 0.362 * [taylor]: Taking taylor expansion of y in x 0.362 * [taylor]: Taking taylor expansion of (/ y x) in x 0.362 * [taylor]: Taking taylor expansion of y in x 0.362 * [taylor]: Taking taylor expansion of x in x 0.362 * [taylor]: Taking taylor expansion of (fma 4.0 y (/ y x)) in y 0.362 * [taylor]: Rewrote expression to (+ (* 4.0 y) (/ y x)) 0.362 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.362 * [taylor]: Taking taylor expansion of 4.0 in y 0.362 * [taylor]: Taking taylor expansion of y in y 0.362 * [taylor]: Taking taylor expansion of (/ y x) in y 0.362 * [taylor]: Taking taylor expansion of y in y 0.362 * [taylor]: Taking taylor expansion of x in y 0.362 * [taylor]: Taking taylor expansion of (fma 4.0 y (/ y x)) in y 0.362 * [taylor]: Rewrote expression to (+ (* 4.0 y) (/ y x)) 0.363 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.363 * [taylor]: Taking taylor expansion of 4.0 in y 0.363 * [taylor]: Taking taylor expansion of y in y 0.363 * [taylor]: Taking taylor expansion of (/ y x) in y 0.363 * [taylor]: Taking taylor expansion of y in y 0.363 * [taylor]: Taking taylor expansion of x in y 0.363 * [taylor]: Taking taylor expansion of 0 in x 0.364 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 4.0) in x 0.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.364 * [taylor]: Taking taylor expansion of x in x 0.364 * [taylor]: Taking taylor expansion of 4.0 in x 0.365 * [taylor]: Taking taylor expansion of 0 in x 0.367 * [taylor]: Taking taylor expansion of 0 in x 0.369 * [taylor]: Taking taylor expansion of 0 in x 0.369 * [approximate]: Taking taylor expansion of (fma 4.0 (* -1 y) (/ y x)) in (y x) around 0 0.369 * [taylor]: Taking taylor expansion of (fma 4.0 (* -1 y) (/ y x)) in x 0.369 * [taylor]: Rewrote expression to (+ (* 4.0 (* -1 y)) (/ y x)) 0.369 * [taylor]: Taking taylor expansion of (* 4.0 (* -1 y)) in x 0.369 * [taylor]: Taking taylor expansion of 4.0 in x 0.369 * [taylor]: Taking taylor expansion of (* -1 y) in x 0.369 * [taylor]: Taking taylor expansion of -1 in x 0.369 * [taylor]: Taking taylor expansion of y in x 0.369 * [taylor]: Taking taylor expansion of (/ y x) in x 0.369 * [taylor]: Taking taylor expansion of y in x 0.369 * [taylor]: Taking taylor expansion of x in x 0.369 * [taylor]: Taking taylor expansion of (fma 4.0 (* -1 y) (/ y x)) in y 0.369 * [taylor]: Rewrote expression to (+ (* 4.0 (* -1 y)) (/ y x)) 0.369 * [taylor]: Taking taylor expansion of (* 4.0 (* -1 y)) in y 0.370 * [taylor]: Taking taylor expansion of 4.0 in y 0.370 * [taylor]: Taking taylor expansion of (* -1 y) in y 0.370 * [taylor]: Taking taylor expansion of -1 in y 0.370 * [taylor]: Taking taylor expansion of y in y 0.370 * [taylor]: Taking taylor expansion of (/ y x) in y 0.370 * [taylor]: Taking taylor expansion of y in y 0.370 * [taylor]: Taking taylor expansion of x in y 0.370 * [taylor]: Taking taylor expansion of (fma 4.0 (* -1 y) (/ y x)) in y 0.370 * [taylor]: Rewrote expression to (+ (* 4.0 (* -1 y)) (/ y x)) 0.370 * [taylor]: Taking taylor expansion of (* 4.0 (* -1 y)) in y 0.370 * [taylor]: Taking taylor expansion of 4.0 in y 0.370 * [taylor]: Taking taylor expansion of (* -1 y) in y 0.370 * [taylor]: Taking taylor expansion of -1 in y 0.370 * [taylor]: Taking taylor expansion of y in y 0.370 * [taylor]: Taking taylor expansion of (/ y x) in y 0.370 * [taylor]: Taking taylor expansion of y in y 0.370 * [taylor]: Taking taylor expansion of x in y 0.371 * [taylor]: Taking taylor expansion of 0 in x 0.372 * [taylor]: Taking taylor expansion of (- (/ 1 x) 4.0) in x 0.372 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.372 * [taylor]: Taking taylor expansion of x in x 0.372 * [taylor]: Taking taylor expansion of 4.0 in x 0.374 * [taylor]: Taking taylor expansion of 0 in x 0.377 * [taylor]: Taking taylor expansion of 0 in x 0.379 * [taylor]: Taking taylor expansion of 0 in x 0.380 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.380 * [approximate]: Taking taylor expansion of (- (fma 4.0 (/ 1 y) (/ x y)) (/ (* x z) y)) in (y x z) around 0 0.380 * [taylor]: Taking taylor expansion of (- (fma 4.0 (/ 1 y) (/ x y)) (/ (* x z) y)) in z 0.380 * [taylor]: Taking taylor expansion of (fma 4.0 (/ 1 y) (/ x y)) in z 0.380 * [taylor]: Rewrote expression to (+ (* 4.0 (/ 1 y)) (/ x y)) 0.380 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z 0.380 * [taylor]: Taking taylor expansion of 4.0 in z 0.380 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.380 * [taylor]: Taking taylor expansion of y in z 0.380 * [taylor]: Taking taylor expansion of (/ x y) in z 0.380 * [taylor]: Taking taylor expansion of x in z 0.380 * [taylor]: Taking taylor expansion of y in z 0.380 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z 0.380 * [taylor]: Taking taylor expansion of (* x z) in z 0.380 * [taylor]: Taking taylor expansion of x in z 0.380 * [taylor]: Taking taylor expansion of z in z 0.381 * [taylor]: Taking taylor expansion of y in z 0.381 * [taylor]: Taking taylor expansion of (- (fma 4.0 (/ 1 y) (/ x y)) (/ (* x z) y)) in x 0.381 * [taylor]: Taking taylor expansion of (fma 4.0 (/ 1 y) (/ x y)) in x 0.381 * [taylor]: Rewrote expression to (+ (* 4.0 (/ 1 y)) (/ x y)) 0.381 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 0.381 * [taylor]: Taking taylor expansion of 4.0 in x 0.381 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.381 * [taylor]: Taking taylor expansion of y in x 0.381 * [taylor]: Taking taylor expansion of (/ x y) in x 0.381 * [taylor]: Taking taylor expansion of x in x 0.381 * [taylor]: Taking taylor expansion of y in x 0.381 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x 0.381 * [taylor]: Taking taylor expansion of (* x z) in x 0.381 * [taylor]: Taking taylor expansion of x in x 0.381 * [taylor]: Taking taylor expansion of z in x 0.381 * [taylor]: Taking taylor expansion of y in x 0.382 * [taylor]: Taking taylor expansion of (- (fma 4.0 (/ 1 y) (/ x y)) (/ (* x z) y)) in y 0.382 * [taylor]: Taking taylor expansion of (fma 4.0 (/ 1 y) (/ x y)) in y 0.382 * [taylor]: Rewrote expression to (+ (* 4.0 (/ 1 y)) (/ x y)) 0.382 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 0.382 * [taylor]: Taking taylor expansion of 4.0 in y 0.382 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.382 * [taylor]: Taking taylor expansion of y in y 0.382 * [taylor]: Taking taylor expansion of (/ x y) in y 0.382 * [taylor]: Taking taylor expansion of x in y 0.382 * [taylor]: Taking taylor expansion of y in y 0.382 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y 0.382 * [taylor]: Taking taylor expansion of (* x z) in y 0.382 * [taylor]: Taking taylor expansion of x in y 0.382 * [taylor]: Taking taylor expansion of z in y 0.382 * [taylor]: Taking taylor expansion of y in y 0.382 * [taylor]: Taking taylor expansion of (- (fma 4.0 (/ 1 y) (/ x y)) (/ (* x z) y)) in y 0.382 * [taylor]: Taking taylor expansion of (fma 4.0 (/ 1 y) (/ x y)) in y 0.382 * [taylor]: Rewrote expression to (+ (* 4.0 (/ 1 y)) (/ x y)) 0.382 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 0.383 * [taylor]: Taking taylor expansion of 4.0 in y 0.383 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.383 * [taylor]: Taking taylor expansion of y in y 0.383 * [taylor]: Taking taylor expansion of (/ x y) in y 0.383 * [taylor]: Taking taylor expansion of x in y 0.383 * [taylor]: Taking taylor expansion of y in y 0.383 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y 0.383 * [taylor]: Taking taylor expansion of (* x z) in y 0.383 * [taylor]: Taking taylor expansion of x in y 0.383 * [taylor]: Taking taylor expansion of z in y 0.383 * [taylor]: Taking taylor expansion of y in y 0.383 * [taylor]: Taking taylor expansion of (- (+ x 4.0) (* x z)) in x 0.383 * [taylor]: Taking taylor expansion of (+ x 4.0) in x 0.383 * [taylor]: Taking taylor expansion of x in x 0.383 * [taylor]: Taking taylor expansion of 4.0 in x 0.384 * [taylor]: Taking taylor expansion of (* x z) in x 0.384 * [taylor]: Taking taylor expansion of x in x 0.384 * [taylor]: Taking taylor expansion of z in x 0.384 * [taylor]: Taking taylor expansion of 4.0 in z 0.387 * [taylor]: Taking taylor expansion of 0 in x 0.387 * [taylor]: Taking taylor expansion of 0 in z 0.387 * [taylor]: Taking taylor expansion of (- 1 z) in z 0.387 * [taylor]: Taking taylor expansion of 1 in z 0.387 * [taylor]: Taking taylor expansion of z in z 0.391 * [taylor]: Taking taylor expansion of 0 in x 0.391 * [taylor]: Taking taylor expansion of 0 in z 0.391 * [taylor]: Taking taylor expansion of 0 in z 0.393 * [taylor]: Taking taylor expansion of 0 in z 0.394 * [approximate]: Taking taylor expansion of (- (fma 4.0 y (/ y x)) (/ y (* x z))) in (y x z) around 0 0.394 * [taylor]: Taking taylor expansion of (- (fma 4.0 y (/ y x)) (/ y (* x z))) in z 0.394 * [taylor]: Taking taylor expansion of (fma 4.0 y (/ y x)) in z 0.394 * [taylor]: Rewrote expression to (+ (* 4.0 y) (/ y x)) 0.394 * [taylor]: Taking taylor expansion of (* 4.0 y) in z 0.394 * [taylor]: Taking taylor expansion of 4.0 in z 0.394 * [taylor]: Taking taylor expansion of y in z 0.394 * [taylor]: Taking taylor expansion of (/ y x) in z 0.394 * [taylor]: Taking taylor expansion of y in z 0.394 * [taylor]: Taking taylor expansion of x in z 0.394 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 0.394 * [taylor]: Taking taylor expansion of y in z 0.394 * [taylor]: Taking taylor expansion of (* x z) in z 0.394 * [taylor]: Taking taylor expansion of x in z 0.394 * [taylor]: Taking taylor expansion of z in z 0.394 * [taylor]: Taking taylor expansion of (- (fma 4.0 y (/ y x)) (/ y (* x z))) in x 0.394 * [taylor]: Taking taylor expansion of (fma 4.0 y (/ y x)) in x 0.394 * [taylor]: Rewrote expression to (+ (* 4.0 y) (/ y x)) 0.394 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 0.394 * [taylor]: Taking taylor expansion of 4.0 in x 0.394 * [taylor]: Taking taylor expansion of y in x 0.394 * [taylor]: Taking taylor expansion of (/ y x) in x 0.394 * [taylor]: Taking taylor expansion of y in x 0.395 * [taylor]: Taking taylor expansion of x in x 0.395 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 0.395 * [taylor]: Taking taylor expansion of y in x 0.395 * [taylor]: Taking taylor expansion of (* x z) in x 0.395 * [taylor]: Taking taylor expansion of x in x 0.395 * [taylor]: Taking taylor expansion of z in x 0.395 * [taylor]: Taking taylor expansion of (- (fma 4.0 y (/ y x)) (/ y (* x z))) in y 0.395 * [taylor]: Taking taylor expansion of (fma 4.0 y (/ y x)) in y 0.395 * [taylor]: Rewrote expression to (+ (* 4.0 y) (/ y x)) 0.395 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.395 * [taylor]: Taking taylor expansion of 4.0 in y 0.395 * [taylor]: Taking taylor expansion of y in y 0.395 * [taylor]: Taking taylor expansion of (/ y x) in y 0.395 * [taylor]: Taking taylor expansion of y in y 0.395 * [taylor]: Taking taylor expansion of x in y 0.395 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 0.395 * [taylor]: Taking taylor expansion of y in y 0.395 * [taylor]: Taking taylor expansion of (* x z) in y 0.395 * [taylor]: Taking taylor expansion of x in y 0.395 * [taylor]: Taking taylor expansion of z in y 0.395 * [taylor]: Taking taylor expansion of (- (fma 4.0 y (/ y x)) (/ y (* x z))) in y 0.395 * [taylor]: Taking taylor expansion of (fma 4.0 y (/ y x)) in y 0.395 * [taylor]: Rewrote expression to (+ (* 4.0 y) (/ y x)) 0.395 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.395 * [taylor]: Taking taylor expansion of 4.0 in y 0.396 * [taylor]: Taking taylor expansion of y in y 0.396 * [taylor]: Taking taylor expansion of (/ y x) in y 0.396 * [taylor]: Taking taylor expansion of y in y 0.396 * [taylor]: Taking taylor expansion of x in y 0.396 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 0.396 * [taylor]: Taking taylor expansion of y in y 0.396 * [taylor]: Taking taylor expansion of (* x z) in y 0.396 * [taylor]: Taking taylor expansion of x in y 0.396 * [taylor]: Taking taylor expansion of z in y 0.396 * [taylor]: Taking taylor expansion of 0 in x 0.397 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 4.0) (/ 1 (* x z))) in x 0.398 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 4.0) in x 0.398 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.398 * [taylor]: Taking taylor expansion of x in x 0.398 * [taylor]: Taking taylor expansion of 4.0 in x 0.398 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.398 * [taylor]: Taking taylor expansion of (* x z) in x 0.398 * [taylor]: Taking taylor expansion of x in x 0.398 * [taylor]: Taking taylor expansion of z in x 0.399 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z 0.399 * [taylor]: Taking taylor expansion of 1 in z 0.399 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.399 * [taylor]: Taking taylor expansion of z in z 0.399 * [taylor]: Taking taylor expansion of 0 in z 0.401 * [taylor]: Taking taylor expansion of 0 in x 0.402 * [taylor]: Taking taylor expansion of 4.0 in z 0.402 * [taylor]: Taking taylor expansion of 0 in z 0.410 * [taylor]: Taking taylor expansion of 0 in x 0.410 * [taylor]: Taking taylor expansion of 0 in z 0.412 * [taylor]: Taking taylor expansion of 0 in z 0.412 * [taylor]: Taking taylor expansion of 0 in z 0.412 * [approximate]: Taking taylor expansion of (+ (/ y (* x z)) (fma 4.0 (* -1 y) (/ y x))) in (y x z) around 0 0.413 * [taylor]: Taking taylor expansion of (+ (/ y (* x z)) (fma 4.0 (* -1 y) (/ y x))) in z 0.413 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 0.413 * [taylor]: Taking taylor expansion of y in z 0.413 * [taylor]: Taking taylor expansion of (* x z) in z 0.413 * [taylor]: Taking taylor expansion of x in z 0.413 * [taylor]: Taking taylor expansion of z in z 0.413 * [taylor]: Taking taylor expansion of (fma 4.0 (* -1 y) (/ y x)) in z 0.413 * [taylor]: Rewrote expression to (+ (* 4.0 (* -1 y)) (/ y x)) 0.413 * [taylor]: Taking taylor expansion of (* 4.0 (* -1 y)) in z 0.413 * [taylor]: Taking taylor expansion of 4.0 in z 0.413 * [taylor]: Taking taylor expansion of (* -1 y) in z 0.413 * [taylor]: Taking taylor expansion of -1 in z 0.413 * [taylor]: Taking taylor expansion of y in z 0.413 * [taylor]: Taking taylor expansion of (/ y x) in z 0.413 * [taylor]: Taking taylor expansion of y in z 0.413 * [taylor]: Taking taylor expansion of x in z 0.413 * [taylor]: Taking taylor expansion of (+ (/ y (* x z)) (fma 4.0 (* -1 y) (/ y x))) in x 0.413 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 0.413 * [taylor]: Taking taylor expansion of y in x 0.413 * [taylor]: Taking taylor expansion of (* x z) in x 0.413 * [taylor]: Taking taylor expansion of x in x 0.413 * [taylor]: Taking taylor expansion of z in x 0.414 * [taylor]: Taking taylor expansion of (fma 4.0 (* -1 y) (/ y x)) in x 0.414 * [taylor]: Rewrote expression to (+ (* 4.0 (* -1 y)) (/ y x)) 0.414 * [taylor]: Taking taylor expansion of (* 4.0 (* -1 y)) in x 0.414 * [taylor]: Taking taylor expansion of 4.0 in x 0.414 * [taylor]: Taking taylor expansion of (* -1 y) in x 0.414 * [taylor]: Taking taylor expansion of -1 in x 0.414 * [taylor]: Taking taylor expansion of y in x 0.414 * [taylor]: Taking taylor expansion of (/ y x) in x 0.414 * [taylor]: Taking taylor expansion of y in x 0.414 * [taylor]: Taking taylor expansion of x in x 0.414 * [taylor]: Taking taylor expansion of (+ (/ y (* x z)) (fma 4.0 (* -1 y) (/ y x))) in y 0.414 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 0.414 * [taylor]: Taking taylor expansion of y in y 0.414 * [taylor]: Taking taylor expansion of (* x z) in y 0.414 * [taylor]: Taking taylor expansion of x in y 0.414 * [taylor]: Taking taylor expansion of z in y 0.414 * [taylor]: Taking taylor expansion of (fma 4.0 (* -1 y) (/ y x)) in y 0.414 * [taylor]: Rewrote expression to (+ (* 4.0 (* -1 y)) (/ y x)) 0.414 * [taylor]: Taking taylor expansion of (* 4.0 (* -1 y)) in y 0.414 * [taylor]: Taking taylor expansion of 4.0 in y 0.414 * [taylor]: Taking taylor expansion of (* -1 y) in y 0.414 * [taylor]: Taking taylor expansion of -1 in y 0.414 * [taylor]: Taking taylor expansion of y in y 0.414 * [taylor]: Taking taylor expansion of (/ y x) in y 0.414 * [taylor]: Taking taylor expansion of y in y 0.414 * [taylor]: Taking taylor expansion of x in y 0.414 * [taylor]: Taking taylor expansion of (+ (/ y (* x z)) (fma 4.0 (* -1 y) (/ y x))) in y 0.414 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 0.414 * [taylor]: Taking taylor expansion of y in y 0.414 * [taylor]: Taking taylor expansion of (* x z) in y 0.414 * [taylor]: Taking taylor expansion of x in y 0.414 * [taylor]: Taking taylor expansion of z in y 0.415 * [taylor]: Taking taylor expansion of (fma 4.0 (* -1 y) (/ y x)) in y 0.415 * [taylor]: Rewrote expression to (+ (* 4.0 (* -1 y)) (/ y x)) 0.415 * [taylor]: Taking taylor expansion of (* 4.0 (* -1 y)) in y 0.415 * [taylor]: Taking taylor expansion of 4.0 in y 0.415 * [taylor]: Taking taylor expansion of (* -1 y) in y 0.415 * [taylor]: Taking taylor expansion of -1 in y 0.415 * [taylor]: Taking taylor expansion of y in y 0.415 * [taylor]: Taking taylor expansion of (/ y x) in y 0.415 * [taylor]: Taking taylor expansion of y in y 0.415 * [taylor]: Taking taylor expansion of x in y 0.416 * [taylor]: Taking taylor expansion of 0 in x 0.417 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 x)) 4.0) in x 0.417 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x 0.417 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.417 * [taylor]: Taking taylor expansion of (* x z) in x 0.417 * [taylor]: Taking taylor expansion of x in x 0.417 * [taylor]: Taking taylor expansion of z in x 0.418 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.418 * [taylor]: Taking taylor expansion of x in x 0.418 * [taylor]: Taking taylor expansion of 4.0 in x 0.418 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z 0.418 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.418 * [taylor]: Taking taylor expansion of z in z 0.418 * [taylor]: Taking taylor expansion of 1 in z 0.419 * [taylor]: Taking taylor expansion of 0 in z 0.420 * [taylor]: Taking taylor expansion of 0 in x 0.422 * [taylor]: Taking taylor expansion of (- 4.0) in z 0.422 * [taylor]: Taking taylor expansion of 4.0 in z 0.422 * [taylor]: Taking taylor expansion of 0 in z 0.425 * [taylor]: Taking taylor expansion of 0 in x 0.425 * [taylor]: Taking taylor expansion of 0 in z 0.427 * [taylor]: Taking taylor expansion of 0 in z 0.427 * [taylor]: Taking taylor expansion of 0 in z 0.428 * * * [progress]: simplifying candidates 0.429 * [simplify]: Simplifying using # : (* (/ 1 y) z) (* x z) (* (- x) z) (* 1 z) (* 4.0 (/ 1 y)) (- (pow (fma 4.0 (/ 1 y) (/ x y)) 3) (pow (* (/ x y) z) 3)) (+ (* (fma 4.0 (/ 1 y) (/ x y)) (fma 4.0 (/ 1 y) (/ x y))) (+ (* (* (/ x y) z) (* (/ x y) z)) (* (fma 4.0 (/ 1 y) (/ x y)) (* (/ x y) z)))) (- (* (/ x y) z)) (- (* (fma 4.0 (/ 1 y) (/ x y)) (fma 4.0 (/ 1 y) (/ x y))) (* (* (/ x y) z) (* (/ x y) z))) (+ (fma 4.0 (/ 1 y) (/ x y)) (* (/ x y) z)) (- (/ x y) (* (/ x y) z)) (- (* (/ x y) z)) (/ (* x z) y) (/ (* x z) y) (/ (* x z) y) (+ (* 4.0 (/ 1 y)) (/ x y)) (+ (* 4.0 (/ 1 y)) (/ x y)) (+ (* 4.0 (/ 1 y)) (/ x y)) (- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ (* x z) y)) (- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ (* x z) y)) (- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ (* x z) y)) 0.431 * * [simplify]: iteration 0 : 88 enodes (cost 93 ) 0.434 * * [simplify]: iteration 1 : 398 enodes (cost 90 ) 0.443 * * [simplify]: iteration 2 : 1970 enodes (cost 88 ) 0.481 * * [simplify]: iteration 3 : 5002 enodes (cost 81 ) 0.482 * [simplify]: Simplified to: (/ z y) (* x z) (* (- x) z) z (/ 4.0 y) (- (pow (fma 4.0 (/ 1 y) (/ x y)) 3) (pow (* (/ x y) z) 3)) (fma (fma 4.0 (/ 1 y) (/ x y)) (fma (/ x y) z (fma 4.0 (/ 1 y) (/ x y))) (* (* (/ x y) z) (* (/ x y) z))) (- (* (/ x y) z)) (* (fma (+ z 1) (/ x y) (/ 4.0 y)) (+ (/ x y) (fma (- (/ x y)) z (/ 4.0 y)))) (fma (+ z 1) (/ x y) (/ 4.0 y)) (* (/ x y) (- 1 z)) (- (* (/ x y) z)) (* (/ x y) z) (* (/ x y) z) (* (/ x y) z) (fma 4.0 (/ 1 y) (/ x y)) (fma 4.0 (/ 1 y) (/ x y)) (fma 4.0 (/ 1 y) (/ x y)) (fma (+ (- z) 1) (/ x y) (/ 4.0 y)) (fma (+ (- z) 1) (/ x y) (/ 4.0 y)) (fma (+ (- z) 1) (/ x y) (/ 4.0 y)) 0.482 * * * [progress]: adding candidates to table 0.518 * * [progress]: iteration 3 / 4 0.518 * * * [progress]: picking best candidate 0.523 * * * * [pick]: Picked # 0.523 * * * [progress]: localizing error 0.531 * * * [progress]: generating rewritten candidates 0.531 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 0.534 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.542 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 0.547 * * * [progress]: generating series expansions 0.547 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 0.547 * [approximate]: Taking taylor expansion of (/ (* x z) y) in (z y x) around 0 0.547 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x 0.547 * [taylor]: Taking taylor expansion of (* x z) in x 0.547 * [taylor]: Taking taylor expansion of x in x 0.547 * [taylor]: Taking taylor expansion of z in x 0.547 * [taylor]: Taking taylor expansion of y in x 0.548 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y 0.548 * [taylor]: Taking taylor expansion of (* x z) in y 0.548 * [taylor]: Taking taylor expansion of x in y 0.548 * [taylor]: Taking taylor expansion of z in y 0.548 * [taylor]: Taking taylor expansion of y in y 0.548 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z 0.548 * [taylor]: Taking taylor expansion of (* x z) in z 0.548 * [taylor]: Taking taylor expansion of x in z 0.548 * [taylor]: Taking taylor expansion of z in z 0.548 * [taylor]: Taking taylor expansion of y in z 0.548 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z 0.549 * [taylor]: Taking taylor expansion of (* x z) in z 0.549 * [taylor]: Taking taylor expansion of x in z 0.549 * [taylor]: Taking taylor expansion of z in z 0.549 * [taylor]: Taking taylor expansion of y in z 0.549 * [taylor]: Taking taylor expansion of (/ x y) in y 0.549 * [taylor]: Taking taylor expansion of x in y 0.549 * [taylor]: Taking taylor expansion of y in y 0.549 * [taylor]: Taking taylor expansion of x in x 0.550 * [taylor]: Taking taylor expansion of 0 in y 0.550 * [taylor]: Taking taylor expansion of 0 in x 0.551 * [taylor]: Taking taylor expansion of 0 in y 0.551 * [taylor]: Taking taylor expansion of 0 in x 0.552 * [taylor]: Taking taylor expansion of 0 in x 0.552 * [approximate]: Taking taylor expansion of (/ y (* x z)) in (z y x) around 0 0.552 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 0.552 * [taylor]: Taking taylor expansion of y in x 0.552 * [taylor]: Taking taylor expansion of (* x z) in x 0.552 * [taylor]: Taking taylor expansion of x in x 0.552 * [taylor]: Taking taylor expansion of z in x 0.552 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 0.552 * [taylor]: Taking taylor expansion of y in y 0.552 * [taylor]: Taking taylor expansion of (* x z) in y 0.552 * [taylor]: Taking taylor expansion of x in y 0.552 * [taylor]: Taking taylor expansion of z in y 0.552 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 0.552 * [taylor]: Taking taylor expansion of y in z 0.552 * [taylor]: Taking taylor expansion of (* x z) in z 0.552 * [taylor]: Taking taylor expansion of x in z 0.552 * [taylor]: Taking taylor expansion of z in z 0.553 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 0.553 * [taylor]: Taking taylor expansion of y in z 0.553 * [taylor]: Taking taylor expansion of (* x z) in z 0.553 * [taylor]: Taking taylor expansion of x in z 0.553 * [taylor]: Taking taylor expansion of z in z 0.553 * [taylor]: Taking taylor expansion of (/ y x) in y 0.553 * [taylor]: Taking taylor expansion of y in y 0.553 * [taylor]: Taking taylor expansion of x in y 0.553 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.553 * [taylor]: Taking taylor expansion of x in x 0.554 * [taylor]: Taking taylor expansion of 0 in y 0.554 * [taylor]: Taking taylor expansion of 0 in x 0.554 * [taylor]: Taking taylor expansion of 0 in x 0.555 * [taylor]: Taking taylor expansion of 0 in y 0.555 * [taylor]: Taking taylor expansion of 0 in x 0.555 * [taylor]: Taking taylor expansion of 0 in x 0.555 * [taylor]: Taking taylor expansion of 0 in x 0.556 * [taylor]: Taking taylor expansion of 0 in y 0.557 * [taylor]: Taking taylor expansion of 0 in x 0.557 * [taylor]: Taking taylor expansion of 0 in x 0.557 * [taylor]: Taking taylor expansion of 0 in x 0.557 * [taylor]: Taking taylor expansion of 0 in x 0.557 * [approximate]: Taking taylor expansion of (* -1 (/ y (* x z))) in (z y x) around 0 0.557 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in x 0.557 * [taylor]: Taking taylor expansion of -1 in x 0.557 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 0.557 * [taylor]: Taking taylor expansion of y in x 0.557 * [taylor]: Taking taylor expansion of (* x z) in x 0.557 * [taylor]: Taking taylor expansion of x in x 0.557 * [taylor]: Taking taylor expansion of z in x 0.557 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in y 0.557 * [taylor]: Taking taylor expansion of -1 in y 0.557 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 0.557 * [taylor]: Taking taylor expansion of y in y 0.557 * [taylor]: Taking taylor expansion of (* x z) in y 0.558 * [taylor]: Taking taylor expansion of x in y 0.558 * [taylor]: Taking taylor expansion of z in y 0.558 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in z 0.558 * [taylor]: Taking taylor expansion of -1 in z 0.558 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 0.558 * [taylor]: Taking taylor expansion of y in z 0.558 * [taylor]: Taking taylor expansion of (* x z) in z 0.558 * [taylor]: Taking taylor expansion of x in z 0.558 * [taylor]: Taking taylor expansion of z in z 0.558 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in z 0.558 * [taylor]: Taking taylor expansion of -1 in z 0.558 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 0.558 * [taylor]: Taking taylor expansion of y in z 0.558 * [taylor]: Taking taylor expansion of (* x z) in z 0.558 * [taylor]: Taking taylor expansion of x in z 0.558 * [taylor]: Taking taylor expansion of z in z 0.558 * [taylor]: Taking taylor expansion of (* -1 (/ y x)) in y 0.559 * [taylor]: Taking taylor expansion of -1 in y 0.559 * [taylor]: Taking taylor expansion of (/ y x) in y 0.559 * [taylor]: Taking taylor expansion of y in y 0.559 * [taylor]: Taking taylor expansion of x in y 0.559 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.559 * [taylor]: Taking taylor expansion of -1 in x 0.559 * [taylor]: Taking taylor expansion of x in x 0.560 * [taylor]: Taking taylor expansion of 0 in y 0.560 * [taylor]: Taking taylor expansion of 0 in x 0.560 * [taylor]: Taking taylor expansion of 0 in x 0.562 * [taylor]: Taking taylor expansion of 0 in y 0.562 * [taylor]: Taking taylor expansion of 0 in x 0.562 * [taylor]: Taking taylor expansion of 0 in x 0.562 * [taylor]: Taking taylor expansion of 0 in x 0.564 * [taylor]: Taking taylor expansion of 0 in y 0.564 * [taylor]: Taking taylor expansion of 0 in x 0.564 * [taylor]: Taking taylor expansion of 0 in x 0.564 * [taylor]: Taking taylor expansion of 0 in x 0.565 * [taylor]: Taking taylor expansion of 0 in x 0.565 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.566 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ (* x z) y)) in (x y z) around 0 0.566 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ (* x z) y)) in z 0.566 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 y)) (/ x y)) in z 0.566 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z 0.566 * [taylor]: Taking taylor expansion of 4.0 in z 0.566 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.566 * [taylor]: Taking taylor expansion of y in z 0.566 * [taylor]: Taking taylor expansion of (/ x y) in z 0.566 * [taylor]: Taking taylor expansion of x in z 0.566 * [taylor]: Taking taylor expansion of y in z 0.566 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z 0.566 * [taylor]: Taking taylor expansion of (* x z) in z 0.566 * [taylor]: Taking taylor expansion of x in z 0.566 * [taylor]: Taking taylor expansion of z in z 0.566 * [taylor]: Taking taylor expansion of y in z 0.566 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ (* x z) y)) in y 0.566 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 y)) (/ x y)) in y 0.566 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 0.566 * [taylor]: Taking taylor expansion of 4.0 in y 0.566 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.566 * [taylor]: Taking taylor expansion of y in y 0.567 * [taylor]: Taking taylor expansion of (/ x y) in y 0.567 * [taylor]: Taking taylor expansion of x in y 0.567 * [taylor]: Taking taylor expansion of y in y 0.567 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y 0.567 * [taylor]: Taking taylor expansion of (* x z) in y 0.567 * [taylor]: Taking taylor expansion of x in y 0.567 * [taylor]: Taking taylor expansion of z in y 0.567 * [taylor]: Taking taylor expansion of y in y 0.567 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ (* x z) y)) in x 0.567 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 y)) (/ x y)) in x 0.567 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 0.567 * [taylor]: Taking taylor expansion of 4.0 in x 0.567 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.567 * [taylor]: Taking taylor expansion of y in x 0.567 * [taylor]: Taking taylor expansion of (/ x y) in x 0.567 * [taylor]: Taking taylor expansion of x in x 0.567 * [taylor]: Taking taylor expansion of y in x 0.567 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x 0.567 * [taylor]: Taking taylor expansion of (* x z) in x 0.567 * [taylor]: Taking taylor expansion of x in x 0.567 * [taylor]: Taking taylor expansion of z in x 0.567 * [taylor]: Taking taylor expansion of y in x 0.567 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ (* x z) y)) in x 0.567 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 y)) (/ x y)) in x 0.567 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 0.567 * [taylor]: Taking taylor expansion of 4.0 in x 0.568 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.568 * [taylor]: Taking taylor expansion of y in x 0.568 * [taylor]: Taking taylor expansion of (/ x y) in x 0.568 * [taylor]: Taking taylor expansion of x in x 0.568 * [taylor]: Taking taylor expansion of y in x 0.568 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x 0.568 * [taylor]: Taking taylor expansion of (* x z) in x 0.568 * [taylor]: Taking taylor expansion of x in x 0.568 * [taylor]: Taking taylor expansion of z in x 0.568 * [taylor]: Taking taylor expansion of y in x 0.568 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 0.568 * [taylor]: Taking taylor expansion of 4.0 in y 0.568 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.568 * [taylor]: Taking taylor expansion of y in y 0.569 * [taylor]: Taking taylor expansion of 4.0 in z 0.569 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ z y)) in y 0.569 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.569 * [taylor]: Taking taylor expansion of y in y 0.570 * [taylor]: Taking taylor expansion of (/ z y) in y 0.570 * [taylor]: Taking taylor expansion of z in y 0.570 * [taylor]: Taking taylor expansion of y in y 0.570 * [taylor]: Taking taylor expansion of (- 1 z) in z 0.570 * [taylor]: Taking taylor expansion of 1 in z 0.570 * [taylor]: Taking taylor expansion of z in z 0.571 * [taylor]: Taking taylor expansion of 0 in z 0.573 * [taylor]: Taking taylor expansion of 0 in y 0.574 * [taylor]: Taking taylor expansion of 0 in z 0.575 * [taylor]: Taking taylor expansion of 0 in z 0.576 * [approximate]: Taking taylor expansion of (- (+ (/ y x) (* 4.0 y)) (/ y (* x z))) in (x y z) around 0 0.576 * [taylor]: Taking taylor expansion of (- (+ (/ y x) (* 4.0 y)) (/ y (* x z))) in z 0.576 * [taylor]: Taking taylor expansion of (+ (/ y x) (* 4.0 y)) in z 0.576 * [taylor]: Taking taylor expansion of (/ y x) in z 0.576 * [taylor]: Taking taylor expansion of y in z 0.576 * [taylor]: Taking taylor expansion of x in z 0.577 * [taylor]: Taking taylor expansion of (* 4.0 y) in z 0.577 * [taylor]: Taking taylor expansion of 4.0 in z 0.577 * [taylor]: Taking taylor expansion of y in z 0.577 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 0.577 * [taylor]: Taking taylor expansion of y in z 0.577 * [taylor]: Taking taylor expansion of (* x z) in z 0.577 * [taylor]: Taking taylor expansion of x in z 0.577 * [taylor]: Taking taylor expansion of z in z 0.577 * [taylor]: Taking taylor expansion of (- (+ (/ y x) (* 4.0 y)) (/ y (* x z))) in y 0.577 * [taylor]: Taking taylor expansion of (+ (/ y x) (* 4.0 y)) in y 0.577 * [taylor]: Taking taylor expansion of (/ y x) in y 0.577 * [taylor]: Taking taylor expansion of y in y 0.577 * [taylor]: Taking taylor expansion of x in y 0.577 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.577 * [taylor]: Taking taylor expansion of 4.0 in y 0.577 * [taylor]: Taking taylor expansion of y in y 0.577 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 0.577 * [taylor]: Taking taylor expansion of y in y 0.577 * [taylor]: Taking taylor expansion of (* x z) in y 0.577 * [taylor]: Taking taylor expansion of x in y 0.577 * [taylor]: Taking taylor expansion of z in y 0.577 * [taylor]: Taking taylor expansion of (- (+ (/ y x) (* 4.0 y)) (/ y (* x z))) in x 0.577 * [taylor]: Taking taylor expansion of (+ (/ y x) (* 4.0 y)) in x 0.577 * [taylor]: Taking taylor expansion of (/ y x) in x 0.577 * [taylor]: Taking taylor expansion of y in x 0.577 * [taylor]: Taking taylor expansion of x in x 0.577 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 0.577 * [taylor]: Taking taylor expansion of 4.0 in x 0.577 * [taylor]: Taking taylor expansion of y in x 0.577 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 0.577 * [taylor]: Taking taylor expansion of y in x 0.577 * [taylor]: Taking taylor expansion of (* x z) in x 0.577 * [taylor]: Taking taylor expansion of x in x 0.578 * [taylor]: Taking taylor expansion of z in x 0.578 * [taylor]: Taking taylor expansion of (- (+ (/ y x) (* 4.0 y)) (/ y (* x z))) in x 0.578 * [taylor]: Taking taylor expansion of (+ (/ y x) (* 4.0 y)) in x 0.578 * [taylor]: Taking taylor expansion of (/ y x) in x 0.578 * [taylor]: Taking taylor expansion of y in x 0.578 * [taylor]: Taking taylor expansion of x in x 0.578 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 0.578 * [taylor]: Taking taylor expansion of 4.0 in x 0.578 * [taylor]: Taking taylor expansion of y in x 0.578 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 0.578 * [taylor]: Taking taylor expansion of y 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 (- y (/ y z)) in y 0.579 * [taylor]: Taking taylor expansion of y in y 0.579 * [taylor]: Taking taylor expansion of (/ y z) in y 0.579 * [taylor]: Taking taylor expansion of y in y 0.579 * [taylor]: Taking taylor expansion of z in y 0.579 * [taylor]: Taking taylor expansion of 0 in z 0.580 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.580 * [taylor]: Taking taylor expansion of 4.0 in y 0.580 * [taylor]: Taking taylor expansion of y in y 0.581 * [taylor]: Taking taylor expansion of 0 in z 0.581 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z 0.581 * [taylor]: Taking taylor expansion of 1 in z 0.581 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.581 * [taylor]: Taking taylor expansion of z in z 0.584 * [taylor]: Taking taylor expansion of 0 in y 0.584 * [taylor]: Taking taylor expansion of 0 in z 0.585 * [taylor]: Taking taylor expansion of 4.0 in z 0.585 * [taylor]: Taking taylor expansion of 0 in z 0.590 * [taylor]: Taking taylor expansion of 0 in y 0.590 * [taylor]: Taking taylor expansion of 0 in z 0.590 * [taylor]: Taking taylor expansion of 0 in z 0.590 * [taylor]: Taking taylor expansion of 0 in z 0.591 * [taylor]: Taking taylor expansion of 0 in z 0.591 * [approximate]: Taking taylor expansion of (- (+ (/ y x) (/ y (* x z))) (* 4.0 y)) in (x y z) around 0 0.591 * [taylor]: Taking taylor expansion of (- (+ (/ y x) (/ y (* x z))) (* 4.0 y)) in z 0.591 * [taylor]: Taking taylor expansion of (+ (/ y x) (/ y (* x z))) in z 0.592 * [taylor]: Taking taylor expansion of (/ y x) in z 0.592 * [taylor]: Taking taylor expansion of y in z 0.592 * [taylor]: Taking taylor expansion of x in z 0.592 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 0.592 * [taylor]: Taking taylor expansion of y in z 0.592 * [taylor]: Taking taylor expansion of (* x z) in z 0.592 * [taylor]: Taking taylor expansion of x in z 0.592 * [taylor]: Taking taylor expansion of z in z 0.592 * [taylor]: Taking taylor expansion of (* 4.0 y) in z 0.592 * [taylor]: Taking taylor expansion of 4.0 in z 0.592 * [taylor]: Taking taylor expansion of y in z 0.592 * [taylor]: Taking taylor expansion of (- (+ (/ y x) (/ y (* x z))) (* 4.0 y)) in y 0.592 * [taylor]: Taking taylor expansion of (+ (/ y x) (/ y (* x z))) in y 0.592 * [taylor]: Taking taylor expansion of (/ y x) in y 0.592 * [taylor]: Taking taylor expansion of y in y 0.592 * [taylor]: Taking taylor expansion of x in y 0.592 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 0.592 * [taylor]: Taking taylor expansion of y in y 0.592 * [taylor]: Taking taylor expansion of (* x z) in y 0.592 * [taylor]: Taking taylor expansion of x in y 0.592 * [taylor]: Taking taylor expansion of z in y 0.592 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.592 * [taylor]: Taking taylor expansion of 4.0 in y 0.592 * [taylor]: Taking taylor expansion of y in y 0.592 * [taylor]: Taking taylor expansion of (- (+ (/ y x) (/ y (* x z))) (* 4.0 y)) in x 0.592 * [taylor]: Taking taylor expansion of (+ (/ y x) (/ y (* x z))) in x 0.592 * [taylor]: Taking taylor expansion of (/ y x) in x 0.592 * [taylor]: Taking taylor expansion of y in x 0.592 * [taylor]: Taking taylor expansion of x in x 0.592 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 0.592 * [taylor]: Taking taylor expansion of y in x 0.592 * [taylor]: Taking taylor expansion of (* x z) in x 0.592 * [taylor]: Taking taylor expansion of x in x 0.592 * [taylor]: Taking taylor expansion of z in x 0.593 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 0.593 * [taylor]: Taking taylor expansion of 4.0 in x 0.593 * [taylor]: Taking taylor expansion of y in x 0.593 * [taylor]: Taking taylor expansion of (- (+ (/ y x) (/ y (* x z))) (* 4.0 y)) in x 0.593 * [taylor]: Taking taylor expansion of (+ (/ y x) (/ y (* x z))) in x 0.593 * [taylor]: Taking taylor expansion of (/ y x) in x 0.593 * [taylor]: Taking taylor expansion of y in x 0.593 * [taylor]: Taking taylor expansion of x in x 0.593 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 0.593 * [taylor]: Taking taylor expansion of y 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 (* 4.0 y) in x 0.593 * [taylor]: Taking taylor expansion of 4.0 in x 0.593 * [taylor]: Taking taylor expansion of y in x 0.594 * [taylor]: Taking taylor expansion of (+ (/ y z) y) in y 0.594 * [taylor]: Taking taylor expansion of (/ y z) in y 0.594 * [taylor]: Taking taylor expansion of y in y 0.594 * [taylor]: Taking taylor expansion of z in y 0.594 * [taylor]: Taking taylor expansion of y in y 0.594 * [taylor]: Taking taylor expansion of 0 in z 0.595 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 0.595 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.595 * [taylor]: Taking taylor expansion of 4.0 in y 0.595 * [taylor]: Taking taylor expansion of y in y 0.596 * [taylor]: Taking taylor expansion of 0 in z 0.596 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z 0.596 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.596 * [taylor]: Taking taylor expansion of z in z 0.596 * [taylor]: Taking taylor expansion of 1 in z 0.599 * [taylor]: Taking taylor expansion of 0 in y 0.599 * [taylor]: Taking taylor expansion of 0 in z 0.600 * [taylor]: Taking taylor expansion of (- 4.0) in z 0.600 * [taylor]: Taking taylor expansion of 4.0 in z 0.600 * [taylor]: Taking taylor expansion of 0 in z 0.608 * [taylor]: Taking taylor expansion of 0 in y 0.608 * [taylor]: Taking taylor expansion of 0 in z 0.608 * [taylor]: Taking taylor expansion of 0 in z 0.609 * [taylor]: Taking taylor expansion of 0 in z 0.609 * [taylor]: Taking taylor expansion of 0 in z 0.610 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 0.611 * [approximate]: Taking taylor expansion of (/ (+ x 4.0) y) in (x y) around 0 0.611 * [taylor]: Taking taylor expansion of (/ (+ x 4.0) y) in y 0.611 * [taylor]: Taking taylor expansion of (+ x 4.0) in y 0.611 * [taylor]: Taking taylor expansion of x in y 0.611 * [taylor]: Taking taylor expansion of 4.0 in y 0.611 * [taylor]: Taking taylor expansion of y in y 0.611 * [taylor]: Taking taylor expansion of (/ (+ x 4.0) y) in x 0.611 * [taylor]: Taking taylor expansion of (+ x 4.0) in x 0.611 * [taylor]: Taking taylor expansion of x in x 0.611 * [taylor]: Taking taylor expansion of 4.0 in x 0.611 * [taylor]: Taking taylor expansion of y in x 0.611 * [taylor]: Taking taylor expansion of (/ (+ x 4.0) y) in x 0.611 * [taylor]: Taking taylor expansion of (+ x 4.0) in x 0.611 * [taylor]: Taking taylor expansion of x in x 0.611 * [taylor]: Taking taylor expansion of 4.0 in x 0.611 * [taylor]: Taking taylor expansion of y in x 0.612 * [taylor]: Taking taylor expansion of (/ 4.0 y) in y 0.612 * [taylor]: Taking taylor expansion of 4.0 in y 0.612 * [taylor]: Taking taylor expansion of y in y 0.612 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.612 * [taylor]: Taking taylor expansion of y in y 0.613 * [taylor]: Taking taylor expansion of 0 in y 0.615 * [taylor]: Taking taylor expansion of 0 in y 0.616 * [approximate]: Taking taylor expansion of (* y (+ 4.0 (/ 1 x))) in (x y) around 0 0.616 * [taylor]: Taking taylor expansion of (* y (+ 4.0 (/ 1 x))) in y 0.616 * [taylor]: Taking taylor expansion of y in y 0.616 * [taylor]: Taking taylor expansion of (+ 4.0 (/ 1 x)) in y 0.616 * [taylor]: Taking taylor expansion of 4.0 in y 0.616 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.616 * [taylor]: Taking taylor expansion of x in y 0.616 * [taylor]: Taking taylor expansion of (* y (+ 4.0 (/ 1 x))) in x 0.616 * [taylor]: Taking taylor expansion of y in x 0.616 * [taylor]: Taking taylor expansion of (+ 4.0 (/ 1 x)) in x 0.616 * [taylor]: Taking taylor expansion of 4.0 in x 0.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.616 * [taylor]: Taking taylor expansion of x in x 0.616 * [taylor]: Taking taylor expansion of (* y (+ 4.0 (/ 1 x))) in x 0.616 * [taylor]: Taking taylor expansion of y in x 0.616 * [taylor]: Taking taylor expansion of (+ 4.0 (/ 1 x)) in x 0.616 * [taylor]: Taking taylor expansion of 4.0 in x 0.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.616 * [taylor]: Taking taylor expansion of x in x 0.617 * [taylor]: Taking taylor expansion of y in y 0.618 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.618 * [taylor]: Taking taylor expansion of 4.0 in y 0.618 * [taylor]: Taking taylor expansion of y in y 0.619 * [taylor]: Taking taylor expansion of 0 in y 0.621 * [taylor]: Taking taylor expansion of 0 in y 0.623 * [taylor]: Taking taylor expansion of 0 in y 0.623 * [approximate]: Taking taylor expansion of (* -1 (* (- 4.0 (/ 1 x)) y)) in (x y) around 0 0.623 * [taylor]: Taking taylor expansion of (* -1 (* (- 4.0 (/ 1 x)) y)) in y 0.623 * [taylor]: Taking taylor expansion of -1 in y 0.624 * [taylor]: Taking taylor expansion of (* (- 4.0 (/ 1 x)) y) in y 0.624 * [taylor]: Taking taylor expansion of (- 4.0 (/ 1 x)) in y 0.624 * [taylor]: Taking taylor expansion of 4.0 in y 0.624 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.624 * [taylor]: Taking taylor expansion of x in y 0.624 * [taylor]: Taking taylor expansion of y in y 0.624 * [taylor]: Taking taylor expansion of (* -1 (* (- 4.0 (/ 1 x)) y)) in x 0.624 * [taylor]: Taking taylor expansion of -1 in x 0.624 * [taylor]: Taking taylor expansion of (* (- 4.0 (/ 1 x)) y) in x 0.624 * [taylor]: Taking taylor expansion of (- 4.0 (/ 1 x)) in x 0.624 * [taylor]: Taking taylor expansion of 4.0 in x 0.624 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.624 * [taylor]: Taking taylor expansion of x in x 0.624 * [taylor]: Taking taylor expansion of y in x 0.624 * [taylor]: Taking taylor expansion of (* -1 (* (- 4.0 (/ 1 x)) y)) in x 0.624 * [taylor]: Taking taylor expansion of -1 in x 0.624 * [taylor]: Taking taylor expansion of (* (- 4.0 (/ 1 x)) y) in x 0.624 * [taylor]: Taking taylor expansion of (- 4.0 (/ 1 x)) in x 0.624 * [taylor]: Taking taylor expansion of 4.0 in x 0.624 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.624 * [taylor]: Taking taylor expansion of x in x 0.624 * [taylor]: Taking taylor expansion of y in x 0.625 * [taylor]: Taking taylor expansion of y in y 0.626 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 0.626 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.626 * [taylor]: Taking taylor expansion of 4.0 in y 0.626 * [taylor]: Taking taylor expansion of y in y 0.628 * [taylor]: Taking taylor expansion of 0 in y 0.632 * [taylor]: Taking taylor expansion of 0 in y 0.635 * [taylor]: Taking taylor expansion of 0 in y 0.636 * * * [progress]: simplifying candidates 0.636 * [simplify]: Simplifying using # : (- z) (- (/ y x)) (/ 1 (/ y x)) (/ (/ y x) z) (/ z y) (/ z y) (/ z (- y)) (/ z 1) (fma (+ x 4.0) (/ 1 y) (- (* (/ 1 (/ y x)) z))) (fma (- (/ 1 (/ y x))) z (* (/ 1 (/ y x)) z)) (fma (+ x 4.0) (/ 1 y) (- (* x (/ z y)))) (fma (- x) (/ z y) (* x (/ z y))) (fma (+ x 4.0) (/ 1 y) (- (* (- x) (/ z (- y))))) (fma (- (- x)) (/ z (- y)) (* (- x) (/ z (- y)))) (fma (+ x 4.0) (/ 1 y) (- (* (/ x y) (/ z 1)))) (fma (- (/ x y)) (/ z 1) (* (/ x y) (/ z 1))) (- (/ z (/ y x))) (- (* (+ x 4.0) (/ y x)) (* y z)) (* y (/ y x)) (- (* (+ x 4.0) (- (/ y x))) (* y (- z))) (* y (- (/ y x))) (- (* (+ x 4.0) (/ (/ y x) z)) (* y 1)) (* y (/ (/ y x) z)) (- (* (+ x 4.0) (/ 1 x)) (* y (/ z y))) (* y (/ 1 x)) (- (* (- (+ x 4.0)) (/ y x)) (* (- y) z)) (* (- y) (/ y x)) (- (* (- (+ x 4.0)) (- (/ y x))) (* (- y) (- z))) (* (- y) (- (/ y x))) (- (* (- (+ x 4.0)) (/ (/ y x) z)) (* (- y) 1)) (* (- y) (/ (/ y x) z)) (- (* (- (+ x 4.0)) (/ 1 x)) (* (- y) (/ z y))) (* (- y) (/ 1 x)) (- (* 1 (/ y x)) (* (/ y (+ x 4.0)) z)) (* (/ y (+ x 4.0)) (/ y x)) (- (* 1 (- (/ y x))) (* (/ y (+ x 4.0)) (- z))) (* (/ y (+ x 4.0)) (- (/ y x))) (- (* 1 (/ (/ y x) z)) (* (/ y (+ x 4.0)) 1)) (* (/ y (+ x 4.0)) (/ (/ y x) z)) (- (* 1 (/ 1 x)) (* (/ y (+ x 4.0)) (/ z y))) (* (/ y (+ x 4.0)) (/ 1 x)) (- (* (+ (pow x 3) (pow 4.0 3)) (/ y x)) (* (* y (+ (* x x) (- (* 4.0 4.0) (* x 4.0)))) z)) (* (* y (+ (* x x) (- (* 4.0 4.0) (* x 4.0)))) (/ y x)) (- (* (+ (pow x 3) (pow 4.0 3)) (- (/ y x))) (* (* y (+ (* x x) (- (* 4.0 4.0) (* x 4.0)))) (- z))) (* (* y (+ (* x x) (- (* 4.0 4.0) (* x 4.0)))) (- (/ y x))) (- (* (+ (pow x 3) (pow 4.0 3)) (/ (/ y x) z)) (* (* y (+ (* x x) (- (* 4.0 4.0) (* x 4.0)))) 1)) (* (* y (+ (* x x) (- (* 4.0 4.0) (* x 4.0)))) (/ (/ y x) z)) (- (* (+ (pow x 3) (pow 4.0 3)) (/ 1 x)) (* (* y (+ (* x x) (- (* 4.0 4.0) (* x 4.0)))) (/ z y))) (* (* y (+ (* x x) (- (* 4.0 4.0) (* x 4.0)))) (/ 1 x)) (- (* (- (* x x) (* 4.0 4.0)) (/ y x)) (* (* y (- x 4.0)) z)) (* (* y (- x 4.0)) (/ y x)) (- (* (- (* x x) (* 4.0 4.0)) (- (/ y x))) (* (* y (- x 4.0)) (- z))) (* (* y (- x 4.0)) (- (/ y x))) (- (* (- (* x x) (* 4.0 4.0)) (/ (/ y x) z)) (* (* y (- x 4.0)) 1)) (* (* y (- x 4.0)) (/ (/ y x) z)) (- (* (- (* x x) (* 4.0 4.0)) (/ 1 x)) (* (* y (- x 4.0)) (/ z y))) (* (* y (- x 4.0)) (/ 1 x)) (- (pow (/ (+ x 4.0) y) 3) (pow (/ z (/ y x)) 3)) (+ (* (/ (+ x 4.0) y) (/ (+ x 4.0) y)) (+ (* (/ z (/ y x)) (/ z (/ y x))) (* (/ (+ x 4.0) y) (/ z (/ y x))))) (- (/ z (/ y x))) (- (* (/ (+ x 4.0) y) (/ (+ x 4.0) y)) (* (/ z (/ y x)) (/ z (/ y x)))) (+ (/ (+ x 4.0) y) (/ z (/ y x))) (- (/ z (/ y x))) (- (+ x 4.0)) (- y) (/ 1 y) (/ y (+ x 4.0)) (* y (+ (* x x) (- (* 4.0 4.0) (* x 4.0)))) (* y (- x 4.0)) (/ (* x z) y) (/ (* x z) y) (/ (* x z) y) (- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ (* x z) y)) (- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ (* x z) y)) (- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ (* x z) y)) (+ (* 4.0 (/ 1 y)) (/ x y)) (+ (* 4.0 (/ 1 y)) (/ x y)) (+ (* 4.0 (/ 1 y)) (/ x y)) 0.642 * * [simplify]: iteration 0 : 499 enodes (cost 425 ) 0.652 * * [simplify]: iteration 1 : 2631 enodes (cost 373 ) 0.702 * * [simplify]: iteration 2 : 5003 enodes (cost 356 ) 0.705 * [simplify]: Simplified to: (- z) (- (/ y x)) (/ 1 (/ y x)) (/ (/ y x) z) (/ z y) (/ z y) (/ z (- y)) z (- (/ (+ x 4.0) y) (/ (* x z) y)) (* (/ x y) (+ (- z) z)) (- (/ (+ x 4.0) y) (/ (* x z) y)) (* (/ x y) (+ (- z) z)) (fma x (/ z (- y)) (/ (+ x 4.0) y)) (* (/ z (- y)) (+ x (- x))) (- (/ (+ x 4.0) y) (/ (* x z) y)) (* (/ x y) (+ (- z) z)) (- (* x (/ z y))) (- (* (+ x 4.0) (/ y x)) (* y z)) (* y (/ y x)) (fma (/ (- (+ x 4.0)) x) y (* y z)) (* (- y) (/ y x)) (fma (+ x 4.0) (/ (/ y x) z) (- y)) (* y (/ (/ y x) z)) (fma (- y) (/ z y) (/ (+ x 4.0) x)) (/ y x) (fma (/ (- (+ x 4.0)) x) y (* y z)) (* (- y) (/ y x)) (- (* (+ x 4.0) (/ y x)) (* y z)) (* y (/ y x)) (fma (- (+ x 4.0)) (/ (/ y x) z) y) (* (- y) (/ (/ y x) z)) (fma y (/ z y) (/ (- (+ x 4.0)) x)) (- (/ y x)) (fma (/ y (+ x 4.0)) (- z) (/ y x)) (* (/ y (+ x 4.0)) (/ y x)) (fma (/ y (+ x 4.0)) z (- (/ y x))) (* (/ y (+ x 4.0)) (- (/ y x))) (+ (/ (- y) (+ x 4.0)) (/ (/ y x) z)) (* (/ y (+ x 4.0)) (/ (/ y x) z)) (fma (/ (- y) (+ x 4.0)) (/ z y) (/ 1 x)) (/ (/ y (+ x 4.0)) x) (fma (/ (+ (pow x 3) (pow 4.0 3)) x) y (* z (* (- y) (fma x x (* 4.0 (- 4.0 x)))))) (* (* y (/ y x)) (fma x x (* 4.0 (- 4.0 x)))) (fma (+ (pow x 3) (pow 4.0 3)) (- (/ y x)) (* (* y z) (fma x x (* 4.0 (- 4.0 x))))) (* (/ y x) (* (- y) (fma x x (* 4.0 (- 4.0 x))))) (fma (- y) (fma x x (* 4.0 (- 4.0 x))) (* (+ (pow x 3) (pow 4.0 3)) (/ (/ y x) z))) (* (* y (fma x x (* 4.0 (- 4.0 x)))) (/ (/ y x) z)) (fma (- y) (/ (* (fma x x (* 4.0 (- 4.0 x))) z) y) (/ (+ (pow x 3) (pow 4.0 3)) x)) (* (fma x x (* 4.0 (- 4.0 x))) (/ y x)) (- (* (- (* x x) (* 4.0 4.0)) (/ y x)) (* (* y (- x 4.0)) z)) (* (* y (- x 4.0)) (/ y x)) (fma (- (* x x) (* 4.0 4.0)) (- (/ y x)) (* (* y (- x 4.0)) z)) (* (* y (- x 4.0)) (- (/ y x))) (fma (* (+ x 4.0) (/ (/ y x) z)) (- x 4.0) (* (- y) (- x 4.0))) (* (* y (- x 4.0)) (/ (/ y x) z)) (fma (/ (+ x 4.0) x) (- x 4.0) (- (* (* y (- x 4.0)) (/ z y)))) (/ (* y (- x 4.0)) x) (- (pow (/ (+ x 4.0) y) 3) (pow (/ z (/ y x)) 3)) (fma (/ (+ x 4.0) y) (/ (+ x 4.0) y) (* x (* (/ z y) (fma x (/ z y) (/ (+ x 4.0) y))))) (- (* x (/ z y))) (* (- (/ (+ x 4.0) y) (/ z (/ y x))) (fma x (/ z y) (/ (+ x 4.0) y))) (fma x (/ z y) (/ (+ x 4.0) y)) (- (* x (/ z y))) (- (+ x 4.0)) (- y) (/ 1 y) (/ y (+ x 4.0)) (* y (fma x x (* 4.0 (- 4.0 x)))) (* y (- x 4.0)) (/ (* x z) y) (/ (* x z) y) (/ (* x z) y) (fma 4.0 (/ 1 y) (- (/ x y) (/ (* x z) y))) (fma 4.0 (/ 1 y) (- (/ x y) (/ (* x z) y))) (fma 4.0 (/ 1 y) (- (/ x y) (/ (* x z) y))) (fma 4.0 (/ 1 y) (/ x y)) (fma 4.0 (/ 1 y) (/ x y)) (fma 4.0 (/ 1 y) (/ x y)) 0.705 * * * [progress]: adding candidates to table 0.823 * * [progress]: iteration 4 / 4 0.823 * * * [progress]: picking best candidate 0.827 * * * * [pick]: Picked # 0.827 * * * [progress]: localizing error 0.839 * * * [progress]: generating rewritten candidates 0.839 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.841 * * * [progress]: generating series expansions 0.841 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.842 * [approximate]: Taking taylor expansion of (* -1 (/ (fma z x (- (+ x 4.0))) y)) in (z x y) around 0 0.842 * [taylor]: Taking taylor expansion of (* -1 (/ (fma z x (- (+ x 4.0))) y)) in y 0.842 * [taylor]: Taking taylor expansion of -1 in y 0.842 * [taylor]: Taking taylor expansion of (/ (fma z x (- (+ x 4.0))) y) in y 0.842 * [taylor]: Taking taylor expansion of (fma z x (- (+ x 4.0))) in y 0.842 * [taylor]: Rewrote expression to (+ (* z x) (- (+ x 4.0))) 0.842 * [taylor]: Taking taylor expansion of (* z x) in y 0.842 * [taylor]: Taking taylor expansion of z in y 0.842 * [taylor]: Taking taylor expansion of x in y 0.842 * [taylor]: Taking taylor expansion of (- (+ x 4.0)) in y 0.842 * [taylor]: Taking taylor expansion of (+ x 4.0) in y 0.842 * [taylor]: Taking taylor expansion of x in y 0.842 * [taylor]: Taking taylor expansion of 4.0 in y 0.842 * [taylor]: Taking taylor expansion of y in y 0.842 * [taylor]: Taking taylor expansion of (* -1 (/ (fma z x (- (+ x 4.0))) y)) in x 0.842 * [taylor]: Taking taylor expansion of -1 in x 0.842 * [taylor]: Taking taylor expansion of (/ (fma z x (- (+ x 4.0))) y) in x 0.842 * [taylor]: Taking taylor expansion of (fma z x (- (+ x 4.0))) in x 0.842 * [taylor]: Rewrote expression to (+ (* z x) (- (+ x 4.0))) 0.842 * [taylor]: Taking taylor expansion of (* z x) in x 0.842 * [taylor]: Taking taylor expansion of z in x 0.842 * [taylor]: Taking taylor expansion of x in x 0.842 * [taylor]: Taking taylor expansion of (- (+ x 4.0)) in x 0.842 * [taylor]: Taking taylor expansion of (+ x 4.0) in x 0.842 * [taylor]: Taking taylor expansion of x in x 0.842 * [taylor]: Taking taylor expansion of 4.0 in x 0.842 * [taylor]: Taking taylor expansion of y in x 0.844 * [taylor]: Taking taylor expansion of (* -1 (/ (fma z x (- (+ x 4.0))) y)) in z 0.844 * [taylor]: Taking taylor expansion of -1 in z 0.844 * [taylor]: Taking taylor expansion of (/ (fma z x (- (+ x 4.0))) y) in z 0.844 * [taylor]: Taking taylor expansion of (fma z x (- (+ x 4.0))) in z 0.844 * [taylor]: Rewrote expression to (+ (* z x) (- (+ x 4.0))) 0.844 * [taylor]: Taking taylor expansion of (* z x) in z 0.844 * [taylor]: Taking taylor expansion of z in z 0.844 * [taylor]: Taking taylor expansion of x in z 0.844 * [taylor]: Taking taylor expansion of (- (+ x 4.0)) in z 0.844 * [taylor]: Taking taylor expansion of (+ x 4.0) in z 0.844 * [taylor]: Taking taylor expansion of x in z 0.844 * [taylor]: Taking taylor expansion of 4.0 in z 0.844 * [taylor]: Taking taylor expansion of y in z 0.844 * [taylor]: Taking taylor expansion of (* -1 (/ (fma z x (- (+ x 4.0))) y)) in z 0.844 * [taylor]: Taking taylor expansion of -1 in z 0.845 * [taylor]: Taking taylor expansion of (/ (fma z x (- (+ x 4.0))) y) in z 0.845 * [taylor]: Taking taylor expansion of (fma z x (- (+ x 4.0))) in z 0.845 * [taylor]: Rewrote expression to (+ (* z x) (- (+ x 4.0))) 0.845 * [taylor]: Taking taylor expansion of (* z x) in z 0.845 * [taylor]: Taking taylor expansion of z in z 0.845 * [taylor]: Taking taylor expansion of x in z 0.845 * [taylor]: Taking taylor expansion of (- (+ x 4.0)) in z 0.845 * [taylor]: Taking taylor expansion of (+ x 4.0) in z 0.845 * [taylor]: Taking taylor expansion of x in z 0.845 * [taylor]: Taking taylor expansion of 4.0 in z 0.845 * [taylor]: Taking taylor expansion of y in z 0.845 * [taylor]: Taking taylor expansion of (/ (+ x 4.0) y) in x 0.845 * [taylor]: Taking taylor expansion of (+ x 4.0) in x 0.845 * [taylor]: Taking taylor expansion of x in x 0.845 * [taylor]: Taking taylor expansion of 4.0 in x 0.845 * [taylor]: Taking taylor expansion of y in x 0.845 * [taylor]: Taking taylor expansion of (/ 4.0 y) in y 0.845 * [taylor]: Taking taylor expansion of 4.0 in y 0.845 * [taylor]: Taking taylor expansion of y in y 0.847 * [taylor]: Taking taylor expansion of (- (/ x y)) in x 0.847 * [taylor]: Taking taylor expansion of (/ x y) in x 0.847 * [taylor]: Taking taylor expansion of x in x 0.847 * [taylor]: Taking taylor expansion of y in x 0.847 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.847 * [taylor]: Taking taylor expansion of y in y 0.849 * [taylor]: Taking taylor expansion of 0 in x 0.850 * [taylor]: Taking taylor expansion of 0 in y 0.850 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.850 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.850 * [taylor]: Taking taylor expansion of y in y 0.851 * [approximate]: Taking taylor expansion of (* -1 (* (fma (/ 1 z) (/ 1 x) (- (+ (/ 1 x) 4.0))) y)) in (z x y) around 0 0.851 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ 1 z) (/ 1 x) (- (+ (/ 1 x) 4.0))) y)) in y 0.851 * [taylor]: Taking taylor expansion of -1 in y 0.851 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) (/ 1 x) (- (+ (/ 1 x) 4.0))) y) in y 0.851 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (/ 1 x) (- (+ (/ 1 x) 4.0))) in y 0.851 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (/ 1 x)) (- (+ (/ 1 x) 4.0))) 0.851 * [taylor]: Taking taylor expansion of (* (/ 1 z) (/ 1 x)) in y 0.851 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.851 * [taylor]: Taking taylor expansion of z in y 0.851 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.851 * [taylor]: Taking taylor expansion of x in y 0.851 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 4.0)) in y 0.851 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 4.0) in y 0.851 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.851 * [taylor]: Taking taylor expansion of x in y 0.851 * [taylor]: Taking taylor expansion of 4.0 in y 0.851 * [taylor]: Taking taylor expansion of y in y 0.851 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ 1 z) (/ 1 x) (- (+ (/ 1 x) 4.0))) y)) in x 0.851 * [taylor]: Taking taylor expansion of -1 in x 0.851 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) (/ 1 x) (- (+ (/ 1 x) 4.0))) y) in x 0.851 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (/ 1 x) (- (+ (/ 1 x) 4.0))) in x 0.851 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (/ 1 x)) (- (+ (/ 1 x) 4.0))) 0.851 * [taylor]: Taking taylor expansion of (* (/ 1 z) (/ 1 x)) in x 0.851 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.851 * [taylor]: Taking taylor expansion of z in x 0.852 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.852 * [taylor]: Taking taylor expansion of x in x 0.852 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 4.0)) in x 0.852 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 4.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.852 * [taylor]: Taking taylor expansion of 4.0 in x 0.852 * [taylor]: Taking taylor expansion of y in x 0.852 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ 1 z) (/ 1 x) (- (+ (/ 1 x) 4.0))) y)) in z 0.852 * [taylor]: Taking taylor expansion of -1 in z 0.852 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) (/ 1 x) (- (+ (/ 1 x) 4.0))) y) in z 0.852 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (/ 1 x) (- (+ (/ 1 x) 4.0))) in z 0.852 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (/ 1 x)) (- (+ (/ 1 x) 4.0))) 0.852 * [taylor]: Taking taylor expansion of (* (/ 1 z) (/ 1 x)) in z 0.852 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.852 * [taylor]: Taking taylor expansion of z in z 0.853 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.853 * [taylor]: Taking taylor expansion of x in z 0.853 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 4.0)) in z 0.853 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 4.0) in z 0.853 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.853 * [taylor]: Taking taylor expansion of x in z 0.853 * [taylor]: Taking taylor expansion of 4.0 in z 0.853 * [taylor]: Taking taylor expansion of y in z 0.853 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ 1 z) (/ 1 x) (- (+ (/ 1 x) 4.0))) y)) in z 0.853 * [taylor]: Taking taylor expansion of -1 in z 0.853 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) (/ 1 x) (- (+ (/ 1 x) 4.0))) y) in z 0.853 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (/ 1 x) (- (+ (/ 1 x) 4.0))) in z 0.853 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (/ 1 x)) (- (+ (/ 1 x) 4.0))) 0.853 * [taylor]: Taking taylor expansion of (* (/ 1 z) (/ 1 x)) in z 0.853 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.853 * [taylor]: Taking taylor expansion of z in z 0.854 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.854 * [taylor]: Taking taylor expansion of x in z 0.854 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 4.0)) in z 0.854 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 4.0) in z 0.854 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.854 * [taylor]: Taking taylor expansion of x in z 0.854 * [taylor]: Taking taylor expansion of 4.0 in z 0.854 * [taylor]: Taking taylor expansion of y in z 0.854 * [taylor]: Taking taylor expansion of (* -1 (/ y x)) in x 0.854 * [taylor]: Taking taylor expansion of -1 in x 0.854 * [taylor]: Taking taylor expansion of (/ y x) in x 0.854 * [taylor]: Taking taylor expansion of y in x 0.854 * [taylor]: Taking taylor expansion of x in x 0.854 * [taylor]: Taking taylor expansion of (* -1 y) in y 0.854 * [taylor]: Taking taylor expansion of -1 in y 0.854 * [taylor]: Taking taylor expansion of y in y 0.855 * [taylor]: Taking taylor expansion of (+ (/ y x) (* 4.0 y)) in x 0.856 * [taylor]: Taking taylor expansion of (/ y x) in x 0.856 * [taylor]: Taking taylor expansion of y in x 0.856 * [taylor]: Taking taylor expansion of x in x 0.856 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 0.856 * [taylor]: Taking taylor expansion of 4.0 in x 0.856 * [taylor]: Taking taylor expansion of y in x 0.856 * [taylor]: Taking taylor expansion of y in y 0.857 * [taylor]: Taking taylor expansion of 0 in y 0.859 * [taylor]: Taking taylor expansion of 0 in x 0.860 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.860 * [taylor]: Taking taylor expansion of 4.0 in y 0.860 * [taylor]: Taking taylor expansion of y in y 0.862 * [taylor]: Taking taylor expansion of 0 in y 0.865 * [taylor]: Taking taylor expansion of 0 in x 0.865 * [taylor]: Taking taylor expansion of 0 in y 0.866 * [taylor]: Taking taylor expansion of 0 in y 0.868 * [taylor]: Taking taylor expansion of 0 in y 0.870 * [approximate]: Taking taylor expansion of (* y (fma (/ -1 z) (/ -1 x) (- (/ 1 x) 4.0))) in (z x y) around 0 0.870 * [taylor]: Taking taylor expansion of (* y (fma (/ -1 z) (/ -1 x) (- (/ 1 x) 4.0))) in y 0.870 * [taylor]: Taking taylor expansion of y in y 0.870 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (/ -1 x) (- (/ 1 x) 4.0)) in y 0.870 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (/ -1 x)) (- (/ 1 x) 4.0)) 0.870 * [taylor]: Taking taylor expansion of (* (/ -1 z) (/ -1 x)) in y 0.870 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.870 * [taylor]: Taking taylor expansion of -1 in y 0.870 * [taylor]: Taking taylor expansion of z in y 0.870 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.870 * [taylor]: Taking taylor expansion of -1 in y 0.870 * [taylor]: Taking taylor expansion of x in y 0.870 * [taylor]: Taking taylor expansion of (- (/ 1 x) 4.0) in y 0.870 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.870 * [taylor]: Taking taylor expansion of x in y 0.870 * [taylor]: Taking taylor expansion of 4.0 in y 0.870 * [taylor]: Taking taylor expansion of (* y (fma (/ -1 z) (/ -1 x) (- (/ 1 x) 4.0))) in x 0.870 * [taylor]: Taking taylor expansion of y in x 0.870 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (/ -1 x) (- (/ 1 x) 4.0)) in x 0.871 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (/ -1 x)) (- (/ 1 x) 4.0)) 0.871 * [taylor]: Taking taylor expansion of (* (/ -1 z) (/ -1 x)) in x 0.871 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.871 * [taylor]: Taking taylor expansion of -1 in x 0.871 * [taylor]: Taking taylor expansion of z in x 0.871 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.871 * [taylor]: Taking taylor expansion of -1 in x 0.871 * [taylor]: Taking taylor expansion of x in x 0.871 * [taylor]: Taking taylor expansion of (- (/ 1 x) 4.0) in x 0.871 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.871 * [taylor]: Taking taylor expansion of x in x 0.871 * [taylor]: Taking taylor expansion of 4.0 in x 0.871 * [taylor]: Taking taylor expansion of (* y (fma (/ -1 z) (/ -1 x) (- (/ 1 x) 4.0))) in z 0.871 * [taylor]: Taking taylor expansion of y in z 0.871 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (/ -1 x) (- (/ 1 x) 4.0)) in z 0.871 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (/ -1 x)) (- (/ 1 x) 4.0)) 0.871 * [taylor]: Taking taylor expansion of (* (/ -1 z) (/ -1 x)) in z 0.871 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.871 * [taylor]: Taking taylor expansion of -1 in z 0.872 * [taylor]: Taking taylor expansion of z in z 0.872 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.872 * [taylor]: Taking taylor expansion of -1 in z 0.872 * [taylor]: Taking taylor expansion of x in z 0.872 * [taylor]: Taking taylor expansion of (- (/ 1 x) 4.0) in z 0.872 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.872 * [taylor]: Taking taylor expansion of x in z 0.872 * [taylor]: Taking taylor expansion of 4.0 in z 0.872 * [taylor]: Taking taylor expansion of (* y (fma (/ -1 z) (/ -1 x) (- (/ 1 x) 4.0))) in z 0.872 * [taylor]: Taking taylor expansion of y in z 0.872 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (/ -1 x) (- (/ 1 x) 4.0)) in z 0.872 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (/ -1 x)) (- (/ 1 x) 4.0)) 0.872 * [taylor]: Taking taylor expansion of (* (/ -1 z) (/ -1 x)) in z 0.872 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.872 * [taylor]: Taking taylor expansion of -1 in z 0.872 * [taylor]: Taking taylor expansion of z in z 0.872 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.872 * [taylor]: Taking taylor expansion of -1 in z 0.873 * [taylor]: Taking taylor expansion of x in z 0.873 * [taylor]: Taking taylor expansion of (- (/ 1 x) 4.0) in z 0.873 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.873 * [taylor]: Taking taylor expansion of x in z 0.873 * [taylor]: Taking taylor expansion of 4.0 in z 0.873 * [taylor]: Taking taylor expansion of (/ y x) in x 0.873 * [taylor]: Taking taylor expansion of y in x 0.873 * [taylor]: Taking taylor expansion of x in x 0.873 * [taylor]: Taking taylor expansion of y in y 0.874 * [taylor]: Taking taylor expansion of (- (/ y x) (* 4.0 y)) in x 0.874 * [taylor]: Taking taylor expansion of (/ y x) in x 0.874 * [taylor]: Taking taylor expansion of y in x 0.874 * [taylor]: Taking taylor expansion of x in x 0.874 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 0.874 * [taylor]: Taking taylor expansion of 4.0 in x 0.874 * [taylor]: Taking taylor expansion of y in x 0.875 * [taylor]: Taking taylor expansion of y in y 0.875 * [taylor]: Taking taylor expansion of 0 in y 0.877 * [taylor]: Taking taylor expansion of 0 in x 0.878 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 0.878 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.878 * [taylor]: Taking taylor expansion of 4.0 in y 0.878 * [taylor]: Taking taylor expansion of y in y 0.879 * [taylor]: Taking taylor expansion of 0 in y 0.881 * [taylor]: Taking taylor expansion of 0 in x 0.882 * [taylor]: Taking taylor expansion of 0 in y 0.883 * [taylor]: Taking taylor expansion of 0 in y 0.884 * [taylor]: Taking taylor expansion of 0 in y 0.886 * * * [progress]: simplifying candidates 0.887 * [simplify]: Simplifying using # : (- (fma z x (- (+ x 4.0)))) (- (- y)) (/ 1 (- y)) (/ (- y) (fma z x (- (+ x 4.0)))) (/ (fma z x (- (+ x 4.0))) -1) (- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ (* x z) y)) (- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ (* x z) y)) (- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ (* x z) y)) 0.889 * * [simplify]: iteration 0 : 43 enodes (cost 36 ) 0.890 * * [simplify]: iteration 1 : 85 enodes (cost 33 ) 0.892 * * [simplify]: iteration 2 : 210 enodes (cost 33 ) 0.895 * * [simplify]: iteration 3 : 393 enodes (cost 32 ) 0.900 * * [simplify]: iteration 4 : 824 enodes (cost 32 ) 0.910 * * [simplify]: iteration 5 : 1790 enodes (cost 26 ) 0.932 * * [simplify]: iteration 6 : 3380 enodes (cost 25 ) 0.973 * * [simplify]: iteration 7 : 5001 enodes (cost 24 ) 0.974 * [simplify]: Simplified to: (fma (- 1 z) x 4.0) y (/ 1 (- y)) (/ (- y) (fma z x (- (+ x 4.0)))) (fma (/ x -1) (- z 1) 4.0) (fma (/ x y) (- 1 z) (/ 4.0 y)) (fma (/ x y) (- 1 z) (/ 4.0 y)) (fma (/ x y) (- 1 z) (/ 4.0 y)) 0.974 * * * [progress]: adding candidates to table 0.988 * [progress]: [Phase 3 of 3] Extracting. 0.988 * * [regime]: Finding splitpoints for: (# # # #) 0.989 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 0.989 * * * * [regimes]: Trying to branch on z from (# # # #) 1.010 * * * * [regimes]: Trying to branch on y from (# # # #) 1.028 * * * * [regimes]: Trying to branch on x from (# # # #) 1.048 * * * [regime]: Found split indices: #