Breaks down for complex parts with lots of repeated operations, suffers from floating point rounding errors. No constraint solver.

Usually when one needs constraints one can code it up as a recursive function.