File akira_3298d203c2acb68c474e5fdad8379181890b4403d6491c523c13730129be3f75.elf
Function:
    001dabb0
    001dabb0fmaf:
    001dabb0push rbp
    001dabb1mov rbp, rsp
    001dabb4cvtss2sd x0, x0
    001dabb8cvtss2sd x1, x1
    001dabbcmulsd x1, x0
    001dabc0xorps x0, x0
    001dabc3cvtss2sd x0, x2
    001dabc7addsd x0, x1
    001dabcbcvtsd2ss x0, x0
    001dabcfpop rbp
    001dabd0ret
    001dabb0
    001dabd1
    001dabd1 // align 0x10
    001dabe0
    001dabe0fma:
    001dabe0push rbp
    001dabe1mov rbp, rsp
    001dabe4push r14
    001dabe6push rbx
    001dabe7sub rsp, 64
    001dabebmov rbx, 0x7ff0000000000000
    001dabf5movq rax, x0
    001dabfanot rax
    001dabfdtest rax, rbx
    001dac00je 0x1dac0f
    001dac02movq rax, x1
    001dac07not rax
    001dac0atest rbx, rax
    001dac0djne 0x1dac24
    001dac0f
    001dac0floc_1dac0f:
    001dac0fmulsd x0, x1
    001dac13
    001dac13loc_1dac13:
    001dac13addsd x2, x0
    001dac17
    001dac17loc_1dac17:
    001dac17movapd x0, x2
    001dac1badd rsp, 64
    001dac1fpop rbx
    001dac20pop r14
    001dac22pop rbp
    001dac23ret
    001dac24
    001dac24loc_1dac24:
    001dac24movq rax, x2
    001dac29not rax
    001dac2ctest rbx, rax
    001dac2fje 0x1dac17
    001dac31xorpd x3, x3
    001dac35ucomisd x0, x3
    001dac39jne 0x1dac3d
    001dac3bjnp 0x1dac0f
    001dac3d
    001dac3dloc_1dac3d:
    001dac3ducomisd x1, x3
    001dac41jne 0x1dac45
    001dac43jnp 0x1dac0f
    001dac45
    001dac45loc_1dac45:
    001dac45xorpd x3, x3
    001dac49ucomisd x2, x3
    001dac4djne 0x1dac5b
    001dac4fjp 0x1dac5b
    001dac51mulsd x0, x1
    001dac55movapd x2, x0
    001dac59jmp 0x1dac17
    001dac5b
    001dac5bloc_1dac5b:
    001dac5blea rdi, [rbp-32]
    001dac5fmovaps [rbp-64], x2
    001dac63movsd_xmm [rbp-48], x1
    001dac68call math.frexp.frexp64
    001dac6dmov r14l, [rbp-24]
    001dac71movaps x0, [rbp-32]
    001dac75movaps [rbp-80], x0
    001dac79lea rdi, [rbp-32]
    001dac7dmovsd_xmm x0, [rbp-48]
    001dac82call math.frexp.frexp64
    001dac87movsd_xmm x0, [rbp-32]
    001dac8cmovaps [rbp-48], x0
    001dac90add r14l, [rbp-24]
    001dac94lea rdi, [rbp-32]
    001dac98movaps x0, [rbp-64]
    001dac9ccall math.frexp.frexp64
    001daca1movsd_xmm x0, [rbp-32]
    001daca6mov edi, r14l
    001daca9sub edi, [rbp-24]
    001dacaccmp edi, 106
    001dacafjg 0x1dacba
    001dacb1neg edi
    001dacb3call math.ldexp.ldexp__anon_3550
    001dacb8jmp 0x1dacd4
    001dacba
    001dacbaloc_1dacba:
    001dacbamovmskpd eax, x0
    001dacbeshl rax, 63
    001dacc2mov rcx, 0x10000000000000
    001dacccor rcx, rax
    001daccfmovq x0, rcx
    001dacd4
    001dacd4loc_1dacd4:
    001dacd4movapd x5, [rbp-80]
    001dacd9unpcklpd x5, [rbp-48]
    001dacdemovapd x1, [rip-0x146ee6]
    001dace6mulpd x1, x5
    001daceamovapd x2, x5
    001daceesubpd x2, x1
    001dacf2addpd x2, x1
    001dacf6subpd x5, x2
    001dacfamovapd x1, x2
    001dacfeunpckhpd x1, x2
    001dad02mulsd x1, x2
    001dad06shufpd x2, x2, 1
    001dad0bmulpd x2, x5
    001dad0fmovapd x4, x2
    001dad13unpckhpd x4, x2
    001dad17addsd x4, x2
    001dad1bmovapd x3, x1
    001dad1faddsd x3, x4
    001dad23subsd x1, x3
    001dad27addsd x1, x4
    001dad2bmovapd x2, x5
    001dad2funpckhpd x2, x5
    001dad33mulsd x2, x5
    001dad37addsd x2, x1
    001dad3bmovapd x6, x3
    001dad3faddsd x6, x0
    001dad43xorpd x4, x4
    001dad47ucomisd x6, x4
    001dad4bjne 0x1dad69
    001dad4djp 0x1dad69
    001dad4fmovapd x0, x2
    001dad53mov edi, r14l
    001dad56movaps [rbp-64], x6
    001dad5acall math.ldexp.ldexp__anon_3550
    001dad5fmovapd x2, [rbp-64]
    001dad64jmp 0x1dac13
    001dad69
    001dad69loc_1dad69:
    001dad69movapd x1, x6
    001dad6dsubsd x1, x3
    001dad71subsd x0, x1
    001dad75movapd x5, x6
    001dad79subsd x5, x1
    001dad7dsubsd x3, x5
    001dad81addsd x3, x0
    001dad85movapd x1, x2
    001dad89addsd x1, x3
    001dad8dmovapd x0, x1
    001dad91subsd x0, x3
    001dad95movapd x5, x1
    001dad99subsd x5, x0
    001dad9dsubsd x3, x5
    001dada1subsd x2, x0
    001dada5addsd x2, x3
    001dada9ucomisd x2, x4
    001dadadjne 0x1dadb1
    001dadafjnp 0x1dadd5
    001dadb1
    001dadb1loc_1dadb1:
    001dadb1movq rax, x1
    001dadb6test al, 1
    001dadb8jne 0x1dadd5
    001dadbamovq rcx, x2
    001dadbfxor rcx, rax
    001dadc2shr rcx, 62
    001dadc6neg rcx
    001dadc9add rax, rcx
    001dadccadd rax, 1
    001dadd0movq x1, rax
    001dadd5
    001dadd5loc_1dadd5:
    001dadd5movq rax, x6
    001daddamov rcx, 0x7fffffffffffffff
    001dade4and rcx, rax
    001dade7mov rax, rcx
    001dadeashr rax, 52
    001dadeecmp eax, 2047
    001dadf3je 0x1dae0c
    001dadf5test eax, eax
    001dadf7jne 0x1dae18
    001dadf9test rcx, rcx
    001dadfcje 0x1dae1f
    001dadfebsr rax, rcx
    001dae02xor eax, -64
    001dae05add eax, -1010
    001dae0ajmp 0x1dae24
    001dae0c
    001dae0cloc_1dae0c:
    001dae0cxor eax, eax
    001dae0ecmp rbx, rcx
    001dae11adc eax, 0x7fffffff
    001dae16jmp 0x1dae24
    001dae18
    001dae18loc_1dae18:
    001dae18add eax, -1023
    001dae1djmp 0x1dae24
    001dae1f
    001dae1floc_1dae1f:
    001dae1fmov eax, 0xffffffff80000000
    001dae24
    001dae24loc_1dae24:
    001dae24add eax, r14l
    001dae27cmp eax, -1022
    001dae2cjl 0x1dae46
    001dae2eaddsd x6, x1
    001dae32movapd x0, x6
    001dae36mov edi, r14l
    001dae39add rsp, 64
    001dae3dpop rbx
    001dae3epop r14
    001dae40pop rbp
    001dae41jmp 0x1d5d40
    001dae46
    001dae46loc_1dae46:
    001dae46movapd x0, x6
    001dae4amov edi, r14l
    001dae4dadd rsp, 64
    001dae51pop rbx
    001dae52pop r14
    001dae54pop rbp
    001dae55jmp 0x1dae60
    001dabe0
    001dae5a
    001dae5a // align 0x10
    001dae60
    001dae60compiler_rt.fma.add_and_denorm:
    001dae60push rbp
    001dae61mov rbp, rsp
    001dae64movapd x2, x0
    001dae68addsd x0, x1
    001dae6cmovapd x3, x0
    001dae70subsd x3, x2
    001dae74movapd x4, x0
    001dae78subsd x4, x3
    001dae7csubsd x2, x4
    001dae80subsd x1, x3
    001dae84addsd x1, x2
    001dae88xorpd x2, x2
    001dae8cucomisd x1, x2
    001dae90jne 0x1dae94
    001dae92jnp 0x1daed5
    001dae94
    001dae94loc_1dae94:
    001dae94movq rax, x0
    001dae99mov rcx, rax
    001dae9cshr rcx, 52
    001daea0and ecx, 2047
    001daea6add ecx, edi
    001daea8sete cl
    001daeabmov edx, eax
    001daeadand dl, 1
    001daeb0cmp dl, cl
    001daeb2je 0x1daed5
    001daeb4movmskpd ecx, x1
    001daeb8shl rcx, 63
    001daebcxor rcx, rax
    001daebfshr rcx, 62
    001daec3and ecx, -2
    001daec6neg rcx
    001daec9add rax, rcx
    001daeccadd rax, 1
    001daed0movq x0, rax
    001daed5
    001daed5loc_1daed5:
    001daed5pop rbp
    001daed6jmp 0x1d5d40
    001dae60
    001daedb
    001daedb // align 0x10
    001daee0
    001daee0__fmax:
    001daee0push rbp
    001daee1mov rbp, rsp
    001daee4push r15
    001daee6push r14
    001daee8push rbx
    001daee9sub rsp, 120
    001daeedfld [rbp+48]
    001daef0fld [rbp+32]
    001daef3mov r15, 0x7fffffffffffffff
    001daefdmov eax, [rbp+24]
    001daf00mov rdx, [rbp+16]
    001daf04mov edi, eax
    001daf06mov r14, 0x7fff000000000000
    001daf10and di, 32767
    001daf15jne 0x1daf27
    001daf17xor esi, esi
    001daf19mov ecx, 0
    001daf1etest rdx, rdx
    001daf21je 0x1dafa7
    001daf27
    001daf27loc_1daf27:
    001daf27movzx ecx, di
    001daf2acmp ecx, 32767
    001daf30jne 0x1daf45
    001daf32mov rsi, rdx
    001daf35shl rsi, 49
    001daf39shr rdx, 15
    001daf3dor rdx, r14
    001daf40mov rcx, rdx
    001daf43jmp 0x1dafa7
    001daf45
    001daf45loc_1daf45:
    001daf45test rdx, rdx
    001daf48js 0x1daf56
    001daf4aje 0x1daf6d
    001daf4cbsr rsi, rdx
    001daf50xor rsi, 63
    001daf54jmp 0x1daf72
    001daf56
    001daf56loc_1daf56:
    001daf56and rdx, r15
    001daf59mov rsi, rdx
    001daf5cshl rsi, 49
    001daf60shr rdx, 15
    001daf64shl rcx, 48
    001daf68or rcx, rdx
    001daf6bjmp 0x1dafa7
    001daf6d
    001daf6dloc_1daf6d:
    001daf6dmov esi, 64
    001daf72
    001daf72loc_1daf72:
    001daf72mov ecx, esi
    001daf74add cl, 50
    001daf77xor edi, edi
    001daf79shld rdi, rdx, cl
    001daf7dshl rdx, cl
    001daf80xor ebx, ebx
    001daf82test cl, 64
    001daf85cmovne rdi, rdx
    001daf89cmovne rdx, rbx
    001daf8dmov rbx, 0x1000000000000
    001daf97xor rbx, rdi
    001daf9alea ecx, [rsi+1]
    001daf9dshl rcx, 48
    001dafa1or rcx, rbx
    001dafa4mov rsi, rdx
    001dafa7
    001dafa7loc_1dafa7:
    001dafa7and eax, 32768
    001dafacshl rax, 48
    001dafb0or rax, rcx
    001dafb3mov [rbp-144], rsi
    001dafbamov [rbp-136], rax
    001dafc1movaps x0, [rbp-144]
    001dafc8fstp [rbp-80]
    001dafcbmov eax, [rbp-72]
    001dafcemov rdx, [rbp-80]
    001dafd2mov edi, eax
    001dafd4and di, 32767
    001dafd9jne 0x1dafeb
    001dafdbxor esi, esi
    001dafddmov ecx, 0
    001dafe2test rdx, rdx
    001dafe5je 0x1db06b
    001dafeb
    001dafebloc_1dafeb:
    001dafebmovzx ecx, di
    001dafeecmp ecx, 32767
    001daff4jne 0x1db009
    001daff6mov rsi, rdx
    001daff9shl rsi, 49
    001daffdshr rdx, 15
    001db001or rdx, r14
    001db004mov rcx, rdx
    001db007jmp 0x1db06b
    001db009
    001db009loc_1db009:
    001db009test rdx, rdx
    001db00cjs 0x1db01a
    001db00eje 0x1db031
    001db010bsr rsi, rdx
    001db014xor rsi, 63
    001db018jmp 0x1db036
    001db01a
    001db01aloc_1db01a:
    001db01aand rdx, r15
    001db01dmov rsi, rdx
    001db020shl rsi, 49
    001db024shr rdx, 15
    001db028shl rcx, 48
    001db02cor rcx, rdx
    001db02fjmp 0x1db06b
    001db031
    001db031loc_1db031:
    001db031mov esi, 64
    001db036
    001db036loc_1db036:
    001db036mov ecx, esi
    001db038add cl, 50
    001db03bxor edi, edi
    001db03dshld rdi, rdx, cl
    001db041shl rdx, cl
    001db044xor ebx, ebx
    001db046test cl, 64
    001db049cmovne rdi, rdx
    001db04dcmovne rdx, rbx
    001db051mov rbx, 0x1000000000000
    001db05bxor rbx, rdi
    001db05elea ecx, [rsi+1]
    001db061shl rcx, 48
    001db065or rcx, rbx
    001db068mov rsi, rdx
    001db06b
    001db06bloc_1db06b:
    001db06band eax, 32768
    001db070shl rax, 48
    001db074or rax, rcx
    001db077mov [rbp-128], rsi
    001db07bmov [rbp-120], rax
    001db07fmovaps x1, [rbp-128]
    001db083fstp [rbp-64]
    001db086mov eax, [rbp-56]
    001db089mov rdx, [rbp-64]
    001db08dmov edi, eax
    001db08fand di, 32767
    001db094jne 0x1db0a6
    001db096xor esi, esi
    001db098mov ecx, 0
    001db09dtest rdx, rdx
    001db0a0je 0x1db126
    001db0a6
    001db0a6loc_1db0a6:
    001db0a6movzx ecx, di
    001db0a9cmp ecx, 32767
    001db0afjne 0x1db0c4
    001db0b1mov rsi, rdx
    001db0b4shl rsi, 49
    001db0b8shr rdx, 15
    001db0bcor rdx, r14
    001db0bfmov rcx, rdx
    001db0c2jmp 0x1db126
    001db0c4
    001db0c4loc_1db0c4:
    001db0c4test rdx, rdx
    001db0c7js 0x1db0d5
    001db0c9je 0x1db0ec
    001db0cbbsr rsi, rdx
    001db0cfxor rsi, 63
    001db0d3jmp 0x1db0f1
    001db0d5
    001db0d5loc_1db0d5:
    001db0d5and rdx, r15
    001db0d8mov rsi, rdx
    001db0dbshl rsi, 49
    001db0dfshr rdx, 15
    001db0e3shl rcx, 48
    001db0e7or rcx, rdx
    001db0eajmp 0x1db126
    001db0ec
    001db0ecloc_1db0ec:
    001db0ecmov esi, 64
    001db0f1
    001db0f1loc_1db0f1:
    001db0f1mov ecx, esi
    001db0f3add cl, 50
    001db0f6xor edi, edi
    001db0f8shld rdi, rdx, cl
    001db0fcshl rdx, cl
    001db0ffxor ebx, ebx
    001db101test cl, 64
    001db104cmovne rdi, rdx
    001db108cmovne rdx, rbx
    001db10cmov rbx, 0x1000000000000
    001db116xor rbx, rdi
    001db119lea ecx, [rsi+1]
    001db11cshl rcx, 48
    001db120or rcx, rbx
    001db123mov rsi, rdx
    001db126
    001db126loc_1db126:
    001db126and eax, 32768
    001db12bshl rax, 48
    001db12for rax, rcx
    001db132mov [rbp-112], rsi
    001db136mov [rbp-104], rax
    001db13amovaps x2, [rbp-112]
    001db13ecall fmaq
    001db143movaps [rbp-96], x0
    001db147mov rbx, [rbp-96]
    001db14bmov rsi, [rbp-88]
    001db14fmov rax, rsi
    001db152and rax, r15
    001db155mov rdi, rsi
    001db158shld rdi, rbx, 15
    001db15dlea r8, [r15+1]
    001db161mov rcx, rdi
    001db164or rcx, r8
    001db167mov rdx, rbx
    001db16aneg rdx
    001db16dsbb r14, rax
    001db170mov dx, 32767
    001db174jb 0x1db1e1
    001db176shr rax, 48
    001db17amov edx, eax
    001db17cmov rax, 0x1ffffffffffff
    001db186and rbx, rax
    001db189mov rax, 0x1000000000001
    001db193cmp rbx, rax
    001db196jb 0x1db1af
    001db198mov rax, rcx
    001db19badd rax, 1
    001db19fadc dx, 0
    001db1a3xor eax, eax
    001db1a5add rcx, 1
    001db1a9cmove rax, r8
    001db1adjmp 0x1db1d4
    001db1af
    001db1afloc_1db1af:
    001db1afmov rax, 0x1000000000000
    001db1b9cmp rbx, rax
    001db1bcjne 0x1db1d7
    001db1beand edi, 1
    001db1c1mov rax, rcx
    001db1c4add rax, rdi
    001db1c7adc dx, 0
    001db1cbxor eax, eax
    001db1cdadd rcx, rdi
    001db1d0cmovb rax, r8
    001db1d4
    001db1d4loc_1db1d4:
    001db1d4or rcx, rax
    001db1d7
    001db1d7loc_1db1d7:
    001db1d7and r15, rcx
    001db1datest dx, dx
    001db1ddcmove rcx, r15
    001db1e1
    001db1e1loc_1db1e1:
    001db1e1shr rsi, 48
    001db1e5and esi, 32768
    001db1ebor edx, esi
    001db1edmov [rbp-48], rcx
    001db1f1mov [rbp-40], dx
    001db1f5fld [rbp-48]
    001db1f8add rsp, 120
    001db1fcpop rbx
    001db1fdpop r14
    001db1ffpop r15
    001db201pop rbp
    001db202ret
    001daee0
    001db203
    001db203 // align 0x10
    001db210
    001db210fmaq:
    001db210push rbp
    001db211mov rbp, rsp
    001db214push r15
    001db216push r14
    001db218push r13
    001db21apush r12
    001db21cpush rbx
    001db21dsub rsp, 472
    001db224movaps [rbp-496], x0
    001db22bmov rax, [rbp-488]
    001db232mov rcx, rax
    001db235not rcx
    001db238mov r14, 0x7fff000000000000
    001db242test rcx, r14
    001db245je 0x1db267
    001db247mov rsi, [rbp-496]
    001db24emovaps [rbp-480], x1
    001db255mov rdx, [rbp-472]
    001db25cmov rcx, rdx
    001db25fnot rcx
    001db262test rcx, r14
    001db265jne 0x1db28a
    001db267
    001db267loc_1db267:
    001db267movaps [rbp-64], x2
    001db26bcall __multf3
    001db270movaps x1, [rbp-64]
    001db274
    001db274loc_1db274:
    001db274add rsp, 472
    001db27bpop rbx
    001db27cpop r12
    001db27epop r13
    001db280pop r14
    001db282pop r15
    001db284pop rbp
    001db285jmp 0x1d51d0
    001db28a
    001db28aloc_1db28a:
    001db28amov rdi, [rbp-480]
    001db291movaps [rbp-464], x2
    001db298mov rbx, [rbp-456]
    001db29fmov rcx, rbx
    001db2a2not rcx
    001db2a5test rcx, r14
    001db2a8jne 0x1db2bf
    001db2aamovaps x0, x2
    001db2adadd rsp, 472
    001db2b4pop rbx
    001db2b5pop r12
    001db2b7pop r13
    001db2b9pop r14
    001db2bbpop r15
    001db2bdpop rbp
    001db2beret
    001db2bf
    001db2bfloc_1db2bf:
    001db2bfmov r15, 0x7fffffffffffffff
    001db2c9and rax, r15
    001db2ccor rsi, rax
    001db2cfje 0x1db267
    001db2d1and rdx, r15
    001db2d4or rdi, rdx
    001db2d7je 0x1db267
    001db2d9mov r12, -1
    001db2e0mov rax, [rbp-464]
    001db2e7and rax, r12
    001db2eaand rbx, r15
    001db2edor rbx, rax
    001db2f0je 0x1db376
    001db2f6lea rdi, [rbp-192]
    001db2fdmovaps [rbp-64], x2
    001db301movaps [rbp-96], x1
    001db305call math.frexp.frexp128
    001db30amovaps x0, [rbp-192]
    001db311movaps [rbp-80], x0
    001db315mov ebx, [rbp-176]
    001db31blea rdi, [rbp-192]
    001db322movaps x0, [rbp-96]
    001db326call math.frexp.frexp128
    001db32bmovaps x0, [rbp-192]
    001db332movaps [rbp-96], x0
    001db336add ebx, [rbp-176]
    001db33clea rdi, [rbp-192]
    001db343movaps x0, [rbp-64]
    001db347call math.frexp.frexp128
    001db34cmovaps x0, [rbp-192]
    001db353mov edi, ebx
    001db355sub edi, [rbp-176]
    001db35bmov r13, 0x8000000000000000
    001db365cmp edi, 226
    001db36bjg 0x1db38c
    001db36dneg edi
    001db36fcall math.ldexp.ldexp__anon_3558
    001db374jmp 0x1db3c3
    001db376
    001db376loc_1db376:
    001db376add rsp, 472
    001db37dpop rbx
    001db37epop r12
    001db380pop r13
    001db382pop r14
    001db384pop r15
    001db386pop rbp
    001db387jmp 0x1d5630
    001db38c
    001db38cloc_1db38c:
    001db38cmovaps [rbp-512], x0
    001db393mov rax, [rbp-504]
    001db39aand rax, r13
    001db39dmov rcx, 0x1000000000000
    001db3a7or rcx, rax
    001db3aamov [rbp-440], rcx
    001db3b1mov [rbp-448], 0
    001db3bcmovaps x0, [rbp-448]
    001db3c3
    001db3c3loc_1db3c3:
    001db3c3movaps [rbp-160], x0
    001db3camovaps x1, [rip-0x1475c1]
    001db3d1movaps x0, [rbp-80]
    001db3d5call __multf3
    001db3damovaps [rbp-64], x0
    001db3demovaps [rbp-432], x0
    001db3e5mov rax, [rbp-432]
    001db3ecmov rcx, [rbp-424]
    001db3f3xor rcx, r13
    001db3f6mov [rbp-408], rcx
    001db3fdmov [rbp-416], rax
    001db404movaps x1, [rbp-416]
    001db40bmovaps x0, [rbp-80]
    001db40fcall __addtf3
    001db414movaps x1, [rbp-64]
    001db418call __addtf3
    001db41dmovaps [rbp-128], x0
    001db421movaps [rbp-400], x0
    001db428mov rax, [rbp-400]
    001db42fmov rcx, [rbp-392]
    001db436xor rcx, r13
    001db439mov [rbp-376], rcx
    001db440mov [rbp-384], rax
    001db447movaps x1, [rbp-384]
    001db44emovaps x0, [rbp-80]
    001db452call __addtf3
    001db457movaps [rbp-64], x0
    001db45bmovaps x0, [rbp-96]
    001db45fmovaps x1, [rip-0x147656]
    001db466call __multf3
    001db46bmovaps [rbp-80], x0
    001db46fmovaps [rbp-368], x0
    001db476mov rax, [rbp-368]
    001db47dmov rcx, [rbp-360]
    001db484xor rcx, r13
    001db487mov [rbp-344], rcx
    001db48emov [rbp-352], rax
    001db495movaps x1, [rbp-352]
    001db49cmovaps x0, [rbp-96]
    001db4a0call __addtf3
    001db4a5movaps x1, [rbp-80]
    001db4a9call __addtf3
    001db4aemovaps [rbp-144], x0
    001db4b5movaps [rbp-336], x0
    001db4bcmov rax, [rbp-336]
    001db4c3mov rcx, [rbp-328]
    001db4caxor rcx, r13
    001db4cdmov [rbp-312], rcx
    001db4d4mov [rbp-320], rax
    001db4dbmovaps x1, [rbp-320]
    001db4e2movaps x0, [rbp-96]
    001db4e6call __addtf3
    001db4ebmovaps [rbp-80], x0
    001db4efmovaps x0, [rbp-128]
    001db4f3movaps x1, [rbp-144]
    001db4facall __multf3
    001db4ffmovaps [rbp-112], x0
    001db503movaps x0, [rbp-128]
    001db507movaps x1, [rbp-80]
    001db50bcall __multf3
    001db510movaps [rbp-96], x0
    001db514movaps x0, [rbp-64]
    001db518movaps x1, [rbp-144]
    001db51fcall __multf3
    001db524movaps x1, x0
    001db527movaps x0, [rbp-96]
    001db52bcall __addtf3
    001db530movaps x1, x0
    001db533movaps [rbp-144], x0
    001db53amovaps x0, [rbp-112]
    001db53ecall __addtf3
    001db543movaps [rbp-96], x0
    001db547movaps [rbp-304], x0
    001db54emov rax, [rbp-304]
    001db555mov rcx, [rbp-296]
    001db55cxor rcx, r13
    001db55fmov [rbp-280], rcx
    001db566mov [rbp-288], rax
    001db56dmovaps x1, [rbp-288]
    001db574movaps [rbp-128], x1
    001db578movaps x0, [rbp-112]
    001db57ccall __addtf3
    001db581movaps x1, [rbp-144]
    001db588call __addtf3
    001db58dmovaps [rbp-112], x0
    001db591movaps x0, [rbp-64]
    001db595movaps x1, [rbp-80]
    001db599call __multf3
    001db59emovaps x1, x0
    001db5a1movaps x0, [rbp-112]
    001db5a5call __addtf3
    001db5aamovaps [rbp-80], x0
    001db5aemovaps x0, [rbp-96]
    001db5b2movaps x1, [rbp-160]
    001db5b9call __addtf3
    001db5bemovaps [rbp-64], x0
    001db5c2movaps x1, [rbp-128]
    001db5c6call __addtf3
    001db5cbmovaps [rbp-272], x0
    001db5d2mov rax, [rbp-272]
    001db5d9mov rcx, [rbp-264]
    001db5e0xor rcx, r13
    001db5e3mov [rbp-248], rcx
    001db5eamov [rbp-256], rax
    001db5f1movaps x1, [rbp-256]
    001db5f8movaps [rbp-128], x1
    001db5fcmovaps x0, [rbp-64]
    001db600call __addtf3
    001db605movaps [rbp-240], x0
    001db60cxor r13, [rbp-232]
    001db613mov rax, [rbp-240]
    001db61amov [rbp-216], r13
    001db621mov [rbp-224], rax
    001db628movaps x1, [rbp-224]
    001db62fmovaps x0, [rbp-96]
    001db633call __addtf3
    001db638movaps [rbp-112], x0
    001db63cmovaps x0, [rbp-160]
    001db643movaps x1, [rbp-128]
    001db647call __addtf3
    001db64cmovaps x1, x0
    001db64fmovaps x0, [rbp-112]
    001db653call __addtf3
    001db658movaps x1, [rbp-64]
    001db65cmovaps [rbp-208], x1
    001db663and r15, [rbp-200]
    001db66aand r12, [rbp-208]
    001db671mov rax, r12
    001db674or rax, r15
    001db677je 0x1db6b7
    001db679movaps x1, [rbp-80]
    001db67dcall compiler_rt.fma.add_adjusted128
    001db682movaps x1, x0
    001db685mov rax, r15
    001db688shr rax, 48
    001db68ccmp eax, 32767
    001db691je 0x1db6e2
    001db693test eax, eax
    001db695jne 0x1db6f1
    001db697bsr rax, r15
    001db69bxor eax, 63
    001db69ebsr rcx, r12
    001db6a2xor ecx, 63
    001db6a5add ecx, 64
    001db6a8test r15, r15
    001db6abcmovne ecx, eax
    001db6aemov eax, -16367
    001db6b3sub eax, ecx
    001db6b5jmp 0x1db6f6
    001db6b7
    001db6b7loc_1db6b7:
    001db6b7movaps x0, [rbp-96]
    001db6bbmovaps x1, [rbp-160]
    001db6c2call __addtf3
    001db6c7movaps [rbp-64], x0
    001db6cbmovaps x0, [rbp-80]
    001db6cfmov edi, ebx
    001db6d1call math.ldexp.ldexp__anon_3558
    001db6d6movaps x1, x0
    001db6d9movaps x0, [rbp-64]
    001db6ddjmp 0x1db274
    001db6e2
    001db6e2loc_1db6e2:
    001db6e2xor eax, eax
    001db6e4neg r12
    001db6e7sbb r14, r15
    001db6eaadc eax, 0x7fffffff
    001db6efjmp 0x1db6f6
    001db6f1
    001db6f1loc_1db6f1:
    001db6f1add eax, -16383
    001db6f6
    001db6f6loc_1db6f6:
    001db6f6add eax, ebx
    001db6f8cmp eax, -16382
    001db6fdjl 0x1db720
    001db6ffmovaps x0, [rbp-64]
    001db703call __addtf3
    001db708mov edi, ebx
    001db70aadd rsp, 472
    001db711pop rbx
    001db712pop r12
    001db714pop r13
    001db716pop r14
    001db718pop r15
    001db71apop rbp
    001db71bjmp 0x1d5ea0
    001db720
    001db720loc_1db720:
    001db720movaps x0, [rbp-64]
    001db724mov edi, ebx
    001db726add rsp, 472
    001db72dpop rbx
    001db72epop r12
    001db730pop r13
    001db732pop r14
    001db734pop r15
    001db736pop rbp
    001db737jmp 0x1db8a0
    001db210
    001db73c
    001db73c // align 0x10
    001db740
    001db740compiler_rt.fma.add_adjusted128:
    001db740push rbp
    001db741mov rbp, rsp
    001db744push rbx
    001db745sub rsp, 216
    001db74cmovaps [rbp-224], x1
    001db753movaps [rbp-32], x0
    001db757call __addtf3
    001db75cmovaps x2, x0
    001db75fmovaps [rbp-48], x0
    001db763movaps x0, [rbp-32]
    001db767movaps [rbp-192], x0
    001db76emov rax, [rbp-192]
    001db775mov rbx, 0x8000000000000000
    001db77fmov rcx, [rbp-184]
    001db786xor rcx, rbx
    001db789mov [rbp-168], rcx
    001db790mov [rbp-176], rax
    001db797movaps x1, [rbp-176]
    001db79emovaps x0, x2
    001db7a1call __addtf3
    001db7a6movaps [rbp-160], x0
    001db7admov rax, [rbp-160]
    001db7b4mov rcx, [rbp-152]
    001db7bbxor rcx, rbx
    001db7bemov [rbp-136], rcx
    001db7c5mov [rbp-144], rax
    001db7ccmovaps x1, [rbp-144]
    001db7d3movaps [rbp-208], x1
    001db7damovaps x0, [rbp-48]
    001db7decall __addtf3
    001db7e3movaps [rbp-128], x0
    001db7e7xor rbx, [rbp-120]
    001db7ebmov rax, [rbp-128]
    001db7efmov [rbp-104], rbx
    001db7f3mov [rbp-112], rax
    001db7f7movaps x1, [rbp-112]
    001db7fbmovaps x0, [rbp-32]
    001db7ffcall __addtf3
    001db804movaps [rbp-32], x0
    001db808movaps x0, [rbp-224]
    001db80fmovaps x1, [rbp-208]
    001db816call __addtf3
    001db81bmovaps x1, x0
    001db81emovaps x0, [rbp-32]
    001db822call __addtf3
    001db827movaps [rbp-96], x0
    001db82bmov rax, [rbp-88]
    001db82fmov rcx, 0x7fffffffffffffff
    001db839and rcx, rax
    001db83cor rcx, [rbp-96]
    001db840je 0x1db883
    001db842movaps x0, [rbp-48]
    001db846movaps [rbp-80], x0
    001db84amov rcx, [rbp-80]
    001db84etest cl, 1
    001db851jne 0x1db879
    001db853mov rdx, [rbp-72]
    001db857xor rax, rdx
    001db85ashr rax, 62
    001db85esub rcx, rax
    001db861sbb rdx, 0
    001db865add rcx, 1
    001db869mov [rbp-64], rcx
    001db86dadc rdx, 0
    001db871mov [rbp-56], rdx
    001db875movaps x0, [rbp-64]
    001db879
    001db879loc_1db879:
    001db879add rsp, 216
    001db880pop rbx
    001db881pop rbp
    001db882ret
    001db883
    001db883loc_1db883:
    001db883movaps x0, [rbp-48]
    001db887add rsp, 216
    001db88epop rbx
    001db88fpop rbp
    001db890ret
    001db740
    001db891
    001db891 // align 0x10
    001db8a0
    001db8a0compiler_rt.fma.add_and_denorm128:
    001db8a0push rbp
    001db8a1mov rbp, rsp
    001db8a4push r14
    001db8a6push rbx
    001db8a7sub rsp, 208
    001db8aemov r14l, edi
    001db8b1movaps [rbp-224], x1
    001db8b8movaps [rbp-32], x0
    001db8bccall __addtf3
    001db8c1movaps x2, x0
    001db8c4movaps [rbp-48], x0
    001db8c8movaps x0, [rbp-32]
    001db8ccmovaps [rbp-192], x0
    001db8d3mov rax, [rbp-192]
    001db8damov rbx, 0x8000000000000000
    001db8e4mov rcx, [rbp-184]
    001db8ebxor rcx, rbx
    001db8eemov [rbp-168], rcx
    001db8f5mov [rbp-176], rax
    001db8fcmovaps x1, [rbp-176]
    001db903movaps x0, x2
    001db906call __addtf3
    001db90bmovaps [rbp-160], x0
    001db912mov rax, [rbp-160]
    001db919mov rcx, [rbp-152]
    001db920xor rcx, rbx
    001db923mov [rbp-136], rcx
    001db92amov [rbp-144], rax
    001db931movaps x1, [rbp-144]
    001db938movaps [rbp-208], x1
    001db93fmovaps x0, [rbp-48]
    001db943call __addtf3
    001db948movaps [rbp-128], x0
    001db94cxor rbx, [rbp-120]
    001db950mov rax, [rbp-128]
    001db954mov [rbp-104], rbx
    001db958mov [rbp-112], rax
    001db95cmovaps x1, [rbp-112]
    001db960movaps x0, [rbp-32]
    001db964call __addtf3
    001db969movaps [rbp-32], x0
    001db96dmovaps x0, [rbp-224]
    001db974movaps x1, [rbp-208]
    001db97bcall __addtf3
    001db980movaps x1, x0
    001db983movaps x0, [rbp-32]
    001db987call __addtf3
    001db98cmovaps [rbp-96], x0
    001db990mov rax, [rbp-88]
    001db994mov rcx, 0x7fffffffffffffff
    001db99eand rcx, rax
    001db9a1or rcx, [rbp-96]
    001db9a5je 0x1db9fc
    001db9a7movaps x0, [rbp-48]
    001db9abmovaps [rbp-80], x0
    001db9afmov rdx, [rbp-80]
    001db9b3mov rcx, [rbp-72]
    001db9b7mov rsi, rcx
    001db9bashr rsi, 48
    001db9beand esi, 32767
    001db9c4add esi, r14l
    001db9c7sete sil
    001db9cbmov ebx, edx
    001db9cdand bl, 1
    001db9d0cmp bl, sil
    001db9d3je 0x1dba00
    001db9d5xor rax, rcx
    001db9d8shr rax, 62
    001db9dcand eax, -2
    001db9dfsub rdx, rax
    001db9e2sbb rcx, 0
    001db9e6add rdx, 1
    001db9eamov [rbp-64], rdx
    001db9eeadc rcx, 0
    001db9f2mov [rbp-56], rcx
    001db9f6movaps x0, [rbp-64]
    001db9fajmp 0x1dba00
    001db9fc
    001db9fcloc_1db9fc:
    001db9fcmovaps x0, [rbp-48]
    001dba00
    001dba00loc_1dba00:
    001dba00mov edi, r14l
    001dba03add rsp, 208
    001dba0apop rbx
    001dba0bpop r14
    001dba0dpop rbp
    001dba0ejmp 0x1d5ea0
    001db8a0
    001dba13
    001dba13 // align 0x10
    001dba20
    001dba20fmal:
    001dba20push rbp
    001dba21mov rbp, rsp
    001dba24pop rbp
    001dba25jmp 0x1daee0
    001dba20
    001dba2a
    001dba2a // align 0x10
    001dba30
    001dba30fmaxf:
    001dba30push rbp
    001dba31mov rbp, rsp
    001dba34ucomiss x0, x0
    001dba37jp 0x1dba42
    001dba39ucomiss x1, x1
    001dba3cjp 0x1dba47
    001dba3emaxss x1, x0
    001dba42
    001dba42loc_1dba42:
    001dba42movaps x0, x1
    001dba45pop rbp
    001dba46ret
    001dba47
    001dba47loc_1dba47:
    001dba47movaps x1, x0
    001dba4amovaps x0, x1
    001dba4dpop rbp
    001dba4eret
    001dba30
    001dba4f
    001dba4f // align 0x10
    001dba50
    001dba50fmax:
    001dba50push rbp
    001dba51mov rbp, rsp
    001dba54ucomisd x0, x0
    001dba58jp 0x1dba64
    001dba5aucomisd x1, x1
    001dba5ejp 0x1dba6a
    001dba60maxsd x1, x0
    001dba64
    001dba64loc_1dba64:
    001dba64movapd x0, x1
    001dba68pop rbp
    001dba69ret
    001dba6a
    001dba6aloc_1dba6a:
    001dba6amovapd x1, x0
    001dba6emovapd x0, x1
    001dba72pop rbp
    001dba73ret
    001dba50
    001dba74
    001dba74 // align 0x10
    001dba80
    001dba80__fmaxx:
    001dba80push rbp
    001dba81mov rbp, rsp
    001dba84fld [rbp+32]
    001dba87fld [rbp+16]
    001dba8afucomi f0
    001dba8cjp 0x1dba9e
    001dba8efxch f1
    001dba90fucomi f0
    001dba92jp 0x1dba9e
    001dba94fucomi f1
    001dba96fxch f1
    001dba98fcmovnbe f1
    001dba9afstp f1
    001dba9cpop rbp
    001dba9dret
    001dba9e
    001dba9eloc_1dba9e:
    001dba9efstp f0
    001dbaa0pop rbp
    001dbaa1ret
    001dba80
    001dbaa2
    001dbaa2 // align 0x10
    001dbab0
    001dbab0fminf:
    001dbab0push rbp
    001dbab1mov rbp, rsp
    001dbab4ucomiss x0, x0
    001dbab7jp 0x1dbac5
    001dbab9ucomiss x1, x1
    001dbabcjp 0x1dbac2
    001dbabeminss x0, x1
    001dbac2
    001dbac2loc_1dbac2:
    001dbac2movaps x1, x0
    001dbac5
    001dbac5loc_1dbac5:
    001dbac5movaps x0, x1
    001dbac8pop rbp
    001dbac9ret
    001dbab0
    001dbaca
    001dbaca // align 0x10
    001dbad0
    001dbad0fmin:
    001dbad0push rbp
    001dbad1mov rbp, rsp
    001dbad4ucomisd x0, x0
    001dbad8jp 0x1dbae8
    001dbadaucomisd x1, x1
    001dbadejp 0x1dbae4
    001dbae0minsd x0, x1
    001dbae4
    001dbae4loc_1dbae4:
    001dbae4movapd x1, x0
    001dbae8
    001dbae8loc_1dbae8:
    001dbae8movapd x0, x1
    001dbaecpop rbp
    001dbaedret
    001dbad0
    001dbaee
    001dbaee // align 0x10
    001dbaf0
    001dbaf0__fminx:
    001dbaf0push rbp
    001dbaf1mov rbp, rsp
    001dbaf4fld [rbp+32]
    001dbaf7fld [rbp+16]
    001dbafafucomi f0
    001dbafcjp 0x1dbb0c
    001dbafefxch f1
    001dbb00fucomi f0
    001dbb02jp 0x1dbb0c
    001dbb04fucomi f1
    001dbb06fcmovnbe f1
    001dbb08fstp f1
    001dbb0apop rbp
    001dbb0bret
    001dbb0c
    001dbb0cloc_1dbb0c:
    001dbb0cfstp f0
    001dbb0epop rbp
    001dbb0fret
    001dbaf0
    001dbb10
    001dbb10fmodf:
    001dbb10push rbp
    001dbb11mov rbp, rsp
    001dbb14movd esi, x1
    001dbb18mov eax, esi
    001dbb1aadd eax, esi
    001dbb1cje 0x1dbb72
    001dbb1eucomiss x1, x1
    001dbb21jp 0x1dbb72
    001dbb23movd r8l, x0
    001dbb28mov ecx, r8l
    001dbb2bshr ecx, 23
    001dbb2emovzx edx, cl
    001dbb31cmp edx, 255
    001dbb37je 0x1dbb72
    001dbb39lea ecx, [r8+r8]
    001dbb3dcmp ecx, eax
    001dbb3fjbe 0x1dbb7c
    001dbb41mov eax, esi
    001dbb43shr eax, 23
    001dbb46movzx eax, al
    001dbb49test edx, edx
    001dbb4bje 0x1dbb8c
    001dbb4dmov edi, r8l
    001dbb50and edi, 0x7fffff
    001dbb56or edi, 0x800000
    001dbb5ctest eax, eax
    001dbb5eje 0x1dbbb4
    001dbb60
    001dbb60loc_1dbb60:
    001dbb60and esi, 0x7fffff
    001dbb66or esi, 0x800000
    001dbb6ccmp edx, eax
    001dbb6ejg 0x1dbbe9
    001dbb70jmp 0x1dbbd1
    001dbb72
    001dbb72loc_1dbb72:
    001dbb72mulss x0, x1
    001dbb76divss x0, x0
    001dbb7apop rbp
    001dbb7bret
    001dbb7c
    001dbb7cloc_1dbb7c:
    001dbb7cpxor x1, x1
    001dbb80je 0x1dbb86
    001dbb82movdqa x1, x0
    001dbb86
    001dbb86loc_1dbb86:
    001dbb86movdqa x0, x1
    001dbb8apop rbp
    001dbb8bret
    001dbb8c
    001dbb8cloc_1dbb8c:
    001dbb8cmov ecx, r8l
    001dbb8fxor edx, edx
    001dbb91shl ecx, 9
    001dbb94js 0x1dbba7
    001dbb96nop [rax+rax]
    001dbba0
    001dbba0loc_1dbba0:
    001dbba0add edx, -1
    001dbba3add ecx, ecx
    001dbba5jns 0x1dbba0
    001dbba7
    001dbba7loc_1dbba7:
    001dbba7mov cl, 1
    001dbba9sub cl, dl
    001dbbabmov edi, r8l
    001dbbaeshl edi, cl
    001dbbb0test eax, eax
    001dbbb2jne 0x1dbb60
    001dbbb4
    001dbbb4loc_1dbbb4:
    001dbbb4mov ecx, esi
    001dbbb6xor eax, eax
    001dbbb8shl ecx, 9
    001dbbbbjs 0x1dbbc7
    001dbbbdnop [rax]
    001dbbc0
    001dbbc0loc_1dbbc0:
    001dbbc0add eax, -1
    001dbbc3add ecx, ecx
    001dbbc5jns 0x1dbbc0
    001dbbc7
    001dbbc7loc_1dbbc7:
    001dbbc7mov cl, 1
    001dbbc9sub cl, al
    001dbbcbshl esi, cl
    001dbbcdcmp edx, eax
    001dbbcfjg 0x1dbbe9
    001dbbd1
    001dbbd1loc_1dbbd1:
    001dbbd1mov eax, edi
    001dbbd3sub eax, esi
    001dbbd5jns 0x1dbbfd
    001dbbd7jmp 0x1dbc01
    001dbbd9
    001dbbd9 0f 1f 80 00 00 00 00 .......
    001dbbe0
    001dbbe0loc_1dbbe0:
    001dbbe0add edi, edi
    001dbbe2add edx, -1
    001dbbe5cmp edx, eax
    001dbbe7jle 0x1dbbf5
    001dbbe9
    001dbbe9loc_1dbbe9:
    001dbbe9mov ecx, edi
    001dbbebsub ecx, esi
    001dbbedjs 0x1dbbe0
    001dbbefmov edi, ecx
    001dbbf1jne 0x1dbbe0
    001dbbf3jmp 0x1dbc3e
    001dbbf5
    001dbbf5loc_1dbbf5:
    001dbbf5mov edx, eax
    001dbbf7mov eax, edi
    001dbbf9sub eax, esi
    001dbbfbjs 0x1dbc01
    001dbbfd
    001dbbfdloc_1dbbfd:
    001dbbfdmov edi, eax
    001dbbffje 0x1dbc3e
    001dbc01
    001dbc01loc_1dbc01:
    001dbc01cmp edi, 0x7fffff
    001dbc07ja 0x1dbc44
    001dbc09nop [rax]
    001dbc10
    001dbc10loc_1dbc10:
    001dbc10lea eax, [rdi+rdi]
    001dbc13add edx, -1
    001dbc16cmp edi, 0x400000
    001dbc1cmov edi, eax
    001dbc1ejb 0x1dbc10
    001dbc20and r8l, 0xffffffff80000000
    001dbc27test edx, edx
    001dbc29jle 0x1dbc51
    001dbc2b
    001dbc2bloc_1dbc2b:
    001dbc2badd eax, 0xffffffffff800000
    001dbc30shl edx, 23
    001dbc33or edx, eax
    001dbc35or edx, r8l
    001dbc38movd x0, edx
    001dbc3cpop rbp
    001dbc3dret
    001dbc3e
    001dbc3eloc_1dbc3e:
    001dbc3epxor x0, x0
    001dbc42pop rbp
    001dbc43ret
    001dbc44
    001dbc44loc_1dbc44:
    001dbc44mov eax, edi
    001dbc46and r8l, 0xffffffff80000000
    001dbc4dtest edx, edx
    001dbc4fjg 0x1dbc2b
    001dbc51
    001dbc51loc_1dbc51:
    001dbc51mov cl, 1
    001dbc53sub cl, dl
    001dbc55shr eax, cl
    001dbc57mov edx, eax
    001dbc59or edx, r8l
    001dbc5cmovd x0, edx
    001dbc60pop rbp
    001dbc61ret
    001dbb10
    001dbc62
    001dbc62 // align 0x10
    001dbc70
    001dbc70fmod:
    001dbc70push rbp
    001dbc71mov rbp, rsp
    001dbc74movq rdi, x1
    001dbc79mov rax, rdi
    001dbc7cadd rax, rdi
    001dbc7fje 0x1dbce7
    001dbc81ucomisd x1, x1
    001dbc85jp 0x1dbce7
    001dbc87movq r9, x0
    001dbc8cmov rdx, r9
    001dbc8fshr rdx, 52
    001dbc93and edx, 2047
    001dbc99cmp edx, 2047
    001dbc9fje 0x1dbce7
    001dbca1lea rcx, [r9+r9]
    001dbca5cmp rcx, rax
    001dbca8jbe 0x1dbcf1
    001dbcaamov rsi, rdi
    001dbcadshr rsi, 52
    001dbcb1and esi, 2047
    001dbcb7mov r8, 0x10000000000000
    001dbcc1test edx, edx
    001dbcc3je 0x1dbd01
    001dbcc5lea rax, [r8-1]
    001dbcc9and rax, r9
    001dbcccor rax, r8
    001dbccftest esi, esi
    001dbcd1je 0x1dbd26
    001dbcd3
    001dbcd3loc_1dbcd3:
    001dbcd3lea rcx, [r8-1]
    001dbcd7and rdi, rcx
    001dbcdaor rdi, r8
    001dbcddcmp edx, esi
    001dbcdfjg 0x1dbd6a
    001dbce5jmp 0x1dbd54
    001dbce7
    001dbce7loc_1dbce7:
    001dbce7mulsd x0, x1
    001dbcebdivsd x0, x0
    001dbcefpop rbp
    001dbcf0ret
    001dbcf1
    001dbcf1loc_1dbcf1:
    001dbcf1pxor x1, x1
    001dbcf5je 0x1dbcfb
    001dbcf7movdqa x1, x0
    001dbcfb
    001dbcfbloc_1dbcfb:
    001dbcfbmovdqa x0, x1
    001dbcffpop rbp
    001dbd00ret
    001dbd01
    001dbd01loc_1dbd01:
    001dbd01mov rax, r9
    001dbd04xor edx, edx
    001dbd06shl rax, 12
    001dbd0ajs 0x1dbd18
    001dbd0cnop [rax]
    001dbd10
    001dbd10loc_1dbd10:
    001dbd10add edx, -1
    001dbd13add rax, rax
    001dbd16jns 0x1dbd10
    001dbd18
    001dbd18loc_1dbd18:
    001dbd18mov cl, 1
    001dbd1asub cl, dl
    001dbd1cmov rax, r9
    001dbd1fshl rax, cl
    001dbd22test esi, esi
    001dbd24jne 0x1dbcd3
    001dbd26
    001dbd26loc_1dbd26:
    001dbd26mov rcx, rdi
    001dbd29xor esi, esi
    001dbd2bshl rcx, 12
    001dbd2fjs 0x1dbd48
    001dbd31nop [rax+rax]
    001dbd3bnop [rax+rax]
    001dbd40
    001dbd40loc_1dbd40:
    001dbd40add esi, -1
    001dbd43add rcx, rcx
    001dbd46jns 0x1dbd40
    001dbd48
    001dbd48loc_1dbd48:
    001dbd48mov cl, 1
    001dbd4asub cl, sil
    001dbd4dshl rdi, cl
    001dbd50cmp edx, esi
    001dbd52jg 0x1dbd6a
    001dbd54
    001dbd54loc_1dbd54:
    001dbd54mov rcx, rax
    001dbd57sub rcx, rdi
    001dbd5ajns 0x1dbd83
    001dbd5cjmp 0x1dbd88
    001dbd5e
    001dbd5e 66 90 f.
    001dbd60
    001dbd60loc_1dbd60:
    001dbd60add rax, rax
    001dbd63add edx, -1
    001dbd66cmp edx, esi
    001dbd68jle 0x1dbd79
    001dbd6a
    001dbd6aloc_1dbd6a:
    001dbd6amov rcx, rax
    001dbd6dsub rcx, rdi
    001dbd70js 0x1dbd60
    001dbd72mov rax, rcx
    001dbd75jne 0x1dbd60
    001dbd77jmp 0x1dbdd5
    001dbd79
    001dbd79loc_1dbd79:
    001dbd79mov edx, esi
    001dbd7bmov rcx, rax
    001dbd7esub rcx, rdi
    001dbd81js 0x1dbd88
    001dbd83
    001dbd83loc_1dbd83:
    001dbd83mov rax, rcx
    001dbd86je 0x1dbdd5
    001dbd88
    001dbd88loc_1dbd88:
    001dbd88mov rcx, 0x8000000000000000
    001dbd92cmp rax, r8
    001dbd95jae 0x1dbddb
    001dbd97nop [rax+rax]
    001dbda0
    001dbda0loc_1dbda0:
    001dbda0lea rsi, [rax+rax]
    001dbda4add edx, -1
    001dbda7shr rax, 51
    001dbdabmov rax, rsi
    001dbdaeje 0x1dbda0
    001dbdb0and r9, rcx
    001dbdb3test edx, edx
    001dbdb5jle 0x1dbde5
    001dbdb7
    001dbdb7loc_1dbdb7:
    001dbdb7mov rax, 0xfff0000000000000
    001dbdc1add rsi, rax
    001dbdc4shl rdx, 52
    001dbdc8or rdx, rsi
    001dbdcbor rdx, r9
    001dbdcemovq x0, rdx
    001dbdd3pop rbp
    001dbdd4ret
    001dbdd5
    001dbdd5loc_1dbdd5:
    001dbdd5pxor x0, x0
    001dbdd9pop rbp
    001dbddaret
    001dbddb
    001dbddbloc_1dbddb:
    001dbddbmov rsi, rax
    001dbddeand r9, rcx
    001dbde1test edx, edx
    001dbde3jg 0x1dbdb7
    001dbde5
    001dbde5loc_1dbde5:
    001dbde5mov cl, 1
    001dbde7sub cl, dl
    001dbde9shr rsi, cl
    001dbdecmov rdx, rsi
    001dbdefor rdx, r9
    001dbdf2movq x0, rdx
    001dbdf7pop rbp
    001dbdf8ret
    001dbc70
    001dbdf9
    001dbdf9 // align 0x10
    001dbe00
    001dbe00__fmodx:
    001dbe00push rbp
    001dbe01mov rbp, rsp
    001dbe04fld [rbp+32]
    001dbe07fld f0
    001dbe09fstp [rbp-64]
    001dbe0cfld [rbp+16]
    001dbe0ffld f0
    001dbe11fstp [rbp-80]
    001dbe14fldz
    001dbe16fxch f2
    001dbe18fucomi f2
    001dbe1ajne 0x1dbe26
    001dbe1cjp 0x1dbe26
    001dbe1e
    001dbe1eloc_1dbe1e:
    001dbe1efstp f2
    001dbe20fmulp f1
    001dbe22fdivr f0, f0
    001dbe24pop rbp
    001dbe25ret
    001dbe26
    001dbe26loc_1dbe26:
    001dbe26fucomi f0
    001dbe28jp 0x1dbe1e
    001dbe2amov r8l, [rbp-72]
    001dbe2emov esi, r8l
    001dbe31and esi, 32767
    001dbe37cmp esi, 32767
    001dbe3dje 0x1dbe1e
    001dbe3ffstp f0
    001dbe41mov r10l, [rbp-56]
    001dbe45mov rdx, [rbp-80]
    001dbe49mov r9, [rbp-64]
    001dbe4dmov ecx, r8l
    001dbe50and ecx, 32767
    001dbe56mov edi, r10l
    001dbe59and edi, 32767
    001dbe5fcmp r9, rdx
    001dbe62mov rax, rdi
    001dbe65sbb rax, rcx
    001dbe68jae 0x1dbe9c
    001dbe6afstp f0
    001dbe6cand r10l, 32767
    001dbe73test esi, esi
    001dbe75je 0x1dbeab
    001dbe77test r10l, r10l
    001dbe7aje 0x1dbee8
    001dbe7c
    001dbe7cloc_1dbe7c:
    001dbe7cxor eax, eax
    001dbe7ecmp esi, r10l
    001dbe81jg 0x1dbf50
    001dbe87
    001dbe87loc_1dbe87:
    001dbe87mov rcx, rdx
    001dbe8asub rcx, r9
    001dbe8dsbb rax, 0
    001dbe91jns 0x1dbf90
    001dbe97jmp 0x1dbf9c
    001dbe9c
    001dbe9cloc_1dbe9c:
    001dbe9cxor rdx, r9
    001dbe9fxor rcx, rdi
    001dbea2or rcx, rdx
    001dbea5fcmove f1
    001dbea7fstp f1
    001dbea9
    001dbea9loc_1dbea9:
    001dbea9pop rbp
    001dbeaaret
    001dbeab
    001dbeabloc_1dbeab:
    001dbeabbsr rax, rcx
    001dbeafxor eax, 63
    001dbeb2bsr rsi, rdx
    001dbeb6xor esi, 63
    001dbeb9add sil, 64
    001dbebdtest rcx, rcx
    001dbec0movzx ecx, sil
    001dbec4cmovne ecx, eax
    001dbec7add cl, 64
    001dbecashl rdx, cl
    001dbecdxor eax, eax
    001dbecftest cl, 64
    001dbed2cmovne rdx, rax
    001dbed6movzx eax, cl
    001dbed9and eax, 127
    001dbedcmov esi, 1
    001dbee1sub esi, eax
    001dbee3test r10l, r10l
    001dbee6jne 0x1dbe7c
    001dbee8
    001dbee8loc_1dbee8:
    001dbee8bsr rax, r9
    001dbeecmov ecx, 127
    001dbef1cmovne rcx, rax
    001dbef5xor ecx, 63
    001dbef8add cl, 64
    001dbefbbsr rax, rdi
    001dbeffxor eax, 63
    001dbf02test rdi, rdi
    001dbf05movzx ecx, cl
    001dbf08cmovne ecx, eax
    001dbf0badd cl, 64
    001dbf0eshl r9, cl
    001dbf11xor eax, eax
    001dbf13test cl, 64
    001dbf16cmovne r9, rax
    001dbf1amovzx eax, cl
    001dbf1dand eax, 127
    001dbf20mov r10l, 1
    001dbf26sub r10l, eax
    001dbf29xor eax, eax
    001dbf2bcmp esi, r10l
    001dbf2ejg 0x1dbf50
    001dbf30jmp 0x1dbe87
    001dbf35
    001dbf35 66 2e 0f 1f 84 00 00 00 00 00 90 f..........
    001dbf40
    001dbf40loc_1dbf40:
    001dbf40shld rax, rdx, 1
    001dbf45add rdx, rdx
    001dbf48add esi, -1
    001dbf4bcmp esi, r10l
    001dbf4ejle 0x1dbf81
    001dbf50
    001dbf50loc_1dbf50:
    001dbf50mov rdi, rdx
    001dbf53sub rdi, r9
    001dbf56mov rcx, rax
    001dbf59sbb rcx, 0
    001dbf5djs 0x1dbf40
    001dbf5fmov rax, rcx
    001dbf62or rax, rdi
    001dbf65je 0x1dbea9
    001dbf6bshld rcx, rdi, 1
    001dbf70mov rdx, rdi
    001dbf73mov rax, rcx
    001dbf76add rdx, rdx
    001dbf79add esi, -1
    001dbf7ccmp esi, r10l
    001dbf7fjg 0x1dbf50
    001dbf81
    001dbf81loc_1dbf81:
    001dbf81mov esi, r10l
    001dbf84mov rcx, rdx
    001dbf87sub rcx, r9
    001dbf8asbb rax, 0
    001dbf8ejs 0x1dbf9c
    001dbf90
    001dbf90loc_1dbf90:
    001dbf90or rax, rcx
    001dbf93mov rdx, rcx
    001dbf96je 0x1dbea9
    001dbf9c
    001dbf9cloc_1dbf9c:
    001dbf9cfstp f0
    001dbf9etest rdx, rdx
    001dbfa1js 0x1dbfbb
    001dbfa3nop [rax+rax]
    001dbfadnop [rax]
    001dbfb0
    001dbfb0loc_1dbfb0:
    001dbfb0add rdx, rdx
    001dbfb3add esi, -1
    001dbfb6test rdx, rdx
    001dbfb9jns 0x1dbfb0
    001dbfbb
    001dbfbbloc_1dbfbb:
    001dbfbband r8, -32768
    001dbfc2cmp esi, -64
    001dbfc5jg 0x1dbfd9
    001dbfc7mov [rbp-8], r8w
    001dbfccmov [rbp-16], 0
    001dbfd4fld [rbp-16]
    001dbfd7pop rbp
    001dbfd8ret
    001dbfd9
    001dbfd9loc_1dbfd9:
    001dbfd9test esi, esi
    001dbfdbjle 0x1dbfed
    001dbfddmov [rbp-48], rdx
    001dbfe1or esi, r8l
    001dbfe4mov [rbp-40], si
    001dbfe8fld [rbp-48]
    001dbfebpop rbp
    001dbfecret
    001dbfed
    001dbfedloc_1dbfed:
    001dbfedmov cl, 1
    001dbfefsub cl, sil
    001dbff2shr rdx, cl
    001dbff5mov [rbp-24], r8w
    001dbffamov [rbp-32], rdx
    001dbffefld [rbp-32]
    001dc001pop rbp
    001dc002ret
    001dbe00
    001dc003
    001dc003 // align 0x10
    001dc010
    001dc010fmodl:
    001dc010push rbp
    001dc011mov rbp, rsp
    001dc014pop rbp
    001dc015jmp 0x1dbe00
    001dc010
    001dc01a
    001dc01a // align 0x10
    001dc020
    001dc020logf:
    001dc020push rbp
    001dc021mov rbp, rsp
    001dc024movdqa x1, x0
    001dc028movd eax, x0
    001dc02ccmp eax, 0x7fffff
    001dc031jg 0x1dc06f
    001dc033xor edx, edx
    001dc035mov ecx, eax
    001dc037and ecx, 0x7fffffff
    001dc03dsete dl
    001dc040lea rsi, [rip-0x1488f7]
    001dc047movd x0, [rsi+4*rdx]
    001dc04ctest eax, eax
    001dc04ejs 0x1dc13b
    001dc054test ecx, ecx
    001dc056je 0x1dc13b
    001dc05cmulss x1, [rip-0x148ea0]
    001dc064movd eax, x1
    001dc068mov edx, -152
    001dc06djmp 0x1dc092
    001dc06f
    001dc06floc_1dc06f:
    001dc06fmovdqa x0, x1
    001dc073cmp eax, 0x7f800000
    001dc078jae 0x1dc13b
    001dc07emov edx, -127
    001dc083pxor x0, x0
    001dc087cmp eax, 0x3f800000
    001dc08cje 0x1dc13b
    001dc092
    001dc092loc_1dc092:
    001dc092add eax, 0x4afb0d
    001dc097mov ecx, eax
    001dc099shr ecx, 23
    001dc09cadd ecx, edx
    001dc09eand eax, 0x7fffff
    001dc0a3add eax, 0x3f3504f3
    001dc0a8movd x1, eax
    001dc0acaddss x1, [rip-0x148eec]
    001dc0b4movss x0, [rip-0x148ef0]
    001dc0bcaddss x0, x1
    001dc0c0movaps x2, x1
    001dc0c3divss x2, x0
    001dc0c7movaps x0, x2
    001dc0camulss x0, x2
    001dc0cemovaps x3, x0
    001dc0d1mulss x3, x0
    001dc0d5unpcklps x0, x3
    001dc0d8shufps x3, x3, 0
    001dc0dcmulps x3, [rip-0x148283]
    001dc0e3addps x3, [rip-0x14827a]
    001dc0eamulps x3, x0
    001dc0edmovaps x4, x3
    001dc0f0shufps x4, x3, 85
    001dc0f4addss x4, x3
    001dc0f8movss x3, [rip-0x148f30]
    001dc100xorps x0, x0
    001dc103cvtsi2ss x0, ecx
    001dc107mulss x3, x1
    001dc10bmulss x3, x1
    001dc10faddss x4, x3
    001dc113mulss x4, x2
    001dc117movss x2, [rip-0x148f4b]
    001dc11fmulss x2, x0
    001dc123addss x2, x4
    001dc127subss x2, x3
    001dc12baddss x2, x1
    001dc12fmulss x0, [rip-0x148f5f]
    001dc137addss x0, x2
    001dc13b
    001dc13bloc_1dc13b:
    001dc13bpop rbp
    001dc13cret
    001dc020
    001dc13d
    001dc13d // align 0x10
    001dc140
    001dc140log:
    001dc140push rbp
    001dc141mov rbp, rsp
    001dc144movq rcx, x0
    001dc149mov rax, rcx
    001dc14cshr rax, 32
    001dc150cmp eax, 0x100000
    001dc155jb 0x1dc179
    001dc157test rcx, rcx
    001dc15ajs 0x1dc179
    001dc15ccmp eax, 0x7ff00000
    001dc161jae 0x1dc177
    001dc163xor esi, esi
    001dc165mov edx, ecx
    001dc167cmp eax, 0x3ff00000
    001dc16cjne 0x1dc1a9
    001dc16epxor x0, x0
    001dc172test rdx, rdx
    001dc175jne 0x1dc1a9
    001dc177
    001dc177loc_1dc177:
    001dc177pop rbp
    001dc178ret
    001dc179
    001dc179loc_1dc179:
    001dc179mov rdx, 0x7fffffffffffffff
    001dc183xor esi, esi
    001dc185and rdx, rcx
    001dc188sete sil
    001dc18clea rdi, [rip-0x148313]
    001dc193movq x0, [rdi+8*rsi]
    001dc198test rcx, rcx
    001dc19bjs 0x1dc177
    001dc19dtest rdx, rdx
    001dc1a0je 0x1dc177
    001dc1a2mov edx, ecx
    001dc1a4mov esi, -54
    001dc1a9
    001dc1a9loc_1dc1a9:
    001dc1a9add eax, 0x95f62
    001dc1aemov ecx, eax
    001dc1b0shr ecx, 20
    001dc1b3add ecx, esi
    001dc1b5add ecx, -1023
    001dc1bband eax, 0xfffff
    001dc1c0add eax, 0x3fe6a09e
    001dc1c5shl rax, 32
    001dc1c9or rax, rdx
    001dc1ccmovq x1, rax
    001dc1d1addsd x1, [rip-0x148a81]
    001dc1d9movsd_xmm x2, [rip-0x148a81]
    001dc1e1mulsd x2, x1
    001dc1e5movsd_xmm x0, [rip-0x148a85]
    001dc1edaddsd x0, x1
    001dc1f1movapd x3, x1
    001dc1f5divsd x3, x0
    001dc1f9movapd x0, x3
    001dc1fdmulsd x0, x3
    001dc201movapd x4, x0
    001dc205mulsd x4, x0
    001dc209movsd_xmm x5, [rip-0x148aa1]
    001dc211mulsd x5, x4
    001dc215addsd x5, [rip-0x148aa5]
    001dc21dmulsd x2, x1
    001dc221movapd x6, x4
    001dc225unpcklpd x6, x4
    001dc229movapd x7, [rip-0x1483a1]
    001dc231unpcklpd x7, x5
    001dc235mulpd x7, x6
    001dc239addpd x7, [rip-0x1483a1]
    001dc241mulpd x7, x6
    001dc245addpd x7, [rip-0x14839d]
    001dc24dunpcklpd x4, x0
    001dc251mulpd x4, x7
    001dc255movapd x5, x4
    001dc259unpckhpd x5, x4
    001dc25daddsd x5, x4
    001dc261xorps x0, x0
    001dc264cvtsi2sd x0, ecx
    001dc268addsd x5, x2
    001dc26cmulsd x5, x3
    001dc270movsd_xmm x3, [rip-0x148af8]
    001dc278mulsd x3, x0
    001dc27caddsd x3, x5
    001dc280subsd x3, x2
    001dc284addsd x3, x1
    001dc288mulsd x0, [rip-0x148b08]
    001dc290addsd x0, x3
    001dc294pop rbp
    001dc295ret
    001dc140
    001dc296
    001dc296 // align 0x10
    001dc2a0
    001dc2a0__logx:
    001dc2a0push rbp
    001dc2a1mov rbp, rsp
    001dc2a4push r15
    001dc2a6push r14
    001dc2a8push rbx
    001dc2a9sub rsp, 56
    001dc2admov r15, 0x8000000000000000
    001dc2b7mov eax, [rbp+24]
    001dc2bamov rdx, [rbp+16]
    001dc2bemov edi, eax
    001dc2c0mov r14, 0x7fff000000000000
    001dc2caand di, 32767
    001dc2cfjne 0x1dc2e1
    001dc2d1xor esi, esi
    001dc2d3mov ecx, 0
    001dc2d8test rdx, rdx
    001dc2dbje 0x1dc365
    001dc2e1
    001dc2e1loc_1dc2e1:
    001dc2e1movzx ecx, di
    001dc2e4cmp ecx, 32767
    001dc2eajne 0x1dc2ff
    001dc2ecmov rsi, rdx
    001dc2efshl rsi, 49
    001dc2f3shr rdx, 15
    001dc2f7or rdx, r14
    001dc2famov rcx, rdx
    001dc2fdjmp 0x1dc365
    001dc2ff
    001dc2ffloc_1dc2ff:
    001dc2fftest rdx, rdx
    001dc302js 0x1dc310
    001dc304je 0x1dc32b
    001dc306bsr rsi, rdx
    001dc30axor rsi, 63
    001dc30ejmp 0x1dc330
    001dc310
    001dc310loc_1dc310:
    001dc310lea rsi, [r15-1]
    001dc314and rdx, rsi
    001dc317mov rsi, rdx
    001dc31ashl rsi, 49
    001dc31eshr rdx, 15
    001dc322shl rcx, 48
    001dc326or rcx, rdx
    001dc329jmp 0x1dc365
    001dc32b
    001dc32bloc_1dc32b:
    001dc32bmov esi, 64
    001dc330
    001dc330loc_1dc330:
    001dc330mov ecx, esi
    001dc332add cl, 50
    001dc335xor edi, edi
    001dc337shld rdi, rdx, cl
    001dc33bshl rdx, cl
    001dc33exor ebx, ebx
    001dc340test cl, 64
    001dc343cmovne rdi, rdx
    001dc347cmovne rdx, rbx
    001dc34bmov rbx, 0x1000000000000
    001dc355xor rbx, rdi
    001dc358lea ecx, [rsi+1]
    001dc35bshl rcx, 48
    001dc35for rcx, rbx
    001dc362mov rsi, rdx
    001dc365
    001dc365loc_1dc365:
    001dc365and eax, 32768
    001dc36ashl rax, 48
    001dc36eor rax, rcx
    001dc371mov [rbp-80], rsi
    001dc375mov [rbp-72], rax
    001dc379movaps x0, [rbp-80]
    001dc37dcall logq
    001dc382movaps [rbp-64], x0
    001dc386mov rdi, [rbp-64]
    001dc38amov rax, [rbp-56]
    001dc38emov rbx, 0x7fffffffffffffff
    001dc398mov rsi, rax
    001dc39bshld rsi, rdi, 15
    001dc3a0and rbx, rax
    001dc3a3mov rcx, rsi
    001dc3a6or rcx, r15
    001dc3a9mov rdx, rdi
    001dc3acneg rdx
    001dc3afsbb r14, rbx
    001dc3b2mov dx, 32767
    001dc3b6jb 0x1dc42a
    001dc3b8shr rbx, 48
    001dc3bcmov edx, ebx
    001dc3bemov rbx, 0x1ffffffffffff
    001dc3c8and rdi, rbx
    001dc3cbmov rbx, 0x1000000000001
    001dc3d5cmp rdi, rbx
    001dc3d8jb 0x1dc3f4
    001dc3damov rsi, rcx
    001dc3ddadd rsi, 1
    001dc3e1adc dx, 0
    001dc3e5xor esi, esi
    001dc3e7add rcx, 1
    001dc3ebcmove rsi, r15
    001dc3efor rcx, rsi
    001dc3f2jmp 0x1dc41c
    001dc3f4
    001dc3f4loc_1dc3f4:
    001dc3f4mov rbx, 0x1000000000000
    001dc3fecmp rdi, rbx
    001dc401jne 0x1dc41c
    001dc403and esi, 1
    001dc406mov rdi, rcx
    001dc409add rdi, rsi
    001dc40cadc dx, 0
    001dc410xor edi, edi
    001dc412add rcx, rsi
    001dc415cmovb rdi, r15
    001dc419or rcx, rdi
    001dc41c
    001dc41cloc_1dc41c:
    001dc41cadd r15, -1
    001dc420and r15, rcx
    001dc423test dx, dx
    001dc426cmove rcx, r15
    001dc42a
    001dc42aloc_1dc42a:
    001dc42ashr rax, 48
    001dc42eand eax, 32768
    001dc433or edx, eax
    001dc435mov [rbp-48], rcx
    001dc439mov [rbp-40], dx
    001dc43dfld [rbp-48]
    001dc440add rsp, 56
    001dc444pop rbx
    001dc445pop r14
    001dc447pop r15
    001dc449pop rbp
    001dc44aret
    001dc2a0
    001dc44b
    001dc44b // align 0x10
    001dc450
    001dc450logq:
    001dc450push rbp
    001dc451mov rbp, rsp
    001dc454push rbx
    001dc455movapd [rbp-48], x0
    001dc45amov rax, [rbp-48]
    001dc45emov rsi, [rbp-40]
    001dc462mov r9, 0x7fffffffffffffff
    001dc46cmov rcx, rsi
    001dc46fand rcx, r9
    001dc472mov rdx, 0xc3ff000000000000
    001dc47cadd rdx, rcx
    001dc47fmov rdi, 0xbc01000000000000
    001dc489add rdi, rcx
    001dc48ccmp rdx, rdi
    001dc48fjae 0x1dc4d0
    001dc491mov r8, 0x4000000000000000
    001dc49bmov rcx, rsi
    001dc49eshld rcx, rax, 4
    001dc4a3lea rdx, [rcx+r8]
    001dc4a7mov rdi, 0xfffffffffffffff
    001dc4b1and rdi, rax
    001dc4b4mov rax, 0x800000000000000
    001dc4becmp rdi, rax
    001dc4c1jbe 0x1dc509
    001dc4c3lea rdx, [r8+rcx]
    001dc4c7add rdx, 1
    001dc4cbjmp 0x1dc5e6
    001dc4d0
    001dc4d0loc_1dc4d0:
    001dc4d0mov rdx, rax
    001dc4d3neg rdx
    001dc4d6mov rdx, 0x7fff000000000000
    001dc4e0sbb rdx, rcx
    001dc4e3jae 0x1dc51a
    001dc4e5shrd rax, rsi, 60
    001dc4eamov rcx, 0x7ffffffffffff
    001dc4f4and rcx, rax
    001dc4f7mov rdx, 0x7ff8000000000000
    001dc501or rdx, rcx
    001dc504jmp 0x1dc5e6
    001dc509
    001dc509loc_1dc509:
    001dc509jne 0x1dc5e6
    001dc50fand ecx, 1
    001dc512add rdx, rcx
    001dc515jmp 0x1dc5e6
    001dc51a
    001dc51aloc_1dc51a:
    001dc51ashr rcx, 48
    001dc51ecmp ecx, 17406
    001dc524jbe 0x1dc539
    001dc526mov rdx, 0x7fefffffffffffff
    001dc530add rdx, 1
    001dc534jmp 0x1dc5e6
    001dc539
    001dc539loc_1dc539:
    001dc539mov r8l, 15361
    001dc53fsub r8l, ecx
    001dc542cmp r8l, 112
    001dc546jbe 0x1dc54f
    001dc548xor edx, edx
    001dc54ajmp 0x1dc5e6
    001dc54f
    001dc54floc_1dc54f:
    001dc54fmov rdi, 0xffffffffffff
    001dc559and rdi, rsi
    001dc55cmov rdx, 0x1000000000000
    001dc566or rdx, rdi
    001dc569add cl, -1
    001dc56cmov r10, rdx
    001dc56fshld r10, rax, cl
    001dc573mov rdi, rax
    001dc576shl rdi, cl
    001dc579xor r11l, r11l
    001dc57ctest cl, 64
    001dc57fcmovne r10, rdi
    001dc583cmovne rdi, r11
    001dc587xor ebx, ebx
    001dc589or rdi, r10
    001dc58csetne bl
    001dc58fmov ecx, r8l
    001dc592shrd rax, rdx, cl
    001dc596shr rdx, cl
    001dc599test r8b, 64
    001dc59dcmovne rax, rdx
    001dc5a1cmovne rdx, r11
    001dc5a5shld rdx, rax, 4
    001dc5aamov rcx, 0xfffffffffffffff
    001dc5b4and rcx, rax
    001dc5b7or rcx, rbx
    001dc5bamov rax, 0x800000000000001
    001dc5c4cmp rcx, rax
    001dc5c7jb 0x1dc5cf
    001dc5c9add rdx, 1
    001dc5cdjmp 0x1dc5e6
    001dc5cf
    001dc5cfloc_1dc5cf:
    001dc5cfmov rax, 0x800000000000000
    001dc5d9cmp rcx, rax
    001dc5dcjne 0x1dc5e6
    001dc5demov eax, edx
    001dc5e0and eax, 1
    001dc5e3add rdx, rax
    001dc5e6
    001dc5e6loc_1dc5e6:
    001dc5e6lea r8, [r9+1]
    001dc5eaand rsi, r8
    001dc5edor rsi, rdx
    001dc5f0mov rcx, rsi
    001dc5f3shr rcx, 32
    001dc5f7cmp ecx, 0x100000
    001dc5fdjb 0x1dc61a
    001dc5fftest rsi, rsi
    001dc602js 0x1dc61a
    001dc604cmp ecx, 0x7fefffff
    001dc60ajbe 0x1dc73a
    001dc610movq x2, rsi
    001dc615jmp 0x1dc757
    001dc61a
    001dc61aloc_1dc61a:
    001dc61axor ebx, ebx
    001dc61cmov rdi, rdx
    001dc61fand rdi, r9
    001dc622sete bl
    001dc625lea rax, [rip-0x14876c]
    001dc62cmovsd_xmm x2, [rax+8*rbx]
    001dc631test rsi, rsi
    001dc634js 0x1dc757
    001dc63atest rdi, rdi
    001dc63dje 0x1dc757
    001dc643mov edi, edx
    001dc645mov esi, -54
    001dc64a
    001dc64aloc_1dc64a:
    001dc64aadd ecx, 0x95f62
    001dc650mov eax, ecx
    001dc652shr eax, 20
    001dc655add esi, eax
    001dc657add esi, -1023
    001dc65dand ecx, 0xfffff
    001dc663add ecx, 0x3fe6a09e
    001dc669shl rcx, 32
    001dc66dor rcx, rdi
    001dc670movq x0, rcx
    001dc675addsd x0, [rip-0x148eed]
    001dc67dmovsd_xmm x1, [rip-0x148eed]
    001dc685mulsd x1, x0
    001dc689movsd_xmm x2, [rip-0x148ef1]
    001dc691addsd x2, x0
    001dc695movapd x3, x0
    001dc699divsd x3, x2
    001dc69dmovapd x2, x3
    001dc6a1mulsd x2, x3
    001dc6a5movapd x4, x2
    001dc6a9mulsd x4, x2
    001dc6admovsd_xmm x5, [rip-0x148f0d]
    001dc6b5mulsd x5, x4
    001dc6b9addsd x5, [rip-0x148f11]
    001dc6c1mulsd x1, x0
    001dc6c5movapd x6, x4
    001dc6c9unpcklpd x6, x4
    001dc6cdmovapd x7, [rip-0x148805]
    001dc6d5unpcklpd x7, x5
    001dc6d9mulpd x7, x6
    001dc6ddaddpd x7, [rip-0x148805]
    001dc6e5mulpd x7, x6
    001dc6e9addpd x7, [rip-0x148801]
    001dc6f1unpcklpd x4, x2
    001dc6f5mulpd x4, x7
    001dc6f9movapd x5, x4
    001dc6fdunpckhpd x5, x4
    001dc701addsd x5, x4
    001dc705xorps x2, x2
    001dc708cvtsi2sd x2, esi
    001dc70caddsd x5, x1
    001dc710mulsd x5, x3
    001dc714movsd_xmm x3, [rip-0x148f64]
    001dc71cmulsd x3, x2
    001dc720addsd x3, x5
    001dc724subsd x3, x1
    001dc728addsd x3, x0
    001dc72cmulsd x2, [rip-0x148f74]
    001dc734addsd x2, x3
    001dc738jmp 0x1dc757
    001dc73a
    001dc73aloc_1dc73a:
    001dc73axor esi, esi
    001dc73cmov edi, edx
    001dc73ecmp ecx, 0x3ff00000
    001dc744jne 0x1dc64a
    001dc74axorpd x2, x2
    001dc74etest rdi, rdi
    001dc751jne 0x1dc64a
    001dc757
    001dc757loc_1dc757:
    001dc757movq rsi, x2
    001dc75cand r9, rsi
    001dc75fmov rax, 0xfff0000000000000
    001dc769add rax, r9
    001dc76cshr rax, 53
    001dc770cmp eax, 1022
    001dc775ja 0x1dc791
    001dc777mov rcx, r9
    001dc77ashl rcx, 60
    001dc77eshr r9, 4
    001dc782mov rdi, 0x3c00000000000000
    001dc78cadd rdi, r9
    001dc78fjmp 0x1dc80c
    001dc791
    001dc791loc_1dc791:
    001dc791mov rax, r9
    001dc794shr rax, 52
    001dc798cmp eax, 2047
    001dc79djb 0x1dc7bc
    001dc79fmov rcx, rsi
    001dc7a2shl rcx, 60
    001dc7a6mov rax, rsi
    001dc7a9shr rax, 4
    001dc7admov rdi, 0x7fff000000000000
    001dc7b7or rdi, rax
    001dc7bajmp 0x1dc80c
    001dc7bc
    001dc7bcloc_1dc7bc:
    001dc7bctest r9, r9
    001dc7bfje 0x1dc808
    001dc7c1bsr rcx, r9
    001dc7c5xor rcx, 63
    001dc7c9lea eax, [rcx+117]
    001dc7ccadd cl, 49
    001dc7cfxor edx, edx
    001dc7d1shld rdx, r9, cl
    001dc7d5and eax, 127
    001dc7d8xor edi, edi
    001dc7dashl r9, cl
    001dc7ddtest cl, 64
    001dc7e0cmovne rdx, r9
    001dc7e4cmovne r9, rdi
    001dc7e8mov rcx, 0x1000000000000
    001dc7f2xor rcx, rdx
    001dc7f5mov edi, 15361
    001dc7fasub edi, eax
    001dc7fcshl rdi, 48
    001dc800or rdi, rcx
    001dc803mov rcx, r9
    001dc806jmp 0x1dc80c
    001dc808
    001dc808loc_1dc808:
    001dc808xor ecx, ecx
    001dc80axor edi, edi
    001dc80c
    001dc80cloc_1dc80c:
    001dc80cand rsi, r8
    001dc80for rsi, rdi
    001dc812mov [rbp-32], rcx
    001dc816mov [rbp-24], rsi
    001dc81amovaps x0, [rbp-32]
    001dc81epop rbx
    001dc81fpop rbp
    001dc820ret
    001dc450
    001dc821
    001dc821 // align 0x10
    001dc830
    001dc830logl:
    001dc830push rbp
    001dc831mov rbp, rsp
    001dc834pop rbp
    001dc835jmp 0x1dc2a0
    001dc830
    001dc83a
    001dc83a // align 0x10
    001dc840
    001dc840log10f:
    001dc840push rbp
    001dc841mov rbp, rsp
    001dc844movdqa x1, x0
    001dc848movd ecx, x0
    001dc84ccmp ecx, 0x7fffff
    001dc852jg 0x1dc88f
    001dc854xor edx, edx
    001dc856mov eax, ecx
    001dc858and eax, 0x7fffffff
    001dc85dsete dl
    001dc860lea rsi, [rip-0x149097]
    001dc867movd x0, [rsi+4*rdx]
    001dc86ctest ecx, ecx
    001dc86ejs 0x1dc99d
    001dc874test eax, eax
    001dc876je 0x1dc99d
    001dc87cmulss x1, [rip-0x149684]
    001dc884movd ecx, x1
    001dc888mov edx, -152
    001dc88djmp 0x1dc8b4
    001dc88f
    001dc88floc_1dc88f:
    001dc88fmovdqa x0, x1
    001dc893cmp ecx, 0x7f800000
    001dc899jae 0x1dc99d
    001dc89fmov edx, -127
    001dc8a4pxor x0, x0
    001dc8a8cmp ecx, 0x3f800000
    001dc8aeje 0x1dc99d
    001dc8b4
    001dc8b4loc_1dc8b4:
    001dc8b4add ecx, 0x4afb0d
    001dc8bamov eax, ecx
    001dc8bcshr eax, 23
    001dc8bfadd eax, edx
    001dc8c1and ecx, 0x7fffff
    001dc8c7add ecx, 0x3f3504f3
    001dc8cdmovd x1, ecx
    001dc8d1addss x1, [rip-0x1496d5]
    001dc8d9movss x2, [rip-0x1496d9]
    001dc8e1addss x2, x1
    001dc8e5movaps x0, x1
    001dc8e8divss x0, x2
    001dc8ecmovaps x2, x0
    001dc8efmulss x2, x0
    001dc8f3movaps x3, x2
    001dc8f6mulss x3, x2
    001dc8faunpcklps x2, x3
    001dc8fdshufps x3, x3, 0
    001dc901mulps x3, [rip-0x1489e8]
    001dc908addps x3, [rip-0x1489df]
    001dc90fmulps x3, x2
    001dc912movaps x4, x3
    001dc915shufps x4, x3, 85
    001dc919addss x4, x3
    001dc91dmovss x2, [rip-0x149719]
    001dc925mulss x2, x1
    001dc929mulss x2, x1
    001dc92dmovaps x5, x1
    001dc930subss x5, x2
    001dc934movss x3, [rip-0x14972c]
    001dc93candps x3, x5
    001dc93fsubss x1, x3
    001dc943subss x1, x2
    001dc947addss x2, x4
    001dc94bmulss x2, x0
    001dc94fxorps x0, x0
    001dc952cvtsi2ss x0, eax
    001dc956addss x2, x1
    001dc95amovss x1, [rip-0x14974e]
    001dc962mulss x1, x0
    001dc966movaps x4, x2
    001dc969addss x4, x3
    001dc96dmulss x4, [rip-0x14975d]
    001dc975addss x4, x1
    001dc979movss x1, [rip-0x149765]
    001dc981mulss x2, x1
    001dc985addss x2, x4
    001dc989mulss x3, x1
    001dc98daddss x3, x2
    001dc991mulss x0, [rip-0x149779]
    001dc999addss x0, x3
    001dc99d
    001dc99dloc_1dc99d:
    001dc99dpop rbp
    001dc99eret
    001dc840
    001dc99f
    001dc99f // align 0x10
    001dc9a0
    001dc9a0log10:
    001dc9a0push rbp
    001dc9a1mov rbp, rsp
    001dc9a4movdqa x1, x0
    001dc9a8movq rax, x0
    001dc9admov rcx, rax
    001dc9b0shr rcx, 32
    001dc9b4cmp ecx, 0x100000
    001dc9bajb 0x1dc9e7
    001dc9bctest rax, rax
    001dc9bfjs 0x1dc9e7
    001dc9c1movdqa x0, x1
    001dc9c5cmp ecx, 0x7ff00000
    001dc9cbjae 0x1dc9e5
    001dc9cdmov edx, eax
    001dc9cfmov esi, -1023
    001dc9d4cmp ecx, 0x3ff00000
    001dc9dajne 0x1dca27
    001dc9dcpxor x0, x0
    001dc9e0test rdx, rdx
    001dc9e3jne 0x1dca27
    001dc9e5
    001dc9e5loc_1dc9e5:
    001dc9e5pop rbp
    001dc9e6ret
    001dc9e7
    001dc9e7loc_1dc9e7:
    001dc9e7mov rcx, 0x7fffffffffffffff
    001dc9f1xor edx, edx
    001dc9f3and rcx, rax
    001dc9f6sete dl
    001dc9f9lea rsi, [rip-0x148ac0]
    001dca00movq x0, [rsi+8*rdx]
    001dca05test rax, rax
    001dca08js 0x1dc9e5
    001dca0atest rcx, rcx
    001dca0dje 0x1dc9e5
    001dca0fmulsd x1, [rip-0x14923f]
    001dca17movq rcx, x1
    001dca1cshr rcx, 32
    001dca20mov edx, eax
    001dca22mov esi, -1077
    001dca27
    001dca27loc_1dca27:
    001dca27add ecx, 0x95f62
    001dca2dmov eax, ecx
    001dca2fshr eax, 20
    001dca32add eax, esi
    001dca34and ecx, 0xfffff
    001dca3aadd ecx, 0x3fe6a09e
    001dca40shl rcx, 32
    001dca44or rcx, rdx
    001dca47movq x0, rcx
    001dca4caddsd x0, [rip-0x149274]
    001dca54movsd_xmm x1, [rip-0x14926c]
    001dca5caddsd x1, x0
    001dca60movapd x2, x0
    001dca64divsd x2, x1
    001dca68movapd x1, x2
    001dca6cmulsd x1, x2
    001dca70movapd x3, x1
    001dca74mulsd x3, x1
    001dca78movsd_xmm x4, [rip-0x149288]
    001dca80mulsd x4, x3
    001dca84addsd x4, [rip-0x14928c]
    001dca8cmovsd_xmm x5, [rip-0x1492ac]
    001dca94movapd x6, x3
    001dca98unpcklpd x6, x3
    001dca9cmovapd x7, [rip-0x148b54]
    001dcaa4unpcklpd x7, x4
    001dcaa8mulpd x7, x6
    001dcaacaddpd x7, [rip-0x148b54]
    001dcab4mulsd x5, x0
    001dcab8mulpd x7, x6
    001dcabcaddpd x7, [rip-0x148b54]
    001dcac4mulsd x5, x0
    001dcac8unpcklpd x3, x1
    001dcaccmulpd x3, x7
    001dcad0movapd x1, x3
    001dcad4unpckhpd x1, x3
    001dcad8addsd x1, x3
    001dcadcmovapd x4, x0
    001dcae0subsd x4, x5
    001dcae4movsd_xmm x3, [rip-0x1492e4]
    001dcaecandpd x3, x4
    001dcaf0subsd x0, x3
    001dcaf4subsd x0, x5
    001dcaf8addsd x1, x5
    001dcafcmulsd x1, x2
    001dcb00addsd x1, x0
    001dcb04movsd_xmm x2, [rip-0x1492fc]
    001dcb0cxorps x4, x4
    001dcb0fcvtsi2sd x4, eax
    001dcb13movsd_xmm x0, [rip-0x149303]
    001dcb1bmulsd x0, x4
    001dcb1fmulsd x4, [rip-0x149307]
    001dcb27movapd x5, x1
    001dcb2baddsd x5, x3
    001dcb2fmulsd x3, x2
    001dcb33mulsd x5, [rip-0x149313]
    001dcb3baddsd x5, x4
    001dcb3fmulsd x1, x2
    001dcb43addsd x1, x5
    001dcb47movapd x2, x0
    001dcb4baddsd x2, x3
    001dcb4fsubsd x0, x2
    001dcb53addsd x0, x3
    001dcb57addsd x0, x1
    001dcb5baddsd x0, x2
    001dcb5fpop rbp
    001dcb60ret
    001dc9a0
    001dcb61
    001dcb61 // align 0x10
    001dcb70
    001dcb70__log10x:
    001dcb70push rbp
    001dcb71mov rbp, rsp
    001dcb74push r15
    001dcb76push r14
    001dcb78push rbx
    001dcb79sub rsp, 56
    001dcb7dmov r15, 0x8000000000000000
    001dcb87mov eax, [rbp+24]
    001dcb8amov rdx, [rbp+16]
    001dcb8emov edi, eax
    001dcb90mov r14, 0x7fff000000000000
    001dcb9aand di, 32767
    001dcb9fjne 0x1dcbb1
    001dcba1xor esi, esi
    001dcba3mov ecx, 0
    001dcba8test rdx, rdx
    001dcbabje 0x1dcc35
    001dcbb1
    001dcbb1loc_1dcbb1:
    001dcbb1movzx ecx, di
    001dcbb4cmp ecx, 32767
    001dcbbajne 0x1dcbcf
    001dcbbcmov rsi, rdx
    001dcbbfshl rsi, 49
    001dcbc3shr rdx, 15
    001dcbc7or rdx, r14
    001dcbcamov rcx, rdx
    001dcbcdjmp 0x1dcc35
    001dcbcf
    001dcbcfloc_1dcbcf:
    001dcbcftest rdx, rdx
    001dcbd2js 0x1dcbe0
    001dcbd4je 0x1dcbfb
    001dcbd6bsr rsi, rdx
    001dcbdaxor rsi, 63
    001dcbdejmp 0x1dcc00
    001dcbe0
    001dcbe0loc_1dcbe0:
    001dcbe0lea rsi, [r15-1]
    001dcbe4and rdx, rsi
    001dcbe7mov rsi, rdx
    001dcbeashl rsi, 49
    001dcbeeshr rdx, 15
    001dcbf2shl rcx, 48
    001dcbf6or rcx, rdx
    001dcbf9jmp 0x1dcc35
    001dcbfb
    001dcbfbloc_1dcbfb:
    001dcbfbmov esi, 64
    001dcc00
    001dcc00loc_1dcc00:
    001dcc00mov ecx, esi
    001dcc02add cl, 50
    001dcc05xor edi, edi
    001dcc07shld rdi, rdx, cl
    001dcc0bshl rdx, cl
    001dcc0exor ebx, ebx
    001dcc10test cl, 64
    001dcc13cmovne rdi, rdx
    001dcc17cmovne rdx, rbx
    001dcc1bmov rbx, 0x1000000000000
    001dcc25xor rbx, rdi
    001dcc28lea ecx, [rsi+1]
    001dcc2bshl rcx, 48
    001dcc2for rcx, rbx
    001dcc32mov rsi, rdx
    001dcc35
    001dcc35loc_1dcc35:
    001dcc35and eax, 32768
    001dcc3ashl rax, 48
    001dcc3eor rax, rcx
    001dcc41mov [rbp-80], rsi
    001dcc45mov [rbp-72], rax
    001dcc49movaps x0, [rbp-80]
    001dcc4dcall log10q
    001dcc52movaps [rbp-64], x0
    001dcc56mov rdi, [rbp-64]
    001dcc5amov rax, [rbp-56]
    001dcc5emov rbx, 0x7fffffffffffffff
    001dcc68mov rsi, rax
    001dcc6bshld rsi, rdi, 15
    001dcc70and rbx, rax
    001dcc73mov rcx, rsi
    001dcc76or rcx, r15
    001dcc79mov rdx, rdi
    001dcc7cneg rdx
    001dcc7fsbb r14, rbx
    001dcc82mov dx, 32767
    001dcc86jb 0x1dccfa
    001dcc88shr rbx, 48
    001dcc8cmov edx, ebx
    001dcc8emov rbx, 0x1ffffffffffff
    001dcc98and rdi, rbx
    001dcc9bmov rbx, 0x1000000000001
    001dcca5cmp rdi, rbx
    001dcca8jb 0x1dccc4
    001dccaamov rsi, rcx
    001dccadadd rsi, 1
    001dccb1adc dx, 0
    001dccb5xor esi, esi
    001dccb7add rcx, 1
    001dccbbcmove rsi, r15
    001dccbfor rcx, rsi
    001dccc2jmp 0x1dccec
    001dccc4
    001dccc4loc_1dccc4:
    001dccc4mov rbx, 0x1000000000000
    001dcccecmp rdi, rbx
    001dccd1jne 0x1dccec
    001dccd3and esi, 1
    001dccd6mov rdi, rcx
    001dccd9add rdi, rsi
    001dccdcadc dx, 0
    001dcce0xor edi, edi
    001dcce2add rcx, rsi
    001dcce5cmovb rdi, r15
    001dcce9or rcx, rdi
    001dccec
    001dccecloc_1dccec:
    001dccecadd r15, -1
    001dccf0and r15, rcx
    001dccf3test dx, dx
    001dccf6cmove rcx, r15
    001dccfa
    001dccfaloc_1dccfa:
    001dccfashr rax, 48
    001dccfeand eax, 32768
    001dcd03or edx, eax
    001dcd05mov [rbp-48], rcx
    001dcd09mov [rbp-40], dx
    001dcd0dfld [rbp-48]
    001dcd10add rsp, 56
    001dcd14pop rbx
    001dcd15pop r14
    001dcd17pop r15
    001dcd19pop rbp
    001dcd1aret
    001dcb70