analyze438.0ms (37.1%)

Algorithm

1×	search
2×	egg-herbie

Rules

2802×	associate--r-_binary64_11952
1160×	distribute-rgt-out--_binary64_11967
988×	sub-neg_binary64_12006
322×	+-commutative_binary64_11943
254×	distribute-rgt-in_binary64_11963
234×	associate--r+_binary64_11949
228×	associate--l-_binary64_11951
212×	unsub-neg_binary64_12007 associate--l+_binary64_11950
157×	*-commutative_binary64_11944
148×	distribute-neg-out_binary64_11975
132×	associate-+l-_binary64_11948
126×	associate-+l+_binary64_11946
120×	div-sub_binary64_12018
116×	associate-+r+_binary64_11945
112×	associate-+r-_binary64_11947
106×	cancel-sign-sub-inv_binary64_11979
100×	neg-sub0_binary64_12008
96×	distribute-lft-in_binary64_11962
66×	associate-*r*_binary64_11953
58×	distribute-neg-in_binary64_11974 associate-/l*_binary64_11958
56×	associate-*l*_binary64_11954
36×	neg-mul-1_binary64_12009 --rgt-identity_binary64_11999 distribute-rgt1-in_binary64_11969
32×	distribute-rgt-neg-in_binary64_11971
31×	distribute-lft-neg-out_binary64_11972
30×	distribute-lft-out--_binary64_11965
26×	distribute-lft-neg-in_binary64_11970
24×	associate-/r*_binary64_11957
19×	distribute-rgt-neg-out_binary64_11973
16×	sub0-neg_binary64_12000 distribute-lft1-in_binary64_11968
15×	*-rgt-identity_binary64_12003
12×	+-inverses_binary64_11992
8×	distribute-neg-frac_binary64_11977
6×	+-rgt-identity_binary64_11998 distribute-frac-neg_binary64_11976 distribute-lft-out_binary64_11964
5×	distribute-rgt-out_binary64_11966
4×	/-rgt-identity_binary64_12004 *-lft-identity_binary64_12002 remove-double-neg_binary64_12001
2×	associate-/l/_binary64_11960 associate-/r/_binary64_11959
1×	1-exp_binary64_12057 swap-x-y
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_12276 erf-erfc_binary64_12275 erf-odd_binary64_12274 if-if-and-not_binary64_12273 if-if-and_binary64_12272 if-if-or-not_binary64_12271 if-if-or_binary64_12270 if-not_binary64_12269 if-same_binary64_12268 if-false_binary64_12267 if-true_binary64_12266 not-gte_binary64_12265 not-lte_binary64_12264 not-gt_binary64_12263 not-lt_binary64_12262 gte-same_binary64_12261 lte-same_binary64_12260 gt-same_binary64_12259 lt-same_binary64_12258 sinh---cosh_binary64_12205 sinh-+-cosh_binary64_12204 sinh-cosh_binary64_12203 tanh-def-c_binary64_12202 tanh-def-b_binary64_12201 tanh-def-a_binary64_12200 cosh-def_binary64_12199 sinh-def_binary64_12198 tan-neg_binary64_12145 cos-neg_binary64_12144 sin-neg_binary64_12143 tan-0_binary64_12142 cos-0_binary64_12141 sin-0_binary64_12140 hang-m-tan_binary64_12139 hang-p-tan_binary64_12138 hang-m0-tan_binary64_12137 hang-p0-tan_binary64_12136 hang-0m-tan_binary64_12135 hang-0p-tan_binary64_12134 tan-+PI/2_binary64_12133 tan-+PI_binary64_12132 tan-PI_binary64_12131 tan-PI/3_binary64_12130 tan-PI/4_binary64_12129 tan-PI/6_binary64_12128 cos-+PI/2_binary64_12127 cos-+PI_binary64_12126 cos-PI_binary64_12125 cos-PI/2_binary64_12124 cos-PI/3_binary64_12123 cos-PI/4_binary64_12122 cos-PI/6_binary64_12121 sin-+PI/2_binary64_12120 sin-+PI_binary64_12119 sin-PI_binary64_12118 sin-PI/2_binary64_12117 sin-PI/3_binary64_12116 sin-PI/4_binary64_12115 sin-PI/6_binary64_12114 sub-1-sin_binary64_12113 sub-1-cos_binary64_12112 -1-add-sin_binary64_12111 -1-add-cos_binary64_12110 1-sub-sin_binary64_12109 1-sub-cos_binary64_12108 cos-sin-sum_binary64_12107 log-E_binary64_12103 log-pow_binary64_12102 log-rec_binary64_12101 log-div_binary64_12100 log-prod_binary64_12099 pow-base-0_binary64_12097 unpow1/3_binary64_12080 unpow3_binary64_12079 unpow2_binary64_12078 unpow1/2_binary64_12077 pow-plus_binary64_12076 exp-to-pow_binary64_12075 pow-base-1_binary64_12073 unpow0_binary64_12072 unpow1_binary64_12071 unpow-1_binary64_12070 exp-lft-cube_binary64_12069 exp-lft-sqr_binary64_12068 exp-cbrt_binary64_12067 exp-sqrt_binary64_12066 exp-prod_binary64_12065 div-exp_binary64_12064 rec-exp_binary64_12063 prod-exp_binary64_12062 exp-diff_binary64_12061 exp-neg_binary64_12060 exp-sum_binary64_12059 e-exp-1_binary64_12058 exp-1-e_binary64_12056 exp-0_binary64_12055 rem-log-exp_binary64_12054 rem-exp-log_binary64_12053 cube-unmult_binary64_12050 cube-mult_binary64_12043 cube-div_binary64_12042 cube-prod_binary64_12041 cube-neg_binary64_12040 rem-3cbrt-rft_binary64_12039 rem-3cbrt-lft_binary64_12038 rem-cbrt-cube_binary64_12037 rem-cube-cbrt_binary64_12036 sqr-abs_binary64_12028 sqr-neg_binary64_12027 rem-sqrt-square_binary64_12026 rem-square-sqrt_binary64_12025 times-frac_binary64_12019 mul-1-neg_binary64_12005 +-lft-identity_binary64_11997 mul0-rgt_binary64_11996 mul0-lft_binary64_11995 div0_binary64_11994 *-inverses_binary64_11993 lft-mult-inverse_binary64_11991 rgt-mult-inverse_binary64_11990 remove-double-div_binary64_11989 pow-sqr_binary64_11986 sqr-pow_binary64_11985 difference-of-sqr--1_binary64_11984 difference-of-sqr-1_binary64_11983 difference-of-squares_binary64_11982 unswap-sqr_binary64_11981 swap-sqr_binary64_11980 cancel-sign-sub_binary64_11978 count-2_binary64_11961 associate-*l/_binary64_11956 associate-*r/_binary64_11955

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	20
1	20	20
2	40	20
3	72	20
4	133	20
5	222	20
6	313	14
7	657	14
8	781	14
9	752	14
10	768	14
11	782	14
12	782	14
13	1860	14
14	1746	14
15	1950	14
16	2007	14
17	2063	14
18	2063	14
19	2082	14
20	2086	14
21	2086	14
22	2086	14
23	4408	14
24	4336	14
25	4340	14
26	4340	14
27	4340	14
28	4410	14
29	4405	14
30	4509	14
31	4638	14
32	5336	14
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
50%	50%	0.1%	3
62.4%	37.5%	0.1%	4
87.4%	12.5%	0.1%	5
90.5%	9.4%	0.1%	6
96.8%	3.1%	0.1%	7
97.6%	2.3%	0.1%	8
99.1%	0.8%	0.1%	9
99.3%	0.6%	0.1%	10
99.7%	0.2%	0.1%	11
99.8%	0.1%	0.1%	12
99.9%	0%	0.1%	13
99.9%	0%	0.1%	14

Symmetry

(sort x y)

Compiler

Compiled 8 to 7 computations (12.5% saved)