Herbie run

Date:Wednesday, June 21st, 2023
Commit:2d8b82a6 on redesign-details
Hostname:nightly with Racket 8.6
Seed:2023172
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Details

Time bar (total: 54.1s)

localize11.9s (22%)

Compiler

Compiled 6385 to 3163 computations (50.5% saved)

sample11.3s (21%)

Results
8.7s62879×body256valid
1.2s4173×body2048valid
990.0ms7252×body256infinite
326.0ms2042×body256invalid
Bogosity

eval8.5s (15.6%)

Compiler

Compiled 462315 to 270826 computations (41.4% saved)

soundness7.2s (13.4%)

Rules
44204×fma-def
20860×associate-*r*
17506×times-frac
14914×distribute-lft-in
14800×fma-neg
Stop Event
3×saturated
40×node limit
Compiler

Compiled 4683 to 2773 computations (40.8% saved)

simplify4.1s (7.6%)

Algorithm
37×egg-herbie
Rules
29246×fma-def
14460×fma-neg
12080×times-frac
10608×associate-*r*
9918×distribute-lft-in
Stop Event
15×saturated
4×done
5×fuel
22×node limit
Counts
8075 → 7112
Compiler

Compiled 1080 to 696 computations (35.6% saved)

prune3.4s (6.2%)

Counts
12384 → 355
Compiler

Compiled 28768 to 18992 computations (34% saved)

rewrite2.2s (4.1%)

Algorithm
19×batch-egg-rewrite
Rules
12334×pow1
11688×add-exp-log
11684×expm1-log1p-u
11684×log1p-expm1-u
11612×add-log-exp
Stop Event
19×node limit
Counts
143 → 5237

regimes1.9s (3.5%)

Counts
410 → 82
Calls

23 calls:

344.0ms
c
322.0ms
a
252.0ms
b
195.0ms
x
112.0ms
y
Compiler

Compiled 7747 to 4372 computations (43.6% saved)

end892.0ms (1.6%)

Compiler

Compiled 2342 to 1320 computations (43.6% saved)

bsearch787.0ms (1.5%)

Algorithm
40×binary-search
2×left-value
Stop Event
33×narrow-enough
7×predicate-same
Results
568.0ms4019×body256valid
53.0ms381×body256infinite
21.0ms165×body256invalid
Compiler

Compiled 8529 to 6031 computations (29.3% saved)

series733.0ms (1.4%)

Counts
143 → 2829
Calls

945 calls:

TimeVariablePointExpression
47.0ms
a
@-inf
(+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))
31.0ms
c
@-inf
(pow.f64 (*.f64 c (*.f64 a -4)) 3/2)
29.0ms
n
@0
(/.f64 (+.f64 f n) (-.f64 n f))
27.0ms
b
@0
(*.f64 (-.f64 b (sqrt.f64 (*.f64 (*.f64 c a) -4))) (/.f64 -1/2 a))
19.0ms
c
@0
(pow.f64 (*.f64 c (*.f64 a -4)) 3/2)

preprocess716.0ms (1.3%)

Algorithm
18×egg-herbie
Rules
8158×fma-def
4716×div-sub
3918×associate-/r*
3722×times-frac
3438×associate-/l*
Stop Event
1×unsound
13×saturated
4×node limit
Compiler

Compiled 169 to 118 computations (30.2% saved)

analyze441.0ms (0.8%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

Profiling

Loading profile data...