Mul sech sqrt x2 Add Pow Pow atanh x0 x2 Pow acot asech x0 x5 x0 
Mul sech sqrt x2 Add Mul Pow Pow atanh x0 x2 Add Pow acot asech x0 x5 -1 Add Mul Pow acot asech x0 x5 Mul Pow atanh x0 Add x2 -1 Mul x2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow atanh x0 x2 log Pow atanh x0 x2 Mul Pow acot asech x0 Add x5 -1 Mul x5 Mul -1 Mul Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul asech x0 asech x0 -1 1 