Mul acosh Add 5 x0 cot Pow x7 Add x0 2 
Add Mul cot Pow x7 Add x0 2 Pow Mul sqrt Add Add 5 x0 -1 sqrt Add 1 Add 5 x0 -1 Mul acosh Add 5 x0 Mul Mul -1 Pow csc Pow x7 Add x0 2 2 Mul Pow x7 Add Add x0 2 -1 Mul x7 log x7 