Mul x0 acos log Add Add cot x0 4 x0 
Add acos log Add Add cot x0 4 x0 Mul x0 Mul -1 Mul Mul Add Mul -1 Pow csc x0 2 1 Pow Add Add cot x0 4 x0 -1 Pow sqrt Add 1 Mul -1 Mul log Add Add cot x0 4 x0 log Add Add cot x0 4 x0 -1 