Regiomontanus'_angle_maximization_problem loading ...