analyze397.0ms (17.8%)

Algorithm

1×	search
2×	egg-herbie

Rules

1502×	associate-/l*_binary64
822×	distribute-rgt-in_binary64
738×	cancel-sign-sub-inv_binary64
657×	*-commutative_binary64
616×	sub-neg_binary64
594×	distribute-lft-in_binary64
542×	associate-/l/_binary64
540×	div-sub_binary64
539×	distribute-rgt-neg-in_binary64
519×	associate-/r/_binary64
413×	neg-mul-1_binary64 distribute-lft-neg-in_binary64
410×	associate-/r*_binary64
382×	unsub-neg_binary64
376×	neg-sub0_binary64
343×	distribute-neg-frac_binary64
314×	distribute-frac-neg_binary64
304×	times-frac_binary64
207×	distribute-rgt-neg-out_binary64
170×	distribute-lft-neg-out_binary64
82×	associate--r+_binary64
78×	div0_binary64
76×	mul0-rgt_binary64
74×	mul0-lft_binary64
61×	associate-*l*_binary64
48×	associate-*r*_binary64
39×	+-commutative_binary64
29×	remove-double-div_binary64
28×	*-lft-identity_binary64 swap-sqr_binary64
19×	distribute-neg-in_binary64
17×	/-rgt-identity_binary64 associate--l-_binary64
16×	associate-*l/_binary64 associate-+r-_binary64
15×	associate-+l-_binary64
14×	remove-double-neg_binary64
13×	associate--r-_binary64
12×	*-inverses_binary64 lft-mult-inverse_binary64
11×	*-rgt-identity_binary64
10×	sub0-neg_binary64
9×	associate-+r+_binary64
8×	mul-1-neg_binary64
7×	--rgt-identity_binary64 associate-+l+_binary64
6×	+-lft-identity_binary64
5×	sqr-neg_binary64
2×	+-rgt-identity_binary64 distribute-rgt-out--_binary64
1×	1-exp_binary64 distribute-rgt1-in_binary64 distribute-lft1-in_binary64 associate-*r/_binary64 associate--l+_binary64
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 erf-erfc_binary64 erf-odd_binary64 if-if-and-not_binary64 if-if-and_binary64 if-if-or-not_binary64 if-if-or_binary64 if-not_binary64 if-same_binary64 if-false_binary64 if-true_binary64 not-gte_binary64 not-lte_binary64 not-gt_binary64 not-lt_binary64 gte-same_binary64 lte-same_binary64 gt-same_binary64 lt-same_binary64 sinh---cosh_binary64 sinh-+-cosh_binary64 sinh-cosh_binary64 tanh-def-c_binary64 tanh-def-b_binary64 tanh-def-a_binary64 cosh-def_binary64 sinh-def_binary64 tan-neg_binary64 cos-neg_binary64 sin-neg_binary64 tan-0_binary64 cos-0_binary64 sin-0_binary64 hang-m-tan_binary64 hang-p-tan_binary64 hang-m0-tan_binary64 hang-p0-tan_binary64 hang-0m-tan_binary64 hang-0p-tan_binary64 tan-+PI/2_binary64 tan-+PI_binary64 tan-PI_binary64 tan-PI/3_binary64 tan-PI/4_binary64 tan-PI/6_binary64 cos-+PI/2_binary64 cos-+PI_binary64 cos-PI_binary64 cos-PI/2_binary64 cos-PI/3_binary64 cos-PI/4_binary64 cos-PI/6_binary64 sin-+PI/2_binary64 sin-+PI_binary64 sin-PI_binary64 sin-PI/2_binary64 sin-PI/3_binary64 sin-PI/4_binary64 sin-PI/6_binary64 sub-1-sin_binary64 sub-1-cos_binary64 -1-add-sin_binary64 -1-add-cos_binary64 1-sub-sin_binary64 1-sub-cos_binary64 cos-sin-sum_binary64 log-E_binary64 log-pow_binary64 log-rec_binary64 log-div_binary64 log-prod_binary64 pow-base-0_binary64 unpow1/3_binary64 unpow3_binary64 unpow2_binary64 unpow1/2_binary64 pow-plus_binary64 exp-to-pow_binary64 pow-base-1_binary64 unpow0_binary64 unpow1_binary64 unpow-1_binary64 exp-lft-cube_binary64 exp-lft-sqr_binary64 exp-cbrt_binary64 exp-sqrt_binary64 exp-prod_binary64 div-exp_binary64 rec-exp_binary64 prod-exp_binary64 exp-diff_binary64 exp-neg_binary64 exp-sum_binary64 e-exp-1_binary64 exp-1-e_binary64 exp-0_binary64 rem-log-exp_binary64 rem-exp-log_binary64 cube-unmult_binary64 cube-mult_binary64 cube-div_binary64 cube-prod_binary64 cube-neg_binary64 rem-3cbrt-rft_binary64 rem-3cbrt-lft_binary64 rem-cbrt-cube_binary64 rem-cube-cbrt_binary64 sqr-abs_binary64 rem-sqrt-square_binary64 rem-square-sqrt_binary64 +-inverses_binary64 rgt-mult-inverse_binary64 pow-sqr_binary64 sqr-pow_binary64 difference-of-sqr--1_binary64 difference-of-sqr-1_binary64 difference-of-squares_binary64 unswap-sqr_binary64 cancel-sign-sub_binary64 distribute-neg-out_binary64 distribute-rgt-out_binary64 distribute-lft-out--_binary64 distribute-lft-out_binary64 count-2_binary64

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)