Add Mul x6 x0 acot Mul Add asinh acsc acoth log asech pi x3 Pow pi x0 
Add x6 Mul -1 Mul Mul Add asinh acsc acoth log asech pi x3 Mul Pow pi Add x0 -1 Mul pi log pi Pow Add 1 Mul Mul Add asinh acsc acoth log asech pi x3 Pow pi x0 Mul Add asinh acsc acoth log asech pi x3 Pow pi x0 -1 