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.7min (21.9%)

Results
40.8s221013×0valid
14.1s29174×1valid
11.8s65481×0invalid
4.3s13673×1invalid
4.2s6682×2valid
3.3s6469×3valid
612.0ms848×4valid
347.0ms942×2invalid
35.0ms234×0unsamplable
5.0ms6×5valid
1.0ms2×5exit
Precisions
Click to see histograms. Total time spent on operations: 59.3s
ival-mult: 16.7s (28.1% of total)
ival-div: 9.3s (15.7% of total)
ival-pow: 6.4s (10.8% of total)
ival-tan: 4.4s (7.3% of total)
ival-sub: 4.3s (7.2% of total)
ival-add: 3.2s (5.4% of total)
ival-sqrt: 2.7s (4.6% of total)
ival-sin: 2.0s (3.3% of total)
ival-exp: 1.9s (3.3% of total)
backward-pass: 1.6s (2.8% of total)
ival-acos: 1.2s (2% of total)
ival-cos: 1.0s (1.7% of total)
ival-neg: 823.0ms (1.4% of total)
...c/correct-round.rkt:121:19: 731.0ms (1.2% of total)
const: 730.0ms (1.2% of total)
ival-pi: 549.0ms (0.9% of total)
ival-log: 548.0ms (0.9% of total)
ival-asin: 500.0ms (0.8% of total)
ival-hypot: 393.0ms (0.7% of total)
ival-fabs: 102.0ms (0.2% of total)
ival-atan: 84.0ms (0.1% of total)
ival-<: 83.0ms (0.1% of total)
ival-and: 11.0ms (0% of total)
Bogosity

simplify1.5min (19.5%)

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

soundness57.1s (12.6%)

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.7s (9.6%)

Results
12.4s22526×0valid
11.9s1142×5exit
4.2s3696×1valid
2.8s3641×0invalid
1.2s746×2valid
1.0s331×3valid
334.0ms68×4valid
153.0ms358×0unsamplable
20.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.2s
ival-tan: 8.8s (37.8% of total)
ival-mult: 3.0s (13% of total)
ival-pow: 2.5s (10.8% of total)
ival-div: 2.0s (8.6% of total)
backward-pass: 1.3s (5.4% of total)
ival-sqrt: 777.0ms (3.3% of total)
ival-add: 708.0ms (3.1% of total)
ival-sub: 633.0ms (2.7% of total)
ival-fma: 412.0ms (1.8% of total)
ival-cos: 404.0ms (1.7% of total)
ival-log: 403.0ms (1.7% of total)
ival-sin: 400.0ms (1.7% of total)
ival-hypot: 363.0ms (1.6% of total)
...c/correct-round.rkt:121:19: 264.0ms (1.1% of total)
ival-asin: 238.0ms (1% of total)
ival-exp: 230.0ms (1% of total)
ival-acos: 208.0ms (0.9% of total)
const: 127.0ms (0.5% of total)
ival-cbrt: 118.0ms (0.5% of total)
ival-neg: 96.0ms (0.4% of total)
ival-log1p: 82.0ms (0.4% of total)
ival-expm1: 77.0ms (0.3% of total)
ival-pi: 54.0ms (0.2% of total)
ival-atan: 29.0ms (0.1% of total)
ival-tanh: 13.0ms (0.1% of total)
ival-fabs: 13.0ms (0.1% of total)

rewrite33.5s (7.4%)

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.7s (6.5%)

Counts
113627 → 3368
Compiler

Compiled 159864 to 87026 computations (45.6% saved)

eval23.5s (5.2%)

Compiler

Compiled 3621986 to 479614 computations (86.8% saved)

series17.9s (3.9%)

Counts
1922 → 45612
Calls

12405 calls:

TimeVariablePointExpression
348.0ms
l
@0
(/ (sqrt 2) (/ (* (* (sqrt (* (sin k) (tan k))) (pow t 3/2)) (/ k t)) l))
233.0ms
l
@0
(/ (/ 1 F) (/ F (tan (* (PI) l))))
215.0ms
x
@-inf
(* F (/ (sqrt (/ 1 (+ 2 (* x 2)))) (sin B)))
203.0ms
f
@-inf
(/ (neg (* 2 (log (sqrt (tanh (* 1/4 (* f (PI)))))))) (/ (PI) -4))
181.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)))))

regimes16.4s (3.6%)

Counts
9597 → 742
Calls

156 calls:

1.2s
k
1.2s
l
704.0ms
t
554.0ms
h
528.0ms
M
Compiler

Compiled 7505 to 5625 computations (25% saved)

bsearch14.9s (3.3%)

Algorithm
335×binary-search
64×left-value
Stop Event
14×predicate-same
321×narrow-enough
Results
7.9s36366×0valid
1.7s7656×0invalid
597.0ms1465×1valid
433.0ms818×2valid
54.0ms86×3valid
35.0ms155×1invalid
35.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.1s
ival-pow: 2.0s (24.9% of total)
ival-mult: 1.8s (22.2% of total)
ival-div: 1.5s (18% of total)
ival-add: 643.0ms (7.9% of total)
ival-sin: 516.0ms (6.4% of total)
ival-tan: 365.0ms (4.5% of total)
ival-sub: 305.0ms (3.8% of total)
ival-neg: 236.0ms (2.9% of total)
ival-cos: 228.0ms (2.8% of total)
ival-exp: 165.0ms (2% of total)
ival-sqrt: 145.0ms (1.8% of total)
const: 92.0ms (1.1% of total)
backward-pass: 90.0ms (1.1% of total)
...c/correct-round.rkt:121:19: 22.0ms (0.3% of total)
ival-atan: 10.0ms (0.1% of total)
ival-hypot: 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)

analyze11.4s (2.5%)

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.2s
ival-mult: 2.1s (33.6% of total)
ival-pow: 1.3s (20.4% of total)
ival-div: 702.0ms (11.3% of total)
ival-add: 446.0ms (7.2% of total)
ival-sub: 363.0ms (5.9% of total)
ival-sqrt: 349.0ms (5.6% of total)
ival-sin: 186.0ms (3% of total)
ival-asin: 152.0ms (2.5% of total)
ival-tan: 133.0ms (2.2% of total)
...c/correct-round.rkt:121:19: 111.0ms (1.8% of total)
const: 88.0ms (1.4% of total)
ival-neg: 76.0ms (1.2% of total)
ival-exp: 54.0ms (0.9% of total)
ival-acos: 53.0ms (0.9% of total)
ival-fabs: 33.0ms (0.5% of total)
ival-<: 27.0ms (0.4% of total)
ival-pi: 24.0ms (0.4% of total)
backward-pass: 17.0ms (0.3% of total)
ival-cos: 14.0ms (0.2% of total)
ival-log: 14.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)

explain9.3s (2%)

Results
3.1s13084×0valid
1.6s2296×1valid
503.0ms496×2valid
462.0ms458×3valid
43.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.4s
ival-mult: 737.0ms (21.7% of total)
ival-div: 432.0ms (12.7% of total)
ival-tan: 371.0ms (10.9% of total)
ival-exp: 364.0ms (10.7% of total)
ival-pow: 363.0ms (10.7% of total)
backward-pass: 183.0ms (5.4% of total)
ival-sqrt: 164.0ms (4.8% of total)
ival-sub: 159.0ms (4.7% of total)
ival-add: 144.0ms (4.2% of total)
ival-cos: 127.0ms (3.7% of total)
ival-sin: 104.0ms (3.1% of total)
ival-hypot: 82.0ms (2.4% of total)
const: 40.0ms (1.2% of total)
ival-neg: 31.0ms (0.9% of total)
ival-acos: 29.0ms (0.9% of total)
ival-pi: 19.0ms (0.6% of total)
ival-log: 17.0ms (0.5% of total)
...c/correct-round.rkt:121:19: 9.0ms (0.3% of total)
ival-asin: 8.0ms (0.2% of total)
ival-fabs: 5.0ms (0.1% of total)
ival-atan: 5.0ms (0.1% of total)

preprocess8.8s (1.9%)

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)

end0.0ms (0%)

Profiling

Loading profile data...