Mul Mul Add csch atanh Mul x0 csch acsc x1 coth x5 x0 Add -4 Pow cot sqrt x1 x0 
Add Mul Add -4 Pow cot sqrt x1 x0 Add Mul x0 Mul Mul Mul -1 coth atanh Mul x0 csch acsc x1 csch atanh Mul x0 csch acsc x1 Mul csch acsc x1 Pow Add 1 Mul -1 Mul Mul x0 csch acsc x1 Mul x0 csch acsc x1 -1 Add csch atanh Mul x0 csch acsc x1 coth x5 Mul Mul Add csch atanh Mul x0 csch acsc x1 coth x5 x0 Mul Pow cot sqrt x1 Add x0 -1 Mul cot sqrt x1 log cot sqrt x1 