Herbie run

Date:Thursday, August 15th, 2024
Commit:78402a57 on zane-server-ci
Hostname:nightly with Racket 8.11.1
Seed:2024228
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: 5.3min)

sample1.9min (34.9%)

Memory
403.3MiB live, 115 906.6MiB allocated
Samples
28.3s41 555×2valid
24.0s146 251×0invalid
18.1s91 838×1valid
9.4s4 833×5exit
7.9s94 685×0valid
2.0s3 083×3valid
454.0ms2 206×1exit
383.0ms4 131×0exit
13.0ms7×4valid
10.0ms6×3exit
6.0ms4×4exit
1.0ms3×2exit
Precisions
Click to see histograms. Total time spent on operations: 1.3min
ival-tan: 13.1s (17.3% of total)
ival-pow: 9.4s (12.4% of total)
ival-mult: 6.2s (8.2% of total)
const: 5.5s (7.2% of total)
adjust: 5.3s (7% of total)
ival-cos: 4.4s (5.8% of total)
ival-div: 3.9s (5.1% of total)
ival-sub: 3.6s (4.7% of total)
ival-sin: 3.5s (4.7% of total)
ival-log: 3.3s (4.3% of total)
ival-add: 2.9s (3.8% of total)
ival-fabs: 2.3s (3% of total)
ival-expm1: 2.2s (2.9% of total)
ival-<=: 2.0s (2.6% of total)
ival-exp: 2.0s (2.6% of total)
ival-sqrt: 1.4s (1.8% of total)
ival-log1p: 1.1s (1.4% of total)
ival-<: 906.0ms (1.2% of total)
ival-and: 609.0ms (0.8% of total)
ival-fmin: 422.0ms (0.6% of total)
ival-atan: 386.0ms (0.5% of total)
ival-cbrt: 365.0ms (0.5% of total)
exact: 332.0ms (0.4% of total)
ival-neg: 301.0ms (0.4% of total)
ival->: 268.0ms (0.4% of total)
ival-assert: 149.0ms (0.2% of total)
ival-true: 68.0ms (0.1% of total)
Bogosity

simplify56.1s (17.7%)

Memory
620.6MiB live, 57 698.2MiB allocated
Algorithm
246×egg-herbie
Rules
2 237 614×lower-fma.f32
2 237 048×lower-fma.f64
765 102×lower-*.f32
764 046×lower-*.f64
499 204×lower-+.f32
Stop Event
324×iter limit
168×node limit
81×saturated
Counts
29 832 → 29 377

rewrite33.2s (10.4%)

Memory
-78.2MiB live, 37 066.3MiB allocated
Rules
490 648×lower-fma.f32
490 082×lower-fma.f64
435 414×lower-*.f32
434 376×lower-*.f64
380 914×lower-/.f32
Stop Event
223×iter limit
107×node limit
3×saturated
1×unsound
Counts
1 722 → 65 719

soundness28.8s (9.1%)

Memory
177.4MiB live, 17 572.5MiB allocated
Rules
1 105 902×lower-fma.f32
1 105 620×lower-fma.f64
599 794×lower-*.f32
599 250×lower-*.f64
310 672×lower-+.f32
Stop Event
205×iter limit
131×node limit
23×fuel
5×done
2×saturated
1×unsound
Compiler

Compiled 10 053 to 4 902 computations (51.2% saved)

localize25.4s (8%)

Memory
241.0MiB live, 29 059.8MiB allocated
Samples
8.3s5 669×2valid
6.5s10 607×1valid
3.2s10 795×0valid
1.4s578×3valid
72.0ms43×2invalid
59.0ms75×1invalid
57.0ms112×0exit
10.0ms10×1exit
6.0ms14×0invalid
2.0ms1×5exit
Compiler

Compiled 25 003 to 3 451 computations (86.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.1s
ival-mult: 2.9s (19% of total)
adjust: 1.9s (12.7% of total)
ival-tan: 1.9s (12.7% of total)
ival-div: 1.8s (12% of total)
ival-add: 1.5s (9.6% of total)
ival-log: 832.0ms (5.5% of total)
ival-cos: 672.0ms (4.4% of total)
const: 627.0ms (4.1% of total)
ival-sub: 624.0ms (4.1% of total)
ival-sin: 518.0ms (3.4% of total)
ival-exp: 429.0ms (2.8% of total)
ival-pow: 407.0ms (2.7% of total)
ival-sqrt: 263.0ms (1.7% of total)
ival-log1p: 191.0ms (1.3% of total)
ival-cosh: 133.0ms (0.9% of total)
ival-neg: 113.0ms (0.7% of total)
ival-pow2: 92.0ms (0.6% of total)
ival-expm1: 74.0ms (0.5% of total)
ival-cbrt: 57.0ms (0.4% of total)
exact: 41.0ms (0.3% of total)
ival-atan2: 25.0ms (0.2% of total)
ival-true: 23.0ms (0.2% of total)
ival-atan: 12.0ms (0.1% of total)
ival-assert: 11.0ms (0.1% of total)
ival-copysign: 3.0ms (0% of total)
ival-fabs: 2.0ms (0% of total)

prune23.0s (7.2%)

Memory
-1 022.5MiB live, 28 549.6MiB allocated
Counts
112 562 → 2 167
Compiler

Compiled 83 681 to 38 798 computations (53.6% saved)

eval18.7s (5.9%)

Memory
410.7MiB live, 24 004.3MiB allocated
Compiler

Compiled 3 426 405 to 251 313 computations (92.7% saved)

explain5.5s (1.7%)

Memory
103.7MiB live, 6 396.8MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation407729
log.f64#fsensitivity7632
/.f64#fu/u4500
sqrt.f64#foflow-rescue3870
+.f64#fcancellation3262
/.f64#fu/n1200
pow.f64(pow.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) n))sensitivity710
sqrt.f64#fuflow-rescue300
/.f64(/.f64 (*.f64 eps (-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) #s(literal 1 binary64))) (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))))n/u250
↳(*.f64 b eps)underflow148
↳(-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64))underflow162
↳(-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))underflow148
↳(*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)))underflow242
↳(*.f64 a eps)underflow162
-.f64#fnan-rescue100
cos.f64(cos.f64 (+.f64 x eps))sensitivity60
sin.f64(sin.f64 (+.f64 x eps))sensitivity42
tan.f64(tan.f64 (+.f64 x eps))sensitivity42
/.f64(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x))n/o30
↳(*.f64 x x)overflow56
/.f64(/.f64 (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) (-.f64 (exp.f64 x) #s(literal 1 binary64)))o/o20
↳(exp.f64 (*.f64 #s(literal 2 binary64) x))overflow2
↳(-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64))overflow2
↳(exp.f64 x)overflow2
↳(-.f64 (exp.f64 x) #s(literal 1 binary64))overflow2
exp.f64(exp.f64 (*.f64 #s(literal 2 binary64) x))sensitivity10
Confusion
Predicted +Predicted -
+516913
-1541832
Precision
0.9710689460830358
Recall
0.9974913160941722
Confusion?
Predicted +Predicted MaybePredicted -
+516994
-154221810
Precision?
0.9671273813970863
Recall?
0.9992280972597453
Freqs
test
numberfreq
01845
14559
2620
396
448
Total Confusion?
Predicted +Predicted MaybePredicted -
+2800
-000
Precision?
1.0
Recall?
1.0
Samples
1.5s2 670×2valid
1.2s5 684×1valid
439.0ms5 766×0valid
149.0ms216×3valid
Compiler

Compiled 2 197 to 763 computations (65.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
ival-tan: 776.0ms (29.3% of total)
adjust: 228.0ms (8.6% of total)
ival-sub: 227.0ms (8.6% of total)
ival-log: 222.0ms (8.4% of total)
ival-cos: 192.0ms (7.3% of total)
ival-exp: 153.0ms (5.8% of total)
ival-sin: 153.0ms (5.8% of total)
ival-div: 144.0ms (5.4% of total)
ival-pow: 122.0ms (4.6% of total)
ival-add: 108.0ms (4.1% of total)
ival-mult: 85.0ms (3.2% of total)
ival-log1p: 59.0ms (2.2% of total)
ival-sqrt: 56.0ms (2.1% of total)
ival-atan: 32.0ms (1.2% of total)
ival-expm1: 23.0ms (0.9% of total)
ival-neg: 18.0ms (0.7% of total)
ival-cbrt: 15.0ms (0.6% of total)
exact: 15.0ms (0.6% of total)
ival-true: 12.0ms (0.5% of total)
ival-assert: 6.0ms (0.2% of total)

preprocess4.6s (1.5%)

Memory
-6.6MiB live, 4 923.5MiB allocated
Algorithm
28×egg-herbie
Rules
27 478×lower-fma.f64
27 478×lower-fma.f32
10 768×div-sub
10 444×sub-neg
9 190×lower-*.f32
Stop Event
56×iter limit
50×saturated
6×node limit
Compiler

Compiled 10 763 to 3 737 computations (65.3% saved)

regimes4.5s (1.4%)

Memory
95.6MiB live, 5 098.2MiB allocated
Counts
4 214 → 327
Calls

43 calls:

1.1s
x
405.0ms
(/.f64 #s(literal 1 binary64) n)
369.0ms
eps
190.0ms
n
165.0ms
a
Compiler

Compiled 2 988 to 1 991 computations (33.4% saved)

series4.4s (1.4%)

Memory
-62.4MiB live, 5 132.0MiB allocated
Counts
1 722 → 29 832
Calls

3987 calls:

TimeVariablePointExpression
263.0ms
b
@-inf
(* a (sqrt (+ (* a (* -4 c)) (* b b))))
172.0ms
n
@0
(* n (log n))
145.0ms
x
@inf
(+ (* x (* x -1/5)) 3)
102.0ms
x
@0
(+ (* (pow (+ x 1) 2/9) (pow (+ x 1) 1/9)) (neg (cbrt x)))
51.0ms
N
@-inf
(/ (+ (* (- (pow (log (+ (* N N) -1)) 2) (pow (log (+ N -1)) 2)) (log N)) (* (log (* (+ (* N N) -1) (+ N -1))) (neg (pow (log N) 2)))) (* (log (* (+ (* N N) -1) (+ N -1))) (log N)))

analyze1.9s (0.6%)

Memory
-276.0MiB live, 2 080.5MiB allocated
Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
7.4%4.5%56.6%38.9%0%0%0%1
22.3%13.6%47.5%38.9%0%0%0%2
40.2%23.5%34.9%38.9%0%2.7%0%3
53.4%31.1%27.2%38.9%0%2.8%0%4
63%36.3%21.3%38.9%0%3.6%0%5
65.9%37.5%19.4%38.9%0%4.2%0%6
70.4%38.8%16.3%38.9%0%6%0%7
73.6%40.2%14.4%38.9%0%6.5%0%8
76.3%40.9%12.7%38.9%0%7.5%0%9
78.4%41.4%11.4%38.9%0%8.3%0%10
81.1%42.4%9.9%38.9%0%8.8%0%11
82.3%42.7%9.2%38.9%0%9.3%0%12
Compiler

Compiled 483 to 337 computations (30.2% saved)

bsearch921.0ms (0.3%)

Memory
-21.0MiB live, 979.9MiB allocated
Algorithm
59×binary-search
57×left-value
Stop Event
54×narrow-enough
5×predicate-same
Samples
300.0ms2 788×0valid
118.0ms590×1valid
109.0ms506×0invalid
79.0ms313×2valid
39.0ms22×0exit
5.0ms21×3valid
0.0ms1×1exit
Compiler

Compiled 11 984 to 8 219 computations (31.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 476.0ms
ival-sqrt: 109.0ms (22.9% of total)
ival-mult: 82.0ms (17.2% of total)
ival-add: 59.0ms (12.4% of total)
ival-pow: 51.0ms (10.7% of total)
ival-sub: 42.0ms (8.8% of total)
ival-div: 35.0ms (7.4% of total)
ival-cbrt: 30.0ms (6.3% of total)
adjust: 23.0ms (4.8% of total)
ival-neg: 20.0ms (4.2% of total)
ival-cos: 11.0ms (2.3% of total)
ival-sin: 4.0ms (0.8% of total)
ival-expm1: 4.0ms (0.8% of total)
ival-true: 3.0ms (0.6% of total)
ival-assert: 2.0ms (0.4% of total)
exact: 2.0ms (0.4% of total)

start1.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated

end0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated

Profiling

Loading profile data...