Details

Time bar (total: 2.7s)

analyze23.0ms (0.8%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%18.7%81.3%0
0%18.7%81.3%1
0%18.7%81.3%2
0%18.7%81.3%3
0%18.7%81.3%4
4.7%14%81.3%5
5.3%13.5%81.3%6
18.1%0.6%81.3%7
18.1%0.6%81.3%8
18.6%0.1%81.3%9
18.6%0.1%81.3%10
18.7%0%81.3%11
18.7%0%81.3%12
18.7%0%81.3%13
18.7%0%81.3%14
Compiler

Compiled 23 to 15 computations (34.8% saved)

sample36.0ms (1.3%)

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

Compiled 38 to 26 computations (31.6% saved)

simplify423.0ms (15.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (252.0ms)

IterNodesCost
0497922
1497922

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 30 to 18 computations (40% saved)

localize12.0ms (0.4%)

Local error

Found 1 expressions with local error:

18.6b
(/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y)))

rewrite31.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
8×associate-/l/_binary64_707
6×add-exp-log_binary64_798 add-cbrt-cube_binary64_796
4×flip3-+_binary64_763 flip-+_binary64_734 frac-times_binary64_770
3×*-un-lft-identity_binary64_760 associate-/r*_binary64_704 add-cube-cbrt_binary64_795 times-frac_binary64_766 flip--_binary64_735 add-sqr-sqrt_binary64_782 flip3--_binary64_764
2×cbrt-undiv_binary64_794 associate-*l/_binary64_703 associate-/r/_binary64_706 associate-*r/_binary64_702 div-exp_binary64_811
1×frac-2neg_binary64_771 prod-exp_binary64_809 add-log-exp_binary64_799 div-inv_binary64_757 associate-/l*_binary64_705 cbrt-unprod_binary64_793 pow1_binary64_821 clear-num_binary64_759
Counts
1 → 31
Calls

1 calls:

25.0ms
(/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y)))

series59.0ms (2.2%)

Counts
1 → 3
Calls

1 calls:

59.0ms
(/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y)))

simplify102.0ms (3.7%)

Algorithm
1×egg-herbie
Counts
34 → 34
Iterations

Useful iterations: 0 (78.0ms)

IterNodesCost
05617785

prune35.0ms (1.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New31334
Fresh000
Picked101
Done000
Total32335
Error
0.3b
Counts
35 → 3
Compiler

Compiled 778 to 162 computations (79.2% saved)

localize9.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 (-.f64 x y) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 x y)))
18.0b
(/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 x y))

rewrite69.0ms (2.5%)

Algorithm
1×rewrite-expression-head
Rules
174×times-frac_binary64_766
160×*-un-lft-identity_binary64_760
116×add-sqr-sqrt_binary64_782
78×add-cube-cbrt_binary64_795
22×distribute-lft-out_binary64_711 associate-/r*_binary64_704
19×difference-of-squares_binary64_729 distribute-lft-out--_binary64_712
15×associate-/r/_binary64_706
9×add-exp-log_binary64_798 add-cbrt-cube_binary64_796
8×flip3-+_binary64_763 div-inv_binary64_757 flip-+_binary64_734 associate-/l*_binary64_705
4×cbrt-undiv_binary64_794 associate-/l/_binary64_707 div-exp_binary64_811
2×frac-2neg_binary64_771 add-log-exp_binary64_799 pow1_binary64_821 clear-num_binary64_759
1×div-sub_binary64_765 flip--_binary64_735 flip3--_binary64_764
Counts
2 → 166
Calls

2 calls:

21.0ms
(/.f64 (-.f64 x y) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 x y)))
9.0ms
(/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 x y))

series118.0ms (4.3%)

Counts
2 → 6
Calls

2 calls:

62.0ms
(/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 x y))
56.0ms
(/.f64 (-.f64 x y) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 x y)))

simplify165.0ms (6%)

Algorithm
1×egg-herbie
Counts
172 → 172
Iterations

Useful iterations: 0 (78.0ms)

IterNodesCost
054036313

prune151.0ms (5.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1720172
Fresh022
Picked011
Done000
Total1723175
Error
0.3b
Counts
175 → 3
Compiler

Compiled 4856 to 474 computations (90.2% saved)

localize1.0ms (0%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify12.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
000

prune2.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New000
Fresh011
Picked011
Done011
Total033
Error
0.3b
Counts
3 → 3
Compiler

Compiled 1 to 3 computations (-200% saved)

localize1.0ms (0%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify15.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
000

prune1.0ms (0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done022
Total033
Error
0.3b
Counts
3 → 3
Compiler

Compiled 0 to 0 computations (0% saved)

regimes124.0ms (4.5%)

Accuracy

Total 4.3b remaining (90.8%)

Threshold costs 0b (0%)

Compiler

Compiled 457 to 257 computations (43.8% saved)

bsearch2.0ms (0.1%)

Compiler

Compiled 15 to 9 computations (40% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02750
12750

end0.0ms (0%)

sample1.3s (49.2%)

Algorithm
1×intervals
Results
507.0ms8000×body128valid
265.0ms8000×pre128true
Compiler

Compiled 234 to 129 computations (44.9% saved)

Profiling

Loading profile data...