Herbie run

Date:Wednesday, July 3rd, 2024
Commit:276d3a06 on main
Hostname:nightly with Racket 8.11.1
Seed:2024185
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.6min)

simplify8.0min (22.5%)

Memory
221.7MiB live, 434 689.0MiB allocated
Algorithm
2 107×egg-herbie
Rules
716 258×fma-define
612 969×fmm-def
362 215×times-frac
359 688×distribute-lft-in
342 303×associate-*r*
Stop Event
1 311×node limit
787×saturated
9×unsound
Counts
514 847 → 441 785

sample5.9min (16.6%)

Memory
228.8MiB live, 403 878.0MiB allocated
Samples
3.6min2 145 668×0valid
22.6s68 646×1valid
11.4s64 486×0invalid
2.8s5 906×2valid
1.5s1 248×5exit
394.0ms1 722×1invalid
339.0ms641×3valid
323.0ms430×4exit
2.0ms20×1exit
1.0ms3×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.6min
ival-mult: 52.2s (33.3% of total)
ival-add: 22.2s (14.2% of total)
ival-sub: 21.9s (14% of total)
ival-div: 19.2s (12.3% of total)
ival-log: 11.2s (7.1% of total)
...in/eval/compile.rkt:111:19: 6.7s (4.3% of total)
ival-sqrt: 5.7s (3.7% of total)
ival-sin: 4.9s (3.1% of total)
ival-cos: 3.4s (2.2% of total)
ival-exp: 2.9s (1.8% of total)
adjust: 1.8s (1.1% of total)
ival-true: 1.5s (1% of total)
ival-assert: 832.0ms (0.5% of total)
...in/eval/compile.rkt:110:19: 625.0ms (0.4% of total)
ival-tanh: 467.0ms (0.3% of total)
ival-tan: 253.0ms (0.2% of total)
ival-acos: 206.0ms (0.1% of total)
ival-cosh: 183.0ms (0.1% of total)
ival-sinh: 177.0ms (0.1% of total)
ival-fabs: 163.0ms (0.1% of total)
ival-hypot: 146.0ms (0.1% of total)
Bogosity

soundness4.6min (12.9%)

Memory
-1 147.2MiB live, 230 698.4MiB allocated
Rules
256 615×fma-define
242 344×fmm-def
183 286×log1p-expm1-u
155 091×associate-*r*
148 317×times-frac
Stop Event
795×node limit
145×fuel
124×done
87×saturated
7×unsound
Compiler

Compiled 150 180 to 50 791 computations (66.2% saved)

rewrite4.0min (11.3%)

Memory
-806.1MiB live, 213 456.2MiB allocated
Algorithm
905×batch-egg-rewrite
Rules
609 429×log1p-expm1-u
465 161×expm1-log1p-u
182 688×pow1
172 815×add-exp-log
164 424×add-log-exp
Stop Event
900×node limit
4×unsound
1×saturated
Counts
8 913 → 299 311

prune2.8min (7.8%)

Memory
-3 895.7MiB live, 237 990.5MiB allocated
Counts
596 096 → 14 468
Compiler

Compiled 484 035 to 288 141 computations (40.5% saved)

eval2.1min (6%)

Memory
2 407.2MiB live, 174 715.9MiB allocated
Compiler

Compiled 12 833 963 to 2 090 337 computations (83.7% saved)

localize1.9min (5.2%)

Memory
1 803.2MiB live, 139 035.0MiB allocated
Samples
52.4s218 603×0valid
7.0s7 269×1valid
3.9s1 905×2valid
2.6s6 933×0invalid
1.3s1 188×5exit
425.0ms1 528×1exit
249.0ms730×0exit
200.0ms459×2exit
158.0ms194×3valid
21.0ms31×3exit
5.0ms8×4valid
Compiler

Compiled 114 503 to 19 626 computations (82.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 45.0s
ival-mult: 13.4s (29.8% of total)
ival-div: 10.8s (24% of total)
ival-add: 5.5s (12.2% of total)
ival-sub: 3.0s (6.6% of total)
...in/eval/compile.rkt:111:19: 2.3s (5.1% of total)
ival-pow: 1.6s (3.6% of total)
ival-log: 1.3s (2.9% of total)
adjust: 1.2s (2.6% of total)
ival-sqrt: 1.1s (2.3% of total)
ival-cos: 974.0ms (2.2% of total)
ival-neg: 954.0ms (2.1% of total)
ival-exp: 546.0ms (1.2% of total)
ival-pow2: 540.0ms (1.2% of total)
ival-sin: 471.0ms (1% of total)
ival-cbrt: 351.0ms (0.8% of total)
ival-log1p: 189.0ms (0.4% of total)
ival-true: 184.0ms (0.4% of total)
ival-fabs: 148.0ms (0.3% of total)
...in/eval/compile.rkt:110:19: 145.0ms (0.3% of total)
ival-expm1: 113.0ms (0.3% of total)
ival-assert: 97.0ms (0.2% of total)
ival-hypot: 59.0ms (0.1% of total)
ival-tan: 38.0ms (0.1% of total)
ival-cosh: 19.0ms (0% of total)
ival-sinh: 14.0ms (0% of total)
ival-acos: 13.0ms (0% of total)
ival-tanh: 8.0ms (0% of total)
ival-e: 2.0ms (0% of total)

regimes1.5min (4.1%)

Memory
-299.1MiB live, 115 893.0MiB allocated
Counts
39 987 → 5 044
Calls

511 calls:

14.0s
y
13.6s
x
11.3s
z
7.9s
t
5.7s
a
Compiler

Compiled 48 915 to 38 639 computations (21% saved)

bsearch1.3min (3.8%)

Memory
871.0MiB live, 93 210.7MiB allocated
Algorithm
2 617×binary-search
261×left-value
Stop Event
2 570×narrow-enough
47×predicate-same
Samples
50.4s322 300×0valid
2.7s7 689×1valid
564.0ms7 573×0invalid
80.0ms263×2valid
4.0ms20×3valid
2.0ms9×1invalid
Compiler

Compiled 588 337 to 439 150 computations (25.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 36.8s
ival-mult: 14.1s (38.5% of total)
ival-sub: 9.3s (25.4% of total)
ival-add: 3.7s (10.2% of total)
ival-div: 3.2s (8.8% of total)
...in/eval/compile.rkt:111:19: 1.8s (4.9% of total)
ival-log: 1.6s (4.2% of total)
ival-sin: 753.0ms (2% of total)
ival-sqrt: 683.0ms (1.9% of total)
ival-cos: 528.0ms (1.4% of total)
adjust: 268.0ms (0.7% of total)
ival-true: 235.0ms (0.6% of total)
ival-exp: 233.0ms (0.6% of total)
ival-assert: 126.0ms (0.3% of total)
...in/eval/compile.rkt:110:19: 94.0ms (0.3% of total)
ival-fabs: 17.0ms (0% of total)
ival-tanh: 11.0ms (0% of total)
ival-sinh: 7.0ms (0% of total)
ival-cosh: 5.0ms (0% of total)

preprocess1.3min (3.6%)

Memory
-1 124.8MiB live, 69 315.0MiB 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 147 100 to 58 318 computations (60.4% saved)

series1.1min (3.1%)

Memory
98.7MiB live, 80 352.7MiB allocated
Counts
8 913 → 215 536
Calls

51054 calls:

TimeVariablePointExpression
508.0ms
y
@-inf
(+ (* z (log (+ 1 (* (pow (cbrt y) 2) (neg (cbrt y)))))) (- (* x (log y)) t))
441.0ms
y
@0
(* x (- (log (/ x (sqrt y))) (log (sqrt y))))
424.0ms
t
@-inf
(* x (/ (- (/ (- 1 z) t) (/ z y)) (* (/ (- 1 z) t) (/ z y))))
395.0ms
x
@-inf
(* x (neg (log (/ y x))))
352.0ms
x
@0
(* 2 (log (cbrt x)))

explain50.2s (2.4%)

Memory
1 216.0MiB live, 61 016.6MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15492
/.f64#fo/n12090
sqrt.f64#foflow-rescue7950
-.f64#fcancellation6246
/.f64#fo/o6140
*.f64#fn*o4790
+.f64#fnan-rescue4600
-.f64#fnan-rescue4590
cos.f64#fsensitivity3670
/.f64#fn/o3620
+.f64#fcancellation3220
/.f64#fu/n2620
sin.f64#fsensitivity2180
*.f64#fn*u1570
cos.f64#foflow-rescue1210
/.f64#fn/u1200
log.f64#foflow-rescue1030
/.f64#fu/u1000
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity1000
log.f64#fuflow-rescue820
sqrt.f64#fuflow-rescue410
*.f64#fo*u310
exp.f64#fsensitivity302
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue260
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow26
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue260
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow26
*.f64#fu*o40
Confusion
Predicted +Predicted -
+6152174
-166460874
Precision
0.7871033776867963
Recall
0.9724944672779007
Confusion?
Predicted +Predicted MaybePredicted -
+61523171
-1664660868
Precision?
0.7865814696485623
Recall?
0.9729687006006955
Freqs
test
numberfreq
061048
17066
2682
347
415
56
Total Confusion?
Predicted +Predicted MaybePredicted -
+13901
-30126
Precision?
0.9788732394366197
Recall?
0.9928571428571429
Samples
14.9s130 530×0valid
2.8s5 902×1valid
595.0ms1 228×2valid
16.0ms66×3valid
1.0ms2×4valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 10.3s
ival-mult: 3.7s (35.8% of total)
ival-sub: 1.3s (12.8% of total)
ival-div: 1.2s (11.8% of total)
ival-log: 1.2s (11.5% of total)
ival-add: 1.2s (11.2% of total)
adjust: 418.0ms (4.1% of total)
ival-sin: 290.0ms (2.8% of total)
...in/eval/compile.rkt:111:19: 281.0ms (2.7% of total)
ival-sqrt: 191.0ms (1.9% of total)
ival-cos: 166.0ms (1.6% of total)
ival-exp: 124.0ms (1.2% of total)
ival-true: 111.0ms (1.1% of total)
ival-assert: 54.0ms (0.5% of total)
...in/eval/compile.rkt:110:19: 39.0ms (0.4% of total)
ival-tan: 15.0ms (0.1% of total)
ival-fabs: 13.0ms (0.1% of total)
ival-hypot: 11.0ms (0.1% of total)
ival-cosh: 10.0ms (0.1% of total)
ival-sinh: 8.0ms (0.1% of total)
ival-tanh: 6.0ms (0.1% of total)
ival-acos: 4.0ms (0% of total)

analyze20.1s (0.9%)

Memory
201.8MiB live, 25 457.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)

end2.0ms (0%)

Memory
4.7MiB live, 4.5MiB allocated

Profiling

Loading profile data...