Add Mul Mul sec Pow cot log x2 x0 x0 Mul -4 E x7 
Mul Mul -4 E Add Mul x0 Mul Mul tan Pow cot log x2 x0 sec Pow cot log x2 x0 Mul Pow cot log x2 Add x0 -1 Mul cot log x2 log cot log x2 sec Pow cot log x2 x0 