Details

sample4.8s

Algorithm

6×

intervals

Results

1.6s	7712×	body	1280	valid
1.1s	2942×	body	2560	valid
1.1s	4215×	body	640	valid
306.0ms	10066×	body	80	valid
137.0ms	1780×	body	320	valid
40.0ms	822×	body	160	valid

simplify742.0ms

Calls

3 calls:

Slowest

565.0ms	(- (* (+ x 1) (+ x 1)) 1)
151.0ms	(- (+ (+ x y) z) (+ x (+ y z)))
22.0ms	(- (+ 1 x) x)

prune56.0ms

localize10.0ms

rewrite2.0ms

Algorithm

3×	rewrite-expression-head

Calls

0 calls:

Slowest

Rules

series0.0ms

Calls

0 calls:

Slowest

end0.0ms