Herbie run

Date:Thursday, July 25th, 2024
Commit:3139208f on main
Hostname:nightly with Racket 8.11.1
Seed:2024207
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: 13.8min)

sample3.4min (24.9%)

Memory
751.5MiB live, 243 769.1MiB allocated
Samples
59.7s122 120×1valid
37.9s279 884×0valid
31.2s14 418×5exit
16.3s22 959×2valid
8.5s4 208×3valid
5.8s35 084×0exit
4.0s10 854×1exit
3.3s20 830×0invalid
2.2s11 362×1invalid
528.0ms34×4exit
525.0ms823×2invalid
288.0ms141×4valid
240.0ms24×3exit
23.0ms11×2exit
Precisions
Click to see histograms. Total time spent on operations: 2.5min
ival-pow: 25.7s (17.4% of total)
ival-mult: 18.6s (12.6% of total)
ival-cos: 17.4s (11.8% of total)
ival-sin: 16.8s (11.4% of total)
ival-div: 12.7s (8.6% of total)
adjust: 9.4s (6.4% of total)
ival-pow2: 9.2s (6.2% of total)
ival-sub: 6.6s (4.5% of total)
ival-add: 6.2s (4.2% of total)
ival-exp: 5.8s (3.9% of total)
ival-log: 4.1s (2.8% of total)
ival-sqrt: 3.7s (2.5% of total)
ival-neg: 2.3s (1.5% of total)
const: 2.0s (1.3% of total)
ival-<: 1.3s (0.9% of total)
ival-pi: 997.0ms (0.7% of total)
ival-atan2: 809.0ms (0.5% of total)
ival-hypot: 595.0ms (0.4% of total)
ival-tan: 560.0ms (0.4% of total)
ival-atan: 537.0ms (0.4% of total)
exact: 519.0ms (0.4% of total)
ival-acos: 391.0ms (0.3% of total)
ival-and: 329.0ms (0.2% of total)
ival-cbrt: 326.0ms (0.2% of total)
ival-true: 317.0ms (0.2% of total)
ival-assert: 210.0ms (0.1% of total)
ival-<=: 170.0ms (0.1% of total)
ival-asin: 137.0ms (0.1% of total)
ival-log1p: 125.0ms (0.1% of total)
ival-fabs: 115.0ms (0.1% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify2.4min (17.5%)

Memory
-112.9MiB live, 188 390.8MiB allocated
Algorithm
458×egg-herbie
Rules
3 470 430×lower-fma.f32
3 469 352×lower-fma.f64
1 733 962×lower-*.f32
1 729 664×lower-*.f64
925 618×lower-+.f32
Stop Event
607×iter limit
318×node limit
143×saturated
Counts
82 788 → 82 133

rewrite1.3min (9.3%)

Memory
16.0MiB live, 102 353.9MiB allocated
Algorithm
203×batch-egg-rewrite
Rules
895 242×lower-fma.f32
894 184×lower-fma.f64
878 438×lower-*.f32
874 268×lower-*.f64
675 276×lower-/.f32
Stop Event
412×iter limit
201×node limit
4×saturated
Counts
3 370 → 150 675

soundness1.2min (8.7%)

Memory
501.7MiB live, 54 602.1MiB allocated
Rules
2 248 446×lower-fma.f32
2 247 750×lower-fma.f64
1 486 716×lower-*.f32
1 483 528×lower-*.f64
760 296×lower-+.f32
Stop Event
422×iter limit
283×node limit
46×fuel
6×done
2×saturated
Compiler

Compiled 50 366 to 25 177 computations (50% saved)

localize1.1min (7.8%)

Memory
234.9MiB live, 85 010.6MiB allocated
Samples
15.0s12 947×1valid
10.9s4 907×2valid
7.8s28 835×0valid
5.0s788×5exit
3.2s844×3valid
1.2s440×1invalid
1.1s2 995×0invalid
628.0ms81×4exit
297.0ms75×4valid
212.0ms9×3exit
28.0ms14×2invalid
22.0ms27×1exit
16.0ms5×2exit
4.0ms1×3invalid
Compiler

Compiled 91 199 to 8 054 computations (91.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 36.1s
ival-mult: 9.6s (26.6% of total)
ival-sin: 5.8s (16% of total)
ival-cos: 5.3s (14.8% of total)
adjust: 2.9s (8.2% of total)
ival-div: 2.9s (8% of total)
ival-add: 2.1s (6% of total)
const: 1.1s (3% of total)
ival-pow2: 1.0s (2.9% of total)
ival-sub: 922.0ms (2.6% of total)
ival-sqrt: 914.0ms (2.5% of total)
ival-pow: 420.0ms (1.2% of total)
ival-atan2: 418.0ms (1.2% of total)
ival-neg: 392.0ms (1.1% of total)
ival-exp: 355.0ms (1% of total)
ival-log: 346.0ms (1% of total)
ival-tan: 233.0ms (0.6% of total)
ival-log1p: 218.0ms (0.6% of total)
ival-cbrt: 176.0ms (0.5% of total)
ival-atan: 172.0ms (0.5% of total)
ival-acos: 157.0ms (0.4% of total)
exact: 130.0ms (0.4% of total)
ival-pi: 102.0ms (0.3% of total)
ival-fabs: 101.0ms (0.3% of total)
ival-hypot: 98.0ms (0.3% of total)
ival-asin: 52.0ms (0.1% of total)
ival-true: 49.0ms (0.1% of total)
ival-assert: 23.0ms (0.1% of total)
ival-tanh: 4.0ms (0% of total)
ival-cosh: 3.0ms (0% of total)
ival-sinh: 2.0ms (0% of total)
ival-copysign: 2.0ms (0% of total)

prune57.8s (7%)

Memory
-1 153.7MiB live, 90 021.0MiB allocated
Counts
296 215 → 8 227
Compiler

Compiled 669 864 to 294 390 computations (56.1% saved)

eval57.5s (6.9%)

Memory
884.1MiB live, 82 339.2MiB allocated
Compiler

Compiled 12 880 620 to 800 167 computations (93.8% saved)

regimes52.5s (6.3%)

Memory
25.7MiB live, 72 442.4MiB allocated
Counts
27 336 → 1 013
Calls

155 calls:

3.8s
phi1
3.3s
phi2
2.9s
lambda2
2.5s
a
2.5s
lambda1
Compiler

Compiled 27 780 to 16 602 computations (40.2% saved)

explain23.8s (2.9%)

Memory
36.1MiB live, 28 363.7MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity18003
+.f64#fcancellation169235
sin.f64#fsensitivity15353
sqrt.f64#foflow-rescue14220
-.f64#fcancellation94913
log.f64#fsensitivity6170
-.f64#fnan-rescue5110
/.f64#fo/n4270
/.f64#fu/u3380
/.f64#fo/o2900
*.f64#fn*o2230
/.f64#fu/n1860
sqrt.f64#fuflow-rescue1730
exp.f64#fsensitivity16531
*.f64#fn*u1120
/.f64#fn/o1030
cbrt.f64#foflow-rescue890
/.f64#fn/u410
*.f64#fu*o340
cbrt.f64#fuflow-rescue300
*.f64#fo*u300
acos.f64(acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))sensitivity181
pow.f64#fsensitivity92
pow.f64#fuflow-rescue90
log.f64#foflow-rescue50
Confusion
Predicted +Predicted -
+571970
-13816142
Precision
0.8054929577464789
Recall
0.9879081015719468
Confusion?
Predicted +Predicted MaybePredicted -
+57194525
-1381316111
Precision?
0.8032329988851727
Recall?
0.9956814648471238
Freqs
test
numberfreq
06212
14753
21620
3357
4214
592
633
722
85
94
Total Confusion?
Predicted +Predicted MaybePredicted -
+4200
-208
Precision?
0.9545454545454546
Recall?
1.0
Samples
4.8s8 024×1valid
2.4s16 278×0valid
2.0s1 914×2valid
580.0ms396×3valid
38.0ms12×4valid
Compiler

Compiled 21 748 to 3 336 computations (84.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.9s
ival-sin: 1.7s (21.8% of total)
ival-mult: 1.3s (17% of total)
ival-cos: 1.1s (14.5% of total)
ival-pow2: 716.0ms (9.1% of total)
adjust: 636.0ms (8% of total)
ival-div: 595.0ms (7.5% of total)
ival-log: 278.0ms (3.5% of total)
ival-add: 266.0ms (3.4% of total)
ival-sub: 250.0ms (3.2% of total)
ival-exp: 241.0ms (3% of total)
ival-sqrt: 178.0ms (2.3% of total)
ival-neg: 118.0ms (1.5% of total)
ival-pi: 63.0ms (0.8% of total)
ival-tan: 62.0ms (0.8% of total)
ival-atan2: 61.0ms (0.8% of total)
ival-hypot: 38.0ms (0.5% of total)
ival-pow: 37.0ms (0.5% of total)
ival-atan: 26.0ms (0.3% of total)
ival-true: 26.0ms (0.3% of total)
exact: 25.0ms (0.3% of total)
ival-acos: 22.0ms (0.3% of total)
ival-cbrt: 18.0ms (0.2% of total)
ival-assert: 12.0ms (0.2% of total)
ival-fabs: 11.0ms (0.1% of total)
ival-asin: 9.0ms (0.1% of total)
ival-log1p: 5.0ms (0.1% of total)

bsearch19.3s (2.3%)

Memory
-82.1MiB live, 26 555.5MiB allocated
Algorithm
319×binary-search
140×left-value
Stop Event
315×narrow-enough
4×predicate-same
Samples
9.1s12 802×1valid
4.1s23 984×0valid
1.8s1 404×2valid
297.0ms161×3valid
127.0ms1 377×0invalid
83.0ms236×1exit
8.0ms180×0exit
1.0ms1×4valid
0.0ms2×1invalid
Compiler

Compiled 113 029 to 76 576 computations (32.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.6s
ival-cos: 3.2s (23.2% of total)
ival-sin: 2.9s (21% of total)
ival-mult: 1.9s (14.2% of total)
adjust: 1.1s (8.4% of total)
ival-div: 1.0s (7.4% of total)
ival-pow2: 994.0ms (7.3% of total)
ival-sub: 902.0ms (6.6% of total)
ival-add: 348.0ms (2.6% of total)
ival-sqrt: 278.0ms (2% of total)
ival-acos: 197.0ms (1.4% of total)
ival-atan2: 162.0ms (1.2% of total)
ival-exp: 130.0ms (1% of total)
ival-neg: 111.0ms (0.8% of total)
ival-atan: 83.0ms (0.6% of total)
ival-hypot: 64.0ms (0.5% of total)
ival-asin: 56.0ms (0.4% of total)
ival-pi: 52.0ms (0.4% of total)
ival-tan: 40.0ms (0.3% of total)
ival-true: 33.0ms (0.2% of total)
exact: 27.0ms (0.2% of total)
ival-assert: 17.0ms (0.1% of total)
ival-log: 9.0ms (0.1% of total)
ival-fabs: 8.0ms (0.1% of total)
ival-log1p: 6.0ms (0% of total)

preprocess18.6s (2.2%)

Memory
-188.7MiB live, 21 458.5MiB allocated
Algorithm
52×egg-herbie
Rules
238 304×lower-fma.f64
238 304×lower-fma.f32
81 478×lower-*.f32
81 146×lower-*.f64
46 832×unsub-neg
Stop Event
104×iter limit
61×saturated
43×node limit
Compiler

Compiled 61 550 to 20 086 computations (67.4% saved)

series17.2s (2.1%)

Memory
198.5MiB live, 22 345.6MiB allocated
Counts
3 370 → 82 788
Calls

16332 calls:

TimeVariablePointExpression
251.0ms
a
@inf
(sqrt (/ 1 (* 2 (+ (* (* a a) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) (/ (* (pow (sin (* 1/180 (* angle (PI)))) 2) (* b b)) (* y-scale y-scale))))))
169.0ms
t
@inf
(/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n)))
160.0ms
a
@0
(exp (+ (log a) (log b)))
127.0ms
s
@inf
(/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n)))
127.0ms
s
@0
(/ (pow (+ 1 (/ -1 (+ 1 (exp (neg s))))) c_n) (pow (+ 1 (/ -1 (+ 1 (exp (neg t))))) c_n))

analyze16.6s (2%)

Memory
57.6MiB live, 22 379.8MiB allocated
Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%79.4%20.6%0%0%0%0
17.2%13.7%65.7%20.6%0%0%0%1
25%19.6%58.5%20.6%0%1.3%0%2
35.2%26.6%48.9%20.6%0%3.8%0%3
42.3%31.7%43.1%20.6%0%4.5%0%4
47.9%35.6%38.7%20.6%0%5.1%0%5
51%37.6%36.1%20.6%0%5.7%0%6
54.4%39.7%33.2%20.6%0%6.5%0%7
56.2%40.7%31.8%20.6%0%6.8%0%8
59%42.5%29.5%20.6%0%7.4%0%9
60.3%43.2%28.4%20.6%0%7.7%0%10
62.1%44.3%27%20.6%0%8.1%0%11
63.6%45.1%25.8%20.6%0%8.5%0%12
Compiler

Compiled 1 826 to 990 computations (45.8% saved)

end0.0ms (0%)

Memory
0.9MiB live, 0.8MiB allocated

Profiling

Loading profile data...