Details

sample4.5s

Algorithm

6×

intervals

Results

1.6s	7754×	body	1280	valid
1.1s	2895×	body	2560	valid
772.0ms	4172×	body	640	valid
371.0ms	10109×	body	80	valid
127.0ms	1813×	body	320	valid
39.0ms	850×	body	160	valid

simplify2.8s

Calls

55 calls:

Slowest

477.0ms	(- (* (+ x 1) (+ x 1)) 1)
358.0ms	(* (* (* (+ 2 x) (+ 2 x)) (+ 2 x)) (* (* x x) x))
341.0ms	(* (* (* (+ 2 x) (+ 2 x)) (+ 2 x)) (* (* (sqrt x) (sqrt x)) (sqrt x)))
200.0ms	(* (* (- (* 2 2) (* x x)) (sqrt x)) (sqrt x))
193.0ms	(* (- (* 2 2) (* x x)) x)

prune360.0ms

series152.0ms

Calls

3 calls:

Slowest

56.0ms	(* (+ 2 x) (sqrt x))
55.0ms	(* (+ 2 x) x)
41.0ms	(* (* (+ 2 x) (sqrt x)) (sqrt x))

rewrite69.0ms

Algorithm

4×	rewrite-expression-head

Calls

3 calls:

Slowest

32.0ms	(* (* (+ 2 x) (sqrt x)) (sqrt x))
17.0ms	(* (+ 2 x) (sqrt x))
16.0ms	(* (+ 2 x) x)

Rules

16×	`add-sqr-sqrt`
15×	`associate-r`
14×	`*-un-lft-identity`
12×	`pow1` `add-exp-log` `add-cbrt-cube`
10×	`add-cube-cbrt`
9×	`associate-l`
8×	`associate-*l/`
7×	`sqrt-prod`
5×	`cbrt-unprod` `pow-prod-down` `prod-exp`
3×	`flip-+` `unswap-sqr` `insert-posit16` `flip3-+` `add-log-exp` `*-commutative`
2×	`distribute-lft-out`

localize20.0ms

regimes16.0ms

Accuracy

Total 0.0b remaining (20.7%)

0.0b

0%

Expanding a square

bsearch1.0ms

end0.0ms