Pow coth Mul asech sech pi 3 Mul 7 Pow Pow Pow x0 Mul x3 x0 Add -2 x0 Mul x0 x0 
Mul Pow coth Mul asech sech pi 3 Add Mul 7 Pow Pow Pow x0 Mul x3 x0 Add -2 x0 Mul x0 x0 -1 Mul Mul coth Mul asech sech pi 3 log coth Mul asech sech pi 3 Mul 7 Mul Pow Pow Pow x0 Mul x3 x0 Add -2 x0 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Mul Pow Pow x0 Mul x3 x0 Add Add -2 x0 -1 Add Mul Add -2 x0 Mul Pow x0 Add Mul x3 x0 -1 Add Mul x3 x0 Mul Mul x0 log x0 x3 Mul Pow x0 Mul x3 x0 log Pow x0 Mul x3 x0 Mul Mul Pow Pow x0 Mul x3 x0 Add -2 x0 log Pow Pow x0 Mul x3 x0 Add -2 x0 Add x0 x0 