Date:Friday, March 6th, 2020
Commit:4fbe8b6b on better-rr
Hostname:warfa with Racket 7.5
Seed:2020066
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:better-rrreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

sample2.5s (72.6%)

Algorithm
6×intervals
Results
629.0ms7602×body1280valid
350.0ms2849×body2560valid
250.0ms4248×body640valid
135.0ms9991×body80valid
75.0ms1836×body320valid
22.0ms876×body160valid

simplify403.0ms (11.6%)

Algorithm
11×egg-herbie

series247.0ms (7.1%)

Calls

5 calls:

81.0ms
(- (fma x x (fma 2.0 x 1.0)) 1.0)
74.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
54.0ms
(fma x 2.0 (pow x 2))
23.0ms
(fma x x (fma 2.0 x 1.0))
15.0ms
(* (+ x 1.0) (+ x 1.0))

prune222.0ms (6.4%)

Filtered
217 candidates to 98 candidates (45.2%)

rewrite44.0ms (1.3%)

Algorithm
5×rewrite-expression-head
Calls

5 calls:

19.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
8.0ms
(* (+ x 1.0) (+ x 1.0))
4.0ms
(- (fma x x (fma 2.0 x 1.0)) 1.0)
1.0ms
(fma x 2.0 (pow x 2))
1.0ms
(fma x x (fma 2.0 x 1.0))
Rules
135×*-un-lft-identity
78×add-sqr-sqrt
69×prod-diff
56×add-cube-cbrt
31×distribute-lft-out swap-sqr
23×fma-neg
22×associate-*l*
20×associate-*r*
12×pow1
9×add-log-exp
7×add-exp-log add-cbrt-cube
6×unswap-sqr *-commutative flip3-+ flip-+ difference-of-squares
5×log1p-expm1-u associate--l+ expm1-log1p-u
4×distribute-rgt-in +-commutative distribute-lft-in distribute-lft-out-- frac-times
3×fma-udef
2×diff-log flip-- associate-*r/ associate-*l/ flip3-- sub-neg
1×pow-prod-down prod-exp pow-sqr cbrt-unprod pow-plus pow-prod-up pow2

localize27.0ms (0.8%)

regimes12.0ms (0.3%)

Accuracy

Total 0.0b remaining (19.6%)

Threshold costs 0.0b (19.6%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)