Integrale mit inversen Hyperbelfunktion, Nr. 512 bis 515