Herbie run

Date:Wednesday, January 31st, 2024
Commit:666e0b59 on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024031
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: 26.5min)

sample9.4min (35.6%)

Results
1.4min300802×0valid
48.7s55709×1valid
11.4s33398×0unsamplable
7.5s27995×0invalid
8.5s27038×0infinite
43.4s21219×2valid
2.7min19294×5exit
1.6min10969×3valid
7.6s5716×1infinite
1.6s3229×1invalid
2.7s2217×2invalid
33.3s1842×4valid
134.0ms924×0precondition
7.9s628×4infinite
13.8s602×5valid
3.2s513×3infinite
1.7s447×2infinite
8.4s358×5infinite
14.0ms10×2unsamplable
16.0ms5×3unsamplable
Precisions
Click to see histograms. Total time spent on operations: 7.9min
Operation ival-pow, time spent: 2.7min, 34.0% of total-time
Operation ival-sin, time spent: 1.5min, 19.0% of total-time
Operation ival-cos, time spent: 1.1min, 14.0% of total-time
Operation ival-mult, time spent: 39.3s, 8.0% of total-time
Operation ival-div, time spent: 29.2s, 6.0% of total-time
Operation ival-add, time spent: 29.0s, 6.0% of total-time
Operation ival-sub, time spent: 23.2s, 5.0% of total-time
Operation ival-exp, time spent: 12.4s, 3.0% of total-time
Operation ival-sqrt, time spent: 5.9s, 1.0% of total-time
Operation ival-log, time spent: 4.7s, 1.0% of total-time
Operation const, time spent: 4.6s, 1.0% of total-time
Operation ival-<, time spent: 2.6s, 1.0% of total-time
Operation ival-neg, time spent: 2.6s, 1.0% of total-time
Operation ival-atan2, time spent: 1.4s, 0.0% of total-time
Operation ival-pi, time spent: 901.0ms, 0.0% of total-time
Operation ival-acos, time spent: 726.0ms, 0.0% of total-time
Operation ival-tan, time spent: 656.0ms, 0.0% of total-time
Operation ival-and, time spent: 623.0ms, 0.0% of total-time
Operation ival-atan, time spent: 535.0ms, 0.0% of total-time
Operation ival-asin, time spent: 335.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 260.0ms, 0.0% of total-time
Operation ival-<=, time spent: 229.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 101.0ms, 0.0% of total-time
Operation ival-==, time spent: 4.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Bogosity

localize6.3min (23.7%)

Results
Compiler

Compiled 71957 to 37945 computations (47.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.6min
Operation ival-sin, time spent: 2.5min, 44.0% of total-time
Operation ival-pow, time spent: 53.9s, 16.0% of total-time
Operation ival-cos, time spent: 39.9s, 12.0% of total-time
Operation ival-mult, time spent: 33.6s, 10.0% of total-time
Operation ival-div, time spent: 19.3s, 6.0% of total-time
Operation ival-add, time spent: 13.5s, 4.0% of total-time
Operation ival-sub, time spent: 9.0s, 3.0% of total-time
Operation const, time spent: 4.0s, 1.0% of total-time
Operation ival-sqrt, time spent: 3.7s, 1.0% of total-time
Operation ival-fma, time spent: 2.2s, 1.0% of total-time
Operation ival-cbrt, time spent: 1.6s, 0.0% of total-time
Operation ival-exp, time spent: 1.3s, 0.0% of total-time
Operation ival-hypot, time spent: 1.2s, 0.0% of total-time
Operation ival-atan2, time spent: 1.1s, 0.0% of total-time
Operation ival-log, time spent: 958.0ms, 0.0% of total-time
Operation ival-log1p, time spent: 816.0ms, 0.0% of total-time
Operation ival-expm1, time spent: 785.0ms, 0.0% of total-time
Operation ival-neg, time spent: 387.0ms, 0.0% of total-time
Operation ival-acos, time spent: 347.0ms, 0.0% of total-time
Operation ival-atan, time spent: 284.0ms, 0.0% of total-time
Operation ival-tan, time spent: 270.0ms, 0.0% of total-time
Operation ival-pi, time spent: 106.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 81.0ms, 0.0% of total-time
Operation ival-asin, time spent: 36.0ms, 0.0% of total-time

preprocess2.2min (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
Results
Compiler

Compiled 63597 to 36502 computations (42.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7min
Operation ival-sin, time spent: 36.0s, 34.0% of total-time
Operation ival-cos, time spent: 20.5s, 20.0% of total-time
Operation ival-pow, time spent: 14.8s, 14.0% of total-time
Operation ival-mult, time spent: 10.7s, 10.0% of total-time
Operation ival-div, time spent: 8.8s, 8.0% of total-time
Operation ival-add, time spent: 5.4s, 5.0% of total-time
Operation ival-sub, time spent: 4.7s, 5.0% of total-time
Operation ival-sqrt, time spent: 1.2s, 1.0% of total-time
Operation const, time spent: 1.1s, 1.0% of total-time
Operation ival-atan2, time spent: 251.0ms, 0.0% of total-time
Operation ival-log, time spent: 236.0ms, 0.0% of total-time
Operation ival-exp, time spent: 204.0ms, 0.0% of total-time
Operation ival-tan, time spent: 132.0ms, 0.0% of total-time
Operation ival-atan, time spent: 95.0ms, 0.0% of total-time
Operation ival-neg, time spent: 91.0ms, 0.0% of total-time
Operation ival-pi, time spent: 44.0ms, 0.0% of total-time
Operation ival-acos, time spent: 38.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 33.0ms, 0.0% of total-time
Operation ival-asin, time spent: 20.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 8.0ms, 0.0% of total-time

eval2.2min (8.2%)

Compiler

Compiled 5622280 to 3247767 computations (42.2% saved)

soundness1.6min (5.9%)

Rules
243340×fma-def
164224×associate-*r*
126318×log-prod
115108×fma-neg
115010×associate-*l*
Stop Event
5×saturated
358×node limit
4×unsound
Results
Compiler

Compiled 35487 to 20489 computations (42.3% saved)

regimes1.5min (5.7%)

Counts
17460 → 775
Calls

134 calls:

8.6s
phi2
7.8s
lambda2
7.1s
phi1
7.0s
lambda1
5.6s
(-.f64 lambda1 lambda2)
Compiler

Compiled 11002 to 8102 computations (26.4% saved)

simplify50.2s (3.2%)

Algorithm
217×egg-herbie
Rules
141128×fma-def
96830×associate-*r*
87832×log-prod
84750×associate-*l*
82226×times-frac
Stop Event
47×saturated
37×fuel
169×node limit
1×unsound
10×done
Counts
76920 → 62257
Compiler

Compiled 14124 to 9332 computations (33.9% saved)

analyze43.3s (2.7%)

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 1338 computations (30.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 36.9s
Operation ival-pow, time spent: 16.4s, 44.0% of total-time
Operation ival-mult, time spent: 5.9s, 16.0% of total-time
Operation ival-cos, time spent: 3.6s, 10.0% of total-time
Operation ival-div, time spent: 3.4s, 9.0% of total-time
Operation ival-sin, time spent: 3.1s, 8.0% of total-time
Operation ival-add, time spent: 1.1s, 3.0% of total-time
Operation ival-sub, time spent: 883.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 866.0ms, 2.0% of total-time
Operation const, time spent: 365.0ms, 1.0% of total-time
Operation ival-neg, time spent: 301.0ms, 1.0% of total-time
Operation ival-<, time spent: 171.0ms, 0.0% of total-time
Operation ival-acos, time spent: 156.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 127.0ms, 0.0% of total-time
Operation ival-log, time spent: 90.0ms, 0.0% of total-time
Operation ival-tan, time spent: 89.0ms, 0.0% of total-time
Operation ival-exp, time spent: 78.0ms, 0.0% of total-time
Operation ival-pi, time spent: 69.0ms, 0.0% of total-time
Operation ival-atan, time spent: 66.0ms, 0.0% of total-time
Operation ival-asin, time spent: 58.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 43.0ms, 0.0% of total-time
Operation ival-and, time spent: 38.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 22.0ms, 0.0% of total-time
Operation ival-<=, time spent: 4.0ms, 0.0% of total-time
Operation ival-==, time spent: 0.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time

prune42.7s (2.7%)

Counts
135776 → 6119
Compiler

Compiled 378790 to 260658 computations (31.2% saved)

rewrite34.8s (2.2%)

Algorithm
170×batch-egg-rewrite
Rules
90933×log1p-expm1-u
68909×expm1-log1p-u
54890×expm1-udef
53210×log1p-udef
51660×log-prod
Stop Event
165×node limit
5×unsound
Counts
1521 → 46543

bsearch17.1s (1.1%)

Algorithm
282×binary-search
79×left-value
Stop Event
8×predicate-same
274×narrow-enough
Results
7.4s24067×0valid
5.8s8435×1valid
1.4s1503×2valid
170.0ms891×0invalid
88.0ms326×0infinite
98.0ms205×1infinite
178.0ms195×3valid
2.0ms25×0unsamplable
13.0ms5×4valid
Compiler

Compiled 83983 to 62282 computations (25.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.9s
Operation ival-sub, time spent: 1.9s, 18.0% of total-time
Operation ival-sin, time spent: 1.9s, 17.0% of total-time
Operation ival-cos, time spent: 1.6s, 14.0% of total-time
Operation ival-mult, time spent: 1.4s, 12.0% of total-time
Operation ival-add, time spent: 1.1s, 10.0% of total-time
Operation ival-pow, time spent: 764.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 561.0ms, 5.0% of total-time
Operation ival-div, time spent: 497.0ms, 5.0% of total-time
Operation ival-atan2, time spent: 285.0ms, 3.0% of total-time
Operation ival-log, time spent: 236.0ms, 2.0% of total-time
Operation const, time spent: 152.0ms, 1.0% of total-time
Operation ival-acos, time spent: 146.0ms, 1.0% of total-time
Operation ival-atan, time spent: 136.0ms, 1.0% of total-time
Operation ival-exp, time spent: 89.0ms, 1.0% of total-time
Operation ival-asin, time spent: 80.0ms, 1.0% of total-time
Operation ival-pi, time spent: 54.0ms, 0.0% of total-time
Operation ival-neg, time spent: 38.0ms, 0.0% of total-time
Operation ival-tan, time spent: 38.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time

series13.0s (0.8%)

Counts
1521 → 30377
Calls

8379 calls:

TimeVariablePointExpression
458.0ms
theta
@inf
(*.f64 (sin.f64 theta) (-.f64 (exp.f64 (log1p.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)))) 1))
356.0ms
C
@inf
(sqrt.f64 (*.f64 (*.f64 (pow.f64 B 2) F) (*.f64 2 (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))))))
166.0ms
a
@0
(pow.f64 (*.f64 a b) 3/2)
157.0ms
C
@inf
(/.f64 (neg.f64 (*.f64 (hypot.f64 B (sqrt.f64 (*.f64 A (*.f64 C -4)))) (sqrt.f64 (*.f64 F (*.f64 2 (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (fma.f64 B B (*.f64 A (*.f64 C -4))))
154.0ms
C
@0
(/.f64 (neg.f64 (sqrt.f64 (*.f64 F (*.f64 (+.f64 C (-.f64 A (hypot.f64 B (-.f64 A C)))) (*.f64 2 (fma.f64 A (*.f64 C -4) (pow.f64 B 2))))))) (fma.f64 A (*.f64 C -4) (pow.f64 B 2)))

end26.0ms (0%)

Profiling

Loading profile data...