(:= (dot p x1x1) (+ (dot erty d1d1d1) (dot eeet a)))