Details

sample2.5s (72.6%)

Algorithm
6×intervals
Results
615.0ms7619×body1280valid
333.0ms2849×body2560valid
238.0ms4117×body640valid
151.0ms10080×body80valid
81.0ms1915×body320valid
30.0ms872×body160valid

simplify417.0ms (11.9%)

Algorithm
11×egg-herbie

prune206.0ms (5.9%)

series203.0ms (5.8%)

Calls

5 calls:

66.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
53.0ms
(fma x 2.0 (pow x 2))
52.0ms
(- (pow (+ x 1.0) 2) 1.0)
15.0ms
(* (+ x 1.0) (+ x 1.0))
15.0ms
(pow (+ x 1.0) 2)

rewrite89.0ms (2.5%)

Algorithm
5×rewrite-expression-head
Calls

5 calls:

49.0ms
(- (pow (+ x 1.0) 2) 1.0)
16.0ms
(* (+ x 1.0) (+ x 1.0))
12.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
4.0ms
(pow (+ x 1.0) 2)
0.0ms
(fma x 2.0 (pow x 2))
Rules
55×*-un-lft-identity
38×add-sqr-sqrt
30×prod-diff
29×add-cube-cbrt
21×unpow-prod-down
13×pow1
11×distribute-lft-out
10×fma-neg
9×add-log-exp
8×add-exp-log
7×add-cbrt-cube
6×flip3-+ flip-+ unpow2 swap-sqr sqr-pow
5×log1p-expm1-u difference-of-squares expm1-log1p-u
4×associate-*r* frac-times associate-*l*
3×pow-unpow
2×diff-log flip-- distribute-rgt-in associate-*r/ associate-*l/ associate--l+ flip3-- sub-neg distribute-lft-in
1×unswap-sqr *-commutative prod-exp pow-exp pow-sqr pow2 cbrt-unprod pow-prod-down pow-to-exp pow-pow fma-udef pow-plus distribute-lft-out-- pow-prod-up

localize25.0ms (0.7%)

regimes21.0ms (0.6%)

Accuracy

Total 0.0b remaining (29.6%)

Threshold costs 0.0b (29.6%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)