Herbie run

Date:Friday, April 11th, 2025
Commit:1485bc85 on chassis-platforms-cleanup
Seed:2025101
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs
default
Memory:1 042 847.9 MB

Time bar (total: 13.9min)

sample4.6min (33.2%)

Memory
3 339.2MiB live, 337 439.4MiB allocated; 1.7min collecting garbage
Samples
2.5min2 144 567×0valid
22.0s69 685×1valid
8.1s63 956×0invalid
1.3s5 932×2valid
730.0ms1 142×5exit
434.0ms1 803×1invalid
197.0ms679×3valid
173.0ms364×4exit
3.0ms26×1exit
0.0ms1×4valid
Precisions
Click to see histograms. Total time spent on operations: 1.6min
ival-mult!: 32.8s (33.4% of total)
ival-div!: 14.3s (14.5% of total)
ival-sub!: 9.9s (10.1% of total)
ival-add!: 9.7s (9.8% of total)
ival-log: 8.5s (8.6% of total)
ival-sin: 5.1s (5.2% of total)
ival-sqrt: 4.4s (4.5% of total)
adjust: 3.7s (3.8% of total)
ival-cosh: 3.6s (3.6% of total)
ival-cos: 3.0s (3% of total)
ival-exp: 2.1s (2.1% of total)
ival-tan: 304.0ms (0.3% of total)
ival-sinh: 249.0ms (0.3% of total)
ival-fabs: 218.0ms (0.2% of total)
ival-acos: 200.0ms (0.2% of total)
ival-tanh: 149.0ms (0.2% of total)
ival-hypot: 143.0ms (0.1% of total)
const: 0.0ms (0% of total)
Bogosity

rewrite3.1min (22.4%)

Memory
4 957.1MiB live, 205 430.6MiB allocated; 56.3s collecting garbage
Stop Event
2 194×iter-limit
843×node-limit
68×unsound
13×saturated
Counts
124 510 → 229 802

regimes1.0min (7.4%)

Memory
905.2MiB live, 100 828.3MiB allocated; 14.9s collecting garbage
Counts
34 440 → 4 899
Calls

512 calls:

8.7s
y
8.4s
x
6.0s
z
4.0s
t
2.7s
a
Compiler

Compiled 37 111 to 56 297 computations (-51.7% saved)

derivations1.0min (7.3%)

Memory
-981.2MiB live, 59 757.3MiB allocated; 11.1s collecting garbage
Stop Event
147×fuel
122×done
Compiler

Compiled 153 636 to 18 603 computations (87.9% saved)

series51.0s (6.1%)

Memory
3 295.9MiB live, 73 096.1MiB allocated; 16.3s collecting garbage
Counts
18 784 → 105 726
Calls

8865 calls:

TimeVariablePointExpression
2.7s
y
@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) t) a) (+ (+ (* x (log y)) z) t) (+ (* x (log y)) z) (* x (log y)) x (log y) y z t a (* (- b 1/2) (log c)) (- b 1/2) b 1/2 (log c) c (* y i) i)
997.0ms
b
@0
((+ (* (/ (+ t y) (+ (+ y x) t)) a) (/ (+ (* (+ y x) z) (* (neg b) y)) (+ (+ y x) t))) (/ (+ t y) (+ (+ y x) t)) (+ t y) t y (+ (+ y x) t) (+ y x) x a (/ (+ (* (+ y x) z) (* (neg b) y)) (+ (+ y x) t)) (* z (+ (* -1 (/ (* b y) (* z (+ t (+ x y))))) (/ (+ x y) (+ t (+ x y))))) z (+ (* -1 (/ (* b y) (* z (+ t (+ x y))))) (/ (+ x y) (+ t (+ x y)))) -1 (/ (* b y) (* z (+ t (+ x y)))) (* b y) b (* z (+ t (+ x y))) (+ t (+ x y)) (+ x y) (/ (+ x y) (+ t (+ x y))) (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (/ (+ (* a t) (* z x)) (+ t x)) (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (/ (+ (* a t) (* z x)) (+ t x)) (+ z (* t (/ (- a z) x))) (* t (/ (- a z) x)) (/ (- a z) x) (- a z) (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (* (+ t y) a) (* (neg b) y)) (* (neg b) y) (neg b) (+ (+ x t) y) (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (* (+ t y) a) (* (neg b) y)) (* a (+ t (+ y (* -1 (/ (* b y) a))))) (+ t (+ y (* -1 (/ (* b y) a)))) (+ y (* -1 (/ (* b y) a))) (* -1 (/ (* b y) a)) (/ (* b y) a) (+ (+ x t) y) (+ x t))
537.0ms
y
@inf
((* (neg x) (log (/ y x))) (neg x) x (log (/ y x)) (/ y x) y (* x (log (/ 1 (* (/ 1 x) y)))) (log (/ 1 (* (/ 1 x) y))) (/ 1 (* (/ 1 x) y)) 1 (* (/ 1 x) y) (/ 1 x) (+ (* (log x) x) (* (neg x) (log y))) (log x) (* (neg x) (log y)) (log y) (+ (* (neg (log (neg y))) x) (* (log (neg x)) x)) (neg (log (neg y))) (log (neg y)) (neg y) (* (log (neg x)) x) (log (neg x)) (/ (* (+ (pow (log (neg x)) 3) (pow (neg (log (neg y))) 3)) x) (+ (* (log (neg x)) (log (* x y))) (pow (neg (log (neg y))) 2))) (* (+ (pow (log (neg x)) 3) (pow (neg (log (neg y))) 3)) x) (+ (pow (log (neg x)) 3) (pow (neg (log (neg y))) 3)) (pow (log (neg x)) 3) 3 (pow (neg (log (neg y))) 3) (+ (* (log (neg x)) (log (* x y))) (pow (neg (log (neg y))) 2)) (log (* x y)) (* x y) (pow (neg (log (neg y))) 2) 2)
264.0ms
z
@0
((- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (+ (* (neg y) (- z 1)) (* (log y) (- x 1))) (neg y) y (- z 1) z 1 (* (log y) (- x 1)) (log y) (- x 1) x t (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (neg t) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (* (log (- 1 y)) z) (log (- 1 y)) (- 1 y) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- x 1) (* (- 1 (/ 1 x)) x) (- 1 (/ 1 x)) (/ 1 x) (* (- z 1) (log (- 1 y))))
212.0ms
y
@0
((/ (* (* (log (/ x y)) (log (* (/ -1 x) (neg y)))) x) (log (* (/ -1 x) (neg y)))) (* (* (log (/ x y)) (log (* (/ -1 x) (neg y)))) x) (* (log (/ x y)) (log (* (/ -1 x) (neg y)))) (log (/ x y)) (/ x y) x y (log (* (/ -1 x) (neg y))) (* (/ -1 x) (neg y)) (/ -1 x) -1 (neg y) (* x (- (log x) (log y))) (- (log x) (log y)) (log x) (log y) (+ (* (neg (log y)) x) (* (log x) x)) (neg (log y)) (* (log x) x) (/ (* (* (log (* y x)) (log (/ x y))) x) (log (* y x))) (* (* (log (* y x)) (log (/ x y))) x) (* (log (* y x)) (log (/ x y))) (log (* y x)) (* y x) (+ (* (exp (* (log (neg (log (neg y)))) 1)) x) (* (log (neg x)) x)) (exp (* (log (neg (log (neg y)))) 1)) (* (log (neg (log (neg y)))) 1) (log (neg (log (neg y)))) (neg (log (neg y))) (log (neg y)) 1 (* (log (neg x)) x) (log (neg x)) (neg x))

preprocess46.4s (5.6%)

Memory
-2 182.8MiB live, 65 779.0MiB allocated; 14.1s collecting garbage
Stop Event
174×node-limit
95×saturated
Compiler

Compiled 490 468 to 128 998 computations (73.7% saved)

explain45.9s (5.5%)

Memory
-1 231.6MiB live, 50 989.0MiB allocated; 22.3s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15813
/.f64#fo/n11570
sqrt.f64#foflow-rescue7810
-.f64#fcancellation59913
/.f64#fo/o5590
*.f64#fn*o5080
+.f64#fnan-rescue5070
-.f64#fnan-rescue4590
cos.f64#fsensitivity3780
/.f64#fn/o3330
+.f64#fcancellation3140
/.f64#fu/n2550
sin.f64#fsensitivity2450
*.f64#fn*u1670
/.f64#fn/u1500
cos.f64#foflow-rescue1170
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity1140
/.f64#fu/u1010
log.f64#foflow-rescue900
log.f64#fuflow-rescue720
sqrt.f64#fuflow-rescue650
*.f64#fo*u300
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue280
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow28
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue280
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow28
exp.f64#fsensitivity253
*.f64#fu*o30
Confusion
Predicted +Predicted -
+6067174
-169560928
Precision
0.7816284462767328
Recall
0.9721198525877264
Confusion?
Predicted +Predicted MaybePredicted -
+60672172
-16951860910
Precision?
0.7798766383962992
Recall?
0.9724403140522352
Freqs
test
numberfreq
061102
16962
2726
356
411
54
62
81
Total Confusion?
Predicted +Predicted MaybePredicted -
+13700
-01131
Precision?
0.9927536231884058
Recall?
1.0
Samples
9.1s130 314×0valid
1.8s6 028×1valid
566.0ms1 264×2valid
22.0ms118×3valid
1.0ms4×4valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 5.6s
ival-mult!: 1.8s (32.1% of total)
ival-log: 859.0ms (15.3% of total)
ival-div!: 600.0ms (10.7% of total)
adjust: 540.0ms (9.6% of total)
ival-sub!: 519.0ms (9.3% of total)
ival-add!: 512.0ms (9.1% of total)
ival-sin: 232.0ms (4.1% of total)
ival-sqrt: 220.0ms (3.9% of total)
ival-cos: 159.0ms (2.8% of total)
ival-exp: 91.0ms (1.6% of total)
ival-cosh: 17.0ms (0.3% of total)
ival-tan: 13.0ms (0.2% of total)
ival-fabs: 11.0ms (0.2% of total)
ival-sinh: 11.0ms (0.2% of total)
ival-hypot: 9.0ms (0.2% of total)
ival-tanh: 8.0ms (0.1% of total)
ival-acos: 4.0ms (0.1% of total)
const: 0.0ms (0% of total)

eval36.7s (4.4%)

Memory
-973.9MiB live, 56 541.8MiB allocated; 13.1s collecting garbage
Compiler

Compiled 9 093 379 to 1 011 668 computations (88.9% saved)

bsearch28.1s (3.4%)

Memory
988.1MiB live, 38 809.6MiB allocated; 7.2s collecting garbage
Algorithm
1 830×binary-search
983×left-value
Stop Event
1 797×narrow-enough
33×predicate-same
Samples
13.0s143 744×0valid
1.0s4 150×1valid
152.0ms2 559×0invalid
26.0ms181×2valid
4.0ms21×3valid
Compiler

Compiled 1 005 695 to 719 787 computations (28.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.5s
ival-mult!: 3.8s (44.2% of total)
ival-sub!: 1.2s (13.6% of total)
ival-add!: 771.0ms (9% of total)
ival-div!: 722.0ms (8.5% of total)
ival-log: 704.0ms (8.2% of total)
ival-sin: 475.0ms (5.6% of total)
ival-cos: 342.0ms (4% of total)
adjust: 324.0ms (3.8% of total)
ival-sqrt: 148.0ms (1.7% of total)
ival-exp: 75.0ms (0.9% of total)
ival-cosh: 18.0ms (0.2% of total)
ival-sinh: 11.0ms (0.1% of total)
ival-tanh: 9.0ms (0.1% of total)
ival-fabs: 6.0ms (0.1% of total)

analyze21.2s (2.5%)

Memory
-229.9MiB live, 22 088.7MiB allocated; 11.6s 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)

prune18.9s (2.3%)

Memory
-1 568.9MiB live, 32 062.6MiB allocated; 5.6s collecting garbage
Counts
226 824 → 12 880
Compiler

Compiled 835 146 to 446 497 computations (46.5% saved)

start26.0ms (0%)

Memory
-68.9MiB live, 20.2MiB allocated; 22ms collecting garbage

end2.0ms (0%)

Memory
5.5MiB live, 5.2MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...