Herbie run

Date:Wednesday, January 22nd, 2025
Commit:68e0d036 on no-localize
Seed:2025022
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:1 510 137.9 MB

Time bar (total: 21.3min)

sample6.7min (31.3%)

Memory
4 267.5MiB live, 480 565.3MiB allocated; 2.6min collecting garbage
Samples
3.8min2 144 465×0valid
28.5s69 818×1valid
10.2s63 848×0invalid
3.0s5 951×2valid
1.5s1 542×5exit
482.0ms1 829×1invalid
264.0ms630×3valid
Precisions
Click to see histograms. Total time spent on operations: 2.9min
ival-mult: 59.0s (34% of total)
ival-add: 22.9s (13.2% of total)
ival-div: 22.1s (12.8% of total)
ival-sub: 20.8s (12% of total)
ival-log: 11.1s (6.4% of total)
adjust: 10.1s (5.8% of total)
const: 6.4s (3.7% of total)
ival-sqrt: 5.9s (3.4% of total)
ival-sin: 4.3s (2.5% of total)
ival-cos: 3.5s (2% of total)
ival-exp: 2.0s (1.1% of total)
ival-true: 1.6s (0.9% of total)
exact: 1.1s (0.6% of total)
ival-assert: 880.0ms (0.5% of total)
ival-acos: 351.0ms (0.2% of total)
ival-cosh: 295.0ms (0.2% of total)
ival-tan: 241.0ms (0.1% of total)
ival-fabs: 236.0ms (0.1% of total)
ival-sinh: 228.0ms (0.1% of total)
ival-hypot: 165.0ms (0.1% of total)
ival-tanh: 100.0ms (0.1% of total)
Bogosity

simplify3.4min (15.9%)

Memory
3 305.6MiB live, 230 306.1MiB allocated; 50.6s collecting garbage
Stop Event
1 126×node limit
970×iter limit
79×saturated
3×unsound
Counts
108 738 → 108 738

rewrite2.2min (10.2%)

Memory
84.2MiB live, 144 877.5MiB allocated; 37.6s collecting garbage
Stop Event
2 731×iter limit
747×node limit
185×unsound
10×saturated
Counts
18 585 → 212 025

derivations1.7min (8.2%)

Memory
-1 530.3MiB live, 84 852.5MiB allocated; 21.1s collecting garbage
Stop Event
164×fuel
105×done
Compiler

Compiled 157 520 to 19 825 computations (87.4% saved)

regimes1.5min (6.9%)

Memory
-401.0MiB live, 112 419.2MiB allocated; 27.9s collecting garbage
Counts
39 564 → 5 205
Calls

511 calls:

13.4s
y
12.0s
z
11.5s
x
4.7s
t
2.8s
a
Compiler

Compiled 38 180 to 58 414 computations (-53% saved)

eval1.2min (5.8%)

Memory
917.9MiB live, 96 717.6MiB allocated; 31.9s collecting garbage
Compiler

Compiled 13 843 419 to 1 306 720 computations (90.6% saved)

preprocess1.1min (5.2%)

Memory
4 597.8MiB live, 78 444.0MiB allocated; 16.0s collecting garbage
Stop Event
538×iter limit
341×node limit
197×saturated
Compiler

Compiled 352 500 to 63 598 computations (82% saved)

series1.1min (5.1%)

Memory
-123.9MiB live, 82 915.1MiB allocated; 26.0s collecting garbage
Counts
18 585 → 108 738
Calls

9003 calls:

TimeVariablePointExpression
4.3s
x
@0
((* x (* (log (* y x)) (/ (log (/ x y)) (log (* y x))))) x (* (log (* y x)) (/ (log (/ x y)) (log (* y x)))) (log (* y x)) (* y x) y (/ (log (/ x y)) (log (* y x))) (log (/ x y)) (/ x y) (* x (- (log x) (log y))) (- (log x) (log y)) (log x) (log y) (* (- (pow (log x) 2) (pow (log y) 2)) (/ x (log (* y x)))) (- (pow (log x) 2) (pow (log y) 2)) (pow (log x) 2) 2 (pow (log y) 2) (/ x (log (* y x))) (/ (* (- (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)) x) (- (pow (log x) 3) (pow (log y) 3)) (pow (log x) 3) 3 (pow (log y) 3) (+ (* (log (* y x)) (log y)) (pow (log x) 2)) (* x (/ (- (pow (log x) 6) (pow (log y) 6)) (* (+ (pow (log y) 3) (pow (log x) 3)) (+ (* (log (* y x)) (log y)) (pow (log x) 2))))) (/ (- (pow (log x) 6) (pow (log y) 6)) (* (+ (pow (log y) 3) (pow (log x) 3)) (+ (* (log (* y x)) (log y)) (pow (log x) 2)))) (- (pow (log x) 6) (pow (log y) 6)) (pow (log x) 6) 6 (pow (log y) 6) (* (+ (pow (log y) 3) (pow (log x) 3)) (+ (* (log (* y x)) (log y)) (pow (log x) 2))) (+ (pow (log y) 3) (pow (log x) 3)))
2.7s
z
@-inf
((+ (* (+ (* x y) z) y) t) (/ (* (- (pow (* x y) 2) (* z z)) y) (- (* x y) z)) (* (- (pow (* x y) 2) (* z z)) y) (- (pow (* x y) 2) (* z z)) (pow (* x y) 2) (* x y) x y 2 (* z z) z (- (* x y) z) (+ (* (+ (* y x) z) y) t) (* (* x y) y) (+ (* (+ (* (pow (* y x) 3/2) (/ (pow (* y x) 3/2) (+ (* (- z (* y x)) z) (pow (* y x) 2)))) (/ (pow z 3) (+ (* (- z (* y x)) z) (pow (* y x) 2)))) y) t) (* (+ (* (pow (* y x) 3/2) (/ (pow (* y x) 3/2) (+ (* (- z (* y x)) z) (pow (* y x) 2)))) (/ (pow z 3) (+ (* (- z (* y x)) z) (pow (* y x) 2)))) y) (+ (* (pow (* y x) 3/2) (/ (pow (* y x) 3/2) (+ (* (- z (* y x)) z) (pow (* y x) 2)))) (/ (pow z 3) (+ (* (- z (* y x)) z) (pow (* y x) 2)))) (* (+ (* x (/ y z)) 1) z) (+ (* x (/ y z)) 1) (/ y z) 1 t (+ (* (* y y) x) (+ (* z y) t)) (* y y) (+ (* z y) t))
1.7s
x
@0
((+ (- (- (* x (log y)) y) z) (log t)) (- (- (* x (log y)) y) z) (- (* x (log y)) y) (* x (log y)) x (log y) y z (log t) t)
442.0ms
t
@-inf
((+ (* (/ (- y x) (- a t)) (- z t)) x) (/ (- y x) (- a t)) (- y x) y x (- a t) a t (- z t) z (+ x (/ (* (- y x) (- z t)) (- a t))) (+ x (/ (* (- y x) (- z t)) (- a t))) (/ (* (- y x) (- z t)) (- a t)) (/ (* (- y x) z) a) (* (- y x) z) (+ x (/ (* (- y x) (- z t)) (- a t))) (/ (* (- y x) (- z t)) (- a t)) (* (- y x) (- z t)) (- y x) (neg x) (+ x (/ (* (- y x) (- z t)) (- a t))) (- y (/ (+ (* (* (/ (- y x) t) (- z a)) a) (* (- z a) (- y x))) t)) (/ (+ (* (* (/ (- y x) t) (- z a)) a) (* (- z a) (- y x))) t) (+ (* (* (/ (- y x) t) (- z a)) a) (* (- z a) (- y x))) (* (/ (- y x) t) (- z a)) (/ (- y x) t) (- z a) (* (- z a) (- y x)))
375.0ms
x
@inf
((* (* (log (/ x y)) (log (* y x))) (/ x (log (* y x)))) (* (log (/ x y)) (log (* y x))) (log (/ x y)) (/ x y) x y (log (* y x)) (* y x) (/ x (log (* y x))) (log (pow (/ x y) x)) (pow (/ x y) x) 1 (* x (* (log (* y x)) (/ (log (/ x y)) (+ (log y) (log x))))) (* (log (* y x)) (/ (log (/ x y)) (+ (log y) (log x)))) (/ (log (/ x y)) (+ (log y) (log x))) (+ (log y) (log x)) (log y) (log x) (* x (* (log (* y x)) (/ (log (/ x y)) (log (* y x))))) (* (log (* y x)) (/ (log (/ x y)) (log (* y x)))) (/ (log (/ x y)) (log (* y x))) (/ (+ (log (neg x)) (neg (log (neg y)))) (- (log (neg x)) (log (/ -1 y)))) (+ (log (neg x)) (neg (log (neg y)))) (log (neg x)) (neg x) (neg (log (neg y))) (log (neg y)) (neg y) (- (log (neg x)) (log (/ -1 y))) (log (/ -1 y)) (/ -1 y) -1 (* (- (pow (log x) 2) (pow (log y) 2)) (/ x (+ (* (pow (log y) 1/2) (pow (log y) 1/2)) (log x)))) (- (pow (log x) 2) (pow (log y) 2)) (pow (log x) 2) 2 (pow (log y) 2) (/ x (+ (* (pow (log y) 1/2) (pow (log y) 1/2)) (log x))) (+ (* (pow (log y) 1/2) (pow (log y) 1/2)) (log x)) (pow (log y) 1/2) 1/2)

explain43.7s (3.4%)

Memory
-517.2MiB live, 63 283.4MiB allocated; 12.0s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15624
/.f64#fo/n11900
sqrt.f64#foflow-rescue8070
-.f64#fcancellation5797
/.f64#fo/o5690
*.f64#fn*o5080
-.f64#fnan-rescue4730
+.f64#fnan-rescue4660
cos.f64#fsensitivity3641
/.f64#fn/o3300
+.f64#fcancellation3221
/.f64#fu/n2370
sin.f64#fsensitivity2270
*.f64#fn*u2040
/.f64#fn/u1600
cos.f64#foflow-rescue1280
/.f64#fu/u860
log.f64#fuflow-rescue850
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity850
log.f64#foflow-rescue760
sqrt.f64#fuflow-rescue450
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue380
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow38
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue380
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow38
exp.f64#fsensitivity263
*.f64#fo*u240
*.f64#fu*o20
Confusion
Predicted +Predicted -
+6028180
-169960957
Precision
0.7801216513524006
Recall
0.9710051546391752
Confusion?
Predicted +Predicted MaybePredicted -
+60283177
-16991560942
Precision?
0.7786959328599096
Recall?
0.9714884020618557
Freqs
test
numberfreq
061137
16929
2714
365
416
53
Total Confusion?
Predicted +Predicted MaybePredicted -
+13700
-11130
Precision?
0.9856115107913669
Recall?
1.0
Samples
13.9s130 390×0valid
2.5s6 002×1valid
745.0ms1 260×2valid
30.0ms72×3valid
1.0ms2×4valid
1.0ms2×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 9.8s
ival-mult: 3.1s (31.6% of total)
ival-sub: 1.3s (13.4% of total)
ival-div: 1.2s (12% of total)
ival-add: 1.1s (11.6% of total)
ival-log: 933.0ms (9.5% of total)
adjust: 517.0ms (5.3% of total)
const: 357.0ms (3.7% of total)
ival-sin: 347.0ms (3.6% of total)
ival-cos: 265.0ms (2.7% of total)
ival-sqrt: 157.0ms (1.6% of total)
ival-exp: 127.0ms (1.3% of total)
ival-true: 114.0ms (1.2% of total)
exact: 66.0ms (0.7% of total)
ival-assert: 55.0ms (0.6% of total)
ival-fabs: 38.0ms (0.4% of total)
ival-tan: 34.0ms (0.3% of total)
ival-cosh: 20.0ms (0.2% of total)
ival-sinh: 20.0ms (0.2% of total)
ival-hypot: 9.0ms (0.1% of total)
ival-tanh: 6.0ms (0.1% of total)
ival-acos: 5.0ms (0.1% of total)

bsearch39.1s (3.1%)

Memory
985.7MiB live, 53 247.6MiB allocated; 10.5s collecting garbage
Algorithm
1 911×binary-search
1 128×left-value
Stop Event
1 878×narrow-enough
33×predicate-same
Samples
21.6s151 019×0valid
1.3s4 250×1valid
278.0ms3 056×0invalid
48.0ms154×2valid
31.0ms17×3valid
31.0ms88×1invalid
Compiler

Compiled 1 101 469 to 784 356 computations (28.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.2s
ival-mult: 6.8s (44.5% of total)
ival-sub: 3.0s (19.4% of total)
ival-add: 1.7s (11.4% of total)
ival-div: 996.0ms (6.5% of total)
const: 659.0ms (4.3% of total)
ival-log: 556.0ms (3.6% of total)
ival-sin: 368.0ms (2.4% of total)
adjust: 310.0ms (2% of total)
ival-cos: 308.0ms (2% of total)
ival-sqrt: 154.0ms (1% of total)
ival-exp: 116.0ms (0.8% of total)
ival-true: 114.0ms (0.7% of total)
exact: 67.0ms (0.4% of total)
ival-assert: 63.0ms (0.4% of total)
ival-cosh: 13.0ms (0.1% of total)
ival-sinh: 11.0ms (0.1% of total)
ival-fabs: 9.0ms (0.1% of total)
ival-tanh: 8.0ms (0.1% of total)

prune36.3s (2.8%)

Memory
-2 213.9MiB live, 53 428.3MiB allocated; 12.9s collecting garbage
Counts
338 787 → 13 215
Compiler

Compiled 839 280 to 453 389 computations (46% saved)

analyze24.1s (1.9%)

Memory
365.6MiB live, 29 051.0MiB allocated; 9.8s 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)

start10.0ms (0%)

Memory
26.6MiB live, 24.1MiB allocated; 0ms collecting garbage

end2.0ms (0%)

Memory
6.5MiB live, 6.3MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...