Herbie run

Date:Thursday, September 5th, 2024
Commit:9205cc88 on zane-concrete-values
Hostname:nightly with Racket 8.11.1
Seed:2024249
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: 3.4min)

sample1.0min (30.5%)

Memory
643.5MiB live, 42 766.2MiB allocated
Samples
24.1s43 416×1valid
12.9s109 864×0valid
8.7s6 331×5exit
4.1s11 840×2valid
1.5s10 138×1exit
466.0ms4 035×0invalid
164.0ms1 423×0exit
Precisions
Click to see histograms. Total time spent on operations: 44.3s
const: 9.0s (20.2% of total)
ival-exp: 4.3s (9.7% of total)
ival-tan: 4.1s (9.3% of total)
ival-mult: 3.8s (8.5% of total)
ival-pow: 3.3s (7.5% of total)
adjust: 2.7s (6.2% of total)
ival-sub: 2.7s (6% of total)
ival-<=: 2.3s (5.1% of total)
ival-cos: 2.0s (4.4% of total)
ival-add: 1.7s (3.8% of total)
ival-sqrt: 1.6s (3.5% of total)
ival-log: 1.5s (3.5% of total)
ival-acos: 1.1s (2.5% of total)
ival-fmod: 767.0ms (1.7% of total)
ival-sin: 703.0ms (1.6% of total)
ival-sinh: 691.0ms (1.6% of total)
ival-div: 651.0ms (1.5% of total)
ival-pow2: 370.0ms (0.8% of total)
ival-neg: 198.0ms (0.4% of total)
ival-hypot: 194.0ms (0.4% of total)
ival-==: 154.0ms (0.3% of total)
ival-and: 112.0ms (0.3% of total)
ival-true: 96.0ms (0.2% of total)
exact: 77.0ms (0.2% of total)
ival-assert: 73.0ms (0.2% of total)
ival-atan: 72.0ms (0.2% of total)
ival-<: 65.0ms (0.1% of total)
ival-or: 37.0ms (0.1% of total)
ival->: 26.0ms (0.1% of total)
ival->=: 24.0ms (0.1% of total)
Bogosity

soundness33.0s (16.3%)

Memory
-122.0MiB live, 8 738.1MiB allocated
Rules
648 526×lower-fma.f32
648 354×lower-fma.f64
326 852×lower-*.f32
326 436×lower-*.f64
171 034×lower-+.f32
Stop Event
139×iter limit
76×node limit
14×fuel
6×done
4×saturated
4×unsound
Compiler

Compiled 8 317 to 4 619 computations (44.5% saved)

simplify22.1s (10.9%)

Memory
-246.4MiB live, 16 033.2MiB allocated
Algorithm
164×egg-herbie
Rules
998 086×lower-fma.f32
997 840×lower-fma.f64
347 252×lower-*.f32
346 626×lower-*.f64
212 386×lower-+.f32
Stop Event
212×iter limit
89×saturated
79×node limit
Counts
17 784 → 17 483

rewrite21.7s (10.7%)

Memory
-42.4MiB live, 13 615.5MiB allocated
Rules
262 742×lower-fma.f32
262 496×lower-fma.f64
237 516×lower-*.f32
236 926×lower-*.f64
190 664×lower-/.f32
Stop Event
160×iter limit
65×node limit
6×unsound
4×saturated
Counts
958 → 38 626

eval21.6s (10.7%)

Memory
757.7MiB live, 18 192.8MiB allocated
Compiler

Compiled 1 821 504 to 158 226 computations (91.3% saved)

localize11.2s (5.6%)

Memory
-73.9MiB live, 11 618.3MiB allocated
Samples
4.9s5 281×1valid
2.9s11 170×0valid
1.2s1 347×2valid
86.0ms48×3valid
70.0ms196×1exit
61.0ms88×1invalid
39.0ms301×0invalid
2.0ms1×4valid
Compiler

Compiled 10 760 to 1 706 computations (84.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.0s
ival-mult: 1.6s (22.3% of total)
ival-cos: 829.0ms (11.8% of total)
ival-div: 586.0ms (8.4% of total)
ival-sqrt: 583.0ms (8.3% of total)
adjust: 482.0ms (6.9% of total)
ival-add: 409.0ms (5.8% of total)
ival-pow: 356.0ms (5.1% of total)
ival-tan: 327.0ms (4.7% of total)
ival-sin: 244.0ms (3.5% of total)
ival-hypot: 230.0ms (3.3% of total)
ival-sub: 229.0ms (3.3% of total)
const: 217.0ms (3.1% of total)
ival-log: 195.0ms (2.8% of total)
ival-pow2: 153.0ms (2.2% of total)
ival-sinh: 142.0ms (2% of total)
ival-neg: 127.0ms (1.8% of total)
ival-fmod: 98.0ms (1.4% of total)
ival-exp: 88.0ms (1.3% of total)
ival-acos: 53.0ms (0.8% of total)
ival-asin: 29.0ms (0.4% of total)
exact: 20.0ms (0.3% of total)
ival-true: 15.0ms (0.2% of total)
ival-pi: 11.0ms (0.2% of total)
ival-assert: 8.0ms (0.1% of total)
ival-cbrt: 7.0ms (0.1% of total)
ival-atan: 3.0ms (0% of total)

prune8.4s (4.1%)

Memory
-537.5MiB live, 9 636.4MiB allocated
Counts
72 060 → 1 808
Compiler

Compiled 69 251 to 39 735 computations (42.6% saved)

regimes6.6s (3.3%)

Memory
-63.3MiB live, 9 034.4MiB allocated
Counts
4 224 → 200
Calls

55 calls:

827.0ms
r
659.0ms
a
637.0ms
x
633.0ms
b
353.0ms
(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
Compiler

Compiled 2 011 to 2 273 computations (-13% saved)

analyze5.0s (2.5%)

Memory
-48.0MiB live, 4 494.8MiB allocated
Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
28.8%21.3%52.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.2%0%6
71.1%51.1%20.8%26.3%0%1.9%0%7
72.1%51.6%20%26.3%0%2.1%0%8
74.4%53%18.2%26.3%0%2.5%0%9
75.8%53.9%17.2%26.3%0%2.6%0%10
76.6%54.3%16.6%26.3%0%2.8%0%11
77.3%54.8%16.1%26.3%0%2.9%0%12
Compiler

Compiled 279 to 216 computations (22.6% saved)

series4.3s (2.1%)

Memory
241.5MiB live, 5 207.2MiB allocated
Counts
958 → 17 784
Calls

396 calls:

TimeVariablePointExpression
155.0ms
x
@0
((* (pow (* 4 x) 1/4) (pow x 3/4)) (pow (* 4 x) 1/4) (* 4 x) (pow x 3/4) (* (sqrt 2) x) (sqrt 2) (sqrt (* 2 (pow (sqrt x) 4))) (* 2 (pow (sqrt x) 4)) (pow (sqrt x) 4) (sqrt x) (pow (* 4 (pow x 4)) 1/4) (* 4 (pow x 4)) (pow x 4) (* (pow x 7/8) (sqrt (* (pow x 1/4) 2))) (pow x 7/8) (sqrt (* (pow x 1/4) 2)) (* (pow x 1/4) 2) (pow x 1/4))
139.0ms
y
@-inf
((+ x (- (/ (+ (tan z) (tan y)) (+ (* (neg (tan z)) (tan y)) 1)) (tan a))) (- (/ (+ (tan z) (tan y)) (+ (* (neg (tan z)) (tan y)) 1)) (tan a)) (/ (+ (tan z) (tan y)) (+ (* (neg (tan z)) (tan y)) 1)) (+ (tan z) (tan y)) (- (tan (+ z y)) (- (tan a) x)) (tan (+ z y)) (+ z y) (- (tan a) x) (/ (* (- y z) (+ z y)) (- y z)) (+ x (- (tan (/ (* (- y z) (+ z y)) (- y z))) (tan a))) (- (tan (/ (* (- y z) (+ z y)) (- y z))) (tan a)) (tan (/ (* (- y z) (+ z y)) (- y z))) (+ (* (neg (sin (+ z y))) (/ 1 (neg (cos (+ z y))))) (- x (tan a))) (/ 1 (neg (cos (+ z y)))) (neg (sin (+ z y))) (sin (+ z y)) (/ (- (pow (- (tan (+ z y)) (tan a)) 2) (* x x)) (- (tan (+ z y)) (+ (tan a) x))) (- (pow (- (tan (+ z y)) (tan a)) 2) (* x x)) (pow (- (tan (+ z y)) (tan a)) 2) (- (tan (+ z y)) (tan a)) (+ (* (neg (tan z)) (tan y)) 1) (tan a) (cos (+ z y)))
117.0ms
x
@-inf
((* (pow 4 1/8) (* (pow 4 1/8) x)) (pow 4 1/8) (* (pow 4 1/8) x) (* (pow x 1/4) (sqrt (* (sqrt x) (* x 2)))) (pow x 1/4) (sqrt (* (sqrt x) (* x 2))) (* (sqrt x) (* x 2)) (pow (pow 4 1/8) 2) (* (pow (pow 4 1/8) 2) x) (sqrt x))
108.0ms
b
@-inf
((/ (sin a) (pow (sin b) -1)) (/ (sin b) (- (* (cos b) (cos a)) (/ (sin a) (pow (sin b) -1)))) (* r (/ (sin b) (- (* (cos b) (cos a)) (/ (sin a) (pow (sin b) -1))))) (sin b) (* r (/ (sin b) (cos (+ a b)))) (/ (sin b) (cos (+ a b))) (/ b (cos a)) (+ (* (* (* a a) b) 1/2) b) (/ (* (sin b) r) (cos (+ a b))) (* (sin b) r) (cos (+ a b)) (/ (* r (sin b)) (cos (+ a b))) (* r (sin b)) (cos (+ a b)) (/ (sin b) (+ (* (sin b) (neg (sin a))) (* (cos b) (cos a)))) (* r (/ (sin b) (+ (* (sin b) (neg (sin a))) (* (cos b) (cos a))))) (+ (* (sin b) (neg (sin a))) (* (cos b) (cos a))) (pow (sin b) -1) (* (* a a) b) (+ (* (neg a) (sin b)) (cos b)) (* (cos b) (cos a)))
90.0ms
x
@-inf
((* (pow (* 4 x) 1/4) (pow x 3/4)) (pow (* 4 x) 1/4) (* 4 x) (pow x 3/4) (* (sqrt 2) x) (sqrt 2) (sqrt (* 2 (pow (sqrt x) 4))) (* 2 (pow (sqrt x) 4)) (pow (sqrt x) 4) (sqrt x) (pow (* 4 (pow x 4)) 1/4) (* 4 (pow x 4)) (pow x 4) (* (pow x 7/8) (sqrt (* (pow x 1/4) 2))) (pow x 7/8) (sqrt (* (pow x 1/4) 2)) (* (pow x 1/4) 2) (pow x 1/4))

preprocess3.0s (1.5%)

Memory
3.0MiB live, 3 093.0MiB allocated
Algorithm
20×egg-herbie
Rules
26 494×lower-fma.f32
26 494×lower-fma.f64
5 788×lower-+.f32
5 770×lower-+.f64
5 074×unsub-neg
Stop Event
39×saturated
38×iter limit
3×node limit
Compiler

Compiled 7 109 to 3 388 computations (52.3% saved)

explain2.7s (1.3%)

Memory
-73.6MiB live, 2 964.0MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue6090
cos.f64#fsensitivity5140
-.f64#fcancellation3431
sqrt.f64#fuflow-rescue2950
/.f64(/.f64 (-.f64 x lo) (-.f64 hi lo))n/o2560
↳(-.f64 hi lo)overflow256
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2541
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2500
tan.f64(tan.f64 (+.f64 y z))sensitivity1830
pow.f64(pow.f64 l (exp.f64 w))sensitivity13111
*.f64#fn*o390
*.f64#fn*u370
-.f64(-.f64 (*.f64 a a) (*.f64 b b))nan-rescue260
↳(*.f64 a a)overflow119
↳(*.f64 b b)overflow26
*.f64(*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))o*u190
↳(pow.f64 c #s(literal 2 binary64))overflow65
↳(*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)underflow65
↳(*.f64 x (pow.f64 s #s(literal 2 binary64)))underflow59
↳(pow.f64 s #s(literal 2 binary64))underflow61
*.f64#fu*o150
exp.f64(exp.f64 (neg.f64 x))sensitivity20
log.f64(log.f64 (/.f64 (sinh.f64 x) x))oflow-rescue20
↳(sinh.f64 x)overflow2
↳(/.f64 (sinh.f64 x) x)overflow2
Confusion
Predicted +Predicted -
+2197266
-6951962
Precision
0.7596818810511756
Recall
0.8920016240357288
Confusion?
Predicted +Predicted MaybePredicted -
+21971265
-695161946
Precision?
0.755586112066002
Recall?
0.8924076329679252
Freqs
test
numberfreq
02228
12812
277
33
Total Confusion?
Predicted +Predicted MaybePredicted -
+1800
-002
Precision?
1.0
Recall?
1.0
Samples
656.0ms6 758×0valid
515.0ms2 688×1valid
324.0ms696×2valid
13.0ms98×1exit
Compiler

Compiled 1 067 to 440 computations (58.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1s
ival-cos: 120.0ms (11% of total)
ival-mult: 119.0ms (10.9% of total)
adjust: 114.0ms (10.5% of total)
ival-div: 100.0ms (9.2% of total)
ival-acos: 79.0ms (7.2% of total)
ival-log: 66.0ms (6.1% of total)
ival-tan: 64.0ms (5.9% of total)
ival-exp: 59.0ms (5.4% of total)
ival-sub: 59.0ms (5.4% of total)
ival-sqrt: 55.0ms (5% of total)
ival-pow: 50.0ms (4.6% of total)
ival-pow2: 43.0ms (3.9% of total)
ival-sin: 35.0ms (3.2% of total)
ival-add: 34.0ms (3.1% of total)
ival-fmod: 32.0ms (2.9% of total)
ival-sinh: 30.0ms (2.8% of total)
ival-hypot: 8.0ms (0.7% of total)
ival-true: 8.0ms (0.7% of total)
ival-neg: 5.0ms (0.5% of total)
ival-assert: 4.0ms (0.4% of total)
ival-atan: 3.0ms (0.3% of total)
exact: 2.0ms (0.2% of total)

bsearch1.1s (0.5%)

Memory
5.8MiB live, 882.8MiB allocated
Algorithm
49×binary-search
11×left-value
Stop Event
47×narrow-enough
2×predicate-failed
Samples
342.0ms1 440×1valid
278.0ms2 832×0valid
42.0ms112×2valid
25.0ms202×0invalid
Compiler

Compiled 8 360 to 8 101 computations (3.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 529.0ms
ival-tan: 145.0ms (27.4% of total)
ival-cos: 82.0ms (15.5% of total)
ival-exp: 74.0ms (14% of total)
ival-sin: 50.0ms (9.4% of total)
ival-mult: 32.0ms (6% of total)
adjust: 30.0ms (5.7% of total)
ival-add: 23.0ms (4.3% of total)
ival-pow: 18.0ms (3.4% of total)
ival-fmod: 18.0ms (3.4% of total)
ival-div: 15.0ms (2.8% of total)
ival-pow2: 13.0ms (2.5% of total)
ival-sqrt: 8.0ms (1.5% of total)
ival-sub: 6.0ms (1.1% of total)
ival-neg: 6.0ms (1.1% of total)
ival-acos: 4.0ms (0.8% of total)
ival-true: 3.0ms (0.6% of total)
ival-assert: 2.0ms (0.4% of total)
exact: 0.0ms (0% of total)

start1.0ms (0%)

Memory
1.0MiB live, 1.0MiB allocated

end0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated

Profiling

Loading profile data...