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