Details

sample2.7s (69.3%)

Algorithm
6×intervals
Results
576.0ms7571×body1280valid
325.0ms2862×body2560valid
226.0ms4293×body640valid
163.0ms10061×body80valid
73.0ms1904×body320valid
22.0ms824×body160valid

simplify448.0ms (11.4%)

Algorithm
11×egg-herbie

series317.0ms (8.1%)

Calls

7 calls:

65.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
56.0ms
(fma x 2.0 (pow x 2))
54.0ms
(fma x 2.0 (pow x 2))
53.0ms
(* (sqrt (fma x 2.0 (pow x 2))) (sqrt (fma x 2.0 (pow x 2))))
39.0ms
(sqrt (fma x 2.0 (pow x 2)))

prune301.0ms (7.7%)

rewrite99.0ms (2.5%)

Algorithm
5×rewrite-expression-head
Calls

7 calls:

44.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
30.0ms
(* (+ x 1.0) (+ x 1.0))
12.0ms
(* (sqrt (fma x 2.0 (pow x 2))) (sqrt (fma x 2.0 (pow x 2))))
4.0ms
(sqrt (fma x 2.0 (pow x 2)))
1.0ms
(sqrt (fma x 2.0 (pow x 2)))
Rules
39×add-sqr-sqrt
36×*-un-lft-identity
31×pow1
24×sqrt-prod
22×add-cube-cbrt
14×swap-sqr
11×add-exp-log add-cbrt-cube
10×pow1/2 associate-*r* sqrt-pow1 associate-*l*
9×add-log-exp
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
2×*-commutative associate-*r/ distribute-rgt-in associate-*l/ associate--l+ pow-plus pow2 cbrt-unprod fma-udef rem-sqrt-square distribute-lft-in prod-exp
1×flip-- fma-neg sqrt-unprod rem-square-sqrt diff-log difference-of-squares flip3-- sub-neg

localize28.0ms (0.7%)

regimes12.0ms (0.3%)

Accuracy

Total 0.0b remaining (11.5%)

Threshold costs 0.0b (11.5%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)