pub fn fact_case(x: u64, p: u64, expr: &mut Option<Algexeno>) -> u64
Factorizes case.
Returns the reduced number of remaining factors.