atanh Mul acot Pow x2 Add Add x0 x0 Pow Pow Add x0 x0 -1 x0 E 
Mul Mul E Mul -1 Mul Mul Pow x2 Add Add Add x0 x0 Pow Pow Add x0 x0 -1 x0 -1 Mul Mul x2 log x2 Add 2 Mul Pow Pow Add x0 x0 -1 Add x0 -1 Add Mul x0 Pow Add x0 x0 2 Mul Pow Add x0 x0 -1 log Pow Add x0 x0 -1 Pow Add 1 Mul Pow x2 Add Add x0 x0 Pow Pow Add x0 x0 -1 x0 Pow x2 Add Add x0 x0 Pow Pow Add x0 x0 -1 x0 -1 Pow Add 1 Mul -1 Mul Mul acot Pow x2 Add Add x0 x0 Pow Pow Add x0 x0 -1 x0 E Mul acot Pow x2 Add Add x0 x0 Pow Pow Add x0 x0 -1 x0 E -1 