Herbie run

Date:Monday, May 20th, 2024
Commit:c2f4097e on main
Hostname:nightly with Racket 8.11.1
Seed:2024141
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.5min)

sample1.7min (21.9%)

Results
39.1s221072×0valid
13.3s29004×1valid
12.0s65180×0invalid
5.8s14351×1invalid
4.4s6462×3valid
3.5s6746×2valid
925.0ms903×4valid
496.0ms990×2invalid
32.0ms221×0unsamplable
5.0ms4×5exit
4.0ms5×5valid
Precisions
Click to see histograms. Total time spent on operations: 1.0min
ival-mult: 16.7s (27.7% of total)
ival-div: 9.4s (15.5% of total)
ival-pow: 6.4s (10.6% of total)
ival-sub: 4.7s (7.8% of total)
ival-tan: 4.2s (6.9% of total)
ival-add: 3.1s (5.1% of total)
ival-sqrt: 2.9s (4.8% of total)
ival-exp: 2.8s (4.6% of total)
backward-pass: 1.9s (3.2% of total)
ival-sin: 1.9s (3.1% of total)
ival-cos: 930.0ms (1.5% of total)
ival-neg: 804.0ms (1.3% of total)
ival-acos: 765.0ms (1.3% of total)
...c/correct-round.rkt:121:19: 725.0ms (1.2% of total)
ival-pi: 705.0ms (1.2% of total)
const: 703.0ms (1.2% of total)
ival-log: 609.0ms (1% of total)
ival-hypot: 366.0ms (0.6% of total)
ival-asin: 330.0ms (0.5% of total)
ival-<: 210.0ms (0.3% of total)
ival-atan: 140.0ms (0.2% of total)
ival-fabs: 104.0ms (0.2% of total)
ival-and: 11.0ms (0% of total)
Bogosity

simplify1.4min (18.3%)

Algorithm
284×egg-herbie
Rules
117250×fma-define
68296×times-frac
63439×fma-neg
63270×distribute-lft-in
61345×*-commutative
Stop Event
66×saturated
218×node limit
Counts
93848 → 79829

soundness56.7s (12.5%)

Rules
53835×fma-define
44154×log1p-expm1-u
38040×times-frac
35517×associate-*r*
32277×expm1-log1p-u
Stop Event
7×saturated
177×node limit
29×fuel
1×unsound
3×done
Compiler

Compiled 43143 to 13389 computations (69% saved)

localize44.2s (9.8%)

Results
12.5s22477×0valid
8.5s883×5exit
5.0s3351×1valid
2.8s3850×0invalid
2.3s722×2valid
895.0ms329×3valid
733.0ms218×3invalid
662.0ms117×4valid
653.0ms129×2invalid
415.0ms152×1invalid
113.0ms11×5valid
13.0ms17×0unsamplable
Compiler

Compiled 36449 to 4311 computations (88.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 23.2s
ival-tan: 5.6s (24.1% of total)
ival-mult: 4.3s (18.5% of total)
ival-pow: 3.7s (16.1% of total)
ival-div: 2.8s (11.9% of total)
backward-pass: 1.3s (5.5% of total)
ival-sqrt: 904.0ms (3.9% of total)
ival-sin: 711.0ms (3.1% of total)
ival-add: 667.0ms (2.9% of total)
ival-sub: 581.0ms (2.5% of total)
ival-cos: 424.0ms (1.8% of total)
ival-exp: 371.0ms (1.6% of total)
ival-fma: 301.0ms (1.3% of total)
ival-hypot: 281.0ms (1.2% of total)
ival-log: 257.0ms (1.1% of total)
...c/correct-round.rkt:121:19: 236.0ms (1% of total)
ival-cbrt: 167.0ms (0.7% of total)
ival-acos: 150.0ms (0.6% of total)
const: 119.0ms (0.5% of total)
ival-neg: 81.0ms (0.3% of total)
ival-log1p: 77.0ms (0.3% of total)
ival-expm1: 74.0ms (0.3% of total)
ival-asin: 66.0ms (0.3% of total)
ival-pi: 41.0ms (0.2% of total)
ival-atan: 41.0ms (0.2% of total)
ival-fabs: 9.0ms (0% of total)

rewrite36.1s (8%)

Algorithm
126×batch-egg-rewrite
Rules
70959×log1p-expm1-u
50482×expm1-log1p-u
33736×add-exp-log
33599×add-log-exp
33261×pow1
Stop Event
125×node limit
1×unsound
Counts
1942 → 49557

prune27.8s (6.1%)

Counts
112044 → 3429
Compiler

Compiled 157250 to 88086 computations (44% saved)

eval22.9s (5.1%)

Compiler

Compiled 3470125 to 470777 computations (86.4% saved)

series19.0s (4.2%)

Counts
1942 → 44291
Calls

12162 calls:

TimeVariablePointExpression
304.0ms
l
@0
(* (/ 2 (log (pow (exp (pow t 3)) (* (sin k) (* (tan k) (pow (/ k t) 2)))))) (* l l))
254.0ms
U
@inf
(sqrt (* (* 2 n) (* U (- t (* 2 (* (/ (pow l 3/2) Om) (sqrt l)))))))
248.0ms
B
@inf
(/ (- (+ 1 (* (pow B 2) (+ 1/6 (* 1/3 x)))) x) B)
205.0ms
k
@inf
(sqrt (* (sin k) (tan k)))
194.0ms
kx
@inf
(log (+ 1 (sqrt (+ 1/2 (/ 1/2 (sqrt (+ (* 1 1) (* (* (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky)))) (* 2 (/ l Om))) (* (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky)))) (* 2 (/ l Om)))))))))))

regimes18.9s (4.2%)

Counts
11108 → 777
Calls

156 calls:

1.4s
l
943.0ms
t
794.0ms
k
572.0ms
d
500.0ms
n
Compiler

Compiled 8629 to 6396 computations (25.9% saved)

bsearch14.3s (3.2%)

Algorithm
314×binary-search
106×left-value
Stop Event
12×predicate-same
299×narrow-enough
3×predicate-failed
Results
7.6s36450×0valid
1.3s6338×0invalid
417.0ms1036×1valid
312.0ms572×2valid
230.0ms372×3valid
137.0ms202×5exit
113.0ms161×4valid
31.0ms52×2invalid
27.0ms109×1invalid
1.0ms1×5valid
Compiler

Compiled 84065 to 61859 computations (26.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.5s
ival-mult: 1.8s (23.9% of total)
ival-pow: 1.8s (23.9% of total)
ival-div: 1.1s (14.2% of total)
ival-add: 541.0ms (7.2% of total)
ival-sin: 520.0ms (6.9% of total)
ival-tan: 381.0ms (5.1% of total)
ival-cos: 325.0ms (4.3% of total)
ival-sub: 300.0ms (4% of total)
ival-neg: 174.0ms (2.3% of total)
ival-sqrt: 152.0ms (2% of total)
backward-pass: 120.0ms (1.6% of total)
ival-exp: 117.0ms (1.6% of total)
...c/correct-round.rkt:121:19: 100.0ms (1.3% of total)
const: 83.0ms (1.1% of total)
ival-atan: 16.0ms (0.2% of total)
ival-log: 14.0ms (0.2% of total)
ival-pi: 10.0ms (0.1% of total)
ival-hypot: 8.0ms (0.1% of total)
ival-asin: 5.0ms (0.1% of total)
ival-fabs: 2.0ms (0% of total)

analyze12.2s (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: 7.0s
ival-mult: 2.1s (29.2% of total)
ival-pow: 1.7s (24.1% of total)
ival-div: 1.2s (16.5% of total)
ival-sub: 415.0ms (5.9% of total)
ival-add: 378.0ms (5.4% of total)
ival-sqrt: 300.0ms (4.3% of total)
ival-sin: 211.0ms (3% of total)
ival-tan: 202.0ms (2.9% of total)
...c/correct-round.rkt:121:19: 151.0ms (2.1% of total)
ival-fabs: 87.0ms (1.2% of total)
const: 86.0ms (1.2% of total)
ival-neg: 76.0ms (1.1% of total)
ival-exp: 50.0ms (0.7% of total)
ival-acos: 50.0ms (0.7% of total)
ival-pi: 28.0ms (0.4% of total)
ival-<: 25.0ms (0.4% of total)
ival-asin: 23.0ms (0.3% of total)
backward-pass: 16.0ms (0.2% 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)

preprocess9.3s (2%)

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 41590 to 16730 computations (59.8% saved)

explain9.0s (2%)

Results
3.3s13082×0valid
1.3s2274×1valid
815.0ms438×3valid
489.0ms508×2valid
135.0ms70×4valid
12.0ms12×5exit
Compiler

Compiled 7745 to 1591 computations (79.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.6s
ival-mult: 979.0ms (27.3% of total)
ival-tan: 422.0ms (11.8% of total)
ival-div: 294.0ms (8.2% of total)
ival-pow: 293.0ms (8.2% of total)
ival-sub: 250.0ms (7% of total)
ival-add: 221.0ms (6.2% of total)
backward-pass: 195.0ms (5.4% of total)
ival-exp: 183.0ms (5.1% of total)
ival-sqrt: 177.0ms (4.9% of total)
ival-cos: 160.0ms (4.5% of total)
ival-sin: 124.0ms (3.5% of total)
ival-neg: 84.0ms (2.3% of total)
...c/correct-round.rkt:121:19: 46.0ms (1.3% of total)
const: 42.0ms (1.2% of total)
ival-acos: 33.0ms (0.9% of total)
ival-pi: 18.0ms (0.5% of total)
ival-log: 18.0ms (0.5% of total)
ival-hypot: 17.0ms (0.5% of total)
ival-asin: 10.0ms (0.3% of total)
ival-atan: 8.0ms (0.2% of total)
ival-fabs: 4.0ms (0.1% of total)

end0.0ms (0%)

Profiling

Loading profile data...