Herbie run

Date:Tuesday, July 9th, 2024
Commit:5d49a3a9 on Regimes-Speedup
Hostname:nightly with Racket 8.11.1
Seed:2024191
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.1min)

simplify1.4min (20.2%)

Memory
279.6MiB live, 97 950.7MiB allocated
Algorithm
286×egg-herbie
Rules
112 520×fma-define
66 535×fmm-def
64 106×times-frac
59 504×*-commutative
57 993×distribute-lft-in
Stop Event
216×node limit
70×saturated
Counts
94 555 → 78 687

sample1.4min (20.1%)

Memory
154.3MiB live, 106 154.2MiB allocated
Samples
33.6s221 231×0valid
12.0s26 905×1valid
10.3s65 669×0invalid
4.5s9 722×2valid
3.9s14 271×1invalid
2.2s6 330×3valid
449.0ms571×2invalid
30.0ms234×0exit
2.0ms6×4exit
1.0ms4×4valid
1.0ms1×5exit
Precisions
Click to see histograms. Total time spent on operations: 50.8s
ival-mult: 12.9s (25.3% of total)
ival-div: 8.3s (16.3% of total)
ival-tan: 4.4s (8.6% of total)
ival-sub: 3.5s (6.8% of total)
ival-add: 2.9s (5.8% of total)
ival-sqrt: 2.9s (5.6% of total)
ival-pow2: 2.5s (4.9% of total)
ival-pow: 2.3s (4.4% of total)
ival-exp: 2.2s (4.3% of total)
adjust: 2.1s (4% of total)
ival-sin: 1.8s (3.5% of total)
ival-cos: 793.0ms (1.6% of total)
ival-neg: 761.0ms (1.5% of total)
ival-acos: 520.0ms (1% of total)
ival-log: 498.0ms (1% of total)
const: 491.0ms (1% of total)
ival-pi: 480.0ms (0.9% of total)
ival-hypot: 468.0ms (0.9% of total)
exact: 384.0ms (0.8% of total)
ival-true: 262.0ms (0.5% of total)
ival-asin: 196.0ms (0.4% of total)
ival-assert: 137.0ms (0.3% of total)
ival-fabs: 101.0ms (0.2% of total)
ival-atan: 90.0ms (0.2% of total)
ival-<: 41.0ms (0.1% of total)
ival-and: 12.0ms (0% of total)
Bogosity

soundness1.0min (14.4%)

Memory
351.6MiB live, 61 115.5MiB allocated
Rules
53 404×fma-define
48 350×log1p-expm1-u
39 081×times-frac
33 906×expm1-log1p-u
31 964×associate-*r*
Stop Event
176×node limit
30×fuel
7×saturated
2×done
1×unsound
Compiler

Compiled 46 244 to 13 273 computations (71.3% saved)

rewrite34.5s (8.1%)

Memory
-389.6MiB live, 31 063.8MiB allocated
Algorithm
127×batch-egg-rewrite
Rules
73 402×log1p-expm1-u
52 981×expm1-log1p-u
33 325×add-exp-log
33 030×add-log-exp
32 822×pow1
Stop Event
126×node limit
1×unsound
Counts
1 911 → 48 902

prune30.5s (7.1%)

Memory
-237.6MiB live, 45 999.4MiB allocated
Counts
112 648 → 3 316
Compiler

Compiled 150 328 to 84 955 computations (43.5% saved)

localize29.1s (6.8%)

Memory
631.4MiB live, 38 629.8MiB allocated
Samples
8.9s22 708×0valid
3.3s2 859×1valid
2.4s3 941×0invalid
2.3s1 581×2valid
1.1s478×3valid
846.0ms165×5exit
171.0ms355×1exit
115.0ms54×4exit
83.0ms98×1invalid
81.0ms239×0exit
62.0ms34×2exit
Compiler

Compiled 36 035 to 4 456 computations (87.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.9s
ival-mult: 3.5s (23.4% of total)
ival-div: 2.0s (13.7% of total)
ival-tan: 1.6s (10.7% of total)
ival-sqrt: 1.2s (8.2% of total)
ival-add: 1.1s (7.3% of total)
ival-pow: 1.0s (7% of total)
ival-sub: 607.0ms (4.1% of total)
ival-pow2: 580.0ms (3.9% of total)
ival-exp: 538.0ms (3.6% of total)
adjust: 505.0ms (3.4% of total)
ival-cos: 336.0ms (2.3% of total)
ival-log1p: 274.0ms (1.8% of total)
ival-sin: 235.0ms (1.6% of total)
ival-log: 234.0ms (1.6% of total)
ival-acos: 202.0ms (1.4% of total)
ival-hypot: 173.0ms (1.2% of total)
ival-cbrt: 152.0ms (1% of total)
const: 121.0ms (0.8% of total)
ival-expm1: 120.0ms (0.8% of total)
exact: 75.0ms (0.5% of total)
ival-neg: 60.0ms (0.4% of total)
ival-pi: 57.0ms (0.4% of total)
ival-asin: 53.0ms (0.4% of total)
ival-atan: 36.0ms (0.2% of total)
ival-true: 31.0ms (0.2% of total)
ival-fabs: 16.0ms (0.1% of total)
ival-assert: 14.0ms (0.1% of total)

eval24.4s (5.7%)

Memory
703.7MiB live, 33 085.2MiB allocated
Compiler

Compiled 3 520 307 to 477 091 computations (86.4% saved)

regimes21.6s (5%)

Memory
-338.6MiB live, 27 431.6MiB allocated
Counts
11 023 → 723
Calls

156 calls:

1.5s
l
1.0s
k
836.0ms
t
619.0ms
ky
568.0ms
(/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) #s(literal 2 binary64)) (pow.f64 (sin.f64 ky) #s(literal 2 binary64)))))
Compiler

Compiled 17 829 to 12 197 computations (31.6% saved)

series18.6s (4.3%)

Memory
242.0MiB live, 24 124.1MiB allocated
Counts
1 911 → 45 653
Calls

12474 calls:

TimeVariablePointExpression
426.0ms
l
@0
(* (sqrt (* U (* n (- (* n (/ (- U* U) (pow Om 2))) (/ 2 Om))))) (* l (sqrt 2)))
380.0ms
c0
@inf
(log (pow (exp (/ (/ c0 2) w)) (+ (* (sqrt (+ (* (/ c0 (* w h)) (pow (/ d D) 2)) M)) (sqrt (+ (* (/ c0 (* w h)) (pow (/ d D) 2)) (neg M)))) (* (/ c0 (* w h)) (pow (/ d D) 2)))))
243.0ms
b
@inf
(- (* 4 (pow b 2)) 1)
239.0ms
l
@0
(log (+ 1 (asin (sqrt (/ (- 1 (pow (/ Om Omc) 2)) (+ (* 2 (pow (/ t l) 2)) 1))))))
231.0ms
U
@0
(* (log (* (* n U) (- (* U* (/ n (pow Om 2))) (/ 2 Om)))) 1/2)

explain10.0s (2.3%)

Memory
-412.5MiB live, 15 204.7MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue4600
-.f64#fcancellation4470
cos.f64#fsensitivity3901
*.f64#fn*o2740
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))))sensitivity2550
+.f64#fnan-rescue2380
sqrt.f64#fuflow-rescue1610
*.f64#fu*o1320
pow.f64#foflow-rescue1290
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)))))))sensitivity1220
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1210
-.f64#fnan-rescue1200
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity10123
/.f64#fo/o730
+.f64#fcancellation690
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue620
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow62
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow62
↳(*.f64 K (+.f64 m n))overflow62
*.f64#fn*u620
pow.f64#fuflow-rescue590
/.f64#fo/n590
/.f64#fu/u550
*.f64#fo*u550
/.f64#fn/o320
/.f64#fn/u300
/.f64#fu/n110
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
Confusion
Predicted +Predicted -
+196633
-11075086
Precision
0.6397657012691181
Recall
0.9834917458729364
Confusion?
Predicted +Predicted MaybePredicted -
+1966033
-1107245062
Precision?
0.634807878592186
Recall?
0.9834917458729364
Freqs
test
numberfreq
05119
12675
2357
330
410
51
Total Confusion?
Predicted +Predicted MaybePredicted -
+2500
-007
Precision?
1.0
Recall?
1.0
Samples
2.3s13 118×0valid
853.0ms2 092×1valid
639.0ms380×3valid
430.0ms784×2valid
5.0ms10×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.9s
ival-mult: 677.0ms (23.6% of total)
ival-tan: 463.0ms (16.1% of total)
ival-sqrt: 351.0ms (12.2% of total)
ival-div: 264.0ms (9.2% of total)
ival-add: 199.0ms (6.9% of total)
ival-sub: 137.0ms (4.8% of total)
ival-exp: 130.0ms (4.5% of total)
ival-sin: 111.0ms (3.9% of total)
ival-pow2: 108.0ms (3.8% of total)
adjust: 81.0ms (2.8% of total)
ival-pow: 69.0ms (2.4% of total)
ival-cos: 59.0ms (2.1% of total)
ival-hypot: 56.0ms (2% of total)
ival-neg: 31.0ms (1.1% of total)
ival-acos: 28.0ms (1% of total)
exact: 22.0ms (0.8% of total)
ival-true: 17.0ms (0.6% of total)
ival-pi: 15.0ms (0.5% of total)
ival-log: 13.0ms (0.5% of total)
ival-fabs: 9.0ms (0.3% of total)
ival-asin: 8.0ms (0.3% of total)
const: 8.0ms (0.3% of total)
ival-atan: 8.0ms (0.3% of total)
ival-assert: 7.0ms (0.2% of total)

preprocess10.0s (2.3%)

Memory
-143.9MiB live, 9 394.4MiB 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 880 to 16 282 computations (64.5% saved)

analyze8.7s (2%)

Memory
-39.1MiB live, 12 666.3MiB 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)

bsearch6.5s (1.5%)

Memory
92.3MiB live, 8 770.7MiB allocated
Algorithm
200×left-value
178×binary-search
Stop Event
165×narrow-enough
13×predicate-same
Samples
3.6s19 981×0valid
657.0ms3 465×0invalid
301.0ms690×1valid
137.0ms212×1invalid
80.0ms215×2valid
26.0ms74×3valid
2.0ms7×2invalid
1.0ms1×5exit
Compiler

Compiled 53 349 to 38 682 computations (27.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.6s
ival-mult: 729.0ms (20.2% of total)
ival-div: 553.0ms (15.3% of total)
ival-sin: 542.0ms (15% of total)
ival-pow: 430.0ms (11.9% of total)
ival-tan: 352.0ms (9.7% of total)
ival-add: 255.0ms (7.1% of total)
ival-sub: 182.0ms (5% of total)
ival-neg: 163.0ms (4.5% of total)
ival-pow2: 127.0ms (3.5% of total)
adjust: 112.0ms (3.1% of total)
ival-sqrt: 66.0ms (1.8% of total)
exact: 26.0ms (0.7% of total)
ival-exp: 22.0ms (0.6% of total)
ival-true: 19.0ms (0.5% of total)
const: 13.0ms (0.4% of total)
ival-assert: 10.0ms (0.3% of total)
ival-atan: 8.0ms (0.2% of total)
ival-cos: 4.0ms (0.1% of total)
ival-pi: 1.0ms (0% of total)

end0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated

Profiling

Loading profile data...