Add x3 Pow sin x0 Mul x0 acosh acosh sinh acoth x6 
Mul Pow sin x0 Add Mul x0 acosh acosh sinh acoth x6 -1 Add Mul Mul x0 acosh acosh sinh acoth x6 cos x0 Mul Mul sin x0 log sin x0 acosh acosh sinh acoth x6 