Solve cos x = 0.45 over the domain 0<x<2pi ?