analyze140.0ms (25.7%)

Algorithm

1×	search
2×	egg-herbie

Rules

1×

1-exp_binary64_5237 +-commutative_binary64_5123

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_5456 erf-erfc_binary64_5455 erf-odd_binary64_5454 if-if-and-not_binary64_5453 if-if-and_binary64_5452 if-if-or-not_binary64_5451 if-if-or_binary64_5450 if-not_binary64_5449 if-same_binary64_5448 if-false_binary64_5447 if-true_binary64_5446 not-gte_binary64_5445 not-lte_binary64_5444 not-gt_binary64_5443 not-lt_binary64_5442 gte-same_binary64_5441 lte-same_binary64_5440 gt-same_binary64_5439 lt-same_binary64_5438 sinh---cosh_binary64_5385 sinh-+-cosh_binary64_5384 sinh-cosh_binary64_5383 tanh-def-c_binary64_5382 tanh-def-b_binary64_5381 tanh-def-a_binary64_5380 cosh-def_binary64_5379 sinh-def_binary64_5378 tan-neg_binary64_5325 cos-neg_binary64_5324 sin-neg_binary64_5323 tan-0_binary64_5322 cos-0_binary64_5321 sin-0_binary64_5320 hang-m-tan_binary64_5319 hang-p-tan_binary64_5318 hang-m0-tan_binary64_5317 hang-p0-tan_binary64_5316 hang-0m-tan_binary64_5315 hang-0p-tan_binary64_5314 tan-+PI/2_binary64_5313 tan-+PI_binary64_5312 tan-PI_binary64_5311 tan-PI/3_binary64_5310 tan-PI/4_binary64_5309 tan-PI/6_binary64_5308 cos-+PI/2_binary64_5307 cos-+PI_binary64_5306 cos-PI_binary64_5305 cos-PI/2_binary64_5304 cos-PI/3_binary64_5303 cos-PI/4_binary64_5302 cos-PI/6_binary64_5301 sin-+PI/2_binary64_5300 sin-+PI_binary64_5299 sin-PI_binary64_5298 sin-PI/2_binary64_5297 sin-PI/3_binary64_5296 sin-PI/4_binary64_5295 sin-PI/6_binary64_5294 sub-1-sin_binary64_5293 sub-1-cos_binary64_5292 -1-add-sin_binary64_5291 -1-add-cos_binary64_5290 1-sub-sin_binary64_5289 1-sub-cos_binary64_5288 cos-sin-sum_binary64_5287 log-E_binary64_5283 log-pow_binary64_5282 log-rec_binary64_5281 log-div_binary64_5280 log-prod_binary64_5279 pow-base-0_binary64_5277 unpow1/3_binary64_5260 unpow3_binary64_5259 unpow2_binary64_5258 unpow1/2_binary64_5257 pow-plus_binary64_5256 exp-to-pow_binary64_5255 pow-base-1_binary64_5253 unpow0_binary64_5252 unpow1_binary64_5251 unpow-1_binary64_5250 exp-lft-cube_binary64_5249 exp-lft-sqr_binary64_5248 exp-cbrt_binary64_5247 exp-sqrt_binary64_5246 exp-prod_binary64_5245 div-exp_binary64_5244 rec-exp_binary64_5243 prod-exp_binary64_5242 exp-diff_binary64_5241 exp-neg_binary64_5240 exp-sum_binary64_5239 e-exp-1_binary64_5238 exp-1-e_binary64_5236 exp-0_binary64_5235 rem-log-exp_binary64_5234 rem-exp-log_binary64_5233 cube-unmult_binary64_5230 cube-mult_binary64_5223 cube-div_binary64_5222 cube-prod_binary64_5221 cube-neg_binary64_5220 rem-3cbrt-rft_binary64_5219 rem-3cbrt-lft_binary64_5218 rem-cbrt-cube_binary64_5217 rem-cube-cbrt_binary64_5216 sqr-abs_binary64_5208 sqr-neg_binary64_5207 rem-sqrt-square_binary64_5206 rem-square-sqrt_binary64_5205 times-frac_binary64_5199 div-sub_binary64_5198 neg-mul-1_binary64_5189 neg-sub0_binary64_5188 unsub-neg_binary64_5187 sub-neg_binary64_5186 mul-1-neg_binary64_5185 /-rgt-identity_binary64_5184 *-rgt-identity_binary64_5183 *-lft-identity_binary64_5182 remove-double-neg_binary64_5181 sub0-neg_binary64_5180 --rgt-identity_binary64_5179 +-rgt-identity_binary64_5178 +-lft-identity_binary64_5177 mul0-rgt_binary64_5176 mul0-lft_binary64_5175 div0_binary64_5174 *-inverses_binary64_5173 +-inverses_binary64_5172 lft-mult-inverse_binary64_5171 rgt-mult-inverse_binary64_5170 remove-double-div_binary64_5169 pow-sqr_binary64_5166 sqr-pow_binary64_5165 difference-of-sqr--1_binary64_5164 difference-of-sqr-1_binary64_5163 difference-of-squares_binary64_5162 unswap-sqr_binary64_5161 swap-sqr_binary64_5160 cancel-sign-sub-inv_binary64_5159 cancel-sign-sub_binary64_5158 distribute-neg-frac_binary64_5157 distribute-frac-neg_binary64_5156 distribute-neg-out_binary64_5155 distribute-neg-in_binary64_5154 distribute-rgt-neg-out_binary64_5153 distribute-lft-neg-out_binary64_5152 distribute-rgt-neg-in_binary64_5151 distribute-lft-neg-in_binary64_5150 distribute-rgt1-in_binary64_5149 distribute-lft1-in_binary64_5148 distribute-rgt-out--_binary64_5147 distribute-rgt-out_binary64_5146 distribute-lft-out--_binary64_5145 distribute-lft-out_binary64_5144 distribute-rgt-in_binary64_5143 distribute-lft-in_binary64_5142 count-2_binary64_5141 associate-/l/_binary64_5140 associate-/r/_binary64_5139 associate-/l*_binary64_5138 associate-/r*_binary64_5137 associate-*l/_binary64_5136 associate-*r/_binary64_5135 associate-*l*_binary64_5134 associate-*r*_binary64_5133 associate--r-_binary64_5132 associate--l-_binary64_5131 associate--l+_binary64_5130 associate--r+_binary64_5129 associate-+l-_binary64_5128 associate-+r-_binary64_5127 associate-+l+_binary64_5126 associate-+r+_binary64_5125 *-commutative_binary64_5124

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	4
1	10	4
2	8	4
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	50%	0%	2
75%	25%	0%	3
87.5%	12.5%	0%	4
93.7%	6.2%	0%	5
96.8%	3.1%	0%	6
98.4%	1.6%	0%	7
99.2%	0.8%	0%	8
99.6%	0.4%	0%	9
99.8%	0.2%	0%	10
99.9%	0.1%	0%	11
99.9%	0%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 6 to 6 computations (0% saved)