Date:Saturday, February 22nd, 2020
Commit:72c1b946 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020053
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
693.0ms7469×body1280valid
405.0ms2922×body2560valid
289.0ms4363×body640valid
163.0ms10102×body80valid
95.0ms1759×body320valid
27.0ms875×body160valid

simplify390.0ms (10.6%)

Algorithm
11×egg-herbie

series245.0ms (6.7%)

Calls

5 calls:

81.0ms
(- (fma x x (fma 2.0 x 1.0)) 1.0)
72.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
53.0ms
(fma x 2.0 (pow x 2))
21.0ms
(fma x x (fma 2.0 x 1.0))
17.0ms
(* (+ x 1.0) (+ x 1.0))

prune198.0ms (5.4%)

Filtered
130 candidates to 82 candidates (63.1%)

rewrite36.0ms (1.0%)

Algorithm
5×rewrite-expression-head
Calls

5 calls:

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

localize20.0ms (0.5%)

regimes12.0ms (0.3%)

Accuracy

Total 0.0b remaining (97.1%)

Threshold costs 0.0b (97.1%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)