Herbie run

Date:Friday, October 6th, 2023
Commit:f10612bf on report-tolerance
Hostname:nightly with Racket 8.6
Seed:2023279
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: 7.4min)

sample1.8min (24.3%)

Results
53.5s269681×body256valid
22.1s14380×body2048valid
13.5s19553×body1024valid
7.7s30915×body256infinite
4.8s11097×body512valid
2.9s202×body8192exit
772.0ms762×body4096valid
574.0ms2718×body256invalid
329.0ms197×body512infinite
233.0ms991×body256unsamplable
149.0ms150×body1024infinite
22.0ms17×body2048infinite
Bogosity

localize1.1min (14.5%)

Compiler

Compiled 28654 to 15403 computations (46.2% saved)

soundness1.1min (14.3%)

Rules
207016×fma-def
143622×associate-*r*
118302×associate-*l*
111018×fma-neg
106982×log-prod
Stop Event
3×saturated
309×node limit
Compiler

Compiled 28061 to 17351 computations (38.2% saved)

eval56.9s (12.8%)

Compiler

Compiled 1924527 to 1151322 computations (40.2% saved)

simplify33.5s (7.5%)

Algorithm
169×egg-herbie
Rules
89956×fma-def
75722×associate-*r*
64966×associate-*l*
61784×log-prod
56442×fma-neg
Stop Event
12×done
42×saturated
30×fuel
127×node limit
Counts
49367 → 43581
Compiler

Compiled 10098 to 6400 computations (36.6% saved)

regimes28.9s (6.5%)

Counts
5305 → 695
Calls

94 calls:

5.2s
c
2.3s
b
1.8s
x1
1.8s
d
1.5s
x
Compiler

Compiled 76832 to 43604 computations (43.2% saved)

prune23.9s (5.4%)

Counts
64745 → 1976
Compiler

Compiled 117597 to 77725 computations (33.9% saved)

bsearch19.5s (4.4%)

Algorithm
375×binary-search
30×left-value
Stop Event
355×narrow-enough
20×predicate-same
Results
8.8s31388×body256valid
4.8s7687×body256infinite
1.9s3155×body1024valid
1.2s930×body2048valid
830.0ms1805×body512valid
597.0ms4134×body256invalid
77.0ms166×body512infinite
71.0ms93×body1024infinite
56.0ms21×body4096valid
5.0ms32×body256unsamplable
4.0ms3×body2048infinite
Compiler

Compiled 94619 to 66042 computations (30.2% saved)

rewrite19.2s (4.3%)

Algorithm
127×batch-egg-rewrite
Rules
84830×pow1
80500×add-exp-log
80434×log1p-expm1-u
80424×expm1-log1p-u
73766×add-log-exp
Stop Event
127×node limit
Counts
942 → 30401

preprocess14.1s (3.2%)

Algorithm
42×egg-herbie
Rules
55292×fma-def
23810×fma-neg
17914×distribute-lft-in
17852×unsub-neg
17806×sub-neg
Stop Event
11×saturated
31×node limit
Compiler

Compiled 23797 to 13459 computations (43.4% saved)

analyze8.6s (1.9%)

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)

series3.8s (0.9%)

Counts
942 → 18966
Calls

5094 calls:

TimeVariablePointExpression
232.0ms
t
@0
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 3) 3)
114.0ms
x
@inf
(fma.f64 (-.f64 1 (/.f64 -1 eps)) (pow.f64 (exp.f64 x) (+.f64 eps -1)) (/.f64 (+.f64 1 (/.f64 -1 eps)) (exp.f64 (fma.f64 eps x x))))
84.0ms
b
@inf
(*.f64 (+.f64 a b) (+.f64 a b))
70.0ms
c
@-inf
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 a 2))
49.0ms
c
@0
(log.f64 (*.f64 c (*.f64 a -4)))

end12.0ms (0%)

Profiling

Loading profile data...