### translation errors from fricas to sage

~~Sorry that I do not know if these are known issues or not. Thought to report them. If there are known, feel free to close this.~~reported at https://trac.sagemath.org/ticket/25628

Using Sage `version 8.3.beta6`

This one seems to be that there is no translation from fricas to sage. Is this due to the `atan`

?

```
sage: var('x a')
sage: integrate(1/(1+a*cos(x)),x,algorithm="fricas")
NotImplementedError: The translation of the FriCAS Expression "atan(((cos(x)+a)*((-1)*a^2+1)^(1/2))/((a^2+(-1))*sin(x)))/(((-1)*a^2+1)^(1/2)) to sage is not yet implemented.
```

And this one

```
sage: var('x a b')
sage: anti=integrate(1/(b*x^2+a),x,algorithm="fricas")
NotImplementedError: The translation of the FriCAS Expression "log(((b*x^2+(-1)*a)*((-1)*a*b)^(1/2)+2*a*b*x)/(b*x^2+a))/(2*((-1)*a*b)^(1/2)) to sage is not yet implemented.
```