(************** Content-type: application/mathematica ************** CreatedBy='Mathematica 5.0' Mathematica-Compatible Notebook This notebook can be used with any Mathematica-compatible application, such as Mathematica, MathReader or Publicon. The data for the notebook starts with the line containing stars above. To get the notebook into a Mathematica-compatible application, do one of the following: * Save the data starting with the line of stars above into a file with a name ending in .nb, then open the file inside the application; * Copy the data starting with the line of stars above to the clipboard, then use the Paste menu command inside the application. Data for notebooks contains only printable 7-bit ASCII and can be sent directly in email or through ftp in text mode. Newlines can be CR, LF or CRLF (Unix, Macintosh or MS-DOS style). NOTE: If you modify the data for this notebook not in a Mathematica- compatible application, you must delete the line below containing the word CacheID, otherwise Mathematica-compatible applications may try to use invalid cache data. For more information on notebooks and Mathematica-compatible applications, contact Wolfram Research: web: http://www.wolfram.com email: info@wolfram.com phone: +1-217-398-0700 (U.S.) Notebook reader applications are available free of charge from Wolfram Research. *******************************************************************) (*CacheID: 232*) (*NotebookFileLineBreakTest NotebookFileLineBreakTest*) (*NotebookOptionsPosition[ 185846, 4326]*) (*NotebookOutlinePosition[ 186529, 4350]*) (* CellTagsIndexPosition[ 186485, 4346]*) (*WindowFrame->Normal*) Notebook[{ Cell[CellGroupData[{ Cell["Looking into the structure of a formula", "Subtitle"], Cell["\<\ Ivan Cnop icnop@vub.ac.be\ \>", "Subsubtitle"], Cell[CellGroupData[{ Cell["Introduction: ", "Section"], Cell[TextData[{ "Each ", StyleBox["Mathematica", FontSlant->"Italic"], " object is a mathematical expression and every detail of it can be \ modified. \nWe will use this fact to color the structure of formulas. \nWe \ will obtain a reversed palette structure: it will be obvious how palette \ buttons are nested to obtain a complcated expression." }], "Text"], Cell[CellGroupData[{ Cell[TextData[{ "Programming is given in ", StyleBox["Mathematica", FontSlant->"Italic"], " demo's :" }], "Subsection"], Cell[BoxData[ \(TransformBrackets[f_, expr_] := DisplayForm[FindBrackets[ToBoxes[expr], f]]\)], "Input", InitializationCell->True], Cell[BoxData[ \(FindBrackets[startexpr_, f_] := \n\t Fold[Function[{expr, \ location}, \n\t\tReplacePart[expr, f[expr\[LeftDoubleBracket]Sequence\ @@ \ location\[RightDoubleBracket], Length[location]], location]], startexpr, \n\t\tSort[ Position[startexpr, \ RowBox[{a___, "\<{\>"\ | \ "\<[\>"\ | \ "\<(\>", \ b__, \ "\<]\>"\ | \ "\<}\>"\ | \ "\<)\>", \ c___}]], \ Length[#1]\ > \ Length[#2] &]]\)], "Input", InitializationCell->True], Cell[BoxData[ \(ColorBrackets[expr_] := TransformBrackets[ StyleBox[ AdjustmentBox[#1, BoxMargins \[Rule] {{0, 0}, { .5, .5}}], \ Background \[Rule] Hue[Mod[N[#2/12], 1], .5]] &, expr]\)], "Input", InitializationCell->True], Cell["\<\ Remark: modifications to these programming lines are not \ recommended \ \>", "Text", FontWeight->"Bold"] }, Closed]] }, Open ]], Cell[CellGroupData[{ Cell["Structure of formulas ", "Section"], Cell[CellGroupData[{ Cell["Nesting", "Subsection"], Cell[BoxData[ \(Clear[f]\)], "Input"], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[NestList[f, x, 7]]\)], "Input"], Cell[BoxData[ TagBox[ RowBox[{"{", RowBox[{"x", ",", StyleBox[ AdjustmentBox[\(f[x]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]], ",", StyleBox[ AdjustmentBox[ RowBox[{"f", "[", StyleBox[ AdjustmentBox[\(f[x]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]], ",", StyleBox[ AdjustmentBox[ RowBox[{"f", "[", StyleBox[ AdjustmentBox[ RowBox[{"f", "[", StyleBox[ AdjustmentBox[\(f[x]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 0.500008, 1]], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]], ",", StyleBox[ AdjustmentBox[ RowBox[{"f", "[", StyleBox[ AdjustmentBox[ RowBox[{"f", "[", StyleBox[ AdjustmentBox[ RowBox[{"f", "[", StyleBox[ AdjustmentBox[\(f[x]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 0.500008, 1]], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]], ",", StyleBox[ AdjustmentBox[ RowBox[{"f", "[", StyleBox[ AdjustmentBox[ RowBox[{"f", "[", StyleBox[ AdjustmentBox[ RowBox[{"f", "[", StyleBox[ AdjustmentBox[ RowBox[{"f", "[", StyleBox[ AdjustmentBox[\(f[x]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 0.500008]], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 0.500008, 1]], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]], ",", StyleBox[ AdjustmentBox[ RowBox[{"f", "[", StyleBox[ AdjustmentBox[ RowBox[{"f", "[", StyleBox[ AdjustmentBox[ RowBox[{"f", "[", StyleBox[ AdjustmentBox[ RowBox[{"f", "[", StyleBox[ AdjustmentBox[ RowBox[{"f", "[", StyleBox[ AdjustmentBox[\(f[x]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 0.500008]], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 0.500008, 1]], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]], ",", StyleBox[ AdjustmentBox[ RowBox[{"f", "[", StyleBox[ AdjustmentBox[ RowBox[{"f", "[", StyleBox[ AdjustmentBox[ RowBox[{"f", "[", StyleBox[ AdjustmentBox[ RowBox[{"f", "[", StyleBox[ AdjustmentBox[ RowBox[{"f", "[", StyleBox[ AdjustmentBox[ RowBox[{"f", "[", StyleBox[ AdjustmentBox[\(f[x]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 0.500008]], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 0.500008, 1]], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]}], "}"}], DisplayForm]], "Output"] }, Closed]], Cell["Atoms are never colored:", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[2]\)], "Input"], Cell[BoxData[ TagBox["\<\"2\"\>", DisplayForm]], "Output"] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell["Powers and fractions", "Subsection"], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[x\^2]\)], "Input"], Cell[BoxData[ TagBox[\(x\^2\), DisplayForm]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[FullForm[x\^2]]\)], "Input"], Cell[BoxData[ TagBox[ TagBox[ StyleBox[ AdjustmentBox[\(Power[x, 2]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], ShowSpecialCharacters->False, ShowStringCharacters->True, NumberMarks->True, Background->RGBColor[1, 1, 0.500008]], FullForm], DisplayForm]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[Factor[\((1 + a\/2)\)\^6 - 1]] // TraditionalForm\)], "Input"], Cell[BoxData[ FormBox[ TagBox[ RowBox[{\(1\/64\), " ", "a", " ", StyleBox[ AdjustmentBox[\((4 + a)\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]], " ", StyleBox[ AdjustmentBox[\((4 + 2\ a + a\^2)\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]], " ", StyleBox[ AdjustmentBox[\((12 + 6\ a + a\^2)\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]]}], DisplayForm], TraditionalForm]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(Expand[\((1 + \@b)\)\^6] // TraditionalForm\)], "Input"], Cell[BoxData[ \(TraditionalForm\`b\^3 + 6\ b\^\(5/2\) + 15\ b\^2 + 20\ b\^\(3/2\) + 15\ b + 6\ \@b + 1\)], "Output"] }, Closed]], Cell["A TraditionalForm expression is usually treated as an atom", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[%]\)], "Input"], Cell[BoxData[ TagBox[\(1 + 6\ \@b + 15\ b + 20\ b\^\(3/2\) + 15\ b\^2 + 6\ b\^\(5/2\) + b\^3\), DisplayForm]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[\((1 + \@b)\)\^6]\)], "Input"], Cell[BoxData[ TagBox[ SuperscriptBox[ StyleBox[ AdjustmentBox[\((1 + \@b)\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.749996, 0.500008]], "6"], DisplayForm]], "Output"] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell["The internal representation gives the full structure:", "Subsection"], Cell[CellGroupData[{ Cell["Internal representation", "Subsubsection"], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[TreeForm[Expand[\((1 + \@b)\)\^6]]]\)], "Input"], Cell[BoxData[ TagBox[ InterpretationBox[ StyleBox[ AdjustmentBox[ RowBox[{"\<\"Plus\"\>", "[", RowBox[{"1", ",", InterpretationBox[GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Times\"\>", "[", RowBox[{"6", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Power\"\>", "[", RowBox[{"b", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("Rational"[1, 2]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 0.749996]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ColumnForm[ {"|", "Times"[ 6, ColumnForm[ {"|", "Power"[ b, ColumnForm[ {"|", "Rational"[ 1, 2]}]]}]]}], Editable->False], ",", InterpretationBox[GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("Times"[15, b]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ColumnForm[ {"|", "Times"[ 15, b]}], Editable->False], ",", InterpretationBox[GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Times\"\>", "[", RowBox[{"20", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Power\"\>", "[", RowBox[{"b", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("Rational"[3, 2]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 0.749996]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ColumnForm[ {"|", "Times"[ 20, ColumnForm[ {"|", "Power"[ b, ColumnForm[ {"|", "Rational"[ 3, 2]}]]}]]}], Editable->False], ",", InterpretationBox[GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Times\"\>", "[", RowBox[{"15", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("Power"[b, 2]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ColumnForm[ {"|", "Times"[ 15, ColumnForm[ {"|", "Power"[ b, 2]}]]}], Editable->False], ",", InterpretationBox[GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Times\"\>", "[", RowBox[{"6", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Power\"\>", "[", RowBox[{"b", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("Rational"[5, 2]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 0.749996]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ColumnForm[ {"|", "Times"[ 6, ColumnForm[ {"|", "Power"[ b, ColumnForm[ {"|", "Rational"[ 5, 2]}]]}]]}], Editable->False], ",", InterpretationBox[GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("Power"[b, 3]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ColumnForm[ {"|", "Power"[ b, 3]}], Editable->False]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.749996, 0.500008]], TreeForm[ Plus[ 1, Times[ 6, Power[ b, Rational[ 1, 2]]], Times[ 15, b], Times[ 20, Power[ b, Rational[ 3, 2]]], Times[ 15, Power[ b, 2]], Times[ 6, Power[ b, Rational[ 5, 2]]], Power[ b, 3]]], Editable->False], DisplayForm]], "Output"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell["Brackets inside powers are always colored:", "Subsubsection"], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[TraditionalForm[\((1 + \@\(1 + b\))\)\^6]]\)], "Input"], Cell[BoxData[ TagBox[ TagBox[ FormBox[ SuperscriptBox[ StyleBox[ AdjustmentBox[\((\@\(b + 1\) + 1)\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 1, 0.500008]], "6"], "TraditionalForm"], TraditionalForm, Editable->True], DisplayForm]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[ TraditionalForm[\((\((1 + \@\(1 + b\))\)\^6 + 1)\)\^2]]\)], "Input"], Cell[BoxData[ TagBox[ TagBox[ FormBox[ SuperscriptBox[ StyleBox[ AdjustmentBox[ RowBox[{"(", RowBox[{ SuperscriptBox[ StyleBox[ AdjustmentBox[\((\@\(b + 1\) + 1)\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 0.500008, 1]], "6"], "+", "1"}], ")"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 1, 0.500008]], "2"], "TraditionalForm"], TraditionalForm, Editable->True], DisplayForm]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[ TraditionalForm[\((\((1/\@\(1 + b\))\)\^5 + 1)\)\^2]]\)], "Input"], Cell[BoxData[ TagBox[ TagBox[ FormBox[ SuperscriptBox[ StyleBox[ AdjustmentBox[ RowBox[{"(", RowBox[{"1", "+", FractionBox["1", SuperscriptBox[ StyleBox[ AdjustmentBox[\((b + 1)\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]], \(5/ 2\)]]}], ")"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 1, 0.500008]], "2"], "TraditionalForm"], TraditionalForm, Editable->True], DisplayForm]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(TraditionalForm[\((1/\((1 + \((1 + b)\)\^2)\)\^5 + 1)\)\^2]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`\((1 + 1\/\((\((b + 1)\)\^2 + 1)\)\^5)\)\^2\)], \ "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[%]\)], "Input"], Cell[BoxData[ TagBox[ SuperscriptBox[ StyleBox[ AdjustmentBox[ RowBox[{"(", RowBox[{"1", "+", FractionBox["1", SuperscriptBox[ StyleBox[ AdjustmentBox[ RowBox[{"(", RowBox[{"1", "+", SuperscriptBox[ StyleBox[ AdjustmentBox[\((1 + b)\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 0.500008]], "2"]}], ")"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 0.749996, 1]], "5"]]}], ")"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.749996, 0.500008]], "2"], DisplayForm]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[FullForm[\((1 + \@\(1 + b\))\)\^6]]\)], "Input"], Cell[BoxData[ TagBox[ TagBox[ StyleBox[ AdjustmentBox[ RowBox[{"Power", "[", RowBox[{ StyleBox[ AdjustmentBox[ RowBox[{"Plus", "[", RowBox[{"1", ",", StyleBox[ AdjustmentBox[ RowBox[{"Power", "[", RowBox[{ StyleBox[ AdjustmentBox[\(Plus[1, b]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]], ",", StyleBox[ AdjustmentBox[\(Rational[1, 2]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]], ",", "6"}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], ShowSpecialCharacters->False, ShowStringCharacters->True, NumberMarks->True, Background->RGBColor[1, 1, 0.500008]], FullForm], DisplayForm]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[TreeForm[\((1 + \@\(1 + b\))\)\^6]]\)], "Input"], Cell[BoxData[ TagBox[ InterpretationBox[ StyleBox[ AdjustmentBox[ RowBox[{"\<\"Power\"\>", "[", RowBox[{ InterpretationBox[GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Plus\"\>", "[", RowBox[{"1", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Power\"\>", "[", RowBox[{GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("Plus"[1, b]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 0.749996]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("Rational"[1, 2]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 0.749996]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ColumnForm[ {"|", "Plus"[ 1, ColumnForm[ {"|", "Power"[ ColumnForm[ {"|", "Plus"[ 1, b]}], ColumnForm[ {"|", "Rational"[ 1, 2]}]]}]]}], Editable->False], ",", "6"}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.749996, 0.500008]], TreeForm[ Power[ Plus[ 1, Power[ Plus[ 1, b], Rational[ 1, 2]]], 6]], Editable->False], DisplayForm]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[ TraditionalForm[\((x\^6 - 1)\)/\((1 + a)\)\^6]]\)], "Input"], Cell[BoxData[ TagBox[ TagBox[ FormBox[ FractionBox[\(x\^6 - 1\), SuperscriptBox[ StyleBox[ AdjustmentBox[\((a + 1)\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]], "6"]], "TraditionalForm"], TraditionalForm, Editable->True], DisplayForm]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[ TraditionalForm[\((x - 1)\)\^6/\((1 + a)\)\^6]]\)], "Input"], Cell[BoxData[ TagBox[ TagBox[ FormBox[ FractionBox[ SuperscriptBox[ StyleBox[ AdjustmentBox[\((x - 1)\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]], "6"], SuperscriptBox[ StyleBox[ AdjustmentBox[\((a + 1)\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]], "6"]], "TraditionalForm"], TraditionalForm, Editable->True], DisplayForm]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(Factor[x\^6 - 1] // TraditionalForm\)], "Input"], Cell[BoxData[ \(TraditionalForm\`\((x - 1)\)\ \((x + 1)\)\ \((x\^2 - x + 1)\)\ \((x\^2 + x + 1)\)\)], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[%]\)], "Input"], Cell[BoxData[ TagBox[ RowBox[{ StyleBox[ AdjustmentBox[\((\(-1\) + x)\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]], " ", StyleBox[ AdjustmentBox[\((1 + x)\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]], " ", StyleBox[ AdjustmentBox[\((1 - x + x\^2)\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]], " ", StyleBox[ AdjustmentBox[\((1 + x + x\^2)\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]]}], DisplayForm]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[FullForm[Factor[x\^6 - 1]]]\)], "Input"], Cell[BoxData[ TagBox[ TagBox[ StyleBox[ AdjustmentBox[ RowBox[{"Times", "[", RowBox[{ StyleBox[ AdjustmentBox[\(Plus[\(-1\), x]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]], ",", StyleBox[ AdjustmentBox[\(Plus[1, x]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]], ",", StyleBox[ AdjustmentBox[ RowBox[{"Plus", "[", RowBox[{"1", ",", StyleBox[ AdjustmentBox[\(Times[\(-1\), x]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]], ",", StyleBox[ AdjustmentBox[\(Power[x, 2]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]], ",", StyleBox[ AdjustmentBox[ RowBox[{"Plus", "[", RowBox[{"1", ",", "x", ",", StyleBox[ AdjustmentBox[\(Power[x, 2]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], ShowSpecialCharacters->False, ShowStringCharacters->True, NumberMarks->True, Background->RGBColor[1, 1, 0.500008]], FullForm], DisplayForm]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[TreeForm[Factor[x\^6 - 1]]]\)], "Input"], Cell[BoxData[ TagBox[ InterpretationBox[ StyleBox[ AdjustmentBox[ RowBox[{"\<\"Times\"\>", "[", RowBox[{ InterpretationBox[GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("Plus"[\(-1\), x]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ColumnForm[ {"|", "Plus"[ -1, x]}], Editable->False], ",", InterpretationBox[GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("Plus"[1, x]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ColumnForm[ {"|", "Plus"[ 1, x]}], Editable->False], ",", InterpretationBox[GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Plus\"\>", "[", RowBox[{"1", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("Times"[\(-1\), x]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("Power"[x, 2]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ColumnForm[ {"|", "Plus"[ 1, ColumnForm[ {"|", "Times"[ -1, x]}], ColumnForm[ {"|", "Power"[ x, 2]}]]}], Editable->False], ",", InterpretationBox[GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Plus\"\>", "[", RowBox[{"1", ",", "x", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("Power"[x, 2]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ColumnForm[ {"|", "Plus"[ 1, x, ColumnForm[ {"|", "Power"[ x, 2]}]]}], Editable->False]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.749996, 0.500008]], TreeForm[ Times[ Plus[ -1, x], Plus[ 1, x], Plus[ 1, Times[ -1, x], Power[ x, 2]], Plus[ 1, x, Power[ x, 2]]]], Editable->False], DisplayForm]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(Nest[1/\((1 + #)\) &, x, 5]\)], "Input"], Cell[BoxData[ \(1\/\(1 + 1\/\(1 + 1\/\(1 + 1\/\(1 + 1\/\(1 + x\)\)\)\)\)\)], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[FullForm[%]]\)], "Input"], Cell[BoxData[ TagBox[ TagBox[ StyleBox[ AdjustmentBox[ RowBox[{"Power", "[", RowBox[{ StyleBox[ AdjustmentBox[ RowBox[{"Plus", "[", RowBox[{"1", ",", StyleBox[ AdjustmentBox[ RowBox[{"Power", "[", RowBox[{ StyleBox[ AdjustmentBox[ RowBox[{"Plus", "[", RowBox[{"1", ",", StyleBox[ AdjustmentBox[ RowBox[{"Power", "[", RowBox[{ StyleBox[ AdjustmentBox[ RowBox[{"Plus", "[", RowBox[{"1", ",", StyleBox[ AdjustmentBox[ RowBox[{"Power", "[", RowBox[{ StyleBox[ AdjustmentBox[ RowBox[{"Plus", "[", RowBox[{"1", ",", StyleBox[ AdjustmentBox[ RowBox[{"Power", "[", RowBox[{ StyleBox[ AdjustmentBox[\(Plus[1, x]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]], ",", \(-1\)}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]], ",", \(-1\)}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]], ",", \(-1\)}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]], ",", \(-1\)}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]], ",", \(-1\)}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], ShowSpecialCharacters->False, ShowStringCharacters->True, NumberMarks->True, Background->RGBColor[1, 1, 0.500008]], FullForm], DisplayForm]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[TreeForm[%]]\)], "Input"], Cell[BoxData[ TagBox[ InterpretationBox[ StyleBox[ AdjustmentBox[ RowBox[{"\<\"Power\"\>", "[", RowBox[{ InterpretationBox[GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Plus\"\>", "[", RowBox[{"1", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Power\"\>", "[", RowBox[{GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Plus\"\>", "[", RowBox[{"1", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Power\"\>", "[", RowBox[{GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Plus\"\>", "[", RowBox[{"1", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Power\"\>", "[", RowBox[{GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Plus\"\>", "[", RowBox[{"1", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Power\"\>", "[", RowBox[{GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("Plus"[1, x]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.749996]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", \(-1\)}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", \(-1\)}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.749996, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", \(-1\)}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 0.749996]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", \(-1\)}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ColumnForm[ {"|", "Plus"[ 1, ColumnForm[ {"|", "Power"[ ColumnForm[ {"|", "Plus"[ 1, ColumnForm[ {"|", "Power"[ ColumnForm[ {"|", "Plus"[ 1, ColumnForm[ {"|", "Power"[ ColumnForm[ {"|", "Plus"[ 1, ColumnForm[ {"|", "Power"[ ColumnForm[ {"|", "Plus"[ 1, x]}], -1]}]]}], -1]}]]}], \ -1]}]]}], -1]}]]}], Editable->False], ",", \(-1\)}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.749996, 0.500008]], TreeForm[ Power[ Plus[ 1, Power[ Plus[ 1, Power[ Plus[ 1, Power[ Plus[ 1, Power[ Plus[ 1, x], -1]], -1]], -1]], -1]], -1]], Editable->False], DisplayForm]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(Nest[1 + \@# &, x, 5]\)], "Input"], Cell[BoxData[ \(1 + \@\(1 + \@\(1 + \@\(1 + \@\(1 + \@x\)\)\)\)\)], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[FullForm[%]]\)], "Input"], Cell[BoxData[ TagBox[ TagBox[ StyleBox[ AdjustmentBox[ RowBox[{"Plus", "[", RowBox[{"1", ",", StyleBox[ AdjustmentBox[ RowBox[{"Power", "[", RowBox[{ StyleBox[ AdjustmentBox[ RowBox[{"Plus", "[", RowBox[{"1", ",", StyleBox[ AdjustmentBox[ RowBox[{"Power", "[", RowBox[{ StyleBox[ AdjustmentBox[ RowBox[{"Plus", "[", RowBox[{"1", ",", StyleBox[ AdjustmentBox[ RowBox[{"Power", "[", RowBox[{ StyleBox[ AdjustmentBox[ RowBox[{"Plus", "[", RowBox[{"1", ",", StyleBox[ AdjustmentBox[ RowBox[{"Power", "[", RowBox[{ StyleBox[ AdjustmentBox[ RowBox[{"Plus", "[", RowBox[{"1", ",", StyleBox[ AdjustmentBox[ RowBox[{"Power", "[", RowBox[{"x", ",", StyleBox[ AdjustmentBox[\(Rational[1, 2]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]], ",", StyleBox[ AdjustmentBox[\(Rational[1, 2]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]], ",", StyleBox[ AdjustmentBox[\(Rational[1, 2]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]], ",", StyleBox[ AdjustmentBox[\(Rational[1, 2]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]], ",", StyleBox[ AdjustmentBox[\(Rational[1, 2]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], ShowSpecialCharacters->False, ShowStringCharacters->True, NumberMarks->True, Background->RGBColor[1, 1, 0.500008]], FullForm], DisplayForm]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[TreeForm[%%]]\)], "Input"], Cell[BoxData[ TagBox[ InterpretationBox[ StyleBox[ AdjustmentBox[ RowBox[{"\<\"Plus\"\>", "[", RowBox[{"1", ",", InterpretationBox[GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Power\"\>", "[", RowBox[{GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Plus\"\>", "[", RowBox[{"1", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Power\"\>", "[", RowBox[{GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Plus\"\>", "[", RowBox[{"1", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Power\"\>", "[", RowBox[{GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Plus\"\>", "[", RowBox[{"1", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Power\"\>", "[", RowBox[{GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Plus\"\>", "[", RowBox[{"1", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Power\"\>", "[", RowBox[{"x", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("Rational"[1, 2]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.749996]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("Rational"[1, 2]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("Rational"[1, 2]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.749996, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("Rational"[1, 2]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 0.749996]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("Rational"[1, 2]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ColumnForm[ {"|", "Power"[ ColumnForm[ {"|", "Plus"[ 1, ColumnForm[ {"|", "Power"[ ColumnForm[ {"|", "Plus"[ 1, ColumnForm[ {"|", "Power"[ ColumnForm[ {"|", "Plus"[ 1, ColumnForm[ {"|", "Power"[ ColumnForm[ {"|", "Plus"[ 1, ColumnForm[ {"|", "Power"[ x, ColumnForm[ {"|", "Rational"[ 1, 2]}]]}]]}], ColumnForm[ {"|", "Rational"[ 1, 2]}]]}]]}], ColumnForm[ {"|", "Rational"[ 1, 2]}]]}]]}], ColumnForm[ {"|", "Rational"[ 1, 2]}]]}]]}], ColumnForm[ {"|", "Rational"[ 1, 2]}]]}], Editable->False]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.749996, 0.500008]], TreeForm[ Plus[ 1, Power[ Plus[ 1, Power[ Plus[ 1, Power[ Plus[ 1, Power[ Plus[ 1, Power[ x, Rational[ 1, 2]]], Rational[ 1, 2]]], Rational[ 1, 2]]], Rational[ 1, 2]]], Rational[ 1, 2]]]], Editable->False], DisplayForm]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(Nest[1 + #\^ .5 &, x, 5]\)], "Input"], Cell[BoxData[ \(1 + \((1 + \((1 + \((1 + \((1 + \ x\^0.5`)\)\^0.5`)\)\^0.5`)\)\^0.5`)\)\^0.5`\)], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[StandardForm[%]]\)], "Input"], Cell[BoxData[ TagBox[ TagBox[ FormBox[ RowBox[{"1", "+", SuperscriptBox[ StyleBox[ AdjustmentBox[ RowBox[{"(", RowBox[{"1", "+", SuperscriptBox[ StyleBox[ AdjustmentBox[ RowBox[{"(", RowBox[{"1", "+", SuperscriptBox[ StyleBox[ AdjustmentBox[ RowBox[{"(", RowBox[{"1", "+", SuperscriptBox[ StyleBox[ AdjustmentBox[\((1 + x\^0.5`)\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 0.500008, 1]], "0.5`"]}], ")"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 1, 0.500008]], "0.5`"]}], ")"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]], "0.5`"]}], ")"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.749996]], "0.5`"]}], "StandardForm"], StandardForm, Editable->True], DisplayForm]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[TreeForm[%%]]\)], "Input"], Cell[BoxData[ TagBox[ InterpretationBox[ StyleBox[ AdjustmentBox[ RowBox[{"\<\"Plus\"\>", "[", RowBox[{"1", ",", InterpretationBox[GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Power\"\>", "[", RowBox[{GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Plus\"\>", "[", RowBox[{"1", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Power\"\>", "[", RowBox[{GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Plus\"\>", "[", RowBox[{"1", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Power\"\>", "[", RowBox[{GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Plus\"\>", "[", RowBox[{"1", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Power\"\>", "[", RowBox[{GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Plus\"\>", "[", RowBox[{"1", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("Power"[x, 0.5`]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.749996]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", "0.5`"}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", "0.5`"}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.749996, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", "0.5`"}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 0.749996]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", "0.5`"}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ColumnForm[ {"|", "Power"[ ColumnForm[ {"|", "Plus"[ 1, ColumnForm[ {"|", "Power"[ ColumnForm[ {"|", "Plus"[ 1, ColumnForm[ {"|", "Power"[ ColumnForm[ {"|", "Plus"[ 1, ColumnForm[ {"|", "Power"[ ColumnForm[ {"|", "Plus"[ 1, ColumnForm[ {"|", "Power"[ x, 0.5]}]]}], 0.5]}]]}], 0.5]}]]}], 0.5]}]]}], 0.5]}], Editable->False]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.749996, 0.500008]], TreeForm[ Plus[ 1, Power[ Plus[ 1, Power[ Plus[ 1, Power[ Plus[ 1, Power[ Plus[ 1, Power[ x, 0.5]], 0.5]], 0.5]], 0.5]], 0.5]]], Editable->False], DisplayForm]], "Output"] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell["Integrals", "Subsubsection"], Cell[CellGroupData[{ Cell[BoxData[ \(Integrate[1/\((x + \@\(x^2 + a^2\))\), x]\)], "Input"], Cell[BoxData[ \(\(x\ \((\(-x\) + \@\(a\^2 + x\^2\))\) + a\^2\ Log[x + \@\(a\^2 + \ x\^2\)]\)\/\(2\ a\^2\)\)], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[%]\)], "Input"], Cell[BoxData[ TagBox[ FractionBox[ RowBox[{ RowBox[{"x", " ", StyleBox[ AdjustmentBox[\((\(-x\) + \@\(a\^2 + x\^2\))\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.749996]]}], "+", RowBox[{\(a\^2\), " ", StyleBox[ AdjustmentBox[\(Log[x + \@\(a\^2 + x\^2\)]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.749996]]}]}], \(2\ a\^2\)], DisplayForm]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[TreeForm[%]]\)], "Input"], Cell[BoxData[ TagBox[ InterpretationBox[ StyleBox[ AdjustmentBox[ RowBox[{"\<\"FractionBox\"\>", "[", RowBox[{ InterpretationBox[GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"RowBox\"\>", "[", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"List\"\>", "[", RowBox[{GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"RowBox\"\>", "[", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"List\"\>", "[", RowBox[{"\<\"x\"\>", ",", "\<\" \"\>", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"StyleBox\"\>", "[", RowBox[{GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"AdjustmentBox\"\>", "[", RowBox[{GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"RowBox\"\>", "[", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"List\"\>", "[", RowBox[{"\<\"(\"\>", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"RowBox\"\>", "[", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"List\"\>", "[", RowBox[{GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"RowBox\"\>", "[", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("List"["-", "x"]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 0.749996]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", "\<\"+\"\>", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"SqrtBox\"\>", "[", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"RowBox\"\>", "[", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"List\"\>", "[", RowBox[{GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("SuperscriptBox"["a", "2"]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", "\<\"+\"\>", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("SuperscriptBox"["x", "2"]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 0.749996]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 0.749996]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", "\<\")\"\>"}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 0.749996]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Rule\"\>", "[", RowBox[{"BoxMargins", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"List\"\>", "[", RowBox[{GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("List"[0, 0]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.749996, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("List"[0.5`, 0.5`]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.749996, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 0.749996]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Rule\"\>", "[", RowBox[{"Background", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("Hue"[ 0.4166666666666667`, 0.5`]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 0.749996]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", "\<\"+\"\>", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"RowBox\"\>", "[", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"List\"\>", "[", RowBox[{GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("SuperscriptBox"["a", "2"]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", "\<\" \"\>", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"StyleBox\"\>", "[", RowBox[{GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"AdjustmentBox\"\>", "[", RowBox[{GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"RowBox\"\>", "[", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"List\"\>", "[", RowBox[{"\<\"Log\"\>", ",", "\<\"[\"\>", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"RowBox\"\>", "[", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"List\"\>", "[", RowBox[{"\<\"x\"\>", ",", "\<\"+\"\>", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"SqrtBox\"\>", "[", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"RowBox\"\>", "[", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"List\"\>", "[", RowBox[{GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("SuperscriptBox"["a", "2"]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", "\<\"+\"\>", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("SuperscriptBox"["x", "2"]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 0.749996]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 0.749996]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", "\<\"]\"\>"}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 0.749996]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Rule\"\>", "[", RowBox[{"BoxMargins", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"List\"\>", "[", RowBox[{GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("List"[0, 0]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.749996, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("List"[0.5`, 0.5`]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.749996, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 0.749996]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"Rule\"\>", "[", RowBox[{"Background", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("Hue"[ 0.4166666666666667`, 0.5`]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 0.749996]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ColumnForm[ {"|", "RowBox"[ ColumnForm[ {"|", "List"[ ColumnForm[ {"|", "RowBox"[ ColumnForm[ {"|", "List"[ "x", " ", ColumnForm[ {"|", "StyleBox"[ ColumnForm[ {"|", "AdjustmentBox"[ ColumnForm[ {"|", "RowBox"[ ColumnForm[ {"|", "List"[ "(", ColumnForm[ {"|", "RowBox"[ ColumnForm[ {"|", "List"[ ColumnForm[ {"|", "RowBox"[ ColumnForm[ {"|", "List"[ "-", "x"]}]]}], "+", ColumnForm[ {"|", "SqrtBox"[ ColumnForm[ {"|", "RowBox"[ ColumnForm[ {"|", "List"[ ColumnForm[ {"|", "SuperscriptBox"[ "a", "2"]}], "+", ColumnForm[ {"|", "SuperscriptBox"[ "x", "2"]}]]}]]}]]}]]}]]}], ")"]}]]}], ColumnForm[ {"|", "Rule"[ BoxMargins, ColumnForm[ {"|", "List"[ ColumnForm[ {"|", "List"[ 0, 0]}], ColumnForm[ {"|", "List"[ 0.5, 0.5]}]]}]]}]]}], ColumnForm[ {"|", "Rule"[ Background, ColumnForm[ {"|", "Hue"[ 0.41666666666666669, 0.5]}]]}]]}]]}]]}], "+", ColumnForm[ {"|", "RowBox"[ ColumnForm[ {"|", "List"[ ColumnForm[ {"|", "SuperscriptBox"[ "a", "2"]}], " ", ColumnForm[ {"|", "StyleBox"[ ColumnForm[ {"|", "AdjustmentBox"[ ColumnForm[ {"|", "RowBox"[ ColumnForm[ {"|", "List"[ "Log", "[", ColumnForm[ {"|", "RowBox"[ ColumnForm[ {"|", "List"[ "x", "+", ColumnForm[ {"|", "SqrtBox"[ ColumnForm[ {"|", "RowBox"[ ColumnForm[ {"|", "List"[ ColumnForm[ {"|", "SuperscriptBox"[ "a", "2"]}], "+", ColumnForm[ {"|", "SuperscriptBox"[ "x", "2"]}]]}]]}]]}]]}]]}], "]"]}]]}], ColumnForm[ {"|", "Rule"[ BoxMargins, ColumnForm[ {"|", "List"[ ColumnForm[ {"|", "List"[ 0, 0]}], ColumnForm[ {"|", "List"[ 0.5, 0.5]}]]}]]}]]}], ColumnForm[ {"|", "Rule"[ Background, ColumnForm[ {"|", "Hue"[ 0.41666666666666669, 0.5]}]]}]]}]]}]]}]]}]]}], Editable->False], ",", InterpretationBox[GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"RowBox\"\>", "[", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[ RowBox[{"\<\"List\"\>", "[", RowBox[{"\<\"2\"\>", ",", "\<\" \"\>", ",", GridBox[{ {"\<\"|\"\>"}, { StyleBox[ AdjustmentBox[\("SuperscriptBox"["a", "2"]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 0.500008, 1]]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], ColumnForm[ {"|", "RowBox"[ ColumnForm[ {"|", "List"[ "2", " ", ColumnForm[ {"|", "SuperscriptBox"[ "a", "2"]}]]}]]}], Editable->False]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.749996, 0.500008]], TreeForm[ FractionBox[ RowBox[ { RowBox[ {"x", " ", StyleBox[ AdjustmentBox[ StyleBox[ AdjustmentBox[ RowBox[ {"(", RowBox[ { RowBox[ {"-", "x"}], "+", SqrtBox[ RowBox[ { SuperscriptBox[ "a", "2"], "+", SuperscriptBox[ "x", "2"]}]]}], ")"}], BoxMargins -> {{0, 0}, {0.5, 0.5}}], Background -> Hue[ 0.75, 0.5]], BoxMargins -> {{0, 0}, {0.5, 0.5}}], Background -> Hue[ 0.41666666666666669, 0.5]]}], "+", RowBox[ { SuperscriptBox[ "a", "2"], " ", StyleBox[ AdjustmentBox[ StyleBox[ AdjustmentBox[ RowBox[ {"Log", "[", RowBox[ {"x", "+", SqrtBox[ RowBox[ { SuperscriptBox[ "a", "2"], "+", SuperscriptBox[ "x", "2"]}]]}], "]"}], BoxMargins -> {{0, 0}, {0.5, 0.5}}], Background -> Hue[ 0.75, 0.5]], BoxMargins -> {{0, 0}, {0.5, 0.5}}], Background -> Hue[ 0.41666666666666669, 0.5]]}]}], RowBox[ {"2", " ", SuperscriptBox[ "a", "2"]}]]], Editable->False], DisplayForm]], "Output"] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell["More complicated ones", "Subsubsection"], Cell[CellGroupData[{ Cell[BoxData[ \(\[Integral]\_a\%b\( 1\/\(x\^2 + 1\)\) \[DifferentialD]x /. {Im[ a] \[Rule] 0, Im[b] \[Rule] 0}\)], "Input"], Cell[BoxData[ \(\(\((\(-a\) + b)\)\ \((ArcTan[a] - ArcTan[b])\)\)\/\(a - b\)\)], \ "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(Simplify[%]\)], "Input"], Cell[BoxData[ \(\(-ArcTan[a]\) + ArcTan[b]\)], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[%]\)], "Input"], Cell[BoxData[ TagBox[ RowBox[{ RowBox[{"-", StyleBox[ AdjustmentBox[\(ArcTan[a]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 0.500008]]}], "+", StyleBox[ AdjustmentBox[\(ArcTan[b]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]]}], DisplayForm]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[\[Integral]\_a\%b\( 1\/\(x\^2 + 1\)\) \[DifferentialD]x /. {Im[a] \[Rule] 0, Im[b] \[Rule] 0}]\)], "Input"], Cell[BoxData[ TagBox[ FractionBox[ RowBox[{ StyleBox[ AdjustmentBox[\((\(-a\) + b)\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 1, 0.500008]], " ", StyleBox[ AdjustmentBox[ RowBox[{"(", RowBox[{ StyleBox[ AdjustmentBox[\(ArcTan[a]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 0.749996, 1]], "-", StyleBox[ AdjustmentBox[\(ArcTan[b]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 0.749996, 1]]}], ")"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.749996, 1, 0.500008]]}], \(a - b\)], DisplayForm]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[ FullForm[\[Integral]\_a\%b\( 1\/\(x\^2 + 1\)\) \[DifferentialD]x /. {Im[ a] \[Rule] 0, Im[b] \[Rule] 0}]]\)], "Input"], Cell[BoxData[ TagBox[ TagBox[ StyleBox[ AdjustmentBox[ RowBox[{"Times", "[", RowBox[{ StyleBox[ AdjustmentBox[ RowBox[{"Power", "[", RowBox[{ StyleBox[ AdjustmentBox[ RowBox[{"Plus", "[", RowBox[{"a", ",", StyleBox[ AdjustmentBox[\(Times[\(-1\), b]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]], ",", \(-1\)}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]], ",", StyleBox[ AdjustmentBox[ RowBox[{"Plus", "[", RowBox[{ StyleBox[ AdjustmentBox[\(Times[\(-1\), a]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]], ",", "b"}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]], ",", StyleBox[ AdjustmentBox[ RowBox[{"Plus", "[", RowBox[{ StyleBox[ AdjustmentBox[\(ArcTan[a]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]], ",", StyleBox[ AdjustmentBox[ RowBox[{"Times", "[", RowBox[{\(-1\), ",", StyleBox[ AdjustmentBox[\(ArcTan[b]\), BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 1, 0.500008]]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[1, 0.500008, 1]]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], Background->RGBColor[0.500008, 1, 1]]}], "]"}], BoxMargins->{{0, 0}, {0.5, 0.5}}], ShowSpecialCharacters->False, ShowStringCharacters->True, NumberMarks->True, Background->RGBColor[1, 1, 0.500008]], FullForm], DisplayForm]], "Output"] }, Closed]], Cell["\<\ It becomes useful if the output is very complicated, as is the case \ if complex values were allowed for a and b in the previous \ integral:\ \>", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(ColorBrackets[ TraditionalForm[\[Integral]\_a\%b\( 1\/\(x\^2 + 1\)\) \[DifferentialD]x]]\)], "Input"], Cell[BoxData[ TagBox[ TagBox[ FormBox[ RowBox[{ StyleBox[ AdjustmentBox[\((b - a)\), BoxMargins->{{0, 0}, {0.5, 0.5}}],