Details

analyze226.0ms (11.6%)

Algorithm

1×	search
2×	egg-herbie

Rules

434×	`unswap-sqr_binary64_1751`
325×	`sqr-pow_binary64_1755`
312×	`exp-prod_binary64_1835`
277×	`*-commutative_binary64_1714`
255×	`associate-/l*_binary64_1728`
252×	`associate-l_binary64_1724`
231×	`swap-sqr_binary64_1750`
223×	`pow-sqr_binary64_1756`
199×	`associate-/r*_binary64_1727`
197×	`div-exp_binary64_1834`
190×	`distribute-neg-frac_binary64_1747`
177×	`times-frac_binary64_1789`
171×	`associate-/l/_binary64_1730` `associate-r_binary64_1723`
163×	`distribute-rgt-neg-in_binary64_1741`
160×	`div-sub_binary64_1788`
149×	`associate-/r/_binary64_1729`
117×	`cube-prod_binary64_1811`
103×	`distribute-rgt-in_binary64_1733`
96×	`distribute-lft-neg-in_binary64_1740`
77×	`unpow3_binary64_1849`
67×	`/-rgt-identity_binary64_1774`
64×	`associate-*r/_binary64_1725`
62×	`pow-plus_binary64_1846`
52×	`prod-exp_binary64_1832`
49×	`neg-mul-1_binary64_1779`
47×	`sub-neg_binary64_1776`
45×	`exp-sum_binary64_1829`
44×	`neg-sub0_binary64_1778`
43×	`exp-diff_binary64_1831`
40×	`distribute-neg-in_binary64_1744`
39×	`cube-mult_binary64_1813`
38×	`rem-sqrt-square_binary64_1796`
37×	`associate-*l/_binary64_1726`
34×	`cancel-sign-sub-inv_binary64_1749`
31×	`exp-sqrt_binary64_1836`
30×	`distribute-lft-in_binary64_1732`
29×	`*-lft-identity_binary64_1772`
27×	`cube-div_binary64_1812` `distribute-lft-neg-out_binary64_1742`
23×	`distribute-rgt-out_binary64_1736`
21×	`distribute-rgt-neg-out_binary64_1743`
19×	`associate-+l-_binary64_1718`
17×	`exp-lft-sqr_binary64_1838`
16×	`remove-double-div_binary64_1759`
15×	`remove-double-neg_binary64_1771` `associate--r+_binary64_1719`
13×	`unpow1/2_binary64_1847` `cube-unmult_binary64_1820` `unsub-neg_binary64_1777`
12×	`unpow1_binary64_1841` `rec-exp_binary64_1833`
11×	`+-rgt-identity_binary64_1768`
10×	`unpow2_binary64_1848` `distribute-frac-neg_binary64_1746`
7×	`*-rgt-identity_binary64_1773` `+-commutative_binary64_1713`
5×	`distribute-neg-out_binary64_1745`
4×	`distribute-lft-out_binary64_1734`
3×	`distribute-rgt-out--_binary64_1737`
2×	`unpow-1_binary64_1840` `rem-square-sqrt_binary64_1795`
1×	`exp-neg_binary64_1830` `1-exp_binary64_1827` `exp-1-e_binary64_1826` `sub0-neg_binary64_1770` `--rgt-identity_binary64_1769` `distribute-rgt1-in_binary64_1739` `associate--l-_binary64_1721` `associate-+r-_binary64_1717` `associate-+l+_binary64_1716` `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` `exp-to-pow_binary64_1845` `pow-base-1_binary64_1843` `unpow0_binary64_1842` `exp-lft-cube_binary64_1839` `exp-cbrt_binary64_1837` `e-exp-1_binary64_1828` `exp-0_binary64_1825` `rem-log-exp_binary64_1824` `rem-exp-log_binary64_1823` `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` `mul-1-neg_binary64_1775` `+-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` `difference-of-sqr--1_binary64_1754` `difference-of-sqr-1_binary64_1753` `difference-of-squares_binary64_1752` `cancel-sign-sub_binary64_1748` `distribute-lft1-in_binary64_1738` `distribute-lft-out--_binary64_1735` `count-2_binary64_1731` `associate--r-_binary64_1722` `associate--l+_binary64_1720`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	15	13
2	20	13
3	27	13
4	42	13
5	72	13
6	138	13
7	259	13
8	643	13
9	1835	13
10	2573	13
11	3150	13
12	4095	13
13	4757	13
14	4783	13
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
100%	0%	0%	2

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample14.0ms (0.7%)

Algorithm

1×

intervals

Results

7.0ms

256×

body

128

valid

Compiler

Compiled 17 to 16 computations (5.9% saved)

simplify94.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

434×	`unswap-sqr_binary64_1751`
325×	`sqr-pow_binary64_1755`
312×	`exp-prod_binary64_1835`
277×	`*-commutative_binary64_1714`
255×	`associate-/l*_binary64_1728`
252×	`associate-l_binary64_1724`
231×	`swap-sqr_binary64_1750`
223×	`pow-sqr_binary64_1756`
199×	`associate-/r*_binary64_1727`
197×	`div-exp_binary64_1834`
190×	`distribute-neg-frac_binary64_1747`
177×	`times-frac_binary64_1789`
171×	`associate-/l/_binary64_1730` `associate-r_binary64_1723`
163×	`distribute-rgt-neg-in_binary64_1741`
160×	`div-sub_binary64_1788`
149×	`associate-/r/_binary64_1729`
117×	`cube-prod_binary64_1811`
103×	`distribute-rgt-in_binary64_1733`
96×	`distribute-lft-neg-in_binary64_1740`
77×	`unpow3_binary64_1849`
67×	`/-rgt-identity_binary64_1774`
64×	`associate-*r/_binary64_1725`
62×	`pow-plus_binary64_1846`
52×	`prod-exp_binary64_1832`
49×	`neg-mul-1_binary64_1779`
47×	`sub-neg_binary64_1776`
45×	`exp-sum_binary64_1829`
44×	`neg-sub0_binary64_1778`
43×	`exp-diff_binary64_1831`
40×	`distribute-neg-in_binary64_1744`
39×	`cube-mult_binary64_1813`
38×	`rem-sqrt-square_binary64_1796`
37×	`associate-*l/_binary64_1726`
34×	`cancel-sign-sub-inv_binary64_1749`
31×	`exp-sqrt_binary64_1836`
30×	`distribute-lft-in_binary64_1732`
29×	`*-lft-identity_binary64_1772`
27×	`cube-div_binary64_1812` `distribute-lft-neg-out_binary64_1742`
23×	`distribute-rgt-out_binary64_1736`
21×	`distribute-rgt-neg-out_binary64_1743`
19×	`associate-+l-_binary64_1718`
17×	`exp-lft-sqr_binary64_1838`
16×	`remove-double-div_binary64_1759`
15×	`remove-double-neg_binary64_1771` `associate--r+_binary64_1719`
13×	`unpow1/2_binary64_1847` `cube-unmult_binary64_1820` `unsub-neg_binary64_1777`
12×	`unpow1_binary64_1841` `rec-exp_binary64_1833`
11×	`+-rgt-identity_binary64_1768`
10×	`unpow2_binary64_1848` `distribute-frac-neg_binary64_1746`
7×	`*-rgt-identity_binary64_1773` `+-commutative_binary64_1713`
5×	`distribute-neg-out_binary64_1745`
4×	`distribute-lft-out_binary64_1734`
3×	`distribute-rgt-out--_binary64_1737`
2×	`unpow-1_binary64_1840` `rem-square-sqrt_binary64_1795`
1×	`exp-neg_binary64_1830` `1-exp_binary64_1827` `exp-1-e_binary64_1826` `sub0-neg_binary64_1770` `--rgt-identity_binary64_1769` `distribute-rgt1-in_binary64_1739` `associate--l-_binary64_1721` `associate-+r-_binary64_1717` `associate-+l+_binary64_1716` `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` `exp-to-pow_binary64_1845` `pow-base-1_binary64_1843` `unpow0_binary64_1842` `exp-lft-cube_binary64_1839` `exp-cbrt_binary64_1837` `e-exp-1_binary64_1828` `exp-0_binary64_1825` `rem-log-exp_binary64_1824` `rem-exp-log_binary64_1823` `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` `mul-1-neg_binary64_1775` `+-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` `difference-of-sqr--1_binary64_1754` `difference-of-sqr-1_binary64_1753` `difference-of-squares_binary64_1752` `cancel-sign-sub_binary64_1748` `distribute-lft1-in_binary64_1738` `distribute-lft-out--_binary64_1735` `count-2_binary64_1731` `associate--r-_binary64_1722` `associate--l+_binary64_1720`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	15	13
2	20	13
3	27	13
4	42	13
5	72	13
6	138	13
7	259	13
8	643	13
9	1835	13
10	2573	13
11	3150	13
12	4095	13
13	4757	13
14	4783	13

prune2.0ms (0.1%)

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

0.0b

Counts

1 → 1

Compiler

Compiled 8 to 7 computations (12.5% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

rewrite49.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

19×	`*-un-lft-identity_binary64_1783`
15×	`times-frac_binary64_1789`
11×	`add-cube-cbrt_binary64_1818` `add-sqr-sqrt_binary64_1805`
5×	`associate-/r*_binary64_1727`
4×	`cosh-undef_binary64_1977` `distribute-lft-out_binary64_1734`
3×	`add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819` `associate-/l*_binary64_1728`
2×	`associate-/r/_binary64_1729`
1×	`pow1_binary64_1844` `div-exp_binary64_1834` `add-log-exp_binary64_1822` `cbrt-undiv_binary64_1817` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `div-inv_binary64_1780` `flip3-+_binary64_1786` `flip-+_binary64_1757`

Counts

1 → 37

Calls

1 calls:

11.0ms

(/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Compiler

Compiled 612 to 252 computations (58.8% saved)

series90.0ms (4.6%)

Error

0.0b

Counts

1 → 6

Calls

1 calls:

82.0ms

(/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Compiler

Compiled 131 to 115 computations (12.2% saved)

simplify74.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

691×	`unswap-sqr_binary64_1751`
454×	`associate-l_binary64_1724`
376×	`associate-r_binary64_1723`
205×	`distribute-rgt-in_binary64_1733`
203×	`cancel-sign-sub-inv_binary64_1749`
186×	`distribute-lft-in_binary64_1732`
175×	`associate-/r*_binary64_1727`
161×	`times-frac_binary64_1789`
150×	`sub-neg_binary64_1776`
123×	`associate-/l*_binary64_1728`
112×	`cube-prod_binary64_1811`
109×	`*-commutative_binary64_1714`
87×	`log-prod_binary64_1869`
75×	`exp-prod_binary64_1835`
73×	`sqr-pow_binary64_1755`
67×	`div-sub_binary64_1788`
66×	`associate-+l+_binary64_1716`
65×	`distribute-rgt-neg-in_binary64_1741`
63×	`distribute-lft-neg-in_binary64_1740`
62×	`associate-/l/_binary64_1730`
61×	`neg-mul-1_binary64_1779`
59×	`neg-sub0_binary64_1778`
55×	`associate-*l/_binary64_1726`
54×	`associate-+r+_binary64_1715`
52×	`associate-/r/_binary64_1729` `associate-+l-_binary64_1718`
46×	`difference-of-squares_binary64_1752`
44×	`prod-exp_binary64_1832` `associate-*r/_binary64_1725`
39×	`+-commutative_binary64_1713`
37×	`unsub-neg_binary64_1777`
34×	`distribute-rgt-out_binary64_1736`
29×	`div-exp_binary64_1834` `sub0-neg_binary64_1770`
28×	`log-div_binary64_1870` `distribute-lft-out_binary64_1734`
26×	`cube-div_binary64_1812`
23×	`*-rgt-identity_binary64_1773`
22×	`distribute-lft-out--_binary64_1735`
21×	`*-lft-identity_binary64_1772` `associate--l+_binary64_1720` `associate-+r-_binary64_1717`
19×	`distribute-rgt-out--_binary64_1737`
18×	`pow-sqr_binary64_1756`
17×	`associate--r+_binary64_1719`
16×	`+-rgt-identity_binary64_1768`
15×	`pow-plus_binary64_1846` `cube-unmult_binary64_1820`
13×	`exp-sum_binary64_1829`
12×	`swap-sqr_binary64_1750` `distribute-neg-in_binary64_1744`
11×	`unpow3_binary64_1849`
10×	`remove-double-neg_binary64_1771`
9×	`exp-diff_binary64_1831`
8×	`log-pow_binary64_1872`
7×	`rec-exp_binary64_1833` `/-rgt-identity_binary64_1774`
6×	`rem-log-exp_binary64_1824` `cube-mult_binary64_1813` `associate--l-_binary64_1721`
5×	`--rgt-identity_binary64_1769` `mul0-rgt_binary64_1766` `mul0-lft_binary64_1765` `distribute-neg-frac_binary64_1747` `distribute-lft-neg-out_binary64_1742` `associate--r-_binary64_1722`
4×	`distribute-rgt1-in_binary64_1739` `distribute-lft1-in_binary64_1738`
3×	`log-rec_binary64_1871` `distribute-neg-out_binary64_1745` `count-2_binary64_1731`
2×	`exp-neg_binary64_1830` `sqr-neg_binary64_1797` `rem-sqrt-square_binary64_1796` `distribute-rgt-neg-out_binary64_1743`
1×	`cosh-def_binary64_1969` `unpow2_binary64_1848` `unpow1/2_binary64_1847` `unpow1_binary64_1841` `exp-lft-sqr_binary64_1838` `1-exp_binary64_1827` `cube-neg_binary64_1810` `div0_binary64_1764` `rgt-mult-inverse_binary64_1760` `remove-double-div_binary64_1759`
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` `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-cbrt_binary64_1837` `exp-sqrt_binary64_1836` `e-exp-1_binary64_1828` `exp-1-e_binary64_1826` `exp-0_binary64_1825` `rem-exp-log_binary64_1823` `rem-3cbrt-rft_binary64_1809` `rem-3cbrt-lft_binary64_1808` `rem-cbrt-cube_binary64_1807` `rem-cube-cbrt_binary64_1806` `sqr-abs_binary64_1798` `rem-square-sqrt_binary64_1795` `mul-1-neg_binary64_1775` `+-lft-identity_binary64_1767` `*-inverses_binary64_1763` `+-inverses_binary64_1762` `lft-mult-inverse_binary64_1761` `difference-of-sqr--1_binary64_1754` `difference-of-sqr-1_binary64_1753` `cancel-sign-sub_binary64_1748` `distribute-frac-neg_binary64_1746`

Counts

43 → 22

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	94	839
1	191	780
2	409	778
3	903	778
4	3133	778
5	4876	778

prune20.0ms (1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	21	1	22
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	21	2	23

Error

Counts

23 → 2

Compiler

Compiled 258 to 140 computations (45.7% saved)

localize8.0ms (0.4%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (sqrt.f64 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
0.5b	(*.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))

rewrite187.0ms (9.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

66×	`*-un-lft-identity_binary64_1783`
64×	`times-frac_binary64_1789`
56×	`add-sqr-sqrt_binary64_1805`
41×	`sqrt-prod_binary64_1799`
40×	`add-cube-cbrt_binary64_1818`
36×	`associate-r_binary64_1723`
13×	`cosh-undef_binary64_1977` `distribute-lft-out_binary64_1734`
9×	`add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819`
6×	`unswap-sqr_binary64_1751` `associate-l_binary64_1724` `associate-/l*_binary64_1728`
5×	`associate-/r*_binary64_1727`
4×	`pow1_binary64_1844` `associate-/r/_binary64_1729`
2×	`div-exp_binary64_1834` `prod-exp_binary64_1832` `add-log-exp_binary64_1822` `cbrt-unprod_binary64_1816` `cbrt-undiv_binary64_1817` `div-inv_binary64_1780` `flip3-+_binary64_1786` `flip-+_binary64_1757`
1×	`pow-prod-down_binary64_1854` `associate-r/_binary64_1725` `-commutative_binary64_1714` `frac-2neg_binary64_1794` `clear-num_binary64_1782`

Counts

2 → 117

Calls

2 calls:

23.0ms	(*.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
8.0ms	(/.f64 (sqrt.f64 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Compiler

Compiled 2615 to 1444 computations (44.8% saved)

series272.0ms (14%)

Error

Counts

2 → 12

Calls

2 calls:

139.0ms	(*.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
119.0ms	(/.f64 (sqrt.f64 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Compiler

Compiled 488 to 451 computations (7.6% saved)

simplify176.0ms (9.1%)

Algorithm

1×	egg-herbie

Rules

397×	`associate-/l*_binary64_1728`
263×	`cancel-sign-sub-inv_binary64_1749`
240×	`associate-*l/_binary64_1726`
211×	`associate-/l/_binary64_1730`
195×	`associate-*r/_binary64_1725`
193×	`associate-+l+_binary64_1716`
179×	`div-sub_binary64_1788`
177×	`distribute-rgt-in_binary64_1733`
162×	`times-frac_binary64_1789` `*-commutative_binary64_1714`
161×	`distribute-lft-in_binary64_1732`
143×	`sub-neg_binary64_1776`
127×	`associate-+l-_binary64_1718`
118×	`distribute-rgt-neg-in_binary64_1741`
109×	`associate-r_binary64_1723`
105×	`associate-l_binary64_1724`
104×	`neg-mul-1_binary64_1779`
99×	`distribute-lft-neg-in_binary64_1740`
96×	`associate--l+_binary64_1720`
95×	`neg-sub0_binary64_1778`
94×	`associate-/r*_binary64_1727`
92×	`unswap-sqr_binary64_1751`
79×	`associate-/r/_binary64_1729`
75×	`*-lft-identity_binary64_1772`
64×	`*-rgt-identity_binary64_1773`
58×	`remove-double-div_binary64_1759`
55×	`exp-prod_binary64_1835` `sqr-pow_binary64_1755`
50×	`associate--r+_binary64_1719` `associate-+r-_binary64_1717`
47×	`log-prod_binary64_1869`
45×	`cube-prod_binary64_1811`
44×	`distribute-neg-frac_binary64_1747` `associate--l-_binary64_1721`
37×	`/-rgt-identity_binary64_1774`
36×	`log-div_binary64_1870`
34×	`distribute-lft-out_binary64_1734` `+-commutative_binary64_1713`
33×	`distribute-lft-out--_binary64_1735`
30×	`distribute-rgt-out--_binary64_1737`
27×	`cube-div_binary64_1812` `associate-+r+_binary64_1715`
25×	`unsub-neg_binary64_1777`
22×	`distribute-rgt-out_binary64_1736`
19×	`prod-exp_binary64_1832`
18×	`associate--r-_binary64_1722`
17×	`log-pow_binary64_1872` `unpow3_binary64_1849` `swap-sqr_binary64_1750` `distribute-neg-in_binary64_1744`
15×	`sub0-neg_binary64_1770` `+-rgt-identity_binary64_1768`
14×	`exp-sum_binary64_1829`
12×	`exp-diff_binary64_1831` `pow-sqr_binary64_1756`
11×	`log-rec_binary64_1871` `cube-unmult_binary64_1820`
10×	`cube-mult_binary64_1813`
8×	`distribute-lft-neg-out_binary64_1742`
7×	`pow-plus_binary64_1846` `rem-sqrt-square_binary64_1796` `distribute-neg-out_binary64_1745`
6×	`count-2_binary64_1731`
5×	`div-exp_binary64_1834`
4×	`unpow1/2_binary64_1847` `difference-of-squares_binary64_1752`
3×	`distribute-rgt-neg-out_binary64_1743` `distribute-rgt1-in_binary64_1739` `distribute-lft1-in_binary64_1738`
2×	`unpow2_binary64_1848` `unpow1_binary64_1841` `rec-exp_binary64_1833` `exp-neg_binary64_1830` `sqr-neg_binary64_1797` `rem-square-sqrt_binary64_1795`
1×	`cosh-def_binary64_1969` `1-exp_binary64_1827` `exp-1-e_binary64_1826` `cube-neg_binary64_1810` `remove-double-neg_binary64_1771` `--rgt-identity_binary64_1769` `mul0-rgt_binary64_1766` `mul0-lft_binary64_1765` `+-inverses_binary64_1762` `rgt-mult-inverse_binary64_1760`
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` `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` `e-exp-1_binary64_1828` `exp-0_binary64_1825` `rem-log-exp_binary64_1824` `rem-exp-log_binary64_1823` `rem-3cbrt-rft_binary64_1809` `rem-3cbrt-lft_binary64_1808` `rem-cbrt-cube_binary64_1807` `rem-cube-cbrt_binary64_1806` `sqr-abs_binary64_1798` `mul-1-neg_binary64_1775` `+-lft-identity_binary64_1767` `div0_binary64_1764` `*-inverses_binary64_1763` `lft-mult-inverse_binary64_1761` `difference-of-sqr--1_binary64_1754` `difference-of-sqr-1_binary64_1753` `cancel-sign-sub_binary64_1748` `distribute-frac-neg_binary64_1746`

Counts

129 → 92

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	164	2975
1	378	2682
2	1170	2644
3	2847	2620
4	4469	2620
5	4956	2620
6	4893	2620

prune101.0ms (5.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	92	2	94

Error

Counts

94 → 2

Compiler

Compiled 1587 to 829 computations (47.8% saved)

regimes65.0ms (3.4%)

Accuracy

Total 0.0b remaining (35.8%)

Threshold costs 0.0b (35.8%)

Compiler

Compiled 315 to 305 computations (3.2% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1× *-commutative_binary64_1714

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 1-exp_binary64_1827 exp-1-e_binary64_1826 exp-0_binary64_1825 sqr-abs_binary64_1798 sqr-neg_binary64_1797 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 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 +-commutative_binary64_1713

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	8	9
2	8	9

end0.0ms (0%)

sample557.0ms (28.6%)

Algorithm

1×

intervals

Results

226.0ms

8000×

body

128

valid

Compiler

Compiled 90 to 89 computations (1.1% saved)

Details

analyze226.0ms (11.6%)

sample14.0ms (0.7%)

simplify94.0ms (4.8%)

prune2.0ms (0.1%)

localize6.0ms (0.3%)

rewrite49.0ms (2.5%)

series90.0ms (4.6%)

simplify74.0ms (3.8%)

prune20.0ms (1%)

localize8.0ms (0.4%)

rewrite187.0ms (9.6%)

series272.0ms (14%)

simplify176.0ms (9.1%)

prune101.0ms (5.2%)

regimes65.0ms (3.4%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample557.0ms (28.6%)

Profiling