analyze205.0ms (31.9%)

Algorithm

1×	search
2×	egg-herbie

Rules

47×	cancel-sign-sub-inv_binary64_6864
32×	sub-neg_binary64_6891
17×	associate--r+_binary64_6834
16×	distribute-rgt-neg-in_binary64_6856
13×	neg-mul-1_binary64_6894
12×	associate--r-_binary64_6837 associate-+l-_binary64_6833
11×	distribute-lft-neg-in_binary64_6855
10×	distribute-lft-neg-out_binary64_6857
9×	neg-sub0_binary64_6893
7×	distribute-neg-in_binary64_6859
6×	sub0-neg_binary64_6885 associate--l+_binary64_6835
5×	associate-+l+_binary64_6831 +-commutative_binary64_6828
4×	unsub-neg_binary64_6892 remove-double-neg_binary64_6886 --rgt-identity_binary64_6884 +-rgt-identity_binary64_6883 distribute-neg-out_binary64_6860 distribute-rgt-neg-out_binary64_6858 associate--l-_binary64_6836 associate-+r-_binary64_6832 *-commutative_binary64_6829
3×	associate-+r+_binary64_6830
2×	*-lft-identity_binary64_6887 distribute-lft1-in_binary64_6853 distribute-rgt-in_binary64_6848
1×	1-exp_binary64_6942 distribute-rgt-out--_binary64_6852 distribute-rgt-out_binary64_6851 swap-x-y
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_7161 erf-erfc_binary64_7160 erf-odd_binary64_7159 if-if-and-not_binary64_7158 if-if-and_binary64_7157 if-if-or-not_binary64_7156 if-if-or_binary64_7155 if-not_binary64_7154 if-same_binary64_7153 if-false_binary64_7152 if-true_binary64_7151 not-gte_binary64_7150 not-lte_binary64_7149 not-gt_binary64_7148 not-lt_binary64_7147 gte-same_binary64_7146 lte-same_binary64_7145 gt-same_binary64_7144 lt-same_binary64_7143 sinh---cosh_binary64_7090 sinh-+-cosh_binary64_7089 sinh-cosh_binary64_7088 tanh-def-c_binary64_7087 tanh-def-b_binary64_7086 tanh-def-a_binary64_7085 cosh-def_binary64_7084 sinh-def_binary64_7083 tan-neg_binary64_7030 cos-neg_binary64_7029 sin-neg_binary64_7028 tan-0_binary64_7027 cos-0_binary64_7026 sin-0_binary64_7025 hang-m-tan_binary64_7024 hang-p-tan_binary64_7023 hang-m0-tan_binary64_7022 hang-p0-tan_binary64_7021 hang-0m-tan_binary64_7020 hang-0p-tan_binary64_7019 tan-+PI/2_binary64_7018 tan-+PI_binary64_7017 tan-PI_binary64_7016 tan-PI/3_binary64_7015 tan-PI/4_binary64_7014 tan-PI/6_binary64_7013 cos-+PI/2_binary64_7012 cos-+PI_binary64_7011 cos-PI_binary64_7010 cos-PI/2_binary64_7009 cos-PI/3_binary64_7008 cos-PI/4_binary64_7007 cos-PI/6_binary64_7006 sin-+PI/2_binary64_7005 sin-+PI_binary64_7004 sin-PI_binary64_7003 sin-PI/2_binary64_7002 sin-PI/3_binary64_7001 sin-PI/4_binary64_7000 sin-PI/6_binary64_6999 sub-1-sin_binary64_6998 sub-1-cos_binary64_6997 -1-add-sin_binary64_6996 -1-add-cos_binary64_6995 1-sub-sin_binary64_6994 1-sub-cos_binary64_6993 cos-sin-sum_binary64_6992 log-E_binary64_6988 log-pow_binary64_6987 log-rec_binary64_6986 log-div_binary64_6985 log-prod_binary64_6984 pow-base-0_binary64_6982 unpow1/3_binary64_6965 unpow3_binary64_6964 unpow2_binary64_6963 unpow1/2_binary64_6962 pow-plus_binary64_6961 exp-to-pow_binary64_6960 pow-base-1_binary64_6958 unpow0_binary64_6957 unpow1_binary64_6956 unpow-1_binary64_6955 exp-lft-cube_binary64_6954 exp-lft-sqr_binary64_6953 exp-cbrt_binary64_6952 exp-sqrt_binary64_6951 exp-prod_binary64_6950 div-exp_binary64_6949 rec-exp_binary64_6948 prod-exp_binary64_6947 exp-diff_binary64_6946 exp-neg_binary64_6945 exp-sum_binary64_6944 e-exp-1_binary64_6943 exp-1-e_binary64_6941 exp-0_binary64_6940 rem-log-exp_binary64_6939 rem-exp-log_binary64_6938 cube-unmult_binary64_6935 cube-mult_binary64_6928 cube-div_binary64_6927 cube-prod_binary64_6926 cube-neg_binary64_6925 rem-3cbrt-rft_binary64_6924 rem-3cbrt-lft_binary64_6923 rem-cbrt-cube_binary64_6922 rem-cube-cbrt_binary64_6921 sqr-abs_binary64_6913 sqr-neg_binary64_6912 rem-sqrt-square_binary64_6911 rem-square-sqrt_binary64_6910 times-frac_binary64_6904 div-sub_binary64_6903 mul-1-neg_binary64_6890 /-rgt-identity_binary64_6889 *-rgt-identity_binary64_6888 +-lft-identity_binary64_6882 mul0-rgt_binary64_6881 mul0-lft_binary64_6880 div0_binary64_6879 *-inverses_binary64_6878 +-inverses_binary64_6877 lft-mult-inverse_binary64_6876 rgt-mult-inverse_binary64_6875 remove-double-div_binary64_6874 pow-sqr_binary64_6871 sqr-pow_binary64_6870 difference-of-sqr--1_binary64_6869 difference-of-sqr-1_binary64_6868 difference-of-squares_binary64_6867 unswap-sqr_binary64_6866 swap-sqr_binary64_6865 cancel-sign-sub_binary64_6863 distribute-neg-frac_binary64_6862 distribute-frac-neg_binary64_6861 distribute-rgt1-in_binary64_6854 distribute-lft-out--_binary64_6850 distribute-lft-out_binary64_6849 distribute-lft-in_binary64_6847 count-2_binary64_6846 associate-/l/_binary64_6845 associate-/r/_binary64_6844 associate-/l*_binary64_6843 associate-/r*_binary64_6842 associate-*l/_binary64_6841 associate-*r/_binary64_6840 associate-*l*_binary64_6839 associate-*r*_binary64_6838

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	20	14
2	42	14
3	81	14
4	104	14
5	162	14
6	177	14
7	183	14
8	184	14
9	162	14
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
12.5%	87.4%	0.1%	4
37.5%	62.4%	0.1%	5
53.1%	46.8%	0.1%	6
68.7%	31.2%	0.1%	7
76.5%	23.4%	0.1%	8
84.3%	15.6%	0.1%	9
88.4%	11.5%	0.1%	10
92.3%	7.6%	0.1%	11
94.2%	5.7%	0.1%	12
96.1%	3.8%	0.1%	13
97%	2.9%	0.1%	14

Symmetry

(sort x y)

Compiler

Compiled 6 to 6 computations (0% saved)