x = pi - 3
solve for x