Details

Time bar (total: 8.9s)

analyze11.0ms (0.1%)

Algorithm
search
Search
TrueOtherFalseIter
0%49.7%50.3%0
0%49.7%50.3%1
0%49.7%50.3%2
24.8%24.8%50.3%3
37.3%12.4%50.3%4
43.5%6.2%50.3%5
46.6%3.1%50.3%6
48.1%1.6%50.3%7
48.9%0.8%50.3%8
49.3%0.4%50.3%9
49.5%0.2%50.3%10
49.6%0.1%50.3%11
49.6%0%50.3%12
49.7%0%50.3%13
49.7%0%50.3%14
Compiler

Compiled 15 to 12 computations (20% saved)

sample297.0ms (3.3%)

Algorithm
intervals
Results
230.0ms131×body2048valid
39.0ms66×body1024valid
7.0ms256×pre128true
7.0ms34×body512valid
2.0msbody4096valid
2.0ms14×body256valid
1.0msbody128valid
Compiler

Compiled 23 to 20 computations (13% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 8 to 7 computations (12.5% saved)

localize5.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.2b
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
0.0b
(/.f64 1 (tan.f64 x))
0.0b
(/.f64 1 (tan.f64 x))
2.2b
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))

rewrite1.0ms (0%)

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

4 calls:

1.0ms
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
0.0ms
(/.f64 1 (tan.f64 x))
0.0ms
(/.f64 1 (tan.f64 x))
0.0ms
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))

prune1.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Compiled 8 to 7 computations (12.5% saved)

sample8.5s (96.4%)

Algorithm
intervals
Results
6.8s4040×body2048valid
876.0ms2011×body1024valid
181.0ms8000×pre128true
162.0ms995×body512valid
147.0ms220×body4096valid
56.0ms514×body256valid
12.0ms220×body128valid
Compiler

Compiled 55 to 46 computations (16.4% saved)

Pareto

0

Profiling

Loading profile data...