Details

Time bar (total: 4.6s)

analyze76.0ms (1.6%)

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
37.5%62.4%0.1%6
56.2%43.7%0.1%7
65.6%34.3%0.1%8
76.5%23.4%0.1%9
82%18%0.1%10
87.8%12.1%0.1%11
90.7%9.2%0.1%12
93.8%6.1%0.1%13
95.3%4.6%0.1%14
Compiler

Compiled 6 to 6 computations (0% saved)

sample13.0ms (0.3%)

Algorithm
1×intervals
Results
4.0ms255×body128valid
0.0ms3×body128invalid
0.0ms1×body256valid
Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify617.0ms (13.3%)

Algorithm
1×egg-herbie
Rules
787×exp-prod_binary64_9678
614×swap-sqr_binary64_9593
383×distribute-rgt-neg-in_binary64_9584
295×distribute-neg-in_binary64_9587
251×distribute-lft-neg-in_binary64_9583
242×associate--r-_binary64_9565
224×distribute-rgt1-in_binary64_9582
213×exp-sum_binary64_9672
203×unsub-neg_binary64_9620
158×distribute-rgt-in_binary64_9576
154×sub-neg_binary64_9619
153×*-commutative_binary64_9557
152×sqr-pow_binary64_9598
140×neg-mul-1_binary64_9622
138×neg-sub0_binary64_9621
102×associate-*r*_binary64_9566
98×distribute-rgt-out_binary64_9579
92×distribute-lft-in_binary64_9575
85×pow-sqr_binary64_9599
82×pow-plus_binary64_9689
79×associate-+l+_binary64_9559
69×distribute-rgt-out--_binary64_9580
67×cancel-sign-sub-inv_binary64_9592
65×associate-*l*_binary64_9567
62×associate--r+_binary64_9562
58×associate--l+_binary64_9563
57×associate-+r+_binary64_9558
56×distribute-rgt-neg-out_binary64_9586
48×exp-diff_binary64_9674
44×distribute-lft-out_binary64_9577
40×distribute-lft-out--_binary64_9578
39×+-commutative_binary64_9556
34×associate-+l-_binary64_9561
29×distribute-neg-out_binary64_9588
27×distribute-lft-neg-out_binary64_9585
25×remove-double-neg_binary64_9614
20×sqr-neg_binary64_9640
18×count-2_binary64_9574
17×distribute-lft1-in_binary64_9581
13×exp-lft-sqr_binary64_9681
11×*-rgt-identity_binary64_9616 *-lft-identity_binary64_9615
10×exp-neg_binary64_9673 sub0-neg_binary64_9613 associate-*l/_binary64_9569
9×+-lft-identity_binary64_9610 associate-+r-_binary64_9560
8×+-inverses_binary64_9605
7×cube-prod_binary64_9654 +-rgt-identity_binary64_9611
6×cube-unmult_binary64_9663 mul0-lft_binary64_9608
4×--rgt-identity_binary64_9612 mul0-rgt_binary64_9609 difference-of-squares_binary64_9595
2×cube-neg_binary64_9653 difference-of-sqr--1_binary64_9597 unswap-sqr_binary64_9594
1×1-exp_binary64_9670 distribute-neg-frac_binary64_9590 associate--l-_binary64_9564
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_9889 erf-erfc_binary64_9888 erf-odd_binary64_9887 if-if-and-not_binary64_9886 if-if-and_binary64_9885 if-if-or-not_binary64_9884 if-if-or_binary64_9883 if-not_binary64_9882 if-same_binary64_9881 if-false_binary64_9880 if-true_binary64_9879 not-gte_binary64_9878 not-lte_binary64_9877 not-gt_binary64_9876 not-lt_binary64_9875 gte-same_binary64_9874 lte-same_binary64_9873 gt-same_binary64_9872 lt-same_binary64_9871 sinh---cosh_binary64_9818 sinh-+-cosh_binary64_9817 sinh-cosh_binary64_9816 tanh-def-c_binary64_9815 tanh-def-b_binary64_9814 tanh-def-a_binary64_9813 cosh-def_binary64_9812 sinh-def_binary64_9811 tan-neg_binary64_9758 cos-neg_binary64_9757 sin-neg_binary64_9756 tan-0_binary64_9755 cos-0_binary64_9754 sin-0_binary64_9753 hang-m-tan_binary64_9752 hang-p-tan_binary64_9751 hang-m0-tan_binary64_9750 hang-p0-tan_binary64_9749 hang-0m-tan_binary64_9748 hang-0p-tan_binary64_9747 tan-+PI/2_binary64_9746 tan-+PI_binary64_9745 tan-PI_binary64_9744 tan-PI/3_binary64_9743 tan-PI/4_binary64_9742 tan-PI/6_binary64_9741 cos-+PI/2_binary64_9740 cos-+PI_binary64_9739 cos-PI_binary64_9738 cos-PI/2_binary64_9737 cos-PI/3_binary64_9736 cos-PI/4_binary64_9735 cos-PI/6_binary64_9734 sin-+PI/2_binary64_9733 sin-+PI_binary64_9732 sin-PI_binary64_9731 sin-PI/2_binary64_9730 sin-PI/3_binary64_9729 sin-PI/4_binary64_9728 sin-PI/6_binary64_9727 sub-1-sin_binary64_9726 sub-1-cos_binary64_9725 -1-add-sin_binary64_9724 -1-add-cos_binary64_9723 1-sub-sin_binary64_9722 1-sub-cos_binary64_9721 cos-sin-sum_binary64_9720 log-E_binary64_9716 log-pow_binary64_9715 log-rec_binary64_9714 log-div_binary64_9713 log-prod_binary64_9712 pow-base-0_binary64_9710 unpow1/3_binary64_9693 unpow3_binary64_9692 unpow2_binary64_9691 unpow1/2_binary64_9690 exp-to-pow_binary64_9688 pow-base-1_binary64_9686 unpow0_binary64_9685 unpow1_binary64_9684 unpow-1_binary64_9683 exp-lft-cube_binary64_9682 exp-cbrt_binary64_9680 exp-sqrt_binary64_9679 div-exp_binary64_9677 rec-exp_binary64_9676 prod-exp_binary64_9675 e-exp-1_binary64_9671 exp-1-e_binary64_9669 exp-0_binary64_9668 rem-log-exp_binary64_9667 rem-exp-log_binary64_9666 cube-mult_binary64_9656 cube-div_binary64_9655 rem-3cbrt-rft_binary64_9652 rem-3cbrt-lft_binary64_9651 rem-cbrt-cube_binary64_9650 rem-cube-cbrt_binary64_9649 sqr-abs_binary64_9641 rem-sqrt-square_binary64_9639 rem-square-sqrt_binary64_9638 times-frac_binary64_9632 div-sub_binary64_9631 mul-1-neg_binary64_9618 /-rgt-identity_binary64_9617 div0_binary64_9607 *-inverses_binary64_9606 lft-mult-inverse_binary64_9604 rgt-mult-inverse_binary64_9603 remove-double-div_binary64_9602 difference-of-sqr-1_binary64_9596 cancel-sign-sub_binary64_9591 distribute-frac-neg_binary64_9589 associate-/l/_binary64_9573 associate-/r/_binary64_9572 associate-/l*_binary64_9571 associate-/r*_binary64_9570 associate-*r/_binary64_9568
Counts
1 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
197
2207
3357
4547
5757
61587
77447
819647

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 5 to 5 computations (0% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b
(*.f64 500 (-.f64 x y))

rewrite31.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
9×add-sqr-sqrt_binary64_9648
7×*-un-lft-identity_binary64_9626
6×cancel-sign-sub-inv_binary64_9592
5×add-cube-cbrt_binary64_9661 associate-*r*_binary64_9566
4×distribute-rgt-in_binary64_9576 distribute-lft-in_binary64_9575
3×pow1_binary64_9687 add-exp-log_binary64_9664 add-cbrt-cube_binary64_9662 associate-*l*_binary64_9567
2×sub-neg_binary64_9619 associate-*r/_binary64_9568
1×pow-prod-down_binary64_9697 prod-exp_binary64_9675 add-log-exp_binary64_9665 cbrt-unprod_binary64_9659 unswap-sqr_binary64_9594 flip3--_binary64_9630 flip--_binary64_9601 difference-of-squares_binary64_9595 distribute-lft-out--_binary64_9578 *-commutative_binary64_9557
Counts
1 → 30
Calls

1 calls:

8.0ms
(*.f64 500 (-.f64 x y))
Compiler

Compiled 338 to 187 computations (44.7% saved)

series100.0ms (2.2%)

Error
0.0b
Counts
1 → 12
Calls

1 calls:

93.0ms
(*.f64 500 (-.f64 x y))
Compiler

Compiled 162 to 152 computations (6.2% saved)

simplify135.0ms (2.9%)

Algorithm
1×egg-herbie
Rules
418×neg-sub0_binary64_9621
398×neg-mul-1_binary64_9622
393×associate-*l*_binary64_9567
333×associate-*r*_binary64_9566
318×unswap-sqr_binary64_9594
250×cancel-sign-sub-inv_binary64_9592
249×distribute-rgt-neg-out_binary64_9586
208×distribute-lft-neg-out_binary64_9585
195×sqr-pow_binary64_9598
173×exp-prod_binary64_9678
169×distribute-rgt-in_binary64_9576
167×distribute-lft-in_binary64_9575
120×unsub-neg_binary64_9620
80×associate-+r+_binary64_9558
68×exp-sum_binary64_9672
64×pow-sqr_binary64_9599 *-commutative_binary64_9557
59×associate-+l+_binary64_9559
58×+-commutative_binary64_9556
57×sub-neg_binary64_9619 swap-sqr_binary64_9593
56×*-rgt-identity_binary64_9616
55×*-lft-identity_binary64_9615
37×times-frac_binary64_9632
32×difference-of-squares_binary64_9595
26×div-sub_binary64_9631 distribute-rgt-out_binary64_9579
24×exp-diff_binary64_9674
22×distribute-lft-out_binary64_9577
21×distribute-rgt-neg-in_binary64_9584
20×cube-prod_binary64_9654
17×exp-to-pow_binary64_9688
16×mul0-rgt_binary64_9609 mul0-lft_binary64_9608 associate-/l*_binary64_9571
15×+-rgt-identity_binary64_9611
14×distribute-lft-neg-in_binary64_9583
13×log-prod_binary64_9712
12×sqr-neg_binary64_9640
11×cube-unmult_binary64_9663 +-lft-identity_binary64_9610 associate-+r-_binary64_9560
10×mul-1-neg_binary64_9618 sub0-neg_binary64_9613 associate-+l-_binary64_9561
7×unpow3_binary64_9692
6×remove-double-neg_binary64_9614
5×pow-plus_binary64_9689 associate-/l/_binary64_9573
4×exp-neg_binary64_9673 --rgt-identity_binary64_9612 associate-*r/_binary64_9568
3×prod-exp_binary64_9675 distribute-rgt-out--_binary64_9580
2×cube-mult_binary64_9656 cube-neg_binary64_9653 rem-sqrt-square_binary64_9639 /-rgt-identity_binary64_9617 associate-*l/_binary64_9569 associate--r+_binary64_9562
1×log-pow_binary64_9715 pow-base-1_binary64_9686 div-exp_binary64_9677 1-exp_binary64_9670 exp-1-e_binary64_9669 rem-log-exp_binary64_9667 rem-3cbrt-lft_binary64_9651 rem-square-sqrt_binary64_9638 div0_binary64_9607 *-inverses_binary64_9606 rgt-mult-inverse_binary64_9603 distribute-lft-out--_binary64_9578 count-2_binary64_9574
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_9889 erf-erfc_binary64_9888 erf-odd_binary64_9887 if-if-and-not_binary64_9886 if-if-and_binary64_9885 if-if-or-not_binary64_9884 if-if-or_binary64_9883 if-not_binary64_9882 if-same_binary64_9881 if-false_binary64_9880 if-true_binary64_9879 not-gte_binary64_9878 not-lte_binary64_9877 not-gt_binary64_9876 not-lt_binary64_9875 gte-same_binary64_9874 lte-same_binary64_9873 gt-same_binary64_9872 lt-same_binary64_9871 sinh---cosh_binary64_9818 sinh-+-cosh_binary64_9817 sinh-cosh_binary64_9816 tanh-def-c_binary64_9815 tanh-def-b_binary64_9814 tanh-def-a_binary64_9813 cosh-def_binary64_9812 sinh-def_binary64_9811 tan-neg_binary64_9758 cos-neg_binary64_9757 sin-neg_binary64_9756 tan-0_binary64_9755 cos-0_binary64_9754 sin-0_binary64_9753 hang-m-tan_binary64_9752 hang-p-tan_binary64_9751 hang-m0-tan_binary64_9750 hang-p0-tan_binary64_9749 hang-0m-tan_binary64_9748 hang-0p-tan_binary64_9747 tan-+PI/2_binary64_9746 tan-+PI_binary64_9745 tan-PI_binary64_9744 tan-PI/3_binary64_9743 tan-PI/4_binary64_9742 tan-PI/6_binary64_9741 cos-+PI/2_binary64_9740 cos-+PI_binary64_9739 cos-PI_binary64_9738 cos-PI/2_binary64_9737 cos-PI/3_binary64_9736 cos-PI/4_binary64_9735 cos-PI/6_binary64_9734 sin-+PI/2_binary64_9733 sin-+PI_binary64_9732 sin-PI_binary64_9731 sin-PI/2_binary64_9730 sin-PI/3_binary64_9729 sin-PI/4_binary64_9728 sin-PI/6_binary64_9727 sub-1-sin_binary64_9726 sub-1-cos_binary64_9725 -1-add-sin_binary64_9724 -1-add-cos_binary64_9723 1-sub-sin_binary64_9722 1-sub-cos_binary64_9721 cos-sin-sum_binary64_9720 log-E_binary64_9716 log-rec_binary64_9714 log-div_binary64_9713 pow-base-0_binary64_9710 unpow1/3_binary64_9693 unpow2_binary64_9691 unpow1/2_binary64_9690 unpow0_binary64_9685 unpow1_binary64_9684 unpow-1_binary64_9683 exp-lft-cube_binary64_9682 exp-lft-sqr_binary64_9681 exp-cbrt_binary64_9680 exp-sqrt_binary64_9679 rec-exp_binary64_9676 e-exp-1_binary64_9671 exp-0_binary64_9668 rem-exp-log_binary64_9666 cube-div_binary64_9655 rem-3cbrt-rft_binary64_9652 rem-cbrt-cube_binary64_9650 rem-cube-cbrt_binary64_9649 sqr-abs_binary64_9641 +-inverses_binary64_9605 lft-mult-inverse_binary64_9604 remove-double-div_binary64_9602 difference-of-sqr--1_binary64_9597 difference-of-sqr-1_binary64_9596 cancel-sign-sub_binary64_9591 distribute-neg-frac_binary64_9590 distribute-frac-neg_binary64_9589 distribute-neg-out_binary64_9588 distribute-neg-in_binary64_9587 distribute-rgt1-in_binary64_9582 distribute-lft1-in_binary64_9581 associate-/r/_binary64_9572 associate-/r*_binary64_9570 associate--r-_binary64_9565 associate--l-_binary64_9564 associate--l+_binary64_9563
Counts
42 → 45
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
069389
1165359
2462359
31744359
43113359

prune32.0ms (0.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New44145
Fresh000
Picked011
Done000
Total44246
Error
0.0b
Counts
46 → 2
Compiler

Compiled 391 to 248 computations (36.6% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.3b
(*.f64 (-.f64 x y) (sqrt.f64 500))
0.4b
(*.f64 (sqrt.f64 500) (*.f64 (-.f64 x y) (sqrt.f64 500)))

rewrite76.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
13×add-sqr-sqrt_binary64_9648
11×associate-*l*_binary64_9567
9×pow1_binary64_9687 add-exp-log_binary64_9664 add-cbrt-cube_binary64_9662 *-un-lft-identity_binary64_9626
7×add-cube-cbrt_binary64_9661 sqrt-prod_binary64_9642 associate-*r*_binary64_9566
4×pow-prod-down_binary64_9697 prod-exp_binary64_9675 cbrt-unprod_binary64_9659 associate-*l/_binary64_9569
2×add-log-exp_binary64_9665 flip3--_binary64_9630 associate-*r/_binary64_9568 flip--_binary64_9601 *-commutative_binary64_9557 unswap-sqr_binary64_9594
1×difference-of-squares_binary64_9595 distribute-lft-out--_binary64_9578
Counts
2 → 49
Calls

2 calls:

11.0ms
(*.f64 (sqrt.f64 500) (*.f64 (-.f64 x y) (sqrt.f64 500)))
9.0ms
(*.f64 (-.f64 x y) (sqrt.f64 500))
Compiler

Compiled 790 to 543 computations (31.3% saved)

series385.0ms (8.3%)

Error
0.0b
Counts
2 → 24
Calls

2 calls:

208.0ms
(*.f64 (sqrt.f64 500) (*.f64 (-.f64 x y) (sqrt.f64 500)))
158.0ms
(*.f64 (-.f64 x y) (sqrt.f64 500))
Compiler

Compiled 630 to 608 computations (3.5% saved)

simplify185.0ms (4%)

Algorithm
1×egg-herbie
Rules
933×associate-*l/_binary64_9569
243×distribute-rgt-in_binary64_9576
241×distribute-lft-in_binary64_9575
179×distribute-rgt-neg-out_binary64_9586
178×distribute-lft-neg-out_binary64_9585
156×times-frac_binary64_9632
150×*-commutative_binary64_9557
100×associate-*l*_binary64_9567
94×associate-*r*_binary64_9566
79×associate-/r*_binary64_9570
78×associate-/l*_binary64_9571
76×unswap-sqr_binary64_9594
66×associate-/r/_binary64_9572
64×exp-prod_binary64_9678
61×sqr-pow_binary64_9598
54×neg-sub0_binary64_9621
52×neg-mul-1_binary64_9622
46×unsub-neg_binary64_9620
39×distribute-rgt-neg-in_binary64_9584
37×sub-neg_binary64_9619
36×*-rgt-identity_binary64_9616 distribute-lft-neg-in_binary64_9583
31×*-lft-identity_binary64_9615
30×associate-/l/_binary64_9573
29×cancel-sign-sub-inv_binary64_9592 associate-*r/_binary64_9568
28×swap-sqr_binary64_9593
24×pow-sqr_binary64_9599
23×log-prod_binary64_9712
21×exp-sum_binary64_9672
18×cube-prod_binary64_9654
15×exp-sqrt_binary64_9679
14×exp-diff_binary64_9674
13×div-sub_binary64_9631
12×cube-div_binary64_9655
11×log-div_binary64_9713 +-commutative_binary64_9556
7×pow-plus_binary64_9689
6×sub0-neg_binary64_9613 +-rgt-identity_binary64_9611 difference-of-squares_binary64_9595 associate-+l-_binary64_9561 associate-+r-_binary64_9560
5×rem-sqrt-square_binary64_9639 distribute-rgt-out--_binary64_9580 associate-+l+_binary64_9559 associate-+r+_binary64_9558
4×log-pow_binary64_9715 unpow3_binary64_9692 cube-unmult_binary64_9663 sqr-neg_binary64_9640
3×distribute-neg-frac_binary64_9590 count-2_binary64_9574
2×exp-neg_binary64_9673 cube-mult_binary64_9656 mul-1-neg_binary64_9618 distribute-rgt1-in_binary64_9582 distribute-rgt-out_binary64_9579
1×unpow2_binary64_9691 unpow1_binary64_9684 exp-lft-sqr_binary64_9681 prod-exp_binary64_9675 1-exp_binary64_9670 exp-1-e_binary64_9669 rem-log-exp_binary64_9667 rem-square-sqrt_binary64_9638 /-rgt-identity_binary64_9617 *-inverses_binary64_9606
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_9889 erf-erfc_binary64_9888 erf-odd_binary64_9887 if-if-and-not_binary64_9886 if-if-and_binary64_9885 if-if-or-not_binary64_9884 if-if-or_binary64_9883 if-not_binary64_9882 if-same_binary64_9881 if-false_binary64_9880 if-true_binary64_9879 not-gte_binary64_9878 not-lte_binary64_9877 not-gt_binary64_9876 not-lt_binary64_9875 gte-same_binary64_9874 lte-same_binary64_9873 gt-same_binary64_9872 lt-same_binary64_9871 sinh---cosh_binary64_9818 sinh-+-cosh_binary64_9817 sinh-cosh_binary64_9816 tanh-def-c_binary64_9815 tanh-def-b_binary64_9814 tanh-def-a_binary64_9813 cosh-def_binary64_9812 sinh-def_binary64_9811 tan-neg_binary64_9758 cos-neg_binary64_9757 sin-neg_binary64_9756 tan-0_binary64_9755 cos-0_binary64_9754 sin-0_binary64_9753 hang-m-tan_binary64_9752 hang-p-tan_binary64_9751 hang-m0-tan_binary64_9750 hang-p0-tan_binary64_9749 hang-0m-tan_binary64_9748 hang-0p-tan_binary64_9747 tan-+PI/2_binary64_9746 tan-+PI_binary64_9745 tan-PI_binary64_9744 tan-PI/3_binary64_9743 tan-PI/4_binary64_9742 tan-PI/6_binary64_9741 cos-+PI/2_binary64_9740 cos-+PI_binary64_9739 cos-PI_binary64_9738 cos-PI/2_binary64_9737 cos-PI/3_binary64_9736 cos-PI/4_binary64_9735 cos-PI/6_binary64_9734 sin-+PI/2_binary64_9733 sin-+PI_binary64_9732 sin-PI_binary64_9731 sin-PI/2_binary64_9730 sin-PI/3_binary64_9729 sin-PI/4_binary64_9728 sin-PI/6_binary64_9727 sub-1-sin_binary64_9726 sub-1-cos_binary64_9725 -1-add-sin_binary64_9724 -1-add-cos_binary64_9723 1-sub-sin_binary64_9722 1-sub-cos_binary64_9721 cos-sin-sum_binary64_9720 log-E_binary64_9716 log-rec_binary64_9714 pow-base-0_binary64_9710 unpow1/3_binary64_9693 unpow1/2_binary64_9690 exp-to-pow_binary64_9688 pow-base-1_binary64_9686 unpow0_binary64_9685 unpow-1_binary64_9683 exp-lft-cube_binary64_9682 exp-cbrt_binary64_9680 div-exp_binary64_9677 rec-exp_binary64_9676 e-exp-1_binary64_9671 exp-0_binary64_9668 rem-exp-log_binary64_9666 cube-neg_binary64_9653 rem-3cbrt-rft_binary64_9652 rem-3cbrt-lft_binary64_9651 rem-cbrt-cube_binary64_9650 rem-cube-cbrt_binary64_9649 sqr-abs_binary64_9641 remove-double-neg_binary64_9614 --rgt-identity_binary64_9612 +-lft-identity_binary64_9610 mul0-rgt_binary64_9609 mul0-lft_binary64_9608 div0_binary64_9607 +-inverses_binary64_9605 lft-mult-inverse_binary64_9604 rgt-mult-inverse_binary64_9603 remove-double-div_binary64_9602 difference-of-sqr--1_binary64_9597 difference-of-sqr-1_binary64_9596 cancel-sign-sub_binary64_9591 distribute-frac-neg_binary64_9589 distribute-neg-out_binary64_9588 distribute-neg-in_binary64_9587 distribute-lft1-in_binary64_9581 distribute-lft-out--_binary64_9578 distribute-lft-out_binary64_9577 associate--r-_binary64_9565 associate--l-_binary64_9564 associate--l+_binary64_9563 associate--r+_binary64_9562
Counts
73 → 109
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
083897
1187730
2626730
31789730

prune105.0ms (2.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1081109
Fresh000
Picked011
Done011
Total1083111
Error
0b
Counts
111 → 3
Compiler

Compiled 1493 to 974 computations (34.8% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

1.6b
(+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 x y)))
2.5b
(+.f64 (*.f64 y y) (*.f64 x y))
4.3b
(-.f64 (pow.f64 x 3) (pow.f64 y 3))
39.6b
(/.f64 (*.f64 500 (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 x y))))

rewrite211.0ms (4.5%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
33×add-sqr-sqrt_binary64_9648
19×*-un-lft-identity_binary64_9626
16×difference-of-squares_binary64_9595
15×unpow-prod-down_binary64_9705 cube-prod_binary64_9654
13×add-log-exp_binary64_9665
12×cancel-sign-sub-inv_binary64_9592
9×add-exp-log_binary64_9664 add-cbrt-cube_binary64_9662 add-cube-cbrt_binary64_9661 sqr-pow_binary64_9598
5×distribute-lft-out--_binary64_9578
4×pow1_binary64_9687 sum-log_binary64_9717
3×times-frac_binary64_9632 flip3-+_binary64_9629 flip-+_binary64_9600 associate-/r*_binary64_9570
2×div-exp_binary64_9677 cbrt-undiv_binary64_9660 flip3--_binary64_9630 associate-*r/_binary64_9568 associate-/l/_binary64_9573 flip--_binary64_9601 associate-/r/_binary64_9572 +-commutative_binary64_9556
1×prod-exp_binary64_9675 cbrt-unprod_binary64_9659 frac-2neg_binary64_9637 clear-num_binary64_9625 div-inv_binary64_9623 associate-/l*_binary64_9571 diff-log_binary64_9718 difference-cubes_binary64_9628 sub-neg_binary64_9619 unpow3_binary64_9692 cube-mult_binary64_9656 distribute-rgt-out_binary64_9579 associate-+r+_binary64_9558
Counts
4 → 95
Calls

4 calls:

25.0ms
(/.f64 (*.f64 500 (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 x y))))
14.0ms
(-.f64 (pow.f64 x 3) (pow.f64 y 3))
7.0ms
(+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 x y)))
4.0ms
(+.f64 (*.f64 y y) (*.f64 x y))
Compiler

Compiled 3077 to 1304 computations (57.6% saved)

series956.0ms (20.6%)

Error
0b
Counts
4 → 54
Calls

4 calls:

355.0ms
(/.f64 (*.f64 500 (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 x y))))
226.0ms
(-.f64 (pow.f64 x 3) (pow.f64 y 3))
192.0ms
(+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 x y)))
132.0ms
(+.f64 (*.f64 y y) (*.f64 x y))
Compiler

Compiled 2076 to 1472 computations (29.1% saved)

simplify451.0ms (9.7%)

Algorithm
1×egg-herbie
Rules
780×distribute-rgt-in_binary64_9576
490×cancel-sign-sub-inv_binary64_9592
436×times-frac_binary64_9632
251×distribute-rgt-neg-in_binary64_9584
219×distribute-lft-neg-in_binary64_9583
215×associate-*l*_binary64_9567
212×associate-*r*_binary64_9566
168×distribute-rgt-out_binary64_9579
118×exp-prod_binary64_9678
108×sqr-pow_binary64_9598
103×distribute-lft-out_binary64_9577
98×sub-neg_binary64_9619
94×distribute-lft-in_binary64_9575
88×difference-of-squares_binary64_9595
83×distribute-lft-neg-out_binary64_9585
73×cube-prod_binary64_9654
71×associate-/l*_binary64_9571
63×pow-sqr_binary64_9599
58×distribute-rgt-out--_binary64_9580 *-commutative_binary64_9557
54×unswap-sqr_binary64_9594
50×neg-mul-1_binary64_9622 neg-sub0_binary64_9621
47×+-commutative_binary64_9556
45×swap-sqr_binary64_9593
39×pow-plus_binary64_9689 distribute-rgt-neg-out_binary64_9586
37×distribute-lft-out--_binary64_9578
35×div-sub_binary64_9631
31×distribute-neg-in_binary64_9587
27×associate-*l/_binary64_9569
23×associate-/l/_binary64_9573
21×unpow3_binary64_9692
18×distribute-neg-frac_binary64_9590
17×associate-/r*_binary64_9570
16×log-div_binary64_9713 log-prod_binary64_9712 associate-*r/_binary64_9568
14×cube-mult_binary64_9656 *-rgt-identity_binary64_9616
13×associate-+r-_binary64_9560
12×cube-unmult_binary64_9663 associate-/r/_binary64_9572
11×rem-sqrt-square_binary64_9639
10×cube-div_binary64_9655 unsub-neg_binary64_9620 associate--r+_binary64_9562 associate-+l+_binary64_9559
9×prod-exp_binary64_9675
8×associate-+r+_binary64_9558
7×log-pow_binary64_9715
6×associate--l+_binary64_9563
5×exp-sum_binary64_9672 *-lft-identity_binary64_9615 +-rgt-identity_binary64_9611
4×/-rgt-identity_binary64_9617
3×pow-base-1_binary64_9686 rem-square-sqrt_binary64_9638
2×log-rec_binary64_9714 unpow2_binary64_9691 unpow1_binary64_9684 exp-diff_binary64_9674 associate-+l-_binary64_9561
1×div-exp_binary64_9677 1-exp_binary64_9670 rem-log-exp_binary64_9667 rem-cbrt-cube_binary64_9650 rem-cube-cbrt_binary64_9649 remove-double-neg_binary64_9614 *-inverses_binary64_9606
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_9889 erf-erfc_binary64_9888 erf-odd_binary64_9887 if-if-and-not_binary64_9886 if-if-and_binary64_9885 if-if-or-not_binary64_9884 if-if-or_binary64_9883 if-not_binary64_9882 if-same_binary64_9881 if-false_binary64_9880 if-true_binary64_9879 not-gte_binary64_9878 not-lte_binary64_9877 not-gt_binary64_9876 not-lt_binary64_9875 gte-same_binary64_9874 lte-same_binary64_9873 gt-same_binary64_9872 lt-same_binary64_9871 sinh---cosh_binary64_9818 sinh-+-cosh_binary64_9817 sinh-cosh_binary64_9816 tanh-def-c_binary64_9815 tanh-def-b_binary64_9814 tanh-def-a_binary64_9813 cosh-def_binary64_9812 sinh-def_binary64_9811 tan-neg_binary64_9758 cos-neg_binary64_9757 sin-neg_binary64_9756 tan-0_binary64_9755 cos-0_binary64_9754 sin-0_binary64_9753 hang-m-tan_binary64_9752 hang-p-tan_binary64_9751 hang-m0-tan_binary64_9750 hang-p0-tan_binary64_9749 hang-0m-tan_binary64_9748 hang-0p-tan_binary64_9747 tan-+PI/2_binary64_9746 tan-+PI_binary64_9745 tan-PI_binary64_9744 tan-PI/3_binary64_9743 tan-PI/4_binary64_9742 tan-PI/6_binary64_9741 cos-+PI/2_binary64_9740 cos-+PI_binary64_9739 cos-PI_binary64_9738 cos-PI/2_binary64_9737 cos-PI/3_binary64_9736 cos-PI/4_binary64_9735 cos-PI/6_binary64_9734 sin-+PI/2_binary64_9733 sin-+PI_binary64_9732 sin-PI_binary64_9731 sin-PI/2_binary64_9730 sin-PI/3_binary64_9729 sin-PI/4_binary64_9728 sin-PI/6_binary64_9727 sub-1-sin_binary64_9726 sub-1-cos_binary64_9725 -1-add-sin_binary64_9724 -1-add-cos_binary64_9723 1-sub-sin_binary64_9722 1-sub-cos_binary64_9721 cos-sin-sum_binary64_9720 log-E_binary64_9716 pow-base-0_binary64_9710 unpow1/3_binary64_9693 unpow1/2_binary64_9690 exp-to-pow_binary64_9688 unpow0_binary64_9685 unpow-1_binary64_9683 exp-lft-cube_binary64_9682 exp-lft-sqr_binary64_9681 exp-cbrt_binary64_9680 exp-sqrt_binary64_9679 rec-exp_binary64_9676 exp-neg_binary64_9673 e-exp-1_binary64_9671 exp-1-e_binary64_9669 exp-0_binary64_9668 rem-exp-log_binary64_9666 cube-neg_binary64_9653 rem-3cbrt-rft_binary64_9652 rem-3cbrt-lft_binary64_9651 sqr-abs_binary64_9641 sqr-neg_binary64_9640 mul-1-neg_binary64_9618 sub0-neg_binary64_9613 --rgt-identity_binary64_9612 +-lft-identity_binary64_9610 mul0-rgt_binary64_9609 mul0-lft_binary64_9608 div0_binary64_9607 +-inverses_binary64_9605 lft-mult-inverse_binary64_9604 rgt-mult-inverse_binary64_9603 remove-double-div_binary64_9602 difference-of-sqr--1_binary64_9597 difference-of-sqr-1_binary64_9596 cancel-sign-sub_binary64_9591 distribute-frac-neg_binary64_9589 distribute-neg-out_binary64_9588 distribute-rgt1-in_binary64_9582 distribute-lft1-in_binary64_9581 count-2_binary64_9574 associate--r-_binary64_9565 associate--l-_binary64_9564
Counts
149 → 307
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01822610
15062379
223202376

prune495.0ms (10.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New3070307
Fresh000
Picked011
Done022
Total3073310
Error
0b
Counts
310 → 3
Compiler

Compiled 9892 to 3983 computations (59.7% saved)

regimes123.0ms (2.6%)

Accuracy

Total 0.0b remaining (60%)

Threshold costs 0.0b (60%)

Compiler

Compiled 744 to 652 computations (12.4% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
2×sub-neg_binary64_9619 *-commutative_binary64_9557 +-commutative_binary64_9556
1×neg-mul-1_binary64_9622 neg-sub0_binary64_9621
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_9886 if-if-and_binary64_9885 if-if-or-not_binary64_9884 if-if-or_binary64_9883 if-not_binary64_9882 if-same_binary64_9881 if-false_binary64_9880 if-true_binary64_9879 tan-0_binary64_9755 cos-0_binary64_9754 sin-0_binary64_9753 unpow1_binary64_9684 e-exp-1_binary64_9671 1-exp_binary64_9670 exp-1-e_binary64_9669 exp-0_binary64_9668 sqr-abs_binary64_9641 sqr-neg_binary64_9640 unsub-neg_binary64_9620 mul-1-neg_binary64_9618 /-rgt-identity_binary64_9617 *-rgt-identity_binary64_9616 *-lft-identity_binary64_9615 remove-double-neg_binary64_9614 sub0-neg_binary64_9613 --rgt-identity_binary64_9612 +-rgt-identity_binary64_9611 +-lft-identity_binary64_9610 cancel-sign-sub-inv_binary64_9592 cancel-sign-sub_binary64_9591 distribute-neg-frac_binary64_9590 distribute-frac-neg_binary64_9589 distribute-neg-out_binary64_9588 distribute-neg-in_binary64_9587 distribute-rgt-neg-out_binary64_9586 distribute-lft-neg-out_binary64_9585 distribute-rgt-neg-in_binary64_9584 distribute-lft-neg-in_binary64_9583
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
197
2147
3167
4177
Proof
(* f64 500 (- f64 h0 h1))

end0.0ms (0%)

sample619.0ms (13.3%)

Algorithm
1×intervals
Results
150.0ms7977×body128valid
1.0ms77×body128invalid
1.0ms7×body2048valid
0.0ms7×body1024valid
0.0ms5×body512valid
0.0ms4×body256valid
Compiler

Compiled 192 to 170 computations (11.5% saved)

Profiling

Loading profile data...