Metrics for Herbie run

Date:	Wednesday, April 16th, 2025
Commit:	5565a39e on main
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:	27 195.3 MB

sample8.9s (38.7%)

Memory

280.2MiB live, 9 519.9MiB allocated; 4.4s collecting garbage

Samples

5.1s	70 185×	0	valid
872.0ms	4 111×	2	valid
152.0ms	1 960×	0	invalid
1.0ms	8×	1	valid

Precisions

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

ival-mult!: 1.0s (28.8% of total)

ival-sub!: 609.0ms (17% of total)

ival-div!: 533.0ms (14.9% of total)

ival-neg: 383.0ms (10.7% of total)

ival-sqrt: 357.0ms (10% of total)

ival-fabs: 177.0ms (4.9% of total)

adjust: 165.0ms (4.6% of total)

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

ival-add!: 115.0ms (3.2% of total)

ival-log: 90.0ms (2.5% of total)

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

ival->=: 3.0ms (0.1% of total)

Bogosity

rewrite5.4s (23.8%)

Memory

179.4MiB live, 5 780.5MiB allocated; 1.3s collecting garbage

Stop Event

70×	iter-limit
26×	node-limit
2×	unsound
1×	saturated

Counts

4 185 → 6 455

derivations1.5s (6.6%)

Memory

-19.0MiB live, 1 551.7MiB allocated; 192ms collecting garbage

Stop Event

7×	done
2×	fuel

Compiler

Compiled 4 862 to 605 computations (87.6% saved)

eval1.4s (6.1%)

Memory: 8.7MiB live, 2 124.8MiB allocated; 457ms collecting garbage
Compiler: Compiled 505 050 to 39 264 computations (92.2% saved)

explain1.3s (5.9%)

Memory

-91.9MiB live, 2 080.3MiB allocated; 294ms collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	248	0
`-.f64`	`#f`	cancellation	116	0
`+.f64`	`#f`	cancellation	99	0
`sqrt.f64`	`#f`	uflow-rescue	76	0
`/.f64`	`#f`	u/n	29	0
`/.f64`	`#f`	n/u	24	0
`-.f64`	`#f`	nan-rescue	19	0
`*.f64`	`(*.f64 (/.f64 x y) z)`	*no**	10	0
`*.f64`	`(*.f64 (/.f64 x y) z)`	*nu**	7	0
`/.f64`	`(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) c)))) (.f64 #s(literal 2 binary64) a))`	n/o	1	0
↳	`(*.f64 #s(literal 2 binary64) a)`	overflow	1

Confusion

	Predicted +	Predicted -
+	285	10
-	214	1795

Precision

0.5711422845691383

Recall

0.9661016949152542

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	285	0	10
-	214	0	1795

Precision?

0.5711422845691383

Recall?

0.9661016949152542

Freqs

test

number	freq
0	1805
1	378
2	112
3	9

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	4	0	0
-	0	0	5

Precision?

1.0

Recall?

1.0

Samples

223.0ms	3 696×	0	valid
179.0ms	556×	2	valid
92.0ms	280×	1	valid
27.0ms	76×	3	valid

Compiler

Compiled 1 107 to 300 computations (72.9% saved)

Precisions

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

ival-mult!: 86.0ms (24.7% of total)

ival-sub!: 60.0ms (17.2% of total)

ival-div!: 44.0ms (12.6% of total)

adjust: 37.0ms (10.6% of total)

ival-add!: 37.0ms (10.6% of total)

ival-sqrt: 35.0ms (10% of total)

ival-neg: 19.0ms (5.4% of total)

ival-if: 10.0ms (2.9% of total)

ival-log: 8.0ms (2.3% of total)

ival-fabs: 6.0ms (1.7% of total)

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

ival->=: 3.0ms (0.9% of total)

series1.1s (4.9%)

Memory

101.4MiB live, 1 820.2MiB allocated; 208ms collecting garbage

Counts

645 → 3 540

Calls

174 calls:

Time	Variable		Point	Expression
64.0ms	c	@	-inf	((if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (+ c c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (>= b 0) b 0 (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (neg b) (sqrt (- (* b b) (* (* 4 a) c))) (- (* b b) (* (* 4 a) c)) (* b b) (* (* 4 a) c) (* 4 a) 4 a c (* 2 a) 2 (/ (+ c c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ c c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* (neg b) (+ (* (* a (/ c (* b b))) -2) 2)) (+ (* (* a (/ c (* b b))) -2) 2) (* a (/ c (* b b))) (/ c (* b b)) -2 (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (+ c c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* -2 b) (/ (+ c c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (+ a a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (+ a a)) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (neg (sqrt (* (* a c) -4))) (sqrt (* (* a c) -4)) (* (* a c) -4) (* a c) -4 (+ a a) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* 2 c) (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 (- (/ (* a c) b) b)) (- (/ (* a c) b) b) (/ (* a c) b) (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (neg (/ (+ (* 1/2 b) (sqrt (* (* c a) -1))) a)) (/ (+ (* 1/2 b) (sqrt (* (* c a) -1))) a) (+ (* 1/2 b) (sqrt (* (* c a) -1))) (* c (+ (* 1/2 (/ b c)) (sqrt (* (/ a c) -1)))) (+ (* 1/2 (/ b c)) (sqrt (* (/ a c) -1))) (sqrt (neg (/ a c))) (neg (/ a c)) (/ a c))
35.0ms	a	@	inf	((if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (/ (+ (pow (+ (* (* -4 a) c) (* b b)) 3/2) (pow (neg b) 3)) (+ (* (sqrt (+ (* (* -4 a) c) (* b b))) (sqrt (+ (* (* -4 a) c) (* b b)))) (- (* b b) (* (sqrt (+ (* (* -4 a) c) (* b b))) (neg b))))) (* 2 a))) (>= b 0) b 0 (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* 2 c) 2 c (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (neg b) (sqrt (- (* b b) (* (* 4 a) c))) (- (* b b) (* (* 4 a) c)) (* b b) (* (* 4 a) c) (* 4 a) 4 a (/ (/ (+ (pow (+ (* (* -4 a) c) (* b b)) 3/2) (pow (neg b) 3)) (+ (* (sqrt (+ (* (* -4 a) c) (* b b))) (sqrt (+ (* (* -4 a) c) (* b b)))) (- (* b b) (* (sqrt (+ (* (* -4 a) c) (* b b))) (neg b))))) (* 2 a)) (/ (+ (pow (+ (* (* -4 a) c) (* b b)) 3/2) (pow (neg b) 3)) (+ (* (sqrt (+ (* (* -4 a) c) (* b b))) (sqrt (+ (* (* -4 a) c) (* b b)))) (- (* b b) (* (sqrt (+ (* (* -4 a) c) (* b b))) (neg b))))) (+ (pow (+ (* (* -4 a) c) (* b b)) 3/2) (pow (neg b) 3)) (pow (+ (* (* -4 a) c) (* b b)) 3/2) (+ (* (* -4 a) c) (* b b)) (* -4 a) -4 3/2 (pow (neg b) 3) 3 (+ (* (sqrt (+ (* (* -4 a) c) (* b b))) (sqrt (+ (* (* -4 a) c) (* b b)))) (- (* b b) (* (sqrt (+ (* (* -4 a) c) (* b b))) (neg b)))) (sqrt (+ (* (* -4 a) c) (* b b))) (- (* b b) (* (sqrt (+ (* (* -4 a) c) (* b b))) (neg b))) (* (sqrt (+ (* (* -4 a) c) (* b b))) (neg b)) (* 2 a) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (neg (/ (+ (* 1/2 b) (neg (sqrt (* (* a c) -1)))) a)) (/ (+ (* 1/2 b) (neg (sqrt (* (* a c) -1)))) a) (+ (* 1/2 b) (neg (sqrt (* (* a c) -1)))) 1/2 (neg (sqrt (* (* a c) -1))) (sqrt (* (* a c) -1)) (* (* a c) -1) (* a c) -1 (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (neg (sqrt (* (/ c a) -1))) (sqrt (* (/ c a) -1)) (* (/ c a) -1) (/ c a) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (+ (* (* a (/ c b)) -2) b) (* a (/ c b)) (/ c b) -2 (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (- (* b b) (* (* 4 a) c)) (* (* -4 a) c) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (neg (/ (+ (* 1/2 b) (neg (sqrt (* (* a c) -1)))) a)) (/ (+ (* 1/2 b) (neg (sqrt (* (* a c) -1)))) a) (+ (* 1/2 (/ b a)) (sqrt (* (/ c a) -1))) (/ b a) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))
29.0ms	x	@	inf	((exp (neg (- 1 (* x x)))) (neg (- 1 (* x x))) -1 (exp (neg (- 1 (* x x)))) (neg (- 1 (* x x))) (* x x) x (exp (neg (- 1 (* x x)))) (neg (- 1 (* x x))) (+ (* x x) -1))
28.0ms	b	@	0	((if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (/ (+ (pow (+ (* (* -4 a) c) (* b b)) 3/2) (pow (neg b) 3)) (+ (* (sqrt (+ (* (* -4 a) c) (* b b))) (sqrt (+ (* (* -4 a) c) (* b b)))) (- (* b b) (* (sqrt (+ (* (* -4 a) c) (* b b))) (neg b))))) (* 2 a))) (>= b 0) b 0 (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* 2 c) 2 c (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (neg b) (sqrt (- (* b b) (* (* 4 a) c))) (- (* b b) (* (* 4 a) c)) (* b b) (* (* 4 a) c) (* 4 a) 4 a (/ (/ (+ (pow (+ (* (* -4 a) c) (* b b)) 3/2) (pow (neg b) 3)) (+ (* (sqrt (+ (* (* -4 a) c) (* b b))) (sqrt (+ (* (* -4 a) c) (* b b)))) (- (* b b) (* (sqrt (+ (* (* -4 a) c) (* b b))) (neg b))))) (* 2 a)) (/ (+ (pow (+ (* (* -4 a) c) (* b b)) 3/2) (pow (neg b) 3)) (+ (* (sqrt (+ (* (* -4 a) c) (* b b))) (sqrt (+ (* (* -4 a) c) (* b b)))) (- (* b b) (* (sqrt (+ (* (* -4 a) c) (* b b))) (neg b))))) (+ (pow (+ (* (* -4 a) c) (* b b)) 3/2) (pow (neg b) 3)) (pow (+ (* (* -4 a) c) (* b b)) 3/2) (+ (* (* -4 a) c) (* b b)) (* -4 a) -4 3/2 (pow (neg b) 3) 3 (+ (* (sqrt (+ (* (* -4 a) c) (* b b))) (sqrt (+ (* (* -4 a) c) (* b b)))) (- (* b b) (* (sqrt (+ (* (* -4 a) c) (* b b))) (neg b)))) (sqrt (+ (* (* -4 a) c) (* b b))) (- (* b b) (* (sqrt (+ (* (* -4 a) c) (* b b))) (neg b))) (* (sqrt (+ (* (* -4 a) c) (* b b))) (neg b)) (* 2 a) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (neg (/ (+ (* 1/2 b) (neg (sqrt (* (* a c) -1)))) a)) (/ (+ (* 1/2 b) (neg (sqrt (* (* a c) -1)))) a) (+ (* 1/2 b) (neg (sqrt (* (* a c) -1)))) 1/2 (neg (sqrt (* (* a c) -1))) (sqrt (* (* a c) -1)) (* (* a c) -1) (* a c) -1 (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (neg (sqrt (* (/ c a) -1))) (sqrt (* (/ c a) -1)) (* (/ c a) -1) (/ c a) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (+ (* (* a (/ c b)) -2) b) (* a (/ c b)) (/ c b) -2 (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (- (* b b) (* (* 4 a) c)) (* (* -4 a) c) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (neg (/ (+ (* 1/2 b) (neg (sqrt (* (* a c) -1)))) a)) (/ (+ (* 1/2 b) (neg (sqrt (* (* a c) -1)))) a) (+ (* 1/2 (/ b a)) (sqrt (* (/ c a) -1))) (/ b a) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))
28.0ms	b	@	0	((if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (if (>= b 0) (/ (* -2 c) (+ (sqrt (+ (* (* -4 a) c) (* b b))) b)) (* (/ (- (sqrt (+ (* (* -4 a) c) (* b b))) b) a) 1/2)) (>= b 0) b 0 (/ (* -2 c) (+ (sqrt (+ (* (* -4 a) c) (* b b))) b)) (* -2 c) -2 c (+ (sqrt (+ (* (* -4 a) c) (* b b))) b) (sqrt (+ (* (* -4 a) c) (* b b))) (+ (* (* -4 a) c) (* b b)) (* -4 a) -4 a (* b b) (* (/ (- (sqrt (+ (* (* -4 a) c) (* b b))) b) a) 1/2) (/ (- (sqrt (+ (* (* -4 a) c) (* b b))) b) a) (- (sqrt (+ (* (* -4 a) c) (* b b))) b) 1/2 (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (neg (/ (+ (* 1/2 b) (neg (sqrt (* (* a c) -1)))) a)) (/ (+ (* 1/2 b) (neg (sqrt (* (* a c) -1)))) a) (+ (* 1/2 b) (neg (sqrt (* (* a c) -1)))) (neg (sqrt (* (* a c) -1))) (sqrt (* (* a c) -1)) (* (* a c) -1) (* a c) -1 (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (neg b) (sqrt (- (* b b) (* (* 4 a) c))) (- (* b b) (* (* 4 a) c)) (* (* 4 a) c) (* 4 a) 4 (* 2 a) 2 (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (+ (* (* a (/ c b)) -2) b) (* a (/ c b)) (/ c b) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (* (/ b a) -1/2) (neg (sqrt (* (/ c a) -1)))) (/ b a) -1/2 (neg (sqrt (* (/ c a) -1))) (sqrt (* (/ c a) -1)) (* (/ c a) -1) (/ c a) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* (- (/ (neg b) c) (sqrt (* (/ a c) -4))) c) (- (/ (neg b) c) (sqrt (* (/ a c) -4))) (/ (neg b) c) (sqrt (* (/ a c) -4)) (* (/ a c) -4) (/ a c))

preprocess902.0ms (3.9%)

Memory

17.3MiB live, 972.6MiB allocated; 215ms collecting garbage

Stop Event

8×	node-limit
1×	saturated

Compiler

Compiled 11 414 to 2 184 computations (80.9% saved)

bsearch773.0ms (3.4%)

Memory

-31.3MiB live, 1 074.8MiB allocated; 183ms collecting garbage

Algorithm

56×	binary-search
8×	left-value

Stop Event

50×	narrow-enough
6×	predicate-same

Samples

327.0ms	3 776×	0	valid
42.0ms	514×	0	invalid
21.0ms	48×	2	valid
2.0ms	32×	1	valid

Compiler

Compiled 42 309 to 26 254 computations (37.9% saved)

Precisions

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

ival-mult!: 62.0ms (30.7% of total)

ival-div!: 36.0ms (17.9% of total)

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

ival-neg: 16.0ms (7.9% of total)

ival-sub!: 15.0ms (7.4% of total)

ival->=: 13.0ms (6.4% of total)

ival-if: 11.0ms (5.5% of total)

ival-add!: 9.0ms (4.5% of total)

ival-fabs: 6.0ms (3% of total)

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

adjust: 2.0ms (1% of total)

regimes687.0ms (3%)

Memory

24.0MiB live, 1 071.7MiB allocated; 181ms collecting garbage

Counts

439 → 121

Calls

26 calls:

107.0ms	b
102.0ms	x
88.0ms	(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) c)))) (.f64 #s(literal 2 binary64) a)))
42.0ms	a
35.0ms	c

Compiler

Compiled 1 041 to 877 computations (15.8% saved)

analyze431.0ms (1.9%)

Memory

52.8MiB live, 504.5MiB allocated; 89ms collecting garbage

Algorithm

9×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
22.2%	22.2%	77.7%	0.1%	0%	0%	0%	1
29.4%	27.8%	66.6%	0.1%	0%	5.6%	0%	2
50%	44.4%	44.4%	0.1%	0%	11.1%	0%	3
59.7%	51.3%	34.7%	0.1%	0%	13.9%	0%	4
66.4%	56.2%	28.4%	0.1%	0%	15.3%	0%	5
74%	62.1%	21.8%	0.1%	0%	16%	0%	6
77.6%	63.8%	18.4%	0.1%	0%	17.7%	0%	7
79.3%	65%	17%	0.1%	0%	17.9%	0%	8
85%	69.2%	12.2%	0.1%	0%	18.5%	0%	9
86.8%	69.7%	10.6%	0.1%	0%	19.6%	0%	10
88.7%	71.1%	9.1%	0.1%	0%	19.8%	0%	11
91.6%	72.9%	6.7%	0.1%	0%	20.3%	0%	12

Compiler

Compiled 153 to 106 computations (30.7% saved)

prune427.0ms (1.9%)

Memory: -3.5MiB live, 693.2MiB allocated; 55ms collecting garbage
Counts: 7 986 → 241
Compiler: Compiled 20 993 to 10 188 computations (51.5% saved)

start0.0ms (0%)

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

end0.0ms (0%)

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

sample8.9s (38.7%)

rewrite5.4s (23.8%)

derivations1.5s (6.6%)

eval1.4s (6.1%)

explain1.3s (5.9%)

series1.1s (4.9%)

preprocess902.0ms (3.9%)

bsearch773.0ms (3.4%)

regimes687.0ms (3%)

analyze431.0ms (1.9%)

prune427.0ms (1.9%)

start0.0ms (0%)

end0.0ms (0%)

Profiling