Herbie run

Date:Saturday, July 6th, 2024
Commit:2ce46aa0 on zane-job-places
Hostname:nightly with Racket 8.11.1
Seed:2024188
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.3min)

sample1.5min (20.6%)

Memory
-326.0MiB live, 103 450.5MiB allocated
Samples
36.4s221 095×0valid
11.8s26 911×1valid
10.2s65 050×0invalid
4.3s14 509×1invalid
4.1s9 743×2valid
3.9s6 432×3valid
192.0ms562×2invalid
28.0ms217×0exit
5.0ms11×4valid
1.0ms4×4exit
Precisions
Click to see histograms. Total time spent on operations: 55.2s
ival-mult: 13.9s (25.3% of total)
ival-div: 8.3s (15.1% of total)
ival-sub: 4.7s (8.5% of total)
ival-tan: 4.7s (8.5% of total)
ival-add: 4.1s (7.4% of total)
ival-pow2: 2.8s (5.1% of total)
ival-sqrt: 2.6s (4.8% of total)
ival-pow: 2.4s (4.3% of total)
ival-exp: 2.0s (3.7% of total)
ival-sin: 1.9s (3.5% of total)
adjust: 1.8s (3.2% of total)
ival-cos: 1.1s (2% of total)
ival-acos: 892.0ms (1.6% of total)
...in/eval/compile.rkt:111:19: 725.0ms (1.3% of total)
ival-pi: 596.0ms (1.1% of total)
ival-neg: 576.0ms (1% of total)
ival-hypot: 414.0ms (0.8% of total)
ival-log: 412.0ms (0.7% of total)
ival-asin: 268.0ms (0.5% of total)
ival-true: 259.0ms (0.5% of total)
...in/eval/compile.rkt:110:19: 244.0ms (0.4% of total)
ival-fabs: 151.0ms (0.3% of total)
ival-assert: 139.0ms (0.3% of total)
ival-atan: 83.0ms (0.2% of total)
ival-<: 39.0ms (0.1% of total)
ival-and: 11.0ms (0% of total)
Bogosity

simplify1.4min (18.9%)

Memory
788.5MiB live, 99 348.3MiB allocated
Algorithm
286×egg-herbie
Rules
109 321×fma-define
65 308×times-frac
57 647×*-commutative
57 627×fmm-def
57 385×distribute-lft-in
Stop Event
214×node limit
71×saturated
1×unsound
Counts
97 548 → 80 818

soundness1.0min (13.8%)

Memory
106.7MiB live, 60 076.3MiB allocated
Rules
53 682×fma-define
42 403×log1p-expm1-u
39 277×times-frac
33 041×associate-*r*
32 119×*-commutative
Stop Event
170×node limit
29×fuel
8×saturated
3×done
1×unsound
Compiler

Compiled 44 623 to 13 245 computations (70.3% saved)

rewrite36.3s (8.3%)

Memory
-356.0MiB live, 33 142.6MiB allocated
Algorithm
127×batch-egg-rewrite
Rules
69 749×log1p-expm1-u
50 793×expm1-log1p-u
33 944×pow1
32 930×add-exp-log
31 897×add-log-exp
Stop Event
126×node limit
1×unsound
Counts
1 940 → 51 170

prune35.8s (8.2%)

Memory
-757.6MiB live, 55 790.8MiB allocated
Counts
116 627 → 3 372
Compiler

Compiled 156 744 to 86 689 computations (44.7% saved)

localize33.5s (7.7%)

Memory
77.5MiB live, 42 728.8MiB allocated
Samples
7.5s22 655×0valid
4.7s702×3valid
2.7s1 438×2valid
2.5s2 586×1valid
2.0s3 281×0invalid
1.7s118×3exit
466.0ms122×5exit
408.0ms536×1exit
384.0ms119×3invalid
244.0ms538×0exit
158.0ms229×2exit
140.0ms59×4exit
73.0ms67×2invalid
46.0ms60×1invalid
2.0ms2×4valid
Compiler

Compiled 38 307 to 4 596 computations (88% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.8s
ival-mult: 3.5s (18.5% of total)
ival-tan: 3.2s (17% of total)
ival-sin: 2.4s (12.7% of total)
ival-div: 2.4s (12.7% of total)
ival-pow: 1.1s (5.8% of total)
ival-pow2: 1.1s (5.7% of total)
ival-add: 787.0ms (4.2% of total)
ival-cos: 769.0ms (4.1% of total)
adjust: 749.0ms (4% of total)
ival-sqrt: 536.0ms (2.8% of total)
ival-sub: 506.0ms (2.7% of total)
ival-log: 274.0ms (1.5% of total)
ival-exp: 240.0ms (1.3% of total)
ival-hypot: 233.0ms (1.2% of total)
ival-asin: 231.0ms (1.2% of total)
...in/eval/compile.rkt:111:19: 218.0ms (1.2% of total)
ival-acos: 152.0ms (0.8% of total)
ival-cbrt: 123.0ms (0.7% of total)
ival-neg: 84.0ms (0.4% of total)
ival-expm1: 63.0ms (0.3% of total)
ival-log1p: 58.0ms (0.3% of total)
...in/eval/compile.rkt:110:19: 50.0ms (0.3% of total)
ival-pi: 40.0ms (0.2% of total)
ival-atan: 33.0ms (0.2% of total)
ival-true: 30.0ms (0.2% of total)
ival-fabs: 16.0ms (0.1% of total)
ival-assert: 14.0ms (0.1% of total)

eval24.2s (5.5%)

Memory
446.1MiB live, 34 856.7MiB allocated
Compiler

Compiled 4 016 711 to 489 347 computations (87.8% saved)

regimes17.4s (4%)

Memory
188.8MiB live, 24 302.1MiB allocated
Counts
10 572 → 732
Calls

156 calls:

1.7s
l
1.2s
k
778.0ms
t
458.0ms
F
387.0ms
Ev
Compiler

Compiled 8 690 to 6 460 computations (25.7% saved)

series16.8s (3.8%)

Memory
518.2MiB live, 24 411.4MiB allocated
Counts
1 940 → 46 378
Calls

12471 calls:

TimeVariablePointExpression
388.0ms
l
@0
(pow (* -1/4 (* (* (pow (* D M) 2) (/ h l)) (pow d -2))) 1/4)
200.0ms
n
@0
(* n (- (* U (/ (+ t (/ (* -2 (pow l 2)) Om)) n)) (* U (/ (* (pow l 2) (- U U*)) (pow Om 2)))))
199.0ms
f
@-inf
(log (log (+ (/ -1 (- (exp (* (PI) (* -1/2 f))) 1)) (/ -1 (- (exp (* (PI) (* -1/2 f))) 1)))))
168.0ms
M
@inf
(log (pow (exp c0) (/ (+ (* (/ c0 (* w h)) (pow (/ d D) 2)) (sqrt (* (+ (* (/ c0 (* (* w h) D)) (/ (pow d 2) D)) (neg M)) (+ (* (/ c0 (* w h)) (pow (/ d D) 2)) M)))) (* w 2))))
160.0ms
w0
@0
(* w0 (pow (exp (* 1/4 (+ (log (* -1/4 (/ (* (pow D 2) (* (pow M 2) h)) l))) (* -2 (log d))))) 2))

bsearch12.0s (2.7%)

Memory
-91.3MiB live, 15 484.9MiB allocated
Algorithm
311×binary-search
83×left-value
Stop Event
294×narrow-enough
17×predicate-same
Samples
6.3s35 723×0valid
1.4s6 843×0invalid
408.0ms1 341×1valid
262.0ms686×2valid
218.0ms249×3valid
15.0ms81×1invalid
4.0ms14×2invalid
0.0ms1×4valid
Compiler

Compiled 95 576 to 69 042 computations (27.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.6s
ival-mult: 1.4s (21.6% of total)
ival-div: 1.3s (19.2% of total)
ival-add: 758.0ms (11.5% of total)
ival-pow: 612.0ms (9.3% of total)
ival-pow2: 546.0ms (8.3% of total)
ival-tan: 346.0ms (5.2% of total)
ival-exp: 336.0ms (5.1% of total)
ival-sin: 309.0ms (4.7% of total)
ival-sub: 282.0ms (4.3% of total)
ival-neg: 275.0ms (4.2% of total)
ival-cos: 123.0ms (1.9% of total)
ival-sqrt: 101.0ms (1.5% of total)
adjust: 63.0ms (1% of total)
ival-true: 34.0ms (0.5% of total)
...in/eval/compile.rkt:110:19: 28.0ms (0.4% of total)
ival-log: 23.0ms (0.3% of total)
...in/eval/compile.rkt:111:19: 20.0ms (0.3% of total)
ival-assert: 18.0ms (0.3% of total)
ival-fabs: 10.0ms (0.2% of total)
ival-hypot: 10.0ms (0.2% of total)
ival-atan: 10.0ms (0.2% of total)
ival-pi: 6.0ms (0.1% of total)
ival-asin: 2.0ms (0% of total)

explain10.4s (2.4%)

Memory
-302.4MiB live, 15 400.3MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation4592
sqrt.f64#foflow-rescue4440
cos.f64#fsensitivity4250
*.f64#fn*o2570
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))))sensitivity2541
+.f64#fnan-rescue2350
sqrt.f64#fuflow-rescue1740
pow.f64#foflow-rescue1360
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1280
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)))))))sensitivity1251
-.f64#fnan-rescue1130
*.f64#fu*o1010
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity9229
/.f64#fo/o770
+.f64#fcancellation670
*.f64#fo*u670
*.f64#fn*u640
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue600
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow60
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow60
↳(*.f64 K (+.f64 m n))overflow60
/.f64#fu/u590
pow.f64#fuflow-rescue530
/.f64#fo/n530
/.f64#fn/o380
/.f64#fn/u280
/.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))))))sensitivity80
exp.f64(exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT))sensitivity10
Confusion
Predicted +Predicted -
+196031
-11385063
Precision
0.6326662362814719
Recall
0.9844299347061778
Confusion?
Predicted +Predicted MaybePredicted -
+1960130
-1138325031
Precision?
0.6263174704567231
Recall?
0.9849321948769463
Freqs
test
numberfreq
05094
12708
2353
331
45
51
Total Confusion?
Predicted +Predicted MaybePredicted -
+2700
-005
Precision?
1.0
Recall?
1.0
Samples
1.8s13 084×0valid
960.0ms2 058×1valid
446.0ms824×2valid
251.0ms412×3valid
2.0ms4×5exit
1.0ms2×4valid
Compiler

Compiled 8 430 to 2 164 computations (74.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4s
ival-mult: 609.0ms (25.5% of total)
ival-div: 320.0ms (13.4% of total)
ival-tan: 311.0ms (13% of total)
ival-sub: 162.0ms (6.8% of total)
ival-add: 129.0ms (5.4% of total)
ival-pow2: 103.0ms (4.3% of total)
ival-exp: 103.0ms (4.3% of total)
ival-sqrt: 97.0ms (4.1% of total)
ival-sin: 97.0ms (4.1% of total)
ival-pi: 89.0ms (3.7% of total)
adjust: 81.0ms (3.4% of total)
ival-pow: 67.0ms (2.8% of total)
ival-cos: 63.0ms (2.6% of total)
ival-neg: 26.0ms (1.1% of total)
ival-acos: 26.0ms (1.1% of total)
ival-hypot: 26.0ms (1.1% of total)
ival-true: 16.0ms (0.7% of total)
ival-log: 15.0ms (0.6% of total)
...in/eval/compile.rkt:110:19: 14.0ms (0.6% of total)
ival-asin: 9.0ms (0.4% of total)
...in/eval/compile.rkt:111:19: 9.0ms (0.4% of total)
ival-assert: 7.0ms (0.3% of total)
ival-fabs: 5.0ms (0.2% of total)
ival-atan: 5.0ms (0.2% of total)

preprocess9.0s (2.1%)

Memory
115.5MiB live, 8 931.1MiB allocated
Algorithm
32×egg-herbie
Rules
20 054×fma-define
13 409×fmm-def
8 518×times-frac
7 224×distribute-lft-in
7 153×unsub-neg
Stop Event
23×node limit
9×saturated
Compiler

Compiled 45 226 to 16 898 computations (62.6% saved)

analyze8.6s (2%)

Memory
71.0MiB live, 12 578.8MiB 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.8%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 793 to 574 computations (27.6% saved)

end0.0ms (0%)

Memory
0.5MiB live, 0.4MiB allocated

Profiling

Loading profile data...