Pow acosh acoth x6 acot Add Mul x0 -5 sin x0 
Mul Pow acosh acoth x6 Add acot Add Mul x0 -5 sin x0 -1 Mul Mul acosh acoth x6 log acosh acoth x6 Mul -1 Mul Add -5 cos x0 Pow Add 1 Mul Add Mul x0 -5 sin x0 Add Mul x0 -5 sin x0 -1 