Herbie run

Date:Saturday, March 16th, 2024
Commit:c82a51c3 on always-compact
Hostname:nightly with Racket 8.11.1
Seed:2024076
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: 11.2min)

sample5.0min (44.7%)

Results
53.6s140186×256precondition
25.5s95103×256valid
45.5s58814×1024valid
1.2min36131×2048valid
15.2s34455×512valid
54.9s7110×8192exit
1.6s4343×256infinite
1.2s4289×256unsamplable
1.1s3972×256invalid
2.2s2017×4096valid
183.0ms197×512infinite
477.0ms108×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 3.4min
Operation ival-pow, time spent: 52.1s, 25.0% of total-time
Operation ival-tan, time spent: 21.4s, 10.0% of total-time
Operation ival-exp, time spent: 20.1s, 10.0% of total-time
Operation ival-mult, time spent: 17.2s, 8.0% of total-time
Operation ival-sub, time spent: 14.2s, 7.0% of total-time
Operation ival-cos, time spent: 10.8s, 5.0% of total-time
Operation ival-div, time spent: 10.5s, 5.0% of total-time
Operation ival-log, time spent: 9.8s, 5.0% of total-time
Operation ival-sin, time spent: 8.9s, 4.0% of total-time
Operation ival-add, time spent: 8.1s, 4.0% of total-time
Operation ival-<=, time spent: 7.9s, 4.0% of total-time
Operation ival-fabs, time spent: 7.0s, 3.0% of total-time
Operation ival-<, time spent: 4.7s, 2.0% of total-time
Operation const, time spent: 2.9s, 1.0% of total-time
Operation ival-sqrt, time spent: 2.7s, 1.0% of total-time
Operation ival-and, time spent: 1.8s, 1.0% of total-time
Operation ival-fmin, time spent: 1.4s, 1.0% of total-time
Operation ival->, time spent: 1.4s, 1.0% of total-time
Operation ival-neg, time spent: 952.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 717.0ms, 0.0% of total-time
Operation ival-atan, time spent: 667.0ms, 0.0% of total-time
Bogosity

localize2.1min (18.6%)

Results
Compiler

Compiled 16394 to 9417 computations (42.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
Operation ival-pow, time spent: 27.4s, 30.0% of total-time
Operation ival-mult, time spent: 13.1s, 14.0% of total-time
Operation ival-exp, time spent: 8.0s, 9.0% of total-time
Operation ival-div, time spent: 7.3s, 8.0% of total-time
Operation composed, time spent: 7.1s, 8.0% of total-time
Operation ival-add, time spent: 6.6s, 7.0% of total-time
Operation ival-log, time spent: 4.5s, 5.0% of total-time
Operation ival-sub, time spent: 3.8s, 4.0% of total-time
Operation ival-tan, time spent: 2.3s, 3.0% of total-time
Operation ival-sin, time spent: 2.1s, 2.0% of total-time
Operation const, time spent: 2.0s, 2.0% of total-time
Operation ival-cos, time spent: 2.0s, 2.0% of total-time
Operation ival-cbrt, time spent: 1.8s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.5s, 2.0% of total-time
Operation ival-neg, time spent: 547.0ms, 1.0% of total-time
Operation ival-cosh, time spent: 165.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 65.0ms, 0.0% of total-time
Operation ival-atan, time spent: 28.0ms, 0.0% of total-time

eval1.0min (9.1%)

Results
Compiler

Compiled 1486955 to 938555 computations (36.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 0ms

simplify42.3s (6.3%)

Algorithm
126×egg-herbie
Rules
33650×fma-define
32344×fma-neg
28814×associate-*r*
26357×distribute-lft-in
24828×*-commutative
Stop Event
28×saturated
97×node limit
20×fuel
1×unsound
8×done
Counts
38659 → 40589
Results
Compiler

Compiled 3314 to 2371 computations (28.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 0ms

soundness36.0s (5.4%)

Rules
29449×fma-define
29382×log1p-expm1-u
26775×fma-neg
24556×expm1-log1p-u
19090×associate-*r*
Stop Event
8×saturated
101×node limit
Results
Compiler

Compiled 15021 to 10184 computations (32.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 0ms

rewrite31.9s (4.7%)

Algorithm
98×batch-egg-rewrite
Rules
61837×log1p-expm1-u
47291×expm1-log1p-u
19559×pow1
19131×prod-diff
18914×add-exp-log
Stop Event
98×node limit
Counts
736 → 26446
Results
Precisions
Click to see histograms. Total time spent on operations: 0ms

preprocess27.8s (4.1%)

Algorithm
28×egg-herbie
Rules
8308×fma-neg
6663×fma-define
4279×div-sub
2669×sub-neg
2621×times-frac
Stop Event
23×saturated
5×node limit
Results
Compiler

Compiled 12175 to 7698 computations (36.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.7s
Operation ival-tan, time spent: 1.6s, 16.0% of total-time
Operation ival-sub, time spent: 1.2s, 13.0% of total-time
Operation ival-log, time spent: 1.2s, 12.0% of total-time
Operation ival-exp, time spent: 1.1s, 11.0% of total-time
Operation ival-add, time spent: 971.0ms, 10.0% of total-time
Operation ival-mult, time spent: 936.0ms, 10.0% of total-time
Operation ival-div, time spent: 603.0ms, 6.0% of total-time
Operation ival-pow, time spent: 513.0ms, 5.0% of total-time
Operation ival-sin, time spent: 479.0ms, 5.0% of total-time
Operation ival-cos, time spent: 471.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 267.0ms, 3.0% of total-time
Operation const, time spent: 230.0ms, 2.0% of total-time
Operation ival-atan, time spent: 73.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 56.0ms, 1.0% of total-time
Operation ival-neg, time spent: 52.0ms, 1.0% of total-time

prune23.1s (3.4%)

Counts
59900 → 1978
Results
Compiler

Compiled 63924 to 45766 computations (28.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 0ms

regimes7.7s (1.1%)

Counts
3545 → 274
Calls

43 calls:

1.9s
x
1.6s
(/.f64 #s(literal 1 binary64) n)
1.1s
n
546.0ms
a
413.0ms
b
Results
Compiler

Compiled 1585 to 1113 computations (29.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 0ms

series7.4s (1.1%)

Counts
736 → 12213
Calls

3270 calls:

TimeVariablePointExpression
588.0ms
eps
@0
(- (tan (+ eps x)) (/ (sin x) (cos x)))
140.0ms
x
@inf
(log (+ 1 (neg (cos x))))
121.0ms
x
@inf
(* eps (- (* (* -1/2 eps) (cos x)) (sin x)))
102.0ms
N
@0
(log N)
99.0ms
n
@0
(* n (log n))
Results
Precisions
Click to see histograms. Total time spent on operations: 0ms

analyze5.1s (0.8%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
18.1%11.1%50%38.9%0%0%0%1
25.4%15.5%45.6%38.9%0%0%0%2
40.7%23.8%34.6%41.6%0%0%0%3
49.4%28.8%29.5%41.7%0%0%0%4
56.4%32.5%25.1%42.4%0%0%0%5
58.7%33.4%23.5%43.1%0%0%0%6
62.4%34.4%20.7%44%0%0.8%0.1%7
65.4%35.7%18.9%44.5%0%0.8%0.1%8
67.8%36.4%17.3%44.9%0%1.2%0.3%9
69.8%36.8%15.9%45.2%0%1.7%0.3%10
72.3%37.8%14.5%45.4%0%1.9%0.4%11
73.5%38.1%13.7%45.6%0%2.2%0.4%12
Results
Compiler

Compiled 498 to 351 computations (29.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.9s
Operation ival-mult, time spent: 505.0ms, 18.0% of total-time
Operation ival-sub, time spent: 443.0ms, 15.0% of total-time
Operation ival-pow, time spent: 304.0ms, 11.0% of total-time
Operation ival-div, time spent: 245.0ms, 9.0% of total-time
Operation ival-log, time spent: 240.0ms, 8.0% of total-time
Operation ival-<=, time spent: 131.0ms, 5.0% of total-time
Operation ival-add, time spent: 125.0ms, 4.0% of total-time
Operation ival-exp, time spent: 123.0ms, 4.0% of total-time
Operation ival-cos, time spent: 106.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 104.0ms, 4.0% of total-time
Operation ival-sin, time spent: 99.0ms, 3.0% of total-time
Operation ival-tan, time spent: 93.0ms, 3.0% of total-time
Operation ival-fabs, time spent: 89.0ms, 3.0% of total-time
Operation const, time spent: 81.0ms, 3.0% of total-time
Operation ival-neg, time spent: 72.0ms, 3.0% of total-time
Operation ival-<, time spent: 27.0ms, 1.0% of total-time
Operation ival-and, time spent: 26.0ms, 1.0% of total-time
Operation ival-fmin, time spent: 26.0ms, 1.0% of total-time
Operation ival->, time spent: 26.0ms, 1.0% of total-time
Operation ival-atan, time spent: 0.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 0.0ms, 0.0% of total-time

bsearch3.8s (0.6%)

Algorithm
64×binary-search
38×left-value
Stop Event
7×predicate-same
57×narrow-enough
Results
1.2s4432×256valid
821.0ms1005×1024valid
191.0ms877×256invalid
344.0ms573×512valid
226.0ms493×256infinite
340.0ms279×2048valid
50.0ms146×256unsamplable
65.0ms68×512infinite
78.0ms58×1024infinite
6.0ms4×4096valid
Compiler

Compiled 11442 to 8588 computations (24.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0s
Operation ival-pow, time spent: 1.0s, 52.0% of total-time
Operation ival-div, time spent: 240.0ms, 12.0% of total-time
Operation ival-mult, time spent: 224.0ms, 11.0% of total-time
Operation ival-sub, time spent: 156.0ms, 8.0% of total-time
Operation ival-add, time spent: 95.0ms, 5.0% of total-time
Operation ival-exp, time spent: 67.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 64.0ms, 3.0% of total-time
Operation ival-neg, time spent: 44.0ms, 2.0% of total-time
Operation const, time spent: 42.0ms, 2.0% of total-time
Operation ival-cos, time spent: 18.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 18.0ms, 1.0% of total-time

end12.0ms (0%)

Profiling

Loading profile data...