Add acsch Mul Add x0 x0 acot sqrt x3 Pow 2 asech pi 
Mul Mul -1 Mul acot sqrt x3 2 Pow Mul Mul Mul Add x0 x0 acot sqrt x3 Mul Add x0 x0 acot sqrt x3 sqrt Add 1 Mul -1 Pow Mul Mul Add x0 x0 acot sqrt x3 Mul Add x0 x0 acot sqrt x3 -1 -1 