Herbie run

Date:Thursday, October 3rd, 2024
Commit:6e4f2b10 on rival-256-starting-prec
Hostname:nightly with Racket 8.10
Seed:2024277
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: 34.2min)

sample6.4min (18.9%)

Memory
1 312.9MiB live, 385 566.5MiB allocated
Samples
3.9min2 165 535×0valid
17.1s52 117×1valid
12.1s64 683×0invalid
2.1s1 252×5exit
1.0s2 889×2valid
306.0ms1 200×1invalid
221.0ms380×4exit
54.0ms322×3valid
3.0ms27×1exit
0.0ms1×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.7min
ival-mult: 58.3s (35.4% of total)
ival-sub: 22.2s (13.4% of total)
ival-add: 20.7s (12.5% of total)
ival-div: 19.3s (11.7% of total)
ival-log: 11.7s (7.1% of total)
const: 6.8s (4.1% of total)
ival-sqrt: 5.8s (3.5% of total)
ival-sin: 4.9s (3% of total)
ival-cos: 4.0s (2.4% of total)
adjust: 2.2s (1.3% of total)
ival-exp: 1.9s (1.2% of total)
ival-true: 1.8s (1.1% of total)
ival-fabs: 1.2s (0.7% of total)
exact: 1.1s (0.7% of total)
ival-assert: 964.0ms (0.6% of total)
ival-cosh: 517.0ms (0.3% of total)
ival-hypot: 388.0ms (0.2% of total)
ival-sinh: 363.0ms (0.2% of total)
ival-tan: 328.0ms (0.2% of total)
ival-acos: 209.0ms (0.1% of total)
ival-tanh: 91.0ms (0.1% of total)
Bogosity

simplify5.6min (16.3%)

Memory
3 016.5MiB live, 291 277.6MiB allocated
Algorithm
2 107×egg-herbie
Stop Event
2 743×iter limit
1 221×node limit
900×saturated
Counts
350 184 → 342 086

soundness5.4min (15.9%)

Memory
-405.9MiB live, 163 221.9MiB allocated
Stop Event
1 402×iter limit
948×node limit
147×fuel
122×done
23×saturated
3×unsound
Compiler

Compiled 140 518 to 81 812 computations (41.8% saved)

rewrite4.3min (12.5%)

Memory
404.4MiB live, 215 323.9MiB allocated
Stop Event
1 887×iter limit
894×node limit
17×saturated
16×unsound
Counts
11 392 → 479 173

eval3.5min (10.1%)

Memory
1 746.2MiB live, 238 944.9MiB allocated
Compiler

Compiled 21 154 652 to 1 899 329 computations (91% saved)

localize1.8min (5.3%)

Memory
-464.0MiB live, 120 396.0MiB allocated
Samples
1.1min220 135×0valid
10.3s9 497×1valid
1.7s3 664×0invalid
1.6s957×2valid
261.0ms160×5exit
190.0ms448×0exit
166.0ms100×3valid
161.0ms245×2exit
58.0ms40×1invalid
19.0ms17×1exit
1.0ms1×4exit
Compiler

Compiled 247 684 to 40 436 computations (83.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 53.7s
ival-mult: 18.3s (34.2% of total)
ival-div: 10.0s (18.7% of total)
ival-add: 7.6s (14.1% of total)
ival-sub: 4.4s (8.1% of total)
const: 3.3s (6.1% of total)
ival-log: 2.0s (3.8% of total)
adjust: 1.5s (2.8% of total)
ival-pow: 1.3s (2.5% of total)
ival-sin: 988.0ms (1.8% of total)
ival-neg: 851.0ms (1.6% of total)
ival-cos: 755.0ms (1.4% of total)
ival-sqrt: 624.0ms (1.2% of total)
ival-pow2: 360.0ms (0.7% of total)
ival-exp: 345.0ms (0.6% of total)
ival-tan: 337.0ms (0.6% of total)
exact: 256.0ms (0.5% of total)
ival-true: 220.0ms (0.4% of total)
ival-assert: 117.0ms (0.2% of total)
ival-hypot: 102.0ms (0.2% of total)
ival-log1p: 66.0ms (0.1% of total)
ival-tanh: 37.0ms (0.1% of total)
ival-sinh: 32.0ms (0.1% of total)
ival-fabs: 27.0ms (0.1% of total)
ival-acos: 26.0ms (0% of total)
ival-cosh: 25.0ms (0% of total)
ival-asin: 12.0ms (0% of total)
ival-pi: 3.0ms (0% of total)
ival-expm1: 2.0ms (0% of total)

regimes1.6min (4.8%)

Memory
-1 129.1MiB live, 115 611.9MiB allocated
Counts
40 978 → 5 144
Calls

511 calls:

13.9s
x
12.3s
y
10.0s
z
5.6s
t
3.8s
a
Compiler

Compiled 39 633 to 59 504 computations (-50.1% saved)

preprocess1.3min (3.8%)

Memory
750.2MiB live, 69 762.3MiB allocated
Algorithm
269×egg-herbie
Stop Event
538×iter limit
394×saturated
144×node limit
Compiler

Compiled 176 110 to 56 574 computations (67.9% saved)

prune1.3min (3.7%)

Memory
-3 217.1MiB live, 98 555.4MiB allocated
Counts
905 329 → 13 877
Compiler

Compiled 420 099 to 295 043 computations (29.8% saved)

series1.3min (3.7%)

Memory
-784.7MiB live, 82 511.6MiB allocated
Counts
11 392 → 350 184
Calls

8817 calls:

TimeVariablePointExpression
3.8s
t
@inf
((+ (* (* k j) -27) (+ (* (* y z) (* (* t x) 18)) (+ (* t (* a -4)) (+ (* (* x i) -4) (* b c))))) (* k j) (+ (* (* y z) (* (* t x) 18)) (+ (* t (* a -4)) (+ (* (* x i) -4) (* b c)))) (+ (* c b) (* -4 (+ (* x i) (* t a)))) (- (- (+ (- (* (* (* (* x 18) y) z) t) (* (* a 4) t)) (* b c)) (* (* x 4) i)) (* (* j 27) k)) (* (* -27 j) k) (* -27 j) (+ (* (+ (* z (* y (* 18 x))) (* -4 a)) t) (+ (* c b) (neg (+ (* k (* 27 j)) (* i (* 4 x)))))) (+ (* z (* y (* 18 x))) (* -4 a)) (* a -4) (+ (* c b) (neg (+ (* k (* 27 j)) (* i (* 4 x))))) (- (- (+ (- (* (* (* (* x 18) y) z) t) (* (* a 4) t)) (* b c)) (* (* x 4) i)) (* (* j 27) k)) (* (* (* (* x z) y) t) 18) (* (* (* x z) y) t) (* (* x z) y) (* (+ (* (/ (* (* z y) t) i) 18) -4) i) (- (- (+ (- (* (* (* (* x 18) y) z) t) (* (* a 4) t)) (* b c)) (* (* x 4) i)) (* (* j 27) k)) (* (+ (* (* (* z y) t) 18) (* i -4)) x) (+ (* (* (* z y) t) 18) (* i -4)) (+ (* x i) (* t a)) (* (* z y) t) (/ (* (* z y) t) i))
1.5s
x
@inf
((/ x (/ 1 (log (/ x y)))) (/ 1 (log (/ x y))) (log (/ x y)) (/ x y) (/ (log (/ y x)) (/ -1 x)) (log (/ y x)) (/ y x) (/ -1 x) (+ (* (neg (log y)) x) (* (log x) x)) (neg (log y)) (log y) (* (log x) x) (* x (- (log (* (neg (* x x)) -1)) (log (* y x)))) (- (log (* (neg (* x x)) -1)) (log (* y x))) (log (* (neg (* x x)) -1)) (* -2 (log (/ -1 x))) (* (pow (/ -1 (log (/ x y))) 2) (* (pow (log (/ x y)) 3) x)) (pow (/ -1 (log (/ x y))) 2) (/ -1 (log (/ x y))) (log x) (log (* y x)) (log (/ -1 x)) (* (pow (log (/ x y)) 3) x))
1.0s
x
@0
((/ x (/ 1 (log (/ x y)))) (/ 1 (log (/ x y))) (log (/ x y)) (/ x y) (/ (log (/ y x)) (/ -1 x)) (log (/ y x)) (/ y x) (/ -1 x) (+ (* (neg (log y)) x) (* (log x) x)) (neg (log y)) (log y) (* (log x) x) (* x (- (log (* (neg (* x x)) -1)) (log (* y x)))) (- (log (* (neg (* x x)) -1)) (log (* y x))) (log (* (neg (* x x)) -1)) (* -2 (log (/ -1 x))) (* (pow (/ -1 (log (/ x y))) 2) (* (pow (log (/ x y)) 3) x)) (pow (/ -1 (log (/ x y))) 2) (/ -1 (log (/ x y))) (log x) (log (* y x)) (log (/ -1 x)) (* (pow (log (/ x y)) 3) x))
485.0ms
z
@0
((+ (* x (cos y)) (* z (sin y))) (* x (cos y)) (cos y) (* z (sin y)) (sin y))
338.0ms
y
@-inf
((+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)) (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (+ (* x (log y)) z) (+ (+ (+ (* x (log y)) z) t) a) (* x (log y)) (* (- b 1/2) (log c)) (+ (+ (* x (log y)) z) t))

explain47.2s (2.3%)

Memory
-2 267.8MiB live, 53 468.7MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15664
/.f64#fo/n11390
sqrt.f64#foflow-rescue7920
/.f64#fo/o6140
-.f64#fcancellation59311
*.f64#fn*o5080
+.f64#fnan-rescue4670
-.f64#fnan-rescue4590
cos.f64#fsensitivity3710
+.f64#fcancellation3184
/.f64#fn/o2920
/.f64#fu/n2700
sin.f64#fsensitivity2200
*.f64#fn*u1890
/.f64#fn/u1480
cos.f64#foflow-rescue1470
/.f64#fu/u1050
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity950
log.f64#fuflow-rescue770
log.f64#foflow-rescue770
sqrt.f64#fuflow-rescue660
*.f64#fo*u310
exp.f64#fsensitivity303
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue270
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow27
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue270
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow27
*.f64#fu*o30
Confusion
Predicted +Predicted -
+6032198
-167560959
Precision
0.7826651096405864
Recall
0.9682182985553772
Confusion?
Predicted +Predicted MaybePredicted -
+60323195
-16752260937
Precision?
0.7805225038799793
Recall?
0.9686998394863563
Freqs
test
numberfreq
061157
16895
2726
362
422
52
Total Confusion?
Predicted +Predicted MaybePredicted -
+13300
-11134
Precision?
0.9851851851851852
Recall?
1.0
Samples
15.4s132 090×0valid
2.1s5 236×1valid
136.0ms352×2valid
23.0ms50×3valid
Compiler

Compiled 34 663 to 10 844 computations (68.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.9s
ival-mult: 3.0s (30.2% of total)
ival-div: 1.5s (15.4% of total)
ival-add: 1.4s (13.7% of total)
ival-sub: 1.3s (13.4% of total)
ival-log: 790.0ms (7.9% of total)
ival-cos: 355.0ms (3.6% of total)
const: 335.0ms (3.4% of total)
ival-sin: 280.0ms (2.8% of total)
ival-sqrt: 257.0ms (2.6% of total)
adjust: 214.0ms (2.2% of total)
ival-true: 129.0ms (1.3% of total)
ival-exp: 112.0ms (1.1% of total)
exact: 68.0ms (0.7% of total)
ival-assert: 63.0ms (0.6% of total)
ival-fabs: 32.0ms (0.3% of total)
ival-tanh: 23.0ms (0.2% of total)
ival-cosh: 20.0ms (0.2% of total)
ival-tan: 12.0ms (0.1% of total)
ival-sinh: 10.0ms (0.1% of total)
ival-hypot: 10.0ms (0.1% of total)
ival-acos: 6.0ms (0.1% of total)

bsearch35.8s (1.7%)

Memory
35.9MiB live, 40 365.4MiB allocated
Algorithm
1 622×binary-search
1 317×left-value
Stop Event
1 595×narrow-enough
27×predicate-same
Samples
20.9s134 945×0valid
654.0ms2 033×1valid
253.0ms3 016×0invalid
5.0ms16×1invalid
4.0ms30×2valid
Compiler

Compiled 281 792 to 332 313 computations (-17.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.2s
ival-mult: 6.7s (44.1% of total)
ival-sub: 3.1s (20.2% of total)
ival-add: 1.8s (11.9% of total)
ival-div: 1.1s (7.2% of total)
ival-log: 747.0ms (4.9% of total)
const: 470.0ms (3.1% of total)
ival-sin: 410.0ms (2.7% of total)
ival-cos: 290.0ms (1.9% of total)
ival-sqrt: 156.0ms (1% of total)
ival-exp: 135.0ms (0.9% of total)
ival-true: 110.0ms (0.7% of total)
adjust: 73.0ms (0.5% of total)
ival-assert: 59.0ms (0.4% of total)
exact: 56.0ms (0.4% of total)
ival-cosh: 9.0ms (0.1% of total)
ival-tanh: 6.0ms (0% of total)
ival-fabs: 4.0ms (0% of total)
ival-sinh: 3.0ms (0% of total)

analyze19.9s (1%)

Memory
8.1MiB live, 24 058.7MiB allocated
Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.8%46.8%53.1%0.1%0%0%0%1
50.5%50.1%49.2%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.3%68.3%27.5%0.1%0%4.1%0%5
75.9%72.4%22.9%0.1%0%4.6%0%6
80%75.7%19%0.1%0%5.1%0%7
81.8%77.1%17.1%0.1%0%5.6%0%8
84.5%79.4%14.6%0.1%0%5.9%0%9
86.1%80.6%13.1%0.1%0%6.2%0%10
88.6%83%10.6%0.1%0%6.2%0%11
89.7%83.7%9.6%0.1%0%6.5%0%12
Compiler

Compiled 3 462 to 2 977 computations (14% saved)

start7.0ms (0%)

Memory
15.6MiB live, 15.3MiB allocated

end2.0ms (0%)

Memory
4.6MiB live, 4.1MiB allocated

Profiling

Loading profile data...