Herbie run

Date:Friday, November 8th, 2024
Commit:e1f2a9b8 on fix-1030
Hostname:nightly with Racket 8.10
Seed:2024313
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: 31.0min)

simplify5.9min (19%)

Memory
2 532.6MiB live, 240 085.9MiB allocated
Algorithm
2 149×egg-herbie
Stop Event
2 795×iter limit
1 441×node limit
733×saturated
Counts
72 754 → 71 565

sample5.8min (18.8%)

Memory
946.4MiB live, 335 694.7MiB allocated
Samples
3.4min2 147 013×0valid
24.0s67 504×1valid
10.8s64 358×0invalid
1.6s5 736×2valid
1.0s1 249×5exit
682.0ms1 790×1invalid
253.0ms611×3valid
216.0ms395×4exit
3.0ms24×1exit
Precisions
Click to see histograms. Total time spent on operations: 2.5min
ival-mult: 49.4s (32.4% of total)
ival-sub: 21.4s (14% of total)
ival-add: 21.0s (13.7% of total)
ival-div: 20.3s (13.3% of total)
ival-log: 9.1s (6% of total)
ival-sqrt: 6.1s (4% of total)
const: 5.8s (3.8% of total)
ival-sin: 4.4s (2.9% of total)
ival-cos: 3.7s (2.4% of total)
adjust: 3.3s (2.1% of total)
ival-exp: 2.0s (1.3% of total)
ival-true: 1.7s (1.1% of total)
exact: 1.1s (0.7% of total)
ival-assert: 942.0ms (0.6% of total)
ival-tan: 620.0ms (0.4% of total)
ival-acos: 570.0ms (0.4% of total)
ival-cosh: 487.0ms (0.3% of total)
ival-fabs: 250.0ms (0.2% of total)
ival-hypot: 241.0ms (0.2% of total)
ival-sinh: 187.0ms (0.1% of total)
ival-tanh: 77.0ms (0.1% of total)
Bogosity

soundness5.1min (16.5%)

Memory
-52.5MiB live, 145 360.3MiB allocated
Stop Event
1 471×iter limit
998×node limit
144×fuel
125×done
26×saturated
3×unsound
Compiler

Compiled 224 389 to 90 818 computations (59.5% saved)

rewrite4.1min (13.2%)

Memory
-340.2MiB live, 202 981.8MiB allocated
Stop Event
1 926×iter limit
912×node limit
23×saturated
20×unsound
Counts
11 447 → 477 835

regimes1.9min (6.1%)

Memory
-452.1MiB live, 95 507.1MiB allocated
Counts
37 213 → 4 865
Calls

511 calls:

16.4s
x
13.3s
z
12.8s
y
8.1s
i
7.3s
(*.f64 (*.f64 y #s(literal 9 binary64)) z)
Compiler

Compiled 39 401 to 59 069 computations (-49.9% saved)

eval1.9min (6%)

Memory
23.9MiB live, 121 110.9MiB allocated
Compiler

Compiled 17 733 736 to 1 844 017 computations (89.6% saved)

localize1.8min (5.8%)

Memory
-770.2MiB live, 107 175.7MiB allocated
Samples
59.4s220 916×0valid
12.0s11 079×1valid
4.0s2 775×2valid
2.6s4 139×0invalid
660.0ms875×0exit
576.0ms330×3valid
535.0ms486×2exit
37.0ms21×5exit
9.0ms9×3exit
8.0ms8×4valid
1.0ms2×1exit
Compiler

Compiled 305 905 to 48 303 computations (84.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 54.4s
ival-mult: 18.5s (34% of total)
ival-div: 8.7s (16% of total)
ival-add: 7.8s (14.4% of total)
ival-sub: 4.4s (8% of total)
ival-log: 3.0s (5.6% of total)
const: 2.9s (5.4% of total)
adjust: 2.0s (3.6% of total)
ival-neg: 1.2s (2.2% of total)
ival-sqrt: 1.1s (2% of total)
ival-pow: 1.1s (2% of total)
ival-cos: 893.0ms (1.6% of total)
ival-sin: 753.0ms (1.4% of total)
ival-exp: 695.0ms (1.3% of total)
ival-pow2: 302.0ms (0.6% of total)
exact: 234.0ms (0.4% of total)
ival-true: 199.0ms (0.4% of total)
ival-assert: 110.0ms (0.2% of total)
ival-tan: 105.0ms (0.2% of total)
ival-acos: 94.0ms (0.2% of total)
ival-log1p: 85.0ms (0.2% of total)
ival-hypot: 71.0ms (0.1% of total)
ival-expm1: 39.0ms (0.1% of total)
ival-cosh: 38.0ms (0.1% of total)
ival-sinh: 34.0ms (0.1% of total)
ival-fabs: 34.0ms (0.1% of total)
ival-tanh: 16.0ms (0% of total)
ival-asin: 2.0ms (0% of total)
ival-pi: 1.0ms (0% of total)

preprocess1.3min (4.1%)

Memory
972.2MiB live, 56 176.6MiB allocated
Algorithm
269×egg-herbie
Stop Event
538×iter limit
392×saturated
146×node limit
Compiler

Compiled 330 076 to 61 272 computations (81.4% saved)

series51.6s (2.8%)

Memory
450.0MiB live, 56 173.8MiB allocated
Counts
11 447 → 72 754
Calls

8943 calls:

TimeVariablePointExpression
356.0ms
z
@inf
((+ (* (* (* z y) t) -9) (+ (* a (* 27 b)) (* x 2))) (* (* z y) t) (* z y) (+ (* a (* 27 b)) (* x 2)) (+ (* (neg y) (* (* t z) 9)) (+ (* (* b 27) a) (* 2 x))) (* 2 x) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (+ (* (* 27 b) a) (* x 2)) (* 27 b) (* x 2) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (+ (* y (* -9 (* z t))) (* (* a 27) b)) (* -9 (* z t)) (* z t) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (+ (* (* z t) (* -9 y)) (* (* a 27) b)) (* -9 y) (* (* a 27) b))
308.0ms
z
@-inf
((* (pow z -1) (* -1/2 t)) (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))) (* (* x y) z) (* x y) (* (/ x (sqrt (- (* z z) (* t a)))) (* y z)) (/ x (sqrt (- (* z z) (* t a)))) (sqrt (- (* z z) (* t a))) (neg z) (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))) (sqrt (- (* z z) (* t a))) (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))) (sqrt (- (* z z) (* t a))) (/ 1 (/ (sqrt (- (* z z) (* t a))) (* (* z x) y))) (/ (sqrt (- (* z z) (* t a))) (* (* z x) y)) (sqrt (- (* z z) (* t a))) (- (* z z) (* t a)) (sqrt (- (* z z) (* t a))) (+ (* a (* (pow z -1) (* -1/2 t))) z) (- (* z z) (* t a)) (+ (* (* -1/2 t) (/ a z)) z) (* (* (/ a z) -1/2) t) (* (* z x) y))
289.0ms
x
@0
((* (neg x) (log (/ y x))) (neg x) (log (/ y x)) (/ y x) (* x (* 2 (log (sqrt (/ x y))))) (* 2 (log (sqrt (/ x y)))) (log (sqrt (/ x y))) (sqrt (/ x y)) (+ (* (neg (log y)) x) (* (log x) x)) (neg (log y)) (log y) (* (log x) x) (* x (+ (* (log y) -1/2) (log (* (pow y -1/2) x)))) (+ (* (log y) -1/2) (log (* (pow y -1/2) x))) (log (* (pow y -1/2) x)) (/ (* (* (log (* y x)) (log (/ y x))) x) (neg (log (* y x)))) (* (* (log (* y x)) (log (/ y x))) x) (* (log (* y x)) (log (/ y x))) (log (* y x)) (log x) (* (pow y -1/2) x))
262.0ms
x
@0
((* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))))) (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) (* (- (log z) t) y) (- (log z) t) (* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))))) (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) (pow (/ z (exp t)) y) (* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))))) (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) (pow (/ z (exp t)) y) (pow z y) (* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))))) (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))) (+ (* (neg b) a) (* (- (log z) t) y)) (* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))))) (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))) (* (- (log (+ 1 (neg z))) b) a) (exp (* (- (log z) t) y)) (* (neg a) (+ z b)))
251.0ms
x
@-inf
((/ (* z t) 3) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (- y (/ (* z t) 3)) (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (cos (- y (/ (* z t) 3))) (/ a (* b 3)))

prune45.7s (2.5%)

Memory
-1 467.9MiB live, 51 465.4MiB allocated
Counts
509 393 → 13 439
Compiler

Compiled 820 219 to 455 135 computations (44.5% saved)

explain40.6s (2.2%)

Memory
-1 087.5MiB live, 47 050.9MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity16011
/.f64#fo/n12390
sqrt.f64#foflow-rescue7750
-.f64#fcancellation5908
/.f64#fo/o5660
*.f64#fn*o5210
+.f64#fnan-rescue5170
-.f64#fnan-rescue5070
cos.f64#fsensitivity3620
/.f64#fn/o3560
+.f64#fcancellation3043
/.f64#fu/n2800
sin.f64#fsensitivity2381
*.f64#fn*u1730
cos.f64#foflow-rescue1410
/.f64#fn/u1200
log.f64#foflow-rescue970
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity950
/.f64#fu/u890
log.f64#fuflow-rescue670
sqrt.f64#fuflow-rescue520
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue390
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow39
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue390
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow39
exp.f64#fsensitivity343
*.f64#fo*u250
*.f64(*.f64 (*.f64 (-.f64 (*.f64 x #s(literal 1/2 binary64)) y) (sqrt.f64 (*.f64 z #s(literal 2 binary64)))) (exp.f64 (/.f64 (*.f64 t t) #s(literal 2 binary64))))u*o10
↳(*.f64 (-.f64 (*.f64 x #s(literal 1/2 binary64)) y) (sqrt.f64 (*.f64 z #s(literal 2 binary64))))underflow5
↳(exp.f64 (/.f64 (*.f64 t t) #s(literal 2 binary64)))overflow124
↳(/.f64 (*.f64 t t) #s(literal 2 binary64))overflow66
↳(*.f64 t t)overflow67
Confusion
Predicted +Predicted -
+6147205
-174060772
Precision
0.7793837961201978
Recall
0.9677267002518891
Confusion?
Predicted +Predicted MaybePredicted -
+61472203
-17401760755
Precision?
0.7777637237541108
Recall?
0.9680415617128464
Freqs
test
numberfreq
060977
17049
2763
351
421
52
61
Total Confusion?
Predicted +Predicted MaybePredicted -
+13800
-23126
Precision?
0.965034965034965
Recall?
1.0
Samples
12.3s130 436×0valid
2.0s5 990×1valid
754.0ms1 192×2valid
33.0ms108×3valid
1.0ms2×5exit
Compiler

Compiled 34 663 to 10 844 computations (68.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.9s
ival-mult: 2.8s (31.5% of total)
ival-sub: 1.4s (15.7% of total)
ival-add: 1.3s (14.2% of total)
ival-div: 894.0ms (10.1% of total)
ival-log: 826.0ms (9.3% of total)
adjust: 302.0ms (3.4% of total)
ival-sqrt: 286.0ms (3.2% of total)
const: 281.0ms (3.2% of total)
ival-sin: 213.0ms (2.4% of total)
ival-cos: 184.0ms (2.1% of total)
ival-true: 121.0ms (1.4% of total)
ival-exp: 98.0ms (1.1% of total)
exact: 66.0ms (0.7% of total)
ival-assert: 61.0ms (0.7% of total)
ival-tan: 20.0ms (0.2% of total)
ival-sinh: 19.0ms (0.2% of total)
ival-cosh: 11.0ms (0.1% of total)
ival-fabs: 11.0ms (0.1% of total)
ival-hypot: 9.0ms (0.1% of total)
ival-tanh: 7.0ms (0.1% of total)
ival-acos: 4.0ms (0% of total)

bsearch38.3s (2.1%)

Memory
81.5MiB live, 37 122.3MiB allocated
Algorithm
1 617×binary-search
1 133×left-value
Stop Event
1 578×narrow-enough
39×predicate-same
Samples
22.7s134 870×0valid
1.0s3 087×1valid
194.0ms2 394×0invalid
56.0ms114×2valid
9.0ms34×1invalid
3.0ms9×3valid
Compiler

Compiled 1 003 655 to 708 080 computations (29.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.4s
ival-mult: 6.9s (42.3% of total)
ival-sub: 3.5s (21.3% of total)
ival-add: 1.9s (11.6% of total)
ival-div: 1.5s (9% of total)
const: 703.0ms (4.3% of total)
ival-log: 614.0ms (3.7% of total)
ival-sin: 325.0ms (2% of total)
ival-cos: 252.0ms (1.5% of total)
ival-sqrt: 195.0ms (1.2% of total)
ival-exp: 141.0ms (0.9% of total)
adjust: 138.0ms (0.8% of total)
ival-true: 107.0ms (0.7% of total)
ival-assert: 58.0ms (0.4% of total)
exact: 52.0ms (0.3% of total)
ival-tanh: 4.0ms (0% of total)
ival-cosh: 4.0ms (0% of total)
ival-sinh: 3.0ms (0% of total)
ival-fabs: 1.0ms (0% of total)

analyze19.1s (1%)

Memory
-86.6MiB live, 20 399.9MiB 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)

start7.0ms (0%)

Memory
15.8MiB live, 15.3MiB allocated

end2.0ms (0%)

Memory
4.5MiB live, 4.1MiB allocated

Profiling

Loading profile data...