Add x0 cosh Pow x7 Add sqrt cot x0 acos sech sqrt acot Add x4 acsch x3 
Add 1 Mul sinh Pow x7 Add sqrt cot x0 acos sech sqrt acot Add x4 acsch x3 Mul Pow x7 Add Add sqrt cot x0 acos sech sqrt acot Add x4 acsch x3 -1 Mul Mul x7 log x7 Mul Pow Mul 2 sqrt cot x0 -1 Mul -1 Pow csc x0 2 