tan Add Pow Mul x0 Mul csch acoth csch x0 x0 Pow cot x5 x0 Add x0 tan x0 
Mul Pow sec Add Pow Mul x0 Mul csch acoth csch x0 x0 Pow cot x5 x0 Add x0 tan x0 2 Add Mul Pow Mul x0 Mul csch acoth csch x0 x0 Add Pow cot x5 x0 -1 Add Mul Pow cot x5 x0 Add Mul csch acoth csch x0 x0 Mul x0 Add Mul x0 Mul Mul Mul -1 coth acoth csch x0 csch acoth csch x0 Mul Mul Mul -1 coth x0 csch x0 Pow Add 1 Mul -1 Mul csch x0 csch x0 -1 csch acoth csch x0 Mul Mul Mul x0 Mul csch acoth csch x0 x0 log Mul x0 Mul csch acoth csch x0 x0 Mul Pow cot x5 Add x0 -1 Mul cot x5 log cot x5 Add 1 Pow sec x0 2 