AQA H7: Hyperbolic Identities