Mul sinh Pow acot x0 x0 Pow x2 Pow x4 Mul Pow x0 x0 Pow x6 Add x6 Add x0 atanh Pow x3 x7 
Add Mul Pow x2 Pow x4 Mul Pow x0 x0 Pow x6 Add x6 Add x0 atanh Pow x3 x7 Mul cosh Pow acot x0 x0 Mul Pow acot x0 Add x0 -1 Add Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 log acot x0 Mul sinh Pow acot x0 x0 Mul Pow x2 Add Pow x4 Mul Pow x0 x0 Pow x6 Add x6 Add x0 atanh Pow x3 x7 -1 Mul Mul x2 log x2 Mul Pow x4 Add Mul Pow x0 x0 Pow x6 Add x6 Add x0 atanh Pow x3 x7 -1 Mul Mul x4 log x4 Add Mul Pow x6 Add x6 Add x0 atanh Pow x3 x7 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 Mul Pow x6 Add Add x6 Add x0 atanh Pow x3 x7 -1 Mul x6 log x6 