acot Pow x0 Add Mul Add x0 atanh asinh asech x7 log acsch asech x6 1 
Mul -1 Mul Mul Pow x0 Add Add Mul Add x0 atanh asinh asech x7 log acsch asech x6 1 -1 Add Add Mul Add x0 atanh asinh asech x7 log acsch asech x6 1 Mul Mul x0 log x0 log acsch asech x6 Pow Add 1 Mul Pow x0 Add Mul Add x0 atanh asinh asech x7 log acsch asech x6 1 Pow x0 Add Mul Add x0 atanh asinh asech x7 log acsch asech x6 1 -1 