Metrics for Disney BSSRDF, PDF of scattering profile

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze126.0ms (5.2%)

Memory

2.8MiB 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)

sample50.0ms (2.1%)

Memory

-1.5MiB live, 20.9MiB allocated

Samples

37.0ms

260×

valid

Precisions

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

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

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

ival-exp: 4.0ms (12.9% of total)

const: 4.0ms (12.9% of total)

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

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

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

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

exact: 1.0ms (3.2% of total)

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

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

adjust: 0.0ms (0% of total)

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

Bogosity

explain2.0s (83.6%)

Memory

10.3MiB live, 1 817.0MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
3	10	(2.044816017150879 7.801540374755859)	0	-	`(exp.f32 (/.f32 (neg.f32 r) (*.f32 #s(literal 3 binary32) s)))`
1	9	(2.044816017150879 7.801540374755859)	0	-	`(exp.f32 (/.f32 (neg.f32 r) s))`
1	6	(3.776625366113294e-36 4.087767592864111e-6)	1	(9.391987987328321e-8 1.1497964806039818e-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))`
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	6	(3.776625366113294e-36 4.087767592864111e-6)	0	-	`(/.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	-	`(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))`

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	13	0
`exp.f32`	`(exp.f32 (/.f32 (neg.f32 r) s))`	sensitivity	10	0
`/.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	223
↳	`(exp.f32 (/.f32 (neg.f32 r) (*.f32 #s(literal 3 binary32) s)))`	underflow	223
↳	`(.f32 (.f32 (*.f32 #s(literal 6 binary32) (PI.f32)) s) r)`	underflow	6

Confusion

	Predicted +	Predicted -
+	2	0
-	17	237

Precision

0.10526315789473684

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	2	0	0
-	17	0	237

Precision?

0.10526315789473684

Recall?

1.0

Freqs

test

number	freq
0	237
1	9
2	10

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

10.089599609375

Average Time

0.039412498474121094

Samples

398.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: 289.0ms

ival-mult: 130.0ms (45% of total)

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

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

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

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

ival-pi: 10.0ms (3.5% of total)

exact: 6.0ms (2.1% 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)

preprocess190.0ms (7.9%)

Memory

8.5MiB 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.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)

simplify29.0ms (1.2%)

Memory

-9.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%)

analyze126.0ms (5.2%)

sample50.0ms (2.1%)

explain2.0s (83.6%)

preprocess190.0ms (7.9%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify29.0ms (1.2%)

soundness0.0ms (0%)

preprocess1.0ms (0%)

end0.0ms (0%)

Profiling