[math-fun] the Inverse Symbolic Calculator