163.670 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.038 * * * [progress]: [2/2] Setting up program. 0.041 * [progress]: [Phase 2 of 3] Improving. 0.041 * [simplify]: Simplifying using # : (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) 0.042 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 0.044 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 0.047 * * [simplify]: iteration 2 : 63 enodes (cost 11 ) 0.067 * * [simplify]: iteration 3 : 155 enodes (cost 9 ) 0.123 * * [simplify]: iteration 4 : 300 enodes (cost 7 ) 0.277 * * [simplify]: iteration 5 : 551 enodes (cost 5 ) 0.856 * * [simplify]: iteration 6 : 1417 enodes (cost 5 ) 7.050 * * [simplify]: iteration 7 : 4750 enodes (cost 5 ) 8.204 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 8.204 * [simplify]: Simplified to: (* y (- x z)) 8.209 * * [progress]: iteration 1 / 4 8.209 * * * [progress]: picking best candidate 8.212 * * * * [pick]: Picked # 8.212 * * * [progress]: localizing error 8.216 * * * [progress]: generating rewritten candidates 8.216 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 8.223 * * * [progress]: generating series expansions 8.223 * * * * [progress]: [ 1 / 1 ] generating series at (2) 8.223 * [approximate]: Taking taylor expansion of (* (- x z) y) in (y x z) around 0 8.224 * [taylor]: Taking taylor expansion of (* (- x z) y) in z 8.224 * [taylor]: Taking taylor expansion of (- x z) in z 8.224 * [taylor]: Taking taylor expansion of x in z 8.224 * [taylor]: Taking taylor expansion of z in z 8.224 * [taylor]: Taking taylor expansion of y in z 8.224 * [taylor]: Taking taylor expansion of (* (- x z) y) in x 8.224 * [taylor]: Taking taylor expansion of (- x z) in x 8.224 * [taylor]: Taking taylor expansion of x in x 8.224 * [taylor]: Taking taylor expansion of z in x 8.224 * [taylor]: Taking taylor expansion of y in x 8.224 * [taylor]: Taking taylor expansion of (* (- x z) y) in y 8.224 * [taylor]: Taking taylor expansion of (- x z) in y 8.224 * [taylor]: Taking taylor expansion of x in y 8.224 * [taylor]: Taking taylor expansion of z in y 8.224 * [taylor]: Taking taylor expansion of y in y 8.224 * [taylor]: Taking taylor expansion of (* (- x z) y) in y 8.224 * [taylor]: Taking taylor expansion of (- x z) in y 8.224 * [taylor]: Taking taylor expansion of x in y 8.224 * [taylor]: Taking taylor expansion of z in y 8.224 * [taylor]: Taking taylor expansion of y in y 8.224 * [taylor]: Taking taylor expansion of 0 in x 8.224 * [taylor]: Taking taylor expansion of 0 in z 8.224 * [taylor]: Taking taylor expansion of (- x z) in x 8.224 * [taylor]: Taking taylor expansion of x in x 8.224 * [taylor]: Taking taylor expansion of z in x 8.224 * [taylor]: Taking taylor expansion of (neg z) in z 8.224 * [taylor]: Taking taylor expansion of z in z 8.224 * [taylor]: Taking taylor expansion of 0 in z 8.224 * [taylor]: Taking taylor expansion of 0 in x 8.224 * [taylor]: Taking taylor expansion of 0 in z 8.224 * [taylor]: Taking taylor expansion of 1 in z 8.224 * [taylor]: Taking taylor expansion of 0 in z 8.225 * [taylor]: Taking taylor expansion of 0 in x 8.225 * [taylor]: Taking taylor expansion of 0 in z 8.225 * [taylor]: Taking taylor expansion of 0 in z 8.225 * [taylor]: Taking taylor expansion of 0 in z 8.225 * [taylor]: Taking taylor expansion of 0 in z 8.225 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (y x z) around 0 8.225 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 8.225 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 8.225 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.225 * [taylor]: Taking taylor expansion of x in z 8.225 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.225 * [taylor]: Taking taylor expansion of z in z 8.225 * [taylor]: Taking taylor expansion of y in z 8.225 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 8.225 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 8.225 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.225 * [taylor]: Taking taylor expansion of x in x 8.225 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.225 * [taylor]: Taking taylor expansion of z in x 8.225 * [taylor]: Taking taylor expansion of y in x 8.225 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 8.225 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 8.225 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.225 * [taylor]: Taking taylor expansion of x in y 8.226 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.226 * [taylor]: Taking taylor expansion of z in y 8.226 * [taylor]: Taking taylor expansion of y in y 8.226 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 8.226 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 8.226 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.226 * [taylor]: Taking taylor expansion of x in y 8.226 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.226 * [taylor]: Taking taylor expansion of z in y 8.226 * [taylor]: Taking taylor expansion of y in y 8.226 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 8.226 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.226 * [taylor]: Taking taylor expansion of x in x 8.226 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.226 * [taylor]: Taking taylor expansion of z in x 8.226 * [taylor]: Taking taylor expansion of 1 in z 8.226 * [taylor]: Taking taylor expansion of 0 in x 8.227 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 8.227 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.227 * [taylor]: Taking taylor expansion of z in z 8.227 * [taylor]: Taking taylor expansion of 0 in x 8.227 * [taylor]: Taking taylor expansion of 0 in z 8.227 * [taylor]: Taking taylor expansion of 0 in z 8.227 * [taylor]: Taking taylor expansion of 0 in x 8.227 * [taylor]: Taking taylor expansion of 0 in z 8.227 * [taylor]: Taking taylor expansion of 0 in z 8.228 * [taylor]: Taking taylor expansion of 0 in z 8.228 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (y x z) around 0 8.228 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z 8.228 * [taylor]: Taking taylor expansion of -1 in z 8.228 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 8.228 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 8.228 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.228 * [taylor]: Taking taylor expansion of z in z 8.228 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.228 * [taylor]: Taking taylor expansion of x in z 8.228 * [taylor]: Taking taylor expansion of y in z 8.228 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 8.228 * [taylor]: Taking taylor expansion of -1 in x 8.228 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 8.228 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.228 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.228 * [taylor]: Taking taylor expansion of z in x 8.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.228 * [taylor]: Taking taylor expansion of x in x 8.228 * [taylor]: Taking taylor expansion of y in x 8.228 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 8.228 * [taylor]: Taking taylor expansion of -1 in y 8.229 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 8.229 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 8.229 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.229 * [taylor]: Taking taylor expansion of z in y 8.229 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.229 * [taylor]: Taking taylor expansion of x in y 8.229 * [taylor]: Taking taylor expansion of y in y 8.229 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 8.229 * [taylor]: Taking taylor expansion of -1 in y 8.229 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 8.229 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 8.229 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.229 * [taylor]: Taking taylor expansion of z in y 8.229 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.229 * [taylor]: Taking taylor expansion of x in y 8.229 * [taylor]: Taking taylor expansion of y in y 8.229 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 x))) in x 8.229 * [taylor]: Taking taylor expansion of -1 in x 8.229 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.229 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.229 * [taylor]: Taking taylor expansion of z in x 8.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.229 * [taylor]: Taking taylor expansion of x in x 8.229 * [taylor]: Taking taylor expansion of 1 in z 8.230 * [taylor]: Taking taylor expansion of 0 in x 8.230 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 8.230 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.230 * [taylor]: Taking taylor expansion of z in z 8.230 * [taylor]: Taking taylor expansion of 0 in x 8.230 * [taylor]: Taking taylor expansion of 0 in z 8.230 * [taylor]: Taking taylor expansion of 0 in z 8.231 * [taylor]: Taking taylor expansion of 0 in x 8.236 * [taylor]: Taking taylor expansion of 0 in z 8.237 * [taylor]: Taking taylor expansion of 0 in z 8.237 * [taylor]: Taking taylor expansion of 0 in z 8.237 * * * [progress]: simplifying candidates 8.238 * [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.238 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 8.239 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 8.240 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 8.242 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 8.244 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 8.247 * * [simplify]: iteration done : 24 enodes (cost 5 ) 8.248 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 8.248 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 8.249 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 8.250 * * [simplify]: iteration done : 11 enodes (cost 7 ) 8.251 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 8.252 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 8.253 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 8.256 * * [simplify]: iteration 3 : 25 enodes (cost 6 ) 8.259 * * [simplify]: iteration 4 : 29 enodes (cost 6 ) 8.262 * * [simplify]: iteration done : 29 enodes (cost 6 ) 8.263 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 8.263 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 8.265 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 8.268 * * [simplify]: iteration 3 : 49 enodes (cost 6 ) 8.274 * * [simplify]: iteration 4 : 90 enodes (cost 6 ) 8.288 * * [simplify]: iteration 5 : 192 enodes (cost 6 ) 8.358 * * [simplify]: iteration 6 : 441 enodes (cost 6 ) 8.668 * * [simplify]: iteration 7 : 1402 enodes (cost 6 ) 10.323 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 10.324 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 10.325 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 10.329 * * [simplify]: iteration 2 : 62 enodes (cost 9 ) 10.347 * * [simplify]: iteration 3 : 243 enodes (cost 9 ) 10.462 * * [simplify]: iteration 4 : 855 enodes (cost 7 ) 11.282 * * [simplify]: iteration 5 : 2965 enodes (cost 7 ) 12.896 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 12.896 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 12.897 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 12.898 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 12.900 * * [simplify]: iteration 3 : 22 enodes (cost 13 ) 12.903 * * [simplify]: iteration 4 : 26 enodes (cost 13 ) 12.906 * * [simplify]: iteration done : 26 enodes (cost 13 ) 12.906 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 12.907 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 12.908 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 12.910 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 12.913 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 12.919 * * [simplify]: iteration done : 25 enodes (cost 6 ) 12.920 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 12.921 * * [simplify]: iteration 1 : 20 enodes (cost 17 ) 12.925 * * [simplify]: iteration 2 : 74 enodes (cost 7 ) 12.948 * * [simplify]: iteration 3 : 266 enodes (cost 7 ) 13.095 * * [simplify]: iteration 4 : 818 enodes (cost 7 ) 13.900 * * [simplify]: iteration 5 : 2511 enodes (cost 7 ) 15.769 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 15.769 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 15.770 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 15.771 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 15.773 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 15.775 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 15.778 * * [simplify]: iteration done : 25 enodes (cost 6 ) 15.779 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 15.780 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 15.781 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 15.783 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 15.785 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 15.788 * * [simplify]: iteration done : 25 enodes (cost 6 ) 15.788 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 15.789 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 15.790 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 15.791 * * [simplify]: iteration done : 11 enodes (cost 7 ) 15.792 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 15.792 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 15.793 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 15.794 * * [simplify]: iteration done : 11 enodes (cost 7 ) 15.795 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 15.795 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 15.796 * * [simplify]: iteration done : 4 enodes (cost 3 ) 15.796 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 15.797 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 15.797 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 15.798 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 15.800 * * [simplify]: iteration done : 11 enodes (cost 4 ) 15.800 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 15.800 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 15.801 * * [simplify]: iteration done : 4 enodes (cost 3 ) 15.801 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 15.802 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 15.803 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 15.804 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 15.805 * * [simplify]: iteration done : 11 enodes (cost 4 ) 15.806 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 15.806 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 15.807 * * [simplify]: iteration done : 4 enodes (cost 3 ) 15.807 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 15.808 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 15.808 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 15.810 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 15.811 * * [simplify]: iteration done : 11 enodes (cost 4 ) 15.811 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 15.812 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 15.812 * * [simplify]: iteration done : 4 enodes (cost 3 ) 15.813 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 15.813 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 15.814 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 15.815 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 15.816 * * [simplify]: iteration done : 11 enodes (cost 4 ) 15.817 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 15.818 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 15.819 * * [simplify]: iteration 2 : 15 enodes (cost 11 ) 15.821 * * [simplify]: iteration done : 15 enodes (cost 11 ) 15.821 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 15.822 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 15.823 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 15.824 * * [simplify]: iteration done : 10 enodes (cost 6 ) 15.824 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 15.825 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 15.825 * * [simplify]: iteration done : 6 enodes (cost 1 ) 15.826 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 15.826 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 15.828 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 15.832 * * [simplify]: iteration done : 16 enodes (cost 7 ) 15.833 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 15.833 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 15.834 * * [simplify]: iteration done : 6 enodes (cost 1 ) 15.834 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 15.835 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 15.836 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 15.838 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 15.840 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 15.843 * * [simplify]: iteration done : 25 enodes (cost 6 ) 15.844 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 15.844 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 15.845 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 15.847 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 15.850 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 15.853 * * [simplify]: iteration done : 25 enodes (cost 6 ) 15.853 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 15.854 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 15.855 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 15.857 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 15.859 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 15.862 * * [simplify]: iteration done : 24 enodes (cost 5 ) 15.863 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 15.864 * * [simplify]: iteration 1 : 24 enodes (cost 9 ) 15.867 * * [simplify]: iteration 2 : 52 enodes (cost 9 ) 15.876 * * [simplify]: iteration 3 : 131 enodes (cost 9 ) 15.907 * * [simplify]: iteration 4 : 309 enodes (cost 9 ) 16.036 * * [simplify]: iteration 5 : 988 enodes (cost 9 ) 17.085 * * [simplify]: iteration 6 : 4466 enodes (cost 9 ) 19.220 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 19.221 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 19.222 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 19.223 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 19.228 * * [simplify]: iteration 3 : 76 enodes (cost 9 ) 19.243 * * [simplify]: iteration 4 : 159 enodes (cost 9 ) 19.283 * * [simplify]: iteration 5 : 245 enodes (cost 9 ) 19.358 * * [simplify]: iteration 6 : 400 enodes (cost 9 ) 19.539 * * [simplify]: iteration 7 : 771 enodes (cost 9 ) 21.195 * * [simplify]: iteration 8 : 3375 enodes (cost 9 ) 23.357 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 23.358 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 23.359 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 23.360 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 23.363 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 23.366 * * [simplify]: iteration done : 22 enodes (cost 5 ) 23.367 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 23.367 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 23.369 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 23.372 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 23.375 * * [simplify]: iteration done : 22 enodes (cost 5 ) 23.375 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 23.376 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 23.378 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 23.380 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 23.383 * * [simplify]: iteration done : 22 enodes (cost 5 ) 23.383 * [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.383 * * * [progress]: adding candidates to table 23.412 * * [progress]: iteration 2 / 4 23.412 * * * [progress]: picking best candidate 23.415 * * * * [pick]: Picked # 23.415 * * * [progress]: localizing error 23.421 * * * [progress]: generating rewritten candidates 23.421 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 23.426 * * * [progress]: generating series expansions 23.426 * * * * [progress]: [ 1 / 1 ] generating series at (2) 23.426 * [approximate]: Taking taylor expansion of (- (* x y) (* z y)) in (y x z) around 0 23.426 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in z 23.426 * [taylor]: Taking taylor expansion of (* x y) in z 23.426 * [taylor]: Taking taylor expansion of x in z 23.426 * [taylor]: Taking taylor expansion of y in z 23.426 * [taylor]: Taking taylor expansion of (* z y) in z 23.426 * [taylor]: Taking taylor expansion of z in z 23.426 * [taylor]: Taking taylor expansion of y in z 23.426 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x 23.426 * [taylor]: Taking taylor expansion of (* x y) in x 23.426 * [taylor]: Taking taylor expansion of x in x 23.426 * [taylor]: Taking taylor expansion of y in x 23.426 * [taylor]: Taking taylor expansion of (* z y) in x 23.426 * [taylor]: Taking taylor expansion of z in x 23.426 * [taylor]: Taking taylor expansion of y in x 23.426 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y 23.426 * [taylor]: Taking taylor expansion of (* x y) in y 23.426 * [taylor]: Taking taylor expansion of x in y 23.426 * [taylor]: Taking taylor expansion of y in y 23.426 * [taylor]: Taking taylor expansion of (* z y) in y 23.426 * [taylor]: Taking taylor expansion of z in y 23.426 * [taylor]: Taking taylor expansion of y in y 23.426 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y 23.426 * [taylor]: Taking taylor expansion of (* x y) in y 23.426 * [taylor]: Taking taylor expansion of x in y 23.426 * [taylor]: Taking taylor expansion of y in y 23.426 * [taylor]: Taking taylor expansion of (* z y) in y 23.426 * [taylor]: Taking taylor expansion of z in y 23.426 * [taylor]: Taking taylor expansion of y in y 23.427 * [taylor]: Taking taylor expansion of 0 in x 23.427 * [taylor]: Taking taylor expansion of 0 in z 23.427 * [taylor]: Taking taylor expansion of (- x z) in x 23.427 * [taylor]: Taking taylor expansion of x in x 23.427 * [taylor]: Taking taylor expansion of z in x 23.427 * [taylor]: Taking taylor expansion of (neg z) in z 23.427 * [taylor]: Taking taylor expansion of z in z 23.427 * [taylor]: Taking taylor expansion of 0 in z 23.427 * [taylor]: Taking taylor expansion of 0 in x 23.427 * [taylor]: Taking taylor expansion of 0 in z 23.427 * [taylor]: Taking taylor expansion of 1 in z 23.427 * [taylor]: Taking taylor expansion of 0 in z 23.427 * [taylor]: Taking taylor expansion of 0 in x 23.427 * [taylor]: Taking taylor expansion of 0 in z 23.427 * [taylor]: Taking taylor expansion of 0 in z 23.427 * [taylor]: Taking taylor expansion of 0 in z 23.427 * [taylor]: Taking taylor expansion of 0 in z 23.428 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (y x z) around 0 23.428 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z 23.428 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 23.428 * [taylor]: Taking taylor expansion of (* x y) in z 23.428 * [taylor]: Taking taylor expansion of x in z 23.428 * [taylor]: Taking taylor expansion of y in z 23.428 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 23.428 * [taylor]: Taking taylor expansion of (* z y) in z 23.428 * [taylor]: Taking taylor expansion of z in z 23.428 * [taylor]: Taking taylor expansion of y in z 23.428 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 23.428 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 23.428 * [taylor]: Taking taylor expansion of (* x y) in x 23.428 * [taylor]: Taking taylor expansion of x in x 23.428 * [taylor]: Taking taylor expansion of y in x 23.428 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 23.428 * [taylor]: Taking taylor expansion of (* z y) in x 23.428 * [taylor]: Taking taylor expansion of z in x 23.428 * [taylor]: Taking taylor expansion of y in x 23.428 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 23.428 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 23.428 * [taylor]: Taking taylor expansion of (* x y) in y 23.428 * [taylor]: Taking taylor expansion of x in y 23.428 * [taylor]: Taking taylor expansion of y in y 23.428 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 23.428 * [taylor]: Taking taylor expansion of (* z y) in y 23.428 * [taylor]: Taking taylor expansion of z in y 23.429 * [taylor]: Taking taylor expansion of y in y 23.429 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 23.429 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 23.429 * [taylor]: Taking taylor expansion of (* x y) in y 23.429 * [taylor]: Taking taylor expansion of x in y 23.429 * [taylor]: Taking taylor expansion of y in y 23.429 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 23.429 * [taylor]: Taking taylor expansion of (* z y) in y 23.429 * [taylor]: Taking taylor expansion of z in y 23.429 * [taylor]: Taking taylor expansion of y in y 23.429 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 23.429 * [taylor]: Taking taylor expansion of (/ 1 x) in x 23.429 * [taylor]: Taking taylor expansion of x in x 23.429 * [taylor]: Taking taylor expansion of (/ 1 z) in x 23.429 * [taylor]: Taking taylor expansion of z in x 23.429 * [taylor]: Taking taylor expansion of 1 in z 23.429 * [taylor]: Taking taylor expansion of 0 in x 23.429 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 23.429 * [taylor]: Taking taylor expansion of (/ 1 z) in z 23.429 * [taylor]: Taking taylor expansion of z in z 23.430 * [taylor]: Taking taylor expansion of 0 in x 23.430 * [taylor]: Taking taylor expansion of 0 in z 23.430 * [taylor]: Taking taylor expansion of 0 in z 23.430 * [taylor]: Taking taylor expansion of 0 in x 23.430 * [taylor]: Taking taylor expansion of 0 in z 23.430 * [taylor]: Taking taylor expansion of 0 in z 23.431 * [taylor]: Taking taylor expansion of 0 in z 23.431 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (y x z) around 0 23.431 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z 23.431 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 23.431 * [taylor]: Taking taylor expansion of (* x y) in z 23.431 * [taylor]: Taking taylor expansion of x in z 23.431 * [taylor]: Taking taylor expansion of y in z 23.431 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 23.431 * [taylor]: Taking taylor expansion of (* z y) in z 23.431 * [taylor]: Taking taylor expansion of z in z 23.431 * [taylor]: Taking taylor expansion of y in z 23.431 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 23.431 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 23.431 * [taylor]: Taking taylor expansion of (* x y) in x 23.431 * [taylor]: Taking taylor expansion of x in x 23.431 * [taylor]: Taking taylor expansion of y in x 23.431 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 23.431 * [taylor]: Taking taylor expansion of (* z y) in x 23.431 * [taylor]: Taking taylor expansion of z in x 23.431 * [taylor]: Taking taylor expansion of y in x 23.432 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 23.432 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 23.432 * [taylor]: Taking taylor expansion of (* x y) in y 23.432 * [taylor]: Taking taylor expansion of x in y 23.432 * [taylor]: Taking taylor expansion of y in y 23.432 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 23.432 * [taylor]: Taking taylor expansion of (* z y) in y 23.432 * [taylor]: Taking taylor expansion of z in y 23.432 * [taylor]: Taking taylor expansion of y in y 23.432 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 23.432 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 23.432 * [taylor]: Taking taylor expansion of (* x y) in y 23.432 * [taylor]: Taking taylor expansion of x in y 23.432 * [taylor]: Taking taylor expansion of y in y 23.432 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 23.432 * [taylor]: Taking taylor expansion of (* z y) in y 23.432 * [taylor]: Taking taylor expansion of z in y 23.432 * [taylor]: Taking taylor expansion of y in y 23.432 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 23.432 * [taylor]: Taking taylor expansion of (/ 1 x) in x 23.432 * [taylor]: Taking taylor expansion of x in x 23.432 * [taylor]: Taking taylor expansion of (/ 1 z) in x 23.432 * [taylor]: Taking taylor expansion of z in x 23.432 * [taylor]: Taking taylor expansion of 1 in z 23.433 * [taylor]: Taking taylor expansion of 0 in x 23.433 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 23.433 * [taylor]: Taking taylor expansion of (/ 1 z) in z 23.433 * [taylor]: Taking taylor expansion of z in z 23.433 * [taylor]: Taking taylor expansion of 0 in x 23.433 * [taylor]: Taking taylor expansion of 0 in z 23.433 * [taylor]: Taking taylor expansion of 0 in z 23.434 * [taylor]: Taking taylor expansion of 0 in x 23.434 * [taylor]: Taking taylor expansion of 0 in z 23.434 * [taylor]: Taking taylor expansion of 0 in z 23.434 * [taylor]: Taking taylor expansion of 0 in z 23.434 * * * [progress]: simplifying candidates 23.434 * [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.435 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 23.436 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 23.439 * * [simplify]: iteration 2 : 40 enodes (cost 7 ) 23.444 * * [simplify]: iteration 3 : 87 enodes (cost 6 ) 23.461 * * [simplify]: iteration 4 : 237 enodes (cost 6 ) 23.617 * * [simplify]: iteration 5 : 980 enodes (cost 6 ) 26.147 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 26.147 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 26.148 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 26.150 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 26.153 * * [simplify]: iteration 3 : 27 enodes (cost 6 ) 26.157 * * [simplify]: iteration done : 27 enodes (cost 6 ) 26.157 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 26.158 * * [simplify]: iteration 1 : 18 enodes (cost 7 ) 26.161 * * [simplify]: iteration 2 : 37 enodes (cost 6 ) 26.166 * * [simplify]: iteration 3 : 68 enodes (cost 6 ) 26.179 * * [simplify]: iteration 4 : 155 enodes (cost 6 ) 26.245 * * [simplify]: iteration 5 : 589 enodes (cost 6 ) 27.029 * * [simplify]: iteration 6 : 2547 enodes (cost 6 ) 28.380 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 28.381 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 28.382 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 28.384 * * [simplify]: iteration 2 : 23 enodes (cost 13 ) 28.387 * * [simplify]: iteration 3 : 24 enodes (cost 13 ) 28.390 * * [simplify]: iteration done : 24 enodes (cost 13 ) 28.391 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 28.392 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 28.393 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 28.396 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 28.399 * * [simplify]: iteration done : 23 enodes (cost 6 ) 28.399 * * [simplify]: iteration 0 : 9 enodes (cost 26 ) 28.401 * * [simplify]: iteration 1 : 29 enodes (cost 20 ) 28.411 * * [simplify]: iteration 2 : 121 enodes (cost 7 ) 28.464 * * [simplify]: iteration 3 : 571 enodes (cost 7 ) 29.044 * * [simplify]: iteration 4 : 2168 enodes (cost 7 ) 31.392 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 31.393 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 31.394 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 31.395 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 31.398 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 31.401 * * [simplify]: iteration done : 23 enodes (cost 6 ) 31.402 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 31.403 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 31.405 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 31.408 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 31.411 * * [simplify]: iteration done : 23 enodes (cost 6 ) 31.412 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 31.413 * * [simplify]: iteration 1 : 33 enodes (cost 12 ) 31.419 * * [simplify]: iteration 2 : 115 enodes (cost 12 ) 31.458 * * [simplify]: iteration 3 : 394 enodes (cost 11 ) 31.752 * * [simplify]: iteration 4 : 1037 enodes (cost 11 ) 33.291 * * [simplify]: iteration 5 : 2869 enodes (cost 11 ) 34.970 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 34.970 * * [simplify]: iteration 0 : 11 enodes (cost 26 ) 34.972 * * [simplify]: iteration 1 : 39 enodes (cost 21 ) 34.980 * * [simplify]: iteration 2 : 139 enodes (cost 19 ) 35.034 * * [simplify]: iteration 3 : 375 enodes (cost 17 ) 35.279 * * [simplify]: iteration 4 : 782 enodes (cost 15 ) 35.922 * * [simplify]: iteration 5 : 1310 enodes (cost 13 ) 36.577 * * [simplify]: iteration 6 : 1603 enodes (cost 13 ) 37.203 * * [simplify]: iteration 7 : 1685 enodes (cost 13 ) 37.772 * * [simplify]: iteration done : 1685 enodes (cost 13 ) 37.772 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 37.774 * * [simplify]: iteration 1 : 31 enodes (cost 17 ) 37.780 * * [simplify]: iteration 2 : 101 enodes (cost 11 ) 37.819 * * [simplify]: iteration 3 : 242 enodes (cost 11 ) 37.906 * * [simplify]: iteration 4 : 421 enodes (cost 11 ) 38.041 * * [simplify]: iteration 5 : 724 enodes (cost 11 ) 38.435 * * [simplify]: iteration 6 : 1314 enodes (cost 11 ) 39.930 * * [simplify]: iteration 7 : 2877 enodes (cost 11 ) 42.218 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 42.219 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 42.220 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 42.222 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 42.226 * * [simplify]: iteration 3 : 41 enodes (cost 5 ) 42.232 * * [simplify]: iteration 4 : 46 enodes (cost 5 ) 42.235 * * [simplify]: iteration done : 46 enodes (cost 5 ) 42.236 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 42.236 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 42.237 * * [simplify]: iteration done : 6 enodes (cost 3 ) 42.237 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 42.238 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 42.240 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 42.242 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 42.245 * * [simplify]: iteration done : 22 enodes (cost 5 ) 42.246 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 42.247 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 42.248 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 42.251 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 42.254 * * [simplify]: iteration done : 22 enodes (cost 5 ) 42.254 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 42.258 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 42.260 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 42.263 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 42.266 * * [simplify]: iteration done : 22 enodes (cost 5 ) 42.266 * [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.266 * * * [progress]: adding candidates to table 42.283 * [progress]: [Phase 3 of 3] Extracting. 42.283 * * [regime]: Finding splitpoints for: (# #) 42.283 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 42.283 * * * * [regimes]: Trying to branch on z from (# #) 42.323 * * * * [regimes]: Trying to branch on y from (# #) 42.365 * * * * [regimes]: Trying to branch on x from (# #) 42.405 * * * [regime]: Found split indices: #