Date:Saturday, May 14th, 2022
Commit:63889edf on egg-rr
Hostname:warfa with Racket 8.1
Seed:2022134
Parameters:256 points for 4 iterations
Flags:
precision:fallbackreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:egg-rrgenerate:taylorgenerate:simplify
default

Details

Time bar (total: 33.3s)

sample12.7s (38.1%)

Results
9.4s70154×body128valid
1.9s4150×body2048valid
514.0ms3287×body128invalid
Compiler

Compiled 474 to 321 computations (32.3% saved)

prune6.9s (20.7%)

Counts
4652 → 138
Compiler

Compiled 195128 to 111134 computations (43% saved)

regimes4.8s (14.4%)

Counts
388 → 13
Compiler

Compiled 46468 to 31040 computations (33.2% saved)

simplify2.3s (6.9%)

Algorithm
38×egg-herbie
Rules
13804×fma-neg_binary64
11908×fma-def_binary64
7808×times-frac_binary64
6231×associate-/l*_binary64
4830×associate-/r*_binary64
Counts
3414 → 3060

analyze2.2s (6.5%)

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%94.4%5.6%2
13.9%74.9%11.2%3
29.1%54.1%16.8%4
34%46.5%19.5%5
44.1%35%20.9%6
50.1%26.9%23%7
53%23.7%23.3%8
57.4%18.5%24.1%9
59.5%15.2%25.4%10
61.2%13%25.8%11
63.2%10%26.8%12
64.1%8.2%27.6%13
64.9%6.9%28.2%14
Compiler

Compiled 161 to 110 computations (31.7% saved)

rewrite1.6s (5%)

Algorithm
20×batch-egg-rewrite
Rules
5526×log1p-udef_binary64
5083×expm1-log1p-u_binary64
4514×fma-def_binary64
4272×log1p-expm1-u_binary64
4060×prod-diff_binary64
Counts
40 → 2453
Calls

37 calls:

155.0ms
(-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b)
155.0ms
(+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))
155.0ms
(sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))
129.0ms
(/.f64 (+.f64 f n) (-.f64 n f))
120.0ms
(-.f64 x (fma.f64 x z -4))

series1.3s (3.9%)

Counts
40 → 952
Calls

37 calls:

142.0ms
(pow.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b) (*.f64 c 2)) -1)
138.0ms
(/.f64 (*.f64 c 2) (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b))
137.0ms
(*.f64 c (/.f64 1 (*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b) 1/2)))
75.0ms
(-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b)
73.0ms
(+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))

end996.0ms (3%)

Compiler

Compiled 1668 to 1087 computations (34.8% saved)

localize352.0ms (1.1%)

Compiler

Compiled 12288 to 10240 computations (16.7% saved)

bsearch157.0ms (0.5%)

Compiler

Compiled 12 to 9 computations (25% saved)

Profiling

Loading profile data...