Mul Pow 4 sec Pow cot x1 x0 x0 
Add Mul x0 Mul Pow 4 Add sec Pow cot x1 x0 -1 Mul 5.38629436111989 Mul Mul tan Pow cot x1 x0 sec Pow cot x1 x0 Mul Pow cot x1 Add x0 -1 Mul cot x1 log cot x1 Pow 4 sec Pow cot x1 x0 