Herbie run

Date:Sunday, June 9th, 2024
Commit:7e8e04d8 on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024161
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: 40.5min)

soundness8.3min (20.4%)

Rules
3489868×*-lowering-*.f32
3489868×*-lowering-*.f64
1806732×/-lowering-/.f32
1806732×/-lowering-/.f64
1793228×+-lowering-+.f32
Stop Event
82×saturated
1073×iter limit
158×fuel
979×node limit
3×unsound
111×done
Compiler

Compiled 172834 to 97231 computations (43.7% saved)

simplify7.2min (17.9%)

Algorithm
2145×egg-herbie
Rules
4305790×*-lowering-*.f32
4305790×*-lowering-*.f64
2234916×+-lowering-+.f32
2234916×+-lowering-+.f64
1805348×fma-lowering-fma.f64
Stop Event
1856×iter limit
796×saturated
1369×node limit
Counts
275709 → 275709

sample6.3min (15.6%)

Results
4.2min2145716×0valid
23.9s65727×1valid
10.4s64459×0invalid
5.4s1583×5exit
2.8s8228×2valid
1.7s1770×1invalid
704.0ms1191×3valid
1.0ms2×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.7min
ival-mult: 50.1s (31.2% of total)
ival-sub: 31.3s (19.5% of total)
ival-add: 20.8s (12.9% of total)
ival-div: 18.9s (11.8% of total)
ival-log: 9.4s (5.8% of total)
...c/correct-round.rkt:119:19: 6.7s (4.2% of total)
ival-sqrt: 5.6s (3.5% of total)
backward-pass: 4.6s (2.9% of total)
ival-sin: 3.5s (2.2% of total)
const: 3.4s (2.1% of total)
ival-cos: 3.0s (1.9% of total)
ival-exp: 2.0s (1.3% of total)
ival-cosh: 353.0ms (0.2% of total)
ival-tan: 265.0ms (0.2% of total)
ival-fabs: 208.0ms (0.1% of total)
ival-acos: 193.0ms (0.1% of total)
ival-sinh: 184.0ms (0.1% of total)
ival-tanh: 124.0ms (0.1% of total)
Bogosity

rewrite5.8min (14.2%)

Algorithm
938×batch-egg-rewrite
Rules
3181828×*-lowering-*.f32
3181828×*-lowering-*.f64
2538052×/-lowering-/.f32
2538052×/-lowering-/.f64
1327314×+-lowering-+.f32
Stop Event
39×saturated
965×iter limit
895×node limit
14×unsound
Counts
10137 → 483319

localize2.5min (6.1%)

Results
1.4min223192×0valid
15.2s9364×1valid
6.0s2159×5exit
4.0s1940×2valid
1.5s2406×0invalid
757.0ms318×3valid
369.0ms707×0unsamplable
36.0ms23×1invalid
18.0ms8×4valid
13.0ms6×2invalid
5.0ms5×1unsamplable
Compiler

Compiled 128754 to 18888 computations (85.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 42.2s
ival-mult: 12.2s (29% of total)
ival-div: 8.4s (19.9% of total)
ival-add: 4.7s (11.2% of total)
ival-sub: 3.2s (7.6% of total)
backward-pass: 2.8s (6.7% of total)
...c/correct-round.rkt:119:19: 2.8s (6.6% of total)
ival-log: 2.4s (5.8% of total)
compiled-spec: 1.2s (2.9% of total)
ival-pow: 1.0s (2.4% of total)
ival-cos: 965.0ms (2.3% of total)
ival-sqrt: 623.0ms (1.5% of total)
ival-sin: 566.0ms (1.3% of total)
const: 558.0ms (1.3% of total)
ival-exp: 228.0ms (0.5% of total)
ival-neg: 189.0ms (0.4% of total)
ival-tan: 81.0ms (0.2% of total)
ival-fabs: 50.0ms (0.1% of total)
ival-sinh: 30.0ms (0.1% of total)
ival-cosh: 17.0ms (0% of total)
ival-tanh: 13.0ms (0% of total)
ival-asin: 10.0ms (0% of total)
ival-acos: 8.0ms (0% of total)
ival-cbrt: 4.0ms (0% of total)
ival-pi: 4.0ms (0% of total)

eval2.4min (5.8%)

Compiler

Compiled 22792648 to 1757032 computations (92.3% saved)

prune2.2min (5.5%)

Counts
854304 → 15765
Compiler

Compiled 620031 to 328227 computations (47.1% saved)

regimes1.7min (4.3%)

Counts
50386 → 5421
Calls

511 calls:

29.3s
y
14.2s
x
14.0s
t
10.7s
z
3.8s
a
Compiler

Compiled 47033 to 37208 computations (20.9% saved)

bsearch1.4min (3.4%)

Algorithm
2774×binary-search
369×left-value
Stop Event
72×predicate-same
2702×narrow-enough
Results
52.7s332333×0valid
3.7s9156×1valid
754.0ms8145×0invalid
411.0ms1585×1invalid
315.0ms702×2valid
59.0ms17×3valid
Compiler

Compiled 624258 to 456895 computations (26.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 32.8s
ival-mult: 11.6s (35.2% of total)
ival-sub: 6.5s (19.8% of total)
ival-add: 4.4s (13.5% of total)
ival-div: 2.9s (8.7% of total)
...c/correct-round.rkt:119:19: 2.3s (6.9% of total)
ival-log: 1.7s (5.1% of total)
ival-sin: 793.0ms (2.4% of total)
ival-sqrt: 673.0ms (2.1% of total)
backward-pass: 529.0ms (1.6% of total)
ival-cos: 514.0ms (1.6% of total)
const: 484.0ms (1.5% of total)
ival-exp: 296.0ms (0.9% of total)
ival-cosh: 102.0ms (0.3% of total)
ival-sinh: 65.0ms (0.2% of total)
ival-fabs: 43.0ms (0.1% of total)
ival-tanh: 10.0ms (0% of total)
ival-tan: 9.0ms (0% of total)

preprocess1.1min (2.7%)

Algorithm
538×egg-herbie
Rules
454154×sum3-define
442996×fnmadd-define
350802×fmsub-define
350726×fnmsub-define
338756×fma-define
Stop Event
286×saturated
269×iter limit
252×node limit
Compiler

Compiled 159252 to 54964 computations (65.5% saved)

explain42.4s (1.7%)

Results
23.1s130542×0valid
3.8s6074×1valid
1.0s940×2valid
167.0ms166×3valid
3.0ms4×4valid
1.0ms2×5exit
Compiler

Compiled 26361 to 7864 computations (70.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.4s
ival-mult: 2.9s (31.1% of total)
ival-log: 1.3s (13.6% of total)
ival-sub: 1.2s (13.2% of total)
ival-add: 1.1s (11.2% of total)
ival-div: 984.0ms (10.5% of total)
backward-pass: 512.0ms (5.4% of total)
...c/correct-round.rkt:119:19: 381.0ms (4.1% of total)
ival-sin: 227.0ms (2.4% of total)
const: 223.0ms (2.4% of total)
ival-sqrt: 194.0ms (2.1% of total)
ival-cos: 179.0ms (1.9% of total)
ival-exp: 134.0ms (1.4% of total)
ival-tan: 14.0ms (0.1% of total)
ival-sinh: 13.0ms (0.1% of total)
ival-cosh: 12.0ms (0.1% of total)
ival-fabs: 12.0ms (0.1% of total)
ival-acos: 8.0ms (0.1% of total)
ival-tanh: 7.0ms (0.1% of total)

series31.0s (1.3%)

Counts
10137 → 275709
Calls

50550 calls:

TimeVariablePointExpression
302.0ms
y
@-inf
(/ (- (* (* (* x x) (+ 1/2 (* 1/2 (cos (* 2 y))))) (+ (* x (cos y)) (* z (sin y)))) (* (+ (* x (cos y)) (* z (sin y))) (* (* z z) (- 1/2 (* 1/2 (cos (* 2 y))))))) (pow (+ (* x (cos y)) (* z (sin y))) 2))
270.0ms
z
@inf
(- (* (/ 1 (+ (* x (log y)) z)) (- (pow (* x (log y)) 2) (* z z))) y)
242.0ms
x
@-inf
(/ (- (pow (+ (* x (log y)) (* z (log (- 1 y)))) 2) (* t t)) (+ (* z (log (- 1 y))) (+ (* x (log y)) t)))
174.0ms
y
@inf
(* 2 (* (* a a) (* (* b b) y)))
164.0ms
x
@0
(* x (log y))

analyze26.3s (1.1%)

Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.5%46.4%53.4%0.1%0%0%0%1
50.1%49.7%49.5%0.1%0%0.6%0%2
58.6%57%40.3%0.1%0%2.6%0%3
65.2%62.7%33.5%0.1%0%3.6%0%4
71.2%68.2%27.5%0.1%0%4.1%0%5
75.9%72.3%23%0.1%0%4.6%0%6
79.8%75.6%19.1%0.1%0%5.1%0%7
81.7%77%17.3%0.1%0%5.6%0%8
84.3%79.3%14.7%0.1%0%5.9%0%9
85.9%80.5%13.2%0.1%0%6.2%0%10
88.5%82.8%10.8%0.1%0%6.2%0%11
89.6%83.6%9.8%0.1%0%6.5%0%12
Compiler

Compiled 4012 to 2711 computations (32.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.6s
ival-mult: 3.9s (33.7% of total)
...c/correct-round.rkt:119:19: 2.0s (17.3% of total)
ival-add: 1.6s (13.8% of total)
ival-sub: 1.6s (13.6% of total)
ival-div: 1.2s (10.6% of total)
ival-sqrt: 515.0ms (4.4% of total)
ival-log: 219.0ms (1.9% of total)
const: 163.0ms (1.4% of total)
ival-exp: 131.0ms (1.1% of total)
ival-sin: 75.0ms (0.6% of total)
backward-pass: 63.0ms (0.5% of total)
ival-tan: 32.0ms (0.3% of total)
ival-cos: 27.0ms (0.2% of total)
ival-acos: 24.0ms (0.2% of total)
ival-cosh: 15.0ms (0.1% of total)
ival-tanh: 10.0ms (0.1% of total)
ival-sinh: 5.0ms (0% of total)
ival-fabs: 3.0ms (0% of total)

end2.0ms (0%)

Profiling

Loading profile data...