Herbie run

Date:Sunday, August 25th, 2024
Commit:a6ae8219 on bhargav-log-space
Hostname:nightly with Racket 8.11.1
Seed:2024238
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: 35.7min)

simplify8.6min (24.1%)

Memory
311.1MiB live, 585 928.7MiB allocated
Algorithm
1 855×egg-herbie
Rules
11 791 708×lower-fma.f32
11 789 034×lower-fma.f64
4 375 512×lower-*.f32
4 369 142×lower-*.f64
2 454 950×lower-+.f32
Stop Event
2 409×iter limit
1 035×node limit
835×saturated
Counts
292 452 → 285 610

rewrite6.0min (16.9%)

Memory
625.0MiB live, 435 255.2MiB allocated
Rules
4 503 118×lower-fma.f32
4 500 456×lower-fma.f64
3 451 150×lower-*.f32
3 444 864×lower-*.f64
2 899 944×lower-/.f32
Stop Event
1 657×iter limit
782×node limit
19×saturated
16×unsound
Counts
9 432 → 421 464

sample5.6min (15.6%)

Memory
448.1MiB live, 380 840.3MiB allocated
Samples
3.3min2 146 543×0valid
21.0s67 957×1valid
10.3s63 610×0invalid
1.8s1 190×5exit
1.7s5 723×2valid
405.0ms1 739×1invalid
196.0ms393×4exit
174.0ms640×3valid
3.0ms24×1exit
0.0ms1×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.4min
ival-mult: 51.4s (36.2% of total)
ival-sub: 18.6s (13.1% of total)
ival-add: 17.3s (12.2% of total)
ival-div: 15.8s (11.1% of total)
ival-log: 9.3s (6.5% of total)
const: 5.8s (4.1% of total)
ival-sqrt: 5.5s (3.9% of total)
ival-sin: 3.6s (2.5% of total)
adjust: 3.6s (2.5% of total)
ival-cos: 2.9s (2% of total)
ival-exp: 2.8s (2% of total)
ival-true: 1.7s (1.2% of total)
exact: 996.0ms (0.7% of total)
ival-assert: 843.0ms (0.6% of total)
ival-acos: 612.0ms (0.4% of total)
ival-cosh: 413.0ms (0.3% of total)
ival-fabs: 289.0ms (0.2% of total)
ival-tan: 212.0ms (0.1% of total)
ival-sinh: 180.0ms (0.1% of total)
ival-hypot: 179.0ms (0.1% of total)
ival-tanh: 128.0ms (0.1% of total)
Bogosity

soundness4.3min (12.1%)

Memory
-680.0MiB live, 143 243.4MiB allocated
Rules
6 545 826×lower-fma.f32
6 544 790×lower-fma.f64
3 480 702×lower-*.f32
3 477 908×lower-*.f64
1 958 800×lower-/.f32
Stop Event
1 165×iter limit
786×node limit
120×done
119×fuel
18×saturated
3×unsound
Compiler

Compiled 141 183 to 64 152 computations (54.6% saved)

eval2.5min (7%)

Memory
2 611.0MiB live, 205 375.6MiB allocated
Compiler

Compiled 20 644 777 to 1 358 964 computations (93.4% saved)

prune2.1min (6%)

Memory
-3 704.4MiB live, 195 734.0MiB allocated
Counts
777 592 → 12 096
Compiler

Compiled 463 083 to 238 533 computations (48.5% saved)

localize1.7min (4.7%)

Memory
504.2MiB live, 108 677.1MiB allocated
Samples
53.5s196 452×0valid
6.1s7 346×1valid
2.1s1 682×2valid
362.0ms834×0invalid
258.0ms249×3valid
147.0ms120×1exit
85.0ms132×0exit
59.0ms23×5exit
13.0ms10×4valid
Compiler

Compiled 112 788 to 18 618 computations (83.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 44.3s
ival-add: 14.7s (33.2% of total)
ival-mult: 13.0s (29.4% of total)
ival-div: 6.4s (14.5% of total)
ival-sub: 2.5s (5.6% of total)
const: 2.2s (5% of total)
ival-cos: 1.1s (2.5% of total)
adjust: 953.0ms (2.2% of total)
ival-sqrt: 829.0ms (1.9% of total)
ival-sin: 781.0ms (1.8% of total)
ival-neg: 674.0ms (1.5% of total)
ival-pow: 225.0ms (0.5% of total)
exact: 202.0ms (0.5% of total)
ival-true: 172.0ms (0.4% of total)
ival-exp: 164.0ms (0.4% of total)
ival-log: 115.0ms (0.3% of total)
ival-assert: 82.0ms (0.2% of total)
ival-tan: 54.0ms (0.1% of total)
ival-hypot: 44.0ms (0.1% of total)
ival-pow2: 37.0ms (0.1% of total)

regimes1.6min (4.6%)

Memory
-194.7MiB live, 104 061.7MiB allocated
Counts
36 344 → 4 356
Calls

431 calls:

11.8s
y
11.1s
x
9.4s
(*.f64 y y)
9.2s
(*.f64 x (exp.f64 (*.f64 y y)))
8.4s
z
Compiler

Compiled 67 287 to 50 268 computations (25.3% saved)

preprocess1.3min (3.6%)

Memory
1 222.6MiB live, 80 517.5MiB allocated
Algorithm
239×egg-herbie
Rules
778 944×lower-fma.f32
778 944×lower-fma.f64
169 606×unsub-neg
166 802×lower-*.f32
165 856×lower-*.f64
Stop Event
478×iter limit
354×saturated
124×node limit
Compiler

Compiled 159 072 to 43 404 computations (72.7% saved)

explain35.3s (1.6%)

Memory
-1 538.8MiB live, 45 523.2MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
+.f64#foflow-right12490
*.f64#fn*o9530
/.f64#fo/n8840
+.f64#fnan-rescue6310
-.f64#foflow-right5700
sqrt.f64#foflow-rescue5240
/.f64#fo/o4820
-.f64#fcancellation3978
/.f64#fn/o3170
cos.f64#fsensitivity3120
*.f64#fn*u2790
/.f64#fu/n2560
+.f64#foflow-left2370
sin.f64#fsensitivity2350
-.f64#foflow-left1990
/.f64#fn/u1720
cos.f64#foflow-rescue1490
+.f64#fcancellation1320
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity1050
/.f64#fu/u500
sqrt.f64#fuflow-rescue430
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue310
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow26
↳(*.f64 y #s(literal 2 binary64))overflow1
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue310
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow26
↳(*.f64 y #s(literal 2 binary64))overflow1
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))cancelation40
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))cancellation40
*.f64#fo*u40
exp.f64#fsensitivity20
Confusion
Predicted +Predicted -
+34891810
-263853247
Precision
0.5694467112779501
Recall
0.6584261181354972
Confusion?
Predicted +Predicted MaybePredicted -
+348911809
-26381053237
Precision?
0.5685891169762137
Recall?
0.6586148329873561
Freqs
test
numberfreq
055057
14339
21516
3227
430
510
65
Total Confusion?
Predicted +Predicted MaybePredicted -
+10908
-200102
Precision?
0.8449612403100775
Recall?
0.9316239316239316
Samples
11.1s118 498×0valid
1.3s3 514×1valid
87.0ms319×2valid
23.0ms102×3valid
1.0ms4×5exit
1.0ms2×4valid
Compiler

Compiled 33 791 to 12 227 computations (63.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.5s
ival-mult: 2.5s (38.7% of total)
ival-sub: 831.0ms (12.7% of total)
ival-add: 781.0ms (12% of total)
ival-div: 780.0ms (11.9% of total)
ival-sqrt: 400.0ms (6.1% of total)
const: 352.0ms (5.4% of total)
adjust: 265.0ms (4.1% of total)
ival-cos: 167.0ms (2.6% of total)
ival-sin: 159.0ms (2.4% of total)
ival-true: 105.0ms (1.6% of total)
exact: 54.0ms (0.8% of total)
ival-assert: 47.0ms (0.7% of total)
ival-exp: 23.0ms (0.4% of total)
ival-hypot: 16.0ms (0.2% of total)
ival-log: 13.0ms (0.2% of total)
ival-tan: 11.0ms (0.2% of total)

bsearch28.6s (1.3%)

Memory
535.6MiB live, 35 563.9MiB allocated
Algorithm
1 484×binary-search
1 022×left-value
Stop Event
1 463×narrow-enough
21×predicate-same
Samples
17.4s116 994×0valid
577.0ms2 373×1valid
62.0ms879×0invalid
26.0ms128×2valid
8.0ms36×3valid
2.0ms5×4valid
Compiler

Compiled 423 950 to 287 170 computations (32.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.1s
ival-mult: 6.1s (50.5% of total)
ival-sub: 2.3s (18.8% of total)
ival-add: 1.7s (14.1% of total)
ival-div: 646.0ms (5.3% of total)
const: 392.0ms (3.2% of total)
ival-sin: 356.0ms (2.9% of total)
ival-cos: 264.0ms (2.2% of total)
ival-sqrt: 96.0ms (0.8% of total)
ival-true: 90.0ms (0.7% of total)
adjust: 83.0ms (0.7% of total)
ival-assert: 45.0ms (0.4% of total)
exact: 39.0ms (0.3% of total)
ival-exp: 2.0ms (0% of total)

analyze26.2s (1.2%)

Memory
337.0MiB live, 23 760.1MiB allocated
Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.8%46.8%53.1%0.1%0%0%0%1
50.5%50.1%49.2%0.1%0%0.6%0%2
58.6%57%40.3%0.1%0%2.6%0%3
65.2%62.7%33.5%0.1%0%3.6%0%4
71.2%68.2%27.5%0.1%0%4.1%0%5
75.9%72.3%23%0.1%0%4.6%0%6
79.8%75.6%19.1%0.1%0%5.1%0%7
81.7%77%17.3%0.1%0%5.6%0%8
84.3%79.3%14.7%0.1%0%5.9%0%9
85.9%80.5%13.2%0.1%0%6.2%0%10
88.5%82.8%10.8%0.1%0%6.2%0%11
89.6%83.6%9.8%0.1%0%6.5%0%12
Compiler

Compiled 3 462 to 2 977 computations (14% saved)

series25.9s (1.2%)

Memory
-156.2MiB live, 30 377.6MiB allocated
Counts
9 432 → 292 452
Calls

30612 calls:

TimeVariablePointExpression
1.4s
t
@-inf
(* z t)
321.0ms
y
@0
(+ (* y (exp (* 2 (- (* z (sqrt (/ 1 t))) (* (- b c) (+ a 5/6)))))) (+ (* y (+ (* (exp (* 2 (- (* z (sqrt (/ 1 t))) (* (- b c) (+ a 5/6))))) (/ (+ (* (- b c) (* (- b c) 8/9)) (* z (* a (sqrt t)))) (* t t))) (/ (* (exp (* 2 (- (* z (sqrt (/ 1 t))) (* (- b c) (+ a 5/6))))) (+ (* a (* (* (- b c) (* z (sqrt t))) 4/3)) (* (- b c) (* (* (- b c) (- b c)) 32/81)))) (* t (* t t))))) (* (* 4/3 y) (* (exp (* 2 (- (* z (sqrt (/ 1 t))) (* (- b c) (+ a 5/6))))) (/ (- b c) t)))))
292.0ms
z
@-inf
(* (* y y) (/ (* (sqrt 1/3) 1/2) z))
188.0ms
x
@0
(+ (* y (- x z)) z)
165.0ms
x
@0
(* (* z x) (neg (* y y)))

start5.0ms (0%)

Memory
11.5MiB live, 11.2MiB allocated

end2.0ms (0%)

Memory
4.7MiB live, 4.5MiB allocated

Profiling

Loading profile data...