atanh Pow E Add -4 Pow atanh x4 Mul Pow x3 atanh x0 pi 
Mul Mul Pow E Add Add -4 Pow atanh x4 Mul Pow x3 atanh x0 pi -1 Mul Mul E log E Mul Pow atanh x4 Add Mul Pow x3 atanh x0 pi -1 Mul Mul atanh x4 log atanh x4 Mul pi Mul Pow x3 Add atanh x0 -1 Mul Mul x3 log x3 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow E Add -4 Pow atanh x4 Mul Pow x3 atanh x0 pi Pow E Add -4 Pow atanh x4 Mul Pow x3 atanh x0 pi -1 