Details

analyze1.8s (2.4%)

Algorithm

1×	search
2×	egg-herbie

Rules

388×	`associate-+l+_binary64_1716`
318×	`exp-sum_binary64_1829`
296×	`associate-+r+_binary64_1715`
271×	`distribute-rgt-in_binary64_1733`
266×	`distribute-lft-in_binary64_1732`
224×	`associate-r_binary64_1723`
209×	`associate-l_binary64_1724`
206×	`associate-/r/_binary64_1729`
167×	`distribute-rgt-out_binary64_1736`
163×	`exp-diff_binary64_1831`
143×	`sub-neg_binary64_1776`
117×	`+-commutative_binary64_1713`
100×	`distribute-lft-out_binary64_1734`
93×	`distribute-neg-in_binary64_1744`
92×	`div-sub_binary64_1788`
86×	`*-commutative_binary64_1714`
57×	`associate-*r/_binary64_1725`
54×	`associate--l+_binary64_1720` `associate-+r-_binary64_1717`
51×	`associate-*l/_binary64_1726` `associate--l-_binary64_1721`
48×	`associate-+l-_binary64_1718`
36×	`associate--r+_binary64_1719`
32×	`associate-/l/_binary64_1730`
30×	`exp-prod_binary64_1835`
24×	`*-rgt-identity_binary64_1773`
22×	`*-lft-identity_binary64_1772`
21×	`associate-/r*_binary64_1727`
19×	`neg-mul-1_binary64_1779` `neg-sub0_binary64_1778`
15×	`associate--r-_binary64_1722`
12×	`times-frac_binary64_1789` `associate-/l*_binary64_1728`
11×	`sqr-pow_binary64_1755`
9×	`unswap-sqr_binary64_1751`
8×	`rec-exp_binary64_1833` `cancel-sign-sub-inv_binary64_1749`
6×	`pow-sqr_binary64_1756`
4×	`div-exp_binary64_1834` `unsub-neg_binary64_1777`
3×	`--rgt-identity_binary64_1769`
2×	`remove-double-neg_binary64_1771` `distribute-lft-neg-in_binary64_1740`
1×	`unpow3_binary64_1849` `exp-neg_binary64_1830` `1-exp_binary64_1827` `exp-1-e_binary64_1826` `cube-unmult_binary64_1820` `/-rgt-identity_binary64_1774` `sub0-neg_binary64_1770` `+-rgt-identity_binary64_1768` `distribute-lft-neg-out_binary64_1742` `distribute-rgt-neg-in_binary64_1741` `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` `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` `prod-exp_binary64_1832` `e-exp-1_binary64_1828` `exp-0_binary64_1825` `rem-log-exp_binary64_1824` `rem-exp-log_binary64_1823` `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` `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` `remove-double-div_binary64_1759` `difference-of-sqr--1_binary64_1754` `difference-of-sqr-1_binary64_1753` `difference-of-squares_binary64_1752` `swap-sqr_binary64_1750` `cancel-sign-sub_binary64_1748` `distribute-neg-frac_binary64_1747` `distribute-frac-neg_binary64_1746` `distribute-neg-out_binary64_1745` `distribute-rgt-neg-out_binary64_1743` `distribute-lft1-in_binary64_1738` `distribute-rgt-out--_binary64_1737` `distribute-lft-out--_binary64_1735` `count-2_binary64_1731`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	61	156
1	160	147
2	604	119
3	3400	115
4	4793	115
5	4804	115
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	74.9%	25.1%	0
0%	74.9%	25.1%	1
0%	74.9%	25.1%	2
18.7%	56.2%	25.1%	3
37.5%	37.5%	25.1%	4
42.1%	32.8%	25.1%	5
46.8%	28.1%	25.1%	6
48%	26.9%	25.1%	7
49.2%	25.8%	25.1%	8
49.5%	25.5%	25.1%	9
49.8%	25.2%	25.1%	10
49.8%	25.2%	25.1%	11
49.8%	25.1%	25.1%	12
49.9%	25%	25.1%	13
49.9%	25%	25.1%	14

Compiler

Compiled 126 to 112 computations (11.1% saved)

sample1.3s (1.7%)

Algorithm

1×

intervals

Results

1.1s	105×	body	8192	exit
72.0ms	256×	body	128	valid
6.0ms	362×	pre	128	true
0.0ms	1×	body	128	invalid

Compiler

Compiled 249 to 223 computations (10.4% saved)

simplify57.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

388×	`associate-+l+_binary64_1716`
318×	`exp-sum_binary64_1829`
296×	`associate-+r+_binary64_1715`
271×	`distribute-rgt-in_binary64_1733`
266×	`distribute-lft-in_binary64_1732`
224×	`associate-r_binary64_1723`
209×	`associate-l_binary64_1724`
206×	`associate-/r/_binary64_1729`
167×	`distribute-rgt-out_binary64_1736`
163×	`exp-diff_binary64_1831`
143×	`sub-neg_binary64_1776`
117×	`+-commutative_binary64_1713`
100×	`distribute-lft-out_binary64_1734`
93×	`distribute-neg-in_binary64_1744`
92×	`div-sub_binary64_1788`
86×	`*-commutative_binary64_1714`
57×	`associate-*r/_binary64_1725`
54×	`associate--l+_binary64_1720` `associate-+r-_binary64_1717`
51×	`associate-*l/_binary64_1726` `associate--l-_binary64_1721`
48×	`associate-+l-_binary64_1718`
36×	`associate--r+_binary64_1719`
32×	`associate-/l/_binary64_1730`
30×	`exp-prod_binary64_1835`
24×	`*-rgt-identity_binary64_1773`
22×	`*-lft-identity_binary64_1772`
21×	`associate-/r*_binary64_1727`
19×	`neg-mul-1_binary64_1779` `neg-sub0_binary64_1778`
15×	`associate--r-_binary64_1722`
12×	`times-frac_binary64_1789` `associate-/l*_binary64_1728`
11×	`sqr-pow_binary64_1755`
9×	`unswap-sqr_binary64_1751`
8×	`rec-exp_binary64_1833` `cancel-sign-sub-inv_binary64_1749`
6×	`pow-sqr_binary64_1756`
4×	`div-exp_binary64_1834` `unsub-neg_binary64_1777`
3×	`--rgt-identity_binary64_1769`
2×	`remove-double-neg_binary64_1771` `distribute-lft-neg-in_binary64_1740`
1×	`unpow3_binary64_1849` `exp-neg_binary64_1830` `1-exp_binary64_1827` `exp-1-e_binary64_1826` `cube-unmult_binary64_1820` `/-rgt-identity_binary64_1774` `sub0-neg_binary64_1770` `+-rgt-identity_binary64_1768` `distribute-lft-neg-out_binary64_1742` `distribute-rgt-neg-in_binary64_1741` `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` `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` `prod-exp_binary64_1832` `e-exp-1_binary64_1828` `exp-0_binary64_1825` `rem-log-exp_binary64_1824` `rem-exp-log_binary64_1823` `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` `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` `remove-double-div_binary64_1759` `difference-of-sqr--1_binary64_1754` `difference-of-sqr-1_binary64_1753` `difference-of-squares_binary64_1752` `swap-sqr_binary64_1750` `cancel-sign-sub_binary64_1748` `distribute-neg-frac_binary64_1747` `distribute-frac-neg_binary64_1746` `distribute-neg-out_binary64_1745` `distribute-rgt-neg-out_binary64_1743` `distribute-lft1-in_binary64_1738` `distribute-rgt-out--_binary64_1737` `distribute-lft-out--_binary64_1735` `count-2_binary64_1731`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	61	156
1	160	147
2	604	119
3	3400	115
4	4793	115
5	4804	115

prune18.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

1.8b

Counts

2 → 2

Compiler

Compiled 271 to 232 computations (14.4% saved)

localize54.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.0b	(+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z)))
1.0b	(+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z)))
1.0b	(sqrt.f64 (*.f64 PI.f64 2))
2.6b	(+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))

rewrite630.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

32×	`add-log-exp_binary64_1822` `*-un-lft-identity_binary64_1783`
20×	`frac-add_binary64_1791`
19×	`sum-log_binary64_1874` `distribute-lft-out_binary64_1734`
9×	`flip3-+_binary64_1786` `flip-+_binary64_1757`
7×	`pow1_binary64_1844`
4×	`add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819` `add-cube-cbrt_binary64_1818` `add-sqr-sqrt_binary64_1805`
3×	`associate-+l+_binary64_1716` `+-commutative_binary64_1713`
2×	`sqrt-pow1_binary64_1801`
1×	`pow1/2_binary64_1863` `pow-prod-down_binary64_1854` `sqrt-prod_binary64_1799`

Counts

4 → 74

Calls

4 calls:

52.0ms	(+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z)))
34.0ms	(+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z)))
26.0ms	(+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))
2.0ms	(sqrt.f64 (*.f64 PI.f64 2))

Compiler

Compiled 7176 to 5614 computations (21.8% saved)

series303.0ms (0.4%)

Error

1.1b

Counts

4 → 26

Calls

4 calls:

94.0ms	(+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z)))
73.0ms	(+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z)))
48.0ms	(+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))
0.0ms	(sqrt.f64 (*.f64 PI.f64 2))

Compiler

Compiled 3488 to 2743 computations (21.4% saved)

simplify112.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

618×	`associate-+l+_binary64_1716`
390×	`associate-l_binary64_1724`
389×	`associate-r_binary64_1723`
163×	`distribute-rgt-in_binary64_1733`
148×	`associate-*r/_binary64_1725`
147×	`distribute-lft-in_binary64_1732`
140×	`associate-*l/_binary64_1726`
115×	`associate--r+_binary64_1719`
104×	`*-commutative_binary64_1714`
87×	`associate--l+_binary64_1720`
81×	`+-commutative_binary64_1713`
73×	`sub-neg_binary64_1776`
52×	`distribute-lft-neg-out_binary64_1742`
48×	`associate-/l*_binary64_1728`
45×	`associate-+r-_binary64_1717`
44×	`associate-+r+_binary64_1715`
42×	`associate-+l-_binary64_1718`
40×	`distribute-neg-in_binary64_1744`
38×	`distribute-rgt-neg-out_binary64_1743`
37×	`sqr-pow_binary64_1755` `associate-/r*_binary64_1727`
36×	`cancel-sign-sub-inv_binary64_1749`
34×	`distribute-neg-frac_binary64_1747`
31×	`distribute-rgt-neg-in_binary64_1741`
29×	`distribute-rgt-out_binary64_1736`
28×	`neg-mul-1_binary64_1779` `neg-sub0_binary64_1778`
22×	`prod-exp_binary64_1832`
18×	`distribute-lft-out_binary64_1734`
17×	`unsub-neg_binary64_1777` `distribute-lft-neg-in_binary64_1740`
12×	`unpow3_binary64_1849` `cube-mult_binary64_1813`
11×	`associate-/r/_binary64_1729`
8×	`div-sub_binary64_1788` `associate-/l/_binary64_1730`
7×	`distribute-rgt-out--_binary64_1737`
6×	`exp-sum_binary64_1829`
4×	`cube-div_binary64_1812`
3×	`difference-of-squares_binary64_1752`
2×	`cube-unmult_binary64_1820` `unswap-sqr_binary64_1751`
1×	`unpow2_binary64_1848` `unpow1/2_binary64_1847` `unpow1_binary64_1841` `1-exp_binary64_1827` `cube-prod_binary64_1811` `rem-sqrt-square_binary64_1796` `rem-square-sqrt_binary64_1795`
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` `pow-plus_binary64_1846` `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` `exp-diff_binary64_1831` `exp-neg_binary64_1830` `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-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` `times-frac_binary64_1789` `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` `difference-of-sqr--1_binary64_1754` `difference-of-sqr-1_binary64_1753` `swap-sqr_binary64_1750` `cancel-sign-sub_binary64_1748` `distribute-frac-neg_binary64_1746` `distribute-neg-out_binary64_1745` `distribute-rgt1-in_binary64_1739` `distribute-lft1-in_binary64_1738` `distribute-lft-out--_binary64_1735` `count-2_binary64_1731` `associate--r-_binary64_1722` `associate--l-_binary64_1721`

Counts

100 → 75

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	214	3933
1	567	3827
2	1909	3632
3	5022	3632

prune454.0ms (0.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	69	6	75
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	71	6	77

Error

0.3b

Counts

77 → 6

Compiler

Compiled 7283 to 5651 computations (22.4% saved)

localize87.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.0b	(.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (.f64 (-.f64 2 z) (.f64 (-.f64 3 z) -6214088902520669/35184372088832)))
1.0b	(.f64 (+.f64 (.f64 (-.f64 2 z) (+.f64 178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))) (.f64 -5537752839100187/4398046511104 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))) (-.f64 3 z))
1.0b	(sqrt.f64 (*.f64 PI.f64 2))
2.6b	(+.f64 (.f64 (-.f64 2 z) (+.f64 178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))) (.f64 -5537752839100187/4398046511104 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312)))))

rewrite5.2s (6.8%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

96×	`associate-*r/_binary64_1725` `frac-times_binary64_1793`
69×	`flip3-+_binary64_1786` `flip-+_binary64_1757`
64×	`frac-add_binary64_1791`
61×	`flip3--_binary64_1787` `flip--_binary64_1758`
60×	`associate-*l/_binary64_1726`
18×	`pow1_binary64_1844`
15×	`add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819`
13×	`add-sqr-sqrt_binary64_1805`
11×	`*-un-lft-identity_binary64_1783`
9×	`add-cube-cbrt_binary64_1818`
8×	`pow-prod-down_binary64_1854`
7×	`prod-exp_binary64_1832` `cbrt-unprod_binary64_1816`
6×	`add-log-exp_binary64_1822` `distribute-rgt-in_binary64_1733` `distribute-lft-in_binary64_1732` `cancel-sign-sub-inv_binary64_1749` `associate-l_binary64_1724` `associate-r_binary64_1723`
2×	`associate-+l+_binary64_1716` `associate-+r+_binary64_1715` `sqrt-pow1_binary64_1801` `sub-neg_binary64_1776` `*-commutative_binary64_1714`
1×	`sum-log_binary64_1874` `+-commutative_binary64_1713` `pow1/2_binary64_1863` `sqrt-prod_binary64_1799` `unswap-sqr_binary64_1751` `difference-of-squares_binary64_1752` `distribute-lft-out--_binary64_1735`

Counts

4 → 173

Calls

4 calls:

39.0ms	(.f64 (+.f64 (.f64 (-.f64 2 z) (+.f64 178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))) (.f64 -5537752839100187/4398046511104 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))) (-.f64 3 z))
31.0ms	(+.f64 (.f64 (-.f64 2 z) (+.f64 178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))) (.f64 -5537752839100187/4398046511104 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312)))))
22.0ms	(.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (.f64 (-.f64 2 z) (.f64 (-.f64 3 z) -6214088902520669/35184372088832)))
2.0ms	(sqrt.f64 (*.f64 PI.f64 2))

Compiler

Compiled 39970 to 32744 computations (18.1% saved)

series424.0ms (0.6%)

Error

0.3b

Counts

4 → 18

Calls

4 calls:

105.0ms	(.f64 (+.f64 (.f64 (-.f64 2 z) (+.f64 178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))) (.f64 -5537752839100187/4398046511104 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))) (-.f64 3 z))
98.0ms	(+.f64 (.f64 (-.f64 2 z) (+.f64 178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))) (.f64 -5537752839100187/4398046511104 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312)))))
91.0ms	(.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (.f64 (-.f64 2 z) (.f64 (-.f64 3 z) -6214088902520669/35184372088832)))
0.0ms	(sqrt.f64 (*.f64 PI.f64 2))

Compiler

Compiled 5926 to 4831 computations (18.5% saved)

simplify573.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

401×	`+-commutative_binary64_1713`
285×	`times-frac_binary64_1789`
258×	`*-commutative_binary64_1714`
212×	`sub-neg_binary64_1776`
170×	`associate-+l+_binary64_1716`
146×	`associate-*l/_binary64_1726`
144×	`associate-+r+_binary64_1715`
139×	`associate-*r/_binary64_1725`
110×	`neg-mul-1_binary64_1779`
109×	`neg-sub0_binary64_1778`
91×	`associate-l_binary64_1724`
85×	`distribute-rgt-in_binary64_1733` `associate-r_binary64_1723`
84×	`distribute-lft-in_binary64_1732`
82×	`exp-sum_binary64_1829`
71×	`distribute-rgt-neg-in_binary64_1741`
70×	`cancel-sign-sub-inv_binary64_1749`
68×	`div-sub_binary64_1788`
64×	`distribute-lft-neg-in_binary64_1740`
57×	`sqr-pow_binary64_1755`
56×	`exp-prod_binary64_1835`
55×	`distribute-neg-in_binary64_1744`
51×	`associate-/r*_binary64_1727`
50×	`unsub-neg_binary64_1777`
42×	`associate--r+_binary64_1719`
41×	`associate-/l*_binary64_1728`
36×	`cube-prod_binary64_1811` `associate-+l-_binary64_1718`
27×	`unpow3_binary64_1849`
25×	`distribute-neg-frac_binary64_1747` `associate--l+_binary64_1720`
24×	`swap-sqr_binary64_1750`
23×	`cube-div_binary64_1812` `associate-+r-_binary64_1717`
21×	`cube-mult_binary64_1813` `distribute-lft-neg-out_binary64_1742`
15×	`unswap-sqr_binary64_1751`
12×	`distribute-rgt-neg-out_binary64_1743`
11×	`cube-unmult_binary64_1820`
10×	`log-prod_binary64_1869`
8×	`distribute-rgt-out--_binary64_1737` `distribute-rgt-out_binary64_1736`
7×	`exp-diff_binary64_1831`
6×	`pow-sqr_binary64_1756` `distribute-neg-out_binary64_1745`
5×	`associate--l-_binary64_1721`
2×	`unpow1/2_binary64_1847` `rem-sqrt-square_binary64_1796` `rem-square-sqrt_binary64_1795` `+-rgt-identity_binary64_1768`
1×	`unpow2_binary64_1848` `pow-plus_binary64_1846` `unpow1_binary64_1841` `prod-exp_binary64_1832` `exp-neg_binary64_1830` `1-exp_binary64_1827` `exp-1-e_binary64_1826` `rem-3cbrt-rft_binary64_1809` `rem-3cbrt-lft_binary64_1808` `*-rgt-identity_binary64_1773` `difference-of-squares_binary64_1752` `distribute-lft-out--_binary64_1735` `distribute-lft-out_binary64_1734`
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` `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` `e-exp-1_binary64_1828` `exp-0_binary64_1825` `rem-log-exp_binary64_1824` `rem-exp-log_binary64_1823` `cube-neg_binary64_1810` `rem-cbrt-cube_binary64_1807` `rem-cube-cbrt_binary64_1806` `sqr-abs_binary64_1798` `sqr-neg_binary64_1797` `mul-1-neg_binary64_1775` `/-rgt-identity_binary64_1774` `-lft-identity_binary64_1772` `remove-double-neg_binary64_1771` `sub0-neg_binary64_1770` `--rgt-identity_binary64_1769` `+-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` `difference-of-sqr--1_binary64_1754` `difference-of-sqr-1_binary64_1753` `cancel-sign-sub_binary64_1748` `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--r-_binary64_1722`

Counts

191 → 167

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	466	18648
1	1674	17921
2	2481	17581
3	4074	17581
4	4903	17581

prune4.2s (5.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	165	2	167
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	166	7	173

Error

0.2b

Counts

173 → 7

Compiler

Compiled 36171 to 29450 computations (18.6% saved)

localize69.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.0b	(+.f64 (/.f64 (-.f64 (.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 30666706506962181608371823434969/19342813113834066795298816 (.f64 (-.f64 2 z) (-.f64 2 z)))) (-.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z)))
1.0b	(+.f64 (+.f64 (/.f64 (-.f64 (.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 30666706506962181608371823434969/19342813113834066795298816 (.f64 (-.f64 2 z) (-.f64 2 z)))) (-.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z)))
1.0b	(sqrt.f64 (*.f64 PI.f64 2))
3.1b	(-.f64 (.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 30666706506962181608371823434969/19342813113834066795298816 (.f64 (-.f64 2 z) (-.f64 2 z))))

rewrite1.3s (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

142×	`*-un-lft-identity_binary64_1783`
52×	`times-frac_binary64_1789`
40×	`distribute-lft-out_binary64_1734`
27×	`distribute-lft-out--_binary64_1735`
15×	`cancel-sign-sub-inv_binary64_1749`
13×	`add-log-exp_binary64_1822`
9×	`flip3-+_binary64_1786` `flip-+_binary64_1757`
8×	`add-sqr-sqrt_binary64_1805` `frac-times_binary64_1793` `frac-sub_binary64_1792` `associate-/r/_binary64_1729`
7×	`pow1_binary64_1844` `flip3--_binary64_1787` `flip--_binary64_1758`
6×	`add-cube-cbrt_binary64_1818`
5×	`frac-add_binary64_1791`
4×	`add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819` `associate-l/_binary64_1726` `associate-r/_binary64_1725` `sum-log_binary64_1874`
3×	`associate-+l-_binary64_1718`
2×	`difference-of-squares_binary64_1752` `associate--l+_binary64_1720` `sqrt-pow1_binary64_1801` `div-sub_binary64_1788` `+-commutative_binary64_1713`
1×	`diff-log_binary64_1875` `sub-neg_binary64_1776` `div-inv_binary64_1780` `distribute-rgt-in_binary64_1733` `distribute-lft-in_binary64_1732` `pow1/2_binary64_1863` `pow-prod-down_binary64_1854` `sqrt-prod_binary64_1799` `associate-+l+_binary64_1716`

Counts

4 → 100

Calls

4 calls:

120.0ms	(+.f64 (+.f64 (/.f64 (-.f64 (.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 30666706506962181608371823434969/19342813113834066795298816 (.f64 (-.f64 2 z) (-.f64 2 z)))) (-.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z)))
100.0ms	(+.f64 (/.f64 (-.f64 (.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 30666706506962181608371823434969/19342813113834066795298816 (.f64 (-.f64 2 z) (-.f64 2 z)))) (-.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z)))
33.0ms	(-.f64 (.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 30666706506962181608371823434969/19342813113834066795298816 (.f64 (-.f64 2 z) (-.f64 2 z))))
2.0ms	(sqrt.f64 (*.f64 PI.f64 2))

Compiler

Compiled 12708 to 10118 computations (20.4% saved)

series477.0ms (0.6%)

Error

0.2b

Counts

4 → 26

Calls

4 calls:

186.0ms	(+.f64 (+.f64 (/.f64 (-.f64 (.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 30666706506962181608371823434969/19342813113834066795298816 (.f64 (-.f64 2 z) (-.f64 2 z)))) (-.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z)))
137.0ms	(+.f64 (/.f64 (-.f64 (.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 30666706506962181608371823434969/19342813113834066795298816 (.f64 (-.f64 2 z) (-.f64 2 z)))) (-.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z)))
69.0ms	(-.f64 (.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 30666706506962181608371823434969/19342813113834066795298816 (.f64 (-.f64 2 z) (-.f64 2 z))))
0.0ms	(sqrt.f64 (*.f64 PI.f64 2))

Compiler

Compiled 3684 to 2911 computations (21% saved)

simplify237.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

270×	`distribute-rgt-in_binary64_1733`
257×	`distribute-lft-in_binary64_1732`
196×	`*-commutative_binary64_1714`
193×	`associate-/l*_binary64_1728`
169×	`distribute-lft-neg-out_binary64_1742`
145×	`distribute-rgt-neg-out_binary64_1743`
141×	`associate-/r*_binary64_1727`
129×	`sub-neg_binary64_1776`
109×	`distribute-rgt-neg-in_binary64_1741` `associate-l_binary64_1724`
104×	`associate-r_binary64_1723`
97×	`neg-sub0_binary64_1778`
96×	`distribute-neg-frac_binary64_1747` `+-commutative_binary64_1713`
93×	`associate-*l/_binary64_1726`
90×	`associate-*r/_binary64_1725`
89×	`cancel-sign-sub-inv_binary64_1749`
88×	`neg-mul-1_binary64_1779` `distribute-neg-in_binary64_1744`
81×	`times-frac_binary64_1789`
76×	`distribute-lft-neg-in_binary64_1740`
66×	`exp-prod_binary64_1835`
48×	`associate-+l+_binary64_1716`
47×	`sqr-pow_binary64_1755`
44×	`associate-+r+_binary64_1715`
38×	`distribute-rgt-out_binary64_1736`
31×	`unsub-neg_binary64_1777`
28×	`div-sub_binary64_1788`
27×	`associate-/l/_binary64_1730`
22×	`associate-/r/_binary64_1729`
20×	`unpow3_binary64_1849`
19×	`unswap-sqr_binary64_1751` `associate--l+_binary64_1720`
18×	`distribute-lft-out_binary64_1734`
17×	`exp-sum_binary64_1829`
15×	`cube-mult_binary64_1813`
9×	`difference-of-squares_binary64_1752` `swap-sqr_binary64_1750` `distribute-neg-out_binary64_1745`
8×	`exp-diff_binary64_1831` `cube-div_binary64_1812` `associate-+l-_binary64_1718` `associate-+r-_binary64_1717`
7×	`distribute-frac-neg_binary64_1746`
6×	`cube-prod_binary64_1811` `distribute-rgt-out--_binary64_1737`
5×	`pow-plus_binary64_1846` `prod-exp_binary64_1832`
4×	`cube-unmult_binary64_1820` `pow-sqr_binary64_1756`
3×	`associate--r-_binary64_1722` `associate--r+_binary64_1719`
2×	`rem-sqrt-square_binary64_1796` `rem-square-sqrt_binary64_1795` `remove-double-neg_binary64_1771` `--rgt-identity_binary64_1769` `+-rgt-identity_binary64_1768` `associate--l-_binary64_1721`
1×	`log-prod_binary64_1869` `unpow2_binary64_1848` `unpow1/2_binary64_1847` `unpow1_binary64_1841` `div-exp_binary64_1834` `1-exp_binary64_1827` `rem-3cbrt-lft_binary64_1808` `sqr-neg_binary64_1797` `*-lft-identity_binary64_1772`
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` `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` `rec-exp_binary64_1833` `exp-neg_binary64_1830` `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-neg_binary64_1810` `rem-3cbrt-rft_binary64_1809` `rem-cbrt-cube_binary64_1807` `rem-cube-cbrt_binary64_1806` `sqr-abs_binary64_1798` `mul-1-neg_binary64_1775` `/-rgt-identity_binary64_1774` `-rgt-identity_binary64_1773` `sub0-neg_binary64_1770` `+-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` `difference-of-sqr--1_binary64_1754` `difference-of-sqr-1_binary64_1753` `cancel-sign-sub_binary64_1748` `distribute-rgt1-in_binary64_1739` `distribute-lft1-in_binary64_1738` `distribute-lft-out--_binary64_1735` `count-2_binary64_1731`

Counts

126 → 98

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	307	7648
1	892	7326
2	3033	6975
3	4982	6975
4	4925	6975

prune962.0ms (1.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	96	2	98
Fresh	2	3	5
Picked	0	1	1
Done	1	0	1
Total	99	6	105

Error

0.2b

Counts

105 → 6

Compiler

Compiled 11620 to 9170 computations (21.1% saved)

localize69.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.0b	(+.f64 (/.f64 -6214088902520669/35184372088832 (-.f64 4 z)) (+.f64 (/.f64 (-.f64 (.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 30666706506962181608371823434969/19342813113834066795298816 (.f64 (-.f64 2 z) (-.f64 2 z)))) (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 5537752839100187/4398046511104 (-.f64 2 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))))
1.0b	(exp.f64 (log.f64 (+.f64 (/.f64 -6214088902520669/35184372088832 (-.f64 4 z)) (+.f64 (/.f64 (-.f64 (.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 30666706506962181608371823434969/19342813113834066795298816 (.f64 (-.f64 2 z) (-.f64 2 z)))) (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 5537752839100187/4398046511104 (-.f64 2 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))))))
1.0b	(sqrt.f64 (*.f64 PI.f64 2))
3.1b	(-.f64 (.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 30666706506962181608371823434969/19342813113834066795298816 (.f64 (-.f64 2 z) (-.f64 2 z))))

rewrite1.6s (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

210×	`*-un-lft-identity_binary64_1783`
78×	`distribute-lft-out_binary64_1734`
76×	`times-frac_binary64_1789`
24×	`distribute-lft-out--_binary64_1735`
17×	`log-prod_binary64_1869` `exp-sum_binary64_1829`
15×	`cancel-sign-sub-inv_binary64_1749`
11×	`add-log-exp_binary64_1822`
10×	`add-sqr-sqrt_binary64_1805` `flip3-+_binary64_1786` `flip-+_binary64_1757`
8×	`pow1_binary64_1844` `add-cube-cbrt_binary64_1818` `frac-times_binary64_1793` `frac-sub_binary64_1792` `associate-/r/_binary64_1729` `frac-add_binary64_1791`
7×	`flip3--_binary64_1787` `flip--_binary64_1758`
5×	`log-div_binary64_1870` `exp-diff_binary64_1831`
4×	`add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819` `associate-l/_binary64_1726` `associate-r/_binary64_1725` `exp-prod_binary64_1835`
3×	`sum-log_binary64_1874`
2×	`difference-of-squares_binary64_1752` `associate--l+_binary64_1720` `sqrt-pow1_binary64_1801`
1×	`diff-log_binary64_1875` `sub-neg_binary64_1776` `div-inv_binary64_1780` `distribute-rgt-in_binary64_1733` `distribute-lft-in_binary64_1732` `pow1/2_binary64_1863` `pow-prod-down_binary64_1854` `sqrt-prod_binary64_1799` `log-pow_binary64_1872` `rem-exp-log_binary64_1823` `div-sub_binary64_1788` `associate-+l-_binary64_1718` `associate-+r-_binary64_1717` `associate-+r+_binary64_1715` `+-commutative_binary64_1713`

Counts

4 → 114

Calls

4 calls:

111.0ms	(exp.f64 (log.f64 (+.f64 (/.f64 -6214088902520669/35184372088832 (-.f64 4 z)) (+.f64 (/.f64 (-.f64 (.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 30666706506962181608371823434969/19342813113834066795298816 (.f64 (-.f64 2 z) (-.f64 2 z)))) (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 5537752839100187/4398046511104 (-.f64 2 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))))))
109.0ms	(+.f64 (/.f64 -6214088902520669/35184372088832 (-.f64 4 z)) (+.f64 (/.f64 (-.f64 (.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 30666706506962181608371823434969/19342813113834066795298816 (.f64 (-.f64 2 z) (-.f64 2 z)))) (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 5537752839100187/4398046511104 (-.f64 2 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))))
34.0ms	(-.f64 (.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 30666706506962181608371823434969/19342813113834066795298816 (.f64 (-.f64 2 z) (-.f64 2 z))))
2.0ms	(sqrt.f64 (*.f64 PI.f64 2))

Compiler

Compiled 15236 to 12213 computations (19.8% saved)

series578.0ms (0.8%)

Error

0.2b

Counts

4 → 30

Calls

4 calls:

224.0ms	(exp.f64 (log.f64 (+.f64 (/.f64 -6214088902520669/35184372088832 (-.f64 4 z)) (+.f64 (/.f64 (-.f64 (.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 30666706506962181608371823434969/19342813113834066795298816 (.f64 (-.f64 2 z) (-.f64 2 z)))) (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 5537752839100187/4398046511104 (-.f64 2 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))))))
183.0ms	(+.f64 (/.f64 -6214088902520669/35184372088832 (-.f64 4 z)) (+.f64 (/.f64 (-.f64 (.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 30666706506962181608371823434969/19342813113834066795298816 (.f64 (-.f64 2 z) (-.f64 2 z)))) (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 5537752839100187/4398046511104 (-.f64 2 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))))
65.0ms	(-.f64 (.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 30666706506962181608371823434969/19342813113834066795298816 (.f64 (-.f64 2 z) (-.f64 2 z))))
0.0ms	(sqrt.f64 (*.f64 PI.f64 2))

Compiler

Compiled 4212 to 3367 computations (20.1% saved)

simplify233.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

288×	`distribute-rgt-in_binary64_1733`
275×	`distribute-lft-in_binary64_1732`
206×	`*-commutative_binary64_1714`
204×	`associate-/l*_binary64_1728`
175×	`distribute-lft-neg-out_binary64_1742`
152×	`distribute-rgt-neg-out_binary64_1743`
128×	`sub-neg_binary64_1776`
125×	`associate-l_binary64_1724`
121×	`associate-r_binary64_1723`
108×	`distribute-rgt-neg-in_binary64_1741`
102×	`distribute-neg-frac_binary64_1747`
100×	`cancel-sign-sub-inv_binary64_1749` `associate-*l/_binary64_1726`
98×	`neg-sub0_binary64_1778` `associate-*r/_binary64_1725`
97×	`distribute-neg-in_binary64_1744`
95×	`+-commutative_binary64_1713`
93×	`times-frac_binary64_1789`
89×	`neg-mul-1_binary64_1779`
77×	`distribute-lft-neg-in_binary64_1740`
49×	`sqr-pow_binary64_1755`
45×	`associate-+r+_binary64_1715`
42×	`distribute-rgt-out_binary64_1736` `associate-+l+_binary64_1716`
34×	`associate-/r*_binary64_1727`
31×	`exp-prod_binary64_1835`
28×	`associate-/l/_binary64_1730`
27×	`unsub-neg_binary64_1777`
26×	`exp-sum_binary64_1829`
23×	`div-sub_binary64_1788`
22×	`distribute-lft-out_binary64_1734`
21×	`rem-exp-log_binary64_1823` `associate-/r/_binary64_1729`
20×	`log-prod_binary64_1869`
19×	`unswap-sqr_binary64_1751`
18×	`associate--l+_binary64_1720`
17×	`unpow3_binary64_1849`
15×	`cube-mult_binary64_1813`
9×	`exp-diff_binary64_1831` `difference-of-squares_binary64_1752` `associate-+r-_binary64_1717`
8×	`prod-exp_binary64_1832` `cube-div_binary64_1812` `swap-sqr_binary64_1750` `distribute-neg-out_binary64_1745` `associate--r+_binary64_1719`
7×	`distribute-frac-neg_binary64_1746` `distribute-rgt-out--_binary64_1737`
6×	`cube-prod_binary64_1811` `associate-+l-_binary64_1718`
5×	`pow-sqr_binary64_1756`
4×	`cube-unmult_binary64_1820` `distribute-rgt1-in_binary64_1739`
3×	`+-rgt-identity_binary64_1768`
2×	`pow-plus_binary64_1846` `rem-sqrt-square_binary64_1796` `rem-square-sqrt_binary64_1795` `count-2_binary64_1731` `associate--r-_binary64_1722`
1×	`unpow2_binary64_1848` `unpow1/2_binary64_1847` `unpow1_binary64_1841` `div-exp_binary64_1834` `1-exp_binary64_1827` `exp-1-e_binary64_1826` `rem-log-exp_binary64_1824` `rem-3cbrt-lft_binary64_1808` `*-lft-identity_binary64_1772` `remove-double-neg_binary64_1771` `distribute-lft1-in_binary64_1738` `associate--l-_binary64_1721`
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` `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` `rec-exp_binary64_1833` `exp-neg_binary64_1830` `e-exp-1_binary64_1828` `exp-0_binary64_1825` `cube-neg_binary64_1810` `rem-3cbrt-rft_binary64_1809` `rem-cbrt-cube_binary64_1807` `rem-cube-cbrt_binary64_1806` `sqr-abs_binary64_1798` `sqr-neg_binary64_1797` `mul-1-neg_binary64_1775` `/-rgt-identity_binary64_1774` `-rgt-identity_binary64_1773` `sub0-neg_binary64_1770` `--rgt-identity_binary64_1769` `+-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` `difference-of-sqr--1_binary64_1754` `difference-of-sqr-1_binary64_1753` `cancel-sign-sub_binary64_1748` `distribute-lft-out--_binary64_1735`

Counts

144 → 99

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	359	9976
1	975	9273
2	3251	8835
3	4978	8835

prune1.0s (1.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	99	6	105

Error

0.2b

Counts

105 → 6

Compiler

Compiled 11094 to 8727 computations (21.3% saved)

regimes1.3s (1.8%)

Accuracy

Total 0.2b remaining (38.9%)

Threshold costs 0.2b (38.9%)

Compiler

Compiled 17244 to 14402 computations (16.5% saved)

bsearch0.0ms (0%)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Rules

25×	`+-commutative_binary64_1713`
17×	`sub-neg_binary64_1776`
11×	`*-commutative_binary64_1714`
5×	`neg-mul-1_binary64_1779` `neg-sub0_binary64_1778`
2×	`distribute-neg-frac_binary64_1747`
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` `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-inv_binary64_1749` `cancel-sign-sub_binary64_1748` `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`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	68	156
1	99	156
2	122	156
3	132	156
4	139	156
5	141	156
6	140	156

end0.0ms (0%)

sample52.5s (69.4%)

Algorithm

1×

intervals

Results

43.3s	3973×	body	8192	exit
2.3s	8000×	body	128	valid
231.0ms	12057×	pre	128	true
26.0ms	84×	body	128	invalid

Compiler

Compiled 8725 to 7287 computations (16.5% saved)

Details

analyze1.8s (2.4%)

sample1.3s (1.7%)

simplify57.0ms (0.1%)

prune18.0ms (0%)

localize54.0ms (0.1%)

rewrite630.0ms (0.8%)

series303.0ms (0.4%)

simplify112.0ms (0.1%)

prune454.0ms (0.6%)

localize87.0ms (0.1%)

rewrite5.2s (6.8%)

series424.0ms (0.6%)

simplify573.0ms (0.8%)

prune4.2s (5.6%)

localize69.0ms (0.1%)

rewrite1.3s (1.7%)

series477.0ms (0.6%)

simplify237.0ms (0.3%)

prune962.0ms (1.3%)

localize69.0ms (0.1%)

rewrite1.6s (2.2%)

series578.0ms (0.8%)

simplify233.0ms (0.3%)

prune1.0s (1.4%)

regimes1.3s (1.8%)

bsearch0.0ms (0%)

simplify8.0ms (0%)

end0.0ms (0%)

sample52.5s (69.4%)

Profiling