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