Pow Mul -4 E sinh acot acot sin x0 
Mul Pow Mul -4 E Add sinh acot acot sin x0 -1 Mul Mul Mul -4 E log Mul -4 E Mul cosh acot acot sin x0 Mul -1 Mul Mul -1 Mul cos x0 Pow Add 1 Mul sin x0 sin x0 -1 Pow Add 1 Mul acot sin x0 acot sin x0 -1 