Herbie run

Date:Tuesday, February 13th, 2024
Commit:b6334c6f on mix-histograms
Hostname:nightly with Racket 8.11.1
Seed:2024044
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: 27.5min)

sample8.0min (29.2%)

Results
1.4min299261×256valid
42.5s45762×512valid
5.8s28064×256invalid
7.0s27016×256infinite
7.3s25971×256unsamplable
21.8s25276×1024valid
2.7min16433×8192exit
32.1s10828×2048valid
55.2s7501×4096valid
6.4s5901×512infinite
1.3s1700×1024invalid
582.0ms1191×512invalid
1.2s1180×2048invalid
19.8s1081×8192valid
112.0ms896×256precondition
4.1s684×2048infinite
2.6s515×1024infinite
3.8s369×4096infinite
10.0ms10×512unsamplable
2.0ms1×1024unsamplable
Precisions
Click to see histograms. Total time spent on operations: 6.3min
Operation ival-pow, time spent: 2.5min, 40.0% of total-time
Operation ival-sin, time spent: 50.2s, 13.0% of total-time
Operation ival-mult, time spent: 44.0s, 12.0% of total-time
Operation ival-cos, time spent: 36.9s, 10.0% of total-time
Operation ival-div, time spent: 33.2s, 9.0% of total-time
Operation ival-exp, time spent: 11.3s, 3.0% of total-time
Operation ival-add, time spent: 11.0s, 3.0% of total-time
Operation ival-log, time spent: 10.7s, 3.0% of total-time
Operation ival-sub, time spent: 8.1s, 2.0% of total-time
Operation ival-sqrt, time spent: 7.0s, 2.0% of total-time
Operation const, time spent: 3.6s, 1.0% of total-time
Operation ival-neg, time spent: 2.8s, 1.0% of total-time
Operation ival-<, time spent: 2.6s, 1.0% of total-time
Operation ival-atan2, time spent: 2.1s, 1.0% of total-time
Operation ival-atan, time spent: 1.2s, 0.0% of total-time
Operation ival-pi, time spent: 916.0ms, 0.0% of total-time
Operation ival-acos, time spent: 901.0ms, 0.0% of total-time
Operation ival-tan, time spent: 899.0ms, 0.0% of total-time
Operation ival-and, time spent: 518.0ms, 0.0% of total-time
Operation ival-asin, time spent: 399.0ms, 0.0% of total-time
Operation ival-<=, time spent: 315.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 244.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 173.0ms, 0.0% of total-time
Operation ival-==, time spent: 2.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Bogosity

localize6.8min (24.7%)

Results
Compiler

Compiled 81166 to 43620 computations (46.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.6min
Operation ival-sin, time spent: 2.3min, 40.0% of total-time
Operation ival-mult, time spent: 49.7s, 15.0% of total-time
Operation ival-cos, time spent: 35.0s, 10.0% of total-time
Operation ival-pow, time spent: 30.5s, 9.0% of total-time
Operation ival-div, time spent: 22.7s, 7.0% of total-time
Operation composed, time spent: 17.0s, 5.0% of total-time
Operation ival-add, time spent: 10.3s, 3.0% of total-time
Operation ival-sqrt, time spent: 8.9s, 3.0% of total-time
Operation ival-log, time spent: 7.8s, 2.0% of total-time
Operation ival-sub, time spent: 5.2s, 2.0% of total-time
Operation ival-exp, time spent: 4.0s, 1.0% of total-time
Operation const, time spent: 3.8s, 1.0% of total-time
Operation ival-cbrt, time spent: 3.0s, 1.0% of total-time
Operation ival-atan2, time spent: 1.8s, 1.0% of total-time
Operation ival-atan, time spent: 916.0ms, 0.0% of total-time
Operation ival-acos, time spent: 888.0ms, 0.0% of total-time
Operation ival-tan, time spent: 826.0ms, 0.0% of total-time
Operation ival-neg, time spent: 695.0ms, 0.0% of total-time
Operation ival-pi, time spent: 173.0ms, 0.0% of total-time
Operation ival-asin, time spent: 102.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 95.0ms, 0.0% of total-time
Operation ival-e, time spent: 6.0ms, 0.0% of total-time

eval2.5min (9%)

Compiler

Compiled 6539862 to 3859750 computations (41% saved)

soundness2.4min (8.7%)

Rules
273814×fma-define
180410×associate-*r*
164764×fma-neg
153600×log-prod
142878×*-commutative
Stop Event
8×saturated
428×node limit
4×unsound
Results
Compiler

Compiled 51429 to 30260 computations (41.2% saved)

preprocess2.0min (7.1%)

Algorithm
51×egg-herbie
Rules
62806×fma-define
50226×fma-neg
26848×div-sub
24146×sub-neg
22642×distribute-lft-neg-in
Stop Event
9×saturated
42×node limit
Compiler

Compiled 69666 to 41186 computations (40.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3min
Operation ival-sin, time spent: 20.5s, 26.0% of total-time
Operation ival-cos, time spent: 16.5s, 21.0% of total-time
Operation ival-mult, time spent: 13.5s, 17.0% of total-time
Operation ival-div, time spent: 12.1s, 15.0% of total-time
Operation ival-pow, time spent: 7.0s, 9.0% of total-time
Operation ival-sub, time spent: 2.2s, 3.0% of total-time
Operation ival-add, time spent: 2.1s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.7s, 2.0% of total-time
Operation const, time spent: 958.0ms, 1.0% of total-time
Operation ival-log, time spent: 738.0ms, 1.0% of total-time
Operation ival-tan, time spent: 331.0ms, 0.0% of total-time
Operation ival-exp, time spent: 274.0ms, 0.0% of total-time
Operation ival-atan, time spent: 210.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 157.0ms, 0.0% of total-time
Operation ival-neg, time spent: 140.0ms, 0.0% of total-time
Operation ival-pi, time spent: 100.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 75.0ms, 0.0% of total-time
Operation ival-acos, time spent: 68.0ms, 0.0% of total-time
Operation ival-asin, time spent: 37.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 7.0ms, 0.0% of total-time

regimes1.8min (6.5%)

Counts
19236 → 838
Calls

138 calls:

9.1s
phi2
9.0s
phi1
8.8s
lambda2
8.4s
lambda1
5.8s
(-.f64 lambda1 lambda2)
Results
Compiler

Compiled 11680 to 8592 computations (26.4% saved)

simplify1.2min (4.2%)

Algorithm
225×egg-herbie
Rules
136696×fma-define
96942×log-prod
94400×associate-*r*
84418×*-commutative
83094×fma-neg
Stop Event
48×saturated
38×fuel
176×node limit
1×unsound
10×done
Counts
87369 → 71078
Compiler

Compiled 13571 to 9093 computations (33% saved)

prune53.0s (3.2%)

Counts
147518 → 6599
Compiler

Compiled 419289 to 289816 computations (30.9% saved)

analyze40.6s (2.5%)

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 1343 computations (30% saved)

Precisions
Click to see histograms. Total time spent on operations: 29.1s
Operation ival-mult, time spent: 8.0s, 27.0% of total-time
Operation ival-sin, time spent: 5.0s, 17.0% of total-time
Operation ival-div, time spent: 4.5s, 15.0% of total-time
Operation ival-cos, time spent: 4.0s, 14.0% of total-time
Operation ival-pow, time spent: 2.9s, 10.0% of total-time
Operation ival-add, time spent: 947.0ms, 3.0% of total-time
Operation ival-sub, time spent: 870.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 831.0ms, 3.0% of total-time
Operation ival-<, time spent: 413.0ms, 1.0% of total-time
Operation const, time spent: 410.0ms, 1.0% of total-time
Operation ival-neg, time spent: 406.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 225.0ms, 1.0% of total-time
Operation ival-log, time spent: 111.0ms, 0.0% of total-time
Operation ival-pi, time spent: 108.0ms, 0.0% of total-time
Operation ival-tan, time spent: 94.0ms, 0.0% of total-time
Operation ival-exp, time spent: 86.0ms, 0.0% of total-time
Operation ival-asin, time spent: 63.0ms, 0.0% of total-time
Operation ival-acos, time spent: 61.0ms, 0.0% of total-time
Operation ival-atan, time spent: 55.0ms, 0.0% of total-time
Operation ival-and, time spent: 42.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 39.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 33.0ms, 0.0% of total-time
Operation ival-<=, time spent: 3.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Operation ival-==, time spent: 0.0ms, 0.0% of total-time

rewrite39.4s (2.4%)

Algorithm
177×batch-egg-rewrite
Rules
113076×log1p-expm1-u
85770×expm1-log1p-u
46860×log-prod
43910×prod-diff
41460×unpow-prod-down
Stop Event
174×node limit
3×unsound
Counts
1677 → 52293

series21.5s (1.3%)

Counts
1677 → 35076
Calls

9612 calls:

TimeVariablePointExpression
343.0ms
x
@-inf
(log.f64 (/.f64 2 x))
236.0ms
c
@-inf
(/.f64 (-.f64 (+.f64 b (*.f64 -3/2 (/.f64 (*.f64 a c) b))) b) (*.f64 3 a))
149.0ms
b
@inf
(*.f64 (/.f64 (pow.f64 (*.f64 a c) 4) a) (/.f64 20 (pow.f64 b 7)))
142.0ms
lambda2
@-inf
(log1p.f64 (cos.f64 (-.f64 lambda2 lambda1)))
138.0ms
lambda1
@-inf
(log1p.f64 (cos.f64 (-.f64 lambda2 lambda1)))

bsearch20.4s (1.2%)

Algorithm
277×binary-search
71×left-value
Stop Event
8×predicate-same
269×narrow-enough
Results
6.8s25168×256valid
5.1s5384×512valid
812.0ms2712×256invalid
1.6s1271×2048valid
1.2s1136×4096valid
413.0ms988×256infinite
548.0ms782×1024valid
841.0ms311×512infinite
265.0ms254×1024invalid
85.0ms172×512invalid
110.0ms125×2048invalid
Compiler

Compiled 81655 to 60949 computations (25.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.1s
Operation ival-mult, time spent: 2.4s, 20.0% of total-time
Operation ival-cos, time spent: 1.9s, 16.0% of total-time
Operation ival-sin, time spent: 1.5s, 12.0% of total-time
Operation ival-sub, time spent: 1.2s, 10.0% of total-time
Operation ival-div, time spent: 1.2s, 10.0% of total-time
Operation ival-pow, time spent: 1.2s, 10.0% of total-time
Operation ival-sqrt, time spent: 651.0ms, 5.0% of total-time
Operation ival-add, time spent: 531.0ms, 4.0% of total-time
Operation ival-atan, time spent: 445.0ms, 4.0% of total-time
Operation ival-acos, time spent: 224.0ms, 2.0% of total-time
Operation ival-atan2, time spent: 211.0ms, 2.0% of total-time
Operation const, time spent: 177.0ms, 1.0% of total-time
Operation ival-pi, time spent: 148.0ms, 1.0% of total-time
Operation ival-log, time spent: 105.0ms, 1.0% of total-time
Operation ival-neg, time spent: 95.0ms, 1.0% of total-time
Operation ival-exp, time spent: 57.0ms, 0.0% of total-time
Operation ival-asin, time spent: 25.0ms, 0.0% of total-time
Operation ival-tan, time spent: 22.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 3.0ms, 0.0% of total-time

end24.0ms (0%)

Profiling

Loading profile data...