Transforming arccos into arctan

### 9.2.8 Transforming arccos into arctan

The acos2atan command transforms any acoss in an expression to atans, using the identity

arccos(x)= |
π
2
| −arctan | ⎛ ⎜ ⎜ ⎜ ⎜ ⎝ |
x
√ |
1−x2
| ⎞ ⎟ ⎟ ⎟ ⎟ ⎠ | .

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

#### Example

acos2atan(acos(x))

π
2
| −arctan | ⎛ ⎜ ⎜ ⎜ ⎜ ⎝ |
x
√ |
1−x2
| ⎞ ⎟ ⎟ ⎟ ⎟ ⎠