Mul acot Pow sqrt x0 acsch x2 Add E x0 
Add Mul Add E x0 Mul -1 Mul Mul Pow sqrt x0 Add acsch x2 -1 Mul acsch x2 Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul Pow sqrt x0 acsch x2 Pow sqrt x0 acsch x2 -1 acot Pow sqrt x0 acsch x2 