detect arithm

avoid posting tiny sum or scalar constraints
fast element

to bench