analyze360.0ms (18.5%)

Algorithm

1×	search
2×	egg-herbie

Rules

1665×	associate-+r+_binary64_3761
1470×	associate--r-_binary64_3768
316×	unsub-neg_binary64_3823
220×	distribute-rgt-in_binary64_3779
210×	sub-neg_binary64_3822 associate-+l+_binary64_3762
206×	associate--r+_binary64_3765
169×	associate-*r*_binary64_3769 associate-+l-_binary64_3764
168×	distribute-rgt-out--_binary64_3783
167×	*-commutative_binary64_3760
153×	+-commutative_binary64_3759
113×	associate-+r-_binary64_3763
108×	associate--l+_binary64_3766
106×	cancel-sign-sub-inv_binary64_3795
94×	associate--l-_binary64_3767
93×	neg-sub0_binary64_3824
80×	distribute-lft-in_binary64_3778
79×	distribute-neg-in_binary64_3790
75×	distribute-neg-out_binary64_3791
63×	neg-mul-1_binary64_3825
61×	distribute-rgt1-in_binary64_3785
58×	distribute-rgt-neg-out_binary64_3789
42×	distribute-rgt-neg-in_binary64_3787
40×	distribute-lft-neg-out_binary64_3788
36×	distribute-lft-neg-in_binary64_3786
26×	mul0-lft_binary64_3811
25×	associate-*l*_binary64_3770
23×	distribute-lft1-in_binary64_3784
20×	distribute-rgt-out_binary64_3782
13×	+-rgt-identity_binary64_3814
11×	sub0-neg_binary64_3816
10×	remove-double-neg_binary64_3817
8×	mul0-rgt_binary64_3812 +-inverses_binary64_3808 swap-sqr_binary64_3796 distribute-lft-out--_binary64_3781
6×	sqr-neg_binary64_3843
5×	*-rgt-identity_binary64_3819 *-lft-identity_binary64_3818
4×	distribute-lft-out_binary64_3780
2×	+-lft-identity_binary64_3813 difference-of-squares_binary64_3798 cancel-sign-sub_binary64_3794
1×	1-exp_binary64_3873
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_4092 erf-erfc_binary64_4091 erf-odd_binary64_4090 if-if-and-not_binary64_4089 if-if-and_binary64_4088 if-if-or-not_binary64_4087 if-if-or_binary64_4086 if-not_binary64_4085 if-same_binary64_4084 if-false_binary64_4083 if-true_binary64_4082 not-gte_binary64_4081 not-lte_binary64_4080 not-gt_binary64_4079 not-lt_binary64_4078 gte-same_binary64_4077 lte-same_binary64_4076 gt-same_binary64_4075 lt-same_binary64_4074 sinh---cosh_binary64_4021 sinh-+-cosh_binary64_4020 sinh-cosh_binary64_4019 tanh-def-c_binary64_4018 tanh-def-b_binary64_4017 tanh-def-a_binary64_4016 cosh-def_binary64_4015 sinh-def_binary64_4014 tan-neg_binary64_3961 cos-neg_binary64_3960 sin-neg_binary64_3959 tan-0_binary64_3958 cos-0_binary64_3957 sin-0_binary64_3956 hang-m-tan_binary64_3955 hang-p-tan_binary64_3954 hang-m0-tan_binary64_3953 hang-p0-tan_binary64_3952 hang-0m-tan_binary64_3951 hang-0p-tan_binary64_3950 tan-+PI/2_binary64_3949 tan-+PI_binary64_3948 tan-PI_binary64_3947 tan-PI/3_binary64_3946 tan-PI/4_binary64_3945 tan-PI/6_binary64_3944 cos-+PI/2_binary64_3943 cos-+PI_binary64_3942 cos-PI_binary64_3941 cos-PI/2_binary64_3940 cos-PI/3_binary64_3939 cos-PI/4_binary64_3938 cos-PI/6_binary64_3937 sin-+PI/2_binary64_3936 sin-+PI_binary64_3935 sin-PI_binary64_3934 sin-PI/2_binary64_3933 sin-PI/3_binary64_3932 sin-PI/4_binary64_3931 sin-PI/6_binary64_3930 sub-1-sin_binary64_3929 sub-1-cos_binary64_3928 -1-add-sin_binary64_3927 -1-add-cos_binary64_3926 1-sub-sin_binary64_3925 1-sub-cos_binary64_3924 cos-sin-sum_binary64_3923 log-E_binary64_3919 log-pow_binary64_3918 log-rec_binary64_3917 log-div_binary64_3916 log-prod_binary64_3915 pow-base-0_binary64_3913 unpow1/3_binary64_3896 unpow3_binary64_3895 unpow2_binary64_3894 unpow1/2_binary64_3893 pow-plus_binary64_3892 exp-to-pow_binary64_3891 pow-base-1_binary64_3889 unpow0_binary64_3888 unpow1_binary64_3887 unpow-1_binary64_3886 exp-lft-cube_binary64_3885 exp-lft-sqr_binary64_3884 exp-cbrt_binary64_3883 exp-sqrt_binary64_3882 exp-prod_binary64_3881 div-exp_binary64_3880 rec-exp_binary64_3879 prod-exp_binary64_3878 exp-diff_binary64_3877 exp-neg_binary64_3876 exp-sum_binary64_3875 e-exp-1_binary64_3874 exp-1-e_binary64_3872 exp-0_binary64_3871 rem-log-exp_binary64_3870 rem-exp-log_binary64_3869 cube-unmult_binary64_3866 cube-mult_binary64_3859 cube-div_binary64_3858 cube-prod_binary64_3857 cube-neg_binary64_3856 rem-3cbrt-rft_binary64_3855 rem-3cbrt-lft_binary64_3854 rem-cbrt-cube_binary64_3853 rem-cube-cbrt_binary64_3852 sqr-abs_binary64_3844 rem-sqrt-square_binary64_3842 rem-square-sqrt_binary64_3841 times-frac_binary64_3835 div-sub_binary64_3834 mul-1-neg_binary64_3821 /-rgt-identity_binary64_3820 --rgt-identity_binary64_3815 div0_binary64_3810 *-inverses_binary64_3809 lft-mult-inverse_binary64_3807 rgt-mult-inverse_binary64_3806 remove-double-div_binary64_3805 pow-sqr_binary64_3802 sqr-pow_binary64_3801 difference-of-sqr--1_binary64_3800 difference-of-sqr-1_binary64_3799 unswap-sqr_binary64_3797 distribute-neg-frac_binary64_3793 distribute-frac-neg_binary64_3792 count-2_binary64_3777 associate-/l/_binary64_3776 associate-/r/_binary64_3775 associate-/l*_binary64_3774 associate-/r*_binary64_3773 associate-*l/_binary64_3772 associate-*r/_binary64_3771

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	20
1	15	20
2	51	20
3	108	20
4	211	20
5	421	20
6	660	20
7	569	20
8	1393	20
9	1219	20
10	1371	20
11	1409	20
12	1447	20
13	1447	20
14	1447	20
15	1449	20
16	3003	20
17	3060	20
18	3155	20
19	5186	20
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
25%	74.9%	0.1%	5
25%	62.4%	12.6%	6
25%	50%	25.1%	7
31.2%	37.5%	31.3%	8
39%	24.2%	36.8%	9
42.9%	18.3%	38.7%	10
47.2%	11.9%	40.9%	11
49.4%	9.1%	41.6%	12
51.6%	5.9%	42.5%	13
52.7%	4.5%	42.8%	14

Compiler

Compiled 8 to 6 computations (25% saved)