Details

sample2.8s (66.1%)

Algorithm
6×intervals
Results
558.0ms7683×body1280valid
333.0ms2908×body2560valid
230.0ms4277×body640valid
161.0ms10217×body80valid
68.0ms1785×body320valid
22.0ms798×body160valid

simplify536.0ms (12.8%)

Algorithm
12×egg-herbie

series372.0ms (8.9%)

Calls

8 calls:

58.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
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))))
50.0ms
(fma x 2.0 (pow x 2))
48.0ms
(+ (* (+ x 1.0) x) (- (* 1.0 (+ x 1.0)) 1.0))

prune328.0ms (7.8%)

rewrite133.0ms (3.2%)

Algorithm
6×rewrite-expression-head
Calls

8 calls:

43.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
36.0ms
(+ (* (+ x 1.0) x) (- (* 1.0 (+ x 1.0)) 1.0))
19.0ms
(* (+ x 1.0) x)
13.0ms
(- (* 1.0 (+ x 1.0)) 1.0)
13.0ms
(* (sqrt (fma x 2.0 (pow x 2))) (sqrt (fma x 2.0 (pow x 2))))
Rules
36×add-sqr-sqrt
25×pow1
23×*-un-lft-identity
21×add-cube-cbrt
18×sqrt-prod
17×add-log-exp
12×add-exp-log add-cbrt-cube
10×associate-*l*
9×associate-*r* prod-diff
8×pow1/2 swap-sqr log1p-expm1-u sqrt-pow1 expm1-log1p-u
7×associate-+r+
6×associate-*l/ associate--l+
5×unswap-sqr pow-prod-up
4×flip-- flip3-- flip-+ pow-prod-down frac-add flip3-+
3×distribute-rgt-in fma-udef diff-log pow-sqr distribute-lft-in sub-neg
2×*-commutative sum-log prod-exp fma-neg cbrt-unprod
1×distribute-lft-out rem-square-sqrt +-commutative associate-+r- pow-plus difference-of-squares sqrt-unprod fma-def pow2

localize34.0ms (0.8%)

regimes17.0ms (0.4%)

Accuracy

Total 0.0b remaining (17.9%)

Threshold costs 0.0b (17.9%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)