analyze332.0ms (28.5%)

Algorithm

1×	search
2×	egg-herbie

Rules

1167×	unsub-neg_binary64_15417
601×	sub-neg_binary64_15416
578×	neg-sub0_binary64_15418
510×	neg-mul-1_binary64_15419
410×	distribute-neg-in_binary64_15384
359×	distribute-lft-neg-out_binary64_15382
347×	+-commutative_binary64_15353
341×	associate--r+_binary64_15359
320×	associate--l+_binary64_15360
302×	*-commutative_binary64_15354
268×	distribute-rgt-neg-in_binary64_15381
255×	remove-double-neg_binary64_15411
252×	distribute-rgt-neg-out_binary64_15383
243×	distribute-rgt1-in_binary64_15379
239×	distribute-rgt-in_binary64_15373
216×	distribute-neg-out_binary64_15385
212×	distribute-rgt-out--_binary64_15377
198×	associate--l-_binary64_15361
177×	associate--r-_binary64_15362 associate-+l+_binary64_15356
160×	distribute-lft-in_binary64_15372
155×	distribute-lft-neg-in_binary64_15380
146×	distribute-lft-out_binary64_15374
143×	associate-+r+_binary64_15355
111×	distribute-rgt-out_binary64_15376
108×	associate-+l-_binary64_15358
88×	cancel-sign-sub-inv_binary64_15389
76×	distribute-lft1-in_binary64_15378
68×	associate-+r-_binary64_15357
61×	*-rgt-identity_binary64_15413
45×	associate-*r*_binary64_15363
34×	associate-*l*_binary64_15364
30×	sub0-neg_binary64_15410
24×	*-lft-identity_binary64_15412
12×	mul0-rgt_binary64_15406 mul0-lft_binary64_15405
10×	+-rgt-identity_binary64_15408
8×	swap-sqr_binary64_15390
6×	sqr-neg_binary64_15437 cancel-sign-sub_binary64_15388
2×	mul-1-neg_binary64_15415 --rgt-identity_binary64_15409 +-lft-identity_binary64_15407 +-inverses_binary64_15402
1×	1-exp_binary64_15467
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_15686 erf-erfc_binary64_15685 erf-odd_binary64_15684 if-if-and-not_binary64_15683 if-if-and_binary64_15682 if-if-or-not_binary64_15681 if-if-or_binary64_15680 if-not_binary64_15679 if-same_binary64_15678 if-false_binary64_15677 if-true_binary64_15676 not-gte_binary64_15675 not-lte_binary64_15674 not-gt_binary64_15673 not-lt_binary64_15672 gte-same_binary64_15671 lte-same_binary64_15670 gt-same_binary64_15669 lt-same_binary64_15668 sinh---cosh_binary64_15615 sinh-+-cosh_binary64_15614 sinh-cosh_binary64_15613 tanh-def-c_binary64_15612 tanh-def-b_binary64_15611 tanh-def-a_binary64_15610 cosh-def_binary64_15609 sinh-def_binary64_15608 tan-neg_binary64_15555 cos-neg_binary64_15554 sin-neg_binary64_15553 tan-0_binary64_15552 cos-0_binary64_15551 sin-0_binary64_15550 hang-m-tan_binary64_15549 hang-p-tan_binary64_15548 hang-m0-tan_binary64_15547 hang-p0-tan_binary64_15546 hang-0m-tan_binary64_15545 hang-0p-tan_binary64_15544 tan-+PI/2_binary64_15543 tan-+PI_binary64_15542 tan-PI_binary64_15541 tan-PI/3_binary64_15540 tan-PI/4_binary64_15539 tan-PI/6_binary64_15538 cos-+PI/2_binary64_15537 cos-+PI_binary64_15536 cos-PI_binary64_15535 cos-PI/2_binary64_15534 cos-PI/3_binary64_15533 cos-PI/4_binary64_15532 cos-PI/6_binary64_15531 sin-+PI/2_binary64_15530 sin-+PI_binary64_15529 sin-PI_binary64_15528 sin-PI/2_binary64_15527 sin-PI/3_binary64_15526 sin-PI/4_binary64_15525 sin-PI/6_binary64_15524 sub-1-sin_binary64_15523 sub-1-cos_binary64_15522 -1-add-sin_binary64_15521 -1-add-cos_binary64_15520 1-sub-sin_binary64_15519 1-sub-cos_binary64_15518 cos-sin-sum_binary64_15517 log-E_binary64_15513 log-pow_binary64_15512 log-rec_binary64_15511 log-div_binary64_15510 log-prod_binary64_15509 pow-base-0_binary64_15507 unpow1/3_binary64_15490 unpow3_binary64_15489 unpow2_binary64_15488 unpow1/2_binary64_15487 pow-plus_binary64_15486 exp-to-pow_binary64_15485 pow-base-1_binary64_15483 unpow0_binary64_15482 unpow1_binary64_15481 unpow-1_binary64_15480 exp-lft-cube_binary64_15479 exp-lft-sqr_binary64_15478 exp-cbrt_binary64_15477 exp-sqrt_binary64_15476 exp-prod_binary64_15475 div-exp_binary64_15474 rec-exp_binary64_15473 prod-exp_binary64_15472 exp-diff_binary64_15471 exp-neg_binary64_15470 exp-sum_binary64_15469 e-exp-1_binary64_15468 exp-1-e_binary64_15466 exp-0_binary64_15465 rem-log-exp_binary64_15464 rem-exp-log_binary64_15463 cube-unmult_binary64_15460 cube-mult_binary64_15453 cube-div_binary64_15452 cube-prod_binary64_15451 cube-neg_binary64_15450 rem-3cbrt-rft_binary64_15449 rem-3cbrt-lft_binary64_15448 rem-cbrt-cube_binary64_15447 rem-cube-cbrt_binary64_15446 sqr-abs_binary64_15438 rem-sqrt-square_binary64_15436 rem-square-sqrt_binary64_15435 times-frac_binary64_15429 div-sub_binary64_15428 /-rgt-identity_binary64_15414 div0_binary64_15404 *-inverses_binary64_15403 lft-mult-inverse_binary64_15401 rgt-mult-inverse_binary64_15400 remove-double-div_binary64_15399 pow-sqr_binary64_15396 sqr-pow_binary64_15395 difference-of-sqr--1_binary64_15394 difference-of-sqr-1_binary64_15393 difference-of-squares_binary64_15392 unswap-sqr_binary64_15391 distribute-neg-frac_binary64_15387 distribute-frac-neg_binary64_15386 distribute-lft-out--_binary64_15375 count-2_binary64_15371 associate-/l/_binary64_15370 associate-/r/_binary64_15369 associate-/l*_binary64_15368 associate-/r*_binary64_15367 associate-*l/_binary64_15366 associate-*r/_binary64_15365

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	26
1	18	26
2	37	26
3	99	26
4	343	20
5	817	20
6	2338	20
7	3633	20
8	4248	20
9	4692	20
10	4626	20
11	4670	20
12	4708	20
13	5020	20
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
12.5%	87.4%	0.1%	4
31.2%	68.7%	0.1%	5
43.7%	56.2%	0.1%	6
54.6%	42.1%	3.2%	7
63.2%	30.4%	6.3%	8
69.9%	21.5%	8.7%	9
75.3%	15.2%	9.5%	10
79%	10.1%	10.8%	11
82%	7%	11%	12
83.9%	4.4%	11.8%	13
84.7%	3.5%	11.8%	14

Compiler

Compiled 10 to 9 computations (10% saved)