Herbie run

Date:Wednesday, January 10th, 2024
Commit:3465769b 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: 5.9min)

sample1.4min (23.9%)

Results
46.5s270505×body256valid
15.8s13852×body2048valid
9.3s19401×body1024valid
6.1s30708×body256infinite
3.1s11175×body512valid
2.0s202×body8192exit
510.0ms761×body4096valid
313.0ms2594×body256invalid
163.0ms1006×body256unsamplable
97.0ms144×body1024infinite
73.0ms188×body512infinite
57.0ms18×body2048infinite
Bogosity

localize54.6s (15.4%)

Compiler

Compiled 28812 to 16875 computations (41.4% saved)

eval48.0s (13.6%)

Compiler

Compiled 2231080 to 1483742 computations (33.5% saved)

soundness47.9s (13.6%)

Rules
166108×fma-def
83108×times-frac
79572×associate-*r*
66404×distribute-lft-in
65588×log-prod
Stop Event
4×saturated
240×node limit
Compiler

Compiled 21117 to 12781 computations (39.5% saved)

simplify26.5s (7.5%)

Algorithm
165×egg-herbie
Rules
97284×fma-def
52408×distribute-lft-in
51492×associate-*r*
51440×log-prod
49266×times-frac
Stop Event
12×done
42×saturated
30×fuel
123×node limit
Counts
51345 → 46614
Compiler

Compiled 8912 to 5882 computations (34% saved)

prune19.0s (5.4%)

Counts
69441 → 1982
Compiler

Compiled 121026 to 82731 computations (31.6% saved)

rewrite18.0s (5.1%)

Algorithm
123×batch-egg-rewrite
Rules
65581×log1p-expm1-u
54023×expm1-log1p-u
40506×log-prod
37114×prod-diff
36842×expm1-udef
Stop Event
123×node limit
Counts
910 → 33314

regimes16.2s (4.6%)

Counts
3601 → 522
Calls

94 calls:

1.6s
x1
1.5s
b
1.5s
c
1.4s
a
1.3s
d
Compiler

Compiled 61426 to 37382 computations (39.1% saved)

preprocess16.1s (4.6%)

Algorithm
42×egg-herbie
Rules
53066×fma-def
20932×sub-neg
19756×fma-neg
19090×div-sub
18074×unsub-neg
Stop Event
11×saturated
31×node limit
Compiler

Compiled 29230 to 18430 computations (36.9% saved)

bsearch11.0s (3.1%)

Algorithm
254×binary-search
21×left-value
Stop Event
238×narrow-enough
16×predicate-same
Results
5.8s20404×body256valid
2.6s6279×body256infinite
1.1s1894×body1024valid
543.0ms1470×body512valid
222.0ms2180×body256invalid
152.0ms220×body2048valid
13.0ms19×body1024infinite
8.0ms16×body512infinite
1.0ms1×body4096valid
1.0ms1×body2048infinite
Compiler

Compiled 86603 to 60604 computations (30% saved)

analyze8.2s (2.3%)

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.8%26.8%25.9%45.5%0%1.7%0%3
58.9%31%21.7%45.5%0%1.8%0%4
71.8%37.8%14.8%45.6%0%1.8%0%5
73.2%38.5%14.1%45.6%0%1.8%0%6
78.1%40.8%11.4%45.6%0%2.2%0%7
81.7%42.6%9.5%45.7%0%2.2%0%8
84.5%43.8%8%45.7%0%2.5%0%9
86.6%44.6%6.9%45.7%0%2.7%0%10
88.8%45.6%5.8%45.7%0%2.8%0.1%11
89.7%45.9%5.3%45.7%0%2.9%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

series3.4s (1%)

Counts
910 → 18031
Calls

5037 calls:

TimeVariablePointExpression
100.0ms
x
@0
(pow.f64 (pow.f64 (*.f64 x 238732414637843/250000000000000) 1/4) 4)
56.0ms
n
@inf
(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
46.0ms
c
@0
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 c 4)) (log.f64 (/.f64 -1 a))) 1/2))
46.0ms
t
@0
(pow.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 2)
45.0ms
a
@-inf
(/.f64 (+.f64 (neg.f64 b) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 c 4)) (log.f64 (/.f64 -1 a))) 1/2))) (*.f64 a 2))

end9.0ms (0%)

Profiling

Loading profile data...