Details

sample4.7s

Algorithm

6×

intervals

Results

1.5s	7645×	body	1280	valid
1.1s	2863×	body	2560	valid
794.0ms	4291×	body	640	valid
588.0ms	10067×	body	80	valid
203.0ms	1759×	body	320	valid
59.0ms	835×	body	160	valid

simplify419.0ms

Calls

3 calls:

Slowest

218.0ms	(- (* (+ x 1) (+ x 1)) 1)
180.0ms	(- (+ (+ x y) z) (+ x (+ y z)))
19.0ms	(- (+ 1 x) x)

prune31.0ms

localize10.0ms

rewrite2.0ms

Algorithm

3×	rewrite-expression-head

Calls

0 calls:

Slowest

Rules

series0.0ms

Calls

0 calls:

Slowest

end0.0ms