Herbie run

Date:Thursday, February 8th, 2024
Commit:0d7eae16 on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024039
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.7min)

localize1.1min (39.9%)

Compiler

Compiled 5398 to 2010 computations (62.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 52.4s
Operation ival-pow, time spent: 7.5s, 14.0% of total-time
Operation ival-tan, time spent: 7.2s, 14.0% of total-time
Operation ival-cos, time spent: 7.0s, 13.0% of total-time
Operation ival-sin, time spent: 6.4s, 12.0% of total-time
Operation ival-add, time spent: 4.7s, 9.0% of total-time
Operation ival-mult, time spent: 4.1s, 8.0% of total-time
Operation ival-sub, time spent: 3.0s, 6.0% of total-time
Operation ival-div, time spent: 2.4s, 5.0% of total-time
Operation ival-log, time spent: 2.4s, 5.0% of total-time
Operation ival-exp, time spent: 2.4s, 5.0% of total-time
Operation ival-log1p, time spent: 914.0ms, 2.0% of total-time
Operation const, time spent: 822.0ms, 2.0% of total-time
Operation ival-expm1, time spent: 682.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 661.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 545.0ms, 1.0% of total-time
Operation ival-fma, time spent: 525.0ms, 1.0% of total-time
Operation ival-fmod, time spent: 333.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 269.0ms, 1.0% of total-time
Operation ival-neg, time spent: 135.0ms, 0.0% of total-time
Operation ival-atan, time spent: 123.0ms, 0.0% of total-time
Operation ival-e, time spent: 77.0ms, 0.0% of total-time
Operation ival-acos, time spent: 25.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 24.0ms, 0.0% of total-time

sample58.3s (35.8%)

Results
18.5s129193×0valid
9.3s20790×1valid
18.5s17392×6exit
1.6s4964×2valid
814.0ms4943×0infinite
570.0ms3921×0invalid
2.6s3756×3valid
2.4s1474×4valid
142.0ms1157×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 35.7s
Operation ival-exp, time spent: 7.9s, 22.0% of total-time
Operation ival-cos, time spent: 5.8s, 16.0% of total-time
Operation ival-pow, time spent: 2.5s, 7.0% of total-time
Operation ival-add, time spent: 2.5s, 7.0% of total-time
Operation ival-mult, time spent: 2.4s, 7.0% of total-time
Operation ival-sqrt, time spent: 1.9s, 5.0% of total-time
Operation ival-sub, time spent: 1.8s, 5.0% of total-time
Operation ival-sin, time spent: 1.7s, 5.0% of total-time
Operation ival-<=, time spent: 1.3s, 4.0% of total-time
Operation ival-tan, time spent: 1.2s, 3.0% of total-time
Operation ival-neg, time spent: 1.1s, 3.0% of total-time
Operation ival-div, time spent: 1.1s, 3.0% of total-time
Operation ival-log, time spent: 892.0ms, 3.0% of total-time
Operation ival-fmod, time spent: 839.0ms, 2.0% of total-time
Operation const, time spent: 704.0ms, 2.0% of total-time
Operation ival-sinh, time spent: 687.0ms, 2.0% of total-time
Operation ival-<, time spent: 314.0ms, 1.0% of total-time
Operation ival-==, time spent: 270.0ms, 1.0% of total-time
Operation ival-and, time spent: 246.0ms, 1.0% of total-time
Operation ival-acos, time spent: 132.0ms, 0.0% of total-time
Operation ival->, time spent: 129.0ms, 0.0% of total-time
Operation ival-or, time spent: 100.0ms, 0.0% of total-time
Operation ival-atan, time spent: 57.0ms, 0.0% of total-time
Operation ival->=, time spent: 48.0ms, 0.0% of total-time
Bogosity

analyze11.5s (7.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
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.6%53.9%17.4%26.3%0%2.1%0.3%10
76.3%54.3%16.8%26.3%0%2.3%0.3%11
77%54.8%16.3%26.3%0%2.3%0.3%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.2s
Operation ival-<=, time spent: 4.2s, 51.0% of total-time
Operation ival-tan, time spent: 1.5s, 18.0% of total-time
Operation ival-add, time spent: 609.0ms, 7.0% of total-time
Operation ival-==, time spent: 355.0ms, 4.0% of total-time
Operation ival-and, time spent: 305.0ms, 4.0% of total-time
Operation ival-sub, time spent: 236.0ms, 3.0% of total-time
Operation const, time spent: 230.0ms, 3.0% of total-time
Operation ival-or, time spent: 157.0ms, 2.0% of total-time
Operation ival-cos, time spent: 118.0ms, 1.0% of total-time
Operation ival-mult, time spent: 116.0ms, 1.0% of total-time
Operation ival-sin, time spent: 104.0ms, 1.0% of total-time
Operation ival-pow, time spent: 94.0ms, 1.0% of total-time
Operation ival-exp, time spent: 57.0ms, 1.0% of total-time
Operation ival-div, time spent: 45.0ms, 1.0% of total-time
Operation ival-fmod, time spent: 39.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 35.0ms, 0.0% of total-time
Operation ival-log, time spent: 31.0ms, 0.0% of total-time
Operation ival-neg, time spent: 18.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 13.0ms, 0.0% of total-time
Operation ival->=, time spent: 2.0ms, 0.0% of total-time
Operation ival-atan, 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

preprocess10.7s (6.6%)

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 4691 to 2816 computations (40% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.1s
Operation ival-mult, time spent: 1.3s, 26.0% of total-time
Operation ival-cos, time spent: 940.0ms, 18.0% of total-time
Operation ival-pow, time spent: 679.0ms, 13.0% of total-time
Operation ival-add, time spent: 594.0ms, 12.0% of total-time
Operation ival-sub, time spent: 528.0ms, 10.0% of total-time
Operation ival-sqrt, time spent: 455.0ms, 9.0% of total-time
Operation const, time spent: 148.0ms, 3.0% of total-time
Operation ival-exp, time spent: 95.0ms, 2.0% of total-time
Operation ival-sin, time spent: 71.0ms, 1.0% of total-time
Operation ival-div, time spent: 53.0ms, 1.0% of total-time
Operation ival-acos, time spent: 53.0ms, 1.0% of total-time
Operation ival-tan, time spent: 48.0ms, 1.0% of total-time
Operation ival-fmod, time spent: 40.0ms, 1.0% of total-time
Operation ival-neg, time spent: 25.0ms, 0.0% of total-time
Operation ival-log, time spent: 6.0ms, 0.0% of total-time
Operation ival-atan, time spent: 3.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 3.0ms, 0.0% of total-time

soundness6.9s (4.2%)

Rules
24844×fma-def
12826×fma-neg
9268×log1p-expm1-u
8626×expm1-log1p-u
8506×times-frac
Stop Event
4×saturated
24×node limit
2×unsound
Compiler

Compiled 2027 to 703 computations (65.3% saved)

rewrite2.9s (1.8%)

Algorithm
16×batch-egg-rewrite
Rules
10459×log1p-expm1-u
10138×expm1-log1p-u
9936×prod-diff
7984×log-prod
6718×unpow-prod-down
Stop Event
16×node limit
Counts
27 → 1797

simplify2.1s (1.3%)

Algorithm
36×egg-herbie
Rules
11228×fma-def
8064×distribute-lft-in
8056×fma-neg
7874×unswap-sqr
7704×distribute-rgt-in
Stop Event
20×saturated
4×fuel
15×node limit
1×unsound
16×done
Counts
2254 → 2908
Compiler

Compiled 586 to 402 computations (31.4% saved)

prune2.0s (1.3%)

Counts
3391 → 639
Compiler

Compiled 20082 to 12732 computations (36.6% saved)

regimes1.6s (1%)

Counts
384 → 59
Calls

46 calls:

288.0ms
x
264.0ms
a
244.0ms
b
67.0ms
y
64.0ms
(+.f64 y z)
Compiler

Compiled 956 to 662 computations (30.8% saved)

eval1.3s (0.8%)

Compiler

Compiled 65501 to 29098 computations (55.6% saved)

bsearch300.0ms (0.2%)

Algorithm
2×left-value
8×binary-search
Stop Event
8×narrow-enough
Results
84.0ms556×0valid
192.0ms500×1valid
Compiler

Compiled 1448 to 1041 computations (28.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 169.0ms
Operation ival-cos, time spent: 68.0ms, 40.0% of total-time
Operation ival-add, time spent: 33.0ms, 20.0% of total-time
Operation ival-tan, time spent: 22.0ms, 13.0% of total-time
Operation ival-sin, time spent: 18.0ms, 11.0% of total-time
Operation ival-mult, time spent: 10.0ms, 6.0% of total-time
Operation ival-div, time spent: 9.0ms, 5.0% of total-time
Operation ival-sub, time spent: 8.0ms, 5.0% of total-time
Operation const, time spent: 2.0ms, 1.0% of total-time

series237.0ms (0.1%)

Counts
27 → 457
Calls

132 calls:

TimeVariablePointExpression
31.0ms
x
@inf
(log.f64 (/.f64 (sinh.f64 x) x))
30.0ms
l
@0
(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
28.0ms
x
@-inf
(log.f64 (/.f64 (sinh.f64 x) x))
23.0ms
l
@-inf
(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
18.0ms
w
@inf
(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))

end1.0ms (0%)

Profiling

Loading profile data...