acos Mul x0 Pow acsc x0 Add Mul 3 csc sqrt Add coth x1 3 x6 
Mul -1 Mul Add Pow acsc x0 Add Mul 3 csc sqrt Add coth x1 3 x6 Mul x0 Mul Pow acsc x0 Add Add Mul 3 csc sqrt Add coth x1 3 x6 -1 Mul Add Mul 3 csc sqrt Add coth x1 3 x6 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul x0 Pow acsc x0 Add Mul 3 csc sqrt Add coth x1 3 x6 Mul x0 Pow acsc x0 Add Mul 3 csc sqrt Add coth x1 3 x6 -1 