analyze139.0ms (20.4%)

Algorithm

1×	search
2×	egg-herbie

Rules

4×	*-commutative_binary64_18764
2×	distribute-rgt-in_binary64_18783 distribute-lft-in_binary64_18782
1×	1-exp_binary64_18877 +-commutative_binary64_18763 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_19096 erf-erfc_binary64_19095 erf-odd_binary64_19094 if-if-and-not_binary64_19093 if-if-and_binary64_19092 if-if-or-not_binary64_19091 if-if-or_binary64_19090 if-not_binary64_19089 if-same_binary64_19088 if-false_binary64_19087 if-true_binary64_19086 not-gte_binary64_19085 not-lte_binary64_19084 not-gt_binary64_19083 not-lt_binary64_19082 gte-same_binary64_19081 lte-same_binary64_19080 gt-same_binary64_19079 lt-same_binary64_19078 sinh---cosh_binary64_19025 sinh-+-cosh_binary64_19024 sinh-cosh_binary64_19023 tanh-def-c_binary64_19022 tanh-def-b_binary64_19021 tanh-def-a_binary64_19020 cosh-def_binary64_19019 sinh-def_binary64_19018 tan-neg_binary64_18965 cos-neg_binary64_18964 sin-neg_binary64_18963 tan-0_binary64_18962 cos-0_binary64_18961 sin-0_binary64_18960 hang-m-tan_binary64_18959 hang-p-tan_binary64_18958 hang-m0-tan_binary64_18957 hang-p0-tan_binary64_18956 hang-0m-tan_binary64_18955 hang-0p-tan_binary64_18954 tan-+PI/2_binary64_18953 tan-+PI_binary64_18952 tan-PI_binary64_18951 tan-PI/3_binary64_18950 tan-PI/4_binary64_18949 tan-PI/6_binary64_18948 cos-+PI/2_binary64_18947 cos-+PI_binary64_18946 cos-PI_binary64_18945 cos-PI/2_binary64_18944 cos-PI/3_binary64_18943 cos-PI/4_binary64_18942 cos-PI/6_binary64_18941 sin-+PI/2_binary64_18940 sin-+PI_binary64_18939 sin-PI_binary64_18938 sin-PI/2_binary64_18937 sin-PI/3_binary64_18936 sin-PI/4_binary64_18935 sin-PI/6_binary64_18934 sub-1-sin_binary64_18933 sub-1-cos_binary64_18932 -1-add-sin_binary64_18931 -1-add-cos_binary64_18930 1-sub-sin_binary64_18929 1-sub-cos_binary64_18928 cos-sin-sum_binary64_18927 log-E_binary64_18923 log-pow_binary64_18922 log-rec_binary64_18921 log-div_binary64_18920 log-prod_binary64_18919 pow-base-0_binary64_18917 unpow1/3_binary64_18900 unpow3_binary64_18899 unpow2_binary64_18898 unpow1/2_binary64_18897 pow-plus_binary64_18896 exp-to-pow_binary64_18895 pow-base-1_binary64_18893 unpow0_binary64_18892 unpow1_binary64_18891 unpow-1_binary64_18890 exp-lft-cube_binary64_18889 exp-lft-sqr_binary64_18888 exp-cbrt_binary64_18887 exp-sqrt_binary64_18886 exp-prod_binary64_18885 div-exp_binary64_18884 rec-exp_binary64_18883 prod-exp_binary64_18882 exp-diff_binary64_18881 exp-neg_binary64_18880 exp-sum_binary64_18879 e-exp-1_binary64_18878 exp-1-e_binary64_18876 exp-0_binary64_18875 rem-log-exp_binary64_18874 rem-exp-log_binary64_18873 cube-unmult_binary64_18870 cube-mult_binary64_18863 cube-div_binary64_18862 cube-prod_binary64_18861 cube-neg_binary64_18860 rem-3cbrt-rft_binary64_18859 rem-3cbrt-lft_binary64_18858 rem-cbrt-cube_binary64_18857 rem-cube-cbrt_binary64_18856 sqr-abs_binary64_18848 sqr-neg_binary64_18847 rem-sqrt-square_binary64_18846 rem-square-sqrt_binary64_18845 times-frac_binary64_18839 div-sub_binary64_18838 neg-mul-1_binary64_18829 neg-sub0_binary64_18828 unsub-neg_binary64_18827 sub-neg_binary64_18826 mul-1-neg_binary64_18825 /-rgt-identity_binary64_18824 *-rgt-identity_binary64_18823 *-lft-identity_binary64_18822 remove-double-neg_binary64_18821 sub0-neg_binary64_18820 --rgt-identity_binary64_18819 +-rgt-identity_binary64_18818 +-lft-identity_binary64_18817 mul0-rgt_binary64_18816 mul0-lft_binary64_18815 div0_binary64_18814 *-inverses_binary64_18813 +-inverses_binary64_18812 lft-mult-inverse_binary64_18811 rgt-mult-inverse_binary64_18810 remove-double-div_binary64_18809 pow-sqr_binary64_18806 sqr-pow_binary64_18805 difference-of-sqr--1_binary64_18804 difference-of-sqr-1_binary64_18803 difference-of-squares_binary64_18802 unswap-sqr_binary64_18801 swap-sqr_binary64_18800 cancel-sign-sub-inv_binary64_18799 cancel-sign-sub_binary64_18798 distribute-neg-frac_binary64_18797 distribute-frac-neg_binary64_18796 distribute-neg-out_binary64_18795 distribute-neg-in_binary64_18794 distribute-rgt-neg-out_binary64_18793 distribute-lft-neg-out_binary64_18792 distribute-rgt-neg-in_binary64_18791 distribute-lft-neg-in_binary64_18790 distribute-rgt1-in_binary64_18789 distribute-lft1-in_binary64_18788 distribute-rgt-out--_binary64_18787 distribute-rgt-out_binary64_18786 distribute-lft-out--_binary64_18785 distribute-lft-out_binary64_18784 count-2_binary64_18781 associate-/l/_binary64_18780 associate-/r/_binary64_18779 associate-/l*_binary64_18778 associate-/r*_binary64_18777 associate-*l/_binary64_18776 associate-*r/_binary64_18775 associate-*l*_binary64_18774 associate-*r*_binary64_18773 associate--r-_binary64_18772 associate--l-_binary64_18771 associate--l+_binary64_18770 associate--r+_binary64_18769 associate-+l-_binary64_18768 associate-+r-_binary64_18767 associate-+l+_binary64_18766 associate-+r+_binary64_18765

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	14
1	21	14
2	19	14
3	17	14
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
99.9%	0%	0.1%	1

Symmetry

(sort x y)

Compiler

Compiled 8 to 8 computations (0% saved)