Disney BSSRDF, sample scattering profile, lower

Time bar (total: 873.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze40.0ms (4.6%)

Memory
4.4MiB live, 13.4MiB allocated
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%1.5%98.5%0%0%0%0
0%0%1.5%98.5%0%0%0%1
0%0%1.5%98.5%0%0%0%2
0%0%1.5%98.5%0%0%0%3
0%0%1.5%98.5%0%0%0%4
50%0.8%0.8%98.5%0%0%0%5
50%0.8%0.8%98.5%0%0%0%6
75%1.2%0.4%98.5%0%0%0%7
75%1.2%0.4%98.5%0%0%0%8
87.5%1.4%0.2%98.5%0%0%0%9
87.5%1.4%0.2%98.5%0%0%0%10
93.7%1.4%0.1%98.5%0%0%0%11
93.7%1.4%0.1%98.5%0%0%0%12
Compiler

Compiled 26 to 21 computations (19.2% saved)

sample31.0ms (3.6%)

Memory
-3.3MiB live, 11.5MiB allocated
Samples
22.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 17.0ms
ival-log: 4.0ms (23.7% of total)
const: 4.0ms (23.7% of total)
ival-mult: 3.0ms (17.8% of total)
ival-<=: 3.0ms (17.8% of total)
ival-div: 2.0ms (11.8% of total)
ival-sub: 1.0ms (5.9% of total)
ival-and: 1.0ms (5.9% of total)
exact: 1.0ms (5.9% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain740.0ms (84.8%)

Memory
4.9MiB live, 577.0MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
2120-14(0.011691169813275337 0.0029487216379493475)(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))
00-0-(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
00-0-#s(literal 1 binary32)
00-0-(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
00-0-u
00-0-#s(literal 4 binary32)
00-0-(*.f32 #s(literal 4 binary32) u)
00-0-s
00-0-(*.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))))
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f32(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))sensitivity19817
Confusion
Predicted +Predicted -
+18513
-1345
Precision
0.9343434343434344
Recall
0.9343434343434344
Confusion?
Predicted +Predicted MaybePredicted -
+185130
-13540
Precision?
0.9166666666666666
Recall?
1.0
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
058
1198
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
5.05126953125
Average Time
0.019731521606445313
Samples
183.0ms3 072×0valid
Compiler

Compiled 1 476 to 456 computations (69.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 115.0ms
ival-log: 42.0ms (36.4% of total)
ival-mult: 36.0ms (31.2% of total)
ival-div: 20.0ms (17.3% of total)
ival-sub: 13.0ms (11.3% of total)
ival-true: 2.0ms (1.7% of total)
exact: 2.0ms (1.7% of total)
ival-assert: 1.0ms (0.9% of total)

preprocess36.0ms (4.2%)

Memory
-3.2MiB live, 6.5MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02351
17043
213543
328043
442243
559243
665343
770143
872843
974343
1074643
0910
0149
1269
2419
3609
4819
51009
61269
71589
81729
91809
101839
111869
01867
Stop Event
iter limit
saturated
iter limit
saturated
Calls
Call 1
Inputs
(*.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))))
Outputs
(*.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))))
(*.f32 (neg.f32 s) (log1p.f32 (*.f32 #s(literal -4 binary32) u)))
Symmetry

(negabs s)

Compiler

Compiled 10 to 9 computations (10% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune1.0ms (0.1%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
62.6%
(*.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))))
Compiler

Compiled 20 to 18 computations (10% saved)

simplify20.0ms (2.3%)

Memory
2.2MiB live, 18.1MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0910
11910
23010
33610
44010
54110
Stop Event
saturated
Calls
Call 1
Inputs
(*.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))))
Outputs
(*.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))))
(*.f32 (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 u #s(literal 4 binary32))))) s)

soundness0.0ms (0%)

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

Compiled 10 to 9 computations (10% saved)

preprocess4.0ms (0.5%)

Memory
2.1MiB live, 2.1MiB allocated
Remove

(negabs s)

Compiler

Compiled 80 to 72 computations (10% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...