Herbie run

Date:Tuesday, September 24th, 2024
Commit:6490ee3d on main
Hostname:nightly with Racket 8.10
Seed:2024268
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.4min)

sample6.0min (17.5%)

Memory
2 138.7MiB live, 384 480.5MiB allocated
Samples
3.5min2 146 903×0valid
25.8s67 721×1valid
10.0s64 956×0invalid
1.8s5 641×2valid
1.4s1 227×5exit
496.0ms1 767×1invalid
270.0ms599×3valid
214.0ms378×4exit
2.0ms20×1exit
Precisions
Click to see histograms. Total time spent on operations: 2.5min
ival-mult: 49.7s (32.5% of total)
ival-add: 22.8s (14.9% of total)
ival-sub: 21.6s (14.1% of total)
ival-div: 19.0s (12.4% of total)
ival-log: 9.4s (6.1% of total)
const: 6.0s (3.9% of total)
ival-sqrt: 5.1s (3.3% of total)
ival-sin: 3.8s (2.5% of total)
ival-cos: 3.4s (2.2% of total)
adjust: 3.4s (2.2% of total)
ival-exp: 3.3s (2.2% of total)
ival-true: 1.8s (1.2% of total)
exact: 1.1s (0.7% of total)
ival-assert: 976.0ms (0.6% of total)
ival-tan: 346.0ms (0.2% of total)
ival-fabs: 308.0ms (0.2% of total)
ival-cosh: 301.0ms (0.2% of total)
ival-hypot: 191.0ms (0.1% of total)
ival-acos: 176.0ms (0.1% of total)
ival-sinh: 162.0ms (0.1% of total)
ival-tanh: 94.0ms (0.1% of total)
Bogosity

simplify5.9min (17.3%)

Memory
1 204.3MiB live, 292 160.1MiB allocated
Algorithm
2 125×egg-herbie
Stop Event
2 770×iter limit
1 227×node limit
912×saturated
Counts
354 084 → 345 946

soundness5.4min (15.8%)

Memory
753.3MiB live, 157 599.3MiB allocated
Stop Event
1 398×iter limit
947×node limit
146×fuel
123×done
23×saturated
3×unsound
Compiler

Compiled 131 718 to 75 642 computations (42.6% saved)

rewrite3.8min (11%)

Memory
988.5MiB live, 218 001.2MiB allocated
Stop Event
1 902×iter limit
902×node limit
17×saturated
17×unsound
Counts
11 461 → 488 861

eval3.6min (10.4%)

Memory
3 610.9MiB live, 245 871.5MiB allocated
Compiler

Compiled 21 765 140 to 1 934 063 computations (91.1% saved)

regimes2.0min (5.9%)

Memory
-1 391.1MiB live, 112 418.8MiB allocated
Counts
39 087 → 4 977
Calls

511 calls:

15.8s
y
13.3s
x
10.0s
z
9.7s
(-.f64 (*.f64 x x) #s(literal 1 binary64))
9.3s
(sqrt.f64 (+.f64 (*.f64 x x) (*.f64 y y)))
Compiler

Compiled 38 428 to 57 472 computations (-49.6% saved)

localize1.8min (5.4%)

Memory
-1 050.0MiB live, 117 721.6MiB allocated
Samples
1.0min219 489×0valid
10.3s10 701×1valid
3.9s2 397×2valid
1.7s3 466×0invalid
604.0ms964×0exit
409.0ms256×3valid
160.0ms92×2exit
133.0ms170×1exit
36.0ms17×5exit
15.0ms12×3exit
4.0ms3×4valid
2.0ms1×4exit
Compiler

Compiled 136 874 to 22 394 computations (83.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 50.8s
ival-mult: 17.6s (34.7% of total)
ival-div: 8.3s (16.3% of total)
ival-add: 7.1s (13.9% of total)
ival-sub: 4.3s (8.4% of total)
const: 2.9s (5.7% of total)
adjust: 2.0s (3.9% of total)
ival-log: 1.4s (2.8% of total)
ival-sin: 1.2s (2.4% of total)
ival-cos: 1.2s (2.4% of total)
ival-pow: 1.2s (2.3% of total)
ival-neg: 1.1s (2.2% of total)
ival-sqrt: 739.0ms (1.5% of total)
ival-exp: 448.0ms (0.9% of total)
exact: 250.0ms (0.5% of total)
ival-tan: 249.0ms (0.5% of total)
ival-pow2: 245.0ms (0.5% of total)
ival-true: 204.0ms (0.4% of total)
ival-assert: 107.0ms (0.2% of total)
ival-fabs: 69.0ms (0.1% of total)
ival-log1p: 59.0ms (0.1% of total)
ival-sinh: 44.0ms (0.1% of total)
ival-hypot: 44.0ms (0.1% of total)
ival-cosh: 29.0ms (0.1% of total)
ival-expm1: 21.0ms (0% of total)
ival-tanh: 16.0ms (0% of total)
ival-acos: 15.0ms (0% of total)
ival-pi: 7.0ms (0% of total)
ival-asin: 4.0ms (0% of total)

prune1.5min (4.5%)

Memory
-4 597.9MiB live, 105 043.4MiB allocated
Counts
921 111 → 13 731
Compiler

Compiled 418 046 to 291 452 computations (30.3% saved)

series1.3min (3.8%)

Memory
-780.6MiB live, 87 234.1MiB allocated
Counts
11 461 → 354 084
Calls

8895 calls:

TimeVariablePointExpression
2.4s
x
@0
((* (* x 1) (log (- 1 (/ y x)))) (neg y) (* (* x 1) (log (- 1 (/ y x)))) (* (+ (* (/ -1/2 x) y) -1) y) (+ (* (/ -1/2 x) y) -1) (/ -1/2 x) (* x 1) (* (* x 1) (log (- 1 (/ y x)))) (log (- 1 (/ y x))) (- 1 (/ y x)) (+ (* (/ (pow y 3) x) -1/3) (* (* y y) -1/2)) (- (/ (+ (* (/ (pow y 3) x) -1/3) (* (* y y) -1/2)) x) y) (* (* x 1) (log (- 1 (/ y x)))) (/ (+ (* (/ (pow y 3) x) -1/3) (* (* y y) -1/2)) x) (* (* x 1) (log (- 1 (/ y x)))) (* (- (log (neg y)) (log x)) x) (- (log (neg y)) (log x)) (log (neg y)) (/ (pow y 3) x) (log x))
977.0ms
z
@0
((+ (* x 1/2) (* y (+ (- 1 z) (log z)))) (* y (+ (- 1 z) (log z))) (* x 1/2) (+ (- 1 z) (log z)) (log z))
346.0ms
y
@-inf
((* (neg x) (log (/ y x))) (neg x) (log (/ y x)) (/ y x) (* (/ x (* y y)) y) (* x (log (* (/ x (* y y)) y))) (log (* (/ x (* y y)) y)) (/ x (* y y)) (+ (* (log x) x) (* (neg (log y)) x)) (log x) (* (neg (log y)) x) (neg (log y)) (* x (+ (* (log y) -1/2) (log (* (pow y -1/2) x)))) (+ (* (log y) -1/2) (log (* (pow y -1/2) x))) (log y) (log (* (pow y -1/2) x)) (* (neg (pow (log (/ y x)) 2)) (pow (log (/ y x)) -1)) (* x (* (neg (pow (log (/ y x)) 2)) (pow (log (/ y x)) -1))) (neg (pow (log (/ y x)) 2)) (pow (log (/ y x)) 2) (* (pow y -1/2) x))
343.0ms
z
@0
((* (pow 1/3 1/4) (* (pow 1/3 1/4) (sqrt (+ (* z z) (* y y))))) (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3)) (pow 1/3 1/4) (* (pow 1/3 1/4) (sqrt (+ (* z z) (* y y)))) (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3)) (/ (+ (+ (* x x) (* y y)) (* z z)) 3) (* (* 1/3 z) z) (* 1/3 z) (/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (sqrt 3)) (sqrt (+ (+ (* x x) (* y y)) (* z z))) (+ (+ (* x x) (* y y)) (* z z)) (* z z) (/ (sqrt (+ (* z z) (+ (* y y) (* x x)))) (sqrt 3)) (sqrt (+ (* z z) (+ (* y y) (* x x)))) (+ (* z z) (+ (* y y) (* x x))) (+ (* y y) (* x x)) (* (pow 1/3 1/4) (* (pow 1/3 1/4) z)) (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3)) (* (pow 1/3 1/4) z) (sqrt (+ (* z z) (* y y))) (sqrt 3) (* x x))
326.0ms
x
@0
((+ 230753/100000 (* x 27061/100000)) (+ 1 (* (+ 99229/100000 (* x 4481/100000)) x)) (+ 99229/100000 (* x 4481/100000)) (- x (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* (+ 99229/100000 (* x 4481/100000)) x)))) (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* (+ 99229/100000 (* x 4481/100000)) x))) (* x 27061/100000) (* x 4481/100000) (* (+ 99229/100000 (* x 4481/100000)) x))

preprocess1.3min (3.6%)

Memory
1 187.8MiB live, 70 341.9MiB allocated
Algorithm
269×egg-herbie
Stop Event
538×iter limit
394×saturated
144×node limit
Compiler

Compiled 174 656 to 56 886 computations (67.4% saved)

explain47.5s (2.3%)

Memory
-1 273.9MiB live, 52 617.7MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15772
/.f64#fo/n11530
sqrt.f64#foflow-rescue7530
-.f64#fcancellation5853
/.f64#fo/o5690
*.f64#fn*o5230
+.f64#fnan-rescue5190
-.f64#fnan-rescue4850
cos.f64#fsensitivity3621
/.f64#fn/o3280
+.f64#fcancellation3200
/.f64#fu/n2630
sin.f64#fsensitivity2502
*.f64#fn*u1870
cos.f64#foflow-rescue1480
/.f64#fn/u1380
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity1020
log.f64#foflow-rescue880
/.f64#fu/u820
log.f64#fuflow-rescue690
sqrt.f64#fuflow-rescue480
exp.f64#fsensitivity353
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue340
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow34
↳(*.f64 y #s(literal 2 binary64))overflow1
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue340
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow34
↳(*.f64 y #s(literal 2 binary64))overflow1
*.f64#fo*u300
Confusion
Predicted +Predicted -
+6011186
-176560902
Precision
0.7730195473251029
Recall
0.969985476843634
Confusion?
Predicted +Predicted MaybePredicted -
+60114182
-1765860894
Precision?
0.772342064714946
Recall?
0.9706309504599
Freqs
test
numberfreq
061088
16972
2720
370
411
52
61
Total Confusion?
Predicted +Predicted MaybePredicted -
+13320
-20132
Precision?
0.9854014598540146
Recall?
1.0
Samples
14.9s130 462×0valid
2.3s6 008×1valid
738.0ms1 164×2valid
23.0ms92×3valid
1.0ms2×4valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 9.5s
ival-mult: 3.2s (33.6% of total)
ival-sub: 1.3s (13.5% of total)
ival-div: 1.0s (10.6% of total)
ival-add: 994.0ms (10.4% of total)
ival-log: 744.0ms (7.8% of total)
adjust: 533.0ms (5.6% of total)
const: 437.0ms (4.6% of total)
ival-cos: 351.0ms (3.7% of total)
ival-sin: 239.0ms (2.5% of total)
ival-sqrt: 216.0ms (2.3% of total)
ival-true: 126.0ms (1.3% of total)
ival-hypot: 107.0ms (1.1% of total)
ival-exp: 102.0ms (1.1% of total)
exact: 66.0ms (0.7% of total)
ival-assert: 62.0ms (0.7% of total)
ival-fabs: 15.0ms (0.2% of total)
ival-tan: 12.0ms (0.1% of total)
ival-cosh: 11.0ms (0.1% of total)
ival-sinh: 8.0ms (0.1% of total)
ival-tanh: 7.0ms (0.1% of total)
ival-acos: 5.0ms (0.1% of total)

bsearch34.0s (1.6%)

Memory
41.6MiB live, 38 516.4MiB allocated
Algorithm
1 604×binary-search
1 215×left-value
Stop Event
1 574×narrow-enough
30×predicate-same
Samples
19.4s128 336×0valid
1.0s3 078×1valid
313.0ms2 310×0invalid
49.0ms44×1invalid
12.0ms69×2valid
1.0ms5×3valid
Compiler

Compiled 276 442 to 317 707 computations (-14.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.8s
ival-mult: 6.2s (45.1% of total)
ival-sub: 2.7s (19.2% of total)
ival-add: 1.6s (11.8% of total)
ival-div: 1.1s (8.1% of total)
ival-log: 535.0ms (3.9% of total)
const: 466.0ms (3.4% of total)
ival-sin: 294.0ms (2.1% of total)
ival-cos: 225.0ms (1.6% of total)
ival-sqrt: 155.0ms (1.1% of total)
adjust: 146.0ms (1.1% of total)
ival-exp: 114.0ms (0.8% of total)
ival-true: 107.0ms (0.8% of total)
ival-assert: 57.0ms (0.4% of total)
exact: 50.0ms (0.4% of total)
ival-sinh: 14.0ms (0.1% of total)
ival-cosh: 11.0ms (0.1% of total)
ival-tanh: 5.0ms (0% of total)
ival-fabs: 5.0ms (0% of total)

analyze20.5s (1%)

Memory
30.8MiB live, 23 292.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.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)

start7.0ms (0%)

Memory
16.1MiB live, 15.9MiB allocated

end2.0ms (0%)

Memory
4.7MiB live, 4.3MiB allocated

Profiling

Loading profile data...