Herbie run

Date:Sunday, January 21st, 2024
Commit:4a418bc7 on main
Hostname:nightly with Racket 8.6
Seed:2024021
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: 1.9hr)

sample24.8min (21.9%)

Results
11.1min3480474×body256valid
4.2min39636×body8192exit
1.7min86983×body2048valid
1.6min529598×body256infinite
1.5min170697×body512valid
1.4min162522×body1024valid
1.0min13206×body4096valid
40.6s184067×body256invalid
20.6s1798×body8192valid
15.6s65359×body256precondition
11.6s12148×body512infinite
8.2s38353×body256unsamplable
7.9s11278×body1024invalid
5.3s1023×body4096infinite
4.5s1328×body2048infinite
2.7s6517×body512invalid
2.5s1961×body1024infinite
1.6s1151×body2048invalid
8.0ms3×body8192invalid
7.0ms9×body512unsamplable
1.0ms1×body1024unsamplable
1.0ms1×body4096invalid
Bogosity

localize21.6min (19.1%)

Results
Compiler

Compiled 445365 to 197225 computations (55.7% saved)

soundness15.5min (13.7%)

Rules
2242363×fma-def
1272350×associate-*r*
1101620×times-frac
1037976×log-prod
979164×associate-*l*
Stop Event
39×unsound
121×saturated
3338×node limit
Compiler

Compiled 310032 to 170793 computations (44.9% saved)

eval11.2min (9.9%)

Results
Compiler

Compiled 42476109 to 17945456 computations (57.8% saved)

regimes10.3min (9.1%)

Counts
87014 → 9297
Calls

1176 calls:

57.0s
x
50.6s
y
49.9s
z
41.1s
t
34.7s
a
Results
Compiler

Compiled 1556075 to 847559 computations (45.5% saved)

simplify8.3min (7.3%)

Algorithm
2199×egg-herbie
Rules
1215350×fma-def
843748×log-prod
803259×associate-*r*
707530×times-frac
681505×associate-*l*
Stop Event
17×unsound
536×saturated
131×done
404×fuel
1646×node limit
Counts
749653 → 594378
Compiler

Compiled 122224 to 76386 computations (37.5% saved)

rewrite5.9min (5.2%)

Algorithm
1663×batch-egg-rewrite
Rules
935709×log1p-expm1-u
717238×expm1-log1p-u
556656×expm1-udef
519398×prod-diff
500969×log-prod
Stop Event
15×unsound
1648×node limit
Counts
13117 → 450778

prune4.9min (4.3%)

Counts
952357 → 34544
Compiler

Compiled 2568461 to 1730414 computations (32.6% saved)

preprocess4.3min (3.8%)

Algorithm
540×egg-herbie
Rules
688760×fma-def
250704×fma-neg
220606×sub-neg
215885×div-sub
202671×unsub-neg
Stop Event
201×saturated
339×node limit
Compiler

Compiled 431751 to 231860 computations (46.3% saved)

bsearch2.8min (2.5%)

Algorithm
4771×binary-search
599×left-value
Stop Event
4660×narrow-enough
111×predicate-same
Results
1.6min444213×body256valid
38.7s109564×body256infinite
7.9s16611×body512valid
4.4s8540×body1024valid
3.9s20881×body256invalid
3.1s2934×body2048valid
1.7s1366×body4096valid
942.0ms1097×body512infinite
213.0ms296×body1024infinite
81.0ms205×body1024invalid
80.0ms79×body8192valid
24.0ms133×body256unsamplable
22.0ms80×body512invalid
21.0ms17×body4096infinite
13.0ms19×body2048infinite
2.0ms2×body8192exit
Compiler

Compiled 1134481 to 845351 computations (25.5% saved)

analyze2.2min (1.9%)

Algorithm
544×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%85.5%14.5%0%0%0%0
39.9%34.2%51.4%14.5%0%0%0%1
46.1%39%45.6%14.5%0%0.9%0%2
55%45.4%37.1%14.5%0%2.9%0%3
61.6%50.2%31.3%14.5%0%3.9%0%4
67.6%54.9%26.3%14.5%0%4.3%0%5
71.5%57.7%23%14.5%0%4.6%0%6
75.3%60.4%19.8%14.6%0%5.1%0.1%7
77.3%61.7%18.1%14.6%0%5.5%0.1%8
79.8%63.5%16%14.6%0%5.8%0.1%9
81.4%64.4%14.8%14.6%0%6%0.1%10
83.6%66.1%13%14.6%0%6.2%0.1%11
84.7%66.7%12.1%14.6%0%6.4%0.1%12
Compiler

Compiled 13340 to 8644 computations (35.2% saved)

series1.7min (1.5%)

Counts
13117 → 298875
Calls

79890 calls:

TimeVariablePointExpression
4.2s
y
@0
(-.f64 (log.f64 (/.f64 x (pow.f64 (cbrt.f64 y) 2))) (log.f64 (cbrt.f64 y)))
604.0ms
dX.v
@-inf
(pow.f32 (cbrt.f32 (/.f32 (*.f32 (floor.f32 h) dY.v) (sqrt.f32 (fmax.f32 (pow.f32 (hypot.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dX.v)) 2) (pow.f32 (hypot.f32 (*.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 w) dY.u)) 2))))) 3)
506.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
502.0ms
y
@-inf
(-.f64 (log.f64 (/.f64 x (pow.f64 (cbrt.f64 y) 2))) (log.f64 (cbrt.f64 y)))
366.0ms
B
@-inf
(*.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (*.f64 C B) (*.f64 B (+.f64 A (hypot.f64 (-.f64 A C) B)))) (pow.f64 B 2))) (PI.f64)))

end302.0ms (0%)

Profiling

Loading profile data...