analyze305.0ms (9.2%)

Algorithm

1×	search
2×	egg-herbie

Rules

770×	unswap-sqr_binary64_2092
633×	associate-*l*_binary64_2065
432×	sub-neg_binary64_2117
416×	associate-+l+_binary64_2057
342×	associate-+r+_binary64_2056
284×	unsub-neg_binary64_2118
255×	+-commutative_binary64_2054
241×	cancel-sign-sub-inv_binary64_2090
211×	distribute-rgt-neg-in_binary64_2082
196×	associate--l+_binary64_2061
188×	distribute-rgt-in_binary64_2074
181×	*-commutative_binary64_2055
178×	distribute-lft-neg-in_binary64_2081
163×	associate-+l-_binary64_2059
151×	neg-sub0_binary64_2119
150×	distribute-lft-in_binary64_2073
147×	neg-mul-1_binary64_2120
114×	distribute-lft-out_binary64_2075
113×	distribute-neg-in_binary64_2085
108×	associate--r+_binary64_2060
105×	associate-*r*_binary64_2064
69×	distribute-rgt-out_binary64_2077
52×	associate--r-_binary64_2063 associate-+r-_binary64_2058
33×	distribute-lft-neg-out_binary64_2083
30×	sqr-pow_binary64_2096
22×	cube-prod_binary64_2152
19×	pow-plus_binary64_2187
18×	remove-double-neg_binary64_2112
14×	difference-of-sqr--1_binary64_2095
12×	cube-unmult_binary64_2161 associate--l-_binary64_2062
11×	*-rgt-identity_binary64_2114
10×	rem-sqrt-square_binary64_2137 *-lft-identity_binary64_2113
7×	unpow3_binary64_2190 mul-1-neg_binary64_2116
6×	unpow2_binary64_2189 difference-of-sqr-1_binary64_2094
4×	distribute-rgt-neg-out_binary64_2084
3×	sqr-neg_binary64_2138 sub0-neg_binary64_2111 pow-sqr_binary64_2097
2×	unpow1_binary64_2182 cube-neg_binary64_2151 --rgt-identity_binary64_2110 +-rgt-identity_binary64_2109
1×	unpow1/2_binary64_2188 1-exp_binary64_2168 cube-mult_binary64_2154 count-2_binary64_2072
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_2387 erf-erfc_binary64_2386 erf-odd_binary64_2385 if-if-and-not_binary64_2384 if-if-and_binary64_2383 if-if-or-not_binary64_2382 if-if-or_binary64_2381 if-not_binary64_2380 if-same_binary64_2379 if-false_binary64_2378 if-true_binary64_2377 not-gte_binary64_2376 not-lte_binary64_2375 not-gt_binary64_2374 not-lt_binary64_2373 gte-same_binary64_2372 lte-same_binary64_2371 gt-same_binary64_2370 lt-same_binary64_2369 sinh---cosh_binary64_2316 sinh-+-cosh_binary64_2315 sinh-cosh_binary64_2314 tanh-def-c_binary64_2313 tanh-def-b_binary64_2312 tanh-def-a_binary64_2311 cosh-def_binary64_2310 sinh-def_binary64_2309 tan-neg_binary64_2256 cos-neg_binary64_2255 sin-neg_binary64_2254 tan-0_binary64_2253 cos-0_binary64_2252 sin-0_binary64_2251 hang-m-tan_binary64_2250 hang-p-tan_binary64_2249 hang-m0-tan_binary64_2248 hang-p0-tan_binary64_2247 hang-0m-tan_binary64_2246 hang-0p-tan_binary64_2245 tan-+PI/2_binary64_2244 tan-+PI_binary64_2243 tan-PI_binary64_2242 tan-PI/3_binary64_2241 tan-PI/4_binary64_2240 tan-PI/6_binary64_2239 cos-+PI/2_binary64_2238 cos-+PI_binary64_2237 cos-PI_binary64_2236 cos-PI/2_binary64_2235 cos-PI/3_binary64_2234 cos-PI/4_binary64_2233 cos-PI/6_binary64_2232 sin-+PI/2_binary64_2231 sin-+PI_binary64_2230 sin-PI_binary64_2229 sin-PI/2_binary64_2228 sin-PI/3_binary64_2227 sin-PI/4_binary64_2226 sin-PI/6_binary64_2225 sub-1-sin_binary64_2224 sub-1-cos_binary64_2223 -1-add-sin_binary64_2222 -1-add-cos_binary64_2221 1-sub-sin_binary64_2220 1-sub-cos_binary64_2219 cos-sin-sum_binary64_2218 log-E_binary64_2214 log-pow_binary64_2213 log-rec_binary64_2212 log-div_binary64_2211 log-prod_binary64_2210 pow-base-0_binary64_2208 unpow1/3_binary64_2191 exp-to-pow_binary64_2186 pow-base-1_binary64_2184 unpow0_binary64_2183 unpow-1_binary64_2181 exp-lft-cube_binary64_2180 exp-lft-sqr_binary64_2179 exp-cbrt_binary64_2178 exp-sqrt_binary64_2177 exp-prod_binary64_2176 div-exp_binary64_2175 rec-exp_binary64_2174 prod-exp_binary64_2173 exp-diff_binary64_2172 exp-neg_binary64_2171 exp-sum_binary64_2170 e-exp-1_binary64_2169 exp-1-e_binary64_2167 exp-0_binary64_2166 rem-log-exp_binary64_2165 rem-exp-log_binary64_2164 cube-div_binary64_2153 rem-3cbrt-rft_binary64_2150 rem-3cbrt-lft_binary64_2149 rem-cbrt-cube_binary64_2148 rem-cube-cbrt_binary64_2147 sqr-abs_binary64_2139 rem-square-sqrt_binary64_2136 times-frac_binary64_2130 div-sub_binary64_2129 /-rgt-identity_binary64_2115 +-lft-identity_binary64_2108 mul0-rgt_binary64_2107 mul0-lft_binary64_2106 div0_binary64_2105 *-inverses_binary64_2104 +-inverses_binary64_2103 lft-mult-inverse_binary64_2102 rgt-mult-inverse_binary64_2101 remove-double-div_binary64_2100 difference-of-squares_binary64_2093 swap-sqr_binary64_2091 cancel-sign-sub_binary64_2089 distribute-neg-frac_binary64_2088 distribute-frac-neg_binary64_2087 distribute-neg-out_binary64_2086 distribute-rgt1-in_binary64_2080 distribute-lft1-in_binary64_2079 distribute-rgt-out--_binary64_2078 distribute-lft-out--_binary64_2076 associate-/l/_binary64_2071 associate-/r/_binary64_2070 associate-/l*_binary64_2069 associate-/r*_binary64_2068 associate-*l/_binary64_2067 associate-*r/_binary64_2066

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	50
1	39	50
2	67	50
3	181	50
4	494	50
5	1458	50
6	3377	50
7	4994	50
8	4815	50
9	5092	50
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
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	50%	25.1%	6
25%	31.2%	43.8%	7
25%	21.9%	53.2%	8
25%	14%	61%	9
28.1%	10.9%	61%	10
31.6%	7.4%	61%	11
33.4%	5.7%	61%	12
35.2%	3.8%	61%	13
36.1%	2.9%	61%	14

Compiler

Compiled 18 to 13 computations (27.8% saved)