Pow Pow atanh Mul x0 acot x4 asech Add x5 Pow Add x0 x2 -2 2 
Mul Pow atanh Mul x0 acot x4 asech Add x5 Pow Add x0 x2 -2 Mul 2 Mul Pow atanh Mul x0 acot x4 Add asech Add x5 Pow Add x0 x2 -2 -1 Add Mul asech Add x5 Pow Add x0 x2 -2 Mul acot x4 Pow Add 1 Mul -1 Mul Mul x0 acot x4 Mul x0 acot x4 -1 Mul Mul atanh Mul x0 acot x4 log atanh Mul x0 acot x4 Mul Mul Pow Add x0 x2 3 -2 Pow Mul Mul Add x5 Pow Add x0 x2 -2 Add x5 Pow Add x0 x2 -2 sqrt Add 1 Mul -1 Pow Mul Add x5 Pow Add x0 x2 -2 Add x5 Pow Add x0 x2 -2 -1 -1 