csc Mul x0 Pow Mul cos E x0 acosh sec x4 
Mul Mul Mul -1 cot Mul x0 Pow Mul cos E x0 acosh sec x4 csc Mul x0 Pow Mul cos E x0 acosh sec x4 Add Pow Mul cos E x0 acosh sec x4 Mul x0 Mul Pow Mul cos E x0 Add acosh sec x4 -1 Mul acosh sec x4 cos E 