analyze360.0ms (2.3%)

Algorithm

1×	search
2×	egg-herbie

Rules

933×	associate-/l/_binary64_9914
444×	unswap-sqr_binary64_9935
423×	*-commutative_binary64_9898
386×	+-commutative_binary64_9897
378×	distribute-rgt-in_binary64_9917
346×	distribute-lft-in_binary64_9916
335×	distribute-lft-out_binary64_9918
333×	associate-/r*_binary64_9911
301×	times-frac_binary64_9973
233×	distribute-rgt-out_binary64_9920 associate-*r*_binary64_9907
230×	associate-*l*_binary64_9908
207×	associate-/r/_binary64_9913
188×	associate-*l/_binary64_9910
166×	associate-+r+_binary64_9899
159×	associate-/l*_binary64_9912
146×	associate-+l+_binary64_9900
137×	sqr-pow_binary64_9939
116×	associate-*r/_binary64_9909
109×	cube-prod_binary64_9995
71×	distribute-rgt1-in_binary64_9923
49×	*-lft-identity_binary64_9956
45×	unpow3_binary64_10033
44×	remove-double-div_binary64_9943
43×	/-rgt-identity_binary64_9958 pow-sqr_binary64_9940
41×	*-rgt-identity_binary64_9957
37×	cube-mult_binary64_9997
32×	distribute-lft1-in_binary64_9922
25×	cube-div_binary64_9996
23×	rem-sqrt-square_binary64_9980
20×	swap-sqr_binary64_9934
12×	pow-plus_binary64_10030 cube-unmult_binary64_10004
7×	unpow2_binary64_10032
6×	unpow1_binary64_10025
4×	unpow1/2_binary64_10031 lft-mult-inverse_binary64_9945
2×	*-inverses_binary64_9947
1×	1-exp_binary64_10011 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_10230 erf-erfc_binary64_10229 erf-odd_binary64_10228 if-if-and-not_binary64_10227 if-if-and_binary64_10226 if-if-or-not_binary64_10225 if-if-or_binary64_10224 if-not_binary64_10223 if-same_binary64_10222 if-false_binary64_10221 if-true_binary64_10220 not-gte_binary64_10219 not-lte_binary64_10218 not-gt_binary64_10217 not-lt_binary64_10216 gte-same_binary64_10215 lte-same_binary64_10214 gt-same_binary64_10213 lt-same_binary64_10212 sinh---cosh_binary64_10159 sinh-+-cosh_binary64_10158 sinh-cosh_binary64_10157 tanh-def-c_binary64_10156 tanh-def-b_binary64_10155 tanh-def-a_binary64_10154 cosh-def_binary64_10153 sinh-def_binary64_10152 tan-neg_binary64_10099 cos-neg_binary64_10098 sin-neg_binary64_10097 tan-0_binary64_10096 cos-0_binary64_10095 sin-0_binary64_10094 hang-m-tan_binary64_10093 hang-p-tan_binary64_10092 hang-m0-tan_binary64_10091 hang-p0-tan_binary64_10090 hang-0m-tan_binary64_10089 hang-0p-tan_binary64_10088 tan-+PI/2_binary64_10087 tan-+PI_binary64_10086 tan-PI_binary64_10085 tan-PI/3_binary64_10084 tan-PI/4_binary64_10083 tan-PI/6_binary64_10082 cos-+PI/2_binary64_10081 cos-+PI_binary64_10080 cos-PI_binary64_10079 cos-PI/2_binary64_10078 cos-PI/3_binary64_10077 cos-PI/4_binary64_10076 cos-PI/6_binary64_10075 sin-+PI/2_binary64_10074 sin-+PI_binary64_10073 sin-PI_binary64_10072 sin-PI/2_binary64_10071 sin-PI/3_binary64_10070 sin-PI/4_binary64_10069 sin-PI/6_binary64_10068 sub-1-sin_binary64_10067 sub-1-cos_binary64_10066 -1-add-sin_binary64_10065 -1-add-cos_binary64_10064 1-sub-sin_binary64_10063 1-sub-cos_binary64_10062 cos-sin-sum_binary64_10061 log-E_binary64_10057 log-pow_binary64_10056 log-rec_binary64_10055 log-div_binary64_10054 log-prod_binary64_10053 pow-base-0_binary64_10051 unpow1/3_binary64_10034 exp-to-pow_binary64_10029 pow-base-1_binary64_10027 unpow0_binary64_10026 unpow-1_binary64_10024 exp-lft-cube_binary64_10023 exp-lft-sqr_binary64_10022 exp-cbrt_binary64_10021 exp-sqrt_binary64_10020 exp-prod_binary64_10019 div-exp_binary64_10018 rec-exp_binary64_10017 prod-exp_binary64_10016 exp-diff_binary64_10015 exp-neg_binary64_10014 exp-sum_binary64_10013 e-exp-1_binary64_10012 exp-1-e_binary64_10010 exp-0_binary64_10009 rem-log-exp_binary64_10008 rem-exp-log_binary64_10007 cube-neg_binary64_9994 rem-3cbrt-rft_binary64_9993 rem-3cbrt-lft_binary64_9992 rem-cbrt-cube_binary64_9991 rem-cube-cbrt_binary64_9990 sqr-abs_binary64_9982 sqr-neg_binary64_9981 rem-square-sqrt_binary64_9979 div-sub_binary64_9972 neg-mul-1_binary64_9963 neg-sub0_binary64_9962 unsub-neg_binary64_9961 sub-neg_binary64_9960 mul-1-neg_binary64_9959 remove-double-neg_binary64_9955 sub0-neg_binary64_9954 --rgt-identity_binary64_9953 +-rgt-identity_binary64_9952 +-lft-identity_binary64_9951 mul0-rgt_binary64_9950 mul0-lft_binary64_9949 div0_binary64_9948 +-inverses_binary64_9946 rgt-mult-inverse_binary64_9944 difference-of-sqr--1_binary64_9938 difference-of-sqr-1_binary64_9937 difference-of-squares_binary64_9936 cancel-sign-sub-inv_binary64_9933 cancel-sign-sub_binary64_9932 distribute-neg-frac_binary64_9931 distribute-frac-neg_binary64_9930 distribute-neg-out_binary64_9929 distribute-neg-in_binary64_9928 distribute-rgt-neg-out_binary64_9927 distribute-lft-neg-out_binary64_9926 distribute-rgt-neg-in_binary64_9925 distribute-lft-neg-in_binary64_9924 distribute-rgt-out--_binary64_9921 distribute-lft-out--_binary64_9919 count-2_binary64_9915 associate--r-_binary64_9906 associate--l-_binary64_9905 associate--l+_binary64_9904 associate--r+_binary64_9903 associate-+l-_binary64_9902 associate-+r-_binary64_9901

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	50
1	50	50
2	156	50
3	472	50
4	1451	50
5	2156	50
6	2637	50
7	2625	50
8	2700	50
9	2752	50
10	2836	50
11	3638	50
12	4861	50
13	4737	50
14	4955	50
15	4977	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
12.5%	87.4%	0.1%	5
46.8%	53.1%	0.1%	6
70.2%	29.7%	0.1%	7
76.5%	23.4%	0.1%	8
83.5%	16.4%	0.1%	9
87%	12.9%	0.1%	10
91.1%	8.8%	0.1%	11
93.2%	6.7%	0.1%	12
95.4%	4.5%	0.1%	13
96.5%	3.4%	0.1%	14

Symmetry

(sort x y)

Compiler

Compiled 18 to 10 computations (44.4% saved)