4849.sagews

f=sin(x)/(1+cos(x))

print f

sin(x)/(cos(x) + 1)

print  integrate(f, x).simplify_trig()

-log(cos(x) + 1)

var('x y z')
f= (1 + (y+x^2)^2 + (1+z+y^2)^2)^2
print f

((y^2 + z + 1)^2 + (x^2 + y)^2 + 1)^2

print integrate(f,x).simplify

<built-in method simplify of sage.symbolic.expression.Expression object at 0x5c97e60>

simplify?

File: /sagenb/sage_install/sage-5.0-boxen-x86_64-Linux/local/lib/python2.7/site-packages/sage/calculus/functional.py

Type: <type ‘function’>

Definition: simplify(f)

Docstring:

Simplify the expression $f$.

EXAMPLES: We simplify the expression $i + x - x$.

sage: f = I + x - x; simplify(f)
I

In fact, printing $f$ yields the same thing - i.e., the simplified form.