Herbie run

Date:Tuesday, April 16th, 2024
Commit:7c422dd2 on artem-sharing-exponents
Hostname:nightly with Racket 8.11.1
Seed:2024107
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: 4.0min)

sample57.2s (23.6%)

Results
32.4s144275×0valid
5.1s20313×1valid
9.8s16796×5exit
721.0ms4034×0invalid
148.0ms1410×0unsamplable
214.0ms532×2valid
Precisions
Click to see histograms. Total time spent on operations: 39.8s
ival-<=: 12.3s (31% of total)
ival-cos: 4.8s (12% of total)
ival-tan: 4.0s (10% of total)
ival-pow: 2.4s (6% of total)
ival-mult: 2.3s (5.7% of total)
ival-add: 1.9s (4.8% of total)
backward-pass: 1.6s (4.1% of total)
ival-sqrt: 1.4s (3.5% of total)
ival-log: 1.4s (3.5% of total)
ival-==: 1.2s (3% of total)
ival-exp: 1.1s (2.7% of total)
ival-fmod: 1.0s (2.6% of total)
ival-div: 817.0ms (2.1% of total)
ival-sin: 798.0ms (2% of total)
ival-sinh: 714.0ms (1.8% of total)
ival-sub: 624.0ms (1.6% of total)
ival-acos: 380.0ms (1% of total)
const: 284.0ms (0.7% of total)
ival-neg: 243.0ms (0.6% of total)
ival-atan: 161.0ms (0.4% of total)
ival-and: 114.0ms (0.3% of total)
ival-<: 110.0ms (0.3% of total)
ival-or: 53.0ms (0.1% of total)
ival->=: 48.0ms (0.1% of total)
ival->: 31.0ms (0.1% of total)
Bogosity

soundness37.3s (15.4%)

Rules
17690×log1p-expm1-u
17116×fma-define
14235×expm1-log1p-u
12741×associate-*r*
12101×fma-neg
Stop Event
6×saturated
64×node limit
10×fuel
3×unsound
10×done
Compiler

Compiled 11865 to 5185 computations (56.3% saved)

localize37.0s (15.2%)

Results
11.1s11204×0valid
6.4s3320×1valid
4.8s1083×2valid
9.5s656×5exit
119.0ms189×0invalid
61.0ms168×0unsamplable
16.0ms14×1invalid
30.0ms6×3valid
Compiler

Compiled 8122 to 3818 computations (53% saved)

Precisions
Click to see histograms. Total time spent on operations: 23.5s
ival-pow: 5.1s (21.7% of total)
ival-asin: 3.0s (12.8% of total)
ival-mult: 2.8s (12% of total)
backward-pass: 2.4s (10% of total)
ival-cos: 1.6s (6.9% of total)
ival-sub: 1.6s (6.9% of total)
ival-log: 1.4s (5.9% of total)
ival-fmod: 712.0ms (3% of total)
ival-div: 695.0ms (3% of total)
ival-fma: 578.0ms (2.5% of total)
ival-cbrt: 549.0ms (2.3% of total)
ival-exp: 527.0ms (2.2% of total)
ival-sqrt: 417.0ms (1.8% of total)
ival-tan: 416.0ms (1.8% of total)
ival-add: 332.0ms (1.4% of total)
ival-sin: 329.0ms (1.4% of total)
const: 261.0ms (1.1% of total)
ival-expm1: 151.0ms (0.6% of total)
ival-neg: 137.0ms (0.6% of total)
ival-acos: 131.0ms (0.6% of total)
ival-log1p: 119.0ms (0.5% of total)
ival-sinh: 110.0ms (0.5% of total)
ival-e: 104.0ms (0.4% of total)
ival-hypot: 23.0ms (0.1% of total)
ival-pi: 16.0ms (0.1% of total)
ival-fabs: 12.0ms (0.1% of total)
ival-atan: 3.0ms (0% of total)

prune26.7s (11%)

Counts
37328 → 1734
Compiler

Compiled 61586 to 39002 computations (36.7% saved)

simplify24.8s (10.2%)

Algorithm
80×egg-herbie
Rules
22451×fma-define
18421×fma-neg
14541×times-frac
14389×distribute-lft-in
13792×associate-*r*
Stop Event
20×saturated
55×node limit
5×unsound
Counts
25501 → 20958

explain13.6s (5.6%)

Results
8.2s7026×0valid
770.0ms2698×1valid
276.0ms408×2valid
345.0ms108×5exit
Compiler

Compiled 1135 to 542 computations (52.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-cos: 370.0ms (21.2% of total)
ival-pow: 208.0ms (11.9% of total)
backward-pass: 153.0ms (8.7% of total)
ival-tan: 145.0ms (8.3% of total)
ival-sub: 140.0ms (8% of total)
ival-mult: 138.0ms (7.9% of total)
ival-sqrt: 98.0ms (5.6% of total)
ival-exp: 88.0ms (5% of total)
ival-sinh: 87.0ms (5% of total)
ival-log: 74.0ms (4.2% of total)
ival-sin: 61.0ms (3.5% of total)
ival-add: 50.0ms (2.9% of total)
ival-fmod: 46.0ms (2.6% of total)
ival-div: 32.0ms (1.8% of total)
ival-acos: 27.0ms (1.5% of total)
const: 21.0ms (1.2% of total)
ival-neg: 7.0ms (0.4% of total)
ival-atan: 4.0ms (0.2% of total)

eval13.5s (5.6%)

Compiler

Compiled 904247 to 523626 computations (42.1% saved)

rewrite12.7s (5.2%)

Algorithm
60×batch-egg-rewrite
Rules
33928×log1p-expm1-u
28173×expm1-log1p-u
12805×pow1
12197×add-exp-log
12003×add-log-exp
Stop Event
60×node limit
Counts
450 → 16943

regimes6.2s (2.6%)

Counts
3208 → 139
Calls

55 calls:

1.1s
x
1.0s
b
715.0ms
a
660.0ms
r
220.0ms
(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
Compiler

Compiled 1564 to 1104 computations (29.4% saved)

preprocess5.0s (2%)

Algorithm
20×egg-herbie
Rules
5179×fma-neg
5054×fma-define
1625×distribute-rgt-in
1605×unsub-neg
1581×distribute-lft-in
Stop Event
18×saturated
2×node limit
Compiler

Compiled 5576 to 3112 computations (44.2% saved)

series4.2s (1.7%)

Counts
450 → 8558
Calls

1992 calls:

TimeVariablePointExpression
173.0ms
x
@inf
(log (/ (sinh x) x))
139.0ms
y
@inf
(log (- (tan (+ y z)) (- (tan a) x)))
131.0ms
x
@0
(sqrt (+ (* x x) (* x x)))
119.0ms
x
@0
(pow (sqrt (E)) (* 2 (log (fmod (exp x) (sqrt (cos x))))))
117.0ms
x
@0
(cbrt x)

analyze3.4s (1.4%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.1%0.2%6
71.1%51.1%20.8%26.3%0%1.6%0.2%7
72.1%51.6%20%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.8%53.9%17.2%26.3%0%2.1%0.5%10
76.6%54.3%16.6%26.3%0%2.3%0.5%11
77.3%54.8%16.1%26.3%0%2.3%0.5%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-<=: 489.0ms (28.4% of total)
ival-mult: 254.0ms (14.7% of total)
ival-tan: 124.0ms (7.2% of total)
ival-pow: 123.0ms (7.1% of total)
ival-add: 107.0ms (6.2% of total)
ival-div: 101.0ms (5.9% of total)
ival-sin: 82.0ms (4.8% of total)
ival-cos: 66.0ms (3.8% of total)
ival-fmod: 52.0ms (3% of total)
ival-exp: 47.0ms (2.7% of total)
ival-and: 46.0ms (2.7% of total)
const: 42.0ms (2.4% of total)
ival-sub: 38.0ms (2.2% of total)
ival-==: 33.0ms (1.9% of total)
ival-or: 23.0ms (1.3% of total)
ival-log: 22.0ms (1.3% of total)
ival-sqrt: 20.0ms (1.2% of total)
ival-neg: 19.0ms (1.1% of total)
ival-sinh: 16.0ms (0.9% of total)
ival-<: 9.0ms (0.5% of total)
backward-pass: 8.0ms (0.5% of total)
ival->: 3.0ms (0.2% of total)
ival-atan: 1.0ms (0.1% of total)
ival->=: 1.0ms (0.1% of total)
ival-acos: 0.0ms (0% of total)

bsearch1.2s (0.5%)

Algorithm
31×binary-search
6×left-value
Stop Event
2×predicate-same
28×narrow-enough
1×predicate-failed
Results
465.0ms2538×0valid
343.0ms1270×1valid
11.0ms101×0invalid
Compiler

Compiled 6319 to 4324 computations (31.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 643.0ms
ival-mult: 287.0ms (44.6% of total)
ival-sin: 122.0ms (19% of total)
ival-cos: 116.0ms (18% of total)
ival-div: 29.0ms (4.5% of total)
ival-add: 26.0ms (4% of total)
backward-pass: 25.0ms (3.9% of total)
ival-pow: 21.0ms (3.3% of total)
ival-exp: 8.0ms (1.2% of total)
const: 5.0ms (0.8% of total)
ival-neg: 2.0ms (0.3% of total)
ival-sqrt: 1.0ms (0.2% of total)
ival-fmod: 1.0ms (0.2% of total)

end0.0ms (0%)

Profiling

Loading profile data...