Details

Time bar (total: 1.1s)

analyze3.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
100%0%0%1
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample28.0ms (2.5%)

Algorithm
1×intervals
Results
10.0ms62×body2048valid
5.0ms38×body1024valid
4.0ms135×body128valid
1.0ms16×body512valid
0.0ms5×body256valid
Compiler

Compiled 15 to 14 computations (6.7% saved)

prune8.0ms (0.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 7 to 6 computations (14.3% saved)

localize11.0ms (1%)

Local error

Found 2 expressions with local error:

0.6b
(-.f64 (atan.f64 (+.f64 N 1)) (atan.f64 N))
0.6b
(-.f64 (atan.f64 (+.f64 N 1)) (atan.f64 N))

rewrite1.0ms (0.1%)

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

2 calls:

1.0ms
(-.f64 (atan.f64 (+.f64 N 1)) (atan.f64 N))
0.0ms
(-.f64 (atan.f64 (+.f64 N 1)) (atan.f64 N))

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Compiled 7 to 6 computations (14.3% saved)

sample1.1s (95.4%)

Algorithm
1×intervals
Results
441.0ms2093×body2048valid
173.0ms4130×body128valid
151.0ms1014×body1024valid
55.0ms506×body512valid
25.0ms257×body256valid
Compiler

Compiled 32 to 29 computations (9.4% saved)

Pareto

0

Profiling

Loading profile data...