Date:Wednesday, April 15th, 2020
Commit:b8df7a50 on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020106
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

sample2.8s (75.5%)

Algorithm
6×intervals
Results
721.0ms7554×body1280valid
409.0ms2848×body2560valid
290.0ms4294×body640valid
178.0ms10105×body80valid
102.0ms1884×body320valid
27.0ms831×body160valid

simplify357.0ms (9.5%)

Algorithm
11×egg-herbie

series258.0ms (6.9%)

Calls

6 calls:

76.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
53.0ms
(+ (* (+ x 1.0) x) (- (* 1.0 (+ x 1.0)) 1.0))
50.0ms
(fma x 2.0 (pow x 2))
40.0ms
(* (+ x 1.0) x)
23.0ms
(- (* 1.0 (+ x 1.0)) 1.0)

prune219.0ms (5.9%)

Filtered
164 candidates to 109 candidates (66.5%)

rewrite51.0ms (1.4%)

Algorithm
5×rewrite-expression-head
Calls

6 calls:

12.0ms
(+ (* (+ x 1.0) x) (- (* 1.0 (+ x 1.0)) 1.0))
11.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
8.0ms
(* (+ x 1.0) (+ x 1.0))
6.0ms
(- (* 1.0 (+ x 1.0)) 1.0)
6.0ms
(* (+ x 1.0) x)
Rules
31×*-un-lft-identity
20×add-sqr-sqrt
15×pow1 add-log-exp add-cube-cbrt
10×flip3-+ flip-+ add-exp-log add-cbrt-cube
9×prod-diff
8×associate-*l/ associate-*l*
7×distribute-lft-out associate-*r* associate-+r+
6×log1p-expm1-u associate--l+ swap-sqr expm1-log1p-u
4×flip-- distribute-rgt-in frac-times frac-add flip3-- distribute-lft-in
3×diff-log sub-neg
2×fma-neg unswap-sqr *-commutative prod-exp associate-*r/ cbrt-unprod pow-prod-down sum-log
1×fma-def pow-sqr +-commutative pow2 associate-+r- difference-of-squares fma-udef pow-plus pow-prod-up

localize22.0ms (0.6%)

regimes11.0ms (0.3%)

Accuracy

Total 0.0b remaining (57%)

Threshold costs 0.0b (57%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)