Herbie run

Date:Friday, March 15th, 2024
Commit:099d23a3 on artem-minus-and-trig-tuning
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.6min)

sample1.4min (30.6%)

Results
16.8s111894×0valid
15.4s48172×1valid
34.3s45216×5exit
2.2s13538×0invalid
713.0ms5048×0infinite
172.0ms1421×0unsamplable
2.0ms6×1infinite
Precisions
Click to see histograms. Total time spent on operations: 43.8s
Operation ival-fmod, time spent: 5.4s, 12.0% of total-time
Operation backward-pass, time spent: 5.4s, 12.0% of total-time
Operation ival-cos, time spent: 5.2s, 12.0% of total-time
Operation ival-exp, time spent: 4.9s, 11.0% of total-time
Operation ival-mult, time spent: 4.2s, 10.0% of total-time
Operation ival-pow, time spent: 3.0s, 7.0% of total-time
Operation ival-sqrt, time spent: 3.0s, 7.0% of total-time
Operation ival-<=, time spent: 1.9s, 4.0% of total-time
Operation ival-neg, time spent: 1.7s, 4.0% of total-time
Operation ival-log, time spent: 1.4s, 3.0% of total-time
Operation ival-sin, time spent: 1.3s, 3.0% of total-time
Operation ival-div, time spent: 1.2s, 3.0% of total-time
Operation ival-add, time spent: 942.0ms, 2.0% of total-time
Operation ival-sinh, time spent: 853.0ms, 2.0% of total-time
Operation ival-tan, time spent: 848.0ms, 2.0% of total-time
Operation ival-sub, time spent: 767.0ms, 2.0% of total-time
Operation const, time spent: 628.0ms, 1.0% of total-time
Operation ival-acos, time spent: 404.0ms, 1.0% of total-time
Operation ival-==, time spent: 252.0ms, 1.0% of total-time
Operation ival-and, time spent: 206.0ms, 0.0% of total-time
Operation ival-<, time spent: 188.0ms, 0.0% of total-time
Operation ival-or, time spent: 87.0ms, 0.0% of total-time
Operation ival-atan, time spent: 54.0ms, 0.0% of total-time
Operation ival->=, time spent: 45.0ms, 0.0% of total-time
Operation ival->, time spent: 34.0ms, 0.0% of total-time
Bogosity

localize53.0s (19.1%)

Compiler

Compiled 9892 to 5137 computations (48.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 35.1s
Operation ival-pow, time spent: 9.9s, 28.0% of total-time
Operation ival-sub, time spent: 4.8s, 14.0% of total-time
Operation ival-mult, time spent: 3.6s, 10.0% of total-time
Operation ival-log, time spent: 3.0s, 9.0% of total-time
Operation ival-asin, time spent: 2.1s, 6.0% of total-time
Operation composed, time spent: 1.6s, 4.0% of total-time
Operation ival-cos, time spent: 1.5s, 4.0% of total-time
Operation ival-add, time spent: 1.4s, 4.0% of total-time
Operation ival-exp, time spent: 1.3s, 4.0% of total-time
Operation ival-div, time spent: 1.1s, 3.0% of total-time
Operation ival-acos, time spent: 1.0s, 3.0% of total-time
Operation ival-sqrt, time spent: 965.0ms, 3.0% of total-time
Operation ival-sin, time spent: 673.0ms, 2.0% of total-time
Operation ival-fmod, time spent: 645.0ms, 2.0% of total-time
Operation const, time spent: 563.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 396.0ms, 1.0% of total-time
Operation ival-tan, time spent: 256.0ms, 1.0% of total-time
Operation ival-neg, time spent: 177.0ms, 1.0% of total-time
Operation ival-e, time spent: 110.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 93.0ms, 0.0% of total-time
Operation ival-pi, time spent: 19.0ms, 0.0% of total-time
Operation ival-atan, time spent: 11.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 6.0ms, 0.0% of total-time

soundness27.9s (10.1%)

Rules
20090×log1p-expm1-u
18159×fma-define
16649×expm1-log1p-u
14752×associate-*r*
11884×fma-neg
Stop Event
6×saturated
67×node limit
3×unsound
Compiler

Compiled 9773 to 5459 computations (44.1% saved)

analyze23.6s (8.5%)

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: 16.4s
Operation ival-<=, time spent: 9.2s, 56.0% of total-time
Operation ival-tan, time spent: 4.2s, 26.0% of total-time
Operation ival-add, time spent: 909.0ms, 6.0% of total-time
Operation ival-and, time spent: 310.0ms, 2.0% of total-time
Operation ival-mult, time spent: 307.0ms, 2.0% of total-time
Operation ival-==, time spent: 292.0ms, 2.0% of total-time
Operation const, time spent: 219.0ms, 1.0% of total-time
Operation ival-sub, time spent: 209.0ms, 1.0% of total-time
Operation ival-or, time spent: 154.0ms, 1.0% of total-time
Operation ival-pow, time spent: 112.0ms, 1.0% of total-time
Operation ival-sin, time spent: 103.0ms, 1.0% of total-time
Operation ival-cos, time spent: 85.0ms, 1.0% of total-time
Operation ival-fmod, time spent: 68.0ms, 0.0% of total-time
Operation ival-exp, time spent: 54.0ms, 0.0% of total-time
Operation ival-div, time spent: 47.0ms, 0.0% of total-time
Operation ival-log, time spent: 22.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 18.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-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

eval19.6s (7.1%)

Compiler

Compiled 852410 to 502337 computations (41.1% saved)

simplify17.7s (6.4%)

Algorithm
85×egg-herbie
Rules
24261×fma-define
17157×associate-*r*
16912×distribute-lft-in
15333×fma-neg
15075×associate-*l*
Stop Event
20×saturated
59×node limit
14×fuel
6×unsound
6×done
Counts
29094 → 23633
Compiler

Compiled 1629 to 1158 computations (28.9% saved)

regimes13.3s (4.8%)

Counts
3864 → 147
Calls

55 calls:

2.1s
a
1.8s
b
1.5s
x
1.3s
r
801.0ms
(+.f64 y z)
Compiler

Compiled 1789 to 1259 computations (29.6% saved)

rewrite13.2s (4.8%)

Algorithm
65×batch-egg-rewrite
Rules
35491×log1p-expm1-u
29310×expm1-log1p-u
15003×pow1
13751×add-exp-log
13484×add-log-exp
Stop Event
64×node limit
1×unsound
Counts
542 → 19238

prune9.6s (3.5%)

Counts
38059 → 1910
Compiler

Compiled 65794 to 42831 computations (34.9% saved)

preprocess7.2s (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 8727 to 5550 computations (36.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
Operation ival-cos, time spent: 672.0ms, 36.0% of total-time
Operation ival-mult, time spent: 176.0ms, 9.0% of total-time
Operation ival-log, time spent: 173.0ms, 9.0% of total-time
Operation ival-tan, time spent: 123.0ms, 7.0% of total-time
Operation ival-sin, time spent: 111.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 109.0ms, 6.0% of total-time
Operation ival-pow, time spent: 101.0ms, 5.0% of total-time
Operation ival-sinh, time spent: 66.0ms, 4.0% of total-time
Operation ival-add, time spent: 61.0ms, 3.0% of total-time
Operation ival-sub, time spent: 59.0ms, 3.0% of total-time
Operation ival-div, time spent: 50.0ms, 3.0% of total-time
Operation ival-exp, time spent: 45.0ms, 2.0% of total-time
Operation ival-fmod, time spent: 44.0ms, 2.0% of total-time
Operation ival-acos, time spent: 36.0ms, 2.0% of total-time
Operation const, time spent: 28.0ms, 1.0% of total-time
Operation ival-neg, time spent: 14.0ms, 1.0% of total-time
Operation ival-atan, time spent: 4.0ms, 0.0% of total-time

series6.0s (2.2%)

Counts
542 → 9856
Calls

2343 calls:

TimeVariablePointExpression
502.0ms
x
@inf
(log (sqrt (/ x (sinh x))))
324.0ms
w
@inf
(exp (- (* (neg (exp w)) (neg (log l))) w))
287.0ms
a
@-inf
(log (- (tan (+ y z)) (- (tan a) x)))
167.0ms
w
@inf
(/ (pow (pow l (exp (* w 1/2))) (exp (* w 1/2))) (exp w))
155.0ms
a
@inf
(log (- (tan (+ y z)) (- (tan a) x)))

bsearch1.1s (0.4%)

Algorithm
30×binary-search
2×left-value
Stop Event
29×narrow-enough
1×predicate-failed
Results
496.0ms2288×0valid
409.0ms1346×1valid
59.0ms414×0infinite
66.0ms101×5exit
10.0ms85×0unsamplable
Compiler

Compiled 4860 to 3551 computations (26.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 564.0ms
Operation ival-cos, time spent: 112.0ms, 20.0% of total-time
Operation ival-mult, time spent: 104.0ms, 18.0% of total-time
Operation ival-exp, time spent: 86.0ms, 15.0% of total-time
Operation ival-sin, time spent: 79.0ms, 14.0% of total-time
Operation ival-pow, time spent: 55.0ms, 10.0% of total-time
Operation backward-pass, time spent: 37.0ms, 7.0% of total-time
Operation ival-div, time spent: 28.0ms, 5.0% of total-time
Operation ival-add, time spent: 26.0ms, 5.0% of total-time
Operation ival-fmod, time spent: 17.0ms, 3.0% of total-time
Operation ival-neg, time spent: 11.0ms, 2.0% of total-time
Operation const, time spent: 6.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 5.0ms, 1.0% of total-time

end2.0ms (0%)

Profiling

Loading profile data...