exp Mul Add x2 2 csc Pow sec Pow 2 log x1 x0 
Mul exp Mul Add x2 2 csc Pow sec Pow 2 log x1 x0 Mul Add x2 2 Mul Mul Mul -1 cot Pow sec Pow 2 log x1 x0 csc Pow sec Pow 2 log x1 x0 Mul Pow sec Pow 2 log x1 Add x0 -1 Mul sec Pow 2 log x1 log sec Pow 2 log x1 