Mul asinh Add Mul cosh x1 pi acsc Pow acosh acosh Add log x0 x0 Pow cosh Mul x0 x0 E Mul -3 pi 
Mul Mul -3 pi Mul Mul -1 Mul Mul Pow acosh acosh Add log x0 x0 Add Pow cosh Mul x0 x0 E -1 Add Mul Pow cosh Mul x0 x0 E Mul Mul Add Pow x0 -1 1 Pow Mul sqrt Add Add log x0 x0 -1 sqrt Add 1 Add log x0 x0 -1 Pow Mul sqrt Add acosh Add log x0 x0 -1 sqrt Add 1 acosh Add log x0 x0 -1 Mul Mul acosh acosh Add log x0 x0 log acosh acosh Add log x0 x0 Mul Pow cosh Mul x0 x0 Add E -1 Mul E Mul sinh Mul x0 x0 Add x0 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow acosh acosh Add log x0 x0 Pow cosh Mul x0 x0 E Pow acosh acosh Add log x0 x0 Pow cosh Mul x0 x0 E -1 Pow acosh acosh Add log x0 x0 Pow cosh Mul x0 x0 E Pow acosh acosh Add log x0 x0 Pow cosh Mul x0 x0 E -1 Pow sqrt Add 1 Mul Add Mul cosh x1 pi acsc Pow acosh acosh Add log x0 x0 Pow cosh Mul x0 x0 E Add Mul cosh x1 pi acsc Pow acosh acosh Add log x0 x0 Pow cosh Mul x0 x0 E -1 