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