Pow Add Pow x7 csc Pow acoth x4 x0 acos x0 x5 
Mul Pow Add Pow x7 csc Pow acoth x4 x0 acos x0 Add x5 -1 Mul x5 Add Mul Pow x7 Add csc Pow acoth x4 x0 -1 Mul Mul x7 log x7 Mul Mul Mul -1 cot Pow acoth x4 x0 csc Pow acoth x4 x0 Mul Pow acoth x4 Add x0 -1 Mul acoth x4 log acoth x4 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 