Details

sample2.7s (73.8%)

Algorithm
6×intervals
Results
561.0ms7392×body1280valid
355.0ms2948×body2560valid
229.0ms4391×body640valid
137.0ms10099×body80valid
65.0ms1821×body320valid
18.0ms787×body160valid

simplify337.0ms (9.1%)

prune232.0ms (6.3%)

series212.0ms (5.7%)

Calls

5 calls:

66.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
58.0ms
(fma x 2.0 (pow x 2))
56.0ms
(- (pow (* (+ x 1.0) (+ x 1.0)) 1) 1.0)
17.0ms
(* (+ x 1.0) (+ x 1.0))
16.0ms
(* (+ x 1.0) (+ x 1.0))

rewrite134.0ms (3.6%)

Algorithm
5×rewrite-expression-head
Calls

5 calls:

42.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
35.0ms
(* (+ x 1.0) (+ x 1.0))
32.0ms
(* (+ x 1.0) (+ x 1.0))
17.0ms
(- (pow (* (+ x 1.0) (+ x 1.0)) 1) 1.0)
0.0ms
(fma x 2.0 (pow x 2))
Rules
53×*-un-lft-identity
32×add-sqr-sqrt
23×add-cube-cbrt
19×pow1
18×prod-diff
12×distribute-lft-out flip3-+ flip-+ swap-sqr
9×add-log-exp add-exp-log add-cbrt-cube
8×associate-*r* associate-*l* frac-times
6×fma-neg
5×log1p-expm1-u unpow-prod-down sqr-pow expm1-log1p-u
4×associate-*r/ associate-*l/ difference-of-squares
3×distribute-rgt-in distribute-lft-in
2×pow-prod-down flip-- unswap-sqr *-commutative prod-exp pow-prod-up pow-sqr cbrt-unprod associate--l+ diff-log pow2 flip3-- pow-plus sub-neg
1×fma-udef distribute-lft-out--

regimes32.0ms (0.9%)

Accuracy

Total 0.0b remaining (87.9%)

Threshold costs 0.0b (87.9%)

0.0b0%Expanding a square

localize20.0ms (0.5%)

bsearch0.0ms (0.0%)

end0.0ms (0.0%)