analyze397.0ms (30.2%)

Algorithm

1×	search
2×	egg-herbie

Rules

4782×	associate--r-_binary64_15703
922×	unsub-neg_binary64_15758
668×	distribute-rgt-in_binary64_15714
512×	distribute-lft-in_binary64_15713
253×	*-commutative_binary64_15695
208×	+-commutative_binary64_15694
205×	distribute-lft-neg-out_binary64_15723
195×	distribute-rgt-neg-in_binary64_15722
193×	neg-sub0_binary64_15759
188×	distribute-neg-in_binary64_15725
187×	neg-mul-1_binary64_15760
180×	sub-neg_binary64_15757
177×	distribute-rgt-neg-out_binary64_15724
113×	cancel-sign-sub-inv_binary64_15730
98×	distribute-lft-neg-in_binary64_15721
78×	associate-*l*_binary64_15705
67×	distribute-neg-out_binary64_15726
66×	associate-*r*_binary64_15704
58×	associate--r+_binary64_15700
48×	associate--l+_binary64_15701
44×	associate-+l+_binary64_15697
32×	associate-+r+_binary64_15696
29×	associate-+l-_binary64_15699
22×	distribute-rgt-out--_binary64_15718 associate-+r-_binary64_15698
20×	associate--l-_binary64_15702
18×	cancel-sign-sub_binary64_15729
14×	*-rgt-identity_binary64_15754
11×	remove-double-neg_binary64_15752
10×	distribute-rgt-out_binary64_15717
9×	*-lft-identity_binary64_15753
8×	sub0-neg_binary64_15751 distribute-lft-out--_binary64_15716
5×	+-inverses_binary64_15743 distribute-rgt1-in_binary64_15720
2×	--rgt-identity_binary64_15750 distribute-lft1-in_binary64_15719 distribute-lft-out_binary64_15715 count-2_binary64_15712
1×	1-exp_binary64_15808 +-rgt-identity_binary64_15749
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_16027 erf-erfc_binary64_16026 erf-odd_binary64_16025 if-if-and-not_binary64_16024 if-if-and_binary64_16023 if-if-or-not_binary64_16022 if-if-or_binary64_16021 if-not_binary64_16020 if-same_binary64_16019 if-false_binary64_16018 if-true_binary64_16017 not-gte_binary64_16016 not-lte_binary64_16015 not-gt_binary64_16014 not-lt_binary64_16013 gte-same_binary64_16012 lte-same_binary64_16011 gt-same_binary64_16010 lt-same_binary64_16009 sinh---cosh_binary64_15956 sinh-+-cosh_binary64_15955 sinh-cosh_binary64_15954 tanh-def-c_binary64_15953 tanh-def-b_binary64_15952 tanh-def-a_binary64_15951 cosh-def_binary64_15950 sinh-def_binary64_15949 tan-neg_binary64_15896 cos-neg_binary64_15895 sin-neg_binary64_15894 tan-0_binary64_15893 cos-0_binary64_15892 sin-0_binary64_15891 hang-m-tan_binary64_15890 hang-p-tan_binary64_15889 hang-m0-tan_binary64_15888 hang-p0-tan_binary64_15887 hang-0m-tan_binary64_15886 hang-0p-tan_binary64_15885 tan-+PI/2_binary64_15884 tan-+PI_binary64_15883 tan-PI_binary64_15882 tan-PI/3_binary64_15881 tan-PI/4_binary64_15880 tan-PI/6_binary64_15879 cos-+PI/2_binary64_15878 cos-+PI_binary64_15877 cos-PI_binary64_15876 cos-PI/2_binary64_15875 cos-PI/3_binary64_15874 cos-PI/4_binary64_15873 cos-PI/6_binary64_15872 sin-+PI/2_binary64_15871 sin-+PI_binary64_15870 sin-PI_binary64_15869 sin-PI/2_binary64_15868 sin-PI/3_binary64_15867 sin-PI/4_binary64_15866 sin-PI/6_binary64_15865 sub-1-sin_binary64_15864 sub-1-cos_binary64_15863 -1-add-sin_binary64_15862 -1-add-cos_binary64_15861 1-sub-sin_binary64_15860 1-sub-cos_binary64_15859 cos-sin-sum_binary64_15858 log-E_binary64_15854 log-pow_binary64_15853 log-rec_binary64_15852 log-div_binary64_15851 log-prod_binary64_15850 pow-base-0_binary64_15848 unpow1/3_binary64_15831 unpow3_binary64_15830 unpow2_binary64_15829 unpow1/2_binary64_15828 pow-plus_binary64_15827 exp-to-pow_binary64_15826 pow-base-1_binary64_15824 unpow0_binary64_15823 unpow1_binary64_15822 unpow-1_binary64_15821 exp-lft-cube_binary64_15820 exp-lft-sqr_binary64_15819 exp-cbrt_binary64_15818 exp-sqrt_binary64_15817 exp-prod_binary64_15816 div-exp_binary64_15815 rec-exp_binary64_15814 prod-exp_binary64_15813 exp-diff_binary64_15812 exp-neg_binary64_15811 exp-sum_binary64_15810 e-exp-1_binary64_15809 exp-1-e_binary64_15807 exp-0_binary64_15806 rem-log-exp_binary64_15805 rem-exp-log_binary64_15804 cube-unmult_binary64_15801 cube-mult_binary64_15794 cube-div_binary64_15793 cube-prod_binary64_15792 cube-neg_binary64_15791 rem-3cbrt-rft_binary64_15790 rem-3cbrt-lft_binary64_15789 rem-cbrt-cube_binary64_15788 rem-cube-cbrt_binary64_15787 sqr-abs_binary64_15779 sqr-neg_binary64_15778 rem-sqrt-square_binary64_15777 rem-square-sqrt_binary64_15776 times-frac_binary64_15770 div-sub_binary64_15769 mul-1-neg_binary64_15756 /-rgt-identity_binary64_15755 +-lft-identity_binary64_15748 mul0-rgt_binary64_15747 mul0-lft_binary64_15746 div0_binary64_15745 *-inverses_binary64_15744 lft-mult-inverse_binary64_15742 rgt-mult-inverse_binary64_15741 remove-double-div_binary64_15740 pow-sqr_binary64_15737 sqr-pow_binary64_15736 difference-of-sqr--1_binary64_15735 difference-of-sqr-1_binary64_15734 difference-of-squares_binary64_15733 unswap-sqr_binary64_15732 swap-sqr_binary64_15731 distribute-neg-frac_binary64_15728 distribute-frac-neg_binary64_15727 associate-/l/_binary64_15711 associate-/r/_binary64_15710 associate-/l*_binary64_15709 associate-/r*_binary64_15708 associate-*l/_binary64_15707 associate-*r/_binary64_15706

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	7	14
1	15	14
2	35	8
3	60	2
4	85	2
5	409	2
6	739	2
7	912	2
8	1139	2
9	1199	2
10	1221	2
11	1221	2
12	2515	2
13	2423	2
14	2383	2
15	2599	2
16	2671	2
17	2671	2
18	2743	2
19	2743	2
20	2743	2
21	2527	2
22	2563	2
23	7742	2
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
37.5%	62.4%	0.1%	5
43.7%	56.2%	0.1%	6
65.6%	34.3%	0.1%	7
70.2%	29.7%	0.1%	8
82%	18%	0.1%	9
87.4%	12.5%	0.1%	10
93.5%	6.4%	0.1%	11
93.7%	6.2%	0.1%	12
96.8%	3.1%	0.1%	13
96.8%	3.1%	0.1%	14

Compiler

Compiled 6 to 5 computations (16.7% saved)