Details

Time bar (total: 6.6s)

analyze638.0ms (9.7%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
49.1%50.7%0.2%9
49.5%50.3%0.2%10
49.7%50.1%0.2%11
50.2%49.6%0.2%12
60.5%39.3%0.2%13
60.6%37.9%1.4%14
Compiler

Compiled 10 to 10 computations (0% saved)

sample24.0ms (0.4%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
3.0ms89×body128invalid
Compiler

Compiled 19 to 23 computations (-21.1% saved)

simplify581.0ms (8.9%)

Algorithm
1×egg-herbie
Rules
721×exp-prod_binary64_1494
492×cube-prod_binary64_1470
323×div-sub_binary64_1447
255×sub-neg_binary64_1435
219×exp-sum_binary64_1488
188×swap-sqr_binary64_1409
186×distribute-rgt-in_binary64_1392
183×distribute-rgt-neg-in_binary64_1400
175×distribute-lft-neg-in_binary64_1399 *-commutative_binary64_1373
159×distribute-neg-in_binary64_1403
132×associate-/l/_binary64_1389
130×distribute-rgt1-in_binary64_1398
128×neg-mul-1_binary64_1438
124×cancel-sign-sub-inv_binary64_1408
122×associate-/l*_binary64_1387
115×exp-diff_binary64_1490
108×pow-plus_binary64_1505 unsub-neg_binary64_1436 +-commutative_binary64_1372
98×neg-sub0_binary64_1437 distribute-rgt-neg-out_binary64_1402
97×distribute-lft-neg-out_binary64_1401
86×associate-+l+_binary64_1375
82×distribute-neg-frac_binary64_1406
79×cube-div_binary64_1471
71×times-frac_binary64_1448 associate--r+_binary64_1378
68×associate-+l-_binary64_1377
57×distribute-lft-in_binary64_1391
54×distribute-frac-neg_binary64_1405
53×associate--l+_binary64_1379
46×associate-*r*_binary64_1382
42×associate-+r+_binary64_1374
39×distribute-rgt-out_binary64_1395
35×associate-/r*_binary64_1386
32×sqr-pow_binary64_1414 distribute-neg-out_binary64_1404 associate-+r-_binary64_1376
31×associate--r-_binary64_1381
29×pow-sqr_binary64_1415
28×associate--l-_binary64_1380
27×pow-base-1_binary64_1502
26×distribute-rgt-out--_binary64_1396 associate-/r/_binary64_1388
25×remove-double-neg_binary64_1430 sub0-neg_binary64_1429
14×cube-unmult_binary64_1479
13×count-2_binary64_1390 associate-*r/_binary64_1384
12×exp-lft-sqr_binary64_1497 exp-sqrt_binary64_1495 div0_binary64_1423 associate-*l*_binary64_1383
11×+-lft-identity_binary64_1426
9×+-rgt-identity_binary64_1427
6×*-rgt-identity_binary64_1432 --rgt-identity_binary64_1428 associate-*l/_binary64_1385
5×mul0-lft_binary64_1424 +-inverses_binary64_1421 remove-double-div_binary64_1418
4×exp-neg_binary64_1489 *-lft-identity_binary64_1431 unswap-sqr_binary64_1410 distribute-lft1-in_binary64_1397
3×sqr-neg_binary64_1456 /-rgt-identity_binary64_1433 distribute-lft-out--_binary64_1394 distribute-lft-out_binary64_1393
2×*-inverses_binary64_1422
1×unpow3_binary64_1508 1-exp_binary64_1486 exp-1-e_binary64_1485 cube-neg_binary64_1469 rem-sqrt-square_binary64_1455 mul0-rgt_binary64_1425 difference-of-sqr-1_binary64_1412 difference-of-squares_binary64_1411
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 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-cbrt_binary64_1496 div-exp_binary64_1493 rec-exp_binary64_1492 prod-exp_binary64_1491 e-exp-1_binary64_1487 exp-0_binary64_1484 rem-log-exp_binary64_1483 rem-exp-log_binary64_1482 cube-mult_binary64_1472 rem-3cbrt-rft_binary64_1468 rem-3cbrt-lft_binary64_1467 rem-cbrt-cube_binary64_1466 rem-cube-cbrt_binary64_1465 sqr-abs_binary64_1457 rem-square-sqrt_binary64_1454 mul-1-neg_binary64_1434 lft-mult-inverse_binary64_1420 rgt-mult-inverse_binary64_1419 difference-of-sqr--1_binary64_1413 cancel-sign-sub_binary64_1407
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01013
12113
24513
36913
413213
524413
653213
7136213
8195313
9354113

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
0.0b
Counts
2 → 1
Compiler

Compiled 18 to 18 computations (0% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(-.f64 (+.f64 x y) z)
0.0b
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))

rewrite64.0ms (1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
20×*-un-lft-identity_binary64_1442
11×add-sqr-sqrt_binary64_1464
7×add-exp-log_binary64_1480 add-log-exp_binary64_1481 add-cbrt-cube_binary64_1478
6×times-frac_binary64_1448 distribute-lft-out--_binary64_1394 associate-/l*_binary64_1387
5×add-cube-cbrt_binary64_1477
3×difference-of-squares_binary64_1411 distribute-lft-out_binary64_1393 cancel-sign-sub-inv_binary64_1408
2×pow1_binary64_1503 div-exp_binary64_1493 cbrt-undiv_binary64_1476 flip3--_binary64_1446 associate-/l/_binary64_1389 flip--_binary64_1417 diff-log_binary64_1534
1×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 sum-log_binary64_1533 sub-neg_binary64_1435 associate--l+_binary64_1379
Counts
2 → 49
Calls

2 calls:

9.0ms
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
6.0ms
(-.f64 (+.f64 x y) z)
Compiler

Compiled 792 to 305 computations (61.5% saved)

series490.0ms (7.5%)

Error
0.0b
Counts
2 → 39
Calls

2 calls:

359.0ms
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
102.0ms
(-.f64 (+.f64 x y) z)
Compiler

Compiled 1025 to 827 computations (19.3% saved)

simplify207.0ms (3.2%)

Algorithm
1×egg-herbie
Rules
388×div-sub_binary64_1447
384×associate-*l*_binary64_1383
366×distribute-rgt-in_binary64_1392
350×distribute-lft-in_binary64_1391
305×associate-*r*_binary64_1382
256×times-frac_binary64_1448
247×associate-/l*_binary64_1387
173×associate-/r*_binary64_1386
119×*-commutative_binary64_1373
114×associate-*l/_binary64_1385
101×associate-*r/_binary64_1384
96×exp-prod_binary64_1494
87×associate-+l+_binary64_1375
86×associate-/l/_binary64_1389
70×associate-+r+_binary64_1374
62×exp-sum_binary64_1488
61×sub-neg_binary64_1435
55×+-commutative_binary64_1372
44×cancel-sign-sub-inv_binary64_1408
43×associate-/r/_binary64_1388
38×distribute-lft-neg-out_binary64_1401
35×neg-sub0_binary64_1437
34×cube-prod_binary64_1470
33×neg-mul-1_binary64_1438
32×distribute-rgt-neg-in_binary64_1400
22×associate-+r-_binary64_1376
21×exp-diff_binary64_1490 distribute-neg-in_binary64_1403 distribute-rgt-neg-out_binary64_1402
18×distribute-lft-neg-in_binary64_1399
17×associate--l+_binary64_1379 associate-+l-_binary64_1377
15×associate--r+_binary64_1378
13×sqr-pow_binary64_1414
12×distribute-neg-frac_binary64_1406 distribute-rgt-out_binary64_1395
10×cube-unmult_binary64_1479
9×exp-neg_binary64_1489
7×unpow3_binary64_1508 distribute-rgt-out--_binary64_1396 distribute-lft-out_binary64_1393
6×unsub-neg_binary64_1436 swap-sqr_binary64_1409
5×log-div_binary64_1529 div-exp_binary64_1493 sqr-neg_binary64_1456 distribute-lft-out--_binary64_1394 associate--r-_binary64_1381
4×exp-sqrt_binary64_1495 +-rgt-identity_binary64_1427 pow-sqr_binary64_1415
3×prod-exp_binary64_1491 cube-mult_binary64_1472 mul-1-neg_binary64_1434 difference-of-squares_binary64_1411
2×cube-div_binary64_1471 rem-sqrt-square_binary64_1455 unswap-sqr_binary64_1410
1×log-prod_binary64_1528 pow-plus_binary64_1505 pow-base-1_binary64_1502 1-exp_binary64_1486 exp-1-e_binary64_1485 cube-neg_binary64_1469 rem-3cbrt-lft_binary64_1467 rem-square-sqrt_binary64_1454 *-rgt-identity_binary64_1432 *-lft-identity_binary64_1431 remove-double-neg_binary64_1430 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 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 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-cbrt_binary64_1496 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-cbrt-cube_binary64_1466 rem-cube-cbrt_binary64_1465 sqr-abs_binary64_1457 /-rgt-identity_binary64_1433 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_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-rgt1-in_binary64_1398 distribute-lft1-in_binary64_1397 count-2_binary64_1390 associate--l-_binary64_1380
Counts
88 → 240
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01241223
13261090
29771046
341801010

prune197.0ms (3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New2382240
Fresh000
Picked011
Done000
Total2383241
Error
0b
Counts
241 → 3
Compiler

Compiled 3752 to 1216 computations (67.6% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 x (-.f64 y z))
0.3b
(*.f64 (/.f64 1 t) (/.f64 (+.f64 x (-.f64 y z)) 2))

rewrite114.0ms (1.7%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
41×*-un-lft-identity_binary64_1442
36×add-sqr-sqrt_binary64_1464
31×times-frac_binary64_1448
24×add-exp-log_binary64_1480
19×add-cube-cbrt_binary64_1477 associate-*r*_binary64_1382
14×add-cbrt-cube_binary64_1478
13×associate-*l*_binary64_1383
8×div-exp_binary64_1493 prod-exp_binary64_1491 distribute-lft-out_binary64_1393
7×add-log-exp_binary64_1481
6×unswap-sqr_binary64_1410
4×pow1_binary64_1503 cbrt-unprod_binary64_1475 cbrt-undiv_binary64_1476 distribute-lft-out--_binary64_1394 associate-+r+_binary64_1374
3×cancel-sign-sub-inv_binary64_1408
2×1-exp_binary64_1486 rec-exp_binary64_1492 div-inv_binary64_1439 sum-log_binary64_1533
1×pow-prod-down_binary64_1513 frac-times_binary64_1452 associate-*l/_binary64_1385 associate-*r/_binary64_1384 *-commutative_binary64_1373 diff-log_binary64_1534 flip3-+_binary64_1445 flip-+_binary64_1416 associate-+r-_binary64_1376 sub-neg_binary64_1435 +-commutative_binary64_1372
Counts
2 → 81
Calls

2 calls:

17.0ms
(*.f64 (/.f64 1 t) (/.f64 (+.f64 x (-.f64 y z)) 2))
6.0ms
(+.f64 x (-.f64 y z))
Compiler

Compiled 1591 to 817 computations (48.6% saved)

series494.0ms (7.5%)

Error
0b
Counts
2 → 39
Calls

2 calls:

374.0ms
(*.f64 (/.f64 1 t) (/.f64 (+.f64 x (-.f64 y z)) 2))
93.0ms
(+.f64 x (-.f64 y z))
Compiler

Compiled 1115 to 917 computations (17.8% saved)

simplify271.0ms (4.1%)

Algorithm
1×egg-herbie
Rules
475×distribute-rgt-in_binary64_1392
467×associate-/l*_binary64_1387
458×distribute-lft-in_binary64_1391
380×times-frac_binary64_1448
336×associate-/l/_binary64_1389
125×associate-*l/_binary64_1385
123×associate-/r/_binary64_1388
109×associate-*r*_binary64_1382
106×associate-*r/_binary64_1384
100×associate-/r*_binary64_1386
99×*-commutative_binary64_1373
85×associate-*l*_binary64_1383
60×sub-neg_binary64_1435
59×associate-+l+_binary64_1375
57×div-sub_binary64_1447
52×cancel-sign-sub-inv_binary64_1408
41×associate-+r+_binary64_1374
35×*-lft-identity_binary64_1431
34×distribute-lft-neg-out_binary64_1401
33×associate-+l-_binary64_1377
27×associate--r+_binary64_1378
24×log-div_binary64_1529
23×*-rgt-identity_binary64_1432 distribute-rgt-neg-out_binary64_1402 +-commutative_binary64_1372
22×neg-sub0_binary64_1437 sqr-pow_binary64_1414 distribute-neg-in_binary64_1403 distribute-rgt-neg-in_binary64_1400
21×exp-prod_binary64_1494 neg-mul-1_binary64_1438 associate-+r-_binary64_1376
20×associate--l+_binary64_1379
18×associate--l-_binary64_1380
16×exp-sum_binary64_1488 cube-div_binary64_1471
13×distribute-lft-neg-in_binary64_1399
12×/-rgt-identity_binary64_1433
11×swap-sqr_binary64_1409
10×log-prod_binary64_1528 distribute-rgt-out--_binary64_1396
9×log-rec_binary64_1530 distribute-neg-frac_binary64_1406
8×associate--r-_binary64_1381
7×cube-unmult_binary64_1479
6×pow-sqr_binary64_1415
5×exp-diff_binary64_1490 cube-prod_binary64_1470 unsub-neg_binary64_1436 unswap-sqr_binary64_1410 distribute-rgt-out_binary64_1395 distribute-lft-out--_binary64_1394 distribute-lft-out_binary64_1393
4×mul-1-neg_binary64_1434 distribute-neg-out_binary64_1404
3×div-exp_binary64_1493 prod-exp_binary64_1491
2×unpow3_binary64_1508 exp-sqrt_binary64_1495 cube-mult_binary64_1472 sub0-neg_binary64_1429
1×log-pow_binary64_1531 pow-plus_binary64_1505 rec-exp_binary64_1492 1-exp_binary64_1486 exp-1-e_binary64_1485 rem-log-exp_binary64_1483 rem-cbrt-cube_binary64_1466 rem-sqrt-square_binary64_1455 remove-double-neg_binary64_1430 remove-double-div_binary64_1418 difference-of-squares_binary64_1411 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 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-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-cube-cbrt_binary64_1465 sqr-abs_binary64_1457 sqr-neg_binary64_1456 rem-square-sqrt_binary64_1454 --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 difference-of-sqr--1_binary64_1413 difference-of-sqr-1_binary64_1412 cancel-sign-sub_binary64_1407 distribute-frac-neg_binary64_1405 distribute-rgt1-in_binary64_1398 distribute-lft1-in_binary64_1397
Counts
120 → 358
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01741780
14721593
215831573

prune354.0ms (5.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New3580358
Fresh011
Picked011
Done011
Total3583361
Error
0b
Counts
361 → 3
Compiler

Compiled 6738 to 2950 computations (56.2% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b
(-.f64 (*.f64 1/2 (+.f64 (/.f64 x t) (/.f64 y t))) (*.f64 1/2 (/.f64 z t)))
0.0b
(+.f64 (/.f64 x t) (/.f64 y t))
0.2b
(*.f64 1/2 (/.f64 z t))

rewrite123.0ms (1.9%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
21×*-un-lft-identity_binary64_1442
18×add-sqr-sqrt_binary64_1464
16×times-frac_binary64_1448
13×add-cube-cbrt_binary64_1477 associate-*r*_binary64_1382
8×add-exp-log_binary64_1480 add-cbrt-cube_binary64_1478
7×add-log-exp_binary64_1481 associate-*r/_binary64_1384
5×pow1_binary64_1503
4×distribute-lft-out_binary64_1393
3×associate-*l*_binary64_1383 div-inv_binary64_1439 frac-sub_binary64_1451
2×prod-exp_binary64_1491 cbrt-unprod_binary64_1475 unswap-sqr_binary64_1410 frac-add_binary64_1450 flip3-+_binary64_1445 flip-+_binary64_1416 associate--l+_binary64_1379
1×pow-prod-down_binary64_1513 div-exp_binary64_1493 cbrt-undiv_binary64_1476 *-commutative_binary64_1373 sum-log_binary64_1533 distribute-rgt-out_binary64_1395 +-commutative_binary64_1372 diff-log_binary64_1534 flip3--_binary64_1446 sub-neg_binary64_1435 flip--_binary64_1417 cancel-sign-sub-inv_binary64_1408 distribute-lft-out--_binary64_1394 distribute-rgt-in_binary64_1392 distribute-lft-in_binary64_1391
Counts
3 → 67
Calls

3 calls:

18.0ms
(-.f64 (*.f64 1/2 (+.f64 (/.f64 x t) (/.f64 y t))) (*.f64 1/2 (/.f64 z t)))
13.0ms
(+.f64 (/.f64 x t) (/.f64 y t))
7.0ms
(*.f64 1/2 (/.f64 z t))
Compiler

Compiled 1621 to 634 computations (60.9% saved)

series874.0ms (13.3%)

Error
0b
Counts
3 → 42
Calls

3 calls:

563.0ms
(-.f64 (*.f64 1/2 (+.f64 (/.f64 x t) (/.f64 y t))) (*.f64 1/2 (/.f64 z t)))
197.0ms
(+.f64 (/.f64 x t) (/.f64 y t))
85.0ms
(*.f64 1/2 (/.f64 z t))
Compiler

Compiled 1497 to 1121 computations (25.1% saved)

simplify180.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
519×distribute-rgt-in_binary64_1392
485×distribute-lft-in_binary64_1391
469×associate-/l*_binary64_1387
381×times-frac_binary64_1448
160×associate-/l/_binary64_1389 associate-*l*_binary64_1383
149×cancel-sign-sub-inv_binary64_1408
134×associate-*r*_binary64_1382
131×distribute-rgt-neg-in_binary64_1400
102×distribute-lft-neg-in_binary64_1399
90×associate-*l/_binary64_1385
84×*-commutative_binary64_1373
81×associate-*r/_binary64_1384
70×associate-/r/_binary64_1388
69×distribute-neg-frac_binary64_1406
66×sub-neg_binary64_1435
57×distribute-rgt-out_binary64_1395
48×exp-prod_binary64_1494
47×distribute-lft-out_binary64_1393
46×neg-sub0_binary64_1437
45×neg-mul-1_binary64_1438
41×sqr-pow_binary64_1414
39×*-lft-identity_binary64_1431
36×+-commutative_binary64_1372
34×distribute-lft-neg-out_binary64_1401
29×distribute-lft-out--_binary64_1394
26×*-rgt-identity_binary64_1432
23×distribute-neg-in_binary64_1403
22×cube-prod_binary64_1470 unswap-sqr_binary64_1410
17×log-prod_binary64_1528 distribute-rgt-out--_binary64_1396
16×pow-sqr_binary64_1415
13×exp-sum_binary64_1488
12×unpow3_binary64_1508 cube-div_binary64_1471 div-sub_binary64_1447 associate-/r*_binary64_1386
10×log-div_binary64_1529 div-exp_binary64_1493 prod-exp_binary64_1491 swap-sqr_binary64_1409
9×associate-+l+_binary64_1375
7×cube-mult_binary64_1472 distribute-rgt-neg-out_binary64_1402
6×exp-diff_binary64_1490 unsub-neg_binary64_1436 /-rgt-identity_binary64_1433 difference-of-squares_binary64_1411 associate--l+_binary64_1379
5×associate-+r-_binary64_1376
4×associate-+r+_binary64_1374
3×unpow1/2_binary64_1506 rec-exp_binary64_1492 mul-1-neg_binary64_1434 +-rgt-identity_binary64_1427
2×log-rec_binary64_1530 cube-unmult_binary64_1479 associate--r+_binary64_1378 associate-+l-_binary64_1377
1×1-exp_binary64_1486 exp-1-e_binary64_1485 rem-log-exp_binary64_1483 remove-double-neg_binary64_1430
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 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-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 rem-sqrt-square_binary64_1455 rem-square-sqrt_binary64_1454 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_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-rgt1-in_binary64_1398 distribute-lft1-in_binary64_1397 count-2_binary64_1390 associate--r-_binary64_1381 associate--l-_binary64_1380
Counts
109 → 186
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01661669
14581588
216861572

prune221.0ms (3.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1860186
Fresh000
Picked011
Done022
Total1863189
Error
0b
Counts
189 → 3
Compiler

Compiled 4883 to 1555 computations (68.2% saved)

regimes474.0ms (7.2%)

Accuracy

Total 0.1b remaining (96%)

Threshold costs 0.1b (96%)

Compiler

Compiled 3303 to 3085 computations (6.6% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
4×+-commutative_binary64_1372
3×sub-neg_binary64_1435 *-commutative_binary64_1373
2×neg-mul-1_binary64_1438 neg-sub0_binary64_1437
1×distribute-neg-frac_binary64_1406
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 1-exp_binary64_1486 exp-1-e_binary64_1485 exp-0_binary64_1484 sqr-abs_binary64_1457 sqr-neg_binary64_1456 unsub-neg_binary64_1436 mul-1-neg_binary64_1434 /-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-inv_binary64_1408 cancel-sign-sub_binary64_1407 distribute-frac-neg_binary64_1405 distribute-neg-out_binary64_1404 distribute-neg-in_binary64_1403 distribute-rgt-neg-out_binary64_1402 distribute-lft-neg-out_binary64_1401 distribute-rgt-neg-in_binary64_1400 distribute-lft-neg-in_binary64_1399
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01119
11519
22219
32619
42919
53019
Proof
(- f64 (/ f64 (+ f64 h0 h1) (* f64 h2 2)) (/ f64 h3 (* f64 h2 2)))

end0.0ms (0%)

sample1.2s (18.6%)

Algorithm
1×intervals
Results
257.0ms8000×body128valid
84.0ms2698×body128invalid
Compiler

Compiled 407 to 384 computations (5.7% saved)

Profiling

Loading profile data...