analyze253.0ms (16.1%)

Algorithm

1×	search
2×	egg-herbie

Rules

334×	cancel-sign-sub-inv_binary64_1749
289×	sub-neg_binary64_1776
202×	distribute-rgt-in_binary64_1733
144×	distribute-neg-in_binary64_1744
131×	associate-+l-_binary64_1718
127×	associate--r+_binary64_1719
119×	unsub-neg_binary64_1777
102×	associate--l+_binary64_1720
98×	associate--r-_binary64_1722
88×	associate--l-_binary64_1721
80×	associate-+r+_binary64_1715
75×	associate-+l+_binary64_1716
73×	distribute-rgt-neg-in_binary64_1741
69×	+-commutative_binary64_1713
58×	distribute-lft-in_binary64_1732
57×	distribute-lft-neg-out_binary64_1742
52×	associate-+r-_binary64_1717
50×	neg-mul-1_binary64_1779
48×	sub0-neg_binary64_1770
43×	*-commutative_binary64_1714
38×	neg-sub0_binary64_1778 associate-*r*_binary64_1723
33×	distribute-lft-neg-in_binary64_1740
32×	distribute-rgt-neg-out_binary64_1743
31×	associate-*l*_binary64_1724
30×	cancel-sign-sub_binary64_1748
20×	*-rgt-identity_binary64_1773
19×	remove-double-neg_binary64_1771
16×	distribute-neg-out_binary64_1745
14×	distribute-rgt-out--_binary64_1737 distribute-rgt-out_binary64_1736
12×	*-lft-identity_binary64_1772 mul0-rgt_binary64_1766 mul0-lft_binary64_1765
8×	--rgt-identity_binary64_1769 +-rgt-identity_binary64_1768 distribute-lft-out--_binary64_1735
4×	+-lft-identity_binary64_1767
2×	distribute-lft-out_binary64_1734
1×	1-exp_binary64_1827
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 div-sub_binary64_1788 mul-1-neg_binary64_1775 /-rgt-identity_binary64_1774 div0_binary64_1764 *-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 distribute-neg-frac_binary64_1747 distribute-frac-neg_binary64_1746 distribute-rgt1-in_binary64_1739 distribute-lft1-in_binary64_1738 count-2_binary64_1731 associate-/l/_binary64_1730 associate-/r/_binary64_1729 associate-/l*_binary64_1728 associate-/r*_binary64_1727 associate-*l/_binary64_1726 associate-*r/_binary64_1725

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	32
1	42	32
2	86	32
3	159	26
4	353	26
5	701	26
6	1004	26
7	1157	26
8	1161	26
9	1121	26
10	1121	26
11	1030	26
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
50%	50%	0.1%	6
56.2%	37.5%	6.3%	7
68.7%	25%	6.3%	8
71.8%	18.7%	9.5%	9
78%	12.5%	9.5%	10
79.6%	9.4%	11%	11
82.7%	6.2%	11%	12
83.6%	4.6%	11.8%	13
85.1%	3.1%	11.8%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)