Herbie run

Date:Friday, May 24th, 2024
Commit:7841f259 on main
Hostname:nightly with Racket 8.11.1
Seed:2024145
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.6min (21.5%)

Results
41.4s221013×0valid
13.9s29174×1valid
11.6s65481×0invalid
4.3s13673×1invalid
3.9s6469×3valid
3.8s6682×2valid
777.0ms848×4valid
334.0ms942×2invalid
35.0ms234×0unsamplable
5.0ms6×5valid
1.0ms2×5exit
Precisions
Click to see histograms. Total time spent on operations: 1.0min
ival-mult: 15.4s (25.1% of total)
ival-div: 9.6s (15.8% of total)
ival-pow: 7.8s (12.8% of total)
ival-tan: 4.4s (7.2% of total)
ival-sub: 4.3s (7% of total)
ival-add: 3.4s (5.6% of total)
ival-sqrt: 3.2s (5.3% of total)
ival-sin: 2.5s (4% of total)
backward-pass: 2.5s (4% of total)
ival-exp: 1.9s (3.1% of total)
ival-cos: 1.0s (1.7% of total)
ival-neg: 900.0ms (1.5% of total)
ival-acos: 774.0ms (1.3% of total)
ival-log: 725.0ms (1.2% of total)
const: 696.0ms (1.1% of total)
...c/correct-round.rkt:121:19: 613.0ms (1% of total)
ival-hypot: 474.0ms (0.8% of total)
ival-pi: 402.0ms (0.7% of total)
ival-asin: 197.0ms (0.3% of total)
ival-fabs: 186.0ms (0.3% of total)
ival-atan: 86.0ms (0.1% of total)
ival-<: 75.0ms (0.1% of total)
ival-and: 11.0ms (0% of total)
Bogosity

simplify1.5min (19.6%)

Algorithm
286×egg-herbie
Rules
113473×fma-define
63745×*-commutative
63096×times-frac
61020×fma-neg
60707×distribute-lft-in
Stop Event
72×saturated
214×node limit
Counts
96664 → 80382

soundness58.1s (12.7%)

Rules
54653×fma-define
44912×log1p-expm1-u
37997×times-frac
34183×*-commutative
32381×associate-*r*
Stop Event
7×saturated
173×node limit
30×fuel
2×unsound
2×done
Compiler

Compiled 41544 to 12683 computations (69.5% saved)

localize43.0s (9.4%)

Results
12.2s1142×5exit
11.5s22526×0valid
4.4s3696×1valid
2.5s3641×0invalid
1.4s746×2valid
1.2s331×3valid
396.0ms68×4valid
162.0ms358×0unsamplable
22.0ms3×5valid
1.0ms1×1unsamplable
Compiler

Compiled 36340 to 4293 computations (88.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 23.7s
ival-tan: 8.7s (36.6% of total)
ival-mult: 2.8s (12% of total)
ival-pow: 2.8s (11.6% of total)
ival-div: 1.8s (7.6% of total)
ival-sqrt: 1.3s (5.7% of total)
backward-pass: 1.3s (5.5% of total)
ival-sub: 805.0ms (3.4% of total)
ival-add: 584.0ms (2.5% of total)
ival-fma: 509.0ms (2.1% of total)
ival-sin: 490.0ms (2.1% of total)
ival-log: 351.0ms (1.5% of total)
ival-exp: 346.0ms (1.5% of total)
ival-hypot: 342.0ms (1.4% of total)
ival-cos: 276.0ms (1.2% of total)
...c/correct-round.rkt:121:19: 256.0ms (1.1% of total)
ival-asin: 190.0ms (0.8% of total)
ival-acos: 170.0ms (0.7% of total)
ival-cbrt: 128.0ms (0.5% of total)
const: 120.0ms (0.5% of total)
ival-log1p: 111.0ms (0.5% of total)
ival-neg: 84.0ms (0.4% of total)
ival-pi: 84.0ms (0.4% of total)
ival-expm1: 71.0ms (0.3% of total)
ival-atan: 28.0ms (0.1% of total)
ival-fabs: 14.0ms (0.1% of total)
ival-tanh: 13.0ms (0.1% of total)

rewrite33.3s (7.3%)

Algorithm
127×batch-egg-rewrite
Rules
73090×log1p-expm1-u
49725×expm1-log1p-u
33693×add-exp-log
33216×add-log-exp
33195×pow1
Stop Event
125×node limit
2×unsound
Counts
1922 → 51052

prune29.5s (6.5%)

Counts
113627 → 3368
Compiler

Compiled 159864 to 87026 computations (45.6% saved)

eval24.3s (5.3%)

Compiler

Compiled 3621986 to 479614 computations (86.8% saved)

series19.8s (4.3%)

Counts
1922 → 45612
Calls

12405 calls:

TimeVariablePointExpression
371.0ms
c0
@inf
(sqrt (* (+ (* c0 (* d (/ d (* D (* w (* h D)))))) M) (neg M)))
353.0ms
U
@-inf
(sqrt (* (* (* 2 U) n) t))
274.0ms
U
@0
(/ (/ U 2) (* J (cos (/ K 2))))
195.0ms
f
@-inf
(/ (neg (* 2 (log (sqrt (tanh (* 1/4 (* f (PI)))))))) (/ (PI) -4))
174.0ms
t
@0
(* (* (* (/ (sqrt 2) k) t) (pow (* (* t (pow (cbrt l) -2)) (cbrt (* (sin k) (tan k)))) -2)) (/ 1 (* 1 (/ (pow (cbrt l) -2) (/ (sqrt 2) k)))))

regimes15.6s (3.4%)

Counts
9597 → 742
Calls

156 calls:

1.5s
l
1.0s
k
517.0ms
t
493.0ms
n
446.0ms
Ev
Compiler

Compiled 7505 to 5625 computations (25% saved)

bsearch14.7s (3.2%)

Algorithm
335×binary-search
64×left-value
Stop Event
14×predicate-same
321×narrow-enough
Results
7.4s36366×0valid
1.9s7656×0invalid
695.0ms1465×1valid
691.0ms818×2valid
54.0ms86×3valid
36.0ms155×1invalid
23.0ms33×4valid
22.0ms68×2invalid
Compiler

Compiled 92099 to 65827 computations (28.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.2s
ival-mult: 2.0s (24.1% of total)
ival-pow: 1.9s (22.8% of total)
ival-div: 1.3s (15.2% of total)
ival-add: 1.0s (12.7% of total)
ival-sin: 482.0ms (5.9% of total)
ival-tan: 474.0ms (5.8% of total)
ival-sub: 341.0ms (4.1% of total)
ival-neg: 200.0ms (2.4% of total)
ival-sqrt: 132.0ms (1.6% of total)
ival-cos: 121.0ms (1.5% of total)
ival-exp: 100.0ms (1.2% of total)
backward-pass: 95.0ms (1.2% of total)
const: 88.0ms (1.1% of total)
...c/correct-round.rkt:121:19: 22.0ms (0.3% of total)
ival-hypot: 11.0ms (0.1% of total)
ival-atan: 9.0ms (0.1% of total)
ival-asin: 4.0ms (0% of total)
ival-fabs: 1.0ms (0% of total)
ival-pi: 1.0ms (0% of total)

analyze12.1s (2.7%)

Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
22.2%21.8%76.4%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 861 to 546 computations (36.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.4s
ival-mult: 2.2s (33.7% of total)
ival-pow: 1.2s (19.2% of total)
ival-div: 815.0ms (12.7% of total)
ival-add: 423.0ms (6.6% of total)
ival-sqrt: 383.0ms (6% of total)
ival-sub: 296.0ms (4.6% of total)
...c/correct-round.rkt:121:19: 290.0ms (4.5% of total)
ival-sin: 183.0ms (2.9% of total)
ival-tan: 140.0ms (2.2% of total)
ival-neg: 107.0ms (1.7% of total)
ival-<: 84.0ms (1.3% of total)
const: 81.0ms (1.3% of total)
ival-acos: 49.0ms (0.8% of total)
ival-exp: 47.0ms (0.7% of total)
ival-pi: 27.0ms (0.4% of total)
ival-fabs: 25.0ms (0.4% of total)
ival-asin: 22.0ms (0.3% of total)
ival-log: 16.0ms (0.2% of total)
backward-pass: 15.0ms (0.2% of total)
ival-cos: 13.0ms (0.2% of total)
ival-and: 4.0ms (0.1% of total)
ival-atan: 2.0ms (0% of total)
ival-hypot: 0.0ms (0% of total)

preprocess9.5s (2.1%)

Algorithm
32×egg-herbie
Rules
20025×fma-define
13409×fma-neg
8518×times-frac
7943×unsub-neg
7239×distribute-lft-in
Stop Event
9×saturated
23×node limit
Compiler

Compiled 43066 to 18046 computations (58.1% saved)

explain9.4s (2.1%)

Results
3.1s13084×0valid
1.4s2296×1valid
834.0ms496×2valid
550.0ms458×3valid
204.0ms44×4valid
5.0ms6×5exit
Compiler

Compiled 7745 to 1591 computations (79.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.5s
ival-mult: 870.0ms (24.6% of total)
ival-pow: 472.0ms (13.4% of total)
ival-tan: 422.0ms (11.9% of total)
ival-div: 410.0ms (11.6% of total)
backward-pass: 284.0ms (8% of total)
ival-sub: 263.0ms (7.4% of total)
ival-exp: 192.0ms (5.4% of total)
ival-add: 135.0ms (3.8% of total)
ival-sin: 116.0ms (3.3% of total)
ival-sqrt: 111.0ms (3.1% of total)
ival-cos: 71.0ms (2% of total)
const: 39.0ms (1.1% of total)
ival-neg: 34.0ms (1% of total)
ival-acos: 27.0ms (0.8% of total)
ival-hypot: 22.0ms (0.6% of total)
ival-pi: 19.0ms (0.5% of total)
ival-log: 17.0ms (0.5% of total)
...c/correct-round.rkt:121:19: 9.0ms (0.3% of total)
ival-asin: 9.0ms (0.3% of total)
ival-fabs: 5.0ms (0.1% of total)
ival-atan: 5.0ms (0.1% of total)

end0.0ms (0%)

Profiling

Loading profile data...