Pow sinh Pow Add x0 acot pi Pow asech x1 x0 asin x0 
Mul Pow sinh Pow Add x0 acot pi Pow asech x1 x0 Add asin x0 -1 Add Mul asin x0 Mul cosh Pow Add x0 acot pi Pow asech x1 x0 Mul Pow Add x0 acot pi Add Pow asech x1 x0 -1 Add Pow asech x1 x0 Mul Mul Add x0 acot pi log Add x0 acot pi Mul Pow asech x1 Add x0 -1 Mul asech x1 log asech x1 Mul Mul sinh Pow Add x0 acot pi Pow asech x1 x0 log sinh Pow Add x0 acot pi Pow asech x1 x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 