user: Please show me the C implementation that matches the assembly code listed below:

```asm
<vbic_3T_et_cf_t>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x68,%rsp
  mov    %rdi,%rbp
  mov    %rsi,%rbx
  mov    %rdx,%r14
  movsd  0x28(%rsi),%xmm0
  movsd  %xmm0,0x28(%rdi)
  movsd  0x70(%rsi),%xmm0
  movsd  %xmm0,0x70(%rdi)
  movsd  0x78(%rsi),%xmm0
  movsd  %xmm0,0x78(%rdi)
  movsd  0x90(%rsi),%xmm0
  movsd  %xmm0,0x90(%rdi)
  movsd  0x98(%rsi),%xmm0
  movsd  %xmm0,0x98(%rdi)
  movsd  0xa0(%rsi),%xmm0
  movsd  %xmm0,0xa0(%rdi)
  movsd  0xb0(%rsi),%xmm0
  movsd  %xmm0,0xb0(%rdi)
  movsd  0xc8(%rsi),%xmm0
  movsd  %xmm0,0xc8(%rdi)
  movsd  0xd0(%rsi),%xmm0
  movsd  %xmm0,0xd0(%rdi)
  movsd  0xe8(%rsi),%xmm0
  movsd  %xmm0,0xe8(%rdi)
  movsd  0xf0(%rsi),%xmm0
  movsd  %xmm0,0xf0(%rdi)
  movsd  0x100(%rsi),%xmm0
  movsd  %xmm0,0x100(%rdi)
  movsd  0x108(%rsi),%xmm0
  movsd  %xmm0,0x108(%rdi)
  movsd  0x118(%rsi),%xmm0
  movsd  %xmm0,0x118(%rdi)
  movsd  0x128(%rsi),%xmm0
  movsd  %xmm0,0x128(%rdi)
  movsd  0x138(%rsi),%xmm0
  movsd  %xmm0,0x138(%rdi)
  movsd  0x140(%rsi),%xmm0
  movsd  %xmm0,0x140(%rdi)
  movsd  0x158(%rsi),%xmm0
  movsd  %xmm0,0x158(%rdi)
  movsd  0x160(%rsi),%xmm0
  movsd  %xmm0,0x160(%rdi)
  movsd  0x180(%rsi),%xmm0
  movsd  %xmm0,0x180(%rdi)
  movsd  0x190(%rsi),%xmm0
  movsd  %xmm0,0x190(%rdi)
  movsd  0x198(%rsi),%xmm0
  movsd  %xmm0,0x198(%rdi)
  movsd  0x1a0(%rsi),%xmm0
  movsd  %xmm0,0x1a0(%rdi)
  movsd  0x1b0(%rsi),%xmm0
  movsd  %xmm0,0x1b0(%rdi)
  movsd  0x1b8(%rsi),%xmm0
  movsd  %xmm0,0x1b8(%rdi)
  movsd  0x1c0(%rsi),%xmm0
  movsd  %xmm0,0x1c0(%rdi)
  movsd  0x1c8(%rsi),%xmm0
  movsd  %xmm0,0x1c8(%rdi)
  movsd  0x1d0(%rsi),%xmm0
  movsd  %xmm0,0x1d0(%rdi)
  movsd  0x1d8(%rsi),%xmm0
  movsd  %xmm0,0x1d8(%rdi)
  movsd  0x1e0(%rsi),%xmm0
  movsd  %xmm0,0x1e0(%rdi)
  movsd  0x1e8(%rsi),%xmm0
  movsd  %xmm0,0x1e8(%rdi)
  movsd  0x1f0(%rsi),%xmm0
  movsd  %xmm0,0x1f0(%rdi)
  movsd  0x1f8(%rsi),%xmm0
  movsd  %xmm0,0x1f8(%rdi)
  movsd  0x200(%rsi),%xmm0
  movsd  %xmm0,0x200(%rdi)
  movsd  0x208(%rsi),%xmm0
  movsd  %xmm0,0x208(%rdi)
  movsd  0x210(%rsi),%xmm0
  movsd  %xmm0,0x210(%rdi)
  movsd  0x218(%rsi),%xmm0
  movsd  %xmm0,0x218(%rdi)
  movsd  0x220(%rsi),%xmm0
  movsd  %xmm0,0x220(%rdi)
  movsd  0x228(%rsi),%xmm0
  movsd  %xmm0,0x228(%rdi)
  movsd  0x230(%rsi),%xmm0
  movsd  %xmm0,0x230(%rdi)
  movsd  0x238(%rsi),%xmm0
  movsd  %xmm0,0x238(%rdi)
  movsd  0x240(%rsi),%xmm0
  movsd  %xmm0,0x240(%rdi)
  movsd  0x248(%rsi),%xmm0
  movsd  %xmm0,0x248(%rdi)
  movsd  0x250(%rsi),%xmm0
  movsd  %xmm0,0x250(%rdi)
  movsd  0x258(%rsi),%xmm0
  movsd  %xmm0,0x258(%rdi)
  movsd  0x260(%rsi),%xmm0
  movsd  %xmm0,0x260(%rdi)
  movsd  0x268(%rsi),%xmm0
  movsd  %xmm0,0x268(%rdi)
  movsd  0x270(%rsi),%xmm0
  movsd  %xmm0,0x270(%rdi)
  movsd  0x278(%rsi),%xmm0
  movsd  %xmm0,0x278(%rdi)
  movsd  0x280(%rsi),%xmm0
  movsd  %xmm0,0x280(%rdi)
  movsd  0x288(%rsi),%xmm0
  movsd  %xmm0,0x288(%rdi)
  movsd  0x290(%rsi),%xmm0
  movsd  %xmm0,0x290(%rdi)
  movsd  0x298(%rsi),%xmm0
  movsd  %xmm0,0x298(%rdi)
  movsd  0x2a0(%rsi),%xmm0
  movsd  %xmm0,0x2a0(%rdi)
  movsd  0x2a8(%rsi),%xmm0
  movsd  %xmm0,0x2a8(%rdi)
  movsd  0x2b0(%rsi),%xmm0
  movsd  %xmm0,0x2b0(%rdi)
  movsd  0x2b8(%rsi),%xmm0
  movsd  %xmm0,0x2b8(%rdi)
  movsd  0x2c0(%rsi),%xmm0
  movsd  %xmm0,0x2c0(%rdi)
  movsd  0x2c8(%rsi),%xmm0
  movsd  %xmm0,0x2c8(%rdi)
  movsd  0x2d0(%rsi),%xmm0
  movsd  %xmm0,0x2d0(%rdi)
  movsd  0x2d8(%rsi),%xmm0
  movsd  %xmm0,0x2d8(%rdi)
  movsd  0x2e0(%rsi),%xmm0
  movsd  %xmm0,0x2e0(%rdi)
  movsd  0x2e8(%rsi),%xmm0
  movsd  %xmm0,0x2e8(%rdi)
  movsd  0x2f8(%rsi),%xmm0
  movsd  %xmm0,0x2f8(%rdi)
  movsd  0x300(%rsi),%xmm0
  movsd  %xmm0,0x300(%rdi)
  movsd  0x308(%rsi),%xmm0
  movsd  %xmm0,0x308(%rdi)
  movsd  0x320(%rsi),%xmm0
  movsd  %xmm0,0x320(%rdi)
  movsd  0x328(%rsi),%xmm0
  movsd  %xmm0,0x328(%rdi)
  movsd  0x330(%rsi),%xmm0
  movsd  %xmm0,0x330(%rdi)
  movsd  0x338(%rsi),%xmm0
  movsd  %xmm0,0x338(%rdi)
  mov    0x348(%rsi),%r13
  mov    %r13,0x348(%rdi)
  movsd  0x350(%rsi),%xmm0
  movsd  %xmm0,0x350(%rdi)
  movsd  0x358(%rsi),%xmm0
  movsd  %xmm0,0x358(%rdi)
  movsd  D105(%rip),%xmm0
  movapd %xmm0,%xmm1
  addsd  (%rsi),%xmm1
  addsd  (%rdx),%xmm0
  addsd  0x348(%rsi),%xmm0
  movapd %xmm0,%xmm2
  mulsd  D427(%rip),%xmm2
  divsd  D311(%rip),%xmm2
  movsd  %xmm2,0x10(%rsp)
  movapd %xmm0,%xmm5
  divsd  %xmm1,%xmm5
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x20(%rsp)
  movsd  0x2d0(%rsi),%xmm1
  movsd  %xmm5,0x8(%rsp)
  movapd %xmm5,%xmm0
  call   <pow@plt>
  mulsd  0x1a8(%rbx),%xmm0
  movsd  %xmm0,0x1a8(%rbp)
  movsd  0x2d8(%rbx),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mulsd  0x8(%rbx),%xmm0
  movsd  %xmm0,0x8(%rbp)
  movsd  0x220(%rbx),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mulsd  0x10(%rbx),%xmm0
  movsd  %xmm0,0x10(%rbp)
  movsd  0x2e0(%rbx),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mulsd  0x30(%rbx),%xmm0
  movsd  %xmm0,0x30(%rbp)
  movsd  0x218(%rbx),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mulsd  0x38(%rbx),%xmm0
  movsd  %xmm0,0x38(%rbp)
  movsd  0x210(%rbx),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mulsd  0x40(%rbx),%xmm0
  movsd  %xmm0,0x40(%rbp)
  movsd  0x228(%rbx),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mulsd  0x48(%rbx),%xmm0
  movsd  %xmm0,0x48(%rbp)
  movsd  0x2e8(%rbx),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mulsd  0x50(%rbx),%xmm0
  movsd  %xmm0,0x50(%rbp)
  movsd  0x270(%rbx),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  movsd  D173(%rip),%xmm5
  subsd  0x8(%rsp),%xmm5
  movsd  0x238(%rbx),%xmm0
  xorpd  D140(%rip),%xmm0
  movsd  %xmm5,0x18(%rsp)
  mulsd  %xmm5,%xmm0
  divsd  0x10(%rsp),%xmm0
  call   <exp@plt>
  movq   %r12,%xmm7
  mulsd  %xmm0,%xmm7
  movapd %xmm7,%xmm0
  movsd  D173(%rip),%xmm1
  divsd  0x60(%rbx),%xmm1
  call   <pow@plt>
  mulsd  0x58(%rbx),%xmm0
  movsd  %xmm0,0x58(%rbp)
  movsd  0x2f8(%rbx),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  movsd  0x300(%rbx),%xmm0
  xorpd  D140(%rip),%xmm0
  mulsd  0x18(%rsp),%xmm0
  divsd  0x10(%rsp),%xmm0
  call   <exp@plt>
  movq   %r12,%xmm4
  mulsd  %xmm0,%xmm4
  movapd %xmm4,%xmm0
  movsd  D173(%rip),%xmm1
  divsd  0x68(%rbx),%xmm1
  call   <pow@plt>
  mulsd  0x2f0(%rbx),%xmm0
  movsd  %xmm0,0x2f0(%rbp)
  movsd  0x270(%rbx),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  movsd  0x308(%rbx),%xmm0
  xorpd  D140(%rip),%xmm0
  mulsd  0x18(%rsp),%xmm0
  divsd  0x10(%rsp),%xmm0
  call   <exp@plt>
  movq   %r12,%xmm7
  mulsd  %xmm0,%xmm7
  movapd %xmm7,%xmm0
  movsd  D173(%rip),%xmm1
  divsd  0x160(%rbx),%xmm1
  call   <pow@plt>
  mulsd  0x150(%rbx),%xmm0
  movsd  %xmm0,0x150(%rbp)
  movsd  0x278(%rbx),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  movsd  0x240(%rbx),%xmm0
  xorpd  D140(%rip),%xmm0
  mulsd  0x18(%rsp),%xmm0
  divsd  0x10(%rsp),%xmm0
  call   <exp@plt>
  movq   %r12,%xmm4
  mulsd  %xmm0,%xmm4
  movapd %xmm4,%xmm0
  movsd  D173(%rip),%xmm1
  divsd  0x108(%rbx),%xmm1
  call   <pow@plt>
  mulsd  0xf8(%rbx),%xmm0
  movsd  %xmm0,0xf8(%rbp)
  movsd  0x280(%rbx),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  movsd  0x258(%rbx),%xmm0
  xorpd  D140(%rip),%xmm0
  mulsd  0x18(%rsp),%xmm0
  divsd  0x10(%rsp),%xmm0
  call   <exp@plt>
  movq   %r12,%xmm3
  mulsd  %xmm0,%xmm3
  movapd %xmm3,%xmm0
  movsd  D173(%rip),%xmm1
  divsd  0x118(%rbx),%xmm1
  call   <pow@plt>
  mulsd  0x110(%rbx),%xmm0
  movsd  %xmm0,0x110(%rbp)
  movsd  0x278(%rbx),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  movsd  0x248(%rbx),%xmm0
  xorpd  D140(%rip),%xmm0
  mulsd  0x18(%rsp),%xmm0
  divsd  0x10(%rsp),%xmm0
  call   <exp@plt>
  movq   %r12,%xmm7
  mulsd  %xmm0,%xmm7
  movapd %xmm7,%xmm0
  movsd  D173(%rip),%xmm1
  divsd  0x128(%rbx),%xmm1
  call   <pow@plt>
  mulsd  0x120(%rbx),%xmm0
  movsd  %xmm0,0x120(%rbp)
  movsd  0x280(%rbx),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  movsd  0x260(%rbx),%xmm0
  xorpd  D140(%rip),%xmm0
  mulsd  0x18(%rsp),%xmm0
  divsd  0x10(%rsp),%xmm0
  call   <exp@plt>
  movq   %r12,%xmm3
  mulsd  %xmm0,%xmm3
  movapd %xmm3,%xmm0
  movsd  D173(%rip),%xmm1
  divsd  0x138(%rbx),%xmm1
  call   <pow@plt>
  mulsd  0x130(%rbx),%xmm0
  movsd  %xmm0,0x130(%rbp)
  movsd  0x278(%rbx),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  movsd  0x248(%rbx),%xmm0
  xorpd  D140(%rip),%xmm0
  mulsd  0x18(%rsp),%xmm0
  divsd  0x10(%rsp),%xmm0
  call   <exp@plt>
  movq   %r12,%xmm3
  mulsd  %xmm0,%xmm3
  movapd %xmm3,%xmm0
  movsd  D173(%rip),%xmm1
  divsd  0x128(%rbx),%xmm1
  call   <pow@plt>
  mulsd  0x168(%rbx),%xmm0
  movsd  %xmm0,0x168(%rbp)
  movsd  0x280(%rbx),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  movsd  0x260(%rbx),%xmm0
  xorpd  D140(%rip),%xmm0
  mulsd  0x18(%rsp),%xmm0
  divsd  0x10(%rsp),%xmm0
  call   <exp@plt>
  movq   %r12,%xmm3
  mulsd  %xmm0,%xmm3
  movapd %xmm3,%xmm0
  movsd  D173(%rip),%xmm1
  divsd  0x138(%rbx),%xmm1
  call   <pow@plt>
  mulsd  0x170(%rbx),%xmm0
  movsd  %xmm0,0x170(%rbp)
  movsd  0x278(%rbx),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  movsd  0x250(%rbx),%xmm0
  xorpd  D140(%rip),%xmm0
  mulsd  0x18(%rsp),%xmm0
  divsd  0x10(%rsp),%xmm0
  call   <exp@plt>
  movq   %r12,%xmm3
  mulsd  %xmm0,%xmm3
  movapd %xmm3,%xmm0
  movsd  D173(%rip),%xmm1
  divsd  0x180(%rbx),%xmm1
  call   <pow@plt>
  mulsd  0x178(%rbx),%xmm0
  movsd  %xmm0,0x178(%rbp)
  movsd  0x280(%rbx),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  movsd  0x268(%rbx),%xmm0
  xorpd  D140(%rip),%xmm0
  mulsd  0x18(%rsp),%xmm0
  divsd  0x10(%rsp),%xmm0
  call   <exp@plt>
  movq   %r12,%xmm5
  mulsd  %xmm0,%xmm5
  movapd %xmm5,%xmm0
  movsd  D173(%rip),%xmm1
  divsd  0x190(%rbx),%xmm1
  call   <pow@plt>
  mulsd  0x188(%rbx),%xmm0
  movsd  %xmm0,0x188(%rbp)
  movsd  0x20(%rsp),%xmm6
  movapd %xmm6,%xmm3
  mulsd  0x288(%rbx),%xmm3
  movapd %xmm3,%xmm0
  addsd  D173(%rip),%xmm0
  mulsd  0x60(%rbx),%xmm0
  movsd  %xmm0,0x60(%rbp)
  movapd %xmm6,%xmm3
  mulsd  0x288(%rbx),%xmm3
  movapd %xmm3,%xmm0
  addsd  D173(%rip),%xmm0
  mulsd  0x68(%rbx),%xmm0
  movsd  %xmm0,0x68(%rbp)
  movapd %xmm6,%xmm3
  mulsd  0x290(%rbx),%xmm3
  movapd %xmm3,%xmm0
  addsd  D173(%rip),%xmm0
  mulsd  0x148(%rbx),%xmm0
  movsd  %xmm0,0x148(%rbp)
  movapd %xmm6,%xmm3
  mulsd  0x330(%rbx),%xmm3
  movapd %xmm3,%xmm0
  addsd  0x328(%rbx),%xmm0
  mulsd  %xmm6,%xmm0
  addsd  D173(%rip),%xmm0
  movapd %xmm0,%xmm5
  mulsd  0x310(%rbx),%xmm5
  movq   %xmm5,%r12
  movsd  %xmm5,0x310(%rbp)
  mulsd  0x338(%rbx),%xmm6
  movapd %xmm6,%xmm0
  addsd  D173(%rip),%xmm0
  movapd %xmm0,%xmm3
  mulsd  0x318(%rbx),%xmm3
  movsd  %xmm3,0x48(%rsp)
  movsd  %xmm3,0x318(%rbp)
  movsd  D484(%rip),%xmm0
  mulsd  0x88(%rbx),%xmm0
  mulsd  0x8(%rsp),%xmm0
  divsd  0x10(%rsp),%xmm0
  movsd  %xmm0,0x20(%rsp)
  call   <exp@plt>
  movq   %xmm0,%r15
  movsd  0x20(%rsp),%xmm0
  xorpd  D140(%rip),%xmm0
  call   <exp@plt>
  movapd %xmm0,%xmm1
  movq   %r15,%xmm0
  subsd  %xmm1,%xmm0
  call   <log@plt>
  movq   %xmm0,%r15
  movsd  0x10(%rsp),%xmm0
  movsd  0x8(%rsp),%xmm4
  divsd  %xmm4,%xmm0
  movapd %xmm0,%xmm6
  addsd  %xmm0,%xmm6
  movsd  %xmm6,0x20(%rsp)
  movapd %xmm4,%xmm0
  call   <log@plt>
  movsd  0x10(%rsp),%xmm7
  movapd %xmm7,%xmm2
  mulsd  D53(%rip),%xmm2
  movsd  %xmm2,0x28(%rsp)
  movsd  0x8(%rsp),%xmm4
  movapd %xmm4,%xmm3
  subsd  D173(%rip),%xmm3
  movsd  %xmm3,0x30(%rsp)
  movq   %r15,%xmm1
  mulsd  0x20(%rsp),%xmm1
  mulsd  %xmm4,%xmm1
  mulsd  %xmm2,%xmm0
  subsd  %xmm0,%xmm1
  mulsd  0x240(%rbx),%xmm3
  subsd  %xmm3,%xmm1
  movsd  %xmm1,0x40(%rsp)
  movapd %xmm1,%xmm0
  xorpd  D140(%rip),%xmm0
  divsd  %xmm7,%xmm0
  call   <exp@plt>
  mulsd  D322(%rip),%xmm0
  addsd  D173(%rip),%xmm0
  pxor   %xmm1,%xmm1
  ucomisd %xmm0,%xmm1
  ja     L15
  sqrtsd %xmm0,%xmm0
L29:
  addsd  D173(%rip),%xmm0
  mulsd  D484(%rip),%xmm0
  call   <log@plt>
  movsd  0x10(%rsp),%xmm7
  movapd %xmm7,%xmm4
  addsd  %xmm7,%xmm4
  movsd  %xmm4,0x38(%rsp)
  mulsd  %xmm4,%xmm0
  addsd  0x40(%rsp),%xmm0
  movsd  %xmm0,0x50(%rsp)
  movsd  %xmm0,0x88(%rbp)
  movsd  D484(%rip),%xmm0
  mulsd  0xc0(%rbx),%xmm0
  mulsd  0x8(%rsp),%xmm0
  divsd  %xmm7,%xmm0
  movsd  %xmm0,0x40(%rsp)
  call   <exp@plt>
  movq   %xmm0,%r15
  movsd  0x40(%rsp),%xmm0
  xorpd  D140(%rip),%xmm0
  call   <exp@plt>
  movapd %xmm0,%xmm1
  movq   %r15,%xmm0
  subsd  %xmm1,%xmm0
  call   <log@plt>
  movq   %xmm0,%r15
  movsd  0x8(%rsp),%xmm0
  call   <log@plt>
  movq   %r15,%xmm1
  mulsd  0x20(%rsp),%xmm1
  mulsd  0x8(%rsp),%xmm1
  mulsd  0x28(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x30(%rsp),%xmm0
  mulsd  0x248(%rbx),%xmm0
  subsd  %xmm0,%xmm1
  movsd  %xmm1,0x40(%rsp)
  movapd %xmm1,%xmm0
  xorpd  D140(%rip),%xmm0
  divsd  0x10(%rsp),%xmm0
  call   <exp@plt>
  mulsd  D322(%rip),%xmm0
  addsd  D173(%rip),%xmm0
  pxor   %xmm1,%xmm1
  ucomisd %xmm0,%xmm1
  ja     L42
  sqrtsd %xmm0,%xmm0
L24:
  addsd  D173(%rip),%xmm0
  mulsd  D484(%rip),%xmm0
  call   <log@plt>
  mulsd  0x38(%rsp),%xmm0
  addsd  0x40(%rsp),%xmm0
  movsd  %xmm0,0x40(%rsp)
  movsd  %xmm0,0xc0(%rbp)
  movsd  D484(%rip),%xmm0
  mulsd  0xe0(%rbx),%xmm0
  mulsd  0x8(%rsp),%xmm0
  divsd  0x10(%rsp),%xmm0
  movsd  %xmm0,0x58(%rsp)
  call   <exp@plt>
  movq   %xmm0,%r15
  movsd  0x58(%rsp),%xmm0
  xorpd  D140(%rip),%xmm0
  call   <exp@plt>
  movapd %xmm0,%xmm1
  movq   %r15,%xmm0
  subsd  %xmm1,%xmm0
  call   <log@plt>
  movq   %xmm0,%r15
  movsd  0x8(%rsp),%xmm0
  call   <log@plt>
  movapd %xmm0,%xmm1
  movq   %r15,%xmm4
  mulsd  0x20(%rsp),%xmm4
  movapd %xmm4,%xmm0
  mulsd  0x8(%rsp),%xmm0
  mulsd  0x28(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  0x30(%rsp),%xmm1
  mulsd  0x250(%rbx),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x20(%rsp)
  xorpd  D140(%rip),%xmm0
  divsd  0x10(%rsp),%xmm0
  call   <exp@plt>
  mulsd  D322(%rip),%xmm0
  addsd  D173(%rip),%xmm0
  pxor   %xmm1,%xmm1
  ucomisd %xmm0,%xmm1
  ja     L2
  sqrtsd %xmm0,%xmm0
L17:
  addsd  D173(%rip),%xmm0
  mulsd  D484(%rip),%xmm0
  call   <log@plt>
  mulsd  0x38(%rsp),%xmm0
  addsd  0x20(%rsp),%xmm0
  movq   %xmm0,%r15
  movsd  %xmm0,0xe0(%rbp)
  movsd  0x88(%rbx),%xmm0
  divsd  0x50(%rsp),%xmm0
  movsd  0x90(%rbx),%xmm1
  call   <pow@plt>
  mulsd  0x80(%rbx),%xmm0
  movsd  %xmm0,0x80(%rbp)
  movsd  0xc0(%rbx),%xmm0
  divsd  0x40(%rsp),%xmm0
  movsd  0xc8(%rbx),%xmm1
  call   <pow@plt>
  mulsd  0xa8(%rbx),%xmm0
  movsd  %xmm0,0xa8(%rbp)
  movsd  0xc0(%rbx),%xmm0
  divsd  0x40(%rsp),%xmm0
  movsd  0xc8(%rbx),%xmm1
  call   <pow@plt>
  mulsd  0xb8(%rbx),%xmm0
  movsd  %xmm0,0xb8(%rbp)
  movsd  0xe0(%rbx),%xmm0
  movq   %r15,%xmm5
  divsd  %xmm5,%xmm0
  movsd  0xe8(%rbx),%xmm1
  call   <pow@plt>
  mulsd  0xd8(%rbx),%xmm0
  movsd  %xmm0,0xd8(%rbp)
  movsd  0x270(%rbx),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r15
  movsd  0x238(%rbx),%xmm0
  xorpd  D140(%rip),%xmm0
  mulsd  0x18(%rsp),%xmm0
  divsd  0x10(%rsp),%xmm0
  call   <exp@plt>
  movapd %xmm0,%xmm1
  movq   %r15,%xmm4
  mulsd  0x20(%rbx),%xmm4
  movapd %xmm4,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,0x20(%rbp)
  movsd  0x230(%rbx),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mulsd  0x18(%rbx),%xmm0
  movsd  %xmm0,0x18(%rbp)
  movq   %r12,%xmm0
  xorpd  D140(%rip),%xmm0
  movsd  0x48(%rsp),%xmm1
  mulsd  0x10(%rsp),%xmm1
  divsd  %xmm1,%xmm0
  call   <exp@plt>
  movsd  %xmm0,0x340(%rbp)
  movq   %r13,%xmm0
  addsd  (%r14),%xmm0
  movsd  %xmm0,0x0(%rbp)
  mov    $0x0,%eax
  add    $0x68,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L15:
  call   <sqrt@plt>
  jmp    L29
L42:
  call   <sqrt@plt>
  jmp    L24
L2:
  call   <sqrt@plt>
  jmp    L17
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D105
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_label: D427
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_label: D311
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_label: D173
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D140
type_infered: byte[16]
name: extract_symbolic_data
arguments: data_label: D484
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D53
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D322
type_infered: f64

tool: {"D105": [0x66,0x66,0x66,0x66,0x66,0x12,0x71,0x40]}

tool: {"D427": [0xef,0xfb,0x14,0x22,0xf1,0xb0,0x30,0x3b]}

tool: {"D311": [0x0e,0x74,0xb8,0x1e,0xe6,0xa4,0x07,0x3c]}

tool: D173: 1

tool: {"D140": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x80,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00]}

tool: D484: 0.5

tool: D53: 3

tool: D322: 4

assistant: ```c
int vbic_3T_et_cf_t(p, pnom, TAMB)
double *p, *pnom, *TAMB;
{
  double Tini, Tdev, Vtv, rT, dT, xvar1;
  double xvar2, xvar3, xvar4, xvar5, xvar6, psiio;
  double psiin;
  p[5] = pnom[5];
  p[14] = pnom[14];
  p[15] = pnom[15];
  p[18] = pnom[18];
  p[19] = pnom[19];
  p[20] = pnom[20];
  p[22] = pnom[22];
  p[25] = pnom[25];
  p[26] = pnom[26];
  p[29] = pnom[29];
  p[30] = pnom[30];
  p[32] = pnom[32];
  p[33] = pnom[33];
  p[35] = pnom[35];
  p[37] = pnom[37];
  p[39] = pnom[39];
  p[40] = pnom[40];
  p[43] = pnom[43];
  p[44] = pnom[44];
  p[48] = pnom[48];
  p[50] = pnom[50];
  p[51] = pnom[51];
  p[52] = pnom[52];
  p[54] = pnom[54];
  p[55] = pnom[55];
  p[56] = pnom[56];
  p[57] = pnom[57];
  p[58] = pnom[58];
  p[59] = pnom[59];
  p[60] = pnom[60];
  p[61] = pnom[61];
  p[62] = pnom[62];
  p[63] = pnom[63];
  p[64] = pnom[64];
  p[65] = pnom[65];
  p[66] = pnom[66];
  p[67] = pnom[67];
  p[68] = pnom[68];
  p[69] = pnom[69];
  p[70] = pnom[70];
  p[71] = pnom[71];
  p[72] = pnom[72];
  p[73] = pnom[73];
  p[74] = pnom[74];
  p[75] = pnom[75];
  p[76] = pnom[76];
  p[77] = pnom[77];
  p[78] = pnom[78];
  p[79] = pnom[79];
  p[80] = pnom[80];
  p[81] = pnom[81];
  p[82] = pnom[82];
  p[83] = pnom[83];
  p[84] = pnom[84];
  p[85] = pnom[85];
  p[86] = pnom[86];
  p[87] = pnom[87];
  p[88] = pnom[88];
  p[89] = pnom[89];
  p[90] = pnom[90];
  p[91] = pnom[91];
  p[92] = pnom[92];
  p[93] = pnom[93];
  p[95] = pnom[95];
  p[96] = pnom[96];
  p[97] = pnom[97];
  p[100] = pnom[100];
  p[101] = pnom[101];
  p[102] = pnom[102];
  p[103] = pnom[103];
  p[105] = pnom[105];
  p[106] = pnom[106];
  p[107] = pnom[107];
  Tini = 2.731500e+02 + pnom[0];
  Tdev = (2.731500e+02 + (*TAMB)) + pnom[105];
  Vtv = 1.380662e-23 * Tdev / 1.602189e-19;
  rT = Tdev / Tini;
  dT = Tdev - Tini;
  xvar1 = pow(rT, pnom[90]);
  p[53] = pnom[53] * xvar1;
  xvar1 = pow(rT, pnom[91]);
  p[1] = pnom[1] * xvar1;
  xvar1 = pow(rT, pnom[68]);
  p[2] = pnom[2] * xvar1;
  xvar1 = pow(rT, pnom[92]);
  p[6] = pnom[6] * xvar1;
  xvar1 = pow(rT, pnom[67]);
  p[7] = pnom[7] * xvar1;
  xvar1 = pow(rT, pnom[66]);
  p[8] = pnom[8] * xvar1;
  xvar1 = pow(rT, pnom[69]);
  p[9] = pnom[9] * xvar1;
  xvar1 = pow(rT, pnom[93]);
  p[10] = pnom[10] * xvar1;
  xvar2 = pow(rT, pnom[78]);
  xvar3 = -pnom[71] * (1.0 - rT) / Vtv;
  xvar4 = exp(xvar3);
  xvar1 = (xvar2 * xvar4);
  xvar5 = (1.0 / pnom[12]);
  xvar6 = pow(xvar1, xvar5);
  p[11] = pnom[11] * xvar6;
  xvar2 = pow(rT, pnom[95]);
  xvar3 = -pnom[96] * (1.0 - rT) / Vtv;
  xvar4 = exp(xvar3);
  xvar1 = (xvar2 * xvar4);
  xvar5 = (1.0 / pnom[13]);
  xvar6 = pow(xvar1, xvar5);
  p[94] = pnom[94] * xvar6;
  xvar2 = pow(rT, pnom[78]);
  xvar3 = -pnom[97] * (1.0 - rT) / Vtv;
  xvar4 = exp(xvar3);
  xvar1 = (xvar2 * xvar4);
  xvar5 = (1.0 / pnom[44]);
  xvar6 = pow(xvar1, xvar5);
  p[42] = pnom[42] * xvar6;
  xvar2 = pow(rT, pnom[79]);
  xvar3 = -pnom[72] * (1.0 - rT) / Vtv;
  xvar4 = exp(xvar3);
  xvar1 = (xvar2 * xvar4);
  xvar5 = (1.0 / pnom[33]);
  xvar6 = pow(xvar1, xvar5);
  p[31] = pnom[31] * xvar6;
  xvar2 = pow(rT, pnom[80]);
  xvar3 = -pnom[75] * (1.0 - rT) / Vtv;
  xvar4 = exp(xvar3);
  xvar1 = (xvar2 * xvar4);
  xvar5 = (1.0 / pnom[35]);
  xvar6 = pow(xvar1, xvar5);
  p[34] = pnom[34] * xvar6;
  xvar2 = pow(rT, pnom[79]);
  xvar3 = -pnom[73] * (1.0 - rT) / Vtv;
  xvar4 = exp(xvar3);
  xvar1 = (xvar2 * xvar4);
  xvar5 = (1.0 / pnom[37]);
  xvar6 = pow(xvar1, xvar5);
  p[36] = pnom[36] * xvar6;
  xvar2 = pow(rT, pnom[80]);
  xvar3 = -pnom[76] * (1.0 - rT) / Vtv;
  xvar4 = exp(xvar3);
  xvar1 = (xvar2 * xvar4);
  xvar5 = (1.0 / pnom[39]);
  xvar6 = pow(xvar1, xvar5);
  p[38] = pnom[38] * xvar6;
  xvar2 = pow(rT, pnom[79]);
  xvar3 = -pnom[73] * (1.0 - rT) / Vtv;
  xvar4 = exp(xvar3);
  xvar1 = (xvar2 * xvar4);
  xvar5 = (1.0 / pnom[37]);
  xvar6 = pow(xvar1, xvar5);
  p[45] = pnom[45] * xvar6;
  xvar2 = pow(rT, pnom[80]);
  xvar3 = -pnom[76] * (1.0 - rT) / Vtv;
  xvar4 = exp(xvar3);
  xvar1 = (xvar2 * xvar4);
  xvar5 = (1.0 / pnom[39]);
  xvar6 = pow(xvar1, xvar5);
  p[46] = pnom[46] * xvar6;
  xvar2 = pow(rT, pnom[79]);
  xvar3 = -pnom[74] * (1.0 - rT) / Vtv;
  xvar4 = exp(xvar3);
  xvar1 = (xvar2 * xvar4);
  xvar5 = (1.0 / pnom[48]);
  xvar6 = pow(xvar1, xvar5);
  p[47] = pnom[47] * xvar6;
  xvar2 = pow(rT, pnom[80]);
  xvar3 = -pnom[77] * (1.0 - rT) / Vtv;
  xvar4 = exp(xvar3);
  xvar1 = (xvar2 * xvar4);
  xvar5 = (1.0 / pnom[50]);
  xvar6 = pow(xvar1, xvar5);
  p[49] = pnom[49] * xvar6;
  p[12] = pnom[12] * (1.0 + dT * pnom[81]);
  p[13] = pnom[13] * (1.0 + dT * pnom[81]);
  p[41] = pnom[41] * (1.0 + dT * pnom[82]);
  p[98] = pnom[98] * (1.0 + dT * (pnom[101] + dT * pnom[102]));
  p[99] = pnom[99] * (1.0 + dT * pnom[103]);
  xvar2 = 0.5 * pnom[17] * rT / Vtv;
  xvar3 = exp(xvar2);
  xvar4 = -0.5 * pnom[17] * rT / Vtv;
  xvar5 = exp(xvar4);
  xvar1 = xvar3 - xvar5;
  xvar6 = log(xvar1);
  psiio = 2.0 * (Vtv / rT) * xvar6;
  xvar1 = log(rT);
  psiin = psiio * rT - 3.0 * Vtv * xvar1 - pnom[72] * (rT - 1.0);
  xvar2 = -psiin / Vtv;
  xvar3 = exp(xvar2);
  xvar1 = 0.5 * (1.0 + sqrt(1.0 + 4.0 * xvar3));
  xvar4 = log(xvar1);
  p[17] = psiin + 2.0 * Vtv * xvar4;
  xvar2 = 0.5 * pnom[24] * rT / Vtv;
  xvar3 = exp(xvar2);
  xvar4 = -0.5 * pnom[24] * rT / Vtv;
  xvar5 = exp(xvar4);
  xvar1 = xvar3 - xvar5;
  xvar6 = log(xvar1);
  psiio = 2.0 * (Vtv / rT) * xvar6;
  xvar1 = log(rT);
  psiin = psiio * rT - 3.0 * Vtv * xvar1 - pnom[73] * (rT - 1.0);
  xvar2 = -psiin / Vtv;
  xvar3 = exp(xvar2);
  xvar1 = 0.5 * (1.0 + sqrt(1.0 + 4.0 * xvar3));
  xvar4 = log(xvar1);
  p[24] = psiin + 2.0 * Vtv * xvar4;
  xvar2 = 0.5 * pnom[28] * rT / Vtv;
  xvar3 = exp(xvar2);
  xvar4 = -0.5 * pnom[28] * rT / Vtv;
  xvar5 = exp(xvar4);
  xvar1 = xvar3 - xvar5;
  xvar6 = log(xvar1);
  psiio = 2.0 * (Vtv / rT) * xvar6;
  xvar1 = log(rT);
  psiin = psiio * rT - 3.0 * Vtv * xvar1 - pnom[74] * (rT - 1.0);
  xvar2 = -psiin / Vtv;
  xvar3 = exp(xvar2);
  xvar1 = 0.5 * (1.0 + sqrt(1.0 + 4.0 * xvar3));
  xvar4 = log(xvar1);
  p[28] = psiin + 2.0 * Vtv * xvar4;
  xvar1 = pnom[17] / p[17];
  xvar2 = pow(xvar1, pnom[18]);
  p[16] = pnom[16] * xvar2;
  xvar1 = pnom[24] / p[24];
  xvar2 = pow(xvar1, pnom[25]);
  p[21] = pnom[21] * xvar2;
  xvar1 = pnom[24] / p[24];
  xvar2 = pow(xvar1, pnom[25]);
  p[23] = pnom[23] * xvar2;
  xvar1 = pnom[28] / p[28];
  xvar2 = pow(xvar1, pnom[29]);
  p[27] = pnom[27] * xvar2;
  xvar1 = pow(rT, pnom[78]);
  xvar2 = -pnom[71] * (1.0 - rT) / Vtv;
  xvar3 = exp(xvar2);
  p[4] = pnom[4] * xvar1 * xvar3;
  xvar1 = pow(rT, pnom[70]);
  p[3] = pnom[3] * xvar1;
  xvar1 = -p[98] / (p[99] * Vtv);
  p[104] = exp(xvar1);
  p[0] = (*TAMB) + p[105];
  return (0);
}
```