Details

Time bar (total: 3.8s)

analyze115.0ms (3.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
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%68.7%6.3%6
25%53.1%22%7
25%46.8%28.2%8
25%33.6%41.5%9
28.1%18%54%10
31.6%12.1%56.3%11
33.4%5.9%60.8%12
35.2%3.8%61%13
36.1%2.9%61%14
Compiler

Compiled 30 to 20 computations (33.3% saved)

sample24.0ms (0.6%)

Algorithm
1×intervals
Results
14.0ms256×body128valid
Compiler

Compiled 59 to 41 computations (30.5% saved)

simplify145.0ms (3.9%)

Algorithm
1×egg-herbie
Rules
534×sub-neg_binary64_1435
493×distribute-neg-in_binary64_1403
329×+-commutative_binary64_1372
320×distribute-rgt-neg-in_binary64_1400
291×unsub-neg_binary64_1436
234×distribute-lft-neg-in_binary64_1399
215×associate--r+_binary64_1378
210×associate-*l*_binary64_1383
193×associate--l+_binary64_1379
188×associate-+l+_binary64_1375
167×associate-*r*_binary64_1382
155×distribute-rgt-in_binary64_1392
149×associate-+r+_binary64_1374
147×distribute-rgt-out_binary64_1395
126×cancel-sign-sub-inv_binary64_1408 distribute-lft-in_binary64_1391
106×unswap-sqr_binary64_1410
105×neg-sub0_binary64_1437
99×neg-mul-1_binary64_1438
82×*-commutative_binary64_1373
79×distribute-lft-neg-out_binary64_1401
72×associate-+l-_binary64_1377
53×associate-+r-_binary64_1376
43×distribute-rgt-neg-out_binary64_1402
37×cancel-sign-sub_binary64_1407
27×*-rgt-identity_binary64_1432
25×+-rgt-identity_binary64_1427
22×*-lft-identity_binary64_1431 sqr-pow_binary64_1414 associate--r-_binary64_1381
17×sub0-neg_binary64_1429
15×distribute-lft-out_binary64_1393
14×remove-double-neg_binary64_1430
11×pow-plus_binary64_1505 pow-sqr_binary64_1415
8×cube-prod_binary64_1470 swap-sqr_binary64_1409 distribute-rgt-out--_binary64_1396
7×difference-of-sqr--1_binary64_1413 distribute-lft1-in_binary64_1397
6×cube-unmult_binary64_1479 difference-of-sqr-1_binary64_1412
5×distribute-rgt1-in_binary64_1398 distribute-lft-out--_binary64_1394
4×mul0-rgt_binary64_1425 mul0-lft_binary64_1424 difference-of-squares_binary64_1411
3×mul-1-neg_binary64_1434 associate-/l/_binary64_1389
2×times-frac_binary64_1448 --rgt-identity_binary64_1428 count-2_binary64_1390 associate-*r/_binary64_1384
1×unpow3_binary64_1508 unpow2_binary64_1507 unpow1_binary64_1500 1-exp_binary64_1486 *-inverses_binary64_1422 rgt-mult-inverse_binary64_1419 distribute-neg-out_binary64_1404
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 unpow1/2_binary64_1506 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 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-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 sqr-neg_binary64_1456 rem-sqrt-square_binary64_1455 rem-square-sqrt_binary64_1454 div-sub_binary64_1447 /-rgt-identity_binary64_1433 +-lft-identity_binary64_1426 div0_binary64_1423 +-inverses_binary64_1421 lft-mult-inverse_binary64_1420 remove-double-div_binary64_1418 distribute-neg-frac_binary64_1406 distribute-frac-neg_binary64_1405 associate-/r/_binary64_1388 associate-/l*_binary64_1387 associate-/r*_binary64_1386 associate-*l/_binary64_1385 associate--l-_binary64_1380
Counts
1 → 5
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01943
15443
215343
338543
4110743
5261043

prune7.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New505
Fresh011
Picked000
Done000
Total516
Error
0.2b
Counts
6 → 1
Compiler

Compiled 174 to 99 computations (43.1% saved)

localize15.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a)))))
0.0b
(*.f64 (*.f64 a a) (-.f64 1 a))
0.4b
(pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)
0.6b
(*.f64 (*.f64 b b) (+.f64 3 a))

rewrite176.0ms (4.7%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
15×pow1_binary64_1503 add-exp-log_binary64_1480 add-sqr-sqrt_binary64_1464 *-un-lft-identity_binary64_1442
14×add-cbrt-cube_binary64_1478
10×add-cube-cbrt_binary64_1477 associate-*r*_binary64_1382
6×pow-prod-down_binary64_1513 prod-exp_binary64_1491 add-log-exp_binary64_1481 cbrt-unprod_binary64_1475 distribute-rgt-in_binary64_1392 distribute-lft-in_binary64_1391 cancel-sign-sub-inv_binary64_1408
4×associate-*r/_binary64_1384
3×unpow-prod-down_binary64_1521 pow-unpow_binary64_1519
2×unswap-sqr_binary64_1410 flip3-+_binary64_1445 flip-+_binary64_1416 associate-*l*_binary64_1383 *-commutative_binary64_1373 sub-neg_binary64_1435 difference-of-squares_binary64_1411 associate-+r+_binary64_1374
1×distribute-lft-out_binary64_1393 pow-pow_binary64_1514 pow-to-exp_binary64_1511 pow-exp_binary64_1510 unpow2_binary64_1507 sqr-pow_binary64_1414 flip3--_binary64_1446 flip--_binary64_1417 distribute-lft-out--_binary64_1394 sum-log_binary64_1533 +-commutative_binary64_1372
Counts
4 → 87
Calls

4 calls:

10.0ms
(*.f64 (*.f64 a a) (-.f64 1 a))
9.0ms
(*.f64 (*.f64 b b) (+.f64 3 a))
9.0ms
(+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a)))))
5.0ms
(pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)
Compiler

Compiled 3356 to 1686 computations (49.8% saved)

series775.0ms (20.6%)

Error
0.0b
Counts
4 → 53
Calls

4 calls:

377.0ms
(+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a)))))
198.0ms
(pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)
76.0ms
(*.f64 (*.f64 b b) (+.f64 3 a))
47.0ms
(*.f64 (*.f64 a a) (-.f64 1 a))
Compiler

Compiled 3592 to 2687 computations (25.2% saved)

simplify291.0ms (7.7%)

Algorithm
1×egg-herbie
Rules
517×associate-+l+_binary64_1375
343×associate-+r+_binary64_1374
286×associate-*l*_binary64_1383
241×exp-prod_binary64_1494
238×associate-*r*_binary64_1382
218×cancel-sign-sub-inv_binary64_1408
214×+-commutative_binary64_1372
157×unswap-sqr_binary64_1410
148×associate--l+_binary64_1379
139×*-commutative_binary64_1373
112×distribute-rgt-in_binary64_1392
107×exp-sum_binary64_1488
106×distribute-lft-in_binary64_1391
98×sqr-pow_binary64_1414
84×log-prod_binary64_1528
76×distribute-rgt-out_binary64_1395
72×distribute-rgt-neg-in_binary64_1400
67×cube-prod_binary64_1470
56×distribute-lft-neg-out_binary64_1401
55×distribute-lft-neg-in_binary64_1399
51×associate--r+_binary64_1378
50×distribute-rgt-neg-out_binary64_1402
46×pow-plus_binary64_1505 sub-neg_binary64_1435
39×distribute-neg-in_binary64_1403
36×pow-sqr_binary64_1415
34×*-lft-identity_binary64_1431 associate-+r-_binary64_1376
29×*-rgt-identity_binary64_1432
28×neg-sub0_binary64_1437
27×neg-mul-1_binary64_1438
26×associate-+l-_binary64_1377
24×exp-diff_binary64_1490
22×unpow3_binary64_1508
20×cube-unmult_binary64_1479 swap-sqr_binary64_1409 distribute-lft-out_binary64_1393
19×log-pow_binary64_1531
16×unsub-neg_binary64_1436 distribute-rgt-out--_binary64_1396
13×exp-neg_binary64_1489
12×cube-mult_binary64_1472
9×difference-of-squares_binary64_1411
8×pow-base-1_binary64_1502
7×unpow2_binary64_1507
6×unpow1_binary64_1500 associate-/l/_binary64_1389
5×rem-sqrt-square_binary64_1455 distribute-lft-out--_binary64_1394 associate-*r/_binary64_1384
4×count-2_binary64_1390
2×exp-lft-cube_binary64_1498 rem-3cbrt-lft_binary64_1467 rem-square-sqrt_binary64_1454 div-sub_binary64_1447 associate-/l*_binary64_1387
1×prod-exp_binary64_1491 1-exp_binary64_1486 exp-1-e_binary64_1485 rem-3cbrt-rft_binary64_1468 mul-1-neg_binary64_1434 +-rgt-identity_binary64_1427 *-inverses_binary64_1422 rgt-mult-inverse_binary64_1419 distribute-rgt1-in_binary64_1398 associate-/r/_binary64_1388
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 log-div_binary64_1529 pow-base-0_binary64_1526 unpow1/3_binary64_1509 unpow1/2_binary64_1506 exp-to-pow_binary64_1504 unpow0_binary64_1501 unpow-1_binary64_1499 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 cube-div_binary64_1471 cube-neg_binary64_1469 rem-cbrt-cube_binary64_1466 rem-cube-cbrt_binary64_1465 sqr-abs_binary64_1457 sqr-neg_binary64_1456 times-frac_binary64_1448 /-rgt-identity_binary64_1433 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 remove-double-div_binary64_1418 difference-of-sqr--1_binary64_1413 difference-of-sqr-1_binary64_1412 cancel-sign-sub_binary64_1407 distribute-neg-frac_binary64_1406 distribute-frac-neg_binary64_1405 distribute-neg-out_binary64_1404 distribute-lft1-in_binary64_1397 associate-/r*_binary64_1386 associate-*l/_binary64_1385 associate--r-_binary64_1381 associate--l-_binary64_1380
Counts
140 → 310
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02162963
16162649
219582551
344622551

prune717.0ms (19.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New3082310
Fresh000
Picked011
Done000
Total3083311
Error
0b
Counts
311 → 3
Compiler

Compiled 12542 to 6399 computations (49% saved)

localize24.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 b b) (*.f64 a a))) (+.f64 (pow.f64 b 4) (pow.f64 a 4))) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a)))))
0.0b
(*.f64 (*.f64 a a) (-.f64 1 a))
0.6b
(*.f64 (*.f64 b b) (+.f64 3 a))
2.2b
(*.f64 (*.f64 b b) (*.f64 a a))

rewrite334.0ms (8.9%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
42×pow1_binary64_1503
32×associate-*r/_binary64_1384
26×add-exp-log_binary64_1480 add-cbrt-cube_binary64_1478
20×pow-prod-down_binary64_1513 frac-add_binary64_1450
14×prod-exp_binary64_1491 cbrt-unprod_binary64_1475 flip3-+_binary64_1445 flip-+_binary64_1416
13×add-log-exp_binary64_1481 add-sqr-sqrt_binary64_1464 *-un-lft-identity_binary64_1442
11×associate-*r*_binary64_1382
8×add-cube-cbrt_binary64_1477
6×distribute-rgt-in_binary64_1392 distribute-lft-in_binary64_1391 cancel-sign-sub-inv_binary64_1408 sum-log_binary64_1533
5×flip3--_binary64_1446 flip--_binary64_1417
4×pow-prod-up_binary64_1512 pow-plus_binary64_1505
3×unswap-sqr_binary64_1410 associate-*l*_binary64_1383 *-commutative_binary64_1373
2×pow2_binary64_1523 pow-sqr_binary64_1415 sub-neg_binary64_1435 difference-of-squares_binary64_1411 associate-+r+_binary64_1374
1×distribute-lft-out_binary64_1393 distribute-lft-out--_binary64_1394 associate-+l+_binary64_1375 +-commutative_binary64_1372
Counts
4 → 113
Calls

4 calls:

27.0ms
(+.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 b b) (*.f64 a a))) (+.f64 (pow.f64 b 4) (pow.f64 a 4))) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a)))))
10.0ms
(*.f64 (*.f64 a a) (-.f64 1 a))
9.0ms
(*.f64 (*.f64 b b) (*.f64 a a))
8.0ms
(*.f64 (*.f64 b b) (+.f64 3 a))
Compiler

Compiled 6847 to 3773 computations (44.9% saved)

series670.0ms (17.8%)

Error
0b
Counts
4 → 41
Calls

4 calls:

394.0ms
(+.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 b b) (*.f64 a a))) (+.f64 (pow.f64 b 4) (pow.f64 a 4))) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a)))))
81.0ms
(*.f64 (*.f64 b b) (*.f64 a a))
80.0ms
(*.f64 (*.f64 b b) (+.f64 3 a))
55.0ms
(*.f64 (*.f64 a a) (-.f64 1 a))
Compiler

Compiled 3216 to 2429 computations (24.5% saved)

simplify470.0ms (12.5%)

Algorithm
1×egg-herbie
Rules
672×associate-*l*_binary64_1383
601×associate-*r*_binary64_1382
434×distribute-rgt-in_binary64_1392
420×distribute-lft-in_binary64_1391
118×*-commutative_binary64_1373
86×cancel-sign-sub-inv_binary64_1408
63×+-commutative_binary64_1372
57×unswap-sqr_binary64_1410
48×distribute-rgt-neg-in_binary64_1400
43×sub-neg_binary64_1435
41×sqr-pow_binary64_1414
34×distribute-lft-neg-in_binary64_1399
28×exp-prod_binary64_1494
26×cube-prod_binary64_1470
25×neg-mul-1_binary64_1438
24×neg-sub0_binary64_1437
21×swap-sqr_binary64_1409
20×associate-+r+_binary64_1374
19×log-prod_binary64_1528 distribute-lft-neg-out_binary64_1401
17×unpow3_binary64_1508
15×pow-sqr_binary64_1415
13×distribute-neg-in_binary64_1403 distribute-rgt-out_binary64_1395
12×cube-mult_binary64_1472
10×distribute-rgt-neg-out_binary64_1402
8×difference-of-squares_binary64_1411 distribute-rgt-out--_binary64_1396 associate--l+_binary64_1379 associate-+l+_binary64_1375
6×exp-sum_binary64_1488
5×prod-exp_binary64_1491 *-rgt-identity_binary64_1432
4×distribute-rgt1-in_binary64_1398 associate-+r-_binary64_1376
3×pow-plus_binary64_1505 distribute-lft-out_binary64_1393
2×unpow2_binary64_1507 pow-base-1_binary64_1502 cube-unmult_binary64_1479 *-lft-identity_binary64_1431 count-2_binary64_1390
1×exp-lft-sqr_binary64_1497 1-exp_binary64_1486 rem-3cbrt-lft_binary64_1467 rem-sqrt-square_binary64_1455 rem-square-sqrt_binary64_1454 mul-1-neg_binary64_1434 *-inverses_binary64_1422 distribute-lft-out--_binary64_1394 associate--r+_binary64_1378
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 pow-base-0_binary64_1526 unpow1/3_binary64_1509 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 exp-sqrt_binary64_1495 div-exp_binary64_1493 rec-exp_binary64_1492 exp-diff_binary64_1490 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-div_binary64_1471 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 times-frac_binary64_1448 div-sub_binary64_1447 unsub-neg_binary64_1436 /-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 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-frac_binary64_1406 distribute-frac-neg_binary64_1405 distribute-neg-out_binary64_1404 distribute-lft1-in_binary64_1397 associate-/l/_binary64_1389 associate-/r/_binary64_1388 associate-/l*_binary64_1387 associate-/r*_binary64_1386 associate-*l/_binary64_1385 associate-*r/_binary64_1384 associate--r-_binary64_1381 associate--l-_binary64_1380 associate-+l-_binary64_1377
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
03125905
110255535

end0.0ms (0%)

Profiling

Loading profile data...