1.661 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.027 * * * [progress]: [2/2] Setting up program. 0.031 * [progress]: [Phase 2 of 3] Improving. 0.053 * [simplify]: Simplifying using # : (+ x (* y (- z x))) 0.056 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.059 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.060 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 0.063 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 0.067 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 0.072 * * [simplify]: iteration 5 : 41 enodes (cost 7 ) 0.078 * * [simplify]: iteration 6 : 50 enodes (cost 7 ) 0.086 * * [simplify]: iteration 7 : 68 enodes (cost 7 ) 0.100 * * [simplify]: iteration 8 : 98 enodes (cost 7 ) 0.118 * * [simplify]: iteration 9 : 125 enodes (cost 7 ) 0.139 * * [simplify]: iteration 10 : 154 enodes (cost 7 ) 0.157 * * [simplify]: iteration 11 : 168 enodes (cost 7 ) 0.181 * * [simplify]: iteration 12 : 186 enodes (cost 7 ) 0.205 * * [simplify]: iteration 13 : 199 enodes (cost 7 ) 0.234 * * [simplify]: iteration 14 : 215 enodes (cost 7 ) 0.271 * * [simplify]: iteration 15 : 250 enodes (cost 7 ) 0.317 * * [simplify]: iteration 16 : 315 enodes (cost 7 ) 0.389 * * [simplify]: iteration 17 : 415 enodes (cost 7 ) 0.474 * * [simplify]: iteration 18 : 509 enodes (cost 7 ) 0.572 * * [simplify]: iteration 19 : 613 enodes (cost 7 ) 0.685 * * [simplify]: iteration 20 : 682 enodes (cost 7 ) 0.783 * * [simplify]: iteration 21 : 686 enodes (cost 7 ) 0.885 * * [simplify]: iteration done : 686 enodes (cost 7 ) 0.885 * [simplify]: Simplified to: (+ x (* y (- z x))) 0.887 * * [progress]: iteration 1 / 4 0.887 * * * [progress]: picking best candidate 0.890 * * * * [pick]: Picked # 0.890 * * * [progress]: localizing error 0.897 * * * [progress]: generating rewritten candidates 0.897 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.907 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.913 * * * [progress]: generating series expansions 0.914 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.919 * [approximate]: Taking taylor expansion of (* (- z x) y) in (y z x) around 0 0.920 * [taylor]: Taking taylor expansion of (* (- z x) y) in x 0.920 * [taylor]: Taking taylor expansion of (- z x) in x 0.920 * [taylor]: Taking taylor expansion of z in x 0.920 * [taylor]: Taking taylor expansion of x in x 0.921 * [taylor]: Taking taylor expansion of y in x 0.921 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 0.921 * [taylor]: Taking taylor expansion of (- z x) in z 0.921 * [taylor]: Taking taylor expansion of z in z 0.921 * [taylor]: Taking taylor expansion of x in z 0.921 * [taylor]: Taking taylor expansion of y in z 0.921 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 0.921 * [taylor]: Taking taylor expansion of (- z x) in y 0.921 * [taylor]: Taking taylor expansion of z in y 0.921 * [taylor]: Taking taylor expansion of x in y 0.921 * [taylor]: Taking taylor expansion of y in y 0.921 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 0.921 * [taylor]: Taking taylor expansion of (- z x) in y 0.921 * [taylor]: Taking taylor expansion of z in y 0.921 * [taylor]: Taking taylor expansion of x in y 0.921 * [taylor]: Taking taylor expansion of y in y 0.922 * [taylor]: Taking taylor expansion of 0 in z 0.922 * [taylor]: Taking taylor expansion of 0 in x 0.922 * [taylor]: Taking taylor expansion of (- z x) in z 0.922 * [taylor]: Taking taylor expansion of z in z 0.922 * [taylor]: Taking taylor expansion of x in z 0.922 * [taylor]: Taking taylor expansion of (neg x) in x 0.922 * [taylor]: Taking taylor expansion of x in x 0.922 * [taylor]: Taking taylor expansion of 0 in x 0.922 * [taylor]: Taking taylor expansion of 0 in z 0.922 * [taylor]: Taking taylor expansion of 0 in x 0.922 * [taylor]: Taking taylor expansion of 1 in x 0.923 * [taylor]: Taking taylor expansion of 0 in x 0.923 * [taylor]: Taking taylor expansion of 0 in z 0.923 * [taylor]: Taking taylor expansion of 0 in x 0.923 * [taylor]: Taking taylor expansion of 0 in x 0.923 * [taylor]: Taking taylor expansion of 0 in x 0.923 * [taylor]: Taking taylor expansion of 0 in x 0.924 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in (y z x) around 0 0.924 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 0.924 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 0.924 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.924 * [taylor]: Taking taylor expansion of z in x 0.924 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.924 * [taylor]: Taking taylor expansion of x in x 0.924 * [taylor]: Taking taylor expansion of y in x 0.924 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 0.924 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 0.924 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.924 * [taylor]: Taking taylor expansion of z in z 0.924 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.924 * [taylor]: Taking taylor expansion of x in z 0.924 * [taylor]: Taking taylor expansion of y in z 0.924 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 0.924 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 0.924 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.924 * [taylor]: Taking taylor expansion of z in y 0.925 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.925 * [taylor]: Taking taylor expansion of x in y 0.925 * [taylor]: Taking taylor expansion of y in y 0.925 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 0.925 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 0.925 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.925 * [taylor]: Taking taylor expansion of z in y 0.925 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.925 * [taylor]: Taking taylor expansion of x in y 0.925 * [taylor]: Taking taylor expansion of y in y 0.925 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 0.925 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.925 * [taylor]: Taking taylor expansion of z in z 0.925 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.925 * [taylor]: Taking taylor expansion of x in z 0.925 * [taylor]: Taking taylor expansion of 1 in x 0.926 * [taylor]: Taking taylor expansion of 0 in z 0.926 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 0.926 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.926 * [taylor]: Taking taylor expansion of x in x 0.926 * [taylor]: Taking taylor expansion of 0 in z 0.926 * [taylor]: Taking taylor expansion of 0 in x 0.926 * [taylor]: Taking taylor expansion of 0 in x 0.927 * [taylor]: Taking taylor expansion of 0 in z 0.927 * [taylor]: Taking taylor expansion of 0 in x 0.927 * [taylor]: Taking taylor expansion of 0 in x 0.927 * [taylor]: Taking taylor expansion of 0 in x 0.928 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in (y z x) around 0 0.928 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in x 0.928 * [taylor]: Taking taylor expansion of -1 in x 0.928 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 0.928 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 0.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.928 * [taylor]: Taking taylor expansion of x in x 0.928 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.928 * [taylor]: Taking taylor expansion of z in x 0.928 * [taylor]: Taking taylor expansion of y in x 0.928 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in z 0.928 * [taylor]: Taking taylor expansion of -1 in z 0.928 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 0.928 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 0.928 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.928 * [taylor]: Taking taylor expansion of x in z 0.928 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.928 * [taylor]: Taking taylor expansion of z in z 0.928 * [taylor]: Taking taylor expansion of y in z 0.928 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in y 0.928 * [taylor]: Taking taylor expansion of -1 in y 0.928 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 0.928 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 0.928 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.928 * [taylor]: Taking taylor expansion of x in y 0.928 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.928 * [taylor]: Taking taylor expansion of z in y 0.928 * [taylor]: Taking taylor expansion of y in y 0.928 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in y 0.928 * [taylor]: Taking taylor expansion of -1 in y 0.929 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 0.929 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 0.929 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.929 * [taylor]: Taking taylor expansion of x in y 0.929 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.929 * [taylor]: Taking taylor expansion of z in y 0.929 * [taylor]: Taking taylor expansion of y in y 0.929 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 z))) in z 0.929 * [taylor]: Taking taylor expansion of -1 in z 0.929 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 0.929 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.929 * [taylor]: Taking taylor expansion of x in z 0.929 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.929 * [taylor]: Taking taylor expansion of z in z 0.929 * [taylor]: Taking taylor expansion of 1 in x 0.929 * [taylor]: Taking taylor expansion of 0 in z 0.929 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 0.929 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.930 * [taylor]: Taking taylor expansion of x in x 0.930 * [taylor]: Taking taylor expansion of 0 in z 0.930 * [taylor]: Taking taylor expansion of 0 in x 0.930 * [taylor]: Taking taylor expansion of 0 in x 0.931 * [taylor]: Taking taylor expansion of 0 in z 0.931 * [taylor]: Taking taylor expansion of 0 in x 0.931 * [taylor]: Taking taylor expansion of 0 in x 0.931 * [taylor]: Taking taylor expansion of 0 in x 0.931 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.932 * [approximate]: Taking taylor expansion of (- (+ x (* z y)) (* x y)) in (x y z) around 0 0.932 * [taylor]: Taking taylor expansion of (- (+ x (* z y)) (* x y)) in z 0.932 * [taylor]: Taking taylor expansion of (+ x (* z y)) in z 0.932 * [taylor]: Taking taylor expansion of x in z 0.932 * [taylor]: Taking taylor expansion of (* z y) in z 0.932 * [taylor]: Taking taylor expansion of z in z 0.932 * [taylor]: Taking taylor expansion of y in z 0.932 * [taylor]: Taking taylor expansion of (* x y) in z 0.932 * [taylor]: Taking taylor expansion of x in z 0.932 * [taylor]: Taking taylor expansion of y in z 0.932 * [taylor]: Taking taylor expansion of (- (+ x (* z y)) (* x y)) in y 0.932 * [taylor]: Taking taylor expansion of (+ x (* z y)) in y 0.932 * [taylor]: Taking taylor expansion of x in y 0.932 * [taylor]: Taking taylor expansion of (* z y) in y 0.932 * [taylor]: Taking taylor expansion of z in y 0.932 * [taylor]: Taking taylor expansion of y in y 0.932 * [taylor]: Taking taylor expansion of (* x y) in y 0.932 * [taylor]: Taking taylor expansion of x in y 0.932 * [taylor]: Taking taylor expansion of y in y 0.932 * [taylor]: Taking taylor expansion of (- (+ x (* z y)) (* x y)) in x 0.932 * [taylor]: Taking taylor expansion of (+ x (* z y)) in x 0.932 * [taylor]: Taking taylor expansion of x in x 0.932 * [taylor]: Taking taylor expansion of (* z y) in x 0.932 * [taylor]: Taking taylor expansion of z in x 0.932 * [taylor]: Taking taylor expansion of y in x 0.932 * [taylor]: Taking taylor expansion of (* x y) in x 0.932 * [taylor]: Taking taylor expansion of x in x 0.932 * [taylor]: Taking taylor expansion of y in x 0.932 * [taylor]: Taking taylor expansion of (- (+ x (* z y)) (* x y)) in x 0.932 * [taylor]: Taking taylor expansion of (+ x (* z y)) in x 0.932 * [taylor]: Taking taylor expansion of x in x 0.932 * [taylor]: Taking taylor expansion of (* z y) in x 0.932 * [taylor]: Taking taylor expansion of z in x 0.932 * [taylor]: Taking taylor expansion of y in x 0.932 * [taylor]: Taking taylor expansion of (* x y) in x 0.932 * [taylor]: Taking taylor expansion of x in x 0.932 * [taylor]: Taking taylor expansion of y in x 0.933 * [taylor]: Taking taylor expansion of (* z y) in y 0.933 * [taylor]: Taking taylor expansion of z in y 0.933 * [taylor]: Taking taylor expansion of y in y 0.933 * [taylor]: Taking taylor expansion of 0 in z 0.933 * [taylor]: Taking taylor expansion of (- 1 y) in y 0.933 * [taylor]: Taking taylor expansion of 1 in y 0.933 * [taylor]: Taking taylor expansion of y in y 0.933 * [taylor]: Taking taylor expansion of 1 in z 0.933 * [taylor]: Taking taylor expansion of z in z 0.933 * [taylor]: Taking taylor expansion of 0 in y 0.933 * [taylor]: Taking taylor expansion of 0 in z 0.933 * [taylor]: Taking taylor expansion of (neg 1) in z 0.933 * [taylor]: Taking taylor expansion of 1 in z 0.933 * [taylor]: Taking taylor expansion of 0 in z 0.934 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in (x y z) around 0 0.934 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in z 0.934 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z 0.934 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.934 * [taylor]: Taking taylor expansion of (* z y) in z 0.934 * [taylor]: Taking taylor expansion of z in z 0.934 * [taylor]: Taking taylor expansion of y in z 0.934 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.934 * [taylor]: Taking taylor expansion of x in z 0.934 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.934 * [taylor]: Taking taylor expansion of (* x y) in z 0.934 * [taylor]: Taking taylor expansion of x in z 0.934 * [taylor]: Taking taylor expansion of y in z 0.934 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in y 0.934 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y 0.934 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.934 * [taylor]: Taking taylor expansion of (* z y) in y 0.934 * [taylor]: Taking taylor expansion of z in y 0.934 * [taylor]: Taking taylor expansion of y in y 0.934 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.934 * [taylor]: Taking taylor expansion of x in y 0.934 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.934 * [taylor]: Taking taylor expansion of (* x y) in y 0.934 * [taylor]: Taking taylor expansion of x in y 0.934 * [taylor]: Taking taylor expansion of y in y 0.934 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in x 0.934 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x 0.934 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.934 * [taylor]: Taking taylor expansion of (* z y) in x 0.934 * [taylor]: Taking taylor expansion of z in x 0.935 * [taylor]: Taking taylor expansion of y in x 0.935 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.935 * [taylor]: Taking taylor expansion of x in x 0.935 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.935 * [taylor]: Taking taylor expansion of (* x y) in x 0.935 * [taylor]: Taking taylor expansion of x in x 0.935 * [taylor]: Taking taylor expansion of y in x 0.935 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in x 0.935 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x 0.935 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.935 * [taylor]: Taking taylor expansion of (* z y) in x 0.935 * [taylor]: Taking taylor expansion of z in x 0.935 * [taylor]: Taking taylor expansion of y in x 0.935 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.935 * [taylor]: Taking taylor expansion of x in x 0.935 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.935 * [taylor]: Taking taylor expansion of (* x y) in x 0.935 * [taylor]: Taking taylor expansion of x in x 0.935 * [taylor]: Taking taylor expansion of y in x 0.935 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 0.935 * [taylor]: Taking taylor expansion of 1 in y 0.935 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.935 * [taylor]: Taking taylor expansion of y in y 0.935 * [taylor]: Taking taylor expansion of (neg 1) in z 0.935 * [taylor]: Taking taylor expansion of 1 in z 0.936 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.936 * [taylor]: Taking taylor expansion of (* z y) in y 0.936 * [taylor]: Taking taylor expansion of z in y 0.936 * [taylor]: Taking taylor expansion of y in y 0.936 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.936 * [taylor]: Taking taylor expansion of z in z 0.936 * [taylor]: Taking taylor expansion of 1 in z 0.936 * [taylor]: Taking taylor expansion of 0 in y 0.936 * [taylor]: Taking taylor expansion of 0 in z 0.936 * [taylor]: Taking taylor expansion of 0 in z 0.937 * [approximate]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in (x y z) around 0 0.937 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in z 0.937 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.937 * [taylor]: Taking taylor expansion of (* z y) in z 0.937 * [taylor]: Taking taylor expansion of z in z 0.937 * [taylor]: Taking taylor expansion of y in z 0.937 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in z 0.937 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.937 * [taylor]: Taking taylor expansion of x in z 0.937 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.937 * [taylor]: Taking taylor expansion of (* x y) in z 0.937 * [taylor]: Taking taylor expansion of x in z 0.937 * [taylor]: Taking taylor expansion of y in z 0.937 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in y 0.937 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.937 * [taylor]: Taking taylor expansion of (* z y) in y 0.937 * [taylor]: Taking taylor expansion of z in y 0.937 * [taylor]: Taking taylor expansion of y in y 0.937 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y 0.937 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.937 * [taylor]: Taking taylor expansion of x in y 0.937 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.937 * [taylor]: Taking taylor expansion of (* x y) in y 0.937 * [taylor]: Taking taylor expansion of x in y 0.937 * [taylor]: Taking taylor expansion of y in y 0.937 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in x 0.937 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.937 * [taylor]: Taking taylor expansion of (* z y) in x 0.938 * [taylor]: Taking taylor expansion of z in x 0.938 * [taylor]: Taking taylor expansion of y in x 0.938 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 0.938 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.938 * [taylor]: Taking taylor expansion of x in x 0.938 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.938 * [taylor]: Taking taylor expansion of (* x y) in x 0.938 * [taylor]: Taking taylor expansion of x in x 0.938 * [taylor]: Taking taylor expansion of y in x 0.938 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in x 0.938 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.938 * [taylor]: Taking taylor expansion of (* z y) in x 0.938 * [taylor]: Taking taylor expansion of z in x 0.938 * [taylor]: Taking taylor expansion of y in x 0.938 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 0.938 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.938 * [taylor]: Taking taylor expansion of x in x 0.938 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.938 * [taylor]: Taking taylor expansion of (* x y) in x 0.938 * [taylor]: Taking taylor expansion of x in x 0.938 * [taylor]: Taking taylor expansion of y in x 0.938 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 y) 1)) in y 0.938 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 0.938 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.938 * [taylor]: Taking taylor expansion of y in y 0.938 * [taylor]: Taking taylor expansion of 1 in y 0.938 * [taylor]: Taking taylor expansion of (neg 1) in z 0.938 * [taylor]: Taking taylor expansion of 1 in z 0.939 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.939 * [taylor]: Taking taylor expansion of (* z y) in y 0.939 * [taylor]: Taking taylor expansion of z in y 0.939 * [taylor]: Taking taylor expansion of y in y 0.939 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.939 * [taylor]: Taking taylor expansion of z in z 0.939 * [taylor]: Taking taylor expansion of (neg 1) in z 0.939 * [taylor]: Taking taylor expansion of 1 in z 0.939 * [taylor]: Taking taylor expansion of 0 in y 0.939 * [taylor]: Taking taylor expansion of 0 in z 0.939 * [taylor]: Taking taylor expansion of 0 in z 0.940 * * * [progress]: simplifying candidates 0.940 * [simplify]: Simplifying using # : (* y (- z x)) (+ (log y) (log (- z x))) (log (* y (- z x))) (exp (* y (- z x))) (* (* (* y y) y) (* (* (- z x) (- z x)) (- z x))) (* (cbrt (* y (- z x))) (cbrt (* y (- z x)))) (cbrt (* y (- z x))) (* (* (* y (- z x)) (* y (- z x))) (* y (- z x))) (sqrt (* y (- z x))) (sqrt (* y (- z x))) (* (sqrt y) (sqrt (- z x))) (* (sqrt y) (sqrt (- z x))) (* y z) (* y (neg x)) (* y z) (* y (neg x)) (* z y) (* (neg x) y) (* z y) (* (neg x) y) (* y (* (cbrt (- z x)) (cbrt (- z x)))) (* y (sqrt (- z x))) (* y 1) (* y (+ (sqrt z) (sqrt x))) (* y 1) (* (cbrt y) (- z x)) (* (sqrt y) (- z x)) (* y (- z x)) (* y (- (pow z 3) (pow x 3))) (* y (- (* z z) (* x x))) (* (exp x) (exp (* y (- z x)))) (log (+ x (* y (- z x)))) (exp (+ x (* y (- z x)))) (* (cbrt (+ x (* y (- z x)))) (cbrt (+ x (* y (- z x))))) (cbrt (+ x (* y (- z x)))) (* (* (+ x (* y (- z x))) (+ x (* y (- z x)))) (+ x (* y (- z x)))) (sqrt (+ x (* y (- z x)))) (sqrt (+ x (* y (- z x)))) (+ (pow x 3) (pow (* y (- z x)) 3)) (+ (* x x) (- (* (* y (- z x)) (* y (- z x))) (* x (* y (- z x))))) (- (* x x) (* (* y (- z x)) (* y (- z x)))) (- x (* y (- z x))) (+ x (* y z)) (+ x (* y z)) (+ x (* z y)) (+ x (* z y)) (- (* z y) (* x y)) (- (* z y) (* x y)) (- (* z y) (* x y)) (- (+ x (* z y)) (* x y)) (- (+ x (* z y)) (* x y)) (- (+ x (* z y)) (* x y)) 0.941 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.942 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 0.943 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 0.950 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 0.952 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 0.955 * * [simplify]: iteration done : 24 enodes (cost 5 ) 0.956 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 0.957 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.957 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 0.958 * * [simplify]: iteration done : 11 enodes (cost 7 ) 0.959 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.960 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 0.961 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 0.963 * * [simplify]: iteration 3 : 25 enodes (cost 6 ) 0.966 * * [simplify]: iteration 4 : 29 enodes (cost 6 ) 0.970 * * [simplify]: iteration done : 29 enodes (cost 6 ) 0.970 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.971 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 0.972 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 0.975 * * [simplify]: iteration 3 : 49 enodes (cost 6 ) 0.982 * * [simplify]: iteration 4 : 90 enodes (cost 6 ) 0.996 * * [simplify]: iteration 5 : 192 enodes (cost 6 ) 1.065 * * [simplify]: iteration 6 : 441 enodes (cost 6 ) 1.369 * * [simplify]: iteration 7 : 1402 enodes (cost 6 ) 2.991 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 2.991 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 2.993 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 2.996 * * [simplify]: iteration 2 : 62 enodes (cost 9 ) 3.013 * * [simplify]: iteration 3 : 243 enodes (cost 9 ) 3.125 * * [simplify]: iteration 4 : 855 enodes (cost 7 ) 4.052 * * [simplify]: iteration 5 : 2965 enodes (cost 7 ) 5.652 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 5.653 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 5.654 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 5.655 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 5.657 * * [simplify]: iteration 3 : 22 enodes (cost 13 ) 5.659 * * [simplify]: iteration 4 : 26 enodes (cost 13 ) 5.662 * * [simplify]: iteration done : 26 enodes (cost 13 ) 5.663 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 5.664 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 5.665 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 5.667 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 5.669 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 5.675 * * [simplify]: iteration done : 25 enodes (cost 6 ) 5.676 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 5.677 * * [simplify]: iteration 1 : 20 enodes (cost 17 ) 5.681 * * [simplify]: iteration 2 : 74 enodes (cost 7 ) 5.704 * * [simplify]: iteration 3 : 266 enodes (cost 7 ) 5.852 * * [simplify]: iteration 4 : 818 enodes (cost 7 ) 6.651 * * [simplify]: iteration 5 : 2511 enodes (cost 7 ) 8.529 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 8.530 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 8.530 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 8.531 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 8.533 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 8.536 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 8.539 * * [simplify]: iteration done : 25 enodes (cost 6 ) 8.539 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 8.540 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 8.541 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 8.543 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 8.545 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 8.548 * * [simplify]: iteration done : 25 enodes (cost 6 ) 8.549 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 8.549 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 8.550 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 8.551 * * [simplify]: iteration done : 11 enodes (cost 7 ) 8.552 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 8.553 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 8.554 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 8.555 * * [simplify]: iteration done : 11 enodes (cost 7 ) 8.556 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.556 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 8.556 * * [simplify]: iteration done : 4 enodes (cost 3 ) 8.557 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 8.558 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 8.558 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 8.559 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 8.561 * * [simplify]: iteration done : 11 enodes (cost 4 ) 8.561 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.562 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 8.562 * * [simplify]: iteration done : 4 enodes (cost 3 ) 8.563 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 8.563 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 8.564 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 8.565 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 8.566 * * [simplify]: iteration done : 11 enodes (cost 4 ) 8.567 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.567 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 8.568 * * [simplify]: iteration done : 4 enodes (cost 3 ) 8.568 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 8.569 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 8.569 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 8.570 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 8.572 * * [simplify]: iteration done : 11 enodes (cost 4 ) 8.572 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.572 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 8.573 * * [simplify]: iteration done : 4 enodes (cost 3 ) 8.573 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 8.574 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 8.575 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 8.576 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 8.577 * * [simplify]: iteration done : 11 enodes (cost 4 ) 8.577 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 8.578 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 8.579 * * [simplify]: iteration 2 : 15 enodes (cost 11 ) 8.581 * * [simplify]: iteration done : 15 enodes (cost 11 ) 8.582 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 8.582 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 8.583 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 8.584 * * [simplify]: iteration done : 10 enodes (cost 6 ) 8.585 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.585 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 8.585 * * [simplify]: iteration done : 6 enodes (cost 1 ) 8.586 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 8.587 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 8.588 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 8.590 * * [simplify]: iteration done : 16 enodes (cost 7 ) 8.591 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.591 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 8.591 * * [simplify]: iteration done : 6 enodes (cost 1 ) 8.592 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 8.595 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 8.596 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 8.598 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 8.600 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 8.603 * * [simplify]: iteration done : 25 enodes (cost 6 ) 8.604 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 8.604 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 8.606 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 8.608 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 8.610 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 8.613 * * [simplify]: iteration done : 25 enodes (cost 6 ) 8.614 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 8.615 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 8.615 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 8.617 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 8.620 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 8.622 * * [simplify]: iteration done : 24 enodes (cost 5 ) 8.623 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 8.624 * * [simplify]: iteration 1 : 24 enodes (cost 9 ) 8.628 * * [simplify]: iteration 2 : 52 enodes (cost 9 ) 8.636 * * [simplify]: iteration 3 : 131 enodes (cost 9 ) 8.668 * * [simplify]: iteration 4 : 309 enodes (cost 9 ) 8.797 * * [simplify]: iteration 5 : 988 enodes (cost 9 ) 9.840 * * [simplify]: iteration 6 : 4466 enodes (cost 9 ) 11.960 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 11.960 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 11.962 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 11.963 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 11.968 * * [simplify]: iteration 3 : 76 enodes (cost 9 ) 11.983 * * [simplify]: iteration 4 : 159 enodes (cost 9 ) 12.023 * * [simplify]: iteration 5 : 245 enodes (cost 9 ) 12.098 * * [simplify]: iteration 6 : 400 enodes (cost 9 ) 12.280 * * [simplify]: iteration 7 : 771 enodes (cost 9 ) 13.921 * * [simplify]: iteration 8 : 3375 enodes (cost 9 ) 16.058 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 16.059 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 16.060 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 16.062 * * [simplify]: iteration 2 : 30 enodes (cost 8 ) 16.066 * * [simplify]: iteration 3 : 62 enodes (cost 8 ) 16.075 * * [simplify]: iteration 4 : 130 enodes (cost 8 ) 16.103 * * [simplify]: iteration 5 : 285 enodes (cost 8 ) 16.220 * * [simplify]: iteration 6 : 698 enodes (cost 8 ) 16.918 * * [simplify]: iteration 7 : 2495 enodes (cost 8 ) 18.072 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 18.072 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 18.073 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 18.074 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 18.077 * * [simplify]: iteration 3 : 27 enodes (cost 8 ) 18.080 * * [simplify]: iteration 4 : 36 enodes (cost 8 ) 18.089 * * [simplify]: iteration 5 : 42 enodes (cost 8 ) 18.095 * * [simplify]: iteration 6 : 51 enodes (cost 8 ) 18.103 * * [simplify]: iteration 7 : 69 enodes (cost 8 ) 18.117 * * [simplify]: iteration 8 : 99 enodes (cost 8 ) 18.133 * * [simplify]: iteration 9 : 126 enodes (cost 8 ) 18.158 * * [simplify]: iteration 10 : 155 enodes (cost 8 ) 18.176 * * [simplify]: iteration 11 : 169 enodes (cost 8 ) 18.203 * * [simplify]: iteration 12 : 187 enodes (cost 8 ) 18.229 * * [simplify]: iteration 13 : 200 enodes (cost 8 ) 18.259 * * [simplify]: iteration 14 : 216 enodes (cost 8 ) 18.296 * * [simplify]: iteration 15 : 251 enodes (cost 8 ) 18.346 * * [simplify]: iteration 16 : 316 enodes (cost 8 ) 18.421 * * [simplify]: iteration 17 : 414 enodes (cost 8 ) 18.508 * * [simplify]: iteration 18 : 506 enodes (cost 8 ) 18.611 * * [simplify]: iteration 19 : 610 enodes (cost 8 ) 18.724 * * [simplify]: iteration 20 : 681 enodes (cost 8 ) 18.823 * * [simplify]: iteration 21 : 691 enodes (cost 8 ) 18.926 * * [simplify]: iteration 22 : 699 enodes (cost 8 ) 19.030 * * [simplify]: iteration 23 : 716 enodes (cost 8 ) 19.139 * * [simplify]: iteration 24 : 738 enodes (cost 8 ) 19.469 * * [simplify]: iteration 25 : 820 enodes (cost 8 ) 20.070 * * [simplify]: iteration 26 : 1127 enodes (cost 8 ) 32.195 * * [simplify]: iteration 27 : 2077 enodes (cost 8 ) 393.893 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 393.894 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 393.895 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 393.897 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 393.901 * * [simplify]: iteration 3 : 50 enodes (cost 8 ) 393.908 * * [simplify]: iteration 4 : 97 enodes (cost 8 ) 393.928 * * [simplify]: iteration 5 : 197 enodes (cost 8 ) 393.980 * * [simplify]: iteration 6 : 473 enodes (cost 8 ) 394.368 * * [simplify]: iteration 7 : 1705 enodes (cost 8 ) 395.219 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 395.219 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 395.220 * * [simplify]: iteration 1 : 12 enodes (cost 17 ) 395.222 * * [simplify]: iteration 2 : 19 enodes (cost 17 ) 395.224 * * [simplify]: iteration 3 : 28 enodes (cost 17 ) 395.228 * * [simplify]: iteration 4 : 37 enodes (cost 17 ) 395.233 * * [simplify]: iteration 5 : 43 enodes (cost 17 ) 395.243 * * [simplify]: iteration 6 : 52 enodes (cost 17 ) 395.251 * * [simplify]: iteration 7 : 70 enodes (cost 17 ) 395.265 * * [simplify]: iteration 8 : 100 enodes (cost 17 ) 395.279 * * [simplify]: iteration 9 : 127 enodes (cost 17 ) 395.304 * * [simplify]: iteration 10 : 156 enodes (cost 17 ) 395.322 * * [simplify]: iteration 11 : 170 enodes (cost 17 ) 395.348 * * [simplify]: iteration 12 : 188 enodes (cost 17 ) 395.373 * * [simplify]: iteration 13 : 201 enodes (cost 17 ) 395.403 * * [simplify]: iteration 14 : 217 enodes (cost 17 ) 395.440 * * [simplify]: iteration 15 : 252 enodes (cost 17 ) 395.488 * * [simplify]: iteration 16 : 317 enodes (cost 17 ) 395.565 * * [simplify]: iteration 17 : 423 enodes (cost 17 ) 395.650 * * [simplify]: iteration 18 : 515 enodes (cost 17 ) 395.755 * * [simplify]: iteration 19 : 621 enodes (cost 17 ) 395.872 * * [simplify]: iteration 20 : 690 enodes (cost 17 ) 395.973 * * [simplify]: iteration 21 : 694 enodes (cost 17 ) 396.076 * * [simplify]: iteration done : 694 enodes (cost 17 ) 396.076 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 396.077 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 396.078 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 396.081 * * [simplify]: iteration 3 : 27 enodes (cost 8 ) 396.085 * * [simplify]: iteration 4 : 36 enodes (cost 8 ) 396.090 * * [simplify]: iteration 5 : 42 enodes (cost 8 ) 396.096 * * [simplify]: iteration 6 : 51 enodes (cost 8 ) 396.103 * * [simplify]: iteration 7 : 69 enodes (cost 8 ) 396.120 * * [simplify]: iteration 8 : 99 enodes (cost 8 ) 396.135 * * [simplify]: iteration 9 : 126 enodes (cost 8 ) 396.156 * * [simplify]: iteration 10 : 155 enodes (cost 8 ) 396.178 * * [simplify]: iteration 11 : 169 enodes (cost 8 ) 396.201 * * [simplify]: iteration 12 : 187 enodes (cost 8 ) 396.229 * * [simplify]: iteration 13 : 200 enodes (cost 8 ) 396.256 * * [simplify]: iteration 14 : 216 enodes (cost 8 ) 396.298 * * [simplify]: iteration 15 : 251 enodes (cost 8 ) 396.348 * * [simplify]: iteration 16 : 316 enodes (cost 8 ) 396.422 * * [simplify]: iteration 17 : 414 enodes (cost 8 ) 396.513 * * [simplify]: iteration 18 : 506 enodes (cost 8 ) 396.616 * * [simplify]: iteration 19 : 610 enodes (cost 8 ) 396.733 * * [simplify]: iteration 20 : 679 enodes (cost 8 ) 396.835 * * [simplify]: iteration 21 : 683 enodes (cost 8 ) 396.936 * * [simplify]: iteration done : 683 enodes (cost 8 ) 396.936 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 396.938 * * [simplify]: iteration 1 : 25 enodes (cost 23 ) 396.945 * * [simplify]: iteration 2 : 80 enodes (cost 9 ) 396.968 * * [simplify]: iteration 3 : 310 enodes (cost 9 ) 397.136 * * [simplify]: iteration 4 : 1397 enodes (cost 9 ) 398.146 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 398.147 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 398.148 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 398.149 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 398.151 * * [simplify]: iteration 3 : 27 enodes (cost 8 ) 398.155 * * [simplify]: iteration 4 : 36 enodes (cost 8 ) 398.160 * * [simplify]: iteration 5 : 42 enodes (cost 8 ) 398.167 * * [simplify]: iteration 6 : 51 enodes (cost 8 ) 398.176 * * [simplify]: iteration 7 : 69 enodes (cost 8 ) 398.191 * * [simplify]: iteration 8 : 99 enodes (cost 8 ) 398.205 * * [simplify]: iteration 9 : 126 enodes (cost 8 ) 398.230 * * [simplify]: iteration 10 : 155 enodes (cost 8 ) 398.249 * * [simplify]: iteration 11 : 169 enodes (cost 8 ) 398.271 * * [simplify]: iteration 12 : 187 enodes (cost 8 ) 398.299 * * [simplify]: iteration 13 : 200 enodes (cost 8 ) 398.327 * * [simplify]: iteration 14 : 216 enodes (cost 8 ) 398.368 * * [simplify]: iteration 15 : 251 enodes (cost 8 ) 398.418 * * [simplify]: iteration 16 : 316 enodes (cost 8 ) 398.493 * * [simplify]: iteration 17 : 414 enodes (cost 8 ) 398.594 * * [simplify]: iteration 18 : 506 enodes (cost 8 ) 398.702 * * [simplify]: iteration 19 : 610 enodes (cost 8 ) 398.818 * * [simplify]: iteration 20 : 679 enodes (cost 8 ) 398.922 * * [simplify]: iteration 21 : 683 enodes (cost 8 ) 399.027 * * [simplify]: iteration done : 683 enodes (cost 8 ) 399.028 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 399.029 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 399.030 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 399.032 * * [simplify]: iteration 3 : 27 enodes (cost 8 ) 399.036 * * [simplify]: iteration 4 : 36 enodes (cost 8 ) 399.041 * * [simplify]: iteration 5 : 42 enodes (cost 8 ) 399.047 * * [simplify]: iteration 6 : 51 enodes (cost 8 ) 399.055 * * [simplify]: iteration 7 : 69 enodes (cost 8 ) 399.070 * * [simplify]: iteration 8 : 99 enodes (cost 8 ) 399.088 * * [simplify]: iteration 9 : 126 enodes (cost 8 ) 399.110 * * [simplify]: iteration 10 : 155 enodes (cost 8 ) 399.129 * * [simplify]: iteration 11 : 169 enodes (cost 8 ) 399.155 * * [simplify]: iteration 12 : 187 enodes (cost 8 ) 399.180 * * [simplify]: iteration 13 : 200 enodes (cost 8 ) 399.209 * * [simplify]: iteration 14 : 216 enodes (cost 8 ) 399.250 * * [simplify]: iteration 15 : 251 enodes (cost 8 ) 399.295 * * [simplify]: iteration 16 : 316 enodes (cost 8 ) 399.372 * * [simplify]: iteration 17 : 414 enodes (cost 8 ) 399.463 * * [simplify]: iteration 18 : 506 enodes (cost 8 ) 399.564 * * [simplify]: iteration 19 : 610 enodes (cost 8 ) 399.683 * * [simplify]: iteration 20 : 679 enodes (cost 8 ) 399.782 * * [simplify]: iteration 21 : 683 enodes (cost 8 ) 399.886 * * [simplify]: iteration done : 683 enodes (cost 8 ) 399.887 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 399.888 * * [simplify]: iteration 1 : 29 enodes (cost 11 ) 399.893 * * [simplify]: iteration 2 : 74 enodes (cost 11 ) 399.915 * * [simplify]: iteration 3 : 231 enodes (cost 11 ) 400.024 * * [simplify]: iteration 4 : 747 enodes (cost 11 ) 400.623 * * [simplify]: iteration 5 : 2275 enodes (cost 11 ) 402.246 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 402.247 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 402.248 * * [simplify]: iteration 1 : 30 enodes (cost 17 ) 402.260 * * [simplify]: iteration 2 : 96 enodes (cost 17 ) 402.285 * * [simplify]: iteration 3 : 280 enodes (cost 17 ) 402.421 * * [simplify]: iteration 4 : 770 enodes (cost 17 ) 403.077 * * [simplify]: iteration 5 : 2160 enodes (cost 17 ) 404.864 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 404.865 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 404.866 * * [simplify]: iteration 1 : 23 enodes (cost 15 ) 404.870 * * [simplify]: iteration 2 : 72 enodes (cost 15 ) 404.890 * * [simplify]: iteration 3 : 246 enodes (cost 15 ) 405.003 * * [simplify]: iteration 4 : 760 enodes (cost 15 ) 405.526 * * [simplify]: iteration 5 : 1855 enodes (cost 15 ) 407.078 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 407.079 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 407.079 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 407.081 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 407.084 * * [simplify]: iteration 3 : 47 enodes (cost 7 ) 407.093 * * [simplify]: iteration 4 : 78 enodes (cost 7 ) 407.109 * * [simplify]: iteration 5 : 88 enodes (cost 7 ) 407.125 * * [simplify]: iteration 6 : 105 enodes (cost 7 ) 407.139 * * [simplify]: iteration 7 : 123 enodes (cost 7 ) 407.161 * * [simplify]: iteration 8 : 163 enodes (cost 7 ) 407.199 * * [simplify]: iteration 9 : 224 enodes (cost 7 ) 407.246 * * [simplify]: iteration 10 : 261 enodes (cost 7 ) 407.295 * * [simplify]: iteration 11 : 328 enodes (cost 7 ) 407.370 * * [simplify]: iteration 12 : 427 enodes (cost 7 ) 407.461 * * [simplify]: iteration 13 : 520 enodes (cost 7 ) 407.567 * * [simplify]: iteration 14 : 628 enodes (cost 7 ) 407.686 * * [simplify]: iteration 15 : 701 enodes (cost 7 ) 407.791 * * [simplify]: iteration 16 : 705 enodes (cost 7 ) 407.898 * * [simplify]: iteration done : 705 enodes (cost 7 ) 407.899 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 407.900 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 407.900 * * [simplify]: iteration done : 7 enodes (cost 5 ) 407.901 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 407.902 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 407.902 * * [simplify]: iteration done : 7 enodes (cost 5 ) 407.903 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 407.903 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 407.904 * * [simplify]: iteration done : 7 enodes (cost 5 ) 407.905 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 407.905 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 407.906 * * [simplify]: iteration done : 7 enodes (cost 5 ) 407.907 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 407.908 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 407.910 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 407.912 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 407.915 * * [simplify]: iteration done : 22 enodes (cost 5 ) 407.916 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 407.916 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 407.918 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 407.920 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 407.923 * * [simplify]: iteration done : 22 enodes (cost 5 ) 407.924 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 407.925 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 407.926 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 407.929 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 407.932 * * [simplify]: iteration done : 22 enodes (cost 5 ) 407.932 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 407.934 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 407.936 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 407.940 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 407.946 * * [simplify]: iteration 4 : 50 enodes (cost 7 ) 407.958 * * [simplify]: iteration 5 : 68 enodes (cost 7 ) 407.971 * * [simplify]: iteration 6 : 98 enodes (cost 7 ) 407.986 * * [simplify]: iteration 7 : 125 enodes (cost 7 ) 408.012 * * [simplify]: iteration 8 : 154 enodes (cost 7 ) 408.030 * * [simplify]: iteration 9 : 168 enodes (cost 7 ) 408.053 * * [simplify]: iteration 10 : 186 enodes (cost 7 ) 408.082 * * [simplify]: iteration 11 : 199 enodes (cost 7 ) 408.111 * * [simplify]: iteration 12 : 215 enodes (cost 7 ) 408.151 * * [simplify]: iteration 13 : 250 enodes (cost 7 ) 408.201 * * [simplify]: iteration 14 : 315 enodes (cost 7 ) 408.274 * * [simplify]: iteration 15 : 413 enodes (cost 7 ) 408.365 * * [simplify]: iteration 16 : 507 enodes (cost 7 ) 408.470 * * [simplify]: iteration 17 : 613 enodes (cost 7 ) 408.587 * * [simplify]: iteration 18 : 682 enodes (cost 7 ) 408.689 * * [simplify]: iteration 19 : 686 enodes (cost 7 ) 408.792 * * [simplify]: iteration done : 686 enodes (cost 7 ) 408.793 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 408.794 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 408.796 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 408.800 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 408.806 * * [simplify]: iteration 4 : 50 enodes (cost 7 ) 408.813 * * [simplify]: iteration 5 : 68 enodes (cost 7 ) 408.827 * * [simplify]: iteration 6 : 98 enodes (cost 7 ) 408.846 * * [simplify]: iteration 7 : 125 enodes (cost 7 ) 408.868 * * [simplify]: iteration 8 : 154 enodes (cost 7 ) 408.887 * * [simplify]: iteration 9 : 168 enodes (cost 7 ) 408.914 * * [simplify]: iteration 10 : 186 enodes (cost 7 ) 408.939 * * [simplify]: iteration 11 : 199 enodes (cost 7 ) 408.970 * * [simplify]: iteration 12 : 215 enodes (cost 7 ) 409.012 * * [simplify]: iteration 13 : 250 enodes (cost 7 ) 409.058 * * [simplify]: iteration 14 : 315 enodes (cost 7 ) 409.136 * * [simplify]: iteration 15 : 413 enodes (cost 7 ) 409.229 * * [simplify]: iteration 16 : 507 enodes (cost 7 ) 409.329 * * [simplify]: iteration 17 : 613 enodes (cost 7 ) 409.452 * * [simplify]: iteration 18 : 682 enodes (cost 7 ) 409.552 * * [simplify]: iteration 19 : 686 enodes (cost 7 ) 409.657 * * [simplify]: iteration done : 686 enodes (cost 7 ) 409.658 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 409.659 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 409.661 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 409.665 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 409.675 * * [simplify]: iteration 4 : 50 enodes (cost 7 ) 409.683 * * [simplify]: iteration 5 : 68 enodes (cost 7 ) 409.697 * * [simplify]: iteration 6 : 98 enodes (cost 7 ) 409.712 * * [simplify]: iteration 7 : 125 enodes (cost 7 ) 409.738 * * [simplify]: iteration 8 : 154 enodes (cost 7 ) 409.757 * * [simplify]: iteration 9 : 168 enodes (cost 7 ) 409.779 * * [simplify]: iteration 10 : 186 enodes (cost 7 ) 409.808 * * [simplify]: iteration 11 : 199 enodes (cost 7 ) 409.836 * * [simplify]: iteration 12 : 215 enodes (cost 7 ) 409.878 * * [simplify]: iteration 13 : 250 enodes (cost 7 ) 409.929 * * [simplify]: iteration 14 : 315 enodes (cost 7 ) 410.004 * * [simplify]: iteration 15 : 413 enodes (cost 7 ) 410.095 * * [simplify]: iteration 16 : 507 enodes (cost 7 ) 410.199 * * [simplify]: iteration 17 : 613 enodes (cost 7 ) 410.316 * * [simplify]: iteration 18 : 682 enodes (cost 7 ) 410.419 * * [simplify]: iteration 19 : 686 enodes (cost 7 ) 410.524 * * [simplify]: iteration done : 686 enodes (cost 7 ) 410.525 * [simplify]: Simplified to: (* y (- z x)) (+ (log y) (log (- z x))) (log (* y (- z x))) (exp (* y (- z x))) (pow (* y (- z x)) 3) (* (cbrt (* y (- z x))) (cbrt (* y (- z x)))) (cbrt (* y (- z x))) (pow (* y (- z x)) 3) (sqrt (* y (- z x))) (sqrt (* y (- z x))) (* (sqrt y) (sqrt (- z x))) (* (sqrt y) (sqrt (- z x))) (* y z) (* y (neg x)) (* y z) (* y (neg x)) (* z y) (* (neg x) y) (* z y) (* (neg x) y) (* y (* (cbrt (- z x)) (cbrt (- z x)))) (* y (sqrt (- z x))) y (* y (+ (sqrt z) (sqrt x))) y (* (cbrt y) (- z x)) (* (sqrt y) (- z x)) (* y (- z x)) (* y (- (pow z 3) (pow x 3))) (* y (* (- z x) (+ z x))) (exp (+ x (* y (- z x)))) (log (+ x (* y (- z x)))) (exp (+ x (* y (- z x)))) (* (cbrt (+ x (* y (- z x)))) (cbrt (+ x (* y (- z x))))) (cbrt (+ x (* y (- z x)))) (pow (+ x (* y (- z x))) 3) (sqrt (+ x (* y (- z x)))) (sqrt (+ x (* y (- z x)))) (+ (pow x 3) (pow (* y (- z x)) 3)) (+ (* (* y (- z x)) (- (* y (- z x)) x)) (* x x)) (- (* x x) (* (* y (- z x)) (* y (- z x)))) (- x (* y (- z x))) (+ x (* y z)) (+ x (* y z)) (+ x (* z y)) (+ x (* z y)) (* y (- z x)) (* y (- z x)) (* y (- z x)) (+ x (* y (- z x))) (+ x (* y (- z x))) (+ x (* y (- z x))) 410.525 * * * [progress]: adding candidates to table 410.569 * * [progress]: iteration 2 / 4 410.569 * * * [progress]: picking best candidate 410.580 * * * * [pick]: Picked # 410.580 * * * [progress]: localizing error 410.588 * * * [progress]: generating rewritten candidates 410.588 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 410.592 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 410.599 * * * [progress]: generating series expansions 410.600 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 410.600 * [approximate]: Taking taylor expansion of (- (* z y) (* x y)) in (y z x) around 0 410.600 * [taylor]: Taking taylor expansion of (- (* z y) (* x y)) in x 410.600 * [taylor]: Taking taylor expansion of (* z y) in x 410.600 * [taylor]: Taking taylor expansion of z in x 410.600 * [taylor]: Taking taylor expansion of y in x 410.600 * [taylor]: Taking taylor expansion of (* x y) in x 410.600 * [taylor]: Taking taylor expansion of x in x 410.600 * [taylor]: Taking taylor expansion of y in x 410.600 * [taylor]: Taking taylor expansion of (- (* z y) (* x y)) in z 410.600 * [taylor]: Taking taylor expansion of (* z y) in z 410.600 * [taylor]: Taking taylor expansion of z in z 410.600 * [taylor]: Taking taylor expansion of y in z 410.600 * [taylor]: Taking taylor expansion of (* x y) in z 410.600 * [taylor]: Taking taylor expansion of x in z 410.600 * [taylor]: Taking taylor expansion of y in z 410.600 * [taylor]: Taking taylor expansion of (- (* z y) (* x y)) in y 410.600 * [taylor]: Taking taylor expansion of (* z y) in y 410.600 * [taylor]: Taking taylor expansion of z in y 410.601 * [taylor]: Taking taylor expansion of y in y 410.601 * [taylor]: Taking taylor expansion of (* x y) in y 410.601 * [taylor]: Taking taylor expansion of x in y 410.601 * [taylor]: Taking taylor expansion of y in y 410.601 * [taylor]: Taking taylor expansion of (- (* z y) (* x y)) in y 410.601 * [taylor]: Taking taylor expansion of (* z y) in y 410.601 * [taylor]: Taking taylor expansion of z in y 410.601 * [taylor]: Taking taylor expansion of y in y 410.601 * [taylor]: Taking taylor expansion of (* x y) in y 410.601 * [taylor]: Taking taylor expansion of x in y 410.601 * [taylor]: Taking taylor expansion of y in y 410.601 * [taylor]: Taking taylor expansion of 0 in z 410.601 * [taylor]: Taking taylor expansion of 0 in x 410.601 * [taylor]: Taking taylor expansion of (- z x) in z 410.601 * [taylor]: Taking taylor expansion of z in z 410.601 * [taylor]: Taking taylor expansion of x in z 410.601 * [taylor]: Taking taylor expansion of (neg x) in x 410.601 * [taylor]: Taking taylor expansion of x in x 410.601 * [taylor]: Taking taylor expansion of 0 in x 410.601 * [taylor]: Taking taylor expansion of 0 in z 410.601 * [taylor]: Taking taylor expansion of 0 in x 410.602 * [taylor]: Taking taylor expansion of 1 in x 410.602 * [taylor]: Taking taylor expansion of 0 in x 410.602 * [taylor]: Taking taylor expansion of 0 in z 410.602 * [taylor]: Taking taylor expansion of 0 in x 410.602 * [taylor]: Taking taylor expansion of 0 in x 410.602 * [taylor]: Taking taylor expansion of 0 in x 410.602 * [taylor]: Taking taylor expansion of 0 in x 410.602 * [approximate]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in (y z x) around 0 410.602 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in x 410.602 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 410.602 * [taylor]: Taking taylor expansion of (* z y) in x 410.602 * [taylor]: Taking taylor expansion of z in x 410.602 * [taylor]: Taking taylor expansion of y in x 410.602 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 410.602 * [taylor]: Taking taylor expansion of (* x y) in x 410.602 * [taylor]: Taking taylor expansion of x in x 410.602 * [taylor]: Taking taylor expansion of y in x 410.602 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in z 410.602 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 410.603 * [taylor]: Taking taylor expansion of (* z y) in z 410.603 * [taylor]: Taking taylor expansion of z in z 410.603 * [taylor]: Taking taylor expansion of y in z 410.603 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 410.603 * [taylor]: Taking taylor expansion of (* x y) in z 410.603 * [taylor]: Taking taylor expansion of x in z 410.603 * [taylor]: Taking taylor expansion of y in z 410.603 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in y 410.603 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 410.603 * [taylor]: Taking taylor expansion of (* z y) in y 410.603 * [taylor]: Taking taylor expansion of z in y 410.603 * [taylor]: Taking taylor expansion of y in y 410.603 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 410.603 * [taylor]: Taking taylor expansion of (* x y) in y 410.603 * [taylor]: Taking taylor expansion of x in y 410.603 * [taylor]: Taking taylor expansion of y in y 410.603 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in y 410.603 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 410.603 * [taylor]: Taking taylor expansion of (* z y) in y 410.603 * [taylor]: Taking taylor expansion of z in y 410.603 * [taylor]: Taking taylor expansion of y in y 410.603 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 410.603 * [taylor]: Taking taylor expansion of (* x y) in y 410.603 * [taylor]: Taking taylor expansion of x in y 410.603 * [taylor]: Taking taylor expansion of y in y 410.603 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 410.603 * [taylor]: Taking taylor expansion of (/ 1 z) in z 410.603 * [taylor]: Taking taylor expansion of z in z 410.603 * [taylor]: Taking taylor expansion of (/ 1 x) in z 410.604 * [taylor]: Taking taylor expansion of x in z 410.604 * [taylor]: Taking taylor expansion of 1 in x 410.604 * [taylor]: Taking taylor expansion of 0 in z 410.604 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 410.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x 410.604 * [taylor]: Taking taylor expansion of x in x 410.604 * [taylor]: Taking taylor expansion of 0 in z 410.604 * [taylor]: Taking taylor expansion of 0 in x 410.604 * [taylor]: Taking taylor expansion of 0 in x 410.605 * [taylor]: Taking taylor expansion of 0 in z 410.605 * [taylor]: Taking taylor expansion of 0 in x 410.605 * [taylor]: Taking taylor expansion of 0 in x 410.605 * [taylor]: Taking taylor expansion of 0 in x 410.606 * [approximate]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in (y z x) around 0 410.606 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in x 410.606 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 410.606 * [taylor]: Taking taylor expansion of (* z y) in x 410.606 * [taylor]: Taking taylor expansion of z in x 410.606 * [taylor]: Taking taylor expansion of y in x 410.606 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 410.606 * [taylor]: Taking taylor expansion of (* x y) in x 410.606 * [taylor]: Taking taylor expansion of x in x 410.606 * [taylor]: Taking taylor expansion of y in x 410.606 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in z 410.606 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 410.606 * [taylor]: Taking taylor expansion of (* z y) in z 410.606 * [taylor]: Taking taylor expansion of z in z 410.606 * [taylor]: Taking taylor expansion of y in z 410.606 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 410.606 * [taylor]: Taking taylor expansion of (* x y) in z 410.606 * [taylor]: Taking taylor expansion of x in z 410.606 * [taylor]: Taking taylor expansion of y in z 410.606 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in y 410.606 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 410.606 * [taylor]: Taking taylor expansion of (* z y) in y 410.606 * [taylor]: Taking taylor expansion of z in y 410.606 * [taylor]: Taking taylor expansion of y in y 410.606 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 410.606 * [taylor]: Taking taylor expansion of (* x y) in y 410.606 * [taylor]: Taking taylor expansion of x in y 410.606 * [taylor]: Taking taylor expansion of y in y 410.606 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in y 410.606 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 410.606 * [taylor]: Taking taylor expansion of (* z y) in y 410.606 * [taylor]: Taking taylor expansion of z in y 410.606 * [taylor]: Taking taylor expansion of y in y 410.607 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 410.607 * [taylor]: Taking taylor expansion of (* x y) in y 410.607 * [taylor]: Taking taylor expansion of x in y 410.607 * [taylor]: Taking taylor expansion of y in y 410.607 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 410.607 * [taylor]: Taking taylor expansion of (/ 1 z) in z 410.607 * [taylor]: Taking taylor expansion of z in z 410.607 * [taylor]: Taking taylor expansion of (/ 1 x) in z 410.607 * [taylor]: Taking taylor expansion of x in z 410.607 * [taylor]: Taking taylor expansion of 1 in x 410.607 * [taylor]: Taking taylor expansion of 0 in z 410.607 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 410.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x 410.607 * [taylor]: Taking taylor expansion of x in x 410.608 * [taylor]: Taking taylor expansion of 0 in z 410.608 * [taylor]: Taking taylor expansion of 0 in x 410.608 * [taylor]: Taking taylor expansion of 0 in x 410.608 * [taylor]: Taking taylor expansion of 0 in z 410.608 * [taylor]: Taking taylor expansion of 0 in x 410.608 * [taylor]: Taking taylor expansion of 0 in x 410.608 * [taylor]: Taking taylor expansion of 0 in x 410.609 * * * * [progress]: [ 2 / 2 ] generating series at (2) 410.609 * [approximate]: Taking taylor expansion of (- (+ x (* z y)) (* x y)) in (x y z) around 0 410.609 * [taylor]: Taking taylor expansion of (- (+ x (* z y)) (* x y)) in z 410.609 * [taylor]: Taking taylor expansion of (+ x (* z y)) in z 410.609 * [taylor]: Taking taylor expansion of x in z 410.609 * [taylor]: Taking taylor expansion of (* z y) in z 410.609 * [taylor]: Taking taylor expansion of z in z 410.609 * [taylor]: Taking taylor expansion of y in z 410.609 * [taylor]: Taking taylor expansion of (* x y) in z 410.609 * [taylor]: Taking taylor expansion of x in z 410.609 * [taylor]: Taking taylor expansion of y in z 410.609 * [taylor]: Taking taylor expansion of (- (+ x (* z y)) (* x y)) in y 410.609 * [taylor]: Taking taylor expansion of (+ x (* z y)) in y 410.609 * [taylor]: Taking taylor expansion of x in y 410.609 * [taylor]: Taking taylor expansion of (* z y) in y 410.609 * [taylor]: Taking taylor expansion of z in y 410.609 * [taylor]: Taking taylor expansion of y in y 410.609 * [taylor]: Taking taylor expansion of (* x y) in y 410.609 * [taylor]: Taking taylor expansion of x in y 410.609 * [taylor]: Taking taylor expansion of y in y 410.609 * [taylor]: Taking taylor expansion of (- (+ x (* z y)) (* x y)) in x 410.609 * [taylor]: Taking taylor expansion of (+ x (* z y)) in x 410.609 * [taylor]: Taking taylor expansion of x in x 410.609 * [taylor]: Taking taylor expansion of (* z y) in x 410.609 * [taylor]: Taking taylor expansion of z in x 410.609 * [taylor]: Taking taylor expansion of y in x 410.609 * [taylor]: Taking taylor expansion of (* x y) in x 410.609 * [taylor]: Taking taylor expansion of x in x 410.609 * [taylor]: Taking taylor expansion of y in x 410.609 * [taylor]: Taking taylor expansion of (- (+ x (* z y)) (* x y)) in x 410.609 * [taylor]: Taking taylor expansion of (+ x (* z y)) in x 410.609 * [taylor]: Taking taylor expansion of x in x 410.609 * [taylor]: Taking taylor expansion of (* z y) in x 410.609 * [taylor]: Taking taylor expansion of z in x 410.610 * [taylor]: Taking taylor expansion of y in x 410.610 * [taylor]: Taking taylor expansion of (* x y) in x 410.610 * [taylor]: Taking taylor expansion of x in x 410.610 * [taylor]: Taking taylor expansion of y in x 410.610 * [taylor]: Taking taylor expansion of (* z y) in y 410.610 * [taylor]: Taking taylor expansion of z in y 410.610 * [taylor]: Taking taylor expansion of y in y 410.610 * [taylor]: Taking taylor expansion of 0 in z 410.610 * [taylor]: Taking taylor expansion of (- 1 y) in y 410.610 * [taylor]: Taking taylor expansion of 1 in y 410.610 * [taylor]: Taking taylor expansion of y in y 410.610 * [taylor]: Taking taylor expansion of 1 in z 410.610 * [taylor]: Taking taylor expansion of z in z 410.610 * [taylor]: Taking taylor expansion of 0 in y 410.610 * [taylor]: Taking taylor expansion of 0 in z 410.610 * [taylor]: Taking taylor expansion of (neg 1) in z 410.610 * [taylor]: Taking taylor expansion of 1 in z 410.610 * [taylor]: Taking taylor expansion of 0 in z 410.611 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in (x y z) around 0 410.611 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in z 410.611 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z 410.611 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 410.611 * [taylor]: Taking taylor expansion of (* z y) in z 410.611 * [taylor]: Taking taylor expansion of z in z 410.611 * [taylor]: Taking taylor expansion of y in z 410.611 * [taylor]: Taking taylor expansion of (/ 1 x) in z 410.611 * [taylor]: Taking taylor expansion of x in z 410.611 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 410.611 * [taylor]: Taking taylor expansion of (* x y) in z 410.611 * [taylor]: Taking taylor expansion of x in z 410.611 * [taylor]: Taking taylor expansion of y in z 410.611 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in y 410.611 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y 410.611 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 410.611 * [taylor]: Taking taylor expansion of (* z y) in y 410.611 * [taylor]: Taking taylor expansion of z in y 410.611 * [taylor]: Taking taylor expansion of y in y 410.611 * [taylor]: Taking taylor expansion of (/ 1 x) in y 410.611 * [taylor]: Taking taylor expansion of x in y 410.611 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 410.611 * [taylor]: Taking taylor expansion of (* x y) in y 410.611 * [taylor]: Taking taylor expansion of x in y 410.611 * [taylor]: Taking taylor expansion of y in y 410.611 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in x 410.611 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x 410.611 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 410.611 * [taylor]: Taking taylor expansion of (* z y) in x 410.611 * [taylor]: Taking taylor expansion of z in x 410.611 * [taylor]: Taking taylor expansion of y in x 410.612 * [taylor]: Taking taylor expansion of (/ 1 x) in x 410.612 * [taylor]: Taking taylor expansion of x in x 410.612 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 410.612 * [taylor]: Taking taylor expansion of (* x y) in x 410.612 * [taylor]: Taking taylor expansion of x in x 410.612 * [taylor]: Taking taylor expansion of y in x 410.612 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in x 410.612 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x 410.612 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 410.612 * [taylor]: Taking taylor expansion of (* z y) in x 410.612 * [taylor]: Taking taylor expansion of z in x 410.612 * [taylor]: Taking taylor expansion of y in x 410.612 * [taylor]: Taking taylor expansion of (/ 1 x) in x 410.612 * [taylor]: Taking taylor expansion of x in x 410.612 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 410.612 * [taylor]: Taking taylor expansion of (* x y) in x 410.612 * [taylor]: Taking taylor expansion of x in x 410.612 * [taylor]: Taking taylor expansion of y in x 410.612 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 410.612 * [taylor]: Taking taylor expansion of 1 in y 410.612 * [taylor]: Taking taylor expansion of (/ 1 y) in y 410.612 * [taylor]: Taking taylor expansion of y in y 410.612 * [taylor]: Taking taylor expansion of (neg 1) in z 410.612 * [taylor]: Taking taylor expansion of 1 in z 410.612 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 410.612 * [taylor]: Taking taylor expansion of (* z y) in y 410.613 * [taylor]: Taking taylor expansion of z in y 410.613 * [taylor]: Taking taylor expansion of y in y 410.613 * [taylor]: Taking taylor expansion of (/ 1 z) in z 410.613 * [taylor]: Taking taylor expansion of z in z 410.613 * [taylor]: Taking taylor expansion of 1 in z 410.613 * [taylor]: Taking taylor expansion of 0 in y 410.613 * [taylor]: Taking taylor expansion of 0 in z 410.613 * [taylor]: Taking taylor expansion of 0 in z 410.614 * [approximate]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in (x y z) around 0 410.614 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in z 410.614 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 410.614 * [taylor]: Taking taylor expansion of (* z y) in z 410.614 * [taylor]: Taking taylor expansion of z in z 410.614 * [taylor]: Taking taylor expansion of y in z 410.614 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in z 410.614 * [taylor]: Taking taylor expansion of (/ 1 x) in z 410.614 * [taylor]: Taking taylor expansion of x in z 410.614 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 410.614 * [taylor]: Taking taylor expansion of (* x y) in z 410.614 * [taylor]: Taking taylor expansion of x in z 410.614 * [taylor]: Taking taylor expansion of y in z 410.614 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in y 410.614 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 410.614 * [taylor]: Taking taylor expansion of (* z y) in y 410.614 * [taylor]: Taking taylor expansion of z in y 410.614 * [taylor]: Taking taylor expansion of y in y 410.614 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y 410.614 * [taylor]: Taking taylor expansion of (/ 1 x) in y 410.614 * [taylor]: Taking taylor expansion of x in y 410.614 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 410.614 * [taylor]: Taking taylor expansion of (* x y) in y 410.614 * [taylor]: Taking taylor expansion of x in y 410.614 * [taylor]: Taking taylor expansion of y in y 410.614 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in x 410.614 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 410.615 * [taylor]: Taking taylor expansion of (* z y) in x 410.615 * [taylor]: Taking taylor expansion of z in x 410.615 * [taylor]: Taking taylor expansion of y in x 410.615 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 410.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x 410.615 * [taylor]: Taking taylor expansion of x in x 410.615 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 410.615 * [taylor]: Taking taylor expansion of (* x y) in x 410.615 * [taylor]: Taking taylor expansion of x in x 410.615 * [taylor]: Taking taylor expansion of y in x 410.615 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in x 410.615 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 410.615 * [taylor]: Taking taylor expansion of (* z y) in x 410.615 * [taylor]: Taking taylor expansion of z in x 410.615 * [taylor]: Taking taylor expansion of y in x 410.615 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 410.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x 410.615 * [taylor]: Taking taylor expansion of x in x 410.615 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 410.615 * [taylor]: Taking taylor expansion of (* x y) in x 410.615 * [taylor]: Taking taylor expansion of x in x 410.615 * [taylor]: Taking taylor expansion of y in x 410.615 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 y) 1)) in y 410.615 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 410.615 * [taylor]: Taking taylor expansion of (/ 1 y) in y 410.615 * [taylor]: Taking taylor expansion of y in y 410.615 * [taylor]: Taking taylor expansion of 1 in y 410.615 * [taylor]: Taking taylor expansion of (neg 1) in z 410.615 * [taylor]: Taking taylor expansion of 1 in z 410.616 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 410.616 * [taylor]: Taking taylor expansion of (* z y) in y 410.616 * [taylor]: Taking taylor expansion of z in y 410.616 * [taylor]: Taking taylor expansion of y in y 410.616 * [taylor]: Taking taylor expansion of (/ 1 z) in z 410.616 * [taylor]: Taking taylor expansion of z in z 410.616 * [taylor]: Taking taylor expansion of (neg 1) in z 410.616 * [taylor]: Taking taylor expansion of 1 in z 410.616 * [taylor]: Taking taylor expansion of 0 in y 410.616 * [taylor]: Taking taylor expansion of 0 in z 410.616 * [taylor]: Taking taylor expansion of 0 in z 410.617 * * * [progress]: simplifying candidates 410.617 * [simplify]: Simplifying using # : (* (exp (* y z)) (exp (* y (neg x)))) (log (+ (* y z) (* y (neg x)))) (exp (+ (* y z) (* y (neg x)))) (* (cbrt (+ (* y z) (* y (neg x)))) (cbrt (+ (* y z) (* y (neg x))))) (cbrt (+ (* y z) (* y (neg x)))) (* (* (+ (* y z) (* y (neg x))) (+ (* y z) (* y (neg x)))) (+ (* y z) (* y (neg x)))) (sqrt (+ (* y z) (* y (neg x)))) (sqrt (+ (* y z) (* y (neg x)))) (+ (pow (* y z) 3) (pow (* y (neg x)) 3)) (+ (* (* y z) (* y z)) (- (* (* y (neg x)) (* y (neg x))) (* (* y z) (* y (neg x))))) (- (* (* y z) (* y z)) (* (* y (neg x)) (* y (neg x)))) (- (* y z) (* y (neg x))) (+ z (neg x)) (* (exp x) (* (exp (* y z)) (exp (* y (neg x))))) (* (exp x) (exp (+ (* y z) (* y (neg x))))) (log (+ x (+ (* y z) (* y (neg x))))) (exp (+ x (+ (* y z) (* y (neg x))))) (* (cbrt (+ x (+ (* y z) (* y (neg x))))) (cbrt (+ x (+ (* y z) (* y (neg x)))))) (cbrt (+ x (+ (* y z) (* y (neg x))))) (* (* (+ x (+ (* y z) (* y (neg x)))) (+ x (+ (* y z) (* y (neg x))))) (+ x (+ (* y z) (* y (neg x))))) (sqrt (+ x (+ (* y z) (* y (neg x))))) (sqrt (+ x (+ (* y z) (* y (neg x))))) (+ (pow x 3) (pow (+ (* y z) (* y (neg x))) 3)) (+ (* x x) (- (* (+ (* y z) (* y (neg x))) (+ (* y z) (* y (neg x)))) (* x (+ (* y z) (* y (neg x)))))) (- (* x x) (* (+ (* y z) (* y (neg x))) (+ (* y z) (* y (neg x))))) (- x (+ (* y z) (* y (neg x)))) (+ x (+ (* y z) (* y (neg x)))) (+ x (* y z)) (+ x (* y z)) (+ x (* y z)) (- (* z y) (* x y)) (- (* z y) (* x y)) (- (* z y) (* x y)) (- (+ x (* z y)) (* x y)) (- (+ x (* z y)) (* x y)) (- (+ x (* z y)) (* x y)) 410.618 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 410.619 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 410.621 * * [simplify]: iteration 2 : 40 enodes (cost 7 ) 410.627 * * [simplify]: iteration 3 : 87 enodes (cost 6 ) 410.644 * * [simplify]: iteration 4 : 237 enodes (cost 6 ) 410.804 * * [simplify]: iteration 5 : 980 enodes (cost 6 ) 413.233 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 413.234 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 413.235 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 413.237 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 413.240 * * [simplify]: iteration 3 : 27 enodes (cost 6 ) 413.243 * * [simplify]: iteration done : 27 enodes (cost 6 ) 413.244 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 413.245 * * [simplify]: iteration 1 : 18 enodes (cost 7 ) 413.248 * * [simplify]: iteration 2 : 37 enodes (cost 6 ) 413.253 * * [simplify]: iteration 3 : 68 enodes (cost 6 ) 413.267 * * [simplify]: iteration 4 : 155 enodes (cost 6 ) 413.335 * * [simplify]: iteration 5 : 589 enodes (cost 6 ) 414.141 * * [simplify]: iteration 6 : 2547 enodes (cost 6 ) 415.526 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 415.527 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 415.528 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 415.530 * * [simplify]: iteration 2 : 23 enodes (cost 13 ) 415.533 * * [simplify]: iteration 3 : 24 enodes (cost 13 ) 415.536 * * [simplify]: iteration done : 24 enodes (cost 13 ) 415.537 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 415.538 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 415.540 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 415.542 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 415.545 * * [simplify]: iteration done : 23 enodes (cost 6 ) 415.546 * * [simplify]: iteration 0 : 9 enodes (cost 26 ) 415.547 * * [simplify]: iteration 1 : 29 enodes (cost 20 ) 415.558 * * [simplify]: iteration 2 : 121 enodes (cost 7 ) 415.611 * * [simplify]: iteration 3 : 571 enodes (cost 7 ) 416.219 * * [simplify]: iteration 4 : 2168 enodes (cost 7 ) 418.645 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 418.646 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 418.647 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 418.649 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 418.652 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 418.655 * * [simplify]: iteration done : 23 enodes (cost 6 ) 418.655 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 418.656 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 418.658 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 418.661 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 418.664 * * [simplify]: iteration done : 23 enodes (cost 6 ) 418.665 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 418.666 * * [simplify]: iteration 1 : 33 enodes (cost 12 ) 418.672 * * [simplify]: iteration 2 : 115 enodes (cost 12 ) 418.713 * * [simplify]: iteration 3 : 394 enodes (cost 11 ) 419.017 * * [simplify]: iteration 4 : 1037 enodes (cost 11 ) 420.603 * * [simplify]: iteration 5 : 2869 enodes (cost 11 ) 422.314 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 422.315 * * [simplify]: iteration 0 : 11 enodes (cost 26 ) 422.317 * * [simplify]: iteration 1 : 39 enodes (cost 21 ) 422.325 * * [simplify]: iteration 2 : 139 enodes (cost 19 ) 422.382 * * [simplify]: iteration 3 : 375 enodes (cost 17 ) 422.656 * * [simplify]: iteration 4 : 782 enodes (cost 15 ) 423.305 * * [simplify]: iteration 5 : 1310 enodes (cost 13 ) 423.980 * * [simplify]: iteration 6 : 1603 enodes (cost 13 ) 424.631 * * [simplify]: iteration 7 : 1685 enodes (cost 13 ) 425.213 * * [simplify]: iteration done : 1685 enodes (cost 13 ) 425.214 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 425.215 * * [simplify]: iteration 1 : 31 enodes (cost 17 ) 425.221 * * [simplify]: iteration 2 : 101 enodes (cost 11 ) 425.262 * * [simplify]: iteration 3 : 242 enodes (cost 11 ) 425.356 * * [simplify]: iteration 4 : 421 enodes (cost 11 ) 425.493 * * [simplify]: iteration 5 : 724 enodes (cost 11 ) 425.898 * * [simplify]: iteration 6 : 1314 enodes (cost 11 ) 427.420 * * [simplify]: iteration 7 : 2877 enodes (cost 11 ) 429.773 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 429.774 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 429.775 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 429.777 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 429.782 * * [simplify]: iteration 3 : 41 enodes (cost 5 ) 429.787 * * [simplify]: iteration 4 : 46 enodes (cost 5 ) 429.791 * * [simplify]: iteration done : 46 enodes (cost 5 ) 429.792 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 429.792 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 429.793 * * [simplify]: iteration done : 6 enodes (cost 3 ) 429.793 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 429.795 * * [simplify]: iteration 1 : 24 enodes (cost 12 ) 429.798 * * [simplify]: iteration 2 : 57 enodes (cost 9 ) 429.811 * * [simplify]: iteration 3 : 139 enodes (cost 8 ) 429.849 * * [simplify]: iteration 4 : 409 enodes (cost 8 ) 430.537 * * [simplify]: iteration 5 : 1948 enodes (cost 8 ) 431.893 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 431.894 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 431.895 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 431.904 * * [simplify]: iteration 2 : 51 enodes (cost 8 ) 431.913 * * [simplify]: iteration 3 : 103 enodes (cost 8 ) 431.934 * * [simplify]: iteration 4 : 251 enodes (cost 8 ) 432.084 * * [simplify]: iteration 5 : 1053 enodes (cost 8 ) 434.389 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 434.389 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 434.391 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 434.393 * * [simplify]: iteration 2 : 33 enodes (cost 8 ) 434.398 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 434.404 * * [simplify]: iteration 4 : 49 enodes (cost 8 ) 434.412 * * [simplify]: iteration 5 : 67 enodes (cost 8 ) 434.430 * * [simplify]: iteration 6 : 97 enodes (cost 8 ) 434.445 * * [simplify]: iteration 7 : 124 enodes (cost 8 ) 434.467 * * [simplify]: iteration 8 : 153 enodes (cost 8 ) 434.489 * * [simplify]: iteration 9 : 167 enodes (cost 8 ) 434.511 * * [simplify]: iteration 10 : 185 enodes (cost 8 ) 434.540 * * [simplify]: iteration 11 : 198 enodes (cost 8 ) 434.568 * * [simplify]: iteration 12 : 214 enodes (cost 8 ) 434.610 * * [simplify]: iteration 13 : 249 enodes (cost 8 ) 434.661 * * [simplify]: iteration 14 : 314 enodes (cost 8 ) 434.735 * * [simplify]: iteration 15 : 414 enodes (cost 8 ) 434.827 * * [simplify]: iteration 16 : 504 enodes (cost 8 ) 434.932 * * [simplify]: iteration 17 : 610 enodes (cost 8 ) 435.052 * * [simplify]: iteration 18 : 683 enodes (cost 8 ) 435.156 * * [simplify]: iteration 19 : 693 enodes (cost 8 ) 435.261 * * [simplify]: iteration 20 : 701 enodes (cost 8 ) 435.371 * * [simplify]: iteration 21 : 718 enodes (cost 8 ) 435.486 * * [simplify]: iteration 22 : 741 enodes (cost 8 ) 435.634 * * [simplify]: iteration 23 : 825 enodes (cost 8 ) 436.368 * * [simplify]: iteration 24 : 1238 enodes (cost 8 ) 455.207 * * [simplify]: iteration 25 : 3337 enodes (cost 8 ) 545.482 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 545.483 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 545.484 * * [simplify]: iteration 1 : 22 enodes (cost 9 ) 545.487 * * [simplify]: iteration 2 : 45 enodes (cost 8 ) 545.494 * * [simplify]: iteration 3 : 84 enodes (cost 8 ) 545.508 * * [simplify]: iteration 4 : 150 enodes (cost 8 ) 545.547 * * [simplify]: iteration 5 : 373 enodes (cost 8 ) 545.803 * * [simplify]: iteration 6 : 1517 enodes (cost 8 ) 546.868 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 546.869 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 546.870 * * [simplify]: iteration 1 : 20 enodes (cost 19 ) 546.873 * * [simplify]: iteration 2 : 34 enodes (cost 17 ) 546.878 * * [simplify]: iteration 3 : 41 enodes (cost 17 ) 546.884 * * [simplify]: iteration 4 : 50 enodes (cost 17 ) 546.892 * * [simplify]: iteration 5 : 68 enodes (cost 17 ) 546.909 * * [simplify]: iteration 6 : 98 enodes (cost 17 ) 546.924 * * [simplify]: iteration 7 : 125 enodes (cost 17 ) 546.947 * * [simplify]: iteration 8 : 154 enodes (cost 17 ) 546.969 * * [simplify]: iteration 9 : 168 enodes (cost 17 ) 546.993 * * [simplify]: iteration 10 : 186 enodes (cost 17 ) 547.021 * * [simplify]: iteration 11 : 199 enodes (cost 17 ) 547.050 * * [simplify]: iteration 12 : 215 enodes (cost 17 ) 547.091 * * [simplify]: iteration 13 : 250 enodes (cost 17 ) 547.140 * * [simplify]: iteration 14 : 315 enodes (cost 17 ) 547.212 * * [simplify]: iteration 15 : 415 enodes (cost 17 ) 547.301 * * [simplify]: iteration 16 : 509 enodes (cost 17 ) 547.406 * * [simplify]: iteration 17 : 617 enodes (cost 17 ) 547.522 * * [simplify]: iteration 18 : 688 enodes (cost 17 ) 547.619 * * [simplify]: iteration 19 : 692 enodes (cost 17 ) 547.722 * * [simplify]: iteration done : 692 enodes (cost 17 ) 547.723 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 547.724 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 547.727 * * [simplify]: iteration 2 : 33 enodes (cost 8 ) 547.734 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 547.740 * * [simplify]: iteration 4 : 49 enodes (cost 8 ) 547.748 * * [simplify]: iteration 5 : 67 enodes (cost 8 ) 547.762 * * [simplify]: iteration 6 : 97 enodes (cost 8 ) 547.777 * * [simplify]: iteration 7 : 124 enodes (cost 8 ) 547.802 * * [simplify]: iteration 8 : 153 enodes (cost 8 ) 547.821 * * [simplify]: iteration 9 : 167 enodes (cost 8 ) 547.846 * * [simplify]: iteration 10 : 185 enodes (cost 8 ) 547.872 * * [simplify]: iteration 11 : 198 enodes (cost 8 ) 547.902 * * [simplify]: iteration 12 : 214 enodes (cost 8 ) 547.940 * * [simplify]: iteration 13 : 249 enodes (cost 8 ) 547.989 * * [simplify]: iteration 14 : 314 enodes (cost 8 ) 548.065 * * [simplify]: iteration 15 : 414 enodes (cost 8 ) 548.150 * * [simplify]: iteration 16 : 504 enodes (cost 8 ) 548.252 * * [simplify]: iteration 17 : 610 enodes (cost 8 ) 548.366 * * [simplify]: iteration 18 : 681 enodes (cost 8 ) 548.465 * * [simplify]: iteration 19 : 685 enodes (cost 8 ) 548.567 * * [simplify]: iteration done : 685 enodes (cost 8 ) 548.568 * * [simplify]: iteration 0 : 10 enodes (cost 32 ) 548.569 * * [simplify]: iteration 1 : 33 enodes (cost 26 ) 548.576 * * [simplify]: iteration 2 : 123 enodes (cost 9 ) 548.623 * * [simplify]: iteration 3 : 622 enodes (cost 9 ) 549.206 * * [simplify]: iteration 4 : 3749 enodes (cost 9 ) 550.930 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 550.931 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 550.932 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 550.935 * * [simplify]: iteration 2 : 33 enodes (cost 8 ) 550.940 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 550.946 * * [simplify]: iteration 4 : 49 enodes (cost 8 ) 550.953 * * [simplify]: iteration 5 : 67 enodes (cost 8 ) 550.971 * * [simplify]: iteration 6 : 97 enodes (cost 8 ) 550.986 * * [simplify]: iteration 7 : 124 enodes (cost 8 ) 551.008 * * [simplify]: iteration 8 : 153 enodes (cost 8 ) 551.030 * * [simplify]: iteration 9 : 167 enodes (cost 8 ) 551.053 * * [simplify]: iteration 10 : 185 enodes (cost 8 ) 551.081 * * [simplify]: iteration 11 : 198 enodes (cost 8 ) 551.110 * * [simplify]: iteration 12 : 214 enodes (cost 8 ) 551.152 * * [simplify]: iteration 13 : 249 enodes (cost 8 ) 551.203 * * [simplify]: iteration 14 : 314 enodes (cost 8 ) 551.276 * * [simplify]: iteration 15 : 414 enodes (cost 8 ) 551.365 * * [simplify]: iteration 16 : 504 enodes (cost 8 ) 551.479 * * [simplify]: iteration 17 : 610 enodes (cost 8 ) 551.595 * * [simplify]: iteration 18 : 681 enodes (cost 8 ) 551.697 * * [simplify]: iteration 19 : 685 enodes (cost 8 ) 551.797 * * [simplify]: iteration done : 685 enodes (cost 8 ) 551.797 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 551.798 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 551.801 * * [simplify]: iteration 2 : 33 enodes (cost 8 ) 551.809 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 551.815 * * [simplify]: iteration 4 : 49 enodes (cost 8 ) 551.823 * * [simplify]: iteration 5 : 67 enodes (cost 8 ) 551.837 * * [simplify]: iteration 6 : 97 enodes (cost 8 ) 551.851 * * [simplify]: iteration 7 : 124 enodes (cost 8 ) 551.878 * * [simplify]: iteration 8 : 153 enodes (cost 8 ) 551.897 * * [simplify]: iteration 9 : 167 enodes (cost 8 ) 551.923 * * [simplify]: iteration 10 : 185 enodes (cost 8 ) 551.948 * * [simplify]: iteration 11 : 198 enodes (cost 8 ) 551.979 * * [simplify]: iteration 12 : 214 enodes (cost 8 ) 552.016 * * [simplify]: iteration 13 : 249 enodes (cost 8 ) 552.065 * * [simplify]: iteration 14 : 314 enodes (cost 8 ) 552.141 * * [simplify]: iteration 15 : 414 enodes (cost 8 ) 552.228 * * [simplify]: iteration 16 : 504 enodes (cost 8 ) 552.330 * * [simplify]: iteration 17 : 610 enodes (cost 8 ) 552.445 * * [simplify]: iteration 18 : 681 enodes (cost 8 ) 552.548 * * [simplify]: iteration 19 : 685 enodes (cost 8 ) 552.650 * * [simplify]: iteration done : 685 enodes (cost 8 ) 552.651 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 552.652 * * [simplify]: iteration 1 : 32 enodes (cost 12 ) 552.658 * * [simplify]: iteration 2 : 78 enodes (cost 11 ) 552.676 * * [simplify]: iteration 3 : 268 enodes (cost 11 ) 552.831 * * [simplify]: iteration 4 : 1022 enodes (cost 11 ) 554.296 * * [simplify]: iteration 5 : 3342 enodes (cost 11 ) 556.395 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 556.396 * * [simplify]: iteration 0 : 12 enodes (cost 32 ) 556.397 * * [simplify]: iteration 1 : 39 enodes (cost 19 ) 556.405 * * [simplify]: iteration 2 : 142 enodes (cost 17 ) 556.453 * * [simplify]: iteration 3 : 478 enodes (cost 17 ) 556.868 * * [simplify]: iteration 4 : 1665 enodes (cost 17 ) 558.720 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 558.721 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 558.722 * * [simplify]: iteration 1 : 28 enodes (cost 17 ) 558.733 * * [simplify]: iteration 2 : 100 enodes (cost 15 ) 558.760 * * [simplify]: iteration 3 : 377 enodes (cost 15 ) 559.086 * * [simplify]: iteration 4 : 1307 enodes (cost 15 ) 560.561 * * [simplify]: iteration 5 : 3602 enodes (cost 15 ) 562.090 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 562.091 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 562.092 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 562.095 * * [simplify]: iteration 2 : 38 enodes (cost 7 ) 562.101 * * [simplify]: iteration 3 : 70 enodes (cost 7 ) 562.122 * * [simplify]: iteration 4 : 101 enodes (cost 7 ) 562.136 * * [simplify]: iteration 5 : 115 enodes (cost 7 ) 562.154 * * [simplify]: iteration 6 : 146 enodes (cost 7 ) 562.187 * * [simplify]: iteration 7 : 199 enodes (cost 7 ) 562.218 * * [simplify]: iteration 8 : 222 enodes (cost 7 ) 562.262 * * [simplify]: iteration 9 : 258 enodes (cost 7 ) 562.311 * * [simplify]: iteration 10 : 325 enodes (cost 7 ) 562.385 * * [simplify]: iteration 11 : 422 enodes (cost 7 ) 562.475 * * [simplify]: iteration 12 : 513 enodes (cost 7 ) 562.578 * * [simplify]: iteration 13 : 619 enodes (cost 7 ) 562.695 * * [simplify]: iteration 14 : 690 enodes (cost 7 ) 562.797 * * [simplify]: iteration 15 : 694 enodes (cost 7 ) 562.895 * * [simplify]: iteration done : 694 enodes (cost 7 ) 562.896 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 562.897 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 562.902 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 562.908 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 562.914 * * [simplify]: iteration 4 : 48 enodes (cost 7 ) 562.921 * * [simplify]: iteration 5 : 66 enodes (cost 7 ) 562.935 * * [simplify]: iteration 6 : 96 enodes (cost 7 ) 562.950 * * [simplify]: iteration 7 : 123 enodes (cost 7 ) 562.976 * * [simplify]: iteration 8 : 152 enodes (cost 7 ) 562.994 * * [simplify]: iteration 9 : 166 enodes (cost 7 ) 563.021 * * [simplify]: iteration 10 : 184 enodes (cost 7 ) 563.047 * * [simplify]: iteration 11 : 197 enodes (cost 7 ) 563.078 * * [simplify]: iteration 12 : 213 enodes (cost 7 ) 563.116 * * [simplify]: iteration 13 : 248 enodes (cost 7 ) 563.165 * * [simplify]: iteration 14 : 313 enodes (cost 7 ) 563.241 * * [simplify]: iteration 15 : 413 enodes (cost 7 ) 563.330 * * [simplify]: iteration 16 : 505 enodes (cost 7 ) 563.434 * * [simplify]: iteration 17 : 609 enodes (cost 7 ) 563.551 * * [simplify]: iteration 18 : 678 enodes (cost 7 ) 563.652 * * [simplify]: iteration 19 : 682 enodes (cost 7 ) 563.755 * * [simplify]: iteration done : 682 enodes (cost 7 ) 563.756 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 563.756 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 563.757 * * [simplify]: iteration done : 7 enodes (cost 5 ) 563.758 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 563.758 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 563.759 * * [simplify]: iteration done : 7 enodes (cost 5 ) 563.760 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 563.760 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 563.761 * * [simplify]: iteration done : 7 enodes (cost 5 ) 563.761 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 563.762 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 563.764 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 563.767 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 563.769 * * [simplify]: iteration done : 22 enodes (cost 5 ) 563.770 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 563.771 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 563.772 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 563.775 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 563.778 * * [simplify]: iteration done : 22 enodes (cost 5 ) 563.779 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 563.780 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 563.781 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 563.784 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 563.786 * * [simplify]: iteration done : 22 enodes (cost 5 ) 563.788 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 563.788 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 563.790 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 563.798 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 563.803 * * [simplify]: iteration 4 : 50 enodes (cost 7 ) 563.812 * * [simplify]: iteration 5 : 68 enodes (cost 7 ) 563.825 * * [simplify]: iteration 6 : 98 enodes (cost 7 ) 563.840 * * [simplify]: iteration 7 : 125 enodes (cost 7 ) 563.866 * * [simplify]: iteration 8 : 154 enodes (cost 7 ) 563.884 * * [simplify]: iteration 9 : 168 enodes (cost 7 ) 563.911 * * [simplify]: iteration 10 : 186 enodes (cost 7 ) 563.937 * * [simplify]: iteration 11 : 199 enodes (cost 7 ) 563.968 * * [simplify]: iteration 12 : 215 enodes (cost 7 ) 564.006 * * [simplify]: iteration 13 : 250 enodes (cost 7 ) 564.056 * * [simplify]: iteration 14 : 315 enodes (cost 7 ) 564.135 * * [simplify]: iteration 15 : 413 enodes (cost 7 ) 564.222 * * [simplify]: iteration 16 : 507 enodes (cost 7 ) 564.326 * * [simplify]: iteration 17 : 613 enodes (cost 7 ) 564.442 * * [simplify]: iteration 18 : 682 enodes (cost 7 ) 564.545 * * [simplify]: iteration 19 : 686 enodes (cost 7 ) 564.649 * * [simplify]: iteration done : 686 enodes (cost 7 ) 564.649 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 564.650 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 564.653 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 564.657 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 564.663 * * [simplify]: iteration 4 : 50 enodes (cost 7 ) 564.671 * * [simplify]: iteration 5 : 68 enodes (cost 7 ) 564.687 * * [simplify]: iteration 6 : 98 enodes (cost 7 ) 564.702 * * [simplify]: iteration 7 : 125 enodes (cost 7 ) 564.724 * * [simplify]: iteration 8 : 154 enodes (cost 7 ) 564.746 * * [simplify]: iteration 9 : 168 enodes (cost 7 ) 564.768 * * [simplify]: iteration 10 : 186 enodes (cost 7 ) 564.797 * * [simplify]: iteration 11 : 199 enodes (cost 7 ) 564.824 * * [simplify]: iteration 12 : 215 enodes (cost 7 ) 564.867 * * [simplify]: iteration 13 : 250 enodes (cost 7 ) 564.918 * * [simplify]: iteration 14 : 315 enodes (cost 7 ) 564.992 * * [simplify]: iteration 15 : 413 enodes (cost 7 ) 565.083 * * [simplify]: iteration 16 : 507 enodes (cost 7 ) 565.187 * * [simplify]: iteration 17 : 613 enodes (cost 7 ) 565.305 * * [simplify]: iteration 18 : 682 enodes (cost 7 ) 565.407 * * [simplify]: iteration 19 : 686 enodes (cost 7 ) 565.507 * * [simplify]: iteration done : 686 enodes (cost 7 ) 565.508 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 565.513 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 565.515 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 565.519 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 565.525 * * [simplify]: iteration 4 : 50 enodes (cost 7 ) 565.532 * * [simplify]: iteration 5 : 68 enodes (cost 7 ) 565.546 * * [simplify]: iteration 6 : 98 enodes (cost 7 ) 565.561 * * [simplify]: iteration 7 : 125 enodes (cost 7 ) 565.586 * * [simplify]: iteration 8 : 154 enodes (cost 7 ) 565.605 * * [simplify]: iteration 9 : 168 enodes (cost 7 ) 565.631 * * [simplify]: iteration 10 : 186 enodes (cost 7 ) 565.657 * * [simplify]: iteration 11 : 199 enodes (cost 7 ) 565.689 * * [simplify]: iteration 12 : 215 enodes (cost 7 ) 565.727 * * [simplify]: iteration 13 : 250 enodes (cost 7 ) 565.779 * * [simplify]: iteration 14 : 315 enodes (cost 7 ) 565.858 * * [simplify]: iteration 15 : 413 enodes (cost 7 ) 565.947 * * [simplify]: iteration 16 : 507 enodes (cost 7 ) 566.054 * * [simplify]: iteration 17 : 613 enodes (cost 7 ) 566.174 * * [simplify]: iteration 18 : 682 enodes (cost 7 ) 566.277 * * [simplify]: iteration 19 : 686 enodes (cost 7 ) 566.381 * * [simplify]: iteration done : 686 enodes (cost 7 ) 566.382 * [simplify]: Simplified to: (pow (exp y) (- z x)) (log (* (- z x) y)) (pow (exp y) (- z x)) (* (cbrt (* y (- z x))) (cbrt (* y (- z x)))) (cbrt (* (- z x) y)) (pow (* y (- z x)) 3) (sqrt (* (- z x) y)) (sqrt (* (- z x) y)) (- (pow (* y z) 3) (pow (* y x) 3)) (* (* y y) (+ (* x x) (* z (+ x z)))) (* (* y y) (- (* z z) (* x x))) (* (+ x z) y) (- z x) (exp (+ x (* y (- z x)))) (exp (+ x (* y (- z x)))) (log (+ (* (- z x) y) x)) (exp (+ (* (- z x) y) x)) (* (cbrt (+ (* (- z x) y) x)) (cbrt (+ (* (- z x) y) x))) (cbrt (+ (* (- z x) y) x)) (pow (+ (* (- z x) y) x) 3) (sqrt (+ (* (- z x) y) x)) (sqrt (+ (* (- z x) y) x)) (+ (pow x 3) (pow (* (- z x) y) 3)) (+ (* (- (* (- z x) y) x) (* (- z x) y)) (* x x)) (- (* x x) (* (* y (- z x)) (* y (- z x)))) (- x (* (- z x) y)) (+ (* y (- z x)) x) (+ x (* y z)) (+ x (* y z)) (+ x (* y z)) (* y (- z x)) (* y (- z x)) (* y (- z x)) (+ x (* y (- z x))) (+ x (* y (- z x))) (+ x (* y (- z x))) 566.382 * * * [progress]: adding candidates to table 566.420 * * [progress]: iteration 3 / 4 566.421 * * * [progress]: picking best candidate 566.424 * * * * [pick]: Picked # 566.424 * * * [progress]: localizing error 566.432 * * * [progress]: generating rewritten candidates 566.432 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 566.446 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 566.455 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 566.458 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 566.464 * * * [progress]: generating series expansions 566.464 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 566.465 * [approximate]: Taking taylor expansion of (* (- z x) y) in (y z x) around 0 566.465 * [taylor]: Taking taylor expansion of (* (- z x) y) in x 566.465 * [taylor]: Taking taylor expansion of (- z x) in x 566.465 * [taylor]: Taking taylor expansion of z in x 566.465 * [taylor]: Taking taylor expansion of x in x 566.465 * [taylor]: Taking taylor expansion of y in x 566.465 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 566.465 * [taylor]: Taking taylor expansion of (- z x) in z 566.465 * [taylor]: Taking taylor expansion of z in z 566.465 * [taylor]: Taking taylor expansion of x in z 566.465 * [taylor]: Taking taylor expansion of y in z 566.465 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 566.465 * [taylor]: Taking taylor expansion of (- z x) in y 566.465 * [taylor]: Taking taylor expansion of z in y 566.465 * [taylor]: Taking taylor expansion of x in y 566.465 * [taylor]: Taking taylor expansion of y in y 566.465 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 566.465 * [taylor]: Taking taylor expansion of (- z x) in y 566.465 * [taylor]: Taking taylor expansion of z in y 566.465 * [taylor]: Taking taylor expansion of x in y 566.465 * [taylor]: Taking taylor expansion of y in y 566.465 * [taylor]: Taking taylor expansion of 0 in z 566.465 * [taylor]: Taking taylor expansion of 0 in x 566.465 * [taylor]: Taking taylor expansion of (- z x) in z 566.465 * [taylor]: Taking taylor expansion of z in z 566.465 * [taylor]: Taking taylor expansion of x in z 566.465 * [taylor]: Taking taylor expansion of (neg x) in x 566.465 * [taylor]: Taking taylor expansion of x in x 566.465 * [taylor]: Taking taylor expansion of 0 in x 566.465 * [taylor]: Taking taylor expansion of 0 in z 566.465 * [taylor]: Taking taylor expansion of 0 in x 566.466 * [taylor]: Taking taylor expansion of 1 in x 566.466 * [taylor]: Taking taylor expansion of 0 in x 566.466 * [taylor]: Taking taylor expansion of 0 in z 566.466 * [taylor]: Taking taylor expansion of 0 in x 566.466 * [taylor]: Taking taylor expansion of 0 in x 566.466 * [taylor]: Taking taylor expansion of 0 in x 566.466 * [taylor]: Taking taylor expansion of 0 in x 566.466 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in (y z x) around 0 566.466 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 566.466 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 566.466 * [taylor]: Taking taylor expansion of (/ 1 z) in x 566.466 * [taylor]: Taking taylor expansion of z in x 566.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x 566.467 * [taylor]: Taking taylor expansion of x in x 566.467 * [taylor]: Taking taylor expansion of y in x 566.467 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 566.467 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 566.467 * [taylor]: Taking taylor expansion of (/ 1 z) in z 566.467 * [taylor]: Taking taylor expansion of z in z 566.467 * [taylor]: Taking taylor expansion of (/ 1 x) in z 566.467 * [taylor]: Taking taylor expansion of x in z 566.467 * [taylor]: Taking taylor expansion of y in z 566.467 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 566.467 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 566.467 * [taylor]: Taking taylor expansion of (/ 1 z) in y 566.467 * [taylor]: Taking taylor expansion of z in y 566.467 * [taylor]: Taking taylor expansion of (/ 1 x) in y 566.467 * [taylor]: Taking taylor expansion of x in y 566.467 * [taylor]: Taking taylor expansion of y in y 566.467 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 566.467 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 566.467 * [taylor]: Taking taylor expansion of (/ 1 z) in y 566.467 * [taylor]: Taking taylor expansion of z in y 566.467 * [taylor]: Taking taylor expansion of (/ 1 x) in y 566.467 * [taylor]: Taking taylor expansion of x in y 566.467 * [taylor]: Taking taylor expansion of y in y 566.468 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 566.468 * [taylor]: Taking taylor expansion of (/ 1 z) in z 566.468 * [taylor]: Taking taylor expansion of z in z 566.468 * [taylor]: Taking taylor expansion of (/ 1 x) in z 566.468 * [taylor]: Taking taylor expansion of x in z 566.468 * [taylor]: Taking taylor expansion of 1 in x 566.468 * [taylor]: Taking taylor expansion of 0 in z 566.468 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 566.468 * [taylor]: Taking taylor expansion of (/ 1 x) in x 566.468 * [taylor]: Taking taylor expansion of x in x 566.468 * [taylor]: Taking taylor expansion of 0 in z 566.468 * [taylor]: Taking taylor expansion of 0 in x 566.469 * [taylor]: Taking taylor expansion of 0 in x 566.469 * [taylor]: Taking taylor expansion of 0 in z 566.469 * [taylor]: Taking taylor expansion of 0 in x 566.469 * [taylor]: Taking taylor expansion of 0 in x 566.469 * [taylor]: Taking taylor expansion of 0 in x 566.470 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in (y z x) around 0 566.470 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in x 566.470 * [taylor]: Taking taylor expansion of -1 in x 566.470 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 566.470 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 566.470 * [taylor]: Taking taylor expansion of (/ 1 x) in x 566.470 * [taylor]: Taking taylor expansion of x in x 566.470 * [taylor]: Taking taylor expansion of (/ 1 z) in x 566.470 * [taylor]: Taking taylor expansion of z in x 566.470 * [taylor]: Taking taylor expansion of y in x 566.470 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in z 566.470 * [taylor]: Taking taylor expansion of -1 in z 566.470 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 566.470 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 566.470 * [taylor]: Taking taylor expansion of (/ 1 x) in z 566.470 * [taylor]: Taking taylor expansion of x in z 566.470 * [taylor]: Taking taylor expansion of (/ 1 z) in z 566.470 * [taylor]: Taking taylor expansion of z in z 566.470 * [taylor]: Taking taylor expansion of y in z 566.470 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in y 566.470 * [taylor]: Taking taylor expansion of -1 in y 566.470 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 566.470 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 566.470 * [taylor]: Taking taylor expansion of (/ 1 x) in y 566.470 * [taylor]: Taking taylor expansion of x in y 566.470 * [taylor]: Taking taylor expansion of (/ 1 z) in y 566.470 * [taylor]: Taking taylor expansion of z in y 566.470 * [taylor]: Taking taylor expansion of y in y 566.470 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in y 566.470 * [taylor]: Taking taylor expansion of -1 in y 566.470 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 566.470 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 566.470 * [taylor]: Taking taylor expansion of (/ 1 x) in y 566.470 * [taylor]: Taking taylor expansion of x in y 566.471 * [taylor]: Taking taylor expansion of (/ 1 z) in y 566.471 * [taylor]: Taking taylor expansion of z in y 566.471 * [taylor]: Taking taylor expansion of y in y 566.471 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 z))) in z 566.471 * [taylor]: Taking taylor expansion of -1 in z 566.471 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 566.471 * [taylor]: Taking taylor expansion of (/ 1 x) in z 566.471 * [taylor]: Taking taylor expansion of x in z 566.471 * [taylor]: Taking taylor expansion of (/ 1 z) in z 566.471 * [taylor]: Taking taylor expansion of z in z 566.471 * [taylor]: Taking taylor expansion of 1 in x 566.471 * [taylor]: Taking taylor expansion of 0 in z 566.471 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 566.471 * [taylor]: Taking taylor expansion of (/ 1 x) in x 566.471 * [taylor]: Taking taylor expansion of x in x 566.472 * [taylor]: Taking taylor expansion of 0 in z 566.472 * [taylor]: Taking taylor expansion of 0 in x 566.472 * [taylor]: Taking taylor expansion of 0 in x 566.472 * [taylor]: Taking taylor expansion of 0 in z 566.472 * [taylor]: Taking taylor expansion of 0 in x 566.472 * [taylor]: Taking taylor expansion of 0 in x 566.473 * [taylor]: Taking taylor expansion of 0 in x 566.473 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 566.473 * [approximate]: Taking taylor expansion of (* (sqrt (- z x)) y) in (y z x) around 0 566.473 * [taylor]: Taking taylor expansion of (* (sqrt (- z x)) y) in x 566.473 * [taylor]: Taking taylor expansion of (sqrt (- z x)) in x 566.473 * [taylor]: Taking taylor expansion of (- z x) in x 566.473 * [taylor]: Taking taylor expansion of z in x 566.473 * [taylor]: Taking taylor expansion of x in x 566.473 * [taylor]: Taking taylor expansion of y in x 566.473 * [taylor]: Taking taylor expansion of (* (sqrt (- z x)) y) in z 566.473 * [taylor]: Taking taylor expansion of (sqrt (- z x)) in z 566.473 * [taylor]: Taking taylor expansion of (- z x) in z 566.473 * [taylor]: Taking taylor expansion of z in z 566.474 * [taylor]: Taking taylor expansion of x in z 566.474 * [taylor]: Taking taylor expansion of y in z 566.474 * [taylor]: Taking taylor expansion of (* (sqrt (- z x)) y) in y 566.474 * [taylor]: Taking taylor expansion of (sqrt (- z x)) in y 566.474 * [taylor]: Taking taylor expansion of (- z x) in y 566.474 * [taylor]: Taking taylor expansion of z in y 566.474 * [taylor]: Taking taylor expansion of x in y 566.474 * [taylor]: Taking taylor expansion of y in y 566.474 * [taylor]: Taking taylor expansion of (* (sqrt (- z x)) y) in y 566.474 * [taylor]: Taking taylor expansion of (sqrt (- z x)) in y 566.474 * [taylor]: Taking taylor expansion of (- z x) in y 566.474 * [taylor]: Taking taylor expansion of z in y 566.474 * [taylor]: Taking taylor expansion of x in y 566.474 * [taylor]: Taking taylor expansion of y in y 566.474 * [taylor]: Taking taylor expansion of 0 in z 566.474 * [taylor]: Taking taylor expansion of 0 in x 566.474 * [taylor]: Taking taylor expansion of (sqrt (- z x)) in z 566.474 * [taylor]: Taking taylor expansion of (- z x) in z 566.474 * [taylor]: Taking taylor expansion of z in z 566.474 * [taylor]: Taking taylor expansion of x in z 566.474 * [taylor]: Taking taylor expansion of (sqrt (neg x)) in x 566.474 * [taylor]: Taking taylor expansion of (neg x) in x 566.474 * [taylor]: Taking taylor expansion of x in x 566.475 * [taylor]: Taking taylor expansion of 0 in x 566.475 * [taylor]: Taking taylor expansion of 0 in z 566.475 * [taylor]: Taking taylor expansion of 0 in x 566.475 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (neg x))) in x 566.475 * [taylor]: Taking taylor expansion of 1/2 in x 566.475 * [taylor]: Taking taylor expansion of (sqrt (neg x)) in x 566.475 * [taylor]: Taking taylor expansion of (neg x) in x 566.475 * [taylor]: Taking taylor expansion of x in x 566.476 * [taylor]: Taking taylor expansion of 0 in x 566.476 * [taylor]: Taking taylor expansion of 0 in z 566.476 * [taylor]: Taking taylor expansion of 0 in x 566.476 * [taylor]: Taking taylor expansion of 0 in x 566.476 * [taylor]: Taking taylor expansion of (/ -1/8 (pow (sqrt (neg x)) 3)) in x 566.476 * [taylor]: Taking taylor expansion of -1/8 in x 566.476 * [taylor]: Taking taylor expansion of (pow (sqrt (neg x)) 3) in x 566.476 * [taylor]: Taking taylor expansion of (sqrt (neg x)) in x 566.476 * [taylor]: Taking taylor expansion of (neg x) in x 566.476 * [taylor]: Taking taylor expansion of x in x 566.481 * [approximate]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x)))) in (y z x) around 0 566.481 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x)))) in x 566.481 * [taylor]: Taking taylor expansion of (/ 1 y) in x 566.481 * [taylor]: Taking taylor expansion of y in x 566.481 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in x 566.481 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 566.481 * [taylor]: Taking taylor expansion of (/ 1 z) in x 566.481 * [taylor]: Taking taylor expansion of z in x 566.481 * [taylor]: Taking taylor expansion of (/ 1 x) in x 566.481 * [taylor]: Taking taylor expansion of x in x 566.481 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x)))) in z 566.481 * [taylor]: Taking taylor expansion of (/ 1 y) in z 566.481 * [taylor]: Taking taylor expansion of y in z 566.481 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in z 566.481 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 566.481 * [taylor]: Taking taylor expansion of (/ 1 z) in z 566.481 * [taylor]: Taking taylor expansion of z in z 566.481 * [taylor]: Taking taylor expansion of (/ 1 x) in z 566.481 * [taylor]: Taking taylor expansion of x in z 566.482 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x)))) in y 566.482 * [taylor]: Taking taylor expansion of (/ 1 y) in y 566.482 * [taylor]: Taking taylor expansion of y in y 566.482 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in y 566.482 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 566.482 * [taylor]: Taking taylor expansion of (/ 1 z) in y 566.482 * [taylor]: Taking taylor expansion of z in y 566.482 * [taylor]: Taking taylor expansion of (/ 1 x) in y 566.482 * [taylor]: Taking taylor expansion of x in y 566.482 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x)))) in y 566.482 * [taylor]: Taking taylor expansion of (/ 1 y) in y 566.482 * [taylor]: Taking taylor expansion of y in y 566.482 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in y 566.482 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 566.482 * [taylor]: Taking taylor expansion of (/ 1 z) in y 566.482 * [taylor]: Taking taylor expansion of z in y 566.482 * [taylor]: Taking taylor expansion of (/ 1 x) in y 566.482 * [taylor]: Taking taylor expansion of x in y 566.483 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in z 566.483 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 566.483 * [taylor]: Taking taylor expansion of (/ 1 z) in z 566.483 * [taylor]: Taking taylor expansion of z in z 566.483 * [taylor]: Taking taylor expansion of (/ 1 x) in z 566.483 * [taylor]: Taking taylor expansion of x in z 566.483 * [taylor]: Taking taylor expansion of 0 in x 566.483 * [taylor]: Taking taylor expansion of 0 in z 566.483 * [taylor]: Taking taylor expansion of NAN in x 566.483 * [taylor]: Taking taylor expansion of 0 in z 566.484 * [taylor]: Taking taylor expansion of 0 in x 566.484 * [taylor]: Taking taylor expansion of (* NAN (+ (pow NAN 2) (/ 1 x))) in x 566.484 * [taylor]: Taking taylor expansion of NAN in x 566.484 * [taylor]: Taking taylor expansion of (+ (pow NAN 2) (/ 1 x)) in x 566.484 * [taylor]: Taking taylor expansion of (pow NAN 2) in x 566.484 * [taylor]: Taking taylor expansion of NAN in x 566.484 * [taylor]: Taking taylor expansion of (/ 1 x) in x 566.484 * [taylor]: Taking taylor expansion of x in x 566.484 * [taylor]: Taking taylor expansion of 0 in z 566.484 * [taylor]: Taking taylor expansion of 0 in x 566.484 * [taylor]: Taking taylor expansion of 0 in x 566.485 * [taylor]: Taking taylor expansion of (* NAN (+ (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) x)))) in x 566.485 * [taylor]: Taking taylor expansion of NAN in x 566.485 * [taylor]: Taking taylor expansion of (+ (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) x))) in x 566.485 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in x 566.485 * [taylor]: Taking taylor expansion of 2 in x 566.485 * [taylor]: Taking taylor expansion of (pow NAN 4) in x 566.485 * [taylor]: Taking taylor expansion of NAN in x 566.485 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) x)) in x 566.485 * [taylor]: Taking taylor expansion of 2 in x 566.485 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) x) in x 566.485 * [taylor]: Taking taylor expansion of (pow NAN 2) in x 566.485 * [taylor]: Taking taylor expansion of NAN in x 566.485 * [taylor]: Taking taylor expansion of x in x 566.486 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (- (/ 1 x) (/ 1 z))))) in (y z x) around 0 566.486 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (- (/ 1 x) (/ 1 z))))) in x 566.486 * [taylor]: Taking taylor expansion of -1 in x 566.486 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 x) (/ 1 z)))) in x 566.486 * [taylor]: Taking taylor expansion of (/ 1 y) in x 566.486 * [taylor]: Taking taylor expansion of y in x 566.486 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in x 566.486 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 566.486 * [taylor]: Taking taylor expansion of (/ 1 x) in x 566.486 * [taylor]: Taking taylor expansion of x in x 566.486 * [taylor]: Taking taylor expansion of (/ 1 z) in x 566.486 * [taylor]: Taking taylor expansion of z in x 566.486 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (- (/ 1 x) (/ 1 z))))) in z 566.486 * [taylor]: Taking taylor expansion of -1 in z 566.486 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 x) (/ 1 z)))) in z 566.486 * [taylor]: Taking taylor expansion of (/ 1 y) in z 566.486 * [taylor]: Taking taylor expansion of y in z 566.486 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in z 566.486 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 566.486 * [taylor]: Taking taylor expansion of (/ 1 x) in z 566.486 * [taylor]: Taking taylor expansion of x in z 566.487 * [taylor]: Taking taylor expansion of (/ 1 z) in z 566.487 * [taylor]: Taking taylor expansion of z in z 566.487 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (- (/ 1 x) (/ 1 z))))) in y 566.487 * [taylor]: Taking taylor expansion of -1 in y 566.487 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 x) (/ 1 z)))) in y 566.487 * [taylor]: Taking taylor expansion of (/ 1 y) in y 566.487 * [taylor]: Taking taylor expansion of y in y 566.487 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in y 566.487 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 566.487 * [taylor]: Taking taylor expansion of (/ 1 x) in y 566.487 * [taylor]: Taking taylor expansion of x in y 566.487 * [taylor]: Taking taylor expansion of (/ 1 z) in y 566.487 * [taylor]: Taking taylor expansion of z in y 566.487 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (- (/ 1 x) (/ 1 z))))) in y 566.487 * [taylor]: Taking taylor expansion of -1 in y 566.487 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 x) (/ 1 z)))) in y 566.487 * [taylor]: Taking taylor expansion of (/ 1 y) in y 566.487 * [taylor]: Taking taylor expansion of y in y 566.487 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in y 566.487 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 566.487 * [taylor]: Taking taylor expansion of (/ 1 x) in y 566.487 * [taylor]: Taking taylor expansion of x in y 566.487 * [taylor]: Taking taylor expansion of (/ 1 z) in y 566.487 * [taylor]: Taking taylor expansion of z in y 566.488 * [taylor]: Taking taylor expansion of (* -1 (sqrt (- (/ 1 x) (/ 1 z)))) in z 566.488 * [taylor]: Taking taylor expansion of -1 in z 566.488 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in z 566.488 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 566.488 * [taylor]: Taking taylor expansion of (/ 1 x) in z 566.488 * [taylor]: Taking taylor expansion of x in z 566.488 * [taylor]: Taking taylor expansion of (/ 1 z) in z 566.488 * [taylor]: Taking taylor expansion of z in z 566.488 * [taylor]: Taking taylor expansion of 0 in x 566.488 * [taylor]: Taking taylor expansion of 0 in z 566.488 * [taylor]: Taking taylor expansion of (neg NAN) in x 566.488 * [taylor]: Taking taylor expansion of NAN in x 566.489 * [taylor]: Taking taylor expansion of 0 in z 566.489 * [taylor]: Taking taylor expansion of 0 in x 566.489 * [taylor]: Taking taylor expansion of (- (pow NAN 3) (/ NAN x)) in x 566.489 * [taylor]: Taking taylor expansion of (pow NAN 3) in x 566.489 * [taylor]: Taking taylor expansion of NAN in x 566.489 * [taylor]: Taking taylor expansion of (/ NAN x) in x 566.489 * [taylor]: Taking taylor expansion of NAN in x 566.489 * [taylor]: Taking taylor expansion of x in x 566.490 * [taylor]: Taking taylor expansion of 0 in z 566.490 * [taylor]: Taking taylor expansion of 0 in x 566.490 * [taylor]: Taking taylor expansion of 0 in x 566.491 * [taylor]: Taking taylor expansion of (- (* 2 (/ (pow NAN 3) x)) (* 2 (pow NAN 5))) in x 566.491 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 3) x)) in x 566.491 * [taylor]: Taking taylor expansion of 2 in x 566.491 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) x) in x 566.491 * [taylor]: Taking taylor expansion of (pow NAN 3) in x 566.491 * [taylor]: Taking taylor expansion of NAN in x 566.491 * [taylor]: Taking taylor expansion of x in x 566.491 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 5)) in x 566.491 * [taylor]: Taking taylor expansion of 2 in x 566.491 * [taylor]: Taking taylor expansion of (pow NAN 5) in x 566.491 * [taylor]: Taking taylor expansion of NAN in x 566.492 * * * * [progress]: [ 3 / 4 ] generating series at (2) 566.492 * [approximate]: Taking taylor expansion of (- (+ x (* z y)) (* x y)) in (x y z) around 0 566.492 * [taylor]: Taking taylor expansion of (- (+ x (* z y)) (* x y)) in z 566.492 * [taylor]: Taking taylor expansion of (+ x (* z y)) in z 566.492 * [taylor]: Taking taylor expansion of x in z 566.492 * [taylor]: Taking taylor expansion of (* z y) in z 566.492 * [taylor]: Taking taylor expansion of z in z 566.492 * [taylor]: Taking taylor expansion of y in z 566.492 * [taylor]: Taking taylor expansion of (* x y) in z 566.492 * [taylor]: Taking taylor expansion of x in z 566.492 * [taylor]: Taking taylor expansion of y in z 566.492 * [taylor]: Taking taylor expansion of (- (+ x (* z y)) (* x y)) in y 566.492 * [taylor]: Taking taylor expansion of (+ x (* z y)) in y 566.492 * [taylor]: Taking taylor expansion of x in y 566.492 * [taylor]: Taking taylor expansion of (* z y) in y 566.492 * [taylor]: Taking taylor expansion of z in y 566.492 * [taylor]: Taking taylor expansion of y in y 566.492 * [taylor]: Taking taylor expansion of (* x y) in y 566.492 * [taylor]: Taking taylor expansion of x in y 566.492 * [taylor]: Taking taylor expansion of y in y 566.492 * [taylor]: Taking taylor expansion of (- (+ x (* z y)) (* x y)) in x 566.492 * [taylor]: Taking taylor expansion of (+ x (* z y)) in x 566.492 * [taylor]: Taking taylor expansion of x in x 566.492 * [taylor]: Taking taylor expansion of (* z y) in x 566.492 * [taylor]: Taking taylor expansion of z in x 566.492 * [taylor]: Taking taylor expansion of y in x 566.492 * [taylor]: Taking taylor expansion of (* x y) in x 566.492 * [taylor]: Taking taylor expansion of x in x 566.492 * [taylor]: Taking taylor expansion of y in x 566.492 * [taylor]: Taking taylor expansion of (- (+ x (* z y)) (* x y)) in x 566.492 * [taylor]: Taking taylor expansion of (+ x (* z y)) in x 566.492 * [taylor]: Taking taylor expansion of x in x 566.492 * [taylor]: Taking taylor expansion of (* z y) in x 566.492 * [taylor]: Taking taylor expansion of z in x 566.492 * [taylor]: Taking taylor expansion of y in x 566.492 * [taylor]: Taking taylor expansion of (* x y) in x 566.493 * [taylor]: Taking taylor expansion of x in x 566.493 * [taylor]: Taking taylor expansion of y in x 566.493 * [taylor]: Taking taylor expansion of (* z y) in y 566.493 * [taylor]: Taking taylor expansion of z in y 566.493 * [taylor]: Taking taylor expansion of y in y 566.493 * [taylor]: Taking taylor expansion of 0 in z 566.493 * [taylor]: Taking taylor expansion of (- 1 y) in y 566.493 * [taylor]: Taking taylor expansion of 1 in y 566.493 * [taylor]: Taking taylor expansion of y in y 566.493 * [taylor]: Taking taylor expansion of 1 in z 566.493 * [taylor]: Taking taylor expansion of z in z 566.493 * [taylor]: Taking taylor expansion of 0 in y 566.493 * [taylor]: Taking taylor expansion of 0 in z 566.493 * [taylor]: Taking taylor expansion of (neg 1) in z 566.493 * [taylor]: Taking taylor expansion of 1 in z 566.493 * [taylor]: Taking taylor expansion of 0 in z 566.494 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in (x y z) around 0 566.494 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in z 566.494 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z 566.494 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 566.494 * [taylor]: Taking taylor expansion of (* z y) in z 566.494 * [taylor]: Taking taylor expansion of z in z 566.494 * [taylor]: Taking taylor expansion of y in z 566.494 * [taylor]: Taking taylor expansion of (/ 1 x) in z 566.494 * [taylor]: Taking taylor expansion of x in z 566.494 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 566.494 * [taylor]: Taking taylor expansion of (* x y) in z 566.494 * [taylor]: Taking taylor expansion of x in z 566.494 * [taylor]: Taking taylor expansion of y in z 566.494 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in y 566.494 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y 566.494 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 566.494 * [taylor]: Taking taylor expansion of (* z y) in y 566.494 * [taylor]: Taking taylor expansion of z in y 566.494 * [taylor]: Taking taylor expansion of y in y 566.494 * [taylor]: Taking taylor expansion of (/ 1 x) in y 566.494 * [taylor]: Taking taylor expansion of x in y 566.494 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 566.494 * [taylor]: Taking taylor expansion of (* x y) in y 566.494 * [taylor]: Taking taylor expansion of x in y 566.494 * [taylor]: Taking taylor expansion of y in y 566.495 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in x 566.495 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x 566.495 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 566.495 * [taylor]: Taking taylor expansion of (* z y) in x 566.495 * [taylor]: Taking taylor expansion of z in x 566.495 * [taylor]: Taking taylor expansion of y in x 566.495 * [taylor]: Taking taylor expansion of (/ 1 x) in x 566.495 * [taylor]: Taking taylor expansion of x in x 566.495 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 566.495 * [taylor]: Taking taylor expansion of (* x y) in x 566.495 * [taylor]: Taking taylor expansion of x in x 566.495 * [taylor]: Taking taylor expansion of y in x 566.495 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in x 566.495 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x 566.495 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 566.495 * [taylor]: Taking taylor expansion of (* z y) in x 566.495 * [taylor]: Taking taylor expansion of z in x 566.495 * [taylor]: Taking taylor expansion of y in x 566.495 * [taylor]: Taking taylor expansion of (/ 1 x) in x 566.495 * [taylor]: Taking taylor expansion of x in x 566.495 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 566.495 * [taylor]: Taking taylor expansion of (* x y) in x 566.495 * [taylor]: Taking taylor expansion of x in x 566.495 * [taylor]: Taking taylor expansion of y in x 566.495 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 566.495 * [taylor]: Taking taylor expansion of 1 in y 566.495 * [taylor]: Taking taylor expansion of (/ 1 y) in y 566.495 * [taylor]: Taking taylor expansion of y in y 566.496 * [taylor]: Taking taylor expansion of (neg 1) in z 566.496 * [taylor]: Taking taylor expansion of 1 in z 566.496 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 566.496 * [taylor]: Taking taylor expansion of (* z y) in y 566.496 * [taylor]: Taking taylor expansion of z in y 566.496 * [taylor]: Taking taylor expansion of y in y 566.496 * [taylor]: Taking taylor expansion of (/ 1 z) in z 566.496 * [taylor]: Taking taylor expansion of z in z 566.496 * [taylor]: Taking taylor expansion of 1 in z 566.496 * [taylor]: Taking taylor expansion of 0 in y 566.497 * [taylor]: Taking taylor expansion of 0 in z 566.497 * [taylor]: Taking taylor expansion of 0 in z 566.497 * [approximate]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in (x y z) around 0 566.497 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in z 566.497 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 566.497 * [taylor]: Taking taylor expansion of (* z y) in z 566.497 * [taylor]: Taking taylor expansion of z in z 566.497 * [taylor]: Taking taylor expansion of y in z 566.497 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in z 566.497 * [taylor]: Taking taylor expansion of (/ 1 x) in z 566.497 * [taylor]: Taking taylor expansion of x in z 566.497 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 566.497 * [taylor]: Taking taylor expansion of (* x y) in z 566.498 * [taylor]: Taking taylor expansion of x in z 566.498 * [taylor]: Taking taylor expansion of y in z 566.498 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in y 566.498 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 566.498 * [taylor]: Taking taylor expansion of (* z y) in y 566.498 * [taylor]: Taking taylor expansion of z in y 566.498 * [taylor]: Taking taylor expansion of y in y 566.498 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y 566.498 * [taylor]: Taking taylor expansion of (/ 1 x) in y 566.498 * [taylor]: Taking taylor expansion of x in y 566.498 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 566.498 * [taylor]: Taking taylor expansion of (* x y) in y 566.498 * [taylor]: Taking taylor expansion of x in y 566.498 * [taylor]: Taking taylor expansion of y in y 566.498 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in x 566.498 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 566.498 * [taylor]: Taking taylor expansion of (* z y) in x 566.498 * [taylor]: Taking taylor expansion of z in x 566.498 * [taylor]: Taking taylor expansion of y in x 566.498 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 566.498 * [taylor]: Taking taylor expansion of (/ 1 x) in x 566.498 * [taylor]: Taking taylor expansion of x in x 566.498 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 566.498 * [taylor]: Taking taylor expansion of (* x y) in x 566.498 * [taylor]: Taking taylor expansion of x in x 566.498 * [taylor]: Taking taylor expansion of y in x 566.498 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in x 566.498 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 566.498 * [taylor]: Taking taylor expansion of (* z y) in x 566.498 * [taylor]: Taking taylor expansion of z in x 566.498 * [taylor]: Taking taylor expansion of y in x 566.498 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 566.498 * [taylor]: Taking taylor expansion of (/ 1 x) in x 566.498 * [taylor]: Taking taylor expansion of x in x 566.498 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 566.498 * [taylor]: Taking taylor expansion of (* x y) in x 566.498 * [taylor]: Taking taylor expansion of x in x 566.499 * [taylor]: Taking taylor expansion of y in x 566.499 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 y) 1)) in y 566.499 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 566.499 * [taylor]: Taking taylor expansion of (/ 1 y) in y 566.499 * [taylor]: Taking taylor expansion of y in y 566.499 * [taylor]: Taking taylor expansion of 1 in y 566.499 * [taylor]: Taking taylor expansion of (neg 1) in z 566.499 * [taylor]: Taking taylor expansion of 1 in z 566.499 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 566.499 * [taylor]: Taking taylor expansion of (* z y) in y 566.499 * [taylor]: Taking taylor expansion of z in y 566.499 * [taylor]: Taking taylor expansion of y in y 566.499 * [taylor]: Taking taylor expansion of (/ 1 z) in z 566.499 * [taylor]: Taking taylor expansion of z in z 566.499 * [taylor]: Taking taylor expansion of (neg 1) in z 566.499 * [taylor]: Taking taylor expansion of 1 in z 566.500 * [taylor]: Taking taylor expansion of 0 in y 566.500 * [taylor]: Taking taylor expansion of 0 in z 566.500 * [taylor]: Taking taylor expansion of 0 in z 566.500 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 566.500 * [approximate]: Taking taylor expansion of (sqrt (- z x)) in (z x) around 0 566.500 * [taylor]: Taking taylor expansion of (sqrt (- z x)) in x 566.500 * [taylor]: Taking taylor expansion of (- z x) in x 566.500 * [taylor]: Taking taylor expansion of z in x 566.500 * [taylor]: Taking taylor expansion of x in x 566.500 * [taylor]: Taking taylor expansion of (sqrt (- z x)) in z 566.500 * [taylor]: Taking taylor expansion of (- z x) in z 566.500 * [taylor]: Taking taylor expansion of z in z 566.500 * [taylor]: Taking taylor expansion of x in z 566.501 * [taylor]: Taking taylor expansion of (sqrt (- z x)) in z 566.501 * [taylor]: Taking taylor expansion of (- z x) in z 566.501 * [taylor]: Taking taylor expansion of z in z 566.501 * [taylor]: Taking taylor expansion of x in z 566.501 * [taylor]: Taking taylor expansion of (sqrt (neg x)) in x 566.501 * [taylor]: Taking taylor expansion of (neg x) in x 566.501 * [taylor]: Taking taylor expansion of x in x 566.501 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (neg x))) in x 566.501 * [taylor]: Taking taylor expansion of 1/2 in x 566.501 * [taylor]: Taking taylor expansion of (sqrt (neg x)) in x 566.501 * [taylor]: Taking taylor expansion of (neg x) in x 566.501 * [taylor]: Taking taylor expansion of x in x 566.501 * [taylor]: Taking taylor expansion of (/ -1/8 (pow (sqrt (neg x)) 3)) in x 566.501 * [taylor]: Taking taylor expansion of -1/8 in x 566.502 * [taylor]: Taking taylor expansion of (pow (sqrt (neg x)) 3) in x 566.502 * [taylor]: Taking taylor expansion of (sqrt (neg x)) in x 566.502 * [taylor]: Taking taylor expansion of (neg x) in x 566.502 * [taylor]: Taking taylor expansion of x in x 566.505 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in (z x) around 0 566.506 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in x 566.506 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 566.506 * [taylor]: Taking taylor expansion of (/ 1 z) in x 566.506 * [taylor]: Taking taylor expansion of z in x 566.506 * [taylor]: Taking taylor expansion of (/ 1 x) in x 566.506 * [taylor]: Taking taylor expansion of x in x 566.506 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in z 566.506 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 566.506 * [taylor]: Taking taylor expansion of (/ 1 z) in z 566.506 * [taylor]: Taking taylor expansion of z in z 566.506 * [taylor]: Taking taylor expansion of (/ 1 x) in z 566.506 * [taylor]: Taking taylor expansion of x in z 566.506 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in z 566.506 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 566.506 * [taylor]: Taking taylor expansion of (/ 1 z) in z 566.506 * [taylor]: Taking taylor expansion of z in z 566.506 * [taylor]: Taking taylor expansion of (/ 1 x) in z 566.506 * [taylor]: Taking taylor expansion of x in z 566.506 * [taylor]: Taking taylor expansion of 0 in x 566.506 * [taylor]: Taking taylor expansion of NAN in x 566.506 * [taylor]: Taking taylor expansion of (* NAN (+ (pow NAN 2) (/ 1 x))) in x 566.506 * [taylor]: Taking taylor expansion of NAN in x 566.506 * [taylor]: Taking taylor expansion of (+ (pow NAN 2) (/ 1 x)) in x 566.506 * [taylor]: Taking taylor expansion of (pow NAN 2) in x 566.506 * [taylor]: Taking taylor expansion of NAN in x 566.506 * [taylor]: Taking taylor expansion of (/ 1 x) in x 566.506 * [taylor]: Taking taylor expansion of x in x 566.507 * [taylor]: Taking taylor expansion of (* NAN (+ (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) x)))) in x 566.507 * [taylor]: Taking taylor expansion of NAN in x 566.507 * [taylor]: Taking taylor expansion of (+ (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) x))) in x 566.507 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in x 566.507 * [taylor]: Taking taylor expansion of 2 in x 566.507 * [taylor]: Taking taylor expansion of (pow NAN 4) in x 566.507 * [taylor]: Taking taylor expansion of NAN in x 566.507 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) x)) in x 566.507 * [taylor]: Taking taylor expansion of 2 in x 566.507 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) x) in x 566.507 * [taylor]: Taking taylor expansion of (pow NAN 2) in x 566.507 * [taylor]: Taking taylor expansion of NAN in x 566.507 * [taylor]: Taking taylor expansion of x in x 566.508 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in (z x) around 0 566.508 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in x 566.508 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 566.508 * [taylor]: Taking taylor expansion of (/ 1 x) in x 566.508 * [taylor]: Taking taylor expansion of x in x 566.508 * [taylor]: Taking taylor expansion of (/ 1 z) in x 566.508 * [taylor]: Taking taylor expansion of z in x 566.508 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in z 566.508 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 566.508 * [taylor]: Taking taylor expansion of (/ 1 x) in z 566.508 * [taylor]: Taking taylor expansion of x in z 566.508 * [taylor]: Taking taylor expansion of (/ 1 z) in z 566.508 * [taylor]: Taking taylor expansion of z in z 566.508 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in z 566.508 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 566.508 * [taylor]: Taking taylor expansion of (/ 1 x) in z 566.508 * [taylor]: Taking taylor expansion of x in z 566.508 * [taylor]: Taking taylor expansion of (/ 1 z) in z 566.508 * [taylor]: Taking taylor expansion of z in z 566.508 * [taylor]: Taking taylor expansion of 0 in x 566.508 * [taylor]: Taking taylor expansion of NAN in x 566.509 * [taylor]: Taking taylor expansion of (* NAN (- (/ 1 x) (pow NAN 2))) in x 566.509 * [taylor]: Taking taylor expansion of NAN in x 566.509 * [taylor]: Taking taylor expansion of (- (/ 1 x) (pow NAN 2)) in x 566.509 * [taylor]: Taking taylor expansion of (/ 1 x) in x 566.509 * [taylor]: Taking taylor expansion of x in x 566.509 * [taylor]: Taking taylor expansion of (pow NAN 2) in x 566.509 * [taylor]: Taking taylor expansion of NAN in x 566.509 * [taylor]: Taking taylor expansion of (* NAN (- (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) x)))) in x 566.509 * [taylor]: Taking taylor expansion of NAN in x 566.509 * [taylor]: Taking taylor expansion of (- (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) x))) in x 566.509 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in x 566.509 * [taylor]: Taking taylor expansion of 2 in x 566.509 * [taylor]: Taking taylor expansion of (pow NAN 4) in x 566.509 * [taylor]: Taking taylor expansion of NAN in x 566.509 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) x)) in x 566.509 * [taylor]: Taking taylor expansion of 2 in x 566.509 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) x) in x 566.509 * [taylor]: Taking taylor expansion of (pow NAN 2) in x 566.509 * [taylor]: Taking taylor expansion of NAN in x 566.509 * [taylor]: Taking taylor expansion of x in x 566.510 * * * [progress]: simplifying candidates 566.511 * [simplify]: Simplifying using # : (* (* y (sqrt (- z x))) (sqrt (- z x))) (* (* y (sqrt (- z x))) (sqrt (- z x))) (+ (+ (log y) (log (sqrt (- z x)))) (log (sqrt (- z x)))) (+ (log (* y (sqrt (- z x)))) (log (sqrt (- z x)))) (log (* (* y (sqrt (- z x))) (sqrt (- z x)))) (exp (* (* y (sqrt (- z x))) (sqrt (- z x)))) (* (* (* (* y y) y) (* (* (sqrt (- z x)) (sqrt (- z x))) (sqrt (- z x)))) (* (* (sqrt (- z x)) (sqrt (- z x))) (sqrt (- z x)))) (* (* (* (* y (sqrt (- z x))) (* y (sqrt (- z x)))) (* y (sqrt (- z x)))) (* (* (sqrt (- z x)) (sqrt (- z x))) (sqrt (- z x)))) (* (cbrt (* (* y (sqrt (- z x))) (sqrt (- z x)))) (cbrt (* (* y (sqrt (- z x))) (sqrt (- z x))))) (cbrt (* (* y (sqrt (- z x))) (sqrt (- z x)))) (* (* (* (* y (sqrt (- z x))) (sqrt (- z x))) (* (* y (sqrt (- z x))) (sqrt (- z x)))) (* (* y (sqrt (- z x))) (sqrt (- z x)))) (sqrt (* (* y (sqrt (- z x))) (sqrt (- z x)))) (sqrt (* (* y (sqrt (- z x))) (sqrt (- z x)))) (* (* y (sqrt (- (pow z 3) (pow x 3)))) (sqrt (- (pow z 3) (pow x 3)))) (* (sqrt (+ (* z z) (+ (* x x) (* z x)))) (sqrt (+ (* z z) (+ (* x x) (* z x))))) (* (* y (sqrt (- (pow z 3) (pow x 3)))) (sqrt (- (* z z) (* x x)))) (* (sqrt (+ (* z z) (+ (* x x) (* z x)))) (sqrt (+ z x))) (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (- (pow z 3) (pow x 3)))) (* (sqrt (+ z x)) (sqrt (+ (* z z) (+ (* x x) (* z x))))) (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (- (* z z) (* x x)))) (* (sqrt (+ z x)) (sqrt (+ z x))) (* (* y (sqrt (- z x))) (* (cbrt (sqrt (- z x))) (cbrt (sqrt (- z x))))) (* (* y (sqrt (- z x))) (sqrt (* (cbrt (- z x)) (cbrt (- z x))))) (* (* y (sqrt (- z x))) (sqrt (sqrt (- z x)))) (* (* y (sqrt (- z x))) (sqrt 1)) (* (* y (sqrt (- z x))) (sqrt (+ (sqrt z) (sqrt x)))) (* (* y (sqrt (- z x))) (sqrt 1)) (* (* y (sqrt (- z x))) (sqrt (sqrt (- z x)))) (* (* y (sqrt (- z x))) 1) (* (sqrt (- z x)) (sqrt (- z x))) (* (* y (sqrt (- z x))) (sqrt (- (pow z 3) (pow x 3)))) (* (* y (sqrt (- z x))) (sqrt (- (* z z) (* x x)))) (* (* y (sqrt (- (pow z 3) (pow x 3)))) (sqrt (- z x))) (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (- z x))) (* y (sqrt (- z x))) (+ (log y) (log (sqrt (- z x)))) (log (* y (sqrt (- z x)))) (exp (* y (sqrt (- z x)))) (* (* (* y y) y) (* (* (sqrt (- z x)) (sqrt (- z x))) (sqrt (- z x)))) (* (cbrt (* y (sqrt (- z x)))) (cbrt (* y (sqrt (- z x))))) (cbrt (* y (sqrt (- z x)))) (* (* (* y (sqrt (- z x))) (* y (sqrt (- z x)))) (* y (sqrt (- z x)))) (sqrt (* y (sqrt (- z x)))) (sqrt (* y (sqrt (- z x)))) (* (sqrt y) (sqrt (sqrt (- z x)))) (* (sqrt y) (sqrt (sqrt (- z x)))) (* (sqrt y) (sqrt (sqrt (- z x)))) (* (sqrt y) (sqrt (sqrt (- z x)))) (* y (* (cbrt (sqrt (- z x))) (cbrt (sqrt (- z x))))) (* y (sqrt (* (cbrt (- z x)) (cbrt (- z x))))) (* y (sqrt (sqrt (- z x)))) (* y (sqrt 1)) (* y (sqrt (+ (sqrt z) (sqrt x)))) (* y (sqrt 1)) (* y (sqrt (sqrt (- z x)))) (* y 1) (* (cbrt y) (sqrt (- z x))) (* (sqrt y) (sqrt (- z x))) (* y (sqrt (- z x))) (* y (sqrt (- (pow z 3) (pow x 3)))) (* y (sqrt (- (* z z) (* x x)))) (* (exp x) (exp (* (* y (sqrt (- z x))) (sqrt (- z x))))) (log (+ x (* (* y (sqrt (- z x))) (sqrt (- z x))))) (exp (+ x (* (* y (sqrt (- z x))) (sqrt (- z x))))) (* (cbrt (+ x (* (* y (sqrt (- z x))) (sqrt (- z x))))) (cbrt (+ x (* (* y (sqrt (- z x))) (sqrt (- z x)))))) (cbrt (+ x (* (* y (sqrt (- z x))) (sqrt (- z x))))) (* (* (+ x (* (* y (sqrt (- z x))) (sqrt (- z x)))) (+ x (* (* y (sqrt (- z x))) (sqrt (- z x))))) (+ x (* (* y (sqrt (- z x))) (sqrt (- z x))))) (sqrt (+ x (* (* y (sqrt (- z x))) (sqrt (- z x))))) (sqrt (+ x (* (* y (sqrt (- z x))) (sqrt (- z x))))) (+ (pow x 3) (pow (* (* y (sqrt (- z x))) (sqrt (- z x))) 3)) (+ (* x x) (- (* (* (* y (sqrt (- z x))) (sqrt (- z x))) (* (* y (sqrt (- z x))) (sqrt (- z x)))) (* x (* (* y (sqrt (- z x))) (sqrt (- z x)))))) (- (* x x) (* (* (* y (sqrt (- z x))) (sqrt (- z x))) (* (* y (sqrt (- z x))) (sqrt (- z x))))) (- x (* (* y (sqrt (- z x))) (sqrt (- z x)))) (log (sqrt (- z x))) (exp (sqrt (- z x))) (* (cbrt (sqrt (- z x))) (cbrt (sqrt (- z x)))) (cbrt (sqrt (- z x))) (* (* (sqrt (- z x)) (sqrt (- z x))) (sqrt (- z x))) (sqrt (* (cbrt (- z x)) (cbrt (- z x)))) (sqrt (cbrt (- z x))) (sqrt (sqrt (- z x))) (sqrt (sqrt (- z x))) (sqrt 1) (sqrt (- z x)) (sqrt (+ (sqrt z) (sqrt x))) (sqrt (- (sqrt z) (sqrt x))) (sqrt 1) (sqrt (- z x)) (sqrt (- (pow z 3) (pow x 3))) (sqrt (+ (* z z) (+ (* x x) (* z x)))) (sqrt (- (* z z) (* x x))) (sqrt (+ z x)) (/ 1 2) (sqrt (sqrt (- z x))) (sqrt (sqrt (- z x))) (- (* z y) (* x y)) (- (* z y) (* x y)) (- (* z y) (* x y)) (- (+ (* 1/8 (* (pow NAN 3) (* (pow z 2) y))) (* x (* NAN y))) (* 1/2 (* NAN (* z y)))) (+ (* NAN y) (+ (* 2 (/ (* x (* (pow NAN 3) y)) (pow z 2))) (/ (* x (* NAN y)) z))) (+ (* NAN y) (+ (* 2 (/ (* x (* (pow NAN 3) y)) (pow z 2))) (/ (* x (* NAN y)) z))) (- (+ x (* z y)) (* x y)) (- (+ x (* z y)) (* x y)) (- (+ x (* z y)) (* x y)) (- (+ (* x NAN) (* 1/8 (* (pow NAN 3) (pow z 2)))) (* 1/2 (* NAN z))) (+ (/ (* x NAN) z) (+ NAN (* 2 (/ (* x (pow NAN 3)) (pow z 2))))) (+ (/ (* x NAN) z) (+ NAN (* 2 (/ (* x (pow NAN 3)) (pow z 2))))) 566.512 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 566.513 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 566.519 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 566.521 * * [simplify]: iteration 3 : 24 enodes (cost 5 ) 566.525 * * [simplify]: iteration 4 : 28 enodes (cost 5 ) 566.528 * * [simplify]: iteration 5 : 32 enodes (cost 5 ) 566.532 * * [simplify]: iteration done : 32 enodes (cost 5 ) 566.532 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 566.533 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 566.535 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 566.536 * * [simplify]: iteration 3 : 24 enodes (cost 5 ) 566.539 * * [simplify]: iteration 4 : 28 enodes (cost 5 ) 566.542 * * [simplify]: iteration 5 : 32 enodes (cost 5 ) 566.546 * * [simplify]: iteration done : 32 enodes (cost 5 ) 566.547 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 566.548 * * [simplify]: iteration 1 : 15 enodes (cost 14 ) 566.549 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 566.551 * * [simplify]: iteration 3 : 20 enodes (cost 10 ) 566.553 * * [simplify]: iteration done : 20 enodes (cost 10 ) 566.554 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 566.555 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 566.556 * * [simplify]: iteration 2 : 19 enodes (cost 13 ) 566.558 * * [simplify]: iteration 3 : 22 enodes (cost 10 ) 566.560 * * [simplify]: iteration 4 : 23 enodes (cost 10 ) 566.562 * * [simplify]: iteration done : 23 enodes (cost 10 ) 566.563 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 566.564 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 566.566 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 566.569 * * [simplify]: iteration 3 : 38 enodes (cost 6 ) 566.574 * * [simplify]: iteration 4 : 44 enodes (cost 6 ) 566.581 * * [simplify]: iteration 5 : 49 enodes (cost 6 ) 566.586 * * [simplify]: iteration done : 49 enodes (cost 6 ) 566.587 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 566.588 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 566.590 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 566.593 * * [simplify]: iteration 3 : 55 enodes (cost 6 ) 566.601 * * [simplify]: iteration 4 : 116 enodes (cost 6 ) 566.619 * * [simplify]: iteration 5 : 244 enodes (cost 6 ) 566.723 * * [simplify]: iteration 6 : 576 enodes (cost 6 ) 567.130 * * [simplify]: iteration 7 : 1517 enodes (cost 6 ) 568.655 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 568.656 * * [simplify]: iteration 0 : 11 enodes (cost 35 ) 568.658 * * [simplify]: iteration 1 : 25 enodes (cost 23 ) 568.663 * * [simplify]: iteration 2 : 102 enodes (cost 15 ) 568.704 * * [simplify]: iteration 3 : 432 enodes (cost 9 ) 569.100 * * [simplify]: iteration 4 : 1600 enodes (cost 9 ) 571.662 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 571.663 * * [simplify]: iteration 0 : 11 enodes (cost 35 ) 571.664 * * [simplify]: iteration 1 : 29 enodes (cost 23 ) 571.670 * * [simplify]: iteration 2 : 114 enodes (cost 15 ) 571.722 * * [simplify]: iteration 3 : 464 enodes (cost 15 ) 572.190 * * [simplify]: iteration 4 : 1597 enodes (cost 7 ) 574.903 * * [simplify]: iteration 5 : 4746 enodes (cost 7 ) 576.926 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 576.927 * * [simplify]: iteration 0 : 9 enodes (cost 25 ) 576.928 * * [simplify]: iteration 1 : 15 enodes (cost 25 ) 576.930 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 576.932 * * [simplify]: iteration 3 : 26 enodes (cost 13 ) 576.935 * * [simplify]: iteration 4 : 30 enodes (cost 13 ) 576.938 * * [simplify]: iteration 5 : 34 enodes (cost 13 ) 576.942 * * [simplify]: iteration done : 34 enodes (cost 13 ) 576.943 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 576.943 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 576.945 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 576.947 * * [simplify]: iteration 3 : 25 enodes (cost 6 ) 576.950 * * [simplify]: iteration 4 : 29 enodes (cost 6 ) 576.960 * * [simplify]: iteration 5 : 33 enodes (cost 6 ) 576.963 * * [simplify]: iteration done : 33 enodes (cost 6 ) 576.964 * * [simplify]: iteration 0 : 9 enodes (cost 35 ) 576.965 * * [simplify]: iteration 1 : 24 enodes (cost 35 ) 576.971 * * [simplify]: iteration 2 : 80 enodes (cost 7 ) 577.003 * * [simplify]: iteration 3 : 271 enodes (cost 7 ) 577.199 * * [simplify]: iteration 4 : 867 enodes (cost 7 ) 578.206 * * [simplify]: iteration 5 : 2399 enodes (cost 7 ) 580.531 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 580.532 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 580.533 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 580.535 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 580.536 * * [simplify]: iteration 3 : 25 enodes (cost 6 ) 580.540 * * [simplify]: iteration 4 : 29 enodes (cost 6 ) 580.543 * * [simplify]: iteration 5 : 33 enodes (cost 6 ) 580.547 * * [simplify]: iteration done : 33 enodes (cost 6 ) 580.547 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 580.548 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 580.550 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 580.552 * * [simplify]: iteration 3 : 25 enodes (cost 6 ) 580.555 * * [simplify]: iteration 4 : 29 enodes (cost 6 ) 580.562 * * [simplify]: iteration 5 : 33 enodes (cost 6 ) 580.566 * * [simplify]: iteration done : 33 enodes (cost 6 ) 580.566 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 580.568 * * [simplify]: iteration 1 : 29 enodes (cost 19 ) 580.572 * * [simplify]: iteration 2 : 52 enodes (cost 9 ) 580.579 * * [simplify]: iteration 3 : 99 enodes (cost 9 ) 580.597 * * [simplify]: iteration 4 : 257 enodes (cost 9 ) 580.693 * * [simplify]: iteration 5 : 906 enodes (cost 9 ) 581.531 * * [simplify]: iteration 6 : 4198 enodes (cost 9 ) 583.869 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 583.869 * * [simplify]: iteration 0 : 9 enodes (cost 25 ) 583.871 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 583.873 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 583.876 * * [simplify]: iteration 3 : 26 enodes (cost 9 ) 583.880 * * [simplify]: iteration 4 : 27 enodes (cost 9 ) 583.884 * * [simplify]: iteration done : 27 enodes (cost 9 ) 583.885 * * [simplify]: iteration 0 : 14 enodes (cost 19 ) 583.887 * * [simplify]: iteration 1 : 36 enodes (cost 19 ) 583.892 * * [simplify]: iteration 2 : 69 enodes (cost 19 ) 583.908 * * [simplify]: iteration 3 : 114 enodes (cost 19 ) 583.927 * * [simplify]: iteration 4 : 223 enodes (cost 19 ) 583.990 * * [simplify]: iteration 5 : 595 enodes (cost 19 ) 584.372 * * [simplify]: iteration 6 : 2426 enodes (cost 19 ) 585.553 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 585.554 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 585.555 * * [simplify]: iteration 1 : 19 enodes (cost 15 ) 585.558 * * [simplify]: iteration 2 : 26 enodes (cost 15 ) 585.562 * * [simplify]: iteration 3 : 27 enodes (cost 15 ) 585.566 * * [simplify]: iteration 4 : 28 enodes (cost 15 ) 585.575 * * [simplify]: iteration done : 28 enodes (cost 15 ) 585.576 * * [simplify]: iteration 0 : 14 enodes (cost 19 ) 585.578 * * [simplify]: iteration 1 : 36 enodes (cost 19 ) 585.583 * * [simplify]: iteration 2 : 69 enodes (cost 19 ) 585.593 * * [simplify]: iteration 3 : 114 enodes (cost 19 ) 585.613 * * [simplify]: iteration 4 : 229 enodes (cost 19 ) 585.674 * * [simplify]: iteration 5 : 604 enodes (cost 19 ) 586.054 * * [simplify]: iteration 6 : 2439 enodes (cost 19 ) 587.159 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 587.160 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 587.162 * * [simplify]: iteration 1 : 19 enodes (cost 15 ) 587.164 * * [simplify]: iteration 2 : 26 enodes (cost 15 ) 587.168 * * [simplify]: iteration 3 : 27 enodes (cost 15 ) 587.172 * * [simplify]: iteration 4 : 28 enodes (cost 15 ) 587.181 * * [simplify]: iteration done : 28 enodes (cost 15 ) 587.181 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 587.183 * * [simplify]: iteration 1 : 18 enodes (cost 19 ) 587.185 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 587.189 * * [simplify]: iteration 3 : 58 enodes (cost 9 ) 587.199 * * [simplify]: iteration 4 : 141 enodes (cost 9 ) 587.230 * * [simplify]: iteration 5 : 256 enodes (cost 9 ) 587.306 * * [simplify]: iteration 6 : 405 enodes (cost 9 ) 587.454 * * [simplify]: iteration 7 : 686 enodes (cost 9 ) 588.394 * * [simplify]: iteration 8 : 2298 enodes (cost 9 ) 591.904 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 591.904 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 591.905 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 591.906 * * [simplify]: iteration 2 : 7 enodes (cost 3 ) 591.906 * * [simplify]: iteration done : 7 enodes (cost 3 ) 591.907 * * [simplify]: iteration 0 : 9 enodes (cost 18 ) 591.908 * * [simplify]: iteration 1 : 17 enodes (cost 18 ) 591.910 * * [simplify]: iteration 2 : 31 enodes (cost 18 ) 591.915 * * [simplify]: iteration 3 : 41 enodes (cost 18 ) 591.921 * * [simplify]: iteration done : 41 enodes (cost 18 ) 591.922 * * [simplify]: iteration 0 : 10 enodes (cost 17 ) 591.923 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 591.925 * * [simplify]: iteration 2 : 24 enodes (cost 12 ) 591.927 * * [simplify]: iteration 3 : 26 enodes (cost 12 ) 591.930 * * [simplify]: iteration done : 26 enodes (cost 12 ) 591.931 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 591.932 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 591.933 * * [simplify]: iteration 2 : 21 enodes (cost 12 ) 591.936 * * [simplify]: iteration done : 21 enodes (cost 12 ) 591.937 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 591.938 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 591.939 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 591.942 * * [simplify]: iteration done : 24 enodes (cost 6 ) 591.947 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 591.948 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 591.950 * * [simplify]: iteration 2 : 25 enodes (cost 13 ) 591.953 * * [simplify]: iteration done : 25 enodes (cost 13 ) 591.954 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 591.955 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 591.957 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 591.960 * * [simplify]: iteration done : 24 enodes (cost 6 ) 591.960 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 591.961 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 591.963 * * [simplify]: iteration 2 : 21 enodes (cost 12 ) 591.965 * * [simplify]: iteration done : 21 enodes (cost 12 ) 591.966 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 591.967 * * [simplify]: iteration 1 : 16 enodes (cost 6 ) 591.969 * * [simplify]: iteration 2 : 29 enodes (cost 6 ) 591.973 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 591.974 * * [simplify]: iteration done : 35 enodes (cost 6 ) 591.975 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 591.976 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 591.976 * * [simplify]: iteration 2 : 9 enodes (cost 3 ) 591.977 * * [simplify]: iteration done : 9 enodes (cost 3 ) 591.978 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 591.979 * * [simplify]: iteration 1 : 33 enodes (cost 15 ) 591.984 * * [simplify]: iteration 2 : 61 enodes (cost 15 ) 591.992 * * [simplify]: iteration 3 : 95 enodes (cost 15 ) 592.012 * * [simplify]: iteration 4 : 184 enodes (cost 15 ) 592.059 * * [simplify]: iteration 5 : 516 enodes (cost 15 ) 592.424 * * [simplify]: iteration 6 : 2321 enodes (cost 15 ) 593.519 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 593.520 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 593.522 * * [simplify]: iteration 1 : 21 enodes (cost 15 ) 593.524 * * [simplify]: iteration 2 : 39 enodes (cost 15 ) 593.530 * * [simplify]: iteration 3 : 64 enodes (cost 15 ) 593.541 * * [simplify]: iteration 4 : 92 enodes (cost 15 ) 593.560 * * [simplify]: iteration 5 : 153 enodes (cost 15 ) 593.607 * * [simplify]: iteration 6 : 304 enodes (cost 15 ) 594.113 * * [simplify]: iteration 7 : 1445 enodes (cost 15 ) 598.776 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 598.777 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 598.779 * * [simplify]: iteration 1 : 33 enodes (cost 15 ) 598.783 * * [simplify]: iteration 2 : 61 enodes (cost 15 ) 598.791 * * [simplify]: iteration 3 : 95 enodes (cost 15 ) 598.808 * * [simplify]: iteration 4 : 185 enodes (cost 15 ) 598.859 * * [simplify]: iteration 5 : 516 enodes (cost 15 ) 599.221 * * [simplify]: iteration 6 : 2305 enodes (cost 15 ) 600.361 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 600.362 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 600.363 * * [simplify]: iteration 1 : 21 enodes (cost 15 ) 600.366 * * [simplify]: iteration 2 : 39 enodes (cost 15 ) 600.379 * * [simplify]: iteration 3 : 64 enodes (cost 15 ) 600.395 * * [simplify]: iteration 4 : 92 enodes (cost 15 ) 600.414 * * [simplify]: iteration 5 : 144 enodes (cost 15 ) 600.460 * * [simplify]: iteration 6 : 291 enodes (cost 15 ) 600.971 * * [simplify]: iteration 7 : 1431 enodes (cost 15 ) 605.710 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 605.710 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 605.711 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 605.712 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 605.713 * * [simplify]: iteration done : 10 enodes (cost 6 ) 605.714 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 605.714 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 605.715 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 605.716 * * [simplify]: iteration done : 12 enodes (cost 8 ) 605.717 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 605.718 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 605.719 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 605.721 * * [simplify]: iteration done : 15 enodes (cost 7 ) 605.722 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 605.722 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 605.724 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 605.726 * * [simplify]: iteration 3 : 27 enodes (cost 7 ) 605.729 * * [simplify]: iteration 4 : 50 enodes (cost 7 ) 605.736 * * [simplify]: iteration 5 : 106 enodes (cost 7 ) 605.773 * * [simplify]: iteration 6 : 253 enodes (cost 7 ) 605.926 * * [simplify]: iteration 7 : 719 enodes (cost 7 ) 607.271 * * [simplify]: iteration 8 : 2745 enodes (cost 7 ) 609.131 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 609.132 * * [simplify]: iteration 0 : 10 enodes (cost 20 ) 609.133 * * [simplify]: iteration 1 : 19 enodes (cost 14 ) 609.142 * * [simplify]: iteration 2 : 58 enodes (cost 10 ) 609.156 * * [simplify]: iteration 3 : 172 enodes (cost 10 ) 609.211 * * [simplify]: iteration 4 : 347 enodes (cost 8 ) 609.358 * * [simplify]: iteration 5 : 661 enodes (cost 8 ) 609.789 * * [simplify]: iteration 6 : 1484 enodes (cost 8 ) 611.885 * * [simplify]: iteration 7 : 4488 enodes (cost 8 ) 613.823 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 613.824 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 613.825 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 613.826 * * [simplify]: iteration 2 : 12 enodes (cost 15 ) 613.827 * * [simplify]: iteration done : 12 enodes (cost 15 ) 613.828 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 613.829 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 613.830 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 613.831 * * [simplify]: iteration done : 11 enodes (cost 7 ) 613.831 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 613.832 * * [simplify]: iteration 1 : 21 enodes (cost 20 ) 613.836 * * [simplify]: iteration 2 : 51 enodes (cost 8 ) 613.849 * * [simplify]: iteration 3 : 119 enodes (cost 8 ) 613.888 * * [simplify]: iteration 4 : 241 enodes (cost 8 ) 613.972 * * [simplify]: iteration 5 : 383 enodes (cost 8 ) 614.139 * * [simplify]: iteration 6 : 704 enodes (cost 8 ) 614.613 * * [simplify]: iteration 7 : 1510 enodes (cost 8 ) 616.751 * * [simplify]: iteration 8 : 4519 enodes (cost 8 ) 618.651 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 618.652 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 618.652 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 618.653 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 618.654 * * [simplify]: iteration done : 11 enodes (cost 7 ) 618.655 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 618.656 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 618.657 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 618.658 * * [simplify]: iteration done : 11 enodes (cost 7 ) 618.658 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 618.659 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 618.660 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 618.661 * * [simplify]: iteration done : 12 enodes (cost 8 ) 618.662 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 618.662 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 618.663 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 618.664 * * [simplify]: iteration done : 12 enodes (cost 8 ) 618.665 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 618.666 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 618.667 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 618.668 * * [simplify]: iteration done : 12 enodes (cost 8 ) 618.668 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 618.669 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 618.670 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 618.671 * * [simplify]: iteration done : 12 enodes (cost 8 ) 618.672 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 618.673 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 618.674 * * [simplify]: iteration 2 : 16 enodes (cost 13 ) 618.676 * * [simplify]: iteration done : 16 enodes (cost 13 ) 618.677 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 618.677 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 618.682 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 618.683 * * [simplify]: iteration done : 13 enodes (cost 7 ) 618.684 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 618.684 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 618.686 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 618.687 * * [simplify]: iteration done : 11 enodes (cost 7 ) 618.687 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 618.688 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 618.688 * * [simplify]: iteration done : 7 enodes (cost 3 ) 618.689 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 618.690 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 618.691 * * [simplify]: iteration done : 10 enodes (cost 8 ) 618.691 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 618.692 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 618.692 * * [simplify]: iteration done : 7 enodes (cost 3 ) 618.693 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 618.693 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 618.694 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 618.695 * * [simplify]: iteration done : 11 enodes (cost 7 ) 618.696 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 618.696 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 618.697 * * [simplify]: iteration done : 6 enodes (cost 1 ) 618.697 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 618.698 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 618.699 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 618.700 * * [simplify]: iteration done : 11 enodes (cost 7 ) 618.700 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 618.701 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 618.702 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 618.703 * * [simplify]: iteration done : 11 enodes (cost 7 ) 618.704 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 618.705 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 618.705 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 618.706 * * [simplify]: iteration done : 10 enodes (cost 6 ) 618.707 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 618.708 * * [simplify]: iteration 1 : 25 enodes (cost 10 ) 618.711 * * [simplify]: iteration 2 : 47 enodes (cost 10 ) 618.719 * * [simplify]: iteration 3 : 81 enodes (cost 10 ) 618.732 * * [simplify]: iteration 4 : 165 enodes (cost 10 ) 618.780 * * [simplify]: iteration 5 : 498 enodes (cost 10 ) 619.122 * * [simplify]: iteration 6 : 2240 enodes (cost 10 ) 620.294 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 620.295 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 620.296 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 620.298 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 620.300 * * [simplify]: iteration 3 : 36 enodes (cost 10 ) 620.306 * * [simplify]: iteration 4 : 61 enodes (cost 10 ) 620.321 * * [simplify]: iteration 5 : 102 enodes (cost 10 ) 620.344 * * [simplify]: iteration 6 : 164 enodes (cost 10 ) 620.396 * * [simplify]: iteration 7 : 332 enodes (cost 10 ) 621.111 * * [simplify]: iteration 8 : 1616 enodes (cost 10 ) 627.028 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 627.029 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 627.031 * * [simplify]: iteration 1 : 21 enodes (cost 14 ) 627.033 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 627.038 * * [simplify]: iteration 3 : 65 enodes (cost 8 ) 627.048 * * [simplify]: iteration 4 : 151 enodes (cost 8 ) 627.076 * * [simplify]: iteration 5 : 341 enodes (cost 8 ) 627.231 * * [simplify]: iteration 6 : 831 enodes (cost 8 ) 627.922 * * [simplify]: iteration 7 : 2327 enodes (cost 8 ) 629.399 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 629.400 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 629.401 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 629.403 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 629.406 * * [simplify]: iteration 3 : 27 enodes (cost 8 ) 629.410 * * [simplify]: iteration 4 : 39 enodes (cost 8 ) 629.415 * * [simplify]: iteration 5 : 47 enodes (cost 8 ) 629.424 * * [simplify]: iteration 6 : 54 enodes (cost 8 ) 629.432 * * [simplify]: iteration 7 : 67 enodes (cost 8 ) 629.441 * * [simplify]: iteration 8 : 94 enodes (cost 8 ) 629.462 * * [simplify]: iteration 9 : 134 enodes (cost 8 ) 629.489 * * [simplify]: iteration 10 : 164 enodes (cost 8 ) 629.508 * * [simplify]: iteration 11 : 178 enodes (cost 8 ) 629.533 * * [simplify]: iteration 12 : 191 enodes (cost 8 ) 629.561 * * [simplify]: iteration 13 : 220 enodes (cost 8 ) 629.591 * * [simplify]: iteration 14 : 238 enodes (cost 8 ) 629.628 * * [simplify]: iteration 15 : 274 enodes (cost 8 ) 629.687 * * [simplify]: iteration 16 : 336 enodes (cost 8 ) 629.747 * * [simplify]: iteration 17 : 401 enodes (cost 8 ) 629.836 * * [simplify]: iteration 18 : 501 enodes (cost 8 ) 629.940 * * [simplify]: iteration 19 : 603 enodes (cost 8 ) 630.091 * * [simplify]: iteration 20 : 769 enodes (cost 8 ) 630.265 * * [simplify]: iteration 21 : 882 enodes (cost 8 ) 630.410 * * [simplify]: iteration 22 : 892 enodes (cost 8 ) 630.551 * * [simplify]: iteration 23 : 900 enodes (cost 8 ) 630.693 * * [simplify]: iteration 24 : 917 enodes (cost 8 ) 630.843 * * [simplify]: iteration 25 : 942 enodes (cost 8 ) 631.023 * * [simplify]: iteration 26 : 1024 enodes (cost 8 ) 631.690 * * [simplify]: iteration 27 : 1375 enodes (cost 8 ) 644.306 * * [simplify]: iteration 28 : 2415 enodes (cost 8 ) 857.323 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 857.324 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 857.325 * * [simplify]: iteration 1 : 19 enodes (cost 14 ) 857.328 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 857.332 * * [simplify]: iteration 3 : 51 enodes (cost 8 ) 857.340 * * [simplify]: iteration 4 : 115 enodes (cost 8 ) 857.359 * * [simplify]: iteration 5 : 257 enodes (cost 8 ) 857.431 * * [simplify]: iteration 6 : 584 enodes (cost 8 ) 857.778 * * [simplify]: iteration 7 : 1526 enodes (cost 8 ) 859.502 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 859.503 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 859.504 * * [simplify]: iteration 1 : 17 enodes (cost 29 ) 859.507 * * [simplify]: iteration 2 : 19 enodes (cost 17 ) 859.509 * * [simplify]: iteration 3 : 28 enodes (cost 17 ) 859.513 * * [simplify]: iteration 4 : 40 enodes (cost 17 ) 859.518 * * [simplify]: iteration 5 : 46 enodes (cost 17 ) 859.525 * * [simplify]: iteration 6 : 53 enodes (cost 17 ) 859.533 * * [simplify]: iteration 7 : 66 enodes (cost 17 ) 859.543 * * [simplify]: iteration 8 : 93 enodes (cost 17 ) 859.567 * * [simplify]: iteration 9 : 133 enodes (cost 17 ) 859.592 * * [simplify]: iteration 10 : 163 enodes (cost 17 ) 859.615 * * [simplify]: iteration 11 : 177 enodes (cost 17 ) 859.639 * * [simplify]: iteration 12 : 190 enodes (cost 17 ) 859.670 * * [simplify]: iteration 13 : 219 enodes (cost 17 ) 859.699 * * [simplify]: iteration 14 : 237 enodes (cost 17 ) 859.741 * * [simplify]: iteration 15 : 272 enodes (cost 17 ) 859.801 * * [simplify]: iteration 16 : 334 enodes (cost 17 ) 859.861 * * [simplify]: iteration 17 : 399 enodes (cost 17 ) 859.950 * * [simplify]: iteration 18 : 501 enodes (cost 17 ) 860.050 * * [simplify]: iteration 19 : 605 enodes (cost 17 ) 860.204 * * [simplify]: iteration 20 : 773 enodes (cost 17 ) 860.382 * * [simplify]: iteration 21 : 882 enodes (cost 17 ) 860.520 * * [simplify]: iteration 22 : 886 enodes (cost 17 ) 860.662 * * [simplify]: iteration done : 886 enodes (cost 17 ) 860.663 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 860.664 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 860.666 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 860.668 * * [simplify]: iteration 3 : 27 enodes (cost 8 ) 860.672 * * [simplify]: iteration 4 : 39 enodes (cost 8 ) 860.677 * * [simplify]: iteration 5 : 47 enodes (cost 8 ) 860.683 * * [simplify]: iteration 6 : 54 enodes (cost 8 ) 860.691 * * [simplify]: iteration 7 : 67 enodes (cost 8 ) 860.701 * * [simplify]: iteration 8 : 94 enodes (cost 8 ) 860.724 * * [simplify]: iteration 9 : 134 enodes (cost 8 ) 860.749 * * [simplify]: iteration 10 : 164 enodes (cost 8 ) 860.772 * * [simplify]: iteration 11 : 178 enodes (cost 8 ) 860.795 * * [simplify]: iteration 12 : 191 enodes (cost 8 ) 860.823 * * [simplify]: iteration 13 : 220 enodes (cost 8 ) 860.854 * * [simplify]: iteration 14 : 238 enodes (cost 8 ) 860.894 * * [simplify]: iteration 15 : 274 enodes (cost 8 ) 860.954 * * [simplify]: iteration 16 : 336 enodes (cost 8 ) 861.015 * * [simplify]: iteration 17 : 401 enodes (cost 8 ) 861.105 * * [simplify]: iteration 18 : 501 enodes (cost 8 ) 861.206 * * [simplify]: iteration 19 : 603 enodes (cost 8 ) 861.362 * * [simplify]: iteration 20 : 769 enodes (cost 8 ) 861.545 * * [simplify]: iteration 21 : 880 enodes (cost 8 ) 861.678 * * [simplify]: iteration 22 : 884 enodes (cost 8 ) 861.817 * * [simplify]: iteration done : 884 enodes (cost 8 ) 861.818 * * [simplify]: iteration 0 : 10 enodes (cost 41 ) 861.820 * * [simplify]: iteration 1 : 30 enodes (cost 41 ) 861.826 * * [simplify]: iteration 2 : 88 enodes (cost 9 ) 861.853 * * [simplify]: iteration 3 : 350 enodes (cost 9 ) 862.084 * * [simplify]: iteration 4 : 1389 enodes (cost 9 ) 863.484 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 863.485 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 863.486 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 863.488 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 863.490 * * [simplify]: iteration 3 : 27 enodes (cost 8 ) 863.494 * * [simplify]: iteration 4 : 39 enodes (cost 8 ) 863.499 * * [simplify]: iteration 5 : 47 enodes (cost 8 ) 863.509 * * [simplify]: iteration 6 : 54 enodes (cost 8 ) 863.516 * * [simplify]: iteration 7 : 67 enodes (cost 8 ) 863.526 * * [simplify]: iteration 8 : 94 enodes (cost 8 ) 863.545 * * [simplify]: iteration 9 : 134 enodes (cost 8 ) 863.575 * * [simplify]: iteration 10 : 164 enodes (cost 8 ) 863.593 * * [simplify]: iteration 11 : 178 enodes (cost 8 ) 863.620 * * [simplify]: iteration 12 : 191 enodes (cost 8 ) 863.647 * * [simplify]: iteration 13 : 220 enodes (cost 8 ) 863.679 * * [simplify]: iteration 14 : 238 enodes (cost 8 ) 863.716 * * [simplify]: iteration 15 : 274 enodes (cost 8 ) 863.775 * * [simplify]: iteration 16 : 336 enodes (cost 8 ) 863.840 * * [simplify]: iteration 17 : 401 enodes (cost 8 ) 863.927 * * [simplify]: iteration 18 : 501 enodes (cost 8 ) 864.032 * * [simplify]: iteration 19 : 603 enodes (cost 8 ) 864.185 * * [simplify]: iteration 20 : 769 enodes (cost 8 ) 864.359 * * [simplify]: iteration 21 : 880 enodes (cost 8 ) 864.497 * * [simplify]: iteration 22 : 884 enodes (cost 8 ) 864.633 * * [simplify]: iteration done : 884 enodes (cost 8 ) 864.634 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 864.635 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 864.637 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 864.639 * * [simplify]: iteration 3 : 27 enodes (cost 8 ) 864.642 * * [simplify]: iteration 4 : 39 enodes (cost 8 ) 864.650 * * [simplify]: iteration 5 : 47 enodes (cost 8 ) 864.657 * * [simplify]: iteration 6 : 54 enodes (cost 8 ) 864.665 * * [simplify]: iteration 7 : 67 enodes (cost 8 ) 864.674 * * [simplify]: iteration 8 : 94 enodes (cost 8 ) 864.694 * * [simplify]: iteration 9 : 134 enodes (cost 8 ) 864.721 * * [simplify]: iteration 10 : 164 enodes (cost 8 ) 864.740 * * [simplify]: iteration 11 : 178 enodes (cost 8 ) 864.765 * * [simplify]: iteration 12 : 191 enodes (cost 8 ) 864.792 * * [simplify]: iteration 13 : 220 enodes (cost 8 ) 864.823 * * [simplify]: iteration 14 : 238 enodes (cost 8 ) 864.861 * * [simplify]: iteration 15 : 274 enodes (cost 8 ) 864.918 * * [simplify]: iteration 16 : 336 enodes (cost 8 ) 864.976 * * [simplify]: iteration 17 : 401 enodes (cost 8 ) 865.061 * * [simplify]: iteration 18 : 501 enodes (cost 8 ) 865.166 * * [simplify]: iteration 19 : 603 enodes (cost 8 ) 865.319 * * [simplify]: iteration 20 : 769 enodes (cost 8 ) 865.494 * * [simplify]: iteration 21 : 880 enodes (cost 8 ) 865.631 * * [simplify]: iteration 22 : 884 enodes (cost 8 ) 865.765 * * [simplify]: iteration done : 884 enodes (cost 8 ) 865.766 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 865.768 * * [simplify]: iteration 1 : 34 enodes (cost 17 ) 865.777 * * [simplify]: iteration 2 : 89 enodes (cost 11 ) 865.808 * * [simplify]: iteration 3 : 308 enodes (cost 11 ) 866.014 * * [simplify]: iteration 4 : 1053 enodes (cost 11 ) 867.743 * * [simplify]: iteration 5 : 4197 enodes (cost 11 ) 869.551 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 869.552 * * [simplify]: iteration 0 : 12 enodes (cost 41 ) 869.554 * * [simplify]: iteration 1 : 34 enodes (cost 29 ) 869.561 * * [simplify]: iteration 2 : 104 enodes (cost 17 ) 869.594 * * [simplify]: iteration 3 : 288 enodes (cost 17 ) 869.724 * * [simplify]: iteration 4 : 707 enodes (cost 17 ) 870.159 * * [simplify]: iteration 5 : 1686 enodes (cost 17 ) 872.237 * * [simplify]: iteration 6 : 4824 enodes (cost 17 ) 873.757 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 873.758 * * [simplify]: iteration 0 : 10 enodes (cost 27 ) 873.759 * * [simplify]: iteration 1 : 27 enodes (cost 27 ) 873.765 * * [simplify]: iteration 2 : 77 enodes (cost 15 ) 873.798 * * [simplify]: iteration 3 : 273 enodes (cost 15 ) 873.976 * * [simplify]: iteration 4 : 890 enodes (cost 15 ) 874.661 * * [simplify]: iteration 5 : 2189 enodes (cost 14 ) 877.045 * * [simplify]: iteration done : 5001 enodes (cost 14 ) 877.045 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 877.046 * * [simplify]: iteration 1 : 16 enodes (cost 13 ) 877.048 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 877.053 * * [simplify]: iteration 3 : 63 enodes (cost 7 ) 877.065 * * [simplify]: iteration 4 : 97 enodes (cost 7 ) 877.082 * * [simplify]: iteration 5 : 121 enodes (cost 7 ) 877.105 * * [simplify]: iteration 6 : 137 enodes (cost 7 ) 877.123 * * [simplify]: iteration 7 : 151 enodes (cost 7 ) 877.145 * * [simplify]: iteration 8 : 182 enodes (cost 7 ) 877.185 * * [simplify]: iteration 9 : 245 enodes (cost 7 ) 877.233 * * [simplify]: iteration 10 : 286 enodes (cost 7 ) 877.286 * * [simplify]: iteration 11 : 323 enodes (cost 7 ) 877.344 * * [simplify]: iteration 12 : 390 enodes (cost 7 ) 877.429 * * [simplify]: iteration 13 : 489 enodes (cost 7 ) 877.530 * * [simplify]: iteration 14 : 590 enodes (cost 7 ) 877.678 * * [simplify]: iteration 15 : 756 enodes (cost 7 ) 877.846 * * [simplify]: iteration 16 : 867 enodes (cost 7 ) 877.986 * * [simplify]: iteration 17 : 871 enodes (cost 7 ) 878.123 * * [simplify]: iteration done : 871 enodes (cost 7 ) 878.123 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 878.124 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 878.125 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 878.126 * * [simplify]: iteration done : 8 enodes (cost 5 ) 878.126 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 878.127 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 878.128 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 878.128 * * [simplify]: iteration done : 8 enodes (cost 5 ) 878.129 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 878.130 * * [simplify]: iteration 1 : 8 enodes (cost 11 ) 878.130 * * [simplify]: iteration 2 : 9 enodes (cost 11 ) 878.131 * * [simplify]: iteration done : 9 enodes (cost 11 ) 878.132 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 878.132 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 878.133 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 878.133 * * [simplify]: iteration done : 8 enodes (cost 5 ) 878.134 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 878.135 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 878.136 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 878.139 * * [simplify]: iteration 3 : 29 enodes (cost 6 ) 878.146 * * [simplify]: iteration 4 : 39 enodes (cost 6 ) 878.151 * * [simplify]: iteration 5 : 49 enodes (cost 6 ) 878.157 * * [simplify]: iteration 6 : 70 enodes (cost 6 ) 878.169 * * [simplify]: iteration 7 : 128 enodes (cost 6 ) 878.221 * * [simplify]: iteration 8 : 341 enodes (cost 6 ) 878.690 * * [simplify]: iteration 9 : 1259 enodes (cost 6 ) 881.155 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 881.156 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 881.162 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 881.162 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 881.163 * * [simplify]: iteration done : 10 enodes (cost 5 ) 881.164 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 881.164 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 881.165 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 881.166 * * [simplify]: iteration done : 8 enodes (cost 5 ) 881.166 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 881.167 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 881.167 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 881.168 * * [simplify]: iteration done : 8 enodes (cost 5 ) 881.169 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 881.169 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 881.170 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 881.170 * * [simplify]: iteration done : 8 enodes (cost 5 ) 881.171 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 881.171 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 881.171 * * [simplify]: iteration done : 4 enodes (cost 1 ) 881.172 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 881.172 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 881.173 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 881.174 * * [simplify]: iteration done : 7 enodes (cost 4 ) 881.174 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 881.175 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 881.175 * * [simplify]: iteration done : 7 enodes (cost 6 ) 881.176 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 881.176 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 881.177 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 881.178 * * [simplify]: iteration done : 9 enodes (cost 6 ) 881.178 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 881.179 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 881.179 * * [simplify]: iteration done : 4 enodes (cost 1 ) 881.179 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 881.180 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 881.180 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 881.181 * * [simplify]: iteration done : 7 enodes (cost 4 ) 881.182 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 881.183 * * [simplify]: iteration 1 : 22 enodes (cost 8 ) 881.186 * * [simplify]: iteration 2 : 44 enodes (cost 8 ) 881.192 * * [simplify]: iteration 3 : 78 enodes (cost 8 ) 881.205 * * [simplify]: iteration 4 : 165 enodes (cost 8 ) 881.254 * * [simplify]: iteration 5 : 497 enodes (cost 8 ) 881.598 * * [simplify]: iteration 6 : 2266 enodes (cost 8 ) 882.734 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 882.735 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 882.736 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 882.743 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 882.746 * * [simplify]: iteration 3 : 26 enodes (cost 10 ) 882.750 * * [simplify]: iteration 4 : 27 enodes (cost 10 ) 882.753 * * [simplify]: iteration done : 27 enodes (cost 10 ) 882.754 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 882.755 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 882.756 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 882.759 * * [simplify]: iteration 3 : 33 enodes (cost 8 ) 882.764 * * [simplify]: iteration 4 : 58 enodes (cost 8 ) 882.776 * * [simplify]: iteration 5 : 99 enodes (cost 8 ) 882.801 * * [simplify]: iteration 6 : 157 enodes (cost 8 ) 882.854 * * [simplify]: iteration 7 : 325 enodes (cost 8 ) 883.584 * * [simplify]: iteration 8 : 1570 enodes (cost 8 ) 889.880 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 889.880 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 889.881 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 889.881 * * [simplify]: iteration done : 5 enodes (cost 4 ) 889.882 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 889.882 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 889.883 * * [simplify]: iteration done : 6 enodes (cost 1 ) 889.883 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 889.884 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 889.884 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 889.885 * * [simplify]: iteration done : 8 enodes (cost 5 ) 889.886 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 889.886 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 889.887 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 889.887 * * [simplify]: iteration done : 8 enodes (cost 5 ) 889.888 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 889.889 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 889.890 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 889.893 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 889.896 * * [simplify]: iteration done : 22 enodes (cost 5 ) 889.896 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 889.897 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 889.899 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 889.902 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 889.905 * * [simplify]: iteration done : 22 enodes (cost 5 ) 889.905 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 889.906 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 889.908 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 889.910 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 889.913 * * [simplify]: iteration done : 22 enodes (cost 5 ) 889.914 * * [simplify]: iteration 0 : 20 enodes (cost 25 ) 889.917 * * [simplify]: iteration 1 : 55 enodes (cost 25 ) 889.929 * * [simplify]: iteration 2 : 168 enodes (cost 25 ) 889.977 * * [simplify]: iteration 3 : 515 enodes (cost 23 ) 890.348 * * [simplify]: iteration 4 : 1432 enodes (cost 19 ) 892.304 * * [simplify]: iteration 5 : 3493 enodes (cost 19 ) 894.410 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 894.411 * * [simplify]: iteration 0 : 17 enodes (cost 25 ) 894.413 * * [simplify]: iteration 1 : 48 enodes (cost 25 ) 894.430 * * [simplify]: iteration 2 : 157 enodes (cost 25 ) 894.463 * * [simplify]: iteration 3 : 522 enodes (cost 23 ) 894.927 * * [simplify]: iteration 4 : 2307 enodes (cost 19 ) 896.904 * * [simplify]: iteration done : 5001 enodes (cost 19 ) 896.906 * * [simplify]: iteration 0 : 17 enodes (cost 25 ) 896.909 * * [simplify]: iteration 1 : 48 enodes (cost 25 ) 896.919 * * [simplify]: iteration 2 : 157 enodes (cost 25 ) 896.957 * * [simplify]: iteration 3 : 522 enodes (cost 23 ) 897.417 * * [simplify]: iteration 4 : 2307 enodes (cost 19 ) 899.398 * * [simplify]: iteration done : 5001 enodes (cost 19 ) 899.399 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 899.400 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 899.402 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 899.406 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 899.412 * * [simplify]: iteration 4 : 50 enodes (cost 7 ) 899.420 * * [simplify]: iteration 5 : 68 enodes (cost 7 ) 899.438 * * [simplify]: iteration 6 : 98 enodes (cost 7 ) 899.452 * * [simplify]: iteration 7 : 125 enodes (cost 7 ) 899.474 * * [simplify]: iteration 8 : 154 enodes (cost 7 ) 899.496 * * [simplify]: iteration 9 : 168 enodes (cost 7 ) 899.519 * * [simplify]: iteration 10 : 186 enodes (cost 7 ) 899.548 * * [simplify]: iteration 11 : 199 enodes (cost 7 ) 899.576 * * [simplify]: iteration 12 : 215 enodes (cost 7 ) 899.617 * * [simplify]: iteration 13 : 250 enodes (cost 7 ) 899.667 * * [simplify]: iteration 14 : 315 enodes (cost 7 ) 899.740 * * [simplify]: iteration 15 : 413 enodes (cost 7 ) 899.833 * * [simplify]: iteration 16 : 507 enodes (cost 7 ) 899.937 * * [simplify]: iteration 17 : 613 enodes (cost 7 ) 900.054 * * [simplify]: iteration 18 : 682 enodes (cost 7 ) 900.161 * * [simplify]: iteration 19 : 686 enodes (cost 7 ) 900.263 * * [simplify]: iteration done : 686 enodes (cost 7 ) 900.264 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 900.265 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 900.267 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 900.271 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 900.277 * * [simplify]: iteration 4 : 50 enodes (cost 7 ) 900.285 * * [simplify]: iteration 5 : 68 enodes (cost 7 ) 900.299 * * [simplify]: iteration 6 : 98 enodes (cost 7 ) 900.317 * * [simplify]: iteration 7 : 125 enodes (cost 7 ) 900.338 * * [simplify]: iteration 8 : 154 enodes (cost 7 ) 900.357 * * [simplify]: iteration 9 : 168 enodes (cost 7 ) 900.382 * * [simplify]: iteration 10 : 186 enodes (cost 7 ) 900.407 * * [simplify]: iteration 11 : 199 enodes (cost 7 ) 900.436 * * [simplify]: iteration 12 : 215 enodes (cost 7 ) 900.477 * * [simplify]: iteration 13 : 250 enodes (cost 7 ) 900.522 * * [simplify]: iteration 14 : 315 enodes (cost 7 ) 900.595 * * [simplify]: iteration 15 : 413 enodes (cost 7 ) 900.683 * * [simplify]: iteration 16 : 507 enodes (cost 7 ) 900.785 * * [simplify]: iteration 17 : 613 enodes (cost 7 ) 900.901 * * [simplify]: iteration 18 : 682 enodes (cost 7 ) 901.001 * * [simplify]: iteration 19 : 686 enodes (cost 7 ) 901.103 * * [simplify]: iteration done : 686 enodes (cost 7 ) 901.103 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 901.104 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 901.106 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 901.111 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 901.117 * * [simplify]: iteration 4 : 50 enodes (cost 7 ) 901.127 * * [simplify]: iteration 5 : 68 enodes (cost 7 ) 901.141 * * [simplify]: iteration 6 : 98 enodes (cost 7 ) 901.156 * * [simplify]: iteration 7 : 125 enodes (cost 7 ) 901.180 * * [simplify]: iteration 8 : 154 enodes (cost 7 ) 901.199 * * [simplify]: iteration 9 : 168 enodes (cost 7 ) 901.222 * * [simplify]: iteration 10 : 186 enodes (cost 7 ) 901.250 * * [simplify]: iteration 11 : 199 enodes (cost 7 ) 901.279 * * [simplify]: iteration 12 : 215 enodes (cost 7 ) 901.321 * * [simplify]: iteration 13 : 250 enodes (cost 7 ) 901.371 * * [simplify]: iteration 14 : 315 enodes (cost 7 ) 901.446 * * [simplify]: iteration 15 : 413 enodes (cost 7 ) 901.536 * * [simplify]: iteration 16 : 507 enodes (cost 7 ) 901.640 * * [simplify]: iteration 17 : 613 enodes (cost 7 ) 901.757 * * [simplify]: iteration 18 : 682 enodes (cost 7 ) 901.859 * * [simplify]: iteration 19 : 686 enodes (cost 7 ) 901.961 * * [simplify]: iteration done : 686 enodes (cost 7 ) 901.962 * * [simplify]: iteration 0 : 16 enodes (cost 19 ) 901.964 * * [simplify]: iteration 1 : 42 enodes (cost 19 ) 901.973 * * [simplify]: iteration 2 : 123 enodes (cost 19 ) 901.998 * * [simplify]: iteration 3 : 282 enodes (cost 17 ) 902.118 * * [simplify]: iteration 4 : 612 enodes (cost 17 ) 902.576 * * [simplify]: iteration 5 : 1405 enodes (cost 15 ) 905.519 * * [simplify]: iteration 6 : 4424 enodes (cost 15 ) 907.969 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 907.970 * * [simplify]: iteration 0 : 14 enodes (cost 19 ) 907.972 * * [simplify]: iteration 1 : 39 enodes (cost 19 ) 907.980 * * [simplify]: iteration 2 : 125 enodes (cost 19 ) 908.007 * * [simplify]: iteration 3 : 366 enodes (cost 19 ) 908.224 * * [simplify]: iteration 4 : 1292 enodes (cost 15 ) 910.531 * * [simplify]: iteration 5 : 4080 enodes (cost 15 ) 911.978 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 911.979 * * [simplify]: iteration 0 : 14 enodes (cost 19 ) 911.981 * * [simplify]: iteration 1 : 39 enodes (cost 19 ) 911.990 * * [simplify]: iteration 2 : 125 enodes (cost 19 ) 912.012 * * [simplify]: iteration 3 : 366 enodes (cost 19 ) 912.230 * * [simplify]: iteration 4 : 1292 enodes (cost 15 ) 914.551 * * [simplify]: iteration 5 : 4080 enodes (cost 15 ) 916.005 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 916.006 * [simplify]: Simplified to: (* (- z x) y) (* (- z x) y) (+ (log y) (* 2 (log (sqrt (- z x))))) (+ (* 2 (log (sqrt (- z x)))) (log y)) (log (* y (- z x))) (exp (* y (- z x))) (* (pow (- z x) 3) (pow y 3)) (pow (* y (- z x)) 3) (* (cbrt (* y (- z x))) (cbrt (* y (- z x)))) (cbrt (* y (- z x))) (pow (* y (- z x)) 3) (sqrt (* y (- z x))) (sqrt (* y (- z x))) (* (- (pow z 3) (pow x 3)) y) (+ (* x (+ x z)) (* z z)) (* (* y (sqrt (- (pow z 3) (pow x 3)))) (sqrt (- (* z z) (* x x)))) (* (sqrt (+ (* x (+ z x)) (* z z))) (sqrt (+ z x))) (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (- (pow z 3) (pow x 3)))) (* (sqrt (+ (* x (+ z x)) (* z z))) (sqrt (+ z x))) (* y (- (* z z) (* x x))) (+ z x) (* (* y (sqrt (- z x))) (* (cbrt (sqrt (- z x))) (cbrt (sqrt (- z x))))) (* (* y (sqrt (- z x))) (fabs (cbrt (- z x)))) (* (* y (sqrt (- z x))) (sqrt (sqrt (- z x)))) (* y (sqrt (- z x))) (* (* y (sqrt (- z x))) (sqrt (+ (sqrt z) (sqrt x)))) (* y (sqrt (- z x))) (* (* y (sqrt (- z x))) (sqrt (sqrt (- z x)))) (* y (sqrt (- z x))) (- z x) (* (* y (sqrt (- z x))) (sqrt (- (pow z 3) (pow x 3)))) (* (* y (sqrt (- z x))) (sqrt (- (* z z) (* x x)))) (* (* y (sqrt (- (pow z 3) (pow x 3)))) (sqrt (- z x))) (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (- z x))) (* y (sqrt (- z x))) (+ (log y) (log (sqrt (- z x)))) (log (* y (sqrt (- z x)))) (exp (* y (sqrt (- z x)))) (pow (* y (sqrt (- z x))) 3) (* (cbrt (* y (sqrt (- z x)))) (cbrt (* y (sqrt (- z x))))) (cbrt (* y (sqrt (- z x)))) (pow (* y (sqrt (- z x))) 3) (sqrt (* y (sqrt (- z x)))) (sqrt (* y (sqrt (- z x)))) (* (sqrt y) (sqrt (sqrt (- z x)))) (* (sqrt y) (sqrt (sqrt (- z x)))) (* (sqrt y) (sqrt (sqrt (- z x)))) (* (sqrt y) (sqrt (sqrt (- z x)))) (* y (* (cbrt (sqrt (- z x))) (cbrt (sqrt (- z x))))) (* (fabs (cbrt (- z x))) y) (* y (sqrt (sqrt (- z x)))) (* 1 y) (* y (sqrt (+ (sqrt z) (sqrt x)))) (* 1 y) (* y (sqrt (sqrt (- z x)))) y (* (cbrt y) (sqrt (- z x))) (* (sqrt y) (sqrt (- z x))) (* y (sqrt (- z x))) (* y (sqrt (- (pow z 3) (pow x 3)))) (* y (sqrt (- (* z z) (* x x)))) (exp (+ x (* y (- z x)))) (log (+ (* y (- z x)) x)) (exp (+ (* y (- z x)) x)) (* (cbrt (+ (* (- z x) y) x)) (cbrt (+ (* (- z x) y) x))) (cbrt (+ (* y (- z x)) x)) (pow (+ (* (- z x) y) x) 3) (sqrt (+ (* y (- z x)) x)) (sqrt (+ (* y (- z x)) x)) (+ (pow x 3) (pow (* (- z x) y) 3)) (+ (* (* y (- z x)) (- (* y (- z x)) x)) (* x x)) (- (* x x) (* y (* y (pow (sqrt (- z x)) 4)))) (- x (* y (- z x))) (log (sqrt (- z x))) (exp (sqrt (- z x))) (* (cbrt (sqrt (- z x))) (cbrt (sqrt (- z x)))) (cbrt (sqrt (- z x))) (pow (sqrt (- z x)) 3) (fabs (cbrt (- z x))) (sqrt (cbrt (- z x))) (sqrt (sqrt (- z x))) (sqrt (sqrt (- z x))) 1 (sqrt (- z x)) (sqrt (+ (sqrt z) (sqrt x))) (sqrt (- (sqrt z) (sqrt x))) 1 (sqrt (- z x)) (sqrt (- (pow z 3) (pow x 3))) (sqrt (+ (* x (+ x z)) (* z z))) (sqrt (- (* z z) (* x x))) (sqrt (+ z x)) 1/2 (sqrt (sqrt (- z x))) (sqrt (sqrt (- z x))) (* y (- z x)) (* y (- z x)) (* y (- z x)) (* y (+ (* NAN (- x (* 1/2 z))) (* 1/8 (* (pow NAN 3) (pow z 2))))) (+ (* NAN y) (* (/ x (/ z y)) (+ (/ 2 (/ z (pow NAN 3))) NAN))) (+ (* NAN y) (* (/ x (/ z y)) (+ (/ 2 (/ z (pow NAN 3))) NAN))) (+ x (* y (- z x))) (+ x (* y (- z x))) (+ x (* y (- z x))) (* NAN (+ (* z (+ -1/2 (* (* NAN z) (* 1/8 NAN)))) x)) (+ NAN (* (/ x z) (+ NAN (* (/ (pow NAN 3) z) 2)))) (+ NAN (* (/ x z) (+ NAN (* (/ (pow NAN 3) z) 2)))) 916.007 * * * [progress]: adding candidates to table 916.101 * [progress]: [Phase 3 of 3] Extracting. 916.101 * * [regime]: Finding splitpoints for: (# # #) 916.102 * * * [regime-changes]: Trying 4 branch expressions: ((+ x (* y (- z x))) z y x) 916.103 * * * * [regimes]: Trying to branch on (+ x (* y (- z x))) from (# # #) 916.151 * * * * [regimes]: Trying to branch on z from (# # #) 916.193 * * * * [regimes]: Trying to branch on y from (# # #) 916.237 * * * * [regimes]: Trying to branch on x from (# # #) 916.280 * * * [regime]: Found split indices: #