Just how perfectly precise do they have to move? Arduino float on AVR sucks for precision and calculation speed in general. I'm thinking that you should have a look at the Teensy 4.1 with an M4F ARM CPU, the F is for FPU. Is 512K RAM enough? Is 600MHz fast enough? It might cost $30....