(2 * arccot(-e^x) + pi/2)'=cos(2 * arccot(-e^x) + pi/2)