Herbie run

Date:Wednesday, November 13th, 2024
Commit:b0f482cc on pavel-concrete-values
Hostname:nightly with Racket 8.10
Seed:2024318
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.8min)

simplify6.0min (19.4%)

Memory
3 256.7MiB live, 243 153.7MiB allocated
Algorithm
2 161×egg-herbie
Stop Event
2 815×iter limit
1 462×node limit
722×saturated
Counts
73 703 → 72 541

sample5.8min (18.9%)

Memory
3 114.7MiB live, 333 406.5MiB allocated
Samples
3.4min2 146 491×0valid
23.0s68 085×1valid
10.9s64 312×0invalid
1.8s5 658×2valid
1.3s1 757×1invalid
1.2s1 256×5exit
311.0ms628×3valid
250.0ms393×4exit
7.0ms38×1exit
0.0ms2×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.5min
ival-mult: 49.0s (32.3% of total)
ival-add: 22.1s (14.6% of total)
ival-sub: 19.8s (13.1% of total)
ival-div: 18.8s (12.4% of total)
ival-log: 9.7s (6.4% of total)
const: 6.9s (4.5% of total)
ival-sqrt: 5.8s (3.8% of total)
ival-sin: 3.7s (2.5% of total)
adjust: 3.4s (2.2% of total)
ival-cos: 3.1s (2% of total)
ival-exp: 3.0s (2% of total)
ival-true: 1.8s (1.2% of total)
ival-fabs: 1.2s (0.8% of total)
exact: 1.1s (0.7% of total)
ival-assert: 986.0ms (0.6% of total)
ival-tan: 339.0ms (0.2% of total)
ival-cosh: 270.0ms (0.2% of total)
ival-acos: 249.0ms (0.2% of total)
ival-hypot: 188.0ms (0.1% of total)
ival-sinh: 173.0ms (0.1% of total)
ival-tanh: 98.0ms (0.1% of total)
Bogosity

soundness5.1min (16.6%)

Memory
-833.3MiB live, 144 978.2MiB allocated
Stop Event
1 471×iter limit
1 001×node limit
155×fuel
114×done
23×saturated
4×unsound
Compiler

Compiled 216 206 to 88 268 computations (59.2% saved)

rewrite4.0min (13%)

Memory
-915.1MiB live, 207 838.2MiB allocated
Stop Event
1 929×iter limit
920×node limit
22×saturated
18×unsound
Counts
11 456 → 501 109

eval2.0min (6.6%)

Memory
738.5MiB live, 124 622.1MiB allocated
Compiler

Compiled 18 096 646 to 1 861 822 computations (89.7% saved)

localize2.0min (6.4%)

Memory
-1 465.2MiB live, 107 339.1MiB allocated
Samples
1.1min222 286×0valid
11.3s11 248×1valid
4.4s2 834×2valid
2.1s3 976×0invalid
758.0ms462×2exit
380.0ms985×0exit
283.0ms262×3valid
170.0ms81×5exit
43.0ms23×1exit
11.0ms11×3exit
7.0ms8×4valid
Compiler

Compiled 137 471 to 22 935 computations (83.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 54.7s
ival-mult: 18.3s (33.5% of total)
ival-div: 9.7s (17.7% of total)
ival-add: 8.7s (15.9% of total)
const: 3.7s (6.7% of total)
ival-sub: 3.5s (6.4% of total)
adjust: 2.0s (3.7% of total)
ival-log: 1.7s (3.1% of total)
ival-pow: 1.5s (2.8% of total)
ival-neg: 1.2s (2.1% of total)
ival-cos: 1.0s (1.9% of total)
ival-sqrt: 808.0ms (1.5% of total)
ival-sin: 708.0ms (1.3% of total)
ival-exp: 444.0ms (0.8% of total)
ival-pow2: 370.0ms (0.7% of total)
exact: 225.0ms (0.4% of total)
ival-true: 192.0ms (0.4% of total)
ival-log1p: 126.0ms (0.2% of total)
ival-assert: 113.0ms (0.2% of total)
ival-tan: 90.0ms (0.2% of total)
ival-hypot: 76.0ms (0.1% of total)
ival-cosh: 61.0ms (0.1% of total)
ival-fabs: 26.0ms (0% of total)
ival-expm1: 26.0ms (0% of total)
ival-sinh: 19.0ms (0% of total)
ival-acos: 18.0ms (0% of total)
ival-tanh: 14.0ms (0% of total)
ival-asin: 5.0ms (0% of total)
ival-e: 2.0ms (0% of total)
ival-pi: 2.0ms (0% of total)

regimes1.5min (4.9%)

Memory
191.7MiB live, 90 553.5MiB allocated
Counts
35 132 → 4 739
Calls

513 calls:

13.1s
y
11.9s
x
9.3s
z
7.2s
t
3.6s
a
Compiler

Compiled 37 675 to 56 776 computations (-50.7% saved)

preprocess1.2min (3.8%)

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

Compiled 307 406 to 60 744 computations (80.2% saved)

series50.6s (2.7%)

Memory
63.7MiB live, 54 901.6MiB allocated
Counts
11 456 → 73 703
Calls

9012 calls:

TimeVariablePointExpression
343.0ms
y
@inf
((/ (* x y) (+ y 1)) (- x (/ x y)) (/ (neg x) y) (neg x) (/ (* x y) (+ y 1)) (* y x) (/ (* x y) (+ y 1)) (* (* y x) (- 1 y)) (- 1 y) (* (* (- y 1) y) (neg x)) (/ (* x y) (+ y 1)) (* (- y 1) y) (- y 1))
313.0ms
x
@-inf
((+ (* (+ (* (log y) x) z) (* (- (* (log y) x) z) (pow (+ (* (log y) x) z) -1))) (neg y)) (* (- (* (log y) x) z) (pow (+ (* (log y) x) z) -1)) (+ (* (log y) x) z) (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) (+ (* (* x x) (/ (pow (log y) 2) (+ (* (log y) x) z))) (neg (* z (/ z (+ (* (log y) x) z))))) (- (+ (* (* x x) (/ (pow (log y) 2) (+ (* (log y) x) z))) (neg (* z (/ z (+ (* (log y) x) z))))) y) (* x x) (/ (pow (log y) 2) (+ (* (log y) x) z)) (* (log y) x) (pow (+ (* (log y) x) z) -1) (pow (log y) 2))
236.0ms
z
@inf
((sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3)) (* (sqrt (+ (* z z) (* y y))) (sqrt 1/3)) (sqrt (+ (* z z) (* y y))) (sqrt 1/3) (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3)) (* (sqrt 1/3) z) (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3)) (/ (+ (+ (* x x) (* y y)) (* z z)) 3) (* 1/3 (* z z)) (* z z) (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3)) (/ (+ (+ (* x x) (* y y)) (* z z)) 3) (* 1/3 (+ (* z z) (* y y))) (+ (* z z) (* y y)) (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3)) (/ (+ (+ (* x x) (* y y)) (* z z)) 3) (+ (+ (* x x) (* y y)) (* z z)) (* y y))
234.0ms
x
@-inf
((/ (* (sin x) (sinh y)) x) (* (sin x) (sinh y)) (sin x) (sinh y))
204.0ms
z
@inf
((* (pow a -1/2) (* (pow a -1/2) (+ (* z (neg t)) (* x y)))) (pow a -1/2) (* (pow a -1/2) (+ (* z (neg t)) (* x y))) (+ (* z (neg t)) (* x y)) (/ (- (* x y) (* z t)) a) (* x (/ y a)) (/ y a) (* (+ (* (neg y) x) (* t z)) (/ -1 a)) (+ (* (neg y) x) (* t z)) (* z t) (/ -1 a) (/ 1 (/ (* a a) (- (* a (* y x)) (* a (* t z))))) (/ (* a a) (- (* a (* y x)) (* a (* t z)))) (/ (neg a) (* z t)) (neg a) (/ (+ (* (* a x) y) (* a (* (* z (neg t)) 1))) (* a a)) (+ (* (* a x) y) (* a (* (* z (neg t)) 1))) (* (* z (neg t)) 1) (* a x) (neg t) (* a (* (* z (neg t)) 1)))

explain45.5s (2.5%)

Memory
-1 587.2MiB live, 45 667.3MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15391
/.f64#fo/n11810
sqrt.f64#foflow-rescue7950
-.f64#fcancellation6121
/.f64#fo/o5570
*.f64#fn*o4810
-.f64#fnan-rescue4630
+.f64#fnan-rescue4620
cos.f64#fsensitivity3590
/.f64#fn/o3360
+.f64#fcancellation3230
/.f64#fu/n2450
sin.f64#fsensitivity2250
*.f64#fn*u1910
/.f64#fn/u1490
cos.f64#foflow-rescue1350
log.f64#foflow-rescue1010
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity970
/.f64#fu/u750
log.f64#fuflow-rescue650
sqrt.f64#fuflow-rescue400
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue330
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow33
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue330
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow33
*.f64#fo*u250
exp.f64(exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t #s(literal 1 binary64)) (log.f64 a))) b))sensitivity212
*.f64#fu*o30
Confusion
Predicted +Predicted -
+5996178
-167261018
Precision
0.7819509650495566
Recall
0.971169420149012
Confusion?
Predicted +Predicted MaybePredicted -
+59961177
-1672361015
Precision?
0.7816736183524504
Recall?
0.9713313896987367
Freqs
test
numberfreq
061196
16901
2681
366
415
55
Total Confusion?
Predicted +Predicted MaybePredicted -
+13400
-10134
Precision?
0.9925925925925926
Recall?
1.0
Samples
15.1s130 506×0valid
1.9s5 884×1valid
611.0ms1 236×2valid
22.0ms98×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.4s
ival-mult: 2.9s (30.3% of total)
ival-sub: 1.6s (17.5% of total)
ival-add: 1.1s (11.5% of total)
ival-div: 1.1s (11.5% of total)
ival-log: 670.0ms (7.1% of total)
const: 566.0ms (6% of total)
ival-sin: 312.0ms (3.3% of total)
ival-sqrt: 294.0ms (3.1% of total)
adjust: 256.0ms (2.7% of total)
ival-cos: 225.0ms (2.4% of total)
ival-true: 119.0ms (1.3% of total)
ival-exp: 82.0ms (0.9% of total)
ival-assert: 63.0ms (0.7% of total)
exact: 63.0ms (0.7% of total)
ival-acos: 41.0ms (0.4% of total)
ival-tan: 12.0ms (0.1% of total)
ival-cosh: 11.0ms (0.1% of total)
ival-fabs: 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)

prune41.1s (2.2%)

Memory
-1 833.4MiB live, 52 320.7MiB allocated
Counts
524 535 → 13 414
Compiler

Compiled 792 402 to 441 961 computations (44.2% saved)

bsearch34.3s (1.9%)

Memory
-39.5MiB live, 31 999.0MiB allocated
Algorithm
1 518×binary-search
1 137×left-value
Stop Event
1 491×narrow-enough
27×predicate-same
Samples
18.7s120 271×0valid
1.0s2 879×1valid
145.0ms2 067×0invalid
41.0ms113×2valid
0.0ms1×3valid
Compiler

Compiled 828 012 to 602 215 computations (27.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.9s
ival-mult: 6.7s (48.1% of total)
ival-sub: 2.4s (17.4% of total)
ival-add: 1.8s (13.2% of total)
ival-div: 909.0ms (6.6% of total)
ival-log: 544.0ms (3.9% of total)
const: 522.0ms (3.8% of total)
ival-sin: 236.0ms (1.7% of total)
ival-cos: 229.0ms (1.7% of total)
adjust: 149.0ms (1.1% of total)
ival-true: 93.0ms (0.7% of total)
ival-exp: 74.0ms (0.5% of total)
ival-sqrt: 68.0ms (0.5% of total)
ival-assert: 54.0ms (0.4% of total)
exact: 48.0ms (0.3% of total)
ival-cosh: 23.0ms (0.2% of total)
ival-tanh: 4.0ms (0% of total)
ival-fabs: 4.0ms (0% of total)
ival-sinh: 2.0ms (0% of total)

analyze20.4s (1.1%)

Memory
7.4MiB live, 20 250.5MiB 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)

start8.0ms (0%)

Memory
15.9MiB live, 15.7MiB allocated

end2.0ms (0%)

Memory
3.9MiB live, 3.6MiB allocated

Profiling

Loading profile data...