vereinfachen 1/(tan(\frac{7pi){2}-x)}