Add cot acos Mul Add cos x0 sqrt cot Add x3 -1 x4 E 
Mul Mul -1 Pow csc acos Mul Add cos x0 sqrt cot Add x3 -1 x4 2 Mul -1 Mul Mul x4 Mul -1 sin x0 Pow sqrt Add 1 Mul -1 Mul Mul Add cos x0 sqrt cot Add x3 -1 x4 Mul Add cos x0 sqrt cot Add x3 -1 x4 -1 