Solve f_{0}^sqrt{3}=arctanxdx

$$f _ { 0 } ^ { \sqrt { 3 } } = \arctan x d x$$

Solve for d

$$\left\{\begin{matrix}d=\frac{\tan(f_{0}^{\sqrt{3}})}{x^{2}}\text{, }&\left(f_{0}=0\text{ and }n_{1}\geq 0\text{ and }n_{2}\geq 0\text{ and }x\neq 0\right)\text{ or }\left(\nexists n_{2}\in \mathrm{Z}\text{ : }f_{0}=\left(\pi n_{2}+\frac{\pi }{2}\right)^{\frac{\sqrt{3}}{3}}\text{ and }x\neq 0\text{ and }f_{0}>0\text{ and }f_{0}^{\sqrt{3}}\leq \frac{\pi }{2}\right)\\d\in \mathrm{R}\text{, }&f_{0}\geq 0\text{ and }f_{0}^{\sqrt{3}}\leq \frac{\pi }{2}\text{ and }\nexists n_{1}\in \mathrm{Z}\text{ : }f_{0}=\left(\pi n_{1}+\frac{\pi }{2}\right)^{\frac{\sqrt{3}}{3}}\text{ and }\exists n_{3}\in \mathrm{Z}\text{ : }f_{0}=\left(\pi n_{3}\right)^{\frac{\sqrt{3}}{3}}\text{, }\left(\pi n_{3}\right)^{\frac{1}{3}\times 3^{\frac{1}{2}}}>0\text{ and }not(n_{3}<1)\text{ and }\left(n_{1}\geq 0\text{ or }f_{0}>0\right)\text{ and }x=0\end{matrix}\right.$$

Solve for f_0

$$f_{0}=\left(\arctan(dx^{2})\right)^{\frac{\sqrt{3}}{3}}$$

$$x=0\text{ or }d=0\text{ or }\arctan(dx^{2})>0$$