Add acos acoth Mul x0 4 Pow csch Mul x7 x0 csch Pow x0 cot E 
Add Mul -1 Mul Mul 4 Pow Add 1 Mul -1 Mul Mul x0 4 Mul x0 4 -1 Pow sqrt Add 1 Mul -1 Mul acoth Mul x0 4 acoth Mul x0 4 -1 Mul Pow csch Mul x7 x0 Add csch Pow x0 cot E -1 Add Mul csch Pow x0 cot E Mul Mul Mul -1 coth Mul x7 x0 csch Mul x7 x0 x7 Mul Mul csch Mul x7 x0 log csch Mul x7 x0 Mul Mul Mul -1 coth Pow x0 cot E csch Pow x0 cot E Mul Pow x0 Add cot E -1 cot E 