Herbie run

Date:Friday, February 9th, 2024
Commit:b35bd1f1 on main
Hostname:nightly with Racket 8.11.1
Seed:2024040
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: 25.6min)

localize7.9min (31.1%)

Results
Compiler

Compiled 83195 to 44778 computations (46.2% saved)

sample6.6min (25.7%)

Results
1.1min299051×256valid
33.8s45859×512valid
5.0s27781×256invalid
5.7s27027×256infinite
6.5s26373×256unsamplable
18.2s25367×1024valid
2.6min16332×8192exit
25.2s11057×2048valid
43.9s7350×4096valid
6.1s5946×512infinite
1.2s1676×1024invalid
1.2s1188×2048invalid
17.1s1109×8192valid
527.0ms1102×512invalid
85.0ms855×256precondition
2.6s673×2048infinite
1.4s545×1024infinite
2.3s379×4096infinite
2.0ms3×512unsamplable
24.0ms2×4096unsamplable
35.0ms1×8192unsamplable
Bogosity

eval2.3min (9.2%)

Compiler

Compiled 6370504 to 3763670 computations (40.9% saved)

soundness1.9min (7.6%)

Rules
246474×fma-define
186298×associate-*r*
161048×fma-neg
142300×log-prod
129842×associate-*l*
Stop Event
7×saturated
406×node limit
10×unsound
Results
Compiler

Compiled 49262 to 29617 computations (39.9% saved)

preprocess1.6min (6.4%)

Algorithm
51×egg-herbie
Rules
62806×fma-define
50226×fma-neg
26848×div-sub
24146×sub-neg
22642×distribute-lft-neg-in
Stop Event
9×saturated
42×node limit
Compiler

Compiled 60578 to 36568 computations (39.6% saved)

regimes1.6min (6.3%)

Counts
17502 → 756
Calls

137 calls:

8.1s
lambda2
7.8s
lambda1
7.1s
phi1
6.7s
phi2
5.3s
b
Compiler

Compiled 11778 to 8601 computations (27% saved)

simplify1.1min (4.1%)

Algorithm
223×egg-herbie
Rules
125050×fma-define
98448×log-prod
93784×associate-*r*
86186×fma-neg
83590×*-commutative
Stop Event
48×saturated
37×fuel
172×node limit
3×unsound
11×done
Counts
83060 → 68496
Results
Compiler

Compiled 13924 to 9517 computations (31.7% saved)

prune46.8s (3%)

Counts
145479 → 6815
Compiler

Compiled 440939 to 306547 computations (30.5% saved)

rewrite37.2s (2.4%)

Algorithm
176×batch-egg-rewrite
Rules
111824×log1p-expm1-u
84445×expm1-log1p-u
53790×log-prod
51348×prod-diff
47434×unpow-prod-down
Stop Event
173×node limit
3×unsound
Counts
1641 → 49175

analyze28.5s (1.9%)

Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%79.4%20.6%0%0%0%0
14.8%11.8%67.6%20.6%0%0%0%1
22.6%17.7%60.4%21%0%0.9%0%2
32.7%24.7%50.8%21.2%0%3.3%0%3
39.8%29.8%45%21.2%0%4%0%4
45.4%33.8%40.6%21.2%0%4.5%0%5
48.4%35.7%38%21.2%0%5.1%0%6
51.8%37.8%35.2%21.2%0%5.7%0.1%7
53.5%38.9%33.8%21.3%0%6%0.1%8
56.4%40.6%31.4%21.3%0%6.6%0.2%9
57.7%41.4%30.3%21.3%0%6.8%0.2%10
59.8%42.7%28.7%21.3%0%7.1%0.3%11
61.3%43.5%27.5%21.3%0%7.5%0.3%12
Compiler

Compiled 1919 to 1343 computations (30% saved)

series21.8s (1.4%)

Counts
1641 → 34563
Calls

9540 calls:

TimeVariablePointExpression
327.0ms
a
@-inf
(sqrt.f64 (fma.f64 a (*.f64 c -4) (pow.f64 b 2)))
252.0ms
R
@0
(exp.f64 (+.f64 (log.f64 (*.f64 (cos.f64 (*.f64 1/2 (+.f64 phi2 phi1))) R)) (log.f64 lambda2)))
231.0ms
b
@0
(*.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (/.f64 (*.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) x-scale))
199.0ms
a
@0
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 -4 a)) (*.f64 -1 (log.f64 (/.f64 1 c))))))
164.0ms
phi1
@-inf
(exp.f64 (+.f64 (log.f64 (*.f64 (cos.f64 (*.f64 1/2 (+.f64 phi2 phi1))) R)) (log.f64 lambda2)))

bsearch12.1s (0.8%)

Algorithm
276×binary-search
57×left-value
Stop Event
7×predicate-same
269×narrow-enough
Results
5.4s23996×256valid
3.1s4474×512valid
458.0ms3036×256invalid
808.0ms1307×2048valid
546.0ms1302×1024valid
179.0ms675×256infinite
557.0ms659×4096valid
187.0ms163×512infinite
79.0ms105×1024invalid
26.0ms58×512invalid
38.0ms52×2048invalid
Compiler

Compiled 76867 to 57600 computations (25.1% saved)

end18.0ms (0%)

Profiling

Loading profile data...