Symbol: atanhi