expand 35/(1-sqrt15 y cot (sqrt15 y))