Add Pow x0 Pow acos asin asin x4 3 acoth acoth acoth csc x0 
Add Mul Pow x0 Add Pow acos asin asin x4 3 -1 Pow acos asin asin x4 3 Mul Mul Mul Mul Mul -1 cot x0 csc x0 Pow Add 1 Mul -1 Mul csc x0 csc x0 -1 Pow Add 1 Mul -1 Mul acoth csc x0 acoth csc x0 -1 Pow Add 1 Mul -1 Mul acoth acoth csc x0 acoth acoth csc x0 -1 