Herbie run

Date:Wednesday, November 29th, 2023
Commit:1dabe179 on main
Hostname:nightly with Racket 8.6
Seed:2023333
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

Time bar (total: 1.1min)

localize12.8s (20.1%)

Compiler

Compiled 5914 to 3072 computations (48.1% saved)

sample11.2s (17.7%)

Results
8.6s62907×body256valid
1.3s4092×body2048valid
885.0ms7305×body256infinite
401.0ms1830×body256invalid
Bogosity

eval10.3s (16.2%)

Compiler

Compiled 513102 to 322511 computations (37.1% saved)

soundness9.7s (15.3%)

Rules
34172×fma-def
22680×associate-*r*
19934×times-frac
19436×log-prod
17856×associate-*l*
Stop Event
2×saturated
50×node limit
Compiler

Compiled 5593 to 3418 computations (38.9% saved)

simplify5.0s (7.8%)

Algorithm
30×egg-herbie
Rules
18600×fma-def
13120×associate-*r*
11174×associate-*l*
10920×times-frac
10406×log-prod
Stop Event
9×saturated
4×done
5×fuel
21×node limit
Counts
8133 → 7301
Compiler

Compiled 1718 to 1086 computations (36.8% saved)

prune3.5s (5.5%)

Counts
12897 → 306
Compiler

Compiled 25574 to 17498 computations (31.6% saved)

rewrite3.1s (4.8%)

Algorithm
21×batch-egg-rewrite
Rules
10473×log1p-expm1-u
8047×expm1-log1p-u
7330×prod-diff
6552×expm1-udef
6108×log1p-udef
Stop Event
21×node limit
Counts
148 → 5297

preprocess2.7s (4.3%)

Algorithm
9×egg-herbie
Rules
7114×fma-def
5098×div-sub
4546×fma-neg
3720×times-frac
3216×associate-/r*
Stop Event
5×saturated
4×node limit
Compiler

Compiled 4300 to 2374 computations (44.8% saved)

regimes2.5s (3.9%)

Counts
487 → 103
Calls

22 calls:

533.0ms
b
353.0ms
x
324.0ms
a
313.0ms
y
227.0ms
c
Compiler

Compiled 9981 to 5860 computations (41.3% saved)

bsearch1.5s (2.4%)

Algorithm
57×binary-search
Stop Event
47×narrow-enough
10×predicate-same
Results
1.0s6211×body256valid
158.0ms909×body256infinite
147.0ms903×body256invalid
Compiler

Compiled 17843 to 12533 computations (29.8% saved)

series745.0ms (1.2%)

Counts
148 → 2836
Calls

861 calls:

TimeVariablePointExpression
49.0ms
x
@0
(pow.f64 (pow.f64 (exp.f64 (fma.f64 x x -1)) 5/2) 1/3)
29.0ms
x
@inf
(pow.f64 (pow.f64 (exp.f64 (fma.f64 x x -1)) 5/2) 1/3)
25.0ms
c
@-inf
(log.f64 (*.f64 c (*.f64 a -4)))
21.0ms
c
@0
(log.f64 (*.f64 c (*.f64 a -4)))
20.0ms
x
@-inf
(pow.f64 (pow.f64 (exp.f64 (fma.f64 x x -1)) 5/2) 1/3)

analyze599.0ms (0.9%)

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)

end1.0ms (0%)

Profiling

Loading profile data...