analyze160.0ms (1.6%)

Algorithm

1×	search
2×	egg-herbie

Rules

7×	+-commutative_binary64_22855
4×	associate-+l+_binary64_22858
1×	swap-x-y swap-x-z
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_23188 erf-erfc_binary64_23187 erf-odd_binary64_23186 if-if-and-not_binary64_23185 if-if-and_binary64_23184 if-if-or-not_binary64_23183 if-if-or_binary64_23182 if-not_binary64_23181 if-same_binary64_23180 if-false_binary64_23179 if-true_binary64_23178 not-gte_binary64_23177 not-lte_binary64_23176 not-gt_binary64_23175 not-lt_binary64_23174 gte-same_binary64_23173 lte-same_binary64_23172 gt-same_binary64_23171 lt-same_binary64_23170 sinh---cosh_binary64_23117 sinh-+-cosh_binary64_23116 sinh-cosh_binary64_23115 tanh-def-c_binary64_23114 tanh-def-b_binary64_23113 tanh-def-a_binary64_23112 cosh-def_binary64_23111 sinh-def_binary64_23110 tan-neg_binary64_23057 cos-neg_binary64_23056 sin-neg_binary64_23055 tan-0_binary64_23054 cos-0_binary64_23053 sin-0_binary64_23052 hang-m-tan_binary64_23051 hang-p-tan_binary64_23050 hang-m0-tan_binary64_23049 hang-p0-tan_binary64_23048 hang-0m-tan_binary64_23047 hang-0p-tan_binary64_23046 tan-+PI/2_binary64_23045 tan-+PI_binary64_23044 tan-PI_binary64_23043 tan-PI/3_binary64_23042 tan-PI/4_binary64_23041 tan-PI/6_binary64_23040 cos-+PI/2_binary64_23039 cos-+PI_binary64_23038 cos-PI_binary64_23037 cos-PI/2_binary64_23036 cos-PI/3_binary64_23035 cos-PI/4_binary64_23034 cos-PI/6_binary64_23033 sin-+PI/2_binary64_23032 sin-+PI_binary64_23031 sin-PI_binary64_23030 sin-PI/2_binary64_23029 sin-PI/3_binary64_23028 sin-PI/4_binary64_23027 sin-PI/6_binary64_23026 sub-1-sin_binary64_23025 sub-1-cos_binary64_23024 -1-add-sin_binary64_23023 -1-add-cos_binary64_23022 1-sub-sin_binary64_23021 1-sub-cos_binary64_23020 cos-sin-sum_binary64_23019 log-E_binary64_23015 log-pow_binary64_23014 log-rec_binary64_23013 log-div_binary64_23012 log-prod_binary64_23011 pow-base-0_binary64_23009 unpow1/3_binary64_22992 unpow3_binary64_22991 unpow2_binary64_22990 unpow1/2_binary64_22989 pow-plus_binary64_22988 exp-to-pow_binary64_22987 pow-base-1_binary64_22985 unpow0_binary64_22984 unpow1_binary64_22983 unpow-1_binary64_22982 exp-lft-cube_binary64_22981 exp-lft-sqr_binary64_22980 exp-cbrt_binary64_22979 exp-sqrt_binary64_22978 exp-prod_binary64_22977 div-exp_binary64_22976 rec-exp_binary64_22975 prod-exp_binary64_22974 exp-diff_binary64_22973 exp-neg_binary64_22972 exp-sum_binary64_22971 e-exp-1_binary64_22970 1-exp_binary64_22969 exp-1-e_binary64_22968 exp-0_binary64_22967 rem-log-exp_binary64_22966 rem-exp-log_binary64_22965 cube-unmult_binary64_22962 cube-mult_binary64_22955 cube-div_binary64_22954 cube-prod_binary64_22953 cube-neg_binary64_22952 rem-3cbrt-rft_binary64_22951 rem-3cbrt-lft_binary64_22950 rem-cbrt-cube_binary64_22949 rem-cube-cbrt_binary64_22948 sqr-abs_binary64_22940 sqr-neg_binary64_22939 rem-sqrt-square_binary64_22938 rem-square-sqrt_binary64_22937 times-frac_binary64_22931 div-sub_binary64_22930 neg-mul-1_binary64_22921 neg-sub0_binary64_22920 unsub-neg_binary64_22919 sub-neg_binary64_22918 mul-1-neg_binary64_22917 /-rgt-identity_binary64_22916 *-rgt-identity_binary64_22915 *-lft-identity_binary64_22914 remove-double-neg_binary64_22913 sub0-neg_binary64_22912 --rgt-identity_binary64_22911 +-rgt-identity_binary64_22910 +-lft-identity_binary64_22909 mul0-rgt_binary64_22908 mul0-lft_binary64_22907 div0_binary64_22906 *-inverses_binary64_22905 +-inverses_binary64_22904 lft-mult-inverse_binary64_22903 rgt-mult-inverse_binary64_22902 remove-double-div_binary64_22901 pow-sqr_binary64_22898 sqr-pow_binary64_22897 difference-of-sqr--1_binary64_22896 difference-of-sqr-1_binary64_22895 difference-of-squares_binary64_22894 unswap-sqr_binary64_22893 swap-sqr_binary64_22892 cancel-sign-sub-inv_binary64_22891 cancel-sign-sub_binary64_22890 distribute-neg-frac_binary64_22889 distribute-frac-neg_binary64_22888 distribute-neg-out_binary64_22887 distribute-neg-in_binary64_22886 distribute-rgt-neg-out_binary64_22885 distribute-lft-neg-out_binary64_22884 distribute-rgt-neg-in_binary64_22883 distribute-lft-neg-in_binary64_22882 distribute-rgt1-in_binary64_22881 distribute-lft1-in_binary64_22880 distribute-rgt-out--_binary64_22879 distribute-rgt-out_binary64_22878 distribute-lft-out--_binary64_22877 distribute-lft-out_binary64_22876 distribute-rgt-in_binary64_22875 distribute-lft-in_binary64_22874 count-2_binary64_22873 associate-/l/_binary64_22872 associate-/r/_binary64_22871 associate-/l*_binary64_22870 associate-/r*_binary64_22869 associate-*l/_binary64_22868 associate-*r/_binary64_22867 associate-*l*_binary64_22866 associate-*r*_binary64_22865 associate--r-_binary64_22864 associate--l-_binary64_22863 associate--l+_binary64_22862 associate--r+_binary64_22861 associate-+l-_binary64_22860 associate-+r-_binary64_22859 associate-+r+_binary64_22857 *-commutative_binary64_22856 swap-y-z

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	84
1	22	84
2	22	84
0	3	3
1	3	3

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
49.9%	49.9%	0.1%	5
74.9%	25%	0.1%	6
87.4%	12.5%	0.1%	7
93.6%	6.2%	0.1%	8
96.7%	3.1%	0.1%	9
98.3%	1.6%	0.1%	10
99.1%	0.8%	0.1%	11
99.5%	0.4%	0.1%	12
99.7%	0.2%	0.1%	13
99.8%	0.1%	0.1%	14

Symmetry

(sort x y z)

Compiler

Compiled 15 to 12 computations (20% saved)