Add Mul csc sin E x0 Mul Pow cot Add acosh x1 x0 x0 pi 
Add csc sin E Mul pi Mul Pow cot Add acosh x1 x0 Add x0 -1 Add Mul x0 Mul -1 Pow csc Add acosh x1 x0 2 Mul cot Add acosh x1 x0 log cot Add acosh x1 x0 