Pow Pow Mul x0 log coth pi Mul Mul x0 atanh x2 5 x0 
Mul Pow Pow Mul x0 log coth pi Mul Mul x0 atanh x2 5 Add x0 -1 Add Mul x0 Mul Pow Mul x0 log coth pi Add Mul Mul x0 atanh x2 5 -1 Add Mul Mul Mul x0 atanh x2 5 log coth pi Mul Mul Mul x0 log coth pi log Mul x0 log coth pi Mul 5 atanh x2 Mul Pow Mul x0 log coth pi Mul Mul x0 atanh x2 5 log Pow Mul x0 log coth pi Mul Mul x0 atanh x2 5 