[SimplifyLibCalls] New transformation: tan(atan(x)) -> x