#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 */
double atan(int);
double fabs(double);
double log(int);
int pow(int, int);
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);
  }
}


x86 assembly (clang, -O0):
<psim>:
push   %rbp
mov    %rsp,%rbp
sub    $0xe0,%rsp
movsd  %xmm0,-0x10(%rbp)
movsd  -0x10(%rbp),%xmm0
movaps 0xef4(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  0xec3(%rip),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  0xeae(%rip),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x10(%rbp),%xmm0
divsd  -0x18(%rbp),%xmm0
cvttsd2si %xmm0,%edi
xor    %esi,%esi
call   1050 <pow@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x28(%rbp)
cvttsd2si -0x18(%rbp),%edi
call   1040 <log@plt>
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    $0x3,%edi
xor    %esi,%esi
call   1050 <pow@plt>
cvtsi2sd %eax,%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x48(%rbp)
cvttsd2si -0x18(%rbp),%edi
xor    %esi,%esi
call   1050 <pow@plt>
movsd  -0x48(%rbp),%xmm1
movsd  -0x40(%rbp),%xmm0
cvtsi2sd %eax,%xmm2
mulsd  %xmm2,%xmm1
movsd  0xe1d(%rip),%xmm2
mulsd  %xmm2,%xmm1
movsd  0xe09(%rip),%xmm2
divsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x20(%rbp),%xmm1
mulsd  -0x20(%rbp),%xmm1
mulsd  -0x20(%rbp),%xmm1
movsd  0xddd(%rip),%xmm0
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x10(%rbp),%xmm1
movsd  -0x38(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jb     13e4 <psim+0x2b4>
movsd  -0x18(%rbp),%xmm0
addsd  -0x10(%rbp),%xmm0
cvttsd2si %xmm0,%edi
call   1040 <log@plt>
movsd  %xmm0,-0x88(%rbp)
ff
movsd  0xdd5(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
cvttsd2si -0x10(%rbp),%edi
xor    %esi,%esi
call   1050 <pow@plt>
movsd  -0x90(%rbp),%xmm0
ff
movsd  -0x88(%rbp),%xmm1
ff
cvtsi2sd %eax,%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x80(%rbp)
cvttsd2si -0x18(%rbp),%edi
xor    %esi,%esi
call   1050 <pow@plt>
movsd  -0x80(%rbp),%xmm0
cvtsi2sd %eax,%xmm1
mulsd  %xmm1,%xmm0
movsd  0xd51(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  0xd10(%rip),%xmm0
addsd  -0x28(%rbp),%xmm0
movsd  0xd03(%rip),%xmm1
addsd  -0x28(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xcf2(%rip),%xmm2
subsd  -0x28(%rbp),%xmm2
movsd  -0x28(%rbp),%xmm1
movsd  -0x28(%rbp),%xmm3
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
divsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edi
call   1040 <log@plt>
movsd  -0x78(%rbp),%xmm1
movaps %xmm0,%xmm2
movsd  -0x70(%rbp),%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x58(%rbp)
mov    $0x3,%edi
xor    %esi,%esi
call   1050 <pow@plt>
cvtsi2sd %eax,%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x68(%rbp)
cvttsd2si -0x18(%rbp),%edi
xor    %esi,%esi
call   1050 <pow@plt>
movsd  -0x68(%rbp),%xmm0
cvtsi2sd %eax,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x28(%rbp),%xmm0
addsd  %xmm0,%xmm0
movsd  0xc93(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x60(%rbp)
mov    $0x3,%edi
xor    %esi,%esi
call   1050 <pow@plt>
movsd  -0x60(%rbp),%xmm0
cvtsi2sd %eax,%xmm1
divsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edi
call   1030 <atan@plt>
movsd  -0x58(%rbp),%xmm1
movaps %xmm0,%xmm2
movsd  -0x50(%rbp),%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
addsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    15cb <psim+0x49b>
movsd  -0x38(%rbp),%xmm0
divsd  -0x18(%rbp),%xmm0
cvttsd2si %xmm0,%edi
xor    %esi,%esi
call   1050 <pow@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x18(%rbp),%xmm0
addsd  -0x38(%rbp),%xmm0
cvttsd2si %xmm0,%edi
call   1040 <log@plt>
movsd  %xmm0,-0xd0(%rbp)
ff
movsd  0xc13(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0xd8(%rbp)
ff
cvttsd2si -0x38(%rbp),%edi
xor    %esi,%esi
call   1050 <pow@plt>
movsd  -0xd8(%rbp),%xmm0
ff
movsd  -0xd0(%rbp),%xmm1
ff
cvtsi2sd %eax,%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
cvttsd2si -0x18(%rbp),%edi
xor    %esi,%esi
call   1050 <pow@plt>
movsd  -0xc8(%rbp),%xmm0
ff
cvtsi2sd %eax,%xmm1
mulsd  %xmm1,%xmm0
movsd  0xb86(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
movsd  0xb42(%rip),%xmm0
addsd  -0x28(%rbp),%xmm0
movsd  0xb35(%rip),%xmm1
addsd  -0x28(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xb24(%rip),%xmm2
subsd  -0x28(%rbp),%xmm2
movsd  -0x28(%rbp),%xmm1
movsd  -0x28(%rbp),%xmm3
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
divsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edi
call   1040 <log@plt>
movsd  -0xc0(%rbp),%xmm1
ff
movaps %xmm0,%xmm2
movsd  -0xb8(%rbp),%xmm0
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
mov    $0x3,%edi
xor    %esi,%esi
call   1050 <pow@plt>
cvtsi2sd %eax,%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
cvttsd2si -0x18(%rbp),%edi
xor    %esi,%esi
call   1050 <pow@plt>
movsd  -0xb0(%rbp),%xmm0
ff
cvtsi2sd %eax,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
movsd  -0x28(%rbp),%xmm0
addsd  %xmm0,%xmm0
movsd  0xab3(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
mov    $0x3,%edi
xor    %esi,%esi
call   1050 <pow@plt>
movsd  -0xa8(%rbp),%xmm0
ff
cvtsi2sd %eax,%xmm1
divsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edi
call   1030 <atan@plt>
movsd  -0xa0(%rbp),%xmm1
ff
movaps %xmm0,%xmm2
movsd  -0x98(%rbp),%xmm0
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
addsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0xe0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<psim>:
push   %rbp
push   %r14
push   %rbx
sub    $0x30,%rsp
andpd  0xec0(%rip),%xmm0
movapd %xmm0,0x10(%rsp)
movapd %xmm0,%xmm1
divsd  0xebe(%rip),%xmm1
cvttsd2si %xmm1,%edi
xor    %esi,%esi
call   1050 <pow@plt>
mov    %eax,%ebx
xor    %edi,%edi
call   1040 <log@plt>
movsd  %xmm0,0x28(%rsp)
mov    $0x3,%edi
xor    %esi,%esi
call   1050 <pow@plt>
mov    %eax,%r14d
xor    %edi,%edi
xor    %esi,%esi
call   1050 <pow@plt>
mov    %eax,%ebp
movsd  0xe8a(%rip),%xmm0
movapd 0x10(%rsp),%xmm2
ucomisd %xmm2,%xmm0
jae    11e6 <psim+0xb6>
mov    $0x2b,%edi
xor    %esi,%esi
call   1050 <pow@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x8(%rsp)
mov    $0xe,%edi
call   1040 <log@plt>
movsd  %xmm0,0x10(%rsp)
mov    $0xe,%edi
xor    %esi,%esi
call   1050 <pow@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mulsd  0xe42(%rip),%xmm0
addsd  0x10(%rsp),%xmm0
jmp    122e <psim+0xfe>
xorps  %xmm0,%xmm0
cvtsi2sd %ebx,%xmm0
movsd  %xmm0,0x8(%rsp)
movsd  0xe15(%rip),%xmm0
addsd  %xmm2,%xmm0
cvttsd2si %xmm0,%edi
call   1040 <log@plt>
movsd  %xmm0,(%rsp)
cvttsd2si 0x10(%rsp),%edi
xor    %esi,%esi
call   1050 <pow@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mulsd  0xdf7(%rip),%xmm0
addsd  (%rsp),%xmm0
movsd  %xmm0,0x10(%rsp)
xor    %edi,%edi
xor    %esi,%esi
call   1050 <pow@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mulsd  0xddc(%rip),%xmm0
mulsd  0xddc(%rip),%xmm0
movsd  %xmm0,(%rsp)
movsd  0xdd7(%rip),%xmm0
movsd  0x8(%rsp),%xmm2
movapd %xmm2,%xmm1
addsd  %xmm0,%xmm1
mulsd  %xmm1,%xmm1
subsd  %xmm2,%xmm0
mulsd  %xmm2,%xmm2
addsd  %xmm0,%xmm2
divsd  %xmm2,%xmm1
cvttsd2si %xmm1,%edi
call   1040 <log@plt>
mulsd  (%rsp),%xmm0
addsd  0x10(%rsp),%xmm0
movsd  %xmm0,0x10(%rsp)
mov    $0x3,%edi
xor    %esi,%esi
call   1050 <pow@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mulsd  0xd70(%rip),%xmm0
movsd  %xmm0,(%rsp)
xor    %edi,%edi
xor    %esi,%esi
call   1050 <pow@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mulsd  (%rsp),%xmm0
movsd  %xmm0,(%rsp)
movsd  0x8(%rsp),%xmm0
addsd  %xmm0,%xmm0
addsd  0xd57(%rip),%xmm0
movsd  %xmm0,0x8(%rsp)
mov    $0x3,%edi
xor    %esi,%esi
call   1050 <pow@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  0x8(%rsp),%xmm1
divsd  %xmm0,%xmm1
cvttsd2si %xmm1,%edi
call   1030 <atan@plt>
mulsd  (%rsp),%xmm0
addsd  0x10(%rsp),%xmm0
xorps  %xmm1,%xmm1
cvtsi2sd %r14d,%xmm1
xorps  %xmm2,%xmm2
cvtsi2sd %ebp,%xmm2
mulsd  0xcf1(%rip),%xmm1
mulsd  %xmm1,%xmm2
mulsd  0xd05(%rip),%xmm2
divsd  0xd05(%rip),%xmm2
subsd  0x28(%rsp),%xmm2
addsd  %xmm2,%xmm0
add    $0x30,%rsp
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define double @psim(double %0) {
%2 = alloca double
%3 = alloca double
%4 = alloca double
%5 = alloca double
%6 = alloca double
%7 = alloca double
%8 = alloca double
store double %0, double* %3
%9 = load double, double* %3
%10 = call double @llvm.fabs.f64(double %9)
store double %10, double* %3
store double 3.300000e-01, double* %4
store double 4.100000e-01, double* %5
%11 = load double, double* %3
%12 = load double, double* %4
%13 = fdiv double %11, %12
%14 = fptosi double %13 to i32
%15 = call i32 @pow(i32 %14, i32 0)
%16 = sitofp i32 %15 to double
store double %16, double* %6
%17 = load double, double* %4
%18 = fptosi double %17 to i32
%19 = call double @log(i32 %18)
%20 = fneg double %19
%21 = call i32 @pow(i32 3, i32 0)
%22 = sitofp i32 %21 to double
%23 = load double, double* %5
%24 = fmul double %22, %23
%25 = load double, double* %4
%26 = fptosi double %25 to i32
%27 = call i32 @pow(i32 %26, i32 0)
%28 = sitofp i32 %27 to double
%29 = fmul double %24, %28
%30 = fmul double %29, 0x400921FB5A7ED197
%31 = fdiv double %30, 6.000000e+00
%32 = fadd double %20, %31
store double %32, double* %7
%33 = load double, double* %5
%34 = load double, double* %5
%35 = fmul double %33, %34
%36 = load double, double* %5
%37 = fmul double %35, %36
%38 = fdiv double 1.000000e+00, %37
store double %38, double* %8
%39 = load double, double* %3
%40 = load double, double* %8
%41 = fcmp ole double %39, %40
br i1 %41, label %42, label %96
42: ; preds = %1
%43 = load double, double* %4
%44 = load double, double* %3
%45 = fadd double %43, %44
%46 = fptosi double %45 to i32
%47 = call double @log(i32 %46)
%48 = load double, double* %5
%49 = fmul double 3.000000e+00, %48
%50 = load double, double* %3
%51 = fptosi double %50 to i32
%52 = call i32 @pow(i32 %51, i32 0)
%53 = sitofp i32 %52 to double
%54 = fneg double %49
%55 = call double @llvm.fmuladd.f64(double %54, double %53, double %47)
%56 = load double, double* %5
%57 = load double, double* %4
%58 = fptosi double %57 to i32
%59 = call i32 @pow(i32 %58, i32 0)
%60 = sitofp i32 %59 to double
%61 = fmul double %56, %60
%62 = fdiv double %61, 2.000000e+00
%63 = load double, double* %6
%64 = fadd double 1.000000e+00, %63
%65 = load double, double* %6
%66 = fadd double 1.000000e+00, %65
%67 = fmul double %64, %66
%68 = load double, double* %6
%69 = fsub double 1.000000e+00, %68
%70 = load double, double* %6
%71 = load double, double* %6
%72 = call double @llvm.fmuladd.f64(double %70, double %71, double %69)
%73 = fdiv double %67, %72
%74 = fptosi double %73 to i32
%75 = call double @log(i32 %74)
%76 = call double @llvm.fmuladd.f64(double %62, double %75, double %55)
%77 = call i32 @pow(i32 3, i32 0)
%78 = sitofp i32 %77 to double
%79 = load double, double* %5
%80 = fmul double %78, %79
%81 = load double, double* %4
%82 = fptosi double %81 to i32
%83 = call i32 @pow(i32 %82, i32 0)
%84 = sitofp i32 %83 to double
%85 = fmul double %80, %84
%86 = load double, double* %6
%87 = call double @llvm.fmuladd.f64(double 2.000000e+00, double %86, double -1.000000e+00)
%88 = call i32 @pow(i32 3, i32 0)
%89 = sitofp i32 %88 to double
%90 = fdiv double %87, %89
%91 = fptosi double %90 to i32
%92 = call double @atan(i32 %91)
%93 = call double @llvm.fmuladd.f64(double %85, double %92, double %76)
%94 = load double, double* %7
%95 = fadd double %93, %94
store double %95, double* %2
br label %156
96: ; preds = %1
%97 = load double, double* %8
%98 = load double, double* %4
%99 = fdiv double %97, %98
%100 = fptosi double %99 to i32
%101 = call i32 @pow(i32 %100, i32 0)
%102 = sitofp i32 %101 to double
store double %102, double* %6
%103 = load double, double* %4
%104 = load double, double* %8
%105 = fadd double %103, %104
%106 = fptosi double %105 to i32
%107 = call double @log(i32 %106)
%108 = load double, double* %5
%109 = fmul double 3.000000e+00, %108
%110 = load double, double* %8
%111 = fptosi double %110 to i32
%112 = call i32 @pow(i32 %111, i32 0)
%113 = sitofp i32 %112 to double
%114 = fneg double %109
%115 = call double @llvm.fmuladd.f64(double %114, double %113, double %107)
%116 = load double, double* %5
%117 = load double, double* %4
%118 = fptosi double %117 to i32
%119 = call i32 @pow(i32 %118, i32 0)
%120 = sitofp i32 %119 to double
%121 = fmul double %116, %120
%122 = fdiv double %121, 2.000000e+00
%123 = load double, double* %6
%124 = fadd double 1.000000e+00, %123
%125 = load double, double* %6
%126 = fadd double 1.000000e+00, %125
%127 = fmul double %124, %126
%128 = load double, double* %6
%129 = fsub double 1.000000e+00, %128
%130 = load double, double* %6
%131 = load double, double* %6
%132 = call double @llvm.fmuladd.f64(double %130, double %131, double %129)
%133 = fdiv double %127, %132
%134 = fptosi double %133 to i32
%135 = call double @log(i32 %134)
%136 = call double @llvm.fmuladd.f64(double %122, double %135, double %115)
%137 = call i32 @pow(i32 3, i32 0)
%138 = sitofp i32 %137 to double
%139 = load double, double* %5
%140 = fmul double %138, %139
%141 = load double, double* %4
%142 = fptosi double %141 to i32
%143 = call i32 @pow(i32 %142, i32 0)
%144 = sitofp i32 %143 to double
%145 = fmul double %140, %144
%146 = load double, double* %6
%147 = call double @llvm.fmuladd.f64(double 2.000000e+00, double %146, double -1.000000e+00)
%148 = call i32 @pow(i32 3, i32 0)
%149 = sitofp i32 %148 to double
%150 = fdiv double %147, %149
%151 = fptosi double %150 to i32
%152 = call double @atan(i32 %151)
%153 = call double @llvm.fmuladd.f64(double %145, double %152, double %136)
%154 = load double, double* %7
%155 = fadd double %153, %154
store double %155, double* %2
br label %156
156: ; preds = %96, %42
%157 = load double, double* %2
ret double %157
}

LLVM IR (-O2):
define double @psim(double %0) {
%2 = tail call double @llvm.fabs.f64(double %0)
%3 = fdiv double %2, 3.300000e-01
%4 = fptosi double %3 to i32
%5 = tail call i32 @pow(i32 %4, i32 0)
%6 = sitofp i32 %5 to double
%7 = tail call double @log(i32 0)
%8 = tail call i32 @pow(i32 3, i32 0)
%9 = tail call i32 @pow(i32 0, i32 0)
%10 = fcmp ugt double %2, 0x402D04CB97F3C97F
br i1 %10, label %31, label %11
11: ; preds = %1
%12 = fadd double %2, 3.300000e-01
%13 = fptosi double %12 to i32
%14 = tail call double @log(i32 %13)
%15 = fptosi double %2 to i32
%16 = tail call i32 @pow(i32 %15, i32 0)
%17 = sitofp i32 %16 to double
%18 = tail call double @llvm.fmuladd.f64(double %17, double -1.230000e+00, double %14)
%19 = tail call i32 @pow(i32 0, i32 0)
%20 = sitofp i32 %19 to double
%21 = fmul double %20, 4.100000e-01
%22 = fmul double %21, 5.000000e-01
%23 = fadd double %6, 1.000000e+00
%24 = fmul double %23, %23
%25 = fsub double 1.000000e+00, %6
%26 = tail call double @llvm.fmuladd.f64(double %6, double %6, double %25)
%27 = fdiv double %24, %26
%28 = fptosi double %27 to i32
%29 = tail call double @log(i32 %28)
%30 = tail call double @llvm.fmuladd.f64(double %22, double %29, double %18)
br label %50
31: ; preds = %1
%32 = tail call i32 @pow(i32 43, i32 0)
%33 = sitofp i32 %32 to double
%34 = tail call double @log(i32 14)
%35 = tail call i32 @pow(i32 14, i32 0)
%36 = sitofp i32 %35 to double
%37 = tail call double @llvm.fmuladd.f64(double %36, double -1.230000e+00, double %34)
%38 = tail call i32 @pow(i32 0, i32 0)
%39 = sitofp i32 %38 to double
%40 = fmul double %39, 4.100000e-01
%41 = fmul double %40, 5.000000e-01
%42 = fadd double %33, 1.000000e+00
%43 = fmul double %42, %42
%44 = fsub double 1.000000e+00, %33
%45 = tail call double @llvm.fmuladd.f64(double %33, double %33, double %44)
%46 = fdiv double %43, %45
%47 = fptosi double %46 to i32
%48 = tail call double @log(i32 %47)
%49 = tail call double @llvm.fmuladd.f64(double %41, double %48, double %37)
br label %50
50: ; preds = %31, %11
%51 = phi double [ %33, %31 ], [ %6, %11 ]
%52 = phi double [ %49, %31 ], [ %30, %11 ]
%53 = tail call i32 @pow(i32 3, i32 0)
%54 = sitofp i32 %53 to double
%55 = fmul double %54, 4.100000e-01
%56 = tail call i32 @pow(i32 0, i32 0)
%57 = sitofp i32 %56 to double
%58 = fmul double %55, %57
%59 = tail call double @llvm.fmuladd.f64(double %51, double 2.000000e+00, double -1.000000e+00)
%60 = tail call i32 @pow(i32 3, i32 0)
%61 = sitofp i32 %60 to double
%62 = fdiv double %59, %61
%63 = fptosi double %62 to i32
%64 = tail call double @atan(i32 %63)
%65 = tail call double @llvm.fmuladd.f64(double %58, double %64, double %52)
%66 = sitofp i32 %8 to double
%67 = fmul double %66, 4.100000e-01
%68 = sitofp i32 %9 to double
%69 = fmul double %67, %68
%70 = fmul double %69, 0x400921FB5A7ED197
%71 = fdiv double %70, 6.000000e+00
%72 = fsub double %71, %7
%73 = fadd double %72, %65
ret double %73
}