Mul Pow Mul cot x6 x0 Mul acot Mul -3 Add x0 x0 csch E -2 
Mul -2 Mul Pow Mul cot x6 x0 Add Mul acot Mul -3 Add x0 x0 csch E -1 Add Mul Mul acot Mul -3 Add x0 x0 csch E cot x6 Mul Mul Mul cot x6 x0 log Mul cot x6 x0 Mul csch E Mul -1 Pow Add 1 Mul Mul -3 Add x0 x0 Mul -3 Add x0 x0 -1 