Details

Time bar (total: 2.9s)

analyze51.0ms (1.8%)

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
50%50%0.1%5
56.2%43.7%0.1%6
71.8%28.1%0.1%7
73.4%25%1.7%8
80.4%16.4%3.2%9
80.8%14%5.2%10
84.1%8.8%7.1%11
84.2%7.4%8.4%12
85.8%4.5%9.7%13
85.8%3.8%10.4%14
Compiler

Compiled 6 to 6 computations (0% saved)

sample17.0ms (0.6%)

Algorithm
1×intervals
Results
10.0ms256×body128valid
0.0ms4×body128invalid
Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify92.0ms (3.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0117
1117

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.3b
Counts
2 → 1
Compiler

Compiled 10 to 10 computations (0% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.3b
(/.f64 x (*.f64 y 3))

rewrite11.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
6×add-exp-log_binary64_18530 add-cbrt-cube_binary64_18528
3×add-sqr-sqrt_binary64_18514 times-frac_binary64_18498 add-cube-cbrt_binary64_18527 associate-/l*_binary64_18437 *-un-lft-identity_binary64_18492
2×div-exp_binary64_18543 cbrt-undiv_binary64_18526
1×pow1_binary64_18553 frac-2neg_binary64_18503 prod-exp_binary64_18541 cbrt-unprod_binary64_18525 add-log-exp_binary64_18531 clear-num_binary64_18491 div-inv_binary64_18489 associate-/r*_binary64_18436
Counts
1 → 21
Calls

1 calls:

8.0ms
(/.f64 x (*.f64 y 3))

series15.0ms (0.5%)

Counts
1 → 3
Calls

1 calls:

15.0ms
(/.f64 x (*.f64 y 3))

simplify121.0ms (4.2%)

Algorithm
1×egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (113.0ms)

IterNodesCost
04849217
14849217

prune27.0ms (0.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New18624
Fresh000
Picked011
Done000
Total18725
Error
0.0b
Counts
25 → 7
Compiler

Compiled 233 to 163 computations (30% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.2b
(/.f64 (/.f64 x y) 3)

rewrite12.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
75×times-frac_binary64_18498
43×add-sqr-sqrt_binary64_18514 add-cube-cbrt_binary64_18527 *-un-lft-identity_binary64_18492
13×associate-/l*_binary64_18437
6×add-exp-log_binary64_18530 add-cbrt-cube_binary64_18528
5×div-inv_binary64_18489
3×div-exp_binary64_18543 cbrt-undiv_binary64_18526 associate-/r*_binary64_18436
1×associate-/l/_binary64_18439 pow1_binary64_18553 frac-2neg_binary64_18503 add-log-exp_binary64_18531 clear-num_binary64_18491
Counts
1 → 70
Calls

1 calls:

6.0ms
(/.f64 (/.f64 x y) 3)

series15.0ms (0.5%)

Counts
1 → 3
Calls

1 calls:

15.0ms
(/.f64 (/.f64 x y) 3)

simplify93.0ms (3.2%)

Algorithm
1×egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
049901205
149901205

prune55.0ms (1.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New71273
Fresh505
Picked011
Done011
Total76480
Error
0b
Counts
80 → 4
Compiler

Compiled 953 to 461 computations (51.6% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.3b
(*.f64 (/.f64 x y) 1/3)

rewrite9.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
14×add-sqr-sqrt_binary64_18514
13×associate-*l*_binary64_18433
10×times-frac_binary64_18498
9×add-cube-cbrt_binary64_18527 *-un-lft-identity_binary64_18492
6×add-exp-log_binary64_18530 add-cbrt-cube_binary64_18528
3×pow1_binary64_18553 associate-*r*_binary64_18432
2×unswap-sqr_binary64_18460 prod-exp_binary64_18541 cbrt-unprod_binary64_18525
1×div-exp_binary64_18543 *-commutative_binary64_18423 add-log-exp_binary64_18531 cbrt-undiv_binary64_18526 div-inv_binary64_18489 pow-prod-down_binary64_18563 associate-*l/_binary64_18435
Counts
1 → 32
Calls

1 calls:

7.0ms
(*.f64 (/.f64 x y) 1/3)

series17.0ms (0.6%)

Counts
1 → 3
Calls

1 calls:

17.0ms
(*.f64 (/.f64 x y) 1/3)

simplify121.0ms (4.2%)

Algorithm
1×egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 0 (111.0ms)

IterNodesCost
04903335
14903335

prune22.0ms (0.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New35035
Fresh011
Picked011
Done022
Total35439
Error
0b
Counts
39 → 4
Compiler

Compiled 359 to 186 computations (48.2% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.3b
(/.f64 (/.f64 x y) (sqrt.f64 3))
0.3b
(/.f64 (/.f64 (/.f64 x y) (sqrt.f64 3)) (sqrt.f64 3))

rewrite162.0ms (5.6%)

Algorithm
1×rewrite-expression-head
Rules
1557×times-frac_binary64_18498
728×add-sqr-sqrt_binary64_18514 add-cube-cbrt_binary64_18527 *-un-lft-identity_binary64_18492
564×sqrt-prod_binary64_18508
95×associate-/l*_binary64_18437
58×div-inv_binary64_18489
16×add-exp-log_binary64_18530 add-cbrt-cube_binary64_18528
12×associate-/r*_binary64_18436
9×div-exp_binary64_18543 cbrt-undiv_binary64_18526
2×associate-/l/_binary64_18439 pow1_binary64_18553 frac-2neg_binary64_18503 add-log-exp_binary64_18531 clear-num_binary64_18491
Counts
2 → 709
Calls

2 calls:

36.0ms
(/.f64 (/.f64 (/.f64 x y) (sqrt.f64 3)) (sqrt.f64 3))
9.0ms
(/.f64 (/.f64 x y) (sqrt.f64 3))

series88.0ms (3%)

Counts
2 → 6
Calls

2 calls:

55.0ms
(/.f64 (/.f64 (/.f64 x y) (sqrt.f64 3)) (sqrt.f64 3))
33.0ms
(/.f64 (/.f64 x y) (sqrt.f64 3))

simplify270.0ms (9.3%)

Algorithm
1×egg-herbie
Counts
715 → 715
Iterations

Useful iterations: 0 (82.0ms)

IterNodesCost
0494219586
1494219586

prune959.0ms (33.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New7150715
Fresh000
Picked011
Done033
Total7154719
Error
0b
Counts
719 → 4
Compiler

Compiled 14143 to 8468 computations (40.1% saved)

regimes140.0ms (4.8%)

Accuracy

Total 0.3b remaining (99.9%)

Threshold costs 0.3b (99.9%)

Compiler

Compiled 872 to 772 computations (11.5% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
067
167

end0.0ms (0%)

sample578.0ms (20%)

Algorithm
1×intervals
Results
170.0ms8000×body128valid
4.0ms184×body128invalid
Compiler

Compiled 202 to 180 computations (10.9% saved)

Profiling

Loading profile data...