Herbie run

Date:Saturday, May 18th, 2024
Commit:c2f4097e on main
Hostname:nightly with Racket 8.11.1
Seed:2024139
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.7min (22.4%)

Results
42.5s221083×0valid
13.6s29260×1valid
11.0s65843×0invalid
4.3s14049×1invalid
3.6s6385×3valid
3.5s6588×2valid
695.0ms870×4valid
371.0ms1022×2invalid
38.0ms243×0unsamplable
5.0ms6×5valid
4.0ms5×5exit
Precisions
Click to see histograms. Total time spent on operations: 59.6s
ival-mult: 15.9s (26.6% of total)
ival-div: 8.9s (14.9% of total)
ival-pow: 6.6s (11% of total)
ival-tan: 4.4s (7.4% of total)
ival-sub: 4.4s (7.4% of total)
ival-add: 3.4s (5.7% of total)
ival-sqrt: 3.1s (5.2% of total)
ival-sin: 2.4s (4% of total)
ival-exp: 2.3s (3.8% of total)
backward-pass: 1.8s (3.1% of total)
ival-cos: 1.0s (1.7% of total)
ival-acos: 872.0ms (1.5% of total)
ival-pi: 856.0ms (1.4% of total)
ival-neg: 721.0ms (1.2% of total)
const: 695.0ms (1.2% of total)
ival-log: 679.0ms (1.1% of total)
...c/correct-round.rkt:121:19: 629.0ms (1.1% of total)
ival-hypot: 300.0ms (0.5% of total)
ival-asin: 261.0ms (0.4% of total)
ival-<: 208.0ms (0.3% of total)
ival-atan: 127.0ms (0.2% of total)
ival-fabs: 109.0ms (0.2% of total)
ival-and: 11.0ms (0% of total)
Bogosity

simplify1.4min (19.4%)

Algorithm
286×egg-herbie
Rules
118424×fma-define
68030×fma-neg
65358×distribute-lft-in
61043×*-commutative
59699×times-frac
Stop Event
67×saturated
219×node limit
Counts
95374 → 80074

soundness52.8s (11.9%)

Rules
52729×fma-define
41928×log1p-expm1-u
33339×times-frac
32859×expm1-log1p-u
31790×associate-*r*
Stop Event
7×saturated
168×node limit
31×fuel
1×unsound
1×done
Compiler

Compiled 46586 to 13678 computations (70.6% saved)

localize41.0s (9.2%)

Results
13.0s21983×0valid
7.1s697×5exit
4.2s3841×1valid
3.2s4494×0invalid
1.7s852×2valid
1.1s371×3valid
346.0ms51×4valid
95.0ms86×1invalid
63.0ms134×0unsamplable
24.0ms3×5valid
Compiler

Compiled 36821 to 4378 computations (88.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.8s
ival-tan: 4.2s (22.2% of total)
ival-mult: 3.4s (18% of total)
ival-pow: 2.3s (12% of total)
ival-div: 2.1s (11.4% of total)
backward-pass: 1.4s (7.6% of total)
ival-sin: 1.2s (6.4% of total)
ival-sqrt: 767.0ms (4.1% of total)
ival-add: 751.0ms (4% of total)
ival-sub: 517.0ms (2.8% of total)
ival-cos: 369.0ms (2% of total)
ival-fma: 365.0ms (1.9% of total)
ival-hypot: 236.0ms (1.3% of total)
...c/correct-round.rkt:121:19: 228.0ms (1.2% of total)
ival-log: 181.0ms (1% of total)
ival-cbrt: 120.0ms (0.6% of total)
ival-asin: 119.0ms (0.6% of total)
const: 118.0ms (0.6% of total)
ival-exp: 109.0ms (0.6% of total)
ival-acos: 92.0ms (0.5% of total)
ival-neg: 60.0ms (0.3% of total)
ival-pi: 45.0ms (0.2% of total)
ival-atan: 38.0ms (0.2% of total)
ival-expm1: 37.0ms (0.2% of total)
ival-log1p: 32.0ms (0.2% of total)
ival-fabs: 13.0ms (0.1% of total)

rewrite33.8s (7.6%)

Algorithm
127×batch-egg-rewrite
Rules
69859×log1p-expm1-u
49651×expm1-log1p-u
34010×add-exp-log
33671×add-log-exp
33486×pow1
Stop Event
126×node limit
1×unsound
Counts
1940 → 50907

prune29.1s (6.6%)

Counts
112936 → 3376
Compiler

Compiled 150983 to 85677 computations (43.3% saved)

eval21.9s (4.9%)

Compiler

Compiled 3548019 to 475417 computations (86.6% saved)

regimes18.4s (4.1%)

Counts
11481 → 727
Calls

156 calls:

1.3s
l
963.0ms
k
855.0ms
t
830.0ms
d
764.0ms
M
Compiler

Compiled 8344 to 6174 computations (26% saved)

series16.4s (3.7%)

Counts
1940 → 44467
Calls

12342 calls:

TimeVariablePointExpression
462.0ms
l
@0
(* (sqrt 2) (/ t (sqrt (+ (* (+ x 1) (/ (+ (* 2 (* t t)) (* l l)) (+ x -1))) (neg (* l l))))))
327.0ms
t
@inf
(* (/ (+ x 1) (+ x -1)) (+ (* l l) (* 2 (* t t))))
259.0ms
t
@inf
(/ 2 (* (* (/ (pow t 2) l) (/ t l)) (* (* (sin k) (tan k)) (+ 2 (pow (/ k t) 2)))))
146.0ms
F
@inf
(/ (- (* F (sqrt (/ 1 (+ 2 (+ (* 2 x) (pow F 2)))))) x) B)
134.0ms
t
@0
(cbrt (* t (pow (* 2 (/ (+ 1 x) (+ x -1))) 1/2)))

bsearch14.7s (3.3%)

Algorithm
293×binary-search
80×left-value
Stop Event
7×predicate-same
284×narrow-enough
2×predicate-failed
Results
8.1s31774×0valid
1.3s7136×0invalid
751.0ms1186×2valid
558.0ms2024×1valid
107.0ms159×3valid
74.0ms279×1invalid
57.0ms140×2invalid
18.0ms25×4valid
Compiler

Compiled 80001 to 58437 computations (27% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.9s
ival-mult: 2.4s (30.6% of total)
ival-div: 1.6s (19.9% of total)
ival-pow: 1.2s (15.8% of total)
ival-sqrt: 484.0ms (6.2% of total)
ival-sin: 477.0ms (6.1% of total)
ival-add: 453.0ms (5.8% of total)
ival-tan: 369.0ms (4.7% of total)
ival-sub: 287.0ms (3.7% of total)
ival-neg: 124.0ms (1.6% of total)
backward-pass: 119.0ms (1.5% of total)
const: 82.0ms (1% of total)
ival-hypot: 56.0ms (0.7% of total)
ival-exp: 50.0ms (0.6% of total)
ival-log: 49.0ms (0.6% of total)
ival-cos: 36.0ms (0.5% of total)
...c/correct-round.rkt:121:19: 32.0ms (0.4% of total)
ival-atan: 12.0ms (0.2% of total)
ival-asin: 7.0ms (0.1% of total)
ival-pi: 4.0ms (0.1% of total)
ival-fabs: 1.0ms (0% of total)

analyze13.4s (3%)

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.8s
ival-mult: 2.9s (37.7% of total)
ival-pow: 1.6s (20.1% of total)
ival-div: 1.2s (15.7% of total)
ival-add: 429.0ms (5.5% of total)
ival-sqrt: 320.0ms (4.1% of total)
ival-sub: 319.0ms (4.1% of total)
ival-sin: 214.0ms (2.8% of total)
ival-tan: 181.0ms (2.3% of total)
...c/correct-round.rkt:121:19: 107.0ms (1.4% of total)
ival-neg: 97.0ms (1.2% of total)
ival-acos: 87.0ms (1.1% of total)
const: 83.0ms (1.1% of total)
ival-exp: 51.0ms (0.7% of total)
ival-pi: 42.0ms (0.5% of total)
ival-<: 28.0ms (0.4% of total)
ival-asin: 23.0ms (0.3% of total)
ival-fabs: 20.0ms (0.3% of total)
backward-pass: 17.0ms (0.2% of total)
ival-cos: 13.0ms (0.2% of total)
ival-log: 12.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)

preprocess8.8s (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 45112 to 18228 computations (59.6% saved)

explain8.1s (1.8%)

Results
3.1s13052×0valid
1.4s2350×1valid
337.0ms440×3valid
305.0ms490×2valid
45.0ms38×4valid
13.0ms14×5exit
Compiler

Compiled 7745 to 1591 computations (79.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.2s
ival-mult: 591.0ms (18.8% of total)
ival-cos: 388.0ms (12.3% of total)
ival-tan: 380.0ms (12.1% of total)
ival-div: 295.0ms (9.4% of total)
ival-pow: 249.0ms (7.9% of total)
ival-sub: 211.0ms (6.7% of total)
ival-exp: 160.0ms (5.1% of total)
backward-pass: 153.0ms (4.9% of total)
ival-pi: 143.0ms (4.5% of total)
ival-add: 136.0ms (4.3% of total)
ival-sqrt: 120.0ms (3.8% of total)
ival-sin: 114.0ms (3.6% of total)
ival-atan: 44.0ms (1.4% of total)
const: 38.0ms (1.2% of total)
ival-neg: 32.0ms (1% of total)
ival-acos: 30.0ms (1% of total)
ival-hypot: 21.0ms (0.7% of total)
ival-log: 18.0ms (0.6% of total)
ival-asin: 11.0ms (0.3% of total)
...c/correct-round.rkt:121:19: 10.0ms (0.3% of total)
ival-fabs: 5.0ms (0.2% of total)

end0.0ms (0%)

Profiling

Loading profile data...