Mul 2 Mul cosh Pow pi sinh x0 acsch Add Pow acot x1 x0 asec E 
Mul 2 Add Mul acsch Add Pow acot x1 x0 asec E Mul sinh Pow pi sinh x0 Mul Pow pi Add sinh x0 -1 Mul Mul pi log pi cosh x0 Mul cosh Pow pi sinh x0 Mul Mul -1 Mul Pow acot x1 Add x0 -1 Mul acot x1 log acot x1 Pow Mul Mul Add Pow acot x1 x0 asec E Add Pow acot x1 x0 asec E sqrt Add 1 Mul -1 Pow Mul Add Pow acot x1 x0 asec E Add Pow acot x1 x0 asec E -1 -1 