Mul acsch Add x0 Pow sqrt x0 acot x0 acot Pow cot x0 Add Add x0 x0 -1 
Add Mul acot Pow cot x0 Add Add x0 x0 -1 Mul Mul -1 Add 1 Mul Pow sqrt x0 Add acot x0 -1 Add Mul acot x0 Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul Add x0 Pow sqrt x0 acot x0 Add x0 Pow sqrt x0 acot x0 sqrt Add 1 Mul -1 Pow Mul Add x0 Pow sqrt x0 acot x0 Add x0 Pow sqrt x0 acot x0 -1 -1 Mul acsch Add x0 Pow sqrt x0 acot x0 Mul -1 Mul Mul Pow cot x0 Add Add Add x0 x0 -1 -1 Add Mul Add Add x0 x0 -1 Mul -1 Pow csc x0 2 Mul Mul cot x0 log cot x0 2 Pow Add 1 Mul Pow cot x0 Add Add x0 x0 -1 Pow cot x0 Add Add x0 x0 -1 -1 