Add Add x1 Mul 5 Add Add Add coth x3 Mul x0 csc x0 x0 x0 Add csch x0 Pow Add acot Add x2 3 5 x0 
Add Mul 5 Add Add Add csc x0 Mul x0 Mul Mul -1 cot x0 csc x0 1 1 Add Mul Mul -1 coth x0 csch x0 Mul Pow Add acot Add x2 3 5 Add x0 -1 Mul Add acot Add x2 3 5 log Add acot Add x2 3 5 