Herbie run

Date:Wednesday, January 24th, 2024
Commit:0c1ae427 on main
Hostname:nightly with Racket 8.6
Seed:2024024
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: 24.8min)

sample7.4min (30%)

Results
1.2min298321×256valid
45.5s46028×512valid
5.2s27624×256invalid
6.3s27387×256infinite
6.7s27355×256unsamplable
20.1s25618×1024valid
2.7min17081×8192exit
31.6s11160×2048valid
57.6s7458×4096valid
7.7s5808×512infinite
1.6s1683×1024invalid
1.5s1181×2048invalid
676.0ms1177×512invalid
21.7s1124×8192valid
96.0ms883×256precondition
2.7s660×2048infinite
1.5s542×1024infinite
2.8s384×4096infinite
6.0ms8×512unsamplable
8.0ms4×1024unsamplable
Bogosity

localize6.4min (25.7%)

Results
Compiler

Compiled 78849 to 41723 computations (47.1% saved)

eval2.2min (8.9%)

Compiler

Compiled 6705487 to 3794143 computations (43.4% saved)

preprocess2.0min (8.2%)

Algorithm
51×egg-herbie
Rules
76366×fma-def
27106×div-sub
26806×fma-neg
24952×sub-neg
22390×distribute-lft-in
Stop Event
8×saturated
43×node limit
Compiler

Compiled 65390 to 37712 computations (42.3% saved)

soundness1.7min (7%)

Rules
277888×fma-def
175830×associate-*r*
136614×log-prod
127972×associate-*l*
124450×fma-neg
Stop Event
5×saturated
7×unsound
398×node limit
Compiler

Compiled 46046 to 27355 computations (40.6% saved)

regimes1.5min (6.1%)

Counts
16986 → 662
Calls

137 calls:

7.1s
phi1
7.0s
phi2
6.2s
lambda1
5.6s
lambda2
5.0s
(-.f64 lambda1 lambda2)
Compiler

Compiled 467108 to 243948 computations (47.8% saved)

prune54.7s (3.7%)

Counts
150559 → 6371
Compiler

Compiled 684273 to 479089 computations (30% saved)

simplify53.1s (3.6%)

Algorithm
214×egg-herbie
Rules
138084×fma-def
96626×associate-*r*
81022×associate-*l*
78442×times-frac
75488×log-prod
Stop Event
1×unsound
48×saturated
7×done
41×fuel
165×node limit
Counts
75385 → 62195
Compiler

Compiled 12384 to 8215 computations (33.7% saved)

analyze44.3s (3%)

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)

rewrite32.6s (2.2%)

Algorithm
166×batch-egg-rewrite
Rules
91093×log1p-expm1-u
71955×expm1-log1p-u
54290×expm1-udef
53522×log1p-udef
50100×log-prod
Stop Event
3×unsound
163×node limit
Counts
1481 → 44440

series12.1s (0.8%)

Counts
1481 → 30945
Calls

8385 calls:

TimeVariablePointExpression
304.0ms
theta
@-inf
(asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta)))))
123.0ms
lambda2
@0
(sqrt.f64 (*.f64 R (hypot.f64 (*.f64 (cos.f64 (*.f64 (+.f64 phi1 phi2) 1/2)) (-.f64 lambda1 lambda2)) (-.f64 phi1 phi2))))
112.0ms
phi1
@inf
(-.f64 (exp.f64 (log1p.f64 (*.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (sin.f64 theta))))) 1)
87.0ms
b
@-inf
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 (pow.f64 (+.f64 (exp.f64 a) 1) -5/18) 2) (*.f64 b 1/3))) 3)
85.0ms
angle
@0
(*.f64 (-.f64 (exp.f64 (log1p.f64 (*.f64 (PI.f64) a))) 1) angle)

bsearch11.6s (0.8%)

Algorithm
212×binary-search
45×left-value
Stop Event
203×narrow-enough
9×predicate-same
Results
4.4s19038×256valid
3.6s4969×512valid
365.0ms2011×256invalid
1.2s943×2048valid
418.0ms700×1024valid
117.0ms506×256infinite
491.0ms379×4096valid
105.0ms146×1024invalid
188.0ms137×512infinite
146.0ms124×2048invalid
41.0ms86×512invalid
Compiler

Compiled 66254 to 49058 computations (26% saved)

end34.0ms (0%)

Profiling

Loading profile data...