==================== Tidy Core ====================
2017-09-20 00:12:15.7478442 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.Cofactor.$trModule2 :: GHC.Prim.Addr#
CoreDump.Matrix.Cofactor.$trModule2 = "CoreDump.Matrix.Cofactor"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
CoreDump.Matrix.Cofactor.$trModule1 :: GHC.Types.TrName
CoreDump.Matrix.Cofactor.$trModule1
= GHC.Types.TrNameS CoreDump.Matrix.Cofactor.$trModule2
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
CoreDump.Matrix.Cofactor.$trModule4 :: GHC.Prim.Addr#
CoreDump.Matrix.Cofactor.$trModule4 = "main"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
CoreDump.Matrix.Cofactor.$trModule3 :: GHC.Types.TrName
CoreDump.Matrix.Cofactor.$trModule3
= GHC.Types.TrNameS CoreDump.Matrix.Cofactor.$trModule4
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
CoreDump.Matrix.Cofactor.$trModule :: GHC.Types.Module
CoreDump.Matrix.Cofactor.$trModule
= GHC.Types.Module
CoreDump.Matrix.Cofactor.$trModule3
CoreDump.Matrix.Cofactor.$trModule1
-- RHS size: {terms: 678, types: 41, coercions: 1, joins: 0/0}
cofactor_ :: Matrix 6 6 Float -> Float
cofactor_
= \ (m :: Matrix 6 6 Float) ->
case m `cast` <Co:1> 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)))))))))))))
}