Details

Time bar (total: 3.0s)

analyze294.0ms (9.8%)

Algorithm
1×search
2×egg-herbie
Rules
659×cancel-sign-sub-inv_binary64_20504
541×distribute-rgt-neg-in_binary64_20496
449×sqr-pow_binary64_20510
415×distribute-lft-neg-in_binary64_20495
356×associate-*l*_binary64_20479
303×*-commutative_binary64_20469
302×neg-sub0_binary64_20533
296×neg-mul-1_binary64_20534
222×cube-prod_binary64_20566 associate-*r*_binary64_20478
221×unsub-neg_binary64_20532
208×unswap-sqr_binary64_20506
177×pow-sqr_binary64_20511
173×distribute-rgt-in_binary64_20488
171×sub-neg_binary64_20531
132×unpow3_binary64_20604
110×distribute-lft-in_binary64_20487
109×distribute-lft-neg-out_binary64_20497
108×distribute-rgt-neg-out_binary64_20498
106×remove-double-neg_binary64_20526
98×associate--r+_binary64_20474
84×distribute-neg-in_binary64_20499
81×cube-mult_binary64_20568
61×+-commutative_binary64_20468
52×associate-+l-_binary64_20473
51×pow-plus_binary64_20601
45×sqr-neg_binary64_20552
44×+-lft-identity_binary64_20522 mul0-rgt_binary64_20521 mul0-lft_binary64_20520
36×sub0-neg_binary64_20525
29×--rgt-identity_binary64_20524
25×rem-sqrt-square_binary64_20551 *-lft-identity_binary64_20527
24×swap-sqr_binary64_20505
20×*-rgt-identity_binary64_20528
16×cancel-sign-sub_binary64_20503
12×cube-neg_binary64_20565
10×unpow2_binary64_20603 unpow1/2_binary64_20602 unpow1_binary64_20596 cube-unmult_binary64_20575
5×distribute-rgt-out--_binary64_20492 associate-+r+_binary64_20470
4×associate--r-_binary64_20477 associate-+r-_binary64_20472
3×associate--l+_binary64_20475 associate-+l+_binary64_20471
2×+-rgt-identity_binary64_20523
1×1-exp_binary64_20582 distribute-lft-out--_binary64_20490
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_20801 erf-erfc_binary64_20800 erf-odd_binary64_20799 if-if-and-not_binary64_20798 if-if-and_binary64_20797 if-if-or-not_binary64_20796 if-if-or_binary64_20795 if-not_binary64_20794 if-same_binary64_20793 if-false_binary64_20792 if-true_binary64_20791 not-gte_binary64_20790 not-lte_binary64_20789 not-gt_binary64_20788 not-lt_binary64_20787 gte-same_binary64_20786 lte-same_binary64_20785 gt-same_binary64_20784 lt-same_binary64_20783 sinh---cosh_binary64_20730 sinh-+-cosh_binary64_20729 sinh-cosh_binary64_20728 tanh-def-c_binary64_20727 tanh-def-b_binary64_20726 tanh-def-a_binary64_20725 cosh-def_binary64_20724 sinh-def_binary64_20723 tan-neg_binary64_20670 cos-neg_binary64_20669 sin-neg_binary64_20668 tan-0_binary64_20667 cos-0_binary64_20666 sin-0_binary64_20665 hang-m-tan_binary64_20664 hang-p-tan_binary64_20663 hang-m0-tan_binary64_20662 hang-p0-tan_binary64_20661 hang-0m-tan_binary64_20660 hang-0p-tan_binary64_20659 tan-+PI/2_binary64_20658 tan-+PI_binary64_20657 tan-PI_binary64_20656 tan-PI/3_binary64_20655 tan-PI/4_binary64_20654 tan-PI/6_binary64_20653 cos-+PI/2_binary64_20652 cos-+PI_binary64_20651 cos-PI_binary64_20650 cos-PI/2_binary64_20649 cos-PI/3_binary64_20648 cos-PI/4_binary64_20647 cos-PI/6_binary64_20646 sin-+PI/2_binary64_20645 sin-+PI_binary64_20644 sin-PI_binary64_20643 sin-PI/2_binary64_20642 sin-PI/3_binary64_20641 sin-PI/4_binary64_20640 sin-PI/6_binary64_20639 sub-1-sin_binary64_20638 sub-1-cos_binary64_20637 -1-add-sin_binary64_20636 -1-add-cos_binary64_20635 1-sub-sin_binary64_20634 1-sub-cos_binary64_20633 cos-sin-sum_binary64_20632 log-E_binary64_20628 log-pow_binary64_20627 log-rec_binary64_20626 log-div_binary64_20625 log-prod_binary64_20624 pow-base-0_binary64_20622 unpow1/3_binary64_20605 exp-to-pow_binary64_20600 pow-base-1_binary64_20598 unpow0_binary64_20597 unpow-1_binary64_20595 exp-lft-cube_binary64_20594 exp-lft-sqr_binary64_20593 exp-cbrt_binary64_20592 exp-sqrt_binary64_20591 exp-prod_binary64_20590 div-exp_binary64_20589 rec-exp_binary64_20588 prod-exp_binary64_20587 exp-diff_binary64_20586 exp-neg_binary64_20585 exp-sum_binary64_20584 e-exp-1_binary64_20583 exp-1-e_binary64_20581 exp-0_binary64_20580 rem-log-exp_binary64_20579 rem-exp-log_binary64_20578 cube-div_binary64_20567 rem-3cbrt-rft_binary64_20564 rem-3cbrt-lft_binary64_20563 rem-cbrt-cube_binary64_20562 rem-cube-cbrt_binary64_20561 sqr-abs_binary64_20553 rem-square-sqrt_binary64_20550 times-frac_binary64_20544 div-sub_binary64_20543 mul-1-neg_binary64_20530 /-rgt-identity_binary64_20529 div0_binary64_20519 *-inverses_binary64_20518 +-inverses_binary64_20517 lft-mult-inverse_binary64_20516 rgt-mult-inverse_binary64_20515 remove-double-div_binary64_20514 difference-of-sqr--1_binary64_20509 difference-of-sqr-1_binary64_20508 difference-of-squares_binary64_20507 distribute-neg-frac_binary64_20502 distribute-frac-neg_binary64_20501 distribute-neg-out_binary64_20500 distribute-rgt1-in_binary64_20494 distribute-lft1-in_binary64_20493 distribute-rgt-out_binary64_20491 distribute-lft-out_binary64_20489 count-2_binary64_20486 associate-/l/_binary64_20485 associate-/r/_binary64_20484 associate-/l*_binary64_20483 associate-/r*_binary64_20482 associate-*l/_binary64_20481 associate-*r/_binary64_20480 associate--l-_binary64_20476
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
11713
24213
38713
413413
516613
623213
739713
851213
994213
10129913
11190013
12215213
13227513
14248213
15275613
16306813
17397213
18497713
19467913
011
111
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
50%25%25%4
62.5%12.5%25%5
62.5%6.2%31.3%6
65.6%3.1%31.3%7
65.6%1.6%32.8%8
66.4%0.8%32.8%9
66.4%0.4%33.2%10
66.6%0.2%33.2%11
66.6%0.1%33.3%12
66.6%0%33.4%13
66.6%0%33.4%14
Compiler

Compiled 10 to 8 computations (20% saved)

sample13.0ms (0.4%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
Compiler

Compiled 19 to 16 computations (15.8% saved)

simplify152.0ms (5.1%)

Algorithm
1×egg-herbie
Rules
659×cancel-sign-sub-inv_binary64_20504
541×distribute-rgt-neg-in_binary64_20496
449×sqr-pow_binary64_20510
415×distribute-lft-neg-in_binary64_20495
356×associate-*l*_binary64_20479
303×*-commutative_binary64_20469
302×neg-sub0_binary64_20533
296×neg-mul-1_binary64_20534
222×cube-prod_binary64_20566 associate-*r*_binary64_20478
221×unsub-neg_binary64_20532
208×unswap-sqr_binary64_20506
177×pow-sqr_binary64_20511
173×distribute-rgt-in_binary64_20488
171×sub-neg_binary64_20531
132×unpow3_binary64_20604
110×distribute-lft-in_binary64_20487
109×distribute-lft-neg-out_binary64_20497
108×distribute-rgt-neg-out_binary64_20498
106×remove-double-neg_binary64_20526
98×associate--r+_binary64_20474
84×distribute-neg-in_binary64_20499
81×cube-mult_binary64_20568
61×+-commutative_binary64_20468
52×associate-+l-_binary64_20473
51×pow-plus_binary64_20601
45×sqr-neg_binary64_20552
44×+-lft-identity_binary64_20522 mul0-rgt_binary64_20521 mul0-lft_binary64_20520
36×sub0-neg_binary64_20525
29×--rgt-identity_binary64_20524
25×rem-sqrt-square_binary64_20551 *-lft-identity_binary64_20527
24×swap-sqr_binary64_20505
20×*-rgt-identity_binary64_20528
16×cancel-sign-sub_binary64_20503
12×cube-neg_binary64_20565
10×unpow2_binary64_20603 unpow1/2_binary64_20602 unpow1_binary64_20596 cube-unmult_binary64_20575
5×distribute-rgt-out--_binary64_20492 associate-+r+_binary64_20470
4×associate--r-_binary64_20477 associate-+r-_binary64_20472
3×associate--l+_binary64_20475 associate-+l+_binary64_20471
2×+-rgt-identity_binary64_20523
1×1-exp_binary64_20582 distribute-lft-out--_binary64_20490
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_20801 erf-erfc_binary64_20800 erf-odd_binary64_20799 if-if-and-not_binary64_20798 if-if-and_binary64_20797 if-if-or-not_binary64_20796 if-if-or_binary64_20795 if-not_binary64_20794 if-same_binary64_20793 if-false_binary64_20792 if-true_binary64_20791 not-gte_binary64_20790 not-lte_binary64_20789 not-gt_binary64_20788 not-lt_binary64_20787 gte-same_binary64_20786 lte-same_binary64_20785 gt-same_binary64_20784 lt-same_binary64_20783 sinh---cosh_binary64_20730 sinh-+-cosh_binary64_20729 sinh-cosh_binary64_20728 tanh-def-c_binary64_20727 tanh-def-b_binary64_20726 tanh-def-a_binary64_20725 cosh-def_binary64_20724 sinh-def_binary64_20723 tan-neg_binary64_20670 cos-neg_binary64_20669 sin-neg_binary64_20668 tan-0_binary64_20667 cos-0_binary64_20666 sin-0_binary64_20665 hang-m-tan_binary64_20664 hang-p-tan_binary64_20663 hang-m0-tan_binary64_20662 hang-p0-tan_binary64_20661 hang-0m-tan_binary64_20660 hang-0p-tan_binary64_20659 tan-+PI/2_binary64_20658 tan-+PI_binary64_20657 tan-PI_binary64_20656 tan-PI/3_binary64_20655 tan-PI/4_binary64_20654 tan-PI/6_binary64_20653 cos-+PI/2_binary64_20652 cos-+PI_binary64_20651 cos-PI_binary64_20650 cos-PI/2_binary64_20649 cos-PI/3_binary64_20648 cos-PI/4_binary64_20647 cos-PI/6_binary64_20646 sin-+PI/2_binary64_20645 sin-+PI_binary64_20644 sin-PI_binary64_20643 sin-PI/2_binary64_20642 sin-PI/3_binary64_20641 sin-PI/4_binary64_20640 sin-PI/6_binary64_20639 sub-1-sin_binary64_20638 sub-1-cos_binary64_20637 -1-add-sin_binary64_20636 -1-add-cos_binary64_20635 1-sub-sin_binary64_20634 1-sub-cos_binary64_20633 cos-sin-sum_binary64_20632 log-E_binary64_20628 log-pow_binary64_20627 log-rec_binary64_20626 log-div_binary64_20625 log-prod_binary64_20624 pow-base-0_binary64_20622 unpow1/3_binary64_20605 exp-to-pow_binary64_20600 pow-base-1_binary64_20598 unpow0_binary64_20597 unpow-1_binary64_20595 exp-lft-cube_binary64_20594 exp-lft-sqr_binary64_20593 exp-cbrt_binary64_20592 exp-sqrt_binary64_20591 exp-prod_binary64_20590 div-exp_binary64_20589 rec-exp_binary64_20588 prod-exp_binary64_20587 exp-diff_binary64_20586 exp-neg_binary64_20585 exp-sum_binary64_20584 e-exp-1_binary64_20583 exp-1-e_binary64_20581 exp-0_binary64_20580 rem-log-exp_binary64_20579 rem-exp-log_binary64_20578 cube-div_binary64_20567 rem-3cbrt-rft_binary64_20564 rem-3cbrt-lft_binary64_20563 rem-cbrt-cube_binary64_20562 rem-cube-cbrt_binary64_20561 sqr-abs_binary64_20553 rem-square-sqrt_binary64_20550 times-frac_binary64_20544 div-sub_binary64_20543 mul-1-neg_binary64_20530 /-rgt-identity_binary64_20529 div0_binary64_20519 *-inverses_binary64_20518 +-inverses_binary64_20517 lft-mult-inverse_binary64_20516 rgt-mult-inverse_binary64_20515 remove-double-div_binary64_20514 difference-of-sqr--1_binary64_20509 difference-of-sqr-1_binary64_20508 difference-of-squares_binary64_20507 distribute-neg-frac_binary64_20502 distribute-frac-neg_binary64_20501 distribute-neg-out_binary64_20500 distribute-rgt1-in_binary64_20494 distribute-lft1-in_binary64_20493 distribute-rgt-out_binary64_20491 distribute-lft-out_binary64_20489 count-2_binary64_20486 associate-/l/_binary64_20485 associate-/r/_binary64_20484 associate-/l*_binary64_20483 associate-/r*_binary64_20482 associate-*l/_binary64_20481 associate-*r/_binary64_20480 associate--l-_binary64_20476
Counts
1 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
11713
24213
38713
413413
516613
623213
739713
851213
994213
10129913
11190013
12215213
13227513
14248213
15275613
16306813
17397213
18497713
19467913

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done000
Total011
Error
0.2b
Counts
1 → 1
Compiler

Compiled 9 to 7 computations (22.2% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.2b
(*.f64 (*.f64 x x) (-.f64 3 (*.f64 x 2)))

rewrite41.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
6×pow1_binary64_20599 add-exp-log_binary64_20576 add-cbrt-cube_binary64_20574
3×pow-prod-down_binary64_20609 prod-exp_binary64_20587 cbrt-unprod_binary64_20571 add-sqr-sqrt_binary64_20560 associate-*r*_binary64_20478
2×add-cube-cbrt_binary64_20573 *-un-lft-identity_binary64_20538 sub-neg_binary64_20531 distribute-rgt-in_binary64_20488 cancel-sign-sub-inv_binary64_20504 distribute-lft-in_binary64_20487 associate-*r/_binary64_20480
1×add-log-exp_binary64_20577 unswap-sqr_binary64_20506 flip3--_binary64_20542 flip--_binary64_20513 associate-*l*_binary64_20479 *-commutative_binary64_20469
Counts
1 → 25
Calls

1 calls:

8.0ms
(*.f64 (*.f64 x x) (-.f64 3 (*.f64 x 2)))
Compiler

Compiled 429 to 275 computations (35.9% saved)

series92.0ms (3.1%)

Error
0.1b
Counts
1 → 6
Calls

1 calls:

86.0ms
(*.f64 (*.f64 x x) (-.f64 3 (*.f64 x 2)))
Compiler

Compiled 129 to 115 computations (10.9% saved)

simplify70.0ms (2.3%)

Algorithm
1×egg-herbie
Rules
529×unswap-sqr_binary64_20506
291×*-commutative_binary64_20469
267×times-frac_binary64_20544
218×distribute-rgt-neg-in_binary64_20496
195×distribute-lft-neg-in_binary64_20495
192×unsub-neg_binary64_20532
188×exp-prod_binary64_20590
163×distribute-lft-neg-out_binary64_20497
161×distribute-rgt-neg-out_binary64_20498
157×associate-+l+_binary64_20471
153×neg-mul-1_binary64_20534
151×associate-+r+_binary64_20470
150×neg-sub0_binary64_20533
133×distribute-rgt-in_binary64_20488
130×associate-*l*_binary64_20479
129×distribute-lft-in_binary64_20487
117×sqr-pow_binary64_20510
98×cancel-sign-sub-inv_binary64_20504
94×associate-*r*_binary64_20478
82×+-commutative_binary64_20468
56×exp-sum_binary64_20584
48×sub-neg_binary64_20531
46×cube-prod_binary64_20566
38×associate-/l*_binary64_20483
36×exp-diff_binary64_20586
35×distribute-neg-in_binary64_20499
30×log-prod_binary64_20624
29×associate-+l-_binary64_20473
26×sqr-neg_binary64_20552 distribute-neg-out_binary64_20500
25×*-rgt-identity_binary64_20528
24×*-lft-identity_binary64_20527 pow-sqr_binary64_20511
18×associate-/l/_binary64_20485
16×unpow3_binary64_20604 prod-exp_binary64_20587 cube-unmult_binary64_20575 rem-sqrt-square_binary64_20551 div-sub_binary64_20543 swap-sqr_binary64_20505
13×pow-plus_binary64_20601 associate-/r*_binary64_20482 associate-+r-_binary64_20472
10×unpow1/2_binary64_20602
9×mul0-rgt_binary64_20521 mul0-lft_binary64_20520 associate-*r/_binary64_20480
8×exp-lft-sqr_binary64_20593 div-exp_binary64_20589 cube-mult_binary64_20568 cube-neg_binary64_20565 sub0-neg_binary64_20525 distribute-rgt-out_binary64_20491 associate-/r/_binary64_20484
6×log-div_binary64_20625 cube-div_binary64_20567 +-rgt-identity_binary64_20523 associate--r+_binary64_20474
5×distribute-lft-out_binary64_20489
4×log-pow_binary64_20627 exp-neg_binary64_20585 distribute-neg-frac_binary64_20502 distribute-rgt-out--_binary64_20492 count-2_binary64_20486
3×exp-lft-cube_binary64_20594 distribute-frac-neg_binary64_20501 distribute-rgt1-in_binary64_20494
2×unpow2_binary64_20603 exp-sqrt_binary64_20591 rec-exp_binary64_20588 --rgt-identity_binary64_20524 distribute-lft1-in_binary64_20493 associate-*l/_binary64_20481
1×log-rec_binary64_20626 unpow1_binary64_20596 1-exp_binary64_20582 exp-1-e_binary64_20581 /-rgt-identity_binary64_20529 remove-double-neg_binary64_20526 associate--l+_binary64_20475
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_20801 erf-erfc_binary64_20800 erf-odd_binary64_20799 if-if-and-not_binary64_20798 if-if-and_binary64_20797 if-if-or-not_binary64_20796 if-if-or_binary64_20795 if-not_binary64_20794 if-same_binary64_20793 if-false_binary64_20792 if-true_binary64_20791 not-gte_binary64_20790 not-lte_binary64_20789 not-gt_binary64_20788 not-lt_binary64_20787 gte-same_binary64_20786 lte-same_binary64_20785 gt-same_binary64_20784 lt-same_binary64_20783 sinh---cosh_binary64_20730 sinh-+-cosh_binary64_20729 sinh-cosh_binary64_20728 tanh-def-c_binary64_20727 tanh-def-b_binary64_20726 tanh-def-a_binary64_20725 cosh-def_binary64_20724 sinh-def_binary64_20723 tan-neg_binary64_20670 cos-neg_binary64_20669 sin-neg_binary64_20668 tan-0_binary64_20667 cos-0_binary64_20666 sin-0_binary64_20665 hang-m-tan_binary64_20664 hang-p-tan_binary64_20663 hang-m0-tan_binary64_20662 hang-p0-tan_binary64_20661 hang-0m-tan_binary64_20660 hang-0p-tan_binary64_20659 tan-+PI/2_binary64_20658 tan-+PI_binary64_20657 tan-PI_binary64_20656 tan-PI/3_binary64_20655 tan-PI/4_binary64_20654 tan-PI/6_binary64_20653 cos-+PI/2_binary64_20652 cos-+PI_binary64_20651 cos-PI_binary64_20650 cos-PI/2_binary64_20649 cos-PI/3_binary64_20648 cos-PI/4_binary64_20647 cos-PI/6_binary64_20646 sin-+PI/2_binary64_20645 sin-+PI_binary64_20644 sin-PI_binary64_20643 sin-PI/2_binary64_20642 sin-PI/3_binary64_20641 sin-PI/4_binary64_20640 sin-PI/6_binary64_20639 sub-1-sin_binary64_20638 sub-1-cos_binary64_20637 -1-add-sin_binary64_20636 -1-add-cos_binary64_20635 1-sub-sin_binary64_20634 1-sub-cos_binary64_20633 cos-sin-sum_binary64_20632 log-E_binary64_20628 pow-base-0_binary64_20622 unpow1/3_binary64_20605 exp-to-pow_binary64_20600 pow-base-1_binary64_20598 unpow0_binary64_20597 unpow-1_binary64_20595 exp-cbrt_binary64_20592 e-exp-1_binary64_20583 exp-0_binary64_20580 rem-log-exp_binary64_20579 rem-exp-log_binary64_20578 rem-3cbrt-rft_binary64_20564 rem-3cbrt-lft_binary64_20563 rem-cbrt-cube_binary64_20562 rem-cube-cbrt_binary64_20561 sqr-abs_binary64_20553 rem-square-sqrt_binary64_20550 mul-1-neg_binary64_20530 +-lft-identity_binary64_20522 div0_binary64_20519 *-inverses_binary64_20518 +-inverses_binary64_20517 lft-mult-inverse_binary64_20516 rgt-mult-inverse_binary64_20515 remove-double-div_binary64_20514 difference-of-sqr--1_binary64_20509 difference-of-sqr-1_binary64_20508 difference-of-squares_binary64_20507 cancel-sign-sub_binary64_20503 distribute-lft-out--_binary64_20490 associate--r-_binary64_20477 associate--l-_binary64_20476
Counts
31 → 25
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
064525
1171438
2555438
31245438
42000438
54425438
65105438

prune29.0ms (1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New21425
Fresh000
Picked011
Done000
Total21526
Error
0b
Counts
26 → 5
Compiler

Compiled 361 to 260 computations (28% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(*.f64 x (-.f64 3 (*.f64 x 2)))
0.2b
(*.f64 x (*.f64 x (-.f64 3 (*.f64 x 2))))

rewrite68.0ms (2.3%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
10×distribute-rgt-in_binary64_20488 distribute-lft-in_binary64_20487
9×pow1_binary64_20599 add-exp-log_binary64_20576 add-cbrt-cube_binary64_20574
7×add-sqr-sqrt_binary64_20560
6×sub-neg_binary64_20531 cancel-sign-sub-inv_binary64_20504 associate-*r/_binary64_20480 associate-*l*_binary64_20479
5×add-cube-cbrt_binary64_20573 *-un-lft-identity_binary64_20538
4×pow-prod-down_binary64_20609 prod-exp_binary64_20587 cbrt-unprod_binary64_20571 associate-*r*_binary64_20478
2×add-log-exp_binary64_20577 flip3--_binary64_20542 flip--_binary64_20513 *-commutative_binary64_20469
1×unswap-sqr_binary64_20506
Counts
2 → 52
Calls

2 calls:

8.0ms
(*.f64 x (*.f64 x (-.f64 3 (*.f64 x 2))))
6.0ms
(*.f64 x (-.f64 3 (*.f64 x 2)))
Compiler

Compiled 844 to 581 computations (31.2% saved)

series159.0ms (5.3%)

Error
0b
Counts
2 → 12
Calls

2 calls:

79.0ms
(*.f64 x (*.f64 x (-.f64 3 (*.f64 x 2))))
71.0ms
(*.f64 x (-.f64 3 (*.f64 x 2)))
Compiler

Compiled 266 to 222 computations (16.5% saved)

simplify71.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
542×unswap-sqr_binary64_20506
487×unsub-neg_binary64_20532
335×neg-mul-1_binary64_20534
330×neg-sub0_binary64_20533
233×distribute-rgt-in_binary64_20488
229×distribute-lft-in_binary64_20487
213×*-commutative_binary64_20469
157×distribute-rgt-neg-out_binary64_20498 distribute-lft-neg-out_binary64_20497
150×associate-*l*_binary64_20479
143×exp-prod_binary64_20590
140×sqr-pow_binary64_20510
133×associate-*r*_binary64_20478
108×+-commutative_binary64_20468
92×distribute-rgt-neg-in_binary64_20496
83×cancel-sign-sub-inv_binary64_20504
81×distribute-lft-neg-in_binary64_20495
70×associate-+r+_binary64_20470
62×associate-+l+_binary64_20471
53×sub-neg_binary64_20531
47×exp-sum_binary64_20584
42×*-rgt-identity_binary64_20528
38×*-lft-identity_binary64_20527
33×pow-sqr_binary64_20511
27×cube-prod_binary64_20566
25×div-sub_binary64_20543 swap-sqr_binary64_20505
22×associate-/l*_binary64_20483
21×exp-diff_binary64_20586
20×log-prod_binary64_20624
13×mul0-rgt_binary64_20521 mul0-lft_binary64_20520
10×+-rgt-identity_binary64_20523
9×cube-unmult_binary64_20575 sub0-neg_binary64_20525
8×exp-lft-sqr_binary64_20593
7×unpow3_binary64_20604 associate-+l-_binary64_20473
6×pow-plus_binary64_20601 prod-exp_binary64_20587 associate-/r*_binary64_20482
5×unpow1/2_binary64_20602 sqr-neg_binary64_20552 associate-/l/_binary64_20485 associate-*r/_binary64_20480
4×log-pow_binary64_20627 cube-mult_binary64_20568 rem-sqrt-square_binary64_20551 times-frac_binary64_20544 distribute-rgt-out--_binary64_20492
3×cube-neg_binary64_20565 count-2_binary64_20486 associate-/r/_binary64_20484
2×exp-lft-cube_binary64_20594 exp-neg_binary64_20585 /-rgt-identity_binary64_20529 remove-double-neg_binary64_20526 --rgt-identity_binary64_20524 associate-+r-_binary64_20472
1×unpow2_binary64_20603 unpow1_binary64_20596 1-exp_binary64_20582 exp-1-e_binary64_20581 div0_binary64_20519 distribute-rgt-out_binary64_20491 distribute-lft-out_binary64_20489
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_20801 erf-erfc_binary64_20800 erf-odd_binary64_20799 if-if-and-not_binary64_20798 if-if-and_binary64_20797 if-if-or-not_binary64_20796 if-if-or_binary64_20795 if-not_binary64_20794 if-same_binary64_20793 if-false_binary64_20792 if-true_binary64_20791 not-gte_binary64_20790 not-lte_binary64_20789 not-gt_binary64_20788 not-lt_binary64_20787 gte-same_binary64_20786 lte-same_binary64_20785 gt-same_binary64_20784 lt-same_binary64_20783 sinh---cosh_binary64_20730 sinh-+-cosh_binary64_20729 sinh-cosh_binary64_20728 tanh-def-c_binary64_20727 tanh-def-b_binary64_20726 tanh-def-a_binary64_20725 cosh-def_binary64_20724 sinh-def_binary64_20723 tan-neg_binary64_20670 cos-neg_binary64_20669 sin-neg_binary64_20668 tan-0_binary64_20667 cos-0_binary64_20666 sin-0_binary64_20665 hang-m-tan_binary64_20664 hang-p-tan_binary64_20663 hang-m0-tan_binary64_20662 hang-p0-tan_binary64_20661 hang-0m-tan_binary64_20660 hang-0p-tan_binary64_20659 tan-+PI/2_binary64_20658 tan-+PI_binary64_20657 tan-PI_binary64_20656 tan-PI/3_binary64_20655 tan-PI/4_binary64_20654 tan-PI/6_binary64_20653 cos-+PI/2_binary64_20652 cos-+PI_binary64_20651 cos-PI_binary64_20650 cos-PI/2_binary64_20649 cos-PI/3_binary64_20648 cos-PI/4_binary64_20647 cos-PI/6_binary64_20646 sin-+PI/2_binary64_20645 sin-+PI_binary64_20644 sin-PI_binary64_20643 sin-PI/2_binary64_20642 sin-PI/3_binary64_20641 sin-PI/4_binary64_20640 sin-PI/6_binary64_20639 sub-1-sin_binary64_20638 sub-1-cos_binary64_20637 -1-add-sin_binary64_20636 -1-add-cos_binary64_20635 1-sub-sin_binary64_20634 1-sub-cos_binary64_20633 cos-sin-sum_binary64_20632 log-E_binary64_20628 log-rec_binary64_20626 log-div_binary64_20625 pow-base-0_binary64_20622 unpow1/3_binary64_20605 exp-to-pow_binary64_20600 pow-base-1_binary64_20598 unpow0_binary64_20597 unpow-1_binary64_20595 exp-cbrt_binary64_20592 exp-sqrt_binary64_20591 div-exp_binary64_20589 rec-exp_binary64_20588 e-exp-1_binary64_20583 exp-0_binary64_20580 rem-log-exp_binary64_20579 rem-exp-log_binary64_20578 cube-div_binary64_20567 rem-3cbrt-rft_binary64_20564 rem-3cbrt-lft_binary64_20563 rem-cbrt-cube_binary64_20562 rem-cube-cbrt_binary64_20561 sqr-abs_binary64_20553 rem-square-sqrt_binary64_20550 mul-1-neg_binary64_20530 +-lft-identity_binary64_20522 *-inverses_binary64_20518 +-inverses_binary64_20517 lft-mult-inverse_binary64_20516 rgt-mult-inverse_binary64_20515 remove-double-div_binary64_20514 difference-of-sqr--1_binary64_20509 difference-of-sqr-1_binary64_20508 difference-of-squares_binary64_20507 cancel-sign-sub_binary64_20503 distribute-neg-frac_binary64_20502 distribute-frac-neg_binary64_20501 distribute-neg-out_binary64_20500 distribute-neg-in_binary64_20499 distribute-rgt1-in_binary64_20494 distribute-lft1-in_binary64_20493 distribute-lft-out--_binary64_20490 associate-*l/_binary64_20481 associate--r-_binary64_20477 associate--l-_binary64_20476 associate--l+_binary64_20475 associate--r+_binary64_20474
Counts
64 → 50
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
091968
1200812
2658812
31717810
43158810
55104810

prune42.0ms (1.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New49150
Fresh123
Picked101
Done011
Total51455
Error
0b
Counts
55 → 4
Compiler

Compiled 644 to 421 computations (34.6% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(*.f64 (*.f64 x x) -2)
0.0b
(+.f64 (*.f64 3 x) (*.f64 (*.f64 x x) -2))
0.2b
(*.f64 x (+.f64 (*.f64 3 x) (*.f64 (*.f64 x x) -2)))

rewrite75.0ms (2.5%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
10×pow1_binary64_20599 add-exp-log_binary64_20576 add-cbrt-cube_binary64_20574
9×add-sqr-sqrt_binary64_20560
6×add-cube-cbrt_binary64_20573 *-un-lft-identity_binary64_20538 associate-*r*_binary64_20478
5×add-log-exp_binary64_20577
4×pow-prod-down_binary64_20609 prod-exp_binary64_20587 cbrt-unprod_binary64_20571 associate-*l*_binary64_20479
2×unswap-sqr_binary64_20506 flip3-+_binary64_20541 associate-*r/_binary64_20480 flip-+_binary64_20512 *-commutative_binary64_20469
1×distribute-rgt-in_binary64_20488 distribute-lft-in_binary64_20487 sum-log_binary64_20629 +-commutative_binary64_20468
Counts
3 → 52
Calls

3 calls:

7.0ms
(*.f64 x (+.f64 (*.f64 3 x) (*.f64 (*.f64 x x) -2)))
6.0ms
(+.f64 (*.f64 3 x) (*.f64 (*.f64 x x) -2))
6.0ms
(*.f64 (*.f64 x x) -2)
Compiler

Compiled 1019 to 611 computations (40% saved)

series234.0ms (7.8%)

Error
0b
Counts
3 → 15
Calls

3 calls:

106.0ms
(*.f64 x (+.f64 (*.f64 3 x) (*.f64 (*.f64 x x) -2)))
79.0ms
(+.f64 (*.f64 3 x) (*.f64 (*.f64 x x) -2))
40.0ms
(*.f64 (*.f64 x x) -2)
Compiler

Compiled 365 to 300 computations (17.8% saved)

simplify90.0ms (3%)

Algorithm
1×egg-herbie
Rules
320×*-commutative_binary64_20469
268×distribute-rgt-neg-in_binary64_20496
260×times-frac_binary64_20544
244×distribute-lft-out_binary64_20489 distribute-rgt-in_binary64_20488
228×cancel-sign-sub-inv_binary64_20504 distribute-lft-in_binary64_20487
221×distribute-rgt-neg-out_binary64_20498
202×exp-prod_binary64_20590
194×distribute-lft-neg-out_binary64_20497
187×associate-*l*_binary64_20479
185×distribute-lft-neg-in_binary64_20495
183×unswap-sqr_binary64_20506
148×distribute-rgt-out_binary64_20491
147×associate-*r*_binary64_20478
112×unsub-neg_binary64_20532
106×sqr-pow_binary64_20510
99×cube-prod_binary64_20566
88×log-prod_binary64_20624
82×neg-sub0_binary64_20533
81×neg-mul-1_binary64_20534
76×swap-sqr_binary64_20505
62×sub-neg_binary64_20531
57×distribute-rgt-out--_binary64_20492
37×*-rgt-identity_binary64_20528 distribute-lft-out--_binary64_20490
36×*-lft-identity_binary64_20527
24×exp-diff_binary64_20586
23×exp-sum_binary64_20584 distribute-neg-out_binary64_20500
20×unpow3_binary64_20604
19×prod-exp_binary64_20587 associate-+l+_binary64_20471
16×+-commutative_binary64_20468
15×associate-+r+_binary64_20470
13×pow-plus_binary64_20601 pow-sqr_binary64_20511
12×cube-mult_binary64_20568
11×remove-double-neg_binary64_20526 distribute-neg-in_binary64_20499
10×exp-lft-sqr_binary64_20593
9×unpow1/2_binary64_20602 cube-unmult_binary64_20575 sqr-neg_binary64_20552
8×cube-neg_binary64_20565 rem-sqrt-square_binary64_20551 associate-+l-_binary64_20473 associate-+r-_binary64_20472
6×sub0-neg_binary64_20525
5×div-exp_binary64_20589 div-sub_binary64_20543 +-rgt-identity_binary64_20523 associate-/l*_binary64_20483
4×rec-exp_binary64_20588
3×log-pow_binary64_20627 difference-of-squares_binary64_20507
2×unpow-1_binary64_20595 exp-lft-cube_binary64_20594 associate--r-_binary64_20477
1×unpow2_binary64_20603 unpow1_binary64_20596 1-exp_binary64_20582 exp-1-e_binary64_20581 --rgt-identity_binary64_20524 distribute-frac-neg_binary64_20501 count-2_binary64_20486 associate--l-_binary64_20476 associate--l+_binary64_20475
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_20801 erf-erfc_binary64_20800 erf-odd_binary64_20799 if-if-and-not_binary64_20798 if-if-and_binary64_20797 if-if-or-not_binary64_20796 if-if-or_binary64_20795 if-not_binary64_20794 if-same_binary64_20793 if-false_binary64_20792 if-true_binary64_20791 not-gte_binary64_20790 not-lte_binary64_20789 not-gt_binary64_20788 not-lt_binary64_20787 gte-same_binary64_20786 lte-same_binary64_20785 gt-same_binary64_20784 lt-same_binary64_20783 sinh---cosh_binary64_20730 sinh-+-cosh_binary64_20729 sinh-cosh_binary64_20728 tanh-def-c_binary64_20727 tanh-def-b_binary64_20726 tanh-def-a_binary64_20725 cosh-def_binary64_20724 sinh-def_binary64_20723 tan-neg_binary64_20670 cos-neg_binary64_20669 sin-neg_binary64_20668 tan-0_binary64_20667 cos-0_binary64_20666 sin-0_binary64_20665 hang-m-tan_binary64_20664 hang-p-tan_binary64_20663 hang-m0-tan_binary64_20662 hang-p0-tan_binary64_20661 hang-0m-tan_binary64_20660 hang-0p-tan_binary64_20659 tan-+PI/2_binary64_20658 tan-+PI_binary64_20657 tan-PI_binary64_20656 tan-PI/3_binary64_20655 tan-PI/4_binary64_20654 tan-PI/6_binary64_20653 cos-+PI/2_binary64_20652 cos-+PI_binary64_20651 cos-PI_binary64_20650 cos-PI/2_binary64_20649 cos-PI/3_binary64_20648 cos-PI/4_binary64_20647 cos-PI/6_binary64_20646 sin-+PI/2_binary64_20645 sin-+PI_binary64_20644 sin-PI_binary64_20643 sin-PI/2_binary64_20642 sin-PI/3_binary64_20641 sin-PI/4_binary64_20640 sin-PI/6_binary64_20639 sub-1-sin_binary64_20638 sub-1-cos_binary64_20637 -1-add-sin_binary64_20636 -1-add-cos_binary64_20635 1-sub-sin_binary64_20634 1-sub-cos_binary64_20633 cos-sin-sum_binary64_20632 log-E_binary64_20628 log-rec_binary64_20626 log-div_binary64_20625 pow-base-0_binary64_20622 unpow1/3_binary64_20605 exp-to-pow_binary64_20600 pow-base-1_binary64_20598 unpow0_binary64_20597 exp-cbrt_binary64_20592 exp-sqrt_binary64_20591 exp-neg_binary64_20585 e-exp-1_binary64_20583 exp-0_binary64_20580 rem-log-exp_binary64_20579 rem-exp-log_binary64_20578 cube-div_binary64_20567 rem-3cbrt-rft_binary64_20564 rem-3cbrt-lft_binary64_20563 rem-cbrt-cube_binary64_20562 rem-cube-cbrt_binary64_20561 sqr-abs_binary64_20553 rem-square-sqrt_binary64_20550 mul-1-neg_binary64_20530 /-rgt-identity_binary64_20529 +-lft-identity_binary64_20522 mul0-rgt_binary64_20521 mul0-lft_binary64_20520 div0_binary64_20519 *-inverses_binary64_20518 +-inverses_binary64_20517 lft-mult-inverse_binary64_20516 rgt-mult-inverse_binary64_20515 remove-double-div_binary64_20514 difference-of-sqr--1_binary64_20509 difference-of-sqr-1_binary64_20508 cancel-sign-sub_binary64_20503 distribute-neg-frac_binary64_20502 distribute-rgt1-in_binary64_20494 distribute-lft1-in_binary64_20493 associate-/l/_binary64_20485 associate-/r/_binary64_20484 associate-/r*_binary64_20482 associate-*l/_binary64_20481 associate-*r/_binary64_20480 associate--r+_binary64_20474
Counts
67 → 48
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0921048
1256823
2935820
32399812
44552812
55207812

prune42.0ms (1.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New48048
Fresh022
Picked011
Done011
Total48452
Error
0b
Counts
52 → 4
Compiler

Compiled 697 to 463 computations (33.6% saved)

localize10.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.2b
(*.f64 (*.f64 x x) (-.f64 9 (*.f64 x (*.f64 x 4))))
4.7b
(/.f64 (*.f64 (*.f64 x x) (-.f64 9 (*.f64 x (*.f64 x 4)))) (+.f64 3 (*.f64 x 2)))

rewrite96.0ms (3.2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
16×add-exp-log_binary64_20576 add-cbrt-cube_binary64_20574
7×pow1_binary64_20599
6×prod-exp_binary64_20587 cbrt-unprod_binary64_20571 add-sqr-sqrt_binary64_20560
5×add-cube-cbrt_binary64_20573 *-un-lft-identity_binary64_20538
4×associate-*r/_binary64_20480
3×div-exp_binary64_20589 cbrt-undiv_binary64_20572 times-frac_binary64_20544 associate-/r*_binary64_20482 pow-prod-down_binary64_20609 associate-*r*_binary64_20478
2×add-log-exp_binary64_20577 flip3--_binary64_20542 associate-/l/_binary64_20485 flip--_binary64_20513 associate-/r/_binary64_20484 sub-neg_binary64_20531 distribute-rgt-in_binary64_20488 cancel-sign-sub-inv_binary64_20504 distribute-lft-in_binary64_20487
1×frac-2neg_binary64_20549 clear-num_binary64_20537 div-inv_binary64_20535 flip3-+_binary64_20541 flip-+_binary64_20512 associate-/l*_binary64_20483 unswap-sqr_binary64_20506 associate-*l*_binary64_20479 *-commutative_binary64_20469
Counts
2 → 52
Calls

2 calls:

12.0ms
(/.f64 (*.f64 (*.f64 x x) (-.f64 9 (*.f64 x (*.f64 x 4)))) (+.f64 3 (*.f64 x 2)))
9.0ms
(*.f64 (*.f64 x x) (-.f64 9 (*.f64 x (*.f64 x 4))))
Compiler

Compiled 1485 to 1007 computations (32.2% saved)

series256.0ms (8.5%)

Error
0b
Counts
2 → 12
Calls

2 calls:

142.0ms
(/.f64 (*.f64 (*.f64 x x) (-.f64 9 (*.f64 x (*.f64 x 4)))) (+.f64 3 (*.f64 x 2)))
103.0ms
(*.f64 (*.f64 x x) (-.f64 9 (*.f64 x (*.f64 x 4))))
Compiler

Compiled 348 to 304 computations (12.6% saved)

simplify57.0ms (1.9%)

Algorithm
1×egg-herbie
Rules
920×times-frac_binary64_20544
459×associate-/l/_binary64_20485
304×distribute-rgt-in_binary64_20488
293×distribute-lft-in_binary64_20487
207×associate-*l*_binary64_20479
163×associate-*r*_binary64_20478
122×distribute-rgt-neg-in_binary64_20496
116×cancel-sign-sub-inv_binary64_20504
111×associate-/l*_binary64_20483
110×distribute-lft-neg-in_binary64_20495
72×*-commutative_binary64_20469
57×associate-*l/_binary64_20481
51×unswap-sqr_binary64_20506
40×distribute-neg-frac_binary64_20502
38×div-sub_binary64_20543
36×associate-*r/_binary64_20480
34×log-div_binary64_20625
31×sub-neg_binary64_20531
30×cube-div_binary64_20567
29×swap-sqr_binary64_20505
28×cube-prod_binary64_20566 neg-sub0_binary64_20533 sqr-pow_binary64_20510
27×neg-mul-1_binary64_20534
25×distribute-lft-neg-out_binary64_20497
22×associate-/r*_binary64_20482
21×*-rgt-identity_binary64_20528
20×distribute-rgt-out_binary64_20491
19×log-prod_binary64_20624
18×exp-prod_binary64_20590 +-commutative_binary64_20468
16×distribute-rgt-neg-out_binary64_20498 associate-/r/_binary64_20484
14×*-lft-identity_binary64_20527
12×/-rgt-identity_binary64_20529 distribute-lft-out_binary64_20489
10×distribute-neg-in_binary64_20499
6×cube-unmult_binary64_20575 associate-+l+_binary64_20471
5×log-rec_binary64_20626 unpow3_binary64_20604 cube-mult_binary64_20568 unsub-neg_binary64_20532
4×exp-sum_binary64_20584 associate--l+_binary64_20475
3×pow-plus_binary64_20601 pow-sqr_binary64_20511 associate-+r+_binary64_20470
2×exp-diff_binary64_20586 distribute-rgt-out--_binary64_20492 distribute-lft-out--_binary64_20490
1×log-pow_binary64_20627 unpow2_binary64_20603 unpow1/2_binary64_20602 unpow1_binary64_20596 1-exp_binary64_20582 exp-1-e_binary64_20581 remove-double-neg_binary64_20526 *-inverses_binary64_20518 rgt-mult-inverse_binary64_20515 count-2_binary64_20486 associate--r+_binary64_20474
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_20801 erf-erfc_binary64_20800 erf-odd_binary64_20799 if-if-and-not_binary64_20798 if-if-and_binary64_20797 if-if-or-not_binary64_20796 if-if-or_binary64_20795 if-not_binary64_20794 if-same_binary64_20793 if-false_binary64_20792 if-true_binary64_20791 not-gte_binary64_20790 not-lte_binary64_20789 not-gt_binary64_20788 not-lt_binary64_20787 gte-same_binary64_20786 lte-same_binary64_20785 gt-same_binary64_20784 lt-same_binary64_20783 sinh---cosh_binary64_20730 sinh-+-cosh_binary64_20729 sinh-cosh_binary64_20728 tanh-def-c_binary64_20727 tanh-def-b_binary64_20726 tanh-def-a_binary64_20725 cosh-def_binary64_20724 sinh-def_binary64_20723 tan-neg_binary64_20670 cos-neg_binary64_20669 sin-neg_binary64_20668 tan-0_binary64_20667 cos-0_binary64_20666 sin-0_binary64_20665 hang-m-tan_binary64_20664 hang-p-tan_binary64_20663 hang-m0-tan_binary64_20662 hang-p0-tan_binary64_20661 hang-0m-tan_binary64_20660 hang-0p-tan_binary64_20659 tan-+PI/2_binary64_20658 tan-+PI_binary64_20657 tan-PI_binary64_20656 tan-PI/3_binary64_20655 tan-PI/4_binary64_20654 tan-PI/6_binary64_20653 cos-+PI/2_binary64_20652 cos-+PI_binary64_20651 cos-PI_binary64_20650 cos-PI/2_binary64_20649 cos-PI/3_binary64_20648 cos-PI/4_binary64_20647 cos-PI/6_binary64_20646 sin-+PI/2_binary64_20645 sin-+PI_binary64_20644 sin-PI_binary64_20643 sin-PI/2_binary64_20642 sin-PI/3_binary64_20641 sin-PI/4_binary64_20640 sin-PI/6_binary64_20639 sub-1-sin_binary64_20638 sub-1-cos_binary64_20637 -1-add-sin_binary64_20636 -1-add-cos_binary64_20635 1-sub-sin_binary64_20634 1-sub-cos_binary64_20633 cos-sin-sum_binary64_20632 log-E_binary64_20628 pow-base-0_binary64_20622 unpow1/3_binary64_20605 exp-to-pow_binary64_20600 pow-base-1_binary64_20598 unpow0_binary64_20597 unpow-1_binary64_20595 exp-lft-cube_binary64_20594 exp-lft-sqr_binary64_20593 exp-cbrt_binary64_20592 exp-sqrt_binary64_20591 div-exp_binary64_20589 rec-exp_binary64_20588 prod-exp_binary64_20587 exp-neg_binary64_20585 e-exp-1_binary64_20583 exp-0_binary64_20580 rem-log-exp_binary64_20579 rem-exp-log_binary64_20578 cube-neg_binary64_20565 rem-3cbrt-rft_binary64_20564 rem-3cbrt-lft_binary64_20563 rem-cbrt-cube_binary64_20562 rem-cube-cbrt_binary64_20561 sqr-abs_binary64_20553 sqr-neg_binary64_20552 rem-sqrt-square_binary64_20551 rem-square-sqrt_binary64_20550 mul-1-neg_binary64_20530 sub0-neg_binary64_20525 --rgt-identity_binary64_20524 +-rgt-identity_binary64_20523 +-lft-identity_binary64_20522 mul0-rgt_binary64_20521 mul0-lft_binary64_20520 div0_binary64_20519 +-inverses_binary64_20517 lft-mult-inverse_binary64_20516 remove-double-div_binary64_20514 difference-of-sqr--1_binary64_20509 difference-of-sqr-1_binary64_20508 difference-of-squares_binary64_20507 cancel-sign-sub_binary64_20503 distribute-frac-neg_binary64_20501 distribute-neg-out_binary64_20500 distribute-rgt1-in_binary64_20494 distribute-lft1-in_binary64_20493 associate--r-_binary64_20477 associate--l-_binary64_20476 associate-+l-_binary64_20473 associate-+r-_binary64_20472
Counts
64 → 51
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01241607
13611305
215431294
350151294

prune59.0ms (2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New51051
Fresh011
Picked011
Done022
Total51455
Error
0b
Counts
55 → 4
Compiler

Compiled 1029 to 745 computations (27.6% saved)

regimes127.0ms (4.2%)

Accuracy

Total 0.1b remaining (96.5%)

Threshold costs 0.1b (96.5%)

Compiler

Compiled 1260 to 958 computations (24% saved)

bsearch0.0ms (0%)

simplify5.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
5×*-commutative_binary64_20469
4×sub-neg_binary64_20531 +-commutative_binary64_20468
3×neg-mul-1_binary64_20534 neg-sub0_binary64_20533
2×cancel-sign-sub-inv_binary64_20504 distribute-rgt-neg-in_binary64_20496
1×distribute-lft-neg-out_binary64_20497 distribute-lft-neg-in_binary64_20495
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_20798 if-if-and_binary64_20797 if-if-or-not_binary64_20796 if-if-or_binary64_20795 if-not_binary64_20794 if-same_binary64_20793 if-false_binary64_20792 if-true_binary64_20791 tan-0_binary64_20667 cos-0_binary64_20666 sin-0_binary64_20665 unpow1_binary64_20596 e-exp-1_binary64_20583 1-exp_binary64_20582 exp-1-e_binary64_20581 exp-0_binary64_20580 sqr-abs_binary64_20553 sqr-neg_binary64_20552 unsub-neg_binary64_20532 mul-1-neg_binary64_20530 /-rgt-identity_binary64_20529 *-rgt-identity_binary64_20528 *-lft-identity_binary64_20527 remove-double-neg_binary64_20526 sub0-neg_binary64_20525 --rgt-identity_binary64_20524 +-rgt-identity_binary64_20523 +-lft-identity_binary64_20522 cancel-sign-sub_binary64_20503 distribute-neg-frac_binary64_20502 distribute-frac-neg_binary64_20501 distribute-neg-out_binary64_20500 distribute-neg-in_binary64_20499 distribute-rgt-neg-out_binary64_20498
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0916
11616
22616
33216
43616
53716
63716

end0.0ms (0%)

sample902.0ms (30%)

Algorithm
1×intervals
Results
187.0ms8000×body128valid
0.0ms3×body128invalid
Compiler

Compiled 595 to 458 computations (23% saved)

Profiling

Loading profile data...