Pow Pow exp atanh Pow Mul E 2 x0 pi x0 
Mul Pow Pow exp atanh Pow Mul E 2 x0 pi Add x0 -1 Add Mul x0 Mul Pow exp atanh Pow Mul E 2 x0 Add pi -1 Mul pi Mul exp atanh Pow Mul E 2 x0 Mul Mul Pow Mul E 2 Add x0 -1 Mul Mul E 2 log Mul E 2 Pow Add 1 Mul -1 Mul Pow Mul E 2 x0 Pow Mul E 2 x0 -1 Mul Pow exp atanh Pow Mul E 2 x0 pi log Pow exp atanh Pow Mul E 2 x0 pi 