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

```asm
<GPS_Math_Cassini_LatLon_To_EN>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0xa8,%rsp
  movq   %xmm0,%r12
  movapd %xmm1,%xmm0
  mov    %rdi,%r14
  mov    %rsi,%r13
  movq   %xmm2,%r15
  movq   %xmm3,%rbp
  movsd  %xmm4,0x80(%rsp)
  movsd  %xmm5,0x88(%rsp)
  movsd  %xmm6,0x10(%rsp)
  movsd  %xmm7,0x18(%rsp)
  call   <GPS_Math_Deg_To_Rad@plt>
  movq   %xmm0,%rbx
  movq   %r15,%xmm0
  call   <GPS_Math_Deg_To_Rad@plt>
  movsd  %xmm0,0x8(%rsp)
  movq   %r12,%xmm0
  call   <GPS_Math_Deg_To_Rad@plt>
  movsd  %xmm0,(%rsp)
  movq   %rbp,%xmm0
  call   <GPS_Math_Deg_To_Rad@plt>
  movq   %xmm0,%r15
  movsd  0x10(%rsp),%xmm3
  movapd %xmm3,%xmm4
  mulsd  %xmm3,%xmm4
  movsd  0x18(%rsp),%xmm5
  mulsd  %xmm5,%xmm5
  movapd %xmm4,%xmm2
  subsd  %xmm5,%xmm2
  divsd  %xmm4,%xmm2
  movapd %xmm2,%xmm8
  mulsd  %xmm2,%xmm2
  movapd %xmm8,%xmm3
  mulsd  %xmm2,%xmm3
  movsd  D6(%rip),%xmm0
  movapd %xmm2,%xmm4
  mulsd  %xmm0,%xmm4
  movapd %xmm3,%xmm6
  mulsd  D201(%rip),%xmm6
  movapd %xmm6,%xmm1
  mulsd  D298(%rip),%xmm1
  movapd %xmm8,%xmm5
  mulsd  D174(%rip),%xmm5
  movsd  D71(%rip),%xmm6
  subsd  %xmm5,%xmm6
  movapd %xmm4,%xmm5
  mulsd  D7(%rip),%xmm5
  subsd  %xmm5,%xmm6
  movapd %xmm3,%xmm5
  mulsd  D168(%rip),%xmm5
  movsd  D263(%rip),%xmm7
  mulsd  %xmm7,%xmm5
  subsd  %xmm5,%xmm6
  movsd  %xmm6,0x28(%rsp)
  movsd  %xmm8,0x18(%rsp)
  mulsd  %xmm8,%xmm0
  mulsd  D299(%rip),%xmm0
  mulsd  D268(%rip),%xmm4
  addsd  %xmm4,%xmm0
  movapd %xmm0,%xmm5
  addsd  %xmm1,%xmm5
  movsd  %xmm5,0x30(%rsp)
  mulsd  D87(%rip),%xmm2
  mulsd  %xmm7,%xmm2
  addsd  %xmm1,%xmm2
  movsd  %xmm2,0x38(%rsp)
  mulsd  D243(%rip),%xmm3
  movapd %xmm3,%xmm7
  divsd  D276(%rip),%xmm7
  movsd  %xmm7,0x40(%rsp)
  movsd  0x8(%rsp),%xmm1
  movapd %xmm1,%xmm0
  addsd  %xmm1,%xmm0
  call   <sin@plt>
  movq   %xmm0,%r12
  movsd  0x8(%rsp),%xmm0
  mulsd  D51(%rip),%xmm0
  call   <sin@plt>
  movq   %xmm0,%rbp
  movsd  0x8(%rsp),%xmm0
  mulsd  D251(%rip),%xmm0
  call   <sin@plt>
  movsd  0x8(%rsp),%xmm1
  mulsd  0x28(%rsp),%xmm1
  movq   %r12,%xmm2
  mulsd  0x30(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movq   %rbp,%xmm5
  mulsd  0x38(%rsp),%xmm5
  addsd  %xmm5,%xmm1
  mulsd  0x40(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  mulsd  0x10(%rsp),%xmm1
  movsd  %xmm1,0x48(%rsp)
  movsd  D71(%rip),%xmm4
  subsd  0x18(%rsp),%xmm4
  movsd  %xmm4,0x50(%rsp)
  movsd  D256(%rip),%xmm1
  movapd %xmm4,%xmm0
  call   <pow@plt>
  movq   %rbx,%xmm7
  movq   %r15,%xmm4
  subsd  %xmm4,%xmm7
  movsd  %xmm7,0x8(%rsp)
  comisd D77(%rip),%xmm7
  jbe    L13
  subsd  D222(%rip),%xmm7
  movsd  %xmm7,0x8(%rsp)
L13:
  movsd  D265(%rip),%xmm0
  movsd  0x8(%rsp),%xmm3
  comisd %xmm3,%xmm0
  jbe    L14
  addsd  D222(%rip),%xmm3
  movsd  %xmm3,0x8(%rsp)
L14:
  lea    0x98(%rsp),%rdi
  lea    0x90(%rsp),%rsi
  movsd  (%rsp),%xmm0
  call   <sincos@plt>
  mov    0x90(%rsp),%rbx
  mov    0x98(%rsp),%rbp
  movsd  (%rsp),%xmm0
  call   <tan@plt>
  movsd  %xmm0,0x20(%rsp)
  movq   %rbp,%xmm1
  mulsd  0x18(%rsp),%xmm1
  movq   %rbp,%xmm6
  mulsd  %xmm6,%xmm1
  movsd  D71(%rip),%xmm0
  subsd  %xmm1,%xmm0
  mov    D256(%rip),%rax
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x10(%rsp),%xmm10
  divsd  %xmm0,%xmm10
  movsd  %xmm10,0x58(%rsp)
  movsd  0x20(%rsp),%xmm4
  movapd %xmm4,%xmm9
  mulsd  %xmm4,%xmm9
  movsd  %xmm9,0x60(%rsp)
  movq   %rbx,%xmm6
  mulsd  0x8(%rsp),%xmm6
  movapd %xmm6,%xmm4
  mulsd  %xmm6,%xmm4
  movapd %xmm6,%xmm7
  movsd  %xmm4,0x68(%rsp)
  mulsd  %xmm4,%xmm7
  movsd  %xmm6,0x8(%rsp)
  movapd %xmm6,%xmm5
  movsd  %xmm7,0x70(%rsp)
  mulsd  %xmm7,%xmm5
  movsd  %xmm5,0x78(%rsp)
  movq   %rbx,%xmm12
  mulsd  0x18(%rsp),%xmm12
  movapd %xmm12,%xmm0
  movq   %rbx,%xmm1
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm11
  divsd  0x50(%rsp),%xmm11
  movsd  %xmm11,0x18(%rsp)
  movsd  (%rsp),%xmm2
  movapd %xmm2,%xmm3
  addsd  %xmm2,%xmm3
  movapd %xmm3,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm3
  mulsd  D51(%rip),%xmm3
  movapd %xmm3,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rbx
  movsd  D251(%rip),%xmm1
  mulsd  (%rsp),%xmm1
  movapd %xmm1,%xmm0
  call   <sin@plt>
  movapd %xmm0,%xmm3
  movsd  0x70(%rsp),%xmm0
  movsd  0x60(%rsp),%xmm5
  mulsd  %xmm5,%xmm0
  divsd  D251(%rip),%xmm0
  movsd  0x8(%rsp),%xmm6
  movapd %xmm6,%xmm1
  subsd  %xmm0,%xmm1
  movsd  D56(%rip),%xmm0
  movapd %xmm0,%xmm2
  subsd  %xmm5,%xmm2
  movsd  0x18(%rsp),%xmm11
  mulsd  %xmm11,%xmm0
  addsd  %xmm0,%xmm2
  movapd %xmm6,%xmm0
  movsd  0x78(%rsp),%xmm7
  mulsd  %xmm7,%xmm0
  mulsd  %xmm5,%xmm0
  divsd  D78(%rip),%xmm0
  mulsd  %xmm0,%xmm2
  subsd  %xmm2,%xmm1
  movapd %xmm1,%xmm0
  movsd  0x58(%rsp),%xmm10
  mulsd  %xmm10,%xmm0
  addsd  0x80(%rsp),%xmm0
  movsd  %xmm0,(%r14)
  movsd  (%rsp),%xmm0
  mulsd  0x28(%rsp),%xmm0
  movq   %rbp,%xmm1
  mulsd  0x30(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  movq   %rbx,%xmm1
  mulsd  0x38(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  mulsd  0x40(%rsp),%xmm3
  subsd  %xmm3,%xmm0
  mulsd  0x10(%rsp),%xmm0
  subsd  0x48(%rsp),%xmm0
  movsd  D168(%rip),%xmm1
  subsd  %xmm5,%xmm1
  movsd  D251(%rip),%xmm3
  mulsd  %xmm11,%xmm3
  addsd  %xmm3,%xmm1
  mulsd  %xmm7,%xmm1
  divsd  D4(%rip),%xmm1
  movsd  D256(%rip),%xmm7
  mulsd  0x68(%rsp),%xmm7
  addsd  %xmm7,%xmm1
  movsd  0x20(%rsp),%xmm2
  mulsd  %xmm10,%xmm2
  mulsd  %xmm2,%xmm1
  addsd  %xmm1,%xmm0
  addsd  0x88(%rsp),%xmm0
  movsd  %xmm0,0x0(%r13)
  add    $0xa8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: read_data
arguments: tag: D6
type_infered: f64
name: read_data
arguments: tag: D201
type_infered: f64
name: read_data
arguments: tag: D298
type_infered: byte[8]
name: read_data
arguments: tag: D174
type_infered: byte[8]
name: read_data
arguments: tag: D71
type_infered: f64
name: read_data
arguments: tag: D7
type_infered: byte[8]
name: read_data
arguments: tag: D168
type_infered: f64
name: read_data
arguments: tag: D263
type_infered: byte[8]
name: read_data
arguments: tag: D299
type_infered: byte[8]
name: read_data
arguments: tag: D268
type_infered: byte[8]
name: read_data
arguments: tag: D87
type_infered: f64
name: read_data
arguments: tag: D243
type_infered: f64
name: read_data
arguments: tag: D276
type_infered: f64
name: read_data
arguments: tag: D51
type_infered: f64
name: read_data
arguments: tag: D251
type_infered: f64
name: read_data
arguments: tag: D256
type_infered: f64
name: read_data
arguments: tag: D77
type_infered: f64[2]
name: read_data
arguments: tag: D222
type_infered: byte[8]
name: read_data
arguments: tag: D265
type_infered: byte[8]
name: read_data
arguments: tag: D56
type_infered: f64
name: read_data
arguments: tag: D78
type_infered: f64
name: read_data
arguments: tag: D4
type_infered: f64

tool: D6: 3

tool: D201: 45

tool: {"D298": [0x00,0x00,0x00,0x00,0x00,0x00,0x50,0x3f]}

tool: {"D174": [0x00,0x00,0x00,0x00,0x00,0x00,0xd0,0x3f]}

tool: D71: 1

tool: {"D7": [0x00,0x00,0x00,0x00,0x00,0x00,0x90,0x3f]}

tool: D168: 5

tool: {"D263": [0x00,0x00,0x00,0x00,0x00,0x00,0x70,0x3f]}

tool: {"D299": [0x00,0x00,0x00,0x00,0x00,0x00,0xc0,0x3f]}

tool: {"D268": [0x00,0x00,0x00,0x00,0x00,0x00,0xa0,0x3f]}

tool: D87: 15

tool: D243: 35

tool: D276: 3072

tool: D51: 4

tool: D251: 6

tool: D256: 0.5

tool: {"D77": [3.141592653589,6.283185307178]}

tool: {"D222": [0x1e,0x26,0x44,0x54,0xfb,0x21,0x19,0x40]}

tool: {"D265": [0x1e,0x26,0x44,0x54,0xfb,0x21,0x09,0xc0]}

tool: D56: 8

tool: D78: 120

tool: D4: 24

assistant: ```c
void GPS_Math_Cassini_LatLon_To_EN(double phi, double lambda, double *E, double *N, double phi0, double M0, double E0, double N0, double a, double b) {
  double p2;
  double po2;
  double a2;
  double b2;
  double e2;
  double e4;
  double e6;
  double AM0;
  double c0;
  double c1;
  double c2;
  double c3;
  double om0;
  double A0;
  double A1;
  double A2;
  double A3;
  double j;
  double te4;
  double phi0s2;
  double phi0s4;
  double phi0s6;
  double lat;
  double x;
  double E1;
  double E2;
  double E3;
  double E4;
  double phis;
  double phic;
  double phit;
  double phis2;
  double phis4;
  double phis6;
  double RD;
  double dlam;
  double NN;
  double TT;
  double WW;
  double WW2;
  double WW3;
  double WW4;
  double WW5;
  double CC;
  double MM;
  lambda = GPS_Math_Deg_To_Rad(lambda);
  phi0 = GPS_Math_Deg_To_Rad(phi0);
  phi = GPS_Math_Deg_To_Rad(phi);
  M0 = GPS_Math_Deg_To_Rad(M0);
  p2 = (double)3.141592653589 * (double)2.;
  po2 = (double)3.141592653589 / (double)2.;
  a2 = a * a;
  b2 = b * b;
  e2 = (a2 - b2) / a2;
  e4 = e2 * e2;
  e6 = e2 * e4;
  te4 = (double)3.0 * e4;
  j = (double)45. * e6 / (double)1024.;
  c0 = (double)1.0 - e2 / (double)4. - te4 / (double)64. - (double)5. * e6 / (double)256.;
  c1 = (double)3. * e2 / (double)8. + te4 / (double)32. + j;
  c2 = (double)15. * e4 / (double)256. + j;
  c3 = (double)35. * e6 / (double)3072.;
  lat = c0 * phi0;
  phi0s2 = c1 * sin((double)2. * phi0);
  phi0s4 = c2 * sin((double)4. * phi0);
  phi0s6 = c3 * sin((double)6. * phi0);
  AM0 = a * (lat - phi0s2 + phi0s4 - phi0s6);
  om0 = (double)1.0 - e2;
  x = pow(om0, (double)0.5);
  E1 = ((double)1.0 - x) / ((double)1.0 + x);
  E2 = E1 * E1;
  E3 = E1 * E2;
  E4 = E1 * E3;
  A0 = (double)3. * E1 / (double)2. - (double)27. * E3 / (double)32.;
  A1 = (double)21. * E2 / (double)16. - (double)55. * E4 / (double)32.;
  A2 = (double)151. * E3 / (double)96.;
  A3 = (double)1097. * E4 / (double)512.;
  dlam = lambda - M0;
  if (dlam > 3.141592653589)
    dlam -= p2;
  if (dlam < -3.141592653589)
    dlam += p2;
  phis = sin(phi);
  phic = cos(phi);
  phit = tan(phi);
  RD = pow((double)1. - e2 * phis * phis, (double).5);
  NN = a / RD;
  TT = phit * phit;
  WW = dlam * phic;
  WW2 = WW * WW;
  WW3 = WW * WW2;
  WW4 = WW * WW3;
  WW5 = WW * WW4;
  CC = e2 * phic * phic / om0;
  lat = c0 * phi;
  phis2 = c1 * sin((double)2. * phi);
  phis4 = c2 * sin((double)4. * phi);
  phis6 = c3 * sin((double)6. * phi);
  MM = a * (lat - phis2 + phis4 - phis6);
  *E = NN * (WW - (TT * WW3 / (double)6.) - ((double)8. - TT + (double)8. * CC) * (TT * WW5 / (double)120.)) + E0;
  *N = MM - AM0 + NN * phit * ((WW2 / (double)2.) + ((double)5. - TT + (double)6. * CC) * WW4 / (double)24.) + N0;
  return;
}
```