Mul x7 Mul coth acoth x0 cot Add 4 Mul x0 x0 
Mul x7 Add Mul cot Add 4 Mul x0 x0 Mul Mul -1 Pow csch acoth x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul coth acoth x0 Mul Mul -1 Pow csc Add 4 Mul x0 x0 2 Add x0 x0 