Mul acoth E Pow Add cot cos x0 Mul acos Pow Mul cos x0 x1 x0 x0 acos x0 
Mul acoth E Mul Pow Add cot cos x0 Mul acos Pow Mul cos x0 x1 x0 x0 Add acos x0 -1 Add Mul acos x0 Add Mul Mul -1 Pow csc cos x0 2 Mul -1 sin x0 Add Mul x0 Mul -1 Mul Mul Pow Mul cos x0 x1 Add x0 -1 Add Mul x0 Mul x1 Mul -1 sin x0 Mul Mul cos x0 x1 log Mul cos x0 x1 Pow sqrt Add 1 Mul -1 Mul Pow Mul cos x0 x1 x0 Pow Mul cos x0 x1 x0 -1 acos Pow Mul cos x0 x1 x0 Mul Mul Add cot cos x0 Mul acos Pow Mul cos x0 x1 x0 x0 log Add cot cos x0 Mul acos Pow Mul cos x0 x1 x0 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 