fact: Definition taylor_series_1pxpow_for_pow (exp : Q) := Eval cbn [taylor_series_1pxpow fact N.mul N.of_nat Pos.of_succ_nat Pos.succ Pos.mul Pos.add Z.of_nat] in taylor_series_1pxpow exp 5.
imports: Coq.Strings.String Coq.Structures.Orders Coq.micromega.Lia Coq.Bool.Bool Coq.Sorting.Mergesort Coq.QArith.QArith Coq.QArith.Qround Coq.QArith.Qabs Coq.QArith.Qminmax Coq.NArith.NArith Coq.ZArith.ZArith Coq.Arith.Arith Coq.Lists.List PerformanceExperiments.LetIn