analyze523.0ms (12%)

Algorithm

1×	search
2×	egg-herbie

Rules

1502×	associate-/l*_binary64_9912
822×	distribute-rgt-in_binary64_9917
738×	cancel-sign-sub-inv_binary64_9933
657×	*-commutative_binary64_9898
616×	sub-neg_binary64_9960
594×	distribute-lft-in_binary64_9916
542×	associate-/l/_binary64_9914
540×	div-sub_binary64_9972
539×	distribute-rgt-neg-in_binary64_9925
519×	associate-/r/_binary64_9913
413×	neg-mul-1_binary64_9963 distribute-lft-neg-in_binary64_9924
410×	associate-/r*_binary64_9911
382×	unsub-neg_binary64_9961
376×	neg-sub0_binary64_9962
343×	distribute-neg-frac_binary64_9931
314×	distribute-frac-neg_binary64_9930
304×	times-frac_binary64_9973
207×	distribute-rgt-neg-out_binary64_9927
170×	distribute-lft-neg-out_binary64_9926
82×	associate--r+_binary64_9903
78×	div0_binary64_9948
76×	mul0-rgt_binary64_9950
74×	mul0-lft_binary64_9949
61×	associate-*l*_binary64_9908
48×	associate-*r*_binary64_9907
39×	+-commutative_binary64_9897
29×	remove-double-div_binary64_9943
28×	*-lft-identity_binary64_9956 swap-sqr_binary64_9934
19×	distribute-neg-in_binary64_9928
17×	/-rgt-identity_binary64_9958 associate--l-_binary64_9905
16×	associate-*l/_binary64_9910 associate-+r-_binary64_9901
15×	associate-+l-_binary64_9902
14×	remove-double-neg_binary64_9955
13×	associate--r-_binary64_9906
12×	*-inverses_binary64_9947 lft-mult-inverse_binary64_9945
11×	*-rgt-identity_binary64_9957
10×	sub0-neg_binary64_9954
9×	associate-+r+_binary64_9899
8×	mul-1-neg_binary64_9959
7×	--rgt-identity_binary64_9953 associate-+l+_binary64_9900
6×	+-lft-identity_binary64_9951
5×	sqr-neg_binary64_9981
2×	+-rgt-identity_binary64_9952 distribute-rgt-out--_binary64_9921
1×	1-exp_binary64_10011 distribute-rgt1-in_binary64_9923 distribute-lft1-in_binary64_9922 associate-*r/_binary64_9909 associate--l+_binary64_9904
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 unpow3_binary64_10033 unpow2_binary64_10032 unpow1/2_binary64_10031 pow-plus_binary64_10030 exp-to-pow_binary64_10029 pow-base-1_binary64_10027 unpow0_binary64_10026 unpow1_binary64_10025 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-unmult_binary64_10004 cube-mult_binary64_9997 cube-div_binary64_9996 cube-prod_binary64_9995 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 rem-sqrt-square_binary64_9980 rem-square-sqrt_binary64_9979 +-inverses_binary64_9946 rgt-mult-inverse_binary64_9944 pow-sqr_binary64_9940 sqr-pow_binary64_9939 difference-of-sqr--1_binary64_9938 difference-of-sqr-1_binary64_9937 difference-of-squares_binary64_9936 unswap-sqr_binary64_9935 cancel-sign-sub_binary64_9932 distribute-neg-out_binary64_9929 distribute-rgt-out_binary64_9920 distribute-lft-out--_binary64_9919 distribute-lft-out_binary64_9918 count-2_binary64_9915

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	32
1	24	32
2	39	32
3	57	32
4	77	32
5	139	32
6	166	32
7	347	32
8	492	32
9	551	32
10	1169	32
11	2080	32
12	1746	32
13	1924	32
14	2024	32
15	2024	32
16	2195	32
17	2181	32
18	2149	32
19	2169	32
20	2165	32
21	2169	32
22	2169	32
23	2189	32
24	2189	32
25	3565	32
26	3381	32
27	3504	32
28	3724	32
29	3753	32
30	3741	32
31	3929	32
32	4321	32
33	4933	32
34	4650	32
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
50%	50%	0.1%	3
50%	50%	0.1%	4
50%	50%	0.1%	5
62.4%	37.5%	0.1%	6
74.9%	25%	0.1%	7
81.2%	18.7%	0.1%	8
87.4%	12.5%	0.1%	9
90.5%	9.4%	0.1%	10
93.7%	6.2%	0.1%	11
95.2%	4.7%	0.1%	12
96.8%	3.1%	0.1%	13
97.6%	2.3%	0.1%	14

Compiler

Compiled 12 to 10 computations (16.7% saved)