Mul -5 Add -2 Mul -3 Pow Pow cot x1 x2 Mul pi Mul 5 asin x0 
Mul -5 Mul -3 Mul Pow Pow cot x1 x2 Add Mul pi Mul 5 asin x0 -1 Mul Mul Pow cot x1 x2 log Pow cot x1 x2 Mul pi Mul 5 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 