Add Pow Mul -1 E acot x0 csc Mul x0 Pow acosh Pow -1 x1 x0 
Add Mul Pow Mul -1 E Add acot x0 -1 Mul Mul Mul -1 E log Mul -1 E Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Mul -1 cot Mul x0 Pow acosh Pow -1 x1 x0 csc Mul x0 Pow acosh Pow -1 x1 x0 Add Pow acosh Pow -1 x1 x0 Mul x0 Mul Pow acosh Pow -1 x1 Add x0 -1 Mul acosh Pow -1 x1 log acosh Pow -1 x1 