Details

sample2.5s (68.6%)

Algorithm

6×

intervals

Results

588.0ms	7524×	body	1280	valid
361.0ms	2911×	body	2560	valid
236.0ms	4312×	body	640	valid
141.0ms	10099×	body	80	valid
80.0ms	1831×	body	320	valid
23.0ms	823×	body	160	valid

simplify450.0ms (12.2%)

Algorithm

11×	egg-herbie

series336.0ms (9.1%)

Calls

7 calls:

69.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))
53.0ms	(fma x 2.0 (pow x 2))
52.0ms	(* (sqrt (fma x 2.0 (pow x 2))) (sqrt (fma x 2.0 (pow x 2))))

prune288.0ms (7.8%)

rewrite46.0ms (1.2%)

Algorithm

5×	rewrite-expression-head

Calls

7 calls:

17.0ms	(* (+ x 1.0) (+ x 1.0))
11.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)
9.0ms	(* (sqrt (fma x 2.0 (pow x 2))) (sqrt (fma x 2.0 (pow x 2))))
1.0ms	(sqrt (fma x 2.0 (pow x 2)))
0.0ms	(fma x 2.0 (pow x 2))

Rules

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

localize28.0ms (0.8%)

regimes12.0ms (0.3%)

Accuracy

Total 0.0b remaining (15.9%)

Threshold costs 0.0b (15.9%)

0.0b

0%

Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)