analyze508.0ms (11.8%)

Algorithm

1×	search
2×	egg-herbie

Rules

15×	*-commutative_binary64_13308
14×	associate-+l+_binary64_13310
12×	associate-*r*_binary64_13317 +-commutative_binary64_13307
9×	associate-+r+_binary64_13309
6×	distribute-rgt1-in_binary64_13333 distribute-lft1-in_binary64_13332 distribute-lft-out_binary64_13328 count-2_binary64_13325 associate-*l*_binary64_13318
3×	distribute-rgt-out_binary64_13330
1×	1-exp_binary64_13421 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_13640 erf-erfc_binary64_13639 erf-odd_binary64_13638 if-if-and-not_binary64_13637 if-if-and_binary64_13636 if-if-or-not_binary64_13635 if-if-or_binary64_13634 if-not_binary64_13633 if-same_binary64_13632 if-false_binary64_13631 if-true_binary64_13630 not-gte_binary64_13629 not-lte_binary64_13628 not-gt_binary64_13627 not-lt_binary64_13626 gte-same_binary64_13625 lte-same_binary64_13624 gt-same_binary64_13623 lt-same_binary64_13622 sinh---cosh_binary64_13569 sinh-+-cosh_binary64_13568 sinh-cosh_binary64_13567 tanh-def-c_binary64_13566 tanh-def-b_binary64_13565 tanh-def-a_binary64_13564 cosh-def_binary64_13563 sinh-def_binary64_13562 tan-neg_binary64_13509 cos-neg_binary64_13508 sin-neg_binary64_13507 tan-0_binary64_13506 cos-0_binary64_13505 sin-0_binary64_13504 hang-m-tan_binary64_13503 hang-p-tan_binary64_13502 hang-m0-tan_binary64_13501 hang-p0-tan_binary64_13500 hang-0m-tan_binary64_13499 hang-0p-tan_binary64_13498 tan-+PI/2_binary64_13497 tan-+PI_binary64_13496 tan-PI_binary64_13495 tan-PI/3_binary64_13494 tan-PI/4_binary64_13493 tan-PI/6_binary64_13492 cos-+PI/2_binary64_13491 cos-+PI_binary64_13490 cos-PI_binary64_13489 cos-PI/2_binary64_13488 cos-PI/3_binary64_13487 cos-PI/4_binary64_13486 cos-PI/6_binary64_13485 sin-+PI/2_binary64_13484 sin-+PI_binary64_13483 sin-PI_binary64_13482 sin-PI/2_binary64_13481 sin-PI/3_binary64_13480 sin-PI/4_binary64_13479 sin-PI/6_binary64_13478 sub-1-sin_binary64_13477 sub-1-cos_binary64_13476 -1-add-sin_binary64_13475 -1-add-cos_binary64_13474 1-sub-sin_binary64_13473 1-sub-cos_binary64_13472 cos-sin-sum_binary64_13471 log-E_binary64_13467 log-pow_binary64_13466 log-rec_binary64_13465 log-div_binary64_13464 log-prod_binary64_13463 pow-base-0_binary64_13461 unpow1/3_binary64_13444 unpow3_binary64_13443 unpow2_binary64_13442 unpow1/2_binary64_13441 pow-plus_binary64_13440 exp-to-pow_binary64_13439 pow-base-1_binary64_13437 unpow0_binary64_13436 unpow1_binary64_13435 unpow-1_binary64_13434 exp-lft-cube_binary64_13433 exp-lft-sqr_binary64_13432 exp-cbrt_binary64_13431 exp-sqrt_binary64_13430 exp-prod_binary64_13429 div-exp_binary64_13428 rec-exp_binary64_13427 prod-exp_binary64_13426 exp-diff_binary64_13425 exp-neg_binary64_13424 exp-sum_binary64_13423 e-exp-1_binary64_13422 exp-1-e_binary64_13420 exp-0_binary64_13419 rem-log-exp_binary64_13418 rem-exp-log_binary64_13417 cube-unmult_binary64_13414 cube-mult_binary64_13407 cube-div_binary64_13406 cube-prod_binary64_13405 cube-neg_binary64_13404 rem-3cbrt-rft_binary64_13403 rem-3cbrt-lft_binary64_13402 rem-cbrt-cube_binary64_13401 rem-cube-cbrt_binary64_13400 sqr-abs_binary64_13392 sqr-neg_binary64_13391 rem-sqrt-square_binary64_13390 rem-square-sqrt_binary64_13389 times-frac_binary64_13383 div-sub_binary64_13382 neg-mul-1_binary64_13373 neg-sub0_binary64_13372 unsub-neg_binary64_13371 sub-neg_binary64_13370 mul-1-neg_binary64_13369 /-rgt-identity_binary64_13368 *-rgt-identity_binary64_13367 *-lft-identity_binary64_13366 remove-double-neg_binary64_13365 sub0-neg_binary64_13364 --rgt-identity_binary64_13363 +-rgt-identity_binary64_13362 +-lft-identity_binary64_13361 mul0-rgt_binary64_13360 mul0-lft_binary64_13359 div0_binary64_13358 *-inverses_binary64_13357 +-inverses_binary64_13356 lft-mult-inverse_binary64_13355 rgt-mult-inverse_binary64_13354 remove-double-div_binary64_13353 pow-sqr_binary64_13350 sqr-pow_binary64_13349 difference-of-sqr--1_binary64_13348 difference-of-sqr-1_binary64_13347 difference-of-squares_binary64_13346 unswap-sqr_binary64_13345 swap-sqr_binary64_13344 cancel-sign-sub-inv_binary64_13343 cancel-sign-sub_binary64_13342 distribute-neg-frac_binary64_13341 distribute-frac-neg_binary64_13340 distribute-neg-out_binary64_13339 distribute-neg-in_binary64_13338 distribute-rgt-neg-out_binary64_13337 distribute-lft-neg-out_binary64_13336 distribute-rgt-neg-in_binary64_13335 distribute-lft-neg-in_binary64_13334 distribute-rgt-out--_binary64_13331 distribute-lft-out--_binary64_13329 distribute-rgt-in_binary64_13327 distribute-lft-in_binary64_13326 associate-/l/_binary64_13324 associate-/r/_binary64_13323 associate-/l*_binary64_13322 associate-/r*_binary64_13321 associate-*l/_binary64_13320 associate-*r/_binary64_13319 associate--r-_binary64_13316 associate--l-_binary64_13315 associate--l+_binary64_13314 associate--r+_binary64_13313 associate-+l-_binary64_13312 associate-+r-_binary64_13311

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	88
1	40	76
2	68	52
3	95	52
4	106	52
5	109	52
6	107	52
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
12.5%	87.4%	0.1%	7
25%	74.9%	0.1%	8
31.2%	64%	4.8%	9
31.2%	42.1%	26.7%	10
35.9%	37.1%	27.1%	11
38.2%	32.2%	29.6%	12
47.8%	21.6%	30.6%	13
50.2%	19%	30.8%	14

Symmetry

(sort x y)

Compiler

Compiled 16 to 9 computations (43.8% saved)