Details

analyze97.0ms (1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	50%	50%	2
0%	50%	50%	3
0%	50%	50%	4
6.2%	43.7%	50%	5
9.4%	28.1%	62.5%	6
12.5%	25%	62.5%	7
15.6%	15.6%	68.8%	8
16.8%	14.4%	68.8%	9
18.5%	8.8%	72.7%	10
19.2%	7.7%	73.1%	11
20.1%	4.6%	75.2%	12
20.5%	4%	75.5%	13
21%	2.4%	76.6%	14

Compiler

Compiled 21 to 20 computations (4.8% saved)

sample29.0ms (0.3%)

Algorithm

1×

intervals

Results

18.0ms	256×	body	128	valid
0.0ms	7×	body	128	invalid
0.0ms	5×	body	128	nan

Compiler

Compiled 41 to 41 computations (0% saved)

simplify537.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

901×	`unsub-neg_binary64_1436`
453×	`exp-prod_binary64_1494`
356×	`swap-sqr_binary64_1409`
286×	`pow-plus_binary64_1505`
259×	`distribute-rgt-neg-in_binary64_1400`
238×	`exp-sum_binary64_1488`
228×	`exp-diff_binary64_1490`
223×	`cancel-sign-sub-inv_binary64_1408`
200×	`sub-neg_binary64_1435`
178×	`associate-/l*_binary64_1387`
176×	`distribute-neg-in_binary64_1403`
168×	`distribute-lft-neg-in_binary64_1399`
163×	`distribute-rgt1-in_binary64_1398`
160×	`div-sub_binary64_1447`
148×	`distribute-rgt-in_binary64_1392`
144×	`neg-mul-1_binary64_1438`
135×	`neg-sub0_binary64_1437`
122×	`*-commutative_binary64_1373`
118×	`distribute-neg-frac_binary64_1406`
102×	`distribute-rgt-neg-out_binary64_1402`
97×	`sqr-pow_binary64_1414` `distribute-lft-in_binary64_1391`
71×	`pow-base-1_binary64_1502` `pow-sqr_binary64_1415` `distribute-lft-neg-out_binary64_1401`
70×	`associate-+l-_binary64_1377`
66×	`associate--r+_binary64_1378`
64×	`distribute-rgt-out_binary64_1395`
63×	`+-commutative_binary64_1372`
57×	`associate-l_binary64_1383`
56×	`associate-/l/_binary64_1389`
55×	`associate-r_binary64_1382`
52×	`times-frac_binary64_1448`
51×	`associate--l+_binary64_1379`
45×	`remove-double-neg_binary64_1430` `associate-*l/_binary64_1385`
38×	`associate-/r*_binary64_1386`
36×	`associate-+r-_binary64_1376`
35×	`associate-+l+_binary64_1375` `associate-+r+_binary64_1374`
34×	`sqr-neg_binary64_1456`
31×	`associate--r-_binary64_1381`
28×	`associate-*r/_binary64_1384`
27×	`*-rgt-identity_binary64_1432` `sub0-neg_binary64_1429`
26×	`distribute-rgt-out--_binary64_1396`
25×	`distribute-neg-out_binary64_1404`
24×	`associate--l-_binary64_1380`
23×	`distribute-lft1-in_binary64_1397`
22×	`div0_binary64_1423`
20×	`associate-/r/_binary64_1388`
19×	`mul0-rgt_binary64_1425` `mul0-lft_binary64_1424`
18×	`exp-neg_binary64_1489`
17×	`distribute-frac-neg_binary64_1405`
15×	`exp-cbrt_binary64_1496`
12×	`*-lft-identity_binary64_1431`
11×	`--rgt-identity_binary64_1428`
9×	`+-rgt-identity_binary64_1427`
8×	`count-2_binary64_1390`
7×	`exp-lft-sqr_binary64_1497` `cube-prod_binary64_1470` `cancel-sign-sub_binary64_1407`
4×	`prod-exp_binary64_1491` `unswap-sqr_binary64_1410`
3×	`cube-unmult_binary64_1479` `distribute-lft-out--_binary64_1394` `distribute-lft-out_binary64_1393`
2×	`mul-1-neg_binary64_1434` `/-rgt-identity_binary64_1433` `difference-of-squares_binary64_1411`
1×	`exp-sqrt_binary64_1495` `1-exp_binary64_1486` `exp-1-e_binary64_1485` `rem-sqrt-square_binary64_1455` `rem-square-sqrt_binary64_1454`
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` `exp-to-pow_binary64_1504` `unpow0_binary64_1501` `unpow1_binary64_1500` `unpow-1_binary64_1499` `exp-lft-cube_binary64_1498` `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` `cube-mult_binary64_1472` `cube-div_binary64_1471` `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` `+-lft-identity_binary64_1426` `*-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`

Counts

1 → 5

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	30
1	30	27
2	73	27
3	215	27
4	452	27
5	876	27
6	1597	27
7	2314	27
8	4370	27

prune5.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	4	1	5
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	4	2	6

Error

0.1b

Counts

6 → 2

Compiler

Compiled 130 to 115 computations (11.5% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (-.f64 a (/.f64 1 3)) 9)
0.1b	(.f64 (-.f64 a (/.f64 1 3)) (+.f64 1 (/.f64 rand (sqrt.f64 (.f64 (-.f64 a (/.f64 1 3)) 9)))))
0.2b	(/.f64 rand (sqrt.f64 (*.f64 (-.f64 a (/.f64 1 3)) 9)))
0.8b	(sqrt.f64 (*.f64 (-.f64 a (/.f64 1 3)) 9))

rewrite226.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

35×	`add-sqr-sqrt_binary64_1464`
27×	`*-un-lft-identity_binary64_1442`
17×	`add-cube-cbrt_binary64_1477`
16×	`times-frac_binary64_1448` `associate-l_binary64_1383`
11×	`pow1_binary64_1503`
10×	`add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478`
8×	`associate-*l/_binary64_1385`
7×	`associate-r_binary64_1382`
6×	`flip3--_binary64_1446` `flip--_binary64_1417` `difference-of-squares_binary64_1411`
5×	`sqrt-prod_binary64_1458`
4×	`add-log-exp_binary64_1481` `sqrt-div_binary64_1459` `associate-/r*_binary64_1386` `frac-times_binary64_1452` `distribute-lft-out--_binary64_1394`
3×	`pow-prod-down_binary64_1513` `div-inv_binary64_1439` `associate-/l*_binary64_1387` `flip3-+_binary64_1445` `flip-+_binary64_1416`
2×	`sqrt-pow1_binary64_1460` `associate-/r/_binary64_1388` `prod-exp_binary64_1491` `cbrt-unprod_binary64_1475` `unswap-sqr_binary64_1410` `associate-r/_binary64_1384` `-commutative_binary64_1373`
1×	`pow1/2_binary64_1522` `div-exp_binary64_1493` `cbrt-undiv_binary64_1476` `frac-2neg_binary64_1453` `clear-num_binary64_1441` `distribute-rgt-in_binary64_1392` `distribute-lft-in_binary64_1391` `distribute-lft-out_binary64_1393`

Counts

4 → 105

Calls

4 calls:

16.0ms	(.f64 (-.f64 a (/.f64 1 3)) (+.f64 1 (/.f64 rand (sqrt.f64 (.f64 (-.f64 a (/.f64 1 3)) 9)))))
9.0ms	(*.f64 (-.f64 a (/.f64 1 3)) 9)
9.0ms	(/.f64 rand (sqrt.f64 (*.f64 (-.f64 a (/.f64 1 3)) 9)))
7.0ms	(sqrt.f64 (*.f64 (-.f64 a (/.f64 1 3)) 9))

Compiler

Compiled 3137 to 2617 computations (16.6% saved)

series832.0ms (8.3%)

Error

0.0b

Counts

4 → 24

Calls

4 calls:

728.0ms	(/.f64 rand (sqrt.f64 (*.f64 (-.f64 a (/.f64 1 3)) 9)))
63.0ms	(.f64 (-.f64 a (/.f64 1 3)) (+.f64 1 (/.f64 rand (sqrt.f64 (.f64 (-.f64 a (/.f64 1 3)) 9)))))
16.0ms	(*.f64 (-.f64 a (/.f64 1 3)) 9)
8.0ms	(sqrt.f64 (*.f64 (-.f64 a (/.f64 1 3)) 9))

Compiler

Compiled 934 to 821 computations (12.1% saved)

simplify486.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

564×	`associate-*l/_binary64_1385`
376×	`associate-*r/_binary64_1384`
320×	`*-commutative_binary64_1373`
311×	`times-frac_binary64_1448`
273×	`div-sub_binary64_1447`
225×	`associate-/l*_binary64_1387`
140×	`associate-/r*_binary64_1386`
130×	`distribute-rgt-in_binary64_1392`
129×	`distribute-lft-in_binary64_1391` `associate-l_binary64_1383`
122×	`neg-mul-1_binary64_1438`
117×	`associate-+l+_binary64_1375`
105×	`associate-r_binary64_1382`
93×	`+-commutative_binary64_1372`
77×	`associate-+r+_binary64_1374`
68×	`associate-/l/_binary64_1389`
58×	`exp-prod_binary64_1494`
51×	`*-rgt-identity_binary64_1432` `distribute-lft-neg-out_binary64_1401`
48×	`distribute-rgt-neg-out_binary64_1402`
43×	`*-lft-identity_binary64_1431`
40×	`sqr-pow_binary64_1414`
39×	`associate-/r/_binary64_1388`
36×	`sub-neg_binary64_1435`
34×	`exp-sum_binary64_1488`
33×	`cancel-sign-sub-inv_binary64_1408` `associate-+l-_binary64_1377`
29×	`log-prod_binary64_1528`
25×	`associate-+r-_binary64_1376`
23×	`distribute-neg-frac_binary64_1406`
21×	`cube-div_binary64_1471` `cube-prod_binary64_1470`
19×	`log-div_binary64_1529` `distribute-rgt-neg-in_binary64_1400`
18×	`pow-sqr_binary64_1415`
17×	`pow-plus_binary64_1505` `prod-exp_binary64_1491` `neg-sub0_binary64_1437` `distribute-rgt-out_binary64_1395`
16×	`div-exp_binary64_1493` `unswap-sqr_binary64_1410`
14×	`log-pow_binary64_1531`
13×	`exp-diff_binary64_1490` `/-rgt-identity_binary64_1433`
11×	`swap-sqr_binary64_1409` `distribute-lft-neg-in_binary64_1399`
8×	`unpow3_binary64_1508`
7×	`exp-cbrt_binary64_1496`
6×	`log-rec_binary64_1530` `pow-base-1_binary64_1502` `exp-neg_binary64_1489` `cube-mult_binary64_1472`
5×	`cube-unmult_binary64_1479` `distribute-rgt-out--_binary64_1396`
4×	`rec-exp_binary64_1492` `difference-of-squares_binary64_1411` `associate--r+_binary64_1378`
2×	`rem-sqrt-square_binary64_1455` `distribute-rgt1-in_binary64_1398` `count-2_binary64_1390` `associate--l+_binary64_1379`
1×	`1-exp_binary64_1486` `exp-1-e_binary64_1485` `rem-log-exp_binary64_1483` `rem-square-sqrt_binary64_1454` `distribute-lft-out--_binary64_1394` `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` `unpow2_binary64_1507` `unpow1/2_binary64_1506` `exp-to-pow_binary64_1504` `unpow0_binary64_1501` `unpow1_binary64_1500` `unpow-1_binary64_1499` `exp-lft-cube_binary64_1498` `exp-lft-sqr_binary64_1497` `exp-sqrt_binary64_1495` `e-exp-1_binary64_1487` `exp-0_binary64_1484` `rem-exp-log_binary64_1482` `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` `unsub-neg_binary64_1436` `mul-1-neg_binary64_1434` `remove-double-neg_binary64_1430` `sub0-neg_binary64_1429` `--rgt-identity_binary64_1428` `+-rgt-identity_binary64_1427` `+-lft-identity_binary64_1426` `mul0-rgt_binary64_1425` `mul0-lft_binary64_1424` `div0_binary64_1423` `*-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` `cancel-sign-sub_binary64_1407` `distribute-frac-neg_binary64_1405` `distribute-neg-out_binary64_1404` `distribute-neg-in_binary64_1403` `distribute-lft1-in_binary64_1397` `distribute-lft-out_binary64_1393` `associate--r-_binary64_1381`

Counts

129 → 426

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	200	2968
1	496	2728
2	1638	2728
3	4264	2728

prune628.0ms (6.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	419	7	426
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	421	7	428

Error

Counts

428 → 7

Compiler

Compiled 14526 to 11927 computations (17.9% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 9 (+.f64 a (/.f64 -1 3)))
0.2b	(.f64 (/.f64 (+.f64 a (/.f64 -1 3)) (sqrt.f64 (.f64 9 (+.f64 a (/.f64 -1 3))))) rand)
0.3b	(/.f64 (+.f64 a (/.f64 -1 3)) (sqrt.f64 (*.f64 9 (+.f64 a (/.f64 -1 3)))))
0.8b	(sqrt.f64 (*.f64 9 (+.f64 a (/.f64 -1 3))))

rewrite188.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

46×	`*-un-lft-identity_binary64_1442`
33×	`add-sqr-sqrt_binary64_1464` `times-frac_binary64_1448`
26×	`add-cube-cbrt_binary64_1477`
25×	`associate-l_binary64_1383`
13×	`add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478`
11×	`pow1_binary64_1503`
10×	`sqrt-prod_binary64_1458` `distribute-lft-out_binary64_1393`
8×	`associate-*r/_binary64_1384`
7×	`associate-r_binary64_1382`
6×	`sqrt-div_binary64_1459`
5×	`flip3-+_binary64_1445` `flip-+_binary64_1416`
4×	`add-log-exp_binary64_1481` `associate-/r/_binary64_1388` `associate-/l_binary64_1387` `associate-/r_binary64_1386`
3×	`pow-prod-down_binary64_1513` `prod-exp_binary64_1491` `cbrt-unprod_binary64_1475` `unswap-sqr_binary64_1410`
2×	`sqrt-pow1_binary64_1460` `div-exp_binary64_1493` `cbrt-undiv_binary64_1476` `div-inv_binary64_1439` `associate-/l/_binary64_1389` `*-commutative_binary64_1373`
1×	`pow1/2_binary64_1522` `frac-2neg_binary64_1453` `clear-num_binary64_1441` `associate-*l/_binary64_1385` `distribute-rgt-in_binary64_1392` `distribute-lft-in_binary64_1391`

Counts

4 → 117

Calls

4 calls:

18.0ms	(.f64 (/.f64 (+.f64 a (/.f64 -1 3)) (sqrt.f64 (.f64 9 (+.f64 a (/.f64 -1 3))))) rand)
15.0ms	(/.f64 (+.f64 a (/.f64 -1 3)) (sqrt.f64 (*.f64 9 (+.f64 a (/.f64 -1 3)))))
8.0ms	(sqrt.f64 (*.f64 9 (+.f64 a (/.f64 -1 3))))
8.0ms	(*.f64 9 (+.f64 a (/.f64 -1 3)))

Compiler

Compiled 3925 to 3289 computations (16.2% saved)

series137.0ms (1.4%)

Error

Counts

4 → 18

Calls

4 calls:

71.0ms	(sqrt.f64 (*.f64 9 (+.f64 a (/.f64 -1 3))))
33.0ms	(.f64 (/.f64 (+.f64 a (/.f64 -1 3)) (sqrt.f64 (.f64 9 (+.f64 a (/.f64 -1 3))))) rand)
15.0ms	(*.f64 9 (+.f64 a (/.f64 -1 3)))
8.0ms	(/.f64 (+.f64 a (/.f64 -1 3)) (sqrt.f64 (*.f64 9 (+.f64 a (/.f64 -1 3)))))

Compiler

Compiled 861 to 741 computations (13.9% saved)

simplify237.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

628×	`associate-*l/_binary64_1385`
549×	`times-frac_binary64_1448`
488×	`associate-*r/_binary64_1384`
387×	`associate-/l*_binary64_1387`
288×	`distribute-rgt-in_binary64_1392`
277×	`distribute-lft-in_binary64_1391`
173×	`associate-/r*_binary64_1386`
133×	`associate-/l/_binary64_1389`
118×	`associate-l_binary64_1383`
117×	`associate-/r/_binary64_1388`
90×	`associate-r_binary64_1382`
87×	`*-commutative_binary64_1373`
32×	`exp-prod_binary64_1494`
30×	`sqr-pow_binary64_1414`
24×	`*-rgt-identity_binary64_1432`
21×	`log-div_binary64_1529` `sub-neg_binary64_1435`
20×	`log-prod_binary64_1528`
15×	`cube-div_binary64_1471` `neg-mul-1_binary64_1438` `neg-sub0_binary64_1437` `*-lft-identity_binary64_1431`
13×	`swap-sqr_binary64_1409`
12×	`distribute-neg-frac_binary64_1406` `+-commutative_binary64_1372`
11×	`unswap-sqr_binary64_1410`
10×	`div-sub_binary64_1447`
9×	`div-exp_binary64_1493` `prod-exp_binary64_1491` `cube-prod_binary64_1470` `pow-sqr_binary64_1415`
8×	`cube-unmult_binary64_1479` `cancel-sign-sub-inv_binary64_1408` `distribute-lft-neg-out_binary64_1401`
7×	`mul-1-neg_binary64_1434` `distribute-rgt-neg-in_binary64_1400`
6×	`/-rgt-identity_binary64_1433`
5×	`distribute-frac-neg_binary64_1405` `distribute-lft-neg-in_binary64_1399`
4×	`unpow3_binary64_1508` `exp-sum_binary64_1488` `cube-mult_binary64_1472` `distribute-rgt-neg-out_binary64_1402`
3×	`rec-exp_binary64_1492` `distribute-neg-in_binary64_1403`
2×	`remove-double-neg_binary64_1430` `*-inverses_binary64_1422` `distribute-rgt-out--_binary64_1396` `distribute-rgt-out_binary64_1395` `associate-+l-_binary64_1377` `associate-+r-_binary64_1376` `associate-+l+_binary64_1375`
1×	`log-rec_binary64_1530` `pow-plus_binary64_1505` `exp-cbrt_binary64_1496` `1-exp_binary64_1486` `exp-1-e_binary64_1485` `rem-log-exp_binary64_1483` `rem-sqrt-square_binary64_1455` `rem-square-sqrt_binary64_1454` `unsub-neg_binary64_1436` `difference-of-squares_binary64_1411` `count-2_binary64_1390` `associate--r+_binary64_1378` `associate-+r+_binary64_1374`
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` `pow-base-0_binary64_1526` `unpow1/3_binary64_1509` `unpow2_binary64_1507` `unpow1/2_binary64_1506` `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-sqrt_binary64_1495` `exp-diff_binary64_1490` `exp-neg_binary64_1489` `e-exp-1_binary64_1487` `exp-0_binary64_1484` `rem-exp-log_binary64_1482` `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` `sub0-neg_binary64_1429` `--rgt-identity_binary64_1428` `+-rgt-identity_binary64_1427` `+-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` `cancel-sign-sub_binary64_1407` `distribute-neg-out_binary64_1404` `distribute-rgt1-in_binary64_1398` `distribute-lft1-in_binary64_1397` `distribute-lft-out--_binary64_1394` `distribute-lft-out_binary64_1393` `associate--r-_binary64_1381` `associate--l-_binary64_1380` `associate--l+_binary64_1379`

Counts

135 → 145

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	171	3204
1	410	2909
2	1212	2894

prune176.0ms (1.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	145	0	145
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	145	7	152

Error

Counts

152 → 7

Compiler

Compiled 4902 to 4088 computations (16.6% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (+.f64 a (/.f64 -1 3)))
0.1b	(.f64 (-.f64 a (/.f64 1 3)) (+.f64 1 (.f64 (/.f64 1 (sqrt.f64 (+.f64 a (/.f64 -1 3)))) (/.f64 rand (sqrt.f64 9)))))
0.3b	(/.f64 1 (sqrt.f64 (+.f64 a (/.f64 -1 3))))
0.3b	(*.f64 (/.f64 1 (sqrt.f64 (+.f64 a (/.f64 -1 3)))) (/.f64 rand (sqrt.f64 9)))

rewrite308.0ms (3.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

106×	`add-sqr-sqrt_binary64_1464`
84×	`times-frac_binary64_1448`
76×	`*-un-lft-identity_binary64_1442`
52×	`sqrt-prod_binary64_1458`
50×	`add-cube-cbrt_binary64_1477`
35×	`associate-l_binary64_1383`
32×	`add-exp-log_binary64_1480`
25×	`associate-r_binary64_1382`
20×	`add-cbrt-cube_binary64_1478`
16×	`unswap-sqr_binary64_1410`
11×	`pow1_binary64_1503`
10×	`div-exp_binary64_1493`
9×	`prod-exp_binary64_1491`
8×	`distribute-lft-out_binary64_1393`
7×	`associate-/r*_binary64_1386`
6×	`flip3-+_binary64_1445` `sqrt-div_binary64_1459` `flip-+_binary64_1416`
5×	`cbrt-unprod_binary64_1475` `cbrt-undiv_binary64_1476` `frac-times_binary64_1452`
4×	`add-log-exp_binary64_1481` `div-inv_binary64_1439` `associate-/r/_binary64_1388`
3×	`1-exp_binary64_1486` `rec-exp_binary64_1492` `associate-l/_binary64_1385` `associate-r/_binary64_1384` `pow-flip_binary64_1516` `associate-/l*_binary64_1387` `flip3--_binary64_1446` `flip--_binary64_1417` `difference-of-squares_binary64_1411`
2×	`pow-prod-down_binary64_1513` `*-commutative_binary64_1373` `pow1/2_binary64_1522` `sqrt-pow1_binary64_1460` `distribute-lft-out--_binary64_1394`
1×	`inv-pow_binary64_1527` `frac-2neg_binary64_1453` `clear-num_binary64_1441` `distribute-rgt-in_binary64_1392` `distribute-lft-in_binary64_1391` `rem-sqrt-square_binary64_1455`

Counts

4 → 188

Calls

4 calls:

23.0ms	(*.f64 (/.f64 1 (sqrt.f64 (+.f64 a (/.f64 -1 3)))) (/.f64 rand (sqrt.f64 9)))
12.0ms	(.f64 (-.f64 a (/.f64 1 3)) (+.f64 1 (.f64 (/.f64 1 (sqrt.f64 (+.f64 a (/.f64 -1 3)))) (/.f64 rand (sqrt.f64 9)))))
8.0ms	(/.f64 1 (sqrt.f64 (+.f64 a (/.f64 -1 3))))
5.0ms	(sqrt.f64 (+.f64 a (/.f64 -1 3)))

Compiler

Compiled 6290 to 5419 computations (13.8% saved)

series173.0ms (1.7%)

Error

Counts

4 → 21

Calls

4 calls:

73.0ms	(.f64 (-.f64 a (/.f64 1 3)) (+.f64 1 (.f64 (/.f64 1 (sqrt.f64 (+.f64 a (/.f64 -1 3)))) (/.f64 rand (sqrt.f64 9)))))
43.0ms	(*.f64 (/.f64 1 (sqrt.f64 (+.f64 a (/.f64 -1 3)))) (/.f64 rand (sqrt.f64 9)))
36.0ms	(/.f64 1 (sqrt.f64 (+.f64 a (/.f64 -1 3))))
10.0ms	(sqrt.f64 (+.f64 a (/.f64 -1 3)))

Compiler

Compiled 929 to 824 computations (11.3% saved)

simplify737.0ms (7.3%)

Algorithm

1×	egg-herbie

Rules

453×	`associate-/r*_binary64_1386`
226×	`associate-*l/_binary64_1385`
200×	`associate-l_binary64_1383`
198×	`associate-r_binary64_1382`
172×	`associate-*r/_binary64_1384`
159×	`associate-+l+_binary64_1375`
155×	`*-commutative_binary64_1373`
147×	`+-commutative_binary64_1372`
137×	`associate-/l*_binary64_1387`
123×	`distribute-rgt-in_binary64_1392`
122×	`distribute-lft-in_binary64_1391`
96×	`associate-/l/_binary64_1389`
92×	`log-div_binary64_1529`
90×	`associate-+r+_binary64_1374`
75×	`*-lft-identity_binary64_1431`
74×	`distribute-neg-frac_binary64_1406`
73×	`cancel-sign-sub-inv_binary64_1408`
67×	`*-rgt-identity_binary64_1432`
66×	`associate-+l-_binary64_1377`
60×	`sub-neg_binary64_1435`
59×	`distribute-lft-neg-out_binary64_1401`
55×	`distribute-rgt-neg-in_binary64_1400`
50×	`sqr-pow_binary64_1414`
49×	`cube-div_binary64_1471`
48×	`distribute-rgt-neg-out_binary64_1402`
46×	`associate-/r/_binary64_1388`
42×	`unswap-sqr_binary64_1410`
40×	`associate--l-_binary64_1380`
37×	`exp-prod_binary64_1494` `associate-+r-_binary64_1376`
35×	`distribute-lft-neg-in_binary64_1399`
33×	`neg-mul-1_binary64_1438`
31×	`neg-sub0_binary64_1437`
30×	`times-frac_binary64_1448`
29×	`distribute-rgt-out_binary64_1395`
28×	`log-prod_binary64_1528` `/-rgt-identity_binary64_1433`
27×	`cube-prod_binary64_1470`
24×	`div-sub_binary64_1447`
20×	`pow-sqr_binary64_1415`
17×	`swap-sqr_binary64_1409`
16×	`log-pow_binary64_1531`
14×	`distribute-rgt-out--_binary64_1396`
13×	`exp-sum_binary64_1488`
12×	`associate--r+_binary64_1378`
11×	`log-rec_binary64_1530` `unpow3_binary64_1508`
9×	`cube-mult_binary64_1472`
8×	`distribute-neg-out_binary64_1404` `associate--r-_binary64_1381`
6×	`cube-unmult_binary64_1479` `distribute-neg-in_binary64_1403` `distribute-lft-out_binary64_1393` `associate--l+_binary64_1379`
5×	`pow-plus_binary64_1505` `rem-sqrt-square_binary64_1455` `difference-of-squares_binary64_1411`
4×	`exp-diff_binary64_1490`
3×	`pow-base-1_binary64_1502` `distribute-lft-out--_binary64_1394`
2×	`exp-cbrt_binary64_1496` `sqr-neg_binary64_1456` `rem-square-sqrt_binary64_1454` `sub0-neg_binary64_1429` `distribute-frac-neg_binary64_1405` `distribute-rgt1-in_binary64_1398`
1×	`div-exp_binary64_1493` `rec-exp_binary64_1492` `prod-exp_binary64_1491` `1-exp_binary64_1486` `exp-1-e_binary64_1485` `rem-log-exp_binary64_1483` `cube-neg_binary64_1469` `rem-cbrt-cube_binary64_1466` `sqr-abs_binary64_1457` `unsub-neg_binary64_1436` `mul-1-neg_binary64_1434` `remove-double-neg_binary64_1430` `div0_binary64_1423` `*-inverses_binary64_1422` `lft-mult-inverse_binary64_1420` `rgt-mult-inverse_binary64_1419` `remove-double-div_binary64_1418` `count-2_binary64_1390`
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` `unpow2_binary64_1507` `unpow1/2_binary64_1506` `exp-to-pow_binary64_1504` `unpow0_binary64_1501` `unpow1_binary64_1500` `unpow-1_binary64_1499` `exp-lft-cube_binary64_1498` `exp-lft-sqr_binary64_1497` `exp-sqrt_binary64_1495` `exp-neg_binary64_1489` `e-exp-1_binary64_1487` `exp-0_binary64_1484` `rem-exp-log_binary64_1482` `rem-3cbrt-rft_binary64_1468` `rem-3cbrt-lft_binary64_1467` `rem-cube-cbrt_binary64_1465` `--rgt-identity_binary64_1428` `+-rgt-identity_binary64_1427` `+-lft-identity_binary64_1426` `mul0-rgt_binary64_1425` `mul0-lft_binary64_1424` `+-inverses_binary64_1421` `difference-of-sqr--1_binary64_1413` `difference-of-sqr-1_binary64_1412` `cancel-sign-sub_binary64_1407` `distribute-lft1-in_binary64_1397`

Counts

209 → 598

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	292	5389
1	800	4809
2	2725	4718
3	4954	4718

prune1.1s (10.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	598	0	598
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	598	7	605

Error

Counts

605 → 7

Compiler

Compiled 21201 to 18009 computations (15.1% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (+.f64 a (/.f64 -1 3)))
0.1b	(.f64 (-.f64 a (/.f64 1 3)) (+.f64 1 (/.f64 rand (.f64 (sqrt.f64 (+.f64 a (/.f64 -1 3))) (sqrt.f64 9)))))
0.2b	(/.f64 rand (*.f64 (sqrt.f64 (+.f64 a (/.f64 -1 3))) (sqrt.f64 9)))
0.3b	(*.f64 (sqrt.f64 (+.f64 a (/.f64 -1 3))) (sqrt.f64 9))

rewrite153.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

31×	`add-sqr-sqrt_binary64_1464`
23×	`*-un-lft-identity_binary64_1442`
15×	`sqrt-prod_binary64_1458` `associate-l_binary64_1383`
13×	`add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478` `add-cube-cbrt_binary64_1477`
11×	`pow1_binary64_1503`
10×	`associate-r_binary64_1382`
6×	`flip3-+_binary64_1445` `sqrt-div_binary64_1459` `associate-*l/_binary64_1385` `flip-+_binary64_1416`
5×	`unswap-sqr_binary64_1410` `times-frac_binary64_1448`
4×	`pow-prod-down_binary64_1513` `add-log-exp_binary64_1481` `frac-times_binary64_1452`
3×	`pow1/2_binary64_1522` `sqrt-pow1_binary64_1460` `prod-exp_binary64_1491` `cbrt-unprod_binary64_1475` `distribute-lft-out_binary64_1393` `associate-/l*_binary64_1387` `flip3--_binary64_1446` `flip--_binary64_1417` `difference-of-squares_binary64_1411`
2×	`-commutative_binary64_1373` `div-exp_binary64_1493` `cbrt-undiv_binary64_1476` `div-inv_binary64_1439` `associate-/r/_binary64_1388` `associate-r/_binary64_1384` `distribute-lft-out--_binary64_1394`
1×	`sqrt-unprod_binary64_1462` `frac-2neg_binary64_1453` `clear-num_binary64_1441` `associate-/r*_binary64_1386` `distribute-rgt-in_binary64_1392` `distribute-lft-in_binary64_1391` `rem-sqrt-square_binary64_1455`

Counts

4 → 106

Calls

4 calls:

15.0ms	(.f64 (-.f64 a (/.f64 1 3)) (+.f64 1 (/.f64 rand (.f64 (sqrt.f64 (+.f64 a (/.f64 -1 3))) (sqrt.f64 9)))))
12.0ms	(*.f64 (sqrt.f64 (+.f64 a (/.f64 -1 3))) (sqrt.f64 9))
11.0ms	(/.f64 rand (*.f64 (sqrt.f64 (+.f64 a (/.f64 -1 3))) (sqrt.f64 9)))
5.0ms	(sqrt.f64 (+.f64 a (/.f64 -1 3)))

Compiler

Compiled 3240 to 2749 computations (15.2% saved)

series137.0ms (1.4%)

Error

Counts

4 → 21

Calls

4 calls:

62.0ms	(.f64 (-.f64 a (/.f64 1 3)) (+.f64 1 (/.f64 rand (.f64 (sqrt.f64 (+.f64 a (/.f64 -1 3))) (sqrt.f64 9)))))
45.0ms	(/.f64 rand (*.f64 (sqrt.f64 (+.f64 a (/.f64 -1 3))) (sqrt.f64 9)))
11.0ms	(*.f64 (sqrt.f64 (+.f64 a (/.f64 -1 3))) (sqrt.f64 9))
7.0ms	(sqrt.f64 (+.f64 a (/.f64 -1 3)))

Compiler

Compiled 886 to 784 computations (11.5% saved)

simplify482.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

491×	`associate-/r*_binary64_1386`
433×	`associate-/l*_binary64_1387`
172×	`div-sub_binary64_1447`
160×	`associate-+l+_binary64_1375`
143×	`+-commutative_binary64_1372`
138×	`neg-mul-1_binary64_1438`
134×	`associate-l_binary64_1383`
125×	`distribute-rgt-in_binary64_1392`
124×	`distribute-lft-in_binary64_1391`
113×	`associate-/l/_binary64_1389`
109×	`associate-r_binary64_1382`
90×	`*-commutative_binary64_1373`
88×	`associate-+r+_binary64_1374`
72×	`exp-prod_binary64_1494`
67×	`cancel-sign-sub-inv_binary64_1408`
62×	`associate-/r/_binary64_1388`
55×	`associate-*l/_binary64_1385`
53×	`times-frac_binary64_1448`
52×	`associate-*r/_binary64_1384`
51×	`sub-neg_binary64_1435`
48×	`sqr-pow_binary64_1414` `distribute-lft-neg-out_binary64_1401`
46×	`*-lft-identity_binary64_1431`
44×	`cube-prod_binary64_1470`
43×	`associate-+l-_binary64_1377`
42×	`*-rgt-identity_binary64_1432`
40×	`exp-sum_binary64_1488`
39×	`cube-div_binary64_1471` `distribute-rgt-neg-out_binary64_1402`
38×	`log-prod_binary64_1528` `distribute-neg-frac_binary64_1406`
37×	`distribute-rgt-neg-in_binary64_1400`
33×	`log-div_binary64_1529`
32×	`associate-+r-_binary64_1376`
28×	`neg-sub0_binary64_1437` `distribute-lft-neg-in_binary64_1399`
25×	`distribute-rgt-out_binary64_1395`
20×	`pow-sqr_binary64_1415`
17×	`exp-diff_binary64_1490`
15×	`/-rgt-identity_binary64_1433`
14×	`log-pow_binary64_1531` `unpow3_binary64_1508` `pow-plus_binary64_1505`
13×	`swap-sqr_binary64_1409`
12×	`cube-mult_binary64_1472`
11×	`log-rec_binary64_1530`
10×	`unswap-sqr_binary64_1410` `distribute-rgt-out--_binary64_1396` `associate--r+_binary64_1378`
7×	`pow-base-1_binary64_1502`
5×	`cube-unmult_binary64_1479` `rem-sqrt-square_binary64_1455` `difference-of-squares_binary64_1411`
4×	`div-exp_binary64_1493` `prod-exp_binary64_1491` `exp-neg_binary64_1489` `distribute-neg-in_binary64_1403`
3×	`exp-cbrt_binary64_1496` `cube-neg_binary64_1469` `distribute-frac-neg_binary64_1405` `associate--l+_binary64_1379`
2×	`rec-exp_binary64_1492` `sqr-neg_binary64_1456` `rem-square-sqrt_binary64_1454` `unsub-neg_binary64_1436` `mul-1-neg_binary64_1434` `remove-double-neg_binary64_1430` `distribute-rgt1-in_binary64_1398`
1×	`1-exp_binary64_1486` `exp-1-e_binary64_1485` `rem-log-exp_binary64_1483` `distribute-lft-out--_binary64_1394` `count-2_binary64_1390`
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` `unpow2_binary64_1507` `unpow1/2_binary64_1506` `exp-to-pow_binary64_1504` `unpow0_binary64_1501` `unpow1_binary64_1500` `unpow-1_binary64_1499` `exp-lft-cube_binary64_1498` `exp-lft-sqr_binary64_1497` `exp-sqrt_binary64_1495` `e-exp-1_binary64_1487` `exp-0_binary64_1484` `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` `sub0-neg_binary64_1429` `--rgt-identity_binary64_1428` `+-rgt-identity_binary64_1427` `+-lft-identity_binary64_1426` `mul0-rgt_binary64_1425` `mul0-lft_binary64_1424` `div0_binary64_1423` `*-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` `cancel-sign-sub_binary64_1407` `distribute-neg-out_binary64_1404` `distribute-lft1-in_binary64_1397` `distribute-lft-out_binary64_1393` `associate--r-_binary64_1381` `associate--l-_binary64_1380`

Counts

127 → 269

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	205	2992
1	542	2764
2	1821	2757
3	4398	2755

prune427.0ms (4.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	269	0	269
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	269	7	276

Error

Counts

276 → 7

Compiler

Compiled 10121 to 8378 computations (17.2% saved)

regimes580.0ms (5.8%)

Accuracy

Total 0.1b remaining (99.4%)

Threshold costs 0.1b (99.4%)

Compiler

Compiled 8110 to 7346 computations (9.4% saved)

bsearch0.0ms (0%)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`neg-mul-1_binary64_1438` `neg-sub0_binary64_1437`
4×	`*-commutative_binary64_1373` `+-commutative_binary64_1372`
3×	`sub-neg_binary64_1435` `*-rgt-identity_binary64_1432`
2×	`unsub-neg_binary64_1436` `distribute-rgt-neg-out_binary64_1402`
1×	`1-exp_binary64_1486` `*-lft-identity_binary64_1431` `distribute-neg-frac_binary64_1406` `distribute-lft-neg-out_binary64_1401` `distribute-rgt-neg-in_binary64_1400` `distribute-lft-neg-in_binary64_1399`
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` `unpow1_binary64_1500` `e-exp-1_binary64_1487` `exp-1-e_binary64_1485` `exp-0_binary64_1484` `sqr-abs_binary64_1457` `sqr-neg_binary64_1456` `mul-1-neg_binary64_1434` `/-rgt-identity_binary64_1433` `remove-double-neg_binary64_1430` `sub0-neg_binary64_1429` `--rgt-identity_binary64_1428` `+-rgt-identity_binary64_1427` `+-lft-identity_binary64_1426` `cancel-sign-sub-inv_binary64_1408` `cancel-sign-sub_binary64_1407` `distribute-frac-neg_binary64_1405` `distribute-neg-out_binary64_1404` `distribute-neg-in_binary64_1403`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	27
1	20	27
2	26	27
3	30	27
4	33	27
5	40	27
6	39	27

Proof

(* f64 (- f64 h0 (/ f64 1 3)) (+ f64 1 (/ f64 h1 (sqrt f64 (* f64 (=> (- f64 h0 (/ f64 1 3))) 9)))))
sub-neg_binary64_1435 =>
(* f64 (=> (- f64 h0 (/ f64 1 3))) (+ f64 1 (/ f64 h1 (sqrt f64 (* f64 (+ f64 h0 (neg f64 (/ f64 1 3))) 9)))))
sub-neg_binary64_1435 =>
(* f64 (+ f64 h0 (neg f64 (/ f64 1 3))) (+ f64 1 (/ f64 h1 (sqrt f64 (* f64 (+ f64 h0 (=> (neg f64 (/ f64 1 3)))) 9)))))
distribute-neg-frac_binary64_1406 =>
(* f64 (+ f64 h0 (=> (neg f64 (/ f64 1 3)))) (+ f64 1 (/ f64 h1 (sqrt f64 (* f64 (+ f64 h0 (/ f64 (neg f64 1) 3)) 9)))))
distribute-neg-frac_binary64_1406 =>
(* f64 (+ f64 h0 (/ f64 (neg f64 1) 3)) (+ f64 1 (/ f64 h1 (sqrt f64 (* f64 (+ f64 h0 (/ f64 (=> (neg f64 1)) 3)) 9)))))
neg-mul-1_binary64_1438 =>
(* f64 (+ f64 h0 (/ f64 (=> (neg f64 1)) 3)) (+ f64 1 (/ f64 h1 (sqrt f64 (* f64 (+ f64 h0 (/ f64 (* f64 -1 1) 3)) 9)))))
neg-mul-1_binary64_1438 =>
(* f64 (+ f64 h0 (/ f64 (* f64 -1 1) 3)) (+ f64 1 (/ f64 h1 (sqrt f64 (* f64 (+ f64 h0 (/ f64 (=> (* f64 -1 1)) 3)) 9)))))
*-rgt-identity_binary64_1432 =>
(* f64 (+ f64 h0 (/ f64 (=> (* f64 -1 1)) 3)) (+ f64 1 (/ f64 h1 (sqrt f64 (* f64 (+ f64 h0 (/ f64 -1 3)) 9)))))
*-rgt-identity_binary64_1432 =>
(* f64 (+ f64 h0 (/ f64 -1 3)) (+ f64 1 (/ f64 h1 (sqrt f64 (* f64 (+ f64 h0 (/ f64 -1 3)) 9)))))

end0.0ms (0%)

sample2.4s (23.6%)

Algorithm

1×

intervals

Results

643.0ms	8000×	body	128	valid
24.0ms	271×	body	128	invalid
17.0ms	262×	body	128	nan

Compiler

Compiled 2053 to 1861 computations (9.4% saved)

Details

analyze97.0ms (1%)

sample29.0ms (0.3%)

simplify537.0ms (5.3%)

prune5.0ms (0%)

localize11.0ms (0.1%)

rewrite226.0ms (2.2%)

series832.0ms (8.3%)

simplify486.0ms (4.8%)

prune628.0ms (6.2%)

localize12.0ms (0.1%)

rewrite188.0ms (1.9%)

series137.0ms (1.4%)

simplify237.0ms (2.3%)

prune176.0ms (1.7%)

localize16.0ms (0.2%)

rewrite308.0ms (3.1%)

series173.0ms (1.7%)

simplify737.0ms (7.3%)

prune1.1s (10.6%)

localize12.0ms (0.1%)

rewrite153.0ms (1.5%)

series137.0ms (1.4%)

simplify482.0ms (4.8%)

prune427.0ms (4.2%)

regimes580.0ms (5.8%)

bsearch0.0ms (0%)

simplify6.0ms (0.1%)

end0.0ms (0%)

sample2.4s (23.6%)

Profiling