Herbie run

Date:Tuesday, June 18th, 2024
Commit:a0c05d74 on track-memory
Hostname:nightly with Racket 8.11.1
Seed:2024170
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.1min)

simplify7.6min (21.7%)

Memory
-1 153.5MiB live, 428 895.3MiB allocated
Algorithm
2 107×egg-herbie
Rules
696 159×fma-define
576 197×fmm-def
386 869×times-frac
369 040×distribute-lft-in
354 295×associate-*r*
Stop Event
1 331×node limit
768×saturated
8×unsound
Counts
508 339 → 437 584

sample5.7min (16.3%)

Memory
1 664.9MiB live, 404 058.3MiB allocated
Samples
3.5min2 145 631×0valid
24.2s65 870×1valid
11.6s65 215×0invalid
2.2s8 145×2valid
1.6s1 561×5exit
1.1s1 218×3valid
358.0ms1 762×1invalid
Precisions
Click to see histograms. Total time spent on operations: 2.6min
ival-mult: 51.4s (33% of total)
ival-add: 22.9s (14.7% of total)
ival-sub: 21.5s (13.8% of total)
ival-div: 21.5s (13.8% of total)
ival-log: 9.6s (6.2% of total)
ival-sqrt: 6.8s (4.4% of total)
...in/eval/compile.rkt:77:19: 5.6s (3.6% of total)
ival-sin: 4.2s (2.7% of total)
ival-cos: 3.5s (2.2% of total)
ival-exp: 2.2s (1.4% of total)
adjust: 2.1s (1.3% of total)
ival-true: 1.6s (1% of total)
ival-assert: 874.0ms (0.6% of total)
...in/eval/compile.rkt:76:19: 656.0ms (0.4% of total)
ival-tan: 273.0ms (0.2% of total)
ival-fabs: 271.0ms (0.2% of total)
ival-cosh: 241.0ms (0.2% of total)
ival-sinh: 226.0ms (0.1% of total)
ival-acos: 196.0ms (0.1% of total)
ival-tanh: 76.0ms (0% of total)
Bogosity

soundness4.6min (13.2%)

Memory
-489.4MiB live, 236 864.8MiB allocated
Rules
256 655×fma-define
235 472×fmm-def
201 388×log1p-expm1-u
161 007×times-frac
157 084×associate-*r*
Stop Event
820×node limit
157×fuel
112×done
82×saturated
4×unsound
Compiler

Compiled 152 493 to 51 590 computations (66.2% saved)

rewrite3.9min (11.1%)

Memory
-514.4MiB live, 208 603.4MiB allocated
Algorithm
906×batch-egg-rewrite
Rules
606 594×log1p-expm1-u
452 185×expm1-log1p-u
186 619×pow1
176 329×add-exp-log
167 170×add-log-exp
Stop Event
899×node limit
5×unsound
2×saturated
Counts
8 915 → 292 473

prune2.8min (7.9%)

Memory
-3 772.5MiB live, 237 848.4MiB allocated
Counts
591 713 → 14 600
Compiler

Compiled 478 576 to 287 279 computations (40% saved)

eval2.3min (6.6%)

Memory
2 791.5MiB live, 173 957.9MiB allocated
Compiler

Compiled 12 564 593 to 2 087 310 computations (83.4% saved)

localize2.0min (5.6%)

Memory
1 645.1MiB live, 140 678.4MiB allocated
Samples
57.7s218 856×0valid
9.0s9 339×1valid
3.9s2 122×5exit
2.5s5 866×0invalid
1.3s1 343×2valid
419.0ms339×3valid
191.0ms133×1invalid
157.0ms584×0exit
55.0ms10×4valid
Compiler

Compiled 113 620 to 19 748 computations (82.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 50.2s
ival-mult: 14.8s (29.4% of total)
ival-div: 8.4s (16.7% of total)
ival-add: 6.1s (12.2% of total)
ival-sqrt: 3.4s (6.8% of total)
ival-sub: 3.1s (6.3% of total)
...in/eval/compile.rkt:77:19: 2.8s (5.6% of total)
ival-pow: 2.5s (5% of total)
adjust: 1.7s (3.4% of total)
ival-log: 1.6s (3.1% of total)
ival-cos: 1.1s (2.2% of total)
ival-pow2: 1.0s (2% of total)
ival-sin: 852.0ms (1.7% of total)
ival-neg: 801.0ms (1.6% of total)
ival-cbrt: 496.0ms (1% of total)
ival-exp: 265.0ms (0.5% of total)
ival-acos: 214.0ms (0.4% of total)
ival-log1p: 194.0ms (0.4% of total)
ival-true: 187.0ms (0.4% of total)
...in/eval/compile.rkt:76:19: 153.0ms (0.3% of total)
ival-tan: 106.0ms (0.2% of total)
ival-assert: 97.0ms (0.2% of total)
ival-expm1: 81.0ms (0.2% of total)
ival-hypot: 65.0ms (0.1% of total)
ival-cosh: 18.0ms (0% of total)
ival-fabs: 17.0ms (0% of total)
ival-e: 16.0ms (0% of total)
ival-tanh: 13.0ms (0% of total)
ival-sinh: 8.0ms (0% of total)

regimes1.5min (4.3%)

Memory
-341.2MiB live, 116 777.2MiB allocated
Counts
40 004 → 4 976
Calls

511 calls:

14.8s
y
14.3s
x
10.8s
z
8.6s
t
5.0s
a
Compiler

Compiled 48 842 to 38 437 computations (21.3% saved)

preprocess1.2min (3.5%)

Memory
-912.8MiB live, 70 746.1MiB allocated
Algorithm
269×egg-herbie
Rules
137 764×fmm-def
117 089×fma-define
51 035×unsub-neg
50 338×sub-neg
47 100×distribute-rgt-in
Stop Event
153×saturated
116×node limit
Compiler

Compiled 149 910 to 59 510 computations (60.3% saved)

bsearch1.2min (3.4%)

Memory
-267.1MiB live, 86 686.7MiB allocated
Algorithm
2 521×binary-search
309×left-value
Stop Event
2 483×narrow-enough
38×predicate-same
Samples
43.7s301 072×0valid
2.2s7 895×1valid
629.0ms6 518×0invalid
227.0ms781×2valid
20.0ms60×3valid
Compiler

Compiled 543 544 to 406 443 computations (25.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 31.4s
ival-mult: 13.5s (43.1% of total)
ival-sub: 5.8s (18.5% of total)
ival-add: 4.1s (13.1% of total)
ival-div: 2.3s (7.4% of total)
...in/eval/compile.rkt:77:19: 1.8s (5.9% of total)
ival-log: 962.0ms (3.1% of total)
ival-cos: 692.0ms (2.2% of total)
ival-sqrt: 630.0ms (2% of total)
ival-sin: 458.0ms (1.5% of total)
ival-exp: 324.0ms (1% of total)
adjust: 239.0ms (0.8% of total)
ival-true: 217.0ms (0.7% of total)
ival-assert: 121.0ms (0.4% of total)
...in/eval/compile.rkt:76:19: 89.0ms (0.3% of total)
ival-fabs: 23.0ms (0.1% of total)
ival-sinh: 11.0ms (0% of total)
ival-tanh: 9.0ms (0% of total)
ival-cosh: 2.0ms (0% of total)

series1.1min (3.1%)

Memory
527.7MiB live, 79 294.3MiB allocated
Counts
8 915 → 215 866
Calls

51696 calls:

TimeVariablePointExpression
559.0ms
x
@-inf
(* x (+ x 1))
447.0ms
y
@-inf
(* y (/ (/ 1 x) y))
404.0ms
y
@inf
(* x y)
404.0ms
x
@inf
(- x (/ 230753/100000 (+ 1 (* x 99229/100000))))
391.0ms
y
@0
(* (fabs (cos y)) (* (sqrt x) 2))

explain49.5s (2.4%)

Memory
978.6MiB live, 62 190.9MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity16052
/.f64#fo/n11670
sqrt.f64#foflow-rescue7760
/.f64#fo/o6190
-.f64#fcancellation6136
*.f64#fn*o5290
-.f64#fnan-rescue4610
+.f64#fnan-rescue4570
cos.f64#fsensitivity3871
+.f64#fcancellation3604
/.f64#fn/o3210
/.f64#fu/n2440
sin.f64#fsensitivity2201
*.f64#fn*u1680
/.f64#fn/u1490
cos.f64#foflow-rescue1310
log.f64#foflow-rescue970
/.f64#fu/u950
log.f64#fuflow-rescue830
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity830
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue420
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow42
↳(*.f64 y #s(literal 2 binary64))overflow1
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue420
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow42
↳(*.f64 y #s(literal 2 binary64))overflow1
sqrt.f64#fuflow-rescue400
*.f64#fo*u360
exp.f64#fsensitivity302
*.f64#fu*o20
Confusion
Predicted +Predicted -
+6135208
-173060791
Precision
0.7800381436745073
Recall
0.9672079457669872
Confusion?
Predicted +Predicted MaybePredicted -
+61352206
-17301360778
Precision?
0.7788071065989848
Recall?
0.9675232539807662
Freqs
test
numberfreq
060999
17070
2725
349
416
54
61
Total Confusion?
Predicted +Predicted MaybePredicted -
+13400
-30132
Precision?
0.9781021897810219
Recall?
1.0
Samples
14.7s130 284×0valid
3.1s6 164×1valid
547.0ms1 060×2valid
78.0ms210×3valid
3.0ms8×4valid
1.0ms2×5exit
Compiler

Compiled 29 004 to 10 844 computations (62.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.6s
ival-mult: 4.1s (35.8% of total)
ival-sub: 2.1s (18% of total)
ival-div: 1.2s (10.8% of total)
ival-add: 1.1s (9.5% of total)
ival-log: 803.0ms (6.9% of total)
ival-sinh: 455.0ms (3.9% of total)
...in/eval/compile.rkt:77:19: 388.0ms (3.4% of total)
ival-cos: 370.0ms (3.2% of total)
ival-sin: 201.0ms (1.7% of total)
ival-sqrt: 196.0ms (1.7% of total)
adjust: 164.0ms (1.4% of total)
ival-true: 114.0ms (1% of total)
ival-exp: 80.0ms (0.7% of total)
ival-assert: 56.0ms (0.5% of total)
ival-tanh: 53.0ms (0.5% of total)
ival-fabs: 53.0ms (0.5% of total)
...in/eval/compile.rkt:76:19: 44.0ms (0.4% of total)
ival-tan: 12.0ms (0.1% of total)
ival-cosh: 12.0ms (0.1% of total)
ival-acos: 4.0ms (0% of total)

analyze18.9s (0.9%)

Memory
-169.2MiB live, 24 637.4MiB allocated
Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.5%46.4%53.4%0.1%0%0%0%1
50.1%49.7%49.5%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 980 computations (13.9% saved)

end1.0ms (0%)

Memory
4.9MiB live, 4.5MiB allocated

Profiling

Loading profile data...