Herbie run

Date:Saturday, December 16th, 2023
Commit:665878db on main
Hostname:nightly with Racket 8.6
Seed:2023350
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.5min)

sample1.2min (22.1%)

Results
39.7s269529×body256valid
14.9s14120×body2048valid
7.8s19640×body1024valid
4.9s31032×body256infinite
2.8s11229×body512valid
1.6s202×body8192exit
605.0ms831×body4096valid
429.0ms2687×body256invalid
121.0ms910×body256unsamplable
111.0ms179×body1024infinite
73.0ms183×body512infinite
16.0ms9×body2048infinite
Bogosity

eval49.2s (14.8%)

Compiler

Compiled 2162391 to 1465619 computations (32.2% saved)

soundness48.7s (14.7%)

Rules
155782×fma-def
84388×associate-*r*
72468×times-frac
70478×fma-neg
66434×associate-*l*
Stop Event
4×saturated
228×node limit
Compiler

Compiled 24586 to 14550 computations (40.8% saved)

localize45.6s (13.7%)

Compiler

Compiled 28073 to 16593 computations (40.9% saved)

simplify28.4s (8.5%)

Algorithm
162×egg-herbie
Rules
99228×fma-def
53776×distribute-lft-in
53338×times-frac
52584×associate-*r*
50060×log-prod
Stop Event
15×done
42×saturated
27×fuel
120×node limit
Counts
50567 → 44223
Compiler

Compiled 9684 to 6252 computations (35.4% saved)

prune18.9s (5.7%)

Counts
69460 → 1931
Compiler

Compiled 130117 to 88678 computations (31.8% saved)

rewrite17.1s (5.1%)

Algorithm
120×batch-egg-rewrite
Rules
62588×log1p-expm1-u
53557×expm1-log1p-u
42946×prod-diff
40530×log-prod
36096×expm1-udef
Stop Event
120×node limit
Counts
907 → 32481

regimes16.9s (5.1%)

Counts
3892 → 499
Calls

94 calls:

2.0s
c
1.8s
x1
1.8s
b
1.5s
a
1.2s
d
Compiler

Compiled 76362 to 46619 computations (39% saved)

preprocess15.5s (4.7%)

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 30542 to 18972 computations (37.9% saved)

bsearch8.4s (2.5%)

Algorithm
216×binary-search
40×left-value
Stop Event
192×narrow-enough
24×predicate-same
Results
3.6s16360×body256valid
2.6s6078×body256infinite
743.0ms1435×body1024valid
283.0ms292×body2048valid
257.0ms1093×body512valid
167.0ms1708×body256invalid
11.0ms18×body1024infinite
6.0ms19×body512infinite
2.0ms13×body256unsamplable
1.0ms1×body2048infinite
Compiler

Compiled 81882 to 56565 computations (30.9% saved)

analyze7.1s (2.1%)

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
37.4%20.4%34.1%45.5%0%0%0%2
49.2%26.2%27.1%45.5%0%1.2%0%3
58%30.7%22.3%45.5%0%1.5%0%4
71.4%37.7%15.1%45.6%0%1.7%0%5
73%38.4%14.2%45.6%0%1.7%0%6
78%40.7%11.5%45.6%0%2.2%0%7
81.6%42.6%9.6%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.7%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)

series2.9s (0.9%)

Counts
907 → 18086
Calls

4953 calls:

TimeVariablePointExpression
72.0ms
eps
@inf
(pow.f64 (cbrt.f64 (*.f64 5 (*.f64 (pow.f64 x 4) eps))) 3)
70.0ms
t
@0
(pow.f64 (*.f64 (sqrt.f64 (pow.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/4)) (sqrt.f64 (pow.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4))) 2)
66.0ms
w
@inf
(*.f64 (*.f64 (*.f64 w w) r) r)
46.0ms
t
@0
(pow.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 2)
41.0ms
d
@inf
(pow.f64 (cbrt.f64 (fma.f64 a c (*.f64 b d))) 3)

end12.0ms (0%)

Profiling

Loading profile data...