(u: Expression, x: string)
| 3373 | * when cosine (with a linear argument) is the SOLE x-dependent trig head, map |
| 3374 | * every `cos[e+f·x] → sin[e+π/2+f·x]` so the integrand routes to the sine |
| 3375 | * chapter (Rubi has no Cosine chapter). Generalizes `unifyInertTrig`'s |
| 3376 | * base-only cos→sin to poly·cos products (`∫(c+d·x)^m·cos`, `∫cos/(c+d·x)^k`). |
| 3377 | * A strict no-op when any other inert trig head is present (mixed cross-pair, |
| 3378 | * handled by the two-factor clauses) or no linear-argument cosine appears. */ |
| 3379 | export function standaloneCosineShift( |
| 3380 | ce: ComputeEngine, |
| 3381 | e: Expression, |
| 3382 | x: string |
| 3383 | ): Expression { |
no test coverage detected