exp Pow sec Add x2 x7 sec Pow cot sech x1 x0 
Mul exp Pow sec Add x2 x7 sec Pow cot sech x1 x0 Mul Pow sec Add x2 x7 Add sec Pow cot sech x1 x0 -1 Mul Mul sec Add x2 x7 log sec Add x2 x7 Mul Mul tan Pow cot sech x1 x0 sec Pow cot sech x1 x0 Mul Pow cot sech x1 Add x0 -1 Mul cot sech x1 log cot sech x1 