Add x0 Add Pow acot x6 Pow Mul x0 2 x3 Pow Add x0 csch x0 tanh atan x1 
Add 1 Add Mul Pow acot x6 Add Pow Mul x0 2 x3 -1 Mul Mul acot x6 log acot x6 Mul Pow Mul x0 2 Add x3 -1 Mul x3 2 Mul Pow Add x0 csch x0 Add tanh atan x1 -1 Mul tanh atan x1 Add 1 Mul Mul -1 coth x0 csch x0 