Details

Time bar (total: 2.0s)

analyze4.0ms (0.2%)

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

Compiled 8 to 7 computations (12.5% saved)

sample59.0ms (3%)

Algorithm
intervals
Results
26.0ms73×body2048valid
9.0ms128×body128valid
9.0ms33×body1024valid
3.0ms14×body512valid
1.0msbody256valid
Compiler

Compiled 15 to 14 computations (6.7% saved)

prune4.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 7 to 6 computations (14.3% saved)

localize14.0ms (0.7%)

Local error

Found 4 expressions with local error:

1.5b
(-.f64 (atan.f64 (+.f64 N 1)) (atan.f64 N))
0.0b
(atan.f64 (+.f64 N 1))
0.0b
(atan.f64 (+.f64 N 1))
1.5b
(-.f64 (atan.f64 (+.f64 N 1)) (atan.f64 N))

rewrite4.0ms (0.2%)

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

4 calls:

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

prune4.0ms (0.2%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Compiled 7 to 6 computations (14.3% saved)

sample1.9s (95.6%)

Algorithm
intervals
Results
771.0ms2056×body2048valid
302.0ms4145×body128valid
278.0ms1024×body1024valid
107.0ms524×body512valid
35.0ms251×body256valid
Compiler

Compiled 32 to 29 computations (9.4% saved)

Pareto

0

Profiling

Loading profile data...