Add asin Mul E Pow acot Mul log x1 x1 cosh x0 3 
Mul Mul E Mul Pow acot Mul log x1 x1 Add cosh x0 -1 Mul Mul acot Mul log x1 x1 log acot Mul log x1 x1 sinh x0 Pow sqrt Add 1 Mul -1 Mul Mul E Pow acot Mul log x1 x1 cosh x0 Mul E Pow acot Mul log x1 x1 cosh x0 -1 