how would you simplify something like atan(2) - atan(0.5)??? do the same laws as logs apply?? thanks