Mul acos x4 acoth Pow acsc Add x4 -2 Add csc x0 x0 
Mul acos x4 Mul Mul Pow acsc Add x4 -2 Add Add csc x0 x0 -1 Mul Mul acsc Add x4 -2 log acsc Add x4 -2 Add Mul Mul -1 cot x0 csc x0 1 Pow Add 1 Mul -1 Mul Pow acsc Add x4 -2 Add csc x0 x0 Pow acsc Add x4 -2 Add csc x0 x0 -1 