Mul Pow acosh Mul Mul x0 exp coth E Add x0 asech Pow sech pi Mul x0 log x0 tan x7 x7 
Mul x7 Mul Pow acosh Mul Mul x0 exp coth E Add x0 asech Pow sech pi Mul x0 log x0 Add tan x7 -1 Mul tan x7 Mul Add Mul Add x0 asech Pow sech pi Mul x0 log x0 exp coth E Mul Mul x0 exp coth E Add 1 Mul Mul Pow sech pi Add Mul x0 log x0 -1 Mul Mul sech pi log sech pi Add log x0 Mul x0 Pow x0 -1 Pow Mul Mul Pow sech pi Mul x0 log x0 Pow sech pi Mul x0 log x0 sqrt Add 1 Mul -1 Pow Mul Pow sech pi Mul x0 log x0 Pow sech pi Mul x0 log x0 -1 -1 Pow Mul sqrt Add Mul Mul x0 exp coth E Add x0 asech Pow sech pi Mul x0 log x0 -1 sqrt Add 1 Mul Mul x0 exp coth E Add x0 asech Pow sech pi Mul x0 log x0 -1 