Skip to content

Instantly share code, notes, and snippets.

@Kha

Kha/mathlib4.8d3c56c Secret

Created July 15, 2023 08:48
Show Gist options
  • Save Kha/7aa60540c2d23ed0ec898ed1ac9c77d2 to your computer and use it in GitHub Desktop.
Save Kha/7aa60540c2d23ed0ec898ed1ac9c77d2 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
mathlib4.8d3c56c
$ nix run github:Kha/nixprof -- report --all --tred --merge-into-succ '-depRoot'
Critical path
time [s] [cum] drv
---------- ----- ------- ------ -------------------------------------------------------
4.6 0.2% 4.6 0.2% Std.Data.List.Basic
7.6 0.3% 12.2 0.5% Std.Data.List.Lemmas
2.6 0.1% 14.9 0.7% Std.Data.Array.Lemmas
2.7 0.1% 17.6 0.8% Std.Data.HashMap.WF
0.2 0.0% 17.8 0.8% Std.Data.HashMap
0.4 0.0% 18.3 0.8% Aesop.Util.UnionFind
1.0 0.0% 19.3 0.8% Aesop.Util.Basic
1.1 0.0% 20.4 0.9% Aesop.Util.Tactic
0.6 0.0% 21.0 0.9% Aesop.Util
2.7 0.1% 23.7 1.0% Aesop.Script
0.6 0.0% 24.3 1.1% Aesop.RuleTac.Basic
0.6 0.0% 24.9 1.1% Aesop.Rule.Basic
0.7 0.0% 25.6 1.1% Aesop.Rule
0.7 0.0% 26.3 1.2% Aesop.Builder.Basic
0.7 0.0% 26.9 1.2% Aesop.Builder.Apply
0.7 0.0% 27.6 1.2% Aesop.Builder.Constructors
0.6 0.0% 28.2 1.2% Aesop.Builder.Default
0.7 0.0% 28.9 1.3% Aesop.Builder
4.4 0.2% 33.3 1.5% Aesop.RuleSet
1.2 0.1% 34.5 1.5% Aesop.Search.Expansion.Simp.Basic
1.3 0.1% 35.8 1.6% Aesop.Search.Expansion.Simp.SimpAll
0.3 0.0% 36.1 1.6% Aesop.Search.Expansion.Simp
2.0 0.1% 38.2 1.7% Aesop.Search.Expansion.Norm
2.5 0.1% 40.7 1.8% Aesop.Search.Expansion
0.7 0.0% 41.4 1.8% Aesop.Search.ExpandSafePrefix
3.9 0.2% 45.3 2.0% Aesop.Search.Main
0.5 0.0% 45.8 2.0% Aesop.Main
0.3 0.0% 46.1 2.0% Aesop
0.9 0.0% 47.0 2.1% Mathlib.Tactic.Common
2.8 0.1% 49.8 2.2% Mathlib.Algebra.Group.Defs
1.9 0.1% 51.7 2.3% Mathlib.Data.Nat.Cast.Defs
2.8 0.1% 54.5 2.4% Mathlib.Tactic.NormCast.Tactic
0.6 0.0% 55.1 2.4% Mathlib.Tactic.NormCast
0.6 0.0% 55.7 2.4% Mathlib.Data.FunLike.Basic
0.5 0.0% 56.2 2.5% Mathlib.Data.FunLike.Embedding
0.6 0.0% 56.9 2.5% Mathlib.Data.FunLike.Equiv
2.1 0.1% 58.9 2.6% Mathlib.Logic.Equiv.Defs
1.6 0.1% 60.6 2.7% Mathlib.Order.Synonym
1.8 0.1% 62.4 2.7% Mathlib.Order.Compare
3.0 0.1% 65.4 2.9% Mathlib.Order.Monotone.Basic
3.9 0.2% 69.3 3.0% Mathlib.Order.Lattice
2.7 0.1% 72.0 3.2% Mathlib.Order.BoundedOrder
5.3 0.2% 77.2 3.4% Mathlib.Order.WithBot
4.1 0.2% 81.3 3.6% Mathlib.Order.Hom.Basic
5.8 0.3% 87.1 3.8% Mathlib.Algebra.Order.Group.Defs
7.4 0.3% 94.5 4.1% Mathlib.Algebra.Order.Ring.Defs
2.6 0.1% 97.1 4.3% Mathlib.Algebra.Order.Ring.Canonical
3.3 0.1% 100.4 4.4% Mathlib.Data.Nat.Order.Basic
16.7 0.7% 117.1 5.1% Mathlib.Data.List.Basic
2.7 0.1% 119.7 5.3% Mathlib.Data.List.Infix
4.8 0.2% 124.5 5.5% Mathlib.Data.List.Forall2
7.5 0.3% 132.0 5.8% Mathlib.Data.List.BigOperators.Basic
2.8 0.1% 134.9 5.9% Mathlib.Data.List.Count
2.7 0.1% 137.6 6.0% Mathlib.Data.List.Pairwise
3.5 0.2% 141.1 6.2% Mathlib.Data.List.Nodup
2.0 0.1% 143.1 6.3% Mathlib.Data.List.Dedup
10.0 0.4% 153.1 6.7% Mathlib.Data.List.Perm
16.2 0.7% 169.3 7.4% Mathlib.Data.Multiset.Basic
6.7 0.3% 176.0 7.7% Mathlib.Algebra.BigOperators.Multiset.Basic
3.7 0.2% 179.7 7.9% Mathlib.Data.Multiset.Bind
2.2 0.1% 181.8 8.0% Mathlib.Data.Multiset.Nodup
1.7 0.1% 183.5 8.1% Mathlib.Data.Multiset.Dedup
2.3 0.1% 185.8 8.2% Mathlib.Data.Multiset.FinsetOps
17.5 0.8% 203.2 8.9% Mathlib.Data.Finset.Basic
5.2 0.2% 208.5 9.2% Mathlib.Data.Finset.Image
3.7 0.2% 212.2 9.3% Mathlib.Data.Finset.Card
4.2 0.2% 216.4 9.5% Mathlib.Data.Finset.Prod
13.9 0.6% 230.3 10.1% Mathlib.Data.Finset.Lattice
2.0 0.1% 232.3 10.2% Mathlib.Data.Finset.Sigma
23.2 1.0% 255.5 11.2% Mathlib.Algebra.BigOperators.Basic
4.3 0.2% 259.8 11.4% Mathlib.Algebra.Support
7.4 0.3% 267.1 11.7% Mathlib.Algebra.IndicatorFunction
11.7 0.5% 278.8 12.2% Mathlib.Data.Finsupp.Defs
1.8 0.1% 280.7 12.3% Mathlib.Data.Finsupp.Indicator
16.4 0.7% 297.1 13.0% Mathlib.Algebra.BigOperators.Finsupp
19.5 0.9% 316.6 13.9% Mathlib.Data.Finsupp.Basic
54.4 2.4% 370.9 16.3% Mathlib.LinearAlgebra.Basic
19.2 0.8% 390.1 17.1% Mathlib.Algebra.Algebra.Basic
16.0 0.7% 406.1 17.8% Mathlib.Algebra.Algebra.Hom
3.1 0.1% 409.2 18.0% Mathlib.Algebra.Algebra.Prod
20.1 0.9% 429.3 18.8% Mathlib.LinearAlgebra.Prod
37.0 1.6% 466.3 20.5% Mathlib.LinearAlgebra.LinearPMap
40.3 1.8% 506.7 22.2% Mathlib.LinearAlgebra.Basis
4.6 0.2% 511.2 22.4% Mathlib.LinearAlgebra.Basis.Bilinear
44.0 1.9% 555.2 24.4% Mathlib.RingTheory.Ideal.Operations
35.0 1.5% 590.2 25.9% Mathlib.Algebra.Algebra.Subalgebra.Basic
4.3 0.2% 594.6 26.1% Mathlib.Algebra.Algebra.Subalgebra.Tower
11.6 0.5% 606.2 26.6% Mathlib.RingTheory.Adjoin.Basic
71.6 3.1% 677.7 29.7% Mathlib.Data.MvPolynomial.Basic
17.0 0.7% 694.7 30.5% Mathlib.Data.MvPolynomial.Rename
15.3 0.7% 710.1 31.2% Mathlib.Data.MvPolynomial.Variables
24.6 1.1% 734.7 32.2% Mathlib.Data.MvPolynomial.Equiv
11.8 0.5% 746.5 32.8% Mathlib.RingTheory.FreeCommRing
122.9 5.4% 869.4 38.2% Mathlib.Algebra.DirectLimit
18.1 0.8% 887.5 39.0% Mathlib.Algebra.Category.ModuleCat.Limits
6.7 0.3% 894.2 39.2% Mathlib.Algebra.Category.ModuleCat.Abelian
2.3 0.1% 896.5 39.3% Mathlib.CategoryTheory.Preadditive.Yoneda.Limits
250.3 11.0% 1146.8 50.3% Mathlib.CategoryTheory.Abelian.Projective
3.5 0.2% 1150.3 50.5% Mathlib.CategoryTheory.Abelian.Ext
310.5 13.6% 1460.8 64.1% Mathlib.RepresentationTheory.GroupCohomology.Resolution
757.9 33.3% 2218.6 97.4% Mathlib.RepresentationTheory.GroupCohomology.Basic
59.8 2.6% 2278.4 100.0% Mathlib
Average contribution to critical paths
time [s] [cum] drv
---------- ----- ------- ------ ---------------------------------------------------------------
239.4 28.7% 239.4 28.7% Mathlib.RepresentationTheory.GroupCohomology.Basic
97.9 11.7% 337.3 40.5% Mathlib.RepresentationTheory.GroupCohomology.Resolution
65.5 7.9% 402.8 48.3% Mathlib.CategoryTheory.Abelian.Projective
59.7 7.2% 462.5 55.5% Mathlib
26.5 3.2% 489.1 58.7% Mathlib.Algebra.DirectLimit
23.1 2.8% 512.2 61.4% Mathlib.RingTheory.Kaehler
19.1 2.3% 531.2 63.7% Mathlib.Analysis.NormedSpace.OperatorNorm
14.8 1.8% 546.1 65.5% Mathlib.Data.MvPolynomial.Basic
11.4 1.4% 557.5 66.9% Mathlib.Analysis.NormedSpace.Multilinear
11.3 1.4% 568.7 68.2% Mathlib.Geometry.Manifold.ContMDiff
10.6 1.3% 579.4 69.5% Mathlib.Analysis.Calculus.ContDiff
8.9 1.1% 588.3 70.6% Mathlib.RingTheory.Ideal.Operations
8.8 1.1% 597.1 71.6% Mathlib.LinearAlgebra.Basic
8.2 1.0% 605.3 72.6% Mathlib.Analysis.Calculus.ContDiffDef
7.4 0.9% 612.8 73.5% Mathlib.LinearAlgebra.Basis
7.1 0.9% 619.9 74.4% Mathlib.Algebra.Algebra.Subalgebra.Basic
6.2 0.7% 626.1 75.1% Mathlib.LinearAlgebra.LinearPMap
6.0 0.7% 632.2 75.8% Mathlib.RepresentationTheory.Rep
5.4 0.6% 637.5 76.5% Mathlib.AlgebraicGeometry.AffineScheme
5.2 0.6% 642.7 77.1% Mathlib.Data.MvPolynomial.Equiv
4.9 0.6% 647.6 77.7% Mathlib.Geometry.Manifold.Algebra.LeftInvariantDerivation
4.0 0.5% 651.6 78.2% Mathlib.Algebra.Category.ModuleCat.Limits
3.9 0.5% 655.5 78.6% Mathlib.NumberTheory.LegendreSymbol.GaussSum
3.5 0.4% 659.0 79.1% Mathlib.Data.MvPolynomial.Rename
3.4 0.4% 662.4 79.5% Mathlib.LinearAlgebra.Prod
3.2 0.4% 665.6 79.8% Mathlib.Algebra.Algebra.Basic
3.2 0.4% 668.8 80.2% Mathlib.Data.MvPolynomial.Variables
3.2 0.4% 671.9 80.6% Mathlib.Analysis.Calculus.FDeriv.Mul
2.8 0.3% 674.7 80.9% Mathlib.Analysis.Seminorm
2.7 0.3% 677.4 81.3% Mathlib.Algebra.Algebra.Hom
2.6 0.3% 680.0 81.6% Mathlib.Algebra.BigOperators.Basic
2.5 0.3% 682.5 81.9% Mathlib.RingTheory.FreeCommRing
2.5 0.3% 685.0 82.2% Mathlib.AlgebraicGeometry.GammaSpecAdjunction
2.5 0.3% 687.5 82.5% Mathlib.Analysis.SpecialFunctions.Gaussian
2.5 0.3% 690.0 82.8% Mathlib.Data.Finsupp.Basic
2.4 0.3% 692.4 83.1% Mathlib.RingTheory.Adjoin.Basic
2.3 0.3% 694.7 83.3% Mathlib.MeasureTheory.Function.LpSpace
2.3 0.3% 697.0 83.6% Mathlib.MeasureTheory.Integral.SetToL1
2.3 0.3% 699.2 83.9% Mathlib.AlgebraicGeometry.Morphisms.QuasiSeparated
2.1 0.3% 701.3 84.1% Mathlib.Algebra.BigOperators.Finsupp
2.1 0.2% 703.4 84.4% Mathlib.MeasureTheory.Function.SimpleFuncDenseLp
2.0 0.2% 705.4 84.6% Mathlib.Analysis.NormedSpace.BoundedLinearMaps
1.8 0.2% 707.3 84.8% Mathlib.Data.Finset.Basic
1.8 0.2% 709.1 85.1% Mathlib.MeasureTheory.Function.LpSeminorm
1.8 0.2% 710.9 85.3% Mathlib.LinearAlgebra.Dual
1.8 0.2% 712.7 85.5% Mathlib.NumberTheory.ZetaFunction
1.7 0.2% 714.5 85.7% Mathlib.FieldTheory.AbelRuffini
1.7 0.2% 716.1 85.9% Mathlib.Analysis.LocallyConvex.WithSeminorms
1.6 0.2% 717.8 86.1% Mathlib.Data.Multiset.Basic
1.5 0.2% 719.3 86.3% Mathlib.RingTheory.AdjoinRoot
1.5 0.2% 720.8 86.5% Mathlib.Data.Finset.Lattice
1.5 0.2% 722.3 86.6% Mathlib.AlgebraicGeometry.Spec
1.5 0.2% 723.8 86.8% Mathlib.MeasureTheory.Decomposition.Lebesgue
1.5 0.2% 725.3 87.0% Mathlib.MeasureTheory.Integral.Bochner
1.5 0.2% 726.8 87.2% Mathlib.Algebra.Category.ModuleCat.Abelian
1.5 0.2% 728.2 87.4% Mathlib.Data.Finsupp.Defs
1.4 0.2% 729.7 87.5% Mathlib.MeasureTheory.Function.Jacobian
1.4 0.2% 731.1 87.7% Mathlib.FieldTheory.Adjoin
1.3 0.2% 732.4 87.9% Mathlib.Data.List.Basic
1.2 0.1% 733.6 88.0% Mathlib.Geometry.Manifold.DerivationBundle
1.2 0.1% 734.8 88.1% Mathlib.Analysis.Calculus.FDeriv.Prod
1.1 0.1% 735.9 88.3% Mathlib.Algebra.Category.ModuleCat.Monoidal.Basic
1.1 0.1% 737.0 88.4% Mathlib.Geometry.Manifold.Algebra.SmoothFunctions
1.1 0.1% 738.1 88.5% Mathlib.AlgebraicGeometry.EllipticCurve.Point
1.1 0.1% 739.2 88.7% Mathlib.Analysis.SpecialFunctions.Gamma.Beta
1.1 0.1% 740.3 88.8% Mathlib.FieldTheory.PolynomialGaloisGroup
1.1 0.1% 741.3 88.9% Mathlib.RepresentationTheory.Action
1.0 0.1% 742.4 89.1% Mathlib.AlgebraicGeometry.StructureSheaf
1.0 0.1% 743.4 89.2% Mathlib.NumberTheory.Cyclotomic.PrimitiveRoots
1.0 0.1% 744.4 89.3% Mathlib.Data.List.Perm
0.9 0.1% 745.3 89.4% Mathlib.FieldTheory.IsAlgClosed.Basic
0.9 0.1% 746.2 89.5% Mathlib.MeasureTheory.Function.L1Space
0.9 0.1% 747.1 89.6% Mathlib.CategoryTheory.Abelian.Ext
0.9 0.1% 748.0 89.7% Mathlib.Algebra.IndicatorFunction
0.9 0.1% 748.9 89.8% Mathlib.Algebra.Algebra.Subalgebra.Tower
0.9 0.1% 749.8 89.9% Mathlib.Analysis.NormedSpace.Basic
0.8 0.1% 750.6 90.0% Mathlib.Algebra.Homology.HomologicalComplex
0.8 0.1% 751.5 90.1% Mathlib.LinearAlgebra.Basis.Bilinear
0.8 0.1% 752.3 90.2% Mathlib.FieldTheory.IsAlgClosed.AlgebraicClosure
0.8 0.1% 753.1 90.3% Mathlib.Analysis.Normed.Field.Basic
0.8 0.1% 753.9 90.4% Mathlib.MeasureTheory.Integral.SetIntegral
0.8 0.1% 754.7 90.5% Mathlib.RingTheory.Trace
0.8 0.1% 755.6 90.6% Mathlib.Analysis.SpecialFunctions.Gamma.Basic
0.8 0.1% 756.3 90.7% Mathlib.Analysis.Calculus.FDeriv.Bilinear
0.7 0.1% 757.1 90.8% Mathlib.Geometry.Manifold.SmoothManifoldWithCorners
0.7 0.1% 757.8 90.9% Mathlib.LinearAlgebra.FiniteDimensional
0.7 0.1% 758.5 91.0% Mathlib.Algebra.Homology.Homotopy
0.7 0.1% 759.2 91.1% Mathlib.Data.DFinsupp.Basic
0.7 0.1% 759.8 91.1% Mathlib.Algebra.BigOperators.Multiset.Basic
0.7 0.1% 760.5 91.2% Mathlib.Analysis.Normed.Group.Basic
0.7 0.1% 761.2 91.3% Mathlib.Algebra.Homology.Additive
0.7 0.1% 761.8 91.4% Mathlib.CategoryTheory.Subobject.Lattice
0.6 0.1% 762.5 91.5% Mathlib.MeasureTheory.Measure.WithDensityVectorMeasure
0.6 0.1% 763.1 91.5% Mathlib.Geometry.Manifold.Algebra.Monoid
0.6 0.1% 763.7 91.6% Mathlib.Data.List.BigOperators.Basic
0.6 0.1% 764.3 91.7% Mathlib.CategoryTheory.Limits.Cones
0.6 0.1% 765.0 91.8% Mathlib.MeasureTheory.Covering.Differentiation
0.6 0.1% 765.5 91.8% Mathlib.Algebra.Homology.Single
0.6 0.1% 766.1 91.9% Mathlib.NumberTheory.LegendreSymbol.AddCharacter
0.6 0.1% 766.7 92.0% Mathlib.RepresentationTheory.Basic
0.6 0.1% 767.3 92.0% Mathlib.FieldTheory.Normal
0.6 0.1% 767.9 92.1% Mathlib.CategoryTheory.Limits.Shapes.Pullbacks
0.6 0.1% 768.5 92.2% Mathlib.MeasureTheory.Covering.BesicovitchVectorSpace
0.6 0.1% 769.0 92.2% Mathlib.Algebra.Lie.Weights
0.6 0.1% 769.6 92.3% Mathlib.RingTheory.Polynomial.Quotient
0.6 0.1% 770.1 92.4% Mathlib.AlgebraicGeometry.Pullbacks
0.6 0.1% 770.7 92.5% Mathlib.NumberTheory.Cyclotomic.Basic
0.6 0.1% 771.3 92.5% Mathlib.Data.Finset.Image
0.5 0.1% 771.8 92.6% Mathlib.MeasureTheory.Covering.Besicovitch
0.5 0.1% 772.3 92.6% Mathlib.Algebra.Module.LinearMap
0.5 0.1% 772.9 92.7% Mathlib.Topology.Algebra.UniformGroup
0.5 0.1% 773.4 92.8% Mathlib.Algebra.Support
0.5 0.1% 773.9 92.8% Mathlib.Algebra.Order.Ring.Defs
0.5 0.1% 774.4 92.9% Mathlib.Topology.Algebra.InfiniteSum.Basic
0.5 0.1% 775.0 93.0% Mathlib.Algebra.Algebra.Prod
0.5 0.1% 775.5 93.0% Mathlib.LinearAlgebra.Dimension
0.5 0.1% 776.0 93.1% Mathlib.MeasureTheory.Integral.DivergenceTheorem
0.5 0.1% 776.5 93.1% Mathlib.LinearAlgebra.Contraction
0.5 0.1% 777.0 93.2% Mathlib.CategoryTheory.Preadditive.Yoneda.Limits
0.5 0.1% 777.5 93.3% Mathlib.Analysis.LocallyConvex.Basic
0.5 0.1% 778.0 93.3% Mathlib.RingTheory.Adjoin.Field
0.5 0.1% 778.4 93.4% Mathlib.Analysis.MellinTransform
0.5 0.1% 778.9 93.4% Mathlib.MeasureTheory.Integral.IntegralEqImproper
0.5 0.1% 779.4 93.5% Mathlib.Data.Finset.Prod
0.5 0.1% 779.8 93.5% Mathlib.Analysis.SpecialFunctions.Gamma.BohrMollerup
0.5 0.1% 780.3 93.6% Mathlib.LinearAlgebra.TensorProduct
0.5 0.1% 780.7 93.7% Mathlib.Analysis.LocallyConvex.Bounded
0.4 0.1% 781.2 93.7% Mathlib.RingTheory.ClassGroup
0.4 0.1% 781.6 93.8% Mathlib.LinearAlgebra.CliffordAlgebra.EvenEquiv
0.4 0.1% 782.0 93.8% Mathlib.RingTheory.Ideal.Cotangent
0.4 0.0% 782.4 93.9% Mathlib.CategoryTheory.Subobject.MonoOver
0.4 0.0% 782.8 93.9% Mathlib.AlgebraicGeometry.Scheme
0.4 0.0% 783.2 94.0% Mathlib.Data.Finset.Card
0.4 0.0% 783.6 94.0% Mathlib.Topology.Instances.ENNReal
0.4 0.0% 784.0 94.0% Mathlib.Algebra.Order.Group.Defs
0.4 0.0% 784.4 94.1% Mathlib.AlgebraicGeometry.Morphisms.Basic
0.4 0.0% 784.8 94.1% Mathlib.Analysis.SpecialFunctions.Trigonometric.Basic
0.4 0.0% 785.2 94.2% Mathlib.Data.List.Forall2
0.4 0.0% 785.5 94.2% Mathlib.RingTheory.IntegralClosure
0.4 0.0% 785.9 94.3% Mathlib.Data.Multiset.Bind
0.4 0.0% 786.3 94.3% Mathlib.NumberTheory.NumberField.Basic
0.4 0.0% 786.6 94.4% Mathlib.Topology.Sheaves.Stalks
0.4 0.0% 787.0 94.4% Mathlib.RingTheory.Polynomial.Basic
0.4 0.0% 787.4 94.4% Mathlib.Analysis.InnerProductSpace.PiL2
0.4 0.0% 787.7 94.5% Mathlib.Topology.Sheaves.SheafCondition.PairwiseIntersections
0.3 0.0% 788.1 94.5% Mathlib.RingTheory.DedekindDomain.IntegralClosure
0.3 0.0% 788.4 94.6% Mathlib.Algebra.Category.ModuleCat.Adjunctions
0.3 0.0% 788.7 94.6% Mathlib.MeasureTheory.Function.AEEqOfIntegral
0.3 0.0% 789.1 94.7% Mathlib.GroupTheory.Subgroup.Basic
0.3 0.0% 789.4 94.7% Mathlib.MeasureTheory.Function.AEEqFun
0.3 0.0% 789.7 94.7% Mathlib.CategoryTheory.StructuredArrow
0.3 0.0% 790.1 94.8% Mathlib.FieldTheory.RatFunc
0.3 0.0% 790.4 94.8% Mathlib.Order.WithBot
0.3 0.0% 790.7 94.8% Mathlib.Analysis.Fourier.AddCircle
0.3 0.0% 791.0 94.9% Mathlib.Algebra.Module.Torsion
0.3 0.0% 791.3 94.9% Mathlib.LinearAlgebra.CliffordAlgebra.Grading
0.3 0.0% 791.6 95.0% Mathlib.Topology.Algebra.Group.Basic
0.3 0.0% 791.9 95.0% Mathlib.Analysis.Complex.CauchyIntegral
0.3 0.0% 792.2 95.0% Mathlib.Analysis.InnerProductSpace.Basic
0.3 0.0% 792.5 95.1% Mathlib.Data.List.Nodup
0.3 0.0% 792.8 95.1% Mathlib.Analysis.SpecialFunctions.Integrals
0.3 0.0% 793.1 95.1% Mathlib.MeasureTheory.Integral.Lebesgue
0.3 0.0% 793.4 95.2% Mathlib.Geometry.Manifold.Algebra.LieGroup
0.3 0.0% 793.7 95.2% Mathlib.Analysis.BoxIntegral.Basic
0.3 0.0% 793.9 95.2% Mathlib.CategoryTheory.Over
0.3 0.0% 794.2 95.3% Mathlib.Tactic.NormNum.Basic
0.3 0.0% 794.5 95.3% Mathlib.MeasureTheory.Function.StronglyMeasurable.Basic
0.3 0.0% 794.8 95.3% Mathlib.Combinatorics.SimpleGraph.Regularity.Chunk
0.3 0.0% 795.0 95.4% Mathlib.CategoryTheory.Limits.Shapes.BinaryProducts
0.3 0.0% 795.3 95.4% Mathlib.Geometry.Manifold.ContMDiffMap
0.3 0.0% 795.6 95.4% Mathlib.Order.Hom.Basic
0.3 0.0% 795.8 95.5% Mathlib.MeasureTheory.Measure.Lebesgue.Basic
0.3 0.0% 796.1 95.5% Mathlib.CategoryTheory.Monoidal.Braided
0.3 0.0% 796.3 95.5% Mathlib.RingTheory.Etale
0.3 0.0% 796.6 95.6% Mathlib.Algebra.Algebra.Operations
0.3 0.0% 796.8 95.6% Mathlib.Analysis.SpecialFunctions.ImproperIntegrals
0.3 0.0% 797.1 95.6% Mathlib.RingTheory.UniqueFactorizationDomain
0.2 0.0% 797.3 95.6% Mathlib.Data.Nat.Order.Basic
0.2 0.0% 797.6 95.7% Mathlib.Analysis.MeanInequalities
0.2 0.0% 797.8 95.7% Mathlib.Topology.MetricSpace.Isometry
0.2 0.0% 798.1 95.7% Mathlib.LinearAlgebra.LinearIndependent
0.2 0.0% 798.3 95.8% Mathlib.Data.Real.ENNReal
0.2 0.0% 798.6 95.8% Mathlib.LinearAlgebra.CliffordAlgebra.Conjugation
0.2 0.0% 798.8 95.8% Mathlib.Data.List.Count
0.2 0.0% 799.0 95.8% Mathlib.Data.IsROrC.Basic
0.2 0.0% 799.3 95.9% Mathlib.Order.Lattice
0.2 0.0% 799.5 95.9% Mathlib.Data.Multiset.FinsetOps
0.2 0.0% 799.7 95.9% Mathlib.Topology.MetricSpace.Basic
0.2 0.0% 800.0 96.0% Mathlib.Data.Finsupp.Indicator
0.2 0.0% 800.2 96.0% Mathlib.Analysis.Normed.MulAction
0.2 0.0% 800.4 96.0% Mathlib.LinearAlgebra.Finrank
0.2 0.0% 800.6 96.0% Mathlib.Data.List.Pairwise
0.2 0.0% 800.9 96.1% Mathlib.CategoryTheory.Limits.Over
0.2 0.0% 801.1 96.1% Mathlib.Topology.Sheaves.SheafCondition.EqualizerProducts
0.2 0.0% 801.3 96.1% Mathlib.Data.Finset.Sigma
0.2 0.0% 801.5 96.1% Mathlib.Data.Multiset.Nodup
0.2 0.0% 801.7 96.2% Mathlib.Analysis.InnerProductSpace.Projection
0.2 0.0% 802.0 96.2% Mathlib.CategoryTheory.Subobject.Basic
0.2 0.0% 802.2 96.2% Mathlib.LinearAlgebra.CliffordAlgebra.Even
0.2 0.0% 802.4 96.3% Mathlib.AlgebraicGeometry.Morphisms.QuasiCompact
0.2 0.0% 802.6 96.3% Mathlib.Analysis.BoxIntegral.DivergenceTheorem
0.2 0.0% 802.8 96.3% Mathlib.Geometry.Manifold.Algebra.Structures
0.2 0.0% 803.0 96.3% Mathlib.Analysis.Complex.Liouville
0.2 0.0% 803.2 96.4% Mathlib.Data.List.Infix
0.2 0.0% 803.4 96.4% Mathlib.Analysis.SpecialFunctions.Pow.Deriv
0.2 0.0% 803.6 96.4% Mathlib.CategoryTheory.Limits.IsLimit
0.2 0.0% 803.8 96.4% Mathlib.Tactic
0.2 0.0% 804.0 96.4% Mathlib.Algebra.Order.Ring.Canonical
0.2 0.0% 804.2 96.5% Mathlib.CategoryTheory.Limits.HasLimits
0.2 0.0% 804.4 96.5% Mathlib.Algebra.Module.Basic
0.2 0.0% 804.5 96.5% Mathlib.CategoryTheory.Limits.Shapes.Terminal
0.2 0.0% 804.7 96.5% Mathlib.MeasureTheory.Measure.MeasureSpace
0.2 0.0% 804.9 96.6% Mathlib.RingTheory.PowerBasis
0.2 0.0% 805.1 96.6% Mathlib.Order.Monotone.Basic
0.2 0.0% 805.3 96.6% Mathlib.Analysis.SpecialFunctions.Trigonometric.Angle
0.2 0.0% 805.4 96.6% Mathlib.Analysis.Fourier.PoissonSummation
0.2 0.0% 805.6 96.6% Mathlib.Data.Multiset.Dedup
0.2 0.0% 805.8 96.7% Mathlib.Data.List.Dedup
0.2 0.0% 806.0 96.7% Mathlib.Analysis.Calculus.FDeriv.Linear
0.2 0.0% 806.1 96.7% Mathlib.LinearAlgebra.FinsuppVectorSpace
0.2 0.0% 806.3 96.7% Mathlib.Analysis.Complex.Basic
0.2 0.0% 806.5 96.7% Mathlib.RingTheory.DedekindDomain.AdicValuation
0.2 0.0% 806.6 96.8% Mathlib.Algebra.Hom.GroupAction
0.2 0.0% 806.8 96.8% Mathlib.Algebra.Homology.Homology
0.2 0.0% 807.0 96.8% Mathlib.MeasureTheory.Constructions.BorelSpace.Basic
0.2 0.0% 807.1 96.8% Mathlib.LinearAlgebra.CliffordAlgebra.Fold
0.2 0.0% 807.3 96.8% Mathlib.Order.BoundedOrder
0.2 0.0% 807.5 96.9% Mathlib.Data.Polynomial.RingDivision
0.2 0.0% 807.6 96.9% Mathlib.RingTheory.WittVector.Isocrystal
0.2 0.0% 807.8 96.9% Mathlib.LinearAlgebra.CliffordAlgebra.Basic
0.2 0.0% 807.9 96.9% Mathlib.RingTheory.DedekindDomain.SelmerGroup
0.2 0.0% 808.1 96.9% Mathlib.Analysis.SpecialFunctions.Complex.Arg
0.2 0.0% 808.3 97.0% Mathlib.CategoryTheory.Subobject.Limits
0.2 0.0% 808.4 97.0% Mathlib.Analysis.NormedSpace.Star.ContinuousFunctionalCalculus
0.2 0.0% 808.6 97.0% Mathlib.Tactic.NormNum.LegendreSymbol
0.2 0.0% 808.7 97.0% Mathlib.Topology.MetricSpace.EMetricSpace
0.2 0.0% 808.9 97.0% Mathlib.Analysis.Convex.SpecificFunctions.Basic
0.2 0.0% 809.0 97.0% Mathlib.RingTheory.DedekindDomain.Ideal
0.1 0.0% 809.2 97.1% Mathlib.Algebra.Module.PID
0.1 0.0% 809.3 97.1% Mathlib.Tactic.NormCast.Tactic
0.1 0.0% 809.5 97.1% Mathlib.RingTheory.Algebraic
0.1 0.0% 809.6 97.1% Mathlib.LinearAlgebra.Projection
0.1 0.0% 809.8 97.1% Mathlib.MeasureTheory.Function.SimpleFunc
0.1 0.0% 809.9 97.2% Mathlib.Algebra.Group.Defs
0.1 0.0% 810.0 97.2% Mathlib.Topology.Algebra.Monoid
0.1 0.0% 810.2 97.2% Mathlib.CategoryTheory.Preadditive.ProjectiveResolution
0.1 0.0% 810.3 97.2% Mathlib.NumberTheory.LegendreSymbol.JacobiSymbol
0.1 0.0% 810.5 97.2% Mathlib.AlgebraicTopology.DoldKan.NCompGamma
0.1 0.0% 810.6 97.2% Mathlib.GroupTheory.SpecificGroups.Cyclic
0.1 0.0% 810.8 97.3% Mathlib.NumberTheory.Pell
0.1 0.0% 810.9 97.3% Mathlib.Analysis.NormedSpace.FiniteDimension
0.1 0.0% 811.0 97.3% Mathlib.CategoryTheory.Limits.Preserves.Shapes.Pullbacks
0.1 0.0% 811.2 97.3% Mathlib.MeasureTheory.Integral.ExpDecay
0.1 0.0% 811.3 97.3% Mathlib.AlgebraicGeometry.OpenImmersion.Scheme
0.1 0.0% 811.4 97.3% Mathlib.Analysis.Convolution
0.1 0.0% 811.6 97.4% Mathlib.AlgebraicGeometry.EllipticCurve.Weierstrass
0.1 0.0% 811.7 97.4% Mathlib.CategoryTheory.Abelian.Homology
0.1 0.0% 811.8 97.4% Mathlib.MeasureTheory.Function.LpOrder
0.1 0.0% 812.0 97.4% Mathlib.RingTheory.WittVector.IsPoly
0.1 0.0% 812.1 97.4% Mathlib.LinearAlgebra.Quotient
0.1 0.0% 812.2 97.4% Mathlib.RingTheory.Ideal.LocalRing
0.1 0.0% 812.4 97.4% Mathlib.CategoryTheory.Yoneda
0.1 0.0% 812.5 97.5% Mathlib.Data.Polynomial.FieldDivision
0.1 0.0% 812.6 97.5% Mathlib.Topology.MetricSpace.IsometricSMul
0.1 0.0% 812.7 97.5% Mathlib.Algebra.Homology.HomotopyCategory
0.1 0.0% 812.9 97.5% Mathlib.Analysis.SpecialFunctions.Pow.Real
0.1 0.0% 813.0 97.5% Mathlib.MeasureTheory.Constructions.Pi
0.1 0.0% 813.1 97.5% Mathlib.RingTheory.HahnSeries
0.1 0.0% 813.2 97.6% Mathlib.RingTheory.Ideal.Norm
0.1 0.0% 813.4 97.6% Mathlib.LinearAlgebra.Matrix.Determinant
0.1 0.0% 813.5 97.6% Mathlib.RingTheory.WittVector.FrobeniusFractionField
0.1 0.0% 813.6 97.6% Mathlib.GroupTheory.QuotientGroup
0.1 0.0% 813.7 97.6% Mathlib.Logic.Equiv.Defs
0.1 0.0% 813.8 97.6% Mathlib.LinearAlgebra.FreeModule.Finite.Rank
0.1 0.0% 813.9 97.6% Mathlib.CategoryTheory.Functor.Currying
0.1 0.0% 814.0 97.6% Mathlib.Algebra.Module.Submodule.Basic
0.1 0.0% 814.2 97.7% Mathlib.AlgebraicTopology.ExtraDegeneracy
0.1 0.0% 814.3 97.7% Mathlib.RingTheory.Valuation.ValuationSubring
0.1 0.0% 814.4 97.7% Mathlib.AlgebraicTopology.SimplicialObject
0.1 0.0% 814.5 97.7% Mathlib.CategoryTheory.Limits.Comma
0.1 0.0% 814.6 97.7% Mathlib.RepresentationTheory.Invariants
0.1 0.0% 814.7 97.7% Mathlib.RingTheory.WittVector.InitTail
0.1 0.0% 814.8 97.7% Mathlib.Topology.Sheaves.LocalPredicate
0.1 0.0% 814.9 97.8% Mathlib.Algebra.GroupPower.Order
0.1 0.0% 815.0 97.8% Mathlib.Tactic.Abel
0.1 0.0% 815.1 97.8% Mathlib.Topology.Sheaves.SheafCondition.OpensLeCover
0.1 0.0% 815.2 97.8% Mathlib.RingTheory.JacobsonIdeal
0.1 0.0% 815.4 97.8% Mathlib.Order.Compare
0.1 0.0% 815.5 97.8% Mathlib.Analysis.SpecialFunctions.Pow.Complex
0.1 0.0% 815.6 97.8% Mathlib.Algebra.Category.FGModuleCat.Basic
0.1 0.0% 815.7 97.8% Mathlib.Data.Nat.Cast.Defs
0.1 0.0% 815.8 97.9% Mathlib.FieldTheory.Minpoly.Field
0.1 0.0% 815.9 97.9% Mathlib.MeasureTheory.Integral.MeanInequalities
0.1 0.0% 816.0 97.9% Mathlib.NumberTheory.LegendreSymbol.QuadraticReciprocity
0.1 0.0% 816.1 97.9% Mathlib.Algebra.Module.Submodule.Lattice
0.1 0.0% 816.2 97.9% Mathlib.FieldTheory.SplittingField.IsSplittingField
0.1 0.0% 816.3 97.9% Mathlib.RingTheory.Noetherian
0.1 0.0% 816.3 97.9% Mathlib.Analysis.SpecialFunctions.Trigonometric.Deriv
0.1 0.0% 816.4 97.9% Mathlib.RingTheory.Polynomial.Cyclotomic.Basic
0.1 0.0% 816.5 97.9% Mathlib.Geometry.Euclidean.MongePoint
0.1 0.0% 816.6 98.0% Mathlib.Topology.Sheaves.SheafCondition.UniqueGluing
0.1 0.0% 816.7 98.0% Mathlib.Order.Synonym
0.1 0.0% 816.8 98.0% Mathlib.GroupTheory.PGroup
0.1 0.0% 816.9 98.0% Mathlib.Topology.MetricSpace.Lipschitz
0.1 0.0% 817.0 98.0% Mathlib.Topology.Separation
0.1 0.0% 817.1 98.0% Mathlib.GroupTheory.Perm.Cycle.Basic
0.1 0.0% 817.2 98.0% Mathlib.Analysis.Calculus.MeanValue
0.1 0.0% 817.3 98.0% Mathlib.LinearAlgebra.Matrix.SesquilinearForm
0.1 0.0% 817.4 98.0% Mathlib.SetTheory.Cardinal.Basic
0.1 0.0% 817.5 98.1% Mathlib.MeasureTheory.Function.ConditionalExpectation.CondexpL2
0.1 0.0% 817.6 98.1% Mathlib.Data.Set.Finite
0.1 0.0% 817.6 98.1% Mathlib.NumberTheory.LegendreSymbol.QuadraticChar.GaussSum
0.1 0.0% 817.7 98.1% Mathlib.LinearAlgebra.Matrix.ToLin
0.1 0.0% 817.8 98.1% Mathlib.Topology.Instances.NNReal
0.1 0.0% 817.9 98.1% Mathlib.Tactic.NormNum.Core
0.1 0.0% 818.0 98.1% Mathlib.Data.Real.NNReal
0.1 0.0% 818.1 98.1% Mathlib.Geometry.Euclidean.Angle.Oriented.Basic
0.1 0.0% 818.2 98.1% Mathlib.Topology.Algebra.ConstMulAction
0.1 0.0% 818.2 98.2% Mathlib.RingTheory.WittVector.MulCoeff
0.1 0.0% 818.3 98.2% Mathlib.Geometry.Manifold.MFDeriv
0.1 0.0% 818.4 98.2% Mathlib.RepresentationTheory.FdRep
0.1 0.0% 818.5 98.2% Mathlib.LinearAlgebra.Matrix.BilinearForm
0.1 0.0% 818.6 98.2% Mathlib.AlgebraicGeometry.PresheafedSpace.Gluing
0.1 0.0% 818.6 98.2% Aesop.Search.Main
0.1 0.0% 818.7 98.2% Mathlib.RingTheory.RootsOfUnity.Basic
0.1 0.0% 818.8 98.2% Mathlib.RingTheory.Polynomial.Content
0.1 0.0% 818.9 98.2% Mathlib.RingTheory.WittVector.Basic
0.1 0.0% 819.0 98.2% Mathlib.LinearAlgebra.FreeModule.Norm
0.1 0.0% 819.0 98.2% Mathlib.Analysis.SpecialFunctions.Complex.Log
0.1 0.0% 819.1 98.3% Mathlib.MeasureTheory.Measure.Haar.OfBasis
0.1 0.0% 819.2 98.3% Mathlib.Analysis.Convex.Function
0.1 0.0% 819.3 98.3% Mathlib.Analysis.Complex.UpperHalfPlane.Metric
0.1 0.0% 819.3 98.3% Mathlib.CategoryTheory.Abelian.InjectiveResolution
0.1 0.0% 819.4 98.3% Mathlib.Data.Polynomial.AlgebraMap
0.1 0.0% 819.5 98.3% Mathlib.FieldTheory.Galois
0.1 0.0% 819.5 98.3% Mathlib.Topology.Algebra.InfiniteSum.Order
0.1 0.0% 819.6 98.3% Mathlib.AlgebraicTopology.CechNerve
0.1 0.0% 819.7 98.3% Mathlib.AlgebraicTopology.SimplexCategory
0.1 0.0% 819.8 98.3% Mathlib.Analysis.Complex.Polynomial
0.1 0.0% 819.8 98.3% Mathlib.CategoryTheory.Abelian.Pseudoelements
0.1 0.0% 819.9 98.4% Mathlib.LinearAlgebra.Matrix.Charpoly.LinearMap
0.1 0.0% 820.0 98.4% Mathlib.NumberTheory.DiophantineApproximation
0.1 0.0% 820.0 98.4% Mathlib.Topology.SubsetProperties
0.1 0.0% 820.1 98.4% Mathlib.LinearAlgebra.Matrix.Charpoly.Coeff
0.1 0.0% 820.2 98.4% Mathlib.RepresentationTheory.Character
0.1 0.0% 820.3 98.4% Mathlib.Data.Matrix.Basic
0.1 0.0% 820.3 98.4% Mathlib.LinearAlgebra.Span
0.1 0.0% 820.4 98.4% Mathlib.CategoryTheory.Subobject.FactorThru
0.1 0.0% 820.5 98.4% Mathlib.Analysis.BoxIntegral.Partition.Measure
0.1 0.0% 820.5 98.4% Mathlib.Geometry.Euclidean.Angle.Sphere
0.1 0.0% 820.6 98.4% Mathlib.GroupTheory.Torsion
0.1 0.0% 820.7 98.4% Mathlib.Geometry.Euclidean.Circumcenter
0.1 0.0% 820.7 98.4% Mathlib.Analysis.SpecialFunctions.Trigonometric.Arctan
0.1 0.0% 820.8 98.5% Mathlib.LinearAlgebra.Determinant
0.1 0.0% 820.8 98.5% Mathlib.Topology.ContinuousFunction.StoneWeierstrass
0.1 0.0% 820.9 98.5% Mathlib.Topology.Algebra.Module.FiniteDimension
0.1 0.0% 821.0 98.5% Mathlib.Data.Polynomial.Degree.Definitions
0.1 0.0% 821.0 98.5% Mathlib.LinearAlgebra.DirectSum.Finsupp
0.1 0.0% 821.1 98.5% Mathlib.CategoryTheory.Products.Basic
0.1 0.0% 821.2 98.5% Mathlib.Analysis.SpecialFunctions.Trigonometric.ArctanDeriv
0.1 0.0% 821.2 98.5% Mathlib.AlgebraicGeometry.ProjectiveSpectrum.Scheme
0.1 0.0% 821.3 98.5% Mathlib.Topology.Constructions
0.1 0.0% 821.4 98.5% Mathlib.Topology.Sheaves.Forget
0.1 0.0% 821.4 98.5% Mathlib.Dynamics.Circle.RotationNumber.TranslationNumber
0.1 0.0% 821.5 98.5% Mathlib.CategoryTheory.Linear.Yoneda
0.1 0.0% 821.5 98.5% Mathlib.Analysis.InnerProductSpace.TwoDim
0.1 0.0% 821.6 98.6% Mathlib.Topology.MetricSpace.Antilipschitz
0.1 0.0% 821.7 98.6% Mathlib.Probability.Process.Stopping
0.1 0.0% 821.7 98.6% Mathlib.Data.Rat.Cast
0.1 0.0% 821.8 98.6% Mathlib.Probability.Martingale.Basic
0.1 0.0% 821.8 98.6% Mathlib.RingTheory.WittVector.StructurePolynomial
0.1 0.0% 821.9 98.6% Mathlib.Analysis.SpecialFunctions.Trigonometric.Complex
0.1 0.0% 821.9 98.6% Mathlib.Algebra.Homology.QuasiIso
0.1 0.0% 822.0 98.6% Mathlib.LinearAlgebra.Matrix.SchurComplement
0.1 0.0% 822.1 98.6% Mathlib.Geometry.Euclidean.Angle.Oriented.RightAngle
0.1 0.0% 822.1 98.6% Mathlib.RingTheory.WittVector.DiscreteValuationRing
0.1 0.0% 822.2 98.6% Mathlib.RingTheory.Finiteness
0.1 0.0% 822.2 98.6% Mathlib.CategoryTheory.Preadditive.Yoneda.Basic
0.1 0.0% 822.3 98.6% Mathlib.RingTheory.Subring.Basic
0.1 0.0% 822.3 98.6% Mathlib.ModelTheory.Substructures
0.1 0.0% 822.4 98.6% Mathlib.RingTheory.Perfection
0.1 0.0% 822.4 98.7% Mathlib.LinearAlgebra.Alternating
0.1 0.0% 822.5 98.7% Mathlib.Topology.ContinuousFunction.Bounded
0.1 0.0% 822.5 98.7% Mathlib.LinearAlgebra.Matrix.Adjugate
0.1 0.0% 822.6 98.7% Mathlib.CategoryTheory.Abelian.Exact
0.1 0.0% 822.6 98.7% Mathlib.Analysis.Normed.Group.AddCircle
0.1 0.0% 822.7 98.7% Mathlib.LinearAlgebra.InvariantBasisNumber
0.1 0.0% 822.7 98.7% Mathlib.MeasureTheory.Group.Arithmetic
0.1 0.0% 822.8 98.7% Mathlib.Topology.Connected
0.1 0.0% 822.8 98.7% Mathlib.Data.Polynomial.Eval
0.0 0.0% 833.6 100.0% [total]
Simulated build times by processor count up optimal power of two
#CPUs time [s] CPU% [avg]
------- ------------ ------------
1 33985.794851 100%
2 17036.755438 199%
4 8577.111080 396%
8 4451.784165 763%
16 2730.543153 1245%
32 2281.906359 1489%
64 2278.399389 1492%
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment