Herbie run

Date:Thursday, June 6th, 2024
Commit:b2854467 on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024158
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.3min)

soundness8.1min (20.2%)

Rules
3541058×*-lowering-*.f32
3541058×*-lowering-*.f64
1841810×/-lowering-/.f32
1841810×/-lowering-/.f64
1814602×+-lowering-+.f32
Stop Event
85×saturated
1084×iter limit
155×fuel
992×node limit
2×unsound
114×done
Compiler

Compiled 173005 to 96349 computations (44.3% saved)

simplify7.1min (17.6%)

Algorithm
2143×egg-herbie
Rules
4194052×*-lowering-*.f32
4194052×*-lowering-*.f64
2169954×+-lowering-+.f32
2169954×+-lowering-+.f64
1790924×fma-lowering-fma.f64
Stop Event
1848×iter limit
807×saturated
1362×node limit
Counts
276036 → 276036

rewrite5.8min (14.4%)

Algorithm
937×batch-egg-rewrite
Rules
3161962×*-lowering-*.f32
3161962×*-lowering-*.f64
2520636×/-lowering-/.f32
2520636×/-lowering-/.f64
1306606×+-lowering-+.f32
Stop Event
49×saturated
960×iter limit
888×node limit
13×unsound
Counts
10218 → 492550

sample5.7min (14.2%)

Results
3.6min2145676×0valid
24.3s65795×1valid
9.5s64001×0invalid
5.4s1671×5exit
3.8s8253×2valid
707.0ms1137×3valid
400.0ms1794×1invalid
1.0ms3×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.5min
ival-mult: 50.0s (33.9% of total)
ival-sub: 20.7s (14% of total)
ival-add: 19.2s (13% of total)
ival-div: 17.8s (12% of total)
ival-log: 11.9s (8.1% of total)
...c/correct-round.rkt:119:19: 6.0s (4.1% of total)
backward-pass: 5.0s (3.4% of total)
ival-sqrt: 4.7s (3.2% of total)
ival-sin: 3.5s (2.4% of total)
const: 3.0s (2.1% of total)
ival-cos: 3.0s (2% of total)
ival-exp: 1.7s (1.2% of total)
ival-fabs: 235.0ms (0.2% of total)
ival-tan: 232.0ms (0.2% of total)
ival-cosh: 226.0ms (0.2% of total)
ival-acos: 198.0ms (0.1% of total)
ival-sinh: 148.0ms (0.1% of total)
ival-tanh: 103.0ms (0.1% of total)
Bogosity

prune2.8min (6.8%)

Counts
862919 → 15658
Compiler

Compiled 608311 to 326150 computations (46.4% saved)

localize2.6min (6.4%)

Results
1.5min221593×0valid
14.7s9053×1valid
10.8s2604×5exit
3.6s1845×2valid
2.4s3791×0invalid
813.0ms293×3valid
312.0ms662×0unsamplable
148.0ms17×4valid
39.0ms5×5valid
8.0ms9×1unsamplable
Compiler

Compiled 127881 to 18930 computations (85.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 44.6s
ival-mult: 14.4s (32.2% of total)
ival-div: 9.0s (20.2% of total)
ival-add: 4.7s (10.5% of total)
ival-sub: 3.4s (7.7% of total)
...c/correct-round.rkt:119:19: 3.3s (7.4% of total)
backward-pass: 3.0s (6.7% of total)
ival-log: 1.3s (2.9% of total)
ival-pow: 1.2s (2.7% of total)
compiled-spec: 1.1s (2.5% of total)
ival-cos: 897.0ms (2% of total)
ival-sqrt: 593.0ms (1.3% of total)
ival-sin: 588.0ms (1.3% of total)
const: 529.0ms (1.2% of total)
ival-exp: 262.0ms (0.6% of total)
ival-neg: 144.0ms (0.3% of total)
ival-tan: 49.0ms (0.1% of total)
ival-fabs: 29.0ms (0.1% of total)
ival-cosh: 20.0ms (0% of total)
ival-tanh: 18.0ms (0% of total)
ival-sinh: 17.0ms (0% of total)
ival-acos: 15.0ms (0% of total)
ival-asin: 4.0ms (0% of total)
ival-pi: 2.0ms (0% of total)

eval2.3min (5.8%)

Compiler

Compiled 23234182 to 1762502 computations (92.4% saved)

regimes1.8min (4.5%)

Counts
51794 → 5512
Calls

511 calls:

27.3s
x
16.1s
y
11.3s
(exp.f64 (*.f64 y y))
9.8s
z
5.7s
t
Compiler

Compiled 46171 to 36367 computations (21.2% saved)

bsearch1.4min (3.4%)

Algorithm
2854×binary-search
361×left-value
Stop Event
44×predicate-same
2810×narrow-enough
Results
55.0s343243×0valid
2.7s7524×1valid
551.0ms6471×0invalid
248.0ms721×2valid
33.0ms64×3valid
1.0ms2×1invalid
Compiler

Compiled 648616 to 476859 computations (26.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 36.3s
ival-mult: 15.1s (41.5% of total)
ival-sub: 6.5s (17.8% of total)
ival-add: 4.0s (11.1% of total)
ival-div: 3.3s (9.1% of total)
...c/correct-round.rkt:119:19: 1.9s (5.1% of total)
ival-log: 1.7s (4.6% of total)
ival-sin: 1.1s (3.1% of total)
ival-cos: 779.0ms (2.1% of total)
ival-sqrt: 607.0ms (1.7% of total)
const: 470.0ms (1.3% of total)
backward-pass: 437.0ms (1.2% of total)
ival-exp: 295.0ms (0.8% of total)
ival-cosh: 104.0ms (0.3% of total)
ival-sinh: 64.0ms (0.2% of total)
ival-tanh: 13.0ms (0% of total)
ival-fabs: 1.0ms (0% of total)

preprocess1.1min (2.8%)

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 164348 to 56296 computations (65.7% saved)

explain38.6s (1.6%)

Results
22.8s130402×0valid
3.2s6064×1valid
777.0ms1066×2valid
216.0ms190×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: 10.1s
ival-mult: 2.6s (25.8% of total)
ival-log: 2.0s (19.5% of total)
ival-div: 1.3s (12.5% of total)
ival-add: 1.2s (12.1% of total)
ival-sub: 1.2s (11.7% of total)
backward-pass: 442.0ms (4.4% of total)
...c/correct-round.rkt:119:19: 430.0ms (4.3% of total)
ival-sin: 212.0ms (2.1% of total)
const: 206.0ms (2% of total)
ival-sqrt: 200.0ms (2% of total)
ival-cos: 192.0ms (1.9% of total)
ival-exp: 113.0ms (1.1% of total)
ival-cosh: 15.0ms (0.1% of total)
ival-tan: 14.0ms (0.1% of total)
ival-fabs: 14.0ms (0.1% of total)
ival-sinh: 9.0ms (0.1% of total)
ival-tanh: 8.0ms (0.1% of total)
ival-acos: 5.0ms (0% of total)

series32.5s (1.3%)

Counts
10218 → 276036
Calls

51261 calls:

TimeVariablePointExpression
338.0ms
b
@-inf
(* (log (/ b -1/3)) -1)
288.0ms
x
@-inf
(/ (* (- x 2) (+ z (* x y))) (+ (* (+ (* (+ (* (+ x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000))
261.0ms
t
@0
(+ (- (- (* x (log y)) y) z) (log t))
206.0ms
z
@0
(* (+ x (* y (* z z))) (* (- x (* y (* z z))) (/ -1 (* y (* z z)))))
115.0ms
y
@0
(* x (- (log (* (/ -1 y) (- 0 (* x x)))) (log x)))

analyze22.1s (0.9%)

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: 8.3s
ival-mult: 3.0s (36.5% of total)
ival-add: 1.3s (15.2% of total)
ival-div: 1.2s (14.2% of total)
ival-sub: 1.1s (13.7% of total)
...c/correct-round.rkt:119:19: 582.0ms (7% of total)
ival-log: 314.0ms (3.8% of total)
ival-sqrt: 212.0ms (2.5% of total)
const: 174.0ms (2.1% of total)
ival-exp: 160.0ms (1.9% of total)
ival-sin: 97.0ms (1.2% of total)
backward-pass: 61.0ms (0.7% of total)
ival-tan: 31.0ms (0.4% of total)
ival-cos: 27.0ms (0.3% of total)
ival-acos: 21.0ms (0.3% of total)
ival-cosh: 18.0ms (0.2% of total)
ival-tanh: 8.0ms (0.1% of total)
ival-sinh: 4.0ms (0% of total)
ival-fabs: 3.0ms (0% of total)

end1.0ms (0%)

Profiling

Loading profile data...