Metrics for Herbie run

Date:	Wednesday, April 16th, 2025
Commit:	49675406 on chassis-platforms-cleanup
Seed:	2025106
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:	160 339.3 MB

sample48.5s (37.9%)

Memory

259.1MiB live, 58 234.6MiB allocated; 18.9s collecting garbage

Samples

20.9s	293 006×	0	valid
7.6s	35 785×	1	valid
5.9s	17 505×	2	valid
424.0ms	4 261×	0	invalid
186.0ms	456×	3	valid
92.0ms	943×	0	exit
67.0ms	101×	3	exit
54.0ms	101×	4	exit
4.0ms	30×	1	exit

Precisions

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

ival-mult!: 5.0s (21.5% of total)

ival-pow: 4.6s (19.6% of total)

adjust: 2.8s (12.1% of total)

ival-div!: 2.4s (10.1% of total)

ival-add!: 1.8s (7.9% of total)

ival-sub!: 1.6s (6.8% of total)

ival-sin: 1.5s (6.5% of total)

ival-cos: 1.3s (5.5% of total)

ival-exp: 602.0ms (2.6% of total)

ival-sqrt: 523.0ms (2.2% of total)

ival-pow2: 440.0ms (1.9% of total)

ival-neg: 355.0ms (1.5% of total)

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

ival-log1p: 90.0ms (0.4% of total)

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

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

ival-tan: 62.0ms (0.3% of total)

ival-hypot: 16.0ms (0.1% of total)

ival-and: 8.0ms (0% of total)

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

ival-if: 4.0ms (0% of total)

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

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

const: 0.0ms (0% of total)

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

Bogosity

rewrite28.7s (22.4%)

Memory

649.4MiB live, 31 505.1MiB allocated; 7.3s collecting garbage

Stop Event

381×	iter-limit
149×	node-limit
10×	saturated
4×	unsound

Counts

18 984 → 41 050

explain8.6s (6.7%)

Memory

-114.9MiB live, 12 228.3MiB allocated; 2.5s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	1283	1
`+.f64`	`#f`	cancellation	369	96
`-.f64`	(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))	oflow-left	219	0
`sqrt.f64`	`#f`	oflow-rescue	188	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) x))`	sensitivity	169	0
`/.f64`	`#f`	o/o	155	0
`/.f64`	`#f`	n/o	149	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	sensitivity	117	0
`-.f64`	`#f`	nan-rescue	111	0
`/.f64`	`#f`	u/n	81	0
`*.f64`	`#f`	*nu**	57	0
`+.f64`	`#f`	nan-rescue	51	0
`/.f64`	`#f`	n/u	50	0
`/.f64`	`#f`	o/n	44	0
`/.f64`	`#f`	u/u	43	0
`*.f64`	`#f`	*no**	29	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	oflow-rescue	17	0
↳	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	overflow	37
↳	`(/.f64 i n)`	overflow	17
↳	`(+.f64 #s(literal 1 binary64) (/.f64 i n))`	overflow	17
`sqrt.f64`	`#f`	uflow-rescue	16	0
`exp.f64`	`#f`	sensitivity	2	2

Confusion

	Predicted +	Predicted -
+	3839	227
-	118	6568

Precision

0.9701794288602477

Recall

0.9441711756025578

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3839	170	57
-	118	184	6384

Precision?

0.9299466481094874

Recall?

0.985981308411215

Freqs

test

number	freq
0	6795
1	3527
2	392
3	38

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	30	1	0
-	2	0	9

Precision?

0.9393939393939394

Recall?

1.0

Samples

1.2s	16 854×	0	valid
956.0ms	3 150×	1	valid
558.0ms	1 456×	2	valid
18.0ms	44×	3	valid

Compiler

Compiled 7 535 to 1 486 computations (80.3% saved)

Precisions

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

ival-mult!: 351.0ms (24.6% of total)

adjust: 233.0ms (16.3% of total)

ival-pow: 204.0ms (14.3% of total)

ival-add!: 127.0ms (8.9% of total)

ival-div!: 127.0ms (8.9% of total)

ival-sin: 113.0ms (7.9% of total)

ival-sub!: 88.0ms (6.2% of total)

ival-cos: 79.0ms (5.5% of total)

ival-exp: 29.0ms (2% of total)

ival-sqrt: 29.0ms (2% of total)

ival-pow2: 17.0ms (1.2% of total)

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

ival-log1p: 5.0ms (0.3% of total)

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

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

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

const: 0.0ms (0% of total)

derivations8.3s (6.5%)

Memory

-312.0MiB live, 8 633.9MiB allocated; 1.3s collecting garbage

Stop Event

24×	fuel
18×	done

Compiler

Compiled 27 354 to 2 770 computations (89.9% saved)

preprocess6.5s (5.1%)

Memory

-73.8MiB live, 8 323.4MiB allocated; 1.4s collecting garbage

Stop Event

32×	node-limit
10×	saturated

Compiler

Compiled 77 418 to 17 306 computations (77.6% saved)

eval6.5s (5.1%)

Memory: -188.0MiB live, 11 112.4MiB allocated; 1.7s collecting garbage
Compiler: Compiled 2 013 278 to 197 063 computations (90.2% saved)

regimes5.8s (4.5%)

Memory

185.5MiB live, 9 553.0MiB allocated; 1.1s collecting garbage

Counts

4 823 → 578

Calls

96 calls:

720.0ms	x
482.0ms	(.f64 (cos.f64 x) (exp.f64 (.f64 #s(literal 10 binary64) (*.f64 x x))))
268.0ms	b
249.0ms	c
246.0ms	a

Compiler

Compiled 8 666 to 5 873 computations (32.2% saved)

series4.7s (3.6%)

Memory

268.4MiB live, 6 992.9MiB allocated; 1.1s collecting garbage

Counts

3 277 → 15 707

Calls

918 calls:

Time	Variable		Point	Expression
103.0ms	t	@	-inf	((- 1 (/ 1 (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))) (+ (neg (/ (- 2/9 (/ 1/27 t)) t)) 5/6) (/ (+ (* (- (* 5/6 t) 2/9) t) 1/27) (* t t)) (+ (* (- (* 5/6 t) 2/9) t) 1/27) (- (* 5/6 t) 2/9) (* 5/6 t) 5/6 t 2/9 1/27 (* t t) (- 1 (/ 1 (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))) (+ (neg (/ (- 2/9 (/ 1/27 t)) t)) 5/6) (neg (/ (- 2/9 (/ 1/27 t)) t)) (/ (- (/ 1/27 t) 2/9) t) (- (/ 1/27 t) 2/9) (/ 1/27 t) (- 1 (/ 1 (+ (pow (- 2 (/ 2 (* t (+ (/ 1 t) 1)))) 2) 2))) 1 (/ 1 (+ (pow (- 2 (/ 2 (* t (+ (/ 1 t) 1)))) 2) 2)) (+ (pow (- 2 (/ 2 (* t (+ (/ 1 t) 1)))) 2) 2) (+ (* (+ (* (- (* 12 t) 8) t) 4) (* t t)) 2) (+ (* (- (* 12 t) 8) t) 4) (- (* 12 t) 8) (* 12 t) 12 8 4 2 (- 1 (/ 1 (+ (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))) 2))) (/ 1 (+ (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))) 2)) (+ (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))) 2) (- 2 (/ 2 (+ t 1))) (/ 2 (+ t 1)) (+ t 1))
65.0ms	w	@	0	((- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (- (/ 2 (* r r)) (+ (* (* 1/4 (* r r)) (* w w)) 3/2)) (/ 2 (* r r)) 2 (* r r) r (+ (* (* 1/4 (* r r)) (* w w)) 3/2) (* 1/4 (* r r)) 1/4 (* w w) w 3/2 (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (- (/ 2 (* r r)) (+ (* (* (* w (* w r)) r) 3/8) 3/2)) (+ (* (* (* w (* w r)) r) 3/8) 3/2) (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) (+ 3 (/ 2 (* r r))) 3 (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v)) (* (* 1/4 (* r r)) (* w w)) 9/2 (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (- (/ 2 (* r r)) (+ (* (* (* w (* w r)) r) 3/8) 3/2)) (neg (* (+ (* (* w w) 3/8) (/ 3/2 (* r r))) (* r r))) (* (+ (* (* w w) 3/8) (/ 3/2 (* r r))) (* r r)) (+ (* (* w w) 3/8) (/ 3/2 (* r r))) 3/8 (/ 3/2 (* r r)) (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v)) (* (exp (* (log (* w r)) 2)) 3/8) (exp (* (log (* w r)) 2)) (* (log (* w r)) 2) (log (* w r)) (* w r))
52.0ms	r	@	inf	((- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (- (/ 2 (* r r)) (+ (* (* 1/4 (* r r)) (* w w)) 3/2)) (/ 2 (* r r)) 2 (* r r) r (+ (* (* 1/4 (* r r)) (* w w)) 3/2) (* 1/4 (* r r)) 1/4 (* w w) w 3/2 (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (- (/ 2 (* r r)) (+ (* (* (* w (* w r)) r) 3/8) 3/2)) (+ (* (* (* w (* w r)) r) 3/8) 3/2) (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) (+ 3 (/ 2 (* r r))) 3 (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v)) (* (* 1/4 (* r r)) (* w w)) 9/2 (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (- (/ 2 (* r r)) (+ (* (* (* w (* w r)) r) 3/8) 3/2)) (neg (* (+ (* (* w w) 3/8) (/ 3/2 (* r r))) (* r r))) (* (+ (* (* w w) 3/8) (/ 3/2 (* r r))) (* r r)) (+ (* (* w w) 3/8) (/ 3/2 (* r r))) 3/8 (/ 3/2 (* r r)) (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v)) (* (exp (* (log (* w r)) 2)) 3/8) (exp (* (log (* w r)) 2)) (* (log (* w r)) 2) (log (* w r)) (* w r))
52.0ms	x	@	0	((* (sin (+ x (/ (PI) 2))) (pow (pow (exp 10) (fabs x)) (fabs x))) (sin (+ x (/ (PI) 2))) (+ x (/ (PI) 2)) x (/ (PI) 2) (PI) 2 (pow (pow (exp 10) (fabs x)) (fabs x)) (pow (exp 10) (fabs x)) (exp 10) 10 (fabs x) (* (cos x) (exp (* 10 (* x x)))) (cos x) (+ (* -1/2 (* x x)) 1) (* (* x x) -1/2) (* x x) -1/2 (exp (* 10 (* x x))) (* 10 (* x x)) (* (cos x) (exp (* 10 (* x x)))) (cos x) (- 1 (* (neg (* x x)) (- (* (+ (* (* x x) -1/720) 1/24) (* x x)) 1/2))) 1 (* (neg (* x x)) (- (* (+ (* (* x x) -1/720) 1/24) (* x x)) 1/2)) (neg (* x x)) (- (* (+ (* (* x x) -1/720) 1/24) (* x x)) 1/2) (* (+ (* (* x x) -1/720) 1/24) (* x x)) (+ (* (* x x) -1/720) 1/24) -1/720 1/24 1/2 (* (sin (+ x (/ (PI) 2))) (/ 1 (exp (* (* -10 x) x)))) (/ 1 (exp (* (* -10 x) x))) (exp (* (* -10 x) x)) (* (* -10 x) x) (* -10 x) -10 (* (sin (+ x (/ (PI) 2))) (pow (exp (* (* 10 x) (/ x 2))) 2)) (pow (exp (* (* 10 x) (/ x 2))) 2) (exp (* (* 10 x) (/ x 2))) (* (* 10 x) (/ x 2)) (* 10 x) (/ x 2))
51.0ms	x	@	inf	((* (+ (* (* x -6450306886639899/50000000000000000) x) 238732414637843/250000000000000) x) (+ (* (* x -6450306886639899/50000000000000000) x) 238732414637843/250000000000000) (* x -6450306886639899/50000000000000000) x -6450306886639899/50000000000000000 238732414637843/250000000000000 (- (* 238732414637843/250000000000000 x) (* 6450306886639899/50000000000000000 (* (* x x) x))) (* (* (* x x) x) -6450306886639899/50000000000000000) (* (* x x) x) (* x x) (/ (* (- 56993165798814994692847692649/62500000000000000000000000000 (* (* (* x x) (* x x)) 41606458931834106848498498730201/2500000000000000000000000000000000)) x) (- 238732414637843/250000000000000 (* -6450306886639899/50000000000000000 (* x x)))) (* (- 56993165798814994692847692649/62500000000000000000000000000 (* (* (* x x) (* x x)) 41606458931834106848498498730201/2500000000000000000000000000000000)) x) (- 56993165798814994692847692649/62500000000000000000000000000 (* (* (* x x) (* x x)) 41606458931834106848498498730201/2500000000000000000000000000000000)) 56993165798814994692847692649/62500000000000000000000000000 (- 238732414637843/250000000000000 (* -6450306886639899/50000000000000000 (* x x))) (* -6450306886639899/50000000000000000 (* x x)) (- (* 238732414637843/250000000000000 x) (* 6450306886639899/50000000000000000 (pow x 3))) (* 238732414637843/250000000000000 x) (* 6450306886639899/50000000000000000 (pow x 3)) 6450306886639899/50000000000000000 (pow x 3) 3 (/ (* (- 56993165798814994692847692649/62500000000000000000000000000 (* (* (* (* x x) -6450306886639899/50000000000000000) (* x x)) -6450306886639899/50000000000000000)) x) (- 238732414637843/250000000000000 (* -6450306886639899/50000000000000000 (* x x)))) (* (- 56993165798814994692847692649/62500000000000000000000000000 (* (* (* (* x x) -6450306886639899/50000000000000000) (* x x)) -6450306886639899/50000000000000000)) x) (- 56993165798814994692847692649/62500000000000000000000000000 (* (* (* (* x x) -6450306886639899/50000000000000000) (* x x)) -6450306886639899/50000000000000000)) (* (* (* (* x x) -6450306886639899/50000000000000000) (* x x)) -6450306886639899/50000000000000000) (* (* (* x x) -6450306886639899/50000000000000000) (* x x)) (* (* x x) -6450306886639899/50000000000000000))

analyze4.6s (3.6%)

Memory

198.8MiB live, 4 553.6MiB allocated; 2.6s collecting garbage

Algorithm

43×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	54.5%	45.5%	0%	0%	0%	0
21.4%	11.7%	42.9%	45.5%	0%	0%	0%	1
37.4%	20.4%	34.1%	45.5%	0%	0%	0%	2
48.7%	26.2%	27.7%	45.5%	0%	0.6%	0%	3
57.7%	30.7%	22.6%	45.5%	0%	1.2%	0%	4
71.2%	37.7%	15.3%	45.5%	0%	1.6%	0%	5
72.9%	38.4%	14.3%	45.5%	0%	1.8%	0%	6
77.9%	40.7%	11.6%	45.5%	0%	2.2%	0%	7
81.5%	42.6%	9.7%	45.5%	0%	2.3%	0%	8
84.1%	43.8%	8.3%	45.5%	0%	2.5%	0%	9
86.2%	44.6%	7.2%	45.5%	0%	2.7%	0%	10
88.2%	45.6%	6.1%	45.5%	0%	2.8%	0%	11
89.1%	45.9%	5.6%	45.5%	0%	2.9%	0%	12

Compiler

Compiled 1 402 to 721 computations (48.6% saved)

bsearch3.0s (2.3%)

Memory

55.4MiB live, 4 087.8MiB allocated; 667ms collecting garbage

Algorithm

195×	binary-search
85×	left-value

Stop Event

184×	narrow-enough
10×	predicate-same
1×	predicate-failed

Samples

1.0s	11 042×	0	valid
375.0ms	663×	2	valid
311.0ms	1 211×	1	valid
89.0ms	1 333×	0	invalid
55.0ms	44×	3	valid
1.0ms	16×	0	exit

Compiler

Compiled 138 465 to 70 731 computations (48.9% saved)

Precisions

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

ival-mult!: 446.0ms (32.6% of total)

ival-pow: 440.0ms (32.2% of total)

ival-div!: 135.0ms (9.9% of total)

adjust: 90.0ms (6.6% of total)

ival-add!: 76.0ms (5.6% of total)

ival-sub!: 68.0ms (5% of total)

ival-neg: 33.0ms (2.4% of total)

ival-exp: 28.0ms (2% of total)

ival-sqrt: 27.0ms (2% of total)

ival-log1p: 23.0ms (1.7% of total)

ival-expm1: 2.0ms (0.1% of total)

prune2.9s (2.2%)

Memory: 327.1MiB live, 5 107.2MiB allocated; 758ms collecting garbage
Counts: 42 532 → 1 878
Compiler: Compiled 134 943 to 60 157 computations (55.4% saved)

start2.0ms (0%)

Memory: 6.4MiB live, 6.3MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory: 0.8MiB live, 0.7MiB allocated; 0ms collecting garbage

sample48.5s (37.9%)

rewrite28.7s (22.4%)

explain8.6s (6.7%)

derivations8.3s (6.5%)

preprocess6.5s (5.1%)

eval6.5s (5.1%)

regimes5.8s (4.5%)

series4.7s (3.6%)

analyze4.6s (3.6%)

bsearch3.0s (2.3%)

prune2.9s (2.2%)

start2.0ms (0%)

end0.0ms (0%)

Profiling