Details

Time bar (total: 10.6s)

sample311.0ms

Algorithm
intervals
Results
140.0ms97×body1280valid
94.0ms50×body2560valid
37.0ms57×body640valid
13.0ms1×body5120valid
11.0ms26×body320valid
5.0ms16×body160valid
2.0ms9×body80valid

simplify21.0ms

Calls
1 calls:
Slowest
21.0ms
(/ (- 1 (cos x)) (sin x))

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize10.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

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

series0.0ms

Calls
0 calls:
Slowest

simplify0.0ms

Calls
0 calls:
Slowest

prune4.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample10.2s

Algorithm
intervals
Results
4.3s1586×body2560valid
3.2s2777×body1280valid
1.8s1845×body640valid
463.0ms936×body320valid
224.0ms465×body160valid
102.0ms385×body80valid
39.0ms6×body5120valid