Herbie run

Date:Wednesday, November 27th, 2024
Commit:27374272 on bhargav-bigfloat
Hostname:nightly with Racket 8.10
Seed:2024332
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

Time bar (total: 18.2min)

soundness3.8min (21%)

Memory
17.6MiB live, 2 328.0MiB allocated
Stop Event
1 512×iter limit
1 022×node limit
151×fuel
118×done
25×saturated
3×unsound
Compiler

Compiled 227 806 to 87 375 computations (61.6% saved)

simplify3.7min (20.1%)

Memory
1 103.4MiB live, 51 874.7MiB allocated
Algorithm
2 167×egg-herbie
Stop Event
2 823×iter limit
1 248×node limit
943×saturated
Counts
73 788 → 72 621

sample3.2min (17.6%)

Memory
923.5MiB live, 68 682.0MiB allocated
Samples
1.8min2 147 121×0valid
12.7s67 565×1valid
5.8s64 529×0invalid
1.0s5 597×2valid
640.0ms1 342×5exit
293.0ms1 737×1invalid
163.0ms390×4exit
134.0ms580×3valid
3.0ms26×1exit
0.0ms1×4valid
Precisions
Click to see histograms. Total time spent on operations: 1.4min
ival-mult: 26.3s (31.8% of total)
ival-add: 11.0s (13.4% of total)
ival-sub: 11.0s (13.3% of total)
ival-div: 10.2s (12.3% of total)
ival-log: 5.9s (7.1% of total)
const: 3.6s (4.4% of total)
ival-sqrt: 3.1s (3.7% of total)
ival-sin: 2.4s (3% of total)
adjust: 2.1s (2.5% of total)
ival-cos: 1.9s (2.3% of total)
ival-true: 1.4s (1.7% of total)
ival-exp: 1.2s (1.5% of total)
exact: 842.0ms (1% of total)
ival-assert: 718.0ms (0.9% of total)
ival-tan: 172.0ms (0.2% of total)
ival-cosh: 166.0ms (0.2% of total)
ival-fabs: 154.0ms (0.2% of total)
ival-acos: 140.0ms (0.2% of total)
ival-hypot: 127.0ms (0.2% of total)
ival-sinh: 108.0ms (0.1% of total)
ival-tanh: 71.0ms (0.1% of total)
Bogosity

rewrite2.2min (12.3%)

Memory
-178.8MiB live, 50 014.1MiB allocated
Stop Event
1 937×iter limit
923×node limit
22×saturated
18×unsound
Counts
11 565 → 496 257

eval1.0min (5.6%)

Memory
1 632.8MiB live, 46 316.5MiB allocated
Compiler

Compiled 18 091 424 to 1 880 344 computations (89.6% saved)

localize56.6s (5.2%)

Memory
-551.0MiB live, 22 594.1MiB allocated
Samples
32.0s223 292×0valid
5.9s10 878×1valid
2.0s2 766×2valid
1.0s4 122×0invalid
301.0ms150×5exit
299.0ms1 000×0exit
198.0ms411×2exit
136.0ms210×3valid
87.0ms106×1exit
7.0ms6×3exit
4.0ms3×4valid
Compiler

Compiled 305 172 to 48 478 computations (84.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 28.6s
ival-mult: 9.6s (33.5% of total)
ival-div: 4.8s (17% of total)
ival-add: 4.1s (14.2% of total)
ival-sub: 2.2s (7.8% of total)
const: 1.6s (5.5% of total)
adjust: 1.1s (4% of total)
ival-log: 1.1s (3.9% of total)
ival-pow: 804.0ms (2.8% of total)
ival-cos: 585.0ms (2% of total)
ival-neg: 542.0ms (1.9% of total)
ival-sin: 446.0ms (1.6% of total)
ival-sqrt: 445.0ms (1.6% of total)
ival-exp: 330.0ms (1.2% of total)
exact: 186.0ms (0.7% of total)
ival-true: 165.0ms (0.6% of total)
ival-pow2: 145.0ms (0.5% of total)
ival-log1p: 80.0ms (0.3% of total)
ival-assert: 79.0ms (0.3% of total)
ival-tan: 59.0ms (0.2% of total)
ival-hypot: 46.0ms (0.2% of total)
ival-fabs: 29.0ms (0.1% of total)
ival-cosh: 22.0ms (0.1% of total)
ival-sinh: 21.0ms (0.1% of total)
ival-expm1: 17.0ms (0.1% of total)
ival-acos: 16.0ms (0.1% of total)
ival-tanh: 12.0ms (0% of total)

preprocess49.2s (4.5%)

Memory
639.3MiB live, 13 391.6MiB allocated
Algorithm
269×egg-herbie
Stop Event
538×iter limit
394×saturated
144×node limit
Compiler

Compiled 348 620 to 65 762 computations (81.1% saved)

regimes48.5s (4.4%)

Memory
-463.8MiB live, 27 409.3MiB allocated
Counts
35 905 → 4 711
Calls

511 calls:

7.0s
x
6.5s
y
5.3s
z
3.1s
t
2.2s
a
Compiler

Compiled 38 355 to 58 020 computations (-51.3% saved)

series28.4s (2.6%)

Memory
0.6MiB live, 15 627.1MiB allocated
Counts
11 565 → 73 788
Calls

9027 calls:

TimeVariablePointExpression
137.0ms
x
@0
((/ (log (/ y x)) (/ -1 x)) (log (/ y x)) (/ y x) (/ -1 x) (/ x (/ 1 (log (/ x y)))) (/ 1 (log (/ x y))) (log (/ x y)) (/ x y) (/ (neg (* x x)) (* (/ -1 (log (/ x y))) x)) (* (/ -1 (log (/ x y))) x) (neg (* x x)) (* x x) (/ x (/ -1 (- (log y) (log x)))) (/ -1 (- (log y) (log x))) (- (log y) (log x)) (log y) (/ (log (neg y)) (/ -1 x)) (/ (log (neg x)) (/ -1 x)) (- (/ (log (neg y)) (/ -1 x)) (/ (log (neg x)) (/ -1 x))) (log (neg y)) (log x) (log (neg x)) (neg x) (neg y))
126.0ms
x
@0
((- (* x (neg (log (/ y x)))) z) (* x (neg (log (/ y x)))) (neg (log (/ y x))) (log (/ y x)) (- (* x (log (/ x y))) z) (neg z) (- (* x (- (log (neg x)) (log (neg y)))) z) (* x (- (log (neg x)) (log (neg y)))) (- (log (neg x)) (log (neg y))) (log (neg x)) (* (+ (* (log (/ x y)) x) z) (* (+ (* (log (/ x y)) x) (neg z)) (pow (+ (* (log (/ x y)) x) z) -1))) (* (+ (* (log (/ x y)) x) (neg z)) (pow (+ (* (log (/ x y)) x) z) -1)) (+ (* (log (/ x y)) x) z) (log (/ x y)) (- (* x (/ (- (pow (log x) 3) (pow (log y) 3)) (+ (* (log y) (log (* y x))) (pow (log x) 2)))) z) (* x (/ (- (pow (log x) 3) (pow (log y) 3)) (+ (* (log y) (log (* y x))) (pow (log x) 2)))) (/ (- (pow (log x) 3) (pow (log y) 3)) (+ (* (log y) (log (* y x))) (pow (log x) 2))) (- (pow (log x) 3) (pow (log y) 3)) (log (neg y)) (neg x) (neg y) (log x) (log y) (log (* y x)))
92.0ms
x
@0
((* (neg x) (log (/ y x))) (neg x) (log (/ y x)) (/ y x) (/ x (/ -1 (log (/ y x)))) (/ -1 (log (/ y x))) (+ (* (neg (log y)) x) (* (log x) x)) (neg (log y)) (log y) (* (log x) x) (pow (* (pow x -1) (/ -1 (log (/ y x)))) -1) (* (pow x -1) (/ -1 (log (/ y x)))) (pow x -1) (* 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) (log x) (log (* y x)) (log (/ x y)))
80.0ms
x
@inf
((* (neg x) (log (/ y x))) (neg x) (log (/ y x)) (/ y x) (/ x (/ -1 (log (/ y x)))) (/ -1 (log (/ y x))) (+ (* (neg (log y)) x) (* (log x) x)) (neg (log y)) (log y) (* (log x) x) (pow (* (pow x -1) (/ -1 (log (/ y x)))) -1) (* (pow x -1) (/ -1 (log (/ y x)))) (pow x -1) (* 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) (log x) (log (* y x)) (log (/ x y)))
72.0ms
y
@0
((- (* x (neg (log (/ y x)))) z) (* x (neg (log (/ y x)))) (neg (log (/ y x))) (log (/ y x)) (- (* x (log (/ x y))) z) (neg z) (- (* x (- (log (neg x)) (log (neg y)))) z) (* x (- (log (neg x)) (log (neg y)))) (- (log (neg x)) (log (neg y))) (log (neg x)) (* (+ (* (log (/ x y)) x) z) (* (+ (* (log (/ x y)) x) (neg z)) (pow (+ (* (log (/ x y)) x) z) -1))) (* (+ (* (log (/ x y)) x) (neg z)) (pow (+ (* (log (/ x y)) x) z) -1)) (+ (* (log (/ x y)) x) z) (log (/ x y)) (- (* x (/ (- (pow (log x) 3) (pow (log y) 3)) (+ (* (log y) (log (* y x))) (pow (log x) 2)))) z) (* x (/ (- (pow (log x) 3) (pow (log y) 3)) (+ (* (log y) (log (* y x))) (pow (log x) 2)))) (/ (- (pow (log x) 3) (pow (log y) 3)) (+ (* (log y) (log (* y x))) (pow (log x) 2))) (- (pow (log x) 3) (pow (log y) 3)) (log (neg y)) (neg x) (neg y) (log x) (log y) (log (* y x)))

explain23.9s (2.2%)

Memory
-1 280.3MiB live, 13 490.1MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15931
/.f64#fo/n11840
sqrt.f64#foflow-rescue7480
-.f64#fcancellation5787
/.f64#fo/o5760
*.f64#fn*o5200
+.f64#fnan-rescue4500
-.f64#fnan-rescue4070
cos.f64#fsensitivity3540
+.f64#fcancellation3251
/.f64#fn/o3200
/.f64#fu/n2850
sin.f64#fsensitivity2240
*.f64#fn*u1740
/.f64#fn/u1540
cos.f64#foflow-rescue1270
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity990
/.f64#fu/u780
log.f64#foflow-rescue740
log.f64#fuflow-rescue730
sqrt.f64#fuflow-rescue580
*.f64#fo*u410
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue350
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow35
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue350
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow35
exp.f64#fsensitivity323
*.f64(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))u*o10
↳(*.f64 t y2)underflow20
↳(*.f64 y y3)underflow35
↳(-.f64 (*.f64 t y2) (*.f64 y y3))underflow5
↳(*.f64 y4 c)overflow35
↳(-.f64 (*.f64 y4 c) (*.f64 y5 a))overflow55
↳(*.f64 y5 a)overflow24
Confusion
Predicted +Predicted -
+6022179
-172060943
Precision
0.7778351847067941
Recall
0.9711336881148201
Confusion?
Predicted +Predicted MaybePredicted -
+60223176
-17201260931
Precision?
0.7767178032744618
Recall?
0.9716174810514433
Freqs
test
numberfreq
061122
17012
2676
339
412
52
61
Total Confusion?
Predicted +Predicted MaybePredicted -
+13700
-10131
Precision?
0.9927536231884058
Recall?
1.0
Total Time
5142.078857421875
Average Time
0.07467005775763642
Samples
7.6s130 662×0valid
1.3s5 862×1valid
373.0ms1 130×2valid
18.0ms70×3valid
1.0ms4×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 5.3s
ival-mult: 1.6s (30.5% of total)
ival-sub: 674.0ms (12.8% of total)
ival-add: 645.0ms (12.2% of total)
ival-div: 615.0ms (11.7% of total)
ival-log: 549.0ms (10.4% of total)
const: 229.0ms (4.3% of total)
adjust: 199.0ms (3.8% of total)
ival-sin: 156.0ms (3% of total)
ival-sqrt: 133.0ms (2.5% of total)
ival-cos: 133.0ms (2.5% of total)
ival-true: 99.0ms (1.9% of total)
ival-exp: 74.0ms (1.4% of total)
exact: 54.0ms (1% of total)
ival-assert: 45.0ms (0.9% of total)
ival-tan: 10.0ms (0.2% of total)
ival-cosh: 10.0ms (0.2% of total)
ival-fabs: 10.0ms (0.2% of total)
ival-sinh: 8.0ms (0.2% of total)
ival-hypot: 8.0ms (0.2% of total)
ival-tanh: 6.0ms (0.1% of total)
ival-acos: 5.0ms (0.1% of total)

prune19.1s (1.7%)

Memory
-2 220.0MiB live, 26 127.5MiB allocated
Counts
522 689 → 13 400
Compiler

Compiled 808 820 to 449 559 computations (44.4% saved)

bsearch18.9s (1.7%)

Memory
-5.9MiB live, 6 909.8MiB allocated
Algorithm
1 522×binary-search
1 110×left-value
Stop Event
1 491×narrow-enough
29×predicate-same
2×predicate-failed
Samples
10.3s124 124×0valid
647.0ms3 282×1valid
177.0ms3 280×0invalid
17.0ms110×2valid
3.0ms12×1invalid
1.0ms4×3valid
Compiler

Compiled 924 774 to 664 455 computations (28.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.6s
ival-mult: 3.4s (44.1% of total)
ival-sub: 1.5s (19.3% of total)
ival-add: 849.0ms (11.2% of total)
ival-div: 508.0ms (6.7% of total)
ival-log: 413.0ms (5.4% of total)
const: 283.0ms (3.7% of total)
ival-sin: 195.0ms (2.6% of total)
ival-cos: 138.0ms (1.8% of total)
adjust: 99.0ms (1.3% of total)
ival-true: 79.0ms (1% of total)
ival-sqrt: 70.0ms (0.9% of total)
ival-exp: 57.0ms (0.7% of total)
ival-assert: 41.0ms (0.5% of total)
exact: 37.0ms (0.5% of total)
ival-cosh: 9.0ms (0.1% of total)
ival-sinh: 7.0ms (0.1% of total)
ival-tanh: 4.0ms (0.1% of total)

analyze10.8s (1%)

Memory
-35.8MiB live, 4 389.9MiB 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)

start6.0ms (0%)

Memory
3.7MiB live, 3.7MiB allocated

end1.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated

Profiling

Loading profile data...