Proving twenty million trig identities in a row takes an awful long time.