Date:Wednesday, April 22nd, 2020
Commit:1c116713 on better-rr
Hostname:warfa with Racket 7.5
Seed:2020113
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 (70.2%)

Algorithm
6×intervals
Results
580.0ms7487×body1280valid
350.0ms2828×body2560valid
253.0ms4328×body640valid
155.0ms10111×body80valid
72.0ms1825×body320valid
22.0ms856×body160valid

simplify429.0ms (12.0%)

Algorithm
11×egg-herbie

series326.0ms (9.1%)

Calls

6 calls:

78.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
58.0ms
(* (sqrt (fma x 2.0 (pow x 2))) (sqrt (fma x 2.0 (pow x 2))))
58.0ms
(fma x 2.0 (pow x 2))
58.0ms
(fma x 2.0 (pow x 2))
54.0ms
(fma x 2.0 (pow x 2))

prune229.0ms (6.4%)

Filtered
252 candidates to 110 candidates (43.7%)

rewrite48.0ms (1.3%)

Algorithm
5×rewrite-expression-head
Calls

6 calls:

20.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
8.0ms
(* (+ x 1.0) (+ x 1.0))
6.0ms
(* (sqrt (fma x 2.0 (pow x 2))) (sqrt (fma x 2.0 (pow x 2))))
1.0ms
(fma x 2.0 (pow x 2))
1.0ms
(fma x 2.0 (pow x 2))
Rules
135×*-un-lft-identity
90×add-sqr-sqrt
60×prod-diff
58×add-cube-cbrt
39×swap-sqr
31×distribute-lft-out
28×pow1 associate-*l*
26×associate-*r*
20×fma-neg
18×sqrt-prod
10×unswap-sqr add-exp-log add-cbrt-cube
8×pow1/2 add-log-exp sqrt-pow1
7×*-commutative
6×log1p-expm1-u pow-prod-up flip3-+ flip-+ expm1-log1p-u
5×difference-of-squares
4×distribute-rgt-in +-commutative pow-prod-down associate--l+ pow-sqr distribute-lft-in frac-times
3×fma-udef distribute-lft-out--
2×associate-*l/ associate-*r/ pow-plus pow2 cbrt-unprod prod-exp
1×flip-- sqrt-unprod rem-square-sqrt diff-log flip3-- sub-neg

localize20.0ms (0.5%)

regimes15.0ms (0.4%)

Accuracy

Total 0.0b remaining (59.2%)

Threshold costs 0.0b (59.2%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)