124.915 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.037 * * * [progress]: [2/2] Setting up program. 0.044 * [progress]: [Phase 2 of 3] Improving. 0.045 * [simplify]: Simplifying using # : (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) 0.046 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 0.047 * * [simplify]: iteration 1 : 20 enodes (cost 15 ) 0.051 * * [simplify]: iteration 2 : 64 enodes (cost 7 ) 0.066 * * [simplify]: iteration 3 : 151 enodes (cost 5 ) 0.161 * * [simplify]: iteration 4 : 485 enodes (cost 5 ) 1.582 * * [simplify]: iteration 5 : 1994 enodes (cost 5 ) 7.229 * * [simplify]: iteration 6 : 4650 enodes (cost 5 ) 8.506 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 8.506 * [simplify]: Simplified to: (* y (- x z)) 8.511 * * [progress]: iteration 1 / 4 8.511 * * * [progress]: picking best candidate 8.514 * * * * [pick]: Picked # 8.514 * * * [progress]: localizing error 8.518 * * * [progress]: generating rewritten candidates 8.518 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 8.526 * * * [progress]: generating series expansions 8.526 * * * * [progress]: [ 1 / 1 ] generating series at (2) 8.526 * [approximate]: Taking taylor expansion of (* (- x z) y) in (y x z) around 0 8.526 * [taylor]: Taking taylor expansion of (* (- x z) y) in z 8.526 * [taylor]: Taking taylor expansion of (- x z) in z 8.526 * [taylor]: Taking taylor expansion of x in z 8.526 * [taylor]: Taking taylor expansion of z in z 8.526 * [taylor]: Taking taylor expansion of y in z 8.526 * [taylor]: Taking taylor expansion of (* (- x z) y) in x 8.526 * [taylor]: Taking taylor expansion of (- x z) in x 8.526 * [taylor]: Taking taylor expansion of x in x 8.526 * [taylor]: Taking taylor expansion of z in x 8.526 * [taylor]: Taking taylor expansion of y in x 8.526 * [taylor]: Taking taylor expansion of (* (- x z) y) in y 8.526 * [taylor]: Taking taylor expansion of (- x z) in y 8.526 * [taylor]: Taking taylor expansion of x in y 8.526 * [taylor]: Taking taylor expansion of z in y 8.526 * [taylor]: Taking taylor expansion of y in y 8.526 * [taylor]: Taking taylor expansion of (* (- x z) y) in y 8.526 * [taylor]: Taking taylor expansion of (- x z) in y 8.526 * [taylor]: Taking taylor expansion of x in y 8.526 * [taylor]: Taking taylor expansion of z in y 8.526 * [taylor]: Taking taylor expansion of y in y 8.527 * [taylor]: Taking taylor expansion of 0 in x 8.527 * [taylor]: Taking taylor expansion of 0 in z 8.527 * [taylor]: Taking taylor expansion of (- x z) in x 8.527 * [taylor]: Taking taylor expansion of x in x 8.527 * [taylor]: Taking taylor expansion of z in x 8.527 * [taylor]: Taking taylor expansion of (neg z) in z 8.527 * [taylor]: Taking taylor expansion of z in z 8.527 * [taylor]: Taking taylor expansion of 0 in z 8.527 * [taylor]: Taking taylor expansion of 0 in x 8.527 * [taylor]: Taking taylor expansion of 0 in z 8.527 * [taylor]: Taking taylor expansion of 1 in z 8.527 * [taylor]: Taking taylor expansion of 0 in z 8.528 * [taylor]: Taking taylor expansion of 0 in x 8.528 * [taylor]: Taking taylor expansion of 0 in z 8.528 * [taylor]: Taking taylor expansion of 0 in z 8.528 * [taylor]: Taking taylor expansion of 0 in z 8.528 * [taylor]: Taking taylor expansion of 0 in z 8.528 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (y x z) around 0 8.528 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 8.528 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 8.528 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.528 * [taylor]: Taking taylor expansion of x in z 8.528 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.528 * [taylor]: Taking taylor expansion of z in z 8.528 * [taylor]: Taking taylor expansion of y in z 8.528 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 8.528 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 8.528 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.528 * [taylor]: Taking taylor expansion of x in x 8.528 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.528 * [taylor]: Taking taylor expansion of z in x 8.528 * [taylor]: Taking taylor expansion of y in x 8.528 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 8.528 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 8.528 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.528 * [taylor]: Taking taylor expansion of x in y 8.528 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.528 * [taylor]: Taking taylor expansion of z in y 8.529 * [taylor]: Taking taylor expansion of y in y 8.529 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 8.529 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 8.529 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.529 * [taylor]: Taking taylor expansion of x in y 8.529 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.529 * [taylor]: Taking taylor expansion of z in y 8.529 * [taylor]: Taking taylor expansion of y in y 8.529 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 8.529 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.529 * [taylor]: Taking taylor expansion of x in x 8.529 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.529 * [taylor]: Taking taylor expansion of z in x 8.529 * [taylor]: Taking taylor expansion of 1 in z 8.529 * [taylor]: Taking taylor expansion of 0 in x 8.530 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 8.530 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.530 * [taylor]: Taking taylor expansion of z in z 8.530 * [taylor]: Taking taylor expansion of 0 in x 8.530 * [taylor]: Taking taylor expansion of 0 in z 8.530 * [taylor]: Taking taylor expansion of 0 in z 8.530 * [taylor]: Taking taylor expansion of 0 in x 8.530 * [taylor]: Taking taylor expansion of 0 in z 8.530 * [taylor]: Taking taylor expansion of 0 in z 8.531 * [taylor]: Taking taylor expansion of 0 in z 8.531 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (y x z) around 0 8.531 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z 8.531 * [taylor]: Taking taylor expansion of -1 in z 8.531 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 8.531 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 8.531 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.531 * [taylor]: Taking taylor expansion of z in z 8.531 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.531 * [taylor]: Taking taylor expansion of x in z 8.531 * [taylor]: Taking taylor expansion of y in z 8.531 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 8.531 * [taylor]: Taking taylor expansion of -1 in x 8.531 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 8.531 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.531 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.531 * [taylor]: Taking taylor expansion of z in x 8.531 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.531 * [taylor]: Taking taylor expansion of x in x 8.531 * [taylor]: Taking taylor expansion of y in x 8.532 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 8.532 * [taylor]: Taking taylor expansion of -1 in y 8.532 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 8.532 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 8.532 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.532 * [taylor]: Taking taylor expansion of z in y 8.532 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.532 * [taylor]: Taking taylor expansion of x in y 8.532 * [taylor]: Taking taylor expansion of y in y 8.532 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 8.532 * [taylor]: Taking taylor expansion of -1 in y 8.532 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 8.532 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 8.532 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.532 * [taylor]: Taking taylor expansion of z in y 8.532 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.532 * [taylor]: Taking taylor expansion of x in y 8.532 * [taylor]: Taking taylor expansion of y in y 8.532 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 x))) in x 8.532 * [taylor]: Taking taylor expansion of -1 in x 8.532 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.532 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.532 * [taylor]: Taking taylor expansion of z in x 8.532 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.532 * [taylor]: Taking taylor expansion of x in x 8.532 * [taylor]: Taking taylor expansion of 1 in z 8.533 * [taylor]: Taking taylor expansion of 0 in x 8.533 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 8.533 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.533 * [taylor]: Taking taylor expansion of z in z 8.533 * [taylor]: Taking taylor expansion of 0 in x 8.533 * [taylor]: Taking taylor expansion of 0 in z 8.534 * [taylor]: Taking taylor expansion of 0 in z 8.534 * [taylor]: Taking taylor expansion of 0 in x 8.534 * [taylor]: Taking taylor expansion of 0 in z 8.534 * [taylor]: Taking taylor expansion of 0 in z 8.534 * [taylor]: Taking taylor expansion of 0 in z 8.535 * * * [progress]: simplifying candidates 8.535 * [simplify]: Simplifying using # : (* y (- x z)) (+ (log y) (log (- x z))) (log (* y (- x z))) (exp (* y (- x z))) (* (* (* y y) y) (* (* (- x z) (- x z)) (- x 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) (sqrt (- x z))) (* (sqrt y) (sqrt (- x z))) (* y x) (* y (neg z)) (* y x) (* y (neg z)) (* x y) (* (neg z) y) (* x y) (* (neg z) y) (* y (* (cbrt (- x z)) (cbrt (- x z)))) (* y (sqrt (- x z))) (* y 1) (* y (+ (sqrt x) (sqrt z))) (* y 1) (* (cbrt y) (- x z)) (* (sqrt y) (- x z)) (* y (- x z)) (* y (- (pow x 3) (pow z 3))) (* y (- (* x x) (* z z))) (- (* x y) (* z y)) (- (* x y) (* z y)) (- (* x y) (* z y)) 8.536 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 8.536 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 8.537 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 8.539 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 8.549 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 8.552 * * [simplify]: iteration done : 24 enodes (cost 5 ) 8.553 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 8.554 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 8.555 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 8.556 * * [simplify]: iteration done : 11 enodes (cost 7 ) 8.556 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 8.557 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 8.558 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 8.561 * * [simplify]: iteration 3 : 25 enodes (cost 6 ) 8.563 * * [simplify]: iteration 4 : 29 enodes (cost 6 ) 8.567 * * [simplify]: iteration done : 29 enodes (cost 6 ) 8.567 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 8.568 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 8.569 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 8.572 * * [simplify]: iteration 3 : 49 enodes (cost 6 ) 8.579 * * [simplify]: iteration 4 : 90 enodes (cost 6 ) 8.593 * * [simplify]: iteration 5 : 192 enodes (cost 6 ) 8.661 * * [simplify]: iteration 6 : 441 enodes (cost 6 ) 8.967 * * [simplify]: iteration 7 : 1402 enodes (cost 6 ) 10.579 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 10.580 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 10.588 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 10.591 * * [simplify]: iteration 2 : 62 enodes (cost 9 ) 10.608 * * [simplify]: iteration 3 : 243 enodes (cost 9 ) 10.722 * * [simplify]: iteration 4 : 855 enodes (cost 7 ) 11.535 * * [simplify]: iteration 5 : 2965 enodes (cost 7 ) 13.331 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 13.332 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 13.332 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 13.334 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 13.336 * * [simplify]: iteration 3 : 22 enodes (cost 13 ) 13.338 * * [simplify]: iteration 4 : 26 enodes (cost 13 ) 13.341 * * [simplify]: iteration done : 26 enodes (cost 13 ) 13.342 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 13.342 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 13.343 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 13.346 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 13.348 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 13.351 * * [simplify]: iteration done : 25 enodes (cost 6 ) 13.352 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 13.353 * * [simplify]: iteration 1 : 20 enodes (cost 17 ) 13.360 * * [simplify]: iteration 2 : 74 enodes (cost 7 ) 13.383 * * [simplify]: iteration 3 : 266 enodes (cost 7 ) 13.531 * * [simplify]: iteration 4 : 818 enodes (cost 7 ) 14.331 * * [simplify]: iteration 5 : 2511 enodes (cost 7 ) 16.182 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 16.183 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 16.183 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 16.185 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 16.190 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 16.192 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 16.196 * * [simplify]: iteration done : 25 enodes (cost 6 ) 16.197 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 16.198 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 16.199 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 16.201 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 16.203 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 16.206 * * [simplify]: iteration done : 25 enodes (cost 6 ) 16.207 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 16.207 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 16.208 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 16.209 * * [simplify]: iteration done : 11 enodes (cost 7 ) 16.210 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 16.211 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 16.212 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 16.213 * * [simplify]: iteration done : 11 enodes (cost 7 ) 16.213 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 16.214 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 16.214 * * [simplify]: iteration done : 4 enodes (cost 3 ) 16.215 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 16.215 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 16.216 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 16.217 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 16.218 * * [simplify]: iteration done : 11 enodes (cost 4 ) 16.219 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 16.219 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 16.219 * * [simplify]: iteration done : 4 enodes (cost 3 ) 16.220 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 16.220 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 16.221 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 16.222 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 16.223 * * [simplify]: iteration done : 11 enodes (cost 4 ) 16.224 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 16.224 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 16.225 * * [simplify]: iteration done : 4 enodes (cost 3 ) 16.226 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 16.226 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 16.227 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 16.228 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 16.229 * * [simplify]: iteration done : 11 enodes (cost 4 ) 16.230 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 16.230 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 16.231 * * [simplify]: iteration done : 4 enodes (cost 3 ) 16.231 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 16.232 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 16.232 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 16.234 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 16.235 * * [simplify]: iteration done : 11 enodes (cost 4 ) 16.235 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 16.236 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 16.238 * * [simplify]: iteration 2 : 15 enodes (cost 11 ) 16.239 * * [simplify]: iteration done : 15 enodes (cost 11 ) 16.240 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 16.240 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 16.241 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 16.242 * * [simplify]: iteration done : 10 enodes (cost 6 ) 16.243 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 16.243 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 16.243 * * [simplify]: iteration done : 6 enodes (cost 1 ) 16.244 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 16.245 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 16.247 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 16.249 * * [simplify]: iteration done : 16 enodes (cost 7 ) 16.249 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 16.250 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 16.250 * * [simplify]: iteration done : 6 enodes (cost 1 ) 16.251 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 16.251 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 16.253 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 16.257 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 16.260 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 16.262 * * [simplify]: iteration done : 25 enodes (cost 6 ) 16.263 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 16.264 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 16.265 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 16.267 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 16.269 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 16.272 * * [simplify]: iteration done : 25 enodes (cost 6 ) 16.273 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 16.273 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 16.274 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 16.276 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 16.278 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 16.281 * * [simplify]: iteration done : 24 enodes (cost 5 ) 16.282 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 16.283 * * [simplify]: iteration 1 : 24 enodes (cost 9 ) 16.287 * * [simplify]: iteration 2 : 52 enodes (cost 9 ) 16.295 * * [simplify]: iteration 3 : 131 enodes (cost 9 ) 16.326 * * [simplify]: iteration 4 : 309 enodes (cost 9 ) 16.454 * * [simplify]: iteration 5 : 988 enodes (cost 9 ) 17.491 * * [simplify]: iteration 6 : 4466 enodes (cost 9 ) 19.609 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 19.610 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 19.611 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 19.613 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 19.618 * * [simplify]: iteration 3 : 76 enodes (cost 9 ) 19.633 * * [simplify]: iteration 4 : 159 enodes (cost 9 ) 19.674 * * [simplify]: iteration 5 : 245 enodes (cost 9 ) 19.748 * * [simplify]: iteration 6 : 400 enodes (cost 9 ) 19.928 * * [simplify]: iteration 7 : 771 enodes (cost 9 ) 21.564 * * [simplify]: iteration 8 : 3375 enodes (cost 9 ) 23.717 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 23.718 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 23.719 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 23.721 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 23.723 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 23.727 * * [simplify]: iteration done : 22 enodes (cost 5 ) 23.727 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 23.728 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 23.729 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 23.732 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 23.735 * * [simplify]: iteration done : 22 enodes (cost 5 ) 23.736 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 23.737 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 23.738 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 23.741 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 23.744 * * [simplify]: iteration done : 22 enodes (cost 5 ) 23.744 * [simplify]: Simplified to: (* y (- x z)) (+ (log y) (log (- x z))) (log (* y (- x z))) (exp (* y (- x z))) (pow (* y (- x z)) 3) (* (cbrt (* y (- x z))) (cbrt (* y (- x z)))) (cbrt (* y (- x z))) (pow (* y (- x z)) 3) (sqrt (* y (- x z))) (sqrt (* y (- x z))) (* (sqrt y) (sqrt (- x z))) (* (sqrt y) (sqrt (- x z))) (* y x) (* y (neg z)) (* y x) (* y (neg z)) (* x y) (* (neg z) y) (* x y) (* (neg z) y) (* y (* (cbrt (- x z)) (cbrt (- x z)))) (* y (sqrt (- x z))) y (* y (+ (sqrt x) (sqrt z))) y (* (cbrt y) (- x z)) (* (sqrt y) (- x z)) (* y (- x z)) (* y (- (pow x 3) (pow z 3))) (* y (* (- x z) (+ x z))) (* y (- x z)) (* y (- x z)) (* y (- x z)) 23.744 * * * [progress]: adding candidates to table 23.773 * * [progress]: iteration 2 / 4 23.773 * * * [progress]: picking best candidate 23.776 * * * * [pick]: Picked # 23.776 * * * [progress]: localizing error 23.782 * * * [progress]: generating rewritten candidates 23.782 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 23.787 * * * [progress]: generating series expansions 23.787 * * * * [progress]: [ 1 / 1 ] generating series at (2) 23.787 * [approximate]: Taking taylor expansion of (- (* x y) (* z y)) in (y x z) around 0 23.787 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in z 23.787 * [taylor]: Taking taylor expansion of (* x y) in z 23.787 * [taylor]: Taking taylor expansion of x in z 23.787 * [taylor]: Taking taylor expansion of y in z 23.787 * [taylor]: Taking taylor expansion of (* z y) in z 23.787 * [taylor]: Taking taylor expansion of z in z 23.787 * [taylor]: Taking taylor expansion of y in z 23.787 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x 23.787 * [taylor]: Taking taylor expansion of (* x y) in x 23.787 * [taylor]: Taking taylor expansion of x in x 23.787 * [taylor]: Taking taylor expansion of y in x 23.787 * [taylor]: Taking taylor expansion of (* z y) in x 23.787 * [taylor]: Taking taylor expansion of z in x 23.787 * [taylor]: Taking taylor expansion of y in x 23.787 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y 23.787 * [taylor]: Taking taylor expansion of (* x y) in y 23.787 * [taylor]: Taking taylor expansion of x in y 23.787 * [taylor]: Taking taylor expansion of y in y 23.787 * [taylor]: Taking taylor expansion of (* z y) in y 23.787 * [taylor]: Taking taylor expansion of z in y 23.787 * [taylor]: Taking taylor expansion of y in y 23.787 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y 23.787 * [taylor]: Taking taylor expansion of (* x y) in y 23.787 * [taylor]: Taking taylor expansion of x in y 23.787 * [taylor]: Taking taylor expansion of y in y 23.788 * [taylor]: Taking taylor expansion of (* z y) in y 23.788 * [taylor]: Taking taylor expansion of z in y 23.788 * [taylor]: Taking taylor expansion of y in y 23.788 * [taylor]: Taking taylor expansion of 0 in x 23.788 * [taylor]: Taking taylor expansion of 0 in z 23.788 * [taylor]: Taking taylor expansion of (- x z) in x 23.788 * [taylor]: Taking taylor expansion of x in x 23.788 * [taylor]: Taking taylor expansion of z in x 23.788 * [taylor]: Taking taylor expansion of (neg z) in z 23.788 * [taylor]: Taking taylor expansion of z in z 23.788 * [taylor]: Taking taylor expansion of 0 in z 23.788 * [taylor]: Taking taylor expansion of 0 in x 23.788 * [taylor]: Taking taylor expansion of 0 in z 23.788 * [taylor]: Taking taylor expansion of 1 in z 23.789 * [taylor]: Taking taylor expansion of 0 in z 23.789 * [taylor]: Taking taylor expansion of 0 in x 23.789 * [taylor]: Taking taylor expansion of 0 in z 23.789 * [taylor]: Taking taylor expansion of 0 in z 23.789 * [taylor]: Taking taylor expansion of 0 in z 23.789 * [taylor]: Taking taylor expansion of 0 in z 23.789 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (y x z) around 0 23.789 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z 23.789 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 23.789 * [taylor]: Taking taylor expansion of (* x y) in z 23.789 * [taylor]: Taking taylor expansion of x in z 23.789 * [taylor]: Taking taylor expansion of y in z 23.789 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 23.789 * [taylor]: Taking taylor expansion of (* z y) in z 23.789 * [taylor]: Taking taylor expansion of z in z 23.790 * [taylor]: Taking taylor expansion of y in z 23.790 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 23.790 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 23.790 * [taylor]: Taking taylor expansion of (* x y) in x 23.790 * [taylor]: Taking taylor expansion of x in x 23.790 * [taylor]: Taking taylor expansion of y in x 23.790 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 23.790 * [taylor]: Taking taylor expansion of (* z y) in x 23.790 * [taylor]: Taking taylor expansion of z in x 23.790 * [taylor]: Taking taylor expansion of y in x 23.790 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 23.790 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 23.790 * [taylor]: Taking taylor expansion of (* x y) in y 23.790 * [taylor]: Taking taylor expansion of x in y 23.790 * [taylor]: Taking taylor expansion of y in y 23.790 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 23.790 * [taylor]: Taking taylor expansion of (* z y) in y 23.790 * [taylor]: Taking taylor expansion of z in y 23.790 * [taylor]: Taking taylor expansion of y in y 23.790 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 23.790 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 23.790 * [taylor]: Taking taylor expansion of (* x y) in y 23.790 * [taylor]: Taking taylor expansion of x in y 23.790 * [taylor]: Taking taylor expansion of y in y 23.790 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 23.790 * [taylor]: Taking taylor expansion of (* z y) in y 23.790 * [taylor]: Taking taylor expansion of z in y 23.790 * [taylor]: Taking taylor expansion of y in y 23.791 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 23.791 * [taylor]: Taking taylor expansion of (/ 1 x) in x 23.791 * [taylor]: Taking taylor expansion of x in x 23.791 * [taylor]: Taking taylor expansion of (/ 1 z) in x 23.791 * [taylor]: Taking taylor expansion of z in x 23.791 * [taylor]: Taking taylor expansion of 1 in z 23.791 * [taylor]: Taking taylor expansion of 0 in x 23.791 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 23.791 * [taylor]: Taking taylor expansion of (/ 1 z) in z 23.791 * [taylor]: Taking taylor expansion of z in z 23.791 * [taylor]: Taking taylor expansion of 0 in x 23.791 * [taylor]: Taking taylor expansion of 0 in z 23.791 * [taylor]: Taking taylor expansion of 0 in z 23.792 * [taylor]: Taking taylor expansion of 0 in x 23.792 * [taylor]: Taking taylor expansion of 0 in z 23.792 * [taylor]: Taking taylor expansion of 0 in z 23.792 * [taylor]: Taking taylor expansion of 0 in z 23.792 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (y x z) around 0 23.793 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z 23.793 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 23.793 * [taylor]: Taking taylor expansion of (* x y) in z 23.793 * [taylor]: Taking taylor expansion of x in z 23.793 * [taylor]: Taking taylor expansion of y in z 23.793 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 23.793 * [taylor]: Taking taylor expansion of (* z y) in z 23.793 * [taylor]: Taking taylor expansion of z in z 23.793 * [taylor]: Taking taylor expansion of y in z 23.793 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 23.793 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 23.793 * [taylor]: Taking taylor expansion of (* x y) in x 23.793 * [taylor]: Taking taylor expansion of x in x 23.793 * [taylor]: Taking taylor expansion of y in x 23.793 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 23.793 * [taylor]: Taking taylor expansion of (* z y) in x 23.793 * [taylor]: Taking taylor expansion of z in x 23.793 * [taylor]: Taking taylor expansion of y in x 23.793 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 23.793 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 23.793 * [taylor]: Taking taylor expansion of (* x y) in y 23.793 * [taylor]: Taking taylor expansion of x in y 23.793 * [taylor]: Taking taylor expansion of y in y 23.793 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 23.793 * [taylor]: Taking taylor expansion of (* z y) in y 23.793 * [taylor]: Taking taylor expansion of z in y 23.793 * [taylor]: Taking taylor expansion of y in y 23.793 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 23.793 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 23.793 * [taylor]: Taking taylor expansion of (* x y) in y 23.793 * [taylor]: Taking taylor expansion of x in y 23.793 * [taylor]: Taking taylor expansion of y in y 23.793 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 23.793 * [taylor]: Taking taylor expansion of (* z y) in y 23.794 * [taylor]: Taking taylor expansion of z in y 23.794 * [taylor]: Taking taylor expansion of y in y 23.794 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 23.794 * [taylor]: Taking taylor expansion of (/ 1 x) in x 23.794 * [taylor]: Taking taylor expansion of x in x 23.794 * [taylor]: Taking taylor expansion of (/ 1 z) in x 23.794 * [taylor]: Taking taylor expansion of z in x 23.794 * [taylor]: Taking taylor expansion of 1 in z 23.794 * [taylor]: Taking taylor expansion of 0 in x 23.794 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 23.794 * [taylor]: Taking taylor expansion of (/ 1 z) in z 23.794 * [taylor]: Taking taylor expansion of z in z 23.794 * [taylor]: Taking taylor expansion of 0 in x 23.795 * [taylor]: Taking taylor expansion of 0 in z 23.795 * [taylor]: Taking taylor expansion of 0 in z 23.795 * [taylor]: Taking taylor expansion of 0 in x 23.795 * [taylor]: Taking taylor expansion of 0 in z 23.795 * [taylor]: Taking taylor expansion of 0 in z 23.795 * [taylor]: Taking taylor expansion of 0 in z 23.796 * * * [progress]: simplifying candidates 23.796 * [simplify]: Simplifying using # : (* (exp (* y x)) (exp (* y (neg z)))) (log (+ (* y x) (* y (neg z)))) (exp (+ (* y x) (* y (neg z)))) (* (cbrt (+ (* y x) (* y (neg z)))) (cbrt (+ (* y x) (* y (neg z))))) (cbrt (+ (* y x) (* y (neg z)))) (* (* (+ (* y x) (* y (neg z))) (+ (* y x) (* y (neg z)))) (+ (* y x) (* y (neg z)))) (sqrt (+ (* y x) (* y (neg z)))) (sqrt (+ (* y x) (* y (neg z)))) (+ (pow (* y x) 3) (pow (* y (neg z)) 3)) (+ (* (* y x) (* y x)) (- (* (* y (neg z)) (* y (neg z))) (* (* y x) (* y (neg z))))) (- (* (* y x) (* y x)) (* (* y (neg z)) (* y (neg z)))) (- (* y x) (* y (neg z))) (+ x (neg z)) (- (* x y) (* z y)) (- (* x y) (* z y)) (- (* x y) (* z y)) 23.797 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 23.798 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 23.800 * * [simplify]: iteration 2 : 40 enodes (cost 7 ) 23.806 * * [simplify]: iteration 3 : 87 enodes (cost 6 ) 23.823 * * [simplify]: iteration 4 : 237 enodes (cost 6 ) 23.975 * * [simplify]: iteration 5 : 980 enodes (cost 6 ) 26.311 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 26.312 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 26.314 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 26.316 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 26.319 * * [simplify]: iteration 3 : 27 enodes (cost 6 ) 26.322 * * [simplify]: iteration done : 27 enodes (cost 6 ) 26.323 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 26.324 * * [simplify]: iteration 1 : 18 enodes (cost 7 ) 26.326 * * [simplify]: iteration 2 : 37 enodes (cost 6 ) 26.332 * * [simplify]: iteration 3 : 68 enodes (cost 6 ) 26.343 * * [simplify]: iteration 4 : 155 enodes (cost 6 ) 26.411 * * [simplify]: iteration 5 : 589 enodes (cost 6 ) 27.200 * * [simplify]: iteration 6 : 2547 enodes (cost 6 ) 28.557 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 28.558 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 28.559 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 28.561 * * [simplify]: iteration 2 : 23 enodes (cost 13 ) 28.568 * * [simplify]: iteration 3 : 24 enodes (cost 13 ) 28.571 * * [simplify]: iteration done : 24 enodes (cost 13 ) 28.571 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 28.572 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 28.574 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 28.577 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 28.580 * * [simplify]: iteration done : 23 enodes (cost 6 ) 28.581 * * [simplify]: iteration 0 : 9 enodes (cost 26 ) 28.582 * * [simplify]: iteration 1 : 29 enodes (cost 20 ) 28.589 * * [simplify]: iteration 2 : 121 enodes (cost 7 ) 28.642 * * [simplify]: iteration 3 : 571 enodes (cost 7 ) 29.219 * * [simplify]: iteration 4 : 2168 enodes (cost 7 ) 31.771 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 31.772 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 31.773 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 31.775 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 31.778 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 31.781 * * [simplify]: iteration done : 23 enodes (cost 6 ) 31.782 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 31.783 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 31.785 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 31.787 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 31.790 * * [simplify]: iteration done : 23 enodes (cost 6 ) 31.791 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 31.792 * * [simplify]: iteration 1 : 33 enodes (cost 12 ) 31.799 * * [simplify]: iteration 2 : 115 enodes (cost 12 ) 31.839 * * [simplify]: iteration 3 : 394 enodes (cost 11 ) 32.138 * * [simplify]: iteration 4 : 1037 enodes (cost 11 ) 33.666 * * [simplify]: iteration 5 : 2869 enodes (cost 11 ) 35.343 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 35.343 * * [simplify]: iteration 0 : 11 enodes (cost 26 ) 35.346 * * [simplify]: iteration 1 : 39 enodes (cost 21 ) 35.359 * * [simplify]: iteration 2 : 139 enodes (cost 19 ) 35.414 * * [simplify]: iteration 3 : 375 enodes (cost 17 ) 35.659 * * [simplify]: iteration 4 : 782 enodes (cost 15 ) 36.300 * * [simplify]: iteration 5 : 1310 enodes (cost 13 ) 36.958 * * [simplify]: iteration 6 : 1603 enodes (cost 13 ) 37.600 * * [simplify]: iteration 7 : 1685 enodes (cost 13 ) 38.178 * * [simplify]: iteration done : 1685 enodes (cost 13 ) 38.178 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 38.180 * * [simplify]: iteration 1 : 31 enodes (cost 17 ) 38.186 * * [simplify]: iteration 2 : 101 enodes (cost 11 ) 38.226 * * [simplify]: iteration 3 : 242 enodes (cost 11 ) 38.313 * * [simplify]: iteration 4 : 421 enodes (cost 11 ) 38.450 * * [simplify]: iteration 5 : 724 enodes (cost 11 ) 38.841 * * [simplify]: iteration 6 : 1314 enodes (cost 11 ) 40.329 * * [simplify]: iteration 7 : 2877 enodes (cost 11 ) 42.624 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 42.625 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 42.626 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 42.628 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 42.633 * * [simplify]: iteration 3 : 41 enodes (cost 5 ) 42.638 * * [simplify]: iteration 4 : 46 enodes (cost 5 ) 42.641 * * [simplify]: iteration done : 46 enodes (cost 5 ) 42.642 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 42.642 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 42.643 * * [simplify]: iteration done : 6 enodes (cost 3 ) 42.643 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 42.644 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 42.646 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 42.648 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 42.651 * * [simplify]: iteration done : 22 enodes (cost 5 ) 42.652 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 42.653 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 42.654 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 42.657 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 42.660 * * [simplify]: iteration done : 22 enodes (cost 5 ) 42.661 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 42.662 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 42.663 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 42.666 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 42.672 * * [simplify]: iteration done : 22 enodes (cost 5 ) 42.672 * [simplify]: Simplified to: (pow (exp y) (- x z)) (log (* (- x z) y)) (pow (exp y) (- x z)) (* (cbrt (* y (- x z))) (cbrt (* y (- x z)))) (cbrt (* (- x z) y)) (pow (* y (- x z)) 3) (sqrt (* (- x z) y)) (sqrt (* (- x z) y)) (- (pow (* y x) 3) (pow (* y z) 3)) (* (* y y) (+ (* z z) (* x (+ z x)))) (* (* y y) (- (* x x) (* z z))) (* (+ z x) y) (- x z) (* y (- x z)) (* y (- x z)) (* y (- x z)) 42.672 * * * [progress]: adding candidates to table 42.689 * [progress]: [Phase 3 of 3] Extracting. 42.689 * * [regime]: Finding splitpoints for: (# #) 42.689 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 42.690 * * * * [regimes]: Trying to branch on z from (# #) 42.732 * * * * [regimes]: Trying to branch on y from (# #) 42.777 * * * * [regimes]: Trying to branch on x from (# #) 42.819 * * * [regime]: Found split indices: #