atanh acot Pow Pow x0 Pow pi asech pi Add Mul x0 x0 asin E 
Mul Mul -1 Mul Mul Pow Pow x0 Pow pi asech pi Add Add Mul x0 x0 asin E -1 Add Mul Add Mul x0 x0 asin E Mul Pow x0 Add Pow pi asech pi -1 Pow pi asech pi Mul Mul Pow x0 Pow pi asech pi log Pow x0 Pow pi asech pi Add x0 x0 Pow Add 1 Mul Pow Pow x0 Pow pi asech pi Add Mul x0 x0 asin E Pow Pow x0 Pow pi asech pi Add Mul x0 x0 asin E -1 Pow Add 1 Mul -1 Mul acot Pow Pow x0 Pow pi asech pi Add Mul x0 x0 asin E acot Pow Pow x0 Pow pi asech pi Add Mul x0 x0 asin E -1 