[quote=@Efficacy]
Proving twenty million trig identities in a row takes an awful long time.
[/quote]

Depends on what proves them.