Question 459352
solve it using universal simplifier and solver