HairBSDF, gamma for a refracted ray

Time bar (total: 2.2s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze205.0ms (9.3%)

Memory
4.1MiB live, 82.9MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%6.3%93.7%0%0%0%0
0%0%6.3%93.7%0%0%0%1
0%0%6.3%93.7%0%0%0%2
0%0%6.3%93.7%0%0%0%3
0%0%6.3%93.7%0%0%0%4
0%0%6.3%93.7%0%0%0%5
12.5%0.8%5.5%93.7%0%0%0%6
12.5%0.8%5.5%93.7%0%0%0%7
16.7%1%4.9%93.7%0%0.4%0%8
23.7%1.4%4.4%93.7%0%0.5%0%9
26.2%1.4%3.9%93.7%0%1%0%10
33.9%1.5%3%93.7%0%1.8%0%11
38.9%1.7%2.7%93.7%0%1.9%0%12
Compiler

Compiled 42 to 28 computations (33.3% saved)

sample68.0ms (3.1%)

Memory
-0.8MiB live, 29.8MiB allocated
Samples
25.0ms268×0invalid
24.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 35.0ms
ival-sqrt: 7.0ms (20.3% of total)
ival-mult: 6.0ms (17.4% of total)
ival-<=: 6.0ms (17.4% of total)
ival-div: 5.0ms (14.5% of total)
ival-sub: 4.0ms (11.6% of total)
ival-asin: 3.0ms (8.7% of total)
ival-and: 2.0ms (5.8% of total)
exact: 1.0ms (2.9% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain1.6s (71.6%)

Memory
11.8MiB live, 887.2MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
250-11(-1.0646499607360373e-38 2.1262536770895122e-24 2.935944096370034e-21)(sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))
00-0-eta
00-0-#s(literal 1 binary32)
00-0-(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))
00-0-(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))
00-0-(-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))
00-0-(sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))
00-0-(/.f32 h (sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))))
00-0-(*.f32 eta eta)
00-0-(*.f32 sinTheta_O sinTheta_O)
00-0-(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))))
00-0-sinTheta_O
00-0-h
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f32(sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))uflow-rescue140
↳(*.f32 sinTheta_O sinTheta_O)underflow300
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow14
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow150
↳(*.f32 eta eta)underflow14
Confusion
Predicted +Predicted -
+1410
-0232
Precision
1.0
Recall
0.5833333333333334
Confusion?
Predicted +Predicted MaybePredicted -
+14010
-00232
Precision?
1.0
Recall?
0.5833333333333334
Freqs
test
numberfreq
0242
114
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
22.992919921875
Average Time
0.08981609344482422
Samples
504.0ms6 144×0valid
Compiler

Compiled 3 684 to 672 computations (81.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 326.0ms
ival-sqrt: 74.0ms (22.7% of total)
ival-div: 72.0ms (22.1% of total)
ival-mult: 71.0ms (21.8% of total)
ival-sub: 54.0ms (16.6% of total)
ival-asin: 45.0ms (13.8% of total)
ival-true: 5.0ms (1.5% of total)
exact: 4.0ms (1.2% of total)
ival-assert: 2.0ms (0.6% of total)

preprocess326.0ms (14.8%)

Memory
-3.7MiB live, 34.8MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
051167
1110167
2220167
3469167
4901167
52008167
62806167
73788167
84947167
95755167
106216167
116594167
126915167
137748167
147844167
157992167
01318
02218
13318
25118
37718
412318
517718
626818
752318
886318
9151318
10277118
11438418
12545718
13588718
14612718
15624418
16628518
17768318
0820418
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit
Calls
Call 1
Inputs
(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))))
Outputs
(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))))
Symmetry

(abs eta)

(abs sinTheta_O)

Compiler

Compiled 18 to 13 computations (27.8% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 3 computations (-∞% saved)

prune1.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
92.8%
(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))))
Compiler

Compiled 36 to 26 computations (27.8% saved)

simplify20.0ms (0.9%)

Memory
2.3MiB live, 18.1MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01318
12318
23618
34418
44918
55018
Stop Event
1×saturated
Calls
Call 1
Inputs
(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))))
Outputs
(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))))

soundness0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Stop Event
1×fuel
Compiler

Compiled 18 to 13 computations (27.8% saved)

preprocess5.0ms (0.2%)

Memory
-6.1MiB live, 3.0MiB allocated
Remove

(abs sinTheta_O)

(abs eta)

Compiler

Compiled 216 to 156 computations (27.8% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...