Pow sqrt x2 coth Mul x3 Pow Mul E x0 cos x0 
Mul Pow sqrt x2 Add coth Mul x3 Pow Mul E x0 cos x0 -1 Mul Mul sqrt x2 log sqrt x2 Mul Mul -1 Pow csch Mul x3 Pow Mul E x0 cos x0 2 Mul x3 Mul Pow Mul E x0 Add cos x0 -1 Add Mul cos x0 E Mul Mul Mul E x0 log Mul E x0 Mul -1 sin x0 