Herbie run

Date:Saturday, August 17th, 2024
Commit:3d05e0ff on zane-server-ci
Hostname:nightly with Racket 8.11.1
Seed:2024230
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: 7.2min)

simplify1.4min (18.8%)

Memory
703.2MiB live, 91 391.7MiB allocated
Algorithm
286×egg-herbie
Rules
2 517 966×lower-fma.f32
2 517 304×lower-fma.f64
1 265 104×lower-*.f32
1 262 654×lower-*.f64
685 176×lower-+.f32
Stop Event
381×iter limit
223×node limit
63×saturated
Counts
68 880 → 68 433

sample1.3min (17.9%)

Memory
960.8MiB live, 94 717.1MiB allocated
Samples
29.7s221 528×0valid
10.6s26 722×1valid
8.8s65 651×0invalid
3.2s9 658×2valid
3.2s12 346×1invalid
2.6s6 277×3valid
340.0ms1 884×1exit
183.0ms512×2invalid
50.0ms243×0exit
2.0ms7×4valid
2.0ms5×4exit
0.0ms1×3exit
Precisions
Click to see histograms. Total time spent on operations: 45.8s
ival-mult: 11.1s (24.2% of total)
ival-div: 6.8s (14.9% of total)
ival-tan: 4.1s (9% of total)
ival-sub: 3.0s (6.6% of total)
ival-add: 2.9s (6.3% of total)
ival-pow2: 2.4s (5.2% of total)
adjust: 2.2s (4.9% of total)
ival-sqrt: 2.2s (4.7% of total)
ival-pow: 2.1s (4.7% of total)
ival-exp: 1.9s (4.1% of total)
ival-sin: 1.7s (3.8% of total)
ival-pi: 881.0ms (1.9% of total)
ival-cos: 824.0ms (1.8% of total)
ival-acos: 658.0ms (1.4% of total)
ival-neg: 539.0ms (1.2% of total)
ival-hypot: 415.0ms (0.9% of total)
const: 388.0ms (0.8% of total)
ival-log: 349.0ms (0.8% of total)
exact: 323.0ms (0.7% of total)
ival-true: 253.0ms (0.6% of total)
ival-asin: 225.0ms (0.5% of total)
ival-fabs: 150.0ms (0.3% of total)
ival-assert: 137.0ms (0.3% of total)
ival-atan: 88.0ms (0.2% of total)
ival-<: 47.0ms (0.1% of total)
ival-and: 11.0ms (0% of total)
Bogosity

soundness48.2s (11.1%)

Memory
232.8MiB live, 36 158.3MiB allocated
Rules
1 479 390×lower-fma.f32
1 478 984×lower-fma.f64
1 014 348×lower-*.f32
1 012 548×lower-*.f64
487 746×lower-+.f32
Stop Event
273×iter limit
182×node limit
29×fuel
3×done
Compiler

Compiled 57 171 to 25 595 computations (55.2% saved)

rewrite44.8s (10.3%)

Memory
-43.1MiB live, 54 216.9MiB allocated
Rules
585 368×lower-*.f32
583 718×lower-fma.f32
583 056×lower-fma.f64
582 966×lower-*.f64
444 452×lower-/.f32
Stop Event
257×iter limit
127×node limit
Counts
2 430 → 91 342

prune42.6s (9.8%)

Memory
-1 442.5MiB live, 58 084.0MiB allocated
Counts
187 825 → 3 499
Compiler

Compiled 184 250 to 91 699 computations (50.2% saved)

eval34.5s (8%)

Memory
747.8MiB live, 47 206.2MiB allocated
Compiler

Compiled 6 425 220 to 418 518 computations (93.5% saved)

localize31.1s (7.2%)

Memory
-450.3MiB live, 39 604.8MiB allocated
Samples
9.1s21 927×0valid
4.0s4 161×1valid
2.7s2 008×2valid
2.3s251×3exit
1.3s898×3valid
1.3s2 594×0invalid
510.0ms149×5exit
205.0ms456×0exit
117.0ms57×1invalid
47.0ms5×4exit
4.0ms6×1exit
Compiler

Compiled 49 297 to 5 533 computations (88.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.5s
ival-mult: 4.5s (27.2% of total)
ival-tan: 2.6s (15.9% of total)
ival-div: 2.1s (12.8% of total)
ival-add: 1.4s (8.3% of total)
ival-cos: 972.0ms (5.9% of total)
adjust: 954.0ms (5.8% of total)
ival-sqrt: 863.0ms (5.2% of total)
ival-sub: 544.0ms (3.3% of total)
ival-log: 326.0ms (2% of total)
ival-sin: 326.0ms (2% of total)
ival-acos: 301.0ms (1.8% of total)
ival-pow2: 261.0ms (1.6% of total)
ival-pow: 249.0ms (1.5% of total)
ival-exp: 246.0ms (1.5% of total)
const: 234.0ms (1.4% of total)
ival-hypot: 157.0ms (1% of total)
ival-neg: 142.0ms (0.9% of total)
ival-asin: 81.0ms (0.5% of total)
ival-atan: 65.0ms (0.4% of total)
exact: 60.0ms (0.4% of total)
ival-pi: 39.0ms (0.2% of total)
ival-true: 28.0ms (0.2% of total)
ival-tanh: 23.0ms (0.1% of total)
ival-assert: 16.0ms (0.1% of total)
ival-sinh: 11.0ms (0.1% of total)
ival-fabs: 10.0ms (0.1% of total)
ival-cbrt: 6.0ms (0% of total)

regimes25.7s (5.9%)

Memory
128.2MiB live, 34 016.3MiB allocated
Counts
14 635 → 903
Calls

156 calls:

1.7s
l
782.0ms
t
733.0ms
k
608.0ms
(+.f64 (/.f64 NdChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))) (/.f64 NaChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))))
514.0ms
(*.f64 M D)
Compiler

Compiled 21 058 to 14 440 computations (31.4% saved)

preprocess12.2s (2.8%)

Memory
58.8MiB live, 13 860.4MiB allocated
Algorithm
32×egg-herbie
Rules
229 844×lower-fma.f64
229 844×lower-fma.f32
79 498×lower-*.f32
79 270×lower-*.f64
36 848×lower-/.f32
Stop Event
64×iter limit
41×node limit
23×saturated
Compiler

Compiled 56 425 to 15 995 computations (71.7% saved)

series11.2s (2.6%)

Memory
523.5MiB live, 14 060.6MiB allocated
Counts
2 430 → 68 880
Calls

9855 calls:

TimeVariablePointExpression
107.0ms
t
@0
(/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (- (+ 1 (pow (/ k t) 2)) 1)))
101.0ms
h
@-inf
(/ 1 (* h l))
84.0ms
f
@-inf
(/ (log (tanh (* (* (PI) 1/4) f))) (* (PI) 1/4))
78.0ms
n
@0
(* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2)))
76.0ms
n
@0
(sqrt (* n (sqrt (* (PI) (sqrt (PI))))))

explain10.0s (2.3%)

Memory
-324.1MiB live, 12 772.1MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue4570
-.f64#fcancellation4541
cos.f64#fsensitivity3881
+.f64#fnan-rescue2800
acos.f64(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))sensitivity2511
*.f64#fn*o2290
pow.f64#foflow-rescue1640
sqrt.f64#fuflow-rescue1510
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1330
asin.f64(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))sensitivity1230
-.f64#fnan-rescue1230
*.f64#fu*o1170
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity8831
/.f64#fo/o800
+.f64#fcancellation770
*.f64#fn*u580
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue560
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow56
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow56
↳(*.f64 K (+.f64 m n))overflow56
pow.f64#fuflow-rescue510
/.f64#fu/u500
/.f64#fo/n500
*.f64#fo*u480
/.f64#fn/u330
/.f64#fn/o320
/.f64#fu/n140
log.f64(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))sensitivity70
exp.f64#fsensitivity30
Confusion
Predicted +Predicted -
+196539
-11245064
Precision
0.6361281968274523
Recall
0.9805389221556886
Confusion?
Predicted +Predicted MaybePredicted -
+1965138
-1124325032
Precision?
0.629724535554132
Recall?
0.9810379241516967
Freqs
test
numberfreq
05103
12710
2336
337
46
Total Confusion?
Predicted +Predicted MaybePredicted -
+2600
-105
Precision?
0.9629629629629629
Recall?
1.0
Samples
2.1s13 056×0valid
862.0ms2 082×1valid
433.0ms798×2valid
328.0ms438×3valid
5.0ms10×5exit
Compiler

Compiled 7 669 to 1 655 computations (78.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.7s
ival-mult: 533.0ms (19.8% of total)
ival-tan: 438.0ms (16.3% of total)
ival-div: 310.0ms (11.5% of total)
ival-sqrt: 201.0ms (7.5% of total)
ival-add: 165.0ms (6.1% of total)
adjust: 162.0ms (6% of total)
ival-sub: 159.0ms (5.9% of total)
ival-sin: 132.0ms (4.9% of total)
ival-exp: 126.0ms (4.7% of total)
ival-pow: 121.0ms (4.5% of total)
ival-pow2: 110.0ms (4.1% of total)
ival-cos: 63.0ms (2.3% of total)
ival-acos: 27.0ms (1% of total)
ival-neg: 24.0ms (0.9% of total)
ival-hypot: 20.0ms (0.7% of total)
exact: 18.0ms (0.7% of total)
ival-log: 17.0ms (0.6% of total)
ival-true: 15.0ms (0.6% of total)
ival-pi: 14.0ms (0.5% of total)
ival-asin: 8.0ms (0.3% of total)
const: 8.0ms (0.3% of total)
ival-assert: 7.0ms (0.3% of total)
ival-atan: 5.0ms (0.2% of total)
ival-fabs: 4.0ms (0.1% of total)

analyze8.5s (2%)

Memory
100.6MiB live, 12 365.0MiB allocated
Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
22.2%21.8%76.4%1.8%0%0%0%1
22.6%21.8%74.8%1.8%0%1.6%0%2
28.6%26.5%66.3%1.8%0%5.5%0%3
32.6%29.6%61.2%1.8%0%7.4%0%4
35.8%32.3%58%1.8%0%8%0%5
40.1%36.1%54%1.8%0%8.1%0%6
45.5%40.6%48.7%1.8%0%8.9%0%7
47.9%42.1%45.8%1.8%0%10.3%0%8
51%44.7%42.9%1.8%0%10.6%0%9
52.2%45.5%41.7%1.8%0%11%0%10
53.9%46.8%39.9%1.8%0%11.5%0%11
55.7%47.9%38.2%1.8%0%12.2%0%12
Compiler

Compiled 798 to 574 computations (28.1% saved)

bsearch5.3s (1.2%)

Memory
-89.9MiB live, 6 353.4MiB allocated
Algorithm
286×left-value
211×binary-search
Stop Event
200×narrow-enough
11×predicate-same
Samples
2.0s14 252×0valid
888.0ms4 991×0invalid
67.0ms306×1valid
39.0ms138×2valid
33.0ms72×3valid
2.0ms8×1invalid
Compiler

Compiled 75 081 to 49 181 computations (34.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3s
ival-mult: 653.0ms (28.5% of total)
ival-div: 442.0ms (19.3% of total)
ival-pow: 363.0ms (15.8% of total)
ival-pow2: 173.0ms (7.5% of total)
ival-add: 148.0ms (6.5% of total)
ival-tan: 106.0ms (4.6% of total)
ival-sub: 100.0ms (4.4% of total)
ival-sin: 100.0ms (4.4% of total)
ival-neg: 43.0ms (1.9% of total)
ival-sqrt: 39.0ms (1.7% of total)
adjust: 24.0ms (1% of total)
ival-exp: 24.0ms (1% of total)
exact: 18.0ms (0.8% of total)
ival-true: 15.0ms (0.7% of total)
const: 12.0ms (0.5% of total)
ival-cos: 10.0ms (0.4% of total)
ival-assert: 8.0ms (0.3% of total)
ival-asin: 7.0ms (0.3% of total)
ival-atan: 6.0ms (0.3% of total)
ival-fabs: 3.0ms (0.1% of total)
ival-pi: 0.0ms (0% of total)

start1.0ms (0%)

Memory
1.2MiB live, 1.2MiB allocated

end0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated

Profiling

Loading profile data...