log cot acos Add sin x0 acosh x2 
Mul Mul Mul -1 Pow csc acos Add sin x0 acosh x2 2 Mul -1 Mul cos x0 Pow sqrt Add 1 Mul -1 Mul Add sin x0 acosh x2 Add sin x0 acosh x2 -1 Pow cot acos Add sin x0 acosh x2 -1 