Metrics for Herbie run

Date:	Monday, December 2nd, 2024
Commit:	a3fa83c3 on main
Hostname:	nightly with Racket 8.10
Seed:	2024337
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:	284 593.7 MB

sample1.3min (26.6%)

Memory

1 041.1MiB live, 84 403.6MiB allocated

Samples

36.5s	285 775×	0	valid
13.2s	43 912×	1	valid
8.3s	16 674×	2	valid
375.0ms	4 276×	0	invalid
172.0ms	391×	3	valid
151.0ms	916×	0	exit
87.0ms	101×	4	exit
72.0ms	101×	3	exit
6.0ms	38×	1	exit

Precisions

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

ival-mult: 9.0s (20.4% of total)

ival-add: 5.5s (12.5% of total)

ival-pow: 4.3s (9.7% of total)

ival-div: 4.1s (9.2% of total)

const: 3.7s (8.4% of total)

ival-<=: 3.2s (7.2% of total)

ival-sub: 3.0s (6.9% of total)

adjust: 2.8s (6.4% of total)

ival-sin: 2.8s (6.2% of total)

ival-cos: 1.8s (4% of total)

ival-sqrt: 537.0ms (1.2% of total)

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

ival-pow2: 438.0ms (1% of total)

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

exact: 426.0ms (1% of total)

ival-and: 370.0ms (0.8% of total)

ival-==: 277.0ms (0.6% of total)

ival-pi: 194.0ms (0.4% of total)

ival-<: 176.0ms (0.4% of total)

ival-true: 143.0ms (0.3% of total)

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

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

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

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

ival-tan: 52.0ms (0.1% of total)

ival-hypot: 18.0ms (0% of total)

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

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

Bogosity

simplify51.1s (17.6%)

Memory

692.8MiB live, 47 333.1MiB allocated

Algorithm

350×	egg-herbie

Stop Event

452×	iter limit
273×	node limit
89×	saturated

Counts

9 985 → 9 853

soundness40.3s (13.9%)

Memory

182.3MiB live, 24 504.7MiB allocated

Stop Event

263×	iter limit
171×	node limit
26×	fuel
16×	done
6×	saturated

Compiler

Compiled 45 163 to 12 826 computations (71.6% saved)

rewrite36.0s (12.4%)

Memory

314.6MiB live, 34 811.2MiB allocated

Stop Event

309×	iter limit
150×	node limit
11×	saturated

Counts

2 012 → 69 542

localize21.2s (7.3%)

Memory

-245.0MiB live, 22 238.1MiB allocated

Samples

8.5s	31 109×	0	valid
3.4s	4 995×	1	valid
3.1s	2 587×	2	valid
314.0ms	120×	3	valid
213.0ms	432×	0	invalid
74.0ms	174×	0	exit
5.0ms	2×	4	valid
4.0ms	3×	5	exit
2.0ms	2×	3	exit

Compiler

Compiled 35 995 to 4 110 computations (88.6% saved)

Precisions

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

ival-mult: 3.5s (30.1% of total)

ival-div: 1.9s (16.5% of total)

ival-add: 1.7s (14.8% of total)

ival-pow: 1.0s (8.7% of total)

adjust: 978.0ms (8.3% of total)

ival-sub: 845.0ms (7.2% of total)

const: 493.0ms (4.2% of total)

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

ival-cos: 179.0ms (1.5% of total)

ival-neg: 135.0ms (1.2% of total)

ival-sqrt: 127.0ms (1.1% of total)

ival-pow2: 95.0ms (0.8% of total)

ival-exp: 87.0ms (0.7% of total)

exact: 54.0ms (0.5% of total)

ival-true: 32.0ms (0.3% of total)

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

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

ival-log: 20.0ms (0.2% of total)

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

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

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

ival-atan: 14.0ms (0.1% of total)

ival-cosh: 7.0ms (0.1% of total)

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

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

eval17.6s (6.1%)

Memory: -42.3MiB live, 20 912.8MiB allocated
Compiler: Compiled 3 869 403 to 303 767 computations (92.1% saved)

explain11.4s (3.9%)

Memory

-131.5MiB live, 12 278.9MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	1259	3
`+.f64`	`#f`	cancellation	380	85
`-.f64`	(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))	oflow-left	221	0
`sqrt.f64`	`#f`	oflow-rescue	214	0
`/.f64`	`#f`	o/o	170	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) x))`	sensitivity	154	1
`/.f64`	`#f`	n/o	148	0
`-.f64`	`#f`	nan-rescue	116	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	sensitivity	107	0
`/.f64`	`#f`	u/n	89	0
`/.f64`	`#f`	o/n	54	0
`/.f64`	`#f`	n/u	50	0
`+.f64`	`#f`	nan-rescue	49	0
`/.f64`	`#f`	u/u	46	0
`*.f64`	`#f`	*nu**	44	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	oflow-rescue	21	0
↳	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	overflow	32
↳	`(/.f64 i n)`	overflow	21
↳	`(+.f64 #s(literal 1 binary64) (/.f64 i n))`	overflow	21
`*.f64`	`#f`	*no**	17	0
`sqrt.f64`	`#f`	uflow-rescue	12	0
`exp.f64`	`#f`	sensitivity	2	0

Confusion

	Predicted +	Predicted -
+	3846	231
-	110	6565

Precision

0.9721941354903944

Recall

0.9433406916850625

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3846	168	63
-	110	177	6388

Precision?

0.9332713322483144

Recall?

0.9845474613686535

Freqs

test

number	freq
0	6796
1	3525
2	390
3	41

Total Confusion?

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

Precision?

0.9393939393939394

Recall?

1.0

Samples

2.0s	16 492×	0	valid
1.3s	3 612×	1	valid
627.0ms	1 372×	2	valid
15.0ms	28×	3	valid

Compiler

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

Precisions

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

ival-mult: 680.0ms (25% of total)

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

ival-div: 365.0ms (13.4% of total)

ival-sub: 299.0ms (11% of total)

adjust: 257.0ms (9.5% of total)

ival-add: 223.0ms (8.2% of total)

ival-cos: 128.0ms (4.7% of total)

ival-sin: 124.0ms (4.6% of total)

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

const: 44.0ms (1.6% of total)

ival-exp: 27.0ms (1% of total)

ival-true: 19.0ms (0.7% of total)

ival-pow2: 18.0ms (0.7% of total)

exact: 18.0ms (0.7% of total)

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

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

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

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

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

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

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

preprocess10.2s (3.5%)

Memory

334.6MiB live, 8 818.4MiB allocated

Algorithm

42×	egg-herbie

Stop Event

82×	iter limit
53×	saturated
33×	node limit

Compiler

Compiled 60 845 to 8 612 computations (85.8% saved)

prune6.2s (2.1%)

Memory: -355.0MiB live, 8 094.9MiB allocated
Counts: 80 352 → 1 987
Compiler: Compiled 152 722 to 64 576 computations (57.7% saved)

regimes6.0s (2.1%)

Memory

-25.1MiB live, 7 428.3MiB allocated

Counts

4 969 → 578

Calls

96 calls:

786.0ms	x
276.0ms	d
242.0ms	b
223.0ms	(.f64 (cos.f64 x) (exp.f64 (.f64 #s(literal 10 binary64) (*.f64 x x))))
205.0ms	a

Compiler

Compiled 8 482 to 5 678 computations (33.1% saved)

series5.2s (1.8%)

Memory

243.2MiB live, 4 970.3MiB allocated

Counts

2 012 → 9 985

Calls

897 calls:

Time	Variable		Point	Expression
461.0ms	x1	@	inf	((+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* (* x1 x1) x1) (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (* -6 x2) (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (- (* (* 3 x1) x1) (* 2 x2)) (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (* (+ (/ (+ (* (- (* 2 x2) 3) 4) 9) (* x1 x1)) (- 6 (/ 3 x1))) (pow x1 4)) (+ (/ (+ (* (- (* 2 x2) 3) 4) 9) (* x1 x1)) (- 6 (/ 3 x1))) (/ (+ (* (- (* 2 x2) 3) 4) 9) (* x1 x1)) (- (+ (* (* 2 (+ (* -2 x2) 3)) x2) (+ (* (- (* 2 x2) 3) 3) 1)) (* (* (- (* 2 x2) 3) x2) 2)) (+ (* -4 x2) (+ (* -2 (- (* 2 x2) 3)) (+ (* (+ (* (- (+ (* (* 2 (+ (* -2 x2) 3)) x2) (+ (* (- (* 2 x2) 3) 3) 1)) (* (* (- (* 2 x2) 3) x2) 2)) 2) (- (* (* (- (* 2 x2) 3) x2) 4) 6)) x1) (* x2 14)))) (* 2 (+ (* -2 x2) 3)) (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (/ (* 8 (* (* x2 x2) x1)) (+ (* x1 x1) 1)) (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) (+ (* (- (* 2 x2) 3) 4) 9) (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) (+ (* (- (+ (* (* 2 (+ (* -2 x2) 3)) x2) (+ (* (- (* 2 x2) 3) 3) 1)) (* (* (- (* 2 x2) 3) x2) 2)) 2) (- (* (* (- (* 2 x2) 3) x2) 4) 6)) (- (+ (* -4 x2) (+ (* -2 (- (* 2 x2) 3)) (+ (* (+ (* (- (+ (* (* 2 (+ (* -2 x2) 3)) x2) (+ (* (- (* 2 x2) 3) 3) 1)) (* (* (- (* 2 x2) 3) x2) 2)) 2) (- (* (* (- (* 2 x2) 3) x2) 4) 6)) x1) (* x2 14)))) 6))
198.0ms	y	@	-inf	((- (+ (* x y) z) (+ 1 (+ (* x y) z))) (+ (* x y) z) (+ (* x y) z) (+ 1 (+ (* x y) z)) (* x y))
139.0ms	b	@	0	((+ (* (/ (pow (+ (* (* c a) -4) (* b b)) 3/8) a) (/ (pow (+ (* (* c a) -4) (* b b)) 1/8) 2)) (/ (/ b a) -2)) (/ (pow (+ (* (* c a) -4) (* b b)) 3/8) a) (pow (+ (* (* c a) -4) (* b b)) 3/8) (+ (* (* c a) -4) (* b b)) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (neg c) b) (neg c) (+ (* (neg c) (/ b (* b b))) (/ b a)) (/ b (* b b)) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (neg (+ (* (neg c) (/ b (* b b))) (/ b a))) (/ (+ (* (sqrt (+ (* (* c a) -4) (* b b))) (* -2 a)) (* (* 2 a) b)) (* (* 2 a) (* -2 a))) (+ (* (sqrt (+ (* (* c a) -4) (* b b))) (* -2 a)) (* (* 2 a) b)) (* (* 2 a) (* -2 a)) (sqrt (+ (* (* c a) -4) (* b b))) (+ (/ (* b b) (* (- (neg b) (sqrt (+ (* -4 (* a c)) (* b b)))) (* 2 a))) (/ (* (neg (sqrt (+ (* -4 (* a c)) (* b b)))) (sqrt (+ (* -4 (* a c)) (* b b)))) (* (- (neg b) (sqrt (+ (* -4 (* a c)) (* b b)))) (* 2 a)))) (* (neg (sqrt (+ (* -4 (* a c)) (* b b)))) (sqrt (+ (* -4 (* a c)) (* b b)))) (/ (* (neg (sqrt (+ (* -4 (* a c)) (* b b)))) (sqrt (+ (* -4 (* a c)) (* b b)))) (* (- (neg b) (sqrt (+ (* -4 (* a c)) (* b b)))) (* 2 a))) (/ (* b b) (* (- (neg b) (sqrt (+ (* -4 (* a c)) (* b b)))) (* 2 a))) (pow (+ (* (* c a) -4) (* b b)) 1/8) (sqrt (+ (* -4 (* a c)) (* b b))))
89.0ms	i	@	-inf	((/ (* (- (exp (* (log (+ 1 (/ i n))) n)) 1) 100) (/ i n)) (* (- (exp (* (log (+ 1 (/ i n))) n)) 1) 100) (- (exp (* (log (+ 1 (/ i n))) n)) 1) (* (log (+ 1 (/ i n))) n) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* 100 n) (+ (* (* 100 i) (+ (* (* n i) (- (+ (/ 1/3 (* n n)) 1/6) (/ 1/2 n))) (* (- 1/2 (/ 1/2 n)) n))) (* 100 n)) (+ (* (* n i) (- (+ (/ 1/3 (* n n)) 1/6) (/ 1/2 n))) (* (- 1/2 (/ 1/2 n)) n)) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* 100 i) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* (* 100 (* n n)) (/ (- (log i) (log n)) i)) (* 100 (* n n)) (* n n) (* (/ (- (exp (* (log (+ 1 (/ i n))) n)) 1) i) (* n 100)) (/ (- (exp (* (log (+ 1 (/ i n))) n)) 1) i) (log (+ 1 (/ i n))) (/ 1/3 (* n n)) (* (- 1/2 (/ 1/2 n)) n) (- (log i) (log n)) (/ (- (log i) (log n)) i))
88.0ms	a	@	0	((+ (* (/ (pow (+ (* (* c a) -4) (* b b)) 3/8) a) (/ (pow (+ (* (* c a) -4) (* b b)) 1/8) 2)) (/ (/ b a) -2)) (/ (pow (+ (* (* c a) -4) (* b b)) 3/8) a) (pow (+ (* (* c a) -4) (* b b)) 3/8) (+ (* (* c a) -4) (* b b)) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (neg c) b) (neg c) (+ (* (neg c) (/ b (* b b))) (/ b a)) (/ b (* b b)) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (neg (+ (* (neg c) (/ b (* b b))) (/ b a))) (/ (+ (* (sqrt (+ (* (* c a) -4) (* b b))) (* -2 a)) (* (* 2 a) b)) (* (* 2 a) (* -2 a))) (+ (* (sqrt (+ (* (* c a) -4) (* b b))) (* -2 a)) (* (* 2 a) b)) (* (* 2 a) (* -2 a)) (sqrt (+ (* (* c a) -4) (* b b))) (+ (/ (* b b) (* (- (neg b) (sqrt (+ (* -4 (* a c)) (* b b)))) (* 2 a))) (/ (* (neg (sqrt (+ (* -4 (* a c)) (* b b)))) (sqrt (+ (* -4 (* a c)) (* b b)))) (* (- (neg b) (sqrt (+ (* -4 (* a c)) (* b b)))) (* 2 a)))) (* (neg (sqrt (+ (* -4 (* a c)) (* b b)))) (sqrt (+ (* -4 (* a c)) (* b b)))) (/ (* (neg (sqrt (+ (* -4 (* a c)) (* b b)))) (sqrt (+ (* -4 (* a c)) (* b b)))) (* (- (neg b) (sqrt (+ (* -4 (* a c)) (* b b)))) (* 2 a))) (/ (* b b) (* (- (neg b) (sqrt (+ (* -4 (* a c)) (* b b)))) (* 2 a))) (pow (+ (* (* c a) -4) (* b b)) 1/8) (sqrt (+ (* -4 (* a c)) (* b b))))

analyze5.0s (1.7%)

Memory

-131.7MiB live, 5 705.1MiB allocated

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)

bsearch2.9s (1%)

Memory

-21.7MiB live, 3 088.5MiB allocated

Algorithm

180×	binary-search
106×	left-value

Stop Event

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

Samples

1.1s	9 669×	0	valid
256.0ms	894×	1	valid
171.0ms	428×	2	valid
76.0ms	1 058×	0	invalid
13.0ms	17×	3	valid
4.0ms	26×	1	exit
3.0ms	25×	0	exit

Compiler

Compiled 157 267 to 78 251 computations (50.2% saved)

Precisions

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

ival-mult: 400.0ms (32.5% of total)

ival-sub: 297.0ms (24.1% of total)

ival-div: 127.0ms (10.3% of total)

ival-add: 119.0ms (9.7% of total)

ival-pow: 85.0ms (6.9% of total)

ival-exp: 63.0ms (5.1% of total)

adjust: 45.0ms (3.7% of total)

ival-sqrt: 40.0ms (3.2% of total)

ival-neg: 31.0ms (2.5% of total)

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

exact: 8.0ms (0.6% of total)

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

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

ival-pi: 1.0ms (0.1% of total)

start2.0ms (0%)

Memory: 5.3MiB live, 5.2MiB allocated

end0.0ms (0%)

Memory: 0.6MiB live, 0.5MiB allocated

sample1.3min (26.6%)

simplify51.1s (17.6%)

soundness40.3s (13.9%)

rewrite36.0s (12.4%)

localize21.2s (7.3%)

eval17.6s (6.1%)

explain11.4s (3.9%)

preprocess10.2s (3.5%)

prune6.2s (2.1%)

regimes6.0s (2.1%)

series5.2s (1.8%)

analyze5.0s (1.7%)

bsearch2.9s (1%)

start2.0ms (0%)

end0.0ms (0%)

Profiling