cot Add x1 Mul tan Mul x0 asech Add x3 x7 log x0 
Mul Mul -1 Pow csc Add x1 Mul tan Mul x0 asech Add x3 x7 log x0 2 Add Mul log x0 Mul Pow sec Mul x0 asech Add x3 x7 2 asech Add x3 x7 Mul tan Mul x0 asech Add x3 x7 Pow x0 -1 