Metrics for Statistics.Sample:robustSumVarWeighted from math-functions-0.1.5.2

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

1.1MiB live, 1.1MiB 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 9 to 8 computations (11.1% saved)

sample632.0ms (43.8%)

Memory

27.2MiB live, 1 555.5MiB allocated; 340ms collecting garbage

Samples

363.0ms

8 256×

valid

Precisions

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

ival-mult!: 110.0ms (81.9% of total)

ival-add!: 23.0ms (17.1% of total)

adjust: 1.0ms (0.7% of total)

Bogosity

preprocess164.0ms (11.4%)

Memory

-16.6MiB live, 57.2MiB allocated; 40ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	28	77
1	101	71
2	279	71
3	552	71
4	751	71
5	1190	71
6	3563	71
7	7287	71

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

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

Symmetry

(abs z)

Compiler

Compiled 12 to 12 computations (0% saved)

series12.0ms (0.8%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	144

Stop Event

1×	iter-limit

Counts

6 → 11

Calls

Call 1

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

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

Calls

9 calls:

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

rewrite366.0ms (25.4%)

Memory

0.4MiB live, 236.4MiB allocated; 107ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	18
0	9	18
1	36	18
2	112	18
3	255	18
4	476	18
5	999	18
6	4963	18
0	8047	17
1	14352	17

Stop Event

1×	saturated
1×	node-limit
1×	iter-limit

Counts

6 → 38

Calls

Call 1

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

Outputs
(neg.f64 (neg.f64 (fma.f64 (*.f64 z y) z x)))
(fma.f64 (*.f64 (neg.f64 y) (fabs.f64 z)) (neg.f64 (fabs.f64 z)) x)
(fma.f64 (*.f64 (fabs.f64 z) y) (fabs.f64 z) x)
(fma.f64 (neg.f64 (fabs.f64 z)) (*.f64 (neg.f64 y) (fabs.f64 z)) x)
(fma.f64 (*.f64 (neg.f64 z) z) (neg.f64 y) x)
(fma.f64 (neg.f64 y) (*.f64 (neg.f64 z) z) x)
(fma.f64 (fabs.f64 z) (*.f64 (fabs.f64 z) y) x)
(fma.f64 (neg.f64 z) (*.f64 (neg.f64 y) z) x)
(fma.f64 (*.f64 z z) y x)
(fma.f64 (*.f64 (neg.f64 y) z) (neg.f64 z) x)
(fma.f64 (*.f64 z y) z x)
(fma.f64 z (*.f64 z y) x)
(fma.f64 y (*.f64 z z) x)
(-.f64 (.f64 (.f64 z z) y) (neg.f64 x))
(-.f64 x (.f64 (.f64 (neg.f64 z) z) y))
(+.f64 (.f64 (.f64 z z) y) x)
(+.f64 x (.f64 (.f64 z z) y))
x
(.f64 (.f64 (neg.f64 y) (fabs.f64 z)) (neg.f64 (fabs.f64 z)))
(.f64 (.f64 (fabs.f64 z) y) (fabs.f64 z))
(.f64 (neg.f64 (fabs.f64 z)) (.f64 (neg.f64 y) (fabs.f64 z)))
(.f64 (.f64 (neg.f64 z) z) (neg.f64 y))
(.f64 (neg.f64 y) (.f64 (neg.f64 z) z))
(.f64 (fabs.f64 z) (.f64 (fabs.f64 z) y))
(.f64 (neg.f64 z) (.f64 (neg.f64 y) z))
(.f64 (.f64 z z) y)
(.f64 (.f64 (neg.f64 y) z) (neg.f64 z))
(.f64 (.f64 z y) z)
(.f64 z (.f64 z y))
(.f64 y (.f64 z z))
(neg.f64 (.f64 (.f64 (neg.f64 z) z) y))
(*.f64 (neg.f64 y) (neg.f64 z))
(*.f64 (neg.f64 z) (neg.f64 y))
(*.f64 z y)
(*.f64 y z)
(neg.f64 (*.f64 (neg.f64 y) z))
y
z

eval8.0ms (0.6%)

Memory: -42.3MiB live, 7.6MiB allocated; 7ms collecting garbage
Compiler: Compiled 225 to 115 computations (48.9% saved)

prune2.0ms (0.1%)

Memory

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

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	43	2	45
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	43	3	46

Accuracy

99.9%

Counts

46 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	91.1%	(fma.f64 (*.f64 z z) y x)
▶	99.9%	(fma.f64 (*.f64 z y) z x)
✓	99.9%	(+.f64 x (.f64 (.f64 y z) z))

Compiler

Compiled 16 to 16 computations (0% saved)

series8.0ms (0.5%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	144

Stop Event

1×	iter-limit

Counts

7 → 12

Calls

Call 1

Inputs
(fma.f64 (*.f64 z y) z x)
(*.f64 z y)
z
y
x
(fma.f64 (*.f64 z z) y x)
(*.f64 z z)

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

Calls

9 calls:

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

rewrite198.0ms (13.7%)

Memory

4.7MiB live, 143.9MiB allocated; 29ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	21
0	13	21
1	61	21
2	135	21
3	428	21
4	803	21
5	2485	21
0	8171	21
1	11899	21

Stop Event

1×	saturated
1×	node-limit
1×	iter-limit

Counts

7 → 60

Calls

Call 1

Inputs
(fma.f64 (*.f64 z y) z x)
(*.f64 z y)
z
y
x
(fma.f64 (*.f64 z z) y x)
(*.f64 z z)

Outputs
(neg.f64 (neg.f64 (fma.f64 (*.f64 y z) z x)))
(fma.f64 (*.f64 (fabs.f64 z) y) (fabs.f64 z) x)
(fma.f64 (*.f64 (neg.f64 y) (fabs.f64 z)) (neg.f64 (fabs.f64 z)) x)
(fma.f64 (*.f64 (neg.f64 y) z) (neg.f64 z) x)
(fma.f64 (*.f64 (neg.f64 z) z) (neg.f64 y) x)
(fma.f64 (neg.f64 y) (*.f64 (neg.f64 z) z) x)
(fma.f64 (neg.f64 (fabs.f64 z)) (*.f64 (neg.f64 y) (fabs.f64 z)) x)
(fma.f64 (fabs.f64 z) (*.f64 (fabs.f64 z) y) x)
(fma.f64 (neg.f64 z) (*.f64 (neg.f64 y) z) x)
(fma.f64 (*.f64 z z) y x)
(fma.f64 (*.f64 y z) z x)
(fma.f64 y (*.f64 z z) x)
(fma.f64 z (*.f64 y z) x)
(-.f64 (.f64 (.f64 z z) y) (neg.f64 x))
(-.f64 x (.f64 (.f64 (neg.f64 y) z) z))
(+.f64 (.f64 (.f64 z z) y) x)
(+.f64 x (.f64 (.f64 z z) y))
(*.f64 (neg.f64 y) (neg.f64 z))
(*.f64 (neg.f64 z) (neg.f64 y))
(*.f64 y z)
(*.f64 z y)
(neg.f64 (*.f64 (neg.f64 y) z))
z
y
x
(neg.f64 (neg.f64 (fma.f64 (*.f64 y z) z x)))
(fma.f64 (*.f64 (fabs.f64 z) y) (fabs.f64 z) x)
(fma.f64 (*.f64 (neg.f64 y) (fabs.f64 z)) (neg.f64 (fabs.f64 z)) x)
(fma.f64 (*.f64 (neg.f64 y) z) (neg.f64 z) x)
(fma.f64 (*.f64 (neg.f64 z) z) (neg.f64 y) x)
(fma.f64 (neg.f64 y) (*.f64 (neg.f64 z) z) x)
(fma.f64 (neg.f64 (fabs.f64 z)) (*.f64 (neg.f64 y) (fabs.f64 z)) x)
(fma.f64 (fabs.f64 z) (*.f64 (fabs.f64 z) y) x)
(fma.f64 (neg.f64 z) (*.f64 (neg.f64 y) z) x)
(fma.f64 (*.f64 z z) y x)
(fma.f64 (*.f64 y z) z x)
(fma.f64 y (*.f64 z z) x)
(fma.f64 z (*.f64 y z) x)
(-.f64 (.f64 (.f64 z z) y) (neg.f64 x))
(-.f64 x (.f64 (.f64 (neg.f64 y) z) z))
(+.f64 (.f64 (.f64 z z) y) x)
(+.f64 x (.f64 (.f64 z z) y))
(*.f64 (neg.f64 (fabs.f64 z)) (neg.f64 (fabs.f64 z)))
(*.f64 (fabs.f64 z) (fabs.f64 z))
(*.f64 (neg.f64 z) (neg.f64 z))
(*.f64 z z)
(pow.f64 (pow.f64 z #s(literal 16 binary64)) #s(literal 1/8 binary64))
(pow.f64 (pow.f64 z #s(literal 8 binary64)) #s(literal 1/4 binary64))
(pow.f64 (.f64 (.f64 (*.f64 z z) z) z) #s(literal 1/2 binary64))
(pow.f64 (neg.f64 (fabs.f64 z)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 z) #s(literal 2 binary64))
(pow.f64 (neg.f64 z) #s(literal 2 binary64))
(pow.f64 (*.f64 z z) #s(literal 1 binary64))
(pow.f64 z #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 z) z))
(sqrt.f64 (.f64 (.f64 (*.f64 z z) z) z))
(fabs.f64 (*.f64 (fabs.f64 z) (neg.f64 z)))
(fabs.f64 (*.f64 (fabs.f64 z) z))
(fabs.f64 (*.f64 (neg.f64 z) z))
(fabs.f64 (*.f64 z z))

eval5.0ms (0.3%)

Memory: 7.5MiB live, 7.5MiB allocated; 0ms collecting garbage
Compiler: Compiled 237 to 134 computations (43.5% saved)

prune3.0ms (0.2%)

Memory

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

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	52	0	52
Fresh	0	0	0
Picked	0	2	2
Done	0	1	1
Total	52	3	55

Accuracy

99.9%

Counts

55 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	91.1%	(fma.f64 (*.f64 z z) y x)
✓	99.9%	(fma.f64 (*.f64 z y) z x)
✓	99.9%	(+.f64 x (.f64 (.f64 y z) z))

Compiler

Compiled 26 to 26 computations (0% saved)

regimes7.0ms (0.5%)

Memory

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

Accuracy

Total -5.6b remaining (-5988%)

Threshold costs -5.6b (-5988%)

Counts

3 → 1

Calls

Call 1

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

Outputs
(fma.f64 (*.f64 z y) z x)

Calls

5 calls:

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

Results

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

Compiler

Compiled 13 to 20 computations (-53.8% saved)

derivations29.0ms (2%)

Memory

-41.5MiB live, 5.5MiB allocated; 3ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 5 to 5 computations (0% saved)

preprocess9.0ms (0.6%)

Memory: 16.9MiB live, 16.9MiB allocated; 0ms collecting garbage
Remove: (abs z)
Compiler: Compiled 21 to 21 computations (0% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample632.0ms (43.8%)

preprocess164.0ms (11.4%)

series12.0ms (0.8%)

rewrite366.0ms (25.4%)

eval8.0ms (0.6%)

prune2.0ms (0.1%)

series8.0ms (0.5%)

rewrite198.0ms (13.7%)

eval5.0ms (0.3%)

prune3.0ms (0.2%)

regimes7.0ms (0.5%)

derivations29.0ms (2%)

preprocess9.0ms (0.6%)

end0.0ms (0%)

Profiling