Herbie run

Date:Wednesday, January 10th, 2024
Commit:df415036 on main
Hostname:nightly with Racket 8.6
Seed:2024010
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: 53.7s)

sample12.6s (23.5%)

Results
9.1s63019×body256valid
1.9s4123×body2048valid
1.1s7162×body256infinite
373.0ms1838×body256invalid
Bogosity

localize11.3s (21%)

Compiler

Compiled 5821 to 2957 computations (49.2% saved)

eval8.1s (15%)

Compiler

Compiled 459305 to 288271 computations (37.2% saved)

soundness5.7s (10.5%)

Rules
31514×fma-def
15556×times-frac
15048×log-prod
14186×associate-*l*
12534×associate-*r*
Stop Event
2×saturated
33×node limit
Compiler

Compiled 3053 to 1857 computations (39.2% saved)

simplify4.0s (7.4%)

Algorithm
28×egg-herbie
Rules
17850×fma-def
12396×times-frac
11592×log-prod
9262×associate-*l*
7806×associate-*r*
Stop Event
9×saturated
5×done
4×fuel
19×node limit
Counts
7095 → 5567
Compiler

Compiled 1113 to 708 computations (36.4% saved)

prune3.0s (5.6%)

Counts
12060 → 323
Compiler

Compiled 27357 to 18453 computations (32.5% saved)

preprocess2.5s (4.7%)

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 3244 to 1814 computations (44.1% saved)

rewrite2.3s (4.2%)

Algorithm
19×batch-egg-rewrite
Rules
9065×log1p-expm1-u
7889×expm1-log1p-u
7640×log-prod
5648×prod-diff
5306×unpow-prod-down
Stop Event
19×node limit
Counts
127 → 4681

regimes2.0s (3.7%)

Counts
440 → 75
Calls

26 calls:

396.0ms
b
366.0ms
c
331.0ms
a
152.0ms
x
118.0ms
y
Compiler

Compiled 9509 to 5516 computations (42% saved)

bsearch1.0s (1.9%)

Algorithm
38×binary-search
Stop Event
34×narrow-enough
4×predicate-same
Results
805.0ms4829×body256valid
114.0ms718×body256invalid
49.0ms371×body256infinite
Compiler

Compiled 12873 to 9012 computations (30% saved)

series665.0ms (1.2%)

Counts
127 → 2414
Calls

789 calls:

TimeVariablePointExpression
74.0ms
x
@0
(-.f64 (/.f64 1 x) 1)
46.0ms
x
@inf
(/.f64 (-.f64 (+.f64 4 x) (*.f64 x z)) y)
27.0ms
c
@0
(pow.f64 (pow.f64 (*.f64 c (*.f64 a -4)) 3/2) 1/3)
25.0ms
c
@-inf
(pow.f64 (pow.f64 (*.f64 c (*.f64 a -4)) 3/2) 1/3)
14.0ms
a
@inf
(pow.f64 (pow.f64 (*.f64 c (*.f64 a -4)) 3/2) 1/3)

analyze617.0ms (1.1%)

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