Disney BSSRDF, sample scattering profile, upper

Time bar (total: 2.0s)

analyze49.0ms (2.5%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0.1%99.9%0%0%0%0
0%0%0.1%99.9%0%0%0%1
0%0%0.1%99.9%0%0%0%2
50%0.1%0.1%99.9%0%0%0%3
50%0.1%0.1%99.9%0%0%0%4
75%0.1%0%99.9%0%0%0%5
75%0.1%0%99.9%0%0%0%6
87.5%0.1%0%99.9%0%0%0%7
87.5%0.1%0%99.9%0%0%0%8
93.8%0.1%0%99.9%0%0%0%9
93.8%0.1%0%99.9%0%0%0%10
96.9%0.1%0%99.9%0%0%0%11
96.9%0.1%0%99.9%0%0%0%12
Compiler

Compiled 31 to 25 computations (19.4% saved)

sample1.6s (81.4%)

Results
1.6s8256×body256valid
Bogosity

preprocess317.0ms (16.1%)

Algorithm
1×egg-herbie
Rules
1944×fma-def
1264×+-commutative
850×associate-+r+
850×associate--r+
820×distribute-neg-in
Problems
172×No Errors
73×(log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))
9×(-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))
2×(*.f32 (*.f32 3 s) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4)))))
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
038331
1105289
2268257
3619229
41246221
52006221
62746217
73538217
84487217
96787217
107447217
117969217
Stop Event
1×node limit
Calls
Call 1
Inputs
(*.f32 (*.f32 3 s) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4)))))
(*.f32 (*.f32 3 s) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4)))))
(*.f32 (*.f32 3 (neg.f32 s)) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4)))))
(*.f32 (*.f32 3 s) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 (neg.f32 u) 1/4) 3/4)))))
(neg.f32 (*.f32 (*.f32 3 (neg.f32 s)) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))))
(neg.f32 (*.f32 (*.f32 3 s) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 (neg.f32 u) 1/4) 3/4))))))
(*.f32 (*.f32 3 u) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 s 1/4) 3/4)))))
Outputs
(*.f32 (*.f32 3 s) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4)))))
(*.f32 (*.f32 3 s) (neg.f32 (log.f32 (-.f32 1 (/.f32 (+.f32 u -1/4) 3/4)))))
(*.f32 (*.f32 s -3) (log1p.f32 (/.f32 (neg.f32 (+.f32 u -1/4)) 3/4)))
(*.f32 s (*.f32 -3 (log1p.f32 (+.f32 (*.f32 -4/3 u) 1/3))))
(*.f32 s (*.f32 (log1p.f32 (fma.f32 -4/3 u 1/3)) -3))
(*.f32 s (*.f32 (log1p.f32 (fma.f32 u -4/3 1/3)) -3))
(*.f32 (*.f32 s -3) (log.f32 (fma.f32 u -4/3 4/3)))
(*.f32 (*.f32 3 s) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4)))))
(*.f32 (*.f32 3 s) (neg.f32 (log.f32 (-.f32 1 (/.f32 (+.f32 u -1/4) 3/4)))))
(*.f32 (*.f32 s -3) (log1p.f32 (/.f32 (neg.f32 (+.f32 u -1/4)) 3/4)))
(*.f32 s (*.f32 -3 (log1p.f32 (+.f32 (*.f32 -4/3 u) 1/3))))
(*.f32 s (*.f32 (log1p.f32 (fma.f32 -4/3 u 1/3)) -3))
(*.f32 s (*.f32 (log1p.f32 (fma.f32 u -4/3 1/3)) -3))
(*.f32 (*.f32 s -3) (log.f32 (fma.f32 u -4/3 4/3)))
(*.f32 (*.f32 3 (neg.f32 s)) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4)))))
(*.f32 (neg.f32 (log.f32 (-.f32 1 (/.f32 (+.f32 u -1/4) 3/4)))) (*.f32 3 (neg.f32 s)))
(neg.f32 (*.f32 (*.f32 s -3) (log1p.f32 (/.f32 (neg.f32 (+.f32 u -1/4)) 3/4))))
(*.f32 (*.f32 3 s) (log1p.f32 (+.f32 (*.f32 -4/3 u) 1/3)))
(*.f32 3 (*.f32 s (log1p.f32 (fma.f32 -4/3 u 1/3))))
(*.f32 3 (*.f32 s (log1p.f32 (fma.f32 u -4/3 1/3))))
(*.f32 3 (*.f32 s (log.f32 (fma.f32 u -4/3 4/3))))
(*.f32 (*.f32 3 s) (log.f32 (fma.f32 u -4/3 4/3)))
(*.f32 (*.f32 3 s) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 (neg.f32 u) 1/4) 3/4)))))
(*.f32 (*.f32 3 s) (neg.f32 (log.f32 (-.f32 1 (/.f32 (+.f32 (neg.f32 u) -1/4) 3/4)))))
(*.f32 (*.f32 3 s) (neg.f32 (log1p.f32 (neg.f32 (/.f32 (fma.f32 -1 u -1/4) 3/4)))))
(*.f32 s (*.f32 -3 (log1p.f32 (neg.f32 (+.f32 (*.f32 -4/3 u) -1/3)))))
(*.f32 s (*.f32 (log1p.f32 (neg.f32 (fma.f32 -4/3 u -1/3))) -3))
(*.f32 s (*.f32 (log.f32 (fma.f32 4/3 u 4/3)) -3))
(*.f32 (*.f32 s -3) (log.f32 (fma.f32 u 4/3 4/3)))
(*.f32 (*.f32 s -3) (log1p.f32 (fma.f32 u 4/3 1/3)))
(neg.f32 (*.f32 (*.f32 3 (neg.f32 s)) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))))
(*.f32 (*.f32 3 s) (neg.f32 (log.f32 (-.f32 1 (/.f32 (+.f32 u -1/4) 3/4)))))
(*.f32 (*.f32 s -3) (log1p.f32 (/.f32 (neg.f32 (+.f32 u -1/4)) 3/4)))
(*.f32 s (*.f32 -3 (log1p.f32 (+.f32 (*.f32 -4/3 u) 1/3))))
(*.f32 s (*.f32 (log1p.f32 (fma.f32 -4/3 u 1/3)) -3))
(*.f32 s (*.f32 (log1p.f32 (fma.f32 u -4/3 1/3)) -3))
(*.f32 (*.f32 s -3) (log.f32 (fma.f32 u -4/3 4/3)))
(neg.f32 (*.f32 (*.f32 3 s) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 (neg.f32 u) 1/4) 3/4))))))
(*.f32 (*.f32 3 (neg.f32 s)) (neg.f32 (log.f32 (-.f32 1 (/.f32 (+.f32 (neg.f32 u) -1/4) 3/4)))))
(*.f32 s (*.f32 3 (log1p.f32 (neg.f32 (/.f32 (fma.f32 -1 u -1/4) 3/4)))))
(*.f32 3 (*.f32 s (log1p.f32 (neg.f32 (+.f32 (*.f32 -4/3 u) -1/3)))))
(*.f32 3 (*.f32 s (log1p.f32 (neg.f32 (fma.f32 -4/3 u -1/3)))))
(*.f32 3 (*.f32 s (log.f32 (fma.f32 4/3 u 4/3))))
(*.f32 3 (*.f32 s (log.f32 (fma.f32 u 4/3 4/3))))
(*.f32 3 (*.f32 s (log1p.f32 (fma.f32 u 4/3 1/3))))
(*.f32 (*.f32 3 u) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 s 1/4) 3/4)))))
(*.f32 (*.f32 3 u) (neg.f32 (log.f32 (-.f32 1 (-.f32 (/.f32 s 3/4) 1/3)))))
(*.f32 (*.f32 3 u) (neg.f32 (log1p.f32 (neg.f32 (+.f32 (/.f32 s 3/4) -1/3)))))
(*.f32 u (*.f32 -3 (log1p.f32 (neg.f32 (+.f32 (/.f32 s 3/4) -1/3)))))
(*.f32 (log1p.f32 (-.f32 1/3 (/.f32 s 3/4))) (*.f32 u -3))
(*.f32 (log1p.f32 (+.f32 1/3 (/.f32 s -3/4))) (*.f32 u -3))
(*.f32 (log1p.f32 (/.f32 (-.f32 1/4 s) 3/4)) (*.f32 u -3))
(*.f32 (log1p.f32 (fma.f32 s -4/3 1/3)) (*.f32 u -3))
(*.f32 u (*.f32 (log1p.f32 (fma.f32 s -4/3 1/3)) -3))
Symmetry

(negabs s)

Compiler

Compiled 60 to 50 computations (16.7% saved)

end0.0ms (0%)

Profiling

Loading profile data...