coth Pow Mul x0 4 asech Add acot x0 x5 
Mul Mul -1 Pow csch Pow Mul x0 4 asech Add acot x0 x5 2 Mul Pow Mul x0 4 Add asech Add acot x0 x5 -1 Add Mul asech Add acot x0 x5 4 Mul Mul Mul x0 4 log Mul x0 4 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul Add acot x0 x5 Add acot x0 x5 sqrt Add 1 Mul -1 Pow Mul Add acot x0 x5 Add acot x0 x5 -1 -1 