Details

sample2.5s (66.6%)

Algorithm
6×intervals
Results
602.0ms7515×body1280valid
343.0ms2900×body2560valid
243.0ms4308×body640valid
146.0ms10185×body80valid
79.0ms1858×body320valid
21.0ms828×body160valid

simplify472.0ms (12.5%)

Algorithm
11×egg-herbie

series341.0ms (9.0%)

Calls

8 calls:

69.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
57.0ms
(fma x 2.0 (pow x 2))
54.0ms
(fma x 2.0 (pow x 2))
53.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))))

prune330.0ms (8.7%)

rewrite80.0ms (2.1%)

Algorithm
5×rewrite-expression-head
Calls

8 calls:

17.0ms
(* (+ x 1.0) (+ x 1.0))
15.0ms
(+ (+ x y) z)
12.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
10.0ms
(+ x (+ y z))
9.0ms
(* (sqrt (fma x 2.0 (pow x 2))) (sqrt (fma x 2.0 (pow x 2))))
Rules
49×*-un-lft-identity
38×add-sqr-sqrt
30×pow1
23×add-cube-cbrt
20×add-log-exp
18×sqrt-prod
14×swap-sqr
13×distribute-lft-out
12×add-exp-log add-cbrt-cube
10×associate-*r* associate-*l*
8×pow1/2 flip3-+ flip-+ log1p-expm1-u sqrt-pow1 expm1-log1p-u
7×fma-def
6×sum-log pow-prod-up
5×unswap-sqr
4×pow-prod-down frac-times pow-sqr
3×fma-udef prod-diff
2×*-commutative distribute-rgt-in +-commutative associate-*l/ pow-plus associate-*r/ prod-exp cbrt-unprod associate--l+ pow2 distribute-lft-in
1×flip-- rem-square-sqrt associate-+l+ difference-of-squares associate-+r+ sqrt-unprod fma-neg diff-log flip3-- sub-neg

localize27.0ms (0.7%)

regimes13.0ms (0.3%)

Accuracy

Total 0.0b remaining (19%)

Threshold costs 0.0b (19%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)