Herbie run

Date:Saturday, August 3rd, 2024
Commit:2.2 on release
Hostname:nightly with Racket 8.11.1
Seed:2024216
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: 3.4min)

sample49.0s (23.8%)

Memory
267.2MiB live, 49 471.5MiB allocated
Samples
15.0s109 648×0valid
10.9s43 765×1valid
8.1s6 310×5exit
3.8s11 707×2valid
1.3s10 313×1exit
440.0ms3 894×0invalid
338.0ms1 362×0exit
Precisions
Click to see histograms. Total time spent on operations: 33.2s
ival-<=: 7.1s (21.3% of total)
ival-exp: 4.0s (12% of total)
const: 3.1s (9.4% of total)
ival-pow: 2.9s (8.8% of total)
ival-cos: 2.1s (6.4% of total)
ival-tan: 2.0s (6% of total)
adjust: 2.0s (5.9% of total)
ival-mult: 1.8s (5.4% of total)
ival-log: 1.2s (3.6% of total)
ival-sqrt: 1.0s (3.1% of total)
ival-sin: 854.0ms (2.6% of total)
ival-fmod: 806.0ms (2.4% of total)
ival-sinh: 672.0ms (2% of total)
ival-add: 669.0ms (2% of total)
ival-div: 651.0ms (2% of total)
ival-sub: 565.0ms (1.7% of total)
ival-pow2: 466.0ms (1.4% of total)
ival-acos: 296.0ms (0.9% of total)
ival-neg: 197.0ms (0.6% of total)
ival-hypot: 144.0ms (0.4% of total)
ival-and: 113.0ms (0.3% of total)
ival->=: 97.0ms (0.3% of total)
ival-true: 96.0ms (0.3% of total)
ival-==: 81.0ms (0.2% of total)
exact: 79.0ms (0.2% of total)
ival-assert: 72.0ms (0.2% of total)
ival-<: 71.0ms (0.2% of total)
ival-atan: 54.0ms (0.2% of total)
ival-or: 40.0ms (0.1% of total)
ival->: 24.0ms (0.1% of total)
Bogosity

simplify47.9s (23.2%)

Memory
-94.2MiB live, 45 562.1MiB allocated
Algorithm
166×egg-herbie
Rules
1 097 016×lower-fma.f32
1 096 720×lower-fma.f64
383 104×lower-*.f32
382 312×lower-*.f64
224 190×lower-+.f32
Stop Event
216×iter limit
88×saturated
81×node limit
Counts
19 296 → 19 011

rewrite25.1s (12.2%)

Memory
-37.2MiB live, 30 198.7MiB allocated
Algorithm
73×batch-egg-rewrite
Rules
293 218×lower-fma.f32
292 922×lower-fma.f64
261 992×lower-*.f32
261 244×lower-*.f64
198 658×lower-/.f32
Stop Event
160×iter limit
67×node limit
5×unsound
3×saturated
Counts
1 011 → 37 040

soundness21.5s (10.4%)

Memory
34.1MiB live, 9 549.7MiB allocated
Rules
607 886×lower-fma.f32
607 770×lower-fma.f64
292 482×lower-*.f32
292 176×lower-*.f64
144 360×lower-+.f32
Stop Event
123×iter limit
65×node limit
14×fuel
6×done
5×saturated
5×unsound
Compiler

Compiled 8 155 to 3 999 computations (51% saved)

eval12.9s (6.3%)

Memory
699.0MiB live, 18 423.9MiB allocated
Compiler

Compiled 1 789 195 to 136 108 computations (92.4% saved)

localize12.6s (6.1%)

Memory
66.5MiB live, 14 990.8MiB allocated
Samples
3.5s4 782×1valid
2.8s11 560×0valid
2.0s1 855×2valid
424.0ms205×3valid
70.0ms212×1exit
17.0ms74×0exit
Compiler

Compiled 12 493 to 1 848 computations (85.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.6s
ival-mult: 1.5s (23.1% of total)
adjust: 822.0ms (12.5% of total)
ival-cos: 616.0ms (9.4% of total)
ival-add: 534.0ms (8.1% of total)
ival-div: 436.0ms (6.6% of total)
ival-sin: 372.0ms (5.7% of total)
ival-log: 325.0ms (4.9% of total)
ival-sqrt: 297.0ms (4.5% of total)
const: 288.0ms (4.4% of total)
ival-sub: 282.0ms (4.3% of total)
ival-tan: 275.0ms (4.2% of total)
ival-pow2: 185.0ms (2.8% of total)
ival-sinh: 162.0ms (2.5% of total)
ival-exp: 154.0ms (2.3% of total)
ival-pow: 87.0ms (1.3% of total)
ival-fmod: 57.0ms (0.9% of total)
ival-neg: 49.0ms (0.7% of total)
ival-acos: 36.0ms (0.5% of total)
ival-hypot: 20.0ms (0.3% of total)
ival-asin: 17.0ms (0.3% of total)
exact: 17.0ms (0.3% of total)
ival-true: 16.0ms (0.2% of total)
ival-assert: 8.0ms (0.1% of total)
ival-pi: 4.0ms (0.1% of total)
ival-atan: 1.0ms (0% of total)
ival-fabs: 1.0ms (0% of total)

prune10.5s (5.1%)

Memory
-206.5MiB live, 18 618.1MiB allocated
Counts
73 230 → 1 785
Compiler

Compiled 79 239 to 35 188 computations (55.6% saved)

explain9.3s (4.5%)

Memory
-22.5MiB live, 3 613.7MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue5450
cos.f64#fsensitivity5200
-.f64#fcancellation3260
sqrt.f64#fuflow-rescue2990
/.f64#fn/o2580
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2541
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2461
tan.f64(tan.f64 (+.f64 y z))sensitivity2010
pow.f64(pow.f64 l (exp.f64 w))sensitivity12015
*.f64#fn*o560
*.f64#fu*o300
*.f64#fn*u220
-.f64(-.f64 (*.f64 a a) (*.f64 b b))nan-rescue140
↳(*.f64 a a)overflow105
↳(*.f64 b b)overflow14
log.f64(log.f64 (/.f64 (sinh.f64 x) x))oflow-rescue30
↳(sinh.f64 x)overflow3
↳(/.f64 (sinh.f64 x) x)overflow3
+.f64(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))cancellation12
Confusion
Predicted +Predicted -
+2134269
-6872030
Precision
0.7564693371144984
Recall
0.8880565959217644
Confusion?
Predicted +Predicted MaybePredicted -
+21342267
-687152015
Precision?
0.7526427061310782
Recall?
0.8888888888888888
Freqs
test
numberfreq
02299
12747
274
Total Confusion?
Predicted +Predicted MaybePredicted -
+1701
-002
Precision?
1.0
Recall?
0.9444444444444444
Samples
7.0s6 724×0valid
465.0ms724×2valid
447.0ms2 686×1valid
16.0ms106×1exit
Compiler

Compiled 1 288 to 560 computations (56.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.5s
ival-sqrt: 6.5s (86.9% of total)
ival-log: 243.0ms (3.2% of total)
adjust: 107.0ms (1.4% of total)
ival-cos: 80.0ms (1.1% of total)
ival-tan: 79.0ms (1.1% of total)
ival-mult: 76.0ms (1% of total)
ival-neg: 71.0ms (0.9% of total)
ival-exp: 38.0ms (0.5% of total)
ival-sinh: 37.0ms (0.5% of total)
ival-sub: 36.0ms (0.5% of total)
ival-sin: 36.0ms (0.5% of total)
ival-add: 35.0ms (0.5% of total)
ival-div: 32.0ms (0.4% of total)
ival-fmod: 26.0ms (0.3% of total)
ival-pow2: 26.0ms (0.3% of total)
ival-acos: 18.0ms (0.2% of total)
ival-hypot: 13.0ms (0.2% of total)
ival-pow: 8.0ms (0.1% of total)
ival-true: 8.0ms (0.1% of total)
ival-atan: 5.0ms (0.1% of total)
ival-assert: 4.0ms (0.1% of total)
exact: 2.0ms (0% of total)

regimes5.9s (2.9%)

Memory
-107.4MiB live, 10 500.4MiB allocated
Counts
3 890 → 200
Calls

53 calls:

737.0ms
x
621.0ms
a
419.0ms
b
355.0ms
r
251.0ms
(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
Compiler

Compiled 2 994 to 2 052 computations (31.5% saved)

preprocess4.1s (2%)

Memory
85.7MiB live, 4 149.0MiB allocated
Algorithm
20×egg-herbie
Rules
26 494×lower-fma.f32
26 494×lower-fma.f64
5 788×lower-+.f32
5 770×lower-+.f64
5 074×unsub-neg
Stop Event
39×saturated
38×iter limit
3×node limit
Compiler

Compiled 8 288 to 3 258 computations (60.7% saved)

analyze3.6s (1.8%)

Memory
66.8MiB live, 4 589.2MiB allocated
Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
28.8%21.3%52.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.2%0%6
71.1%51.1%20.8%26.3%0%1.9%0%7
72.1%51.6%20%26.3%0%2.1%0%8
74.4%53%18.2%26.3%0%2.5%0%9
75.8%53.9%17.2%26.3%0%2.6%0%10
76.6%54.3%16.6%26.3%0%2.8%0%11
77.3%54.8%16.1%26.3%0%2.9%0%12
Compiler

Compiled 279 to 216 computations (22.6% saved)

series3.0s (1.5%)

Memory
-101.6MiB live, 3 478.9MiB allocated
Counts
1 011 → 19 296
Calls

2667 calls:

TimeVariablePointExpression
511.0ms
z
@0
(* (+ (* y (* y (/ 1/2 z))) z) (* (+ (* y (* y (/ 1/2 z))) (neg z)) (/ -1 (+ (* y (/ (* y -1/2) z)) z))))
92.0ms
x
@0
(sqrt (* x (sqrt x)))
75.0ms
y
@0
(* (+ (* x (* x x)) (pow (- (tan (+ y z)) (tan a)) 3)) (/ 1 (+ (* (- (tan (+ y z)) (tan a)) (- (- (tan (+ y z)) (tan a)) x)) (* x x))))
72.0ms
x
@inf
(log (/ (sinh x) x))
67.0ms
x
@0
(* (sqrt (* (* 2 x) (sqrt (sqrt x)))) (sqrt (sqrt (* x (sqrt x)))))

bsearch693.0ms (0.3%)

Memory
-7.0MiB live, 758.4MiB allocated
Algorithm
50×binary-search
23×left-value
Stop Event
48×narrow-enough
2×predicate-same
Samples
284.0ms2 749×0valid
142.0ms659×1valid
Compiler

Compiled 11 070 to 7 291 computations (34.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 290.0ms
ival-tan: 67.0ms (23.1% of total)
ival-add: 49.0ms (16.9% of total)
ival-mult: 43.0ms (14.8% of total)
ival-cos: 35.0ms (12.1% of total)
ival-pow2: 20.0ms (6.9% of total)
ival-exp: 15.0ms (5.2% of total)
ival-pow: 15.0ms (5.2% of total)
adjust: 13.0ms (4.5% of total)
ival-div: 11.0ms (3.8% of total)
ival-sin: 7.0ms (2.4% of total)
ival-sub: 4.0ms (1.4% of total)
ival-neg: 4.0ms (1.4% of total)
ival-sqrt: 2.0ms (0.7% of total)
ival-true: 2.0ms (0.7% of total)
ival-assert: 1.0ms (0.3% of total)
exact: 1.0ms (0.3% of total)

end0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated

Profiling

Loading profile data...