[spec] derivative of [sin|cos|tan]^-1