analyze273.0ms (32.3%)

Algorithm

1×	search
2×	egg-herbie

Rules

1268×	sqr-pow_binary64_6188
651×	pow-sqr_binary64_6189
362×	unswap-sqr_binary64_6184
265×	cube-prod_binary64_6244
201×	unpow3_binary64_6282
198×	cube-mult_binary64_6246
155×	associate-*l*_binary64_6157
135×	*-commutative_binary64_6147
90×	associate-*r*_binary64_6156
48×	pow-plus_binary64_6279
16×	rem-sqrt-square_binary64_6229
9×	cube-unmult_binary64_6253
6×	unpow2_binary64_6281 unpow1/2_binary64_6280 unpow1_binary64_6274
1×	1-exp_binary64_6260
0×	not-true not-false not-not not-and not-or and-true-l and-true-r and-false-l and-false-r and-same or-true-l or-true-r or-false-l or-false-r or-same erfc-erf_binary64_6479 erf-erfc_binary64_6478 erf-odd_binary64_6477 if-if-and-not_binary64_6476 if-if-and_binary64_6475 if-if-or-not_binary64_6474 if-if-or_binary64_6473 if-not_binary64_6472 if-same_binary64_6471 if-false_binary64_6470 if-true_binary64_6469 not-gte_binary64_6468 not-lte_binary64_6467 not-gt_binary64_6466 not-lt_binary64_6465 gte-same_binary64_6464 lte-same_binary64_6463 gt-same_binary64_6462 lt-same_binary64_6461 sinh---cosh_binary64_6408 sinh-+-cosh_binary64_6407 sinh-cosh_binary64_6406 tanh-def-c_binary64_6405 tanh-def-b_binary64_6404 tanh-def-a_binary64_6403 cosh-def_binary64_6402 sinh-def_binary64_6401 tan-neg_binary64_6348 cos-neg_binary64_6347 sin-neg_binary64_6346 tan-0_binary64_6345 cos-0_binary64_6344 sin-0_binary64_6343 hang-m-tan_binary64_6342 hang-p-tan_binary64_6341 hang-m0-tan_binary64_6340 hang-p0-tan_binary64_6339 hang-0m-tan_binary64_6338 hang-0p-tan_binary64_6337 tan-+PI/2_binary64_6336 tan-+PI_binary64_6335 tan-PI_binary64_6334 tan-PI/3_binary64_6333 tan-PI/4_binary64_6332 tan-PI/6_binary64_6331 cos-+PI/2_binary64_6330 cos-+PI_binary64_6329 cos-PI_binary64_6328 cos-PI/2_binary64_6327 cos-PI/3_binary64_6326 cos-PI/4_binary64_6325 cos-PI/6_binary64_6324 sin-+PI/2_binary64_6323 sin-+PI_binary64_6322 sin-PI_binary64_6321 sin-PI/2_binary64_6320 sin-PI/3_binary64_6319 sin-PI/4_binary64_6318 sin-PI/6_binary64_6317 sub-1-sin_binary64_6316 sub-1-cos_binary64_6315 -1-add-sin_binary64_6314 -1-add-cos_binary64_6313 1-sub-sin_binary64_6312 1-sub-cos_binary64_6311 cos-sin-sum_binary64_6310 log-E_binary64_6306 log-pow_binary64_6305 log-rec_binary64_6304 log-div_binary64_6303 log-prod_binary64_6302 pow-base-0_binary64_6300 unpow1/3_binary64_6283 exp-to-pow_binary64_6278 pow-base-1_binary64_6276 unpow0_binary64_6275 unpow-1_binary64_6273 exp-lft-cube_binary64_6272 exp-lft-sqr_binary64_6271 exp-cbrt_binary64_6270 exp-sqrt_binary64_6269 exp-prod_binary64_6268 div-exp_binary64_6267 rec-exp_binary64_6266 prod-exp_binary64_6265 exp-diff_binary64_6264 exp-neg_binary64_6263 exp-sum_binary64_6262 e-exp-1_binary64_6261 exp-1-e_binary64_6259 exp-0_binary64_6258 rem-log-exp_binary64_6257 rem-exp-log_binary64_6256 cube-div_binary64_6245 cube-neg_binary64_6243 rem-3cbrt-rft_binary64_6242 rem-3cbrt-lft_binary64_6241 rem-cbrt-cube_binary64_6240 rem-cube-cbrt_binary64_6239 sqr-abs_binary64_6231 sqr-neg_binary64_6230 rem-square-sqrt_binary64_6228 times-frac_binary64_6222 div-sub_binary64_6221 neg-mul-1_binary64_6212 neg-sub0_binary64_6211 unsub-neg_binary64_6210 sub-neg_binary64_6209 mul-1-neg_binary64_6208 /-rgt-identity_binary64_6207 *-rgt-identity_binary64_6206 *-lft-identity_binary64_6205 remove-double-neg_binary64_6204 sub0-neg_binary64_6203 --rgt-identity_binary64_6202 +-rgt-identity_binary64_6201 +-lft-identity_binary64_6200 mul0-rgt_binary64_6199 mul0-lft_binary64_6198 div0_binary64_6197 *-inverses_binary64_6196 +-inverses_binary64_6195 lft-mult-inverse_binary64_6194 rgt-mult-inverse_binary64_6193 remove-double-div_binary64_6192 difference-of-sqr--1_binary64_6187 difference-of-sqr-1_binary64_6186 difference-of-squares_binary64_6185 swap-sqr_binary64_6183 cancel-sign-sub-inv_binary64_6182 cancel-sign-sub_binary64_6181 distribute-neg-frac_binary64_6180 distribute-frac-neg_binary64_6179 distribute-neg-out_binary64_6178 distribute-neg-in_binary64_6177 distribute-rgt-neg-out_binary64_6176 distribute-lft-neg-out_binary64_6175 distribute-rgt-neg-in_binary64_6174 distribute-lft-neg-in_binary64_6173 distribute-rgt1-in_binary64_6172 distribute-lft1-in_binary64_6171 distribute-rgt-out--_binary64_6170 distribute-rgt-out_binary64_6169 distribute-lft-out--_binary64_6168 distribute-lft-out_binary64_6167 distribute-rgt-in_binary64_6166 distribute-lft-in_binary64_6165 count-2_binary64_6164 associate-/l/_binary64_6163 associate-/r/_binary64_6162 associate-/l*_binary64_6161 associate-/r*_binary64_6160 associate-*l/_binary64_6159 associate-*r/_binary64_6158 associate--r-_binary64_6155 associate--l-_binary64_6154 associate--l+_binary64_6153 associate--r+_binary64_6152 associate-+l-_binary64_6151 associate-+r-_binary64_6150 associate-+l+_binary64_6149 associate-+r+_binary64_6148 +-commutative_binary64_6146

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	7
1	5	4
2	7	4
3	12	4
4	17	4
5	26	4
6	46	4
7	100	4
8	277	4
9	582	4
10	586	4
11	716	4
12	870	4
13	1087	4
14	1385	4
15	1758	4
16	2201	4
17	2724	4
18	2944	4
19	3014	4
20	3024	4
21	3026	4
22	3026	4
23	3595	4
24	4236	4
25	4708	4
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
62.5%	12.5%	25%	5
62.5%	6.2%	31.3%	6
65.6%	3.1%	31.3%	7
65.6%	1.6%	32.8%	8
66.4%	0.8%	32.8%	9
66.4%	0.4%	33.2%	10
66.6%	0.2%	33.2%	11
66.6%	0.1%	33.3%	12
66.6%	0%	33.4%	13
66.6%	0%	33.4%	14

Compiler

Compiled 6 to 4 computations (33.3% saved)