asec Mul Pow coth x0 acot E cot tan x7 
Mul Mul cot tan x7 Mul Pow coth x0 Add acot E -1 Mul acot E Mul -1 Pow csch x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Pow coth x0 acot E cot tan x7 Mul Pow coth x0 acot E cot tan x7 -1 Mul Pow coth x0 acot E cot tan x7 Mul Pow coth x0 acot E cot tan x7 -1 