Details

sample2.6s (71.1%)

Algorithm

6×

intervals

Results

597.0ms	7632×	body	1280	valid
345.0ms	2928×	body	2560	valid
256.0ms	4310×	body	640	valid
148.0ms	10177×	body	80	valid
73.0ms	1773×	body	320	valid
22.0ms	809×	body	160	valid

simplify415.0ms (11.5%)

Algorithm

11×	egg-herbie

series296.0ms (8.2%)

Calls

6 calls:

68.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)
55.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 (6.8%)

rewrite45.0ms (1.2%)

Algorithm

5×	rewrite-expression-head

Calls

6 calls:

16.0ms	(* (+ x 1.0) (+ x 1.0))
12.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`

localize27.0ms (0.8%)

regimes13.0ms (0.3%)

Accuracy

Total 0.0b remaining (14.8%)

Threshold costs 0.0b (14.8%)

0.0b

0%

Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)