Metrics for HairBSDF, Mp, lower

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze419.0ms (16.8%)

Memory

4.1MiB live, 123.6MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	3%	97%	0%	0%	0%	0
0%	0%	3%	97%	0%	0%	0%	1
0%	0%	3%	97%	0%	0%	0%	2
0%	0%	3%	97%	0%	0%	0%	3
0%	0%	3%	97%	0%	0%	0%	4
0%	0%	3%	97%	0%	0%	0%	5
0%	0%	1.5%	97%	0%	1.5%	0%	6
0%	0%	1.5%	97%	0%	1.5%	0%	7
0%	0%	1.5%	97%	0%	1.5%	0%	8
0%	0%	1.5%	97%	0%	1.5%	0%	9
0%	0%	1.5%	97%	0%	1.5%	0%	10
0%	0%	1.5%	97%	0%	1.5%	0%	11
0%	0%	1.5%	97%	0%	1.5%	0%	12

Compiler

Compiled 65 to 44 computations (32.3% saved)

sample62.0ms (2.5%)

Memory

0.5MiB live, 24.2MiB allocated

Samples

45.0ms	260×	0	valid
1.0ms	7×	0	invalid

Precisions

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

const: 9.0ms (23.9% of total)

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

ival-mult: 6.0ms (15.9% of total)

ival-<=: 6.0ms (15.9% of total)

ival-log: 3.0ms (8% of total)

ival-exp: 2.0ms (5.3% of total)

ival-add: 2.0ms (5.3% of total)

ival-sub: 2.0ms (5.3% of total)

ival-and: 2.0ms (5.3% of total)

adjust: 0.0ms (0% of total)

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

exact: 0.0ms (0% of total)

Bogosity

explain1.8s (73.3%)

Memory

11.9MiB live, 1 381.1MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
87	14	(-9.621697485433711e-36 -1.091460257069966e-24 1.2139111477666537e-35 -0.00010853831190615892 3.917647007521066e-28)	17	(-0.04847526177763939 2.0615689155789596e-9 -1.899397978944261e-31 -1.2611986853635314e-14 0.0008453126065433025)	`(/.f32 (*.f32 sinTheta_i sinTheta_O) v)`
82	14	(5.698876825352625e-37 -0.001430189935490489 -2.265243201349243e-11 0.019345778971910477 9.859513574213984e-38)	7	(-8.494668698978462e-26 -9.80336367253925e-26 -6.71622856899604e-28 -2.0720848469815652e-23 1.0960549958957677e-12)	`(/.f32 (*.f32 cosTheta_i cosTheta_O) v)`
1	0	-	0	-	`(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v) (/.f32 (.f32 sinTheta_i sinTheta_O) v)) (/.f32 #s(literal 1 binary32) v)) #s(literal 6931/10000 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v)))))`
1	0	-	0	-	`(log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v)))`
0	0	-	0	-	`(/.f32 #s(literal 1 binary32) v)`
0	0	-	0	-	`(/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v))`
0	0	-	0	-	`#s(literal 2 binary32)`
0	0	-	0	-	`(+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v) (/.f32 (.f32 sinTheta_i sinTheta_O) v)) (/.f32 #s(literal 1 binary32) v)) #s(literal 6931/10000 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v))))`
0	0	-	0	-	`sinTheta_i`
0	0	-	0	-	`v`
0	0	-	0	-	`cosTheta_i`
0	0	-	0	-	`(+.f32 (-.f32 (-.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v) (/.f32 (.f32 sinTheta_i sinTheta_O) v)) (/.f32 #s(literal 1 binary32) v)) #s(literal 6931/10000 binary32))`
0	0	-	0	-	`sinTheta_O`
0	0	-	0	-	`(*.f32 #s(literal 2 binary32) v)`
0	0	-	0	-	`(*.f32 sinTheta_i sinTheta_O)`
0	0	-	0	-	`#s(literal 1 binary32)`
0	0	-	0	-	`(*.f32 cosTheta_i cosTheta_O)`
0	0	-	0	-	`#s(literal 6931/10000 binary32)`
0	0	-	0	-	`(-.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v) (/.f32 (.f32 sinTheta_i sinTheta_O) v))`
0	0	-	0	-	`(-.f32 (-.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v) (/.f32 (.f32 sinTheta_i sinTheta_O) v)) (/.f32 #s(literal 1 binary32) v))`
0	0	-	0	-	`cosTheta_O`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f32`	`(/.f32 (*.f32 cosTheta_i cosTheta_O) v)`	u/n	23	0
↳	`(*.f32 cosTheta_i cosTheta_O)`	underflow	120
`/.f32`	`(/.f32 (*.f32 sinTheta_i sinTheta_O) v)`	u/n	19	0
↳	`(*.f32 sinTheta_i sinTheta_O)`	underflow	126
`exp.f32`	`(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v) (/.f32 (.f32 sinTheta_i sinTheta_O) v)) (/.f32 #s(literal 1 binary32) v)) #s(literal 6931/10000 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v)))))`	sensitivity	1	3
`log.f32`	`(log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v)))`	oflow-rescue	1	0
↳	`(/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v))`	overflow	1

Confusion

	Predicted +	Predicted -
+	2	0
-	41	213

Precision

0.046511627906976744

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	2	0	0
-	41	3	210

Precision?

0.043478260869565216

Recall?

1.0

2:

4:

8:

16:

32:

64:

128:

256:

512:

1024:

2048:

Freqs

test

number	freq
0	213
1	42
2	1

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

13.439697265625

Average Time

0.052498817443847656

Samples

411.0ms

3 072×

valid

Compiler

Compiled 5 112 to 1 032 computations (79.8% saved)

Precisions

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

ival-div: 78.0ms (27.4% of total)

ival-mult: 57.0ms (20% of total)

const: 39.0ms (13.7% of total)

ival-log: 33.0ms (11.6% of total)

ival-add: 26.0ms (9.1% of total)

ival-sub: 24.0ms (8.4% of total)

ival-exp: 20.0ms (7% of total)

exact: 3.0ms (1.1% of total)

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

adjust: 1.0ms (0.4% of total)

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

preprocess147.0ms (5.9%)

Memory

-9.1MiB live, 34.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	159	481
1	462	447
2	1368	440
3	4990	440
0	21	25
0	34	23
1	63	22
2	151	22
3	471	22
4	1717	22
5	5047	22
0	8134	19

Stop Event

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

Calls

Call 1

Inputs
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v) (/.f32 (.f32 sinTheta_i sinTheta_O) v)) (/.f32 #s(literal 1 binary32) v)) #s(literal 6931/10000 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v)))))

Inputs

(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 #s(literal 1 binary32) v)) #s(literal 6931/10000 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v)))))

Outputs
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v) (/.f32 (.f32 sinTheta_i sinTheta_O) v)) (/.f32 #s(literal 1 binary32) v)) #s(literal 6931/10000 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v)))))
(*.f32 (/.f32 #s(literal 1/2 binary32) v) (exp.f32 (fma.f32 (fma.f32 sinTheta_O sinTheta_i #s(literal 1 binary32)) (/.f32 #s(literal -1 binary32) v) (fma.f32 (/.f32 cosTheta_O v) cosTheta_i #s(literal 6931/10000 binary32)))))

Outputs

(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 #s(literal 1 binary32) v)) #s(literal 6931/10000 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v)))))

(*.f32 (/.f32 #s(literal 1/2 binary32) v) (exp.f32 (fma.f32 (fma.f32 sinTheta_O sinTheta_i #s(literal 1 binary32)) (/.f32 #s(literal -1 binary32) v) (fma.f32 (/.f32 cosTheta_O v) cosTheta_i #s(literal 6931/10000 binary32)))))

Symmetry

(sort cosTheta_i cosTheta_O)

(sort sinTheta_i sinTheta_O)

Compiler

Compiled 25 to 21 computations (16% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.4%	(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v) (/.f32 (.f32 sinTheta_i sinTheta_O) v)) (/.f32 #s(literal 1 binary32) v)) #s(literal 6931/10000 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v)))))

Status

Accuracy

Program

99.4%

(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 #s(literal 1 binary32) v)) #s(literal 6931/10000 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v)))))

Compiler

Compiled 50 to 42 computations (16% saved)

simplify30.0ms (1.2%)

Memory

-1.2MiB live, 18.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	25
1	33	25
2	47	25
3	63	25
4	77	25
5	106	25
6	148	25
7	152	25

Stop Event

1×

saturated

Calls

Call 1

Inputs
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v) (/.f32 (.f32 sinTheta_i sinTheta_O) v)) (/.f32 #s(literal 1 binary32) v)) #s(literal 6931/10000 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v)))))

Inputs

(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 #s(literal 1 binary32) v)) #s(literal 6931/10000 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v)))))

Outputs
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v) (/.f32 (.f32 sinTheta_i sinTheta_O) v)) (/.f32 #s(literal 1 binary32) v)) #s(literal 6931/10000 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v)))))
(exp.f32 (+.f32 (log.f32 (/.f32 #s(literal 1 binary32) (.f32 #s(literal 2 binary32) v))) (+.f32 #s(literal 6931/10000 binary32) (-.f32 (-.f32 (/.f32 (.f32 cosTheta_O cosTheta_i) v) (/.f32 (*.f32 sinTheta_O sinTheta_i) v)) (/.f32 #s(literal 1 binary32) v)))))

Outputs

(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 #s(literal 1 binary32) v)) #s(literal 6931/10000 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v)))))

(exp.f32 (+.f32 (log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v))) (+.f32 #s(literal 6931/10000 binary32) (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_O cosTheta_i) v) (/.f32 (*.f32 sinTheta_O sinTheta_i) v)) (/.f32 #s(literal 1 binary32) v)))))

soundness0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 25 to 21 computations (16% saved)

preprocess6.0ms (0.3%)

Memory

-3.5MiB live, 4.3MiB allocated

Remove

(sort sinTheta_i sinTheta_O)

(sort cosTheta_i cosTheta_O)

Compiler

Compiled 300 to 252 computations (16% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze419.0ms (16.8%)

sample62.0ms (2.5%)

explain1.8s (73.3%)

preprocess147.0ms (5.9%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify30.0ms (1.2%)

soundness0.0ms (0%)

preprocess6.0ms (0.3%)

end0.0ms (0%)

Profiling