Herbie run

Date:Saturday, March 16th, 2024
Commit:110598d9 on longer-taylor
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: 7.9min)

sample1.8min (22.9%)

Results
46.9s270577×256valid
7.2s31016×256infinite
10.1s19263×1024valid
18.6s13762×2048valid
3.5s10971×512valid
427.0ms4194×256invalid
172.0ms999×256unsamplable
653.0ms806×4096valid
103.0ms217×512infinite
1.7s202×8192exit
108.0ms126×1024infinite
18.0ms14×2048infinite
Precisions
Click to see histograms. Total time spent on operations: 1.0min
Operation ival-mult, time spent: 10.4s, 17.0% of total-time
Operation ival-pow, time spent: 7.7s, 13.0% of total-time
Operation ival-tan, time spent: 7.2s, 12.0% of total-time
Operation ival-add, time spent: 7.0s, 12.0% of total-time
Operation ival-div, time spent: 6.1s, 10.0% of total-time
Operation ival-sub, time spent: 4.5s, 7.0% of total-time
Operation ival-<=, time spent: 4.4s, 7.0% of total-time
Operation ival-sin, time spent: 3.3s, 6.0% of total-time
Operation ival-cos, time spent: 2.2s, 4.0% of total-time
Operation const, time spent: 1.5s, 3.0% of total-time
Operation ival-log, time spent: 1.3s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.0s, 2.0% of total-time
Operation ival-exp, time spent: 1.0s, 2.0% of total-time
Operation ival-neg, time spent: 776.0ms, 1.0% of total-time
Operation ival-and, time spent: 573.0ms, 1.0% of total-time
Operation composed, time spent: 416.0ms, 1.0% of total-time
Operation ival-==, time spent: 362.0ms, 1.0% of total-time
Operation ival-atan, time spent: 310.0ms, 1.0% of total-time
Operation ival-<, time spent: 115.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 49.0ms, 0.0% of total-time
Operation ival-pi, time spent: 48.0ms, 0.0% of total-time
Operation ival-if, time spent: 10.0ms, 0.0% of total-time
Bogosity

localize1.5min (19.5%)

Results
22.9s25270×256valid
4.2s2740×256infinite
8.7s1625×1024valid
10.1s1265×2048valid
734.0ms872×256invalid
4.2s802×512valid
9.1s238×8192exit
7.3s222×1024infinite
254.0ms189×256unsamplable
2.4s142×512infinite
704.0ms84×4096valid
1.6s61×2048infinite
242.0ms26×4096infinite
Compiler

Compiled 29235 to 17482 computations (40.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0min
Operation ival-mult, time spent: 20.2s, 33.0% of total-time
Operation ival-add, time spent: 8.8s, 14.0% of total-time
Operation ival-pow, time spent: 8.6s, 14.0% of total-time
Operation ival-div, time spent: 8.6s, 14.0% of total-time
Operation ival-sub, time spent: 4.9s, 8.0% of total-time
Operation composed, time spent: 4.0s, 7.0% of total-time
Operation const, time spent: 1.6s, 3.0% of total-time
Operation ival-exp, time spent: 1.5s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.0s, 2.0% of total-time
Operation ival-tan, time spent: 854.0ms, 1.0% of total-time
Operation ival-sin, time spent: 303.0ms, 0.0% of total-time
Operation ival-log, time spent: 258.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 135.0ms, 0.0% of total-time
Operation ival-neg, time spent: 101.0ms, 0.0% of total-time
Operation ival-cos, time spent: 101.0ms, 0.0% of total-time
Operation ival-atan, time spent: 64.0ms, 0.0% of total-time
Operation ival-e, time spent: 6.0ms, 0.0% of total-time
Operation ival-pi, time spent: 6.0ms, 0.0% of total-time

eval1.4min (17.5%)

Compiler

Compiled 2957696 to 2003954 computations (32.2% saved)

simplify36.5s (7.7%)

Algorithm
164×egg-herbie
Rules
92978×fma-define
78050×distribute-lft-in
68878×distribute-rgt-in
67494×fma-neg
65108×*-commutative
Stop Event
42×saturated
122×node limit
22×fuel
20×done
Counts
54249 → 52067
Compiler

Compiled 8444 to 5613 computations (33.5% saved)

preprocess32.2s (6.7%)

Algorithm
42×egg-herbie
Rules
37136×fma-define
36960×fma-neg
19878×unsub-neg
18560×sub-neg
15262×distribute-rgt-in
Stop Event
20×saturated
22×node limit
Results
6.6s16192×256valid
880.0ms1786×256infinite
2.2s1632×1024valid
1.9s856×2048valid
927.0ms786×512valid
1.5s104×1024infinite
484.0ms80×512infinite
93.0ms52×4096valid
672.0ms16×2048infinite
Compiler

Compiled 30591 to 19161 computations (37.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.4s
Operation ival-mult, time spent: 4.0s, 35.0% of total-time
Operation ival-add, time spent: 1.7s, 15.0% of total-time
Operation ival-div, time spent: 1.6s, 14.0% of total-time
Operation ival-pow, time spent: 1.6s, 14.0% of total-time
Operation ival-sub, time spent: 1.1s, 10.0% of total-time
Operation ival-tan, time spent: 344.0ms, 3.0% of total-time
Operation const, time spent: 327.0ms, 3.0% of total-time
Operation ival-exp, time spent: 214.0ms, 2.0% of total-time
Operation ival-sin, time spent: 150.0ms, 1.0% of total-time
Operation ival-cos, time spent: 127.0ms, 1.0% of total-time
Operation ival-neg, time spent: 92.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 73.0ms, 1.0% of total-time
Operation ival-log, time spent: 65.0ms, 1.0% of total-time
Operation ival-atan, time spent: 30.0ms, 0.0% of total-time
Operation composed, time spent: 23.0ms, 0.0% of total-time
Operation ival-pi, time spent: 3.0ms, 0.0% of total-time

soundness27.8s (5.8%)

Rules
81518×fma-define
54504×fma-neg
52860×distribute-lft-in
48060×distribute-rgt-in
43330×associate-*r*
Stop Event
8×saturated
124×node limit
Compiler

Compiled 21574 to 14193 computations (34.2% saved)

rewrite25.3s (5.3%)

Algorithm
122×batch-egg-rewrite
Rules
70136×log1p-expm1-u
56854×expm1-log1p-u
44122×prod-diff
42242×log-prod
33514×unpow-prod-down
Stop Event
122×node limit
Counts
951 → 34684

prune22.9s (4.8%)

Counts
86663 → 1969
Compiler

Compiled 76570 to 52821 computations (31% saved)

regimes16.1s (3.4%)

Counts
4426 → 524
Calls

94 calls:

1.9s
c
1.8s
x1
1.5s
a
1.4s
b
825.0ms
x
Compiler

Compiled 3980 to 2852 computations (28.3% saved)

bsearch13.9s (2.9%)

Algorithm
247×binary-search
29×left-value
Stop Event
15×predicate-same
232×narrow-enough
Results
4.4s20048×256valid
3.7s5765×256infinite
212.0ms2548×256invalid
971.0ms2167×1024valid
317.0ms968×512valid
351.0ms329×2048valid
7.0ms46×256unsamplable
36.0ms14×4096valid
5.0ms13×512infinite
5.0ms8×1024infinite
Compiler

Compiled 73963 to 52269 computations (29.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.2s
Operation ival-mult, time spent: 2.7s, 37.0% of total-time
Operation ival-add, time spent: 1.4s, 20.0% of total-time
Operation ival-div, time spent: 1.1s, 16.0% of total-time
Operation ival-sub, time spent: 840.0ms, 12.0% of total-time
Operation ival-pow, time spent: 819.0ms, 11.0% of total-time
Operation const, time spent: 182.0ms, 3.0% of total-time
Operation ival-neg, time spent: 50.0ms, 1.0% of total-time
Operation ival-exp, time spent: 44.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 36.0ms, 0.0% of total-time

analyze11.7s (2.5%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
23.5%12.8%41.7%45.5%0%0%0%1
39.5%21.5%33%45.5%0%0%0%2
50.8%26.8%25.9%45.5%0%1.7%0%3
58.9%31%21.7%45.5%0%1.8%0%4
71.8%37.8%14.8%45.6%0%1.8%0%5
73.2%38.5%14.1%45.6%0%1.8%0%6
78%40.8%11.5%45.6%0%2.1%0%7
81.6%42.6%9.6%45.7%0%2.1%0%8
84.2%43.8%8.2%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
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.6s
Operation ival-sqrt, time spent: 1.5s, 17.0% of total-time
Operation ival-add, time spent: 1.4s, 16.0% of total-time
Operation ival-mult, time spent: 1.3s, 15.0% of total-time
Operation ival-sub, time spent: 1.1s, 13.0% of total-time
Operation ival-pow, time spent: 966.0ms, 11.0% of total-time
Operation ival-div, time spent: 920.0ms, 11.0% of total-time
Operation ival-exp, time spent: 384.0ms, 4.0% of total-time
Operation ival-fabs, time spent: 382.0ms, 4.0% of total-time
Operation const, time spent: 204.0ms, 2.0% of total-time
Operation ival-<=, time spent: 144.0ms, 2.0% of total-time
Operation ival-if, time spent: 120.0ms, 1.0% of total-time
Operation ival-==, time spent: 96.0ms, 1.0% of total-time
Operation ival-neg, time spent: 75.0ms, 1.0% of total-time
Operation ival-<, time spent: 29.0ms, 0.0% of total-time
Operation ival-and, time spent: 20.0ms, 0.0% of total-time
Operation ival-pi, time spent: 5.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time
Operation ival-atan, time spent: 0.0ms, 0.0% of total-time
Operation ival-tan, time spent: 0.0ms, 0.0% of total-time
Operation ival-cos, time spent: 0.0ms, 0.0% of total-time
Operation ival-sin, time spent: 0.0ms, 0.0% of total-time
Operation ival-log, time spent: 0.0ms, 0.0% of total-time

series4.8s (1%)

Counts
951 → 19565
Calls

4893 calls:

TimeVariablePointExpression
128.0ms
c
@inf
(pow (+ (* a (* c -4)) (pow b 2)) 1/4)
98.0ms
x
@-inf
(* (pow x 3/2) (/ (+ (* (pow x 2) -1/120) 1/6) (tan x)))
98.0ms
b
@inf
(/ (* a (+ b c)) d)
95.0ms
x
@inf
(* x (+ 1/2 (* x (+ 1/6 (* x 1/24)))))
58.0ms
t
@0
(/ 4/81 t)

end21.0ms (0%)

Profiling

Loading profile data...