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: 10.4min)

sample2.3min (22.5%)

Results
1.2min270576×256valid
9.9s30985×256infinite
13.5s19346×1024valid
20.8s13705×2048valid
4.4s10977×512valid
1.2s4194×256invalid
254.0ms999×256unsamplable
1.0s806×4096valid
215.0ms217×512infinite
2.6s202×8192exit
95.0ms126×1024infinite
16.0ms14×2048infinite
Precisions
Click to see histograms. Total time spent on operations: 1.3min
Operation ival-mult, time spent: 16.8s, 22.0% of total-time
Operation ival-div, time spent: 8.7s, 11.0% of total-time
Operation ival-add, time spent: 8.5s, 11.0% of total-time
Operation ival-pow, time spent: 8.0s, 10.0% of total-time
Operation ival-tan, time spent: 8.0s, 10.0% of total-time
Operation ival-sub, time spent: 5.7s, 7.0% of total-time
Operation ival-<=, time spent: 5.2s, 7.0% of total-time
Operation ival-sin, time spent: 4.3s, 6.0% of total-time
Operation ival-cos, time spent: 2.1s, 3.0% of total-time
Operation const, time spent: 2.1s, 3.0% of total-time
Operation ival-log, time spent: 1.7s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.2s, 2.0% of total-time
Operation ival-exp, time spent: 1.0s, 1.0% of total-time
Operation ival-neg, time spent: 799.0ms, 1.0% of total-time
Operation composed, time spent: 793.0ms, 1.0% of total-time
Operation ival-and, time spent: 760.0ms, 1.0% of total-time
Operation ival-==, time spent: 373.0ms, 0.0% of total-time
Operation ival-atan, time spent: 239.0ms, 0.0% of total-time
Operation ival-<, time spent: 195.0ms, 0.0% of total-time
Operation ival-pi, time spent: 68.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 57.0ms, 0.0% of total-time
Operation ival-if, time spent: 11.0ms, 0.0% of total-time
Bogosity

localize2.2min (21.2%)

Results
Compiler

Compiled 29061 to 17360 computations (40.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4min
Operation ival-mult, time spent: 27.4s, 32.0% of total-time
Operation ival-add, time spent: 12.8s, 15.0% of total-time
Operation ival-div, time spent: 12.8s, 15.0% of total-time
Operation ival-pow, time spent: 12.5s, 15.0% of total-time
Operation ival-sub, time spent: 6.6s, 8.0% of total-time
Operation composed, time spent: 6.2s, 7.0% of total-time
Operation ival-exp, time spent: 2.8s, 3.0% of total-time
Operation const, time spent: 2.5s, 3.0% of total-time
Operation ival-tan, time spent: 838.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 452.0ms, 1.0% of total-time
Operation ival-sin, time spent: 357.0ms, 0.0% of total-time
Operation ival-log, time spent: 292.0ms, 0.0% of total-time
Operation ival-cos, time spent: 190.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 157.0ms, 0.0% of total-time
Operation ival-neg, time spent: 130.0ms, 0.0% of total-time
Operation ival-atan, time spent: 82.0ms, 0.0% of total-time
Operation ival-pi, time spent: 17.0ms, 0.0% of total-time
Operation ival-e, time spent: 5.0ms, 0.0% of total-time

eval1.7min (15.9%)

Results
Compiler

Compiled 2951271 to 2000084 computations (32.2% saved)

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

simplify51.1s (8.2%)

Algorithm
164×egg-herbie
Rules
45002×fma-define
38719×distribute-lft-in
35243×fma-neg
34548×distribute-rgt-in
32582×*-commutative
Stop Event
42×saturated
122×node limit
22×fuel
20×done
Counts
54281 → 51991
Results
Compiler

Compiled 8466 to 5630 computations (33.5% saved)

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

preprocess46.4s (7.5%)

Algorithm
42×egg-herbie
Rules
18568×fma-define
18480×fma-neg
9939×unsub-neg
9280×sub-neg
7631×distribute-rgt-in
Stop Event
20×saturated
22×node limit
Results
Compiler

Compiled 30705 to 19245 computations (37.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.3s
Operation ival-mult, time spent: 6.9s, 38.0% of total-time
Operation ival-div, time spent: 2.8s, 15.0% of total-time
Operation ival-add, time spent: 2.7s, 15.0% of total-time
Operation ival-pow, time spent: 2.1s, 11.0% of total-time
Operation ival-sub, time spent: 2.0s, 11.0% of total-time
Operation const, time spent: 559.0ms, 3.0% of total-time
Operation ival-tan, time spent: 353.0ms, 2.0% of total-time
Operation ival-exp, time spent: 195.0ms, 1.0% of total-time
Operation ival-cos, time spent: 192.0ms, 1.0% of total-time
Operation ival-sin, time spent: 145.0ms, 1.0% of total-time
Operation ival-neg, time spent: 125.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 103.0ms, 1.0% of total-time
Operation ival-log, time spent: 67.0ms, 0.0% of total-time
Operation ival-atan, time spent: 35.0ms, 0.0% of total-time
Operation composed, time spent: 29.0ms, 0.0% of total-time
Operation ival-pi, time spent: 4.0ms, 0.0% of total-time

soundness37.4s (6%)

Rules
40254×fma-define
27347×fma-neg
26459×distribute-lft-in
24949×log1p-expm1-u
24044×distribute-rgt-in
Stop Event
8×saturated
123×node limit
Results
Compiler

Compiled 21711 to 14286 computations (34.2% saved)

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

rewrite34.2s (5.5%)

Algorithm
122×batch-egg-rewrite
Rules
69352×log1p-expm1-u
57389×expm1-log1p-u
25446×pow1
23084×add-exp-log
22186×add-log-exp
Stop Event
122×node limit
Counts
945 → 34744
Results
Precisions
Click to see histograms. Total time spent on operations: 0ms

prune33.2s (5.3%)

Counts
86622 → 1950
Results
Compiler

Compiled 75900 to 52350 computations (31% saved)

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

bsearch17.4s (2.8%)

Algorithm
247×binary-search
29×left-value
Stop Event
15×predicate-same
232×narrow-enough
Results
7.0s20048×256valid
4.7s5765×256infinite
423.0ms2548×256invalid
1.7s2167×1024valid
469.0ms968×512valid
408.0ms329×2048valid
8.0ms46×256unsamplable
39.0ms14×4096valid
6.0ms13×512infinite
6.0ms8×1024infinite
Compiler

Compiled 73963 to 52269 computations (29.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.8s
Operation ival-mult, time spent: 3.6s, 37.0% of total-time
Operation ival-div, time spent: 2.1s, 22.0% of total-time
Operation ival-add, time spent: 1.8s, 18.0% of total-time
Operation ival-pow, time spent: 925.0ms, 9.0% of total-time
Operation ival-sub, time spent: 884.0ms, 9.0% of total-time
Operation const, time spent: 252.0ms, 3.0% of total-time
Operation ival-neg, time spent: 72.0ms, 1.0% of total-time
Operation ival-exp, time spent: 66.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 50.0ms, 1.0% of total-time

analyze14.7s (2.4%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
21.4%11.7%42.9%45.5%0%0%0%1
37.4%20.4%34.1%45.5%0%0%0%2
49.8%26.2%26.5%45.5%0%1.7%0%3
58.3%30.7%22%45.5%0%1.8%0%4
71.6%37.7%15%45.6%0%1.8%0%5
73.1%38.4%14.1%45.6%0%1.8%0%6
78%40.7%11.5%45.6%0%2.1%0%7
81.5%42.6%9.6%45.7%0%2.1%0%8
84.1%43.8%8.3%45.7%0%2.2%0%9
86.2%44.6%7.1%45.7%0%2.5%0%10
88.2%45.6%6.1%45.7%0%2.5%0.1%11
89.1%45.9%5.6%45.7%0%2.6%0.1%12
Results
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.0s
Operation ival-add, time spent: 1.9s, 19.0% of total-time
Operation ival-mult, time spent: 1.7s, 17.0% of total-time
Operation ival-sqrt, time spent: 1.5s, 15.0% of total-time
Operation ival-div, time spent: 1.3s, 13.0% of total-time
Operation ival-pow, time spent: 1.3s, 13.0% of total-time
Operation ival-sub, time spent: 1.0s, 10.0% of total-time
Operation ival-fabs, time spent: 522.0ms, 5.0% of total-time
Operation const, time spent: 282.0ms, 3.0% of total-time
Operation ival-exp, time spent: 128.0ms, 1.0% of total-time
Operation ival-<=, time spent: 102.0ms, 1.0% of total-time
Operation ival-if, time spent: 85.0ms, 1.0% of total-time
Operation ival-==, time spent: 71.0ms, 1.0% of total-time
Operation ival-neg, time spent: 46.0ms, 0.0% of total-time
Operation ival-<, time spent: 38.0ms, 0.0% of total-time
Operation ival-and, time spent: 27.0ms, 0.0% of total-time
Operation ival-pi, time spent: 19.0ms, 0.0% of total-time
Operation ival-cos, time spent: 2.0ms, 0.0% of total-time
Operation ival-atan, time spent: 1.0ms, 0.0% of total-time
Operation ival-tan, time spent: 1.0ms, 0.0% of total-time
Operation ival-sin, time spent: 1.0ms, 0.0% of total-time
Operation ival-log, time spent: 1.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time

regimes10.2s (1.6%)

Counts
4444 → 527
Calls

94 calls:

1.7s
x1
1.1s
c
713.0ms
b
654.0ms
a
593.0ms
x
Results
Compiler

Compiled 3998 to 2864 computations (28.4% saved)

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

series6.0s (1%)

Counts
945 → 19537
Calls

4863 calls:

TimeVariablePointExpression
107.0ms
x1
@inf
(+ (+ (* (+ (* x1 2) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1))
70.0ms
x
@-inf
(+ (* (+ 1 (/ 1 eps)) (pow (exp x) (+ eps -1))) (/ (+ 1 (/ -1 eps)) (exp (+ (* eps x) x))))
66.0ms
a
@inf
(+ (* a (+ b c)) (* a d))
65.0ms
y
@0
(- (* 9 (pow x 4)) (pow y 4))
63.0ms
x
@-inf
(/ (pow eps 2) x)
Results
Precisions
Click to see histograms. Total time spent on operations: 0ms

end31.0ms (0%)

Profiling

Loading profile data...