Primitive of x squared over a x + b squared/Proof 2