==================== Tidy Core ==================== 2017-09-20 00:25:15.3254335 UTC Result size of Tidy Core = {terms: 693, types: 51, coercions: 1, joins: 0/0} -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} CoreDump.Matrix.Minor.$trModule4 :: GHC.Prim.Addr# CoreDump.Matrix.Minor.$trModule4 = "main"# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} CoreDump.Matrix.Minor.$trModule3 :: GHC.Types.TrName CoreDump.Matrix.Minor.$trModule3 = GHC.Types.TrNameS CoreDump.Matrix.Minor.$trModule4 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} CoreDump.Matrix.Minor.$trModule2 :: GHC.Prim.Addr# CoreDump.Matrix.Minor.$trModule2 = "CoreDump.Matrix.Minor"# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} CoreDump.Matrix.Minor.$trModule1 :: GHC.Types.TrName CoreDump.Matrix.Minor.$trModule1 = GHC.Types.TrNameS CoreDump.Matrix.Minor.$trModule2 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} CoreDump.Matrix.Minor.$trModule :: GHC.Types.Module CoreDump.Matrix.Minor.$trModule = GHC.Types.Module CoreDump.Matrix.Minor.$trModule3 CoreDump.Matrix.Minor.$trModule1 -- RHS size: {terms: 678, types: 41, coercions: 1, joins: 0/0} minor_ :: Matrix 6 6 Float -> Float minor_ = \ (x :: Matrix 6 6 Float) -> case x `cast` of { TensorInstances.Tensor'6'6'Float dt dt1 dt2 dt3 dt4 dt5 dt6 dt7 dt8 dt9 dt10 dt11 dt12 dt13 dt14 dt15 dt16 dt17 dt18 dt19 dt20 dt21 dt22 dt23 dt24 dt25 dt26 dt27 dt28 dt29 dt30 dt31 dt32 dt33 dt34 dt35 -> GHC.Types.F# (GHC.Prim.plusFloat# (GHC.Prim.timesFloat# dt7 (GHC.Prim.plusFloat# (GHC.Prim.timesFloat# dt14 (GHC.Prim.plusFloat# (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt21 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt28 dt35) (GHC.Prim.timesFloat# dt29 dt34))) (GHC.Prim.timesFloat# dt22 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt27 dt35) (GHC.Prim.timesFloat# dt29 dt33)))) (GHC.Prim.timesFloat# dt23 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt27 dt34) (GHC.Prim.timesFloat# dt28 dt33))))) (GHC.Prim.plusFloat# (GHC.Prim.timesFloat# (GHC.Prim.timesFloat# -1.0# dt15) (GHC.Prim.plusFloat# (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt20 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt28 dt35) (GHC.Prim.timesFloat# dt29 dt34))) (GHC.Prim.timesFloat# dt22 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt26 dt35) (GHC.Prim.timesFloat# dt29 dt32)))) (GHC.Prim.timesFloat# dt23 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt26 dt34) (GHC.Prim.timesFloat# dt28 dt32))))) (GHC.Prim.plusFloat# (GHC.Prim.timesFloat# dt16 (GHC.Prim.plusFloat# (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt20 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt27 dt35) (GHC.Prim.timesFloat# dt29 dt33))) (GHC.Prim.timesFloat# dt21 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt26 dt35) (GHC.Prim.timesFloat# dt29 dt32)))) (GHC.Prim.timesFloat# dt23 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt26 dt33) (GHC.Prim.timesFloat# dt27 dt32))))) (GHC.Prim.timesFloat# (GHC.Prim.timesFloat# -1.0# dt17) (GHC.Prim.plusFloat# (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt20 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt27 dt34) (GHC.Prim.timesFloat# dt28 dt33))) (GHC.Prim.timesFloat# dt21 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt26 dt34) (GHC.Prim.timesFloat# dt28 dt32)))) (GHC.Prim.timesFloat# dt22 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt26 dt33) (GHC.Prim.timesFloat# dt27 dt32))))))))) (GHC.Prim.plusFloat# (GHC.Prim.timesFloat# (GHC.Prim.timesFloat# -1.0# dt8) (GHC.Prim.plusFloat# (GHC.Prim.timesFloat# dt13 (GHC.Prim.plusFloat# (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt21 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt28 dt35) (GHC.Prim.timesFloat# dt29 dt34))) (GHC.Prim.timesFloat# dt22 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt27 dt35) (GHC.Prim.timesFloat# dt29 dt33)))) (GHC.Prim.timesFloat# dt23 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt27 dt34) (GHC.Prim.timesFloat# dt28 dt33))))) (GHC.Prim.plusFloat# (GHC.Prim.timesFloat# (GHC.Prim.timesFloat# -1.0# dt15) (GHC.Prim.plusFloat# (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt19 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt28 dt35) (GHC.Prim.timesFloat# dt29 dt34))) (GHC.Prim.timesFloat# dt22 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt25 dt35) (GHC.Prim.timesFloat# dt29 dt31)))) (GHC.Prim.timesFloat# dt23 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt25 dt34) (GHC.Prim.timesFloat# dt28 dt31))))) (GHC.Prim.plusFloat# (GHC.Prim.timesFloat# dt16 (GHC.Prim.plusFloat# (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt19 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt27 dt35) (GHC.Prim.timesFloat# dt29 dt33))) (GHC.Prim.timesFloat# dt21 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt25 dt35) (GHC.Prim.timesFloat# dt29 dt31)))) (GHC.Prim.timesFloat# dt23 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt25 dt33) (GHC.Prim.timesFloat# dt27 dt31))))) (GHC.Prim.timesFloat# (GHC.Prim.timesFloat# -1.0# dt17) (GHC.Prim.plusFloat# (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt19 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt27 dt34) (GHC.Prim.timesFloat# dt28 dt33))) (GHC.Prim.timesFloat# dt21 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt25 dt34) (GHC.Prim.timesFloat# dt28 dt31)))) (GHC.Prim.timesFloat# dt22 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt25 dt33) (GHC.Prim.timesFloat# dt27 dt31))))))))) (GHC.Prim.plusFloat# (GHC.Prim.timesFloat# dt9 (GHC.Prim.plusFloat# (GHC.Prim.timesFloat# dt13 (GHC.Prim.plusFloat# (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt20 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt28 dt35) (GHC.Prim.timesFloat# dt29 dt34))) (GHC.Prim.timesFloat# dt22 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt26 dt35) (GHC.Prim.timesFloat# dt29 dt32)))) (GHC.Prim.timesFloat# dt23 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt26 dt34) (GHC.Prim.timesFloat# dt28 dt32))))) (GHC.Prim.plusFloat# (GHC.Prim.timesFloat# (GHC.Prim.timesFloat# -1.0# dt14) (GHC.Prim.plusFloat# (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt19 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt28 dt35) (GHC.Prim.timesFloat# dt29 dt34))) (GHC.Prim.timesFloat# dt22 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt25 dt35) (GHC.Prim.timesFloat# dt29 dt31)))) (GHC.Prim.timesFloat# dt23 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt25 dt34) (GHC.Prim.timesFloat# dt28 dt31))))) (GHC.Prim.plusFloat# (GHC.Prim.timesFloat# dt16 (GHC.Prim.plusFloat# (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt19 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt26 dt35) (GHC.Prim.timesFloat# dt29 dt32))) (GHC.Prim.timesFloat# dt20 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt25 dt35) (GHC.Prim.timesFloat# dt29 dt31)))) (GHC.Prim.timesFloat# dt23 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt25 dt32) (GHC.Prim.timesFloat# dt26 dt31))))) (GHC.Prim.timesFloat# (GHC.Prim.timesFloat# -1.0# dt17) (GHC.Prim.plusFloat# (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt19 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt26 dt34) (GHC.Prim.timesFloat# dt28 dt32))) (GHC.Prim.timesFloat# dt20 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt25 dt34) (GHC.Prim.timesFloat# dt28 dt31)))) (GHC.Prim.timesFloat# dt22 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt25 dt32) (GHC.Prim.timesFloat# dt26 dt31))))))))) (GHC.Prim.plusFloat# (GHC.Prim.timesFloat# (GHC.Prim.timesFloat# -1.0# dt10) (GHC.Prim.plusFloat# (GHC.Prim.timesFloat# dt13 (GHC.Prim.plusFloat# (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt20 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt27 dt35) (GHC.Prim.timesFloat# dt29 dt33))) (GHC.Prim.timesFloat# dt21 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt26 dt35) (GHC.Prim.timesFloat# dt29 dt32)))) (GHC.Prim.timesFloat# dt23 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt26 dt33) (GHC.Prim.timesFloat# dt27 dt32))))) (GHC.Prim.plusFloat# (GHC.Prim.timesFloat# (GHC.Prim.timesFloat# -1.0# dt14) (GHC.Prim.plusFloat# (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt19 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt27 dt35) (GHC.Prim.timesFloat# dt29 dt33))) (GHC.Prim.timesFloat# dt21 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt25 dt35) (GHC.Prim.timesFloat# dt29 dt31)))) (GHC.Prim.timesFloat# dt23 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt25 dt33) (GHC.Prim.timesFloat# dt27 dt31))))) (GHC.Prim.plusFloat# (GHC.Prim.timesFloat# dt15 (GHC.Prim.plusFloat# (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt19 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt26 dt35) (GHC.Prim.timesFloat# dt29 dt32))) (GHC.Prim.timesFloat# dt20 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt25 dt35) (GHC.Prim.timesFloat# dt29 dt31)))) (GHC.Prim.timesFloat# dt23 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt25 dt32) (GHC.Prim.timesFloat# dt26 dt31))))) (GHC.Prim.timesFloat# (GHC.Prim.timesFloat# -1.0# dt17) (GHC.Prim.plusFloat# (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt19 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt26 dt33) (GHC.Prim.timesFloat# dt27 dt32))) (GHC.Prim.timesFloat# dt20 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt25 dt33) (GHC.Prim.timesFloat# dt27 dt31)))) (GHC.Prim.timesFloat# dt21 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt25 dt32) (GHC.Prim.timesFloat# dt26 dt31))))))))) (GHC.Prim.timesFloat# dt11 (GHC.Prim.plusFloat# (GHC.Prim.timesFloat# dt13 (GHC.Prim.plusFloat# (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt20 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt27 dt34) (GHC.Prim.timesFloat# dt28 dt33))) (GHC.Prim.timesFloat# dt21 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt26 dt34) (GHC.Prim.timesFloat# dt28 dt32)))) (GHC.Prim.timesFloat# dt22 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt26 dt33) (GHC.Prim.timesFloat# dt27 dt32))))) (GHC.Prim.plusFloat# (GHC.Prim.timesFloat# (GHC.Prim.timesFloat# -1.0# dt14) (GHC.Prim.plusFloat# (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt19 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt27 dt34) (GHC.Prim.timesFloat# dt28 dt33))) (GHC.Prim.timesFloat# dt21 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt25 dt34) (GHC.Prim.timesFloat# dt28 dt31)))) (GHC.Prim.timesFloat# dt22 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt25 dt33) (GHC.Prim.timesFloat# dt27 dt31))))) (GHC.Prim.plusFloat# (GHC.Prim.timesFloat# dt15 (GHC.Prim.plusFloat# (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt19 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt26 dt34) (GHC.Prim.timesFloat# dt28 dt32))) (GHC.Prim.timesFloat# dt20 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt25 dt34) (GHC.Prim.timesFloat# dt28 dt31)))) (GHC.Prim.timesFloat# dt22 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt25 dt32) (GHC.Prim.timesFloat# dt26 dt31))))) (GHC.Prim.timesFloat# (GHC.Prim.timesFloat# -1.0# dt16) (GHC.Prim.plusFloat# (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt19 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt26 dt33) (GHC.Prim.timesFloat# dt27 dt32))) (GHC.Prim.timesFloat# dt20 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt25 dt33) (GHC.Prim.timesFloat# dt27 dt31)))) (GHC.Prim.timesFloat# dt21 (GHC.Prim.minusFloat# (GHC.Prim.timesFloat# dt25 dt32) (GHC.Prim.timesFloat# dt26 dt31))))))))))))) }