Herbie run

Date:Sunday, October 20th, 2024
Commit:5e373d4c on bhargav-double-double
Hostname:nightly with Racket 8.10
Seed:2024294
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 29.9min)

sample5.8min (19.6%)

Memory
1 410.9MiB live, 329 735.6MiB allocated
Samples
3.4min2 146 986×0valid
21.0s67 601×1valid
11.9s64 458×0invalid
1.8s5 665×2valid
1.1s1 177×5exit
531.0ms1 777×1invalid
307.0ms611×3valid
205.0ms373×4exit
3.0ms28×1exit
0.0ms1×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.5min
ival-mult: 48.7s (33.1% of total)
ival-sub: 21.6s (14.7% of total)
ival-add: 19.4s (13.2% of total)
ival-div: 17.4s (11.8% of total)
ival-log: 8.8s (6% of total)
ival-sqrt: 6.3s (4.3% of total)
const: 6.2s (4.2% of total)
ival-sin: 4.7s (3.2% of total)
adjust: 2.9s (2% of total)
ival-cos: 2.8s (1.9% of total)
ival-exp: 2.5s (1.7% of total)
ival-true: 1.7s (1.2% of total)
exact: 1.0s (0.7% of total)
ival-assert: 889.0ms (0.6% of total)
ival-fabs: 702.0ms (0.5% of total)
ival-acos: 526.0ms (0.4% of total)
ival-tan: 392.0ms (0.3% of total)
ival-sinh: 221.0ms (0.2% of total)
ival-cosh: 199.0ms (0.1% of total)
ival-hypot: 183.0ms (0.1% of total)
ival-tanh: 148.0ms (0.1% of total)
Bogosity

simplify5.5min (18.6%)

Memory
2 853.9MiB live, 230 293.8MiB allocated
Algorithm
2 067×egg-herbie
Stop Event
2 689×iter limit
1 198×node limit
892×saturated
Counts
71 902 → 70 770

soundness4.8min (16.1%)

Memory
-43.7MiB live, 146 190.2MiB allocated
Stop Event
1 443×iter limit
975×node limit
143×fuel
116×done
25×saturated
4×unsound
Compiler

Compiled 238 413 to 89 956 computations (62.3% saved)

rewrite3.9min (13%)

Memory
-126.2MiB live, 196 091.9MiB allocated
Stop Event
1 853×iter limit
878×node limit
21×saturated
18×unsound
Counts
10 963 → 468 492

eval1.9min (6.5%)

Memory
850.6MiB live, 119 546.7MiB allocated
Compiler

Compiled 17 650 741 to 1 763 911 computations (90% saved)

localize1.7min (5.6%)

Memory
-1 253.3MiB live, 98 217.1MiB allocated
Samples
56.7s213 763×0valid
9.8s10 454×1valid
4.0s2 892×2valid
1.5s3 362×0invalid
183.0ms222×3valid
165.0ms532×0exit
123.0ms92×2exit
117.0ms88×1exit
25.0ms7×5exit
11.0ms10×3exit
1.0ms2×4valid
Compiler

Compiled 292 394 to 46 116 computations (84.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 49.1s
ival-mult: 16.8s (34.3% of total)
ival-div: 8.5s (17.4% of total)
ival-add: 7.3s (14.8% of total)
ival-sub: 4.6s (9.3% of total)
const: 2.4s (4.9% of total)
ival-log: 1.8s (3.7% of total)
adjust: 1.7s (3.5% of total)
ival-pow: 1.2s (2.5% of total)
ival-neg: 1.1s (2.2% of total)
ival-sqrt: 962.0ms (2% of total)
ival-cos: 733.0ms (1.5% of total)
ival-sin: 508.0ms (1% of total)
ival-exp: 456.0ms (0.9% of total)
ival-pow2: 289.0ms (0.6% of total)
exact: 210.0ms (0.4% of total)
ival-true: 193.0ms (0.4% of total)
ival-assert: 95.0ms (0.2% of total)
ival-log1p: 79.0ms (0.2% of total)
ival-tan: 71.0ms (0.1% of total)
ival-hypot: 43.0ms (0.1% of total)
ival-expm1: 30.0ms (0.1% of total)

regimes1.6min (5.4%)

Memory
-749.8MiB live, 91 027.8MiB allocated
Counts
35 858 → 4 804
Calls

487 calls:

13.2s
x
12.5s
z
11.8s
y
5.5s
t
4.3s
b
Compiler

Compiled 37 431 to 57 113 computations (-52.6% saved)

preprocess1.2min (3.9%)

Memory
1 344.9MiB live, 54 177.7MiB allocated
Algorithm
259×egg-herbie
Stop Event
518×iter limit
382×saturated
136×node limit
Compiler

Compiled 354 960 to 62 417 computations (82.4% saved)

explain1.0min (3.4%)

Memory
-1 458.9MiB live, 59 095.1MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15240
/.f64#fo/n12540
sqrt.f64#foflow-rescue7530
/.f64#fo/o5630
-.f64#fcancellation5527
*.f64#fn*o5070
cos.f64#fsensitivity4800
-.f64#fnan-rescue4750
+.f64#fnan-rescue4700
/.f64#fn/o3420
+.f64#fcancellation3340
sin.f64#fsensitivity2770
/.f64#fu/n2560
log.f64#fuflow-rescue1670
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity1460
/.f64#fn/u1150
*.f64#fn*u950
log.f64#foflow-rescue700
/.f64#fu/u540
sqrt.f64#fuflow-rescue500
exp.f64(exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t #s(literal 1 binary64)) (log.f64 a))) b))sensitivity355
+.f64#foflow-left30
-.f64#foflow-left30
*.f64(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))u*o10
↳(*.f64 t y2)underflow27
↳(*.f64 y y3)underflow25
↳(-.f64 (*.f64 t y2) (*.f64 y y3))underflow3
↳(*.f64 y4 c)overflow41
↳(-.f64 (*.f64 y4 c) (*.f64 y5 a))overflow67
↳(*.f64 y5 a)overflow31
Confusion
Predicted +Predicted -
+5922244
-172258416
Precision
0.7747252747252747
Recall
0.9604281543950698
Confusion?
Predicted +Predicted MaybePredicted -
+59226238
-17221158405
Precision?
0.773789322542749
Recall?
0.9614012325656828
Freqs
test
numberfreq
058660
16851
2726
350
414
51
62
Total Confusion?
Predicted +Predicted MaybePredicted -
+13220
-60119
Precision?
0.9571428571428572
Recall?
1.0
Samples
14.4s125 562×0valid
2.0s5 786×1valid
867.0ms1 170×2valid
23.0ms88×3valid
1.0ms2×4valid
Compiler

Compiled 43 889 to 15 199 computations (65.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.4s
ival-mult: 2.7s (29.1% of total)
ival-sub: 1.6s (17.2% of total)
ival-add: 1.5s (15.5% of total)
ival-div: 1.3s (14.4% of total)
ival-log: 693.0ms (7.4% of total)
const: 341.0ms (3.6% of total)
adjust: 283.0ms (3% of total)
ival-sqrt: 260.0ms (2.8% of total)
ival-cos: 170.0ms (1.8% of total)
ival-sin: 144.0ms (1.5% of total)
ival-true: 122.0ms (1.3% of total)
ival-exp: 85.0ms (0.9% of total)
exact: 61.0ms (0.6% of total)
ival-assert: 56.0ms (0.6% of total)
ival-hypot: 14.0ms (0.1% of total)
ival-tan: 12.0ms (0.1% of total)

series50.8s (2.8%)

Memory
-15.7MiB live, 51 049.6MiB allocated
Counts
10 963 → 71 902
Calls

8679 calls:

TimeVariablePointExpression
343.0ms
z
@inf
((/ y (/ 1 (- z t))) (+ x (/ (/ y (/ 1 (- z t))) (- z a))) (/ (/ y (/ 1 (- z t))) (- z a)) (/ 1 (- z t)) (+ x (/ (* y (- z t)) (- z a))) (* (/ y (- z a)) (- z t)) (/ (* y t) a) (* y t) (+ x (/ (* y (- z t)) (- z a))) (* (/ y (- z a)) (- z t)) (* (/ (- z t) z) y) (/ (- z t) z) (+ (* (/ (- z t) (- z a)) y) x) (/ (- z t) (- z a)) (- z t) (+ x (/ y (/ (- z a) (- z t)))) (/ y (/ (- z a) (- z t))) (/ (- z a) (- z t)) (/ a t))
343.0ms
a
@-inf
((+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)) (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (+ (* x (log y)) z) (+ (+ (+ (* x (log y)) z) t) a) (* x (log y)) (* (- b 1/2) (log c)))
336.0ms
z
@-inf
((+ (* (* (sqrt z) 1/2) y) (* x 1/2)) (* (sqrt z) 1/2) (sqrt z) (* x 1/2) (* (/ 1 2) (+ x (* y (sqrt z)))) (* 1/2 x) (* (+ (* (sqrt z) y) x) 1/2) (+ (* (sqrt z) y) x) (/ 1 (/ 1 (* (+ (* (sqrt z) y) x) 1/2))) (/ 1 (* (+ (* (sqrt z) y) x) 1/2)) (/ (* (+ (* (* z y) y) (* (neg x) x)) 1/2) (- (* (sqrt z) y) x)) (* (+ (* (* z y) y) (* (neg x) x)) 1/2) (+ (* (* z y) y) (* (neg x) x)) (* z y) (* (sqrt z) y) (- (* (sqrt z) y) x))
330.0ms
x
@-inf
((+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)) (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (+ (* x (log y)) z) (+ (+ (+ (* x (log y)) z) t) a) (* x (log y)) (* (- b 1/2) (log c)))
303.0ms
z
@-inf
((* (+ (* (neg y) x) (* t z)) (/ -1 a)) (+ (* (neg y) x) (* t z)) (neg y) (* t z) (/ (- (* x y) (* z t)) a) (* x (/ y a)) (/ y a) (/ (+ (* (neg z) t) (* y x)) a) (* (/ (neg z) a) t) (/ (neg z) a) (neg z) (/ y (/ a x)) (/ (- (* x y) (* z t)) a) (/ a x) (+ (* (/ x a) y) (/ (neg t) (/ a z))) (/ (neg t) (/ a z)) (/ x a) (neg t) (/ a z))

prune39.4s (2.2%)

Memory
-1 460.0MiB live, 50 586.5MiB allocated
Counts
496 059 → 13 162
Compiler

Compiled 815 868 to 446 094 computations (45.3% saved)

bsearch35.9s (2%)

Memory
364.6MiB live, 35 561.6MiB allocated
Algorithm
1 665×binary-search
1 072×left-value
Stop Event
1 629×narrow-enough
34×predicate-same
2×predicate-failed
Samples
20.2s137 539×0valid
784.0ms3 575×1valid
197.0ms3 010×0invalid
56.0ms152×2valid
21.0ms82×1invalid
2.0ms9×3valid
1.0ms5×4valid
Compiler

Compiled 1 002 856 to 708 395 computations (29.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.0s
ival-mult: 6.8s (48.5% of total)
ival-sub: 3.0s (21.6% of total)
ival-add: 1.5s (10.4% of total)
ival-div: 820.0ms (5.8% of total)
ival-log: 527.0ms (3.8% of total)
const: 325.0ms (2.3% of total)
ival-sin: 319.0ms (2.3% of total)
ival-cos: 235.0ms (1.7% of total)
ival-true: 109.0ms (0.8% of total)
ival-sqrt: 108.0ms (0.8% of total)
adjust: 102.0ms (0.7% of total)
ival-exp: 89.0ms (0.6% of total)
ival-assert: 56.0ms (0.4% of total)
exact: 49.0ms (0.3% of total)

analyze19.2s (1.1%)

Memory
-681.9MiB live, 19 426.8MiB 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)

start8.0ms (0%)

Memory
14.8MiB live, 14.5MiB allocated

end2.0ms (0%)

Memory
4.2MiB live, 4.0MiB allocated

Profiling

Loading profile data...