f9qMRIktzYLG's profile - activity

2021-02-03 15:20:19 +0200	received badge	● Student (source)
2021-01-28 13:41:43 +0200	received badge	● Notable Question (source)
2017-07-31 21:25:06 +0200	received badge	● Popular Question (source)
2015-07-24 14:35:00 +0200	asked a question	Can Sage verify (some) hyperbolic identities? If I enter `bool( cosh(x) == (exp(x)+exp(-x))/2 )`, the output is `False`. This happens with other hyperbolic identities. Is it possible to verify them in Sage? If so, what is the correct way?