Add Mul x0 Add x7 x0 Mul -2 exp Mul Mul acosh log cot Mul Add x0 2 3 x0 E 
Add Add Add x7 x0 x0 Mul -2 Mul exp Mul Mul acosh log cot Mul Add x0 2 3 x0 E Mul E Add Mul x0 Mul Mul Mul Mul -1 Pow csc Mul Add x0 2 3 2 3 Pow cot Mul Add x0 2 3 -1 Pow Mul sqrt Add log cot Mul Add x0 2 3 -1 sqrt Add 1 log cot Mul Add x0 2 3 -1 acosh log cot Mul Add x0 2 3 