acsch Pow x0 acot acot x3 
Mul Mul -1 Mul Pow x0 Add acot acot x3 -1 acot acot x3 Pow Mul Mul Pow x0 acot acot x3 Pow x0 acot acot x3 sqrt Add 1 Mul -1 Pow Mul Pow x0 acot acot x3 Pow x0 acot acot x3 -1 -1 