re(arcsin(10))