analyze648.0ms (53.7%)

Algorithm

1×	search
2×	egg-herbie

Rules

103×	cancel-sign-sub-inv_binary64_7205
94×	associate-*r*_binary64_7179
80×	associate-*l*_binary64_7180
64×	sub-neg_binary64_7232
63×	distribute-rgt-in_binary64_7189
48×	unsub-neg_binary64_7233 distribute-lft-in_binary64_7188
43×	distribute-rgt-neg-in_binary64_7197
42×	distribute-rgt-neg-out_binary64_7199
33×	distribute-lft-neg-in_binary64_7196 associate--r+_binary64_7175
31×	distribute-lft-neg-out_binary64_7198
25×	*-commutative_binary64_7170
24×	neg-sub0_binary64_7234
21×	associate-+l-_binary64_7174
18×	neg-mul-1_binary64_7235
15×	distribute-neg-in_binary64_7200 +-commutative_binary64_7169
12×	mul0-rgt_binary64_7222 mul0-lft_binary64_7221
9×	sub0-neg_binary64_7226
6×	associate--r-_binary64_7178 associate--l+_binary64_7176 associate-+r-_binary64_7173 associate-+r+_binary64_7171
3×	*-lft-identity_binary64_7228 remove-double-neg_binary64_7227 --rgt-identity_binary64_7225 +-rgt-identity_binary64_7224 +-lft-identity_binary64_7223 distribute-rgt-out--_binary64_7193 associate-+l+_binary64_7172
1×	1-exp_binary64_7283 swap-y-z
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_7502 erf-erfc_binary64_7501 erf-odd_binary64_7500 if-if-and-not_binary64_7499 if-if-and_binary64_7498 if-if-or-not_binary64_7497 if-if-or_binary64_7496 if-not_binary64_7495 if-same_binary64_7494 if-false_binary64_7493 if-true_binary64_7492 not-gte_binary64_7491 not-lte_binary64_7490 not-gt_binary64_7489 not-lt_binary64_7488 gte-same_binary64_7487 lte-same_binary64_7486 gt-same_binary64_7485 lt-same_binary64_7484 sinh---cosh_binary64_7431 sinh-+-cosh_binary64_7430 sinh-cosh_binary64_7429 tanh-def-c_binary64_7428 tanh-def-b_binary64_7427 tanh-def-a_binary64_7426 cosh-def_binary64_7425 sinh-def_binary64_7424 tan-neg_binary64_7371 cos-neg_binary64_7370 sin-neg_binary64_7369 tan-0_binary64_7368 cos-0_binary64_7367 sin-0_binary64_7366 hang-m-tan_binary64_7365 hang-p-tan_binary64_7364 hang-m0-tan_binary64_7363 hang-p0-tan_binary64_7362 hang-0m-tan_binary64_7361 hang-0p-tan_binary64_7360 tan-+PI/2_binary64_7359 tan-+PI_binary64_7358 tan-PI_binary64_7357 tan-PI/3_binary64_7356 tan-PI/4_binary64_7355 tan-PI/6_binary64_7354 cos-+PI/2_binary64_7353 cos-+PI_binary64_7352 cos-PI_binary64_7351 cos-PI/2_binary64_7350 cos-PI/3_binary64_7349 cos-PI/4_binary64_7348 cos-PI/6_binary64_7347 sin-+PI/2_binary64_7346 sin-+PI_binary64_7345 sin-PI_binary64_7344 sin-PI/2_binary64_7343 sin-PI/3_binary64_7342 sin-PI/4_binary64_7341 sin-PI/6_binary64_7340 sub-1-sin_binary64_7339 sub-1-cos_binary64_7338 -1-add-sin_binary64_7337 -1-add-cos_binary64_7336 1-sub-sin_binary64_7335 1-sub-cos_binary64_7334 cos-sin-sum_binary64_7333 log-E_binary64_7329 log-pow_binary64_7328 log-rec_binary64_7327 log-div_binary64_7326 log-prod_binary64_7325 pow-base-0_binary64_7323 unpow1/3_binary64_7306 unpow3_binary64_7305 unpow2_binary64_7304 unpow1/2_binary64_7303 pow-plus_binary64_7302 exp-to-pow_binary64_7301 pow-base-1_binary64_7299 unpow0_binary64_7298 unpow1_binary64_7297 unpow-1_binary64_7296 exp-lft-cube_binary64_7295 exp-lft-sqr_binary64_7294 exp-cbrt_binary64_7293 exp-sqrt_binary64_7292 exp-prod_binary64_7291 div-exp_binary64_7290 rec-exp_binary64_7289 prod-exp_binary64_7288 exp-diff_binary64_7287 exp-neg_binary64_7286 exp-sum_binary64_7285 e-exp-1_binary64_7284 exp-1-e_binary64_7282 exp-0_binary64_7281 rem-log-exp_binary64_7280 rem-exp-log_binary64_7279 cube-unmult_binary64_7276 cube-mult_binary64_7269 cube-div_binary64_7268 cube-prod_binary64_7267 cube-neg_binary64_7266 rem-3cbrt-rft_binary64_7265 rem-3cbrt-lft_binary64_7264 rem-cbrt-cube_binary64_7263 rem-cube-cbrt_binary64_7262 sqr-abs_binary64_7254 sqr-neg_binary64_7253 rem-sqrt-square_binary64_7252 rem-square-sqrt_binary64_7251 times-frac_binary64_7245 div-sub_binary64_7244 mul-1-neg_binary64_7231 /-rgt-identity_binary64_7230 *-rgt-identity_binary64_7229 div0_binary64_7220 *-inverses_binary64_7219 +-inverses_binary64_7218 lft-mult-inverse_binary64_7217 rgt-mult-inverse_binary64_7216 remove-double-div_binary64_7215 pow-sqr_binary64_7212 sqr-pow_binary64_7211 difference-of-sqr--1_binary64_7210 difference-of-sqr-1_binary64_7209 difference-of-squares_binary64_7208 unswap-sqr_binary64_7207 swap-sqr_binary64_7206 cancel-sign-sub_binary64_7204 distribute-neg-frac_binary64_7203 distribute-frac-neg_binary64_7202 distribute-neg-out_binary64_7201 distribute-rgt1-in_binary64_7195 distribute-lft1-in_binary64_7194 distribute-rgt-out_binary64_7192 distribute-lft-out--_binary64_7191 distribute-lft-out_binary64_7190 count-2_binary64_7187 associate-/l/_binary64_7186 associate-/r/_binary64_7185 associate-/l*_binary64_7184 associate-/r*_binary64_7183 associate-*l/_binary64_7182 associate-*r/_binary64_7181 associate--l-_binary64_7177

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	40
1	41	40
2	105	40
3	198	40
4	213	40
5	378	40
6	341	40
7	482	40
8	473	40
9	476	40
10	476	40
11	423	40
0	3	3
1	3	3

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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
18.7%	81.1%	0.1%	7
21.8%	78%	0.1%	8
43.7%	56.2%	0.1%	9
54.6%	39%	6.4%	10
58.5%	35.1%	6.4%	11
67.3%	26.3%	6.4%	12
71.7%	18.8%	9.5%	13
74.1%	16.4%	9.5%	14

Symmetry

(sort y z)

Compiler

Compiled 8 to 8 computations (0% saved)