Mul 4 csch Mul acot Pow x1 cos x0 2 
Mul 4 Mul Mul Mul -1 coth Mul acot Pow x1 cos x0 2 csch Mul acot Pow x1 cos x0 2 Mul 2 Mul -1 Mul Mul Pow x1 Add cos x0 -1 Mul Mul x1 log x1 Mul -1 sin x0 Pow Add 1 Mul Pow x1 cos x0 Pow x1 cos x0 -1 