acosh Pow cot x0 acosh acoth acosh Mul x0 x1 
Mul Mul Pow cot x0 Add acosh acoth acosh Mul x0 x1 -1 Add Mul acosh acoth acosh Mul x0 x1 Mul -1 Pow csc x0 2 Mul Mul cot x0 log cot x0 Mul Mul Mul x1 Pow Mul sqrt Add Mul x0 x1 -1 sqrt Add 1 Mul x0 x1 -1 Pow Add 1 Mul -1 Mul acosh Mul x0 x1 acosh Mul x0 x1 -1 Pow Mul sqrt Add acoth acosh Mul x0 x1 -1 sqrt Add 1 acoth acosh Mul x0 x1 -1 Pow Mul sqrt Add Pow cot x0 acosh acoth acosh Mul x0 x1 -1 sqrt Add 1 Pow cot x0 acosh acoth acosh Mul x0 x1 -1 