gr.group theory - solving equations in the braid group

This group is a central extension of $PSL_2mathbb{Z}$, which is a virtually free group. There is an algorithm to solve equations in such groups, and parameterize the solutions. Since your equation is degree zero in $a,b,x$, if the lift of the solution in $PSL_2mathbb{Z}$ to $B_3$ solves the equation for one lift, it should work for any other lift. I'm not quite sure though how to determine this uniformly over all lifts of the solution. The solutions are given by Makanin-Razborov diagrams, and they are parameterized by various automorphisms. So I think you just need to check one solution in each equivalence class coming from each orbit.