Details

sample4.8s

Algorithm

6×

intervals

Results

2.1s	7712×	body	1280	valid
1.0s	2942×	body	2560	valid
576.0ms	10066×	body	80	valid
517.0ms	4215×	body	640	valid
185.0ms	1780×	body	320	valid
40.0ms	822×	body	160	valid

simplify649.0ms

Calls

3 calls:

Slowest

479.0ms	(- (* (+ x 1) (+ x 1)) 1)
151.0ms	(- (+ (+ x y) z) (+ x (+ y z)))
18.0ms	(- (+ 1 x) x)

prune32.0ms

localize10.0ms

rewrite2.0ms

Algorithm

3×	rewrite-expression-head

Calls

0 calls:

Slowest

Rules

series0.0ms

Calls

0 calls:

Slowest

end0.0ms