Herbie run

Date:Thursday, February 15th, 2024
Commit:3a78953a on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024046
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.1min)

sample1.4min (33.1%)

Results
20.9s134756×0valid
37.4s47414×6exit
10.3s18562×1valid
2.3s13737×0invalid
902.0ms4955×0infinite
1.6s3190×4valid
983.0ms2205×3valid
527.0ms1450×2valid
164.0ms1204×0unsamplable
3.0ms2×1infinite
Precisions
Click to see histograms. Total time spent on operations: 47.0s
Operation ival-cos, time spent: 6.8s, 15.0% of total-time
Operation ival-exp, time spent: 6.1s, 13.0% of total-time
Operation ival-fmod, time spent: 6.1s, 13.0% of total-time
Operation ival-sqrt, time spent: 5.4s, 12.0% of total-time
Operation ival-mult, time spent: 4.5s, 10.0% of total-time
Operation ival-pow, time spent: 2.9s, 6.0% of total-time
Operation ival-neg, time spent: 1.8s, 4.0% of total-time
Operation ival-add, time spent: 1.6s, 3.0% of total-time
Operation ival-sub, time spent: 1.5s, 3.0% of total-time
Operation ival-<=, time spent: 1.5s, 3.0% of total-time
Operation ival-sin, time spent: 1.5s, 3.0% of total-time
Operation ival-log, time spent: 1.4s, 3.0% of total-time
Operation ival-div, time spent: 1.3s, 3.0% of total-time
Operation const, time spent: 1.2s, 3.0% of total-time
Operation ival-tan, time spent: 866.0ms, 2.0% of total-time
Operation ival-<, time spent: 718.0ms, 2.0% of total-time
Operation ival-sinh, time spent: 554.0ms, 1.0% of total-time
Operation ival-and, time spent: 329.0ms, 1.0% of total-time
Operation ival->, time spent: 251.0ms, 1.0% of total-time
Operation ival-==, time spent: 216.0ms, 0.0% of total-time
Operation ival-acos, time spent: 162.0ms, 0.0% of total-time
Operation ival-or, time spent: 126.0ms, 0.0% of total-time
Operation ival-atan, time spent: 101.0ms, 0.0% of total-time
Operation ival->=, time spent: 52.0ms, 0.0% of total-time
Bogosity

localize38.2s (15.6%)

Compiler

Compiled 7697 to 3403 computations (55.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 27.5s
Operation ival-pow, time spent: 9.5s, 35.0% of total-time
Operation ival-mult, time spent: 2.7s, 10.0% of total-time
Operation ival-cos, time spent: 2.4s, 9.0% of total-time
Operation ival-exp, time spent: 2.2s, 8.0% of total-time
Operation ival-sub, time spent: 1.7s, 6.0% of total-time
Operation composed, time spent: 1.4s, 5.0% of total-time
Operation ival-add, time spent: 1.2s, 5.0% of total-time
Operation ival-log, time spent: 1.2s, 4.0% of total-time
Operation ival-div, time spent: 904.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 805.0ms, 3.0% of total-time
Operation const, time spent: 657.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 579.0ms, 2.0% of total-time
Operation ival-sin, time spent: 556.0ms, 2.0% of total-time
Operation ival-asin, time spent: 468.0ms, 2.0% of total-time
Operation ival-tan, time spent: 380.0ms, 1.0% of total-time
Operation ival-fmod, time spent: 342.0ms, 1.0% of total-time
Operation ival-acos, time spent: 327.0ms, 1.0% of total-time
Operation ival-neg, time spent: 115.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 15.0ms, 0.0% of total-time
Operation ival-pi, time spent: 13.0ms, 0.0% of total-time
Operation ival-e, time spent: 12.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time
Operation ival-atan, time spent: 3.0ms, 0.0% of total-time

soundness25.4s (10.4%)

Rules
44784×fma-define
34920×associate-*r*
34784×log-prod
33542×fma-neg
26568×associate-*l*
Stop Event
6×saturated
82×node limit
1×unsound
Compiler

Compiled 5837 to 2839 computations (51.4% saved)

eval17.9s (7.3%)

Compiler

Compiled 904955 to 435544 computations (51.9% saved)

simplify17.0s (6.9%)

Algorithm
84×egg-herbie
Rules
50712×fma-define
40054×log-prod
33082×fma-neg
30764×associate-*r*
25824×associate-*l*
Stop Event
20×saturated
59×node limit
10×fuel
5×unsound
10×done
Counts
28663 → 22005
Compiler

Compiled 1516 to 965 computations (36.3% saved)

analyze15.5s (6.3%)

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.5s
Operation ival-<=, time spent: 4.0s, 47.0% of total-time
Operation ival-tan, time spent: 1.2s, 14.0% of total-time
Operation ival-add, time spent: 666.0ms, 8.0% of total-time
Operation ival-cos, time spent: 515.0ms, 6.0% of total-time
Operation ival-==, time spent: 355.0ms, 4.0% of total-time
Operation ival-pow, time spent: 316.0ms, 4.0% of total-time
Operation ival-and, time spent: 313.0ms, 4.0% of total-time
Operation const, time spent: 231.0ms, 3.0% of total-time
Operation ival-sub, time spent: 212.0ms, 2.0% of total-time
Operation ival-or, time spent: 158.0ms, 2.0% of total-time
Operation ival-mult, time spent: 140.0ms, 2.0% of total-time
Operation ival-sin, time spent: 108.0ms, 1.0% of total-time
Operation ival-log, time spent: 97.0ms, 1.0% of total-time
Operation ival-div, time spent: 58.0ms, 1.0% of total-time
Operation ival-exp, time spent: 54.0ms, 1.0% of total-time
Operation ival-fmod, time spent: 40.0ms, 0.0% of total-time
Operation ival-sqrt, 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: 12.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-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

rewrite14.1s (5.7%)

Algorithm
64×batch-egg-rewrite
Rules
42160×log1p-expm1-u
32510×expm1-log1p-u
24816×log-prod
23968×unpow-prod-down
20172×prod-diff
Stop Event
64×node limit
Counts
470 → 20257

prune11.5s (4.7%)

Counts
39806 → 1736
Compiler

Compiled 61166 to 39205 computations (35.9% saved)

regimes9.7s (4%)

Counts
2843 → 143
Calls

53 calls:

1.6s
b
1.4s
x
1.4s
a
1.2s
r
380.0ms
(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
Compiler

Compiled 1584 to 1135 computations (28.3% saved)

preprocess7.4s (3%)

Algorithm
20×egg-herbie
Rules
15490×fma-neg
13456×fma-define
6058×distribute-lft-neg-in
5264×distribute-rgt-neg-in
4554×distribute-lft-in
Stop Event
13×saturated
7×node limit
Compiler

Compiled 7919 to 4340 computations (45.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2s
Operation ival-add, time spent: 166.0ms, 14.0% of total-time
Operation ival-cos, time spent: 165.0ms, 14.0% of total-time
Operation ival-mult, time spent: 165.0ms, 14.0% of total-time
Operation ival-sin, time spent: 140.0ms, 12.0% of total-time
Operation ival-sqrt, time spent: 114.0ms, 10.0% of total-time
Operation ival-sub, time spent: 112.0ms, 9.0% of total-time
Operation ival-pow, time spent: 76.0ms, 6.0% of total-time
Operation ival-exp, time spent: 53.0ms, 4.0% of total-time
Operation const, time spent: 49.0ms, 4.0% of total-time
Operation ival-tan, time spent: 45.0ms, 4.0% of total-time
Operation ival-div, time spent: 31.0ms, 3.0% of total-time
Operation ival-fmod, time spent: 30.0ms, 3.0% of total-time
Operation ival-neg, time spent: 16.0ms, 1.0% of total-time
Operation ival-acos, time spent: 10.0ms, 1.0% of total-time
Operation ival-log, time spent: 8.0ms, 1.0% of total-time
Operation ival-atan, time spent: 6.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 4.0ms, 0.0% of total-time

series5.8s (2.4%)

Counts
470 → 8406
Calls

1959 calls:

TimeVariablePointExpression
180.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
162.0ms
r
@-inf
(log.f64 (pow.f64 (exp.f64 r) (sin.f64 b)))
156.0ms
a
@inf
(/.f64 (log.f64 (pow.f64 (exp.f64 r) (sin.f64 b))) (cos.f64 (+.f64 b a)))
126.0ms
c
@inf
(*.f64 (*.f64 s c) (*.f64 x (*.f64 c (*.f64 s x))))
116.0ms
r
@inf
(log.f64 (pow.f64 (exp.f64 r) (sin.f64 b)))

bsearch1.6s (0.6%)

Algorithm
37×binary-search
9×left-value
Stop Event
4×predicate-same
31×narrow-enough
2×predicate-failed
Results
631.0ms2545×0valid
486.0ms1311×1valid
58.0ms336×0infinite
142.0ms205×6exit
Compiler

Compiled 5997 to 4375 computations (27% saved)

Precisions
Click to see histograms. Total time spent on operations: 759.0ms
Operation ival-div, time spent: 172.0ms, 23.0% of total-time
Operation ival-add, time spent: 109.0ms, 14.0% of total-time
Operation ival-cos, time spent: 100.0ms, 13.0% of total-time
Operation ival-tan, time spent: 77.0ms, 10.0% of total-time
Operation ival-mult, time spent: 54.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 44.0ms, 6.0% of total-time
Operation ival-fmod, time spent: 38.0ms, 5.0% of total-time
Operation ival-sub, time spent: 36.0ms, 5.0% of total-time
Operation ival-pow, time spent: 36.0ms, 5.0% of total-time
Operation ival-exp, time spent: 35.0ms, 5.0% of total-time
Operation ival-sin, time spent: 30.0ms, 4.0% of total-time
Operation const, time spent: 16.0ms, 2.0% of total-time
Operation ival-neg, time spent: 10.0ms, 1.0% of total-time

end2.0ms (0%)

Profiling

Loading profile data...