analyze249.0ms (19.2%)

Algorithm

1×	search
2×	egg-herbie

Rules

502×	sqr-pow_binary64_21192
428×	unswap-sqr_binary64_21188
356×	distribute-rgt-in_binary64_21170
334×	associate-/l/_binary64_21167
290×	associate-*r/_binary64_21162
288×	pow-sqr_binary64_21193
268×	associate-/r/_binary64_21166
264×	associate-*l/_binary64_21163
214×	associate-*l*_binary64_21161
206×	*-commutative_binary64_21151
194×	exp-prod_binary64_21272
140×	associate-*r*_binary64_21160
138×	associate-/l*_binary64_21165
120×	swap-sqr_binary64_21187
108×	cube-prod_binary64_21248
104×	distribute-rgt-out_binary64_21173
92×	rem-sqrt-square_binary64_21233
72×	associate-/r*_binary64_21164
54×	pow-plus_binary64_21283
50×	prod-exp_binary64_21269
48×	unpow3_binary64_21286
44×	cube-mult_binary64_21250
30×	distribute-lft-out_binary64_21171
28×	exp-sqrt_binary64_21273 *-lft-identity_binary64_21209 distribute-lft-in_binary64_21169
24×	unpow1/2_binary64_21284
22×	*-rgt-identity_binary64_21210
16×	unpow2_binary64_21285 exp-lft-sqr_binary64_21275
14×	unpow1_binary64_21278 distribute-rgt1-in_binary64_21176
12×	exp-sum_binary64_21266
10×	cube-unmult_binary64_21257
4×	rem-square-sqrt_binary64_21232 /-rgt-identity_binary64_21211 remove-double-div_binary64_21196
2×	distribute-lft1-in_binary64_21175 associate-+l+_binary64_21153 associate-+r+_binary64_21152
1×	1-exp_binary64_21264 exp-1-e_binary64_21263
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_21483 erf-erfc_binary64_21482 erf-odd_binary64_21481 if-if-and-not_binary64_21480 if-if-and_binary64_21479 if-if-or-not_binary64_21478 if-if-or_binary64_21477 if-not_binary64_21476 if-same_binary64_21475 if-false_binary64_21474 if-true_binary64_21473 not-gte_binary64_21472 not-lte_binary64_21471 not-gt_binary64_21470 not-lt_binary64_21469 gte-same_binary64_21468 lte-same_binary64_21467 gt-same_binary64_21466 lt-same_binary64_21465 sinh---cosh_binary64_21412 sinh-+-cosh_binary64_21411 sinh-cosh_binary64_21410 tanh-def-c_binary64_21409 tanh-def-b_binary64_21408 tanh-def-a_binary64_21407 cosh-def_binary64_21406 sinh-def_binary64_21405 tan-neg_binary64_21352 cos-neg_binary64_21351 sin-neg_binary64_21350 tan-0_binary64_21349 cos-0_binary64_21348 sin-0_binary64_21347 hang-m-tan_binary64_21346 hang-p-tan_binary64_21345 hang-m0-tan_binary64_21344 hang-p0-tan_binary64_21343 hang-0m-tan_binary64_21342 hang-0p-tan_binary64_21341 tan-+PI/2_binary64_21340 tan-+PI_binary64_21339 tan-PI_binary64_21338 tan-PI/3_binary64_21337 tan-PI/4_binary64_21336 tan-PI/6_binary64_21335 cos-+PI/2_binary64_21334 cos-+PI_binary64_21333 cos-PI_binary64_21332 cos-PI/2_binary64_21331 cos-PI/3_binary64_21330 cos-PI/4_binary64_21329 cos-PI/6_binary64_21328 sin-+PI/2_binary64_21327 sin-+PI_binary64_21326 sin-PI_binary64_21325 sin-PI/2_binary64_21324 sin-PI/3_binary64_21323 sin-PI/4_binary64_21322 sin-PI/6_binary64_21321 sub-1-sin_binary64_21320 sub-1-cos_binary64_21319 -1-add-sin_binary64_21318 -1-add-cos_binary64_21317 1-sub-sin_binary64_21316 1-sub-cos_binary64_21315 cos-sin-sum_binary64_21314 log-E_binary64_21310 log-pow_binary64_21309 log-rec_binary64_21308 log-div_binary64_21307 log-prod_binary64_21306 pow-base-0_binary64_21304 unpow1/3_binary64_21287 exp-to-pow_binary64_21282 pow-base-1_binary64_21280 unpow0_binary64_21279 unpow-1_binary64_21277 exp-lft-cube_binary64_21276 exp-cbrt_binary64_21274 div-exp_binary64_21271 rec-exp_binary64_21270 exp-diff_binary64_21268 exp-neg_binary64_21267 e-exp-1_binary64_21265 exp-0_binary64_21262 rem-log-exp_binary64_21261 rem-exp-log_binary64_21260 cube-div_binary64_21249 cube-neg_binary64_21247 rem-3cbrt-rft_binary64_21246 rem-3cbrt-lft_binary64_21245 rem-cbrt-cube_binary64_21244 rem-cube-cbrt_binary64_21243 sqr-abs_binary64_21235 sqr-neg_binary64_21234 times-frac_binary64_21226 div-sub_binary64_21225 neg-mul-1_binary64_21216 neg-sub0_binary64_21215 unsub-neg_binary64_21214 sub-neg_binary64_21213 mul-1-neg_binary64_21212 remove-double-neg_binary64_21208 sub0-neg_binary64_21207 --rgt-identity_binary64_21206 +-rgt-identity_binary64_21205 +-lft-identity_binary64_21204 mul0-rgt_binary64_21203 mul0-lft_binary64_21202 div0_binary64_21201 *-inverses_binary64_21200 +-inverses_binary64_21199 lft-mult-inverse_binary64_21198 rgt-mult-inverse_binary64_21197 difference-of-sqr--1_binary64_21191 difference-of-sqr-1_binary64_21190 difference-of-squares_binary64_21189 cancel-sign-sub-inv_binary64_21186 cancel-sign-sub_binary64_21185 distribute-neg-frac_binary64_21184 distribute-frac-neg_binary64_21183 distribute-neg-out_binary64_21182 distribute-neg-in_binary64_21181 distribute-rgt-neg-out_binary64_21180 distribute-lft-neg-out_binary64_21179 distribute-rgt-neg-in_binary64_21178 distribute-lft-neg-in_binary64_21177 distribute-rgt-out--_binary64_21174 distribute-lft-out--_binary64_21172 count-2_binary64_21168 associate--r-_binary64_21159 associate--l-_binary64_21158 associate--l+_binary64_21157 associate--r+_binary64_21156 associate-+l-_binary64_21155 associate-+r-_binary64_21154 +-commutative_binary64_21150

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	18
1	15	18
2	22	18
3	40	18
4	90	18
5	209	18
6	514	18
7	801	18
8	2374	18
9	2580	18
10	2979	18
11	3597	18
12	5074	18
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
50%	50%	0.1%	2
50%	50%	0.1%	3
50%	50%	0.1%	4
62.4%	37.5%	0.1%	5
68.7%	31.2%	0.1%	6
68.7%	18.7%	12.6%	7
71.8%	15.6%	12.6%	8
71.8%	9.4%	18.8%	9
73.4%	7.8%	18.8%	10
73.4%	4.7%	22%	11
74.1%	3.9%	22%	12
74.1%	2.3%	23.5%	13
74.5%	2%	23.5%	14

Compiler

Compiled 7 to 6 computations (14.3% saved)