Herbie run

Date:Saturday, May 11th, 2024
Commit:66dd3019 on main
Hostname:nightly with Racket 8.11.1
Seed:2024132
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.4min)

sample1.6min (22.2%)

Results
38.9s221194×0valid
14.4s29176×1valid
10.8s65649×0invalid
4.4s6495×2valid
4.0s6433×3valid
3.5s10377×1invalid
2.1s3932×5exit
1.1s891×4valid
235.0ms489×2invalid
31.0ms218×0unsamplable
4.0ms3×5valid
Precisions
Click to see histograms. Total time spent on operations: 60.0s
ival-mult: 17.2s (28.8% of total)
ival-div: 9.4s (15.6% of total)
ival-pow: 7.1s (11.9% of total)
ival-tan: 4.5s (7.5% of total)
ival-sub: 4.0s (6.7% of total)
ival-add: 2.9s (4.9% of total)
ival-sqrt: 2.5s (4.1% of total)
backward-pass: 2.2s (3.7% of total)
ival-sin: 2.0s (3.4% of total)
ival-exp: 1.9s (3.2% of total)
ival-cos: 1.1s (1.8% of total)
ival-acos: 896.0ms (1.5% of total)
ival-neg: 745.0ms (1.2% of total)
const: 684.0ms (1.1% of total)
...c/correct-round.rkt:119:19: 615.0ms (1% of total)
ival-pi: 593.0ms (1% of total)
ival-log: 520.0ms (0.9% of total)
ival-asin: 353.0ms (0.6% of total)
ival-hypot: 329.0ms (0.5% of total)
ival-<: 133.0ms (0.2% of total)
ival-fabs: 111.0ms (0.2% of total)
ival-atan: 90.0ms (0.2% of total)
ival-and: 10.0ms (0% of total)
Bogosity

simplify1.4min (19.4%)

Algorithm
286×egg-herbie
Rules
108712×fma-define
62995×distribute-lft-in
60585×fma-neg
59863×*-commutative
55539×times-frac
Stop Event
72×saturated
214×node limit
Counts
91069 → 78338

soundness59.0s (13.4%)

Rules
51248×fma-define
41834×log1p-expm1-u
32098×times-frac
31947×associate-*r*
30009×expm1-log1p-u
Stop Event
7×saturated
169×node limit
30×fuel
1×unsound
2×done
Compiler

Compiled 41984 to 12226 computations (70.9% saved)

localize40.6s (9.2%)

Results
12.5s21983×0valid
5.4s540×5exit
5.4s3952×1valid
3.3s4380×0invalid
2.1s741×2valid
1.2s436×3valid
278.0ms71×4valid
168.0ms403×0unsamplable
29.0ms6×5valid
Compiler

Compiled 36348 to 4258 computations (88.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.3s
ival-mult: 4.0s (21.8% of total)
ival-tan: 3.2s (17.7% of total)
ival-div: 2.2s (12% of total)
ival-pow: 2.2s (12% of total)
ival-sqrt: 899.0ms (4.9% of total)
backward-pass: 853.0ms (4.7% of total)
ival-sub: 812.0ms (4.4% of total)
ival-fma: 762.0ms (4.2% of total)
ival-add: 725.0ms (4% of total)
ival-sin: 491.0ms (2.7% of total)
ival-cos: 358.0ms (2% of total)
ival-fabs: 294.0ms (1.6% of total)
...c/correct-round.rkt:119:19: 267.0ms (1.5% of total)
ival-exp: 201.0ms (1.1% of total)
ival-hypot: 196.0ms (1.1% of total)
ival-acos: 147.0ms (0.8% of total)
const: 115.0ms (0.6% of total)
ival-log: 106.0ms (0.6% of total)
ival-cbrt: 98.0ms (0.5% of total)
ival-asin: 95.0ms (0.5% of total)
ival-expm1: 70.0ms (0.4% of total)
ival-log1p: 64.0ms (0.3% of total)
ival-neg: 63.0ms (0.3% of total)
ival-pi: 41.0ms (0.2% of total)
ival-atan: 37.0ms (0.2% of total)

rewrite32.2s (7.3%)

Algorithm
127×batch-egg-rewrite
Rules
70157×log1p-expm1-u
50550×expm1-log1p-u
33538×pow1
33428×add-exp-log
32926×add-log-exp
Stop Event
126×node limit
1×unsound
Counts
1846 → 47746

prune27.5s (6.2%)

Counts
110189 → 3388
Compiler

Compiled 155198 to 86234 computations (44.4% saved)

eval22.2s (5%)

Compiler

Compiled 3504265 to 472141 computations (86.5% saved)

series16.6s (3.8%)

Counts
1846 → 43323
Calls

11841 calls:

TimeVariablePointExpression
243.0ms
M
@inf
(* c0 (log (pow (exp M) (/ (sqrt -1) (* w 2)))))
242.0ms
B
@inf
(* x (- (/ 1 (* x (sin B))) (/ (cos B) (sin B))))
210.0ms
l
@inf
(+ (neg l) (- m n))
180.0ms
k
@0
(pow (* 2 (* n (/ (PI) k))) 1/4)
148.0ms
F
@inf
(/ (/ F (sin B)) (sqrt (+ (* 2 x) (+ (* F F) 2))))

regimes16.4s (3.7%)

Counts
9225 → 675
Calls

156 calls:

1.7s
l
980.0ms
t
829.0ms
k
660.0ms
n
646.0ms
x
Compiler

Compiled 8071 to 6004 computations (25.6% saved)

bsearch13.6s (3.1%)

Algorithm
277×binary-search
73×left-value
Stop Event
16×predicate-same
261×narrow-enough
Results
6.6s31925×0valid
1.4s6905×0invalid
617.0ms201×3valid
525.0ms1520×1valid
485.0ms818×2valid
347.0ms210×1invalid
333.0ms128×4valid
65.0ms164×2invalid
Compiler

Compiled 81162 to 58187 computations (28.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.9s
ival-mult: 1.8s (26.2% of total)
ival-pow: 1.2s (17.3% of total)
ival-div: 1.2s (16.8% of total)
ival-sqrt: 553.0ms (8% of total)
ival-add: 480.0ms (6.9% of total)
ival-sin: 463.0ms (6.7% of total)
ival-tan: 348.0ms (5% of total)
ival-sub: 272.0ms (3.9% of total)
ival-neg: 168.0ms (2.4% of total)
backward-pass: 143.0ms (2.1% of total)
ival-exp: 88.0ms (1.3% of total)
ival-cos: 88.0ms (1.3% of total)
const: 76.0ms (1.1% of total)
...c/correct-round.rkt:119:19: 26.0ms (0.4% of total)
ival-atan: 13.0ms (0.2% of total)
ival-asin: 11.0ms (0.2% of total)
ival-hypot: 11.0ms (0.2% of total)
ival-fabs: 4.0ms (0.1% of total)
ival-log: 4.0ms (0.1% of total)
ival-pi: 2.0ms (0% of total)

analyze12.2s (2.8%)

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: 7.3s
ival-mult: 2.2s (30% of total)
ival-pow: 1.4s (19.3% of total)
ival-div: 1.3s (17.5% of total)
ival-sqrt: 504.0ms (6.9% of total)
ival-sub: 494.0ms (6.8% of total)
...c/correct-round.rkt:119:19: 353.0ms (4.8% of total)
ival-add: 332.0ms (4.5% of total)
ival-sin: 198.0ms (2.7% of total)
ival-tan: 133.0ms (1.8% of total)
const: 78.0ms (1.1% of total)
ival-neg: 75.0ms (1% of total)
ival-exp: 51.0ms (0.7% of total)
ival-acos: 49.0ms (0.7% of total)
ival-pi: 44.0ms (0.6% of total)
ival-<: 25.0ms (0.3% of total)
backward-pass: 23.0ms (0.3% of total)
ival-asin: 22.0ms (0.3% of total)
ival-fabs: 20.0ms (0.3% of total)
ival-cos: 13.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)
ival-hypot: 0.0ms (0% of total)

preprocess9.2s (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 41874 to 16632 computations (60.3% saved)

explain8.2s (1.9%)

Results
3.2s13056×0valid
1.2s2346×1valid
422.0ms526×2valid
274.0ms384×3valid
76.0ms66×4valid
5.0ms6×5exit
Compiler

Compiled 7745 to 1591 computations (79.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.3s
ival-mult: 886.0ms (27.2% of total)
ival-div: 462.0ms (14.2% of total)
ival-tan: 378.0ms (11.6% of total)
ival-pow: 336.0ms (10.3% of total)
ival-add: 177.0ms (5.4% of total)
backward-pass: 168.0ms (5.2% of total)
ival-sub: 155.0ms (4.8% of total)
ival-sqrt: 137.0ms (4.2% of total)
ival-exp: 133.0ms (4.1% of total)
ival-sin: 107.0ms (3.3% of total)
ival-cos: 81.0ms (2.5% of total)
ival-neg: 47.0ms (1.4% of total)
const: 45.0ms (1.4% of total)
ival-atan: 40.0ms (1.2% of total)
ival-acos: 27.0ms (0.8% of total)
ival-hypot: 21.0ms (0.6% of total)
ival-pi: 17.0ms (0.5% of total)
ival-log: 13.0ms (0.4% of total)
ival-asin: 10.0ms (0.3% of total)
...c/correct-round.rkt:119:19: 9.0ms (0.3% of total)
ival-fabs: 5.0ms (0.2% of total)

end0.0ms (0%)

Profiling

Loading profile data...