Details

Time bar (total: 6.7s)

analyze1.5s (23%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%50%50%0
0%50%50%1
0%50%50%2
0%50%50%3
0%50%50%4
3.1%46.8%50%5
4.7%45.3%50%6
5.5%44.5%50%7
5.9%44.1%50%8
6%43.9%50%9
6.1%43.8%50%10
6.2%43.8%50%11
6.2%43.7%50%12
6.2%43.7%50%13
6.2%43.7%50%14
Compiler

Compiled 16 to 13 computations (18.8% saved)

sample146.0ms (2.2%)

Algorithm
1×intervals
Results
91.0ms121×body1024valid
19.0ms53×body512valid
11.0ms11×body2048valid
9.0ms46×body256valid
6.0ms256×pre128true
2.0ms25×body128valid
Compiler

Compiled 25 to 22 computations (12% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 9 to 8 computations (11.1% saved)

localize9.0ms (0.1%)

Local error

Found 6 expressions with local error:

6.8b
(log.f64 (+.f64 1 x))
6.8b
(log.f64 (-.f64 1 x))
0.0b
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))
0.0b
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))
6.8b
(log.f64 (-.f64 1 x))
6.8b
(log.f64 (+.f64 1 x))

rewrite2.0ms (0%)

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

6 calls:

2.0ms
(log.f64 (+.f64 1 x))
0.0ms
(log.f64 (-.f64 1 x))
0.0ms
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))
0.0ms
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))
0.0ms
(log.f64 (+.f64 1 x))

prune2.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Compiled 9 to 8 computations (11.1% saved)

sample5.0s (74.6%)

Algorithm
1×intervals
Results
3.1s3998×body1024valid
747.0ms1991×body512valid
426.0ms407×body2048valid
188.0ms1019×body256valid
174.0ms8000×pre128true
47.0ms585×body128valid
Compiler

Compiled 50 to 43 computations (14% saved)

Pareto

0

Profiling

Loading profile data...