I have tried to solve a certain problem but I can't go on since

Maple can't do rational functions computation. 

questions.mw

I wanted to solve Wx1v for funcF1 but Maple couldn't. 

So I solved it manually. If I substitute F1 into Wx1v,

Maple should give 0. But it doesn't. Maple couldn't simplify

computations. Any help? Thanks!

I would like to solve x1v for funcF1(funcr(x),x)). I did similar computations before. 

I think Maple can deal with rational functions very well. It's having a trouble to

use the common denominator the simplify x1v. 

> denom(Wx1v);
                    2           2                            2
               -barv  + funca(x)  D(funcP)(funcr(x)) funcr(x) ...