Add Mul x0 Pow Add 1 Pow Pow x0 cot E acosh x1 x0 x0 
Add Add Pow Add 1 Pow Pow x0 cot E acosh x1 x0 Mul x0 Mul Pow Add 1 Pow Pow x0 cot E acosh x1 Add x0 -1 Add Mul x0 Mul Pow Pow x0 cot E Add acosh x1 -1 Mul acosh x1 Mul Pow x0 Add cot E -1 cot E Mul Add 1 Pow Pow x0 cot E acosh x1 log Add 1 Pow Pow x0 cot E acosh x1 1 