Herbie run

Date:Thursday, March 7th, 2024
Commit:36fc83f8 on main
Hostname:nightly with Racket 8.11.1
Seed:2024067
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: 2.0hr)

sample30.6min (25%)

Results
11.7min3476313×256valid
1.7min531451×256infinite
1.5min168120×1024valid
1.4min163312×512valid
35.6s162413×256invalid
31.7s144526×256precondition
1.8min90643×2048valid
7.0min72572×8192exit
10.8s38910×256unsamplable
57.2s12982×4096valid
10.7s12176×512infinite
5.3s7069×1024invalid
1.9s4435×512invalid
2.7s2069×1024infinite
21.4s1916×8192valid
5.3s1411×2048infinite
5.9s1179×4096infinite
1.1s1130×2048invalid
6.0ms6×512unsamplable
5.0ms3×1024unsamplable
Precisions
Click to see histograms. Total time spent on operations: 18.5min
Operation ival-pow, time spent: 5.0min, 27.0% of total-time
Operation ival-mult, time spent: 3.1min, 17.0% of total-time
Operation ival-sin, time spent: 2.0min, 11.0% of total-time
Operation ival-div, time spent: 1.7min, 9.0% of total-time
Operation ival-add, time spent: 1.1min, 6.0% of total-time
Operation ival-sub, time spent: 1.0min, 6.0% of total-time
Operation ival-cos, time spent: 55.6s, 5.0% of total-time
Operation ival-exp, time spent: 41.7s, 4.0% of total-time
Operation ival-log, time spent: 40.1s, 4.0% of total-time
Operation ival-tan, time spent: 29.2s, 3.0% of total-time
Operation ival-sqrt, time spent: 23.8s, 2.0% of total-time
Operation ival-<=, time spent: 21.3s, 2.0% of total-time
Operation const, time spent: 17.7s, 2.0% of total-time
Operation ival-neg, time spent: 7.3s, 1.0% of total-time
Operation ival-<, time spent: 6.3s, 1.0% of total-time
Operation ival-fabs, time spent: 5.1s, 0.0% of total-time
Operation ival-and, time spent: 4.3s, 0.0% of total-time
Operation ival-pi, time spent: 3.6s, 0.0% of total-time
Operation ival-atan, time spent: 3.2s, 0.0% of total-time
Operation ival-atan2, time spent: 2.9s, 0.0% of total-time
Operation ival-acos, time spent: 2.7s, 0.0% of total-time
Operation ival-asin, time spent: 2.1s, 0.0% of total-time
Operation ival->, time spent: 2.1s, 0.0% of total-time
Operation ival-sinh, time spent: 2.0s, 0.0% of total-time
Operation composed, time spent: 1.2s, 0.0% of total-time
Operation ival-==, time spent: 891.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 690.0ms, 0.0% of total-time
Operation ival-floor, time spent: 632.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 622.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 612.0ms, 0.0% of total-time
Operation ival->=, time spent: 608.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 581.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 562.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 326.0ms, 0.0% of total-time
Operation ival-log2, time spent: 320.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 314.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 256.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 121.0ms, 0.0% of total-time
Operation ival-or, time spent: 92.0ms, 0.0% of total-time
Operation ival-if, time spent: 85.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:188:8, time spent: 69.0ms, 0.0% of total-time
Bogosity

localize24.6min (20.1%)

Results
Compiler

Compiled 459277 to 206830 computations (55% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.2min
Operation ival-sin, time spent: 3.4min, 20.0% of total-time
Operation ival-mult, time spent: 3.1min, 18.0% of total-time
Operation ival-pow, time spent: 2.4min, 14.0% of total-time
Operation ival-div, time spent: 1.5min, 8.0% of total-time
Operation ival-cos, time spent: 1.0min, 6.0% of total-time
Operation ival-add, time spent: 1.0min, 6.0% of total-time
Operation composed, time spent: 1.0min, 6.0% of total-time
Operation ival-tan, time spent: 48.2s, 5.0% of total-time
Operation ival-sub, time spent: 33.2s, 3.0% of total-time
Operation ival-log, time spent: 33.0s, 3.0% of total-time
Operation ival-sqrt, time spent: 22.7s, 2.0% of total-time
Operation ival-atan, time spent: 18.2s, 2.0% of total-time
Operation ival-exp, time spent: 17.4s, 2.0% of total-time
Operation const, time spent: 17.3s, 2.0% of total-time
Operation ival-asin, time spent: 10.4s, 1.0% of total-time
Operation ival-acos, time spent: 8.1s, 1.0% of total-time
Operation ival-cbrt, time spent: 6.0s, 1.0% of total-time
Operation ival-neg, time spent: 3.1s, 0.0% of total-time
Operation ival-atan2, time spent: 3.1s, 0.0% of total-time
Operation ival-fmax, time spent: 755.0ms, 0.0% of total-time
Operation ival->=, time spent: 627.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 621.0ms, 0.0% of total-time
Operation ival-pi, time spent: 451.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 371.0ms, 0.0% of total-time
Operation ival->, time spent: 289.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 240.0ms, 0.0% of total-time
Operation ival-log2, time spent: 189.0ms, 0.0% of total-time
Operation ival-floor, time spent: 155.0ms, 0.0% of total-time
Operation ival-e, time spent: 154.0ms, 0.0% of total-time
Operation ival-if, time spent: 148.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 143.0ms, 0.0% of total-time
Operation ival-<, time spent: 124.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 123.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 78.0ms, 0.0% of total-time

eval12.9min (10.5%)

Compiler

Compiled 44203890 to 19880082 computations (55% saved)

simplify9.7min (7.9%)

Algorithm
2249×egg-herbie
Rules
1215855×fma-define
918118×fma-neg
889141×distribute-lft-in
885723×*-commutative
882184×associate-*r*
Stop Event
537×saturated
330×fuel
1691×node limit
21×unsound
206×done
Counts
798822 → 700475
Compiler

Compiled 129913 to 81049 computations (37.6% saved)

regimes9.4min (7.7%)

Counts
90920 → 9736
Calls

1179 calls:

1.0min
x
48.6s
z
48.1s
y
39.7s
t
37.4s
a
Compiler

Compiled 91471 to 69002 computations (24.6% saved)

soundness8.2min (6.7%)

Rules
1123338×fma-define
866180×fma-neg
698006×associate-*r*
649001×distribute-lft-in
630992×times-frac
Stop Event
162×saturated
1764×node limit
19×unsound
Results
Compiler

Compiled 299267 to 170476 computations (43% saved)

preprocess7.6min (6.2%)

Algorithm
540×egg-herbie
Rules
469154×fma-neg
458784×fma-define
212198×unsub-neg
185947×sub-neg
174814×distribute-lft-in
Stop Event
292×saturated
248×node limit
Results
Compiler

Compiled 501929 to 269778 computations (46.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6min
Operation ival-mult, time spent: 33.0s, 22.0% of total-time
Operation ival-sin, time spent: 27.2s, 18.0% of total-time
Operation ival-div, time spent: 20.1s, 13.0% of total-time
Operation ival-cos, time spent: 18.9s, 12.0% of total-time
Operation ival-pow, time spent: 13.9s, 9.0% of total-time
Operation ival-add, time spent: 11.1s, 7.0% of total-time
Operation ival-sub, time spent: 9.2s, 6.0% of total-time
Operation ival-log, time spent: 5.0s, 3.0% of total-time
Operation ival-tan, time spent: 3.3s, 2.0% of total-time
Operation ival-sqrt, time spent: 3.3s, 2.0% of total-time
Operation const, time spent: 3.1s, 2.0% of total-time
Operation ival-exp, time spent: 2.2s, 1.0% of total-time
Operation ival-atan, time spent: 851.0ms, 1.0% of total-time
Operation ival-neg, time spent: 616.0ms, 0.0% of total-time
Operation composed, time spent: 478.0ms, 0.0% of total-time
Operation ival-asin, time spent: 290.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 251.0ms, 0.0% of total-time
Operation ival-pi, time spent: 192.0ms, 0.0% of total-time
Operation ival->=, time spent: 157.0ms, 0.0% of total-time
Operation ival-acos, time spent: 146.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 95.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 86.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 41.0ms, 0.0% of total-time
Operation ival-floor, time spent: 39.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 28.0ms, 0.0% of total-time
Operation ival-log2, time spent: 20.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 9.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 8.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 8.0ms, 0.0% of total-time
Operation ival-if, time spent: 7.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 7.0ms, 0.0% of total-time
Operation ival-<, time spent: 6.0ms, 0.0% of total-time
Operation ival->, time spent: 6.0ms, 0.0% of total-time

rewrite6.0min (4.9%)

Algorithm
1713×batch-egg-rewrite
Rules
1115377×log1p-expm1-u
837524×expm1-log1p-u
537118×prod-diff
529125×log-prod
435504×unpow-prod-down
Stop Event
1702×node limit
11×unsound
Counts
13657 → 453313

prune5.2min (4.3%)

Counts
1082878 → 35136
Compiler

Compiled 1631198 to 1072465 computations (34.3% saved)

bsearch3.6min (2.9%)

Algorithm
5036×binary-search
559×left-value
Stop Event
101×predicate-same
4935×narrow-enough
Results
1.7min467817×256valid
38.4s110759×256infinite
8.7s13032×512valid
1.8s10682×256invalid
5.7s8973×1024valid
3.3s3616×2048valid
17.5s3573×8192exit
1.1s2191×256unsamplable
1.4s1857×512infinite
2.4s1586×4096valid
217.0ms309×1024infinite
713.0ms168×2048infinite
419.0ms129×4096infinite
20.0ms72×512invalid
27.0ms68×1024invalid
9.0ms19×512unsamplable
Compiler

Compiled 1212293 to 900746 computations (25.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7min
Operation ival-mult, time spent: 31.4s, 31.0% of total-time
Operation ival-pow, time spent: 20.0s, 20.0% of total-time
Operation ival-sub, time spent: 13.6s, 13.0% of total-time
Operation ival-add, time spent: 10.4s, 10.0% of total-time
Operation ival-div, time spent: 9.9s, 10.0% of total-time
Operation ival-sin, time spent: 4.2s, 4.0% of total-time
Operation ival-cos, time spent: 2.8s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.3s, 2.0% of total-time
Operation ival-log, time spent: 1.9s, 2.0% of total-time
Operation const, time spent: 1.6s, 2.0% of total-time
Operation ival-exp, time spent: 976.0ms, 1.0% of total-time
Operation ival-tan, time spent: 916.0ms, 1.0% of total-time
Operation ival-neg, time spent: 611.0ms, 1.0% of total-time
Operation ival-atan, time spent: 492.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 472.0ms, 0.0% of total-time
Operation ival-acos, time spent: 320.0ms, 0.0% of total-time
Operation ival-pi, time spent: 181.0ms, 0.0% of total-time
Operation ival-asin, time spent: 83.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 66.0ms, 0.0% of total-time
Operation composed, time spent: 47.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 37.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 24.0ms, 0.0% of total-time
Operation ival->=, time spent: 12.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 4.0ms, 0.0% of total-time
Operation ival-if, time spent: 3.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 2.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 2.0ms, 0.0% of total-time

analyze2.6min (2.1%)

Algorithm
544×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.4%15.6%0%0%0%0
39.6%33.4%51%15.6%0%0%0%1
45.6%38.2%45.5%15.6%0%0.7%0%2
54.7%44.6%37%15.8%0%2.7%0%3
61.3%49.4%31.2%15.8%0%3.6%0%4
67.5%54.1%26.1%15.8%0%4%0.1%5
71.3%56.9%22.8%15.9%0%4.3%0.1%6
75.2%59.6%19.6%15.9%0%4.8%0.1%7
77.2%60.9%18%15.9%0%5.1%0.1%8
79.8%62.7%15.8%16%0%5.4%0.1%9
81.4%63.7%14.6%16%0%5.6%0.1%10
83.6%65.3%12.8%16%0%5.7%0.1%11
84.7%66%11.9%16%0%5.9%0.2%12
Compiler

Compiled 13437 to 8705 computations (35.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
Operation ival-mult, time spent: 19.6s, 22.0% of total-time
Operation ival-<=, time spent: 12.0s, 14.0% of total-time
Operation ival-div, time spent: 8.5s, 10.0% of total-time
Operation ival-add, time spent: 6.5s, 7.0% of total-time
Operation ival-pow, time spent: 6.3s, 7.0% of total-time
Operation ival-sub, time spent: 5.3s, 6.0% of total-time
Operation ival-sin, time spent: 5.2s, 6.0% of total-time
Operation ival-tan, time spent: 5.1s, 6.0% of total-time
Operation ival-cos, time spent: 5.0s, 6.0% of total-time
Operation ival-sqrt, time spent: 3.1s, 4.0% of total-time
Operation const, time spent: 1.8s, 2.0% of total-time
Operation ival-fabs, time spent: 1.6s, 2.0% of total-time
Operation ival-and, time spent: 1.0s, 1.0% of total-time
Operation ival-log, time spent: 843.0ms, 1.0% of total-time
Operation ival-==, time spent: 696.0ms, 1.0% of total-time
Operation ival-floor, time spent: 659.0ms, 1.0% of total-time
Operation ival-exp, time spent: 645.0ms, 1.0% of total-time
Operation ival-neg, time spent: 487.0ms, 1.0% of total-time
Operation ival-<, time spent: 401.0ms, 0.0% of total-time
Operation ival-pi, time spent: 389.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 379.0ms, 0.0% of total-time
Operation ival->, time spent: 337.0ms, 0.0% of total-time
Operation ival-if, time spent: 329.0ms, 0.0% of total-time
Operation ival-log2, time spent: 219.0ms, 0.0% of total-time
Operation ival-or, time spent: 193.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 188.0ms, 0.0% of total-time
Operation ival-acos, time spent: 125.0ms, 0.0% of total-time
Operation ival-atan, time spent: 115.0ms, 0.0% of total-time
Operation ival-asin, time spent: 90.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 39.0ms, 0.0% of total-time
Operation ival->=, time spent: 28.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 24.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 20.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 16.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:188:8, time spent: 10.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 8.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 3.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 1.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 0.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 0.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time

series2.0min (1.7%)

Counts
13657 → 345509
Calls

84645 calls:

TimeVariablePointExpression
451.0ms
y
@-inf
(log (/ (cbrt x) y))
437.0ms
x
@-inf
(* (sqrt (* x 9)) (+ (/ 1/9 x) (+ y -1)))
423.0ms
a
@-inf
(log (+ 1 (exp (- b a))))
337.0ms
a
@inf
(* (- (pow b 2) (pow a 2)) (sin (* 1/180 (* angle (PI)))))
290.0ms
a
@-inf
(* 3 (log (+ (- (tan (+ y z)) (tan a)) x)))

end267.0ms (0%)

Profiling

Loading profile data...