- if (!(is_ex_exactly_of_type(e4,power) &&
- is_ex_exactly_of_type(e4.op(0),power) &&
- is_ex_exactly_of_type(e4.op(0).op(0),symbol) &&
- is_ex_exactly_of_type(e4.op(0).op(1),numeric) &&
- is_ex_exactly_of_type(e4.op(1),numeric) &&
+ if (!(is_exactly_a<power>(e4) &&
+ is_exactly_a<power>(e4.op(0)) &&
+ is_exactly_a<symbol>(e4.op(0).op(0)) &&
+ is_exactly_a<numeric>(e4.op(0).op(1)) &&
+ is_exactly_a<numeric>(e4.op(1)) &&