Metrics for Herbie run

Date:	Sunday, January 26th, 2025
Commit:	c73a45c1 on main
Seed:	2025026
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:	111 687.5 MB

sample48.2s (40.8%)

Memory

515.3MiB live, 46 151.8MiB allocated; 12.0s collecting garbage

Samples

14.7s	16 201×	5	exit
10.2s	39 821×	1	valid
7.9s	108 731×	0	valid
6.6s	16 568×	2	valid
501.0ms	3 918×	0	invalid
110.0ms	1 392×	0	exit

Precisions

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

ival-exp: 4.4s (13.5% of total)

ival-pow: 3.9s (12.1% of total)

adjust: 3.7s (11.5% of total)

ival-log: 3.0s (9.2% of total)

ival-cos: 2.8s (8.6% of total)

ival-tan: 2.1s (6.5% of total)

ival-mult: 1.9s (5.8% of total)

ival-sinh: 1.7s (5.3% of total)

ival-fmod: 1.5s (4.5% of total)

ival-sqrt: 1.0s (3.2% of total)

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

ival-sin: 895.0ms (2.8% of total)

ival-sub: 830.0ms (2.6% of total)

ival-pow2: 792.0ms (2.5% of total)

ival-add: 785.0ms (2.4% of total)

const: 639.0ms (2% of total)

ival-acos: 602.0ms (1.9% of total)

ival-hypot: 264.0ms (0.8% of total)

ival-neg: 251.0ms (0.8% of total)

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

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

ival-atan: 64.0ms (0.2% of total)

exact: 42.0ms (0.1% of total)

ival-and: 40.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

simplify21.2s (18%)

Memory

329.7MiB live, 18 239.1MiB allocated; 2.7s collecting garbage

Stop Event

216×	iter limit
132×	node limit
21×	saturated
8×	unsound

Counts

4 849 → 4 849

localize12.9s (10.9%)

Memory

-17.2MiB live, 11 579.6MiB allocated; 3.1s collecting garbage

Samples

5.3s	5 319×	1	valid
2.3s	1 769×	2	valid
1.9s	9 978×	0	valid
1.5s	216×	5	exit
56.0ms	126×	0	invalid

Compiler

Compiled 11 419 to 1 710 computations (85% saved)

Precisions

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

ival-cos: 1.6s (18.2% of total)

adjust: 1.4s (15.8% of total)

ival-mult: 1.3s (15.3% of total)

ival-div: 612.0ms (7% of total)

ival-pow: 561.0ms (6.4% of total)

ival-add: 543.0ms (6.2% of total)

ival-tan: 492.0ms (5.7% of total)

ival-sin: 405.0ms (4.7% of total)

const: 348.0ms (4% of total)

ival-sub: 328.0ms (3.8% of total)

ival-sqrt: 223.0ms (2.6% of total)

ival-log: 150.0ms (1.7% of total)

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

ival-exp: 108.0ms (1.2% of total)

ival-fmod: 88.0ms (1% of total)

ival-asin: 87.0ms (1% of total)

ival-sinh: 87.0ms (1% of total)

ival-neg: 61.0ms (0.7% of total)

ival-pi: 55.0ms (0.6% of total)

ival-acos: 32.0ms (0.4% of total)

ival-hypot: 26.0ms (0.3% of total)

ival-cosu: 25.0ms (0.3% of total)

exact: 20.0ms (0.2% of total)

ival-true: 15.0ms (0.2% of total)

ival-assert: 8.0ms (0.1% of total)

ival-atan: 1.0ms (0% of total)

rewrite7.7s (6.5%)

Memory

-462.4MiB live, 5 696.6MiB allocated; 3.0s collecting garbage

Stop Event

211×	iter limit
45×	node limit
21×	unsound
4×	saturated

Counts

907 → 12 915

regimes4.5s (3.8%)

Memory

71.1MiB live, 5 881.3MiB allocated; 579ms collecting garbage

Counts

2 813 → 153

Calls

53 calls:

526.0ms	x
417.0ms	a
284.0ms	hi
280.0ms	b
270.0ms	r

Compiler

Compiled 1 671 to 1 944 computations (-16.3% saved)

preprocess4.4s (3.7%)

Memory

316.2MiB live, 3 734.4MiB allocated; 1.3s collecting garbage

Stop Event

38×	iter limit
29×	node limit
13×	saturated

Compiler

Compiled 8 235 to 2 868 computations (65.2% saved)

derivations4.3s (3.7%)

Memory

-57.4MiB live, 2 573.2MiB allocated; 229ms collecting garbage

Stop Event

12×	fuel
8×	done

Compiler

Compiled 3 302 to 904 computations (72.6% saved)

explain3.1s (2.6%)

Memory

-4.7MiB live, 3 235.5MiB allocated; 487ms 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

540.0ms	108×	5	exit
479.0ms	2 476×	1	valid
444.0ms	6 640×	0	valid
316.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: 554.0ms (39.3% of total)

adjust: 116.0ms (8.2% of total)

ival-tan: 113.0ms (8% of total)

ival-log: 82.0ms (5.8% of total)

ival-mult: 72.0ms (5.1% of total)

ival-div: 62.0ms (4.4% of total)

ival-sqrt: 60.0ms (4.3% of total)

ival-add: 48.0ms (3.4% of total)

ival-exp: 45.0ms (3.2% of total)

ival-fmod: 43.0ms (3% of total)

ival-sub: 40.0ms (2.8% of total)

ival-sinh: 40.0ms (2.8% of total)

ival-sin: 40.0ms (2.8% of total)

ival-acos: 29.0ms (2.1% of total)

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

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

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

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

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

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

ival-atan: 3.0ms (0.2% of total)

exact: 2.0ms (0.1% of total)

analyze3.0s (2.6%)

Memory

191.6MiB live, 3 811.5MiB allocated; 1.4s 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)

eval2.9s (2.5%)

Memory: 281.2MiB live, 3 777.3MiB allocated; 695ms collecting garbage
Compiler: Compiled 690 633 to 74 913 computations (89.2% saved)

series2.7s (2.3%)

Memory

218.5MiB live, 3 437.8MiB allocated; 582ms collecting garbage

Counts

907 → 4 849

Calls

369 calls:

Time	Variable		Point	Expression
66.0ms	x	@	-inf	((* (sqrt x) (sqrt (+ x x))) (sqrt x) (sqrt (+ x x)) (+ x x) (sqrt (+ (pow x 2) (pow x 2))) (/ (* 2 x) (sqrt 2)) (* 2 x) (sqrt 2) (* (sqrt x) (* (sqrt x) (sqrt 2))) (* (sqrt x) (sqrt 2)) (* (pow x 1/4) (pow x 1/4)) (* (* (pow x 1/4) (pow x 1/4)) (sqrt (* 2 x))) (pow x 1/4) (sqrt (* 2 x)) (* (pow (* 2 x) 1/4) (pow (* 2 x) 1/4)) (* (sqrt x) (* (pow (* 2 x) 1/4) (pow (* 2 x) 1/4))) (pow (* 2 x) 1/4))
66.0ms	z	@	0	((+ (/ (pow (* (neg (tan z)) (tan y)) 3) (- (+ (* (pow (tan z) 2) (pow (tan y) 2)) 1) (* (neg (tan z)) (tan y)))) (/ 1 (- (+ (* (pow (tan z) 2) (pow (tan y) 2)) 1) (* (neg (tan z)) (tan y))))) (- (+ (* (pow (tan z) 2) (pow (tan y) 2)) 1) (* (neg (tan z)) (tan y))) (+ x (- (/ (+ (tan y) (tan z)) (+ (/ (pow (* (neg (tan z)) (tan y)) 3) (- (+ (* (pow (tan z) 2) (pow (tan y) 2)) 1) (* (neg (tan z)) (tan y)))) (/ 1 (- (+ (* (pow (tan z) 2) (pow (tan y) 2)) 1) (* (neg (tan z)) (tan y)))))) (tan a))) (+ (* (pow (tan z) 2) (pow (tan y) 2)) 1) (+ (- (tan (+ y z)) (tan a)) x) (- (tan (+ y z)) (tan a)) (tan (+ y z)) (+ y z) (+ x (- (tan (+ y z)) (tan a))) (- (/ (sin (+ z y)) (cos (+ z y))) (/ (sin a) (cos a))) (/ (sin (+ y z)) (cos (+ y z))) (sin (+ y z)) (/ (sin (- (+ (PI) (+ y z)) a)) (* (neg (cos (+ y z))) (cos a))) (sin (- (+ (PI) (+ y z)) a)) (+ x (/ (sin (- (+ (PI) (+ y z)) a)) (* (neg (cos (+ y z))) (cos a)))) (- (+ (PI) (+ y z)) a) (/ (+ (pow (- (tan (+ y z)) (tan a)) 3) (pow x 3)) (+ (* (- (tan (+ y z)) (tan a)) (- (- (tan (+ y z)) (tan a)) x)) (* x x))) (+ (pow (- (tan (+ y z)) (tan a)) 3) (pow x 3)) (pow (- (tan (+ y z)) (tan a)) 3) (- (tan (+ y z)) (tan a)) (pow (* (neg (tan z)) (tan y)) 3) (pow (tan y) 2) (pow (tan z) 2) (* (neg (tan z)) (tan y)) (cos (+ y z)) (tan (+ y z)))
53.0ms	w	@	inf	((pow (sqrt (pow l (exp w))) 2) (* (exp (neg w)) (pow (sqrt (pow l (exp w))) 2)) (exp (neg w)) (neg w) (- (* 1/2 w) 1) (* (exp (neg w)) (pow (exp (exp w)) (log l))) (exp (neg w)) (+ (* (- (* 1/2 w) 1) w) 1) (* (exp (neg w)) (pow l (exp w))) (exp (neg w)) (pow l (exp w)) (exp w) (* (exp (neg w)) (pow l (exp w))) (- (* (+ (* -1/6 w) 1/2) w) 1) (* (exp (neg w)) (pow l (exp w))) (exp (neg w)) (+ (* (- (* (+ (* -1/6 w) 1/2) w) 1) w) 1) (pow l (exp w)) (sqrt (pow l (exp w))) (pow (exp (exp w)) (log l)) (* 1/2 w) (exp w) (+ (* 1/6 w) 1/2) (pow l (exp w)) (+ (* -1/6 w) 1/2) (* (+ (* -1/6 w) 1/2) w))
47.0ms	x	@	0	((* (sqrt x) (sqrt (+ x x))) (sqrt x) (sqrt (+ x x)) (+ x x) (sqrt (+ (pow x 2) (pow x 2))) (/ (* 2 x) (sqrt 2)) (* 2 x) (sqrt 2) (* (sqrt x) (* (sqrt x) (sqrt 2))) (* (sqrt x) (sqrt 2)) (* (pow x 1/4) (pow x 1/4)) (* (* (pow x 1/4) (pow x 1/4)) (sqrt (* 2 x))) (pow x 1/4) (sqrt (* 2 x)) (* (pow (* 2 x) 1/4) (pow (* 2 x) 1/4)) (* (sqrt x) (* (pow (* 2 x) 1/4) (pow (* 2 x) 1/4))) (pow (* 2 x) 1/4))
47.0ms	x	@	inf	((log (/ (sinh x) x)) (/ (sinh x) x) (sinh x))

prune2.2s (1.8%)

Memory: -297.8MiB live, 2 765.6MiB allocated; 352ms collecting garbage
Counts: 19 196 → 1 445
Compiler: Compiled 84 126 to 41 799 computations (50.3% saved)

bsearch805.0ms (0.7%)

Memory

-103.4MiB live, 802.2MiB allocated; 69ms collecting garbage

Algorithm

29×	binary-search
7×	left-value

Stop Event

29×	narrow-enough

Samples

499.0ms	1 936×	1	valid
93.0ms	960×	0	valid

Compiler

Compiled 9 610 to 7 975 computations (17% saved)

Precisions

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

ival-cos: 132.0ms (27% of total)

ival-sin: 107.0ms (21.9% of total)

adjust: 52.0ms (10.6% of total)

ival-add: 43.0ms (8.8% of total)

ival-div: 40.0ms (8.2% of total)

ival-mult: 40.0ms (8.2% of total)

ival-tan: 34.0ms (7% of total)

ival-exp: 19.0ms (3.9% of total)

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

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

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

ival-sqrt: 2.0ms (0.4% of total)

ival-pow2: 2.0ms (0.4% of total)

ival-true: 2.0ms (0.4% of total)

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

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

exact: 0.0ms (0% of total)

start1.0ms (0%)

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

end0.0ms (0%)

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

sample48.2s (40.8%)

simplify21.2s (18%)

localize12.9s (10.9%)

rewrite7.7s (6.5%)

regimes4.5s (3.8%)

preprocess4.4s (3.7%)

derivations4.3s (3.7%)

explain3.1s (2.6%)

analyze3.0s (2.6%)

eval2.9s (2.5%)

series2.7s (2.3%)

prune2.2s (1.8%)

bsearch805.0ms (0.7%)

start1.0ms (0%)

end0.0ms (0%)

Profiling