<?xml version="1.0" encoding="utf-8"?>
<svg:svg xmlns="http://www.w3.org/1998/Math/MathML" xmlns:svg="http://www.w3.org/2000/svg" height="25.190935pt" width="299.068746pt" xmlns:svgmath="http://www.grigoriev.ru/svgmath" viewBox="0 -19.325701 299.068746 25.190935"><svg:metadata><svgmath:metrics top="25.1909351504" axis="9.849609375" baseline="5.865234375" bottom="0.0"/></svg:metadata><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="13.661133" font-family="Times New Roman" fill="black">acosh</svg:text><svg:g transform="translate(29.322270, 0.000000)"><svg:g transform="translate(0.000000, -3.984375)"><svg:text font-size="12.012889" transform="scale(0.998927, 1)" text-anchor="middle" y="3.981593" x="2.000193" font-family="Times New Roman" fill="black">(</svg:text></svg:g><svg:g transform="translate(3.996094, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="3.061523" font-family="Times New Roman" font-style="italic" fill="black">x</svg:text></svg:g><svg:g transform="translate(9.720703, -3.984375)"><svg:text font-size="12.012889" transform="scale(0.998927, 1)" text-anchor="middle" y="3.981593" x="2.000193" font-family="Times New Roman" fill="black">)</svg:text></svg:g></svg:g><svg:g transform="translate(46.372403, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="3.292969" font-family="Times New Roman" fill="black">≈</svg:text></svg:g><svg:g transform="translate(56.771676, 0.000000)"><svg:g transform="translate(7.377844, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="3.000000" font-family="Times New Roman" fill="black">2</svg:text><svg:g transform="translate(6.000000, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="3.600586" font-family="Times New Roman" font-style="italic" fill="black">y</svg:text></svg:g></svg:g><svg:path stroke-linejoin="miter" d="M 0.000000 -5.059336 L 2.541361 -5.059336 L 4.648084 -1.157996 L 4.568343 -0.638998 L 2.310961 -4.819336 L 1.950961 -4.819336 L 4.553402 0.000000 L 6.071203 -9.878672 L 20.948156 -9.878672" stroke="black" stroke-linecap="butt" stroke-miterlimit="10" stroke-width="0.480000" fill="none"/></svg:g><svg:g transform="translate(78.199832, 0.000000)"><svg:g transform="translate(0.000000, -3.984375)"><svg:text font-size="27.677594" transform="scale(0.433564, 1)" text-anchor="middle" y="3.876222" x="4.608428" font-family="Times New Roman" fill="black">(</svg:text></svg:g><svg:g transform="translate(3.996094, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="3.000000" font-family="Times New Roman" fill="black">1</svg:text><svg:g transform="translate(8.666664, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="3.383789" font-family="Times New Roman" fill="black">+</svg:text></svg:g><svg:g transform="translate(18.686844, -3.984375)"><svg:g transform="translate(3.454102, -4.189453)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="3.600586" font-family="Times New Roman" font-style="italic" fill="black">y</svg:text></svg:g><svg:g transform="translate(0.585938, 9.708984)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="6.000000" font-family="Times New Roman" fill="black">12</svg:text></svg:g><svg:line stroke-width="0.585938" y2="0.000000" x2="13.171875" stroke="black" stroke-linecap="butt" stroke-dasharray="none" y1="0.000000" x1="0.000000" fill="none"/></svg:g><svg:g transform="translate(35.111320, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="3.383789" font-family="Times New Roman" fill="black">+</svg:text></svg:g><svg:g transform="translate(45.131500, -3.984375)"><svg:g transform="translate(1.324102, -4.189453)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="3.000000" font-family="Times New Roman" fill="black">3</svg:text><svg:g transform="translate(6.000000, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="3.600586" font-family="Times New Roman" font-style="italic" fill="black">y</svg:text><svg:g transform="translate(6.263672, -5.367188)"><svg:text font-size="8.520000" text-anchor="middle" y="0.000000" x="2.130000" font-family="Times New Roman" fill="black">2</svg:text></svg:g></svg:g></svg:g><svg:g transform="translate(0.585938, 9.708984)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="9.000000" font-family="Times New Roman" fill="black">160</svg:text></svg:g><svg:line stroke-width="0.585938" y2="0.000000" x2="19.171875" stroke="black" stroke-linecap="butt" stroke-dasharray="none" y1="0.000000" x1="0.000000" fill="none"/></svg:g></svg:g><svg:g transform="translate(68.885406, -3.984375)"><svg:text font-size="27.677594" transform="scale(0.433564, 1)" text-anchor="middle" y="3.876222" x="4.608428" font-family="Times New Roman" fill="black">)</svg:text></svg:g></svg:g><svg:g transform="translate(151.081332, 0.000000)"/><svg:g transform="translate(163.081332, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="1.666992" font-family="Times New Roman" fill="black">;</svg:text></svg:g><svg:g transform="translate(169.748652, 0.000000)"/><svg:g transform="translate(181.748652, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="3.600586" font-family="Times New Roman" font-style="italic" fill="black">y</svg:text></svg:g><svg:g transform="translate(191.345660, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="3.383789" font-family="Times New Roman" fill="black">=</svg:text></svg:g><svg:g transform="translate(201.446574, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="3.000000" font-family="Times New Roman" fill="black">1</svg:text></svg:g><svg:g transform="translate(210.113238, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="3.383789" font-family="Times New Roman" fill="black">−</svg:text></svg:g><svg:g transform="translate(219.547481, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="3.061523" font-family="Times New Roman" font-style="italic" fill="black">x</svg:text></svg:g><svg:g transform="translate(225.272090, 0.000000)"/><svg:g transform="translate(240.605426, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.468750" x="4.769531" font-family="Lucida Sans Unicode" fill="black">∧</svg:text></svg:g><svg:g transform="translate(253.477824, 0.000000)"/><svg:g transform="translate(265.477824, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="3.600586" font-family="Times New Roman" font-style="italic" fill="black">y</svg:text></svg:g><svg:g transform="translate(275.074832, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="3.383789" font-family="Times New Roman" fill="black">&lt;</svg:text></svg:g><svg:g transform="translate(285.655746, 0.000000)"><svg:g transform="translate(7.377844, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="2.364258" font-family="Times New Roman" font-style="italic" fill="black">ε</svg:text></svg:g><svg:path stroke-linejoin="miter" d="M 0.000000 -5.059336 L 2.541361 -5.059336 L 4.648084 -1.157996 L 4.568343 -0.638998 L 2.310961 -4.819336 L 1.950961 -4.819336 L 4.553402 0.000000 L 6.071203 -9.878672 L 13.413000 -9.878672" stroke="black" stroke-linecap="butt" stroke-miterlimit="10" stroke-width="0.480000" fill="none"/></svg:g></svg:svg>