Metrics for Optimisation.CirclePacking:place from circle-packing-0.1.0.4, I

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated; 0ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 7 to 7 computations (0% saved)

sample755.0ms (4.8%)

Memory

-21.4MiB live, 827.1MiB allocated; 312ms collecting garbage

Samples

348.0ms	8 252×	0	valid
0.0ms	2×	2	valid
0.0ms	2×	1	valid

Precisions

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

ival-add!: 62.0ms (97.3% of total)

adjust: 2.0ms (3.1% of total)

Bogosity

preprocess72.0ms (0.5%)

Memory

24.7MiB live, 24.7MiB allocated; 0ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	22	55
1	63	50
2	193	50
3	305	50

Stop Event

1×

saturated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(+.f64 (+.f64 x y) z)

Symmetry

(sort x y z)

Compiler

Compiled 10 to 10 computations (0% saved)

series125.0ms (0.8%)

Memory

-3.8MiB live, 42.9MiB allocated; 17ms collecting garbage

Counts

5 → 17

Calls

Call 1

Inputs
(+.f64 (+.f64 x y) z)
(+.f64 x y)
x
y
z

Outputs
#s(approx (+ (+ x y) z) (+.f64 y z))
#s(approx (+ (+ x y) z) (+.f64 x (+.f64 y z)))
#s(approx (+ x y) y)
#s(approx (+ x y) (+.f64 x y))
#s(approx x x)
#s(approx (+ (+ x y) z) (*.f64 x (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 y x) (/.f64 z x)))))
#s(approx (+ x y) (*.f64 x (+.f64 #s(literal 1 binary64) (/.f64 y x))))
#s(approx (+ (+ x y) z) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 y z) x)) #s(literal 1 binary64)))))
#s(approx (+ x y) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 y x)) #s(literal 1 binary64)))))
#s(approx (+ (+ x y) z) (+.f64 x z))
#s(approx (+ (+ x y) z) (*.f64 y (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 x y) (/.f64 z y)))))
#s(approx (+ x y) (*.f64 y (+.f64 #s(literal 1 binary64) (/.f64 x y))))
#s(approx (+ (+ x y) z) (.f64 #s(literal -1 binary64) (.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x z) y)) #s(literal 1 binary64)))))
#s(approx (+ x y) (.f64 #s(literal -1 binary64) (.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 x y)) #s(literal 1 binary64)))))
#s(approx z z)
#s(approx (+ (+ x y) z) (*.f64 z (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 x z) (/.f64 y z)))))
#s(approx (+ (+ x y) z) (.f64 #s(literal -1 binary64) (.f64 z (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x y) z)) #s(literal 1 binary64)))))

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	((+ (+ x y) z) (+ x y) x y z)
1.0ms	x	@	-inf	((+ (+ x y) z) (+ x y) x y z)
1.0ms	y	@	-inf	((+ (+ x y) z) (+ x y) x y z)
1.0ms	y	@	inf	((+ (+ x y) z) (+ x y) x y z)
1.0ms	x	@	0	((+ (+ x y) z) (+ x y) x y z)

rewrite3.4s (21.9%)

Memory

14.6MiB live, 1 728.9MiB allocated; 659ms collecting garbage

Counts

5 → 24

Calls

Call 1

Inputs
(+.f64 (+.f64 x y) z)
(+.f64 x y)
x
y
z

Outputs
(+.f64 (+.f64 x y) z)
(+.f64 (+.f64 z x) y)
(+.f64 (+.f64 z y) x)
(+.f64 x (+.f64 z y))
(+.f64 y (+.f64 z x))
(+.f64 z (+.f64 x y))
(-.f64 (+.f64 x y) (neg.f64 z))
(-.f64 (+.f64 z x) (neg.f64 y))
(-.f64 (+.f64 z y) (neg.f64 x))
(-.f64 x (-.f64 (neg.f64 y) z))
(-.f64 y (-.f64 (neg.f64 x) z))
(-.f64 z (-.f64 (neg.f64 x) y))
(neg.f64 (-.f64 (-.f64 (neg.f64 x) y) z))
(+.f64 x y)
(+.f64 y x)
(-.f64 x (neg.f64 y))
(-.f64 y (neg.f64 x))
(neg.f64 (-.f64 (neg.f64 x) y))
x
(neg.f64 (neg.f64 x))
y
(neg.f64 (neg.f64 y))
z
(neg.f64 (neg.f64 z))

eval6.0ms (0%)

Memory: 6.2MiB live, 6.2MiB allocated; 0ms collecting garbage
Compiler: Compiled 165 to 116 computations (29.7% saved)

prune3.0ms (0%)

Memory

2.9MiB live, 2.9MiB allocated; 0ms collecting garbage

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	34	2	36
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	34	3	37

Accuracy

100.0%

Counts

37 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(+.f64 (+.f64 x y) z)
▶	47.6%	(+.f64 #s(approx (+ x y) y) z)
▶	98.1%	#s(approx (+ (+ x y) z) (+.f64 x z))

Compiler

Compiled 18 to 18 computations (0% saved)

series127.0ms (0.8%)

Memory

-1.5MiB live, 43.6MiB allocated; 4ms collecting garbage

Counts

7 → 21

Calls

Call 1

Inputs
#s(approx (+ (+ x y) z) (+.f64 x z))
(+.f64 x z)
x
z
(+.f64 #s(approx (+ x y) y) z)
#s(approx (+ x y) y)
y

Outputs
#s(approx (+ (+ x y) z) (+.f64 y z))
#s(approx (+ (+ x y) z) (+.f64 x (+.f64 y z)))
#s(approx (+ x z) z)
#s(approx (+ x z) (+.f64 x z))
#s(approx x x)
#s(approx (+ x y) y)
#s(approx (+ x y) (+.f64 x y))
#s(approx (+ (+ x y) z) (*.f64 x (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 y x) (/.f64 z x)))))
#s(approx (+ x z) (*.f64 x (+.f64 #s(literal 1 binary64) (/.f64 z x))))
#s(approx (+ x y) (*.f64 x (+.f64 #s(literal 1 binary64) (/.f64 y x))))
#s(approx (+ (+ x y) z) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 y z) x)) #s(literal 1 binary64)))))
#s(approx (+ x z) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 z x)) #s(literal 1 binary64)))))
#s(approx (+ x y) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 y x)) #s(literal 1 binary64)))))
#s(approx (+ (+ x y) z) (*.f64 y (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 x y) (/.f64 z y)))))
#s(approx (+ x y) (*.f64 y (+.f64 #s(literal 1 binary64) (/.f64 x y))))
#s(approx (+ (+ x y) z) (.f64 #s(literal -1 binary64) (.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x z) y)) #s(literal 1 binary64)))))
#s(approx (+ x y) (.f64 #s(literal -1 binary64) (.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 x y)) #s(literal 1 binary64)))))
#s(approx (+ (+ x y) z) (*.f64 z (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 x z) (/.f64 y z)))))
#s(approx (+ x z) (*.f64 z (+.f64 #s(literal 1 binary64) (/.f64 x z))))
#s(approx (+ (+ x y) z) (.f64 #s(literal -1 binary64) (.f64 z (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x y) z)) #s(literal 1 binary64)))))
#s(approx (+ x z) (.f64 #s(literal -1 binary64) (.f64 z (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 x z)) #s(literal 1 binary64)))))

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	((+ (+ x y) z) (+ x z) x z (+ (+ x y) z) (+ x y) y)
1.0ms	z	@	-inf	((+ (+ x y) z) (+ x z) x z (+ (+ x y) z) (+ x y) y)
1.0ms	y	@	-inf	((+ (+ x y) z) (+ x z) x z (+ (+ x y) z) (+ x y) y)
1.0ms	x	@	inf	((+ (+ x y) z) (+ x z) x z (+ (+ x y) z) (+ x y) y)
1.0ms	z	@	inf	((+ (+ x y) z) (+ x z) x z (+ (+ x y) z) (+ x y) y)

rewrite3.5s (22.5%)

Memory

22.5MiB live, 924.0MiB allocated; 262ms collecting garbage

Counts

7 → 14

Calls

Call 1

Inputs
#s(approx (+ (+ x y) z) (+.f64 x z))
(+.f64 x z)
x
z
(+.f64 #s(approx (+ x y) y) z)
#s(approx (+ x y) y)
y

Outputs
#s(approx (+ x (+ y z)) (+.f64 x z))
(+.f64 x z)
(+.f64 z x)
(-.f64 x (neg.f64 z))
(-.f64 z (neg.f64 x))
(neg.f64 (-.f64 (neg.f64 x) z))
x
(neg.f64 (neg.f64 x))
z
(neg.f64 (neg.f64 z))
(+.f64 #s(approx (+ y x) y) z)
#s(approx (+ y x) y)
y
(neg.f64 (neg.f64 y))

eval9.0ms (0.1%)

Memory: 4.7MiB live, 4.7MiB allocated; 0ms collecting garbage
Compiler: Compiled 176 to 128 computations (27.3% saved)

prune40.0ms (0.3%)

Memory

4.3MiB live, 4.3MiB allocated; 0ms collecting garbage

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	30	1	31
Fresh	0	0	0
Picked	0	2	2
Done	0	1	1
Total	30	4	34

Accuracy

100.0%

Counts

34 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(+.f64 (+.f64 x y) z)
✓	47.6%	(+.f64 #s(approx (+ x y) y) z)
✓	98.1%	#s(approx (+ (+ x y) z) (+.f64 x z))
▶	45.8%	#s(approx (+ (+ x y) z) #s(approx (+ x z) z))

Compiler

Compiled 26 to 26 computations (0% saved)

series132.0ms (0.8%)

Memory

-23.1MiB live, 65.7MiB allocated; 12ms collecting garbage

Counts

3 → 17

Calls

Call 1

Inputs
#s(approx (+ (+ x y) z) #s(approx (+ x z) z))
#s(approx (+ x z) z)
z

Outputs
#s(approx (+ (+ x y) z) (+.f64 y z))
#s(approx (+ (+ x y) z) (+.f64 x (+.f64 y z)))
#s(approx (+ x z) z)
#s(approx (+ x z) (+.f64 x z))
#s(approx (+ (+ x y) z) x)
#s(approx (+ (+ x y) z) (*.f64 x (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 y x) (/.f64 z x)))))
#s(approx (+ x z) (*.f64 x (+.f64 #s(literal 1 binary64) (/.f64 z x))))
#s(approx (+ (+ x y) z) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 y z) x)) #s(literal 1 binary64)))))
#s(approx (+ x z) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 z x)) #s(literal 1 binary64)))))
#s(approx (+ (+ x y) z) y)
#s(approx (+ (+ x y) z) (*.f64 y (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 x y) (/.f64 z y)))))
#s(approx (+ (+ x y) z) (.f64 #s(literal -1 binary64) (.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x z) y)) #s(literal 1 binary64)))))
#s(approx (+ (+ x y) z) (+.f64 x y))
#s(approx (+ (+ x y) z) (*.f64 z (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 x z) (/.f64 y z)))))
#s(approx (+ x z) (*.f64 z (+.f64 #s(literal 1 binary64) (/.f64 x z))))
#s(approx (+ (+ x y) z) (.f64 #s(literal -1 binary64) (.f64 z (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x y) z)) #s(literal 1 binary64)))))
#s(approx (+ x z) (.f64 #s(literal -1 binary64) (.f64 z (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 x z)) #s(literal 1 binary64)))))

Calls

9 calls:

Time	Variable		Point	Expression
7.0ms	y	@	-inf	((+ (+ x y) z) (+ x z) z)
1.0ms	z	@	-inf	((+ (+ x y) z) (+ x z) z)
0.0ms	z	@	inf	((+ (+ x y) z) (+ x z) z)
0.0ms	x	@	inf	((+ (+ x y) z) (+ x z) z)
0.0ms	x	@	-inf	((+ (+ x y) z) (+ x z) z)

rewrite3.6s (22.9%)

Memory

-4.2MiB live, 1 479.6MiB allocated; 487ms collecting garbage

Counts

3 → 4

Calls

Call 1

Inputs
#s(approx (+ (+ x y) z) #s(approx (+ x z) z))
#s(approx (+ x z) z)
z

Outputs
#s(approx (+ x (+ y z)) #s(approx (+ z x) z))
#s(approx (+ z x) z)
z
(neg.f64 (neg.f64 z))

eval6.0ms (0%)

Memory: 3.2MiB live, 3.2MiB allocated; 0ms collecting garbage
Compiler: Compiled 122 to 85 computations (30.3% saved)

prune6.0ms (0%)

Memory

2.8MiB live, 2.8MiB allocated; 0ms collecting garbage

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	16	3	19
Fresh	0	0	0
Picked	0	1	1
Done	1	2	3
Total	17	6	23

Accuracy

100.0%

Counts

23 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	47.6%	(+.f64 #s(approx (+ x y) y) z)
✓	98.1%	#s(approx (+ (+ x y) z) (+.f64 x z))
▶	54.7%	#s(approx (+ (+ x y) z) (+.f64 x y))
✓	45.8%	#s(approx (+ (+ x y) z) #s(approx (+ x z) z))
▶	4.2%	#s(approx (+ (+ x y) z) y)
▶	53.0%	#s(approx (+ (+ x y) z) x)

Compiler

Compiled 40 to 40 computations (0% saved)

series184.0ms (1.2%)

Memory

20.1MiB live, 20.1MiB allocated; 0ms collecting garbage

Counts

6 → 17

Calls

Call 1

Inputs
#s(approx (+ (+ x y) z) x)
x
#s(approx (+ (+ x y) z) y)
y
#s(approx (+ (+ x y) z) (+.f64 x y))
(+.f64 x y)

Outputs
#s(approx (+ (+ x y) z) (+.f64 y z))
#s(approx (+ (+ x y) z) (+.f64 x (+.f64 y z)))
#s(approx x x)
#s(approx (+ x y) y)
#s(approx (+ x y) (+.f64 x y))
#s(approx (+ (+ x y) z) (*.f64 x (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 y x) (/.f64 z x)))))
#s(approx (+ x y) (*.f64 x (+.f64 #s(literal 1 binary64) (/.f64 y x))))
#s(approx (+ (+ x y) z) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 y z) x)) #s(literal 1 binary64)))))
#s(approx (+ x y) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 y x)) #s(literal 1 binary64)))))
#s(approx (+ (+ x y) z) (+.f64 x z))
#s(approx (+ (+ x y) z) (*.f64 y (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 x y) (/.f64 z y)))))
#s(approx (+ x y) (*.f64 y (+.f64 #s(literal 1 binary64) (/.f64 x y))))
#s(approx (+ (+ x y) z) (.f64 #s(literal -1 binary64) (.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x z) y)) #s(literal 1 binary64)))))
#s(approx (+ x y) (.f64 #s(literal -1 binary64) (.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 x y)) #s(literal 1 binary64)))))
#s(approx (+ (+ x y) z) z)
#s(approx (+ (+ x y) z) (*.f64 z (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 x z) (/.f64 y z)))))
#s(approx (+ (+ x y) z) (.f64 #s(literal -1 binary64) (.f64 z (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x y) z)) #s(literal 1 binary64)))))

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	y	@	-inf	((+ (+ x y) z) x (+ (+ x y) z) y (+ (+ x y) z) (+ x y))
1.0ms	x	@	-inf	((+ (+ x y) z) x (+ (+ x y) z) y (+ (+ x y) z) (+ x y))
1.0ms	x	@	inf	((+ (+ x y) z) x (+ (+ x y) z) y (+ (+ x y) z) (+ x y))
1.0ms	y	@	inf	((+ (+ x y) z) x (+ (+ x y) z) y (+ (+ x y) z) (+ x y))
1.0ms	z	@	inf	((+ (+ x y) z) x (+ (+ x y) z) y (+ (+ x y) z) (+ x y))

rewrite3.4s (21.9%)

Memory

19.5MiB live, 2 243.6MiB allocated; 564ms collecting garbage

Counts

6 → 12

Calls

Call 1

Inputs
#s(approx (+ (+ x y) z) x)
x
#s(approx (+ (+ x y) z) y)
y
#s(approx (+ (+ x y) z) (+.f64 x y))
(+.f64 x y)

Outputs
#s(approx (+ x (+ y z)) x)
x
(neg.f64 (neg.f64 x))
#s(approx (+ x (+ y z)) y)
y
(neg.f64 (neg.f64 y))
#s(approx (+ x (+ y z)) (+.f64 x y))
(+.f64 x y)
(+.f64 y x)
(-.f64 x (neg.f64 y))
(-.f64 y (neg.f64 x))
(neg.f64 (-.f64 (neg.f64 x) y))

eval5.0ms (0%)

Memory: 3.3MiB live, 3.3MiB allocated; 0ms collecting garbage
Compiler: Compiled 150 to 102 computations (32% saved)

prune5.0ms (0%)

Memory

3.3MiB live, 3.3MiB allocated; 0ms collecting garbage

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	28	0	28
Fresh	0	0	0
Picked	0	3	3
Done	0	3	3
Total	28	6	34

Accuracy

100.0%

Counts

34 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	47.6%	(+.f64 #s(approx (+ x y) y) z)
✓	98.1%	#s(approx (+ (+ x y) z) (+.f64 x z))
✓	54.7%	#s(approx (+ (+ x y) z) (+.f64 x y))
✓	45.8%	#s(approx (+ (+ x y) z) #s(approx (+ x z) z))
✓	4.2%	#s(approx (+ (+ x y) z) y)
✓	53.0%	#s(approx (+ (+ x y) z) x)

Compiler

Compiled 65 to 57 computations (12.3% saved)

regimes18.0ms (0.1%)

Memory

14.6MiB live, 14.6MiB allocated; 0ms collecting garbage

Counts

7 → 1

Calls

Call 1

Inputs
#s(approx (+ (+ x y) z) x)
#s(approx (+ (+ x y) z) y)
#s(approx (+ (+ x y) z) #s(approx (+ x z) z))
#s(approx (+ (+ x y) z) (+.f64 x y))
#s(approx (+ (+ x y) z) (+.f64 x z))
(+.f64 #s(approx (+ x y) y) z)
(+.f64 (+.f64 x y) z)

Outputs
(+.f64 (+.f64 x y) z)

Calls

5 calls:

4.0ms	z
4.0ms	y
3.0ms	x
3.0ms	(+.f64 x y)
3.0ms	(+.f64 (+.f64 x y) z)

Results

Accuracy	Segments	Branch
100.0%	1	`(+.f64 x y)`
100.0%	1	`(+.f64 (+.f64 x y) z)`
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`z`

Compiler

Compiled 11 to 18 computations (-63.6% saved)

regimes18.0ms (0.1%)

Memory

-32.1MiB live, 14.5MiB allocated; 6ms collecting garbage

Counts

6 → 1

Calls

Call 1

Inputs
#s(approx (+ (+ x y) z) x)
#s(approx (+ (+ x y) z) y)
#s(approx (+ (+ x y) z) #s(approx (+ x z) z))
#s(approx (+ (+ x y) z) (+.f64 x y))
#s(approx (+ (+ x y) z) (+.f64 x z))
(+.f64 #s(approx (+ x y) y) z)

Outputs
#s(approx (+ (+ x y) z) (+.f64 x z))

Calls

5 calls:

6.0ms	(+.f64 (+.f64 x y) z)
3.0ms	z
3.0ms	x
3.0ms	y
3.0ms	(+.f64 x y)

Results

Accuracy	Segments	Branch
98.1%	1	`(+.f64 x y)`
98.1%	1	`(+.f64 (+.f64 x y) z)`
98.1%	1	`x`
98.1%	1	`y`
98.1%	1	`z`

Compiler

Compiled 11 to 18 computations (-63.6% saved)

regimes11.0ms (0.1%)

Memory

13.0MiB live, 12.9MiB allocated; 0ms collecting garbage

Counts

4 → 2

Calls

Call 1

Inputs
#s(approx (+ (+ x y) z) x)
#s(approx (+ (+ x y) z) y)
#s(approx (+ (+ x y) z) #s(approx (+ x z) z))
#s(approx (+ (+ x y) z) (+.f64 x y))

Outputs
#s(approx (+ (+ x y) z) (+.f64 x y))
#s(approx (+ (+ x y) z) #s(approx (+ x z) z))

Calls

5 calls:

2.0ms	(+.f64 (+.f64 x y) z)
2.0ms	(+.f64 x y)
2.0ms	x
2.0ms	z
2.0ms	y

Results

Accuracy	Segments	Branch
82.9%	2	`(+.f64 x y)`
97.8%	2	`(+.f64 (+.f64 x y) z)`
81.5%	2	`x`
75.6%	2	`y`
80.6%	2	`z`

Compiler

Compiled 11 to 18 computations (-63.6% saved)

regimes2.0ms (0%)

Memory

2.8MiB live, 2.8MiB allocated; 0ms collecting garbage

Counts

3 → 2

Calls

Call 1

Inputs
#s(approx (+ (+ x y) z) x)
#s(approx (+ (+ x y) z) y)
#s(approx (+ (+ x y) z) #s(approx (+ x z) z))

Outputs
#s(approx (+ (+ x y) z) x)
#s(approx (+ (+ x y) z) #s(approx (+ x z) z))

Calls

1 calls:

2.0ms

(+.f64 (+.f64 x y) z)

Results

Accuracy	Segments	Branch
96.8%	2	`(+.f64 (+.f64 x y) z)`

Compiler

Compiled 5 to 5 computations (0% saved)

regimes6.0ms (0%)

Memory

10.3MiB live, 10.4MiB allocated; 0ms collecting garbage

Accuracy

Total -31.8b remaining (-105.8%)

Threshold costs -31.8b (-105.8%)

Counts

2 → 1

Calls

Call 1

Inputs
#s(approx (+ (+ x y) z) x)
#s(approx (+ (+ x y) z) y)

Outputs
#s(approx (+ (+ x y) z) x)

Calls

5 calls:

1.0ms	(+.f64 (+.f64 x y) z)
1.0ms	(+.f64 x y)
1.0ms	x
1.0ms	z
1.0ms	y

Results

Accuracy	Segments	Branch
53.0%	1	`y`
53.0%	1	`z`
53.0%	1	`x`
53.0%	1	`(+.f64 x y)`
53.0%	1	`(+.f64 (+.f64 x y) z)`

Compiler

Compiled 11 to 18 computations (-63.6% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-4.899738875967547e-229	3.0830691874605727e-153

Compiler

Compiled 8 to 11 computations (-37.5% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-4.899738875967547e-229	3.0830691874605727e-153

Compiler

Compiled 8 to 11 computations (-37.5% saved)

derivations1.0ms (0%)

Memory

1.3MiB live, 1.3MiB allocated; 0ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 25 to 18 computations (28% saved)

preprocess167.0ms (1.1%)

Memory: -45.5MiB live, 62.9MiB allocated; 145ms collecting garbage
Compiler: Compiled 132 to 115 computations (12.9% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample755.0ms (4.8%)

preprocess72.0ms (0.5%)

series125.0ms (0.8%)

rewrite3.4s (21.9%)

eval6.0ms (0%)

prune3.0ms (0%)

series127.0ms (0.8%)

rewrite3.5s (22.5%)

eval9.0ms (0.1%)

prune40.0ms (0.3%)

series132.0ms (0.8%)

rewrite3.6s (22.9%)

eval6.0ms (0%)

prune6.0ms (0%)

series184.0ms (1.2%)

rewrite3.4s (21.9%)

eval5.0ms (0%)

prune5.0ms (0%)

regimes18.0ms (0.1%)

regimes18.0ms (0.1%)

regimes11.0ms (0.1%)

regimes2.0ms (0%)

regimes6.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

derivations1.0ms (0%)

preprocess167.0ms (1.1%)

end0.0ms (0%)

Profiling