Metrics for Disney BSSRDF, PDF of scattering profile

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze56.0ms (2.3%)

Memory

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

sample52.0ms (2.1%)

Memory

-1.5MiB live, 20.9MiB allocated

Samples

38.0ms

260×

valid

Precisions

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

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

ival-div: 7.0ms (22% of total)

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

const: 3.0ms (9.4% of total)

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

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

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

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

exact: 1.0ms (3.1% of total)

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

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

adjust: 0.0ms (0% of total)

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

Bogosity

explain2.1s (86.3%)

Memory

13.6MiB live, 1 821.5MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Example	Subexpression
1	0	-	-	`(exp.f32 (/.f32 (neg.f32 r) (*.f32 #s(literal 3 binary32) s)))`
0	0	-	-	`(.f32 (.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) s) r)`
0	0	-	-	`(.f32 #s(literal 3/4 binary32) (exp.f32 (/.f32 (neg.f32 r) (.f32 #s(literal 3 binary32) s))))`
0	0	-	-	`(PI.f32)`
0	0	-	-	`#s(literal 2 binary32)`
0	2	(8.38538122090742e-39 5030.89404296875)	-	`(.f32 (.f32 #s(literal 6 binary32) (PI.f32)) s)`
0	0	-	-	`(*.f32 #s(literal 6 binary32) (PI.f32))`
0	6	(8.931337416165066e-37 1.2665465874306392e-5)	-	`(/.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	-	-	`(neg.f32 r)`
0	0	-	-	`s`
0	0	-	-	`(/.f32 (neg.f32 r) (*.f32 #s(literal 3 binary32) s))`
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	-	-	`#s(literal 3/4 binary32)`
0	0	-	-	`(/.f32 (neg.f32 r) s)`
0	0	-	-	`#s(literal 1/4 binary32)`
0	1	(5.3035237215226516e-5 0.0043959547765553)	-	`(exp.f32 (/.f32 (neg.f32 r) s))`
0	0	-	-	`(*.f32 #s(literal 1/4 binary32) (exp.f32 (/.f32 (neg.f32 r) s)))`
0	2	(8.38538122090742e-39 5030.89404296875)	-	`(.f32 (.f32 #s(literal 2 binary32) (PI.f32)) s)`
0	0	-	-	`(*.f32 #s(literal 3 binary32) s)`
0	0	-	-	`(.f32 (.f32 (*.f32 #s(literal 6 binary32) (PI.f32)) s) r)`
0	0	-	-	`#s(literal 6 binary32)`
0	0	-	-	`r`
0	0	-	-	`#s(literal 3 binary32)`
0	0	-	-	`(*.f32 #s(literal 2 binary32) (PI.f32))`
0	6	(8.931337416165066e-37 1.2665465874306392e-5)	-	`(/.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
`/.f32`	`(/.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))`	u/u	6	0
↳	`(.f32 #s(literal 3/4 binary32) (exp.f32 (/.f32 (neg.f32 r) (.f32 #s(literal 3 binary32) s))))`	underflow	220
↳	`(exp.f32 (/.f32 (neg.f32 r) (*.f32 #s(literal 3 binary32) s)))`	underflow	220
↳	`(.f32 (.f32 (*.f32 #s(literal 6 binary32) (PI.f32)) s) r)`	underflow	6
`*.f32`	`(.f32 (.f32 #s(literal 6 binary32) (PI.f32)) s)`	*nu**	2	0
`exp.f32`	`(exp.f32 (/.f32 (neg.f32 r) s))`	sensitivity	1	5
`exp.f32`	`(exp.f32 (/.f32 (neg.f32 r) (*.f32 #s(literal 3 binary32) s)))`	sensitivity	1	5

Confusion

	Predicted +	Predicted -
+	2	0
-	8	246

Precision

0.2

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	2	0	0
-	8	7	239

Precision?

0.11764705882352941

Recall?

1.0

2:

4:

8:

16:

32:

64:

128:

256:

512:

1024:

2048:

Freqs

test

number	freq
0	246
1	10

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

10.531005859375

Average Time

0.041136741638183594

Samples

413.0ms

3 072×

valid

Compiler

Compiled 5 676 to 1 224 computations (78.4% saved)

Precisions

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

ival-mult: 138.0ms (45.8% of total)

ival-div: 75.0ms (24.9% of total)

ival-exp: 41.0ms (13.6% of total)

ival-neg: 14.0ms (4.6% of total)

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

ival-pi: 11.0ms (3.6% of total)

exact: 6.0ms (2% of total)

ival-true: 2.0ms (0.7% of total)

adjust: 1.0ms (0.3% of total)

ival-assert: 1.0ms (0.3% of total)

preprocess207.0ms (8.4%)

Memory

-2.4MiB live, 29.2MiB 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.6%	(+.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.6%

(+.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)

simplify21.0ms (0.9%)

Memory

2.5MiB 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%)

analyze56.0ms (2.3%)

sample52.0ms (2.1%)

explain2.1s (86.3%)

preprocess207.0ms (8.4%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify21.0ms (0.9%)

soundness0.0ms (0%)

preprocess1.0ms (0%)

end0.0ms (0%)

Profiling