Actually, it's an STM32F7 Discovery board, which does have Arduino headers, which has a 12-bit ADC, which is higher than Arduino. I believe it would be fast enough to measure the AC waveform, considering the microprocessor has more than 400 MIPs of performance.
Now, your equation. Shouldn't...