Details

sample2.5s (70.8%)

Algorithm

6×

intervals

Results

591.0ms	7600×	body	1280	valid
375.0ms	3027×	body	2560	valid
238.0ms	4211×	body	640	valid
134.0ms	10108×	body	80	valid
80.0ms	1802×	body	320	valid
19.0ms	775×	body	160	valid

simplify416.0ms (11.8%)

Algorithm

11×	egg-herbie

series294.0ms (8.3%)

Calls

6 calls:

67.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)
54.0ms	(fma x 2.0 (pow x 2))
53.0ms	(fma x 2.0 (pow x 2))
52.0ms	(fma x 2.0 (pow x 2))
51.0ms	(* (sqrt (fma x 2.0 (pow x 2))) (sqrt (fma x 2.0 (pow x 2))))

prune246.0ms (7.0%)

rewrite44.0ms (1.3%)

Algorithm

5×	rewrite-expression-head

Calls

6 calls:

16.0ms	(* (+ x 1.0) (+ x 1.0))
11.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)
7.0ms	(* (sqrt (fma x 2.0 (pow x 2))) (sqrt (fma x 2.0 (pow x 2))))
0.0ms	(fma x 2.0 (pow x 2))
0.0ms	(fma x 2.0 (pow x 2))

Rules

34×	`add-sqr-sqrt`
33×	`*-un-lft-identity`
28×	`pow1`
19×	`add-cube-cbrt`
18×	`sqrt-prod`
14×	`swap-sqr`
10×	`associate-r` `add-exp-log` `associate-l` `add-cbrt-cube`
8×	`pow1/2` `add-log-exp` `sqrt-pow1`
6×	`distribute-lft-out` `log1p-expm1-u` `pow-prod-up` `flip3-+` `flip-+` `expm1-log1p-u`
5×	`unswap-sqr`
4×	`pow-prod-down` `pow-sqr` `frac-times`
3×	`fma-udef` `prod-diff`
2×	`-commutative` `associate-r/` `distribute-rgt-in` `associate-*l/` `associate--l+` `pow-plus` `pow2` `cbrt-unprod` `prod-exp` `distribute-lft-in`
1×	`flip--` `fma-neg` `sqrt-unprod` `rem-square-sqrt` `diff-log` `difference-of-squares` `flip3--` `sub-neg`

localize20.0ms (0.6%)

regimes12.0ms (0.3%)

Accuracy

Total 0.0b remaining (41.7%)

Threshold costs 0.0b (41.7%)

0.0b

0%

Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)