Details

Time bar (total: 2.4s)

analyze280.0ms (11.6%)

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
75%25%0%4
75%25%0%5
75%25%0%6
78.1%21.9%0%7
78.1%21.9%0%8
78.1%21.9%0%9
78.1%21.9%0%10
78.1%21.9%0%11
78.1%21.9%0%12
78.1%21.9%0%13
78.1%21.8%0%14
Compiler

Compiled 9 to 7 computations (22.2% saved)

sample80.0ms (3.3%)

Algorithm
intervals
Results
42.0ms66×body2048valid
12.0ms45×body1024valid
10.0ms53×body512valid
4.0ms72×body128valid
2.0ms17×body256valid
2.0msbody4096valid
Compiler

Compiled 17 to 14 computations (17.6% saved)

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 8 to 6 computations (25% saved)

localize5.0ms (0.2%)

Local error

Found 4 expressions with local error:

16.4b
(/.f64 (-.f64 1 (cos.f64 x)) (*.f64 x x))
1.6b
(-.f64 1 (cos.f64 x))
1.6b
(-.f64 1 (cos.f64 x))
16.4b
(/.f64 (-.f64 1 (cos.f64 x)) (*.f64 x x))

rewrite1.0ms (0%)

Algorithm
rewrite-expression-head
Rules
Counts
2 → 0
Calls

4 calls:

1.0ms
(/.f64 (-.f64 1 (cos.f64 x)) (*.f64 x x))
0.0ms
(-.f64 1 (cos.f64 x))
0.0ms
(-.f64 1 (cos.f64 x))
0.0ms
(/.f64 (-.f64 1 (cos.f64 x)) (*.f64 x x))

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked000
Done011
Total011
Error
34.8b
Counts
1 → 1
Compiler

Compiled 8 to 6 computations (25% saved)

sample2.0s (84.7%)

Algorithm
intervals
Results
1.1s1987×body2048valid
245.0ms1073×body1024valid
238.0ms1540×body512valid
134.0ms2554×body128valid
73.0ms738×body256valid
53.0ms108×body4096valid
Compiler

Compiled 25 to 20 computations (20% saved)

Pareto

0

Profiling

Loading profile data...