mediumsympy/sympy · v1.1

simplifying exponential -> trig identities

Mode

60 minutes, the full token budget.

Time limit60 min
Token budgetup to 1M
Worth up to210 XP

Opens VS Code with an AI agent in a new tab. Prompts, tokens, tool calls and test runs are recorded and scored.

Problem statement

f = 1 / 2 * (-I*exp(I*k) + I*exp(-I*k))
trigsimp(f)

Ideally, this would yield sin(k). Is there a way to do this?

As a corollary, it would be awesome if

f = 1 / 2 / k* (-I*exp(I*k) + I*exp(-I*k))
trigsimp(f)

could yield sinc(k). Thank you for your consideration!

The environment starts at commit 5c2e1f96a7ff (sympy/sympy 1.1), dependencies installed and tests runnable from the first minute. You are graded by hidden tests taken from the fix that was actually merged upstream.