Herbie run

Date:Wednesday, January 31st, 2024
Commit:84d7cf92 on artem-tuning-128start-20-128-512-1024-2048
Hostname:nightly with Racket 8.11.1
Seed:2024031
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: 3.9min)

sample57.7s (24.5%)

Results
17.7s108286×0valid
14.7s39865×1valid
9.0s13062×5exit
4.1s6906×3valid
884.0ms5056×0infinite
847.0ms4530×0invalid
1.3s3622×2valid
1.5s3103×3invalid
2.0s1385×4valid
161.0ms1271×0unsamplable
335.0ms852×2invalid
9.0ms27×1invalid
Precisions
Click to see histograms. Total time spent on operations: 31.7s
Operation ival-cos, time spent: 4.9s, 15.0% of total-time
Operation ival-exp, time spent: 2.7s, 8.0% of total-time
Operation ival-pow, time spent: 2.6s, 8.0% of total-time
Operation ival-mult, time spent: 2.5s, 8.0% of total-time
Operation ival-sub, time spent: 2.3s, 7.0% of total-time
Operation ival-add, time spent: 2.3s, 7.0% of total-time
Operation ival-sqrt, time spent: 2.2s, 7.0% of total-time
Operation ival-sin, time spent: 1.7s, 5.0% of total-time
Operation ival-<=, time spent: 1.7s, 5.0% of total-time
Operation ival-log, time spent: 1.5s, 5.0% of total-time
Operation ival-div, time spent: 1.5s, 5.0% of total-time
Operation ival-fmod, time spent: 1.4s, 4.0% of total-time
Operation ival-tan, time spent: 1.0s, 3.0% of total-time
Operation const, time spent: 783.0ms, 2.0% of total-time
Operation ival-sinh, time spent: 662.0ms, 2.0% of total-time
Operation ival-neg, time spent: 565.0ms, 2.0% of total-time
Operation ival-<, time spent: 331.0ms, 1.0% of total-time
Operation ival-acos, time spent: 320.0ms, 1.0% of total-time
Operation ival-and, time spent: 266.0ms, 1.0% of total-time
Operation ival-==, time spent: 185.0ms, 1.0% of total-time
Operation ival-or, time spent: 99.0ms, 0.0% of total-time
Operation ival-atan, time spent: 63.0ms, 0.0% of total-time
Operation ival->=, time spent: 53.0ms, 0.0% of total-time
Operation ival->, time spent: 35.0ms, 0.0% of total-time
Bogosity

localize49.3s (20.9%)

Compiler

Compiled 8090 to 4002 computations (50.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 39.4s
Operation ival-pow, time spent: 17.2s, 44.0% of total-time
Operation ival-sub, time spent: 3.0s, 8.0% of total-time
Operation ival-add, time spent: 2.5s, 6.0% of total-time
Operation ival-acos, time spent: 2.5s, 6.0% of total-time
Operation ival-mult, time spent: 2.3s, 6.0% of total-time
Operation ival-sqrt, time spent: 2.0s, 5.0% of total-time
Operation ival-cos, time spent: 2.0s, 5.0% of total-time
Operation ival-asin, time spent: 1.2s, 3.0% of total-time
Operation ival-exp, time spent: 1.2s, 3.0% of total-time
Operation ival-div, time spent: 904.0ms, 2.0% of total-time
Operation ival-log, time spent: 856.0ms, 2.0% of total-time
Operation ival-fmod, time spent: 800.0ms, 2.0% of total-time
Operation const, time spent: 616.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 448.0ms, 1.0% of total-time
Operation ival-sin, time spent: 439.0ms, 1.0% of total-time
Operation ival-tan, time spent: 401.0ms, 1.0% of total-time
Operation ival-log1p, time spent: 253.0ms, 1.0% of total-time
Operation ival-fma, time spent: 236.0ms, 1.0% of total-time
Operation ival-expm1, time spent: 192.0ms, 0.0% of total-time
Operation ival-e, time spent: 169.0ms, 0.0% of total-time
Operation ival-neg, time spent: 149.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 34.0ms, 0.0% of total-time
Operation ival-pi, time spent: 13.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 9.0ms, 0.0% of total-time
Operation ival-atan, time spent: 7.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 3.0ms, 0.0% of total-time

soundness28.7s (12.2%)

Rules
52748×fma-def
35362×log1p-expm1-u
33114×associate-*r*
29310×fma-neg
28835×expm1-log1p-u
Stop Event
5×saturated
97×node limit
4×unsound
Compiler

Compiled 9790 to 5124 computations (47.7% saved)

simplify17.6s (7.5%)

Algorithm
90×egg-herbie
Rules
47874×fma-def
43570×log-prod
36260×associate-*r*
32988×associate-*l*
29078×fma-neg
Stop Event
20×saturated
68×node limit
13×fuel
2×unsound
7×done
Counts
29146 → 21041
Compiler

Compiled 1481 to 996 computations (32.7% saved)

eval16.7s (7.1%)

Compiler

Compiled 768960 to 437051 computations (43.2% saved)

rewrite15.5s (6.6%)

Algorithm
70×batch-egg-rewrite
Rules
41997×log1p-expm1-u
34231×expm1-log1p-u
28142×log-prod
27516×prod-diff
23186×expm1-udef
Stop Event
70×node limit
Counts
517 → 20682

analyze14.5s (6.2%)

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%51.1%20.8%26.3%0%1.6%0.2%7
72%51.6%20.1%26.3%0%1.8%0.2%8
74.2%53%18.4%26.3%0%2%0.2%9
75.7%53.9%17.3%26.3%0%2.2%0.3%10
76.4%54.3%16.8%26.3%0%2.3%0.3%11
77.1%54.8%16.3%26.3%0%2.4%0.3%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.1s
Operation ival-<=, time spent: 4.8s, 48.0% of total-time
Operation ival-tan, time spent: 1.4s, 13.0% of total-time
Operation const, time spent: 1.1s, 11.0% of total-time
Operation ival-add, time spent: 710.0ms, 7.0% of total-time
Operation ival-mult, time spent: 328.0ms, 3.0% of total-time
Operation ival-and, time spent: 310.0ms, 3.0% of total-time
Operation ival-==, time spent: 284.0ms, 3.0% of total-time
Operation ival-sub, time spent: 266.0ms, 3.0% of total-time
Operation ival-pow, time spent: 202.0ms, 2.0% of total-time
Operation ival-cos, time spent: 191.0ms, 2.0% of total-time
Operation ival-or, time spent: 158.0ms, 2.0% of total-time
Operation ival-sin, time spent: 105.0ms, 1.0% of total-time
Operation ival-exp, time spent: 66.0ms, 1.0% of total-time
Operation ival-div, time spent: 45.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 39.0ms, 0.0% of total-time
Operation ival-log, time spent: 34.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 34.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 30.0ms, 0.0% of total-time
Operation ival-neg, time spent: 17.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-<, time spent: 0.0ms, 0.0% of total-time
Operation ival->, time spent: 0.0ms, 0.0% of total-time
Operation ival-acos, time spent: 0.0ms, 0.0% of total-time

regimes12.1s (5.1%)

Counts
2940 → 143
Calls

55 calls:

1.8s
a
1.5s
r
1.5s
b
1.2s
x
918.0ms
(tan.f64 a)
Compiler

Compiled 1626 to 1156 computations (28.9% saved)

prune8.4s (3.6%)

Counts
33449 → 1612
Compiler

Compiled 49785 to 31946 computations (35.8% saved)

preprocess7.8s (3.3%)

Algorithm
20×egg-herbie
Rules
23976×fma-def
6950×fma-neg
6346×distribute-lft-neg-in
5212×div-sub
4916×distribute-rgt-neg-in
Stop Event
12×saturated
8×node limit
Compiler

Compiled 9271 to 5220 computations (43.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
Operation ival-add, time spent: 234.0ms, 14.0% of total-time
Operation ival-cos, time spent: 226.0ms, 13.0% of total-time
Operation ival-mult, time spent: 216.0ms, 13.0% of total-time
Operation ival-sqrt, time spent: 185.0ms, 11.0% of total-time
Operation ival-sub, time spent: 185.0ms, 11.0% of total-time
Operation ival-pow, time spent: 160.0ms, 9.0% of total-time
Operation ival-div, time spent: 105.0ms, 6.0% of total-time
Operation ival-sin, time spent: 101.0ms, 6.0% of total-time
Operation ival-exp, time spent: 84.0ms, 5.0% of total-time
Operation const, time spent: 45.0ms, 3.0% of total-time
Operation ival-tan, time spent: 43.0ms, 3.0% of total-time
Operation ival-fmod, time spent: 40.0ms, 2.0% of total-time
Operation ival-log, time spent: 22.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 21.0ms, 1.0% of total-time
Operation ival-acos, time spent: 17.0ms, 1.0% of total-time
Operation ival-neg, time spent: 14.0ms, 1.0% of total-time
Operation ival-atan, time spent: 5.0ms, 0.0% of total-time

series4.9s (2.1%)

Counts
517 → 8464
Calls

2238 calls:

TimeVariablePointExpression
307.0ms
x
@0
(*.f64 (pow.f64 2 1/8) (*.f64 (pow.f64 2 1/4) x))
181.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
174.0ms
z
@inf
(exp.f64 (log1p.f64 (+.f64 x (+.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))))
122.0ms
x
@inf
(pow.f64 (*.f64 (pow.f64 x 6) 1/216) 1/6)
100.0ms
lo
@inf
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 -1 (+.f64 (/.f64 hi lo) -1))) (+.f64 1 (/.f64 -1 (+.f64 (/.f64 hi lo) -1)))) 1) (+.f64 (+.f64 1 (/.f64 -1 (+.f64 (/.f64 hi lo) -1))) 1))

bsearch2.4s (1%)

Algorithm
38×binary-search
2×left-value
Stop Event
1×predicate-same
37×narrow-enough
Results
1.2s2546×1valid
763.0ms2171×0valid
30.0ms80×2valid
8.0ms19×0infinite
Compiler

Compiled 6439 to 4808 computations (25.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0s
Operation ival-add, time spent: 356.0ms, 35.0% of total-time
Operation ival-cos, time spent: 239.0ms, 23.0% of total-time
Operation ival-tan, time spent: 126.0ms, 12.0% of total-time
Operation ival-sub, time spent: 81.0ms, 8.0% of total-time
Operation ival-mult, time spent: 73.0ms, 7.0% of total-time
Operation ival-sin, time spent: 54.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 33.0ms, 3.0% of total-time
Operation ival-div, time spent: 27.0ms, 3.0% of total-time
Operation const, time spent: 13.0ms, 1.0% of total-time
Operation ival-log, time spent: 9.0ms, 1.0% of total-time
Operation ival-pow, time spent: 6.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 4.0ms, 0.0% of total-time
Operation ival-exp, time spent: 3.0ms, 0.0% of total-time
Operation ival-neg, time spent: 1.0ms, 0.0% of total-time

end2.0ms (0%)

Profiling

Loading profile data...