Date:Saturday, February 29th, 2020
Commit:d0c22b93 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020060
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.6s (69.1%)

Algorithm
6×intervals
Results
612.0ms7524×body1280valid
367.0ms2911×body2560valid
246.0ms4312×body640valid
140.0ms10099×body80valid
72.0ms1831×body320valid
21.0ms823×body160valid

simplify443.0ms (11.8%)

Algorithm
11×egg-herbie

series336.0ms (8.9%)

Calls

7 calls:

73.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
55.0ms
(fma x 2.0 (pow x 2))
53.0ms
(fma x 2.0 (pow x 2))
52.0ms
(fma x 2.0 (pow x 2))
51.0ms
(* (sqrt (fma x 2.0 (pow x 2))) (sqrt (fma x 2.0 (pow x 2))))

prune302.0ms (8.0%)

Filtered
183 candidates to 109 candidates (59.6%)

rewrite46.0ms (1.2%)

Algorithm
5×rewrite-expression-head
Calls

7 calls:

17.0ms
(* (+ x 1.0) (+ x 1.0))
11.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
9.0ms
(* (sqrt (fma x 2.0 (pow x 2))) (sqrt (fma x 2.0 (pow x 2))))
1.0ms
(sqrt (fma x 2.0 (pow x 2)))
0.0ms
(fma x 2.0 (pow x 2))
Rules
37×add-sqr-sqrt
35×*-un-lft-identity
30×pow1
21×sqrt-prod add-cube-cbrt
14×swap-sqr
11×add-exp-log add-cbrt-cube
10×associate-*r* associate-*l*
9×pow1/2 add-log-exp sqrt-pow1
7×log1p-expm1-u expm1-log1p-u
6×distribute-lft-out pow-prod-up flip3-+ flip-+
5×unswap-sqr
4×pow-prod-down pow-sqr frac-times
3×prod-diff fma-udef
2×*-commutative associate-*r/ distribute-rgt-in associate-*l/ associate--l+ pow-plus pow2 cbrt-unprod distribute-lft-in prod-exp
1×flip-- fma-neg sqrt-unprod rem-square-sqrt diff-log difference-of-squares rem-sqrt-square flip3-- sub-neg

localize21.0ms (0.6%)

regimes13.0ms (0.3%)

Accuracy

Total 0.0b remaining (42.2%)

Threshold costs 0.0b (42.2%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)