Herbie run

Date:Wednesday, January 31st, 2024
Commit:fcee7d92 on artem-tuning-64start-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: 4.2min)

localize1.0min (24.2%)

Compiler

Compiled 8273 to 4097 computations (50.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 50.4s
Operation ival-pow, time spent: 26.4s, 52.0% of total-time
Operation ival-sub, time spent: 3.9s, 8.0% of total-time
Operation ival-acos, time spent: 3.0s, 6.0% of total-time
Operation ival-add, time spent: 2.6s, 5.0% of total-time
Operation ival-mult, time spent: 2.5s, 5.0% of total-time
Operation ival-cos, time spent: 1.6s, 3.0% of total-time
Operation ival-exp, time spent: 1.4s, 3.0% of total-time
Operation ival-asin, time spent: 1.4s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.4s, 3.0% of total-time
Operation ival-fmod, time spent: 1.0s, 2.0% of total-time
Operation ival-log, time spent: 897.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 893.0ms, 2.0% of total-time
Operation ival-div, time spent: 741.0ms, 1.0% of total-time
Operation const, time spent: 726.0ms, 1.0% of total-time
Operation ival-tan, time spent: 471.0ms, 1.0% of total-time
Operation ival-sin, time spent: 457.0ms, 1.0% of total-time
Operation ival-e, time spent: 362.0ms, 1.0% of total-time
Operation ival-log1p, time spent: 334.0ms, 1.0% of total-time
Operation ival-fma, time spent: 275.0ms, 1.0% of total-time
Operation ival-expm1, time spent: 89.0ms, 0.0% of total-time
Operation ival-neg, time spent: 55.0ms, 0.0% of total-time
Operation ival-pi, time spent: 14.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 7.0ms, 0.0% of total-time
Operation ival-atan, time spent: 6.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 3.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 3.0ms, 0.0% of total-time

sample58.8s (23.5%)

Results
16.7s104274×0valid
15.6s43098×1valid
9.6s13062×5exit
4.5s7565×3valid
810.0ms5052×0infinite
1.1s4331×0invalid
1.2s3742×2valid
1.6s3103×3invalid
2.2s1385×4valid
158.0ms1273×0unsamplable
272.0ms947×2invalid
27.0ms129×1invalid
1.0ms4×1infinite
Precisions
Click to see histograms. Total time spent on operations: 32.2s
Operation ival-cos, time spent: 4.5s, 14.0% of total-time
Operation ival-exp, time spent: 3.3s, 10.0% of total-time
Operation ival-add, time spent: 2.7s, 9.0% of total-time
Operation ival-sub, time spent: 2.5s, 8.0% of total-time
Operation ival-pow, time spent: 2.5s, 8.0% of total-time
Operation ival-mult, time spent: 2.5s, 8.0% of total-time
Operation ival-sqrt, time spent: 2.1s, 7.0% of total-time
Operation ival-fmod, time spent: 1.6s, 5.0% of total-time
Operation ival-<=, time spent: 1.5s, 5.0% of total-time
Operation ival-sin, time spent: 1.4s, 4.0% of total-time
Operation ival-div, time spent: 1.3s, 4.0% of total-time
Operation ival-log, time spent: 1.3s, 4.0% of total-time
Operation ival-tan, time spent: 1.2s, 4.0% of total-time
Operation ival-sinh, time spent: 1.0s, 3.0% of total-time
Operation const, time spent: 761.0ms, 2.0% of total-time
Operation ival-neg, time spent: 493.0ms, 2.0% of total-time
Operation ival-acos, time spent: 436.0ms, 1.0% of total-time
Operation ival-<, time spent: 293.0ms, 1.0% of total-time
Operation ival-and, time spent: 291.0ms, 1.0% of total-time
Operation ival-==, time spent: 199.0ms, 1.0% of total-time
Operation ival-or, time spent: 107.0ms, 0.0% of total-time
Operation ival-atan, time spent: 63.0ms, 0.0% of total-time
Operation ival->=, time spent: 50.0ms, 0.0% of total-time
Operation ival->, time spent: 33.0ms, 0.0% of total-time
Bogosity

soundness29.1s (11.7%)

Rules
54686×fma-def
37257×log1p-expm1-u
34626×associate-*r*
30796×log-prod
30505×expm1-log1p-u
Stop Event
5×saturated
100×node limit
4×unsound
Compiler

Compiled 9675 to 4924 computations (49.1% saved)

simplify18.3s (7.3%)

Algorithm
90×egg-herbie
Rules
48690×fma-def
43874×log-prod
35454×associate-*r*
32180×associate-*l*
28212×fma-neg
Stop Event
20×saturated
68×node limit
13×fuel
2×unsound
7×done
Counts
28943 → 21240
Compiler

Compiled 1442 to 976 computations (32.3% saved)

eval16.9s (6.8%)

Compiler

Compiled 768417 to 430788 computations (43.9% saved)

rewrite15.7s (6.3%)

Algorithm
70×batch-egg-rewrite
Rules
42655×log1p-expm1-u
33750×expm1-log1p-u
27734×prod-diff
25698×log-prod
22246×expm1-udef
Stop Event
70×node limit
Counts
516 → 20511

analyze14.1s (5.6%)

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: 9.6s
Operation ival-<=, time spent: 3.0s, 32.0% of total-time
Operation ival-tan, time spent: 2.0s, 21.0% of total-time
Operation ival-sub, time spent: 1.1s, 12.0% of total-time
Operation ival-add, time spent: 1.0s, 11.0% of total-time
Operation ival-or, time spent: 388.0ms, 4.0% of total-time
Operation ival-==, time spent: 356.0ms, 4.0% of total-time
Operation ival-and, time spent: 323.0ms, 3.0% of total-time
Operation const, time spent: 234.0ms, 2.0% of total-time
Operation ival-div, time spent: 221.0ms, 2.0% of total-time
Operation ival-pow, time spent: 210.0ms, 2.0% of total-time
Operation ival-cos, time spent: 161.0ms, 2.0% of total-time
Operation ival-mult, time spent: 152.0ms, 2.0% of total-time
Operation ival-sin, time spent: 139.0ms, 1.0% of total-time
Operation ival-exp, time spent: 50.0ms, 1.0% of total-time
Operation ival-fmod, time spent: 37.0ms, 0.0% of total-time
Operation ival-log, time spent: 31.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 31.0ms, 0.0% of total-time
Operation ival-neg, time spent: 17.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 13.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

regimes11.5s (4.6%)

Counts
2925 → 142
Calls

55 calls:

1.6s
a
1.5s
r
1.5s
b
994.0ms
x
726.0ms
(tan.f64 a)
Compiler

Compiled 1625 to 1153 computations (29% saved)

prune9.0s (3.6%)

Counts
33283 → 1602
Compiler

Compiled 49941 to 32147 computations (35.6% saved)

preprocess8.0s (3.2%)

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 9145 to 5134 computations (43.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1s
Operation ival-mult, time spent: 330.0ms, 16.0% of total-time
Operation ival-sub, time spent: 324.0ms, 15.0% of total-time
Operation ival-cos, time spent: 321.0ms, 15.0% of total-time
Operation ival-tan, time spent: 206.0ms, 10.0% of total-time
Operation ival-pow, time spent: 177.0ms, 8.0% of total-time
Operation ival-add, time spent: 168.0ms, 8.0% of total-time
Operation ival-exp, time spent: 150.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 140.0ms, 7.0% of total-time
Operation ival-sin, time spent: 115.0ms, 5.0% of total-time
Operation const, time spent: 43.0ms, 2.0% of total-time
Operation ival-fmod, time spent: 40.0ms, 2.0% of total-time
Operation ival-div, time spent: 32.0ms, 2.0% of total-time
Operation ival-acos, time spent: 24.0ms, 1.0% of total-time
Operation ival-log, time spent: 16.0ms, 1.0% of total-time
Operation ival-neg, time spent: 13.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 6.0ms, 0.0% of total-time
Operation ival-atan, time spent: 4.0ms, 0.0% of total-time

series5.9s (2.4%)

Counts
516 → 8432
Calls

2238 calls:

TimeVariablePointExpression
969.0ms
x
@0
(pow.f64 (*.f64 (pow.f64 x 4) 4) 1/4)
244.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
226.0ms
x
@-inf
(*.f64 (pow.f64 x 1/4) (sqrt.f64 (*.f64 x 2)))
160.0ms
a
@inf
(exp.f64 (log1p.f64 (+.f64 x (+.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))))
141.0ms
z
@-inf
(log.f64 (-.f64 (tan.f64 (+.f64 y z)) (-.f64 (tan.f64 a) x)))

bsearch2.0s (0.8%)

Algorithm
35×binary-search
Stop Event
1×predicate-same
34×narrow-enough
Results
969.0ms2587×1valid
694.0ms1842×0valid
30.0ms80×2valid
2.0ms19×0infinite
Compiler

Compiled 6067 to 4525 computations (25.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 834.0ms
Operation ival-add, time spent: 208.0ms, 25.0% of total-time
Operation ival-cos, time spent: 148.0ms, 18.0% of total-time
Operation ival-tan, time spent: 118.0ms, 14.0% of total-time
Operation ival-div, time spent: 107.0ms, 13.0% of total-time
Operation ival-sub, time spent: 78.0ms, 9.0% of total-time
Operation ival-mult, time spent: 66.0ms, 8.0% of total-time
Operation ival-sin, time spent: 58.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 33.0ms, 4.0% of total-time
Operation const, time spent: 13.0ms, 2.0% of total-time
Operation ival-pow, time spent: 3.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...