Transforming arctan into arcsin

### 9.2.11 Transforming arctan into arcsin

The atan2asin command transforms any atans in an expression to asins, using the identity

arctan(x)=arcsin | ⎛ ⎜ ⎜ ⎜ ⎜ ⎝ |
x
√ |
1+x2
| ⎞ ⎟ ⎟ ⎟ ⎟ ⎠ | .

- atan2asin takes expr, an expression containing inverse trigonometric functions.
- atan2asin(expr) returns expr with any atans replaced by the appropriate asins.

#### Example

atan2asin(atan(x))

arcsin | ⎛ ⎜ ⎜ ⎜ ⎜ ⎝ |
x
√ |
1+x2
| ⎞ ⎟ ⎟ ⎟ ⎟ ⎠