Исправить формулу

--Вычисление факториала
fac :: Int -> Int
fac n | n==0 = 1
      | n>0  = n * fac (n-1)
 
--Функция вычисления xn
power :: Float -> Int -> Float
power x n | n==0 = 1
          | n>0  = x*power x (n-1)
 
--Функция вычисления (-1)n
signnum :: Int -> Float
signnum n | n `mod` 2 == 0 = 1
          | otherwise  = (-1)
 
--Функция вычисления суммы ряда
s :: Float -> Int -> Float
s x n | n==1 = (-1) * x *x * 2
      | n>1  =  (((power x 3) / 3) - ((power x 5) /15) + signnum(n+1) * ((power x f2i 2 * n + 1))/(4 * n * n - 1) + s x  (n-1)) --Здесь нужно правильно написать формулу
         
 
--Проверочная функция
y :: Float -> Float
y x =   ((1 + x * x)/2) * atan (x) * (x / 2)
 
--------------------------------------
--Примеры функций преобразованием типов данных
f2i :: Float -> Integer
f2i f = round (f)       -- преобразование Float -> Int
 
i2f :: Int -> Float
i2f n = fromIntegral (n) -- преобразование Int -> Float
 
--Основная программа
main :: IO ()
main = do
             putStrLn "Hello!  What is x?"
             x <- getLine
             let sum = s (read x) 12
             putStrLn $ "Summa =" ++ (show sum)
             let con = y (read x)
             putStrLn $ "Y     =" ++ (show con)

finitSum [] a0 = a0
finitSum (p:ps) a0 = a0 + finitSym ps (p*a0)
 
task n x = let
  ps = [ (-1)*x*x*(4*n*n-1) / (4*(n+1)*(n+1)-1) | k <- [1..n]]
  in finitSum ps (x^3 / 3)

task' x = let
  xs = iterate ((x*x)*) x
  ms = iterate negate 1
  as = [ 4*n*n - 1 | n <- [1..] ]
  in zipWith3 (\x m a -> x*m/a) xs ms as
task n x = sum $ take n $ task' x

a 1 x = x^3/3 
a (n+1) x = (-1*(a n x))*x^2*(4*n^2-1)/(4(n+1)^2-1)

f :: Int -> Double
f n = (4*(fromInt n)**2-1) / (4*(fromInt (n+1))**2-1)
    
sum' :: Int -> Int -> Double -> Double -> Double
sum' n 0 x _ = sum' n 1 x (x**3)/3.0  
sum' n k x a = if (k < n) then  an + sum' n (k+1) x an else 0.0
               where an=0-a*(x**2)*(f (k+1))
            
task :: Int -> Double -> Double
task n x = sum' n 0 x 0.0