:: deftheorem defines tanh SIN_COS2:def 6 :
for d being object holds tanh d = tanh . d;