-x12  == √40-x41