Herbie run

Date:Saturday, August 26th, 2023
Commit:5f639494 on main
Hostname:nightly with Racket 8.6
Seed:2023238
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: 5.0min)

sample1.2min (25%)

Results
39.2s269252×body256valid
16.1s14323×body2048valid
8.4s19557×body1024valid
5.1s31171×body256infinite
2.8s11268×body512valid
1.4s202×body8192exit
426.0ms2687×body256invalid
424.0ms772×body4096valid
132.0ms186×body1024infinite
127.0ms951×body256unsamplable
76.0ms203×body512infinite
17.0ms20×body2048infinite
Bogosity

localize46.3s (15.4%)

Compiler

Compiled 28468 to 15291 computations (46.3% saved)

soundness44.8s (14.9%)

Rules
204690×fma-def
116166×log-prod
113472×associate-*r*
103936×fma-neg
94978×associate-*l*
Stop Event
1×unsound
6×saturated
286×node limit
Compiler

Compiled 22333 to 13225 computations (40.8% saved)

eval34.6s (11.5%)

Compiler

Compiled 1797931 to 1071975 computations (40.4% saved)

simplify25.8s (8.6%)

Algorithm
213×egg-herbie
Rules
148002×fma-def
74934×fma-neg
72140×associate-*r*
68916×distribute-lft-in
64976×associate-*l*
Stop Event
1×unsound
14×done
58×saturated
28×fuel
154×node limit
Counts
49022 → 43257
Compiler

Compiled 8494 to 5441 computations (35.9% saved)

regimes17.1s (5.7%)

Counts
4311 → 598
Calls

94 calls:

1.9s
c
1.8s
b
1.7s
x
1.4s
a
1.2s
x1
Compiler

Compiled 71570 to 41702 computations (41.7% saved)

prune14.8s (4.9%)

Counts
61469 → 2104
Compiler

Compiled 117449 to 78543 computations (33.1% saved)

rewrite14.5s (4.8%)

Algorithm
129×batch-egg-rewrite
Rules
83938×pow1
79772×add-exp-log
79704×log1p-expm1-u
79686×expm1-log1p-u
77874×add-log-exp
Stop Event
129×node limit
Counts
972 → 29512

bsearch9.3s (3.1%)

Algorithm
296×binary-search
26×left-value
Stop Event
270×narrow-enough
26×predicate-same
Results
4.7s22719×body256valid
2.2s6811×body256infinite
885.0ms1974×body1024valid
416.0ms1635×body512valid
270.0ms383×body2048valid
174.0ms1902×body256invalid
62.0ms93×body1024infinite
17.0ms47×body512infinite
3.0ms2×body4096valid
Compiler

Compiled 66435 to 47210 computations (28.9% saved)

preprocess8.9s (3%)

Algorithm
42×egg-herbie
Rules
53946×fma-def
22276×fma-neg
17644×unsub-neg
17506×distribute-lft-in
17362×sub-neg
Stop Event
12×saturated
30×node limit
Compiler

Compiled 20559 to 11983 computations (41.7% saved)

analyze6.6s (2.2%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
23.5%12.8%41.7%45.5%0%0%0%1
39.5%21.5%33%45.5%0%0%0%2
50.3%26.8%26.5%45.5%0%1.2%0%3
58.5%31%22%45.5%0%1.5%0%4
71.6%37.8%15%45.6%0%1.7%0%5
73.1%38.5%14.1%45.6%0%1.7%0%6
78.3%40.9%11.3%45.6%0%2.2%0%7
81.8%42.6%9.5%45.7%0%2.2%0%8
84.7%43.9%8%45.7%0%2.5%0%9
86.7%44.7%6.9%45.7%0%2.7%0%10
88.8%45.6%5.7%45.7%0%2.8%0.1%11
89.7%46%5.3%45.7%0%2.9%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

series2.5s (0.8%)

Counts
972 → 19468
Calls

5244 calls:

TimeVariablePointExpression
57.0ms
b
@0
(log.f64 (*.f64 (/.f64 c b) a))
51.0ms
b
@-inf
(log.f64 (*.f64 (/.f64 c b) a))
48.0ms
x
@inf
(pow.f64 (/.f64 x (expm1.f64 x)) -1)
48.0ms
a
@inf
(/.f64 (/.f64 (+.f64 (*.f64 c (*.f64 a -4)) 0) (-.f64 b (sqrt.f64 (fma.f64 c (*.f64 a -4) (*.f64 b b))))) (*.f64 2 a))
45.0ms
c
@0
(log.f64 (*.f64 (/.f64 c b) a))

end8.0ms (0%)

Profiling

Loading profile data...