Pow Pow Pow x6 pi Pow acoth pi Mul atanh x0 x0 x2 
Mul Pow Pow Pow x6 pi Pow acoth pi Mul atanh x0 x0 Add x2 -1 Mul x2 Mul Pow Pow x6 pi Add Pow acoth pi Mul atanh x0 x0 -1 Mul Mul Pow x6 pi log Pow x6 pi Mul Pow acoth pi Add Mul atanh x0 x0 -1 Mul Mul acoth pi log acoth pi Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 atanh x0 