Metrics for Disney BSSRDF, PDF of scattering profile

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze53.0ms (1.8%)

Memory

2.1MiB live, 19.8MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	2.1%	97.9%	0%	0%	0%	0
0%	0%	2.1%	97.9%	0%	0%	0%	1
0%	0%	2.1%	97.9%	0%	0%	0%	2
25%	0.5%	1.5%	97.9%	0%	0%	0%	3
37.5%	0.8%	1.3%	97.9%	0%	0%	0%	4
56.2%	1.2%	0.9%	97.9%	0%	0%	0%	5
65.6%	1.3%	0.7%	97.9%	0%	0%	0%	6
76.6%	1.6%	0.5%	97.9%	0%	0%	0%	7
82%	1.7%	0.4%	97.9%	0%	0%	0%	8
87.9%	1.8%	0.2%	97.9%	0%	0%	0%	9
90.8%	1.9%	0.2%	97.9%	0%	0%	0%	10
93.8%	1.9%	0.1%	97.9%	0%	0%	0%	11
95.4%	2%	0.1%	97.9%	0%	0%	0%	12

Compiler

Compiled 49 to 37 computations (24.5% saved)

sample49.0ms (1.7%)

Memory

-1.8MiB live, 20.9MiB allocated

Samples

36.0ms

260×

valid

Precisions

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

ival-mult: 11.0ms (37.4% of total)

ival-div: 6.0ms (20.4% of total)

ival-exp: 3.0ms (10.2% of total)

const: 3.0ms (10.2% of total)

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

ival-add: 1.0ms (3.4% of total)

ival-and: 1.0ms (3.4% of total)

ival-<=: 1.0ms (3.4% of total)

exact: 1.0ms (3.4% of total)

ival-<: 1.0ms (3.4% of total)

ival-neg: 1.0ms (3.4% of total)

adjust: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

Bogosity

explain2.6s (89.3%)

Memory

-78.4MiB live, 1 723.5MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
2	9	(0.002302703680470586 0.7782713174819946)	2	(6.652773443249771e-9 1.2609168607013999e-6)	`(exp.f32 (/.f32 (neg.f32 r) (*.f32 #s(literal 3 binary32) s)))`
1	0	-	1	(3.5842168699673493e-7 0.00010618748638080433)	`(/.f32 (.f32 #s(literal 3/4 binary32) (exp.f32 (/.f32 (neg.f32 r) (.f32 #s(literal 3 binary32) s)))) (.f32 (.f32 (*.f32 #s(literal 6 binary32) (PI.f32)) s) r))`
1	6	(0.0012634812155738473 0.14026744663715363)	0	-	`(exp.f32 (/.f32 (neg.f32 r) s))`
0	0	-	0	-	`(.f32 (.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) s) r)`
0	0	-	0	-	`(.f32 #s(literal 3/4 binary32) (exp.f32 (/.f32 (neg.f32 r) (.f32 #s(literal 3 binary32) s))))`
0	0	-	0	-	`(PI.f32)`
0	0	-	0	-	`#s(literal 2 binary32)`
0	0	-	0	-	`(.f32 (.f32 #s(literal 6 binary32) (PI.f32)) s)`
0	0	-	0	-	`(*.f32 #s(literal 6 binary32) (PI.f32))`
0	0	-	0	-	`(neg.f32 r)`
0	0	-	0	-	`s`
0	0	-	0	-	`(/.f32 (neg.f32 r) (*.f32 #s(literal 3 binary32) s))`
0	0	-	0	-	`(+.f32 (/.f32 (.f32 #s(literal 1/4 binary32) (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) s) r)) (/.f32 (.f32 #s(literal 3/4 binary32) (exp.f32 (/.f32 (neg.f32 r) (.f32 #s(literal 3 binary32) s)))) (.f32 (.f32 (*.f32 #s(literal 6 binary32) (PI.f32)) s) r)))`
0	0	-	0	-	`#s(literal 3/4 binary32)`
0	0	-	0	-	`(/.f32 (neg.f32 r) s)`
0	0	-	0	-	`#s(literal 1/4 binary32)`
0	0	-	0	-	`(*.f32 #s(literal 1/4 binary32) (exp.f32 (/.f32 (neg.f32 r) s)))`
0	0	-	0	-	`(.f32 (.f32 #s(literal 2 binary32) (PI.f32)) s)`
0	0	-	0	-	`(*.f32 #s(literal 3 binary32) s)`
0	0	-	0	-	`(.f32 (.f32 (*.f32 #s(literal 6 binary32) (PI.f32)) s) r)`
0	0	-	0	-	`#s(literal 6 binary32)`
0	0	-	0	-	`r`
0	0	-	0	-	`#s(literal 3 binary32)`
0	0	-	0	-	`(*.f32 #s(literal 2 binary32) (PI.f32))`
0	0	-	0	-	`(/.f32 (.f32 #s(literal 1/4 binary32) (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) s) r))`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`exp.f32`	`(exp.f32 (/.f32 (neg.f32 r) (*.f32 #s(literal 3 binary32) s)))`	sensitivity	9	4
`exp.f32`	`(exp.f32 (/.f32 (neg.f32 r) s))`	sensitivity	7	1

Confusion

	Predicted +	Predicted -
+	4	0
-	9	243

Precision

0.3076923076923077

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	4	0	0
-	9	1	242

Precision?

0.2857142857142857

Recall?

1.0

Freqs

test

number	freq
0	243
1	10
2	3

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Total Time

35.4072265625

Average Time

0.13830947875976563

Samples

788.0ms

6 144×

valid

Compiler

Compiled 5 700 to 1 248 computations (78.1% saved)

Precisions

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

ival-mult: 259.0ms (45.4% of total)

ival-div: 139.0ms (24.4% of total)

ival-exp: 81.0ms (14.2% of total)

ival-neg: 27.0ms (4.7% of total)

ival-add: 23.0ms (4% of total)

ival-pi: 21.0ms (3.7% of total)

exact: 12.0ms (2.1% of total)

ival-true: 5.0ms (0.9% of total)

adjust: 2.0ms (0.4% of total)

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

preprocess180.0ms (6.2%)

Memory

5.7MiB live, 29.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	57	175
1	192	140
2	929	102
3	5143	102
0	25	33
0	43	33
1	83	28
2	252	22
3	889	20
4	2448	20
5	3159	20
6	3515	20
7	3918	20
8	4320	20
9	4332	20
10	5241	20
11	5436	20
12	5449	20
13	5451	20
14	5529	20
15	5529	20
0	8331	20

Stop Event

1×	iter limit
1×	node limit
1×	iter limit
1×	node limit

Calls

Call 1

Inputs
(+.f32 (/.f32 (.f32 #s(literal 1/4 binary32) (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) s) r)) (/.f32 (.f32 #s(literal 3/4 binary32) (exp.f32 (/.f32 (neg.f32 r) (.f32 #s(literal 3 binary32) s)))) (.f32 (.f32 (*.f32 #s(literal 6 binary32) (PI.f32)) s) r)))

Inputs

(+.f32 (/.f32 (*.f32 #s(literal 1/4 binary32) (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) s) r)) (/.f32 (*.f32 #s(literal 3/4 binary32) (exp.f32 (/.f32 (neg.f32 r) (*.f32 #s(literal 3 binary32) s)))) (*.f32 (*.f32 (*.f32 #s(literal 6 binary32) (PI.f32)) s) r)))

Outputs
(+.f32 (/.f32 (.f32 #s(literal 1/4 binary32) (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) s) r)) (/.f32 (.f32 #s(literal 3/4 binary32) (exp.f32 (/.f32 (neg.f32 r) (.f32 #s(literal 3 binary32) s)))) (.f32 (.f32 (*.f32 #s(literal 6 binary32) (PI.f32)) s) r)))
(.f32 (+.f32 (pow.f32 (exp.f32 r) (/.f32 #s(literal -1/3 binary32) s)) (exp.f32 (/.f32 (neg.f32 r) s))) (/.f32 #s(literal 1/8 binary32) (.f32 (*.f32 s r) (PI.f32))))

Outputs

(+.f32 (/.f32 (*.f32 #s(literal 1/4 binary32) (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) s) r)) (/.f32 (*.f32 #s(literal 3/4 binary32) (exp.f32 (/.f32 (neg.f32 r) (*.f32 #s(literal 3 binary32) s)))) (*.f32 (*.f32 (*.f32 #s(literal 6 binary32) (PI.f32)) s) r)))

(*.f32 (+.f32 (pow.f32 (exp.f32 r) (/.f32 #s(literal -1/3 binary32) s)) (exp.f32 (/.f32 (neg.f32 r) s))) (/.f32 #s(literal 1/8 binary32) (*.f32 (*.f32 s r) (PI.f32))))

Compiler

Compiled 33 to 25 computations (24.2% saved)

eval0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated
Compiler: Compiled 0 to 2 computations (-∞% saved)

prune1.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.5%	(+.f32 (/.f32 (.f32 #s(literal 1/4 binary32) (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) s) r)) (/.f32 (.f32 #s(literal 3/4 binary32) (exp.f32 (/.f32 (neg.f32 r) (.f32 #s(literal 3 binary32) s)))) (.f32 (.f32 (*.f32 #s(literal 6 binary32) (PI.f32)) s) r)))

Status

Accuracy

Program

99.5%

(+.f32 (/.f32 (*.f32 #s(literal 1/4 binary32) (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) s) r)) (/.f32 (*.f32 #s(literal 3/4 binary32) (exp.f32 (/.f32 (neg.f32 r) (*.f32 #s(literal 3 binary32) s)))) (*.f32 (*.f32 (*.f32 #s(literal 6 binary32) (PI.f32)) s) r)))

Compiler

Compiled 66 to 50 computations (24.2% saved)

simplify28.0ms (1%)

Memory

-17.7MiB live, 18.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	33
1	43	33
2	53	33
3	67	33
4	75	33
5	79	33
6	80	33

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f32 (/.f32 (.f32 #s(literal 1/4 binary32) (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) s) r)) (/.f32 (.f32 #s(literal 3/4 binary32) (exp.f32 (/.f32 (neg.f32 r) (.f32 #s(literal 3 binary32) s)))) (.f32 (.f32 (*.f32 #s(literal 6 binary32) (PI.f32)) s) r)))

Inputs

(+.f32 (/.f32 (*.f32 #s(literal 1/4 binary32) (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) s) r)) (/.f32 (*.f32 #s(literal 3/4 binary32) (exp.f32 (/.f32 (neg.f32 r) (*.f32 #s(literal 3 binary32) s)))) (*.f32 (*.f32 (*.f32 #s(literal 6 binary32) (PI.f32)) s) r)))

Outputs
(+.f32 (/.f32 (.f32 #s(literal 1/4 binary32) (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) s) r)) (/.f32 (.f32 #s(literal 3/4 binary32) (exp.f32 (/.f32 (neg.f32 r) (.f32 #s(literal 3 binary32) s)))) (.f32 (.f32 (*.f32 #s(literal 6 binary32) (PI.f32)) s) r)))
(+.f32 (/.f32 (.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 #s(literal 3 binary32) s))) #s(literal 3/4 binary32)) (.f32 (.f32 (.f32 #s(literal 6 binary32) (PI.f32)) s) r)) (/.f32 (.f32 (exp.f32 (/.f32 (neg.f32 r) s)) #s(literal 1/4 binary32)) (.f32 (.f32 (*.f32 (PI.f32) #s(literal 2 binary32)) s) r)))

Outputs

(+.f32 (/.f32 (*.f32 #s(literal 1/4 binary32) (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) s) r)) (/.f32 (*.f32 #s(literal 3/4 binary32) (exp.f32 (/.f32 (neg.f32 r) (*.f32 #s(literal 3 binary32) s)))) (*.f32 (*.f32 (*.f32 #s(literal 6 binary32) (PI.f32)) s) r)))

(+.f32 (/.f32 (*.f32 (exp.f32 (/.f32 (neg.f32 r) (*.f32 #s(literal 3 binary32) s))) #s(literal 3/4 binary32)) (*.f32 (*.f32 (*.f32 #s(literal 6 binary32) (PI.f32)) s) r)) (/.f32 (*.f32 (exp.f32 (/.f32 (neg.f32 r) s)) #s(literal 1/4 binary32)) (*.f32 (*.f32 (*.f32 (PI.f32) #s(literal 2 binary32)) s) r)))

soundness0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 33 to 25 computations (24.2% saved)

preprocess1.0ms (0%)

Memory: 0.6MiB live, 0.6MiB allocated
Compiler: Compiled 132 to 100 computations (24.2% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze53.0ms (1.8%)

sample49.0ms (1.7%)

explain2.6s (89.3%)

preprocess180.0ms (6.2%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify28.0ms (1%)

soundness0.0ms (0%)

preprocess1.0ms (0%)

end0.0ms (0%)

Profiling