Herbie run

Date:Tuesday, April 16th, 2024
Commit:97bdded0 on zane-regimes-8-iters
Hostname:nightly with Racket 8.11.1
Seed:2024107
Parameters:256 points for 8 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: 29.6min)

localize10.1min (34.2%)

Results
1.1min47179×0valid
2.6min20539×1valid
16.4s8154×0invalid
3.2min5709×5exit
38.5s3516×2valid
9.8s479×1invalid
31.2s437×3valid
39.0ms111×0unsamplable
12.1s52×4valid
8.0ms1×5valid
Compiler

Compiled 154146 to 84834 computations (45% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.8min
ival-pow: 1.7min (21.2% of total)
ival-mult: 1.5min (18.9% of total)
ival-sin: 1.4min (18.1% of total)
ival-cos: 50.1s (10.7% of total)
backward-pass: 39.3s (8.4% of total)
ival-div: 38.1s (8.1% of total)
ival-add: 9.6s (2% of total)
ival-log: 7.7s (1.6% of total)
ival-exp: 7.1s (1.5% of total)
ival-sub: 7.1s (1.5% of total)
ival-fma: 6.3s (1.3% of total)
ival-sqrt: 6.2s (1.3% of total)
const: 5.8s (1.2% of total)
ival-hypot: 4.3s (0.9% of total)
ival-cbrt: 3.7s (0.8% of total)
ival-log1p: 3.0s (0.6% of total)
ival-expm1: 2.7s (0.6% of total)
ival-atan2: 2.1s (0.4% of total)
ival-neg: 961.0ms (0.2% of total)
ival-tan: 669.0ms (0.1% of total)
ival-atan: 564.0ms (0.1% of total)
ival-acos: 558.0ms (0.1% of total)
ival-pi: 385.0ms (0.1% of total)
ival-fabs: 252.0ms (0.1% of total)
ival-e: 73.0ms (0% of total)
ival-asin: 32.0ms (0% of total)
ival-sinh: 13.0ms (0% of total)

sample5.5min (18.6%)

Results
50.0s289283×0valid
1.2min116447×1valid
13.8s50596×0unsamplable
4.8s27455×0invalid
36.0s26161×5exit
31.9s15060×2valid
50.4s7469×3valid
2.3s3778×1invalid
18.3s1049×4valid
89.0ms893×0precondition
562.0ms798×2invalid
42.0ms52×1unsamplable
10.0ms4×5valid
2.0ms1×3unsamplable
Precisions
Click to see histograms. Total time spent on operations: 4.1min
ival-sin: 47.5s (19.2% of total)
ival-mult: 36.2s (14.7% of total)
ival-cos: 34.9s (14.1% of total)
ival-pow: 32.5s (13.2% of total)
ival-div: 27.6s (11.2% of total)
backward-pass: 20.3s (8.2% of total)
ival-add: 10.7s (4.3% of total)
ival-sub: 7.9s (3.2% of total)
ival-exp: 6.2s (2.5% of total)
ival-log: 4.6s (1.8% of total)
ival-sqrt: 4.4s (1.8% of total)
ival-neg: 3.9s (1.6% of total)
const: 2.8s (1.2% of total)
ival-<: 2.4s (1% of total)
ival-pi: 787.0ms (0.3% of total)
ival-cbrt: 758.0ms (0.3% of total)
ival-atan2: 752.0ms (0.3% of total)
ival-tan: 624.0ms (0.3% of total)
ival-atan: 586.0ms (0.2% of total)
ival-acos: 439.0ms (0.2% of total)
ival-and: 423.0ms (0.2% of total)
ival-fabs: 258.0ms (0.1% of total)
ival-asin: 214.0ms (0.1% of total)
ival-<=: 199.0ms (0.1% of total)
ival-==: 2.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

eval3.0min (10.1%)

Compiler

Compiled 12642875 to 7650089 computations (39.5% saved)

simplify2.2min (7.6%)

Algorithm
378×egg-herbie
Rules
138991×fma-define
105133×associate-*r*
102163×*-commutative
92177×distribute-lft-in
86640×times-frac
Stop Event
51×saturated
324×node limit
3×unsound
Counts
165977 → 146578

prune1.7min (5.9%)

Counts
323065 → 16911
Compiler

Compiled 1004165 to 721185 computations (28.2% saved)

soundness1.5min (5.2%)

Rules
105148×fma-define
87572×log1p-expm1-u
78847×associate-*r*
67409×expm1-log1p-u
63761×*-commutative
Stop Event
13×saturated
341×node limit
32×fuel
6×unsound
17×done
Compiler

Compiled 88352 to 53194 computations (39.8% saved)

explain1.4min (4.8%)

Results
7.9s16100×0valid
20.2s8360×1valid
12.9s1510×2valid
21.9s558×3valid
9.6s96×4valid
Compiler

Compiled 20263 to 11933 computations (41.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1min
ival-sin: 16.0s (23.8% of total)
ival-mult: 13.4s (19.9% of total)
ival-cos: 10.3s (15.4% of total)
ival-div: 8.4s (12.5% of total)
ival-pow: 8.3s (12.3% of total)
backward-pass: 4.7s (7% of total)
ival-add: 1.8s (2.7% of total)
ival-sub: 1.5s (2.2% of total)
ival-sqrt: 739.0ms (1.1% of total)
const: 685.0ms (1% of total)
ival-exp: 360.0ms (0.5% of total)
ival-log: 318.0ms (0.5% of total)
ival-neg: 187.0ms (0.3% of total)
ival-tan: 139.0ms (0.2% of total)
ival-atan2: 79.0ms (0.1% of total)
ival-acos: 66.0ms (0.1% of total)
ival-atan: 64.0ms (0.1% of total)
ival-pi: 46.0ms (0.1% of total)
ival-cbrt: 33.0ms (0% of total)
ival-asin: 13.0ms (0% of total)
ival-fabs: 13.0ms (0% of total)

rewrite1.0min (3.5%)

Algorithm
329×batch-egg-rewrite
Rules
192563×log1p-expm1-u
144218×expm1-log1p-u
87955×pow1
85314×add-exp-log
82101×add-log-exp
Stop Event
324×node limit
5×unsound
Counts
3226 → 89639

regimes58.1s (3.3%)

Counts
33206 → 1269
Calls

144 calls:

4.8s
b
3.9s
phi1
3.8s
phi2
3.6s
lambda1
3.2s
a
Compiler

Compiled 10171 to 7599 computations (25.3% saved)

bsearch40.1s (2.3%)

Algorithm
515×binary-search
195×left-value
Stop Event
13×predicate-same
502×narrow-enough
Results
12.5s40907×0valid
13.2s14703×1valid
1.7s2876×2valid
3.6s2548×5exit
239.0ms2021×0invalid
1.3s1146×3valid
3.0ms51×0unsamplable
1.0ms1×1unsamplable
Compiler

Compiled 132676 to 102694 computations (22.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 28.0s
ival-mult: 6.1s (21.7% of total)
ival-pow: 5.1s (18.3% of total)
ival-div: 3.5s (12.6% of total)
ival-sin: 3.4s (12.1% of total)
ival-cos: 3.0s (10.7% of total)
backward-pass: 1.9s (7% of total)
ival-add: 1.3s (4.6% of total)
ival-sub: 1.1s (3.8% of total)
ival-sqrt: 572.0ms (2% of total)
ival-exp: 400.0ms (1.4% of total)
ival-neg: 391.0ms (1.4% of total)
const: 332.0ms (1.2% of total)
ival-atan: 199.0ms (0.7% of total)
ival-log: 163.0ms (0.6% of total)
ival-pi: 147.0ms (0.5% of total)
ival-atan2: 143.0ms (0.5% of total)
ival-acos: 143.0ms (0.5% of total)
ival-tan: 39.0ms (0.1% of total)
ival-fabs: 10.0ms (0% of total)
ival-asin: 6.0ms (0% of total)
ival-cbrt: 3.0ms (0% of total)

series33.1s (1.9%)

Counts
3226 → 76338
Calls

19419 calls:

TimeVariablePointExpression
441.0ms
lambda2
@0
(+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) 2))
415.0ms
phi2
@0
(- (exp (* (cos phi1) (* (cos phi2) (cos (- lambda2 lambda1))))) 1)
385.0ms
c
@-inf
(* a (- (/ (pow b 2) a) (* 3 c)))
322.0ms
lambda2
@-inf
(* (pow (acos (* (cos phi1) (cos (- lambda2 lambda1)))) 3) (pow R 3))
290.0ms
phi1
@0
(* R (sqrt (+ (* phi1 phi1) (* (* (cos (* 1/2 phi1)) (neg lambda2)) (* (cos (* 1/2 phi1)) (neg lambda2))))))

analyze31.3s (1.8%)

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: 21.7s
ival-mult: 6.3s (28.9% of total)
ival-pow: 3.9s (17.8% of total)
ival-div: 2.9s (13.5% of total)
ival-cos: 2.1s (9.6% of total)
ival-sin: 2.0s (9.1% of total)
ival-add: 1.4s (6.2% of total)
ival-sub: 956.0ms (4.4% of total)
ival-sqrt: 547.0ms (2.5% of total)
const: 299.0ms (1.4% of total)
ival-neg: 261.0ms (1.2% of total)
ival-<: 224.0ms (1% of total)
ival-atan: 213.0ms (1% of total)
ival-exp: 137.0ms (0.6% of total)
ival-atan2: 132.0ms (0.6% of total)
ival-pi: 69.0ms (0.3% of total)
ival-acos: 66.0ms (0.3% of total)
ival-asin: 64.0ms (0.3% of total)
ival-tan: 60.0ms (0.3% of total)
ival-and: 51.0ms (0.2% of total)
ival-log: 50.0ms (0.2% of total)
backward-pass: 36.0ms (0.2% of total)
ival-fabs: 33.0ms (0.2% of total)
ival-cbrt: 18.0ms (0.1% of total)
ival-<=: 3.0ms (0% of total)
ival-or: 0.0ms (0% of total)
ival-==: 0.0ms (0% of total)

preprocess16.4s (0.9%)

Algorithm
52×egg-herbie
Rules
32328×fma-define
19274×fma-neg
13234×div-sub
11584×unsub-neg
11427×sub-neg
Stop Event
22×saturated
30×node limit
Compiler

Compiled 74012 to 46578 computations (37.1% saved)

end0.0ms (0%)

Profiling

Loading profile data...