Add atanh x5 Pow Pow asin Mul acot x3 x0 4 sin coth x0 
Mul Pow Pow asin Mul acot x3 x0 4 Add sin coth x0 -1 Add Mul sin coth x0 Mul Pow asin Mul acot x3 x0 3 Mul 4 Mul acot x3 Pow sqrt Add 1 Mul -1 Mul Mul acot x3 x0 Mul acot x3 x0 -1 Mul Mul Pow asin Mul acot x3 x0 4 log Pow asin Mul acot x3 x0 4 Mul cos coth x0 Mul -1 Pow csch x0 2 