{"name":"GodelPlugin","parameters":{"input":"FullSimplify[Sin[2*Pi/3]]"}}<|FunctionExecuteEnd|><|FunctionExecuteResult|>Sqrt[3] / 2<|FunctionExecuteResultEnd|>\(\frac{\sqrt{3}}{2}\)