Pow acot x0 Pow Pow Mul x0 x0 asech Pow Pow Pow x3 x0 Pow x0 atanh x0 x0 Mul 3 Add x0 x1 
Mul Pow acot x0 Add Pow Pow Mul x0 x0 asech Pow Pow Pow x3 x0 Pow x0 atanh x0 x0 Mul 3 Add x0 x1 -1 Add Mul Pow Pow Mul x0 x0 asech Pow Pow Pow x3 x0 Pow x0 atanh x0 x0 Mul 3 Add x0 x1 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Mul Pow Pow Mul x0 x0 asech Pow Pow Pow x3 x0 Pow x0 atanh x0 x0 Add Mul 3 Add x0 x1 -1 Add Mul Mul 3 Add x0 x1 Mul Pow Mul x0 x0 Add asech Pow Pow Pow x3 x0 Pow x0 atanh x0 x0 -1 Add Mul asech Pow Pow Pow x3 x0 Pow x0 atanh x0 x0 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Mul Mul Pow Pow Pow x3 x0 Pow x0 atanh x0 Add x0 -1 Add Mul x0 Mul Pow Pow x3 x0 Add Pow x0 atanh x0 -1 Add Mul Pow x0 atanh x0 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul Mul Pow x3 x0 log Pow x3 x0 Mul Pow x0 Add atanh x0 -1 Add atanh x0 Mul Mul x0 log x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Pow x3 x0 Pow x0 atanh x0 log Pow Pow x3 x0 Pow x0 atanh x0 Pow Mul Mul Pow Pow Pow x3 x0 Pow x0 atanh x0 x0 Pow Pow Pow x3 x0 Pow x0 atanh x0 x0 sqrt Add 1 Mul -1 Pow Mul Pow Pow Pow x3 x0 Pow x0 atanh x0 x0 Pow Pow Pow x3 x0 Pow x0 atanh x0 x0 -1 -1 Mul Mul Pow Mul x0 x0 asech Pow Pow Pow x3 x0 Pow x0 atanh x0 x0 log Pow Mul x0 x0 asech Pow Pow Pow x3 x0 Pow x0 atanh x0 x0 3 