Details

Time bar (total: 2.6s)

sample58.0ms

Algorithm
intervals
Results
23.0ms111×body1280valid
12.0ms79×body640valid
8.0ms364×pre80true
3.0ms40×body320valid
3.0ms113×body80valid
1.0ms21×body160valid

simplify11.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
11.0ms
(- (exp x) 1)

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize3.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0
Calls
0 calls:
Slowest

series0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

simplify0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

prune4.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample2.5s

Algorithm
intervals
Results
992.0ms3407×body1280valid
517.0ms2589×body640valid
454.0ms12075×pre80true
165.0ms4272×body80valid
140.0ms1212×body320valid
47.0ms595×body160valid