Pow acos x7 acsch Add Add cot x0 Mul x0 -2 log x3 
Mul Pow acos x7 Add acsch Add Add cot x0 Mul x0 -2 log x3 -1 Mul Mul acos x7 log acos x7 Mul Mul -1 Add Mul -1 Pow csc x0 2 -2 Pow Mul Mul Add Add cot x0 Mul x0 -2 log x3 Add Add cot x0 Mul x0 -2 log x3 sqrt Add 1 Mul -1 Pow Mul Add Add cot x0 Mul x0 -2 log x3 Add Add cot x0 Mul x0 -2 log x3 -1 -1 