Herbie run

Date:Tuesday, May 28th, 2024
Commit:c07bf26e on jackson-mergable-platform-changes
Hostname:nightly with Racket 8.11.1
Seed:2024149
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce: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.6min)

sample1.7min (21.7%)

Results
41.0s221127×0valid
14.7s29191×1valid
10.6s66012×0invalid
4.2s13832×1invalid
3.8s6494×3valid
3.0s6487×2valid
1.1s886×4valid
337.0ms931×2invalid
38.0ms252×0unsamplable
26.0ms3×5exit
6.0ms7×5valid
Precisions
Click to see histograms. Total time spent on operations: 1.0min
ival-mult: 16.9s (27.8% of total)
ival-div: 10.0s (16.3% of total)
ival-pow: 7.4s (12.1% of total)
ival-tan: 4.5s (7.3% of total)
ival-sub: 4.2s (6.9% of total)
ival-add: 3.4s (5.6% of total)
ival-sqrt: 3.1s (5.1% of total)
ival-sin: 2.3s (3.7% of total)
ival-exp: 1.8s (3% of total)
backward-pass: 1.7s (2.8% of total)
ival-acos: 1.2s (1.9% of total)
ival-cos: 892.0ms (1.5% of total)
ival-neg: 760.0ms (1.2% of total)
const: 681.0ms (1.1% of total)
...c/correct-round.rkt:121:19: 677.0ms (1.1% of total)
ival-pi: 537.0ms (0.9% of total)
ival-log: 384.0ms (0.6% of total)
ival-asin: 247.0ms (0.4% of total)
ival-fabs: 152.0ms (0.2% of total)
ival-atan: 89.0ms (0.1% of total)
ival-<: 81.0ms (0.1% of total)
ival-and: 11.0ms (0% of total)
Bogosity

simplify1.4min (18%)

Algorithm
286×egg-herbie
Rules
114969×fma-define
61490×distribute-lft-in
60919×times-frac
60417×*-commutative
59203×fmm-def
Stop Event
71×saturated
214×node limit
1×unsound
Counts
94289 → 80966

soundness58.7s (12.8%)

Rules
52838×fma-define
39691×log1p-expm1-u
37814×times-frac
34101×associate-*r*
30453×expm1-log1p-u
Stop Event
7×saturated
170×node limit
29×fuel
2×unsound
3×done
Compiler

Compiled 46210 to 13493 computations (70.8% saved)

localize52.3s (11.4%)

Results
16.0s1038×5exit
11.5s20785×0valid
5.1s4260×1valid
3.2s4372×0invalid
1.9s751×2valid
1.7s501×3valid
842.0ms122×4valid
568.0ms177×3invalid
173.0ms17×5valid
167.0ms174×1invalid
165.0ms48×4invalid
147.0ms99×2invalid
98.0ms168×0unsamplable
Compiler

Compiled 40669 to 4502 computations (88.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 28.5s
ival-tan: 10.2s (35.7% of total)
ival-mult: 3.8s (13.5% of total)
ival-pow: 2.7s (9.4% of total)
ival-div: 2.5s (8.9% of total)
ival-sin: 1.8s (6.3% of total)
backward-pass: 1.6s (5.7% of total)
ival-add: 1.5s (5.1% of total)
ival-log: 753.0ms (2.6% of total)
ival-sqrt: 699.0ms (2.5% of total)
ival-exp: 636.0ms (2.2% of total)
ival-sub: 632.0ms (2.2% of total)
ival-cos: 469.0ms (1.6% of total)
...c/correct-round.rkt:121:19: 386.0ms (1.4% of total)
ival-asin: 146.0ms (0.5% of total)
ival-acos: 142.0ms (0.5% of total)
ival-cbrt: 139.0ms (0.5% of total)
const: 123.0ms (0.4% of total)
ival-neg: 98.0ms (0.3% of total)
ival-atan: 92.0ms (0.3% of total)
ival-pi: 48.0ms (0.2% of total)
ival-fabs: 7.0ms (0% of total)
ival-e: 2.0ms (0% of total)

rewrite32.2s (7%)

Algorithm
127×batch-egg-rewrite
Rules
71628×log1p-expm1-u
52089×expm1-log1p-u
33428×pow1
33318×add-exp-log
32949×add-log-exp
Stop Event
125×node limit
2×unsound
Counts
1902 → 48922

prune28.6s (6.3%)

Counts
117197 → 3292
Compiler

Compiled 156355 to 85896 computations (45.1% saved)

eval24.0s (5.3%)

Compiler

Compiled 3893823 to 490590 computations (87.4% saved)

series17.6s (3.8%)

Counts
1902 → 45367
Calls

12345 calls:

TimeVariablePointExpression
297.0ms
k
@-inf
(* (* (/ 2 (* (pow t 3) (* (sin k) (tan k)))) (/ l (sqrt (+ (* 1 1) (* (sqrt (+ (* 1 1) (* (/ k t) (/ k t)))) (sqrt (+ (* 1 1) (* (/ k t) (/ k t))))))))) (/ l (sqrt (+ (* 1 1) (* (sqrt (+ (* 1 1) (* (/ k t) (/ k t)))) (sqrt (+ (* 1 1) (* (/ k t) (/ k t)))))))))
239.0ms
c0
@0
(* c0 (/ (* M (sqrt -1)) (* 2 w)))
202.0ms
M
@-inf
(log (pow (exp c0) (* M (/ (sqrt -1) (* w 2)))))
197.0ms
t
@inf
(* (tan k) (* (sin k) (pow (/ k t) 2)))
193.0ms
k
@-inf
(/ (* 2 (pow (/ k t) -2)) (log (pow (exp (sin k)) (* (tan k) (/ (pow t 3) (pow l 2))))))

regimes16.9s (3.7%)

Counts
11011 → 757
Calls

156 calls:

1.8s
l
1.1s
t
828.0ms
k
488.0ms
h
462.0ms
kx
Compiler

Compiled 8459 to 6268 computations (25.9% saved)

bsearch14.7s (3.2%)

Algorithm
322×binary-search
91×left-value
Stop Event
6×predicate-same
316×narrow-enough
Results
8.1s37508×0valid
2.2s9637×0invalid
291.0ms1083×1valid
266.0ms608×2valid
177.0ms255×3valid
165.0ms105×1invalid
24.0ms34×4valid
23.0ms63×2invalid
Compiler

Compiled 99599 to 71372 computations (28.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.6s
ival-mult: 2.3s (27.3% of total)
ival-pow: 2.0s (23% of total)
ival-div: 1.2s (14.3% of total)
ival-add: 814.0ms (9.5% of total)
ival-sin: 550.0ms (6.4% of total)
ival-tan: 381.0ms (4.4% of total)
ival-sqrt: 342.0ms (4% of total)
ival-sub: 288.0ms (3.4% of total)
ival-cos: 194.0ms (2.3% of total)
ival-neg: 144.0ms (1.7% of total)
ival-exp: 108.0ms (1.3% of total)
const: 91.0ms (1.1% of total)
backward-pass: 82.0ms (1% of total)
...c/correct-round.rkt:121:19: 25.0ms (0.3% of total)
ival-pi: 7.0ms (0.1% of total)
ival-atan: 7.0ms (0.1% of total)
ival-asin: 4.0ms (0% of total)
ival-fabs: 4.0ms (0% of total)

analyze12.6s (2.7%)

Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
19.1%18.7%79.5%1.8%0%0%0%1
22.6%21.8%74.8%1.8%0%1.6%0%2
28.6%26.5%66.3%1.8%0%5.5%0%3
32.6%29.6%61.2%1.8%0%7%0.4%4
35.8%32.3%58%1.8%0%7.4%0.6%5
40.1%36.1%54%1.8%0%7.4%0.7%6
45.5%40.6%48.7%1.8%0%8.1%0.8%7
47.9%42.1%45.8%1.8%0%9.5%0.8%8
51%44.7%42.9%1.8%0%9.8%0.9%9
52.1%45.5%41.8%1.8%0%10%0.9%10
53.9%46.8%39.9%1.8%0%10.6%1%11
55.7%47.9%38.2%1.8%0%11.1%1%12
Compiler

Compiled 866 to 549 computations (36.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.1s
ival-mult: 2.0s (28.3% of total)
ival-pow: 1.5s (21.1% of total)
ival-div: 1.2s (17% of total)
ival-sub: 422.0ms (5.9% of total)
ival-add: 347.0ms (4.9% of total)
ival-sqrt: 312.0ms (4.4% of total)
ival-sin: 296.0ms (4.2% of total)
ival-acos: 227.0ms (3.2% of total)
...c/correct-round.rkt:121:19: 168.0ms (2.4% of total)
ival-asin: 138.0ms (1.9% of total)
ival-tan: 131.0ms (1.8% of total)
const: 80.0ms (1.1% of total)
ival-neg: 74.0ms (1% of total)
ival-exp: 60.0ms (0.8% of total)
ival-pi: 45.0ms (0.6% of total)
ival-<: 30.0ms (0.4% of total)
ival-fabs: 20.0ms (0.3% of total)
backward-pass: 17.0ms (0.2% of total)
ival-cos: 15.0ms (0.2% of total)
ival-log: 11.0ms (0.2% of total)
ival-and: 4.0ms (0.1% of total)
ival-atan: 2.0ms (0% of total)

preprocess9.7s (2.1%)

Algorithm
32×egg-herbie
Rules
20054×fma-define
13409×fmm-def
8518×times-frac
7224×distribute-lft-in
7153×unsub-neg
Stop Event
9×saturated
23×node limit
Compiler

Compiled 49064 to 17680 computations (64% saved)

explain8.2s (1.8%)

Results
2.9s13074×0valid
1.2s2308×1valid
410.0ms426×3valid
355.0ms494×2valid
159.0ms74×4valid
7.0ms8×5exit
Compiler

Compiled 7805 to 1597 computations (79.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.8s
ival-mult: 646.0ms (23.2% of total)
ival-tan: 361.0ms (13% of total)
ival-pow: 289.0ms (10.4% of total)
ival-div: 285.0ms (10.2% of total)
backward-pass: 165.0ms (5.9% of total)
ival-sqrt: 160.0ms (5.7% of total)
ival-exp: 151.0ms (5.4% of total)
ival-add: 145.0ms (5.2% of total)
ival-sub: 144.0ms (5.2% of total)
ival-cos: 139.0ms (5% of total)
ival-sin: 110.0ms (3.9% of total)
ival-log: 44.0ms (1.6% of total)
const: 38.0ms (1.4% of total)
ival-neg: 34.0ms (1.2% of total)
ival-acos: 31.0ms (1.1% of total)
ival-pi: 18.0ms (0.6% of total)
...c/correct-round.rkt:121:19: 9.0ms (0.3% of total)
ival-asin: 9.0ms (0.3% of total)
ival-atan: 6.0ms (0.2% of total)
ival-fabs: 5.0ms (0.2% of total)

end0.0ms (0%)

Profiling

Loading profile data...