Details

analyze3.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	50%	0%	2
50%	25%	25%	3
62.5%	12.5%	25%	4
68.7%	6.2%	25%	5
71.8%	3.1%	25%	6
73.4%	1.6%	25%	7
74.2%	0.8%	25%	8
74.6%	0.4%	25%	9
74.8%	0.2%	25%	10
74.9%	0.1%	25%	11
74.9%	0%	25%	12
74.9%	0%	25%	13
74.9%	0%	25%	14

Compiler

Compiled 5 to 5 computations (0% saved)

sample51.0ms (0.9%)

Algorithm

1×

intervals

Results

27.0ms	83×	body	1024	valid
8.0ms	46×	body	512	valid
3.0ms	8×	body	2048	valid
3.0ms	101×	body	128	valid
1.0ms	18×	body	256	valid

Compiler

Compiled 9 to 10 computations (-11.1% saved)

simplify99.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

1× 1-exp_binary64_1827 +-commutative_binary64_1713

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 neg-mul-1_binary64_1779 neg-sub0_binary64_1778 unsub-neg_binary64_1777 sub-neg_binary64_1776 mul-1-neg_binary64_1775 /-rgt-identity_binary64_1774 *-rgt-identity_binary64_1773 *-lft-identity_binary64_1772 remove-double-neg_binary64_1771 sub0-neg_binary64_1770 --rgt-identity_binary64_1769 +-rgt-identity_binary64_1768 +-lft-identity_binary64_1767 mul0-rgt_binary64_1766 mul0-lft_binary64_1765 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 cancel-sign-sub-inv_binary64_1749 cancel-sign-sub_binary64_1748 distribute-neg-frac_binary64_1747 distribute-frac-neg_binary64_1746 distribute-neg-out_binary64_1745 distribute-neg-in_binary64_1744 distribute-rgt-neg-out_binary64_1743 distribute-lft-neg-out_binary64_1742 distribute-rgt-neg-in_binary64_1741 distribute-lft-neg-in_binary64_1740 distribute-rgt1-in_binary64_1739 distribute-lft1-in_binary64_1738 distribute-rgt-out--_binary64_1737 distribute-rgt-out_binary64_1736 distribute-lft-out--_binary64_1735 distribute-lft-out_binary64_1734 distribute-rgt-in_binary64_1733 distribute-lft-in_binary64_1732 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_1724 associate-*r*_binary64_1723 associate--r-_binary64_1722 associate--l-_binary64_1721 associate--l+_binary64_1720 associate--r+_binary64_1719 associate-+l-_binary64_1718 associate-+r-_binary64_1717 associate-+l+_binary64_1716 associate-+r+_binary64_1715 *-commutative_binary64_1714

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	6
1	8	6
2	7	6

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	0	0
Total	1	1

Error

37.8b

Counts

1 → 1

Compiler

Compiled 4 to 4 computations (0% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

3.7b	(log.f64 (+.f64 1 x))

rewrite16.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

37.7b

Rules

4×	`log-prod_binary64_1869` `*-un-lft-identity_binary64_1783`
2×	`pow1_binary64_1844` `log-div_binary64_1870` `add-cube-cbrt_binary64_1818` `add-sqr-sqrt_binary64_1805` `add-exp-log_binary64_1821`
1×	`log-pow_binary64_1872` `flip3-+_binary64_1786` `flip-+_binary64_1757` `distribute-lft-out_binary64_1734` `rem-log-exp_binary64_1824` `add-log-exp_binary64_1822` `add-cbrt-cube_binary64_1819`

Counts

1 → 15

Calls

1 calls:

3.0ms

(log.f64 (+.f64 1 x))

Compiler

Compiled 152 to 124 computations (18.4% saved)

series41.0ms (0.7%)

Error

0.1b

Counts

1 → 9

Calls

1 calls:

29.0ms

(log.f64 (+.f64 1 x))

Compiler

Compiled 213 to 180 computations (15.5% saved)

simplify77.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

550×	`sub-neg_binary64_1776`
324×	`neg-mul-1_binary64_1779`
300×	`distribute-rgt-neg-in_binary64_1741`
291×	`neg-sub0_binary64_1778`
282×	`associate-l_binary64_1724`
245×	`times-frac_binary64_1789`
232×	`distribute-lft-neg-in_binary64_1740` `associate-r_binary64_1723`
219×	`associate--r+_binary64_1719`
208×	`cancel-sign-sub-inv_binary64_1749`
197×	`associate-+l+_binary64_1716`
175×	`distribute-neg-in_binary64_1744`
170×	`unswap-sqr_binary64_1751`
146×	`associate--r-_binary64_1722`
144×	`associate-+r-_binary64_1717`
140×	`unsub-neg_binary64_1777`
117×	`associate-+l-_binary64_1718`
113×	`div-sub_binary64_1788`
98×	`+-commutative_binary64_1713`
97×	`associate-/r*_binary64_1727`
94×	`associate--l+_binary64_1720`
87×	`*-commutative_binary64_1714`
55×	`log-prod_binary64_1869`
52×	`distribute-rgt-in_binary64_1733`
49×	`distribute-neg-frac_binary64_1747` `distribute-lft-neg-out_binary64_1742`
45×	`distribute-rgt-out--_binary64_1737`
44×	`distribute-lft-in_binary64_1732` `associate--l-_binary64_1721`
42×	`sub0-neg_binary64_1770`
38×	`distribute-rgt-neg-out_binary64_1743` `distribute-rgt-out_binary64_1736`
28×	`distribute-lft-out--_binary64_1735`
27×	`*-lft-identity_binary64_1772`
25×	`associate-*r/_binary64_1725`
23×	`+-rgt-identity_binary64_1768` `associate-/l/_binary64_1730` `associate-*l/_binary64_1726`
22×	`--rgt-identity_binary64_1769` `associate-+r+_binary64_1715`
19×	`log-div_binary64_1870` `distribute-lft-out_binary64_1734`
18×	`*-rgt-identity_binary64_1773` `sqr-pow_binary64_1755` `cancel-sign-sub_binary64_1748`
16×	`pow-plus_binary64_1846` `cube-prod_binary64_1811`
15×	`difference-of-squares_binary64_1752`
13×	`associate-/l*_binary64_1728`
11×	`distribute-rgt1-in_binary64_1739`
10×	`remove-double-neg_binary64_1771`
8×	`cube-unmult_binary64_1820`
6×	`unpow3_binary64_1849` `exp-sum_binary64_1829` `mul0-rgt_binary64_1766` `mul0-lft_binary64_1765`
5×	`log-pow_binary64_1872` `+-lft-identity_binary64_1767`
4×	`+-inverses_binary64_1762` `swap-sqr_binary64_1750` `distribute-neg-out_binary64_1745`
3×	`log-rec_binary64_1871` `exp-prod_binary64_1835` `exp-diff_binary64_1831` `difference-of-sqr--1_binary64_1754` `difference-of-sqr-1_binary64_1753` `distribute-lft1-in_binary64_1738` `count-2_binary64_1731`
2×	`rem-exp-log_binary64_1823` `cube-mult_binary64_1813` `remove-double-div_binary64_1759` `pow-sqr_binary64_1756`
1×	`unpow2_binary64_1848` `unpow1/2_binary64_1847` `unpow1_binary64_1841` `1-exp_binary64_1827` `rem-sqrt-square_binary64_1796` `mul-1-neg_binary64_1775`
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` `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` `div-exp_binary64_1834` `rec-exp_binary64_1833` `prod-exp_binary64_1832` `exp-neg_binary64_1830` `e-exp-1_binary64_1828` `exp-1-e_binary64_1826` `exp-0_binary64_1825` `rem-log-exp_binary64_1824` `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` `/-rgt-identity_binary64_1774` `div0_binary64_1764` `*-inverses_binary64_1763` `lft-mult-inverse_binary64_1761` `rgt-mult-inverse_binary64_1760` `distribute-frac-neg_binary64_1746` `associate-/r/_binary64_1729`

Counts

24 → 45

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	66	308
1	144	276
2	313	270
3	868	267
4	3053	267
5	4387	267
6	5015	267

prune41.0ms (0.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	43	2	45
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	43	3	46

Error

0.1b

Counts

46 → 3

Compiler

Compiled 561 to 396 computations (29.4% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 x (-.f64 1/3 (.f64 x 1/4))) 1/2)
0.0b	(-.f64 1/3 (*.f64 x 1/4))
0.0b	(.f64 (.f64 x x) (-.f64 (.f64 x (-.f64 1/3 (.f64 x 1/4))) 1/2))
0.2b	(.f64 x (-.f64 1/3 (.f64 x 1/4)))

rewrite131.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

18×	`cancel-sign-sub-inv_binary64_1749`
16×	`distribute-rgt-in_binary64_1733` `distribute-lft-in_binary64_1732`
13×	`add-sqr-sqrt_binary64_1805`
12×	`sub-neg_binary64_1776` `associate--l+_binary64_1720`
11×	`pow1_binary64_1844` `add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819`
10×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
8×	`add-log-exp_binary64_1822`
6×	`associate-r_binary64_1723`
4×	`pow-prod-down_binary64_1854` `prod-exp_binary64_1832` `cbrt-unprod_binary64_1816` `flip3--_binary64_1787` `associate-r/_binary64_1725` `flip--_binary64_1758` `associate-l*_binary64_1724`
2×	`unswap-sqr_binary64_1751` `*-commutative_binary64_1714` `diff-log_binary64_1875`

Counts

4 → 91

Calls

4 calls:

12.0ms	(.f64 (.f64 x x) (-.f64 (.f64 x (-.f64 1/3 (.f64 x 1/4))) 1/2))
6.0ms	(-.f64 (.f64 x (-.f64 1/3 (.f64 x 1/4))) 1/2)
6.0ms	(.f64 x (-.f64 1/3 (.f64 x 1/4)))
3.0ms	(-.f64 1/3 (*.f64 x 1/4))

Compiler

Compiled 2148 to 1406 computations (34.5% saved)

series161.0ms (2.9%)

Error

0.1b

Counts

4 → 22

Calls

4 calls:

55.0ms	(.f64 x (-.f64 1/3 (.f64 x 1/4)))
39.0ms	(.f64 (.f64 x x) (-.f64 (.f64 x (-.f64 1/3 (.f64 x 1/4))) 1/2))
29.0ms	(-.f64 1/3 (*.f64 x 1/4))
24.0ms	(-.f64 (.f64 x (-.f64 1/3 (.f64 x 1/4))) 1/2)

Compiler

Compiled 748 to 534 computations (28.6% saved)

simplify111.0ms (2%)

Algorithm

1×	egg-herbie

Rules

356×	`*-commutative_binary64_1714`
352×	`exp-prod_binary64_1835`
300×	`distribute-rgt-in_binary64_1733`
295×	`unsub-neg_binary64_1777`
283×	`distribute-lft-in_binary64_1732`
250×	`associate-l_binary64_1724`
222×	`distribute-rgt-neg-out_binary64_1743`
220×	`unswap-sqr_binary64_1751`
217×	`distribute-lft-neg-out_binary64_1742`
178×	`associate-r_binary64_1723`
159×	`cancel-sign-sub-inv_binary64_1749`
130×	`distribute-rgt-neg-in_binary64_1741`
120×	`exp-diff_binary64_1831`
114×	`distribute-lft-neg-in_binary64_1740`
91×	`exp-neg_binary64_1830`
84×	`neg-mul-1_binary64_1779` `neg-sub0_binary64_1778`
81×	`sub-neg_binary64_1776`
76×	`sqr-pow_binary64_1755`
54×	`associate--l+_binary64_1720`
52×	`*-lft-identity_binary64_1772`
46×	`exp-sum_binary64_1829` `*-rgt-identity_binary64_1773`
39×	`log-prod_binary64_1869`
37×	`+-commutative_binary64_1713`
31×	`distribute-rgt-out_binary64_1736`
30×	`distribute-neg-out_binary64_1745`
28×	`associate-/l*_binary64_1728`
25×	`associate-+l+_binary64_1716` `associate-+r+_binary64_1715`
24×	`cube-prod_binary64_1811`
21×	`swap-sqr_binary64_1750`
20×	`distribute-lft-out_binary64_1734`
18×	`div-sub_binary64_1788`
15×	`mul0-rgt_binary64_1766` `mul0-lft_binary64_1765`
13×	`pow-sqr_binary64_1756` `associate-+l-_binary64_1718`
12×	`distribute-rgt-out--_binary64_1737`
10×	`pow-plus_binary64_1846` `distribute-lft-out--_binary64_1735`
9×	`unpow3_binary64_1849` `associate-+r-_binary64_1717`
8×	`unpow1/2_binary64_1847` `sub0-neg_binary64_1770`
7×	`associate-/r*_binary64_1727`
6×	`cube-unmult_binary64_1820` `+-rgt-identity_binary64_1768`
5×	`associate--l-_binary64_1721`
4×	`div-exp_binary64_1834` `cube-mult_binary64_1813` `distribute-neg-in_binary64_1744` `associate--r+_binary64_1719`
3×	`log-pow_binary64_1872` `count-2_binary64_1731` `associate-*r/_binary64_1725`
2×	`prod-exp_binary64_1832` `associate-/l/_binary64_1730`
1×	`unpow1/3_binary64_1850` `unpow2_binary64_1848` `unpow1_binary64_1841` `1-exp_binary64_1827` `exp-1-e_binary64_1826` `rem-3cbrt-lft_binary64_1808` `sqr-neg_binary64_1797` `rem-sqrt-square_binary64_1796` `rem-square-sqrt_binary64_1795` `associate-/r/_binary64_1729` `associate-*l/_binary64_1726` `associate--r-_binary64_1722`
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-rec_binary64_1871` `log-div_binary64_1870` `pow-base-0_binary64_1867` `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` `rec-exp_binary64_1833` `e-exp-1_binary64_1828` `exp-0_binary64_1825` `rem-log-exp_binary64_1824` `rem-exp-log_binary64_1823` `cube-div_binary64_1812` `cube-neg_binary64_1810` `rem-3cbrt-rft_binary64_1809` `rem-cbrt-cube_binary64_1807` `rem-cube-cbrt_binary64_1806` `sqr-abs_binary64_1798` `times-frac_binary64_1789` `mul-1-neg_binary64_1775` `/-rgt-identity_binary64_1774` `remove-double-neg_binary64_1771` `--rgt-identity_binary64_1769` `+-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` `difference-of-sqr--1_binary64_1754` `difference-of-sqr-1_binary64_1753` `difference-of-squares_binary64_1752` `cancel-sign-sub_binary64_1748` `distribute-neg-frac_binary64_1747` `distribute-frac-neg_binary64_1746` `distribute-rgt1-in_binary64_1739` `distribute-lft1-in_binary64_1738`

Counts

113 → 234

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	166	1866
1	371	1695
2	1078	1671
3	2578	1671
4	4552	1671
5	4949	1671

prune285.0ms (5.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	234	0	234
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	234	3	237

Error

0.1b

Counts

237 → 3

Compiler

Compiled 5429 to 3572 computations (34.2% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (*.f64 x x) x)
0.3b	(-.f64 (log.f64 (+.f64 (pow.f64 x 3) 1)) (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))))
15.4b	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))
16.8b	(log.f64 (+.f64 (pow.f64 x 3) 1))

rewrite131.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

23×	`*-un-lft-identity_binary64_1783`
16×	`log-prod_binary64_1869`
13×	`add-sqr-sqrt_binary64_1805`
11×	`pow1_binary64_1844`
10×	`add-cube-cbrt_binary64_1818`
8×	`log-div_binary64_1870`
7×	`log-pow_binary64_1872` `cancel-sign-sub-inv_binary64_1749`
6×	`add-exp-log_binary64_1821` `add-log-exp_binary64_1822`
4×	`flip3-+_binary64_1786` `flip-+_binary64_1757` `distribute-lft-out_binary64_1734` `add-cbrt-cube_binary64_1819` `distribute-lft-out--_binary64_1735` `associate--l+_binary64_1720` `associate--r+_binary64_1719`
2×	`rem-log-exp_binary64_1824` `diff-log_binary64_1875` `flip3--_binary64_1787` `sub-neg_binary64_1776` `flip--_binary64_1758` `difference-of-squares_binary64_1752` `associate--r-_binary64_1722` `associate--l-_binary64_1721`
1×	`distribute-rgt-out--_binary64_1737`

Counts

4 → 78

Calls

4 calls:

15.0ms	(-.f64 (log.f64 (+.f64 (pow.f64 x 3) 1)) (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))))
8.0ms	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))
7.0ms	(log.f64 (+.f64 (pow.f64 x 3) 1))
4.0ms	(-.f64 (*.f64 x x) x)

Compiler

Compiled 1930 to 1206 computations (37.5% saved)

series343.0ms (6.2%)

Error

0.1b

Counts

4 → 32

Calls

4 calls:

185.0ms	(log.f64 (+.f64 (pow.f64 x 3) 1))
44.0ms	(-.f64 (log.f64 (+.f64 (pow.f64 x 3) 1)) (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))))
41.0ms	(-.f64 (*.f64 x x) x)
41.0ms	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))

Compiler

Compiled 1160 to 954 computations (17.8% saved)

simplify148.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

381×	`sub-neg_binary64_1776`
249×	`unswap-sqr_binary64_1751`
244×	`times-frac_binary64_1789`
234×	`distribute-rgt-neg-in_binary64_1741`
220×	`cancel-sign-sub-inv_binary64_1749`
201×	`distribute-lft-neg-in_binary64_1740`
186×	`*-commutative_binary64_1714`
184×	`unsub-neg_binary64_1777`
151×	`+-commutative_binary64_1713`
111×	`log-prod_binary64_1869` `distribute-rgt-in_binary64_1733`
110×	`cube-prod_binary64_1811`
109×	`exp-prod_binary64_1835`
99×	`neg-mul-1_binary64_1779`
97×	`neg-sub0_binary64_1778`
95×	`distribute-lft-neg-out_binary64_1742`
90×	`distribute-lft-in_binary64_1732`
83×	`sqr-pow_binary64_1755` `associate-+l+_binary64_1716`
81×	`distribute-rgt-neg-out_binary64_1743`
75×	`unpow3_binary64_1849`
74×	`associate-+l-_binary64_1718`
72×	`associate-+r+_binary64_1715`
71×	`distribute-neg-in_binary64_1744`
63×	`distribute-rgt-out_binary64_1736` `associate-+r-_binary64_1717`
60×	`associate--l+_binary64_1720`
59×	`difference-of-squares_binary64_1752`
55×	`associate-/r*_binary64_1727`
54×	`exp-sum_binary64_1829` `associate--r+_binary64_1719`
52×	`div-sub_binary64_1788` `associate-r_binary64_1723`
48×	`associate-l_binary64_1724`
42×	`swap-sqr_binary64_1750`
41×	`sub0-neg_binary64_1770` `+-rgt-identity_binary64_1768`
34×	`cancel-sign-sub_binary64_1748` `associate--r-_binary64_1722`
29×	`distribute-lft-out_binary64_1734`
26×	`exp-diff_binary64_1831`
25×	`distribute-rgt-out--_binary64_1737`
20×	`sqr-neg_binary64_1797` `distribute-neg-frac_binary64_1747`
18×	`log-div_binary64_1870` `pow-plus_binary64_1846`
17×	`log-pow_binary64_1872` `cube-unmult_binary64_1820`
15×	`*-rgt-identity_binary64_1773` `mul0-rgt_binary64_1766` `mul0-lft_binary64_1765` `distribute-rgt1-in_binary64_1739`
14×	`*-lft-identity_binary64_1772` `pow-sqr_binary64_1756`
13×	`cube-mult_binary64_1813`
12×	`cube-neg_binary64_1810` `remove-double-neg_binary64_1771` `--rgt-identity_binary64_1769`
11×	`rem-sqrt-square_binary64_1796` `associate-*r/_binary64_1725`
10×	`distribute-lft-out--_binary64_1735`
9×	`distribute-neg-out_binary64_1745` `associate-/l*_binary64_1728`
8×	`associate-*l/_binary64_1726`
6×	`difference-of-sqr--1_binary64_1754` `difference-of-sqr-1_binary64_1753`
5×	`distribute-lft1-in_binary64_1738`
4×	`log-rec_binary64_1871`
3×	`unpow2_binary64_1848` `rem-log-exp_binary64_1824` `rem-exp-log_binary64_1823`
2×	`unpow1/2_binary64_1847` `exp-neg_binary64_1830` `rem-3cbrt-lft_binary64_1808` `rem-square-sqrt_binary64_1795` `mul-1-neg_binary64_1775` `count-2_binary64_1731` `associate--l-_binary64_1721`
1×	`exp-to-pow_binary64_1845` `unpow1_binary64_1841` `div-exp_binary64_1834` `1-exp_binary64_1827` `exp-1-e_binary64_1826` `cube-div_binary64_1812` `/-rgt-identity_binary64_1774` `+-inverses_binary64_1762` `remove-double-div_binary64_1759` `distribute-frac-neg_binary64_1746`
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` `pow-base-0_binary64_1867` `unpow1/3_binary64_1850` `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` `rec-exp_binary64_1833` `prod-exp_binary64_1832` `e-exp-1_binary64_1828` `exp-0_binary64_1825` `rem-3cbrt-rft_binary64_1809` `rem-cbrt-cube_binary64_1807` `rem-cube-cbrt_binary64_1806` `sqr-abs_binary64_1798` `+-lft-identity_binary64_1767` `div0_binary64_1764` `*-inverses_binary64_1763` `lft-mult-inverse_binary64_1761` `rgt-mult-inverse_binary64_1760` `associate-/l/_binary64_1730` `associate-/r/_binary64_1729`

Counts

110 → 103

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	202	2044
1	470	1937
2	1170	1925
3	2723	1907
4	4485	1907
5	4957	1907
6	4891	1907

prune118.0ms (2.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	99	4	103
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	100	6	106

Error

0.0b

Counts

106 → 6

Compiler

Compiled 2331 to 1481 computations (36.5% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

1.8b	(log.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1)))
14.2b	(cbrt.f64 (+.f64 (pow.f64 x 3) 1))
14.2b	(cbrt.f64 (+.f64 (pow.f64 x 3) 1))
15.4b	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))

rewrite141.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

17×	`*-un-lft-identity_binary64_1783`
12×	`cbrt-prod_binary64_1814`
11×	`log-prod_binary64_1869`
9×	`add-cube-cbrt_binary64_1818` `add-sqr-sqrt_binary64_1805`
6×	`pow1_binary64_1844` `add-exp-log_binary64_1821` `cbrt-div_binary64_1815`
4×	`flip3-+_binary64_1786` `log-div_binary64_1870` `flip-+_binary64_1757` `distribute-lft-out_binary64_1734` `add-log-exp_binary64_1822` `add-cbrt-cube_binary64_1819`
3×	`log-pow_binary64_1872` `pow1/3_binary64_1865`
2×	`rem-log-exp_binary64_1824`

Counts

4 → 62

Calls

4 calls:

7.0ms	(log.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1)))
6.0ms	(cbrt.f64 (+.f64 (pow.f64 x 3) 1))
6.0ms	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))
6.0ms	(cbrt.f64 (+.f64 (pow.f64 x 3) 1))

Compiler

Compiled 2151 to 1612 computations (25.1% saved)

series739.0ms (13.4%)

Error

0.0b

Counts

4 → 33

Calls

4 calls:

329.0ms	(log.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1)))
161.0ms	(cbrt.f64 (+.f64 (pow.f64 x 3) 1))
156.0ms	(cbrt.f64 (+.f64 (pow.f64 x 3) 1))
43.0ms	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))

Compiler

Compiled 2309 to 1907 computations (17.4% saved)

simplify142.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

312×	`times-frac_binary64_1789`
295×	`distribute-rgt-neg-in_binary64_1741`
294×	`associate-l_binary64_1724`
277×	`associate-r_binary64_1723`
259×	`distribute-lft-neg-in_binary64_1740`
237×	`sub-neg_binary64_1776`
182×	`cube-prod_binary64_1811`
120×	`cancel-sign-sub-inv_binary64_1749`
111×	`distribute-lft-neg-out_binary64_1742`
108×	`distribute-rgt-neg-out_binary64_1743`
99×	`+-commutative_binary64_1713`
89×	`*-commutative_binary64_1714`
88×	`log-prod_binary64_1869`
83×	`cancel-sign-sub_binary64_1748`
76×	`unsub-neg_binary64_1777`
69×	`distribute-rgt-in_binary64_1733`
67×	`log-pow_binary64_1872`
62×	`associate-+l+_binary64_1716`
58×	`swap-sqr_binary64_1750` `associate-/r*_binary64_1727`
57×	`distribute-lft-in_binary64_1732`
54×	`neg-sub0_binary64_1778`
53×	`sqr-pow_binary64_1755` `associate-+r+_binary64_1715`
52×	`distribute-neg-in_binary64_1744`
50×	`associate--l+_binary64_1720`
48×	`exp-sum_binary64_1829`
47×	`difference-of-squares_binary64_1752`
46×	`unpow3_binary64_1849` `neg-mul-1_binary64_1779` `associate-+l-_binary64_1718`
45×	`associate-+r-_binary64_1717`
44×	`exp-prod_binary64_1835`
33×	`associate--r+_binary64_1719`
32×	`cube-mult_binary64_1813`
31×	`+-rgt-identity_binary64_1768`
30×	`unswap-sqr_binary64_1751`
29×	`log-rec_binary64_1871` `cube-div_binary64_1812`
26×	`*-rgt-identity_binary64_1773`
25×	`distribute-rgt-out_binary64_1736`
24×	`associate-*l/_binary64_1726`
22×	`pow-plus_binary64_1846` `distribute-neg-frac_binary64_1747` `distribute-rgt1-in_binary64_1739` `associate-*r/_binary64_1725`
21×	`log-div_binary64_1870` `exp-diff_binary64_1831`
20×	`sub0-neg_binary64_1770`
19×	`exp-neg_binary64_1830` `*-lft-identity_binary64_1772`
14×	`cube-unmult_binary64_1820` `distribute-lft-out_binary64_1734`
12×	`associate--r-_binary64_1722`
11×	`associate-/r/_binary64_1729`
10×	`pow-sqr_binary64_1756` `distribute-rgt-out--_binary64_1737`
9×	`exp-to-pow_binary64_1845`
8×	`div-sub_binary64_1788` `difference-of-sqr--1_binary64_1754`
6×	`/-rgt-identity_binary64_1774` `difference-of-sqr-1_binary64_1753` `associate-/l*_binary64_1728`
5×	`rem-exp-log_binary64_1823` `mul-1-neg_binary64_1775`
4×	`exp-lft-cube_binary64_1839` `--rgt-identity_binary64_1769` `distribute-neg-out_binary64_1745` `distribute-lft-out--_binary64_1735` `count-2_binary64_1731`
3×	`unpow1/3_binary64_1850` `prod-exp_binary64_1832` `rem-log-exp_binary64_1824` `rem-sqrt-square_binary64_1796` `remove-double-neg_binary64_1771` `distribute-frac-neg_binary64_1746`
2×	`unpow2_binary64_1848` `unpow-1_binary64_1840` `sqr-neg_binary64_1797` `remove-double-div_binary64_1759` `associate--l-_binary64_1721`
1×	`log-E_binary64_1873` `unpow1/2_binary64_1847` `unpow1_binary64_1841` `1-exp_binary64_1827` `exp-1-e_binary64_1826` `cube-neg_binary64_1810` `rem-3cbrt-lft_binary64_1808` `+-inverses_binary64_1762`
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` `pow-base-0_binary64_1867` `pow-base-1_binary64_1843` `unpow0_binary64_1842` `exp-lft-sqr_binary64_1838` `exp-cbrt_binary64_1837` `exp-sqrt_binary64_1836` `div-exp_binary64_1834` `rec-exp_binary64_1833` `e-exp-1_binary64_1828` `exp-0_binary64_1825` `rem-3cbrt-rft_binary64_1809` `rem-cbrt-cube_binary64_1807` `rem-cube-cbrt_binary64_1806` `sqr-abs_binary64_1798` `rem-square-sqrt_binary64_1795` `+-lft-identity_binary64_1767` `mul0-rgt_binary64_1766` `mul0-lft_binary64_1765` `div0_binary64_1764` `*-inverses_binary64_1763` `lft-mult-inverse_binary64_1761` `rgt-mult-inverse_binary64_1760` `distribute-lft1-in_binary64_1738` `associate-/l/_binary64_1730`

Counts

95 → 115

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	161	1616
1	355	1525
2	831	1504
3	2576	1490
4	4430	1461
5	4950	1461
6	4868	1461

prune218.0ms (4%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	115	0	115
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	115	6	121

Error

0.0b

Counts

121 → 6

Compiler

Compiled 3978 to 2974 computations (25.2% saved)

regimes209.0ms (3.8%)

Accuracy

Total 0.1b remaining (83.3%)

Threshold costs 0.1b (83.3%)

Compiler

Compiled 2126 to 1619 computations (23.8% saved)

bsearch3.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`+-commutative_binary64_1713`
7×	`*-commutative_binary64_1714`
6×	`sub-neg_binary64_1776`
4×	`neg-mul-1_binary64_1779` `neg-sub0_binary64_1778`
2×	`cancel-sign-sub-inv_binary64_1749` `distribute-rgt-neg-in_binary64_1741`
1×	`1-exp_binary64_1827` `distribute-lft-neg-out_binary64_1742` `distribute-lft-neg-in_binary64_1740`
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` `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` `tan-0_binary64_1912` `cos-0_binary64_1911` `sin-0_binary64_1910` `unpow1_binary64_1841` `e-exp-1_binary64_1828` `exp-1-e_binary64_1826` `exp-0_binary64_1825` `sqr-abs_binary64_1798` `sqr-neg_binary64_1797` `unsub-neg_binary64_1777` `mul-1-neg_binary64_1775` `/-rgt-identity_binary64_1774` `-rgt-identity_binary64_1773` `-lft-identity_binary64_1772` `remove-double-neg_binary64_1771` `sub0-neg_binary64_1770` `--rgt-identity_binary64_1769` `+-rgt-identity_binary64_1768` `+-lft-identity_binary64_1767` `cancel-sign-sub_binary64_1748` `distribute-neg-frac_binary64_1747` `distribute-frac-neg_binary64_1746` `distribute-neg-out_binary64_1745` `distribute-neg-in_binary64_1744` `distribute-rgt-neg-out_binary64_1743`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	40
1	35	40
2	47	40
3	55	40
4	60	40
5	61	40
6	60	40

end0.0ms (0%)

sample2.3s (41.2%)

Algorithm

1×

intervals

Results

860.0ms	2639×	body	1024	valid
216.0ms	1331×	body	512	valid
109.0ms	247×	body	2048	valid
103.0ms	3109×	body	128	valid
56.0ms	674×	body	256	valid

Compiler

Compiled 722 to 547 computations (24.2% saved)

Details

analyze3.0ms (0%)

sample51.0ms (0.9%)

simplify99.0ms (1.8%)

prune1.0ms (0%)

localize3.0ms (0.1%)

rewrite16.0ms (0.3%)

series41.0ms (0.7%)

simplify77.0ms (1.4%)

prune41.0ms (0.7%)

localize9.0ms (0.2%)

rewrite131.0ms (2.4%)

series161.0ms (2.9%)

simplify111.0ms (2%)

prune285.0ms (5.2%)

localize11.0ms (0.2%)

rewrite131.0ms (2.4%)

series343.0ms (6.2%)

simplify148.0ms (2.7%)

prune118.0ms (2.1%)

localize14.0ms (0.3%)

rewrite141.0ms (2.5%)

series739.0ms (13.4%)

simplify142.0ms (2.6%)

prune218.0ms (4%)

regimes209.0ms (3.8%)

bsearch3.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample2.3s (41.2%)

Profiling