Herbie run

Date:Tuesday, August 6th, 2024
Commit:2.2 on release
Hostname:nightly with Racket 8.11.1
Seed:2024219
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.9min)

simplify58.0s (25.1%)

Memory
-25.2MiB live, 47 758.7MiB allocated
Algorithm
168×egg-herbie
Rules
1 076 510×lower-fma.f32
1 076 240×lower-fma.f64
403 194×lower-*.f32
402 382×lower-*.f64
222 970×lower-+.f32
Stop Event
219×iter limit
88×saturated
83×node limit
Counts
16 860 → 16 507

sample50.7s (22%)

Memory
61.9MiB live, 49 706.7MiB allocated
Samples
19.7s43 376×1valid
9.2s109 895×0valid
8.4s6 196×5exit
3.9s11 849×2valid
1.1s10 173×1exit
407.0ms3 974×0invalid
98.0ms1 322×0exit
Precisions
Click to see histograms. Total time spent on operations: 27.2s
ival-exp: 3.7s (13.8% of total)
ival-pow: 3.6s (13.3% of total)
const: 2.7s (10% of total)
ival-cos: 2.2s (8% of total)
ival-mult: 2.0s (7.4% of total)
adjust: 1.9s (6.9% of total)
ival-tan: 1.8s (6.5% of total)
ival-log: 1.3s (4.7% of total)
ival-sqrt: 1.0s (3.7% of total)
ival-<=: 846.0ms (3.1% of total)
ival-fmod: 730.0ms (2.7% of total)
ival-sinh: 716.0ms (2.6% of total)
ival-sub: 703.0ms (2.6% of total)
ival-add: 702.0ms (2.6% of total)
ival-sin: 662.0ms (2.4% of total)
ival-div: 579.0ms (2.1% of total)
ival-acos: 478.0ms (1.8% of total)
ival-pow2: 411.0ms (1.5% of total)
ival-neg: 218.0ms (0.8% of total)
ival-hypot: 209.0ms (0.8% of total)
ival-and: 111.0ms (0.4% of total)
ival-atan: 104.0ms (0.4% of total)
ival->=: 93.0ms (0.3% of total)
ival-true: 92.0ms (0.3% of total)
ival-==: 92.0ms (0.3% of total)
ival-assert: 71.0ms (0.3% of total)
exact: 71.0ms (0.3% of total)
ival-<: 70.0ms (0.3% of total)
ival-or: 37.0ms (0.1% of total)
ival->: 18.0ms (0.1% of total)
Bogosity

rewrite31.8s (13.8%)

Memory
-229.7MiB live, 28 831.4MiB allocated
Algorithm
74×batch-egg-rewrite
Rules
276 756×lower-fma.f32
276 486×lower-fma.f64
252 554×lower-*.f32
251 792×lower-*.f64
204 162×lower-/.f32
Stop Event
167×iter limit
66×node limit
7×unsound
3×saturated
Counts
967 → 45 585

soundness31.2s (13.5%)

Memory
184.7MiB live, 12 543.5MiB allocated
Rules
694 948×lower-fma.f32
694 770×lower-fma.f64
359 478×lower-*.f32
358 976×lower-*.f64
188 706×lower-+.f32
Stop Event
151×iter limit
78×node limit
14×fuel
6×unsound
6×done
5×saturated
Compiler

Compiled 8 732 to 4 406 computations (49.5% saved)

eval13.2s (5.7%)

Memory
961.8MiB live, 19 759.9MiB allocated
Compiler

Compiled 2 303 787 to 169 226 computations (92.7% saved)

prune12.6s (5.5%)

Memory
-354.8MiB live, 19 968.9MiB allocated
Counts
84 091 → 1 828
Compiler

Compiled 71 664 to 35 503 computations (50.5% saved)

localize11.5s (5%)

Memory
117.7MiB live, 13 760.8MiB allocated
Samples
2.9s12 848×0valid
2.5s3 766×1valid
1.8s1 497×2valid
248.0ms569×1exit
32.0ms256×0invalid
12.0ms6×5exit
7.0ms2×3valid
Compiler

Compiled 11 594 to 1 762 computations (84.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.6s
ival-mult: 1.3s (23% of total)
ival-pow: 668.0ms (12% of total)
ival-cos: 532.0ms (9.6% of total)
adjust: 494.0ms (8.9% of total)
ival-div: 423.0ms (7.6% of total)
ival-add: 377.0ms (6.8% of total)
ival-sqrt: 268.0ms (4.8% of total)
ival-tan: 235.0ms (4.2% of total)
ival-sin: 227.0ms (4.1% of total)
ival-sinh: 173.0ms (3.1% of total)
ival-fmod: 160.0ms (2.9% of total)
ival-sub: 146.0ms (2.6% of total)
const: 144.0ms (2.6% of total)
ival-log: 87.0ms (1.6% of total)
ival-neg: 68.0ms (1.2% of total)
ival-exp: 67.0ms (1.2% of total)
ival-pow2: 67.0ms (1.2% of total)
ival-hypot: 33.0ms (0.6% of total)
ival-acos: 21.0ms (0.4% of total)
exact: 18.0ms (0.3% of total)
ival-cbrt: 15.0ms (0.3% of total)
ival-true: 15.0ms (0.3% of total)
ival-atan: 13.0ms (0.2% of total)
ival-asin: 10.0ms (0.2% of total)
ival-assert: 8.0ms (0.1% of total)
ival-pi: 7.0ms (0.1% of total)
ival-log1p: 7.0ms (0.1% of total)

regimes7.7s (3.3%)

Memory
-22.9MiB live, 9 313.1MiB allocated
Counts
4 519 → 245
Calls

53 calls:

919.0ms
a
835.0ms
b
763.0ms
x
597.0ms
r
356.0ms
(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
Compiler

Compiled 2 884 to 1 979 computations (31.4% saved)

analyze4.1s (1.8%)

Memory
-2.4MiB live, 4 943.7MiB 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)

preprocess3.4s (1.5%)

Memory
189.1MiB live, 4 055.7MiB 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 680 to 3 054 computations (64.8% saved)

series2.8s (1.2%)

Memory
-15.3MiB live, 3 811.8MiB allocated
Counts
967 → 16 860
Calls

3252 calls:

TimeVariablePointExpression
241.0ms
x
@0
(sqrt (* x (sqrt x)))
72.0ms
l
@0
(+ (* l (- (* w (log l)) w)) l)
57.0ms
x
@-inf
(* (pow x 3/4) (sqrt (* 2 (sqrt x))))
57.0ms
x
@0
(+ (* (* x x) (* x x)) 0)
55.0ms
x
@0
(+ (* (pow (+ x 1) -3/8) (/ (sqrt (- 1 (* x x))) (neg (pow (+ x 1) 1/8)))) (sqrt (+ x 1)))

explain2.8s (1.2%)

Memory
-21.7MiB live, 3 713.6MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue5340
cos.f64#fsensitivity5113
-.f64#fcancellation3330
sqrt.f64#fuflow-rescue3290
/.f64#fn/o2570
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2521
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2470
tan.f64(tan.f64 (+.f64 y z))sensitivity1920
pow.f64(pow.f64 l (exp.f64 w))sensitivity11719
*.f64#fn*o550
*.f64#fu*o370
*.f64#fn*u210
-.f64(-.f64 (*.f64 a a) (*.f64 b b))nan-rescue140
↳(*.f64 a a)overflow108
↳(*.f64 b b)overflow14
log.f64(log.f64 (/.f64 (sinh.f64 x) x))oflow-rescue60
↳(sinh.f64 x)overflow6
↳(/.f64 (sinh.f64 x) x)overflow6
+.f64(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))cancellation11
Confusion
Predicted +Predicted -
+2143262
-6892026
Precision
0.7567090395480226
Recall
0.891060291060291
Confusion?
Predicted +Predicted MaybePredicted -
+21432260
-689212005
Precision?
0.7513134851138353
Recall?
0.8918918918918919
Freqs
test
numberfreq
02288
12761
268
33
Total Confusion?
Predicted +Predicted MaybePredicted -
+1800
-002
Precision?
1.0
Recall?
1.0
Samples
674.0ms2 680×1valid
441.0ms6 736×0valid
299.0ms734×2valid
12.0ms90×1exit
Compiler

Compiled 1 288 to 560 computations (56.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 995.0ms
adjust: 109.0ms (11% of total)
ival-cos: 107.0ms (10.8% of total)
ival-tan: 96.0ms (9.6% of total)
ival-sinh: 94.0ms (9.4% of total)
ival-sub: 86.0ms (8.6% of total)
ival-mult: 82.0ms (8.2% of total)
ival-log: 76.0ms (7.6% of total)
ival-sqrt: 47.0ms (4.7% of total)
ival-exp: 44.0ms (4.4% of total)
ival-acos: 42.0ms (4.2% of total)
ival-div: 41.0ms (4.1% of total)
ival-add: 40.0ms (4% of total)
ival-sin: 35.0ms (3.5% of total)
ival-fmod: 27.0ms (2.7% of total)
ival-pow2: 23.0ms (2.3% of total)
ival-pow: 14.0ms (1.4% of total)
ival-hypot: 11.0ms (1.1% of total)
ival-true: 8.0ms (0.8% of total)
ival-neg: 5.0ms (0.5% of total)
ival-assert: 4.0ms (0.4% of total)
ival-atan: 3.0ms (0.3% of total)
exact: 2.0ms (0.2% of total)

bsearch1.2s (0.5%)

Memory
-121.6MiB live, 1 297.8MiB allocated
Algorithm
76×binary-search
27×left-value
Stop Event
67×narrow-enough
9×predicate-failed
Samples
294.0ms144×2valid
264.0ms1 074×1valid
197.0ms1 758×0valid
129.0ms909×0invalid
1.0ms16×0exit
Compiler

Compiled 16 030 to 10 963 computations (31.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 772.0ms
ival-exp: 238.0ms (30.8% of total)
ival-sqrt: 113.0ms (14.6% of total)
ival-tan: 99.0ms (12.8% of total)
ival-mult: 73.0ms (9.5% of total)
ival-cos: 66.0ms (8.5% of total)
adjust: 61.0ms (7.9% of total)
ival-sin: 30.0ms (3.9% of total)
ival-fmod: 26.0ms (3.4% of total)
ival-add: 22.0ms (2.8% of total)
ival-pow2: 9.0ms (1.2% of total)
ival-div: 8.0ms (1% of total)
ival-sub: 7.0ms (0.9% of total)
ival-pow: 6.0ms (0.8% of total)
ival-neg: 6.0ms (0.8% of total)
ival-acos: 3.0ms (0.4% of total)
ival-true: 3.0ms (0.4% of total)
ival-assert: 2.0ms (0.3% of total)
exact: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.2MiB live, 0.3MiB allocated

Profiling

Loading profile data...