Pow atanh Pow Mul 2 Mul exp Add x0 acot x5 Add x0 -2 3 x0 
Mul Pow atanh Pow Mul 2 Mul exp Add x0 acot x5 Add x0 -2 3 Add x0 -1 Add Mul x0 Mul Mul Pow Mul 2 Mul exp Add x0 acot x5 Add x0 -2 2 Mul 3 Mul 2 Add Mul Add x0 -2 exp Add x0 acot x5 exp Add x0 acot x5 Pow Add 1 Mul -1 Mul Pow Mul 2 Mul exp Add x0 acot x5 Add x0 -2 3 Pow Mul 2 Mul exp Add x0 acot x5 Add x0 -2 3 -1 Mul atanh Pow Mul 2 Mul exp Add x0 acot x5 Add x0 -2 3 log atanh Pow Mul 2 Mul exp Add x0 acot x5 Add x0 -2 3 