Metrics for Herbie run

Date:	Wednesday, March 26th, 2025
Commit:	a931ba94 on hardware-accelerators
Seed:	2025085
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default
Memory:	154 720.3 MB

sample52.6s (34.1%)

Memory

574.9MiB live, 51 662.3MiB allocated; 18.0s collecting garbage

Samples

24.9s	293 045×	0	valid
7.0s	17 770×	2	valid
6.8s	35 503×	1	valid
362.0ms	4 114×	0	invalid
159.0ms	434×	3	valid
111.0ms	1 011×	0	exit
108.0ms	101×	4	exit
62.0ms	101×	3	exit
4.0ms	38×	1	exit

Precisions

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

ival-mult!: 7.0s (25.4% of total)

ival-pow: 3.6s (13% of total)

ival-div!: 3.0s (10.8% of total)

adjust: 2.5s (9% of total)

ival-atan: 2.1s (7.6% of total)

ival-sin: 2.0s (7.4% of total)

ival-sub!: 2.0s (7.1% of total)

ival-add!: 1.7s (6.1% of total)

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

ival-sqrt: 518.0ms (1.9% of total)

ival-exp: 419.0ms (1.5% of total)

ival-pow2: 416.0ms (1.5% of total)

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

ival-expm1: 155.0ms (0.6% of total)

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

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

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

ival-<=: 12.0ms (0% of total)

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

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

ival-fabs: 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

rewrite30.2s (19.6%)

Memory

749.7MiB live, 28 983.2MiB allocated; 6.8s collecting garbage

Stop Event

362×	iter limit
143×	node limit
9×	saturated
4×	unsound

Counts

19 943 → 42 748

preprocess18.3s (11.8%)

Memory

485.4MiB live, 12 819.0MiB allocated; 3.6s collecting garbage

Stop Event

84×	iter limit
64×	node limit
20×	saturated

Samples

1.9s

16 512×

valid

Compiler

Compiled 56 931 to 8 056 computations (85.8% saved)

Precisions

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

ival-mult!: 1.1s (82.3% of total)

ival-add!: 238.0ms (17.5% of total)

adjust: 3.0ms (0.2% of total)

eval11.4s (7.4%)

Memory

-155.5MiB live, 14 612.6MiB allocated; 4.6s collecting garbage

Samples

877.0ms	13 240×	0	valid
696.0ms	8 085×	0	invalid
30.0ms	178×	1	valid
0.0ms	1×	2	valid

Compiler

Compiled 2 111 686 to 194 936 computations (90.8% saved)

Precisions

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

ival-mult!: 698.0ms (76.7% of total)

ival-add!: 205.0ms (22.5% of total)

adjust: 8.0ms (0.9% of total)

explain10.3s (6.7%)

Memory

-215.0MiB live, 10 373.5MiB allocated; 1.7s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	1309	4
`+.f64`	`#f`	cancellation	357	97
`-.f64`	(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))	oflow-left	203	0
`sqrt.f64`	`#f`	oflow-rescue	174	0
`/.f64`	`#f`	n/o	166	0
`/.f64`	`#f`	o/o	166	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) x))`	sensitivity	164	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	sensitivity	119	0
`-.f64`	`#f`	nan-rescue	109	0
`/.f64`	`#f`	u/n	86	0
`+.f64`	`#f`	nan-rescue	55	0
`/.f64`	`#f`	n/u	50	0
`/.f64`	`#f`	u/u	44	0
`*.f64`	`#f`	*nu**	43	0
`/.f64`	`#f`	o/n	38	0
`sqrt.f64`	`#f`	uflow-rescue	30	0
`*.f64`	`#f`	*no**	27	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	oflow-rescue	13	0
↳	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	overflow	37
↳	`(/.f64 i n)`	overflow	13
↳	`(+.f64 #s(literal 1 binary64) (/.f64 i n))`	overflow	13
`exp.f64`	`#f`	sensitivity	4	0

Confusion

	Predicted +	Predicted -
+	3886	238
-	85	6543

Precision

0.9785948123898263

Recall

0.9422890397672163

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3886	169	69
-	85	188	6355

Precision?

0.9369223659889094

Recall?

0.9832686711930165

Freqs

test

number	freq
0	6781
1	3546
2	389
3	36

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	31	1	0
-	2	0	8

Precision?

0.9411764705882353

Recall?

1.0

Samples

3.1s	16 760×	0	valid
822.0ms	3 232×	1	valid
583.0ms	1 474×	2	valid
19.0ms	38×	3	valid

Compiler

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

Precisions

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

ival-mult!: 2.3s (67.7% of total)

adjust: 226.0ms (6.6% of total)

ival-pow: 192.0ms (5.6% of total)

ival-div!: 161.0ms (4.7% of total)

ival-sin: 129.0ms (3.8% of total)

ival-add!: 114.0ms (3.3% of total)

ival-cos: 91.0ms (2.7% of total)

ival-sub!: 82.0ms (2.4% of total)

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

ival-sqrt: 24.0ms (0.7% of total)

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

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

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

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

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

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

const: 0.0ms (0% of total)

derivations8.3s (5.4%)

Memory

-9.4MiB live, 6 699.1MiB allocated; 1.1s collecting garbage

Stop Event

27×	fuel
15×	done

Samples

28.0ms

512×

valid

Compiler

Compiled 26 228 to 2 652 computations (89.9% saved)

Precisions

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

ival-mult!: 10.0ms (68.3% of total)

ival-add!: 4.0ms (27.3% of total)

adjust: 0.0ms (0% of total)

regimes5.9s (3.8%)

Memory

208.7MiB live, 7 950.0MiB allocated; 1.7s collecting garbage

Counts

4 745 → 553

Calls

96 calls:

689.0ms	c
461.0ms	x
349.0ms	b
212.0ms	a
174.0ms	(/.f64 (+.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 2 binary64) (/.f64 (/.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) t)))) (-.f64 #s(literal 2 binary64) (/.f64 (/.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) t)))))) (+.f64 #s(literal 2 binary64) (.f64 (-.f64 #s(literal 2 binary64) (/.f64 (/.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) t)))) (-.f64 #s(literal 2 binary64) (/.f64 (/.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) t)))))))

Compiler

Compiled 8 667 to 5 638 computations (34.9% saved)

prune4.9s (3.2%)

Memory

-278.3MiB live, 7 180.4MiB allocated; 1.4s collecting garbage

Counts

48 637 → 1 934

Samples

440.0ms	4 776×	0	valid
36.0ms	600×	0	invalid

Compiler

Compiled 153 494 to 66 188 computations (56.9% saved)

Precisions

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

ival-add!: 175.0ms (57.5% of total)

ival-mult!: 129.0ms (42.4% of total)

adjust: 1.0ms (0.3% of total)

series4.3s (2.8%)

Memory

69.3MiB live, 6 076.8MiB allocated; 911ms collecting garbage

Counts

3 359 → 16 584

Calls

882 calls:

Time	Variable		Point	Expression
111.0ms	r	@	inf	((- (- (+ 3 (/ 2 (* r r))) (* (* (+ (* -2 v) 3) 1/8) (/ (/ 1 (pow (* w r) -2)) (- 1 v)))) 9/2) (- (+ 3 (/ 2 (* r r))) (* (* (+ (* -2 v) 3) 1/8) (/ (/ 1 (pow (* w r) -2)) (- 1 v)))) (+ 3 (/ 2 (* r r))) 3 (/ 2 (* r r)) 2 (* r r) r (* (* (+ (* -2 v) 3) 1/8) (/ (/ 1 (pow (* w r) -2)) (- 1 v))) (* (+ (* -2 v) 3) 1/8) (+ (* -2 v) 3) -2 v 1/8 (/ (/ 1 (pow (* w r) -2)) (- 1 v)) (/ 1 (pow (* w r) -2)) 1 (pow (* w r) -2) (* w r) w (- 1 v) 9/2 (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (/ (+ (* -3/2 (* r r)) 2) (* r r)) -3/2 (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (/ (/ (+ (* (* r r) -3/2) 2) r) r) (/ (+ (* (* r r) -3/2) 2) r) (+ (* (* r r) -3/2) 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))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v)) (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (* 1/8 (- 3 (* 2 v))) 3/8 (* (* (* w w) r) r) (* (* w w) r) (* w w) (- 1 v) (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (/ (+ (* (* (* r r) -3/2) (neg (* r r))) (* (* r r) -2)) (* (* r r) (neg (* r r)))) (+ (* (* (* r r) -3/2) (neg (* r r))) (* (* r r) -2)) (* (* r r) -3/2) (neg (* r r)) (* (* r r) -2) (* (* r r) (neg (* r r))))
80.0ms	x2	@	0	((+ 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))))) 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) (+ (+ (* (+ (* (* (* 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))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 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)) (+ (* (* (* 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)) (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* 2 x1) 2 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* (* 3 x1) x1) (* 2 x2)) (* (* 3 x1) x1) (* 3 x1) 3 (* 2 x2) x2 (+ (* x1 x1) 1) (* 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)) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 4 6 (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* 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) (- (* (* 3 x1) x1) (* 2 x2)))
75.0ms	a	@	-inf	((* (+ a (+ b (+ c d))) 2) (+ a (+ b (+ c d))) a (+ b (+ c d)) b (+ c d) c d 2)
69.0ms	i	@	-inf	((* (/ (* (- (exp (* (log (+ 1 (/ i n))) n)) 1) 100) i) n) (/ (* (- (exp (* (log (+ 1 (/ i n))) n)) 1) 100) i) (* (- (exp (* (log (+ 1 (/ i n))) n)) 1) 100) (- (exp (* (log (+ 1 (/ i n))) n)) 1) (* (log (+ 1 (/ i n))) n) (log (+ 1 (/ i n))) (/ i n) i n 100 (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (- (pow (+ 1 (/ i n)) n) 1) (* (+ (* (- 1/2 (/ 1/2 n)) i) 1) i) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (- (pow (+ 1 (/ i n)) n) 1) (* (+ (* (- 1/2 (/ 1/2 n)) i) 1) i) (* (/ (* i i) n) -1/2) (/ (* i i) n) (* i i) -1/2 (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (/ (* (- (exp i) 1) n) i) (* (- (exp i) 1) n) (- (exp i) 1) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (+ (* (* 100 (+ (* (* n i) (- (+ (* (pow n -2) 1/3) 1/6) (/ 1/2 n))) (* (- 1/2 (/ 1/2 n)) n))) i) (* n 100)) (* 100 (+ (* (* n i) (- (+ (* (pow n -2) 1/3) 1/6) (/ 1/2 n))) (* (- 1/2 (/ 1/2 n)) n))) (+ (* (* n i) (- (+ (* (pow n -2) 1/3) 1/6) (/ 1/2 n))) (* (- 1/2 (/ 1/2 n)) n)) (* n i) (- (+ (* (pow n -2) 1/3) 1/6) (/ 1/2 n)) (+ (* (pow n -2) 1/3) 1/6) (pow n -2) -2 1/3 1/6 (/ 1/2 n) 1/2 (* (- 1/2 (/ 1/2 n)) n) (- 1/2 (/ 1/2 n)) (* n 100))
59.0ms	n	@	0	((/ (* 100 (- (exp (* (log (+ 1 (/ i n))) n)) 1)) (/ i n)) (* 100 (- (exp (* (log (+ 1 (/ i n))) n)) 1)) 100 (- (exp (* (log (+ 1 (/ i n))) n)) 1) (* (log (+ 1 (/ i n))) n) (log (+ 1 (/ i n))) (/ i n) 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) (* (+ (* (- 1/2 (/ 1/2 n)) i) 1) i) (+ (* (- 1/2 (/ 1/2 n)) i) 1) (- 1/2 (/ 1/2 n)) 1/2 (/ 1/2 n) 1 (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (- (pow (+ 1 (/ i n)) n) 1) (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) (log n)) n) (- (log i) (log n)) (log i) (log n))

analyze3.5s (2.3%)

Memory

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

simplify2.3s (1.5%)

Memory

-216.6MiB live, 2 018.6MiB allocated; 389ms collecting garbage

Stop Event

34×	node limit
8×	saturated

bsearch2.3s (1.5%)

Memory

20.8MiB live, 2 663.5MiB allocated; 521ms collecting garbage

Algorithm

165×	binary-search
102×	left-value

Stop Event

159×	narrow-enough
6×	predicate-same

Samples

759.0ms	9 099×	0	valid
233.0ms	831×	1	valid
229.0ms	392×	2	valid
109.0ms	1 056×	0	invalid
5.0ms	14×	3	valid
1.0ms	10×	0	exit
0.0ms	3×	1	exit

Compiler

Compiled 107 882 to 59 494 computations (44.9% saved)

Precisions

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

ival-mult!: 344.0ms (33.7% of total)

ival-pow: 252.0ms (24.7% of total)

ival-div!: 154.0ms (15.1% of total)

ival-add!: 73.0ms (7.2% of total)

ival-sub!: 58.0ms (5.7% of total)

ival-neg: 57.0ms (5.6% of total)

adjust: 42.0ms (4.1% of total)

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

ival-exp: 16.0ms (1.6% of total)

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

start2.0ms (0%)

Memory: 4.7MiB live, 4.6MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

sample52.6s (34.1%)

rewrite30.2s (19.6%)

preprocess18.3s (11.8%)

eval11.4s (7.4%)

explain10.3s (6.7%)

derivations8.3s (5.4%)

regimes5.9s (3.8%)

prune4.9s (3.2%)

series4.3s (2.8%)

analyze3.5s (2.3%)

simplify2.3s (1.5%)

bsearch2.3s (1.5%)

start2.0ms (0%)

end0.0ms (0%)

Profiling