analyze146.0ms (8.8%)

Algorithm

1×	search
2×	egg-herbie

Rules

1×

*-commutative_binary64_6147 +-commutative_binary64_6146

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 unpow3_binary64_6282 unpow2_binary64_6281 unpow1/2_binary64_6280 pow-plus_binary64_6279 exp-to-pow_binary64_6278 pow-base-1_binary64_6276 unpow0_binary64_6275 unpow1_binary64_6274 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 1-exp_binary64_6260 exp-1-e_binary64_6259 exp-0_binary64_6258 rem-log-exp_binary64_6257 rem-exp-log_binary64_6256 cube-unmult_binary64_6253 cube-mult_binary64_6246 cube-div_binary64_6245 cube-prod_binary64_6244 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-sqrt-square_binary64_6229 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 pow-sqr_binary64_6189 sqr-pow_binary64_6188 difference-of-sqr--1_binary64_6187 difference-of-sqr-1_binary64_6186 difference-of-squares_binary64_6185 unswap-sqr_binary64_6184 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-*l*_binary64_6157 associate-*r*_binary64_6156 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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	7
1	14	7
2	12	7
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
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.8%	0.1%	0.1%	12
99.8%	0%	0.1%	13
99.8%	0%	0.2%	14

Compiler

Compiled 10 to 10 computations (0% saved)