Metrics for Herbie run

Date:	Sunday, January 26th, 2025
Commit:	9eb1a33e on no-localize
Seed:	2025026
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:	90 459.4 MB

sample44.6s (53.6%)

Memory

982.6MiB live, 48 977.0MiB allocated; 13.8s collecting garbage

Samples

14.0s	16 201×	5	exit
8.5s	39 821×	1	valid
8.0s	108 731×	0	valid
5.6s	16 568×	2	valid
436.0ms	3 918×	0	invalid
134.0ms	1 392×	0	exit

Precisions

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

ival-exp: 3.8s (13.6% of total)

adjust: 3.5s (12.5% of total)

ival-pow: 3.5s (12.4% of total)

ival-log: 3.1s (10.8% of total)

ival-cos: 2.3s (8% of total)

ival-mult: 1.7s (5.9% of total)

ival-tan: 1.6s (5.8% of total)

ival-sinh: 1.2s (4.4% of total)

ival-sqrt: 973.0ms (3.4% of total)

ival-div: 973.0ms (3.4% of total)

ival-sub: 831.0ms (2.9% of total)

ival-fmod: 810.0ms (2.9% of total)

ival-add: 786.0ms (2.8% of total)

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

ival-acos: 569.0ms (2% of total)

ival-pow2: 463.0ms (1.6% of total)

const: 426.0ms (1.5% of total)

ival-neg: 292.0ms (1% of total)

ival-hypot: 251.0ms (0.9% of total)

ival-<=: 96.0ms (0.3% of total)

ival-atan: 79.0ms (0.3% of total)

ival-assert: 73.0ms (0.3% of total)

exact: 40.0ms (0.1% of total)

ival-and: 38.0ms (0.1% of total)

ival-or: 19.0ms (0.1% of total)

ival->: 2.0ms (0% of total)

ival-==: 2.0ms (0% of total)

ival-<: 2.0ms (0% of total)

Bogosity

rewrite9.9s (12%)

Memory

-108.8MiB live, 9 580.0MiB allocated; 1.5s collecting garbage

Stop Event

192×	iter limit
52×	node limit
16×	unsound
4×	saturated

Counts

7 823 → 17 822

regimes4.6s (5.5%)

Memory

-51.4MiB live, 6 692.9MiB allocated; 1.5s collecting garbage

Counts

3 273 → 189

Calls

53 calls:

665.0ms	x
515.0ms	a
458.0ms	(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
234.0ms	b
218.0ms	(tan.f64 a)

Compiler

Compiled 1 705 to 1 985 computations (-16.4% saved)

preprocess4.4s (5.3%)

Memory

-3.6MiB live, 3 788.7MiB allocated; 1.3s collecting garbage

Stop Event

38×	iter limit
29×	node limit
13×	saturated

Compiler

Compiled 9 273 to 3 246 computations (65% saved)

eval3.5s (4.2%)

Memory: 83.4MiB live, 4 207.9MiB allocated; 801ms collecting garbage
Compiler: Compiled 720 195 to 85 860 computations (88.1% saved)

analyze3.1s (3.8%)

Memory

119.5MiB live, 2 941.1MiB allocated; 1.3s collecting garbage

Algorithm

20×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	73.7%	26.3%	0%	0%	0%	0
28.8%	21.3%	52.5%	26.3%	0%	0%	0%	1
44.1%	32.5%	41.2%	26.3%	0%	0%	0%	2
52.6%	38.7%	35%	26.3%	0%	0%	0%	3
61.9%	45.6%	28.1%	26.3%	0%	0%	0%	4
65.2%	47.5%	25.3%	26.3%	0%	0.9%	0%	5
66.8%	48.4%	24%	26.3%	0%	1.2%	0%	6
71.1%	51.1%	20.8%	26.3%	0%	1.9%	0%	7
72.1%	51.6%	20%	26.3%	0%	2.1%	0%	8
74.4%	53%	18.2%	26.3%	0%	2.5%	0%	9
75.8%	53.9%	17.2%	26.3%	0%	2.6%	0%	10
76.6%	54.3%	16.6%	26.3%	0%	2.8%	0%	11
77.3%	54.8%	16.1%	26.3%	0%	2.9%	0%	12

Compiler

Compiled 279 to 216 computations (22.6% saved)

series3.1s (3.7%)

Memory

-63.2MiB live, 3 799.0MiB allocated; 692ms collecting garbage

Counts

1 497 → 6 326

Calls

390 calls:

Time	Variable		Point	Expression
88.0ms	w	@	-inf	((* (exp (neg w)) (pow (exp (exp w)) (log l))) (exp (neg w)) (neg w) w (pow (exp (exp w)) (log l)) (exp (exp w)) (exp w) (log l) l (* (exp (neg w)) (pow l (exp w))) (exp (neg w)) (- 1 w) 1 (pow l (exp w)) (+ (* (+ (* (* l (+ (* (+ (* 1/6 (log l)) (+ (* 1/6 (pow (log l) 3)) (* 1/2 (pow (log l) 2)))) w) (+ (* 1/2 (pow (log l) 2)) (log (sqrt l))))) w) (* (log l) l)) w) l) (* (exp (neg w)) (pow l (exp w))) (pow l (exp w)) (+ (* (+ (* (* l (+ (* (+ (* 1/6 (log l)) (+ (* 1/6 (pow (log l) 3)) (* 1/2 (pow (log l) 2)))) w) (+ (* 1/2 (pow (log l) 2)) (log (sqrt l))))) w) (* (log l) l)) w) l) (+ (* (* l (+ (* (+ (* 1/6 (log l)) (+ (* 1/6 (pow (log l) 3)) (* 1/2 (pow (log l) 2)))) w) (+ (* 1/2 (pow (log l) 2)) (log (sqrt l))))) w) (* (log l) l)) (* (log l) l) (* (exp (neg w)) (pow l (exp w))) (exp (neg w)) (+ (* (+ (* (+ (* -1/6 w) 1/2) w) -1) w) 1) (+ (* (+ (* -1/6 w) 1/2) w) -1) (+ (* -1/6 w) 1/2) -1/6 1/2 -1 (pow l (exp w)) (* (exp (neg w)) (pow (pow l (/ (exp w) 2)) 2)) (pow (pow l (/ (exp w) 2)) 2) (pow l (/ (exp w) 2)) (+ (* (+ (* (* 1/2 (sqrt l)) (log l)) (* (* (sqrt l) w) (+ (* 1/8 (pow (log l) 2)) (* 1/4 (log l))))) w) (sqrt l)) (+ (* (* 1/2 (sqrt l)) (log l)) (* (* (sqrt l) w) (+ (* 1/8 (pow (log l) 2)) (* 1/4 (log l))))) (* 1/2 (sqrt l)) (sqrt l) (* (* (sqrt l) w) (+ (* 1/8 (pow (log l) 2)) (* 1/4 (log l)))) (* (sqrt l) w) (+ (* 1/8 (pow (log l) 2)) (* 1/4 (log l))) 1/8 (pow (log l) 2) 2 (* 1/4 (log l)) 1/4)
64.0ms	z	@	-inf	((+ x (- (/ (+ (tan z) (tan y)) (- 1 (* (/ (sin z) (cos z)) (tan y)))) (tan a))) x (- (/ (+ (tan z) (tan y)) (- 1 (* (/ (sin z) (cos z)) (tan y)))) (tan a)) (/ (+ (tan z) (tan y)) (- 1 (* (/ (sin z) (cos z)) (tan y)))) (+ (tan z) (tan y)) (tan z) z (tan y) y (- 1 (* (/ (sin z) (cos z)) (tan y))) 1 (* (/ (sin z) (cos z)) (tan y)) (/ (sin z) (cos z)) (sin z) (cos z) (tan a) a (+ x (- (tan (+ z y)) (tan a))) (- (tan (+ z y)) (tan a)) (tan (+ y z)) (+ y z) (+ x (- (tan (+ z y)) (tan a))) (- (tan (+ z y)) (tan a)) (tan (+ z y)) (+ z y) (* (+ (/ y z) 1) z) (+ (/ y z) 1) (/ y z) (+ x (- (/ (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y)))) (tan a))) (- (/ (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y)))) (tan a)) (/ (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y)))) (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y))) (* (tan z) (tan y)) (/ (- (* x x) (pow (- (tan (+ z y)) (tan a)) 2)) (- x (- (tan (+ z y)) (tan a)))) (- (* x x) (pow (- (tan (+ z y)) (tan a)) 2)) (* x x) (pow (- (tan (+ z y)) (tan a)) 2) (- (tan (+ z y)) (tan a)) (tan (+ z y)) (+ z y) 2 (- x (- (tan (+ z y)) (tan a))))
60.0ms	x	@	0	((+ x (- (/ (+ (tan z) (tan y)) (- 1 (/ (* (sin z) (tan y)) (cos z)))) (tan a))) x (- (/ (+ (tan z) (tan y)) (- 1 (/ (* (sin z) (tan y)) (cos z)))) (tan a)) (/ (+ (tan z) (tan y)) (- 1 (/ (* (sin z) (tan y)) (cos z)))) (+ (tan z) (tan y)) (tan z) z (tan y) y (- 1 (/ (* (sin z) (tan y)) (cos z))) 1 (/ (* (sin z) (tan y)) (cos z)) (* (sin z) (tan y)) (sin z) (cos z) (tan a) a (+ x (- (tan (+ z y)) (tan a))) (- (tan (+ z y)) (tan a)) (tan (+ z y)) (+ z y) (/ (- (* x x) (pow (- (tan (+ z y)) (tan a)) 2)) (- x (- (tan (+ z y)) (tan a)))) (- (* x x) (pow (- (tan (+ z y)) (tan a)) 2)) (* x x) (- x (- (tan (+ z y)) (tan a))) (- (tan (+ z y)) (tan a)) (tan (+ z y)) (+ z y) (+ x (- (tan (+ y z)) (tan a))) (- (tan (+ y z)) (tan a)) (tan (+ y z)) (+ (* (- 1 (neg (pow (tan z) 2))) y) (tan z)) (- 1 (neg (pow (tan z) 2))) (neg (pow (tan z) 2)) (pow (tan z) 2) 2 (+ x (- (/ (+ (tan z) (tan y)) (- 1 (* (/ (sin z) (cos z)) (tan y)))) (tan a))) (/ (- (* x x) (pow (- (tan z) (tan a)) 2)) (- (+ (tan a) x) (tan z))) (- (* x x) (pow (- (tan z) (tan a)) 2)) (pow (- (tan z) (tan a)) 2) (- (tan z) (tan a)) (- (+ (tan a) x) (tan z)) (+ (tan a) x))
58.0ms	l	@	0	((* (exp (neg w)) (pow (exp (exp w)) (log l))) (exp (neg w)) (neg w) w (pow (exp (exp w)) (log l)) (exp (exp w)) (exp w) (log l) l (* (exp (neg w)) (pow l (exp w))) (exp (neg w)) (- 1 w) 1 (pow l (exp w)) (+ (* (+ (* (* l (+ (* (+ (* 1/6 (log l)) (+ (* 1/6 (pow (log l) 3)) (* 1/2 (pow (log l) 2)))) w) (+ (* 1/2 (pow (log l) 2)) (log (sqrt l))))) w) (* (log l) l)) w) l) (* (exp (neg w)) (pow l (exp w))) (pow l (exp w)) (+ (* (+ (* (* l (+ (* (+ (* 1/6 (log l)) (+ (* 1/6 (pow (log l) 3)) (* 1/2 (pow (log l) 2)))) w) (+ (* 1/2 (pow (log l) 2)) (log (sqrt l))))) w) (* (log l) l)) w) l) (+ (* (* l (+ (* (+ (* 1/6 (log l)) (+ (* 1/6 (pow (log l) 3)) (* 1/2 (pow (log l) 2)))) w) (+ (* 1/2 (pow (log l) 2)) (log (sqrt l))))) w) (* (log l) l)) (* (log l) l) (* (exp (neg w)) (pow l (exp w))) (exp (neg w)) (+ (* (+ (* (+ (* -1/6 w) 1/2) w) -1) w) 1) (+ (* (+ (* -1/6 w) 1/2) w) -1) (+ (* -1/6 w) 1/2) -1/6 1/2 -1 (pow l (exp w)) (* (exp (neg w)) (pow (pow l (/ (exp w) 2)) 2)) (pow (pow l (/ (exp w) 2)) 2) (pow l (/ (exp w) 2)) (+ (* (+ (* (* 1/2 (sqrt l)) (log l)) (* (* (sqrt l) w) (+ (* 1/8 (pow (log l) 2)) (* 1/4 (log l))))) w) (sqrt l)) (+ (* (* 1/2 (sqrt l)) (log l)) (* (* (sqrt l) w) (+ (* 1/8 (pow (log l) 2)) (* 1/4 (log l))))) (* 1/2 (sqrt l)) (sqrt l) (* (* (sqrt l) w) (+ (* 1/8 (pow (log l) 2)) (* 1/4 (log l)))) (* (sqrt l) w) (+ (* 1/8 (pow (log l) 2)) (* 1/4 (log l))) 1/8 (pow (log l) 2) 2 (* 1/4 (log l)) 1/4)
56.0ms	x	@	inf	((log (/ (sinh x) x)) (/ (sinh x) x) (sinh x) x)

derivations3.0s (3.6%)

Memory

-41.4MiB live, 2 042.9MiB allocated; 287ms collecting garbage

Stop Event

11×	fuel
9×	done

Compiler

Compiled 3 834 to 1 023 computations (73.3% saved)

explain2.8s (3.4%)

Memory

0.1MiB live, 3 485.5MiB allocated; 476ms collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	568	0
`cos.f64`	`#f`	sensitivity	511	1
`-.f64`	`#f`	cancellation	349	0
`sqrt.f64`	`#f`	uflow-rescue	324	0
`/.f64`	`#f`	n/o	259	0
`acos.f64`	`(acos.f64 (-.f64 #s(literal 1 binary64) x))`	sensitivity	253	2
`log.f64`	`(log.f64 (/.f64 (sinh.f64 x) x))`	sensitivity	247	0
`tan.f64`	`(tan.f64 (+.f64 y z))`	sensitivity	196	1
`pow.f64`	`(pow.f64 l (exp.f64 w))`	sensitivity	123	13
`*.f64`	`#f`	*no**	48	0
`*.f64`	`#f`	*nu**	35	0
`-.f64`	`(-.f64 (.f64 a a) (.f64 b b))`	nan-rescue	21	0
↳	`(*.f64 a a)`	overflow	115
↳	`(*.f64 b b)`	overflow	21
`*.f64`	`(.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))`	*ou**	19	0
↳	`(pow.f64 c #s(literal 2 binary64))`	overflow	64
↳	`(.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)`	underflow	64
↳	`(*.f64 x (pow.f64 s #s(literal 2 binary64)))`	underflow	51
↳	`(pow.f64 s #s(literal 2 binary64))`	underflow	49
`*.f64`	`#f`	*uo**	15	0
`log.f64`	`(log.f64 (/.f64 (sinh.f64 x) x))`	oflow-rescue	5	0
↳	`(sinh.f64 x)`	overflow	5
↳	`(/.f64 (sinh.f64 x) x)`	overflow	5
`exp.f64`	`(exp.f64 (neg.f64 w))`	sensitivity	1	0

Confusion

	Predicted +	Predicted -
+	2201	276
-	700	1943

Precision

0.7587038952085488

Recall

0.8885748889786032

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	2201	1	275
-	700	16	1927

Precision?

0.7546264564770391

Recall?

0.8889786031489705

Freqs

test

number	freq
0	2219
1	2831
2	67
3	3

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	18	0	0
-	0	0	2

Precision?

1.0

Recall?

1.0

Samples

539.0ms	108×	5	exit
459.0ms	2 476×	1	valid
418.0ms	6 640×	0	valid
323.0ms	1 016×	2	valid

Compiler

Compiled 1 067 to 440 computations (58.8% saved)

Precisions

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

ival-cos: 525.0ms (38.6% of total)

adjust: 115.0ms (8.4% of total)

ival-mult: 94.0ms (6.9% of total)

ival-tan: 82.0ms (6% of total)

ival-sqrt: 73.0ms (5.4% of total)

ival-log: 68.0ms (5% of total)

ival-fmod: 55.0ms (4% of total)

ival-exp: 46.0ms (3.4% of total)

ival-sub: 42.0ms (3.1% of total)

ival-add: 41.0ms (3% of total)

ival-sinh: 39.0ms (2.9% of total)

ival-acos: 39.0ms (2.9% of total)

ival-sin: 35.0ms (2.6% of total)

ival-pow2: 31.0ms (2.3% of total)

ival-div: 30.0ms (2.2% of total)

ival-pow: 10.0ms (0.7% of total)

ival-hypot: 9.0ms (0.7% of total)

ival-true: 8.0ms (0.6% of total)

ival-neg: 6.0ms (0.4% of total)

ival-atan: 5.0ms (0.4% of total)

ival-assert: 4.0ms (0.3% of total)

exact: 2.0ms (0.1% of total)

prune2.4s (2.8%)

Memory: 139.2MiB live, 3 382.8MiB allocated; 529ms collecting garbage
Counts: 21 810 → 1 478
Compiler: Compiled 85 566 to 43 180 computations (49.5% saved)

bsearch875.0ms (1.1%)

Memory

-23.2MiB live, 741.3MiB allocated; 62ms collecting garbage

Algorithm

41×	binary-search
22×	left-value

Stop Event

34×	narrow-enough
6×	predicate-same
1×	predicate-failed

Samples

516.0ms	2 208×	1	valid
90.0ms	1 216×	0	valid
37.0ms	101×	0	invalid

Compiler

Compiled 13 994 to 11 478 computations (18% saved)

Precisions

Click to see histograms. Total time spent on operations: 498.0ms

ival-tan: 114.0ms (22.9% of total)

adjust: 84.0ms (16.9% of total)

ival-cos: 80.0ms (16.1% of total)

ival-mult: 53.0ms (10.6% of total)

ival-sin: 46.0ms (9.2% of total)

ival-add: 32.0ms (6.4% of total)

ival-exp: 24.0ms (4.8% of total)

ival-fmod: 23.0ms (4.6% of total)

ival-div: 14.0ms (2.8% of total)

ival-sub: 8.0ms (1.6% of total)

ival-sqrt: 7.0ms (1.4% of total)

ival-pow: 3.0ms (0.6% of total)

ival-true: 3.0ms (0.6% of total)

ival-neg: 3.0ms (0.6% of total)

ival-assert: 1.0ms (0.2% of total)

ival-pow2: 1.0ms (0.2% of total)

exact: 0.0ms (0% of total)

simplify811.0ms (1%)

Memory

72.5MiB live, 818.5MiB allocated; 71ms collecting garbage

Stop Event

16×	node limit
4×	saturated

start1.0ms (0%)

Memory: 1.5MiB live, 1.5MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory: 0.3MiB live, 0.3MiB allocated; 0ms collecting garbage

sample44.6s (53.6%)

rewrite9.9s (12%)

regimes4.6s (5.5%)

preprocess4.4s (5.3%)

eval3.5s (4.2%)

analyze3.1s (3.8%)

series3.1s (3.7%)

derivations3.0s (3.6%)

explain2.8s (3.4%)

prune2.4s (2.8%)

bsearch875.0ms (1.1%)

simplify811.0ms (1%)

start1.0ms (0%)

end0.0ms (0%)

Profiling