PiecewiseExpand

PiecewiseExpand[expr]
expands nested piecewise functions in expr to give a single piecewise function.

PiecewiseExpand[expr, assum]
expands piecewise functions using assumptions.

PiecewiseExpand[expr, assum, dom]
does the expansion over the domain dom.

The result from PiecewiseExpand[expr] is normally Piecewise[{e₁, e₂, ...}] where none of the e_i contain Piecewise.

PiecewiseExpand[expr, assum, dom] assumes that both the input and output of every function appearing in expr are in the domain dom.

PiecewiseExpand attempts to simplify combinations of conditions that appear in Piecewise.

	Assumptions	$Assumptions	default assumptions to append to assum
	TimeConstraint	30	for how many seconds to try simplifying each set of conditions

Expand a nested piecewise expression to a single piecewise function:

Convert a composition of special piecewise functions to a single Piecewise object: