Herbie run

Date:Monday, December 2nd, 2024
Commit:a3fa83c3 on main
Hostname:nightly with Racket 8.10
Seed:2024337
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:1 787 935.6 MB

Time bar (total: 31.4min)

sample6.7min (21.3%)

Memory
5 433.9MiB live, 414 328.2MiB allocated
Samples
3.9min2 146 659×0valid
24.3s67 927×1valid
13.4s64 764×0invalid
1.8s5 672×2valid
1.2s1 257×5exit
547.0ms1 690×1invalid
284.0ms451×4exit
272.0ms605×3valid
3.0ms29×1exit
0.0ms1×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.8min
ival-mult: 54.3s (32.2% of total)
ival-add: 25.1s (14.9% of total)
ival-sub: 25.1s (14.9% of total)
ival-div: 19.6s (11.6% of total)
ival-log: 11.2s (6.7% of total)
const: 6.7s (4% of total)
ival-sqrt: 6.3s (3.7% of total)
ival-sin: 5.0s (2.9% of total)
ival-cos: 3.7s (2.2% of total)
adjust: 3.3s (2% of total)
ival-exp: 2.4s (1.4% of total)
ival-true: 1.8s (1.1% of total)
exact: 1.1s (0.7% of total)
ival-assert: 991.0ms (0.6% of total)
ival-fabs: 402.0ms (0.2% of total)
ival-hypot: 378.0ms (0.2% of total)
ival-acos: 299.0ms (0.2% of total)
ival-cosh: 268.0ms (0.2% of total)
ival-tan: 265.0ms (0.2% of total)
ival-tanh: 147.0ms (0.1% of total)
ival-sinh: 132.0ms (0.1% of total)
Bogosity

simplify5.6min (17.8%)

Memory
2 307.9MiB live, 301 458.7MiB allocated
Algorithm
2 199×egg-herbie
Stop Event
2 880×iter limit
1 504×node limit
711×saturated
2×unsound
Counts
75 523 → 74 319

soundness4.7min (15%)

Memory
2 171.7MiB live, 173 298.3MiB allocated
Stop Event
1 449×iter limit
985×node limit
161×fuel
108×done
22×saturated
9×unsound
Compiler

Compiled 227 975 to 91 321 computations (59.9% saved)

rewrite4.2min (13.4%)

Memory
486.3MiB live, 248 656.3MiB allocated
Stop Event
2 007×iter limit
923×node limit
32×unsound
18×saturated
Counts
12 103 → 373 285

localize2.1min (6.8%)

Memory
-2 920.4MiB live, 128 792.4MiB allocated
Samples
1.2min220 686×0valid
15.3s12 099×1valid
6.1s9 090×0invalid
4.5s2 825×2valid
714.0ms1 204×0exit
451.0ms312×5exit
272.0ms252×3valid
248.0ms141×2exit
237.0ms416×1exit
17.0ms15×4valid
Compiler

Compiled 151 886 to 24 057 computations (84.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1min
ival-mult: 24.2s (35.3% of total)
ival-div: 12.5s (18.2% of total)
ival-add: 10.7s (15.6% of total)
ival-sub: 5.5s (8.1% of total)
const: 2.9s (4.2% of total)
adjust: 2.6s (3.8% of total)
ival-log: 2.0s (2.9% of total)
ival-pow: 1.5s (2.2% of total)
ival-sin: 1.2s (1.8% of total)
ival-cos: 1.2s (1.7% of total)
ival-sqrt: 1.1s (1.7% of total)
ival-neg: 1.0s (1.5% of total)
ival-pow2: 701.0ms (1% of total)
ival-exp: 375.0ms (0.5% of total)
exact: 247.0ms (0.4% of total)
ival-true: 214.0ms (0.3% of total)
ival-assert: 110.0ms (0.2% of total)
ival-cosh: 97.0ms (0.1% of total)
ival-sinh: 86.0ms (0.1% of total)
ival-log1p: 77.0ms (0.1% of total)
ival-hypot: 65.0ms (0.1% of total)
ival-tan: 59.0ms (0.1% of total)
ival-acos: 35.0ms (0.1% of total)
ival-pi: 29.0ms (0% of total)
ival-tanh: 19.0ms (0% of total)
ival-fabs: 17.0ms (0% of total)
ival-sinu: 17.0ms (0% of total)
ival-asin: 13.0ms (0% of total)
ival-expm1: 5.0ms (0% of total)
ival-e: 3.0ms (0% of total)

eval1.7min (5.5%)

Memory
1 039.4MiB live, 122 930.0MiB allocated
Compiler

Compiled 17 661 232 to 1 657 020 computations (90.6% saved)

regimes1.5min (4.8%)

Memory
-357.1MiB live, 90 746.3MiB allocated
Counts
32 851 → 4 723
Calls

509 calls:

12.8s
x
10.9s
y
9.1s
z
5.9s
a
5.6s
t
Compiler

Compiled 38 200 to 57 650 computations (-50.9% saved)

preprocess1.2min (3.8%)

Memory
850.4MiB live, 63 893.5MiB allocated
Algorithm
269×egg-herbie
Stop Event
536×iter limit
398×saturated
142×node limit
Compiler

Compiled 320 538 to 61 738 computations (80.7% saved)

series1.0min (3.3%)

Memory
2 093.3MiB live, 68 750.6MiB allocated
Counts
12 103 → 75 523
Calls

9141 calls:

TimeVariablePointExpression
440.0ms
y
@-inf
((/ (* (* (- 4/9 (* z z)) 6) (- y x)) (- 4/9 (* z z))) (* (- 4/9 (* z z)) 6) (+ (* (/ (* (* (- 4/9 (* z z)) 6) (- y x)) (- 4/9 (* z z))) (- 2/3 z)) x) (* (* (- 4/9 (* z z)) 6) (- y x)) (+ (* (- 2/3 z) (* 6 (- y x))) x) (* (+ (* -6 z) 4) y) (+ (* -6 z) 4) (+ x (* (* (- y x) 6) (- (/ 2 3) z))) (* (* (- y x) z) -6) (* (- y x) z) (* y z) (+ x (* (* (- y x) 6) (- (/ 2 3) z))) (* (- y x) (* -6 z)) (- y x) (neg x) (+ (* (- 2/3 z) (* 6 (- y x))) x) (* (+ (* (- y x) (- (/ 4 z) 6)) (/ x z)) z) (+ (* (- y x) (- (/ 4 z) 6)) (/ x z)) (* -6 (- y x)))
294.0ms
x
@inf
((* x (log (pow (* y x) (/ (log (/ x y)) (log (* y x)))))) (log (pow (* y x) (/ (log (/ x y)) (log (* y x))))) (pow (* y x) (/ (log (/ x y)) (log (* y x)))) (* y x) (* x (- (log x) (log y))) (- (log x) (log y)) (log x) (log y) (* (- (pow (log x) 2) (pow (log y) 2)) (/ x (log (* y x)))) (- (pow (log x) 2) (pow (log y) 2)) (pow (log x) 2) (* (neg y) (neg x)) (/ (* (- (pow (log (neg x)) 3) (pow (log (neg y)) 3)) x) (+ (* (log (neg y)) (log (* (neg y) (neg x)))) (pow (log (neg x)) 2))) (* (- (pow (log (neg x)) 3) (pow (log (neg y)) 3)) x) (- (pow (log (neg x)) 3) (pow (log (neg y)) 3)) (* x (/ (- (pow (log x) 6) (pow (log y) 6)) (* (+ (+ (pow (log x) 4) (pow (log y) 4)) (pow (* (log y) (log x)) 2)) (log (* y x))))) (/ (- (pow (log x) 6) (pow (log y) 6)) (* (+ (+ (pow (log x) 4) (pow (log y) 4)) (pow (* (log y) (log x)) 2)) (log (* y x)))) (- (pow (log x) 6) (pow (log y) 6)) (pow (log x) 6) (log (* y x)) (log (/ x y)) (log (neg x)) (log (neg y)) (log (* (neg y) (neg x))) (neg x))
290.0ms
x
@0
((* x (log (pow (* y x) (/ (log (/ x y)) (log (* y x)))))) (log (pow (* y x) (/ (log (/ x y)) (log (* y x))))) (pow (* y x) (/ (log (/ x y)) (log (* y x)))) (* y x) (* x (- (log x) (log y))) (- (log x) (log y)) (log x) (log y) (* (- (pow (log x) 2) (pow (log y) 2)) (/ x (log (* y x)))) (- (pow (log x) 2) (pow (log y) 2)) (pow (log x) 2) (* (neg y) (neg x)) (/ (* (- (pow (log (neg x)) 3) (pow (log (neg y)) 3)) x) (+ (* (log (neg y)) (log (* (neg y) (neg x)))) (pow (log (neg x)) 2))) (* (- (pow (log (neg x)) 3) (pow (log (neg y)) 3)) x) (- (pow (log (neg x)) 3) (pow (log (neg y)) 3)) (* x (/ (- (pow (log x) 6) (pow (log y) 6)) (* (+ (+ (pow (log x) 4) (pow (log y) 4)) (pow (* (log y) (log x)) 2)) (log (* y x))))) (/ (- (pow (log x) 6) (pow (log y) 6)) (* (+ (+ (pow (log x) 4) (pow (log y) 4)) (pow (* (log y) (log x)) 2)) (log (* y x)))) (- (pow (log x) 6) (pow (log y) 6)) (pow (log x) 6) (log (* y x)) (log (/ x y)) (log (neg x)) (log (neg y)) (log (* (neg y) (neg x))) (neg x))
271.0ms
x
@-inf
((* x (log (pow (* y x) (/ (log (/ x y)) (log (* y x)))))) (log (pow (* y x) (/ (log (/ x y)) (log (* y x))))) (pow (* y x) (/ (log (/ x y)) (log (* y x)))) (* y x) (* x (- (log x) (log y))) (- (log x) (log y)) (log x) (log y) (* (- (pow (log x) 2) (pow (log y) 2)) (/ x (log (* y x)))) (- (pow (log x) 2) (pow (log y) 2)) (pow (log x) 2) (* (neg y) (neg x)) (/ (* (- (pow (log (neg x)) 3) (pow (log (neg y)) 3)) x) (+ (* (log (neg y)) (log (* (neg y) (neg x)))) (pow (log (neg x)) 2))) (* (- (pow (log (neg x)) 3) (pow (log (neg y)) 3)) x) (- (pow (log (neg x)) 3) (pow (log (neg y)) 3)) (* x (/ (- (pow (log x) 6) (pow (log y) 6)) (* (+ (+ (pow (log x) 4) (pow (log y) 4)) (pow (* (log y) (log x)) 2)) (log (* y x))))) (/ (- (pow (log x) 6) (pow (log y) 6)) (* (+ (+ (pow (log x) 4) (pow (log y) 4)) (pow (* (log y) (log x)) 2)) (log (* y x)))) (- (pow (log x) 6) (pow (log y) 6)) (pow (log x) 6) (log (* y x)) (log (/ x y)) (log (neg x)) (log (neg y)) (log (* (neg y) (neg x))) (neg x))
265.0ms
x
@0
((* (+ (* (/ (neg t) y) (/ x (- 1 z))) (/ x z)) y) (+ (* (/ (neg t) y) (/ x (- 1 z))) (/ x z)) (* x (- (/ y z) (/ t (- 1 z)))) (/ (neg t) y) (* x (- (/ y z) (/ t (- 1 z)))) (- (/ y z) (/ t (- 1 z))) (/ t (+ -1 z)) (neg t) (* x (- (/ y z) (/ t (- 1 z)))) (- (/ y z) (/ t (- 1 z))) (/ t (+ -1 z)) (/ t z) (* x (- (/ y z) (/ t (- 1 z)))) (- (/ y z) (/ t (- 1 z))) (/ (+ y t) z) (+ y t) (* x (- (/ y z) (/ t (- 1 z)))) (* (+ (* (/ (/ x t) z) y) (/ x (+ -1 z))) t) (+ (* (/ (/ x t) z) y) (/ x (+ -1 z))) (/ (+ (* (/ x t) y) x) z) (/ x (- 1 z)) (+ (* (/ x t) y) x))

explain51.5s (2.7%)

Memory
-385.2MiB live, 58 801.5MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15831
/.f64#fo/n11980
sqrt.f64#foflow-rescue7870
-.f64#fcancellation64214
/.f64#fo/o5910
-.f64#fnan-rescue4910
*.f64#fn*o4790
+.f64#fnan-rescue4570
cos.f64#fsensitivity3530
/.f64#fn/o3260
+.f64#fcancellation3264
/.f64#fu/n2740
sin.f64#fsensitivity2101
*.f64#fn*u1770
/.f64#fn/u1420
cos.f64#foflow-rescue1410
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity910
/.f64#fu/u890
log.f64#foflow-rescue870
log.f64#fuflow-rescue590
sqrt.f64#fuflow-rescue450
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue370
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow37
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue370
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow37
exp.f64#fsensitivity312
*.f64#fo*u270
*.f64#fu*o30
sin.f64(sin.f64 (*.f64 x #s(literal 1/2 binary64)))cancellation10
Confusion
Predicted +Predicted -
+6068222
-172660848
Precision
0.7785476007185014
Recall
0.9647058823529412
Confusion?
Predicted +Predicted MaybePredicted -
+60688214
-17261560833
Precision?
0.7772802865549443
Recall?
0.9659777424483307
Freqs
test
numberfreq
061070
17007
2710
356
417
53
61
Total Confusion?
Predicted +Predicted MaybePredicted -
+13600
-20131
Precision?
0.9855072463768116
Recall?
1.0
Samples
15.7s130 422×0valid
2.6s6 058×1valid
1.7s1 128×2valid
32.0ms120×3valid
Compiler

Compiled 24 442 to 8 402 computations (65.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.7s
ival-mult: 3.1s (29.5% of total)
ival-log: 1.8s (16.6% of total)
ival-sub: 1.7s (15.5% of total)
ival-add: 1.1s (10.3% of total)
ival-div: 1.1s (10% of total)
const: 380.0ms (3.6% of total)
ival-sqrt: 293.0ms (2.7% of total)
adjust: 274.0ms (2.6% of total)
ival-sin: 268.0ms (2.5% of total)
ival-cos: 252.0ms (2.4% of total)
ival-true: 127.0ms (1.2% of total)
ival-exp: 93.0ms (0.9% of total)
exact: 69.0ms (0.6% of total)
ival-assert: 61.0ms (0.6% of total)
ival-fabs: 52.0ms (0.5% of total)
ival-tan: 11.0ms (0.1% of total)
ival-cosh: 11.0ms (0.1% of total)
ival-sinh: 9.0ms (0.1% of total)
ival-hypot: 9.0ms (0.1% of total)
ival-tanh: 6.0ms (0.1% of total)
ival-acos: 5.0ms (0% of total)

prune42.4s (2.3%)

Memory
401.5MiB live, 50 528.2MiB allocated
Counts
431 963 → 12 996
Compiler

Compiled 824 481 to 446 714 computations (45.8% saved)

bsearch39.7s (2.1%)

Memory
-431.4MiB live, 40 676.8MiB allocated
Algorithm
1 717×binary-search
960×left-value
Stop Event
1 681×narrow-enough
36×predicate-same
Samples
22.4s135 556×0valid
878.0ms3 162×1valid
266.0ms2 608×0invalid
18.0ms103×2valid
5.0ms27×3valid
Compiler

Compiled 964 135 to 689 431 computations (28.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.0s
ival-mult: 8.0s (50.1% of total)
ival-sub: 3.0s (18.6% of total)
ival-add: 1.7s (10.4% of total)
ival-div: 997.0ms (6.2% of total)
ival-sin: 577.0ms (3.6% of total)
ival-log: 517.0ms (3.2% of total)
const: 433.0ms (2.7% of total)
ival-cos: 292.0ms (1.8% of total)
adjust: 122.0ms (0.8% of total)
ival-true: 113.0ms (0.7% of total)
ival-sqrt: 92.0ms (0.6% of total)
ival-assert: 61.0ms (0.4% of total)
exact: 57.0ms (0.4% of total)
ival-exp: 42.0ms (0.3% of total)
ival-tanh: 15.0ms (0.1% of total)
ival-sinh: 13.0ms (0.1% of total)
ival-cosh: 10.0ms (0.1% of total)
ival-fabs: 8.0ms (0% of total)

analyze23.3s (1.2%)

Memory
-67.2MiB live, 25 046.0MiB 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.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 3 462 to 2 977 computations (14% saved)

start20.0ms (0%)

Memory
-16.8MiB live, 24.7MiB allocated

end2.0ms (0%)

Memory
4.5MiB live, 4.0MiB allocated

Profiling

Loading profile data...