factor gets recursive flag

This is documented in the docstring with an example and is used
in subsequent commits.
remove some indeterminism from solve
update ode tests
make trig rewriting more robust in solve
use logcombine in _tsolve
2830: add more aggressive testing to checkodesol
wip