x∧3cos1 x