Add Mul x0 coth Mul Add Add x7 x0 -5 cot acot x0 1 
Add coth Mul Add Add x7 x0 -5 cot acot x0 Mul x0 Mul Mul -1 Pow csch Mul Add Add x7 x0 -5 cot acot x0 2 Add cot acot x0 Mul Add Add x7 x0 -5 Mul Mul -1 Pow csc acot x0 2 Mul -1 Pow Add 1 Mul x0 x0 -1 