acot Mul cos Mul x0 acsch atanh pi x0 
Mul -1 Mul Add Mul x0 Mul Mul -1 sin Mul x0 acsch atanh pi acsch atanh pi cos Mul x0 acsch atanh pi Pow Add 1 Mul Mul cos Mul x0 acsch atanh pi x0 Mul cos Mul x0 acsch atanh pi x0 -1 