Mul csc x0 Mul Mul 2 Mul 5 acos x0 Pow coth x3 -2 
Add Mul Mul Mul 2 Mul 5 acos x0 Pow coth x3 -2 Mul Mul -1 cot x0 csc x0 Mul csc x0 Mul Pow coth x3 -2 Mul 2 Mul 5 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 