Herbie run

Date:Thursday, August 22nd, 2024
Commit:0a751149 on faster-egg
Hostname:nightly with Racket 8.11.1
Seed:2024235
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: 16.4min)

soundness4.2min (25.7%)

Memory
152.0MiB live, 38 074.9MiB allocated
Rules
1 974 600×lower-fma.f32
1 974 108×lower-fma.f64
1 005 630×lower-*.f32
1 004 202×lower-*.f64
553 802×lower-+.f32
Stop Event
334×iter limit
216×node limit
33×fuel
23×done
2×unsound
1×saturated
Compiler

Compiled 38 723 to 14 889 computations (61.5% saved)

sample2.9min (17.9%)

Memory
1 119.0MiB live, 127 799.4MiB allocated
Samples
1.5min438 811×0valid
25.1s3 921×5exit
7.1s22 354×1valid
3.6s8 583×2valid
774.0ms7 896×0exit
492.0ms844×3valid
36.0ms501×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.9min
ival-mult: 56.3s (50.6% of total)
ival-sin: 19.7s (17.7% of total)
ival-add: 5.4s (4.8% of total)
adjust: 4.9s (4.4% of total)
ival-div: 4.0s (3.6% of total)
const: 4.0s (3.6% of total)
ival-exp: 3.1s (2.8% of total)
ival-hypot: 2.3s (2.1% of total)
ival-log: 2.0s (1.8% of total)
ival-sub: 1.9s (1.7% of total)
ival-cos: 1.2s (1.1% of total)
ival-asin: 1.2s (1% of total)
ival-atan2: 1.1s (1% of total)
ival-sqrt: 1.1s (1% of total)
ival-pi: 382.0ms (0.3% of total)
ival-pow: 372.0ms (0.3% of total)
exact: 348.0ms (0.3% of total)
ival->: 330.0ms (0.3% of total)
ival-<=: 263.0ms (0.2% of total)
ival-true: 254.0ms (0.2% of total)
ival-acosh: 225.0ms (0.2% of total)
ival-asinh: 216.0ms (0.2% of total)
ival-assert: 181.0ms (0.2% of total)
ival-neg: 170.0ms (0.2% of total)
ival-fabs: 165.0ms (0.1% of total)
ival-atanh: 133.0ms (0.1% of total)
ival->=: 110.0ms (0.1% of total)
ival-and: 74.0ms (0.1% of total)
Bogosity

prune2.9min (17.8%)

Memory
-1 319.5MiB live, 79 834.4MiB allocated
Counts
208 587 → 3 245
Compiler

Compiled 185 860 to 73 763 computations (60.3% saved)

simplify2.2min (13.3%)

Memory
648.0MiB live, 68 766.5MiB allocated
Algorithm
440×egg-herbie
Rules
3 457 914×lower-fma.f32
3 457 020×lower-fma.f64
1 288 214×lower-*.f32
1 285 888×lower-*.f64
843 706×lower-+.f32
Stop Event
576×iter limit
268×node limit
172×saturated
Counts
57 636 → 56 902

localize1.3min (7.9%)

Memory
-143.4MiB live, 42 409.4MiB allocated
Samples
16.6s1 520×2valid
12.5s40 395×0valid
4.0s4 089×1valid
1.5s2 421×0invalid
177.0ms440×0exit
130.0ms142×3valid
69.0ms121×1exit
38.0ms18×4valid
5.0ms6×5exit
Compiler

Compiled 68 549 to 6 273 computations (90.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 30.0s
adjust: 15.2s (50.7% of total)
ival-mult: 5.1s (17.1% of total)
ival-add: 2.2s (7.2% of total)
ival-div: 1.7s (5.5% of total)
const: 831.0ms (2.8% of total)
ival-hypot: 688.0ms (2.3% of total)
ival-sub: 670.0ms (2.2% of total)
ival-exp: 629.0ms (2.1% of total)
ival-log: 567.0ms (1.9% of total)
ival-asin: 342.0ms (1.1% of total)
ival-pow: 326.0ms (1.1% of total)
ival-sqrt: 276.0ms (0.9% of total)
ival-cos: 232.0ms (0.8% of total)
ival-acos: 205.0ms (0.7% of total)
ival-neg: 199.0ms (0.7% of total)
ival-sin: 192.0ms (0.6% of total)
ival-fabs: 118.0ms (0.4% of total)
ival-atan2: 104.0ms (0.3% of total)
ival-copysign: 102.0ms (0.3% of total)
ival-pow2: 89.0ms (0.3% of total)
ival-log1p: 79.0ms (0.3% of total)
exact: 68.0ms (0.2% of total)
ival-true: 40.0ms (0.1% of total)
ival-pi: 28.0ms (0.1% of total)
ival-assert: 20.0ms (0.1% of total)
ival-cosh: 12.0ms (0% of total)

rewrite47.8s (4.9%)

Memory
-167.6MiB live, 54 809.3MiB allocated
Rules
1 014 262×lower-fma.f32
1 013 374×lower-fma.f64
758 156×lower-*.f32
755 946×lower-*.f64
601 492×lower-/.f32
Stop Event
398×iter limit
183×node limit
5×saturated
3×unsound
Counts
2 843 → 109 112

eval44.9s (4.6%)

Memory
916.4MiB live, 62 672.9MiB allocated
Compiler

Compiled 10 205 808 to 472 030 computations (95.4% saved)

series27.3s (2.8%)

Memory
128.4MiB live, 15 500.7MiB allocated
Counts
2 850 → 57 708
Calls

6897 calls:

TimeVariablePointExpression
14.6s
z
@inf
(* (* (sqrt (* (PI) 2)) (pow (+ (+ (- (- 1 z) 1) 7) 1/2) (+ (- (- 1 z) 1) 1/2))) (exp (neg (+ (+ (- (- 1 z) 1) 7) 1/2))))
370.0ms
base
@0
(/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0)))
293.0ms
x.im
@0
(+ (* (neg y.im) (neg (log x.re))) (* (atan2 x.im x.re) y.re))
166.0ms
d1
@0
(+ (* d2 d1) (* d1 37))
113.0ms
x.re
@0
(* (sin (+ (* (atan2 x.im x.re) y.re) (* (log x.im) y.im))) (* (pow x.im y.re) (exp (* (neg y.im) (atan2 x.im x.re)))))

regimes15.4s (1.6%)

Memory
189.3MiB live, 21 207.7MiB allocated
Counts
9 980 → 990
Calls

130 calls:

792.0ms
re
773.0ms
x
721.0ms
im
714.0ms
(*.f64 (*.f64 #s(literal 1/2 binary64) (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
608.0ms
(fabs.f64 x)
Compiler

Compiled 19 305 to 10 641 computations (44.9% saved)

preprocess14.9s (1.5%)

Memory
25.1MiB live, 15 696.3MiB allocated
Algorithm
57×egg-herbie
Rules
296 104×lower-fma.f64
296 104×lower-fma.f32
79 264×lower-*.f32
78 898×lower-*.f64
56 582×lower-+.f32
Stop Event
114×iter limit
76×saturated
38×node limit
Compiler

Compiled 53 073 to 13 385 computations (74.8% saved)

explain14.6s (1.5%)

Memory
-1 377.5MiB live, 19 139.4MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue12080
-.f64#fcancellation7382
/.f64#fo/o6370
/.f64#fo/n2160
sin.f64#fsensitivity1901
cos.f64(cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))sensitivity1870
sqrt.f32#foflow-rescue1830
+.f64#fcancellation1661
sqrt.f64#fuflow-rescue1380
log.f64(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))sensitivity1260
log.f32(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))sensitivity1182
-.f64#fnan-rescue1140
/.f64#fn/o880
*.f64#fn*u650
/.f64#fu/u610
+.f64#fnan-rescue490
*.f64#fn*o410
/.f64(/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)))u/n320
↳(*.f64 (*.f64 i i) (*.f64 i i))underflow90
↳(*.f64 i i)underflow116
/.f64#fn/u100
*.f64(*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)))))o*u40
↳(*.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64))))overflow4
↳(pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))overflow4
↳(exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64))))underflow4
exp.f64#fsensitivity30
cos.f64(cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))oflow-rescue10
↳(+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))overflow1
↳(*.f64 x.re x.re)overflow65
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow115
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow1
↳(*.f64 x.im x.im)overflow65
log.f32(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))oflow-rescue10
↳(+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32))))overflow1
↳(+.f32 (*.f32 x x) #s(literal 1 binary32))overflow58
↳(*.f32 x x)overflow58
sin.f64(sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))oflow-rescue10
↳(+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))overflow1
↳(*.f64 x.re x.re)overflow65
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow115
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow1
↳(*.f64 x.im x.im)overflow65
Confusion
Predicted +Predicted -
+360838
-16910777
Precision
0.9552554937781308
Recall
0.9895776193088316
Confusion?
Predicted +Predicted MaybePredicted -
+3608236
-169710770
Precision?
0.9535129424194401
Recall?
0.9901261656609983
Freqs
test
numberfreq
010815
13181
2592
34
Total Confusion?
Predicted +Predicted MaybePredicted -
+3700
-1217
Precision?
0.925
Recall?
1.0
Samples
3.1s25 832×0valid
1.3s2 442×1valid
586.0ms864×2valid
14.0ms40×3valid
3.0ms6×5exit
Compiler

Compiled 13 675 to 2 283 computations (83.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.2s
ival-mult: 773.0ms (24.2% of total)
ival-add: 325.0ms (10.2% of total)
const: 232.0ms (7.3% of total)
ival-fabs: 222.0ms (6.9% of total)
ival-log: 217.0ms (6.8% of total)
ival-div: 200.0ms (6.3% of total)
ival-hypot: 189.0ms (5.9% of total)
ival-exp: 188.0ms (5.9% of total)
adjust: 174.0ms (5.4% of total)
ival-sub: 129.0ms (4% of total)
ival-sin: 105.0ms (3.3% of total)
ival-sqrt: 90.0ms (2.8% of total)
ival-asin: 79.0ms (2.5% of total)
ival-atan2: 73.0ms (2.3% of total)
ival-cos: 54.0ms (1.7% of total)
ival-copysign: 28.0ms (0.9% of total)
ival-true: 25.0ms (0.8% of total)
ival-pow: 24.0ms (0.8% of total)
exact: 19.0ms (0.6% of total)
ival-pi: 14.0ms (0.4% of total)
ival-neg: 13.0ms (0.4% of total)
ival-assert: 12.0ms (0.4% of total)
ival-log1p: 12.0ms (0.4% of total)

bsearch3.3s (0.3%)

Memory
-59.4MiB live, 4 507.2MiB allocated
Algorithm
294×left-value
199×binary-search
Stop Event
192×narrow-enough
7×predicate-same
Samples
1.4s12 165×0valid
646.0ms1 648×1valid
42.0ms131×2valid
9.0ms24×3valid
Compiler

Compiled 54 484 to 31 943 computations (41.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-mult: 511.0ms (31.1% of total)
ival-hypot: 181.0ms (11% of total)
ival-exp: 152.0ms (9.2% of total)
ival-log: 130.0ms (7.9% of total)
ival-add: 111.0ms (6.8% of total)
ival-div: 110.0ms (6.7% of total)
ival-sin: 104.0ms (6.3% of total)
ival-sub: 72.0ms (4.4% of total)
ival-atan2: 72.0ms (4.4% of total)
const: 62.0ms (3.8% of total)
adjust: 57.0ms (3.5% of total)
ival-cos: 50.0ms (3% of total)
ival-true: 10.0ms (0.6% of total)
ival-sqrt: 9.0ms (0.5% of total)
ival-assert: 6.0ms (0.4% of total)
exact: 4.0ms (0.2% of total)
ival-copysign: 1.0ms (0.1% of total)
ival-fabs: 1.0ms (0.1% of total)

analyze2.5s (0.3%)

Memory
11.8MiB live, 3 677.1MiB allocated
Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.4%47.8%38.5%13.7%0%0%0%1
65.9%55.7%28.9%13.7%0%1.7%0%2
71.2%58.4%23.6%13.7%0%4.3%0%3
77.4%62%18.1%13.7%0%6.2%0%4
83.5%66.8%13.2%13.7%0%6.3%0%5
85.8%68.3%11.3%13.7%0%6.6%0%6
88.3%70.3%9.4%13.7%0%6.6%0%7
89.9%71.5%8%13.7%0%6.8%0%8
91.1%72.5%7.1%13.7%0%6.8%0%9
92.6%73.6%5.9%13.7%0%6.8%0%10
94%74.7%4.8%13.7%0%6.8%0%11
94.5%75.1%4.4%13.7%0%6.9%0%12
Compiler

Compiled 1 498 to 821 computations (45.2% saved)

start36.0ms (0%)

Memory
-42.1MiB live, 2.1MiB allocated

end0.0ms (0%)

Memory
1.2MiB live, 1.1MiB allocated

Profiling

Loading profile data...