atan Pow sin x0 Mul acoth x6 x0 
Mul Mul Pow sin x0 Add Mul acoth x6 x0 -1 Add Mul Mul acoth x6 x0 cos x0 Mul Mul sin x0 log sin x0 acoth x6 Pow Add 1 Mul Pow sin x0 Mul acoth x6 x0 Pow sin x0 Mul acoth x6 x0 -1 