Metrics for Herbie run

Date:	Thursday, February 20th, 2025
Commit:	87019920 on main
Seed:	2025051
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default
Memory:	1 054 584.4 MB

sample5.7min (35.6%)

Memory

5 144.7MiB live, 372 609.3MiB allocated; 2.0min collecting garbage

Samples

3.4min	2 144 499×	0	valid
23.2s	69 811×	1	valid
11.8s	63 792×	0	invalid
1.6s	5 898×	2	valid
1.3s	1 531×	5	exit
587.0ms	1 805×	1	invalid
218.0ms	653×	3	valid
1.0ms	3×	4	valid

Precisions

Click to see histograms. Total time spent on operations: 2.6min

ival-mult: 52.8s (34.3% of total)

ival-div: 21.1s (13.7% of total)

ival-sub: 20.0s (13% of total)

ival-add: 18.7s (12.1% of total)

ival-log: 9.9s (6.4% of total)

ival-sqrt: 6.3s (4.1% of total)

adjust: 5.8s (3.7% of total)

const: 5.7s (3.7% of total)

ival-sin: 4.6s (3% of total)

ival-cos: 3.4s (2.2% of total)

ival-exp: 2.2s (1.4% of total)

exact: 1.3s (0.8% of total)

ival-assert: 704.0ms (0.5% of total)

ival-cosh: 327.0ms (0.2% of total)

ival-tan: 321.0ms (0.2% of total)

ival-fabs: 263.0ms (0.2% of total)

ival-hypot: 257.0ms (0.2% of total)

ival-acos: 234.0ms (0.2% of total)

ival-sinh: 206.0ms (0.1% of total)

ival-tanh: 135.0ms (0.1% of total)

Bogosity

rewrite3.2min (20%)

Memory

4 022.4MiB live, 188 843.2MiB allocated; 1.1min collecting garbage

Stop Event

2 226×	iter limit
850×	node limit
68×	unsound
12×	saturated

Counts

124 886 → 230 227

regimes1.1min (6.9%)

Memory

834.2MiB live, 84 679.9MiB allocated; 22.0s collecting garbage

Counts

33 503 → 4 944

Calls

512 calls:

11.1s	x
9.2s	y
8.7s	z
3.7s	t
2.7s	a

Compiler

Compiled 39 006 to 57 798 computations (-48.2% saved)

preprocess1.0min (6.5%)

Memory

2 702.9MiB live, 65 527.3MiB allocated; 15.7s collecting garbage

Stop Event

538×	iter limit
341×	node limit
197×	saturated

Compiler

Compiled 309 850 to 60 274 computations (80.5% saved)

derivations1.0min (6.4%)

Memory

152.4MiB live, 53 594.2MiB allocated; 10.9s collecting garbage

Stop Event

145×	fuel
124×	done

Compiler

Compiled 137 855 to 19 147 computations (86.1% saved)

series52.4s (5.4%)

Memory

-375.5MiB live, 67 287.8MiB allocated; 16.3s collecting garbage

Counts

18 577 → 106 309

Calls

8886 calls:

Time	Variable		Point	Expression
2.9s	y	@	-inf	((+ (* (neg (log y)) x) (* (log x) x)) (neg (log y)) (log y) y x (* (log x) x) (log x) (log (pow (/ x y) x)) (pow (/ x y) x) (/ x y) (+ (* (log (/ -1 y)) x) (* (log (neg x)) x)) (log (/ -1 y)) (/ -1 y) -1 (* (log (neg x)) x) (log (neg x)) (neg x) (/ (* (- (pow (log x) 2) (pow (log y) 2)) x) (log (* x y))) (* (- (pow (log x) 2) (pow (log y) 2)) x) (- (pow (log x) 2) (pow (log y) 2)) (pow (log x) 2) 2 (pow (log y) 2) (log (* x y)) (* x y) (* x (/ (+ (pow (log (neg x)) 3) (pow (log (/ -1 y)) 3)) (+ (* (log (neg x)) (log (* x y))) (pow (log (/ -1 y)) 2)))) (/ (+ (pow (log (neg x)) 3) (pow (log (/ -1 y)) 3)) (+ (* (log (neg x)) (log (* x y))) (pow (log (/ -1 y)) 2))) (+ (pow (log (neg x)) 3) (pow (log (/ -1 y)) 3)) (pow (log (neg x)) 3) 3 (pow (log (/ -1 y)) 3) (+ (* (log (neg x)) (log (* x y))) (pow (log (/ -1 y)) 2)) (pow (log (/ -1 y)) 2))
395.0ms	b	@	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) 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)
206.0ms	y	@	0	((/ (* (cosh x) (/ y x)) z) (* (cosh x) (/ y x)) (cosh x) x (/ y x) y z)
178.0ms	x	@	0	((* (neg x) (log (/ y x))) (neg x) x (log (/ y x)) (/ y x) y (* x (- (log x) (log y))) (- (log x) (log y)) (log x) (log y) (+ (* (log x) x) (* (neg x) (log y))) (* (neg x) (log y)) (* x (/ (* (log (/ x y)) (log (* y x))) (log (* y x)))) (/ (* (log (/ x y)) (log (* y x))) (log (* y x))) (* (log (/ x y)) (log (* y x))) (log (/ x y)) (/ x y) (log (* y x)) (* y x) (/ (* (- (pow (log x) 3) (pow (log y) 3)) x) (+ (* (neg (log y)) (neg (log (* y x)))) (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) (+ (* (neg (log y)) (neg (log (* y x)))) (pow (log x) 2)) (neg (log y)) (neg (log (* y x))) (pow (log x) 2) 2)
164.0ms	z	@	0	((- (* x (- 0 (log (/ y x)))) z) (* (neg z) (+ (* x (/ (log (/ y x)) z)) 1)) (neg z) z (+ (* x (/ (log (/ y x)) z)) 1) x (/ (log (/ y x)) z) (log (/ y x)) (/ y x) y 1 (- (* x (- 0 (log (/ y x)))) z) (* (neg x) (log (/ y x))) (neg x) (+ (* (- (log (neg x)) (log (neg y))) x) (neg z)) (- (log (neg x)) (log (neg y))) (log (neg x)) (log (neg y)) (neg y) (- (* x (log (/ x y))) z) (* (+ (* (- (log (neg x)) (log (neg y))) (/ x z)) -1) z) (+ (* (- (log (neg x)) (log (neg y))) (/ x z)) -1) (* (- (/ (neg (+ (* (log x) -1) (log y))) z) (pow x -1)) x) (- (/ (neg (+ (* (log x) -1) (log y))) z) (pow x -1)) (/ (neg (+ (* (log x) -1) (log y))) z) (neg (+ (* (log x) -1) (log y))) (+ (* (log x) -1) (log y)) (log x) -1 (log y) (pow x -1) (+ (* (/ (- (pow (log (neg x)) 2) (pow (log (neg y)) 2)) (/ (+ (pow (log (neg x)) 3) (pow (log (neg y)) 3)) (+ (pow (log (neg x)) 2) (- (pow (log (neg y)) 2) (* (log (neg x)) (log (neg y))))))) x) (neg z)) (/ (- (pow (log (neg x)) 2) (pow (log (neg y)) 2)) (/ (+ (pow (log (neg x)) 3) (pow (log (neg y)) 3)) (+ (pow (log (neg x)) 2) (- (pow (log (neg y)) 2) (* (log (neg x)) (log (neg y))))))) (- (pow (log (neg x)) 2) (pow (log (neg y)) 2)) (pow (log (neg x)) 2) 2 (pow (log (neg y)) 2) (/ (+ (pow (log (neg x)) 3) (pow (log (neg y)) 3)) (+ (pow (log (neg x)) 2) (- (pow (log (neg y)) 2) (* (log (neg x)) (log (neg y)))))) (+ (pow (log (neg x)) 3) (pow (log (neg y)) 3)) (pow (log (neg x)) 3) 3 (pow (log (neg y)) 3) (+ (pow (log (neg x)) 2) (- (pow (log (neg y)) 2) (* (log (neg x)) (log (neg y))))) (- (pow (log (neg y)) 2) (* (log (neg x)) (log (neg y)))) (* (log (neg x)) (log (neg y))))

eval43.9s (4.6%)

Memory: -1 771.1MiB live, 58 811.8MiB allocated; 15.0s collecting garbage
Compiler: Compiled 9 359 732 to 1 003 702 computations (89.3% saved)

explain41.0s (4.3%)

Memory

-1 366.6MiB live, 50 827.0MiB allocated; 12.5s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f64`	`#f`	sensitivity	1584	8
`/.f64`	`#f`	o/n	1145	0
`sqrt.f64`	`#f`	oflow-rescue	773	0
`-.f64`	`#f`	cancellation	613	5
`/.f64`	`#f`	o/o	580	0
`*.f64`	`#f`	*no**	518	0
`+.f64`	`#f`	nan-rescue	475	0
`-.f64`	`#f`	nan-rescue	442	0
`cos.f64`	`#f`	sensitivity	373	1
`+.f64`	`#f`	cancellation	339	0
`/.f64`	`#f`	n/o	314	0
`/.f64`	`#f`	u/n	265	0
`sin.f64`	`#f`	sensitivity	220	0
`*.f64`	`#f`	*nu**	193	0
`/.f64`	`#f`	n/u	150	0
`cos.f64`	`#f`	oflow-rescue	133	0
`/.f64`	`#f`	u/u	102	0
`tan.f64`	`(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))`	sensitivity	87	0
`log.f64`	`#f`	oflow-rescue	84	0
`log.f64`	`#f`	uflow-rescue	69	0
`sqrt.f64`	`#f`	uflow-rescue	42	0
`*.f64`	`#f`	*ou**	37	0
`tan.f64`	`(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))`	oflow-rescue	29	0
↳	`(/.f64 x (*.f64 y #s(literal 2 binary64)))`	overflow	29
`sin.f64`	`(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))`	oflow-rescue	29	0
↳	`(/.f64 x (*.f64 y #s(literal 2 binary64)))`	overflow	29
`exp.f64`	`(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t #s(literal 1 binary64)) (log.f64 a))) b))`	sensitivity	20	6
`*.f64`	`#f`	*uo**	5	0

Confusion

	Predicted +	Predicted -
+	6036	199
-	1721	60908

Precision

0.7781358772721413

Recall

0.968083400160385

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	6036	4	195
-	1721	16	60892

Precision?

0.7766490934807766

Recall?

0.9687249398556536

Freqs

test

number	freq
0	61107
1	6996
2	688
3	51
4	16
5	4
6	2

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	131	0	1
-	2	0	135

Precision?

0.9849624060150376

Recall?

0.9924242424242424

Samples

12.2s	130 298×	0	valid
2.1s	6 042×	1	valid
677.0ms	1 276×	2	valid
32.0ms	108×	3	valid
2.0ms	4×	4	valid

Compiler

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

Precisions

Click to see histograms. Total time spent on operations: 8.5s

ival-mult: 2.9s (33.9% of total)

ival-add: 1.1s (12.6% of total)

ival-sub: 1.1s (12.3% of total)

ival-div: 893.0ms (10.5% of total)

ival-log: 671.0ms (7.9% of total)

adjust: 579.0ms (6.8% of total)

const: 325.0ms (3.8% of total)

ival-cos: 239.0ms (2.8% of total)

ival-sqrt: 197.0ms (2.3% of total)

ival-sin: 191.0ms (2.2% of total)

ival-true: 115.0ms (1.3% of total)

ival-exp: 90.0ms (1.1% of total)

exact: 66.0ms (0.8% of total)

ival-assert: 57.0ms (0.7% of total)

ival-fabs: 30.0ms (0.4% of total)

ival-cosh: 17.0ms (0.2% of total)

ival-tan: 11.0ms (0.1% of total)

ival-sinh: 10.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)

bsearch35.0s (3.6%)

Memory

456.3MiB live, 38 245.4MiB allocated; 12.3s collecting garbage

Algorithm

1 720×	binary-search
1 111×	left-value

Stop Event

1 677×	narrow-enough
42×	predicate-same
1×	predicate-failed

Samples

16.4s	141 104×	0	valid
1.3s	4 368×	1	valid
298.0ms	3 586×	0	invalid
36.0ms	140×	2	valid
8.0ms	27×	1	invalid
7.0ms	20×	3	valid

Compiler

Compiled 851 260 to 622 661 computations (26.9% saved)

Precisions

Click to see histograms. Total time spent on operations: 11.8s

ival-mult: 4.7s (39.7% of total)

ival-sub: 2.1s (17.5% of total)

ival-add: 1.5s (12.4% of total)

ival-div: 1.1s (9% of total)

const: 593.0ms (5% of total)

ival-log: 506.0ms (4.3% of total)

adjust: 337.0ms (2.8% of total)

ival-sin: 317.0ms (2.7% of total)

ival-cos: 228.0ms (1.9% of total)

ival-exp: 148.0ms (1.3% of total)

ival-true: 107.0ms (0.9% of total)

ival-sqrt: 86.0ms (0.7% of total)

exact: 63.0ms (0.5% of total)

ival-assert: 60.0ms (0.5% of total)

ival-sinh: 56.0ms (0.5% of total)

ival-tanh: 10.0ms (0.1% of total)

ival-fabs: 9.0ms (0.1% of total)

ival-cosh: 5.0ms (0% of total)

prune28.7s (3%)

Memory: -576.1MiB live, 37 792.7MiB allocated; 12.4s collecting garbage
Counts: 255 348 → 12 512
Compiler: Compiled 783 526 to 430 270 computations (45.1% saved)

analyze20.4s (2.1%)

Memory

447.4MiB live, 23 222.8MiB allocated; 6.4s collecting garbage

Algorithm

269×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
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)

simplify14.7s (1.5%)

Memory

-741.0MiB live, 13 118.7MiB allocated; 3.8s collecting garbage

Stop Event

204×	node limit
65×	saturated

start10.0ms (0%)

Memory: 20.3MiB live, 20.2MiB allocated; 0ms collecting garbage

end2.0ms (0%)

Memory: 4.3MiB live, 4.0MiB allocated; 0ms collecting garbage

sample5.7min (35.6%)

rewrite3.2min (20%)

regimes1.1min (6.9%)

preprocess1.0min (6.5%)

derivations1.0min (6.4%)

series52.4s (5.4%)

eval43.9s (4.6%)

explain41.0s (4.3%)

bsearch35.0s (3.6%)

prune28.7s (3%)

analyze20.4s (2.1%)

simplify14.7s (1.5%)

start10.0ms (0%)

end2.0ms (0%)

Profiling