Herbie run

Date:Tuesday, November 19th, 2024
Commit:6e990d46 on main
Hostname:nightly with Racket 8.10
Seed:2024324
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.5min)

simplify6.1min (20%)

Memory
2 661.4MiB live, 242 834.2MiB allocated
Algorithm
2 165×egg-herbie
Stop Event
2 821×iter limit
1 467×node limit
721×saturated
Counts
74 577 → 73 423

sample5.8min (19.1%)

Memory
499.2MiB live, 332 372.4MiB allocated
Samples
3.4min2 147 148×0valid
21.7s67 504×1valid
11.6s65 036×0invalid
2.2s1 228×5exit
1.9s5 627×2valid
512.0ms1 729×1invalid
340.0ms432×4exit
191.0ms584×3valid
2.0ms19×1exit
0.0ms1×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.5min
ival-mult: 47.7s (31.8% of total)
ival-sub: 20.9s (13.9% of total)
ival-add: 20.7s (13.8% of total)
ival-div: 20.1s (13.4% of total)
ival-log: 10.5s (7% of total)
ival-sqrt: 6.8s (4.5% of total)
const: 6.7s (4.5% of total)
ival-sin: 3.7s (2.5% of total)
adjust: 3.3s (2.2% of total)
ival-cos: 2.9s (1.9% of total)
ival-exp: 2.0s (1.3% of total)
ival-true: 1.7s (1.1% of total)
exact: 1.0s (0.7% of total)
ival-assert: 890.0ms (0.6% of total)
ival-acos: 238.0ms (0.2% of total)
ival-tan: 231.0ms (0.2% of total)
ival-cosh: 210.0ms (0.1% of total)
ival-fabs: 210.0ms (0.1% of total)
ival-hypot: 163.0ms (0.1% of total)
ival-sinh: 132.0ms (0.1% of total)
ival-tanh: 82.0ms (0.1% of total)
Bogosity

soundness5.2min (17%)

Memory
-903.4MiB live, 141 334.3MiB allocated
Stop Event
1 453×iter limit
995×node limit
150×fuel
119×done
23×saturated
4×unsound
Compiler

Compiled 225 853 to 90 090 computations (60.1% saved)

rewrite3.9min (12.6%)

Memory
-41.3MiB live, 204 950.9MiB allocated
Stop Event
1 942×iter limit
921×node limit
22×saturated
19×unsound
Counts
11 571 → 497 329

eval2.0min (6.5%)

Memory
-228.5MiB live, 125 775.8MiB allocated
Compiler

Compiled 18 309 633 to 1 869 816 computations (89.8% saved)

localize1.7min (5.7%)

Memory
-1 348.4MiB live, 102 357.2MiB allocated
Samples
1.0min224 645×0valid
10.2s10 623×1valid
2.8s2 469×2valid
1.5s3 800×0invalid
331.0ms263×3valid
318.0ms773×0exit
165.0ms2×4valid
48.0ms52×2exit
16.0ms50×1exit
11.0ms8×5exit
2.0ms3×3exit
Compiler

Compiled 140 124 to 23 354 computations (83.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 52.0s
ival-mult: 17.9s (34.5% of total)
ival-div: 8.4s (16.1% of total)
ival-add: 7.9s (15.1% of total)
ival-sub: 5.0s (9.6% of total)
const: 2.9s (5.6% of total)
adjust: 1.7s (3.3% of total)
ival-log: 1.4s (2.7% of total)
ival-neg: 1.2s (2.4% of total)
ival-pow: 1.1s (2.2% of total)
ival-cos: 924.0ms (1.8% of total)
ival-sqrt: 884.0ms (1.7% of total)
ival-sin: 722.0ms (1.4% of total)
ival-exp: 551.0ms (1.1% of total)
ival-pow2: 350.0ms (0.7% of total)
exact: 241.0ms (0.5% of total)
ival-true: 204.0ms (0.4% of total)
ival-log1p: 114.0ms (0.2% of total)
ival-tan: 104.0ms (0.2% of total)
ival-assert: 99.0ms (0.2% of total)
ival-hypot: 70.0ms (0.1% of total)
ival-cosh: 42.0ms (0.1% of total)
ival-fabs: 29.0ms (0.1% of total)
ival-sinh: 19.0ms (0% of total)
ival-acos: 17.0ms (0% of total)
ival-tanh: 13.0ms (0% of total)
ival-asin: 10.0ms (0% of total)
ival-cbrt: 6.0ms (0% of total)
ival-expm1: 3.0ms (0% of total)
ival-pi: 3.0ms (0% of total)

regimes1.5min (4.9%)

Memory
-441.9MiB live, 93 588.4MiB allocated
Counts
37 142 → 4 928
Calls

513 calls:

11.8s
x
10.8s
y
9.3s
t
8.6s
z
3.8s
a
Compiler

Compiled 38 494 to 57 580 computations (-49.6% saved)

preprocess1.2min (3.9%)

Memory
1 631.7MiB live, 55 294.8MiB allocated
Algorithm
269×egg-herbie
Stop Event
538×iter limit
392×saturated
146×node limit
Compiler

Compiled 333 530 to 63 414 computations (81% saved)

series50.4s (2.7%)

Memory
1 052.8MiB live, 54 835.2MiB allocated
Counts
11 571 → 74 577
Calls

9021 calls:

TimeVariablePointExpression
334.0ms
x
@inf
((/ 1 (/ (/ -1 x) (log (/ y x)))) (/ (/ -1 x) (log (/ y x))) (/ -1 x) (log (/ y x)) (/ (* (neg x) x) x) (* (/ (* (neg x) x) x) (log (/ y x))) (* (neg x) x) (neg x) (- (* (log x) x) (* (log y) x)) (* (log x) x) (log x) (* (log y) x) (/ (- (log (neg y)) (log (neg x))) (/ -1 x)) (- (log (neg y)) (log (neg x))) (log (neg y)) (neg y) (* (pow (neg x) -1/2) (pow (neg x) -1/2)) (/ (log (/ y x)) (* (pow (neg x) -1/2) (pow (neg x) -1/2))) (/ y x) (log y) (log (neg x)))
330.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) (* (neg (* x x)) -1) (* x (- (log (* (neg (* x x)) -1)) (log (* y x)))) (- (log (* (neg (* x x)) -1)) (log (* y x))) (log (* (neg (* x x)) -1)) (* (* (log (* y x)) (log (/ y x))) (/ -1 (log (* y x)))) (* x (* (* (log (* y x)) (log (/ y x))) (/ -1 (log (* y x))))) (* (log (* y x)) (log (/ y x))) (log (* y x)) (log x))
312.0ms
z
@0
((+ (* (* (* (/ (sqrt 1/3) z) 1/2) y) y) (* (sqrt 1/3) z)) (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3)) (* (sqrt (+ (* z z) (* y y))) (sqrt 1/3)) (* (* (/ (sqrt 1/3) z) 1/2) y) (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3)) (/ (+ (+ (* x x) (* y y)) (* z z)) 3) (* (* 1/3 z) z) (* 1/3 z) (+ (* (* y y) 1/3) (* (* z z) 1/3)) (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3)) (/ (+ (+ (* x x) (* y y)) (* z z)) 3) (* y y) (/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (sqrt 3)) (sqrt (+ (+ (* x x) (* y y)) (* z z))) (+ (+ (* x x) (* y y)) (* z z)) (* z z) (* (pow 1/3 1/4) (* (pow 1/3 1/4) z)) (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3)) (pow 1/3 1/4) (* (pow 1/3 1/4) z) (* (sqrt 1/3) z) (/ (sqrt 1/3) z) (* (* z z) 1/3) (sqrt 3))
312.0ms
x
@-inf
((+ (* (/ (neg z) (+ (* x (log y)) z)) z) (neg y)) (+ (* (/ (* x (pow (log y) 2)) (+ (* x (log y)) z)) x) (+ (* (/ (neg z) (+ (* x (log y)) z)) z) (neg y))) (/ (* x (pow (log y) 2)) (+ (* x (log y)) z)) (* x (pow (log y) 2)) (- (- (* x (log y)) z) y) (- (* x (log y)) z) (neg z) (/ 1 (pow (- (- (* (log y) x) z) y) -1)) (pow (- (- (* (log y) x) z) y) -1) (/ -1 y) (* (- (/ (* (log y) x) y) 1) y) (- (/ (* (log y) x) y) 1) (- (- (* x (log y)) z) y) (+ (* (log y) x) (neg y)) (/ 1 (pow (- (- (* (log y) x) z) y) -1)) (pow (- (- (* (log y) x) z) y) -1) (/ 1 (* (log y) x)) (* (log y) x) (/ (neg z) (+ (* x (log y)) z)) (pow (log y) 2) (/ (* (log y) x) y))
263.0ms
x
@-inf
((+ (* (* (* (/ (sqrt 1/3) z) 1/2) y) y) (* (sqrt 1/3) z)) (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3)) (* (sqrt (+ (* z z) (* y y))) (sqrt 1/3)) (* (* (/ (sqrt 1/3) z) 1/2) y) (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3)) (/ (+ (+ (* x x) (* y y)) (* z z)) 3) (* (* 1/3 z) z) (* 1/3 z) (+ (* (* y y) 1/3) (* (* z z) 1/3)) (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3)) (/ (+ (+ (* x x) (* y y)) (* z z)) 3) (* y y) (/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (sqrt 3)) (sqrt (+ (+ (* x x) (* y y)) (* z z))) (+ (+ (* x x) (* y y)) (* z z)) (* z z) (* (pow 1/3 1/4) (* (pow 1/3 1/4) z)) (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3)) (pow 1/3 1/4) (* (pow 1/3 1/4) z) (* (sqrt 1/3) z) (/ (sqrt 1/3) z) (* (* z z) 1/3) (sqrt 3))

explain44.8s (2.4%)

Memory
-934.1MiB live, 45 532.9MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15830
/.f64#fo/n11400
sqrt.f64#foflow-rescue7750
-.f64#fcancellation60210
/.f64#fo/o5670
*.f64#fn*o5330
+.f64#fnan-rescue4870
-.f64#fnan-rescue4380
cos.f64#fsensitivity3582
+.f64#fcancellation3431
/.f64#fn/o3250
/.f64#fu/n2670
sin.f64#fsensitivity2172
*.f64#fn*u2000
cos.f64#foflow-rescue1630
/.f64#fn/u1490
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity1000
/.f64#fu/u790
sqrt.f64#fuflow-rescue750
log.f64#fuflow-rescue740
log.f64#foflow-rescue730
*.f64#fo*u350
exp.f64(exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t #s(literal 1 binary64)) (log.f64 a))) b))sensitivity300
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue290
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow29
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue290
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow29
*.f64(*.f64 (*.f64 (-.f64 (*.f64 x #s(literal 1/2 binary64)) y) (sqrt.f64 (*.f64 z #s(literal 2 binary64)))) (exp.f64 (/.f64 (*.f64 t t) #s(literal 2 binary64))))u*o10
↳(*.f64 (-.f64 (*.f64 x #s(literal 1/2 binary64)) y) (sqrt.f64 (*.f64 z #s(literal 2 binary64))))underflow1
↳(exp.f64 (/.f64 (*.f64 t t) #s(literal 2 binary64)))overflow126
↳(/.f64 (*.f64 t t) #s(literal 2 binary64))overflow52
↳(*.f64 t t)overflow52
Confusion
Predicted +Predicted -
+6081190
-170260891
Precision
0.7813182577412309
Recall
0.9697018019454633
Confusion?
Predicted +Predicted MaybePredicted -
+60812188
-17021560876
Precision?
0.7798717948717949
Recall?
0.9700207303460373
Freqs
test
numberfreq
061081
16989
2718
361
411
54
Total Confusion?
Predicted +Predicted MaybePredicted -
+13500
-21131
Precision?
0.9782608695652174
Recall?
1.0
Samples
13.2s130 494×0valid
2.4s6 040×1valid
939.0ms1 098×2valid
22.0ms92×3valid
1.0ms2×4valid
1.0ms2×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 9.7s
ival-mult: 3.3s (33.7% of total)
ival-add: 1.5s (15.1% of total)
ival-div: 1.2s (12.6% of total)
ival-sub: 1.0s (10.7% of total)
ival-log: 761.0ms (7.8% of total)
const: 330.0ms (3.4% of total)
ival-sqrt: 321.0ms (3.3% of total)
adjust: 277.0ms (2.9% of total)
ival-sin: 265.0ms (2.7% of total)
ival-cos: 240.0ms (2.5% of total)
ival-exp: 214.0ms (2.2% of total)
ival-true: 116.0ms (1.2% of total)
exact: 63.0ms (0.6% of total)
ival-assert: 57.0ms (0.6% of total)
ival-fabs: 14.0ms (0.1% of total)
ival-cosh: 12.0ms (0.1% of total)
ival-tan: 11.0ms (0.1% of total)
ival-hypot: 9.0ms (0.1% of total)
ival-sinh: 8.0ms (0.1% of total)
ival-tanh: 6.0ms (0.1% of total)
ival-acos: 6.0ms (0.1% of total)

prune40.4s (2.2%)

Memory
-2 243.5MiB live, 52 479.3MiB allocated
Counts
518 249 → 13 467
Compiler

Compiled 821 027 to 455 749 computations (44.5% saved)

bsearch33.3s (1.8%)

Memory
400.7MiB live, 33 767.7MiB allocated
Algorithm
1 605×binary-search
1 183×left-value
Stop Event
1 575×narrow-enough
30×predicate-same
Samples
18.5s131 034×0valid
1.4s3 945×1valid
166.0ms2 607×0invalid
33.0ms65×1invalid
23.0ms124×2valid
0.0ms1×3valid
Compiler

Compiled 902 048 to 648 504 computations (28.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.3s
ival-mult: 5.5s (41.3% of total)
ival-sub: 3.0s (22.4% of total)
ival-add: 1.5s (11.1% of total)
ival-div: 936.0ms (7% of total)
ival-log: 888.0ms (6.7% of total)
const: 417.0ms (3.1% of total)
ival-sin: 279.0ms (2.1% of total)
ival-cos: 243.0ms (1.8% of total)
ival-exp: 141.0ms (1.1% of total)
adjust: 122.0ms (0.9% of total)
ival-true: 101.0ms (0.8% of total)
ival-sqrt: 79.0ms (0.6% of total)
ival-assert: 54.0ms (0.4% of total)
exact: 47.0ms (0.4% of total)
ival-cosh: 27.0ms (0.2% of total)
ival-tanh: 7.0ms (0.1% of total)
ival-fabs: 3.0ms (0% of total)
ival-sinh: 2.0ms (0% of total)

analyze19.2s (1%)

Memory
-106.6MiB live, 20 156.3MiB 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.8MiB live, 14.5MiB allocated

end2.0ms (0%)

Memory
3.6MiB live, 3.4MiB allocated

Profiling

Loading profile data...