Metrics for Herbie run

Date:	Wednesday, May 7th, 2025
Commit:	d1b9a729 on mega-taylor-deduplication
Seed:	2025127
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:	145 672.6 MB

sample51.1s (40.3%)

Memory

931.9MiB live, 56 209.5MiB allocated; 20.5s collecting garbage

Samples

21.7s	292 908×	0	valid
7.8s	35 652×	1	valid
7.1s	17 732×	2	valid
369.0ms	4 203×	0	invalid
201.0ms	460×	3	valid
124.0ms	954×	0	exit
109.0ms	101×	4	exit
47.0ms	101×	3	exit
4.0ms	33×	1	exit

Precisions

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

ival-mult!: 6.3s (25.9% of total)

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

ival-div!: 2.9s (12% of total)

adjust: 2.1s (8.7% of total)

ival-sin: 1.9s (8% of total)

ival-sub!: 1.9s (7.8% of total)

ival-cos: 1.5s (6.2% of total)

ival-add!: 1.4s (5.6% of total)

ival-pow2: 837.0ms (3.4% of total)

ival-sqrt: 707.0ms (2.9% of total)

ival-exp: 469.0ms (1.9% of total)

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

ival-expm1: 99.0ms (0.4% of total)

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

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

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

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

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

ival-<=: 15.0ms (0.1% of total)

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

rewrite29.0s (22.9%)

Memory

998.3MiB live, 30 307.2MiB allocated; 8.0s collecting garbage

Stop Event

365×	iter-limit
142×	node-limit
11×	saturated
6×	unsound

Counts

15 308 → 35 955

derivations8.9s (7%)

Memory

-88.6MiB live, 8 802.2MiB allocated; 2.5s collecting garbage

Stop Event

26×	fuel
16×	done

Compiler

Compiled 5 886 to 2 772 computations (52.9% saved)

preprocess7.3s (5.7%)

Memory

-455.9MiB live, 8 357.6MiB allocated; 1.8s collecting garbage

Stop Event

37×	node-limit
5×	saturated

Compiler

Compiled 14 580 to 10 088 computations (30.8% saved)

eval7.3s (5.7%)

Memory: -221.5MiB live, 9 805.9MiB allocated; 3.9s collecting garbage
Compiler: Compiled 550 816 to 179 177 computations (67.5% saved)

regimes6.7s (5.3%)

Memory

184.7MiB live, 9 428.5MiB allocated; 2.1s collecting garbage

Counts

4 607 → 576

Calls

96 calls:

685.0ms	x
650.0ms	n
476.0ms	b
349.0ms	(.f64 (cos.f64 x) (exp.f64 (.f64 #s(literal 10 binary64) (*.f64 x x))))
274.0ms	d

Compiler

Compiled 6 890 to 5 367 computations (22.1% saved)

series5.3s (4.2%)

Memory

896.7MiB live, 8 179.5MiB allocated; 1.6s collecting garbage

Counts

3 381 → 11 927

Calls

894 calls:

Time	Variable		Point	Expression
105.0ms	y	@	0	((/ (* (- x y) (+ x y)) (+ (* x x) (* y y))) -1 (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))) 1 (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))) (+ (* (/ (* y y) (* x x)) -2) 1) (/ (* y y) (* x x)) (* y y) y (* x x) x -2 (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))) (* (- x y) (+ x y)) (- x y) (+ x y) (+ (* x x) (* y y)) (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))) (- (/ (* 2 (* x x)) (* y y)) 1) (/ (* 2 (* x x)) (* y y)) (* 2 (* x x)) 2)
101.0ms	x	@	0	((log (+ 1 x)) x (log (+ 1 x)) (log (+ 1 x)) (log x) (log (+ 1 x)) (* (+ (* -1/2 x) 1) x) (+ (* -1/2 x) 1) -1/2 1 (log (- x -1)) (- x -1) -1)
91.0ms	c	@	-inf	((* (+ a (+ b (+ c d))) 2) (* (+ (* (/ (+ (+ d b) a) c) 2) 2) c) (+ (* (/ (+ (+ d b) a) c) 2) 2) (/ (+ (+ d b) a) c) (+ (+ d b) a) (* b (+ 1 (/ (+ a d) b))) b (+ 1 (/ (+ a d) b)) 1 (/ (+ a d) b) (+ a d) a d c 2 (* (+ a (+ (+ c b) d)) 2) (+ a (+ (+ c b) d)) (+ (+ c b) d) (+ c b) (* (+ a (+ b (+ c d))) 2) (* (+ (* (/ (+ (+ c b) a) d) 2) 2) d) (+ (* (/ (+ (+ c b) a) d) 2) 2) (/ (+ (+ c b) a) d) (+ (+ c b) a) (+ c b) (* (+ a (+ b (+ c d))) 2) (* 2 (+ (+ (+ d c) a) b)) (+ (+ (+ d c) a) b) (+ (+ d c) a) (* d (+ 1 (/ (+ a c) d))) (+ 1 (/ (+ a c) d)) (/ (+ a c) d) (+ a c) (* (+ a (+ b (+ c d))) 2) (* 2 (+ (+ (+ d c) a) b)) (+ (+ (+ d c) a) b) (+ (+ d c) a) (* c (+ 1 (/ (+ a d) c))) (+ 1 (/ (+ a d) c)) (/ (+ a d) c) (+ a d) (* a (+ 1 (/ d a))) (+ 1 (/ d a)) (/ d a))
88.0ms	n	@	0	((* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (/ (* (- (exp i) 1) n) i) (* (- (exp i) 1) n) (- (exp i) 1) i n (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (- (pow (+ 1 (/ i n)) n) 1) (/ i n) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (- (pow (+ 1 (/ i n)) n) 1) (* (log (* i (/ 1 n))) n) (log (* i (/ 1 n))) (* i (/ 1 n)) (/ 1 n) 1 (* 100 (/ (- (exp (* (log (+ (/ i n) 1)) n)) 1) (/ i n))) (/ (- (exp (* (log (+ (/ i n) 1)) n)) 1) (/ i n)) (- (exp (* (log (+ (/ i n) 1)) n)) 1) (* (log (+ (/ i n) 1)) n) (log (+ (/ i n) 1)) (+ (/ i n) 1))
82.0ms	x	@	0	((+ (+ (+ (* 1335/4 (pow y 6)) (* (* x x) (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* 121 (pow y 4))) 2))) (* 11/2 (pow y 8))) (/ x (* 2 y))) (+ (+ (* 1335/4 (pow y 6)) (* (* x x) (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* 121 (pow y 4))) 2))) (* 11/2 (pow y 8))) (* -2 (exp (* (log x) 2))) -2 (exp (* (log x) 2)) (* (log x) 2) (log x) x 2 (/ x (* 2 y)) (* 2 y) y (+ (/ x (+ y y)) (+ (+ (* 1335/4 (pow y 6)) (* (* x x) (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* 121 (pow y 4))) 2))) (* 11/2 (pow y 8)))) (/ x (+ y y)) (+ y y) (+ (+ (* 1335/4 (pow y 6)) (* (* x x) (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* 121 (pow y 4))) 2))) (* 11/2 (pow y 8))) (* (* x x) -2) (* x x))

prune4.1s (3.3%)

Memory: -626.2MiB live, 5 226.6MiB allocated; 1.7s collecting garbage
Counts: 34 709 → 1 969
Compiler: Compiled 104 672 to 73 427 computations (29.9% saved)

bsearch3.6s (2.9%)

Memory

113.4MiB live, 4 336.4MiB allocated; 890ms collecting garbage

Algorithm

224×	binary-search
68×	left-value

Stop Event

218×	narrow-enough
5×	predicate-same
1×	predicate-failed

Samples

1.2s	11 280×	0	valid
618.0ms	573×	2	valid
412.0ms	1 318×	1	valid
74.0ms	1 303×	0	invalid
22.0ms	29×	3	valid
2.0ms	23×	0	exit

Compiler

Compiled 157 101 to 108 931 computations (30.7% saved)

Precisions

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

ival-mult!: 445.0ms (25.7% of total)

ival-pow: 380.0ms (21.9% of total)

adjust: 379.0ms (21.9% of total)

ival-div!: 215.0ms (12.4% of total)

ival-add!: 85.0ms (4.9% of total)

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

ival-sub!: 63.0ms (3.6% of total)

ival-sqrt: 49.0ms (2.8% of total)

ival-neg: 27.0ms (1.6% of total)

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

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

analyze3.5s (2.8%)

Memory

101.0MiB live, 5 012.3MiB allocated; 1.2s 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)

start2.0ms (0%)

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

end0.0ms (0%)

Memory: 1.1MiB live, 0.9MiB allocated; 0ms collecting garbage

sample51.1s (40.3%)

rewrite29.0s (22.9%)

derivations8.9s (7%)

preprocess7.3s (5.7%)

eval7.3s (5.7%)

regimes6.7s (5.3%)

series5.3s (4.2%)

prune4.1s (3.3%)

bsearch3.6s (2.9%)

analyze3.5s (2.8%)

start2.0ms (0%)

end0.0ms (0%)

Profiling