Mul Add Pow coth Add acoth x7 -2 Add -2 Pow x5 acot Mul x0 Add x6 acot pi Mul x0 -1 5 
Mul 5 Add Mul Pow coth Add acoth x7 -2 Add Add -2 Pow x5 acot Mul x0 Add x6 acot pi -1 Mul Mul coth Add acoth x7 -2 log coth Add acoth x7 -2 Mul Pow x5 Add acot Mul x0 Add x6 acot pi -1 Mul Mul x5 log x5 Mul -1 Mul Add x6 acot pi Pow Add 1 Mul Mul x0 Add x6 acot pi Mul x0 Add x6 acot pi -1 -1 