Tries to fix the number of counter operations by count_operations. Previously, counter computations with integer constants like +1 would be counted as real, because a evalf would make it a +1.0.
Additionally address computations with pointers of real* type would be counted as real too.
Also, x^-1/2 is counted as both a square root and a division.
Markus Holzer authored