Mul Add x0 Pow Mul acosh Add cot x0 5 -4 acoth x3 E 
Mul E Add 1 Mul Pow Mul acosh Add cot x0 5 -4 Add acoth x3 -1 Mul acoth x3 Mul -4 Mul Mul -1 Pow csc x0 2 Pow Mul sqrt Add Add cot x0 5 -1 sqrt Add 1 Add cot x0 5 -1 