user: What would the C source look like for the assembly code provided here:

```asm
<CDFNormal>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  movsd  %xmm0,-0x28(%rbp)
  movl   $0x0,-0x1c(%rbp)
  movsd  D204(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x28(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  D198(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  pxor   %xmm0,%xmm0
  comisd -0x28(%rbp),%xmm0
  jbe    L32
  movl   $0x1,-0x1c(%rbp)
  movsd  -0x28(%rbp),%xmm0
  movq   D42(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
L32:
  movsd  -0x10(%rbp),%xmm0
  comisd -0x28(%rbp),%xmm0
  jbe    L42
  movsd  -0x8(%rbp),%xmm1
  movsd  D24(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm2
  movsd  D54(%rip),%xmm1
  addsd  %xmm2,%xmm1
  movsd  -0x8(%rbp),%xmm3
  movsd  D194(%rip),%xmm2
  addsd  %xmm2,%xmm3
  movsd  -0x8(%rbp),%xmm4
  movsd  D35(%rip),%xmm2
  addsd  %xmm2,%xmm4
  movsd  D201(%rip),%xmm2
  divsd  %xmm4,%xmm2
  addsd  %xmm2,%xmm3
  movapd %xmm3,%xmm4
  movsd  D119(%rip),%xmm2
  movapd %xmm2,%xmm3
  divsd  %xmm4,%xmm3
  movapd %xmm1,%xmm2
  subsd  %xmm3,%xmm2
  movapd %xmm0,%xmm1
  divsd  %xmm2,%xmm1
  movsd  D130(%rip),%xmm0
  subsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x28(%rbp),%xmm1
  movsd  D172(%rip),%xmm0
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  jmp    L25
L42:
  movsd  -0x8(%rbp),%xmm0
  movq   D42(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movsd  D60(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  -0x28(%rbp),%xmm1
  movsd  D57(%rip),%xmm2
  movapd %xmm1,%xmm3
  subsd  %xmm2,%xmm3
  movsd  -0x28(%rbp),%xmm2
  movsd  D16(%rip),%xmm1
  movapd %xmm2,%xmm4
  addsd  %xmm1,%xmm4
  movsd  -0x28(%rbp),%xmm1
  movsd  D242(%rip),%xmm2
  movapd %xmm1,%xmm5
  subsd  %xmm2,%xmm5
  movsd  -0x28(%rbp),%xmm2
  movsd  D233(%rip),%xmm1
  addsd  %xmm2,%xmm1
  movsd  -0x28(%rbp),%xmm6
  movsd  D114(%rip),%xmm2
  addsd  %xmm2,%xmm6
  movsd  -0x28(%rbp),%xmm7
  movsd  D137(%rip),%xmm2
  addsd  %xmm2,%xmm7
  movsd  D81(%rip),%xmm2
  divsd  %xmm7,%xmm2
  addsd  %xmm2,%xmm6
  movapd %xmm6,%xmm7
  movsd  D15(%rip),%xmm2
  movapd %xmm2,%xmm6
  divsd  %xmm7,%xmm6
  movapd %xmm1,%xmm2
  subsd  %xmm6,%xmm2
  movsd  D169(%rip),%xmm1
  divsd  %xmm2,%xmm1
  addsd  %xmm1,%xmm5
  movapd %xmm5,%xmm2
  movsd  D21(%rip),%xmm1
  divsd  %xmm2,%xmm1
  addsd  %xmm1,%xmm4
  movapd %xmm4,%xmm2
  movsd  D69(%rip),%xmm1
  divsd  %xmm2,%xmm1
  addsd  %xmm3,%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
L25:
  cmpl   $0x0,-0x1c(%rbp)
  jne    L12
  movsd  D107(%rip),%xmm0
  subsd  -0x18(%rbp),%xmm0
  jmp    L3
L12:
  movsd  -0x18(%rbp),%xmm0
L3:
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: disassemble_data
arguments: label: D204
type: f64
name: disassemble_data
arguments: label: D198
type: f64
name: disassemble_data
arguments: label: D42
type: byte[8]
name: disassemble_data
arguments: label: D24
type: byte[8]
name: disassemble_data
arguments: label: D54
type: f64
name: disassemble_data
arguments: label: D194
type: f64
name: disassemble_data
arguments: label: D35
type: f64
name: disassemble_data
arguments: label: D201
type: f64
name: disassemble_data
arguments: label: D119
type: f64
name: disassemble_data
arguments: label: D130
type: byte[8]
name: disassemble_data
arguments: label: D172
type: byte[8]
name: disassemble_data
arguments: label: D60
type: f64
name: disassemble_data
arguments: label: D57
type: byte[8]
name: disassemble_data
arguments: label: D16
type: byte[8]
name: disassemble_data
arguments: label: D242
type: f64
name: disassemble_data
arguments: label: D233
type: f64
name: disassemble_data
arguments: label: D114
type: f64
name: disassemble_data
arguments: label: D137
type: f64
name: disassemble_data
arguments: label: D81
type: f64
name: disassemble_data
arguments: label: D15
type: f64
name: disassemble_data
arguments: label: D169
type: f64
name: disassemble_data
arguments: label: D21
type: f64
name: disassemble_data
arguments: label: D69
type: f64
name: disassemble_data
arguments: label: D107
type: byte[8]

tool: D204: 1.28

tool: D198: 2

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

tool: {"D24": [0x2a,0xb0,0x7b,0x97,0x04,0x98,0xd9,0x3f]}

tool: D54: 5.75885480458

tool: D194: 2.62433121679

tool: D35: 5.92885724438

tool: D201: 48.6959930692

tool: D119: 29.8213557808

tool: {"D130": [0xb9,0xe9,0xdf,0x33,0x45,0x88,0xd9,0x3f]}

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

tool: D60: 0.398942280385

tool: {"D57": [0x78,0x99,0x0a,0xba,0xd3,0x6d,0x64,0x3e]}

tool: {"D16": [0x69,0x7b,0x9c,0x45,0x6b,0x16,0x3a,0x3f]}

tool: D242: 0.151679116635

tool: D233: 4.8385912808

tool: D114: 0.742380924027

tool: D137: 3.99019417011

tool: D81: 30.789933034

tool: D15: 15.1508972451

tool: D169: 5.29330324926

tool: D21: 1.98615381364

tool: D69: 1.00000615302

tool: {"D107": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0x3f]}

assistant: ```c
double CDFNormal(double x) {
  int invers = 0;
  double p, t = 1.28, y = x * x / 2;
  if (x < 0) {
    invers = 1;
    x = -x;
  }
  if (x < t)
    p = .5 - x * (.398942280444 - .399903438504 * y / (y + 5.75885480458 - 29.8213557808 / (y + 2.62433121679 + 48.6959930692 / (y + 5.92885724438))));
  else {
    p = 0.398942280385 * exp(-y) / (x - 3.8052e-8 + 1.00000615302 / (x + 3.98064794e-4 + 1.98615381364 / (x - 0.151679116635 + 5.29330324926 / (x + 4.8385912808 - 15.1508972451 / (x + 0.742380924027 + 30.789933034 / (x + 3.99019417011))))));
  }
  return (invers ? p : 1 - p);
}
```