Mul x3 Mul tan Mul Pow x0 coth x0 Add tan x6 Add x0 5 Add x0 Mul acoth x0 acos sech x1 
Mul x3 Add Mul Add x0 Mul acoth x0 acos sech x1 Mul Pow sec Mul Pow x0 coth x0 Add tan x6 Add x0 5 2 Add Mul Add tan x6 Add x0 5 Mul Pow x0 Add coth x0 -1 Add coth x0 Mul Mul x0 log x0 Mul -1 Pow csch x0 2 Pow x0 coth x0 Mul tan Mul Pow x0 coth x0 Add tan x6 Add x0 5 Add 1 Mul acos sech x1 Pow Add 1 Mul -1 Mul x0 x0 -1 