==================== Tidy Core ==================== 2017-09-12 23:15:38.4003859 UTC Result size of Tidy Core = {terms: 1,457, types: 862, coercions: 4, joins: 38/38} -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} CoreDump.Tensor.GenerateKnownNats.$trModule4 :: GHC.Prim.Addr# CoreDump.Tensor.GenerateKnownNats.$trModule4 = "main"# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} CoreDump.Tensor.GenerateKnownNats.$trModule3 :: GHC.Types.TrName CoreDump.Tensor.GenerateKnownNats.$trModule3 = GHC.Types.TrNameS CoreDump.Tensor.GenerateKnownNats.$trModule4 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} CoreDump.Tensor.GenerateKnownNats.$trModule2 :: GHC.Prim.Addr# CoreDump.Tensor.GenerateKnownNats.$trModule2 = "CoreDump.Tensor.GenerateKnownNats"# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} CoreDump.Tensor.GenerateKnownNats.$trModule1 :: GHC.Types.TrName CoreDump.Tensor.GenerateKnownNats.$trModule1 = GHC.Types.TrNameS CoreDump.Tensor.GenerateKnownNats.$trModule2 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} CoreDump.Tensor.GenerateKnownNats.$trModule :: GHC.Types.Module CoreDump.Tensor.GenerateKnownNats.$trModule = GHC.Types.Module CoreDump.Tensor.GenerateKnownNats.$trModule3 CoreDump.Tensor.GenerateKnownNats.$trModule1 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} CoreDump.Tensor.GenerateKnownNats.generateKnownNats_3 :: Integer CoreDump.Tensor.GenerateKnownNats.generateKnownNats_3 = 0 -- RHS size: {terms: 39, types: 12, coercions: 0, joins: 0/0} CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 :: GHC.Natural.Natural CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 = case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_3 of { integer-gmp-1.0.1.0:GHC.Integer.Type.S# i# -> case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# i# 0#) of { False -> GHC.Natural.underflowError @ GHC.Natural.Natural; True -> GHC.Natural.NatS# (GHC.Prim.int2Word# i#) }; integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt -> case GHC.Prim.uncheckedIShiftRL# (GHC.Prim.sizeofByteArray# dt) 3# of { __DEFAULT -> case GHC.Prim.sizeofByteArray# dt of { __DEFAULT -> GHC.Natural.NatJ# dt; 0# -> GHC.Natural.underflowError @ GHC.Natural.Natural }; 1# -> case GHC.Prim.indexWordArray# dt 0# of wild2 { __DEFAULT -> GHC.Natural.NatS# wild2 } }; integer-gmp-1.0.1.0:GHC.Integer.Type.Jn# ipv -> GHC.Natural.underflowError @ GHC.Natural.Natural } -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} lvl :: Integer lvl = 2 -- RHS size: {terms: 39, types: 12, coercions: 0, joins: 0/0} $dKnownNat :: GHC.Natural.Natural $dKnownNat = case lvl of { integer-gmp-1.0.1.0:GHC.Integer.Type.S# i# -> case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# i# 0#) of { False -> GHC.Natural.underflowError @ GHC.Natural.Natural; True -> GHC.Natural.NatS# (GHC.Prim.int2Word# i#) }; integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt -> case GHC.Prim.uncheckedIShiftRL# (GHC.Prim.sizeofByteArray# dt) 3# of { __DEFAULT -> case GHC.Prim.sizeofByteArray# dt of { __DEFAULT -> GHC.Natural.NatJ# dt; 0# -> GHC.Natural.underflowError @ GHC.Natural.Natural }; 1# -> case GHC.Prim.indexWordArray# dt 0# of wild2 { __DEFAULT -> GHC.Natural.NatS# wild2 } }; integer-gmp-1.0.1.0:GHC.Integer.Type.Jn# ipv -> GHC.Natural.underflowError @ GHC.Natural.Natural } -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} lvl1 :: Integer lvl1 = 1 -- RHS size: {terms: 39, types: 12, coercions: 0, joins: 0/0} $dKnownNat1 :: GHC.Natural.Natural $dKnownNat1 = case lvl1 of { integer-gmp-1.0.1.0:GHC.Integer.Type.S# i# -> case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# i# 0#) of { False -> GHC.Natural.underflowError @ GHC.Natural.Natural; True -> GHC.Natural.NatS# (GHC.Prim.int2Word# i#) }; integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt -> case GHC.Prim.uncheckedIShiftRL# (GHC.Prim.sizeofByteArray# dt) 3# of { __DEFAULT -> case GHC.Prim.sizeofByteArray# dt of { __DEFAULT -> GHC.Natural.NatJ# dt; 0# -> GHC.Natural.underflowError @ GHC.Natural.Natural }; 1# -> case GHC.Prim.indexWordArray# dt 0# of wild2 { __DEFAULT -> GHC.Natural.NatS# wild2 } }; integer-gmp-1.0.1.0:GHC.Integer.Type.Jn# ipv -> GHC.Natural.underflowError @ GHC.Natural.Natural } -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} lvl2 :: Integer lvl2 = 3 -- RHS size: {terms: 1,295, types: 782, coercions: 4, joins: 38/38} CoreDump.Tensor.GenerateKnownNats.generateKnownNats_1 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float CoreDump.Tensor.GenerateKnownNats.generateKnownNats_1 = \ (x :: GHC.Prim.Int#) -> join { $j :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j (x1 :: GHC.Prim.Int#) = join { $j1 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j1 (y :: GHC.Prim.Int#) = join { $j2 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j2 (x2 :: GHC.Prim.Int#) = join { $j3 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j3 (x3 :: GHC.Prim.Int#) = join { $j4 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j4 (y1 :: GHC.Prim.Int#) = join { $j5 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j5 (x4 :: GHC.Prim.Int#) = join { $j6 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j6 (x5 :: GHC.Prim.Int#) = join { $j7 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j7 (y2 :: GHC.Prim.Int#) = join { $j8 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j8 (x6 :: GHC.Prim.Int#) = join { $j9 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j9 (x7 :: GHC.Prim.Int#) = join { $j10 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j10 (y3 :: GHC.Prim.Int#) = join { $j11 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j11 (x8 :: GHC.Prim.Int#) = join { $j12 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j12 (x9 :: GHC.Prim.Int#) = join { $j13 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j13 (x10 :: GHC.Prim.Int#) = join { $j14 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j14 (x11 :: GHC.Prim.Int#) = join { $j15 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j15 (x12 :: GHC.Prim.Int#) = join { $j16 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j16 (x13 :: GHC.Prim.Int#) = join { $j17 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j17 (x14 :: GHC.Prim.Int#) = join { $j18 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j18 (x15 :: GHC.Prim.Int#) = join { $j19 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j19 (x16 :: GHC.Prim.Int#) = join { $j20 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j20 (x17 :: GHC.Prim.Int#) = join { $j21 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j21 (x18 :: GHC.Prim.Int#) = join { $j22 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j22 (x19 :: GHC.Prim.Int#) = join { $j23 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j23 (x20 :: GHC.Prim.Int#) = join { $j24 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j24 (x21 :: GHC.Prim.Int#) = join { $j25 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j25 (x22 :: GHC.Prim.Int#) = join { $j26 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j26 (x23 :: GHC.Prim.Int#) = join { $j27 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j27 (x24 :: GHC.Prim.Int#) = join { $j28 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j28 (x25 :: GHC.Prim.Int#) = join { $j29 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j29 (x26 :: GHC.Prim.Int#) = join { $j30 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j30 (x27 :: GHC.Prim.Int#) = join { $j31 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j31 (x28 :: GHC.Prim.Int#) = join { $j32 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j32 (x29 :: GHC.Prim.Int#) = join { $j33 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j33 (x30 :: GHC.Prim.Int#) = join { $j34 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j34 (x31 :: GHC.Prim.Int#) = join { $j35 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j35 (x32 :: GHC.Prim.Int#) = join { $j36 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j36 (x33 :: GHC.Prim.Int#) = join { $j37 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float $j37 (x34 :: GHC.Prim.Int#) = case $dKnownNat1 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> (TensorInstances.Tensor'2'3'4'Float (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x 12#) (GHC.Prim.*# x1 4#)) y)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x2 12#) (GHC.Prim.*# x3 4#)) y1)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x4 12#) (GHC.Prim.*# x5 4#)) y2)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x6 12#) (GHC.Prim.*# x7 4#)) y3)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x8 12#) (GHC.Prim.*# x9 4#)) y)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x10 12#) (GHC.Prim.*# x11 4#)) y1)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x12 12#) (GHC.Prim.*# x13 4#)) y2)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x14 12#) (GHC.Prim.*# x15 4#)) y3)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x16 12#) (GHC.Prim.*# x17 4#)) y)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x18 12#) (GHC.Prim.*# x19 4#)) y1)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x20 12#) (GHC.Prim.*# x21 4#)) y2)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x22 12#) (GHC.Prim.*# x23 4#)) y3)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x24 12#) (GHC.Prim.*# x1 4#)) y)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x25 12#) (GHC.Prim.*# x3 4#)) y1)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x26 12#) (GHC.Prim.*# x5 4#)) y2)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x27 12#) (GHC.Prim.*# x7 4#)) y3)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x28 12#) (GHC.Prim.*# x9 4#)) y)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x29 12#) (GHC.Prim.*# x11 4#)) y1)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x30 12#) (GHC.Prim.*# x13 4#)) y2)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x31 12#) (GHC.Prim.*# x15 4#)) y3)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x32 12#) (GHC.Prim.*# x17 4#)) y)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x33 12#) (GHC.Prim.*# x19 4#)) y1)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x34 12#) (GHC.Prim.*# x21 4#)) y2)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# wild1 12#) (GHC.Prim.*# x23 4#)) y3))) `cast` }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> (TensorInstances.Tensor'2'3'4'Float (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x 12#) (GHC.Prim.*# x1 4#)) y)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x2 12#) (GHC.Prim.*# x3 4#)) y1)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x4 12#) (GHC.Prim.*# x5 4#)) y2)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x6 12#) (GHC.Prim.*# x7 4#)) y3)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x8 12#) (GHC.Prim.*# x9 4#)) y)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x10 12#) (GHC.Prim.*# x11 4#)) y1)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x12 12#) (GHC.Prim.*# x13 4#)) y2)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x14 12#) (GHC.Prim.*# x15 4#)) y3)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x16 12#) (GHC.Prim.*# x17 4#)) y)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x18 12#) (GHC.Prim.*# x19 4#)) y1)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x20 12#) (GHC.Prim.*# x21 4#)) y2)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x22 12#) (GHC.Prim.*# x23 4#)) y3)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x24 12#) (GHC.Prim.*# x1 4#)) y)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x25 12#) (GHC.Prim.*# x3 4#)) y1)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x26 12#) (GHC.Prim.*# x5 4#)) y2)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x27 12#) (GHC.Prim.*# x7 4#)) y3)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x28 12#) (GHC.Prim.*# x9 4#)) y)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x29 12#) (GHC.Prim.*# x11 4#)) y1)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x30 12#) (GHC.Prim.*# x13 4#)) y2)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x31 12#) (GHC.Prim.*# x15 4#)) y3)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x32 12#) (GHC.Prim.*# x17 4#)) y)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x33 12#) (GHC.Prim.*# x19 4#)) y1)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# x34 12#) (GHC.Prim.*# x21 4#)) y2)) (GHC.Prim.int2Float# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.*# wild1 12#) (GHC.Prim.*# x23 4#)) y3))) `cast` } } } in case $dKnownNat1 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j37 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j37 wild1 } } } in case $dKnownNat1 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j36 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j36 wild1 } } } in case $dKnownNat1 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j35 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j35 wild1 } } } in case $dKnownNat1 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j34 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j34 wild1 } } } in case $dKnownNat1 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j33 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j33 wild1 } } } in case $dKnownNat1 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j32 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j32 wild1 } } } in case $dKnownNat1 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j31 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j31 wild1 } } } in case $dKnownNat1 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j30 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j30 wild1 } } } in case $dKnownNat1 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j29 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j29 wild1 } } } in case $dKnownNat1 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j28 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j28 wild1 } } } in case $dKnownNat1 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j27 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j27 wild1 } } } in case $dKnownNat of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j26 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j26 wild1 } } } in case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j25 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j25 wild1 } } } in case $dKnownNat of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j24 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j24 wild1 } } } in case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j23 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j23 wild1 } } } in case $dKnownNat of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j22 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j22 wild1 } } } in case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j21 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j21 wild1 } } } in case $dKnownNat of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j20 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j20 wild1 } } } in case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j19 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j19 wild1 } } } in case $dKnownNat1 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j18 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j18 wild1 } } } in case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j17 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j17 wild1 } } } in case $dKnownNat1 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j16 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j16 wild1 } } } in case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j15 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j15 wild1 } } } in case $dKnownNat1 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j14 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j14 wild1 } } } in case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j13 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j13 wild1 } } } in case $dKnownNat1 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j12 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j12 wild1 } } } in case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j11 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j11 wild1 } } } in case lvl2 of wild { integer-gmp-1.0.1.0:GHC.Integer.Type.S# i# -> case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# i# 0#) of { False -> case GHC.Natural.underflowError of wild2 { }; True -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger (GHC.Prim.int2Word# i#)) of wild2 { __DEFAULT -> jump $j10 wild2 } }; integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt -> case GHC.Prim.uncheckedIShiftRL# (GHC.Prim.sizeofByteArray# dt) 3# of { __DEFAULT -> case GHC.Prim.sizeofByteArray# dt of { __DEFAULT -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt wild of wild4 { __DEFAULT -> jump $j10 wild4 }; 0# -> case GHC.Natural.underflowError of wild4 { } }; 1# -> case GHC.Prim.indexWordArray# dt 0# of wild2 { __DEFAULT -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger wild2) of wild4 { __DEFAULT -> jump $j10 wild4 } } }; integer-gmp-1.0.1.0:GHC.Integer.Type.Jn# ipv -> case GHC.Natural.underflowError of wild1 { } } } in case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j9 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j9 wild1 } } } in case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j8 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j8 wild1 } } } in case $dKnownNat of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j7 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j7 wild1 } } } in case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j6 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j6 wild1 } } } in case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j5 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j5 wild1 } } } in case $dKnownNat1 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j4 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j4 wild1 } } } in case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j3 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j3 wild1 } } } in case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j2 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j2 wild1 } } } in case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j1 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j1 wild1 } } } in case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> jump $j wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> jump $j wild1 } } -- RHS size: {terms: 18, types: 5, coercions: 0, joins: 0/0} generateKnownNats_ :: Tensor '[2, 3, 4] Float generateKnownNats_ = case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 of { GHC.Natural.NatS# w -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w) of wild1 { __DEFAULT -> CoreDump.Tensor.GenerateKnownNats.generateKnownNats_1 wild1 }; GHC.Natural.NatJ# dt -> case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt (integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt) of wild1 { __DEFAULT -> CoreDump.Tensor.GenerateKnownNats.generateKnownNats_1 wild1 } }