145.545 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.021 * [progress]: [Phase 2 of 3] Improving. 0.021 * [simplify]: Simplifying using # : (* (* (* x 3.0) y) y) 0.022 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.023 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 0.025 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 0.030 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 0.036 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 0.042 * * [simplify]: iteration done : 40 enodes (cost 7 ) 0.042 * [simplify]: Simplified to: (* (* (* x 3.0) y) y) 0.042 * * [progress]: iteration 1 / 4 0.042 * * * [progress]: picking best candidate 0.052 * * * * [pick]: Picked # 0.052 * * * [progress]: localizing error 0.057 * * * [progress]: generating rewritten candidates 0.057 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.063 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.072 * * * [progress]: generating series expansions 0.072 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.072 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (x y) around 0 0.072 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y 0.072 * [taylor]: Taking taylor expansion of 3.0 in y 0.072 * [taylor]: Taking taylor expansion of (* x y) in y 0.072 * [taylor]: Taking taylor expansion of x in y 0.072 * [taylor]: Taking taylor expansion of y in y 0.072 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 0.072 * [taylor]: Taking taylor expansion of 3.0 in x 0.072 * [taylor]: Taking taylor expansion of (* x y) in x 0.072 * [taylor]: Taking taylor expansion of x in x 0.072 * [taylor]: Taking taylor expansion of y in x 0.072 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 0.072 * [taylor]: Taking taylor expansion of 3.0 in x 0.072 * [taylor]: Taking taylor expansion of (* x y) in x 0.072 * [taylor]: Taking taylor expansion of x in x 0.072 * [taylor]: Taking taylor expansion of y in x 0.072 * [taylor]: Taking taylor expansion of 0 in y 0.072 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 0.072 * [taylor]: Taking taylor expansion of 3.0 in y 0.072 * [taylor]: Taking taylor expansion of y in y 0.072 * [taylor]: Taking taylor expansion of 0 in y 0.073 * [taylor]: Taking taylor expansion of 0 in y 0.073 * [taylor]: Taking taylor expansion of 0 in y 0.073 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 0.073 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 0.073 * [taylor]: Taking taylor expansion of 3.0 in y 0.073 * [taylor]: Taking taylor expansion of (* x y) in y 0.073 * [taylor]: Taking taylor expansion of x in y 0.073 * [taylor]: Taking taylor expansion of y in y 0.073 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 0.073 * [taylor]: Taking taylor expansion of 3.0 in x 0.073 * [taylor]: Taking taylor expansion of (* x y) in x 0.073 * [taylor]: Taking taylor expansion of x in x 0.073 * [taylor]: Taking taylor expansion of y in x 0.073 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 0.073 * [taylor]: Taking taylor expansion of 3.0 in x 0.073 * [taylor]: Taking taylor expansion of (* x y) in x 0.073 * [taylor]: Taking taylor expansion of x in x 0.073 * [taylor]: Taking taylor expansion of y in x 0.074 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 0.074 * [taylor]: Taking taylor expansion of 3.0 in y 0.074 * [taylor]: Taking taylor expansion of y in y 0.074 * [taylor]: Taking taylor expansion of 0 in y 0.074 * [taylor]: Taking taylor expansion of 0 in y 0.074 * [taylor]: Taking taylor expansion of 0 in y 0.074 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 0.074 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 0.075 * [taylor]: Taking taylor expansion of 3.0 in y 0.075 * [taylor]: Taking taylor expansion of (* x y) in y 0.075 * [taylor]: Taking taylor expansion of x in y 0.075 * [taylor]: Taking taylor expansion of y in y 0.075 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 0.075 * [taylor]: Taking taylor expansion of 3.0 in x 0.075 * [taylor]: Taking taylor expansion of (* x y) in x 0.075 * [taylor]: Taking taylor expansion of x in x 0.075 * [taylor]: Taking taylor expansion of y in x 0.075 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 0.075 * [taylor]: Taking taylor expansion of 3.0 in x 0.075 * [taylor]: Taking taylor expansion of (* x y) in x 0.075 * [taylor]: Taking taylor expansion of x in x 0.075 * [taylor]: Taking taylor expansion of y in x 0.075 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 0.075 * [taylor]: Taking taylor expansion of 3.0 in y 0.075 * [taylor]: Taking taylor expansion of y in y 0.075 * [taylor]: Taking taylor expansion of 0 in y 0.075 * [taylor]: Taking taylor expansion of 0 in y 0.076 * [taylor]: Taking taylor expansion of 0 in y 0.076 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.076 * [approximate]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in (x y) around 0 0.076 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in y 0.076 * [taylor]: Taking taylor expansion of 3.0 in y 0.076 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 0.076 * [taylor]: Taking taylor expansion of x in y 0.076 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.076 * [taylor]: Taking taylor expansion of y in y 0.076 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in x 0.076 * [taylor]: Taking taylor expansion of 3.0 in x 0.076 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 0.076 * [taylor]: Taking taylor expansion of x in x 0.076 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.076 * [taylor]: Taking taylor expansion of y in x 0.076 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in x 0.076 * [taylor]: Taking taylor expansion of 3.0 in x 0.076 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 0.077 * [taylor]: Taking taylor expansion of x in x 0.077 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.077 * [taylor]: Taking taylor expansion of y in x 0.077 * [taylor]: Taking taylor expansion of 0 in y 0.077 * [taylor]: Taking taylor expansion of (* 3.0 (pow y 2)) in y 0.077 * [taylor]: Taking taylor expansion of 3.0 in y 0.077 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.077 * [taylor]: Taking taylor expansion of y in y 0.077 * [taylor]: Taking taylor expansion of 0 in y 0.078 * [taylor]: Taking taylor expansion of 0 in y 0.078 * [approximate]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in (x y) around 0 0.078 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in y 0.078 * [taylor]: Taking taylor expansion of 3.0 in y 0.078 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 0.078 * [taylor]: Taking taylor expansion of x in y 0.078 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.078 * [taylor]: Taking taylor expansion of y in y 0.078 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in x 0.078 * [taylor]: Taking taylor expansion of 3.0 in x 0.078 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 0.078 * [taylor]: Taking taylor expansion of x in x 0.078 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.078 * [taylor]: Taking taylor expansion of y in x 0.078 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in x 0.078 * [taylor]: Taking taylor expansion of 3.0 in x 0.078 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 0.078 * [taylor]: Taking taylor expansion of x in x 0.078 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.078 * [taylor]: Taking taylor expansion of y in x 0.079 * [taylor]: Taking taylor expansion of (/ 3.0 (pow y 2)) in y 0.079 * [taylor]: Taking taylor expansion of 3.0 in y 0.079 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.079 * [taylor]: Taking taylor expansion of y in y 0.079 * [taylor]: Taking taylor expansion of 0 in y 0.080 * [taylor]: Taking taylor expansion of 0 in y 0.080 * [taylor]: Taking taylor expansion of 0 in y 0.081 * [taylor]: Taking taylor expansion of 0 in y 0.081 * [approximate]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in (x y) around 0 0.081 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in y 0.081 * [taylor]: Taking taylor expansion of -3.0 in y 0.081 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 0.081 * [taylor]: Taking taylor expansion of x in y 0.081 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.081 * [taylor]: Taking taylor expansion of y in y 0.081 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in x 0.081 * [taylor]: Taking taylor expansion of -3.0 in x 0.081 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 0.081 * [taylor]: Taking taylor expansion of x in x 0.081 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.081 * [taylor]: Taking taylor expansion of y in x 0.082 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in x 0.082 * [taylor]: Taking taylor expansion of -3.0 in x 0.082 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 0.082 * [taylor]: Taking taylor expansion of x in x 0.082 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.082 * [taylor]: Taking taylor expansion of y in x 0.082 * [taylor]: Taking taylor expansion of (/ -3.0 (pow y 2)) in y 0.082 * [taylor]: Taking taylor expansion of -3.0 in y 0.082 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.082 * [taylor]: Taking taylor expansion of y in y 0.082 * [taylor]: Taking taylor expansion of 0 in y 0.083 * [taylor]: Taking taylor expansion of 0 in y 0.083 * [taylor]: Taking taylor expansion of 0 in y 0.084 * [taylor]: Taking taylor expansion of 0 in y 0.084 * * * [progress]: simplifying candidates 0.085 * [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) (* (* (* x 3.0) y) y) (* (* (* x 3.0) y) y) (* (* (* x 3.0) y) y) (+ (+ (+ (log x) (log 3.0)) (log y)) (log y)) (+ (+ (log (* x 3.0)) (log y)) (log y)) (+ (log (* (* x 3.0) y)) (log y)) (log (* (* (* x 3.0) y) y)) (exp (* (* (* x 3.0) y) y)) (* (* (* (* (* x x) x) (* (* 3.0 3.0) 3.0)) (* (* y y) y)) (* (* y y) y)) (* (* (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* (* y y) y)) (* (* y y) y)) (* (* (* (* (* x 3.0) y) (* (* x 3.0) y)) (* (* x 3.0) y)) (* (* y y) y)) (* (cbrt (* (* (* x 3.0) y) y)) (cbrt (* (* (* x 3.0) y) y))) (cbrt (* (* (* x 3.0) y) y)) (* (* (* (* (* x 3.0) y) y) (* (* (* x 3.0) y) y)) (* (* (* x 3.0) y) y)) (sqrt (* (* (* x 3.0) y) y)) (sqrt (* (* (* x 3.0) y) y)) (* (* (* x 3.0) y) (* (cbrt y) (cbrt y))) (* (* (* x 3.0) y) (sqrt y)) (* (* (* x 3.0) y) 1) (* y y) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x (pow y 2))) (* 3.0 (* x (pow y 2))) (* 3.0 (* x (pow y 2))) 0.086 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.086 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 0.087 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 0.089 * * [simplify]: iteration done : 15 enodes (cost 5 ) 0.090 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.091 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 0.092 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 0.094 * * [simplify]: iteration done : 15 enodes (cost 5 ) 0.094 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 0.095 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 0.097 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 0.099 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 0.101 * * [simplify]: iteration done : 20 enodes (cost 8 ) 0.102 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 0.103 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 0.104 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 0.106 * * [simplify]: iteration 3 : 21 enodes (cost 7 ) 0.109 * * [simplify]: iteration done : 21 enodes (cost 7 ) 0.109 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.110 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 0.112 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 0.115 * * [simplify]: iteration 3 : 38 enodes (cost 6 ) 0.120 * * [simplify]: iteration 4 : 40 enodes (cost 6 ) 0.124 * * [simplify]: iteration done : 40 enodes (cost 6 ) 0.125 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.126 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 0.133 * * [simplify]: iteration 2 : 29 enodes (cost 6 ) 0.137 * * [simplify]: iteration 3 : 51 enodes (cost 6 ) 0.145 * * [simplify]: iteration 4 : 107 enodes (cost 6 ) 0.164 * * [simplify]: iteration 5 : 248 enodes (cost 6 ) 0.284 * * [simplify]: iteration 6 : 586 enodes (cost 6 ) 0.748 * * [simplify]: iteration 7 : 1550 enodes (cost 6 ) 2.134 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 2.134 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 2.136 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 2.141 * * [simplify]: iteration 2 : 89 enodes (cost 11 ) 2.181 * * [simplify]: iteration 3 : 327 enodes (cost 11 ) 2.483 * * [simplify]: iteration 4 : 1072 enodes (cost 9 ) 4.452 * * [simplify]: iteration 5 : 2986 enodes (cost 9 ) 6.122 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 6.123 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 6.130 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 6.135 * * [simplify]: iteration 2 : 93 enodes (cost 9 ) 6.184 * * [simplify]: iteration 3 : 379 enodes (cost 9 ) 6.596 * * [simplify]: iteration 4 : 1161 enodes (cost 7 ) 8.516 * * [simplify]: iteration 5 : 2175 enodes (cost 7 ) 14.058 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 14.058 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 14.059 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 14.061 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 14.063 * * [simplify]: iteration done : 17 enodes (cost 13 ) 14.063 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 14.064 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 14.065 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 14.068 * * [simplify]: iteration done : 16 enodes (cost 6 ) 14.068 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 14.070 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 14.075 * * [simplify]: iteration 2 : 91 enodes (cost 7 ) 14.143 * * [simplify]: iteration 3 : 423 enodes (cost 7 ) 15.116 * * [simplify]: iteration 4 : 1138 enodes (cost 7 ) 17.884 * * [simplify]: iteration 5 : 1610 enodes (cost 7 ) 23.807 * * [simplify]: iteration 6 : 3198 enodes (cost 7 ) 26.944 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 26.945 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 26.946 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 26.949 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 26.953 * * [simplify]: iteration done : 16 enodes (cost 6 ) 26.954 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 26.956 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 26.959 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 26.963 * * [simplify]: iteration done : 16 enodes (cost 6 ) 26.964 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 26.966 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 26.970 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 26.978 * * [simplify]: iteration 3 : 36 enodes (cost 9 ) 26.991 * * [simplify]: iteration done : 36 enodes (cost 9 ) 26.992 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 26.993 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 26.996 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 27.001 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 27.005 * * [simplify]: iteration done : 18 enodes (cost 6 ) 27.006 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 27.018 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 27.021 * * [simplify]: iteration 2 : 23 enodes (cost 3 ) 27.026 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 27.028 * * [simplify]: iteration done : 27 enodes (cost 3 ) 27.029 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 27.029 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 27.030 * * [simplify]: iteration done : 4 enodes (cost 3 ) 27.031 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 27.033 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 27.037 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 27.047 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 27.060 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 27.073 * * [simplify]: iteration done : 40 enodes (cost 7 ) 27.074 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 27.076 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 27.080 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 27.090 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 27.103 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 27.116 * * [simplify]: iteration done : 40 enodes (cost 7 ) 27.117 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 27.119 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 27.123 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 27.142 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 27.155 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 27.168 * * [simplify]: iteration done : 40 enodes (cost 7 ) 27.169 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 27.171 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 27.176 * * [simplify]: iteration 2 : 32 enodes (cost 10 ) 27.185 * * [simplify]: iteration 3 : 47 enodes (cost 10 ) 27.199 * * [simplify]: iteration 4 : 48 enodes (cost 10 ) 27.211 * * [simplify]: iteration done : 48 enodes (cost 10 ) 27.212 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 27.214 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 27.218 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 27.226 * * [simplify]: iteration 3 : 42 enodes (cost 9 ) 27.238 * * [simplify]: iteration 4 : 46 enodes (cost 9 ) 27.252 * * [simplify]: iteration done : 46 enodes (cost 9 ) 27.259 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 27.261 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 27.265 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 27.274 * * [simplify]: iteration 3 : 52 enodes (cost 9 ) 27.290 * * [simplify]: iteration 4 : 71 enodes (cost 9 ) 27.308 * * [simplify]: iteration done : 71 enodes (cost 9 ) 27.309 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 27.312 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 27.317 * * [simplify]: iteration 2 : 40 enodes (cost 8 ) 27.332 * * [simplify]: iteration 3 : 74 enodes (cost 8 ) 27.358 * * [simplify]: iteration 4 : 100 enodes (cost 8 ) 27.393 * * [simplify]: iteration 5 : 101 enodes (cost 8 ) 27.420 * * [simplify]: iteration done : 101 enodes (cost 8 ) 27.421 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 27.423 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 27.428 * * [simplify]: iteration 2 : 42 enodes (cost 8 ) 27.443 * * [simplify]: iteration 3 : 86 enodes (cost 8 ) 27.473 * * [simplify]: iteration 4 : 177 enodes (cost 8 ) 27.542 * * [simplify]: iteration 5 : 413 enodes (cost 8 ) 28.002 * * [simplify]: iteration 6 : 1002 enodes (cost 8 ) 29.857 * * [simplify]: iteration 7 : 2637 enodes (cost 8 ) 31.560 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 31.561 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 31.565 * * [simplify]: iteration 1 : 30 enodes (cost 23 ) 31.580 * * [simplify]: iteration 2 : 131 enodes (cost 15 ) 31.730 * * [simplify]: iteration 3 : 608 enodes (cost 11 ) 33.761 * * [simplify]: iteration 4 : 2477 enodes (cost 9 ) 38.962 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 38.963 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 38.966 * * [simplify]: iteration 1 : 32 enodes (cost 23 ) 38.982 * * [simplify]: iteration 2 : 133 enodes (cost 13 ) 39.170 * * [simplify]: iteration 3 : 694 enodes (cost 9 ) 41.891 * * [simplify]: iteration 4 : 2851 enodes (cost 9 ) 48.024 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 48.026 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 48.029 * * [simplify]: iteration 1 : 29 enodes (cost 23 ) 48.044 * * [simplify]: iteration 2 : 137 enodes (cost 11 ) 48.169 * * [simplify]: iteration 3 : 801 enodes (cost 11 ) 50.779 * * [simplify]: iteration 4 : 3268 enodes (cost 9 ) 54.701 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 54.702 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 54.703 * * [simplify]: iteration 1 : 15 enodes (cost 17 ) 54.705 * * [simplify]: iteration 2 : 29 enodes (cost 17 ) 54.710 * * [simplify]: iteration 3 : 41 enodes (cost 17 ) 54.717 * * [simplify]: iteration done : 41 enodes (cost 17 ) 54.717 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 54.718 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 54.721 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 54.726 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 54.732 * * [simplify]: iteration 4 : 41 enodes (cost 8 ) 54.744 * * [simplify]: iteration done : 41 enodes (cost 8 ) 54.745 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 54.746 * * [simplify]: iteration 1 : 24 enodes (cost 23 ) 54.752 * * [simplify]: iteration 2 : 103 enodes (cost 9 ) 54.826 * * [simplify]: iteration 3 : 550 enodes (cost 9 ) 56.075 * * [simplify]: iteration 4 : 2426 enodes (cost 9 ) 62.301 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 62.302 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 62.303 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 62.312 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 62.317 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 62.324 * * [simplify]: iteration 4 : 41 enodes (cost 8 ) 62.330 * * [simplify]: iteration done : 41 enodes (cost 8 ) 62.331 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 62.332 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 62.334 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 62.339 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 62.345 * * [simplify]: iteration 4 : 41 enodes (cost 8 ) 62.351 * * [simplify]: iteration done : 41 enodes (cost 8 ) 62.352 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 62.353 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 62.356 * * [simplify]: iteration 2 : 46 enodes (cost 11 ) 62.372 * * [simplify]: iteration 3 : 110 enodes (cost 11 ) 62.404 * * [simplify]: iteration 4 : 153 enodes (cost 11 ) 62.451 * * [simplify]: iteration done : 153 enodes (cost 11 ) 62.451 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 62.452 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 62.454 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 62.461 * * [simplify]: iteration 3 : 57 enodes (cost 8 ) 62.472 * * [simplify]: iteration 4 : 58 enodes (cost 8 ) 62.488 * * [simplify]: iteration done : 58 enodes (cost 8 ) 62.489 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 62.490 * * [simplify]: iteration 1 : 16 enodes (cost 5 ) 62.493 * * [simplify]: iteration 2 : 42 enodes (cost 5 ) 62.501 * * [simplify]: iteration 3 : 67 enodes (cost 5 ) 62.511 * * [simplify]: iteration 4 : 79 enodes (cost 5 ) 62.516 * * [simplify]: iteration done : 79 enodes (cost 5 ) 62.516 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 62.517 * * [simplify]: iteration done : 2 enodes (cost 3 ) 62.517 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 62.518 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 62.519 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 62.521 * * [simplify]: iteration done : 15 enodes (cost 5 ) 62.522 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 62.523 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 62.524 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 62.526 * * [simplify]: iteration done : 15 enodes (cost 5 ) 62.527 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 62.527 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 62.529 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 62.531 * * [simplify]: iteration done : 15 enodes (cost 5 ) 62.531 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 62.532 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 62.541 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 62.545 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 62.553 * * [simplify]: iteration 4 : 68 enodes (cost 7 ) 62.560 * * [simplify]: iteration 5 : 78 enodes (cost 7 ) 62.570 * * [simplify]: iteration 6 : 100 enodes (cost 7 ) 62.586 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 62.643 * * [simplify]: iteration 8 : 376 enodes (cost 7 ) 63.132 * * [simplify]: iteration 9 : 1321 enodes (cost 7 ) 65.560 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 65.561 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 65.562 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 65.565 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 65.569 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 65.577 * * [simplify]: iteration 4 : 68 enodes (cost 7 ) 65.585 * * [simplify]: iteration 5 : 78 enodes (cost 7 ) 65.595 * * [simplify]: iteration 6 : 100 enodes (cost 7 ) 65.617 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 65.672 * * [simplify]: iteration 8 : 376 enodes (cost 7 ) 66.149 * * [simplify]: iteration 9 : 1321 enodes (cost 7 ) 69.409 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 69.410 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 69.411 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 69.414 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 69.419 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 69.427 * * [simplify]: iteration 4 : 68 enodes (cost 7 ) 69.435 * * [simplify]: iteration 5 : 78 enodes (cost 7 ) 69.450 * * [simplify]: iteration 6 : 100 enodes (cost 7 ) 69.465 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 69.521 * * [simplify]: iteration 8 : 376 enodes (cost 7 ) 70.018 * * [simplify]: iteration 9 : 1321 enodes (cost 7 ) 72.452 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 72.453 * [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) (* (* (* x 3.0) y) y) (* (* (* x 3.0) y) y) (* (* (* x 3.0) y) y) (+ (+ (log x) (log 3.0)) (* 2 (log y))) (+ (* 2 (log y)) (log (* x 3.0))) (+ (log (* (* x 3.0) y)) (log y)) (log (* (* (* x 3.0) y) y)) (exp (* (* (* x 3.0) y) y)) (* (pow y 6) (pow (* x 3.0) 3)) (* (pow (* x 3.0) 3) (pow y 6)) (pow (* (* x 3.0) (* y y)) 3) (* (cbrt (* (* (* x 3.0) y) y)) (cbrt (* (* (* x 3.0) y) y))) (cbrt (* (* (* x 3.0) y) y)) (pow (* (* (* x 3.0) y) y) 3) (sqrt (* (* (* x 3.0) y) y)) (sqrt (* (* (* x 3.0) y) y)) (* (* (* x 3.0) y) (* (cbrt y) (cbrt y))) (* (* (* x 3.0) y) (sqrt y)) (* (* x 3.0) y) (* y y) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x (pow y 2))) (* 3.0 (* x (pow y 2))) (* 3.0 (* x (pow y 2))) 72.453 * * * [progress]: adding candidates to table 72.517 * * [progress]: iteration 2 / 4 72.517 * * * [progress]: picking best candidate 72.533 * * * * [pick]: Picked # 72.533 * * * [progress]: localizing error 72.539 * * * [progress]: generating rewritten candidates 72.539 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 72.549 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 72.558 * * * [progress]: generating series expansions 72.558 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 72.558 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (x y) around 0 72.558 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y 72.558 * [taylor]: Taking taylor expansion of 3.0 in y 72.558 * [taylor]: Taking taylor expansion of (* x y) in y 72.558 * [taylor]: Taking taylor expansion of x in y 72.558 * [taylor]: Taking taylor expansion of y in y 72.558 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 72.558 * [taylor]: Taking taylor expansion of 3.0 in x 72.558 * [taylor]: Taking taylor expansion of (* x y) in x 72.558 * [taylor]: Taking taylor expansion of x in x 72.558 * [taylor]: Taking taylor expansion of y in x 72.558 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 72.558 * [taylor]: Taking taylor expansion of 3.0 in x 72.558 * [taylor]: Taking taylor expansion of (* x y) in x 72.558 * [taylor]: Taking taylor expansion of x in x 72.558 * [taylor]: Taking taylor expansion of y in x 72.558 * [taylor]: Taking taylor expansion of 0 in y 72.558 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 72.558 * [taylor]: Taking taylor expansion of 3.0 in y 72.558 * [taylor]: Taking taylor expansion of y in y 72.558 * [taylor]: Taking taylor expansion of 0 in y 72.559 * [taylor]: Taking taylor expansion of 0 in y 72.559 * [taylor]: Taking taylor expansion of 0 in y 72.559 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 72.559 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 72.559 * [taylor]: Taking taylor expansion of 3.0 in y 72.559 * [taylor]: Taking taylor expansion of (* x y) in y 72.559 * [taylor]: Taking taylor expansion of x in y 72.559 * [taylor]: Taking taylor expansion of y in y 72.559 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 72.559 * [taylor]: Taking taylor expansion of 3.0 in x 72.559 * [taylor]: Taking taylor expansion of (* x y) in x 72.559 * [taylor]: Taking taylor expansion of x in x 72.559 * [taylor]: Taking taylor expansion of y in x 72.559 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 72.559 * [taylor]: Taking taylor expansion of 3.0 in x 72.559 * [taylor]: Taking taylor expansion of (* x y) in x 72.559 * [taylor]: Taking taylor expansion of x in x 72.559 * [taylor]: Taking taylor expansion of y in x 72.559 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 72.559 * [taylor]: Taking taylor expansion of 3.0 in y 72.559 * [taylor]: Taking taylor expansion of y in y 72.560 * [taylor]: Taking taylor expansion of 0 in y 72.560 * [taylor]: Taking taylor expansion of 0 in y 72.560 * [taylor]: Taking taylor expansion of 0 in y 72.560 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 72.560 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 72.560 * [taylor]: Taking taylor expansion of 3.0 in y 72.560 * [taylor]: Taking taylor expansion of (* x y) in y 72.560 * [taylor]: Taking taylor expansion of x in y 72.560 * [taylor]: Taking taylor expansion of y in y 72.560 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 72.560 * [taylor]: Taking taylor expansion of 3.0 in x 72.560 * [taylor]: Taking taylor expansion of (* x y) in x 72.560 * [taylor]: Taking taylor expansion of x in x 72.560 * [taylor]: Taking taylor expansion of y in x 72.561 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 72.561 * [taylor]: Taking taylor expansion of 3.0 in x 72.561 * [taylor]: Taking taylor expansion of (* x y) in x 72.561 * [taylor]: Taking taylor expansion of x in x 72.561 * [taylor]: Taking taylor expansion of y in x 72.561 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 72.561 * [taylor]: Taking taylor expansion of 3.0 in y 72.561 * [taylor]: Taking taylor expansion of y in y 72.561 * [taylor]: Taking taylor expansion of 0 in y 72.561 * [taylor]: Taking taylor expansion of 0 in y 72.561 * [taylor]: Taking taylor expansion of 0 in y 72.562 * * * * [progress]: [ 2 / 2 ] generating series at (2) 72.562 * [approximate]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in (x y) around 0 72.562 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in y 72.562 * [taylor]: Taking taylor expansion of 3.0 in y 72.562 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 72.562 * [taylor]: Taking taylor expansion of x in y 72.562 * [taylor]: Taking taylor expansion of (pow y 2) in y 72.562 * [taylor]: Taking taylor expansion of y in y 72.562 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in x 72.562 * [taylor]: Taking taylor expansion of 3.0 in x 72.562 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 72.562 * [taylor]: Taking taylor expansion of x in x 72.562 * [taylor]: Taking taylor expansion of (pow y 2) in x 72.562 * [taylor]: Taking taylor expansion of y in x 72.562 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in x 72.562 * [taylor]: Taking taylor expansion of 3.0 in x 72.562 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 72.562 * [taylor]: Taking taylor expansion of x in x 72.562 * [taylor]: Taking taylor expansion of (pow y 2) in x 72.562 * [taylor]: Taking taylor expansion of y in x 72.562 * [taylor]: Taking taylor expansion of 0 in y 72.562 * [taylor]: Taking taylor expansion of (* 3.0 (pow y 2)) in y 72.562 * [taylor]: Taking taylor expansion of 3.0 in y 72.562 * [taylor]: Taking taylor expansion of (pow y 2) in y 72.562 * [taylor]: Taking taylor expansion of y in y 72.563 * [taylor]: Taking taylor expansion of 0 in y 72.563 * [taylor]: Taking taylor expansion of 0 in y 72.563 * [approximate]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in (x y) around 0 72.563 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in y 72.563 * [taylor]: Taking taylor expansion of 3.0 in y 72.563 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 72.563 * [taylor]: Taking taylor expansion of x in y 72.563 * [taylor]: Taking taylor expansion of (pow y 2) in y 72.563 * [taylor]: Taking taylor expansion of y in y 72.563 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in x 72.563 * [taylor]: Taking taylor expansion of 3.0 in x 72.563 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 72.563 * [taylor]: Taking taylor expansion of x in x 72.563 * [taylor]: Taking taylor expansion of (pow y 2) in x 72.563 * [taylor]: Taking taylor expansion of y in x 72.564 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in x 72.564 * [taylor]: Taking taylor expansion of 3.0 in x 72.564 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 72.564 * [taylor]: Taking taylor expansion of x in x 72.564 * [taylor]: Taking taylor expansion of (pow y 2) in x 72.564 * [taylor]: Taking taylor expansion of y in x 72.564 * [taylor]: Taking taylor expansion of (/ 3.0 (pow y 2)) in y 72.564 * [taylor]: Taking taylor expansion of 3.0 in y 72.564 * [taylor]: Taking taylor expansion of (pow y 2) in y 72.564 * [taylor]: Taking taylor expansion of y in y 72.564 * [taylor]: Taking taylor expansion of 0 in y 72.565 * [taylor]: Taking taylor expansion of 0 in y 72.566 * [taylor]: Taking taylor expansion of 0 in y 72.566 * [taylor]: Taking taylor expansion of 0 in y 72.566 * [approximate]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in (x y) around 0 72.566 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in y 72.566 * [taylor]: Taking taylor expansion of -3.0 in y 72.567 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 72.567 * [taylor]: Taking taylor expansion of x in y 72.567 * [taylor]: Taking taylor expansion of (pow y 2) in y 72.567 * [taylor]: Taking taylor expansion of y in y 72.567 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in x 72.567 * [taylor]: Taking taylor expansion of -3.0 in x 72.567 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 72.567 * [taylor]: Taking taylor expansion of x in x 72.567 * [taylor]: Taking taylor expansion of (pow y 2) in x 72.567 * [taylor]: Taking taylor expansion of y in x 72.567 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in x 72.567 * [taylor]: Taking taylor expansion of -3.0 in x 72.567 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 72.567 * [taylor]: Taking taylor expansion of x in x 72.567 * [taylor]: Taking taylor expansion of (pow y 2) in x 72.567 * [taylor]: Taking taylor expansion of y in x 72.567 * [taylor]: Taking taylor expansion of (/ -3.0 (pow y 2)) in y 72.567 * [taylor]: Taking taylor expansion of -3.0 in y 72.567 * [taylor]: Taking taylor expansion of (pow y 2) in y 72.567 * [taylor]: Taking taylor expansion of y in y 72.568 * [taylor]: Taking taylor expansion of 0 in y 72.568 * [taylor]: Taking taylor expansion of 0 in y 72.569 * [taylor]: Taking taylor expansion of 0 in y 72.570 * [taylor]: Taking taylor expansion of 0 in y 72.570 * * * [progress]: simplifying candidates 72.570 * [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)) (* (* 3.0 (* x y)) y) (* (* 3.0 (* x y)) y) (* (* 3.0 (* x y)) y) (+ (+ (log 3.0) (+ (log x) (log y))) (log y)) (+ (+ (log 3.0) (log (* x y))) (log y)) (+ (log (* 3.0 (* x y))) (log y)) (log (* (* 3.0 (* x y)) y)) (exp (* (* 3.0 (* x y)) y)) (* (* (* (* 3.0 3.0) 3.0) (* (* (* x x) x) (* (* y y) y))) (* (* y y) y)) (* (* (* (* 3.0 3.0) 3.0) (* (* (* x y) (* x y)) (* x y))) (* (* y y) y)) (* (* (* (* 3.0 (* x y)) (* 3.0 (* x y))) (* 3.0 (* x y))) (* (* y y) y)) (* (cbrt (* (* 3.0 (* x y)) y)) (cbrt (* (* 3.0 (* x y)) y))) (cbrt (* (* 3.0 (* x y)) y)) (* (* (* (* 3.0 (* x y)) y) (* (* 3.0 (* x y)) y)) (* (* 3.0 (* x y)) y)) (sqrt (* (* 3.0 (* x y)) y)) (sqrt (* (* 3.0 (* x y)) y)) (* (* 3.0 (* x y)) (* (cbrt y) (cbrt y))) (* (* 3.0 (* x y)) (sqrt y)) (* (* 3.0 (* x y)) 1) (* (* x y) y) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x (pow y 2))) (* 3.0 (* x (pow y 2))) (* 3.0 (* x (pow y 2))) 72.571 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 72.572 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 72.573 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 72.575 * * [simplify]: iteration done : 15 enodes (cost 5 ) 72.576 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 72.576 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 72.577 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 72.580 * * [simplify]: iteration done : 15 enodes (cost 5 ) 72.580 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 72.581 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 72.583 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 72.585 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 72.587 * * [simplify]: iteration done : 20 enodes (cost 8 ) 72.587 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 72.588 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 72.589 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 72.591 * * [simplify]: iteration 3 : 21 enodes (cost 7 ) 72.594 * * [simplify]: iteration done : 21 enodes (cost 7 ) 72.594 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 72.595 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 72.597 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 72.600 * * [simplify]: iteration 3 : 38 enodes (cost 6 ) 72.605 * * [simplify]: iteration 4 : 40 enodes (cost 6 ) 72.609 * * [simplify]: iteration done : 40 enodes (cost 6 ) 72.609 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 72.610 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 72.612 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 72.615 * * [simplify]: iteration 3 : 51 enodes (cost 6 ) 72.629 * * [simplify]: iteration 4 : 108 enodes (cost 6 ) 72.647 * * [simplify]: iteration 5 : 245 enodes (cost 6 ) 72.768 * * [simplify]: iteration 6 : 602 enodes (cost 6 ) 73.436 * * [simplify]: iteration 7 : 1789 enodes (cost 6 ) 75.731 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 75.732 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 75.733 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 75.739 * * [simplify]: iteration 2 : 90 enodes (cost 11 ) 75.774 * * [simplify]: iteration 3 : 328 enodes (cost 11 ) 76.038 * * [simplify]: iteration 4 : 1011 enodes (cost 9 ) 78.034 * * [simplify]: iteration 5 : 3067 enodes (cost 9 ) 80.029 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 80.030 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 80.032 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 80.038 * * [simplify]: iteration 2 : 94 enodes (cost 9 ) 80.081 * * [simplify]: iteration 3 : 375 enodes (cost 9 ) 80.474 * * [simplify]: iteration 4 : 1093 enodes (cost 7 ) 82.270 * * [simplify]: iteration 5 : 2048 enodes (cost 7 ) 87.589 * * [simplify]: iteration 6 : 4895 enodes (cost 7 ) 88.927 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 88.927 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 88.928 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 88.930 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 88.932 * * [simplify]: iteration done : 17 enodes (cost 13 ) 88.933 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 88.933 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 88.941 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 88.943 * * [simplify]: iteration done : 16 enodes (cost 6 ) 88.944 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 88.945 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 88.951 * * [simplify]: iteration 2 : 92 enodes (cost 7 ) 88.999 * * [simplify]: iteration 3 : 407 enodes (cost 7 ) 89.552 * * [simplify]: iteration 4 : 1210 enodes (cost 7 ) 91.303 * * [simplify]: iteration 5 : 1693 enodes (cost 7 ) 94.167 * * [simplify]: iteration 6 : 3142 enodes (cost 7 ) 96.138 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 96.139 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 96.140 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 96.141 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 96.143 * * [simplify]: iteration done : 16 enodes (cost 6 ) 96.144 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 96.144 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 96.146 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 96.148 * * [simplify]: iteration done : 16 enodes (cost 6 ) 96.148 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 96.149 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 96.149 * * [simplify]: iteration done : 4 enodes (cost 3 ) 96.150 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 96.150 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 96.151 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 96.153 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 96.155 * * [simplify]: iteration done : 18 enodes (cost 6 ) 96.156 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 96.157 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 96.158 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 96.160 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 96.163 * * [simplify]: iteration done : 18 enodes (cost 6 ) 96.163 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 96.164 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 96.171 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 96.173 * * [simplify]: iteration done : 15 enodes (cost 5 ) 96.174 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 96.174 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 96.176 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 96.181 * * [simplify]: iteration 3 : 38 enodes (cost 7 ) 96.188 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 96.194 * * [simplify]: iteration done : 40 enodes (cost 7 ) 96.195 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 96.196 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 96.198 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 96.203 * * [simplify]: iteration 3 : 38 enodes (cost 7 ) 96.209 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 96.215 * * [simplify]: iteration done : 40 enodes (cost 7 ) 96.216 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 96.217 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 96.219 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 96.224 * * [simplify]: iteration 3 : 38 enodes (cost 7 ) 96.233 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 96.240 * * [simplify]: iteration done : 40 enodes (cost 7 ) 96.241 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 96.242 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 96.244 * * [simplify]: iteration 2 : 29 enodes (cost 11 ) 96.249 * * [simplify]: iteration 3 : 43 enodes (cost 10 ) 96.255 * * [simplify]: iteration 4 : 46 enodes (cost 10 ) 96.261 * * [simplify]: iteration done : 46 enodes (cost 10 ) 96.262 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 96.263 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 96.265 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 96.269 * * [simplify]: iteration 3 : 44 enodes (cost 10 ) 96.275 * * [simplify]: iteration 4 : 49 enodes (cost 10 ) 96.281 * * [simplify]: iteration done : 49 enodes (cost 10 ) 96.282 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 96.283 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 96.288 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 96.292 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 96.300 * * [simplify]: iteration 4 : 66 enodes (cost 9 ) 96.309 * * [simplify]: iteration 5 : 67 enodes (cost 9 ) 96.317 * * [simplify]: iteration done : 67 enodes (cost 9 ) 96.318 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 96.318 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 96.321 * * [simplify]: iteration 2 : 39 enodes (cost 8 ) 96.328 * * [simplify]: iteration 3 : 80 enodes (cost 8 ) 96.346 * * [simplify]: iteration 4 : 109 enodes (cost 8 ) 96.362 * * [simplify]: iteration 5 : 112 enodes (cost 8 ) 96.375 * * [simplify]: iteration done : 112 enodes (cost 8 ) 96.376 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 96.377 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 96.379 * * [simplify]: iteration 2 : 42 enodes (cost 8 ) 96.387 * * [simplify]: iteration 3 : 89 enodes (cost 8 ) 96.406 * * [simplify]: iteration 4 : 187 enodes (cost 8 ) 96.441 * * [simplify]: iteration 5 : 432 enodes (cost 8 ) 96.679 * * [simplify]: iteration 6 : 1045 enodes (cost 8 ) 97.704 * * [simplify]: iteration 7 : 2734 enodes (cost 8 ) 98.738 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 98.738 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 98.740 * * [simplify]: iteration 1 : 30 enodes (cost 23 ) 98.748 * * [simplify]: iteration 2 : 133 enodes (cost 15 ) 98.824 * * [simplify]: iteration 3 : 651 enodes (cost 11 ) 100.210 * * [simplify]: iteration 4 : 2872 enodes (cost 11 ) 102.611 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 102.612 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 102.614 * * [simplify]: iteration 1 : 34 enodes (cost 23 ) 102.622 * * [simplify]: iteration 2 : 144 enodes (cost 13 ) 102.714 * * [simplify]: iteration 3 : 769 enodes (cost 13 ) 104.437 * * [simplify]: iteration 4 : 2985 enodes (cost 11 ) 106.932 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 106.933 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 106.935 * * [simplify]: iteration 1 : 30 enodes (cost 23 ) 106.943 * * [simplify]: iteration 2 : 140 enodes (cost 11 ) 107.047 * * [simplify]: iteration 3 : 828 enodes (cost 11 ) 109.433 * * [simplify]: iteration 4 : 3543 enodes (cost 9 ) 112.520 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 112.521 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 112.522 * * [simplify]: iteration 1 : 15 enodes (cost 17 ) 112.525 * * [simplify]: iteration 2 : 28 enodes (cost 17 ) 112.529 * * [simplify]: iteration 3 : 40 enodes (cost 17 ) 112.537 * * [simplify]: iteration 4 : 42 enodes (cost 17 ) 112.544 * * [simplify]: iteration done : 42 enodes (cost 17 ) 112.544 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 112.545 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 112.547 * * [simplify]: iteration 2 : 27 enodes (cost 8 ) 112.552 * * [simplify]: iteration 3 : 41 enodes (cost 8 ) 112.559 * * [simplify]: iteration 4 : 43 enodes (cost 8 ) 112.565 * * [simplify]: iteration done : 43 enodes (cost 8 ) 112.566 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 112.567 * * [simplify]: iteration 1 : 25 enodes (cost 23 ) 112.576 * * [simplify]: iteration 2 : 112 enodes (cost 9 ) 112.660 * * [simplify]: iteration 3 : 641 enodes (cost 9 ) 114.205 * * [simplify]: iteration 4 : 2503 enodes (cost 9 ) 124.604 * * [simplify]: iteration 5 : 4959 enodes (cost 9 ) 125.844 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 125.845 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 125.846 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 125.848 * * [simplify]: iteration 2 : 27 enodes (cost 8 ) 125.853 * * [simplify]: iteration 3 : 41 enodes (cost 8 ) 125.861 * * [simplify]: iteration 4 : 43 enodes (cost 8 ) 125.867 * * [simplify]: iteration done : 43 enodes (cost 8 ) 125.867 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 125.868 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 125.870 * * [simplify]: iteration 2 : 27 enodes (cost 8 ) 125.875 * * [simplify]: iteration 3 : 41 enodes (cost 8 ) 125.888 * * [simplify]: iteration 4 : 43 enodes (cost 8 ) 125.895 * * [simplify]: iteration done : 43 enodes (cost 8 ) 125.895 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 125.896 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 125.899 * * [simplify]: iteration 2 : 45 enodes (cost 11 ) 125.910 * * [simplify]: iteration 3 : 109 enodes (cost 11 ) 125.951 * * [simplify]: iteration 4 : 149 enodes (cost 11 ) 125.998 * * [simplify]: iteration done : 149 enodes (cost 11 ) 125.998 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 125.999 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 126.001 * * [simplify]: iteration 2 : 33 enodes (cost 8 ) 126.008 * * [simplify]: iteration 3 : 59 enodes (cost 8 ) 126.020 * * [simplify]: iteration 4 : 61 enodes (cost 8 ) 126.032 * * [simplify]: iteration done : 61 enodes (cost 8 ) 126.033 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 126.034 * * [simplify]: iteration 1 : 16 enodes (cost 5 ) 126.037 * * [simplify]: iteration 2 : 41 enodes (cost 5 ) 126.056 * * [simplify]: iteration 3 : 88 enodes (cost 5 ) 126.063 * * [simplify]: iteration done : 88 enodes (cost 5 ) 126.063 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 126.064 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 126.065 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 126.066 * * [simplify]: iteration done : 9 enodes (cost 5 ) 126.067 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 126.068 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 126.069 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 126.071 * * [simplify]: iteration done : 15 enodes (cost 5 ) 126.072 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 126.073 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 126.074 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 126.076 * * [simplify]: iteration done : 15 enodes (cost 5 ) 126.076 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 126.077 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 126.078 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 126.080 * * [simplify]: iteration done : 15 enodes (cost 5 ) 126.081 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 126.082 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 126.085 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 126.089 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 126.097 * * [simplify]: iteration 4 : 68 enodes (cost 7 ) 126.111 * * [simplify]: iteration 5 : 78 enodes (cost 7 ) 126.119 * * [simplify]: iteration 6 : 100 enodes (cost 7 ) 126.135 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 126.189 * * [simplify]: iteration 8 : 376 enodes (cost 7 ) 126.676 * * [simplify]: iteration 9 : 1321 enodes (cost 7 ) 129.090 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 129.090 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 129.091 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 129.094 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 129.099 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 129.112 * * [simplify]: iteration 4 : 68 enodes (cost 7 ) 129.120 * * [simplify]: iteration 5 : 78 enodes (cost 7 ) 129.130 * * [simplify]: iteration 6 : 100 enodes (cost 7 ) 129.144 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 129.198 * * [simplify]: iteration 8 : 376 enodes (cost 7 ) 129.678 * * [simplify]: iteration 9 : 1321 enodes (cost 7 ) 132.091 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 132.092 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 132.093 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 132.096 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 132.100 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 132.108 * * [simplify]: iteration 4 : 68 enodes (cost 7 ) 132.115 * * [simplify]: iteration 5 : 78 enodes (cost 7 ) 132.124 * * [simplify]: iteration 6 : 100 enodes (cost 7 ) 132.140 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 132.196 * * [simplify]: iteration 8 : 376 enodes (cost 7 ) 132.680 * * [simplify]: iteration 9 : 1321 enodes (cost 7 ) 135.108 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 135.109 * [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)) (* (* 3.0 (* x y)) y) (* (* 3.0 (* x y)) y) (* (* 3.0 (* x y)) y) (+ (log x) (+ (* 2 (log y)) (log 3.0))) (+ (+ (log 3.0) (log (* x y))) (log y)) (+ (log (* 3.0 (* x y))) (log y)) (log (* (* 3.0 (* x y)) y)) (exp (* (* 3.0 (* x y)) y)) (* (pow x 3) (* (pow y 6) (pow 3.0 3))) (* (pow y 3) (pow (* 3.0 (* x y)) 3)) (pow (* y (* 3.0 (* x y))) 3) (* (cbrt (* (* 3.0 (* x y)) y)) (cbrt (* (* 3.0 (* x y)) y))) (cbrt (* (* 3.0 (* x y)) y)) (pow (* (* 3.0 (* x y)) y) 3) (sqrt (* (* 3.0 (* x y)) y)) (sqrt (* (* 3.0 (* x y)) y)) (* (* 3.0 (* x y)) (* (cbrt y) (cbrt y))) (* (* 3.0 (* x y)) (sqrt y)) (* 3.0 (* x y)) (* (* x y) y) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x (pow y 2))) (* 3.0 (* x (pow y 2))) (* 3.0 (* x (pow y 2))) 135.109 * * * [progress]: adding candidates to table 135.166 * * [progress]: iteration 3 / 4 135.166 * * * [progress]: picking best candidate 135.182 * * * * [pick]: Picked # 135.182 * * * [progress]: localizing error 135.187 * * * [progress]: generating rewritten candidates 135.187 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 135.194 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 135.203 * * * [progress]: generating series expansions 135.203 * * * * [progress]: [ 1 / 2 ] generating series at (2) 135.203 * [approximate]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in (x y) around 0 135.203 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in y 135.203 * [taylor]: Taking taylor expansion of 3.0 in y 135.203 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 135.203 * [taylor]: Taking taylor expansion of x in y 135.203 * [taylor]: Taking taylor expansion of (pow y 2) in y 135.203 * [taylor]: Taking taylor expansion of y in y 135.203 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in x 135.203 * [taylor]: Taking taylor expansion of 3.0 in x 135.203 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 135.203 * [taylor]: Taking taylor expansion of x in x 135.203 * [taylor]: Taking taylor expansion of (pow y 2) in x 135.203 * [taylor]: Taking taylor expansion of y in x 135.203 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in x 135.203 * [taylor]: Taking taylor expansion of 3.0 in x 135.203 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 135.203 * [taylor]: Taking taylor expansion of x in x 135.203 * [taylor]: Taking taylor expansion of (pow y 2) in x 135.203 * [taylor]: Taking taylor expansion of y in x 135.203 * [taylor]: Taking taylor expansion of 0 in y 135.204 * [taylor]: Taking taylor expansion of (* 3.0 (pow y 2)) in y 135.204 * [taylor]: Taking taylor expansion of 3.0 in y 135.204 * [taylor]: Taking taylor expansion of (pow y 2) in y 135.204 * [taylor]: Taking taylor expansion of y in y 135.204 * [taylor]: Taking taylor expansion of 0 in y 135.204 * [taylor]: Taking taylor expansion of 0 in y 135.205 * [approximate]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in (x y) around 0 135.205 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in y 135.205 * [taylor]: Taking taylor expansion of 3.0 in y 135.205 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 135.205 * [taylor]: Taking taylor expansion of x in y 135.205 * [taylor]: Taking taylor expansion of (pow y 2) in y 135.205 * [taylor]: Taking taylor expansion of y in y 135.205 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in x 135.205 * [taylor]: Taking taylor expansion of 3.0 in x 135.205 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 135.205 * [taylor]: Taking taylor expansion of x in x 135.205 * [taylor]: Taking taylor expansion of (pow y 2) in x 135.205 * [taylor]: Taking taylor expansion of y in x 135.205 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in x 135.205 * [taylor]: Taking taylor expansion of 3.0 in x 135.205 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 135.205 * [taylor]: Taking taylor expansion of x in x 135.205 * [taylor]: Taking taylor expansion of (pow y 2) in x 135.205 * [taylor]: Taking taylor expansion of y in x 135.206 * [taylor]: Taking taylor expansion of (/ 3.0 (pow y 2)) in y 135.206 * [taylor]: Taking taylor expansion of 3.0 in y 135.206 * [taylor]: Taking taylor expansion of (pow y 2) in y 135.206 * [taylor]: Taking taylor expansion of y in y 135.206 * [taylor]: Taking taylor expansion of 0 in y 135.206 * [taylor]: Taking taylor expansion of 0 in y 135.207 * [taylor]: Taking taylor expansion of 0 in y 135.208 * [taylor]: Taking taylor expansion of 0 in y 135.208 * [approximate]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in (x y) around 0 135.208 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in y 135.208 * [taylor]: Taking taylor expansion of -3.0 in y 135.208 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 135.208 * [taylor]: Taking taylor expansion of x in y 135.208 * [taylor]: Taking taylor expansion of (pow y 2) in y 135.208 * [taylor]: Taking taylor expansion of y in y 135.208 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in x 135.208 * [taylor]: Taking taylor expansion of -3.0 in x 135.208 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 135.208 * [taylor]: Taking taylor expansion of x in x 135.208 * [taylor]: Taking taylor expansion of (pow y 2) in x 135.208 * [taylor]: Taking taylor expansion of y in x 135.208 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in x 135.209 * [taylor]: Taking taylor expansion of -3.0 in x 135.209 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 135.209 * [taylor]: Taking taylor expansion of x in x 135.209 * [taylor]: Taking taylor expansion of (pow y 2) in x 135.209 * [taylor]: Taking taylor expansion of y in x 135.209 * [taylor]: Taking taylor expansion of (/ -3.0 (pow y 2)) in y 135.209 * [taylor]: Taking taylor expansion of -3.0 in y 135.209 * [taylor]: Taking taylor expansion of (pow y 2) in y 135.209 * [taylor]: Taking taylor expansion of y in y 135.209 * [taylor]: Taking taylor expansion of 0 in y 135.210 * [taylor]: Taking taylor expansion of 0 in y 135.210 * [taylor]: Taking taylor expansion of 0 in y 135.211 * [taylor]: Taking taylor expansion of 0 in y 135.211 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 135.211 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (x y) around 0 135.211 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 135.211 * [taylor]: Taking taylor expansion of x in y 135.211 * [taylor]: Taking taylor expansion of (pow y 2) in y 135.211 * [taylor]: Taking taylor expansion of y in y 135.211 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 135.211 * [taylor]: Taking taylor expansion of x in x 135.211 * [taylor]: Taking taylor expansion of (pow y 2) in x 135.211 * [taylor]: Taking taylor expansion of y in x 135.211 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 135.211 * [taylor]: Taking taylor expansion of x in x 135.211 * [taylor]: Taking taylor expansion of (pow y 2) in x 135.211 * [taylor]: Taking taylor expansion of y in x 135.212 * [taylor]: Taking taylor expansion of 0 in y 135.212 * [taylor]: Taking taylor expansion of (pow y 2) in y 135.212 * [taylor]: Taking taylor expansion of y in y 135.212 * [taylor]: Taking taylor expansion of 0 in y 135.212 * [taylor]: Taking taylor expansion of 0 in y 135.212 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (x y) around 0 135.212 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 135.212 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 135.212 * [taylor]: Taking taylor expansion of x in y 135.212 * [taylor]: Taking taylor expansion of (pow y 2) in y 135.212 * [taylor]: Taking taylor expansion of y in y 135.212 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 135.213 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 135.213 * [taylor]: Taking taylor expansion of x in x 135.213 * [taylor]: Taking taylor expansion of (pow y 2) in x 135.213 * [taylor]: Taking taylor expansion of y in x 135.213 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 135.213 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 135.213 * [taylor]: Taking taylor expansion of x in x 135.213 * [taylor]: Taking taylor expansion of (pow y 2) in x 135.213 * [taylor]: Taking taylor expansion of y in x 135.213 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 135.213 * [taylor]: Taking taylor expansion of (pow y 2) in y 135.213 * [taylor]: Taking taylor expansion of y in y 135.213 * [taylor]: Taking taylor expansion of 0 in y 135.214 * [taylor]: Taking taylor expansion of 0 in y 135.214 * [taylor]: Taking taylor expansion of 0 in y 135.215 * [taylor]: Taking taylor expansion of 0 in y 135.215 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (x y) around 0 135.215 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 135.215 * [taylor]: Taking taylor expansion of -1 in y 135.215 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 135.215 * [taylor]: Taking taylor expansion of x in y 135.215 * [taylor]: Taking taylor expansion of (pow y 2) in y 135.215 * [taylor]: Taking taylor expansion of y in y 135.215 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 135.215 * [taylor]: Taking taylor expansion of -1 in x 135.215 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 135.215 * [taylor]: Taking taylor expansion of x in x 135.215 * [taylor]: Taking taylor expansion of (pow y 2) in x 135.216 * [taylor]: Taking taylor expansion of y in x 135.216 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 135.216 * [taylor]: Taking taylor expansion of -1 in x 135.216 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 135.216 * [taylor]: Taking taylor expansion of x in x 135.216 * [taylor]: Taking taylor expansion of (pow y 2) in x 135.216 * [taylor]: Taking taylor expansion of y in x 135.216 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y 135.216 * [taylor]: Taking taylor expansion of -1 in y 135.216 * [taylor]: Taking taylor expansion of (pow y 2) in y 135.216 * [taylor]: Taking taylor expansion of y in y 135.217 * [taylor]: Taking taylor expansion of 0 in y 135.217 * [taylor]: Taking taylor expansion of 0 in y 135.218 * [taylor]: Taking taylor expansion of 0 in y 135.218 * [taylor]: Taking taylor expansion of 0 in y 135.218 * * * [progress]: simplifying candidates 135.219 * [simplify]: Simplifying using # : (* 3.0 (* (* x y) y)) (* 3.0 (* (* x y) y)) (* 3.0 (* (* x y) y)) (+ (log 3.0) (+ (+ (log x) (log y)) (log y))) (+ (log 3.0) (+ (log (* x y)) (log y))) (+ (log 3.0) (log (* (* x y) y))) (log (* 3.0 (* (* x y) y))) (exp (* 3.0 (* (* x y) y))) (* (* (* 3.0 3.0) 3.0) (* (* (* (* x x) x) (* (* y y) y)) (* (* y y) y))) (* (* (* 3.0 3.0) 3.0) (* (* (* (* x y) (* x y)) (* x y)) (* (* y y) y))) (* (* (* 3.0 3.0) 3.0) (* (* (* (* x y) y) (* (* x y) y)) (* (* x y) y))) (* (cbrt (* 3.0 (* (* x y) y))) (cbrt (* 3.0 (* (* x y) y)))) (cbrt (* 3.0 (* (* x y) y))) (* (* (* 3.0 (* (* x y) y)) (* 3.0 (* (* x y) y))) (* 3.0 (* (* x y) y))) (sqrt (* 3.0 (* (* x y) y))) (sqrt (* 3.0 (* (* x y) y))) (* 3.0 (* x y)) (* (cbrt 3.0) (* (* x y) y)) (* (sqrt 3.0) (* (* x y) y)) (* 3.0 (* (* x y) y)) (* (* x y) y) (* (* x y) y) (+ (+ (log x) (log y)) (log y)) (+ (log (* x y)) (log y)) (log (* (* x y) y)) (exp (* (* x y) y)) (* (* (* (* x x) x) (* (* y y) y)) (* (* y y) y)) (* (* (* (* x y) (* x y)) (* x y)) (* (* y y) y)) (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y))) (cbrt (* (* x y) y)) (* (* (* (* x y) y) (* (* x y) y)) (* (* x y) y)) (sqrt (* (* x y) y)) (sqrt (* (* x y) y)) (* (* x y) (* (cbrt y) (cbrt y))) (* (* x y) (sqrt y)) (* (* x y) 1) (* y y) (* 3.0 (* x (pow y 2))) (* 3.0 (* x (pow y 2))) (* 3.0 (* x (pow y 2))) (* x (pow y 2)) (* x (pow y 2)) (* x (pow y 2)) 135.220 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 135.220 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 135.222 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 135.227 * * [simplify]: iteration 3 : 38 enodes (cost 7 ) 135.234 * * [simplify]: iteration 4 : 39 enodes (cost 7 ) 135.240 * * [simplify]: iteration done : 39 enodes (cost 7 ) 135.240 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 135.247 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 135.249 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 135.254 * * [simplify]: iteration 3 : 38 enodes (cost 7 ) 135.261 * * [simplify]: iteration 4 : 39 enodes (cost 7 ) 135.267 * * [simplify]: iteration done : 39 enodes (cost 7 ) 135.267 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 135.268 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 135.270 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 135.274 * * [simplify]: iteration 3 : 38 enodes (cost 7 ) 135.281 * * [simplify]: iteration 4 : 39 enodes (cost 7 ) 135.287 * * [simplify]: iteration done : 39 enodes (cost 7 ) 135.288 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 135.289 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 135.291 * * [simplify]: iteration 2 : 31 enodes (cost 10 ) 135.295 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 135.307 * * [simplify]: iteration 4 : 43 enodes (cost 10 ) 135.313 * * [simplify]: iteration done : 43 enodes (cost 10 ) 135.313 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 135.314 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 135.316 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 135.320 * * [simplify]: iteration 3 : 41 enodes (cost 10 ) 135.326 * * [simplify]: iteration 4 : 47 enodes (cost 10 ) 135.332 * * [simplify]: iteration done : 47 enodes (cost 10 ) 135.333 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 135.334 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 135.336 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 135.339 * * [simplify]: iteration 3 : 45 enodes (cost 9 ) 135.345 * * [simplify]: iteration 4 : 54 enodes (cost 9 ) 135.353 * * [simplify]: iteration 5 : 55 enodes (cost 9 ) 135.360 * * [simplify]: iteration done : 55 enodes (cost 9 ) 135.361 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 135.362 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 135.368 * * [simplify]: iteration 2 : 40 enodes (cost 8 ) 135.375 * * [simplify]: iteration 3 : 78 enodes (cost 8 ) 135.389 * * [simplify]: iteration 4 : 104 enodes (cost 8 ) 135.402 * * [simplify]: iteration 5 : 105 enodes (cost 8 ) 135.416 * * [simplify]: iteration done : 105 enodes (cost 8 ) 135.417 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 135.418 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 135.425 * * [simplify]: iteration 2 : 37 enodes (cost 8 ) 135.432 * * [simplify]: iteration 3 : 87 enodes (cost 8 ) 135.446 * * [simplify]: iteration 4 : 186 enodes (cost 8 ) 135.489 * * [simplify]: iteration 5 : 443 enodes (cost 8 ) 135.762 * * [simplify]: iteration 6 : 1107 enodes (cost 8 ) 137.557 * * [simplify]: iteration 7 : 3235 enodes (cost 8 ) 138.838 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 138.839 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 138.842 * * [simplify]: iteration 1 : 30 enodes (cost 23 ) 138.850 * * [simplify]: iteration 2 : 131 enodes (cost 15 ) 138.920 * * [simplify]: iteration 3 : 604 enodes (cost 11 ) 139.931 * * [simplify]: iteration 4 : 2487 enodes (cost 11 ) 142.491 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 142.492 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 142.495 * * [simplify]: iteration 1 : 34 enodes (cost 23 ) 142.502 * * [simplify]: iteration 2 : 142 enodes (cost 13 ) 142.586 * * [simplify]: iteration 3 : 698 enodes (cost 13 ) 143.985 * * [simplify]: iteration 4 : 2819 enodes (cost 11 ) 147.385 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 147.386 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 147.388 * * [simplify]: iteration 1 : 29 enodes (cost 23 ) 147.395 * * [simplify]: iteration 2 : 126 enodes (cost 11 ) 147.469 * * [simplify]: iteration 3 : 588 enodes (cost 11 ) 148.577 * * [simplify]: iteration 4 : 2340 enodes (cost 9 ) 153.616 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 153.617 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 153.618 * * [simplify]: iteration 1 : 15 enodes (cost 17 ) 153.621 * * [simplify]: iteration 2 : 28 enodes (cost 17 ) 153.626 * * [simplify]: iteration 3 : 40 enodes (cost 17 ) 153.632 * * [simplify]: iteration 4 : 41 enodes (cost 17 ) 153.638 * * [simplify]: iteration done : 41 enodes (cost 17 ) 153.639 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 153.640 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 153.642 * * [simplify]: iteration 2 : 27 enodes (cost 8 ) 153.647 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 153.653 * * [simplify]: iteration 4 : 39 enodes (cost 8 ) 153.664 * * [simplify]: iteration done : 39 enodes (cost 8 ) 153.665 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 153.666 * * [simplify]: iteration 1 : 25 enodes (cost 23 ) 153.672 * * [simplify]: iteration 2 : 115 enodes (cost 9 ) 153.750 * * [simplify]: iteration 3 : 623 enodes (cost 9 ) 155.119 * * [simplify]: iteration 4 : 2491 enodes (cost 9 ) 164.037 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 164.038 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 164.039 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 164.041 * * [simplify]: iteration 2 : 27 enodes (cost 8 ) 164.045 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 164.051 * * [simplify]: iteration 4 : 39 enodes (cost 8 ) 164.058 * * [simplify]: iteration done : 39 enodes (cost 8 ) 164.059 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 164.060 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 164.062 * * [simplify]: iteration 2 : 27 enodes (cost 8 ) 164.066 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 164.078 * * [simplify]: iteration 4 : 39 enodes (cost 8 ) 164.084 * * [simplify]: iteration done : 39 enodes (cost 8 ) 164.086 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 164.086 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 164.088 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 164.090 * * [simplify]: iteration done : 15 enodes (cost 5 ) 164.090 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 164.091 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 164.093 * * [simplify]: iteration 2 : 27 enodes (cost 8 ) 164.098 * * [simplify]: iteration 3 : 37 enodes (cost 8 ) 164.104 * * [simplify]: iteration done : 37 enodes (cost 8 ) 164.104 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 164.105 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 164.107 * * [simplify]: iteration 2 : 27 enodes (cost 8 ) 164.112 * * [simplify]: iteration 3 : 37 enodes (cost 8 ) 164.118 * * [simplify]: iteration done : 37 enodes (cost 8 ) 164.119 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 164.120 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 164.122 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 164.126 * * [simplify]: iteration 3 : 38 enodes (cost 7 ) 164.137 * * [simplify]: iteration 4 : 39 enodes (cost 7 ) 164.143 * * [simplify]: iteration done : 39 enodes (cost 7 ) 164.144 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 164.144 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 164.145 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 164.147 * * [simplify]: iteration done : 9 enodes (cost 5 ) 164.148 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 164.148 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 164.149 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 164.150 * * [simplify]: iteration done : 9 enodes (cost 5 ) 164.151 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 164.152 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 164.153 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 164.154 * * [simplify]: iteration 3 : 14 enodes (cost 7 ) 164.156 * * [simplify]: iteration done : 14 enodes (cost 7 ) 164.156 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 164.157 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 164.158 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 164.160 * * [simplify]: iteration 3 : 16 enodes (cost 7 ) 164.161 * * [simplify]: iteration 4 : 17 enodes (cost 7 ) 164.163 * * [simplify]: iteration done : 17 enodes (cost 7 ) 164.164 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 164.164 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 164.166 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 164.168 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 164.171 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 164.173 * * [simplify]: iteration 5 : 26 enodes (cost 6 ) 164.176 * * [simplify]: iteration done : 26 enodes (cost 6 ) 164.177 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 164.177 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 164.179 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 164.182 * * [simplify]: iteration 3 : 40 enodes (cost 6 ) 164.188 * * [simplify]: iteration 4 : 84 enodes (cost 6 ) 164.208 * * [simplify]: iteration 5 : 194 enodes (cost 6 ) 164.293 * * [simplify]: iteration 6 : 475 enodes (cost 6 ) 164.630 * * [simplify]: iteration 7 : 1303 enodes (cost 6 ) 166.342 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 166.343 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 166.345 * * [simplify]: iteration 1 : 20 enodes (cost 17 ) 166.350 * * [simplify]: iteration 2 : 77 enodes (cost 11 ) 166.383 * * [simplify]: iteration 3 : 219 enodes (cost 7 ) 166.522 * * [simplify]: iteration 4 : 454 enodes (cost 7 ) 167.032 * * [simplify]: iteration 5 : 1201 enodes (cost 7 ) 169.699 * * [simplify]: iteration 6 : 4018 enodes (cost 7 ) 171.953 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 171.954 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 171.955 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 171.968 * * [simplify]: iteration 2 : 89 enodes (cost 9 ) 172.011 * * [simplify]: iteration 3 : 270 enodes (cost 9 ) 172.211 * * [simplify]: iteration 4 : 451 enodes (cost 7 ) 172.680 * * [simplify]: iteration 5 : 1025 enodes (cost 7 ) 174.904 * * [simplify]: iteration 6 : 3081 enodes (cost 7 ) 178.255 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 178.256 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 178.257 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 178.259 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 178.260 * * [simplify]: iteration done : 11 enodes (cost 13 ) 178.261 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 178.261 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 178.263 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 178.264 * * [simplify]: iteration done : 10 enodes (cost 6 ) 178.264 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 178.266 * * [simplify]: iteration 1 : 19 enodes (cost 17 ) 178.270 * * [simplify]: iteration 2 : 72 enodes (cost 7 ) 178.300 * * [simplify]: iteration 3 : 211 enodes (cost 7 ) 178.450 * * [simplify]: iteration 4 : 361 enodes (cost 7 ) 178.681 * * [simplify]: iteration 5 : 532 enodes (cost 7 ) 179.272 * * [simplify]: iteration 6 : 1355 enodes (cost 7 ) 182.536 * * [simplify]: iteration 7 : 4489 enodes (cost 7 ) 184.566 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 184.567 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 184.567 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 184.569 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 184.570 * * [simplify]: iteration done : 10 enodes (cost 6 ) 184.570 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 184.571 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 184.572 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 184.573 * * [simplify]: iteration done : 10 enodes (cost 6 ) 184.574 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 184.575 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 184.577 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 184.581 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 184.587 * * [simplify]: iteration done : 37 enodes (cost 9 ) 184.588 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 184.588 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 184.590 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 184.591 * * [simplify]: iteration done : 15 enodes (cost 6 ) 184.592 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 184.593 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 184.595 * * [simplify]: iteration 2 : 23 enodes (cost 3 ) 184.597 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 184.598 * * [simplify]: iteration done : 27 enodes (cost 3 ) 184.598 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 184.599 * * [simplify]: iteration done : 2 enodes (cost 3 ) 184.599 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 184.600 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 184.603 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 184.614 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 184.622 * * [simplify]: iteration 4 : 68 enodes (cost 7 ) 184.629 * * [simplify]: iteration 5 : 78 enodes (cost 7 ) 184.638 * * [simplify]: iteration 6 : 100 enodes (cost 7 ) 184.653 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 184.707 * * [simplify]: iteration 8 : 376 enodes (cost 7 ) 185.186 * * [simplify]: iteration 9 : 1321 enodes (cost 7 ) 187.626 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 187.626 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 187.627 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 187.630 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 187.635 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 187.642 * * [simplify]: iteration 4 : 68 enodes (cost 7 ) 187.649 * * [simplify]: iteration 5 : 78 enodes (cost 7 ) 187.659 * * [simplify]: iteration 6 : 100 enodes (cost 7 ) 187.681 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 187.730 * * [simplify]: iteration 8 : 376 enodes (cost 7 ) 188.208 * * [simplify]: iteration 9 : 1321 enodes (cost 7 ) 190.623 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 190.623 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 190.624 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 190.627 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 190.632 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 190.640 * * [simplify]: iteration 4 : 68 enodes (cost 7 ) 190.647 * * [simplify]: iteration 5 : 78 enodes (cost 7 ) 190.664 * * [simplify]: iteration 6 : 100 enodes (cost 7 ) 190.679 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 190.736 * * [simplify]: iteration 8 : 376 enodes (cost 7 ) 191.222 * * [simplify]: iteration 9 : 1321 enodes (cost 7 ) 193.666 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 193.667 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 193.668 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 193.669 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 193.671 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 193.673 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 193.676 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 193.680 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 193.697 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 193.740 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 194.208 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 196.605 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 196.606 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 196.607 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 196.608 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 196.610 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 196.612 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 196.615 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 196.619 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 196.629 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 196.681 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 197.151 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 199.532 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 199.532 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 199.533 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 199.535 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 199.537 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 199.539 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 199.542 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 199.546 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 199.556 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 199.607 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 200.084 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 202.457 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 202.458 * [simplify]: Simplified to: (* 3.0 (* (* x y) y)) (* 3.0 (* (* x y) y)) (* 3.0 (* (* x y) y)) (+ (+ (log x) (* 2 (log y))) (log 3.0)) (+ (log 3.0) (+ (log (* x y)) (log y))) (+ (log 3.0) (log (* (* x y) y))) (log (* 3.0 (* (* x y) y))) (exp (* 3.0 (* (* x y) y))) (* (pow y 6) (* (pow 3.0 3) (pow x 3))) (* (pow (* x (* y y)) 3) (pow 3.0 3)) (pow (* 3.0 (* (* x y) y)) 3) (* (cbrt (* 3.0 (* (* x y) y))) (cbrt (* 3.0 (* (* x y) y)))) (cbrt (* 3.0 (* (* x y) y))) (pow (* 3.0 (* (* x y) y)) 3) (sqrt (* 3.0 (* (* x y) y))) (sqrt (* 3.0 (* (* x y) y))) (* 3.0 (* x y)) (* (cbrt 3.0) (* (* x y) y)) (* (sqrt 3.0) (* (* x y) y)) (* 3.0 (* (* x y) y)) (* (* x y) y) (* (* x y) y) (+ (* 2 (log y)) (log x)) (+ (log (* x y)) (log y)) (log (* (* x y) y)) (exp (* (* x y) y)) (* (pow x 3) (pow y 6)) (pow (* x (* y y)) 3) (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y))) (cbrt (* (* x y) y)) (pow (* (* x y) y) 3) (sqrt (* (* x y) y)) (sqrt (* (* x y) y)) (* (* x y) (* (cbrt y) (cbrt y))) (* (* x y) (sqrt y)) (* x y) (* y y) (* 3.0 (* x (pow y 2))) (* 3.0 (* x (pow y 2))) (* 3.0 (* x (pow y 2))) (* x (pow y 2)) (* x (pow y 2)) (* x (pow y 2)) 202.458 * * * [progress]: adding candidates to table 202.512 * * [progress]: iteration 4 / 4 202.512 * * * [progress]: picking best candidate 202.525 * * * * [pick]: Picked # 202.525 * * * [progress]: localizing error 202.534 * * * [progress]: generating rewritten candidates 202.534 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 202.542 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 202.558 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 202.568 * * * [progress]: generating series expansions 202.568 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 202.568 * [approximate]: Taking taylor expansion of (* x (* (cbrt 3.0) (pow y 2))) in (x y) around 0 202.568 * [taylor]: Taking taylor expansion of (* x (* (cbrt 3.0) (pow y 2))) in y 202.568 * [taylor]: Taking taylor expansion of x in y 202.568 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (pow y 2)) in y 202.568 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 202.568 * [taylor]: Taking taylor expansion of 3.0 in y 202.568 * [taylor]: Taking taylor expansion of (pow y 2) in y 202.568 * [taylor]: Taking taylor expansion of y in y 202.568 * [taylor]: Taking taylor expansion of (* x (* (cbrt 3.0) (pow y 2))) in x 202.568 * [taylor]: Taking taylor expansion of x in x 202.568 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (pow y 2)) in x 202.568 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 202.568 * [taylor]: Taking taylor expansion of 3.0 in x 202.568 * [taylor]: Taking taylor expansion of (pow y 2) in x 202.568 * [taylor]: Taking taylor expansion of y in x 202.568 * [taylor]: Taking taylor expansion of (* x (* (cbrt 3.0) (pow y 2))) in x 202.568 * [taylor]: Taking taylor expansion of x in x 202.568 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (pow y 2)) in x 202.568 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 202.568 * [taylor]: Taking taylor expansion of 3.0 in x 202.569 * [taylor]: Taking taylor expansion of (pow y 2) in x 202.569 * [taylor]: Taking taylor expansion of y in x 202.569 * [taylor]: Taking taylor expansion of 0 in y 202.569 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (pow y 2)) in y 202.569 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 202.569 * [taylor]: Taking taylor expansion of 3.0 in y 202.569 * [taylor]: Taking taylor expansion of (pow y 2) in y 202.569 * [taylor]: Taking taylor expansion of y in y 202.570 * [taylor]: Taking taylor expansion of 0 in y 202.570 * [taylor]: Taking taylor expansion of 0 in y 202.570 * [approximate]: Taking taylor expansion of (/ (cbrt 3.0) (* x (pow y 2))) in (x y) around 0 202.570 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x (pow y 2))) in y 202.570 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 202.571 * [taylor]: Taking taylor expansion of 3.0 in y 202.571 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 202.571 * [taylor]: Taking taylor expansion of x in y 202.571 * [taylor]: Taking taylor expansion of (pow y 2) in y 202.571 * [taylor]: Taking taylor expansion of y in y 202.577 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x (pow y 2))) in x 202.577 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 202.577 * [taylor]: Taking taylor expansion of 3.0 in x 202.577 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 202.577 * [taylor]: Taking taylor expansion of x in x 202.577 * [taylor]: Taking taylor expansion of (pow y 2) in x 202.577 * [taylor]: Taking taylor expansion of y in x 202.577 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x (pow y 2))) in x 202.577 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 202.577 * [taylor]: Taking taylor expansion of 3.0 in x 202.577 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 202.577 * [taylor]: Taking taylor expansion of x in x 202.577 * [taylor]: Taking taylor expansion of (pow y 2) in x 202.577 * [taylor]: Taking taylor expansion of y in x 202.578 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (pow y 2)) in y 202.578 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 202.578 * [taylor]: Taking taylor expansion of 3.0 in y 202.578 * [taylor]: Taking taylor expansion of (pow y 2) in y 202.578 * [taylor]: Taking taylor expansion of y in y 202.578 * [taylor]: Taking taylor expansion of 0 in y 202.579 * [taylor]: Taking taylor expansion of 0 in y 202.579 * [taylor]: Taking taylor expansion of 0 in y 202.580 * [taylor]: Taking taylor expansion of 0 in y 202.581 * [approximate]: Taking taylor expansion of (* -1 (/ (cbrt 3.0) (* x (pow y 2)))) in (x y) around 0 202.581 * [taylor]: Taking taylor expansion of (* -1 (/ (cbrt 3.0) (* x (pow y 2)))) in y 202.581 * [taylor]: Taking taylor expansion of -1 in y 202.581 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x (pow y 2))) in y 202.581 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 202.581 * [taylor]: Taking taylor expansion of 3.0 in y 202.581 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 202.581 * [taylor]: Taking taylor expansion of x in y 202.581 * [taylor]: Taking taylor expansion of (pow y 2) in y 202.581 * [taylor]: Taking taylor expansion of y in y 202.581 * [taylor]: Taking taylor expansion of (* -1 (/ (cbrt 3.0) (* x (pow y 2)))) in x 202.581 * [taylor]: Taking taylor expansion of -1 in x 202.581 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x (pow y 2))) in x 202.581 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 202.581 * [taylor]: Taking taylor expansion of 3.0 in x 202.581 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 202.581 * [taylor]: Taking taylor expansion of x in x 202.581 * [taylor]: Taking taylor expansion of (pow y 2) in x 202.581 * [taylor]: Taking taylor expansion of y in x 202.581 * [taylor]: Taking taylor expansion of (* -1 (/ (cbrt 3.0) (* x (pow y 2)))) in x 202.581 * [taylor]: Taking taylor expansion of -1 in x 202.582 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x (pow y 2))) in x 202.582 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 202.582 * [taylor]: Taking taylor expansion of 3.0 in x 202.582 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 202.582 * [taylor]: Taking taylor expansion of x in x 202.582 * [taylor]: Taking taylor expansion of (pow y 2) in x 202.582 * [taylor]: Taking taylor expansion of y in x 202.582 * [taylor]: Taking taylor expansion of (* -1 (/ (cbrt 3.0) (pow y 2))) in y 202.582 * [taylor]: Taking taylor expansion of -1 in y 202.582 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (pow y 2)) in y 202.582 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 202.582 * [taylor]: Taking taylor expansion of 3.0 in y 202.582 * [taylor]: Taking taylor expansion of (pow y 2) in y 202.582 * [taylor]: Taking taylor expansion of y in y 202.583 * [taylor]: Taking taylor expansion of 0 in y 202.583 * [taylor]: Taking taylor expansion of 0 in y 202.584 * [taylor]: Taking taylor expansion of 0 in y 202.586 * [taylor]: Taking taylor expansion of 0 in y 202.586 * * * * [progress]: [ 2 / 3 ] generating series at (2) 202.586 * [approximate]: Taking taylor expansion of (* x (* (pow (cbrt 3.0) 3) (pow y 2))) in (x y) around 0 202.586 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt 3.0) 3) (pow y 2))) in y 202.586 * [taylor]: Taking taylor expansion of x in y 202.586 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (pow y 2)) in y 202.586 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y 202.586 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 202.586 * [taylor]: Taking taylor expansion of 3.0 in y 202.586 * [taylor]: Taking taylor expansion of (pow y 2) in y 202.586 * [taylor]: Taking taylor expansion of y in y 202.586 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt 3.0) 3) (pow y 2))) in x 202.586 * [taylor]: Taking taylor expansion of x in x 202.587 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (pow y 2)) in x 202.587 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 202.587 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 202.587 * [taylor]: Taking taylor expansion of 3.0 in x 202.587 * [taylor]: Taking taylor expansion of (pow y 2) in x 202.587 * [taylor]: Taking taylor expansion of y in x 202.587 * [taylor]: Taking taylor expansion of (* x (* (pow (cbrt 3.0) 3) (pow y 2))) in x 202.587 * [taylor]: Taking taylor expansion of x in x 202.587 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (pow y 2)) in x 202.587 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 202.587 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 202.587 * [taylor]: Taking taylor expansion of 3.0 in x 202.587 * [taylor]: Taking taylor expansion of (pow y 2) in x 202.587 * [taylor]: Taking taylor expansion of y in x 202.587 * [taylor]: Taking taylor expansion of 0 in y 202.588 * [taylor]: Taking taylor expansion of (* 3.0 (pow y 2)) in y 202.588 * [taylor]: Taking taylor expansion of 3.0 in y 202.588 * [taylor]: Taking taylor expansion of (pow y 2) in y 202.588 * [taylor]: Taking taylor expansion of y in y 202.589 * [taylor]: Taking taylor expansion of 0 in y 202.589 * [taylor]: Taking taylor expansion of 0 in y 202.589 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x (pow y 2))) in (x y) around 0 202.589 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x (pow y 2))) in y 202.590 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y 202.590 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 202.590 * [taylor]: Taking taylor expansion of 3.0 in y 202.590 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 202.590 * [taylor]: Taking taylor expansion of x in y 202.590 * [taylor]: Taking taylor expansion of (pow y 2) in y 202.590 * [taylor]: Taking taylor expansion of y in y 202.590 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x (pow y 2))) in x 202.590 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 202.590 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 202.590 * [taylor]: Taking taylor expansion of 3.0 in x 202.590 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 202.590 * [taylor]: Taking taylor expansion of x in x 202.590 * [taylor]: Taking taylor expansion of (pow y 2) in x 202.590 * [taylor]: Taking taylor expansion of y in x 202.591 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x (pow y 2))) in x 202.591 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 202.591 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 202.591 * [taylor]: Taking taylor expansion of 3.0 in x 202.591 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 202.591 * [taylor]: Taking taylor expansion of x in x 202.591 * [taylor]: Taking taylor expansion of (pow y 2) in x 202.591 * [taylor]: Taking taylor expansion of y in x 202.591 * [taylor]: Taking taylor expansion of (/ 3.0 (pow y 2)) in y 202.591 * [taylor]: Taking taylor expansion of 3.0 in y 202.591 * [taylor]: Taking taylor expansion of (pow y 2) in y 202.591 * [taylor]: Taking taylor expansion of y in y 202.592 * [taylor]: Taking taylor expansion of 0 in y 202.593 * [taylor]: Taking taylor expansion of 0 in y 202.593 * [taylor]: Taking taylor expansion of 0 in y 202.594 * [taylor]: Taking taylor expansion of 0 in y 202.595 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (cbrt 3.0) 3) (* x (pow y 2)))) in (x y) around 0 202.595 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 3.0) 3) (* x (pow y 2)))) in y 202.595 * [taylor]: Taking taylor expansion of -1 in y 202.595 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x (pow y 2))) in y 202.595 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y 202.595 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 202.595 * [taylor]: Taking taylor expansion of 3.0 in y 202.595 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 202.595 * [taylor]: Taking taylor expansion of x in y 202.595 * [taylor]: Taking taylor expansion of (pow y 2) in y 202.595 * [taylor]: Taking taylor expansion of y in y 202.595 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 3.0) 3) (* x (pow y 2)))) in x 202.595 * [taylor]: Taking taylor expansion of -1 in x 202.595 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x (pow y 2))) in x 202.595 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 202.595 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 202.595 * [taylor]: Taking taylor expansion of 3.0 in x 202.595 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 202.595 * [taylor]: Taking taylor expansion of x in x 202.595 * [taylor]: Taking taylor expansion of (pow y 2) in x 202.595 * [taylor]: Taking taylor expansion of y in x 202.596 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 3.0) 3) (* x (pow y 2)))) in x 202.596 * [taylor]: Taking taylor expansion of -1 in x 202.596 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x (pow y 2))) in x 202.596 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 202.596 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 202.596 * [taylor]: Taking taylor expansion of 3.0 in x 202.596 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 202.596 * [taylor]: Taking taylor expansion of x in x 202.596 * [taylor]: Taking taylor expansion of (pow y 2) in x 202.596 * [taylor]: Taking taylor expansion of y in x 202.597 * [taylor]: Taking taylor expansion of (/ -3.0 (pow y 2)) in y 202.597 * [taylor]: Taking taylor expansion of -3.0 in y 202.597 * [taylor]: Taking taylor expansion of (pow y 2) in y 202.597 * [taylor]: Taking taylor expansion of y in y 202.597 * [taylor]: Taking taylor expansion of 0 in y 202.598 * [taylor]: Taking taylor expansion of 0 in y 202.599 * [taylor]: Taking taylor expansion of 0 in y 202.600 * [taylor]: Taking taylor expansion of 0 in y 202.601 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 202.601 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (x y) around 0 202.601 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 202.601 * [taylor]: Taking taylor expansion of x in y 202.601 * [taylor]: Taking taylor expansion of (pow y 2) in y 202.601 * [taylor]: Taking taylor expansion of y in y 202.601 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 202.601 * [taylor]: Taking taylor expansion of x in x 202.601 * [taylor]: Taking taylor expansion of (pow y 2) in x 202.601 * [taylor]: Taking taylor expansion of y in x 202.601 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 202.601 * [taylor]: Taking taylor expansion of x in x 202.601 * [taylor]: Taking taylor expansion of (pow y 2) in x 202.601 * [taylor]: Taking taylor expansion of y in x 202.601 * [taylor]: Taking taylor expansion of 0 in y 202.601 * [taylor]: Taking taylor expansion of (pow y 2) in y 202.601 * [taylor]: Taking taylor expansion of y in y 202.601 * [taylor]: Taking taylor expansion of 0 in y 202.602 * [taylor]: Taking taylor expansion of 0 in y 202.602 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (x y) around 0 202.602 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 202.602 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 202.602 * [taylor]: Taking taylor expansion of x in y 202.602 * [taylor]: Taking taylor expansion of (pow y 2) in y 202.602 * [taylor]: Taking taylor expansion of y in y 202.602 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 202.602 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 202.602 * [taylor]: Taking taylor expansion of x in x 202.602 * [taylor]: Taking taylor expansion of (pow y 2) in x 202.602 * [taylor]: Taking taylor expansion of y in x 202.602 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 202.602 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 202.602 * [taylor]: Taking taylor expansion of x in x 202.602 * [taylor]: Taking taylor expansion of (pow y 2) in x 202.602 * [taylor]: Taking taylor expansion of y in x 202.603 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 202.603 * [taylor]: Taking taylor expansion of (pow y 2) in y 202.603 * [taylor]: Taking taylor expansion of y in y 202.603 * [taylor]: Taking taylor expansion of 0 in y 202.603 * [taylor]: Taking taylor expansion of 0 in y 202.604 * [taylor]: Taking taylor expansion of 0 in y 202.604 * [taylor]: Taking taylor expansion of 0 in y 202.605 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (x y) around 0 202.605 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 202.605 * [taylor]: Taking taylor expansion of -1 in y 202.605 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 202.605 * [taylor]: Taking taylor expansion of x in y 202.605 * [taylor]: Taking taylor expansion of (pow y 2) in y 202.605 * [taylor]: Taking taylor expansion of y in y 202.605 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 202.605 * [taylor]: Taking taylor expansion of -1 in x 202.605 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 202.605 * [taylor]: Taking taylor expansion of x in x 202.605 * [taylor]: Taking taylor expansion of (pow y 2) in x 202.605 * [taylor]: Taking taylor expansion of y in x 202.605 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 202.605 * [taylor]: Taking taylor expansion of -1 in x 202.605 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 202.605 * [taylor]: Taking taylor expansion of x in x 202.605 * [taylor]: Taking taylor expansion of (pow y 2) in x 202.605 * [taylor]: Taking taylor expansion of y in x 202.606 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y 202.606 * [taylor]: Taking taylor expansion of -1 in y 202.606 * [taylor]: Taking taylor expansion of (pow y 2) in y 202.606 * [taylor]: Taking taylor expansion of y in y 202.606 * [taylor]: Taking taylor expansion of 0 in y 202.606 * [taylor]: Taking taylor expansion of 0 in y 202.607 * [taylor]: Taking taylor expansion of 0 in y 202.608 * [taylor]: Taking taylor expansion of 0 in y 202.608 * * * [progress]: simplifying candidates 202.609 * [simplify]: Simplifying using # : (* (cbrt 3.0) (* (* x y) y)) (* (cbrt 3.0) (* (* x y) y)) (* (cbrt 3.0) (* (* x y) y)) (+ (log (cbrt 3.0)) (+ (+ (log x) (log y)) (log y))) (+ (log (cbrt 3.0)) (+ (log (* x y)) (log y))) (+ (log (cbrt 3.0)) (log (* (* x y) y))) (log (* (cbrt 3.0) (* (* x y) y))) (exp (* (cbrt 3.0) (* (* x y) y))) (* 3.0 (* (* (* (* x x) x) (* (* y y) y)) (* (* y y) y))) (* 3.0 (* (* (* (* x y) (* x y)) (* x y)) (* (* y y) y))) (* 3.0 (* (* (* (* x y) y) (* (* x y) y)) (* (* x y) y))) (* (cbrt (* (cbrt 3.0) (* (* x y) y))) (cbrt (* (cbrt 3.0) (* (* x y) y)))) (cbrt (* (cbrt 3.0) (* (* x y) y))) (* (* (* (cbrt 3.0) (* (* x y) y)) (* (cbrt 3.0) (* (* x y) y))) (* (cbrt 3.0) (* (* x y) y))) (sqrt (* (cbrt 3.0) (* (* x y) y))) (sqrt (* (cbrt 3.0) (* (* x y) y))) (* (cbrt 3.0) (* x y)) (* (cbrt (cbrt 3.0)) (* (* x y) y)) (* (cbrt (sqrt 3.0)) (* (* x y) y)) (* (cbrt 3.0) (* (* x y) y)) (* (cbrt (cbrt 3.0)) (* (* x y) y)) (* (sqrt (cbrt 3.0)) (* (* x y) y)) (* (cbrt 3.0) (* (* x y) y)) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y))) (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (+ (log (cbrt 3.0)) (+ (+ (log x) (log y)) (log y)))) (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (+ (log (cbrt 3.0)) (+ (log (* x y)) (log y)))) (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (+ (log (cbrt 3.0)) (log (* (* x y) y)))) (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (log (* (cbrt 3.0) (* (* x y) y)))) (+ (log (* (cbrt 3.0) (cbrt 3.0))) (+ (log (cbrt 3.0)) (+ (+ (log x) (log y)) (log y)))) (+ (log (* (cbrt 3.0) (cbrt 3.0))) (+ (log (cbrt 3.0)) (+ (log (* x y)) (log y)))) (+ (log (* (cbrt 3.0) (cbrt 3.0))) (+ (log (cbrt 3.0)) (log (* (* x y) y)))) (+ (log (* (cbrt 3.0) (cbrt 3.0))) (log (* (cbrt 3.0) (* (* x y) y)))) (log (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y)))) (exp (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y)))) (* (* 3.0 3.0) (* 3.0 (* (* (* (* x x) x) (* (* y y) y)) (* (* y y) y)))) (* (* 3.0 3.0) (* 3.0 (* (* (* (* x y) (* x y)) (* x y)) (* (* y y) y)))) (* (* 3.0 3.0) (* 3.0 (* (* (* (* x y) y) (* (* x y) y)) (* (* x y) y)))) (* (* 3.0 3.0) (* (* (* (cbrt 3.0) (* (* x y) y)) (* (cbrt 3.0) (* (* x y) y))) (* (cbrt 3.0) (* (* x y) 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)) (* (* 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)) (* (* 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) y) (* (* x y) y)) (* (* x 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) y)) (* (cbrt 3.0) (* (* x y) y))) (* (cbrt 3.0) (* (* x y) y)))) (* (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y)))) (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y))))) (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y)))) (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y)))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y)))) (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y)))) (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y)))) (* (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0)) (* (cbrt 3.0) (* (cbrt 3.0) (* (* x y) y))) (* (* x y) y) (* (* x y) y) (+ (+ (log x) (log y)) (log y)) (+ (log (* x y)) (log y)) (log (* (* x y) y)) (exp (* (* x y) y)) (* (* (* (* x x) x) (* (* y y) y)) (* (* y y) y)) (* (* (* (* x y) (* x y)) (* x y)) (* (* y y) y)) (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y))) (cbrt (* (* x y) y)) (* (* (* (* x y) y) (* (* x y) y)) (* (* x y) y)) (sqrt (* (* x y) y)) (sqrt (* (* x y) y)) (* (* x y) (* (cbrt y) (cbrt y))) (* (* x y) (sqrt y)) (* (* x y) 1) (* y y) (* x (* (cbrt 3.0) (pow y 2))) (* x (* (cbrt 3.0) (pow y 2))) (* x (* (cbrt 3.0) (pow y 2))) (* 3.0 (* x (pow y 2))) (* 3.0 (* x (pow y 2))) (* 3.0 (* x (pow y 2))) (* x (pow y 2)) (* x (pow y 2)) (* x (pow y 2)) 202.610 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 202.611 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 202.613 * * [simplify]: iteration 2 : 27 enodes (cost 8 ) 202.618 * * [simplify]: iteration 3 : 37 enodes (cost 8 ) 202.625 * * [simplify]: iteration done : 37 enodes (cost 8 ) 202.625 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 202.626 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 202.628 * * [simplify]: iteration 2 : 27 enodes (cost 8 ) 202.633 * * [simplify]: iteration 3 : 37 enodes (cost 8 ) 202.640 * * [simplify]: iteration done : 37 enodes (cost 8 ) 202.640 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 202.641 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 202.643 * * [simplify]: iteration 2 : 27 enodes (cost 8 ) 202.648 * * [simplify]: iteration 3 : 37 enodes (cost 8 ) 202.660 * * [simplify]: iteration done : 37 enodes (cost 8 ) 202.660 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 202.662 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 202.664 * * [simplify]: iteration 2 : 32 enodes (cost 11 ) 202.669 * * [simplify]: iteration 3 : 45 enodes (cost 11 ) 202.676 * * [simplify]: iteration done : 45 enodes (cost 11 ) 202.676 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 202.678 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 202.679 * * [simplify]: iteration 2 : 28 enodes (cost 11 ) 202.683 * * [simplify]: iteration 3 : 44 enodes (cost 11 ) 202.690 * * [simplify]: iteration 4 : 50 enodes (cost 11 ) 202.696 * * [simplify]: iteration done : 50 enodes (cost 11 ) 202.697 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 202.698 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 202.700 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 202.704 * * [simplify]: iteration 3 : 46 enodes (cost 10 ) 202.710 * * [simplify]: iteration 4 : 56 enodes (cost 10 ) 202.722 * * [simplify]: iteration 5 : 57 enodes (cost 10 ) 202.729 * * [simplify]: iteration done : 57 enodes (cost 10 ) 202.730 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 202.731 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 202.734 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 202.741 * * [simplify]: iteration 3 : 76 enodes (cost 9 ) 202.755 * * [simplify]: iteration 4 : 101 enodes (cost 9 ) 202.769 * * [simplify]: iteration 5 : 103 enodes (cost 9 ) 202.787 * * [simplify]: iteration done : 103 enodes (cost 9 ) 202.788 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 202.789 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 202.792 * * [simplify]: iteration 2 : 38 enodes (cost 9 ) 202.798 * * [simplify]: iteration 3 : 85 enodes (cost 9 ) 202.813 * * [simplify]: iteration 4 : 183 enodes (cost 9 ) 202.856 * * [simplify]: iteration 5 : 440 enodes (cost 9 ) 203.135 * * [simplify]: iteration 6 : 1091 enodes (cost 9 ) 204.939 * * [simplify]: iteration 7 : 3240 enodes (cost 9 ) 205.966 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 205.966 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 205.968 * * [simplify]: iteration 1 : 25 enodes (cost 19 ) 205.980 * * [simplify]: iteration 2 : 106 enodes (cost 13 ) 206.034 * * [simplify]: iteration 3 : 401 enodes (cost 9 ) 206.507 * * [simplify]: iteration 4 : 1254 enodes (cost 9 ) 209.122 * * [simplify]: iteration 5 : 3426 enodes (cost 9 ) 210.990 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 210.990 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 210.992 * * [simplify]: iteration 1 : 29 enodes (cost 19 ) 210.999 * * [simplify]: iteration 2 : 117 enodes (cost 11 ) 211.067 * * [simplify]: iteration 3 : 483 enodes (cost 11 ) 211.623 * * [simplify]: iteration 4 : 1186 enodes (cost 9 ) 213.866 * * [simplify]: iteration 5 : 2667 enodes (cost 9 ) 217.498 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 217.498 * * [simplify]: iteration 0 : 8 enodes (cost 19 ) 217.500 * * [simplify]: iteration 1 : 24 enodes (cost 19 ) 217.507 * * [simplify]: iteration 2 : 101 enodes (cost 9 ) 217.561 * * [simplify]: iteration 3 : 395 enodes (cost 9 ) 218.077 * * [simplify]: iteration 4 : 1093 enodes (cost 9 ) 219.544 * * [simplify]: iteration 5 : 1564 enodes (cost 9 ) 222.663 * * [simplify]: iteration 6 : 3658 enodes (cost 9 ) 224.401 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 224.402 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 224.403 * * [simplify]: iteration 1 : 16 enodes (cost 19 ) 224.406 * * [simplify]: iteration 2 : 29 enodes (cost 19 ) 224.411 * * [simplify]: iteration 3 : 39 enodes (cost 19 ) 224.417 * * [simplify]: iteration done : 39 enodes (cost 19 ) 224.418 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 224.419 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 224.421 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 224.426 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 224.433 * * [simplify]: iteration done : 37 enodes (cost 9 ) 224.433 * * [simplify]: iteration 0 : 9 enodes (cost 26 ) 224.435 * * [simplify]: iteration 1 : 26 enodes (cost 26 ) 224.441 * * [simplify]: iteration 2 : 116 enodes (cost 10 ) 224.524 * * [simplify]: iteration 3 : 641 enodes (cost 10 ) 225.872 * * [simplify]: iteration 4 : 2540 enodes (cost 9 ) 234.416 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 234.417 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 234.418 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 234.420 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 234.425 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 234.431 * * [simplify]: iteration done : 37 enodes (cost 9 ) 234.432 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 234.434 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 234.436 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 234.441 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 234.447 * * [simplify]: iteration done : 37 enodes (cost 9 ) 234.448 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 234.448 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 234.450 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 234.452 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 234.454 * * [simplify]: iteration done : 18 enodes (cost 6 ) 234.455 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 234.456 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 234.458 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 234.462 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 234.473 * * [simplify]: iteration done : 37 enodes (cost 9 ) 234.474 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 234.475 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 234.477 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 234.482 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 234.489 * * [simplify]: iteration done : 37 enodes (cost 9 ) 234.490 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 234.491 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 234.493 * * [simplify]: iteration 2 : 27 enodes (cost 8 ) 234.498 * * [simplify]: iteration 3 : 37 enodes (cost 8 ) 234.504 * * [simplify]: iteration done : 37 enodes (cost 8 ) 234.505 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 234.506 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 234.508 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 234.512 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 234.519 * * [simplify]: iteration done : 37 enodes (cost 9 ) 234.520 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 234.521 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 234.523 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 234.528 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 234.539 * * [simplify]: iteration done : 37 enodes (cost 9 ) 234.539 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 234.540 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 234.542 * * [simplify]: iteration 2 : 27 enodes (cost 8 ) 234.548 * * [simplify]: iteration 3 : 37 enodes (cost 8 ) 234.554 * * [simplify]: iteration done : 37 enodes (cost 8 ) 234.555 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 234.556 * * [simplify]: iteration 1 : 21 enodes (cost 14 ) 234.559 * * [simplify]: iteration 2 : 53 enodes (cost 14 ) 234.574 * * [simplify]: iteration 3 : 131 enodes (cost 10 ) 234.630 * * [simplify]: iteration 4 : 188 enodes (cost 7 ) 234.698 * * [simplify]: iteration 5 : 194 enodes (cost 7 ) 234.760 * * [simplify]: iteration 6 : 200 enodes (cost 7 ) 234.824 * * [simplify]: iteration 7 : 210 enodes (cost 7 ) 234.890 * * [simplify]: iteration 8 : 231 enodes (cost 7 ) 234.962 * * [simplify]: iteration 9 : 289 enodes (cost 7 ) 235.074 * * [simplify]: iteration 10 : 508 enodes (cost 7 ) 235.602 * * [simplify]: iteration 11 : 1426 enodes (cost 7 ) 238.118 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 238.119 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 238.120 * * [simplify]: iteration 1 : 21 enodes (cost 14 ) 238.124 * * [simplify]: iteration 2 : 53 enodes (cost 14 ) 238.138 * * [simplify]: iteration 3 : 131 enodes (cost 10 ) 238.196 * * [simplify]: iteration 4 : 188 enodes (cost 7 ) 238.264 * * [simplify]: iteration 5 : 194 enodes (cost 7 ) 238.327 * * [simplify]: iteration 6 : 200 enodes (cost 7 ) 238.390 * * [simplify]: iteration 7 : 210 enodes (cost 7 ) 238.456 * * [simplify]: iteration 8 : 231 enodes (cost 7 ) 238.531 * * [simplify]: iteration 9 : 289 enodes (cost 7 ) 238.643 * * [simplify]: iteration 10 : 508 enodes (cost 7 ) 239.176 * * [simplify]: iteration 11 : 1426 enodes (cost 7 ) 241.725 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 241.726 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 241.727 * * [simplify]: iteration 1 : 21 enodes (cost 14 ) 241.731 * * [simplify]: iteration 2 : 53 enodes (cost 14 ) 241.746 * * [simplify]: iteration 3 : 131 enodes (cost 10 ) 241.805 * * [simplify]: iteration 4 : 188 enodes (cost 7 ) 241.873 * * [simplify]: iteration 5 : 194 enodes (cost 7 ) 241.937 * * [simplify]: iteration 6 : 200 enodes (cost 7 ) 242.002 * * [simplify]: iteration 7 : 210 enodes (cost 7 ) 242.068 * * [simplify]: iteration 8 : 231 enodes (cost 7 ) 242.143 * * [simplify]: iteration 9 : 289 enodes (cost 7 ) 242.253 * * [simplify]: iteration 10 : 508 enodes (cost 7 ) 242.777 * * [simplify]: iteration 11 : 1426 enodes (cost 7 ) 245.308 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 245.309 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 245.310 * * [simplify]: iteration 1 : 21 enodes (cost 14 ) 245.314 * * [simplify]: iteration 2 : 53 enodes (cost 14 ) 245.329 * * [simplify]: iteration 3 : 131 enodes (cost 10 ) 245.386 * * [simplify]: iteration 4 : 188 enodes (cost 7 ) 245.454 * * [simplify]: iteration 5 : 194 enodes (cost 7 ) 245.518 * * [simplify]: iteration 6 : 200 enodes (cost 7 ) 245.582 * * [simplify]: iteration 7 : 210 enodes (cost 7 ) 245.647 * * [simplify]: iteration 8 : 231 enodes (cost 7 ) 245.721 * * [simplify]: iteration 9 : 289 enodes (cost 7 ) 245.831 * * [simplify]: iteration 10 : 508 enodes (cost 7 ) 246.354 * * [simplify]: iteration 11 : 1426 enodes (cost 7 ) 248.868 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 248.869 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 248.870 * * [simplify]: iteration 1 : 21 enodes (cost 14 ) 248.874 * * [simplify]: iteration 2 : 53 enodes (cost 14 ) 248.889 * * [simplify]: iteration 3 : 131 enodes (cost 10 ) 248.948 * * [simplify]: iteration 4 : 188 enodes (cost 7 ) 249.017 * * [simplify]: iteration 5 : 194 enodes (cost 7 ) 249.081 * * [simplify]: iteration 6 : 200 enodes (cost 7 ) 249.144 * * [simplify]: iteration 7 : 210 enodes (cost 7 ) 249.210 * * [simplify]: iteration 8 : 231 enodes (cost 7 ) 249.286 * * [simplify]: iteration 9 : 289 enodes (cost 7 ) 249.398 * * [simplify]: iteration 10 : 508 enodes (cost 7 ) 249.924 * * [simplify]: iteration 11 : 1426 enodes (cost 7 ) 252.429 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 252.430 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 252.431 * * [simplify]: iteration 1 : 21 enodes (cost 14 ) 252.435 * * [simplify]: iteration 2 : 53 enodes (cost 14 ) 252.449 * * [simplify]: iteration 3 : 131 enodes (cost 10 ) 252.513 * * [simplify]: iteration 4 : 188 enodes (cost 7 ) 252.576 * * [simplify]: iteration 5 : 194 enodes (cost 7 ) 252.638 * * [simplify]: iteration 6 : 200 enodes (cost 7 ) 252.702 * * [simplify]: iteration 7 : 210 enodes (cost 7 ) 252.767 * * [simplify]: iteration 8 : 231 enodes (cost 7 ) 252.843 * * [simplify]: iteration 9 : 289 enodes (cost 7 ) 252.956 * * [simplify]: iteration 10 : 508 enodes (cost 7 ) 253.477 * * [simplify]: iteration 11 : 1426 enodes (cost 7 ) 255.993 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 255.994 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 255.995 * * [simplify]: iteration 1 : 21 enodes (cost 14 ) 255.999 * * [simplify]: iteration 2 : 53 enodes (cost 14 ) 256.014 * * [simplify]: iteration 3 : 131 enodes (cost 10 ) 256.076 * * [simplify]: iteration 4 : 188 enodes (cost 7 ) 256.139 * * [simplify]: iteration 5 : 194 enodes (cost 7 ) 256.202 * * [simplify]: iteration 6 : 200 enodes (cost 7 ) 256.266 * * [simplify]: iteration 7 : 210 enodes (cost 7 ) 256.331 * * [simplify]: iteration 8 : 231 enodes (cost 7 ) 256.407 * * [simplify]: iteration 9 : 289 enodes (cost 7 ) 256.518 * * [simplify]: iteration 10 : 508 enodes (cost 7 ) 257.050 * * [simplify]: iteration 11 : 1426 enodes (cost 7 ) 259.580 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 259.580 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 259.582 * * [simplify]: iteration 1 : 21 enodes (cost 14 ) 259.586 * * [simplify]: iteration 2 : 53 enodes (cost 14 ) 259.608 * * [simplify]: iteration 3 : 131 enodes (cost 10 ) 259.665 * * [simplify]: iteration 4 : 188 enodes (cost 7 ) 259.728 * * [simplify]: iteration 5 : 194 enodes (cost 7 ) 259.792 * * [simplify]: iteration 6 : 200 enodes (cost 7 ) 259.857 * * [simplify]: iteration 7 : 210 enodes (cost 7 ) 259.921 * * [simplify]: iteration 8 : 231 enodes (cost 7 ) 259.997 * * [simplify]: iteration 9 : 289 enodes (cost 7 ) 260.109 * * [simplify]: iteration 10 : 508 enodes (cost 7 ) 260.651 * * [simplify]: iteration 11 : 1426 enodes (cost 7 ) 263.170 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 263.171 * * [simplify]: iteration 0 : 12 enodes (cost 20 ) 263.177 * * [simplify]: iteration 1 : 26 enodes (cost 18 ) 263.181 * * [simplify]: iteration 2 : 64 enodes (cost 13 ) 263.204 * * [simplify]: iteration 3 : 144 enodes (cost 13 ) 263.251 * * [simplify]: iteration 4 : 191 enodes (cost 13 ) 263.316 * * [simplify]: iteration 5 : 192 enodes (cost 13 ) 263.375 * * [simplify]: iteration done : 192 enodes (cost 13 ) 263.376 * * [simplify]: iteration 0 : 12 enodes (cost 19 ) 263.377 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 263.381 * * [simplify]: iteration 2 : 59 enodes (cost 13 ) 263.393 * * [simplify]: iteration 3 : 124 enodes (cost 13 ) 263.436 * * [simplify]: iteration 4 : 192 enodes (cost 13 ) 263.497 * * [simplify]: iteration 5 : 195 enodes (cost 13 ) 263.559 * * [simplify]: iteration done : 195 enodes (cost 13 ) 263.559 * * [simplify]: iteration 0 : 11 enodes (cost 18 ) 263.561 * * [simplify]: iteration 1 : 26 enodes (cost 16 ) 263.565 * * [simplify]: iteration 2 : 51 enodes (cost 12 ) 263.573 * * [simplify]: iteration 3 : 107 enodes (cost 12 ) 263.606 * * [simplify]: iteration 4 : 171 enodes (cost 12 ) 263.656 * * [simplify]: iteration 5 : 194 enodes (cost 12 ) 263.717 * * [simplify]: iteration 6 : 195 enodes (cost 12 ) 263.777 * * [simplify]: iteration done : 195 enodes (cost 12 ) 263.778 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 263.779 * * [simplify]: iteration 1 : 25 enodes (cost 15 ) 263.783 * * [simplify]: iteration 2 : 56 enodes (cost 15 ) 263.793 * * [simplify]: iteration 3 : 122 enodes (cost 12 ) 263.834 * * [simplify]: iteration 4 : 245 enodes (cost 12 ) 263.896 * * [simplify]: iteration 5 : 278 enodes (cost 12 ) 263.968 * * [simplify]: iteration 6 : 279 enodes (cost 12 ) 264.035 * * [simplify]: iteration done : 279 enodes (cost 12 ) 264.036 * * [simplify]: iteration 0 : 13 enodes (cost 19 ) 264.037 * * [simplify]: iteration 1 : 24 enodes (cost 19 ) 264.041 * * [simplify]: iteration 2 : 60 enodes (cost 17 ) 264.054 * * [simplify]: iteration 3 : 141 enodes (cost 13 ) 264.107 * * [simplify]: iteration 4 : 197 enodes (cost 13 ) 264.168 * * [simplify]: iteration 5 : 198 enodes (cost 13 ) 264.228 * * [simplify]: iteration done : 198 enodes (cost 13 ) 264.229 * * [simplify]: iteration 0 : 13 enodes (cost 18 ) 264.231 * * [simplify]: iteration 1 : 24 enodes (cost 18 ) 264.234 * * [simplify]: iteration 2 : 55 enodes (cost 17 ) 264.250 * * [simplify]: iteration 3 : 123 enodes (cost 13 ) 264.288 * * [simplify]: iteration 4 : 199 enodes (cost 13 ) 264.357 * * [simplify]: iteration 5 : 207 enodes (cost 13 ) 264.416 * * [simplify]: iteration done : 207 enodes (cost 13 ) 264.417 * * [simplify]: iteration 0 : 12 enodes (cost 17 ) 264.419 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 264.422 * * [simplify]: iteration 2 : 49 enodes (cost 16 ) 264.430 * * [simplify]: iteration 3 : 107 enodes (cost 12 ) 264.463 * * [simplify]: iteration 4 : 170 enodes (cost 12 ) 264.508 * * [simplify]: iteration 5 : 192 enodes (cost 12 ) 264.573 * * [simplify]: iteration 6 : 193 enodes (cost 12 ) 264.632 * * [simplify]: iteration done : 193 enodes (cost 12 ) 264.632 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 264.634 * * [simplify]: iteration 1 : 23 enodes (cost 16 ) 264.637 * * [simplify]: iteration 2 : 56 enodes (cost 15 ) 264.646 * * [simplify]: iteration 3 : 121 enodes (cost 12 ) 264.685 * * [simplify]: iteration 4 : 245 enodes (cost 12 ) 264.748 * * [simplify]: iteration 5 : 285 enodes (cost 12 ) 264.817 * * [simplify]: iteration 6 : 287 enodes (cost 12 ) 264.884 * * [simplify]: iteration done : 287 enodes (cost 12 ) 264.884 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 264.891 * * [simplify]: iteration 1 : 25 enodes (cost 15 ) 264.896 * * [simplify]: iteration 2 : 70 enodes (cost 15 ) 264.914 * * [simplify]: iteration 3 : 200 enodes (cost 11 ) 264.993 * * [simplify]: iteration 4 : 390 enodes (cost 8 ) 265.142 * * [simplify]: iteration 5 : 470 enodes (cost 8 ) 265.283 * * [simplify]: iteration 6 : 479 enodes (cost 8 ) 265.417 * * [simplify]: iteration 7 : 490 enodes (cost 8 ) 265.561 * * [simplify]: iteration 8 : 513 enodes (cost 8 ) 265.709 * * [simplify]: iteration 9 : 572 enodes (cost 8 ) 265.891 * * [simplify]: iteration 10 : 779 enodes (cost 8 ) 266.484 * * [simplify]: iteration 11 : 1686 enodes (cost 8 ) 268.735 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 268.736 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 268.737 * * [simplify]: iteration 1 : 24 enodes (cost 15 ) 268.742 * * [simplify]: iteration 2 : 67 enodes (cost 15 ) 268.759 * * [simplify]: iteration 3 : 211 enodes (cost 11 ) 268.843 * * [simplify]: iteration 4 : 522 enodes (cost 8 ) 269.030 * * [simplify]: iteration 5 : 1344 enodes (cost 8 ) 270.409 * * [simplify]: iteration 6 : 3404 enodes (cost 8 ) 271.423 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 271.424 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 271.426 * * [simplify]: iteration 1 : 32 enodes (cost 23 ) 271.433 * * [simplify]: iteration 2 : 135 enodes (cost 17 ) 271.515 * * [simplify]: iteration 3 : 631 enodes (cost 11 ) 272.772 * * [simplify]: iteration 4 : 2674 enodes (cost 11 ) 275.310 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 275.311 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 275.313 * * [simplify]: iteration 1 : 36 enodes (cost 23 ) 275.322 * * [simplify]: iteration 2 : 146 enodes (cost 15 ) 275.419 * * [simplify]: iteration 3 : 730 enodes (cost 13 ) 277.055 * * [simplify]: iteration 4 : 2859 enodes (cost 11 ) 280.143 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 280.144 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 280.146 * * [simplify]: iteration 1 : 31 enodes (cost 23 ) 280.159 * * [simplify]: iteration 2 : 127 enodes (cost 13 ) 280.236 * * [simplify]: iteration 3 : 631 enodes (cost 11 ) 281.490 * * [simplify]: iteration 4 : 2392 enodes (cost 11 ) 290.608 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 290.609 * * [simplify]: iteration 0 : 11 enodes (cost 30 ) 290.611 * * [simplify]: iteration 1 : 33 enodes (cost 30 ) 290.619 * * [simplify]: iteration 2 : 156 enodes (cost 14 ) 290.740 * * [simplify]: iteration 3 : 1062 enodes (cost 14 ) 292.464 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 292.465 * * [simplify]: iteration 0 : 15 enodes (cost 37 ) 292.467 * * [simplify]: iteration 1 : 43 enodes (cost 37 ) 292.485 * * [simplify]: iteration 2 : 183 enodes (cost 21 ) 292.631 * * [simplify]: iteration 3 : 1003 enodes (cost 13 ) 294.573 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 294.574 * * [simplify]: iteration 0 : 15 enodes (cost 37 ) 294.576 * * [simplify]: iteration 1 : 47 enodes (cost 37 ) 294.588 * * [simplify]: iteration 2 : 193 enodes (cost 19 ) 294.753 * * [simplify]: iteration 3 : 1111 enodes (cost 15 ) 296.590 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 296.591 * * [simplify]: iteration 0 : 13 enodes (cost 37 ) 296.594 * * [simplify]: iteration 1 : 42 enodes (cost 37 ) 296.604 * * [simplify]: iteration 2 : 178 enodes (cost 17 ) 296.744 * * [simplify]: iteration 3 : 938 enodes (cost 13 ) 298.586 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 298.586 * * [simplify]: iteration 0 : 13 enodes (cost 44 ) 298.589 * * [simplify]: iteration 1 : 42 enodes (cost 44 ) 298.599 * * [simplify]: iteration 2 : 199 enodes (cost 18 ) 298.770 * * [simplify]: iteration 3 : 1315 enodes (cost 13 ) 300.401 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 300.401 * * [simplify]: iteration 0 : 11 enodes (cost 31 ) 300.403 * * [simplify]: iteration 1 : 23 enodes (cost 31 ) 300.407 * * [simplify]: iteration 2 : 55 enodes (cost 31 ) 300.425 * * [simplify]: iteration 3 : 134 enodes (cost 23 ) 300.481 * * [simplify]: iteration 4 : 186 enodes (cost 17 ) 300.543 * * [simplify]: iteration 5 : 190 enodes (cost 17 ) 300.604 * * [simplify]: iteration 6 : 196 enodes (cost 17 ) 300.666 * * [simplify]: iteration 7 : 206 enodes (cost 17 ) 300.732 * * [simplify]: iteration 8 : 227 enodes (cost 17 ) 300.801 * * [simplify]: iteration 9 : 292 enodes (cost 17 ) 300.907 * * [simplify]: iteration 10 : 506 enodes (cost 17 ) 301.432 * * [simplify]: iteration 11 : 1440 enodes (cost 17 ) 303.634 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 303.635 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 303.636 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 303.641 * * [simplify]: iteration 2 : 54 enodes (cost 15 ) 303.656 * * [simplify]: iteration 3 : 135 enodes (cost 11 ) 303.710 * * [simplify]: iteration 4 : 185 enodes (cost 8 ) 303.773 * * [simplify]: iteration 5 : 191 enodes (cost 8 ) 303.835 * * [simplify]: iteration 6 : 197 enodes (cost 8 ) 303.899 * * [simplify]: iteration 7 : 207 enodes (cost 8 ) 303.963 * * [simplify]: iteration 8 : 228 enodes (cost 8 ) 304.033 * * [simplify]: iteration 9 : 295 enodes (cost 8 ) 304.141 * * [simplify]: iteration 10 : 508 enodes (cost 8 ) 304.664 * * [simplify]: iteration 11 : 1437 enodes (cost 8 ) 306.895 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 306.896 * * [simplify]: iteration 0 : 11 enodes (cost 44 ) 306.898 * * [simplify]: iteration 1 : 33 enodes (cost 44 ) 306.906 * * [simplify]: iteration 2 : 158 enodes (cost 16 ) 307.058 * * [simplify]: iteration 3 : 1090 enodes (cost 12 ) 308.712 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 308.712 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 308.714 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 308.718 * * [simplify]: iteration 2 : 54 enodes (cost 15 ) 308.732 * * [simplify]: iteration 3 : 135 enodes (cost 11 ) 308.788 * * [simplify]: iteration 4 : 185 enodes (cost 8 ) 308.853 * * [simplify]: iteration 5 : 191 enodes (cost 8 ) 308.915 * * [simplify]: iteration 6 : 197 enodes (cost 8 ) 308.981 * * [simplify]: iteration 7 : 207 enodes (cost 8 ) 309.044 * * [simplify]: iteration 8 : 228 enodes (cost 8 ) 309.114 * * [simplify]: iteration 9 : 295 enodes (cost 8 ) 309.223 * * [simplify]: iteration 10 : 508 enodes (cost 8 ) 309.758 * * [simplify]: iteration 11 : 1437 enodes (cost 8 ) 311.994 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 311.995 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 311.996 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 312.000 * * [simplify]: iteration 2 : 54 enodes (cost 15 ) 312.015 * * [simplify]: iteration 3 : 135 enodes (cost 11 ) 312.072 * * [simplify]: iteration 4 : 185 enodes (cost 8 ) 312.137 * * [simplify]: iteration 5 : 191 enodes (cost 8 ) 312.199 * * [simplify]: iteration 6 : 197 enodes (cost 8 ) 312.261 * * [simplify]: iteration 7 : 207 enodes (cost 8 ) 312.325 * * [simplify]: iteration 8 : 228 enodes (cost 8 ) 312.395 * * [simplify]: iteration 9 : 295 enodes (cost 8 ) 312.504 * * [simplify]: iteration 10 : 508 enodes (cost 8 ) 313.025 * * [simplify]: iteration 11 : 1437 enodes (cost 8 ) 315.266 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 315.266 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 315.267 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 315.267 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 315.268 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 315.269 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 315.270 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 315.272 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 315.276 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 315.291 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 315.333 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 315.805 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 318.278 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 318.279 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 318.280 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 318.283 * * [simplify]: iteration 2 : 41 enodes (cost 11 ) 318.292 * * [simplify]: iteration 3 : 76 enodes (cost 11 ) 318.311 * * [simplify]: iteration 4 : 90 enodes (cost 11 ) 318.338 * * [simplify]: iteration done : 90 enodes (cost 11 ) 318.338 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 318.339 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 318.340 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 318.341 * * [simplify]: iteration done : 9 enodes (cost 5 ) 318.342 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 318.342 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 318.343 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 318.344 * * [simplify]: iteration done : 9 enodes (cost 5 ) 318.345 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 318.346 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 318.347 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 318.348 * * [simplify]: iteration 3 : 14 enodes (cost 7 ) 318.350 * * [simplify]: iteration done : 14 enodes (cost 7 ) 318.350 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 318.351 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 318.352 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 318.354 * * [simplify]: iteration 3 : 16 enodes (cost 7 ) 318.355 * * [simplify]: iteration 4 : 17 enodes (cost 7 ) 318.357 * * [simplify]: iteration done : 17 enodes (cost 7 ) 318.358 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 318.359 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 318.360 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 318.362 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 318.365 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 318.368 * * [simplify]: iteration 5 : 26 enodes (cost 6 ) 318.371 * * [simplify]: iteration done : 26 enodes (cost 6 ) 318.372 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 318.373 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 318.374 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 318.377 * * [simplify]: iteration 3 : 40 enodes (cost 6 ) 318.386 * * [simplify]: iteration 4 : 84 enodes (cost 6 ) 318.400 * * [simplify]: iteration 5 : 194 enodes (cost 6 ) 318.485 * * [simplify]: iteration 6 : 475 enodes (cost 6 ) 318.818 * * [simplify]: iteration 7 : 1303 enodes (cost 6 ) 320.490 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 320.491 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 320.492 * * [simplify]: iteration 1 : 20 enodes (cost 17 ) 320.496 * * [simplify]: iteration 2 : 77 enodes (cost 11 ) 320.529 * * [simplify]: iteration 3 : 219 enodes (cost 7 ) 320.663 * * [simplify]: iteration 4 : 454 enodes (cost 7 ) 321.156 * * [simplify]: iteration 5 : 1201 enodes (cost 7 ) 323.738 * * [simplify]: iteration 6 : 4018 enodes (cost 7 ) 326.006 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 326.006 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 326.008 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 326.013 * * [simplify]: iteration 2 : 89 enodes (cost 9 ) 326.060 * * [simplify]: iteration 3 : 270 enodes (cost 9 ) 326.250 * * [simplify]: iteration 4 : 451 enodes (cost 7 ) 326.718 * * [simplify]: iteration 5 : 1025 enodes (cost 7 ) 328.908 * * [simplify]: iteration 6 : 3081 enodes (cost 7 ) 331.393 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 331.394 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 331.395 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 331.396 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 331.398 * * [simplify]: iteration done : 11 enodes (cost 13 ) 331.398 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 331.399 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 331.400 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 331.401 * * [simplify]: iteration done : 10 enodes (cost 6 ) 331.402 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 331.403 * * [simplify]: iteration 1 : 19 enodes (cost 17 ) 331.408 * * [simplify]: iteration 2 : 72 enodes (cost 7 ) 331.443 * * [simplify]: iteration 3 : 211 enodes (cost 7 ) 331.595 * * [simplify]: iteration 4 : 361 enodes (cost 7 ) 331.822 * * [simplify]: iteration 5 : 532 enodes (cost 7 ) 332.416 * * [simplify]: iteration 6 : 1355 enodes (cost 7 ) 335.687 * * [simplify]: iteration 7 : 4489 enodes (cost 7 ) 337.720 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 337.721 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 337.722 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 337.723 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 337.724 * * [simplify]: iteration done : 10 enodes (cost 6 ) 337.725 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 337.725 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 337.726 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 337.728 * * [simplify]: iteration done : 10 enodes (cost 6 ) 337.729 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 337.729 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 337.731 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 337.735 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 337.747 * * [simplify]: iteration done : 37 enodes (cost 9 ) 337.748 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 337.749 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 337.750 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 337.752 * * [simplify]: iteration done : 15 enodes (cost 6 ) 337.752 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 337.753 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 337.755 * * [simplify]: iteration 2 : 23 enodes (cost 3 ) 337.757 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 337.758 * * [simplify]: iteration done : 27 enodes (cost 3 ) 337.759 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 337.759 * * [simplify]: iteration done : 2 enodes (cost 3 ) 337.759 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 337.761 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 337.764 * * [simplify]: iteration 2 : 43 enodes (cost 8 ) 337.768 * * [simplify]: iteration 3 : 60 enodes (cost 8 ) 337.775 * * [simplify]: iteration 4 : 67 enodes (cost 8 ) 337.783 * * [simplify]: iteration 5 : 77 enodes (cost 8 ) 337.792 * * [simplify]: iteration 6 : 99 enodes (cost 8 ) 337.812 * * [simplify]: iteration 7 : 160 enodes (cost 8 ) 337.867 * * [simplify]: iteration 8 : 373 enodes (cost 8 ) 338.355 * * [simplify]: iteration 9 : 1311 enodes (cost 8 ) 341.667 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 341.668 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 341.669 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 341.672 * * [simplify]: iteration 2 : 43 enodes (cost 8 ) 341.677 * * [simplify]: iteration 3 : 60 enodes (cost 8 ) 341.684 * * [simplify]: iteration 4 : 67 enodes (cost 8 ) 341.692 * * [simplify]: iteration 5 : 77 enodes (cost 8 ) 341.707 * * [simplify]: iteration 6 : 99 enodes (cost 8 ) 341.722 * * [simplify]: iteration 7 : 160 enodes (cost 8 ) 341.778 * * [simplify]: iteration 8 : 373 enodes (cost 8 ) 342.274 * * [simplify]: iteration 9 : 1311 enodes (cost 8 ) 344.785 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 344.785 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 344.786 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 344.789 * * [simplify]: iteration 2 : 43 enodes (cost 8 ) 344.794 * * [simplify]: iteration 3 : 60 enodes (cost 8 ) 344.801 * * [simplify]: iteration 4 : 67 enodes (cost 8 ) 344.816 * * [simplify]: iteration 5 : 77 enodes (cost 8 ) 344.825 * * [simplify]: iteration 6 : 99 enodes (cost 8 ) 344.840 * * [simplify]: iteration 7 : 160 enodes (cost 8 ) 344.896 * * [simplify]: iteration 8 : 373 enodes (cost 8 ) 345.398 * * [simplify]: iteration 9 : 1311 enodes (cost 8 ) 347.925 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 347.925 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 347.926 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 347.929 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 347.934 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 347.947 * * [simplify]: iteration 4 : 68 enodes (cost 7 ) 347.956 * * [simplify]: iteration 5 : 78 enodes (cost 7 ) 347.964 * * [simplify]: iteration 6 : 100 enodes (cost 7 ) 347.979 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 348.034 * * [simplify]: iteration 8 : 376 enodes (cost 7 ) 348.527 * * [simplify]: iteration 9 : 1321 enodes (cost 7 ) 350.974 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 350.974 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 350.976 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 350.979 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 350.983 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 350.990 * * [simplify]: iteration 4 : 68 enodes (cost 7 ) 350.998 * * [simplify]: iteration 5 : 78 enodes (cost 7 ) 351.007 * * [simplify]: iteration 6 : 100 enodes (cost 7 ) 351.029 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 351.077 * * [simplify]: iteration 8 : 376 enodes (cost 7 ) 351.563 * * [simplify]: iteration 9 : 1321 enodes (cost 7 ) 353.996 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 353.996 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 353.997 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 354.000 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 354.005 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 354.012 * * [simplify]: iteration 4 : 68 enodes (cost 7 ) 354.020 * * [simplify]: iteration 5 : 78 enodes (cost 7 ) 354.036 * * [simplify]: iteration 6 : 100 enodes (cost 7 ) 354.051 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 354.106 * * [simplify]: iteration 8 : 376 enodes (cost 7 ) 354.602 * * [simplify]: iteration 9 : 1321 enodes (cost 7 ) 357.022 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 357.023 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 357.024 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 357.025 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 357.027 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 357.030 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 357.032 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 357.036 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 357.053 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 357.097 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 357.559 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 359.945 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 359.946 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 359.946 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 359.948 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 359.950 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 359.952 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 359.955 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 359.959 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 359.968 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 360.019 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 360.495 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 362.884 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 362.885 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 362.886 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 362.887 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 362.889 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 362.891 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 362.895 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 362.899 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 362.909 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 362.963 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 363.434 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 365.830 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 365.831 * [simplify]: Simplified to: (* (cbrt 3.0) (* (* x y) y)) (* (cbrt 3.0) (* (* x y) y)) (* (cbrt 3.0) (* (* x y) y)) (+ (log x) (+ (* 2 (log y)) (log (cbrt 3.0)))) (+ (log (cbrt 3.0)) (+ (log (* x y)) (log y))) (+ (log (cbrt 3.0)) (log (* (* x y) y))) (log (* (cbrt 3.0) (* (* x y) y))) (exp (* (cbrt 3.0) (* (* x y) y))) (* (* 3.0 (pow x 3)) (pow y 6)) (* 3.0 (pow (* x (* y y)) 3)) (* (pow (* (* x y) y) 3) 3.0) (* (cbrt (* (cbrt 3.0) (* (* x y) y))) (cbrt (* (cbrt 3.0) (* (* x y) y)))) (cbrt (* (cbrt 3.0) (* (* x y) y))) (* (pow (* (* x y) y) 3) 3.0) (sqrt (* (cbrt 3.0) (* (* x y) y))) (sqrt (* (cbrt 3.0) (* (* x y) y))) (* (cbrt 3.0) (* x y)) (* (cbrt (cbrt 3.0)) (* (* x y) y)) (* (cbrt (sqrt 3.0)) (* (* x y) y)) (* (cbrt 3.0) (* (* x y) y)) (* (cbrt (cbrt 3.0)) (* (* x y) y)) (* (sqrt (cbrt 3.0)) (* (* x y) y)) (* (cbrt 3.0) (* (* x y) y)) (* (* (* x y) y) 3.0) (* (* (* x y) y) 3.0) (* (* (* x y) y) 3.0) (* (* (* x y) y) 3.0) (* (* (* x y) y) 3.0) (* (* (* x y) y) 3.0) (* (* (* x y) y) 3.0) (* (* (* x y) y) 3.0) (+ (* 3 (log (cbrt 3.0))) (+ (log x) (* 2 (log y)))) (+ (+ (log (* x y)) (log y)) (* 3 (log (cbrt 3.0)))) (+ (log (* (* x y) y)) (* 3 (log (cbrt 3.0)))) (+ (log (* (* x y) y)) (* 3 (log (cbrt 3.0)))) (+ (* 3 (log (cbrt 3.0))) (+ (* 2 (log y)) (log x))) (+ (* 3 (log (cbrt 3.0))) (+ (log (* x y)) (log y))) (+ (log (* (* x y) y)) (* 3 (log (cbrt 3.0)))) (+ (log (* (* x y) y)) (* 3 (log (cbrt 3.0)))) (log (* 3.0 (* (* x y) y))) (pow (pow (exp x) 3.0) (* y y)) (* (* (pow x 3) (pow y 6)) (pow 3.0 3)) (* (pow (* x (* y y)) 3) (pow 3.0 3)) (* (pow 3.0 3) (pow (* (* x y) y) 3)) (* (pow (* (cbrt 3.0) (* (* x y) y)) 3) (* 3.0 3.0)) (* (pow x 3) (* (* (pow y 6) 3.0) (* 3.0 3.0))) (* (* (* (* 3.0 (pow y 3)) 3.0) (pow (* x y) 3)) 3.0) (* (* 3.0 (pow (* (* x y) y) 3)) (* 3.0 3.0)) (* (* 3.0 (pow (* (* x y) y) 3)) (* 3.0 3.0)) (* (cbrt (* (* (* x y) y) 3.0)) (cbrt (* (* (* x y) y) 3.0))) (cbrt (* x (* 3.0 (* y y)))) (pow (* (* y (pow (cbrt 3.0) 3)) (* x y)) 3) (sqrt (* x (* 3.0 (* y y)))) (sqrt (* x (* 3.0 (* y y)))) 3.0 (* (cbrt 3.0) (* (cbrt 3.0) (* (* x y) y))) (* (* x y) y) (* (* x y) y) (+ (* 2 (log y)) (log x)) (+ (log (* x y)) (log y)) (log (* (* x y) y)) (exp (* (* x y) y)) (* (pow x 3) (pow y 6)) (pow (* x (* y y)) 3) (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y))) (cbrt (* (* x y) y)) (pow (* (* x y) y) 3) (sqrt (* (* x y) y)) (sqrt (* (* x y) y)) (* (* x y) (* (cbrt y) (cbrt y))) (* (* x y) (sqrt y)) (* x y) (* y y) (* x (* (cbrt 3.0) (pow y 2))) (* x (* (cbrt 3.0) (pow y 2))) (* x (* (cbrt 3.0) (pow y 2))) (* 3.0 (* x (pow y 2))) (* 3.0 (* x (pow y 2))) (* 3.0 (* x (pow y 2))) (* x (pow y 2)) (* x (pow y 2)) (* x (pow y 2)) 365.831 * * * [progress]: adding candidates to table 365.966 * [progress]: [Phase 3 of 3] Extracting. 365.966 * * [regime]: Finding splitpoints for: (# # # # # # #) 365.967 * * * [regime-changes]: Trying 4 branch expressions: ((* x 3.0) (* (* (* x 3.0) y) y) y x) 365.967 * * * * [regimes]: Trying to branch on (* x 3.0) from (# # # # # # #) 366.022 * * * * [regimes]: Trying to branch on (* x 3.0) from (# #) 366.059 * * * * [regimes]: Trying to branch on (* (* (* x 3.0) y) y) from (# # # # # # #) 366.110 * * * * [regimes]: Trying to branch on (* (* (* x 3.0) y) y) from (# #) 366.147 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 366.199 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 366.251 * * * [regime]: Found split indices: #