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

analyze1.0ms (0.1%)

Memory

0.6MiB live, 0.6MiB 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)

sample562.0ms (61.3%)

Memory

14.1MiB live, 619.3MiB allocated; 187ms collecting garbage

Samples

376.0ms

8 256×

valid

Precisions

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

ival-mult!: 89.0ms (80.6% of total)

ival-add!: 19.0ms (17.2% of total)

adjust: 2.0ms (1.8% of total)

Bogosity

preprocess41.0ms (4.5%)

Memory

-10.6MiB live, 40.3MiB allocated; 10ms 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

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 14 to 12 computations (14.3% saved)

series14.0ms (1.5%)

Memory

36.5MiB live, 36.5MiB 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
1.0ms	z	inf
1.0ms	y	-inf
1.0ms	y	0
1.0ms	z	-inf
1.0ms	y	inf

rewrite66.0ms (7.2%)

Memory

-5.8MiB live, 80.9MiB allocated; 18ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	18
0	9	18
1	19	18
2	52	18
3	121	18
4	225	18
5	386	18
6	1311	18
0	4135	17

Stop Event

1×	iter-limit
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 (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 (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 (fabs.f64 z) y) (fabs.f64 z))
(.f64 (.f64 (neg.f64 y) (fabs.f64 z)) (neg.f64 (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

eval4.0ms (0.4%)

Memory: 7.4MiB live, 7.4MiB allocated; 0ms collecting garbage
Compiler: Compiled 445 to 115 computations (74.2% saved)

prune2.0ms (0.2%)

Memory

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

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Accuracy

100.0%

Counts

46 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	93.4%	(fma.f64 (*.f64 z z) y x)
▶	99.9%	(fma.f64 (*.f64 z y) z x)

Compiler

Compiled 12 to 10 computations (16.7% saved)

series7.0ms (0.8%)

Memory

10.6MiB live, 10.6MiB 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
1.0ms	z	-inf
1.0ms	z	inf
1.0ms	y	-inf
1.0ms	y	inf
0.0ms	x	-inf

rewrite49.0ms (5.3%)

Memory

-18.8MiB live, 28.0MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	21
0	13	21
1	27	21
2	69	21
3	211	21
4	419	21
5	1349	21
0	4183	21

Stop Event

1×	iter-limit
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.6%)

Memory: 9.0MiB live, 9.0MiB allocated; 0ms collecting garbage
Compiler: Compiled 495 to 134 computations (72.9% saved)

prune2.0ms (0.3%)

Memory

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

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	52	0	52
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	52	2	54

Accuracy

100.0%

Counts

54 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 12 to 10 computations (16.7% saved)

regimes134.0ms (14.6%)

Memory

-51.4MiB live, 17.8MiB allocated; 170ms collecting garbage

Accuracy

Total -4.2b remaining (-6018.5%)

Threshold costs -4.2b (-6018.5%)

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:

128.0ms	(+.f64 x (.f64 (.f64 y z) z))
1.0ms	z
1.0ms	y
1.0ms	x
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 34 to 30 computations (11.8% saved)

derivations21.0ms (2.3%)

Memory

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

Stop Event

1×

done

Compiler

Compiled 6 to 5 computations (16.7% saved)

preprocess8.0ms (0.9%)

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

end0.0ms (0%)

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

start0.0ms (0%)

analyze1.0ms (0.1%)

sample562.0ms (61.3%)

preprocess41.0ms (4.5%)

series14.0ms (1.5%)

rewrite66.0ms (7.2%)

eval4.0ms (0.4%)

prune2.0ms (0.2%)

series7.0ms (0.8%)

rewrite49.0ms (5.3%)

eval5.0ms (0.6%)

prune2.0ms (0.3%)

regimes134.0ms (14.6%)

derivations21.0ms (2.3%)

preprocess8.0ms (0.9%)

end0.0ms (0%)

Profiling