atan csch Mul Pow x0 x0 Add cot x7 4 
Mul Mul Mul Mul -1 coth Mul Pow x0 x0 Add cot x7 4 csch Mul Pow x0 x0 Add cot x7 4 Mul Add cot x7 4 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul csch Mul Pow x0 x0 Add cot x7 4 csch Mul Pow x0 x0 Add cot x7 4 -1 