Require Export CoRN.reals.faster.ARArith.
Require Export CoRN.reals.faster.ARroot.
Require Export CoRN.reals.faster.ARexp.
Require Export CoRN.reals.faster.ARsin.
Require Export CoRN.reals.faster.ARcos.
Require Export CoRN.reals.faster.ARpi.
Require Export CoRN.reals.faster.ARarctan.
