Herbie run

Date:Wednesday, January 15th, 2025
Commit:d270acbc on main
Seed:2025015
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
Memory:1 615 150.0 MB

Time bar (total: 24.6min)

sample6.6min (26.9%)

Memory
3 950.6MiB live, 448 275.0MiB allocated; 2.4min collecting garbage
Samples
3.8min2 144 715×0valid
25.2s69 517×1valid
10.9s64 308×0invalid
4.7s5 938×2valid
1.3s1 547×5exit
621.0ms1 881×1invalid
228.0ms693×3valid
0.0ms1×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.8min
ival-mult: 57.8s (34.9% of total)
ival-sub: 23.1s (13.9% of total)
ival-add: 20.7s (12.5% of total)
ival-div: 20.6s (12.4% of total)
ival-log: 9.2s (5.6% of total)
adjust: 7.2s (4.3% of total)
const: 6.4s (3.9% of total)
ival-sqrt: 5.3s (3.2% of total)
ival-sin: 4.7s (2.8% of total)
ival-cos: 3.2s (1.9% of total)
ival-exp: 1.9s (1.2% of total)
ival-true: 1.6s (1% of total)
exact: 1.1s (0.7% of total)
ival-assert: 876.0ms (0.5% of total)
ival-tan: 381.0ms (0.2% of total)
ival-cosh: 369.0ms (0.2% of total)
ival-fabs: 326.0ms (0.2% of total)
ival-hypot: 307.0ms (0.2% of total)
ival-sinh: 256.0ms (0.2% of total)
ival-acos: 250.0ms (0.2% of total)
ival-tanh: 97.0ms (0.1% of total)
Bogosity

simplify6.0min (24.4%)

Memory
3 599.4MiB live, 353 391.0MiB allocated; 1.6min collecting garbage
Stop Event
2 860×iter limit
1 858×node limit
302×saturated
6×unsound
Counts
73 406 → 72 237

rewrite2.1min (8.3%)

Memory
-149.6MiB live, 133 252.5MiB allocated; 27.9s collecting garbage
Stop Event
2 741×iter limit
750×node limit
185×unsound
13×saturated
Counts
11 620 → 194 559

localize1.8min (7.3%)

Memory
-384.0MiB live, 133 373.3MiB allocated; 26.1s collecting garbage
Samples
59.4s221 213×0valid
11.5s11 582×1valid
6.9s3 296×2valid
2.1s4 191×0invalid
1.3s554×5exit
551.0ms291×3valid
116.0ms275×0exit
6.0ms6×4valid
Compiler

Compiled 145 950 to 23 187 computations (84.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 55.5s
ival-mult: 18.8s (33.9% of total)
ival-div: 7.9s (14.3% of total)
ival-add: 7.4s (13.3% of total)
ival-sub: 4.1s (7.4% of total)
adjust: 3.7s (6.7% of total)
const: 3.0s (5.3% of total)
ival-sin: 2.7s (4.8% of total)
ival-log: 1.8s (3.2% of total)
ival-pow: 1.3s (2.3% of total)
ival-cos: 1.2s (2.1% of total)
ival-neg: 1.1s (2% of total)
ival-sqrt: 789.0ms (1.4% of total)
ival-pow2: 419.0ms (0.8% of total)
ival-exp: 256.0ms (0.5% of total)
exact: 234.0ms (0.4% of total)
ival-true: 183.0ms (0.3% of total)
ival-tan: 134.0ms (0.2% of total)
ival-hypot: 103.0ms (0.2% of total)
ival-assert: 99.0ms (0.2% of total)
ival-log1p: 75.0ms (0.1% of total)
ival-fabs: 49.0ms (0.1% of total)
ival-tanh: 44.0ms (0.1% of total)
ival-sinu: 38.0ms (0.1% of total)
ival-cosh: 25.0ms (0% of total)
ival-expm1: 25.0ms (0% of total)
ival-pi: 22.0ms (0% of total)
ival-sinh: 21.0ms (0% of total)
ival-acos: 19.0ms (0% of total)
ival-cosu: 10.0ms (0% of total)
ival-asin: 7.0ms (0% of total)
ival->: 1.0ms (0% of total)
ival-then: 0.0ms (0% of total)

derivations1.6min (6.5%)

Memory
-1 947.2MiB live, 77 151.4MiB allocated; 16.0s collecting garbage
Stop Event
157×fuel
112×done
Compiler

Compiled 143 568 to 19 235 computations (86.6% saved)

regimes1.3min (5.2%)

Memory
-621.5MiB live, 92 152.8MiB allocated; 22.2s collecting garbage
Counts
33 490 → 4 708
Calls

509 calls:

12.7s
x
9.6s
y
7.5s
z
4.3s
t
3.3s
a
Compiler

Compiled 38 366 to 58 018 computations (-51.2% saved)

preprocess1.1min (4.5%)

Memory
4 797.2MiB live, 74 317.1MiB allocated; 13.9s collecting garbage
Stop Event
538×iter limit
341×node limit
197×saturated
Compiler

Compiled 321 522 to 60 626 computations (81.1% saved)

eval55.1s (3.7%)

Memory
-336.6MiB live, 72 312.8MiB allocated; 18.9s collecting garbage
Compiler

Compiled 10 979 100 to 1 063 782 computations (90.3% saved)

series50.3s (3.4%)

Memory
1 556.2MiB live, 65 335.2MiB allocated; 14.3s collecting garbage
Counts
11 620 → 73 406
Calls

9033 calls:

TimeVariablePointExpression
1.6s
t
@0
((+ (* (* (* (/ x (+ (* x (log y)) y)) x) (log y)) (log y)) (- (* (/ y (+ (* x (log y)) y)) (neg y)) (- z (log t)))) (- (* (/ y (+ (* x (log y)) y)) (neg y)) (- z (log t))) (* (* (/ x (+ (* x (log y)) y)) x) (log y)) (* (/ x (+ (* x (log y)) y)) x) (+ (- (- (* x (log y)) y) z) (log t)) (* (- (/ (- (+ (* (log y) x) (log t)) y) z) 1) z) (- (/ (- (+ (* (log y) x) (log t)) y) z) 1) (/ (neg y) z) (+ (- (- (* x (log y)) y) z) (log t)) (- (log (* (pow y x) t)) z) (log (* (pow y x) t)) (* (pow y x) t) (- (* (/ x y) (log y)) 1) (+ (- (- (* x (log y)) y) z) (log t)) (- (- (* x (log y)) y) z) (- (* x (log y)) y) (/ (+ (* (neg y) y) (* (* (pow (log y) 2) x) x)) (+ (* (log y) x) y)) (+ (- (+ (* (pow (log y) 2) (/ (* x x) (+ (* (log y) x) y))) (/ (* (neg y) y) (+ (* (log y) x) y))) z) (log t)) (- (+ (* (pow (log y) 2) (/ (* x x) (+ (* (log y) x) y))) (/ (* (neg y) y) (+ (* (log y) x) y))) z) (+ (* (neg y) y) (* (* (pow (log y) 2) x) x)) (/ y (+ (* x (log y)) y)) (+ (* x (log y)) y) (neg y) (* (/ x y) (log y)) (* (- (* (/ x y) (log y)) 1) y) (pow (log y) 2) (* (pow (log y) 2) x))
304.0ms
x
@0
((* (log (* y x)) (/ (log (/ x y)) (log (* y x)))) (* x (* (log (* y x)) (/ (log (/ x y)) (log (* y x))))) (log (* y x)) (* y x) (- (log x) (log y)) (* x (- (log x) (log y))) (log x) (log y) (exp (log x)) (exp (log y)) (* x (log (/ (exp (log x)) (exp (log y))))) (log (/ (exp (log x)) (exp (log y)))) (* x (/ (- (pow (log x) 3) (pow (log y) 3)) (+ (* (log (* y x)) (log y)) (pow (log x) 2)))) (/ (- (pow (log x) 3) (pow (log y) 3)) (+ (* (log (* y x)) (log y)) (pow (log x) 2))) (- (pow (log x) 3) (pow (log y) 3)) (pow (log x) 3) (* (neg x) (neg y)) (/ (* (- (pow (log (neg x)) 3) (pow (log (neg y)) 3)) x) (+ (* (log (neg y)) (log (* (neg x) (neg y)))) (pow (log (neg x)) 2))) (* (- (pow (log (neg x)) 3) (pow (log (neg y)) 3)) x) (- (pow (log (neg x)) 3) (pow (log (neg y)) 3)) (log (/ x y)) (log (neg x)) (log (neg y)) (log (* (neg x) (neg y))) (neg x))
215.0ms
x
@0
((+ (+ (+ (+ (+ (* 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)) (+ (+ (* x (log y)) z) t))
183.0ms
x
@0
((/ (* (* (log (* (neg x) (neg y))) (log (/ x y))) x) (log (* (neg x) (neg y)))) (* (neg x) (neg y)) (* (* (log (* (neg x) (neg y))) (log (/ x y))) x) (* (log (* (neg x) (neg y))) (log (/ x y))) (* (/ x 2) (log (pow (/ x y) 2))) (/ x 2) (log (pow (/ x y) 2)) (pow (/ x y) 2) (* (* x (/ (- (log (neg x)) (log (neg y))) (log (* x y)))) (log (* x y))) (* x (/ (- (log (neg x)) (log (neg y))) (log (* x y)))) (/ (- (log (neg x)) (log (neg y))) (log (* x y))) (- (log (neg x)) (log (neg y))) (* (- (pow (log x) 3) (pow (log y) 3)) (/ x (+ (* (log (* y x)) (log y)) (pow (log x) 2)))) (- (pow (log x) 3) (pow (log y) 3)) (pow (log x) 3) (log x) (* (+ (* (log (* (neg y) (neg x))) (log (neg y))) (pow (log (neg x)) 2)) (* (log (/ x y)) (/ x (+ (* (log (* (neg y) (neg x))) (log (neg y))) (pow (log (neg x)) 2))))) (* (neg y) (neg x)) (+ (* (log (* (neg y) (neg x))) (log (neg y))) (pow (log (neg x)) 2)) (log (* (neg y) (neg x))) (log (* (neg x) (neg y))) (log (/ x y)) (neg x) (neg y) (/ x y) (log (neg x)) (log (neg y)) (log (* x y)) (log y) (log (* y x)) (* y x))
166.0ms
z
@-inf
((+ 1 (/ (* 4 (- (+ x (* y 3/4)) z)) y)) (/ (* 4 (- (+ x (* y 3/4)) z)) y) (+ x (* y 3/4)) (* 4 (- (+ x (* y 3/4)) z)) (- (+ x (* y 3/4)) z))

explain49.4s (3.3%)

Memory
-1 364.9MiB live, 58 861.2MiB allocated; 17.3s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15871
/.f64#fo/n11990
sqrt.f64#foflow-rescue7720
-.f64#fcancellation61211
/.f64#fo/o6060
*.f64#fn*o5270
-.f64#fnan-rescue4470
+.f64#fnan-rescue4300
cos.f64#fsensitivity3610
/.f64#fn/o3470
+.f64#fcancellation3323
/.f64#fu/n2650
sin.f64#fsensitivity2160
*.f64#fn*u2030
cos.f64#foflow-rescue1410
/.f64#fn/u1240
log.f64#foflow-rescue1020
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity910
/.f64#fu/u900
log.f64#fuflow-rescue770
sqrt.f64#fuflow-rescue650
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue420
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow42
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue420
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow42
*.f64#fo*u350
exp.f64#fsensitivity284
*.f64#fu*o30
Confusion
Predicted +Predicted -
+6093170
-175560846
Precision
0.7763761467889908
Recall
0.9728564585661823
Confusion?
Predicted +Predicted MaybePredicted -
+60932168
-17551760829
Precision?
0.7747553069785179
Recall?
0.9731757943477567
Freqs
test
numberfreq
061016
17055
2714
360
415
53
61
Total Confusion?
Predicted +Predicted MaybePredicted -
+13400
-12132
Precision?
0.9781021897810219
Recall?
1.0
Samples
16.9s130 290×0valid
3.0s6 036×1valid
888.0ms1 312×2valid
31.0ms88×3valid
1.0ms2×5exit
Compiler

Compiled 24 442 to 8 402 computations (65.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.6s
ival-mult: 3.6s (33.5% of total)
ival-add: 1.7s (16.5% of total)
ival-sub: 1.2s (11% of total)
ival-div: 1.2s (11% of total)
ival-log: 768.0ms (7.2% of total)
adjust: 552.0ms (5.2% of total)
const: 353.0ms (3.3% of total)
ival-cos: 309.0ms (2.9% of total)
ival-sin: 240.0ms (2.3% of total)
ival-sqrt: 239.0ms (2.3% of total)
ival-exp: 145.0ms (1.4% of total)
ival-true: 109.0ms (1% of total)
exact: 63.0ms (0.6% of total)
ival-assert: 54.0ms (0.5% of total)
ival-fabs: 53.0ms (0.5% of total)
ival-sinh: 31.0ms (0.3% of total)
ival-tan: 23.0ms (0.2% of total)
ival-hypot: 16.0ms (0.2% of total)
ival-cosh: 12.0ms (0.1% of total)
ival-tanh: 7.0ms (0.1% of total)
ival-acos: 4.0ms (0% of total)

bsearch34.6s (2.3%)

Memory
648.0MiB live, 39 877.8MiB allocated; 9.6s collecting garbage
Algorithm
1 622×binary-search
1 043×left-value
Stop Event
1 590×narrow-enough
32×predicate-same
Samples
20.0s128 751×0valid
1.1s3 437×1valid
205.0ms1 978×0invalid
35.0ms167×2valid
3.0ms13×3valid
Compiler

Compiled 946 521 to 675 731 computations (28.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.9s
ival-mult: 5.4s (35.9% of total)
ival-add: 3.8s (25.3% of total)
ival-sub: 2.4s (16.1% of total)
ival-div: 795.0ms (5.3% of total)
const: 667.0ms (4.5% of total)
ival-log: 550.0ms (3.7% of total)
ival-sin: 418.0ms (2.8% of total)
adjust: 322.0ms (2.2% of total)
ival-cos: 244.0ms (1.6% of total)
ival-true: 94.0ms (0.6% of total)
ival-exp: 64.0ms (0.4% of total)
ival-sqrt: 62.0ms (0.4% of total)
ival-assert: 52.0ms (0.3% of total)
exact: 51.0ms (0.3% of total)
ival-cosh: 42.0ms (0.3% of total)
ival-sinh: 14.0ms (0.1% of total)
ival-tanh: 8.0ms (0.1% of total)
ival-fabs: 7.0ms (0% of total)

analyze33.7s (2.3%)

Memory
-672.9MiB live, 27 667.9MiB allocated; 20.3s collecting garbage
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)

prune25.8s (1.8%)

Memory
-752.0MiB live, 39 151.1MiB allocated; 6.7s collecting garbage
Counts
264 633 → 12 298
Compiler

Compiled 793 062 to 427 616 computations (46.1% saved)

start27.0ms (0%)

Memory
-27.2MiB live, 25.1MiB allocated; 21ms collecting garbage

end2.0ms (0%)

Memory
6.4MiB live, 5.8MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...