Function exp_1725656503 

pub fn exp_1725656503<R: PrimeCharacteristicRing>(val: R) -> R

Compute the exponential x -> x^1725656503 using a custom addition chain.

This map computes the seventh root of x if x is a member of the field BabyBear. This follows from the computation: 7 * 1725656503 = 6*(2^31 - 2^27) + 1 = 1 mod (p - 1).