HairBSDF, sample_f, cosTheta

Time bar (total: 10.1s)

analyze72.0ms (0.7%)

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: 19.0ms
Operation ival-log, time spent: 4.0ms, 21.0% of total-time
Operation ival-<=, time spent: 4.0ms, 21.0% of total-time
Operation ival-mult, time spent: 3.0ms, 15.0% of total-time
Operation ival-add, time spent: 2.0ms, 10.0% of total-time
Operation ival-exp, time spent: 2.0ms, 10.0% of total-time
Operation ival-sub, time spent: 2.0ms, 10.0% of total-time
Operation ival-div, time spent: 1.0ms, 5.0% of total-time
Operation const, time spent: 1.0ms, 5.0% of total-time
Operation ival-and, time spent: 1.0ms, 5.0% of total-time

sample2.6s (26%)

Results
2.4s8255×0valid
0.0ms0valid
Precisions
Click to see histograms. Total time spent on operations: 1.3s
Operation ival-add, time spent: 308.0ms, 23.0% of total-time
Operation ival-log, time spent: 234.0ms, 18.0% of total-time
Operation ival-sub, time spent: 217.0ms, 16.0% of total-time
Operation ival-<=, time spent: 178.0ms, 13.0% of total-time
Operation ival-mult, time spent: 139.0ms, 10.0% of total-time
Operation ival-div, time spent: 96.0ms, 7.0% of total-time
Operation ival-exp, time spent: 72.0ms, 5.0% of total-time
Operation const, time spent: 48.0ms, 4.0% of total-time
Operation ival-and, time spent: 34.0ms, 3.0% of total-time
Bogosity

preprocess4.5s (44.5%)

Algorithm
egg-herbie
Rules
1953×fma-def
678×unsub-neg
502×fma-neg
301×distribute-rgt-in
300×distribute-lft-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
184363
2191359
3481359
41246359
52666359
63658359
73899359
84086359
94401359
104587359
115755359
126681359
137336359
147577359
157758359
167814359
177814359
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: 3.2s
Operation ival-exp, time spent: 1.2s, 38.0% of total-time
Operation ival-log, time spent: 635.0ms, 20.0% of total-time
Operation ival-sub, time spent: 482.0ms, 15.0% of total-time
Operation ival-add, time spent: 352.0ms, 11.0% of total-time
Operation ival-div, time spent: 249.0ms, 8.0% of total-time
Operation ival-mult, time spent: 222.0ms, 7.0% of total-time
Operation const, time spent: 49.0ms, 2.0% of total-time

eval0.0ms (0%)

Compiler

Compiled 15 to 11 computations (26.7% saved)

prune1.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
99.7%
(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)
99.7%
(+.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.8s (28.3%)

Compiler

Compiled 120 to 84 computations (30% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1s
Operation ival-exp, time spent: 846.0ms, 39.0% of total-time
Operation ival-log, time spent: 430.0ms, 20.0% of total-time
Operation ival-sub, time spent: 299.0ms, 14.0% of total-time
Operation ival-div, time spent: 200.0ms, 9.0% of total-time
Operation ival-add, time spent: 149.0ms, 7.0% of total-time
Operation ival-mult, time spent: 97.0ms, 5.0% of total-time
Operation ival-fma, time spent: 84.0ms, 4.0% of total-time
Operation const, time spent: 41.0ms, 2.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.8%
Counts
2 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.7%
(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)
99.7%
(+.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)

regimes14.0ms (0.1%)

Accuracy

Total -0.0b remaining (-18.7%)

Threshold costs -0b (-18.7%)

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:

5.0ms
u
3.0ms
(*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))))))
3.0ms
(+.f32 1 (*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
3.0ms
v
Results
AccuracySegmentsBranch
99.7%1u
99.7%1v
99.7%1(+.f32 1 (*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
99.7%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-mul-1
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...