Herbie run

Date:Tuesday, October 22nd, 2024
Commit:5ca06d70 on bhargav-double-double
Hostname:nightly with Racket 8.10
Seed:2024296
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: 30.0min)

sample5.9min (19.8%)

Memory
1 110.0MiB live, 329 455.0MiB allocated
Samples
3.5min2 146 897×0valid
20.9s67 767×1valid
11.5s64 148×0invalid
1.8s5 625×2valid
898.0ms1 158×5exit
624.0ms1 731×1invalid
211.0ms388×4exit
172.0ms574×3valid
4.0ms35×1exit
0.0ms1×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.5min
ival-mult: 49.1s (32.9% of total)
ival-sub: 21.3s (14.3% of total)
ival-add: 20.8s (14% of total)
ival-div: 17.3s (11.6% of total)
ival-log: 9.3s (6.2% of total)
ival-sqrt: 6.2s (4.2% of total)
const: 5.9s (4% of total)
ival-sin: 4.5s (3% of total)
ival-cos: 3.8s (2.6% of total)
adjust: 3.0s (2% of total)
ival-exp: 2.2s (1.5% of total)
ival-true: 1.6s (1.1% of total)
exact: 1.0s (0.7% of total)
ival-assert: 878.0ms (0.6% of total)
ival-fabs: 712.0ms (0.5% of total)
ival-acos: 452.0ms (0.3% of total)
ival-tan: 369.0ms (0.2% of total)
ival-hypot: 206.0ms (0.1% of total)
ival-cosh: 189.0ms (0.1% of total)
ival-sinh: 189.0ms (0.1% of total)
ival-tanh: 84.0ms (0.1% of total)
Bogosity

simplify5.5min (18.2%)

Memory
3 054.0MiB live, 236 131.2MiB allocated
Algorithm
2 120×egg-herbie
Stop Event
2 763×iter limit
1 223×node limit
921×saturated
Counts
71 511 → 70 338

soundness4.9min (16.3%)

Memory
-106.4MiB live, 143 743.5MiB allocated
Stop Event
1 449×iter limit
986×node limit
146×fuel
116×done
25×saturated
3×unsound
Compiler

Compiled 221 589 to 82 665 computations (62.7% saved)

rewrite4.1min (13.5%)

Memory
256.3MiB live, 202 793.7MiB allocated
Stop Event
1 896×iter limit
905×node limit
22×saturated
16×unsound
Counts
11 083 → 479 144

eval1.9min (6.2%)

Memory
-497.4MiB live, 121 339.2MiB allocated
Compiler

Compiled 17 285 337 to 1 788 336 computations (89.7% saved)

localize1.8min (5.9%)

Memory
-806.6MiB live, 99 977.5MiB allocated
Samples
57.5s218 674×0valid
9.0s10 141×1valid
3.2s2 497×2valid
2.3s4 632×0invalid
520.0ms745×0exit
451.0ms581×1exit
346.0ms126×5exit
253.0ms304×3valid
83.0ms91×1invalid
21.0ms23×2exit
10.0ms10×4valid
Compiler

Compiled 289 362 to 46 586 computations (83.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 49.1s
ival-mult: 16.7s (33.9% of total)
ival-div: 8.8s (17.9% of total)
ival-add: 7.0s (14.3% of total)
ival-sub: 3.9s (7.9% of total)
const: 2.6s (5.2% of total)
adjust: 1.8s (3.7% of total)
ival-log: 1.7s (3.5% of total)
ival-sin: 1.4s (2.9% of total)
ival-pow: 1.1s (2.2% of total)
ival-neg: 975.0ms (2% of total)
ival-cos: 953.0ms (1.9% of total)
ival-sqrt: 729.0ms (1.5% of total)
ival-pow2: 368.0ms (0.7% of total)
ival-exp: 362.0ms (0.7% of total)
exact: 218.0ms (0.4% of total)
ival-true: 187.0ms (0.4% of total)
ival-fabs: 125.0ms (0.3% of total)
ival-assert: 99.0ms (0.2% of total)
ival-tan: 97.0ms (0.2% of total)
ival-hypot: 55.0ms (0.1% of total)
ival-log1p: 51.0ms (0.1% of total)
ival-expm1: 3.0ms (0% of total)

regimes1.6min (5.2%)

Memory
-694.2MiB live, 91 803.0MiB allocated
Counts
36 032 → 4 716
Calls

491 calls:

15.3s
y
13.5s
x
9.4s
z
5.7s
t
3.7s
a
Compiler

Compiled 36 185 to 54 275 computations (-50% saved)

preprocess1.2min (4%)

Memory
1 057.0MiB live, 53 093.0MiB allocated
Algorithm
262×egg-herbie
Stop Event
524×iter limit
388×saturated
136×node limit
Compiler

Compiled 335 874 to 62 471 computations (81.4% saved)

explain55.9s (3.1%)

Memory
-435.1MiB live, 62 253.6MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15162
/.f64#fo/n11500
sqrt.f64#foflow-rescue8010
/.f64#fo/o5640
-.f64#fcancellation5444
cos.f64#fsensitivity5161
*.f64#fn*o4870
+.f64#fnan-rescue4600
-.f64#fnan-rescue4510
/.f64#fn/o3490
+.f64#fcancellation3231
/.f64#fu/n2800
sin.f64#fsensitivity2470
log.f64#fuflow-rescue1630
/.f64#fn/u1540
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity1370
log.f64#foflow-rescue880
*.f64#fn*u880
/.f64#fu/u570
sqrt.f64#fuflow-rescue440
exp.f64#fsensitivity326
+.f64#foflow-left20
-.f64(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))oflow-left10
Confusion
Predicted +Predicted -
+5908275
-170659183
Precision
0.7759390596270029
Recall
0.955523208798318
Confusion?
Predicted +Predicted MaybePredicted -
+59082273
-17061059173
Precision?
0.7749803304484658
Recall?
0.9558466763706939
Freqs
test
numberfreq
059458
16851
2701
349
411
52
Total Confusion?
Predicted +Predicted MaybePredicted -
+13005
-110116
Precision?
0.9219858156028369
Recall?
0.9629629629629629
Samples
12.8s127 002×0valid
2.0s5 824×1valid
598.0ms1 198×2valid
32.0ms118×3valid
1.0ms2×4valid
Compiler

Compiled 44 083 to 15 280 computations (65.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.3s
ival-mult: 2.4s (28.9% of total)
ival-sub: 1.4s (16.8% of total)
ival-add: 1.1s (13.4% of total)
ival-div: 907.0ms (10.9% of total)
ival-log: 661.0ms (8% of total)
ival-sqrt: 384.0ms (4.6% of total)
const: 323.0ms (3.9% of total)
adjust: 284.0ms (3.4% of total)
ival-sin: 252.0ms (3% of total)
ival-cos: 158.0ms (1.9% of total)
ival-exp: 129.0ms (1.6% of total)
ival-true: 119.0ms (1.4% of total)
exact: 62.0ms (0.7% of total)
ival-assert: 57.0ms (0.7% of total)
ival-tan: 26.0ms (0.3% of total)
ival-fabs: 11.0ms (0.1% of total)
ival-hypot: 9.0ms (0.1% of total)

series50.1s (2.8%)

Memory
-335.0MiB live, 52 048.0MiB allocated
Counts
11 083 → 71 511
Calls

8820 calls:

TimeVariablePointExpression
334.0ms
y
@inf
((- (- (* (log y) x) y) z) (- (* (log y) x) y) (* (log y) x) (log y) (- (- (* x (log y)) z) y) (neg y) (- (- (* x (log y)) z) y) (+ (* (log y) x) (neg y)) (+ (* (+ (* (neg z) z) (pow (* (log y) x) 2)) (pow (+ (* (log y) x) z) -1)) (neg y)) (+ (* (neg z) z) (pow (* (log y) x) 2)) (neg z) (pow (* (log y) x) 2) (+ (* (* (pow (log y) 2) x) (/ x (+ (* (log y) x) z))) (neg (* z (/ z (+ (* (log y) x) z))))) (- (+ (* (* (pow (log y) 2) x) (/ x (+ (* (log y) x) z))) (neg (* z (/ z (+ (* (log y) x) z))))) y) (* (pow (log y) 2) x) (pow (log y) 2) (pow (+ (* (log y) x) z) -1) (/ x (+ (* (log y) x) z)))
321.0ms
c
@0
((/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (+ (* y (/ (+ (* (+ (* z y) 54929528941/2000000) y) 28832688827/125000) (+ (* (+ (* (+ (* (+ a y) y) b) y) c) y) i))) (+ (* x (/ (pow y 4) (+ (* (+ (* (+ (* (+ a y) y) b) y) c) y) i))) (/ t (+ (* (+ (* (+ (* (+ a y) y) b) y) c) y) i)))) (/ (+ (* (+ (* z y) 54929528941/2000000) y) 28832688827/125000) (+ (* (+ (* (+ (* (+ a y) y) b) y) c) y) i)) (+ (* (+ (* z y) 54929528941/2000000) y) 28832688827/125000) (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ t i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ y a) y) b) y) c) (+ (* (+ y a) y) b) (- (/ 28832688827/125000 i) (* (/ c i) (/ t i))) (+ (* (- (/ 28832688827/125000 i) (* (/ c i) (/ t i))) y) (/ t i)) (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 28832688827/125000 i) (* (neg t) (+ (* (neg y) (/ (+ (* (+ (* (+ (* y x) z) y) 54929528941/2000000) y) 28832688827/125000) t)) -1)) (/ (pow y 4) (+ (* (+ (* (+ (* (+ a y) y) b) y) c) y) i)) (/ t (+ (* (+ (* (+ (* (+ a y) y) b) y) c) y) i)) (+ (* (+ (* (+ (* x y) z) y) 54929528941/2000000) y) 28832688827/125000) (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (* (+ (* (+ (* (+ (* x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) (* (+ (* (+ y a) y) b) y) (* (/ c i) (/ t i)) (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ (+ (* (+ (* (+ (* y x) z) y) 54929528941/2000000) y) 28832688827/125000) t) (+ (* (neg y) (/ (+ (* (+ (* (+ (* y x) z) y) 54929528941/2000000) y) 28832688827/125000) t)) -1))
313.0ms
z
@0
((/ (+ (* (neg z) t) (* y x)) a) (/ z (/ (neg a) t)) (/ (neg a) t) (neg a) (/ (- (* x y) (* z t)) a) (* (/ y a) x) (/ y a) (/ (- (* x y) (* z t)) a) (neg z) (/ t a) (* (neg z) (/ t a)) (/ (+ (* (neg z) t) (* y x)) a) (/ (neg t) (/ a z)) (neg t) (/ a z) (/ -1 (/ (/ a z) t)) (/ (+ (* (neg z) t) (* y x)) a) (/ (/ a z) t))
310.0ms
z
@-inf
((- (+ (* x (log y)) (* z (log (- 1 y)))) t) (+ (* x (log y)) (* z (log (- 1 y)))) (+ (* (neg y) z) (* x (log y))) (neg y) (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (+ (* x (log y)) (* z (log (- 1 y)))) (* (log (+ 1 (neg y))) z) (log (+ 1 (neg y))) (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (+ (* (log y) x) (neg t)) (log y) (neg t) (/ 1 (/ 1 (+ (* (log (+ 1 (neg y))) z) (+ (* (log y) x) (neg t))))) (/ 1 (+ (* (log (+ 1 (neg y))) z) (+ (* (log y) x) (neg t)))) (/ 1 (* (log y) x)) (* (log y) x) (* (+ (* x (/ (log y) t)) -1) t) (+ (* (log (+ 1 (neg y))) z) (+ (* (log y) x) (neg t))) (log (+ 1 (neg y))) (* x (log y)) (* (+ (* -1/2 y) -1) y) (/ (log y) t) (+ (* x (/ (log y) t)) -1))
285.0ms
y
@0
((/ (+ x y) (+ y 1)) (+ (* (- 1 x) y) x) (- 1 x) (/ (+ x y) (+ y 1)) (+ (* (- 1 x) y) x) (* (- 1 x) y) (- 1 x) (/ (+ x y) (+ y 1)) (/ y (+ 1 y)) (* (- 1 y) y) (- 1 y) (/ (+ x y) (+ y 1)) (+ (* (- 1 x) y) x) (- 1 x) (neg x) (/ (+ x y) (+ y 1)) (- 1 (/ (- 1 x) y)) (/ x y))

prune37.2s (2.1%)

Memory
-1 457.4MiB live, 49 819.4MiB allocated
Counts
501 731 → 13 010
Compiler

Compiled 782 504 to 435 127 computations (44.4% saved)

bsearch33.4s (1.9%)

Memory
-252.2MiB live, 32 736.4MiB allocated
Algorithm
1 574×binary-search
1 112×left-value
Stop Event
1 543×narrow-enough
31×predicate-same
Samples
18.3s123 883×0valid
783.0ms2 904×1valid
260.0ms2 470×0invalid
30.0ms206×1invalid
22.0ms102×2valid
1.0ms7×3valid
1.0ms7×1exit
Compiler

Compiled 871 338 to 627 497 computations (28% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.5s
ival-mult: 5.6s (45% of total)
ival-sub: 2.6s (20.5% of total)
ival-add: 1.4s (11.3% of total)
ival-div: 843.0ms (6.7% of total)
ival-log: 529.0ms (4.2% of total)
const: 344.0ms (2.7% of total)
ival-sin: 290.0ms (2.3% of total)
ival-cos: 282.0ms (2.2% of total)
adjust: 211.0ms (1.7% of total)
ival-sqrt: 136.0ms (1.1% of total)
ival-true: 93.0ms (0.7% of total)
ival-exp: 89.0ms (0.7% of total)
ival-assert: 51.0ms (0.4% of total)
exact: 44.0ms (0.4% of total)
ival-fabs: 3.0ms (0% of total)

analyze18.7s (1%)

Memory
-194.0MiB live, 19 689.2MiB 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
14.0MiB live, 13.8MiB allocated

end2.0ms (0%)

Memory
3.9MiB live, 3.6MiB allocated

Profiling

Loading profile data...