Add atan Mul Pow E Add 1 x0 Mul atanh x0 pi -3 
Mul Add Mul Mul atanh x0 pi Mul Pow E Add Add 1 x0 -1 Mul E log E Mul Pow E Add 1 x0 Mul pi Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Mul Pow E Add 1 x0 Mul atanh x0 pi Mul Pow E Add 1 x0 Mul atanh x0 pi -1 