#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
#define M_PI 128
int M_PI_2;
int /*<<< orphan*/ assert(int);
double atan(double);
double copysign(double, double);
double fabs(double);
int fmod(double, double);
double sqrt(double);
double tan(double);
double el_cs_area(double a, double ecc, double fi1, double fi0) {
  if (fi1 == fi0)
    return 0.0;
  assert(fi1 > fi0);
  double b = a * sqrt(1.0 - ecc * ecc);
  double theta0, theta1;
  double fi0_ = fabs(fi0);
  double fi1_ = fabs(fi1);
  static const struct {
    double cadjust;
    double reladjust;
  } quad_transform[] = {
      {0.0, 0.0},
      {M_PI, 2.0},
      {M_PI, 0.0},
      {2.0 * M_PI, 2.0},
  };
  int q0 = fmod(fabs(fi0), 2.0 * M_PI) / M_PI_2;
  int q1 = fmod(fabs(fi1), 2.0 * M_PI) / M_PI_2;
  fi0_ -= quad_transform[q0].cadjust - quad_transform[q0].reladjust * fi0_;
  fi1_ -= quad_transform[q1].cadjust - quad_transform[q1].reladjust * fi1_;
  theta0 = atan(b * tan(fi0_) / a);
  theta1 = atan(b * tan(fi1_) / a);
  theta0 += quad_transform[q0].cadjust - quad_transform[q0].reladjust * theta0;
  theta1 += quad_transform[q1].cadjust - quad_transform[q1].reladjust * theta1;
  theta0 = copysign(theta0, fi0);
  theta1 = copysign(theta1, fi1);
  double ca = (theta1 - theta0) * 0.5 * a * a;
  return fabs(ca * b / a);
}


x86 assembly (clang, -O0):
<el_cs_area>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
movsd  %xmm2,-0x20(%rbp)
movsd  %xmm3,-0x28(%rbp)
movsd  -0x20(%rbp),%xmm0
ucomisd -0x28(%rbp),%xmm0
jne    1192 <el_cs_area+0x42>
jp     1192 <el_cs_area+0x42>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    14e0 <el_cs_area+0x390>
movsd  -0x20(%rbp),%xmm0
ucomisd -0x28(%rbp),%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm1
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm1,%xmm0
movsd  0xe50(%rip),%xmm1
addsd  %xmm1,%xmm0
call   1070 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  -0x78(%rbp),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x28(%rbp),%xmm0
movaps 0xdfa(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x20(%rbp),%xmm0
movaps 0xde5(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x28(%rbp),%xmm0
movaps 0xdd0(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  0xdec(%rip),%xmm1
call   1030 <fmod@plt>
mov    0x2da0(%rip),%rcx
cltd
idivl  (%rcx)
mov    %eax,-0x54(%rbp)
movsd  -0x20(%rbp),%xmm0
movaps 0xda6(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  0xdc2(%rip),%xmm1
call   1030 <fmod@plt>
mov    0x2d76(%rip),%rcx
cltd
idivl  (%rcx)
mov    %eax,-0x58(%rbp)
movslq -0x54(%rbp),%rcx
lea    0xdbd(%rip),%rax
shl    $0x4,%rcx
add    %rcx,%rax
movsd  (%rax),%xmm0
movslq -0x54(%rbp),%rcx
lea    0xda7(%rip),%rax
shl    $0x4,%rcx
add    %rcx,%rax
movsd  0x8(%rax),%xmm1
movsd  -0x48(%rbp),%xmm2
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x48(%rbp),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x48(%rbp)
movslq -0x58(%rbp),%rcx
lea    0xd5e(%rip),%rax
shl    $0x4,%rcx
add    %rcx,%rax
movsd  (%rax),%xmm0
movslq -0x58(%rbp),%rcx
lea    0xd48(%rip),%rax
shl    $0x4,%rcx
add    %rcx,%rax
movsd  0x8(%rax),%xmm1
movsd  -0x50(%rbp),%xmm2
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x50(%rbp),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x48(%rbp),%xmm0
call   1060 <tan@plt>
movaps %xmm0,%xmm1
movsd  -0x70(%rbp),%xmm0
mulsd  %xmm1,%xmm0
divsd  -0x10(%rbp),%xmm0
call   1050 <atan@plt>
movsd  %xmm0,-0x38(%rbp)
movsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x50(%rbp),%xmm0
call   1060 <tan@plt>
movaps %xmm0,%xmm1
movsd  -0x68(%rbp),%xmm0
mulsd  %xmm1,%xmm0
divsd  -0x10(%rbp),%xmm0
call   1050 <atan@plt>
movsd  %xmm0,-0x40(%rbp)
movslq -0x54(%rbp),%rcx
lea    0xca1(%rip),%rax
shl    $0x4,%rcx
add    %rcx,%rax
movsd  (%rax),%xmm1
movslq -0x54(%rbp),%rcx
lea    0xc8b(%rip),%rax
shl    $0x4,%rcx
add    %rcx,%rax
movsd  0x8(%rax),%xmm0
movsd  -0x38(%rbp),%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
addsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
movslq -0x58(%rbp),%rcx
lea    0xc46(%rip),%rax
shl    $0x4,%rcx
add    %rcx,%rax
movsd  (%rax),%xmm1
movslq -0x58(%rbp),%rcx
lea    0xc30(%rip),%rax
shl    $0x4,%rcx
add    %rcx,%rax
movsd  0x8(%rax),%xmm0
movsd  -0x40(%rbp),%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
addsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x38(%rbp),%xmm0
movsd  -0x28(%rbp),%xmm1
movaps 0xbb5(%rip),%xmm2
pand   %xmm2,%xmm1
movaps 0xb9a(%rip),%xmm2
pand   %xmm2,%xmm0
por    %xmm1,%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x40(%rbp),%xmm0
movsd  -0x20(%rbp),%xmm1
movaps 0xb8c(%rip),%xmm2
pand   %xmm2,%xmm1
movaps 0xb71(%rip),%xmm2
pand   %xmm2,%xmm0
por    %xmm1,%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x40(%rbp),%xmm0
subsd  -0x38(%rbp),%xmm0
movsd  0xb72(%rip),%xmm1
mulsd  %xmm1,%xmm0
mulsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x60(%rbp),%xmm0
mulsd  -0x30(%rbp),%xmm0
divsd  -0x10(%rbp),%xmm0
movaps 0xb29(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<el_cs_area>:
ucomisd %xmm3,%xmm2
jne    115c <el_cs_area+0xc>
jp     115c <el_cs_area+0xc>
xorps  %xmm0,%xmm0
ret
push   %r14
push   %rbx
lea    -0x88(%rsp),%rsp
ff
movapd %xmm3,0x50(%rsp)
movapd %xmm2,0x60(%rsp)
movsd  %xmm0,(%rsp)
seta   %al
movzbl %al,%edi
movsd  %xmm1,0x10(%rsp)
call   1040 <assert@plt>
movsd  0x10(%rsp),%xmm1
mulsd  %xmm1,%xmm1
movsd  0xe65(%rip),%xmm0
subsd  %xmm1,%xmm0
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     11af <el_cs_area+0x5f>
sqrtsd %xmm0,%xmm0
jmp    11b4 <el_cs_area+0x64>
call   1070 <sqrt@plt>
mulsd  (%rsp),%xmm0
movsd  %xmm0,0x8(%rsp)
movaps 0xe5a(%rip),%xmm2
movaps 0x50(%rsp),%xmm0
andps  %xmm2,%xmm0
movaps %xmm0,0x20(%rsp)
movaps 0x60(%rsp),%xmm1
andps  %xmm2,%xmm1
movaps %xmm1,0x10(%rsp)
movsd  0xe20(%rip),%xmm1
call   1030 <fmod@plt>
mov    0x2df4(%rip),%r14
cltd
idivl  (%r14)
mov    %eax,%ebx
movaps 0x10(%rsp),%xmm0
movsd  0xe01(%rip),%xmm1
call   1030 <fmod@plt>
cltd
idivl  (%r14)
movslq %ebx,%rcx
shl    $0x4,%rcx
lea    0xe12(%rip),%rdx
movsd  (%rcx,%rdx,1),%xmm1
movapd %xmm1,0x70(%rsp)
movsd  0x8(%rcx,%rdx,1),%xmm0
movsd  %xmm0,0x48(%rsp)
movapd 0x20(%rsp),%xmm2
mulsd  %xmm2,%xmm0
subsd  %xmm0,%xmm1
subsd  %xmm1,%xmm2
movapd %xmm2,%xmm0
cltq
shl    $0x4,%rax
movsd  (%rax,%rdx,1),%xmm1
movsd  %xmm1,0x40(%rsp)
movsd  0x8(%rax,%rdx,1),%xmm3
movsd  %xmm3,0x20(%rsp)
movapd 0x10(%rsp),%xmm2
mulsd  %xmm2,%xmm3
subsd  %xmm3,%xmm1
subsd  %xmm1,%xmm2
movapd %xmm2,0x10(%rsp)
call   1060 <tan@plt>
mulsd  0x8(%rsp),%xmm0
divsd  (%rsp),%xmm0
call   1050 <atan@plt>
movsd  %xmm0,0x38(%rsp)
movapd 0x10(%rsp),%xmm0
call   1060 <tan@plt>
mulsd  0x8(%rsp),%xmm0
divsd  (%rsp),%xmm0
call   1050 <atan@plt>
movsd  0x48(%rsp),%xmm2
movsd  0x38(%rsp),%xmm3
mulsd  %xmm3,%xmm2
movapd 0x70(%rsp),%xmm1
subsd  %xmm2,%xmm1
addsd  %xmm3,%xmm1
movapd %xmm1,%xmm2
movsd  0x20(%rsp),%xmm3
mulsd  %xmm0,%xmm3
movsd  0x40(%rsp),%xmm1
subsd  %xmm3,%xmm1
addsd  %xmm1,%xmm0
movapd 0xd28(%rip),%xmm3
andpd  %xmm3,%xmm2
movapd %xmm3,%xmm1
andnpd 0x50(%rsp),%xmm1
orpd   %xmm2,%xmm1
andpd  %xmm3,%xmm0
movapd %xmm3,%xmm2
andnpd 0x60(%rsp),%xmm2
orpd   %xmm2,%xmm0
subsd  %xmm1,%xmm0
mulsd  0xce8(%rip),%xmm0
movsd  (%rsp),%xmm1
mulsd  %xmm1,%xmm0
mulsd  %xmm1,%xmm0
mulsd  0x8(%rsp),%xmm0
divsd  %xmm1,%xmm0
andpd  %xmm3,%xmm0
add    $0x88,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
%struct.anon = type { double, double }
@el_cs_area.quad_transform = internal constant [4 x %struct.anon] [%struct.anon zeroinitializer, %struct.anon { double 1.280000e+02, double 2.000000e+00 }, %struct.anon { double 1.280000e+02, double 0.000000e+00 }, %struct.anon { double 2.560000e+02, double 2.000000e+00 }]
@M_PI_2 = global i32 0
define double @el_cs_area(double %0, double %1, double %2, double %3) {
%5 = alloca double
%6 = alloca double
%7 = alloca double
%8 = alloca double
%9 = alloca double
%10 = alloca double
%11 = alloca double
%12 = alloca double
%13 = alloca double
%14 = alloca double
%15 = alloca i32
%16 = alloca i32
%17 = alloca double
store double %0, double* %6
store double %1, double* %7
store double %2, double* %8
store double %3, double* %9
%18 = load double, double* %8
%19 = load double, double* %9
%20 = fcmp oeq double %18, %19
br i1 %20, label %21, label %22
21: ; preds = %4
store double 0.000000e+00, double* %5
br label %143
22: ; preds = %4
%23 = load double, double* %8
%24 = load double, double* %9
%25 = fcmp ogt double %23, %24
%26 = zext i1 %25 to i32
%27 = call i32 @assert(i32 %26)
%28 = load double, double* %6
%29 = load double, double* %7
%30 = load double, double* %7
%31 = fneg double %29
%32 = call double @llvm.fmuladd.f64(double %31, double %30, double 1.000000e+00)
%33 = call double @sqrt(double %32)
%34 = fmul double %28, %33
store double %34, double* %10
%35 = load double, double* %9
%36 = call double @llvm.fabs.f64(double %35)
store double %36, double* %13
%37 = load double, double* %8
%38 = call double @llvm.fabs.f64(double %37)
store double %38, double* %14
%39 = load double, double* %9
%40 = call double @llvm.fabs.f64(double %39)
%41 = call i32 @fmod(double %40, double 2.560000e+02)
%42 = load i32, i32* @M_PI_2
%43 = sdiv i32 %41, %42
store i32 %43, i32* %15
%44 = load double, double* %8
%45 = call double @llvm.fabs.f64(double %44)
%46 = call i32 @fmod(double %45, double 2.560000e+02)
%47 = load i32, i32* @M_PI_2
%48 = sdiv i32 %46, %47
store i32 %48, i32* %16
%49 = load i32, i32* %15
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds [4 x %struct.anon], [4 x %struct.anon]* @el_cs_area.quad_transform, i64 0, i64 %50
%52 = getelementptr inbounds %struct.anon, %struct.anon* %51, i32 0, i32 0
%53 = load double, double* %52
%54 = load i32, i32* %15
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds [4 x %struct.anon], [4 x %struct.anon]* @el_cs_area.quad_transform, i64 0, i64 %55
%57 = getelementptr inbounds %struct.anon, %struct.anon* %56, i32 0, i32 1
%58 = load double, double* %57
%59 = load double, double* %13
%60 = fneg double %58
%61 = call double @llvm.fmuladd.f64(double %60, double %59, double %53)
%62 = load double, double* %13
%63 = fsub double %62, %61
store double %63, double* %13
%64 = load i32, i32* %16
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds [4 x %struct.anon], [4 x %struct.anon]* @el_cs_area.quad_transform, i64 0, i64 %65
%67 = getelementptr inbounds %struct.anon, %struct.anon* %66, i32 0, i32 0
%68 = load double, double* %67
%69 = load i32, i32* %16
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds [4 x %struct.anon], [4 x %struct.anon]* @el_cs_area.quad_transform, i64 0, i64 %70
%72 = getelementptr inbounds %struct.anon, %struct.anon* %71, i32 0, i32 1
%73 = load double, double* %72
%74 = load double, double* %14
%75 = fneg double %73
%76 = call double @llvm.fmuladd.f64(double %75, double %74, double %68)
%77 = load double, double* %14
%78 = fsub double %77, %76
store double %78, double* %14
%79 = load double, double* %10
%80 = load double, double* %13
%81 = call double @tan(double %80)
%82 = fmul double %79, %81
%83 = load double, double* %6
%84 = fdiv double %82, %83
%85 = call double @atan(double %84)
store double %85, double* %11
%86 = load double, double* %10
%87 = load double, double* %14
%88 = call double @tan(double %87)
%89 = fmul double %86, %88
%90 = load double, double* %6
%91 = fdiv double %89, %90
%92 = call double @atan(double %91)
store double %92, double* %12
%93 = load i32, i32* %15
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds [4 x %struct.anon], [4 x %struct.anon]* @el_cs_area.quad_transform, i64 0, i64 %94
%96 = getelementptr inbounds %struct.anon, %struct.anon* %95, i32 0, i32 0
%97 = load double, double* %96
%98 = load i32, i32* %15
%99 = sext i32 %98 to i64
%100 = getelementptr inbounds [4 x %struct.anon], [4 x %struct.anon]* @el_cs_area.quad_transform, i64 0, i64 %99
%101 = getelementptr inbounds %struct.anon, %struct.anon* %100, i32 0, i32 1
%102 = load double, double* %101
%103 = load double, double* %11
%104 = fneg double %102
%105 = call double @llvm.fmuladd.f64(double %104, double %103, double %97)
%106 = load double, double* %11
%107 = fadd double %106, %105
store double %107, double* %11
%108 = load i32, i32* %16
%109 = sext i32 %108 to i64
%110 = getelementptr inbounds [4 x %struct.anon], [4 x %struct.anon]* @el_cs_area.quad_transform, i64 0, i64 %109
%111 = getelementptr inbounds %struct.anon, %struct.anon* %110, i32 0, i32 0
%112 = load double, double* %111
%113 = load i32, i32* %16
%114 = sext i32 %113 to i64
%115 = getelementptr inbounds [4 x %struct.anon], [4 x %struct.anon]* @el_cs_area.quad_transform, i64 0, i64 %114
%116 = getelementptr inbounds %struct.anon, %struct.anon* %115, i32 0, i32 1
%117 = load double, double* %116
%118 = load double, double* %12
%119 = fneg double %117
%120 = call double @llvm.fmuladd.f64(double %119, double %118, double %112)
%121 = load double, double* %12
%122 = fadd double %121, %120
store double %122, double* %12
%123 = load double, double* %11
%124 = load double, double* %9
%125 = call double @llvm.copysign.f64(double %123, double %124)
store double %125, double* %11
%126 = load double, double* %12
%127 = load double, double* %8
%128 = call double @llvm.copysign.f64(double %126, double %127)
store double %128, double* %12
%129 = load double, double* %12
%130 = load double, double* %11
%131 = fsub double %129, %130
%132 = fmul double %131, 5.000000e-01
%133 = load double, double* %6
%134 = fmul double %132, %133
%135 = load double, double* %6
%136 = fmul double %134, %135
store double %136, double* %17
%137 = load double, double* %17
%138 = load double, double* %10
%139 = fmul double %137, %138
%140 = load double, double* %6
%141 = fdiv double %139, %140
%142 = call double @llvm.fabs.f64(double %141)
store double %142, double* %5
br label %143
143: ; preds = %22, %21
%144 = load double, double* %5
ret double %144
}

LLVM IR (-O2):
%struct.anon = type { double, double }
@el_cs_area.quad_transform = internal unnamed_addr constant [4 x %struct.anon] [%struct.anon zeroinitializer, %struct.anon { double 1.280000e+02, double 2.000000e+00 }, %struct.anon { double 1.280000e+02, double 0.000000e+00 }, %struct.anon { double 2.560000e+02, double 2.000000e+00 }]
@M_PI_2 = global i32 0
define double @el_cs_area(double %0, double %1, double %2, double %3) {
%5 = fcmp oeq double %2, %3
br i1 %5, label %59, label %6
6: ; preds = %4
%7 = fcmp ogt double %2, %3
%8 = zext i1 %7 to i32
%9 = tail call i32 @assert(i32 %8)
%10 = fneg double %1
%11 = tail call double @llvm.fmuladd.f64(double %10, double %1, double 1.000000e+00)
%12 = tail call double @sqrt(double %11)
%13 = fmul double %12, %0
%14 = tail call double @llvm.fabs.f64(double %3)
%15 = tail call double @llvm.fabs.f64(double %2)
%16 = tail call i32 @fmod(double %14, double 2.560000e+02)
%17 = load i32, i32* @M_PI_2
%18 = sdiv i32 %16, %17
%19 = tail call i32 @fmod(double %15, double 2.560000e+02)
%20 = load i32, i32* @M_PI_2
%21 = sdiv i32 %19, %20
%22 = sext i32 %18 to i64
%23 = getelementptr inbounds [4 x %struct.anon], [4 x %struct.anon]* @el_cs_area.quad_transform, i64 0, i64 %22, i32 0
%24 = load double, double* %23
%25 = getelementptr inbounds [4 x %struct.anon], [4 x %struct.anon]* @el_cs_area.quad_transform, i64 0, i64 %22, i32 1
%26 = load double, double* %25
%27 = fneg double %26
%28 = tail call double @llvm.fmuladd.f64(double %27, double %14, double %24)
%29 = fsub double %14, %28
%30 = sext i32 %21 to i64
%31 = getelementptr inbounds [4 x %struct.anon], [4 x %struct.anon]* @el_cs_area.quad_transform, i64 0, i64 %30, i32 0
%32 = load double, double* %31
%33 = getelementptr inbounds [4 x %struct.anon], [4 x %struct.anon]* @el_cs_area.quad_transform, i64 0, i64 %30, i32 1
%34 = load double, double* %33
%35 = fneg double %34
%36 = tail call double @llvm.fmuladd.f64(double %35, double %15, double %32)
%37 = fsub double %15, %36
%38 = tail call double @tan(double %29)
%39 = fmul double %13, %38
%40 = fdiv double %39, %0
%41 = tail call double @atan(double %40)
%42 = tail call double @tan(double %37)
%43 = fmul double %13, %42
%44 = fdiv double %43, %0
%45 = tail call double @atan(double %44)
%46 = tail call double @llvm.fmuladd.f64(double %27, double %41, double %24)
%47 = fadd double %41, %46
%48 = tail call double @llvm.fmuladd.f64(double %35, double %45, double %32)
%49 = fadd double %45, %48
%50 = tail call double @llvm.copysign.f64(double %47, double %3)
%51 = tail call double @llvm.copysign.f64(double %49, double %2)
%52 = fsub double %51, %50
%53 = fmul double %52, 5.000000e-01
%54 = fmul double %53, %0
%55 = fmul double %54, %0
%56 = fmul double %13, %55
%57 = fdiv double %56, %0
%58 = tail call double @llvm.fabs.f64(double %57)
br label %59
59: ; preds = %4, %6
%60 = phi double [ %58, %6 ], [ 0.000000e+00, %4 ]
ret double %60
}