csc acos Mul Pow x0 4 Add acot x3 -5 
Mul Mul Mul -1 cot acos Mul Pow x0 4 Add acot x3 -5 csc acos Mul Pow x0 4 Add acot x3 -5 Mul -1 Mul Mul Add acot x3 -5 Mul Pow x0 3 4 Pow sqrt Add 1 Mul -1 Mul Mul Pow x0 4 Add acot x3 -5 Mul Pow x0 4 Add acot x3 -5 -1 