First time here? Check out the FAQ!
answered 2017-09-12 17:03:58 +0100
But
sage: (eq.lhs()-eq.rhs()).log_expand() 0.0