analyze100.0ms (100%)

Algorithm

1×	egg-herbie

Rules

32×	distribute-rgt-in_binary64_1733
27×	cancel-sign-sub-inv_binary64_1749
26×	distribute-lft-in_binary64_1732
25×	sub-neg_binary64_1776
17×	div-sub_binary64_1788
16×	distribute-lft-neg-out_binary64_1742
15×	unsub-neg_binary64_1777 distribute-rgt-neg-in_binary64_1741
14×	associate-/l*_binary64_1728
13×	neg-mul-1_binary64_1779 distribute-rgt-neg-out_binary64_1743 associate-/r*_binary64_1727
12×	associate--r+_binary64_1719
10×	distribute-neg-frac_binary64_1747
9×	neg-sub0_binary64_1778
8×	distribute-neg-in_binary64_1744 distribute-lft-neg-in_binary64_1740
7×	associate-*l*_binary64_1724 *-commutative_binary64_1714
6×	*-lft-identity_binary64_1772 associate-*l/_binary64_1726 associate-*r*_binary64_1723 associate--r-_binary64_1722 +-commutative_binary64_1713
5×	sub0-neg_binary64_1770 associate-/l/_binary64_1730 associate-/r/_binary64_1729 associate-*r/_binary64_1725 associate-+l-_binary64_1718
3×	*-rgt-identity_binary64_1773 +-lft-identity_binary64_1767 mul0-rgt_binary64_1766 mul0-lft_binary64_1765 associate--l+_binary64_1720 associate-+l+_binary64_1716
2×	/-rgt-identity_binary64_1774 remove-double-neg_binary64_1771 div0_binary64_1764 distribute-rgt1-in_binary64_1739 associate--l-_binary64_1721
1×	1-exp_binary64_1827 --rgt-identity_binary64_1769 +-rgt-identity_binary64_1768 distribute-lft-out--_binary64_1735 distribute-lft-out_binary64_1734 associate-+r-_binary64_1717 associate-+r+_binary64_1715
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_2046 erf-erfc_binary64_2045 erf-odd_binary64_2044 if-if-and-not_binary64_2043 if-if-and_binary64_2042 if-if-or-not_binary64_2041 if-if-or_binary64_2040 if-not_binary64_2039 if-same_binary64_2038 if-false_binary64_2037 if-true_binary64_2036 not-gte_binary64_2035 not-lte_binary64_2034 not-gt_binary64_2033 not-lt_binary64_2032 gte-same_binary64_2031 lte-same_binary64_2030 gt-same_binary64_2029 lt-same_binary64_2028 sinh---cosh_binary64_1975 sinh-+-cosh_binary64_1974 sinh-cosh_binary64_1973 tanh-def-c_binary64_1972 tanh-def-b_binary64_1971 tanh-def-a_binary64_1970 cosh-def_binary64_1969 sinh-def_binary64_1968 tan-neg_binary64_1915 cos-neg_binary64_1914 sin-neg_binary64_1913 tan-0_binary64_1912 cos-0_binary64_1911 sin-0_binary64_1910 hang-m-tan_binary64_1909 hang-p-tan_binary64_1908 hang-m0-tan_binary64_1907 hang-p0-tan_binary64_1906 hang-0m-tan_binary64_1905 hang-0p-tan_binary64_1904 tan-+PI/2_binary64_1903 tan-+PI_binary64_1902 tan-PI_binary64_1901 tan-PI/3_binary64_1900 tan-PI/4_binary64_1899 tan-PI/6_binary64_1898 cos-+PI/2_binary64_1897 cos-+PI_binary64_1896 cos-PI_binary64_1895 cos-PI/2_binary64_1894 cos-PI/3_binary64_1893 cos-PI/4_binary64_1892 cos-PI/6_binary64_1891 sin-+PI/2_binary64_1890 sin-+PI_binary64_1889 sin-PI_binary64_1888 sin-PI/2_binary64_1887 sin-PI/3_binary64_1886 sin-PI/4_binary64_1885 sin-PI/6_binary64_1884 sub-1-sin_binary64_1883 sub-1-cos_binary64_1882 -1-add-sin_binary64_1881 -1-add-cos_binary64_1880 1-sub-sin_binary64_1879 1-sub-cos_binary64_1878 cos-sin-sum_binary64_1877 log-E_binary64_1873 log-pow_binary64_1872 log-rec_binary64_1871 log-div_binary64_1870 log-prod_binary64_1869 pow-base-0_binary64_1867 unpow1/3_binary64_1850 unpow3_binary64_1849 unpow2_binary64_1848 unpow1/2_binary64_1847 pow-plus_binary64_1846 exp-to-pow_binary64_1845 pow-base-1_binary64_1843 unpow0_binary64_1842 unpow1_binary64_1841 unpow-1_binary64_1840 exp-lft-cube_binary64_1839 exp-lft-sqr_binary64_1838 exp-cbrt_binary64_1837 exp-sqrt_binary64_1836 exp-prod_binary64_1835 div-exp_binary64_1834 rec-exp_binary64_1833 prod-exp_binary64_1832 exp-diff_binary64_1831 exp-neg_binary64_1830 exp-sum_binary64_1829 e-exp-1_binary64_1828 exp-1-e_binary64_1826 exp-0_binary64_1825 rem-log-exp_binary64_1824 rem-exp-log_binary64_1823 cube-unmult_binary64_1820 cube-mult_binary64_1813 cube-div_binary64_1812 cube-prod_binary64_1811 cube-neg_binary64_1810 rem-3cbrt-rft_binary64_1809 rem-3cbrt-lft_binary64_1808 rem-cbrt-cube_binary64_1807 rem-cube-cbrt_binary64_1806 sqr-abs_binary64_1798 sqr-neg_binary64_1797 rem-sqrt-square_binary64_1796 rem-square-sqrt_binary64_1795 times-frac_binary64_1789 mul-1-neg_binary64_1775 *-inverses_binary64_1763 +-inverses_binary64_1762 lft-mult-inverse_binary64_1761 rgt-mult-inverse_binary64_1760 remove-double-div_binary64_1759 pow-sqr_binary64_1756 sqr-pow_binary64_1755 difference-of-sqr--1_binary64_1754 difference-of-sqr-1_binary64_1753 difference-of-squares_binary64_1752 unswap-sqr_binary64_1751 swap-sqr_binary64_1750 cancel-sign-sub_binary64_1748 distribute-frac-neg_binary64_1746 distribute-neg-out_binary64_1745 distribute-lft1-in_binary64_1738 distribute-rgt-out--_binary64_1737 distribute-rgt-out_binary64_1736 count-2_binary64_1731

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	14	9
2	17	9
3	21	9
4	28	9
5	35	9
6	52	9
7	78	9
8	97	9
9	131	9
10	183	9
11	192	9
12	207	9
13	205	9
14	168	9