integral from 0 to x of tan((pi/4)(e^-t)) dt