Date:Tuesday, May 10th, 2022
Commit:5f660a21 on egg-rr
Hostname:warfa with Racket 8.1
Seed:2022130
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: 34.2s)

sample15.4s (45%)

Results
11.5s70158×body128valid
2.4s4146×body2048valid
593.0ms3450×body128invalid
Compiler

Compiled 474 to 321 computations (32.3% saved)

prune5.3s (15.5%)

Counts
4355 → 138
Compiler

Compiled 166499 to 87540 computations (47.4% saved)

regimes3.9s (11.3%)

Counts
411 → 16
Compiler

Compiled 52570 to 34717 computations (34% saved)

analyze2.4s (6.9%)

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)

simplify2.0s (5.9%)

Algorithm
38×egg-herbie
Rules
15450×fma-neg_binary64
10377×fma-def_binary64
6609×times-frac_binary64
6090×associate-/l*_binary64
6082×cancel-sign-sub-inv_binary64
Counts
3352 → 3047

rewrite1.9s (5.6%)

Algorithm
40×batch-egg-rewrite
Rules
6230×prod-diff_binary64
5189×expm1-log1p-u_binary64
4351×log1p-expm1-u_binary64
4070×fma-def_binary64
3909×log1p-udef_binary64
Counts
39 → 2513
Calls

39 calls:

131.0ms
(expm1.f64 (neg.f64 (log.f64 x)))
125.0ms
(sqrt.f64 (+.f64 n f))
125.0ms
(/.f64 (sqrt.f64 (+.f64 n f)) (/.f64 (-.f64 n f) (sqrt.f64 (+.f64 n f))))
125.0ms
(/.f64 (-.f64 n f) (sqrt.f64 (+.f64 n f)))
121.0ms
(pow.f64 (/.f64 (-.f64 n f) (+.f64 f n)) -1)

end1.6s (4.8%)

Compiler

Compiled 2174 to 1369 computations (37% saved)

series1.3s (3.7%)

Counts
39 → 830
Calls

39 calls:

268.0ms
(/.f64 (*.f64 c 2) (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b))
88.0ms
(/.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b) (*.f64 c 2))
80.0ms
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a))
59.0ms
(pow.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)) 1/4)
56.0ms
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))

localize385.0ms (1.1%)

Compiler

Compiled 12288 to 10240 computations (16.7% saved)

bsearch65.0ms (0.2%)

Compiler

Compiled 49 to 32 computations (34.7% saved)

Profiling

Loading profile data...