user: 这段汇编代码用C语言表示是什么样的:

```asm
<vbic_3T_et_cf_t>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %rbx
  sub    $0x98,%rsp
  mov    %rdi,-0x88(%rbp)
  mov    %rsi,-0x90(%rbp)
  mov    %rdx,-0x98(%rbp)
  mov    -0x88(%rbp),%rax
  lea    0x28(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x28(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x70(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x70(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x78(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x78(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x90(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x90(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x98(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x98(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0xa0(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0xa0(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0xb0(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0xb0(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0xc8(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0xc8(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0xd0(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0xd0(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0xe8(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0xe8(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0xf0(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0xf0(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x100(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x100(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x108(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x108(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x118(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x118(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x128(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x128(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x138(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x138(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x140(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x140(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x158(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x158(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x160(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x160(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x180(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x180(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x190(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x190(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x198(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x198(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x1a0(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x1a0(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x1b0(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x1b0(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x1b8(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x1b8(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x1c0(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x1c0(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x1c8(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x1c8(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x1d0(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x1d0(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x1d8(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x1d8(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x1e0(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x1e0(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x1e8(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x1e8(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x1f0(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x1f0(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x1f8(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x1f8(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x200(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x200(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x208(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x208(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x210(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x210(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x218(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x218(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x220(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x220(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x228(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x228(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x230(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x230(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x238(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x238(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x240(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x240(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x248(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x248(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x250(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x250(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x258(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x258(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x260(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x260(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x268(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x268(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x270(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x270(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x278(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x278(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x280(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x280(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x288(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x288(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x290(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x290(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x298(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x298(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x2a0(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x2a0(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x2a8(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x2a8(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x2b0(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x2b0(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x2b8(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x2b8(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x2c0(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x2c0(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x2c8(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x2c8(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x2d0(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x2d0(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x2d8(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x2d8(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x2e0(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x2e0(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x2e8(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x2e8(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x2f8(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x2f8(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x300(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x300(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x308(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x308(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x320(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x320(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x328(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x328(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x330(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x330(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x338(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x338(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x348(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x348(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x350(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x350(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x88(%rbp),%rax
  lea    0x358(%rax),%rdx
  mov    -0x90(%rbp),%rax
  movsd  0x358(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x90(%rbp),%rax
  movsd  (%rax),%xmm1
  movsd  D253(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  mov    -0x98(%rbp),%rax
  movsd  (%rax),%xmm1
  movsd  D253(%rip),%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x90(%rbp),%rax
  add    $0x348,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x70(%rbp)
  movsd  -0x70(%rbp),%xmm1
  movsd  D8(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D285(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x68(%rbp)
  movsd  -0x70(%rbp),%xmm0
  divsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0x70(%rbp),%xmm0
  subsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x58(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x2d0,%rax
  movsd  (%rax),%xmm0
  mov    -0x60(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x1a8,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x1a8,%rax
  mulsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x2d8,%rax
  movsd  (%rax),%xmm0
  mov    -0x60(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x8,%rax
  mulsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x220,%rax
  movsd  (%rax),%xmm0
  mov    -0x60(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x10,%rax
  mulsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x2e0,%rax
  movsd  (%rax),%xmm0
  mov    -0x60(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x30,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x30,%rax
  mulsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x218,%rax
  movsd  (%rax),%xmm0
  mov    -0x60(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x38,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x38,%rax
  mulsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x210,%rax
  movsd  (%rax),%xmm0
  mov    -0x60(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x40,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x40,%rax
  mulsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x228,%rax
  movsd  (%rax),%xmm0
  mov    -0x60(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x48,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x48,%rax
  mulsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x2e8,%rax
  movsd  (%rax),%xmm0
  mov    -0x60(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x50,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x50,%rax
  mulsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x270,%rax
  movsd  (%rax),%xmm0
  mov    -0x60(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x238,%rax
  movsd  (%rax),%xmm0
  movq   D305(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  movsd  D44(%rip),%xmm0
  subsd  -0x60(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  divsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    -0x40(%rbp),%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x38(%rbp)
  movsd  -0x48(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x60,%rax
  movsd  (%rax),%xmm1
  movsd  D44(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x30(%rbp),%xmm0
  mov    -0x50(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x28(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x58,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x58,%rax
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x2f8,%rax
  movsd  (%rax),%xmm0
  mov    -0x60(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x300,%rax
  movsd  (%rax),%xmm0
  movq   D305(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  movsd  D44(%rip),%xmm0
  subsd  -0x60(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  divsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    -0x40(%rbp),%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x38(%rbp)
  movsd  -0x48(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x68,%rax
  movsd  (%rax),%xmm1
  movsd  D44(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x30(%rbp),%xmm0
  mov    -0x50(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x28(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x2f0,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x2f0,%rax
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x270,%rax
  movsd  (%rax),%xmm0
  mov    -0x60(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x308,%rax
  movsd  (%rax),%xmm0
  movq   D305(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  movsd  D44(%rip),%xmm0
  subsd  -0x60(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  divsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    -0x40(%rbp),%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x38(%rbp)
  movsd  -0x48(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x160,%rax
  movsd  (%rax),%xmm1
  movsd  D44(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x30(%rbp),%xmm0
  mov    -0x50(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x28(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x150,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x150,%rax
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x278,%rax
  movsd  (%rax),%xmm0
  mov    -0x60(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x240,%rax
  movsd  (%rax),%xmm0
  movq   D305(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  movsd  D44(%rip),%xmm0
  subsd  -0x60(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  divsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    -0x40(%rbp),%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x38(%rbp)
  movsd  -0x48(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x108,%rax
  movsd  (%rax),%xmm1
  movsd  D44(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x30(%rbp),%xmm0
  mov    -0x50(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x28(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0xf8,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0xf8,%rax
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x280,%rax
  movsd  (%rax),%xmm0
  mov    -0x60(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x258,%rax
  movsd  (%rax),%xmm0
  movq   D305(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  movsd  D44(%rip),%xmm0
  subsd  -0x60(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  divsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    -0x40(%rbp),%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x38(%rbp)
  movsd  -0x48(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x118,%rax
  movsd  (%rax),%xmm1
  movsd  D44(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x30(%rbp),%xmm0
  mov    -0x50(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x28(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x110,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x110,%rax
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x278,%rax
  movsd  (%rax),%xmm0
  mov    -0x60(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x248,%rax
  movsd  (%rax),%xmm0
  movq   D305(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  movsd  D44(%rip),%xmm0
  subsd  -0x60(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  divsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    -0x40(%rbp),%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x38(%rbp)
  movsd  -0x48(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x128,%rax
  movsd  (%rax),%xmm1
  movsd  D44(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x30(%rbp),%xmm0
  mov    -0x50(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x28(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x120,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x120,%rax
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x280,%rax
  movsd  (%rax),%xmm0
  mov    -0x60(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x260,%rax
  movsd  (%rax),%xmm0
  movq   D305(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  movsd  D44(%rip),%xmm0
  subsd  -0x60(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  divsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    -0x40(%rbp),%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x38(%rbp)
  movsd  -0x48(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x138,%rax
  movsd  (%rax),%xmm1
  movsd  D44(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x30(%rbp),%xmm0
  mov    -0x50(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x28(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x130,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x130,%rax
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x278,%rax
  movsd  (%rax),%xmm0
  mov    -0x60(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x248,%rax
  movsd  (%rax),%xmm0
  movq   D305(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  movsd  D44(%rip),%xmm0
  subsd  -0x60(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  divsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    -0x40(%rbp),%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x38(%rbp)
  movsd  -0x48(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x128,%rax
  movsd  (%rax),%xmm1
  movsd  D44(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x30(%rbp),%xmm0
  mov    -0x50(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x28(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x168,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x168,%rax
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x280,%rax
  movsd  (%rax),%xmm0
  mov    -0x60(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x260,%rax
  movsd  (%rax),%xmm0
  movq   D305(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  movsd  D44(%rip),%xmm0
  subsd  -0x60(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  divsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    -0x40(%rbp),%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x38(%rbp)
  movsd  -0x48(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x138,%rax
  movsd  (%rax),%xmm1
  movsd  D44(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x30(%rbp),%xmm0
  mov    -0x50(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x28(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x170,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x170,%rax
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x278,%rax
  movsd  (%rax),%xmm0
  mov    -0x60(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x250,%rax
  movsd  (%rax),%xmm0
  movq   D305(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  movsd  D44(%rip),%xmm0
  subsd  -0x60(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  divsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    -0x40(%rbp),%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x38(%rbp)
  movsd  -0x48(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x180,%rax
  movsd  (%rax),%xmm1
  movsd  D44(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x30(%rbp),%xmm0
  mov    -0x50(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x28(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x178,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x178,%rax
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x280,%rax
  movsd  (%rax),%xmm0
  mov    -0x60(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x268,%rax
  movsd  (%rax),%xmm0
  movq   D305(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  movsd  D44(%rip),%xmm0
  subsd  -0x60(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  divsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    -0x40(%rbp),%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x38(%rbp)
  movsd  -0x48(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x190,%rax
  movsd  (%rax),%xmm1
  movsd  D44(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x30(%rbp),%xmm0
  mov    -0x50(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x28(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x188,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x188,%rax
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x60,%rax
  movsd  (%rax),%xmm1
  mov    -0x90(%rbp),%rax
  add    $0x288,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x58(%rbp),%xmm2
  movsd  D44(%rip),%xmm0
  addsd  %xmm2,%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x60,%rax
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x68,%rax
  movsd  (%rax),%xmm1
  mov    -0x90(%rbp),%rax
  add    $0x288,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x58(%rbp),%xmm2
  movsd  D44(%rip),%xmm0
  addsd  %xmm2,%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x68,%rax
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x148,%rax
  movsd  (%rax),%xmm1
  mov    -0x90(%rbp),%rax
  add    $0x290,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x58(%rbp),%xmm2
  movsd  D44(%rip),%xmm0
  addsd  %xmm2,%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x148,%rax
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x310,%rax
  movsd  (%rax),%xmm1
  mov    -0x90(%rbp),%rax
  add    $0x328,%rax
  movsd  (%rax),%xmm2
  mov    -0x90(%rbp),%rax
  add    $0x330,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x58(%rbp),%xmm0
  addsd  %xmm2,%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x58(%rbp),%xmm2
  movsd  D44(%rip),%xmm0
  addsd  %xmm2,%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x310,%rax
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x318,%rax
  movsd  (%rax),%xmm1
  mov    -0x90(%rbp),%rax
  add    $0x338,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x58(%rbp),%xmm2
  movsd  D44(%rip),%xmm0
  addsd  %xmm2,%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x318,%rax
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x88,%rax
  movsd  (%rax),%xmm1
  movsd  D462(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0x60(%rbp),%xmm0
  divsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    -0x48(%rbp),%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x40(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x88,%rax
  movsd  (%rax),%xmm1
  movsd  D290(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0x60(%rbp),%xmm0
  divsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    -0x38(%rbp),%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x30(%rbp)
  movsd  -0x40(%rbp),%xmm0
  subsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x50(%rbp),%rax
  movq   %rax,%xmm0
  call   <log@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x28(%rbp)
  movsd  -0x68(%rbp),%xmm0
  divsd  -0x60(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x60(%rbp),%rax
  movq   %rax,%xmm0
  call   <log@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x50(%rbp)
  movsd  -0x20(%rbp),%xmm0
  mulsd  -0x60(%rbp),%xmm0
  movsd  -0x68(%rbp),%xmm2
  movsd  D639(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x50(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x90(%rbp),%rax
  add    $0x240,%rax
  movsd  (%rax),%xmm2
  movsd  -0x60(%rbp),%xmm1
  movsd  D44(%rip),%xmm3
  subsd  %xmm3,%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D305(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  divsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    -0x48(%rbp),%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x40(%rbp)
  movsd  -0x40(%rbp),%xmm1
  movsd  D46(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D44(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movq   %xmm1,%rax
  movq   %rax,%xmm0
  call   <sqrt@plt>
  movsd  D44(%rip),%xmm1
  addsd  %xmm0,%xmm1
  movsd  D462(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x50(%rbp),%rax
  movq   %rax,%xmm0
  call   <log@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x38(%rbp)
  movsd  -0x68(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x38(%rbp),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x88,%rax
  addsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0xc0,%rax
  movsd  (%rax),%xmm1
  movsd  D462(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0x60(%rbp),%xmm0
  divsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    -0x48(%rbp),%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x40(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0xc0,%rax
  movsd  (%rax),%xmm1
  movsd  D290(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0x60(%rbp),%xmm0
  divsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    -0x38(%rbp),%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x30(%rbp)
  movsd  -0x40(%rbp),%xmm0
  subsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x50(%rbp),%rax
  movq   %rax,%xmm0
  call   <log@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x28(%rbp)
  movsd  -0x68(%rbp),%xmm0
  divsd  -0x60(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x60(%rbp),%rax
  movq   %rax,%xmm0
  call   <log@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x50(%rbp)
  movsd  -0x20(%rbp),%xmm0
  mulsd  -0x60(%rbp),%xmm0
  movsd  -0x68(%rbp),%xmm2
  movsd  D639(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x50(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x90(%rbp),%rax
  add    $0x248,%rax
  movsd  (%rax),%xmm2
  movsd  -0x60(%rbp),%xmm1
  movsd  D44(%rip),%xmm3
  subsd  %xmm3,%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D305(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  divsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    -0x48(%rbp),%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x40(%rbp)
  movsd  -0x40(%rbp),%xmm1
  movsd  D46(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D44(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movq   %xmm1,%rax
  movq   %rax,%xmm0
  call   <sqrt@plt>
  movsd  D44(%rip),%xmm1
  addsd  %xmm0,%xmm1
  movsd  D462(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x50(%rbp),%rax
  movq   %rax,%xmm0
  call   <log@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x38(%rbp)
  movsd  -0x68(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x38(%rbp),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0xc0,%rax
  addsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0xe0,%rax
  movsd  (%rax),%xmm1
  movsd  D462(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0x60(%rbp),%xmm0
  divsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    -0x48(%rbp),%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x40(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0xe0,%rax
  movsd  (%rax),%xmm1
  movsd  D290(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0x60(%rbp),%xmm0
  divsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    -0x38(%rbp),%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x30(%rbp)
  movsd  -0x40(%rbp),%xmm0
  subsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x50(%rbp),%rax
  movq   %rax,%xmm0
  call   <log@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x28(%rbp)
  movsd  -0x68(%rbp),%xmm0
  divsd  -0x60(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x60(%rbp),%rax
  movq   %rax,%xmm0
  call   <log@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x50(%rbp)
  movsd  -0x20(%rbp),%xmm0
  mulsd  -0x60(%rbp),%xmm0
  movsd  -0x68(%rbp),%xmm2
  movsd  D639(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x50(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x90(%rbp),%rax
  add    $0x250,%rax
  movsd  (%rax),%xmm2
  movsd  -0x60(%rbp),%xmm1
  movsd  D44(%rip),%xmm3
  subsd  %xmm3,%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D305(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  divsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    -0x48(%rbp),%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x40(%rbp)
  movsd  -0x40(%rbp),%xmm1
  movsd  D46(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D44(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movq   %xmm1,%rax
  movq   %rax,%xmm0
  call   <sqrt@plt>
  movsd  D44(%rip),%xmm1
  addsd  %xmm0,%xmm1
  movsd  D462(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x50(%rbp),%rax
  movq   %rax,%xmm0
  call   <log@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x38(%rbp)
  movsd  -0x68(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x38(%rbp),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0xe0,%rax
  addsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x88,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x88,%rax
  movsd  (%rax),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x90,%rax
  movsd  (%rax),%xmm0
  mov    -0x50(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x90(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  mulsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0xc0,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0xc0,%rax
  movsd  (%rax),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0xc8,%rax
  movsd  (%rax),%xmm0
  mov    -0x50(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0xa8,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0xa8,%rax
  mulsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0xc0,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0xc0,%rax
  movsd  (%rax),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0xc8,%rax
  movsd  (%rax),%xmm0
  mov    -0x50(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0xb8,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0xb8,%rax
  mulsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0xe0,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0xe0,%rax
  movsd  (%rax),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0xe8,%rax
  movsd  (%rax),%xmm0
  mov    -0x50(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0xd8,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0xd8,%rax
  mulsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x270,%rax
  movsd  (%rax),%xmm0
  mov    -0x60(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x238,%rax
  movsd  (%rax),%xmm0
  movq   D305(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  movsd  D44(%rip),%xmm0
  subsd  -0x60(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  divsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    -0x48(%rbp),%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x40(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x50(%rbp),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x20,%rax
  mulsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x90(%rbp),%rax
  add    $0x230,%rax
  movsd  (%rax),%xmm0
  mov    -0x60(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x18,%rax
  mulsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x88(%rbp),%rax
  add    $0x310,%rax
  movsd  (%rax),%xmm0
  movq   D305(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x318,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x68(%rbp),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x88(%rbp),%rax
  lea    0x340(%rax),%rbx
  mov    -0x50(%rbp),%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,(%rbx)
  mov    -0x98(%rbp),%rax
  movsd  (%rax),%xmm1
  mov    -0x88(%rbp),%rax
  add    $0x348,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x88(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    $0x0,%eax
  mov    -0x8(%rbp),%rbx
  leave
  ret
```

tool_calls: name: unpack_data
arguments: tag: D253
type_infered: byte[8]
name: unpack_data
arguments: tag: D8
type_infered: byte[8]
name: unpack_data
arguments: tag: D285
type_infered: byte[8]
name: unpack_data
arguments: tag: D305
type_infered: byte[8]
name: unpack_data
arguments: tag: D44
type_infered: f64
name: unpack_data
arguments: tag: D462
type_infered: f64
name: unpack_data
arguments: tag: D290
type_infered: byte[8]
name: unpack_data
arguments: tag: D639
type_infered: f64
name: unpack_data
arguments: tag: D46
type_infered: f64

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

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

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

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

tool: D44: 1

tool: D462: 0.5

tool: {"D290": [0x00,0x00,0x00,0x00,0x00,0x00,0xe0,0xbf]}

tool: D639: 3

tool: D46: 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);
}
```