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