Herbie run

Date:Friday, June 23rd, 2023
Commit:35270f74 on report-review
Hostname:nightly with Racket 8.6
Seed:2023174
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: 51.2s)

sample11.9s (23.3%)

Results
8.6s62925×body256valid
1.8s4134×body2048valid
1.0s7245×body256infinite
396.0ms2052×body256invalid
Bogosity

localize11.3s (22.1%)

Compiler

Compiled 5923 to 3254 computations (45.1% saved)

eval9.2s (17.9%)

Compiler

Compiled 488727 to 309417 computations (36.7% saved)

soundness5.5s (10.7%)

Rules
35244×fma-def
12522×times-frac
12440×associate-*r*
12250×log-prod
11186×fma-neg
Stop Event
4×saturated
25×node limit
Compiler

Compiled 3005 to 1811 computations (39.7% saved)

simplify3.6s (7.1%)

Algorithm
38×egg-herbie
Rules
28938×fma-def
14654×times-frac
12986×associate-*r*
10126×fma-neg
9426×associate-*l*
Stop Event
15×saturated
3×done
6×fuel
23×node limit
Counts
6292 → 6086
Compiler

Compiled 1009 to 676 computations (33% saved)

prune3.1s (6%)

Counts
12077 → 354
Compiler

Compiled 28836 to 19317 computations (33% saved)

rewrite2.1s (4.1%)

Algorithm
20×batch-egg-rewrite
Rules
12968×pow1
12400×log-prod
12288×add-exp-log
12264×log1p-expm1-u
12262×expm1-log1p-u
Stop Event
20×node limit
Counts
125 → 3998

regimes1.9s (3.6%)

Counts
399 → 68
Calls

23 calls:

344.0ms
c
254.0ms
b
220.0ms
a
201.0ms
x
173.0ms
y
Compiler

Compiled 8276 to 4779 computations (42.3% saved)

preprocess626.0ms (1.2%)

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)

end618.0ms (1.2%)

Compiler

Compiled 2212 to 1316 computations (40.5% saved)

series547.0ms (1.1%)

Counts
125 → 2285
Calls

777 calls:

TimeVariablePointExpression
53.0ms
c
@0
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 c 4)) (log.f64 (/.f64 -1 a))) 1/2))
26.0ms
a
@0
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 c 4)) (log.f64 (/.f64 -1 a))) 1/2))
10.0ms
c
@-inf
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 c 4)) (log.f64 (/.f64 -1 a))) 1/2))
10.0ms
a
@-inf
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 c 4)) (log.f64 (/.f64 -1 a))) 1/2))
10.0ms
b
@-inf
(/.f64 (-.f64 (fma.f64 -2 (*.f64 (/.f64 c b) a) b) b) (*.f64 2 a))

bsearch472.0ms (0.9%)

Algorithm
2×left-value
29×binary-search
Stop Event
24×narrow-enough
5×predicate-same
Results
373.0ms2899×body256valid
33.0ms285×body256infinite
19.0ms149×body256invalid
Compiler

Compiled 7502 to 5323 computations (29% saved)

analyze405.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...