acsch Pow Pow acoth cos x2 x0 E 
Mul Mul -1 Mul Pow Pow acoth cos x2 x0 Add E -1 Mul E Mul Pow acoth cos x2 Add x0 -1 Mul acoth cos x2 log acoth cos x2 Pow Mul Mul Pow Pow acoth cos x2 x0 E Pow Pow acoth cos x2 x0 E sqrt Add 1 Mul -1 Pow Mul Pow Pow acoth cos x2 x0 E Pow Pow acoth cos x2 x0 E -1 -1 