Pow sin Pow acosh acsch x1 x0 x0 
Mul Pow sin Pow acosh acsch x1 x0 Add x0 -1 Add Mul x0 Mul cos Pow acosh acsch x1 x0 Mul Pow acosh acsch x1 Add x0 -1 Mul acosh acsch x1 log acosh acsch x1 Mul sin Pow acosh acsch x1 x0 log sin Pow acosh acsch x1 x0 