2
atan(3*x) - x / 3 \
2 *|-2*x + --------|*log(2)
| 2|
\ 1 + 9*x /
$$2^{- x^{2} + \operatorname{atan}{\left(3 x \right)}} \left(- 2 x + \frac{3}{9 x^{2} + 1}\right) \log{\left(2 \right)}$$
2 / 2 \
- x + atan(3*x) | / 3 \ 54*x |
2 *|-2 + |- -------- + 2*x| *log(2) - -----------|*log(2)
| | 2 | 2|
| \ 1 + 9*x / / 2\ |
\ \1 + 9*x / /
$$2^{- x^{2} + \operatorname{atan}{\left(3 x \right)}} \left(\left(2 x - \frac{3}{9 x^{2} + 1}\right)^{2} \log{\left(2 \right)} - 2 - \frac{54 x}{\left(9 x^{2} + 1\right)^{2}}\right) \log{\left(2 \right)}$$
/ / 2 \ \
| | 36*x | |
| 54*|-1 + --------| |
2 | 3 | 2| |
- x + atan(3*x) | / 3 \ 2 \ 1 + 9*x / / 27*x \ / 3 \ |
2 *|- |- -------- + 2*x| *log (2) + ------------------ + 6*|1 + -----------|*|- -------- + 2*x|*log(2)|*log(2)
| | 2 | 2 | 2| | 2 | |
| \ 1 + 9*x / / 2\ | / 2\ | \ 1 + 9*x / |
\ \1 + 9*x / \ \1 + 9*x / / /
$$2^{- x^{2} + \operatorname{atan}{\left(3 x \right)}} \left(- \left(2 x - \frac{3}{9 x^{2} + 1}\right)^{3} \log{\left(2 \right)}^{2} + 6 \cdot \left(2 x - \frac{3}{9 x^{2} + 1}\right) \left(1 + \frac{27 x}{\left(9 x^{2} + 1\right)^{2}}\right) \log{\left(2 \right)} + \frac{54 \cdot \left(\frac{36 x^{2}}{9 x^{2} + 1} - 1\right)}{\left(9 x^{2} + 1\right)^{2}}\right) \log{\left(2 \right)}$$