casadi cost for arm-state doesn't match