991.280 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.022 * [progress]: [Phase 2 of 3] Improving. 0.022 * [simplify]: Simplifying using # : (* (* (* x 3.0) x) y) 0.023 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.024 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.026 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 0.038 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 0.044 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 0.051 * * [simplify]: iteration done : 40 enodes (cost 7 ) 0.051 * [simplify]: Simplified to: (* (* (* x 3.0) x) y) 0.051 * * [progress]: iteration 1 / 4 0.051 * * * [progress]: picking best candidate 0.053 * * * * [pick]: Picked # 0.053 * * * [progress]: localizing error 0.058 * * * [progress]: generating rewritten candidates 0.058 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.066 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.073 * * * [progress]: generating series expansions 0.073 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.073 * [approximate]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in (x y) around 0 0.073 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in y 0.073 * [taylor]: Taking taylor expansion of 3.0 in y 0.073 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 0.073 * [taylor]: Taking taylor expansion of (pow x 2) 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 (* (pow x 2) y)) in x 0.073 * [taylor]: Taking taylor expansion of 3.0 in x 0.073 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 0.073 * [taylor]: Taking taylor expansion of (pow x 2) 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 (* (pow x 2) y)) in x 0.074 * [taylor]: Taking taylor expansion of 3.0 in x 0.074 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 0.074 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.074 * [taylor]: Taking taylor expansion of x in x 0.074 * [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.075 * [taylor]: Taking taylor expansion of 0 in y 0.075 * [approximate]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in (x y) around 0 0.075 * [taylor]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in y 0.075 * [taylor]: Taking taylor expansion of 3.0 in y 0.075 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 0.075 * [taylor]: Taking taylor expansion of (pow x 2) 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 (* (pow x 2) y)) in x 0.075 * [taylor]: Taking taylor expansion of 3.0 in x 0.075 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 0.075 * [taylor]: Taking taylor expansion of (pow x 2) 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 (* (pow x 2) y)) in x 0.075 * [taylor]: Taking taylor expansion of 3.0 in x 0.075 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 0.075 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.076 * [taylor]: Taking taylor expansion of x in x 0.076 * [taylor]: Taking taylor expansion of y in x 0.076 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 0.076 * [taylor]: Taking taylor expansion of 3.0 in y 0.076 * [taylor]: Taking taylor expansion of y in y 0.076 * [taylor]: Taking taylor expansion of 0 in y 0.076 * [taylor]: Taking taylor expansion of 0 in y 0.077 * [taylor]: Taking taylor expansion of 0 in y 0.077 * [approximate]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in (x y) around 0 0.077 * [taylor]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in y 0.077 * [taylor]: Taking taylor expansion of -3.0 in y 0.077 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 0.077 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.077 * [taylor]: Taking taylor expansion of x in y 0.077 * [taylor]: Taking taylor expansion of y in y 0.078 * [taylor]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in x 0.078 * [taylor]: Taking taylor expansion of -3.0 in x 0.078 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 0.078 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.078 * [taylor]: Taking taylor expansion of x in x 0.078 * [taylor]: Taking taylor expansion of y in x 0.078 * [taylor]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in x 0.078 * [taylor]: Taking taylor expansion of -3.0 in x 0.078 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 0.078 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.078 * [taylor]: Taking taylor expansion of x in x 0.078 * [taylor]: Taking taylor expansion of y in x 0.078 * [taylor]: Taking taylor expansion of (/ -3.0 y) in y 0.078 * [taylor]: Taking taylor expansion of -3.0 in y 0.078 * [taylor]: Taking taylor expansion of y in y 0.078 * [taylor]: Taking taylor expansion of 0 in y 0.078 * [taylor]: Taking taylor expansion of 0 in y 0.079 * [taylor]: Taking taylor expansion of 0 in y 0.079 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.079 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0 0.079 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x 0.079 * [taylor]: Taking taylor expansion of 3.0 in x 0.079 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.079 * [taylor]: Taking taylor expansion of x in x 0.079 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x 0.079 * [taylor]: Taking taylor expansion of 3.0 in x 0.079 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.079 * [taylor]: Taking taylor expansion of x in x 0.080 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0 0.080 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 0.080 * [taylor]: Taking taylor expansion of 3.0 in x 0.080 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.080 * [taylor]: Taking taylor expansion of x in x 0.080 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 0.080 * [taylor]: Taking taylor expansion of 3.0 in x 0.080 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.080 * [taylor]: Taking taylor expansion of x in x 0.081 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0 0.081 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 0.081 * [taylor]: Taking taylor expansion of 3.0 in x 0.081 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.081 * [taylor]: Taking taylor expansion of x in x 0.081 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 0.081 * [taylor]: Taking taylor expansion of 3.0 in x 0.081 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.081 * [taylor]: Taking taylor expansion of x in x 0.082 * * * [progress]: simplifying candidates 0.083 * [simplify]: Simplifying using # : (* (* (* x 3.0) x) y) (* (* (* x 3.0) x) y) (* (* (* x 3.0) x) y) (+ (+ (+ (log x) (log 3.0)) (log x)) (log y)) (+ (+ (log (* x 3.0)) (log x)) (log y)) (+ (log (* (* x 3.0) x)) (log y)) (log (* (* (* x 3.0) x) y)) (exp (* (* (* x 3.0) x) y)) (* (* (* (* (* x x) x) (* (* 3.0 3.0) 3.0)) (* (* x x) x)) (* (* y y) y)) (* (* (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* (* x x) x)) (* (* y y) y)) (* (* (* (* (* x 3.0) x) (* (* x 3.0) x)) (* (* x 3.0) x)) (* (* y y) y)) (* (cbrt (* (* (* x 3.0) x) y)) (cbrt (* (* (* x 3.0) x) y))) (cbrt (* (* (* x 3.0) x) y)) (* (* (* (* (* x 3.0) x) y) (* (* (* x 3.0) x) y)) (* (* (* x 3.0) x) y)) (sqrt (* (* (* x 3.0) x) y)) (sqrt (* (* (* x 3.0) x) y)) (* (* (* x 3.0) x) (* (cbrt y) (cbrt y))) (* (* (* x 3.0) x) (sqrt y)) (* (* (* x 3.0) x) 1) (* x y) (* (* x 3.0) x) (* (* x 3.0) x) (+ (+ (log x) (log 3.0)) (log x)) (+ (log (* x 3.0)) (log x)) (log (* (* x 3.0) x)) (exp (* (* x 3.0) x)) (* (* (* (* x x) x) (* (* 3.0 3.0) 3.0)) (* (* x x) x)) (* (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* (* x x) x)) (* (cbrt (* (* x 3.0) x)) (cbrt (* (* x 3.0) x))) (cbrt (* (* x 3.0) x)) (* (* (* (* x 3.0) x) (* (* x 3.0) x)) (* (* x 3.0) x)) (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x)) (* (* x 3.0) (* (cbrt x) (cbrt x))) (* (* x 3.0) (sqrt x)) (* (* x 3.0) 1) (* 3.0 x) (* 3.0 (* (pow x 2) y)) (* 3.0 (* (pow x 2) y)) (* 3.0 (* (pow x 2) y)) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) 0.084 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.084 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.086 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 0.090 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 0.097 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 0.103 * * [simplify]: iteration done : 40 enodes (cost 7 ) 0.103 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.104 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.106 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 0.116 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 0.122 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 0.129 * * [simplify]: iteration done : 40 enodes (cost 7 ) 0.129 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.130 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.132 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 0.136 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 0.143 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 0.149 * * [simplify]: iteration done : 40 enodes (cost 7 ) 0.150 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 0.151 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 0.152 * * [simplify]: iteration 2 : 27 enodes (cost 11 ) 0.156 * * [simplify]: iteration 3 : 44 enodes (cost 10 ) 0.162 * * [simplify]: iteration 4 : 48 enodes (cost 10 ) 0.173 * * [simplify]: iteration done : 48 enodes (cost 10 ) 0.174 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 0.175 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 0.177 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 0.181 * * [simplify]: iteration 3 : 44 enodes (cost 10 ) 0.187 * * [simplify]: iteration 4 : 48 enodes (cost 10 ) 0.193 * * [simplify]: iteration done : 48 enodes (cost 10 ) 0.194 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.195 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.196 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 0.200 * * [simplify]: iteration 3 : 42 enodes (cost 9 ) 0.206 * * [simplify]: iteration 4 : 60 enodes (cost 9 ) 0.214 * * [simplify]: iteration 5 : 61 enodes (cost 9 ) 0.221 * * [simplify]: iteration done : 61 enodes (cost 9 ) 0.221 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.222 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 0.224 * * [simplify]: iteration 2 : 35 enodes (cost 8 ) 0.235 * * [simplify]: iteration 3 : 72 enodes (cost 8 ) 0.246 * * [simplify]: iteration 4 : 98 enodes (cost 8 ) 0.261 * * [simplify]: iteration 5 : 100 enodes (cost 8 ) 0.274 * * [simplify]: iteration 6 : 101 enodes (cost 8 ) 0.292 * * [simplify]: iteration done : 101 enodes (cost 8 ) 0.293 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.294 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.296 * * [simplify]: iteration 2 : 38 enodes (cost 8 ) 0.302 * * [simplify]: iteration 3 : 82 enodes (cost 8 ) 0.317 * * [simplify]: iteration 4 : 168 enodes (cost 8 ) 0.352 * * [simplify]: iteration 5 : 386 enodes (cost 8 ) 0.540 * * [simplify]: iteration 6 : 916 enodes (cost 8 ) 1.331 * * [simplify]: iteration 7 : 2368 enodes (cost 8 ) 2.465 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 2.467 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 2.469 * * [simplify]: iteration 1 : 28 enodes (cost 23 ) 2.475 * * [simplify]: iteration 2 : 112 enodes (cost 15 ) 2.536 * * [simplify]: iteration 3 : 560 enodes (cost 11 ) 3.559 * * [simplify]: iteration 4 : 2600 enodes (cost 11 ) 5.668 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 5.669 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 5.671 * * [simplify]: iteration 1 : 34 enodes (cost 23 ) 5.682 * * [simplify]: iteration 2 : 140 enodes (cost 13 ) 5.772 * * [simplify]: iteration 3 : 718 enodes (cost 13 ) 7.041 * * [simplify]: iteration 4 : 2955 enodes (cost 11 ) 10.113 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 10.113 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 10.115 * * [simplify]: iteration 1 : 28 enodes (cost 23 ) 10.121 * * [simplify]: iteration 2 : 114 enodes (cost 11 ) 10.184 * * [simplify]: iteration 3 : 544 enodes (cost 11 ) 11.123 * * [simplify]: iteration 4 : 2250 enodes (cost 9 ) 14.949 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 14.950 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 14.951 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 14.953 * * [simplify]: iteration 2 : 26 enodes (cost 17 ) 14.957 * * [simplify]: iteration 3 : 41 enodes (cost 17 ) 14.967 * * [simplify]: iteration 4 : 44 enodes (cost 17 ) 14.973 * * [simplify]: iteration done : 44 enodes (cost 17 ) 14.974 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 14.975 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 14.976 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 14.981 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 14.987 * * [simplify]: iteration 4 : 43 enodes (cost 8 ) 14.993 * * [simplify]: iteration done : 43 enodes (cost 8 ) 14.994 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 14.995 * * [simplify]: iteration 1 : 23 enodes (cost 23 ) 15.000 * * [simplify]: iteration 2 : 99 enodes (cost 9 ) 15.071 * * [simplify]: iteration 3 : 579 enodes (cost 9 ) 16.436 * * [simplify]: iteration 4 : 2297 enodes (cost 9 ) 22.833 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 22.834 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 22.835 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 22.837 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 22.841 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 22.849 * * [simplify]: iteration 4 : 43 enodes (cost 8 ) 22.858 * * [simplify]: iteration done : 43 enodes (cost 8 ) 22.858 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 22.859 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 22.861 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 22.865 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 22.872 * * [simplify]: iteration 4 : 43 enodes (cost 8 ) 22.879 * * [simplify]: iteration done : 43 enodes (cost 8 ) 22.879 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 22.880 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 22.883 * * [simplify]: iteration 2 : 35 enodes (cost 11 ) 22.890 * * [simplify]: iteration 3 : 74 enodes (cost 11 ) 22.908 * * [simplify]: iteration 4 : 92 enodes (cost 11 ) 22.932 * * [simplify]: iteration done : 92 enodes (cost 11 ) 22.933 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 22.933 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 22.935 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 22.939 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 22.946 * * [simplify]: iteration done : 40 enodes (cost 8 ) 22.947 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 22.947 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 22.950 * * [simplify]: iteration 2 : 32 enodes (cost 5 ) 22.954 * * [simplify]: iteration 3 : 47 enodes (cost 5 ) 22.961 * * [simplify]: iteration 4 : 59 enodes (cost 5 ) 22.964 * * [simplify]: iteration done : 59 enodes (cost 5 ) 22.965 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 22.965 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 22.968 * * [simplify]: iteration done : 4 enodes (cost 3 ) 22.969 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 22.970 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 22.970 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 22.972 * * [simplify]: iteration done : 9 enodes (cost 5 ) 22.972 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 22.973 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 22.973 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 22.974 * * [simplify]: iteration done : 9 enodes (cost 5 ) 22.975 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 22.976 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 22.977 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 22.978 * * [simplify]: iteration 3 : 13 enodes (cost 7 ) 22.979 * * [simplify]: iteration 4 : 14 enodes (cost 7 ) 22.981 * * [simplify]: iteration done : 14 enodes (cost 7 ) 22.981 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 22.982 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 22.983 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 22.984 * * [simplify]: iteration 3 : 16 enodes (cost 7 ) 22.986 * * [simplify]: iteration 4 : 17 enodes (cost 7 ) 22.988 * * [simplify]: iteration done : 17 enodes (cost 7 ) 22.988 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 22.989 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 22.990 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 22.992 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 22.995 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 22.998 * * [simplify]: iteration 5 : 26 enodes (cost 6 ) 23.000 * * [simplify]: iteration done : 26 enodes (cost 6 ) 23.001 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 23.002 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 23.003 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 23.006 * * [simplify]: iteration 3 : 37 enodes (cost 6 ) 23.012 * * [simplify]: iteration 4 : 78 enodes (cost 6 ) 23.025 * * [simplify]: iteration 5 : 175 enodes (cost 6 ) 23.092 * * [simplify]: iteration 6 : 423 enodes (cost 6 ) 23.368 * * [simplify]: iteration 7 : 1172 enodes (cost 6 ) 25.463 * * [simplify]: iteration 8 : 4568 enodes (cost 6 ) 26.758 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 26.758 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 26.760 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 26.763 * * [simplify]: iteration 2 : 64 enodes (cost 11 ) 26.786 * * [simplify]: iteration 3 : 200 enodes (cost 7 ) 26.920 * * [simplify]: iteration 4 : 446 enodes (cost 7 ) 27.326 * * [simplify]: iteration 5 : 1121 enodes (cost 7 ) 29.699 * * [simplify]: iteration 6 : 3799 enodes (cost 7 ) 31.731 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 31.732 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 31.733 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 31.739 * * [simplify]: iteration 2 : 88 enodes (cost 9 ) 31.786 * * [simplify]: iteration 3 : 270 enodes (cost 9 ) 31.992 * * [simplify]: iteration 4 : 490 enodes (cost 7 ) 32.431 * * [simplify]: iteration 5 : 1060 enodes (cost 7 ) 34.430 * * [simplify]: iteration 6 : 3098 enodes (cost 7 ) 36.485 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 36.486 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 36.486 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 36.487 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 36.489 * * [simplify]: iteration done : 11 enodes (cost 13 ) 36.489 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 36.490 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 36.491 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 36.492 * * [simplify]: iteration done : 10 enodes (cost 6 ) 36.492 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 36.494 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 36.498 * * [simplify]: iteration 2 : 65 enodes (cost 7 ) 36.522 * * [simplify]: iteration 3 : 176 enodes (cost 7 ) 36.641 * * [simplify]: iteration 4 : 314 enodes (cost 7 ) 37.083 * * [simplify]: iteration 5 : 505 enodes (cost 7 ) 37.648 * * [simplify]: iteration 6 : 1317 enodes (cost 7 ) 40.723 * * [simplify]: iteration 7 : 4379 enodes (cost 7 ) 42.767 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 42.768 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 42.768 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 42.769 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 42.770 * * [simplify]: iteration done : 10 enodes (cost 6 ) 42.771 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 42.771 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 42.772 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 42.773 * * [simplify]: iteration done : 10 enodes (cost 6 ) 42.774 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 42.775 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 42.776 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 42.787 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 42.793 * * [simplify]: iteration done : 37 enodes (cost 9 ) 42.794 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 42.795 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 42.796 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 42.798 * * [simplify]: iteration done : 15 enodes (cost 6 ) 42.798 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 42.799 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 42.801 * * [simplify]: iteration 2 : 23 enodes (cost 3 ) 42.803 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 42.804 * * [simplify]: iteration done : 27 enodes (cost 3 ) 42.805 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 42.805 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 42.805 * * [simplify]: iteration done : 4 enodes (cost 3 ) 42.806 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 42.807 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 42.810 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 42.814 * * [simplify]: iteration 3 : 61 enodes (cost 7 ) 42.822 * * [simplify]: iteration 4 : 69 enodes (cost 7 ) 42.829 * * [simplify]: iteration 5 : 79 enodes (cost 7 ) 42.839 * * [simplify]: iteration 6 : 101 enodes (cost 7 ) 42.857 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 42.911 * * [simplify]: iteration 8 : 382 enodes (cost 7 ) 43.378 * * [simplify]: iteration 9 : 1320 enodes (cost 7 ) 45.727 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 45.728 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 45.729 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 45.733 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 45.738 * * [simplify]: iteration 3 : 61 enodes (cost 7 ) 45.745 * * [simplify]: iteration 4 : 69 enodes (cost 7 ) 45.753 * * [simplify]: iteration 5 : 79 enodes (cost 7 ) 45.762 * * [simplify]: iteration 6 : 101 enodes (cost 7 ) 45.782 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 45.836 * * [simplify]: iteration 8 : 382 enodes (cost 7 ) 46.298 * * [simplify]: iteration 9 : 1320 enodes (cost 7 ) 48.603 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 48.604 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 48.605 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 48.608 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 48.612 * * [simplify]: iteration 3 : 61 enodes (cost 7 ) 48.620 * * [simplify]: iteration 4 : 69 enodes (cost 7 ) 48.627 * * [simplify]: iteration 5 : 79 enodes (cost 7 ) 48.636 * * [simplify]: iteration 6 : 101 enodes (cost 7 ) 48.658 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 48.712 * * [simplify]: iteration 8 : 382 enodes (cost 7 ) 49.175 * * [simplify]: iteration 9 : 1320 enodes (cost 7 ) 51.480 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 51.481 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 51.481 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 51.483 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 51.485 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 51.487 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 51.490 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 51.494 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 51.503 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 51.553 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 52.004 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 54.294 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 54.295 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 54.296 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 54.298 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 54.300 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 54.302 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 54.304 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 54.314 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 54.324 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 54.372 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 54.820 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 57.097 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 57.098 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 57.098 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 57.100 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 57.102 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 57.104 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 57.107 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 57.111 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 57.120 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 57.171 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 57.628 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 59.910 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 59.917 * [simplify]: Simplified to: (* (* (* x 3.0) x) y) (* (* (* x 3.0) x) y) (* (* (* x 3.0) x) y) (+ (* 2 (log x)) (+ (log 3.0) (log y))) (+ (+ (log (* x 3.0)) (log x)) (log y)) (+ (log (* (* x 3.0) x)) (log y)) (log (* (* (* x 3.0) x) y)) (exp (* (* (* x 3.0) x) y)) (* (pow x 6) (* (pow 3.0 3) (pow y 3))) (* (pow (* (* x x) 3.0) 3) (pow y 3)) (pow (* (* (* x 3.0) x) y) 3) (* (cbrt (* (* (* x 3.0) x) y)) (cbrt (* (* (* x 3.0) x) y))) (cbrt (* (* (* x 3.0) x) y)) (pow (* (* (* x 3.0) x) y) 3) (sqrt (* (* (* x 3.0) x) y)) (sqrt (* (* (* x 3.0) x) y)) (* (* (* x 3.0) x) (* (cbrt y) (cbrt y))) (* (* (* x 3.0) x) (sqrt y)) (* (* x 3.0) x) (* x y) (* (* x 3.0) x) (* (* x 3.0) x) (+ (* 2 (log x)) (log 3.0)) (+ (log (* x 3.0)) (log x)) (log (* (* x 3.0) x)) (exp (* (* x 3.0) x)) (* (pow x 6) (pow 3.0 3)) (pow (* (* x x) 3.0) 3) (* (cbrt (* (* x 3.0) x)) (cbrt (* (* x 3.0) x))) (cbrt (* (* x 3.0) x)) (pow (* (* x 3.0) x) 3) (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x)) (* (* x 3.0) (* (cbrt x) (cbrt x))) (* (* x 3.0) (sqrt x)) (* x 3.0) (* 3.0 x) (* 3.0 (* (pow x 2) y)) (* 3.0 (* (pow x 2) y)) (* 3.0 (* (pow x 2) y)) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) 59.918 * * * [progress]: adding candidates to table 59.987 * * [progress]: iteration 2 / 4 59.987 * * * [progress]: picking best candidate 60.006 * * * * [pick]: Picked # 60.006 * * * [progress]: localizing error 60.012 * * * [progress]: generating rewritten candidates 60.012 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 60.020 * * * [progress]: generating series expansions 60.020 * * * * [progress]: [ 1 / 1 ] generating series at (2) 60.020 * [approximate]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in (x y) around 0 60.020 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in y 60.020 * [taylor]: Taking taylor expansion of 3.0 in y 60.020 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 60.020 * [taylor]: Taking taylor expansion of (pow x 2) in y 60.020 * [taylor]: Taking taylor expansion of x in y 60.020 * [taylor]: Taking taylor expansion of y in y 60.020 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in x 60.020 * [taylor]: Taking taylor expansion of 3.0 in x 60.020 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 60.020 * [taylor]: Taking taylor expansion of (pow x 2) in x 60.020 * [taylor]: Taking taylor expansion of x in x 60.020 * [taylor]: Taking taylor expansion of y in x 60.020 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in x 60.020 * [taylor]: Taking taylor expansion of 3.0 in x 60.021 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 60.021 * [taylor]: Taking taylor expansion of (pow x 2) in x 60.021 * [taylor]: Taking taylor expansion of x in x 60.021 * [taylor]: Taking taylor expansion of y in x 60.021 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 60.021 * [taylor]: Taking taylor expansion of 3.0 in y 60.021 * [taylor]: Taking taylor expansion of y in y 60.021 * [taylor]: Taking taylor expansion of 0 in y 60.021 * [taylor]: Taking taylor expansion of 0 in y 60.021 * [taylor]: Taking taylor expansion of 0 in y 60.021 * [approximate]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in (x y) around 0 60.022 * [taylor]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in y 60.022 * [taylor]: Taking taylor expansion of 3.0 in y 60.022 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 60.022 * [taylor]: Taking taylor expansion of (pow x 2) in y 60.022 * [taylor]: Taking taylor expansion of x in y 60.022 * [taylor]: Taking taylor expansion of y in y 60.022 * [taylor]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in x 60.022 * [taylor]: Taking taylor expansion of 3.0 in x 60.022 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 60.022 * [taylor]: Taking taylor expansion of (pow x 2) in x 60.022 * [taylor]: Taking taylor expansion of x in x 60.022 * [taylor]: Taking taylor expansion of y in x 60.022 * [taylor]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in x 60.022 * [taylor]: Taking taylor expansion of 3.0 in x 60.022 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 60.022 * [taylor]: Taking taylor expansion of (pow x 2) in x 60.022 * [taylor]: Taking taylor expansion of x in x 60.022 * [taylor]: Taking taylor expansion of y in x 60.022 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 60.022 * [taylor]: Taking taylor expansion of 3.0 in y 60.022 * [taylor]: Taking taylor expansion of y in y 60.022 * [taylor]: Taking taylor expansion of 0 in y 60.023 * [taylor]: Taking taylor expansion of 0 in y 60.023 * [taylor]: Taking taylor expansion of 0 in y 60.023 * [approximate]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in (x y) around 0 60.023 * [taylor]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in y 60.023 * [taylor]: Taking taylor expansion of -3.0 in y 60.023 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 60.023 * [taylor]: Taking taylor expansion of (pow x 2) in y 60.023 * [taylor]: Taking taylor expansion of x in y 60.023 * [taylor]: Taking taylor expansion of y in y 60.024 * [taylor]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in x 60.024 * [taylor]: Taking taylor expansion of -3.0 in x 60.024 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 60.024 * [taylor]: Taking taylor expansion of (pow x 2) in x 60.024 * [taylor]: Taking taylor expansion of x in x 60.024 * [taylor]: Taking taylor expansion of y in x 60.024 * [taylor]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in x 60.024 * [taylor]: Taking taylor expansion of -3.0 in x 60.024 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 60.024 * [taylor]: Taking taylor expansion of (pow x 2) in x 60.024 * [taylor]: Taking taylor expansion of x in x 60.024 * [taylor]: Taking taylor expansion of y in x 60.024 * [taylor]: Taking taylor expansion of (/ -3.0 y) in y 60.024 * [taylor]: Taking taylor expansion of -3.0 in y 60.024 * [taylor]: Taking taylor expansion of y in y 60.024 * [taylor]: Taking taylor expansion of 0 in y 60.024 * [taylor]: Taking taylor expansion of 0 in y 60.025 * [taylor]: Taking taylor expansion of 0 in y 60.025 * * * [progress]: simplifying candidates 60.025 * [simplify]: Simplifying using # : (* (* x 3.0) (* x y)) (* (* x 3.0) (* x y)) (* (* x 3.0) (* x y)) (* (* x 3.0) (* x y)) (+ (+ (log x) (log 3.0)) (+ (log x) (log y))) (+ (+ (log x) (log 3.0)) (log (* x y))) (+ (log (* x 3.0)) (+ (log x) (log y))) (+ (log (* x 3.0)) (log (* x y))) (log (* (* x 3.0) (* x y))) (exp (* (* x 3.0) (* x y))) (* (* (* (* x x) x) (* (* 3.0 3.0) 3.0)) (* (* (* x x) x) (* (* y y) y))) (* (* (* (* x x) x) (* (* 3.0 3.0) 3.0)) (* (* (* x y) (* x y)) (* x y))) (* (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* (* (* x x) x) (* (* y y) y))) (* (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* (* (* x y) (* x y)) (* x y))) (* (cbrt (* (* x 3.0) (* x y))) (cbrt (* (* x 3.0) (* x y)))) (cbrt (* (* x 3.0) (* x y))) (* (* (* (* x 3.0) (* x y)) (* (* x 3.0) (* x y))) (* (* x 3.0) (* x y))) (sqrt (* (* x 3.0) (* x y))) (sqrt (* (* x 3.0) (* x y))) (* (* x 3.0) x) (* 3.0 (* x y)) (* 3.0 (* (pow x 2) y)) (* 3.0 (* (pow x 2) y)) (* 3.0 (* (pow x 2) y)) 60.026 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 60.027 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 60.029 * * [simplify]: iteration 2 : 28 enodes (cost 7 ) 60.034 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 60.040 * * [simplify]: iteration 4 : 38 enodes (cost 7 ) 60.046 * * [simplify]: iteration done : 38 enodes (cost 7 ) 60.050 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 60.051 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 60.053 * * [simplify]: iteration 2 : 28 enodes (cost 7 ) 60.058 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 60.064 * * [simplify]: iteration 4 : 38 enodes (cost 7 ) 60.070 * * [simplify]: iteration done : 38 enodes (cost 7 ) 60.071 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 60.071 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 60.073 * * [simplify]: iteration 2 : 28 enodes (cost 7 ) 60.078 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 60.085 * * [simplify]: iteration 4 : 38 enodes (cost 7 ) 60.091 * * [simplify]: iteration done : 38 enodes (cost 7 ) 60.091 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 60.092 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 60.094 * * [simplify]: iteration 2 : 28 enodes (cost 7 ) 60.099 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 60.107 * * [simplify]: iteration 4 : 38 enodes (cost 7 ) 60.113 * * [simplify]: iteration done : 38 enodes (cost 7 ) 60.114 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 60.115 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 60.117 * * [simplify]: iteration 2 : 31 enodes (cost 11 ) 60.121 * * [simplify]: iteration 3 : 40 enodes (cost 10 ) 60.127 * * [simplify]: iteration 4 : 42 enodes (cost 10 ) 60.132 * * [simplify]: iteration done : 42 enodes (cost 10 ) 60.133 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 60.135 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 60.136 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 60.141 * * [simplify]: iteration 3 : 40 enodes (cost 10 ) 60.146 * * [simplify]: iteration 4 : 45 enodes (cost 10 ) 60.152 * * [simplify]: iteration 5 : 46 enodes (cost 10 ) 60.158 * * [simplify]: iteration done : 46 enodes (cost 10 ) 60.159 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 60.160 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 60.164 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 60.168 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 60.173 * * [simplify]: iteration 4 : 47 enodes (cost 10 ) 60.179 * * [simplify]: iteration 5 : 48 enodes (cost 10 ) 60.186 * * [simplify]: iteration done : 48 enodes (cost 10 ) 60.186 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 60.187 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 60.189 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 60.193 * * [simplify]: iteration 3 : 41 enodes (cost 9 ) 60.198 * * [simplify]: iteration 4 : 47 enodes (cost 9 ) 60.204 * * [simplify]: iteration 5 : 49 enodes (cost 9 ) 60.211 * * [simplify]: iteration done : 49 enodes (cost 9 ) 60.211 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 60.212 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 60.215 * * [simplify]: iteration 2 : 45 enodes (cost 8 ) 60.224 * * [simplify]: iteration 3 : 78 enodes (cost 8 ) 60.236 * * [simplify]: iteration 4 : 97 enodes (cost 8 ) 60.249 * * [simplify]: iteration 5 : 100 enodes (cost 8 ) 60.262 * * [simplify]: iteration 6 : 101 enodes (cost 8 ) 60.277 * * [simplify]: iteration done : 101 enodes (cost 8 ) 60.278 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 60.279 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 60.282 * * [simplify]: iteration 2 : 45 enodes (cost 8 ) 60.289 * * [simplify]: iteration 3 : 91 enodes (cost 8 ) 60.304 * * [simplify]: iteration 4 : 192 enodes (cost 8 ) 60.343 * * [simplify]: iteration 5 : 450 enodes (cost 8 ) 60.597 * * [simplify]: iteration 6 : 1100 enodes (cost 8 ) 62.229 * * [simplify]: iteration 7 : 3147 enodes (cost 8 ) 63.266 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 63.267 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 63.269 * * [simplify]: iteration 1 : 30 enodes (cost 23 ) 63.276 * * [simplify]: iteration 2 : 130 enodes (cost 15 ) 63.347 * * [simplify]: iteration 3 : 617 enodes (cost 11 ) 64.410 * * [simplify]: iteration 4 : 2693 enodes (cost 11 ) 66.759 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 66.760 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 66.767 * * [simplify]: iteration 1 : 34 enodes (cost 23 ) 66.775 * * [simplify]: iteration 2 : 142 enodes (cost 13 ) 66.852 * * [simplify]: iteration 3 : 727 enodes (cost 13 ) 68.427 * * [simplify]: iteration 4 : 3101 enodes (cost 11 ) 71.436 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 71.436 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 71.438 * * [simplify]: iteration 1 : 34 enodes (cost 23 ) 71.446 * * [simplify]: iteration 2 : 141 enodes (cost 13 ) 71.532 * * [simplify]: iteration 3 : 690 enodes (cost 13 ) 72.960 * * [simplify]: iteration 4 : 2997 enodes (cost 11 ) 75.871 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 75.871 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 75.873 * * [simplify]: iteration 1 : 36 enodes (cost 23 ) 75.881 * * [simplify]: iteration 2 : 146 enodes (cost 11 ) 75.977 * * [simplify]: iteration 3 : 759 enodes (cost 11 ) 77.712 * * [simplify]: iteration 4 : 3065 enodes (cost 9 ) 82.389 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 82.390 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 82.391 * * [simplify]: iteration 1 : 15 enodes (cost 17 ) 82.393 * * [simplify]: iteration 2 : 30 enodes (cost 17 ) 82.398 * * [simplify]: iteration 3 : 38 enodes (cost 17 ) 82.404 * * [simplify]: iteration 4 : 39 enodes (cost 17 ) 82.411 * * [simplify]: iteration done : 39 enodes (cost 17 ) 82.412 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 82.413 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 82.415 * * [simplify]: iteration 2 : 30 enodes (cost 8 ) 82.420 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 82.426 * * [simplify]: iteration 4 : 39 enodes (cost 8 ) 82.434 * * [simplify]: iteration done : 39 enodes (cost 8 ) 82.434 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 82.436 * * [simplify]: iteration 1 : 25 enodes (cost 23 ) 82.442 * * [simplify]: iteration 2 : 135 enodes (cost 9 ) 82.550 * * [simplify]: iteration 3 : 729 enodes (cost 9 ) 84.358 * * [simplify]: iteration 4 : 2638 enodes (cost 9 ) 92.602 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 92.603 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 92.604 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 92.606 * * [simplify]: iteration 2 : 30 enodes (cost 8 ) 92.611 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 92.617 * * [simplify]: iteration 4 : 39 enodes (cost 8 ) 92.624 * * [simplify]: iteration done : 39 enodes (cost 8 ) 92.624 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 92.625 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 92.627 * * [simplify]: iteration 2 : 30 enodes (cost 8 ) 92.632 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 92.638 * * [simplify]: iteration 4 : 39 enodes (cost 8 ) 92.644 * * [simplify]: iteration done : 39 enodes (cost 8 ) 92.644 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 92.645 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 92.646 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 92.648 * * [simplify]: iteration done : 9 enodes (cost 5 ) 92.649 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 92.650 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 92.651 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 92.653 * * [simplify]: iteration done : 15 enodes (cost 5 ) 92.653 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 92.654 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 92.657 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 92.662 * * [simplify]: iteration 3 : 61 enodes (cost 7 ) 92.669 * * [simplify]: iteration 4 : 69 enodes (cost 7 ) 92.678 * * [simplify]: iteration 5 : 79 enodes (cost 7 ) 92.687 * * [simplify]: iteration 6 : 101 enodes (cost 7 ) 92.701 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 92.753 * * [simplify]: iteration 8 : 382 enodes (cost 7 ) 93.210 * * [simplify]: iteration 9 : 1320 enodes (cost 7 ) 95.490 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 95.491 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 95.495 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 95.499 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 95.503 * * [simplify]: iteration 3 : 61 enodes (cost 7 ) 95.511 * * [simplify]: iteration 4 : 69 enodes (cost 7 ) 95.519 * * [simplify]: iteration 5 : 79 enodes (cost 7 ) 95.528 * * [simplify]: iteration 6 : 101 enodes (cost 7 ) 95.543 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 95.596 * * [simplify]: iteration 8 : 382 enodes (cost 7 ) 96.057 * * [simplify]: iteration 9 : 1320 enodes (cost 7 ) 98.334 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 98.334 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 98.335 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 98.338 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 98.347 * * [simplify]: iteration 3 : 61 enodes (cost 7 ) 98.355 * * [simplify]: iteration 4 : 69 enodes (cost 7 ) 98.362 * * [simplify]: iteration 5 : 79 enodes (cost 7 ) 98.371 * * [simplify]: iteration 6 : 101 enodes (cost 7 ) 98.386 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 98.438 * * [simplify]: iteration 8 : 382 enodes (cost 7 ) 98.894 * * [simplify]: iteration 9 : 1320 enodes (cost 7 ) 101.173 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 101.174 * [simplify]: Simplified to: (* (* x 3.0) (* x y)) (* (* x 3.0) (* x y)) (* (* x 3.0) (* x y)) (* (* x 3.0) (* x y)) (+ (+ (* 2 (log x)) (log y)) (log 3.0)) (+ (+ (log x) (log 3.0)) (log (* x y))) (+ (log (* x 3.0)) (+ (log x) (log y))) (+ (log (* x 3.0)) (log (* x y))) (log (* (* x 3.0) (* x y))) (exp (* (* x 3.0) (* x y))) (* (pow y 3) (* (pow x 6) (pow 3.0 3))) (* (pow (* x y) 3) (pow (* x 3.0) 3)) (* (pow (* x 3.0) 3) (pow (* x y) 3)) (pow (* y (* (* x x) 3.0)) 3) (* (cbrt (* (* x 3.0) (* x y))) (cbrt (* (* x 3.0) (* x y)))) (cbrt (* (* x 3.0) (* x y))) (pow (* (* x 3.0) (* x y)) 3) (sqrt (* (* x 3.0) (* x y))) (sqrt (* (* x 3.0) (* x y))) (* (* x 3.0) x) (* 3.0 (* x y)) (* 3.0 (* (pow x 2) y)) (* 3.0 (* (pow x 2) y)) (* 3.0 (* (pow x 2) y)) 101.174 * * * [progress]: adding candidates to table 101.210 * * [progress]: iteration 3 / 4 101.210 * * * [progress]: picking best candidate 101.230 * * * * [pick]: Picked # 101.230 * * * [progress]: localizing error 101.235 * * * [progress]: generating rewritten candidates 101.235 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 101.240 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 101.249 * * * [progress]: generating series expansions 101.249 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 101.249 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (x y) around 0 101.249 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y 101.249 * [taylor]: Taking taylor expansion of 3.0 in y 101.249 * [taylor]: Taking taylor expansion of (* x y) in y 101.249 * [taylor]: Taking taylor expansion of x in y 101.249 * [taylor]: Taking taylor expansion of y in y 101.249 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 101.249 * [taylor]: Taking taylor expansion of 3.0 in x 101.249 * [taylor]: Taking taylor expansion of (* x y) in x 101.249 * [taylor]: Taking taylor expansion of x in x 101.249 * [taylor]: Taking taylor expansion of y in x 101.249 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 101.249 * [taylor]: Taking taylor expansion of 3.0 in x 101.249 * [taylor]: Taking taylor expansion of (* x y) in x 101.249 * [taylor]: Taking taylor expansion of x in x 101.249 * [taylor]: Taking taylor expansion of y in x 101.249 * [taylor]: Taking taylor expansion of 0 in y 101.249 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 101.250 * [taylor]: Taking taylor expansion of 3.0 in y 101.250 * [taylor]: Taking taylor expansion of y in y 101.250 * [taylor]: Taking taylor expansion of 0 in y 101.250 * [taylor]: Taking taylor expansion of 0 in y 101.250 * [taylor]: Taking taylor expansion of 0 in y 101.250 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 101.250 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 101.250 * [taylor]: Taking taylor expansion of 3.0 in y 101.250 * [taylor]: Taking taylor expansion of (* x y) in y 101.250 * [taylor]: Taking taylor expansion of x in y 101.250 * [taylor]: Taking taylor expansion of y in y 101.250 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 101.250 * [taylor]: Taking taylor expansion of 3.0 in x 101.250 * [taylor]: Taking taylor expansion of (* x y) in x 101.250 * [taylor]: Taking taylor expansion of x in x 101.250 * [taylor]: Taking taylor expansion of y in x 101.250 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 101.251 * [taylor]: Taking taylor expansion of 3.0 in x 101.251 * [taylor]: Taking taylor expansion of (* x y) in x 101.251 * [taylor]: Taking taylor expansion of x in x 101.251 * [taylor]: Taking taylor expansion of y in x 101.251 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 101.251 * [taylor]: Taking taylor expansion of 3.0 in y 101.251 * [taylor]: Taking taylor expansion of y in y 101.251 * [taylor]: Taking taylor expansion of 0 in y 101.251 * [taylor]: Taking taylor expansion of 0 in y 101.251 * [taylor]: Taking taylor expansion of 0 in y 101.252 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 101.252 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 101.252 * [taylor]: Taking taylor expansion of 3.0 in y 101.252 * [taylor]: Taking taylor expansion of (* x y) in y 101.252 * [taylor]: Taking taylor expansion of x in y 101.252 * [taylor]: Taking taylor expansion of y in y 101.252 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 101.252 * [taylor]: Taking taylor expansion of 3.0 in x 101.252 * [taylor]: Taking taylor expansion of (* x y) in x 101.252 * [taylor]: Taking taylor expansion of x in x 101.252 * [taylor]: Taking taylor expansion of y in x 101.252 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 101.252 * [taylor]: Taking taylor expansion of 3.0 in x 101.252 * [taylor]: Taking taylor expansion of (* x y) in x 101.252 * [taylor]: Taking taylor expansion of x in x 101.252 * [taylor]: Taking taylor expansion of y in x 101.252 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 101.252 * [taylor]: Taking taylor expansion of 3.0 in y 101.252 * [taylor]: Taking taylor expansion of y in y 101.252 * [taylor]: Taking taylor expansion of 0 in y 101.252 * [taylor]: Taking taylor expansion of 0 in y 101.253 * [taylor]: Taking taylor expansion of 0 in y 101.253 * * * * [progress]: [ 2 / 2 ] generating series at (2) 101.253 * [approximate]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in (x y) around 0 101.253 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in y 101.253 * [taylor]: Taking taylor expansion of 3.0 in y 101.253 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 101.253 * [taylor]: Taking taylor expansion of (pow x 2) in y 101.253 * [taylor]: Taking taylor expansion of x in y 101.253 * [taylor]: Taking taylor expansion of y in y 101.253 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in x 101.253 * [taylor]: Taking taylor expansion of 3.0 in x 101.253 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 101.253 * [taylor]: Taking taylor expansion of (pow x 2) in x 101.253 * [taylor]: Taking taylor expansion of x in x 101.253 * [taylor]: Taking taylor expansion of y in x 101.253 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in x 101.253 * [taylor]: Taking taylor expansion of 3.0 in x 101.253 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 101.253 * [taylor]: Taking taylor expansion of (pow x 2) in x 101.253 * [taylor]: Taking taylor expansion of x in x 101.253 * [taylor]: Taking taylor expansion of y in x 101.253 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 101.253 * [taylor]: Taking taylor expansion of 3.0 in y 101.253 * [taylor]: Taking taylor expansion of y in y 101.254 * [taylor]: Taking taylor expansion of 0 in y 101.254 * [taylor]: Taking taylor expansion of 0 in y 101.254 * [taylor]: Taking taylor expansion of 0 in y 101.254 * [approximate]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in (x y) around 0 101.254 * [taylor]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in y 101.254 * [taylor]: Taking taylor expansion of 3.0 in y 101.254 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 101.254 * [taylor]: Taking taylor expansion of (pow x 2) in y 101.254 * [taylor]: Taking taylor expansion of x in y 101.254 * [taylor]: Taking taylor expansion of y in y 101.255 * [taylor]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in x 101.255 * [taylor]: Taking taylor expansion of 3.0 in x 101.255 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 101.255 * [taylor]: Taking taylor expansion of (pow x 2) in x 101.255 * [taylor]: Taking taylor expansion of x in x 101.255 * [taylor]: Taking taylor expansion of y in x 101.255 * [taylor]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in x 101.255 * [taylor]: Taking taylor expansion of 3.0 in x 101.255 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 101.255 * [taylor]: Taking taylor expansion of (pow x 2) in x 101.255 * [taylor]: Taking taylor expansion of x in x 101.255 * [taylor]: Taking taylor expansion of y in x 101.255 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 101.255 * [taylor]: Taking taylor expansion of 3.0 in y 101.255 * [taylor]: Taking taylor expansion of y in y 101.255 * [taylor]: Taking taylor expansion of 0 in y 101.255 * [taylor]: Taking taylor expansion of 0 in y 101.256 * [taylor]: Taking taylor expansion of 0 in y 101.256 * [approximate]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in (x y) around 0 101.256 * [taylor]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in y 101.256 * [taylor]: Taking taylor expansion of -3.0 in y 101.256 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 101.256 * [taylor]: Taking taylor expansion of (pow x 2) in y 101.256 * [taylor]: Taking taylor expansion of x in y 101.256 * [taylor]: Taking taylor expansion of y in y 101.256 * [taylor]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in x 101.256 * [taylor]: Taking taylor expansion of -3.0 in x 101.256 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 101.256 * [taylor]: Taking taylor expansion of (pow x 2) in x 101.256 * [taylor]: Taking taylor expansion of x in x 101.256 * [taylor]: Taking taylor expansion of y in x 101.256 * [taylor]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in x 101.256 * [taylor]: Taking taylor expansion of -3.0 in x 101.256 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 101.256 * [taylor]: Taking taylor expansion of (pow x 2) in x 101.257 * [taylor]: Taking taylor expansion of x in x 101.257 * [taylor]: Taking taylor expansion of y in x 101.257 * [taylor]: Taking taylor expansion of (/ -3.0 y) in y 101.257 * [taylor]: Taking taylor expansion of -3.0 in y 101.257 * [taylor]: Taking taylor expansion of y in y 101.257 * [taylor]: Taking taylor expansion of 0 in y 101.257 * [taylor]: Taking taylor expansion of 0 in y 101.257 * [taylor]: Taking taylor expansion of 0 in y 101.258 * * * [progress]: simplifying candidates 101.258 * [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)) (* x (* 3.0 (* x y))) (* x (* 3.0 (* x y))) (* x (* 3.0 (* x y))) (+ (log x) (+ (log 3.0) (+ (log x) (log y)))) (+ (log x) (+ (log 3.0) (log (* x y)))) (+ (log x) (log (* 3.0 (* x y)))) (log (* x (* 3.0 (* x y)))) (exp (* x (* 3.0 (* x y)))) (* (* (* x x) x) (* (* (* 3.0 3.0) 3.0) (* (* (* x x) x) (* (* y y) y)))) (* (* (* x x) x) (* (* (* 3.0 3.0) 3.0) (* (* (* x y) (* x y)) (* x y)))) (* (* (* x x) x) (* (* (* 3.0 (* x y)) (* 3.0 (* x y))) (* 3.0 (* x y)))) (* (cbrt (* x (* 3.0 (* x y)))) (cbrt (* x (* 3.0 (* x y))))) (cbrt (* x (* 3.0 (* x y)))) (* (* (* x (* 3.0 (* x y))) (* x (* 3.0 (* x y)))) (* x (* 3.0 (* x y)))) (sqrt (* x (* 3.0 (* x y)))) (sqrt (* x (* 3.0 (* x y)))) (* x 3.0) (* (cbrt x) (* 3.0 (* x y))) (* (sqrt x) (* 3.0 (* x y))) (* x (* 3.0 (* x y))) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* (pow x 2) y)) (* 3.0 (* (pow x 2) y)) (* 3.0 (* (pow x 2) y)) 101.259 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 101.260 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 101.261 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 101.263 * * [simplify]: iteration done : 15 enodes (cost 5 ) 101.264 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 101.264 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 101.266 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 101.267 * * [simplify]: iteration done : 15 enodes (cost 5 ) 101.268 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 101.269 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 101.270 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 101.275 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 101.277 * * [simplify]: iteration done : 20 enodes (cost 8 ) 101.278 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 101.279 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 101.280 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 101.282 * * [simplify]: iteration 3 : 21 enodes (cost 7 ) 101.284 * * [simplify]: iteration done : 21 enodes (cost 7 ) 101.285 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 101.285 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 101.287 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 101.290 * * [simplify]: iteration 3 : 38 enodes (cost 6 ) 101.295 * * [simplify]: iteration 4 : 40 enodes (cost 6 ) 101.299 * * [simplify]: iteration done : 40 enodes (cost 6 ) 101.299 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 101.300 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 101.302 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 101.305 * * [simplify]: iteration 3 : 51 enodes (cost 6 ) 101.313 * * [simplify]: iteration 4 : 108 enodes (cost 6 ) 101.334 * * [simplify]: iteration 5 : 245 enodes (cost 6 ) 101.448 * * [simplify]: iteration 6 : 602 enodes (cost 6 ) 102.096 * * [simplify]: iteration 7 : 1789 enodes (cost 6 ) 104.353 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 104.354 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 104.356 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 104.361 * * [simplify]: iteration 2 : 90 enodes (cost 11 ) 104.394 * * [simplify]: iteration 3 : 328 enodes (cost 11 ) 104.662 * * [simplify]: iteration 4 : 1011 enodes (cost 9 ) 106.633 * * [simplify]: iteration 5 : 3067 enodes (cost 9 ) 108.621 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 108.622 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 108.624 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 108.634 * * [simplify]: iteration 2 : 94 enodes (cost 9 ) 108.675 * * [simplify]: iteration 3 : 375 enodes (cost 9 ) 109.065 * * [simplify]: iteration 4 : 1093 enodes (cost 7 ) 111.065 * * [simplify]: iteration 5 : 2048 enodes (cost 7 ) 116.418 * * [simplify]: iteration 6 : 4895 enodes (cost 7 ) 117.747 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 117.747 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 117.748 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 117.749 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 117.752 * * [simplify]: iteration done : 17 enodes (cost 13 ) 117.752 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 117.753 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 117.754 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 117.756 * * [simplify]: iteration done : 16 enodes (cost 6 ) 117.757 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 117.758 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 117.762 * * [simplify]: iteration 2 : 92 enodes (cost 7 ) 117.813 * * [simplify]: iteration 3 : 407 enodes (cost 7 ) 118.365 * * [simplify]: iteration 4 : 1210 enodes (cost 7 ) 120.126 * * [simplify]: iteration 5 : 1693 enodes (cost 7 ) 123.001 * * [simplify]: iteration 6 : 3142 enodes (cost 7 ) 124.973 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 124.974 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 124.974 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 124.975 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 124.977 * * [simplify]: iteration done : 16 enodes (cost 6 ) 124.978 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 124.979 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 124.980 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 124.987 * * [simplify]: iteration done : 16 enodes (cost 6 ) 124.988 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 124.988 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 124.989 * * [simplify]: iteration done : 4 enodes (cost 3 ) 124.989 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 124.990 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 124.991 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 124.993 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 124.995 * * [simplify]: iteration done : 18 enodes (cost 6 ) 124.996 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 124.996 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 124.998 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 125.000 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 125.002 * * [simplify]: iteration done : 18 enodes (cost 6 ) 125.002 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 125.003 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 125.004 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 125.006 * * [simplify]: iteration done : 15 enodes (cost 5 ) 125.006 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 125.007 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 125.009 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 125.013 * * [simplify]: iteration 3 : 36 enodes (cost 7 ) 125.020 * * [simplify]: iteration done : 36 enodes (cost 7 ) 125.021 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 125.022 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 125.024 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 125.029 * * [simplify]: iteration 3 : 36 enodes (cost 7 ) 125.035 * * [simplify]: iteration done : 36 enodes (cost 7 ) 125.035 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 125.036 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 125.038 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 125.043 * * [simplify]: iteration 3 : 36 enodes (cost 7 ) 125.051 * * [simplify]: iteration done : 36 enodes (cost 7 ) 125.052 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 125.053 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 125.055 * * [simplify]: iteration 2 : 30 enodes (cost 11 ) 125.059 * * [simplify]: iteration 3 : 40 enodes (cost 11 ) 125.064 * * [simplify]: iteration 4 : 42 enodes (cost 10 ) 125.070 * * [simplify]: iteration 5 : 43 enodes (cost 10 ) 125.076 * * [simplify]: iteration done : 43 enodes (cost 10 ) 125.077 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 125.078 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 125.080 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 125.084 * * [simplify]: iteration 3 : 40 enodes (cost 10 ) 125.089 * * [simplify]: iteration 4 : 44 enodes (cost 10 ) 125.095 * * [simplify]: iteration 5 : 45 enodes (cost 10 ) 125.104 * * [simplify]: iteration done : 45 enodes (cost 10 ) 125.104 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 125.105 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 125.107 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 125.112 * * [simplify]: iteration 3 : 56 enodes (cost 9 ) 125.119 * * [simplify]: iteration 4 : 67 enodes (cost 9 ) 125.127 * * [simplify]: iteration 5 : 68 enodes (cost 9 ) 125.135 * * [simplify]: iteration done : 68 enodes (cost 9 ) 125.136 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 125.137 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 125.139 * * [simplify]: iteration 2 : 40 enodes (cost 8 ) 125.146 * * [simplify]: iteration 3 : 73 enodes (cost 8 ) 125.160 * * [simplify]: iteration 4 : 95 enodes (cost 8 ) 125.175 * * [simplify]: iteration 5 : 98 enodes (cost 8 ) 125.188 * * [simplify]: iteration 6 : 99 enodes (cost 8 ) 125.201 * * [simplify]: iteration done : 99 enodes (cost 8 ) 125.202 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 125.203 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 125.205 * * [simplify]: iteration 2 : 38 enodes (cost 8 ) 125.215 * * [simplify]: iteration 3 : 89 enodes (cost 8 ) 125.230 * * [simplify]: iteration 4 : 206 enodes (cost 8 ) 125.277 * * [simplify]: iteration 5 : 505 enodes (cost 8 ) 125.627 * * [simplify]: iteration 6 : 1258 enodes (cost 8 ) 128.560 * * [simplify]: iteration 7 : 3903 enodes (cost 8 ) 129.677 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 129.678 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 129.680 * * [simplify]: iteration 1 : 30 enodes (cost 23 ) 129.687 * * [simplify]: iteration 2 : 134 enodes (cost 15 ) 129.767 * * [simplify]: iteration 3 : 694 enodes (cost 15 ) 131.224 * * [simplify]: iteration 4 : 2891 enodes (cost 11 ) 133.304 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 133.305 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 133.307 * * [simplify]: iteration 1 : 34 enodes (cost 23 ) 133.315 * * [simplify]: iteration 2 : 145 enodes (cost 13 ) 133.399 * * [simplify]: iteration 3 : 738 enodes (cost 13 ) 135.014 * * [simplify]: iteration 4 : 2952 enodes (cost 11 ) 138.553 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 138.554 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 138.556 * * [simplify]: iteration 1 : 30 enodes (cost 23 ) 138.563 * * [simplify]: iteration 2 : 140 enodes (cost 11 ) 138.664 * * [simplify]: iteration 3 : 828 enodes (cost 11 ) 140.854 * * [simplify]: iteration 4 : 3297 enodes (cost 9 ) 145.405 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 145.405 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 145.406 * * [simplify]: iteration 1 : 15 enodes (cost 17 ) 145.408 * * [simplify]: iteration 2 : 29 enodes (cost 17 ) 145.414 * * [simplify]: iteration 3 : 42 enodes (cost 17 ) 145.420 * * [simplify]: iteration done : 42 enodes (cost 17 ) 145.421 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 145.422 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 145.424 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 145.429 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 145.435 * * [simplify]: iteration done : 40 enodes (cost 8 ) 145.436 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 145.437 * * [simplify]: iteration 1 : 25 enodes (cost 23 ) 145.443 * * [simplify]: iteration 2 : 115 enodes (cost 9 ) 145.527 * * [simplify]: iteration 3 : 592 enodes (cost 9 ) 146.795 * * [simplify]: iteration 4 : 2303 enodes (cost 9 ) 155.962 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 155.963 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 155.964 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 155.966 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 155.970 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 155.977 * * [simplify]: iteration done : 40 enodes (cost 8 ) 155.977 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 155.978 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 155.980 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 155.989 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 155.995 * * [simplify]: iteration done : 40 enodes (cost 8 ) 155.995 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 155.996 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 155.996 * * [simplify]: iteration done : 4 enodes (cost 3 ) 155.997 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 155.998 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 156.000 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 156.006 * * [simplify]: iteration 3 : 56 enodes (cost 8 ) 156.017 * * [simplify]: iteration 4 : 57 enodes (cost 8 ) 156.028 * * [simplify]: iteration done : 57 enodes (cost 8 ) 156.029 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 156.029 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 156.031 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 156.037 * * [simplify]: iteration 3 : 56 enodes (cost 8 ) 156.050 * * [simplify]: iteration 4 : 57 enodes (cost 8 ) 156.062 * * [simplify]: iteration done : 57 enodes (cost 8 ) 156.062 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 156.063 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 156.065 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 156.070 * * [simplify]: iteration 3 : 36 enodes (cost 7 ) 156.076 * * [simplify]: iteration done : 36 enodes (cost 7 ) 156.076 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 156.077 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 156.078 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 156.080 * * [simplify]: iteration done : 15 enodes (cost 5 ) 156.081 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 156.081 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 156.082 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 156.084 * * [simplify]: iteration done : 15 enodes (cost 5 ) 156.085 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 156.085 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 156.086 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 156.088 * * [simplify]: iteration done : 15 enodes (cost 5 ) 156.089 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 156.090 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 156.092 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 156.100 * * [simplify]: iteration 3 : 61 enodes (cost 7 ) 156.108 * * [simplify]: iteration 4 : 69 enodes (cost 7 ) 156.116 * * [simplify]: iteration 5 : 79 enodes (cost 7 ) 156.124 * * [simplify]: iteration 6 : 101 enodes (cost 7 ) 156.138 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 156.190 * * [simplify]: iteration 8 : 382 enodes (cost 7 ) 156.639 * * [simplify]: iteration 9 : 1320 enodes (cost 7 ) 158.902 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 158.902 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 158.903 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 158.906 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 158.911 * * [simplify]: iteration 3 : 61 enodes (cost 7 ) 158.923 * * [simplify]: iteration 4 : 69 enodes (cost 7 ) 158.931 * * [simplify]: iteration 5 : 79 enodes (cost 7 ) 158.940 * * [simplify]: iteration 6 : 101 enodes (cost 7 ) 158.955 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 159.007 * * [simplify]: iteration 8 : 382 enodes (cost 7 ) 159.464 * * [simplify]: iteration 9 : 1320 enodes (cost 7 ) 161.754 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 161.755 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 161.756 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 161.759 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 161.763 * * [simplify]: iteration 3 : 61 enodes (cost 7 ) 161.776 * * [simplify]: iteration 4 : 69 enodes (cost 7 ) 161.783 * * [simplify]: iteration 5 : 79 enodes (cost 7 ) 161.793 * * [simplify]: iteration 6 : 101 enodes (cost 7 ) 161.807 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 161.861 * * [simplify]: iteration 8 : 382 enodes (cost 7 ) 162.327 * * [simplify]: iteration 9 : 1320 enodes (cost 7 ) 164.617 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 164.618 * [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)) (* x (* 3.0 (* x y))) (* x (* 3.0 (* x y))) (* x (* 3.0 (* x y))) (+ (+ (log 3.0) (* 2 (log x))) (log y)) (+ (log x) (+ (log 3.0) (log (* x y)))) (+ (log x) (log (* 3.0 (* x y)))) (log (* x (* 3.0 (* x y)))) (exp (* x (* 3.0 (* x y)))) (* (pow x 6) (* (pow y 3) (pow 3.0 3))) (* (pow (* 3.0 (* x y)) 3) (pow x 3)) (pow (* 3.0 (* (* x y) x)) 3) (* (cbrt (* x (* 3.0 (* x y)))) (cbrt (* x (* 3.0 (* x y))))) (cbrt (* x (* 3.0 (* x y)))) (pow (* x (* 3.0 (* x y))) 3) (sqrt (* x (* 3.0 (* x y)))) (sqrt (* x (* 3.0 (* x y)))) (* x 3.0) (* (cbrt x) (* 3.0 (* x y))) (* (sqrt x) (* 3.0 (* x y))) (* x (* 3.0 (* x y))) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* (pow x 2) y)) (* 3.0 (* (pow x 2) y)) (* 3.0 (* (pow x 2) y)) 164.618 * * * [progress]: adding candidates to table 164.673 * * [progress]: iteration 4 / 4 164.673 * * * [progress]: picking best candidate 164.696 * * * * [pick]: Picked # 164.697 * * * [progress]: localizing error 164.702 * * * [progress]: generating rewritten candidates 164.702 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 164.707 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 164.716 * * * [progress]: generating series expansions 164.716 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 164.716 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (x y) around 0 164.716 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y 164.716 * [taylor]: Taking taylor expansion of 3.0 in y 164.716 * [taylor]: Taking taylor expansion of (* x y) in y 164.716 * [taylor]: Taking taylor expansion of x in y 164.716 * [taylor]: Taking taylor expansion of y in y 164.716 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 164.716 * [taylor]: Taking taylor expansion of 3.0 in x 164.716 * [taylor]: Taking taylor expansion of (* x y) in x 164.716 * [taylor]: Taking taylor expansion of x in x 164.716 * [taylor]: Taking taylor expansion of y in x 164.716 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 164.716 * [taylor]: Taking taylor expansion of 3.0 in x 164.716 * [taylor]: Taking taylor expansion of (* x y) in x 164.716 * [taylor]: Taking taylor expansion of x in x 164.716 * [taylor]: Taking taylor expansion of y in x 164.716 * [taylor]: Taking taylor expansion of 0 in y 164.717 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 164.717 * [taylor]: Taking taylor expansion of 3.0 in y 164.717 * [taylor]: Taking taylor expansion of y in y 164.717 * [taylor]: Taking taylor expansion of 0 in y 164.717 * [taylor]: Taking taylor expansion of 0 in y 164.717 * [taylor]: Taking taylor expansion of 0 in y 164.717 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 164.717 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 164.717 * [taylor]: Taking taylor expansion of 3.0 in y 164.717 * [taylor]: Taking taylor expansion of (* x y) in y 164.717 * [taylor]: Taking taylor expansion of x in y 164.717 * [taylor]: Taking taylor expansion of y in y 164.718 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 164.718 * [taylor]: Taking taylor expansion of 3.0 in x 164.718 * [taylor]: Taking taylor expansion of (* x y) in x 164.718 * [taylor]: Taking taylor expansion of x in x 164.718 * [taylor]: Taking taylor expansion of y in x 164.718 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 164.718 * [taylor]: Taking taylor expansion of 3.0 in x 164.718 * [taylor]: Taking taylor expansion of (* x y) in x 164.718 * [taylor]: Taking taylor expansion of x in x 164.718 * [taylor]: Taking taylor expansion of y in x 164.718 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 164.718 * [taylor]: Taking taylor expansion of 3.0 in y 164.718 * [taylor]: Taking taylor expansion of y in y 164.718 * [taylor]: Taking taylor expansion of 0 in y 164.718 * [taylor]: Taking taylor expansion of 0 in y 164.719 * [taylor]: Taking taylor expansion of 0 in y 164.719 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 164.719 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 164.719 * [taylor]: Taking taylor expansion of 3.0 in y 164.719 * [taylor]: Taking taylor expansion of (* x y) in y 164.719 * [taylor]: Taking taylor expansion of x in y 164.719 * [taylor]: Taking taylor expansion of y in y 164.719 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 164.719 * [taylor]: Taking taylor expansion of 3.0 in x 164.719 * [taylor]: Taking taylor expansion of (* x y) in x 164.719 * [taylor]: Taking taylor expansion of x in x 164.719 * [taylor]: Taking taylor expansion of y in x 164.719 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 164.719 * [taylor]: Taking taylor expansion of 3.0 in x 164.719 * [taylor]: Taking taylor expansion of (* x y) in x 164.719 * [taylor]: Taking taylor expansion of x in x 164.719 * [taylor]: Taking taylor expansion of y in x 164.719 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 164.719 * [taylor]: Taking taylor expansion of 3.0 in y 164.719 * [taylor]: Taking taylor expansion of y in y 164.719 * [taylor]: Taking taylor expansion of 0 in y 164.720 * [taylor]: Taking taylor expansion of 0 in y 164.720 * [taylor]: Taking taylor expansion of 0 in y 164.720 * * * * [progress]: [ 2 / 2 ] generating series at (2) 164.720 * [approximate]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in (x y) around 0 164.720 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in y 164.720 * [taylor]: Taking taylor expansion of 3.0 in y 164.720 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 164.720 * [taylor]: Taking taylor expansion of (pow x 2) in y 164.720 * [taylor]: Taking taylor expansion of x in y 164.720 * [taylor]: Taking taylor expansion of y in y 164.720 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in x 164.720 * [taylor]: Taking taylor expansion of 3.0 in x 164.720 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 164.720 * [taylor]: Taking taylor expansion of (pow x 2) in x 164.720 * [taylor]: Taking taylor expansion of x in x 164.720 * [taylor]: Taking taylor expansion of y in x 164.720 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow x 2) y)) in x 164.720 * [taylor]: Taking taylor expansion of 3.0 in x 164.720 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 164.720 * [taylor]: Taking taylor expansion of (pow x 2) in x 164.720 * [taylor]: Taking taylor expansion of x in x 164.721 * [taylor]: Taking taylor expansion of y in x 164.721 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 164.721 * [taylor]: Taking taylor expansion of 3.0 in y 164.721 * [taylor]: Taking taylor expansion of y in y 164.721 * [taylor]: Taking taylor expansion of 0 in y 164.721 * [taylor]: Taking taylor expansion of 0 in y 164.721 * [taylor]: Taking taylor expansion of 0 in y 164.721 * [approximate]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in (x y) around 0 164.721 * [taylor]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in y 164.721 * [taylor]: Taking taylor expansion of 3.0 in y 164.721 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 164.721 * [taylor]: Taking taylor expansion of (pow x 2) in y 164.721 * [taylor]: Taking taylor expansion of x in y 164.721 * [taylor]: Taking taylor expansion of y in y 164.722 * [taylor]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in x 164.722 * [taylor]: Taking taylor expansion of 3.0 in x 164.722 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 164.722 * [taylor]: Taking taylor expansion of (pow x 2) in x 164.722 * [taylor]: Taking taylor expansion of x in x 164.722 * [taylor]: Taking taylor expansion of y in x 164.722 * [taylor]: Taking taylor expansion of (/ 3.0 (* (pow x 2) y)) in x 164.722 * [taylor]: Taking taylor expansion of 3.0 in x 164.722 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 164.722 * [taylor]: Taking taylor expansion of (pow x 2) in x 164.722 * [taylor]: Taking taylor expansion of x in x 164.722 * [taylor]: Taking taylor expansion of y in x 164.722 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 164.722 * [taylor]: Taking taylor expansion of 3.0 in y 164.722 * [taylor]: Taking taylor expansion of y in y 164.722 * [taylor]: Taking taylor expansion of 0 in y 164.722 * [taylor]: Taking taylor expansion of 0 in y 164.723 * [taylor]: Taking taylor expansion of 0 in y 164.723 * [approximate]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in (x y) around 0 164.723 * [taylor]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in y 164.723 * [taylor]: Taking taylor expansion of -3.0 in y 164.723 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 164.723 * [taylor]: Taking taylor expansion of (pow x 2) in y 164.723 * [taylor]: Taking taylor expansion of x in y 164.723 * [taylor]: Taking taylor expansion of y in y 164.723 * [taylor]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in x 164.723 * [taylor]: Taking taylor expansion of -3.0 in x 164.723 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 164.724 * [taylor]: Taking taylor expansion of (pow x 2) in x 164.724 * [taylor]: Taking taylor expansion of x in x 164.724 * [taylor]: Taking taylor expansion of y in x 164.724 * [taylor]: Taking taylor expansion of (/ -3.0 (* (pow x 2) y)) in x 164.724 * [taylor]: Taking taylor expansion of -3.0 in x 164.724 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 164.724 * [taylor]: Taking taylor expansion of (pow x 2) in x 164.724 * [taylor]: Taking taylor expansion of x in x 164.724 * [taylor]: Taking taylor expansion of y in x 164.724 * [taylor]: Taking taylor expansion of (/ -3.0 y) in y 164.724 * [taylor]: Taking taylor expansion of -3.0 in y 164.724 * [taylor]: Taking taylor expansion of y in y 164.724 * [taylor]: Taking taylor expansion of 0 in y 164.724 * [taylor]: Taking taylor expansion of 0 in y 164.724 * [taylor]: Taking taylor expansion of 0 in y 164.725 * * * [progress]: simplifying candidates 164.730 * [simplify]: Simplifying using # : (* (* 3.0 x) y) (* (* 3.0 x) y) (+ (+ (log 3.0) (log x)) (log y)) (+ (log (* 3.0 x)) (log 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 x) (* 3.0 x)) (* 3.0 x)) (* (* y y) 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 y) (cbrt y))) (* (* 3.0 x) (sqrt y)) (* (* 3.0 x) 1) (* x y) (* x (* (* 3.0 x) y)) (* x (* (* 3.0 x) y)) (* x (* (* 3.0 x) y)) (+ (log x) (+ (+ (log 3.0) (log x)) (log y))) (+ (log x) (+ (log (* 3.0 x)) (log y))) (+ (log x) (log (* (* 3.0 x) y))) (log (* x (* (* 3.0 x) y))) (exp (* x (* (* 3.0 x) y))) (* (* (* x x) x) (* (* (* (* 3.0 3.0) 3.0) (* (* x x) x)) (* (* y y) y))) (* (* (* x x) x) (* (* (* (* 3.0 x) (* 3.0 x)) (* 3.0 x)) (* (* y y) y))) (* (* (* x x) x) (* (* (* (* 3.0 x) y) (* (* 3.0 x) y)) (* (* 3.0 x) y))) (* (cbrt (* x (* (* 3.0 x) y))) (cbrt (* x (* (* 3.0 x) y)))) (cbrt (* x (* (* 3.0 x) y))) (* (* (* x (* (* 3.0 x) y)) (* x (* (* 3.0 x) y))) (* x (* (* 3.0 x) y))) (sqrt (* x (* (* 3.0 x) y))) (sqrt (* x (* (* 3.0 x) y))) (* x (* 3.0 x)) (* (cbrt x) (* (* 3.0 x) y)) (* (sqrt x) (* (* 3.0 x) y)) (* x (* (* 3.0 x) y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* (pow x 2) y)) (* 3.0 (* (pow x 2) y)) (* 3.0 (* (pow x 2) y)) 164.731 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 164.731 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 164.732 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 164.734 * * [simplify]: iteration done : 15 enodes (cost 5 ) 164.735 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 164.735 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 164.737 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 164.738 * * [simplify]: iteration done : 15 enodes (cost 5 ) 164.739 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 164.740 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 164.741 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 164.743 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 164.745 * * [simplify]: iteration done : 20 enodes (cost 8 ) 164.746 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 164.746 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 164.748 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 164.749 * * [simplify]: iteration 3 : 21 enodes (cost 7 ) 164.752 * * [simplify]: iteration done : 21 enodes (cost 7 ) 164.752 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 164.753 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 164.755 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 164.758 * * [simplify]: iteration 3 : 38 enodes (cost 6 ) 164.763 * * [simplify]: iteration 4 : 40 enodes (cost 6 ) 164.767 * * [simplify]: iteration done : 40 enodes (cost 6 ) 164.767 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 164.768 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 164.770 * * [simplify]: iteration 2 : 29 enodes (cost 6 ) 164.773 * * [simplify]: iteration 3 : 51 enodes (cost 6 ) 164.781 * * [simplify]: iteration 4 : 107 enodes (cost 6 ) 164.802 * * [simplify]: iteration 5 : 248 enodes (cost 6 ) 164.919 * * [simplify]: iteration 6 : 586 enodes (cost 6 ) 165.364 * * [simplify]: iteration 7 : 1550 enodes (cost 6 ) 166.925 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 166.926 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 166.928 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 166.932 * * [simplify]: iteration 2 : 89 enodes (cost 11 ) 166.965 * * [simplify]: iteration 3 : 327 enodes (cost 11 ) 167.257 * * [simplify]: iteration 4 : 1072 enodes (cost 9 ) 169.120 * * [simplify]: iteration 5 : 2986 enodes (cost 9 ) 170.727 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 170.727 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 170.729 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 170.734 * * [simplify]: iteration 2 : 93 enodes (cost 9 ) 170.783 * * [simplify]: iteration 3 : 379 enodes (cost 9 ) 171.180 * * [simplify]: iteration 4 : 1161 enodes (cost 7 ) 173.026 * * [simplify]: iteration 5 : 2175 enodes (cost 7 ) 178.215 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 178.216 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 178.217 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 178.219 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 178.221 * * [simplify]: iteration done : 17 enodes (cost 13 ) 178.221 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 178.222 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 178.223 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 178.232 * * [simplify]: iteration done : 16 enodes (cost 6 ) 178.233 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 178.234 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 178.239 * * [simplify]: iteration 2 : 91 enodes (cost 7 ) 178.292 * * [simplify]: iteration 3 : 423 enodes (cost 7 ) 178.847 * * [simplify]: iteration 4 : 1138 enodes (cost 7 ) 180.588 * * [simplify]: iteration 5 : 1610 enodes (cost 7 ) 183.661 * * [simplify]: iteration 6 : 3198 enodes (cost 7 ) 185.257 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 185.257 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 185.258 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 185.259 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 185.261 * * [simplify]: iteration done : 16 enodes (cost 6 ) 185.262 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 185.263 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 185.264 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 185.266 * * [simplify]: iteration done : 16 enodes (cost 6 ) 185.266 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 185.267 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 185.269 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 185.279 * * [simplify]: iteration 3 : 36 enodes (cost 9 ) 185.285 * * [simplify]: iteration done : 36 enodes (cost 9 ) 185.286 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 185.287 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 185.288 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 185.290 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 185.292 * * [simplify]: iteration done : 18 enodes (cost 6 ) 185.293 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 185.294 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 185.295 * * [simplify]: iteration 2 : 23 enodes (cost 3 ) 185.297 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 185.298 * * [simplify]: iteration done : 27 enodes (cost 3 ) 185.299 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 185.299 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 185.300 * * [simplify]: iteration done : 4 enodes (cost 3 ) 185.300 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 185.301 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 185.303 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 185.307 * * [simplify]: iteration 3 : 33 enodes (cost 7 ) 185.313 * * [simplify]: iteration 4 : 34 enodes (cost 7 ) 185.319 * * [simplify]: iteration done : 34 enodes (cost 7 ) 185.320 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 185.320 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 185.323 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 185.328 * * [simplify]: iteration 3 : 33 enodes (cost 7 ) 185.338 * * [simplify]: iteration 4 : 34 enodes (cost 7 ) 185.344 * * [simplify]: iteration done : 34 enodes (cost 7 ) 185.345 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 185.345 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 185.347 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 185.352 * * [simplify]: iteration 3 : 33 enodes (cost 7 ) 185.358 * * [simplify]: iteration 4 : 34 enodes (cost 7 ) 185.364 * * [simplify]: iteration done : 34 enodes (cost 7 ) 185.364 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 185.365 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 185.367 * * [simplify]: iteration 2 : 30 enodes (cost 11 ) 185.371 * * [simplify]: iteration 3 : 38 enodes (cost 10 ) 185.377 * * [simplify]: iteration 4 : 40 enodes (cost 10 ) 185.384 * * [simplify]: iteration done : 40 enodes (cost 10 ) 185.385 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 185.386 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 185.387 * * [simplify]: iteration 2 : 26 enodes (cost 10 ) 185.391 * * [simplify]: iteration 3 : 40 enodes (cost 10 ) 185.399 * * [simplify]: iteration 4 : 48 enodes (cost 10 ) 185.405 * * [simplify]: iteration 5 : 49 enodes (cost 10 ) 185.411 * * [simplify]: iteration done : 49 enodes (cost 10 ) 185.412 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 185.413 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 185.415 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 185.419 * * [simplify]: iteration 3 : 56 enodes (cost 9 ) 185.427 * * [simplify]: iteration 4 : 66 enodes (cost 9 ) 185.435 * * [simplify]: iteration 5 : 67 enodes (cost 9 ) 185.444 * * [simplify]: iteration done : 67 enodes (cost 9 ) 185.445 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 185.446 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 185.448 * * [simplify]: iteration 2 : 41 enodes (cost 8 ) 185.458 * * [simplify]: iteration 3 : 70 enodes (cost 8 ) 185.469 * * [simplify]: iteration 4 : 92 enodes (cost 8 ) 185.482 * * [simplify]: iteration 5 : 95 enodes (cost 8 ) 185.496 * * [simplify]: iteration 6 : 96 enodes (cost 8 ) 185.512 * * [simplify]: iteration done : 96 enodes (cost 8 ) 185.513 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 185.514 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 185.516 * * [simplify]: iteration 2 : 38 enodes (cost 8 ) 185.523 * * [simplify]: iteration 3 : 86 enodes (cost 8 ) 185.537 * * [simplify]: iteration 4 : 201 enodes (cost 8 ) 185.585 * * [simplify]: iteration 5 : 509 enodes (cost 8 ) 185.946 * * [simplify]: iteration 6 : 1277 enodes (cost 8 ) 188.914 * * [simplify]: iteration 7 : 3919 enodes (cost 8 ) 190.142 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 190.143 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 190.145 * * [simplify]: iteration 1 : 30 enodes (cost 23 ) 190.152 * * [simplify]: iteration 2 : 131 enodes (cost 15 ) 190.230 * * [simplify]: iteration 3 : 636 enodes (cost 11 ) 191.465 * * [simplify]: iteration 4 : 2655 enodes (cost 11 ) 193.729 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 193.729 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 193.732 * * [simplify]: iteration 1 : 34 enodes (cost 23 ) 193.746 * * [simplify]: iteration 2 : 142 enodes (cost 13 ) 193.831 * * [simplify]: iteration 3 : 747 enodes (cost 13 ) 195.560 * * [simplify]: iteration 4 : 3074 enodes (cost 11 ) 198.012 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 198.012 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 198.014 * * [simplify]: iteration 1 : 30 enodes (cost 23 ) 198.027 * * [simplify]: iteration 2 : 140 enodes (cost 11 ) 198.126 * * [simplify]: iteration 3 : 826 enodes (cost 11 ) 200.382 * * [simplify]: iteration 4 : 3450 enodes (cost 9 ) 203.350 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 203.350 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 203.351 * * [simplify]: iteration 1 : 15 enodes (cost 17 ) 203.353 * * [simplify]: iteration 2 : 29 enodes (cost 17 ) 203.362 * * [simplify]: iteration 3 : 37 enodes (cost 17 ) 203.368 * * [simplify]: iteration 4 : 38 enodes (cost 17 ) 203.374 * * [simplify]: iteration done : 38 enodes (cost 17 ) 203.375 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 203.376 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 203.378 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 203.383 * * [simplify]: iteration 3 : 34 enodes (cost 8 ) 203.389 * * [simplify]: iteration 4 : 35 enodes (cost 8 ) 203.395 * * [simplify]: iteration done : 35 enodes (cost 8 ) 203.396 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 203.397 * * [simplify]: iteration 1 : 25 enodes (cost 23 ) 203.402 * * [simplify]: iteration 2 : 116 enodes (cost 9 ) 203.485 * * [simplify]: iteration 3 : 625 enodes (cost 9 ) 204.818 * * [simplify]: iteration 4 : 2387 enodes (cost 9 ) 213.738 * * [simplify]: iteration 5 : 4916 enodes (cost 9 ) 215.189 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 215.189 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 215.190 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 215.192 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 215.197 * * [simplify]: iteration 3 : 34 enodes (cost 8 ) 215.203 * * [simplify]: iteration 4 : 35 enodes (cost 8 ) 215.210 * * [simplify]: iteration done : 35 enodes (cost 8 ) 215.210 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 215.211 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 215.213 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 215.218 * * [simplify]: iteration 3 : 34 enodes (cost 8 ) 215.227 * * [simplify]: iteration 4 : 35 enodes (cost 8 ) 215.233 * * [simplify]: iteration done : 35 enodes (cost 8 ) 215.233 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 215.234 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 215.235 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 215.236 * * [simplify]: iteration done : 9 enodes (cost 5 ) 215.236 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 215.237 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 215.239 * * [simplify]: iteration 2 : 33 enodes (cost 8 ) 215.245 * * [simplify]: iteration 3 : 58 enodes (cost 8 ) 215.258 * * [simplify]: iteration 4 : 60 enodes (cost 8 ) 215.270 * * [simplify]: iteration done : 60 enodes (cost 8 ) 215.270 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 215.271 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 215.273 * * [simplify]: iteration 2 : 33 enodes (cost 8 ) 215.281 * * [simplify]: iteration 3 : 58 enodes (cost 8 ) 215.293 * * [simplify]: iteration 4 : 60 enodes (cost 8 ) 215.305 * * [simplify]: iteration done : 60 enodes (cost 8 ) 215.305 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 215.306 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 215.308 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 215.313 * * [simplify]: iteration 3 : 33 enodes (cost 7 ) 215.319 * * [simplify]: iteration 4 : 34 enodes (cost 7 ) 215.325 * * [simplify]: iteration done : 34 enodes (cost 7 ) 215.326 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 215.327 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 215.328 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 215.332 * * [simplify]: iteration done : 15 enodes (cost 5 ) 215.332 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 215.333 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 215.334 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 215.336 * * [simplify]: iteration done : 15 enodes (cost 5 ) 215.336 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 215.337 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 215.338 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 215.340 * * [simplify]: iteration done : 15 enodes (cost 5 ) 215.341 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 215.342 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 215.344 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 215.349 * * [simplify]: iteration 3 : 61 enodes (cost 7 ) 215.357 * * [simplify]: iteration 4 : 69 enodes (cost 7 ) 215.365 * * [simplify]: iteration 5 : 79 enodes (cost 7 ) 215.374 * * [simplify]: iteration 6 : 101 enodes (cost 7 ) 215.392 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 215.442 * * [simplify]: iteration 8 : 382 enodes (cost 7 ) 215.896 * * [simplify]: iteration 9 : 1320 enodes (cost 7 ) 218.403 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 218.404 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 218.405 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 218.408 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 218.412 * * [simplify]: iteration 3 : 61 enodes (cost 7 ) 218.420 * * [simplify]: iteration 4 : 69 enodes (cost 7 ) 218.428 * * [simplify]: iteration 5 : 79 enodes (cost 7 ) 218.437 * * [simplify]: iteration 6 : 101 enodes (cost 7 ) 218.451 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 218.505 * * [simplify]: iteration 8 : 382 enodes (cost 7 ) 218.977 * * [simplify]: iteration 9 : 1320 enodes (cost 7 ) 221.320 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 221.321 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 221.322 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 221.325 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 221.329 * * [simplify]: iteration 3 : 61 enodes (cost 7 ) 221.337 * * [simplify]: iteration 4 : 69 enodes (cost 7 ) 221.344 * * [simplify]: iteration 5 : 79 enodes (cost 7 ) 221.353 * * [simplify]: iteration 6 : 101 enodes (cost 7 ) 221.368 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 221.421 * * [simplify]: iteration 8 : 382 enodes (cost 7 ) 221.887 * * [simplify]: iteration 9 : 1320 enodes (cost 7 ) 224.189 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 224.189 * [simplify]: Simplified to: (* (* 3.0 x) y) (* (* 3.0 x) y) (+ (+ (log 3.0) (log x)) (log y)) (+ (log (* 3.0 x)) (log y)) (log (* (* 3.0 x) y)) (exp (* (* 3.0 x) y)) (* (pow y 3) (pow (* 3.0 x) 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 y) (cbrt y))) (* (* 3.0 x) (sqrt y)) (* 3.0 x) (* x y) (* x (* (* 3.0 x) y)) (* x (* (* 3.0 x) y)) (* x (* (* 3.0 x) y)) (+ (log 3.0) (+ (log y) (* 2 (log x)))) (+ (log x) (+ (log (* 3.0 x)) (log y))) (+ (log x) (log (* (* 3.0 x) y))) (log (* x (* (* 3.0 x) y))) (exp (* x (* (* 3.0 x) y))) (* (pow y 3) (* (pow x 6) (pow 3.0 3))) (* (pow (* (* 3.0 x) y) 3) (pow x 3)) (pow (* x (* (* 3.0 x) y)) 3) (* (cbrt (* x (* (* 3.0 x) y))) (cbrt (* x (* (* 3.0 x) y)))) (cbrt (* x (* (* 3.0 x) y))) (pow (* x (* (* 3.0 x) y)) 3) (sqrt (* x (* (* 3.0 x) y))) (sqrt (* x (* (* 3.0 x) y))) (* x (* 3.0 x)) (* (cbrt x) (* (* 3.0 x) y)) (* (sqrt x) (* (* 3.0 x) y)) (* x (* (* 3.0 x) y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* (pow x 2) y)) (* 3.0 (* (pow x 2) y)) (* 3.0 (* (pow x 2) y)) 224.189 * * * [progress]: adding candidates to table 224.238 * [progress]: [Phase 3 of 3] Extracting. 224.238 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 224.239 * * * [regime-changes]: Trying 4 branch expressions: ((* (* x 3.0) x) (* (* (* x 3.0) x) y) y x) 224.239 * * * * [regimes]: Trying to branch on (* (* x 3.0) x) from (# # # # # # # # # #) 224.297 * * * * [regimes]: Trying to branch on (* (* (* x 3.0) x) y) from (# # # # # # # # # #) 224.355 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # #) 224.415 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # #) 224.475 * * * [regime]: Found split indices: #