==================== Tidy Core ==================== 2017-09-08 01:36:05.9317624 UTC Result size of Tidy Core = {terms: 52, types: 20, coercions: 8, joins: 0/0} -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} CoreDump.Vector.Normalize.$trModule2 :: GHC.Prim.Addr# CoreDump.Vector.Normalize.$trModule2 = "CoreDump.Vector.Normalize"# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} CoreDump.Vector.Normalize.$trModule1 :: GHC.Types.TrName CoreDump.Vector.Normalize.$trModule1 = GHC.Types.TrNameS CoreDump.Vector.Normalize.$trModule2 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} CoreDump.Vector.Normalize.$trModule4 :: GHC.Prim.Addr# CoreDump.Vector.Normalize.$trModule4 = "main"# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} CoreDump.Vector.Normalize.$trModule3 :: GHC.Types.TrName CoreDump.Vector.Normalize.$trModule3 = GHC.Types.TrNameS CoreDump.Vector.Normalize.$trModule4 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} CoreDump.Vector.Normalize.$trModule :: GHC.Types.Module CoreDump.Vector.Normalize.$trModule = GHC.Types.Module CoreDump.Vector.Normalize.$trModule3 CoreDump.Vector.Normalize.$trModule1 -- RHS size: {terms: 37, types: 9, coercions: 8, joins: 0/0} normalize_ :: Vector 4 Float -> NormalizedVector 4 Float normalize_ = \ (v :: Vector 4 Float) -> case v `cast` of { TensorInstances.Tensor'4'Float dt dt1 dt2 dt3 -> case GHC.Prim.divideFloat# 1.0# (GHC.Prim.sqrtFloat# (GHC.Prim.plusFloat# (GHC.Prim.plusFloat# (GHC.Prim.plusFloat# (GHC.Prim.timesFloat# dt3 dt3) (GHC.Prim.timesFloat# dt2 dt2)) (GHC.Prim.timesFloat# dt1 dt1)) (GHC.Prim.timesFloat# dt dt))) of wild4 { __DEFAULT -> (TensorInstances.Tensor'4'Float (GHC.Prim.timesFloat# dt wild4) (GHC.Prim.timesFloat# dt1 wild4) (GHC.Prim.timesFloat# dt2 wild4) (GHC.Prim.timesFloat# dt3 wild4)) `cast` } }