If trigsubs is called with expr as the first argument the options as follows can be specified:

annotate

When the option annotate is specified trigsubs returns a list with each element labeled with its corresponding trigonometric identity.

trigidentity = string or list of strings

The option trigidentity is specified as either a string of a trigonometric identity or a list of strings of trigonometric identities. When one trigonometric identity is specified trigsubs returns a list of an expression where the specified trigonometric identity has been subbed for all terms where that trigonometric identity exists. If there are multiple trigonometric identities assigned to the same name trigsubs returns a list where there is a separate expression for each trigonometric identity assigned to the trigidentity name of each term the trigonometric identity is applicable to. When of list of strings of trigonometric identities is specified for trigidentity, trigsubs returns a list of expressions where each expression has its terms substituted for the specified trigonometric identity with same behavior as when one trigonometric identity is specified, separately. If trigsubs does not know a trigonometric identity for any terms in expr of the specified trigonometric identity, expr is returned unchanged in a list.

subinert

When the option subinert is specified trigsubs performs the substitution in inert form to prevent automatic simplification by Maple.

The function trigsubs manages a table of valid trigonometric identities.

If trigsubs is called with the single argument $0$, it returns a set of functions known to the procedure.

If trigsubs is called with a single trigonometric expression expr, it returns a list of trigonometric expressions equal to expr.

If trigsubs is called with a single equation s which represents a trigonometric identity, it returns `found` if this identity belongs to the table, and `not found` otherwise.

If trigsubs is called with two arguments, it checks whether the identity s belongs to the table or not.  In the former case, the function applies this identity to expr and returns the result.  In the latter case, the function returns an error message.

For substitution of identities not known to this procedure, use subs.

$\mathrm{trigsubs}\left(0\right)$

$\left\{\cos \,\cosh \,\cot \,\coth \,\csc \,\mathrm{csch}\,\exp \,\sec \,\mathrm{sech}\,\sin \,\sinh \,\tan \,\tanh \right\}$

$\mathrm{trigsubs}\left(\cos \left(a+bw\right)\right)$

$\left[\cos \left(-bw-a\right)\,1-2{\sin \left(\frac{bw}{2}+\frac{a}{2}\right)}^2\,{\cos \left(\frac{bw}{2}+\frac{a}{2}\right)}^2-{\sin \left(\frac{bw}{2}+\frac{a}{2}\right)}^2\,\frac{1}{\sec \left(bw+a\right)}\,\frac{1-{\tan \left(\frac{bw}{2}+\frac{a}{2}\right)}^2}{1+{\tan \left(\frac{bw}{2}+\frac{a}{2}\right)}^2}\,\frac{{\ⅇ}^{\mathrm{I}\left(bw+a\right)}}{2}+\frac{{\ⅇ}^{\mathrm{-I}\left(bw+a\right)}}{2}\,\cos \left(bw\right)\cos \left(a\right)-\sin \left(bw\right)\sin \left(a\right)\right]$

$\mathrm{trigsubs}\left(\cos \left(w\right)=\sin \left(w\right)\right)$

$\mathrm{not\; found}$

$\mathrm{trigsubs}\left(\cos \left(w\right)=\sin \left(w\right)\,1\right)$

Error, (in trigsubs) not found in table - use subs to override

$\mathrm{trigsubs}\left(\sin \left(2z\right)=2\cos \left(z\right)\sin \left(z\right)\,\sin \left(2z\right)\cos \left(z\right)\right)$

$2{\cos \left(z\right)}^2\sin \left(z\right)$

$\mathrm{trigsubs}\left(\sin \left(x\right)\,\mathrm{annotate}\right)$

$\left[''Odd\; Function''=-\sin \left(-x\right)\,''Double\; Angle''=2\sin \left(\frac{x}{2}\right)\cos \left(\frac{x}{2}\right)\,''Reciprocal\; Function''=\frac{1}{\csc \left(x\right)}\,''Weierstrass''=\frac{2\tan \left(\frac{x}{2}\right)}{1+{\tan \left(\frac{x}{2}\right)}^2}\,''Euler''=-\frac{\mathrm{I}}{2}\left({\ⅇ}^{\mathrm{I}x}-{\ⅇ}^{\mathrm{-I}x}\right)\right]$

$\mathrm{trigsubs}\left({\sin \left(x\right)}^2+{\cos \left(x\right)}^2-\cot \left(x\right)\,\mathrm{trigidentity}=''Pythagoras''\right)$

$\left[1-\cot \left(x\right)\right]$

$\mathrm{trigsubs}\left({\sin \left(x\right)}^2+{\cos \left(x\right)}^2-\cot \left(x\right)+3\,\mathrm{trigidentity}=''Pythagoras''\,\mathrm{annotate}\right)$

$\left[''Pythagoras''=4-\cot \left(x\right)\right]$

$\mathrm{trigsubs}\left({\sin \left(x\right)}^2+{\cos \left(x\right)}^2-\cot \left(x\right)+3\,\mathrm{trigidentity}=''Pythagoras''\,\mathrm{annotate}\,\mathrm{subinert}\right)$

$\left[''Pythagoras''=1+\left(\left(\mathrm{-1}\right)\ast \cot \left(x\right)+3\right)\right]$

$\mathrm{trigsubs}\left(\sin \left(x\right)-\cos \left(x\right)\,\mathrm{trigidentity}=\left[''Difference''\,''Odd\; Function''\right]\,\mathrm{annotate}\right)$

$\left[''Difference''=\sqrt{2}\sin \left(x-\frac{\mathrm{\pi }}{4}\right)\,''Difference''=-\sqrt{2}\cos \left(x+\frac{\mathrm{\pi }}{4}\right)\,''Odd\; Function''=-\sin \left(-x\right)-\cos \left(x\right)\right]$

$\mathrm{trigsubs}\left(\cos \left(x\right)\,\mathrm{trigidentity}=''Even\; Function''\,\mathrm{annotate}\right)$

$\left[''Even\; Function''=\cos \left(-x\right)\right]$

The trigsubs command was updated in Maple 2022.

The subinert option was introduced in Maple 2022.

For more information on Maple 2022 changes, see Updates in Maple 2022.