Add Pow Mul pi Pow x0 Pow acoth cos x0 E x0 Mul cot Mul Mul x0 Mul acosh x3 3 x2 Mul x7 cos x0 
Add Mul Pow Mul pi Pow x0 Pow acoth cos x0 E Add x0 -1 Add Mul x0 Mul pi Mul Pow x0 Add Pow acoth cos x0 E -1 Add Pow acoth cos x0 E Mul Mul x0 log x0 Mul Pow acoth cos x0 Add E -1 Mul E Mul Mul -1 sin x0 Pow Add 1 Mul -1 Mul cos x0 cos x0 -1 Mul Mul pi Pow x0 Pow acoth cos x0 E log Mul pi Pow x0 Pow acoth cos x0 E Add Mul Mul x7 cos x0 Mul Mul -1 Pow csc Mul Mul x0 Mul acosh x3 3 x2 2 Mul x2 Mul acosh x3 3 Mul cot Mul Mul x0 Mul acosh x3 3 x2 Mul x7 Mul -1 sin x0 