arcsin(1/2) + 3/2 arccos(radical(2) / 2)

pasquale.clarizio