488.914 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.020 * * * [progress]: [2/2] Setting up program. 0.023 * [progress]: [Phase 2 of 3] Improving. 0.023 * [simplify]: Simplifying using # : (- (* (* x 3.0) y) z) 0.024 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 0.024 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 0.026 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 0.029 * * [simplify]: iteration done : 20 enodes (cost 7 ) 0.029 * [simplify]: Simplified to: (- (* (* x 3.0) y) z) 0.029 * * [progress]: iteration 1 / 4 0.029 * * * [progress]: picking best candidate 0.032 * * * * [pick]: Picked # 0.032 * * * [progress]: localizing error 0.037 * * * [progress]: generating rewritten candidates 0.037 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.043 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.049 * * * [progress]: generating series expansions 0.049 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.049 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (x y) around 0 0.049 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y 0.049 * [taylor]: Taking taylor expansion of 3.0 in y 0.049 * [taylor]: Taking taylor expansion of (* x y) in y 0.049 * [taylor]: Taking taylor expansion of x in y 0.049 * [taylor]: Taking taylor expansion of y in y 0.049 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 0.049 * [taylor]: Taking taylor expansion of 3.0 in x 0.050 * [taylor]: Taking taylor expansion of (* x y) in x 0.050 * [taylor]: Taking taylor expansion of x in x 0.050 * [taylor]: Taking taylor expansion of y in x 0.050 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 0.050 * [taylor]: Taking taylor expansion of 3.0 in x 0.050 * [taylor]: Taking taylor expansion of (* x y) in x 0.050 * [taylor]: Taking taylor expansion of x in x 0.050 * [taylor]: Taking taylor expansion of y in x 0.050 * [taylor]: Taking taylor expansion of 0 in y 0.050 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 0.050 * [taylor]: Taking taylor expansion of 3.0 in y 0.050 * [taylor]: Taking taylor expansion of y in y 0.050 * [taylor]: Taking taylor expansion of 0 in y 0.050 * [taylor]: Taking taylor expansion of 0 in y 0.051 * [taylor]: Taking taylor expansion of 0 in y 0.051 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 0.051 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 0.051 * [taylor]: Taking taylor expansion of 3.0 in y 0.051 * [taylor]: Taking taylor expansion of (* x y) in y 0.051 * [taylor]: Taking taylor expansion of x in y 0.051 * [taylor]: Taking taylor expansion of y in y 0.051 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 0.051 * [taylor]: Taking taylor expansion of 3.0 in x 0.051 * [taylor]: Taking taylor expansion of (* x y) in x 0.051 * [taylor]: Taking taylor expansion of x in x 0.051 * [taylor]: Taking taylor expansion of y in x 0.051 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 0.051 * [taylor]: Taking taylor expansion of 3.0 in x 0.051 * [taylor]: Taking taylor expansion of (* x y) in x 0.051 * [taylor]: Taking taylor expansion of x in x 0.051 * [taylor]: Taking taylor expansion of y in x 0.051 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 0.051 * [taylor]: Taking taylor expansion of 3.0 in y 0.051 * [taylor]: Taking taylor expansion of y in y 0.051 * [taylor]: Taking taylor expansion of 0 in y 0.052 * [taylor]: Taking taylor expansion of 0 in y 0.052 * [taylor]: Taking taylor expansion of 0 in y 0.052 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 0.052 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 0.052 * [taylor]: Taking taylor expansion of 3.0 in y 0.052 * [taylor]: Taking taylor expansion of (* x y) in y 0.052 * [taylor]: Taking taylor expansion of x in y 0.052 * [taylor]: Taking taylor expansion of y in y 0.052 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 0.052 * [taylor]: Taking taylor expansion of 3.0 in x 0.052 * [taylor]: Taking taylor expansion of (* x y) in x 0.052 * [taylor]: Taking taylor expansion of x in x 0.052 * [taylor]: Taking taylor expansion of y in x 0.052 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 0.052 * [taylor]: Taking taylor expansion of 3.0 in x 0.052 * [taylor]: Taking taylor expansion of (* x y) in x 0.052 * [taylor]: Taking taylor expansion of x in x 0.052 * [taylor]: Taking taylor expansion of y in x 0.053 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 0.053 * [taylor]: Taking taylor expansion of 3.0 in y 0.053 * [taylor]: Taking taylor expansion of y in y 0.053 * [taylor]: Taking taylor expansion of 0 in y 0.053 * [taylor]: Taking taylor expansion of 0 in y 0.053 * [taylor]: Taking taylor expansion of 0 in y 0.053 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.054 * [approximate]: Taking taylor expansion of (- (* 3.0 (* x y)) z) in (x y z) around 0 0.054 * [taylor]: Taking taylor expansion of (- (* 3.0 (* x y)) z) in z 0.054 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in z 0.054 * [taylor]: Taking taylor expansion of 3.0 in z 0.054 * [taylor]: Taking taylor expansion of (* x y) in z 0.054 * [taylor]: Taking taylor expansion of x in z 0.054 * [taylor]: Taking taylor expansion of y in z 0.054 * [taylor]: Taking taylor expansion of z in z 0.054 * [taylor]: Taking taylor expansion of (- (* 3.0 (* x y)) z) in y 0.054 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y 0.054 * [taylor]: Taking taylor expansion of 3.0 in y 0.054 * [taylor]: Taking taylor expansion of (* x y) in y 0.054 * [taylor]: Taking taylor expansion of x in y 0.054 * [taylor]: Taking taylor expansion of y in y 0.054 * [taylor]: Taking taylor expansion of z in y 0.054 * [taylor]: Taking taylor expansion of (- (* 3.0 (* x y)) z) in x 0.054 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 0.054 * [taylor]: Taking taylor expansion of 3.0 in x 0.054 * [taylor]: Taking taylor expansion of (* x y) in x 0.054 * [taylor]: Taking taylor expansion of x in x 0.054 * [taylor]: Taking taylor expansion of y in x 0.054 * [taylor]: Taking taylor expansion of z in x 0.054 * [taylor]: Taking taylor expansion of (- (* 3.0 (* x y)) z) in x 0.054 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 0.054 * [taylor]: Taking taylor expansion of 3.0 in x 0.054 * [taylor]: Taking taylor expansion of (* x y) in x 0.054 * [taylor]: Taking taylor expansion of x in x 0.054 * [taylor]: Taking taylor expansion of y in x 0.054 * [taylor]: Taking taylor expansion of z in x 0.054 * [taylor]: Taking taylor expansion of (neg z) in y 0.054 * [taylor]: Taking taylor expansion of z in y 0.054 * [taylor]: Taking taylor expansion of (neg z) in z 0.054 * [taylor]: Taking taylor expansion of z in z 0.054 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 0.054 * [taylor]: Taking taylor expansion of 3.0 in y 0.054 * [taylor]: Taking taylor expansion of y in y 0.054 * [taylor]: Taking taylor expansion of 0 in z 0.054 * [taylor]: Taking taylor expansion of 0 in z 0.055 * [taylor]: Taking taylor expansion of 0 in y 0.055 * [taylor]: Taking taylor expansion of 0 in z 0.055 * [taylor]: Taking taylor expansion of 3.0 in z 0.055 * [taylor]: Taking taylor expansion of 0 in z 0.055 * [taylor]: Taking taylor expansion of 0 in y 0.055 * [taylor]: Taking taylor expansion of 0 in z 0.055 * [taylor]: Taking taylor expansion of 0 in z 0.055 * [approximate]: Taking taylor expansion of (- (* 3.0 (/ 1 (* x y))) (/ 1 z)) in (x y z) around 0 0.055 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (* x y))) (/ 1 z)) in z 0.055 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in z 0.055 * [taylor]: Taking taylor expansion of 3.0 in z 0.055 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.055 * [taylor]: Taking taylor expansion of (* x y) in z 0.055 * [taylor]: Taking taylor expansion of x in z 0.055 * [taylor]: Taking taylor expansion of y in z 0.055 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.055 * [taylor]: Taking taylor expansion of z in z 0.055 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (* x y))) (/ 1 z)) in y 0.055 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in y 0.055 * [taylor]: Taking taylor expansion of 3.0 in y 0.056 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.056 * [taylor]: Taking taylor expansion of (* x y) in y 0.056 * [taylor]: Taking taylor expansion of x in y 0.056 * [taylor]: Taking taylor expansion of y in y 0.056 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.056 * [taylor]: Taking taylor expansion of z in y 0.056 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (* x y))) (/ 1 z)) in x 0.056 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in x 0.056 * [taylor]: Taking taylor expansion of 3.0 in x 0.056 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.056 * [taylor]: Taking taylor expansion of (* x y) in x 0.056 * [taylor]: Taking taylor expansion of x in x 0.056 * [taylor]: Taking taylor expansion of y in x 0.056 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.056 * [taylor]: Taking taylor expansion of z in x 0.056 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (* x y))) (/ 1 z)) in x 0.056 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in x 0.056 * [taylor]: Taking taylor expansion of 3.0 in x 0.056 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.056 * [taylor]: Taking taylor expansion of (* x y) in x 0.056 * [taylor]: Taking taylor expansion of x in x 0.056 * [taylor]: Taking taylor expansion of y in x 0.056 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.056 * [taylor]: Taking taylor expansion of z in x 0.056 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 y)) in y 0.056 * [taylor]: Taking taylor expansion of 3.0 in y 0.056 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.056 * [taylor]: Taking taylor expansion of y in y 0.056 * [taylor]: Taking taylor expansion of 3.0 in z 0.057 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in y 0.057 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.057 * [taylor]: Taking taylor expansion of z in y 0.057 * [taylor]: Taking taylor expansion of 0 in z 0.057 * [taylor]: Taking taylor expansion of 0 in y 0.057 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 0.057 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.057 * [taylor]: Taking taylor expansion of z in z 0.057 * [taylor]: Taking taylor expansion of 0 in z 0.057 * [taylor]: Taking taylor expansion of 0 in y 0.058 * [taylor]: Taking taylor expansion of 0 in z 0.058 * [taylor]: Taking taylor expansion of 0 in z 0.058 * [taylor]: Taking taylor expansion of 0 in z 0.058 * [approximate]: Taking taylor expansion of (+ (/ 1 z) (* 3.0 (/ 1 (* x y)))) in (x y z) around 0 0.058 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3.0 (/ 1 (* x y)))) in z 0.058 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.058 * [taylor]: Taking taylor expansion of z in z 0.058 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in z 0.058 * [taylor]: Taking taylor expansion of 3.0 in z 0.058 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.058 * [taylor]: Taking taylor expansion of (* x y) in z 0.058 * [taylor]: Taking taylor expansion of x in z 0.058 * [taylor]: Taking taylor expansion of y in z 0.058 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3.0 (/ 1 (* x y)))) in y 0.058 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.058 * [taylor]: Taking taylor expansion of z in y 0.058 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in y 0.058 * [taylor]: Taking taylor expansion of 3.0 in y 0.058 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.058 * [taylor]: Taking taylor expansion of (* x y) in y 0.058 * [taylor]: Taking taylor expansion of x in y 0.059 * [taylor]: Taking taylor expansion of y in y 0.059 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3.0 (/ 1 (* x y)))) in x 0.059 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.059 * [taylor]: Taking taylor expansion of z in x 0.059 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in x 0.059 * [taylor]: Taking taylor expansion of 3.0 in x 0.059 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.059 * [taylor]: Taking taylor expansion of (* x y) in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.059 * [taylor]: Taking taylor expansion of y in x 0.059 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3.0 (/ 1 (* x y)))) in x 0.059 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.059 * [taylor]: Taking taylor expansion of z in x 0.059 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in x 0.059 * [taylor]: Taking taylor expansion of 3.0 in x 0.059 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.059 * [taylor]: Taking taylor expansion of (* x y) in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.059 * [taylor]: Taking taylor expansion of y in x 0.059 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 y)) in y 0.059 * [taylor]: Taking taylor expansion of 3.0 in y 0.059 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.059 * [taylor]: Taking taylor expansion of y in y 0.059 * [taylor]: Taking taylor expansion of 3.0 in z 0.059 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.059 * [taylor]: Taking taylor expansion of z in y 0.060 * [taylor]: Taking taylor expansion of 0 in z 0.060 * [taylor]: Taking taylor expansion of 0 in y 0.060 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.060 * [taylor]: Taking taylor expansion of z in z 0.060 * [taylor]: Taking taylor expansion of 0 in z 0.060 * [taylor]: Taking taylor expansion of 0 in y 0.060 * [taylor]: Taking taylor expansion of 0 in z 0.060 * [taylor]: Taking taylor expansion of 0 in z 0.061 * [taylor]: Taking taylor expansion of 0 in z 0.061 * * * [progress]: simplifying candidates 0.061 * [simplify]: Simplifying using # : (* (* x 3.0) y) (* (* x 3.0) y) (+ (+ (log x) (log 3.0)) (log y)) (+ (log (* x 3.0)) (log y)) (log (* (* x 3.0) y)) (exp (* (* x 3.0) y)) (* (* (* (* x x) x) (* (* 3.0 3.0) 3.0)) (* (* y y) y)) (* (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* (* y y) y)) (* (cbrt (* (* x 3.0) y)) (cbrt (* (* x 3.0) y))) (cbrt (* (* x 3.0) y)) (* (* (* (* x 3.0) y) (* (* x 3.0) y)) (* (* x 3.0) y)) (sqrt (* (* x 3.0) y)) (sqrt (* (* x 3.0) y)) (* (* x 3.0) (* (cbrt y) (cbrt y))) (* (* x 3.0) (sqrt y)) (* (* x 3.0) 1) (* 3.0 y) (/ (exp (* (* x 3.0) y)) (exp z)) (log (- (* (* x 3.0) y) z)) (exp (- (* (* x 3.0) y) z)) (* (cbrt (- (* (* x 3.0) y) z)) (cbrt (- (* (* x 3.0) y) z))) (cbrt (- (* (* x 3.0) y) z)) (* (* (- (* (* x 3.0) y) z) (- (* (* x 3.0) y) z)) (- (* (* x 3.0) y) z)) (sqrt (- (* (* x 3.0) y) z)) (sqrt (- (* (* x 3.0) y) z)) (- (pow (* (* x 3.0) y) 3) (pow z 3)) (+ (* (* (* x 3.0) y) (* (* x 3.0) y)) (+ (* z z) (* (* (* x 3.0) y) z))) (neg z) (- (* (* (* x 3.0) y) (* (* x 3.0) y)) (* z z)) (+ (* (* x 3.0) y) z) (neg z) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (- (* 3.0 (* x y)) z) (- (* 3.0 (* x y)) z) (- (* 3.0 (* x y)) z) 0.062 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.063 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 0.064 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 0.066 * * [simplify]: iteration done : 15 enodes (cost 5 ) 0.066 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.067 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 0.068 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 0.078 * * [simplify]: iteration done : 15 enodes (cost 5 ) 0.078 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 0.079 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 0.080 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 0.082 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 0.085 * * [simplify]: iteration done : 20 enodes (cost 8 ) 0.085 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 0.086 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 0.087 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 0.089 * * [simplify]: iteration 3 : 21 enodes (cost 7 ) 0.091 * * [simplify]: iteration done : 21 enodes (cost 7 ) 0.092 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.092 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 0.094 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 0.098 * * [simplify]: iteration 3 : 38 enodes (cost 6 ) 0.103 * * [simplify]: iteration 4 : 40 enodes (cost 6 ) 0.107 * * [simplify]: iteration done : 40 enodes (cost 6 ) 0.108 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.108 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 0.110 * * [simplify]: iteration 2 : 29 enodes (cost 6 ) 0.114 * * [simplify]: iteration 3 : 51 enodes (cost 6 ) 0.121 * * [simplify]: iteration 4 : 107 enodes (cost 6 ) 0.145 * * [simplify]: iteration 5 : 248 enodes (cost 6 ) 0.265 * * [simplify]: iteration 6 : 586 enodes (cost 6 ) 0.717 * * [simplify]: iteration 7 : 1550 enodes (cost 6 ) 2.102 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 2.102 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 2.104 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 2.109 * * [simplify]: iteration 2 : 89 enodes (cost 11 ) 2.148 * * [simplify]: iteration 3 : 327 enodes (cost 11 ) 2.441 * * [simplify]: iteration 4 : 1072 enodes (cost 9 ) 4.391 * * [simplify]: iteration 5 : 2986 enodes (cost 9 ) 6.056 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 6.058 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 6.059 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 6.065 * * [simplify]: iteration 2 : 93 enodes (cost 9 ) 6.112 * * [simplify]: iteration 3 : 379 enodes (cost 9 ) 6.526 * * [simplify]: iteration 4 : 1161 enodes (cost 7 ) 8.431 * * [simplify]: iteration 5 : 2175 enodes (cost 7 ) 13.726 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 13.727 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 13.728 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 13.729 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 13.731 * * [simplify]: iteration done : 17 enodes (cost 13 ) 13.732 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 13.733 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 13.734 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 13.736 * * [simplify]: iteration done : 16 enodes (cost 6 ) 13.736 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 13.737 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 13.742 * * [simplify]: iteration 2 : 91 enodes (cost 7 ) 13.796 * * [simplify]: iteration 3 : 423 enodes (cost 7 ) 14.363 * * [simplify]: iteration 4 : 1138 enodes (cost 7 ) 16.153 * * [simplify]: iteration 5 : 1610 enodes (cost 7 ) 19.298 * * [simplify]: iteration 6 : 3198 enodes (cost 7 ) 20.913 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 20.914 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 20.915 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 20.916 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 20.918 * * [simplify]: iteration done : 16 enodes (cost 6 ) 20.919 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 20.920 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 20.929 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 20.931 * * [simplify]: iteration done : 16 enodes (cost 6 ) 20.931 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 20.932 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 20.934 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 20.938 * * [simplify]: iteration 3 : 36 enodes (cost 9 ) 20.944 * * [simplify]: iteration done : 36 enodes (cost 9 ) 20.945 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 20.946 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 20.947 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 20.949 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 20.951 * * [simplify]: iteration done : 18 enodes (cost 6 ) 20.952 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 20.952 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 20.954 * * [simplify]: iteration 2 : 23 enodes (cost 3 ) 20.956 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 20.957 * * [simplify]: iteration done : 27 enodes (cost 3 ) 20.957 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 20.958 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 20.958 * * [simplify]: iteration done : 4 enodes (cost 3 ) 20.959 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 20.960 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 20.962 * * [simplify]: iteration 2 : 36 enodes (cost 8 ) 20.967 * * [simplify]: iteration 3 : 63 enodes (cost 8 ) 20.977 * * [simplify]: iteration 4 : 138 enodes (cost 8 ) 21.010 * * [simplify]: iteration 5 : 364 enodes (cost 8 ) 21.213 * * [simplify]: iteration 6 : 1063 enodes (cost 8 ) 23.005 * * [simplify]: iteration 7 : 3715 enodes (cost 8 ) 24.053 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 24.053 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 24.054 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 24.056 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 24.059 * * [simplify]: iteration done : 21 enodes (cost 8 ) 24.059 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 24.060 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 24.063 * * [simplify]: iteration 2 : 32 enodes (cost 8 ) 24.068 * * [simplify]: iteration 3 : 53 enodes (cost 8 ) 24.076 * * [simplify]: iteration 4 : 116 enodes (cost 8 ) 24.105 * * [simplify]: iteration 5 : 312 enodes (cost 8 ) 24.314 * * [simplify]: iteration 6 : 995 enodes (cost 8 ) 25.389 * * [simplify]: iteration 7 : 2748 enodes (cost 8 ) 26.670 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 26.671 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 26.672 * * [simplify]: iteration 1 : 15 enodes (cost 17 ) 26.674 * * [simplify]: iteration 2 : 22 enodes (cost 17 ) 26.677 * * [simplify]: iteration done : 22 enodes (cost 17 ) 26.677 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 26.678 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 26.680 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 26.684 * * [simplify]: iteration done : 21 enodes (cost 8 ) 26.685 * * [simplify]: iteration 0 : 9 enodes (cost 23 ) 26.686 * * [simplify]: iteration 1 : 16 enodes (cost 23 ) 26.688 * * [simplify]: iteration 2 : 37 enodes (cost 9 ) 26.696 * * [simplify]: iteration 3 : 128 enodes (cost 9 ) 26.752 * * [simplify]: iteration 4 : 529 enodes (cost 9 ) 27.176 * * [simplify]: iteration 5 : 1927 enodes (cost 9 ) 29.237 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 29.238 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 29.239 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 29.241 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 29.244 * * [simplify]: iteration done : 21 enodes (cost 8 ) 29.245 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 29.246 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 29.247 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 29.250 * * [simplify]: iteration done : 21 enodes (cost 8 ) 29.251 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 29.253 * * [simplify]: iteration 1 : 32 enodes (cost 11 ) 29.258 * * [simplify]: iteration 2 : 106 enodes (cost 11 ) 29.299 * * [simplify]: iteration 3 : 402 enodes (cost 11 ) 29.708 * * [simplify]: iteration 4 : 1411 enodes (cost 11 ) 32.167 * * [simplify]: iteration 5 : 3452 enodes (cost 11 ) 33.821 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 33.821 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 33.823 * * [simplify]: iteration 1 : 31 enodes (cost 21 ) 33.829 * * [simplify]: iteration 2 : 98 enodes (cost 21 ) 33.868 * * [simplify]: iteration 3 : 262 enodes (cost 17 ) 33.993 * * [simplify]: iteration 4 : 364 enodes (cost 17 ) 34.126 * * [simplify]: iteration 5 : 383 enodes (cost 17 ) 34.260 * * [simplify]: iteration done : 383 enodes (cost 17 ) 34.261 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 34.261 * * [simplify]: iteration done : 2 enodes (cost 2 ) 34.262 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 34.263 * * [simplify]: iteration 1 : 25 enodes (cost 15 ) 34.268 * * [simplify]: iteration 2 : 77 enodes (cost 15 ) 34.291 * * [simplify]: iteration 3 : 213 enodes (cost 15 ) 34.393 * * [simplify]: iteration 4 : 328 enodes (cost 15 ) 34.524 * * [simplify]: iteration 5 : 519 enodes (cost 15 ) 34.735 * * [simplify]: iteration 6 : 679 enodes (cost 15 ) 35.097 * * [simplify]: iteration 7 : 1099 enodes (cost 15 ) 36.339 * * [simplify]: iteration 8 : 2944 enodes (cost 15 ) 38.391 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 38.391 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 38.392 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 38.394 * * [simplify]: iteration 2 : 18 enodes (cost 7 ) 38.396 * * [simplify]: iteration done : 18 enodes (cost 7 ) 38.396 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 38.397 * * [simplify]: iteration done : 2 enodes (cost 2 ) 38.397 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 38.398 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 38.399 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 38.401 * * [simplify]: iteration done : 15 enodes (cost 5 ) 38.402 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 38.402 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 38.403 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 38.405 * * [simplify]: iteration done : 15 enodes (cost 5 ) 38.406 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 38.406 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 38.408 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 38.410 * * [simplify]: iteration done : 15 enodes (cost 5 ) 38.410 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 38.411 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 38.413 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 38.416 * * [simplify]: iteration done : 20 enodes (cost 7 ) 38.416 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 38.417 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 38.423 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 38.426 * * [simplify]: iteration done : 20 enodes (cost 7 ) 38.426 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 38.427 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 38.429 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 38.432 * * [simplify]: iteration done : 20 enodes (cost 7 ) 38.432 * [simplify]: Simplified to: (* (* x 3.0) y) (* (* x 3.0) y) (+ (+ (log x) (log 3.0)) (log y)) (+ (log (* x 3.0)) (log y)) (log (* (* x 3.0) y)) (exp (* (* x 3.0) y)) (* (pow y 3) (pow (* x 3.0) 3)) (pow (* (* x 3.0) y) 3) (* (cbrt (* (* x 3.0) y)) (cbrt (* (* x 3.0) y))) (cbrt (* (* x 3.0) y)) (pow (* (* x 3.0) y) 3) (sqrt (* (* x 3.0) y)) (sqrt (* (* x 3.0) y)) (* (* x 3.0) (* (cbrt y) (cbrt y))) (* (* x 3.0) (sqrt y)) (* x 3.0) (* 3.0 y) (exp (- (* (* x 3.0) y) z)) (log (- (* (* x 3.0) y) z)) (exp (- (* (* x 3.0) y) z)) (* (cbrt (- (* (* x 3.0) y) z)) (cbrt (- (* (* x 3.0) y) z))) (cbrt (- (* (* x 3.0) y) z)) (pow (- (* (* x 3.0) y) z) 3) (sqrt (- (* (* x 3.0) y) z)) (sqrt (- (* (* x 3.0) y) z)) (- (pow (* (* x 3.0) y) 3) (pow z 3)) (+ (* (* (* x 3.0) y) (+ z (* (* x 3.0) y))) (* z z)) (neg z) (- (* (* (* x 3.0) y) (* (* x 3.0) y)) (* z z)) (+ (* (* x 3.0) y) z) (neg z) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (- (* 3.0 (* x y)) z) (- (* 3.0 (* x y)) z) (- (* 3.0 (* x y)) z) 38.432 * * * [progress]: adding candidates to table 38.475 * * [progress]: iteration 2 / 4 38.475 * * * [progress]: picking best candidate 38.494 * * * * [pick]: Picked # 38.495 * * * [progress]: localizing error 38.501 * * * [progress]: generating rewritten candidates 38.501 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 38.506 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 38.512 * * * [progress]: generating series expansions 38.512 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 38.512 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (x y) around 0 38.512 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y 38.513 * [taylor]: Taking taylor expansion of 3.0 in y 38.513 * [taylor]: Taking taylor expansion of (* x y) in y 38.513 * [taylor]: Taking taylor expansion of x in y 38.513 * [taylor]: Taking taylor expansion of y in y 38.513 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 38.513 * [taylor]: Taking taylor expansion of 3.0 in x 38.513 * [taylor]: Taking taylor expansion of (* x y) in x 38.513 * [taylor]: Taking taylor expansion of x in x 38.513 * [taylor]: Taking taylor expansion of y in x 38.513 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 38.513 * [taylor]: Taking taylor expansion of 3.0 in x 38.513 * [taylor]: Taking taylor expansion of (* x y) in x 38.513 * [taylor]: Taking taylor expansion of x in x 38.513 * [taylor]: Taking taylor expansion of y in x 38.513 * [taylor]: Taking taylor expansion of 0 in y 38.513 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 38.513 * [taylor]: Taking taylor expansion of 3.0 in y 38.513 * [taylor]: Taking taylor expansion of y in y 38.513 * [taylor]: Taking taylor expansion of 0 in y 38.513 * [taylor]: Taking taylor expansion of 0 in y 38.513 * [taylor]: Taking taylor expansion of 0 in y 38.514 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 38.514 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 38.514 * [taylor]: Taking taylor expansion of 3.0 in y 38.514 * [taylor]: Taking taylor expansion of (* x y) in y 38.514 * [taylor]: Taking taylor expansion of x in y 38.514 * [taylor]: Taking taylor expansion of y in y 38.514 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 38.514 * [taylor]: Taking taylor expansion of 3.0 in x 38.514 * [taylor]: Taking taylor expansion of (* x y) in x 38.514 * [taylor]: Taking taylor expansion of x in x 38.514 * [taylor]: Taking taylor expansion of y in x 38.514 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 38.514 * [taylor]: Taking taylor expansion of 3.0 in x 38.514 * [taylor]: Taking taylor expansion of (* x y) in x 38.514 * [taylor]: Taking taylor expansion of x in x 38.514 * [taylor]: Taking taylor expansion of y in x 38.514 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 38.514 * [taylor]: Taking taylor expansion of 3.0 in y 38.514 * [taylor]: Taking taylor expansion of y in y 38.514 * [taylor]: Taking taylor expansion of 0 in y 38.515 * [taylor]: Taking taylor expansion of 0 in y 38.515 * [taylor]: Taking taylor expansion of 0 in y 38.515 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 38.515 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 38.515 * [taylor]: Taking taylor expansion of 3.0 in y 38.515 * [taylor]: Taking taylor expansion of (* x y) in y 38.515 * [taylor]: Taking taylor expansion of x in y 38.515 * [taylor]: Taking taylor expansion of y in y 38.515 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 38.515 * [taylor]: Taking taylor expansion of 3.0 in x 38.515 * [taylor]: Taking taylor expansion of (* x y) in x 38.515 * [taylor]: Taking taylor expansion of x in x 38.515 * [taylor]: Taking taylor expansion of y in x 38.515 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 38.515 * [taylor]: Taking taylor expansion of 3.0 in x 38.515 * [taylor]: Taking taylor expansion of (* x y) in x 38.515 * [taylor]: Taking taylor expansion of x in x 38.516 * [taylor]: Taking taylor expansion of y in x 38.516 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 38.516 * [taylor]: Taking taylor expansion of 3.0 in y 38.516 * [taylor]: Taking taylor expansion of y in y 38.516 * [taylor]: Taking taylor expansion of 0 in y 38.516 * [taylor]: Taking taylor expansion of 0 in y 38.516 * [taylor]: Taking taylor expansion of 0 in y 38.516 * * * * [progress]: [ 2 / 2 ] generating series at (2) 38.517 * [approximate]: Taking taylor expansion of (- (* 3.0 (* x y)) z) in (x y z) around 0 38.517 * [taylor]: Taking taylor expansion of (- (* 3.0 (* x y)) z) in z 38.517 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in z 38.517 * [taylor]: Taking taylor expansion of 3.0 in z 38.517 * [taylor]: Taking taylor expansion of (* x y) in z 38.517 * [taylor]: Taking taylor expansion of x in z 38.517 * [taylor]: Taking taylor expansion of y in z 38.517 * [taylor]: Taking taylor expansion of z in z 38.517 * [taylor]: Taking taylor expansion of (- (* 3.0 (* x y)) z) in y 38.517 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y 38.517 * [taylor]: Taking taylor expansion of 3.0 in y 38.517 * [taylor]: Taking taylor expansion of (* x y) in y 38.517 * [taylor]: Taking taylor expansion of x in y 38.517 * [taylor]: Taking taylor expansion of y in y 38.517 * [taylor]: Taking taylor expansion of z in y 38.517 * [taylor]: Taking taylor expansion of (- (* 3.0 (* x y)) z) in x 38.517 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 38.517 * [taylor]: Taking taylor expansion of 3.0 in x 38.517 * [taylor]: Taking taylor expansion of (* x y) in x 38.517 * [taylor]: Taking taylor expansion of x in x 38.517 * [taylor]: Taking taylor expansion of y in x 38.517 * [taylor]: Taking taylor expansion of z in x 38.517 * [taylor]: Taking taylor expansion of (- (* 3.0 (* x y)) z) in x 38.517 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 38.517 * [taylor]: Taking taylor expansion of 3.0 in x 38.517 * [taylor]: Taking taylor expansion of (* x y) in x 38.517 * [taylor]: Taking taylor expansion of x in x 38.517 * [taylor]: Taking taylor expansion of y in x 38.517 * [taylor]: Taking taylor expansion of z in x 38.517 * [taylor]: Taking taylor expansion of (neg z) in y 38.517 * [taylor]: Taking taylor expansion of z in y 38.517 * [taylor]: Taking taylor expansion of (neg z) in z 38.517 * [taylor]: Taking taylor expansion of z in z 38.517 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 38.517 * [taylor]: Taking taylor expansion of 3.0 in y 38.517 * [taylor]: Taking taylor expansion of y in y 38.517 * [taylor]: Taking taylor expansion of 0 in z 38.517 * [taylor]: Taking taylor expansion of 0 in z 38.518 * [taylor]: Taking taylor expansion of 0 in y 38.518 * [taylor]: Taking taylor expansion of 0 in z 38.518 * [taylor]: Taking taylor expansion of 3.0 in z 38.518 * [taylor]: Taking taylor expansion of 0 in z 38.518 * [taylor]: Taking taylor expansion of 0 in y 38.518 * [taylor]: Taking taylor expansion of 0 in z 38.518 * [taylor]: Taking taylor expansion of 0 in z 38.518 * [approximate]: Taking taylor expansion of (- (* 3.0 (/ 1 (* x y))) (/ 1 z)) in (x y z) around 0 38.518 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (* x y))) (/ 1 z)) in z 38.518 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in z 38.518 * [taylor]: Taking taylor expansion of 3.0 in z 38.518 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 38.518 * [taylor]: Taking taylor expansion of (* x y) in z 38.518 * [taylor]: Taking taylor expansion of x in z 38.518 * [taylor]: Taking taylor expansion of y in z 38.518 * [taylor]: Taking taylor expansion of (/ 1 z) in z 38.518 * [taylor]: Taking taylor expansion of z in z 38.518 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (* x y))) (/ 1 z)) in y 38.518 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in y 38.518 * [taylor]: Taking taylor expansion of 3.0 in y 38.519 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 38.519 * [taylor]: Taking taylor expansion of (* x y) in y 38.519 * [taylor]: Taking taylor expansion of x in y 38.519 * [taylor]: Taking taylor expansion of y in y 38.519 * [taylor]: Taking taylor expansion of (/ 1 z) in y 38.519 * [taylor]: Taking taylor expansion of z in y 38.519 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (* x y))) (/ 1 z)) in x 38.519 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in x 38.519 * [taylor]: Taking taylor expansion of 3.0 in x 38.519 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 38.519 * [taylor]: Taking taylor expansion of (* x y) in x 38.519 * [taylor]: Taking taylor expansion of x in x 38.519 * [taylor]: Taking taylor expansion of y in x 38.519 * [taylor]: Taking taylor expansion of (/ 1 z) in x 38.519 * [taylor]: Taking taylor expansion of z in x 38.519 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (* x y))) (/ 1 z)) in x 38.519 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in x 38.519 * [taylor]: Taking taylor expansion of 3.0 in x 38.519 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 38.519 * [taylor]: Taking taylor expansion of (* x y) in x 38.519 * [taylor]: Taking taylor expansion of x in x 38.519 * [taylor]: Taking taylor expansion of y in x 38.519 * [taylor]: Taking taylor expansion of (/ 1 z) in x 38.519 * [taylor]: Taking taylor expansion of z in x 38.519 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 y)) in y 38.519 * [taylor]: Taking taylor expansion of 3.0 in y 38.519 * [taylor]: Taking taylor expansion of (/ 1 y) in y 38.519 * [taylor]: Taking taylor expansion of y in y 38.519 * [taylor]: Taking taylor expansion of 3.0 in z 38.520 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in y 38.520 * [taylor]: Taking taylor expansion of (/ 1 z) in y 38.520 * [taylor]: Taking taylor expansion of z in y 38.520 * [taylor]: Taking taylor expansion of 0 in z 38.520 * [taylor]: Taking taylor expansion of 0 in y 38.520 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 38.520 * [taylor]: Taking taylor expansion of (/ 1 z) in z 38.520 * [taylor]: Taking taylor expansion of z in z 38.520 * [taylor]: Taking taylor expansion of 0 in z 38.521 * [taylor]: Taking taylor expansion of 0 in y 38.521 * [taylor]: Taking taylor expansion of 0 in z 38.521 * [taylor]: Taking taylor expansion of 0 in z 38.521 * [taylor]: Taking taylor expansion of 0 in z 38.521 * [approximate]: Taking taylor expansion of (+ (/ 1 z) (* 3.0 (/ 1 (* x y)))) in (x y z) around 0 38.521 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3.0 (/ 1 (* x y)))) in z 38.521 * [taylor]: Taking taylor expansion of (/ 1 z) in z 38.521 * [taylor]: Taking taylor expansion of z in z 38.521 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in z 38.521 * [taylor]: Taking taylor expansion of 3.0 in z 38.521 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 38.522 * [taylor]: Taking taylor expansion of (* x y) in z 38.522 * [taylor]: Taking taylor expansion of x in z 38.522 * [taylor]: Taking taylor expansion of y in z 38.522 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3.0 (/ 1 (* x y)))) in y 38.522 * [taylor]: Taking taylor expansion of (/ 1 z) in y 38.522 * [taylor]: Taking taylor expansion of z in y 38.522 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in y 38.522 * [taylor]: Taking taylor expansion of 3.0 in y 38.522 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 38.522 * [taylor]: Taking taylor expansion of (* x y) in y 38.522 * [taylor]: Taking taylor expansion of x in y 38.522 * [taylor]: Taking taylor expansion of y in y 38.522 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3.0 (/ 1 (* x y)))) in x 38.522 * [taylor]: Taking taylor expansion of (/ 1 z) in x 38.522 * [taylor]: Taking taylor expansion of z in x 38.522 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in x 38.522 * [taylor]: Taking taylor expansion of 3.0 in x 38.522 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 38.522 * [taylor]: Taking taylor expansion of (* x y) in x 38.522 * [taylor]: Taking taylor expansion of x in x 38.522 * [taylor]: Taking taylor expansion of y in x 38.522 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3.0 (/ 1 (* x y)))) in x 38.522 * [taylor]: Taking taylor expansion of (/ 1 z) in x 38.522 * [taylor]: Taking taylor expansion of z in x 38.523 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in x 38.523 * [taylor]: Taking taylor expansion of 3.0 in x 38.523 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 38.523 * [taylor]: Taking taylor expansion of (* x y) in x 38.523 * [taylor]: Taking taylor expansion of x in x 38.523 * [taylor]: Taking taylor expansion of y in x 38.523 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 y)) in y 38.523 * [taylor]: Taking taylor expansion of 3.0 in y 38.523 * [taylor]: Taking taylor expansion of (/ 1 y) in y 38.523 * [taylor]: Taking taylor expansion of y in y 38.523 * [taylor]: Taking taylor expansion of 3.0 in z 38.523 * [taylor]: Taking taylor expansion of (/ 1 z) in y 38.523 * [taylor]: Taking taylor expansion of z in y 38.523 * [taylor]: Taking taylor expansion of 0 in z 38.523 * [taylor]: Taking taylor expansion of 0 in y 38.523 * [taylor]: Taking taylor expansion of (/ 1 z) in z 38.523 * [taylor]: Taking taylor expansion of z in z 38.524 * [taylor]: Taking taylor expansion of 0 in z 38.524 * [taylor]: Taking taylor expansion of 0 in y 38.524 * [taylor]: Taking taylor expansion of 0 in z 38.524 * [taylor]: Taking taylor expansion of 0 in z 38.524 * [taylor]: Taking taylor expansion of 0 in z 38.524 * * * [progress]: simplifying candidates 38.525 * [simplify]: Simplifying using # : (* 3.0 (* x y)) (* 3.0 (* x y)) (+ (log 3.0) (+ (log x) (log y))) (+ (log 3.0) (log (* x y))) (log (* 3.0 (* x y))) (exp (* 3.0 (* x y))) (* (* (* 3.0 3.0) 3.0) (* (* (* x x) x) (* (* y y) y))) (* (* (* 3.0 3.0) 3.0) (* (* (* x y) (* x y)) (* x y))) (* (cbrt (* 3.0 (* x y))) (cbrt (* 3.0 (* x y)))) (cbrt (* 3.0 (* x y))) (* (* (* 3.0 (* x y)) (* 3.0 (* x y))) (* 3.0 (* x y))) (sqrt (* 3.0 (* x y))) (sqrt (* 3.0 (* x y))) (* 3.0 x) (* (cbrt 3.0) (* x y)) (* (sqrt 3.0) (* x y)) (* 3.0 (* x y)) (/ (exp (* 3.0 (* x y))) (exp z)) (log (- (* 3.0 (* x y)) z)) (exp (- (* 3.0 (* x y)) z)) (* (cbrt (- (* 3.0 (* x y)) z)) (cbrt (- (* 3.0 (* x y)) z))) (cbrt (- (* 3.0 (* x y)) z)) (* (* (- (* 3.0 (* x y)) z) (- (* 3.0 (* x y)) z)) (- (* 3.0 (* x y)) z)) (sqrt (- (* 3.0 (* x y)) z)) (sqrt (- (* 3.0 (* x y)) z)) (- (pow (* 3.0 (* x y)) 3) (pow z 3)) (+ (* (* 3.0 (* x y)) (* 3.0 (* x y))) (+ (* z z) (* (* 3.0 (* x y)) z))) (neg z) (- (* (* 3.0 (* x y)) (* 3.0 (* x y))) (* z z)) (+ (* 3.0 (* x y)) z) (neg z) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (- (* 3.0 (* x y)) z) (- (* 3.0 (* x y)) z) (- (* 3.0 (* x y)) z) 38.526 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 38.526 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 38.527 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 38.529 * * [simplify]: iteration done : 15 enodes (cost 5 ) 38.530 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 38.530 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 38.531 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 38.533 * * [simplify]: iteration done : 15 enodes (cost 5 ) 38.534 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 38.535 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 38.536 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 38.538 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 38.540 * * [simplify]: iteration done : 20 enodes (cost 8 ) 38.540 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 38.541 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 38.543 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 38.544 * * [simplify]: iteration 3 : 21 enodes (cost 7 ) 38.547 * * [simplify]: iteration done : 21 enodes (cost 7 ) 38.547 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 38.548 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 38.549 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 38.553 * * [simplify]: iteration 3 : 38 enodes (cost 6 ) 38.558 * * [simplify]: iteration 4 : 40 enodes (cost 6 ) 38.567 * * [simplify]: iteration done : 40 enodes (cost 6 ) 38.568 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 38.568 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 38.570 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 38.574 * * [simplify]: iteration 3 : 51 enodes (cost 6 ) 38.581 * * [simplify]: iteration 4 : 108 enodes (cost 6 ) 38.599 * * [simplify]: iteration 5 : 245 enodes (cost 6 ) 38.717 * * [simplify]: iteration 6 : 602 enodes (cost 6 ) 39.372 * * [simplify]: iteration 7 : 1789 enodes (cost 6 ) 41.710 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 41.711 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 41.713 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 41.717 * * [simplify]: iteration 2 : 90 enodes (cost 11 ) 41.750 * * [simplify]: iteration 3 : 328 enodes (cost 11 ) 42.028 * * [simplify]: iteration 4 : 1011 enodes (cost 9 ) 46.778 * * [simplify]: iteration 5 : 3067 enodes (cost 9 ) 48.828 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 48.829 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 48.835 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 48.841 * * [simplify]: iteration 2 : 94 enodes (cost 9 ) 48.887 * * [simplify]: iteration 3 : 375 enodes (cost 9 ) 49.294 * * [simplify]: iteration 4 : 1093 enodes (cost 7 ) 51.169 * * [simplify]: iteration 5 : 2048 enodes (cost 7 ) 56.688 * * [simplify]: iteration 6 : 4895 enodes (cost 7 ) 58.010 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 58.011 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 58.012 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 58.013 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 58.015 * * [simplify]: iteration done : 17 enodes (cost 13 ) 58.016 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.016 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 58.018 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 58.020 * * [simplify]: iteration done : 16 enodes (cost 6 ) 58.020 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 58.021 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 58.026 * * [simplify]: iteration 2 : 92 enodes (cost 7 ) 58.079 * * [simplify]: iteration 3 : 407 enodes (cost 7 ) 58.648 * * [simplify]: iteration 4 : 1210 enodes (cost 7 ) 60.428 * * [simplify]: iteration 5 : 1693 enodes (cost 7 ) 63.374 * * [simplify]: iteration 6 : 3142 enodes (cost 7 ) 65.387 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 65.388 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 65.389 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 65.390 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 65.392 * * [simplify]: iteration done : 16 enodes (cost 6 ) 65.392 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 65.393 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 65.395 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 65.397 * * [simplify]: iteration done : 16 enodes (cost 6 ) 65.397 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 65.398 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 65.398 * * [simplify]: iteration done : 4 enodes (cost 3 ) 65.399 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 65.399 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 65.401 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 65.403 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 65.405 * * [simplify]: iteration done : 18 enodes (cost 6 ) 65.406 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 65.406 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 65.408 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 65.410 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 65.412 * * [simplify]: iteration done : 18 enodes (cost 6 ) 65.412 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 65.413 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 65.414 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 65.416 * * [simplify]: iteration done : 15 enodes (cost 5 ) 65.417 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 65.418 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 65.420 * * [simplify]: iteration 2 : 33 enodes (cost 8 ) 65.424 * * [simplify]: iteration 3 : 63 enodes (cost 8 ) 65.434 * * [simplify]: iteration 4 : 139 enodes (cost 8 ) 65.468 * * [simplify]: iteration 5 : 363 enodes (cost 8 ) 65.683 * * [simplify]: iteration 6 : 1069 enodes (cost 8 ) 67.715 * * [simplify]: iteration 7 : 4010 enodes (cost 8 ) 68.772 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 68.773 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 68.774 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 68.776 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 68.779 * * [simplify]: iteration done : 21 enodes (cost 8 ) 68.779 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 68.780 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 68.782 * * [simplify]: iteration 2 : 32 enodes (cost 8 ) 68.787 * * [simplify]: iteration 3 : 55 enodes (cost 8 ) 68.795 * * [simplify]: iteration 4 : 117 enodes (cost 8 ) 68.824 * * [simplify]: iteration 5 : 308 enodes (cost 8 ) 69.024 * * [simplify]: iteration 6 : 986 enodes (cost 8 ) 70.075 * * [simplify]: iteration 7 : 2714 enodes (cost 8 ) 71.496 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 71.497 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 71.498 * * [simplify]: iteration 1 : 15 enodes (cost 17 ) 71.500 * * [simplify]: iteration 2 : 22 enodes (cost 17 ) 71.503 * * [simplify]: iteration done : 22 enodes (cost 17 ) 71.504 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 71.505 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 71.506 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 71.509 * * [simplify]: iteration done : 21 enodes (cost 8 ) 71.510 * * [simplify]: iteration 0 : 9 enodes (cost 23 ) 71.511 * * [simplify]: iteration 1 : 16 enodes (cost 23 ) 71.513 * * [simplify]: iteration 2 : 37 enodes (cost 9 ) 71.521 * * [simplify]: iteration 3 : 128 enodes (cost 9 ) 71.574 * * [simplify]: iteration 4 : 527 enodes (cost 9 ) 72.002 * * [simplify]: iteration 5 : 1930 enodes (cost 9 ) 74.092 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 74.093 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 74.094 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 74.096 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 74.098 * * [simplify]: iteration done : 21 enodes (cost 8 ) 74.099 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 74.100 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 74.102 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 74.105 * * [simplify]: iteration done : 21 enodes (cost 8 ) 74.105 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 74.107 * * [simplify]: iteration 1 : 32 enodes (cost 11 ) 74.113 * * [simplify]: iteration 2 : 106 enodes (cost 11 ) 74.152 * * [simplify]: iteration 3 : 403 enodes (cost 11 ) 74.569 * * [simplify]: iteration 4 : 1416 enodes (cost 11 ) 77.070 * * [simplify]: iteration 5 : 3472 enodes (cost 11 ) 78.651 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 78.652 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 78.654 * * [simplify]: iteration 1 : 31 enodes (cost 21 ) 78.660 * * [simplify]: iteration 2 : 97 enodes (cost 21 ) 78.698 * * [simplify]: iteration 3 : 263 enodes (cost 17 ) 78.830 * * [simplify]: iteration 4 : 361 enodes (cost 17 ) 78.971 * * [simplify]: iteration 5 : 385 enodes (cost 17 ) 79.104 * * [simplify]: iteration done : 385 enodes (cost 17 ) 79.109 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 79.109 * * [simplify]: iteration done : 2 enodes (cost 2 ) 79.110 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 79.112 * * [simplify]: iteration 1 : 25 enodes (cost 15 ) 79.117 * * [simplify]: iteration 2 : 77 enodes (cost 15 ) 79.140 * * [simplify]: iteration 3 : 214 enodes (cost 15 ) 79.239 * * [simplify]: iteration 4 : 334 enodes (cost 15 ) 79.375 * * [simplify]: iteration 5 : 533 enodes (cost 15 ) 79.594 * * [simplify]: iteration 6 : 709 enodes (cost 15 ) 79.957 * * [simplify]: iteration 7 : 1129 enodes (cost 15 ) 81.240 * * [simplify]: iteration 8 : 2994 enodes (cost 15 ) 83.316 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 83.317 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 83.317 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 83.320 * * [simplify]: iteration 2 : 18 enodes (cost 7 ) 83.322 * * [simplify]: iteration done : 18 enodes (cost 7 ) 83.323 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 83.323 * * [simplify]: iteration done : 2 enodes (cost 2 ) 83.323 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 83.324 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 83.325 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 83.327 * * [simplify]: iteration done : 15 enodes (cost 5 ) 83.328 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 83.329 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 83.330 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 83.332 * * [simplify]: iteration done : 15 enodes (cost 5 ) 83.332 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 83.333 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 83.334 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 83.341 * * [simplify]: iteration done : 15 enodes (cost 5 ) 83.342 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 83.343 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 83.345 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 83.347 * * [simplify]: iteration done : 20 enodes (cost 7 ) 83.348 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 83.349 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 83.350 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 83.353 * * [simplify]: iteration done : 20 enodes (cost 7 ) 83.354 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 83.355 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 83.356 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 83.359 * * [simplify]: iteration done : 20 enodes (cost 7 ) 83.359 * [simplify]: Simplified to: (* 3.0 (* x y)) (* 3.0 (* x y)) (+ (log 3.0) (+ (log x) (log y))) (+ (log 3.0) (log (* x y))) (log (* 3.0 (* x y))) (exp (* 3.0 (* x y))) (* (pow 3.0 3) (pow (* x y) 3)) (pow (* 3.0 (* x y)) 3) (* (cbrt (* 3.0 (* x y))) (cbrt (* 3.0 (* x y)))) (cbrt (* 3.0 (* x y))) (pow (* 3.0 (* x y)) 3) (sqrt (* 3.0 (* x y))) (sqrt (* 3.0 (* x y))) (* 3.0 x) (* (cbrt 3.0) (* x y)) (* (sqrt 3.0) (* x y)) (* 3.0 (* x y)) (exp (- (* 3.0 (* x y)) z)) (log (- (* 3.0 (* x y)) z)) (exp (- (* 3.0 (* x y)) z)) (* (cbrt (- (* 3.0 (* x y)) z)) (cbrt (- (* 3.0 (* x y)) z))) (cbrt (- (* 3.0 (* x y)) z)) (pow (- (* 3.0 (* x y)) z) 3) (sqrt (- (* 3.0 (* x y)) z)) (sqrt (- (* 3.0 (* x y)) z)) (- (pow (* 3.0 (* x y)) 3) (pow z 3)) (+ (* (* 3.0 (* x y)) (+ z (* 3.0 (* x y)))) (* z z)) (neg z) (- (* (* 3.0 (* x y)) (* 3.0 (* x y))) (* z z)) (+ (* 3.0 (* x y)) z) (neg z) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (- (* 3.0 (* x y)) z) (- (* 3.0 (* x y)) z) (- (* 3.0 (* x y)) z) 83.360 * * * [progress]: adding candidates to table 83.399 * * [progress]: iteration 3 / 4 83.399 * * * [progress]: picking best candidate 83.418 * * * * [pick]: Picked # 83.418 * * * [progress]: localizing error 83.427 * * * [progress]: generating rewritten candidates 83.427 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 83.433 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 83.448 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 83.463 * * * [progress]: generating series expansions 83.463 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 83.463 * [approximate]: Taking taylor expansion of (* x (* (cbrt 3.0) y)) in (x y) around 0 83.463 * [taylor]: Taking taylor expansion of (* x (* (cbrt 3.0) y)) in y 83.463 * [taylor]: Taking taylor expansion of x in y 83.463 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) y) in y 83.463 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 83.463 * [taylor]: Taking taylor expansion of 3.0 in y 83.463 * [taylor]: Taking taylor expansion of y in y 83.463 * [taylor]: Taking taylor expansion of (* x (* (cbrt 3.0) y)) in x 83.463 * [taylor]: Taking taylor expansion of x in x 83.463 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) y) in x 83.464 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 83.464 * [taylor]: Taking taylor expansion of 3.0 in x 83.464 * [taylor]: Taking taylor expansion of y in x 83.464 * [taylor]: Taking taylor expansion of (* x (* (cbrt 3.0) y)) in x 83.464 * [taylor]: Taking taylor expansion of x in x 83.464 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) y) in x 83.464 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 83.464 * [taylor]: Taking taylor expansion of 3.0 in x 83.464 * [taylor]: Taking taylor expansion of y in x 83.464 * [taylor]: Taking taylor expansion of 0 in y 83.464 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) y) in y 83.464 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 83.464 * [taylor]: Taking taylor expansion of 3.0 in y 83.464 * [taylor]: Taking taylor expansion of y in y 83.464 * [taylor]: Taking taylor expansion of 0 in y 83.465 * [taylor]: Taking taylor expansion of 0 in y 83.465 * [taylor]: Taking taylor expansion of 0 in y 83.465 * [approximate]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in (x y) around 0 83.465 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in y 83.465 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 83.465 * [taylor]: Taking taylor expansion of 3.0 in y 83.465 * [taylor]: Taking taylor expansion of (* x y) in y 83.465 * [taylor]: Taking taylor expansion of x in y 83.465 * [taylor]: Taking taylor expansion of y in y 83.465 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in x 83.466 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 83.466 * [taylor]: Taking taylor expansion of 3.0 in x 83.466 * [taylor]: Taking taylor expansion of (* x y) in x 83.466 * [taylor]: Taking taylor expansion of x in x 83.466 * [taylor]: Taking taylor expansion of y in x 83.466 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in x 83.466 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 83.466 * [taylor]: Taking taylor expansion of 3.0 in x 83.466 * [taylor]: Taking taylor expansion of (* x y) in x 83.466 * [taylor]: Taking taylor expansion of x in x 83.466 * [taylor]: Taking taylor expansion of y in x 83.466 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) y) in y 83.466 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 83.466 * [taylor]: Taking taylor expansion of 3.0 in y 83.466 * [taylor]: Taking taylor expansion of y in y 83.466 * [taylor]: Taking taylor expansion of 0 in y 83.467 * [taylor]: Taking taylor expansion of 0 in y 83.467 * [taylor]: Taking taylor expansion of 0 in y 83.467 * [approximate]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in (x y) around 0 83.467 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in y 83.468 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 83.468 * [taylor]: Taking taylor expansion of 3.0 in y 83.468 * [taylor]: Taking taylor expansion of (* x y) in y 83.468 * [taylor]: Taking taylor expansion of x in y 83.468 * [taylor]: Taking taylor expansion of y in y 83.468 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in x 83.468 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 83.468 * [taylor]: Taking taylor expansion of 3.0 in x 83.468 * [taylor]: Taking taylor expansion of (* x y) in x 83.468 * [taylor]: Taking taylor expansion of x in x 83.468 * [taylor]: Taking taylor expansion of y in x 83.468 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in x 83.468 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 83.468 * [taylor]: Taking taylor expansion of 3.0 in x 83.468 * [taylor]: Taking taylor expansion of (* x y) in x 83.468 * [taylor]: Taking taylor expansion of x in x 83.468 * [taylor]: Taking taylor expansion of y in x 83.468 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) y) in y 83.468 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 83.468 * [taylor]: Taking taylor expansion of 3.0 in y 83.468 * [taylor]: Taking taylor expansion of y in y 83.469 * [taylor]: Taking taylor expansion of 0 in y 83.469 * [taylor]: Taking taylor expansion of 0 in y 83.469 * [taylor]: Taking taylor expansion of 0 in y 83.470 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 83.470 * [approximate]: Taking taylor expansion of (* x (* (pow (cbrt 3.0) 3) y)) in (x y) around 0 83.470 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt 3.0) 3) y)) in y 83.470 * [taylor]: Taking taylor expansion of x in y 83.470 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) y) in y 83.470 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y 83.470 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 83.470 * [taylor]: Taking taylor expansion of 3.0 in y 83.470 * [taylor]: Taking taylor expansion of y in y 83.470 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt 3.0) 3) y)) in x 83.470 * [taylor]: Taking taylor expansion of x in x 83.470 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) y) in x 83.470 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 83.470 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 83.470 * [taylor]: Taking taylor expansion of 3.0 in x 83.470 * [taylor]: Taking taylor expansion of y in x 83.470 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt 3.0) 3) y)) in x 83.470 * [taylor]: Taking taylor expansion of x in x 83.470 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) y) in x 83.470 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 83.470 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 83.470 * [taylor]: Taking taylor expansion of 3.0 in x 83.470 * [taylor]: Taking taylor expansion of y in x 83.471 * [taylor]: Taking taylor expansion of 0 in y 83.471 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 83.471 * [taylor]: Taking taylor expansion of 3.0 in y 83.471 * [taylor]: Taking taylor expansion of y in y 83.471 * [taylor]: Taking taylor expansion of 0 in y 83.472 * [taylor]: Taking taylor expansion of 0 in y 83.472 * [taylor]: Taking taylor expansion of 0 in y 83.473 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in (x y) around 0 83.473 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in y 83.473 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y 83.473 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 83.473 * [taylor]: Taking taylor expansion of 3.0 in y 83.473 * [taylor]: Taking taylor expansion of (* x y) in y 83.473 * [taylor]: Taking taylor expansion of x in y 83.473 * [taylor]: Taking taylor expansion of y in y 83.473 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 83.473 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 83.473 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 83.473 * [taylor]: Taking taylor expansion of 3.0 in x 83.473 * [taylor]: Taking taylor expansion of (* x y) in x 83.473 * [taylor]: Taking taylor expansion of x in x 83.473 * [taylor]: Taking taylor expansion of y in x 83.474 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 83.474 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 83.474 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 83.474 * [taylor]: Taking taylor expansion of 3.0 in x 83.474 * [taylor]: Taking taylor expansion of (* x y) in x 83.474 * [taylor]: Taking taylor expansion of x in x 83.474 * [taylor]: Taking taylor expansion of y in x 83.474 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 83.474 * [taylor]: Taking taylor expansion of 3.0 in y 83.474 * [taylor]: Taking taylor expansion of y in y 83.474 * [taylor]: Taking taylor expansion of 0 in y 83.475 * [taylor]: Taking taylor expansion of 0 in y 83.475 * [taylor]: Taking taylor expansion of 0 in y 83.476 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in (x y) around 0 83.476 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in y 83.476 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y 83.476 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 83.476 * [taylor]: Taking taylor expansion of 3.0 in y 83.476 * [taylor]: Taking taylor expansion of (* x y) in y 83.476 * [taylor]: Taking taylor expansion of x in y 83.476 * [taylor]: Taking taylor expansion of y in y 83.476 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 83.476 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 83.476 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 83.476 * [taylor]: Taking taylor expansion of 3.0 in x 83.476 * [taylor]: Taking taylor expansion of (* x y) in x 83.476 * [taylor]: Taking taylor expansion of x in x 83.476 * [taylor]: Taking taylor expansion of y in x 83.477 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 83.477 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 83.477 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 83.477 * [taylor]: Taking taylor expansion of 3.0 in x 83.477 * [taylor]: Taking taylor expansion of (* x y) in x 83.477 * [taylor]: Taking taylor expansion of x in x 83.477 * [taylor]: Taking taylor expansion of y in x 83.477 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 83.477 * [taylor]: Taking taylor expansion of 3.0 in y 83.477 * [taylor]: Taking taylor expansion of y in y 83.477 * [taylor]: Taking taylor expansion of 0 in y 83.478 * [taylor]: Taking taylor expansion of 0 in y 83.478 * [taylor]: Taking taylor expansion of 0 in y 83.478 * * * * [progress]: [ 3 / 3 ] generating series at (2) 83.479 * [approximate]: Taking taylor expansion of (- (* x (* (pow (cbrt 3.0) 3) y)) z) in (x y z) around 0 83.479 * [taylor]: Taking taylor expansion of (- (* x (* (pow (cbrt 3.0) 3) y)) z) in z 83.479 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt 3.0) 3) y)) in z 83.479 * [taylor]: Taking taylor expansion of x in z 83.479 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) y) in z 83.479 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in z 83.479 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z 83.479 * [taylor]: Taking taylor expansion of 3.0 in z 83.479 * [taylor]: Taking taylor expansion of y in z 83.479 * [taylor]: Taking taylor expansion of z in z 83.479 * [taylor]: Taking taylor expansion of (- (* x (* (pow (cbrt 3.0) 3) y)) z) in y 83.479 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt 3.0) 3) y)) in y 83.479 * [taylor]: Taking taylor expansion of x in y 83.479 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) y) in y 83.479 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y 83.479 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 83.479 * [taylor]: Taking taylor expansion of 3.0 in y 83.479 * [taylor]: Taking taylor expansion of y in y 83.479 * [taylor]: Taking taylor expansion of z in y 83.479 * [taylor]: Taking taylor expansion of (- (* x (* (pow (cbrt 3.0) 3) y)) z) in x 83.479 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt 3.0) 3) y)) in x 83.479 * [taylor]: Taking taylor expansion of x in x 83.479 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) y) in x 83.479 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 83.479 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 83.479 * [taylor]: Taking taylor expansion of 3.0 in x 83.479 * [taylor]: Taking taylor expansion of y in x 83.479 * [taylor]: Taking taylor expansion of z in x 83.479 * [taylor]: Taking taylor expansion of (- (* x (* (pow (cbrt 3.0) 3) y)) z) in x 83.479 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt 3.0) 3) y)) in x 83.479 * [taylor]: Taking taylor expansion of x in x 83.479 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) y) in x 83.479 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 83.479 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 83.479 * [taylor]: Taking taylor expansion of 3.0 in x 83.480 * [taylor]: Taking taylor expansion of y in x 83.480 * [taylor]: Taking taylor expansion of z in x 83.480 * [taylor]: Taking taylor expansion of (neg z) in y 83.480 * [taylor]: Taking taylor expansion of z in y 83.480 * [taylor]: Taking taylor expansion of (neg z) in z 83.480 * [taylor]: Taking taylor expansion of z in z 83.480 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 83.480 * [taylor]: Taking taylor expansion of 3.0 in y 83.480 * [taylor]: Taking taylor expansion of y in y 83.480 * [taylor]: Taking taylor expansion of 0 in z 83.480 * [taylor]: Taking taylor expansion of 0 in z 83.481 * [taylor]: Taking taylor expansion of 0 in y 83.481 * [taylor]: Taking taylor expansion of 0 in z 83.481 * [taylor]: Taking taylor expansion of 3.0 in z 83.481 * [taylor]: Taking taylor expansion of 0 in z 83.481 * [taylor]: Taking taylor expansion of 0 in y 83.482 * [taylor]: Taking taylor expansion of 0 in z 83.482 * [taylor]: Taking taylor expansion of 0 in z 83.482 * [approximate]: Taking taylor expansion of (- (/ (pow (cbrt 3.0) 3) (* x y)) (/ 1 z)) in (x y z) around 0 83.482 * [taylor]: Taking taylor expansion of (- (/ (pow (cbrt 3.0) 3) (* x y)) (/ 1 z)) in z 83.482 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in z 83.482 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in z 83.482 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z 83.482 * [taylor]: Taking taylor expansion of 3.0 in z 83.482 * [taylor]: Taking taylor expansion of (* x y) in z 83.482 * [taylor]: Taking taylor expansion of x in z 83.482 * [taylor]: Taking taylor expansion of y in z 83.482 * [taylor]: Taking taylor expansion of (/ 1 z) in z 83.482 * [taylor]: Taking taylor expansion of z in z 83.482 * [taylor]: Taking taylor expansion of (- (/ (pow (cbrt 3.0) 3) (* x y)) (/ 1 z)) in y 83.482 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in y 83.482 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y 83.482 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 83.482 * [taylor]: Taking taylor expansion of 3.0 in y 83.483 * [taylor]: Taking taylor expansion of (* x y) in y 83.483 * [taylor]: Taking taylor expansion of x in y 83.483 * [taylor]: Taking taylor expansion of y in y 83.483 * [taylor]: Taking taylor expansion of (/ 1 z) in y 83.483 * [taylor]: Taking taylor expansion of z in y 83.483 * [taylor]: Taking taylor expansion of (- (/ (pow (cbrt 3.0) 3) (* x y)) (/ 1 z)) in x 83.483 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 83.483 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 83.483 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 83.483 * [taylor]: Taking taylor expansion of 3.0 in x 83.483 * [taylor]: Taking taylor expansion of (* x y) in x 83.483 * [taylor]: Taking taylor expansion of x in x 83.483 * [taylor]: Taking taylor expansion of y in x 83.483 * [taylor]: Taking taylor expansion of (/ 1 z) in x 83.483 * [taylor]: Taking taylor expansion of z in x 83.483 * [taylor]: Taking taylor expansion of (- (/ (pow (cbrt 3.0) 3) (* x y)) (/ 1 z)) in x 83.483 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 83.484 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 83.484 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 83.484 * [taylor]: Taking taylor expansion of 3.0 in x 83.484 * [taylor]: Taking taylor expansion of (* x y) in x 83.484 * [taylor]: Taking taylor expansion of x in x 83.484 * [taylor]: Taking taylor expansion of y in x 83.484 * [taylor]: Taking taylor expansion of (/ 1 z) in x 83.484 * [taylor]: Taking taylor expansion of z in x 83.484 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 y)) in y 83.484 * [taylor]: Taking taylor expansion of 3.0 in y 83.484 * [taylor]: Taking taylor expansion of (/ 1 y) in y 83.484 * [taylor]: Taking taylor expansion of y in y 83.484 * [taylor]: Taking taylor expansion of 3.0 in z 83.484 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in y 83.485 * [taylor]: Taking taylor expansion of (/ 1 z) in y 83.485 * [taylor]: Taking taylor expansion of z in y 83.485 * [taylor]: Taking taylor expansion of 0 in z 83.485 * [taylor]: Taking taylor expansion of 0 in y 83.485 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 83.485 * [taylor]: Taking taylor expansion of (/ 1 z) in z 83.485 * [taylor]: Taking taylor expansion of z in z 83.485 * [taylor]: Taking taylor expansion of 0 in z 83.486 * [taylor]: Taking taylor expansion of 0 in y 83.486 * [taylor]: Taking taylor expansion of 0 in z 83.486 * [taylor]: Taking taylor expansion of 0 in z 83.486 * [taylor]: Taking taylor expansion of 0 in z 83.487 * [approximate]: Taking taylor expansion of (+ (/ (pow (cbrt 3.0) 3) (* x y)) (/ 1 z)) in (x y z) around 0 83.487 * [taylor]: Taking taylor expansion of (+ (/ (pow (cbrt 3.0) 3) (* x y)) (/ 1 z)) in z 83.487 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in z 83.487 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in z 83.487 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z 83.487 * [taylor]: Taking taylor expansion of 3.0 in z 83.487 * [taylor]: Taking taylor expansion of (* x y) in z 83.487 * [taylor]: Taking taylor expansion of x in z 83.487 * [taylor]: Taking taylor expansion of y in z 83.487 * [taylor]: Taking taylor expansion of (/ 1 z) in z 83.487 * [taylor]: Taking taylor expansion of z in z 83.487 * [taylor]: Taking taylor expansion of (+ (/ (pow (cbrt 3.0) 3) (* x y)) (/ 1 z)) in y 83.487 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in y 83.487 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y 83.487 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 83.487 * [taylor]: Taking taylor expansion of 3.0 in y 83.487 * [taylor]: Taking taylor expansion of (* x y) in y 83.487 * [taylor]: Taking taylor expansion of x in y 83.487 * [taylor]: Taking taylor expansion of y in y 83.488 * [taylor]: Taking taylor expansion of (/ 1 z) in y 83.488 * [taylor]: Taking taylor expansion of z in y 83.488 * [taylor]: Taking taylor expansion of (+ (/ (pow (cbrt 3.0) 3) (* x y)) (/ 1 z)) in x 83.488 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 83.488 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 83.488 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 83.488 * [taylor]: Taking taylor expansion of 3.0 in x 83.488 * [taylor]: Taking taylor expansion of (* x y) in x 83.488 * [taylor]: Taking taylor expansion of x in x 83.488 * [taylor]: Taking taylor expansion of y in x 83.488 * [taylor]: Taking taylor expansion of (/ 1 z) in x 83.488 * [taylor]: Taking taylor expansion of z in x 83.488 * [taylor]: Taking taylor expansion of (+ (/ (pow (cbrt 3.0) 3) (* x y)) (/ 1 z)) in x 83.488 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 83.488 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 83.488 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 83.488 * [taylor]: Taking taylor expansion of 3.0 in x 83.488 * [taylor]: Taking taylor expansion of (* x y) in x 83.488 * [taylor]: Taking taylor expansion of x in x 83.488 * [taylor]: Taking taylor expansion of y in x 83.489 * [taylor]: Taking taylor expansion of (/ 1 z) in x 83.489 * [taylor]: Taking taylor expansion of z in x 83.489 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 y)) in y 83.489 * [taylor]: Taking taylor expansion of 3.0 in y 83.489 * [taylor]: Taking taylor expansion of (/ 1 y) in y 83.489 * [taylor]: Taking taylor expansion of y in y 83.489 * [taylor]: Taking taylor expansion of 3.0 in z 83.489 * [taylor]: Taking taylor expansion of (/ 1 z) in y 83.489 * [taylor]: Taking taylor expansion of z in y 83.489 * [taylor]: Taking taylor expansion of 0 in z 83.490 * [taylor]: Taking taylor expansion of 0 in y 83.490 * [taylor]: Taking taylor expansion of (/ 1 z) in z 83.490 * [taylor]: Taking taylor expansion of z in z 83.490 * [taylor]: Taking taylor expansion of 0 in z 83.490 * [taylor]: Taking taylor expansion of 0 in y 83.490 * [taylor]: Taking taylor expansion of 0 in z 83.491 * [taylor]: Taking taylor expansion of 0 in z 83.491 * [taylor]: Taking taylor expansion of 0 in z 83.491 * * * [progress]: simplifying candidates 83.492 * [simplify]: Simplifying using # : (* (cbrt 3.0) (* x y)) (* (cbrt 3.0) (* x y)) (+ (log (cbrt 3.0)) (+ (log x) (log y))) (+ (log (cbrt 3.0)) (log (* x y))) (log (* (cbrt 3.0) (* x y))) (exp (* (cbrt 3.0) (* x y))) (* 3.0 (* (* (* x x) x) (* (* y y) y))) (* 3.0 (* (* (* x y) (* x y)) (* x y))) (* (cbrt (* (cbrt 3.0) (* x y))) (cbrt (* (cbrt 3.0) (* x y)))) (cbrt (* (cbrt 3.0) (* x y))) (* (* (* (cbrt 3.0) (* x y)) (* (cbrt 3.0) (* x y))) (* (cbrt 3.0) (* x y))) (sqrt (* (cbrt 3.0) (* x y))) (sqrt (* (cbrt 3.0) (* x y))) (* (cbrt 3.0) x) (* (cbrt (cbrt 3.0)) (* x y)) (* (cbrt (sqrt 3.0)) (* x y)) (* (cbrt 3.0) (* x y)) (* (cbrt (cbrt 3.0)) (* x y)) (* (sqrt (cbrt 3.0)) (* x y)) (* (cbrt 3.0) (* x y)) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (+ (log (cbrt 3.0)) (+ (log x) (log y)))) (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (+ (log (cbrt 3.0)) (log (* x y)))) (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (log (* (cbrt 3.0) (* x y)))) (+ (log (* (cbrt 3.0) (cbrt 3.0))) (+ (log (cbrt 3.0)) (+ (log x) (log y)))) (+ (log (* (cbrt 3.0) (cbrt 3.0))) (+ (log (cbrt 3.0)) (log (* x y)))) (+ (log (* (cbrt 3.0) (cbrt 3.0))) (log (* (cbrt 3.0) (* x y)))) (log (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (exp (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (* (* 3.0 3.0) (* 3.0 (* (* (* x x) x) (* (* y y) y)))) (* (* 3.0 3.0) (* 3.0 (* (* (* x y) (* x y)) (* x y)))) (* (* 3.0 3.0) (* (* (* (cbrt 3.0) (* x y)) (* (cbrt 3.0) (* x y))) (* (cbrt 3.0) (* x y)))) (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* 3.0 (* (* (* x x) x) (* (* y y) y)))) (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* 3.0 (* (* (* x y) (* x y)) (* x y)))) (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* (* (* (cbrt 3.0) (* x y)) (* (cbrt 3.0) (* x y))) (* (cbrt 3.0) (* x y)))) (* (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))))) (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (* (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0)) (* (cbrt 3.0) (* (cbrt 3.0) (* x y))) (/ (exp (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (exp z)) (log (- (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) z)) (exp (- (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) z)) (* (cbrt (- (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) z)) (cbrt (- (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) z))) (cbrt (- (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) z)) (* (* (- (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) z) (- (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) z)) (- (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) z)) (sqrt (- (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) z)) (sqrt (- (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) z)) (- (pow (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) 3) (pow z 3)) (+ (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (+ (* z z) (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) z))) (neg z) (- (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (* z z)) (+ (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) z) (neg z) (* x (* (cbrt 3.0) y)) (* x (* (cbrt 3.0) y)) (* x (* (cbrt 3.0) y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (- (* 3.0 (* x y)) z) (- (* 3.0 (* x y)) z) (- (* 3.0 (* x y)) z) 83.493 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 83.493 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 83.494 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 83.496 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 83.498 * * [simplify]: iteration done : 18 enodes (cost 6 ) 83.499 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 83.500 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 83.502 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 83.511 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 83.513 * * [simplify]: iteration done : 18 enodes (cost 6 ) 83.513 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 83.514 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 83.516 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 83.518 * * [simplify]: iteration done : 19 enodes (cost 9 ) 83.518 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 83.519 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 83.520 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 83.522 * * [simplify]: iteration 3 : 22 enodes (cost 8 ) 83.525 * * [simplify]: iteration done : 22 enodes (cost 8 ) 83.525 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 83.526 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 83.528 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 83.531 * * [simplify]: iteration 3 : 41 enodes (cost 7 ) 83.535 * * [simplify]: iteration done : 41 enodes (cost 7 ) 83.536 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 83.537 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 83.539 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 83.542 * * [simplify]: iteration 3 : 54 enodes (cost 7 ) 83.549 * * [simplify]: iteration 4 : 111 enodes (cost 7 ) 83.575 * * [simplify]: iteration 5 : 250 enodes (cost 7 ) 83.694 * * [simplify]: iteration 6 : 613 enodes (cost 7 ) 84.359 * * [simplify]: iteration 7 : 1805 enodes (cost 7 ) 86.627 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 86.628 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 86.630 * * [simplify]: iteration 1 : 19 enodes (cost 13 ) 86.633 * * [simplify]: iteration 2 : 65 enodes (cost 9 ) 86.660 * * [simplify]: iteration 3 : 175 enodes (cost 9 ) 86.748 * * [simplify]: iteration 4 : 412 enodes (cost 7 ) 87.104 * * [simplify]: iteration 5 : 798 enodes (cost 7 ) 87.934 * * [simplify]: iteration 6 : 1871 enodes (cost 7 ) 89.898 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 89.899 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 89.900 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 89.905 * * [simplify]: iteration 2 : 71 enodes (cost 7 ) 89.929 * * [simplify]: iteration 3 : 205 enodes (cost 7 ) 90.063 * * [simplify]: iteration 4 : 346 enodes (cost 7 ) 90.301 * * [simplify]: iteration 5 : 451 enodes (cost 7 ) 90.636 * * [simplify]: iteration 6 : 805 enodes (cost 7 ) 91.566 * * [simplify]: iteration 7 : 1995 enodes (cost 7 ) 92.965 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 92.965 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 92.966 * * [simplify]: iteration 1 : 12 enodes (cost 15 ) 92.968 * * [simplify]: iteration 2 : 18 enodes (cost 15 ) 92.970 * * [simplify]: iteration 3 : 20 enodes (cost 15 ) 92.972 * * [simplify]: iteration done : 20 enodes (cost 15 ) 92.973 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 92.974 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 92.976 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 92.978 * * [simplify]: iteration done : 17 enodes (cost 7 ) 92.979 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 92.980 * * [simplify]: iteration 1 : 22 enodes (cost 20 ) 92.985 * * [simplify]: iteration 2 : 93 enodes (cost 8 ) 93.036 * * [simplify]: iteration 3 : 406 enodes (cost 8 ) 93.584 * * [simplify]: iteration 4 : 1111 enodes (cost 7 ) 95.305 * * [simplify]: iteration 5 : 1521 enodes (cost 7 ) 97.869 * * [simplify]: iteration 6 : 2363 enodes (cost 7 ) 104.870 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 104.870 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 104.871 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 104.872 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 104.875 * * [simplify]: iteration done : 17 enodes (cost 7 ) 104.875 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 104.876 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 104.877 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 104.887 * * [simplify]: iteration done : 17 enodes (cost 7 ) 104.888 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 104.888 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 104.889 * * [simplify]: iteration done : 5 enodes (cost 4 ) 104.890 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 104.890 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 104.892 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 104.894 * * [simplify]: iteration done : 17 enodes (cost 7 ) 104.894 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 104.895 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 104.896 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 104.899 * * [simplify]: iteration done : 17 enodes (cost 7 ) 104.900 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 104.900 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 104.902 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 104.904 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 104.906 * * [simplify]: iteration done : 18 enodes (cost 6 ) 104.907 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 104.907 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 104.909 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 104.911 * * [simplify]: iteration done : 17 enodes (cost 7 ) 104.912 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 104.912 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 104.914 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 104.916 * * [simplify]: iteration done : 17 enodes (cost 7 ) 104.917 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 104.918 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 104.919 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 104.921 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 104.923 * * [simplify]: iteration done : 18 enodes (cost 6 ) 104.924 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 104.925 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 104.928 * * [simplify]: iteration 2 : 40 enodes (cost 12 ) 104.936 * * [simplify]: iteration 3 : 72 enodes (cost 8 ) 104.958 * * [simplify]: iteration 4 : 79 enodes (cost 5 ) 104.973 * * [simplify]: iteration 5 : 83 enodes (cost 5 ) 104.989 * * [simplify]: iteration 6 : 89 enodes (cost 5 ) 105.010 * * [simplify]: iteration 7 : 99 enodes (cost 5 ) 105.028 * * [simplify]: iteration 8 : 122 enodes (cost 5 ) 105.050 * * [simplify]: iteration 9 : 185 enodes (cost 5 ) 105.120 * * [simplify]: iteration 10 : 403 enodes (cost 5 ) 105.601 * * [simplify]: iteration 11 : 1328 enodes (cost 5 ) 108.057 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 108.058 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 108.059 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 108.062 * * [simplify]: iteration 2 : 40 enodes (cost 12 ) 108.070 * * [simplify]: iteration 3 : 72 enodes (cost 8 ) 108.086 * * [simplify]: iteration 4 : 79 enodes (cost 5 ) 108.109 * * [simplify]: iteration 5 : 83 enodes (cost 5 ) 108.124 * * [simplify]: iteration 6 : 89 enodes (cost 5 ) 108.139 * * [simplify]: iteration 7 : 99 enodes (cost 5 ) 108.162 * * [simplify]: iteration 8 : 122 enodes (cost 5 ) 108.185 * * [simplify]: iteration 9 : 185 enodes (cost 5 ) 108.248 * * [simplify]: iteration 10 : 403 enodes (cost 5 ) 108.730 * * [simplify]: iteration 11 : 1328 enodes (cost 5 ) 111.194 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 111.195 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 111.196 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 111.199 * * [simplify]: iteration 2 : 40 enodes (cost 12 ) 111.208 * * [simplify]: iteration 3 : 72 enodes (cost 8 ) 111.224 * * [simplify]: iteration 4 : 79 enodes (cost 5 ) 111.239 * * [simplify]: iteration 5 : 83 enodes (cost 5 ) 111.262 * * [simplify]: iteration 6 : 89 enodes (cost 5 ) 111.278 * * [simplify]: iteration 7 : 99 enodes (cost 5 ) 111.295 * * [simplify]: iteration 8 : 122 enodes (cost 5 ) 111.324 * * [simplify]: iteration 9 : 185 enodes (cost 5 ) 111.389 * * [simplify]: iteration 10 : 403 enodes (cost 5 ) 111.880 * * [simplify]: iteration 11 : 1328 enodes (cost 5 ) 114.352 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 114.352 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 114.353 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 114.356 * * [simplify]: iteration 2 : 40 enodes (cost 12 ) 114.364 * * [simplify]: iteration 3 : 72 enodes (cost 8 ) 114.387 * * [simplify]: iteration 4 : 79 enodes (cost 5 ) 114.403 * * [simplify]: iteration 5 : 83 enodes (cost 5 ) 114.419 * * [simplify]: iteration 6 : 89 enodes (cost 5 ) 114.440 * * [simplify]: iteration 7 : 99 enodes (cost 5 ) 114.458 * * [simplify]: iteration 8 : 122 enodes (cost 5 ) 114.487 * * [simplify]: iteration 9 : 185 enodes (cost 5 ) 114.549 * * [simplify]: iteration 10 : 403 enodes (cost 5 ) 115.038 * * [simplify]: iteration 11 : 1328 enodes (cost 5 ) 117.510 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 117.511 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 117.512 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 117.515 * * [simplify]: iteration 2 : 40 enodes (cost 12 ) 117.524 * * [simplify]: iteration 3 : 72 enodes (cost 8 ) 117.547 * * [simplify]: iteration 4 : 79 enodes (cost 5 ) 117.562 * * [simplify]: iteration 5 : 83 enodes (cost 5 ) 117.578 * * [simplify]: iteration 6 : 89 enodes (cost 5 ) 117.594 * * [simplify]: iteration 7 : 99 enodes (cost 5 ) 117.617 * * [simplify]: iteration 8 : 122 enodes (cost 5 ) 117.640 * * [simplify]: iteration 9 : 185 enodes (cost 5 ) 117.703 * * [simplify]: iteration 10 : 403 enodes (cost 5 ) 118.197 * * [simplify]: iteration 11 : 1328 enodes (cost 5 ) 120.663 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 120.664 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 120.665 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 120.667 * * [simplify]: iteration 2 : 40 enodes (cost 12 ) 120.676 * * [simplify]: iteration 3 : 72 enodes (cost 8 ) 120.691 * * [simplify]: iteration 4 : 79 enodes (cost 5 ) 120.715 * * [simplify]: iteration 5 : 83 enodes (cost 5 ) 120.731 * * [simplify]: iteration 6 : 89 enodes (cost 5 ) 120.746 * * [simplify]: iteration 7 : 99 enodes (cost 5 ) 120.770 * * [simplify]: iteration 8 : 122 enodes (cost 5 ) 120.792 * * [simplify]: iteration 9 : 185 enodes (cost 5 ) 120.855 * * [simplify]: iteration 10 : 403 enodes (cost 5 ) 121.338 * * [simplify]: iteration 11 : 1328 enodes (cost 5 ) 123.798 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 123.799 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 123.800 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 123.810 * * [simplify]: iteration 2 : 50 enodes (cost 11 ) 123.819 * * [simplify]: iteration 3 : 85 enodes (cost 11 ) 123.834 * * [simplify]: iteration 4 : 86 enodes (cost 11 ) 123.850 * * [simplify]: iteration done : 86 enodes (cost 11 ) 123.851 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 123.852 * * [simplify]: iteration 1 : 22 enodes (cost 14 ) 123.855 * * [simplify]: iteration 2 : 41 enodes (cost 10 ) 123.861 * * [simplify]: iteration 3 : 73 enodes (cost 10 ) 123.880 * * [simplify]: iteration 4 : 90 enodes (cost 10 ) 123.895 * * [simplify]: iteration done : 90 enodes (cost 10 ) 123.896 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 123.897 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 123.900 * * [simplify]: iteration 2 : 42 enodes (cost 13 ) 123.907 * * [simplify]: iteration 3 : 79 enodes (cost 10 ) 123.929 * * [simplify]: iteration 4 : 124 enodes (cost 10 ) 123.948 * * [simplify]: iteration done : 124 enodes (cost 10 ) 123.949 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 123.950 * * [simplify]: iteration 1 : 20 enodes (cost 16 ) 123.952 * * [simplify]: iteration 2 : 46 enodes (cost 15 ) 123.961 * * [simplify]: iteration 3 : 84 enodes (cost 11 ) 123.990 * * [simplify]: iteration 4 : 91 enodes (cost 11 ) 124.011 * * [simplify]: iteration done : 91 enodes (cost 11 ) 124.012 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 124.014 * * [simplify]: iteration 1 : 20 enodes (cost 15 ) 124.016 * * [simplify]: iteration 2 : 39 enodes (cost 14 ) 124.022 * * [simplify]: iteration 3 : 73 enodes (cost 10 ) 124.035 * * [simplify]: iteration 4 : 94 enodes (cost 10 ) 124.051 * * [simplify]: iteration done : 94 enodes (cost 10 ) 124.052 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 124.053 * * [simplify]: iteration 1 : 19 enodes (cost 14 ) 124.059 * * [simplify]: iteration 2 : 42 enodes (cost 13 ) 124.065 * * [simplify]: iteration 3 : 77 enodes (cost 10 ) 124.080 * * [simplify]: iteration 4 : 125 enodes (cost 10 ) 124.100 * * [simplify]: iteration 5 : 126 enodes (cost 10 ) 124.122 * * [simplify]: iteration done : 126 enodes (cost 10 ) 124.123 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 124.124 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 124.128 * * [simplify]: iteration 2 : 58 enodes (cost 13 ) 124.139 * * [simplify]: iteration 3 : 129 enodes (cost 9 ) 124.172 * * [simplify]: iteration 4 : 202 enodes (cost 6 ) 124.206 * * [simplify]: iteration 5 : 213 enodes (cost 6 ) 124.245 * * [simplify]: iteration 6 : 219 enodes (cost 6 ) 124.282 * * [simplify]: iteration 7 : 229 enodes (cost 6 ) 124.317 * * [simplify]: iteration 8 : 250 enodes (cost 6 ) 124.362 * * [simplify]: iteration 9 : 309 enodes (cost 6 ) 124.444 * * [simplify]: iteration 10 : 519 enodes (cost 6 ) 124.937 * * [simplify]: iteration 11 : 1450 enodes (cost 6 ) 127.307 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 127.308 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 127.309 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 127.313 * * [simplify]: iteration 2 : 55 enodes (cost 13 ) 127.324 * * [simplify]: iteration 3 : 139 enodes (cost 9 ) 127.359 * * [simplify]: iteration 4 : 310 enodes (cost 6 ) 127.433 * * [simplify]: iteration 5 : 758 enodes (cost 6 ) 127.984 * * [simplify]: iteration 6 : 1874 enodes (cost 6 ) 130.781 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 130.782 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 130.783 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 130.789 * * [simplify]: iteration 2 : 93 enodes (cost 13 ) 130.831 * * [simplify]: iteration 3 : 357 enodes (cost 11 ) 131.163 * * [simplify]: iteration 4 : 1064 enodes (cost 9 ) 132.898 * * [simplify]: iteration 5 : 2505 enodes (cost 9 ) 135.265 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 135.266 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 135.268 * * [simplify]: iteration 1 : 28 enodes (cost 17 ) 135.274 * * [simplify]: iteration 2 : 97 enodes (cost 11 ) 135.320 * * [simplify]: iteration 3 : 400 enodes (cost 9 ) 135.775 * * [simplify]: iteration 4 : 1103 enodes (cost 9 ) 137.468 * * [simplify]: iteration 5 : 1720 enodes (cost 7 ) 140.961 * * [simplify]: iteration 6 : 3530 enodes (cost 7 ) 143.176 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 143.177 * * [simplify]: iteration 0 : 10 enodes (cost 24 ) 143.178 * * [simplify]: iteration 1 : 29 enodes (cost 24 ) 143.189 * * [simplify]: iteration 2 : 133 enodes (cost 12 ) 143.276 * * [simplify]: iteration 3 : 791 enodes (cost 12 ) 145.382 * * [simplify]: iteration 4 : 3852 enodes (cost 11 ) 147.647 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 147.648 * * [simplify]: iteration 0 : 14 enodes (cost 31 ) 147.651 * * [simplify]: iteration 1 : 37 enodes (cost 31 ) 147.659 * * [simplify]: iteration 2 : 142 enodes (cost 17 ) 147.765 * * [simplify]: iteration 3 : 725 enodes (cost 13 ) 149.468 * * [simplify]: iteration 4 : 3553 enodes (cost 9 ) 151.792 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 151.793 * * [simplify]: iteration 0 : 12 enodes (cost 31 ) 151.795 * * [simplify]: iteration 1 : 39 enodes (cost 31 ) 151.811 * * [simplify]: iteration 2 : 146 enodes (cost 15 ) 151.910 * * [simplify]: iteration 3 : 724 enodes (cost 11 ) 153.595 * * [simplify]: iteration 4 : 3593 enodes (cost 9 ) 158.638 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 158.639 * * [simplify]: iteration 0 : 12 enodes (cost 38 ) 158.642 * * [simplify]: iteration 1 : 38 enodes (cost 38 ) 158.651 * * [simplify]: iteration 2 : 174 enodes (cost 16 ) 158.792 * * [simplify]: iteration 3 : 1033 enodes (cost 11 ) 163.843 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 163.843 * * [simplify]: iteration 0 : 10 enodes (cost 27 ) 163.845 * * [simplify]: iteration 1 : 19 enodes (cost 27 ) 163.849 * * [simplify]: iteration 2 : 42 enodes (cost 27 ) 163.858 * * [simplify]: iteration 3 : 78 enodes (cost 19 ) 163.875 * * [simplify]: iteration 4 : 87 enodes (cost 13 ) 163.897 * * [simplify]: iteration 5 : 91 enodes (cost 13 ) 163.914 * * [simplify]: iteration 6 : 97 enodes (cost 13 ) 163.930 * * [simplify]: iteration 7 : 107 enodes (cost 13 ) 163.954 * * [simplify]: iteration 8 : 130 enodes (cost 13 ) 163.978 * * [simplify]: iteration 9 : 191 enodes (cost 13 ) 164.043 * * [simplify]: iteration 10 : 410 enodes (cost 13 ) 164.535 * * [simplify]: iteration 11 : 1328 enodes (cost 13 ) 167.083 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 167.084 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 167.085 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 167.088 * * [simplify]: iteration 2 : 42 enodes (cost 13 ) 167.096 * * [simplify]: iteration 3 : 75 enodes (cost 9 ) 167.112 * * [simplify]: iteration 4 : 81 enodes (cost 6 ) 167.135 * * [simplify]: iteration 5 : 85 enodes (cost 6 ) 167.150 * * [simplify]: iteration 6 : 91 enodes (cost 6 ) 167.166 * * [simplify]: iteration 7 : 101 enodes (cost 6 ) 167.189 * * [simplify]: iteration 8 : 122 enodes (cost 6 ) 167.211 * * [simplify]: iteration 9 : 182 enodes (cost 6 ) 167.273 * * [simplify]: iteration 10 : 392 enodes (cost 6 ) 167.751 * * [simplify]: iteration 11 : 1313 enodes (cost 6 ) 170.209 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 170.210 * * [simplify]: iteration 0 : 10 enodes (cost 38 ) 170.211 * * [simplify]: iteration 1 : 29 enodes (cost 38 ) 170.220 * * [simplify]: iteration 2 : 145 enodes (cost 14 ) 170.352 * * [simplify]: iteration 3 : 869 enodes (cost 10 ) 173.343 * * [simplify]: iteration 4 : 4441 enodes (cost 7 ) 175.218 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 175.218 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 175.220 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 175.223 * * [simplify]: iteration 2 : 42 enodes (cost 13 ) 175.231 * * [simplify]: iteration 3 : 75 enodes (cost 9 ) 175.254 * * [simplify]: iteration 4 : 81 enodes (cost 6 ) 175.270 * * [simplify]: iteration 5 : 85 enodes (cost 6 ) 175.285 * * [simplify]: iteration 6 : 91 enodes (cost 6 ) 175.307 * * [simplify]: iteration 7 : 101 enodes (cost 6 ) 175.325 * * [simplify]: iteration 8 : 122 enodes (cost 6 ) 175.348 * * [simplify]: iteration 9 : 182 enodes (cost 6 ) 175.417 * * [simplify]: iteration 10 : 392 enodes (cost 6 ) 175.896 * * [simplify]: iteration 11 : 1313 enodes (cost 6 ) 178.361 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 178.362 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 178.363 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 178.366 * * [simplify]: iteration 2 : 42 enodes (cost 13 ) 178.380 * * [simplify]: iteration 3 : 75 enodes (cost 9 ) 178.396 * * [simplify]: iteration 4 : 81 enodes (cost 6 ) 178.412 * * [simplify]: iteration 5 : 85 enodes (cost 6 ) 178.428 * * [simplify]: iteration 6 : 91 enodes (cost 6 ) 178.449 * * [simplify]: iteration 7 : 101 enodes (cost 6 ) 178.466 * * [simplify]: iteration 8 : 122 enodes (cost 6 ) 178.495 * * [simplify]: iteration 9 : 182 enodes (cost 6 ) 178.558 * * [simplify]: iteration 10 : 392 enodes (cost 6 ) 179.039 * * [simplify]: iteration 11 : 1313 enodes (cost 6 ) 181.507 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 181.507 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 181.508 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 181.508 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 181.510 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 181.511 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 181.512 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 181.513 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 181.523 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 181.532 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 181.581 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 182.063 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 184.556 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 184.557 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 184.558 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 184.560 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 184.564 * * [simplify]: iteration 3 : 40 enodes (cost 9 ) 184.571 * * [simplify]: iteration done : 40 enodes (cost 9 ) 184.572 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 184.573 * * [simplify]: iteration 1 : 25 enodes (cost 15 ) 184.585 * * [simplify]: iteration 2 : 61 enodes (cost 15 ) 184.598 * * [simplify]: iteration 3 : 152 enodes (cost 11 ) 184.629 * * [simplify]: iteration 4 : 343 enodes (cost 8 ) 184.725 * * [simplify]: iteration 5 : 906 enodes (cost 8 ) 185.424 * * [simplify]: iteration 6 : 2514 enodes (cost 8 ) 186.727 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 186.735 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 186.737 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 186.740 * * [simplify]: iteration 2 : 47 enodes (cost 15 ) 186.750 * * [simplify]: iteration 3 : 81 enodes (cost 11 ) 186.768 * * [simplify]: iteration 4 : 87 enodes (cost 8 ) 186.784 * * [simplify]: iteration 5 : 91 enodes (cost 8 ) 186.807 * * [simplify]: iteration 6 : 97 enodes (cost 8 ) 186.825 * * [simplify]: iteration 7 : 107 enodes (cost 8 ) 186.849 * * [simplify]: iteration 8 : 130 enodes (cost 8 ) 186.874 * * [simplify]: iteration 9 : 191 enodes (cost 8 ) 186.939 * * [simplify]: iteration 10 : 407 enodes (cost 8 ) 187.411 * * [simplify]: iteration 11 : 1323 enodes (cost 8 ) 189.764 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 189.765 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 189.766 * * [simplify]: iteration 1 : 25 enodes (cost 15 ) 189.770 * * [simplify]: iteration 2 : 59 enodes (cost 15 ) 189.783 * * [simplify]: iteration 3 : 133 enodes (cost 11 ) 189.818 * * [simplify]: iteration 4 : 288 enodes (cost 8 ) 189.893 * * [simplify]: iteration 5 : 753 enodes (cost 8 ) 190.420 * * [simplify]: iteration 6 : 2237 enodes (cost 8 ) 191.955 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 191.956 * * [simplify]: iteration 0 : 12 enodes (cost 31 ) 191.957 * * [simplify]: iteration 1 : 23 enodes (cost 31 ) 191.961 * * [simplify]: iteration 2 : 47 enodes (cost 31 ) 191.972 * * [simplify]: iteration 3 : 81 enodes (cost 23 ) 191.990 * * [simplify]: iteration 4 : 87 enodes (cost 17 ) 192.012 * * [simplify]: iteration 5 : 91 enodes (cost 17 ) 192.029 * * [simplify]: iteration 6 : 97 enodes (cost 17 ) 192.048 * * [simplify]: iteration 7 : 107 enodes (cost 17 ) 192.072 * * [simplify]: iteration 8 : 130 enodes (cost 17 ) 192.097 * * [simplify]: iteration 9 : 191 enodes (cost 17 ) 192.163 * * [simplify]: iteration 10 : 407 enodes (cost 17 ) 192.663 * * [simplify]: iteration 11 : 1330 enodes (cost 17 ) 194.996 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 194.997 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 194.999 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 195.002 * * [simplify]: iteration 2 : 47 enodes (cost 15 ) 195.012 * * [simplify]: iteration 3 : 81 enodes (cost 11 ) 195.037 * * [simplify]: iteration 4 : 87 enodes (cost 8 ) 195.054 * * [simplify]: iteration 5 : 91 enodes (cost 8 ) 195.070 * * [simplify]: iteration 6 : 97 enodes (cost 8 ) 195.094 * * [simplify]: iteration 7 : 107 enodes (cost 8 ) 195.112 * * [simplify]: iteration 8 : 130 enodes (cost 8 ) 195.142 * * [simplify]: iteration 9 : 191 enodes (cost 8 ) 195.207 * * [simplify]: iteration 10 : 407 enodes (cost 8 ) 195.687 * * [simplify]: iteration 11 : 1323 enodes (cost 8 ) 198.020 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 198.021 * * [simplify]: iteration 0 : 12 enodes (cost 44 ) 198.023 * * [simplify]: iteration 1 : 24 enodes (cost 44 ) 198.034 * * [simplify]: iteration 2 : 63 enodes (cost 16 ) 198.051 * * [simplify]: iteration 3 : 213 enodes (cost 12 ) 198.191 * * [simplify]: iteration 4 : 1095 enodes (cost 9 ) 200.228 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 200.229 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 200.235 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 200.239 * * [simplify]: iteration 2 : 47 enodes (cost 15 ) 200.249 * * [simplify]: iteration 3 : 81 enodes (cost 11 ) 200.266 * * [simplify]: iteration 4 : 87 enodes (cost 8 ) 200.289 * * [simplify]: iteration 5 : 91 enodes (cost 8 ) 200.306 * * [simplify]: iteration 6 : 97 enodes (cost 8 ) 200.322 * * [simplify]: iteration 7 : 107 enodes (cost 8 ) 200.347 * * [simplify]: iteration 8 : 130 enodes (cost 8 ) 200.371 * * [simplify]: iteration 9 : 191 enodes (cost 8 ) 200.437 * * [simplify]: iteration 10 : 407 enodes (cost 8 ) 200.914 * * [simplify]: iteration 11 : 1323 enodes (cost 8 ) 203.236 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 203.237 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 203.238 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 203.241 * * [simplify]: iteration 2 : 47 enodes (cost 15 ) 203.252 * * [simplify]: iteration 3 : 81 enodes (cost 11 ) 203.276 * * [simplify]: iteration 4 : 87 enodes (cost 8 ) 203.292 * * [simplify]: iteration 5 : 91 enodes (cost 8 ) 203.309 * * [simplify]: iteration 6 : 97 enodes (cost 8 ) 203.333 * * [simplify]: iteration 7 : 107 enodes (cost 8 ) 203.351 * * [simplify]: iteration 8 : 130 enodes (cost 8 ) 203.375 * * [simplify]: iteration 9 : 191 enodes (cost 8 ) 203.445 * * [simplify]: iteration 10 : 407 enodes (cost 8 ) 203.915 * * [simplify]: iteration 11 : 1323 enodes (cost 8 ) 206.250 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 206.251 * * [simplify]: iteration 0 : 13 enodes (cost 18 ) 206.253 * * [simplify]: iteration 1 : 40 enodes (cost 18 ) 206.261 * * [simplify]: iteration 2 : 148 enodes (cost 18 ) 206.361 * * [simplify]: iteration 3 : 766 enodes (cost 11 ) 208.510 * * [simplify]: iteration 4 : 4386 enodes (cost 11 ) 210.532 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 210.533 * * [simplify]: iteration 0 : 14 enodes (cost 44 ) 210.535 * * [simplify]: iteration 1 : 39 enodes (cost 42 ) 210.544 * * [simplify]: iteration 2 : 151 enodes (cost 42 ) 210.638 * * [simplify]: iteration 3 : 641 enodes (cost 23 ) 211.501 * * [simplify]: iteration 4 : 1730 enodes (cost 17 ) 216.889 * * [simplify]: iteration 5 : 2147 enodes (cost 17 ) 219.338 * * [simplify]: iteration 6 : 2334 enodes (cost 17 ) 222.109 * * [simplify]: iteration 7 : 2853 enodes (cost 17 ) 223.908 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 223.909 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 223.909 * * [simplify]: iteration done : 2 enodes (cost 2 ) 223.910 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 223.911 * * [simplify]: iteration 1 : 33 enodes (cost 29 ) 223.918 * * [simplify]: iteration 2 : 123 enodes (cost 29 ) 224.001 * * [simplify]: iteration 3 : 515 enodes (cost 21 ) 224.728 * * [simplify]: iteration 4 : 1538 enodes (cost 15 ) 226.972 * * [simplify]: iteration 5 : 2390 enodes (cost 15 ) 229.804 * * [simplify]: iteration 6 : 3193 enodes (cost 15 ) 233.912 * * [simplify]: iteration 7 : 4913 enodes (cost 15 ) 235.305 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 235.306 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 235.307 * * [simplify]: iteration 1 : 20 enodes (cost 14 ) 235.311 * * [simplify]: iteration 2 : 44 enodes (cost 14 ) 235.320 * * [simplify]: iteration 3 : 78 enodes (cost 10 ) 235.343 * * [simplify]: iteration 4 : 87 enodes (cost 7 ) 235.360 * * [simplify]: iteration 5 : 91 enodes (cost 7 ) 235.376 * * [simplify]: iteration 6 : 97 enodes (cost 7 ) 235.396 * * [simplify]: iteration 7 : 107 enodes (cost 7 ) 235.417 * * [simplify]: iteration 8 : 130 enodes (cost 7 ) 235.444 * * [simplify]: iteration 9 : 191 enodes (cost 7 ) 235.509 * * [simplify]: iteration 10 : 410 enodes (cost 7 ) 235.982 * * [simplify]: iteration 11 : 1329 enodes (cost 7 ) 238.392 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 238.393 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 238.393 * * [simplify]: iteration done : 2 enodes (cost 2 ) 238.394 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 238.394 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 238.396 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 238.399 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 238.400 * * [simplify]: iteration done : 18 enodes (cost 6 ) 238.401 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 238.402 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 238.403 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 238.405 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 238.407 * * [simplify]: iteration done : 18 enodes (cost 6 ) 238.408 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 238.408 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 238.409 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 238.412 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 238.413 * * [simplify]: iteration done : 18 enodes (cost 6 ) 238.414 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 238.415 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 238.416 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 238.418 * * [simplify]: iteration done : 15 enodes (cost 5 ) 238.419 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 238.419 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 238.420 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 238.422 * * [simplify]: iteration done : 15 enodes (cost 5 ) 238.423 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 238.423 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 238.425 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 238.427 * * [simplify]: iteration done : 15 enodes (cost 5 ) 238.428 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 238.429 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 238.430 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 238.438 * * [simplify]: iteration done : 20 enodes (cost 7 ) 238.438 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 238.439 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 238.441 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 238.443 * * [simplify]: iteration done : 20 enodes (cost 7 ) 238.444 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 238.445 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 238.446 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 238.449 * * [simplify]: iteration done : 20 enodes (cost 7 ) 238.450 * [simplify]: Simplified to: (* (cbrt 3.0) (* x y)) (* (cbrt 3.0) (* x y)) (+ (log (cbrt 3.0)) (+ (log x) (log y))) (+ (log (cbrt 3.0)) (log (* x y))) (log (* (cbrt 3.0) (* x y))) (exp (* (cbrt 3.0) (* x y))) (* (pow (* x y) 3) 3.0) (* (pow (* x y) 3) 3.0) (* (cbrt (* (cbrt 3.0) (* x y))) (cbrt (* (cbrt 3.0) (* x y)))) (cbrt (* (cbrt 3.0) (* x y))) (* (pow (* x y) 3) 3.0) (sqrt (* (cbrt 3.0) (* x y))) (sqrt (* (cbrt 3.0) (* x y))) (* (cbrt 3.0) x) (* (cbrt (cbrt 3.0)) (* x y)) (* (cbrt (sqrt 3.0)) (* x y)) (* (cbrt 3.0) (* x y)) (* (cbrt (cbrt 3.0)) (* x y)) (* (sqrt (cbrt 3.0)) (* x y)) (* (cbrt 3.0) (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (+ (* 3 (log (cbrt 3.0))) (+ (log x) (log y))) (+ (log (* x y)) (* 3 (log (cbrt 3.0)))) (+ (* 3 (log (cbrt 3.0))) (log (* x y))) (+ (+ (* 3 (log (cbrt 3.0))) (log x)) (log y)) (+ (log (* x y)) (* 3 (log (cbrt 3.0)))) (+ (log (* x y)) (* 3 (log (cbrt 3.0)))) (log (* 3.0 (* x y))) (pow (pow (exp 3.0) y) x) (* (pow 3.0 3) (pow (* x y) 3)) (pow (* 3.0 (* x y)) 3) (* (* 3.0 (pow (* x y) 3)) (* 3.0 3.0)) (* (pow 3.0 3) (pow (* x y) 3)) (* (pow (* x y) 3) (pow 3.0 3)) (* (* 3.0 3.0) (* (pow (* x y) 3) 3.0)) (* (cbrt (* (* 3.0 x) y)) (cbrt (* (* 3.0 x) y))) (cbrt (* 3.0 (* x y))) (pow (* (* x y) 3.0) 3) (sqrt (* 3.0 (* x y))) (sqrt (* 3.0 (* x y))) 3.0 (* (cbrt 3.0) (* (cbrt 3.0) (* x y))) (exp (- (* x (* 3.0 y)) z)) (log (- (* 3.0 (* x y)) z)) (exp (- (* (* x 3.0) y) z)) (* (cbrt (- (* 3.0 (* x y)) z)) (cbrt (- (* 3.0 (* x y)) z))) (cbrt (- (* 3.0 (* x y)) z)) (pow (- (* y (* x 3.0)) z) 3) (sqrt (- (* 3.0 (* x y)) z)) (sqrt (- (* 3.0 (* x y)) z)) (- (pow (* (* y 3.0) x) 3) (pow z 3)) (+ (* z z) (* (* x (* y 3.0)) (+ z (* x (* y 3.0))))) (neg z) (* (- (* x (* 3.0 y)) z) (+ z (* x (* 3.0 y)))) (+ z (* 3.0 (* x y))) (neg z) (* x (* (cbrt 3.0) y)) (* x (* (cbrt 3.0) y)) (* x (* (cbrt 3.0) y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (- (* 3.0 (* x y)) z) (- (* 3.0 (* x y)) z) (- (* 3.0 (* x y)) z) 238.450 * * * [progress]: adding candidates to table 238.554 * * [progress]: iteration 4 / 4 238.554 * * * [progress]: picking best candidate 238.568 * * * * [pick]: Picked # 238.568 * * * [progress]: localizing error 238.577 * * * [progress]: generating rewritten candidates 238.577 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 238.587 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 238.602 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 238.608 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 238.623 * * * [progress]: generating series expansions 238.623 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 238.623 * [approximate]: Taking taylor expansion of (* x (cbrt 3.0)) in (x) around 0 238.623 * [taylor]: Taking taylor expansion of (* x (cbrt 3.0)) in x 238.623 * [taylor]: Taking taylor expansion of x in x 238.623 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 238.623 * [taylor]: Taking taylor expansion of 3.0 in x 238.624 * [taylor]: Taking taylor expansion of (* x (cbrt 3.0)) in x 238.624 * [taylor]: Taking taylor expansion of x in x 238.624 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 238.624 * [taylor]: Taking taylor expansion of 3.0 in x 238.626 * [approximate]: Taking taylor expansion of (/ (cbrt 3.0) x) in (x) around 0 238.626 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) x) in x 238.626 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 238.626 * [taylor]: Taking taylor expansion of 3.0 in x 238.626 * [taylor]: Taking taylor expansion of x in x 238.626 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) x) in x 238.626 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 238.626 * [taylor]: Taking taylor expansion of 3.0 in x 238.626 * [taylor]: Taking taylor expansion of x in x 238.627 * [approximate]: Taking taylor expansion of (* -1 (/ (cbrt 3.0) x)) in (x) around 0 238.627 * [taylor]: Taking taylor expansion of (* -1 (/ (cbrt 3.0) x)) in x 238.627 * [taylor]: Taking taylor expansion of -1 in x 238.627 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) x) in x 238.627 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 238.627 * [taylor]: Taking taylor expansion of 3.0 in x 238.627 * [taylor]: Taking taylor expansion of x in x 238.627 * [taylor]: Taking taylor expansion of (* -1 (/ (cbrt 3.0) x)) in x 238.627 * [taylor]: Taking taylor expansion of -1 in x 238.627 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) x) in x 238.627 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 238.627 * [taylor]: Taking taylor expansion of 3.0 in x 238.628 * [taylor]: Taking taylor expansion of x in x 238.629 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 238.629 * [approximate]: Taking taylor expansion of (* x (* (pow (cbrt 3.0) 3) y)) in (x y) around 0 238.629 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt 3.0) 3) y)) in y 238.629 * [taylor]: Taking taylor expansion of x in y 238.629 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) y) in y 238.629 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y 238.629 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 238.629 * [taylor]: Taking taylor expansion of 3.0 in y 238.629 * [taylor]: Taking taylor expansion of y in y 238.629 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt 3.0) 3) y)) in x 238.630 * [taylor]: Taking taylor expansion of x in x 238.630 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) y) in x 238.630 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 238.630 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 238.630 * [taylor]: Taking taylor expansion of 3.0 in x 238.630 * [taylor]: Taking taylor expansion of y in x 238.630 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt 3.0) 3) y)) in x 238.630 * [taylor]: Taking taylor expansion of x in x 238.630 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) y) in x 238.630 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 238.630 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 238.630 * [taylor]: Taking taylor expansion of 3.0 in x 238.630 * [taylor]: Taking taylor expansion of y in x 238.630 * [taylor]: Taking taylor expansion of 0 in y 238.631 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 238.631 * [taylor]: Taking taylor expansion of 3.0 in y 238.631 * [taylor]: Taking taylor expansion of y in y 238.631 * [taylor]: Taking taylor expansion of 0 in y 238.632 * [taylor]: Taking taylor expansion of 0 in y 238.632 * [taylor]: Taking taylor expansion of 0 in y 238.633 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in (x y) around 0 238.633 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in y 238.633 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y 238.633 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 238.633 * [taylor]: Taking taylor expansion of 3.0 in y 238.633 * [taylor]: Taking taylor expansion of (* x y) in y 238.633 * [taylor]: Taking taylor expansion of x in y 238.633 * [taylor]: Taking taylor expansion of y in y 238.633 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 238.633 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 238.633 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 238.633 * [taylor]: Taking taylor expansion of 3.0 in x 238.633 * [taylor]: Taking taylor expansion of (* x y) in x 238.633 * [taylor]: Taking taylor expansion of x in x 238.633 * [taylor]: Taking taylor expansion of y in x 238.634 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 238.634 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 238.634 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 238.634 * [taylor]: Taking taylor expansion of 3.0 in x 238.634 * [taylor]: Taking taylor expansion of (* x y) in x 238.634 * [taylor]: Taking taylor expansion of x in x 238.634 * [taylor]: Taking taylor expansion of y in x 238.634 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 238.634 * [taylor]: Taking taylor expansion of 3.0 in y 238.634 * [taylor]: Taking taylor expansion of y in y 238.634 * [taylor]: Taking taylor expansion of 0 in y 238.635 * [taylor]: Taking taylor expansion of 0 in y 238.635 * [taylor]: Taking taylor expansion of 0 in y 238.636 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in (x y) around 0 238.636 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in y 238.636 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y 238.636 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 238.636 * [taylor]: Taking taylor expansion of 3.0 in y 238.636 * [taylor]: Taking taylor expansion of (* x y) in y 238.636 * [taylor]: Taking taylor expansion of x in y 238.636 * [taylor]: Taking taylor expansion of y in y 238.636 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 238.636 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 238.636 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 238.636 * [taylor]: Taking taylor expansion of 3.0 in x 238.636 * [taylor]: Taking taylor expansion of (* x y) in x 238.636 * [taylor]: Taking taylor expansion of x in x 238.636 * [taylor]: Taking taylor expansion of y in x 238.637 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 238.637 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 238.637 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 238.637 * [taylor]: Taking taylor expansion of 3.0 in x 238.637 * [taylor]: Taking taylor expansion of (* x y) in x 238.637 * [taylor]: Taking taylor expansion of x in x 238.637 * [taylor]: Taking taylor expansion of y in x 238.637 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 238.637 * [taylor]: Taking taylor expansion of 3.0 in y 238.637 * [taylor]: Taking taylor expansion of y in y 238.637 * [taylor]: Taking taylor expansion of 0 in y 238.638 * [taylor]: Taking taylor expansion of 0 in y 238.639 * [taylor]: Taking taylor expansion of 0 in y 238.640 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 238.640 * [approximate]: Taking taylor expansion of (* x (* (cbrt 3.0) y)) in (x y) around 0 238.640 * [taylor]: Taking taylor expansion of (* x (* (cbrt 3.0) y)) in y 238.640 * [taylor]: Taking taylor expansion of x in y 238.640 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) y) in y 238.640 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 238.640 * [taylor]: Taking taylor expansion of 3.0 in y 238.640 * [taylor]: Taking taylor expansion of y in y 238.640 * [taylor]: Taking taylor expansion of (* x (* (cbrt 3.0) y)) in x 238.640 * [taylor]: Taking taylor expansion of x in x 238.640 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) y) in x 238.640 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 238.640 * [taylor]: Taking taylor expansion of 3.0 in x 238.640 * [taylor]: Taking taylor expansion of y in x 238.640 * [taylor]: Taking taylor expansion of (* x (* (cbrt 3.0) y)) in x 238.640 * [taylor]: Taking taylor expansion of x in x 238.640 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) y) in x 238.640 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 238.640 * [taylor]: Taking taylor expansion of 3.0 in x 238.640 * [taylor]: Taking taylor expansion of y in x 238.640 * [taylor]: Taking taylor expansion of 0 in y 238.640 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) y) in y 238.641 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 238.641 * [taylor]: Taking taylor expansion of 3.0 in y 238.641 * [taylor]: Taking taylor expansion of y in y 238.641 * [taylor]: Taking taylor expansion of 0 in y 238.641 * [taylor]: Taking taylor expansion of 0 in y 238.641 * [taylor]: Taking taylor expansion of 0 in y 238.642 * [approximate]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in (x y) around 0 238.642 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in y 238.642 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 238.642 * [taylor]: Taking taylor expansion of 3.0 in y 238.642 * [taylor]: Taking taylor expansion of (* x y) in y 238.642 * [taylor]: Taking taylor expansion of x in y 238.642 * [taylor]: Taking taylor expansion of y in y 238.642 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in x 238.642 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 238.642 * [taylor]: Taking taylor expansion of 3.0 in x 238.642 * [taylor]: Taking taylor expansion of (* x y) in x 238.642 * [taylor]: Taking taylor expansion of x in x 238.642 * [taylor]: Taking taylor expansion of y in x 238.642 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in x 238.642 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 238.642 * [taylor]: Taking taylor expansion of 3.0 in x 238.642 * [taylor]: Taking taylor expansion of (* x y) in x 238.642 * [taylor]: Taking taylor expansion of x in x 238.642 * [taylor]: Taking taylor expansion of y in x 238.642 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) y) in y 238.642 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 238.642 * [taylor]: Taking taylor expansion of 3.0 in y 238.642 * [taylor]: Taking taylor expansion of y in y 238.643 * [taylor]: Taking taylor expansion of 0 in y 238.643 * [taylor]: Taking taylor expansion of 0 in y 238.643 * [taylor]: Taking taylor expansion of 0 in y 238.644 * [approximate]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in (x y) around 0 238.644 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in y 238.644 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 238.644 * [taylor]: Taking taylor expansion of 3.0 in y 238.644 * [taylor]: Taking taylor expansion of (* x y) in y 238.644 * [taylor]: Taking taylor expansion of x in y 238.644 * [taylor]: Taking taylor expansion of y in y 238.644 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in x 238.644 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 238.644 * [taylor]: Taking taylor expansion of 3.0 in x 238.644 * [taylor]: Taking taylor expansion of (* x y) in x 238.644 * [taylor]: Taking taylor expansion of x in x 238.644 * [taylor]: Taking taylor expansion of y in x 238.644 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in x 238.644 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 238.644 * [taylor]: Taking taylor expansion of 3.0 in x 238.644 * [taylor]: Taking taylor expansion of (* x y) in x 238.644 * [taylor]: Taking taylor expansion of x in x 238.644 * [taylor]: Taking taylor expansion of y in x 238.645 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) y) in y 238.645 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 238.645 * [taylor]: Taking taylor expansion of 3.0 in y 238.645 * [taylor]: Taking taylor expansion of y in y 238.645 * [taylor]: Taking taylor expansion of 0 in y 238.645 * [taylor]: Taking taylor expansion of 0 in y 238.646 * [taylor]: Taking taylor expansion of 0 in y 238.646 * * * * [progress]: [ 4 / 4 ] generating series at (2) 238.646 * [approximate]: Taking taylor expansion of (- (* x (* (pow (cbrt 3.0) 3) y)) z) in (x y z) around 0 238.646 * [taylor]: Taking taylor expansion of (- (* x (* (pow (cbrt 3.0) 3) y)) z) in z 238.646 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt 3.0) 3) y)) in z 238.646 * [taylor]: Taking taylor expansion of x in z 238.646 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) y) in z 238.647 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in z 238.647 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z 238.647 * [taylor]: Taking taylor expansion of 3.0 in z 238.647 * [taylor]: Taking taylor expansion of y in z 238.647 * [taylor]: Taking taylor expansion of z in z 238.647 * [taylor]: Taking taylor expansion of (- (* x (* (pow (cbrt 3.0) 3) y)) z) in y 238.647 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt 3.0) 3) y)) in y 238.647 * [taylor]: Taking taylor expansion of x in y 238.647 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) y) in y 238.647 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y 238.647 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 238.647 * [taylor]: Taking taylor expansion of 3.0 in y 238.647 * [taylor]: Taking taylor expansion of y in y 238.647 * [taylor]: Taking taylor expansion of z in y 238.647 * [taylor]: Taking taylor expansion of (- (* x (* (pow (cbrt 3.0) 3) y)) z) in x 238.647 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt 3.0) 3) y)) in x 238.647 * [taylor]: Taking taylor expansion of x in x 238.647 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) y) in x 238.647 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 238.647 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 238.647 * [taylor]: Taking taylor expansion of 3.0 in x 238.647 * [taylor]: Taking taylor expansion of y in x 238.647 * [taylor]: Taking taylor expansion of z in x 238.647 * [taylor]: Taking taylor expansion of (- (* x (* (pow (cbrt 3.0) 3) y)) z) in x 238.647 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt 3.0) 3) y)) in x 238.647 * [taylor]: Taking taylor expansion of x in x 238.647 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) y) in x 238.647 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 238.647 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 238.647 * [taylor]: Taking taylor expansion of 3.0 in x 238.647 * [taylor]: Taking taylor expansion of y in x 238.647 * [taylor]: Taking taylor expansion of z in x 238.648 * [taylor]: Taking taylor expansion of (neg z) in y 238.648 * [taylor]: Taking taylor expansion of z in y 238.648 * [taylor]: Taking taylor expansion of (neg z) in z 238.648 * [taylor]: Taking taylor expansion of z in z 238.648 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 238.648 * [taylor]: Taking taylor expansion of 3.0 in y 238.648 * [taylor]: Taking taylor expansion of y in y 238.648 * [taylor]: Taking taylor expansion of 0 in z 238.648 * [taylor]: Taking taylor expansion of 0 in z 238.649 * [taylor]: Taking taylor expansion of 0 in y 238.649 * [taylor]: Taking taylor expansion of 0 in z 238.649 * [taylor]: Taking taylor expansion of 3.0 in z 238.649 * [taylor]: Taking taylor expansion of 0 in z 238.649 * [taylor]: Taking taylor expansion of 0 in y 238.649 * [taylor]: Taking taylor expansion of 0 in z 238.649 * [taylor]: Taking taylor expansion of 0 in z 238.650 * [approximate]: Taking taylor expansion of (- (/ (pow (cbrt 3.0) 3) (* x y)) (/ 1 z)) in (x y z) around 0 238.650 * [taylor]: Taking taylor expansion of (- (/ (pow (cbrt 3.0) 3) (* x y)) (/ 1 z)) in z 238.650 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in z 238.650 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in z 238.650 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z 238.650 * [taylor]: Taking taylor expansion of 3.0 in z 238.650 * [taylor]: Taking taylor expansion of (* x y) in z 238.650 * [taylor]: Taking taylor expansion of x in z 238.650 * [taylor]: Taking taylor expansion of y in z 238.650 * [taylor]: Taking taylor expansion of (/ 1 z) in z 238.650 * [taylor]: Taking taylor expansion of z in z 238.650 * [taylor]: Taking taylor expansion of (- (/ (pow (cbrt 3.0) 3) (* x y)) (/ 1 z)) in y 238.650 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in y 238.650 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y 238.650 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 238.650 * [taylor]: Taking taylor expansion of 3.0 in y 238.650 * [taylor]: Taking taylor expansion of (* x y) in y 238.650 * [taylor]: Taking taylor expansion of x in y 238.650 * [taylor]: Taking taylor expansion of y in y 238.651 * [taylor]: Taking taylor expansion of (/ 1 z) in y 238.651 * [taylor]: Taking taylor expansion of z in y 238.651 * [taylor]: Taking taylor expansion of (- (/ (pow (cbrt 3.0) 3) (* x y)) (/ 1 z)) in x 238.651 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 238.651 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 238.651 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 238.651 * [taylor]: Taking taylor expansion of 3.0 in x 238.651 * [taylor]: Taking taylor expansion of (* x y) in x 238.651 * [taylor]: Taking taylor expansion of x in x 238.651 * [taylor]: Taking taylor expansion of y in x 238.651 * [taylor]: Taking taylor expansion of (/ 1 z) in x 238.651 * [taylor]: Taking taylor expansion of z in x 238.651 * [taylor]: Taking taylor expansion of (- (/ (pow (cbrt 3.0) 3) (* x y)) (/ 1 z)) in x 238.651 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 238.651 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 238.651 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 238.651 * [taylor]: Taking taylor expansion of 3.0 in x 238.651 * [taylor]: Taking taylor expansion of (* x y) in x 238.651 * [taylor]: Taking taylor expansion of x in x 238.651 * [taylor]: Taking taylor expansion of y in x 238.652 * [taylor]: Taking taylor expansion of (/ 1 z) in x 238.652 * [taylor]: Taking taylor expansion of z in x 238.652 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 y)) in y 238.652 * [taylor]: Taking taylor expansion of 3.0 in y 238.652 * [taylor]: Taking taylor expansion of (/ 1 y) in y 238.652 * [taylor]: Taking taylor expansion of y in y 238.652 * [taylor]: Taking taylor expansion of 3.0 in z 238.652 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in y 238.652 * [taylor]: Taking taylor expansion of (/ 1 z) in y 238.652 * [taylor]: Taking taylor expansion of z in y 238.652 * [taylor]: Taking taylor expansion of 0 in z 238.653 * [taylor]: Taking taylor expansion of 0 in y 238.653 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 238.653 * [taylor]: Taking taylor expansion of (/ 1 z) in z 238.653 * [taylor]: Taking taylor expansion of z in z 238.653 * [taylor]: Taking taylor expansion of 0 in z 238.654 * [taylor]: Taking taylor expansion of 0 in y 238.654 * [taylor]: Taking taylor expansion of 0 in z 238.654 * [taylor]: Taking taylor expansion of 0 in z 238.654 * [taylor]: Taking taylor expansion of 0 in z 238.654 * [approximate]: Taking taylor expansion of (+ (/ (pow (cbrt 3.0) 3) (* x y)) (/ 1 z)) in (x y z) around 0 238.654 * [taylor]: Taking taylor expansion of (+ (/ (pow (cbrt 3.0) 3) (* x y)) (/ 1 z)) in z 238.654 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in z 238.654 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in z 238.654 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z 238.655 * [taylor]: Taking taylor expansion of 3.0 in z 238.655 * [taylor]: Taking taylor expansion of (* x y) in z 238.655 * [taylor]: Taking taylor expansion of x in z 238.655 * [taylor]: Taking taylor expansion of y in z 238.655 * [taylor]: Taking taylor expansion of (/ 1 z) in z 238.655 * [taylor]: Taking taylor expansion of z in z 238.655 * [taylor]: Taking taylor expansion of (+ (/ (pow (cbrt 3.0) 3) (* x y)) (/ 1 z)) in y 238.655 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in y 238.655 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y 238.655 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 238.655 * [taylor]: Taking taylor expansion of 3.0 in y 238.655 * [taylor]: Taking taylor expansion of (* x y) in y 238.655 * [taylor]: Taking taylor expansion of x in y 238.655 * [taylor]: Taking taylor expansion of y in y 238.655 * [taylor]: Taking taylor expansion of (/ 1 z) in y 238.655 * [taylor]: Taking taylor expansion of z in y 238.655 * [taylor]: Taking taylor expansion of (+ (/ (pow (cbrt 3.0) 3) (* x y)) (/ 1 z)) in x 238.656 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 238.656 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 238.656 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 238.656 * [taylor]: Taking taylor expansion of 3.0 in x 238.656 * [taylor]: Taking taylor expansion of (* x y) in x 238.656 * [taylor]: Taking taylor expansion of x in x 238.656 * [taylor]: Taking taylor expansion of y in x 238.656 * [taylor]: Taking taylor expansion of (/ 1 z) in x 238.656 * [taylor]: Taking taylor expansion of z in x 238.656 * [taylor]: Taking taylor expansion of (+ (/ (pow (cbrt 3.0) 3) (* x y)) (/ 1 z)) in x 238.656 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 238.656 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 238.656 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 238.656 * [taylor]: Taking taylor expansion of 3.0 in x 238.657 * [taylor]: Taking taylor expansion of (* x y) in x 238.657 * [taylor]: Taking taylor expansion of x in x 238.657 * [taylor]: Taking taylor expansion of y in x 238.657 * [taylor]: Taking taylor expansion of (/ 1 z) in x 238.657 * [taylor]: Taking taylor expansion of z in x 238.657 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 y)) in y 238.657 * [taylor]: Taking taylor expansion of 3.0 in y 238.657 * [taylor]: Taking taylor expansion of (/ 1 y) in y 238.657 * [taylor]: Taking taylor expansion of y in y 238.657 * [taylor]: Taking taylor expansion of 3.0 in z 238.657 * [taylor]: Taking taylor expansion of (/ 1 z) in y 238.658 * [taylor]: Taking taylor expansion of z in y 238.658 * [taylor]: Taking taylor expansion of 0 in z 238.658 * [taylor]: Taking taylor expansion of 0 in y 238.658 * [taylor]: Taking taylor expansion of (/ 1 z) in z 238.658 * [taylor]: Taking taylor expansion of z in z 238.658 * [taylor]: Taking taylor expansion of 0 in z 238.659 * [taylor]: Taking taylor expansion of 0 in y 238.659 * [taylor]: Taking taylor expansion of 0 in z 238.659 * [taylor]: Taking taylor expansion of 0 in z 238.659 * [taylor]: Taking taylor expansion of 0 in z 238.659 * * * [progress]: simplifying candidates 238.661 * [simplify]: Simplifying using # : (* (cbrt 3.0) x) (+ (log (cbrt 3.0)) (log x)) (log (* (cbrt 3.0) x)) (exp (* (cbrt 3.0) x)) (* 3.0 (* (* x x) x)) (* (cbrt (* (cbrt 3.0) x)) (cbrt (* (cbrt 3.0) x))) (cbrt (* (cbrt 3.0) x)) (* (* (* (cbrt 3.0) x) (* (cbrt 3.0) x)) (* (cbrt 3.0) x)) (sqrt (* (cbrt 3.0) x)) (sqrt (* (cbrt 3.0) x)) (* (cbrt (sqrt 3.0)) (sqrt x)) (* (cbrt (sqrt 3.0)) (sqrt x)) (* (sqrt (cbrt 3.0)) (sqrt x)) (* (sqrt (cbrt 3.0)) (sqrt x)) (* (cbrt 3.0) (* (cbrt x) (cbrt x))) (* (cbrt 3.0) (sqrt x)) (* (cbrt 3.0) 1) (* (cbrt (cbrt 3.0)) x) (* (cbrt (sqrt 3.0)) x) (* (cbrt 3.0) x) (* (cbrt (cbrt 3.0)) x) (* (sqrt (cbrt 3.0)) x) (* (cbrt 3.0) x) (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (+ (+ (log (cbrt 3.0)) (log x)) (log y))) (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (+ (log (* (cbrt 3.0) x)) (log y))) (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (log (* (* (cbrt 3.0) x) y))) (+ (log (* (cbrt 3.0) (cbrt 3.0))) (+ (+ (log (cbrt 3.0)) (log x)) (log y))) (+ (log (* (cbrt 3.0) (cbrt 3.0))) (+ (log (* (cbrt 3.0) x)) (log y))) (+ (log (* (cbrt 3.0) (cbrt 3.0))) (log (* (* (cbrt 3.0) x) y))) (log (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y))) (exp (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y))) (* (* 3.0 3.0) (* (* 3.0 (* (* x x) x)) (* (* y y) y))) (* (* 3.0 3.0) (* (* (* (* (cbrt 3.0) x) (* (cbrt 3.0) x)) (* (cbrt 3.0) x)) (* (* y y) y))) (* (* 3.0 3.0) (* (* (* (* (cbrt 3.0) x) y) (* (* (cbrt 3.0) x) y)) (* (* (cbrt 3.0) x) y))) (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* (* 3.0 (* (* x x) x)) (* (* y y) y))) (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* (* (* (* (cbrt 3.0) x) (* (cbrt 3.0) x)) (* (cbrt 3.0) x)) (* (* y y) y))) (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* (* (* (* (cbrt 3.0) x) y) (* (* (cbrt 3.0) x) y)) (* (* (cbrt 3.0) x) y))) (* (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y))) (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)))) (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y))) (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y))) (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y))) (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) x)) (* (cbrt 3.0) (* (* (cbrt 3.0) x) y)) (* (* (cbrt 3.0) x) y) (* (* (cbrt 3.0) x) y) (+ (+ (log (cbrt 3.0)) (log x)) (log y)) (+ (log (* (cbrt 3.0) x)) (log y)) (log (* (* (cbrt 3.0) x) y)) (exp (* (* (cbrt 3.0) x) y)) (* (* 3.0 (* (* x x) x)) (* (* y y) y)) (* (* (* (* (cbrt 3.0) x) (* (cbrt 3.0) x)) (* (cbrt 3.0) x)) (* (* y y) y)) (* (cbrt (* (* (cbrt 3.0) x) y)) (cbrt (* (* (cbrt 3.0) x) y))) (cbrt (* (* (cbrt 3.0) x) y)) (* (* (* (* (cbrt 3.0) x) y) (* (* (cbrt 3.0) x) y)) (* (* (cbrt 3.0) x) y)) (sqrt (* (* (cbrt 3.0) x) y)) (sqrt (* (* (cbrt 3.0) x) y)) (* (* (cbrt 3.0) x) (* (cbrt y) (cbrt y))) (* (* (cbrt 3.0) x) (sqrt y)) (* (* (cbrt 3.0) x) 1) (* x y) (/ (exp (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y))) (exp z)) (log (- (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) z)) (exp (- (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) z)) (* (cbrt (- (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) z)) (cbrt (- (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) z))) (cbrt (- (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) z)) (* (* (- (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) z) (- (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) z)) (- (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) z)) (sqrt (- (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) z)) (sqrt (- (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) z)) (- (pow (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) 3) (pow z 3)) (+ (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y))) (+ (* z z) (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) z))) (neg z) (- (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y))) (* z z)) (+ (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) z) (neg z) (* x (cbrt 3.0)) (* x (cbrt 3.0)) (* x (cbrt 3.0)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* x (* (cbrt 3.0) y)) (* x (* (cbrt 3.0) y)) (* x (* (cbrt 3.0) y)) (- (* 3.0 (* x y)) z) (- (* 3.0 (* x y)) z) (- (* 3.0 (* x y)) z) 238.661 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 238.662 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 238.662 * * [simplify]: iteration done : 5 enodes (cost 4 ) 238.663 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 238.664 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 238.664 * * [simplify]: iteration done : 7 enodes (cost 6 ) 238.665 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 238.665 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 238.666 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 238.667 * * [simplify]: iteration done : 10 enodes (cost 5 ) 238.668 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 238.668 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 238.669 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 238.671 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 238.673 * * [simplify]: iteration 4 : 45 enodes (cost 5 ) 238.686 * * [simplify]: iteration 5 : 101 enodes (cost 5 ) 238.719 * * [simplify]: iteration 6 : 240 enodes (cost 5 ) 238.872 * * [simplify]: iteration 7 : 694 enodes (cost 5 ) 239.787 * * [simplify]: iteration 8 : 2430 enodes (cost 5 ) 241.601 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 241.602 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 241.603 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 241.604 * * [simplify]: iteration 2 : 18 enodes (cost 5 ) 241.607 * * [simplify]: iteration 3 : 24 enodes (cost 5 ) 241.611 * * [simplify]: iteration 4 : 34 enodes (cost 5 ) 241.615 * * [simplify]: iteration 5 : 52 enodes (cost 5 ) 241.625 * * [simplify]: iteration 6 : 101 enodes (cost 5 ) 241.658 * * [simplify]: iteration 7 : 241 enodes (cost 5 ) 241.857 * * [simplify]: iteration 8 : 768 enodes (cost 5 ) 243.958 * * [simplify]: iteration 9 : 3068 enodes (cost 5 ) 247.675 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 247.675 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 247.676 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 247.677 * * [simplify]: iteration done : 7 enodes (cost 11 ) 247.682 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 247.683 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 247.683 * * [simplify]: iteration done : 6 enodes (cost 5 ) 247.684 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 247.685 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 247.688 * * [simplify]: iteration 2 : 46 enodes (cost 6 ) 247.700 * * [simplify]: iteration 3 : 89 enodes (cost 6 ) 247.723 * * [simplify]: iteration 4 : 105 enodes (cost 5 ) 247.753 * * [simplify]: iteration 5 : 133 enodes (cost 5 ) 247.796 * * [simplify]: iteration 6 : 204 enodes (cost 5 ) 247.884 * * [simplify]: iteration 7 : 414 enodes (cost 5 ) 248.217 * * [simplify]: iteration 8 : 1098 enodes (cost 5 ) 250.642 * * [simplify]: iteration 9 : 3793 enodes (cost 5 ) 252.920 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 252.921 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 252.922 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 252.923 * * [simplify]: iteration done : 6 enodes (cost 5 ) 252.923 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 252.924 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 252.924 * * [simplify]: iteration done : 6 enodes (cost 5 ) 252.925 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 252.925 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 252.926 * * [simplify]: iteration done : 7 enodes (cost 6 ) 252.927 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 252.927 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 252.928 * * [simplify]: iteration done : 7 enodes (cost 6 ) 252.928 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 252.929 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 252.930 * * [simplify]: iteration done : 7 enodes (cost 6 ) 252.930 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 252.931 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 252.931 * * [simplify]: iteration done : 7 enodes (cost 6 ) 252.932 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 252.933 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 252.934 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 252.935 * * [simplify]: iteration done : 11 enodes (cost 8 ) 252.935 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 252.936 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 252.937 * * [simplify]: iteration done : 6 enodes (cost 5 ) 252.937 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 252.938 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 252.938 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 252.939 * * [simplify]: iteration done : 10 enodes (cost 2 ) 252.940 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 252.940 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 252.941 * * [simplify]: iteration done : 6 enodes (cost 5 ) 252.941 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 252.942 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 252.942 * * [simplify]: iteration done : 6 enodes (cost 5 ) 252.943 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 252.943 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 252.944 * * [simplify]: iteration done : 5 enodes (cost 4 ) 252.945 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 252.946 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 252.946 * * [simplify]: iteration done : 6 enodes (cost 5 ) 252.947 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 252.947 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 252.948 * * [simplify]: iteration done : 6 enodes (cost 5 ) 252.949 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 252.949 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 252.949 * * [simplify]: iteration done : 5 enodes (cost 4 ) 252.950 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 252.951 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 252.954 * * [simplify]: iteration 2 : 43 enodes (cost 12 ) 252.966 * * [simplify]: iteration 3 : 74 enodes (cost 12 ) 252.984 * * [simplify]: iteration 4 : 78 enodes (cost 8 ) 253.000 * * [simplify]: iteration 5 : 83 enodes (cost 5 ) 253.016 * * [simplify]: iteration 6 : 87 enodes (cost 5 ) 253.036 * * [simplify]: iteration 7 : 93 enodes (cost 5 ) 253.051 * * [simplify]: iteration 8 : 103 enodes (cost 5 ) 253.070 * * [simplify]: iteration 9 : 124 enodes (cost 5 ) 253.097 * * [simplify]: iteration 10 : 184 enodes (cost 5 ) 253.161 * * [simplify]: iteration 11 : 391 enodes (cost 5 ) 253.654 * * [simplify]: iteration 12 : 1333 enodes (cost 5 ) 256.114 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 256.115 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 256.116 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 256.118 * * [simplify]: iteration 2 : 43 enodes (cost 12 ) 256.128 * * [simplify]: iteration 3 : 74 enodes (cost 12 ) 256.152 * * [simplify]: iteration 4 : 78 enodes (cost 8 ) 256.168 * * [simplify]: iteration 5 : 83 enodes (cost 5 ) 256.183 * * [simplify]: iteration 6 : 87 enodes (cost 5 ) 256.204 * * [simplify]: iteration 7 : 93 enodes (cost 5 ) 256.221 * * [simplify]: iteration 8 : 103 enodes (cost 5 ) 256.238 * * [simplify]: iteration 9 : 124 enodes (cost 5 ) 256.265 * * [simplify]: iteration 10 : 184 enodes (cost 5 ) 256.327 * * [simplify]: iteration 11 : 391 enodes (cost 5 ) 256.827 * * [simplify]: iteration 12 : 1333 enodes (cost 5 ) 259.275 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 259.276 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 259.277 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 259.280 * * [simplify]: iteration 2 : 43 enodes (cost 12 ) 259.290 * * [simplify]: iteration 3 : 74 enodes (cost 12 ) 259.314 * * [simplify]: iteration 4 : 78 enodes (cost 8 ) 259.330 * * [simplify]: iteration 5 : 83 enodes (cost 5 ) 259.345 * * [simplify]: iteration 6 : 87 enodes (cost 5 ) 259.367 * * [simplify]: iteration 7 : 93 enodes (cost 5 ) 259.383 * * [simplify]: iteration 8 : 103 enodes (cost 5 ) 259.401 * * [simplify]: iteration 9 : 124 enodes (cost 5 ) 259.429 * * [simplify]: iteration 10 : 184 enodes (cost 5 ) 259.492 * * [simplify]: iteration 11 : 391 enodes (cost 5 ) 260.003 * * [simplify]: iteration 12 : 1333 enodes (cost 5 ) 262.464 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 262.465 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 262.466 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 262.468 * * [simplify]: iteration 2 : 43 enodes (cost 12 ) 262.478 * * [simplify]: iteration 3 : 74 enodes (cost 12 ) 262.503 * * [simplify]: iteration 4 : 78 enodes (cost 8 ) 262.519 * * [simplify]: iteration 5 : 83 enodes (cost 5 ) 262.534 * * [simplify]: iteration 6 : 87 enodes (cost 5 ) 262.556 * * [simplify]: iteration 7 : 93 enodes (cost 5 ) 262.571 * * [simplify]: iteration 8 : 103 enodes (cost 5 ) 262.589 * * [simplify]: iteration 9 : 124 enodes (cost 5 ) 262.618 * * [simplify]: iteration 10 : 184 enodes (cost 5 ) 262.681 * * [simplify]: iteration 11 : 391 enodes (cost 5 ) 263.181 * * [simplify]: iteration 12 : 1333 enodes (cost 5 ) 265.627 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 265.628 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 265.629 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 265.632 * * [simplify]: iteration 2 : 43 enodes (cost 12 ) 265.642 * * [simplify]: iteration 3 : 74 enodes (cost 12 ) 265.659 * * [simplify]: iteration 4 : 78 enodes (cost 8 ) 265.682 * * [simplify]: iteration 5 : 83 enodes (cost 5 ) 265.697 * * [simplify]: iteration 6 : 87 enodes (cost 5 ) 265.713 * * [simplify]: iteration 7 : 93 enodes (cost 5 ) 265.736 * * [simplify]: iteration 8 : 103 enodes (cost 5 ) 265.753 * * [simplify]: iteration 9 : 124 enodes (cost 5 ) 265.782 * * [simplify]: iteration 10 : 184 enodes (cost 5 ) 265.848 * * [simplify]: iteration 11 : 391 enodes (cost 5 ) 266.359 * * [simplify]: iteration 12 : 1333 enodes (cost 5 ) 271.682 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 271.683 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 271.684 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 271.687 * * [simplify]: iteration 2 : 43 enodes (cost 12 ) 271.697 * * [simplify]: iteration 3 : 74 enodes (cost 12 ) 271.714 * * [simplify]: iteration 4 : 78 enodes (cost 8 ) 271.736 * * [simplify]: iteration 5 : 83 enodes (cost 5 ) 271.751 * * [simplify]: iteration 6 : 87 enodes (cost 5 ) 271.767 * * [simplify]: iteration 7 : 93 enodes (cost 5 ) 271.788 * * [simplify]: iteration 8 : 103 enodes (cost 5 ) 271.806 * * [simplify]: iteration 9 : 124 enodes (cost 5 ) 271.829 * * [simplify]: iteration 10 : 184 enodes (cost 5 ) 271.898 * * [simplify]: iteration 11 : 391 enodes (cost 5 ) 272.413 * * [simplify]: iteration 12 : 1333 enodes (cost 5 ) 274.905 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 274.906 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 274.907 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 274.911 * * [simplify]: iteration 2 : 49 enodes (cost 15 ) 274.920 * * [simplify]: iteration 3 : 83 enodes (cost 11 ) 274.936 * * [simplify]: iteration 4 : 87 enodes (cost 11 ) 274.957 * * [simplify]: iteration done : 87 enodes (cost 11 ) 274.957 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 274.959 * * [simplify]: iteration 1 : 22 enodes (cost 14 ) 274.961 * * [simplify]: iteration 2 : 43 enodes (cost 14 ) 274.969 * * [simplify]: iteration 3 : 80 enodes (cost 11 ) 274.984 * * [simplify]: iteration 4 : 89 enodes (cost 11 ) 275.000 * * [simplify]: iteration done : 89 enodes (cost 11 ) 275.001 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 275.002 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 275.004 * * [simplify]: iteration 2 : 43 enodes (cost 13 ) 275.016 * * [simplify]: iteration 3 : 78 enodes (cost 13 ) 275.033 * * [simplify]: iteration 4 : 113 enodes (cost 10 ) 275.051 * * [simplify]: iteration 5 : 118 enodes (cost 10 ) 275.075 * * [simplify]: iteration done : 118 enodes (cost 10 ) 275.076 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 275.077 * * [simplify]: iteration 1 : 20 enodes (cost 16 ) 275.080 * * [simplify]: iteration 2 : 47 enodes (cost 15 ) 275.088 * * [simplify]: iteration 3 : 88 enodes (cost 11 ) 275.105 * * [simplify]: iteration 4 : 92 enodes (cost 11 ) 275.121 * * [simplify]: iteration done : 92 enodes (cost 11 ) 275.121 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 275.123 * * [simplify]: iteration 1 : 20 enodes (cost 15 ) 275.126 * * [simplify]: iteration 2 : 41 enodes (cost 14 ) 275.137 * * [simplify]: iteration 3 : 81 enodes (cost 11 ) 275.152 * * [simplify]: iteration 4 : 90 enodes (cost 11 ) 275.168 * * [simplify]: iteration done : 90 enodes (cost 11 ) 275.168 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 275.170 * * [simplify]: iteration 1 : 20 enodes (cost 14 ) 275.172 * * [simplify]: iteration 2 : 42 enodes (cost 13 ) 275.179 * * [simplify]: iteration 3 : 81 enodes (cost 13 ) 275.201 * * [simplify]: iteration 4 : 126 enodes (cost 10 ) 275.220 * * [simplify]: iteration 5 : 131 enodes (cost 10 ) 275.238 * * [simplify]: iteration done : 131 enodes (cost 10 ) 275.239 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 275.240 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 275.249 * * [simplify]: iteration 2 : 60 enodes (cost 13 ) 275.261 * * [simplify]: iteration 3 : 135 enodes (cost 13 ) 275.297 * * [simplify]: iteration 4 : 216 enodes (cost 9 ) 275.340 * * [simplify]: iteration 5 : 225 enodes (cost 6 ) 275.379 * * [simplify]: iteration 6 : 229 enodes (cost 6 ) 275.418 * * [simplify]: iteration 7 : 235 enodes (cost 6 ) 275.452 * * [simplify]: iteration 8 : 245 enodes (cost 6 ) 275.494 * * [simplify]: iteration 9 : 266 enodes (cost 6 ) 275.541 * * [simplify]: iteration 10 : 325 enodes (cost 6 ) 275.623 * * [simplify]: iteration 11 : 536 enodes (cost 6 ) 276.114 * * [simplify]: iteration 12 : 1453 enodes (cost 6 ) 278.464 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 278.465 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 278.466 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 278.470 * * [simplify]: iteration 2 : 57 enodes (cost 13 ) 278.482 * * [simplify]: iteration 3 : 139 enodes (cost 13 ) 278.518 * * [simplify]: iteration 4 : 313 enodes (cost 9 ) 278.600 * * [simplify]: iteration 5 : 782 enodes (cost 6 ) 279.168 * * [simplify]: iteration 6 : 1940 enodes (cost 6 ) 281.924 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 281.925 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 281.926 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 281.932 * * [simplify]: iteration 2 : 97 enodes (cost 13 ) 281.977 * * [simplify]: iteration 3 : 381 enodes (cost 13 ) 282.371 * * [simplify]: iteration 4 : 1145 enodes (cost 11 ) 284.588 * * [simplify]: iteration 5 : 2635 enodes (cost 9 ) 287.722 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 287.723 * * [simplify]: iteration 0 : 12 enodes (cost 24 ) 287.725 * * [simplify]: iteration 1 : 34 enodes (cost 24 ) 287.733 * * [simplify]: iteration 2 : 135 enodes (cost 14 ) 287.816 * * [simplify]: iteration 3 : 726 enodes (cost 14 ) 289.620 * * [simplify]: iteration 4 : 3535 enodes (cost 12 ) 291.862 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 291.863 * * [simplify]: iteration 0 : 10 enodes (cost 24 ) 291.864 * * [simplify]: iteration 1 : 29 enodes (cost 24 ) 291.871 * * [simplify]: iteration 2 : 132 enodes (cost 12 ) 291.968 * * [simplify]: iteration 3 : 808 enodes (cost 12 ) 294.080 * * [simplify]: iteration 4 : 3768 enodes (cost 11 ) 296.478 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 296.479 * * [simplify]: iteration 0 : 14 enodes (cost 31 ) 296.483 * * [simplify]: iteration 1 : 37 enodes (cost 31 ) 296.491 * * [simplify]: iteration 2 : 142 enodes (cost 17 ) 296.599 * * [simplify]: iteration 3 : 773 enodes (cost 13 ) 298.483 * * [simplify]: iteration 4 : 3695 enodes (cost 11 ) 300.671 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 300.672 * * [simplify]: iteration 0 : 14 enodes (cost 38 ) 300.675 * * [simplify]: iteration 1 : 43 enodes (cost 38 ) 300.686 * * [simplify]: iteration 2 : 175 enodes (cost 18 ) 300.820 * * [simplify]: iteration 3 : 1076 enodes (cost 13 ) 303.976 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 303.977 * * [simplify]: iteration 0 : 12 enodes (cost 38 ) 303.979 * * [simplify]: iteration 1 : 39 enodes (cost 38 ) 303.989 * * [simplify]: iteration 2 : 176 enodes (cost 16 ) 304.134 * * [simplify]: iteration 3 : 1115 enodes (cost 11 ) 306.652 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 306.653 * * [simplify]: iteration 0 : 10 enodes (cost 27 ) 306.654 * * [simplify]: iteration 1 : 19 enodes (cost 27 ) 306.657 * * [simplify]: iteration 2 : 45 enodes (cost 27 ) 306.675 * * [simplify]: iteration 3 : 79 enodes (cost 27 ) 306.692 * * [simplify]: iteration 4 : 82 enodes (cost 19 ) 306.708 * * [simplify]: iteration 5 : 87 enodes (cost 13 ) 306.729 * * [simplify]: iteration 6 : 91 enodes (cost 13 ) 306.746 * * [simplify]: iteration 7 : 97 enodes (cost 13 ) 306.762 * * [simplify]: iteration 8 : 107 enodes (cost 13 ) 306.785 * * [simplify]: iteration 9 : 130 enodes (cost 13 ) 306.809 * * [simplify]: iteration 10 : 193 enodes (cost 13 ) 306.872 * * [simplify]: iteration 11 : 403 enodes (cost 13 ) 307.349 * * [simplify]: iteration 12 : 1332 enodes (cost 13 ) 309.726 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 309.726 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 309.728 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 309.730 * * [simplify]: iteration 2 : 44 enodes (cost 13 ) 309.748 * * [simplify]: iteration 3 : 76 enodes (cost 13 ) 309.765 * * [simplify]: iteration 4 : 79 enodes (cost 9 ) 309.781 * * [simplify]: iteration 5 : 84 enodes (cost 6 ) 309.803 * * [simplify]: iteration 6 : 88 enodes (cost 6 ) 309.819 * * [simplify]: iteration 7 : 94 enodes (cost 6 ) 309.835 * * [simplify]: iteration 8 : 104 enodes (cost 6 ) 309.859 * * [simplify]: iteration 9 : 125 enodes (cost 6 ) 309.882 * * [simplify]: iteration 10 : 181 enodes (cost 6 ) 309.945 * * [simplify]: iteration 11 : 396 enodes (cost 6 ) 310.447 * * [simplify]: iteration 12 : 1342 enodes (cost 6 ) 312.817 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 312.818 * * [simplify]: iteration 0 : 10 enodes (cost 38 ) 312.820 * * [simplify]: iteration 1 : 29 enodes (cost 38 ) 312.827 * * [simplify]: iteration 2 : 150 enodes (cost 14 ) 312.969 * * [simplify]: iteration 3 : 962 enodes (cost 10 ) 316.641 * * [simplify]: iteration 4 : 4854 enodes (cost 7 ) 318.344 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 318.345 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 318.346 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 318.350 * * [simplify]: iteration 2 : 44 enodes (cost 13 ) 318.360 * * [simplify]: iteration 3 : 76 enodes (cost 13 ) 318.376 * * [simplify]: iteration 4 : 79 enodes (cost 9 ) 318.399 * * [simplify]: iteration 5 : 84 enodes (cost 6 ) 318.415 * * [simplify]: iteration 6 : 88 enodes (cost 6 ) 318.430 * * [simplify]: iteration 7 : 94 enodes (cost 6 ) 318.453 * * [simplify]: iteration 8 : 104 enodes (cost 6 ) 318.471 * * [simplify]: iteration 9 : 125 enodes (cost 6 ) 318.493 * * [simplify]: iteration 10 : 181 enodes (cost 6 ) 318.564 * * [simplify]: iteration 11 : 396 enodes (cost 6 ) 319.061 * * [simplify]: iteration 12 : 1342 enodes (cost 6 ) 321.419 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 321.420 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 321.421 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 321.424 * * [simplify]: iteration 2 : 44 enodes (cost 13 ) 321.433 * * [simplify]: iteration 3 : 76 enodes (cost 13 ) 321.451 * * [simplify]: iteration 4 : 79 enodes (cost 9 ) 321.473 * * [simplify]: iteration 5 : 84 enodes (cost 6 ) 321.488 * * [simplify]: iteration 6 : 88 enodes (cost 6 ) 321.505 * * [simplify]: iteration 7 : 94 enodes (cost 6 ) 321.526 * * [simplify]: iteration 8 : 104 enodes (cost 6 ) 321.543 * * [simplify]: iteration 9 : 125 enodes (cost 6 ) 321.567 * * [simplify]: iteration 10 : 181 enodes (cost 6 ) 321.630 * * [simplify]: iteration 11 : 396 enodes (cost 6 ) 322.129 * * [simplify]: iteration 12 : 1342 enodes (cost 6 ) 327.401 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 327.402 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 327.403 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 327.405 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 327.408 * * [simplify]: iteration 3 : 22 enodes (cost 6 ) 327.411 * * [simplify]: iteration 4 : 27 enodes (cost 3 ) 327.413 * * [simplify]: iteration 5 : 31 enodes (cost 3 ) 327.417 * * [simplify]: iteration 6 : 37 enodes (cost 3 ) 327.420 * * [simplify]: iteration 7 : 47 enodes (cost 3 ) 327.426 * * [simplify]: iteration 8 : 70 enodes (cost 3 ) 327.436 * * [simplify]: iteration 9 : 131 enodes (cost 3 ) 327.487 * * [simplify]: iteration 10 : 345 enodes (cost 3 ) 327.970 * * [simplify]: iteration 11 : 1271 enodes (cost 3 ) 330.459 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 330.460 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 330.461 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 330.463 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 330.467 * * [simplify]: iteration 3 : 41 enodes (cost 9 ) 330.475 * * [simplify]: iteration 4 : 42 enodes (cost 9 ) 330.481 * * [simplify]: iteration done : 42 enodes (cost 9 ) 330.481 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 330.482 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 330.483 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 330.485 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 330.487 * * [simplify]: iteration done : 18 enodes (cost 6 ) 330.488 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 330.488 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 330.490 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 330.493 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 330.494 * * [simplify]: iteration done : 18 enodes (cost 6 ) 330.495 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 330.502 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 330.503 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 330.506 * * [simplify]: iteration done : 19 enodes (cost 9 ) 330.506 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 330.508 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 330.509 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 330.511 * * [simplify]: iteration 3 : 22 enodes (cost 8 ) 330.514 * * [simplify]: iteration done : 22 enodes (cost 8 ) 330.514 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 330.515 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 330.517 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 330.520 * * [simplify]: iteration 3 : 41 enodes (cost 7 ) 330.525 * * [simplify]: iteration done : 41 enodes (cost 7 ) 330.525 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 330.526 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 330.528 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 330.532 * * [simplify]: iteration 3 : 54 enodes (cost 7 ) 330.539 * * [simplify]: iteration 4 : 110 enodes (cost 7 ) 330.558 * * [simplify]: iteration 5 : 249 enodes (cost 7 ) 330.681 * * [simplify]: iteration 6 : 590 enodes (cost 7 ) 331.143 * * [simplify]: iteration 7 : 1561 enodes (cost 7 ) 332.499 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 332.500 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 332.502 * * [simplify]: iteration 1 : 19 enodes (cost 13 ) 332.505 * * [simplify]: iteration 2 : 58 enodes (cost 9 ) 332.522 * * [simplify]: iteration 3 : 173 enodes (cost 9 ) 332.621 * * [simplify]: iteration 4 : 389 enodes (cost 9 ) 332.908 * * [simplify]: iteration 5 : 722 enodes (cost 7 ) 333.735 * * [simplify]: iteration 6 : 1778 enodes (cost 7 ) 335.699 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 335.699 * * [simplify]: iteration 0 : 10 enodes (cost 20 ) 335.701 * * [simplify]: iteration 1 : 27 enodes (cost 20 ) 335.707 * * [simplify]: iteration 2 : 94 enodes (cost 10 ) 335.755 * * [simplify]: iteration 3 : 383 enodes (cost 10 ) 336.187 * * [simplify]: iteration 4 : 1141 enodes (cost 8 ) 337.938 * * [simplify]: iteration 5 : 2060 enodes (cost 7 ) 342.434 * * [simplify]: iteration 6 : 4239 enodes (cost 7 ) 344.297 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 344.297 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 344.298 * * [simplify]: iteration 1 : 12 enodes (cost 15 ) 344.300 * * [simplify]: iteration 2 : 18 enodes (cost 15 ) 344.303 * * [simplify]: iteration 3 : 20 enodes (cost 15 ) 344.305 * * [simplify]: iteration done : 20 enodes (cost 15 ) 344.305 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 344.306 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 344.307 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 344.309 * * [simplify]: iteration done : 17 enodes (cost 7 ) 344.310 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 344.311 * * [simplify]: iteration 1 : 22 enodes (cost 20 ) 344.316 * * [simplify]: iteration 2 : 92 enodes (cost 8 ) 344.369 * * [simplify]: iteration 3 : 429 enodes (cost 8 ) 344.931 * * [simplify]: iteration 4 : 1128 enodes (cost 7 ) 346.665 * * [simplify]: iteration 5 : 1528 enodes (cost 7 ) 349.366 * * [simplify]: iteration 6 : 2579 enodes (cost 7 ) 352.319 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 352.321 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 352.322 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 352.323 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 352.325 * * [simplify]: iteration done : 17 enodes (cost 7 ) 352.326 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 352.330 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 352.332 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 352.334 * * [simplify]: iteration done : 17 enodes (cost 7 ) 352.339 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 352.340 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 352.342 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 352.346 * * [simplify]: iteration 3 : 37 enodes (cost 10 ) 352.352 * * [simplify]: iteration done : 37 enodes (cost 10 ) 352.353 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 352.353 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 352.355 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 352.357 * * [simplify]: iteration done : 17 enodes (cost 7 ) 352.358 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 352.358 * * [simplify]: iteration 1 : 12 enodes (cost 4 ) 352.360 * * [simplify]: iteration 2 : 24 enodes (cost 4 ) 352.362 * * [simplify]: iteration 3 : 30 enodes (cost 4 ) 352.364 * * [simplify]: iteration done : 30 enodes (cost 4 ) 352.364 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 352.365 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 352.365 * * [simplify]: iteration done : 4 enodes (cost 3 ) 352.366 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 352.367 * * [simplify]: iteration 1 : 25 enodes (cost 15 ) 352.372 * * [simplify]: iteration 2 : 64 enodes (cost 15 ) 352.385 * * [simplify]: iteration 3 : 155 enodes (cost 15 ) 352.424 * * [simplify]: iteration 4 : 353 enodes (cost 11 ) 352.518 * * [simplify]: iteration 5 : 935 enodes (cost 8 ) 353.208 * * [simplify]: iteration 6 : 2589 enodes (cost 8 ) 354.395 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 354.396 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 354.397 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 354.401 * * [simplify]: iteration 2 : 49 enodes (cost 15 ) 354.411 * * [simplify]: iteration 3 : 79 enodes (cost 15 ) 354.436 * * [simplify]: iteration 4 : 82 enodes (cost 11 ) 354.454 * * [simplify]: iteration 5 : 87 enodes (cost 8 ) 354.476 * * [simplify]: iteration 6 : 91 enodes (cost 8 ) 354.493 * * [simplify]: iteration 7 : 97 enodes (cost 8 ) 354.511 * * [simplify]: iteration 8 : 107 enodes (cost 8 ) 354.535 * * [simplify]: iteration 9 : 130 enodes (cost 8 ) 354.560 * * [simplify]: iteration 10 : 191 enodes (cost 8 ) 354.624 * * [simplify]: iteration 11 : 400 enodes (cost 8 ) 355.109 * * [simplify]: iteration 12 : 1340 enodes (cost 8 ) 357.514 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 357.515 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 357.517 * * [simplify]: iteration 1 : 25 enodes (cost 15 ) 357.521 * * [simplify]: iteration 2 : 62 enodes (cost 15 ) 357.535 * * [simplify]: iteration 3 : 138 enodes (cost 15 ) 357.567 * * [simplify]: iteration 4 : 296 enodes (cost 11 ) 357.646 * * [simplify]: iteration 5 : 776 enodes (cost 8 ) 358.162 * * [simplify]: iteration 6 : 2320 enodes (cost 8 ) 359.447 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 359.448 * * [simplify]: iteration 0 : 12 enodes (cost 31 ) 359.450 * * [simplify]: iteration 1 : 23 enodes (cost 31 ) 359.453 * * [simplify]: iteration 2 : 50 enodes (cost 31 ) 359.464 * * [simplify]: iteration 3 : 78 enodes (cost 31 ) 359.487 * * [simplify]: iteration 4 : 84 enodes (cost 23 ) 359.505 * * [simplify]: iteration 5 : 89 enodes (cost 17 ) 359.521 * * [simplify]: iteration 6 : 93 enodes (cost 17 ) 359.543 * * [simplify]: iteration 7 : 99 enodes (cost 17 ) 359.561 * * [simplify]: iteration 8 : 109 enodes (cost 17 ) 359.584 * * [simplify]: iteration 9 : 130 enodes (cost 17 ) 359.609 * * [simplify]: iteration 10 : 190 enodes (cost 17 ) 359.672 * * [simplify]: iteration 11 : 404 enodes (cost 17 ) 360.148 * * [simplify]: iteration 12 : 1349 enodes (cost 17 ) 362.580 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 362.581 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 362.582 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 362.585 * * [simplify]: iteration 2 : 49 enodes (cost 15 ) 362.595 * * [simplify]: iteration 3 : 79 enodes (cost 15 ) 362.617 * * [simplify]: iteration 4 : 82 enodes (cost 11 ) 362.636 * * [simplify]: iteration 5 : 87 enodes (cost 8 ) 362.652 * * [simplify]: iteration 6 : 91 enodes (cost 8 ) 362.673 * * [simplify]: iteration 7 : 97 enodes (cost 8 ) 362.691 * * [simplify]: iteration 8 : 107 enodes (cost 8 ) 362.710 * * [simplify]: iteration 9 : 130 enodes (cost 8 ) 362.739 * * [simplify]: iteration 10 : 191 enodes (cost 8 ) 362.803 * * [simplify]: iteration 11 : 400 enodes (cost 8 ) 363.280 * * [simplify]: iteration 12 : 1340 enodes (cost 8 ) 365.695 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 365.696 * * [simplify]: iteration 0 : 12 enodes (cost 44 ) 365.698 * * [simplify]: iteration 1 : 24 enodes (cost 44 ) 365.702 * * [simplify]: iteration 2 : 65 enodes (cost 16 ) 365.724 * * [simplify]: iteration 3 : 214 enodes (cost 16 ) 365.859 * * [simplify]: iteration 4 : 1086 enodes (cost 12 ) 367.851 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 367.852 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 367.854 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 367.857 * * [simplify]: iteration 2 : 49 enodes (cost 15 ) 367.867 * * [simplify]: iteration 3 : 79 enodes (cost 15 ) 367.886 * * [simplify]: iteration 4 : 82 enodes (cost 11 ) 367.908 * * [simplify]: iteration 5 : 87 enodes (cost 8 ) 367.924 * * [simplify]: iteration 6 : 91 enodes (cost 8 ) 367.941 * * [simplify]: iteration 7 : 97 enodes (cost 8 ) 367.964 * * [simplify]: iteration 8 : 107 enodes (cost 8 ) 367.983 * * [simplify]: iteration 9 : 130 enodes (cost 8 ) 368.013 * * [simplify]: iteration 10 : 191 enodes (cost 8 ) 368.076 * * [simplify]: iteration 11 : 400 enodes (cost 8 ) 368.573 * * [simplify]: iteration 12 : 1340 enodes (cost 8 ) 371.051 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 371.052 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 371.053 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 371.056 * * [simplify]: iteration 2 : 49 enodes (cost 15 ) 371.073 * * [simplify]: iteration 3 : 79 enodes (cost 15 ) 371.092 * * [simplify]: iteration 4 : 82 enodes (cost 11 ) 371.110 * * [simplify]: iteration 5 : 87 enodes (cost 8 ) 371.132 * * [simplify]: iteration 6 : 91 enodes (cost 8 ) 371.149 * * [simplify]: iteration 7 : 97 enodes (cost 8 ) 371.167 * * [simplify]: iteration 8 : 107 enodes (cost 8 ) 371.191 * * [simplify]: iteration 9 : 130 enodes (cost 8 ) 371.216 * * [simplify]: iteration 10 : 191 enodes (cost 8 ) 371.281 * * [simplify]: iteration 11 : 400 enodes (cost 8 ) 371.766 * * [simplify]: iteration 12 : 1340 enodes (cost 8 ) 374.255 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 374.256 * * [simplify]: iteration 0 : 13 enodes (cost 18 ) 374.257 * * [simplify]: iteration 1 : 40 enodes (cost 18 ) 374.266 * * [simplify]: iteration 2 : 150 enodes (cost 18 ) 374.358 * * [simplify]: iteration 3 : 809 enodes (cost 11 ) 376.735 * * [simplify]: iteration 4 : 4656 enodes (cost 11 ) 381.442 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 381.443 * * [simplify]: iteration 0 : 14 enodes (cost 44 ) 381.445 * * [simplify]: iteration 1 : 39 enodes (cost 42 ) 381.453 * * [simplify]: iteration 2 : 155 enodes (cost 42 ) 381.557 * * [simplify]: iteration 3 : 706 enodes (cost 23 ) 382.572 * * [simplify]: iteration 4 : 1766 enodes (cost 17 ) 385.058 * * [simplify]: iteration 5 : 2123 enodes (cost 17 ) 387.516 * * [simplify]: iteration 6 : 2271 enodes (cost 17 ) 390.123 * * [simplify]: iteration 7 : 2671 enodes (cost 17 ) 391.983 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 391.983 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 391.984 * * [simplify]: iteration done : 2 enodes (cost 2 ) 391.984 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 391.986 * * [simplify]: iteration 1 : 33 enodes (cost 29 ) 391.993 * * [simplify]: iteration 2 : 127 enodes (cost 29 ) 392.077 * * [simplify]: iteration 3 : 578 enodes (cost 21 ) 392.912 * * [simplify]: iteration 4 : 1568 enodes (cost 15 ) 395.226 * * [simplify]: iteration 5 : 2333 enodes (cost 15 ) 398.088 * * [simplify]: iteration 6 : 3030 enodes (cost 15 ) 402.167 * * [simplify]: iteration 7 : 4627 enodes (cost 15 ) 403.778 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 403.779 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 403.780 * * [simplify]: iteration 1 : 20 enodes (cost 14 ) 403.784 * * [simplify]: iteration 2 : 46 enodes (cost 14 ) 403.794 * * [simplify]: iteration 3 : 75 enodes (cost 14 ) 403.819 * * [simplify]: iteration 4 : 78 enodes (cost 10 ) 403.837 * * [simplify]: iteration 5 : 83 enodes (cost 7 ) 403.853 * * [simplify]: iteration 6 : 87 enodes (cost 7 ) 403.875 * * [simplify]: iteration 7 : 93 enodes (cost 7 ) 403.892 * * [simplify]: iteration 8 : 103 enodes (cost 7 ) 403.912 * * [simplify]: iteration 9 : 124 enodes (cost 7 ) 403.941 * * [simplify]: iteration 10 : 184 enodes (cost 7 ) 404.006 * * [simplify]: iteration 11 : 398 enodes (cost 7 ) 404.501 * * [simplify]: iteration 12 : 1317 enodes (cost 7 ) 406.967 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 406.967 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 406.968 * * [simplify]: iteration done : 2 enodes (cost 2 ) 406.968 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 406.969 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 406.969 * * [simplify]: iteration done : 5 enodes (cost 4 ) 406.970 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 406.970 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 406.971 * * [simplify]: iteration done : 5 enodes (cost 4 ) 406.971 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 406.972 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 406.972 * * [simplify]: iteration done : 5 enodes (cost 4 ) 406.973 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 406.973 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 406.975 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 406.976 * * [simplify]: iteration done : 15 enodes (cost 5 ) 406.977 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 406.978 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 406.979 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 406.981 * * [simplify]: iteration done : 15 enodes (cost 5 ) 406.981 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 406.982 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 406.983 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 406.985 * * [simplify]: iteration done : 15 enodes (cost 5 ) 406.985 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 406.986 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 406.987 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 406.989 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 406.991 * * [simplify]: iteration done : 18 enodes (cost 6 ) 406.992 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 406.992 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 406.994 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 406.997 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 406.999 * * [simplify]: iteration done : 18 enodes (cost 6 ) 407.000 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 407.000 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 407.002 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 407.004 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 407.006 * * [simplify]: iteration done : 18 enodes (cost 6 ) 407.006 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 407.007 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 407.009 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 407.012 * * [simplify]: iteration done : 20 enodes (cost 7 ) 407.013 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 407.014 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 407.015 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 407.025 * * [simplify]: iteration done : 20 enodes (cost 7 ) 407.025 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 407.026 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 407.028 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 407.031 * * [simplify]: iteration done : 20 enodes (cost 7 ) 407.031 * [simplify]: Simplified to: (* (cbrt 3.0) x) (+ (log (cbrt 3.0)) (log x)) (log (* (cbrt 3.0) x)) (exp (* (cbrt 3.0) x)) (* 3.0 (pow x 3)) (* (cbrt (* (cbrt 3.0) x)) (cbrt (* (cbrt 3.0) x))) (cbrt (* (cbrt 3.0) x)) (* (pow x 3) 3.0) (sqrt (* (cbrt 3.0) x)) (sqrt (* (cbrt 3.0) x)) (* (cbrt (sqrt 3.0)) (sqrt x)) (* (cbrt (sqrt 3.0)) (sqrt x)) (* (sqrt (cbrt 3.0)) (sqrt x)) (* (sqrt (cbrt 3.0)) (sqrt x)) (* (cbrt 3.0) (* (cbrt x) (cbrt x))) (* (cbrt 3.0) (sqrt x)) (cbrt 3.0) (* (cbrt (cbrt 3.0)) x) (* (cbrt (sqrt 3.0)) x) (* (cbrt 3.0) x) (* (cbrt (cbrt 3.0)) x) (* (sqrt (cbrt 3.0)) x) (* (cbrt 3.0) x) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (+ (+ (log x) (log y)) (* 3 (log (cbrt 3.0)))) (+ (* 3 (log (cbrt 3.0))) (+ (log x) (log y))) (+ (* 3 (log (cbrt 3.0))) (log (* x y))) (+ (+ (log x) (log y)) (* 3 (log (cbrt 3.0)))) (+ (* 3 (log (cbrt 3.0))) (+ (log x) (log y))) (+ (* 3 (log (cbrt 3.0))) (log (* x y))) (log (* 3.0 (* x y))) (pow (exp (* x 3.0)) y) (* (pow (* y 3.0) 3) (pow x 3)) (* (pow (* (* (cbrt 3.0) x) y) 3) (* 3.0 3.0)) (* (* 3.0 (pow (* x y) 3)) (* 3.0 3.0)) (* (pow 3.0 3) (* (pow y 3) (pow x 3))) (* (* (pow y 3) (* 3.0 3.0)) (* (pow x 3) 3.0)) (* (* 3.0 3.0) (* 3.0 (pow (* x y) 3))) (* (cbrt (* 3.0 (* x y))) (cbrt (* 3.0 (* x y)))) (cbrt (* (* x y) 3.0)) (pow (* (* x y) 3.0) 3) (sqrt (* (* x y) 3.0)) (sqrt (* (* x y) 3.0)) (* 3.0 x) (* (cbrt 3.0) (* (* (cbrt 3.0) x) y)) (* (* (cbrt 3.0) x) y) (* (* (cbrt 3.0) x) y) (+ (+ (log (cbrt 3.0)) (log x)) (log y)) (+ (log (* (cbrt 3.0) x)) (log y)) (log (* (* (cbrt 3.0) x) y)) (exp (* (* (cbrt 3.0) x) y)) (* 3.0 (pow (* x y) 3)) (* (pow (* x y) 3) 3.0) (* (cbrt (* (* (cbrt 3.0) x) y)) (cbrt (* (* (cbrt 3.0) x) y))) (cbrt (* (* (cbrt 3.0) x) y)) (* (pow (* x y) 3) 3.0) (sqrt (* (* (cbrt 3.0) x) y)) (sqrt (* (* (cbrt 3.0) x) y)) (* (* (cbrt 3.0) x) (* (cbrt y) (cbrt y))) (* (* (cbrt 3.0) x) (sqrt y)) (* (cbrt 3.0) x) (* x y) (exp (- (* (* 3.0 x) y) z)) (log (- (* (* x y) 3.0) z)) (exp (- (* 3.0 (* x y)) z)) (* (cbrt (- (* 3.0 (* x y)) z)) (cbrt (- (* 3.0 (* x y)) z))) (cbrt (- (* (* x y) 3.0) z)) (pow (- (* y (* (pow (cbrt 3.0) 3) x)) z) 3) (sqrt (- (* (* x y) 3.0) z)) (sqrt (- (* (* x y) 3.0) z)) (- (pow (* y (* 3.0 x)) 3) (pow z 3)) (+ (* (* (* x 3.0) (+ z (* 3.0 (* x y)))) y) (* z z)) (neg z) (* (- (* (* 3.0 y) x) z) (+ z (* (* 3.0 y) x))) (+ z (* 3.0 (* x y))) (neg z) (* x (cbrt 3.0)) (* x (cbrt 3.0)) (* x (cbrt 3.0)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* x (* (cbrt 3.0) y)) (* x (* (cbrt 3.0) y)) (* x (* (cbrt 3.0) y)) (- (* 3.0 (* x y)) z) (- (* 3.0 (* x y)) z) (- (* 3.0 (* x y)) z) 407.032 * * * [progress]: adding candidates to table 407.177 * [progress]: [Phase 3 of 3] Extracting. 407.177 * * [regime]: Finding splitpoints for: (# # # # # #) 407.177 * * * [regime-changes]: Trying 6 branch expressions: ((* x 3.0) (* (* x 3.0) y) (- (* (* x 3.0) y) z) z y x) 407.177 * * * * [regimes]: Trying to branch on (* x 3.0) from (# # # # # #) 407.235 * * * * [regimes]: Trying to branch on (* (* x 3.0) y) from (# # # # # #) 407.289 * * * * [regimes]: Trying to branch on (- (* (* x 3.0) y) z) from (# # # # # #) 407.346 * * * * [regimes]: Trying to branch on z from (# # # # # #) 407.401 * * * * [regimes]: Trying to branch on y from (# # # # # #) 407.455 * * * * [regimes]: Trying to branch on x from (# # # # # #) 407.510 * * * [regime]: Found split indices: #