Pow x0 Add x0 Mul acot Add x0 asin Add x3 pi asech asech x0 
Mul Pow x0 Add Add x0 Mul acot Add x0 asin Add x3 pi asech asech x0 -1 Add Add x0 Mul acot Add x0 asin Add x3 pi asech asech x0 Mul Mul x0 log x0 Add 1 Add Mul asech asech x0 Mul -1 Pow Add 1 Mul Add x0 asin Add x3 pi Add x0 asin Add x3 pi -1 Mul acot Add x0 asin Add x3 pi Mul Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul Mul asech x0 asech x0 sqrt Add 1 Mul -1 Pow Mul asech x0 asech x0 -1 -1 