Details

Time bar (total: 11.1s)

sample379.0ms

Algorithm
intervals
Results
166.0ms50×body2560valid
118.0ms97×body1280valid
45.0ms57×body640valid
16.0ms1×body5120valid
15.0ms26×body320valid
6.0ms16×body160valid
2.0ms9×body80valid

simplify21.0ms

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

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize7.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

prune3.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample10.6s

Algorithm
intervals
Results
4.2s1586×body2560valid
3.7s2777×body1280valid
1.8s1845×body640valid
495.0ms936×body320valid
151.0ms465×body160valid
63.0ms385×body80valid
39.0ms6×body5120valid