Add coth Pow sin x0 E Pow Add atan atan Pow x4 cot E x0 x0 
Add Mul Mul -1 Pow csch Pow sin x0 E 2 Mul Pow sin x0 Add E -1 Mul E cos x0 Mul Pow Add atan atan Pow x4 cot E x0 Add x0 -1 Add x0 Mul Add atan atan Pow x4 cot E x0 log Add atan atan Pow x4 cot E x0 