Herbie run

Date:Wednesday, January 3rd, 2024
Commit:665878db on main
Hostname:nightly with Racket 8.6
Seed:2024003
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: 59.9s)

eval12.1s (20.2%)

Compiler

Compiled 599571 to 376755 computations (37.2% saved)

sample11.2s (18.8%)

Results
8.4s63092×body256valid
1.3s4137×body2048valid
938.0ms7075×body256infinite
383.0ms1954×body256invalid
Bogosity

localize10.2s (17.1%)

Compiler

Compiled 5131 to 2622 computations (48.9% saved)

soundness7.4s (12.3%)

Rules
22522×fma-def
15996×times-frac
14372×associate-*r*
13438×associate-*l*
11238×log-prod
Stop Event
2×saturated
32×node limit
Compiler

Compiled 2884 to 1623 computations (43.7% saved)

simplify4.8s (8.1%)

Algorithm
28×egg-herbie
Rules
16318×fma-def
11110×associate-*r*
10414×times-frac
10262×associate-*l*
9164×log-prod
Stop Event
9×saturated
4×done
5×fuel
19×node limit
Counts
8406 → 7063
Compiler

Compiled 1320 to 848 computations (35.8% saved)

prune4.0s (6.6%)

Counts
15475 → 290
Compiler

Compiled 22936 to 15447 computations (32.7% saved)

rewrite3.1s (5.1%)

Algorithm
19×batch-egg-rewrite
Rules
9534×log1p-expm1-u
7233×expm1-log1p-u
6948×expm1-udef
6612×prod-diff
5964×log1p-udef
Stop Event
19×node limit
Counts
127 → 5598

regimes2.5s (4.2%)

Counts
607 → 92
Calls

22 calls:

489.0ms
b
413.0ms
a
306.0ms
x
243.0ms
y
196.0ms
c
Compiler

Compiled 12199 to 6855 computations (43.8% saved)

preprocess2.3s (3.9%)

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 3630 to 2074 computations (42.9% saved)

bsearch1.2s (1.9%)

Algorithm
53×binary-search
Stop Event
42×narrow-enough
11×predicate-same
Results
899.0ms6068×body256valid
97.0ms796×body256infinite
59.0ms404×body256invalid
Compiler

Compiled 14981 to 10589 computations (29.3% saved)

analyze590.0ms (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)

series490.0ms (0.8%)

Counts
127 → 2808
Calls

807 calls:

TimeVariablePointExpression
73.0ms
a
@0
(+.f64 b (pow.f64 (pow.f64 (fma.f64 c (*.f64 a -4) (pow.f64 b 2)) 1/4) 2))
10.0ms
c
@0
(/.f64 2 (/.f64 (+.f64 (neg.f64 b) (*.f64 -1 b)) c))
7.0ms
a
@inf
(/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (*.f64 (*.f64 a c) -4))))
6.0ms
c
@0
(pow.f64 (fma.f64 c (*.f64 a -4) (pow.f64 b 2)) 1/4)
6.0ms
y
@0
(/.f64 z (/.f64 y (-.f64 (+.f64 (/.f64 4 z) (/.f64 x z)) x)))

end1.0ms (0%)

Profiling

Loading profile data...