Pow Add Add x6 Mul Add Add x0 x0 Add x0 2 sqrt acot x6 2 atanh Pow E x0 
Mul Pow Add Add x6 Mul Add Add x0 x0 Add x0 2 sqrt acot x6 2 Add atanh Pow E x0 -1 Add Mul atanh Pow E x0 Mul sqrt acot x6 3 Mul Mul Add Add x6 Mul Add Add x0 x0 Add x0 2 sqrt acot x6 2 log Add Add x6 Mul Add Add x0 x0 Add x0 2 sqrt acot x6 2 Mul Mul Pow E Add x0 -1 Mul E log E Pow Add 1 Mul -1 Mul Pow E x0 Pow E x0 -1 