analyze358.0ms (6.5%)

Algorithm

1×	search
2×	egg-herbie

Rules

478×	sub-neg_binary64_1776
434×	distribute-rgt-in_binary64_1733 associate-+l+_binary64_1716
406×	associate-*l*_binary64_1724
374×	associate-+r+_binary64_1715
354×	associate--l+_binary64_1720
350×	*-commutative_binary64_1714
326×	associate-*r*_binary64_1723
291×	distribute-lft-in_binary64_1732
286×	distribute-rgt-out_binary64_1736
280×	neg-mul-1_binary64_1779
244×	unsub-neg_binary64_1777
194×	neg-sub0_binary64_1778
142×	associate-+l-_binary64_1718
130×	+-commutative_binary64_1713
119×	distribute-rgt-neg-out_binary64_1743
118×	distribute-lft-neg-out_binary64_1742
112×	distribute-lft-out_binary64_1734
93×	cancel-sign-sub-inv_binary64_1749
84×	associate-+r-_binary64_1717
58×	associate--r+_binary64_1719
40×	distribute-rgt-neg-in_binary64_1741
38×	unswap-sqr_binary64_1751
29×	distribute-lft-neg-in_binary64_1740
22×	associate--r-_binary64_1722
20×	*-rgt-identity_binary64_1773
19×	*-lft-identity_binary64_1772
18×	distribute-neg-in_binary64_1744
14×	sqr-pow_binary64_1755
8×	difference-of-sqr--1_binary64_1754
7×	pow-plus_binary64_1846
6×	mul0-rgt_binary64_1766 mul0-lft_binary64_1765 swap-sqr_binary64_1750 distribute-lft1-in_binary64_1738
5×	cube-unmult_binary64_1820
4×	difference-of-sqr-1_binary64_1753
2×	unpow2_binary64_1848 mul-1-neg_binary64_1775 sub0-neg_binary64_1770
1×	unpow3_binary64_1849 unpow1/2_binary64_1847 unpow1_binary64_1841 1-exp_binary64_1827 cube-prod_binary64_1811 rem-sqrt-square_binary64_1796 distribute-rgt1-in_binary64_1739
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 exp-to-pow_binary64_1845 pow-base-1_binary64_1843 unpow0_binary64_1842 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-mult_binary64_1813 cube-div_binary64_1812 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-square-sqrt_binary64_1795 times-frac_binary64_1789 div-sub_binary64_1788 /-rgt-identity_binary64_1774 remove-double-neg_binary64_1771 --rgt-identity_binary64_1769 +-rgt-identity_binary64_1768 +-lft-identity_binary64_1767 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 difference-of-squares_binary64_1752 cancel-sign-sub_binary64_1748 distribute-neg-frac_binary64_1747 distribute-frac-neg_binary64_1746 distribute-neg-out_binary64_1745 distribute-rgt-out--_binary64_1737 distribute-lft-out--_binary64_1735 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 associate--l-_binary64_1721

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	92
1	100	92
2	254	92
3	765	92
4	2201	92
5	4207	92
6	4979	92
7	5012	92
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
25%	68.7%	6.3%	6
25%	56.2%	18.8%	7
25%	48.4%	26.6%	8
25%	35.1%	39.9%	9
28.1%	18.3%	53.6%	10
31.6%	12.3%	56.1%	11
33.4%	5.9%	60.8%	12
35.2%	3.8%	61%	13
36.1%	2.9%	61%	14

Compiler

Compiled 32 to 22 computations (31.3% saved)