( dom sinh = REAL & dom cosh = REAL & dom tanh = REAL ) by FUNCT_2:def 1;