Date:Thursday, March 19th, 2020
Commit:2b8af9a1 on simpler-alts
Hostname:warfa with Racket 7.5
Seed:2020079
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.5s (73.6%)

Algorithm
6×intervals
Results
597.0ms7572×body1280valid
357.0ms2875×body2560valid
254.0ms4404×body640valid
155.0ms10049×body80valid
70.0ms1780×body320valid
21.0ms827×body160valid

simplify422.0ms (12.2%)

Algorithm
11×egg-herbie

series212.0ms (6.2%)

Calls

5 calls:

74.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
54.0ms
(- (pow (+ x 1.0) 2) 1.0)
52.0ms
(fma x 2.0 (pow x 2))
16.0ms
(* (+ x 1.0) (+ x 1.0))
16.0ms
(pow (+ x 1.0) 2)

prune189.0ms (5.5%)

Filtered
167 candidates to 91 candidates (54.5%)

rewrite40.0ms (1.2%)

Algorithm
5×rewrite-expression-head
Calls

5 calls:

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

localize28.0ms (0.8%)

regimes19.0ms (0.6%)

Accuracy

Total 0.0b remaining (29.2%)

Threshold costs 0.0b (29.2%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)