acoth Mul Mul x2 2 Pow cot acos x0 5 
Mul Mul Mul x2 2 Mul Pow cot acos x0 4 Mul 5 Mul Mul -1 Pow csc acos x0 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul Mul x2 2 Pow cot acos x0 5 Mul Mul x2 2 Pow cot acos x0 5 -1 