Details

analyze467.0ms (3.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
25%	68.6%	6.4%	7
31.2%	62.4%	6.4%	8
36.7%	54.6%	8.7%	9
38.2%	48.4%	13.4%	10
42.7%	42.3%	15%	11
47.8%	34.1%	18.1%	12
49.1%	30.3%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 18 to 15 computations (16.7% saved)

sample45.0ms (0.3%)

Algorithm

1×

intervals

Results

10.0ms	160×	body	128	valid
9.0ms	40×	body	2048	valid
4.0ms	24×	body	1024	valid
4.0ms	13×	body	4096	valid
2.0ms	12×	body	512	valid
1.0ms	22×	body	128	nan
1.0ms	18×	body	128	invalid
1.0ms	7×	body	256	valid

Compiler

Compiled 35 to 32 computations (8.6% saved)

simplify433.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

904×	`div-sub_binary64_1447`
743×	`associate-/l*_binary64_1387`
567×	`times-frac_binary64_1448`
521×	`associate-/l/_binary64_1389`
427×	`associate-/r/_binary64_1388`
390×	`sub-neg_binary64_1435`
318×	`distribute-rgt-in_binary64_1392`
273×	`cancel-sign-sub-inv_binary64_1408`
256×	`distribute-neg-frac_binary64_1406`
247×	`distribute-lft-in_binary64_1391`
214×	`distribute-rgt-neg-in_binary64_1400`
199×	`unsub-neg_binary64_1436`
187×	`associate-/r*_binary64_1386`
179×	`distribute-lft-neg-in_binary64_1399`
116×	`neg-mul-1_binary64_1438`
113×	`associate-*l/_binary64_1385`
98×	`*-commutative_binary64_1373`
82×	`distribute-lft-neg-out_binary64_1401`
74×	`neg-sub0_binary64_1437` `distribute-frac-neg_binary64_1405`
67×	`distribute-rgt-neg-out_binary64_1402`
58×	`associate-r_binary64_1382`
55×	`+-commutative_binary64_1372`
54×	`associate--r+_binary64_1378`
49×	`div0_binary64_1423` `associate-l_binary64_1383`
48×	`mul0-rgt_binary64_1425`
45×	`associate-*r/_binary64_1384`
44×	`mul0-lft_binary64_1424`
42×	`remove-double-div_binary64_1418`
38×	`associate--r-_binary64_1381`
30×	`+-lft-identity_binary64_1426`
26×	`distribute-neg-in_binary64_1403` `associate--l-_binary64_1380`
23×	`cancel-sign-sub_binary64_1407`
22×	`/-rgt-identity_binary64_1433` `remove-double-neg_binary64_1430`
19×	`sub0-neg_binary64_1429`
17×	`*-lft-identity_binary64_1431`
14×	`associate-+l-_binary64_1377` `associate-+r-_binary64_1376` `associate-+l+_binary64_1375`
10×	`*-rgt-identity_binary64_1432` `distribute-rgt-out--_binary64_1396` `distribute-rgt-out_binary64_1395` `associate--l+_binary64_1379`
8×	`distribute-neg-out_binary64_1404`
7×	`--rgt-identity_binary64_1428` `associate-+r+_binary64_1374`
6×	`mul-1-neg_binary64_1434`
5×	`+-rgt-identity_binary64_1427`
4×	`distribute-lft-out_binary64_1393`
2×	`distribute-lft-out--_binary64_1394`
1×	`1-exp_binary64_1486` `swap-sqr_binary64_1409`
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_1705` `erf-erfc_binary64_1704` `erf-odd_binary64_1703` `if-if-and-not_binary64_1702` `if-if-and_binary64_1701` `if-if-or-not_binary64_1700` `if-if-or_binary64_1699` `if-not_binary64_1698` `if-same_binary64_1697` `if-false_binary64_1696` `if-true_binary64_1695` `not-gte_binary64_1694` `not-lte_binary64_1693` `not-gt_binary64_1692` `not-lt_binary64_1691` `gte-same_binary64_1690` `lte-same_binary64_1689` `gt-same_binary64_1688` `lt-same_binary64_1687` `sinh---cosh_binary64_1634` `sinh-+-cosh_binary64_1633` `sinh-cosh_binary64_1632` `tanh-def-c_binary64_1631` `tanh-def-b_binary64_1630` `tanh-def-a_binary64_1629` `cosh-def_binary64_1628` `sinh-def_binary64_1627` `tan-neg_binary64_1574` `cos-neg_binary64_1573` `sin-neg_binary64_1572` `tan-0_binary64_1571` `cos-0_binary64_1570` `sin-0_binary64_1569` `hang-m-tan_binary64_1568` `hang-p-tan_binary64_1567` `hang-m0-tan_binary64_1566` `hang-p0-tan_binary64_1565` `hang-0m-tan_binary64_1564` `hang-0p-tan_binary64_1563` `tan-+PI/2_binary64_1562` `tan-+PI_binary64_1561` `tan-PI_binary64_1560` `tan-PI/3_binary64_1559` `tan-PI/4_binary64_1558` `tan-PI/6_binary64_1557` `cos-+PI/2_binary64_1556` `cos-+PI_binary64_1555` `cos-PI_binary64_1554` `cos-PI/2_binary64_1553` `cos-PI/3_binary64_1552` `cos-PI/4_binary64_1551` `cos-PI/6_binary64_1550` `sin-+PI/2_binary64_1549` `sin-+PI_binary64_1548` `sin-PI_binary64_1547` `sin-PI/2_binary64_1546` `sin-PI/3_binary64_1545` `sin-PI/4_binary64_1544` `sin-PI/6_binary64_1543` `sub-1-sin_binary64_1542` `sub-1-cos_binary64_1541` `-1-add-sin_binary64_1540` `-1-add-cos_binary64_1539` `1-sub-sin_binary64_1538` `1-sub-cos_binary64_1537` `cos-sin-sum_binary64_1536` `log-E_binary64_1532` `log-pow_binary64_1531` `log-rec_binary64_1530` `log-div_binary64_1529` `log-prod_binary64_1528` `pow-base-0_binary64_1526` `unpow1/3_binary64_1509` `unpow3_binary64_1508` `unpow2_binary64_1507` `unpow1/2_binary64_1506` `pow-plus_binary64_1505` `exp-to-pow_binary64_1504` `pow-base-1_binary64_1502` `unpow0_binary64_1501` `unpow1_binary64_1500` `unpow-1_binary64_1499` `exp-lft-cube_binary64_1498` `exp-lft-sqr_binary64_1497` `exp-cbrt_binary64_1496` `exp-sqrt_binary64_1495` `exp-prod_binary64_1494` `div-exp_binary64_1493` `rec-exp_binary64_1492` `prod-exp_binary64_1491` `exp-diff_binary64_1490` `exp-neg_binary64_1489` `exp-sum_binary64_1488` `e-exp-1_binary64_1487` `exp-1-e_binary64_1485` `exp-0_binary64_1484` `rem-log-exp_binary64_1483` `rem-exp-log_binary64_1482` `cube-unmult_binary64_1479` `cube-mult_binary64_1472` `cube-div_binary64_1471` `cube-prod_binary64_1470` `cube-neg_binary64_1469` `rem-3cbrt-rft_binary64_1468` `rem-3cbrt-lft_binary64_1467` `rem-cbrt-cube_binary64_1466` `rem-cube-cbrt_binary64_1465` `sqr-abs_binary64_1457` `sqr-neg_binary64_1456` `rem-sqrt-square_binary64_1455` `rem-square-sqrt_binary64_1454` `*-inverses_binary64_1422` `+-inverses_binary64_1421` `lft-mult-inverse_binary64_1420` `rgt-mult-inverse_binary64_1419` `pow-sqr_binary64_1415` `sqr-pow_binary64_1414` `difference-of-sqr--1_binary64_1413` `difference-of-sqr-1_binary64_1412` `difference-of-squares_binary64_1411` `unswap-sqr_binary64_1410` `distribute-rgt1-in_binary64_1398` `distribute-lft1-in_binary64_1397` `count-2_binary64_1390`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	26
1	29	24
2	62	24
3	125	24
4	175	24
5	284	24
6	456	24
7	759	24
8	1186	24
9	1635	24
10	1913	24
11	1868	24
12	1916	24
13	1985	24
14	2029	24
15	1597	24
16	1589	24
17	1581	24
18	1585	24
19	1587	24
20	1587	24
21	1801	24
22	1901	24
23	1835	24
24	1843	24
25	1865	24
26	1877	24
27	1883	24
28	1883	24
29	1927	24
30	1983	24
31	1935	24
32	1935	24
33	1746	24

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

35.2b

Counts

2 → 1

Compiler

Compiled 32 to 26 computations (18.8% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
0.8b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
22.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

rewrite157.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

34.9b

Rules

21×	`add-sqr-sqrt_binary64_1464`
14×	`*-un-lft-identity_binary64_1442`
9×	`add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478`
8×	`add-log-exp_binary64_1481` `add-cube-cbrt_binary64_1477`
6×	`sqrt-prod_binary64_1458` `difference-of-squares_binary64_1411` `times-frac_binary64_1448` `associate-/l*_binary64_1387`
5×	`pow1_binary64_1503`
4×	`flip3--_binary64_1446` `flip--_binary64_1417` `cancel-sign-sub-inv_binary64_1408`
3×	`distribute-lft-out--_binary64_1394`
2×	`sqrt-div_binary64_1459` `diff-log_binary64_1534` `sub-neg_binary64_1435` `div-exp_binary64_1493` `cbrt-undiv_binary64_1476` `associate-/l/_binary64_1389`
1×	`pow1/2_binary64_1522` `sqrt-pow1_binary64_1460` `rem-sqrt-square_binary64_1455` `prod-exp_binary64_1491` `cbrt-unprod_binary64_1475` `frac-2neg_binary64_1453` `div-sub_binary64_1447` `clear-num_binary64_1441` `div-inv_binary64_1439` `associate-/r*_binary64_1386`

Counts

4 → 74

Calls

4 calls:

12.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
11.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

Compiler

Compiled 2100 to 1220 computations (41.9% saved)

series740.0ms (4.9%)

Error

5.5b

Counts

4 → 72

Calls

4 calls:

211.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
155.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
152.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
150.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)

Compiler

Compiled 3332 to 2538 computations (23.8% saved)

simplify96.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

633×	`associate-/l*_binary64_1387`
611×	`associate-/r*_binary64_1386`
223×	`cancel-sign-sub-inv_binary64_1408`
198×	`distribute-rgt-neg-in_binary64_1400`
186×	`distribute-rgt-in_binary64_1392`
179×	`distribute-lft-neg-in_binary64_1399`
176×	`distribute-lft-in_binary64_1391`
117×	`sub-neg_binary64_1435`
107×	`associate-r_binary64_1382`
104×	`associate-/r/_binary64_1388`
103×	`associate-/l/_binary64_1389`
95×	`associate-l_binary64_1383` `*-commutative_binary64_1373`
80×	`times-frac_binary64_1448`
74×	`distribute-neg-frac_binary64_1406`
65×	`neg-mul-1_binary64_1438` `neg-sub0_binary64_1437`
59×	`+-commutative_binary64_1372`
58×	`unswap-sqr_binary64_1410`
51×	`div-sub_binary64_1447`
48×	`sqr-pow_binary64_1414`
42×	`exp-prod_binary64_1494`
34×	`associate-l/_binary64_1385` `associate-r/_binary64_1384`
31×	`distribute-rgt-out_binary64_1395`
29×	`distribute-lft-neg-out_binary64_1401`
27×	`associate--l+_binary64_1379`
18×	`cube-prod_binary64_1470`
17×	`distribute-lft-out_binary64_1393` `associate--r+_binary64_1378`
16×	`unsub-neg_binary64_1436`
15×	`distribute-neg-in_binary64_1403` `distribute-rgt-neg-out_binary64_1402`
14×	`associate-+l+_binary64_1375`
12×	`swap-sqr_binary64_1409`
11×	`associate-+r-_binary64_1376`
10×	`unpow3_binary64_1508` `+-rgt-identity_binary64_1427`
9×	`cube-mult_binary64_1472` `difference-of-squares_binary64_1411`
7×	`exp-sum_binary64_1488` `associate-+r+_binary64_1374`
6×	`exp-diff_binary64_1490`
5×	`cube-unmult_binary64_1479`
4×	`log-div_binary64_1529` `pow-plus_binary64_1505` `rem-sqrt-square_binary64_1455`
3×	`log-prod_binary64_1528` `unpow2_binary64_1507` `unpow1/2_binary64_1506` `unpow1_binary64_1500` `exp-lft-cube_binary64_1498` `exp-cbrt_binary64_1496` `rem-square-sqrt_binary64_1454` `mul-1-neg_binary64_1434` `pow-sqr_binary64_1415` `distribute-lft-out--_binary64_1394` `associate-+l-_binary64_1377`
2×	`div-exp_binary64_1493` `cube-div_binary64_1471`
1×	`log-pow_binary64_1531` `1-exp_binary64_1486` `rem-3cbrt-lft_binary64_1467` `remove-double-neg_binary64_1430` `*-inverses_binary64_1422` `cancel-sign-sub_binary64_1407` `distribute-neg-out_binary64_1404` `count-2_binary64_1390` `associate--r-_binary64_1381` `associate--l-_binary64_1380`
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_1705` `erf-erfc_binary64_1704` `erf-odd_binary64_1703` `if-if-and-not_binary64_1702` `if-if-and_binary64_1701` `if-if-or-not_binary64_1700` `if-if-or_binary64_1699` `if-not_binary64_1698` `if-same_binary64_1697` `if-false_binary64_1696` `if-true_binary64_1695` `not-gte_binary64_1694` `not-lte_binary64_1693` `not-gt_binary64_1692` `not-lt_binary64_1691` `gte-same_binary64_1690` `lte-same_binary64_1689` `gt-same_binary64_1688` `lt-same_binary64_1687` `sinh---cosh_binary64_1634` `sinh-+-cosh_binary64_1633` `sinh-cosh_binary64_1632` `tanh-def-c_binary64_1631` `tanh-def-b_binary64_1630` `tanh-def-a_binary64_1629` `cosh-def_binary64_1628` `sinh-def_binary64_1627` `tan-neg_binary64_1574` `cos-neg_binary64_1573` `sin-neg_binary64_1572` `tan-0_binary64_1571` `cos-0_binary64_1570` `sin-0_binary64_1569` `hang-m-tan_binary64_1568` `hang-p-tan_binary64_1567` `hang-m0-tan_binary64_1566` `hang-p0-tan_binary64_1565` `hang-0m-tan_binary64_1564` `hang-0p-tan_binary64_1563` `tan-+PI/2_binary64_1562` `tan-+PI_binary64_1561` `tan-PI_binary64_1560` `tan-PI/3_binary64_1559` `tan-PI/4_binary64_1558` `tan-PI/6_binary64_1557` `cos-+PI/2_binary64_1556` `cos-+PI_binary64_1555` `cos-PI_binary64_1554` `cos-PI/2_binary64_1553` `cos-PI/3_binary64_1552` `cos-PI/4_binary64_1551` `cos-PI/6_binary64_1550` `sin-+PI/2_binary64_1549` `sin-+PI_binary64_1548` `sin-PI_binary64_1547` `sin-PI/2_binary64_1546` `sin-PI/3_binary64_1545` `sin-PI/4_binary64_1544` `sin-PI/6_binary64_1543` `sub-1-sin_binary64_1542` `sub-1-cos_binary64_1541` `-1-add-sin_binary64_1540` `-1-add-cos_binary64_1539` `1-sub-sin_binary64_1538` `1-sub-cos_binary64_1537` `cos-sin-sum_binary64_1536` `log-E_binary64_1532` `log-rec_binary64_1530` `pow-base-0_binary64_1526` `unpow1/3_binary64_1509` `exp-to-pow_binary64_1504` `pow-base-1_binary64_1502` `unpow0_binary64_1501` `unpow-1_binary64_1499` `exp-lft-sqr_binary64_1497` `exp-sqrt_binary64_1495` `rec-exp_binary64_1492` `prod-exp_binary64_1491` `exp-neg_binary64_1489` `e-exp-1_binary64_1487` `exp-1-e_binary64_1485` `exp-0_binary64_1484` `rem-log-exp_binary64_1483` `rem-exp-log_binary64_1482` `cube-neg_binary64_1469` `rem-3cbrt-rft_binary64_1468` `rem-cbrt-cube_binary64_1466` `rem-cube-cbrt_binary64_1465` `sqr-abs_binary64_1457` `sqr-neg_binary64_1456` `/-rgt-identity_binary64_1433` `-rgt-identity_binary64_1432` `-lft-identity_binary64_1431` `sub0-neg_binary64_1429` `--rgt-identity_binary64_1428` `+-lft-identity_binary64_1426` `mul0-rgt_binary64_1425` `mul0-lft_binary64_1424` `div0_binary64_1423` `+-inverses_binary64_1421` `lft-mult-inverse_binary64_1420` `rgt-mult-inverse_binary64_1419` `remove-double-div_binary64_1418` `difference-of-sqr--1_binary64_1413` `difference-of-sqr-1_binary64_1412` `distribute-frac-neg_binary64_1405` `distribute-rgt1-in_binary64_1398` `distribute-lft1-in_binary64_1397` `distribute-rgt-out--_binary64_1396`

Counts

146 → 227

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	227	3283
1	594	3058
2	1832	3051
3	5288	3051

prune314.0ms (2.1%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	212	15	227
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	213	15	228

Error

7.5b

Counts

228 → 15

Compiler

Compiled 6269 to 3479 computations (44.5% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 1/3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) a))
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
0.8b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
22.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

rewrite145.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

7.5b

Rules

39×	`add-sqr-sqrt_binary64_1464`
25×	`*-un-lft-identity_binary64_1442`
22×	`associate-r_binary64_1382`
19×	`times-frac_binary64_1448`
17×	`add-cube-cbrt_binary64_1477`
9×	`add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478`
8×	`add-log-exp_binary64_1481` `difference-of-squares_binary64_1411`
7×	`pow1_binary64_1503` `sqrt-prod_binary64_1458`
4×	`cancel-sign-sub-inv_binary64_1408` `distribute-lft-out--_binary64_1394`
3×	`flip3--_binary64_1446` `flip--_binary64_1417` `associate-l_binary64_1383`
2×	`sqrt-div_binary64_1459` `diff-log_binary64_1534` `sub-neg_binary64_1435` `prod-exp_binary64_1491` `cbrt-unprod_binary64_1475` `unswap-sqr_binary64_1410`
1×	`pow1/2_binary64_1522` `sqrt-pow1_binary64_1460` `rem-sqrt-square_binary64_1455` `pow-prod-down_binary64_1513` `div-exp_binary64_1493` `cbrt-undiv_binary64_1476` `associate-r/_binary64_1384` `div-inv_binary64_1439` `-commutative_binary64_1373`

Counts

4 → 85

Calls

4 calls:

14.0ms	(.f64 1/3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) a))
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

Compiler

Compiled 2470 to 1424 computations (42.3% saved)

series746.0ms (4.9%)

Error

5.4b

Counts

4 → 72

Calls

4 calls:

226.0ms	(.f64 1/3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) a))
156.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
154.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
146.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

Compiler

Compiled 3332 to 2529 computations (24.1% saved)

simplify105.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

572×	`associate-/l*_binary64_1387`
512×	`associate-/r*_binary64_1386`
210×	`cancel-sign-sub-inv_binary64_1408`
176×	`distribute-rgt-neg-in_binary64_1400`
159×	`distribute-lft-neg-in_binary64_1399` `distribute-rgt-in_binary64_1392`
157×	`distribute-lft-in_binary64_1391`
124×	`associate-/r/_binary64_1388`
110×	`*-commutative_binary64_1373`
109×	`sub-neg_binary64_1435`
100×	`associate-r_binary64_1382`
85×	`associate-l_binary64_1383`
82×	`associate-/l/_binary64_1389`
69×	`distribute-neg-frac_binary64_1406`
67×	`associate-*r/_binary64_1384`
66×	`times-frac_binary64_1448`
61×	`+-commutative_binary64_1372`
57×	`neg-mul-1_binary64_1438` `neg-sub0_binary64_1437`
53×	`sqr-pow_binary64_1414`
52×	`unswap-sqr_binary64_1410`
49×	`associate-*l/_binary64_1385`
44×	`exp-prod_binary64_1494`
30×	`distribute-lft-neg-out_binary64_1401`
27×	`distribute-rgt-out_binary64_1395` `associate--l+_binary64_1379`
23×	`div-sub_binary64_1447`
19×	`cube-prod_binary64_1470`
16×	`distribute-rgt-neg-out_binary64_1402`
15×	`unsub-neg_binary64_1436` `associate-+l+_binary64_1375`
14×	`swap-sqr_binary64_1409` `associate--r+_binary64_1378`
12×	`associate-+r-_binary64_1376`
11×	`distribute-lft-out_binary64_1393`
10×	`unpow3_binary64_1508` `cube-mult_binary64_1472` `+-rgt-identity_binary64_1427` `distribute-neg-in_binary64_1403`
9×	`difference-of-squares_binary64_1411`
7×	`exp-sum_binary64_1488` `associate-+r+_binary64_1374`
6×	`exp-diff_binary64_1490` `cube-unmult_binary64_1479`
5×	`rem-sqrt-square_binary64_1455`
4×	`log-div_binary64_1529` `log-prod_binary64_1528` `pow-plus_binary64_1505` `/-rgt-identity_binary64_1433` `pow-sqr_binary64_1415` `associate-+l-_binary64_1377`
3×	`unpow2_binary64_1507` `unpow1/2_binary64_1506` `unpow1_binary64_1500` `exp-lft-cube_binary64_1498` `cube-div_binary64_1471` `rem-square-sqrt_binary64_1454` `mul-1-neg_binary64_1434` `*-rgt-identity_binary64_1432` `distribute-lft-out--_binary64_1394`
2×	`div-exp_binary64_1493`
1×	`log-pow_binary64_1531` `unpow1/3_binary64_1509` `1-exp_binary64_1486` `rem-3cbrt-lft_binary64_1467` `-lft-identity_binary64_1431` `-inverses_binary64_1422` `cancel-sign-sub_binary64_1407` `distribute-neg-out_binary64_1404` `count-2_binary64_1390` `associate--l-_binary64_1380`
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_1705` `erf-erfc_binary64_1704` `erf-odd_binary64_1703` `if-if-and-not_binary64_1702` `if-if-and_binary64_1701` `if-if-or-not_binary64_1700` `if-if-or_binary64_1699` `if-not_binary64_1698` `if-same_binary64_1697` `if-false_binary64_1696` `if-true_binary64_1695` `not-gte_binary64_1694` `not-lte_binary64_1693` `not-gt_binary64_1692` `not-lt_binary64_1691` `gte-same_binary64_1690` `lte-same_binary64_1689` `gt-same_binary64_1688` `lt-same_binary64_1687` `sinh---cosh_binary64_1634` `sinh-+-cosh_binary64_1633` `sinh-cosh_binary64_1632` `tanh-def-c_binary64_1631` `tanh-def-b_binary64_1630` `tanh-def-a_binary64_1629` `cosh-def_binary64_1628` `sinh-def_binary64_1627` `tan-neg_binary64_1574` `cos-neg_binary64_1573` `sin-neg_binary64_1572` `tan-0_binary64_1571` `cos-0_binary64_1570` `sin-0_binary64_1569` `hang-m-tan_binary64_1568` `hang-p-tan_binary64_1567` `hang-m0-tan_binary64_1566` `hang-p0-tan_binary64_1565` `hang-0m-tan_binary64_1564` `hang-0p-tan_binary64_1563` `tan-+PI/2_binary64_1562` `tan-+PI_binary64_1561` `tan-PI_binary64_1560` `tan-PI/3_binary64_1559` `tan-PI/4_binary64_1558` `tan-PI/6_binary64_1557` `cos-+PI/2_binary64_1556` `cos-+PI_binary64_1555` `cos-PI_binary64_1554` `cos-PI/2_binary64_1553` `cos-PI/3_binary64_1552` `cos-PI/4_binary64_1551` `cos-PI/6_binary64_1550` `sin-+PI/2_binary64_1549` `sin-+PI_binary64_1548` `sin-PI_binary64_1547` `sin-PI/2_binary64_1546` `sin-PI/3_binary64_1545` `sin-PI/4_binary64_1544` `sin-PI/6_binary64_1543` `sub-1-sin_binary64_1542` `sub-1-cos_binary64_1541` `-1-add-sin_binary64_1540` `-1-add-cos_binary64_1539` `1-sub-sin_binary64_1538` `1-sub-cos_binary64_1537` `cos-sin-sum_binary64_1536` `log-E_binary64_1532` `log-rec_binary64_1530` `pow-base-0_binary64_1526` `exp-to-pow_binary64_1504` `pow-base-1_binary64_1502` `unpow0_binary64_1501` `unpow-1_binary64_1499` `exp-lft-sqr_binary64_1497` `exp-cbrt_binary64_1496` `exp-sqrt_binary64_1495` `rec-exp_binary64_1492` `prod-exp_binary64_1491` `exp-neg_binary64_1489` `e-exp-1_binary64_1487` `exp-1-e_binary64_1485` `exp-0_binary64_1484` `rem-log-exp_binary64_1483` `rem-exp-log_binary64_1482` `cube-neg_binary64_1469` `rem-3cbrt-rft_binary64_1468` `rem-cbrt-cube_binary64_1466` `rem-cube-cbrt_binary64_1465` `sqr-abs_binary64_1457` `sqr-neg_binary64_1456` `remove-double-neg_binary64_1430` `sub0-neg_binary64_1429` `--rgt-identity_binary64_1428` `+-lft-identity_binary64_1426` `mul0-rgt_binary64_1425` `mul0-lft_binary64_1424` `div0_binary64_1423` `+-inverses_binary64_1421` `lft-mult-inverse_binary64_1420` `rgt-mult-inverse_binary64_1419` `remove-double-div_binary64_1418` `difference-of-sqr--1_binary64_1413` `difference-of-sqr-1_binary64_1412` `distribute-frac-neg_binary64_1405` `distribute-rgt1-in_binary64_1398` `distribute-lft1-in_binary64_1397` `distribute-rgt-out--_binary64_1396` `associate--r-_binary64_1381`

Counts

157 → 224

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	248	3485
1	632	3263
2	1872	3259
3	5031	3259

prune300.0ms (2%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	220	4	224
Fresh	2	12	14
Picked	1	0	1
Done	0	0	0
Total	223	16	239

Error

7.5b

Counts

239 → 16

Compiler

Compiled 6315 to 3500 computations (44.6% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(/.f64 1/3 a)
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
0.8b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
22.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

rewrite103.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

7.5b

Rules

19×	`add-sqr-sqrt_binary64_1464`
16×	`*-un-lft-identity_binary64_1442`
14×	`add-cube-cbrt_binary64_1477`
9×	`times-frac_binary64_1448`
8×	`add-log-exp_binary64_1481`
6×	`add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478`
5×	`pow1_binary64_1503`
4×	`sqrt-prod_binary64_1458` `cancel-sign-sub-inv_binary64_1408`
3×	`flip3--_binary64_1446` `flip--_binary64_1417` `associate-/l_binary64_1387` `associate-/r_binary64_1386`
2×	`sqrt-div_binary64_1459` `diff-log_binary64_1534` `sub-neg_binary64_1435` `difference-of-squares_binary64_1411`
1×	`pow1/2_binary64_1522` `sqrt-pow1_binary64_1460` `rem-sqrt-square_binary64_1455` `distribute-lft-out--_binary64_1394` `div-exp_binary64_1493` `cbrt-undiv_binary64_1476` `frac-2neg_binary64_1453` `clear-num_binary64_1441` `div-inv_binary64_1439`

Counts

4 → 71

Calls

4 calls:

11.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
3.0ms	(/.f64 1/3 a)

Compiler

Compiled 1789 to 1054 computations (41.1% saved)

series514.0ms (3.4%)

Error

7.5b

Counts

4 → 58

Calls

4 calls:

151.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
150.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
147.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
16.0ms	(/.f64 1/3 a)

Compiler

Compiled 2679 to 2029 computations (24.3% saved)

simplify100.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

649×	`times-frac_binary64_1448`
319×	`associate-/r*_binary64_1386`
270×	`associate-/l*_binary64_1387`
229×	`*-commutative_binary64_1373`
226×	`unswap-sqr_binary64_1410`
171×	`sub-neg_binary64_1435`
159×	`cancel-sign-sub-inv_binary64_1408`
127×	`neg-mul-1_binary64_1438`
126×	`distribute-rgt-neg-in_binary64_1400`
125×	`neg-sub0_binary64_1437`
117×	`distribute-lft-neg-in_binary64_1399`
116×	`sqr-pow_binary64_1414`
93×	`associate-*l/_binary64_1385`
82×	`exp-prod_binary64_1494` `+-commutative_binary64_1372`
76×	`distribute-lft-in_binary64_1391`
75×	`unsub-neg_binary64_1436` `distribute-rgt-in_binary64_1392` `associate-*r/_binary64_1384`
69×	`associate-r_binary64_1382`
59×	`associate-l_binary64_1383`
45×	`associate-+l+_binary64_1375`
43×	`associate-/r/_binary64_1388`
42×	`associate-+l-_binary64_1377`
40×	`associate-+r+_binary64_1374`
37×	`exp-sum_binary64_1488`
35×	`associate-+r-_binary64_1376`
34×	`div-sub_binary64_1447`
33×	`associate--l+_binary64_1379`
32×	`distribute-neg-frac_binary64_1406`
31×	`cube-prod_binary64_1470`
30×	`difference-of-squares_binary64_1411`
25×	`+-rgt-identity_binary64_1427` `distribute-rgt-out_binary64_1395`
24×	`sub0-neg_binary64_1429` `associate-/l/_binary64_1389`
20×	`distribute-lft-neg-out_binary64_1401`
17×	`pow-sqr_binary64_1415`
16×	`unpow3_binary64_1508` `mul0-rgt_binary64_1425` `mul0-lft_binary64_1424`
13×	`exp-diff_binary64_1490` `associate--r+_binary64_1378`
12×	`cube-mult_binary64_1472` `swap-sqr_binary64_1409`
11×	`distribute-lft-out_binary64_1393`
10×	`distribute-rgt-neg-out_binary64_1402`
9×	`pow-plus_binary64_1505` `cube-unmult_binary64_1479`
7×	`log-prod_binary64_1528`
6×	`rem-sqrt-square_binary64_1455`
5×	`exp-lft-cube_binary64_1498`
4×	`*-rgt-identity_binary64_1432` `distribute-neg-in_binary64_1403`
3×	`unpow2_binary64_1507` `unpow1/2_binary64_1506` `unpow1_binary64_1500` `rem-square-sqrt_binary64_1454` `/-rgt-identity_binary64_1433`
2×	`log-pow_binary64_1531` `log-div_binary64_1529` `div-exp_binary64_1493` `prod-exp_binary64_1491` `cube-div_binary64_1471` `sqr-neg_binary64_1456` `*-lft-identity_binary64_1431` `remove-double-neg_binary64_1430` `associate--l-_binary64_1380`
1×	`1-exp_binary64_1486` `rem-3cbrt-lft_binary64_1467` `--rgt-identity_binary64_1428` `+-inverses_binary64_1421` `cancel-sign-sub_binary64_1407` `distribute-neg-out_binary64_1404` `count-2_binary64_1390` `associate--r-_binary64_1381`
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_1705` `erf-erfc_binary64_1704` `erf-odd_binary64_1703` `if-if-and-not_binary64_1702` `if-if-and_binary64_1701` `if-if-or-not_binary64_1700` `if-if-or_binary64_1699` `if-not_binary64_1698` `if-same_binary64_1697` `if-false_binary64_1696` `if-true_binary64_1695` `not-gte_binary64_1694` `not-lte_binary64_1693` `not-gt_binary64_1692` `not-lt_binary64_1691` `gte-same_binary64_1690` `lte-same_binary64_1689` `gt-same_binary64_1688` `lt-same_binary64_1687` `sinh---cosh_binary64_1634` `sinh-+-cosh_binary64_1633` `sinh-cosh_binary64_1632` `tanh-def-c_binary64_1631` `tanh-def-b_binary64_1630` `tanh-def-a_binary64_1629` `cosh-def_binary64_1628` `sinh-def_binary64_1627` `tan-neg_binary64_1574` `cos-neg_binary64_1573` `sin-neg_binary64_1572` `tan-0_binary64_1571` `cos-0_binary64_1570` `sin-0_binary64_1569` `hang-m-tan_binary64_1568` `hang-p-tan_binary64_1567` `hang-m0-tan_binary64_1566` `hang-p0-tan_binary64_1565` `hang-0m-tan_binary64_1564` `hang-0p-tan_binary64_1563` `tan-+PI/2_binary64_1562` `tan-+PI_binary64_1561` `tan-PI_binary64_1560` `tan-PI/3_binary64_1559` `tan-PI/4_binary64_1558` `tan-PI/6_binary64_1557` `cos-+PI/2_binary64_1556` `cos-+PI_binary64_1555` `cos-PI_binary64_1554` `cos-PI/2_binary64_1553` `cos-PI/3_binary64_1552` `cos-PI/4_binary64_1551` `cos-PI/6_binary64_1550` `sin-+PI/2_binary64_1549` `sin-+PI_binary64_1548` `sin-PI_binary64_1547` `sin-PI/2_binary64_1546` `sin-PI/3_binary64_1545` `sin-PI/4_binary64_1544` `sin-PI/6_binary64_1543` `sub-1-sin_binary64_1542` `sub-1-cos_binary64_1541` `-1-add-sin_binary64_1540` `-1-add-cos_binary64_1539` `1-sub-sin_binary64_1538` `1-sub-cos_binary64_1537` `cos-sin-sum_binary64_1536` `log-E_binary64_1532` `log-rec_binary64_1530` `pow-base-0_binary64_1526` `unpow1/3_binary64_1509` `exp-to-pow_binary64_1504` `pow-base-1_binary64_1502` `unpow0_binary64_1501` `unpow-1_binary64_1499` `exp-lft-sqr_binary64_1497` `exp-cbrt_binary64_1496` `exp-sqrt_binary64_1495` `rec-exp_binary64_1492` `exp-neg_binary64_1489` `e-exp-1_binary64_1487` `exp-1-e_binary64_1485` `exp-0_binary64_1484` `rem-log-exp_binary64_1483` `rem-exp-log_binary64_1482` `cube-neg_binary64_1469` `rem-3cbrt-rft_binary64_1468` `rem-cbrt-cube_binary64_1466` `rem-cube-cbrt_binary64_1465` `sqr-abs_binary64_1457` `mul-1-neg_binary64_1434` `+-lft-identity_binary64_1426` `div0_binary64_1423` `*-inverses_binary64_1422` `lft-mult-inverse_binary64_1420` `rgt-mult-inverse_binary64_1419` `remove-double-div_binary64_1418` `difference-of-sqr--1_binary64_1413` `difference-of-sqr-1_binary64_1412` `distribute-frac-neg_binary64_1405` `distribute-rgt1-in_binary64_1398` `distribute-lft1-in_binary64_1397` `distribute-rgt-out--_binary64_1396` `distribute-lft-out--_binary64_1394`

Counts

129 → 161

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	190	2146
1	418	2052
2	1154	2049
3	4141	2049
4	5017	2049

prune213.0ms (1.4%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	156	5	161
Fresh	4	11	15
Picked	0	1	1
Done	0	0	0
Total	160	17	177

Error

7.5b

Counts

177 → 17

Compiler

Compiled 4460 to 2543 computations (43% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.3b	(+.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
4.4b	(.f64 (/.f64 (.f64 c (.f64 -3 a)) (+.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b)) (/.f64 1/3 a))
10.4b	(/.f64 (.f64 c (.f64 -3 a)) (+.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b))
22.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

rewrite240.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

6.8b

Rules

45×	`add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478`
24×	`*-un-lft-identity_binary64_1442`
22×	`add-sqr-sqrt_binary64_1464`
18×	`times-frac_binary64_1448`
17×	`prod-exp_binary64_1491` `cbrt-unprod_binary64_1475`
16×	`add-cube-cbrt_binary64_1477`
13×	`div-exp_binary64_1493` `cbrt-undiv_binary64_1476` `associate-r_binary64_1382`
10×	`associate-l_binary64_1383`
7×	`pow1_binary64_1503`
6×	`add-log-exp_binary64_1481`
4×	`distribute-lft-out_binary64_1393` `associate-/r/_binary64_1388` `associate-/r*_binary64_1386`
3×	`sqrt-prod_binary64_1458` `div-inv_binary64_1439` `flip3-+_binary64_1445` `flip-+_binary64_1416`
2×	`sqrt-div_binary64_1459` `unswap-sqr_binary64_1410`
1×	`pow1/2_binary64_1522` `sqrt-pow1_binary64_1460` `flip3--_binary64_1446` `flip--_binary64_1417` `rem-sqrt-square_binary64_1455` `frac-2neg_binary64_1453` `clear-num_binary64_1441` `associate-/l_binary64_1387` `pow-prod-down_binary64_1513` `frac-times_binary64_1452` `associate-l/_binary64_1385` `associate-r/_binary64_1384` `-commutative_binary64_1373` `sum-log_binary64_1533` `+-commutative_binary64_1372`

Counts

4 → 107

Calls

4 calls:

23.0ms	(.f64 (/.f64 (.f64 c (.f64 -3 a)) (+.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b)) (/.f64 1/3 a))
12.0ms	(/.f64 (.f64 c (.f64 -3 a)) (+.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b))
7.0ms	(+.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

Compiler

Compiled 3971 to 2385 computations (39.9% saved)

series968.0ms (6.4%)

Error

5.4b

Counts

4 → 73

Calls

4 calls:

311.0ms	(/.f64 (.f64 c (.f64 -3 a)) (+.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b))
260.0ms	(.f64 (/.f64 (.f64 c (.f64 -3 a)) (+.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b)) (/.f64 1/3 a))
162.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
155.0ms	(+.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)

Compiler

Compiled 4550 to 3288 computations (27.7% saved)

simplify213.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

304×	`cancel-sign-sub-inv_binary64_1408`
266×	`associate-l_binary64_1383`
245×	`associate-*l/_binary64_1385`
237×	`associate-/l*_binary64_1387`
236×	`associate-r_binary64_1382`
215×	`associate-*r/_binary64_1384`
204×	`*-commutative_binary64_1373`
176×	`times-frac_binary64_1448`
136×	`sub-neg_binary64_1435`
130×	`log-prod_binary64_1528`
116×	`associate-/r*_binary64_1386`
112×	`cube-prod_binary64_1470`
102×	`div-sub_binary64_1447`
99×	`distribute-neg-frac_binary64_1406`
98×	`unswap-sqr_binary64_1410`
91×	`log-div_binary64_1529`
85×	`distribute-rgt-neg-out_binary64_1402`
77×	`cube-div_binary64_1471`
69×	`+-commutative_binary64_1372`
66×	`distribute-frac-neg_binary64_1405`
65×	`unpow3_binary64_1508`
60×	`neg-sub0_binary64_1437`
55×	`neg-mul-1_binary64_1438`
54×	`associate-/l/_binary64_1389`
50×	`sqr-pow_binary64_1414`
39×	`distribute-rgt-neg-in_binary64_1400` `associate-/r/_binary64_1388` `associate--l+_binary64_1379`
37×	`swap-sqr_binary64_1409`
35×	`cube-mult_binary64_1472` `*-rgt-identity_binary64_1432`
30×	`distribute-lft-neg-in_binary64_1399`
28×	`distribute-rgt-in_binary64_1392`
22×	`distribute-lft-in_binary64_1391` `associate--r+_binary64_1378` `associate-+l+_binary64_1375`
18×	`*-lft-identity_binary64_1431`
15×	`exp-prod_binary64_1494`
14×	`distribute-neg-in_binary64_1403`
13×	`unsub-neg_binary64_1436`
12×	`cube-unmult_binary64_1479` `associate-+l-_binary64_1377`
11×	`associate-+r+_binary64_1374`
9×	`log-pow_binary64_1531` `associate-+r-_binary64_1376`
8×	`/-rgt-identity_binary64_1433`
7×	`pow-plus_binary64_1505` `difference-of-squares_binary64_1411`
5×	`unpow1/2_binary64_1506`
4×	`unpow2_binary64_1507` `unpow1_binary64_1500` `exp-neg_binary64_1489` `rem-sqrt-square_binary64_1455` `mul-1-neg_binary64_1434` `distribute-lft-neg-out_binary64_1401`
3×	`log-rec_binary64_1530` `exp-diff_binary64_1490` `cube-neg_binary64_1469` `+-rgt-identity_binary64_1427` `div0_binary64_1423` `distribute-rgt-out_binary64_1395`
2×	`rem-square-sqrt_binary64_1454` `pow-sqr_binary64_1415`
1×	`prod-exp_binary64_1491` `exp-sum_binary64_1488` `1-exp_binary64_1486` `exp-1-e_binary64_1485` `cancel-sign-sub_binary64_1407` `distribute-neg-out_binary64_1404` `distribute-rgt-out--_binary64_1396` `distribute-lft-out--_binary64_1394` `associate--r-_binary64_1381` `associate--l-_binary64_1380`
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_1705` `erf-erfc_binary64_1704` `erf-odd_binary64_1703` `if-if-and-not_binary64_1702` `if-if-and_binary64_1701` `if-if-or-not_binary64_1700` `if-if-or_binary64_1699` `if-not_binary64_1698` `if-same_binary64_1697` `if-false_binary64_1696` `if-true_binary64_1695` `not-gte_binary64_1694` `not-lte_binary64_1693` `not-gt_binary64_1692` `not-lt_binary64_1691` `gte-same_binary64_1690` `lte-same_binary64_1689` `gt-same_binary64_1688` `lt-same_binary64_1687` `sinh---cosh_binary64_1634` `sinh-+-cosh_binary64_1633` `sinh-cosh_binary64_1632` `tanh-def-c_binary64_1631` `tanh-def-b_binary64_1630` `tanh-def-a_binary64_1629` `cosh-def_binary64_1628` `sinh-def_binary64_1627` `tan-neg_binary64_1574` `cos-neg_binary64_1573` `sin-neg_binary64_1572` `tan-0_binary64_1571` `cos-0_binary64_1570` `sin-0_binary64_1569` `hang-m-tan_binary64_1568` `hang-p-tan_binary64_1567` `hang-m0-tan_binary64_1566` `hang-p0-tan_binary64_1565` `hang-0m-tan_binary64_1564` `hang-0p-tan_binary64_1563` `tan-+PI/2_binary64_1562` `tan-+PI_binary64_1561` `tan-PI_binary64_1560` `tan-PI/3_binary64_1559` `tan-PI/4_binary64_1558` `tan-PI/6_binary64_1557` `cos-+PI/2_binary64_1556` `cos-+PI_binary64_1555` `cos-PI_binary64_1554` `cos-PI/2_binary64_1553` `cos-PI/3_binary64_1552` `cos-PI/4_binary64_1551` `cos-PI/6_binary64_1550` `sin-+PI/2_binary64_1549` `sin-+PI_binary64_1548` `sin-PI_binary64_1547` `sin-PI/2_binary64_1546` `sin-PI/3_binary64_1545` `sin-PI/4_binary64_1544` `sin-PI/6_binary64_1543` `sub-1-sin_binary64_1542` `sub-1-cos_binary64_1541` `-1-add-sin_binary64_1540` `-1-add-cos_binary64_1539` `1-sub-sin_binary64_1538` `1-sub-cos_binary64_1537` `cos-sin-sum_binary64_1536` `log-E_binary64_1532` `pow-base-0_binary64_1526` `unpow1/3_binary64_1509` `exp-to-pow_binary64_1504` `pow-base-1_binary64_1502` `unpow0_binary64_1501` `unpow-1_binary64_1499` `exp-lft-cube_binary64_1498` `exp-lft-sqr_binary64_1497` `exp-cbrt_binary64_1496` `exp-sqrt_binary64_1495` `div-exp_binary64_1493` `rec-exp_binary64_1492` `e-exp-1_binary64_1487` `exp-0_binary64_1484` `rem-log-exp_binary64_1483` `rem-exp-log_binary64_1482` `rem-3cbrt-rft_binary64_1468` `rem-3cbrt-lft_binary64_1467` `rem-cbrt-cube_binary64_1466` `rem-cube-cbrt_binary64_1465` `sqr-abs_binary64_1457` `sqr-neg_binary64_1456` `remove-double-neg_binary64_1430` `sub0-neg_binary64_1429` `--rgt-identity_binary64_1428` `+-lft-identity_binary64_1426` `mul0-rgt_binary64_1425` `mul0-lft_binary64_1424` `*-inverses_binary64_1422` `+-inverses_binary64_1421` `lft-mult-inverse_binary64_1420` `rgt-mult-inverse_binary64_1419` `remove-double-div_binary64_1418` `difference-of-sqr--1_binary64_1413` `difference-of-sqr-1_binary64_1412` `distribute-rgt1-in_binary64_1398` `distribute-lft1-in_binary64_1397` `distribute-lft-out_binary64_1393` `count-2_binary64_1390`

Counts

180 → 337

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	311	5820
1	895	4805
2	3390	4804
3	4666	4804
4	4962	4804
5	4955	4804

prune645.0ms (4.3%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	331	6	337
Fresh	7	8	15
Picked	1	0	1
Done	1	0	1
Total	340	14	354

Error

6.7b

Counts

354 → 14

Compiler

Compiled 11562 to 6524 computations (43.6% saved)

regimes3.8s (25.1%)

Accuracy

Total 1.3b remaining (20.3%)

Threshold costs 0b (0%)

Compiler

Compiled 21251 to 16056 computations (24.4% saved)

bsearch118.0ms (0.8%)

Steps

Iters	Range	Point
8	4.782644904621037e+83	7.306796368952094e+87	3.1370236091553266e+85
10	-2.5056518156586156e-291	-6.206059484346032e-303	-6.630631873525022e-297
8	-1.0597566076824806e+81	-1.9322402123931412e+78	-6.595237172330028e+80

Iters

Range

Point

4.782644904621037e+83

7.306796368952094e+87

3.1370236091553266e+85

-2.5056518156586156e-291

-6.206059484346032e-303

-6.630631873525022e-297

-1.0597566076824806e+81

-1.9322402123931412e+78

-6.595237172330028e+80

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

15×	`*-commutative_binary64_1373`
14×	`+-commutative_binary64_1372`
13×	`sub-neg_binary64_1435`
10×	`neg-sub0_binary64_1437`
9×	`neg-mul-1_binary64_1438`
6×	`distribute-rgt-neg-in_binary64_1400`
4×	`cancel-sign-sub-inv_binary64_1408` `distribute-lft-neg-in_binary64_1399`
2×	`distribute-lft-neg-out_binary64_1401`
1×	`unpow1_binary64_1500` `1-exp_binary64_1486` `mul-1-neg_binary64_1434` `distribute-neg-frac_binary64_1406` `distribute-frac-neg_binary64_1405`
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_1702` `if-if-and_binary64_1701` `if-if-or-not_binary64_1700` `if-if-or_binary64_1699` `if-not_binary64_1698` `if-same_binary64_1697` `if-false_binary64_1696` `if-true_binary64_1695` `tan-0_binary64_1571` `cos-0_binary64_1570` `sin-0_binary64_1569` `e-exp-1_binary64_1487` `exp-1-e_binary64_1485` `exp-0_binary64_1484` `sqr-abs_binary64_1457` `sqr-neg_binary64_1456` `unsub-neg_binary64_1436` `/-rgt-identity_binary64_1433` `-rgt-identity_binary64_1432` `-lft-identity_binary64_1431` `remove-double-neg_binary64_1430` `sub0-neg_binary64_1429` `--rgt-identity_binary64_1428` `+-rgt-identity_binary64_1427` `+-lft-identity_binary64_1426` `cancel-sign-sub_binary64_1407` `distribute-neg-out_binary64_1404` `distribute-neg-in_binary64_1403` `distribute-rgt-neg-out_binary64_1402`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	41	98
1	62	97
2	82	97
3	105	97
4	119	97
5	126	97
6	128	97
7	127	97

end0.0ms (0%)

sample4.6s (30.6%)

Algorithm

1×

intervals

Results

283.0ms	1158×	body	2048	valid
277.0ms	5228×	body	128	valid
265.0ms	363×	body	512	valid
135.0ms	679×	body	1024	valid
114.0ms	370×	body	4096	valid
37.0ms	661×	body	128	nan
20.0ms	202×	body	256	valid
19.0ms	373×	body	128	invalid

Compiler

Compiled 4128 to 3115 computations (24.5% saved)

Details

analyze467.0ms (3.1%)

sample45.0ms (0.3%)

simplify433.0ms (2.9%)

prune4.0ms (0%)

localize9.0ms (0.1%)

rewrite157.0ms (1%)

series740.0ms (4.9%)

simplify96.0ms (0.6%)

prune314.0ms (2.1%)

localize11.0ms (0.1%)

rewrite145.0ms (1%)

series746.0ms (4.9%)

simplify105.0ms (0.7%)

prune300.0ms (2%)

localize11.0ms (0.1%)

rewrite103.0ms (0.7%)

series514.0ms (3.4%)

simplify100.0ms (0.7%)

prune213.0ms (1.4%)

localize15.0ms (0.1%)

rewrite240.0ms (1.6%)

series968.0ms (6.4%)

simplify213.0ms (1.4%)

prune645.0ms (4.3%)

regimes3.8s (25.1%)

bsearch118.0ms (0.8%)

simplify10.0ms (0.1%)

end0.0ms (0%)

sample4.6s (30.6%)

Profiling