Mul x0 Mul x7 Pow Pow exp x0 cot Mul acosh Add x0 x0 -4 Pow x4 x0 
Add Mul x7 Pow Pow exp x0 cot Mul acosh Add x0 x0 -4 Pow x4 x0 Mul x0 Mul x7 Mul Pow Pow exp x0 cot Mul acosh Add x0 x0 -4 Add Pow x4 x0 -1 Add Mul Pow x4 x0 Mul Pow exp x0 Add cot Mul acosh Add x0 x0 -4 -1 Add Mul cot Mul acosh Add x0 x0 -4 exp x0 Mul Mul exp x0 log exp x0 Mul Mul -1 Pow csc Mul acosh Add x0 x0 -4 2 Mul -4 Mul 2 Pow Mul sqrt Add Add x0 x0 -1 sqrt Add 1 Add x0 x0 -1 Mul Mul Pow exp x0 cot Mul acosh Add x0 x0 -4 log Pow exp x0 cot Mul acosh Add x0 x0 -4 Mul Pow x4 Add x0 -1 Mul x4 log x4 