HairBSDF, Mp, lower

Time bar (total: 3.4s)

analyze527.0ms (15.5%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%3%97%0%0%0%0
0%0%3%97%0%0%0%1
0%0%3%97%0%0%0%2
0%0%3%97%0%0%0%3
0%0%3%97%0%0%0%4
0%0%3%97%0%0%0%5
0%0%1.5%97%0%1.5%0%6
0%0%1.5%97%0%1.5%0%7
0%0%1.5%97%0%1.5%0%8
0%0%1.5%97%0%1.5%0%9
0%0%1.5%97%0%1.5%0%10
50%0.7%0.7%97%0%1.5%0%11
50%0.7%0.7%97%0%1.5%0%12
Compiler

Compiled 69 to 51 computations (26.1% saved)

sample2.6s (75.8%)

Results
2.5s8256×body256valid
34.0ms143×body256invalid
Bogosity

preprocess293.0ms (8.6%)

Algorithm
egg-herbie
Rules
1578×associate-*l/
934×*-commutative
884×associate-+l+
826×associate-+l-
762×associate-/r*
Problems
94×(/.f32 (*.f32 cosTheta_i cosTheta_O) v)
85×(/.f32 (*.f32 sinTheta_i sinTheta_O) v)
71×No Errors
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01732130
14852026
214021870
364281870
Stop Event
node limit
Calls
Call 1
Inputs
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 (neg.f32 cosTheta_i) cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i (neg.f32 cosTheta_O)) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 (neg.f32 sinTheta_i) sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i (neg.f32 sinTheta_O)) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) (neg.f32 v)) (/.f32 (*.f32 sinTheta_i sinTheta_O) (neg.f32 v))) (/.f32 1 (neg.f32 v))) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 (neg.f32 v))))))
(neg.f32 (exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 (neg.f32 cosTheta_i) cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v))))))
(neg.f32 (exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i (neg.f32 cosTheta_O)) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v))))))
(neg.f32 (exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 (neg.f32 sinTheta_i) sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v))))))
(neg.f32 (exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i (neg.f32 sinTheta_O)) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v))))))
(neg.f32 (exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) (neg.f32 v)) (/.f32 (*.f32 sinTheta_i sinTheta_O) (neg.f32 v))) (/.f32 1 (neg.f32 v))) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 (neg.f32 v)))))))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_O cosTheta_i) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 sinTheta_i cosTheta_O) v) (/.f32 (*.f32 cosTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 sinTheta_O cosTheta_O) v) (/.f32 (*.f32 sinTheta_i cosTheta_i) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 v cosTheta_O) cosTheta_i) (/.f32 (*.f32 sinTheta_i sinTheta_O) cosTheta_i)) (/.f32 1 cosTheta_i)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 cosTheta_i)))))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i sinTheta_i) v) (/.f32 (*.f32 cosTheta_O sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i sinTheta_O) v) (/.f32 (*.f32 sinTheta_i cosTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i v) cosTheta_O) (/.f32 (*.f32 sinTheta_i sinTheta_O) cosTheta_O)) (/.f32 1 cosTheta_O)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 cosTheta_O)))))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_O sinTheta_i) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) sinTheta_i) (/.f32 (*.f32 v sinTheta_O) sinTheta_i)) (/.f32 1 sinTheta_i)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 sinTheta_i)))))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) sinTheta_O) (/.f32 (*.f32 sinTheta_i v) sinTheta_O)) (/.f32 1 sinTheta_O)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 sinTheta_O)))))
Outputs
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
(exp.f32 (+.f32 (-.f32 (/.f32 cosTheta_i (/.f32 v cosTheta_O)) (+.f32 (/.f32 sinTheta_i (/.f32 v sinTheta_O)) (/.f32 1 v))) (+.f32 6931/10000 (log.f32 (/.f32 1/2 v)))))
(*.f32 (/.f32 1/2 v) (exp.f32 (+.f32 (-.f32 (*.f32 (/.f32 cosTheta_i v) cosTheta_O) (*.f32 (/.f32 sinTheta_O v) sinTheta_i)) (+.f32 (/.f32 -1 v) 6931/10000))))
(*.f32 (/.f32 1/2 v) (exp.f32 (+.f32 (-.f32 (*.f32 cosTheta_i (/.f32 cosTheta_O v)) (fma.f32 (/.f32 sinTheta_i v) sinTheta_O (/.f32 1 v))) 6931/10000)))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
(exp.f32 (+.f32 (-.f32 (/.f32 cosTheta_i (/.f32 v cosTheta_O)) (+.f32 (/.f32 sinTheta_i (/.f32 v sinTheta_O)) (/.f32 1 v))) (+.f32 6931/10000 (log.f32 (/.f32 1/2 v)))))
(*.f32 (/.f32 1/2 v) (exp.f32 (+.f32 (-.f32 (*.f32 (/.f32 cosTheta_i v) cosTheta_O) (*.f32 (/.f32 sinTheta_O v) sinTheta_i)) (+.f32 (/.f32 -1 v) 6931/10000))))
(*.f32 (/.f32 1/2 v) (exp.f32 (+.f32 (-.f32 (*.f32 cosTheta_i (/.f32 cosTheta_O v)) (fma.f32 (/.f32 sinTheta_i v) sinTheta_O (/.f32 1 v))) 6931/10000)))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 (neg.f32 cosTheta_i) cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
(exp.f32 (+.f32 (log.f32 (/.f32 1/2 v)) (+.f32 6931/10000 (-.f32 (/.f32 cosTheta_i (/.f32 v (neg.f32 cosTheta_O))) (+.f32 (/.f32 sinTheta_i (/.f32 v sinTheta_O)) (/.f32 1 v))))))
(*.f32 (/.f32 1/2 v) (exp.f32 (+.f32 (-.f32 (/.f32 (neg.f32 cosTheta_O) (/.f32 v cosTheta_i)) (*.f32 (/.f32 sinTheta_O v) sinTheta_i)) (+.f32 (/.f32 -1 v) 6931/10000))))
(*.f32 (/.f32 1/2 v) (exp.f32 (-.f32 (-.f32 6931/10000 (*.f32 cosTheta_i (/.f32 cosTheta_O v))) (fma.f32 (/.f32 sinTheta_i v) sinTheta_O (/.f32 1 v)))))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i (neg.f32 cosTheta_O)) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
(exp.f32 (+.f32 (log.f32 (/.f32 1/2 v)) (+.f32 6931/10000 (-.f32 (/.f32 cosTheta_i (/.f32 v (neg.f32 cosTheta_O))) (+.f32 (/.f32 sinTheta_i (/.f32 v sinTheta_O)) (/.f32 1 v))))))
(*.f32 (/.f32 1/2 v) (exp.f32 (+.f32 (-.f32 (/.f32 (neg.f32 cosTheta_O) (/.f32 v cosTheta_i)) (*.f32 (/.f32 sinTheta_O v) sinTheta_i)) (+.f32 (/.f32 -1 v) 6931/10000))))
(*.f32 (/.f32 1/2 v) (exp.f32 (-.f32 (-.f32 6931/10000 (*.f32 cosTheta_i (/.f32 cosTheta_O v))) (fma.f32 (/.f32 sinTheta_i v) sinTheta_O (/.f32 1 v)))))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 (neg.f32 sinTheta_i) sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
(exp.f32 (+.f32 (log.f32 (/.f32 1/2 v)) (+.f32 6931/10000 (-.f32 (-.f32 (/.f32 cosTheta_i (/.f32 v cosTheta_O)) (/.f32 (*.f32 sinTheta_i (neg.f32 sinTheta_O)) v)) (/.f32 1 v)))))
(*.f32 (exp.f32 (+.f32 6931/10000 (-.f32 (*.f32 (/.f32 cosTheta_i v) cosTheta_O) (+.f32 (/.f32 1 v) (/.f32 sinTheta_O (/.f32 v (neg.f32 sinTheta_i))))))) (/.f32 1/2 v))
(*.f32 (exp.f32 (+.f32 (fma.f32 (/.f32 cosTheta_O v) cosTheta_i (/.f32 sinTheta_i (/.f32 v sinTheta_O))) (+.f32 6931/10000 (/.f32 -1 v)))) (/.f32 1/2 v))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i (neg.f32 sinTheta_O)) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
(exp.f32 (+.f32 (log.f32 (/.f32 1/2 v)) (+.f32 6931/10000 (-.f32 (-.f32 (/.f32 cosTheta_i (/.f32 v cosTheta_O)) (/.f32 (*.f32 sinTheta_i (neg.f32 sinTheta_O)) v)) (/.f32 1 v)))))
(*.f32 (exp.f32 (+.f32 6931/10000 (-.f32 (*.f32 (/.f32 cosTheta_i v) cosTheta_O) (+.f32 (/.f32 1 v) (/.f32 sinTheta_O (/.f32 v (neg.f32 sinTheta_i))))))) (/.f32 1/2 v))
(*.f32 (exp.f32 (+.f32 (fma.f32 (/.f32 cosTheta_O v) cosTheta_i (/.f32 sinTheta_i (/.f32 v sinTheta_O))) (+.f32 6931/10000 (/.f32 -1 v)))) (/.f32 1/2 v))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) (neg.f32 v)) (/.f32 (*.f32 sinTheta_i sinTheta_O) (neg.f32 v))) (/.f32 1 (neg.f32 v))) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 (neg.f32 v))))))
(exp.f32 (+.f32 (-.f32 (/.f32 cosTheta_i (/.f32 (neg.f32 v) cosTheta_O)) (+.f32 (/.f32 sinTheta_i (/.f32 (neg.f32 v) sinTheta_O)) (/.f32 1 (neg.f32 v)))) (+.f32 6931/10000 (log.f32 (/.f32 1/2 (neg.f32 v))))))
(*.f32 (exp.f32 (-.f32 (+.f32 6931/10000 (*.f32 (/.f32 cosTheta_i (neg.f32 v)) cosTheta_O)) (+.f32 (*.f32 (/.f32 sinTheta_i (neg.f32 v)) sinTheta_O) (/.f32 -1 v)))) (/.f32 -1/2 v))
(*.f32 (exp.f32 (fma.f32 (/.f32 cosTheta_i (neg.f32 v)) cosTheta_O (+.f32 (fma.f32 (/.f32 sinTheta_i v) sinTheta_O (/.f32 1 v)) 6931/10000))) (/.f32 -1/2 v))
(neg.f32 (exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 (neg.f32 cosTheta_i) cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v))))))
(neg.f32 (exp.f32 (+.f32 (log.f32 (/.f32 1/2 v)) (+.f32 6931/10000 (-.f32 (/.f32 cosTheta_i (/.f32 v (neg.f32 cosTheta_O))) (+.f32 (/.f32 sinTheta_i (/.f32 v sinTheta_O)) (/.f32 1 v)))))))
(*.f32 (exp.f32 (+.f32 (-.f32 (/.f32 (neg.f32 cosTheta_O) (/.f32 v cosTheta_i)) (*.f32 (/.f32 sinTheta_O v) sinTheta_i)) (+.f32 (/.f32 -1 v) 6931/10000))) (neg.f32 (/.f32 1/2 v)))
(*.f32 (exp.f32 (-.f32 (-.f32 6931/10000 (*.f32 cosTheta_i (/.f32 cosTheta_O v))) (fma.f32 (/.f32 sinTheta_i v) sinTheta_O (/.f32 1 v)))) (/.f32 -1/2 v))
(neg.f32 (exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i (neg.f32 cosTheta_O)) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v))))))
(neg.f32 (exp.f32 (+.f32 (log.f32 (/.f32 1/2 v)) (+.f32 6931/10000 (-.f32 (/.f32 cosTheta_i (/.f32 v (neg.f32 cosTheta_O))) (+.f32 (/.f32 sinTheta_i (/.f32 v sinTheta_O)) (/.f32 1 v)))))))
(*.f32 (exp.f32 (+.f32 (-.f32 (/.f32 (neg.f32 cosTheta_O) (/.f32 v cosTheta_i)) (*.f32 (/.f32 sinTheta_O v) sinTheta_i)) (+.f32 (/.f32 -1 v) 6931/10000))) (neg.f32 (/.f32 1/2 v)))
(*.f32 (exp.f32 (-.f32 (-.f32 6931/10000 (*.f32 cosTheta_i (/.f32 cosTheta_O v))) (fma.f32 (/.f32 sinTheta_i v) sinTheta_O (/.f32 1 v)))) (/.f32 -1/2 v))
(neg.f32 (exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 (neg.f32 sinTheta_i) sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v))))))
(neg.f32 (exp.f32 (+.f32 (log.f32 (/.f32 1/2 v)) (+.f32 6931/10000 (-.f32 (-.f32 (/.f32 cosTheta_i (/.f32 v cosTheta_O)) (/.f32 (*.f32 sinTheta_i (neg.f32 sinTheta_O)) v)) (/.f32 1 v))))))
(*.f32 (exp.f32 (+.f32 6931/10000 (-.f32 (*.f32 (/.f32 cosTheta_i v) cosTheta_O) (+.f32 (/.f32 1 v) (/.f32 sinTheta_O (/.f32 v (neg.f32 sinTheta_i))))))) (neg.f32 (/.f32 1/2 v)))
(*.f32 (exp.f32 (+.f32 (fma.f32 (/.f32 cosTheta_O v) cosTheta_i (/.f32 sinTheta_i (/.f32 v sinTheta_O))) (+.f32 6931/10000 (/.f32 -1 v)))) (/.f32 -1/2 v))
(neg.f32 (exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i (neg.f32 sinTheta_O)) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v))))))
(neg.f32 (exp.f32 (+.f32 (log.f32 (/.f32 1/2 v)) (+.f32 6931/10000 (-.f32 (-.f32 (/.f32 cosTheta_i (/.f32 v cosTheta_O)) (/.f32 (*.f32 sinTheta_i (neg.f32 sinTheta_O)) v)) (/.f32 1 v))))))
(*.f32 (exp.f32 (+.f32 6931/10000 (-.f32 (*.f32 (/.f32 cosTheta_i v) cosTheta_O) (+.f32 (/.f32 1 v) (/.f32 sinTheta_O (/.f32 v (neg.f32 sinTheta_i))))))) (neg.f32 (/.f32 1/2 v)))
(*.f32 (exp.f32 (+.f32 (fma.f32 (/.f32 cosTheta_O v) cosTheta_i (/.f32 sinTheta_i (/.f32 v sinTheta_O))) (+.f32 6931/10000 (/.f32 -1 v)))) (/.f32 -1/2 v))
(neg.f32 (exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) (neg.f32 v)) (/.f32 (*.f32 sinTheta_i sinTheta_O) (neg.f32 v))) (/.f32 1 (neg.f32 v))) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 (neg.f32 v)))))))
(neg.f32 (exp.f32 (+.f32 (-.f32 (/.f32 cosTheta_i (/.f32 (neg.f32 v) cosTheta_O)) (+.f32 (/.f32 sinTheta_i (/.f32 (neg.f32 v) sinTheta_O)) (/.f32 1 (neg.f32 v)))) (+.f32 6931/10000 (log.f32 (/.f32 1/2 (neg.f32 v)))))))
(*.f32 (exp.f32 (-.f32 (+.f32 6931/10000 (*.f32 (/.f32 cosTheta_i (neg.f32 v)) cosTheta_O)) (+.f32 (*.f32 (/.f32 sinTheta_i (neg.f32 v)) sinTheta_O) (/.f32 -1 v)))) (neg.f32 (/.f32 -1/2 v)))
(*.f32 (/.f32 1/2 v) (exp.f32 (fma.f32 (/.f32 cosTheta_i (neg.f32 v)) cosTheta_O (+.f32 (fma.f32 (/.f32 sinTheta_i v) sinTheta_O (/.f32 1 v)) 6931/10000))))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_O cosTheta_i) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
(exp.f32 (+.f32 (-.f32 (/.f32 cosTheta_i (/.f32 v cosTheta_O)) (+.f32 (/.f32 sinTheta_i (/.f32 v sinTheta_O)) (/.f32 1 v))) (+.f32 6931/10000 (log.f32 (/.f32 1/2 v)))))
(*.f32 (/.f32 1/2 v) (exp.f32 (+.f32 (-.f32 (*.f32 (/.f32 cosTheta_i v) cosTheta_O) (*.f32 (/.f32 sinTheta_O v) sinTheta_i)) (+.f32 (/.f32 -1 v) 6931/10000))))
(*.f32 (/.f32 1/2 v) (exp.f32 (+.f32 (-.f32 (*.f32 cosTheta_i (/.f32 cosTheta_O v)) (fma.f32 (/.f32 sinTheta_i v) sinTheta_O (/.f32 1 v))) 6931/10000)))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 sinTheta_i cosTheta_O) v) (/.f32 (*.f32 cosTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
(exp.f32 (+.f32 (log.f32 (/.f32 1/2 v)) (+.f32 6931/10000 (-.f32 (/.f32 sinTheta_i (/.f32 v cosTheta_O)) (+.f32 (/.f32 cosTheta_i (/.f32 v sinTheta_O)) (/.f32 1 v))))))
(*.f32 (/.f32 1/2 v) (exp.f32 (+.f32 6931/10000 (-.f32 (*.f32 (/.f32 sinTheta_i v) cosTheta_O) (-.f32 (*.f32 (/.f32 cosTheta_i v) sinTheta_O) (/.f32 -1 v))))))
(*.f32 (/.f32 1/2 v) (exp.f32 (+.f32 6931/10000 (-.f32 (*.f32 cosTheta_O (/.f32 sinTheta_i v)) (fma.f32 (/.f32 cosTheta_i v) sinTheta_O (/.f32 1 v))))))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 sinTheta_O cosTheta_O) v) (/.f32 (*.f32 sinTheta_i cosTheta_i) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
(exp.f32 (+.f32 (log.f32 (/.f32 1/2 v)) (+.f32 6931/10000 (-.f32 (/.f32 cosTheta_O (/.f32 v sinTheta_O)) (+.f32 (/.f32 cosTheta_i (/.f32 v sinTheta_i)) (/.f32 1 v))))))
(*.f32 (/.f32 1/2 v) (exp.f32 (+.f32 (-.f32 (/.f32 sinTheta_O (/.f32 v cosTheta_O)) (*.f32 (/.f32 cosTheta_i v) sinTheta_i)) (+.f32 (/.f32 -1 v) 6931/10000))))
(*.f32 (/.f32 1/2 v) (exp.f32 (-.f32 (*.f32 sinTheta_O (/.f32 cosTheta_O v)) (+.f32 (fma.f32 (/.f32 cosTheta_i v) sinTheta_i (/.f32 1 v)) -6931/10000))))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 v cosTheta_O) cosTheta_i) (/.f32 (*.f32 sinTheta_i sinTheta_O) cosTheta_i)) (/.f32 1 cosTheta_i)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 cosTheta_i)))))
(exp.f32 (+.f32 (-.f32 (/.f32 v (/.f32 cosTheta_i cosTheta_O)) (+.f32 (/.f32 sinTheta_i (/.f32 cosTheta_i sinTheta_O)) (/.f32 1 cosTheta_i))) (+.f32 6931/10000 (log.f32 (/.f32 1/2 cosTheta_i)))))
(*.f32 (exp.f32 (+.f32 6931/10000 (+.f32 (-.f32 (*.f32 (/.f32 v cosTheta_i) cosTheta_O) (*.f32 (/.f32 sinTheta_i cosTheta_i) sinTheta_O)) (/.f32 -1 cosTheta_i)))) (/.f32 1/2 cosTheta_i))
(*.f32 (exp.f32 (-.f32 (*.f32 cosTheta_O (/.f32 v cosTheta_i)) (fma.f32 (/.f32 sinTheta_i cosTheta_i) sinTheta_O (+.f32 (/.f32 1 cosTheta_i) -6931/10000)))) (/.f32 1/2 cosTheta_i))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i sinTheta_i) v) (/.f32 (*.f32 cosTheta_O sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
(exp.f32 (+.f32 (log.f32 (/.f32 1/2 v)) (+.f32 6931/10000 (-.f32 (/.f32 cosTheta_i (/.f32 v sinTheta_i)) (+.f32 (/.f32 cosTheta_O (/.f32 v sinTheta_O)) (/.f32 1 v))))))
(*.f32 (/.f32 1/2 v) (exp.f32 (-.f32 (+.f32 6931/10000 (*.f32 (/.f32 cosTheta_i v) sinTheta_i)) (+.f32 (/.f32 1 v) (/.f32 sinTheta_O (/.f32 v cosTheta_O))))))
(*.f32 (/.f32 1/2 v) (exp.f32 (+.f32 6931/10000 (-.f32 (*.f32 sinTheta_i (/.f32 cosTheta_i v)) (fma.f32 (/.f32 sinTheta_O v) cosTheta_O (/.f32 1 v))))))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i sinTheta_O) v) (/.f32 (*.f32 sinTheta_i cosTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
(exp.f32 (+.f32 (log.f32 (/.f32 1/2 v)) (+.f32 6931/10000 (-.f32 (-.f32 (/.f32 cosTheta_i (/.f32 v sinTheta_O)) (/.f32 sinTheta_i (/.f32 v cosTheta_O))) (/.f32 1 v)))))
(*.f32 (/.f32 1/2 v) (exp.f32 (+.f32 (-.f32 (*.f32 (/.f32 cosTheta_i v) sinTheta_O) (*.f32 (/.f32 sinTheta_i v) cosTheta_O)) (+.f32 (/.f32 -1 v) 6931/10000))))
(*.f32 (/.f32 1/2 v) (exp.f32 (+.f32 6931/10000 (-.f32 (*.f32 sinTheta_O (/.f32 cosTheta_i v)) (fma.f32 (/.f32 sinTheta_i v) cosTheta_O (/.f32 1 v))))))
(*.f32 (/.f32 1/2 v) (exp.f32 (+.f32 6931/10000 (-.f32 (*.f32 cosTheta_i (/.f32 sinTheta_O v)) (fma.f32 (/.f32 sinTheta_i v) cosTheta_O (/.f32 1 v))))))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i v) cosTheta_O) (/.f32 (*.f32 sinTheta_i sinTheta_O) cosTheta_O)) (/.f32 1 cosTheta_O)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 cosTheta_O)))))
(exp.f32 (+.f32 (-.f32 (/.f32 cosTheta_i (/.f32 cosTheta_O v)) (+.f32 (/.f32 sinTheta_i (/.f32 cosTheta_O sinTheta_O)) (/.f32 1 cosTheta_O))) (+.f32 6931/10000 (log.f32 (/.f32 1/2 cosTheta_O)))))
(*.f32 (exp.f32 (+.f32 6931/10000 (+.f32 (-.f32 (*.f32 (/.f32 cosTheta_i cosTheta_O) v) (*.f32 (/.f32 sinTheta_i cosTheta_O) sinTheta_O)) (/.f32 -1 cosTheta_O)))) (/.f32 1/2 cosTheta_O))
(*.f32 (exp.f32 (+.f32 6931/10000 (-.f32 (*.f32 v (/.f32 cosTheta_i cosTheta_O)) (fma.f32 (/.f32 sinTheta_i cosTheta_O) sinTheta_O (/.f32 1 cosTheta_O))))) (/.f32 1/2 cosTheta_O))
(*.f32 (exp.f32 (+.f32 6931/10000 (-.f32 (*.f32 cosTheta_i (/.f32 v cosTheta_O)) (fma.f32 (/.f32 sinTheta_i cosTheta_O) sinTheta_O (/.f32 1 cosTheta_O))))) (/.f32 1/2 cosTheta_O))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_O sinTheta_i) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
(exp.f32 (+.f32 (-.f32 (/.f32 cosTheta_i (/.f32 v cosTheta_O)) (+.f32 (/.f32 sinTheta_i (/.f32 v sinTheta_O)) (/.f32 1 v))) (+.f32 6931/10000 (log.f32 (/.f32 1/2 v)))))
(*.f32 (/.f32 1/2 v) (exp.f32 (+.f32 (-.f32 (*.f32 (/.f32 cosTheta_i v) cosTheta_O) (*.f32 (/.f32 sinTheta_O v) sinTheta_i)) (+.f32 (/.f32 -1 v) 6931/10000))))
(*.f32 (/.f32 1/2 v) (exp.f32 (+.f32 (-.f32 (*.f32 cosTheta_i (/.f32 cosTheta_O v)) (fma.f32 (/.f32 sinTheta_i v) sinTheta_O (/.f32 1 v))) 6931/10000)))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) sinTheta_i) (/.f32 (*.f32 v sinTheta_O) sinTheta_i)) (/.f32 1 sinTheta_i)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 sinTheta_i)))))
(exp.f32 (+.f32 (+.f32 6931/10000 (-.f32 (/.f32 cosTheta_i (/.f32 sinTheta_i cosTheta_O)) (+.f32 (/.f32 v (/.f32 sinTheta_i sinTheta_O)) (/.f32 1 sinTheta_i)))) (log.f32 (/.f32 1/2 sinTheta_i))))
(*.f32 (exp.f32 (-.f32 (*.f32 (/.f32 cosTheta_i sinTheta_i) cosTheta_O) (-.f32 (+.f32 (*.f32 (/.f32 v sinTheta_i) sinTheta_O) (/.f32 1 sinTheta_i)) 6931/10000))) (/.f32 1/2 sinTheta_i))
(*.f32 (exp.f32 (+.f32 6931/10000 (-.f32 (*.f32 cosTheta_O (/.f32 cosTheta_i sinTheta_i)) (fma.f32 (/.f32 v sinTheta_i) sinTheta_O (/.f32 1 sinTheta_i))))) (/.f32 1/2 sinTheta_i))
(*.f32 (exp.f32 (+.f32 6931/10000 (-.f32 (*.f32 cosTheta_i (/.f32 cosTheta_O sinTheta_i)) (fma.f32 (/.f32 v sinTheta_i) sinTheta_O (/.f32 1 sinTheta_i))))) (/.f32 1/2 sinTheta_i))
(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) sinTheta_O) (/.f32 (*.f32 sinTheta_i v) sinTheta_O)) (/.f32 1 sinTheta_O)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 sinTheta_O)))))
(exp.f32 (+.f32 (-.f32 (/.f32 cosTheta_i (/.f32 sinTheta_O cosTheta_O)) (+.f32 (/.f32 sinTheta_i (/.f32 sinTheta_O v)) (/.f32 1 sinTheta_O))) (+.f32 6931/10000 (log.f32 (/.f32 1/2 sinTheta_O)))))
(*.f32 (exp.f32 (+.f32 6931/10000 (-.f32 (*.f32 (/.f32 cosTheta_i sinTheta_O) cosTheta_O) (+.f32 (/.f32 v (/.f32 sinTheta_O sinTheta_i)) (/.f32 1 sinTheta_O))))) (/.f32 1/2 sinTheta_O))
(*.f32 (exp.f32 (-.f32 (*.f32 cosTheta_O (/.f32 cosTheta_i sinTheta_O)) (+.f32 (fma.f32 (/.f32 sinTheta_i sinTheta_O) v (/.f32 1 sinTheta_O)) -6931/10000))) (/.f32 1/2 sinTheta_O))
(*.f32 (exp.f32 (-.f32 (*.f32 cosTheta_i (/.f32 cosTheta_O sinTheta_O)) (+.f32 (fma.f32 (/.f32 sinTheta_i sinTheta_O) v (/.f32 1 sinTheta_O)) -6931/10000))) (/.f32 1/2 sinTheta_O))
Symmetry

(sort cosTheta_i cosTheta_O)

(sort sinTheta_i sinTheta_O)

Compiler

Compiled 139 to 58 computations (58.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...