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