sec Mul x0 log Add Add Add x0 acos x7 cot x0 acsch E 
Mul Mul tan Mul x0 log Add Add Add x0 acos x7 cot x0 acsch E sec Mul x0 log Add Add Add x0 acos x7 cot x0 acsch E Add log Add Add Add x0 acos x7 cot x0 acsch E Mul x0 Mul Add 1 Mul -1 Pow csc x0 2 Pow Add Add Add x0 acos x7 cot x0 acsch E -1 