Herbie run

Date:Friday, March 15th, 2024
Commit:780c4768 on zane-regimes-inverted
Hostname:nightly with Racket 8.11.1
Seed:2024075
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.8min)

sample1.4min (29.2%)

Results
22.3s116297×256valid
8.4s22992×512valid
31.6s16394×8192exit
6.0s16009×1024valid
1.2s5048×256infinite
4.2s4768×2048valid
548.0ms3894×256invalid
397.0ms1421×256unsamplable
2.0ms6×512infinite
Precisions
Click to see histograms. Total time spent on operations: 49.4s
Operation ival-pow, time spent: 14.5s, 29.0% of total-time
Operation ival-exp, time spent: 8.2s, 17.0% of total-time
Operation ival-log, time spent: 5.7s, 12.0% of total-time
Operation ival-cos, time spent: 3.7s, 7.0% of total-time
Operation ival-mult, time spent: 3.6s, 7.0% of total-time
Operation ival-sinh, time spent: 1.8s, 4.0% of total-time
Operation ival-div, time spent: 1.6s, 3.0% of total-time
Operation ival-<=, time spent: 1.4s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.3s, 3.0% of total-time
Operation ival-sin, time spent: 1.3s, 3.0% of total-time
Operation ival-tan, time spent: 1.1s, 2.0% of total-time
Operation ival-sub, time spent: 868.0ms, 2.0% of total-time
Operation ival-fmod, time spent: 821.0ms, 2.0% of total-time
Operation ival-add, time spent: 801.0ms, 2.0% of total-time
Operation ival-acos, time spent: 655.0ms, 1.0% of total-time
Operation ival-neg, time spent: 559.0ms, 1.0% of total-time
Operation const, time spent: 559.0ms, 1.0% of total-time
Operation ival-and, time spent: 228.0ms, 0.0% of total-time
Operation ival-<, time spent: 190.0ms, 0.0% of total-time
Operation ival-==, time spent: 178.0ms, 0.0% of total-time
Operation ival-or, time spent: 85.0ms, 0.0% of total-time
Operation ival-atan, time spent: 67.0ms, 0.0% of total-time
Operation ival->=, time spent: 49.0ms, 0.0% of total-time
Operation ival->, time spent: 43.0ms, 0.0% of total-time
Bogosity

localize1.1min (23.2%)

Compiler

Compiled 10123 to 5206 computations (48.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 51.8s
Operation ival-pow, time spent: 10.5s, 20.0% of total-time
Operation ival-mult, time spent: 8.5s, 17.0% of total-time
Operation ival-add, time spent: 5.0s, 10.0% of total-time
Operation ival-asin, time spent: 4.7s, 9.0% of total-time
Operation ival-log, time spent: 4.0s, 8.0% of total-time
Operation ival-sub, time spent: 3.4s, 7.0% of total-time
Operation ival-exp, time spent: 2.4s, 5.0% of total-time
Operation ival-cos, time spent: 2.1s, 4.0% of total-time
Operation ival-acos, time spent: 1.7s, 3.0% of total-time
Operation composed, time spent: 1.6s, 3.0% of total-time
Operation ival-fmod, time spent: 1.5s, 3.0% of total-time
Operation ival-sin, time spent: 1.3s, 2.0% of total-time
Operation ival-div, time spent: 1.3s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 2.0% of total-time
Operation const, time spent: 698.0ms, 1.0% of total-time
Operation ival-e, time spent: 573.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 488.0ms, 1.0% of total-time
Operation ival-tan, time spent: 482.0ms, 1.0% of total-time
Operation ival-neg, time spent: 222.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 92.0ms, 0.0% of total-time
Operation ival-atan, time spent: 69.0ms, 0.0% of total-time
Operation ival-pi, time spent: 17.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 2.0ms, 0.0% of total-time

soundness27.6s (9.6%)

Rules
20645×log1p-expm1-u
17661×fma-define
17070×expm1-log1p-u
13924×associate-*r*
12342×fma-neg
Stop Event
6×saturated
68×node limit
3×unsound
Compiler

Compiled 11065 to 5783 computations (47.7% saved)

analyze25.8s (9%)

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.1%51.1%20.8%26.3%0%1.6%0.2%7
72.1%51.6%20%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.8%53.9%17.2%26.3%0%2.1%0.5%10
76.6%54.3%16.6%26.3%0%2.3%0.5%11
77.3%54.8%16.1%26.3%0%2.3%0.5%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.4s
Operation ival-tan, time spent: 5.1s, 35.0% of total-time
Operation ival-<=, time spent: 4.6s, 32.0% of total-time
Operation ival-add, time spent: 1.9s, 13.0% of total-time
Operation ival-sub, time spent: 469.0ms, 3.0% of total-time
Operation ival-==, time spent: 457.0ms, 3.0% of total-time
Operation ival-and, time spent: 413.0ms, 3.0% of total-time
Operation const, time spent: 311.0ms, 2.0% of total-time
Operation ival-or, time spent: 199.0ms, 1.0% of total-time
Operation ival-sin, time spent: 174.0ms, 1.0% of total-time
Operation ival-mult, time spent: 148.0ms, 1.0% of total-time
Operation ival-cos, time spent: 118.0ms, 1.0% of total-time
Operation ival-div, time spent: 113.0ms, 1.0% of total-time
Operation ival-pow, time spent: 113.0ms, 1.0% of total-time
Operation ival-exp, time spent: 83.0ms, 1.0% of total-time
Operation ival-fmod, time spent: 42.0ms, 0.0% of total-time
Operation ival-log, time spent: 26.0ms, 0.0% of total-time
Operation ival-neg, time spent: 22.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 20.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 13.0ms, 0.0% of total-time
Operation ival-<, time spent: 5.0ms, 0.0% of total-time
Operation ival->, time spent: 3.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

eval19.5s (6.8%)

Compiler

Compiled 889459 to 524820 computations (41% saved)

simplify17.8s (6.2%)

Algorithm
85×egg-herbie
Rules
23188×fma-define
17089×distribute-lft-in
16041×associate-*r*
15659×fma-neg
15022×*-commutative
Stop Event
20×saturated
59×node limit
14×fuel
6×unsound
6×done
Counts
29173 → 23972
Compiler

Compiled 1621 to 1137 computations (29.9% saved)

rewrite13.4s (4.7%)

Algorithm
65×batch-egg-rewrite
Rules
36199×log1p-expm1-u
29341×expm1-log1p-u
15377×pow1
13692×add-exp-log
13421×add-log-exp
Stop Event
64×node limit
1×unsound
Counts
535 → 19373

prune10.9s (3.8%)

Counts
39077 → 1920
Compiler

Compiled 68837 to 43856 computations (36.3% saved)

preprocess7.3s (2.6%)

Algorithm
20×egg-herbie
Rules
5179×fma-neg
5054×fma-define
1625×distribute-rgt-in
1605×unsub-neg
1581×distribute-lft-in
Stop Event
18×saturated
2×node limit
Compiler

Compiled 8561 to 5374 computations (37.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
Operation ival-pow, time spent: 333.0ms, 20.0% of total-time
Operation ival-cos, time spent: 279.0ms, 17.0% of total-time
Operation ival-log, time spent: 157.0ms, 10.0% of total-time
Operation ival-mult, time spent: 149.0ms, 9.0% of total-time
Operation ival-sub, time spent: 140.0ms, 8.0% of total-time
Operation ival-sqrt, time spent: 92.0ms, 6.0% of total-time
Operation ival-sin, time spent: 79.0ms, 5.0% of total-time
Operation ival-add, time spent: 70.0ms, 4.0% of total-time
Operation ival-exp, time spent: 64.0ms, 4.0% of total-time
Operation ival-tan, time spent: 58.0ms, 4.0% of total-time
Operation ival-sinh, time spent: 57.0ms, 3.0% of total-time
Operation ival-div, time spent: 52.0ms, 3.0% of total-time
Operation ival-acos, time spent: 37.0ms, 2.0% of total-time
Operation ival-fmod, time spent: 33.0ms, 2.0% of total-time
Operation const, time spent: 33.0ms, 2.0% of total-time
Operation ival-neg, time spent: 11.0ms, 1.0% of total-time
Operation ival-atan, time spent: 4.0ms, 0.0% of total-time

regimes6.9s (2.4%)

Counts
3606 → 152
Calls

55 calls:

1.1s
a
810.0ms
r
805.0ms
b
587.0ms
x
463.0ms
(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
Compiler

Compiled 1824 to 1290 computations (29.3% saved)

series5.4s (1.9%)

Counts
535 → 9800
Calls

2331 calls:

TimeVariablePointExpression
149.0ms
c
@-inf
(pow (* c (* s x)) 2)
141.0ms
y
@0
(* (tan y) (tan z))
137.0ms
x
@-inf
(/ 1 (* s x))
116.0ms
w
@inf
(/ (pow (pow l (exp (* w 1/2))) (exp (* w 1/2))) (exp w))
86.0ms
x
@0
(* (pow 2 1/4) x)

bsearch1.4s (0.5%)

Algorithm
32×binary-search
4×left-value
Stop Event
32×narrow-enough
Results
660.0ms2752×256valid
576.0ms1282×512valid
60.0ms414×256infinite
11.0ms85×256unsamplable
Compiler

Compiled 5467 to 4009 computations (26.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 860.0ms
Operation ival-add, time spent: 262.0ms, 30.0% of total-time
Operation ival-mult, time spent: 221.0ms, 26.0% of total-time
Operation ival-cos, time spent: 114.0ms, 13.0% of total-time
Operation ival-sin, time spent: 86.0ms, 10.0% of total-time
Operation ival-pow, time spent: 62.0ms, 7.0% of total-time
Operation ival-tan, time spent: 34.0ms, 4.0% of total-time
Operation ival-exp, time spent: 32.0ms, 4.0% of total-time
Operation ival-div, time spent: 28.0ms, 3.0% of total-time
Operation ival-neg, time spent: 11.0ms, 1.0% of total-time
Operation const, time spent: 6.0ms, 1.0% of total-time
Operation ival-sub, time spent: 3.0ms, 0.0% of total-time

end2.0ms (0%)

Profiling

Loading profile data...