Details

Time bar (total: 913.0ms)

analyze301.0ms

Algorithm
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
0%99.9%0.1%5
0%99.9%0.1%6
12.5%87.4%0.1%7
37.4%62.4%0.1%8
40.6%57.7%1.7%9
45.2%51.1%3.7%10
57.7%33.5%8.7%11
59.7%29.4%10.9%12
62%25%13%13
68.3%17.4%14.4%14

sample17.0ms

Algorithm
intervals
Results
7.0ms241×body128valid
1.0ms20×body128invalid
0.0msbody256valid
0.0msbody512valid
0.0msbody1024valid

simplify1.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01016
11016

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (*.f64 d1 3) (*.f64 d1 d2))
0.0b
(+.f64 (+.f64 (*.f64 d1 3) (*.f64 d1 d2)) (*.f64 d1 d3))

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
2 → 0
Calls
2 calls:
0.0ms
(+.f64 (*.f64 d1 3) (*.f64 d1 d2))
0.0ms
(+.f64 (+.f64 (*.f64 d1 3) (*.f64 d1 d2)) (*.f64 d1 d3))

series112.0ms

Counts
2 → 6
Calls
2 calls:
52.0ms
(+.f64 (*.f64 d1 3) (*.f64 d1 d2))
59.0ms
(+.f64 (+.f64 (*.f64 d1 3) (*.f64 d1 d2)) (*.f64 d1 d3))

simplify1.0ms

Algorithm
egg-herbie
Counts
6 → 6
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01178
11178

prune3.0ms

Filtered
2 candidates to 6 candidates (-200.0%)
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New606
Fresh000
Picked011
Done000
Total617

Merged error: 0.0b

Counts
7 → 1

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01016
11016

end0.0ms

sample468.0ms

Algorithm
intervals
Results
221.0ms7504×body128valid
21.0ms149×body1024valid
18.0ms617×body128invalid
17.0ms206×body512valid
8.0ms141×body256valid

Profiling

Loading profile data...