acoth Mul -2 Pow acos Mul x0 E Pow coth cos acoth x0 acot x0 
Mul Mul -2 Mul Pow acos Mul x0 E Add Pow coth cos acoth x0 acot x0 -1 Add Mul Pow coth cos acoth x0 acot x0 Mul -1 Mul E Pow sqrt Add 1 Mul -1 Mul Mul x0 E Mul x0 E -1 Mul Mul acos Mul x0 E log acos Mul x0 E Mul Pow coth cos acoth x0 Add acot x0 -1 Add Mul acot x0 Mul Mul -1 Pow csch cos acoth x0 2 Mul Mul -1 sin acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul coth cos acoth x0 log coth cos acoth x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul -2 Pow acos Mul x0 E Pow coth cos acoth x0 acot x0 Mul -2 Pow acos Mul x0 E Pow coth cos acoth x0 acot x0 -1 