Pow x0 coth Add x4 asin Pow Mul Mul x0 Pow acoth x4 sqrt x4 acot x0 x0 
Mul Pow x0 Add coth Add x4 asin Pow Mul Mul x0 Pow acoth x4 sqrt x4 acot x0 x0 -1 Add coth Add x4 asin Pow Mul Mul x0 Pow acoth x4 sqrt x4 acot x0 x0 Mul Mul x0 log x0 Mul Mul -1 Pow csch Add x4 asin Pow Mul Mul x0 Pow acoth x4 sqrt x4 acot x0 x0 2 Mul Mul Pow Mul Mul x0 Pow acoth x4 sqrt x4 acot x0 Add x0 -1 Add Mul x0 Add Mul acot x0 Pow acoth x4 sqrt x4 Mul Mul x0 Pow acoth x4 sqrt x4 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Mul x0 Pow acoth x4 sqrt x4 acot x0 log Mul Mul x0 Pow acoth x4 sqrt x4 acot x0 Pow sqrt Add 1 Mul -1 Mul Pow Mul Mul x0 Pow acoth x4 sqrt x4 acot x0 x0 Pow Mul Mul x0 Pow acoth x4 sqrt x4 acot x0 x0 -1 