2.568 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.027 * * * [progress]: [2/2] Setting up program. 0.029 * [progress]: [Phase 2 of 3] Improving. 0.029 * [simplify]: Simplifying using # : (+ x (* (- y x) z)) 0.030 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.031 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.032 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 0.034 * * [simplify]: iteration 3 : 27 enodes (cost 7 ) 0.037 * * [simplify]: iteration 4 : 36 enodes (cost 7 ) 0.042 * * [simplify]: iteration 5 : 42 enodes (cost 7 ) 0.048 * * [simplify]: iteration 6 : 51 enodes (cost 7 ) 0.054 * * [simplify]: iteration 7 : 69 enodes (cost 7 ) 0.063 * * [simplify]: iteration 8 : 99 enodes (cost 7 ) 0.079 * * [simplify]: iteration 9 : 126 enodes (cost 7 ) 0.101 * * [simplify]: iteration 10 : 170 enodes (cost 7 ) 0.134 * * [simplify]: iteration 11 : 184 enodes (cost 7 ) 0.169 * * [simplify]: iteration 12 : 202 enodes (cost 7 ) 0.210 * * [simplify]: iteration 13 : 223 enodes (cost 7 ) 0.258 * * [simplify]: iteration 14 : 239 enodes (cost 7 ) 0.313 * * [simplify]: iteration 15 : 293 enodes (cost 7 ) 0.396 * * [simplify]: iteration 16 : 442 enodes (cost 7 ) 0.582 * * [simplify]: iteration 17 : 575 enodes (cost 7 ) 0.926 * * [simplify]: iteration 18 : 721 enodes (cost 7 ) 1.505 * * [simplify]: iteration 19 : 841 enodes (cost 7 ) 2.259 * * [simplify]: iteration 20 : 939 enodes (cost 7 ) 3.197 * * [simplify]: iteration 21 : 943 enodes (cost 7 ) 4.141 * * [simplify]: iteration done : 943 enodes (cost 7 ) 4.141 * [simplify]: Simplified to: (+ x (* (- y x) z)) 4.141 * * [progress]: iteration 1 / 4 4.141 * * * [progress]: picking best candidate 4.142 * * * * [pick]: Picked # 4.143 * * * [progress]: localizing error 4.147 * * * [progress]: generating rewritten candidates 4.147 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 4.157 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 4.160 * * * [progress]: generating series expansions 4.160 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 4.160 * [approximate]: Taking taylor expansion of (* (- y x) z) in (y x z) around 0 4.160 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 4.160 * [taylor]: Taking taylor expansion of (- y x) in z 4.160 * [taylor]: Taking taylor expansion of y in z 4.160 * [taylor]: Taking taylor expansion of x in z 4.160 * [taylor]: Taking taylor expansion of z in z 4.160 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 4.160 * [taylor]: Taking taylor expansion of (- y x) in x 4.160 * [taylor]: Taking taylor expansion of y in x 4.160 * [taylor]: Taking taylor expansion of x in x 4.160 * [taylor]: Taking taylor expansion of z in x 4.160 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 4.160 * [taylor]: Taking taylor expansion of (- y x) in y 4.160 * [taylor]: Taking taylor expansion of y in y 4.160 * [taylor]: Taking taylor expansion of x in y 4.160 * [taylor]: Taking taylor expansion of z in y 4.160 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 4.160 * [taylor]: Taking taylor expansion of (- y x) in y 4.160 * [taylor]: Taking taylor expansion of y in y 4.163 * [taylor]: Taking taylor expansion of x in y 4.163 * [taylor]: Taking taylor expansion of z in y 4.163 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in x 4.163 * [taylor]: Taking taylor expansion of -1 in x 4.163 * [taylor]: Taking taylor expansion of (* x z) in x 4.163 * [taylor]: Taking taylor expansion of x in x 4.163 * [taylor]: Taking taylor expansion of z in x 4.163 * [taylor]: Taking taylor expansion of 0 in z 4.164 * [taylor]: Taking taylor expansion of z in x 4.164 * [taylor]: Taking taylor expansion of z in z 4.165 * [taylor]: Taking taylor expansion of (- z) in z 4.165 * [taylor]: Taking taylor expansion of z in z 4.166 * [taylor]: Taking taylor expansion of 0 in x 4.166 * [taylor]: Taking taylor expansion of 0 in z 4.166 * [taylor]: Taking taylor expansion of 0 in z 4.166 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0 4.166 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 4.166 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 4.166 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.166 * [taylor]: Taking taylor expansion of y in z 4.166 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.166 * [taylor]: Taking taylor expansion of x in z 4.166 * [taylor]: Taking taylor expansion of z in z 4.166 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 4.166 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 4.166 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.166 * [taylor]: Taking taylor expansion of y in x 4.166 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.166 * [taylor]: Taking taylor expansion of x in x 4.167 * [taylor]: Taking taylor expansion of z in x 4.167 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 4.167 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 4.167 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.167 * [taylor]: Taking taylor expansion of y in y 4.167 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.167 * [taylor]: Taking taylor expansion of x in y 4.167 * [taylor]: Taking taylor expansion of z in y 4.168 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 4.168 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 4.168 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.168 * [taylor]: Taking taylor expansion of y in y 4.168 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.168 * [taylor]: Taking taylor expansion of x in y 4.168 * [taylor]: Taking taylor expansion of z in y 4.169 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.169 * [taylor]: Taking taylor expansion of z in x 4.169 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x 4.169 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 4.169 * [taylor]: Taking taylor expansion of (* x z) in x 4.169 * [taylor]: Taking taylor expansion of x in x 4.169 * [taylor]: Taking taylor expansion of z in x 4.170 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.170 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.170 * [taylor]: Taking taylor expansion of z in z 4.170 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.170 * [taylor]: Taking taylor expansion of z in z 4.172 * [taylor]: Taking taylor expansion of 0 in x 4.173 * [taylor]: Taking taylor expansion of 0 in z 4.173 * [taylor]: Taking taylor expansion of 0 in z 4.175 * [taylor]: Taking taylor expansion of 0 in x 4.175 * [taylor]: Taking taylor expansion of 0 in z 4.176 * [taylor]: Taking taylor expansion of 0 in z 4.177 * [taylor]: Taking taylor expansion of 0 in z 4.178 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0 4.178 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in z 4.178 * [taylor]: Taking taylor expansion of -1 in z 4.178 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 4.178 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 4.178 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.178 * [taylor]: Taking taylor expansion of x in z 4.178 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.178 * [taylor]: Taking taylor expansion of y in z 4.178 * [taylor]: Taking taylor expansion of z in z 4.178 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in x 4.178 * [taylor]: Taking taylor expansion of -1 in x 4.178 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x 4.178 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 4.179 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.179 * [taylor]: Taking taylor expansion of x in x 4.179 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.179 * [taylor]: Taking taylor expansion of y in x 4.179 * [taylor]: Taking taylor expansion of z in x 4.179 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y 4.179 * [taylor]: Taking taylor expansion of -1 in y 4.179 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 4.179 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 4.179 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.179 * [taylor]: Taking taylor expansion of x in y 4.179 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.179 * [taylor]: Taking taylor expansion of y in y 4.180 * [taylor]: Taking taylor expansion of z in y 4.180 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y 4.180 * [taylor]: Taking taylor expansion of -1 in y 4.180 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 4.180 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 4.180 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.180 * [taylor]: Taking taylor expansion of x in y 4.180 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.180 * [taylor]: Taking taylor expansion of y in y 4.180 * [taylor]: Taking taylor expansion of z in y 4.181 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.181 * [taylor]: Taking taylor expansion of z in x 4.182 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x 4.182 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 4.182 * [taylor]: Taking taylor expansion of (* x z) in x 4.182 * [taylor]: Taking taylor expansion of x in x 4.182 * [taylor]: Taking taylor expansion of z in x 4.182 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.182 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.182 * [taylor]: Taking taylor expansion of z in z 4.183 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.183 * [taylor]: Taking taylor expansion of z in z 4.185 * [taylor]: Taking taylor expansion of 0 in x 4.186 * [taylor]: Taking taylor expansion of 0 in z 4.186 * [taylor]: Taking taylor expansion of 0 in z 4.189 * [taylor]: Taking taylor expansion of 0 in x 4.189 * [taylor]: Taking taylor expansion of 0 in z 4.190 * [taylor]: Taking taylor expansion of 0 in z 4.190 * [taylor]: Taking taylor expansion of 0 in z 4.191 * * * * [progress]: [ 2 / 2 ] generating series at (2) 4.192 * [approximate]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in (x y z) around 0 4.192 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in z 4.192 * [taylor]: Taking taylor expansion of (+ (* z y) x) in z 4.192 * [taylor]: Taking taylor expansion of (* z y) in z 4.192 * [taylor]: Taking taylor expansion of z in z 4.192 * [taylor]: Taking taylor expansion of y in z 4.192 * [taylor]: Taking taylor expansion of x in z 4.192 * [taylor]: Taking taylor expansion of (* x z) in z 4.192 * [taylor]: Taking taylor expansion of x in z 4.192 * [taylor]: Taking taylor expansion of z in z 4.192 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in y 4.192 * [taylor]: Taking taylor expansion of (+ (* z y) x) in y 4.192 * [taylor]: Taking taylor expansion of (* z y) in y 4.192 * [taylor]: Taking taylor expansion of z in y 4.192 * [taylor]: Taking taylor expansion of y in y 4.192 * [taylor]: Taking taylor expansion of x in y 4.192 * [taylor]: Taking taylor expansion of (* x z) in y 4.192 * [taylor]: Taking taylor expansion of x in y 4.192 * [taylor]: Taking taylor expansion of z in y 4.192 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in x 4.192 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x 4.192 * [taylor]: Taking taylor expansion of (* z y) in x 4.192 * [taylor]: Taking taylor expansion of z in x 4.192 * [taylor]: Taking taylor expansion of y in x 4.192 * [taylor]: Taking taylor expansion of x in x 4.192 * [taylor]: Taking taylor expansion of (* x z) in x 4.192 * [taylor]: Taking taylor expansion of x in x 4.192 * [taylor]: Taking taylor expansion of z in x 4.192 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in x 4.192 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x 4.192 * [taylor]: Taking taylor expansion of (* z y) in x 4.192 * [taylor]: Taking taylor expansion of z in x 4.192 * [taylor]: Taking taylor expansion of y in x 4.192 * [taylor]: Taking taylor expansion of x in x 4.192 * [taylor]: Taking taylor expansion of (* x z) in x 4.192 * [taylor]: Taking taylor expansion of x in x 4.192 * [taylor]: Taking taylor expansion of z in x 4.193 * [taylor]: Taking taylor expansion of (* z y) in y 4.193 * [taylor]: Taking taylor expansion of z in y 4.193 * [taylor]: Taking taylor expansion of y in y 4.193 * [taylor]: Taking taylor expansion of 0 in z 4.193 * [taylor]: Taking taylor expansion of (- 1 z) in y 4.193 * [taylor]: Taking taylor expansion of 1 in y 4.193 * [taylor]: Taking taylor expansion of z in y 4.193 * [taylor]: Taking taylor expansion of (- 1 z) in z 4.193 * [taylor]: Taking taylor expansion of 1 in z 4.193 * [taylor]: Taking taylor expansion of z in z 4.194 * [taylor]: Taking taylor expansion of z in z 4.196 * [taylor]: Taking taylor expansion of 0 in y 4.196 * [taylor]: Taking taylor expansion of 0 in z 4.196 * [taylor]: Taking taylor expansion of 0 in z 4.197 * [taylor]: Taking taylor expansion of 0 in z 4.197 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in (x y z) around 0 4.197 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in z 4.197 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z 4.197 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 4.197 * [taylor]: Taking taylor expansion of (* z y) in z 4.197 * [taylor]: Taking taylor expansion of z in z 4.197 * [taylor]: Taking taylor expansion of y in z 4.198 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.198 * [taylor]: Taking taylor expansion of x in z 4.198 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 4.198 * [taylor]: Taking taylor expansion of (* x z) in z 4.198 * [taylor]: Taking taylor expansion of x in z 4.198 * [taylor]: Taking taylor expansion of z in z 4.198 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in y 4.198 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y 4.198 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 4.198 * [taylor]: Taking taylor expansion of (* z y) in y 4.198 * [taylor]: Taking taylor expansion of z in y 4.198 * [taylor]: Taking taylor expansion of y in y 4.199 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.199 * [taylor]: Taking taylor expansion of x in y 4.199 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 4.199 * [taylor]: Taking taylor expansion of (* x z) in y 4.199 * [taylor]: Taking taylor expansion of x in y 4.199 * [taylor]: Taking taylor expansion of z in y 4.199 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in x 4.199 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x 4.199 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 4.199 * [taylor]: Taking taylor expansion of (* z y) in x 4.199 * [taylor]: Taking taylor expansion of z in x 4.199 * [taylor]: Taking taylor expansion of y in x 4.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.199 * [taylor]: Taking taylor expansion of x in x 4.199 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 4.199 * [taylor]: Taking taylor expansion of (* x z) in x 4.199 * [taylor]: Taking taylor expansion of x in x 4.199 * [taylor]: Taking taylor expansion of z in x 4.200 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in x 4.200 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x 4.200 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 4.200 * [taylor]: Taking taylor expansion of (* z y) in x 4.200 * [taylor]: Taking taylor expansion of z in x 4.200 * [taylor]: Taking taylor expansion of y in x 4.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.200 * [taylor]: Taking taylor expansion of x in x 4.200 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 4.200 * [taylor]: Taking taylor expansion of (* x z) in x 4.200 * [taylor]: Taking taylor expansion of x in x 4.200 * [taylor]: Taking taylor expansion of z in x 4.201 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in y 4.201 * [taylor]: Taking taylor expansion of 1 in y 4.201 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.201 * [taylor]: Taking taylor expansion of z in y 4.202 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 4.202 * [taylor]: Taking taylor expansion of (* z y) in y 4.202 * [taylor]: Taking taylor expansion of z in y 4.202 * [taylor]: Taking taylor expansion of y in y 4.203 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.203 * [taylor]: Taking taylor expansion of z in z 4.203 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z 4.203 * [taylor]: Taking taylor expansion of 1 in z 4.203 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.203 * [taylor]: Taking taylor expansion of z in z 4.206 * [taylor]: Taking taylor expansion of 0 in y 4.206 * [taylor]: Taking taylor expansion of 0 in z 4.207 * [taylor]: Taking taylor expansion of 0 in z 4.209 * [approximate]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 x))) in (x y z) around 0 4.209 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 x))) in z 4.209 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 4.209 * [taylor]: Taking taylor expansion of (* z y) in z 4.209 * [taylor]: Taking taylor expansion of z in z 4.209 * [taylor]: Taking taylor expansion of y in z 4.209 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in z 4.209 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 4.209 * [taylor]: Taking taylor expansion of (* x z) in z 4.209 * [taylor]: Taking taylor expansion of x in z 4.209 * [taylor]: Taking taylor expansion of z in z 4.209 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.209 * [taylor]: Taking taylor expansion of x in z 4.209 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 x))) in y 4.209 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 4.210 * [taylor]: Taking taylor expansion of (* z y) in y 4.210 * [taylor]: Taking taylor expansion of z in y 4.210 * [taylor]: Taking taylor expansion of y in y 4.210 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in y 4.210 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 4.210 * [taylor]: Taking taylor expansion of (* x z) in y 4.210 * [taylor]: Taking taylor expansion of x in y 4.210 * [taylor]: Taking taylor expansion of z in y 4.210 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.210 * [taylor]: Taking taylor expansion of x in y 4.210 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 x))) in x 4.210 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 4.210 * [taylor]: Taking taylor expansion of (* z y) in x 4.210 * [taylor]: Taking taylor expansion of z in x 4.210 * [taylor]: Taking taylor expansion of y in x 4.210 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x 4.210 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 4.210 * [taylor]: Taking taylor expansion of (* x z) in x 4.210 * [taylor]: Taking taylor expansion of x in x 4.210 * [taylor]: Taking taylor expansion of z in x 4.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.211 * [taylor]: Taking taylor expansion of x in x 4.211 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 x))) in x 4.211 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 4.211 * [taylor]: Taking taylor expansion of (* z y) in x 4.211 * [taylor]: Taking taylor expansion of z in x 4.211 * [taylor]: Taking taylor expansion of y in x 4.211 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x 4.211 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 4.211 * [taylor]: Taking taylor expansion of (* x z) in x 4.211 * [taylor]: Taking taylor expansion of x in x 4.211 * [taylor]: Taking taylor expansion of z in x 4.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.211 * [taylor]: Taking taylor expansion of x in x 4.212 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1)) in y 4.212 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y 4.212 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.212 * [taylor]: Taking taylor expansion of z in y 4.212 * [taylor]: Taking taylor expansion of 1 in y 4.213 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 4.213 * [taylor]: Taking taylor expansion of (* z y) in y 4.213 * [taylor]: Taking taylor expansion of z in y 4.213 * [taylor]: Taking taylor expansion of y in y 4.214 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.214 * [taylor]: Taking taylor expansion of z in z 4.214 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1)) in z 4.214 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z 4.214 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.214 * [taylor]: Taking taylor expansion of z in z 4.214 * [taylor]: Taking taylor expansion of 1 in z 4.217 * [taylor]: Taking taylor expansion of 0 in y 4.218 * [taylor]: Taking taylor expansion of 0 in z 4.218 * [taylor]: Taking taylor expansion of 0 in z 4.220 * * * [progress]: simplifying candidates 4.220 * [simplify]: Simplifying using # : (* (- y x) z) (+ (log (- y x)) (log z)) (log (* (- y x) z)) (exp (* (- y x) z)) (* (* (* (- y x) (- y x)) (- y x)) (* (* z z) z)) (* (cbrt (* (- y x) z)) (cbrt (* (- y x) z))) (cbrt (* (- y x) z)) (* (* (* (- y x) z) (* (- y x) z)) (* (- y x) z)) (sqrt (* (- y x) z)) (sqrt (* (- y x) z)) (* (sqrt (- y x)) (sqrt z)) (* (sqrt (- y x)) (sqrt z)) (* (- y x) (* (cbrt z) (cbrt z))) (* (- y x) (sqrt z)) (* (- y x) 1) (* (cbrt (- y x)) z) (* (sqrt (- y x)) z) (* (- y x) z) (* (- (sqrt y) (sqrt x)) z) (* (- y x) z) (* (- (pow y 3) (pow x 3)) z) (* (- (* y y) (* x x)) z) (* (exp x) (exp (* (- y x) z))) (log (+ x (* (- y x) z))) (exp (+ x (* (- y x) z))) (* (cbrt (+ x (* (- y x) z))) (cbrt (+ x (* (- y x) z)))) (cbrt (+ x (* (- y x) z))) (* (* (+ x (* (- y x) z)) (+ x (* (- y x) z))) (+ x (* (- y x) z))) (sqrt (+ x (* (- y x) z))) (sqrt (+ x (* (- y x) z))) (+ (pow x 3) (pow (* (- y x) z) 3)) (+ (* x x) (- (* (* (- y x) z) (* (- y x) z)) (* x (* (- y x) z)))) (- (* x x) (* (* (- y x) z) (* (- y x) z))) (- x (* (- y x) z)) 0 (- (* z y) (* x z)) (- (* z y) (* x z)) (- (+ (* z y) x) (* x z)) (- (+ (* z y) x) (* x z)) (- (+ (* z y) x) (* x z)) 4.222 * * [simplify]: iteration 0 : 68 enodes (cost 357 ) 4.233 * * [simplify]: iteration 1 : 166 enodes (cost 337 ) 4.265 * * [simplify]: iteration 2 : 548 enodes (cost 303 )