S
pecial_
F
unction_
B
ounds
Bounds_Lemmas
Atan_CF_Bounds
Exp_Bounds
Log_CF_Bounds
Sin_Cos_Bounds
Sqrt_Bounds