user: 请从给定的汇编指令推导出C源代码:

```asm
<psim>:
  endbr64
  push   %r12
  movapd %xmm0,%xmm2
  xor    %esi,%esi
  push   %rbp
  push   %rbx
  sub    $0x20,%rsp
  andpd  D123(%rip),%xmm2
  movapd %xmm2,%xmm0
  divsd  D71(%rip),%xmm0
  cvttsd2si %xmm0,%edi
  movsd  %xmm2,0x8(%rsp)
  call   <pow@plt>
  xor    %esi,%esi
  mov    $0x3,%edi
  mov    %eax,%ebp
  call   <pow@plt>
  xor    %esi,%esi
  xor    %edi,%edi
  mov    %eax,%r12d
  call   <pow@plt>
  xor    %edi,%edi
  mov    %eax,%ebx
  call   <log@plt>
  pxor   %xmm1,%xmm1
  pxor   %xmm3,%xmm3
  movsd  0x8(%rsp),%xmm2
  cvtsi2sd %r12d,%xmm1
  mulsd  D55(%rip),%xmm1
  cvtsi2sd %ebx,%xmm3
  mulsd  %xmm3,%xmm1
  mulsd  D144(%rip),%xmm1
  divsd  D60(%rip),%xmm1
  subsd  %xmm0,%xmm1
  movsd  D162(%rip),%xmm0
  comisd %xmm2,%xmm0
  movsd  %xmm1,(%rsp)
  jb     L19
  movsd  D71(%rip),%xmm0
  pxor   %xmm1,%xmm1
  movsd  %xmm2,0x10(%rsp)
  cvtsi2sd %ebp,%xmm1
  addsd  %xmm2,%xmm0
  cvttsd2si %xmm0,%edi
  movsd  %xmm1,0x18(%rsp)
  call   <log@plt>
  movsd  0x10(%rsp),%xmm2
  xor    %esi,%esi
  movsd  %xmm0,0x8(%rsp)
  cvttsd2si %xmm2,%edi
  call   <pow@plt>
  pxor   %xmm2,%xmm2
  xor    %esi,%esi
  xor    %edi,%edi
  cvtsi2sd %eax,%xmm2
  mulsd  D19(%rip),%xmm2
  movsd  0x8(%rsp),%xmm0
  subsd  %xmm2,%xmm0
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  0x18(%rsp),%xmm1
  movsd  D12(%rip),%xmm5
  movsd  D12(%rip),%xmm2
  mov    %eax,%ebx
  addsd  %xmm1,%xmm5
  movapd %xmm1,%xmm3
  mulsd  %xmm1,%xmm3
  subsd  %xmm1,%xmm2
  movapd %xmm5,%xmm0
  mulsd  %xmm5,%xmm0
  addsd  %xmm3,%xmm2
  divsd  %xmm2,%xmm0
  cvttsd2si %xmm0,%edi
  call   <log@plt>
  movsd  0x8(%rsp),%xmm6
  movapd %xmm0,%xmm2
  pxor   %xmm0,%xmm0
  cvtsi2sd %ebx,%xmm0
  mulsd  D55(%rip),%xmm0
  mulsd  D41(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm6
  movsd  %xmm6,0x8(%rsp)
L13:
  xor    %esi,%esi
  mov    $0x3,%edi
  call   <pow@plt>
  xor    %esi,%esi
  xor    %edi,%edi
  mov    %eax,%ebx
  call   <pow@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm2,%xmm2
  xor    %esi,%esi
  cvtsi2sd %ebx,%xmm0
  mulsd  D55(%rip),%xmm0
  mov    $0x3,%edi
  cvtsi2sd %eax,%xmm2
  mulsd  %xmm2,%xmm0
  movsd  %xmm0,0x10(%rsp)
  call   <pow@plt>
  movsd  0x18(%rsp),%xmm1
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  addsd  %xmm1,%xmm1
  subsd  D12(%rip),%xmm1
  divsd  %xmm0,%xmm1
  cvttsd2si %xmm1,%edi
  call   <atan@plt>
  mulsd  0x10(%rsp),%xmm0
  addsd  0x8(%rsp),%xmm0
  addsd  (%rsp),%xmm0
  add    $0x20,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
  cs nopw 0x0(%rax,%rax,1)
L19:
  xor    %esi,%esi
  mov    $0x2b,%edi
  call   <pow@plt>
  pxor   %xmm1,%xmm1
  mov    $0xe,%edi
  cvtsi2sd %eax,%xmm1
  movsd  %xmm1,0x10(%rsp)
  call   <log@plt>
  xor    %esi,%esi
  mov    $0xe,%edi
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  pxor   %xmm2,%xmm2
  xor    %esi,%esi
  xor    %edi,%edi
  cvtsi2sd %eax,%xmm2
  mulsd  D19(%rip),%xmm2
  movsd  0x8(%rsp),%xmm0
  subsd  %xmm2,%xmm0
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  0x10(%rsp),%xmm1
  movsd  D12(%rip),%xmm7
  movsd  D12(%rip),%xmm2
  mov    %eax,%ebx
  addsd  %xmm1,%xmm7
  movapd %xmm1,%xmm3
  movsd  %xmm1,0x18(%rsp)
  mulsd  %xmm1,%xmm3
  subsd  %xmm1,%xmm2
  movapd %xmm7,%xmm0
  mulsd  %xmm7,%xmm0
  addsd  %xmm3,%xmm2
  divsd  %xmm2,%xmm0
  cvttsd2si %xmm0,%edi
  call   <log@plt>
  movsd  0x8(%rsp),%xmm5
  movapd %xmm0,%xmm2
  pxor   %xmm0,%xmm0
  cvtsi2sd %ebx,%xmm0
  mulsd  D55(%rip),%xmm0
  mulsd  D41(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm5
  movsd  %xmm5,0x8(%rsp)
  jmp    L13
```

tool_calls: name: retrieve_data
arguments: tag: D123
type_infered: qword[2]
name: retrieve_data
arguments: tag: D71
type_infered: f64
name: retrieve_data
arguments: tag: D55
type_infered: f64
name: retrieve_data
arguments: tag: D144
type_infered: f64
name: retrieve_data
arguments: tag: D60
type_infered: f64
name: retrieve_data
arguments: tag: D162
type_infered: byte[8]
name: retrieve_data
arguments: tag: D19
type_infered: byte[8]
name: retrieve_data
arguments: tag: D12
type_infered: f64
name: retrieve_data
arguments: tag: D41
type_infered: byte[8]

tool: {"D123": [0x7fffffffffffffff,0x0000000000000000]}

tool: D71: 0.33

tool: D55: 0.41

tool: D144: 3.1415927

tool: D60: 6

tool: {"D162": [0x7f,0xc9,0xf3,0x97,0xcb,0x04,0x2d,0x40]}

tool: {"D19": [0xae,0x47,0xe1,0x7a,0x14,0xae,0xf3,0x3f]}

tool: D12: 1

tool: {"D41": [0x00,0x00,0x00,0x00,0x00,0x00,0xe0,0x3f]}

assistant: ```c
double psim(double y) {
  y = fabs(y);
  double a = 0.33;
  double b = 0.41;
  double x = pow((y / a), 1 / 3);
  double psi0 = -log(a) + pow(3.0, 1 / 2) * b * pow(a, 1 / 3) * 3.1415927 / 6;
  double b3 = 1.0 / (b * b * b);
  if (y <= b3) {
    return (log(a + y) - 3 * b * pow(y, 1 / 3) + b * pow(a, 1 / 3) / 2 * log((1 + x) * (1 + x) / (1 - x + x * x)) + pow(3, 1 / 2) * b * pow(a, 1 / 3) * atan((2 * x - 1) / pow(3, 1 / 2)) + psi0);
  } else {
    x = pow(b3 / a, 1 / 3);
    return (log(a + b3) - 3 * b * pow(b3, 1 / 3) + b * pow(a, 1 / 3) / 2 * log((1 + x) * (1 + x) / (1 - x + x * x)) + pow(3, 1 / 2) * b * pow(a, 1 / 3) * atan((2 * x - 1) / pow(3, 1 / 2)) + psi0);
  }
}
```