Herbie run

Date:Thursday, June 13th, 2024
Commit:63d27371 on web-cleanup
Hostname:nightly with Racket 8.11.1
Seed:2024165
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.6min)

sample1.6min (20.8%)

Samples
38.1s221 081×0valid
12.8s29 163×1valid
11.7s65 395×0invalid
4.5s13 702×1invalid
3.5s6 541×3valid
3.1s6 522×2valid
627.0ms877×4valid
401.0ms1 005×2invalid
6.0ms8×5valid
2.0ms3×5exit
Precisions
Click to see histograms. Total time spent on operations: 56.0s
ival-mult: 13.9s (24.8% of total)
ival-div: 8.8s (15.8% of total)
ival-pow: 6.2s (11.2% of total)
ival-sub: 4.9s (8.7% of total)
ival-tan: 4.3s (7.6% of total)
ival-add: 3.1s (5.6% of total)
ival-sqrt: 3.0s (5.3% of total)
ival-exp: 2.0s (3.7% of total)
ival-sin: 2.0s (3.5% of total)
adjust: 1.9s (3.4% of total)
ival-acos: 943.0ms (1.7% of total)
ival-cos: 930.0ms (1.7% of total)
ival-neg: 648.0ms (1.2% of total)
ival-pi: 529.0ms (0.9% of total)
ival-log: 477.0ms (0.9% of total)
ival-asin: 458.0ms (0.8% of total)
ival-hypot: 422.0ms (0.8% of total)
...in/eval/compile.rkt:71:19: 421.0ms (0.8% of total)
ival-true: 295.0ms (0.5% of total)
...in/eval/compile.rkt:70:19: 277.0ms (0.5% of total)
ival-assert: 199.0ms (0.4% of total)
ival-fabs: 106.0ms (0.2% of total)
ival-atan: 85.0ms (0.2% of total)
ival-<: 45.0ms (0.1% of total)
ival-and: 14.0ms (0% of total)
Bogosity

simplify1.5min (19.3%)

Algorithm
286×egg-herbie
Rules
113 162×fma-define
66 172×times-frac
63 143×fmm-def
59 477×*-commutative
56 949×distribute-lft-in
Stop Event
218×node limit
68×saturated
Counts
97 990 → 82 052

soundness1.1min (14%)

Rules
57 241×fma-define
47 517×log1p-expm1-u
41 903×times-frac
37 561×associate-*r*
33 633×expm1-log1p-u
Stop Event
187×node limit
30×fuel
7×saturated
2×done
1×unsound
Compiler

Compiled 47 237 to 14 038 computations (70.3% saved)

localize38.2s (8.4%)

Samples
11.2s22 750×0valid
6.7s578×5exit
4.9s4 299×1valid
1.9s3 367×0invalid
1.4s543×3valid
1.4s909×2valid
303.0ms66×4valid
Compiler

Compiled 37 263 to 4 486 computations (88% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.8s
ival-tan: 5.6s (29.9% of total)
ival-mult: 3.3s (17.6% of total)
ival-div: 2.2s (11.8% of total)
ival-pow: 1.7s (9.1% of total)
adjust: 975.0ms (5.2% of total)
ival-sqrt: 739.0ms (3.9% of total)
ival-add: 579.0ms (3.1% of total)
ival-sub: 505.0ms (2.7% of total)
ival-hypot: 381.0ms (2% of total)
ival-fma: 374.0ms (2% of total)
ival-cos: 367.0ms (2% of total)
ival-sin: 305.0ms (1.6% of total)
...in/eval/compile.rkt:71:19: 278.0ms (1.5% of total)
ival-log: 274.0ms (1.5% of total)
ival-exp: 261.0ms (1.4% of total)
ival-neg: 187.0ms (1% of total)
ival-expm1: 153.0ms (0.8% of total)
ival-acos: 122.0ms (0.6% of total)
ival-cbrt: 116.0ms (0.6% of total)
ival-log1p: 82.0ms (0.4% of total)
...in/eval/compile.rkt:70:19: 59.0ms (0.3% of total)
ival-asin: 58.0ms (0.3% of total)
ival-pi: 36.0ms (0.2% of total)
ival-true: 33.0ms (0.2% of total)
ival-atan: 32.0ms (0.2% of total)
ival-assert: 21.0ms (0.1% of total)
ival-fabs: 9.0ms (0% of total)

rewrite33.7s (7.4%)

Algorithm
127×batch-egg-rewrite
Rules
72 568×log1p-expm1-u
51 727×expm1-log1p-u
34 390×add-exp-log
33 874×pow1
33 695×add-log-exp
Stop Event
126×node limit
1×unsound
Counts
1 950 → 51 668

prune28.7s (6.3%)

Counts
117 893 → 3 367
Compiler

Compiled 149 991 to 84 575 computations (43.6% saved)

eval24.8s (5.5%)

Compiler

Compiled 3 708 181 to 489 536 computations (86.8% saved)

regimes20.7s (4.6%)

Counts
11 880 → 764
Calls

156 calls:

1.6s
l
1.2s
t
899.0ms
k
872.0ms
(*.f64 l l)
576.0ms
(sin.f64 ky)
Compiler

Compiled 8 517 to 6 242 computations (26.7% saved)

series17.2s (3.8%)

Counts
1 950 → 46 322
Calls

12507 calls:

TimeVariablePointExpression
275.0ms
kx
@inf
(sqrt (sqrt (+ (* 1 1) (* (* (/ 2 (/ Om l)) (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))) (* (/ 2 (/ Om l)) (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky)))))))))
250.0ms
l
@inf
(* (sqrt 2) (/ t (sqrt (+ (* (+ x 1) (/ (+ (* 2 (* t t)) (* l l)) (+ x -1))) (* l (neg l))))))
229.0ms
x
@0
(* (sqrt 2) (/ t (sqrt (+ (* (+ x 1) (/ (+ (* 2 (* t t)) (* l l)) (+ x -1))) (* l (neg l))))))
154.0ms
c0
@0
(* c0 (log (pow (exp M) (/ (sqrt -1) (* 2 w)))))
154.0ms
k
@0
(/ (sqrt (* 2 (* n (PI)))) (pow (* 2 (* n (PI))) (* k 1/2)))

bsearch12.9s (2.8%)

Algorithm
303×binary-search
110×left-value
Stop Event
291×narrow-enough
12×predicate-same
Samples
7.2s34 659×0valid
1.5s7 289×0invalid
382.0ms1 522×1valid
249.0ms682×2valid
103.0ms225×1invalid
58.0ms128×3valid
12.0ms41×2invalid
10.0ms17×4valid
Compiler

Compiled 83 219 to 60 202 computations (27.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.8s
ival-mult: 1.8s (27.1% of total)
ival-div: 1.3s (18.8% of total)
ival-pow: 1.1s (16.2% of total)
ival-add: 684.0ms (10% of total)
ival-tan: 507.0ms (7.4% of total)
ival-sin: 453.0ms (6.6% of total)
ival-sub: 212.0ms (3.1% of total)
ival-sqrt: 177.0ms (2.6% of total)
ival-cos: 142.0ms (2.1% of total)
ival-neg: 111.0ms (1.6% of total)
adjust: 73.0ms (1.1% of total)
ival-exp: 66.0ms (1% of total)
ival-true: 39.0ms (0.6% of total)
...in/eval/compile.rkt:70:19: 33.0ms (0.5% of total)
...in/eval/compile.rkt:71:19: 26.0ms (0.4% of total)
ival-assert: 26.0ms (0.4% of total)
ival-hypot: 15.0ms (0.2% of total)
ival-atan: 12.0ms (0.2% of total)
ival-asin: 5.0ms (0.1% of total)
ival-fabs: 2.0ms (0% of total)
ival-pi: 1.0ms (0% of total)

explain11.9s (2.6%)

Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation4542
sqrt.f64#foflow-rescue4460
cos.f64#fsensitivity4360
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))))sensitivity2520
+.f64#fnan-rescue2490
*.f64#fn*o2230
sqrt.f64#fuflow-rescue1550
*.f64#fu*o1350
pow.f64#foflow-rescue1340
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1330
-.f64#fnan-rescue1170
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)))))))sensitivity1130
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity8826
/.f64#fo/o770
/.f64#fo/n680
*.f64#fo*u680
*.f64#fn*u650
pow.f64#fuflow-rescue600
+.f64#fcancellation560
/.f64#fu/u550
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue530
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow53
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow53
↳(*.f64 K (+.f64 m n))overflow53
/.f64#fn/o420
/.f64#fn/u230
/.f64#fu/n190
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))))))sensitivity50
Confusion
Predicted +Predicted -
+194630
-11315085
Precision
0.6324341891452714
Recall
0.9848178137651822
Confusion?
Predicted +Predicted MaybePredicted -
+1946030
-1131295056
Precision?
0.6265292981326465
Recall?
0.9848178137651822
Freqs
test
numberfreq
05115
12673
2363
337
44
Total Confusion?
Predicted +Predicted MaybePredicted -
+2500
-007
Precision?
1.0
Recall?
1.0
Samples
3.3s13 116×0valid
1.0s2 280×1valid
364.0ms442×3valid
310.0ms480×2valid
111.0ms60×4valid
5.0ms6×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.8s
ival-mult: 591.0ms (20.7% of total)
ival-div: 535.0ms (18.8% of total)
ival-tan: 368.0ms (12.9% of total)
adjust: 220.0ms (7.7% of total)
ival-pow: 201.0ms (7.1% of total)
ival-add: 172.0ms (6% of total)
ival-sqrt: 156.0ms (5.5% of total)
ival-sub: 150.0ms (5.3% of total)
ival-sin: 106.0ms (3.7% of total)
ival-exp: 94.0ms (3.3% of total)
ival-cos: 65.0ms (2.3% of total)
ival-pi: 33.0ms (1.2% of total)
ival-neg: 30.0ms (1.1% of total)
ival-acos: 26.0ms (0.9% of total)
ival-hypot: 18.0ms (0.6% of total)
ival-true: 17.0ms (0.6% of total)
...in/eval/compile.rkt:70:19: 15.0ms (0.5% of total)
ival-log: 14.0ms (0.5% of total)
ival-assert: 10.0ms (0.4% of total)
ival-asin: 8.0ms (0.3% of total)
...in/eval/compile.rkt:71:19: 8.0ms (0.3% of total)
ival-atan: 5.0ms (0.2% of total)
ival-fabs: 4.0ms (0.1% of total)

analyze10.4s (2.3%)

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%0.4%4
35.8%32.3%58%1.8%0%7.4%0.6%5
40.1%36.1%54%1.8%0%7.4%0.7%6
45.5%40.6%48.7%1.8%0%8.1%0.8%7
47.9%42.1%45.8%1.8%0%9.5%0.8%8
51%44.7%42.9%1.8%0%9.8%0.9%9
52.1%45.5%41.8%1.8%0%10%0.9%10
53.9%46.8%39.9%1.8%0%10.6%1%11
55.7%47.9%38.2%1.8%0%11.1%1%12
Compiler

Compiled 793 to 578 computations (27.1% saved)

preprocess10.3s (2.3%)

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 49 684 to 19 686 computations (60.4% saved)

end0.0ms (0%)

Profiling

Loading profile data...