Details

Time bar (total: 2.8s)

analyze305.0ms (10.8%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0476210
1476210
011
111
Search
TrueOtherFalseIter
0%25%75%0
25%0%75%1
Compiler

Compiled 13 to 7 computations (46.2% saved)

sample28.0ms (1%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
6.0ms256×pre128true
Compiler

Compiled 22 to 12 computations (45.5% saved)

simplify168.0ms (6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (162.0ms)

IterNodesCost
0476210
1476210

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
0.0b
Counts
2 → 1
Compiler

Compiled 14 to 10 computations (28.6% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b
(+.f64 (*.f64 x x) (pow.f64 x 3))

rewrite42.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
3×add-log-exp_binary64_3868
2×cube-mult_binary64_3859
1×sum-log_binary64_3920 pow1_binary64_3890 add-exp-log_binary64_3867 add-cbrt-cube_binary64_3865 add-cube-cbrt_binary64_3864 add-sqr-sqrt_binary64_3851 flip3-+_binary64_3832 *-un-lft-identity_binary64_3829 flip-+_binary64_3803 distribute-rgt1-in_binary64_3785 unpow3_binary64_3895 distribute-rgt-out_binary64_3782 distribute-lft-out_binary64_3780 +-commutative_binary64_3759
Counts
1 → 14
Calls

1 calls:

10.0ms
(+.f64 (*.f64 x x) (pow.f64 x 3))
Compiler

Compiled 199 to 100 computations (49.7% saved)

series70.0ms (2.5%)

Error
0.0b
Counts
1 → 6
Calls

1 calls:

63.0ms
(+.f64 (*.f64 x x) (pow.f64 x 3))
Compiler

Compiled 81 to 67 computations (17.3% saved)

simplify124.0ms (4.4%)

Algorithm
1×egg-herbie
Counts
20 → 20
Iterations

Useful iterations: 0 (109.0ms)

IterNodesCost
04919217
14919217

prune23.0ms (0.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New17320
Fresh000
Picked101
Done000
Total18321
Error
0b
Counts
21 → 3
Compiler

Compiled 229 to 126 computations (45% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b
(*.f64 x (+.f64 x (*.f64 x x)))

rewrite21.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
5×add-sqr-sqrt_binary64_3851 associate-*r*_binary64_3769
4×*-un-lft-identity_binary64_3829
3×pow1_binary64_3890 add-exp-log_binary64_3867 add-cbrt-cube_binary64_3865 add-cube-cbrt_binary64_3864 associate-*l*_binary64_3770
2×associate-*r/_binary64_3771
1×pow-prod-down_binary64_3900 prod-exp_binary64_3878 add-log-exp_binary64_3868 cbrt-unprod_binary64_3862 unswap-sqr_binary64_3797 distribute-rgt-in_binary64_3779 distribute-lft-in_binary64_3778 flip3-+_binary64_3832 flip-+_binary64_3803 distribute-rgt1-in_binary64_3785 distribute-rgt-out_binary64_3782 *-commutative_binary64_3760
Counts
1 → 24
Calls

1 calls:

6.0ms
(*.f64 x (+.f64 x (*.f64 x x)))
Compiler

Compiled 332 to 77 computations (76.8% saved)

series65.0ms (2.3%)

Error
0b
Counts
1 → 6
Calls

1 calls:

56.0ms
(*.f64 x (+.f64 x (*.f64 x x)))
Compiler

Compiled 81 to 67 computations (17.3% saved)

simplify103.0ms (3.7%)

Algorithm
1×egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 0 (88.0ms)

IterNodesCost
04925319
14925319

prune20.0ms (0.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New29130
Fresh112
Picked011
Done000
Total30333
Error
0b
Counts
33 → 3
Compiler

Compiled 343 to 147 computations (57.1% saved)

localize13.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (*.f64 x x) (pow.f64 x 3))
0.0b
(+.f64 (*.f64 x x) (pow.f64 x 3))
29.7b
(sqrt.f64 (+.f64 (*.f64 x x) (pow.f64 x 3)))
29.7b
(sqrt.f64 (+.f64 (*.f64 x x) (pow.f64 x 3)))

rewrite139.0ms (4.9%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
12×sqrt-prod_binary64_3845
8×add-log-exp_binary64_3868 add-sqr-sqrt_binary64_3851 cube-mult_binary64_3859
6×pow1_binary64_3890 add-cube-cbrt_binary64_3864 *-un-lft-identity_binary64_3829
4×add-exp-log_binary64_3867 add-cbrt-cube_binary64_3865 flip3-+_binary64_3832 sqrt-div_binary64_3846 flip-+_binary64_3803 distribute-rgt1-in_binary64_3785 unpow3_binary64_3895 distribute-rgt-out_binary64_3782 distribute-lft-out_binary64_3780
2×pow1/2_binary64_3909 sqrt-pow1_binary64_3847 rem-sqrt-square_binary64_3842 sum-log_binary64_3920 +-commutative_binary64_3759
Counts
4 → 64
Calls

4 calls:

12.0ms
(sqrt.f64 (+.f64 (*.f64 x x) (pow.f64 x 3)))
9.0ms
(sqrt.f64 (+.f64 (*.f64 x x) (pow.f64 x 3)))
6.0ms
(+.f64 (*.f64 x x) (pow.f64 x 3))
6.0ms
(+.f64 (*.f64 x x) (pow.f64 x 3))
Compiler

Compiled 1584 to 851 computations (46.3% saved)

series224.0ms (7.9%)

Error
0b
Counts
4 → 24
Calls

4 calls:

81.0ms
(+.f64 (*.f64 x x) (pow.f64 x 3))
61.0ms
(+.f64 (*.f64 x x) (pow.f64 x 3))
34.0ms
(sqrt.f64 (+.f64 (*.f64 x x) (pow.f64 x 3)))
29.0ms
(sqrt.f64 (+.f64 (*.f64 x x) (pow.f64 x 3)))
Compiler

Compiled 942 to 666 computations (29.3% saved)

simplify113.0ms (4%)

Algorithm
1×egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 0 (97.0ms)

IterNodesCost
049371100
149371100

prune88.0ms (3.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New88088
Fresh011
Picked011
Done011
Total88391
Error
0b
Counts
91 → 3
Compiler

Compiled 1778 to 988 computations (44.4% saved)

localize8.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b
(*.f64 (+.f64 x 1) (pow.f64 x 3/2))
0.2b
(*.f64 (sqrt.f64 x) (*.f64 (+.f64 x 1) (pow.f64 x 3/2)))

rewrite101.0ms (3.6%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
17×add-exp-log_binary64_3867
12×add-sqr-sqrt_binary64_3851
10×prod-exp_binary64_3878 associate-*l*_binary64_3770
9×add-cbrt-cube_binary64_3865 *-un-lft-identity_binary64_3829
8×associate-*r*_binary64_3769
7×add-cube-cbrt_binary64_3864
4×pow1_binary64_3890 cbrt-unprod_binary64_3862 associate-*l/_binary64_3772 unpow-prod-down_binary64_3908
3×sqrt-prod_binary64_3845 unswap-sqr_binary64_3797
2×pow-to-exp_binary64_3898 pow-exp_binary64_3897 add-log-exp_binary64_3868 flip3-+_binary64_3832 associate-*r/_binary64_3771 flip-+_binary64_3803 *-commutative_binary64_3760 sqr-pow_binary64_3801
1×pow-prod-down_binary64_3900 distribute-lft-out_binary64_3780
Counts
2 → 52
Calls

2 calls:

15.0ms
(*.f64 (+.f64 x 1) (pow.f64 x 3/2))
10.0ms
(*.f64 (sqrt.f64 x) (*.f64 (+.f64 x 1) (pow.f64 x 3/2)))
Compiler

Compiled 917 to 600 computations (34.6% saved)

series106.0ms (3.8%)

Error
0b
Counts
2 → 8
Calls

2 calls:

68.0ms
(*.f64 (sqrt.f64 x) (*.f64 (+.f64 x 1) (pow.f64 x 3/2)))
34.0ms
(*.f64 (+.f64 x 1) (pow.f64 x 3/2))
Compiler

Compiled 203 to 160 computations (21.2% saved)

simplify92.0ms (3.3%)

Algorithm
1×egg-herbie
Counts
60 → 60
Iterations

Useful iterations: 0 (78.0ms)

IterNodesCost
04912728
14912728

prune47.0ms (1.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New60060
Fresh000
Picked011
Done022
Total60363
Error
0b
Counts
63 → 3
Compiler

Compiled 781 to 471 computations (39.7% saved)

regimes52.0ms (1.8%)

Accuracy

Total 0.0b remaining (97.7%)

Threshold costs 0.0b (97.7%)

Compiler

Compiled 374 to 244 computations (34.8% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0710
1710

end0.0ms (0%)

sample855.0ms (30.3%)

Algorithm
1×intervals
Results
180.0ms8000×body128valid
118.0ms8000×pre128true
Compiler

Compiled 204 to 134 computations (34.3% saved)

Profiling

Loading profile data...