Pow Pow acosh E Mul x0 Add cot x0 x0 x3 
Mul Pow Pow acosh E Mul x0 Add cot x0 x0 Add x3 -1 Mul x3 Mul Pow acosh E Add Mul x0 Add cot x0 x0 -1 Mul Mul acosh E log acosh E Add Add cot x0 x0 Mul x0 Add Mul -1 Pow csc x0 2 1 