Herbie run

Date:Friday, January 19th, 2024
Commit:18bd0a90 on zane-regimes-2
Hostname:nightly with Racket 8.6
Seed:2024019
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: 6.2min)

sample1.4min (22.8%)

Results
45.7s270253×body256valid
16.2s13787×body2048valid
9.3s19292×body1024valid
6.2s31271×body256infinite
3.0s10991×body512valid
1.9s202×body8192exit
794.0ms2674×body256invalid
558.0ms763×body4096valid
173.0ms962×body256unsamplable
139.0ms175×body1024infinite
79.0ms198×body512infinite
61.0ms22×body2048infinite
Bogosity

localize57.7s (15.5%)

Compiler

Compiled 30009 to 17507 computations (41.7% saved)

eval53.5s (14.4%)

Compiler

Compiled 2508184 to 1655584 computations (34% saved)

soundness51.3s (13.8%)

Rules
178880×fma-def
81154×times-frac
79238×associate-*r*
75476×distribute-lft-in
74644×distribute-rgt-in
Stop Event
4×saturated
241×node limit
Compiler

Compiled 21883 to 12373 computations (43.5% saved)

simplify28.0s (7.6%)

Algorithm
165×egg-herbie
Rules
105034×fma-def
55578×distribute-lft-in
53882×distribute-rgt-in
53824×times-frac
50864×associate-*r*
Stop Event
15×done
42×saturated
27×fuel
123×node limit
Counts
50886 → 47376
Compiler

Compiled 8689 to 5631 computations (35.2% saved)

regimes20.8s (5.6%)

Counts
4430 → 530
Calls

94 calls:

3.0s
c
2.1s
b
1.9s
a
1.7s
d
1.5s
x
Compiler

Compiled 74872 to 45163 computations (39.7% saved)

prune19.1s (5.2%)

Counts
75800 → 2032
Compiler

Compiled 127394 to 87024 computations (31.7% saved)

rewrite18.4s (5%)

Algorithm
123×batch-egg-rewrite
Rules
64287×log1p-expm1-u
56267×expm1-log1p-u
42116×log-prod
37992×prod-diff
37920×expm1-udef
Stop Event
123×node limit
Counts
930 → 32516

preprocess15.7s (4.2%)

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 28714 to 17640 computations (38.6% saved)

bsearch10.5s (2.8%)

Algorithm
250×binary-search
27×left-value
Stop Event
237×narrow-enough
13×predicate-same
Results
4.5s20998×body256valid
2.5s6040×body256infinite
1.3s2596×body1024valid
621.0ms797×body2048valid
405.0ms1209×body512valid
329.0ms2932×body256invalid
87.0ms139×body1024infinite
52.0ms140×body512infinite
8.0ms9×body2048infinite
7.0ms8×body4096valid
3.0ms16×body256unsamplable
Compiler

Compiled 79987 to 56698 computations (29.1% saved)

analyze8.1s (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.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 (0.9%)

Counts
930 → 18370
Calls

5172 calls:

TimeVariablePointExpression
126.0ms
c
@0
(-.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 -2 a) (/.f64 (/.f64 a (/.f64 b c)) 2)))) 1)
100.0ms
x
@inf
(pow.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) (*.f64 x 2)) (sqrt.f64 x)) (sqrt.f64 x))
66.0ms
t
@0
(pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 3)
51.0ms
y
@-inf
(fma.f64 2 (pow.f64 (/.f64 x y) 2) -1)
42.0ms
x1
@inf
(*.f64 x1 (fma.f64 -12 x2 -2))

end8.0ms (0%)

Profiling

Loading profile data...