Primitive of Cube of Tangent of a x/Proof 1