Mul Pow acos Pow 3 acsc coth Pow x1 x6 Pow Add x0 x0 -1 E 
Mul E Mul Pow acos Pow 3 acsc coth Pow x1 x6 Add Pow Add x0 x0 -1 -1 Mul Mul acos Pow 3 acsc coth Pow x1 x6 log acos Pow 3 acsc coth Pow x1 x6 Pow Add x0 x0 2 