user: Converte this assembly snippet into its equivalent C code:

```asm
<r3>:
  endbr64
  push   %r15
  push   %r14
  push   %rbx
  sub    $0x30,%rsp
  movaps %xmm0,%xmm7
  movss  %xmm2,0xc(%rsp)
  movss  %xmm1,0x4(%rsp)
  movaps %xmm1,%xmm4
  subss  %xmm0,%xmm4
  movaps %xmm4,%xmm0
  movss  %xmm4,0x18(%rsp)
  movss  %xmm7,0x8(%rsp)
  mulss  %xmm7,%xmm0
  call   <sqrt@plt>
  pxor   %xmm0,%xmm0
  cvtsi2ss %eax,%xmm0
  movaps %xmm0,%xmm3
  mulss  0x4(%rsp),%xmm3
  movss  %xmm3,0x10(%rsp)
  mov    $0x3,%edi
  movss  0x8(%rsp),%xmm0
  call   <pow@plt>
  mulss  0x18(%rsp),%xmm0
  call   <sqrt@plt>
  add    %eax,%eax
  pxor   %xmm0,%xmm0
  cvtsi2ss %eax,%xmm0
  movaps %xmm0,%xmm1
  addss  0x10(%rsp),%xmm1
  movd   %xmm1,%ebx
  movss  0x4(%rsp),%xmm5
  movss  0x8(%rsp),%xmm7
  mulss  %xmm7,%xmm5
  movss  %xmm5,0x10(%rsp)
  movss  0x18(%rsp),%xmm4
  movss  0xc(%rsp),%xmm0
  addss  %xmm0,%xmm4
  movaps %xmm7,%xmm6
  subss  %xmm0,%xmm6
  movaps %xmm6,%xmm0
  movss  %xmm4,0x14(%rsp)
  movaps %xmm4,%xmm6
  movss  %xmm0,0x1c(%rsp)
  divss  %xmm0,%xmm6
  movaps %xmm6,%xmm0
  movd   %xmm6,%r15d
  call   <sqrt@plt>
  pxor   %xmm0,%xmm0
  cvtsi2ss %eax,%xmm0
  mulss  0x10(%rsp),%xmm0
  movd   %ebx,%xmm2
  subss  %xmm0,%xmm2
  movss  %xmm2,0x10(%rsp)
  movss  0x4(%rsp),%xmm7
  mulss  0xc(%rsp),%xmm7
  movss  %xmm7,0x20(%rsp)
  movd   %r15d,%xmm0
  call   <sqrt@plt>
  pxor   %xmm0,%xmm0
  cvtsi2ss %eax,%xmm0
  mulss  0x20(%rsp),%xmm0
  movaps %xmm0,%xmm5
  addss  0x10(%rsp),%xmm5
  movss  %xmm5,0x20(%rsp)
  movss  0x8(%rsp),%xmm2
  movaps %xmm2,%xmm5
  addss  %xmm2,%xmm5
  movss  %xmm5,0x10(%rsp)
  movss  0x14(%rsp),%xmm6
  mulss  0x1c(%rsp),%xmm6
  movd   %xmm6,%r14d
  movaps %xmm6,%xmm0
  call   <sqrt@plt>
  pxor   %xmm0,%xmm0
  cvtsi2ss %eax,%xmm0
  mulss  0x10(%rsp),%xmm0
  movss  0x20(%rsp),%xmm14
  subss  %xmm0,%xmm14
  movss  %xmm14,0x20(%rsp)
  movss  0xc(%rsp),%xmm13
  movaps %xmm13,%xmm9
  addss  %xmm13,%xmm9
  movss  %xmm9,0x14(%rsp)
  movd   %r14d,%xmm0
  call   <sqrt@plt>
  pxor   %xmm0,%xmm0
  cvtsi2ss %eax,%xmm0
  mulss  0x14(%rsp),%xmm0
  movss  0x20(%rsp),%xmm14
  subss  %xmm0,%xmm14
  movss  %xmm14,0x20(%rsp)
  movss  D37(%rip),%xmm15
  movss  0x8(%rsp),%xmm2
  mulss  %xmm2,%xmm15
  movss  %xmm15,0x24(%rsp)
  movaps %xmm15,%xmm9
  movss  0x4(%rsp),%xmm3
  subss  %xmm3,%xmm9
  movaps %xmm9,%xmm7
  mulss  %xmm3,%xmm7
  movss  %xmm7,0x28(%rsp)
  movaps %xmm2,%xmm0
  divss  %xmm3,%xmm0
  call   <sqrt@plt>
  mov    %eax,%edi
  call   <asin@plt>
  mulss  0x28(%rsp),%xmm0
  movaps %xmm0,%xmm7
  addss  0x20(%rsp),%xmm7
  movss  %xmm7,0x20(%rsp)
  movss  0x4(%rsp),%xmm3
  movaps %xmm3,%xmm5
  subss  0x24(%rsp),%xmm5
  movaps %xmm3,%xmm7
  movss  %xmm5,0x2c(%rsp)
  mulss  %xmm5,%xmm7
  movss  %xmm7,0x24(%rsp)
  movss  0x1c(%rsp),%xmm0
  divss  %xmm3,%xmm0
  call   <sqrt@plt>
  mov    %eax,%edi
  call   <asin@plt>
  movss  %xmm0,0x1c(%rsp)
  movd   %r14d,%xmm0
  call   <sqrt@plt>
  pxor   %xmm0,%xmm0
  cvtsi2ss %eax,%xmm0
  movss  0x10(%rsp),%xmm1
  xorps  D26(%rip),%xmm1
  movaps %xmm0,%xmm15
  mulss  %xmm1,%xmm15
  movd   %xmm15,%ebx
  movd   %r14d,%xmm0
  call   <sqrt@plt>
  pxor   %xmm0,%xmm0
  cvtsi2ss %eax,%xmm0
  mulss  0x4(%rsp),%xmm0
  movd   %ebx,%xmm12
  subss  %xmm0,%xmm12
  movss  %xmm12,0x28(%rsp)
  movd   %r14d,%xmm0
  call   <sqrt@plt>
  movss  0xc(%rsp),%xmm12
  mulss  D38(%rip),%xmm12
  movaps %xmm12,%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2ss %eax,%xmm1
  mulss  %xmm1,%xmm0
  movaps %xmm0,%xmm14
  addss  0x28(%rsp),%xmm14
  movss  %xmm14,0x28(%rsp)
  movss  0x8(%rsp),%xmm0
  movss  0x14(%rsp),%xmm2
  subss  %xmm2,%xmm0
  movss  0x18(%rsp),%xmm1
  addss  %xmm2,%xmm1
  mulss  %xmm1,%xmm0
  movd   %xmm0,%r15d
  call   <sqrt@plt>
  pxor   %xmm0,%xmm0
  cvtsi2ss %eax,%xmm0
  mulss  0x10(%rsp),%xmm0
  addss  0x28(%rsp),%xmm0
  movss  %xmm0,0x8(%rsp)
  movd   %r15d,%xmm0
  call   <sqrt@plt>
  pxor   %xmm1,%xmm1
  cvtsi2ss %eax,%xmm1
  mulss  0x4(%rsp),%xmm1
  movaps %xmm1,%xmm13
  addss  0x8(%rsp),%xmm13
  movss  %xmm13,0x18(%rsp)
  movss  D37(%rip),%xmm11
  mulss  0xc(%rsp),%xmm11
  movss  %xmm11,0x8(%rsp)
  movd   %r15d,%xmm0
  call   <sqrt@plt>
  mov    %eax,%ebx
  movss  0xc(%rsp),%xmm12
  mulss  D6(%rip),%xmm12
  movaps %xmm12,%xmm0
  addss  0x2c(%rsp),%xmm0
  movaps %xmm0,%xmm4
  movss  0x4(%rsp),%xmm5
  mulss  %xmm5,%xmm4
  movss  %xmm4,0x4(%rsp)
  subss  0x10(%rsp),%xmm5
  movss  %xmm5,0xc(%rsp)
  movd   %r14d,%xmm0
  call   <sqrt@plt>
  movss  0x14(%rsp),%xmm2
  addss  0xc(%rsp),%xmm2
  pxor   %xmm0,%xmm0
  cvtss2sd %xmm2,%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  addsd  %xmm1,%xmm1
  divsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%edi
  call   <atan@plt>
  pxor   %xmm2,%xmm2
  cvtsi2ss %ebx,%xmm2
  mulss  0x8(%rsp),%xmm2
  movss  0x18(%rsp),%xmm1
  subss  %xmm2,%xmm1
  addss  %xmm1,%xmm1
  mulss  0x4(%rsp),%xmm0
  subss  %xmm0,%xmm1
  movss  %xmm1,0x10(%rsp)
  movd   %r15d,%xmm0
  call   <sqrt@plt>
  movss  0x8(%rsp),%xmm11
  addss  0xc(%rsp),%xmm11
  pxor   %xmm0,%xmm0
  cvtss2sd %xmm11,%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  addsd  %xmm1,%xmm1
  divsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%edi
  call   <atan@plt>
  movaps %xmm0,%xmm1
  movss  0x24(%rsp),%xmm7
  mulss  0x1c(%rsp),%xmm7
  movaps %xmm7,%xmm0
  addss  0x20(%rsp),%xmm0
  mulss  D29(%rip),%xmm0
  mulss  0x4(%rsp),%xmm1
  addss  0x10(%rsp),%xmm1
  mulss  D39(%rip),%xmm1
  addss  %xmm1,%xmm0
  add    $0x30,%rsp
  pop    %rbx
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: read_data
arguments: label: D37
type: f32
name: read_data
arguments: label: D26
type: byte[16]
name: read_data
arguments: label: D38
type: byte[4]
name: read_data
arguments: label: D6
type: f32
name: read_data
arguments: label: D29
type: byte[4]
name: read_data
arguments: label: D39
type: byte[4]

tool: D37: 4

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

tool: {"D38": [0x00,0x00,0xc0,0x40]}

tool: D6: 8

tool: {"D29": [0x00,0x00,0x80,0x3e]}

tool: {"D39": [0x00,0x00,0x00,0x3e]}

assistant: ```c
float r3(float t, float Tr, float Ts) {
  float p1;
  float p2;
  p1 = (Tr * sqrt(t * (-t + Tr)) + 2 * sqrt(pow(t, 3) * (-t + Tr)) - t * Tr * sqrt((-t + Tr + Ts) / (t - Ts)) + Tr * Ts * sqrt((-t + Tr + Ts) / (t - Ts)) - 2 * t * sqrt((t - Ts) * (-t + Tr + Ts)) - 2 * Ts * sqrt((t - Ts) * (-t + Tr + Ts)) + (4 * t - Tr) * Tr * asin(sqrt(t / Tr)) + Tr * (-4 * t + Tr) * asin(sqrt((t - Ts) / Tr))) / 4.;
  p2 = (2 * (-2 * t * sqrt((t - Ts) * (-t + Tr + Ts)) - Tr * sqrt((t - Ts) * (-t + Tr + Ts)) + 6 * Ts * sqrt((t - Ts) * (-t + Tr + Ts)) + 2 * t * sqrt((t - 2 * Ts) * (-t + Tr + 2 * Ts)) + Tr * sqrt((t - 2 * Ts) * (-t + Tr + 2 * Ts)) - 4 * Ts * sqrt((t - 2 * Ts) * (-t + Tr + 2 * Ts))) - Tr * (-4 * t + Tr + 8 * Ts) * atan((-2 * t + Tr + 2 * Ts) / (2. * sqrt((t - Ts) * (-t + Tr + Ts)))) + Tr * (-4 * t + Tr + 8 * Ts) * atan((-2 * t + Tr + 4 * Ts) / (2. * sqrt((t - 2 * Ts) * (-t + Tr + 2 * Ts))))) / 8.;
  return p1 + p2;
}
```