%2 = (*.f32 cosTheta_i cosTheta_O)
%4 = (/.f32 %2 v)
%7 = (*.f32 sinTheta_i sinTheta_O)
%8 = (/.f32 %7 v)
%9 = (-.f32 %4 %8)
%11 = (/.f32 #s(literal 1 binary32) v)
%12 = (-.f32 %9 %11)
%14 = (+.f32 %12 #s(literal 6931/10000 binary32))
%16 = (*.f32 #s(literal 2 binary32) v)
%17 = (/.f32 #s(literal 1 binary32) %16)
%18 = (log.f32 %17)
%19 = (+.f32 %14 %18)
cosTheta_i
cosTheta_O
%2
v
%4
sinTheta_i
sinTheta_O
%7
%8
%9
#s(literal 1 binary32)
%11
%12
#s(literal 6931/10000 binary32)
%14
#s(literal 2 binary32)
%16
%17
%18
%19
(exp.f32 %19)

%2 = (*.f32 cosTheta_O cosTheta_i)
%10 = (*.f32 %2 #s(literal 1 binary32))
%11 = (/.f32 #s(literal 1 binary32) v)
%13 = (/.f32 cosTheta_O v)
%15 = (neg.f32 %2)
%16 = (/.f32 #s(literal -1 binary32) v)
%20 = (*.f32 cosTheta_i %11)
%22 = (/.f32 cosTheta_i v)
%25 = (*.f32 %2 #s(literal -1 binary32))
%27 = (neg.f32 v)
%28 = (neg.f32 %27)
%32 = (neg.f32 %15)
%34 = (neg.f32 %28)
%40 = (/.f32 %2 v)
%48 = (/.f32 %2 %27)
%54 = (*.f32 sinTheta_O sinTheta_i)
%59 = (*.f32 %54 #s(literal 1 binary32))
%61 = (/.f32 sinTheta_O v)
%63 = (neg.f32 %54)
%72 = (*.f32 %54 #s(literal -1 binary32))
%77 = (neg.f32 %63)
%84 = (/.f32 %54 v)
%92 = (/.f32 %63 v)
%94 = (-.f32 %10 %54)
%96 = (-.f32 %2 %54)
%98 = (*.f32 v %2)
%99 = (*.f32 %54 v)
%100 = (-.f32 %98 %99)
%101 = (*.f32 v v)
%102 = (/.f32 #s(literal 1 binary32) %101)
%109 = (neg.f32 sinTheta_i)
%122 = (neg.f32 cosTheta_i)
%143 = (*.f32 %27 %25)
%146 = (*.f32 %27 %10)
%148 = (*.f32 %27 v)
%150 = (*.f32 %27 %32)
%152 = (*.f32 %27 %28)
%154 = (*.f32 %27 %15)
%157 = (*.f32 %27 %2)
%162 = (*.f32 %28 %27)
%166 = (*.f32 %28 v)
%179 = (*.f32 v %27)
%186 = (*.f32 v %28)
%195 = (*.f32 v sinTheta_O)
%204 = (*.f32 %27 %77)
%207 = (*.f32 %27 %63)
%212 = (*.f32 %27 %54)
%215 = (*.f32 v %77)
%218 = (*.f32 v %63)
%225 = (*.f32 %28 %77)
%228 = (*.f32 %28 %63)
%233 = (*.f32 %28 %54)
%257 = (*.f32 %25 %27)
%258 = (*.f32 %27 %72)
%261 = (*.f32 %25 v)
%262 = (*.f32 %27 %59)
%272 = (*.f32 %10 %27)
%273 = (*.f32 v %72)
%276 = (*.f32 %10 v)
%277 = (*.f32 v %59)
%287 = (*.f32 %32 %27)
%291 = (*.f32 %32 v)
%302 = (*.f32 %15 %27)
%305 = (*.f32 %15 v)
%311 = (*.f32 %2 %27)
%319 = (/.f32 %100 v)
%322 = (*.f32 %40 %27)
%323 = (-.f32 %322 %63)
%326 = (-.f32 %15 %63)
%329 = (-.f32 %302 %207)
%331 = (neg.f32 %101)
%333 = (-.f32 %305 %212)
%337 = (-.f32 %311 %218)
%339 = (neg.f32 %179)
%341 = (neg.f32 %94)
%344 = (neg.f32 %96)
%347 = (neg.f32 %100)
%361 = (/.f32 %96 v)
%382 = (/.f32 %98 %101)
%386 = (fabs.f32 v)
%387 = (/.f32 v %386)
%388 = (/.f32 %2 %386)
%390 = (/.f32 (neg.f32 %99) %101)
%392 = (/.f32 %212 %101)
%396 = (/.f32 v %27)
%399 = (/.f32 v v)
%402 = (/.f32 cosTheta_O %386)
%403 = (*.f32 cosTheta_i v)
%404 = (/.f32 %403 %386)
%407 = (/.f32 cosTheta_O %27)
%408 = (/.f32 %403 %27)
%411 = (/.f32 cosTheta_i %386)
%412 = (*.f32 cosTheta_O v)
%413 = (/.f32 %412 %386)
%416 = (/.f32 cosTheta_i %27)
%417 = (/.f32 %412 %27)
%421 = (/.f32 %412 v)
%427 = (/.f32 %403 v)
%448 = (-.f32 %54 %2)
%454 = (/.f32 #s(literal 1/2 binary32) v)
%459 = (*.f32 #s(literal -2 binary32) v)
%465 = (*.f32 #s(literal 2 binary32) %28)
%467 = (+.f32 v v)
%476 = (/.f32 %11 #s(literal 1/2 binary32))
%479 = (/.f32 #s(literal -2 binary32) v)
%482 = (/.f32 #s(literal 2 binary32) %27)
%484 = (/.f32 #s(literal 2 binary32) %386)
%486 = (/.f32 #s(literal 1 binary32) %386)
%488 = (/.f32 #s(literal 2 binary32) v)
%489 = (fabs.f32 %488)
%492 = (/.f32 %454 #s(literal 4 binary32))
%498 = (/.f32 %16 #s(literal 1 binary32))
%501 = (/.f32 %16 #s(literal 4 binary32))
%503 = (/.f32 %11 #s(literal 1 binary32))
%508 = (/.f32 #s(literal -1/2 binary32) v)
%510 = (/.f32 #s(literal 1/2 binary32) %27)
%512 = (/.f32 #s(literal -1 binary32) %467)
%515 = (/.f32 #s(literal 0 binary32) %28)
%517 = (/.f32 #s(literal 0 binary32) v)
%520 = (/.f32 #s(literal 1/2 binary32) %467)
%527 = (/.f32 %454 #s(literal 1 binary32))
%540 = (fma.f32 %361 v #s(literal -1 binary32))
%580 = (fma.f32 %84 %27 #s(literal -1 binary32))
%585 = (fma.f32 %84 v #s(literal 1 binary32))
%591 = (fma.f32 (neg.f32 sinTheta_O) sinTheta_i #s(literal -1 binary32))
%596 = (fma.f32 sinTheta_O sinTheta_i #s(literal 1 binary32))
%600 = (/.f32 (-.f32 %2 %596) v)
%612 = (*.f32 %28 %101)
%616 = (*.f32 %28 %148)
%620 = (*.f32 %28 %179)
%652 = (*.f32 %101 v)
%656 = (*.f32 v %148)
%660 = (*.f32 v %179)
%692 = (*.f32 %101 %27)
%696 = (*.f32 %27 %148)
%700 = (*.f32 %27 %179)
%721 = (*.f32 v #s(literal -1 binary32))
%726 = (*.f32 v #s(literal 1 binary32))
%729 = (*.f32 %27 #s(literal -1 binary32))
%734 = (*.f32 %27 #s(literal 1 binary32))
%743 = (*.f32 %101 #s(literal -1 binary32))
%745 = (*.f32 %101 %28)
%749 = (*.f32 %101 #s(literal 1 binary32))
%752 = (*.f32 %148 #s(literal -1 binary32))
%754 = (*.f32 %148 %28)
%757 = (*.f32 %148 v)
%759 = (*.f32 %148 #s(literal 1 binary32))
%761 = (*.f32 %148 %27)
%763 = (*.f32 %179 #s(literal -1 binary32))
%765 = (*.f32 %179 %28)
%768 = (*.f32 %179 v)
%770 = (*.f32 %179 #s(literal 1 binary32))
%772 = (*.f32 %179 %27)
%786 = (*.f32 %331 #s(literal -1 binary32))
%788 = (*.f32 %331 %28)
%791 = (*.f32 %331 v)
%793 = (*.f32 %331 #s(literal 1 binary32))
%795 = (*.f32 %331 %27)
%815 = (*.f32 %361 v)
%915 = (*.f32 %27 %580)
%918 = (*.f32 %27 %585)
%921 = (*.f32 %25 %101)
%923 = (fma.f32 %63 %27 (*.f32 #s(literal -1 binary32) %27))
%924 = (*.f32 %27 %923)
%927 = (*.f32 %25 %148)
%929 = (fma.f32 %63 v (*.f32 #s(literal 1 binary32) %27))
%930 = (*.f32 %27 %929)
%933 = (*.f32 %25 %179)
%935 = (fma.f32 %54 %27 (*.f32 #s(literal -1 binary32) v))
%936 = (*.f32 %27 %935)
%939 = (*.f32 #s(literal 1 binary32) v)
%940 = (fma.f32 %54 v %939)
%941 = (*.f32 %27 %940)
%944 = (*.f32 %27 %591)
%947 = (*.f32 %27 %596)
%950 = (fma.f32 %63 %27 %729)
%951 = (*.f32 %27 %950)
%954 = (fma.f32 %63 v %734)
%955 = (*.f32 %27 %954)
%958 = (fma.f32 %54 %27 %721)
%959 = (*.f32 %27 %958)
%962 = (fma.f32 %54 v %726)
%963 = (*.f32 %27 %962)
%966 = (*.f32 v %580)
%969 = (*.f32 v %585)
%972 = (*.f32 %10 %101)
%973 = (*.f32 v %923)
%976 = (*.f32 %10 %148)
%977 = (*.f32 v %929)
%980 = (*.f32 %10 %179)
%981 = (*.f32 v %935)
%984 = (*.f32 v %940)
%987 = (*.f32 v %591)
%990 = (*.f32 v %596)
%993 = (*.f32 v %950)
%996 = (*.f32 v %954)
%999 = (*.f32 v %958)
%1002 = (*.f32 v %962)
%1011 = (*.f32 %32 %101)
%1015 = (*.f32 %32 %148)
%1019 = (*.f32 %32 %179)
%1048 = (*.f32 %15 %101)
%1051 = (*.f32 %15 %148)
%1054 = (*.f32 %15 %179)
%1075 = (*.f32 %2 %101)
%1078 = (*.f32 %2 %148)
%1081 = (*.f32 %2 %179)
%1098 = (*.f32 %361 %27)
%1099 = (-.f32 %1098 #s(literal -1 binary32))
%1102 = (-.f32 %94 #s(literal 1 binary32))
%1105 = (-.f32 %96 #s(literal 1 binary32))
%1108 = (*.f32 %94 %27)
%1109 = (-.f32 %1108 %721)
%1112 = (*.f32 %94 v)
%1113 = (-.f32 %1112 %726)
%1116 = (*.f32 %96 %27)
%1117 = (-.f32 %1116 %721)
%1120 = (*.f32 %96 v)
%1121 = (-.f32 %1120 %726)
%1124 = (*.f32 %100 %27)
%1125 = (-.f32 %1124 %743)
%1129 = (*.f32 %100 v)
%1130 = (-.f32 %1129 %749)
%1134 = (neg.f32 %540)
%1155 = (/.f32 %721 %179)
%1158 = (/.f32 %726 %101)
%1170 = (/.f32 %815 v)
%1173 = (/.f32 %596 v)
%1175 = (/.f32 %591 v)
%1178 = (/.f32 (-.f32 %54 #s(literal -1 binary32)) %27)
%1180 = (neg.f32 %1173)
%1223 = (/.f32 (+.f32 #s(literal 1 binary32) %448) v)
%1226 = (fma.f32 #s(literal 6931/10000 binary32) v %540)
%1231 = (-.f32 %600 #s(literal -6931/10000 binary32))
%1234 = (+.f32 #s(literal 6931/10000 binary32) %361)
%1239 = (-.f32 %11 #s(literal 6931/10000 binary32))
%1247 = (-.f32 %92 %1239)
%1250 = (+.f32 %16 #s(literal 6931/10000 binary32))
%1252 = (-.f32 %16 #s(literal -6931/10000 binary32))
%1254 = (neg.f32 %1239)
%1287 = (/.f32 #s(literal 1/2 binary32) %488)
%1290 = (/.f32 #s(literal 2 binary32) %488)
%1292 = (/.f32 #s(literal 2 binary32) %454)
%1294 = (/.f32 #s(literal 1 binary32) %488)
%1296 = (/.f32 #s(literal 1/2 binary32) %454)
%1298 = (sqrt.f32 %467)
%1300 = (log.f32 #s(literal 2 binary32))
%1301 = (exp.f32 %1300)
%1302 = (log.f32 %386)
%1303 = (exp.f32 %1302)
%1306 = (/.f32 #s(literal 1/2 binary32) %11)
%1308 = (/.f32 #s(literal 2 binary32) %520)
%1310 = (/.f32 #s(literal 2 binary32) %512)
%1312 = (/.f32 #s(literal 1/2 binary32) %512)
%1316 = (/.f32 #s(literal 1 binary32) %520)
%1320 = (/.f32 #s(literal 1 binary32) %11)
%1325 = (/.f32 #s(literal 2 binary32) %11)
%1327 = (/.f32 #s(literal 1/2 binary32) %520)
%1331 = (neg.f32 %454)
%1336 = (*.f32 %467 %467)
%1339 = (/.f32 (fma.f32 #s(literal 2 binary32) v %454) #s(literal 2 binary32))
%1341 = (/.f32 (-.f32 %454 %467) #s(literal 2 binary32))
%1344 = (/.f32 #s(literal 0 binary32) %454)
%1372 = (exp.f32 #s(literal 1 binary32))
%1373 = (log.f32 %467)
%1382 = (/.f32 (-.f32 %467 %454) #s(literal 2 binary32))
%1389 = (neg.f32 %459)
%1423 = (log.f32 #s(literal 1/2 binary32))
%1462 = (/.f32 #s(literal 0 binary32) %1389)
%1464 = (/.f32 #s(literal 0 binary32) %467)
%1522 = (neg.f32 %1373)
%1527 = (/.f32 #s(literal 1/2 binary32) %1389)
%1547 = (log.f32 %11)
%1553 = (log.f32 %520)
%1567 = (+.f32 #s(literal -6931/10000 binary32) %1373)
%1568 = (-.f32 %600 %1567)
%1571 = (+.f32 %1522 %600)
%1573 = (+.f32 %1522 %361)
%1575 = (+.f32 %1231 #s(literal 0 binary32))
%1577 = (-.f32 %1373 %1231)
%1579 = (neg.f32 %1231)
%1582 = (-.f32 #s(literal -6931/10000 binary32) %1522)
%1584 = (-.f32 #s(literal 6931/10000 binary32) %1373)
%1585 = (neg.f32 %1584)
%1587 = (-.f32 %1239 %1522)
%1589 = (-.f32 %11 %1584)
%1591 = (+.f32 %1239 %1373)
%1593 = (-.f32 %1173 %1584)
%1595 = (+.f32 %16 %1584)
%1608 = (+.f32 %600 %1522)
%1610 = (-.f32 %600 %1373)
%1615 = (exp.f32 %1231)
%1616 = (/.f32 %1615 %467)
%1617 = (sqrt.f32 %1616)
%1619 = (exp.f32 %1571)
%1620 = (exp.f32 #s(literal 6931/10000 binary32))
%1626 = (/.f32 %1620 %467)
%1627 = (exp.f32 %600)
%1630 = (exp.f32 %361)
%1635 = (sinh.f32 %1568)
%1636 = (cosh.f32 %1568)
%1637 = (*.f32 #s(literal 2 binary32) %1636)
%1640 = (*.f32 #s(literal 2 binary32) %1635)
%1650 = (exp.f32 #s(literal -6931/10000 binary32))
%1662 = (*.f32 %1627 #s(literal 1 binary32))
%1668 = (exp.f32 %1239)
%1680 = (*.f32 %1630 #s(literal 1 binary32))
%1709 = (*.f32 #s(literal 1 binary32) %1627)
%1714 = (*.f32 #s(literal 1 binary32) %1630)
%1748 = (exp.f32 (*.f32 %1568 #s(literal 2 binary32)))
%1752 = (neg.f32 %1635)
%1761 = (*.f32 %1568 #s(literal 1 binary32))
%1769 = (neg.f32 %1616)
cosTheta_i
cosTheta_O
%2
(*.f32 cosTheta_i cosTheta_O)
(/.f32 #s(literal 1 binary32) (pow.f32 %2 #s(literal -1 binary32)))
(pow.f32 %2 #s(literal 1 binary32))
v
(*.f32 %10 %11)
(*.f32 %13 cosTheta_i)
(*.f32 %15 %16)
(*.f32 %11 %2)
(*.f32 %2 %11)
(*.f32 cosTheta_O %20)
(*.f32 cosTheta_O %22)
(*.f32 cosTheta_i %13)
(/.f32 (neg.f32 %25) %28)
(/.f32 (neg.f32 %10) %27)
(/.f32 (neg.f32 %32) %34)
(/.f32 %25 %27)
(/.f32 %10 v)
(/.f32 %32 %28)
(/.f32 %15 %27)
(/.f32 #s(literal 1 binary32) (pow.f32 %40 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 %27 %15))
(/.f32 #s(literal 1 binary32) (/.f32 v %2))
%40
(pow.f32 %40 #s(literal 1 binary32))
(neg.f32 %48)
(neg.f32 (/.f32 %15 v))
sinTheta_i
sinTheta_O
%54
(*.f32 sinTheta_i sinTheta_O)
(/.f32 #s(literal 1 binary32) (pow.f32 %54 #s(literal -1 binary32)))
(pow.f32 %54 #s(literal 1 binary32))
(*.f32 %59 %11)
(*.f32 %61 sinTheta_i)
(*.f32 %63 %16)
(*.f32 %11 %54)
(*.f32 %54 %11)
(*.f32 sinTheta_O (*.f32 sinTheta_i %11))
(*.f32 sinTheta_O (/.f32 sinTheta_i v))
(*.f32 sinTheta_i %61)
(/.f32 (neg.f32 %72) %28)
(/.f32 (neg.f32 %59) %27)
(/.f32 (neg.f32 %77) %34)
(/.f32 %72 %27)
(/.f32 %59 v)
(/.f32 %77 %28)
(/.f32 %63 %27)
(/.f32 #s(literal 1 binary32) (pow.f32 %84 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 %27 %63))
(/.f32 #s(literal 1 binary32) (/.f32 v %54))
%84
(pow.f32 %84 #s(literal 1 binary32))
(neg.f32 %92)
(*.f32 %94 %11)
(*.f32 %96 %11)
(*.f32 %100 %102)
(*.f32 %11 %96)
(/.f32 (+.f32 %77 %25) %27)
(/.f32 (fma.f32 sinTheta_O sinTheta_i %25) %27)
(/.f32 (fma.f32 %109 sinTheta_O %10) v)
(/.f32 (fma.f32 %109 sinTheta_O %32) %28)
(/.f32 (+.f32 %77 %15) %27)
(/.f32 (fma.f32 sinTheta_O sinTheta_i %15) %27)
(/.f32 (fma.f32 %109 sinTheta_O %2) v)
(/.f32 (fma.f32 %2 #s(literal -1 binary32) %77) %27)
(/.f32 (fma.f32 %122 cosTheta_O %77) %27)
(/.f32 (+.f32 %32 %63) %28)
(/.f32 (fma.f32 %2 #s(literal -1 binary32) %54) %27)
(/.f32 (fma.f32 %122 cosTheta_O %54) %27)
(/.f32 (-.f32 %25 %72) %27)
(/.f32 (-.f32 %15 %72) %27)
(/.f32 (-.f32 %10 %59) v)
(/.f32 (-.f32 %2 %59) v)
(/.f32 (-.f32 %32 %77) %28)
(/.f32 (-.f32 %25 %63) %27)
(/.f32 (fma.f32 %77 %27 %143) %101)
(/.f32 (fma.f32 %77 v %146) %148)
(/.f32 (fma.f32 %77 %28 %150) %152)
(/.f32 (fma.f32 %77 %27 %154) %101)
(/.f32 (fma.f32 %77 v %157) %148)
(/.f32 (fma.f32 %63 %27 (*.f32 %28 %25)) %162)
(/.f32 (fma.f32 %63 v (*.f32 %28 %10)) %166)
(/.f32 (fma.f32 %63 %28 (*.f32 %28 %32)) %101)
(/.f32 (fma.f32 %63 %27 (*.f32 %28 %15)) %162)
(/.f32 (fma.f32 %63 v (*.f32 %28 %2)) %166)
(/.f32 (fma.f32 %63 %27 (*.f32 v %25)) %179)
(/.f32 (fma.f32 %63 v (*.f32 v %10)) %101)
(/.f32 (fma.f32 %63 %28 (*.f32 v %32)) %186)
(/.f32 (fma.f32 %63 %27 (*.f32 v %15)) %179)
(/.f32 (fma.f32 %63 v %98) %101)
(/.f32 (fma.f32 %54 %27 %143) %101)
(/.f32 (fma.f32 %195 sinTheta_i %146) %148)
(/.f32 (fma.f32 %54 %28 %150) %152)
(/.f32 (fma.f32 %54 %27 %154) %101)
(/.f32 (fma.f32 %195 sinTheta_i %157) %148)
(/.f32 (fma.f32 %25 %27 %204) %101)
(/.f32 (fma.f32 %25 %28 %207) %152)
(/.f32 (fma.f32 %25 v %207) %148)
(/.f32 (fma.f32 %25 %27 %212) %101)
(/.f32 (fma.f32 %10 %27 %215) %179)
(/.f32 (fma.f32 %10 %28 %218) %186)
(/.f32 (fma.f32 %10 v %218) %101)
(/.f32 (fma.f32 %10 %27 %99) %179)
(/.f32 (fma.f32 %32 %27 %225) %162)
(/.f32 (fma.f32 %32 %28 %228) %101)
(/.f32 (fma.f32 %32 v %228) %166)
(/.f32 (fma.f32 %32 %27 %233) %162)
(/.f32 (fma.f32 %15 %27 %204) %101)
(/.f32 (fma.f32 %15 %28 %207) %152)
(/.f32 (fma.f32 %15 v %207) %148)
(/.f32 (fma.f32 %15 %27 %212) %101)
(/.f32 (fma.f32 %2 %27 %215) %179)
(/.f32 (fma.f32 %2 %28 %218) %186)
(/.f32 (fma.f32 v %2 %218) %101)
(/.f32 (fma.f32 %2 %27 %99) %179)
(/.f32 (-.f32 (*.f32 %98 %101) (*.f32 %101 %99)) (*.f32 %101 %101))
(/.f32 (-.f32 %257 %258) %101)
(/.f32 (-.f32 %261 %262) %148)
(/.f32 (-.f32 (*.f32 %25 %28) %204) %152)
(/.f32 (-.f32 %257 %207) %101)
(/.f32 (-.f32 %261 %212) %148)
(/.f32 (-.f32 %272 %273) %179)
(/.f32 (-.f32 %276 %277) %101)
(/.f32 (-.f32 (*.f32 %10 %28) %215) %186)
(/.f32 (-.f32 %272 %218) %179)
(/.f32 (-.f32 %276 %99) %101)
(/.f32 (-.f32 %287 (*.f32 %28 %72)) %162)
(/.f32 (-.f32 %291 (*.f32 %28 %59)) %166)
(/.f32 (-.f32 (*.f32 %32 %28) %225) %101)
(/.f32 (-.f32 %287 %228) %162)
(/.f32 (-.f32 %291 %233) %166)
(/.f32 (-.f32 %302 %258) %101)
(/.f32 (-.f32 %305 %262) %148)
(/.f32 (-.f32 (*.f32 %15 %28) %204) %152)
(/.f32 (-.f32 %311 %273) %179)
(/.f32 (-.f32 %98 %277) %101)
(/.f32 (-.f32 (*.f32 %2 %28) %215) %186)
(/.f32 (neg.f32 %319) %27)
(/.f32 (neg.f32 %323) %28)
(/.f32 (neg.f32 %326) %28)
(/.f32 (neg.f32 %329) %331)
(/.f32 (neg.f32 %333) (neg.f32 %148))
(/.f32 (neg.f32 %337) %339)
(/.f32 (neg.f32 %341) %28)
(/.f32 (neg.f32 %344) %28)
(/.f32 (neg.f32 %347) (neg.f32 %331))
(/.f32 %319 v)
(/.f32 %323 %27)
(/.f32 %326 %27)
(/.f32 %329 %101)
(/.f32 %333 %148)
(/.f32 %337 %179)
(/.f32 %341 %27)
(/.f32 %344 %27)
(/.f32 %347 %331)
(/.f32 %94 v)
%361
(/.f32 %100 %101)
(/.f32 #s(literal 1 binary32) (pow.f32 %361 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 v %94))
(/.f32 #s(literal 1 binary32) (/.f32 v %96))
(/.f32 #s(literal 1 binary32) (/.f32 %101 %100))
(-.f32 (/.f32 %322 %27) %84)
(-.f32 (/.f32 %302 %101) (/.f32 %207 %101))
(-.f32 (/.f32 %305 %148) (/.f32 %212 %148))
(-.f32 (/.f32 %311 %179) (/.f32 %218 %179))
(-.f32 %382 (/.f32 %99 %101))
(-.f32 %40 %84)
(fma.f32 %387 %388 %390)
(fma.f32 %387 %388 %392)
(fma.f32 %388 %387 %390)
(fma.f32 %388 %387 %392)
(fma.f32 %396 %48 %390)
(fma.f32 %396 %48 %392)
(fma.f32 %399 %40 %390)
(fma.f32 %399 %40 %392)
(fma.f32 %402 %404 %390)
(fma.f32 %402 %404 %392)
(fma.f32 %407 %408 %390)
(fma.f32 %407 %408 %392)
(fma.f32 %411 %413 %390)
(fma.f32 %411 %413 %392)
(fma.f32 %416 %417 %390)
(fma.f32 %416 %417 %392)
(fma.f32 %10 %11 %92)
(fma.f32 %22 %421 %390)
(fma.f32 %22 %421 %392)
(fma.f32 %48 %396 %390)
(fma.f32 %48 %396 %392)
(fma.f32 %109 %61 %40)
(fma.f32 %13 %427 %390)
(fma.f32 %13 %427 %392)
(fma.f32 %13 cosTheta_i %92)
(fma.f32 %15 %16 %92)
(fma.f32 %63 %11 %40)
(fma.f32 %11 %2 %92)
(fma.f32 %54 %16 %40)
(fma.f32 sinTheta_i (neg.f32 %61) %40)
(fma.f32 %40 %399 %390)
(fma.f32 %40 %399 %392)
(fma.f32 %2 %11 %92)
(fma.f32 cosTheta_O %20 %92)
(fma.f32 cosTheta_O %22 %92)
(fma.f32 cosTheta_i %13 %92)
(pow.f32 %361 #s(literal 1 binary32))
(+.f32 %382 %390)
(+.f32 %382 %392)
(+.f32 %92 %40)
(+.f32 %40 %92)
(neg.f32 (/.f32 %448 v))
#s(literal 1 binary32)
(*.f32 #s(literal -1 binary32) %16)
(*.f32 #s(literal 2 binary32) %454)
(*.f32 %11 #s(literal 1 binary32))
(*.f32 #s(literal 1 binary32) %11)
(/.f32 #s(literal -2 binary32) %459)
(/.f32 #s(literal -1 binary32) %34)
(/.f32 #s(literal -1 binary32) %27)
(/.f32 #s(literal 2 binary32) (*.f32 %28 #s(literal 2 binary32)))
(/.f32 #s(literal 2 binary32) %465)
(/.f32 #s(literal 2 binary32) %467)
(/.f32 #s(literal 1 binary32) (pow.f32 %11 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 %27 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) %28)
(/.f32 #s(literal 1 binary32) (/.f32 v #s(literal 1 binary32)))
%11
(fma.f32 %476 #s(literal 1/4 binary32) %454)
(fma.f32 %479 #s(literal -1/4 binary32) %454)
(fma.f32 %482 #s(literal -1/4 binary32) %454)
(fma.f32 %484 #s(literal 1/4 binary32) %454)
(fma.f32 %486 #s(literal 1/2 binary32) %454)
(fma.f32 %489 #s(literal 1/4 binary32) %454)
(fma.f32 #s(literal 4 binary32) %492 %454)
(fma.f32 #s(literal 1/4 binary32) %484 %454)
(fma.f32 #s(literal 1/4 binary32) %488 %454)
(fma.f32 %488 #s(literal 1/4 binary32) %454)
(fma.f32 #s(literal -1/2 binary32) %498 %454)
(fma.f32 #s(literal -1/2 binary32) %16 %454)
(fma.f32 #s(literal -2 binary32) %501 %454)
(fma.f32 #s(literal 1/2 binary32) %503 %454)
(fma.f32 #s(literal 1/2 binary32) %486 %454)
(fma.f32 #s(literal 1/2 binary32) %11 %454)
(fma.f32 %16 #s(literal -1/2 binary32) %454)
(fma.f32 #s(literal -1 binary32) %508 %454)
(fma.f32 #s(literal -1 binary32) %510 %454)
(fma.f32 #s(literal -1 binary32) %512 %454)
(fma.f32 #s(literal -1 binary32) %16 %515)
(fma.f32 #s(literal -1 binary32) %16 %517)
(fma.f32 %454 #s(literal 1 binary32) %454)
(fma.f32 #s(literal 2 binary32) %520 %454)
(fma.f32 #s(literal 2 binary32) %454 %515)
(fma.f32 #s(literal 2 binary32) %454 %517)
(fma.f32 %11 #s(literal 1/2 binary32) %454)
(fma.f32 %11 #s(literal 1 binary32) %515)
(fma.f32 %11 #s(literal 1 binary32) %517)
(fma.f32 #s(literal 1 binary32) %527 %454)
(fma.f32 #s(literal 1 binary32) %454 %454)
(fma.f32 #s(literal 1 binary32) %11 %515)
(fma.f32 #s(literal 1 binary32) %11 %517)
(pow.f32 %28 #s(literal -1 binary32))
(pow.f32 %11 #s(literal 1 binary32))
(pow.f32 v #s(literal -1 binary32))
(+.f32 %454 %454)
(+.f32 %11 %515)
(+.f32 %11 %517)
(fabs.f32 %11)
(neg.f32 %16)
(*.f32 %540 %11)
(/.f32 (+.f32 #s(literal -1 binary32) %319) v)
(/.f32 (+.f32 #s(literal 1 binary32) %323) %27)
(/.f32 (+.f32 #s(literal 1 binary32) %326) %27)
(/.f32 (+.f32 #s(literal 1 binary32) %341) %27)
(/.f32 (+.f32 #s(literal 1 binary32) %344) %27)
(/.f32 (+.f32 #s(literal -1 binary32) %94) v)
(/.f32 (+.f32 #s(literal -1 binary32) %96) v)
(/.f32 (+.f32 %319 #s(literal -1 binary32)) v)
(/.f32 (+.f32 %94 #s(literal -1 binary32)) v)
(/.f32 (+.f32 %96 #s(literal -1 binary32)) v)
(/.f32 (+.f32 %323 #s(literal 1 binary32)) %27)
(/.f32 (+.f32 %326 #s(literal 1 binary32)) %27)
(/.f32 (+.f32 %341 #s(literal 1 binary32)) %27)
(/.f32 (+.f32 %344 #s(literal 1 binary32)) %27)
(/.f32 (-.f32 %323 #s(literal -1 binary32)) %27)
(/.f32 (-.f32 %326 #s(literal -1 binary32)) %27)
(/.f32 (-.f32 %341 #s(literal -1 binary32)) %27)
(/.f32 (-.f32 %344 #s(literal -1 binary32)) %27)
(/.f32 (-.f32 %319 #s(literal 1 binary32)) v)
(/.f32 (-.f32 %25 %580) %27)
(/.f32 (-.f32 %15 %580) %27)
(/.f32 (-.f32 %10 %585) v)
(/.f32 (-.f32 %2 %585) v)
(/.f32 (-.f32 %25 %591) %27)
(/.f32 (-.f32 %15 %591) %27)
(/.f32 (-.f32 %10 %596) v)
%600
(/.f32 (fma.f32 #s(literal -1 binary32) v (*.f32 %28 %319)) %166)
(/.f32 (fma.f32 #s(literal -1 binary32) %27 (*.f32 %28 %323)) %162)
(/.f32 (fma.f32 #s(literal -1 binary32) %27 (*.f32 %28 %326)) %162)
(/.f32 (fma.f32 #s(literal -1 binary32) %101 (*.f32 %28 %329)) %612)
(/.f32 (fma.f32 #s(literal -1 binary32) %148 (*.f32 %28 %333)) %616)
(/.f32 (fma.f32 #s(literal -1 binary32) %179 (*.f32 %28 %337)) %620)
(/.f32 (fma.f32 #s(literal -1 binary32) %27 (*.f32 %28 %341)) %162)
(/.f32 (fma.f32 #s(literal -1 binary32) %27 (*.f32 %28 %344)) %162)
(/.f32 (fma.f32 #s(literal -1 binary32) %331 (*.f32 %28 %347)) (*.f32 %28 %331))
(/.f32 (fma.f32 #s(literal -1 binary32) v (*.f32 %28 %94)) %166)
(/.f32 (fma.f32 #s(literal -1 binary32) v (*.f32 %28 %96)) %166)
(/.f32 (fma.f32 #s(literal -1 binary32) %101 (*.f32 %28 %100)) %612)
(/.f32 (fma.f32 #s(literal -1 binary32) v (*.f32 v %319)) %101)
(/.f32 (fma.f32 #s(literal -1 binary32) %27 (*.f32 v %323)) %179)
(/.f32 (fma.f32 #s(literal -1 binary32) %27 (*.f32 v %326)) %179)
(/.f32 (fma.f32 #s(literal -1 binary32) %101 (*.f32 v %329)) %652)
(/.f32 (fma.f32 #s(literal -1 binary32) %148 (*.f32 v %333)) %656)
(/.f32 (fma.f32 #s(literal -1 binary32) %179 (*.f32 v %337)) %660)
(/.f32 (fma.f32 #s(literal -1 binary32) %27 (*.f32 v %341)) %179)
(/.f32 (fma.f32 #s(literal -1 binary32) %27 (*.f32 v %344)) %179)
(/.f32 (fma.f32 #s(literal -1 binary32) %331 (*.f32 v %347)) (*.f32 v %331))
(/.f32 (fma.f32 #s(literal -1 binary32) v (*.f32 v %94)) %101)
(/.f32 (fma.f32 #s(literal -1 binary32) v (*.f32 v %96)) %101)
(/.f32 (fma.f32 #s(literal -1 binary32) %101 (*.f32 v %100)) %652)
(/.f32 (fma.f32 #s(literal 1 binary32) v (*.f32 %27 %319)) %148)
(/.f32 (fma.f32 #s(literal 1 binary32) %27 (*.f32 %27 %323)) %101)
(/.f32 (fma.f32 #s(literal 1 binary32) %27 (*.f32 %27 %326)) %101)
(/.f32 (fma.f32 #s(literal 1 binary32) %101 (*.f32 %27 %329)) %692)
(/.f32 (fma.f32 #s(literal 1 binary32) %148 (*.f32 %27 %333)) %696)
(/.f32 (fma.f32 #s(literal 1 binary32) %179 (*.f32 %27 %337)) %700)
(/.f32 (fma.f32 #s(literal 1 binary32) %27 (*.f32 %27 %341)) %101)
(/.f32 (fma.f32 #s(literal 1 binary32) %27 (*.f32 %27 %344)) %101)
(/.f32 (fma.f32 #s(literal 1 binary32) %331 (*.f32 %27 %347)) (*.f32 %27 %331))
(/.f32 (fma.f32 #s(literal 1 binary32) v (*.f32 %27 %94)) %148)
(/.f32 (fma.f32 #s(literal 1 binary32) v (*.f32 %27 %96)) %148)
(/.f32 (fma.f32 #s(literal 1 binary32) %101 (*.f32 %27 %100)) %692)
(/.f32 (fma.f32 %319 %28 %721) %186)
(/.f32 (fma.f32 %319 v %721) %101)
(/.f32 (fma.f32 %319 %27 %726) %179)
(/.f32 (fma.f32 %323 %28 %729) %152)
(/.f32 (fma.f32 %323 v %729) %148)
(/.f32 (fma.f32 %323 %27 %734) %101)
(/.f32 (fma.f32 %326 %28 %729) %152)
(/.f32 (fma.f32 %326 v %729) %148)
(/.f32 (fma.f32 %326 %27 %734) %101)
(/.f32 (fma.f32 %329 %28 %743) %745)
(/.f32 (fma.f32 %329 v %743) %652)
(/.f32 (fma.f32 %329 %27 %749) %692)
(/.f32 (fma.f32 %333 %28 %752) %754)
(/.f32 (fma.f32 %333 v %752) %757)
(/.f32 (fma.f32 %333 %27 %759) %761)
(/.f32 (fma.f32 %337 %28 %763) %765)
(/.f32 (fma.f32 %337 v %763) %768)
(/.f32 (fma.f32 %337 %27 %770) %772)
(/.f32 (fma.f32 %341 %28 %729) %152)
(/.f32 (fma.f32 %341 v %729) %148)
(/.f32 (fma.f32 %341 %27 %734) %101)
(/.f32 (fma.f32 %344 %28 %729) %152)
(/.f32 (fma.f32 %344 v %729) %148)
(/.f32 (fma.f32 %344 %27 %734) %101)
(/.f32 (fma.f32 %347 %28 %786) %788)
(/.f32 (fma.f32 %347 v %786) %791)
(/.f32 (fma.f32 %347 %27 %793) %795)
(/.f32 (fma.f32 %94 %28 %721) %186)
(/.f32 (fma.f32 %94 v %721) %101)
(/.f32 (fma.f32 %94 %27 %726) %179)
(/.f32 (fma.f32 %96 %28 %721) %186)
(/.f32 (fma.f32 %96 v %721) %101)
(/.f32 (fma.f32 %96 %27 %726) %179)
(/.f32 (fma.f32 %100 %28 %743) %745)
(/.f32 (fma.f32 %100 v %743) %652)
(/.f32 (fma.f32 %100 %27 %749) %692)
(/.f32 (-.f32 (*.f32 %815 %27) %721) %179)
(/.f32 (-.f32 (*.f32 %815 %28) %726) %186)
(/.f32 (-.f32 (*.f32 %815 v) %726) %101)
(/.f32 (-.f32 (*.f32 %319 %27) %721) %179)
(/.f32 (-.f32 (*.f32 %319 %28) %726) %186)
(/.f32 (-.f32 (*.f32 %319 v) %726) %101)
(/.f32 (-.f32 (*.f32 %323 %27) %729) %101)
(/.f32 (-.f32 (*.f32 %323 %28) %734) %152)
(/.f32 (-.f32 (*.f32 %323 v) %734) %148)
(/.f32 (-.f32 (*.f32 %326 %27) %729) %101)
(/.f32 (-.f32 (*.f32 %326 %28) %734) %152)
(/.f32 (-.f32 (*.f32 %326 v) %734) %148)
(/.f32 (-.f32 (*.f32 %329 %27) %743) %692)
(/.f32 (-.f32 (*.f32 %329 %28) %749) %745)
(/.f32 (-.f32 (*.f32 %329 v) %749) %652)
(/.f32 (-.f32 (*.f32 %333 %27) %752) %761)
(/.f32 (-.f32 (*.f32 %333 %28) %759) %754)
(/.f32 (-.f32 (*.f32 %333 v) %759) %757)
(/.f32 (-.f32 (*.f32 %337 %27) %763) %772)
(/.f32 (-.f32 (*.f32 %337 %28) %770) %765)
(/.f32 (-.f32 (*.f32 %337 v) %770) %768)
(/.f32 (-.f32 (*.f32 %341 %27) %729) %101)
(/.f32 (-.f32 (*.f32 %341 %28) %734) %152)
(/.f32 (-.f32 (*.f32 %341 v) %734) %148)
(/.f32 (-.f32 (*.f32 %344 %27) %729) %101)
(/.f32 (-.f32 (*.f32 %344 %28) %734) %152)
(/.f32 (-.f32 (*.f32 %344 v) %734) %148)
(/.f32 (-.f32 (*.f32 %347 %27) %786) %795)
(/.f32 (-.f32 (*.f32 %347 %28) %793) %788)
(/.f32 (-.f32 (*.f32 %347 v) %793) %791)
(/.f32 (-.f32 (*.f32 %94 %28) %726) %186)
(/.f32 (-.f32 (*.f32 %96 %28) %726) %186)
(/.f32 (-.f32 (*.f32 %100 %28) %749) %745)
(/.f32 (-.f32 %257 %915) %101)
(/.f32 (-.f32 %261 %918) %148)
(/.f32 (-.f32 %921 %924) %692)
(/.f32 (-.f32 %927 %930) %696)
(/.f32 (-.f32 %933 %936) %700)
(/.f32 (-.f32 %921 %941) %692)
(/.f32 (-.f32 %257 %944) %101)
(/.f32 (-.f32 %261 %947) %148)
(/.f32 (-.f32 %921 %951) %692)
(/.f32 (-.f32 %927 %955) %696)
(/.f32 (-.f32 %933 %959) %700)
(/.f32 (-.f32 %921 %963) %692)
(/.f32 (-.f32 %272 %966) %179)
(/.f32 (-.f32 %276 %969) %101)
(/.f32 (-.f32 %972 %973) %652)
(/.f32 (-.f32 %976 %977) %656)
(/.f32 (-.f32 %980 %981) %660)
(/.f32 (-.f32 %972 %984) %652)
(/.f32 (-.f32 %272 %987) %179)
(/.f32 (-.f32 %276 %990) %101)
(/.f32 (-.f32 %972 %993) %652)
(/.f32 (-.f32 %976 %996) %656)
(/.f32 (-.f32 %980 %999) %660)
(/.f32 (-.f32 %972 %1002) %652)
(/.f32 (-.f32 %287 (*.f32 %28 %580)) %162)
(/.f32 (-.f32 %291 (*.f32 %28 %585)) %166)
(/.f32 (-.f32 %1011 (*.f32 %28 %923)) %612)
(/.f32 (-.f32 %1015 (*.f32 %28 %929)) %616)
(/.f32 (-.f32 %1019 (*.f32 %28 %935)) %620)
(/.f32 (-.f32 %1011 (*.f32 %28 %940)) %612)
(/.f32 (-.f32 %287 (*.f32 %28 %591)) %162)
(/.f32 (-.f32 %291 (*.f32 %28 %596)) %166)
(/.f32 (-.f32 %1011 (*.f32 %28 %950)) %612)
(/.f32 (-.f32 %1015 (*.f32 %28 %954)) %616)
(/.f32 (-.f32 %1019 (*.f32 %28 %958)) %620)
(/.f32 (-.f32 %1011 (*.f32 %28 %962)) %612)
(/.f32 (-.f32 %302 %915) %101)
(/.f32 (-.f32 %305 %918) %148)
(/.f32 (-.f32 %1048 %924) %692)
(/.f32 (-.f32 %1051 %930) %696)
(/.f32 (-.f32 %1054 %936) %700)
(/.f32 (-.f32 %1048 %941) %692)
(/.f32 (-.f32 %302 %944) %101)
(/.f32 (-.f32 %305 %947) %148)
(/.f32 (-.f32 %1048 %951) %692)
(/.f32 (-.f32 %1051 %955) %696)
(/.f32 (-.f32 %1054 %959) %700)
(/.f32 (-.f32 %1048 %963) %692)
(/.f32 (-.f32 %311 %966) %179)
(/.f32 (-.f32 %98 %969) %101)
(/.f32 (-.f32 %1075 %973) %652)
(/.f32 (-.f32 %1078 %977) %656)
(/.f32 (-.f32 %1081 %981) %660)
(/.f32 (-.f32 %1075 %984) %652)
(/.f32 (-.f32 %311 %987) %179)
(/.f32 (-.f32 %98 %990) %101)
(/.f32 (-.f32 %1075 %993) %652)
(/.f32 (-.f32 %1078 %996) %656)
(/.f32 (-.f32 %1081 %999) %660)
(/.f32 (-.f32 %1075 %1002) %652)
(/.f32 (neg.f32 %1099) %28)
(/.f32 (neg.f32 %1102) %27)
(/.f32 (neg.f32 %1105) %27)
(/.f32 (neg.f32 %1109) %339)
(/.f32 (neg.f32 %1113) %331)
(/.f32 (neg.f32 %1117) %339)
(/.f32 (neg.f32 %1121) %331)
(/.f32 (neg.f32 %1125) (neg.f32 %692))
(/.f32 (neg.f32 %1130) (neg.f32 %652))
(/.f32 (neg.f32 %1134) %28)
(/.f32 %1099 %27)
(/.f32 %1102 v)
(/.f32 %1105 v)
(/.f32 %1109 %179)
(/.f32 %1113 %101)
(/.f32 %1117 %179)
(/.f32 %1121 %101)
(/.f32 %1125 %692)
(/.f32 %1130 %652)
(/.f32 %1134 %27)
(/.f32 %540 v)
(/.f32 #s(literal 1 binary32) (pow.f32 %600 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 v %540))
(-.f32 (/.f32 %1098 %27) %11)
(-.f32 (/.f32 %1108 %179) %1155)
(-.f32 (/.f32 %1112 %101) %1158)
(-.f32 (/.f32 %1116 %179) %1155)
(-.f32 (/.f32 %1120 %101) %1158)
(-.f32 (/.f32 %1124 %692) (/.f32 %743 %692))
(-.f32 (/.f32 %1129 %652) (/.f32 %749 %652))
(-.f32 %1170 %11)
(-.f32 %361 %11)
(-.f32 %40 %1173)
(fma.f32 %10 %11 %1175)
(fma.f32 %10 %11 %1178)
(fma.f32 %10 %11 %1180)
(fma.f32 %13 cosTheta_i %1175)
(fma.f32 %13 cosTheta_i %1178)
(fma.f32 %13 cosTheta_i %1180)
(fma.f32 %94 %11 %16)
(fma.f32 %96 %11 %16)
(fma.f32 %100 %102 %16)
(fma.f32 %15 %16 %1175)
(fma.f32 %15 %16 %1178)
(fma.f32 %15 %16 %1180)
(fma.f32 #s(literal -1 binary32) %11 %361)
(fma.f32 %11 %96 %16)
(fma.f32 %11 %2 %1175)
(fma.f32 %11 %2 %1178)
(fma.f32 %11 %2 %1180)
(fma.f32 #s(literal 1 binary32) %16 %361)
(fma.f32 %2 %11 %1175)
(fma.f32 %2 %11 %1178)
(fma.f32 %2 %11 %1180)
(fma.f32 cosTheta_O %20 %1175)
(fma.f32 cosTheta_O %20 %1178)
(fma.f32 cosTheta_O %20 %1180)
(fma.f32 cosTheta_O %22 %1175)
(fma.f32 cosTheta_O %22 %1178)
(fma.f32 cosTheta_O %22 %1180)
(fma.f32 cosTheta_i %13 %1175)
(fma.f32 cosTheta_i %13 %1178)
(fma.f32 cosTheta_i %13 %1180)
(pow.f32 %600 #s(literal 1 binary32))
(+.f32 %1170 %16)
(+.f32 %16 %361)
(+.f32 %361 %16)
(+.f32 %40 %1175)
(+.f32 %40 %1178)
(+.f32 %40 %1180)
(neg.f32 (/.f32 (+.f32 %448 #s(literal 1 binary32)) v))
(neg.f32 (/.f32 (-.f32 %596 %2) v))
(neg.f32 %1223)
#s(literal 6931/10000 binary32)
(/.f32 (neg.f32 %1226) %27)
(/.f32 %1226 v)
(/.f32 #s(literal 1 binary32) (pow.f32 %1231 #s(literal -1 binary32)))
(-.f32 %1234 %11)
(-.f32 (+.f32 #s(literal 6931/10000 binary32) %40) %1173)
(-.f32 #s(literal 6931/10000 binary32) %1223)
%1231
(-.f32 %361 %1239)
(-.f32 %40 (-.f32 %1173 #s(literal 6931/10000 binary32)))
(-.f32 %40 (+.f32 %1173 #s(literal -6931/10000 binary32)))
(-.f32 %40 (fma.f32 %61 sinTheta_i %1239))
(fma.f32 %10 %11 %1247)
(fma.f32 %13 cosTheta_i %1247)
(fma.f32 %94 %11 %1250)
(fma.f32 %94 %11 %1252)
(fma.f32 %94 %11 %1254)
(fma.f32 %540 %11 #s(literal 6931/10000 binary32))
(fma.f32 %96 %11 %1250)
(fma.f32 %96 %11 %1252)
(fma.f32 %96 %11 %1254)
(fma.f32 %100 %102 %1250)
(fma.f32 %100 %102 %1252)
(fma.f32 %100 %102 %1254)
(fma.f32 %15 %16 %1247)
(fma.f32 %11 %96 %1250)
(fma.f32 %11 %96 %1252)
(fma.f32 %11 %96 %1254)
(fma.f32 %11 %2 %1247)
(fma.f32 %2 %11 %1247)
(fma.f32 cosTheta_O %20 %1247)
(fma.f32 cosTheta_O %22 %1247)
(fma.f32 cosTheta_i %13 %1247)
(pow.f32 %1231 #s(literal 1 binary32))
(+.f32 (/.f32 (*.f32 #s(literal 6931/10000 binary32) v) v) %600)
(+.f32 %1234 %16)
(+.f32 #s(literal 6931/10000 binary32) %600)
(+.f32 %600 #s(literal 6931/10000 binary32))
(+.f32 %361 %1250)
(+.f32 %361 %1252)
(+.f32 %361 %1254)
(+.f32 %40 %1247)
(neg.f32 (-.f32 #s(literal -6931/10000 binary32) %600))
(neg.f32 (-.f32 %1239 %361))
#s(literal 2 binary32)
(*.f32 %1287 #s(literal 8 binary32))
(*.f32 %1290 #s(literal 2 binary32))
(*.f32 %1292 #s(literal 1/2 binary32))
(*.f32 %1294 #s(literal 4 binary32))
(*.f32 %1296 #s(literal 2 binary32))
(*.f32 %1298 %1298)
(*.f32 %1301 %1303)
(*.f32 %1303 %1301)
(*.f32 #s(literal 4 binary32) %1306)
(*.f32 #s(literal 1/4 binary32) %1308)
(*.f32 #s(literal -1/2 binary32) %1310)
(*.f32 #s(literal -2 binary32) %1312)
(*.f32 %386 #s(literal 2 binary32))
(*.f32 #s(literal 1/2 binary32) %1292)
(*.f32 #s(literal 1/2 binary32) %1316)
(*.f32 #s(literal -1 binary32) %459)
(*.f32 %467 #s(literal 1 binary32))
(*.f32 #s(literal 2 binary32) %1320)
(*.f32 #s(literal 2 binary32) %1296)
(*.f32 #s(literal 2 binary32) %386)
(*.f32 #s(literal 2 binary32) v)
(*.f32 #s(literal 1 binary32) %1325)
(*.f32 #s(literal 1 binary32) %1327)
(*.f32 #s(literal 1 binary32) %467)
(*.f32 v #s(literal 2 binary32))
(/.f32 #s(literal -1 binary32) %1331)
(/.f32 #s(literal -1 binary32) %512)
(/.f32 %467 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) %454)
(sqrt.f32 %1336)
(-.f32 %1339 %1341)
(-.f32 v %27)
(fma.f32 %1287 #s(literal 8 binary32) %1344)
(fma.f32 %1290 #s(literal 2 binary32) %1344)
(fma.f32 %1292 #s(literal 1/2 binary32) %1344)
(fma.f32 %1294 #s(literal 4 binary32) %1344)
(fma.f32 %1296 #s(literal 2 binary32) %1344)
(fma.f32 %1298 %1298 %1344)
(fma.f32 %1301 %1303 %1344)
(fma.f32 %1303 %1301 %1344)
(fma.f32 #s(literal 4 binary32) %1306 %1344)
(fma.f32 #s(literal 1/4 binary32) %1308 %1344)
(fma.f32 #s(literal -1/2 binary32) %1310 %1344)
(fma.f32 #s(literal -2 binary32) %1312 %1344)
(fma.f32 %386 #s(literal 2 binary32) %1344)
(fma.f32 #s(literal 1/2 binary32) %1292 %1344)
(fma.f32 #s(literal 1/2 binary32) %1316 %1344)
(fma.f32 #s(literal -1 binary32) %459 %1344)
(fma.f32 %467 #s(literal 1 binary32) %1344)
(fma.f32 #s(literal 2 binary32) %1320 %1344)
(fma.f32 #s(literal 2 binary32) %1296 %1344)
(fma.f32 #s(literal 2 binary32) %386 %1344)
(fma.f32 #s(literal 2 binary32) v %1344)
(fma.f32 #s(literal 1 binary32) %1325 %1344)
(fma.f32 #s(literal 1 binary32) %1327 %1344)
(fma.f32 #s(literal 1 binary32) %467 %1344)
(fma.f32 #s(literal 1 binary32) v %939)
(fma.f32 v #s(literal 2 binary32) %1344)
(fma.f32 v #s(literal 1 binary32) %726)
(pow.f32 %1372 %1373)
(pow.f32 %1336 #s(literal 1/2 binary32))
(pow.f32 %454 #s(literal -1 binary32))
(pow.f32 %467 #s(literal 1 binary32))
(+.f32 %1296 %1296)
(+.f32 %726 %726)
(+.f32 %939 %939)
(+.f32 %1339 %1382)
(+.f32 %467 %1344)
%467
(fabs.f32 (-.f32 %27 v))
(fabs.f32 (/.f32 #s(literal -1 binary32) %454))
(fabs.f32 %1389)
(fabs.f32 %459)
(fabs.f32 %467)
(exp.f32 %1373)
(*.f32 %476 #s(literal 1/4 binary32))
(*.f32 %479 #s(literal -1/4 binary32))
(*.f32 %482 #s(literal -1/4 binary32))
(*.f32 %484 #s(literal 1/4 binary32))
(*.f32 %486 #s(literal 1/2 binary32))
(*.f32 %489 #s(literal 1/4 binary32))
(*.f32 #s(literal 4 binary32) %492)
(*.f32 #s(literal 1/4 binary32) %484)
(*.f32 #s(literal 1/4 binary32) %488)
(*.f32 %488 #s(literal 1/4 binary32))
(*.f32 #s(literal -1/2 binary32) %498)
(*.f32 #s(literal -1/2 binary32) %16)
(*.f32 #s(literal -2 binary32) %501)
(*.f32 #s(literal 1/2 binary32) %503)
(*.f32 #s(literal 1/2 binary32) %486)
(*.f32 #s(literal 1/2 binary32) %11)
(*.f32 %16 #s(literal -1/2 binary32))
(*.f32 #s(literal -1 binary32) %508)
(*.f32 #s(literal -1 binary32) %510)
(*.f32 #s(literal -1 binary32) %512)
(*.f32 %454 #s(literal 1 binary32))
(*.f32 #s(literal 2 binary32) %520)
(*.f32 %11 #s(literal 1/2 binary32))
(*.f32 #s(literal 1 binary32) %527)
(*.f32 #s(literal 1 binary32) %454)
(/.f32 (*.f32 %11 #s(literal 2 binary32)) #s(literal 4 binary32))
(/.f32 (*.f32 #s(literal 2 binary32) %11) #s(literal 4 binary32))
(/.f32 (exp.f32 %1423) %1303)
(/.f32 #s(literal -1/2 binary32) %27)
(/.f32 #s(literal -2 binary32) (*.f32 %459 #s(literal 2 binary32)))
(/.f32 #s(literal -2 binary32) (*.f32 #s(literal 2 binary32) %459))
(/.f32 #s(literal 1/2 binary32) %28)
(/.f32 #s(literal 1/2 binary32) %386)
%454
(/.f32 %16 #s(literal -2 binary32))
(/.f32 #s(literal -1 binary32) (*.f32 #s(literal -2 binary32) %28))
(/.f32 #s(literal -1 binary32) (neg.f32 %1389))
(/.f32 #s(literal -1 binary32) %459)
(/.f32 #s(literal 2 binary32) (*.f32 %1389 #s(literal 2 binary32)))
(/.f32 #s(literal 2 binary32) (*.f32 %467 #s(literal 2 binary32)))
(/.f32 #s(literal 2 binary32) (*.f32 #s(literal 2 binary32) %1389))
(/.f32 #s(literal 2 binary32) (*.f32 #s(literal 2 binary32) %467))
(/.f32 %11 #s(literal 2 binary32))
(/.f32 #s(literal 1 binary32) (*.f32 #s(literal -2 binary32) %27))
(/.f32 #s(literal 1 binary32) %465)
(/.f32 #s(literal 1 binary32) (/.f32 v #s(literal 1/2 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 %459 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) %1389)
(/.f32 #s(literal 1 binary32) %467)
(sqrt.f32 (*.f32 %454 %454))
(sqrt.f32 (/.f32 #s(literal 1 binary32) %1336))
(-.f32 %1339 %1382)
(fma.f32 %476 #s(literal 1/4 binary32) %1462)
(fma.f32 %476 #s(literal 1/4 binary32) %1464)
(fma.f32 %479 #s(literal -1/4 binary32) %1462)
(fma.f32 %479 #s(literal -1/4 binary32) %1464)
(fma.f32 %482 #s(literal -1/4 binary32) %1462)
(fma.f32 %482 #s(literal -1/4 binary32) %1464)
(fma.f32 %484 #s(literal 1/4 binary32) %1462)
(fma.f32 %484 #s(literal 1/4 binary32) %1464)
(fma.f32 %486 #s(literal 1/2 binary32) %1462)
(fma.f32 %486 #s(literal 1/2 binary32) %1464)
(fma.f32 %489 #s(literal 1/4 binary32) %1462)
(fma.f32 %489 #s(literal 1/4 binary32) %1464)
(fma.f32 #s(literal 4 binary32) %492 %1462)
(fma.f32 #s(literal 4 binary32) %492 %1464)
(fma.f32 #s(literal 1/4 binary32) %484 %1462)
(fma.f32 #s(literal 1/4 binary32) %484 %1464)
(fma.f32 #s(literal 1/4 binary32) %488 %1462)
(fma.f32 #s(literal 1/4 binary32) %488 %1464)
(fma.f32 %488 #s(literal 1/8 binary32) %520)
(fma.f32 %488 #s(literal 1/4 binary32) %1462)
(fma.f32 %488 #s(literal 1/4 binary32) %1464)
(fma.f32 #s(literal -1/2 binary32) %498 %1462)
(fma.f32 #s(literal -1/2 binary32) %498 %1464)
(fma.f32 #s(literal -1/2 binary32) %16 %1462)
(fma.f32 #s(literal -1/2 binary32) %16 %1464)
(fma.f32 #s(literal -2 binary32) %501 %1462)
(fma.f32 #s(literal -2 binary32) %501 %1464)
(fma.f32 #s(literal 1/2 binary32) %503 %1462)
(fma.f32 #s(literal 1/2 binary32) %503 %1464)
(fma.f32 #s(literal 1/2 binary32) %486 %1462)
(fma.f32 #s(literal 1/2 binary32) %486 %1464)
(fma.f32 #s(literal 1/2 binary32) %454 %520)
(fma.f32 #s(literal 1/2 binary32) %11 %1462)
(fma.f32 #s(literal 1/2 binary32) %11 %1464)
(fma.f32 %16 #s(literal -1/2 binary32) %1462)
(fma.f32 %16 #s(literal -1/2 binary32) %1464)
(fma.f32 #s(literal -1 binary32) %508 %1462)
(fma.f32 #s(literal -1 binary32) %508 %1464)
(fma.f32 #s(literal -1 binary32) %510 %1462)
(fma.f32 #s(literal -1 binary32) %510 %1464)
(fma.f32 #s(literal -1 binary32) %512 %1462)
(fma.f32 #s(literal -1 binary32) %512 %1464)
(fma.f32 %454 #s(literal 1 binary32) %1462)
(fma.f32 %454 #s(literal 1 binary32) %1464)
(fma.f32 #s(literal 2 binary32) %520 %1462)
(fma.f32 #s(literal 2 binary32) %520 %1464)
(fma.f32 %11 #s(literal 1/4 binary32) %520)
(fma.f32 %11 #s(literal 1/2 binary32) %1462)
(fma.f32 %11 #s(literal 1/2 binary32) %1464)
(fma.f32 #s(literal 1 binary32) %527 %1462)
(fma.f32 #s(literal 1 binary32) %527 %1464)
(fma.f32 #s(literal 1 binary32) (/.f32 #s(literal 1/4 binary32) v) %520)
(fma.f32 #s(literal 1 binary32) %454 %1462)
(fma.f32 #s(literal 1 binary32) %454 %1464)
(pow.f32 (exp.f32 #s(literal -1 binary32)) %1373)
(pow.f32 %1372 %1522)
(pow.f32 %1389 #s(literal -1 binary32))
(pow.f32 %454 #s(literal 1 binary32))
(pow.f32 %467 #s(literal -1 binary32))
(+.f32 %1527 %1527)
(+.f32 %520 %520)
(+.f32 %1339 %1341)
(+.f32 %454 %1462)
(+.f32 %454 %1464)
(fabs.f32 (-.f32 %1382 %1339))
(fabs.f32 %1331)
(fabs.f32 %512)
(fabs.f32 %454)
(exp.f32 (*.f32 %1522 #s(literal 1 binary32)))
(exp.f32 %1522)
(neg.f32 %512)
(log.f32 %454)
(*.f32 #s(literal -1 binary32) %1373)
(*.f32 #s(literal 1 binary32) %1522)
(/.f32 #s(literal 1 binary32) (pow.f32 %1522 #s(literal -1 binary32)))
(-.f32 %1547 %1300)
(-.f32 %1423 %1302)
(-.f32 #s(literal 0 binary32) %1373)
(fma.f32 #s(literal -1 binary32) %1300 %1547)
(fma.f32 #s(literal -1 binary32) %1373 #s(literal 0 binary32))
(fma.f32 #s(literal 1 binary32) %1300 %1553)
(fma.f32 #s(literal 1 binary32) %1423 %1547)
(fma.f32 #s(literal 1 binary32) %1522 #s(literal 0 binary32))
(pow.f32 %1522 #s(literal 1 binary32))
(+.f32 (log.f32 %489) (log.f32 #s(literal 1/4 binary32)))
(+.f32 %1300 %1553)
(+.f32 %1423 %1547)
(+.f32 #s(literal 0 binary32) %1522)
(+.f32 %1522 #s(literal 0 binary32))
(neg.f32 (log.f32 %1389))
%1522
(/.f32 #s(literal 1 binary32) (pow.f32 %1568 #s(literal -1 binary32)))
(-.f32 %1571 #s(literal -6931/10000 binary32))
(-.f32 %1573 %1239)
(-.f32 %1575 %1373)
(-.f32 #s(literal 0 binary32) %1577)
(-.f32 %1522 %1579)
(-.f32 %1231 %1373)
(-.f32 %600 %1582)
%1568
(-.f32 %600 %1585)
(-.f32 %361 %1587)
(-.f32 %361 %1589)
(-.f32 %361 %1591)
(-.f32 %40 %1593)
(fma.f32 %94 %11 %1595)
(fma.f32 %540 %11 %1584)
(fma.f32 %96 %11 %1595)
(fma.f32 %100 %102 %1595)
(fma.f32 #s(literal -1 binary32) %1373 %1231)
(fma.f32 %11 %96 %1595)
(fma.f32 #s(literal 1 binary32) %1522 %1231)
(pow.f32 %1568 #s(literal 1 binary32))
(+.f32 %1571 #s(literal 6931/10000 binary32))
(+.f32 %1584 %600)
(+.f32 %1522 %1231)
(+.f32 %1231 %1522)
(+.f32 #s(literal 6931/10000 binary32) %1608)
(+.f32 #s(literal 6931/10000 binary32) %1610)
(+.f32 %600 %1584)
(+.f32 %361 %1595)
(neg.f32 %1577)
(*.f32 %1617 %1617)
(*.f32 %1619 %1620)
(*.f32 %1620 (exp.f32 %1608))
(*.f32 %1620 (exp.f32 %1610))
(*.f32 %1626 %1627)
(*.f32 %1627 %1626)
(*.f32 %1630 (exp.f32 %1595))
(*.f32 %1615 %454)
(*.f32 %454 %1615)
(/.f32 (fma.f32 #s(literal 2 binary32) %1635 %1637) #s(literal 2 binary32))
(/.f32 (fma.f32 #s(literal 2 binary32) %1636 %1640) #s(literal 2 binary32))
(/.f32 (fma.f32 %1640 #s(literal 2 binary32) (*.f32 #s(literal 2 binary32) %1637)) #s(literal 4 binary32))
(/.f32 (fma.f32 %1637 #s(literal 2 binary32) (*.f32 #s(literal 2 binary32) %1640)) #s(literal 4 binary32))
(/.f32 (*.f32 %1627 #s(literal -1/2 binary32)) (*.f32 %1650 %27))
(/.f32 (*.f32 %1627 #s(literal 1/2 binary32)) (*.f32 %1650 v))
(/.f32 (*.f32 %1627 #s(literal -1 binary32)) (*.f32 %1650 %459))
(/.f32 (*.f32 %1627 %11) (*.f32 %1650 #s(literal 2 binary32)))
(/.f32 %1662 (*.f32 %1650 %1389))
(/.f32 %1662 (*.f32 %1650 %467))
(/.f32 (*.f32 %1630 #s(literal -1/2 binary32)) (*.f32 %1668 %27))
(/.f32 (*.f32 %1630 #s(literal 1/2 binary32)) (*.f32 %1668 v))
(/.f32 (*.f32 %1630 #s(literal -1 binary32)) (*.f32 %1668 %459))
(/.f32 (*.f32 %1630 %11) (*.f32 %1668 #s(literal 2 binary32)))
(/.f32 %1680 (*.f32 %1668 %1389))
(/.f32 %1680 (*.f32 %1668 %467))
(/.f32 (*.f32 #s(literal -1/2 binary32) %1627) (*.f32 %27 %1650))
(/.f32 (*.f32 #s(literal -1/2 binary32) %1630) (*.f32 %27 %1668))
(/.f32 (*.f32 #s(literal 1/2 binary32) %1627) (*.f32 v %1650))
(/.f32 (*.f32 #s(literal 1/2 binary32) %1630) (*.f32 v %1668))
(/.f32 (*.f32 #s(literal -1 binary32) %1627) (*.f32 %459 %1650))
(/.f32 (*.f32 #s(literal -1 binary32) %1630) (*.f32 %459 %1668))
(/.f32 (*.f32 %11 %1627) (*.f32 #s(literal 2 binary32) %1650))
(/.f32 (*.f32 %11 %1630) (*.f32 #s(literal 2 binary32) %1668))
(/.f32 %1709 (*.f32 %1389 %1650))
(/.f32 %1709 (*.f32 %467 %1650))
(/.f32 %1714 (*.f32 %1389 %1668))
(/.f32 %1714 (*.f32 %467 %1668))
(/.f32 (neg.f32 %1615) %459)
(/.f32 %1619 %1650)
(/.f32 (exp.f32 %1573) %1668)
(/.f32 (exp.f32 %1575) %467)
(/.f32 (exp.f32 %40) (exp.f32 %1593))
(/.f32 %1627 (exp.f32 %1582))
(/.f32 %1627 (exp.f32 %1567))
(/.f32 %1627 (exp.f32 %1585))
(/.f32 %1630 (exp.f32 %1587))
(/.f32 %1630 (exp.f32 %1589))
(/.f32 %1630 (exp.f32 %1591))
%1616
(/.f32 %454 (exp.f32 %1579))
(/.f32 #s(literal 1 binary32) (exp.f32 %1577))
(/.f32 #s(literal 1 binary32) (pow.f32 %1616 #s(literal -1 binary32)))
(sqrt.f32 %1748)
(-.f32 %1636 (sinh.f32 %1577))
(-.f32 %1636 %1752)
(pow.f32 %1748 #s(literal 1/2 binary32))
(pow.f32 %1616 #s(literal 1 binary32))
(+.f32 (/.f32 (cosh.f32 %1231) %467) (/.f32 (sinh.f32 %1231) %467))
(+.f32 (cosh.f32 %1761) (sinh.f32 %1761))
(+.f32 %1635 %1636)
(+.f32 %1636 %1635)
(fabs.f32 (-.f32 %1752 %1636))
(fabs.f32 (neg.f32 %1769))
(fabs.f32 %1769)
(fabs.f32 %1616)
(exp.f32 (*.f32 %1761 #s(literal 1 binary32)))
(exp.f32 %1761)
(exp.f32 %1568)

%6 = (/.f32 #s(literal 1 binary32) v)
%9 = (*.f32 #s(literal 2 binary32) v)
%10 = (/.f32 #s(literal 1 binary32) %9)
%11 = (log.f32 %10)
%12 = (*.f32 cosTheta_O cosTheta_i)
%13 = (/.f32 %12 v)
%15 = (*.f32 sinTheta_O sinTheta_i)
%17 = (/.f32 #s(literal 1/2 binary32) v)
%18 = (log.f32 %17)
%19 = (+.f32 %18 %13)
%20 = (+.f32 #s(literal 6931/10000 binary32) %19)
%21 = (-.f32 %20 %6)
%31 = (+ (- (- (/ (* cosTheta_i cosTheta_O) v) (/ (* sinTheta_i sinTheta_O) v)) (/ 1 v)) 6931/10000)
%36 = (+ %31 (log (/ 1 (* 2 v))))
%37 = (approx %36 %21)
%38 = (+.f32 #s(literal 1 binary32) %15)
%39 = (log.f32 #s(literal 1/2 binary32))
%40 = (log.f32 v)
%41 = (*.f32 #s(literal -1 binary32) %40)
%42 = (+.f32 %39 %41)
%43 = (+.f32 #s(literal 6931/10000 binary32) %42)
%44 = (*.f32 v %43)
%45 = (fma.f32 cosTheta_O cosTheta_i %44)
%46 = (-.f32 %45 %38)
%47 = (/.f32 %46 v)
%48 = (approx %36 %47)
%49 = (approx %31 #s(literal 6931/10000 binary32))
%50 = (log.f32 %6)
%51 = (+.f32 %39 %50)
%52 = (+.f32 #s(literal 6931/10000 binary32) %51)
%53 = (approx %36 %52)
%54 = (+.f32 v v)
%55 = (fma.f32 sinTheta_O sinTheta_i #s(literal 1 binary32))
%56 = (-.f32 %12 %55)
%57 = (/.f32 %56 v)
%59 = (-.f32 %57 #s(literal -6931/10000 binary32))
%60 = (log.f32 %54)
%61 = (neg.f32 %60)
%62 = (-.f32 #s(literal -6931/10000 binary32) %61)
%63 = (-.f32 %57 %62)
%64 = (exp.f32 %59)
%65 = (exp.f32 %57)
%67 = (exp.f32 %62)
%69 = (+.f32 %49 %11)
cosTheta_i
cosTheta_O
v
sinTheta_i
sinTheta_O
#s(literal 1 binary32)
%6
#s(literal 6931/10000 binary32)
#s(literal 2 binary32)
%9
%10
%11
%12
%13
#s(literal -1 binary32)
%15
#s(literal 1/2 binary32)
%17
%18
%19
%20
%21
%37
%38
%39
%40
%41
%42
%43
%44
%45
%46
%47
%48
%49
%50
%51
%52
%53
%54
%55
%56
%57
#s(literal -6931/10000 binary32)
%59
%60
%61
%62
%63
%64
%65
(*.f32 %64 %17)
%67
(/.f32 %65 %67)
%69
(exp.f32 %69)
(exp.f32 %63)
(exp.f32 %37)
(exp.f32 %48)
(exp.f32 %53)

%7 = (/.f32 #s(literal -1 binary32) v)
%11 = (/.f32 #s(literal 1/2 binary32) v)
%13 = (/.f32 #s(literal 1 binary32) v)
%16 = (neg.f32 v)
%20 = (neg.f32 %16)
%24 = (log.f32 v)
%31 = (neg.f32 %24)
%38 = (*.f32 #s(literal 2 binary32) v)
%39 = (*.f32 v #s(literal 2 binary32))
%40 = (/.f32 #s(literal 1 binary32) %11)
%41 = (-.f32 v %16)
%42 = (*.f32 #s(literal 1 binary32) v)
%43 = (fma.f32 #s(literal 1 binary32) v %42)
%44 = (*.f32 v #s(literal 1 binary32))
%45 = (fma.f32 v #s(literal 1 binary32) %44)
%46 = (pow.f32 %11 #s(literal -1 binary32))
%47 = (+.f32 v v)
%48 = (pow.f32 %47 #s(literal 1 binary32))
%49 = (+.f32 %42 %42)
%50 = (+.f32 %44 %44)
%51 = (+.f32 v %20)
%53 = (*.f32 #s(literal -2 binary32) v)
%54 = (neg.f32 %53)
%55 = (/.f32 #s(literal 2 binary32) v)
%57 = (*.f32 %55 #s(literal 1/4 binary32))
%58 = (log.f32 #s(literal 1/2 binary32))
%59 = (exp.f32 %58)
%60 = (*.f32 %59 %13)
%62 = (*.f32 #s(literal -1/2 binary32) %7)
%63 = (*.f32 %11 #s(literal 1 binary32))
%64 = (*.f32 #s(literal 1/2 binary32) %13)
%65 = (/.f32 #s(literal 1 binary32) %53)
%66 = (*.f32 #s(literal -1 binary32) %65)
%67 = (*.f32 #s(literal 1/2 binary32) %11)
%68 = (*.f32 #s(literal 2 binary32) %67)
%69 = (/.f32 #s(literal 1/2 binary32) %47)
%70 = (*.f32 #s(literal 2 binary32) %69)
%71 = (*.f32 %13 %59)
%72 = (*.f32 %13 #s(literal 1/2 binary32))
%73 = (*.f32 #s(literal 1 binary32) %11)
%74 = (/.f32 %59 v)
%75 = (/.f32 #s(literal -1/2 binary32) %16)
%76 = (/.f32 #s(literal 1/2 binary32) %20)
%77 = (/.f32 #s(literal -1 binary32) %53)
%78 = (/.f32 %13 #s(literal 2 binary32))
%80 = (/.f32 #s(literal 1 binary32) (/.f32 %16 #s(literal -1/2 binary32)))
%82 = (/.f32 #s(literal 1 binary32) (/.f32 %53 #s(literal -1 binary32)))
%83 = (log.f32 %47)
%84 = (exp.f32 %83)
%85 = (/.f32 #s(literal 1 binary32) %84)
%86 = (/.f32 v #s(literal 1/2 binary32))
%87 = (/.f32 #s(literal 1 binary32) %86)
%89 = (/.f32 #s(literal 1 binary32) (/.f32 %47 #s(literal 1 binary32)))
%90 = (/.f32 #s(literal 1 binary32) %47)
%91 = (cosh.f32 %83)
%92 = (sinh.f32 %83)
%93 = (-.f32 %91 %92)
%94 = (pow.f32 %84 #s(literal -1 binary32))
%95 = (pow.f32 %11 #s(literal 1 binary32))
%96 = (pow.f32 %47 #s(literal -1 binary32))
%98 = (+.f32 %91 (neg.f32 %92))
%99 = (fabs.f32 %11)
%100 = (neg.f32 %83)
%102 = (exp.f32 (*.f32 %100 #s(literal 1 binary32)))
%103 = (exp.f32 %100)
%105 = (neg.f32 (*.f32 #s(literal -1 binary32) %11))
%107 = (neg.f32 (/.f32 #s(literal 1/2 binary32) %16))
%109 = (neg.f32 (/.f32 #s(literal -1/2 binary32) v))
%111 = (neg.f32 (/.f32 #s(literal -1 binary32) %47))
%112 = (neg.f32 %65)
%113 = (fabs.f32 %47)
%114 = (/.f32 #s(literal 1 binary32) %113)
%116 = (log.f32 (*.f32 #s(literal 1 binary32) %114))
%117 = (fabs.f32 v)
%118 = (/.f32 #s(literal 1/2 binary32) %117)
%120 = (log.f32 (*.f32 #s(literal 1 binary32) %118))
%121 = (/.f32 #s(literal 1 binary32) %117)
%123 = (log.f32 (*.f32 %121 #s(literal 1/2 binary32)))
%124 = (fabs.f32 %13)
%126 = (log.f32 (*.f32 #s(literal 1/2 binary32) %124))
%128 = (log.f32 (*.f32 #s(literal 1/2 binary32) %121))
%129 = (log.f32 %114)
%130 = (log.f32 %118)
%131 = (log.f32 %11)
%132 = (*.f32 #s(literal -1 binary32) %83)
%133 = (*.f32 #s(literal 1 binary32) %100)
%135 = (/.f32 #s(literal 1 binary32) (pow.f32 %100 #s(literal -1 binary32)))
%137 = (log.f32 (fabs.f32 %59))
%138 = (-.f32 %137 %24)
%139 = (log.f32 %124)
%140 = (log.f32 #s(literal 2 binary32))
%141 = (-.f32 %139 %140)
%145 = (-.f32 #s(literal 0 binary32) (log.f32 (fabs.f32 %84)))
%147 = (log.f32 (fabs.f32 %113))
%148 = (-.f32 #s(literal 0 binary32) %147)
%149 = (-.f32 #s(literal 0 binary32) %83)
%150 = (-.f32 %31 %140)
%152 = (log.f32 (fabs.f32 %117))
%153 = (-.f32 %58 %152)
%155 = (log.f32 (fabs.f32 %20))
%156 = (-.f32 %58 %155)
%157 = (-.f32 %58 %24)
%158 = (fma.f32 %24 #s(literal -1 binary32) %58)
%160 = (log.f32 (fabs.f32 %7))
%161 = (fma.f32 #s(literal -1 binary32) %140 %160)
%162 = (fma.f32 #s(literal -1 binary32) %140 %139)
%163 = (fma.f32 #s(literal -1 binary32) %140 %31)
%164 = (fma.f32 #s(literal -1 binary32) %83 #s(literal 0 binary32))
%165 = (fma.f32 #s(literal -1 binary32) %24 %58)
%166 = (fma.f32 #s(literal 1 binary32) %139 %58)
%168 = (log.f32 (fabs.f32 %67))
%169 = (fma.f32 #s(literal 1 binary32) %140 %168)
%171 = (log.f32 (fabs.f32 %69))
%172 = (fma.f32 #s(literal 1 binary32) %140 %171)
%173 = (fma.f32 #s(literal 1 binary32) %58 %160)
%174 = (fma.f32 #s(literal 1 binary32) %58 %139)
%175 = (fma.f32 #s(literal 1 binary32) %58 %31)
%176 = (fma.f32 #s(literal 1 binary32) %100 #s(literal 0 binary32))
%177 = (pow.f32 %100 #s(literal 1 binary32))
%180 = (log.f32 #s(literal 1/4 binary32))
%181 = (+.f32 (log.f32 (fabs.f32 %55)) %180)
%182 = (+.f32 %137 %139)
%183 = (+.f32 %139 %137)
%184 = (+.f32 %139 %58)
%185 = (+.f32 %140 %168)
%186 = (+.f32 %140 %171)
%189 = (+.f32 #s(literal 0 binary32) (log.f32 (fabs.f32 %65)))
%190 = (+.f32 #s(literal 0 binary32) %100)
%191 = (+.f32 %31 %58)
%192 = (+.f32 %58 %160)
%193 = (+.f32 %58 %139)
%194 = (+.f32 %58 %31)
%195 = (+.f32 %100 #s(literal 0 binary32))
%197 = (neg.f32 (log.f32 %84))
%198 = (*.f32 cosTheta_O cosTheta_i)
%203 = (/.f32 cosTheta_O v)
%205 = (/.f32 cosTheta_i v)
%207 = (*.f32 %198 #s(literal 1 binary32))
%209 = (neg.f32 %198)
%221 = (/.f32 %198 v)
%229 = (/.f32 %209 v)
%231 = (*.f32 sinTheta_O sinTheta_i)
%236 = (fma.f32 %100 v %198)
%245 = (-.f32 %221 %83)
%250 = (fma.f32 %203 cosTheta_i %58)
%252 = (-.f32 %83 %221)
%255 = (fma.f32 (neg.f32 cosTheta_O) %205 %83)
%266 = (+.f32 %58 %221)
%268 = (-.f32 %58 %229)
%270 = (+.f32 %31 %221)
%272 = (-.f32 %31 %229)
%290 = (*.f32 %100 v)
%300 = (-.f32 #s(literal 6931/10000 binary32) %83)
%301 = (fma.f32 %300 v %198)
%304 = (+.f32 %83 #s(literal -6931/10000 binary32))
%312 = (fma.f32 %203 cosTheta_i %300)
%317 = (*.f32 %304 v)
%324 = (*.f32 %300 v)
%325 = (/.f32 %324 v)
%334 = (fma.f32 %203 cosTheta_i #s(literal 6931/10000 binary32))
%336 = (+.f32 #s(literal 6931/10000 binary32) %221)
%351 = (+.f32 %58 #s(literal 6931/10000 binary32))
%362 = (fma.f32 %312 v #s(literal -1 binary32))
%373 = (+.f32 %300 (fma.f32 %203 cosTheta_i %7))
%376 = (*.f32 %312 v)
%385 = (/.f32 (-.f32 %236 #s(literal 1 binary32)) v)
%388 = (+.f32 #s(literal 6931/10000 binary32) %7)
%390 = (-.f32 #s(literal 6931/10000 binary32) %13)
%413 = (- (/ (- (* cosTheta_O cosTheta_i) (- (* sinTheta_O sinTheta_i) -1)) v) -6931/10000)
%417 = (- %413 (log (/ v 1/2)))
%418 = (approx %417 %373)
%422 = (fma.f32 sinTheta_O sinTheta_i #s(literal 1 binary32))
%424 = (/.f32 #s(literal 1 binary32) (pow.f32 %422 #s(literal -1 binary32)))
%425 = (-.f32 %231 #s(literal -1 binary32))
%426 = (neg.f32 %231)
%427 = (-.f32 #s(literal 1 binary32) %426)
%428 = (fma.f32 sinTheta_i sinTheta_O #s(literal 1 binary32))
%429 = (pow.f32 %422 #s(literal 1 binary32))
%430 = (+.f32 %231 #s(literal 1 binary32))
%434 = (+.f32 #s(literal 1 binary32) (*.f32 (neg.f32 (neg.f32 sinTheta_O)) sinTheta_i))
%436 = (+.f32 #s(literal 1 binary32) (neg.f32 %426))
%437 = (+.f32 #s(literal 1 binary32) %231)
%438 = (-.f32 #s(literal -1 binary32) %231)
%439 = (neg.f32 %438)
%459 = (*.f32 #s(literal 1/2 binary32) %24)
%470 = (log.f32 (*.f32 #s(literal 1 binary32) %124))
%472 = (log.f32 (*.f32 #s(literal 1 binary32) %121))
%473 = (log.f32 %121)
%474 = (log.f32 %13)
%475 = (*.f32 %24 #s(literal -1 binary32))
%476 = (*.f32 #s(literal -1 binary32) %24)
%477 = (*.f32 #s(literal 1 binary32) %139)
%479 = (/.f32 #s(literal 1 binary32) (pow.f32 %31 #s(literal -1 binary32)))
%480 = (-.f32 #s(literal 0 binary32) %152)
%481 = (-.f32 #s(literal 0 binary32) %155)
%482 = (-.f32 #s(literal 0 binary32) %24)
%483 = (fma.f32 #s(literal 1 binary32) %140 %100)
%484 = (pow.f32 %31 #s(literal 1 binary32))
%485 = (+.f32 %139 #s(literal 0 binary32))
%486 = (+.f32 %140 %100)
%487 = (+.f32 #s(literal 0 binary32) %160)
%488 = (+.f32 #s(literal 0 binary32) %139)
%489 = (+.f32 #s(literal 0 binary32) %31)
%491 = (neg.f32 (log.f32 %20))
%493 = (/.f32 #s(literal 1 binary32) (pow.f32 %300 #s(literal -1 binary32)))
%495 = (-.f32 (+.f32 %351 #s(literal 0 binary32)) %24)
%496 = (-.f32 %351 %24)
%497 = (-.f32 %83 #s(literal 6931/10000 binary32))
%498 = (-.f32 #s(literal 0 binary32) %497)
%499 = (-.f32 #s(literal 0 binary32) %304)
%501 = (-.f32 %58 (-.f32 %24 #s(literal 6931/10000 binary32)))
%503 = (-.f32 %58 (+.f32 %24 #s(literal -6931/10000 binary32)))
%504 = (-.f32 %100 #s(literal -6931/10000 binary32))
%505 = (-.f32 %58 #s(literal -6931/10000 binary32))
%506 = (fma.f32 %24 #s(literal -1 binary32) %505)
%507 = (fma.f32 %24 #s(literal -1 binary32) %351)
%508 = (+.f32 %31 #s(literal 6931/10000 binary32))
%509 = (fma.f32 #s(literal -1 binary32) %140 %508)
%510 = (-.f32 %31 #s(literal -6931/10000 binary32))
%511 = (fma.f32 #s(literal -1 binary32) %140 %510)
%512 = (fma.f32 #s(literal -1 binary32) %83 #s(literal 6931/10000 binary32))
%513 = (fma.f32 #s(literal -1 binary32) %24 %505)
%514 = (fma.f32 #s(literal -1 binary32) %24 %351)
%515 = (fma.f32 #s(literal 1 binary32) %139 %505)
%516 = (fma.f32 #s(literal 1 binary32) %139 %351)
%517 = (fma.f32 #s(literal 1 binary32) %58 %508)
%518 = (fma.f32 #s(literal 1 binary32) %58 %510)
%519 = (fma.f32 #s(literal 1 binary32) %100 #s(literal 6931/10000 binary32))
%520 = (pow.f32 %300 #s(literal 1 binary32))
%522 = (+.f32 (+.f32 #s(literal 6931/10000 binary32) %31) %58)
%523 = (+.f32 %351 %31)
%524 = (+.f32 %31 %505)
%525 = (+.f32 %31 %351)
%526 = (+.f32 %58 %508)
%527 = (+.f32 %58 %510)
%528 = (+.f32 %100 #s(literal 6931/10000 binary32))
%529 = (+.f32 #s(literal 6931/10000 binary32) %100)
%530 = (neg.f32 %497)
%531 = (neg.f32 %304)
%535 = (*.f32 #s(literal 6931/10000 binary32) v)
%542 = (*.f32 %31 v)
%546 = (*.f32 v %31)
%564 = (*.f32 %20 %300)
%566 = (neg.f32 %317)
%582 = (-.f32 %198 %422)
%583 = (fma.f32 %300 v %582)
%586 = (-.f32 %301 %231)
%588 = (-.f32 %198 #s(literal 1 binary32))
%589 = (fma.f32 %300 v %588)
%596 = (fma.f32 %300 v %438)
%610 = (-.f32 %422 %301)
%612 = (*.f32 %583 #s(literal 1 binary32))
%623 = (*.f32 v %422)
%625 = (*.f32 v v)
%629 = (/.f32 %583 v)
%639 = (/.f32 %422 v)
%641 = (/.f32 %596 v)
%646 = (neg.f32 %639)
%648 = (/.f32 %438 v)
%666 = (approx %417 %629)
%670 = (approx %413 #s(literal 6931/10000 binary32))
%674 = (approx %417 %300)
%681 = (-.f32 %198 %231)
%690 = (-.f32 %422 %198)
%692 = (*.f32 %582 #s(literal 1 binary32))
%694 = (/.f32 %681 v)
%695 = (fma.f32 %694 v #s(literal -1 binary32))
%708 = (-.f32 %207 %231)
%716 = (*.f32 %198 v)
%720 = (*.f32 v #s(literal -1 binary32))
%722 = (*.f32 v %16)
%734 = (-.f32 %716 (*.f32 %231 v))
%750 = (/.f32 %582 v)
%766 = (/.f32 sinTheta_O v)
%767 = (fma.f32 (neg.f32 sinTheta_i) %766 %7)
%769 = (/.f32 %426 v)
%770 = (-.f32 %769 %13)
%783 = (/.f32 #s(literal 1 binary32) %625)
%817 = (+.f32 (/.f32 (-.f32 %231 %198) v) %13)
%819 = (/.f32 %582 %16)
%821 = (*.f32 %690 %13)
%823 = (-.f32 %639 %221)
%825 = (/.f32 %690 v)
%829 = (-.f32 %750 #s(literal -6931/10000 binary32))
%832 = (+.f32 #s(literal 6931/10000 binary32) %694)
%835 = (-.f32 %13 #s(literal 6931/10000 binary32))
%845 = (+.f32 %7 #s(literal 6931/10000 binary32))
%847 = (-.f32 %7 #s(literal -6931/10000 binary32))
%849 = (neg.f32 %835)
%851 = (-.f32 %769 %835)
%881 = (+.f32 %825 #s(literal -6931/10000 binary32))
%883 = (-.f32 %835 %694)
%885 = (-.f32 #s(literal -6931/10000 binary32) %750)
%920 = (-.f32 #s(literal -6931/10000 binary32) %58)
%929 = (-.f32 %750 %304)
%936 = (+.f32 %829 %58)
%938 = (+.f32 %100 %750)
%940 = (-.f32 %83 %829)
%957 = (+.f32 %7 %300)
%964 = (+.f32 %58 %829)
%966 = (+.f32 %31 %829)
%980 = (+.f32 %750 %100)
%994 = (+.f32 %885 %83)
%997 = (-.f32 %304 %750)
%999 = (exp.f32 %750)
%1000 = (exp.f32 #s(literal -6931/10000 binary32))
%1005 = (neg.f32 %999)
%1006 = (neg.f32 %1000)
%1011 = (exp.f32 %829)
%1014 = (exp.f32 %885)
%1016 = (pow.f32 %1011 #s(literal 2 binary32))
%1018 = (cosh.f32 %829)
%1028 = (*.f32 %829 #s(literal 1 binary32))
%1032 = (cosh.f32 %750)
%1034 = (sinh.f32 %750)
%1037 = (sinh.f32 %829)
%1049 = (exp.f32 %582)
%1054 = (pow.f32 %999 #s(literal 2 binary32))
%1069 = (*.f32 %750 #s(literal 1 binary32))
%1080 = (*.f32 %1011 #s(literal 1 binary32))
%1081 = (*.f32 %1080 %11)
%1082 = (*.f32 %1011 #s(literal 1/2 binary32))
%1083 = (*.f32 %1082 %13)
%1084 = (/.f32 %11 %1000)
%1085 = (*.f32 %1084 %999)
%1086 = (*.f32 %1000 %47)
%1087 = (neg.f32 %1086)
%1089 = (*.f32 %1005 (/.f32 #s(literal 1 binary32) %1087))
%1090 = (*.f32 %999 %1084)
%1091 = (*.f32 %1011 %11)
%1092 = (*.f32 %11 %1011)
%1094 = (*.f32 #s(literal 1/2 binary32) (*.f32 %13 %1011))
%1095 = (/.f32 %1011 %47)
%1096 = (*.f32 #s(literal 1 binary32) %1095)
%1098 = (/.f32 (*.f32 %1011 #s(literal -1/2 binary32)) %16)
%1100 = (/.f32 (*.f32 %1011 #s(literal -1 binary32)) %53)
%1101 = (/.f32 %1080 %47)
%1103 = (/.f32 (*.f32 %11 %999) %1000)
%1105 = (/.f32 (*.f32 %999 %11) %1000)
%1107 = (/.f32 (*.f32 #s(literal -1/2 binary32) %1011) %16)
%1109 = (/.f32 (*.f32 #s(literal -1 binary32) %1011) %53)
%1111 = (/.f32 (*.f32 #s(literal 1 binary32) %1011) %47)
%1114 = (/.f32 (*.f32 %999 #s(literal -1/2 binary32)) (*.f32 %1000 %16))
%1117 = (/.f32 (*.f32 %999 #s(literal 1/2 binary32)) (*.f32 %1000 v))
%1120 = (/.f32 (*.f32 %999 #s(literal -1 binary32)) (*.f32 %1000 %53))
%1122 = (/.f32 (*.f32 %999 #s(literal 1 binary32)) %1086)
%1125 = (/.f32 (*.f32 #s(literal -1/2 binary32) %999) (*.f32 %16 %1000))
%1128 = (/.f32 (*.f32 #s(literal 1/2 binary32) %999) (*.f32 v %1000))
%1131 = (/.f32 (*.f32 #s(literal -1 binary32) %999) (*.f32 %53 %1000))
%1134 = (/.f32 (*.f32 #s(literal 1 binary32) %999) (*.f32 %47 %1000))
%1137 = (/.f32 (neg.f32 %1005) (neg.f32 %1087))
%1139 = (/.f32 (neg.f32 %1082) %16)
%1140 = (/.f32 %1082 v)
%1141 = (/.f32 %1005 %1087)
%1142 = (/.f32 %999 %1086)
%1144 = (/.f32 #s(literal 1 binary32) (/.f32 %1087 %1005))
%1146 = (/.f32 #s(literal 1 binary32) (/.f32 v %1082))
%1148 = (/.f32 #s(literal 1 binary32) (pow.f32 %1095 #s(literal -1 binary32)))
%1149 = (exp.f32 %997)
%1150 = (/.f32 #s(literal 1 binary32) %1149)
%1152 = (/.f32 #s(literal 1 binary32) (/.f32 %1086 %999))
%1153 = (pow.f32 %1095 #s(literal 2 binary32))
%1154 = (sqrt.f32 %1153)
%1155 = (cosh.f32 %994)
%1157 = (-.f32 %1155 (sinh.f32 %994))
%1159 = (-.f32 %1155 (sinh.f32 %940))
%1161 = (-.f32 %1155 (sinh.f32 %997))
%1162 = (*.f32 %1037 %11)
%1163 = (fma.f32 %1018 %11 %1162)
%1164 = (*.f32 %11 %1037)
%1165 = (fma.f32 %11 %1018 %1164)
%1166 = (pow.f32 %1153 #s(literal 1/2 binary32))
%1167 = (pow.f32 %1149 #s(literal -1 binary32))
%1168 = (pow.f32 %1095 #s(literal 1 binary32))
%1169 = (*.f32 %929 #s(literal 1 binary32))
%1172 = (+.f32 (cosh.f32 %1169) (sinh.f32 %1169))
%1174 = (+.f32 (*.f32 %11 %1018) %1164)
%1176 = (+.f32 (*.f32 %1018 %11) %1162)
%1179 = (+.f32 (/.f32 %1032 %1086) (/.f32 %1034 %1086))
%1180 = (sinh.f32 %929)
%1181 = (+.f32 %1180 %1155)
%1182 = (+.f32 %1155 %1180)
%1184 = (fabs.f32 (neg.f32 %1095))
%1185 = (fabs.f32 %1095)
%1187 = (exp.f32 (*.f32 %1169 #s(literal 1 binary32)))
%1188 = (exp.f32 %1169)
%1189 = (exp.f32 %929)
%1191 = (neg.f32 (/.f32 %999 %1087))
%1193 = (neg.f32 (/.f32 %1005 %1086))
%1199 = (pow.f32 %1086 #s(literal 2 binary32))
%1201 = (cosh.f32 %497)
%1207 = (*.f32 %304 #s(literal 1 binary32))
%1211 = (sinh.f32 %304)
%1220 = (-.f32 %670 %83)
%1225 = (+.f32 %670 %58)
%1227 = (-.f32 %83 %670)
%1233 = (+.f32 %58 %670)
%1235 = (+.f32 %31 %670)
%1251 = (exp.f32 %670)
%1252 = (*.f32 %1251 %11)
%1257 = (pow.f32 %1252 #s(literal 2 binary32))
%1259 = (cosh.f32 %1227)
%1262 = (sinh.f32 %1220)
%1267 = (*.f32 %1220 #s(literal 1 binary32))
%1280 = (exp.f32 %418)
%1283 = (pow.f32 %1280 #s(literal 2 binary32))
%1285 = (cosh.f32 %418)
%1286 = (sinh.f32 %418)
%1291 = (*.f32 %418 #s(literal 1 binary32))
%1303 = (exp.f32 %666)
%1306 = (pow.f32 %1303 #s(literal 2 binary32))
%1308 = (cosh.f32 %666)
%1309 = (sinh.f32 %666)
%1314 = (*.f32 %666 #s(literal 1 binary32))
%1326 = (exp.f32 %674)
%1329 = (pow.f32 %1326 #s(literal 2 binary32))
%1331 = (cosh.f32 %674)
%1332 = (sinh.f32 %674)
%1337 = (*.f32 %674 #s(literal 1 binary32))
cosTheta_i
cosTheta_O
v
sinTheta_i
sinTheta_O
#s(literal 1 binary32)
(*.f32 #s(literal -1 binary32) %7)
(*.f32 #s(literal 2 binary32) %11)
(*.f32 %13 #s(literal 1 binary32))
(*.f32 #s(literal 1 binary32) %13)
(/.f32 #s(literal -1 binary32) %16)
(/.f32 #s(literal 1 binary32) (/.f32 %16 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) %20)
(/.f32 #s(literal 1 binary32) (/.f32 v #s(literal 1 binary32)))
%13
(-.f32 (cosh.f32 %24) (sinh.f32 %24))
(pow.f32 %20 #s(literal -1 binary32))
(pow.f32 %13 #s(literal 1 binary32))
(pow.f32 v #s(literal -1 binary32))
(+.f32 (cosh.f32 %31) (sinh.f32 %31))
(exp.f32 %31)
(neg.f32 %7)
#s(literal 6931/10000 binary32)
#s(literal 2 binary32)
%38
%39
%40
%41
%43
%45
%46
%48
%49
%50
%51
%47
%54
%57
%60
%62
%63
%64
%66
%68
%70
%71
%72
%73
%74
%75
%76
%11
%77
%78
%80
%82
%85
%87
%89
%90
%93
%94
%95
%96
%98
%99
%102
%103
%105
%107
%109
%111
%112
%116
%120
%123
%126
%128
%129
%130
%131
%132
%133
%135
%138
%141
%145
%148
%149
%150
%153
%156
%157
%158
%161
%162
%163
%164
%165
%166
%169
%172
%173
%174
%175
%176
%177
%181
%182
%183
%184
%185
%186
%189
%190
%191
%192
%193
%194
%195
%197
%100
%198
(*.f32 cosTheta_i cosTheta_O)
(/.f32 #s(literal 1 binary32) (pow.f32 %198 #s(literal -1 binary32)))
(pow.f32 %198 #s(literal 1 binary32))
(*.f32 %203 cosTheta_i)
(*.f32 %205 cosTheta_O)
(*.f32 %207 %13)
(*.f32 %209 %7)
(*.f32 %198 %13)
(*.f32 %13 %198)
(*.f32 cosTheta_O %205)
(*.f32 cosTheta_i %203)
(/.f32 (*.f32 %198 #s(literal -1 binary32)) %16)
(/.f32 (neg.f32 %209) %20)
(/.f32 %207 v)
(/.f32 %209 %16)
%221
(/.f32 #s(literal 1 binary32) (/.f32 %16 %209))
(/.f32 #s(literal 1 binary32) (pow.f32 %221 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 v %198))
(pow.f32 %221 #s(literal 1 binary32))
(neg.f32 %229)
#s(literal -1 binary32)
%231
(*.f32 sinTheta_i sinTheta_O)
(/.f32 #s(literal 1 binary32) (pow.f32 %231 #s(literal -1 binary32)))
(pow.f32 %231 #s(literal 1 binary32))
#s(literal 1/2 binary32)
%57
%60
%62
%63
%64
%66
%68
%70
%71
%72
%73
%74
%75
%76
%11
%77
%78
%80
%82
%85
%87
%89
%90
%93
%94
%95
%96
%98
%99
%102
%103
%105
%107
%109
%111
%112
%116
%120
%123
%126
%128
%129
%130
%131
%132
%133
%135
%138
%141
%145
%148
%149
%150
%153
%156
%157
%158
%161
%162
%163
%164
%165
%166
%169
%172
%173
%174
%175
%176
%177
%181
%182
%183
%184
%185
%186
%189
%190
%191
%192
%193
%194
%195
%197
%100
(*.f32 %236 %13)
(/.f32 (fma.f32 %100 %16 %209) %16)
(/.f32 (neg.f32 %236) %16)
(/.f32 %236 v)
(/.f32 #s(literal 1 binary32) (/.f32 v %236))
(/.f32 #s(literal 1 binary32) (pow.f32 %245 #s(literal -1 binary32)))
(-.f32 (fma.f32 %203 cosTheta_i #s(literal 0 binary32)) %83)
(-.f32 %250 %24)
(-.f32 #s(literal 0 binary32) %252)
(-.f32 #s(literal 0 binary32) %255)
(-.f32 %58 (-.f32 %24 %221))
(-.f32 %58 (+.f32 %24 %229))
%245
(-.f32 %100 %229)
(fma.f32 %203 cosTheta_i %100)
(fma.f32 %205 cosTheta_O %100)
(fma.f32 %207 %13 %100)
(fma.f32 %209 %7 %100)
(fma.f32 %24 #s(literal -1 binary32) %266)
(fma.f32 %24 #s(literal -1 binary32) %268)
(fma.f32 #s(literal -1 binary32) %140 %270)
(fma.f32 #s(literal -1 binary32) %140 %272)
(fma.f32 #s(literal -1 binary32) %83 %221)
(fma.f32 #s(literal -1 binary32) %24 %266)
(fma.f32 #s(literal -1 binary32) %24 %268)
(fma.f32 %198 %13 %100)
(fma.f32 %13 %198 %100)
(fma.f32 #s(literal 1 binary32) %139 %266)
(fma.f32 #s(literal 1 binary32) %139 %268)
(fma.f32 #s(literal 1 binary32) %58 %270)
(fma.f32 #s(literal 1 binary32) %58 %272)
(fma.f32 #s(literal 1 binary32) %100 %221)
(fma.f32 cosTheta_O %205 %100)
(fma.f32 cosTheta_i %203 %100)
(pow.f32 %245 #s(literal 1 binary32))
(+.f32 (fma.f32 %203 cosTheta_i %31) %58)
(+.f32 %250 %31)
(+.f32 (/.f32 %290 v) %221)
(+.f32 %31 %266)
(+.f32 %31 %268)
(+.f32 %58 %270)
(+.f32 %58 %272)
(+.f32 %221 %100)
(+.f32 %100 %221)
(neg.f32 %255)
(*.f32 %301 %13)
(/.f32 (fma.f32 %304 v %209) %16)
(/.f32 (neg.f32 %301) %16)
(/.f32 %301 v)
(/.f32 #s(literal 1 binary32) (/.f32 v %301))
(/.f32 #s(literal 1 binary32) (pow.f32 %312 #s(literal -1 binary32)))
(-.f32 %300 %229)
(-.f32 %245 #s(literal -6931/10000 binary32))
(-.f32 %221 (/.f32 %317 v))
(-.f32 %100 (-.f32 %229 #s(literal 6931/10000 binary32)))
(-.f32 #s(literal 6931/10000 binary32) %252)
(-.f32 #s(literal 6931/10000 binary32) %255)
(fma.f32 %203 cosTheta_i %325)
%312
(fma.f32 %205 cosTheta_O %325)
(fma.f32 %205 cosTheta_O %300)
(fma.f32 %236 %13 #s(literal 6931/10000 binary32))
(fma.f32 %207 %13 %325)
(fma.f32 %207 %13 %300)
(fma.f32 %209 %7 %325)
(fma.f32 %209 %7 %300)
(fma.f32 #s(literal -1 binary32) %83 %334)
(fma.f32 #s(literal -1 binary32) %83 %336)
(fma.f32 %198 %13 %325)
(fma.f32 %198 %13 %300)
(fma.f32 %13 %198 %325)
(fma.f32 %13 %198 %300)
(fma.f32 #s(literal 1 binary32) %100 %334)
(fma.f32 #s(literal 1 binary32) %100 %336)
(fma.f32 cosTheta_O %205 %325)
(fma.f32 cosTheta_O %205 %300)
(fma.f32 cosTheta_i %203 %325)
(fma.f32 cosTheta_i %203 %300)
(pow.f32 %312 #s(literal 1 binary32))
(+.f32 %336 %100)
(+.f32 %325 %221)
(+.f32 %351 %270)
(+.f32 %300 %221)
(+.f32 %245 #s(literal 6931/10000 binary32))
(+.f32 %221 %325)
(+.f32 %221 %300)
(+.f32 %100 %334)
(+.f32 %100 %336)
(+.f32 #s(literal 6931/10000 binary32) %245)
(neg.f32 (-.f32 %255 #s(literal 6931/10000 binary32)))
(*.f32 %362 %13)
(/.f32 (-.f32 (*.f32 %312 %16) #s(literal -1 binary32)) %16)
(/.f32 (neg.f32 %362) %16)
(/.f32 %362 v)
(/.f32 #s(literal 1 binary32) (/.f32 v %362))
(/.f32 #s(literal 1 binary32) (pow.f32 %373 #s(literal -1 binary32)))
(-.f32 (/.f32 %376 v) %13)
(-.f32 %312 %13)
(-.f32 #s(literal 6931/10000 binary32) (-.f32 %255 %7))
(-.f32 #s(literal 6931/10000 binary32) (+.f32 %255 %13))
(-.f32 #s(literal 6931/10000 binary32) (neg.f32 %385))
(fma.f32 %236 %13 %388)
(fma.f32 %236 %13 %390)
(fma.f32 %301 %13 %7)
(fma.f32 #s(literal -1 binary32) %13 %312)
(fma.f32 #s(literal 1 binary32) %7 %312)
(pow.f32 %373 #s(literal 1 binary32))
(+.f32 %385 #s(literal 6931/10000 binary32))
(+.f32 %7 %312)
%373
(+.f32 %300 (-.f32 %221 %13))
(+.f32 %312 %7)
(+.f32 %245 %388)
(+.f32 %245 %390)
(+.f32 #s(literal 6931/10000 binary32) %385)
(neg.f32 (-.f32 %13 %312))
(/.f32 #s(literal 1 binary32) (pow.f32 %418 #s(literal -1 binary32)))
%418
(pow.f32 %418 #s(literal 1 binary32))
%424
%425
%427
%422
%428
%429
%430
%434
%436
%437
%439
%58
(*.f32 #s(literal -1 binary32) %140)
(*.f32 #s(literal 1 binary32) %58)
(/.f32 #s(literal 1 binary32) (pow.f32 %58 #s(literal -1 binary32)))
(-.f32 #s(literal 0 binary32) %140)
(fma.f32 #s(literal -1 binary32) %140 #s(literal 0 binary32))
(fma.f32 #s(literal 1 binary32) %140 %180)
(fma.f32 #s(literal 1 binary32) %58 #s(literal 0 binary32))
(pow.f32 %58 #s(literal 1 binary32))
(+.f32 %140 %180)
(+.f32 #s(literal 0 binary32) %58)
(+.f32 %58 #s(literal 0 binary32))
(neg.f32 %140)
(log.f32 (/.f32 %117 #s(literal 1 binary32)))
(log.f32 %117)
%24
(*.f32 %31 #s(literal -1 binary32))
(*.f32 %24 #s(literal 1 binary32))
(*.f32 #s(literal -1 binary32) %31)
(*.f32 #s(literal 2 binary32) %459)
(*.f32 #s(literal 1 binary32) %152)
(*.f32 #s(literal 1 binary32) %24)
(/.f32 #s(literal 1 binary32) (pow.f32 %24 #s(literal -1 binary32)))
(-.f32 #s(literal 0 binary32) %139)
(-.f32 %24 #s(literal 0 binary32))
(pow.f32 %24 #s(literal 1 binary32))
(neg.f32 %31)
%470
%472
%473
%474
%475
%476
%477
%479
%480
%481
%482
%483
%484
%485
%486
%487
%488
%489
%491
%31
%116
%120
%123
%126
%128
%129
%130
%131
%132
%133
%135
%138
%141
%145
%148
%149
%150
%153
%156
%157
%158
%161
%162
%163
%164
%165
%166
%169
%172
%173
%174
%175
%176
%177
%181
%182
%183
%184
%185
%186
%189
%190
%191
%192
%193
%194
%195
%197
%100
%493
%495
%496
%498
%499
%501
%503
%504
%300
%506
%507
%509
%511
%512
%513
%514
%515
%516
%517
%518
%519
%520
%522
%523
%524
%525
%526
%527
%528
%529
%530
%531
%324
(*.f32 v %300)
(/.f32 #s(literal 1 binary32) (pow.f32 %324 #s(literal -1 binary32)))
(-.f32 %535 (*.f32 %83 v))
(-.f32 %535 (*.f32 %16 %100))
(-.f32 %535 (neg.f32 %290))
(fma.f32 %351 v %542)
(fma.f32 %100 v %535)
(fma.f32 #s(literal 6931/10000 binary32) v %290)
(fma.f32 v %351 %546)
(fma.f32 v %100 %535)
(fma.f32 v #s(literal 6931/10000 binary32) %290)
(pow.f32 %324 #s(literal 1 binary32))
(+.f32 (*.f32 v %351) %546)
(+.f32 (*.f32 %351 v) %542)
(+.f32 %535 %290)
(+.f32 %290 %535)
(/.f32 #s(literal 1 binary32) (pow.f32 %301 #s(literal -1 binary32)))
(-.f32 %324 %209)
(-.f32 %198 %317)
%301
(fma.f32 #s(literal 6931/10000 binary32) v %236)
(fma.f32 v %300 %198)
(fma.f32 v #s(literal 6931/10000 binary32) %236)
(fma.f32 cosTheta_O cosTheta_i %564)
(fma.f32 cosTheta_O cosTheta_i %566)
(fma.f32 cosTheta_O cosTheta_i %324)
(fma.f32 cosTheta_i cosTheta_O %564)
(fma.f32 cosTheta_i cosTheta_O %566)
(fma.f32 cosTheta_i cosTheta_O %324)
(pow.f32 %301 #s(literal 1 binary32))
(+.f32 (fma.f32 cosTheta_O cosTheta_i %535) %290)
(+.f32 %535 %236)
(+.f32 %324 %198)
(+.f32 %198 %564)
(+.f32 %198 %566)
(+.f32 %198 %324)
(neg.f32 (-.f32 %317 %198))
(/.f32 #s(literal 1 binary32) (pow.f32 %583 #s(literal -1 binary32)))
(-.f32 %586 #s(literal 1 binary32))
(-.f32 %589 %231)
(-.f32 %301 %422)
(-.f32 %198 (-.f32 %317 %438))
(-.f32 %198 (fma.f32 %304 v %422))
(-.f32 %198 (neg.f32 %596))
%583
(fma.f32 v %300 %582)
(fma.f32 cosTheta_O cosTheta_i %596)
(fma.f32 cosTheta_i cosTheta_O %596)
(pow.f32 %583 #s(literal 1 binary32))
(+.f32 %586 #s(literal -1 binary32))
(+.f32 %589 %426)
(+.f32 %596 %198)
(+.f32 %438 %301)
(+.f32 %301 %438)
(+.f32 %324 %582)
(+.f32 %198 %596)
(neg.f32 %610)
(*.f32 %612 %13)
(*.f32 %610 %7)
(*.f32 %583 %13)
(*.f32 %13 %583)
(/.f32 (*.f32 %583 #s(literal -1 binary32)) %16)
(/.f32 %612 v)
(/.f32 (-.f32 %376 %422) v)
(/.f32 (-.f32 (*.f32 %301 v) %623) %625)
(/.f32 %610 %16)
(/.f32 %583 %20)
%629
(/.f32 #s(literal 1 binary32) (/.f32 %16 %610))
(/.f32 #s(literal 1 binary32) (pow.f32 %629 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 v %583))
(-.f32 (/.f32 %589 v) (/.f32 %231 v))
(-.f32 %312 %639)
(fma.f32 %203 cosTheta_i %641)
(fma.f32 %205 cosTheta_O %641)
(fma.f32 %207 %13 %641)
(fma.f32 %209 %7 %641)
(fma.f32 %301 %13 %646)
(fma.f32 %301 %13 %648)
(fma.f32 %198 %13 %641)
(fma.f32 %13 %198 %641)
(fma.f32 cosTheta_O %205 %641)
(fma.f32 cosTheta_i %203 %641)
(pow.f32 %629 #s(literal 1 binary32))
(+.f32 %312 %646)
(+.f32 %312 %648)
(+.f32 %221 %641)
(neg.f32 (*.f32 %610 %13))
(neg.f32 (/.f32 %583 %16))
(neg.f32 (/.f32 %610 v))
(neg.f32 (-.f32 %639 %312))
(/.f32 #s(literal 1 binary32) (pow.f32 %666 #s(literal -1 binary32)))
%666
(pow.f32 %666 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (pow.f32 %670 #s(literal -1 binary32)))
%670
(pow.f32 %670 #s(literal 1 binary32))
%470
%472
%473
%474
%475
%476
%477
%479
%480
%481
%482
%483
%484
%485
%486
%487
%488
%489
%491
%31
%116
%120
%123
%126
%128
%129
%130
%131
%132
%133
%135
%138
%141
%145
%148
%149
%150
%153
%156
%157
%158
%161
%162
%163
%164
%165
%166
%169
%172
%173
%174
%175
%176
%177
%181
%182
%183
%184
%185
%186
%189
%190
%191
%192
%193
%194
%195
%197
%100
%493
%495
%496
%498
%499
%501
%503
%504
%300
%506
%507
%509
%511
%512
%513
%514
%515
%516
%517
%518
%519
%520
%522
%523
%524
%525
%526
%527
%528
%529
%530
%531
(/.f32 #s(literal 1 binary32) (pow.f32 %674 #s(literal -1 binary32)))
%674
(pow.f32 %674 #s(literal 1 binary32))
%38
%39
%40
%41
%43
%45
%46
%48
%49
%50
%51
%47
%54
%424
%425
%427
%422
%428
%429
%430
%434
%436
%437
%439
(/.f32 #s(literal 1 binary32) (pow.f32 %582 #s(literal -1 binary32)))
(-.f32 %588 %231)
(-.f32 %681 #s(literal 1 binary32))
%582
(fma.f32 cosTheta_O cosTheta_i %438)
(fma.f32 cosTheta_i cosTheta_O %438)
(pow.f32 %582 #s(literal 1 binary32))
(+.f32 %588 %426)
(+.f32 %681 #s(literal -1 binary32))
(+.f32 %438 %198)
(+.f32 %198 %438)
(neg.f32 %690)
(*.f32 %692 %13)
(*.f32 %695 %13)
(*.f32 %690 %7)
(*.f32 %582 %13)
(*.f32 %13 %582)
(/.f32 (*.f32 %582 #s(literal -1 binary32)) %16)
(/.f32 %692 v)
(/.f32 (-.f32 %207 %422) v)
(/.f32 (-.f32 (*.f32 %694 %16) #s(literal -1 binary32)) %16)
(/.f32 (-.f32 %708 #s(literal 1 binary32)) v)
(/.f32 (-.f32 (*.f32 %209 v) (*.f32 %16 %422)) (*.f32 %16 v))
(/.f32 (-.f32 %716 %623) %625)
(/.f32 (-.f32 (*.f32 %681 %16) %720) %722)
(/.f32 (-.f32 (*.f32 %681 v) %44) %625)
(/.f32 (-.f32 (*.f32 %708 %16) %720) %722)
(/.f32 (-.f32 (*.f32 %708 v) %44) %625)
(/.f32 (-.f32 (*.f32 %734 %16) (*.f32 %625 #s(literal -1 binary32))) (*.f32 %625 %16))
(/.f32 (-.f32 (*.f32 %734 v) (*.f32 %625 #s(literal 1 binary32))) (*.f32 %625 v))
(/.f32 (neg.f32 %695) %16)
(/.f32 %695 v)
(/.f32 %690 %16)
(/.f32 %582 %20)
%750
(/.f32 #s(literal 1 binary32) (/.f32 %16 %690))
(/.f32 #s(literal 1 binary32) (/.f32 v %695))
(/.f32 #s(literal 1 binary32) (pow.f32 %750 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 v %582))
(-.f32 (/.f32 (*.f32 %694 v) v) %13)
(-.f32 %694 %13)
(-.f32 %221 %639)
(fma.f32 %681 %13 %7)
(fma.f32 %203 cosTheta_i %767)
(fma.f32 %203 cosTheta_i %770)
(fma.f32 %203 cosTheta_i %646)
(fma.f32 %203 cosTheta_i %648)
(fma.f32 %205 cosTheta_O %767)
(fma.f32 %205 cosTheta_O %770)
(fma.f32 %205 cosTheta_O %646)
(fma.f32 %205 cosTheta_O %648)
(fma.f32 %708 %13 %7)
(fma.f32 %207 %13 %767)
(fma.f32 %207 %13 %770)
(fma.f32 %207 %13 %646)
(fma.f32 %207 %13 %648)
(fma.f32 %734 %783 %7)
(fma.f32 %209 %7 %767)
(fma.f32 %209 %7 %770)
(fma.f32 %209 %7 %646)
(fma.f32 %209 %7 %648)
(fma.f32 #s(literal -1 binary32) %13 %694)
(fma.f32 %198 %13 %767)
(fma.f32 %198 %13 %770)
(fma.f32 %198 %13 %646)
(fma.f32 %198 %13 %648)
(fma.f32 %13 %681 %7)
(fma.f32 %13 %198 %767)
(fma.f32 %13 %198 %770)
(fma.f32 %13 %198 %646)
(fma.f32 %13 %198 %648)
(fma.f32 #s(literal 1 binary32) %7 %694)
(fma.f32 cosTheta_O %205 %767)
(fma.f32 cosTheta_O %205 %770)
(fma.f32 cosTheta_O %205 %646)
(fma.f32 cosTheta_O %205 %648)
(fma.f32 cosTheta_i %203 %767)
(fma.f32 cosTheta_i %203 %770)
(fma.f32 cosTheta_i %203 %646)
(fma.f32 cosTheta_i %203 %648)
(pow.f32 %750 #s(literal 1 binary32))
(+.f32 %7 %694)
(+.f32 %694 %7)
(+.f32 %221 %767)
(+.f32 %221 %770)
(+.f32 %221 %646)
(+.f32 %221 %648)
(neg.f32 %817)
(neg.f32 %819)
(neg.f32 %821)
(neg.f32 %823)
(neg.f32 %825)
#s(literal -6931/10000 binary32)
(/.f32 (fma.f32 #s(literal 6931/10000 binary32) v %695) v)
(/.f32 #s(literal 1 binary32) (pow.f32 %829 #s(literal -1 binary32)))
(-.f32 %832 %13)
(-.f32 %336 %639)
%829
(-.f32 %694 %835)
(-.f32 %221 (-.f32 %639 #s(literal 6931/10000 binary32)))
(-.f32 %221 (fma.f32 %766 sinTheta_i %835))
(-.f32 %221 (+.f32 %639 #s(literal -6931/10000 binary32)))
(-.f32 #s(literal 6931/10000 binary32) %825)
(fma.f32 %692 %13 #s(literal 6931/10000 binary32))
(fma.f32 %681 %13 %845)
(fma.f32 %681 %13 %847)
(fma.f32 %681 %13 %849)
(fma.f32 %203 cosTheta_i %851)
(fma.f32 %205 cosTheta_O %851)
(fma.f32 %695 %13 #s(literal 6931/10000 binary32))
(fma.f32 %708 %13 %845)
(fma.f32 %708 %13 %847)
(fma.f32 %708 %13 %849)
(fma.f32 %207 %13 %851)
(fma.f32 %734 %783 %845)
(fma.f32 %734 %783 %847)
(fma.f32 %734 %783 %849)
(fma.f32 %690 %7 #s(literal 6931/10000 binary32))
(fma.f32 %209 %7 %851)
(fma.f32 %582 %13 #s(literal 6931/10000 binary32))
(fma.f32 %198 %13 %851)
(fma.f32 %13 %681 %845)
(fma.f32 %13 %681 %847)
(fma.f32 %13 %681 %849)
(fma.f32 %13 %582 #s(literal 6931/10000 binary32))
(fma.f32 %13 %198 %851)
(fma.f32 cosTheta_O %205 %851)
(fma.f32 cosTheta_i %203 %851)
(pow.f32 %829 #s(literal 1 binary32))
(+.f32 %832 %7)
(+.f32 %750 #s(literal 6931/10000 binary32))
(+.f32 %694 %845)
(+.f32 %694 %847)
(+.f32 %694 %849)
(+.f32 %221 %851)
(+.f32 #s(literal 6931/10000 binary32) %750)
(neg.f32 %881)
(neg.f32 %883)
(neg.f32 %885)
(log.f32 (/.f32 %113 #s(literal 1 binary32)))
(log.f32 (/.f32 %117 #s(literal 1/2 binary32)))
(log.f32 (/.f32 #s(literal 1 binary32) %118))
(log.f32 %86)
(log.f32 %113)
%83
(*.f32 #s(literal 1 binary32) %147)
(*.f32 #s(literal 1 binary32) %83)
(/.f32 #s(literal 1 binary32) (pow.f32 %83 #s(literal -1 binary32)))
(-.f32 %83 #s(literal 0 binary32))
(-.f32 #s(literal 0 binary32) %100)
(-.f32 %24 %58)
(fma.f32 %31 #s(literal -1 binary32) %140)
(fma.f32 %24 #s(literal 1 binary32) %140)
(fma.f32 #s(literal -1 binary32) %31 %140)
(fma.f32 #s(literal 2 binary32) %459 %140)
(fma.f32 #s(literal 1 binary32) %152 %140)
(fma.f32 #s(literal 1 binary32) %140 %152)
(fma.f32 #s(literal 1 binary32) %140 %24)
(fma.f32 #s(literal 1 binary32) %24 %140)
(pow.f32 %83 #s(literal 1 binary32))
(+.f32 %152 %140)
(+.f32 %140 %152)
(+.f32 %140 %24)
(+.f32 %24 %140)
(neg.f32 %100)
%116
%120
%123
%126
%128
%129
%130
%131
%132
%133
%135
%138
%141
%145
%148
%149
%150
%153
%156
%157
%158
%161
%162
%163
%164
%165
%166
%169
%172
%173
%174
%175
%176
%177
%181
%182
%183
%184
%185
%186
%189
%190
%191
%192
%193
%194
%195
%197
%100
(/.f32 #s(literal 1 binary32) (pow.f32 %304 #s(literal -1 binary32)))
(-.f32 (-.f32 #s(literal -6931/10000 binary32) %31) %58)
(-.f32 %920 %31)
(-.f32 #s(literal -6931/10000 binary32) %100)
(fma.f32 #s(literal 1 binary32) %147 #s(literal -6931/10000 binary32))
(fma.f32 #s(literal 1 binary32) %83 #s(literal -6931/10000 binary32))
(pow.f32 %304 #s(literal 1 binary32))
(+.f32 %920 %24)
%304
(+.f32 #s(literal -6931/10000 binary32) %83)
(neg.f32 %300)
(/.f32 #s(literal 1 binary32) (pow.f32 %929 #s(literal -1 binary32)))
(-.f32 (+.f32 %100 %694) %835)
(-.f32 (+.f32 %829 #s(literal 0 binary32)) %83)
(-.f32 %936 %24)
(-.f32 %938 #s(literal -6931/10000 binary32))
(-.f32 #s(literal 0 binary32) %940)
(-.f32 %829 %83)
%929
(-.f32 %58 (-.f32 %24 %829))
(-.f32 %694 (-.f32 %835 %100))
(-.f32 %694 (-.f32 %13 %300))
(-.f32 %694 (+.f32 %835 %83))
(-.f32 %221 (-.f32 %639 %300))
(-.f32 %221 (+.f32 %639 %304))
(-.f32 %100 %885)
(fma.f32 %692 %13 %300)
(fma.f32 %681 %13 %957)
(fma.f32 %695 %13 %300)
(fma.f32 %708 %13 %957)
(fma.f32 %734 %783 %957)
(fma.f32 %690 %7 %300)
(fma.f32 %582 %13 %300)
(fma.f32 %24 #s(literal -1 binary32) %964)
(fma.f32 #s(literal -1 binary32) %140 %966)
(fma.f32 #s(literal -1 binary32) %83 %829)
(fma.f32 #s(literal -1 binary32) %24 %964)
(fma.f32 %13 %681 %957)
(fma.f32 %13 %582 %300)
(fma.f32 #s(literal 1 binary32) %139 %964)
(fma.f32 #s(literal 1 binary32) %58 %966)
(fma.f32 #s(literal 1 binary32) %100 %829)
(pow.f32 %929 #s(literal 1 binary32))
(+.f32 (+.f32 %750 %351) %31)
(+.f32 (+.f32 %829 %31) %58)
(+.f32 %980 #s(literal 6931/10000 binary32))
(+.f32 %936 %31)
(+.f32 %938 #s(literal 6931/10000 binary32))
(+.f32 %829 %100)
(+.f32 %750 %300)
(+.f32 %300 %750)
(+.f32 %31 %964)
(+.f32 %58 %966)
(+.f32 %694 %957)
(+.f32 %100 %829)
(+.f32 #s(literal 6931/10000 binary32) %980)
(+.f32 #s(literal 6931/10000 binary32) (-.f32 %750 %83))
(neg.f32 %994)
(neg.f32 %940)
(neg.f32 %997)
(*.f32 %999 (/.f32 #s(literal 1 binary32) %1000))
(*.f32 %999 (exp.f32 #s(literal 6931/10000 binary32)))
(/.f32 %1005 %1006)
(/.f32 %999 %1000)
(/.f32 #s(literal 1 binary32) (/.f32 %1000 %999))
(/.f32 #s(literal 1 binary32) (pow.f32 %1011 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) %1014)
(sqrt.f32 %1016)
(-.f32 %1018 (sinh.f32 %881))
(-.f32 %1018 (sinh.f32 %883))
(-.f32 %1018 (sinh.f32 %885))
(pow.f32 %1016 #s(literal 1/2 binary32))
(pow.f32 %1014 #s(literal -1 binary32))
(pow.f32 %1011 #s(literal 1 binary32))
(+.f32 (cosh.f32 %1028) (sinh.f32 %1028))
(+.f32 (/.f32 %1032 %1000) (/.f32 %1034 %1000))
(+.f32 %1037 %1018)
(+.f32 %1018 %1037)
(fabs.f32 (neg.f32 %1011))
(fabs.f32 %1011)
(exp.f32 (*.f32 %1028 #s(literal 1 binary32)))
(exp.f32 %1028)
%1011
(/.f32 (exp.f32 %221) (exp.f32 %639))
(/.f32 #s(literal 1 binary32) (pow.f32 %1049 %7))
(/.f32 #s(literal 1 binary32) (pow.f32 %999 #s(literal -1 binary32)))
(sqrt.f32 %1054)
(-.f32 %1032 (sinh.f32 %817))
(-.f32 %1032 (sinh.f32 %819))
(-.f32 %1032 (sinh.f32 %821))
(-.f32 %1032 (sinh.f32 %823))
(-.f32 %1032 (sinh.f32 %825))
(pow.f32 %1054 #s(literal 1/2 binary32))
(pow.f32 %1049 %13)
(pow.f32 %999 #s(literal 1 binary32))
(+.f32 (cosh.f32 %1069) (sinh.f32 %1069))
(+.f32 %1034 %1032)
(+.f32 %1032 %1034)
(fabs.f32 %1005)
(fabs.f32 %999)
(exp.f32 (*.f32 %1069 #s(literal 1 binary32)))
(exp.f32 %1069)
%999
%1081
%1083
%1085
%1089
%1090
%1091
%1092
%1094
%1096
%1098
%1100
%1101
%1103
%1105
%1107
%1109
%1111
%1114
%1117
%1120
%1122
%1125
%1128
%1131
%1134
%1137
%1139
%1140
%1141
%1142
%1095
%1144
%1146
%1148
%1150
%1152
%1154
%1157
%1159
%1161
%1163
%1165
%1166
%1167
%1168
%1172
%1174
%1176
%1179
%1181
%1182
%1184
%1185
%1187
%1188
%1189
%1191
%1193
(*.f32 %1000 %84)
%1086
(/.f32 %1006 (neg.f32 %11))
(/.f32 %1000 %11)
(/.f32 #s(literal 1 binary32) %1084)
(sqrt.f32 %1199)
(-.f32 %1201 (sinh.f32 %300))
(pow.f32 %1199 #s(literal 1/2 binary32))
(pow.f32 %1084 #s(literal -1 binary32))
(pow.f32 %1086 #s(literal 1 binary32))
(+.f32 (cosh.f32 %1207) (sinh.f32 %1207))
(+.f32 %1211 %1201)
(+.f32 %1201 %1211)
(fabs.f32 %1087)
(fabs.f32 %1086)
(exp.f32 (*.f32 %1207 #s(literal 1 binary32)))
(exp.f32 %1207)
(exp.f32 %304)
%1081
%1083
%1085
%1089
%1090
%1091
%1092
%1094
%1096
%1098
%1100
%1101
%1103
%1105
%1107
%1109
%1111
%1114
%1117
%1120
%1122
%1125
%1128
%1131
%1134
%1137
%1139
%1140
%1141
%1142
%1095
%1144
%1146
%1148
%1150
%1152
%1154
%1157
%1159
%1161
%1163
%1165
%1166
%1167
%1168
%1172
%1174
%1176
%1179
%1181
%1182
%1184
%1185
%1187
%1188
%1189
%1191
%1193
(/.f32 #s(literal 1 binary32) (pow.f32 %1220 #s(literal -1 binary32)))
(-.f32 (+.f32 %670 #s(literal 0 binary32)) %83)
(-.f32 %1225 %24)
(-.f32 #s(literal 0 binary32) %1227)
%1220
(-.f32 %58 (-.f32 %24 %670))
(-.f32 %100 (neg.f32 %670))
(fma.f32 %24 #s(literal -1 binary32) %1233)
(fma.f32 #s(literal -1 binary32) %140 %1235)
(fma.f32 #s(literal -1 binary32) %83 %670)
(fma.f32 #s(literal -1 binary32) %24 %1233)
(fma.f32 #s(literal 1 binary32) %139 %1233)
(fma.f32 #s(literal 1 binary32) %58 %1235)
(fma.f32 #s(literal 1 binary32) %100 %670)
(pow.f32 %1220 #s(literal 1 binary32))
(+.f32 (+.f32 %670 %31) %58)
(+.f32 %1225 %31)
(+.f32 %670 %100)
(+.f32 %31 %1233)
(+.f32 %58 %1235)
(+.f32 %100 %670)
(neg.f32 %1227)
%1252
(*.f32 %11 %1251)
(/.f32 %1251 %84)
(/.f32 #s(literal 1 binary32) (pow.f32 %1252 #s(literal -1 binary32)))
(sqrt.f32 %1257)
(-.f32 %1259 (sinh.f32 %1227))
(-.f32 %1259 (neg.f32 %1262))
(pow.f32 %1257 #s(literal 1/2 binary32))
(pow.f32 %1252 #s(literal 1 binary32))
(+.f32 (cosh.f32 %1267) (sinh.f32 %1267))
(+.f32 %1262 %1259)
(+.f32 %1259 %1262)
(fabs.f32 (neg.f32 %1252))
(fabs.f32 %1252)
(exp.f32 (*.f32 %1267 #s(literal 1 binary32)))
(exp.f32 %1267)
(exp.f32 %1220)
%1081
%1083
%1085
%1089
%1090
%1091
%1092
%1094
%1096
%1098
%1100
%1101
%1103
%1105
%1107
%1109
%1111
%1114
%1117
%1120
%1122
%1125
%1128
%1131
%1134
%1137
%1139
%1140
%1141
%1142
%1095
%1144
%1146
%1148
%1150
%1152
%1154
%1157
%1159
%1161
%1163
%1165
%1166
%1167
%1168
%1172
%1174
%1176
%1179
%1181
%1182
%1184
%1185
%1187
%1188
%1189
%1191
%1193
(/.f32 #s(literal 1 binary32) (pow.f32 %1280 #s(literal -1 binary32)))
(sqrt.f32 %1283)
(-.f32 %1285 (neg.f32 %1286))
(pow.f32 %1283 #s(literal 1/2 binary32))
(pow.f32 %1280 #s(literal 1 binary32))
(+.f32 (cosh.f32 %1291) (sinh.f32 %1291))
(+.f32 %1286 %1285)
(+.f32 %1285 %1286)
(fabs.f32 (neg.f32 %1280))
(fabs.f32 %1280)
(exp.f32 (*.f32 %1291 #s(literal 1 binary32)))
(exp.f32 %1291)
%1280
(/.f32 #s(literal 1 binary32) (pow.f32 %1303 #s(literal -1 binary32)))
(sqrt.f32 %1306)
(-.f32 %1308 (neg.f32 %1309))
(pow.f32 %1306 #s(literal 1/2 binary32))
(pow.f32 %1303 #s(literal 1 binary32))
(+.f32 (cosh.f32 %1314) (sinh.f32 %1314))
(+.f32 %1309 %1308)
(+.f32 %1308 %1309)
(fabs.f32 (neg.f32 %1303))
(fabs.f32 %1303)
(exp.f32 (*.f32 %1314 #s(literal 1 binary32)))
(exp.f32 %1314)
%1303
(/.f32 #s(literal 1 binary32) (pow.f32 %1326 #s(literal -1 binary32)))
(sqrt.f32 %1329)
(-.f32 %1331 (neg.f32 %1332))
(pow.f32 %1329 #s(literal 1/2 binary32))
(pow.f32 %1326 #s(literal 1 binary32))
(+.f32 (cosh.f32 %1337) (sinh.f32 %1337))
(+.f32 %1332 %1331)
(+.f32 %1331 %1332)
(fabs.f32 (neg.f32 %1326))
(fabs.f32 %1326)
(exp.f32 (*.f32 %1337 #s(literal 1 binary32)))
(exp.f32 %1337)
%1326

%6 = (/.f32 #s(literal 1 binary32) v)
%8 = (*.f32 cosTheta_O cosTheta_i)
%10 = (*.f32 sinTheta_O sinTheta_i)
%12 = (/.f32 #s(literal 1/2 binary32) v)
%13 = (log.f32 %12)
%14 = (+.f32 #s(literal 1 binary32) %10)
%15 = (-.f32 %8 %14)
%16 = (/.f32 %15 v)
%17 = (*.f32 #s(literal -1 binary32) %10)
%18 = (+.f32 v v)
%19 = (fma.f32 sinTheta_O sinTheta_i #s(literal 1 binary32))
%20 = (-.f32 %8 %19)
%21 = (/.f32 %20 v)
%23 = (-.f32 %21 #s(literal -6931/10000 binary32))
%24 = (log.f32 %18)
%25 = (exp.f32 %24)
%26 = (neg.f32 %24)
%27 = (-.f32 #s(literal -6931/10000 binary32) %26)
%28 = (-.f32 #s(literal 6931/10000 binary32) %24)
%29 = (exp.f32 %23)
%30 = (exp.f32 #s(literal 6931/10000 binary32))
%31 = (exp.f32 %27)
%32 = (/.f32 #s(literal 1 binary32) %25)
%34 = (/ 1/2 v)
%36 = (* cosTheta_O cosTheta_i)
%39 = (approx (+ (log %34) (/ %36 v)) %13)
%40 = (-.f32 %8 #s(literal 1 binary32))
%41 = (* sinTheta_O sinTheta_i)
%44 = (- %36 (+ %41 1))
%45 = (approx %44 %40)
%57 = (approx (- (+ %36 (* v (+ 6931/10000 (+ (log 1/2) (* -1 (log v)))))) (+ 1 %41)) %17)
%70 = (+ (+ (- (- (/ (* cosTheta_i cosTheta_O) v) (/ (* sinTheta_i sinTheta_O) v)) (/ 1 v)) 6931/10000) (log (/ 1 (* 2 v))))
%71 = (approx %70 %16)
%72 = (/.f32 %30 v)
%73 = (*.f32 #s(literal 1/2 binary32) %72)
%80 = (fma.f32 %26 v %8)
%81 = (-.f32 %80 #s(literal 1 binary32))
%82 = (/.f32 %81 v)
%83 = (neg.f32 %82)
%84 = (-.f32 #s(literal 6931/10000 binary32) %83)
%88 = (- (/ (- %36 (- %41 -1)) v) -6931/10000)
%89 = (approx %88 #s(literal 6931/10000 binary32))
%93 = (approx (- %88 (log (/ v 1/2))) %28)
%94 = (exp.f32 %89)
%98 = (+.f32 #s(literal 6931/10000 binary32) %39)
%99 = (-.f32 %98 %6)
%100 = (approx %70 %99)
%102 = (approx %70 %84)
%105 = (/.f32 %57 v)
%106 = (approx %70 %105)
%108 = (/.f32 %45 v)
%109 = (-.f32 %108 #s(literal -6931/10000 binary32))
%110 = (exp.f32 %109)
%112 = (exp.f32 %108)
cosTheta_i
cosTheta_O
v
sinTheta_i
sinTheta_O
#s(literal 1 binary32)
%6
#s(literal 6931/10000 binary32)
%8
#s(literal -1 binary32)
%10
#s(literal 1/2 binary32)
%12
%13
%14
%15
%16
%17
%18
%19
%20
%21
#s(literal -6931/10000 binary32)
%23
%24
%25
%26
%27
%28
%29
%30
%31
%32
%39
%40
%45
%57
%71
%72
%73
(approx (* (exp (- (/ %44 v) -6931/10000)) %34) %73)
%80
%81
%82
%83
%84
%89
%93
%94
(*.f32 %94 %12)
(exp.f32 %93)
(*.f32 %29 %32)
%98
%99
%100
(exp.f32 %100)
%102
(exp.f32 %102)
(exp.f32 %71)
%105
%106
(exp.f32 %106)
%108
%109
%110
(*.f32 %110 %12)
%112
(/.f32 %112 %31)

%8 = (/.f32 #s(literal 1/2 binary32) v)
%11 = (/.f32 #s(literal -1 binary32) v)
%13 = (/.f32 #s(literal 1 binary32) v)
%16 = (neg.f32 v)
%20 = (neg.f32 %16)
%22 = (/.f32 v #s(literal 1 binary32))
%24 = (+.f32 v v)
%31 = (*.f32 cosTheta_O cosTheta_i)
%36 = (*.f32 sinTheta_O sinTheta_i)
%42 = (*.f32 %11 #s(literal -1/2 binary32))
%43 = (/.f32 #s(literal 2 binary32) v)
%45 = (*.f32 %43 #s(literal 1/4 binary32))
%46 = (*.f32 #s(literal -1/2 binary32) %11)
%47 = (*.f32 #s(literal 1/2 binary32) %8)
%48 = (*.f32 #s(literal 2 binary32) %47)
%49 = (/.f32 #s(literal 1/2 binary32) %24)
%50 = (*.f32 #s(literal 2 binary32) %49)
%51 = (*.f32 %8 #s(literal 1 binary32))
%52 = (*.f32 #s(literal 1/2 binary32) %13)
%54 = (*.f32 #s(literal -2 binary32) v)
%55 = (/.f32 #s(literal 1 binary32) %54)
%56 = (*.f32 #s(literal -1 binary32) %55)
%57 = (*.f32 %13 #s(literal 1/2 binary32))
%58 = (*.f32 #s(literal 1 binary32) %8)
%59 = (log.f32 #s(literal 1/2 binary32))
%60 = (exp.f32 %59)
%61 = (fabs.f32 v)
%62 = (log.f32 %61)
%63 = (exp.f32 %62)
%64 = (/.f32 %60 %63)
%65 = (/.f32 #s(literal -1/2 binary32) %16)
%66 = (/.f32 #s(literal 1/2 binary32) %20)
%67 = (/.f32 #s(literal -1 binary32) %54)
%68 = (/.f32 %13 #s(literal 2 binary32))
%70 = (/.f32 #s(literal 1 binary32) (/.f32 %54 #s(literal -1 binary32)))
%71 = (/.f32 %24 #s(literal 1 binary32))
%72 = (/.f32 #s(literal 1 binary32) %71)
%73 = (/.f32 #s(literal 1 binary32) %24)
%75 = (/.f32 (fma.f32 #s(literal 2 binary32) v %8) #s(literal 2 binary32))
%77 = (/.f32 (-.f32 %24 %8) #s(literal 2 binary32))
%78 = (-.f32 %75 %77)
%79 = (pow.f32 %24 #s(literal -1 binary32))
%80 = (pow.f32 %8 #s(literal 1 binary32))
%81 = (log.f32 %24)
%82 = (*.f32 %81 #s(literal -1 binary32))
%85 = (+.f32 (cosh.f32 %82) (sinh.f32 %82))
%86 = (neg.f32 %81)
%87 = (*.f32 %86 #s(literal 1 binary32))
%90 = (+.f32 (cosh.f32 %87) (sinh.f32 %87))
%92 = (/.f32 (-.f32 %8 %24) #s(literal 2 binary32))
%93 = (+.f32 %75 %92)
%94 = (fabs.f32 %8)
%95 = (exp.f32 %82)
%96 = (exp.f32 %87)
%97 = (exp.f32 %86)
%99 = (neg.f32 (*.f32 #s(literal -1 binary32) %8))
%101 = (neg.f32 (/.f32 #s(literal 1/2 binary32) %16))
%103 = (neg.f32 (/.f32 #s(literal -1/2 binary32) v))
%105 = (neg.f32 (/.f32 #s(literal -1 binary32) %24))
%106 = (neg.f32 %55)
%107 = (/.f32 #s(literal 1/2 binary32) %61)
%109 = (log.f32 (*.f32 #s(literal 1 binary32) %107))
%110 = (fabs.f32 %13)
%112 = (log.f32 (*.f32 #s(literal 1/2 binary32) %110))
%113 = (log.f32 %107)
%114 = (log.f32 %8)
%115 = (*.f32 #s(literal -1 binary32) %81)
%116 = (*.f32 #s(literal 1 binary32) %86)
%118 = (/.f32 #s(literal 1 binary32) (pow.f32 %86 #s(literal -1 binary32)))
%120 = (log.f32 (fabs.f32 %60))
%122 = (log.f32 (fabs.f32 %63))
%123 = (-.f32 %120 %122)
%124 = (log.f32 %110)
%125 = (log.f32 #s(literal 2 binary32))
%126 = (-.f32 %124 %125)
%128 = (-.f32 #s(literal 0 binary32) %81)
%129 = (log.f32 v)
%130 = (neg.f32 %129)
%131 = (-.f32 %130 %125)
%133 = (log.f32 (fabs.f32 %61))
%134 = (-.f32 %59 %133)
%136 = (log.f32 (fabs.f32 %20))
%137 = (-.f32 %59 %136)
%138 = (-.f32 %59 %62)
%139 = (-.f32 %59 %129)
%140 = (fma.f32 %129 #s(literal -1 binary32) %59)
%142 = (log.f32 (fabs.f32 %11))
%143 = (fma.f32 #s(literal -1 binary32) %125 %142)
%144 = (fma.f32 #s(literal -1 binary32) %125 %124)
%145 = (fma.f32 #s(literal -1 binary32) %125 %130)
%146 = (fma.f32 #s(literal -1 binary32) %62 %59)
%147 = (fma.f32 #s(literal -1 binary32) %129 %59)
%149 = (log.f32 (fabs.f32 %47))
%150 = (fma.f32 #s(literal -1 binary32) %59 %149)
%152 = (log.f32 (fabs.f32 %49))
%153 = (fma.f32 #s(literal -1 binary32) %59 %152)
%154 = (fma.f32 #s(literal -1 binary32) %81 #s(literal 0 binary32))
%155 = (fma.f32 #s(literal 1 binary32) %125 %149)
%156 = (fma.f32 #s(literal 1 binary32) %125 %152)
%157 = (fma.f32 #s(literal 1 binary32) %124 %59)
%158 = (fma.f32 #s(literal 1 binary32) %59 %142)
%159 = (fma.f32 #s(literal 1 binary32) %59 %124)
%160 = (fma.f32 #s(literal 1 binary32) %59 %130)
%161 = (fma.f32 #s(literal 1 binary32) %86 #s(literal 0 binary32))
%162 = (pow.f32 %86 #s(literal 1 binary32))
%166 = (+.f32 (log.f32 (fabs.f32 %43)) (log.f32 #s(literal 1/4 binary32)))
%167 = (+.f32 %142 %59)
%168 = (+.f32 %125 %149)
%169 = (+.f32 %125 %152)
%170 = (+.f32 %124 %59)
%173 = (+.f32 #s(literal 0 binary32) (log.f32 (fabs.f32 %55)))
%174 = (+.f32 #s(literal 0 binary32) %86)
%175 = (+.f32 %130 %59)
%176 = (+.f32 %59 %142)
%177 = (+.f32 %59 %124)
%178 = (+.f32 %59 %130)
%179 = (+.f32 %86 #s(literal 0 binary32))
%180 = (fma.f32 sinTheta_O sinTheta_i #s(literal 1 binary32))
%182 = (/.f32 #s(literal 1 binary32) (pow.f32 %180 #s(literal -1 binary32)))
%183 = (-.f32 %36 #s(literal -1 binary32))
%184 = (neg.f32 sinTheta_i)
%185 = (*.f32 %184 sinTheta_O)
%186 = (-.f32 #s(literal 1 binary32) %185)
%187 = (fma.f32 sinTheta_i sinTheta_O #s(literal 1 binary32))
%188 = (pow.f32 %180 #s(literal 1 binary32))
%189 = (+.f32 %36 #s(literal 1 binary32))
%190 = (neg.f32 sinTheta_O)
%193 = (+.f32 #s(literal 1 binary32) (*.f32 (neg.f32 %190) sinTheta_i))
%195 = (+.f32 #s(literal 1 binary32) (*.f32 %185 #s(literal -1 binary32)))
%196 = (*.f32 #s(literal 1 binary32) %36)
%197 = (+.f32 #s(literal 1 binary32) %196)
%199 = (+.f32 #s(literal 1 binary32) (neg.f32 %185))
%200 = (+.f32 #s(literal 1 binary32) %36)
%201 = (-.f32 #s(literal -1 binary32) %36)
%202 = (neg.f32 %201)
%203 = (-.f32 %31 %180)
%205 = (/.f32 #s(literal 1 binary32) (pow.f32 %203 #s(literal -1 binary32)))
%206 = (-.f32 %31 %36)
%207 = (-.f32 %206 #s(literal 1 binary32))
%208 = (fma.f32 cosTheta_O cosTheta_i #s(literal -1 binary32))
%209 = (-.f32 %208 %36)
%210 = (fma.f32 cosTheta_O cosTheta_i %201)
%211 = (fma.f32 cosTheta_i cosTheta_O %201)
%212 = (pow.f32 %203 #s(literal 1 binary32))
%213 = (+.f32 %206 #s(literal -1 binary32))
%214 = (+.f32 %201 %31)
%215 = (+.f32 %208 %185)
%216 = (+.f32 #s(literal -1 binary32) %206)
%217 = (+.f32 %31 %201)
%218 = (-.f32 %36 %208)
%219 = (neg.f32 %218)
%220 = (*.f32 %203 #s(literal 1 binary32))
%221 = (*.f32 %220 %13)
%222 = (/.f32 %206 v)
%223 = (fma.f32 %222 v #s(literal -1 binary32))
%224 = (*.f32 %223 %13)
%225 = (*.f32 %218 %11)
%226 = (*.f32 %203 %13)
%227 = (*.f32 %13 %203)
%229 = (/.f32 (*.f32 %203 #s(literal -1 binary32)) %16)
%230 = (/.f32 %220 v)
%231 = (*.f32 %31 #s(literal 1 binary32))
%233 = (/.f32 (-.f32 %231 %180) v)
%236 = (/.f32 (-.f32 (*.f32 %222 %16) #s(literal -1 binary32)) %16)
%237 = (-.f32 %231 %36)
%239 = (/.f32 (-.f32 %237 #s(literal 1 binary32)) v)
%240 = (neg.f32 %31)
%245 = (/.f32 (-.f32 (*.f32 %240 v) (*.f32 %16 %180)) (*.f32 %16 v))
%246 = (*.f32 %31 v)
%249 = (*.f32 v v)
%250 = (/.f32 (-.f32 %246 (*.f32 v %180)) %249)
%252 = (*.f32 v #s(literal -1 binary32))
%254 = (*.f32 v %16)
%255 = (/.f32 (-.f32 (*.f32 %206 %16) %252) %254)
%257 = (*.f32 v #s(literal 1 binary32))
%259 = (/.f32 (-.f32 (*.f32 %206 v) %257) %249)
%262 = (/.f32 (-.f32 (*.f32 %237 %16) %252) %254)
%265 = (/.f32 (-.f32 (*.f32 %237 v) %257) %249)
%267 = (-.f32 %246 (*.f32 %36 v))
%272 = (/.f32 (-.f32 (*.f32 %267 %16) (*.f32 %249 #s(literal -1 binary32))) (*.f32 %249 %16))
%277 = (/.f32 (-.f32 (*.f32 %267 v) (*.f32 %249 #s(literal 1 binary32))) (*.f32 %249 v))
%279 = (/.f32 (neg.f32 %223) %16)
%280 = (/.f32 %223 v)
%281 = (/.f32 %218 %16)
%282 = (/.f32 %203 %20)
%283 = (/.f32 %203 v)
%285 = (/.f32 #s(literal 1 binary32) (/.f32 %16 %218))
%287 = (/.f32 #s(literal 1 binary32) (/.f32 v %223))
%289 = (/.f32 #s(literal 1 binary32) (pow.f32 %283 #s(literal -1 binary32)))
%291 = (/.f32 #s(literal 1 binary32) (/.f32 v %203))
%294 = (-.f32 (/.f32 (*.f32 %222 v) v) %13)
%295 = (/.f32 %208 v)
%297 = (-.f32 %295 (/.f32 %36 v))
%298 = (-.f32 %222 %13)
%299 = (/.f32 %31 v)
%300 = (/.f32 %180 v)
%301 = (-.f32 %299 %300)
%302 = (fma.f32 %206 %13 %11)
%303 = (/.f32 cosTheta_i v)
%304 = (/.f32 sinTheta_O v)
%305 = (fma.f32 %184 %304 %11)
%306 = (fma.f32 %303 cosTheta_O %305)
%307 = (/.f32 %36 %16)
%308 = (-.f32 %307 %13)
%309 = (fma.f32 %303 cosTheta_O %308)
%310 = (neg.f32 %300)
%311 = (fma.f32 %303 cosTheta_O %310)
%312 = (/.f32 %201 v)
%313 = (fma.f32 %303 cosTheta_O %312)
%314 = (/.f32 cosTheta_O v)
%315 = (fma.f32 %314 cosTheta_i %305)
%316 = (fma.f32 %314 cosTheta_i %308)
%317 = (fma.f32 %314 cosTheta_i %310)
%318 = (fma.f32 %314 cosTheta_i %312)
%319 = (fma.f32 %237 %13 %11)
%320 = (fma.f32 %231 %13 %305)
%321 = (fma.f32 %231 %13 %308)
%322 = (fma.f32 %231 %13 %310)
%323 = (fma.f32 %231 %13 %312)
%324 = (/.f32 #s(literal 1 binary32) %249)
%325 = (fma.f32 %267 %324 %11)
%326 = (fma.f32 %240 %11 %305)
%327 = (fma.f32 %240 %11 %308)
%328 = (fma.f32 %240 %11 %310)
%329 = (fma.f32 %240 %11 %312)
%330 = (fma.f32 #s(literal -1 binary32) %13 %222)
%331 = (fma.f32 %31 %13 %305)
%332 = (fma.f32 %31 %13 %308)
%333 = (fma.f32 %31 %13 %310)
%334 = (fma.f32 %31 %13 %312)
%335 = (fma.f32 %13 %206 %11)
%336 = (fma.f32 %13 %31 %305)
%337 = (fma.f32 %13 %31 %308)
%338 = (fma.f32 %13 %31 %310)
%339 = (fma.f32 %13 %31 %312)
%340 = (fma.f32 #s(literal 1 binary32) %11 %222)
%341 = (fma.f32 cosTheta_O %303 %305)
%342 = (fma.f32 cosTheta_O %303 %308)
%343 = (fma.f32 cosTheta_O %303 %310)
%344 = (fma.f32 cosTheta_O %303 %312)
%345 = (fma.f32 cosTheta_i %314 %305)
%346 = (fma.f32 cosTheta_i %314 %308)
%347 = (fma.f32 cosTheta_i %314 %310)
%348 = (fma.f32 cosTheta_i %314 %312)
%349 = (pow.f32 %283 #s(literal 1 binary32))
%350 = (+.f32 %11 %222)
%351 = (+.f32 %222 %11)
%352 = (+.f32 %299 %305)
%353 = (+.f32 %299 %308)
%354 = (+.f32 %299 %310)
%355 = (+.f32 %299 %312)
%359 = (neg.f32 (+.f32 (/.f32 (-.f32 %36 %31) v) %13))
%361 = (neg.f32 (/.f32 %203 %16))
%363 = (neg.f32 (*.f32 %218 %13))
%365 = (neg.f32 (-.f32 %300 %299))
%366 = (/.f32 %218 v)
%367 = (neg.f32 %366)
%384 = (*.f32 %22 #s(literal 2 binary32))
%385 = (*.f32 %16 #s(literal -2 binary32))
%386 = (*.f32 %61 #s(literal 2 binary32))
%387 = (*.f32 #s(literal 2 binary32) %61)
%388 = (*.f32 #s(literal 2 binary32) v)
%389 = (*.f32 v #s(literal 2 binary32))
%390 = (*.f32 #s(literal 1 binary32) v)
%391 = (/.f32 %390 #s(literal 1/2 binary32))
%392 = (/.f32 %257 #s(literal 1/2 binary32))
%393 = (/.f32 %20 #s(literal 1/2 binary32))
%394 = (/.f32 %63 %60)
%395 = (/.f32 %16 #s(literal -1/2 binary32))
%396 = (/.f32 %61 #s(literal 1/2 binary32))
%397 = (/.f32 #s(literal 1 binary32) %8)
%398 = (/.f32 v #s(literal 1/2 binary32))
%400 = (sqrt.f32 (*.f32 %24 %24))
%401 = (-.f32 %75 %92)
%402 = (-.f32 v %16)
%403 = (fma.f32 #s(literal 1 binary32) v %390)
%404 = (fma.f32 v #s(literal 1 binary32) %257)
%405 = (pow.f32 %24 #s(literal 1 binary32))
%406 = (pow.f32 %8 #s(literal -1 binary32))
%407 = (*.f32 %81 #s(literal 1 binary32))
%410 = (+.f32 (cosh.f32 %407) (sinh.f32 %407))
%411 = (+.f32 %390 %390)
%412 = (+.f32 %257 %257)
%413 = (+.f32 %77 %75)
%414 = (+.f32 %75 %77)
%415 = (+.f32 v %20)
%416 = (fabs.f32 %54)
%417 = (fabs.f32 %24)
%418 = (exp.f32 %407)
%419 = (exp.f32 %81)
%420 = (neg.f32 %54)
%424 = (-.f32 %283 #s(literal -6931/10000 binary32))
%427 = (+.f32 #s(literal 6931/10000 binary32) %222)
%431 = (-.f32 %13 #s(literal 6931/10000 binary32))
%441 = (+.f32 %11 #s(literal 6931/10000 binary32))
%443 = (-.f32 %11 #s(literal -6931/10000 binary32))
%445 = (neg.f32 %431)
%447 = (-.f32 %307 %431)
%477 = (+.f32 %366 #s(literal -6931/10000 binary32))
%479 = (-.f32 %431 %222)
%481 = (-.f32 #s(literal -6931/10000 binary32) %283)
%527 = (-.f32 %81 #s(literal 6931/10000 binary32))
%532 = (+.f32 %59 #s(literal 6931/10000 binary32))
%541 = (-.f32 #s(literal 6931/10000 binary32) %81)
%554 = (+.f32 %130 #s(literal 6931/10000 binary32))
%573 = (exp.f32 %424)
%576 = (exp.f32 %283)
%577 = (exp.f32 #s(literal 6931/10000 binary32))
%581 = (*.f32 %576 #s(literal 1 binary32))
%582 = (exp.f32 #s(literal -6931/10000 binary32))
%585 = (neg.f32 %582)
%596 = (cosh.f32 %424)
%604 = (+.f32 %424 #s(literal 0 binary32))
%608 = (*.f32 %424 #s(literal 1 binary32))
%612 = (sinh.f32 %424)
%615 = (neg.f32 %573)
%620 = (*.f32 %573 #s(literal -1 binary32))
%625 = (cosh.f32 #s(literal -6931/10000 binary32))
%630 = (sinh.f32 #s(literal 6931/10000 binary32))
%633 = (neg.f32 %577)
%638 = (/.f32 %582 #s(literal 1/2 binary32))
%642 = (/.f32 %582 #s(literal 1 binary32))
%644 = (*.f32 %582 %24)
%650 = (/.f32 %577 v)
%651 = (*.f32 %650 #s(literal 1/2 binary32))
%655 = (cosh.f32 %527)
%656 = (sinh.f32 %541)
%660 = (*.f32 %527 #s(literal 1 binary32))
%664 = (sinh.f32 %527)
%667 = (neg.f32 %644)
%672 = (* cosTheta_O cosTheta_i)
%676 = (log (/ 1/2 v))
%678 = (approx (+ (/ %672 v) %676) %86)
%689 = (-.f32 #s(literal 1 binary32) %31)
%691 = (* sinTheta_O sinTheta_i)
%694 = (- (- %672 %691) 1)
%695 = (approx %694 %208)
%706 = (approx (- (- %672 (* (- -6931/10000 %676) v)) (- %691 -1)) %185)
%711 = (- (/ %694 v) -6931/10000)
%712 = (/ v 1/2)
%714 = (- %711 (log %712))
%715 = (approx %714 %283)
%719 = (*.f32 %577 #s(literal 1 binary32))
%744 = (*.f32 %577 #s(literal 1/2 binary32))
%787 = (approx (/ (exp %711) %712) %651)
%792 = (-.f32 %31 (*.f32 %81 v))
%795 = (*.f32 %81 %16)
%803 = (*.f32 (neg.f32 (neg.f32 cosTheta_O)) cosTheta_i)
%805 = (neg.f32 %240)
%823 = (fma.f32 %81 %16 %208)
%828 = (neg.f32 cosTheta_i)
%835 = (fma.f32 %81 %16 #s(literal -1 binary32))
%837 = (-.f32 %795 #s(literal 1 binary32))
%850 = (-.f32 #s(literal 1 binary32) %792)
%852 = (*.f32 %823 #s(literal 1 binary32))
%860 = (-.f32 %299 %81)
%878 = (+.f32 %86 %295)
%886 = (-.f32 %86 %13)
%892 = (-.f32 %299 %13)
%907 = (neg.f32 %878)
%920 = (/.f32 %792 %16)
%938 = (+.f32 %878 #s(literal 6931/10000 binary32))
%954 = (approx %711 #s(literal 6931/10000 binary32))
%958 = (approx %714 %541)
%962 = (exp.f32 %954)
%967 = (cosh.f32 %954)
%968 = (sinh.f32 %954)
%972 = (*.f32 %954 #s(literal 1 binary32))
%982 = (*.f32 %962 #s(literal 1 binary32))
%984 = (*.f32 %962 #s(literal 1/2 binary32))
%990 = (/.f32 %962 %24)
%1010 = (*.f32 %968 %8)
%1012 = (*.f32 %8 %968)
%1015 = (+.f32 %954 %86)
%1019 = (+.f32 %86 %954)
%1029 = (exp.f32 %958)
%1034 = (cosh.f32 %958)
%1035 = (sinh.f32 %958)
%1039 = (*.f32 %958 #s(literal 1 binary32))
%1051 = (/.f32 %573 v)
%1053 = (*.f32 %573 #s(literal 1/2 binary32))
%1059 = (/.f32 %573 %24)
%1074 = (*.f32 %582 %16)
%1077 = (*.f32 %582 v)
%1080 = (*.f32 %582 %54)
%1083 = (*.f32 %16 %582)
%1086 = (*.f32 v %582)
%1089 = (*.f32 %54 %582)
%1092 = (*.f32 %24 %582)
%1106 = (+.f32 %366 %527)
%1110 = (+.f32 %481 %81)
%1114 = (-.f32 %527 %283)
%1118 = (-.f32 %81 %424)
%1122 = (*.f32 %612 %8)
%1124 = (*.f32 %8 %612)
%1127 = (-.f32 %283 %527)
%1140 = (-.f32 %678 #s(literal -6931/10000 binary32))
%1143 = (neg.f32 %678)
%1152 = (fma.f32 %1140 v #s(literal -1 binary32))
%1162 = (-.f32 %1140 %13)
%1172 = (-.f32 %678 %13)
%1188 = (approx %714 %1162)
%1192 = (exp.f32 %1188)
%1197 = (cosh.f32 %1188)
%1198 = (sinh.f32 %1188)
%1202 = (*.f32 %1188 #s(literal 1 binary32))
%1212 = (approx %714 %938)
%1216 = (exp.f32 %1212)
%1221 = (cosh.f32 %1212)
%1222 = (sinh.f32 %1212)
%1226 = (*.f32 %1212 #s(literal 1 binary32))
%1236 = (exp.f32 %715)
%1241 = (cosh.f32 %715)
%1242 = (sinh.f32 %715)
%1246 = (*.f32 %715 #s(literal 1 binary32))
%1256 = (*.f32 %706 #s(literal 1 binary32))
%1258 = (neg.f32 %706)
%1268 = (/.f32 %706 v)
%1280 = (approx %714 %1268)
%1284 = (exp.f32 %1280)
%1289 = (cosh.f32 %1280)
%1290 = (sinh.f32 %1280)
%1294 = (*.f32 %1280 #s(literal 1 binary32))
%1304 = (*.f32 %695 #s(literal 1 binary32))
%1306 = (neg.f32 %695)
%1316 = (/.f32 %695 v)
%1324 = (/.f32 %695 %16)
%1326 = (/.f32 %1306 v)
%1328 = (-.f32 %1316 #s(literal -6931/10000 binary32))
%1338 = (-.f32 #s(literal -6931/10000 binary32) %1316)
%1340 = (exp.f32 %1316)
%1342 = (neg.f32 %1340)
%1347 = (exp.f32 %1328)
%1354 = (cosh.f32 %1328)
%1358 = (*.f32 %1328 #s(literal 1 binary32))
%1362 = (cosh.f32 %1316)
%1364 = (sinh.f32 %1316)
%1367 = (sinh.f32 %1328)
%1374 = (*.f32 %1347 #s(literal 1 binary32))
%1375 = (*.f32 %1374 %8)
%1376 = (*.f32 %1347 #s(literal 1/2 binary32))
%1377 = (*.f32 %1376 %13)
%1378 = (*.f32 %651 %1340)
%1380 = (*.f32 %1342 (/.f32 #s(literal 1 binary32) %667))
%1381 = (*.f32 %1340 %651)
%1382 = (*.f32 %1347 %8)
%1383 = (*.f32 %8 %1347)
%1385 = (*.f32 #s(literal 1/2 binary32) (*.f32 %13 %1347))
%1386 = (/.f32 %1347 %24)
%1387 = (*.f32 #s(literal 1 binary32) %1386)
%1389 = (/.f32 (*.f32 %1347 #s(literal -1/2 binary32)) %16)
%1391 = (/.f32 (*.f32 %1347 #s(literal -1 binary32)) %54)
%1393 = (/.f32 (*.f32 %8 %1340) %582)
%1394 = (/.f32 %1374 %24)
%1396 = (/.f32 (*.f32 %1340 %8) %582)
%1398 = (/.f32 (*.f32 #s(literal -1/2 binary32) %1347) %16)
%1400 = (/.f32 (*.f32 #s(literal -1 binary32) %1347) %54)
%1402 = (/.f32 (*.f32 #s(literal 1 binary32) %1347) %24)
%1404 = (/.f32 (*.f32 %1340 #s(literal -1/2 binary32)) %1074)
%1406 = (/.f32 (*.f32 %1340 #s(literal 1/2 binary32)) %1077)
%1408 = (/.f32 (*.f32 %1340 #s(literal -1 binary32)) %1080)
%1410 = (/.f32 (*.f32 #s(literal -1/2 binary32) %1340) %1083)
%1412 = (/.f32 (*.f32 #s(literal 1/2 binary32) %1340) %1086)
%1414 = (/.f32 (*.f32 #s(literal -1 binary32) %1340) %1089)
%1416 = (/.f32 (*.f32 #s(literal 1 binary32) %1340) %1092)
%1418 = (/.f32 (*.f32 %1340 #s(literal 1 binary32)) %644)
%1420 = (/.f32 (neg.f32 %1376) %16)
%1423 = (/.f32 (neg.f32 %1342) (neg.f32 %667))
%1424 = (/.f32 %1376 v)
%1425 = (/.f32 %1342 %667)
%1426 = (/.f32 %1340 %644)
%1428 = (/.f32 #s(literal 1 binary32) (/.f32 v %1376))
%1430 = (/.f32 #s(literal 1 binary32) (/.f32 %667 %1342))
%1432 = (/.f32 #s(literal 1 binary32) (pow.f32 %1386 #s(literal -1 binary32)))
%1434 = (/.f32 #s(literal 1 binary32) (/.f32 %644 %1340))
%1435 = (-.f32 %1328 %81)
%1436 = (cosh.f32 %1435)
%1439 = (-.f32 %1436 (sinh.f32 (-.f32 %527 %1316)))
%1440 = (*.f32 %1367 %8)
%1441 = (fma.f32 %1354 %8 %1440)
%1442 = (*.f32 %8 %1367)
%1443 = (fma.f32 %8 %1354 %1442)
%1444 = (pow.f32 %1386 #s(literal 1 binary32))
%1445 = (+.f32 %86 %1328)
%1448 = (+.f32 (cosh.f32 %1445) (sinh.f32 %1445))
%1449 = (*.f32 %1435 #s(literal 1 binary32))
%1452 = (+.f32 (cosh.f32 %1449) (sinh.f32 %1449))
%1454 = (+.f32 (*.f32 %8 %1354) %1442)
%1456 = (+.f32 (*.f32 %1354 %8) %1440)
%1459 = (+.f32 (/.f32 %1362 %644) (/.f32 %1364 %644))
%1461 = (+.f32 %1436 (sinh.f32 %1435))
%1462 = (fabs.f32 %1386)
%1463 = (exp.f32 %1445)
%1464 = (exp.f32 %1449)
%1465 = (exp.f32 %1435)
%1467 = (neg.f32 (/.f32 %1340 %667))
%1469 = (neg.f32 (/.f32 %1342 %644))
%1470 = (exp.f32 %695)
%1485 = (*.f32 %1316 #s(literal 1 binary32))
cosTheta_i
cosTheta_O
v
sinTheta_i
sinTheta_O
#s(literal 1 binary32)
(*.f32 #s(literal 2 binary32) %8)
(*.f32 #s(literal -1 binary32) %11)
(*.f32 %13 #s(literal 1 binary32))
(*.f32 #s(literal 1 binary32) %13)
(/.f32 #s(literal -1 binary32) %16)
(/.f32 #s(literal 1 binary32) (/.f32 %16 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) %20)
(/.f32 #s(literal 1 binary32) %22)
%13
(pow.f32 (*.f32 #s(literal 1/2 binary32) %24) #s(literal -1 binary32))
(pow.f32 %13 #s(literal 1 binary32))
(pow.f32 v #s(literal -1 binary32))
(neg.f32 %11)
#s(literal 6931/10000 binary32)
%31
(*.f32 cosTheta_i cosTheta_O)
(/.f32 #s(literal 1 binary32) (pow.f32 %31 #s(literal -1 binary32)))
(pow.f32 %31 #s(literal 1 binary32))
#s(literal -1 binary32)
%36
(*.f32 sinTheta_i sinTheta_O)
(/.f32 #s(literal 1 binary32) (pow.f32 %36 #s(literal -1 binary32)))
(pow.f32 %36 #s(literal 1 binary32))
#s(literal 1/2 binary32)
%42
%45
%46
%48
%50
%51
%52
%56
%57
%58
%64
%65
%66
%8
%67
%68
%70
%72
%73
%78
%79
%80
%85
%90
%93
%94
%95
%96
%97
%99
%101
%103
%105
%106
%109
%112
%113
%114
%115
%116
%118
%123
%126
%128
%131
%134
%137
%138
%139
%140
%143
%144
%145
%146
%147
%150
%153
%154
%155
%156
%157
%158
%159
%160
%161
%162
%166
%167
%168
%169
%170
%173
%174
%175
%176
%177
%178
%179
%86
%182
%183
%186
%180
%187
%188
%189
%193
%195
%197
%199
%200
%202
%205
%207
%209
%203
%210
%211
%212
%213
%214
%215
%216
%217
%219
%221
%224
%225
%226
%227
%229
%230
%233
%236
%239
%245
%250
%255
%259
%262
%265
%272
%277
%279
%280
%281
%282
%283
%285
%287
%289
%291
%294
%297
%298
%301
%302
%306
%309
%311
%313
%315
%316
%317
%318
%319
%320
%321
%322
%323
%325
%326
%327
%328
%329
%330
%331
%332
%333
%334
%335
%336
%337
%338
%339
%340
%341
%342
%343
%344
%345
%346
%347
%348
%349
%350
%351
%352
%353
%354
%355
%359
%361
%363
%365
%367
(*.f32 (*.f32 #s(literal -1 binary32) sinTheta_i) sinTheta_O)
%185
(*.f32 %190 sinTheta_i)
(*.f32 %36 #s(literal -1 binary32))
(*.f32 #s(literal -1 binary32) %36)
(*.f32 sinTheta_O (*.f32 sinTheta_i #s(literal -1 binary32)))
(*.f32 sinTheta_O %184)
(*.f32 sinTheta_i %190)
(/.f32 #s(literal 1 binary32) (pow.f32 %185 #s(literal -1 binary32)))
(pow.f32 %185 #s(literal 1 binary32))
(neg.f32 (*.f32 %36 #s(literal 1 binary32)))
(neg.f32 %196)
(neg.f32 %36)
%384
%385
%386
%387
%388
%389
%391
%392
%393
%394
%395
%396
%397
%398
%400
%401
%402
%403
%404
%405
%406
%410
%411
%412
%413
%414
%415
%24
%416
%417
%418
%419
%420
%182
%183
%186
%180
%187
%188
%189
%193
%195
%197
%199
%200
%202
%205
%207
%209
%203
%210
%211
%212
%213
%214
%215
%216
%217
%219
%221
%224
%225
%226
%227
%229
%230
%233
%236
%239
%245
%250
%255
%259
%262
%265
%272
%277
%279
%280
%281
%282
%283
%285
%287
%289
%291
%294
%297
%298
%301
%302
%306
%309
%311
%313
%315
%316
%317
%318
%319
%320
%321
%322
%323
%325
%326
%327
%328
%329
%330
%331
%332
%333
%334
%335
%336
%337
%338
%339
%340
%341
%342
%343
%344
%345
%346
%347
%348
%349
%350
%351
%352
%353
%354
%355
%359
%361
%363
%365
%367
#s(literal -6931/10000 binary32)
(/.f32 (fma.f32 #s(literal 6931/10000 binary32) v %223) v)
(/.f32 #s(literal 1 binary32) (pow.f32 %424 #s(literal -1 binary32)))
(-.f32 %427 %13)
(-.f32 (+.f32 #s(literal 6931/10000 binary32) %299) %300)
(-.f32 %222 %431)
(-.f32 %299 (-.f32 %300 #s(literal 6931/10000 binary32)))
(-.f32 %299 (+.f32 %300 #s(literal -6931/10000 binary32)))
(-.f32 %299 (fma.f32 %304 sinTheta_i %431))
%424
(-.f32 #s(literal 6931/10000 binary32) %366)
(fma.f32 %220 %13 #s(literal 6931/10000 binary32))
(fma.f32 %206 %13 %441)
(fma.f32 %206 %13 %443)
(fma.f32 %206 %13 %445)
(fma.f32 %303 cosTheta_O %447)
(fma.f32 %314 cosTheta_i %447)
(fma.f32 %223 %13 #s(literal 6931/10000 binary32))
(fma.f32 %237 %13 %441)
(fma.f32 %237 %13 %443)
(fma.f32 %237 %13 %445)
(fma.f32 %231 %13 %447)
(fma.f32 %267 %324 %441)
(fma.f32 %267 %324 %443)
(fma.f32 %267 %324 %445)
(fma.f32 %218 %11 #s(literal 6931/10000 binary32))
(fma.f32 %240 %11 %447)
(fma.f32 %203 %13 #s(literal 6931/10000 binary32))
(fma.f32 %31 %13 %447)
(fma.f32 %13 %206 %441)
(fma.f32 %13 %206 %443)
(fma.f32 %13 %206 %445)
(fma.f32 %13 %203 #s(literal 6931/10000 binary32))
(fma.f32 %13 %31 %447)
(fma.f32 cosTheta_O %303 %447)
(fma.f32 cosTheta_i %314 %447)
(pow.f32 %424 #s(literal 1 binary32))
(+.f32 %427 %11)
(+.f32 %222 %441)
(+.f32 %222 %443)
(+.f32 %222 %445)
(+.f32 %299 %447)
(+.f32 %283 #s(literal 6931/10000 binary32))
(+.f32 #s(literal 6931/10000 binary32) %283)
(neg.f32 %477)
(neg.f32 %479)
(neg.f32 %481)
(log.f32 (/.f32 #s(literal 1 binary32) %107))
(log.f32 %71)
%81
(*.f32 #s(literal 1 binary32) %81)
(/.f32 #s(literal 1 binary32) (pow.f32 %81 #s(literal -1 binary32)))
(-.f32 (log.f32 (fabs.f32 %390)) %59)
(-.f32 (log.f32 (fabs.f32 %257)) %59)
(-.f32 %133 %59)
(-.f32 %122 %120)
(-.f32 %136 %59)
(-.f32 %62 %59)
(-.f32 #s(literal 0 binary32) %86)
(-.f32 %129 %59)
(-.f32 %81 #s(literal 0 binary32))
(fma.f32 #s(literal 2 binary32) (*.f32 #s(literal 1/2 binary32) %129) %125)
(fma.f32 %130 #s(literal -1 binary32) %125)
(fma.f32 %129 #s(literal 1 binary32) %125)
(fma.f32 #s(literal -1 binary32) %130 %125)
(fma.f32 #s(literal -1 binary32) %59 %133)
(fma.f32 #s(literal -1 binary32) %59 %62)
(fma.f32 #s(literal -1 binary32) %59 %129)
(fma.f32 #s(literal 1 binary32) %133 %125)
(fma.f32 #s(literal 1 binary32) %125 %133)
(fma.f32 #s(literal 1 binary32) %125 %62)
(fma.f32 #s(literal 1 binary32) %125 %129)
(fma.f32 #s(literal 1 binary32) %62 %125)
(fma.f32 #s(literal 1 binary32) %129 %125)
(pow.f32 %81 #s(literal 1 binary32))
(+.f32 (log.f32 (fabs.f32 %22)) %125)
(+.f32 %133 %125)
(+.f32 %125 %133)
(+.f32 %125 %62)
(+.f32 %125 %129)
(+.f32 %62 %125)
(+.f32 %129 %125)
(neg.f32 %86)
%384
%385
%386
%387
%388
%389
%391
%392
%393
%394
%395
%396
%397
%398
%400
%401
%402
%403
%404
%405
%406
%410
%411
%412
%413
%414
%415
%24
%416
%417
%418
%419
%420
%109
%112
%113
%114
%115
%116
%118
%123
%126
%128
%131
%134
%137
%138
%139
%140
%143
%144
%145
%146
%147
%150
%153
%154
%155
%156
%157
%158
%159
%160
%161
%162
%166
%167
%168
%169
%170
%173
%174
%175
%176
%177
%178
%179
%86
(/.f32 #s(literal 1 binary32) (pow.f32 %527 #s(literal -1 binary32)))
(-.f32 (+.f32 #s(literal -6931/10000 binary32) %62) %59)
(-.f32 %62 %532)
%527
(-.f32 #s(literal -6931/10000 binary32) %86)
(fma.f32 #s(literal 1 binary32) %81 #s(literal -6931/10000 binary32))
(pow.f32 %527 #s(literal 1 binary32))
(+.f32 (-.f32 #s(literal -6931/10000 binary32) %59) %62)
(+.f32 %81 #s(literal -6931/10000 binary32))
(+.f32 #s(literal -6931/10000 binary32) %81)
(neg.f32 %541)
(/.f32 #s(literal 1 binary32) (pow.f32 %541 #s(literal -1 binary32)))
(-.f32 %532 %62)
(-.f32 %532 %129)
(-.f32 #s(literal 0 binary32) %527)
(-.f32 %59 (-.f32 %129 #s(literal 6931/10000 binary32)))
(-.f32 %59 (+.f32 %62 #s(literal -6931/10000 binary32)))
(-.f32 %86 #s(literal -6931/10000 binary32))
%541
(fma.f32 %129 #s(literal -1 binary32) %532)
(fma.f32 #s(literal -1 binary32) %125 %554)
(fma.f32 #s(literal -1 binary32) %62 %532)
(fma.f32 #s(literal -1 binary32) %129 %532)
(fma.f32 #s(literal -1 binary32) %81 #s(literal 6931/10000 binary32))
(fma.f32 #s(literal 1 binary32) %124 %532)
(fma.f32 #s(literal 1 binary32) %59 %554)
(fma.f32 #s(literal 1 binary32) %86 #s(literal 6931/10000 binary32))
(pow.f32 %541 #s(literal 1 binary32))
(+.f32 (+.f32 #s(literal 6931/10000 binary32) %130) %59)
(+.f32 (-.f32 #s(literal 6931/10000 binary32) %62) %59)
(+.f32 %532 %130)
(+.f32 %130 %532)
(+.f32 %59 %554)
(+.f32 %86 #s(literal 6931/10000 binary32))
(+.f32 #s(literal 6931/10000 binary32) %86)
(neg.f32 %527)
(*.f32 (*.f32 %573 #s(literal 2 binary32)) #s(literal 1/2 binary32))
(*.f32 %576 %577)
(*.f32 %573 #s(literal 1 binary32))
(*.f32 #s(literal 1 binary32) %573)
(/.f32 %581 %582)
(/.f32 (neg.f32 %576) %585)
(/.f32 %576 %582)
(/.f32 #s(literal 1 binary32) (/.f32 %582 %576))
(/.f32 #s(literal 1 binary32) (pow.f32 %573 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (exp.f32 %481))
(sqrt.f32 (pow.f32 %573 #s(literal 2 binary32)))
(-.f32 %596 (sinh.f32 %477))
(-.f32 %596 (sinh.f32 %479))
(-.f32 %596 (sinh.f32 %481))
(pow.f32 %573 #s(literal 1 binary32))
(+.f32 (cosh.f32 %604) (sinh.f32 %604))
(+.f32 (cosh.f32 %608) (sinh.f32 %608))
(+.f32 %612 %596)
(+.f32 %596 %612)
(fabs.f32 %615)
(fabs.f32 %573)
(exp.f32 %604)
(exp.f32 %608)
%573
(neg.f32 %620)
(/.f32 #s(literal 1 binary32) %582)
(sqrt.f32 (*.f32 %577 %577))
(-.f32 %625 (sinh.f32 #s(literal -6931/10000 binary32)))
(pow.f32 %582 #s(literal -1 binary32))
(pow.f32 %577 #s(literal 1 binary32))
(+.f32 %630 %625)
(+.f32 %625 %630)
(fabs.f32 %633)
(fabs.f32 %577)
%577
(*.f32 (/.f32 %582 #s(literal -1/2 binary32)) %16)
(*.f32 %638 v)
(*.f32 (/.f32 %582 #s(literal -1 binary32)) %54)
(*.f32 %642 %24)
%644
(/.f32 %638 %13)
(/.f32 %642 %8)
(/.f32 %585 (neg.f32 %8))
(/.f32 %582 %8)
(/.f32 #s(literal 1 binary32) %651)
(sqrt.f32 (pow.f32 %644 #s(literal 2 binary32)))
(-.f32 %655 %656)
(pow.f32 %651 #s(literal -1 binary32))
(pow.f32 %644 #s(literal 1 binary32))
(+.f32 (cosh.f32 %660) (sinh.f32 %660))
(+.f32 %664 %655)
(+.f32 %655 %664)
(fabs.f32 %667)
(fabs.f32 %644)
(exp.f32 %660)
(exp.f32 %527)
%42
%45
%46
%48
%50
%51
%52
%56
%57
%58
%64
%65
%66
%8
%67
%68
%70
%72
%73
%78
%79
%80
%85
%90
%93
%94
%95
%96
%97
%99
%101
%103
%105
%106
(/.f32 #s(literal 1 binary32) (pow.f32 %678 #s(literal -1 binary32)))
%678
(pow.f32 %678 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (pow.f32 %208 #s(literal -1 binary32)))
(-.f32 %31 #s(literal 1 binary32))
%208
(fma.f32 cosTheta_i cosTheta_O #s(literal -1 binary32))
(pow.f32 %208 #s(literal 1 binary32))
(+.f32 #s(literal -1 binary32) %31)
(+.f32 %31 #s(literal -1 binary32))
(neg.f32 %689)
(/.f32 #s(literal 1 binary32) (pow.f32 %695 #s(literal -1 binary32)))
%695
(pow.f32 %695 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (pow.f32 %706 #s(literal -1 binary32)))
%706
(pow.f32 %706 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (pow.f32 %715 #s(literal -1 binary32)))
%715
(pow.f32 %715 #s(literal 1 binary32))
(*.f32 %719 %13)
(*.f32 %633 %11)
(*.f32 %577 %13)
(*.f32 %13 %577)
(/.f32 (*.f32 %577 #s(literal -1 binary32)) %16)
(/.f32 %719 v)
(/.f32 (neg.f32 %633) %20)
(/.f32 %633 %16)
%650
(/.f32 #s(literal 1 binary32) (/.f32 %16 %633))
(/.f32 #s(literal 1 binary32) (pow.f32 %650 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 v %577))
(pow.f32 %650 #s(literal 1 binary32))
(+.f32 (/.f32 %625 v) (/.f32 %630 v))
(neg.f32 (/.f32 %577 %16))
(neg.f32 (/.f32 %633 v))
(*.f32 %744 %13)
%651
(*.f32 #s(literal 2 binary32) (/.f32 #s(literal 1/2 binary32) %644))
(*.f32 %577 %8)
(*.f32 #s(literal 1/2 binary32) %650)
(*.f32 #s(literal 1 binary32) %651)
(/.f32 (*.f32 %650 #s(literal 1 binary32)) #s(literal 2 binary32))
(/.f32 (*.f32 #s(literal 1/2 binary32) %633) %16)
(/.f32 (*.f32 %633 #s(literal 1/2 binary32)) %16)
(/.f32 (*.f32 #s(literal 1 binary32) %650) #s(literal 2 binary32))
(/.f32 (*.f32 %633 #s(literal 1 binary32)) %54)
(/.f32 %719 %24)
(/.f32 (*.f32 #s(literal 1 binary32) %633) %54)
(/.f32 (*.f32 #s(literal 1 binary32) %577) %24)
(/.f32 (neg.f32 %744) %16)
(/.f32 %744 v)
(/.f32 %650 #s(literal 2 binary32))
(/.f32 %8 %582)
(/.f32 #s(literal -1 binary32) %667)
(/.f32 #s(literal 1 binary32) (/.f32 %644 #s(literal 1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 v %744))
(/.f32 #s(literal 1 binary32) %644)
(-.f32 %655 %664)
(pow.f32 %651 #s(literal 1 binary32))
(pow.f32 %644 #s(literal -1 binary32))
(+.f32 %655 %656)
(fabs.f32 %651)
(exp.f32 %541)
(neg.f32 (/.f32 #s(literal -1 binary32) %644))
(/.f32 #s(literal 1 binary32) (pow.f32 %787 #s(literal -1 binary32)))
%787
(pow.f32 %787 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (pow.f32 %792 #s(literal -1 binary32)))
(-.f32 %795 %240)
(-.f32 %31 (*.f32 %16 %86))
(-.f32 %31 (neg.f32 %795))
%792
(fma.f32 %81 %16 %803)
(fma.f32 %81 %16 %805)
(fma.f32 %81 %16 %31)
(fma.f32 %86 v %803)
(fma.f32 %86 v %805)
(fma.f32 %86 v %31)
(fma.f32 v %86 %803)
(fma.f32 v %86 %805)
(fma.f32 v %86 %31)
(fma.f32 cosTheta_O cosTheta_i %795)
(fma.f32 cosTheta_i cosTheta_O %795)
(pow.f32 %792 #s(literal 1 binary32))
(+.f32 %795 %803)
(+.f32 %795 %805)
(+.f32 %795 %31)
(+.f32 %31 %795)
(neg.f32 (-.f32 %240 %795))
(/.f32 #s(literal 1 binary32) (pow.f32 %823 #s(literal -1 binary32)))
(-.f32 %795 (-.f32 %240 #s(literal -1 binary32)))
(-.f32 %795 (fma.f32 %828 cosTheta_O #s(literal 1 binary32)))
(-.f32 %795 %689)
(-.f32 %792 #s(literal 1 binary32))
%823
(fma.f32 %86 v %208)
(fma.f32 v %86 %208)
(fma.f32 cosTheta_O cosTheta_i %835)
(fma.f32 cosTheta_O cosTheta_i %837)
(fma.f32 cosTheta_i cosTheta_O %835)
(fma.f32 cosTheta_i cosTheta_O %837)
(pow.f32 %823 #s(literal 1 binary32))
(+.f32 %795 %208)
(+.f32 %792 #s(literal -1 binary32))
(+.f32 %208 %795)
(+.f32 #s(literal -1 binary32) %792)
(+.f32 %31 %835)
(+.f32 %31 %837)
(neg.f32 (fma.f32 %81 v %689))
(neg.f32 %850)
(*.f32 %852 %13)
(*.f32 %850 %11)
(*.f32 %823 %13)
(*.f32 %13 %823)
(/.f32 (*.f32 %823 #s(literal -1 binary32)) %16)
(/.f32 %852 v)
(/.f32 (-.f32 (*.f32 %860 %16) #s(literal -1 binary32)) %16)
(/.f32 (-.f32 (*.f32 %860 v) #s(literal 1 binary32)) v)
(/.f32 (-.f32 (*.f32 %792 %16) %252) %254)
(/.f32 (-.f32 (*.f32 %792 v) %257) %249)
(/.f32 %850 %16)
(/.f32 %823 %20)
(/.f32 %823 v)
(/.f32 #s(literal 1 binary32) (/.f32 %16 %850))
(/.f32 #s(literal 1 binary32) (pow.f32 %878 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 v %823))
(-.f32 %860 %13)
(-.f32 %86 (fma.f32 %828 %314 %13))
(fma.f32 %303 cosTheta_O %886)
(fma.f32 %314 cosTheta_i %886)
(fma.f32 %231 %13 %886)
(fma.f32 %240 %11 %886)
(fma.f32 %792 %13 %11)
(fma.f32 #s(literal -1 binary32) %81 %892)
(fma.f32 #s(literal -1 binary32) %81 %295)
(fma.f32 %31 %13 %886)
(fma.f32 %13 %31 %886)
(fma.f32 #s(literal 1 binary32) %86 %892)
(fma.f32 #s(literal 1 binary32) %86 %295)
(fma.f32 cosTheta_O %303 %886)
(fma.f32 cosTheta_i %314 %886)
(pow.f32 %878 #s(literal 1 binary32))
(+.f32 (/.f32 %795 v) %295)
(+.f32 %860 %11)
(+.f32 %299 %886)
(+.f32 %86 %892)
%878
(neg.f32 %907)
(*.f32 %850 %13)
(*.f32 %823 %11)
(/.f32 %850 %20)
(/.f32 %850 v)
(/.f32 %823 %16)
(/.f32 #s(literal 1 binary32) (/.f32 v %850))
(/.f32 #s(literal 1 binary32) (/.f32 %16 %823))
(/.f32 #s(literal 1 binary32) (pow.f32 %907 #s(literal -1 binary32)))
(-.f32 %920 %11)
(-.f32 %13 %860)
(pow.f32 %907 #s(literal 1 binary32))
(+.f32 (/.f32 %795 %16) (/.f32 %208 %16))
(+.f32 %920 %13)
%907
(/.f32 (fma.f32 #s(literal 6931/10000 binary32) %16 %850) %16)
(/.f32 (fma.f32 #s(literal 6931/10000 binary32) v %823) v)
(/.f32 (-.f32 (*.f32 #s(literal 6931/10000 binary32) v) %850) v)
(/.f32 (-.f32 (*.f32 #s(literal 6931/10000 binary32) %16) %823) %16)
(/.f32 #s(literal 1 binary32) (pow.f32 %938 #s(literal -1 binary32)))
(-.f32 (+.f32 #s(literal 6931/10000 binary32) %860) %13)
(-.f32 #s(literal 6931/10000 binary32) %907)
(fma.f32 %852 %13 #s(literal 6931/10000 binary32))
(fma.f32 %850 %11 #s(literal 6931/10000 binary32))
(fma.f32 %823 %13 #s(literal 6931/10000 binary32))
(fma.f32 %13 %823 #s(literal 6931/10000 binary32))
(pow.f32 %938 #s(literal 1 binary32))
%938
(+.f32 #s(literal 6931/10000 binary32) %878)
(neg.f32 (+.f32 #s(literal -6931/10000 binary32) %907))
(neg.f32 (-.f32 %907 #s(literal 6931/10000 binary32)))
(/.f32 #s(literal 1 binary32) (pow.f32 %954 #s(literal -1 binary32)))
%954
(pow.f32 %954 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (pow.f32 %958 #s(literal -1 binary32)))
%958
(pow.f32 %958 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (pow.f32 %962 #s(literal -1 binary32)))
(sqrt.f32 (*.f32 %962 %962))
(-.f32 %967 (neg.f32 %968))
(pow.f32 %962 #s(literal 1 binary32))
(+.f32 (cosh.f32 %972) (sinh.f32 %972))
(+.f32 %968 %967)
(+.f32 %967 %968)
(fabs.f32 (neg.f32 %962))
(fabs.f32 %962)
(exp.f32 %972)
%962
(*.f32 %982 %8)
(*.f32 %984 %13)
(*.f32 %962 %8)
(*.f32 %8 %962)
(*.f32 #s(literal 1/2 binary32) (*.f32 %13 %962))
(*.f32 #s(literal 1 binary32) %990)
(/.f32 (*.f32 %962 #s(literal -1/2 binary32)) %16)
(/.f32 (*.f32 %962 #s(literal -1 binary32)) %54)
(/.f32 %982 %24)
(/.f32 (*.f32 #s(literal -1/2 binary32) %962) %16)
(/.f32 (*.f32 #s(literal -1 binary32) %962) %54)
(/.f32 (*.f32 #s(literal 1 binary32) %962) %24)
(/.f32 (neg.f32 %984) %16)
(/.f32 %984 v)
%990
(/.f32 #s(literal 1 binary32) (/.f32 v %984))
(/.f32 #s(literal 1 binary32) (pow.f32 %990 #s(literal -1 binary32)))
(fma.f32 %967 %8 %1010)
(fma.f32 %8 %967 %1012)
(pow.f32 %990 #s(literal 1 binary32))
(+.f32 (cosh.f32 %1015) (sinh.f32 %1015))
(+.f32 (cosh.f32 %1019) (sinh.f32 %1019))
(+.f32 (*.f32 %8 %967) %1012)
(+.f32 (*.f32 %967 %8) %1010)
(exp.f32 %1015)
(exp.f32 %1019)
(/.f32 #s(literal 1 binary32) (pow.f32 %1029 #s(literal -1 binary32)))
(sqrt.f32 (pow.f32 %1029 #s(literal 2 binary32)))
(-.f32 %1034 (neg.f32 %1035))
(pow.f32 %1029 #s(literal 1 binary32))
(+.f32 (cosh.f32 %1039) (sinh.f32 %1039))
(+.f32 %1035 %1034)
(+.f32 %1034 %1035)
(fabs.f32 (neg.f32 %1029))
(fabs.f32 %1029)
(exp.f32 %1039)
%1029
(*.f32 (/.f32 %573 %16) #s(literal -1/2 binary32))
(*.f32 %1051 #s(literal 1/2 binary32))
(*.f32 %1053 %13)
(*.f32 %573 %8)
(*.f32 %8 %573)
(*.f32 #s(literal 1/2 binary32) (*.f32 %13 %573))
(*.f32 #s(literal 1 binary32) %1059)
(/.f32 (*.f32 %573 #s(literal -1/2 binary32)) %16)
(/.f32 (*.f32 %8 %576) %582)
(/.f32 (*.f32 %576 %8) %582)
(/.f32 (*.f32 #s(literal -1/2 binary32) %573) %16)
(/.f32 (*.f32 #s(literal -1 binary32) %573) %54)
(/.f32 %620 %54)
(/.f32 %1051 #s(literal 2 binary32))
(/.f32 (*.f32 %576 #s(literal -1/2 binary32)) %1074)
(/.f32 (*.f32 %576 #s(literal 1/2 binary32)) %1077)
(/.f32 (*.f32 %576 #s(literal -1 binary32)) %1080)
(/.f32 (*.f32 #s(literal -1/2 binary32) %576) %1083)
(/.f32 (*.f32 #s(literal 1/2 binary32) %576) %1086)
(/.f32 (*.f32 #s(literal -1 binary32) %576) %1089)
(/.f32 (*.f32 #s(literal 1 binary32) %576) %1092)
(/.f32 %581 %644)
(/.f32 (neg.f32 %1053) %16)
(/.f32 %615 %54)
(/.f32 %1053 v)
(/.f32 %576 %644)
%1059
(/.f32 #s(literal 1 binary32) (/.f32 v %1053))
(/.f32 #s(literal 1 binary32) (/.f32 %24 %573))
(/.f32 #s(literal 1 binary32) (pow.f32 %1059 #s(literal -1 binary32)))
(-.f32 (cosh.f32 %1106) (sinh.f32 %1106))
(-.f32 (cosh.f32 %1110) (sinh.f32 %1110))
(-.f32 (cosh.f32 %1114) (sinh.f32 %1114))
(-.f32 (cosh.f32 %1118) (sinh.f32 %1118))
(fma.f32 %596 %8 %1122)
(fma.f32 %8 %596 %1124)
(pow.f32 %1059 #s(literal 1 binary32))
(+.f32 (cosh.f32 %1127) (sinh.f32 %1127))
(+.f32 (*.f32 %8 %596) %1124)
(+.f32 (*.f32 %596 %8) %1122)
(+.f32 (/.f32 %596 %24) (/.f32 %612 %24))
(fabs.f32 %1059)
(exp.f32 %1127)
(/.f32 #s(literal 1 binary32) (pow.f32 %1140 #s(literal -1 binary32)))
%1140
(-.f32 #s(literal 6931/10000 binary32) %1143)
(pow.f32 %1140 #s(literal 1 binary32))
(+.f32 %678 #s(literal 6931/10000 binary32))
(+.f32 #s(literal 6931/10000 binary32) (neg.f32 %1143))
(+.f32 #s(literal 6931/10000 binary32) %678)
(neg.f32 (-.f32 %1143 #s(literal 6931/10000 binary32)))
(*.f32 %1152 %13)
(/.f32 (-.f32 (*.f32 %1140 %16) #s(literal -1 binary32)) %16)
(/.f32 (neg.f32 %1152) %16)
(/.f32 %1152 v)
(/.f32 #s(literal 1 binary32) (/.f32 v %1152))
(/.f32 #s(literal 1 binary32) (pow.f32 %1162 #s(literal -1 binary32)))
(-.f32 (/.f32 (*.f32 %1140 v) v) %13)
%1162
(-.f32 #s(literal 6931/10000 binary32) (-.f32 %1143 %11))
(-.f32 #s(literal 6931/10000 binary32) (+.f32 %1143 %13))
(-.f32 #s(literal 6931/10000 binary32) (neg.f32 %1172))
(fma.f32 #s(literal -1 binary32) %13 %1140)
(fma.f32 #s(literal 1 binary32) %11 %1140)
(pow.f32 %1162 #s(literal 1 binary32))
(+.f32 %11 %1140)
(+.f32 %1172 #s(literal 6931/10000 binary32))
(+.f32 %1140 %11)
(+.f32 %678 (+.f32 #s(literal 6931/10000 binary32) %11))
(+.f32 %678 (-.f32 #s(literal 6931/10000 binary32) %13))
(+.f32 #s(literal 6931/10000 binary32) %1172)
(neg.f32 (-.f32 %431 %678))
(/.f32 #s(literal 1 binary32) (pow.f32 %1188 #s(literal -1 binary32)))
%1188
(pow.f32 %1188 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (pow.f32 %1192 #s(literal -1 binary32)))
(sqrt.f32 (pow.f32 %1192 #s(literal 2 binary32)))
(-.f32 %1197 (neg.f32 %1198))
(pow.f32 %1192 #s(literal 1 binary32))
(+.f32 (cosh.f32 %1202) (sinh.f32 %1202))
(+.f32 %1198 %1197)
(+.f32 %1197 %1198)
(fabs.f32 (neg.f32 %1192))
(fabs.f32 %1192)
(exp.f32 %1202)
%1192
(/.f32 #s(literal 1 binary32) (pow.f32 %1212 #s(literal -1 binary32)))
%1212
(pow.f32 %1212 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (pow.f32 %1216 #s(literal -1 binary32)))
(sqrt.f32 (pow.f32 %1216 #s(literal 2 binary32)))
(-.f32 %1221 (neg.f32 %1222))
(pow.f32 %1216 #s(literal 1 binary32))
(+.f32 (cosh.f32 %1226) (sinh.f32 %1226))
(+.f32 %1222 %1221)
(+.f32 %1221 %1222)
(fabs.f32 (neg.f32 %1216))
(fabs.f32 %1216)
(exp.f32 %1226)
%1216
(/.f32 #s(literal 1 binary32) (pow.f32 %1236 #s(literal -1 binary32)))
(sqrt.f32 (pow.f32 %1236 #s(literal 2 binary32)))
(-.f32 %1241 (neg.f32 %1242))
(pow.f32 %1236 #s(literal 1 binary32))
(+.f32 (cosh.f32 %1246) (sinh.f32 %1246))
(+.f32 %1242 %1241)
(+.f32 %1241 %1242)
(fabs.f32 (neg.f32 %1236))
(fabs.f32 %1236)
(exp.f32 %1246)
%1236
(*.f32 %1256 %13)
(*.f32 %1258 %11)
(*.f32 %706 %13)
(*.f32 %13 %706)
(/.f32 (*.f32 %706 #s(literal -1 binary32)) %16)
(/.f32 %1256 v)
(/.f32 (neg.f32 %1258) %20)
(/.f32 %1258 %16)
%1268
(/.f32 #s(literal 1 binary32) (/.f32 %16 %1258))
(/.f32 #s(literal 1 binary32) (pow.f32 %1268 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 v %706))
(pow.f32 %1268 #s(literal 1 binary32))
(neg.f32 (/.f32 %706 %16))
(neg.f32 (/.f32 %1258 v))
(/.f32 #s(literal 1 binary32) (pow.f32 %1280 #s(literal -1 binary32)))
%1280
(pow.f32 %1280 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (pow.f32 %1284 #s(literal -1 binary32)))
(sqrt.f32 (pow.f32 %1284 #s(literal 2 binary32)))
(-.f32 %1289 (neg.f32 %1290))
(pow.f32 %1284 #s(literal 1 binary32))
(+.f32 (cosh.f32 %1294) (sinh.f32 %1294))
(+.f32 %1290 %1289)
(+.f32 %1289 %1290)
(fabs.f32 (neg.f32 %1284))
(fabs.f32 %1284)
(exp.f32 %1294)
%1284
(*.f32 %1304 %13)
(*.f32 %1306 %11)
(*.f32 %695 %13)
(*.f32 %13 %695)
(/.f32 (*.f32 %695 #s(literal -1 binary32)) %16)
(/.f32 %1304 v)
(/.f32 (neg.f32 %1306) %20)
(/.f32 %1306 %16)
%1316
(/.f32 #s(literal 1 binary32) (/.f32 %16 %1306))
(/.f32 #s(literal 1 binary32) (pow.f32 %1316 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 v %695))
(pow.f32 %1316 #s(literal 1 binary32))
(neg.f32 %1324)
(neg.f32 %1326)
(/.f32 #s(literal 1 binary32) (pow.f32 %1328 #s(literal -1 binary32)))
%1328
(fma.f32 %1304 %13 #s(literal 6931/10000 binary32))
(fma.f32 %1306 %11 #s(literal 6931/10000 binary32))
(fma.f32 %695 %13 #s(literal 6931/10000 binary32))
(fma.f32 %13 %695 #s(literal 6931/10000 binary32))
(pow.f32 %1328 #s(literal 1 binary32))
(+.f32 %1316 #s(literal 6931/10000 binary32))
(+.f32 #s(literal 6931/10000 binary32) %1316)
(neg.f32 %1338)
(*.f32 %1340 %577)
(/.f32 %1342 %585)
(/.f32 %1340 %582)
(/.f32 #s(literal 1 binary32) (/.f32 %582 %1340))
(/.f32 #s(literal 1 binary32) (pow.f32 %1347 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (exp.f32 %1338))
(sqrt.f32 (pow.f32 %1347 #s(literal 2 binary32)))
(-.f32 %1354 (sinh.f32 %1338))
(pow.f32 %1347 #s(literal 1 binary32))
(+.f32 (cosh.f32 %1358) (sinh.f32 %1358))
(+.f32 (/.f32 %1362 %582) (/.f32 %1364 %582))
(+.f32 %1367 %1354)
(+.f32 %1354 %1367)
(fabs.f32 (neg.f32 %1347))
(fabs.f32 %1347)
(exp.f32 %1358)
%1347
%1375
%1377
%1378
%1380
%1381
%1382
%1383
%1385
%1387
%1389
%1391
%1393
%1394
%1396
%1398
%1400
%1402
%1404
%1406
%1408
%1410
%1412
%1414
%1416
%1418
%1420
%1423
%1424
%1425
%1426
%1386
%1428
%1430
%1432
%1434
%1439
%1441
%1443
%1444
%1448
%1452
%1454
%1456
%1459
%1461
%1462
%1463
%1464
%1465
%1467
%1469
(/.f32 #s(literal 1 binary32) (pow.f32 %1470 %11))
(/.f32 #s(literal 1 binary32) (pow.f32 %1340 #s(literal -1 binary32)))
(sqrt.f32 (pow.f32 %1340 #s(literal 2 binary32)))
(-.f32 %1362 (sinh.f32 %1324))
(-.f32 %1362 (sinh.f32 %1326))
(-.f32 %1362 (neg.f32 %1364))
(pow.f32 %1470 %13)
(pow.f32 %1340 #s(literal 1 binary32))
(+.f32 (cosh.f32 %1485) (sinh.f32 %1485))
(+.f32 %1364 %1362)
(+.f32 %1362 %1364)
(fabs.f32 %1342)
(fabs.f32 %1340)
(exp.f32 %1485)
%1340
%1375
%1377
%1378
%1380
%1381
%1382
%1383
%1385
%1387
%1389
%1391
%1393
%1394
%1396
%1398
%1400
%1402
%1404
%1406
%1408
%1410
%1412
%1414
%1416
%1418
%1420
%1423
%1424
%1425
%1426
%1386
%1428
%1430
%1432
%1434
%1439
%1441
%1443
%1444
%1448
%1452
%1454
%1456
%1459
%1461
%1462
%1463
%1464
%1465
%1467
%1469

%6 = (/.f32 #s(literal 1 binary32) v)
%8 = (*.f32 cosTheta_O cosTheta_i)
%9 = (/.f32 %8 v)
%11 = (+.f32 #s(literal 6931/10000 binary32) %9)
%13 = (/.f32 #s(literal 1/2 binary32) v)
%14 = (-.f32 %11 %6)
%15 = (neg.f32 v)
%16 = (neg.f32 sinTheta_i)
%17 = (+.f32 v v)
%19 = (log.f32 %17)
%20 = (exp.f32 %19)
%21 = (neg.f32 %19)
%22 = (-.f32 #s(literal -6931/10000 binary32) %21)
%23 = (exp.f32 %22)
%24 = (/.f32 #s(literal 1 binary32) %20)
%26 = (* sinTheta_O sinTheta_i)
%27 = (+ 1 %26)
%28 = (approx %27 #s(literal 1 binary32))
%30 = (* cosTheta_O cosTheta_i)
%32 = (approx (- %30 1) #s(literal -1 binary32))
%35 = (approx (/ (- %30 %27) v) %9)
%37 = (- %30 (+ %26 1))
%40 = (- (/ %37 v) -6931/10000)
%41 = (approx %40 %14)
%42 = (-.f32 #s(literal 1 binary32) %8)
%43 = (/.f32 %42 v)
%52 = (approx (neg (/ (- (+ (* (neg (log (+ v v))) v) %30) 1) v)) %43)
%53 = (*.f32 %16 sinTheta_O)
%56 = (/ 1/2 v)
%57 = (log %56)
%59 = (approx (+ (/ %30 v) %57) %21)
%66 = (approx (- (- %30 (* (- -6931/10000 %57) v)) (- %26 -1)) %53)
%67 = (-.f32 %59 #s(literal -6931/10000 binary32))
%68 = (fma.f32 %67 v #s(literal -1 binary32))
%69 = (neg.f32 %68)
%70 = (/.f32 %69 %15)
%71 = (-.f32 %67 %6)
%78 = (- (- (/ (- (- %30 %26) 1) v) -6931/10000) (log (/ v 1/2)))
%79 = (approx %78 %71)
%81 = (/.f32 %66 v)
%82 = (approx %78 %81)
%84 = (/.f32 #s(literal 2097053/1048576 binary32) v)
%85 = (*.f32 #s(literal 1/2 binary32) %84)
%89 = (-.f32 %8 %28)
%90 = (/.f32 %89 v)
%104 = (+ (+ (- (- (/ (* cosTheta_i cosTheta_O) v) (/ (* sinTheta_i sinTheta_O) v)) (/ 1 v)) 6931/10000) (log (/ 1 (* 2 v))))
%105 = (approx %104 %90)
%107 = (approx %104 %35)
%109 = (exp.f32 %41)
%111 = (approx %37 %32)
%112 = (/.f32 %111 v)
%113 = (-.f32 %112 #s(literal -6931/10000 binary32))
%114 = (exp.f32 %113)
%116 = (exp.f32 %112)
%118 = (-.f32 #s(literal 6931/10000 binary32) %52)
%119 = (approx %104 %118)
%121 = (approx %104 %70)
cosTheta_i
cosTheta_O
v
sinTheta_i
sinTheta_O
#s(literal 1 binary32)
%6
#s(literal 6931/10000 binary32)
%8
%9
#s(literal -1 binary32)
%11
#s(literal 1/2 binary32)
%13
%14
%15
%16
%17
#s(literal -6931/10000 binary32)
%19
%20
%21
%22
%23
%24
%28
#s(literal 2097053/1048576 binary32)
%32
%35
%41
%42
%43
%52
%53
%59
%66
%67
%68
%69
%70
%71
%79
(exp.f32 %79)
%81
%82
(exp.f32 %82)
%84
%85
(approx (* (exp %40) %56) %85)
%89
%90
%105
(exp.f32 %105)
%107
(exp.f32 %107)
%109
(*.f32 %109 %24)
%111
%112
%113
%114
(*.f32 %114 %13)
%116
(/.f32 %116 %23)
%118
%119
(exp.f32 %119)
%121
(exp.f32 %121)

%8 = (/.f32 #s(literal 1/2 binary32) v)
%11 = (/.f32 #s(literal -1 binary32) v)
%13 = (/.f32 #s(literal 1 binary32) v)
%16 = (neg.f32 v)
%22 = (/.f32 v #s(literal 1 binary32))
%24 = (+.f32 v v)
%31 = (*.f32 cosTheta_O cosTheta_i)
%36 = (/.f32 cosTheta_i v)
%37 = (*.f32 %36 cosTheta_O)
%38 = (/.f32 cosTheta_O v)
%40 = (*.f32 %31 #s(literal 1 binary32))
%42 = (neg.f32 %31)
%50 = (neg.f32 %42)
%62 = (/.f32 %42 v)
%64 = (fma.f32 #s(literal 6931/10000 binary32) v %31)
%73 = (fma.f32 %36 cosTheta_O #s(literal 6931/10000 binary32))
%94 = (/.f32 #s(literal 2 binary32) v)
%96 = (*.f32 %94 #s(literal 1/4 binary32))
%98 = (*.f32 %11 #s(literal -1/2 binary32))
%99 = (*.f32 #s(literal -1/2 binary32) %11)
%100 = (*.f32 #s(literal 1/2 binary32) %8)
%101 = (*.f32 #s(literal 2 binary32) %100)
%102 = (/.f32 #s(literal 1/2 binary32) %24)
%103 = (*.f32 #s(literal 2 binary32) %102)
%104 = (*.f32 %8 #s(literal 1 binary32))
%105 = (*.f32 #s(literal 1/2 binary32) %13)
%107 = (*.f32 #s(literal -2 binary32) v)
%108 = (/.f32 #s(literal 1 binary32) %107)
%109 = (*.f32 #s(literal -1 binary32) %108)
%110 = (*.f32 %13 #s(literal 1/2 binary32))
%111 = (*.f32 #s(literal 1 binary32) %8)
%112 = (log.f32 #s(literal 1/2 binary32))
%113 = (exp.f32 %112)
%114 = (fabs.f32 v)
%115 = (log.f32 %114)
%116 = (exp.f32 %115)
%117 = (/.f32 %113 %116)
%118 = (/.f32 #s(literal -1/2 binary32) %16)
%119 = (/.f32 #s(literal -1 binary32) %107)
%120 = (/.f32 %13 #s(literal 2 binary32))
%122 = (/.f32 #s(literal 1 binary32) (/.f32 %107 #s(literal -1 binary32)))
%123 = (/.f32 %24 #s(literal 1 binary32))
%124 = (/.f32 #s(literal 1 binary32) %123)
%125 = (/.f32 #s(literal 1 binary32) %24)
%127 = (/.f32 (fma.f32 #s(literal 2 binary32) v %8) #s(literal 2 binary32))
%129 = (/.f32 (-.f32 %24 %8) #s(literal 2 binary32))
%130 = (-.f32 %127 %129)
%131 = (pow.f32 %24 #s(literal -1 binary32))
%132 = (pow.f32 %8 #s(literal 1 binary32))
%133 = (log.f32 %24)
%134 = (*.f32 %133 #s(literal -1 binary32))
%137 = (+.f32 (cosh.f32 %134) (sinh.f32 %134))
%138 = (neg.f32 %133)
%139 = (*.f32 %138 #s(literal 1 binary32))
%142 = (+.f32 (cosh.f32 %139) (sinh.f32 %139))
%144 = (/.f32 (-.f32 %8 %24) #s(literal 2 binary32))
%145 = (+.f32 %127 %144)
%146 = (fabs.f32 %8)
%147 = (exp.f32 %134)
%148 = (exp.f32 %139)
%149 = (exp.f32 %138)
%151 = (neg.f32 (*.f32 #s(literal -1 binary32) %8))
%152 = (/.f32 #s(literal 1/2 binary32) %16)
%153 = (neg.f32 %152)
%155 = (neg.f32 (/.f32 #s(literal -1/2 binary32) v))
%157 = (neg.f32 (/.f32 #s(literal -1 binary32) %24))
%158 = (neg.f32 %108)
%159 = (fma.f32 %73 v #s(literal -1 binary32))
%169 = (*.f32 v %16)
%172 = (*.f32 v #s(literal 1 binary32))
%174 = (*.f32 v v)
%181 = (fma.f32 cosTheta_O cosTheta_i #s(literal -1 binary32))
%182 = (/.f32 %181 v)
%183 = (+.f32 %182 #s(literal 6931/10000 binary32))
%190 = (-.f32 #s(literal 1 binary32) %31)
%191 = (/.f32 %190 v)
%193 = (+.f32 #s(literal 6931/10000 binary32) %11)
%195 = (-.f32 #s(literal 6931/10000 binary32) %13)
%226 = (neg.f32 sinTheta_i)
%230 = (*.f32 %22 #s(literal 2 binary32))
%231 = (*.f32 %114 #s(literal 2 binary32))
%232 = (*.f32 #s(literal 2 binary32) %114)
%233 = (*.f32 #s(literal 2 binary32) v)
%234 = (*.f32 %16 #s(literal -2 binary32))
%235 = (*.f32 v #s(literal 2 binary32))
%236 = (/.f32 %172 #s(literal 1/2 binary32))
%237 = (*.f32 #s(literal 1 binary32) v)
%238 = (/.f32 %237 #s(literal 1/2 binary32))
%239 = (/.f32 %116 %113)
%240 = (/.f32 %114 #s(literal 1/2 binary32))
%241 = (/.f32 %16 #s(literal -1/2 binary32))
%242 = (/.f32 #s(literal 1 binary32) %8)
%243 = (/.f32 v #s(literal 1/2 binary32))
%245 = (sqrt.f32 (*.f32 %24 %24))
%246 = (-.f32 %127 %144)
%247 = (-.f32 v %16)
%248 = (fma.f32 #s(literal 1 binary32) v %237)
%249 = (fma.f32 v #s(literal 1 binary32) %172)
%250 = (pow.f32 %24 #s(literal 1 binary32))
%251 = (pow.f32 %8 #s(literal -1 binary32))
%252 = (*.f32 %133 #s(literal 1 binary32))
%255 = (+.f32 (cosh.f32 %252) (sinh.f32 %252))
%256 = (+.f32 %172 %172)
%257 = (+.f32 %237 %237)
%258 = (+.f32 %129 %127)
%259 = (+.f32 %127 %129)
%260 = (fabs.f32 %107)
%261 = (fabs.f32 %24)
%262 = (exp.f32 %252)
%263 = (exp.f32 %133)
%264 = (neg.f32 %107)
%265 = (/.f32 #s(literal 1/2 binary32) %114)
%279 = (log.f32 (fabs.f32 %114))
%282 = (log.f32 (fabs.f32 %116))
%284 = (log.f32 (fabs.f32 %113))
%292 = (log.f32 #s(literal 2 binary32))
%305 = (fabs.f32 %13)
%317 = (log.f32 %305)
%323 = (log.f32 (fabs.f32 %11))
%325 = (neg.f32 %115)
%329 = (log.f32 (fabs.f32 %100))
%332 = (log.f32 (fabs.f32 %102))
%359 = (+.f32 %133 #s(literal -6931/10000 binary32))
%370 = (-.f32 #s(literal 6931/10000 binary32) %133)
%372 = (exp.f32 #s(literal -6931/10000 binary32))
%375 = (/.f32 %372 #s(literal 1/2 binary32))
%379 = (/.f32 %372 #s(literal 1 binary32))
%381 = (*.f32 %372 %24)
%384 = (neg.f32 %372)
%388 = (/.f32 %8 %372)
%392 = (cosh.f32 %359)
%397 = (*.f32 %359 #s(literal 1 binary32))
%401 = (sinh.f32 %359)
%404 = (neg.f32 %381)
%409 = (* sinTheta_O sinTheta_i)
%411 = (- %409 -1)
%412 = (approx %411 #s(literal 1 binary32))
%417 = (* cosTheta_O cosTheta_i)
%419 = (- %417 1)
%420 = (approx %419 #s(literal -1 binary32))
%424 = (- %419 %409)
%425 = (/ %424 v)
%426 = (approx %425 %37)
%431 = (- %425 -6931/10000)
%432 = (approx %431 %183)
%438 = (neg.f32 cosTheta_O)
%443 = (neg.f32 cosTheta_i)
%452 = (*.f32 %190 #s(literal 1 binary32))
%472 = (*.f32 %16 v)
%478 = (*.f32 %31 v)
%512 = (log (/ 1/2 v))
%516 = (approx (neg (+ %512 (/ %419 v))) %191)
%520 = (neg.f32 sinTheta_O)
%522 = (*.f32 %226 sinTheta_O)
%531 = (/ v 1/2)
%534 = (approx (- (/ %417 v) (log %531)) %138)
%542 = (approx (- (- %417 (* (- -6931/10000 %512) v)) %411) %522)
%546 = (-.f32 %534 #s(literal -6931/10000 binary32))
%552 = (-.f32 #s(literal -6931/10000 binary32) %534)
%554 = (fma.f32 %546 v #s(literal -1 binary32))
%557 = (*.f32 %546 v)
%559 = (*.f32 %552 v)
%565 = (fma.f32 %552 v #s(literal 1 binary32))
%578 = (*.f32 %11 %565)
%579 = (*.f32 %565 %11)
%580 = (*.f32 %554 %13)
%582 = (/.f32 (*.f32 %565 #s(literal 1 binary32)) %16)
%583 = (/.f32 %565 %16)
%584 = (/.f32 %554 v)
%586 = (/.f32 #s(literal 1 binary32) (/.f32 v %554))
%587 = (-.f32 %546 %13)
%589 = (/.f32 #s(literal 1 binary32) (pow.f32 %587 #s(literal -1 binary32)))
%591 = (/.f32 #s(literal 1 binary32) (/.f32 %16 %565))
%592 = (/.f32 %557 v)
%593 = (-.f32 %592 %13)
%594 = (-.f32 #s(literal -6931/10000 binary32) %11)
%595 = (-.f32 %534 %594)
%596 = (fma.f32 #s(literal 2 binary32) %152 %592)
%597 = (fma.f32 #s(literal 2 binary32) %152 %546)
%598 = (fma.f32 #s(literal -1 binary32) %13 %592)
%599 = (fma.f32 #s(literal -1 binary32) %13 %546)
%600 = (fma.f32 #s(literal 1 binary32) %11 %592)
%601 = (fma.f32 #s(literal 1 binary32) %11 %546)
%602 = (pow.f32 %587 #s(literal 1 binary32))
%604 = (+.f32 (/.f32 %559 %16) %11)
%605 = (+.f32 %592 %11)
%606 = (+.f32 %11 %592)
%607 = (+.f32 %11 %546)
%608 = (+.f32 %546 %11)
%609 = (+.f32 %534 %193)
%611 = (+.f32 %534 (neg.f32 %594))
%612 = (+.f32 %534 %195)
%614 = (neg.f32 (+.f32 %552 %13))
%616 = (neg.f32 (-.f32 %594 %534))
%618 = (neg.f32 (-.f32 %13 %546))
%619 = (+ %431 %512)
%620 = (approx %619 %587)
%622 = (/.f32 #s(literal 1 binary32) (pow.f32 %620 #s(literal -1 binary32)))
%623 = (pow.f32 %620 #s(literal 1 binary32))
%624 = (exp.f32 %620)
%626 = (/.f32 #s(literal 1 binary32) (pow.f32 %624 #s(literal -1 binary32)))
%628 = (sqrt.f32 (pow.f32 %624 #s(literal 2 binary32)))
%629 = (cosh.f32 %620)
%630 = (sinh.f32 %620)
%632 = (-.f32 %629 (neg.f32 %630))
%633 = (pow.f32 %624 #s(literal 1 binary32))
%634 = (*.f32 %620 #s(literal 1 binary32))
%637 = (+.f32 (cosh.f32 %634) (sinh.f32 %634))
%638 = (+.f32 %630 %629)
%639 = (+.f32 %629 %630)
%641 = (fabs.f32 (neg.f32 %624))
%642 = (fabs.f32 %624)
%643 = (exp.f32 %634)
%644 = (*.f32 %542 #s(literal 1 binary32))
%646 = (neg.f32 %542)
%656 = (/.f32 %542 v)
%668 = (approx %619 %656)
%672 = (exp.f32 %668)
%677 = (cosh.f32 %668)
%678 = (sinh.f32 %668)
%682 = (*.f32 %668 #s(literal 1 binary32))
%697 = (/.f32 #s(literal 2097053/1048576 binary32) v)
%720 = (/.f32 #s(literal 2097053/2097152 binary32) v)
%731 = (approx (/ (exp %431) %531) %720)
%735 = (-.f32 %31 %412)
%738 = (neg.f32 %412)
%746 = (-.f32 %412 %31)
%748 = (*.f32 %735 #s(literal 1 binary32))
%766 = (/.f32 %735 v)
%773 = (/.f32 %412 v)
%775 = (neg.f32 %773)
%777 = (/.f32 %738 v)
%804 = (approx %619 %766)
%808 = (exp.f32 %804)
%813 = (cosh.f32 %804)
%814 = (sinh.f32 %804)
%818 = (*.f32 %804 #s(literal 1 binary32))
%828 = (approx %619 %426)
%832 = (exp.f32 %828)
%837 = (cosh.f32 %828)
%838 = (sinh.f32 %828)
%842 = (*.f32 %828 #s(literal 1 binary32))
%852 = (exp.f32 %432)
%861 = (cosh.f32 %432)
%862 = (sinh.f32 %432)
%866 = (+.f32 %432 #s(literal 0 binary32))
%870 = (*.f32 %432 #s(literal 1 binary32))
%876 = (neg.f32 %852)
%881 = (*.f32 %852 #s(literal -1 binary32))
%883 = (*.f32 %852 #s(literal 1/2 binary32))
%887 = (/.f32 %852 #s(literal 2 binary32))
%889 = (/.f32 %852 v)
%895 = (/.f32 %852 %24)
%914 = (*.f32 %862 %8)
%916 = (*.f32 %8 %862)
%919 = (+.f32 %432 %138)
%923 = (+.f32 %138 %432)
%927 = (-.f32 %432 %133)
%942 = (approx %424 %420)
%946 = (*.f32 %942 #s(literal 1 binary32))
%948 = (neg.f32 %942)
%958 = (/.f32 %942 v)
%966 = (/.f32 %942 %16)
%968 = (/.f32 %948 v)
%970 = (-.f32 %958 #s(literal -6931/10000 binary32))
%980 = (-.f32 #s(literal -6931/10000 binary32) %958)
%982 = (exp.f32 %958)
%987 = (neg.f32 %982)
%992 = (exp.f32 %970)
%999 = (cosh.f32 %970)
%1003 = (*.f32 %970 #s(literal 1 binary32))
%1007 = (cosh.f32 %958)
%1009 = (sinh.f32 %958)
%1012 = (sinh.f32 %970)
%1019 = (*.f32 %992 #s(literal 1 binary32))
%1020 = (*.f32 %1019 %8)
%1021 = (*.f32 %992 #s(literal 1/2 binary32))
%1022 = (*.f32 %1021 %13)
%1023 = (*.f32 %388 %982)
%1025 = (*.f32 %987 (/.f32 #s(literal 1 binary32) %404))
%1026 = (*.f32 %982 %388)
%1027 = (*.f32 %992 %8)
%1028 = (*.f32 %8 %992)
%1030 = (*.f32 #s(literal 1/2 binary32) (*.f32 %13 %992))
%1031 = (/.f32 %992 %24)
%1032 = (*.f32 #s(literal 1 binary32) %1031)
%1034 = (/.f32 (*.f32 %992 #s(literal -1/2 binary32)) %16)
%1036 = (/.f32 (*.f32 %992 #s(literal -1 binary32)) %107)
%1038 = (/.f32 (*.f32 %8 %982) %372)
%1039 = (/.f32 %1019 %24)
%1041 = (/.f32 (*.f32 %982 %8) %372)
%1043 = (/.f32 (*.f32 #s(literal -1/2 binary32) %992) %16)
%1045 = (/.f32 (*.f32 #s(literal -1 binary32) %992) %107)
%1047 = (/.f32 (*.f32 #s(literal 1 binary32) %992) %24)
%1050 = (/.f32 (*.f32 %982 #s(literal -1/2 binary32)) (*.f32 %372 %16))
%1053 = (/.f32 (*.f32 %982 #s(literal 1/2 binary32)) (*.f32 %372 v))
%1056 = (/.f32 (*.f32 %982 #s(literal -1 binary32)) (*.f32 %372 %107))
%1059 = (/.f32 (*.f32 #s(literal -1/2 binary32) %982) (*.f32 %16 %372))
%1062 = (/.f32 (*.f32 #s(literal 1/2 binary32) %982) (*.f32 v %372))
%1065 = (/.f32 (*.f32 #s(literal -1 binary32) %982) (*.f32 %107 %372))
%1068 = (/.f32 (*.f32 #s(literal 1 binary32) %982) (*.f32 %24 %372))
%1070 = (/.f32 (*.f32 %982 #s(literal 1 binary32)) %381)
%1073 = (/.f32 (neg.f32 %987) (neg.f32 %404))
%1075 = (/.f32 (neg.f32 %1021) %16)
%1076 = (/.f32 %1021 v)
%1077 = (/.f32 %987 %404)
%1078 = (/.f32 %982 %381)
%1080 = (/.f32 #s(literal 1 binary32) (/.f32 %404 %987))
%1082 = (/.f32 #s(literal 1 binary32) (/.f32 v %1021))
%1084 = (/.f32 #s(literal 1 binary32) (pow.f32 %1031 #s(literal -1 binary32)))
%1086 = (/.f32 #s(literal 1 binary32) (/.f32 %381 %982))
%1087 = (-.f32 %970 %133)
%1088 = (cosh.f32 %1087)
%1091 = (-.f32 %1088 (sinh.f32 (-.f32 %359 %958)))
%1092 = (*.f32 %1012 %8)
%1093 = (fma.f32 %999 %8 %1092)
%1094 = (*.f32 %8 %1012)
%1095 = (fma.f32 %8 %999 %1094)
%1096 = (pow.f32 %1031 #s(literal 1 binary32))
%1097 = (+.f32 %138 %970)
%1100 = (+.f32 (cosh.f32 %1097) (sinh.f32 %1097))
%1101 = (*.f32 %1087 #s(literal 1 binary32))
%1104 = (+.f32 (cosh.f32 %1101) (sinh.f32 %1101))
%1106 = (+.f32 (*.f32 %8 %999) %1094)
%1108 = (+.f32 (*.f32 %999 %8) %1092)
%1111 = (+.f32 (/.f32 %1007 %381) (/.f32 %1009 %381))
%1113 = (+.f32 %1088 (sinh.f32 %1087))
%1114 = (fabs.f32 %1031)
%1115 = (exp.f32 %1097)
%1116 = (exp.f32 %1101)
%1117 = (exp.f32 %1087)
%1119 = (neg.f32 (/.f32 %982 %404))
%1121 = (neg.f32 (/.f32 %987 %381))
%1122 = (exp.f32 %942)
%1137 = (*.f32 %958 #s(literal 1 binary32))
%1146 = (-.f32 #s(literal 6931/10000 binary32) %516)
%1149 = (neg.f32 %516)
%1159 = (approx %619 %1146)
%1163 = (exp.f32 %1159)
%1168 = (cosh.f32 %1159)
%1169 = (sinh.f32 %1159)
%1173 = (*.f32 %1159 #s(literal 1 binary32))
cosTheta_i
cosTheta_O
v
sinTheta_i
sinTheta_O
#s(literal 1 binary32)
(*.f32 #s(literal 2 binary32) %8)
(*.f32 #s(literal -1 binary32) %11)
(*.f32 %13 #s(literal 1 binary32))
(*.f32 #s(literal 1 binary32) %13)
(/.f32 #s(literal -1 binary32) %16)
(/.f32 #s(literal 1 binary32) (/.f32 %16 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (pow.f32 %13 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) %22)
%13
(pow.f32 (*.f32 #s(literal 1/2 binary32) %24) #s(literal -1 binary32))
(pow.f32 %13 #s(literal 1 binary32))
(pow.f32 v #s(literal -1 binary32))
(neg.f32 %11)
#s(literal 6931/10000 binary32)
%31
(*.f32 cosTheta_i cosTheta_O)
(/.f32 #s(literal 1 binary32) (pow.f32 %31 #s(literal -1 binary32)))
(pow.f32 %31 #s(literal 1 binary32))
%37
(*.f32 %38 cosTheta_i)
(*.f32 %40 %13)
(*.f32 %42 %11)
(*.f32 %31 %13)
(*.f32 %13 %31)
(*.f32 cosTheta_O %36)
(*.f32 cosTheta_i %38)
(/.f32 (*.f32 %31 #s(literal -1 binary32)) %16)
(/.f32 %50 v)
(/.f32 %40 v)
(/.f32 %42 %16)
(/.f32 %31 v)
(/.f32 #s(literal 1 binary32) (/.f32 %16 %42))
(/.f32 #s(literal 1 binary32) (pow.f32 %37 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 v %31))
(pow.f32 %37 #s(literal 1 binary32))
(neg.f32 %62)
#s(literal -1 binary32)
(*.f32 %64 %13)
(/.f32 (fma.f32 #s(literal 6931/10000 binary32) %16 %42) %16)
(/.f32 (neg.f32 %64) %16)
(/.f32 %64 v)
(/.f32 #s(literal 1 binary32) (/.f32 v %64))
(/.f32 #s(literal 1 binary32) (pow.f32 %73 #s(literal -1 binary32)))
(-.f32 %37 #s(literal -6931/10000 binary32))
(-.f32 #s(literal 6931/10000 binary32) %62)
%73
(fma.f32 %38 cosTheta_i #s(literal 6931/10000 binary32))
(fma.f32 %40 %13 #s(literal 6931/10000 binary32))
(fma.f32 %42 %11 #s(literal 6931/10000 binary32))
(fma.f32 %31 %13 #s(literal 6931/10000 binary32))
(fma.f32 %13 %31 #s(literal 6931/10000 binary32))
(fma.f32 cosTheta_O %36 #s(literal 6931/10000 binary32))
(fma.f32 cosTheta_i %38 #s(literal 6931/10000 binary32))
(pow.f32 %73 #s(literal 1 binary32))
(+.f32 (/.f32 (*.f32 #s(literal 6931/10000 binary32) v) v) %37)
(+.f32 %37 #s(literal 6931/10000 binary32))
(+.f32 #s(literal 6931/10000 binary32) %37)
(neg.f32 (-.f32 %62 #s(literal 6931/10000 binary32)))
#s(literal 1/2 binary32)
%96
%98
%99
%101
%103
%104
%105
%109
%110
%111
%117
%118
%8
%119
%120
%122
%124
%125
%130
%131
%132
%137
%142
%145
%146
%147
%148
%149
%151
%153
%155
%157
%158
(*.f32 %159 %13)
(/.f32 (-.f32 (*.f32 %73 %16) #s(literal -1 binary32)) %16)
(/.f32 (-.f32 %64 #s(literal 1 binary32)) v)
(/.f32 (-.f32 (*.f32 %64 %16) (*.f32 v #s(literal -1 binary32))) %169)
(/.f32 (-.f32 (*.f32 %64 v) %172) %174)
(/.f32 (neg.f32 %159) %16)
(/.f32 %159 v)
(/.f32 #s(literal 1 binary32) (/.f32 v %159))
(/.f32 #s(literal 1 binary32) (pow.f32 %183 #s(literal -1 binary32)))
(-.f32 (/.f32 (*.f32 %73 v) v) %13)
(-.f32 %73 %13)
(-.f32 #s(literal 6931/10000 binary32) %191)
(fma.f32 %36 cosTheta_O %193)
(fma.f32 %36 cosTheta_O %195)
(fma.f32 %38 cosTheta_i %193)
(fma.f32 %38 cosTheta_i %195)
(fma.f32 %64 %13 %11)
(fma.f32 %40 %13 %193)
(fma.f32 %40 %13 %195)
(fma.f32 %42 %11 %193)
(fma.f32 %42 %11 %195)
(fma.f32 #s(literal 2 binary32) %152 %73)
(fma.f32 %31 %13 %193)
(fma.f32 %31 %13 %195)
(fma.f32 #s(literal -1 binary32) %13 %73)
(fma.f32 %13 %181 #s(literal 6931/10000 binary32))
(fma.f32 %13 %31 %193)
(fma.f32 %13 %31 %195)
(fma.f32 #s(literal 1 binary32) %11 %73)
(fma.f32 cosTheta_O %36 %193)
(fma.f32 cosTheta_O %36 %195)
(fma.f32 cosTheta_i %38 %193)
(fma.f32 cosTheta_i %38 %195)
(pow.f32 %183 #s(literal 1 binary32))
%183
(+.f32 %11 %73)
(+.f32 %73 %11)
(+.f32 %37 %193)
(+.f32 %37 %195)
(+.f32 #s(literal 6931/10000 binary32) %182)
(neg.f32 (-.f32 %191 #s(literal 6931/10000 binary32)))
(/.f32 #s(literal 1 binary32) %11)
(pow.f32 %16 #s(literal 1 binary32))
%16
(/.f32 #s(literal 1 binary32) (pow.f32 %226 #s(literal -1 binary32)))
(pow.f32 %226 #s(literal 1 binary32))
%226
%230
%231
%232
%233
%234
%235
%236
%238
%239
%240
%241
%242
%243
%245
%246
%247
%248
%249
%250
%251
%255
%256
%257
%258
%259
%24
%260
%261
%262
%263
%264
#s(literal -6931/10000 binary32)
(log.f32 (/.f32 #s(literal 1 binary32) %265))
(log.f32 %123)
%133
(*.f32 #s(literal 1 binary32) %133)
(/.f32 #s(literal 1 binary32) (pow.f32 %133 #s(literal -1 binary32)))
(-.f32 (log.f32 (fabs.f32 %172)) %112)
(-.f32 (log.f32 (fabs.f32 %237)) %112)
(-.f32 %279 %112)
(-.f32 %282 %284)
(-.f32 %115 %112)
(-.f32 #s(literal 0 binary32) %138)
(-.f32 %133 #s(literal 0 binary32))
(fma.f32 #s(literal -1 binary32) %112 %279)
(fma.f32 #s(literal -1 binary32) %112 %115)
(fma.f32 #s(literal 1 binary32) %279 %292)
(fma.f32 #s(literal 1 binary32) %292 %279)
(fma.f32 #s(literal 1 binary32) %292 %115)
(pow.f32 %133 #s(literal 1 binary32))
(+.f32 (log.f32 (fabs.f32 %22)) %292)
(+.f32 %279 %292)
(+.f32 %292 %279)
(+.f32 %292 %115)
(+.f32 %115 %292)
(neg.f32 %138)
%230
%231
%232
%233
%234
%235
%236
%238
%239
%240
%241
%242
%243
%245
%246
%247
%248
%249
%250
%251
%255
%256
%257
%258
%259
%24
%260
%261
%262
%263
%264
(log.f32 (*.f32 #s(literal 1/2 binary32) %305))
(log.f32 (*.f32 #s(literal 1 binary32) %265))
(log.f32 %265)
(log.f32 %8)
(*.f32 #s(literal -1 binary32) %133)
(*.f32 #s(literal 1 binary32) %138)
(/.f32 #s(literal 1 binary32) (pow.f32 %138 #s(literal -1 binary32)))
(-.f32 %284 %282)
(-.f32 %317 %292)
(-.f32 %112 %279)
(-.f32 %112 %115)
(-.f32 #s(literal 0 binary32) %133)
(fma.f32 #s(literal -1 binary32) %292 %323)
(fma.f32 #s(literal -1 binary32) %292 %325)
(fma.f32 #s(literal -1 binary32) %292 %317)
(fma.f32 #s(literal -1 binary32) %112 %329)
(fma.f32 #s(literal -1 binary32) %112 %332)
(fma.f32 #s(literal -1 binary32) %133 #s(literal 0 binary32))
(fma.f32 #s(literal 1 binary32) %292 %329)
(fma.f32 #s(literal 1 binary32) %292 %332)
(fma.f32 #s(literal 1 binary32) %112 %323)
(fma.f32 #s(literal 1 binary32) %112 %325)
(fma.f32 #s(literal 1 binary32) %112 %317)
(fma.f32 #s(literal 1 binary32) %138 #s(literal 0 binary32))
(pow.f32 %138 #s(literal 1 binary32))
(+.f32 (log.f32 (fabs.f32 %94)) (log.f32 #s(literal 1/4 binary32)))
(+.f32 %323 %112)
(+.f32 %325 %112)
(+.f32 %317 %112)
(+.f32 %292 %329)
(+.f32 %292 %332)
(+.f32 %112 %323)
(+.f32 %112 %325)
(+.f32 %112 %317)
(+.f32 #s(literal 0 binary32) (log.f32 (fabs.f32 %108)))
(+.f32 #s(literal 0 binary32) %138)
(+.f32 %138 #s(literal 0 binary32))
%138
(/.f32 #s(literal 1 binary32) (pow.f32 %359 #s(literal -1 binary32)))
(-.f32 (+.f32 #s(literal -6931/10000 binary32) %115) %112)
(-.f32 #s(literal -6931/10000 binary32) %138)
(fma.f32 #s(literal 1 binary32) %133 #s(literal -6931/10000 binary32))
(pow.f32 %359 #s(literal 1 binary32))
(+.f32 (-.f32 #s(literal -6931/10000 binary32) %112) %115)
%359
(+.f32 #s(literal -6931/10000 binary32) %133)
(neg.f32 %370)
(*.f32 (/.f32 %372 #s(literal -1/2 binary32)) %16)
(*.f32 %375 v)
(*.f32 (/.f32 %372 #s(literal -1 binary32)) %107)
(*.f32 %379 %24)
%381
(/.f32 %375 %13)
(/.f32 %379 %8)
(/.f32 %384 (neg.f32 %8))
(/.f32 %372 %8)
(/.f32 #s(literal 1 binary32) %388)
(sqrt.f32 (pow.f32 %381 #s(literal 2 binary32)))
(-.f32 %392 (sinh.f32 %370))
(pow.f32 %388 #s(literal -1 binary32))
(pow.f32 %381 #s(literal 1 binary32))
(+.f32 (cosh.f32 %397) (sinh.f32 %397))
(+.f32 %401 %392)
(+.f32 %392 %401)
(fabs.f32 %404)
(fabs.f32 %381)
(exp.f32 %397)
(exp.f32 %359)
%96
%98
%99
%101
%103
%104
%105
%109
%110
%111
%117
%118
%8
%119
%120
%122
%124
%125
%130
%131
%132
%137
%142
%145
%146
%147
%148
%149
%151
%153
%155
%157
%158
(/.f32 #s(literal 1 binary32) (pow.f32 %412 #s(literal -1 binary32)))
%412
(pow.f32 %412 #s(literal 1 binary32))
#s(literal 2097053/1048576 binary32)
(/.f32 #s(literal 1 binary32) (pow.f32 %420 #s(literal -1 binary32)))
%420
(pow.f32 %420 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (pow.f32 %426 #s(literal -1 binary32)))
%426
(pow.f32 %426 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (pow.f32 %432 #s(literal -1 binary32)))
%432
(pow.f32 %432 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (pow.f32 %190 #s(literal -1 binary32)))
(-.f32 #s(literal 1 binary32) (*.f32 (neg.f32 %438) cosTheta_i))
(-.f32 #s(literal 1 binary32) %50)
%190
(fma.f32 %443 cosTheta_O #s(literal 1 binary32))
(fma.f32 %438 cosTheta_i #s(literal 1 binary32))
(fma.f32 cosTheta_O %443 #s(literal 1 binary32))
(fma.f32 cosTheta_i %438 #s(literal 1 binary32))
(pow.f32 %190 #s(literal 1 binary32))
(+.f32 %42 #s(literal 1 binary32))
(+.f32 #s(literal 1 binary32) %42)
(neg.f32 %181)
(*.f32 %452 %13)
(*.f32 %190 %13)
(*.f32 %181 %11)
(*.f32 %13 %190)
(/.f32 (*.f32 %190 #s(literal -1 binary32)) %16)
(/.f32 %452 v)
(/.f32 (-.f32 (*.f32 %13 %16) %42) %16)
(/.f32 (-.f32 #s(literal -1 binary32) %42) %16)
(/.f32 (-.f32 (*.f32 #s(literal -1 binary32) %16) (*.f32 %16 %42)) %174)
(/.f32 (-.f32 (*.f32 #s(literal -1 binary32) v) (*.f32 %16 %31)) %472)
(/.f32 (-.f32 (*.f32 #s(literal 1 binary32) %16) (*.f32 v %42)) %169)
(/.f32 (-.f32 %237 %478) %174)
%191
(/.f32 %181 %16)
(/.f32 #s(literal 1 binary32) (/.f32 %16 %181))
(/.f32 #s(literal 1 binary32) (pow.f32 %191 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 v %190))
(-.f32 %62 %11)
(-.f32 %13 %37)
(fma.f32 %443 %38 %13)
(fma.f32 %438 %36 %13)
(fma.f32 %42 %13 %13)
(fma.f32 #s(literal 2 binary32) %8 %62)
(fma.f32 %31 %11 %13)
(fma.f32 #s(literal -1 binary32) %11 %62)
(fma.f32 %13 #s(literal 1 binary32) %62)
(fma.f32 #s(literal 1 binary32) %13 %62)
(fma.f32 cosTheta_O (neg.f32 %36) %13)
(fma.f32 cosTheta_i (neg.f32 %38) %13)
(pow.f32 %191 #s(literal 1 binary32))
(+.f32 %62 %13)
(+.f32 %13 %62)
(neg.f32 (*.f32 %181 %13))
(neg.f32 (/.f32 %190 %16))
(neg.f32 %182)
(/.f32 #s(literal 1 binary32) (pow.f32 %516 #s(literal -1 binary32)))
%516
(pow.f32 %516 #s(literal 1 binary32))
(*.f32 %520 sinTheta_i)
%522
(*.f32 sinTheta_O %226)
(*.f32 sinTheta_i %520)
(/.f32 #s(literal 1 binary32) (pow.f32 %522 #s(literal -1 binary32)))
(pow.f32 %522 #s(literal 1 binary32))
(neg.f32 (*.f32 sinTheta_O sinTheta_i))
(/.f32 #s(literal 1 binary32) (pow.f32 %534 #s(literal -1 binary32)))
%534
(pow.f32 %534 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (pow.f32 %542 #s(literal -1 binary32)))
%542
(pow.f32 %542 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (pow.f32 %546 #s(literal -1 binary32)))
%546
(pow.f32 %546 #s(literal 1 binary32))
(+.f32 %534 #s(literal 6931/10000 binary32))
(+.f32 #s(literal 6931/10000 binary32) %534)
(neg.f32 %552)
(/.f32 #s(literal 1 binary32) (pow.f32 %554 #s(literal -1 binary32)))
(-.f32 %557 #s(literal 1 binary32))
(-.f32 #s(literal -1 binary32) %559)
%554
(fma.f32 v %546 #s(literal -1 binary32))
(pow.f32 %554 #s(literal 1 binary32))
(+.f32 %557 #s(literal -1 binary32))
(+.f32 #s(literal -1 binary32) %557)
(neg.f32 %565)
(/.f32 #s(literal 1 binary32) (pow.f32 %565 #s(literal -1 binary32)))
(-.f32 %559 #s(literal -1 binary32))
(-.f32 #s(literal 1 binary32) %557)
%565
(fma.f32 %546 %16 #s(literal 1 binary32))
(fma.f32 %16 %546 #s(literal 1 binary32))
(fma.f32 v %552 #s(literal 1 binary32))
(pow.f32 %565 #s(literal 1 binary32))
(+.f32 %559 #s(literal 1 binary32))
(+.f32 #s(literal 1 binary32) %559)
(neg.f32 %554)
%578
%579
%580
%582
%583
%584
%586
%589
%591
%593
%587
%595
%596
%597
%598
%599
%600
%601
%602
%604
%605
%606
%607
%608
%609
%611
%612
%614
%616
%618
%578
%579
%580
%582
%583
%584
%586
%589
%591
%593
%587
%595
%596
%597
%598
%599
%600
%601
%602
%604
%605
%606
%607
%608
%609
%611
%612
%614
%616
%618
%622
%620
%623
%626
%628
%632
%633
%637
%638
%639
%641
%642
%643
%624
(*.f32 %644 %13)
(*.f32 %646 %11)
(*.f32 %542 %13)
(*.f32 %13 %542)
(/.f32 (*.f32 %542 #s(literal -1 binary32)) %16)
(/.f32 %644 v)
(/.f32 (neg.f32 %646) v)
(/.f32 %646 %16)
%656
(/.f32 #s(literal 1 binary32) (/.f32 %16 %646))
(/.f32 #s(literal 1 binary32) (pow.f32 %656 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 v %542))
(pow.f32 %656 #s(literal 1 binary32))
(neg.f32 (/.f32 %542 %16))
(neg.f32 (/.f32 %646 v))
(/.f32 #s(literal 1 binary32) (pow.f32 %668 #s(literal -1 binary32)))
%668
(pow.f32 %668 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (pow.f32 %672 #s(literal -1 binary32)))
(sqrt.f32 (pow.f32 %672 #s(literal 2 binary32)))
(-.f32 %677 (neg.f32 %678))
(pow.f32 %672 #s(literal 1 binary32))
(+.f32 (cosh.f32 %682) (sinh.f32 %682))
(+.f32 %678 %677)
(+.f32 %677 %678)
(fabs.f32 (neg.f32 %672))
(fabs.f32 %672)
(exp.f32 %682)
%672
(*.f32 #s(literal -2097053/1048576 binary32) %11)
(*.f32 #s(literal 2097053/1048576 binary32) %13)
(*.f32 %13 #s(literal 2097053/1048576 binary32))
(/.f32 #s(literal -2097053/1048576 binary32) %16)
%697
(/.f32 #s(literal 1 binary32) (/.f32 %16 #s(literal -2097053/1048576 binary32)))
(/.f32 #s(literal 1 binary32) (pow.f32 %697 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 v #s(literal 2097053/1048576 binary32)))
(pow.f32 %697 #s(literal 1 binary32))
(neg.f32 (/.f32 #s(literal 2097053/1048576 binary32) %16))
(neg.f32 (/.f32 #s(literal -2097053/1048576 binary32) v))
(*.f32 #s(literal 2097053/2097152 binary32) %13)
(*.f32 %697 #s(literal 1/2 binary32))
(*.f32 #s(literal 2097053/1048576 binary32) %8)
(*.f32 #s(literal 1/2 binary32) %697)
(/.f32 (*.f32 %697 #s(literal 1 binary32)) #s(literal 2 binary32))
(/.f32 (*.f32 #s(literal 1 binary32) %697) #s(literal 2 binary32))
(/.f32 #s(literal -2097053/2097152 binary32) %16)
%720
(/.f32 #s(literal -2097053/1048576 binary32) %107)
(/.f32 %697 #s(literal 2 binary32))
(/.f32 #s(literal 2097053/1048576 binary32) %24)
(/.f32 #s(literal 1 binary32) (/.f32 v #s(literal 2097053/2097152 binary32)))
(/.f32 #s(literal 1 binary32) (pow.f32 %720 #s(literal -1 binary32)))
(pow.f32 %720 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (pow.f32 %731 #s(literal -1 binary32)))
%731
(pow.f32 %731 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (pow.f32 %735 #s(literal -1 binary32)))
(-.f32 %31 (neg.f32 %738))
%735
(fma.f32 cosTheta_O cosTheta_i %738)
(fma.f32 cosTheta_i cosTheta_O %738)
(pow.f32 %735 #s(literal 1 binary32))
(+.f32 %738 %31)
(+.f32 %31 %738)
(neg.f32 %746)
(*.f32 %748 %13)
(*.f32 %746 %11)
(*.f32 %735 %13)
(*.f32 %13 %735)
(/.f32 (*.f32 %735 #s(literal -1 binary32)) %16)
(/.f32 %748 v)
(/.f32 (-.f32 %40 %412) v)
(/.f32 (-.f32 (*.f32 %42 v) (*.f32 %16 %412)) %472)
(/.f32 (-.f32 %478 (*.f32 v %412)) %174)
(/.f32 %746 %16)
%766
(/.f32 #s(literal 1 binary32) (/.f32 %16 %746))
(/.f32 #s(literal 1 binary32) (pow.f32 %766 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 v %735))
(-.f32 %37 %773)
(fma.f32 %36 cosTheta_O %775)
(fma.f32 %36 cosTheta_O %777)
(fma.f32 %38 cosTheta_i %775)
(fma.f32 %38 cosTheta_i %777)
(fma.f32 %40 %13 %775)
(fma.f32 %40 %13 %777)
(fma.f32 %42 %11 %775)
(fma.f32 %42 %11 %777)
(fma.f32 %31 %13 %775)
(fma.f32 %31 %13 %777)
(fma.f32 %13 %31 %775)
(fma.f32 %13 %31 %777)
(fma.f32 cosTheta_O %36 %775)
(fma.f32 cosTheta_O %36 %777)
(fma.f32 cosTheta_i %38 %775)
(fma.f32 cosTheta_i %38 %777)
(pow.f32 %766 #s(literal 1 binary32))
(+.f32 %37 %775)
(+.f32 %37 %777)
(neg.f32 (*.f32 %746 %13))
(neg.f32 (/.f32 %735 %16))
(neg.f32 (/.f32 %746 v))
(neg.f32 (-.f32 %773 %37))
(/.f32 #s(literal 1 binary32) (pow.f32 %804 #s(literal -1 binary32)))
%804
(pow.f32 %804 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (pow.f32 %808 #s(literal -1 binary32)))
(sqrt.f32 (pow.f32 %808 #s(literal 2 binary32)))
(-.f32 %813 (neg.f32 %814))
(pow.f32 %808 #s(literal 1 binary32))
(+.f32 (cosh.f32 %818) (sinh.f32 %818))
(+.f32 %814 %813)
(+.f32 %813 %814)
(fabs.f32 (neg.f32 %808))
(fabs.f32 %808)
(exp.f32 %818)
%808
(/.f32 #s(literal 1 binary32) (pow.f32 %828 #s(literal -1 binary32)))
%828
(pow.f32 %828 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (pow.f32 %832 #s(literal -1 binary32)))
(sqrt.f32 (pow.f32 %832 #s(literal 2 binary32)))
(-.f32 %837 (neg.f32 %838))
(pow.f32 %832 #s(literal 1 binary32))
(+.f32 (cosh.f32 %842) (sinh.f32 %842))
(+.f32 %838 %837)
(+.f32 %837 %838)
(fabs.f32 (neg.f32 %832))
(fabs.f32 %832)
(exp.f32 %842)
%832
(*.f32 (*.f32 %852 #s(literal 2 binary32)) #s(literal 1/2 binary32))
(*.f32 %852 #s(literal 1 binary32))
(*.f32 #s(literal 1 binary32) %852)
(/.f32 #s(literal 1 binary32) (pow.f32 %852 #s(literal -1 binary32)))
(sqrt.f32 (pow.f32 %852 #s(literal 2 binary32)))
(-.f32 %861 (neg.f32 %862))
(pow.f32 %852 #s(literal 1 binary32))
(+.f32 (cosh.f32 %866) (sinh.f32 %866))
(+.f32 (cosh.f32 %870) (sinh.f32 %870))
(+.f32 %862 %861)
(+.f32 %861 %862)
(fabs.f32 %876)
(fabs.f32 %852)
(exp.f32 %866)
(exp.f32 %870)
%852
(neg.f32 %881)
(*.f32 %883 %13)
(*.f32 (/.f32 %852 %16) #s(literal -1/2 binary32))
(*.f32 %887 %13)
(*.f32 %889 #s(literal 1/2 binary32))
(*.f32 %852 %8)
(*.f32 %8 %852)
(*.f32 #s(literal 1/2 binary32) (*.f32 %13 %852))
(*.f32 #s(literal 1 binary32) %895)
(/.f32 (*.f32 %852 #s(literal -1/2 binary32)) %16)
(/.f32 %883 v)
(/.f32 (*.f32 #s(literal -1/2 binary32) %852) %16)
(/.f32 (*.f32 #s(literal 1/2 binary32) %852) v)
(/.f32 (*.f32 #s(literal -1 binary32) %852) %107)
(/.f32 %881 %107)
(/.f32 %887 v)
(/.f32 %889 #s(literal 2 binary32))
(/.f32 %876 %107)
%895
(/.f32 #s(literal 1 binary32) (/.f32 %24 %852))
(/.f32 #s(literal 1 binary32) (pow.f32 %895 #s(literal -1 binary32)))
(fma.f32 %861 %8 %914)
(fma.f32 %8 %861 %916)
(pow.f32 %895 #s(literal 1 binary32))
(+.f32 (cosh.f32 %919) (sinh.f32 %919))
(+.f32 (cosh.f32 %923) (sinh.f32 %923))
(+.f32 (cosh.f32 %927) (sinh.f32 %927))
(+.f32 (*.f32 %8 %861) %916)
(+.f32 (*.f32 %861 %8) %914)
(+.f32 (/.f32 %861 %24) (/.f32 %862 %24))
(fabs.f32 %895)
(exp.f32 %919)
(exp.f32 %923)
(exp.f32 %927)
(/.f32 #s(literal 1 binary32) (pow.f32 %942 #s(literal -1 binary32)))
%942
(pow.f32 %942 #s(literal 1 binary32))
(*.f32 %946 %13)
(*.f32 %948 %11)
(*.f32 %942 %13)
(*.f32 %13 %942)
(/.f32 (*.f32 %942 #s(literal -1 binary32)) %16)
(/.f32 %946 v)
(/.f32 (neg.f32 %948) v)
(/.f32 %948 %16)
%958
(/.f32 #s(literal 1 binary32) (/.f32 %16 %948))
(/.f32 #s(literal 1 binary32) (pow.f32 %958 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 v %942))
(pow.f32 %958 #s(literal 1 binary32))
(neg.f32 %966)
(neg.f32 %968)
(/.f32 #s(literal 1 binary32) (pow.f32 %970 #s(literal -1 binary32)))
%970
(fma.f32 %946 %13 #s(literal 6931/10000 binary32))
(fma.f32 %948 %11 #s(literal 6931/10000 binary32))
(fma.f32 %942 %13 #s(literal 6931/10000 binary32))
(fma.f32 %13 %942 #s(literal 6931/10000 binary32))
(pow.f32 %970 #s(literal 1 binary32))
(+.f32 %958 #s(literal 6931/10000 binary32))
(+.f32 #s(literal 6931/10000 binary32) %958)
(neg.f32 %980)
(*.f32 %982 (/.f32 #s(literal 1 binary32) %372))
(*.f32 %982 (exp.f32 #s(literal 6931/10000 binary32)))
(/.f32 %987 %384)
(/.f32 %982 %372)
(/.f32 #s(literal 1 binary32) (/.f32 %372 %982))
(/.f32 #s(literal 1 binary32) (pow.f32 %992 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (exp.f32 %980))
(sqrt.f32 (pow.f32 %992 #s(literal 2 binary32)))
(-.f32 %999 (sinh.f32 %980))
(pow.f32 %992 #s(literal 1 binary32))
(+.f32 (cosh.f32 %1003) (sinh.f32 %1003))
(+.f32 (/.f32 %1007 %372) (/.f32 %1009 %372))
(+.f32 %1012 %999)
(+.f32 %999 %1012)
(fabs.f32 (neg.f32 %992))
(fabs.f32 %992)
(exp.f32 %1003)
%992
%1020
%1022
%1023
%1025
%1026
%1027
%1028
%1030
%1032
%1034
%1036
%1038
%1039
%1041
%1043
%1045
%1047
%1050
%1053
%1056
%1059
%1062
%1065
%1068
%1070
%1073
%1075
%1076
%1077
%1078
%1031
%1080
%1082
%1084
%1086
%1091
%1093
%1095
%1096
%1100
%1104
%1106
%1108
%1111
%1113
%1114
%1115
%1116
%1117
%1119
%1121
(/.f32 #s(literal 1 binary32) (pow.f32 %1122 %11))
(/.f32 #s(literal 1 binary32) (pow.f32 %982 #s(literal -1 binary32)))
(sqrt.f32 (pow.f32 %982 #s(literal 2 binary32)))
(-.f32 %1007 (sinh.f32 %966))
(-.f32 %1007 (sinh.f32 %968))
(-.f32 %1007 (neg.f32 %1009))
(pow.f32 %1122 %13)
(pow.f32 %982 #s(literal 1 binary32))
(+.f32 (cosh.f32 %1137) (sinh.f32 %1137))
(+.f32 %1009 %1007)
(+.f32 %1007 %1009)
(fabs.f32 %987)
(fabs.f32 %982)
(exp.f32 %1137)
%982
%1020
%1022
%1023
%1025
%1026
%1027
%1028
%1030
%1032
%1034
%1036
%1038
%1039
%1041
%1043
%1045
%1047
%1050
%1053
%1056
%1059
%1062
%1065
%1068
%1070
%1073
%1075
%1076
%1077
%1078
%1031
%1080
%1082
%1084
%1086
%1091
%1093
%1095
%1096
%1100
%1104
%1106
%1108
%1111
%1113
%1114
%1115
%1116
%1117
%1119
%1121
(/.f32 #s(literal 1 binary32) (pow.f32 %1146 #s(literal -1 binary32)))
(-.f32 #s(literal 6931/10000 binary32) (neg.f32 %1149))
%1146
(pow.f32 %1146 #s(literal 1 binary32))
(+.f32 %1149 #s(literal 6931/10000 binary32))
(+.f32 #s(literal 6931/10000 binary32) %1149)
(neg.f32 (+.f32 #s(literal -6931/10000 binary32) %516))
(neg.f32 (-.f32 %516 #s(literal 6931/10000 binary32)))
(/.f32 #s(literal 1 binary32) (pow.f32 %1159 #s(literal -1 binary32)))
%1159
(pow.f32 %1159 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (pow.f32 %1163 #s(literal -1 binary32)))
(sqrt.f32 (pow.f32 %1163 #s(literal 2 binary32)))
(-.f32 %1168 (neg.f32 %1169))
(pow.f32 %1163 #s(literal 1 binary32))
(+.f32 (cosh.f32 %1173) (sinh.f32 %1173))
(+.f32 %1169 %1168)
(+.f32 %1168 %1169)
(fabs.f32 (neg.f32 %1163))
(fabs.f32 %1163)
(exp.f32 %1173)
%1163
%622
%620
%623
%626
%628
%632
%633
%637
%638
%639
%641
%642
%643
%624