Remove Iv core Op in favor of Ive and add rewrite rule for log of it #1092
Description
Description
Similarly to how we approached Kv/Kve in #1081, we only need one core Op: Ive.
We should include the equivalent log(iv(x)) rewrite for stability, where iv is the expression based on ive returned by the helper.
The goal is to have one canonical form and reduce the number of Ops we need to test/support.