Mein Tip wäre ganz stark, das das ein PIC ist. Ein PIC mit 30 MHz ist halt mit einem AVR bei 8 MHz vergelichbar.
Die 32 Bit beziehen sich wohl auf das Fleißkommaformat, nicht auf den eigentlichen Prozessor.

Edit:
Von der Pinbelegung könnte das ein
dsPIC30F3012 sein. Damit wäre der Controller wirklich etwas schneller als ein AVR, aber nicht gerade viel. Das könnte auch erklären warum Arcsin usw. relativ schnell sind. Einen exp besonders langsam zu programmieren ist einfacher als einen genial schnellen Arcsinus.