HairBSDF, sample_f, cosTheta

Time bar (total: 8.9s)

analyze70.0ms (0.8%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0.9%99.1%0%0%0%0
0%0%0.9%99.1%0%0%0%1
0%0%0.9%99.1%0%0%0%2
50%0.4%0.4%99.1%0%0%0%3
50%0.4%0.4%99.1%0%0%0%4
75%0.6%0.2%99.1%0%0%0%5
75%0.6%0.2%99.1%0%0%0%6
87.5%0.7%0.1%99.1%0%0%0%7
87.5%0.7%0.1%99.1%0%0%0%8
93.7%0.8%0.1%99.1%0%0%0%9
93.7%0.8%0.1%99.1%0%0%0%10
96.9%0.8%0%99.1%0%0%0%11
96.9%0.8%0%99.1%0%0%0%12
Compiler

Compiled 32 to 24 computations (25% saved)

Precisions
Click to see histograms. Total time spent on operations: 28.0ms
Operation ival-exp, time spent: 8.0ms, 28.0% of total-time
Operation ival-log, time spent: 4.0ms, 14.0% of total-time
Operation ival-sub, time spent: 4.0ms, 14.0% of total-time
Operation ival-<=, time spent: 4.0ms, 14.0% of total-time
Operation ival-add, time spent: 3.0ms, 11.0% of total-time
Operation ival-mult, time spent: 3.0ms, 11.0% of total-time
Operation ival-div, time spent: 1.0ms, 4.0% of total-time
Operation const, time spent: 1.0ms, 4.0% of total-time
Operation ival-and, time spent: 1.0ms, 4.0% of total-time

sample3.0s (33.6%)

Results
2.8s8255×0valid
0.0ms0valid
Precisions
Click to see histograms. Total time spent on operations: 1.6s
Operation ival-add, time spent: 417.0ms, 27.0% of total-time
Operation ival-<=, time spent: 234.0ms, 15.0% of total-time
Operation ival-log, time spent: 227.0ms, 15.0% of total-time
Operation ival-sub, time spent: 208.0ms, 13.0% of total-time
Operation ival-mult, time spent: 180.0ms, 12.0% of total-time
Operation ival-exp, time spent: 100.0ms, 6.0% of total-time
Operation ival-div, time spent: 90.0ms, 6.0% of total-time
Operation const, time spent: 61.0ms, 4.0% of total-time
Operation ival-and, time spent: 45.0ms, 3.0% of total-time
Bogosity

preprocess3.5s (39.6%)

Algorithm
egg-herbie
Rules
680×fma-neg
608×fma-define
552×div-sub
338×sub-neg
309×distribute-lft-neg-in
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-(+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))))
00-0-(-.f32 1 u)
00-0-(exp.f32 (/.f32 -2 v))
00-0-v
00-0-(log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))
00-0-(+.f32 1 (*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
00-0-u
00-0-(*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))
00-0-(*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))))))
00-0-(/.f32 -2 v)
00-0-1
00-0--2
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
043439
185363
2196359
3500359
41295359
52812359
64182359
75392359
86937359
Stop Event
node limit
Calls
Call 1
Inputs
(+.f32 1 (*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
(+.f32 1 (*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
(+.f32 1 (*.f32 v (log.f32 (+.f32 (neg.f32 u) (*.f32 (-.f32 1 (neg.f32 u)) (exp.f32 (/.f32 -2 v)))))))
(+.f32 1 (*.f32 (neg.f32 v) (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 (neg.f32 v))))))))
(neg.f32 (+.f32 1 (*.f32 v (log.f32 (+.f32 (neg.f32 u) (*.f32 (-.f32 1 (neg.f32 u)) (exp.f32 (/.f32 -2 v))))))))
(neg.f32 (+.f32 1 (*.f32 (neg.f32 v) (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 (neg.f32 v)))))))))
(+.f32 1 (*.f32 u (log.f32 (+.f32 v (*.f32 (-.f32 1 v) (exp.f32 (/.f32 -2 u)))))))
Outputs
(+.f32 1 (*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)
(+.f32 1 (*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)
(+.f32 1 (*.f32 v (log.f32 (+.f32 (neg.f32 u) (*.f32 (-.f32 1 (neg.f32 u)) (exp.f32 (/.f32 -2 v)))))))
(+.f32 1 (*.f32 v (log.f32 (+.f32 (neg.f32 u) (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 (neg.f32 u)))))))
(fma.f32 v (log.f32 (-.f32 (*.f32 (exp.f32 (/.f32 -2 v)) (+.f32 1 u)) u)) 1)
(+.f32 1 (*.f32 (neg.f32 v) (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 (neg.f32 v))))))))
(-.f32 1 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 2 v)) u))))
(neg.f32 (+.f32 1 (*.f32 v (log.f32 (+.f32 (neg.f32 u) (*.f32 (-.f32 1 (neg.f32 u)) (exp.f32 (/.f32 -2 v))))))))
(+.f32 -1 (neg.f32 (*.f32 v (log.f32 (+.f32 (neg.f32 u) (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 (neg.f32 u))))))))
(-.f32 -1 (*.f32 v (log.f32 (-.f32 (*.f32 (exp.f32 (/.f32 -2 v)) (+.f32 1 u)) u))))
(neg.f32 (fma.f32 v (log.f32 (-.f32 (*.f32 (exp.f32 (/.f32 -2 v)) (+.f32 1 u)) u)) 1))
(fma.f32 (log.f32 (-.f32 (*.f32 (exp.f32 (/.f32 -2 v)) (+.f32 1 u)) u)) (neg.f32 v) -1)
(neg.f32 (+.f32 1 (*.f32 (neg.f32 v) (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 (neg.f32 v)))))))))
(+.f32 -1 (neg.f32 (*.f32 (neg.f32 v) (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 (neg.f32 v)))))))))
(+.f32 -1 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 2 v)) u))))
(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 2 v)) u)) -1)
(+.f32 1 (*.f32 u (log.f32 (+.f32 v (*.f32 (-.f32 1 v) (exp.f32 (/.f32 -2 u)))))))
(fma.f32 u (log.f32 (fma.f32 (-.f32 1 v) (exp.f32 (/.f32 -2 u)) v)) 1)
Compiler

Compiled 165 to 119 computations (27.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2s
Operation ival-add, time spent: 625.0ms, 29.0% of total-time
Operation ival-exp, time spent: 399.0ms, 18.0% of total-time
Operation ival-sub, time spent: 380.0ms, 17.0% of total-time
Operation ival-log, time spent: 283.0ms, 13.0% of total-time
Operation ival-div, time spent: 243.0ms, 11.0% of total-time
Operation ival-mult, time spent: 198.0ms, 9.0% of total-time
Operation const, time spent: 62.0ms, 3.0% of total-time

eval1.0ms (0%)

Compiler

Compiled 15 to 11 computations (26.7% saved)

prune1.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
99.3%
(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)
99.3%
(+.f32 1 (*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
Compiler

Compiled 32 to 24 computations (25% saved)

localize2.3s (25.5%)

Compiler

Compiled 120 to 84 computations (30% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
Operation ival-sub, time spent: 299.0ms, 17.0% of total-time
Operation ival-exp, time spent: 293.0ms, 17.0% of total-time
Operation ival-add, time spent: 275.0ms, 16.0% of total-time
Operation ival-log, time spent: 211.0ms, 12.0% of total-time
Operation composed, time spent: 209.0ms, 12.0% of total-time
Operation ival-div, time spent: 206.0ms, 12.0% of total-time
Operation ival-mult, time spent: 173.0ms, 10.0% of total-time
Operation const, time spent: 52.0ms, 3.0% of total-time

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune2.0ms (0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New000
Fresh000
Picked022
Done000
Total022
Accuracy
99.4%
Counts
2 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.3%
(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)
99.3%
(+.f32 1 (*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
Compiler

Compiled 62 to 46 computations (25.8% saved)

regimes12.0ms (0.1%)

Accuracy

Total -0.0b remaining (-13%)

Threshold costs -0b (-13%)

Counts
2 → 1
Calls
Call 1
Inputs
(+.f32 1 (*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)
Outputs
(+.f32 1 (*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
Calls

4 calls:

3.0ms
(*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))))))
3.0ms
u
3.0ms
v
3.0ms
(+.f32 1 (*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
Results
AccuracySegmentsBranch
99.3%1u
99.3%1v
99.3%1(+.f32 1 (*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
99.3%1(*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))))))
Compiler

Compiled 38 to 28 computations (26.3% saved)

simplify3.0ms (0%)

Algorithm
egg-herbie
Rules
+-commutative
1-exp
*-commutative
sub-neg
neg-sub0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01857
12957
23357
33557
43657
Stop Event
done
saturated
Calls
Call 1
Inputs
(+.f32 1 (*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
Outputs
(+.f32 1 (*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
Compiler

Compiled 17 to 13 computations (23.5% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess28.0ms (0.3%)

Compiler

Compiled 68 to 52 computations (23.5% saved)

Profiling

Loading profile data...