(d/dt)(arccos(15/(30+0.4 t))) at t=0