Herbie run

Date:Saturday, February 24th, 2024
Commit:79d5306a on longer-taylor
Hostname:nightly with Racket 8.11.1
Seed:2024055
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: 5.3min)

sample1.1min (20%)

Results
15.5s116352×256valid
9.0s23170×512valid
6.9s15997×1024valid
14.3s11996×8192exit
862.0ms4931×256infinite
779.0ms4863×256invalid
5.8s4664×2048valid
1.4s2248×1024invalid
278.0ms1193×512invalid
141.0ms1164×256unsamplable
2.0ms6×512infinite
Precisions
Click to see histograms. Total time spent on operations: 37.9s
Operation ival-log, time spent: 7.3s, 19.0% of total-time
Operation ival-pow, time spent: 4.2s, 11.0% of total-time
Operation ival-cos, time spent: 4.0s, 11.0% of total-time
Operation ival-sinh, time spent: 2.7s, 7.0% of total-time
Operation ival-exp, time spent: 2.4s, 6.0% of total-time
Operation ival-mult, time spent: 2.4s, 6.0% of total-time
Operation ival-sqrt, time spent: 2.3s, 6.0% of total-time
Operation ival-div, time spent: 2.3s, 6.0% of total-time
Operation ival-<=, time spent: 2.0s, 5.0% of total-time
Operation ival-sin, time spent: 1.6s, 4.0% of total-time
Operation ival-add, time spent: 1.2s, 3.0% of total-time
Operation ival-fmod, time spent: 1.1s, 3.0% of total-time
Operation ival-sub, time spent: 1.1s, 3.0% of total-time
Operation ival-tan, time spent: 816.0ms, 2.0% of total-time
Operation ival-acos, time spent: 682.0ms, 2.0% of total-time
Operation const, time spent: 544.0ms, 1.0% of total-time
Operation ival-neg, time spent: 358.0ms, 1.0% of total-time
Operation ival-and, time spent: 234.0ms, 1.0% of total-time
Operation ival-<, time spent: 193.0ms, 1.0% of total-time
Operation ival-==, time spent: 169.0ms, 0.0% of total-time
Operation ival-or, time spent: 89.0ms, 0.0% of total-time
Operation ival-atan, time spent: 69.0ms, 0.0% of total-time
Operation ival->=, time spent: 49.0ms, 0.0% of total-time
Operation ival->, time spent: 38.0ms, 0.0% of total-time
Bogosity

series57.2s (18%)

Counts
495 → 13813
Calls

2211 calls:

TimeVariablePointExpression
3.0s
b
@inf
(log (/ (* (sin b) r) (cos (+ b a))))
2.9s
r
@-inf
(log (/ (* (sin b) r) (cos (+ b a))))
2.5s
b
@-inf
(log (/ (* (sin b) r) (cos (+ b a))))
2.3s
x
@inf
(log (fmod (exp x) 1))
2.2s
a
@inf
(log (/ (* (sin b) r) (cos (+ b a))))

localize53.2s (16.8%)

Results
6.9s9286×256valid
3.0s1858×512valid
20.8s1723×2048valid
4.3s1314×1024valid
5.1s336×8192exit
311.0ms316×256infinite
599.0ms313×512invalid
185.0ms311×256invalid
2.6s231×4096valid
256.0ms184×256unsamplable
Compiler

Compiled 11533 to 6225 computations (46% saved)

Precisions
Click to see histograms. Total time spent on operations: 38.5s
Operation ival-mult, time spent: 6.6s, 17.0% of total-time
Operation ival-pow, time spent: 5.5s, 14.0% of total-time
Operation ival-log, time spent: 5.1s, 13.0% of total-time
Operation ival-asin, time spent: 4.7s, 12.0% of total-time
Operation ival-sub, time spent: 2.6s, 7.0% of total-time
Operation composed, time spent: 2.6s, 7.0% of total-time
Operation ival-add, time spent: 2.0s, 5.0% of total-time
Operation ival-exp, time spent: 1.7s, 4.0% of total-time
Operation ival-acos, time spent: 1.4s, 4.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 3.0% of total-time
Operation ival-cbrt, time spent: 1.0s, 3.0% of total-time
Operation ival-cos, time spent: 994.0ms, 3.0% of total-time
Operation ival-div, time spent: 914.0ms, 2.0% of total-time
Operation const, time spent: 774.0ms, 2.0% of total-time
Operation ival-fmod, time spent: 500.0ms, 1.0% of total-time
Operation ival-sin, time spent: 461.0ms, 1.0% of total-time
Operation ival-tan, time spent: 197.0ms, 1.0% of total-time
Operation ival-neg, time spent: 190.0ms, 0.0% of total-time
Operation ival-e, time spent: 27.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 26.0ms, 0.0% of total-time
Operation ival-pi, time spent: 20.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 7.0ms, 0.0% of total-time
Operation ival-atan, time spent: 2.0ms, 0.0% of total-time

eval36.6s (11.5%)

Compiler

Compiled 1581256 to 945769 computations (40.2% saved)

simplify23.9s (7.5%)

Algorithm
79×egg-herbie
Rules
40712×fma-define
36144×distribute-lft-in
35304×*-commutative
32176×fma-neg
30452×distribute-rgt-in
Stop Event
20×saturated
54×node limit
10×fuel
5×unsound
10×done
Counts
32519 → 24555
Compiler

Compiled 1794 to 1203 computations (32.9% saved)

soundness21.0s (6.6%)

Rules
33460×fma-define
26522×fma-neg
24330×*-commutative
23226×associate-*r*
21866×times-frac
Stop Event
6×saturated
60×node limit
1×unsound
Compiler

Compiled 8986 to 4828 computations (46.3% saved)

analyze16.2s (5.1%)

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
67%48.4%23.9%26.3%0%1.1%0.3%6
71.2%51.1%20.7%26.3%0%1.6%0.3%7
72.2%51.6%19.9%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.9%53.9%17.1%26.3%0%2.2%0.5%10
76.6%54.3%16.6%26.3%0%2.3%0.5%11
77.4%54.8%16%26.3%0%2.4%0.5%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.6s
Operation ival-<=, time spent: 3.9s, 45.0% of total-time
Operation ival-add, time spent: 1.4s, 16.0% of total-time
Operation ival-tan, time spent: 1.2s, 14.0% of total-time
Operation ival-and, time spent: 369.0ms, 4.0% of total-time
Operation const, time spent: 285.0ms, 3.0% of total-time
Operation ival-sub, time spent: 264.0ms, 3.0% of total-time
Operation ival-==, time spent: 214.0ms, 2.0% of total-time
Operation ival-or, time spent: 183.0ms, 2.0% of total-time
Operation ival-sin, time spent: 149.0ms, 2.0% of total-time
Operation ival-mult, time spent: 136.0ms, 2.0% of total-time
Operation ival-cos, time spent: 122.0ms, 1.0% of total-time
Operation ival-pow, time spent: 117.0ms, 1.0% of total-time
Operation ival-log, time spent: 59.0ms, 1.0% of total-time
Operation ival-exp, time spent: 50.0ms, 1.0% of total-time
Operation ival-div, time spent: 47.0ms, 1.0% of total-time
Operation ival-neg, time spent: 44.0ms, 1.0% of total-time
Operation ival-fmod, time spent: 41.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 33.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 15.0ms, 0.0% of total-time
Operation ival-atan, time spent: 1.0ms, 0.0% of total-time
Operation ival->=, time spent: 1.0ms, 0.0% of total-time
Operation ival-acos, time spent: 0.0ms, 0.0% of total-time
Operation ival->, time spent: 0.0ms, 0.0% of total-time
Operation ival-<, time spent: 0.0ms, 0.0% of total-time

rewrite14.5s (4.6%)

Algorithm
59×batch-egg-rewrite
Rules
32363×log1p-expm1-u
26654×expm1-log1p-u
21624×prod-diff
20736×log-prod
20694×unpow-prod-down
Stop Event
59×node limit
Counts
495 → 18706

regimes12.4s (3.9%)

Counts
3676 → 148
Calls

53 calls:

1.5s
x
1.4s
b
1.3s
a
983.0ms
(tan.f64 (+.f64 y z))
773.0ms
(tan.f64 a)
Compiler

Compiled 1691 to 1196 computations (29.3% saved)

prune11.1s (3.5%)

Counts
43539 → 1780
Compiler

Compiled 71146 to 46992 computations (33.9% saved)

preprocess7.4s (2.3%)

Algorithm
20×egg-herbie
Rules
10358×fma-neg
10108×fma-define
3250×distribute-rgt-in
3210×unsub-neg
3162×distribute-lft-in
Stop Event
18×saturated
2×node limit
Results
1.6s7074×256valid
427.0ms1458×512valid
396.0ms1022×1024valid
71.0ms316×256infinite
229.0ms268×2048valid
177.0ms102×8192exit
Compiler

Compiled 10321 to 6228 computations (39.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
Operation ival-exp, time spent: 508.0ms, 30.0% of total-time
Operation ival-cos, time spent: 208.0ms, 12.0% of total-time
Operation ival-log, time spent: 153.0ms, 9.0% of total-time
Operation ival-mult, time spent: 145.0ms, 8.0% of total-time
Operation ival-sqrt, time spent: 138.0ms, 8.0% of total-time
Operation ival-sin, time spent: 82.0ms, 5.0% of total-time
Operation ival-pow, time spent: 79.0ms, 5.0% of total-time
Operation ival-add, time spent: 69.0ms, 4.0% of total-time
Operation ival-sub, time spent: 65.0ms, 4.0% of total-time
Operation ival-tan, time spent: 55.0ms, 3.0% of total-time
Operation ival-sinh, time spent: 52.0ms, 3.0% of total-time
Operation ival-acos, time spent: 43.0ms, 3.0% of total-time
Operation ival-div, time spent: 43.0ms, 3.0% of total-time
Operation const, time spent: 35.0ms, 2.0% of total-time
Operation ival-fmod, time spent: 27.0ms, 2.0% of total-time
Operation ival-neg, time spent: 10.0ms, 1.0% of total-time
Operation ival-atan, time spent: 4.0ms, 0.0% of total-time

bsearch509.0ms (0.2%)

Algorithm
21×binary-search
22×left-value
Stop Event
4×predicate-same
17×narrow-enough
Results
171.0ms1117×256valid
177.0ms643×512valid
2.0ms16×256infinite
Compiler

Compiled 3042 to 2206 computations (27.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 207.0ms
Operation ival-cos, time spent: 49.0ms, 24.0% of total-time
Operation ival-sin, time spent: 49.0ms, 24.0% of total-time
Operation ival-tan, time spent: 34.0ms, 16.0% of total-time
Operation ival-add, time spent: 19.0ms, 9.0% of total-time
Operation ival-mult, time spent: 17.0ms, 8.0% of total-time
Operation ival-pow, time spent: 12.0ms, 6.0% of total-time
Operation ival-div, time spent: 10.0ms, 5.0% of total-time
Operation ival-exp, time spent: 8.0ms, 4.0% of total-time
Operation ival-sub, time spent: 4.0ms, 2.0% of total-time
Operation const, time spent: 3.0ms, 1.0% of total-time
Operation ival-neg, time spent: 3.0ms, 1.0% of total-time

end2.0ms (0%)

Profiling

Loading profile data...