Herbie run

Date:Thursday, August 1st, 2024
Commit:9d1b2398 on HEAD
Hostname:nightly with Racket 8.11.1
Seed:2024214
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.8min)

sample55.5s (24.4%)

Memory
228.7MiB live, 48 249.2MiB allocated
Samples
19.4s43 479×1valid
11.7s109 915×0valid
8.8s6 250×5exit
4.0s11 726×2valid
1.0s10 073×1exit
464.0ms3 839×0invalid
160.0ms1 390×0exit
Precisions
Click to see histograms. Total time spent on operations: 36.5s
const: 11.2s (30.7% of total)
ival-exp: 4.0s (11% of total)
ival-pow: 3.6s (9.7% of total)
ival-cos: 2.1s (5.8% of total)
ival-tan: 2.1s (5.7% of total)
adjust: 2.0s (5.5% of total)
ival-mult: 1.9s (5.2% of total)
ival-log: 1.3s (3.5% of total)
ival-sqrt: 1.2s (3.3% of total)
ival-sub: 895.0ms (2.5% of total)
ival-add: 884.0ms (2.4% of total)
ival-fmod: 876.0ms (2.4% of total)
ival-div: 825.0ms (2.3% of total)
ival-sinh: 688.0ms (1.9% of total)
ival-sin: 615.0ms (1.7% of total)
ival-<=: 493.0ms (1.4% of total)
ival-acos: 398.0ms (1.1% of total)
ival-pow2: 384.0ms (1.1% of total)
ival-neg: 185.0ms (0.5% of total)
ival-hypot: 183.0ms (0.5% of total)
ival-and: 113.0ms (0.3% of total)
ival-true: 104.0ms (0.3% of total)
ival-==: 101.0ms (0.3% of total)
exact: 83.0ms (0.2% of total)
ival-assert: 80.0ms (0.2% of total)
ival-<: 68.0ms (0.2% of total)
ival-atan: 67.0ms (0.2% of total)
ival-or: 37.0ms (0.1% of total)
ival->=: 23.0ms (0.1% of total)
ival->: 19.0ms (0.1% of total)
Bogosity

simplify43.0s (18.9%)

Memory
-266.4MiB live, 47 686.5MiB allocated
Algorithm
164×egg-herbie
Rules
1 046 068×lower-fma.f32
1 045 746×lower-fma.f64
406 904×lower-*.f32
406 050×lower-*.f64
225 852×lower-+.f32
Stop Event
212×iter limit
85×saturated
83×node limit
Counts
16 368 → 16 080

soundness28.5s (12.6%)

Memory
-31.8MiB live, 8 958.9MiB allocated
Rules
666 548×lower-fma.f32
666 338×lower-fma.f64
345 014×lower-*.f32
344 510×lower-*.f64
171 196×lower-+.f32
Stop Event
131×iter limit
72×node limit
16×fuel
5×saturated
4×unsound
4×done
Compiler

Compiled 6 927 to 3 483 computations (49.7% saved)

rewrite25.0s (11%)

Memory
35.1MiB live, 29 458.1MiB allocated
Algorithm
72×batch-egg-rewrite
Rules
300 068×lower-fma.f32
299 750×lower-fma.f64
245 216×lower-*.f32
244 402×lower-*.f64
189 466×lower-/.f32
Stop Event
163×iter limit
63×node limit
7×unsound
4×saturated
Counts
925 → 42 910

eval22.0s (9.7%)

Memory
306.8MiB live, 18 987.5MiB allocated
Compiler

Compiled 2 389 386 to 166 340 computations (93% saved)

prune13.6s (6%)

Memory
-285.2MiB live, 19 017.9MiB allocated
Counts
79 961 → 1 778
Compiler

Compiled 73 560 to 36 292 computations (50.7% saved)

explain11.0s (4.8%)

Memory
-55.7MiB live, 3 336.5MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue5970
cos.f64#fsensitivity4941
sqrt.f64#fuflow-rescue3550
-.f64#fcancellation3371
/.f64#fn/o2600
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2541
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2541
tan.f64(tan.f64 (+.f64 y z))sensitivity1881
pow.f64(pow.f64 l (exp.f64 w))sensitivity11415
*.f64#fn*o610
*.f64#fu*o420
*.f64#fn*u260
-.f64(-.f64 (*.f64 a a) (*.f64 b b))nan-rescue160
↳(*.f64 a a)overflow102
↳(*.f64 b b)overflow16
exp.f64(exp.f64 (neg.f64 w))sensitivity31
log.f64(log.f64 (/.f64 (sinh.f64 x) x))oflow-rescue10
↳(sinh.f64 x)overflow1
↳(/.f64 (sinh.f64 x) x)overflow1
Confusion
Predicted +Predicted -
+2229263
-6891939
Precision
0.7638793694311172
Recall
0.89446227929374
Confusion?
Predicted +Predicted MaybePredicted -
+22292261
-689191920
Precision?
0.7591017352841103
Recall?
0.8952648475120385
Freqs
test
numberfreq
02202
12836
280
32
Total Confusion?
Predicted +Predicted MaybePredicted -
+1800
-002
Precision?
1.0
Recall?
1.0
Samples
488.0ms6 720×0valid
472.0ms2 678×1valid
312.0ms728×2valid
15.0ms114×1exit
Compiler

Compiled 1 288 to 560 computations (56.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 866.0ms
adjust: 139.0ms (16.1% of total)
ival-tan: 81.0ms (9.4% of total)
ival-add: 79.0ms (9.1% of total)
ival-log: 76.0ms (8.8% of total)
ival-cos: 65.0ms (7.5% of total)
ival-mult: 64.0ms (7.4% of total)
ival-sqrt: 53.0ms (6.1% of total)
ival-sub: 48.0ms (5.5% of total)
ival-sinh: 45.0ms (5.2% of total)
ival-sin: 38.0ms (4.4% of total)
ival-exp: 37.0ms (4.3% of total)
ival-div: 31.0ms (3.6% of total)
ival-fmod: 26.0ms (3% of total)
ival-acos: 22.0ms (2.5% of total)
ival-pow2: 21.0ms (2.4% of total)
ival-true: 9.0ms (1% of total)
ival-pow: 8.0ms (0.9% of total)
ival-hypot: 8.0ms (0.9% of total)
ival-assert: 5.0ms (0.6% of total)
ival-neg: 5.0ms (0.6% of total)
ival-atan: 3.0ms (0.3% of total)
exact: 2.0ms (0.2% of total)

localize10.0s (4.4%)

Memory
328.8MiB live, 12 619.2MiB allocated
Samples
2.8s13 142×0valid
2.7s3 351×1valid
735.0ms950×2valid
334.0ms858×1exit
21.0ms122×0invalid
5.0ms9×3valid
Compiler

Compiled 12 634 to 1 753 computations (86.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.0s
ival-mult: 1.5s (29.1% of total)
ival-tan: 471.0ms (9.4% of total)
ival-add: 393.0ms (7.9% of total)
adjust: 385.0ms (7.7% of total)
ival-cos: 380.0ms (7.6% of total)
ival-div: 327.0ms (6.6% of total)
const: 272.0ms (5.5% of total)
ival-sin: 243.0ms (4.9% of total)
ival-sqrt: 185.0ms (3.7% of total)
ival-fmod: 162.0ms (3.2% of total)
ival-log: 110.0ms (2.2% of total)
ival-pow: 106.0ms (2.1% of total)
ival-sub: 100.0ms (2% of total)
ival-exp: 73.0ms (1.5% of total)
ival-acos: 72.0ms (1.4% of total)
ival-neg: 61.0ms (1.2% of total)
ival-pow2: 60.0ms (1.2% of total)
ival-sinh: 38.0ms (0.8% of total)
ival-hypot: 27.0ms (0.5% of total)
exact: 18.0ms (0.4% of total)
ival-true: 16.0ms (0.3% of total)
ival-cbrt: 10.0ms (0.2% of total)
ival-assert: 8.0ms (0.2% of total)
ival-asin: 7.0ms (0.1% of total)
ival-log1p: 5.0ms (0.1% of total)
ival-pi: 4.0ms (0.1% of total)
ival-atan: 1.0ms (0% of total)

regimes6.4s (2.8%)

Memory
159.6MiB live, 10 288.3MiB allocated
Counts
4 100 → 206
Calls

53 calls:

771.0ms
a
723.0ms
x
613.0ms
b
424.0ms
r
294.0ms
y
Compiler

Compiled 2 885 to 1 994 computations (30.9% saved)

analyze4.5s (2%)

Memory
65.8MiB live, 4 676.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)

preprocess4.2s (1.8%)

Memory
-18.8MiB live, 3 977.1MiB 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 692 to 3 526 computations (59.4% saved)

series2.8s (1.2%)

Memory
242.7MiB live, 4 090.1MiB allocated
Counts
925 → 16 368
Calls

3189 calls:

TimeVariablePointExpression
95.0ms
x
@0
(* (pow 2 1/8) (* (pow 2 1/8) (neg (* x (pow 2 1/4)))))
88.0ms
x
@-inf
(* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
68.0ms
x
@0
(sqrt (* x (sqrt x)))
62.0ms
l
@-inf
(* (exp (neg w)) (+ (* w (* l (* (+ (* (* w 1/2) (+ (log l) 1)) 1) (log l)))) l))
60.0ms
x
@-inf
(* (pow x 3/4) (sqrt (* 2 (sqrt x))))

bsearch803.0ms (0.4%)

Memory
-102.9MiB live, 789.8MiB allocated
Algorithm
55×binary-search
19×left-value
Stop Event
55×narrow-enough
Samples
272.0ms1 370×1valid
238.0ms2 230×0valid
Compiler

Compiled 12 852 to 9 089 computations (29.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 374.0ms
ival-tan: 88.0ms (23.5% of total)
ival-sin: 65.0ms (17.4% of total)
ival-div: 59.0ms (15.8% of total)
ival-cos: 44.0ms (11.8% of total)
ival-add: 28.0ms (7.5% of total)
adjust: 27.0ms (7.2% of total)
ival-mult: 19.0ms (5.1% of total)
ival-pow2: 9.0ms (2.4% of total)
ival-pow: 8.0ms (2.1% of total)
ival-exp: 7.0ms (1.9% of total)
ival-sub: 7.0ms (1.9% of total)
ival-sqrt: 3.0ms (0.8% of total)
ival-acos: 3.0ms (0.8% of total)
ival-true: 3.0ms (0.8% of total)
ival-assert: 2.0ms (0.5% of total)
ival-neg: 2.0ms (0.5% of total)
exact: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated

Profiling

Loading profile data...